user=mdettweiler
[2015-04-04 00:02:23]
973*2^1396831-1 is not prime.  Res64: 111EC34A94A23B53  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:02:24]
777*2^1396832-1 is not prime.  Res64: ED7C820C1B64F5A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:03:07]
923*2^1396832-1 is not prime.  Res64: 1D554DE64985565C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:03:08]
685*2^1396833-1 is not prime.  Res64: 54EABF2F939C6EFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:03:13]
745*2^1396833-1 is not prime.  Res64: 38A83E5DCC57A856  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:03:13]
795*2^1396833-1 is not prime.  Res64: DEA9FE8E86A49E3F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:13:50]
861*2^1396833-1 is not prime.  Res64: 116105D830EE51C7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:13:51]
867*2^1396833-1 is not prime.  Res64: 5EFB97849CFC50A1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:28:45]
891*2^1396833-1 is not prime.  Res64: 5F74644EAC65E685  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:28:45]
937*2^1396833-1 is not prime.  Res64: 82380780706FB34B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:29:24]
979*2^1396833-1 is not prime.  Res64: E211ECC8F56A805F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:29:24]
665*2^1396834-1 is not prime.  Res64: BD12D6E22C2A849A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:29:34]
701*2^1396834-1 is not prime.  Res64: 3159D02829D713FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:29:35]
773*2^1396834-1 is not prime.  Res64: 9CA8B9C4468026B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:40:18]
923*2^1396834-1 is not prime.  Res64: 8222A192892A5870  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:40:19]
975*2^1396834-1 is not prime.  Res64: F7FC8EDBD7C698FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:10]
693*2^1396835-1 is not prime.  Res64: 9C8910FAC7A184E7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:10]
825*2^1396835-1 is not prime.  Res64: D351FC1890808547  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:44]
859*2^1396835-1 is not prime.  Res64: 9F75AC9E2DE9DE24  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:44]
683*2^1396836-1 is not prime.  Res64: 3F471FCC7B3A1BE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:55]
773*2^1396836-1 is not prime.  Res64: DE5C630A50763C63  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 00:55:55]
777*2^1396836-1 is not prime.  Res64: 45EEB498905B0B25  Time : 0.0 sec.
user=juhehe
[2015-04-04 00:56:10]
685*2^1396835-1 is not prime.  Res64: B115B17BA1CA450C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:06:41]
893*2^1396836-1 is not prime.  Res64: DF21BFE72BFD7D66  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:06:42]
969*2^1396836-1 is not prime.  Res64: 9B7D80B61E98EED6  Time : 0.0 sec.
user=juhehe
[2015-04-04 01:22:55]
639*2^1396837-1 is not prime.  Res64: E7FF786CD4F81CA6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:25:18]
717*2^1396837-1 is not prime.  Res64: CE9F710769EE3C0C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:25:19]
727*2^1396837-1 is not prime.  Res64: BECFC1A20C2EB86A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:25:44]
799*2^1396837-1 is not prime.  Res64: 4550FC248B471D15  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:25:46]
897*2^1396837-1 is not prime.  Res64: C3A8DBE75209B8A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:26:51]
645*2^1396838-1 is not prime.  Res64: 4C0E3EAB50351B6B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:26:53]
711*2^1396838-1 is not prime.  Res64: 901CFE9728ED0E62  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:40:44]
827*2^1396838-1 is not prime.  Res64: 04BD79A9B63D2D10  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:40:45]
745*2^1396839-1 is not prime.  Res64: 60B732BCC4BC3863  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:59:03]
763*2^1396839-1 is not prime.  Res64: 95A6C791BD97538C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 01:59:04]
775*2^1396839-1 is not prime.  Res64: 6E661D60AEF2F767  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:00:11]
951*2^1396839-1 is not prime.  Res64: C6CA9381B636BB25  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:00:12]
985*2^1396839-1 is not prime.  Res64: 9D7B86AF64E1DD0D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:00:18]
861*2^1396839-1 is not prime.  Res64: 5AAEEC7C782E6752  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:00:19]
949*2^1396839-1 is not prime.  Res64: 562A368662C4B993  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:12:03]
603*2^1396840-1 is not prime.  Res64: E7F53F88A5C725FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:12:03]
645*2^1396840-1 is not prime.  Res64: 5DE93D3A998153B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:27:14]
699*2^1396840-1 is not prime.  Res64: 37B68A4982FEDC76  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:27:14]
813*2^1396840-1 is not prime.  Res64: E4127497A7D5100A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:28:02]
933*2^1396840-1 is not prime.  Res64: 05E5492D2FD6CD2D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:28:02]
957*2^1396840-1 is not prime.  Res64: 6DD94D450AE2CE99  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:28:18]
657*2^1396841-1 is not prime.  Res64: 40D23FE7B94E2EDE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:28:19]
675*2^1396841-1 is not prime.  Res64: 68576E102D35CE1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:39:01]
705*2^1396841-1 is not prime.  Res64: B75ABB468A8F7B4E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:39:02]
711*2^1396841-1 is not prime.  Res64: 12BA90E8A35A3840  Time : 0.0 sec.
user=juhehe
[2015-04-04 02:49:25]
811*2^1396841-1 is not prime.  Res64: 0FE48AE5920F6B09  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:06]
865*2^1396841-1 is not prime.  Res64: 40D52CCDD0644742  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:07]
885*2^1396841-1 is not prime.  Res64: AA8E2098F9B7F658  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:48]
635*2^1396842-1 is not prime.  Res64: 3AA77D69D0F3B656  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:48]
713*2^1396842-1 is not prime.  Res64: 6F019AC11B9FCFE3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:58]
907*2^1396841-1 is not prime.  Res64: 62BF7145FBCC5F68  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 02:54:58]
939*2^1396841-1 is not prime.  Res64: 438FC3844EF55B7C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:05:47]
747*2^1396842-1 is not prime.  Res64: B47EBCFAAB762F7D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:05:48]
755*2^1396842-1 is not prime.  Res64: 28E52D6365291485  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:20:42]
947*2^1396842-1 is not prime.  Res64: 2FFF593C1093AD06  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:20:42]
951*2^1396842-1 is not prime.  Res64: 37F530B9E80418B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:21:05]
603*2^1396843-1 is not prime.  Res64: 022D0E8DA673B588  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:21:06]
621*2^1396843-1 is not prime.  Res64: 21904C68A1910CA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:21:41]
681*2^1396843-1 is not prime.  Res64: C35425EE081AA8B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:21:42]
819*2^1396843-1 is not prime.  Res64: 0FFD1FA2B3DD3CED  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:32:00]
871*2^1396843-1 is not prime.  Res64: DF8506C24DAEA5DB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:32:01]
939*2^1396843-1 is not prime.  Res64: 9BA97F1C7BDB505E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:46:52]
993*2^1396843-1 is not prime.  Res64: 22354F758C08A6C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:46:52]
605*2^1396844-1 is not prime.  Res64: E0B67C78E41A2A49  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:47:16]
677*2^1396844-1 is not prime.  Res64: F8AFBB879CF5B984  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:47:17]
803*2^1396844-1 is not prime.  Res64: F3E7F8760F2BBE07  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:47:57]
819*2^1396844-1 is not prime.  Res64: 05C4A4DF1EAC8784  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:47:58]
833*2^1396844-1 is not prime.  Res64: 4DDAF9B1FE547C65  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:58:25]
909*2^1396844-1 is not prime.  Res64: 21891D171B0F775C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 03:58:25]
959*2^1396844-1 is not prime.  Res64: C69B71EC90A02DE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:13:18]
691*2^1396845-1 is not prime.  Res64: 79E8E1C42543E4A5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:13:19]
717*2^1396845-1 is not prime.  Res64: 8BE9CA7CB366B6FB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:13:28]
727*2^1396845-1 is not prime.  Res64: 4A2F4B63D625F79B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:13:28]
817*2^1396845-1 is not prime.  Res64: 62AA376868B2C3F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:14:05]
847*2^1396845-1 is not prime.  Res64: F7E2BC0E6BD553F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:14:06]
859*2^1396845-1 is not prime.  Res64: BE19AE64AA57396E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:24:41]
885*2^1396845-1 is not prime.  Res64: CB054139EF893FE3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:24:41]
969*2^1396845-1 is not prime.  Res64: 7782E7DC3A82BFD3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:39:25]
755*2^1396846-1 is not prime.  Res64: 5104C9B67CD38E45  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:39:26]
855*2^1396846-1 is not prime.  Res64: 91913F0B47DF5512  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:39:28]
911*2^1396846-1 is not prime.  Res64: 009EED811DAFA275  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:39:28]
945*2^1396846-1 is not prime.  Res64: DEBDCD56E43C6585  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:40:05]
975*2^1396846-1 is not prime.  Res64: C781B7766A02DE03  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:40:05]
621*2^1396847-1 is not prime.  Res64: 737E07D449993CA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:50:52]
655*2^1396847-1 is not prime.  Res64: 91B71EA30FF9FDCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 04:50:52]
705*2^1396847-1 is not prime.  Res64: 7E1389A2BB01C534  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:05:34]
885*2^1396847-1 is not prime.  Res64: A99240579548E913  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:05:35]
913*2^1396847-1 is not prime.  Res64: 0D6B6E61450B10ED  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:05:35]
753*2^1396847-1 is not prime.  Res64: 1C3DF67825F42E45  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:05:36]
859*2^1396847-1 is not prime.  Res64: 97F7B6620DD647E8  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:06:07]
981*2^1396847-1 is not prime.  Res64: 8D219EB1A1CCFA24  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:06:07]
797*2^1396848-1 is not prime.  Res64: 6882EBEABD1A8F22  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:17:00]
825*2^1396848-1 is not prime.  Res64: 2FAF01B14B7D93F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:17:01]
879*2^1396848-1 is not prime.  Res64: 7A201F01488A0822  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:31:47]
807*2^1396849-1 is not prime.  Res64: 0CA22DB617CD18EC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:31:47]
817*2^1396849-1 is not prime.  Res64: 331A151443393AAF  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:31:48]
999*2^1396848-1 is not prime.  Res64: DA2216D29FA6019B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:31:49]
685*2^1396849-1 is not prime.  Res64: 2C3A5E1E80FC027E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:32:17]
909*2^1396849-1 is not prime.  Res64: 93053CE6796F5C64  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:32:17]
931*2^1396849-1 is not prime.  Res64: 1934CEAD5881E021  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:43:11]
735*2^1396850-1 is not prime.  Res64: FEAA25A3F00DC4DC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:43:11]
851*2^1396850-1 is not prime.  Res64: 32E9A0FBC6FB0E60  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:57:47]
951*2^1396850-1 is not prime.  Res64: 9B23FEFB6D9EF83E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:57:47]
625*2^1396851-1 is not prime.  Res64: DAFC774BBBB3FB62  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:57:56]
741*2^1396851-1 is not prime.  Res64: C05CA75D797F5D8C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:57:56]
783*2^1396851-1 is not prime.  Res64: 35CA22501FC1A564  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:58:23]
605*2^1396852-1 is not prime.  Res64: F43EA5DF590996AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 05:58:24]
609*2^1396852-1 is not prime.  Res64: EEF4678A4DC190FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:09:23]
719*2^1396852-1 is not prime.  Res64: 95224147C2F3D816  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:09:24]
827*2^1396852-1 is not prime.  Res64: 61C3D6DA192518FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:23:45]
857*2^1396852-1 is not prime.  Res64: 0AD3C57A5A32DD20  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:23:46]
875*2^1396852-1 is not prime.  Res64: 8CB9D1805F534C4D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:23:49]
959*2^1396852-1 is not prime.  Res64: BEC32F7121EB2723  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:23:49]
607*2^1396853-1 is not prime.  Res64: FBBEE239023D6DA9  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:24:23]
615*2^1396853-1 is not prime.  Res64: 90DB611553AB5AC5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:24:24]
745*2^1396853-1 is not prime.  Res64: C8A6D83F683DB108  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:35:36]
847*2^1396853-1 is not prime.  Res64: 1014FB70A6E58899  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:35:36]
901*2^1396853-1 is not prime.  Res64: 5A08A46018CBDBBF  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:49:43]
791*2^1396854-1 is not prime.  Res64: F4D3E44C3EF88B84  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:49:44]
917*2^1396854-1 is not prime.  Res64: 0C69A30A68F8BE8C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:49:46]
657*2^1396854-1 is not prime.  Res64: D2AC860090365E88  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:49:47]
747*2^1396854-1 is not prime.  Res64: 7BEDFC09CF8276D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:50:18]
923*2^1396854-1 is not prime.  Res64: F48B964E4B9E955C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 06:50:18]
927*2^1396854-1 is not prime.  Res64: 053286B456142F02  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:01:36]
945*2^1396854-1 is not prime.  Res64: D453B5430FF1F54D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:01:38]
1001*2^1396854-1 is not prime.  Res64: 2C2AC0C064F97C19  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:15:40]
871*2^1396855-1 is not prime.  Res64: 18F8AEC4AA450B34  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:15:41]
629*2^1396856-1 is not prime.  Res64: 48CB99737E94A812  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:15:50]
657*2^1396856-1 is not prime.  Res64: 5DA790B71B164C9C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:15:50]
747*2^1396856-1 is not prime.  Res64: 9B0958767407E593  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:16:13]
827*2^1396856-1 is not prime.  Res64: C617FA351AF23A6B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:16:13]
855*2^1396856-1 is not prime.  Res64: 52C9C8BD2CEF5674  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:27:37]
681*2^1396857-1 is not prime.  Res64: 1116C92F9E5C3D06  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:27:38]
765*2^1396857-1 is not prime.  Res64: 28EB2A80FFE5E501  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:41:36]
949*2^1396857-1 is not prime.  Res64: CA7917AC9BFD5AFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:41:36]
687*2^1396858-1 is not prime.  Res64: 85455F65F0F0427A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:41:42]
813*2^1396858-1 is not prime.  Res64: B15A9881FF66A9DD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:41:43]
857*2^1396858-1 is not prime.  Res64: 37CBE587DE2792E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:42:12]
885*2^1396858-1 is not prime.  Res64: F45E5C16739B6BA7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:42:12]
945*2^1396858-1 is not prime.  Res64: AD193D1DEBBCF0FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:53:28]
987*2^1396858-1 is not prime.  Res64: A0F175FFDB669C54  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 07:53:28]
993*2^1396858-1 is not prime.  Res64: 1739FB0068DCA06A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:07:31]
643*2^1396859-1 is not prime.  Res64: 7547F74783254CD1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:07:31]
655*2^1396859-1 is not prime.  Res64: 05FC9DE3CCE535F9  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:07:36]
733*2^1396859-1 is not prime.  Res64: F86D3845C27D5F65  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:07:36]
841*2^1396859-1 is not prime.  Res64: 7A584B3B05AA289A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:08:00]
939*2^1396859-1 is not prime.  Res64: 60BD7D279F513A65  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:08:01]
955*2^1396859-1 is not prime.  Res64: 1548248FB956F85F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:19:15]
999*2^1396859-1 is not prime.  Res64: 3586BC04A383279D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:19:15]
723*2^1396860-1 is not prime.  Res64: 42F434C3AC179C60  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:22]
777*2^1396860-1 is not prime.  Res64: 16F92415CC731114  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:22]
779*2^1396860-1 is not prime.  Res64: 852DEC94CF4C846A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:24]
863*2^1396860-1 is not prime.  Res64: A5B3F2CCCCBA6D1B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:24]
873*2^1396860-1 is not prime.  Res64: 90DE10B931C730D2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:49]
621*2^1396861-1 is not prime.  Res64: 2FD12F17DA5D63FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:33:50]
625*2^1396861-1 is not prime.  Res64: 2835F24508262A20  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:45:07]
769*2^1396861-1 is not prime.  Res64: 12967F576B84E867  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:45:08]
967*2^1396861-1 is not prime.  Res64: CDB929FE07535F91  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:17]
741*2^1396862-1 is not prime.  Res64: 77E2B46EF901851A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:18]
785*2^1396862-1 is not prime.  Res64: 6384FA295E21691B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:25]
857*2^1396862-1 is not prime.  Res64: 25CAA5856D17047B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:25]
885*2^1396862-1 is not prime.  Res64: F040B938C03FCCDE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:47]
897*2^1396862-1 is not prime.  Res64: 70559DE9889FBBAB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 08:59:47]
935*2^1396862-1 is not prime.  Res64: 56D6D98B5CDEEB54  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:11:06]
945*2^1396862-1 is not prime.  Res64: 1AC691E6EFD3172F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:11:07]
953*2^1396862-1 is not prime.  Res64: 712682885851B140  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:12]
963*2^1396862-1 is not prime.  Res64: 5844C4F27103A48B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:12]
805*2^1396863-1 is not prime.  Res64: D68B83E5A450D9CC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:19]
885*2^1396863-1 is not prime.  Res64: 5E7C73395C77F431  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:19]
895*2^1396863-1 is not prime.  Res64: D5130B75B2950A52  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:46]
963*2^1396863-1 is not prime.  Res64: A77873A375F9E122  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:25:46]
635*2^1396864-1 is not prime.  Res64: 5400B1B29B3BE9B8  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:37:06]
743*2^1396864-1 is not prime.  Res64: 2DCA724111225D51  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:37:06]
803*2^1396864-1 is not prime.  Res64: DECB1FE0B098946B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:08]
915*2^1396864-1 is not prime.  Res64: 2A8B32B55E47C675  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:08]
619*2^1396865-1 is not prime.  Res64: 48C0F3C215271356  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:13]
669*2^1396865-1 is not prime.  Res64: CD3E155229E56F88  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:14]
727*2^1396865-1 is not prime.  Res64: EC2EC71D80C7672F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:39]
647*2^1396866-1 is not prime.  Res64: 9E2E5E7565FE332A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 09:51:39]
695*2^1396866-1 is not prime.  Res64: 17C724E53839384D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:02:54]
725*2^1396866-1 is not prime.  Res64: 47F99548F5EC348B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:02:56]
737*2^1396866-1 is not prime.  Res64: C185FA2F1F1EE26A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:00]
815*2^1396866-1 is not prime.  Res64: 2FAD7D090E55CC5E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:01]
601*2^1396867-1 is not prime.  Res64: B83A570AA304AB7B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:02]
691*2^1396867-1 is not prime.  Res64: B436F93BDEE71338  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:03]
741*2^1396867-1 is not prime.  Res64: 6D695F7C04C17C39  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:23]
775*2^1396867-1 is not prime.  Res64: 595EA0E4A79A1EBE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:17:23]
859*2^1396867-1 is not prime.  Res64: FEB6FFD8D81CB795  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:29:09]
885*2^1396867-1 is not prime.  Res64: 8FE9AEA719634F5B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:29:10]
891*2^1396867-1 is not prime.  Res64: 474C080421EDD2B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:42:55]
985*2^1396867-1 is not prime.  Res64: 09A8AC0FB6BC981C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:42:56]
633*2^1396868-1 is not prime.  Res64: 679CCEB36BC0AB38  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:43:01]
689*2^1396868-1 is not prime.  Res64: 0281FAD39435C22C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:43:01]
885*2^1396868-1 is not prime.  Res64: 8FB27AC5B8FE4908  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:43:16]
601*2^1396869-1 is not prime.  Res64: 0B72128C3623C161  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:43:16]
661*2^1396869-1 is not prime.  Res64: FD1007868C393DAE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:55:02]
675*2^1396869-1 is not prime.  Res64: A45A016B8C6B91DB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 10:55:03]
685*2^1396869-1 is not prime.  Res64: B05E6E4C9392E709  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:08:45]
769*2^1396869-1 is not prime.  Res64: 6CC24383CFD145CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:08:45]
795*2^1396869-1 is not prime.  Res64: B00CDC1076A1C379  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:08:55]
835*2^1396869-1 is not prime.  Res64: 35898F08504501C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:08:55]
837*2^1396869-1 is not prime.  Res64: 054B894793FAD569  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:09:03]
885*2^1396869-1 is not prime.  Res64: 66B44CBD46F77667  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:09:03]
889*2^1396869-1 is not prime.  Res64: 0C24DCD090BF907C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:21:04]
951*2^1396869-1 is not prime.  Res64: DF0D720EB292D9EB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:21:04]
987*2^1396869-1 is not prime.  Res64: 3FB44BBA85D53927  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:53]
845*2^1396870-1 is not prime.  Res64: A677389B6C29665E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:53]
861*2^1396870-1 is not prime.  Res64: ADC97C74D158B7FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:55]
873*2^1396870-1 is not prime.  Res64: C4F2076140F6C9E3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:56]
885*2^1396870-1 is not prime.  Res64: A42B36264FA80401  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:56]
911*2^1396870-1 is not prime.  Res64: 7C52212E446A5CC8  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:34:56]
915*2^1396870-1 is not prime.  Res64: 7EED1CA3698B91EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:47:03]
941*2^1396870-1 is not prime.  Res64: 04A45B8AAD345BFD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 11:47:04]
975*2^1396870-1 is not prime.  Res64: 1B23E2497D319C1C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:00:50]
619*2^1396871-1 is not prime.  Res64: 5A51C0D746192786  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:00:51]
673*2^1396871-1 is not prime.  Res64: 889B88C46EBE4B85  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:00:56]
711*2^1396871-1 is not prime.  Res64: DF3650DC5B8EF1EB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:00:57]
783*2^1396871-1 is not prime.  Res64: 93CD9B0D83241C20  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:00:59]
603*2^1396871-1 is not prime.  Res64: F8BC145814FC53C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:01:00]
609*2^1396871-1 is not prime.  Res64: D9CAAC67FDB6B61A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:12:53]
841*2^1396871-1 is not prime.  Res64: 01C448810B7D10B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:12:54]
629*2^1396872-1 is not prime.  Res64: 8964F04E99D1769A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:26:57]
741*2^1396873-1 is not prime.  Res64: A383214AB1ABBE4D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:26:57]
775*2^1396873-1 is not prime.  Res64: 29D0DC01F16FF9E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:26:59]
765*2^1396872-1 is not prime.  Res64: 58B614B66CADF6D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:27:00]
819*2^1396872-1 is not prime.  Res64: 65AF346A8CE25009  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:27:05]
903*2^1396872-1 is not prime.  Res64: F6007AD2DB0532AD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:27:06]
957*2^1396872-1 is not prime.  Res64: D77DAE4D133501AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:38:39]
817*2^1396873-1 is not prime.  Res64: 386BE92EC7A59BF1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:38:40]
819*2^1396873-1 is not prime.  Res64: E7B7E4467763ABE2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:53:51]
711*2^1396874-1 is not prime.  Res64: F73BC92B5D07E16D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:53:52]
717*2^1396874-1 is not prime.  Res64: 7567A5D13F50A3EB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:54:08]
829*2^1396873-1 is not prime.  Res64: 28D9E7E8CBAA4CD9  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:54:09]
951*2^1396873-1 is not prime.  Res64: E89A714D1EB20A7C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:54:10]
999*2^1396873-1 is not prime.  Res64: F42C10FD0F549736  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 12:54:11]
623*2^1396874-1 is not prime.  Res64: F93DE2645306D566  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:06:05]
923*2^1396874-1 is not prime.  Res64: 09E8DD12E5706E6A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:06:06]
957*2^1396874-1 is not prime.  Res64: BFA29E938F8CC9A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:20:46]
981*2^1396874-1 is not prime.  Res64: 3923495A02879930  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:20:46]
609*2^1396875-1 is not prime.  Res64: CA6C14281705442E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:21:08]
853*2^1396875-1 is not prime.  Res64: A5C0A8D1DDF53287  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:21:09]
861*2^1396875-1 is not prime.  Res64: 0272FC2B0541A115  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:21:25]
619*2^1396875-1 is not prime.  Res64: E61ACA374E45F4B5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:21:25]
823*2^1396875-1 is not prime.  Res64: 789C1D91478992FD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:32:41]
873*2^1396875-1 is not prime.  Res64: 2299C9F91DB1B2EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:32:41]
615*2^1396876-1 is not prime.  Res64: B1878786CF05FF72  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:47:18]
717*2^1396876-1 is not prime.  Res64: B54C6020F9EBD077  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:47:19]
759*2^1396876-1 is not prime.  Res64: 63F4E0EB1513F4D6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:47:34]
647*2^1396876-1 is not prime.  Res64: 0F6BEE4B6F7C3F62  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:47:34]
653*2^1396876-1 is not prime.  Res64: 54E8FBF54BEEEB62  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:48:10]
887*2^1396876-1 is not prime.  Res64: 2DA2F17AB6D58024  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:48:10]
631*2^1396877-1 is not prime.  Res64: 44132E48724092BA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:59:15]
945*2^1396877-1 is not prime.  Res64: E3E2C95AF648B169  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 13:59:15]
615*2^1396878-1 is not prime.  Res64: B6F2A5240DE7C815  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:13:52]
647*2^1396878-1 is not prime.  Res64: 86DC10C9BEEF9D2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:13:53]
705*2^1396878-1 is not prime.  Res64: 22541CFE952B1943  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:13:57]
711*2^1396878-1 is not prime.  Res64: FBB1AF1C9F42331D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:13:57]
731*2^1396878-1 is not prime.  Res64: CBD75C10AF18DD40  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:14:57]
797*2^1396878-1 is not prime.  Res64: C210700611367FAD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:14:57]
993*2^1396878-1 is not prime.  Res64: 14E43762DC465A7C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:25:39]
693*2^1396879-1 is not prime.  Res64: E5D84FF4CF05D1BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:25:39]
723*2^1396879-1 is not prime.  Res64: B584DD3304369AC6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:40:45]
793*2^1396879-1 is not prime.  Res64: 830D0FA73AB73E2C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:40:45]
831*2^1396879-1 is not prime.  Res64: 2C37765DB7B60264  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:40:46]
931*2^1396879-1 is not prime.  Res64: 5A597B00FA2EC318  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:40:46]
665*2^1396880-1 is not prime.  Res64: ED2C5D7E19CFF226  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:41:41]
735*2^1396880-1 is not prime.  Res64: 4A97CACA8C6669D3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:41:41]
639*2^1396881-1 is not prime.  Res64: 54759ED8B771CA97  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:52:53]
649*2^1396881-1 is not prime.  Res64: A60152C1D9C794CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 14:52:53]
705*2^1396881-1 is not prime.  Res64: 25F85068CEDDB8F3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:08:35]
695*2^1396882-1 is not prime.  Res64: 04258ACD619D0A32  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:08:35]
855*2^1396882-1 is not prime.  Res64: B29C3FA53CCA61DE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:09:03]
937*2^1396881-1 is not prime.  Res64: 019A6CAC840F6B43  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:09:04]
677*2^1396882-1 is not prime.  Res64: A7FFBF62ADC508A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:09:54]
873*2^1396882-1 is not prime.  Res64: A603B0008F4F87C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:09:55]
881*2^1396882-1 is not prime.  Res64: 235755A2BFADF130  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:22:13]
917*2^1396882-1 is not prime.  Res64: 9CA5BC13ED508A4D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:22:13]
901*2^1396883-1 is not prime.  Res64: FD0B85ED180B2484  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:36:52]
675*2^1396885-1 is not prime.  Res64: D02D682A9D08C726  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:36:52]
775*2^1396885-1 is not prime.  Res64: 5CAE9DB118BE9747  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:37:30]
877*2^1396885-1 is not prime.  Res64: 65D84E8C875E203B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:37:30]
885*2^1396885-1 is not prime.  Res64: 8154358D7BB5E5D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:37:37]
939*2^1396885-1 is not prime.  Res64: 044BB0728DD7D276  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:37:38]
955*2^1396885-1 is not prime.  Res64: 839E2B01936CE361  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:49:03]
985*2^1396885-1 is not prime.  Res64: 55B6CB9268DCBA3E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 15:49:03]
999*2^1396885-1 is not prime.  Res64: 1CEB20B06949EE6F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:03:43]
627*2^1396886-1 is not prime.  Res64: 22003B7FB6C9FCF5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:03:44]
651*2^1396886-1 is not prime.  Res64: 10A112434B2E34D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:04:16]
663*2^1396886-1 is not prime.  Res64: 72DDFBDE7E9F8335  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:04:17]
671*2^1396886-1 is not prime.  Res64: 99896B4D1D99DABD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:04:46]
707*2^1396886-1 is not prime.  Res64: 93F2B079A4FE5763  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:04:47]
713*2^1396886-1 is not prime.  Res64: C450DC20F1E17E70  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:15:28]
743*2^1396886-1 is not prime.  Res64: DB29A5E7D6979885  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:15:28]
785*2^1396886-1 is not prime.  Res64: 9D066B15571C8FD0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:30:52]
813*2^1396886-1 is not prime.  Res64: 8DDA04D102C376EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:30:52]
857*2^1396886-1 is not prime.  Res64: B2A83A62758C205D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:31:07]
1001*2^1396886-1 is not prime.  Res64: 602EC07B2D5ACE3C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:31:08]
685*2^1396887-1 is not prime.  Res64: 15F44EC1E7DB6D9E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:31:16]
751*2^1396887-1 is not prime.  Res64: DD7BEE5A66497047  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:31:17]
765*2^1396887-1 is not prime.  Res64: A21983DA76E64D1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:42:32]
795*2^1396887-1 is not prime.  Res64: F37A4AA89208B98F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:42:32]
829*2^1396887-1 is not prime.  Res64: 337AE03938207503  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:43]
865*2^1396887-1 is not prime.  Res64: 14EFFC6519405F31  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:43]
895*2^1396887-1 is not prime.  Res64: 5B9454EC05DE3F9A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:54]
723*2^1396888-1 is not prime.  Res64: 82EA1B098A870681  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:54]
845*2^1396888-1 is not prime.  Res64: 4425D3C30C32BA30  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:58]
963*2^1396887-1 is not prime.  Res64: C7220CAEF4A76815  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 16:57:58]
665*2^1396888-1 is not prime.  Res64: 210B82CB4AB58408  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:09:09]
863*2^1396888-1 is not prime.  Res64: EB59B77FA1756725  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:09:10]
927*2^1396888-1 is not prime.  Res64: 2BD3F889B21AAA04  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:27:07]
847*2^1396889-1 is not prime.  Res64: B29BB0DCE8F1517F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:27:07]
861*2^1396889-1 is not prime.  Res64: ABCE09C721A3D037  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:28:21]
747*2^1396889-1 is not prime.  Res64: CE8D7D401E33F117  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:28:21]
831*2^1396889-1 is not prime.  Res64: BE325E4CE3497B2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:29:05]
615*2^1396889-1 is not prime.  Res64: AA9BA7F9ACF20DDD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:29:05]
637*2^1396889-1 is not prime.  Res64: B0FCE48B8D3AB743  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:39:06]
879*2^1396889-1 is not prime.  Res64: 362CBEA321CDD3FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:39:06]
889*2^1396889-1 is not prime.  Res64: CC2CD79542F6D5F4  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:54:42]
717*2^1396890-1 is not prime.  Res64: F5719B1B5EF84FC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:54:42]
755*2^1396890-1 is not prime.  Res64: 630FB099AAFA4BA6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:55:57]
915*2^1396890-1 is not prime.  Res64: 9080ED8A23B2AB63  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:55:57]
957*2^1396890-1 is not prime.  Res64: 00EABC8EAD24AD39  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:56:07]
645*2^1396891-1 is not prime.  Res64: D32F6B1587B94862  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 17:56:07]
651*2^1396891-1 is not prime.  Res64: BECF6B751D91A0CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:06:44]
681*2^1396891-1 is not prime.  Res64: 4EE6192EF787B21B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:06:44]
703*2^1396891-1 is not prime.  Res64: 4C6051BB8D81AA9D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:23:23]
841*2^1396891-1 is not prime.  Res64: 6B4A71E10EE92F57  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:23:24]
849*2^1396891-1 is not prime.  Res64: 854CC63AB247DF73  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:24:29]
895*2^1396891-1 is not prime.  Res64: 4212A17DAE4994BD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:24:29]
925*2^1396891-1 is not prime.  Res64: 03FB08E8B040BE52  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:24:37]
633*2^1396892-1 is not prime.  Res64: 5B6F24C58A03D7A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:24:38]
759*2^1396892-1 is not prime.  Res64: C197BCF10A7D276F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:34:26]
977*2^1396892-1 is not prime.  Res64: 6893365C2B99C812  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:34:26]
805*2^1396893-1 is not prime.  Res64: 322DADE7E720670A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:49:58]
895*2^1396893-1 is not prime.  Res64: B31DA4DD66FBDF75  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:49:59]
949*2^1396893-1 is not prime.  Res64: 0F294BF54C922253  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:50:46]
605*2^1396894-1 is not prime.  Res64: 54909CF787294BFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:50:46]
635*2^1396894-1 is not prime.  Res64: 789E3843180128C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:51:08]
675*2^1396894-1 is not prime.  Res64: 4EF6FA8AC9049773  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 18:51:09]
765*2^1396894-1 is not prime.  Res64: B62E18961BE0270A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:01:03]
951*2^1396894-1 is not prime.  Res64: 9D84C7ABD703E3FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:01:04]
983*2^1396894-1 is not prime.  Res64: 09BA886248AC0CCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:16:56]
661*2^1396895-1 is not prime.  Res64: 62EDCD186406BF40  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:16:57]
705*2^1396895-1 is not prime.  Res64: E562B48260D00A03  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:17:41]
721*2^1396895-1 is not prime.  Res64: 9B9E5E58B51E6DB8  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:17:41]
775*2^1396895-1 is not prime.  Res64: 2F567D2907B14E6F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:18:23]
831*2^1396895-1 is not prime.  Res64: 0C26425FDD761742  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:18:23]
859*2^1396895-1 is not prime.  Res64: CB355585800A31A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:28:19]
895*2^1396895-1 is not prime.  Res64: 53A1ACF5C8F57F55  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:28:19]
921*2^1396895-1 is not prime.  Res64: 6A4F82003D30CCE6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:43:36]
999*2^1396895-1 is not prime.  Res64: 56D8F92664DA5047  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:43:37]
623*2^1396896-1 is not prime.  Res64: 168751F3AF0B65CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:44:34]
635*2^1396896-1 is not prime.  Res64: 518E6BA57060019A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:44:34]
689*2^1396896-1 is not prime.  Res64: 0C62471B0B6BAFFC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:45:15]
767*2^1396896-1 is not prime.  Res64: A760F542F7585DA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:45:15]
909*2^1396896-1 is not prime.  Res64: DA9AAF6892C6ADD5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:55:01]
983*2^1396896-1 is not prime.  Res64: C2ADD7BDF61A1A04  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 19:55:01]
871*2^1396897-1 is not prime.  Res64: FB96FA3D0B2E0CD1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:10:55]
915*2^1396897-1 is not prime.  Res64: B324542EB7E15D3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:10:55]
979*2^1396897-1 is not prime.  Res64: C42B7568831EF01A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:12:10]
981*2^1396897-1 is not prime.  Res64: DC4BB6B8F521F164  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:12:10]
997*2^1396897-1 is not prime.  Res64: B73847F1B97AF013  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:12:53]
797*2^1396898-1 is not prime.  Res64: C1C04384B0462F09  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:12:53]
867*2^1396898-1 is not prime.  Res64: 852465DDEAB2ECC3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:23:39]
911*2^1396898-1 is not prime.  Res64: B78680EDB89BED44  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:23:39]
1001*2^1396898-1 is not prime.  Res64: BC7738E7F46D9884  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:39:33]
609*2^1396899-1 is not prime.  Res64: F48938EA75874E08  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:39:34]
705*2^1396899-1 is not prime.  Res64: 89C85D3092733E47  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:41:02]
711*2^1396899-1 is not prime.  Res64: FF065A9115053425  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:41:02]
745*2^1396899-1 is not prime.  Res64: B7A5E5CA40D8D774  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:41:14]
751*2^1396899-1 is not prime.  Res64: 7C0C8892AB2CBF42  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:41:14]
879*2^1396899-1 is not prime.  Res64: FDB51CEC737EED21  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:52:10]
665*2^1396900-1 is not prime.  Res64: 3BE7D65EC1CE4E71  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 20:52:10]
839*2^1396900-1 is not prime.  Res64: FAC3099CF20097A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:08:03]
875*2^1396900-1 is not prime.  Res64: 77B0FF83C923ECE0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:08:03]
887*2^1396900-1 is not prime.  Res64: 5EEE3F91AAA2B40B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:09:32]
983*2^1396900-1 is not prime.  Res64: 8FC7E4A86FB89374  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:09:32]
999*2^1396900-1 is not prime.  Res64: 4DD7357BA9925B96  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:09:34]
649*2^1396901-1 is not prime.  Res64: 34BEDC1ECBE26087  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:09:34]
747*2^1396901-1 is not prime.  Res64: 699D67E320409A7C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:20:30]
889*2^1396901-1 is not prime.  Res64: AB01C12FDAE2BBDF  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:20:31]
949*2^1396901-1 is not prime.  Res64: EDB8D709C4BAD2EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:37:05]
997*2^1396901-1 is not prime.  Res64: F07F493CD9EF52A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:37:05]
677*2^1396902-1 is not prime.  Res64: 08B5747674BFC3AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:38:45]
723*2^1396902-1 is not prime.  Res64: 46501AC30EA43CAC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:38:45]
755*2^1396902-1 is not prime.  Res64: C1CB3088699A0C6D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:38:45]
821*2^1396902-1 is not prime.  Res64: 4846D719AEE1A446  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:38:45]
921*2^1396902-1 is not prime.  Res64: 8B3530605F1B3080  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:49:49]
977*2^1396902-1 is not prime.  Res64: 280C216B1D114529  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 21:49:49]
681*2^1396903-1 is not prime.  Res64: 33E54C2E91C0B5E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:06:14]
723*2^1396903-1 is not prime.  Res64: 7A58269E5B02A9FD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:06:14]
729*2^1396903-1 is not prime.  Res64: 27FAF0D80F1D4E4F  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:07:55]
813*2^1396903-1 is not prime.  Res64: 2C8F6187EF6D38B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:07:55]
855*2^1396903-1 is not prime.  Res64: D436C39451FE38C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:07:59]
635*2^1396904-1 is not prime.  Res64: 247D93A8624C8C41  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:07:59]
743*2^1396904-1 is not prime.  Res64: 187BB93372C76BA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:19:25]
747*2^1396904-1 is not prime.  Res64: F97DDD09A83760CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:19:25]
685*2^1396905-1 is not prime.  Res64: B74591F0550ED2C7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:35:46]
717*2^1396905-1 is not prime.  Res64: 207FD4FB4D1A0CE6  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:35:46]
727*2^1396905-1 is not prime.  Res64: 6CCDECB985672FE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:37:16]
805*2^1396905-1 is not prime.  Res64: E91FA52E1D8649C2  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:37:17]
817*2^1396905-1 is not prime.  Res64: 823C49359325AF4C  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:37:17]
999*2^1396905-1 is not prime.  Res64: F3C812CFBEAFCD14  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:37:17]
651*2^1396906-1 is not prime.  Res64: AD84E5B3BC743794  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:47:58]
657*2^1396906-1 is not prime.  Res64: AC9FFFC06B8CFDEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 22:47:58]
671*2^1396906-1 is not prime.  Res64: E29084EE71A502A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:03:17]
735*2^1396906-1 is not prime.  Res64: 1A02EA74B6EE04AC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:03:18]
741*2^1396906-1 is not prime.  Res64: 6881A2A6A962919A  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:04:38]
905*2^1396906-1 is not prime.  Res64: A717979B142204FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:04:38]
901*2^1396907-1 is not prime.  Res64: 10A0A9F0DAB7A4BD  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:04:39]
703*2^1396907-1 is not prime.  Res64: 03B4564E49B18285  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:04:40]
979*2^1396907-1 is not prime.  Res64: 55AE49B9CA71B98E  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:15:14]
809*2^1396908-1 is not prime.  Res64: AB221D616036B209  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:15:14]
825*2^1396908-1 is not prime.  Res64: D0015E266CC95CB1  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:30:54]
929*2^1396908-1 is not prime.  Res64: EBC2E7CC13640A38  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:30:54]
667*2^1396909-1 is not prime.  Res64: 07C1A8836D5E9284  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:31:59]
867*2^1396909-1 is not prime.  Res64: 98C13027C7D8081D  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:31:59]
843*2^1396910-1 is not prime.  Res64: 12598132FA406AD5  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:32:06]
831*2^1396909-1 is not prime.  Res64: 27E18F4E01693B64  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:32:06]
861*2^1396909-1 is not prime.  Res64: 99B3B63BDCEB2EFA  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:43:09]
609*2^1396911-1 is not prime.  Res64: B03CA06320D00AA7  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:43:09]
613*2^1396911-1 is not prime.  Res64: 27F9B5470B30DE79  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:58:02]
619*2^1396911-1 is not prime.  Res64: 9896CEFF7C0438DE  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:58:02]
693*2^1396911-1 is not prime.  Res64: D310687C2A907831  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:59:00]
739*2^1396911-1 is not prime.  Res64: 4695FF94E518B08B  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:59:01]
879*2^1396911-1 is not prime.  Res64: FD6DE6D71F1A6290  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:59:18]
999*2^1396911-1 is not prime.  Res64: 0C741A368B75D0CC  Time : 0.0 sec.
user=mdettweiler
[2015-04-04 23:59:18]
635*2^1396912-1 is not prime.  Res64: 992631E8C937B686  Time : 0.0 sec.