user=mdettweiler
[2015-10-29 00:11:22]
979*2^1413475-1 is not prime.  Res64: 00C815D4B22D6F38  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:11:22]
689*2^1413476-1 is not prime.  Res64: F41015162EA2F6D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:11:27]
773*2^1413476-1 is not prime.  Res64: B770305A38112611  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:11:28]
839*2^1413476-1 is not prime.  Res64: 77DB65ACA8F62CB2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:11:30]
903*2^1413476-1 is not prime.  Res64: 455225EB0713AC59  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:11:31]
691*2^1413477-1 is not prime.  Res64: 8CE9BA627F84BE6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:31]
635*2^1413478-1 is not prime.  Res64: 7DE034886D47DB17  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:32]
681*2^1413478-1 is not prime.  Res64: 7CD5977B63CE329B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:32]
819*2^1413477-1 is not prime.  Res64: ED769DBB7CD0ED0F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:33]
723*2^1413478-1 is not prime.  Res64: 5DECF4293B4BE860  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:33]
997*2^1413477-1 is not prime.  Res64: 62C5D7305FD5B0B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:29:34]
777*2^1413478-1 is not prime.  Res64: 753B4EFA61972C00  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:40]
815*2^1413478-1 is not prime.  Res64: CC636784FD262C57  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:41]
831*2^1413478-1 is not prime.  Res64: FFFA31074C799721  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:45]
711*2^1413479-1 is not prime.  Res64: 5A3216127AB548C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:46]
995*2^1413478-1 is not prime.  Res64: ECC61E205C182986  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:46]
799*2^1413479-1 is not prime.  Res64: 79237B85499E0049  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 00:47:47]
669*2^1413479-1 is not prime.  Res64: 12DE19784A6F42C6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:21]
993*2^1413479-1 is not prime.  Res64: 6EECB59184A44E36  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:24]
665*2^1413480-1 is not prime.  Res64: 45F252C50BAB3A68  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:27]
693*2^1413480-1 is not prime.  Res64: 6DF0A75B342FD71E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:28]
723*2^1413480-1 is not prime.  Res64: AC0A2809821B5DAE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:29]
717*2^1413480-1 is not prime.  Res64: 71395565A60F8C3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:05:30]
899*2^1413480-1 is not prime.  Res64: 13EC490652FE5A2E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:20]
691*2^1413481-1 is not prime.  Res64: 4EDD9A134B691F9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:20]
909*2^1413480-1 is not prime.  Res64: 6A43F34A9F7E9A9C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:20]
717*2^1413481-1 is not prime.  Res64: 266E2E3F108ED91D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:21]
945*2^1413480-1 is not prime.  Res64: FF9179CC485967B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:21]
999*2^1413480-1 is not prime.  Res64: D3D038AA2E85AA12  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:23:21]
625*2^1413481-1 is not prime.  Res64: 4FCC4A89788ED187  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:07]
807*2^1413481-1 is not prime.  Res64: A52CA8CE7213DE70  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:07]
855*2^1413481-1 is not prime.  Res64: 77D18CDE58757408  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:14]
861*2^1413481-1 is not prime.  Res64: 33BD963B076EBAA2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:15]
705*2^1413482-1 is not prime.  Res64: 3544E50A48AED57F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:15]
633*2^1413482-1 is not prime.  Res64: 358A93C2C5AE20C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:41:15]
785*2^1413482-1 is not prime.  Res64: 9A13D807FBF43138  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:45]
801*2^1413482-1 is not prime.  Res64: 05672A811CE36F1E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:45]
813*2^1413482-1 is not prime.  Res64: 6CA76224F5D74932  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:51]
995*2^1413482-1 is not prime.  Res64: FAB87E08839A6FB5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:51]
613*2^1413483-1 is not prime.  Res64: 6536B3EF361A42D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:53]
815*2^1413482-1 is not prime.  Res64: B5AF23448C26FC92  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 01:58:53]
923*2^1413482-1 is not prime.  Res64: CDB5B3E6097556FF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:19]
669*2^1413483-1 is not prime.  Res64: AD746C7182AAB170  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:20]
705*2^1413483-1 is not prime.  Res64: 106DBF3940D48AB6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:21]
721*2^1413483-1 is not prime.  Res64: BE0A4A911456C1A7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:21]
801*2^1413483-1 is not prime.  Res64: 2FB1F4D82BF9FD96  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:26]
919*2^1413483-1 is not prime.  Res64: 5B4B24792B090D56  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:16:27]
609*2^1413484-1 is not prime.  Res64: 7F5B65FF7B1AD14C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:33:52]
663*2^1413484-1 is not prime.  Res64: 3146C240ADE7C517  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:33:53]
607*2^1413485-1 is not prime.  Res64: 2EBA08C9B687CBCC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:33:53]
903*2^1413484-1 is not prime.  Res64: 1D60B98291432605  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:33:54]
669*2^1413485-1 is not prime.  Res64: 3D51DFCD519706FB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:33:59]
937*2^1413485-1 is not prime.  Res64: 03626159293FFF8B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:34:00]
969*2^1413485-1 is not prime.  Res64: C362ABCF57848363  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:29]
729*2^1413487-1 is not prime.  Res64: B60916C5D1CEF0E6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:30]
777*2^1413486-1 is not prime.  Res64: 6EDBD7557895824A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:30]
735*2^1413487-1 is not prime.  Res64: 005763DE398D88ED  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:31]
893*2^1413486-1 is not prime.  Res64: E6A70D9CE72557DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:33]
849*2^1413487-1 is not prime.  Res64: 8E47995F2E4D9847  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 02:51:34]
861*2^1413487-1 is not prime.  Res64: 4B2BECC869181807  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:02]
931*2^1413487-1 is not prime.  Res64: 69B3179C49A4CC89  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:03]
951*2^1413487-1 is not prime.  Res64: 09D334C4CF56C68B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:03]
885*2^1413487-1 is not prime.  Res64: 315E372C4BF25907  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:04]
909*2^1413487-1 is not prime.  Res64: F77F3E9406F9B648  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:11]
973*2^1413487-1 is not prime.  Res64: 080462B8A99010B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:09:15]
665*2^1413488-1 is not prime.  Res64: 673CE86B431F9C5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:43]
713*2^1413488-1 is not prime.  Res64: 7A72A042588C99C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:45]
959*2^1413488-1 is not prime.  Res64: F1BF193E21168DE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:45]
797*2^1413488-1 is not prime.  Res64: AA045FFE50074507  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:46]
915*2^1413488-1 is not prime.  Res64: C4D61428A9B8164D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:49]
963*2^1413488-1 is not prime.  Res64: 94C2259E02822DCB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:26:50]
625*2^1413489-1 is not prime.  Res64: 86A77E317FE1200A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:25]
709*2^1413489-1 is not prime.  Res64: D910ADFDD86A3F93  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:26]
889*2^1413489-1 is not prime.  Res64: 251D3C4B989DED8B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:27]
745*2^1413489-1 is not prime.  Res64: F0A90927F1FE3801  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:27]
979*2^1413489-1 is not prime.  Res64: 4ED8F50FA2FD1B93  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:28]
681*2^1413490-1 is not prime.  Res64: CEFC12CDF986E910  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 03:44:30]
735*2^1413490-1 is not prime.  Res64: 7761D566744E54B3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:20]
831*2^1413490-1 is not prime.  Res64: BCD78F57C564A581  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:21]
933*2^1413490-1 is not prime.  Res64: A9EFD4B498C1DE31  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:22]
915*2^1413490-1 is not prime.  Res64: C852C4A6156CCF57  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:23]
619*2^1413491-1 is not prime.  Res64: E2C7718837E2D97F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:23]
755*2^1413490-1 is not prime.  Res64: 7A9F8CD08F0D86EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:02:25]
801*2^1413490-1 is not prime.  Res64: 15FC06781321E1DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:12]
645*2^1413491-1 is not prime.  Res64: 0879F9C45D1B2571  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:13]
679*2^1413491-1 is not prime.  Res64: CBBD0463F6914ECD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:15]
685*2^1413491-1 is not prime.  Res64: 1BF0197557DCC070  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:16]
703*2^1413491-1 is not prime.  Res64: 71A4DACD90F9DD00  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:17]
895*2^1413491-1 is not prime.  Res64: E321859D054AB7F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:20:18]
939*2^1413491-1 is not prime.  Res64: F5101E9468173013  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:46]
749*2^1413492-1 is not prime.  Res64: 7A2E0F5C5DCBA553  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:47]
759*2^1413492-1 is not prime.  Res64: 63C206BCE75A49BE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:50]
765*2^1413492-1 is not prime.  Res64: C2699B062AAA2B8F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:51]
779*2^1413492-1 is not prime.  Res64: 23D23CF58D4FCF90  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:52]
933*2^1413492-1 is not prime.  Res64: EACCF668B7359717  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:37:53]
945*2^1413492-1 is not prime.  Res64: 5B593B108E8B9163  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:20]
615*2^1413493-1 is not prime.  Res64: 86DC1E024A119481  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:21]
769*2^1413493-1 is not prime.  Res64: 3523073F995F988B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:22]
847*2^1413493-1 is not prime.  Res64: 5DDED796E30078E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:23]
859*2^1413493-1 is not prime.  Res64: EACC49151F6BB285  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:26]
861*2^1413493-1 is not prime.  Res64: DAABBE8D19D2D43F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 04:55:27]
867*2^1413493-1 is not prime.  Res64: 55F68D2358E10124  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:54]
919*2^1413493-1 is not prime.  Res64: E156C1AEC08D2812  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:55]
937*2^1413493-1 is not prime.  Res64: FFD62C5CEBC44A80  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:55]
945*2^1413493-1 is not prime.  Res64: 9D5A81FC2D270F16  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:56]
645*2^1413494-1 is not prime.  Res64: 92917A98E4E51B5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:58]
773*2^1413494-1 is not prime.  Res64: 41979C0985CE958F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:12:59]
791*2^1413494-1 is not prime.  Res64: 8543C6164131EFA3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:34]
887*2^1413494-1 is not prime.  Res64: 5810AF2E52FBC729  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:34]
613*2^1413495-1 is not prime.  Res64: A7F208D6B54C4215  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:35]
957*2^1413494-1 is not prime.  Res64: 162692A75F8A5A93  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:37]
865*2^1413495-1 is not prime.  Res64: F2C19C4AB956C241  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:37]
709*2^1413495-1 is not prime.  Res64: 0FB74A03FA2282CD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:30:37]
943*2^1413495-1 is not prime.  Res64: CA35EAD86A30234A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:09]
871*2^1413497-1 is not prime.  Res64: 9B4B7278B1407ACA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:09]
915*2^1413497-1 is not prime.  Res64: 8950B40DB598789C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:12]
615*2^1413497-1 is not prime.  Res64: A7426D12626E85F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:13]
747*2^1413497-1 is not prime.  Res64: 55B1ED1F5FB5BA15  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:15]
657*2^1413496-1 is not prime.  Res64: 6DACEDD3BEC46E2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 05:48:17]
923*2^1413496-1 is not prime.  Res64: EC4A7434725E1096  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:46]
949*2^1413497-1 is not prime.  Res64: EADC89B8715608CD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:48]
955*2^1413497-1 is not prime.  Res64: E19087914B032195  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:49]
621*2^1413498-1 is not prime.  Res64: D95BE81CB3752AF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:50]
647*2^1413498-1 is not prime.  Res64: 871C79496CB68D5A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:52]
707*2^1413498-1 is not prime.  Res64: 6360F4395266BD1D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:05:54]
773*2^1413498-1 is not prime.  Res64: C0CEB4B9331DA770  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:28]
797*2^1413498-1 is not prime.  Res64: FCF86BBABF124873  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:29]
815*2^1413498-1 is not prime.  Res64: F34398BDFFF7A907  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:32]
875*2^1413498-1 is not prime.  Res64: 081CED20EB50FACD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:32]
977*2^1413498-1 is not prime.  Res64: B393F7B14B40CD23  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:33]
951*2^1413498-1 is not prime.  Res64: 9097D80658C1D25F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:23:33]
619*2^1413499-1 is not prime.  Res64: FA1C1610AD542FA0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:03]
681*2^1413499-1 is not prime.  Res64: A2E54F44F0935EFC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:04]
769*2^1413499-1 is not prime.  Res64: F6F41DF01AFB9F2B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:11]
855*2^1413499-1 is not prime.  Res64: EDFE96ED4739FE67  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:12]
969*2^1413499-1 is not prime.  Res64: F1CFA254A3C30E6F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:12]
843*2^1413500-1 is not prime.  Res64: BBE9B2A2EBF0FBF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:41:13]
857*2^1413500-1 is not prime.  Res64: 1A5F53F6DFE3E405  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:40]
915*2^1413500-1 is not prime.  Res64: 5F8BFEDE62810B6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:41]
995*2^1413500-1 is not prime.  Res64: FF754348E64AC3B3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:47]
829*2^1413501-1 is not prime.  Res64: 904A3BD0CC53E36E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:47]
895*2^1413501-1 is not prime.  Res64: 60626D78C90B3429  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:48]
609*2^1413501-1 is not prime.  Res64: FA5F845FD0B236AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 06:58:49]
625*2^1413501-1 is not prime.  Res64: 757A4D4A0EE73194  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:18]
961*2^1413501-1 is not prime.  Res64: 0BB2B229D28D799D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:19]
603*2^1413502-1 is not prime.  Res64: C68140B9C7F4F48C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:21]
635*2^1413502-1 is not prime.  Res64: 6DEE92BF432E283A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:22]
881*2^1413502-1 is not prime.  Res64: 7B9632B8965002DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:22]
731*2^1413502-1 is not prime.  Res64: DA82DA7088C81E81  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:16:23]
941*2^1413502-1 is not prime.  Res64: 527029417614A9E5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:55]
975*2^1413502-1 is not prime.  Res64: 5E39ED5A562A81A8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:55]
823*2^1413503-1 is not prime.  Res64: 0C0B82D1F8EE828C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:56]
981*2^1413502-1 is not prime.  Res64: E4BA0437B52B8992  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:56]
861*2^1413503-1 is not prime.  Res64: F841CD4F4ED3BA51  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:57]
715*2^1413503-1 is not prime.  Res64: 13162E8F400EB266  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:33:58]
789*2^1413503-1 is not prime.  Res64: 3154D427B8ECEED4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:29]
901*2^1413503-1 is not prime.  Res64: 414F40A81F7A9CC4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:31]
921*2^1413503-1 is not prime.  Res64: 53CDC5565645CFEC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:32]
689*2^1413504-1 is not prime.  Res64: A1338DE9A2DC99F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:33]
955*2^1413503-1 is not prime.  Res64: 8F00927B2FA8F2F6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:33]
705*2^1413504-1 is not prime.  Res64: 40F3C8DB1764CC8A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 07:51:34]
615*2^1413504-1 is not prime.  Res64: 3A356E3E3B64BDD1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:17]
825*2^1413504-1 is not prime.  Res64: 1025F039B4A01E76  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:18]
707*2^1413504-1 is not prime.  Res64: 7B702BB44D2F76FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:18]
923*2^1413504-1 is not prime.  Res64: 3AA8278E62ADB422  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:19]
747*2^1413504-1 is not prime.  Res64: FDC8F336E73B5EB0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:22]
959*2^1413504-1 is not prime.  Res64: FF95D9B1948D8749  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:09:23]
885*2^1413505-1 is not prime.  Res64: B814112A000295E2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:55]
919*2^1413505-1 is not prime.  Res64: 75D6D087D7887AE8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:55]
641*2^1413506-1 is not prime.  Res64: 113340D29038B31A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:55]
987*2^1413505-1 is not prime.  Res64: 71DBA4B73B34D3B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:56]
997*2^1413505-1 is not prime.  Res64: BF4A40BAB46CDAE9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:56]
645*2^1413506-1 is not prime.  Res64: 1958A7A4821BF11B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:26:57]
635*2^1413506-1 is not prime.  Res64: 7DE1866BE0933A78  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:30]
783*2^1413506-1 is not prime.  Res64: C591E5D697B20873  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:30]
671*2^1413506-1 is not prime.  Res64: 89D083242143C204  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:30]
981*2^1413506-1 is not prime.  Res64: 3EB037199DBCF2C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:31]
743*2^1413506-1 is not prime.  Res64: C00FD63BF5F61A4C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:31]
619*2^1413507-1 is not prime.  Res64: BC0AA67598481281  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 08:44:32]
765*2^1413507-1 is not prime.  Res64: BE0B61510A448F1D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:04]
805*2^1413507-1 is not prime.  Res64: 53C930279CB1E725  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:05]
957*2^1413508-1 is not prime.  Res64: A7D372F69693E687  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:06]
903*2^1413507-1 is not prime.  Res64: EE0D8726639582DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:08]
697*2^1413509-1 is not prime.  Res64: A8A463BD38619D0E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:09]
647*2^1413508-1 is not prime.  Res64: 6AC9F097501D8D4C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:02:11]
885*2^1413508-1 is not prime.  Res64: 28079C8F27F6E849  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:03]
729*2^1413509-1 is not prime.  Res64: D63EE7D9A80267D0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:04]
795*2^1413509-1 is not prime.  Res64: C716A0BC814E427F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:05]
747*2^1413510-1 is not prime.  Res64: DE9F953C7959D887  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:06]
765*2^1413510-1 is not prime.  Res64: 3FA21491D6C84DB7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:07]
825*2^1413509-1 is not prime.  Res64: 4E3E5C5FC05C493B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:20:08]
931*2^1413509-1 is not prime.  Res64: F2269A9C0BF1D65C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:38]
941*2^1413510-1 is not prime.  Res64: E9882D60A85C01AA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:39]
663*2^1413511-1 is not prime.  Res64: 48A5BC58650ED71E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:39]
649*2^1413511-1 is not prime.  Res64: D43B7FBAE712CA90  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:39]
679*2^1413511-1 is not prime.  Res64: B93473B92FD85161  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:42]
871*2^1413511-1 is not prime.  Res64: E1C8296DD25480FB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:37:43]
975*2^1413511-1 is not prime.  Res64: 615CF23A1B301CDC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:13]
751*2^1413513-1 is not prime.  Res64: 52D9122B80B7F939  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:14]
843*2^1413512-1 is not prime.  Res64: B76657A577AA9069  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:14]
807*2^1413513-1 is not prime.  Res64: DD77F48802BF38F2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:15]
893*2^1413512-1 is not prime.  Res64: 17D06F09F1D08781  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:17]
819*2^1413513-1 is not prime.  Res64: 2BC53E30FA1321C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 09:55:18]
837*2^1413513-1 is not prime.  Res64: 9293B061687E6226  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:48]
635*2^1413514-1 is not prime.  Res64: 76D629E5BE63504F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:48]
737*2^1413514-1 is not prime.  Res64: 10EA69287CD4C1DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:48]
695*2^1413514-1 is not prime.  Res64: 0253068770A5E59A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:49]
657*2^1413514-1 is not prime.  Res64: F9DE1864B064D43B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:49]
755*2^1413514-1 is not prime.  Res64: 0405F3CD3D653F78  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:12:49]
717*2^1413514-1 is not prime.  Res64: EC5C4D4F98381AEE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:22]
915*2^1413514-1 is not prime.  Res64: 74B5A6582EC3C165  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:23]
987*2^1413514-1 is not prime.  Res64: EE496A812A9AABC3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:25]
601*2^1413515-1 is not prime.  Res64: 741B66A29154377A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:26]
693*2^1413515-1 is not prime.  Res64: 58F006A88290ADF0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:26]
663*2^1413515-1 is not prime.  Res64: 980BE1D8F14B7268  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:30:27]
735*2^1413515-1 is not prime.  Res64: 85417462C44F73A6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:47:56]
759*2^1413515-1 is not prime.  Res64: EA583F02A9E0EC16  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:47:57]
799*2^1413515-1 is not prime.  Res64: E3D691878F6B09B6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:47:59]
949*2^1413515-1 is not prime.  Res64: D424AFFDBE932549  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:48:00]
963*2^1413515-1 is not prime.  Res64: 4881377EA6587ACD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:48:00]
819*2^1413515-1 is not prime.  Res64: 6E02C7F8242756D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 10:48:01]
825*2^1413515-1 is not prime.  Res64: 57E83C60C61E2816  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:32]
737*2^1413516-1 is not prime.  Res64: EE4F0C13A092DD1F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:34]
695*2^1413516-1 is not prime.  Res64: 0F96E6EB8716C3E2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:34]
779*2^1413516-1 is not prime.  Res64: 3EBEF376485B9E12  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:35]
705*2^1413516-1 is not prime.  Res64: C8CB2FF70D43BCE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:35]
803*2^1413516-1 is not prime.  Res64: 299AACB236852418  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:05:36]
845*2^1413516-1 is not prime.  Res64: 2543E9BFFC2A878D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:18]
857*2^1413516-1 is not prime.  Res64: 609318CF37E6D293  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:19]
893*2^1413516-1 is not prime.  Res64: BFA4EE77CDD70879  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:22]
947*2^1413516-1 is not prime.  Res64: 4DB218CC18945397  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:22]
993*2^1413516-1 is not prime.  Res64: AA82856C12CC2BDD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:23]
983*2^1413516-1 is not prime.  Res64: 5028FED850732B60  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:23:23]
727*2^1413517-1 is not prime.  Res64: 79613D4BB9CC3E4F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:51]
777*2^1413517-1 is not prime.  Res64: 1F0F7ED08C30FA3D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:52]
825*2^1413517-1 is not prime.  Res64: 8F50677E492E66A9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:56]
885*2^1413517-1 is not prime.  Res64: BBADCD93C3964956  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:56]
889*2^1413517-1 is not prime.  Res64: 68AA4408FCC8F331  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:57]
939*2^1413517-1 is not prime.  Res64: C68CC0D212771D7D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:40:58]
791*2^1413518-1 is not prime.  Res64: F308C05007F1E9B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:25]
857*2^1413518-1 is not prime.  Res64: 98269CD386D80546  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:26]
601*2^1413519-1 is not prime.  Res64: 35C8B4DA37907E49  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:28]
969*2^1413519-1 is not prime.  Res64: AA3B36DA61B7B98D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:29]
629*2^1413520-1 is not prime.  Res64: C3AD5BD1F110341A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:30]
693*2^1413520-1 is not prime.  Res64: 243CD6D866DB0947  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 11:58:31]
735*2^1413520-1 is not prime.  Res64: 2573CF7E64006D9D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:02]
929*2^1413520-1 is not prime.  Res64: 74552E6BBAF237F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:02]
765*2^1413520-1 is not prime.  Res64: 6EDF434724CEE7F9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:02]
619*2^1413521-1 is not prime.  Res64: 527A2EE0B5593AAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:03]
615*2^1413521-1 is not prime.  Res64: 196FADFF8756956B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:03]
909*2^1413520-1 is not prime.  Res64: AA563EE8762A6CC5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:16:03]
637*2^1413521-1 is not prime.  Res64: 6A0971B30F9AB39A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:38]
741*2^1413522-1 is not prime.  Res64: D6AD415705D4E315  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:38]
889*2^1413521-1 is not prime.  Res64: 591350729A01985A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:39]
825*2^1413522-1 is not prime.  Res64: E2E65A163FA99A2F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:39]
705*2^1413522-1 is not prime.  Res64: E81386A963A455B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:41]
957*2^1413522-1 is not prime.  Res64: 9219AC4EEA8E519D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:33:42]
609*2^1413523-1 is not prime.  Res64: 87B2614E1F19FCAF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:14]
619*2^1413523-1 is not prime.  Res64: 29F3F6E5F8AC1E86  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:14]
631*2^1413523-1 is not prime.  Res64: 82B3557039A27CB3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:14]
693*2^1413523-1 is not prime.  Res64: EDA11C6D7226C1C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:15]
765*2^1413523-1 is not prime.  Res64: 9CF09EC8E954DB2B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:17]
805*2^1413523-1 is not prime.  Res64: 073C16E68C86DA04  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 12:51:18]
813*2^1413523-1 is not prime.  Res64: 6EF15E3A28FBD67A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:46]
835*2^1413523-1 is not prime.  Res64: 45102BF9648320FD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:46]
883*2^1413523-1 is not prime.  Res64: C46139B0F24C6B6A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:47]
945*2^1413523-1 is not prime.  Res64: 4308BDAF94CA01FB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:48]
985*2^1413523-1 is not prime.  Res64: 81121F61BF961DC3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:52]
623*2^1413524-1 is not prime.  Res64: 33C2109CC632ED57  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:08:53]
725*2^1413524-1 is not prime.  Res64: E109D5B4789EE7EE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:25]
953*2^1413524-1 is not prime.  Res64: DD5F6E91849D1D8D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:26]
741*2^1413525-1 is not prime.  Res64: 5701FB4500BCE426  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:27]
787*2^1413525-1 is not prime.  Res64: 92D8724AD7CB7A4C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:27]
979*2^1413525-1 is not prime.  Res64: E5C7F7E89375DB2C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:27]
843*2^1413524-1 is not prime.  Res64: 2C012558148E0145  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:26:28]
869*2^1413524-1 is not prime.  Res64: 17EFFCE74D283B05  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:00]
603*2^1413526-1 is not prime.  Res64: A42CA2B2D470135A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:01]
813*2^1413526-1 is not prime.  Res64: 8AD9EAEA53E5390B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:01]
713*2^1413526-1 is not prime.  Res64: D6364611590B6FCB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:02]
821*2^1413526-1 is not prime.  Res64: 1447611D28DF5766  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:03]
857*2^1413526-1 is not prime.  Res64: 3524CB2E9BE89250  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 13:44:04]
897*2^1413526-1 is not prime.  Res64: DFD531E76DBD483B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:47]
963*2^1413527-1 is not prime.  Res64: A3565D9D690744A4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:48]
633*2^1413527-1 is not prime.  Res64: BD99F0AE4EA27BB1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:49]
633*2^1413528-1 is not prime.  Res64: 129A0EE0B6249E24  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:50]
987*2^1413526-1 is not prime.  Res64: EB93F5DE97278E6D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:51]
841*2^1413527-1 is not prime.  Res64: 53F95357B28ADAF9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:01:51]
1001*2^1413526-1 is not prime.  Res64: B2651A2D335C490B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:50]
707*2^1413528-1 is not prime.  Res64: 1D5EFC4AF9F7DC2B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:50]
795*2^1413528-1 is not prime.  Res64: DFEAA15443942291  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:51]
765*2^1413528-1 is not prime.  Res64: 4EDABF9F12711A8D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:51]
625*2^1413529-1 is not prime.  Res64: 980A40EEB8AB0C55  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:54]
839*2^1413528-1 is not prime.  Res64: 52DAB7EBAB9DB78E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:19:56]
887*2^1413528-1 is not prime.  Res64: ECF2ECD49EC55370  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:55]
691*2^1413529-1 is not prime.  Res64: 266834FE5498B08B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:55]
649*2^1413529-1 is not prime.  Res64: 1C906923A9A6C16C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:56]
741*2^1413529-1 is not prime.  Res64: 1E80CADCD23626CE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:56]
687*2^1413529-1 is not prime.  Res64: 5090010EA4D92BE7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:58]
919*2^1413529-1 is not prime.  Res64: 06BF942AC3E328AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:37:59]
987*2^1413529-1 is not prime.  Res64: 0F3BB8195EE63F76  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:55:58]
785*2^1413530-1 is not prime.  Res64: E0E8A87417BCEF83  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:55:59]
867*2^1413530-1 is not prime.  Res64: 37C0A1E827CB13DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:56:01]
935*2^1413530-1 is not prime.  Res64: 35A4D24BBFD08D3D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:56:02]
957*2^1413530-1 is not prime.  Res64: DD0E944851D42C85  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:56:05]
773*2^1413530-1 is not prime.  Res64: D6804CE2F6E6B03C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 14:56:05]
783*2^1413530-1 is not prime.  Res64: F8B3ADC5B356A5AF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:11]
705*2^1413531-1 is not prime.  Res64: 39AD81AFA33DD07C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:13]
801*2^1413531-1 is not prime.  Res64: EE2EE72E6D5224A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:16]
909*2^1413531-1 is not prime.  Res64: 5206A2F4DBB16341  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:16]
943*2^1413531-1 is not prime.  Res64: 7164F863E01D4F5D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:18]
961*2^1413531-1 is not prime.  Res64: 0F938538501949D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:14:19]
979*2^1413531-1 is not prime.  Res64: C6EDF6B6675A3464  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:51]
609*2^1413532-1 is not prime.  Res64: A27B4F1AC558C037  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:52]
749*2^1413532-1 is not prime.  Res64: 2B9AF0E32D62FF69  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:52]
717*2^1413532-1 is not prime.  Res64: 83857D5F2875E651  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:53]
755*2^1413532-1 is not prime.  Res64: 954E677BD73ABDB1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:53]
785*2^1413532-1 is not prime.  Res64: BC51903BE94F741F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:31:54]
819*2^1413532-1 is not prime.  Res64: 8CE0418C80809DE1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:26]
621*2^1413534-1 is not prime.  Res64: 4D48D95D508240D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:26]
875*2^1413532-1 is not prime.  Res64: CE8088B3ECE6E827  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:27]
731*2^1413534-1 is not prime.  Res64: E23371A3B0757A99  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:27]
903*2^1413532-1 is not prime.  Res64: BDDF515C8DD6E3ED  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:28]
631*2^1413533-1 is not prime.  Res64: 6765F17158FAD6AB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 15:49:29]
699*2^1413533-1 is not prime.  Res64: D4599BD07B5E0A7B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:06]
951*2^1413534-1 is not prime.  Res64: 2A4285E43DA5616E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:06]
741*2^1413534-1 is not prime.  Res64: 8E2458E59BC0B070  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:06]
633*2^1413535-1 is not prime.  Res64: CCB3A21A39AF6C0E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:07]
965*2^1413534-1 is not prime.  Res64: 1ADE530D1902816A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:07]
917*2^1413534-1 is not prime.  Res64: 5BD60FC89A27923B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:07:07]
651*2^1413535-1 is not prime.  Res64: 92DDC191D4DC49B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:42]
699*2^1413536-1 is not prime.  Res64: 26190D664DE97E00  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:43]
805*2^1413535-1 is not prime.  Res64: 5B771CA1232DD466  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:43]
777*2^1413536-1 is not prime.  Res64: 934AE490AEF77C09  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:44]
939*2^1413535-1 is not prime.  Res64: BCCFD99CF29B43CB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:44]
831*2^1413535-1 is not prime.  Res64: 18A9E7B04BB45D9E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:24:46]
689*2^1413536-1 is not prime.  Res64: D03F1EC24227F6E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:18]
615*2^1413537-1 is not prime.  Res64: 52D9B3812BC2C13E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:18]
903*2^1413536-1 is not prime.  Res64: ADE5A82AF4CECAF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:18]
765*2^1413537-1 is not prime.  Res64: D17E891F03CE5039  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:18]
717*2^1413537-1 is not prime.  Res64: 1467EB60D4F2269C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:18]
935*2^1413536-1 is not prime.  Res64: F9C89C8186BCC59C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:42:19]
837*2^1413537-1 is not prime.  Res64: 2130FE93992CFD88  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:49]
849*2^1413537-1 is not prime.  Res64: 2FD1FA6BE59CE4C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:49]
915*2^1413537-1 is not prime.  Res64: 30EF8EDB9F32C583  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:49]
889*2^1413537-1 is not prime.  Res64: 69BD3F6930268841  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:49]
713*2^1413538-1 is not prime.  Res64: B01A01624F74456E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:52]
923*2^1413538-1 is not prime.  Res64: 2A3688DD7D5196C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 16:59:53]
941*2^1413538-1 is not prime.  Res64: A0F2B26BC1619D47  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:24]
649*2^1413539-1 is not prime.  Res64: 1968635B96A2968E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:24]
945*2^1413538-1 is not prime.  Res64: 2B9ACF9F2D227D91  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:25]
711*2^1413539-1 is not prime.  Res64: 3AE2EB167F3B53A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:25]
645*2^1413539-1 is not prime.  Res64: 2D81268B3334D63A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:27]
823*2^1413539-1 is not prime.  Res64: EDB2006ACD70D817  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:17:28]
859*2^1413539-1 is not prime.  Res64: DB8151286C41CF9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:34:59]
969*2^1413539-1 is not prime.  Res64: 59174463A5F5A5CB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:35:00]
675*2^1413540-1 is not prime.  Res64: CD5988326B7DCA39  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:35:00]
633*2^1413540-1 is not prime.  Res64: 7A8BEF6F12652922  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:35:01]
759*2^1413540-1 is not prime.  Res64: BA861FCEE595055E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:35:01]
889*2^1413539-1 is not prime.  Res64: 5341E60D41D98ABA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:35:02]
943*2^1413539-1 is not prime.  Res64: 787D1AD6B982BC9A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:31]
983*2^1413540-1 is not prime.  Res64: A67F562CDEE36EED  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:31]
795*2^1413540-1 is not prime.  Res64: 18836C703D5BB0DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:32]
607*2^1413541-1 is not prime.  Res64: A9D02A5DEFDAFD68  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:32]
965*2^1413540-1 is not prime.  Res64: 1F02A604AD9098FF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:32]
609*2^1413541-1 is not prime.  Res64: E3F23244D5DB2BC0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 17:52:33]
769*2^1413541-1 is not prime.  Res64: 483248EB701DB281  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:04]
615*2^1413542-1 is not prime.  Res64: F64461EBD37B7C8D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:04]
855*2^1413541-1 is not prime.  Res64: 0A3B5D6539FA2360  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:05]
791*2^1413542-1 is not prime.  Res64: 7CF12E47CE59F6B5  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:05]
877*2^1413541-1 is not prime.  Res64: AD79CCA567E89AA3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:08]
901*2^1413541-1 is not prime.  Res64: A125D4BEFA50258B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:10:09]
937*2^1413541-1 is not prime.  Res64: BF89E8C2E6521C2C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:42]
921*2^1413542-1 is not prime.  Res64: E316CA99333B8552  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:43]
813*2^1413542-1 is not prime.  Res64: 803078607E037EE7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:43]
935*2^1413542-1 is not prime.  Res64: E992A66DC49A0583  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:44]
867*2^1413542-1 is not prime.  Res64: 91895652B1D7028A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:44]
621*2^1413543-1 is not prime.  Res64: 48D5A796FDB51FA2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:27:45]
649*2^1413543-1 is not prime.  Res64: C473F2880EF426B4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:16]
897*2^1413544-1 is not prime.  Res64: 8FA459A642F067E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:16]
639*2^1413544-1 is not prime.  Res64: 81B4FE31E6E3C42A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:17]
903*2^1413544-1 is not prime.  Res64: 50915C206710AAD3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:17]
695*2^1413544-1 is not prime.  Res64: 84895B9622926317  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:19]
825*2^1413544-1 is not prime.  Res64: C2C425DEFF245402  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 18:45:19]
857*2^1413544-1 is not prime.  Res64: 8D1106F6F2B26D40  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:52]
925*2^1413545-1 is not prime.  Res64: 9724692BA62023E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:53]
983*2^1413544-1 is not prime.  Res64: 0563068C5AC00F1D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:54]
957*2^1413545-1 is not prime.  Res64: BD04C1D98FD71D54  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:55]
717*2^1413545-1 is not prime.  Res64: CDAA633970104AB2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:56]
831*2^1413545-1 is not prime.  Res64: 278E259A8BA17E81  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:02:56]
989*2^1413544-1 is not prime.  Res64: 8480D90343815661  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:43]
611*2^1413546-1 is not prime.  Res64: 3F81B97FAFAD092B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:44]
733*2^1413547-1 is not prime.  Res64: A36551B9B3ED98B9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:44]
921*2^1413546-1 is not prime.  Res64: B054738A43A7973F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:44]
805*2^1413547-1 is not prime.  Res64: 23B2C250E9B976DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:45]
639*2^1413547-1 is not prime.  Res64: AD27EE82A054E7FA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:20:46]
703*2^1413547-1 is not prime.  Res64: E75C6448B64A92F7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:20]
667*2^1413549-1 is not prime.  Res64: 98763AE9AED63E14  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:21]
875*2^1413548-1 is not prime.  Res64: 9DDF4E30850A3EF0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:21]
745*2^1413549-1 is not prime.  Res64: A3AED752782DA04D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:21]
885*2^1413548-1 is not prime.  Res64: F356A10FBDBEDD58  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:25]
897*2^1413548-1 is not prime.  Res64: 227EC6070E4C3ADA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:38:26]
909*2^1413548-1 is not prime.  Res64: 338BC37898D9392B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:23]
789*2^1413549-1 is not prime.  Res64: 2823F60813A4CAD1  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:23]
847*2^1413549-1 is not prime.  Res64: A3AFFF24B3D0E153  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:24]
817*2^1413549-1 is not prime.  Res64: 0D90E4754472D591  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:24]
927*2^1413549-1 is not prime.  Res64: 4034591385A3B4F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:28]
991*2^1413549-1 is not prime.  Res64: 5A1648F4B345646A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 19:56:29]
611*2^1413550-1 is not prime.  Res64: F17611B6C59864C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:28]
747*2^1413550-1 is not prime.  Res64: F6A7A1F144E772F8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:29]
761*2^1413550-1 is not prime.  Res64: EF73FDF84942D53E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:38]
687*2^1413550-1 is not prime.  Res64: 02F0B2957C0A0EC0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:39]
843*2^1413550-1 is not prime.  Res64: FC9DB522E99E4B5D  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:39]
717*2^1413550-1 is not prime.  Res64: AE16CA121BA932EF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:14:39]
897*2^1413550-1 is not prime.  Res64: EE5F2CE572A61925  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:23]
911*2^1413550-1 is not prime.  Res64: 4A828A22D05605FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:24]
1001*2^1413550-1 is not prime.  Res64: CD59C71A16E7CAD0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:32]
693*2^1413551-1 is not prime.  Res64: 2D11BCD2CB4D6EDD  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:33]
735*2^1413551-1 is not prime.  Res64: C6BB62C938368922  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:33]
813*2^1413551-1 is not prime.  Res64: CC797322C94BB446  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:32:34]
909*2^1413551-1 is not prime.  Res64: 73163BAEBD6201C6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:49:59]
999*2^1413551-1 is not prime.  Res64: 2DFE708DAD8FD098  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:50:00]
633*2^1413552-1 is not prime.  Res64: 9B88B6F7720CD313  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:50:06]
825*2^1413552-1 is not prime.  Res64: 7887E06D264BF200  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:50:07]
923*2^1413552-1 is not prime.  Res64: 1884838404462D03  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:50:07]
729*2^1413553-1 is not prime.  Res64: DFAE156655D9948C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 20:50:08]
765*2^1413553-1 is not prime.  Res64: 5F193AB7BB05EB52  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:32]
771*2^1413553-1 is not prime.  Res64: 8D763CD434DA78E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:32]
801*2^1413553-1 is not prime.  Res64: 6E9381A85EF4A64F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:37]
847*2^1413553-1 is not prime.  Res64: 3BED7A0D3C4B4C85  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:37]
957*2^1413553-1 is not prime.  Res64: ED44B5E2FB31BE0E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:40]
999*2^1413553-1 is not prime.  Res64: 65828E9A4C410C5F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:07:41]
635*2^1413554-1 is not prime.  Res64: BB3838BB8A0B8885  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:07]
701*2^1413554-1 is not prime.  Res64: 22C0307C23EE423E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:08]
741*2^1413554-1 is not prime.  Res64: B3333BCF439D8DC4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:14]
815*2^1413554-1 is not prime.  Res64: 04B1055851F3C208  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:14]
837*2^1413554-1 is not prime.  Res64: 7E964FC694D40A50  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:18]
875*2^1413554-1 is not prime.  Res64: 3AE72681F35FFD1C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:25:18]
941*2^1413554-1 is not prime.  Res64: 867770916438639A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:41]
753*2^1413555-1 is not prime.  Res64: 3E63932E94B02DAE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:41]
885*2^1413555-1 is not prime.  Res64: C6579CAC1436DBE6  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:46]
895*2^1413555-1 is not prime.  Res64: 3F21678D203EDD21  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:46]
985*2^1413555-1 is not prime.  Res64: 0FF3547C9681AFBA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:49]
615*2^1413556-1 is not prime.  Res64: 498888B3B8ADC85B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 21:42:49]
617*2^1413556-1 is not prime.  Res64: F07F4FB45E9911E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:17]
647*2^1413556-1 is not prime.  Res64: 0FEF6CEA7C941D21  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:18]
663*2^1413556-1 is not prime.  Res64: 9A93056560A73A0A  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:21]
693*2^1413556-1 is not prime.  Res64: 8A281474D1BCE4AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:23]
845*2^1413556-1 is not prime.  Res64: 2EE6DACB4CDB4CCA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:26]
869*2^1413556-1 is not prime.  Res64: 222FBD7EF2F7A38C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:00:28]
873*2^1413556-1 is not prime.  Res64: E38C3521BF3D9A13  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:05]
947*2^1413556-1 is not prime.  Res64: C1B51D78BF394612  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:07]
631*2^1413557-1 is not prime.  Res64: BA98612C5CD4BE91  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:07]
607*2^1413557-1 is not prime.  Res64: 3AC204DD079FF40E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:08]
669*2^1413557-1 is not prime.  Res64: 1EDEF85A6D841ADE  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:13]
757*2^1413557-1 is not prime.  Res64: 67B213A68EEBF006  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:18:14]
769*2^1413557-1 is not prime.  Res64: E5A2DBD0EFDF5B6B  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:50]
707*2^1413558-1 is not prime.  Res64: 76891577D3AC9C01  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:51]
725*2^1413558-1 is not prime.  Res64: 6492CA6FA7E5CEBB  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:51]
825*2^1413557-1 is not prime.  Res64: 32BEBCA13E2070AC  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:52]
871*2^1413557-1 is not prime.  Res64: 0F6D5B2D20C06B7E  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:55]
747*2^1413558-1 is not prime.  Res64: E58437169E90F639  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:35:56]
791*2^1413558-1 is not prime.  Res64: D1E0FB6D9E4C2556  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:01]
619*2^1413559-1 is not prime.  Res64: A2A57D119415D108  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:02]
633*2^1413559-1 is not prime.  Res64: 19F3037F96427C9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:05]
639*2^1413559-1 is not prime.  Res64: 73FCDB9192C8E156  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:05]
861*2^1413558-1 is not prime.  Res64: 802761C3A669C342  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:05]
705*2^1413559-1 is not prime.  Res64: 21084828D4F8FF5F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 22:54:06]
893*2^1413558-1 is not prime.  Res64: 7CA2B8CA54177925  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:14]
709*2^1413559-1 is not prime.  Res64: 15410F3C569061F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:15]
605*2^1413560-1 is not prime.  Res64: 9648E1F993A4303F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:18]
609*2^1413560-1 is not prime.  Res64: 1650B05C816DA5F9  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:19]
767*2^1413560-1 is not prime.  Res64: 748FE51D01839AE4  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:19]
713*2^1413560-1 is not prime.  Res64: 25B054402268F7CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:12:20]
789*2^1413560-1 is not prime.  Res64: 707DB3FF2A43C9E2  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:40]
843*2^1413560-1 is not prime.  Res64: 9D779E54C8D42298  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:41]
929*2^1413560-1 is not prime.  Res64: C5F7CFCA5E01FBB0  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:46]
797*2^1413560-1 is not prime.  Res64: C1DF2DD853465EFF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:47]
825*2^1413560-1 is not prime.  Res64: 6B7EA111B4832F93  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:48]
963*2^1413560-1 is not prime.  Res64: D35BA5F40A62DC9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:30:49]
999*2^1413560-1 is not prime.  Res64: ACAE9C3DA4FFB900  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:52:49]
651*2^1413561-1 is not prime.  Res64: E1398C58AE716FCF  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:52:50]
861*2^1413561-1 is not prime.  Res64: 143B6BC560DD2DA8  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:53:01]
889*2^1413561-1 is not prime.  Res64: DCB75B48CC9B5F92  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:53:02]
949*2^1413561-1 is not prime.  Res64: F9629B1CA57066AA  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:53:06]
723*2^1413562-1 is not prime.  Res64: 20660C188E45558C  Time : 0.0 sec.
user=mdettweiler
[2015-10-29 23:53:07]
735*2^1413562-1 is not prime.  Res64: 8595C896C28E3C80  Time : 0.0 sec.