user=mdettweiler
[2015-01-28 00:09:16]
815*2^1389762-1 is not prime.  Res64: E313FECA6FB6DD6D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:09:17]
821*2^1389762-1 is not prime.  Res64: DE4B8DD084550001  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:10:36]
903*2^1389762-1 is not prime.  Res64: 3875880343A17B08  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:10:36]
917*2^1389762-1 is not prime.  Res64: A55EA535699F2107  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:26:15]
603*2^1389763-1 is not prime.  Res64: 21117315CA1BA816  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:26:15]
609*2^1389763-1 is not prime.  Res64: 282874761D070F75  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:26:40]
625*2^1389763-1 is not prime.  Res64: 39BC5BFBA0C9C289  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:26:41]
811*2^1389763-1 is not prime.  Res64: 2807697F1AF1A3F2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:36:10]
835*2^1389763-1 is not prime.  Res64: A26BC0C5C2FEDEA0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:36:10]
869*2^1389764-1 is not prime.  Res64: 894850D73B6A053B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:37:25]
627*2^1389765-1 is not prime.  Res64: A57195F87EADCF5A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:37:26]
685*2^1389765-1 is not prime.  Res64: DD24542C47F64AAD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:52:52]
709*2^1389765-1 is not prime.  Res64: 5C3F56F9F9CE1B7C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:52:53]
717*2^1389765-1 is not prime.  Res64: 933F4AE92C0729DB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:53:28]
817*2^1389765-1 is not prime.  Res64: F849CC69A7A7DDD9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 00:53:28]
975*2^1389765-1 is not prime.  Res64: 65E38B6CC855CC9E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:03:04]
979*2^1389765-1 is not prime.  Res64: 9C65D5BA7ADB0837  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:03:06]
773*2^1389766-1 is not prime.  Res64: 8AC3C3ACC3445CF6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:04:06]
801*2^1389766-1 is not prime.  Res64: 6368F6B3C61CF7D0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:04:08]
603*2^1389767-1 is not prime.  Res64: 3E8A5F2735EE35E9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:19:14]
609*2^1389767-1 is not prime.  Res64: 0F0500369397801B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:19:15]
675*2^1389767-1 is not prime.  Res64: B8641A49C3360E88  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:19:52]
693*2^1389767-1 is not prime.  Res64: 971DAA4DE68F2CC5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:19:52]
741*2^1389767-1 is not prime.  Res64: 922087FA585147D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:30:00]
963*2^1389767-1 is not prime.  Res64: 71A7D5AA79D99C00  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:30:00]
981*2^1389767-1 is not prime.  Res64: 3B93E7EA195CC65C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:31:13]
689*2^1389768-1 is not prime.  Res64: 9411E691B4B1FFFA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:31:14]
747*2^1389768-1 is not prime.  Res64: E950D921B45505FD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:46:06]
875*2^1389768-1 is not prime.  Res64: F61B348792E6A2C1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:46:07]
945*2^1389768-1 is not prime.  Res64: F78D46684C242094  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:47:14]
609*2^1389769-1 is not prime.  Res64: FCBA0C2CB6F26D06  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:47:14]
765*2^1389769-1 is not prime.  Res64: 66965D630BD827A2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:57:14]
771*2^1389769-1 is not prime.  Res64: 2361CEEC861F20D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:57:14]
605*2^1389770-1 is not prime.  Res64: 6915E4B674CC755D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:59:35]
641*2^1389770-1 is not prime.  Res64: 496441B6B8C569E3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 01:59:36]
657*2^1389770-1 is not prime.  Res64: C01A73B52CF11F2D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:12:44]
755*2^1389770-1 is not prime.  Res64: 6705E94C7575E697  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:12:44]
783*2^1389770-1 is not prime.  Res64: 429B7BF960FE6462  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:13:49]
833*2^1389770-1 is not prime.  Res64: 1AC4AE64AE97B88F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:13:49]
867*2^1389770-1 is not prime.  Res64: CE31AC2EB615FB7C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:23:06]
885*2^1389770-1 is not prime.  Res64: 61A6FA9BF8A69A81  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:23:07]
609*2^1389771-1 is not prime.  Res64: 42BBE1A31187F354  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:25:24]
735*2^1389771-1 is not prime.  Res64: 86ADD9E82832CA36  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:25:24]
781*2^1389771-1 is not prime.  Res64: C3519227F19B110B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:38:39]
825*2^1389771-1 is not prime.  Res64: 79763D7705D3A6F9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:38:40]
861*2^1389771-1 is not prime.  Res64: F0B3825642441BA0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:39:32]
973*2^1389771-1 is not prime.  Res64: 751E16673F7F1557  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:39:33]
635*2^1389772-1 is not prime.  Res64: 3672002A9BEA7B41  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:48:57]
675*2^1389772-1 is not prime.  Res64: 6406206D9A532CE8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:48:58]
689*2^1389772-1 is not prime.  Res64: D88E0C19849D2115  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:51:08]
695*2^1389772-1 is not prime.  Res64: 7E2B109037D9B643  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 02:51:09]
705*2^1389772-1 is not prime.  Res64: F82D54198F75F386  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:04:56]
857*2^1389772-1 is not prime.  Res64: B7F15EC274DFBD65  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:04:58]
909*2^1389772-1 is not prime.  Res64: 417EAAEBD6C402DF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:06:04]
627*2^1389773-1 is not prime.  Res64: 3EC64F035D5F1CED  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:06:05]
721*2^1389773-1 is not prime.  Res64: A45CF34EB2E107A3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:15:38]
787*2^1389773-1 is not prime.  Res64: 2EA9AE55B03F7AEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:15:38]
801*2^1389773-1 is not prime.  Res64: 0674833733FDFADA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:17:45]
819*2^1389773-1 is not prime.  Res64: DC4A7546B692D039  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:17:45]
925*2^1389773-1 is not prime.  Res64: 8313763B46413C2B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:30:57]
951*2^1389773-1 is not prime.  Res64: 2026B9417ACD3566  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:31:01]
621*2^1389774-1 is not prime.  Res64: A208E123E164BB10  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:31:41]
683*2^1389774-1 is not prime.  Res64: 0D954732D9604B86  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:31:42]
711*2^1389774-1 is not prime.  Res64: 8E5F8493EB5D3ECD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:41:20]
747*2^1389774-1 is not prime.  Res64: F6F5BD1E0CA29696  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:41:21]
791*2^1389774-1 is not prime.  Res64: 0FFE336F73AF701B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:43:22]
875*2^1389774-1 is not prime.  Res64: 6DF45E6DE0709349  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:43:23]
975*2^1389774-1 is not prime.  Res64: 4FC18D20153AB006  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:57:04]
679*2^1389775-1 is not prime.  Res64: 73B2BA4828430F03  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:57:05]
709*2^1389775-1 is not prime.  Res64: F2430AA3D04E3F1E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:57:15]
859*2^1389775-1 is not prime.  Res64: 2A750144CBF550B7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 03:57:15]
913*2^1389775-1 is not prime.  Res64: 3F0CDED9F2912BA2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:07:21]
933*2^1389775-1 is not prime.  Res64: 8E497EA06808AFC2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:07:22]
951*2^1389775-1 is not prime.  Res64: 0ADDC3A7BEF67A36  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:09:03]
663*2^1389776-1 is not prime.  Res64: DB8E8F1B498CAFCC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:09:03]
735*2^1389776-1 is not prime.  Res64: E63E298C068F1EDA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:22:40]
743*2^1389776-1 is not prime.  Res64: EAD6C336F1BDC683  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:22:41]
759*2^1389776-1 is not prime.  Res64: A60300923E1BBDAF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:23:01]
825*2^1389776-1 is not prime.  Res64: E892B430F88359E6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:23:01]
827*2^1389776-1 is not prime.  Res64: D7F59DB8D0264F6D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:33:05]
869*2^1389776-1 is not prime.  Res64: 86F8196365CE307C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:33:06]
999*2^1389776-1 is not prime.  Res64: B8C7FDCDA8234BFF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:34:42]
627*2^1389777-1 is not prime.  Res64: 72979D152DE44045  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:34:43]
685*2^1389777-1 is not prime.  Res64: C7D55888D210D6B1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:48:14]
691*2^1389777-1 is not prime.  Res64: 780E3A6896FD6361  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:48:14]
747*2^1389777-1 is not prime.  Res64: 8613A46F69900CC4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:48:37]
805*2^1389777-1 is not prime.  Res64: 32623E23E62FBDB5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:48:37]
835*2^1389777-1 is not prime.  Res64: A297B482AB87CD59  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:58:48]
837*2^1389777-1 is not prime.  Res64: 526294BD0FF84DD9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 04:58:48]
847*2^1389777-1 is not prime.  Res64: 31FC86BD5C1A0574  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:00:18]
889*2^1389777-1 is not prime.  Res64: 28D772618DFCEF24  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:00:19]
895*2^1389777-1 is not prime.  Res64: 2D04E8F6434C1665  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:13:51]
611*2^1389778-1 is not prime.  Res64: 8A898F700D2669B6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:13:51]
663*2^1389778-1 is not prime.  Res64: 0C7BD30C265341D2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:14:13]
695*2^1389778-1 is not prime.  Res64: ABA02D0B739722CD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:14:13]
743*2^1389778-1 is not prime.  Res64: 8E52466D6F607EAF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:24:29]
801*2^1389778-1 is not prime.  Res64: 22B5DD1662753408  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:24:29]
815*2^1389778-1 is not prime.  Res64: FFA47E1DD125F697  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:25:50]
825*2^1389778-1 is not prime.  Res64: BA7DFAD8FFCE69F5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:25:51]
861*2^1389778-1 is not prime.  Res64: 22CA4A9FB82F42CC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:39:33]
867*2^1389778-1 is not prime.  Res64: 4777682A8AAA5CD4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:39:34]
995*2^1389778-1 is not prime.  Res64: A624CA6BE129694D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:39:44]
735*2^1389779-1 is not prime.  Res64: C59FBAEE57F9E7FD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:39:45]
855*2^1389779-1 is not prime.  Res64: D8DD05B9943C32A5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:50:07]
885*2^1389779-1 is not prime.  Res64: 0D0D720E14934354  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:50:07]
949*2^1389779-1 is not prime.  Res64: 170F4EEECABEB8F0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:51:20]
993*2^1389779-1 is not prime.  Res64: 3A4BD45B6A6B4425  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 05:51:20]
615*2^1389780-1 is not prime.  Res64: 6DEF48DF3BA274A0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:05:06]
627*2^1389780-1 is not prime.  Res64: 55981896C07FA212  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:05:09]
669*2^1389780-1 is not prime.  Res64: 539B41594479E97C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:05:21]
803*2^1389780-1 is not prime.  Res64: B03D4487832D4206  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:05:21]
825*2^1389780-1 is not prime.  Res64: DA505558F8DCABB9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:15:46]
857*2^1389780-1 is not prime.  Res64: AC27D6BF5CE302B7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:15:47]
879*2^1389780-1 is not prime.  Res64: 87D033F789F65B13  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:16:53]
893*2^1389780-1 is not prime.  Res64: D232B6103FE00A89  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:16:54]
935*2^1389780-1 is not prime.  Res64: D3FF843481ABCE70  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:30:49]
945*2^1389780-1 is not prime.  Res64: 06CB6D29CBC0CD7F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:30:49]
957*2^1389780-1 is not prime.  Res64: 5E229DCB57EF94E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:30:54]
615*2^1389781-1 is not prime.  Res64: 225AA3ACA24F254A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:30:54]
645*2^1389781-1 is not prime.  Res64: A92D5147C9850D0C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:41:24]
811*2^1389781-1 is not prime.  Res64: 3B7DCAFEDD28864E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:41:24]
939*2^1389781-1 is not prime.  Res64: 697009A08E868EAB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:42:26]
665*2^1389782-1 is not prime.  Res64: 5515742BEE0B161F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:42:27]
797*2^1389782-1 is not prime.  Res64: 107520D43C7D0F23  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:56:21]
1001*2^1389782-1 is not prime.  Res64: 07A643822DC79F8E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:56:22]
613*2^1389783-1 is not prime.  Res64: 3F5E9026C604AD61  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:56:26]
693*2^1389783-1 is not prime.  Res64: C0672AE7C6AAAA7F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 06:56:26]
709*2^1389783-1 is not prime.  Res64: 4F51372B39C1D61B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:06:55]
723*2^1389783-1 is not prime.  Res64: 7092A6251BD274D4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:06:56]
739*2^1389783-1 is not prime.  Res64: DCCE44DD78AA6953  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:07:58]
805*2^1389783-1 is not prime.  Res64: C7199BA8BB969250  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:07:58]
873*2^1389783-1 is not prime.  Res64: B5B937CA1E83F0B1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:21:52]
891*2^1389783-1 is not prime.  Res64: 803F6EE7D44F269E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:21:53]
825*2^1389784-1 is not prime.  Res64: 9923648D415629FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:21:56]
843*2^1389784-1 is not prime.  Res64: 92A8A1B3123AA01E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:21:57]
715*2^1389785-1 is not prime.  Res64: CC9EBA7D60C92B63  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:32:31]
721*2^1389785-1 is not prime.  Res64: A500F4D456F9E3E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:32:31]
865*2^1389785-1 is not prime.  Res64: 20D28957097FEE91  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:33:28]
897*2^1389785-1 is not prime.  Res64: 390BB5EEE78330C0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:33:29]
951*2^1389785-1 is not prime.  Res64: C380BE6BB94232FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:47:37]
683*2^1389786-1 is not prime.  Res64: 87DA57F0AE5EA21D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:47:37]
713*2^1389786-1 is not prime.  Res64: 5A361FEDE4AEF80B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:47:39]
747*2^1389786-1 is not prime.  Res64: 7556F99C5AE7DF4B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:47:39]
783*2^1389786-1 is not prime.  Res64: 10E64EB2FC75E1E6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:58:03]
821*2^1389786-1 is not prime.  Res64: E818D3790A237651  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:58:03]
837*2^1389786-1 is not prime.  Res64: 874624487F49361B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:58:58]
963*2^1389786-1 is not prime.  Res64: BDEE7F1C10C655B4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 07:58:58]
649*2^1389787-1 is not prime.  Res64: 7FFE89FABE3B0BE2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:13:08]
741*2^1389787-1 is not prime.  Res64: 3E36CE21E5D3081A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:13:09]
843*2^1389787-1 is not prime.  Res64: 87E8950C882B6DD1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:13:14]
675*2^1389787-1 is not prime.  Res64: 97D7E54D79D171CB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:13:14]
733*2^1389787-1 is not prime.  Res64: A26B5171C44297F1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:23:40]
985*2^1389787-1 is not prime.  Res64: 4731A3E335FA8ADD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:23:40]
825*2^1389788-1 is not prime.  Res64: E5E72DDC93F6806F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:24:25]
827*2^1389788-1 is not prime.  Res64: 4CA8BF00AD4AEC6A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:24:25]
923*2^1389788-1 is not prime.  Res64: D41850B8B9B85FA8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:38:40]
927*2^1389788-1 is not prime.  Res64: E32E824D1EAF52BC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:38:40]
999*2^1389788-1 is not prime.  Res64: 1F8FF8B593AE6CF5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:38:45]
609*2^1389789-1 is not prime.  Res64: 338A50F6C669B29D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:38:45]
621*2^1389789-1 is not prime.  Res64: 616F381894E6AA50  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:49:08]
679*2^1389789-1 is not prime.  Res64: 18CEE2919EC5A8CA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:49:09]
741*2^1389789-1 is not prime.  Res64: 37E25AC932F2DEF8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:49:52]
781*2^1389789-1 is not prime.  Res64: D235CDAC359E99E7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 08:49:52]
789*2^1389789-1 is not prime.  Res64: C5FE70BA6BFD3B3C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:04:09]
999*2^1389789-1 is not prime.  Res64: 0AD6A5DEE2A24689  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:04:11]
665*2^1389790-1 is not prime.  Res64: DC7705109C54317F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:04:14]
671*2^1389790-1 is not prime.  Res64: 4BF19F48FF8B48F8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:04:15]
675*2^1389790-1 is not prime.  Res64: 9CA09E3D650D72E7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:14:37]
687*2^1389790-1 is not prime.  Res64: BC583C3AC0922EAC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:14:38]
723*2^1389790-1 is not prime.  Res64: 1CDC53A4849574A2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:15:19]
741*2^1389790-1 is not prime.  Res64: 89E1E2049320EF07  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:15:19]
761*2^1389790-1 is not prime.  Res64: B0FB031079C43DD6  Time : 0.0 sec.
user=juhehe
[2015-01-28 09:15:45]
847*2^1389789-1 is not prime.  Res64: 0CB08588C3C81EA3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:30:06]
777*2^1389790-1 is not prime.  Res64: FB8A94702F754892  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:30:07]
765*2^1389790-1 is not prime.  Res64: 6F6B3D181CFBCECB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:30:07]
827*2^1389790-1 is not prime.  Res64: AF0923E28AB9B397  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:30:07]
801*2^1389790-1 is not prime.  Res64: 4B8BA078E3FCF585  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:40:12]
887*2^1389790-1 is not prime.  Res64: C0CC2D63316FE4F2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:40:12]
933*2^1389790-1 is not prime.  Res64: 0BE39CA6E8B4C1F5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:40:55]
945*2^1389790-1 is not prime.  Res64: 9D396301484232C9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:40:55]
609*2^1389791-1 is not prime.  Res64: 8D1F6A6247252481  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:55:39]
673*2^1389791-1 is not prime.  Res64: 65FF67E4F0682F58  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:55:39]
759*2^1389791-1 is not prime.  Res64: CEFB38DE3C63E6E7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:55:41]
781*2^1389791-1 is not prime.  Res64: 8C7F0A05163E06CF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 09:55:42]
623*2^1389792-1 is not prime.  Res64: A71DDE251AE84633  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:05:40]
689*2^1389792-1 is not prime.  Res64: 0623A9EA96C8797A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:05:40]
693*2^1389792-1 is not prime.  Res64: 0879BFEDC45EF321  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:06:33]
695*2^1389792-1 is not prime.  Res64: FB50D380941734AA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:06:34]
875*2^1389792-1 is not prime.  Res64: EC596CD551D38DEC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:21:15]
609*2^1389793-1 is not prime.  Res64: FAA690C5496CC28D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:21:15]
675*2^1389793-1 is not prime.  Res64: 73959CBAE1B1835D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:21:16]
619*2^1389793-1 is not prime.  Res64: 3E928081780E88A0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:21:16]
741*2^1389793-1 is not prime.  Res64: 5FA056B13B5CA173  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:31:18]
877*2^1389793-1 is not prime.  Res64: 4811FB2E7F3AF167  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:31:18]
999*2^1389793-1 is not prime.  Res64: C29B78C9C7D04E72  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:32:02]
645*2^1389794-1 is not prime.  Res64: 3837E1768A2ACCD8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:32:02]
651*2^1389794-1 is not prime.  Res64: 5908ED68CFBAC2F9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:46:52]
743*2^1389794-1 is not prime.  Res64: 2D721D8FDF05984D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:46:52]
851*2^1389794-1 is not prime.  Res64: EDEC33BEAB8994CA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:46:54]
935*2^1389794-1 is not prime.  Res64: F2E7F4A822FAAE29  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:46:54]
987*2^1389794-1 is not prime.  Res64: 4328E65585447A1C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:56:56]
649*2^1389795-1 is not prime.  Res64: 5D5DE7D34C8F34D6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:56:57]
675*2^1389795-1 is not prime.  Res64: 1574284E25349358  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:57:34]
789*2^1389795-1 is not prime.  Res64: 3DB5BC15371E6E0A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 10:57:34]
885*2^1389795-1 is not prime.  Res64: 75C4AADBE488E73C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:12:23]
979*2^1389795-1 is not prime.  Res64: 7D6BC7CD388283BE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:12:23]
985*2^1389795-1 is not prime.  Res64: F563849C77F7B8E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:12:31]
909*2^1389795-1 is not prime.  Res64: 5AFB216D9D0E3B3E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:12:32]
949*2^1389795-1 is not prime.  Res64: B9EB5F9788DAE1E0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:22:27]
629*2^1389796-1 is not prime.  Res64: 0675D6690154FCA6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:22:27]
677*2^1389796-1 is not prime.  Res64: 7F3DF7DE2CDD14BE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:23:19]
887*2^1389796-1 is not prime.  Res64: 46B8F6273752C2A9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:23:19]
699*2^1389797-1 is not prime.  Res64: 66A40B275CFF7E6D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:37:55]
717*2^1389797-1 is not prime.  Res64: 3A56A378721F02FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:37:56]
747*2^1389797-1 is not prime.  Res64: D30A3705CD546F26  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:38:07]
771*2^1389797-1 is not prime.  Res64: C6192003550A2F33  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:38:08]
611*2^1389798-1 is not prime.  Res64: E8B2DCF465C3FB3E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:48:04]
627*2^1389798-1 is not prime.  Res64: BBB6BD869A39319F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:48:05]
671*2^1389798-1 is not prime.  Res64: 54470F1A7D23054C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:48:50]
765*2^1389798-1 is not prime.  Res64: 9F9BCDFB60645028  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 11:48:50]
777*2^1389798-1 is not prime.  Res64: 5E632D5B726AEEA3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:03:30]
843*2^1389798-1 is not prime.  Res64: BF0374E7ECC2F78B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:03:31]
891*2^1389798-1 is not prime.  Res64: 605B51C7BBD346D1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:03:45]
993*2^1389798-1 is not prime.  Res64: 6FB47DA9DF0783D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:03:46]
601*2^1389799-1 is not prime.  Res64: D425C84A7620C291  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:13:52]
661*2^1389799-1 is not prime.  Res64: 4CEB68B880D35B25  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:13:52]
735*2^1389799-1 is not prime.  Res64: 345A5C40A461C2F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:14:41]
843*2^1389799-1 is not prime.  Res64: 234B815BFDC46D04  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:14:41]
925*2^1389799-1 is not prime.  Res64: EF88B4BDD19C29F8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:36:10]
663*2^1389800-1 is not prime.  Res64: 8D9485AD3E1F268E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:36:10]
795*2^1389800-1 is not prime.  Res64: CFEEAF6DD7D12908  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:37:31]
999*2^1389799-1 is not prime.  Res64: 766CC49321C4F289  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:37:31]
609*2^1389800-1 is not prime.  Res64: B1E7E06000E48F2D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:48:28]
927*2^1389800-1 is not prime.  Res64: AC2E7310497E6F84  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:48:28]
977*2^1389800-1 is not prime.  Res64: 4D1108A2A5A8AD93  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:49:17]
685*2^1389801-1 is not prime.  Res64: A6D7D6461C50E1E0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 12:49:17]
691*2^1389801-1 is not prime.  Res64: 950269AFCA3753D0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:03:33]
807*2^1389801-1 is not prime.  Res64: 38B9E1C185C63996  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:03:33]
681*2^1389802-1 is not prime.  Res64: A8D56283CE64958B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:04:22]
695*2^1389802-1 is not prime.  Res64: AD939BE88B7DB389  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:04:23]
701*2^1389802-1 is not prime.  Res64: D872A52147D7C966  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:14:54]
777*2^1389802-1 is not prime.  Res64: BCED66E8F388BFC3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:14:55]
801*2^1389802-1 is not prime.  Res64: DCFF2FDFD6339899  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:15:23]
825*2^1389802-1 is not prime.  Res64: 99010830AF145E17  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:15:23]
891*2^1389802-1 is not prime.  Res64: 241B7E54CED5F413  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:29:26]
987*2^1389802-1 is not prime.  Res64: 41B1C05315F4610C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:29:26]
693*2^1389803-1 is not prime.  Res64: 7A1152CE401C3C6F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:30:24]
753*2^1389803-1 is not prime.  Res64: BB1D9EA7AA4C2005  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:30:24]
783*2^1389803-1 is not prime.  Res64: 51EF32144C62F5D2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:40:50]
789*2^1389803-1 is not prime.  Res64: 2CC4272D00C45A27  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:40:50]
943*2^1389803-1 is not prime.  Res64: 0810AA304657271B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:41:10]
663*2^1389804-1 is not prime.  Res64: AB0365DD4C1AE38E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:41:10]
675*2^1389804-1 is not prime.  Res64: C68561DA5202A279  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:55:12]
693*2^1389804-1 is not prime.  Res64: 409A855FC37846CE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:55:12]
753*2^1389804-1 is not prime.  Res64: 1F7293342BC5E714  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:56:05]
927*2^1389804-1 is not prime.  Res64: 3FF87F1E8B9BC236  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 13:56:06]
945*2^1389804-1 is not prime.  Res64: E4F31B4D0546A71C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:06:33]
975*2^1389804-1 is not prime.  Res64: 69D571330E7B060A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:06:33]
607*2^1389805-1 is not prime.  Res64: 8A79A0622DAEE4C1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:06:51]
741*2^1389805-1 is not prime.  Res64: C3AD9E213B8FA7BC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:06:51]
861*2^1389805-1 is not prime.  Res64: 731FB567C538508C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:20:50]
919*2^1389805-1 is not prime.  Res64: CAFF3F9109727B1A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:20:50]
641*2^1389806-1 is not prime.  Res64: 151469EC44F1F433  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:21:49]
651*2^1389806-1 is not prime.  Res64: 4ADAC1217405F07B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:21:49]
657*2^1389806-1 is not prime.  Res64: A4E4B3A4CEDBAF7B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:32:15]
705*2^1389806-1 is not prime.  Res64: 0D63197F45AD7017  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:32:16]
711*2^1389806-1 is not prime.  Res64: A6F4464BF54176B7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:32:28]
773*2^1389806-1 is not prime.  Res64: 677DC5928F972B4E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:32:28]
825*2^1389806-1 is not prime.  Res64: D8688D14AA761057  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:46:35]
857*2^1389806-1 is not prime.  Res64: 204DD40C9AF6F131  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:46:36]
917*2^1389806-1 is not prime.  Res64: AA9B0B76DA45E28D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:47:34]
965*2^1389806-1 is not prime.  Res64: C29C94AD5AA52123  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:47:34]
711*2^1389807-1 is not prime.  Res64: 83E32950CA5E170A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:57:58]
735*2^1389807-1 is not prime.  Res64: 3B5E765D77BFAD04  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:57:58]
805*2^1389807-1 is not prime.  Res64: A9278E33A4A8CB7A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:58:13]
859*2^1389807-1 is not prime.  Res64: F55456D48B9EF050  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 14:58:13]
861*2^1389807-1 is not prime.  Res64: 5480DD858AC22E24  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:12:52]
963*2^1389807-1 is not prime.  Res64: 24AFAAF61AEC653C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:12:52]
723*2^1389808-1 is not prime.  Res64: 339F89BCBEA5DAE6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:13:52]
729*2^1389808-1 is not prime.  Res64: 0B74D349365338E4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:13:53]
803*2^1389808-1 is not prime.  Res64: E64DAA8739F04BEB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:24:19]
839*2^1389808-1 is not prime.  Res64: 163F94B4ECCDFA7B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:24:19]
619*2^1389809-1 is not prime.  Res64: 296CBE6A8BA1B38E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:24:36]
697*2^1389809-1 is not prime.  Res64: A8FE0727B55C06C0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:24:36]
729*2^1389809-1 is not prime.  Res64: 41F215E2AE0BA07D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:38:49]
847*2^1389809-1 is not prime.  Res64: 4CE45AB37F4246CD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:38:49]
867*2^1389809-1 is not prime.  Res64: C3E9AD9C1DEA09E0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:39:35]
909*2^1389809-1 is not prime.  Res64: A7D6D1A8AA288A7C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:39:35]
997*2^1389809-1 is not prime.  Res64: 704DE58C0F0A7662  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:50:04]
647*2^1389810-1 is not prime.  Res64: 8201EA9353555F31  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:50:05]
875*2^1389810-1 is not prime.  Res64: 3CA9BA56DCD87213  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:50:17]
893*2^1389810-1 is not prime.  Res64: 0630D58AF34B4E0D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 15:50:18]
927*2^1389810-1 is not prime.  Res64: 4864E1A01104277C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:04:30]
631*2^1389811-1 is not prime.  Res64: 8EC8B9BC6A322107  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:04:31]
693*2^1389811-1 is not prime.  Res64: 11F82E5265E71941  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:05:10]
705*2^1389811-1 is not prime.  Res64: DF18FDA656F938B3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:05:12]
741*2^1389811-1 is not prime.  Res64: E51E7E20B2EE5051  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:15:47]
745*2^1389811-1 is not prime.  Res64: 565AD778BA01B03B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:15:48]
759*2^1389811-1 is not prime.  Res64: AAB67FB3ECE89A71  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:15:55]
771*2^1389811-1 is not prime.  Res64: CA8301E6619CC433  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:15:55]
775*2^1389811-1 is not prime.  Res64: BAD912122CD360C4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:30:33]
793*2^1389811-1 is not prime.  Res64: DE10CAE353C025AA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:30:34]
895*2^1389811-1 is not prime.  Res64: 0A59E88F5A5C7BF8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:31:00]
969*2^1389811-1 is not prime.  Res64: B989465AE62A5698  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:31:00]
617*2^1389812-1 is not prime.  Res64: 865ACABCE8E893DB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:41:32]
675*2^1389812-1 is not prime.  Res64: 0DE475AA083A3329  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:41:33]
725*2^1389812-1 is not prime.  Res64: CC8F202DD6BCD301  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:41:43]
743*2^1389812-1 is not prime.  Res64: 1D2E0CD51BFF9839  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:41:43]
767*2^1389812-1 is not prime.  Res64: B00951EFF26A2C9C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:56:25]
785*2^1389812-1 is not prime.  Res64: 39A9BA145BCBFA03  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:56:25]
879*2^1389812-1 is not prime.  Res64: 2BDC7C706966B748  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:56:54]
885*2^1389812-1 is not prime.  Res64: 9742060FA03753F3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 16:56:54]
983*2^1389812-1 is not prime.  Res64: 36394D78C2E3CC5D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:07:46]
999*2^1389812-1 is not prime.  Res64: AFB4745E19112CB0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:07:47]
621*2^1389813-1 is not prime.  Res64: F5912DAC321AB550  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:07:52]
747*2^1389813-1 is not prime.  Res64: 53B4C135F2B74FD7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:07:52]
837*2^1389813-1 is not prime.  Res64: 4478679A813825EE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:22:53]
885*2^1389813-1 is not prime.  Res64: FC7C044CDA6F4FD9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:22:53]
987*2^1389813-1 is not prime.  Res64: 343456120A823699  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:23:25]
623*2^1389814-1 is not prime.  Res64: DF1B353854AD6009  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:23:25]
651*2^1389814-1 is not prime.  Res64: 1B677BAE2454D102  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:36:39]
665*2^1389814-1 is not prime.  Res64: 1C375686D4B9ACD0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:36:40]
695*2^1389814-1 is not prime.  Res64: 2D017504755D960E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:37:46]
731*2^1389814-1 is not prime.  Res64: 2FFAA1B4AD085B26  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 17:37:47]
747*2^1389814-1 is not prime.  Res64: 49DF303DA5AF5297  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:00:58]
823*2^1389815-1 is not prime.  Res64: 52F1062CFC2EED6B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:00:58]
831*2^1389815-1 is not prime.  Res64: E550C824D9CA84DB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:02:19]
755*2^1389814-1 is not prime.  Res64: 415B624D3BCA0B4D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:02:20]
721*2^1389815-1 is not prime.  Res64: 49E7A6D1E298A599  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:13:18]
693*2^1389816-1 is not prime.  Res64: EBC72858C800BE8C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:13:19]
707*2^1389816-1 is not prime.  Res64: EE4048EA1E02FB67  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:13:34]
981*2^1389815-1 is not prime.  Res64: 7098F0AD2F6FA4BD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:13:34]
999*2^1389815-1 is not prime.  Res64: 9E956D006872F109  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:27:45]
767*2^1389816-1 is not prime.  Res64: 1E28C8EAC0DA26CB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:27:46]
843*2^1389816-1 is not prime.  Res64: 96A47EDAE41B0578  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:29:02]
923*2^1389816-1 is not prime.  Res64: 16B1DF3FB35084F5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:29:02]
993*2^1389816-1 is not prime.  Res64: 78199F915B10C5BF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:39:58]
615*2^1389817-1 is not prime.  Res64: 318D9508354C5FC4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:39:59]
651*2^1389817-1 is not prime.  Res64: 727A9B32C8E7BAF0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:40:01]
729*2^1389817-1 is not prime.  Res64: 5872322AA2F9EFD5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:40:02]
771*2^1389817-1 is not prime.  Res64: 962471903305B4F3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:54:13]
603*2^1389818-1 is not prime.  Res64: 624A2FEC2CF6BFB1  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:54:14]
753*2^1389818-1 is not prime.  Res64: 19190FC192516714  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:55:32]
885*2^1389818-1 is not prime.  Res64: A5BE44506BB9C45B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 18:55:33]
613*2^1389819-1 is not prime.  Res64: 9123CAF0F48AEAED  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:06:23]
919*2^1389819-1 is not prime.  Res64: 6DC0B055DAD318AB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:06:23]
603*2^1389820-1 is not prime.  Res64: 1CBF166873A47549  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:06:38]
769*2^1389819-1 is not prime.  Res64: 9BC75BD022EC23E3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:06:38]
873*2^1389819-1 is not prime.  Res64: FE910299AF76E413  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:20:40]
675*2^1389820-1 is not prime.  Res64: 0C9CFEB2986E5BBE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:20:40]
677*2^1389820-1 is not prime.  Res64: 2890AF16EE0F3D7A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:21:55]
743*2^1389820-1 is not prime.  Res64: 6ABCDA1A10D06ED8  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:21:56]
833*2^1389820-1 is not prime.  Res64: 1F040F3C6EAB99D0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:32:37]
843*2^1389820-1 is not prime.  Res64: 8643E19E179E5C9B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:32:37]
915*2^1389820-1 is not prime.  Res64: 5434D48B90F7FB5D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:32:53]
929*2^1389820-1 is not prime.  Res64: 848F5078E3FF350B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:32:53]
987*2^1389820-1 is not prime.  Res64: 66404004ECA6AD89  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:46:39]
685*2^1389821-1 is not prime.  Res64: CC52C9A05F6DC8C6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:46:40]
717*2^1389821-1 is not prime.  Res64: 10ADC39071B6E972  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:47:45]
871*2^1389821-1 is not prime.  Res64: 7DB350123E042943  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:47:45]
885*2^1389821-1 is not prime.  Res64: ACC8147226D1CA11  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:58:27]
671*2^1389822-1 is not prime.  Res64: 144E4E6371299E52  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:58:28]
767*2^1389822-1 is not prime.  Res64: 4BBAB5753BD9E8B7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:58:43]
893*2^1389822-1 is not prime.  Res64: 9B6E276D292AC439  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 19:58:43]
975*2^1389822-1 is not prime.  Res64: 3BB3C23A6A30BF70  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:12:26]
609*2^1389823-1 is not prime.  Res64: 6A148A640246A47E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:12:26]
663*2^1389823-1 is not prime.  Res64: 0F13E37EDB8DFCBF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:13:28]
789*2^1389823-1 is not prime.  Res64: 0C1716B3BA6B5C2C  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:13:28]
859*2^1389823-1 is not prime.  Res64: F0C728918ECF1A7E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:24:20]
993*2^1389823-1 is not prime.  Res64: 26E99F17403A5475  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:24:20]
665*2^1389824-1 is not prime.  Res64: 74CB641D6FB81EAD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:24:45]
857*2^1389824-1 is not prime.  Res64: 79B85227E4298D84  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:24:46]
869*2^1389824-1 is not prime.  Res64: 1026E51CE6351857  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:40:00]
909*2^1389824-1 is not prime.  Res64: 7B143AC15FDD80C9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:40:01]
649*2^1389825-1 is not prime.  Res64: 189DF35E3C54FFB7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:41:02]
979*2^1389825-1 is not prime.  Res64: BF1FD24AEA935834  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:41:02]
633*2^1389826-1 is not prime.  Res64: FC04984F617F31ED  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:53:38]
747*2^1389826-1 is not prime.  Res64: 693E832A5CC96D68  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:53:38]
783*2^1389826-1 is not prime.  Res64: 8C90A0C79E8757DD  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:53:43]
675*2^1389826-1 is not prime.  Res64: 1BEA7053394C655F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 20:53:43]
713*2^1389826-1 is not prime.  Res64: 3F7A2FE4E1A69D60  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:10:11]
833*2^1389826-1 is not prime.  Res64: BB9A35343ED1A096  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:10:11]
867*2^1389826-1 is not prime.  Res64: CBD785F2A549F368  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:11:37]
1001*2^1389826-1 is not prime.  Res64: 43D442A6AB52C140  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:11:37]
619*2^1389827-1 is not prime.  Res64: ADF6EC21DD055824  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:24:35]
825*2^1389827-1 is not prime.  Res64: C3AA340D9FC38594  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:24:35]
841*2^1389827-1 is not prime.  Res64: A49B3F1A5FBA863B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:25:11]
759*2^1389827-1 is not prime.  Res64: C9C513D1C0C2A39F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:25:11]
775*2^1389827-1 is not prime.  Res64: 710AFB836870AAC3  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:41:30]
963*2^1389827-1 is not prime.  Res64: 147949269D36F628  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:41:30]
707*2^1389828-1 is not prime.  Res64: 87C26C1E6F1888F2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:42:55]
777*2^1389828-1 is not prime.  Res64: 724A6B0C0D18E21D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:42:55]
825*2^1389828-1 is not prime.  Res64: CC2084395DC78CAE  Time : 0.0 sec.
user=juhehe
[2015-01-28 21:43:23]
901*2^1389827-1 is not prime.  Res64: 8847EBB42AEE7C09  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:55:41]
625*2^1389829-1 is not prime.  Res64: 710865F27A03DB55  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:55:41]
639*2^1389829-1 is not prime.  Res64: B4FA0B42304A0AF5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:56:19]
741*2^1389829-1 is not prime.  Res64: 016A5F54B2FEF749  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 21:56:20]
675*2^1389830-1 is not prime.  Res64: 903C967E1FA4CB12  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:12:10]
707*2^1389830-1 is not prime.  Res64: 5019ECE02253D360  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:12:10]
711*2^1389830-1 is not prime.  Res64: 45CB6DFAC57057DF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:13:06]
801*2^1389830-1 is not prime.  Res64: 772F2AC6DB2F1B21  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:13:06]
831*2^1389830-1 is not prime.  Res64: 6E80002F6ECC2934  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:25:48]
829*2^1389831-1 is not prime.  Res64: DB94621BF6A1B4B2  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:25:48]
861*2^1389831-1 is not prime.  Res64: C63B0666495760A6  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:25:50]
987*2^1389830-1 is not prime.  Res64: B690D66789A4ED53  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:25:50]
685*2^1389831-1 is not prime.  Res64: 79B04361E2ADED45  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:40:46]
955*2^1389831-1 is not prime.  Res64: 9EB05F79C31F6AE0  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:40:47]
605*2^1389832-1 is not prime.  Res64: B143D917E277C5D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:41:18]
689*2^1389832-1 is not prime.  Res64: 45782E4D7B5B0FEB  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:41:18]
855*2^1389832-1 is not prime.  Res64: C4CAB62E57D569DF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:52:38]
875*2^1389832-1 is not prime.  Res64: 7DC0C4ACEFCDEF7A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:52:39]
899*2^1389832-1 is not prime.  Res64: 5BB6CC73A3F08180  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:52:39]
909*2^1389832-1 is not prime.  Res64: 304488FAFC5B69A7  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 22:52:39]
697*2^1389833-1 is not prime.  Res64: 60A2824778B9F9AC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:06:30]
721*2^1389833-1 is not prime.  Res64: 74DAE4ED67A53D8E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:06:31]
759*2^1389833-1 is not prime.  Res64: 1C57D84C470FBD0B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:06:55]
861*2^1389833-1 is not prime.  Res64: 9AC3B4312EE6A62B  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:06:56]
871*2^1389833-1 is not prime.  Res64: 8E91A4C652BEB98A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:18:16]
957*2^1389833-1 is not prime.  Res64: C8719880B5FC84C4  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:18:16]
773*2^1389834-1 is not prime.  Res64: 31D2F0D36C6EE81F  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:18:19]
783*2^1389834-1 is not prime.  Res64: 546865FF619C5772  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:18:19]
807*2^1389834-1 is not prime.  Res64: 4F10C5029BC345A5  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:32:07]
851*2^1389834-1 is not prime.  Res64: 1840D7B7A4210317  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:32:08]
915*2^1389834-1 is not prime.  Res64: 469BD51AB9D2EA3E  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:32:33]
947*2^1389834-1 is not prime.  Res64: 4518DBAFB3530CDA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:32:34]
1001*2^1389834-1 is not prime.  Res64: 4C1BFE538E077FEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:43:46]
645*2^1389835-1 is not prime.  Res64: A02A0A71A1805F3D  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:43:47]
783*2^1389835-1 is not prime.  Res64: F85160E6178B6F6A  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:43:48]
883*2^1389835-1 is not prime.  Res64: E2111FE375C933AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:43:48]
885*2^1389835-1 is not prime.  Res64: 173FEE7CBB3BB5CE  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:57:39]
609*2^1389836-1 is not prime.  Res64: 31AD0A1BB17669FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:57:39]
623*2^1389836-1 is not prime.  Res64: 9DA47EBB6DCCA623  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:58:07]
677*2^1389836-1 is not prime.  Res64: CBE773D859699616  Time : 0.0 sec.
user=mdettweiler
[2015-01-28 23:58:07]
699*2^1389836-1 is not prime.  Res64: D2BCC7FAA6D7763F  Time : 0.0 sec.