user=gd_barnes
[2013-10-27 00:04:20]
945*2^1263062-1 is not prime.  Res64: E81A0C280ECB15F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:05:27]
621*2^1263063-1 is not prime.  Res64: 19EEE9A898D25F6C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:05:27]
647*2^1263068-1 is not prime.  Res64: 18C25FB391186658  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:05:28]
665*2^1263068-1 is not prime.  Res64: E2F3ABBC96F55D3B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:08:07]
691*2^1263065-1 is not prime.  Res64: 82EFE89654CAD4C2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:08:07]
715*2^1263065-1 is not prime.  Res64: BB1A93E0D33E78BE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:08:53]
973*2^1263059-1 is not prime.  Res64: DB14C2E87BFEAC9F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:08:53]
985*2^1263059-1 is not prime.  Res64: A8CB29B964E76208  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:09:41]
859*2^1263063-1 is not prime.  Res64: 8FF158354F391760  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:09:58]
961*2^1263063-1 is not prime.  Res64: A38C4A90C902C0DE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:09:58]
873*2^1263063-1 is not prime.  Res64: 653700ED7B87D12C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:10:00]
687*2^1263064-1 is not prime.  Res64: BE17C0758A3C630D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:11:28]
719*2^1263064-1 is not prime.  Res64: 9F9E2F84A57E9EED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:11:29]
803*2^1263064-1 is not prime.  Res64: 26E68894296A8AA0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:13:20]
895*2^1263049-1 is not prime.  Res64: A494C3E50AA33743  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:14:08]
813*2^1263064-1 is not prime.  Res64: F480808735867833  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:14:08]
863*2^1263064-1 is not prime.  Res64: 2DDC91E4A82E3E18  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:14:30]
679*2^1263069-1 is not prime.  Res64: A736255F54BE7352  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:15:16]
985*2^1263065-1 is not prime.  Res64: BF38038CA9D1C37F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:15:18]
671*2^1263066-1 is not prime.  Res64: 47957A98B73D50F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:15:41]
869*2^1263064-1 is not prime.  Res64: D0465988984A4B29  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:15:45]
873*2^1263064-1 is not prime.  Res64: 91FA863A40B9478D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:16:50]
603*2^1263062-1 is not prime.  Res64: 558BB21A6D7FDB1B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:16:50]
683*2^1263062-1 is not prime.  Res64: C4AC3B2D45AEF231  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:17:55]
983*2^1263064-1 is not prime.  Res64: 05B70F9A5B7A8500  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:18:16]
741*2^1263062-1 is not prime.  Res64: C8F9679B796009F5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:18:16]
755*2^1263062-1 is not prime.  Res64: A9E437867D4181D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:18:59]
995*2^1263064-1 is not prime.  Res64: 772BC544484E04B0  Time : 0.0 sec.
user=juhehe
[2013-10-27 00:25:10]
987*2^1263068-1 is not prime.  Res64: 2DA44D15C95B45CD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:25:10]
787*2^1263065-1 is not prime.  Res64: 3457AAE1F167374D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:25:10]
831*2^1263065-1 is not prime.  Res64: 470E8351B488C076  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:04]
905*2^1263066-1 is not prime.  Res64: C6552F58BA80C78C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:04]
917*2^1263066-1 is not prime.  Res64: 3315E3B97D834388  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:28:27]
645*2^1263071-1 is not prime.  Res64: 43F4BC61DEA51E97  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:28:27]
783*2^1263071-1 is not prime.  Res64: B5E41DE38DEEC0D0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:48]
1001*2^1263066-1 is not prime.  Res64: 2D0701AF455DDC01  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:48]
921*2^1263066-1 is not prime.  Res64: 11A2590585755D32  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:48]
625*2^1263067-1 is not prime.  Res64: 0B38AFFF5159A794  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:28:48]
963*2^1263066-1 is not prime.  Res64: 59D4DE9332A6E281  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:29:31]
945*2^1263067-1 is not prime.  Res64: 9AB50AB3918F8FFC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:29:31]
603*2^1263068-1 is not prime.  Res64: 441814B496979BDB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:35:45]
735*2^1263067-1 is not prime.  Res64: 3A8103E802B6AC76  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:36:28]
769*2^1263067-1 is not prime.  Res64: BDE9F503A9123700  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:36:28]
805*2^1263067-1 is not prime.  Res64: FE56D85F3BD42EC0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:36:50]
759*2^1263067-1 is not prime.  Res64: FAACFB4137B01A6F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 00:52:15]
777*2^1263076-1 is not prime.  Res64: A605E5DC80B16256  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:52:37]
889*2^1263069-1 is not prime.  Res64: 8B1EE83125B061A9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:52:37]
919*2^1263069-1 is not prime.  Res64: 3279218990F7F572  Time : 0.0 sec.
user=juhehe
[2013-10-27 00:59:56]
795*2^1263075-1 is not prime.  Res64: 3E011B3F6B967B00  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 00:59:56]
813*2^1263070-1 is not prime.  Res64: 181CC313A98508EC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:03:20]
957*2^1263070-1 is not prime.  Res64: F6E59B9D6AA8A804  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:03:20]
619*2^1263071-1 is not prime.  Res64: A1C8ECD65AF9BAC4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:03:41]
843*2^1263070-1 is not prime.  Res64: DB22ADF1D8EAE36B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:04:06]
901*2^1263077-1 is not prime.  Res64: 322A08E8A70E0D56  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:04:07]
939*2^1263077-1 is not prime.  Res64: E4B21A27D7485F05  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:05:32]
895*2^1263073-1 is not prime.  Res64: E322213CF0DB511A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:05:32]
937*2^1263073-1 is not prime.  Res64: E6F3EC7ADDBDF99E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:06:38]
909*2^1263072-1 is not prime.  Res64: 4C8C3560AFCC6280  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:06:39]
615*2^1263073-1 is not prime.  Res64: C9DAB0A756647FDD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:07:01]
885*2^1263071-1 is not prime.  Res64: 573A34F27665459E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:07:01]
901*2^1263071-1 is not prime.  Res64: 76909A0024B54FDC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:08:54]
803*2^1263072-1 is not prime.  Res64: FBFF786CA7EBF94C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:10:10]
819*2^1263072-1 is not prime.  Res64: 6B4B37D82AD6151C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:10:32]
921*2^1263069-1 is not prime.  Res64: 990893793DEB33E1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:10:32]
663*2^1263070-1 is not prime.  Res64: 1043B0E5CFBCB542  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:10:57]
685*2^1263073-1 is not prime.  Res64: A51CDB0039D01ACB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:10:59]
705*2^1263073-1 is not prime.  Res64: 4C2DC7F721AB786E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:11:21]
831*2^1263069-1 is not prime.  Res64: 5D3CEE3CA84BFAB0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:12:22]
847*2^1263069-1 is not prime.  Res64: 6E2640E2D02B32AA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:12:31]
843*2^1263068-1 is not prime.  Res64: 0C2A18C17C8627F4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:12:32]
875*2^1263068-1 is not prime.  Res64: 657983F2F2FAC141  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:07]
741*2^1263073-1 is not prime.  Res64: BCB0D3DFC703D83C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:08]
775*2^1263073-1 is not prime.  Res64: 121B2082696FEA24  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:52]
651*2^1263075-1 is not prime.  Res64: 24D1C14CB55CC692  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:52]
705*2^1263075-1 is not prime.  Res64: 4EE9F55CE9CEDC77  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:55]
879*2^1263068-1 is not prime.  Res64: 87C47F473F6C2EAB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:13:56]
945*2^1263068-1 is not prime.  Res64: D65C72D5F2DC30FB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:15:25]
979*2^1263073-1 is not prime.  Res64: E2433ECCB7426EEE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:15:25]
987*2^1263073-1 is not prime.  Res64: 92F721033DC64412  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:17:05]
675*2^1263070-1 is not prime.  Res64: 4F736911796461C5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:17:05]
687*2^1263070-1 is not prime.  Res64: CC8FC635655C3B12  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:17:15]
971*2^1263074-1 is not prime.  Res64: 539B0A9D63AAF821  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:17:15]
1001*2^1263074-1 is not prime.  Res64: 78A50492CA44CB98  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:20:15]
711*2^1263077-1 is not prime.  Res64: 744933D63A5DEC26  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:20:15]
729*2^1263077-1 is not prime.  Res64: B4F1C0060ECC2CDA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:23:23]
609*2^1263076-1 is not prime.  Res64: 94BD1DEAA62415F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:23:24]
735*2^1263076-1 is not prime.  Res64: 92DCBE07F6349E69  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:24:41]
873*2^1263076-1 is not prime.  Res64: BCE02929F1762153  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:24:41]
607*2^1263077-1 is not prime.  Res64: 332405669EEA4743  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:27:08]
803*2^1263076-1 is not prime.  Res64: 3FB2DD60C5C7E3D7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:27:08]
845*2^1263076-1 is not prime.  Res64: 4E1E3923E30FC0C7  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:28:09]
945*2^1263078-1 is not prime.  Res64: BD5A0F361BEBC709  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:28:09]
709*2^1263079-1 is not prime.  Res64: FA9406A512468552  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:35:37]
771*2^1263077-1 is not prime.  Res64: D71D69D95FD1EB51  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:35:37]
837*2^1263077-1 is not prime.  Res64: E4337E738A445C24  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:35:59]
847*2^1263077-1 is not prime.  Res64: F6AA8AE109960060  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:35:59]
867*2^1263077-1 is not prime.  Res64: F2A7EC4CACF23244  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:36:45]
999*2^1263071-1 is not prime.  Res64: 9D173C73E859A570  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:36:45]
747*2^1263072-1 is not prime.  Res64: A5102642EED6C26B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:37:07]
825*2^1263074-1 is not prime.  Res64: 68A92F27EA9C9519  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:37:07]
935*2^1263074-1 is not prime.  Res64: D39D5813A7FA66F9  Time : 0.0 sec.
user=juhehe
[2013-10-27 01:37:50]
635*2^1263078-1 is not prime.  Res64: 1593BC79D3DCF767  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:44:42]
677*2^1263074-1 is not prime.  Res64: F48C3B1CF9957674  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:44:42]
815*2^1263074-1 is not prime.  Res64: 375295B1AE889F57  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:48:17]
981*2^1263077-1 is not prime.  Res64: 72D0E0293610F818  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:48:17]
611*2^1263078-1 is not prime.  Res64: 62008C675FA7A99C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:53:25]
935*2^1263086-1 is not prime.  Res64: 54798ED03CC08492  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 01:53:25]
971*2^1263086-1 is not prime.  Res64: E2B2966C08E61000  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:55:59]
859*2^1263079-1 is not prime.  Res64: 630D7ACDC7F51E87  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 01:56:00]
909*2^1263079-1 is not prime.  Res64: E630446A63643805  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:02:48]
755*2^1263078-1 is not prime.  Res64: CEA9F8318CE7D12A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:02:50]
843*2^1263078-1 is not prime.  Res64: 5E693BFD54EF5123  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:03:29]
723*2^1263079-1 is not prime.  Res64: 7E2DFF6CCCE7A98E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:03:51]
657*2^1263081-1 is not prime.  Res64: C40379C3C38A4289  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:03:52]
669*2^1263081-1 is not prime.  Res64: 00E4D04383B04C18  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:04:35]
729*2^1263079-1 is not prime.  Res64: 62BBE07FC465A8E2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:05:19]
855*2^1263080-1 is not prime.  Res64: 8556A95876B8BDF7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:05:19]
753*2^1263080-1 is not prime.  Res64: C1BE5F2B8D5D9333  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:05:19]
977*2^1263080-1 is not prime.  Res64: 47BB0373C5A5C016  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:06:24]
795*2^1263080-1 is not prime.  Res64: 1D5323E09DD068CD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:07:33]
607*2^1263085-1 is not prime.  Res64: B0C4CD885EE6E205  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:07:33]
919*2^1263085-1 is not prime.  Res64: 7979247E804E35C3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:10:31]
739*2^1263081-1 is not prime.  Res64: 0C092DB44BE44A92  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:10:31]
719*2^1263084-1 is not prime.  Res64: 3160B1AEBA5B24AA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:10:31]
783*2^1263084-1 is not prime.  Res64: 2F75FD2392C3FA0B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:11:37]
835*2^1263081-1 is not prime.  Res64: 2A41B1D341D6A77F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:11:38]
755*2^1263082-1 is not prime.  Res64: 20B44C5884312C8D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:11:40]
765*2^1263082-1 is not prime.  Res64: 79E6A03F412AE981  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:12:04]
675*2^1263082-1 is not prime.  Res64: B9C198E98F9C141E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:12:04]
713*2^1263082-1 is not prime.  Res64: 7FDA986BE6D1470A  Time : 0.0 sec.
user=juhehe
[2013-10-27 02:13:11]
747*2^1263088-1 is not prime.  Res64: D28A4B3ADFF3C7F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:14:37]
853*2^1263083-1 is not prime.  Res64: CB6D47C3DDF57AE4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:14:37]
855*2^1263083-1 is not prime.  Res64: 4A70E83C70F613DD  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 02:15:20]
787*2^1263069-1 is not prime.  Res64: C517497F354C628C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 02:18:23]
801*2^1263089-1 is not prime.  Res64: B99FC735D2A2FE4B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:19:00]
999*2^1263085-1 is not prime.  Res64: 012A01E89E0389D3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:19:00]
603*2^1263086-1 is not prime.  Res64: 6C2601AB5F6A95AC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:20:29]
627*2^1263086-1 is not prime.  Res64: C7927747020C381B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:20:29]
795*2^1263086-1 is not prime.  Res64: 8862169E3D71134A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:24:42]
999*2^1263080-1 is not prime.  Res64: FBC1064A06344466  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:25:03]
827*2^1263086-1 is not prime.  Res64: 02961217CDABEB17  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:25:03]
857*2^1263086-1 is not prime.  Res64: E211C97C753B5473  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:25:46]
649*2^1263081-1 is not prime.  Res64: 945E19E5BEBF5621  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:28:04]
625*2^1263087-1 is not prime.  Res64: 537761FBA82F1B0D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:28:04]
651*2^1263087-1 is not prime.  Res64: F530132D3A898A9C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:31:23]
895*2^1263081-1 is not prime.  Res64: 6C78E5AB6994D730  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:31:23]
901*2^1263081-1 is not prime.  Res64: AEB84776E4775DEB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:34:17]
921*2^1263081-1 is not prime.  Res64: DF578574C9FA6209  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:35:01]
703*2^1263087-1 is not prime.  Res64: 56B16DE03B7C0A08  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:35:02]
751*2^1263087-1 is not prime.  Res64: 7345A0B87D8A6D8F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:35:19]
645*2^1263082-1 is not prime.  Res64: A302A2495C803BB7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:36:15]
985*2^1263083-1 is not prime.  Res64: 8A9E80B815EE13DC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:36:17]
705*2^1263084-1 is not prime.  Res64: 1B5E615B37C71040  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 02:38:17]
903*2^1263092-1 is not prime.  Res64: DD8C7D9611E8E99C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 02:38:17]
935*2^1263092-1 is not prime.  Res64: DAAF059C82FAF6DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:40:28]
855*2^1263082-1 is not prime.  Res64: FA29CC836186FE32  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:40:28]
741*2^1263083-1 is not prime.  Res64: 1CDCEA2916048539  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:44:49]
987*2^1263089-1 is not prime.  Res64: C9DBFB8B71BBD184  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:44:51]
627*2^1263090-1 is not prime.  Res64: 896539471CFC8CB2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:47:25]
711*2^1263089-1 is not prime.  Res64: 90D2FF819DC5A364  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:47:25]
769*2^1263089-1 is not prime.  Res64: F1C853BE38E96626  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 02:54:42]
779*2^1263076-1 is not prime.  Res64: 72E5CC9EA23F675D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:56:10]
927*2^1263088-1 is not prime.  Res64: FE9D247E2DB05469  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:56:11]
969*2^1263088-1 is not prime.  Res64: 7E6971613C004415  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:58:45]
671*2^1263090-1 is not prime.  Res64: DEE72F40299CDD50  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:58:45]
713*2^1263090-1 is not prime.  Res64: 91EBCA1A251EF57A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:58:54]
705*2^1263091-1 is not prime.  Res64: C146F8C97F54DC43  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 02:58:54]
769*2^1263091-1 is not prime.  Res64: D8730F71E27B8756  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:00:27]
617*2^1263092-1 is not prime.  Res64: 57BB9049A053BB49  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:00:28]
677*2^1263092-1 is not prime.  Res64: E24C399A5A7213B6  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:01:39]
917*2^1263096-1 is not prime.  Res64: C7BBE5F9F1356EAE  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:01:40]
615*2^1263097-1 is not prime.  Res64: 80A78AD49B4D0688  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:00]
741*2^1263090-1 is not prime.  Res64: FE53FA3BC60A0C1B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:02]
765*2^1263090-1 is not prime.  Res64: 25CFD9D0317E87E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:10]
769*2^1263087-1 is not prime.  Res64: 5B679635A00EE00A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:12]
825*2^1263087-1 is not prime.  Res64: 7FBC5103BFE224EC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:26]
891*2^1263090-1 is not prime.  Res64: 283D4ED5710A413A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:29]
917*2^1263090-1 is not prime.  Res64: 1B1415A40C7BE0E6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:42]
821*2^1263090-1 is not prime.  Res64: 2EE6DBCC76118089  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:03:45]
885*2^1263090-1 is not prime.  Res64: 0F6D38011264F447  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:05:44]
679*2^1263091-1 is not prime.  Res64: EB8DAB9DABA56221  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:06:52]
681*2^1263091-1 is not prime.  Res64: 68279E8D7BA8015A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:08:41]
789*2^1263091-1 is not prime.  Res64: 8707AFC12F665E9F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:08:42]
813*2^1263091-1 is not prime.  Res64: 36FC280C9F5A34C5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:10:35]
675*2^1263089-1 is not prime.  Res64: 40508D30E4E1073C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:10:35]
685*2^1263089-1 is not prime.  Res64: 4BDC6E30B70715F9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:10:37]
979*2^1263091-1 is not prime.  Res64: B8D150567D9C64D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:10:37]
725*2^1263092-1 is not prime.  Res64: B3E9E250572BB483  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:11:07]
797*2^1263092-1 is not prime.  Res64: 8FCB0BB037D7C5BE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:12:14]
875*2^1263092-1 is not prime.  Res64: F418784E67199A6B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:14:04]
945*2^1263092-1 is not prime.  Res64: 6F3F68801E579689  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:14:04]
959*2^1263092-1 is not prime.  Res64: F6CF37AD90ADD476  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:15:52]
707*2^1263098-1 is not prime.  Res64: C461D693F6FF05E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:18:00]
977*2^1263092-1 is not prime.  Res64: 2D8FD7B0A38AE788  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:18:00]
721*2^1263093-1 is not prime.  Res64: E70C7F99FDC1580B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:19:53]
861*2^1263093-1 is not prime.  Res64: CA76E984EE10C714  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:19:53]
895*2^1263093-1 is not prime.  Res64: 2A1E7E5F99AD9459  Time : 0.0 sec.
user=juhehe
[2013-10-27 03:21:40]
885*2^1263094-1 is not prime.  Res64: 99E3C683E4CF97F6  Time : 0.0 sec.
user=juhehe
[2013-10-27 03:22:23]
665*2^1263098-1 is not prime.  Res64: 30A3B1F7B2CDBE08  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:23:27]
921*2^1263093-1 is not prime.  Res64: E3E41D221F9FB161  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:23:27]
927*2^1263093-1 is not prime.  Res64: AE3FE69C54E35EBD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:23:48]
623*2^1263094-1 is not prime.  Res64: 5016E48D6E8BCD07  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:23:49]
737*2^1263094-1 is not prime.  Res64: CAFB38050254F765  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:24:58]
973*2^1263099-1 is not prime.  Res64: 88974DC992F7EAA2  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:24:58]
735*2^1263100-1 is not prime.  Res64: 4C2F3DDDCED7B784  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:34:07]
885*2^1263095-1 is not prime.  Res64: 54549B1D6B70243A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:35:13]
921*2^1263095-1 is not prime.  Res64: 651D6838A31FD541  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:37:01]
771*2^1263097-1 is not prime.  Res64: 28539E73CB2F186C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:37:01]
847*2^1263097-1 is not prime.  Res64: D9AA3A9FCB9E244A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:46:32]
861*2^1263097-1 is not prime.  Res64: CBA2BA3DF40385C1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:46:32]
985*2^1263093-1 is not prime.  Res64: 015F84E5C8B6806A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:46:32]
987*2^1263093-1 is not prime.  Res64: D72C4CC40797733A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:47:37]
945*2^1263097-1 is not prime.  Res64: 7D09BAE0A3A9DB5B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:47:58]
701*2^1263106-1 is not prime.  Res64: 54C1160B29B277F7  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 03:47:58]
765*2^1263106-1 is not prime.  Res64: 0AD66BBEE2B66F02  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:48:41]
971*2^1263098-1 is not prime.  Res64: F921ED62A7DC8DD6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:49:45]
663*2^1263099-1 is not prime.  Res64: 85CB756132239690  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:51:53]
693*2^1263095-1 is not prime.  Res64: A7D79FAFFCC17596  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:52:57]
859*2^1263095-1 is not prime.  Res64: 55EE485624BD78AE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:54:01]
685*2^1263099-1 is not prime.  Res64: 5D973B42D6140A65  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:54:01]
735*2^1263099-1 is not prime.  Res64: 2B755E57A60DB047  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:56:57]
693*2^1263096-1 is not prime.  Res64: FD6EC7FBC81E5AFE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:56:57]
773*2^1263096-1 is not prime.  Res64: 9FE410B948A7BDC9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:57:21]
693*2^1263102-1 is not prime.  Res64: 205BC6320C355C33  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:57:21]
711*2^1263102-1 is not prime.  Res64: A9EA73E39309EAE6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:57:40]
827*2^1263098-1 is not prime.  Res64: 86047AEE5176148E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 03:57:41]
875*2^1263098-1 is not prime.  Res64: D435FF04D9792D14  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:00:15]
611*2^1263102-1 is not prime.  Res64: D27B5C081435A449  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:01:22]
635*2^1263102-1 is not prime.  Res64: F6ECAB85C2301FF7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:01:44]
929*2^1263100-1 is not prime.  Res64: D25373492B55B0C8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:01:45]
933*2^1263100-1 is not prime.  Res64: 0E72C211D9C7746D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:11]
667*2^1263097-1 is not prime.  Res64: 17D952E3E72D8A83  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:13]
699*2^1263097-1 is not prime.  Res64: F8D8B077047464CE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:16]
833*2^1263100-1 is not prime.  Res64: 09E176033B551BC9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:18]
875*2^1263100-1 is not prime.  Res64: 123D6887480FB992  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:27]
963*2^1263095-1 is not prime.  Res64: EEF24B1DD2ADB01D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:02:28]
675*2^1263096-1 is not prime.  Res64: FEA5BF2F02787AC3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:06:29]
891*2^1263102-1 is not prime.  Res64: 1355086F1FB3753B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:06:29]
959*2^1263100-1 is not prime.  Res64: AFF1E904D2564597  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:06:30]
885*2^1263101-1 is not prime.  Res64: EA6D2150450E6961  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:07:37]
673*2^1263103-1 is not prime.  Res64: 11C92A55B74DE94A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:09:52]
945*2^1263103-1 is not prime.  Res64: 241CD5E8B5167ECB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:09:54]
615*2^1263104-1 is not prime.  Res64: 842C5A4268D652D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:11:03]
709*2^1263103-1 is not prime.  Res64: 11DCFCC3E9AAB416  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:11:04]
723*2^1263103-1 is not prime.  Res64: 8CA093C3EF9A75F7  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:12:54]
985*2^1263107-1 is not prime.  Res64: 213C360B09B97D10  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:12:55]
955*2^1263089-1 is not prime.  Res64: 727F3E530FF9E594  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:15:25]
801*2^1263098-1 is not prime.  Res64: A1942BDECEADAF42  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:16:29]
813*2^1263098-1 is not prime.  Res64: E08F5228343E1F6A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:16:52]
825*2^1263104-1 is not prime.  Res64: 05BE9F92B00BB373  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:17:56]
869*2^1263104-1 is not prime.  Res64: 6EA528B935DF7161  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:19:00]
969*2^1263104-1 is not prime.  Res64: C605CBE3FC966C95  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:19:00]
819*2^1263105-1 is not prime.  Res64: 4881CCE829C48F64  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:21:26]
861*2^1263105-1 is not prime.  Res64: 85E38A469BFFF60B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:21:26]
867*2^1263105-1 is not prime.  Res64: 2C3A6833C6E5C732  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:23:08]
991*2^1263105-1 is not prime.  Res64: DD0BC205215E33ED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:23:08]
695*2^1263106-1 is not prime.  Res64: D8EDEE1F27E3E4FC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:28:08]
911*2^1263106-1 is not prime.  Res64: 452389A15D897477  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:28:08]
923*2^1263106-1 is not prime.  Res64: B1AFAF7573D09394  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:29:06]
887*2^1263100-1 is not prime.  Res64: F0035ED329FA7276  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:29:06]
909*2^1263100-1 is not prime.  Res64: B96DB8DFE5C2CBD9  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:32:37]
983*2^1263112-1 is not prime.  Res64: 196FCC619B843404  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:32:38]
999*2^1263112-1 is not prime.  Res64: D6F97162FB6CA5DE  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:33:36]
627*2^1263114-1 is not prime.  Res64: 779C8ED0A941F0E4  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:33:37]
681*2^1263114-1 is not prime.  Res64: 45B67871E5E19A0F  Time : 0.0 sec.
user=juhehe
[2013-10-27 04:33:44]
887*2^1263110-1 is not prime.  Res64: D0EE5FC476D1C898  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:33:56]
785*2^1263106-1 is not prime.  Res64: B387B9A68FE1E791  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:33:57]
861*2^1263106-1 is not prime.  Res64: FD5D74CF0FAA065E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:36:23]
713*2^1263102-1 is not prime.  Res64: 39FB4A436CB69508  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:36:23]
807*2^1263102-1 is not prime.  Res64: 243A135DE5A91F68  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:40:46]
707*2^1263108-1 is not prime.  Res64: AE594D0757160220  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:40:46]
789*2^1263108-1 is not prime.  Res64: 268E8249AE890AE5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:46:26]
801*2^1263107-1 is not prime.  Res64: F639B6C313401130  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:46:26]
915*2^1263107-1 is not prime.  Res64: 9465FA690B1B8441  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:50:25]
623*2^1263110-1 is not prime.  Res64: 242589D04C2CEAA2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:51:29]
755*2^1263110-1 is not prime.  Res64: 3692B5EE9A2F0696  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:51:50]
789*2^1263109-1 is not prime.  Res64: 12F258A9BDEED4AD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:52:58]
801*2^1263109-1 is not prime.  Res64: 855B569D959B2D1C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:53:22]
601*2^1263107-1 is not prime.  Res64: B440EB6E3F39D6A3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:53:23]
651*2^1263107-1 is not prime.  Res64: DA6AB6EC40BE387B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:54:29]
669*2^1263117-1 is not prime.  Res64: 30F3E009B86AB57E  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:54:29]
835*2^1263117-1 is not prime.  Res64: C9C9427061AB17F8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:54:51]
643*2^1263111-1 is not prime.  Res64: BF33AB136362A146  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:54:51]
669*2^1263111-1 is not prime.  Res64: 32F8A692FD4DDDF6  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 04:55:16]
865*2^1263117-1 is not prime.  Res64: 7084263EFFFE9A47  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:57:03]
797*2^1263110-1 is not prime.  Res64: E55A7D546C1266B1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:58:07]
827*2^1263110-1 is not prime.  Res64: 645F53409371A355  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:59:12]
917*2^1263110-1 is not prime.  Res64: 2540304ACABA4F02  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 04:59:12]
981*2^1263110-1 is not prime.  Res64: 76CFC1F88639470C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:01:47]
723*2^1263111-1 is not prime.  Res64: 92E3E26AE52A84BC  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:02:31]
713*2^1263098-1 is not prime.  Res64: EE378451A7F363D7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:02:54]
849*2^1263111-1 is not prime.  Res64: 38A6A460FFB2E407  Time : 0.0 sec.
user=juhehe
[2013-10-27 05:04:10]
647*2^1263118-1 is not prime.  Res64: AA502FF44D208E59  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:05:42]
921*2^1263111-1 is not prime.  Res64: 4578ECA299B3977E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:05:43]
695*2^1263112-1 is not prime.  Res64: 6F0DD2FD06289DF4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:06:48]
735*2^1263112-1 is not prime.  Res64: D9786B536D949F5D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:07:54]
785*2^1263112-1 is not prime.  Res64: 5F04FCB9E240590D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:09:22]
675*2^1263113-1 is not prime.  Res64: 463AA72D70C2CD79  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:09:22]
759*2^1263113-1 is not prime.  Res64: C6C7A8840097BB19  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:10:31]
797*2^1263108-1 is not prime.  Res64: CAC4B6BC28FC8860  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:10:31]
789*2^1263113-1 is not prime.  Res64: CDEC5DD524E7A209  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:10:31]
845*2^1263108-1 is not prime.  Res64: 5E29B558C03BA7C8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:13:42]
949*2^1263113-1 is not prime.  Res64: A0C2C151BEFB7BC0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:14:46]
877*2^1263109-1 is not prime.  Res64: 58E0BE37101E7F36  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:15:51]
957*2^1263109-1 is not prime.  Res64: 8F12400E24FAD361  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:16:12]
959*2^1263120-1 is not prime.  Res64: FB797B2186140173  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:16:12]
625*2^1263121-1 is not prime.  Res64: 4E611FB4CFD5A63D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:16:34]
935*2^1263116-1 is not prime.  Res64: 8095753AD1F19088  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:16:34]
609*2^1263117-1 is not prime.  Res64: 07A114F2F93981B2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:16:56]
883*2^1263115-1 is not prime.  Res64: A4A036BB0D0BA30A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:16:56]
613*2^1263111-1 is not prime.  Res64: BD31A21EC69D4714  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:16:56]
615*2^1263111-1 is not prime.  Res64: B3C7F670F87DBCDB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:18:00]
915*2^1263115-1 is not prime.  Res64: 46A9269D8B78CB09  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:18:22]
939*2^1263115-1 is not prime.  Res64: F358E611AD9FE001  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:18:22]
961*2^1263115-1 is not prime.  Res64: B59621B10703810D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:18:44]
855*2^1263116-1 is not prime.  Res64: 453C03D56C585C58  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:18:44]
867*2^1263116-1 is not prime.  Res64: 6D94D10A62D603E7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:22:24]
875*2^1263116-1 is not prime.  Res64: 87FDFB005561A37D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:22:24]
923*2^1263116-1 is not prime.  Res64: 7DACEFFFC95038F9  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:25:13]
931*2^1263121-1 is not prime.  Res64: E66467E7ED29B1D9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:31:10]
843*2^1263112-1 is not prime.  Res64: 4D383589F083ECC6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:31:10]
909*2^1263112-1 is not prime.  Res64: 20C56E6661F7AAD2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:32:14]
741*2^1263119-1 is not prime.  Res64: 22EF8793C2F05465  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:32:14]
831*2^1263119-1 is not prime.  Res64: B179D72F3FD7E385  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:33:18]
687*2^1263118-1 is not prime.  Res64: B560B3146479FC47  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:33:18]
801*2^1263118-1 is not prime.  Res64: 06E044C92E520974  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:35:05]
807*2^1263114-1 is not prime.  Res64: 46BF9AC1733EB90B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:36:09]
1001*2^1263114-1 is not prime.  Res64: 35AFD7943B36F847  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:36:56]
665*2^1263124-1 is not prime.  Res64: 2DC7C6B6CF656241  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:37:13]
677*2^1263124-1 is not prime.  Res64: F3A8B6FD2C7A72AC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:44:27]
651*2^1263117-1 is not prime.  Res64: 6C970471BE2066D8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:45:14]
859*2^1263119-1 is not prime.  Res64: AF75F03B1A32C14C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:45:14]
861*2^1263119-1 is not prime.  Res64: 86D50028085D4628  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:45:34]
661*2^1263117-1 is not prime.  Res64: C42BCF99C2CAF7ED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:47:04]
639*2^1263121-1 is not prime.  Res64: 0C242CDBF27DDDD7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:47:04]
651*2^1263121-1 is not prime.  Res64: 61668F06844E903B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:48:57]
865*2^1263119-1 is not prime.  Res64: 9EFFE861EFD569D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:48:57]
939*2^1263119-1 is not prime.  Res64: 981998EFE173F9B1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:50:20]
943*2^1263119-1 is not prime.  Res64: 2A4CC8B692ACB949  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:50:20]
737*2^1263120-1 is not prime.  Res64: D2ADF483B5A1223F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:56:50]
895*2^1263121-1 is not prime.  Res64: CCBF6B735B8DF444  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 05:56:50]
993*2^1263107-1 is not prime.  Res64: CFC38BC5140D54C8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:56:50]
925*2^1263121-1 is not prime.  Res64: 04F6527BC680886A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:57:12]
777*2^1263121-1 is not prime.  Res64: 11E92D4B2BE61667  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 05:57:12]
835*2^1263121-1 is not prime.  Res64: 6777E71C192324C3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:01:08]
685*2^1263119-1 is not prime.  Res64: 90FDF28441066EC9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:01:09]
705*2^1263119-1 is not prime.  Res64: 2F416571660839D2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:01:42]
731*2^1263122-1 is not prime.  Res64: 554A09E91CA8C1FA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:01:43]
843*2^1263122-1 is not prime.  Res64: CB41BD2B334D7D86  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:04:33]
921*2^1263122-1 is not prime.  Res64: F1EACDC00A9542C6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:04:34]
981*2^1263122-1 is not prime.  Res64: 906A25D5114969C8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:06:22]
707*2^1263124-1 is not prime.  Res64: 014C37D632794C6C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:06:22]
803*2^1263124-1 is not prime.  Res64: 3E74EECF2B07195B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:06:45]
685*2^1263123-1 is not prime.  Res64: 8DABD92F4EDC0F6E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:06:46]
741*2^1263123-1 is not prime.  Res64: BB14438BBF9F6A92  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:08:18]
765*2^1263123-1 is not prime.  Res64: AEF2EBA21BA6484A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:08:18]
775*2^1263123-1 is not prime.  Res64: D24601B2780E4187  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:11:06]
933*2^1263120-1 is not prime.  Res64: 576FAC18FF006FE1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:11:06]
945*2^1263120-1 is not prime.  Res64: 3B427CC2D8E142E0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:13:00]
879*2^1263123-1 is not prime.  Res64: 1272D3EB01FEC236  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:13:00]
901*2^1263123-1 is not prime.  Res64: 83789CB2BF0042C5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:13:24]
657*2^1263125-1 is not prime.  Res64: 4ECA68B2204BA7A4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:13:24]
781*2^1263125-1 is not prime.  Res64: 07D2612D8C7FC338  Time : 0.0 sec.
user=juhehe
[2013-10-27 06:15:31]
755*2^1263128-1 is not prime.  Res64: 893AE0B8EBE3E745  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:16:53]
889*2^1263125-1 is not prime.  Res64: 331E62D902E33330  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:16:53]
987*2^1263125-1 is not prime.  Res64: AD551CB51865C01F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:17:50]
671*2^1263126-1 is not prime.  Res64: CCC5AAAF74F7CAFB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:17:50]
903*2^1263126-1 is not prime.  Res64: D3DF6E8636BD12E3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:18:10]
867*2^1263125-1 is not prime.  Res64: 79E18CB97F0AC79A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:18:11]
871*2^1263125-1 is not prime.  Res64: 1F4CF651BCB62EE4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:18:54]
645*2^1263127-1 is not prime.  Res64: 0571D4B7CCCF0175  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:18:54]
729*2^1263127-1 is not prime.  Res64: 2A4457F7398C8373  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:26:52]
781*2^1263123-1 is not prime.  Res64: A92448F583E614E8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:27:34]
943*2^1263123-1 is not prime.  Res64: B9C7DFE9AE08C9FF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:27:34]
623*2^1263124-1 is not prime.  Res64: 53D9882F409740F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:27:55]
853*2^1263123-1 is not prime.  Res64: B8EDDD03AB541623  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:32:22]
829*2^1263127-1 is not prime.  Res64: 869ABE379CCE20A9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:32:22]
895*2^1263127-1 is not prime.  Res64: B28FC6600C9EA7E3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:38:25]
615*2^1263129-1 is not prime.  Res64: B186CA451AF7B474  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:39:38]
657*2^1263129-1 is not prime.  Res64: 9F3893DCD10E8405  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:40:43]
681*2^1263129-1 is not prime.  Res64: 07B91908410F87CA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:40:43]
705*2^1263129-1 is not prime.  Res64: 1C38BC1219BCA231  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:42:10]
603*2^1263128-1 is not prime.  Res64: AAE43B6BCA90B8D7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:42:10]
617*2^1263128-1 is not prime.  Res64: 5262B9BA02F9B5C4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:43:34]
905*2^1263124-1 is not prime.  Res64: 02FEE66F0934F0A7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:44:16]
827*2^1263128-1 is not prime.  Res64: 5836A20DD1A00194  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:44:17]
869*2^1263128-1 is not prime.  Res64: D18A99FEA98FB205  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:44:38]
983*2^1263124-1 is not prime.  Res64: 0CAB6E62ED30C832  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:46:24]
963*2^1263128-1 is not prime.  Res64: 2C1B7A9F6FB9336A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:46:25]
969*2^1263128-1 is not prime.  Res64: C7881D32F9591684  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:50:48]
727*2^1263129-1 is not prime.  Res64: EEE5498B9BE3737B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:50:48]
741*2^1263129-1 is not prime.  Res64: EEC4B55F4D745B6B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:56:10]
753*2^1263131-1 is not prime.  Res64: 8D1F438305C6E394  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:56:10]
747*2^1263130-1 is not prime.  Res64: 537258FDE062BD2C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:56:11]
859*2^1263131-1 is not prime.  Res64: 5B71F493D6332A18  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:56:11]
777*2^1263130-1 is not prime.  Res64: 8F1156CAB9F74C5A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:57:24]
921*2^1263126-1 is not prime.  Res64: 189039A9EA1D85D5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 06:57:24]
923*2^1263126-1 is not prime.  Res64: BDDD04AD422943A3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:00:34]
857*2^1263130-1 is not prime.  Res64: E2C8CDDE4D2E91CB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:01:41]
885*2^1263130-1 is not prime.  Res64: 619E76F79A67BFED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:03:36]
733*2^1263131-1 is not prime.  Res64: 58664BE32751AE0C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:03:54]
745*2^1263131-1 is not prime.  Res64: A2D4B23A7D7A18EB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:05:44]
981*2^1263131-1 is not prime.  Res64: 125EA93DB50C6239  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:07:04]
999*2^1263131-1 is not prime.  Res64: 9C4B9844FA3251AA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:07:26]
717*2^1263132-1 is not prime.  Res64: 3E1E8321CB488A78  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:07:27]
767*2^1263132-1 is not prime.  Res64: BCABAD888473916C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 07:09:15]
611*2^1263118-1 is not prime.  Res64: 2BC15B554D40B117  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:09:38]
885*2^1263134-1 is not prime.  Res64: 890474001A920D77  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:10:23]
939*2^1263133-1 is not prime.  Res64: EF61621249403B6B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:10:45]
915*2^1263134-1 is not prime.  Res64: AB466FC17EE09078  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:11:29]
665*2^1263134-1 is not prime.  Res64: 9A27C57B0DEA6E80  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:12:13]
825*2^1263132-1 is not prime.  Res64: 63143D3D746CC3E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:12:13]
915*2^1263128-1 is not prime.  Res64: DE06DBA4830DE2FB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:12:14]
957*2^1263128-1 is not prime.  Res64: 04818798BC1AEDA0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:12:15]
899*2^1263132-1 is not prime.  Res64: D3DB06496339AA46  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:12:15]
929*2^1263132-1 is not prime.  Res64: 2C8B377459377853  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:13:22]
887*2^1263132-1 is not prime.  Res64: DB2DE24C4D708A5E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:17:08]
825*2^1263134-1 is not prime.  Res64: 2A30DD7F11B9073E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:17:08]
711*2^1263134-1 is not prime.  Res64: 167B08C8915DA13F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:17:09]
827*2^1263134-1 is not prime.  Res64: E2CE05E03533EC76  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:17:09]
815*2^1263134-1 is not prime.  Res64: 0752EBFA6B1F31B7  Time : 0.0 sec.
user=juhehe
[2013-10-27 07:23:11]
621*2^1263138-1 is not prime.  Res64: 102322B8A269445A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:27:19]
803*2^1263130-1 is not prime.  Res64: 587F45BA88E85E33  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:28:02]
969*2^1263135-1 is not prime.  Res64: 2915C5A318290170  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:28:02]
663*2^1263136-1 is not prime.  Res64: 09000DF2081BFEA4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:28:24]
813*2^1263130-1 is not prime.  Res64: FECFB41DCB52E182  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:29:06]
797*2^1263132-1 is not prime.  Res64: 7C3EA5D3CF93B776  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:29:07]
819*2^1263132-1 is not prime.  Res64: FF26AD93705EFE3B  Time : 0.0 sec.
user=juhehe
[2013-10-27 07:31:01]
717*2^1263136-1 is not prime.  Res64: 6DCB537D7D67BE19  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 07:33:21]
927*2^1263140-1 is not prime.  Res64: 9BC5D3E6D0454091  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 07:33:21]
999*2^1263140-1 is not prime.  Res64: B916005F1B723BB5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:37:57]
777*2^1263136-1 is not prime.  Res64: 9ED7CED98E261036  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:37:57]
807*2^1263136-1 is not prime.  Res64: ADF5A00A74BA1337  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:38:23]
855*2^1263136-1 is not prime.  Res64: 2C957BAE7F2B362E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:38:23]
927*2^1263136-1 is not prime.  Res64: 11CDC5272085AE32  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:39:38]
983*2^1263136-1 is not prime.  Res64: B55832A5AEFC690A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:39:39]
615*2^1263137-1 is not prime.  Res64: 6151FC5B59843DC6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:43:56]
933*2^1263138-1 is not prime.  Res64: 929296B1A2D6A3F6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:43:56]
633*2^1263139-1 is not prime.  Res64: FACB3FD48285073A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:45:17]
741*2^1263137-1 is not prime.  Res64: DAD3DC3747642478  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:45:17]
831*2^1263137-1 is not prime.  Res64: 2DD69C95D2CAC012  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:47:22]
935*2^1263134-1 is not prime.  Res64: FD6A8693070E0F0B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:47:22]
945*2^1263134-1 is not prime.  Res64: F1B0146392F9A963  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:47:40]
971*2^1263134-1 is not prime.  Res64: 22F20A71D70E8CEF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:47:40]
853*2^1263135-1 is not prime.  Res64: 9C7A434DF32FBCDC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:48:01]
931*2^1263137-1 is not prime.  Res64: 22D1EA80CC1D62E7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:48:01]
967*2^1263137-1 is not prime.  Res64: 27BF611A125E657B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 07:49:06]
937*2^1263121-1 is not prime.  Res64: 4ABE6428E12933A4  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 07:54:30]
657*2^1263144-1 is not prime.  Res64: C1AE7E09F2FDB7A0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:54:54]
725*2^1263138-1 is not prime.  Res64: E3D22D28271F9706  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:54:55]
861*2^1263138-1 is not prime.  Res64: A6F43B0E3D8C607C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:59:13]
631*2^1263137-1 is not prime.  Res64: 8B3CEA5BA812D5D2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 07:59:13]
669*2^1263137-1 is not prime.  Res64: 9367DDC528F33E36  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:00:40]
741*2^1263139-1 is not prime.  Res64: C405131FF9F37291  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:00:40]
675*2^1263141-1 is not prime.  Res64: 656768C9DC020478  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:01:46]
891*2^1263139-1 is not prime.  Res64: C1A2B08C0D36DE2F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:01:46]
741*2^1263141-1 is not prime.  Res64: 14BB6DEADD7FF1F6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:02:32]
933*2^1263136-1 is not prime.  Res64: 0C224CC1941B1F48  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:02:33]
939*2^1263136-1 is not prime.  Res64: DA3B47C2C7D85E25  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:03:37]
603*2^1263140-1 is not prime.  Res64: 359C48A334BA4E9E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:03:38]
699*2^1263140-1 is not prime.  Res64: 158BF0233C625C5E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:04:00]
969*2^1263139-1 is not prime.  Res64: 6A39F5755FCF3B12  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:04:00]
975*2^1263139-1 is not prime.  Res64: E542CA3924B62EC2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:06:57]
795*2^1263140-1 is not prime.  Res64: EEACD180A6C30848  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:07:20]
665*2^1263142-1 is not prime.  Res64: 6F87AABE6BADFE1C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:07:21]
755*2^1263142-1 is not prime.  Res64: C4B3D15AB08A0EE9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:08:10]
825*2^1263140-1 is not prime.  Res64: 32A0B44A3EB2124E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:09:15]
789*2^1263141-1 is not prime.  Res64: 77FA882A661C8635  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:09:16]
819*2^1263141-1 is not prime.  Res64: B2B60D00596294E7  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:12:11]
911*2^1263146-1 is not prime.  Res64: F6A928A85F3B136A  Time : 0.0 sec.
user=juhehe
[2013-10-27 08:12:54]
605*2^1263144-1 is not prime.  Res64: 9C2FBE31576E92C1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:12:54]
947*2^1263142-1 is not prime.  Res64: 79D5F841D22ABAC5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:12:55]
661*2^1263143-1 is not prime.  Res64: E1E43A29340FD688  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:13:17]
669*2^1263143-1 is not prime.  Res64: F39637CE716D0A97  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:13:17]
745*2^1263143-1 is not prime.  Res64: AD797C331EE4F937  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:14:00]
885*2^1263142-1 is not prime.  Res64: C9AE65AFE1CDB013  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:15:04]
911*2^1263142-1 is not prime.  Res64: 51288BCDAA8D6F3F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:20:51]
685*2^1263147-1 is not prime.  Res64: 968B7FF2206B6F0F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:20:51]
735*2^1263147-1 is not prime.  Res64: 524BAF05C3B400E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:23:03]
709*2^1263139-1 is not prime.  Res64: 7306BBEDDD6C2449  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:24:17]
735*2^1263139-1 is not prime.  Res64: 01696C4B2CE0A228  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:27:10]
753*2^1263143-1 is not prime.  Res64: BC400B8073DEBEB4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:27:10]
783*2^1263143-1 is not prime.  Res64: BE6A51D4C79E90CB  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:33:20]
863*2^1263150-1 is not prime.  Res64: 4F85D94473F1ECB2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:35:28]
729*2^1263145-1 is not prime.  Res64: 231ADD5659D04F41  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:35:50]
737*2^1263144-1 is not prime.  Res64: CE6F02489A897E25  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:36:11]
815*2^1263144-1 is not prime.  Res64: 015A408E04016C41  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:36:33]
789*2^1263145-1 is not prime.  Res64: 3D4CA89978F6FDEA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:36:54]
809*2^1263144-1 is not prime.  Res64: 3472C0DF2E49F282  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:37:15]
945*2^1263144-1 is not prime.  Res64: 793F695E17E79843  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:37:37]
861*2^1263141-1 is not prime.  Res64: 3EFD6257BA6CB54F  Time : 0.0 sec.
user=juhehe
[2013-10-27 08:37:58]
871*2^1263147-1 is not prime.  Res64: C8C4158473477855  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:38:21]
679*2^1263145-1 is not prime.  Res64: 35886A0C860E9835  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:38:21]
687*2^1263145-1 is not prime.  Res64: E9A50A7E3F70E7E1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:38:41]
895*2^1263141-1 is not prime.  Res64: 3EB4F1920E05C86B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:41:00]
657*2^1263146-1 is not prime.  Res64: 703227E157CB99AD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:41:00]
857*2^1263146-1 is not prime.  Res64: 8CECEB43E48E07C8  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:43:54]
825*2^1263152-1 is not prime.  Res64: 7F7796B91F78C723  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 08:43:54]
915*2^1263152-1 is not prime.  Res64: 8F8EEF0837C73920  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:44:58]
799*2^1263145-1 is not prime.  Res64: 60C811F63E8A308C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:44:59]
805*2^1263145-1 is not prime.  Res64: F7ADF80F353E04F6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:47:06]
651*2^1263147-1 is not prime.  Res64: E392F544B371DECB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:48:10]
669*2^1263147-1 is not prime.  Res64: A36B88767B2A92CA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:49:35]
973*2^1263143-1 is not prime.  Res64: 73F391B27C801AF3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:51:06]
629*2^1263148-1 is not prime.  Res64: D575AA036504D61B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:51:06]
985*2^1263143-1 is not prime.  Res64: A3AF9738F82AB439  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:51:49]
803*2^1263148-1 is not prime.  Res64: 4456F085F3BEE38B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:54:01]
813*2^1263143-1 is not prime.  Res64: C1DC44F621E47C40  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:54:01]
825*2^1263143-1 is not prime.  Res64: 6A830B8BAE67BE5C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 08:59:28]
657*2^1263149-1 is not prime.  Res64: E2DAB2CC9E5FB636  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:00:38]
727*2^1263149-1 is not prime.  Res64: 89C88342BFC070E3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:01:45]
833*2^1263148-1 is not prime.  Res64: 8DF8C9A13215ECE5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:02:52]
843*2^1263148-1 is not prime.  Res64: 22528F9715C997B3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:03:15]
933*2^1263148-1 is not prime.  Res64: 62E44E8E82CE53EF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:03:16]
999*2^1263148-1 is not prime.  Res64: 38FABB0DACDDC8E0  Time : 0.0 sec.
user=juhehe
[2013-10-27 09:04:20]
933*2^1263151-1 is not prime.  Res64: 0836BE7756684E21  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:06:03]
831*2^1263149-1 is not prime.  Res64: 3F56CA1C307346E4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:06:04]
885*2^1263149-1 is not prime.  Res64: A23200B734564FDB  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 09:06:45]
979*2^1263155-1 is not prime.  Res64: 65C4B8FEA71797A5  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 09:06:46]
647*2^1263156-1 is not prime.  Res64: 825FDBA5C8904250  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:11]
755*2^1263150-1 is not prime.  Res64: BACCF5C1DA72D865  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:11]
831*2^1263145-1 is not prime.  Res64: 16E13C27B274D03B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:11]
825*2^1263150-1 is not prime.  Res64: D1C39AC4A03997A5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:11]
847*2^1263145-1 is not prime.  Res64: E7069A8B9B1234F5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:32]
915*2^1263145-1 is not prime.  Res64: 41C5D9417F9F17C4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:33]
951*2^1263145-1 is not prime.  Res64: AEEEB7088B441DBE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:55]
957*2^1263149-1 is not prime.  Res64: FEACBF0FA4494F07  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:07:56]
681*2^1263150-1 is not prime.  Res64: EE725BF21798DFEC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:10:22]
633*2^1263152-1 is not prime.  Res64: 1ACB59F8579202D3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:10:24]
683*2^1263152-1 is not prime.  Res64: 666D0FDB4AA21F54  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:12:04]
813*2^1263151-1 is not prime.  Res64: 014442C6C62CB097  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:12:04]
909*2^1263151-1 is not prime.  Res64: 72EA3ED8AF5EBC83  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:12:14]
961*2^1263151-1 is not prime.  Res64: 79792F23FD9D4390  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:12:14]
969*2^1263151-1 is not prime.  Res64: 336F596ECD89CF7C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:19:03]
611*2^1263154-1 is not prime.  Res64: 61CBA61A5A9DC4BC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:19:03]
621*2^1263154-1 is not prime.  Res64: 6854BA9FCABA26F6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:20:59]
651*2^1263154-1 is not prime.  Res64: 23FE475149CAC3D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:20:59]
657*2^1263154-1 is not prime.  Res64: 534AC8DE795F1310  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:22:38]
813*2^1263148-1 is not prime.  Res64: D054160A27078E76  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:22:38]
825*2^1263148-1 is not prime.  Res64: CBF23EFEDB912BCE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:25:09]
801*2^1263147-1 is not prime.  Res64: F2D3027A897E7E31  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:25:36]
701*2^1263154-1 is not prime.  Res64: 861753F2ECFDDCE0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:25:36]
669*2^1263155-1 is not prime.  Res64: 520450BF3BBC4B6A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:26:19]
829*2^1263147-1 is not prime.  Res64: B698CD41EB9024A1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:30:35]
685*2^1263155-1 is not prime.  Res64: CF70B22FF8D37D2D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:30:35]
733*2^1263155-1 is not prime.  Res64: 81B5879CF6A7DD38  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 09:30:57]
975*2^1263159-1 is not prime.  Res64: 44D01DD20DC7AFEE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:37:10]
759*2^1263155-1 is not prime.  Res64: 1BF98F824A9FA9D8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:37:10]
771*2^1263155-1 is not prime.  Res64: 80784AFD15F28BFC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:38:59]
615*2^1263157-1 is not prime.  Res64: D03915B1002B8572  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:38:59]
805*2^1263157-1 is not prime.  Res64: 4E4802D60938C598  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:39:41]
853*2^1263155-1 is not prime.  Res64: C9AFDCEEB342A229  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:39:41]
939*2^1263155-1 is not prime.  Res64: E9E7EA9BD23FBC5A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:40:44]
669*2^1263156-1 is not prime.  Res64: B63729A9B3DF196E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:40:44]
843*2^1263156-1 is not prime.  Res64: 23F251C9D13A9934  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 09:45:51]
675*2^1263144-1 is not prime.  Res64: 7D45912D4B953EEB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:47:38]
867*2^1263156-1 is not prime.  Res64: 62E215066D63437B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:48:46]
873*2^1263156-1 is not prime.  Res64: 91626F42E66DFD3D  Time : 0.0 sec.
user=juhehe
[2013-10-27 09:48:49]
649*2^1263163-1 is not prime.  Res64: C477410A3410F6DF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:50:38]
901*2^1263153-1 is not prime.  Res64: 3D967092413BA61C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:51:42]
951*2^1263153-1 is not prime.  Res64: A4CB81EBFB3BF5A6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:55:41]
663*2^1263159-1 is not prime.  Res64: 0343B34E4FDBC227  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:55:41]
669*2^1263159-1 is not prime.  Res64: 76DB75D9B474DF24  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:56:24]
695*2^1263160-1 is not prime.  Res64: F72471AB86272AF1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:56:24]
717*2^1263160-1 is not prime.  Res64: FB015D978A1BD42C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:58:11]
957*2^1263158-1 is not prime.  Res64: E17118E15D79D007  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:58:11]
625*2^1263159-1 is not prime.  Res64: 65CF72239CC51DA5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 09:59:57]
711*2^1263158-1 is not prime.  Res64: DB4C66A6432FE85E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:01:09]
813*2^1263158-1 is not prime.  Res64: 53EC1789CCEA8E7D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:03:23]
783*2^1263155-1 is not prime.  Res64: FB313537759E342E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:04:21]
825*2^1263155-1 is not prime.  Res64: A3D2DACDBEF2AE59  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:05:05]
865*2^1263159-1 is not prime.  Res64: 4F67650C248A11F5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:05:06]
933*2^1263159-1 is not prime.  Res64: E6373E678762E1C0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:06:45]
885*2^1263161-1 is not prime.  Res64: 92E29A9F2E332586  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:06:45]
795*2^1263161-1 is not prime.  Res64: DE5152DF75B8EF86  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:06:47]
871*2^1263161-1 is not prime.  Res64: 0B0953B06E7171D4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:07:12]
611*2^1263162-1 is not prime.  Res64: 5FDEDE70E209547B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:07:55]
657*2^1263162-1 is not prime.  Res64: 4EE03774C0623167  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:07:55]
713*2^1263162-1 is not prime.  Res64: 6756FBF71BC3D23B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:08:17]
641*2^1263158-1 is not prime.  Res64: C2E527C46BADE225  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:08:17]
671*2^1263158-1 is not prime.  Res64: 9AA2C1D516DA0D3C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:10:54]
947*2^1263156-1 is not prime.  Res64: C711F8EC07852B09  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:10:55]
993*2^1263156-1 is not prime.  Res64: 730DE80F04B3051D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:11:18]
777*2^1263162-1 is not prime.  Res64: F43BF3F37B0B7105  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:11:19]
815*2^1263162-1 is not prime.  Res64: 3AD421E51216D882  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:12:21]
961*2^1263163-1 is not prime.  Res64: 87AC98DB9442B892  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:13:25]
699*2^1263164-1 is not prime.  Res64: 869BA5FD3A8FA6A4  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 10:16:59]
953*2^1263146-1 is not prime.  Res64: 718CD570E30D57E6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:19:14]
675*2^1263163-1 is not prime.  Res64: BAB8343524B169F7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:19:36]
639*2^1263165-1 is not prime.  Res64: 69F8A94237564463  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:20:19]
771*2^1263163-1 is not prime.  Res64: 1CD7761E4F68FADB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:20:41]
651*2^1263165-1 is not prime.  Res64: 87A4F8F80093C8D0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:20:41]
933*2^1263160-1 is not prime.  Res64: CCF53E58AED4589A  Time : 0.0 sec.
user=juhehe
[2013-10-27 10:21:03]
603*2^1263166-1 is not prime.  Res64: 587FC49E01D5F0DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:21:47]
637*2^1263161-1 is not prime.  Res64: 7548C8EC42E90213  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:24:02]
837*2^1263164-1 is not prime.  Res64: 0306317F65FDCA86  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:25:10]
857*2^1263164-1 is not prime.  Res64: 08E82D07BB1E1F00  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:25:52]
711*2^1263161-1 is not prime.  Res64: 349154D749617972  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:26:56]
781*2^1263161-1 is not prime.  Res64: CFC5E29C37C5F117  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:30:15]
849*2^1263165-1 is not prime.  Res64: 6EC5AD48BBF40BE8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:30:15]
867*2^1263165-1 is not prime.  Res64: 679B63A5BDFDDEBC  Time : 0.0 sec.
user=juhehe
[2013-10-27 10:33:26]
955*2^1263165-1 is not prime.  Res64: 04CE0C883D8B7FE8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:36:24]
691*2^1263165-1 is not prime.  Res64: BF6A29B4BDDFB272  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:37:27]
789*2^1263165-1 is not prime.  Res64: FFF7F130D1290961  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:38:10]
895*2^1263165-1 is not prime.  Res64: 1FD92F45F6F3472E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:38:11]
915*2^1263165-1 is not prime.  Res64: 3A6C468ED42B112E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:39:51]
789*2^1263164-1 is not prime.  Res64: 351A4F9D46213484  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:39:51]
803*2^1263164-1 is not prime.  Res64: CDC71AFCA51EA4C4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:39:56]
919*2^1263165-1 is not prime.  Res64: C0A8732498AD79DD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:39:56]
951*2^1263165-1 is not prime.  Res64: 7EDEC3371D13CABA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:46:33]
959*2^1263164-1 is not prime.  Res64: 5898FA3074C4D392  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:46:33]
625*2^1263165-1 is not prime.  Res64: 2A0B3DD8B3B2A2D8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:48:48]
975*2^1263166-1 is not prime.  Res64: FE347720A338AB99  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:48:48]
981*2^1263166-1 is not prime.  Res64: 977D06A2F9377BEC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:53:27]
957*2^1263168-1 is not prime.  Res64: 6CAE82B27363D5F4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:53:27]
649*2^1263169-1 is not prime.  Res64: 0DD3175E5CA8E822  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:54:14]
789*2^1263168-1 is not prime.  Res64: 465304717EF3FDDE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:54:14]
849*2^1263168-1 is not prime.  Res64: 7AB5F7A325CB15C0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 10:54:29]
735*2^1263151-1 is not prime.  Res64: 174990FBB7AE9C3C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:54:58]
759*2^1263167-1 is not prime.  Res64: 95CF1F843B536B87  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:54:58]
775*2^1263167-1 is not prime.  Res64: 2CBE3BBAB31885EC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:57:39]
667*2^1263169-1 is not prime.  Res64: 76A0CCE5AB43681A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:57:39]
691*2^1263169-1 is not prime.  Res64: 11F8F6F59217B3A2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:59:58]
929*2^1263172-1 is not prime.  Res64: A8769AD4DE8DAD65  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 10:59:58]
657*2^1263173-1 is not prime.  Res64: 3EB458E09984E69A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:02:12]
635*2^1263170-1 is not prime.  Res64: 20DA24742B7F2D04  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:02:12]
735*2^1263170-1 is not prime.  Res64: B60A2AA056B959AC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:04:01]
925*2^1263169-1 is not prime.  Res64: 44BA8F8819DCA811  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:05:09]
987*2^1263169-1 is not prime.  Res64: ECCED1C260E897FF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:06:36]
797*2^1263170-1 is not prime.  Res64: B5308FBEFC0F8853  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:07:21]
971*2^1263170-1 is not prime.  Res64: 5ECD32A1639325A2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:07:22]
679*2^1263171-1 is not prime.  Res64: 0D2671363AFE164E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:07:43]
857*2^1263170-1 is not prime.  Res64: 73324B74969ADA58  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:12:20]
743*2^1263172-1 is not prime.  Res64: 6E5C9852B25AD954  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:12:21]
619*2^1263167-1 is not prime.  Res64: 6DA8A9B2858E9532  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:12:25]
797*2^1263172-1 is not prime.  Res64: 64D9D6B5A264D92E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:13:28]
729*2^1263167-1 is not prime.  Res64: 03EE623A1B84ABD7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:13:28]
663*2^1263174-1 is not prime.  Res64: E4656436684F3A23  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:13:29]
717*2^1263174-1 is not prime.  Res64: 22195074E95B8E99  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 11:18:17]
975*2^1263178-1 is not prime.  Res64: B1E0AEE67AEABF38  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:18:42]
859*2^1263173-1 is not prime.  Res64: 294597A894A8B9F8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:18:42]
871*2^1263173-1 is not prime.  Res64: 938D8B793E72C521  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:19:21]
727*2^1263173-1 is not prime.  Res64: E4F6D013725173CD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:19:22]
847*2^1263173-1 is not prime.  Res64: E748452B56943F90  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:21:08]
735*2^1263175-1 is not prime.  Res64: C979A30B9CB15F29  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:21:08]
819*2^1263175-1 is not prime.  Res64: 38E24EACE59FAA32  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:22:56]
665*2^1263172-1 is not prime.  Res64: D6F992E529DA7414  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:22:57]
693*2^1263172-1 is not prime.  Res64: 8B9F9BBA222F6936  Time : 0.0 sec.
user=juhehe
[2013-10-27 11:29:05]
897*2^1263176-1 is not prime.  Res64: 967159D6C786C23E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:29:48]
841*2^1263169-1 is not prime.  Res64: 793183B1F682850A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:29:49]
919*2^1263169-1 is not prime.  Res64: 58C69693293967FE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:33:50]
955*2^1263173-1 is not prime.  Res64: 40C189D2E25AD4DD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:33:50]
909*2^1263171-1 is not prime.  Res64: C7E15B90B6B8578A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:34:55]
921*2^1263171-1 is not prime.  Res64: E010073316F8E7AC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:34:55]
621*2^1263174-1 is not prime.  Res64: 390892DCC1A17077  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:35:40]
973*2^1263175-1 is not prime.  Res64: C815A290EAD4BE10  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:35:40]
979*2^1263175-1 is not prime.  Res64: 73193CB04BD144FB  Time : 0.0 sec.
user=juhehe
[2013-10-27 11:36:21]
883*2^1263179-1 is not prime.  Res64: BBFFF999E1D3B564  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:36:25]
871*2^1263175-1 is not prime.  Res64: E4368662A10CE9CB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:36:25]
913*2^1263175-1 is not prime.  Res64: 81E84478E7C51D78  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:38:51]
851*2^1263174-1 is not prime.  Res64: 6BBFF8A7CD522E01  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:38:51]
609*2^1263175-1 is not prime.  Res64: 1DA522EC7BFB82B6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:39:12]
873*2^1263176-1 is not prime.  Res64: DA4D270754A8EDC0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:39:13]
879*2^1263176-1 is not prime.  Res64: E569FFBF4B9976AA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:48:16]
707*2^1263178-1 is not prime.  Res64: 82F3FE8AB6715F70  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:49:19]
773*2^1263178-1 is not prime.  Res64: 4A12870A2E29CBCE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:51:14]
645*2^1263179-1 is not prime.  Res64: BC49E11F0B4C3B9E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:51:14]
813*2^1263179-1 is not prime.  Res64: 96DA0DBCA622745D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:51:14]
693*2^1263179-1 is not prime.  Res64: AAA55F25D627FD8B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:51:14]
859*2^1263179-1 is not prime.  Res64: 1977C717ABCD61AD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:52:18]
813*2^1263178-1 is not prime.  Res64: 0EF899F0C36CDF19  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:52:40]
791*2^1263178-1 is not prime.  Res64: CB5F076AC3C6EEEF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:52:40]
801*2^1263178-1 is not prime.  Res64: B2375DF07871C0FA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:53:23]
905*2^1263178-1 is not prime.  Res64: 28A064CC5EA3DF60  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:00]
677*2^1263176-1 is not prime.  Res64: 32FE45C982935876  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:00]
745*2^1263179-1 is not prime.  Res64: 7CC00CB346C24D03  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:00]
609*2^1263180-1 is not prime.  Res64: 11A8DE0D5736F6D0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:01]
747*2^1263176-1 is not prime.  Res64: 98734FD9999FB0AD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:01]
759*2^1263179-1 is not prime.  Res64: 1955FA48F28B3843  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:57:01]
623*2^1263180-1 is not prime.  Res64: 881844BE6EBB0F3F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:59:51]
627*2^1263180-1 is not prime.  Res64: B14D369847ADC392  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 11:59:51]
633*2^1263180-1 is not prime.  Res64: 5B7EF4843807F7DE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:01:18]
921*2^1263179-1 is not prime.  Res64: 2EC3EF404063C93D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:02:24]
991*2^1263179-1 is not prime.  Res64: CFE20C7BBBA79F61  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 12:05:40]
985*2^1263159-1 is not prime.  Res64: 68D227F5E0E21DC6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:07:01]
909*2^1263180-1 is not prime.  Res64: 3AD4FD2312E0624D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:07:01]
765*2^1263177-1 is not prime.  Res64: A48C1EEC3C641D5D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:07:02]
671*2^1263178-1 is not prime.  Res64: A2747E4842A180A2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:07:49]
797*2^1263180-1 is not prime.  Res64: DF5B67FBA1A51CB5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:07:50]
809*2^1263180-1 is not prime.  Res64: 36B8FFD6BFB1EE72  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:08:13]
645*2^1263181-1 is not prime.  Res64: 89CF5EC7B9D2BE77  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:11:57]
825*2^1263182-1 is not prime.  Res64: C4A41A86CE2C049F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:11:57]
885*2^1263182-1 is not prime.  Res64: F0918C345301A3F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:12:15]
839*2^1263180-1 is not prime.  Res64: 44231E712A8DC369  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:12:16]
905*2^1263180-1 is not prime.  Res64: D40DC12B2F82B67B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:13:20]
961*2^1263181-1 is not prime.  Res64: 6840A90044E5D143  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:14:16]
713*2^1263182-1 is not prime.  Res64: 24167E2FD2CD67CE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:18:09]
755*2^1263182-1 is not prime.  Res64: 60B9D13C6A2BA2D4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:18:10]
815*2^1263182-1 is not prime.  Res64: 0BA02E50DAF0D57E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:31:59]
619*2^1263185-1 is not prime.  Res64: 13C9552EF97FF9D4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:31:59]
685*2^1263185-1 is not prime.  Res64: CB9DBA7BD791F2EF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:34:29]
919*2^1263183-1 is not prime.  Res64: 8175EA4A62B08856  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:34:29]
955*2^1263183-1 is not prime.  Res64: 35245EDE75F9805D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:38:28]
715*2^1263185-1 is not prime.  Res64: 4A584FA64C77629A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:38:29]
789*2^1263185-1 is not prime.  Res64: B7F3D05C1985A078  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 12:38:51]
713*2^1263190-1 is not prime.  Res64: D3AD9F489C291AE9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:40:38]
789*2^1263181-1 is not prime.  Res64: 34A5EAC4F4DECF94  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:40:38]
931*2^1263181-1 is not prime.  Res64: 7275428F88575FC1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:42:08]
915*2^1263182-1 is not prime.  Res64: 76B2B472C75795B6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:42:08]
921*2^1263182-1 is not prime.  Res64: 3955FC88AA14B7E2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:42:09]
885*2^1263185-1 is not prime.  Res64: 8D9750AA65CDEFD1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:42:10]
889*2^1263185-1 is not prime.  Res64: 23FD52BB0F759E9B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:46:51]
713*2^1263186-1 is not prime.  Res64: B68DA48B92DAB526  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:47:55]
807*2^1263186-1 is not prime.  Res64: 65C010798C04A30B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:48:17]
671*2^1263186-1 is not prime.  Res64: 3055418C28EE5071  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:48:39]
801*2^1263185-1 is not prime.  Res64: 6F08228F34B42E04  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:48:39]
831*2^1263185-1 is not prime.  Res64: 91FA5BF49EAE6FFD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:49:26]
677*2^1263186-1 is not prime.  Res64: 774B378F6C7C6BF4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:50:31]
837*2^1263185-1 is not prime.  Res64: 0C3AECEA3EEAF7FF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:50:32]
861*2^1263185-1 is not prime.  Res64: D81C4BD67A1A0DF0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:52:40]
639*2^1263187-1 is not prime.  Res64: 76B26E0E7CB3D4A2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:53:44]
693*2^1263187-1 is not prime.  Res64: 7C7BE49485057F7F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:55:32]
789*2^1263183-1 is not prime.  Res64: 679F84F5DC0069CC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:55:35]
953*2^1263182-1 is not prime.  Res64: B1A9C9241D7ACD80  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:55:35]
963*2^1263182-1 is not prime.  Res64: A8B5519BA20AE931  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:00]
769*2^1263187-1 is not prime.  Res64: 81151B0E83B424D6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:00]
985*2^1263187-1 is not prime.  Res64: CF9B0376ABB6CE83  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:01]
665*2^1263188-1 is not prime.  Res64: C6676F35E608A037  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:22]
661*2^1263183-1 is not prime.  Res64: 16DE430BA923A9D1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:22]
745*2^1263183-1 is not prime.  Res64: 5D7834D60840D7C8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:56:44]
793*2^1263183-1 is not prime.  Res64: 0650442E68EF8AEB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:57:06]
793*2^1263187-1 is not prime.  Res64: 1618B9B38D41DC53  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:58:58]
697*2^1263185-1 is not prime.  Res64: B5D23CDD62FF0175  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 12:58:58]
699*2^1263185-1 is not prime.  Res64: 45D13ECDA3E4798E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:01:11]
725*2^1263188-1 is not prime.  Res64: E93EC2DBA43894D6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:01:34]
927*2^1263188-1 is not prime.  Res64: 6FA7E3E0AFA70DCD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:01:34]
945*2^1263188-1 is not prime.  Res64: DAD3A51DA1F6ED7D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:03:26]
735*2^1263188-1 is not prime.  Res64: B4670CB4BDB3F36C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:04:50]
813*2^1263191-1 is not prime.  Res64: 33327EEF2FA7C202  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:04:51]
825*2^1263191-1 is not prime.  Res64: 15F7EC4F82A20003  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:06:42]
797*2^1263188-1 is not prime.  Res64: 7B7479ED837B0B88  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:06:43]
813*2^1263188-1 is not prime.  Res64: AEFB2C656ED8AF63  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:07:49]
895*2^1263189-1 is not prime.  Res64: 896F1C4AB6411F4E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:07:49]
845*2^1263188-1 is not prime.  Res64: A78DB089731A2EE2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:07:49]
603*2^1263190-1 is not prime.  Res64: 8FE60CD5B4987320  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:07:49]
875*2^1263188-1 is not prime.  Res64: FC512D8FC78C96FE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:08:12]
649*2^1263189-1 is not prime.  Res64: 1E5D545D664609AE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:08:13]
685*2^1263189-1 is not prime.  Res64: 0ECCEB83609D89C5  Time : 0.0 sec.
user=juhehe
[2013-10-27 13:12:58]
887*2^1263190-1 is not prime.  Res64: 6DFF560A37547205  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:16:38]
805*2^1263187-1 is not prime.  Res64: 43B4EAF2B95593F1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:16:59]
833*2^1263190-1 is not prime.  Res64: EA11F9F763D57466  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:17:00]
873*2^1263190-1 is not prime.  Res64: 99383E4FDED7D293  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:17:35]
861*2^1263187-1 is not prime.  Res64: F02A67F2344355E6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:23:59]
609*2^1263191-1 is not prime.  Res64: CB03154AD3189584  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:23:59]
651*2^1263191-1 is not prime.  Res64: F995C7EA797AE015  Time : 0.0 sec.
user=juhehe
[2013-10-27 13:26:10]
843*2^1263175-1 is not prime.  Res64: 352F8056F64CB544  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:26:10]
705*2^1263198-1 is not prime.  Res64: 1E8E4FDCEC1281E1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:30:29]
945*2^1263190-1 is not prime.  Res64: E5FD8B6861BFEB45  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:30:29]
971*2^1263190-1 is not prime.  Res64: AFBE6FE309CEE97E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:33:52]
849*2^1263192-1 is not prime.  Res64: D43A8A0AF5391FC3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:33:55]
767*2^1263188-1 is not prime.  Res64: 001565575A32327D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:33:55]
789*2^1263188-1 is not prime.  Res64: 24794398B0B235A3  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:34:42]
987*2^1263178-1 is not prime.  Res64: D93CAC2EF9D63D6F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:35:02]
863*2^1263192-1 is not prime.  Res64: 6C57F403C2780336  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:37:53]
705*2^1263191-1 is not prime.  Res64: 50CC92DC425C08E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:37:53]
735*2^1263191-1 is not prime.  Res64: F8E7F47220F7110F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:41:53]
899*2^1263192-1 is not prime.  Res64: 4F3FA855FFE05EF9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:41:53]
681*2^1263193-1 is not prime.  Res64: FEE4EC8BB4D515AF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:47:27]
705*2^1263193-1 is not prime.  Res64: F8B8C8816408F749  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:47:27]
765*2^1263193-1 is not prime.  Res64: 973326982C47FE1E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:48:20]
831*2^1263193-1 is not prime.  Res64: C822F81391DDC5F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:48:20]
867*2^1263193-1 is not prime.  Res64: 292B31E250B9CC16  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:49:28]
707*2^1263194-1 is not prime.  Res64: 2BDB01185EF42885  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:49:28]
827*2^1263194-1 is not prime.  Res64: 261658A00EB64934  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:52:39]
1001*2^1263194-1 is not prime.  Res64: 5A416BF48B50221A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:52:40]
871*2^1263195-1 is not prime.  Res64: B68AB1884B4D4DBF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:52:46]
981*2^1263197-1 is not prime.  Res64: 36FD309CD5FE0D54  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:52:46]
997*2^1263197-1 is not prime.  Res64: 340FE34ED2F0B124  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:54:56]
909*2^1263195-1 is not prime.  Res64: 70C0658D91FE4AC1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:54:57]
913*2^1263195-1 is not prime.  Res64: 8E2CA2A0A1ABB430  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:55:55]
899*2^1263196-1 is not prime.  Res64: E01193452F3AAA45  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:55:55]
933*2^1263196-1 is not prime.  Res64: 147F43963E93926D  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:58:40]
771*2^1263203-1 is not prime.  Res64: 3F011482CFF6C05B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 13:58:40]
801*2^1263203-1 is not prime.  Res64: 0645361A2451D3F7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:59:04]
663*2^1263198-1 is not prime.  Res64: 6E00821739010944  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 13:59:04]
683*2^1263198-1 is not prime.  Res64: 9E8455E8B5F2D1D9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:00:26]
759*2^1263192-1 is not prime.  Res64: 815F61A86FABA0A8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:00:26]
815*2^1263192-1 is not prime.  Res64: 2C6A54431CC28DBC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:01:43]
609*2^1263199-1 is not prime.  Res64: D6BD369479F6F33B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:01:43]
789*2^1263199-1 is not prime.  Res64: 7B9870341A133717  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:05:36]
777*2^1263198-1 is not prime.  Res64: 13192C8C500BB60F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:06:23]
969*2^1263191-1 is not prime.  Res64: DD4A051D281C2391  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:06:24]
979*2^1263191-1 is not prime.  Res64: A2F76839ABDB0E5A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:06:45]
793*2^1263199-1 is not prime.  Res64: 51D2D1096B4CA3CC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:06:45]
951*2^1263198-1 is not prime.  Res64: 3778C5EB4B6E544C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:07:28]
961*2^1263199-1 is not prime.  Res64: 2795637DC5EDE500  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:07:29]
993*2^1263199-1 is not prime.  Res64: 70380541B193F000  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:07:50]
841*2^1263199-1 is not prime.  Res64: BBD77CC518669C9F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:12:07]
609*2^1263196-1 is not prime.  Res64: 2C0CBB3CB2EE268A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:12:50]
615*2^1263197-1 is not prime.  Res64: A6BEB61DAD60464D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:12:51]
829*2^1263197-1 is not prime.  Res64: 9189B0676EAC4E1F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:13:12]
639*2^1263196-1 is not prime.  Res64: 717BB4549564BA23  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:15:41]
717*2^1263200-1 is not prime.  Res64: B039643918B974AF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:15:41]
747*2^1263200-1 is not prime.  Res64: BFA452A9B7F89636  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:16:05]
939*2^1263196-1 is not prime.  Res64: BF33D81999F2BA15  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:16:05]
975*2^1263196-1 is not prime.  Res64: A4326E57AF7BF84D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:18:17]
975*2^1263201-1 is not prime.  Res64: 7F0822F4453FBFD2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:19:21]
647*2^1263202-1 is not prime.  Res64: 7AA392717C691D3D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:20:24]
891*2^1263195-1 is not prime.  Res64: 62490E293EC87B1E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:20:25]
903*2^1263195-1 is not prime.  Res64: F7742B872E2CD16C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:22:10]
909*2^1263207-1 is not prime.  Res64: 814552695F41A101  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:22:11]
813*2^1263208-1 is not prime.  Res64: 2AE537B5AAC3D499  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:26:55]
859*2^1263203-1 is not prime.  Res64: 3E3057D51F248A9D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:27:59]
915*2^1263203-1 is not prime.  Res64: 9E9CB795EC322D61  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:29:25]
891*2^1263202-1 is not prime.  Res64: 828AA2F4D3E545D0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:29:26]
923*2^1263202-1 is not prime.  Res64: E07A0347277F9554  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:32:58]
755*2^1263190-1 is not prime.  Res64: 7798E586EC22D7A0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:33:41]
657*2^1263204-1 is not prime.  Res64: 1BD355BF0EA2225D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:33:41]
749*2^1263204-1 is not prime.  Res64: 2AC44DAE5B13F12B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:34:07]
939*2^1263211-1 is not prime.  Res64: E5A8DD0B8A523AA0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:34:07]
999*2^1263211-1 is not prime.  Res64: CB3F019CF647A550  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:35:31]
875*2^1263200-1 is not prime.  Res64: 5E9C23D82D583395  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:35:32]
909*2^1263201-1 is not prime.  Res64: 58E4F61BB4F0B066  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:40:08]
765*2^1263204-1 is not prime.  Res64: 553F02485EA48834  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:41:17]
795*2^1263204-1 is not prime.  Res64: 06EFF919C8899FC3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:43:29]
997*2^1263205-1 is not prime.  Res64: FB489C0A0F41D545  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:43:29]
833*2^1263206-1 is not prime.  Res64: 977FD121A049AB12  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:44:38]
787*2^1263213-1 is not prime.  Res64: 32EEF355C36F7434  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:46:47]
903*2^1263204-1 is not prime.  Res64: BB5CD67B318A665D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:46:47]
923*2^1263204-1 is not prime.  Res64: E030C1289D1D6681  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:47:31]
959*2^1263204-1 is not prime.  Res64: 147F93B99D462A8D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:47:31]
983*2^1263204-1 is not prime.  Res64: 2C403033F2AF6684  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:48:37]
691*2^1263205-1 is not prime.  Res64: F4E229193570B2F0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:48:38]
811*2^1263205-1 is not prime.  Res64: 7B3244946807C591  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:49:39]
649*2^1263203-1 is not prime.  Res64: 453A67D46B446EE2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:49:39]
663*2^1263203-1 is not prime.  Res64: 1EB21D569754AC20  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:51:30]
651*2^1263207-1 is not prime.  Res64: C7ED09A762E981A8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:51:30]
849*2^1263205-1 is not prime.  Res64: A5CD0DC2792CC82E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:51:30]
825*2^1263207-1 is not prime.  Res64: 3D55E6C3F9FB0620  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:52:35]
987*2^1263205-1 is not prime.  Res64: D6B569ADBCBD8CF4  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:53:17]
651*2^1263214-1 is not prime.  Res64: 39D4810FCCB83A78  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:53:59]
887*2^1263206-1 is not prime.  Res64: 96D14D35A190C040  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:54:00]
1001*2^1263206-1 is not prime.  Res64: ADB99D35B634CBFB  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 14:54:21]
651*2^1263215-1 is not prime.  Res64: 4E3502F44338E6C1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:57:58]
839*2^1263208-1 is not prime.  Res64: 789899D13FC8803F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 14:57:59]
855*2^1263208-1 is not prime.  Res64: CC9A7A64CCAB7BE4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:00:12]
795*2^1263209-1 is not prime.  Res64: A0CF152BD8D972C7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:02:37]
801*2^1263210-1 is not prime.  Res64: 6BD2304735AE91F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:02:37]
885*2^1263209-1 is not prime.  Res64: EE371FBFB46BB45D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:03:24]
631*2^1263211-1 is not prime.  Res64: 681D99AC2189B3A0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:07:00]
843*2^1263211-1 is not prime.  Res64: FB294DF68D43D324  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:07:01]
859*2^1263211-1 is not prime.  Res64: CC7F2892FA251096  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:07:22]
883*2^1263211-1 is not prime.  Res64: 3EDD9B6A06F072E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:08:27]
913*2^1263211-1 is not prime.  Res64: 825BBE2E782891B3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:11:23]
875*2^1263212-1 is not prime.  Res64: 2BA61C2A37FDEFD9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:12:27]
657*2^1263213-1 is not prime.  Res64: 06A5CB9753C621BA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:12:27]
615*2^1263213-1 is not prime.  Res64: A976C024D709C541  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:13:33]
747*2^1263213-1 is not prime.  Res64: 80B4546DBD9ADB22  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:14:16]
887*2^1263208-1 is not prime.  Res64: E9C779685C597EEC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:14:16]
691*2^1263209-1 is not prime.  Res64: 7E0698AC255D932D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:17:58]
605*2^1263212-1 is not prime.  Res64: 87205279A811153C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 15:18:19]
725*2^1263198-1 is not prime.  Res64: 2ABBA3EE15F75F11  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:19:04]
609*2^1263212-1 is not prime.  Res64: D44534646BA8EDC1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:19:04]
885*2^1263213-1 is not prime.  Res64: 18DEDA6D2AF5AC8B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:20:08]
895*2^1263213-1 is not prime.  Res64: 4C9F973011BC6243  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:21:13]
627*2^1263213-1 is not prime.  Res64: 4E94D6AAD97A91A4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:22:14]
651*2^1263213-1 is not prime.  Res64: F80B1A888CF3BE85  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:24:54]
901*2^1263213-1 is not prime.  Res64: 28CDF6485A812CD0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:24:54]
611*2^1263214-1 is not prime.  Res64: DED5CF981CFE32C9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:29:13]
755*2^1263214-1 is not prime.  Res64: 1F2B53CFC03E1EE1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:29:14]
643*2^1263215-1 is not prime.  Res64: 6372EA16EF4D7290  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:31:28]
623*2^1263216-1 is not prime.  Res64: D92EF148213265BC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:31:28]
693*2^1263216-1 is not prime.  Res64: F3F277FF047591A3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:31:44]
951*2^1263209-1 is not prime.  Res64: 727DEA9470D9C484  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:31:44]
997*2^1263209-1 is not prime.  Res64: 318C3672102CB16C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:34:17]
615*2^1263212-1 is not prime.  Res64: DD45444CA705C23A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:34:17]
857*2^1263212-1 is not prime.  Res64: 7646F8612EB3110D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:41:04]
969*2^1263215-1 is not prime.  Res64: 6521253798874B9B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:41:25]
601*2^1263217-1 is not prime.  Res64: F2FB344DA6CECC2E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:41:25]
619*2^1263217-1 is not prime.  Res64: AD2A52444E4254F5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:42:08]
999*2^1263215-1 is not prime.  Res64: A10CBF1F71123170  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 15:42:53]
901*2^1263221-1 is not prime.  Res64: 5F02E284310AE212  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 15:42:53]
937*2^1263221-1 is not prime.  Res64: 8CF377745A6F994A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:45:48]
723*2^1263216-1 is not prime.  Res64: 0E7B46B0794E8B45  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:09]
765*2^1263213-1 is not prime.  Res64: 694F43D57993CE45  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:09]
781*2^1263213-1 is not prime.  Res64: 8A55A24E486946F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:31]
773*2^1263216-1 is not prime.  Res64: 20E63D1B71263FD7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:31]
875*2^1263216-1 is not prime.  Res64: BBF9DBD5F5ABBA4D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:52]
759*2^1263216-1 is not prime.  Res64: FE09185B3CA7272B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:52]
663*2^1263215-1 is not prime.  Res64: EF70BC2C0AB5F381  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:52]
741*2^1263217-1 is not prime.  Res64: 915318E093C092F8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:46:52]
617*2^1263218-1 is not prime.  Res64: 4EFAD4DB259022CE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:47:56]
861*2^1263215-1 is not prime.  Res64: 0CC22B486040E2FD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:48:18]
651*2^1263218-1 is not prime.  Res64: 94498201B035C4C9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:48:18]
731*2^1263218-1 is not prime.  Res64: DBA1209B30BCD11B  Time : 0.0 sec.
user=juhehe
[2013-10-27 15:49:47]
827*2^1263218-1 is not prime.  Res64: 7F8907CDA1D84A8A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:53:08]
743*2^1263218-1 is not prime.  Res64: FCCEAF0443F1D9F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:53:08]
755*2^1263218-1 is not prime.  Res64: EE88587AD259D0BE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:53:34]
615*2^1263219-1 is not prime.  Res64: 58F1B8C90AC4C42F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:53:34]
649*2^1263219-1 is not prime.  Res64: 0100A0E2E8A29382  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:56:25]
771*2^1263218-1 is not prime.  Res64: B1430E208186C62D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:56:25]
773*2^1263218-1 is not prime.  Res64: 2878985D4F39E322  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:57:50]
663*2^1263220-1 is not prime.  Res64: A3BB40C2AFDF94E4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 15:58:54]
665*2^1263220-1 is not prime.  Res64: 226A869CBA7C6868  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:02:35]
963*2^1263218-1 is not prime.  Res64: 84A548D52F80CD1B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:03:41]
987*2^1263218-1 is not prime.  Res64: 294B12874D0078DA  Time : 0.0 sec.
user=juhehe
[2013-10-27 16:03:41]
693*2^1263223-1 is not prime.  Res64: C9B8C4C384ED1AE0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:05:32]
645*2^1263217-1 is not prime.  Res64: 70E4B117B11DBBB7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:05:33]
651*2^1263217-1 is not prime.  Res64: 74A71DC792304463  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:06:38]
721*2^1263219-1 is not prime.  Res64: 96B149FDF248665F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:06:38]
961*2^1263219-1 is not prime.  Res64: 175806082080A384  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:08:44]
845*2^1263220-1 is not prime.  Res64: 7BD110C8C18CD93D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:09:53]
619*2^1263221-1 is not prime.  Res64: C25C7ED5224A6E4D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:10:41]
681*2^1263222-1 is not prime.  Res64: 9E6DCBFEB0BC4C7B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:11:25]
723*2^1263220-1 is not prime.  Res64: 977495FF68815363  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:11:26]
819*2^1263220-1 is not prime.  Res64: 71CEEB09F21B6FBB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:11:48]
683*2^1263222-1 is not prime.  Res64: 5BE31F44154406E1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:22:04]
805*2^1263223-1 is not prime.  Res64: 9F4CB22208B4582F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:23:08]
883*2^1263223-1 is not prime.  Res64: 1F0FF5F3DCAB0F9D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:23:51]
821*2^1263222-1 is not prime.  Res64: 3EA538E49455C62C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:24:55]
923*2^1263222-1 is not prime.  Res64: 46E17B36DC6FC348  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:28:27]
1001*2^1263222-1 is not prime.  Res64: 022F185655FBE882  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:28:27]
673*2^1263223-1 is not prime.  Res64: 24BCE1097DDAE37D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:32:00]
715*2^1263221-1 is not prime.  Res64: 95C3F21B4FD1E93E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:32:00]
811*2^1263221-1 is not prime.  Res64: F6533EB6F26D82CF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:32:22]
945*2^1263221-1 is not prime.  Res64: B09BFE8E529FB772  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:32:22]
621*2^1263222-1 is not prime.  Res64: 81FE4B1965F92806  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:15]
693*2^1263222-1 is not prime.  Res64: 2A00D074293F0BD8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:15]
797*2^1263222-1 is not prime.  Res64: 24EB3EDDF364652E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:37]
719*2^1263224-1 is not prime.  Res64: 0F4B1AA003721D63  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:37]
755*2^1263224-1 is not prime.  Res64: 0F83B6C408C79F36  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:59]
795*2^1263224-1 is not prime.  Res64: 138D0E9967462F3C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:40:59]
875*2^1263224-1 is not prime.  Res64: 4158032D157906B4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:42:24]
635*2^1263226-1 is not prime.  Res64: B14173F68BDB880F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:43:36]
723*2^1263226-1 is not prime.  Res64: 34F97D146E5FCE7E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:44:02]
861*2^1263227-1 is not prime.  Res64: 8654D06D67044ECB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:45:10]
633*2^1263228-1 is not prime.  Res64: 1C72A635542E6DF4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:45:31]
877*2^1263225-1 is not prime.  Res64: 672DC237E6BD32D7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:45:31]
889*2^1263225-1 is not prime.  Res64: 1380E966A06085DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:45:54]
951*2^1263225-1 is not prime.  Res64: 7B36F7C9920E0F25  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:45:54]
955*2^1263225-1 is not prime.  Res64: 2CC5D50C8051072A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:49:06]
639*2^1263228-1 is not prime.  Res64: 3B23E880B3C614F3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:49:07]
797*2^1263228-1 is not prime.  Res64: B54E664AEEF5941A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:51:56]
959*2^1263228-1 is not prime.  Res64: 25A1E5CA278E0D9D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:51:56]
925*2^1263223-1 is not prime.  Res64: 1B0E590796D8FA32  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:51:56]
609*2^1263224-1 is not prime.  Res64: 3CD5C02E2B48DB19  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:52:18]
621*2^1263229-1 is not prime.  Res64: B3BC39623F7DDFC7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:52:19]
811*2^1263229-1 is not prime.  Res64: 6B6B52ECA2217793  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:53:00]
619*2^1263229-1 is not prime.  Res64: 16F5B5CF89EC86EB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:53:03]
867*2^1263228-1 is not prime.  Res64: B3767813CE65B625  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:53:03]
875*2^1263228-1 is not prime.  Res64: E4007A27ADF9CC6E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:55:12]
657*2^1263224-1 is not prime.  Res64: 352A5739A8B64DEA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 16:55:12]
677*2^1263224-1 is not prime.  Res64: 8990E233CC32C7AF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:00:00]
777*2^1263226-1 is not prime.  Res64: 18F25CB90AB1137B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:00:00]
609*2^1263227-1 is not prime.  Res64: 816A0B41934299E8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:02:16]
901*2^1263231-1 is not prime.  Res64: 50B00E136F7CF227  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:02:17]
913*2^1263231-1 is not prime.  Res64: 7BDD6D345C734147  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:02:18]
819*2^1263229-1 is not prime.  Res64: CC62B84A2D99D9C3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:02:19]
825*2^1263229-1 is not prime.  Res64: 9304D1DF059314AE  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:05:32]
847*2^1263213-1 is not prime.  Res64: D226B6422E02D6B7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:05:51]
999*2^1263229-1 is not prime.  Res64: D29BF239F6144A56  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:05:52]
851*2^1263230-1 is not prime.  Res64: 0C962AB2717B70BB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:07:33]
657*2^1263225-1 is not prime.  Res64: 7FF39713E3591A7B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:07:34]
789*2^1263225-1 is not prime.  Res64: 456DC79B87640AB6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:09:23]
857*2^1263230-1 is not prime.  Res64: 520B03BB3F590A91  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:09:24]
923*2^1263230-1 is not prime.  Res64: D6534661FBE024CB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:10:24]
981*2^1263230-1 is not prime.  Res64: 91C7D929A4F94AC9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:10:24]
781*2^1263231-1 is not prime.  Res64: 437EF7523A9B0BBB  Time : 0.0 sec.
user=juhehe
[2013-10-27 17:12:47]
671*2^1263234-1 is not prime.  Res64: 0BE9F47EA1F6F484  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:13:06]
955*2^1263231-1 is not prime.  Res64: E6668BD253381B86  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:14:10]
677*2^1263232-1 is not prime.  Res64: 31A0FFF0AE30FA54  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:19:23]
655*2^1263215-1 is not prime.  Res64: 966303B91CFBCFA9  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:20:51]
675*2^1263214-1 is not prime.  Res64: 450AD21A64BBE590  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:23:42]
747*2^1263232-1 is not prime.  Res64: 628C36F5914C5213  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:23:42]
797*2^1263232-1 is not prime.  Res64: FC80557FFE22D4A4  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:26:33]
649*2^1263239-1 is not prime.  Res64: 4E780CC47D05865C  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:26:33]
675*2^1263239-1 is not prime.  Res64: 1B4A8AA6ECF14B87  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:27:37]
833*2^1263232-1 is not prime.  Res64: D57E3742EF815ABD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:27:37]
849*2^1263232-1 is not prime.  Res64: A9836107BE649899  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:30:54]
635*2^1263234-1 is not prime.  Res64: E06D75357D49BE37  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:31:59]
665*2^1263234-1 is not prime.  Res64: FB267F943BC665FD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:32:43]
955*2^1263229-1 is not prime.  Res64: 0F566576B95F4C2B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:32:44]
979*2^1263229-1 is not prime.  Res64: 5C62B59100E2F922  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:33:03]
627*2^1263234-1 is not prime.  Res64: 792CFC3B80152BC7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:33:03]
633*2^1263234-1 is not prime.  Res64: 2164BFDCB57FCD76  Time : 0.0 sec.
user=juhehe
[2013-10-27 17:33:25]
737*2^1263234-1 is not prime.  Res64: 744915C973242181  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:41:29]
799*2^1263241-1 is not prime.  Res64: 706EA270E1349FEA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:41:29]
615*2^1263236-1 is not prime.  Res64: B23D18719D7515BE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:41:29]
941*2^1263234-1 is not prime.  Res64: 21E965A5AF000344  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:41:29]
601*2^1263235-1 is not prime.  Res64: 95835344EF26E683  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:41:29]
617*2^1263236-1 is not prime.  Res64: 8B0B6E65BEEA2651  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:41:29]
931*2^1263241-1 is not prime.  Res64: 07961452FB846B74  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:41:51]
631*2^1263235-1 is not prime.  Res64: 65A6A96D98768D3E  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:42:55]
975*2^1263241-1 is not prime.  Res64: E7DBAAB63518903B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:42:55]
789*2^1263235-1 is not prime.  Res64: 26CF47B3AC48B469  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:42:55]
987*2^1263241-1 is not prime.  Res64: 534B826473E28DA6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:43:19]
741*2^1263234-1 is not prime.  Res64: BA378AC15DF1BB22  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:43:19]
765*2^1263234-1 is not prime.  Res64: 919B8DB57A99FE1A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:44:23]
807*2^1263234-1 is not prime.  Res64: DCDC076CAB36A60D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:44:23]
825*2^1263234-1 is not prime.  Res64: 799FB8290B891E1D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:47:59]
661*2^1263237-1 is not prime.  Res64: 35C38BEA45689752  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:47:59]
817*2^1263237-1 is not prime.  Res64: 15628E308FE800E0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:48:21]
983*2^1263236-1 is not prime.  Res64: E66DEDB663AE8170  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:48:21]
649*2^1263237-1 is not prime.  Res64: CCFD64B0CECF349A  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 17:48:42]
801*2^1263242-1 is not prime.  Res64: C1F85CD700E5DD53  Time : 0.0 sec.
user=juhehe
[2013-10-27 17:49:03]
999*2^1263240-1 is not prime.  Res64: ADC13EA3120CF5AE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:50:07]
989*2^1263232-1 is not prime.  Res64: BFC8AB9851D6C48B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:50:29]
769*2^1263233-1 is not prime.  Res64: DA3FB06421DCD02D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:51:11]
715*2^1263233-1 is not prime.  Res64: 5D6196FA13F41E7F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:51:33]
789*2^1263236-1 is not prime.  Res64: E20842BCC358B229  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:51:33]
829*2^1263233-1 is not prime.  Res64: AE351AB932E65FFF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:51:33]
945*2^1263236-1 is not prime.  Res64: F12F399BAA054C50  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:52:45]
985*2^1263237-1 is not prime.  Res64: D11F34490CF37438  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:53:14]
985*2^1263233-1 is not prime.  Res64: B669388EBFE1554F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:53:14]
611*2^1263234-1 is not prime.  Res64: 527C7F1E065F6BEB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:53:54]
737*2^1263238-1 is not prime.  Res64: F7C9C4348018F0B4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:58:36]
675*2^1263240-1 is not prime.  Res64: EDE3740F81BCB343  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 17:58:36]
689*2^1263240-1 is not prime.  Res64: FC2D39CD9DC4E6D3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:01:08]
777*2^1263238-1 is not prime.  Res64: 7F4DE4EA6D7F678A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:01:31]
619*2^1263241-1 is not prime.  Res64: 275570A683F41B97  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:02:15]
987*2^1263238-1 is not prime.  Res64: 11167F5B2AED458B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:02:37]
707*2^1263244-1 is not prime.  Res64: 19A9F62F306B9A72  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:02:37]
777*2^1263241-1 is not prime.  Res64: 6AB3BD7252D3BF3D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:05:29]
865*2^1263239-1 is not prime.  Res64: 8D73F5372E3DB997  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:05:30]
939*2^1263239-1 is not prime.  Res64: 140EF13A7B72A0DB  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:05:51]
893*2^1263224-1 is not prime.  Res64: D55612C624F05913  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:06:13]
855*2^1263244-1 is not prime.  Res64: 43337ADC2EE5118D  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:06:14]
875*2^1263244-1 is not prime.  Res64: ACAC8426626D3D47  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:09:54]
915*2^1263240-1 is not prime.  Res64: CA004F6FE09137ED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:10:50]
975*2^1263240-1 is not prime.  Res64: 681376BB6CED1B0A  Time : 0.0 sec.
user=juhehe
[2013-10-27 18:13:53]
709*2^1263243-1 is not prime.  Res64: 8B759E82B54EFB20  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:19:10]
871*2^1263237-1 is not prime.  Res64: C9B81FFDDDAAB31B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:19:52]
689*2^1263236-1 is not prime.  Res64: A6ABEB1568A35FA3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:20:13]
945*2^1263237-1 is not prime.  Res64: 3F55A054C14E79DC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:20:56]
759*2^1263236-1 is not prime.  Res64: AFBD866B8BC5EFD9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:22:44]
999*2^1263241-1 is not prime.  Res64: C9F663D9CB83F391  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:23:06]
831*2^1263237-1 is not prime.  Res64: CB35E80084238239  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:23:49]
755*2^1263242-1 is not prime.  Res64: 9CF3EA8A0A840352  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:24:10]
867*2^1263237-1 is not prime.  Res64: 78B172A3000A4A6D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:26:50]
833*2^1263242-1 is not prime.  Res64: 3AC23843A15B38B8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:26:50]
679*2^1263243-1 is not prime.  Res64: 1A9E37405FE8333D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:28:39]
949*2^1263243-1 is not prime.  Res64: 36692F7354B8EA80  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:28:39]
609*2^1263244-1 is not prime.  Res64: 871E33D6401D9BE6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:29:38]
955*2^1263239-1 is not prime.  Res64: 4F0777A4F9049587  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:29:38]
627*2^1263240-1 is not prime.  Res64: 7841DA7FC74FA07B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:30:53]
735*2^1263243-1 is not prime.  Res64: 61405D4EF18B2D3E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:30:53]
751*2^1263243-1 is not prime.  Res64: AA4A77891E4B1C65  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:31:03]
759*2^1263248-1 is not prime.  Res64: CE0EE1E2EDF36A1F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:31:03]
819*2^1263248-1 is not prime.  Res64: A9E25E9C56C6B6D3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:33:52]
617*2^1263244-1 is not prime.  Res64: 60B6FD6C38123333  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:33:52]
623*2^1263244-1 is not prime.  Res64: 7D2A8844E5569740  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:35:39]
601*2^1263245-1 is not prime.  Res64: 90FFE7DE55A4F402  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:35:39]
655*2^1263245-1 is not prime.  Res64: 2223795E18C6D5D7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:37:30]
663*2^1263244-1 is not prime.  Res64: 9F3B857ABD4ECFFE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:37:30]
705*2^1263244-1 is not prime.  Res64: AE38CDC10A53E095  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:40:50]
693*2^1263246-1 is not prime.  Res64: AF067BACBE0AB9CC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:40:50]
713*2^1263246-1 is not prime.  Res64: 088CFE7EFB760348  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:41:47]
765*2^1263244-1 is not prime.  Res64: 7575C85C4B6F7549  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:41:47]
843*2^1263244-1 is not prime.  Res64: 6A679F85E2C59FFD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:44:03]
721*2^1263245-1 is not prime.  Res64: 0E67790B461BFD25  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:45:18]
759*2^1263245-1 is not prime.  Res64: D7FB6DF387901D7C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:45:40]
983*2^1263246-1 is not prime.  Res64: 2F721AB920A317CB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:46:48]
1001*2^1263246-1 is not prime.  Res64: 73E19EE0CABB737F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:47:10]
775*2^1263245-1 is not prime.  Res64: CBB73E74A78903BD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:47:10]
787*2^1263245-1 is not prime.  Res64: 1AD9CCB22067A3BE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:47:12]
831*2^1263245-1 is not prime.  Res64: F72156BA75F26892  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:47:12]
859*2^1263245-1 is not prime.  Res64: 372406E499C8AE5A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:52:51]
693*2^1263247-1 is not prime.  Res64: AE3BC2C1D50A4FE8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:52:51]
735*2^1263247-1 is not prime.  Res64: B8F01D25F4D2E053  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:54:16]
859*2^1263247-1 is not prime.  Res64: E15CC6DE78FD8DE2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 18:54:16]
919*2^1263247-1 is not prime.  Res64: 0431FB1CD90DBA8F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 18:57:56]
817*2^1263253-1 is not prime.  Res64: 7D56E6AED20E8879  Time : 0.0 sec.
user=juhehe
[2013-10-27 18:59:43]
995*2^1263250-1 is not prime.  Res64: F358F9A22FBF97F5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:00:05]
765*2^1263243-1 is not prime.  Res64: EAE7AAEC897BE9A6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:00:05]
945*2^1263243-1 is not prime.  Res64: 4B56AF6887754ACD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:01:12]
741*2^1263247-1 is not prime.  Res64: 3E9371FFAF4DBAE1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:01:12]
973*2^1263247-1 is not prime.  Res64: B73CA80301DA67D2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:01:12]
617*2^1263248-1 is not prime.  Res64: F71FA026D784CCE8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:02:23]
805*2^1263247-1 is not prime.  Res64: C090013C91C4CC36  Time : 0.0 sec.
user=juhehe
[2013-10-27 19:06:34]
969*2^1263249-1 is not prime.  Res64: BA8C2B5F5145A169  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:10:16]
827*2^1263248-1 is not prime.  Res64: E6007C865708CE89  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:11:22]
893*2^1263248-1 is not prime.  Res64: 0AF0378FFBDD0615  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:11:44]
981*2^1263245-1 is not prime.  Res64: 759D3D6022CA5DCF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:11:45]
987*2^1263245-1 is not prime.  Res64: 2222FE7EAABAB158  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:12:07]
741*2^1263246-1 is not prime.  Res64: 921912099CC7EFCB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:12:08]
801*2^1263246-1 is not prime.  Res64: 9DA5B2F082110D62  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:13:59]
843*2^1263246-1 is not prime.  Res64: 654D0F8BA1CCED63  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:14:00]
891*2^1263246-1 is not prime.  Res64: 5667033AA707C3ED  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:22:43]
705*2^1263251-1 is not prime.  Res64: F66314BE1D36AAC7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:22:43]
687*2^1263250-1 is not prime.  Res64: 84A107A9F94DDDBF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:22:43]
669*2^1263252-1 is not prime.  Res64: A0DAA12F5DF5D705  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:23:48]
773*2^1263250-1 is not prime.  Res64: D9368FF877345C7A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:25:14]
699*2^1263253-1 is not prime.  Res64: 5931215B28FFEEE7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:25:14]
775*2^1263253-1 is not prime.  Res64: CDDFEE8E572A701F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 19:25:57]
825*2^1263242-1 is not prime.  Res64: ACE7150511F7B3BF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:28:08]
689*2^1263252-1 is not prime.  Res64: E5620CD44CCE7090  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:28:08]
749*2^1263252-1 is not prime.  Res64: 86BE3B673DD89BE0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:29:56]
945*2^1263254-1 is not prime.  Res64: CA94985ED26AFB15  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:29:57]
625*2^1263255-1 is not prime.  Res64: EBB32E17D8FDF347  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:34:42]
693*2^1263256-1 is not prime.  Res64: 76B791002B2F318C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:34:42]
885*2^1263255-1 is not prime.  Res64: 40E0DAF24AA740DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:34:42]
909*2^1263255-1 is not prime.  Res64: E86AC1C940E2DEC3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:35:25]
875*2^1263256-1 is not prime.  Res64: 5C5E426425C50F59  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:35:48]
743*2^1263256-1 is not prime.  Res64: 2933273C7DA159B3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:36:31]
669*2^1263257-1 is not prime.  Res64: FA7626034444617D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:36:31]
919*2^1263255-1 is not prime.  Res64: 639FE0784C83B737  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:37:45]
943*2^1263255-1 is not prime.  Res64: 834B400B667077A9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:39:37]
747*2^1263249-1 is not prime.  Res64: 488559BF552788E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:39:37]
817*2^1263249-1 is not prime.  Res64: 77BA35E3104A53D2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:40:24]
779*2^1263256-1 is not prime.  Res64: B8E401839964ADA4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:40:24]
813*2^1263256-1 is not prime.  Res64: 3DE912207CEC5B94  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:41:25]
931*2^1263257-1 is not prime.  Res64: 72B6C1EFC421FCB6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:42:29]
611*2^1263258-1 is not prime.  Res64: BD9B5AD19B5DFA9F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:42:51]
997*2^1263249-1 is not prime.  Res64: 2E0BF34CE14129A6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:42:51]
641*2^1263258-1 is not prime.  Res64: 1EB46F03169618B7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:42:52]
755*2^1263258-1 is not prime.  Res64: A8074D3F246EF4FB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:43:56]
645*2^1263250-1 is not prime.  Res64: 48B4C0CF11C9A6B2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:45:43]
861*2^1263259-1 is not prime.  Res64: 50B1145620674B06  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:45:43]
825*2^1263256-1 is not prime.  Res64: 6769693898AC54EF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:45:43]
873*2^1263259-1 is not prime.  Res64: 8F07D4425C7A87F4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:46:48]
857*2^1263256-1 is not prime.  Res64: 835A661673FD39ED  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 19:51:09]
917*2^1263264-1 is not prime.  Res64: 80581F110028BD8F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:51:09]
777*2^1263250-1 is not prime.  Res64: E45E7C1FE21250E1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:51:09]
821*2^1263250-1 is not prime.  Res64: 6811C62A881121A2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:51:13]
801*2^1263258-1 is not prime.  Res64: D6BA95F399809485  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:51:13]
971*2^1263258-1 is not prime.  Res64: 7891ECB09504FB87  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:56:44]
933*2^1263252-1 is not prime.  Res64: BA9DF012BA433B0F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 19:56:44]
945*2^1263252-1 is not prime.  Res64: 76BEB229CFBAEF04  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:00:18]
725*2^1263260-1 is not prime.  Res64: CB55FAFFAF6BECAC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:00:19]
795*2^1263260-1 is not prime.  Res64: DEA7EF7D944AC12E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:05:31]
705*2^1263262-1 is not prime.  Res64: 52446CD620911C7E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:05:32]
743*2^1263262-1 is not prime.  Res64: 29A4ED686B15B685  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:10:10]
691*2^1263261-1 is not prime.  Res64: 9445611877BBE052  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:10:11]
961*2^1263261-1 is not prime.  Res64: C7C8BD4C4DB901A0  Time : 0.0 sec.
user=juhehe
[2013-10-27 20:11:18]
955*2^1263265-1 is not prime.  Res64: A92ADE14A8687592  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:19:07]
605*2^1263264-1 is not prime.  Res64: 10CEE62B36D8AE88  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:19:07]
693*2^1263264-1 is not prime.  Res64: E7C5BDC5B752AA01  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:21:19]
985*2^1263259-1 is not prime.  Res64: A6FE6550222A1049  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:21:40]
823*2^1263263-1 is not prime.  Res64: E8601EFCA2CF61A9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:21:41]
973*2^1263263-1 is not prime.  Res64: 965E2EC2E8984FCD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:22:23]
635*2^1263260-1 is not prime.  Res64: 90DF9B6509049BCF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:23:07]
767*2^1263264-1 is not prime.  Res64: F8A4449A832047F8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:23:08]
915*2^1263264-1 is not prime.  Res64: E470554BC01DB71E  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 20:24:33]
717*2^1263244-1 is not prime.  Res64: DCBB333324113868  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:25:38]
651*2^1263262-1 is not prime.  Res64: 90887A0EC55643BA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:26:21]
957*2^1263265-1 is not prime.  Res64: FBA4E747040A0F62  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:26:21]
999*2^1263265-1 is not prime.  Res64: 3A7431992AE27055  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:26:42]
885*2^1263262-1 is not prime.  Res64: 02F3075B34FECA95  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:27:25]
675*2^1263265-1 is not prime.  Res64: 0434BE3D1B1745C9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:27:26]
727*2^1263265-1 is not prime.  Res64: 041AC7FC294FBC8A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:29:12]
759*2^1263265-1 is not prime.  Res64: 991557263C1623B5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:29:12]
771*2^1263265-1 is not prime.  Res64: 1BDE7EC2033580E6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:30:57]
965*2^1263262-1 is not prime.  Res64: 01B624CE0095CA0F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:30:57]
987*2^1263262-1 is not prime.  Res64: BE680C6A0469316A  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 20:32:21]
625*2^1263225-1 is not prime.  Res64: A815D886B450042B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:32:42]
685*2^1263263-1 is not prime.  Res64: DDABF8DDA6A1C3C2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:32:42]
805*2^1263263-1 is not prime.  Res64: A45B4573E2FFDA9D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:33:46]
799*2^1263265-1 is not prime.  Res64: B6FCCAF49023D9D9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:34:28]
615*2^1263266-1 is not prime.  Res64: 02AFCA84D029D3B3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:34:28]
675*2^1263266-1 is not prime.  Res64: 19247C6F2CC53AD5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:34:50]
861*2^1263265-1 is not prime.  Res64: 84577FECDB1154CA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:34:50]
855*2^1263265-1 is not prime.  Res64: AD0B41DBFE4C256A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:35:33]
869*2^1263268-1 is not prime.  Res64: E515F40EA51A826A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:35:54]
885*2^1263265-1 is not prime.  Res64: 3DE31E07BA960E5A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:36:16]
993*2^1263266-1 is not prime.  Res64: B3DBB39E13029663  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:36:38]
969*2^1263268-1 is not prime.  Res64: 21628DC7B9FF7E04  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:37:20]
651*2^1263267-1 is not prime.  Res64: 54F79F61FF12A1FD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:40:32]
859*2^1263267-1 is not prime.  Res64: 6270D8CD10960F29  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:40:33]
879*2^1263267-1 is not prime.  Res64: 2BA91BF8546582A3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:41:57]
913*2^1263267-1 is not prime.  Res64: 52C8E07AE85C45E3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:43:04]
963*2^1263267-1 is not prime.  Res64: 1EDF67E27532D6EE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:45:36]
801*2^1263269-1 is not prime.  Res64: A9BF8A10CFBFE8F1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:45:36]
611*2^1263270-1 is not prime.  Res64: 545FB40CC00FD6CD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:45:55]
995*2^1263268-1 is not prime.  Res64: 9F57B4D3F5631AF7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:45:55]
697*2^1263269-1 is not prime.  Res64: 8EEAAE4FD832599F  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 20:46:17]
627*2^1263273-1 is not prime.  Res64: 5EECADDF85917FA5  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 20:46:17]
657*2^1263273-1 is not prime.  Res64: 27A405170324B488  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:58:19]
683*2^1263266-1 is not prime.  Res64: 045F668B9EFB36DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:58:19]
713*2^1263266-1 is not prime.  Res64: B19584A65198818B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:59:45]
765*2^1263270-1 is not prime.  Res64: 798960B6FE62D053  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 20:59:45]
773*2^1263270-1 is not prime.  Res64: 6F62C34EF6D1E020  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:06:54]
783*2^1263270-1 is not prime.  Res64: 11053FF498F1B569  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:06:54]
651*2^1263271-1 is not prime.  Res64: 67EFBA4ECC18F34F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:06:54]
797*2^1263270-1 is not prime.  Res64: 146436AF40063110  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:06:54]
709*2^1263271-1 is not prime.  Res64: 8DC5E3CF432A432B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:10:16]
813*2^1263268-1 is not prime.  Res64: 84CECE0B73EDD50D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:10:17]
827*2^1263268-1 is not prime.  Res64: 7C01D1043B89AFB0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 21:11:48]
875*2^1263278-1 is not prime.  Res64: 4B018BEAEFA10332  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:17:18]
835*2^1263273-1 is not prime.  Res64: 934A9162D9E55D17  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:17:19]
759*2^1263269-1 is not prime.  Res64: 93C67F91B8EC94FC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:17:19]
771*2^1263269-1 is not prime.  Res64: 29FDA30404D60BEF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:17:49]
665*2^1263272-1 is not prime.  Res64: 5313ADEBE30B32D9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:10]
671*2^1263270-1 is not prime.  Res64: 91A9445A08F0E3AA  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:10]
715*2^1263271-1 is not prime.  Res64: 714BD23374C9081E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:11]
725*2^1263270-1 is not prime.  Res64: 71A213007EBB7D68  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:11]
813*2^1263271-1 is not prime.  Res64: 6FF27AF425071C48  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:32]
861*2^1263273-1 is not prime.  Res64: BA0B4312330E53FC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:18:53]
977*2^1263272-1 is not prime.  Res64: 6BA179E86F3516C6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:20:41]
859*2^1263271-1 is not prime.  Res64: 697FDF1279DF4EE8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:20:41]
913*2^1263271-1 is not prime.  Res64: 256A00B836AC8CA9  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 21:22:40]
939*2^1263253-1 is not prime.  Res64: 55D1F183F594668B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:23:10]
623*2^1263274-1 is not prime.  Res64: D7DF02FDAADA7FCE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:23:11]
737*2^1263274-1 is not prime.  Res64: 1207BDC0844E4066  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:27:46]
725*2^1263276-1 is not prime.  Res64: DDA21F81C430B224  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:27:46]
845*2^1263276-1 is not prime.  Res64: 81CF5E0E6ED917C9  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:28:30]
857*2^1263274-1 is not prime.  Res64: 3495A15EBAB516CF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:28:31]
887*2^1263274-1 is not prime.  Res64: C9C71F7C121550B5  Time : 0.0 sec.
user=juhehe
[2013-10-27 21:29:55]
923*2^1263278-1 is not prime.  Res64: 16E8425791A313A3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:29:55]
963*2^1263275-1 is not prime.  Res64: 1E8C6585DC4C7CC4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:29:55]
707*2^1263276-1 is not prime.  Res64: 2F9431734AF9DDA8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:32:44]
999*2^1263276-1 is not prime.  Res64: 025859F93DE4783C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:32:44]
601*2^1263277-1 is not prime.  Res64: 0AC7C215B8663F78  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:33:47]
883*2^1263275-1 is not prime.  Res64: DEB5A643B0430B1F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:33:47]
699*2^1263275-1 is not prime.  Res64: 28E59C4B34BC395A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:33:48]
855*2^1263275-1 is not prime.  Res64: 0D3D249B61CC1C1B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:33:48]
913*2^1263275-1 is not prime.  Res64: 82B9837E39F13E29  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:34:30]
615*2^1263277-1 is not prime.  Res64: F885AB9B2D5EC63B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:34:30]
757*2^1263277-1 is not prime.  Res64: EAE62406A9DF268D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:38:00]
951*2^1263273-1 is not prime.  Res64: A85867BB4AD9C97B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:38:00]
621*2^1263274-1 is not prime.  Res64: 8751914A177A1279  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:38:49]
619*2^1263275-1 is not prime.  Res64: 5F71C36670A46836  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:38:49]
649*2^1263275-1 is not prime.  Res64: DD6060C7DCE5139E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:41:56]
775*2^1263277-1 is not prime.  Res64: 6A2795F2527DA227  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:41:56]
849*2^1263277-1 is not prime.  Res64: C68F0FBD235805CE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:44:06]
969*2^1263271-1 is not prime.  Res64: FA6F3284D1FA49A5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:44:06]
615*2^1263272-1 is not prime.  Res64: 867F8DE12110956D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:44:50]
859*2^1263277-1 is not prime.  Res64: 9DD1B74B3623CA39  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:44:50]
945*2^1263277-1 is not prime.  Res64: EE6E83D5C7620073  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:45:01]
801*2^1263278-1 is not prime.  Res64: 8B6D106819DC304A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:45:01]
861*2^1263278-1 is not prime.  Res64: 833379EBFF2247C5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:46:22]
941*2^1263274-1 is not prime.  Res64: 75BF1BBFB0DD2A8B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:46:23]
981*2^1263274-1 is not prime.  Res64: 72ABD73DB54B875D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:55:26]
621*2^1263279-1 is not prime.  Res64: 52832129405046DC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 21:55:26]
711*2^1263279-1 is not prime.  Res64: 15D4CBF8FAF26D24  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:05:46]
853*2^1263279-1 is not prime.  Res64: DB73CBD72D313A85  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:06:08]
735*2^1263279-1 is not prime.  Res64: EE1B769332702DB1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:06:09]
789*2^1263279-1 is not prime.  Res64: 5ABEB961809498B3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:06:52]
909*2^1263279-1 is not prime.  Res64: 0ED41DEDFE3C9D6D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:09:24]
941*2^1263278-1 is not prime.  Res64: F4E2ED8ED127CD07  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:09:24]
619*2^1263279-1 is not prime.  Res64: 031AB2B16B5D5B86  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:10:11]
777*2^1263281-1 is not prime.  Res64: 2F40DFA9C11DE19A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:10:12]
795*2^1263281-1 is not prime.  Res64: DA3659A9636FAEBF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:13:39]
879*2^1263281-1 is not prime.  Res64: 89B6EE88B92F42BC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:13:39]
653*2^1263282-1 is not prime.  Res64: FD9EDAF15602F764  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:17:00]
719*2^1263280-1 is not prime.  Res64: DD941F3C6145F49C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:17:01]
825*2^1263280-1 is not prime.  Res64: D9BBDE5E6833804B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:18:45]
791*2^1263282-1 is not prime.  Res64: 216E7B5C1947C9AC  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:18:45]
797*2^1263282-1 is not prime.  Res64: 1E6C8343D02B0EA5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:19:51]
681*2^1263282-1 is not prime.  Res64: 30E11434EAA74F80  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:19:51]
705*2^1263282-1 is not prime.  Res64: DD540F77DFA23027  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:22:20]
731*2^1263282-1 is not prime.  Res64: 3BD35E34A99BA831  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:22:20]
765*2^1263282-1 is not prime.  Res64: DCA3B3BFA911FF47  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 22:22:41]
927*2^1263264-1 is not prime.  Res64: 8037EEC105B6847B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:26:14]
615*2^1263280-1 is not prime.  Res64: BD105602AD11BB4B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:27:19]
665*2^1263280-1 is not prime.  Res64: 05A1DF31622462C2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:28:03]
833*2^1263282-1 is not prime.  Res64: 583CBA7703438B46  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:28:03]
837*2^1263282-1 is not prime.  Res64: 2A1F2D09A7227DAE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:29:07]
893*2^1263282-1 is not prime.  Res64: BDFD92FE464EBCFB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:29:07]
903*2^1263282-1 is not prime.  Res64: CD857BBB30B494FF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:31:41]
705*2^1263283-1 is not prime.  Res64: 6A4D58EEFC879E07  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:31:41]
709*2^1263283-1 is not prime.  Res64: 268200B982FDF5BF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:32:54]
871*2^1263283-1 is not prime.  Res64: 97F89729BBFB894C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:33:15]
913*2^1263283-1 is not prime.  Res64: 596CB36EAF3877E2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:33:19]
855*2^1263284-1 is not prime.  Res64: 81857817FC0DA3D6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:33:19]
897*2^1263284-1 is not prime.  Res64: 0BE189913A9681EB  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:33:59]
891*2^1263283-1 is not prime.  Res64: 5C50A945D9CB974C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:34:20]
833*2^1263284-1 is not prime.  Res64: 4E7AB27880981DCF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:39:19]
975*2^1263285-1 is not prime.  Res64: 4E7E7BF7739293B4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:39:19]
647*2^1263286-1 is not prime.  Res64: E20FB5AB28A411B7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:40:22]
671*2^1263286-1 is not prime.  Res64: 855CD24B31ED5E96  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:40:23]
945*2^1263286-1 is not prime.  Res64: 738C5F5BEA761577  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:40:47]
795*2^1263285-1 is not prime.  Res64: 3BAE87B98F88793D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:40:47]
859*2^1263285-1 is not prime.  Res64: C88A8A05E8002E77  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:43:35]
675*2^1263280-1 is not prime.  Res64: 82CF3DE1DFA90EF8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:43:35]
695*2^1263280-1 is not prime.  Res64: F97D3CECB492D69A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:44:18]
863*2^1263280-1 is not prime.  Res64: C7C04FAF610D5E72  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:44:18]
905*2^1263280-1 is not prime.  Res64: 505AEB6B5E97C337  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 22:45:05]
605*2^1263292-1 is not prime.  Res64: 8D8036BA4AFDEB8B  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 22:45:06]
647*2^1263292-1 is not prime.  Res64: 0167E2B39096381A  Time : 0.0 sec.
user=juhehe
[2013-10-27 22:51:23]
919*2^1263289-1 is not prime.  Res64: 689179A9BD4A6694  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:54:37]
735*2^1263287-1 is not prime.  Res64: EECAFD7908AA4C34  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:54:37]
861*2^1263287-1 is not prime.  Res64: 7E6457ABB1FC1CC2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:55:39]
899*2^1263284-1 is not prime.  Res64: 86E7CD5D68772DCF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:55:39]
903*2^1263284-1 is not prime.  Res64: 69400155B4894AFF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:56:23]
691*2^1263285-1 is not prime.  Res64: B17D98517938F193  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:56:23]
711*2^1263285-1 is not prime.  Res64: 123FFA5277A08735  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:57:26]
987*2^1263289-1 is not prime.  Res64: 7A131BEED318384E  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 22:57:26]
633*2^1263290-1 is not prime.  Res64: 6DAE9919D299B806  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:01:49]
963*2^1263287-1 is not prime.  Res64: 6ED9A08E87D53A82  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:03:16]
665*2^1263288-1 is not prime.  Res64: EDF8303BDF5C43BD  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:04:03]
981*2^1263286-1 is not prime.  Res64: 5A0831253E11394B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:04:04]
675*2^1263287-1 is not prime.  Res64: 6E658B46E1AC7A42  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:05:55]
683*2^1263288-1 is not prime.  Res64: 8DEB5D0F4DC9D7B8  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:07:05]
809*2^1263288-1 is not prime.  Res64: C2A91017D003AD83  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:09:07]
911*2^1263290-1 is not prime.  Res64: D2218A1A2400CFF7  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:09:08]
707*2^1263290-1 is not prime.  Res64: 818E72C78CB0A828  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:09:09]
825*2^1263290-1 is not prime.  Res64: DE4E44FFE30FD2E3  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:10:16]
977*2^1263290-1 is not prime.  Res64: C2CDBD340433D6E8  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:10:18]
969*2^1263295-1 is not prime.  Res64: 2F9777826DDC0F53  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:10:18]
767*2^1263296-1 is not prime.  Res64: CE7038D42E1BBC2F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:10:40]
951*2^1263285-1 is not prime.  Res64: 161F1FCA48485687  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:10:40]
961*2^1263285-1 is not prime.  Res64: 0D1976B8AEACA22F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:15:16]
987*2^1263290-1 is not prime.  Res64: 01F324C7A45F4E94  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:15:16]
609*2^1263291-1 is not prime.  Res64: 92BF58E7D5A5F8E5  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:15:39]
875*2^1263290-1 is not prime.  Res64: 407A3C6E0BF2142C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:15:39]
893*2^1263290-1 is not prime.  Res64: 737F4BC8FB3C3240  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:20:25]
695*2^1263298-1 is not prime.  Res64: A815D3A33E3E417A  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:20:25]
723*2^1263298-1 is not prime.  Res64: ECFF9A1F75C2F677  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:21:18]
741*2^1263291-1 is not prime.  Res64: EC22E2C059F67D44  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:21:18]
819*2^1263291-1 is not prime.  Res64: 5543420544622165  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:21:51]
661*2^1263289-1 is not prime.  Res64: 54C1AEA49BD69560  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:21:51]
729*2^1263289-1 is not prime.  Res64: 66280FF6587206D9  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:25:39]
897*2^1263278-1 is not prime.  Res64: 1C1F6441036AE437  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:26:57]
749*2^1263292-1 is not prime.  Res64: 86702CA5B5720E03  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:26:57]
777*2^1263292-1 is not prime.  Res64: 4EB82B73EB28AB5C  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:28:05]
827*2^1263292-1 is not prime.  Res64: 779C8E9A59D7B7E2  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:28:05]
873*2^1263292-1 is not prime.  Res64: 5DFB7A8F0089C08D  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:29:53]
669*2^1263293-1 is not prime.  Res64: F0E85B9BDDCECD14  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:29:54]
691*2^1263293-1 is not prime.  Res64: B3B86CEE3D18CB1F  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:30:27]
899*2^1263292-1 is not prime.  Res64: F3CB89470DF0DAE6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:30:27]
903*2^1263292-1 is not prime.  Res64: 1EEA06C4CD9F6D1A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:31:46]
923*2^1263292-1 is not prime.  Res64: 5E203ABF4FAF1EF6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:31:46]
933*2^1263292-1 is not prime.  Res64: 74074A027054E6C6  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:32:39]
615*2^1263294-1 is not prime.  Res64: E070C992014D7386  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:32:39]
747*2^1263294-1 is not prime.  Res64: F68C0DB8B6D26241  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:32:46]
973*2^1263299-1 is not prime.  Res64: A729967AD79BD0E0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:32:46]
647*2^1263300-1 is not prime.  Res64: FF2AFCD16EEE704B  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:34:05]
745*2^1263293-1 is not prime.  Res64: 60CDAF7A9478F00A  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:34:05]
879*2^1263293-1 is not prime.  Res64: 50F5E9F3D365C7D4  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:36:13]
795*2^1263294-1 is not prime.  Res64: 1C68FDDA216DD473  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:36:13]
651*2^1263295-1 is not prime.  Res64: BEE9A9666CC22CB0  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:39:27]
765*2^1263294-1 is not prime.  Res64: F275F1A1CDB40E41  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:39:27]
773*2^1263294-1 is not prime.  Res64: 84FFFF3EBE32C5DE  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:41:40]
657*2^1263298-1 is not prime.  Res64: FBCD85BE521CD253  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:41:40]
665*2^1263298-1 is not prime.  Res64: 0E82AC155BCFA9B7  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:41:42]
691*2^1263301-1 is not prime.  Res64: B12B843CDB495FB0  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:41:43]
751*2^1263301-1 is not prime.  Res64: 891EC25413038393  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:48:01]
747*2^1263302-1 is not prime.  Res64: 318FDDCA0DD06C93  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:48:01]
843*2^1263302-1 is not prime.  Res64: 94BD850C977DDBE1  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:53:39]
893*2^1263296-1 is not prime.  Res64: BE9E41B1AE548797  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:53:39]
999*2^1263296-1 is not prime.  Res64: 2B931C4C73277F07  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:53:45]
719*2^1263292-1 is not prime.  Res64: 19B5E7C10D93B980  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:53:45]
743*2^1263292-1 is not prime.  Res64: 2E63A59ADEEB7E23  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:54:29]
819*2^1263304-1 is not prime.  Res64: A6973B8770815681  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:54:29]
849*2^1263304-1 is not prime.  Res64: 7016F5B470F408A1  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:56:16]
787*2^1263305-1 is not prime.  Res64: F145FFFA274BB1D2  Time : 0.0 sec.
user=mdettweiler
[2013-10-27 23:56:16]
841*2^1263305-1 is not prime.  Res64: A984CF88AAE909CF  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:56:28]
601*2^1263299-1 is not prime.  Res64: C60DFE866EE34620  Time : 0.0 sec.
user=gd_barnes
[2013-10-27 23:56:28]
643*2^1263299-1 is not prime.  Res64: 2709A9B4EA911C86  Time : 0.0 sec.
user=gd_barnes
[2013-10-28 00:00:11]
725*2^1263300-1 is not prime.  Res64: 530419628824A4DB  Time : 0.0 sec.
user=gd_barnes
[2013-10-28 00:00:11]
765*2^1263300-1 is not prime.  Res64: 8D5CB4FC76AC2837  Time : 0.0 sec.