user=mdettweiler [2015-08-21 00:01:03] 615*2^1407048-1 is not prime. Res64: E3DEE065F9637D5C Time : 0.0 sec. user=mdettweiler [2015-08-21 00:01:03] 635*2^1407048-1 is not prime. Res64: AF64B97948A133B1 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:07:29] 867*2^1407048-1 is not prime. Res64: DF2EB95EBE74482B Time : 0.0 sec. user=mdettweiler [2015-08-21 00:07:31] 977*2^1407048-1 is not prime. Res64: 383D1C6D518DB45B Time : 0.0 sec. user=mdettweiler [2015-08-21 00:07:58] 767*2^1407048-1 is not prime. Res64: 1055DADDCC5D6DA0 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:07:58] 849*2^1407048-1 is not prime. Res64: 23B1700214F8B635 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:14:17] 619*2^1407049-1 is not prime. Res64: A5B65E752D5FEA70 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:14:17] 691*2^1407049-1 is not prime. Res64: E31F3F1C46803CB4 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:19:18] 721*2^1407049-1 is not prime. Res64: 34CBD12743F14C02 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:19:18] 751*2^1407049-1 is not prime. Res64: 83F06477B1106530 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:25:42] 979*2^1407049-1 is not prime. Res64: B3F3C7671C6347BF Time : 0.0 sec. user=mdettweiler [2015-08-21 00:25:42] 985*2^1407049-1 is not prime. Res64: 3C447D231C6370BC Time : 0.0 sec. user=mdettweiler [2015-08-21 00:25:55] 651*2^1407050-1 is not prime. Res64: F43E8CA3D2BBAAFA Time : 0.0 sec. user=mdettweiler [2015-08-21 00:25:55] 675*2^1407050-1 is not prime. Res64: 342007E3B9E11529 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:32:05] 711*2^1407050-1 is not prime. Res64: 9C09DBA816E044C2 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:32:05] 735*2^1407050-1 is not prime. Res64: 1A8363B7130693E1 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:36:58] 743*2^1407050-1 is not prime. Res64: 28FFF30DC80DD769 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:36:59] 783*2^1407050-1 is not prime. Res64: 87F50D7A3784715F Time : 0.0 sec. user=mdettweiler [2015-08-21 00:43:20] 785*2^1407050-1 is not prime. Res64: 660BA087B2DC3902 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:43:21] 831*2^1407050-1 is not prime. Res64: 3AD9F71D08D1F0D4 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:43:30] 845*2^1407050-1 is not prime. Res64: BDF84F0F1DBA80A1 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:43:30] 857*2^1407050-1 is not prime. Res64: EE8F774D4C4BC58D Time : 0.0 sec. user=mdettweiler [2015-08-21 00:49:44] 861*2^1407050-1 is not prime. Res64: F5D92ABDD6406F93 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:49:44] 923*2^1407050-1 is not prime. Res64: 1211D0F4AE996AB3 Time : 0.0 sec. user=mdettweiler [2015-08-21 00:54:35] 625*2^1407051-1 is not prime. Res64: F5B848AACEDE28BD Time : 0.0 sec. user=mdettweiler [2015-08-21 00:54:35] 955*2^1407051-1 is not prime. Res64: 9CE7C26DB5D359FA Time : 0.0 sec. user=mdettweiler [2015-08-21 01:00:55] 973*2^1407051-1 is not prime. Res64: 3BAFECF8519D1E4E Time : 0.0 sec. user=mdettweiler [2015-08-21 01:00:56] 605*2^1407052-1 is not prime. Res64: 66FA4731E44BFA1F Time : 0.0 sec. user=mdettweiler [2015-08-21 01:01:13] 639*2^1407052-1 is not prime. Res64: FFE94B4D359937BC Time : 0.0 sec. user=mdettweiler [2015-08-21 01:01:14] 657*2^1407052-1 is not prime. Res64: 3DD02E55E1B1F3C0 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:07:15] 723*2^1407052-1 is not prime. Res64: 82F96A4C5699ECBE Time : 0.0 sec. user=mdettweiler [2015-08-21 01:07:15] 749*2^1407052-1 is not prime. Res64: DC2FD3C5B0553E04 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:12:06] 777*2^1407052-1 is not prime. Res64: FD729D44032CB327 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:12:06] 873*2^1407052-1 is not prime. Res64: 275A4E22F3CE5840 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:18:29] 923*2^1407052-1 is not prime. Res64: 6FE5EDC0B180422A Time : 0.0 sec. user=mdettweiler [2015-08-21 01:18:30] 729*2^1407053-1 is not prime. Res64: 875A81DFF43F4282 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:18:42] 745*2^1407053-1 is not prime. Res64: 3235A79C40A08D44 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:18:42] 801*2^1407053-1 is not prime. Res64: 5F519F369D6A7332 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:24:41] 859*2^1407053-1 is not prime. Res64: 26B66E0D076A6D88 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:24:42] 723*2^1407054-1 is not prime. Res64: 7D5CAAC4BA04E366 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:29:37] 825*2^1407054-1 is not prime. Res64: 52FB9B1F9EBD6E90 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:29:39] 619*2^1407055-1 is not prime. Res64: B7B717C9937550F8 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:35:59] 639*2^1407055-1 is not prime. Res64: 6B065A390CF5A407 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:36:00] 765*2^1407055-1 is not prime. Res64: 9F4B841EE3D2FB51 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:36:13] 831*2^1407055-1 is not prime. Res64: CBC62E06B435B5CF Time : 0.0 sec. user=mdettweiler [2015-08-21 01:36:13] 841*2^1407055-1 is not prime. Res64: ACBD91D5A64B30B4 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:42:12] 871*2^1407055-1 is not prime. Res64: 11E159C6D150A86C Time : 0.0 sec. user=mdettweiler [2015-08-21 01:42:12] 919*2^1407055-1 is not prime. Res64: 83DBD1350071606A Time : 0.0 sec. user=mdettweiler [2015-08-21 01:47:14] 933*2^1407055-1 is not prime. Res64: 5A360F2FEA8DB4FB Time : 0.0 sec. user=mdettweiler [2015-08-21 01:47:15] 943*2^1407055-1 is not prime. Res64: D51652D0B99306FC Time : 0.0 sec. user=mdettweiler [2015-08-21 01:53:35] 609*2^1407056-1 is not prime. Res64: 3684844A598B4E5E Time : 0.0 sec. user=mdettweiler [2015-08-21 01:53:35] 623*2^1407056-1 is not prime. Res64: 5CB19CAB8D1157C7 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:53:45] 633*2^1407056-1 is not prime. Res64: DE44D492EFC086D8 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:53:46] 669*2^1407056-1 is not prime. Res64: 96FEFAB5F4CED0BE Time : 0.0 sec. user=mdettweiler [2015-08-21 01:59:48] 825*2^1407056-1 is not prime. Res64: C0A2A7DA370C56D7 Time : 0.0 sec. user=mdettweiler [2015-08-21 01:59:49] 839*2^1407056-1 is not prime. Res64: 1656069EBF742204 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:04:51] 845*2^1407056-1 is not prime. Res64: 0D2379C402C97266 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:04:52] 889*2^1407057-1 is not prime. Res64: 5959668E17EFEE0F Time : 0.0 sec. user=mdettweiler [2015-08-21 02:11:17] 997*2^1407057-1 is not prime. Res64: F2D0BDAA49F907CA Time : 0.0 sec. user=mdettweiler [2015-08-21 02:11:18] 621*2^1407058-1 is not prime. Res64: 74C7757BEDC2F18D Time : 0.0 sec. user=mdettweiler [2015-08-21 02:11:24] 735*2^1407058-1 is not prime. Res64: 346525EFA9A8814E Time : 0.0 sec. user=mdettweiler [2015-08-21 02:11:25] 801*2^1407058-1 is not prime. Res64: 08D150C9C2D1EEA4 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:17:20] 803*2^1407058-1 is not prime. Res64: A69654FBD073C7D0 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:17:21] 885*2^1407058-1 is not prime. Res64: 55FE43B7585D14A7 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:22:29] 975*2^1407058-1 is not prime. Res64: 224C5D1D48622A14 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:22:29] 843*2^1407059-1 is not prime. Res64: AA333CF22BCE0803 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:28:56] 859*2^1407059-1 is not prime. Res64: ED97DFA7A4217338 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:28:56] 861*2^1407059-1 is not prime. Res64: D236F97D8B96F2EE Time : 0.0 sec. user=mdettweiler [2015-08-21 02:29:02] 889*2^1407059-1 is not prime. Res64: 53A1AF8EDCADD136 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:29:03] 921*2^1407059-1 is not prime. Res64: 5F5A34D3BB02807C Time : 0.0 sec. user=mdettweiler [2015-08-21 02:34:54] 943*2^1407059-1 is not prime. Res64: 97C674CB0C5A5893 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:34:55] 949*2^1407059-1 is not prime. Res64: D6162CE06CBDD758 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:40:07] 991*2^1407059-1 is not prime. Res64: 2DC26B4BADBDB834 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:40:07] 999*2^1407059-1 is not prime. Res64: 764FD032B8A4852C Time : 0.0 sec. user=mdettweiler [2015-08-21 02:46:40] 623*2^1407060-1 is not prime. Res64: D7F366A26F3DC79D Time : 0.0 sec. user=mdettweiler [2015-08-21 02:46:40] 735*2^1407060-1 is not prime. Res64: 57C46BB1A5616E19 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:46:44] 753*2^1407060-1 is not prime. Res64: 3C02B62CFEE965B2 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:46:44] 797*2^1407060-1 is not prime. Res64: 48269212FC89C432 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:52:29] 843*2^1407060-1 is not prime. Res64: 15A0D6C029527C43 Time : 0.0 sec. user=mdettweiler [2015-08-21 02:52:30] 857*2^1407060-1 is not prime. Res64: 6ABD8847075712CC Time : 0.0 sec. user=mdettweiler [2015-08-21 02:57:44] 933*2^1407060-1 is not prime. Res64: 9925F823F410187B Time : 0.0 sec. user=mdettweiler [2015-08-21 02:57:44] 651*2^1407061-1 is not prime. Res64: 8C43F1305E481293 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:04:10] 741*2^1407061-1 is not prime. Res64: 55A35F4BB545D030 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:04:11] 847*2^1407061-1 is not prime. Res64: AE40462BFDA1EED2 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:04:13] 871*2^1407061-1 is not prime. Res64: 9AC7B2E6C73FA89C Time : 0.0 sec. user=mdettweiler [2015-08-21 03:04:16] 925*2^1407061-1 is not prime. Res64: FB9D33E5F25E42C3 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:10:01] 997*2^1407061-1 is not prime. Res64: E7DF37B64E1D2441 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:10:02] 665*2^1407062-1 is not prime. Res64: CE36517218F70854 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:15:20] 825*2^1407062-1 is not prime. Res64: 41E9EF57C9442B57 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:15:21] 915*2^1407062-1 is not prime. Res64: BD65FE8FF3CC1EF7 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:21:51] 1001*2^1407062-1 is not prime. Res64: 3D074DFDD9773575 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:21:52] 739*2^1407063-1 is not prime. Res64: 1C56FEB8E6A20EB9 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:21:52] 783*2^1407063-1 is not prime. Res64: A38CE3BFD45B1551 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:21:52] 819*2^1407063-1 is not prime. Res64: F9FA6DBC2EFF3409 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:27:47] 665*2^1407064-1 is not prime. Res64: 8C5C0DA3F7FA2F9C Time : 0.0 sec. user=mdettweiler [2015-08-21 03:27:49] 675*2^1407064-1 is not prime. Res64: E75FA72228A99BDB Time : 0.0 sec. user=mdettweiler [2015-08-21 03:33:00] 677*2^1407064-1 is not prime. Res64: 44425B78406EA8D8 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:33:01] 687*2^1407064-1 is not prime. Res64: 6BDD5D4DB2C7ECB2 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:39:27] 875*2^1407064-1 is not prime. Res64: E86A0EE56BEC2511 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:39:28] 765*2^1407064-1 is not prime. Res64: 0B54749AF4434672 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:39:28] 993*2^1407064-1 is not prime. Res64: 36C27BC28E12BA3A Time : 0.0 sec. user=mdettweiler [2015-08-21 03:39:29] 773*2^1407064-1 is not prime. Res64: DB48C97D15FC23D9 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:45:25] 679*2^1407065-1 is not prime. Res64: 2B38CC2789EF4D0E Time : 0.0 sec. user=mdettweiler [2015-08-21 03:45:26] 771*2^1407065-1 is not prime. Res64: A5CA5D607E29F26E Time : 0.0 sec. user=mdettweiler [2015-08-21 03:50:30] 811*2^1407065-1 is not prime. Res64: FE6AC7D8B035ED48 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:50:30] 837*2^1407065-1 is not prime. Res64: B71C1C29F4829E92 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:57:09] 865*2^1407065-1 is not prime. Res64: 29B59DCA379D259F Time : 0.0 sec. user=mdettweiler [2015-08-21 03:57:09] 897*2^1407065-1 is not prime. Res64: D60515FE8610D729 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:57:13] 981*2^1407065-1 is not prime. Res64: 8964CF170083A684 Time : 0.0 sec. user=mdettweiler [2015-08-21 03:57:14] 711*2^1407066-1 is not prime. Res64: 3A679CCDD698CB1D Time : 0.0 sec. user=mdettweiler [2015-08-21 04:03:05] 765*2^1407066-1 is not prime. Res64: 5C5722223CB39CD2 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:03:06] 815*2^1407066-1 is not prime. Res64: 7E858CD32047E71F Time : 0.0 sec. user=mdettweiler [2015-08-21 04:08:20] 861*2^1407066-1 is not prime. Res64: 7D756189AE38CA59 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:08:21] 873*2^1407066-1 is not prime. Res64: 43E3F212F649B0E7 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:14:52] 633*2^1407067-1 is not prime. Res64: BC769117AB7822A5 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:14:53] 703*2^1407067-1 is not prime. Res64: 1648CA452917BE47 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:14:56] 947*2^1407066-1 is not prime. Res64: 5FABD3078CB6AC26 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:14:57] 975*2^1407066-1 is not prime. Res64: 16903629EE42428D Time : 0.0 sec. user=mdettweiler [2015-08-21 04:20:52] 741*2^1407067-1 is not prime. Res64: 9DBA8392000092E5 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:20:52] 751*2^1407067-1 is not prime. Res64: 3AD254DEDC85B5AB Time : 0.0 sec. user=mdettweiler [2015-08-21 04:26:04] 669*2^1407068-1 is not prime. Res64: A5B2DD109B994132 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:26:04] 677*2^1407068-1 is not prime. Res64: D812E8A2E8D0EBAF Time : 0.0 sec. user=mdettweiler [2015-08-21 04:32:23] 825*2^1407068-1 is not prime. Res64: 4E453AF59B4A7325 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:32:23] 817*2^1407069-1 is not prime. Res64: 788220C7E14EFAD6 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:32:23] 753*2^1407068-1 is not prime. Res64: 82FEF541F935A2C2 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:32:24] 759*2^1407068-1 is not prime. Res64: EC6D9E352E8B3EDC Time : 0.0 sec. user=mdettweiler [2015-08-21 04:39:10] 861*2^1407069-1 is not prime. Res64: CA603E93710E88F0 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:39:10] 865*2^1407069-1 is not prime. Res64: 9EF4C062BEBD1CA1 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:44:36] 969*2^1407069-1 is not prime. Res64: CFF092691618B754 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:44:36] 605*2^1407070-1 is not prime. Res64: 765F7D1EF0F6010A Time : 0.0 sec. user=mdettweiler [2015-08-21 04:50:45] 671*2^1407070-1 is not prime. Res64: 8790FED61FA394BE Time : 0.0 sec. user=mdettweiler [2015-08-21 04:50:45] 681*2^1407070-1 is not prime. Res64: C075DBC3A94A9DB0 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:51:01] 873*2^1407070-1 is not prime. Res64: 3A0B1A48153677BA Time : 0.0 sec. user=mdettweiler [2015-08-21 04:51:02] 663*2^1407071-1 is not prime. Res64: ADC760FCC516827C Time : 0.0 sec. user=mdettweiler [2015-08-21 04:56:57] 693*2^1407071-1 is not prime. Res64: A5465AE8A85D13D6 Time : 0.0 sec. user=mdettweiler [2015-08-21 04:56:57] 705*2^1407071-1 is not prime. Res64: 6018C82285F6D220 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:02:11] 735*2^1407071-1 is not prime. Res64: C2B32745FC7A48F5 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:02:12] 775*2^1407071-1 is not prime. Res64: FFB3EEEFB8CE5BCC Time : 0.0 sec. user=mdettweiler [2015-08-21 05:08:18] 781*2^1407071-1 is not prime. Res64: 0E84DD1A54622403 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:08:18] 885*2^1407071-1 is not prime. Res64: 78D23928C425B6CE Time : 0.0 sec. user=mdettweiler [2015-08-21 05:08:33] 909*2^1407071-1 is not prime. Res64: BF8F47ABE679399E Time : 0.0 sec. user=mdettweiler [2015-08-21 05:08:34] 955*2^1407071-1 is not prime. Res64: 99E35DC2761A2342 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:14:31] 717*2^1407072-1 is not prime. Res64: 97AFFD57BF2FE46D Time : 0.0 sec. user=mdettweiler [2015-08-21 05:14:31] 825*2^1407072-1 is not prime. Res64: 44CB7FD9A94E9DDF Time : 0.0 sec. user=mdettweiler [2015-08-21 05:19:45] 837*2^1407072-1 is not prime. Res64: 7E9D15F4F8CFF2BC Time : 0.0 sec. user=mdettweiler [2015-08-21 05:19:45] 945*2^1407072-1 is not prime. Res64: F87E7FD4D4BF8184 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:25:49] 681*2^1407073-1 is not prime. Res64: A7F65E1A6C21BE85 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:25:49] 957*2^1407073-1 is not prime. Res64: 78DE6C6D4ADF1220 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:26:03] 985*2^1407073-1 is not prime. Res64: 014387B43AF4BF81 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:26:04] 615*2^1407074-1 is not prime. Res64: EC2FBE8AF2DD0106 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:32:01] 641*2^1407074-1 is not prime. Res64: A6899103A85B56D1 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:32:01] 743*2^1407074-1 is not prime. Res64: 5D28EDAB27DCC078 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:37:22] 783*2^1407074-1 is not prime. Res64: B180C5EE70A80359 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:37:23] 785*2^1407074-1 is not prime. Res64: CA5034FCC3621326 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:43:27] 815*2^1407074-1 is not prime. Res64: CAF8A62A892D1E7E Time : 0.0 sec. user=mdettweiler [2015-08-21 05:43:27] 873*2^1407074-1 is not prime. Res64: 1DBFD130306BB050 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:43:36] 915*2^1407074-1 is not prime. Res64: 4FE38601CE877A1E Time : 0.0 sec. user=mdettweiler [2015-08-21 05:43:37] 927*2^1407074-1 is not prime. Res64: A455A82AC09C305B Time : 0.0 sec. user=mdettweiler [2015-08-21 05:49:35] 971*2^1407074-1 is not prime. Res64: 5F2B3573780F0811 Time : 0.0 sec. user=mdettweiler [2015-08-21 05:49:36] 1001*2^1407074-1 is not prime. Res64: 41153BB0B86AB3FC Time : 0.0 sec. user=mdettweiler [2015-08-21 05:55:05] 649*2^1407075-1 is not prime. Res64: A3185517D5DB629B Time : 0.0 sec. user=mdettweiler [2015-08-21 05:55:05] 823*2^1407075-1 is not prime. Res64: 31774AB4C61276B2 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:01:03] 891*2^1407075-1 is not prime. Res64: B6DA6C575BD7B734 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:01:04] 921*2^1407075-1 is not prime. Res64: 64F32E801579F650 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:01:12] 961*2^1407075-1 is not prime. Res64: 3C98BEF2ECB5EEAC Time : 0.0 sec. user=mdettweiler [2015-08-21 06:01:13] 623*2^1407076-1 is not prime. Res64: ED6028613769BE5A Time : 0.0 sec. user=mdettweiler [2015-08-21 06:07:18] 693*2^1407076-1 is not prime. Res64: 98A3DA4CD1BA275D Time : 0.0 sec. user=mdettweiler [2015-08-21 06:07:18] 717*2^1407076-1 is not prime. Res64: C0A6C99FD3EB4C3B Time : 0.0 sec. user=mdettweiler [2015-08-21 06:12:41] 723*2^1407076-1 is not prime. Res64: 49D3DFE1B33D45AF Time : 0.0 sec. user=mdettweiler [2015-08-21 06:12:41] 803*2^1407076-1 is not prime. Res64: DCC8AD3C668C32C9 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:18:59] 999*2^1407076-1 is not prime. Res64: CC918C6C78317D3E Time : 0.0 sec. user=mdettweiler [2015-08-21 06:18:59] 873*2^1407076-1 is not prime. Res64: B95776D6AD7B8035 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:18:59] 669*2^1407077-1 is not prime. Res64: C1E4F850AB070FFA Time : 0.0 sec. user=mdettweiler [2015-08-21 06:18:59] 887*2^1407076-1 is not prime. Res64: 16A9397B3FEC54C2 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:24:57] 717*2^1407077-1 is not prime. Res64: ACB1C186CB088E07 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:24:57] 729*2^1407077-1 is not prime. Res64: 332997581FECE10F Time : 0.0 sec. user=mdettweiler [2015-08-21 06:30:15] 799*2^1407077-1 is not prime. Res64: C7F2687D05D46F96 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:30:15] 837*2^1407077-1 is not prime. Res64: 643A0B2435EE7178 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:36:35] 865*2^1407077-1 is not prime. Res64: 8CEA110559959CE7 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:36:35] 867*2^1407077-1 is not prime. Res64: F9F60C789615CF90 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:36:39] 915*2^1407077-1 is not prime. Res64: 89DB49F64B55FBB5 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:36:40] 925*2^1407077-1 is not prime. Res64: AD98DBA48D13FFB5 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:42:26] 949*2^1407077-1 is not prime. Res64: 4ED34F64CDFDBF6C Time : 0.0 sec. user=mdettweiler [2015-08-21 06:42:26] 981*2^1407077-1 is not prime. Res64: 669DD443A3E29F24 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:47:47] 611*2^1407078-1 is not prime. Res64: 8E3263948312302D Time : 0.0 sec. user=mdettweiler [2015-08-21 06:47:47] 705*2^1407078-1 is not prime. Res64: 73ABE5758FF1D766 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:54:03] 707*2^1407078-1 is not prime. Res64: BA3A0B1E02AEE6A6 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:54:04] 815*2^1407078-1 is not prime. Res64: 594D2ED0A8911F95 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:54:16] 861*2^1407078-1 is not prime. Res64: E43A2EF5E56FC828 Time : 0.0 sec. user=mdettweiler [2015-08-21 06:54:16] 921*2^1407078-1 is not prime. Res64: C7650E47AF1AB6C3 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:00:02] 993*2^1407078-1 is not prime. Res64: F8305BC072AF7B0B Time : 0.0 sec. user=mdettweiler [2015-08-21 07:00:02] 771*2^1407079-1 is not prime. Res64: 91CFE2B1923D53EF Time : 0.0 sec. user=mdettweiler [2015-08-21 07:05:20] 793*2^1407079-1 is not prime. Res64: 9FE359A9D10470F4 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:05:21] 895*2^1407079-1 is not prime. Res64: 04B6383EB866B809 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:11:33] 933*2^1407079-1 is not prime. Res64: CCE9E84EBCEE6E3A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:11:33] 973*2^1407079-1 is not prime. Res64: 2560E958EDD1C706 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:11:44] 999*2^1407079-1 is not prime. Res64: E1D30DD4F1F09B7A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:11:44] 603*2^1407080-1 is not prime. Res64: 3D3766710AF96F08 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:17:41] 677*2^1407080-1 is not prime. Res64: 1C8F6A8A4921201E Time : 0.0 sec. user=mdettweiler [2015-08-21 07:17:42] 789*2^1407080-1 is not prime. Res64: 6108194B432EBD31 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:23:14] 813*2^1407080-1 is not prime. Res64: E98AAE856DFBEC5A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:23:15] 839*2^1407080-1 is not prime. Res64: 5358CB67176F9D83 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:29:11] 843*2^1407080-1 is not prime. Res64: 89FEEDC31FE1ACF6 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:29:11] 855*2^1407080-1 is not prime. Res64: 522C926ECBA671C9 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:29:23] 669*2^1407081-1 is not prime. Res64: 6523C8DDE126D467 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:29:24] 751*2^1407081-1 is not prime. Res64: 988B6FB747968D9B Time : 0.0 sec. user=mdettweiler [2015-08-21 07:35:16] 795*2^1407081-1 is not prime. Res64: FC58D915BA5DE31A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:35:16] 937*2^1407081-1 is not prime. Res64: 17C1CE00DC886E3A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:40:44] 713*2^1407082-1 is not prime. Res64: 1D521C84BD4455F2 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:40:44] 717*2^1407082-1 is not prime. Res64: 78E9BE73736751CC Time : 0.0 sec. user=mdettweiler [2015-08-21 07:46:40] 873*2^1407082-1 is not prime. Res64: 9FA7C242011996D5 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:46:40] 957*2^1407082-1 is not prime. Res64: F038BB00FCA6E46A Time : 0.0 sec. user=mdettweiler [2015-08-21 07:46:55] 705*2^1407083-1 is not prime. Res64: C23AD9FA387F79BC Time : 0.0 sec. user=mdettweiler [2015-08-21 07:46:56] 739*2^1407083-1 is not prime. Res64: 71F781290F60B19E Time : 0.0 sec. user=mdettweiler [2015-08-21 07:52:49] 759*2^1407083-1 is not prime. Res64: B81B3565A709CB3D Time : 0.0 sec. user=mdettweiler [2015-08-21 07:52:49] 781*2^1407083-1 is not prime. Res64: DF0C2A14CC69162F Time : 0.0 sec. user=mdettweiler [2015-08-21 07:58:10] 789*2^1407083-1 is not prime. Res64: 39846276387AEB47 Time : 0.0 sec. user=mdettweiler [2015-08-21 07:58:11] 885*2^1407083-1 is not prime. Res64: C2E13B4B0B867B0E Time : 0.0 sec. user=mdettweiler [2015-08-21 08:04:15] 921*2^1407083-1 is not prime. Res64: 4B4E228B3B5EF1EB Time : 0.0 sec. user=mdettweiler [2015-08-21 08:04:16] 945*2^1407083-1 is not prime. Res64: C4447080447313E8 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:04:27] 707*2^1407084-1 is not prime. Res64: 9A842152B41AC42A Time : 0.0 sec. user=mdettweiler [2015-08-21 08:04:28] 843*2^1407084-1 is not prime. Res64: 42BF556AF219C66B Time : 0.0 sec. user=mdettweiler [2015-08-21 08:10:18] 899*2^1407084-1 is not prime. Res64: 620DDFE34BAA87AC Time : 0.0 sec. user=mdettweiler [2015-08-21 08:10:18] 945*2^1407084-1 is not prime. Res64: 3520009585943471 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:15:42] 729*2^1407085-1 is not prime. Res64: 88E8C92A8B977B34 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:15:42] 871*2^1407085-1 is not prime. Res64: 0C8AB8BFE9EB117E Time : 0.0 sec. user=mdettweiler [2015-08-21 08:22:07] 895*2^1407085-1 is not prime. Res64: 0755BC9FE8A4BDC9 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:22:07] 937*2^1407085-1 is not prime. Res64: C0663000B1843629 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:22:11] 981*2^1407085-1 is not prime. Res64: 149556E4A0A7E1BB Time : 0.0 sec. user=mdettweiler [2015-08-21 08:22:11] 987*2^1407085-1 is not prime. Res64: 756BA9332C5213F3 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:27:53] 603*2^1407086-1 is not prime. Res64: 7D3A1664E9692C29 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:27:54] 671*2^1407086-1 is not prime. Res64: EBAD0589C7C0D962 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:33:23] 767*2^1407086-1 is not prime. Res64: 0AB38130599C7462 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:33:23] 917*2^1407086-1 is not prime. Res64: 89CC52A5A19AA3AB Time : 0.0 sec. user=mdettweiler [2015-08-21 08:39:50] 661*2^1407087-1 is not prime. Res64: 01DF46EFCD924A2C Time : 0.0 sec. user=mdettweiler [2015-08-21 08:39:51] 685*2^1407087-1 is not prime. Res64: D19A334AF53AA8DD Time : 0.0 sec. user=mdettweiler [2015-08-21 08:39:56] 953*2^1407086-1 is not prime. Res64: C51D1395EAE18288 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:39:56] 643*2^1407087-1 is not prime. Res64: 0F1DAC8F7BE5A2C6 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:45:49] 741*2^1407087-1 is not prime. Res64: EFF7CC290B935789 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:45:50] 775*2^1407087-1 is not prime. Res64: D2B4DB4730310E5B Time : 0.0 sec. user=mdettweiler [2015-08-21 08:51:33] 849*2^1407087-1 is not prime. Res64: 4412FC56080786E1 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:51:33] 871*2^1407087-1 is not prime. Res64: A7B73239C9811398 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:58:14] 755*2^1407088-1 is not prime. Res64: 5C71B0ABDBD42E7D Time : 0.0 sec. user=mdettweiler [2015-08-21 08:58:15] 777*2^1407088-1 is not prime. Res64: C55783F9144421E3 Time : 0.0 sec. user=mdettweiler [2015-08-21 08:58:17] 605*2^1407088-1 is not prime. Res64: 6F152E63463425DE Time : 0.0 sec. user=mdettweiler [2015-08-21 08:58:18] 743*2^1407088-1 is not prime. Res64: D5AE2BE1F5E6B533 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:04:00] 813*2^1407088-1 is not prime. Res64: 7E0B64A88DB8C617 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:04:02] 827*2^1407088-1 is not prime. Res64: 17F4C2469ED01E47 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:09:27] 843*2^1407088-1 is not prime. Res64: 014F2E0D8FFEE690 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:09:27] 849*2^1407088-1 is not prime. Res64: FD71C606828DC2B7 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:15:54] 905*2^1407088-1 is not prime. Res64: 38D730108306DEFF Time : 0.0 sec. user=mdettweiler [2015-08-21 09:15:55] 927*2^1407088-1 is not prime. Res64: 078CD721BB326673 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:15:55] 989*2^1407088-1 is not prime. Res64: A2A2E8FE084175BD Time : 0.0 sec. user=mdettweiler [2015-08-21 09:15:56] 691*2^1407089-1 is not prime. Res64: 4B7EC6D6D5D415BA Time : 0.0 sec. user=mdettweiler [2015-08-21 09:21:53] 697*2^1407089-1 is not prime. Res64: EC43619DF8491D12 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:21:54] 721*2^1407089-1 is not prime. Res64: 59BA99637F29F99A Time : 0.0 sec. user=mdettweiler [2015-08-21 09:27:07] 829*2^1407089-1 is not prime. Res64: 8B0DF2189FFE061E Time : 0.0 sec. user=mdettweiler [2015-08-21 09:27:07] 841*2^1407089-1 is not prime. Res64: 44570276E2B45C84 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:33:40] 861*2^1407089-1 is not prime. Res64: A93F2FF233D91021 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:33:40] 755*2^1407090-1 is not prime. Res64: 2172F8A4D8625A92 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:33:44] 951*2^1407090-1 is not prime. Res64: 483DEE16537850E0 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:33:44] 977*2^1407090-1 is not prime. Res64: 09612BE230D65872 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:39:26] 759*2^1407091-1 is not prime. Res64: AB8A072F67B300F8 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:39:27] 843*2^1407091-1 is not prime. Res64: 0486128D63F3E590 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:44:58] 873*2^1407091-1 is not prime. Res64: FCBC9CE5E463CF92 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:44:58] 943*2^1407091-1 is not prime. Res64: 9D6928FAC7683FF3 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:51:18] 669*2^1407092-1 is not prime. Res64: EB08D8879468A140 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:51:18] 753*2^1407092-1 is not prime. Res64: B791A0568438FE37 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:51:23] 855*2^1407092-1 is not prime. Res64: D2EE608C9A47FE1D Time : 0.0 sec. user=mdettweiler [2015-08-21 09:51:24] 899*2^1407092-1 is not prime. Res64: CA2DA0D24CC90852 Time : 0.0 sec. user=mdettweiler [2015-08-21 09:56:57] 679*2^1407093-1 is not prime. Res64: 62EEC12F1E421C1C Time : 0.0 sec. user=mdettweiler [2015-08-21 09:56:58] 789*2^1407093-1 is not prime. Res64: 4A140F40971FB84A Time : 0.0 sec. user=mdettweiler [2015-08-21 10:02:37] 805*2^1407093-1 is not prime. Res64: 3A8A2D9A4FC6176E Time : 0.0 sec. user=mdettweiler [2015-08-21 10:02:38] 817*2^1407093-1 is not prime. Res64: 76EC3F66968C5707 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:08:54] 847*2^1407093-1 is not prime. Res64: 475626BDC4D870C4 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:08:55] 861*2^1407093-1 is not prime. Res64: EC5D86B02BD73379 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:08:59] 871*2^1407093-1 is not prime. Res64: 6083B6FD8E496A94 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:08:59] 877*2^1407093-1 is not prime. Res64: B5D6D7C67001590D Time : 0.0 sec. user=mdettweiler [2015-08-21 10:14:35] 927*2^1407093-1 is not prime. Res64: 237216B90B6A6A68 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:14:35] 955*2^1407093-1 is not prime. Res64: B0BEF088C15B02DE Time : 0.0 sec. user=mdettweiler [2015-08-21 10:20:15] 645*2^1407094-1 is not prime. Res64: A6B79A8F88A2180F Time : 0.0 sec. user=mdettweiler [2015-08-21 10:20:15] 677*2^1407094-1 is not prime. Res64: 9E1CEBB84A6C51EA Time : 0.0 sec. user=mdettweiler [2015-08-21 10:26:38] 705*2^1407094-1 is not prime. Res64: 31EECF2034AD80DD Time : 0.0 sec. user=mdettweiler [2015-08-21 10:26:39] 981*2^1407094-1 is not prime. Res64: 00213537857753A0 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:26:40] 649*2^1407095-1 is not prime. Res64: 9733738887F7E2B9 Time : 0.0 sec. user=mdettweiler [2015-08-21 10:26:40] 673*2^1407095-1 is not prime. Res64: 4164FA1938198EFC Time : 0.0 sec. user=mdettweiler [2015-08-21 10:32:30] 843*2^1407095-1 is not prime. Res64: F64F1B06F7153ABC Time : 0.0 sec. user=mdettweiler [2015-08-21 10:32:30] 915*2^1407095-1 is not prime. Res64: 1380BDAC423518AA Time : 0.0 sec.