user=mdettweiler
[2015-09-26 00:02:56]
879*2^1410231-1 is not prime.  Res64: 166FC25BB4A9ACAA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:02:57]
955*2^1410231-1 is not prime.  Res64: FDD18C8141A36020  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:02:59]
693*2^1410232-1 is not prime.  Res64: 6CADA2803FA26C8A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:03:00]
743*2^1410232-1 is not prime.  Res64: F9B66E261154AB10  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:03:01]
665*2^1410232-1 is not prime.  Res64: E84F496E3BCCB872  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:03:02]
675*2^1410232-1 is not prime.  Res64: 8E006D0EB31B50A6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:46]
983*2^1410232-1 is not prime.  Res64: 0F06943F4F9C6430  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:48]
787*2^1410233-1 is not prime.  Res64: F477A64ED5AA3D92  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:49]
857*2^1410232-1 is not prime.  Res64: 1D3D2C5D9563DB15  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:50]
837*2^1410233-1 is not prime.  Res64: 68637D9BE0A27666  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:51]
869*2^1410232-1 is not prime.  Res64: E2E576D0C1577527  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:20:52]
847*2^1410233-1 is not prime.  Res64: 449A148D504BBB08  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:26]
681*2^1410234-1 is not prime.  Res64: 81A4B167FBF04BA0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:27]
851*2^1410234-1 is not prime.  Res64: 808513EBC30AB90B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:30]
921*2^1410234-1 is not prime.  Res64: 2858AD9B8C7C6338  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:30]
609*2^1410235-1 is not prime.  Res64: 2372FDDF88FB5D45  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:31]
651*2^1410234-1 is not prime.  Res64: DCE9547D422F1824  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:38:31]
633*2^1410235-1 is not prime.  Res64: 467FE44DE0FB3DB0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:52]
639*2^1410235-1 is not prime.  Res64: D315D73D8DCBD42A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:52]
675*2^1410235-1 is not prime.  Res64: D6440AB47E8F34B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:54]
861*2^1410235-1 is not prime.  Res64: C1F9D0F58121BAC2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:54]
985*2^1410235-1 is not prime.  Res64: B52A5EE73D54217D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:55]
735*2^1410235-1 is not prime.  Res64: 01FB076AB3576397  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 00:55:55]
849*2^1410235-1 is not prime.  Res64: 8A12DAB894790F61  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:19]
983*2^1410236-1 is not prime.  Res64: 384C20F10CA6B8CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:20]
615*2^1410237-1 is not prime.  Res64: 06D3F46656C37DB6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:20]
699*2^1410237-1 is not prime.  Res64: 733D6EAF1B458E73  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:21]
891*2^1410237-1 is not prime.  Res64: 57E838AE770D7764  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:22]
895*2^1410237-1 is not prime.  Res64: 2B49B7132DB43192  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:13:23]
937*2^1410237-1 is not prime.  Res64: 2704C8F5F5A4D837  Time : 0.0 sec.
user=juhehe
[2015-09-26 01:17:33]
717*2^1410236-1 is not prime.  Res64: 2747C3E2A0B33B59  Time : 0.0 sec.
user=juhehe
[2015-09-26 01:18:39]
953*2^1410236-1 is not prime.  Res64: 0CC08F756112B894  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:30:56]
991*2^1410237-1 is not prime.  Res64: 8E6FE4F75C0BEEE5  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:30:56]
611*2^1410238-1 is not prime.  Res64: D63077824799E73D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:30:58]
997*2^1410237-1 is not prime.  Res64: CF2F012C5055ACCB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:30:59]
681*2^1410238-1 is not prime.  Res64: 3F1409188FF04525  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:30:59]
761*2^1410238-1 is not prime.  Res64: FB5B0D5EC7AD165D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:31:00]
773*2^1410238-1 is not prime.  Res64: 9F42D6FF1E40E78C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:40]
857*2^1410238-1 is not prime.  Res64: 1EFD011795F7B2A6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:40]
861*2^1410238-1 is not prime.  Res64: EFF1F486F0B38523  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:41]
885*2^1410238-1 is not prime.  Res64: DD3652BF250D227D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:41]
957*2^1410238-1 is not prime.  Res64: B69A224EB9C25FB3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:42]
923*2^1410238-1 is not prime.  Res64: 155823715F52D727  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 01:48:42]
1001*2^1410238-1 is not prime.  Res64: FBF08A51D44BDC65  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:09]
693*2^1410239-1 is not prime.  Res64: 3F2BD373431D281E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:09]
943*2^1410239-1 is not prime.  Res64: EAB35BEF8EFF7E1A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:09]
779*2^1410240-1 is not prime.  Res64: 6D2FB0B5303F0729  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:09]
609*2^1410240-1 is not prime.  Res64: C61A9AD65A4D8A68  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:10]
825*2^1410239-1 is not prime.  Res64: 3D7E77558DDE2C0A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:06:10]
839*2^1410240-1 is not prime.  Res64: 17531D415F254721  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:46]
927*2^1410240-1 is not prime.  Res64: 7EC1C84ABD3B5032  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:47]
929*2^1410240-1 is not prime.  Res64: 134E79E48636903C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:47]
649*2^1410241-1 is not prime.  Res64: 231F0FA143D13784  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:48]
705*2^1410241-1 is not prime.  Res64: 8381E8EABC4F4388  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:48]
893*2^1410240-1 is not prime.  Res64: A9037D61662F7B08  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:23:48]
899*2^1410240-1 is not prime.  Res64: 40B9FF33AAAFB5C3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:13]
901*2^1410241-1 is not prime.  Res64: 85B5B44EABFF5DCD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:13]
755*2^1410242-1 is not prime.  Res64: FE20D6E90C381509  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:13]
665*2^1410242-1 is not prime.  Res64: 7E5C5C263B20B083  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:13]
885*2^1410242-1 is not prime.  Res64: 099893D371F05189  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:14]
777*2^1410241-1 is not prime.  Res64: A025037705478678  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:41:14]
895*2^1410241-1 is not prime.  Res64: 81DB2000DD91644A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:40]
825*2^1410244-1 is not prime.  Res64: 932569893A634BF9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:40]
859*2^1410243-1 is not prime.  Res64: BD6D8630B5DC8044  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:40]
663*2^1410244-1 is not prime.  Res64: 1059A1C4FAEA8EDD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:40]
869*2^1410244-1 is not prime.  Res64: 8CC90E34634B9408  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:40]
657*2^1410244-1 is not prime.  Res64: E0526873CD201DA2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 02:58:41]
677*2^1410244-1 is not prime.  Res64: 710C6300A1BF9AE7  Time : 0.0 sec.
user=juhehe
[2015-09-26 03:12:20]
639*2^1410243-1 is not prime.  Res64: F2B081E5AC47B80B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:08]
975*2^1410244-1 is not prime.  Res64: BF0D881176258E84  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:09]
655*2^1410245-1 is not prime.  Res64: F37BEFB88D9B5D4E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:09]
937*2^1410245-1 is not prime.  Res64: 743C2007F4E68A2D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:10]
993*2^1410244-1 is not prime.  Res64: A3DB31E71FFE1728  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:10]
867*2^1410245-1 is not prime.  Res64: 8452EFF5EA2FAFB2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:16:10]
939*2^1410245-1 is not prime.  Res64: 7339605684B0172A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:43]
815*2^1410246-1 is not prime.  Res64: 49A267A8A526BF69  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:44]
987*2^1410245-1 is not prime.  Res64: 514652EE4AE885AD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:44]
693*2^1410246-1 is not prime.  Res64: D87EFE973E43E343  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:45]
683*2^1410246-1 is not prime.  Res64: CB11A9024A19BB34  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:46]
851*2^1410246-1 is not prime.  Res64: EB53D531957406F9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:33:46]
741*2^1410246-1 is not prime.  Res64: 7C7D685F27ED23CC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:30]
923*2^1410246-1 is not prime.  Res64: A7125C82413187A4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:34]
973*2^1410247-1 is not prime.  Res64: 538E6D01AD74574D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:36]
859*2^1410247-1 is not prime.  Res64: 97B9E397527C58B6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:38]
993*2^1410247-1 is not prime.  Res64: 039CC45B3C861D60  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:40]
871*2^1410247-1 is not prime.  Res64: 0FCD03FC47B69DA6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 03:51:46]
945*2^1410246-1 is not prime.  Res64: B55BEE00BFBE5026  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:09:58]
659*2^1410248-1 is not prime.  Res64: 9F180D0A3222D0CA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:09:59]
747*2^1410248-1 is not prime.  Res64: 48B7C0B45FBE8E0B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:10:04]
753*2^1410248-1 is not prime.  Res64: 068E4F7EADC11581  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:10:05]
837*2^1410248-1 is not prime.  Res64: 4C99AF9C01FDA67D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:27:34]
945*2^1410248-1 is not prime.  Res64: 8915F08473098127  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:27:35]
995*2^1410248-1 is not prime.  Res64: 01DE199758F1EE96  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:27:43]
625*2^1410249-1 is not prime.  Res64: 571D3F72946099E1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:27:43]
627*2^1410249-1 is not prime.  Res64: A6BA0C2C7E1C616B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:45:05]
747*2^1410249-1 is not prime.  Res64: B24B5DE06F4EC155  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:45:06]
889*2^1410249-1 is not prime.  Res64: E87B3012DFB11F6C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:45:16]
949*2^1410249-1 is not prime.  Res64: D7D1CCA5ABAAFF79  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 04:45:17]
675*2^1410250-1 is not prime.  Res64: 1302784BEB9753F3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:02:37]
735*2^1410250-1 is not prime.  Res64: 9DE907804CFCAD8B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:02:38]
803*2^1410250-1 is not prime.  Res64: C87D82105DB0416F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:02:51]
631*2^1410251-1 is not prime.  Res64: 46DE45D910C99BDD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:02:52]
733*2^1410251-1 is not prime.  Res64: 263DB3250403A0C6  Time : 0.0 sec.
user=juhehe
[2015-09-26 05:06:49]
713*2^1410250-1 is not prime.  Res64: 2CB5DAC54E3B89A3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:20:20]
753*2^1410251-1 is not prime.  Res64: 1C7F9BE6848734A0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:20:20]
789*2^1410251-1 is not prime.  Res64: 165C240C868785AE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:20:21]
811*2^1410251-1 is not prime.  Res64: 644875E6065971E8  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:20:22]
909*2^1410251-1 is not prime.  Res64: 044518EF7762CE1A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:23:36]
719*2^1410252-1 is not prime.  Res64: 8D9641AD2280191B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:23:37]
777*2^1410252-1 is not prime.  Res64: 6E5D88AEB3602B63  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:37:46]
867*2^1410252-1 is not prime.  Res64: 3164DEBF4FCC1EAE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:37:47]
903*2^1410252-1 is not prime.  Res64: 0A4AF31A42DFB3A4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:37:48]
945*2^1410252-1 is not prime.  Res64: 6ACD3A38A8973AAD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:37:49]
975*2^1410252-1 is not prime.  Res64: 0A036CB9F03FDBF9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:41:02]
607*2^1410253-1 is not prime.  Res64: 45FC173DEDC94A81  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:41:02]
715*2^1410253-1 is not prime.  Res64: B12BC898D9EC0825  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:55:13]
915*2^1410253-1 is not prime.  Res64: 86F152265DF1951A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:55:13]
721*2^1410253-1 is not prime.  Res64: 31E2BD6079554042  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:55:14]
801*2^1410253-1 is not prime.  Res64: 3B64E35919A79468  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:55:14]
981*2^1410253-1 is not prime.  Res64: FA3577854E34BF12  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:58:31]
687*2^1410254-1 is not prime.  Res64: 063570F3573D67FF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 05:58:32]
731*2^1410254-1 is not prime.  Res64: 8A8DE512E8C581D2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:12:38]
767*2^1410254-1 is not prime.  Res64: 17D19AFB4D182125  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:12:39]
873*2^1410254-1 is not prime.  Res64: F97B7E873844409D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:12:39]
887*2^1410254-1 is not prime.  Res64: CF3DAB290C35C624  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:12:40]
609*2^1410255-1 is not prime.  Res64: 2A18FB71946A3914  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:15:57]
649*2^1410255-1 is not prime.  Res64: BEA310440C0AFBDC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:15:58]
709*2^1410255-1 is not prime.  Res64: 7837FA2F81B84A94  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:30:18]
895*2^1410255-1 is not prime.  Res64: 5044D09CA1E00D4F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:30:18]
819*2^1410255-1 is not prime.  Res64: 8D5EE9E9F1088587  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:30:19]
823*2^1410255-1 is not prime.  Res64: 570D3E93BB151751  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:30:19]
909*2^1410255-1 is not prime.  Res64: F7481CC625F83007  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:33:23]
955*2^1410255-1 is not prime.  Res64: 71BBDBC1540C9C85  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:33:23]
705*2^1410256-1 is not prime.  Res64: 9C97351E3534BE6C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:47:44]
855*2^1410256-1 is not prime.  Res64: CAFA9C3ED0C3D197  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:47:44]
969*2^1410256-1 is not prime.  Res64: 1BBEB9B3F6241C90  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:47:46]
637*2^1410257-1 is not prime.  Res64: 3E1BB13C2B4DB646  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:47:47]
621*2^1410258-1 is not prime.  Res64: C8C5467149CB5CCB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:50:45]
633*2^1410258-1 is not prime.  Res64: 3D451D8D23C5FF6F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 06:50:46]
635*2^1410258-1 is not prime.  Res64: 3B56B92492BCCE90  Time : 0.0 sec.
user=juhehe
[2015-09-26 07:02:13]
803*2^1410256-1 is not prime.  Res64: 610BE4E32DDB335C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:05:12]
681*2^1410258-1 is not prime.  Res64: DE76DA26DBD62D41  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:05:13]
713*2^1410258-1 is not prime.  Res64: 2B12FEDDE2C10A01  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:05:14]
705*2^1410258-1 is not prime.  Res64: 8EC5F36472D0FDCF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:05:14]
801*2^1410258-1 is not prime.  Res64: 9DFD16ED73F891B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:08:13]
875*2^1410258-1 is not prime.  Res64: 7D0D69B950242076  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:08:14]
893*2^1410258-1 is not prime.  Res64: 289F5C6025EDD8AA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:23:05]
909*2^1410259-1 is not prime.  Res64: 0FB5E573D32F58F8  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:23:06]
663*2^1410259-1 is not prime.  Res64: F957A49A7328DD21  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:23:06]
931*2^1410259-1 is not prime.  Res64: 4580E32A37F9785C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:23:06]
675*2^1410259-1 is not prime.  Res64: 8B85D9B30FA4768B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:25:39]
973*2^1410259-1 is not prime.  Res64: 9AF5A1623BFD12FF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:25:39]
647*2^1410260-1 is not prime.  Res64: F848F484893A408F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:40:33]
929*2^1410260-1 is not prime.  Res64: 494EB3B9A2A380ED  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:40:33]
675*2^1410261-1 is not prime.  Res64: BF7B92800FB5E969  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:40:35]
759*2^1410260-1 is not prime.  Res64: DF81068436C57979  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:40:35]
825*2^1410260-1 is not prime.  Res64: 3B3BD270EE3A8803  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:43:06]
835*2^1410261-1 is not prime.  Res64: 1D3F98A50DCB119F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:43:07]
871*2^1410261-1 is not prime.  Res64: A03D8CCF56A4DDEF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:58:00]
717*2^1410262-1 is not prime.  Res64: 30D89B214ECC45D9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:58:01]
737*2^1410262-1 is not prime.  Res64: 66774B7F6E6438AB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:58:02]
937*2^1410261-1 is not prime.  Res64: 077D2A35BBE3CDDE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 07:58:02]
657*2^1410262-1 is not prime.  Res64: F2DD7A36A35A9CB8  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:00:31]
825*2^1410262-1 is not prime.  Res64: BD5808B6F5CF019F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:00:33]
987*2^1410262-1 is not prime.  Res64: 01E98802FD1B9AFD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:15:27]
693*2^1410263-1 is not prime.  Res64: 2954177A63B1BFE4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:15:28]
783*2^1410263-1 is not prime.  Res64: 72AF70A07B4AD143  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:15:28]
735*2^1410263-1 is not prime.  Res64: 11E4F599F56C7B38  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:15:28]
969*2^1410263-1 is not prime.  Res64: A535DD186C4B5CA1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:18:01]
985*2^1410263-1 is not prime.  Res64: 88B72A43FAFCB057  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:18:01]
719*2^1410264-1 is not prime.  Res64: 1612C717256E9F6A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:32:52]
795*2^1410264-1 is not prime.  Res64: 5F30FC8661A87E72  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:32:53]
737*2^1410264-1 is not prime.  Res64: 729E71C00AF706BF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:32:53]
905*2^1410264-1 is not prime.  Res64: CCFA56C6319F33B6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:32:53]
759*2^1410264-1 is not prime.  Res64: 91ECC19F05813247  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:35:25]
607*2^1410265-1 is not prime.  Res64: 5255A8B973B2B94B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:35:26]
817*2^1410265-1 is not prime.  Res64: 8979A13BD0F72DD9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:50:19]
951*2^1410265-1 is not prime.  Res64: A72DFFF3D60DCB20  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:50:19]
957*2^1410265-1 is not prime.  Res64: E0C9608D4B940F01  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:50:26]
641*2^1410266-1 is not prime.  Res64: 9F44D4AE033BE281  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:50:26]
671*2^1410266-1 is not prime.  Res64: 8DBC853558781197  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:52:51]
711*2^1410266-1 is not prime.  Res64: C8BF5114E5AB4506  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 08:52:52]
851*2^1410266-1 is not prime.  Res64: 400FBAA120C76C66  Time : 0.0 sec.
user=juhehe
[2015-09-26 08:56:56]
915*2^1410265-1 is not prime.  Res64: 0CC1561100665F1D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:07:47]
983*2^1410266-1 is not prime.  Res64: E346A8132342AE30  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:07:49]
987*2^1410266-1 is not prime.  Res64: 6127879B93C19DAE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:07:50]
621*2^1410267-1 is not prime.  Res64: 3234293042925F9C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:07:52]
703*2^1410267-1 is not prime.  Res64: 6C0D14EBB6199D12  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:10:33]
793*2^1410267-1 is not prime.  Res64: 4D984F9256BFCD55  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:26:07]
859*2^1410267-1 is not prime.  Res64: 4F2737E6711F76B8  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:26:08]
919*2^1410267-1 is not prime.  Res64: 32F0CB85EE784111  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:26:09]
945*2^1410267-1 is not prime.  Res64: B485B7786B7C0F58  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:26:10]
991*2^1410267-1 is not prime.  Res64: 138A610D209F807C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:43:39]
735*2^1410268-1 is not prime.  Res64: 03C83160A4988778  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:43:40]
827*2^1410268-1 is not prime.  Res64: 1EFEE4450D81FB7C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:43:41]
623*2^1410268-1 is not prime.  Res64: 8075186445E1BB14  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 09:43:41]
647*2^1410268-1 is not prime.  Res64: BE22D9349BE85711  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:01:08]
927*2^1410268-1 is not prime.  Res64: 15C973B905BBD3B2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:01:09]
999*2^1410268-1 is not prime.  Res64: 06B0D2E9F23432C0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:01:14]
711*2^1410269-1 is not prime.  Res64: C4A75D3FD8175BBA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:01:15]
721*2^1410269-1 is not prime.  Res64: B1776FF8D33B28C5  Time : 0.0 sec.
user=juhehe
[2015-09-26 10:12:58]
845*2^1410268-1 is not prime.  Res64: 89650A029E67D745  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:18:51]
745*2^1410269-1 is not prime.  Res64: B83D877AAAE570A7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:18:51]
825*2^1410269-1 is not prime.  Res64: 57950153E69357D3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:18:52]
837*2^1410269-1 is not prime.  Res64: 5568580365EEE249  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:18:53]
885*2^1410269-1 is not prime.  Res64: 9BFA109791CD87F9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:24:52]
825*2^1410267-1 is not prime.  Res64: A1850D3769A73348  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:36:17]
889*2^1410269-1 is not prime.  Res64: 76EC6FDA87609F0D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:36:17]
897*2^1410269-1 is not prime.  Res64: A02850FF1237D736  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:36:21]
949*2^1410269-1 is not prime.  Res64: 04F7E03BE16A57B0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:36:22]
985*2^1410269-1 is not prime.  Res64: 42E2A5EF6C42224E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:42:14]
651*2^1410270-1 is not prime.  Res64: 1F2200F6A4D20C0D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:42:15]
725*2^1410270-1 is not prime.  Res64: 20EB3168643A9A58  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:53:40]
783*2^1410270-1 is not prime.  Res64: A77AACE18A92FB59  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:53:40]
917*2^1410270-1 is not prime.  Res64: 44EF4B858A8C53B5  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:53:44]
615*2^1410271-1 is not prime.  Res64: A36EF9DD20BB209C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:53:45]
673*2^1410271-1 is not prime.  Res64: 4C40BE5507F18A88  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:59:37]
675*2^1410271-1 is not prime.  Res64: C9733B81562E215A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 10:59:37]
885*2^1410271-1 is not prime.  Res64: 9C3E94C0CFD8CC62  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:11:03]
943*2^1410271-1 is not prime.  Res64: 7BF8639DB8A3CEE0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:11:04]
615*2^1410272-1 is not prime.  Res64: 5EBFC36B8DF15BEA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:11:08]
633*2^1410272-1 is not prime.  Res64: A0E2EEC735951313  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:11:09]
645*2^1410272-1 is not prime.  Res64: C7157F9F323DF667  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:17:04]
719*2^1410272-1 is not prime.  Res64: AD3274D5953F8D0E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:17:04]
753*2^1410272-1 is not prime.  Res64: BCED0ADD2952C88D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:28:44]
855*2^1410272-1 is not prime.  Res64: 5B8C8D9C960D9C7A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:28:44]
873*2^1410272-1 is not prime.  Res64: 1924919EEB56715C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:28:45]
657*2^1410273-1 is not prime.  Res64: FFCD908808F2D391  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:28:45]
889*2^1410273-1 is not prime.  Res64: C3E6D586BD5023B0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:34:28]
895*2^1410273-1 is not prime.  Res64: 2790A4411BC80E65  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:34:29]
985*2^1410273-1 is not prime.  Res64: AE76B6E03765BD79  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:46:08]
999*2^1410273-1 is not prime.  Res64: F4D5AAAB2999E950  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:46:09]
635*2^1410274-1 is not prime.  Res64: D32F88E546255629  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:46:20]
677*2^1410274-1 is not prime.  Res64: 72F69009DF4AD292  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:46:20]
717*2^1410274-1 is not prime.  Res64: FF046F45A323902B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:51:52]
831*2^1410274-1 is not prime.  Res64: 286DDE0FD3664E25  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 11:51:53]
917*2^1410274-1 is not prime.  Res64: 27F9321C75400B68  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:03:33]
945*2^1410274-1 is not prime.  Res64: 5854FD9B5884ABA5  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:03:36]
1001*2^1410274-1 is not prime.  Res64: B6BFEF09196B8A2E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:03:44]
633*2^1410275-1 is not prime.  Res64: 8E2FFD86096FFE93  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:03:46]
753*2^1410275-1 is not prime.  Res64: 361DD775FC1BC7C5  Time : 0.0 sec.
user=juhehe
[2015-09-26 12:08:43]
747*2^1410274-1 is not prime.  Res64: 6B09611FE0FABFD9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:09:18]
841*2^1410275-1 is not prime.  Res64: 14FC346DDA9661F1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:09:20]
861*2^1410275-1 is not prime.  Res64: 12AF001588C1BDDD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:21:11]
969*2^1410275-1 is not prime.  Res64: 90EE89EEFEACE2F6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:21:12]
657*2^1410276-1 is not prime.  Res64: 8D287DCAD035DCD2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:21:12]
759*2^1410276-1 is not prime.  Res64: 8494E567A8E04076  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:21:13]
845*2^1410276-1 is not prime.  Res64: 7A536572FC2B2595  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:27:13]
923*2^1410276-1 is not prime.  Res64: 9CE771073A47AF6D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:27:13]
751*2^1410277-1 is not prime.  Res64: CD9875137A45F799  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:38:37]
801*2^1410277-1 is not prime.  Res64: 93672BAC50FA9D50  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:38:37]
831*2^1410277-1 is not prime.  Res64: 555C144F7A40A2BC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:38:37]
765*2^1410277-1 is not prime.  Res64: A8BE5A6CAEDB83D3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:38:38]
799*2^1410277-1 is not prime.  Res64: 8FFA6D0810ED788E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:44:37]
901*2^1410277-1 is not prime.  Res64: EAC3E08975C9663B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:44:37]
927*2^1410277-1 is not prime.  Res64: 7CAB91C9EBF4AB2A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:56:01]
603*2^1410278-1 is not prime.  Res64: 1C8258E9548D78A1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:56:01]
641*2^1410278-1 is not prime.  Res64: E1B53D3D7389506B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:56:01]
707*2^1410278-1 is not prime.  Res64: A76DCC7C68118A1B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 12:56:02]
797*2^1410278-1 is not prime.  Res64: E0695BBD113538BD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:02:01]
845*2^1410278-1 is not prime.  Res64: 95CCC5AFFE101AE6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:02:02]
923*2^1410278-1 is not prime.  Res64: 51E2B0519C551223  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:13:25]
661*2^1410279-1 is not prime.  Res64: C79857C1FB607DAB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:13:27]
705*2^1410279-1 is not prime.  Res64: 1907069B277B3139  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:13:27]
721*2^1410279-1 is not prime.  Res64: 2C8C9EC79509215C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:13:29]
793*2^1410279-1 is not prime.  Res64: 8A44852DDDA498E2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:19:42]
645*2^1410280-1 is not prime.  Res64: 4049CB80B570E0A6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:19:42]
675*2^1410280-1 is not prime.  Res64: E1B4824C2CE86AC3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:31:00]
677*2^1410280-1 is not prime.  Res64: 9867C33316EC0650  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:31:00]
765*2^1410280-1 is not prime.  Res64: 7528D006304104B0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:31:03]
813*2^1410280-1 is not prime.  Res64: 2FA0F60AF23523CD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:31:04]
915*2^1410280-1 is not prime.  Res64: FAB046BB365EE113  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:37:06]
975*2^1410280-1 is not prime.  Res64: 61532D068A0F4A3E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:37:06]
615*2^1410281-1 is not prime.  Res64: E20A2A627683CB35  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:48:23]
715*2^1410281-1 is not prime.  Res64: D06EFBC5CA12C5B1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:48:24]
741*2^1410281-1 is not prime.  Res64: 5B31F3B19FD056FD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:48:26]
939*2^1410281-1 is not prime.  Res64: B5150B365C8E0274  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:48:27]
633*2^1410282-1 is not prime.  Res64: D116ECD269C94172  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:54:29]
705*2^1410282-1 is not prime.  Res64: 6C6400113D0BD057  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 13:54:29]
767*2^1410282-1 is not prime.  Res64: 4A8EFE69F38385ED  Time : 0.0 sec.
user=juhehe
[2015-09-26 14:02:08]
679*2^1410281-1 is not prime.  Res64: 144A480EA7D3BC99  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:05:48]
615*2^1410283-1 is not prime.  Res64: D3863C8F7B643E11  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:05:51]
673*2^1410283-1 is not prime.  Res64: 7028A6764CB759CF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:05:52]
741*2^1410283-1 is not prime.  Res64: CE262AB934508869  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:05:53]
765*2^1410283-1 is not prime.  Res64: 64F28AE2B1AA66BA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:11:53]
783*2^1410283-1 is not prime.  Res64: 778BE2CF898D9E11  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:11:54]
819*2^1410283-1 is not prime.  Res64: 3BE76C765F1CB13A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:23:25]
891*2^1410283-1 is not prime.  Res64: C5D52F53782D1545  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:23:26]
901*2^1410283-1 is not prime.  Res64: CC07261C897DDB6A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:23:28]
915*2^1410283-1 is not prime.  Res64: 5D58EEB5EA895608  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:23:28]
973*2^1410283-1 is not prime.  Res64: C9141FE87E72DDA7  Time : 0.0 sec.
user=juhehe
[2015-09-26 14:24:39]
873*2^1410282-1 is not prime.  Res64: 0EE8377648D309BD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:29:28]
657*2^1410284-1 is not prime.  Res64: 359D2B9EBEA6F488  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:29:29]
725*2^1410284-1 is not prime.  Res64: EA69D6519E0DD68B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:40:49]
789*2^1410284-1 is not prime.  Res64: 8654A038C82FABCD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:40:49]
827*2^1410284-1 is not prime.  Res64: E08E75B315C16712  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:40:50]
837*2^1410284-1 is not prime.  Res64: 33B65859E0EFCA7A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:40:50]
875*2^1410284-1 is not prime.  Res64: 603EC12AE8B0168C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:46:51]
727*2^1410285-1 is not prime.  Res64: 24B3EC1ED88E8133  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:46:52]
765*2^1410285-1 is not prime.  Res64: 8DA87286CCF40DBE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:58:12]
805*2^1410285-1 is not prime.  Res64: 74ED871ECF935274  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:58:12]
825*2^1410285-1 is not prime.  Res64: BB7A3CC22C20E5FA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:58:12]
781*2^1410285-1 is not prime.  Res64: 2478DA1FAF383A0F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 14:58:13]
789*2^1410285-1 is not prime.  Res64: 5E1F8B749556034B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:04:14]
877*2^1410285-1 is not prime.  Res64: 78072D0AA0D71218  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:04:16]
885*2^1410285-1 is not prime.  Res64: A3B227869971F279  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:15:35]
705*2^1410286-1 is not prime.  Res64: 36A6E5206219A296  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:15:36]
923*2^1410286-1 is not prime.  Res64: E2CF7E05DF496C94  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:15:36]
887*2^1410286-1 is not prime.  Res64: 086988FDB2A02CAD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:15:36]
945*2^1410286-1 is not prime.  Res64: 49A1DB6B69F0C606  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:22:04]
957*2^1410286-1 is not prime.  Res64: 51D107C21B3B3476  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:22:04]
651*2^1410287-1 is not prime.  Res64: 3873BE136FC4B38C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:33:01]
711*2^1410287-1 is not prime.  Res64: EA6C85D7A3D89811  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:33:01]
895*2^1410287-1 is not prime.  Res64: 6D4BF6814FAADCC5  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:33:01]
885*2^1410287-1 is not prime.  Res64: 889EF045C992A01F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:33:01]
627*2^1410288-1 is not prime.  Res64: BAEF3793D2A530DB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:39:27]
797*2^1410288-1 is not prime.  Res64: ACDFAA7843D45461  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:39:27]
815*2^1410288-1 is not prime.  Res64: BC81C42224D9C538  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:50:24]
839*2^1410288-1 is not prime.  Res64: 8DC62A285A2950AD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:50:24]
899*2^1410288-1 is not prime.  Res64: 0B9FC8922EF2F062  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:50:25]
947*2^1410288-1 is not prime.  Res64: 76E6FFE4D6D635D6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:50:26]
969*2^1410288-1 is not prime.  Res64: 93B77F4C15F0F487  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:56:51]
729*2^1410289-1 is not prime.  Res64: 88364A89564A633C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 15:56:51]
745*2^1410289-1 is not prime.  Res64: 4164F08991A51F01  Time : 0.0 sec.
user=juhehe
[2015-09-26 15:58:02]
683*2^1410288-1 is not prime.  Res64: C5B126D1B2F61C3D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:07:48]
861*2^1410289-1 is not prime.  Res64: 034B46D176D90617  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:07:49]
987*2^1410289-1 is not prime.  Res64: 214065D69EF71392  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:07:50]
999*2^1410289-1 is not prime.  Res64: B737055F3C1A6D58  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:07:50]
939*2^1410289-1 is not prime.  Res64: E48789E4A06A7550  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:14:16]
741*2^1410290-1 is not prime.  Res64: 19A51F6D9AA447FE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:14:16]
797*2^1410290-1 is not prime.  Res64: 2E1F092A4106BACA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:25:21]
977*2^1410290-1 is not prime.  Res64: CE754234E061D58D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:25:22]
625*2^1410291-1 is not prime.  Res64: A4C3D7F02D981B69  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:25:22]
895*2^1410291-1 is not prime.  Res64: A6DAF12EC1E15C3E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:25:23]
665*2^1410292-1 is not prime.  Res64: FC9AF349A5DE075A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:31:39]
695*2^1410292-1 is not prime.  Res64: F27EAE4633B6E153  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:31:40]
723*2^1410292-1 is not prime.  Res64: 98CE8579D19ED75C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:42:44]
765*2^1410292-1 is not prime.  Res64: E1B2A3401ED1D435  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:42:45]
873*2^1410292-1 is not prime.  Res64: 6F30336029A54B4C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:42:45]
855*2^1410292-1 is not prime.  Res64: 7EF88D0DA58699C8  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:42:45]
897*2^1410292-1 is not prime.  Res64: 65EABF0D67F97CAF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:49:03]
657*2^1410293-1 is not prime.  Res64: 099B69E4A307D5D0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 16:49:03]
727*2^1410293-1 is not prime.  Res64: 9A7116C54BA47F8E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:00:10]
787*2^1410293-1 is not prime.  Res64: 2D8CC1C71CBA66FC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:00:11]
847*2^1410293-1 is not prime.  Res64: 4A19771E2E2CF05D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:00:12]
741*2^1410293-1 is not prime.  Res64: 06AF65E01DD0EE90  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:00:12]
745*2^1410293-1 is not prime.  Res64: CDDD0C38B95DD7E9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:06:29]
885*2^1410293-1 is not prime.  Res64: 1F61494B862D247D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:06:31]
611*2^1410294-1 is not prime.  Res64: 8D576150EAE3417D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:17:35]
797*2^1410294-1 is not prime.  Res64: 9032236CBE6D9663  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:17:35]
807*2^1410294-1 is not prime.  Res64: 86A6D05AB71B76DA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:17:36]
663*2^1410294-1 is not prime.  Res64: 7C1E250F8B2DCFE3  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:17:37]
681*2^1410294-1 is not prime.  Res64: 78FCEBDB7A6065BC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:24:18]
825*2^1410294-1 is not prime.  Res64: 8CC779355A532945  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:24:18]
861*2^1410294-1 is not prime.  Res64: A27E97DEA4290B3B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:34:57]
673*2^1410295-1 is not prime.  Res64: 8EDEB6E9428DE8FB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:34:58]
693*2^1410295-1 is not prime.  Res64: 6FC6A59C29BE4A0F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:34:58]
705*2^1410295-1 is not prime.  Res64: 460FD1DDEF8AE22C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:34:59]
789*2^1410295-1 is not prime.  Res64: AC111BFE6A9D7C82  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:41:40]
843*2^1410295-1 is not prime.  Res64: 121126ED47038E0F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:41:40]
919*2^1410295-1 is not prime.  Res64: B317D58FF62BDCE2  Time : 0.0 sec.
user=juhehe
[2015-09-26 17:52:20]
1001*2^1410294-1 is not prime.  Res64: 4802684C81856465  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:52:22]
879*2^1410296-1 is not prime.  Res64: 0AED2BF65B50D33B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:52:22]
969*2^1410296-1 is not prime.  Res64: E602644E0715D041  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:52:26]
651*2^1410297-1 is not prime.  Res64: E12B5ECF06DA175C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:52:27]
819*2^1410297-1 is not prime.  Res64: C5ADC8D9171D2F32  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:59:03]
861*2^1410297-1 is not prime.  Res64: 95D1D8C2A99F8442  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 17:59:04]
909*2^1410297-1 is not prime.  Res64: 30CB8DDF3082932C  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:09:48]
949*2^1410297-1 is not prime.  Res64: A8BDA8DC873ACB8D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:09:49]
997*2^1410297-1 is not prime.  Res64: AD6D6AE2751CCE28  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:09:51]
737*2^1410298-1 is not prime.  Res64: 63E31EB3481A100E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:09:52]
813*2^1410298-1 is not prime.  Res64: F003FEDD166FBFDA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:16:31]
825*2^1410298-1 is not prime.  Res64: 5587863C18DFF280  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:16:31]
831*2^1410298-1 is not prime.  Res64: B30DD5CB8B27F1C4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:27:19]
993*2^1410298-1 is not prime.  Res64: BBBEF5A322F69E19  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:27:19]
995*2^1410298-1 is not prime.  Res64: D520B4EC8DD15A1A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:27:24]
643*2^1410299-1 is not prime.  Res64: D250D608FC276FE9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:27:24]
693*2^1410299-1 is not prime.  Res64: 2C753AA8A6A423B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:34:05]
759*2^1410299-1 is not prime.  Res64: 896F2F11354E99E6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:34:05]
813*2^1410299-1 is not prime.  Res64: 65B5A9862C0CB57B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:44:57]
859*2^1410299-1 is not prime.  Res64: FE94049EA6F45857  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:44:58]
693*2^1410300-1 is not prime.  Res64: B87CA113584160BB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:45:03]
735*2^1410300-1 is not prime.  Res64: DBBDC4B632A4F400  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:45:03]
779*2^1410300-1 is not prime.  Res64: CACBE5A5131B2DE7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:51:46]
795*2^1410300-1 is not prime.  Res64: 92A6C47D6AE9AB5A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 18:51:46]
839*2^1410300-1 is not prime.  Res64: 236463536F33B3BE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:02:42]
887*2^1410300-1 is not prime.  Res64: EC86A2DA86E311C2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:02:42]
607*2^1410301-1 is not prime.  Res64: 3EAA02440AE34AF4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:02:47]
615*2^1410301-1 is not prime.  Res64: 85B3E9973CFBFFAE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:02:48]
681*2^1410301-1 is not prime.  Res64: 68658B632AA85E87  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:09:24]
867*2^1410301-1 is not prime.  Res64: 066133814613D656  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:09:25]
871*2^1410301-1 is not prime.  Res64: E78D6DAB66BB2B97  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:20:06]
955*2^1410301-1 is not prime.  Res64: E914D41B3770C266  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:20:06]
617*2^1410302-1 is not prime.  Res64: 052D9C5FFE744C20  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:20:11]
747*2^1410302-1 is not prime.  Res64: F1542D4C9C1AE09A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:20:12]
753*2^1410302-1 is not prime.  Res64: C6FEDAAE7B2B96BA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:26:58]
755*2^1410302-1 is not prime.  Res64: C61B96212D38029F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:26:59]
825*2^1410302-1 is not prime.  Res64: 7E25E4AD20DDCABA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:37:29]
843*2^1410302-1 is not prime.  Res64: D5E3D2EA4AE7F140  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:37:29]
963*2^1410302-1 is not prime.  Res64: FF4E2BB52BBB2F35  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:37:36]
661*2^1410303-1 is not prime.  Res64: 46B7A03159B3B915  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:37:36]
679*2^1410303-1 is not prime.  Res64: 23E1B4D35FA6B62A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:44:20]
949*2^1410303-1 is not prime.  Res64: BE4D6D7C21A6BD78  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:44:20]
969*2^1410303-1 is not prime.  Res64: 2341A4159A558A6E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:54:51]
849*2^1410304-1 is not prime.  Res64: 9284E1DA7A460AD2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:54:51]
873*2^1410304-1 is not prime.  Res64: 1490181EC554D191  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:54:57]
927*2^1410304-1 is not prime.  Res64: 305AA0A8A00F0C7E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 19:54:58]
959*2^1410304-1 is not prime.  Res64: F0A3ED85DEAACB37  Time : 0.0 sec.
user=juhehe
[2015-09-26 20:01:24]
827*2^1410302-1 is not prime.  Res64: B256BEF438FA142B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:01:44]
989*2^1410304-1 is not prime.  Res64: 7D65CFE006E3115E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:01:45]
657*2^1410305-1 is not prime.  Res64: F28AF6EC168CD528  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:12:16]
685*2^1410305-1 is not prime.  Res64: 2FFAD1422DC7820E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:12:17]
717*2^1410305-1 is not prime.  Res64: 5E2EF9DB47652AFF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:12:24]
729*2^1410305-1 is not prime.  Res64: BAFB57C1F5C709EE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:12:25]
771*2^1410305-1 is not prime.  Res64: 2F4CB313950E24E6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:19:11]
981*2^1410305-1 is not prime.  Res64: E9CC0AA2811013FA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:19:11]
985*2^1410305-1 is not prime.  Res64: 7668A4D94BB98EDD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:29:58]
641*2^1410306-1 is not prime.  Res64: 9B549DB005A1C46E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:29:58]
633*2^1410306-1 is not prime.  Res64: D90C36D5FDEFA990  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:29:58]
671*2^1410306-1 is not prime.  Res64: E6F97F3B4648F08B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:29:58]
635*2^1410306-1 is not prime.  Res64: A8DB3422C1C06340  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:36:33]
713*2^1410306-1 is not prime.  Res64: 55C58242C35D248F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:36:34]
803*2^1410306-1 is not prime.  Res64: 4C098E34A58AE6B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:47:20]
875*2^1410306-1 is not prime.  Res64: 0D99C99353DEDCEA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:47:20]
905*2^1410306-1 is not prime.  Res64: E8491F1EB67662F9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:47:20]
963*2^1410306-1 is not prime.  Res64: F6F9FC12C67D3B81  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:47:21]
609*2^1410307-1 is not prime.  Res64: 62DD17390BE02F55  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:53:56]
849*2^1410307-1 is not prime.  Res64: 598D72EF31B4F93D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 20:53:57]
873*2^1410307-1 is not prime.  Res64: 3E1ECBEA6FB1124E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:04:45]
925*2^1410307-1 is not prime.  Res64: B3338E38F21556F1  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:04:47]
975*2^1410307-1 is not prime.  Res64: 845773552B1B4BD9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:04:47]
909*2^1410307-1 is not prime.  Res64: DFADE1EFF1FB9A39  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:04:49]
919*2^1410307-1 is not prime.  Res64: 34ECCDEFD437F469  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:11:21]
979*2^1410307-1 is not prime.  Res64: 804C671A6218EAB7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:11:22]
617*2^1410308-1 is not prime.  Res64: 3B65A2BE057BFF18  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:22:10]
735*2^1410308-1 is not prime.  Res64: 63DC279EB89C701B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:22:11]
869*2^1410308-1 is not prime.  Res64: 92D4C2A48D74BDA4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:22:11]
909*2^1410308-1 is not prime.  Res64: 658D8E0684505A81  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:22:12]
999*2^1410308-1 is not prime.  Res64: F2EE552536FA22EE  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:28:52]
609*2^1410309-1 is not prime.  Res64: CE6CF74CD586D710  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:28:53]
655*2^1410309-1 is not prime.  Res64: 3DAAE171BAB04174  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:39:35]
885*2^1410309-1 is not prime.  Res64: 75A76AC99C70519E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:39:35]
817*2^1410309-1 is not prime.  Res64: 7582287B8D9763AB  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:39:35]
961*2^1410309-1 is not prime.  Res64: 511FEE49C237A3EC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:39:35]
861*2^1410309-1 is not prime.  Res64: D81C7876E6CCA686  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:46:16]
969*2^1410309-1 is not prime.  Res64: 16B527A2D5B0C347  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:46:16]
681*2^1410310-1 is not prime.  Res64: D9E36A5E90466BAD  Time : 0.0 sec.
user=juhehe
[2015-09-26 21:54:26]
711*2^1410309-1 is not prime.  Res64: A5F0185C0EA3E88F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:56:58]
723*2^1410310-1 is not prime.  Res64: 3F660522560C5985  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:56:59]
741*2^1410310-1 is not prime.  Res64: DBB206F8F799D6C7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:56:59]
791*2^1410310-1 is not prime.  Res64: 76987E72705FACDA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 21:56:59]
827*2^1410310-1 is not prime.  Res64: 961058FCC3FED8E4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:03:41]
897*2^1410310-1 is not prime.  Res64: F1F6C0B78FBE9780  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:03:43]
941*2^1410310-1 is not prime.  Res64: 187DD6D8E2E8BA70  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:14:22]
703*2^1410311-1 is not prime.  Res64: 37F54EB16D006C00  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:14:22]
957*2^1410310-1 is not prime.  Res64: 012DAEEEC8FB7BCA  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:14:23]
975*2^1410310-1 is not prime.  Res64: 2F59518A4FEAA06B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:14:23]
745*2^1410311-1 is not prime.  Res64: BE1AF6E86824ECE0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:21:07]
759*2^1410311-1 is not prime.  Res64: 6E44E84BBF4ACBF9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:21:08]
783*2^1410311-1 is not prime.  Res64: 227119F47292F2B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:31:49]
805*2^1410311-1 is not prime.  Res64: B09FF04DF970D6F9  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:31:49]
969*2^1410311-1 is not prime.  Res64: 138699E239F214BF  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:31:51]
665*2^1410312-1 is not prime.  Res64: AF790E36C8CB9F35  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:31:51]
899*2^1410312-1 is not prime.  Res64: FB8A664FAFC93BAD  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:38:35]
649*2^1410313-1 is not prime.  Res64: 24F5917BFFBC359B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:38:35]
675*2^1410313-1 is not prime.  Res64: BCC1CA1F8B569998  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:49:17]
769*2^1410313-1 is not prime.  Res64: 3089B2DBC3F37DB5  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:49:17]
951*2^1410313-1 is not prime.  Res64: 5967A4676CD3EDFC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:49:17]
855*2^1410313-1 is not prime.  Res64: 8E33E97C2D27AC94  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:49:17]
815*2^1410314-1 is not prime.  Res64: 968D5E37A3F8B98F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:56:02]
851*2^1410314-1 is not prime.  Res64: 87D201FB7DD2E602  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 22:56:02]
945*2^1410314-1 is not prime.  Res64: DDE7562B01AFB831  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:06:45]
609*2^1410315-1 is not prime.  Res64: E7E5CAA2C645B898  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:06:47]
625*2^1410315-1 is not prime.  Res64: 5171CA3376C2F6AC  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:06:49]
649*2^1410315-1 is not prime.  Res64: 59B08BBBE93F8F05  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:06:51]
663*2^1410315-1 is not prime.  Res64: 103C97516F8A41C4  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:13:30]
735*2^1410315-1 is not prime.  Res64: 31416B243DADB9A7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:13:31]
789*2^1410315-1 is not prime.  Res64: B9E01251B480A435  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:24:52]
805*2^1410315-1 is not prime.  Res64: 13B920929288F6D0  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:24:52]
859*2^1410315-1 is not prime.  Res64: 9737E0305B5268C2  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:24:52]
849*2^1410315-1 is not prime.  Res64: BD1B1C2AF943775A  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:24:52]
603*2^1410316-1 is not prime.  Res64: 81DF208CDC2B07B7  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:30:58]
657*2^1410316-1 is not prime.  Res64: 5FBD28D255747713  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:30:58]
765*2^1410316-1 is not prime.  Res64: 1C1695F12164F981  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:42:17]
803*2^1410316-1 is not prime.  Res64: 0BAD28596387ED3D  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:42:17]
927*2^1410316-1 is not prime.  Res64: 456C77BEC5E10E6E  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:42:20]
987*2^1410316-1 is not prime.  Res64: AA854F5FA0276097  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:42:20]
601*2^1410317-1 is not prime.  Res64: EF2D3A4699575017  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:48:23]
631*2^1410317-1 is not prime.  Res64: 28A077CF4982C57B  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:48:23]
651*2^1410317-1 is not prime.  Res64: 58EB610FAE544EC6  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:59:46]
699*2^1410317-1 is not prime.  Res64: FD095494F9DD1C12  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:59:46]
825*2^1410317-1 is not prime.  Res64: C4C171121636248F  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:59:49]
889*2^1410317-1 is not prime.  Res64: 75B8F5A373184329  Time : 0.0 sec.
user=mdettweiler
[2015-09-26 23:59:49]
671*2^1410318-1 is not prime.  Res64: C49FD2087928F725  Time : 0.0 sec.