user=mdettweiler
[2015-07-27 00:09:46]
755*2^1404272-1 is not prime.  Res64: 09CC02FD60346D3B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:09:47]
777*2^1404272-1 is not prime.  Res64: 1C39F9D2B21B0EDB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:10:02]
813*2^1404272-1 is not prime.  Res64: 0D7F77D04A769426  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:10:02]
825*2^1404272-1 is not prime.  Res64: 5BC18BF8C2FE1EAE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:10:11]
875*2^1404272-1 is not prime.  Res64: 06A7FBB5B99FF139  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:10:11]
893*2^1404272-1 is not prime.  Res64: 5819AD22B9CB921B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:16:29]
929*2^1404272-1 is not prime.  Res64: CBDB452CD426F3A8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:16:29]
649*2^1404273-1 is not prime.  Res64: 094512FC7BF78F74  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:29:49]
727*2^1404273-1 is not prime.  Res64: 8E569ED64450F326  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:29:50]
781*2^1404273-1 is not prime.  Res64: 208222ED8CCC65FF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:30:00]
921*2^1404273-1 is not prime.  Res64: 7691CD8065EBF57D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:30:00]
623*2^1404274-1 is not prime.  Res64: 4ADBB8BE05D15004  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:30:12]
817*2^1404273-1 is not prime.  Res64: AF3920085CBDFC33  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:30:12]
895*2^1404273-1 is not prime.  Res64: FE45292EF49DEC9C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:36:55]
657*2^1404274-1 is not prime.  Res64: 4F69D8E276631A71  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:36:55]
681*2^1404274-1 is not prime.  Res64: B787F2C611D6F368  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:28]
765*2^1404274-1 is not prime.  Res64: E453D4FE2621B1ED  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:28]
891*2^1404274-1 is not prime.  Res64: 359CD1E2979AB549  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:48]
945*2^1404274-1 is not prime.  Res64: 025195D2F0873BE2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:49]
947*2^1404274-1 is not prime.  Res64: 53DCCFEE2517AD7B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:57]
957*2^1404274-1 is not prime.  Res64: 26A125AEFB79C3A7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:49:58]
603*2^1404275-1 is not prime.  Res64: D4FE9231C60F4DCD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:55:47]
669*2^1404275-1 is not prime.  Res64: 1555EB2D2F625885  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 00:55:47]
693*2^1404275-1 is not prime.  Res64: 74121FABA7D96FAD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:08:32]
759*2^1404275-1 is not prime.  Res64: E14AFF83DFBE3969  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:08:33]
805*2^1404275-1 is not prime.  Res64: 3E6F21ABCCF04A89  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:08:55]
883*2^1404275-1 is not prime.  Res64: 1E3E0C8E6BCC1639  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:08:56]
963*2^1404275-1 is not prime.  Res64: D70E6FF55E7B230A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:09:02]
683*2^1404276-1 is not prime.  Res64: 072D2D60FEB956CF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:09:04]
719*2^1404276-1 is not prime.  Res64: 5C320C9063CE436D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:15:22]
765*2^1404276-1 is not prime.  Res64: 03FBB3C76928D620  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:15:22]
825*2^1404276-1 is not prime.  Res64: 887B4E96A31FFCBF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:28:56]
887*2^1404276-1 is not prime.  Res64: F179D6006543A0CF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:28:57]
909*2^1404276-1 is not prime.  Res64: 6023C6BAACDA6106  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:29:17]
759*2^1404277-1 is not prime.  Res64: 86A43D4A738B7795  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:29:19]
885*2^1404277-1 is not prime.  Res64: 4BEAC0E59440112D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:29:20]
675*2^1404277-1 is not prime.  Res64: F98C36329A1B28BF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:29:23]
751*2^1404277-1 is not prime.  Res64: 15B45D0A1390B51A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:35:33]
931*2^1404277-1 is not prime.  Res64: 472A8FE20C71870C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:35:33]
985*2^1404277-1 is not prime.  Res64: D57F5E70184D02E5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:48:36]
743*2^1404278-1 is not prime.  Res64: 86D267185C7313F0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:48:36]
771*2^1404278-1 is not prime.  Res64: E0F3C414549B884D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:48:54]
993*2^1404278-1 is not prime.  Res64: 2B630BBAA48341FF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:48:54]
1001*2^1404278-1 is not prime.  Res64: F7360BABDD96B15B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:49:01]
861*2^1404278-1 is not prime.  Res64: 16BCA157FF1AD5F1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:49:01]
935*2^1404278-1 is not prime.  Res64: F83486A2C8B5F134  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:54:59]
615*2^1404279-1 is not prime.  Res64: B3335E6169A43879  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 01:55:00]
663*2^1404279-1 is not prime.  Res64: AD96DC73CD1D9FD7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:07:55]
829*2^1404279-1 is not prime.  Res64: AD6A7AA2F9CCBEEE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:07:55]
913*2^1404279-1 is not prime.  Res64: EBAC6BDD333DA8D4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:08:24]
979*2^1404279-1 is not prime.  Res64: 694B46F1E0441007  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:08:24]
635*2^1404280-1 is not prime.  Res64: 86AE7896D7FBD6BA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:08:28]
943*2^1404279-1 is not prime.  Res64: DEFC16752413235A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:08:29]
973*2^1404279-1 is not prime.  Res64: 4945C61D97127F48  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:14:17]
723*2^1404280-1 is not prime.  Res64: A18F0AC5975BA1E3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:14:17]
765*2^1404280-1 is not prime.  Res64: CA14B146AD74807F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:07]
863*2^1404280-1 is not prime.  Res64: 8B49C0ECC1548800  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:07]
873*2^1404280-1 is not prime.  Res64: 0804846466F6716F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:39]
811*2^1404281-1 is not prime.  Res64: 26F5A140DFBF38D0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:40]
837*2^1404281-1 is not prime.  Res64: 14CBD4B09568E5A9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:42]
909*2^1404280-1 is not prime.  Res64: CC34F935EF052B23  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:27:42]
747*2^1404281-1 is not prime.  Res64: 2371FE550C9BF594  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:33:36]
925*2^1404281-1 is not prime.  Res64: A9AE5C66063143AD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:33:37]
621*2^1404282-1 is not prime.  Res64: 247AB0705A165F6C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:46:51]
635*2^1404282-1 is not prime.  Res64: B1D117E883533DE3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:46:52]
665*2^1404282-1 is not prime.  Res64: 763E78A907709CA0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:47:21]
681*2^1404282-1 is not prime.  Res64: 42F53C1F9384FB30  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:47:21]
791*2^1404282-1 is not prime.  Res64: 25E1F182E84F78DB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:47:33]
837*2^1404282-1 is not prime.  Res64: 399F1E7D71C9B878  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:47:33]
1001*2^1404282-1 is not prime.  Res64: A8B090772E4A18B4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:53:16]
619*2^1404283-1 is not prime.  Res64: A40B6F624E5D66D3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 02:53:16]
631*2^1404283-1 is not prime.  Res64: E8CE24EAE469474C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:24]
741*2^1404283-1 is not prime.  Res64: 1E22981BD10E5BB4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:24]
985*2^1404283-1 is not prime.  Res64: 29172902DA5FE4BA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:29]
617*2^1404284-1 is not prime.  Res64: 2EB436F3E94B2F4F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:30]
663*2^1404284-1 is not prime.  Res64: 4D1734029C876860  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:58]
665*2^1404284-1 is not prime.  Res64: A6A4DEF34854B753  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:06:58]
677*2^1404284-1 is not prime.  Res64: 4D1751BABB3060D9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:12:25]
843*2^1404284-1 is not prime.  Res64: B45D8107B274D74A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:12:25]
855*2^1404284-1 is not prime.  Res64: ABB56E7101C3F5F4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:25:09]
935*2^1404284-1 is not prime.  Res64: 0C4B8E964F41DA09  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:25:10]
983*2^1404284-1 is not prime.  Res64: 18CA6785C77C12F1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:25:20]
639*2^1404285-1 is not prime.  Res64: 9A82FAAC6130C035  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:25:20]
651*2^1404285-1 is not prime.  Res64: AD6739204C93858F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:26:02]
657*2^1404285-1 is not prime.  Res64: B8EFDF13663C7228  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:26:02]
721*2^1404285-1 is not prime.  Res64: AE4B9A62CCBD1E8E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:31:27]
759*2^1404285-1 is not prime.  Res64: 4BFA13A48D803831  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:31:27]
847*2^1404285-1 is not prime.  Res64: BF9A3F3BF3B87402  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:43:58]
975*2^1404285-1 is not prime.  Res64: 1712C9CC70BB8E81  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:43:59]
979*2^1404285-1 is not prime.  Res64: ED66C025CF49BC8C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:44:02]
861*2^1404285-1 is not prime.  Res64: EC49D8ED65F6039E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:44:05]
949*2^1404285-1 is not prime.  Res64: 19FCB8AB8B9E19E6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:44:47]
991*2^1404285-1 is not prime.  Res64: F69AA00934D1591F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:44:48]
651*2^1404286-1 is not prime.  Res64: 58DC3CC2DEDAF5D2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:49:55]
675*2^1404286-1 is not prime.  Res64: DE05C653275958F0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 03:49:55]
713*2^1404286-1 is not prime.  Res64: 06C724A00EFA127B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:03]
737*2^1404286-1 is not prime.  Res64: EAA7C7C5265DFAAF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:03]
743*2^1404286-1 is not prime.  Res64: EB58DF8FB1FAA177  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:08]
903*2^1404286-1 is not prime.  Res64: 8ED183E73999CA71  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:09]
917*2^1404286-1 is not prime.  Res64: 7F3E147799839E1E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:38]
945*2^1404286-1 is not prime.  Res64: E4B563F530E89866  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:02:39]
615*2^1404287-1 is not prime.  Res64: 584AA27DD5B5B834  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:07:42]
645*2^1404287-1 is not prime.  Res64: B74AF2256C5C42CF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:07:43]
669*2^1404287-1 is not prime.  Res64: 351C1B98105DF1EF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:20:55]
981*2^1404287-1 is not prime.  Res64: AF230BBA24EDDB40  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:20:56]
985*2^1404287-1 is not prime.  Res64: EF7B91316AD8800F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:21:04]
739*2^1404287-1 is not prime.  Res64: 767C219F911E2ABD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:21:04]
979*2^1404287-1 is not prime.  Res64: 9343E88531694B26  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:21:14]
633*2^1404288-1 is not prime.  Res64: 035B00E19E546F37  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:21:14]
663*2^1404288-1 is not prime.  Res64: 430D8D725649936A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:26:51]
789*2^1404288-1 is not prime.  Res64: 704F3B7338FC29BE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:26:51]
819*2^1404288-1 is not prime.  Res64: DD4B6956B8C278A7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:11]
923*2^1404288-1 is not prime.  Res64: 2DEEF1C15FB7F38D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:12]
957*2^1404288-1 is not prime.  Res64: 8FBC31AEE71B23BC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:16]
969*2^1404288-1 is not prime.  Res64: 622F89D9C8102D29  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:16]
661*2^1404289-1 is not prime.  Res64: 3459660C1660195F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:38]
679*2^1404289-1 is not prime.  Res64: F5A1B7A76D53F299  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:39:38]
877*2^1404289-1 is not prime.  Res64: C72E5309BEBEE060  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:44:42]
919*2^1404289-1 is not prime.  Res64: EED3AC0048DD90B0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:44:43]
999*2^1404289-1 is not prime.  Res64: DE4DABF5E1A31D09  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:02]
753*2^1404290-1 is not prime.  Res64: 02FCDD6F51DE1A2C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:03]
755*2^1404290-1 is not prime.  Res64: 74FCF8050E589660  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:15]
833*2^1404290-1 is not prime.  Res64: D8B0F0D49CD792E2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:15]
861*2^1404290-1 is not prime.  Res64: 692D432B05DC1FC0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:31]
1001*2^1404290-1 is not prime.  Res64: 6246FF10E69BE045  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 04:57:31]
703*2^1404291-1 is not prime.  Res64: B4C125B8963A877C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:02:36]
735*2^1404291-1 is not prime.  Res64: 4C2A76B8DE70E076  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:02:37]
781*2^1404291-1 is not prime.  Res64: 1E1F7CFB3E0FC972  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:14:56]
849*2^1404291-1 is not prime.  Res64: 7B7346BFF4EE730C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:14:57]
931*2^1404291-1 is not prime.  Res64: 70A0C65D563C0FDF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:15:05]
975*2^1404291-1 is not prime.  Res64: 47A281E35EC99FA9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:15:06]
979*2^1404291-1 is not prime.  Res64: 1F43B075A2CDA543  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:15:22]
605*2^1404292-1 is not prime.  Res64: 8995CD2AE422BA10  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:15:22]
615*2^1404292-1 is not prime.  Res64: 4929D5857DF77DC5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:20:39]
687*2^1404292-1 is not prime.  Res64: B4ABA3A2D9E72E9F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:20:40]
735*2^1404292-1 is not prime.  Res64: E20C9F6488FF20D5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:32:52]
779*2^1404292-1 is not prime.  Res64: 7BBB0C339DD2A183  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:32:52]
875*2^1404292-1 is not prime.  Res64: 90FDB98919E79BD4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:33:01]
887*2^1404292-1 is not prime.  Res64: A976741A600EA65B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:33:01]
897*2^1404292-1 is not prime.  Res64: 4447B8C0E55BC565  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:33:13]
923*2^1404292-1 is not prime.  Res64: FC2BEF8B963F1735  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:33:13]
929*2^1404292-1 is not prime.  Res64: 760C30E5A57B166A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:38:35]
983*2^1404292-1 is not prime.  Res64: DC6F014C539B2CF4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:38:36]
999*2^1404292-1 is not prime.  Res64: 2723780687FE20D6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:50:44]
607*2^1404293-1 is not prime.  Res64: 770BF7E2DEA87BCF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:50:45]
715*2^1404293-1 is not prime.  Res64: 7C4C006E827D1A68  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:50:48]
781*2^1404293-1 is not prime.  Res64: 9AAA070BC8C989C5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:50:48]
861*2^1404293-1 is not prime.  Res64: 824F86D0E7296117  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:51:08]
681*2^1404294-1 is not prime.  Res64: 47A38B5D4A43766C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:51:08]
765*2^1404294-1 is not prime.  Res64: 38C7C60C13BD20FE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:56:30]
773*2^1404294-1 is not prime.  Res64: 3DAD07E8A4BF8789  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 05:56:30]
821*2^1404294-1 is not prime.  Res64: FED004F3894730C9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:33]
875*2^1404294-1 is not prime.  Res64: 01EAAF91A1B7A57A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:34]
881*2^1404294-1 is not prime.  Res64: AC967D59C162A683  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:44]
915*2^1404294-1 is not prime.  Res64: F228946FF3563EB4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:44]
945*2^1404294-1 is not prime.  Res64: 04F52049F15A40A2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:57]
965*2^1404294-1 is not prime.  Res64: 7F07EB4339CE2C2B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:08:58]
993*2^1404294-1 is not prime.  Res64: D1E113E7683C652B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:14:20]
603*2^1404295-1 is not prime.  Res64: AD72B8FBCBF77C54  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:14:20]
883*2^1404295-1 is not prime.  Res64: 3F8B2B359E3D647D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:23]
633*2^1404296-1 is not prime.  Res64: 94915E84C8A3389D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:24]
747*2^1404296-1 is not prime.  Res64: 2A7D341B7648F104  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:33]
773*2^1404296-1 is not prime.  Res64: 991518E27E30B57D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:33]
825*2^1404296-1 is not prime.  Res64: 79B0D31E85FF81DD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:49]
873*2^1404296-1 is not prime.  Res64: 9BDF32DFBA3F5FB7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:26:50]
899*2^1404296-1 is not prime.  Res64: 480FE5BF763D54D5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:32:12]
649*2^1404297-1 is not prime.  Res64: EA382331816FC117  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:32:12]
661*2^1404297-1 is not prime.  Res64: B56F3AF1E30F69DF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:08]
667*2^1404297-1 is not prime.  Res64: 52F5EC68AB9F7931  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:08]
681*2^1404297-1 is not prime.  Res64: 3F7D76F9583E7E6A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:23]
807*2^1404297-1 is not prime.  Res64: 59460B0D413FCFEA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:24]
847*2^1404297-1 is not prime.  Res64: 63D8C1E79268D31C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:34]
885*2^1404297-1 is not prime.  Res64: CCD5F85DFC9A1F76  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:44:34]
909*2^1404297-1 is not prime.  Res64: 3C38D8BBF961ECEE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:50:05]
997*2^1404297-1 is not prime.  Res64: 45705C83FB75E16F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 06:50:06]
647*2^1404298-1 is not prime.  Res64: 0DBDF6B3CC3D94A8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:01:59]
681*2^1404298-1 is not prime.  Res64: 9F115CA3C8F25DC8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:01:59]
705*2^1404298-1 is not prime.  Res64: AA25F039CFDC9B24  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:02:14]
791*2^1404298-1 is not prime.  Res64: BF36A4CAE8BEFB0D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:02:15]
815*2^1404298-1 is not prime.  Res64: 6119576666BFCA8A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:02:24]
825*2^1404298-1 is not prime.  Res64: 39845A2B5A72BA78  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:02:25]
831*2^1404298-1 is not prime.  Res64: 3C963E454A42F6E1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:07:59]
833*2^1404298-1 is not prime.  Res64: 59418100C238AA4B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:07:59]
885*2^1404298-1 is not prime.  Res64: 9DE0D4C0B810B2A2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:00]
951*2^1404298-1 is not prime.  Res64: 6900927CE55FE55F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:00]
981*2^1404298-1 is not prime.  Res64: D6DF0BFECC14BC65  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:05]
705*2^1404299-1 is not prime.  Res64: D92C51A2B37B5F22  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:06]
801*2^1404299-1 is not prime.  Res64: 9962D1C4268ED29B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:20]
885*2^1404299-1 is not prime.  Res64: AD5C6C3CCCA83539  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:20:20]
943*2^1404299-1 is not prime.  Res64: FA8584F35BD98C5C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:25:58]
635*2^1404300-1 is not prime.  Res64: 029277F1D2DB64A4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:25:58]
719*2^1404300-1 is not prime.  Res64: F7FFD831F9D05D3D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:37:47]
777*2^1404300-1 is not prime.  Res64: 0DA4856D4965A415  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:37:47]
783*2^1404300-1 is not prime.  Res64: 6017562341C79F7F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:37:53]
797*2^1404300-1 is not prime.  Res64: 1829002FEFDD6779  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:37:54]
915*2^1404300-1 is not prime.  Res64: E4618F2489E9DAFC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:38:09]
649*2^1404301-1 is not prime.  Res64: 3D4B23F04F09DA1C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:38:10]
679*2^1404301-1 is not prime.  Res64: E97391F1DE55BD87  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:43:51]
769*2^1404301-1 is not prime.  Res64: 2FBA164F224D1CF2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:43:51]
889*2^1404301-1 is not prime.  Res64: E558B6EFE173EBB7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:55:43]
945*2^1404301-1 is not prime.  Res64: 984EF26B094AD17A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:55:44]
999*2^1404301-1 is not prime.  Res64: A79684133AF979A7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:55:45]
617*2^1404302-1 is not prime.  Res64: 0EE05D83F9FE206D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:55:45]
665*2^1404302-1 is not prime.  Res64: 94AD3C0594A72610  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:56:08]
731*2^1404302-1 is not prime.  Res64: 3907BD32D033ED04  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 07:56:08]
743*2^1404302-1 is not prime.  Res64: BF6FE04B3493C0A6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:01:45]
801*2^1404302-1 is not prime.  Res64: 1BF7EF13A83DC60C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:01:46]
873*2^1404302-1 is not prime.  Res64: 3CFD3CEE6E7241FC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:34]
775*2^1404303-1 is not prime.  Res64: AC859CBD422A295D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:35]
789*2^1404303-1 is not prime.  Res64: D150C7A619FCBB5E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:38]
893*2^1404302-1 is not prime.  Res64: BCFFE3E37B3DCF32  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:38]
765*2^1404303-1 is not prime.  Res64: 629F27C7E6D5FE9C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:59]
823*2^1404303-1 is not prime.  Res64: 8EBD81740CD44829  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:13:59]
955*2^1404303-1 is not prime.  Res64: 558F1BD23B866A5A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:19:57]
743*2^1404304-1 is not prime.  Res64: 43F0F7C170CB32B6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:19:58]
747*2^1404304-1 is not prime.  Res64: 3401E98D47D44E03  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:26]
869*2^1404304-1 is not prime.  Res64: EED8069923795579  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:26]
765*2^1404304-1 is not prime.  Res64: 437499F4121B49BA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:26]
959*2^1404304-1 is not prime.  Res64: D359F5D9DB305227  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:27]
849*2^1404304-1 is not prime.  Res64: 10614AD2632805A5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:58]
969*2^1404304-1 is not prime.  Res64: 8EA0B966B03CF3B5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:31:58]
983*2^1404304-1 is not prime.  Res64: 44ABD86FFC17C696  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:37:54]
989*2^1404304-1 is not prime.  Res64: A805920DB62AB35E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:37:54]
831*2^1404305-1 is not prime.  Res64: F0815D9546937A23  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:11]
641*2^1404306-1 is not prime.  Res64: 8BA057BA6DD31FF9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:12]
755*2^1404306-1 is not prime.  Res64: D39CDD1AA7D8F89D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:19]
841*2^1404305-1 is not prime.  Res64: 5F27C0CAC1E06CFA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:19]
633*2^1404306-1 is not prime.  Res64: 0C4585D4341027FE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:47]
767*2^1404306-1 is not prime.  Res64: E3CA0A575D8B637A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:49:47]
833*2^1404306-1 is not prime.  Res64: 60ED8C67A56FFAC0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:55:44]
993*2^1404306-1 is not prime.  Res64: 818ACAB779A79CE1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 08:55:44]
1001*2^1404306-1 is not prime.  Res64: 7676EF06D66937B4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:04]
663*2^1404307-1 is not prime.  Res64: 8E9DEFB8AB460743  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:05]
775*2^1404307-1 is not prime.  Res64: 55974270F30A7066  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:11]
801*2^1404307-1 is not prime.  Res64: AF53323FB2D54A04  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:11]
829*2^1404307-1 is not prime.  Res64: 8AC3F1677D10689C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:41]
945*2^1404307-1 is not prime.  Res64: 6A083988068C89C1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:07:42]
615*2^1404308-1 is not prime.  Res64: 5E7D65D7EC8F92E0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:13:42]
633*2^1404308-1 is not prime.  Res64: A0346926DFC83915  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:13:43]
687*2^1404308-1 is not prime.  Res64: 7163F79295ED2B2F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:24:57]
839*2^1404308-1 is not prime.  Res64: 4D085E7C612D4DD2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:24:58]
869*2^1404308-1 is not prime.  Res64: B19A6DEA805254C1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:25:00]
753*2^1404308-1 is not prime.  Res64: 9D41494752EC9603  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:25:00]
777*2^1404308-1 is not prime.  Res64: 87C61EB3CDDE9BDA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:25:35]
923*2^1404308-1 is not prime.  Res64: 3F5E3581F2C7B9C3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:25:36]
945*2^1404308-1 is not prime.  Res64: 4B46E65D4EF160D9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:31:35]
649*2^1404309-1 is not prime.  Res64: C12E6045EA1CDC29  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:31:35]
657*2^1404309-1 is not prime.  Res64: E07209C30D844F86  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:42:47]
787*2^1404309-1 is not prime.  Res64: 535E70059F365ABC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:42:47]
835*2^1404309-1 is not prime.  Res64: 3FD7767D7625A5BB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:42:53]
759*2^1404309-1 is not prime.  Res64: 88943A401539CE34  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:42:54]
781*2^1404309-1 is not prime.  Res64: D24EE6A9403690B9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:43:28]
847*2^1404309-1 is not prime.  Res64: 2B9CE337DB078FCB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:43:28]
921*2^1404309-1 is not prime.  Res64: 3E0D76C2BFADE8A8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:49:40]
635*2^1404310-1 is not prime.  Res64: F47EDF0D5B3D80A0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 09:49:41]
677*2^1404310-1 is not prime.  Res64: 48FDD745157235CE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:00:39]
609*2^1404311-1 is not prime.  Res64: 05CB23305AE082E9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:00:40]
661*2^1404311-1 is not prime.  Res64: 317129672B5C0B63  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:00:41]
825*2^1404310-1 is not prime.  Res64: 846C52DE9A19170B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:00:42]
945*2^1404310-1 is not prime.  Res64: 87F7B925D917D883  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:01:29]
685*2^1404311-1 is not prime.  Res64: E9B2E8290976D558  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:01:29]
693*2^1404311-1 is not prime.  Res64: 1C2A9F768BC66E2F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:07:37]
823*2^1404311-1 is not prime.  Res64: F73F4896FCA96369  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:07:37]
955*2^1404311-1 is not prime.  Res64: 3A870662354AFD59  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:18:47]
759*2^1404312-1 is not prime.  Res64: 692D731AFD0F8831  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:18:48]
815*2^1404312-1 is not prime.  Res64: A17504867A5C26AE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:18:51]
699*2^1404312-1 is not prime.  Res64: 77450ECC6061C573  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:18:51]
747*2^1404312-1 is not prime.  Res64: 5D7C2C50F2554639  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:19:46]
825*2^1404312-1 is not prime.  Res64: 683BA637EDB5B07F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:19:47]
899*2^1404312-1 is not prime.  Res64: 6716CECB3FBAA40B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:25:58]
945*2^1404312-1 is not prime.  Res64: 71D9A4A572E9F92C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:25:59]
977*2^1404312-1 is not prime.  Res64: F9466E57D062ACB8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:03]
615*2^1404313-1 is not prime.  Res64: 63F6239EBF3E57C5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:04]
639*2^1404313-1 is not prime.  Res64: C1F62E2E2D3BD752  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:05]
649*2^1404313-1 is not prime.  Res64: 5D7C02F2FBD99FAE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:06]
681*2^1404313-1 is not prime.  Res64: D30776D1E3259A8A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:59]
729*2^1404313-1 is not prime.  Res64: C3CF4FC3C8B7128D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:37:59]
817*2^1404313-1 is not prime.  Res64: 3992A12BFA970B4E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:44:01]
945*2^1404313-1 is not prime.  Res64: 50710DC8DB48B394  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:44:01]
951*2^1404313-1 is not prime.  Res64: 32FFFC1E1F471C0E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:54:52]
657*2^1404314-1 is not prime.  Res64: 253267E41F2E297E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:54:53]
675*2^1404314-1 is not prime.  Res64: 2330E7B280D6B5F4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:54:58]
833*2^1404314-1 is not prime.  Res64: AED84E8B393D6659  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:54:58]
885*2^1404314-1 is not prime.  Res64: AB3871BE495EFE90  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:55:52]
923*2^1404314-1 is not prime.  Res64: BEB2BE18C7862780  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 10:55:52]
983*2^1404314-1 is not prime.  Res64: 50828344B1DAE003  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:01:54]
633*2^1404315-1 is not prime.  Res64: B00FC3CA7F2715AC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:01:55]
675*2^1404315-1 is not prime.  Res64: 12FE23C6CE6B8027  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:12:58]
711*2^1404315-1 is not prime.  Res64: 16AEBD2A07C214A2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:12:58]
861*2^1404315-1 is not prime.  Res64: 812746E526CFD7EA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:13:01]
909*2^1404315-1 is not prime.  Res64: 7988249AA166B890  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:13:01]
615*2^1404316-1 is not prime.  Res64: B36BCC5BFEEDB3F9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:13:50]
857*2^1404316-1 is not prime.  Res64: 734F06B539F499DE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:13:50]
869*2^1404316-1 is not prime.  Res64: 0CFBB081919B5181  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:20:04]
903*2^1404316-1 is not prime.  Res64: 069ECB069B84E738  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:20:05]
651*2^1404317-1 is not prime.  Res64: 9D59967E07F6E0B5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:31:31]
805*2^1404317-1 is not prime.  Res64: 7B2CDF1948DE33BD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:31:31]
859*2^1404317-1 is not prime.  Res64: D8ECB4C3F43ECDF8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:31:35]
759*2^1404317-1 is not prime.  Res64: E53D188E2DC26274  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:31:36]
795*2^1404317-1 is not prime.  Res64: 7E38CAA0472D9C9C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:32:27]
861*2^1404317-1 is not prime.  Res64: EF8ABC809A36DEBE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:32:27]
901*2^1404317-1 is not prime.  Res64: 95B8DEA2744B9740  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:38:36]
991*2^1404317-1 is not prime.  Res64: 3A54516BB6AD6981  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:38:36]
663*2^1404318-1 is not prime.  Res64: 6110EE438DA6199A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:49:52]
671*2^1404318-1 is not prime.  Res64: B22DFCD1A54B3EC9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:49:52]
677*2^1404318-1 is not prime.  Res64: 47CE904999831635  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:50:04]
705*2^1404318-1 is not prime.  Res64: 3C747D0D7892A9DA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:50:05]
725*2^1404318-1 is not prime.  Res64: A539165C23F897D2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:51:15]
797*2^1404318-1 is not prime.  Res64: 3911110D156D79F3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:51:15]
975*2^1404318-1 is not prime.  Res64: E9594E1E6088653C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:57:04]
1001*2^1404318-1 is not prime.  Res64: 31CFAB5FE2E8FEE6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 11:57:04]
729*2^1404319-1 is not prime.  Res64: 7F779C18DC945683  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:08:32]
759*2^1404319-1 is not prime.  Res64: 24E10C6DB80A67F8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:08:32]
769*2^1404319-1 is not prime.  Res64: 2BEDF607A40E44DA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:08:49]
993*2^1404319-1 is not prime.  Res64: B91E571B01450DBE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:08:49]
609*2^1404320-1 is not prime.  Res64: BFAC74E5E086FFC4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:10:11]
669*2^1404320-1 is not prime.  Res64: E81FB5B21618C854  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:10:11]
825*2^1404320-1 is not prime.  Res64: F784E4D9C7F51E66  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:16:15]
845*2^1404320-1 is not prime.  Res64: 774CDF59F140429E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:16:15]
855*2^1404320-1 is not prime.  Res64: 8139E5AA14B69C98  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:27:29]
875*2^1404320-1 is not prime.  Res64: EAF9F30C3EF82AA2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:27:29]
935*2^1404320-1 is not prime.  Res64: 8F1291BFD95AC087  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:27:59]
609*2^1404321-1 is not prime.  Res64: F8510B52382F93D3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:27:59]
705*2^1404321-1 is not prime.  Res64: 2ABE4CF1AFDAC9D9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:29:28]
829*2^1404321-1 is not prime.  Res64: 6BDF5129B69AFC45  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:29:28]
865*2^1404321-1 is not prime.  Res64: 5F4AC069F4D64610  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:35:19]
877*2^1404321-1 is not prime.  Res64: 94EC8BEDA94A9C03  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:35:19]
937*2^1404321-1 is not prime.  Res64: 17EE62D711F8C47B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:46:08]
955*2^1404321-1 is not prime.  Res64: CA9E3228814DE708  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:46:09]
617*2^1404322-1 is not prime.  Res64: 947CE0C8599227DA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:46:52]
671*2^1404322-1 is not prime.  Res64: 5B92BC2B63B37127  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:46:53]
681*2^1404322-1 is not prime.  Res64: 2254140EE062CDC1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:48:09]
713*2^1404322-1 is not prime.  Res64: 230E7EB69CF31CCD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:48:09]
717*2^1404322-1 is not prime.  Res64: C8CCF72B6EA60BB3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:53:36]
723*2^1404322-1 is not prime.  Res64: 19DB08C2423AA9EC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 12:53:37]
765*2^1404322-1 is not prime.  Res64: BB8B2444FCFBB9E3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:04:08]
785*2^1404322-1 is not prime.  Res64: BB4C19CC1D740AB4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:04:10]
813*2^1404322-1 is not prime.  Res64: 2D55148F2DC70629  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:04:44]
693*2^1404323-1 is not prime.  Res64: 9A8ACD9D51720C07  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:04:45]
745*2^1404323-1 is not prime.  Res64: D38052EB64761E8E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:06:03]
943*2^1404323-1 is not prime.  Res64: 0424919148C402D6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:06:04]
985*2^1404323-1 is not prime.  Res64: 1D1604ED5DA87C2B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:11:15]
623*2^1404324-1 is not prime.  Res64: 9B7CB836F1F60FC2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:11:15]
705*2^1404324-1 is not prime.  Res64: 65CCE3CDE8194895  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:21:54]
753*2^1404324-1 is not prime.  Res64: 87454425D1F3356B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:21:54]
825*2^1404324-1 is not prime.  Res64: CAD0870ECC4284AE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:22:31]
857*2^1404324-1 is not prime.  Res64: 2290B8F2466C7F4C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:22:31]
863*2^1404324-1 is not prime.  Res64: 8A8826BC5A0513E9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:24:00]
909*2^1404324-1 is not prime.  Res64: 1F68AC943F1259A9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:24:01]
935*2^1404324-1 is not prime.  Res64: 89B0A7C28000B73F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:29:17]
957*2^1404324-1 is not prime.  Res64: 180933152BCDAD9C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:29:17]
651*2^1404325-1 is not prime.  Res64: DBDF965AFD5865FA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:40:41]
691*2^1404325-1 is not prime.  Res64: 693F31DFB0D91B84  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:40:41]
937*2^1404325-1 is not prime.  Res64: 4A7379572412E34F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:40:56]
987*2^1404325-1 is not prime.  Res64: 22D88E0495217163  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:40:56]
635*2^1404326-1 is not prime.  Res64: E3D216DF514DA851  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:43:02]
671*2^1404326-1 is not prime.  Res64: CD1249F7FB1EFAB1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:43:02]
741*2^1404326-1 is not prime.  Res64: F03C95C5F7ADF630  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:49:05]
747*2^1404326-1 is not prime.  Res64: F717898793F03354  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 13:49:05]
825*2^1404326-1 is not prime.  Res64: 0F77A40C7B92FCF5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:02:53]
843*2^1404326-1 is not prime.  Res64: DCB377FAD8CDEE04  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:02:54]
619*2^1404327-1 is not prime.  Res64: F968CFA558938571  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:03:11]
765*2^1404327-1 is not prime.  Res64: A4D7701E93E3043D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:03:12]
823*2^1404327-1 is not prime.  Res64: D51384DA6D2930FA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:04:50]
919*2^1404327-1 is not prime.  Res64: 47187FAEEC0E1923  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:04:51]
663*2^1404328-1 is not prime.  Res64: 943B74F6C4E6EA3D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:12:45]
723*2^1404328-1 is not prime.  Res64: 1FC648E002705F4F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:12:45]
825*2^1404328-1 is not prime.  Res64: 9D423723D59115D3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:26:11]
675*2^1404329-1 is not prime.  Res64: 90FCA7FD892476FD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:26:11]
679*2^1404329-1 is not prime.  Res64: E68B1F7E21EE4E4A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:27:32]
775*2^1404329-1 is not prime.  Res64: 868393BFF533F7D2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:27:32]
781*2^1404329-1 is not prime.  Res64: 963034225C1EE40F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:28:26]
997*2^1404329-1 is not prime.  Res64: 0567C8BAFF58DAEA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:28:26]
641*2^1404330-1 is not prime.  Res64: AAEA58BDE80907C9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:35:49]
671*2^1404330-1 is not prime.  Res64: C33E5B292F75042B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:35:49]
707*2^1404330-1 is not prime.  Res64: C1C1CD1A6F8E09EA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:47:56]
747*2^1404330-1 is not prime.  Res64: 0F6E6ECE966046BD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:47:56]
791*2^1404330-1 is not prime.  Res64: A1A89202EC47B27B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:49:12]
845*2^1404330-1 is not prime.  Res64: 0500BC57287A3DA7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:49:12]
867*2^1404330-1 is not prime.  Res64: AF98A06F36EE0D17  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:50:15]
927*2^1404330-1 is not prime.  Res64: 26E60ECAC0552E56  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:50:15]
941*2^1404330-1 is not prime.  Res64: D9717D6A6A548CE3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:55:50]
945*2^1404330-1 is not prime.  Res64: 16DE83D0D274735F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 14:55:51]
651*2^1404331-1 is not prime.  Res64: BC83994D0109153B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:05:42]
733*2^1404331-1 is not prime.  Res64: 8C743E40B4D1772A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:05:43]
789*2^1404331-1 is not prime.  Res64: 60514E5F1DF9B4F6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:06:57]
843*2^1404331-1 is not prime.  Res64: D53DA7262EB663D5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:06:57]
939*2^1404331-1 is not prime.  Res64: D8A45EE562BE78A3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:08:00]
603*2^1404332-1 is not prime.  Res64: 7F2D42C6630E02C0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:08:00]
683*2^1404332-1 is not prime.  Res64: 011F0980FBE17E53  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:13:36]
693*2^1404332-1 is not prime.  Res64: 453A00647194ABC7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:13:36]
717*2^1404332-1 is not prime.  Res64: 16A820119F4D3DD1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:23:29]
963*2^1404332-1 is not prime.  Res64: 122B70F82CE6BC24  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:23:29]
691*2^1404333-1 is not prime.  Res64: DBBD5A1CE3F8016C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:24:45]
727*2^1404333-1 is not prime.  Res64: 67A87653EE997D5E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:24:45]
605*2^1404334-1 is not prime.  Res64: 99E6F25C8728CD15  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:25:50]
651*2^1404334-1 is not prime.  Res64: 9184B782714EE1C9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:25:51]
695*2^1404334-1 is not prime.  Res64: DFA0F1FA7FA66E4A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:31:18]
707*2^1404334-1 is not prime.  Res64: 200D9063E38F551C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:31:19]
717*2^1404334-1 is not prime.  Res64: 49C17B725AAEDC2A  Time : 0.0 sec.
user=lalera
[2015-07-27 15:36:39]
789*2^1404335-1 is not prime.  Res64: 20D8824ADEFADED7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:41:11]
741*2^1404334-1 is not prime.  Res64: 4FC303D7B2C3C940  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:41:11]
903*2^1404334-1 is not prime.  Res64: 2251598B28FA9925  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:42:24]
947*2^1404334-1 is not prime.  Res64: 98BB5FBEA59684C9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:42:24]
971*2^1404334-1 is not prime.  Res64: C08007C150C549D6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:43:45]
619*2^1404335-1 is not prime.  Res64: 078D24C6382D8CF0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:43:46]
651*2^1404335-1 is not prime.  Res64: 16EEBF3579252017  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:49:06]
979*2^1404335-1 is not prime.  Res64: 12DCCE4724F9F582  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:49:06]
985*2^1404335-1 is not prime.  Res64: AE6F981638E8B604  Time : 0.0 sec.
user=lalera
[2015-07-27 15:49:53]
657*2^1404336-1 is not prime.  Res64: 761D4F1941F8678E  Time : 0.0 sec.
user=lalera
[2015-07-27 15:50:08]
735*2^1404336-1 is not prime.  Res64: 3F33021429140567  Time : 0.0 sec.
user=lalera
[2015-07-27 15:50:42]
809*2^1404336-1 is not prime.  Res64: F4FDF6268731A600  Time : 0.0 sec.
user=lalera
[2015-07-27 15:50:59]
873*2^1404336-1 is not prime.  Res64: C3395C48DCE8B23B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:59:20]
893*2^1404336-1 is not prime.  Res64: 732A00D13AB83CB6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 15:59:20]
661*2^1404337-1 is not prime.  Res64: 5F1F23EC13D0F089  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:00:42]
885*2^1404337-1 is not prime.  Res64: FE0DBA397ED8D801  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:00:43]
937*2^1404337-1 is not prime.  Res64: ACA73CC6F0F55DE8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:02:07]
677*2^1404338-1 is not prime.  Res64: 6CC15532E214786D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:02:08]
857*2^1404338-1 is not prime.  Res64: 4363B26F9E9A5223  Time : 0.0 sec.
user=lalera
[2015-07-27 16:07:21]
919*2^1404339-1 is not prime.  Res64: 0F5200CB0BF2ADC8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:07:35]
619*2^1404339-1 is not prime.  Res64: 17CDB530EE165D7F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:07:35]
625*2^1404339-1 is not prime.  Res64: 73D21D49FEF64C47  Time : 0.0 sec.
user=lalera
[2015-07-27 16:07:41]
955*2^1404339-1 is not prime.  Res64: AB38147EE8B56B69  Time : 0.0 sec.
user=lalera
[2015-07-27 16:09:01]
777*2^1404340-1 is not prime.  Res64: CB43B53C0A17AA9C  Time : 0.0 sec.
user=lalera
[2015-07-27 16:09:19]
819*2^1404340-1 is not prime.  Res64: F9CB63A1CD9178A0  Time : 0.0 sec.
user=lalera
[2015-07-27 16:13:08]
957*2^1404340-1 is not prime.  Res64: A0DEFD4062D97C1B  Time : 0.0 sec.
user=lalera
[2015-07-27 16:13:40]
975*2^1404340-1 is not prime.  Res64: F9770DDF0DC60B3C  Time : 0.0 sec.
user=lalera
[2015-07-27 16:14:01]
989*2^1404340-1 is not prime.  Res64: E6523CD32A755AF3  Time : 0.0 sec.
user=lalera
[2015-07-27 16:14:22]
607*2^1404341-1 is not prime.  Res64: 6B2ECBF4A7238487  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:17:59]
615*2^1404341-1 is not prime.  Res64: 23A11F56F5E95981  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:18:00]
645*2^1404341-1 is not prime.  Res64: 5D62CD5BD258E653  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:19:31]
691*2^1404341-1 is not prime.  Res64: D72418C048513F03  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:19:31]
879*2^1404341-1 is not prime.  Res64: 9BC90B6EFF9E51E2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:20:44]
901*2^1404341-1 is not prime.  Res64: F99ED2414B09A486  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:20:44]
991*2^1404341-1 is not prime.  Res64: 744E2FFE6606C2EE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:26:01]
671*2^1404342-1 is not prime.  Res64: F7723121AC6D90F3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:26:01]
725*2^1404342-1 is not prime.  Res64: AF6170F35AECF06E  Time : 0.0 sec.
user=lalera
[2015-07-27 16:27:52]
611*2^1404342-1 is not prime.  Res64: 382440038EE388B6  Time : 0.0 sec.
user=lalera
[2015-07-27 16:28:08]
843*2^1404342-1 is not prime.  Res64: 082B3E8CF46B3741  Time : 0.0 sec.
user=lalera
[2015-07-27 16:29:31]
893*2^1404342-1 is not prime.  Res64: 32A19634797A097E  Time : 0.0 sec.
user=lalera
[2015-07-27 16:29:53]
963*2^1404342-1 is not prime.  Res64: 3F850282701857B0  Time : 0.0 sec.
user=lalera
[2015-07-27 16:33:54]
663*2^1404343-1 is not prime.  Res64: E7AD779D28D98A3B  Time : 0.0 sec.
user=lalera
[2015-07-27 16:34:39]
681*2^1404343-1 is not prime.  Res64: 5ECF41D16E9E8105  Time : 0.0 sec.
user=lalera
[2015-07-27 16:34:50]
763*2^1404343-1 is not prime.  Res64: 41F79EADA56EDB2A  Time : 0.0 sec.
user=lalera
[2015-07-27 16:35:13]
811*2^1404343-1 is not prime.  Res64: A6CD06D5164787C2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:36:31]
853*2^1404343-1 is not prime.  Res64: 1464B12DCC0F4C64  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:36:31]
895*2^1404343-1 is not prime.  Res64: DA82A1015F8429C6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:38:04]
969*2^1404343-1 is not prime.  Res64: B4C326FA939E1DEF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:38:04]
623*2^1404344-1 is not prime.  Res64: F8C03224C0C917AC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:39:34]
635*2^1404344-1 is not prime.  Res64: 4E38EBF89C12D65E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:39:34]
833*2^1404344-1 is not prime.  Res64: 4BFA283971C7B6AC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:45:08]
945*2^1404344-1 is not prime.  Res64: 1E05F54D468B46FD  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:45:08]
983*2^1404344-1 is not prime.  Res64: CC464C590AC181A2  Time : 0.0 sec.
user=lalera
[2015-07-27 16:49:04]
705*2^1404345-1 is not prime.  Res64: 73DFCF7DBE42496C  Time : 0.0 sec.
user=lalera
[2015-07-27 16:49:23]
699*2^1404345-1 is not prime.  Res64: 2C8BF578E3B3D744  Time : 0.0 sec.
user=lalera
[2015-07-27 16:51:02]
777*2^1404345-1 is not prime.  Res64: ECFC8B2BC7C4D142  Time : 0.0 sec.
user=lalera
[2015-07-27 16:51:27]
915*2^1404345-1 is not prime.  Res64: 70E8A969CC3A75FE  Time : 0.0 sec.
user=lalera
[2015-07-27 16:55:03]
921*2^1404345-1 is not prime.  Res64: 554EC1AEB8169C42  Time : 0.0 sec.
user=lalera
[2015-07-27 16:55:53]
949*2^1404345-1 is not prime.  Res64: F2740D3A756F0C3E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:56:09]
821*2^1404346-1 is not prime.  Res64: CE78872F99E77FB0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:56:09]
917*2^1404346-1 is not prime.  Res64: 3D844448251DBCA6  Time : 0.0 sec.
user=lalera
[2015-07-27 16:56:10]
937*2^1404345-1 is not prime.  Res64: 60552089308F1238  Time : 0.0 sec.
user=lalera
[2015-07-27 16:56:34]
645*2^1404346-1 is not prime.  Res64: 2F43D3D7A6D90222  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:57:22]
923*2^1404346-1 is not prime.  Res64: E00D551293F77B1B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:57:22]
619*2^1404347-1 is not prime.  Res64: 0BE7F4F47EE9A0EA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:59:14]
841*2^1404347-1 is not prime.  Res64: 94D04D6E13DFB197  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 16:59:14]
879*2^1404347-1 is not prime.  Res64: 97A7B17BCA860E21  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:04:46]
963*2^1404347-1 is not prime.  Res64: 8A7D72B1B897053F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:04:47]
663*2^1404348-1 is not prime.  Res64: 0A5FD934A86549B4  Time : 0.0 sec.
user=lalera
[2015-07-27 17:10:26]
845*2^1404348-1 is not prime.  Res64: 66F1578E06B46841  Time : 0.0 sec.
user=lalera
[2015-07-27 17:10:26]
749*2^1404348-1 is not prime.  Res64: 43C7C1D0B4697CCC  Time : 0.0 sec.
user=lalera
[2015-07-27 17:12:19]
879*2^1404348-1 is not prime.  Res64: FFB30C344D2EB52F  Time : 0.0 sec.
user=lalera
[2015-07-27 17:12:28]
915*2^1404348-1 is not prime.  Res64: DF9AFB3D82447D3D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:15:12]
801*2^1404349-1 is not prime.  Res64: 89AB7D6394FC38C0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:15:12]
939*2^1404349-1 is not prime.  Res64: E5D8698637FA5FA5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:16:24]
623*2^1404350-1 is not prime.  Res64: 3EBD9D3996EBD61B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:16:24]
731*2^1404350-1 is not prime.  Res64: E5B4131FBFC38968  Time : 0.0 sec.
user=lalera
[2015-07-27 17:16:34]
721*2^1404349-1 is not prime.  Res64: FE6493C14357FBE1  Time : 0.0 sec.
user=lalera
[2015-07-27 17:17:06]
957*2^1404349-1 is not prime.  Res64: 5DD899C0A549D3E9  Time : 0.0 sec.
user=lalera
[2015-07-27 17:17:21]
615*2^1404350-1 is not prime.  Res64: 640A7121952F3821  Time : 0.0 sec.
user=lalera
[2015-07-27 17:17:23]
769*2^1404349-1 is not prime.  Res64: D20321EF6BBEC609  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:18:04]
761*2^1404350-1 is not prime.  Res64: 30FBF5CF1AE3648B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:18:04]
795*2^1404350-1 is not prime.  Res64: A11DD077E1B6FDD9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:23:49]
921*2^1404350-1 is not prime.  Res64: 9C288998D5B948B1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:23:49]
651*2^1404351-1 is not prime.  Res64: 5E27A9FC25EC749A  Time : 0.0 sec.
user=lalera
[2015-07-27 17:31:41]
703*2^1404351-1 is not prime.  Res64: 5FEC64D1EB9AB880  Time : 0.0 sec.
user=lalera
[2015-07-27 17:32:23]
711*2^1404351-1 is not prime.  Res64: D3879B839403DEBA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:33:26]
865*2^1404351-1 is not prime.  Res64: D659601431368AAC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:33:27]
961*2^1404351-1 is not prime.  Res64: 01179C6266F48884  Time : 0.0 sec.
user=lalera
[2015-07-27 17:33:30]
829*2^1404351-1 is not prime.  Res64: 8DBB6002C526D51A  Time : 0.0 sec.
user=lalera
[2015-07-27 17:34:13]
823*2^1404351-1 is not prime.  Res64: 52A408FF40488283  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:34:34]
603*2^1404352-1 is not prime.  Res64: 448F80E92105FC07  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:34:35]
677*2^1404352-1 is not prime.  Res64: 59C43151F1087BB1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:36:17]
995*2^1404352-1 is not prime.  Res64: A725B4D924BD6AA2  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:36:18]
699*2^1404353-1 is not prime.  Res64: 8CC4C09905351E41  Time : 0.0 sec.
user=lalera
[2015-07-27 17:38:09]
855*2^1404352-1 is not prime.  Res64: 931D1EA67E1560BD  Time : 0.0 sec.
user=lalera
[2015-07-27 17:38:35]
785*2^1404352-1 is not prime.  Res64: 06D94B42647A3F31  Time : 0.0 sec.
user=lalera
[2015-07-27 17:38:37]
903*2^1404352-1 is not prime.  Res64: A5CC062B5FBC0BA5  Time : 0.0 sec.
user=lalera
[2015-07-27 17:39:27]
923*2^1404352-1 is not prime.  Res64: F9CD70A714A69717  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:42:11]
611*2^1404354-1 is not prime.  Res64: 34232E7E4D898379  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:42:11]
717*2^1404354-1 is not prime.  Res64: E8E0D748D8AE8074  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:51:46]
755*2^1404354-1 is not prime.  Res64: 60E424522FEEF63E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:51:46]
815*2^1404354-1 is not prime.  Res64: E8F5DAF80CC1CAC6  Time : 0.0 sec.
user=lalera
[2015-07-27 17:52:51]
723*2^1404354-1 is not prime.  Res64: 3514C740A8517373  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:53:03]
771*2^1404355-1 is not prime.  Res64: A6027D37BEA8CD1D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:53:04]
919*2^1404355-1 is not prime.  Res64: 3098AD187274C32A  Time : 0.0 sec.
user=lalera
[2015-07-27 17:54:24]
725*2^1404354-1 is not prime.  Res64: 49C2339B1625C614  Time : 0.0 sec.
user=lalera
[2015-07-27 17:54:38]
825*2^1404354-1 is not prime.  Res64: BADC339187FC1D86  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:54:49]
939*2^1404355-1 is not prime.  Res64: 405335A9F862C152  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 17:54:49]
985*2^1404355-1 is not prime.  Res64: CC6943E1F297BDFF  Time : 0.0 sec.
user=lalera
[2015-07-27 17:56:09]
891*2^1404354-1 is not prime.  Res64: 59EF7C1DE7F3F393  Time : 0.0 sec.
user=lalera
[2015-07-27 17:59:16]
617*2^1404356-1 is not prime.  Res64: D8ABEE5E28646E9A  Time : 0.0 sec.
user=lalera
[2015-07-27 17:59:33]
837*2^1404356-1 is not prime.  Res64: D6D9F55644049DEB  Time : 0.0 sec.
user=lalera
[2015-07-27 18:00:30]
749*2^1404356-1 is not prime.  Res64: 0D19CD1D2E119C58  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:00:52]
915*2^1404357-1 is not prime.  Res64: EE84B731B0E04FF9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:00:52]
961*2^1404357-1 is not prime.  Res64: B26B9173BBCDBF26  Time : 0.0 sec.
user=lalera
[2015-07-27 18:01:21]
609*2^1404357-1 is not prime.  Res64: 69617E49A5477064  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:10:36]
825*2^1404358-1 is not prime.  Res64: 47C4190B4FED1D80  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:10:36]
887*2^1404358-1 is not prime.  Res64: DC570599AD433AE3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:11:45]
675*2^1404359-1 is not prime.  Res64: 7F8996FD5CFDE273  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:11:46]
703*2^1404359-1 is not prime.  Res64: 4E6572CDCC1082B0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:13:34]
763*2^1404359-1 is not prime.  Res64: 647C5622D97F73E1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:13:34]
843*2^1404359-1 is not prime.  Res64: 775C5BD98D11DEC1  Time : 0.0 sec.
user=lalera
[2015-07-27 18:14:06]
941*2^1404358-1 is not prime.  Res64: 8F0B91FFDF286113  Time : 0.0 sec.
user=lalera
[2015-07-27 18:15:42]
735*2^1404359-1 is not prime.  Res64: 84B55DD69D650BBD  Time : 0.0 sec.
user=lalera
[2015-07-27 18:16:20]
711*2^1404359-1 is not prime.  Res64: 5D6B286FF9C58057  Time : 0.0 sec.
user=lalera
[2015-07-27 18:18:11]
939*2^1404359-1 is not prime.  Res64: 54FEDA51BF73FE28  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:19:29]
843*2^1404360-1 is not prime.  Res64: FA3E634CFB68F047  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:19:29]
849*2^1404360-1 is not prime.  Res64: 1B494C1458A2A711  Time : 0.0 sec.
user=lalera
[2015-07-27 18:20:18]
949*2^1404359-1 is not prime.  Res64: 15456B29A68ECAAD  Time : 0.0 sec.
user=lalera
[2015-07-27 18:20:35]
735*2^1404360-1 is not prime.  Res64: AD2FA4CC9E0AFDBB  Time : 0.0 sec.
user=lalera
[2015-07-27 18:22:26]
809*2^1404360-1 is not prime.  Res64: 122606FEDC0EFD4E  Time : 0.0 sec.
user=lalera
[2015-07-27 18:23:22]
879*2^1404360-1 is not prime.  Res64: 7142C6CBE18F780B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:29:21]
607*2^1404361-1 is not prime.  Res64: 761382AC01C48673  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:29:21]
713*2^1404362-1 is not prime.  Res64: 1DBB1FFC5D0C43C8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:30:24]
755*2^1404362-1 is not prime.  Res64: 8FB2057DF6A38D5F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:30:25]
837*2^1404362-1 is not prime.  Res64: 498B69D55AB71ABE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:32:11]
903*2^1404362-1 is not prime.  Res64: 85C563DD9F86A9E8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:32:11]
951*2^1404362-1 is not prime.  Res64: 1ECA89070F75DE2C  Time : 0.0 sec.
user=lalera
[2015-07-27 18:35:11]
957*2^1404362-1 is not prime.  Res64: 9907358749DA6BBB  Time : 0.0 sec.
user=lalera
[2015-07-27 18:36:56]
1001*2^1404362-1 is not prime.  Res64: FED46ACC7B49131C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:37:56]
709*2^1404363-1 is not prime.  Res64: E065A85C1672210B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:37:56]
769*2^1404363-1 is not prime.  Res64: 9D8F77CEFCD29AC7  Time : 0.0 sec.
user=lalera
[2015-07-27 18:38:15]
675*2^1404363-1 is not prime.  Res64: 3088D226B0B7CE1E  Time : 0.0 sec.
user=lalera
[2015-07-27 18:40:03]
685*2^1404363-1 is not prime.  Res64: 7E3D7A72B3A40451  Time : 0.0 sec.
user=lalera
[2015-07-27 18:41:26]
781*2^1404363-1 is not prime.  Res64: 272D0A84A89E9D06  Time : 0.0 sec.
user=lalera
[2015-07-27 18:41:45]
963*2^1404363-1 is not prime.  Res64: 113A55325444513C  Time : 0.0 sec.
user=lalera
[2015-07-27 18:44:17]
615*2^1404364-1 is not prime.  Res64: 6433EC9BF6726F38  Time : 0.0 sec.
user=lalera
[2015-07-27 18:45:02]
897*2^1404364-1 is not prime.  Res64: 085371F2A4429899  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:47:47]
903*2^1404364-1 is not prime.  Res64: D3D57B64AD8FAE1E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:47:47]
711*2^1404365-1 is not prime.  Res64: A6E6A3E5E3C96660  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:48:49]
729*2^1404365-1 is not prime.  Res64: CA7BE6EB27B49C9A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:48:49]
735*2^1404365-1 is not prime.  Res64: A214615161B05F80  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:50:49]
781*2^1404365-1 is not prime.  Res64: 6CD0D598C0D8BF1A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:50:49]
859*2^1404365-1 is not prime.  Res64: B637E591E9CC01A0  Time : 0.0 sec.
user=lalera
[2015-07-27 18:55:57]
955*2^1404365-1 is not prime.  Res64: F0A72953FAC3DC73  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:56:44]
987*2^1404365-1 is not prime.  Res64: 334F153FFA7AE179  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 18:56:44]
611*2^1404366-1 is not prime.  Res64: D15E9F68C3D649C2  Time : 0.0 sec.
user=lalera
[2015-07-27 18:57:29]
979*2^1404365-1 is not prime.  Res64: F9F24FEB11AC06F4  Time : 0.0 sec.
user=lalera
[2015-07-27 18:59:06]
653*2^1404366-1 is not prime.  Res64: CF6D6FC627A17F5F  Time : 0.0 sec.
user=lalera
[2015-07-27 19:00:38]
693*2^1404366-1 is not prime.  Res64: 9C01B565EB232F96  Time : 0.0 sec.
user=lalera
[2015-07-27 19:01:54]
723*2^1404366-1 is not prime.  Res64: 1EA826F22D8EF8C6  Time : 0.0 sec.
user=lalera
[2015-07-27 19:02:14]
741*2^1404366-1 is not prime.  Res64: 4499177F6D4A5872  Time : 0.0 sec.
user=lalera
[2015-07-27 19:04:38]
851*2^1404366-1 is not prime.  Res64: 727B4B018C570D95  Time : 0.0 sec.
user=lalera
[2015-07-27 19:05:20]
975*2^1404366-1 is not prime.  Res64: 7FA41F4695BDC224  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:06:13]
829*2^1404367-1 is not prime.  Res64: 42D93431C3172BC7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:06:13]
913*2^1404367-1 is not prime.  Res64: 6F6F6EF3C691DCBC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:07:22]
933*2^1404367-1 is not prime.  Res64: 370EA879246F926F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:07:22]
629*2^1404368-1 is not prime.  Res64: F1560304292B85BB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:09:24]
683*2^1404368-1 is not prime.  Res64: 1D1763FB50F38D78  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:09:25]
725*2^1404368-1 is not prime.  Res64: CC327C35649EA281  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:15:18]
773*2^1404368-1 is not prime.  Res64: 092B3407CF0729D6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:15:19]
899*2^1404368-1 is not prime.  Res64: 244197FEEC178CBE  Time : 0.0 sec.
user=lalera
[2015-07-27 19:16:14]
735*2^1404368-1 is not prime.  Res64: A2EC1AE8593BFDE6  Time : 0.0 sec.
user=lalera
[2015-07-27 19:17:47]
995*2^1404368-1 is not prime.  Res64: 77973706DED255A3  Time : 0.0 sec.
user=lalera
[2015-07-27 19:19:24]
657*2^1404369-1 is not prime.  Res64: 83F68B45B09DF302  Time : 0.0 sec.
user=lalera
[2015-07-27 19:21:06]
679*2^1404369-1 is not prime.  Res64: C7EBF4FAA3800340  Time : 0.0 sec.
user=lalera
[2015-07-27 19:22:19]
681*2^1404369-1 is not prime.  Res64: F660FD88E2F72B34  Time : 0.0 sec.
user=lalera
[2015-07-27 19:22:41]
909*2^1404369-1 is not prime.  Res64: 02490DDA6ECF68A1  Time : 0.0 sec.
user=lalera
[2015-07-27 19:24:58]
999*2^1404369-1 is not prime.  Res64: 53F23B6F1C246CCB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:25:04]
657*2^1404370-1 is not prime.  Res64: EB64B6A4DE1537AB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:25:04]
681*2^1404370-1 is not prime.  Res64: 08C1B98E2A88750C  Time : 0.0 sec.
user=lalera
[2015-07-27 19:25:47]
653*2^1404370-1 is not prime.  Res64: 5896118620E8B731  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:26:00]
801*2^1404370-1 is not prime.  Res64: 5EA9C4ABB7F1DA23  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:26:00]
867*2^1404370-1 is not prime.  Res64: E3C1F646B573EAC3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:28:23]
917*2^1404370-1 is not prime.  Res64: 275442E947B6C9AA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:28:23]
945*2^1404370-1 is not prime.  Res64: D0846B8880A90CA6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:33:31]
859*2^1404371-1 is not prime.  Res64: 1BD86ACB89CBDC40  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:33:32]
883*2^1404371-1 is not prime.  Res64: DD0CEAD86E973084  Time : 0.0 sec.
user=lalera
[2015-07-27 19:36:35]
949*2^1404371-1 is not prime.  Res64: 9489D03C5907BFAD  Time : 0.0 sec.
user=lalera
[2015-07-27 19:38:11]
979*2^1404371-1 is not prime.  Res64: 7F34EF9E625CEA4E  Time : 0.0 sec.
user=lalera
[2015-07-27 19:39:50]
991*2^1404371-1 is not prime.  Res64: 99B411B365E0713F  Time : 0.0 sec.
user=lalera
[2015-07-27 19:41:29]
999*2^1404371-1 is not prime.  Res64: FC6E0298A679616E  Time : 0.0 sec.
user=lalera
[2015-07-27 19:42:40]
753*2^1404372-1 is not prime.  Res64: A7082DA2BC5D58BB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:42:59]
965*2^1404372-1 is not prime.  Res64: D03A5275F4F1774F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:43:00]
675*2^1404373-1 is not prime.  Res64: 717216DB5440EC7E  Time : 0.0 sec.
user=lalera
[2015-07-27 19:43:02]
797*2^1404372-1 is not prime.  Res64: 89B0D711B33305BF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:43:57]
699*2^1404373-1 is not prime.  Res64: F6236D2BA01C4DE7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:43:57]
945*2^1404373-1 is not prime.  Res64: 5BF1C2567535CD1D  Time : 0.0 sec.
user=lalera
[2015-07-27 19:45:20]
887*2^1404372-1 is not prime.  Res64: EC64D88FA3AD15B2  Time : 0.0 sec.
user=lalera
[2015-07-27 19:46:10]
685*2^1404373-1 is not prime.  Res64: 24D50A4B3F43C86F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:46:17]
961*2^1404373-1 is not prime.  Res64: 1564D6E1263F89ED  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:46:17]
663*2^1404374-1 is not prime.  Res64: D95AF461DC0F33C3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:51:24]
707*2^1404374-1 is not prime.  Res64: 54946E2982A6F054  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 19:51:25]
731*2^1404374-1 is not prime.  Res64: C783A40C5F9EAD90  Time : 0.0 sec.
user=lalera
[2015-07-27 19:57:01]
797*2^1404374-1 is not prime.  Res64: 69C7DE1817B8AAFC  Time : 0.0 sec.
user=lalera
[2015-07-27 19:58:19]
825*2^1404374-1 is not prime.  Res64: 9E0D7BFC0C3AE6ED  Time : 0.0 sec.
user=lalera
[2015-07-27 19:59:52]
917*2^1404374-1 is not prime.  Res64: 1C65BB049E4D5EDE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:00:49]
693*2^1404375-1 is not prime.  Res64: 8133934F142A20C7  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:00:50]
795*2^1404375-1 is not prime.  Res64: 089B21B7D9FFD754  Time : 0.0 sec.
user=lalera
[2015-07-27 20:01:22]
941*2^1404374-1 is not prime.  Res64: 956570B354770C90  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:01:40]
969*2^1404375-1 is not prime.  Res64: F2F2758538C3A108  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:01:41]
677*2^1404376-1 is not prime.  Res64: 49A7C771F7C76FB3  Time : 0.0 sec.
user=lalera
[2015-07-27 20:02:37]
633*2^1404375-1 is not prime.  Res64: EB61CCE16572FA27  Time : 0.0 sec.
user=lalera
[2015-07-27 20:02:58]
921*2^1404375-1 is not prime.  Res64: B4A9BE312DE26426  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:04:07]
669*2^1404377-1 is not prime.  Res64: DD05F1CBBC5C0227  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:04:08]
685*2^1404377-1 is not prime.  Res64: 6962BCE0C65B0BDD  Time : 0.0 sec.
user=lalera
[2015-07-27 20:05:08]
899*2^1404376-1 is not prime.  Res64: D4675B81ECA4C451  Time : 0.0 sec.
user=lalera
[2015-07-27 20:06:02]
615*2^1404377-1 is not prime.  Res64: 97AA206CF938AD64  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:09:11]
727*2^1404377-1 is not prime.  Res64: 9C9A6258A358DFC6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:09:11]
967*2^1404377-1 is not prime.  Res64: 93095BA7425733DE  Time : 0.0 sec.
user=lalera
[2015-07-27 20:18:29]
635*2^1404378-1 is not prime.  Res64: CE3E228FF8E8AFE1  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:18:36]
815*2^1404378-1 is not prime.  Res64: DFE7C31166A52CF4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:18:36]
867*2^1404378-1 is not prime.  Res64: C4DB3D2E0512A5BA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:19:36]
795*2^1404380-1 is not prime.  Res64: 6FE98E8FE896526D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:19:36]
885*2^1404380-1 is not prime.  Res64: 0F7014998252D67E  Time : 0.0 sec.
user=lalera
[2015-07-27 20:20:22]
713*2^1404378-1 is not prime.  Res64: 583F527522A9BCDA  Time : 0.0 sec.
user=lalera
[2015-07-27 20:21:53]
777*2^1404380-1 is not prime.  Res64: 6E3F8960D3E00041  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:22:07]
609*2^1404381-1 is not prime.  Res64: 0F4C531F7433754B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:22:07]
709*2^1404381-1 is not prime.  Res64: 5DEE73C327D773D8  Time : 0.0 sec.
user=lalera
[2015-07-27 20:23:06]
909*2^1404380-1 is not prime.  Res64: 732853D934CA8E70  Time : 0.0 sec.
user=lalera
[2015-07-27 20:23:17]
983*2^1404380-1 is not prime.  Res64: 3B44320C0AE3E4F6  Time : 0.0 sec.
user=lalera
[2015-07-27 20:25:26]
727*2^1404381-1 is not prime.  Res64: FB5E4C3260BA2E78  Time : 0.0 sec.
user=lalera
[2015-07-27 20:26:18]
747*2^1404381-1 is not prime.  Res64: 72B661481C5E2175  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:27:29]
849*2^1404381-1 is not prime.  Res64: CACDA3FC129CB198  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:27:30]
927*2^1404381-1 is not prime.  Res64: ECA02CC36617A608  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:37:03]
617*2^1404382-1 is not prime.  Res64: E3BA128BF30DEFD6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:37:03]
713*2^1404382-1 is not prime.  Res64: 8A82727E3EC0631D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:37:57]
731*2^1404382-1 is not prime.  Res64: F273736EA222109A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:37:57]
761*2^1404382-1 is not prime.  Res64: 78A462C84C957B70  Time : 0.0 sec.
user=lalera
[2015-07-27 20:38:29]
611*2^1404382-1 is not prime.  Res64: 66360F2DF2DC3F95  Time : 0.0 sec.
user=lalera
[2015-07-27 20:40:24]
891*2^1404382-1 is not prime.  Res64: C2D8C13B151674D3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:40:38]
633*2^1404383-1 is not prime.  Res64: 712BF3905CD001B8  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:40:38]
693*2^1404383-1 is not prime.  Res64: 38B23B7AA6185700  Time : 0.0 sec.
user=lalera
[2015-07-27 20:42:01]
957*2^1404382-1 is not prime.  Res64: 103CEA2B0C1ABB75  Time : 0.0 sec.
user=lalera
[2015-07-27 20:43:26]
721*2^1404383-1 is not prime.  Res64: 1502C7C50502BEF3  Time : 0.0 sec.
user=lalera
[2015-07-27 20:43:39]
771*2^1404383-1 is not prime.  Res64: 59B883B22AD3BABB  Time : 0.0 sec.
user=lalera
[2015-07-27 20:43:40]
781*2^1404383-1 is not prime.  Res64: E985AD584EC345CF  Time : 0.0 sec.
user=lalera
[2015-07-27 20:45:45]
813*2^1404383-1 is not prime.  Res64: E02E6B9C66CF538E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:46:03]
705*2^1404384-1 is not prime.  Res64: 17ED91AEAFF902BE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:46:03]
765*2^1404384-1 is not prime.  Res64: E612A44105AFF454  Time : 0.0 sec.
user=lalera
[2015-07-27 20:46:46]
629*2^1404384-1 is not prime.  Res64: FA3586E8E5E33309  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:56:15]
815*2^1404384-1 is not prime.  Res64: EEA231FB2D845ECB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:56:15]
887*2^1404384-1 is not prime.  Res64: 753235E34023C368  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:57:02]
929*2^1404384-1 is not prime.  Res64: 40580B0D5EE76FA6  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:57:03]
945*2^1404384-1 is not prime.  Res64: E8AC3C937DD12AC8  Time : 0.0 sec.
user=lalera
[2015-07-27 20:58:48]
691*2^1404385-1 is not prime.  Res64: B41C551F201DCB92  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:59:39]
741*2^1404385-1 is not prime.  Res64: CBE28F0790BCCC3E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 20:59:40]
861*2^1404385-1 is not prime.  Res64: 4434DA013041EE7E  Time : 0.0 sec.
user=lalera
[2015-07-27 21:00:44]
705*2^1404385-1 is not prime.  Res64: D54BC4F03EC85111  Time : 0.0 sec.
user=lalera
[2015-07-27 21:02:22]
885*2^1404385-1 is not prime.  Res64: 1A93D6D24B80E7CB  Time : 0.0 sec.
user=lalera
[2015-07-27 21:03:48]
955*2^1404385-1 is not prime.  Res64: 37513B20567E4822  Time : 0.0 sec.
user=lalera
[2015-07-27 21:03:58]
657*2^1404386-1 is not prime.  Res64: 526515449BA8B718  Time : 0.0 sec.
user=lalera
[2015-07-27 21:04:04]
615*2^1404386-1 is not prime.  Res64: 37BFF36D9CD40F5C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:05:00]
837*2^1404386-1 is not prime.  Res64: B928B117F4311DB0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:05:02]
843*2^1404386-1 is not prime.  Res64: DE055ABE90C71DD4  Time : 0.0 sec.
user=lalera
[2015-07-27 21:05:35]
743*2^1404386-1 is not prime.  Res64: 3752B4089313F970  Time : 0.0 sec.
user=lalera
[2015-07-27 21:06:43]
851*2^1404386-1 is not prime.  Res64: 5B75633D344F87CE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:14:47]
887*2^1404386-1 is not prime.  Res64: 894FB10E91FC58CF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:14:47]
953*2^1404386-1 is not prime.  Res64: 6911FFD339B33F84  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:15:46]
649*2^1404387-1 is not prime.  Res64: 967B28F9162FB2BB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:15:46]
735*2^1404387-1 is not prime.  Res64: B7021371C2AA768B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:18:14]
843*2^1404387-1 is not prime.  Res64: 87962E397CB1CAAE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:18:15]
895*2^1404387-1 is not prime.  Res64: 91C8C57B30235496  Time : 0.0 sec.
user=lalera
[2015-07-27 21:18:51]
823*2^1404387-1 is not prime.  Res64: CD36E2AFA6E18992  Time : 0.0 sec.
user=lalera
[2015-07-27 21:20:45]
901*2^1404387-1 is not prime.  Res64: 0CEABEF6A7CA1A18  Time : 0.0 sec.
user=lalera
[2015-07-27 21:22:28]
903*2^1404387-1 is not prime.  Res64: E0FE52497F15A5E9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:23:53]
707*2^1404388-1 is not prime.  Res64: 6FCFCA1E88DE8F9C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:23:53]
989*2^1404388-1 is not prime.  Res64: 6B5AB2FE70093C85  Time : 0.0 sec.
user=lalera
[2015-07-27 21:25:15]
635*2^1404388-1 is not prime.  Res64: 380B7129774C0832  Time : 0.0 sec.
user=lalera
[2015-07-27 21:25:15]
951*2^1404387-1 is not prime.  Res64: E477F512EB6013A6  Time : 0.0 sec.
user=lalera
[2015-07-27 21:25:15]
629*2^1404388-1 is not prime.  Res64: 07F34EFE2A8687C3  Time : 0.0 sec.
user=lalera
[2015-07-27 21:26:04]
615*2^1404389-1 is not prime.  Res64: 69F9B11A02572EA0  Time : 0.0 sec.
user=lalera
[2015-07-27 21:27:01]
619*2^1404389-1 is not prime.  Res64: FB826FFF0E6C666E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:34:03]
949*2^1404389-1 is not prime.  Res64: EAACB3C8AD8C3E7D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:34:03]
707*2^1404390-1 is not prime.  Res64: 09A5B9F4C368598F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:35:03]
933*2^1404390-1 is not prime.  Res64: 92A2ECFA46DE3628  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:35:04]
723*2^1404391-1 is not prime.  Res64: 897CD7804AB82570  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:37:47]
771*2^1404391-1 is not prime.  Res64: D942A7AC34A2AEF9  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:37:47]
859*2^1404391-1 is not prime.  Res64: AE0D3A8E5119D031  Time : 0.0 sec.
user=lalera
[2015-07-27 21:39:02]
993*2^1404391-1 is not prime.  Res64: A8E4A4CBC207E79A  Time : 0.0 sec.
user=lalera
[2015-07-27 21:40:50]
635*2^1404392-1 is not prime.  Res64: A0C2C4205FF8D7C0  Time : 0.0 sec.
user=lalera
[2015-07-27 21:42:33]
725*2^1404392-1 is not prime.  Res64: 73D776461DCE9E1F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:43:33]
735*2^1404392-1 is not prime.  Res64: 1DA6105C9C0B165C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:43:33]
785*2^1404392-1 is not prime.  Res64: F728E84A53D2E8EE  Time : 0.0 sec.
user=lalera
[2015-07-27 21:45:13]
929*2^1404392-1 is not prime.  Res64: 2ECDF6FEF46618FC  Time : 0.0 sec.
user=lalera
[2015-07-27 21:45:16]
957*2^1404392-1 is not prime.  Res64: 4FB19308691681D4  Time : 0.0 sec.
user=lalera
[2015-07-27 21:46:14]
649*2^1404393-1 is not prime.  Res64: F9B8083000CD1BE1  Time : 0.0 sec.
user=lalera
[2015-07-27 21:47:23]
685*2^1404393-1 is not prime.  Res64: 58AA45F04E162B5C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:53:19]
741*2^1404393-1 is not prime.  Res64: B80546075D9FD80F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:53:19]
759*2^1404393-1 is not prime.  Res64: 13C2F5DF91AC4304  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:54:36]
829*2^1404393-1 is not prime.  Res64: 14746664C1234B84  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:54:36]
871*2^1404393-1 is not prime.  Res64: 1B01CD8FBC3F0722  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:56:53]
889*2^1404393-1 is not prime.  Res64: F5EFD79F2AB0D824  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 21:56:54]
635*2^1404394-1 is not prime.  Res64: 3812E6F016D3934E  Time : 0.0 sec.
user=lalera
[2015-07-27 21:59:21]
657*2^1404394-1 is not prime.  Res64: EC1769965AEF5130  Time : 0.0 sec.
user=lalera
[2015-07-27 22:01:10]
675*2^1404394-1 is not prime.  Res64: A8CEBE7DD52ED2FB  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:02:48]
783*2^1404395-1 is not prime.  Res64: F7217932C626FC0C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:02:49]
871*2^1404395-1 is not prime.  Res64: B553A8E119F05008  Time : 0.0 sec.
user=lalera
[2015-07-27 22:02:53]
773*2^1404394-1 is not prime.  Res64: 2EE7EAA4D423AE5C  Time : 0.0 sec.
user=lalera
[2015-07-27 22:05:37]
913*2^1404395-1 is not prime.  Res64: 3DC8476B13E9384A  Time : 0.0 sec.
user=lalera
[2015-07-27 22:05:37]
999*2^1404395-1 is not prime.  Res64: 1255D9AAD09BC4D2  Time : 0.0 sec.
user=lalera
[2015-07-27 22:06:31]
767*2^1404396-1 is not prime.  Res64: EC4DB1D265F60647  Time : 0.0 sec.
user=lalera
[2015-07-27 22:07:40]
843*2^1404396-1 is not prime.  Res64: CB7D77C656B25520  Time : 0.0 sec.
user=lalera
[2015-07-27 22:08:37]
705*2^1404393-1 is not prime.  Res64: 8AD5D589BB9D471A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:12:31]
975*2^1404396-1 is not prime.  Res64: 61BD53B6C25294BE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:12:31]
601*2^1404397-1 is not prime.  Res64: 5189DEFCF890E1AF  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:13:51]
607*2^1404397-1 is not prime.  Res64: 5FCD5A817D9C5584  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:13:51]
625*2^1404397-1 is not prime.  Res64: E6A32ABBE2051564  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:16:05]
645*2^1404397-1 is not prime.  Res64: 50EB15BC989C98B5  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:16:06]
799*2^1404397-1 is not prime.  Res64: 131ADAA9517448B1  Time : 0.0 sec.
user=lalera
[2015-07-27 22:19:42]
801*2^1404397-1 is not prime.  Res64: 974B3A95BBE72D86  Time : 0.0 sec.
user=lalera
[2015-07-27 22:21:27]
805*2^1404397-1 is not prime.  Res64: F89692262D18D8A4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:22:53]
985*2^1404397-1 is not prime.  Res64: 8027D39C41013EFC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:22:53]
635*2^1404398-1 is not prime.  Res64: D73264F9CE00EEE9  Time : 0.0 sec.
user=lalera
[2015-07-27 22:23:30]
945*2^1404397-1 is not prime.  Res64: 49ED6C9E30540F25  Time : 0.0 sec.
user=lalera
[2015-07-27 22:26:27]
665*2^1404398-1 is not prime.  Res64: C6F677DD7789D35E  Time : 0.0 sec.
user=lalera
[2015-07-27 22:26:32]
761*2^1404398-1 is not prime.  Res64: 55D5CBE661571E5A  Time : 0.0 sec.
user=lalera
[2015-07-27 22:26:55]
843*2^1404398-1 is not prime.  Res64: 1B177FCE93ECC263  Time : 0.0 sec.
user=lalera
[2015-07-27 22:28:08]
885*2^1404398-1 is not prime.  Res64: AD696EA3E392EB5D  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:31:43]
741*2^1404399-1 is not prime.  Res64: 36C7542C77888535  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:31:43]
769*2^1404399-1 is not prime.  Res64: 2583D5F994321581  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:32:54]
951*2^1404399-1 is not prime.  Res64: 7B4C1EE752CC1968  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:32:54]
719*2^1404400-1 is not prime.  Res64: 5C7D40D309D84683  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:35:03]
777*2^1404400-1 is not prime.  Res64: 0FB6492EC53F1595  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:35:03]
827*2^1404400-1 is not prime.  Res64: AFF5805ABF3351C3  Time : 0.0 sec.
user=lalera
[2015-07-27 22:37:55]
741*2^1404402-1 is not prime.  Res64: FC787E47E324BB8E  Time : 0.0 sec.
user=lalera
[2015-07-27 22:40:05]
843*2^1404400-1 is not prime.  Res64: D868A4001615DC42  Time : 0.0 sec.
user=lalera
[2015-07-27 22:40:25]
837*2^1404402-1 is not prime.  Res64: A10A77449C0453D4  Time : 0.0 sec.
user=lalera
[2015-07-27 22:41:49]
873*2^1404400-1 is not prime.  Res64: 22D613D0EC4ABC2A  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:41:58]
939*2^1404400-1 is not prime.  Res64: 9B88B3D885951DF3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:41:58]
607*2^1404401-1 is not prime.  Res64: EB3C66EC6F3CF018  Time : 0.0 sec.
user=lalera
[2015-07-27 22:43:51]
769*2^1404401-1 is not prime.  Res64: 19B65FD99B53736A  Time : 0.0 sec.
user=lalera
[2015-07-27 22:46:52]
621*2^1404402-1 is not prime.  Res64: 12C2CCB2802A5318  Time : 0.0 sec.
user=lalera
[2015-07-27 22:46:56]
711*2^1404402-1 is not prime.  Res64: 63D941FB42D17FC6  Time : 0.0 sec.
user=lalera
[2015-07-27 22:47:17]
765*2^1404402-1 is not prime.  Res64: 9AB677BC7F4CF6CD  Time : 0.0 sec.
user=lalera
[2015-07-27 22:48:27]
767*2^1404402-1 is not prime.  Res64: 0677330886205AEB  Time : 0.0 sec.
user=lalera
[2015-07-27 22:49:02]
993*2^1404403-1 is not prime.  Res64: 4400FAF038D72A53  Time : 0.0 sec.
user=lalera
[2015-07-27 22:49:23]
963*2^1404398-1 is not prime.  Res64: 22F3EC45C7F8AE4C  Time : 0.0 sec.
user=lalera
[2015-07-27 22:49:23]
703*2^1404399-1 is not prime.  Res64: 4AB758E307775884  Time : 0.0 sec.
user=lalera
[2015-07-27 22:50:37]
999*2^1404403-1 is not prime.  Res64: 3C5F39B7ADA73F43  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:50:47]
639*2^1404403-1 is not prime.  Res64: FB1AED69230CDE1F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:50:48]
769*2^1404403-1 is not prime.  Res64: 21FBCEA3524CCA82  Time : 0.0 sec.
user=lalera
[2015-07-27 22:51:29]
687*2^1404404-1 is not prime.  Res64: 06648294628D692F  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:51:58]
835*2^1404403-1 is not prime.  Res64: 16FEDE92E7C9319B  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:51:58]
849*2^1404403-1 is not prime.  Res64: 5BAA35429ECC94C0  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:54:03]
871*2^1404403-1 is not prime.  Res64: 138139F42C301315  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 22:54:04]
919*2^1404403-1 is not prime.  Res64: 5CE26108C3DDE136  Time : 0.0 sec.
user=lalera
[2015-07-27 22:58:14]
871*2^1404401-1 is not prime.  Res64: F8E7FD32EE76018B  Time : 0.0 sec.
user=lalera
[2015-07-27 22:58:14]
885*2^1404401-1 is not prime.  Res64: 8C9AB8A48608C395  Time : 0.0 sec.
user=lalera
[2015-07-27 22:58:15]
987*2^1404401-1 is not prime.  Res64: 9C17C8627DDDB034  Time : 0.0 sec.
user=lalera
[2015-07-27 23:00:07]
861*2^1404405-1 is not prime.  Res64: 3981D05F5695C5CF  Time : 0.0 sec.
user=lalera
[2015-07-27 23:00:24]
629*2^1404404-1 is not prime.  Res64: 6FEE35CCD6517EEC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:00:34]
753*2^1404404-1 is not prime.  Res64: 65344148F43F15FC  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:00:35]
869*2^1404404-1 is not prime.  Res64: 2A15C9B3DE179E57  Time : 0.0 sec.
user=lalera
[2015-07-27 23:01:41]
663*2^1404406-1 is not prime.  Res64: F010BD4D95298DCB  Time : 0.0 sec.
user=lalera
[2015-07-27 23:02:08]
743*2^1404404-1 is not prime.  Res64: 7FB53A4F9BEB7006  Time : 0.0 sec.
user=lalera
[2015-07-27 23:02:34]
917*2^1404406-1 is not prime.  Res64: DC7EFE4F252A618F  Time : 0.0 sec.
user=lalera
[2015-07-27 23:04:08]
945*2^1404404-1 is not prime.  Res64: A8ED8D6AF501BC32  Time : 0.0 sec.
user=lalera
[2015-07-27 23:07:07]
993*2^1404404-1 is not prime.  Res64: 045423728DE0492F  Time : 0.0 sec.
user=lalera
[2015-07-27 23:07:08]
609*2^1404405-1 is not prime.  Res64: 4893C41EE3B8932D  Time : 0.0 sec.
user=lalera
[2015-07-27 23:07:29]
787*2^1404405-1 is not prime.  Res64: C18D656EBE38A9CE  Time : 0.0 sec.
user=lalera
[2015-07-27 23:08:40]
795*2^1404405-1 is not prime.  Res64: 1F6430CDE27EB54A  Time : 0.0 sec.
user=lalera
[2015-07-27 23:09:24]
819*2^1404407-1 is not prime.  Res64: 8566E8E8A845667A  Time : 0.0 sec.
user=lalera
[2015-07-27 23:09:43]
961*2^1404405-1 is not prime.  Res64: A9DAEAD8EF20A481  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:10:06]
717*2^1404406-1 is not prime.  Res64: 8E8A339359776FEA  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:10:06]
777*2^1404406-1 is not prime.  Res64: 1311A1E78C4B7BC7  Time : 0.0 sec.
user=lalera
[2015-07-27 23:10:25]
879*2^1404407-1 is not prime.  Res64: 3BB9C319BA7E1D84  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:11:15]
615*2^1404407-1 is not prime.  Res64: 431E0CC7BB7712F3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:11:16]
645*2^1404407-1 is not prime.  Res64: A6F4829854043906  Time : 0.0 sec.
user=lalera
[2015-07-27 23:11:19]
915*2^1404407-1 is not prime.  Res64: FCD47E0C09F8DC97  Time : 0.0 sec.
user=lalera
[2015-07-27 23:12:54]
705*2^1404408-1 is not prime.  Res64: 61B0CF1D76459A07  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:13:28]
685*2^1404407-1 is not prime.  Res64: 5D771922021F9C1C  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:13:28]
693*2^1404407-1 is not prime.  Res64: 7478A10EA806FA73  Time : 0.0 sec.
user=lalera
[2015-07-27 23:13:47]
845*2^1404408-1 is not prime.  Res64: 3C8C45D3BBE9D15D  Time : 0.0 sec.
user=lalera
[2015-07-27 23:20:43]
939*2^1404407-1 is not prime.  Res64: E814F3F994966C24  Time : 0.0 sec.
user=lalera
[2015-07-27 23:21:40]
639*2^1404411-1 is not prime.  Res64: B3B6B36A943A36C9  Time : 0.0 sec.
user=lalera
[2015-07-27 23:22:30]
815*2^1404408-1 is not prime.  Res64: 661FF9EB000EB2AA  Time : 0.0 sec.
user=lalera
[2015-07-27 23:24:41]
879*2^1404408-1 is not prime.  Res64: 40265953B1D1A104  Time : 0.0 sec.
user=lalera
[2015-07-27 23:27:38]
933*2^1404408-1 is not prime.  Res64: BCDF8B575B1D6A7A  Time : 0.0 sec.
user=lalera
[2015-07-27 23:27:39]
905*2^1404408-1 is not prime.  Res64: D02DEB1D79BBEB49  Time : 0.0 sec.
user=lalera
[2015-07-27 23:27:52]
625*2^1404409-1 is not prime.  Res64: 9EB35449FEA79429  Time : 0.0 sec.
user=lalera
[2015-07-27 23:29:01]
721*2^1404409-1 is not prime.  Res64: 9275CA34C8B0608C  Time : 0.0 sec.
user=lalera
[2015-07-27 23:30:12]
741*2^1404410-1 is not prime.  Res64: B88A6B134D118F6E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:32:49]
727*2^1404413-1 is not prime.  Res64: 3E634BC656ED6212  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:32:50]
755*2^1404414-1 is not prime.  Res64: 320D8FB7AA03D0A7  Time : 0.0 sec.
user=lalera
[2015-07-27 23:41:03]
849*2^1404415-1 is not prime.  Res64: F4E216BCD15820B5  Time : 0.0 sec.
user=lalera
[2015-07-27 23:42:54]
925*2^1404415-1 is not prime.  Res64: C80AECD66B7D2EB9  Time : 0.0 sec.
user=lalera
[2015-07-27 23:42:58]
807*2^1404409-1 is not prime.  Res64: 97100F65B5C58383  Time : 0.0 sec.
user=lalera
[2015-07-27 23:42:59]
861*2^1404409-1 is not prime.  Res64: 44C7C09F2B6116E0  Time : 0.0 sec.
user=lalera
[2015-07-27 23:42:59]
633*2^1404410-1 is not prime.  Res64: 9CB79804CFD9B0A4  Time : 0.0 sec.
user=lalera
[2015-07-27 23:44:54]
783*2^1404411-1 is not prime.  Res64: 386DE3243C40B3E4  Time : 0.0 sec.
user=lalera
[2015-07-27 23:44:55]
823*2^1404411-1 is not prime.  Res64: 435A7B0CB1A9C965  Time : 0.0 sec.
user=lalera
[2015-07-27 23:44:56]
979*2^1404411-1 is not prime.  Res64: 818A667FFAD206BB  Time : 0.0 sec.
user=lalera
[2015-07-27 23:45:07]
609*2^1404416-1 is not prime.  Res64: DF9D364CEDFBEE2E  Time : 0.0 sec.
user=lalera
[2015-07-27 23:46:29]
749*2^1404412-1 is not prime.  Res64: 15B6FA25C9BDFF40  Time : 0.0 sec.
user=lalera
[2015-07-27 23:46:30]
929*2^1404412-1 is not prime.  Res64: 2BF8C12CD0A43122  Time : 0.0 sec.
user=lalera
[2015-07-27 23:46:31]
621*2^1404413-1 is not prime.  Res64: 047E3038D0E31B2A  Time : 0.0 sec.
user=lalera
[2015-07-27 23:47:18]
873*2^1404414-1 is not prime.  Res64: E84FE99FFBD5F39A  Time : 0.0 sec.
user=lalera
[2015-07-27 23:47:18]
957*2^1404414-1 is not prime.  Res64: 8E1C4C081AE427F4  Time : 0.0 sec.
user=lalera
[2015-07-27 23:47:19]
649*2^1404415-1 is not prime.  Res64: 5F314E5F232AB6FB  Time : 0.0 sec.
user=lalera
[2015-07-27 23:48:01]
717*2^1404416-1 is not prime.  Res64: AD01986D80A3E64B  Time : 0.0 sec.
user=lalera
[2015-07-27 23:48:01]
645*2^1404416-1 is not prime.  Res64: C46CEB8AF0131729  Time : 0.0 sec.
user=lalera
[2015-07-27 23:48:08]
813*2^1404416-1 is not prime.  Res64: F1F4E31C5670C52E  Time : 0.0 sec.
user=lalera
[2015-07-27 23:49:28]
873*2^1404416-1 is not prime.  Res64: 2B99784CAD708CA8  Time : 0.0 sec.
user=lalera
[2015-07-27 23:50:31]
969*2^1404416-1 is not prime.  Res64: A6E99504DED591A3  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:55:00]
999*2^1404416-1 is not prime.  Res64: 1B10C33C4B4063A4  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:55:00]
607*2^1404417-1 is not prime.  Res64: ED21243FD8B0923B  Time : 0.0 sec.
user=lalera
[2015-07-27 23:55:16]
853*2^1404415-1 is not prime.  Res64: 9ECE0761491C8F65  Time : 0.0 sec.
user=lalera
[2015-07-27 23:55:17]
891*2^1404415-1 is not prime.  Res64: 197000C1DA639678  Time : 0.0 sec.
user=lalera
[2015-07-27 23:55:17]
919*2^1404415-1 is not prime.  Res64: 7C5A8FE23C37852E  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:57:52]
797*2^1404410-1 is not prime.  Res64: FBA527EE0F7778FE  Time : 0.0 sec.
user=mdettweiler
[2015-07-27 23:57:52]
825*2^1404410-1 is not prime.  Res64: 408D93C45CF28B05  Time : 0.0 sec.