user=mdettweiler [2013-09-11 00:02:49] 633*2^1252903-1 is not prime. Res64: 70380808B42B1AD8 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:02:50] 663*2^1252903-1 is not prime. Res64: F6E142849AE81B03 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:14:21] 709*2^1252903-1 is not prime. Res64: 34376397791E8E7C Time : 0.0 sec. user=mdettweiler [2013-09-11 00:14:23] 813*2^1252903-1 is not prime. Res64: 6E690F6899B8C0CF Time : 0.0 sec. user=mdettweiler [2013-09-11 00:19:48] 829*2^1252903-1 is not prime. Res64: 66C51549D46DC59D Time : 0.0 sec. user=mdettweiler [2013-09-11 00:19:48] 885*2^1252903-1 is not prime. Res64: 773F264A0F8F5566 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:21:48] 635*2^1252904-1 is not prime. Res64: 9F4490365A57B74E Time : 0.0 sec. user=mdettweiler [2013-09-11 00:21:48] 687*2^1252904-1 is not prime. Res64: 1C618C5B469A9289 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:23:56] 759*2^1252904-1 is not prime. Res64: E5A4A64639303AA8 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:23:56] 813*2^1252904-1 is not prime. Res64: 690D74D9388711EA Time : 0.0 sec. user=mdettweiler [2013-09-11 00:35:33] 837*2^1252904-1 is not prime. Res64: C6A1E8BBCD89A11F Time : 0.0 sec. user=mdettweiler [2013-09-11 00:35:33] 857*2^1252904-1 is not prime. Res64: 17F60EC964517FE5 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:41:50] 983*2^1252904-1 is not prime. Res64: 58839A163599D927 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:41:50] 657*2^1252905-1 is not prime. Res64: FDEA23C1251F80C1 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:43:07] 699*2^1252905-1 is not prime. Res64: 68568A8E4378058C Time : 0.0 sec. user=mdettweiler [2013-09-11 00:43:07] 709*2^1252905-1 is not prime. Res64: 6F6EB059DD57359C Time : 0.0 sec. user=mdettweiler [2013-09-11 00:45:16] 781*2^1252905-1 is not prime. Res64: 4943AC752BD46D28 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:45:17] 837*2^1252905-1 is not prime. Res64: 95E147187E741BF8 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:56:35] 849*2^1252905-1 is not prime. Res64: 8A73E64DA365E98F Time : 0.0 sec. user=mdettweiler [2013-09-11 00:56:35] 871*2^1252905-1 is not prime. Res64: 3E472DA1B9884096 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:04:42] 895*2^1252905-1 is not prime. Res64: 366D6FCB4312DD42 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:04:43] 909*2^1252905-1 is not prime. Res64: 199116812388F650 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:05:54] 949*2^1252905-1 is not prime. Res64: FCE20432E8EC370E Time : 0.0 sec. user=mdettweiler [2013-09-11 01:05:55] 951*2^1252905-1 is not prime. Res64: A2AD56CD59E456F9 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:06:05] 635*2^1252906-1 is not prime. Res64: F8498239AB46FAAF Time : 0.0 sec. user=mdettweiler [2013-09-11 01:06:06] 663*2^1252906-1 is not prime. Res64: 2967C4216709077E Time : 0.0 sec. user=mdettweiler [2013-09-11 01:17:10] 717*2^1252906-1 is not prime. Res64: 8E4A7D88E46E5852 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:17:11] 747*2^1252906-1 is not prime. Res64: 92D09830E980979D Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:14] 803*2^1252906-1 is not prime. Res64: AED4C48464650DAA Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:14] 933*2^1252906-1 is not prime. Res64: FE57B81BEA3C8A2C Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:27] 601*2^1252907-1 is not prime. Res64: 4831B666E5D08341 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:28] 633*2^1252907-1 is not prime. Res64: 0B644BA705AC989B Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:43] 649*2^1252907-1 is not prime. Res64: B0DB86B482D224F3 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:26:44] 861*2^1252907-1 is not prime. Res64: B8147DC197461337 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:40:16] 909*2^1252907-1 is not prime. Res64: 32AD22CDB0ED99A9 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:40:17] 955*2^1252907-1 is not prime. Res64: 5CAEC1B4349E7779 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:47:18] 725*2^1252908-1 is not prime. Res64: 39794F77C73FE410 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:47:18] 839*2^1252908-1 is not prime. Res64: E5CF5D32FD0A4AEB Time : 0.0 sec. user=mdettweiler [2013-09-11 01:47:38] 639*2^1252909-1 is not prime. Res64: 62AA4B675A8B8FC7 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:47:38] 819*2^1252909-1 is not prime. Res64: 80073666F5AB80D4 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:49:28] 893*2^1252908-1 is not prime. Res64: ABA6706707CEAE17 Time : 0.0 sec. user=mdettweiler [2013-09-11 01:49:28] 927*2^1252908-1 is not prime. Res64: E230E4DFA3D39338 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:01:40] 829*2^1252909-1 is not prime. Res64: 4A8EEE95007C95E0 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:01:41] 931*2^1252909-1 is not prime. Res64: 2E2639D81300942A Time : 0.0 sec. user=mdettweiler [2013-09-11 02:08:01] 675*2^1252910-1 is not prime. Res64: C725A37A00D8DEB7 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:08:03] 707*2^1252910-1 is not prime. Res64: 2A2C24AB1990DB80 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:08:30] 985*2^1252909-1 is not prime. Res64: 29955F5195BFA03B Time : 0.0 sec. user=mdettweiler [2013-09-11 02:08:32] 665*2^1252910-1 is not prime. Res64: 092EA796C32A3C44 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:09:41] 743*2^1252910-1 is not prime. Res64: 7DC5B4F53A956E12 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:09:43] 851*2^1252910-1 is not prime. Res64: 05FA7AE90397D474 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:22:56] 857*2^1252910-1 is not prime. Res64: 9104EE327334BF94 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:22:57] 951*2^1252910-1 is not prime. Res64: E32D3886D053D6FD Time : 0.0 sec. user=mdettweiler [2013-09-11 02:28:46] 615*2^1252911-1 is not prime. Res64: 293E93525039145F Time : 0.0 sec. user=mdettweiler [2013-09-11 02:28:46] 625*2^1252911-1 is not prime. Res64: 87AD8226141F95DD Time : 0.0 sec. user=mdettweiler [2013-09-11 02:30:14] 965*2^1252910-1 is not prime. Res64: 127864550AE2A3D3 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:30:15] 987*2^1252910-1 is not prime. Res64: 00A40D5D803A9F7C Time : 0.0 sec. user=mdettweiler [2013-09-11 02:31:03] 793*2^1252911-1 is not prime. Res64: 5F716B499E1DFA83 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:31:03] 885*2^1252911-1 is not prime. Res64: 0B25ADFB798A1F13 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:45:13] 951*2^1252911-1 is not prime. Res64: 297B6C4E1FDD84DC Time : 0.0 sec. user=mdettweiler [2013-09-11 02:45:14] 955*2^1252911-1 is not prime. Res64: C6EB91F9A6518DE7 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:49:01] 635*2^1252912-1 is not prime. Res64: 7B0DCB022B808596 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:49:01] 755*2^1252912-1 is not prime. Res64: D25F4594D16933C0 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:50:32] 765*2^1252912-1 is not prime. Res64: 41FD4B98DE1297AF Time : 0.0 sec. user=mdettweiler [2013-09-11 02:50:32] 825*2^1252912-1 is not prime. Res64: 2DBD2613557527C5 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:51:16] 843*2^1252912-1 is not prime. Res64: 083882A79AF9E282 Time : 0.0 sec. user=mdettweiler [2013-09-11 02:51:16] 855*2^1252912-1 is not prime. Res64: 7A4CF5EBC55CD270 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:07:42] 923*2^1252912-1 is not prime. Res64: E2D32EC6D03B9C3A Time : 0.0 sec. user=mdettweiler [2013-09-11 03:07:43] 929*2^1252912-1 is not prime. Res64: 689D407405A43758 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:10:54] 607*2^1252913-1 is not prime. Res64: 3232D07EA5056CA1 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:10:56] 771*2^1252913-1 is not prime. Res64: 59F292F69FFF37B0 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:11:14] 939*2^1252912-1 is not prime. Res64: D035C3FE168D4B4D Time : 0.0 sec. user=mdettweiler [2013-09-11 03:11:15] 983*2^1252912-1 is not prime. Res64: 3D8027D242D2F3A3 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:12:33] 781*2^1252913-1 is not prime. Res64: C0CA0503DE687EF5 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:12:34] 945*2^1252913-1 is not prime. Res64: 247FB79370544E08 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:28:02] 611*2^1252914-1 is not prime. Res64: 3472176C7900B974 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:28:02] 803*2^1252914-1 is not prime. Res64: 22C16A5062397129 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:31:22] 861*2^1252914-1 is not prime. Res64: D719B1D215EC3086 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:31:23] 675*2^1252915-1 is not prime. Res64: 9DAD41262E15EE2C Time : 0.0 sec. user=mdettweiler [2013-09-11 03:31:53] 693*2^1252915-1 is not prime. Res64: 2EEE973DDEE58CF4 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:31:55] 705*2^1252915-1 is not prime. Res64: 7C962364A572E5DD Time : 0.0 sec. user=mdettweiler [2013-09-11 03:34:01] 723*2^1252915-1 is not prime. Res64: 3CF38DB804E073FE Time : 0.0 sec. user=mdettweiler [2013-09-11 03:34:01] 873*2^1252915-1 is not prime. Res64: 73B1BC9960CE00A6 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:48:21] 617*2^1252916-1 is not prime. Res64: F85D36BA8B474D8B Time : 0.0 sec. user=mdettweiler [2013-09-11 03:48:22] 833*2^1252916-1 is not prime. Res64: 3A9C347ECF6701D9 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:52:35] 843*2^1252916-1 is not prime. Res64: 3F46922BA35C9016 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:52:35] 873*2^1252916-1 is not prime. Res64: 6898F52F9CC043E9 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:53:13] 903*2^1252916-1 is not prime. Res64: 100C0BB3B2C27339 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:53:13] 609*2^1252917-1 is not prime. Res64: 065416E5ACAC3DA4 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:54:16] 675*2^1252917-1 is not prime. Res64: F71A318F32EB6961 Time : 0.0 sec. user=mdettweiler [2013-09-11 03:54:17] 805*2^1252917-1 is not prime. Res64: FF0CDD1D3B2B04B9 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:09:40] 819*2^1252917-1 is not prime. Res64: 1C4E014158526482 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:09:42] 901*2^1252917-1 is not prime. Res64: 82CFA3E4E425A016 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:12:54] 687*2^1252918-1 is not prime. Res64: 7EED73CEFE47FF4A Time : 0.0 sec. user=mdettweiler [2013-09-11 04:12:55] 777*2^1252918-1 is not prime. Res64: 9E88763D5F4F3E9F Time : 0.0 sec. user=mdettweiler [2013-09-11 04:13:29] 791*2^1252918-1 is not prime. Res64: 7A578C8B7ABDED9E Time : 0.0 sec. user=mdettweiler [2013-09-11 04:13:30] 827*2^1252918-1 is not prime. Res64: A525DAD6CFC7E8E6 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:15:38] 923*2^1252918-1 is not prime. Res64: CD814BCBF41E7A99 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:15:39] 601*2^1252919-1 is not prime. Res64: 8264160401BE9BB1 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:30:00] 645*2^1252919-1 is not prime. Res64: 2DBF4D1A92EB7FB3 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:30:00] 705*2^1252919-1 is not prime. Res64: CA4A119F47D42624 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:34:06] 799*2^1252919-1 is not prime. Res64: 34EF18CDF5CB07B0 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:34:07] 885*2^1252919-1 is not prime. Res64: 4FE453AC18051ABD Time : 0.0 sec. user=mdettweiler [2013-09-11 04:35:39] 943*2^1252919-1 is not prime. Res64: 2C31B9134F711633 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:35:39] 991*2^1252919-1 is not prime. Res64: 6A77FC22340A5A0F Time : 0.0 sec. user=mdettweiler [2013-09-11 04:35:48] 623*2^1252920-1 is not prime. Res64: CCDBB72585FF7EF2 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:35:49] 675*2^1252920-1 is not prime. Res64: A0ACAF04EEDC6824 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:50:20] 689*2^1252920-1 is not prime. Res64: 73A4D58353F0ED8E Time : 0.0 sec. user=mdettweiler [2013-09-11 04:50:21] 753*2^1252920-1 is not prime. Res64: F7324A1BA1A266CA Time : 0.0 sec. user=mdettweiler [2013-09-11 04:55:24] 779*2^1252920-1 is not prime. Res64: E1C7558392EA84AC Time : 0.0 sec. user=mdettweiler [2013-09-11 04:55:24] 873*2^1252920-1 is not prime. Res64: 2900FE4FD517025B Time : 0.0 sec. user=mdettweiler [2013-09-11 04:55:54] 649*2^1252921-1 is not prime. Res64: 9969D1016CBC9EDC Time : 0.0 sec. user=mdettweiler [2013-09-11 04:55:55] 747*2^1252921-1 is not prime. Res64: DDB3B462F4DBC1F7 Time : 0.0 sec. user=mdettweiler [2013-09-11 04:56:03] 775*2^1252921-1 is not prime. Res64: 2B66BEDA06E14A5E Time : 0.0 sec. user=mdettweiler [2013-09-11 04:56:03] 789*2^1252921-1 is not prime. Res64: 38632C79941C401A Time : 0.0 sec. user=mdettweiler [2013-09-11 05:10:49] 805*2^1252921-1 is not prime. Res64: 5B28BF278F041AA5 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:10:50] 817*2^1252921-1 is not prime. Res64: D7F9E998DFD49ACF Time : 0.0 sec. user=mdettweiler [2013-09-11 05:16:24] 651*2^1252922-1 is not prime. Res64: 51F0E1779B95D9D9 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:16:25] 677*2^1252922-1 is not prime. Res64: 77831698E8D51065 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:17:41] 895*2^1252921-1 is not prime. Res64: 2E6B241F691B7C5C Time : 0.0 sec. user=mdettweiler [2013-09-11 05:17:41] 931*2^1252921-1 is not prime. Res64: CA00E80871A67247 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:18:23] 923*2^1252922-1 is not prime. Res64: 0ADB4E9E292B9F7B Time : 0.0 sec. user=mdettweiler [2013-09-11 05:18:24] 935*2^1252922-1 is not prime. Res64: C113F3E69B9EBBBB Time : 0.0 sec. user=mdettweiler [2013-09-11 05:33:08] 951*2^1252922-1 is not prime. Res64: B4408E132AF64F83 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:33:09] 977*2^1252922-1 is not prime. Res64: BD94831436080C33 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:36:38] 643*2^1252923-1 is not prime. Res64: 87F5C3C2C8EC5FBA Time : 0.0 sec. user=mdettweiler [2013-09-11 05:36:38] 735*2^1252923-1 is not prime. Res64: 75847424319F69C6 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:37:58] 793*2^1252923-1 is not prime. Res64: 15ADCB66A8751F35 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:37:59] 801*2^1252923-1 is not prime. Res64: 17807FCA6FA0057C Time : 0.0 sec. user=mdettweiler [2013-09-11 05:38:44] 819*2^1252923-1 is not prime. Res64: FC3568E17105B44E Time : 0.0 sec. user=mdettweiler [2013-09-11 05:38:44] 849*2^1252923-1 is not prime. Res64: 3A7670483F2C6C8D Time : 0.0 sec. user=mdettweiler [2013-09-11 05:55:23] 949*2^1252923-1 is not prime. Res64: F6A62ECC07568802 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:55:23] 961*2^1252923-1 is not prime. Res64: 6BD74E56B7AA24AB Time : 0.0 sec. user=mdettweiler [2013-09-11 05:57:55] 985*2^1252923-1 is not prime. Res64: DC29A42B3B353B46 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:57:55] 863*2^1252924-1 is not prime. Res64: 3EEB635A0B328F0D Time : 0.0 sec. user=mdettweiler [2013-09-11 05:59:07] 691*2^1252925-1 is not prime. Res64: 46893323CC3BB058 Time : 0.0 sec. user=mdettweiler [2013-09-11 05:59:07] 711*2^1252925-1 is not prime. Res64: B0865CEF694C48CF Time : 0.0 sec. user=mdettweiler [2013-09-11 06:00:16] 873*2^1252924-1 is not prime. Res64: 7D6C4BDCB4334960 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:00:18] 993*2^1252924-1 is not prime. Res64: 46C8A5E428ACBF04 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:15:34] 715*2^1252925-1 is not prime. Res64: 29FAAB8EEC0BBB39 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:15:35] 795*2^1252925-1 is not prime. Res64: A705C1DE89C9FC39 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:18:04] 799*2^1252925-1 is not prime. Res64: DD96DD4C0ECEFDC8 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:18:05] 859*2^1252925-1 is not prime. Res64: 1CA87AF3768F12EE Time : 0.0 sec. user=mdettweiler [2013-09-11 06:19:25] 683*2^1252926-1 is not prime. Res64: 899B80F319D58013 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:19:25] 693*2^1252926-1 is not prime. Res64: 3F0180DDE7AD39AA Time : 0.0 sec. user=mdettweiler [2013-09-11 06:20:36] 695*2^1252926-1 is not prime. Res64: 2CA35B143ED2D172 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:20:37] 711*2^1252926-1 is not prime. Res64: 39D5A9C5342675C8 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:35:49] 741*2^1252926-1 is not prime. Res64: CFC69FDC2EA868CD Time : 0.0 sec. user=mdettweiler [2013-09-11 06:35:49] 807*2^1252926-1 is not prime. Res64: 1D638D4B38D898EB Time : 0.0 sec. user=mdettweiler [2013-09-11 06:39:32] 821*2^1252926-1 is not prime. Res64: 39249DE90139DC3C Time : 0.0 sec. user=mdettweiler [2013-09-11 06:39:32] 873*2^1252926-1 is not prime. Res64: 12843E0C5DB395CD Time : 0.0 sec. user=mdettweiler [2013-09-11 06:41:01] 903*2^1252926-1 is not prime. Res64: 9479244C025F1021 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:41:01] 603*2^1252927-1 is not prime. Res64: BE34C99A9F9A2115 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:41:13] 651*2^1252927-1 is not prime. Res64: 96F5B028FBD95B43 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:41:14] 703*2^1252927-1 is not prime. Res64: 41855791ED6D9EC9 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:57:22] 763*2^1252927-1 is not prime. Res64: 87B7D6D0295A32F2 Time : 0.0 sec. user=mdettweiler [2013-09-11 06:57:23] 843*2^1252927-1 is not prime. Res64: 126594BD042AFBB8 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:02:35] 665*2^1252928-1 is not prime. Res64: F9B4B53BD09A153D Time : 0.0 sec. user=mdettweiler [2013-09-11 07:02:36] 687*2^1252928-1 is not prime. Res64: C50D4DEF19FDE07C Time : 0.0 sec. user=mdettweiler [2013-09-11 07:02:59] 945*2^1252927-1 is not prime. Res64: 75F1DB3A81B1DD39 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:03:00] 975*2^1252927-1 is not prime. Res64: 5421B8A8B6A879E6 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:03:20] 915*2^1252928-1 is not prime. Res64: C4620C48BA100FE7 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:03:21] 609*2^1252929-1 is not prime. Res64: 64090975E94EB3EC Time : 0.0 sec. user=mdettweiler [2013-09-11 07:18:37] 657*2^1252929-1 is not prime. Res64: 8C299D2F53DC7378 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:18:38] 727*2^1252929-1 is not prime. Res64: BC299593F5C2F0C1 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:24:13] 611*2^1252930-1 is not prime. Res64: D5CAB85A16C4E7C6 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:24:14] 735*2^1252930-1 is not prime. Res64: 7A558BA11A1BBFBD Time : 0.0 sec. user=mdettweiler [2013-09-11 07:24:35] 759*2^1252929-1 is not prime. Res64: C8854D66288769E4 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:24:36] 919*2^1252929-1 is not prime. Res64: 39BFAA2793871872 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:25:46] 951*2^1252929-1 is not prime. Res64: 11E59799FE343CFB Time : 0.0 sec. user=mdettweiler [2013-09-11 07:25:46] 979*2^1252929-1 is not prime. Res64: 1E7DF375113A33E9 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:38:54] 741*2^1252930-1 is not prime. Res64: 899A59413E6F665D Time : 0.0 sec. user=mdettweiler [2013-09-11 07:38:55] 791*2^1252930-1 is not prime. Res64: 81030A4D173E5953 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:44:34] 855*2^1252930-1 is not prime. Res64: 87C1F6A6C7278361 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:44:34] 645*2^1252931-1 is not prime. Res64: C72219BF553373AF Time : 0.0 sec. user=mdettweiler [2013-09-11 07:44:45] 705*2^1252931-1 is not prime. Res64: A25DCEB9C2504370 Time : 0.0 sec. user=mdettweiler [2013-09-11 07:44:46] 775*2^1252931-1 is not prime. Res64: 07CC069005C228DC Time : 0.0 sec. user=mdettweiler [2013-09-11 07:46:51] 871*2^1252931-1 is not prime. Res64: 3576B7E8F7961DDB Time : 0.0 sec. user=mdettweiler [2013-09-11 07:46:51] 931*2^1252931-1 is not prime. Res64: 8D0FC8BC41F2589E Time : 0.0 sec. user=mdettweiler [2013-09-11 08:00:08] 955*2^1252931-1 is not prime. Res64: 5242D8B6794B5CA3 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:00:10] 605*2^1252932-1 is not prime. Res64: C0815307A0DA6D99 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:04:45] 615*2^1252932-1 is not prime. Res64: 320166A6C0E73F41 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:04:46] 863*2^1252932-1 is not prime. Res64: 9813C9A3A260F1C9 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:04:59] 867*2^1252932-1 is not prime. Res64: ED559B3376C8E4CF Time : 0.0 sec. user=mdettweiler [2013-09-11 08:05:00] 615*2^1252933-1 is not prime. Res64: 53C12075087D089A Time : 0.0 sec. user=mdettweiler [2013-09-11 08:06:58] 675*2^1252933-1 is not prime. Res64: EF0A78230F69A59E Time : 0.0 sec. user=mdettweiler [2013-09-11 08:06:59] 681*2^1252933-1 is not prime. Res64: AB000AF8726150B6 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:20:22] 819*2^1252933-1 is not prime. Res64: C5D99CFD465A011E Time : 0.0 sec. user=mdettweiler [2013-09-11 08:20:23] 831*2^1252933-1 is not prime. Res64: 646150929122CF37 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:25:59] 867*2^1252933-1 is not prime. Res64: D3151E1CBF27ED89 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:26:00] 939*2^1252933-1 is not prime. Res64: 5E08FA8E5BA9674B Time : 0.0 sec. user=mdettweiler [2013-09-11 08:26:08] 985*2^1252933-1 is not prime. Res64: 43F22E29536007B9 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:26:09] 615*2^1252934-1 is not prime. Res64: 59C491CF5CCFFC0E Time : 0.0 sec. user=mdettweiler [2013-09-11 08:27:09] 693*2^1252934-1 is not prime. Res64: 7296A5215BD36B2F Time : 0.0 sec. user=mdettweiler [2013-09-11 08:27:10] 707*2^1252934-1 is not prime. Res64: BAD97125F329E2E2 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:40:33] 711*2^1252934-1 is not prime. Res64: 9FEDE88FE59864CD Time : 0.0 sec. user=mdettweiler [2013-09-11 08:40:33] 743*2^1252934-1 is not prime. Res64: 25E08AD9C80BCF5F Time : 0.0 sec. user=mdettweiler [2013-09-11 08:46:18] 685*2^1252935-1 is not prime. Res64: CD209E18E5F85972 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:46:19] 693*2^1252935-1 is not prime. Res64: 86655DC77194A673 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:47:08] 795*2^1252934-1 is not prime. Res64: D973B2B22673F6AD Time : 0.0 sec. user=mdettweiler [2013-09-11 08:47:08] 887*2^1252934-1 is not prime. Res64: 2955C59200B7578D Time : 0.0 sec. user=mdettweiler [2013-09-11 08:47:25] 723*2^1252935-1 is not prime. Res64: 93D32858C3A33468 Time : 0.0 sec. user=mdettweiler [2013-09-11 08:47:26] 775*2^1252935-1 is not prime. Res64: B2DE68EE1095C25B Time : 0.0 sec. user=mdettweiler [2013-09-11 09:01:44] 825*2^1252935-1 is not prime. Res64: 39D1426C79BADC5B Time : 0.0 sec. user=mdettweiler [2013-09-11 09:01:46] 921*2^1252935-1 is not prime. Res64: 1B7FAF469402639E Time : 0.0 sec. user=mdettweiler [2013-09-11 09:06:33] 803*2^1252936-1 is not prime. Res64: 50C0DCA7F35A7534 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:06:34] 839*2^1252936-1 is not prime. Res64: FD49D2637796E899 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:08:46] 989*2^1252936-1 is not prime. Res64: D10064BD5B5DEE6F Time : 0.0 sec. user=mdettweiler [2013-09-11 09:08:46] 675*2^1252937-1 is not prime. Res64: 584779BBB482D2EF Time : 0.0 sec. user=mdettweiler [2013-09-11 09:09:10] 909*2^1252936-1 is not prime. Res64: A3E796FC61BDB274 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:09:12] 983*2^1252936-1 is not prime. Res64: 50E69BA1D03363C2 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:22:18] 819*2^1252937-1 is not prime. Res64: 61506A8D16B73972 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:22:19] 867*2^1252937-1 is not prime. Res64: E165F9B90B37DA23 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:27:49] 871*2^1252937-1 is not prime. Res64: A21B3058DF32C714 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:27:50] 937*2^1252937-1 is not prime. Res64: 9F874896C8BADDA7 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:30:04] 621*2^1252938-1 is not prime. Res64: 04F3D8BA1B116071 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:30:05] 933*2^1252938-1 is not prime. Res64: 69F3C3EE4C07A0E7 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:30:31] 941*2^1252938-1 is not prime. Res64: 75FB060D6FAE0CF9 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:30:32] 675*2^1252939-1 is not prime. Res64: 9F70E5E382D2BE77 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:42:38] 685*2^1252939-1 is not prime. Res64: 51C8D9192FA9687C Time : 0.0 sec. user=mdettweiler [2013-09-11 09:42:40] 693*2^1252939-1 is not prime. Res64: BE9DB15F1B76C460 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:49:11] 709*2^1252939-1 is not prime. Res64: 2012AD39A4E8E59B Time : 0.0 sec. user=mdettweiler [2013-09-11 09:49:11] 909*2^1252939-1 is not prime. Res64: 8C2EF745CF12EEAD Time : 0.0 sec. user=mdettweiler [2013-09-11 09:51:26] 913*2^1252939-1 is not prime. Res64: 214D2D1B71066248 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:51:26] 659*2^1252940-1 is not prime. Res64: FC4388F4E5FB128D Time : 0.0 sec. user=mdettweiler [2013-09-11 09:51:50] 707*2^1252940-1 is not prime. Res64: D64B3E77111E5DD2 Time : 0.0 sec. user=mdettweiler [2013-09-11 09:51:51] 935*2^1252940-1 is not prime. Res64: 9BACF2EE35F98FE4 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:04:20] 987*2^1252940-1 is not prime. Res64: DCE9E5A168699DB9 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:04:22] 685*2^1252941-1 is not prime. Res64: 429B231376143C49 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:10:07] 781*2^1252941-1 is not prime. Res64: FD6386587DEDC7F3 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:10:08] 865*2^1252941-1 is not prime. Res64: F46ECA80AEC6499F Time : 0.0 sec. user=mdettweiler [2013-09-11 10:12:52] 695*2^1252942-1 is not prime. Res64: 132D8F0818131907 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:12:53] 737*2^1252942-1 is not prime. Res64: FF3A70964AC12428 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:14:20] 895*2^1252941-1 is not prime. Res64: C9157E979DF1D235 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:14:21] 955*2^1252941-1 is not prime. Res64: 7D203B3823468398 Time : 0.0 sec. user=juhehe [2013-09-11 10:19:15] 953*2^1252940-1 is not prime. Res64: B013A5BB60929DB5 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:25:10] 761*2^1252942-1 is not prime. Res64: 213E1981A3B99AF2 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:25:10] 825*2^1252942-1 is not prime. Res64: 3E5F4FA82C650A7F Time : 0.0 sec. user=mdettweiler [2013-09-11 10:32:06] 633*2^1252943-1 is not prime. Res64: 2FAC1B29EED7C9A1 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:32:07] 969*2^1252943-1 is not prime. Res64: A8AC3D5EC7925941 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:33:57] 615*2^1252944-1 is not prime. Res64: 8C519D669BE59EAB Time : 0.0 sec. user=mdettweiler [2013-09-11 10:33:58] 705*2^1252944-1 is not prime. Res64: 1ABA7128A2519BE1 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:36:42] 857*2^1252944-1 is not prime. Res64: EF62382200962526 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:36:42] 903*2^1252944-1 is not prime. Res64: ECE7B760A9753ED5 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:49:09] 945*2^1252944-1 is not prime. Res64: 43FB8DCCB7E5B6E8 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:49:09] 959*2^1252944-1 is not prime. Res64: 9B660F24A8BF35BC Time : 0.0 sec. user=mdettweiler [2013-09-11 10:55:01] 983*2^1252944-1 is not prime. Res64: 4675232216A08781 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:55:01] 609*2^1252945-1 is not prime. Res64: B4B966E7EDCEE2F6 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:55:42] 625*2^1252945-1 is not prime. Res64: 8D1CC72C166C8A5D Time : 0.0 sec. user=mdettweiler [2013-09-11 10:55:43] 721*2^1252945-1 is not prime. Res64: CBF08427024EC621 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:58:10] 729*2^1252945-1 is not prime. Res64: 4F857A4E49030A83 Time : 0.0 sec. user=mdettweiler [2013-09-11 10:58:11] 765*2^1252945-1 is not prime. Res64: 435C506FF5F209FD Time : 0.0 sec. user=mdettweiler [2013-09-11 11:09:57] 801*2^1252945-1 is not prime. Res64: 6CD7CDB66D3F2BCC Time : 0.0 sec. user=mdettweiler [2013-09-11 11:09:59] 831*2^1252945-1 is not prime. Res64: A3937B658F43E88F Time : 0.0 sec. user=mdettweiler [2013-09-11 11:17:31] 975*2^1252945-1 is not prime. Res64: 397C7A895426167B Time : 0.0 sec. user=mdettweiler [2013-09-11 11:17:32] 623*2^1252946-1 is not prime. Res64: 8655CFE312A79243 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:17:41] 895*2^1252945-1 is not prime. Res64: 197474B149D9E1B8 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:17:41] 939*2^1252945-1 is not prime. Res64: 6F6279777D5B06FF Time : 0.0 sec. user=mdettweiler [2013-09-11 11:18:55] 713*2^1252946-1 is not prime. Res64: BCDFEC480C718294 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:18:55] 851*2^1252946-1 is not prime. Res64: 985955E61B266928 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:31:46] 873*2^1252946-1 is not prime. Res64: 77AE17EF2B403584 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:31:47] 615*2^1252947-1 is not prime. Res64: 5D4F66820C811E34 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:05] 751*2^1252947-1 is not prime. Res64: E6CA2F23C786C05A Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:06] 891*2^1252947-1 is not prime. Res64: 27A7FD4327BDE30B Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:25] 931*2^1252947-1 is not prime. Res64: E7F334C654B4E9A3 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:25] 603*2^1252948-1 is not prime. Res64: 3430A0AA0FD922E8 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:35] 647*2^1252948-1 is not prime. Res64: CD7030CCCC704989 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:39:35] 773*2^1252948-1 is not prime. Res64: 9C157A03A73B23E3 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:52:25] 777*2^1252948-1 is not prime. Res64: 5F2A21D0247835ED Time : 0.0 sec. user=mdettweiler [2013-09-11 11:52:25] 783*2^1252948-1 is not prime. Res64: EFF85F7A11CC0431 Time : 0.0 sec. user=mdettweiler [2013-09-11 11:59:35] 813*2^1252948-1 is not prime. Res64: EE8861AC93FE8B5E Time : 0.0 sec. user=mdettweiler [2013-09-11 11:59:35] 819*2^1252948-1 is not prime. Res64: 4E86656B6821D391 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:01:11] 869*2^1252948-1 is not prime. Res64: 2746B58819E2F9AB Time : 0.0 sec. user=mdettweiler [2013-09-11 12:01:11] 885*2^1252948-1 is not prime. Res64: 5DC972D381BBBD9C Time : 0.0 sec. user=mdettweiler [2013-09-11 12:02:15] 927*2^1252948-1 is not prime. Res64: D326BB10E9EFA5DE Time : 0.0 sec. user=mdettweiler [2013-09-11 12:02:17] 989*2^1252948-1 is not prime. Res64: 382F6ED6B062790C Time : 0.0 sec. user=mdettweiler [2013-09-11 12:14:02] 995*2^1252948-1 is not prime. Res64: 825E5326769BBCF2 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:14:02] 655*2^1252949-1 is not prime. Res64: 5348113355C3D6AE Time : 0.0 sec. user=mdettweiler [2013-09-11 12:19:53] 691*2^1252949-1 is not prime. Res64: 4A583AC201DAED94 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:19:53] 697*2^1252949-1 is not prime. Res64: 1438230ED677E39A Time : 0.0 sec. user=mdettweiler [2013-09-11 12:21:35] 699*2^1252949-1 is not prime. Res64: 32A7C555B5BB75BE Time : 0.0 sec. user=mdettweiler [2013-09-11 12:21:35] 745*2^1252949-1 is not prime. Res64: 5E467D4C3FB4A36D Time : 0.0 sec. user=mdettweiler [2013-09-11 12:22:47] 771*2^1252949-1 is not prime. Res64: 1AEE87F2D6042B79 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:22:48] 795*2^1252949-1 is not prime. Res64: 800B91D696DBFF9E Time : 0.0 sec. user=mdettweiler [2013-09-11 12:35:41] 861*2^1252949-1 is not prime. Res64: B3784CD42F415B03 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:35:41] 925*2^1252949-1 is not prime. Res64: E529E1F0BBA9E87B Time : 0.0 sec. user=mdettweiler [2013-09-11 12:41:30] 927*2^1252949-1 is not prime. Res64: 5B52F6811E999F09 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:41:31] 615*2^1252950-1 is not prime. Res64: 6C6B3E59BBE641D2 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:42:20] 647*2^1252950-1 is not prime. Res64: 9C8B5BDC4925CE42 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:42:21] 681*2^1252950-1 is not prime. Res64: 1B90FE1E9D21BABF Time : 0.0 sec. user=mdettweiler [2013-09-11 12:44:33] 711*2^1252950-1 is not prime. Res64: 6243C7077416BF85 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:44:33] 917*2^1252950-1 is not prime. Res64: 66F76EE660CACC10 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:57:06] 1001*2^1252950-1 is not prime. Res64: BBABF138118A9668 Time : 0.0 sec. user=mdettweiler [2013-09-11 12:57:07] 621*2^1252951-1 is not prime. Res64: AB2AD62747CD8FA8 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:02:52] 679*2^1252951-1 is not prime. Res64: 6345C52A86251D33 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:02:54] 943*2^1252951-1 is not prime. Res64: B402224CB8684EE9 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:03:39] 961*2^1252951-1 is not prime. Res64: 233EEFCC6451AFAD Time : 0.0 sec. user=mdettweiler [2013-09-11 13:03:41] 743*2^1252952-1 is not prime. Res64: EFC27B5B1062638E Time : 0.0 sec. user=mdettweiler [2013-09-11 13:06:59] 957*2^1252952-1 is not prime. Res64: D4C1E46034FEF7A2 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:07:00] 995*2^1252952-1 is not prime. Res64: 9A255318CF2B8318 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:17:23] 657*2^1252953-1 is not prime. Res64: C91C6BCA928CAFB2 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:17:24] 675*2^1252953-1 is not prime. Res64: 62A71A6F51EE869A Time : 0.0 sec. user=mdettweiler [2013-09-11 13:23:16] 685*2^1252953-1 is not prime. Res64: CB42FA7B91FE1622 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:23:16] 739*2^1252953-1 is not prime. Res64: D746E3687549DAC7 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:23:58] 789*2^1252953-1 is not prime. Res64: C493E0F6B366C377 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:23:59] 811*2^1252953-1 is not prime. Res64: D95A4DB61742D442 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:29:20] 889*2^1252953-1 is not prime. Res64: 39E2B50C67986CC7 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:29:21] 915*2^1252953-1 is not prime. Res64: EBA01E086E2A8988 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:39:45] 945*2^1252953-1 is not prime. Res64: B1939E0B95126B46 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:39:46] 969*2^1252953-1 is not prime. Res64: 27E0AF94FCB85587 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:44:38] 999*2^1252953-1 is not prime. Res64: 4C6676FCE3BF29A9 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:44:38] 717*2^1252954-1 is not prime. Res64: 4AB3F70B8BD59F39 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:45:22] 723*2^1252954-1 is not prime. Res64: 08C64A6AEC690E67 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:45:23] 881*2^1252954-1 is not prime. Res64: 389B929C374BF8E4 Time : 0.0 sec. user=mdettweiler [2013-09-11 13:50:32] 923*2^1252954-1 is not prime. Res64: 09DBEEC033962C0A Time : 0.0 sec. user=mdettweiler [2013-09-11 13:50:33] 799*2^1252955-1 is not prime. Res64: DBA4EFC2DC81EE02 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:01:06] 841*2^1252955-1 is not prime. Res64: 049C38BFC186A528 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:01:07] 883*2^1252955-1 is not prime. Res64: A0363DFBA06B147B Time : 0.0 sec. user=mdettweiler [2013-09-11 14:05:46] 647*2^1252956-1 is not prime. Res64: 50F28DEDB1FA8252 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:05:47] 695*2^1252956-1 is not prime. Res64: 66748B561809A1D7 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:06:53] 979*2^1252955-1 is not prime. Res64: E82711FC5C1C91DD Time : 0.0 sec. user=mdettweiler [2013-09-11 14:06:54] 985*2^1252955-1 is not prime. Res64: 25BA3656F37BFA13 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:10:59] 777*2^1252956-1 is not prime. Res64: 8E17B87DE6A43AC1 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:11:00] 667*2^1252957-1 is not prime. Res64: FD0328509518023D Time : 0.0 sec. user=mdettweiler [2013-09-11 14:21:29] 685*2^1252957-1 is not prime. Res64: 2D11CC541C382F48 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:21:30] 699*2^1252957-1 is not prime. Res64: F3D868C826A6406D Time : 0.0 sec. user=mdettweiler [2013-09-11 14:26:11] 729*2^1252957-1 is not prime. Res64: 25D54E2A4B11376A Time : 0.0 sec. user=mdettweiler [2013-09-11 14:26:12] 777*2^1252957-1 is not prime. Res64: 51CE90282E2FD39A Time : 0.0 sec. user=mdettweiler [2013-09-11 14:27:12] 627*2^1252958-1 is not prime. Res64: 79ED288565B7FCEE Time : 0.0 sec. user=mdettweiler [2013-09-11 14:27:13] 635*2^1252958-1 is not prime. Res64: 3DC0CFDF0A2A6EB9 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:31:17] 641*2^1252958-1 is not prime. Res64: 3BF8A097D7157AA1 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:31:17] 711*2^1252958-1 is not prime. Res64: 3F2127CA52DB95ED Time : 0.0 sec. user=mdettweiler [2013-09-11 14:43:00] 815*2^1252958-1 is not prime. Res64: 9D8D5C52300A3AA8 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:43:00] 885*2^1252958-1 is not prime. Res64: BB67AA3D5F79C5DA Time : 0.0 sec. user=mdettweiler [2013-09-11 14:48:37] 897*2^1252958-1 is not prime. Res64: 0E115B015F601797 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:48:37] 971*2^1252958-1 is not prime. Res64: 2E754EF6D984BD24 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:48:37] 945*2^1252958-1 is not prime. Res64: 02C08E3E49B0F0A9 Time : 0.0 sec. user=mdettweiler [2013-09-11 14:48:37] 619*2^1252959-1 is not prime. Res64: 85DC028C6918E50E Time : 0.0 sec. user=mdettweiler [2013-09-11 14:51:39] 625*2^1252959-1 is not prime. Res64: 1B4618FF38407B9F Time : 0.0 sec. user=mdettweiler [2013-09-11 14:51:40] 663*2^1252959-1 is not prime. Res64: 6BB45AFCDCA409FC Time : 0.0 sec. user=mdettweiler [2013-09-11 15:03:20] 865*2^1252959-1 is not prime. Res64: CEA303CA4604157D Time : 0.0 sec. user=mdettweiler [2013-09-11 15:03:21] 825*2^1252960-1 is not prime. Res64: 662A6822B2E4E47A Time : 0.0 sec. user=mdettweiler [2013-09-11 15:10:03] 989*2^1252960-1 is not prime. Res64: A283C821A81707EC Time : 0.0 sec. user=mdettweiler [2013-09-11 15:10:05] 619*2^1252961-1 is not prime. Res64: 283011153D0375AD Time : 0.0 sec. user=mdettweiler [2013-09-11 15:10:06] 843*2^1252960-1 is not prime. Res64: 9CA847C8EE908DC8 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:10:08] 983*2^1252960-1 is not prime. Res64: 4B81441778C69646 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:12:03] 637*2^1252961-1 is not prime. Res64: 31D6F7EDF8998D9B Time : 0.0 sec. user=mdettweiler [2013-09-11 15:12:04] 811*2^1252961-1 is not prime. Res64: 32F86D3F3AB5CCEB Time : 0.0 sec. user=mdettweiler [2013-09-11 15:24:45] 867*2^1252961-1 is not prime. Res64: 6F93F97FE9061B04 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:24:46] 907*2^1252961-1 is not prime. Res64: ADC4D4EF185B8BAB Time : 0.0 sec. user=mdettweiler [2013-09-11 15:30:35] 621*2^1252962-1 is not prime. Res64: CE78720C473F9260 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:30:35] 651*2^1252962-1 is not prime. Res64: 078C921F26E49D86 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:30:39] 677*2^1252962-1 is not prime. Res64: 0FE9F0AB956965B5 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:30:39] 735*2^1252962-1 is not prime. Res64: 7CF8B183F1C8EF9F Time : 0.0 sec. user=mdettweiler [2013-09-11 15:32:28] 797*2^1252962-1 is not prime. Res64: A2745A26DB6206FC Time : 0.0 sec. user=mdettweiler [2013-09-11 15:32:29] 807*2^1252962-1 is not prime. Res64: AB44264387B3F18F Time : 0.0 sec. user=mdettweiler [2013-09-11 15:46:13] 833*2^1252962-1 is not prime. Res64: B0C6A54B6D1C3184 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:46:14] 963*2^1252962-1 is not prime. Res64: 2649C435BA9F8EC2 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:51:09] 615*2^1252963-1 is not prime. Res64: 0FEEA487D81E447B Time : 0.0 sec. user=mdettweiler [2013-09-11 15:51:09] 649*2^1252963-1 is not prime. Res64: 9BB1C4B47985B423 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:51:12] 705*2^1252963-1 is not prime. Res64: 130F4557D4A92EF4 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:51:12] 819*2^1252963-1 is not prime. Res64: 0930B71F01732586 Time : 0.0 sec. user=mdettweiler [2013-09-11 15:55:05] 891*2^1252963-1 is not prime. Res64: 524C93D637EE84DA Time : 0.0 sec. user=mdettweiler [2013-09-11 15:55:06] 901*2^1252963-1 is not prime. Res64: 0D757C5A66C13A67 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:09:35] 919*2^1252963-1 is not prime. Res64: FF1C9456BBAA6337 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:09:35] 973*2^1252963-1 is not prime. Res64: BAB61E0F6268E900 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:12:47] 623*2^1252964-1 is not prime. Res64: DE018D096CC29FEC Time : 0.0 sec. user=mdettweiler [2013-09-11 16:12:47] 837*2^1252964-1 is not prime. Res64: 8E3BF3DC30087DFE Time : 0.0 sec. user=mdettweiler [2013-09-11 16:14:01] 843*2^1252964-1 is not prime. Res64: 90C0FE7A5687204A Time : 0.0 sec. user=mdettweiler [2013-09-11 16:14:01] 875*2^1252964-1 is not prime. Res64: AA992B1253900E63 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:18:14] 935*2^1252964-1 is not prime. Res64: AE620387B78D31A0 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:18:15] 657*2^1252965-1 is not prime. Res64: A761C31E2B46E484 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:31:59] 691*2^1252965-1 is not prime. Res64: CD883AAB3F39B443 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:31:59] 699*2^1252965-1 is not prime. Res64: 9EE2BDB14A9DEFE4 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:35:21] 735*2^1252965-1 is not prime. Res64: 61716651429AF918 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:35:22] 765*2^1252965-1 is not prime. Res64: CFCAA921C1F2E2DF Time : 0.0 sec. user=mdettweiler [2013-09-11 16:36:42] 805*2^1252965-1 is not prime. Res64: 9AB4FF618AA7A52D Time : 0.0 sec. user=mdettweiler [2013-09-11 16:36:43] 653*2^1252966-1 is not prime. Res64: A2BDE47C3F01C37B Time : 0.0 sec. user=mdettweiler [2013-09-11 16:40:53] 657*2^1252966-1 is not prime. Res64: 41BF21AB4D48E60D Time : 0.0 sec. user=mdettweiler [2013-09-11 16:40:53] 677*2^1252966-1 is not prime. Res64: 0C4FAE36AA456BD2 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:54:13] 765*2^1252966-1 is not prime. Res64: 73647949B658ADAB Time : 0.0 sec. user=mdettweiler [2013-09-11 16:54:13] 815*2^1252966-1 is not prime. Res64: AF3BF92700D13E29 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:58:39] 601*2^1252967-1 is not prime. Res64: ACB001644621BE8B Time : 0.0 sec. user=mdettweiler [2013-09-11 16:58:40] 603*2^1252967-1 is not prime. Res64: 3181E3CF52A87D8F Time : 0.0 sec. user=mdettweiler [2013-09-11 16:59:18] 897*2^1252966-1 is not prime. Res64: 03403C5881B80C27 Time : 0.0 sec. user=mdettweiler [2013-09-11 16:59:19] 993*2^1252966-1 is not prime. Res64: 72E8E4CEDFCF87A1 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:02:16] 645*2^1252967-1 is not prime. Res64: F1DE25180234B352 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:02:17] 661*2^1252967-1 is not prime. Res64: 0F54A11482D3F1E2 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:15:09] 705*2^1252967-1 is not prime. Res64: EFE3321EC87BD1E5 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:15:10] 739*2^1252967-1 is not prime. Res64: 99EE9D96D3026728 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:19:36] 825*2^1252967-1 is not prime. Res64: 66B9A11905C8D699 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:19:36] 865*2^1252967-1 is not prime. Res64: B4EBA5E6192C90E2 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:21:20] 981*2^1252967-1 is not prime. Res64: 6E12E2896DF423F8 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:21:21] 605*2^1252968-1 is not prime. Res64: F737C208530FF55B Time : 0.0 sec. user=mdettweiler [2013-09-11 17:23:16] 699*2^1252968-1 is not prime. Res64: F9EADFB5AAD5A5F1 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:23:17] 797*2^1252968-1 is not prime. Res64: 5EBCC169C97875FF Time : 0.0 sec. user=mdettweiler [2013-09-11 17:41:15] 929*2^1252968-1 is not prime. Res64: 4D46B17B8D96F348 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:41:15] 649*2^1252969-1 is not prime. Res64: A7EF42A0E581A620 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:43:51] 687*2^1252970-1 is not prime. Res64: D981157B16903413 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:43:51] 895*2^1252969-1 is not prime. Res64: ECA241A8424679C9 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:43:51] 755*2^1252970-1 is not prime. Res64: DF39E88DFD9DAA69 Time : 0.0 sec. user=mdettweiler [2013-09-11 17:43:51] 955*2^1252969-1 is not prime. Res64: 5BCFDECBC02A90DB Time : 0.0 sec. user=mdettweiler [2013-09-11 18:03:30] 797*2^1252970-1 is not prime. Res64: 943F2C17D137A9ED Time : 0.0 sec. user=mdettweiler [2013-09-11 18:03:31] 885*2^1252970-1 is not prime. Res64: 602D756AED3F43C0 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:05:05] 625*2^1252971-1 is not prime. Res64: 1B764CA5E475C220 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:05:06] 703*2^1252971-1 is not prime. Res64: 2FC8879083F156B6 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:06:11] 945*2^1252970-1 is not prime. Res64: 507E7EFD408C703D Time : 0.0 sec. user=mdettweiler [2013-09-11 18:06:12] 601*2^1252971-1 is not prime. Res64: 9E67ECDE880FDB4A Time : 0.0 sec. user=mdettweiler [2013-09-11 18:26:13] 741*2^1252971-1 is not prime. Res64: 1F1AE2F8D8EE7D2A Time : 0.0 sec. user=mdettweiler [2013-09-11 18:26:14] 895*2^1252971-1 is not prime. Res64: B4217ED8A5733165 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:27:49] 675*2^1252972-1 is not prime. Res64: F2A39165F0B1643E Time : 0.0 sec. user=mdettweiler [2013-09-11 18:27:50] 717*2^1252972-1 is not prime. Res64: 03F684DCEEB85FEF Time : 0.0 sec. user=mdettweiler [2013-09-11 18:27:50] 921*2^1252971-1 is not prime. Res64: 32B6267FB2F7A973 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:27:50] 647*2^1252972-1 is not prime. Res64: 7C57B54EC343745D Time : 0.0 sec. user=mdettweiler [2013-09-11 18:35:06] 867*2^1252968-1 is not prime. Res64: C219F940F48D6317 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:35:06] 887*2^1252968-1 is not prime. Res64: 8397D08FBB2DC568 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:48:38] 855*2^1252972-1 is not prime. Res64: 1DCC21188503F59D Time : 0.0 sec. user=mdettweiler [2013-09-11 18:48:38] 863*2^1252972-1 is not prime. Res64: 75AABC43351EF941 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:50:01] 869*2^1252972-1 is not prime. Res64: ECD0DFA126AE0406 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:50:02] 615*2^1252973-1 is not prime. Res64: D6901892925C9F41 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:50:04] 619*2^1252973-1 is not prime. Res64: 1DD7F234CC45C1FA Time : 0.0 sec. user=mdettweiler [2013-09-11 18:50:05] 745*2^1252973-1 is not prime. Res64: C3EE15EC15772873 Time : 0.0 sec. user=mdettweiler [2013-09-11 18:57:45] 781*2^1252973-1 is not prime. Res64: 389758DCCDEED6AA Time : 0.0 sec. user=mdettweiler [2013-09-11 18:57:46] 787*2^1252973-1 is not prime. Res64: C6FAD3B4F063182C Time : 0.0 sec. user=mdettweiler [2013-09-11 19:11:22] 829*2^1252973-1 is not prime. Res64: 77B6837F7D92F885 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:11:23] 901*2^1252973-1 is not prime. Res64: 5201A6B29F611495 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:11:56] 683*2^1252974-1 is not prime. Res64: E61A2CA7A0DA7B62 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:11:57] 717*2^1252974-1 is not prime. Res64: 286BC49F917AA7AA Time : 0.0 sec. user=mdettweiler [2013-09-11 19:13:47] 985*2^1252973-1 is not prime. Res64: A1269CA00ECCB833 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:13:49] 987*2^1252973-1 is not prime. Res64: AB7CF39564FEB700 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:19:05] 773*2^1252974-1 is not prime. Res64: 1D2994997A4D6DD4 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:19:05] 791*2^1252974-1 is not prime. Res64: 71114B31FB8508D9 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:33:39] 619*2^1252975-1 is not prime. Res64: BB381B2AD50CC8FD Time : 0.0 sec. user=mdettweiler [2013-09-11 19:33:39] 759*2^1252975-1 is not prime. Res64: 6A8871F74701ABD1 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:33:59] 893*2^1252974-1 is not prime. Res64: 16F6D876B9F006E4 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:34:00] 601*2^1252975-1 is not prime. Res64: 115A744A17691F15 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:35:27] 789*2^1252975-1 is not prime. Res64: AD7D7ED9FE413A94 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:35:28] 843*2^1252975-1 is not prime. Res64: B8FEF7CAD13417E5 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:41:42] 889*2^1252975-1 is not prime. Res64: 3F44033288064917 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:41:43] 699*2^1252976-1 is not prime. Res64: 81687E97620A3474 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:55:41] 855*2^1252976-1 is not prime. Res64: 4B0B0807780318E8 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:55:42] 893*2^1252976-1 is not prime. Res64: A1A080041AF063E8 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:56:12] 969*2^1252976-1 is not prime. Res64: 21DD6F2E87F85AEC Time : 0.0 sec. user=mdettweiler [2013-09-11 19:56:12] 607*2^1252977-1 is not prime. Res64: 139AE8137CC65641 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:56:39] 717*2^1252977-1 is not prime. Res64: 4E633E2643EAEAA6 Time : 0.0 sec. user=mdettweiler [2013-09-11 19:56:40] 805*2^1252977-1 is not prime. Res64: EC3F3EAA50A9CBB8 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:04:43] 949*2^1252977-1 is not prime. Res64: A78767C51AEE5464 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:04:45] 955*2^1252977-1 is not prime. Res64: C83B4753AC748960 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:16:48] 611*2^1252978-1 is not prime. Res64: 12B72226DC8CFACA Time : 0.0 sec. user=mdettweiler [2013-09-11 20:16:48] 621*2^1252978-1 is not prime. Res64: 877E20D407B5FBC1 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:17:09] 671*2^1252978-1 is not prime. Res64: 8275C2D70FB8D02F Time : 0.0 sec. user=mdettweiler [2013-09-11 20:17:10] 681*2^1252978-1 is not prime. Res64: AC9C62E5B8BD4D02 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:17:43] 713*2^1252978-1 is not prime. Res64: BF28785CEFC45137 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:17:43] 813*2^1252978-1 is not prime. Res64: 17477EC820F2F083 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:25:47] 843*2^1252978-1 is not prime. Res64: 566A9BF77D01BA42 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:25:47] 861*2^1252978-1 is not prime. Res64: FBA29DF18106A067 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:38:18] 741*2^1252979-1 is not prime. Res64: A561B22ABE010F81 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:38:19] 745*2^1252979-1 is not prime. Res64: EFC29E9F9C6AFA2F Time : 0.0 sec. user=mdettweiler [2013-09-11 20:38:51] 951*2^1252978-1 is not prime. Res64: 014907124909E627 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:38:52] 615*2^1252979-1 is not prime. Res64: 6E99DFEBDC4CE591 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:39:46] 759*2^1252979-1 is not prime. Res64: A4A1FD3423D45F4A Time : 0.0 sec. user=mdettweiler [2013-09-11 20:39:47] 939*2^1252979-1 is not prime. Res64: F80BBD5BF2B8D6E7 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:46:45] 675*2^1252980-1 is not prime. Res64: 1346990795AF22A6 Time : 0.0 sec. user=mdettweiler [2013-09-11 20:46:46] 717*2^1252980-1 is not prime. Res64: AFF39E94BB256A29 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:06] 715*2^1252981-1 is not prime. Res64: 560D13DC5436ED0F Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:07] 717*2^1252981-1 is not prime. Res64: C0A1EA1CAFB8A2A0 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:11] 983*2^1252980-1 is not prime. Res64: FBF37DEC708620FE Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:12] 687*2^1252981-1 is not prime. Res64: CD1EC2B9ACFD36C1 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:34] 899*2^1252980-1 is not prime. Res64: BF74A83C036C87C1 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:01:35] 927*2^1252980-1 is not prime. Res64: 1BEE3D8D85DA3E4E Time : 0.0 sec. user=mdettweiler [2013-09-11 21:08:34] 745*2^1252981-1 is not prime. Res64: 6F1F466D35E93515 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:08:35] 747*2^1252981-1 is not prime. Res64: A21404410713FE96 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:22:40] 757*2^1252981-1 is not prime. Res64: 9D86E6664C69A795 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:22:42] 769*2^1252981-1 is not prime. Res64: E43F14576634FAEA Time : 0.0 sec. user=mdettweiler [2013-09-11 21:23:44] 801*2^1252981-1 is not prime. Res64: F5B7458A23651E86 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:23:45] 895*2^1252981-1 is not prime. Res64: 9D6E63E9FF3D3D4A Time : 0.0 sec. user=mdettweiler [2013-09-11 21:24:05] 939*2^1252981-1 is not prime. Res64: B1B300C854739DE6 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:24:05] 791*2^1252982-1 is not prime. Res64: A53801C74FCAE363 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:30:39] 815*2^1252982-1 is not prime. Res64: C14E4D900C7F91C2 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:30:39] 903*2^1252982-1 is not prime. Res64: A3E8987CF9380AD1 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:03] 911*2^1252982-1 is not prime. Res64: B0F41C6726EE014B Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:04] 615*2^1252983-1 is not prime. Res64: F2953AF2738F7759 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:08] 625*2^1252983-1 is not prime. Res64: 4AF16BCFB6D27541 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:09] 661*2^1252983-1 is not prime. Res64: 736647B674599829 Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:22] 679*2^1252983-1 is not prime. Res64: 97F6FBE177986C1F Time : 0.0 sec. user=mdettweiler [2013-09-11 21:45:23] 853*2^1252983-1 is not prime. Res64: 595DA2532B6B9BAB Time : 0.0 sec. user=mdettweiler [2013-09-11 21:53:55] 895*2^1252983-1 is not prime. Res64: 0CC9A41526716D2D Time : 0.0 sec. user=mdettweiler [2013-09-11 21:53:56] 933*2^1252983-1 is not prime. Res64: 4FF5E7601E0F5EDA Time : 0.0 sec. user=mdettweiler [2013-09-11 22:06:42] 719*2^1252984-1 is not prime. Res64: 9C095415F8DEE74F Time : 0.0 sec. user=mdettweiler [2013-09-11 22:06:43] 773*2^1252984-1 is not prime. Res64: 809B6BBD8BD0E4F2 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:06:55] 827*2^1252984-1 is not prime. Res64: 929EE5D1CB69E7E7 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:06:57] 857*2^1252984-1 is not prime. Res64: 6498694C0CCDD279 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:07:36] 945*2^1252983-1 is not prime. Res64: BDA6ED354F207E4A Time : 0.0 sec. user=mdettweiler [2013-09-11 22:07:37] 717*2^1252984-1 is not prime. Res64: FC1DC6CB467AEF9E Time : 0.0 sec. user=mdettweiler [2013-09-11 22:17:26] 873*2^1252984-1 is not prime. Res64: 70DE79858278F7DE Time : 0.0 sec. user=mdettweiler [2013-09-11 22:17:27] 917*2^1252984-1 is not prime. Res64: 5AD94991C6F98364 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:28:08] 735*2^1252985-1 is not prime. Res64: AFBDC3B97432AFBA Time : 0.0 sec. user=mdettweiler [2013-09-11 22:28:09] 805*2^1252985-1 is not prime. Res64: 00D1B849518DA087 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:28:09] 619*2^1252985-1 is not prime. Res64: E8D89212AD9F68EE Time : 0.0 sec. user=mdettweiler [2013-09-11 22:28:10] 645*2^1252985-1 is not prime. Res64: F173400F40013E2F Time : 0.0 sec. user=mdettweiler [2013-09-11 22:30:51] 871*2^1252985-1 is not prime. Res64: 298BBDA03A8C260C Time : 0.0 sec. user=mdettweiler [2013-09-11 22:30:52] 925*2^1252985-1 is not prime. Res64: A0768610A894E2E5 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:38:40] 615*2^1252986-1 is not prime. Res64: FD6EC0C120045A75 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:38:41] 711*2^1252986-1 is not prime. Res64: 092CC621373CDC50 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:49:35] 663*2^1252987-1 is not prime. Res64: CC80D745BAE3C34B Time : 0.0 sec. user=mdettweiler [2013-09-11 22:49:35] 841*2^1252987-1 is not prime. Res64: 2DC4B57D6E305533 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:51:47] 887*2^1252986-1 is not prime. Res64: 2601557D31C3FA07 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:51:48] 917*2^1252986-1 is not prime. Res64: 6D802FA4BAE89F82 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:53:18] 861*2^1252987-1 is not prime. Res64: 07A5C17C5508FA81 Time : 0.0 sec. user=mdettweiler [2013-09-11 22:53:18] 873*2^1252987-1 is not prime. Res64: 9ACEAB7D975B6632 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:02:33] 919*2^1252987-1 is not prime. Res64: 428EA8CC4468D491 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:02:34] 939*2^1252987-1 is not prime. Res64: DDA3B80E5AA29510 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:12:05] 973*2^1252987-1 is not prime. Res64: 21B7C54897E8C3BA Time : 0.0 sec. user=mdettweiler [2013-09-11 23:12:06] 629*2^1252988-1 is not prime. Res64: 5416EC99F9FA4594 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:13:21] 633*2^1252988-1 is not prime. Res64: 0DC6AEB034345C8E Time : 0.0 sec. user=mdettweiler [2013-09-11 23:13:21] 687*2^1252988-1 is not prime. Res64: 3A0B0BC7E398A44D Time : 0.0 sec. user=mdettweiler [2013-09-11 23:14:54] 743*2^1252988-1 is not prime. Res64: C8C8FE6D00C33BB1 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:14:54] 755*2^1252988-1 is not prime. Res64: F938EF32C22E0EDB Time : 0.0 sec. user=mdettweiler [2013-09-11 23:24:33] 797*2^1252988-1 is not prime. Res64: 87A6F9AB1767665C Time : 0.0 sec. user=mdettweiler [2013-09-11 23:24:34] 843*2^1252988-1 is not prime. Res64: AB326BBCFEC06164 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:35:01] 745*2^1252989-1 is not prime. Res64: B5A8DCE9DE02DACA Time : 0.0 sec. user=mdettweiler [2013-09-11 23:35:01] 923*2^1252988-1 is not prime. Res64: 358272F9C669F08A Time : 0.0 sec. user=mdettweiler [2013-09-11 23:35:01] 747*2^1252989-1 is not prime. Res64: A780FF547B3E17F8 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:35:01] 741*2^1252989-1 is not prime. Res64: C2334C15523D6B4C Time : 0.0 sec. user=mdettweiler [2013-09-11 23:36:40] 765*2^1252989-1 is not prime. Res64: F52C046B7EB4B57F Time : 0.0 sec. user=mdettweiler [2013-09-11 23:36:40] 781*2^1252989-1 is not prime. Res64: 9D5CFB39028E0F92 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:45:51] 825*2^1252989-1 is not prime. Res64: 1E50577FB664A58F Time : 0.0 sec. user=mdettweiler [2013-09-11 23:45:52] 837*2^1252989-1 is not prime. Res64: 6A190EF203C62E5E Time : 0.0 sec. user=mdettweiler [2013-09-11 23:56:16] 791*2^1252990-1 is not prime. Res64: F261FA30C07CF06A Time : 0.0 sec. user=mdettweiler [2013-09-11 23:56:16] 827*2^1252990-1 is not prime. Res64: E13BC33280364026 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:57:19] 919*2^1252989-1 is not prime. Res64: F94AEC99CDBD5D81 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:57:19] 635*2^1252990-1 is not prime. Res64: 71B23C60EECB04C8 Time : 0.0 sec. user=mdettweiler [2013-09-11 23:58:45] 971*2^1252990-1 is not prime. Res64: 44A0547CA54984DF Time : 0.0 sec. user=mdettweiler [2013-09-11 23:58:45] 609*2^1252991-1 is not prime. Res64: 10901ABF07DE8022 Time : 0.0 sec.