user=mdettweiler
[2015-04-06 00:03:19]
909*2^1396987-1 is not prime.  Res64: C4FAC43C09B9F8B5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:03:20]
939*2^1396987-1 is not prime.  Res64: C12FB2F7F61AD838  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:03:44]
859*2^1396987-1 is not prime.  Res64: 068C59B7AF6B0A0E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:03:45]
861*2^1396987-1 is not prime.  Res64: 12BAAC1DF1DFC573  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:05:04]
961*2^1396987-1 is not prime.  Res64: 1ECB7B2DE296A952  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:05:05]
699*2^1396988-1 is not prime.  Res64: 96895D6FF4C46036  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:18:44]
755*2^1396988-1 is not prime.  Res64: 3AEC0E40CE772284  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:18:45]
767*2^1396988-1 is not prime.  Res64: 8771AF98C9925D19  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:32:53]
773*2^1396988-1 is not prime.  Res64: 62C00A6387869507  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:32:54]
959*2^1396988-1 is not prime.  Res64: 6F3A93FAA2A3CDB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:33:01]
977*2^1396988-1 is not prime.  Res64: 7730B2847E57CB41  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:33:02]
627*2^1396989-1 is not prime.  Res64: 0B1FED66747CD8F7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:33:21]
675*2^1396989-1 is not prime.  Res64: 40911F41E7AB11E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:33:21]
685*2^1396989-1 is not prime.  Res64: 47214BD5BA2CDA17  Time : 0.0 sec.
user=juhehe
[2015-04-06 00:45:06]
795*2^1396989-1 is not prime.  Res64: FF3BF929B6645DE4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:46:24]
831*2^1396989-1 is not prime.  Res64: EED3B7DBFA6FDA30  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:46:24]
885*2^1396989-1 is not prime.  Res64: B4DFE33C24DB6BA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:59:33]
969*2^1396989-1 is not prime.  Res64: D6D36F5F46618C98  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:59:34]
979*2^1396989-1 is not prime.  Res64: 0EB9434A901B2313  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:59:55]
985*2^1396989-1 is not prime.  Res64: 0FB7CC469C0AE646  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 00:59:55]
997*2^1396989-1 is not prime.  Res64: 955CCEA4A4896644  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:00:09]
681*2^1396990-1 is not prime.  Res64: B0AACF048F083D46  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:00:10]
741*2^1396990-1 is not prime.  Res64: A9F5A189CFF716A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:13:09]
783*2^1396990-1 is not prime.  Res64: 455D3C9B4B7FBE9D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:13:09]
885*2^1396990-1 is not prime.  Res64: 526DFAD08F7AB2B1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:26:41]
635*2^1396992-1 is not prime.  Res64: FFB380B695F9CAA9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:26:42]
741*2^1396993-1 is not prime.  Res64: EF79C52634F3C4E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:27:08]
831*2^1396993-1 is not prime.  Res64: 9C8116D65EF1F030  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:27:09]
885*2^1396993-1 is not prime.  Res64: 29B93690FFA9E9A0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:27:30]
937*2^1396993-1 is not prime.  Res64: F23504DF9C1D45FF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:27:32]
987*2^1396993-1 is not prime.  Res64: 2948878C64CF3220  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:39:59]
617*2^1396994-1 is not prime.  Res64: E9FCDB60DBE41C89  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:40:00]
755*2^1396994-1 is not prime.  Res64: B9C15C2AA2ACEEEB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:53:04]
767*2^1396994-1 is not prime.  Res64: 439E29C028D07B25  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:53:04]
785*2^1396994-1 is not prime.  Res64: 93249190AD70B601  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:53:10]
825*2^1396994-1 is not prime.  Res64: F9E24E124E98FEA8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:53:10]
885*2^1396994-1 is not prime.  Res64: B4A513830386283E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:54:00]
921*2^1396994-1 is not prime.  Res64: F56BAAB5E0025750  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 01:54:01]
923*2^1396994-1 is not prime.  Res64: B95C0D2A7934A3DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:06:34]
651*2^1396995-1 is not prime.  Res64: E512796550D0E92F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:06:35]
921*2^1396995-1 is not prime.  Res64: C26C9CA7E4872C39  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:19:38]
951*2^1396995-1 is not prime.  Res64: B0D5E17B59FD5E12  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:19:39]
629*2^1396996-1 is not prime.  Res64: C9DD7D295EFFB28D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:19:49]
657*2^1396996-1 is not prime.  Res64: EE35BF292752A391  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:19:49]
675*2^1396996-1 is not prime.  Res64: AD7C1A831C9070EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:20:32]
677*2^1396996-1 is not prime.  Res64: 437A844C8EB1C80F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:20:32]
735*2^1396996-1 is not prime.  Res64: 9379E9862B2D2991  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:32:49]
857*2^1396996-1 is not prime.  Res64: AC2E78D54489CCC4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:32:50]
905*2^1396996-1 is not prime.  Res64: 85C45E57A78EEAD7  Time : 0.0 sec.
user=juhehe
[2015-04-06 02:36:46]
825*2^1396996-1 is not prime.  Res64: 70AB95B240FB1330  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:45:58]
975*2^1396996-1 is not prime.  Res64: CE9945B30A8192D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:45:59]
711*2^1396997-1 is not prime.  Res64: 1C899E5CE8666C3A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:46:21]
757*2^1396997-1 is not prime.  Res64: 6F7C9B3418E1938E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:46:21]
759*2^1396997-1 is not prime.  Res64: 9684D45E021807B9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:46:40]
879*2^1396997-1 is not prime.  Res64: B7A8BBA88F28F817  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:46:41]
955*2^1396997-1 is not prime.  Res64: 62E157D12BB91819  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:59:15]
991*2^1396997-1 is not prime.  Res64: B2AFBDC19865C164  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 02:59:15]
641*2^1396998-1 is not prime.  Res64: 73F11447D94DA97F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:11:58]
695*2^1396998-1 is not prime.  Res64: 1735974873F8C8AC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:11:59]
725*2^1396998-1 is not prime.  Res64: 7CBCD077C392273E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:12:23]
867*2^1396998-1 is not prime.  Res64: 1EADDD1F1B88D9C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:12:23]
893*2^1396998-1 is not prime.  Res64: 1EE2356635B37B32  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:12:53]
915*2^1396998-1 is not prime.  Res64: D832895E53BD2927  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:12:54]
649*2^1396999-1 is not prime.  Res64: D0D7AA58F1A7D731  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:25:34]
705*2^1396999-1 is not prime.  Res64: 600159868F38BFE9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:25:35]
841*2^1396999-1 is not prime.  Res64: 934B563C69FA368E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:38:10]
939*2^1396999-1 is not prime.  Res64: ABECB7487CACF09D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:38:11]
605*2^1397000-1 is not prime.  Res64: 6810C5B54FD48BA5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:38:30]
699*2^1397000-1 is not prime.  Res64: 6DEBD5D64532B301  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:38:31]
725*2^1397000-1 is not prime.  Res64: 8BB03A6459413D74  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:39:14]
753*2^1397000-1 is not prime.  Res64: 4807A78ADB980405  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:39:15]
759*2^1397000-1 is not prime.  Res64: 6A34B10D88F210A5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:51:49]
777*2^1397000-1 is not prime.  Res64: 801BA44B3B9C0C79  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 03:51:50]
827*2^1397000-1 is not prime.  Res64: B161F68491E02FA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:04:33]
609*2^1397001-1 is not prime.  Res64: 58A448D3E5ADE13D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:04:39]
705*2^1397001-1 is not prime.  Res64: 3C6801A2CCFEDC2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:04:42]
839*2^1397000-1 is not prime.  Res64: 5AD207848CDDFC3E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:04:44]
945*2^1397000-1 is not prime.  Res64: 8734F1A60C44EE3A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:05:18]
717*2^1397001-1 is not prime.  Res64: 41416F11A2574643  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:05:19]
747*2^1397001-1 is not prime.  Res64: 9410ADB0092188C3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:17:57]
835*2^1397001-1 is not prime.  Res64: 0F6E5268E2AEA604  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:17:57]
877*2^1397001-1 is not prime.  Res64: F90E017B1CFA2D7B  Time : 0.0 sec.
user=juhehe
[2015-04-06 04:23:46]
811*2^1397001-1 is not prime.  Res64: DE70A37E527F6216  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:32:00]
783*2^1397003-1 is not prime.  Res64: 8E4C58CDC9926E42  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:32:01]
823*2^1397003-1 is not prime.  Res64: D518D1DD2F35C0FB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:32:03]
887*2^1397002-1 is not prime.  Res64: ABBF02CA72586818  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:32:03]
603*2^1397003-1 is not prime.  Res64: 21C2B0430EADC5B6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:33:06]
723*2^1397002-1 is not prime.  Res64: 7265A3313B67D56C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:33:06]
813*2^1397002-1 is not prime.  Res64: 0A12B89F98BAE68C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:45:04]
825*2^1397003-1 is not prime.  Res64: 7AE6EFB0545E7E95  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:45:05]
871*2^1397003-1 is not prime.  Res64: DC0DBA1DF64FDCB3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:58:12]
623*2^1397004-1 is not prime.  Res64: B148F05E553E43EA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:58:13]
913*2^1397003-1 is not prime.  Res64: BC873E26779B1A1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:58:13]
767*2^1397004-1 is not prime.  Res64: 5E376E3FA018D676  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:58:13]
985*2^1397003-1 is not prime.  Res64: A660B9EB9B6E0BEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:59:03]
837*2^1397004-1 is not prime.  Res64: 4363C4D01B10EAD1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 04:59:04]
857*2^1397004-1 is not prime.  Res64: F71328501CFC2076  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:11:22]
945*2^1397004-1 is not prime.  Res64: 16C8BCCFDCB9C620  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:11:23]
983*2^1397004-1 is not prime.  Res64: 0372518427BFB85D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:24:19]
751*2^1397005-1 is not prime.  Res64: 81BB8AAC9F3F40C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:24:19]
861*2^1397005-1 is not prime.  Res64: 2F2C0AC3D84101AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:24:26]
649*2^1397005-1 is not prime.  Res64: E2EBA33B84E1F16F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:24:26]
721*2^1397005-1 is not prime.  Res64: 7E8C16069502CF5D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:25:08]
867*2^1397005-1 is not prime.  Res64: 68BAF92DA314326B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:25:08]
877*2^1397005-1 is not prime.  Res64: F7E00B6DA1814FEB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:37:35]
895*2^1397005-1 is not prime.  Res64: F5F9CC5343B154CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:37:35]
897*2^1397005-1 is not prime.  Res64: 00C010BB862B7AFA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:50:19]
711*2^1397006-1 is not prime.  Res64: F87A4447AEF54BFE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:50:19]
717*2^1397006-1 is not prime.  Res64: 0B4F5FC1D1E95394  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:50:25]
603*2^1397006-1 is not prime.  Res64: 2D71661D519D20D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:50:25]
623*2^1397006-1 is not prime.  Res64: 4B0CCF9B4997F358  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:51:08]
935*2^1397006-1 is not prime.  Res64: 9F2D0BDC2A02916C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 05:51:08]
993*2^1397006-1 is not prime.  Res64: 1B983BF1ACAC55AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:03:45]
751*2^1397007-1 is not prime.  Res64: D0BF7EA7B671F957  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:03:46]
769*2^1397007-1 is not prime.  Res64: 1E0D1D77214C5D07  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:16:21]
861*2^1397007-1 is not prime.  Res64: 04D9B1E1C73506F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:16:22]
657*2^1397008-1 is not prime.  Res64: 582FBC77F5393F96  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:16:32]
677*2^1397008-1 is not prime.  Res64: 3E21D5135CDAA1CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:16:33]
695*2^1397008-1 is not prime.  Res64: 3BF0FD6624DF5D79  Time : 0.0 sec.
user=juhehe
[2015-04-06 06:16:42]
819*2^1397007-1 is not prime.  Res64: 76DFA976801331C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:16:59]
699*2^1397008-1 is not prime.  Res64: 95370B5B87FD1DB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:17:01]
993*2^1397008-1 is not prime.  Res64: 72121A0AB9302AD0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:30:04]
995*2^1397008-1 is not prime.  Res64: 5FAD748C29193834  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:30:04]
691*2^1397009-1 is not prime.  Res64: D1DD35DEC121D4DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:42:19]
721*2^1397009-1 is not prime.  Res64: 98725BBCE8E1F74C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:42:19]
759*2^1397009-1 is not prime.  Res64: B279D822F686F37E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:42:27]
897*2^1397009-1 is not prime.  Res64: D67E245EB100D14B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:42:27]
657*2^1397010-1 is not prime.  Res64: D1E9DAE8DFAD0C08  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:43:00]
717*2^1397010-1 is not prime.  Res64: E37DDBCC965F7D8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:43:00]
765*2^1397010-1 is not prime.  Res64: 76F820F7ED0CA510  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:56:10]
851*2^1397010-1 is not prime.  Res64: 1AC8C039E9753618  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 06:56:11]
861*2^1397010-1 is not prime.  Res64: 2704B825824BEC3D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:08:17]
625*2^1397011-1 is not prime.  Res64: 643B5E662C2C3E4A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:08:19]
649*2^1397011-1 is not prime.  Res64: 402DC89FF7605DC4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:08:34]
901*2^1397011-1 is not prime.  Res64: 2A3459549787CBBB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:08:35]
913*2^1397011-1 is not prime.  Res64: 7E972891302B95DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:09:00]
931*2^1397011-1 is not prime.  Res64: 61914CEF083D5611  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:09:01]
951*2^1397011-1 is not prime.  Res64: BA8FBCD6CC500BBA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:22:07]
669*2^1397012-1 is not prime.  Res64: E708933F15EC88EC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:22:08]
827*2^1397012-1 is not prime.  Res64: 97229058401C5CA0  Time : 0.0 sec.
user=juhehe
[2015-04-06 07:27:38]
975*2^1397011-1 is not prime.  Res64: E4AEF7C691228FA3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:21]
899*2^1397012-1 is not prime.  Res64: B73F4E9FEDE20419  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:21]
903*2^1397012-1 is not prime.  Res64: CD79D57218BF0E87  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:31]
923*2^1397012-1 is not prime.  Res64: 91F0807E941C8B13  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:31]
929*2^1397012-1 is not prime.  Res64: CC4F722B6EF82F7D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:48]
983*2^1397012-1 is not prime.  Res64: D71740099E2AD6A0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:34:49]
995*2^1397012-1 is not prime.  Res64: F9747981900870E6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:48:17]
625*2^1397013-1 is not prime.  Res64: B809E729A55E8B20  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 07:48:17]
805*2^1397013-1 is not prime.  Res64: FD1C9D4F0BA7BA73  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:28]
877*2^1397013-1 is not prime.  Res64: 572F57917D9887B6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:29]
885*2^1397013-1 is not prime.  Res64: 6BF67F7C028FFACE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:33]
945*2^1397013-1 is not prime.  Res64: 9E44478FB2DE311E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:34]
665*2^1397014-1 is not prime.  Res64: BB352357E0C92646  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:54]
677*2^1397014-1 is not prime.  Res64: BC42E0820735622F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:00:55]
717*2^1397014-1 is not prime.  Res64: 5D063FF7CF760F31  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:14:07]
723*2^1397014-1 is not prime.  Res64: A85D56B28B4AD07B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:14:07]
773*2^1397014-1 is not prime.  Res64: B10157CD8ED672D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:26:51]
885*2^1397014-1 is not prime.  Res64: C179E44917C6C0FD  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:26:51]
965*2^1397014-1 is not prime.  Res64: BD4E6813A8EA8788  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:27:11]
661*2^1397015-1 is not prime.  Res64: CACB25D667B4B471  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:27:11]
735*2^1397015-1 is not prime.  Res64: 789710F4108E4026  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:27:36]
843*2^1397015-1 is not prime.  Res64: 36F38B099C949037  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:27:36]
915*2^1397015-1 is not prime.  Res64: C22C13E86DA555A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:40:37]
969*2^1397015-1 is not prime.  Res64: 9971C83785730996  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:40:38]
675*2^1397016-1 is not prime.  Res64: E1B102AA89BD04E6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:00]
845*2^1397016-1 is not prime.  Res64: DDFC3AB05960E8C2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:01]
927*2^1397016-1 is not prime.  Res64: 7862FBECB082843F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:32]
625*2^1397017-1 is not prime.  Res64: 2765814103AA0364  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:32]
639*2^1397017-1 is not prime.  Res64: 6F235E2B42A0E64A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:46]
651*2^1397017-1 is not prime.  Res64: 624E185F8FCB2684  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 08:53:46]
771*2^1397017-1 is not prime.  Res64: A6D58F2F42CF628F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:07:06]
931*2^1397017-1 is not prime.  Res64: 527A837B22580C88  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:07:07]
687*2^1397018-1 is not prime.  Res64: 87912C58252B3A31  Time : 0.0 sec.
user=juhehe
[2015-04-06 09:15:00]
817*2^1397017-1 is not prime.  Res64: 68815ADC58B96A40  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:19:30]
875*2^1397018-1 is not prime.  Res64: 50ADF1D65D6ABD22  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:19:31]
885*2^1397018-1 is not prime.  Res64: 57F2F2065F3ACD2D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:20:13]
935*2^1397018-1 is not prime.  Res64: 3781E46A10B971C8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:20:14]
625*2^1397019-1 is not prime.  Res64: 9BAF443DD90863FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:20:25]
669*2^1397019-1 is not prime.  Res64: 64B14A671EEFAF29  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:20:25]
709*2^1397019-1 is not prime.  Res64: BAE93C660423324C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:33:15]
793*2^1397019-1 is not prime.  Res64: 5DF7FB3DC97DB791  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:33:16]
853*2^1397019-1 is not prime.  Res64: 9A6EA44AA7B9FC40  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:45:33]
891*2^1397019-1 is not prime.  Res64: 442B18540F19F128  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:45:34]
909*2^1397019-1 is not prime.  Res64: F64E44DAE7C9A2D4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:46:20]
653*2^1397020-1 is not prime.  Res64: A85893D439E39899  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:46:20]
743*2^1397020-1 is not prime.  Res64: 7810724D1F9D72F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:46:20]
961*2^1397019-1 is not prime.  Res64: DEFBB4ECE595B51C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:46:21]
973*2^1397019-1 is not prime.  Res64: AF215712B5C85EF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:59:18]
773*2^1397020-1 is not prime.  Res64: 74393B0A184166BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 09:59:18]
827*2^1397020-1 is not prime.  Res64: 465913D4D456D31B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:11:46]
843*2^1397020-1 is not prime.  Res64: A2C872DDA303C471  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:11:46]
845*2^1397020-1 is not prime.  Res64: 765628C1A6E434B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:12:27]
995*2^1397020-1 is not prime.  Res64: 4066BA6D32362796  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:12:27]
717*2^1397021-1 is not prime.  Res64: 2859D61975270BC2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:12:27]
915*2^1397020-1 is not prime.  Res64: AB7FEC0584411C88  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:12:28]
953*2^1397020-1 is not prime.  Res64: C385DF89124BD69F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:25:32]
745*2^1397021-1 is not prime.  Res64: C2381FEE46F2DCB4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:25:32]
777*2^1397021-1 is not prime.  Res64: DD054138C4BE68DE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:40:44]
987*2^1397021-1 is not prime.  Res64: 4EC3D5E0FDAB64E7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:40:45]
611*2^1397022-1 is not prime.  Res64: 6CA352FF51A623DC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:41:18]
747*2^1397022-1 is not prime.  Res64: 34D2A5BCB7A5D0E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:41:18]
765*2^1397022-1 is not prime.  Res64: 805E2A1A7CEB9AEF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:42:14]
635*2^1397022-1 is not prime.  Res64: D1EC3D8F71E945F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:42:14]
681*2^1397022-1 is not prime.  Res64: 0BE720656F805DE7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:56:36]
767*2^1397022-1 is not prime.  Res64: EF0771E58264A8E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 10:56:36]
801*2^1397022-1 is not prime.  Res64: E7CA2A60FA60404A  Time : 0.0 sec.
user=juhehe
[2015-04-06 11:02:40]
833*2^1397022-1 is not prime.  Res64: 45D42D41D9F3159F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:10:02]
609*2^1397023-1 is not prime.  Res64: 4C5B75591ABDFAA9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:10:03]
663*2^1397023-1 is not prime.  Res64: 8AA57CB4AF3FEB2B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:10:56]
693*2^1397023-1 is not prime.  Res64: 0727756347F22005  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:10:57]
705*2^1397023-1 is not prime.  Res64: 0E6E952CE8D22273  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:11:12]
723*2^1397023-1 is not prime.  Res64: BDB494D45F2F5A1C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:11:13]
729*2^1397023-1 is not prime.  Res64: 996E0C09228C2156  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:25:01]
789*2^1397023-1 is not prime.  Res64: F131F82804CDA902  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:25:02]
855*2^1397023-1 is not prime.  Res64: 0F5394C696EA1D17  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:37:12]
871*2^1397023-1 is not prime.  Res64: ABE6573371E7EB55  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:37:12]
919*2^1397023-1 is not prime.  Res64: 5B4BC2CB940A8140  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:38:10]
943*2^1397023-1 is not prime.  Res64: 64596EADD9BB10C2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:38:10]
677*2^1397024-1 is not prime.  Res64: A9DA754D4BEB9B0B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:38:46]
689*2^1397024-1 is not prime.  Res64: AA0783FC31919D45  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:38:47]
747*2^1397024-1 is not prime.  Res64: 2852C4334FC1808F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:51:59]
785*2^1397024-1 is not prime.  Res64: 186BFEC1F622221C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 11:52:00]
795*2^1397024-1 is not prime.  Res64: A3944A6643BEA38D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:04:07]
873*2^1397024-1 is not prime.  Res64: B762DCC9397E7B99  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:04:08]
915*2^1397024-1 is not prime.  Res64: A7B8CE9300BD56A8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:05:08]
765*2^1397025-1 is not prime.  Res64: C2EBF0885E8B9A33  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:05:09]
837*2^1397025-1 is not prime.  Res64: 9E829CB032B8925A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:05:30]
885*2^1397025-1 is not prime.  Res64: 24CB1C92076199F7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:05:31]
921*2^1397025-1 is not prime.  Res64: DBB94B54485BB748  Time : 0.0 sec.
user=juhehe
[2015-04-06 12:13:00]
803*2^1397024-1 is not prime.  Res64: BFD812AABBA048B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:18:16]
991*2^1397025-1 is not prime.  Res64: 8E19FDD376B349B4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:18:17]
783*2^1397026-1 is not prime.  Res64: E7750ED7657AF74C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:30:50]
815*2^1397026-1 is not prime.  Res64: 2A78B25EEE8BA89C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:30:50]
957*2^1397026-1 is not prime.  Res64: C02163D7AB3AB128  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:31:32]
993*2^1397026-1 is not prime.  Res64: 02F6FAE329ED0771  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:31:33]
1001*2^1397026-1 is not prime.  Res64: 1790CDEF31BB8A6A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:31:50]
643*2^1397027-1 is not prime.  Res64: 8F4F75325A16BD08  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:31:50]
705*2^1397027-1 is not prime.  Res64: FDD1C800335EA3B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:44:30]
895*2^1397027-1 is not prime.  Res64: 607EAA6DC30966F4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:44:30]
963*2^1397027-1 is not prime.  Res64: 4547A10408CF265B  Time : 0.0 sec.
user=juhehe
[2015-04-06 12:54:07]
711*2^1397027-1 is not prime.  Res64: F3CEC9A57701319B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:57:14]
981*2^1397027-1 is not prime.  Res64: 66D2EDA415D4C99D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:57:14]
663*2^1397028-1 is not prime.  Res64: 54F6E18D5CCDD7B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:57:57]
737*2^1397028-1 is not prime.  Res64: F0DCA4BA38FE0C3F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:57:57]
773*2^1397028-1 is not prime.  Res64: EDCEB26D3EF8EFF8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:58:13]
795*2^1397028-1 is not prime.  Res64: 633ADFB765F3FD6D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 12:58:14]
809*2^1397028-1 is not prime.  Res64: 639835322FABE05A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:11:00]
819*2^1397028-1 is not prime.  Res64: E9AE13ADBB1409C8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:11:00]
839*2^1397028-1 is not prime.  Res64: F76E7406E2CB9B38  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:23:44]
875*2^1397028-1 is not prime.  Res64: 686B6889ADD169C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:23:45]
987*2^1397028-1 is not prime.  Res64: 8BDF9F3FB6F7E27A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:24:23]
609*2^1397029-1 is not prime.  Res64: C45D04D1E301D813  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:24:24]
699*2^1397029-1 is not prime.  Res64: C186D78867AEAF05  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:24:42]
747*2^1397029-1 is not prime.  Res64: 13B04266D173E68A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:24:42]
757*2^1397029-1 is not prime.  Res64: 824E06A8D762C627  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:37:24]
877*2^1397029-1 is not prime.  Res64: E5BA5D2BDDD82897  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:37:25]
603*2^1397030-1 is not prime.  Res64: 137F48A823B50A39  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:50:20]
635*2^1397030-1 is not prime.  Res64: BA4083172ECCA1AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:50:20]
665*2^1397030-1 is not prime.  Res64: 8B5D21591041AD95  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:50:53]
753*2^1397030-1 is not prime.  Res64: F41EF1E90D605102  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:50:53]
831*2^1397030-1 is not prime.  Res64: 7D42AB0F21814F25  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:51:06]
619*2^1397031-1 is not prime.  Res64: 4E4E862C2015B5D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 13:51:06]
675*2^1397031-1 is not prime.  Res64: F490E6D6F7ACA05A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:03:51]
739*2^1397031-1 is not prime.  Res64: F04FD20190B3E2FD  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:03:53]
861*2^1397031-1 is not prime.  Res64: C1B7A69BB3796FE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:16:35]
961*2^1397031-1 is not prime.  Res64: 78526CD0AAF4B188  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:16:35]
615*2^1397032-1 is not prime.  Res64: BC3A4CF2477CF456  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:17:22]
617*2^1397032-1 is not prime.  Res64: A927AA8F314856F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:17:23]
657*2^1397032-1 is not prime.  Res64: 97394CEE35D6A354  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:17:41]
665*2^1397032-1 is not prime.  Res64: 9099ADDB613A07E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:17:41]
863*2^1397032-1 is not prime.  Res64: A90F48662FEF2377  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:31:08]
869*2^1397032-1 is not prime.  Res64: 3530625CE3641851  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:31:08]
939*2^1397032-1 is not prime.  Res64: 0FA3910BFC3894E3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:43:27]
649*2^1397033-1 is not prime.  Res64: 27C61D1DCA4DE56B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:43:28]
727*2^1397033-1 is not prime.  Res64: FDD5F1B58CDB1F68  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:44:11]
811*2^1397033-1 is not prime.  Res64: 307181C2A0ACFBCB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:44:12]
939*2^1397033-1 is not prime.  Res64: 6549D1A8C4FADB37  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:44:32]
985*2^1397033-1 is not prime.  Res64: 8009010D2D3133FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:44:33]
991*2^1397033-1 is not prime.  Res64: 6E417B410C19FEC8  Time : 0.0 sec.
user=juhehe
[2015-04-06 14:45:20]
615*2^1397033-1 is not prime.  Res64: 01A1600BC75AA2FF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:58:28]
657*2^1397034-1 is not prime.  Res64: 0CCDA47A53DBFE11  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 14:58:28]
671*2^1397034-1 is not prime.  Res64: 87F8179131B118DD  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:11:09]
791*2^1397034-1 is not prime.  Res64: BFD5E012A3334605  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:11:10]
807*2^1397034-1 is not prime.  Res64: 0A785ACE01117FBA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:11:44]
861*2^1397034-1 is not prime.  Res64: 5C89D7F7461D5E4D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:11:44]
881*2^1397034-1 is not prime.  Res64: F6BAFFBFB16719A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:12:26]
923*2^1397034-1 is not prime.  Res64: 8C812F69CD98EB0C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:12:27]
945*2^1397034-1 is not prime.  Res64: 04E7855CAF75583A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:25:56]
633*2^1397035-1 is not prime.  Res64: EA150C7B15A94D7F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:25:56]
645*2^1397035-1 is not prime.  Res64: 106DA89F72A16021  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:38:58]
693*2^1397035-1 is not prime.  Res64: C4484BE6CD3BA03D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:38:59]
919*2^1397035-1 is not prime.  Res64: C4464EF205569C35  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:39:05]
951*2^1397035-1 is not prime.  Res64: 9274D7EFAE5B04AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:39:06]
999*2^1397035-1 is not prime.  Res64: 54F7811AB55B6CFF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:39:51]
717*2^1397036-1 is not prime.  Res64: 25D9F8EE96923F4B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:39:51]
789*2^1397036-1 is not prime.  Res64: 7AB3D2CE2DB4C545  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:53:19]
935*2^1397036-1 is not prime.  Res64: 893294F4ED295B58  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 15:53:19]
945*2^1397036-1 is not prime.  Res64: A1E1047FDEC83E27  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:06:16]
651*2^1397037-1 is not prime.  Res64: 582213D312CEB92E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:06:16]
655*2^1397037-1 is not prime.  Res64: 84520A148E4B8FA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:06:19]
915*2^1397037-1 is not prime.  Res64: DFCDB084AA176EA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:06:20]
945*2^1397037-1 is not prime.  Res64: 20B21D5AF3DE2C72  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:07:23]
961*2^1397037-1 is not prime.  Res64: EDEA9FA947FFCD7B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:07:23]
713*2^1397038-1 is not prime.  Res64: 3D609B8B49BDB876  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:21:25]
885*2^1397038-1 is not prime.  Res64: 806CC15151310EE7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:21:25]
897*2^1397038-1 is not prime.  Res64: 9D48218588BB4B1F  Time : 0.0 sec.
user=juhehe
[2015-04-06 16:36:29]
971*2^1397038-1 is not prime.  Res64: 58521297E1241650  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:37:32]
741*2^1397039-1 is not prime.  Res64: F8BF0BB7445A3F92  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:37:32]
825*2^1397039-1 is not prime.  Res64: 0DF65CA75434B339  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:37:32]
603*2^1397039-1 is not prime.  Res64: DC31378B5EB61D15  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:37:33]
615*2^1397039-1 is not prime.  Res64: 1132AEA7038A58E5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:38:01]
841*2^1397039-1 is not prime.  Res64: 9336B8C43567F3C2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:38:01]
931*2^1397039-1 is not prime.  Res64: A51D3FE774CEB07F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:52:38]
969*2^1397039-1 is not prime.  Res64: EF3E9F7D16116981  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 16:52:38]
999*2^1397039-1 is not prime.  Res64: 3AF14A9A860193F4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:07:03]
607*2^1397041-1 is not prime.  Res64: B166752834F505CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:07:04]
637*2^1397041-1 is not prime.  Res64: C5343CF1031CEAF7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:07:30]
615*2^1397040-1 is not prime.  Res64: F00BB12F81B54407  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:07:30]
735*2^1397040-1 is not prime.  Res64: DC6DD7EA7946E57F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:08:08]
843*2^1397040-1 is not prime.  Res64: 8C9BE22089807EFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:08:09]
875*2^1397040-1 is not prime.  Res64: 88F6B74E0330B800  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:21:23]
745*2^1397041-1 is not prime.  Res64: CDDA2ABB7C516969  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:21:23]
909*2^1397041-1 is not prime.  Res64: 8A9096A3CA256F45  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:34:18]
939*2^1397041-1 is not prime.  Res64: ACA2C6CF0C1363D8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:34:18]
615*2^1397042-1 is not prime.  Res64: 0A0AB9CA81AAB10B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:34:43]
623*2^1397042-1 is not prime.  Res64: B69E43B10940BBBC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:34:43]
635*2^1397042-1 is not prime.  Res64: 7D89588DC6995E34  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:35:17]
645*2^1397042-1 is not prime.  Res64: 03F0C4314CDA515E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:35:17]
705*2^1397042-1 is not prime.  Res64: 4333A1720D27F3CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:48:21]
797*2^1397042-1 is not prime.  Res64: 1CBA5319E74236C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 17:48:22]
887*2^1397042-1 is not prime.  Res64: 2D4F87F3CBC5DDF8  Time : 0.0 sec.
user=juhehe
[2015-04-06 17:49:18]
735*2^1397042-1 is not prime.  Res64: EA346DEBAC164911  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:01:13]
953*2^1397042-1 is not prime.  Res64: B3B57E00A7435171  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:01:14]
699*2^1397043-1 is not prime.  Res64: B7ACE47C2EDCF2CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:01:47]
735*2^1397043-1 is not prime.  Res64: 8633DD4AE9C4D86C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:01:48]
745*2^1397043-1 is not prime.  Res64: F42EDEECB6BE67EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:02:20]
859*2^1397043-1 is not prime.  Res64: 944B8C283E3A2B11  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:02:21]
707*2^1397044-1 is not prime.  Res64: CDAD01E8031CB63B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:15:24]
819*2^1397044-1 is not prime.  Res64: F5023BBBAE6CAA7B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:15:24]
843*2^1397044-1 is not prime.  Res64: ECD2B19567CB3464  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:28:24]
897*2^1397044-1 is not prime.  Res64: 4845F0476BBE4875  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:28:25]
601*2^1397045-1 is not prime.  Res64: CECC4DE18F488805  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:28:39]
685*2^1397045-1 is not prime.  Res64: CA82771B86675D27  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:28:39]
855*2^1397045-1 is not prime.  Res64: 17157BE3E3D7D637  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:29:15]
927*2^1397045-1 is not prime.  Res64: B81EB1A2ABF8541D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:29:15]
969*2^1397045-1 is not prime.  Res64: 528A9490736599B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:42:24]
985*2^1397045-1 is not prime.  Res64: 6FA15724A522A93C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:42:24]
987*2^1397045-1 is not prime.  Res64: 89CB35BBE8C43E2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:55:08]
611*2^1397046-1 is not prime.  Res64: 5E9F4CE012ABED1B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:55:08]
777*2^1397046-1 is not prime.  Res64: DC83EC123154B0CF  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:55:13]
963*2^1397046-1 is not prime.  Res64: D8AF032EBCCBA33E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:55:13]
975*2^1397046-1 is not prime.  Res64: 00B7736396D89221  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:56:03]
651*2^1397047-1 is not prime.  Res64: 859E85E90396B6C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 18:56:03]
673*2^1397047-1 is not prime.  Res64: 16D0B11222FD5CD1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:09:08]
715*2^1397047-1 is not prime.  Res64: 4EB1F24DB13CE51C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:09:08]
805*2^1397047-1 is not prime.  Res64: 5DA0CC5239BEB9FB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:21:59]
815*2^1397048-1 is not prime.  Res64: B61D189061C69A5E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:22:00]
827*2^1397048-1 is not prime.  Res64: B3EA8FC8B419DE33  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:22:21]
837*2^1397048-1 is not prime.  Res64: 74C63F87F25D8CE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:22:21]
855*2^1397048-1 is not prime.  Res64: 9C4E51CC7B5D2B1A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:23:05]
875*2^1397048-1 is not prime.  Res64: D54AA3CAF0028BD4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:23:05]
915*2^1397048-1 is not prime.  Res64: 218B6D957A41B81B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:36:03]
657*2^1397049-1 is not prime.  Res64: 09704BE89C5BFF41  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:36:03]
709*2^1397049-1 is not prime.  Res64: 6BD9F247AA0892E9  Time : 0.0 sec.
user=juhehe
[2015-04-06 19:37:40]
625*2^1397049-1 is not prime.  Res64: B376E958EE7931F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:48:56]
735*2^1397049-1 is not prime.  Res64: 989007F0F7B09A5E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:48:57]
831*2^1397049-1 is not prime.  Res64: 1C19B2FEE98A2828  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:49:22]
847*2^1397049-1 is not prime.  Res64: 3A2216BD2129046A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:49:22]
877*2^1397049-1 is not prime.  Res64: 8533CDB7D4AA3461  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:50:09]
997*2^1397049-1 is not prime.  Res64: 809FAF4C03E712A0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 19:50:10]
657*2^1397050-1 is not prime.  Res64: B683C53F7822ECC5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:02:59]
713*2^1397050-1 is not prime.  Res64: 21F4553C7FADF721  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:03:00]
731*2^1397050-1 is not prime.  Res64: 0B91E328CDBCEF05  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:15:21]
825*2^1397050-1 is not prime.  Res64: BC301BBFE4498345  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:15:21]
923*2^1397050-1 is not prime.  Res64: 65B930686DF7115A  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:15:53]
945*2^1397050-1 is not prime.  Res64: 5A87AAF736309872  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:15:54]
733*2^1397051-1 is not prime.  Res64: 6A1635CB8193AFBB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:16:43]
741*2^1397051-1 is not prime.  Res64: 4761CC14207346F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:16:44]
859*2^1397051-1 is not prime.  Res64: 7355716C6355EC47  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:29:38]
955*2^1397051-1 is not prime.  Res64: 354FC469BAAE0D13  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:29:38]
981*2^1397051-1 is not prime.  Res64: 1E846689074382BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:41:47]
999*2^1397051-1 is not prime.  Res64: 9CA441AB778AC1B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:41:48]
605*2^1397052-1 is not prime.  Res64: EFE3A7755E253E47  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:42:14]
669*2^1397052-1 is not prime.  Res64: 42085956C289A189  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:42:14]
689*2^1397052-1 is not prime.  Res64: 7F17EEF43690F263  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:43:06]
857*2^1397052-1 is not prime.  Res64: BA7173DA01B03F41  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:43:07]
947*2^1397052-1 is not prime.  Res64: 9506AD74F0A9ADAE  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:57:49]
639*2^1397053-1 is not prime.  Res64: 8A3A9EC086E5A9BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 20:57:50]
721*2^1397053-1 is not prime.  Res64: 40051EFCC3D9E5BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:09:41]
741*2^1397053-1 is not prime.  Res64: 8F32210D7ECFCEA6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:09:41]
771*2^1397053-1 is not prime.  Res64: 5065CB0D6986C51E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:09:53]
847*2^1397053-1 is not prime.  Res64: 42D3A6FCDAC0C840  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:09:54]
897*2^1397053-1 is not prime.  Res64: 8B593E7B319801A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:10:48]
985*2^1397053-1 is not prime.  Res64: 35B13D503A213BD8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:10:48]
999*2^1397053-1 is not prime.  Res64: 9089F9707898A156  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:24:19]
705*2^1397054-1 is not prime.  Res64: 547565853F0E9210  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:24:19]
747*2^1397054-1 is not prime.  Res64: 4FF32CACF4EE7429  Time : 0.0 sec.
user=juhehe
[2015-04-06 21:29:59]
675*2^1397054-1 is not prime.  Res64: 6C3846B1A3D8DAD8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:36:15]
825*2^1397054-1 is not prime.  Res64: 7876060E0AF3EA7D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:36:16]
935*2^1397054-1 is not prime.  Res64: CC666337C57E4EE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:36:16]
625*2^1397055-1 is not prime.  Res64: 470A78642651A23F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:36:17]
805*2^1397055-1 is not prime.  Res64: 938E004E7C6B343B  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:37:20]
885*2^1397055-1 is not prime.  Res64: 004E8258702F245D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:37:20]
919*2^1397055-1 is not prime.  Res64: 03426520AE240ACC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:51:33]
615*2^1397056-1 is not prime.  Res64: 3120E2AFB441ECCB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 21:51:33]
629*2^1397056-1 is not prime.  Res64: 26B9BC4A7B10BB4E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:05:34]
735*2^1397056-1 is not prime.  Res64: 65562D4F4A7E76BA  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:05:35]
759*2^1397056-1 is not prime.  Res64: 580A53665256569E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:06:00]
707*2^1397056-1 is not prime.  Res64: 084D1D8329DF6A1E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:06:01]
719*2^1397056-1 is not prime.  Res64: BEB8F0F1943A3319  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:07:02]
869*2^1397056-1 is not prime.  Res64: 15246E7A36D11FA7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:07:02]
917*2^1397056-1 is not prime.  Res64: 0D2763C6ED1A68F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:21:02]
607*2^1397057-1 is not prime.  Res64: 15FE2C927662AE8E  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:21:02]
685*2^1397057-1 is not prime.  Res64: 0B0EA368D0BF0CB2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:32:22]
697*2^1397057-1 is not prime.  Res64: 90E708DAE6F03ACC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:32:22]
837*2^1397057-1 is not prime.  Res64: D353C4928DD6FAD1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:32:29]
885*2^1397057-1 is not prime.  Res64: 81643CEA6FC4C40D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:32:30]
901*2^1397057-1 is not prime.  Res64: 53CDC3067C080F6C  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:33:41]
605*2^1397058-1 is not prime.  Res64: DE9E66D6C4E61E57  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:33:42]
663*2^1397058-1 is not prime.  Res64: FD91403BE0BB04F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:47:27]
747*2^1397058-1 is not prime.  Res64: EF3A59C821A7B8A9  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:47:27]
765*2^1397058-1 is not prime.  Res64: CCD4825A0F10B456  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:59:06]
801*2^1397058-1 is not prime.  Res64: 516559C7AEE67FC4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:59:06]
891*2^1397058-1 is not prime.  Res64: A1C0AC18FC0389F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:59:12]
621*2^1397059-1 is not prime.  Res64: 68F917E8D7417BEB  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 22:59:13]
835*2^1397059-1 is not prime.  Res64: 79BD0DE649B652B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:00:35]
861*2^1397059-1 is not prime.  Res64: 8D95435FED836F93  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:00:35]
839*2^1397060-1 is not prime.  Res64: 06684BA5DF4824E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:14:14]
935*2^1397060-1 is not prime.  Res64: 7FC7E66C9A0B5359  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:14:14]
601*2^1397061-1 is not prime.  Res64: A041787916058AA8  Time : 0.0 sec.
user=juhehe
[2015-04-06 23:17:31]
899*2^1397060-1 is not prime.  Res64: B69F0B92F1DC9514  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:25:33]
747*2^1397061-1 is not prime.  Res64: 9CB9535B29A3E05D  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:25:33]
805*2^1397061-1 is not prime.  Res64: 1CC2136799F5EC55  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:25:45]
649*2^1397061-1 is not prime.  Res64: 95ED06EB79A35F32  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:25:46]
741*2^1397061-1 is not prime.  Res64: A477449C1E4671A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:27:03]
901*2^1397061-1 is not prime.  Res64: BE898AB319018EB6  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:27:03]
991*2^1397061-1 is not prime.  Res64: 08F22747AA8C2C2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:40:39]
755*2^1397062-1 is not prime.  Res64: CB50B665946B44E7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:40:39]
825*2^1397062-1 is not prime.  Res64: 82ED439FC7CD063F  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:52:00]
833*2^1397062-1 is not prime.  Res64: 1B17BFAB4A745BC7  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:52:00]
945*2^1397062-1 is not prime.  Res64: 79F8B714B9F4DCD4  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:52:00]
897*2^1397062-1 is not prime.  Res64: 939CD4B5A9F6F939  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:52:00]
951*2^1397062-1 is not prime.  Res64: 29A9DB4A5424EDFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:53:18]
983*2^1397062-1 is not prime.  Res64: 285FF2F7F27435E5  Time : 0.0 sec.
user=mdettweiler
[2015-04-06 23:53:18]
643*2^1397063-1 is not prime.  Res64: 2B290A38B76BE314  Time : 0.0 sec.