user=mdettweiler
[2015-02-28 00:03:46]
805*2^1391995-1 is not prime.  Res64: 24494470453E05B2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:03:47]
843*2^1391995-1 is not prime.  Res64: 8BA800E5AD889752  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:05:47]
855*2^1391995-1 is not prime.  Res64: F0222DB373066928  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:05:47]
895*2^1391995-1 is not prime.  Res64: 402756DC157B767E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:21:10]
969*2^1391995-1 is not prime.  Res64: FF44F411DDF999E8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:21:11]
669*2^1391996-1 is not prime.  Res64: 79D5DA065DB5F4BA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:21:18]
717*2^1391996-1 is not prime.  Res64: 463AEE3C267FE5D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:21:19]
855*2^1391996-1 is not prime.  Res64: AA7774F13A9460E8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:30:24]
875*2^1391996-1 is not prime.  Res64: B3B534B9A1B5515E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:30:24]
963*2^1391996-1 is not prime.  Res64: 828E6BDC4A781E9C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:31:53]
625*2^1391997-1 is not prime.  Res64: 58C70B7F37128D47  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:31:53]
825*2^1391997-1 is not prime.  Res64: F2ED0F7E14CC70E4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:47:14]
885*2^1391997-1 is not prime.  Res64: B3EC03FB0AB8DB65  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:47:14]
901*2^1391997-1 is not prime.  Res64: 6873127402931A93  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:47:21]
955*2^1391997-1 is not prime.  Res64: 5E89D3E14B14EEE5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:47:21]
991*2^1391997-1 is not prime.  Res64: E14EF7944652ECC2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:56:25]
621*2^1391998-1 is not prime.  Res64: 6E75F2FB9A63C8D8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:56:25]
665*2^1391998-1 is not prime.  Res64: 8189D6FF013E65B2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:57:56]
863*2^1391998-1 is not prime.  Res64: 4ABDE2B8BFCB2A86  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 00:57:56]
971*2^1391998-1 is not prime.  Res64: 39FCE79BC5E1DD45  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:13:52]
685*2^1391999-1 is not prime.  Res64: C9B0B970C4E1BDF1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:13:52]
705*2^1391999-1 is not prime.  Res64: B543992096AE28E3  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:13:58]
759*2^1391999-1 is not prime.  Res64: FE31F344E22317B5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:13:58]
813*2^1391999-1 is not prime.  Res64: 0A18089EDE8352DD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:23:13]
939*2^1391999-1 is not prime.  Res64: 0E0AC7C1512A2C0B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:23:13]
955*2^1391999-1 is not prime.  Res64: D6C8A1BE5D84FF81  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:24:49]
985*2^1391999-1 is not prime.  Res64: 630A8978D92BAB29  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:24:49]
615*2^1392000-1 is not prime.  Res64: 3ADB988D37C06238  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:39:53]
843*2^1392000-1 is not prime.  Res64: 5F74EF7F3438FAC9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:39:54]
875*2^1392000-1 is not prime.  Res64: 2659B84ADC5963F2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:40:00]
725*2^1392000-1 is not prime.  Res64: 8DF43D64CDD24BDD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:40:01]
797*2^1392000-1 is not prime.  Res64: B2C81EA09468E990  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:49:13]
929*2^1392000-1 is not prime.  Res64: EE391EF29706666B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:49:13]
829*2^1392001-1 is not prime.  Res64: A43D1D00F7BAF157  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:50:47]
931*2^1392001-1 is not prime.  Res64: 0D0B2D40C11DE648  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 01:50:48]
945*2^1392001-1 is not prime.  Res64: 8A2BB0F05125363A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:05:56]
623*2^1392002-1 is not prime.  Res64: EBC6DED1A3CBAA29  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:05:57]
645*2^1392002-1 is not prime.  Res64: BF989A72E55A2ED9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:06:04]
675*2^1392002-1 is not prime.  Res64: 960E9857A6C88462  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:06:05]
731*2^1392002-1 is not prime.  Res64: D2A4A71930D713E7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:15:13]
785*2^1392002-1 is not prime.  Res64: 2FE779EF042A4047  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:15:13]
801*2^1392002-1 is not prime.  Res64: 99A583AB9F5E4127  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:16:44]
837*2^1392002-1 is not prime.  Res64: 955CE5D57DD1E237  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:16:45]
699*2^1392003-1 is not prime.  Res64: 08C7D016EA338107  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:32:12]
781*2^1392003-1 is not prime.  Res64: C8E3FB48DED6BB06  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:32:12]
819*2^1392003-1 is not prime.  Res64: 8CEA42B368037048  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:32:18]
709*2^1392003-1 is not prime.  Res64: F921D127DA7DE536  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:32:19]
735*2^1392003-1 is not prime.  Res64: 4D45579D0EFABBA1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:41:30]
871*2^1392003-1 is not prime.  Res64: 5A2B0EEAB6CB8BAA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:41:31]
885*2^1392003-1 is not prime.  Res64: 6703159B4A3EF7A8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:43:04]
677*2^1392004-1 is not prime.  Res64: 74BF5D9A1E53E802  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:43:04]
695*2^1392004-1 is not prime.  Res64: D770411B4B9B27AF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:58:24]
723*2^1392004-1 is not prime.  Res64: 9B6E588D50EE6742  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:58:25]
759*2^1392004-1 is not prime.  Res64: 40CD80A63969BA26  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:58:25]
765*2^1392004-1 is not prime.  Res64: EF07F6E9F7316295  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 02:58:25]
813*2^1392004-1 is not prime.  Res64: 5370F633E987BC7A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:07:31]
873*2^1392004-1 is not prime.  Res64: EA0428951F89D586  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:07:32]
887*2^1392004-1 is not prime.  Res64: A3A17EFC16AB1624  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:09:13]
975*2^1392004-1 is not prime.  Res64: D79B8D89D6488011  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:09:14]
627*2^1392005-1 is not prime.  Res64: 2B605286A2B56619  Time : 0.0 sec.
user=juhehe
[2015-02-28 03:10:21]
939*2^1392004-1 is not prime.  Res64: ECB5DF5569BD538A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:24:12]
825*2^1392005-1 is not prime.  Res64: D76F88CAEE7A5CED  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:24:13]
837*2^1392005-1 is not prime.  Res64: FB337F80AA46376C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:24:25]
657*2^1392005-1 is not prime.  Res64: B6C2FADDA9B53BBA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:24:25]
799*2^1392005-1 is not prime.  Res64: 1337F75B373F6958  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:33:37]
859*2^1392005-1 is not prime.  Res64: 800A0DD990CEDA23  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:33:39]
861*2^1392005-1 is not prime.  Res64: 28407AE4D3029DEC  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:35:01]
871*2^1392005-1 is not prime.  Res64: 2895D68B58077A86  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:35:02]
927*2^1392005-1 is not prime.  Res64: 66C9392707B75F15  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:49:56]
957*2^1392005-1 is not prime.  Res64: A532DF595884868B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:49:57]
611*2^1392006-1 is not prime.  Res64: 2F3A490098AC3BA2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:50:14]
627*2^1392006-1 is not prime.  Res64: F93301516EEA0C97  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:50:14]
717*2^1392006-1 is not prime.  Res64: BA45F3ADFA4D7E71  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:59:57]
723*2^1392006-1 is not prime.  Res64: 5EC1A2AF0054FAD2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 03:59:58]
747*2^1392006-1 is not prime.  Res64: E0BD6F57C22ACA8F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:00:46]
765*2^1392006-1 is not prime.  Res64: 419D3391EFD85FB7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:00:48]
777*2^1392006-1 is not prime.  Res64: 389B8B1FBE433E2C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:15:45]
801*2^1392006-1 is not prime.  Res64: C093333BDBE184A5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:15:46]
615*2^1392007-1 is not prime.  Res64: F3B31F541FBD3998  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:16:11]
775*2^1392007-1 is not prime.  Res64: A50F02F5E240C125  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:16:11]
813*2^1392007-1 is not prime.  Res64: 767EB90FD940D547  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:25:58]
859*2^1392007-1 is not prime.  Res64: 4025F366B1F97C0C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:25:58]
933*2^1392007-1 is not prime.  Res64: 802727FC14482D22  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:26:34]
951*2^1392007-1 is not prime.  Res64: ECFAFAB6F7CF0F14  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:26:34]
747*2^1392008-1 is not prime.  Res64: 417F5CE888B98E42  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:41:35]
753*2^1392008-1 is not prime.  Res64: B3809080AACAA3DA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:41:36]
815*2^1392008-1 is not prime.  Res64: 4C223F41E842749A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:41:53]
827*2^1392008-1 is not prime.  Res64: DAD0B60CA312EBB1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:41:53]
649*2^1392009-1 is not prime.  Res64: 05BDE12D5BFB464C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:51:40]
889*2^1392009-1 is not prime.  Res64: 4CC1440884DF2D74  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:51:40]
909*2^1392009-1 is not prime.  Res64: 5E7C701661D90103  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:52:16]
955*2^1392009-1 is not prime.  Res64: AAC22D14A6E462BF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 04:52:16]
675*2^1392010-1 is not prime.  Res64: 43B8EC4885376D17  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:07:19]
747*2^1392010-1 is not prime.  Res64: CC45639100EF9F18  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:07:20]
827*2^1392010-1 is not prime.  Res64: 56E5106A33622044  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:07:30]
923*2^1392010-1 is not prime.  Res64: 9619D46BC3A6B998  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:07:31]
609*2^1392011-1 is not prime.  Res64: 1BDA6838272463E0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:17:15]
669*2^1392011-1 is not prime.  Res64: 750F046112B634EC  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:17:15]
673*2^1392011-1 is not prime.  Res64: 1082EF7AC0D41827  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:17:53]
735*2^1392011-1 is not prime.  Res64: 8834096087360676  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:17:54]
811*2^1392011-1 is not prime.  Res64: 38551634680AF317  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:33:03]
879*2^1392011-1 is not prime.  Res64: 7CB3B9E0B0ECE605  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:33:03]
901*2^1392011-1 is not prime.  Res64: 869BC7AAF6698108  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:33:06]
921*2^1392011-1 is not prime.  Res64: E0A1316AFEA4E3E2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:33:06]
945*2^1392011-1 is not prime.  Res64: BFD310B36FD17883  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:43:01]
955*2^1392011-1 is not prime.  Res64: 2473B65C1A988573  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:43:01]
991*2^1392011-1 is not prime.  Res64: 07EFB66475BAE6B6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:43:29]
683*2^1392012-1 is not prime.  Res64: 0F3071973AD7C668  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:43:30]
693*2^1392012-1 is not prime.  Res64: 9D65B29764E66149  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:59:10]
695*2^1392012-1 is not prime.  Res64: 5C1F63C5854BA89C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:59:10]
779*2^1392012-1 is not prime.  Res64: 0CF00CD6C009C404  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:59:11]
965*2^1392012-1 is not prime.  Res64: 4B4F4B07B0D4E5E0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 05:59:11]
607*2^1392013-1 is not prime.  Res64: 53402CB4C5375AF0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:09:18]
819*2^1392013-1 is not prime.  Res64: 4B22091C02D17CB9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:09:19]
855*2^1392013-1 is not prime.  Res64: 676B2B32AE69E16D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:09:38]
961*2^1392013-1 is not prime.  Res64: 98CD0A9420E68F80  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:09:38]
755*2^1392014-1 is not prime.  Res64: 9152BA3169AEE4EB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:25:05]
735*2^1392015-1 is not prime.  Res64: 8DE494E964C182FE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:25:06]
853*2^1392015-1 is not prime.  Res64: 46BA68ABDF59932F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:25:11]
935*2^1392014-1 is not prime.  Res64: 6B63EAF55F7B1D06  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:25:11]
965*2^1392014-1 is not prime.  Res64: C2A6E1DCF5FAEF93  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:35:13]
861*2^1392015-1 is not prime.  Res64: EBBB1C19EA4C0BB8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:35:13]
895*2^1392015-1 is not prime.  Res64: 92AC56D65959A015  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:35:18]
933*2^1392015-1 is not prime.  Res64: 7553870ADC0E184C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:35:19]
985*2^1392015-1 is not prime.  Res64: 2B16187A59D92541  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:50:49]
645*2^1392016-1 is not prime.  Res64: 32393098267A1F52  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:50:49]
653*2^1392016-1 is not prime.  Res64: FBD96F260570854A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:50:55]
657*2^1392016-1 is not prime.  Res64: 1A70CA3832A4F7D9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 06:50:55]
699*2^1392016-1 is not prime.  Res64: 624662CC0E6115EE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:00:52]
723*2^1392016-1 is not prime.  Res64: 79089E398B18BF12  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:00:53]
759*2^1392016-1 is not prime.  Res64: 9676B5D28207C565  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:00:55]
779*2^1392016-1 is not prime.  Res64: 03F71BFE5234409F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:00:56]
845*2^1392016-1 is not prime.  Res64: 70A77B866026FB28  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:16:26]
855*2^1392016-1 is not prime.  Res64: 9FFC64293F9F046B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:16:26]
875*2^1392016-1 is not prime.  Res64: CD33935B23F09D66  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:16:39]
983*2^1392016-1 is not prime.  Res64: CD0B79AA5F9718BA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:16:39]
619*2^1392017-1 is not prime.  Res64: F3F7AE3E61762755  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:26:54]
795*2^1392017-1 is not prime.  Res64: CE4239B48BEB9651  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:26:55]
937*2^1392017-1 is not prime.  Res64: 919122812D0CA89F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:27:02]
631*2^1392017-1 is not prime.  Res64: 13941DDA4337AA2E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:27:03]
735*2^1392017-1 is not prime.  Res64: 273A6CA09D5BEBC9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:42:19]
605*2^1392018-1 is not prime.  Res64: 8BEC9E6F9BBEFACF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:42:20]
663*2^1392018-1 is not prime.  Res64: 1F997D3558ACA86E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:42:33]
803*2^1392018-1 is not prime.  Res64: B99BFC589D9D03C7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:42:33]
861*2^1392018-1 is not prime.  Res64: E70FB1EC18585202  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:52:33]
867*2^1392018-1 is not prime.  Res64: 5BE57A1EE2BD0F2A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:52:33]
875*2^1392018-1 is not prime.  Res64: 107943ABE2CBDD12  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:52:49]
977*2^1392018-1 is not prime.  Res64: 611D2B5DEE528480  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 07:52:49]
745*2^1392019-1 is not prime.  Res64: 3660DC08A0182512  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:08:01]
829*2^1392019-1 is not prime.  Res64: 875F9CA5817E8B74  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:08:01]
669*2^1392020-1 is not prime.  Res64: F1112A22344D339B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:08:21]
675*2^1392020-1 is not prime.  Res64: 09FEDA1109EF369A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:08:21]
677*2^1392020-1 is not prime.  Res64: A6D62934D3E46650  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:18:23]
743*2^1392020-1 is not prime.  Res64: 60D8534F13C07D02  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:18:24]
797*2^1392020-1 is not prime.  Res64: 79DD9E4474F77D03  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:18:32]
855*2^1392020-1 is not prime.  Res64: CEC2A06F5D53248C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:18:32]
885*2^1392020-1 is not prime.  Res64: 01C7EEC1C3D14E06  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:33:52]
945*2^1392020-1 is not prime.  Res64: BBCD5094B8B8AA9B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:33:53]
625*2^1392021-1 is not prime.  Res64: 6C3E34B0FCC91203  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:33:59]
639*2^1392021-1 is not prime.  Res64: D9CAA8AF8A5F844F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:34:00]
669*2^1392021-1 is not prime.  Res64: A3DED88BAA3FC9DA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:43:58]
741*2^1392021-1 is not prime.  Res64: 9410A1A125B96129  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:43:59]
921*2^1392021-1 is not prime.  Res64: 83591214D91B888F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:44:25]
927*2^1392021-1 is not prime.  Res64: BD3EBE15499BD70D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:44:26]
945*2^1392021-1 is not prime.  Res64: 35304F37D1F3D24C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:59:35]
737*2^1392022-1 is not prime.  Res64: 1161E8DCB0EF028D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:59:35]
761*2^1392022-1 is not prime.  Res64: B1A2ED1ACEA08BA9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:59:37]
857*2^1392022-1 is not prime.  Res64: 168CEE7779B8C461  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 08:59:37]
873*2^1392022-1 is not prime.  Res64: E1755EA3BC199261  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:09:47]
987*2^1392022-1 is not prime.  Res64: 604EEACB8BFDB659  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:09:48]
1001*2^1392022-1 is not prime.  Res64: 6C9B8709E9F49D9A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:10:11]
663*2^1392023-1 is not prime.  Res64: 812354D8F793C2EA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:10:11]
673*2^1392023-1 is not prime.  Res64: B081DAD898DF88BF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:25:16]
705*2^1392023-1 is not prime.  Res64: 0F163030534E04F5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:25:17]
889*2^1392023-1 is not prime.  Res64: 8C57536772437783  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:25:29]
627*2^1392024-1 is not prime.  Res64: C9DF96A23EF01B6E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:25:29]
663*2^1392024-1 is not prime.  Res64: 0AEEF822B1B91331  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:35:43]
689*2^1392024-1 is not prime.  Res64: A5E50A810BC317AF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:35:43]
705*2^1392024-1 is not prime.  Res64: C806C6B61FF6E936  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:35:59]
753*2^1392024-1 is not prime.  Res64: 1DC6AEA9B49AD693  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:36:00]
759*2^1392024-1 is not prime.  Res64: 65FE3C561D073BCB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:51:03]
857*2^1392024-1 is not prime.  Res64: 87AC707FE62148E0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:51:03]
899*2^1392024-1 is not prime.  Res64: 01C08E8A4B0D9C4F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:51:09]
765*2^1392024-1 is not prime.  Res64: 36F276CBDCAFC66C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 09:51:10]
815*2^1392024-1 is not prime.  Res64: 82FB099ED0E87524  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:01:26]
923*2^1392024-1 is not prime.  Res64: 8F8DCE63E81179F5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:01:27]
927*2^1392024-1 is not prime.  Res64: 5E334BE56497BF34  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:01:48]
947*2^1392024-1 is not prime.  Res64: 6094A3DA267C4CDB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:01:48]
661*2^1392025-1 is not prime.  Res64: C4719CEED03FB335  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:16:53]
885*2^1392025-1 is not prime.  Res64: B891A5010414A28B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:16:54]
615*2^1392026-1 is not prime.  Res64: E61DF5B5984333E0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:16:57]
789*2^1392025-1 is not prime.  Res64: 024DDDF7564FCB97  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:16:57]
817*2^1392025-1 is not prime.  Res64: 8981969CC431250B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:27:31]
767*2^1392026-1 is not prime.  Res64: C74C232CDD18DE8A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:27:31]
785*2^1392026-1 is not prime.  Res64: 729AE57CE6ED3C88  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:27:34]
617*2^1392026-1 is not prime.  Res64: 5DA20DC828768984  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:27:34]
623*2^1392026-1 is not prime.  Res64: 0A32465B07E039EC  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:42:39]
619*2^1392027-1 is not prime.  Res64: 7D528417442C7411  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:42:39]
651*2^1392027-1 is not prime.  Res64: 596159F272F53336  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:42:49]
735*2^1392027-1 is not prime.  Res64: 370280950DF9EB5D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:42:50]
765*2^1392027-1 is not prime.  Res64: ACE643FD3A4A983F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:53:20]
903*2^1392027-1 is not prime.  Res64: F15C4B3254A5C258  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:53:20]
963*2^1392027-1 is not prime.  Res64: D6B9F46F0DCA1361  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:53:22]
979*2^1392027-1 is not prime.  Res64: A0AD3E29731B1646  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 10:53:22]
657*2^1392029-1 is not prime.  Res64: C22F0C1A78A05C75  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:08:27]
741*2^1392029-1 is not prime.  Res64: F5DCC3F8F795185F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:08:28]
861*2^1392029-1 is not prime.  Res64: E3401F9E14335AD6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:08:28]
769*2^1392029-1 is not prime.  Res64: 55027B0334ED8061  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:08:28]
945*2^1392029-1 is not prime.  Res64: 106CA3FE710164B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:19:01]
987*2^1392029-1 is not prime.  Res64: D38B0F6C3E74DDBF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:19:01]
641*2^1392030-1 is not prime.  Res64: 75FD6F7D7A4A0372  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:19:04]
677*2^1392030-1 is not prime.  Res64: 45BC0A6091DA8324  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:19:05]
725*2^1392030-1 is not prime.  Res64: FEB9D17D2E8125A7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:34:07]
851*2^1392030-1 is not prime.  Res64: A1985A51BBD867F6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:34:07]
873*2^1392030-1 is not prime.  Res64: 99C34D53CD5C5E76  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:34:18]
651*2^1392031-1 is not prime.  Res64: 75549B0E03BBBF7F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:34:18]
735*2^1392031-1 is not prime.  Res64: C57F3947E56B5594  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:44:38]
829*2^1392031-1 is not prime.  Res64: 597B7D84AE9F9144  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:44:38]
763*2^1392031-1 is not prime.  Res64: 024979FE3E61BAC7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:44:38]
871*2^1392031-1 is not prime.  Res64: 9A0A09876D3FE092  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:44:38]
793*2^1392031-1 is not prime.  Res64: 86784F6D36B98492  Time : 0.0 sec.
user=juhehe
[2015-02-28 11:53:26]
909*2^1392031-1 is not prime.  Res64: 4C9BBA0B0C6AAE13  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:59:54]
633*2^1392032-1 is not prime.  Res64: 6EE4DA098380E062  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 11:59:54]
669*2^1392032-1 is not prime.  Res64: 3C2BADB6E23DF589  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:00:05]
719*2^1392032-1 is not prime.  Res64: AEAA3C8D305B102F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:00:06]
833*2^1392032-1 is not prime.  Res64: 849A13B846B8890E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:10:18]
843*2^1392032-1 is not prime.  Res64: 929534EF2F127751  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:10:18]
957*2^1392032-1 is not prime.  Res64: E192149BBE1B9544  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:10:31]
959*2^1392032-1 is not prime.  Res64: 46117C3EB180C3F5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:10:32]
681*2^1392033-1 is not prime.  Res64: 7EEF9C4451E7C507  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:25:42]
621*2^1392034-1 is not prime.  Res64: BC721BC0BF935C1A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:25:43]
623*2^1392034-1 is not prime.  Res64: 474A2B84E5D973A7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:25:45]
919*2^1392033-1 is not prime.  Res64: 71CADED274EF7ACB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:25:46]
999*2^1392033-1 is not prime.  Res64: 70250123E50BC97E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:35:52]
645*2^1392034-1 is not prime.  Res64: 477544209439691A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:35:52]
657*2^1392034-1 is not prime.  Res64: 7BFAC11A5030193B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:36:26]
723*2^1392034-1 is not prime.  Res64: 828758B7BDE3ACFB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:36:27]
765*2^1392034-1 is not prime.  Res64: C5849C9A63CBD520  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:51:24]
773*2^1392034-1 is not prime.  Res64: 09CC694DF094876F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:51:24]
855*2^1392034-1 is not prime.  Res64: D52F3B2E633D41D2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:51:28]
945*2^1392034-1 is not prime.  Res64: 086BD6E67CDA69A6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 12:51:28]
993*2^1392034-1 is not prime.  Res64: 4B1B496F0D1CB547  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:01:31]
693*2^1392035-1 is not prime.  Res64: C6EAA9FAE78D25F6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:01:32]
771*2^1392035-1 is not prime.  Res64: DD8F9F2DA87ECE1E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:02:10]
843*2^1392035-1 is not prime.  Res64: 7FE3A3613CA76537  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:02:10]
861*2^1392035-1 is not prime.  Res64: E72196B9BF705816  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:16:51]
909*2^1392035-1 is not prime.  Res64: 909D455717FA9FD3  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:16:52]
985*2^1392035-1 is not prime.  Res64: 46388069227A4764  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:17:16]
635*2^1392036-1 is not prime.  Res64: D9E47B54DD445995  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:17:16]
639*2^1392036-1 is not prime.  Res64: 90EC26C9FA351055  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:27:26]
683*2^1392036-1 is not prime.  Res64: 60B21C84ACF7EEBD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:27:27]
839*2^1392036-1 is not prime.  Res64: 995EC0C86C53A8A2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:27:49]
609*2^1392037-1 is not prime.  Res64: 0A1B75E0EA5A69F2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:27:50]
649*2^1392037-1 is not prime.  Res64: 1FF5A803C7AFF585  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:42:28]
687*2^1392037-1 is not prime.  Res64: 1E644598657D4323  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:42:28]
799*2^1392037-1 is not prime.  Res64: AC66D87A26714B4B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:42:50]
979*2^1392037-1 is not prime.  Res64: A964F907A47CAFEB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:42:50]
671*2^1392038-1 is not prime.  Res64: 4868ECDE32C4955E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:53:06]
771*2^1392038-1 is not prime.  Res64: 3883A208CBD42214  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:53:06]
813*2^1392038-1 is not prime.  Res64: 49C7BA2F62A92421  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:53:26]
615*2^1392039-1 is not prime.  Res64: AB67F94A1C6DDE66  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 13:53:27]
711*2^1392039-1 is not prime.  Res64: 32FB99FEB5C86F45  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:08:13]
723*2^1392039-1 is not prime.  Res64: CEDCFA3E9A737C44  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:08:14]
745*2^1392039-1 is not prime.  Res64: BB00DA913A5EA617  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:08:39]
775*2^1392039-1 is not prime.  Res64: E49931D3B7733835  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:08:39]
853*2^1392039-1 is not prime.  Res64: ECEA683F0F8F2313  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:18:52]
913*2^1392039-1 is not prime.  Res64: 25702459573AE8C3  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:18:52]
933*2^1392039-1 is not prime.  Res64: D5C30AB617E4907F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:19:04]
973*2^1392039-1 is not prime.  Res64: 36B835C9AFB0C22D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:19:05]
609*2^1392040-1 is not prime.  Res64: 7E9ED66DEE70FECA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:34:27]
713*2^1392040-1 is not prime.  Res64: 70B2D49B932287C0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:34:27]
785*2^1392040-1 is not prime.  Res64: C4AEF89D2EAA20A0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:34:37]
855*2^1392040-1 is not prime.  Res64: 777CB941789B8C9A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:34:38]
875*2^1392040-1 is not prime.  Res64: F26A98CA3528E9E9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:44:56]
965*2^1392040-1 is not prime.  Res64: 124F4BDB6852BB89  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:44:56]
615*2^1392041-1 is not prime.  Res64: C299BB3E516A27A1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:45:18]
669*2^1392041-1 is not prime.  Res64: 9B125663B233BADB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 14:45:18]
855*2^1392041-1 is not prime.  Res64: DB6B935C128495C6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:00:20]
909*2^1392041-1 is not prime.  Res64: 54C08A7C1CECDE4B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:00:21]
955*2^1392041-1 is not prime.  Res64: 4EAA72287EFC160E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:00:21]
705*2^1392042-1 is not prime.  Res64: E3A9801782046F3C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:00:22]
725*2^1392042-1 is not prime.  Res64: 7E83C5B5A1287FF2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:11:28]
765*2^1392042-1 is not prime.  Res64: 78445BF4BEEBB309  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:11:29]
797*2^1392042-1 is not prime.  Res64: 75EF063D808563FF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:11:40]
801*2^1392042-1 is not prime.  Res64: D16F17AF954D64BC  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:11:41]
837*2^1392042-1 is not prime.  Res64: 77D5A02324A02A92  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:27:14]
917*2^1392042-1 is not prime.  Res64: 028848AD2E9D8F32  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:27:15]
921*2^1392042-1 is not prime.  Res64: 6AF1E5C723CAB344  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:27:31]
951*2^1392042-1 is not prime.  Res64: 63313316C6174D34  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:27:31]
943*2^1392043-1 is not prime.  Res64: 13BF52A575D7B8F5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:38:12]
945*2^1392043-1 is not prime.  Res64: 2CF2C47A0BCB08B7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:38:13]
951*2^1392043-1 is not prime.  Res64: 450D92DC4317FA0C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:38:29]
985*2^1392043-1 is not prime.  Res64: 7D379C4749B0F1F3  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:38:30]
609*2^1392044-1 is not prime.  Res64: AB3DAD538BEEA4C8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:53:32]
629*2^1392044-1 is not prime.  Res64: 456B2B955ABD7EA2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:53:32]
663*2^1392044-1 is not prime.  Res64: 110C03ED6921A75B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:54:11]
755*2^1392044-1 is not prime.  Res64: 48BB038B28655AC4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 15:54:11]
875*2^1392044-1 is not prime.  Res64: 9776DAD17C30A739  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:04:49]
679*2^1392045-1 is not prime.  Res64: 5F69C16362A97C5C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:04:51]
805*2^1392045-1 is not prime.  Res64: 11329610281A8E0E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:05:09]
819*2^1392045-1 is not prime.  Res64: AEFFDE66B3CF5D31  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:05:11]
979*2^1392045-1 is not prime.  Res64: ED02715A2D27659B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:20:03]
651*2^1392046-1 is not prime.  Res64: 431915942E13C1F1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:20:04]
737*2^1392046-1 is not prime.  Res64: 3E2888BA5A2FC0D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:21:04]
785*2^1392046-1 is not prime.  Res64: CEA085242BBA8621  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:21:04]
833*2^1392046-1 is not prime.  Res64: 81D10F487C2ECF5B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:31:59]
843*2^1392046-1 is not prime.  Res64: 5B2CF31CB574DF59  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:31:59]
891*2^1392046-1 is not prime.  Res64: 1D9012CC9C301C76  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:32:06]
917*2^1392046-1 is not prime.  Res64: D0BD63E080C0A5A8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:32:06]
971*2^1392046-1 is not prime.  Res64: 2DE74F1796BC74AA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:46:49]
987*2^1392046-1 is not prime.  Res64: D174214FEE173042  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:46:49]
601*2^1392047-1 is not prime.  Res64: E21A1E67A7413446  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:47:42]
645*2^1392047-1 is not prime.  Res64: 55D04F209EC313B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:47:43]
823*2^1392047-1 is not prime.  Res64: E6DC1424D5A8EC82  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:58:39]
871*2^1392047-1 is not prime.  Res64: B1BD5664E63F6E7A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:58:40]
885*2^1392047-1 is not prime.  Res64: 66A575DE191CD69F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:58:44]
939*2^1392047-1 is not prime.  Res64: C508C39FE9C9BE01  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 16:58:44]
979*2^1392047-1 is not prime.  Res64: 1569C4AEC9D42ED7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:13:31]
695*2^1392048-1 is not prime.  Res64: 870D6BCB5DF6169B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:13:32]
735*2^1392048-1 is not prime.  Res64: 9976CFDC26EB0430  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:14:20]
773*2^1392048-1 is not prime.  Res64: D40FEE819B701DC7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:14:21]
797*2^1392048-1 is not prime.  Res64: 2BA2B4B3E59B2508  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:25:18]
839*2^1392048-1 is not prime.  Res64: 35992E55F524A52E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:25:19]
969*2^1392048-1 is not prime.  Res64: 94072D52CF57B7B2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:25:24]
661*2^1392049-1 is not prime.  Res64: 0BB86B01C2FE22D6  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:25:25]
747*2^1392049-1 is not prime.  Res64: 55E17A42EA911EBE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:40:23]
799*2^1392049-1 is not prime.  Res64: 6A5897DAA15DD378  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:40:23]
897*2^1392049-1 is not prime.  Res64: 73BAD8AB1802F98D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:41:25]
955*2^1392049-1 is not prime.  Res64: 9C17F5BBAEAA0287  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:41:25]
675*2^1392050-1 is not prime.  Res64: 5D92A82C0656D32F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:52:24]
791*2^1392050-1 is not prime.  Res64: 1E924205EA615FA2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:52:24]
801*2^1392050-1 is not prime.  Res64: 22A2340F492ADD2C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:52:33]
717*2^1392050-1 is not prime.  Res64: 8C0240B61C65B054  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 17:52:34]
741*2^1392050-1 is not prime.  Res64: 5A5CADAC34D2BE27  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:07:05]
885*2^1392050-1 is not prime.  Res64: 1426B91D33D22F62  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:07:06]
709*2^1392051-1 is not prime.  Res64: 8FCBC562E3C84B6D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:08:03]
795*2^1392051-1 is not prime.  Res64: 6E23F4C794DCA5B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:08:03]
835*2^1392051-1 is not prime.  Res64: 44A1B9B97F03DB67  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:18:24]
891*2^1392051-1 is not prime.  Res64: 8680070B2F0A6C7D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:18:25]
951*2^1392051-1 is not prime.  Res64: 6F1FBC6DECA2E1BD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:18:33]
991*2^1392051-1 is not prime.  Res64: F932E77D38D8FC8A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:18:34]
639*2^1392052-1 is not prime.  Res64: 9617A8C34E0C080C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:33:16]
693*2^1392052-1 is not prime.  Res64: A28C6A55F6AF0982  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:33:16]
699*2^1392052-1 is not prime.  Res64: 23A0D0A7328294FB  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:34:08]
777*2^1392052-1 is not prime.  Res64: F5FFFD77A8FB132A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:34:08]
807*2^1392052-1 is not prime.  Res64: 5ED3AE625233AE7D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:44:15]
887*2^1392052-1 is not prime.  Res64: C4A8DAEC2B795187  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:44:15]
933*2^1392052-1 is not prime.  Res64: 92597EF4A7943943  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:44:34]
657*2^1392053-1 is not prime.  Res64: E66EB2F1A7EE9296  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:44:34]
741*2^1392053-1 is not prime.  Res64: AC1B37750A5F6A9D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:59:16]
759*2^1392053-1 is not prime.  Res64: 49B16AC3D0847611  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 18:59:17]
775*2^1392053-1 is not prime.  Res64: CEDFA646C4805533  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:00:04]
805*2^1392053-1 is not prime.  Res64: 4A3CB80BE4DF7E35  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:00:04]
811*2^1392053-1 is not prime.  Res64: 4A5A9F83B6754941  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:10:08]
945*2^1392053-1 is not prime.  Res64: 0823199B9C7EFA60  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:10:08]
979*2^1392053-1 is not prime.  Res64: E8CA0E1D6BA681A8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:10:35]
981*2^1392053-1 is not prime.  Res64: 63CBBC2FA45B02EA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:10:35]
663*2^1392054-1 is not prime.  Res64: D797F5B3ED79B923  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:25:08]
723*2^1392054-1 is not prime.  Res64: D0A831A19300BB34  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:25:09]
903*2^1392054-1 is not prime.  Res64: 49FC5B60BFF1C55C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:26:06]
947*2^1392054-1 is not prime.  Res64: F900FFA9695062B2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:26:07]
609*2^1392055-1 is not prime.  Res64: A5DD1052FA0F98C9  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:36:01]
625*2^1392055-1 is not prime.  Res64: B68CA425213D49C4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:36:02]
645*2^1392055-1 is not prime.  Res64: 0629519C48C6F892  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:36:29]
715*2^1392055-1 is not prime.  Res64: 65F2FDE9A42D82C7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:36:30]
783*2^1392055-1 is not prime.  Res64: 858EC4260146D6A4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:51:00]
843*2^1392055-1 is not prime.  Res64: 0945FC3DD75B72D0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:51:00]
913*2^1392055-1 is not prime.  Res64: 93E9451063C160AE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:51:58]
939*2^1392055-1 is not prime.  Res64: 584564CD4F4F0B33  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 19:51:58]
951*2^1392055-1 is not prime.  Res64: F7106977F4957B09  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:01:56]
979*2^1392055-1 is not prime.  Res64: 6B45DE508A9EE798  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:01:57]
669*2^1392056-1 is not prime.  Res64: 89D1143F6832CAF8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:02:26]
693*2^1392056-1 is not prime.  Res64: 9956B626F9A3B29F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:02:27]
827*2^1392056-1 is not prime.  Res64: 54EC25AEB110B399  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:16:53]
845*2^1392056-1 is not prime.  Res64: 759B31884F013025  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:16:54]
717*2^1392057-1 is not prime.  Res64: 320F2B0512BB9D73  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:18:00]
807*2^1392057-1 is not prime.  Res64: BBF563F60FBA449E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:18:01]
861*2^1392057-1 is not prime.  Res64: 99FE18CB2831568B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:28:12]
865*2^1392057-1 is not prime.  Res64: C52F66A8E02822D4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:28:13]
909*2^1392057-1 is not prime.  Res64: D4346F31658D2D16  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:28:19]
937*2^1392057-1 is not prime.  Res64: 0177C4278A53813F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:28:19]
611*2^1392058-1 is not prime.  Res64: 86BB4DB5CAC4662C  Time : 0.0 sec.
user=juhehe
[2015-02-28 20:37:31]
623*2^1392058-1 is not prime.  Res64: 2544361784DDB902  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:42:43]
867*2^1392058-1 is not prime.  Res64: 4E7E103207FEB8C1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:42:43]
915*2^1392058-1 is not prime.  Res64: BD95218C5EDF886B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:43:56]
995*2^1392058-1 is not prime.  Res64: BDA319C9DB1424B8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:43:57]
741*2^1392059-1 is not prime.  Res64: 764CF71141F73A05  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:54:06]
771*2^1392059-1 is not prime.  Res64: BE13A2C566C6E3C1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:54:07]
999*2^1392059-1 is not prime.  Res64: 253CF09F96FF288C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:54:17]
609*2^1392060-1 is not prime.  Res64: 91BF5761A333E4E1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 20:54:17]
629*2^1392060-1 is not prime.  Res64: 9026AE956A54FE0E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:11:11]
665*2^1392060-1 is not prime.  Res64: D7B181346B921038  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:11:12]
777*2^1392060-1 is not prime.  Res64: AA699C9692171015  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:12:37]
825*2^1392060-1 is not prime.  Res64: 7AD7A969D676894C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:12:37]
923*2^1392060-1 is not prime.  Res64: 9F7A77263E8E48EA  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:27:06]
675*2^1392061-1 is not prime.  Res64: 4B2F34A4706B6B25  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:27:07]
687*2^1392061-1 is not prime.  Res64: 36D6FB4198095494  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:27:45]
999*2^1392060-1 is not prime.  Res64: 06A47C15B89A6BC7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:27:46]
615*2^1392061-1 is not prime.  Res64: 1A56808352374749  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:41:42]
799*2^1392061-1 is not prime.  Res64: B88C985271B78D04  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:41:43]
683*2^1392062-1 is not prime.  Res64: C6269197F59AE4D2  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:42:48]
873*2^1392062-1 is not prime.  Res64: 50EF686DADC549DD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:42:49]
887*2^1392062-1 is not prime.  Res64: 7CA3D867B7C2BF97  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:53:31]
963*2^1392062-1 is not prime.  Res64: 241A83572A48B3A5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:53:32]
663*2^1392063-1 is not prime.  Res64: 38F693B710914519  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:53:52]
685*2^1392063-1 is not prime.  Res64: 7C1D8548EDCE60F1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 21:53:52]
703*2^1392063-1 is not prime.  Res64: B9550468FDCA6D2E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:07:38]
805*2^1392063-1 is not prime.  Res64: 6F0C0DBC88892691  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:07:39]
829*2^1392063-1 is not prime.  Res64: FFF068C61885A102  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:08:54]
919*2^1392063-1 is not prime.  Res64: FC61545D28D6442B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:08:55]
921*2^1392063-1 is not prime.  Res64: 80134B8AF8DD3DB1  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:19:28]
985*2^1392063-1 is not prime.  Res64: DA7BE93CD13EF976  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:19:29]
629*2^1392064-1 is not prime.  Res64: 516DEC198A6C770B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:19:46]
635*2^1392064-1 is not prime.  Res64: 14BC828D81B5110C  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:19:46]
675*2^1392064-1 is not prime.  Res64: 5E39D18CD09741AE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:33:37]
849*2^1392064-1 is not prime.  Res64: B8C92416B92EE758  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:33:37]
905*2^1392064-1 is not prime.  Res64: 5F6A5416F7715938  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:34:47]
917*2^1392064-1 is not prime.  Res64: BD0CD449F5873BFF  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:34:48]
965*2^1392064-1 is not prime.  Res64: FEE72B5F39162AC5  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:45:35]
619*2^1392065-1 is not prime.  Res64: 94D7DA66ED68FEFD  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:45:36]
729*2^1392065-1 is not prime.  Res64: 1FA7E61F37FF1E4D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:45:43]
889*2^1392065-1 is not prime.  Res64: 124C61785A651291  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 22:45:44]
949*2^1392065-1 is not prime.  Res64: 355E9BEDD2DF8F16  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:00:01]
969*2^1392065-1 is not prime.  Res64: 867686AC21ED088D  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:00:02]
985*2^1392065-1 is not prime.  Res64: 62618F1DD7A56759  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:01:14]
677*2^1392066-1 is not prime.  Res64: 8B93617C14E53B0F  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:01:16]
713*2^1392066-1 is not prime.  Res64: 6E425BB99AD48EEC  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:11:57]
725*2^1392066-1 is not prime.  Res64: A11A77262EE3451A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:11:58]
861*2^1392066-1 is not prime.  Res64: 334F6378C540084E  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:12:09]
891*2^1392066-1 is not prime.  Res64: 169A32BD54F6D0A4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:12:10]
933*2^1392066-1 is not prime.  Res64: D42F09A23058D7D0  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:26:01]
993*2^1392066-1 is not prime.  Res64: A5537B21A75D25F8  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:26:04]
829*2^1392067-1 is not prime.  Res64: FD10AF21B981778A  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:27:18]
789*2^1392068-1 is not prime.  Res64: 483D4BAE119C293B  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:27:18]
875*2^1392068-1 is not prime.  Res64: 60D69062F4967100  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:37:58]
929*2^1392068-1 is not prime.  Res64: 1F347A034B5DBC52  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:37:59]
999*2^1392068-1 is not prime.  Res64: EAE3C56A23C034E7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:38:01]
661*2^1392069-1 is not prime.  Res64: 0B1AA7D557BE1CAE  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:38:02]
751*2^1392069-1 is not prime.  Res64: BD889CEBCB1B5501  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:52:04]
811*2^1392069-1 is not prime.  Res64: 79406B508B46F107  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:52:05]
825*2^1392069-1 is not prime.  Res64: 98B5350AAD1E84E7  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:53:16]
847*2^1392069-1 is not prime.  Res64: 5ADE42EC6C89CCA4  Time : 0.0 sec.
user=mdettweiler
[2015-02-28 23:53:17]
895*2^1392069-1 is not prime.  Res64: 36CA30C4ABE3FCBB  Time : 0.0 sec.