user=mdettweiler
[2013-07-14 00:13:10]
667*2^1247677-1 is not prime.  Res64: 8A30C77D1BFE87F8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 00:13:11]
759*2^1247677-1 is not prime.  Res64: E7F085FE291E6DD5  Time : 0.0 sec.
user=vaughan
[2013-07-14 00:23:25]
625*2^1247677-1 is not prime.  Res64: EDCF6024B52A43BC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 00:30:17]
777*2^1247677-1 is not prime.  Res64: C0C3DFE19B2AFA30  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 00:30:17]
801*2^1247677-1 is not prime.  Res64: 1FAFC5CC61683D7C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 00:47:17]
819*2^1247677-1 is not prime.  Res64: 540FBAD1A60CA03B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 00:47:17]
847*2^1247677-1 is not prime.  Res64: 2EE45FD02A2B99DB  Time : 0.0 sec.
user=vaughan
[2013-07-14 01:01:21]
817*2^1247677-1 is not prime.  Res64: 30928866EABF32E8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:05:07]
945*2^1247677-1 is not prime.  Res64: B0D804D8F7CAB7B7  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:05:08]
967*2^1247677-1 is not prime.  Res64: 5CC8C0F1CE3C3737  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:22:08]
897*2^1247678-1 is not prime.  Res64: 0C77B71BDFF1EEFD  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:22:09]
911*2^1247678-1 is not prime.  Res64: 1E136E771179B136  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:39:58]
921*2^1247678-1 is not prime.  Res64: D86444C9344F73C6  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:39:59]
957*2^1247678-1 is not prime.  Res64: 2E1C481C1168E3C1  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:56:59]
693*2^1247679-1 is not prime.  Res64: 129DC445E883BD29  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 01:57:00]
723*2^1247679-1 is not prime.  Res64: CE1961322AF65875  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 02:14:00]
775*2^1247679-1 is not prime.  Res64: 223904FE8497C51C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 02:14:01]
789*2^1247679-1 is not prime.  Res64: 92234B0F20A0E497  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 02:31:02]
605*2^1247680-1 is not prime.  Res64: 2B5A894D1DD762EE  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 02:31:03]
615*2^1247680-1 is not prime.  Res64: 11ED926DA85C41B1  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 02:48:16]
635*2^1247680-1 is not prime.  Res64: 116D2C5B99752AED  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 03:14:03]
723*2^1247680-1 is not prime.  Res64: 260AF9B738ECC1DC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 03:31:06]
615*2^1247681-1 is not prime.  Res64: FA8EB4A2B04A027F  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 03:31:08]
799*2^1247681-1 is not prime.  Res64: 9C652356BCE04283  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 03:48:19]
801*2^1247681-1 is not prime.  Res64: FD0F06993AA89405  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 03:48:20]
671*2^1247682-1 is not prime.  Res64: CCA0A162A83DFEE4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:05:27]
723*2^1247682-1 is not prime.  Res64: AF0BF102931AFD3E  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:05:28]
885*2^1247682-1 is not prime.  Res64: 8205DDFDEF760B03  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:23:29]
891*2^1247682-1 is not prime.  Res64: BA11B5FF346EBFAD  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:23:29]
923*2^1247682-1 is not prime.  Res64: D855EBCB7DC4C9D4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:41:16]
619*2^1247683-1 is not prime.  Res64: 527B610EDC359A33  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:41:17]
703*2^1247683-1 is not prime.  Res64: 5495C0AB3F86FED8  Time : 0.0 sec.
user=vaughan
[2013-07-14 04:55:23]
665*2^1247678-1 is not prime.  Res64: F77CABEC9F199B38  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:58:22]
789*2^1247683-1 is not prime.  Res64: 675D49622A3766D3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 04:58:23]
943*2^1247683-1 is not prime.  Res64: 0A657B6C2BBCC4B2  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:16:12]
985*2^1247683-1 is not prime.  Res64: 5BACAAA9D649A164  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:16:12]
635*2^1247684-1 is not prime.  Res64: E0F89CC46CEE2023  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:33:16]
677*2^1247684-1 is not prime.  Res64: 0C7173CFC2DD4F0B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:33:17]
753*2^1247684-1 is not prime.  Res64: E0C8F0139651EF89  Time : 0.0 sec.
user=vaughan
[2013-07-14 05:38:19]
961*2^1247683-1 is not prime.  Res64: AFFAC3D3CFB09FF0  Time : 0.0 sec.
user=juhehe
[2013-07-14 05:47:17]
869*2^1247684-1 is not prime.  Res64: 7378BF4969713EE4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:50:18]
875*2^1247684-1 is not prime.  Res64: 5810754D1ECE0F30  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 05:50:19]
927*2^1247684-1 is not prime.  Res64: C82C97D172534BB3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:07:18]
675*2^1247685-1 is not prime.  Res64: 3BACA55E7C704F48  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:07:19]
679*2^1247685-1 is not prime.  Res64: 59B150FA87DB84EB  Time : 0.0 sec.
user=juhehe
[2013-07-14 06:08:41]
601*2^1247685-1 is not prime.  Res64: 1867CC2E8ADCAB7F  Time : 0.0 sec.
user=vaughan
[2013-07-14 06:21:10]
945*2^1247684-1 is not prime.  Res64: 8944D72F98D98960  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:24:22]
777*2^1247685-1 is not prime.  Res64: 0221B67DE40AC20D  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:24:23]
871*2^1247685-1 is not prime.  Res64: 0F4E4010B43737C8  Time : 0.0 sec.
user=juhehe
[2013-07-14 06:33:35]
937*2^1247685-1 is not prime.  Res64: B2996653504FA5A5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:41:23]
723*2^1247686-1 is not prime.  Res64: 794738A8C8F6C989  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:41:23]
741*2^1247686-1 is not prime.  Res64: CF7E8829A4644AAB  Time : 0.0 sec.
user=juhehe
[2013-07-14 06:55:00]
747*2^1247686-1 is not prime.  Res64: 98BA56F2A3E60C2F  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:58:23]
755*2^1247686-1 is not prime.  Res64: B83E58645F523A8B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 06:58:24]
867*2^1247686-1 is not prime.  Res64: E36525C5840B2FEA  Time : 0.0 sec.
user=vaughan
[2013-07-14 06:59:12]
617*2^1247686-1 is not prime.  Res64: 88CFDD46CA0A4C06  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:15:24]
903*2^1247686-1 is not prime.  Res64: CF70C666CF2FC58F  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:15:25]
945*2^1247686-1 is not prime.  Res64: A68CB17BE0B27A5C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:33:16]
993*2^1247686-1 is not prime.  Res64: 9A77C33C345A1F89  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:33:16]
661*2^1247687-1 is not prime.  Res64: C8C6A5119A89011E  Time : 0.0 sec.
user=vaughan
[2013-07-14 07:42:04]
947*2^1247686-1 is not prime.  Res64: D031670DA47DF2D8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:50:17]
673*2^1247687-1 is not prime.  Res64: C46CA25AAECFFB42  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 07:50:17]
735*2^1247687-1 is not prime.  Res64: 356A2E76A81726D7  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:07:18]
665*2^1247688-1 is not prime.  Res64: 93C1285512919EB8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:07:19]
899*2^1247688-1 is not prime.  Res64: F53F359E5897F523  Time : 0.0 sec.
user=vaughan
[2013-07-14 08:20:05]
775*2^1247687-1 is not prime.  Res64: 47D1851947F364E5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:24:24]
927*2^1247688-1 is not prime.  Res64: 37D5AAB49407DCB5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:24:24]
935*2^1247688-1 is not prime.  Res64: F22F59B957C72340  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:41:24]
829*2^1247689-1 is not prime.  Res64: 18BA4739EAB1BDFC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 08:41:25]
835*2^1247689-1 is not prime.  Res64: 1E26B43BA66EACCC  Time : 0.0 sec.
user=vaughan
[2013-07-14 08:58:07]
699*2^1247689-1 is not prime.  Res64: E4E9BAD4844A0EA5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:00:01]
957*2^1247689-1 is not prime.  Res64: 3AA05F9EDA9AD142  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:00:02]
999*2^1247689-1 is not prime.  Res64: 84D36AA012E5F07A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:17:04]
671*2^1247690-1 is not prime.  Res64: 97A8D01A416D4D09  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:17:05]
753*2^1247690-1 is not prime.  Res64: BDB97A6A28ED6785  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:34:07]
813*2^1247690-1 is not prime.  Res64: 3F4D424C7C13D9B7  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:34:08]
915*2^1247690-1 is not prime.  Res64: CFA2873DDE13BADB  Time : 0.0 sec.
user=vaughan
[2013-07-14 09:36:08]
633*2^1247690-1 is not prime.  Res64: 91A8B7F6CA24EBCC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:51:56]
957*2^1247690-1 is not prime.  Res64: 5E133C3B28B64383  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 09:51:57]
669*2^1247691-1 is not prime.  Res64: 54F01B451DAA78C4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:09:46]
717*2^1247692-1 is not prime.  Res64: 8FA61F7A3AE135B5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:09:47]
989*2^1247692-1 is not prime.  Res64: 405AAFD35638CA40  Time : 0.0 sec.
user=vaughan
[2013-07-14 10:19:00]
955*2^1247691-1 is not prime.  Res64: 88464FE4854A1AEF  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:27:39]
999*2^1247692-1 is not prime.  Res64: F20C01A2533BB4F7  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:27:39]
621*2^1247693-1 is not prime.  Res64: E926F3F78844516D  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:44:40]
837*2^1247693-1 is not prime.  Res64: 5D0BE838B3CA5A5E  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 10:44:40]
871*2^1247693-1 is not prime.  Res64: 4B4D44DA02DE719D  Time : 0.0 sec.
user=juhehe
[2013-07-14 10:54:17]
901*2^1247693-1 is not prime.  Res64: ADAB7805776560FE  Time : 0.0 sec.
user=vaughan
[2013-07-14 10:56:58]
795*2^1247693-1 is not prime.  Res64: E610BF12D519457C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:02:29]
985*2^1247693-1 is not prime.  Res64: F87EB46B116E134B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:02:30]
681*2^1247694-1 is not prime.  Res64: 500CCFB0DFF9A3DB  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:19:33]
881*2^1247694-1 is not prime.  Res64: 9970B968C60A996B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:19:33]
941*2^1247694-1 is not prime.  Res64: FF92DBF0F581375C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:37:23]
965*2^1247694-1 is not prime.  Res64: 6223FC353223852B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:37:24]
609*2^1247695-1 is not prime.  Res64: A0AAADF2C81A814E  Time : 0.0 sec.
user=vaughan
[2013-07-14 11:39:48]
875*2^1247694-1 is not prime.  Res64: 30ED4F35DDC03E8B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:55:14]
891*2^1247695-1 is not prime.  Res64: 78A1C41FAE09AE7E  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 11:55:14]
973*2^1247695-1 is not prime.  Res64: 8DDB177E927AE4A1  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:12:16]
633*2^1247696-1 is not prime.  Res64: 5861039F036E9D82  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:12:16]
677*2^1247696-1 is not prime.  Res64: 4D160A921891B071  Time : 0.0 sec.
user=vaughan
[2013-07-14 12:19:07]
609*2^1247696-1 is not prime.  Res64: A91A37EDF8F540A5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:29:27]
719*2^1247696-1 is not prime.  Res64: 2418D86905A88FB0  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:29:28]
759*2^1247696-1 is not prime.  Res64: 209BEB53B9F30312  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:46:28]
897*2^1247696-1 is not prime.  Res64: 0B9AE3E4C2EDF0D1  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 12:46:29]
909*2^1247696-1 is not prime.  Res64: 9B0951A3F67C616A  Time : 0.0 sec.
user=vaughan
[2013-07-14 12:57:06]
839*2^1247696-1 is not prime.  Res64: C4D401BF506936C3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:04:48]
999*2^1247696-1 is not prime.  Res64: 633EE684B25931B7  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:04:49]
601*2^1247697-1 is not prime.  Res64: 8C104A82D991E9B4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:22:39]
681*2^1247697-1 is not prime.  Res64: BAA49D9FBA1D5016  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:22:39]
807*2^1247697-1 is not prime.  Res64: 9FA3D53B23ADE949  Time : 0.0 sec.
user=vaughan
[2013-07-14 13:35:05]
675*2^1247697-1 is not prime.  Res64: 52499F21E5EAD9AC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:40:45]
885*2^1247697-1 is not prime.  Res64: 6192036FC2DE9AD1  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:40:45]
611*2^1247698-1 is not prime.  Res64: D0396E5F5704F28A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:58:38]
867*2^1247698-1 is not prime.  Res64: 172C140AED3F7F20  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 13:58:38]
915*2^1247698-1 is not prime.  Res64: D46F5BF6A2797B39  Time : 0.0 sec.
user=vaughan
[2013-07-14 14:13:04]
747*2^1247698-1 is not prime.  Res64: 05DB7B00381DCC11  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:16:55]
933*2^1247698-1 is not prime.  Res64: F72C78CA0535C85D  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:16:56]
951*2^1247698-1 is not prime.  Res64: 2F69EE513BF6981A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:35:20]
609*2^1247699-1 is not prime.  Res64: DA2316DEABCBC800  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:35:21]
685*2^1247699-1 is not prime.  Res64: 3C7C9C7F5016FB96  Time : 0.0 sec.
user=juhehe
[2013-07-14 14:51:55]
693*2^1247699-1 is not prime.  Res64: EA003ACBEDB62E4A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:53:44]
703*2^1247699-1 is not prime.  Res64: DBC46193F4CFA765  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 14:53:44]
741*2^1247699-1 is not prime.  Res64: 2F14BF56740BE1EA  Time : 0.0 sec.
user=vaughan
[2013-07-14 14:55:53]
975*2^1247698-1 is not prime.  Res64: B2A76BE9A84C690C  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:11:22]
819*2^1247699-1 is not prime.  Res64: 40C4022B6DEECD3B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:11:24]
883*2^1247699-1 is not prime.  Res64: 3FC88BBDC4D8F1C5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:28:55]
795*2^1247700-1 is not prime.  Res64: BAC6EE020E716B86  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:28:55]
651*2^1247701-1 is not prime.  Res64: 738EFEA146D1755C  Time : 0.0 sec.
user=vaughan
[2013-07-14 15:33:50]
665*2^1247700-1 is not prime.  Res64: 880D373339A12047  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:46:20]
717*2^1247701-1 is not prime.  Res64: 53C456FF081497B3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 15:46:20]
771*2^1247701-1 is not prime.  Res64: BCD53ED6DAB8E741  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:03:44]
805*2^1247701-1 is not prime.  Res64: 6B5EB98AA30E3AF8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:03:45]
817*2^1247701-1 is not prime.  Res64: CACBFC107F1CE8AA  Time : 0.0 sec.
user=vaughan
[2013-07-14 16:11:46]
789*2^1247701-1 is not prime.  Res64: 12EC6302C64C0B40  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:22:11]
855*2^1247701-1 is not prime.  Res64: F53A1F3FF25C0416  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:22:11]
955*2^1247701-1 is not prime.  Res64: 220D804D446B73A5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:40:25]
999*2^1247701-1 is not prime.  Res64: 6F62D1B2AEE10E0D  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:40:25]
657*2^1247702-1 is not prime.  Res64: 60D47E96EFCF08A5  Time : 0.0 sec.
user=vaughan
[2013-07-14 16:54:39]
997*2^1247701-1 is not prime.  Res64: 47A29A83D8820A2E  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:57:50]
671*2^1247702-1 is not prime.  Res64: BA75F33B40137037  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 16:57:51]
705*2^1247702-1 is not prime.  Res64: DDDF239377C868A4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:15:14]
857*2^1247702-1 is not prime.  Res64: 65ADE507181E18D3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:15:14]
875*2^1247702-1 is not prime.  Res64: 097CBEE50B42C86B  Time : 0.0 sec.
user=vaughan
[2013-07-14 17:32:40]
813*2^1247702-1 is not prime.  Res64: 1B2416C307B93ED2  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:33:30]
903*2^1247702-1 is not prime.  Res64: A2F7CCDBFB486F36  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:33:31]
957*2^1247702-1 is not prime.  Res64: 915A8925F9CDCDD3  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:51:48]
1001*2^1247702-1 is not prime.  Res64: DD58E1D97A0A59C5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 17:51:49]
643*2^1247703-1 is not prime.  Res64: E4A5097153D6CE86  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:09:15]
703*2^1247703-1 is not prime.  Res64: F7E71CF09F00BFAB  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:09:16]
709*2^1247703-1 is not prime.  Res64: 1E0EF3F058D482EA  Time : 0.0 sec.
user=vaughan
[2013-07-14 18:15:29]
981*2^1247702-1 is not prime.  Res64: 467CDB84037AF71E  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:27:08]
795*2^1247703-1 is not prime.  Res64: E9BF14091EC8CFAF  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:27:09]
829*2^1247703-1 is not prime.  Res64: AA1FB4F9CD6E791A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:46:10]
969*2^1247703-1 is not prime.  Res64: C6A8C4D7C7AB62AF  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 18:46:11]
645*2^1247704-1 is not prime.  Res64: EC8CC968966519D2  Time : 0.0 sec.
user=juhehe
[2013-07-14 18:49:41]
657*2^1247704-1 is not prime.  Res64: 2A0DFFEED5E6536E  Time : 0.0 sec.
user=vaughan
[2013-07-14 18:53:29]
861*2^1247703-1 is not prime.  Res64: B195E46AECEFB2BF  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:03:57]
705*2^1247704-1 is not prime.  Res64: EEFF4F2FC6758862  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:03:58]
723*2^1247704-1 is not prime.  Res64: 1C7037B795595530  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:21:52]
855*2^1247704-1 is not prime.  Res64: BA174C79AA1F6829  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:21:52]
863*2^1247704-1 is not prime.  Res64: D4431A1C4A1A2C4E  Time : 0.0 sec.
user=vaughan
[2013-07-14 19:31:27]
743*2^1247704-1 is not prime.  Res64: 376C283AE078BB99  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:39:37]
875*2^1247704-1 is not prime.  Res64: 7D9BC8B29273803A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:39:38]
887*2^1247704-1 is not prime.  Res64: AC37641A6982127A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:57:18]
777*2^1247705-1 is not prime.  Res64: 7A83495385449C20  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 19:57:20]
865*2^1247705-1 is not prime.  Res64: 22A01078EB6C1641  Time : 0.0 sec.
user=vaughan
[2013-07-14 20:14:19]
965*2^1247704-1 is not prime.  Res64: 697E51F230341E86  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:15:51]
991*2^1247705-1 is not prime.  Res64: 6B4FE5BCC4086047  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:15:51]
711*2^1247706-1 is not prime.  Res64: AC27393823F5CE0D  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:33:05]
881*2^1247706-1 is not prime.  Res64: 346E2EABA0395280  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:33:06]
945*2^1247706-1 is not prime.  Res64: 05E444AB72D6F746  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:50:08]
601*2^1247707-1 is not prime.  Res64: BEA92C7B167F187A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 20:50:09]
615*2^1247707-1 is not prime.  Res64: B69E5A434980B2D4  Time : 0.0 sec.
user=vaughan
[2013-07-14 20:52:18]
833*2^1247706-1 is not prime.  Res64: 8353DEC9D4A4AE2A  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:07:10]
631*2^1247707-1 is not prime.  Res64: E10E722EC52A55C4  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:07:11]
633*2^1247707-1 is not prime.  Res64: 3C89A0F7C1575169  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:24:27]
651*2^1247707-1 is not prime.  Res64: 676EE8CC29332493  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:24:28]
699*2^1247707-1 is not prime.  Res64: 552A87D4CB75FF9C  Time : 0.0 sec.
user=vaughan
[2013-07-14 21:30:18]
639*2^1247707-1 is not prime.  Res64: 20FD58EE568C07D8  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:41:42]
703*2^1247707-1 is not prime.  Res64: 32460E643311CE51  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:41:43]
765*2^1247707-1 is not prime.  Res64: 70133E61877FFCD0  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:58:45]
873*2^1247707-1 is not prime.  Res64: 1CECC8F3F241E209  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 21:58:46]
939*2^1247707-1 is not prime.  Res64: 099E4B97E6AFC117  Time : 0.0 sec.
user=vaughan
[2013-07-14 22:08:15]
861*2^1247707-1 is not prime.  Res64: 82A605B06DF428EC  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:15:48]
629*2^1247708-1 is not prime.  Res64: 2AA864E1DB6D75BB  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:15:48]
657*2^1247708-1 is not prime.  Res64: D0780C4683B8D3A9  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:32:50]
665*2^1247708-1 is not prime.  Res64: 52ECE6BC7B18A384  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:32:50]
669*2^1247708-1 is not prime.  Res64: 533FD28FA5C155C3  Time : 0.0 sec.
user=vaughan
[2013-07-14 22:46:18]
663*2^1247708-1 is not prime.  Res64: 29A6FA54373E23D1  Time : 0.0 sec.
user=juhehe
[2013-07-14 22:47:51]
735*2^1247708-1 is not prime.  Res64: DB5C41FFD5B51F6B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:49:52]
773*2^1247708-1 is not prime.  Res64: 82FB62B37CC1E717  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 22:49:52]
819*2^1247708-1 is not prime.  Res64: ECB4B7DDDDC7A15B  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:06:55]
609*2^1247709-1 is not prime.  Res64: 8FC0CA29FAD76890  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:06:56]
649*2^1247709-1 is not prime.  Res64: 2C961661455EE0D6  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:24:00]
835*2^1247709-1 is not prime.  Res64: E7F694B37B8571F2  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:24:01]
847*2^1247709-1 is not prime.  Res64: AAA32D9425F08D07  Time : 0.0 sec.
user=vaughan
[2013-07-14 23:29:08]
995*2^1247708-1 is not prime.  Res64: B4C526D641D6E8E9  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:41:50]
889*2^1247709-1 is not prime.  Res64: E0C825F0A13E0B28  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:41:51]
969*2^1247709-1 is not prime.  Res64: DFD6A93F575545EF  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:58:53]
611*2^1247710-1 is not prime.  Res64: 5BB2AC3DD57936B5  Time : 0.0 sec.
user=mdettweiler
[2013-07-14 23:58:53]
635*2^1247710-1 is not prime.  Res64: AF21244E46322E74  Time : 0.0 sec.