user=mdettweiler
[2015-03-16 00:12:11]
867*2^1395509-1 is not prime.  Res64: F49A095D3E89C953  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:12:12]
939*2^1395509-1 is not prime.  Res64: 15C9790EDEB2D765  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:13:25]
741*2^1395510-1 is not prime.  Res64: 74075B830917C0AA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:13:26]
933*2^1395510-1 is not prime.  Res64: C0D5E42B3D522822  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:18:08]
963*2^1395510-1 is not prime.  Res64: EEE8E7955221A10F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:18:08]
977*2^1395510-1 is not prime.  Res64: 6148E268CAEEDBDD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:19:39]
619*2^1395511-1 is not prime.  Res64: 2767F2F8748F9DCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:19:39]
645*2^1395511-1 is not prime.  Res64: 0018D7BB528A2C64  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:38:41]
649*2^1395511-1 is not prime.  Res64: 70516F6827E6D8F7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:38:41]
679*2^1395511-1 is not prime.  Res64: 38CBCD124D37D555  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:39:54]
723*2^1395511-1 is not prime.  Res64: 7DD661B75C48CF6D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:39:54]
759*2^1395511-1 is not prime.  Res64: 2E04D96E2A0E12A6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:44:36]
873*2^1395511-1 is not prime.  Res64: B4B319B0924C4D03  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:44:37]
973*2^1395511-1 is not prime.  Res64: 3E49364A3B6C7927  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:46:05]
603*2^1395512-1 is not prime.  Res64: 19531E88788BDDC2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 00:46:05]
825*2^1395512-1 is not prime.  Res64: 41DB5909EB8244A4  Time : 0.0 sec.
user=juhehe
[2015-03-16 00:58:51]
827*2^1395512-1 is not prime.  Res64: 53E51385744F2E2A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:05:21]
873*2^1395512-1 is not prime.  Res64: F59B5809AB5D9FD6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:05:23]
899*2^1395512-1 is not prime.  Res64: 02364B46174064C1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:06:19]
651*2^1395513-1 is not prime.  Res64: 6D7AC530F22A0A3A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:06:20]
921*2^1395513-1 is not prime.  Res64: 59A4DC0DA10124C5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:11:07]
605*2^1395514-1 is not prime.  Res64: 6416E928907FA52E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:11:07]
665*2^1395514-1 is not prime.  Res64: 34E582571D796526  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:12:32]
695*2^1395514-1 is not prime.  Res64: 356E7AF0AE821487  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:12:33]
765*2^1395514-1 is not prime.  Res64: B8FE56DC8E02A618  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:32:28]
791*2^1395514-1 is not prime.  Res64: 687539105321365B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:32:29]
923*2^1395514-1 is not prime.  Res64: 0CB1B02F8130D014  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:32:52]
1001*2^1395514-1 is not prime.  Res64: F84AF635A04BD1CE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:32:52]
619*2^1395515-1 is not prime.  Res64: C1A45C714F03ABC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:37:40]
651*2^1395515-1 is not prime.  Res64: 3A126910FA39B814  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:37:41]
705*2^1395515-1 is not prime.  Res64: 32D691BFF2FCDC75  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:38:56]
771*2^1395515-1 is not prime.  Res64: D6A2E8D0645699A8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:38:56]
781*2^1395515-1 is not prime.  Res64: 89C7B01A36BB4533  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:59:09]
855*2^1395515-1 is not prime.  Res64: 0B1237E3542B1AFA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:59:09]
723*2^1395516-1 is not prime.  Res64: 377E5BB649FE722F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:59:20]
735*2^1395516-1 is not prime.  Res64: A7B3913888C9C183  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 01:59:20]
777*2^1395516-1 is not prime.  Res64: C496C03D2D3E66D3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:04:11]
803*2^1395516-1 is not prime.  Res64: 80E8B00ECBC884A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:04:12]
947*2^1395516-1 is not prime.  Res64: 95CA91D98584E18A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:05:32]
699*2^1395517-1 is not prime.  Res64: 2F333B8C1BDF0872  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:05:33]
729*2^1395517-1 is not prime.  Res64: 687F2BE439539368  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:25:34]
769*2^1395517-1 is not prime.  Res64: F1299BC50251E348  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:25:35]
777*2^1395517-1 is not prime.  Res64: 0E93E77C627B41DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:25:43]
859*2^1395517-1 is not prime.  Res64: 1119FCD7F81AE51B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:25:43]
871*2^1395517-1 is not prime.  Res64: FEE1969DAE7085F0  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:30:38]
895*2^1395517-1 is not prime.  Res64: B014342DA8692CF1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:30:39]
937*2^1395517-1 is not prime.  Res64: 88A2E64AC3D53D3E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:31:53]
617*2^1395518-1 is not prime.  Res64: 7514516E0AF0E967  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:31:54]
623*2^1395518-1 is not prime.  Res64: FD19C77DEA4FE8A6  Time : 0.0 sec.
user=juhehe
[2015-03-16 02:46:25]
663*2^1395518-1 is not prime.  Res64: A354F60D85012E8E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:52:52]
713*2^1395518-1 is not prime.  Res64: A682872DDFDC7D88  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:52:53]
801*2^1395518-1 is not prime.  Res64: B9FA483251B6DB4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:53:32]
843*2^1395518-1 is not prime.  Res64: 325AB5C4B5E527B3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:53:32]
945*2^1395518-1 is not prime.  Res64: 4831CF15923DEC9F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:57:53]
971*2^1395518-1 is not prime.  Res64: B1186A8EA7B8A52A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:57:54]
977*2^1395518-1 is not prime.  Res64: A81DF87A1B718378  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:59:00]
693*2^1395519-1 is not prime.  Res64: E1EBE190DA0D1A04  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 02:59:01]
763*2^1395519-1 is not prime.  Res64: 1274144E1F93C668  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:19:15]
859*2^1395519-1 is not prime.  Res64: FC6BC5405BEC0CFF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:19:16]
895*2^1395519-1 is not prime.  Res64: D81DC40373EA9DF2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:19:59]
921*2^1395519-1 is not prime.  Res64: DF6780CE32A3C38E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:19:59]
609*2^1395520-1 is not prime.  Res64: CB6D1808D148789D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:24:12]
677*2^1395520-1 is not prime.  Res64: 70E57A9C006417C4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:24:12]
803*2^1395520-1 is not prime.  Res64: 835D75AA77602963  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:25:21]
839*2^1395520-1 is not prime.  Res64: 6564E9D69E8F35BB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:25:22]
863*2^1395520-1 is not prime.  Res64: E5E1044917247102  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:45:26]
873*2^1395520-1 is not prime.  Res64: D116DB6979FC350A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:45:28]
887*2^1395520-1 is not prime.  Res64: 2B4ED8992175EA90  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:46:03]
615*2^1395521-1 is not prime.  Res64: 92C13CBDF52D6B90  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:46:04]
651*2^1395521-1 is not prime.  Res64: 72F5BD41465D70DC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:50:20]
747*2^1395521-1 is not prime.  Res64: 79F486E56CCB1DCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:50:21]
777*2^1395521-1 is not prime.  Res64: 46F0B3A364455494  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:51:26]
811*2^1395521-1 is not prime.  Res64: 937EF9F9DC6A8F9F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 03:51:27]
901*2^1395521-1 is not prime.  Res64: 5DDF655E919295E6  Time : 0.0 sec.
user=juhehe
[2015-03-16 03:53:46]
691*2^1395521-1 is not prime.  Res64: EBFBA3C320875299  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:11:50]
949*2^1395521-1 is not prime.  Res64: B6093156724300AF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:11:51]
717*2^1395522-1 is not prime.  Res64: 702246C91319B9B4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:12:14]
741*2^1395522-1 is not prime.  Res64: 81A894B00409C5DC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:12:14]
833*2^1395522-1 is not prime.  Res64: BB1206798DE753EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:16:27]
917*2^1395522-1 is not prime.  Res64: D4A909705EBE7341  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:16:27]
625*2^1395523-1 is not prime.  Res64: F23BBCD7A6AE9FDC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:17:39]
639*2^1395523-1 is not prime.  Res64: 312584BBD7EFA9A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:17:39]
723*2^1395523-1 is not prime.  Res64: A6973A786D2293E1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:38:07]
735*2^1395523-1 is not prime.  Res64: 1B60FA9440E9960D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:38:08]
741*2^1395523-1 is not prime.  Res64: 62B26270A6882609  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:38:23]
783*2^1395523-1 is not prime.  Res64: B269F3E0B35FF9C2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:38:23]
853*2^1395523-1 is not prime.  Res64: B0F037069E23D10E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:42:36]
871*2^1395523-1 is not prime.  Res64: AB9CC982E2832EA7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:42:37]
945*2^1395523-1 is not prime.  Res64: 579A80C993C34119  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:43:50]
665*2^1395524-1 is not prime.  Res64: 8F87EADED68B70DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 04:43:51]
903*2^1395524-1 is not prime.  Res64: 08613125F6CC4834  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:04:24]
945*2^1395524-1 is not prime.  Res64: 6C1F3B4B18BC1010  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:04:25]
959*2^1395524-1 is not prime.  Res64: 5EDAF5C4E2269532  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:04:29]
995*2^1395524-1 is not prime.  Res64: 559D8AE16FC7167C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:04:30]
655*2^1395525-1 is not prime.  Res64: F5EDA4C0FF04519A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:08:42]
679*2^1395525-1 is not prime.  Res64: A49E30DD18D91A46  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:08:42]
717*2^1395525-1 is not prime.  Res64: 82B6035AE63DD6DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:09:54]
741*2^1395525-1 is not prime.  Res64: D26317297F0360F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:09:55]
765*2^1395525-1 is not prime.  Res64: 31A30B6E63F32A3C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:31:04]
949*2^1395525-1 is not prime.  Res64: ADB663AB0AC4D2D5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:31:04]
877*2^1395525-1 is not prime.  Res64: 4B6DA3E207AE5FDC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:31:04]
955*2^1395525-1 is not prime.  Res64: 45A34A165D1F7E6A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:31:04]
885*2^1395525-1 is not prime.  Res64: 6842A4586CA80083  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:34:49]
765*2^1395526-1 is not prime.  Res64: F3006C8A63B22004  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:34:50]
855*2^1395526-1 is not prime.  Res64: D91538011E79EA96  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:36:03]
957*2^1395526-1 is not prime.  Res64: AA302E39B607315E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:36:04]
621*2^1395527-1 is not prime.  Res64: FF34D6F596A26F2C  Time : 0.0 sec.
user=juhehe
[2015-03-16 05:41:38]
717*2^1395526-1 is not prime.  Res64: F71FB2DA4E525D77  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:57:17]
711*2^1395527-1 is not prime.  Res64: B537D7C6C7756A64  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:57:17]
741*2^1395527-1 is not prime.  Res64: 32335D4AD9884E29  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:57:17]
879*2^1395527-1 is not prime.  Res64: C300C0230EA8364C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 05:57:18]
949*2^1395527-1 is not prime.  Res64: 4499C32A2464541E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:00:58]
985*2^1395527-1 is not prime.  Res64: 3825F3A917BA405B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:00:58]
635*2^1395528-1 is not prime.  Res64: B2C58636F9EE6BA1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:02:09]
663*2^1395528-1 is not prime.  Res64: 10C308DFB120CDFB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:02:09]
825*2^1395528-1 is not prime.  Res64: 3BCFE4B1C0C99614  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:23:21]
875*2^1395528-1 is not prime.  Res64: 9E7D5E73CED361AC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:23:21]
909*2^1395528-1 is not prime.  Res64: 2B7572450C607447  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:23:32]
915*2^1395528-1 is not prime.  Res64: 07E34C59472B840D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:23:32]
929*2^1395528-1 is not prime.  Res64: 76AB2EE4D12FCFF8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:27:02]
637*2^1395529-1 is not prime.  Res64: DDB70C073A5A05F9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:27:03]
687*2^1395529-1 is not prime.  Res64: C27B52175AC4E8F9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:28:16]
811*2^1395529-1 is not prime.  Res64: C133E782675A8ACF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:28:17]
897*2^1395529-1 is not prime.  Res64: 408C42BA8348E68D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:49:23]
939*2^1395529-1 is not prime.  Res64: E033261F17054CCA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:49:23]
997*2^1395529-1 is not prime.  Res64: E440CFB575589919  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:49:38]
791*2^1395530-1 is not prime.  Res64: FA6C9F0699B8DCC9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:49:38]
977*2^1395530-1 is not prime.  Res64: 2FA94EC1A0870A2A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:53:08]
613*2^1395531-1 is not prime.  Res64: 2441659A7A8374DE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:53:09]
705*2^1395531-1 is not prime.  Res64: 1D9808D780363F30  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:54:21]
781*2^1395531-1 is not prime.  Res64: 888C9230B210646D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 06:54:21]
975*2^1395531-1 is not prime.  Res64: C66A1344E7FCF30E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:15:32]
695*2^1395532-1 is not prime.  Res64: 687DEA6043502576  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:15:33]
717*2^1395532-1 is not prime.  Res64: EFCADAFF0BFF28CB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:15:45]
765*2^1395532-1 is not prime.  Res64: 50A74BA0B85E11CF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:15:46]
819*2^1395532-1 is not prime.  Res64: EDFBE4F4AF3DF24B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:19:16]
873*2^1395532-1 is not prime.  Res64: 3315610779C295F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:19:16]
983*2^1395532-1 is not prime.  Res64: 6C5746DE04FD27FC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:20:30]
615*2^1395533-1 is not prime.  Res64: 9E0ACDB8317B238B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:20:30]
631*2^1395533-1 is not prime.  Res64: 704CE72B6EE9EB4F  Time : 0.0 sec.
user=juhehe
[2015-03-16 07:23:49]
657*2^1395532-1 is not prime.  Res64: BF036A1142C44725  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:41:41]
649*2^1395533-1 is not prime.  Res64: 7F9D569BAEB7E755  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:41:42]
657*2^1395533-1 is not prime.  Res64: 76C64F3FF1F1D957  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:41:51]
771*2^1395533-1 is not prime.  Res64: BDCB2C864B39D399  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:41:51]
811*2^1395533-1 is not prime.  Res64: 14F8A24041D1C39C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:45:19]
915*2^1395533-1 is not prime.  Res64: 6A4F81BFBDA91387  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:45:20]
925*2^1395533-1 is not prime.  Res64: 77E54F39E4C1FC85  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:46:39]
605*2^1395534-1 is not prime.  Res64: BC06DE42B7C46ADC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 07:46:39]
611*2^1395534-1 is not prime.  Res64: 045637761A0A83FD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:07:48]
621*2^1395534-1 is not prime.  Res64: 1273326E42057C1D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:07:48]
717*2^1395534-1 is not prime.  Res64: E782C1A942F2F983  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:08:00]
737*2^1395534-1 is not prime.  Res64: 4171BA0EDAA9001D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:08:00]
747*2^1395534-1 is not prime.  Res64: F7BA18953CAD6B09  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:11:24]
833*2^1395534-1 is not prime.  Res64: E8A6783EAF81184C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:11:24]
723*2^1395535-1 is not prime.  Res64: 6C40C5F36D68F531  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:12:52]
831*2^1395535-1 is not prime.  Res64: 67A9B991CFCFB9D3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:12:52]
909*2^1395535-1 is not prime.  Res64: B9E96CF43238F648  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:33:53]
683*2^1395536-1 is not prime.  Res64: CD32CAECD6E2DCA7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:33:53]
845*2^1395536-1 is not prime.  Res64: F69D69696618B83A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:34:05]
601*2^1395537-1 is not prime.  Res64: 283C9138C52ACF59  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:34:06]
735*2^1395537-1 is not prime.  Res64: E4F61E9F043F8D8F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:37:27]
795*2^1395537-1 is not prime.  Res64: 7872BED182FD3CCA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:37:28]
861*2^1395537-1 is not prime.  Res64: 0CD9279C056A507E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:38:54]
867*2^1395537-1 is not prime.  Res64: 46703F120CDDAAE2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:38:54]
885*2^1395537-1 is not prime.  Res64: 1424A8CD89E8AC30  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:59:56]
945*2^1395537-1 is not prime.  Res64: D86D71BF3DFB4CFE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 08:59:56]
991*2^1395537-1 is not prime.  Res64: 1D1AC86EBC242E1F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:00:19]
671*2^1395538-1 is not prime.  Res64: 9E1B524C901169F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:00:21]
801*2^1395538-1 is not prime.  Res64: BAFE51E1B5A76C3E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:03:33]
831*2^1395538-1 is not prime.  Res64: E6A0F31946A46A4C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:03:34]
857*2^1395538-1 is not prime.  Res64: 53B0D1161E5D9F18  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:05:03]
957*2^1395538-1 is not prime.  Res64: 585B3AA7C8C45253  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:05:04]
609*2^1395539-1 is not prime.  Res64: 4BD23BAA5337376F  Time : 0.0 sec.
user=juhehe
[2015-03-16 09:14:44]
861*2^1395538-1 is not prime.  Res64: 7BBC35DFD6226232  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:26:05]
615*2^1395539-1 is not prime.  Res64: 5D7CAD56DA496A5A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:26:05]
619*2^1395539-1 is not prime.  Res64: 629B31CFCA6CF3E9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:26:27]
643*2^1395539-1 is not prime.  Res64: 0B4E6FC3C17414A6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:26:27]
669*2^1395539-1 is not prime.  Res64: 50A94A9F517CE623  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:29:48]
885*2^1395539-1 is not prime.  Res64: 8AAC68EE4B87236F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:29:48]
635*2^1395540-1 is not prime.  Res64: F1D46308D200402D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:31:09]
689*2^1395540-1 is not prime.  Res64: 36FE3D6619D16C56  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:31:09]
783*2^1395540-1 is not prime.  Res64: C1381AC7AC79196B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:52:10]
905*2^1395540-1 is not prime.  Res64: CE1C2B546E73F06B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:52:10]
983*2^1395540-1 is not prime.  Res64: 1376FE2C2E174757  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:52:40]
727*2^1395541-1 is not prime.  Res64: 8979D9A2A1A5EABB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:52:40]
825*2^1395541-1 is not prime.  Res64: 83679ECB52624017  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:56:04]
829*2^1395541-1 is not prime.  Res64: 1D6680B8FAA3132B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:56:05]
855*2^1395541-1 is not prime.  Res64: FA02A4087DD3CCDD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:57:20]
877*2^1395541-1 is not prime.  Res64: D3CA8E018E6A974B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 09:57:21]
889*2^1395541-1 is not prime.  Res64: C9C411ACD4672233  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:18:11]
955*2^1395541-1 is not prime.  Res64: 01BBE42F66EE20C0  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:18:11]
975*2^1395541-1 is not prime.  Res64: 5C09D3A5E555C7EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:19:01]
999*2^1395541-1 is not prime.  Res64: 0C8878A4B15869A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:19:02]
635*2^1395542-1 is not prime.  Res64: 0452120F97001FB6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:22:03]
771*2^1395542-1 is not prime.  Res64: 141098126A01DAEB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:22:03]
921*2^1395542-1 is not prime.  Res64: 55BD2B72246EDD85  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:23:31]
951*2^1395542-1 is not prime.  Res64: 8C5BAA077A5908AD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:23:32]
679*2^1395543-1 is not prime.  Res64: C13FCE372CE4DB64  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:44:18]
703*2^1395543-1 is not prime.  Res64: 3C8108FF4EA71A1C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:44:18]
723*2^1395543-1 is not prime.  Res64: 95DF936912E67C96  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:45:17]
765*2^1395543-1 is not prime.  Res64: 7EB9D803C89ECE04  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:45:17]
825*2^1395543-1 is not prime.  Res64: DDC5F85FA5B73C84  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:48:13]
945*2^1395543-1 is not prime.  Res64: C0E4B7FF3AC3BD89  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:48:14]
949*2^1395543-1 is not prime.  Res64: 539AD7F2053A89F5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:49:41]
705*2^1395544-1 is not prime.  Res64: 7B377D21037405BF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 10:49:42]
875*2^1395544-1 is not prime.  Res64: 71C3EE1B47422E4E  Time : 0.0 sec.
user=juhehe
[2015-03-16 10:56:37]
675*2^1395544-1 is not prime.  Res64: 2F97F2959D9F2F32  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:10:30]
993*2^1395544-1 is not prime.  Res64: D83540F1B0DB60A2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:10:30]
697*2^1395545-1 is not prime.  Res64: 541652AEC8CD6491  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:11:27]
705*2^1395545-1 is not prime.  Res64: AE4D6E12E3FD2473  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:11:27]
889*2^1395545-1 is not prime.  Res64: 11671F5408D9674E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:14:27]
937*2^1395545-1 is not prime.  Res64: 72C0604803D12FCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:14:27]
969*2^1395545-1 is not prime.  Res64: 07A097FE12D3447E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:16:01]
765*2^1395546-1 is not prime.  Res64: 73965897DC0ECF27  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:16:01]
783*2^1395546-1 is not prime.  Res64: 0185AA732623E040  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:37:07]
975*2^1395546-1 is not prime.  Res64: 74EDCB166957D180  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:37:08]
691*2^1395547-1 is not prime.  Res64: 5967E620F3A8A27A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:38:02]
703*2^1395547-1 is not prime.  Res64: C55111539A76DE30  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:38:02]
829*2^1395547-1 is not prime.  Res64: 989AA3658B358D2B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:41:03]
939*2^1395547-1 is not prime.  Res64: E1E39E972A56A0A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:41:03]
985*2^1395547-1 is not prime.  Res64: 4388F4E8DE3D4BB9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:42:44]
993*2^1395547-1 is not prime.  Res64: 0600907CD50147C8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 11:42:45]
845*2^1395548-1 is not prime.  Res64: 4833004F55C569A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:04:18]
993*2^1395548-1 is not prime.  Res64: 0AD2ABF374AE853A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:04:19]
995*2^1395548-1 is not prime.  Res64: BB5ABD16BDA4151D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:05:24]
649*2^1395549-1 is not prime.  Res64: 4D125B7EF470A752  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:05:24]
727*2^1395549-1 is not prime.  Res64: 4A864A5A7D61AB0B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:08:23]
787*2^1395549-1 is not prime.  Res64: 96AC36D11047800C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:08:23]
825*2^1395549-1 is not prime.  Res64: 62525FFD2553F7EB  Time : 0.0 sec.
user=juhehe
[2015-03-16 12:09:46]
869*2^1395548-1 is not prime.  Res64: 422843FE20E9234F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:09:53]
831*2^1395549-1 is not prime.  Res64: 8B8A6201E63FBD49  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:09:54]
889*2^1395549-1 is not prime.  Res64: B4B06F61A1180DB0  Time : 0.0 sec.
user=juhehe
[2015-03-16 12:12:31]
923*2^1395548-1 is not prime.  Res64: EE883C318C98B808  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:31:22]
979*2^1395549-1 is not prime.  Res64: 785329B920B53A01  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:31:22]
665*2^1395550-1 is not prime.  Res64: 43A71378292226B6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:32:34]
755*2^1395550-1 is not prime.  Res64: 62C85AEF26846D63  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:32:34]
761*2^1395550-1 is not prime.  Res64: 18F22C04BBF4244B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:35:40]
843*2^1395550-1 is not prime.  Res64: A821EDEED01E3858  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:35:40]
917*2^1395550-1 is not prime.  Res64: 3F40DC427D43A81A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:37:15]
945*2^1395550-1 is not prime.  Res64: 4BAF2DA0A8295D15  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:37:16]
951*2^1395550-1 is not prime.  Res64: B64B15EF149616E5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:58:45]
615*2^1395551-1 is not prime.  Res64: 5555A34C3AAF9029  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 12:58:45]
643*2^1395551-1 is not prime.  Res64: C1227CA20F76F041  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:00:00]
645*2^1395551-1 is not prime.  Res64: 3FD825D0A837277D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:00:01]
741*2^1395551-1 is not prime.  Res64: 26DE6F8123B7044B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:02:38]
783*2^1395551-1 is not prime.  Res64: CF11CB2A231E2A03  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:02:39]
813*2^1395551-1 is not prime.  Res64: F7125D839122AF44  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:04:09]
855*2^1395551-1 is not prime.  Res64: 37E9C272A5062D29  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:04:10]
875*2^1395552-1 is not prime.  Res64: 306710582EC093DE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:25:07]
879*2^1395552-1 is not prime.  Res64: 32A2CE64FF536580  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:25:07]
899*2^1395552-1 is not prime.  Res64: 5B34D3A7F3DFBD62  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:26:22]
959*2^1395552-1 is not prime.  Res64: EA2AD4E7B47261FC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:26:23]
637*2^1395553-1 is not prime.  Res64: A182EF2888617CE0  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:29:01]
675*2^1395553-1 is not prime.  Res64: C8D920F407630C6C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:29:02]
691*2^1395553-1 is not prime.  Res64: C47CEA5D43A58949  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:30:34]
721*2^1395553-1 is not prime.  Res64: 848AB9C0348C3162  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:30:34]
751*2^1395553-1 is not prime.  Res64: D99932700A4CADF5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:51:53]
855*2^1395553-1 is not prime.  Res64: D9AFEAB9AE301BD2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:51:53]
617*2^1395554-1 is not prime.  Res64: A8771BBCD065B0A2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:53:09]
773*2^1395554-1 is not prime.  Res64: 67293B19C0C8A757  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:53:09]
797*2^1395554-1 is not prime.  Res64: 784F692077B6EB48  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:56:00]
941*2^1395554-1 is not prime.  Res64: B76C2209A03F6223  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:56:00]
609*2^1395555-1 is not prime.  Res64: 643BD30E74F7F5F6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:57:35]
625*2^1395555-1 is not prime.  Res64: 28F2CE019EB99145  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 13:57:35]
751*2^1395555-1 is not prime.  Res64: BFB0DADD2A0EC3AB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:19:13]
765*2^1395555-1 is not prime.  Res64: 77BE4F3A42D124EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:19:13]
895*2^1395555-1 is not prime.  Res64: 63B1EE9DD54A0EDF  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:20:47]
647*2^1395556-1 is not prime.  Res64: DCE9184D35E6CD46  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:20:48]
689*2^1395556-1 is not prime.  Res64: 5DB051F113185A2D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:23:32]
695*2^1395556-1 is not prime.  Res64: FCD88138B76CE129  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:23:32]
779*2^1395556-1 is not prime.  Res64: C9939D1679EB1238  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:25:06]
873*2^1395556-1 is not prime.  Res64: 0B3D0942266EBBBD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:25:06]
939*2^1395556-1 is not prime.  Res64: 0AE575930C758E81  Time : 0.0 sec.
user=juhehe
[2015-03-16 14:30:34]
839*2^1395556-1 is not prime.  Res64: 1DE4E65B9036C804  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:46:47]
645*2^1395557-1 is not prime.  Res64: F72694C9EF8A19AD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:46:48]
655*2^1395557-1 is not prime.  Res64: 33A2CF3FE3CF4636  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:48:14]
697*2^1395557-1 is not prime.  Res64: 791BE8FA16C8F600  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:48:15]
727*2^1395557-1 is not prime.  Res64: 9A80D664C821AE38  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:50:57]
729*2^1395557-1 is not prime.  Res64: B9867C1E291DF268  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:50:57]
825*2^1395557-1 is not prime.  Res64: E875FADC6F0B8D68  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:52:36]
831*2^1395557-1 is not prime.  Res64: E736F37E2B920B4E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 14:52:36]
937*2^1395557-1 is not prime.  Res64: BF3F2C024629A947  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:14:05]
611*2^1395558-1 is not prime.  Res64: 329FD1E38E040F39  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:14:06]
657*2^1395558-1 is not prime.  Res64: 0F54CB671D48C04F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:15:42]
705*2^1395558-1 is not prime.  Res64: 27365EE80FCBA661  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:15:42]
927*2^1395558-1 is not prime.  Res64: 0E0854604A090E7B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:18:24]
619*2^1395559-1 is not prime.  Res64: D6B0822C1B6CC394  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:18:24]
681*2^1395559-1 is not prime.  Res64: 4032F46D9502A5D4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:19:46]
685*2^1395559-1 is not prime.  Res64: DFE6B170E686309A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:19:46]
729*2^1395559-1 is not prime.  Res64: F9BF34F2CFC4B1BD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:41:21]
861*2^1395559-1 is not prime.  Res64: 394B79BCC1A5CF16  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:41:21]
895*2^1395559-1 is not prime.  Res64: CC061F0C57FD4044  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:43:02]
969*2^1395559-1 is not prime.  Res64: DF30D7D8DEB2666B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:43:02]
975*2^1395559-1 is not prime.  Res64: 4BC3FFD9CCABFFD9  Time : 0.0 sec.
user=juhehe
[2015-03-16 15:44:33]
855*2^1395559-1 is not prime.  Res64: 950B8041E5CD2FB8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:45:45]
999*2^1395559-1 is not prime.  Res64: A54A56F7F7AA3B15  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:45:46]
767*2^1395560-1 is not prime.  Res64: B173B86F3E2C5B95  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:47:07]
843*2^1395560-1 is not prime.  Res64: 2E2E438FE0B10963  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 15:47:08]
857*2^1395560-1 is not prime.  Res64: 9B767BA2841B4856  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:08:45]
963*2^1395560-1 is not prime.  Res64: C57E1E59181802B2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:08:46]
983*2^1395560-1 is not prime.  Res64: 7AF31B689781AF27  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:10:21]
625*2^1395561-1 is not prime.  Res64: 4E450E2B55917C5E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:10:21]
675*2^1395561-1 is not prime.  Res64: 47D50C7468F22E4C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:13:06]
681*2^1395561-1 is not prime.  Res64: 94EBC5EDC8D2F3EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:13:07]
705*2^1395561-1 is not prime.  Res64: B53018FE38A7767F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:14:18]
751*2^1395561-1 is not prime.  Res64: BC8267F3CAEBAEBC  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:14:18]
849*2^1395561-1 is not prime.  Res64: B5313019E768F19D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:35:38]
871*2^1395561-1 is not prime.  Res64: D2DC717C18D03603  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:35:39]
621*2^1395562-1 is not prime.  Res64: 22219048BF620016  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:37:11]
737*2^1395562-1 is not prime.  Res64: A58A266450D9F6EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:37:12]
803*2^1395562-1 is not prime.  Res64: 7BE09AE1F8B9382C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:39:55]
885*2^1395562-1 is not prime.  Res64: A8B083EA2F216D9A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:39:56]
891*2^1395562-1 is not prime.  Res64: 3410EB640BFB9D60  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:41:10]
983*2^1395562-1 is not prime.  Res64: 5194A358EC76F84F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 16:41:10]
995*2^1395562-1 is not prime.  Res64: 05014DFB340795A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:02:18]
609*2^1395563-1 is not prime.  Res64: E6383B24B3E55904  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:02:20]
615*2^1395563-1 is not prime.  Res64: FFD88CAA910C9B2B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:03:53]
675*2^1395563-1 is not prime.  Res64: 9F79348ECBDF603F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:03:54]
745*2^1395563-1 is not prime.  Res64: DA352D7BB74CE04A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:06:46]
775*2^1395563-1 is not prime.  Res64: 05632E1336398E7B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:06:46]
871*2^1395563-1 is not prime.  Res64: 787C16AD906C08DD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:07:58]
879*2^1395563-1 is not prime.  Res64: EF8495D8943E76C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:07:59]
885*2^1395563-1 is not prime.  Res64: CE6183BF622D385E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:29:28]
949*2^1395563-1 is not prime.  Res64: 86DC383C2F90378C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:29:29]
705*2^1395564-1 is not prime.  Res64: B6E764E14F025948  Time : 0.0 sec.
user=juhehe
[2015-03-16 17:29:56]
943*2^1395563-1 is not prime.  Res64: 3B4E7424E1C32A73  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:31:02]
753*2^1395564-1 is not prime.  Res64: 47C2A9315535216F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:31:02]
893*2^1395564-1 is not prime.  Res64: 359191C1D797F416  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:33:52]
903*2^1395564-1 is not prime.  Res64: BD5C94DED9544566  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:33:52]
947*2^1395564-1 is not prime.  Res64: 2669626CA4AD989F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:34:57]
965*2^1395564-1 is not prime.  Res64: 99FBC4BF7C731DAD  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:34:57]
717*2^1395565-1 is not prime.  Res64: DBFB55B2BC2FD269  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:56:10]
919*2^1395565-1 is not prime.  Res64: 1A6CA81C69F5446D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:56:10]
761*2^1395566-1 is not prime.  Res64: 63AAE024F6A40125  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:57:51]
767*2^1395566-1 is not prime.  Res64: AF3B7AE7DDC4BDB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 17:57:52]
813*2^1395566-1 is not prime.  Res64: F5042724E1434EE9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:00:41]
921*2^1395566-1 is not prime.  Res64: F14F059493C24906  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:00:41]
615*2^1395567-1 is not prime.  Res64: 2CAFD8A996695C0E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:01:37]
633*2^1395567-1 is not prime.  Res64: 46D084FA709E0BA9  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:01:38]
685*2^1395567-1 is not prime.  Res64: 7E9ACB829261E3DE  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:22:58]
703*2^1395567-1 is not prime.  Res64: E7032C5360FA6E7B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:22:58]
709*2^1395567-1 is not prime.  Res64: DAA165A7F637F22A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:24:39]
793*2^1395567-1 is not prime.  Res64: 6717350509D94139  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:24:39]
961*2^1395567-1 is not prime.  Res64: 68F6321C02A13065  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:27:26]
963*2^1395567-1 is not prime.  Res64: 690E97B66617831D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:27:27]
623*2^1395568-1 is not prime.  Res64: 48916F888F17DCD5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:28:22]
743*2^1395568-1 is not prime.  Res64: 1F599A92F19E6B7E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:28:23]
773*2^1395568-1 is not prime.  Res64: C18E3BDA871413D3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:49:49]
827*2^1395568-1 is not prime.  Res64: 045CECAB44EF906C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:49:50]
843*2^1395568-1 is not prime.  Res64: C99A8E352E67CC3B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:51:53]
863*2^1395568-1 is not prime.  Res64: 056E72560DC1266C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:51:54]
975*2^1395568-1 is not prime.  Res64: BF8EDC126C06DC51  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:54:26]
657*2^1395569-1 is not prime.  Res64: 585AE09E9DD6FD63  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:54:26]
861*2^1395569-1 is not prime.  Res64: 2869F06531504716  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:55:15]
967*2^1395569-1 is not prime.  Res64: 1BFDF3F7AFDCB0B3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 18:55:16]
741*2^1395570-1 is not prime.  Res64: 1362E88C4108B3A8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:16:38]
703*2^1395571-1 is not prime.  Res64: 2426D72C41D22D34  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:16:39]
723*2^1395571-1 is not prime.  Res64: 8DC4F74B75EC6C45  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:18:37]
759*2^1395571-1 is not prime.  Res64: E6DAD92F09527909  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:18:38]
647*2^1395572-1 is not prime.  Res64: EA1351BF2BEE5067  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:21:07]
677*2^1395572-1 is not prime.  Res64: B2E3E9F9ACE3D215  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:21:07]
693*2^1395572-1 is not prime.  Res64: BB009AD78300DA2E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:22:08]
725*2^1395572-1 is not prime.  Res64: F78809BDA46C901F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:22:09]
627*2^1395573-1 is not prime.  Res64: DDB50AF323CC2C57  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:43:19]
745*2^1395573-1 is not prime.  Res64: 3DD062E1711178E1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:43:19]
769*2^1395573-1 is not prime.  Res64: EEF1C0680FA4DAA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:45:16]
795*2^1395573-1 is not prime.  Res64: C9727CF0B5C9C6F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:45:17]
835*2^1395573-1 is not prime.  Res64: F6EC0ED02E4F4E59  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:47:45]
891*2^1395573-1 is not prime.  Res64: 6F0C09CB8022930A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:47:46]
951*2^1395573-1 is not prime.  Res64: 3F9D86E27EDB0C6B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:48:47]
955*2^1395573-1 is not prime.  Res64: 8FD3D8D24B5D1667  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 19:48:47]
741*2^1395574-1 is not prime.  Res64: 2268D444328812FB  Time : 0.0 sec.
user=juhehe
[2015-03-16 19:52:05]
727*2^1395573-1 is not prime.  Res64: 149D58D5809F8187  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:10:08]
755*2^1395574-1 is not prime.  Res64: 48C2318918E9B94B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:10:08]
885*2^1395574-1 is not prime.  Res64: D7FC7C0CFC7DC4EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:12:12]
945*2^1395574-1 is not prime.  Res64: 988CED3EFEAF0E4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:12:12]
957*2^1395574-1 is not prime.  Res64: 051F5FCCF020B8C1  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:14:47]
603*2^1395575-1 is not prime.  Res64: 59742BFA5B00189D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:14:48]
645*2^1395575-1 is not prime.  Res64: 12B20035FE141EC8  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:16:00]
679*2^1395575-1 is not prime.  Res64: 2BA8A514ACCC343D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:16:00]
753*2^1395575-1 is not prime.  Res64: E4E90A596347D8D0  Time : 0.0 sec.
user=juhehe
[2015-03-16 20:37:24]
859*2^1395575-1 is not prime.  Res64: 7E5681730D3BFB9F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:44:30]
883*2^1395575-1 is not prime.  Res64: C97E9DA9859A28BB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:44:31]
909*2^1395575-1 is not prime.  Res64: F753F03ACA397921  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:47:02]
999*2^1395575-1 is not prime.  Res64: EAA3991A0FD20E80  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:47:03]
657*2^1395576-1 is not prime.  Res64: F7643C1477381043  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:48:55]
669*2^1395576-1 is not prime.  Res64: F0428596825E7F78  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:48:55]
695*2^1395576-1 is not prime.  Res64: A9B3913EEF804A4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:50:16]
735*2^1395576-1 is not prime.  Res64: 1FEAB3F4E3396E9A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 20:50:16]
765*2^1395576-1 is not prime.  Res64: C6B1A93E7450497C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:12:24]
839*2^1395576-1 is not prime.  Res64: 883E9BFE18BEF705  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:12:25]
843*2^1395576-1 is not prime.  Res64: 752E47A3B2C44C4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:14:38]
887*2^1395576-1 is not prime.  Res64: 0DC15B11B4273FAB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:14:38]
909*2^1395576-1 is not prime.  Res64: A90B824138EF0769  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:16:18]
927*2^1395576-1 is not prime.  Res64: 28F27C5086286322  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:16:18]
945*2^1395576-1 is not prime.  Res64: 9786742059B0C83C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:17:33]
993*2^1395576-1 is not prime.  Res64: 51EDE675746FF99B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:17:33]
801*2^1395577-1 is not prime.  Res64: 0B9A9CFD845F7496  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:39:54]
819*2^1395577-1 is not prime.  Res64: 04B6B7E9B17ED1A5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:39:54]
901*2^1395577-1 is not prime.  Res64: 2640DD0BF39FC75F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:42:01]
753*2^1395578-1 is not prime.  Res64: A11203D26529EA67  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:42:01]
791*2^1395578-1 is not prime.  Res64: 58E4725541751534  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:43:38]
825*2^1395578-1 is not prime.  Res64: 3AB6573256370DDB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:43:38]
945*2^1395578-1 is not prime.  Res64: C0343FAEC22A9178  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:45:03]
1001*2^1395578-1 is not prime.  Res64: 84B7FA260E49B55B  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 21:45:03]
685*2^1395579-1 is not prime.  Res64: 46B9239A0BA14687  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:06:54]
961*2^1395579-1 is not prime.  Res64: A950336953EDEBA2  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:06:54]
773*2^1395580-1 is not prime.  Res64: 3B0406014C13F724  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:09:06]
833*2^1395580-1 is not prime.  Res64: CB5AB69D9B414541  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:09:06]
873*2^1395580-1 is not prime.  Res64: 6280B940800F3B17  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:10:27]
885*2^1395580-1 is not prime.  Res64: DF172D955796363C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:10:27]
915*2^1395580-1 is not prime.  Res64: 05E743D73E401C33  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:11:55]
939*2^1395580-1 is not prime.  Res64: 54F7D780CE7568E7  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:11:55]
989*2^1395580-1 is not prime.  Res64: B97D0108E79D3314  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:33:44]
697*2^1395581-1 is not prime.  Res64: E3CE4567B153ACA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:33:44]
837*2^1395581-1 is not prime.  Res64: 8AEBBE6BFE6176DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:35:55]
889*2^1395581-1 is not prime.  Res64: CA2F79780ABA36C6  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:35:55]
767*2^1395582-1 is not prime.  Res64: 71B02CD1F2792A5F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:37:09]
609*2^1395583-1 is not prime.  Res64: 12E49F4FBEBD1927  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:37:09]
693*2^1395583-1 is not prime.  Res64: 8C6D007B8764F6C0  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:38:42]
745*2^1395583-1 is not prime.  Res64: 6D032A3D53552096  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 22:38:42]
831*2^1395583-1 is not prime.  Res64: 6DBD1710C0FCF9F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:00:34]
849*2^1395583-1 is not prime.  Res64: ECEB94053A192C34  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:00:34]
853*2^1395583-1 is not prime.  Res64: D4E7D389FF71A13C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:02:52]
855*2^1395583-1 is not prime.  Res64: DBD267DDD756617F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:02:53]
933*2^1395583-1 is not prime.  Res64: FAEF4DE9114E7A0C  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:04:01]
605*2^1395584-1 is not prime.  Res64: 2E8E18456E43C41F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:04:03]
635*2^1395584-1 is not prime.  Res64: C089735C790CF68F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:05:30]
677*2^1395584-1 is not prime.  Res64: A4358E14F6B54FDB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:05:31]
767*2^1395584-1 is not prime.  Res64: 2992C754D077CF9D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:27:26]
897*2^1395584-1 is not prime.  Res64: D51B122A28970BA5  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:27:26]
935*2^1395584-1 is not prime.  Res64: 0F46C2876D63A18F  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:30:05]
945*2^1395584-1 is not prime.  Res64: 3ED4E9CA8F0B9C1A  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:30:05]
625*2^1395585-1 is not prime.  Res64: A2F4E84CB00D1F39  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:31:35]
717*2^1395585-1 is not prime.  Res64: 982B801B543879A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:31:35]
741*2^1395585-1 is not prime.  Res64: 7C5663E52F29638D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:33:05]
787*2^1395585-1 is not prime.  Res64: 85A876E320CAD77E  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:33:05]
819*2^1395585-1 is not prime.  Res64: F7703B66E91711EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:57:10]
919*2^1395585-1 is not prime.  Res64: BA4B98B1C7C25745  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:57:10]
647*2^1395586-1 is not prime.  Res64: 7FCDF74985E9BD80  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:59:45]
843*2^1395586-1 is not prime.  Res64: 9EB284269CD3538D  Time : 0.0 sec.
user=mdettweiler
[2015-03-16 23:59:45]
861*2^1395586-1 is not prime.  Res64: CF464FD8F6E25407  Time : 0.0 sec.
user=mdettweiler
[2015-03-17 00:00:44]
887*2^1395586-1 is not prime.  Res64: FC7FC400CFCAD064  Time : 0.0 sec.
user=mdettweiler
[2015-03-17 00:00:44]
903*2^1395586-1 is not prime.  Res64: 2846DAC35C4A4145  Time : 0.0 sec.