user=mdettweiler
[2017-05-10 00:04:28]
837*2^1453386-1 is not prime.  Res64: 26ACC4A3C8AA97F9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:04:30]
917*2^1453386-1 is not prime.  Res64: 4D76BC91B26B2CB0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:04:31]
963*2^1453386-1 is not prime.  Res64: 9A82AAB404AD0E46  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:04:35]
603*2^1453387-1 is not prime.  Res64: B38DD3A83F62ABF0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:04:36]
673*2^1453387-1 is not prime.  Res64: C48EF14178B7F1CB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:07:20]
691*2^1453387-1 is not prime.  Res64: E210283CBC39746E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:07:21]
999*2^1453387-1 is not prime.  Res64: 8FF956F535C304BA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:07:22]
743*2^1453388-1 is not prime.  Res64: 7B90E08914332AE9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:07:23]
945*2^1453388-1 is not prime.  Res64: 79027D2823729ED6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:07:24]
625*2^1453389-1 is not prime.  Res64: 8AE21E470112ECF2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:49:34]
657*2^1453389-1 is not prime.  Res64: 4DB44A5C30C401F7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:49:35]
709*2^1453389-1 is not prime.  Res64: 40F53707228844E0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:49:35]
745*2^1453389-1 is not prime.  Res64: 4643835BAA64199E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:49:36]
765*2^1453389-1 is not prime.  Res64: 9D2201C61662F07A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:49:36]
781*2^1453389-1 is not prime.  Res64: F8BC8BA8958AF35E  Time : 0.0 sec.
user=juhehe
[2017-05-10 00:50:46]
723*2^1453390-1 is not prime.  Res64: E277AE00C1E0AC7B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:52:06]
885*2^1453389-1 is not prime.  Res64: 20301923DAA487D6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:52:06]
889*2^1453389-1 is not prime.  Res64: E96FB08D56F92CD4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:52:07]
955*2^1453389-1 is not prime.  Res64: 5DCAD943616B83F2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:52:08]
651*2^1453390-1 is not prime.  Res64: 50DE637EACF6CA73  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 00:52:08]
663*2^1453390-1 is not prime.  Res64: D1C2C913DCCEA9F6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:34:58]
791*2^1453390-1 is not prime.  Res64: 42937DA61D8119A0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:34:59]
975*2^1453390-1 is not prime.  Res64: 5B4B9EEDB21E03F1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:35:00]
603*2^1453391-1 is not prime.  Res64: 60D3043D72A5328D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:35:00]
621*2^1453391-1 is not prime.  Res64: BDDEA6CA7A0FEC00  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:35:01]
651*2^1453391-1 is not prime.  Res64: 8711B65C69CD9A6C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:36:47]
673*2^1453391-1 is not prime.  Res64: 6E8438B3376909F2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:36:47]
679*2^1453391-1 is not prime.  Res64: 2C9A7DD41D3E06AE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:36:48]
735*2^1453391-1 is not prime.  Res64: 4D9D80619C799459  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:36:48]
741*2^1453391-1 is not prime.  Res64: C9BBB19BEADE04A3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 01:36:49]
775*2^1453391-1 is not prime.  Res64: 516BDDA3803F7EA1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:20:10]
783*2^1453391-1 is not prime.  Res64: 0CD0897107347DAB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:20:11]
813*2^1453391-1 is not prime.  Res64: C587FAD709C2B68F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:20:11]
855*2^1453391-1 is not prime.  Res64: 8E09841C2CAAB470  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:20:12]
859*2^1453391-1 is not prime.  Res64: DCCBCA6058C1E9C9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:20:12]
955*2^1453391-1 is not prime.  Res64: 7C599E022E00C358  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:21:56]
981*2^1453391-1 is not prime.  Res64: A1616342FCE254BD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:21:56]
635*2^1453392-1 is not prime.  Res64: C8142CCC1BA3D807  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:21:57]
689*2^1453392-1 is not prime.  Res64: B5B4E56FB7ECB28D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:21:57]
713*2^1453392-1 is not prime.  Res64: 64B9E62BC5E0CC82  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 02:21:58]
719*2^1453392-1 is not prime.  Res64: AB8F96370F9BEC4B  Time : 0.0 sec.
user=juhehe
[2017-05-10 02:48:08]
819*2^1453392-1 is not prime.  Res64: 2389A18BB562A516  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:17:56]
843*2^1453392-1 is prime!  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:17:58]
903*2^1453392-1 is not prime.  Res64: 4A87C4BBA20B58D3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:17:59]
909*2^1453392-1 is not prime.  Res64: 23CEB8AFFB62B261  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:17:59]
959*2^1453392-1 is not prime.  Res64: C1C7AE86AF0E7C74  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:00]
625*2^1453393-1 is not prime.  Res64: ABD9E17F27F8D582  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:02]
987*2^1453393-1 is not prime.  Res64: 973C3990005B5677  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:03]
615*2^1453394-1 is not prime.  Res64: A1C4177A7CE83F17  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:03]
645*2^1453394-1 is not prime.  Res64: BAD1ED3628A288C5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:04]
833*2^1453394-1 is not prime.  Res64: 09594C6EE28ECB20  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:05]
957*2^1453394-1 is not prime.  Res64: E30C600B49C627A4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:19]
613*2^1453395-1 is not prime.  Res64: 354D61D4B81EEC91  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:20]
619*2^1453395-1 is not prime.  Res64: 37FA0C61C880EB90  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:21]
651*2^1453395-1 is not prime.  Res64: 128ED9654BADFC2B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:22]
663*2^1453395-1 is not prime.  Res64: 5DE75FB3931BBFBA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:23]
685*2^1453395-1 is not prime.  Res64: 182F9653B36AFEBE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:48]
781*2^1453395-1 is not prime.  Res64: DF3B9A60DF7DDC31  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:50]
801*2^1453395-1 is not prime.  Res64: 36576E68D8D65829  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:51]
969*2^1453395-1 is not prime.  Res64: FECDA1D910A1471F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:52]
973*2^1453395-1 is not prime.  Res64: 65569AB54B7B0E19  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 03:18:53]
615*2^1453396-1 is not prime.  Res64: 8901F2DCB6D1F00F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:27]
771*2^1453397-1 is not prime.  Res64: 435AF748CDF2D251  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:29]
781*2^1453397-1 is not prime.  Res64: 672F3DA4A66C9048  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:32]
927*2^1453397-1 is not prime.  Res64: 2A4F533B8B82F746  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:34]
949*2^1453397-1 is not prime.  Res64: 1E0E6615AB04EBA9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:37]
761*2^1453398-1 is not prime.  Res64: 94E0A735CB67F2E0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:37]
647*2^1453396-1 is not prime.  Res64: 84644D4B00F349AD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:42]
717*2^1453396-1 is not prime.  Res64: C10F4868E61F0489  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:46]
759*2^1453396-1 is not prime.  Res64: 62429FF198DC322D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:48]
909*2^1453396-1 is not prime.  Res64: 21A6A4B1EF032405  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:03:50]
717*2^1453397-1 is not prime.  Res64: 4BD8C3C4AD330ED7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:10]
765*2^1453398-1 is not prime.  Res64: B2A180BF79368271  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:11]
927*2^1453398-1 is not prime.  Res64: 6B00377D1400D9E1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:13]
993*2^1453398-1 is not prime.  Res64: 347EB62372740963  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:15]
621*2^1453399-1 is not prime.  Res64: 93E4017B47BFF603  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:17]
723*2^1453399-1 is not prime.  Res64: C2116E0E810BB901  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:31]
729*2^1453399-1 is not prime.  Res64: 2CB2CDE12F78AD1C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:33]
735*2^1453399-1 is not prime.  Res64: 1208B68E68FB4160  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:34]
763*2^1453399-1 is not prime.  Res64: B3BE160BB1CD737A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:35]
831*2^1453399-1 is not prime.  Res64: B00AEB25F5FCD394  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:04:36]
883*2^1453399-1 is not prime.  Res64: 01B8A6FA33C2B8A2  Time : 0.0 sec.
user=juhehe
[2017-05-10 04:48:14]
753*2^1453403-1 is not prime.  Res64: 8937C737765DC8F0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:44]
935*2^1453400-1 is not prime.  Res64: D487E26F2B979B95  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:44]
963*2^1453400-1 is not prime.  Res64: 8BBA6E67BCA168FE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:45]
933*2^1453399-1 is not prime.  Res64: DE1767B17B60E6A9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:45]
747*2^1453401-1 is not prime.  Res64: 6C01CDF1FB336FD6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:45]
969*2^1453399-1 is not prime.  Res64: 572B730CE6FEA732  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:45]
865*2^1453401-1 is not prime.  Res64: E7EE0340050859A6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:46]
689*2^1453400-1 is not prime.  Res64: 59A10BBDB63D9DA7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:46]
895*2^1453401-1 is not prime.  Res64: 6C342231A99BC0AE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:46]
855*2^1453400-1 is not prime.  Res64: 4BA0F80FF560795C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:48:47]
917*2^1453400-1 is not prime.  Res64: 1043438E7537C319  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:13]
999*2^1453401-1 is not prime.  Res64: 561F8626B27A2419  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:13]
671*2^1453402-1 is not prime.  Res64: D7D9279E8A74664C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:14]
821*2^1453402-1 is not prime.  Res64: 7C9C1C1CD88C24C5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:14]
843*2^1453402-1 is not prime.  Res64: B03BF89B5D328AB7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:15]
873*2^1453402-1 is not prime.  Res64: CB4CD02266C8D320  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:35]
917*2^1453402-1 is not prime.  Res64: 4EEED792C507C834  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:35]
975*2^1453402-1 is not prime.  Res64: 8069DA45D022D37E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:36]
669*2^1453403-1 is not prime.  Res64: 0CC68F733B9FC6D7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:36]
685*2^1453403-1 is not prime.  Res64: 49F60444B2C1EAF1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 04:49:37]
735*2^1453403-1 is not prime.  Res64: 440867C989F5B286  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:39]
789*2^1453403-1 is not prime.  Res64: 984353E58D1369E4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:40]
823*2^1453403-1 is not prime.  Res64: CE9F66AD3C8CB486  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:40]
879*2^1453403-1 is not prime.  Res64: 01ABA60684E1ADA8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:41]
949*2^1453403-1 is not prime.  Res64: 85B1BD6AE9878CAE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:41]
629*2^1453404-1 is not prime.  Res64: CC8DAA2ACC2B4317  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:54]
715*2^1453405-1 is not prime.  Res64: ECE26226267C2DFE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:55]
717*2^1453405-1 is not prime.  Res64: 46F9D34B53E4E0D5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:55]
805*2^1453405-1 is not prime.  Res64: 4F725EC5EA7B868C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:56]
861*2^1453405-1 is not prime.  Res64: 457354FAB5E75D1D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:33:56]
919*2^1453405-1 is not prime.  Res64: 77872263F860C5F6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:06]
927*2^1453405-1 is not prime.  Res64: F9BF632B1363B3C0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:06]
957*2^1453405-1 is not prime.  Res64: D7BD5D9EE3C2BF8A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:07]
961*2^1453405-1 is not prime.  Res64: 15F6650CEB431013  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:07]
677*2^1453406-1 is not prime.  Res64: E6EDD45244FB612C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:08]
801*2^1453406-1 is not prime.  Res64: 335E1925B370DEB5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:29]
861*2^1453406-1 is not prime.  Res64: A7283B01E4F5BF45  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:30]
887*2^1453406-1 is not prime.  Res64: 08389A5825B584D4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:30]
705*2^1453407-1 is not prime.  Res64: 145C4E32B034C253  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:31]
831*2^1453407-1 is not prime.  Res64: B3808EAB14580382  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 05:34:31]
919*2^1453407-1 is not prime.  Res64: 216D9AC434A4A389  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:31]
887*2^1453408-1 is not prime.  Res64: BC2CF03AA4E62423  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:32]
933*2^1453408-1 is not prime.  Res64: BF951F99A28D084B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:32]
975*2^1453408-1 is not prime.  Res64: CED2788D4DDE9288  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:33]
999*2^1453408-1 is not prime.  Res64: 01000F328E16A990  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:33]
631*2^1453409-1 is not prime.  Res64: 5DD655A47E61F961  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:44]
649*2^1453409-1 is not prime.  Res64: B20B534E653E7003  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:44]
729*2^1453409-1 is not prime.  Res64: 05733F78CEC3A54C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:45]
735*2^1453409-1 is not prime.  Res64: AACD5F31D36D2C24  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:45]
741*2^1453409-1 is not prime.  Res64: 864DC335D9908639  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:46]
799*2^1453409-1 is not prime.  Res64: F18E8FEC51E051F7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:50]
879*2^1453409-1 is not prime.  Res64: A94F2EE180AFBBFA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:50]
949*2^1453409-1 is not prime.  Res64: 1E881C5059612A01  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:51]
791*2^1453410-1 is not prime.  Res64: CD129437D59D1131  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:51]
833*2^1453410-1 is not prime.  Res64: B96078B9C326077F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:18:52]
885*2^1453410-1 is not prime.  Res64: D8035FC8C76A7A76  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:19:15]
893*2^1453410-1 is not prime.  Res64: 5AA0FDB869024255  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:19:16]
741*2^1453411-1 is not prime.  Res64: 03D29B117DEA0BE5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:19:16]
769*2^1453411-1 is not prime.  Res64: 5BFAB380B5035B04  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:19:17]
771*2^1453411-1 is not prime.  Res64: 3864AB85471E6C3E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 06:19:17]
931*2^1453411-1 is not prime.  Res64: 83A33475D3B25F15  Time : 0.0 sec.
user=juhehe
[2017-05-10 06:45:47]
951*2^1453411-1 is not prime.  Res64: 27758593FF211721  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:25]
961*2^1453411-1 is not prime.  Res64: DB88AB53605515AC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:27]
665*2^1453412-1 is not prime.  Res64: 348C029AEF3F7920  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:28]
825*2^1453412-1 is not prime.  Res64: 2C24E7F34BCF1084  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:29]
855*2^1453412-1 is not prime.  Res64: BCB7AC47285C8593  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:30]
885*2^1453412-1 is not prime.  Res64: 39DB88EEC9349856  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:47]
889*2^1453413-1 is not prime.  Res64: F9C798B42CA680A2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:49]
979*2^1453413-1 is not prime.  Res64: 89D9ECA787148D25  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:50]
999*2^1453413-1 is not prime.  Res64: 36797A1EAC00B400  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:51]
731*2^1453414-1 is not prime.  Res64: E5903DC090BF985A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:54]
825*2^1453414-1 is not prime.  Res64: 3E82E51B68542CE7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:54]
621*2^1453413-1 is not prime.  Res64: 62A387C672DD6017  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:57]
625*2^1453413-1 is not prime.  Res64: E862615CDD0EE319  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:03:59]
679*2^1453413-1 is not prime.  Res64: 23B3294549A625B0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:00]
735*2^1453413-1 is not prime.  Res64: 9CCB87E4D4A096C4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:02]
795*2^1453413-1 is not prime.  Res64: 8A160389489FC23F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:07]
827*2^1453414-1 is not prime.  Res64: 03735A4C1568B066  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:10]
887*2^1453414-1 is not prime.  Res64: DA3EF1CE1EB29A25  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:12]
891*2^1453414-1 is not prime.  Res64: F34A8FBCE1908074  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:12]
923*2^1453414-1 is not prime.  Res64: E74AE2DA2F5401BA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:04:13]
661*2^1453415-1 is not prime.  Res64: BEE9AEBB7C926B44  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:36]
669*2^1453415-1 is not prime.  Res64: FCE2A9179B693BB4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:37]
753*2^1453415-1 is not prime.  Res64: 5AD89CC4BB1F862D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:38]
771*2^1453415-1 is not prime.  Res64: 43062D73E2962424  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:38]
885*2^1453415-1 is not prime.  Res64: 3C532BC406F7EA78  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:38]
789*2^1453415-1 is not prime.  Res64: 227C989A45819B95  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:38]
669*2^1453416-1 is not prime.  Res64: D4B019B7A9EE9478  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:39]
841*2^1453415-1 is not prime.  Res64: CBE137E10E5F9FFA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:39]
699*2^1453416-1 is not prime.  Res64: 578D94B76670DA0F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:39]
705*2^1453416-1 is not prime.  Res64: 8D98A66945BA6305  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:40]
747*2^1453416-1 is not prime.  Res64: 98BCEE993F14C16E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:54]
899*2^1453416-1 is not prime.  Res64: 4F27358371527670  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:54]
975*2^1453416-1 is not prime.  Res64: E0FAADD8EAAC4E82  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:55]
741*2^1453417-1 is not prime.  Res64: 089A5F814FBBAA2A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:55]
777*2^1453417-1 is not prime.  Res64: 9D868D220F8D4F14  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:48:56]
817*2^1453417-1 is not prime.  Res64: FEE7E62157208A1F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:49:03]
861*2^1453417-1 is not prime.  Res64: 5806C2D90F26E2F0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:49:03]
895*2^1453417-1 is not prime.  Res64: A588816E45C31881  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:49:04]
981*2^1453417-1 is not prime.  Res64: 929C852E41314069  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:49:04]
985*2^1453417-1 is not prime.  Res64: 0A005A363CBC3706  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 07:49:05]
605*2^1453418-1 is not prime.  Res64: D78E657BF5C70F72  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:27]
711*2^1453418-1 is not prime.  Res64: 59AEA59457E71ABE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:27]
713*2^1453418-1 is not prime.  Res64: AA6C7129AC20FBB1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:28]
743*2^1453418-1 is not prime.  Res64: 1F723F4F2C491353  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:28]
797*2^1453418-1 is not prime.  Res64: 368FBA8AEB6AE56A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:29]
887*2^1453418-1 is not prime.  Res64: 3BC9E49D99541E8A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:30]
627*2^1453418-1 is not prime.  Res64: 05A7776255FC0C4A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:30]
635*2^1453418-1 is not prime.  Res64: 43C9353696C385DE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:31]
657*2^1453418-1 is not prime.  Res64: 8969CB5A82B4AD28  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:31]
683*2^1453418-1 is not prime.  Res64: E7364358CE66EA31  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:32]
687*2^1453418-1 is not prime.  Res64: 0E5CB97937CD705A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:52]
921*2^1453418-1 is not prime.  Res64: 8CCDF501AE7E4D7C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:53]
927*2^1453418-1 is not prime.  Res64: 69BC29FDC76B9F84  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:53]
935*2^1453418-1 is not prime.  Res64: 7CD9124F8469A831  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:54]
633*2^1453419-1 is not prime.  Res64: FF94F3278CB419FE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:33:54]
709*2^1453419-1 is not prime.  Res64: 7354EC6ADAD6ACC6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:34:00]
793*2^1453419-1 is not prime.  Res64: 95D2C0B0836C8253  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:34:01]
759*2^1453420-1 is not prime.  Res64: 859C1DF364DD7000  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:34:01]
777*2^1453420-1 is not prime.  Res64: C6F6E0A9FCF5487B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:34:02]
803*2^1453420-1 is not prime.  Res64: D67EA0AE9AA5A5B7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 08:34:02]
875*2^1453420-1 is not prime.  Res64: 38BE6B50830F5EA7  Time : 0.0 sec.
user=juhehe
[2017-05-10 08:43:25]
933*2^1453420-1 is not prime.  Res64: A4A055F3AF068D89  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:50]
925*2^1453421-1 is not prime.  Res64: 4AABE94CE6DCDF27  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:50]
991*2^1453421-1 is not prime.  Res64: 0B5B88EAE397146B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:50]
611*2^1453422-1 is not prime.  Res64: 724C1CB97FC75E83  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:51]
665*2^1453422-1 is not prime.  Res64: 3791761C17595F59  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:51]
677*2^1453422-1 is not prime.  Res64: 1B720A149A0F2934  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:52]
987*2^1453420-1 is not prime.  Res64: 1CC8B34657945C9D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:52]
999*2^1453420-1 is not prime.  Res64: 39BBD47A319C9D33  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:52]
619*2^1453421-1 is not prime.  Res64: BBF22FEB37AE93AC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:53]
837*2^1453421-1 is not prime.  Res64: 09989F0936BDC7BB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:18:53]
855*2^1453421-1 is not prime.  Res64: 748226BADD1741E1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:05]
711*2^1453422-1 is not prime.  Res64: 66358173B921778A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:05]
717*2^1453422-1 is not prime.  Res64: 7309E7544AA62B0E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:05]
725*2^1453422-1 is not prime.  Res64: 17C69F22242B5A24  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:06]
737*2^1453422-1 is not prime.  Res64: 674B6731D39F6B02  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:06]
875*2^1453422-1 is not prime.  Res64: 52A44AE7F7DF63E6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:34]
615*2^1453423-1 is not prime.  Res64: EB832BDE8036852B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:34]
639*2^1453423-1 is not prime.  Res64: 4249E065F42E5442  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:34]
685*2^1453423-1 is not prime.  Res64: 8ACCE6913E7B9CA6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:34]
729*2^1453423-1 is not prime.  Res64: 649D452F976DF02D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 09:19:35]
763*2^1453423-1 is not prime.  Res64: 0906FBF6F8099910  Time : 0.0 sec.
user=juhehe
[2017-05-10 10:01:34]
777*2^1453426-1 is not prime.  Res64: 0F97C738EAFDC958  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:18]
743*2^1453424-1 is not prime.  Res64: 79EE5CA2AFA4C459  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:19]
857*2^1453424-1 is not prime.  Res64: 19158CFF8601D85E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:19]
691*2^1453425-1 is not prime.  Res64: 7C9F0D9CEB127437  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:20]
705*2^1453425-1 is not prime.  Res64: BC03012CE492AB3E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:20]
795*2^1453425-1 is not prime.  Res64: 629D52C6F0E6522A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:31]
775*2^1453423-1 is not prime.  Res64: D1C157559E2D6273  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:32]
855*2^1453423-1 is not prime.  Res64: FC8436FC0B94F4D7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:32]
861*2^1453423-1 is not prime.  Res64: 04D5404D9CE384B2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:33]
663*2^1453424-1 is not prime.  Res64: A235C6BAE2E5C76C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:33]
665*2^1453424-1 is not prime.  Res64: 2A663BAA40DCAFC6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:36]
997*2^1453425-1 is not prime.  Res64: A11C622290B66994  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:37]
603*2^1453426-1 is not prime.  Res64: 42A407BE26D122BC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:37]
617*2^1453426-1 is not prime.  Res64: 5D351D546106A3F0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:37]
755*2^1453426-1 is not prime.  Res64: 6E1B32B58FFAA81F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:38]
773*2^1453426-1 is not prime.  Res64: C24F3B7E28FE193C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:52]
871*2^1453425-1 is not prime.  Res64: C3221B29216BA76D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:52]
877*2^1453425-1 is not prime.  Res64: E26D8C354EF475B6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:53]
949*2^1453425-1 is not prime.  Res64: A8A136F5BC865B16  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:53]
955*2^1453425-1 is not prime.  Res64: E4EEA5ED18B3FC3C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:06:53]
969*2^1453425-1 is not prime.  Res64: DBEAC37C5F48EDF1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:10]
833*2^1453426-1 is not prime.  Res64: FA06B015F92C9FC4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:10]
843*2^1453426-1 is not prime.  Res64: 8F9AD66D18203504  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:10]
873*2^1453426-1 is not prime.  Res64: 5D14B2BD867325C3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:11]
699*2^1453427-1 is not prime.  Res64: 2EC2029047930E3B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:11]
735*2^1453427-1 is not prime.  Res64: BC1AD808C751F8E5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:29]
879*2^1453427-1 is not prime.  Res64: D01ADEBA18727733  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:30]
635*2^1453428-1 is not prime.  Res64: 786DB91E21ED72CC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:30]
699*2^1453428-1 is not prime.  Res64: B3E854B1EC15AE94  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:30]
725*2^1453428-1 is not prime.  Res64: 12A9A1F3EDA74CF5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:31]
767*2^1453428-1 is not prime.  Res64: 5011B3FBB00B09CA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:33]
797*2^1453428-1 is not prime.  Res64: 35AD10A489B92122  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:33]
839*2^1453428-1 is not prime.  Res64: 1FBE1370BB68E821  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:33]
893*2^1453428-1 is not prime.  Res64: 9F9D20D048380EB2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:34]
915*2^1453428-1 is not prime.  Res64: EFA3CFD18F53441B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:34]
681*2^1453429-1 is not prime.  Res64: 24D7D1C9D155A15B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:43]
955*2^1453429-1 is not prime.  Res64: 77720979AA761515  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:43]
603*2^1453430-1 is not prime.  Res64: 60439836A1782C7E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:44]
675*2^1453430-1 is not prime.  Res64: 991593DA0C772857  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:44]
861*2^1453430-1 is not prime.  Res64: 18C355FF77DE9DD5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 10:51:45]
885*2^1453430-1 is not prime.  Res64: E44D8BBDC4D8F6FD  Time : 0.0 sec.
user=juhehe
[2017-05-10 10:59:40]
995*2^1453430-1 is not prime.  Res64: 55C4B18EA8F066D6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:00]
649*2^1453431-1 is not prime.  Res64: 04C6CF84CCABCC6C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:00]
651*2^1453431-1 is not prime.  Res64: 7A09381505DC1F4F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:00]
741*2^1453431-1 is not prime.  Res64: 445852C7B4BFAC66  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:01]
745*2^1453431-1 is not prime.  Res64: A3E1181872E4D3E2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:01]
781*2^1453431-1 is not prime.  Res64: 613CD8EF3ECDD7FE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:20]
823*2^1453431-1 is not prime.  Res64: 3B170BDC2090722D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:21]
605*2^1453432-1 is not prime.  Res64: 6FFA2AF87A75EDFD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:21]
705*2^1453432-1 is not prime.  Res64: 55306995E546FA00  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:22]
797*2^1453432-1 is not prime.  Res64: 98C5B34CFE87ABFD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:22]
869*2^1453432-1 is not prime.  Res64: 9CA1406F7A0B3FBB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:37]
875*2^1453432-1 is not prime.  Res64: 0717B7249D9FD627  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:38]
631*2^1453433-1 is not prime.  Res64: 989AB4696084B14E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:38]
697*2^1453433-1 is not prime.  Res64: 2CDC700787CF313A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:38]
715*2^1453433-1 is not prime.  Res64: A5080A1C437EA871  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:39]
745*2^1453433-1 is not prime.  Res64: F7513D09FE672AF1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:52]
837*2^1453433-1 is not prime.  Res64: 4286072DFDBE4FC7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:53]
967*2^1453433-1 is not prime.  Res64: 316D41B949748F61  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:53]
671*2^1453434-1 is not prime.  Res64: 0498CFFD24D8BC9D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:53]
947*2^1453434-1 is not prime.  Res64: 2B31C360319402D9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 11:36:54]
649*2^1453435-1 is not prime.  Res64: 8E1870C8FE12A3FA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:20:59]
651*2^1453435-1 is not prime.  Res64: F6ECA53E8F3406A8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:00]
691*2^1453435-1 is not prime.  Res64: 4B51F422A1E55A31  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:00]
709*2^1453435-1 is not prime.  Res64: 34041DFD98AAE9C7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:00]
715*2^1453435-1 is not prime.  Res64: E1311ED749AC0F37  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:01]
765*2^1453435-1 is not prime.  Res64: FAA4185D15092C4A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:18]
951*2^1453435-1 is not prime.  Res64: 441CBA8E3E093859  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:19]
623*2^1453436-1 is not prime.  Res64: 8A03987F9E9FC18D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:19]
669*2^1453436-1 is not prime.  Res64: 73826EDCD8A51310  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:20]
743*2^1453436-1 is not prime.  Res64: E7359EDD6F3DC8AC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:20]
869*2^1453436-1 is not prime.  Res64: A8E2676D0FF22FAC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:34]
957*2^1453436-1 is not prime.  Res64: 2C542A00983F01C6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:34]
963*2^1453436-1 is not prime.  Res64: 71D0D17EFE93E69C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:35]
969*2^1453436-1 is not prime.  Res64: 1E62E9A7A94483B4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:35]
621*2^1453437-1 is not prime.  Res64: 3D8E31FE6D1EA530  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:36]
741*2^1453437-1 is not prime.  Res64: 66967272D37B1F28  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:57]
747*2^1453437-1 is not prime.  Res64: 3C855AE1DABF008B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:57]
765*2^1453437-1 is not prime.  Res64: 0238CF1DC75C2B2B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:58]
885*2^1453437-1 is not prime.  Res64: 95AB0C8B44926D75  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:58]
945*2^1453437-1 is not prime.  Res64: 02B49E29F9BC73BE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 12:21:59]
681*2^1453438-1 is not prime.  Res64: 8E8D6420396C1A8C  Time : 0.0 sec.
user=juhehe
[2017-05-10 12:46:50]
755*2^1453438-1 is not prime.  Res64: 82BA91964D191BC4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:09]
791*2^1453438-1 is not prime.  Res64: FD2EC656BBF71D22  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:12]
825*2^1453438-1 is not prime.  Res64: DEA5CBF774E75E7D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:12]
923*2^1453438-1 is not prime.  Res64: B43735ED9426CDF6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:12]
609*2^1453439-1 is not prime.  Res64: 152FFDC4DE609261  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:13]
693*2^1453439-1 is not prime.  Res64: C6BD3923C322CB3D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:15]
705*2^1453439-1 is not prime.  Res64: 197A7354F4EAA12C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:16]
799*2^1453439-1 is not prime.  Res64: 93604319C66D43D3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:16]
823*2^1453439-1 is not prime.  Res64: F4AC456C5C34448B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:17]
973*2^1453439-1 is not prime.  Res64: B990BA221B76D4EF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:18]
627*2^1453440-1 is not prime.  Res64: F107DDE7C7748CEA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:33]
633*2^1453440-1 is not prime.  Res64: 56068ECD5F4AD3DE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:34]
849*2^1453440-1 is not prime.  Res64: 450784A83015E0DA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:34]
741*2^1453441-1 is not prime.  Res64: 6B11AEE8348E912F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:35]
847*2^1453441-1 is not prime.  Res64: 01D9D0DA16B3AB50  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:06:35]
931*2^1453441-1 is not prime.  Res64: 7FBED043276922F9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:07:01]
623*2^1453442-1 is not prime.  Res64: 48DA1EBA0FE1EAEE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:07:01]
713*2^1453442-1 is not prime.  Res64: B4BEB88C6046168D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:07:02]
873*2^1453442-1 is not prime.  Res64: 4DAAD2DBA25D79BB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:07:02]
921*2^1453442-1 is not prime.  Res64: 86AD9B77433339E4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:07:03]
721*2^1453443-1 is not prime.  Res64: 45D2854B223C1289  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:15]
745*2^1453443-1 is not prime.  Res64: 1B45F58671BCE153  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:16]
751*2^1453443-1 is not prime.  Res64: 88E96CDF5B266F42  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:16]
783*2^1453443-1 is not prime.  Res64: 60D16FDDC0BCFDD4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:17]
859*2^1453443-1 is not prime.  Res64: 9E44F01FAB64ACC9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:17]
885*2^1453443-1 is not prime.  Res64: F76A97AC3ECF9B28  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:28]
969*2^1453443-1 is not prime.  Res64: ED47D523A38748AC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:29]
609*2^1453444-1 is not prime.  Res64: 7BFAFC458B04D570  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:29]
623*2^1453444-1 is not prime.  Res64: 67EE03C60131E0C1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:29]
843*2^1453444-1 is not prime.  Res64: A8D9FBB01CC0CCC9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:30]
855*2^1453444-1 is not prime.  Res64: E27322622A743F34  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:34]
863*2^1453444-1 is not prime.  Res64: B52F845E73D81F48  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:35]
909*2^1453444-1 is not prime.  Res64: A93CC1E7257B8124  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:35]
929*2^1453444-1 is not prime.  Res64: 4BDE592427846009  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:35]
691*2^1453445-1 is not prime.  Res64: B6381F32DCBE3FAF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:51:36]
697*2^1453445-1 is not prime.  Res64: 6A28708D5EBAEA4F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:52:02]
715*2^1453445-1 is not prime.  Res64: DF4DD98186E89650  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:52:03]
735*2^1453445-1 is not prime.  Res64: 71E79AA610FD2C2A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:52:03]
757*2^1453445-1 is not prime.  Res64: C9E7F874F01BEC51  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:52:04]
759*2^1453445-1 is not prime.  Res64: 16F5B7E10D610A78  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 13:52:04]
787*2^1453445-1 is not prime.  Res64: D7A1299A67E28994  Time : 0.0 sec.
user=juhehe
[2017-05-10 14:05:00]
885*2^1453445-1 is not prime.  Res64: 8567F18641262E6B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:09]
949*2^1453445-1 is not prime.  Res64: CD681D8C567DDC01  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:09]
725*2^1453446-1 is not prime.  Res64: F1A5E7C5F7DEDCC1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:09]
807*2^1453446-1 is not prime.  Res64: C06F514902ED52F1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:10]
833*2^1453446-1 is not prime.  Res64: A1D89A3196ED22A1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:10]
873*2^1453446-1 is not prime.  Res64: B3B4F498D1BC34A6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:25]
925*2^1453447-1 is not prime.  Res64: 8B9B666DBEC00ACD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:25]
617*2^1453448-1 is not prime.  Res64: C184F104CED1475C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:25]
665*2^1453448-1 is not prime.  Res64: 15C75B56C5191E7F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:26]
735*2^1453448-1 is not prime.  Res64: 157E68E9B05E704E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:26]
797*2^1453448-1 is not prime.  Res64: 583B724699ED2526  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:27]
917*2^1453446-1 is not prime.  Res64: 0242A7354938A8C1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:27]
651*2^1453447-1 is not prime.  Res64: 20BEF2F5327EC16B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:27]
681*2^1453447-1 is not prime.  Res64: 5EA4C5622C70B78D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:28]
765*2^1453447-1 is not prime.  Res64: 841D0EB714B41635  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:36:28]
915*2^1453447-1 is not prime.  Res64: 776FD2A09C980C2A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:37:06]
727*2^1453449-1 is not prime.  Res64: 778795D645335653  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:37:06]
759*2^1453449-1 is not prime.  Res64: 9B6868D4E2A4B90D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:37:07]
865*2^1453449-1 is not prime.  Res64: 698B9ECECFC3CB78  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:37:07]
885*2^1453449-1 is not prime.  Res64: E952FA948AA22BFF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 14:37:07]
889*2^1453449-1 is not prime.  Res64: 110B36A3CA04DDD8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:25]
803*2^1453450-1 is not prime.  Res64: 47E496A867905DC9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:25]
813*2^1453450-1 is not prime.  Res64: 3D4BE5D2BF054ABA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:26]
827*2^1453450-1 is not prime.  Res64: 47EE46611202CA48  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:26]
843*2^1453450-1 is not prime.  Res64: C8E08BC0D4498828  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:27]
951*2^1453450-1 is not prime.  Res64: 3281BE03F51A9A38  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:30]
921*2^1453449-1 is not prime.  Res64: 64B81797C074B5EE  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:30]
975*2^1453449-1 is not prime.  Res64: 1510D05153CBCC5C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:30]
979*2^1453449-1 is not prime.  Res64: C091EF06F103DC66  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:31]
695*2^1453450-1 is not prime.  Res64: 49124344854908BB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:31]
723*2^1453450-1 is not prime.  Res64: A5A7E8C0B7991788  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:31]
693*2^1453451-1 is not prime.  Res64: B2A048100A01838C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:32]
735*2^1453451-1 is not prime.  Res64: 4EA5C023B9B4759D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:32]
745*2^1453451-1 is not prime.  Res64: EBD7E9769C7FE6D7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:33]
813*2^1453451-1 is not prime.  Res64: 0D199DAA7E7D3C84  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:21:33]
939*2^1453451-1 is not prime.  Res64: 338FEABF27C6D39C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:22:11]
969*2^1453451-1 is not prime.  Res64: 0A5CA9360AF8C86B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:22:12]
623*2^1453452-1 is not prime.  Res64: B878FA120DE33CD0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:22:12]
719*2^1453452-1 is not prime.  Res64: 62D06080001938CD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:22:13]
749*2^1453452-1 is not prime.  Res64: 700F133390DE20B6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 15:22:13]
863*2^1453452-1 is not prime.  Res64: 4A986D19E0CE2FC5  Time : 0.0 sec.
user=juhehe
[2017-05-10 16:02:03]
773*2^1453456-1 is not prime.  Res64: 09FABAC8D3E2FFDD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:31]
645*2^1453454-1 is not prime.  Res64: 4867CFD6C76D18E3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:32]
677*2^1453454-1 is not prime.  Res64: 4F47E01981D78F49  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:32]
833*2^1453454-1 is not prime.  Res64: ABE28092AD73E5AF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:33]
897*2^1453454-1 is not prime.  Res64: CBB2246E4D598249  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:33]
983*2^1453454-1 is not prime.  Res64: B154F186C865D193  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:39]
685*2^1453455-1 is not prime.  Res64: A9D27C69858C183D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:39]
723*2^1453455-1 is not prime.  Res64: D7097FC45364951F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:39]
763*2^1453455-1 is not prime.  Res64: 9D4D88794FCAFEDF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:40]
783*2^1453455-1 is not prime.  Res64: 72DE7FFA9DF4E425  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:40]
793*2^1453455-1 is not prime.  Res64: D2E9943AD0FD9533  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:41]
893*2^1453452-1 is not prime.  Res64: AEEB90B8C2A1711F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:42]
959*2^1453452-1 is not prime.  Res64: BEEC6C520676BC36  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:42]
649*2^1453453-1 is not prime.  Res64: 2F2B7FB6CAEB3E03  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:42]
897*2^1453453-1 is not prime.  Res64: 008CE8C94C9B9E30  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:06:43]
979*2^1453453-1 is not prime.  Res64: 937A9211A8F91BCF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:07:35]
909*2^1453455-1 is not prime.  Res64: 96D1CF2B3A8947F5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:07:36]
999*2^1453455-1 is not prime.  Res64: 1E9E7C3EC9B2A077  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:07:36]
705*2^1453456-1 is not prime.  Res64: EC1093C36441112F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:07:37]
707*2^1453456-1 is not prime.  Res64: FA5AFFA606150FA1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:07:37]
717*2^1453456-1 is not prime.  Res64: A2D37A0DDF325C51  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:28]
969*2^1453456-1 is not prime.  Res64: CBA96AB8ABAF1565  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:28]
601*2^1453457-1 is not prime.  Res64: CEF3043E2EB51BA6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:28]
627*2^1453457-1 is not prime.  Res64: 0DDAFE73DB74A7E8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:29]
651*2^1453457-1 is not prime.  Res64: C80CCAA272BAA071  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:29]
741*2^1453457-1 is not prime.  Res64: EAE673A4E207C749  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:32]
731*2^1453458-1 is not prime.  Res64: 276D68AE3664E0B6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:33]
737*2^1453458-1 is not prime.  Res64: 3CBB2D4F126B6CB5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:33]
945*2^1453458-1 is not prime.  Res64: 08191BBF9F80D779  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:34]
951*2^1453458-1 is not prime.  Res64: A941A221E0AD02B7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:34]
685*2^1453459-1 is not prime.  Res64: 2ACEA92771215471  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:37]
723*2^1453459-1 is not prime.  Res64: A92067BA35A2A63F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:37]
733*2^1453459-1 is not prime.  Res64: D6E008DF2572081B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:37]
769*2^1453459-1 is not prime.  Res64: DC597EBA1EC143FD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:38]
843*2^1453459-1 is not prime.  Res64: 9272EC245A7CAC2B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:51:38]
891*2^1453459-1 is not prime.  Res64: 515615FF433E3DC2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:52:29]
961*2^1453459-1 is not prime.  Res64: 0FAFE96B58D3A0D4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:52:29]
999*2^1453459-1 is not prime.  Res64: 9747CFFCC3028A04  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:52:29]
669*2^1453460-1 is not prime.  Res64: FFF8C6F9C006B894  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:52:30]
825*2^1453460-1 is not prime.  Res64: 9DDD846229DA1BE5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 16:52:30]
855*2^1453460-1 is not prime.  Res64: 1D5444874E0EE147  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:26]
879*2^1453460-1 is not prime.  Res64: D4D60B4AC9EE9F7A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:26]
983*2^1453460-1 is not prime.  Res64: 2827E78116AFE5CD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:26]
745*2^1453461-1 is not prime.  Res64: C49584B0EF28D229  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:27]
837*2^1453461-1 is not prime.  Res64: C2ED3A2706AF78BC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:27]
847*2^1453461-1 is not prime.  Res64: 5697140DE44A5CF2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:33]
979*2^1453461-1 is not prime.  Res64: C2E313ED6E94591F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:33]
801*2^1453462-1 is not prime.  Res64: 4D8F7942B4B2D943  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:33]
831*2^1453462-1 is not prime.  Res64: 2B5D8A149803CC50  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:34]
947*2^1453462-1 is not prime.  Res64: F57FF49AD1755F25  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:34]
965*2^1453462-1 is not prime.  Res64: C5ABFE5022F234EB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:39]
831*2^1453463-1 is not prime.  Res64: 72B53292CC8E22B3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:40]
939*2^1453463-1 is not prime.  Res64: 25C84778FC21DC1A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:40]
657*2^1453464-1 is not prime.  Res64: DAB9FBF66D5A06F8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:40]
693*2^1453464-1 is not prime.  Res64: 4E0D35E3F6AF0305  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:36:41]
747*2^1453464-1 is not prime.  Res64: 73E2C0310191C5D8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:37:42]
753*2^1453464-1 is not prime.  Res64: 169C6C61F8F163B5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:37:42]
767*2^1453464-1 is not prime.  Res64: 81FA72B3F1D58443  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:37:42]
809*2^1453464-1 is not prime.  Res64: AE462A96DCA34417  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:37:43]
959*2^1453464-1 is not prime.  Res64: EB56E43B65EFB780  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 17:37:43]
699*2^1453465-1 is not prime.  Res64: 364857B42353D904  Time : 0.0 sec.
user=juhehe
[2017-05-10 17:59:59]
717*2^1453465-1 is not prime.  Res64: AD18160B64A90B4C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:05]
741*2^1453465-1 is not prime.  Res64: 1DDFC42412E63B0A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:05]
895*2^1453465-1 is not prime.  Res64: B2710C07123D8A13  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:05]
925*2^1453465-1 is not prime.  Res64: 5B54198CE3B14331  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:06]
975*2^1453465-1 is not prime.  Res64: 06576996A22D6EBA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:06]
997*2^1453465-1 is not prime.  Res64: E0A2B9B099CD3434  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:12]
999*2^1453465-1 is not prime.  Res64: B9EA5C9361D63A2C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:12]
633*2^1453466-1 is not prime.  Res64: 3D09913C7E24F2F4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:12]
825*2^1453466-1 is not prime.  Res64: 34DE7D5988FEF7E0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:12]
675*2^1453466-1 is not prime.  Res64: 8B9E08482587BCFD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:13]
893*2^1453466-1 is not prime.  Res64: 0649AB9AF3A2A030  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:13]
705*2^1453466-1 is not prime.  Res64: 56534C6C7E3BE1F9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:13]
981*2^1453466-1 is not prime.  Res64: 08F222F0183F22B4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:13]
707*2^1453466-1 is not prime.  Res64: 593E1A7D43CDE683  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:13]
619*2^1453467-1 is not prime.  Res64: 9A5E804EB4E61F3D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:22:14]
709*2^1453467-1 is not prime.  Res64: C6A816307E8EFE73  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:23:13]
711*2^1453467-1 is not prime.  Res64: D91AF8DD44EF6C6C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:23:13]
765*2^1453467-1 is not prime.  Res64: 140B67EF84E8B92F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:23:14]
823*2^1453467-1 is not prime.  Res64: C887AD2D5FA3196E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:23:14]
849*2^1453467-1 is not prime.  Res64: 861DFDB5C299E86F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 18:23:14]
891*2^1453467-1 is not prime.  Res64: C24EAF8938934B15  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:32]
765*2^1453470-1 is not prime.  Res64: EE02BAA5BA210AA1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:32]
631*2^1453469-1 is not prime.  Res64: 81E09904B96523F5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:33]
679*2^1453469-1 is not prime.  Res64: 9EBA0A21EE04DE14  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:33]
777*2^1453470-1 is not prime.  Res64: 41DB1F4C7DB3E165  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:34]
829*2^1453469-1 is not prime.  Res64: 3AD80CD9737B4DDD  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:34]
951*2^1453469-1 is not prime.  Res64: 306173B3B8AD5296  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:34]
873*2^1453470-1 is not prime.  Res64: 03F5571C75A84A6C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:35]
755*2^1453470-1 is not prime.  Res64: 447DFBD20A1DDE04  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:35]
893*2^1453470-1 is not prime.  Res64: A158609724F6D294  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:07:36]
921*2^1453470-1 is not prime.  Res64: 323B6F9580D21382  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:15]
707*2^1453468-1 is not prime.  Res64: 3924730541DC2C46  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:15]
755*2^1453468-1 is not prime.  Res64: 8D22A2EF41202915  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:16]
773*2^1453468-1 is not prime.  Res64: 2194F525271289D3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:16]
813*2^1453468-1 is not prime.  Res64: 56D43C2E03C5B25F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:16]
953*2^1453468-1 is not prime.  Res64: 88EE3D65789D62EA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:27]
977*2^1453470-1 is not prime.  Res64: 355E6F56AFDFD9D1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:27]
619*2^1453471-1 is not prime.  Res64: F308E7865771528C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:28]
645*2^1453471-1 is not prime.  Res64: F690D4588992E706  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:29]
705*2^1453471-1 is not prime.  Res64: 5CC46DEFC92B7783  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:08:29]
741*2^1453471-1 is not prime.  Res64: 4912ABF1A3B59E66  Time : 0.0 sec.
user=juhehe
[2017-05-10 19:18:17]
769*2^1453471-1 is not prime.  Res64: 2E8C62B797526A89  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:31]
939*2^1453471-1 is not prime.  Res64: C885D06E043C2A0B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:32]
943*2^1453471-1 is not prime.  Res64: 1A109144531C0761  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:32]
623*2^1453472-1 is not prime.  Res64: A096728F6B525272  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:33]
657*2^1453472-1 is not prime.  Res64: B4D98F166788831B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:33]
893*2^1453472-1 is not prime.  Res64: E6126B48BF8E6607  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:38]
811*2^1453471-1 is not prime.  Res64: D68C755A94D51AB9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:38]
841*2^1453471-1 is not prime.  Res64: 734BAF2EBDDD8907  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:38]
843*2^1453471-1 is not prime.  Res64: E83406EBE46922C1  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:39]
873*2^1453471-1 is not prime.  Res64: AE399F982204DE62  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:52:39]
933*2^1453471-1 is not prime.  Res64: 49AFC334063DBC0F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:04]
899*2^1453472-1 is not prime.  Res64: 55F09E8BE96842BC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:04]
909*2^1453472-1 is not prime.  Res64: D5FE3B32FC8C21EF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:05]
977*2^1453472-1 is not prime.  Res64: 32B0E5E0909920D0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:05]
639*2^1453473-1 is not prime.  Res64: 0EFE65404BD2408C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:05]
745*2^1453473-1 is not prime.  Res64: 48B43AA5C5DE26B3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:23]
787*2^1453473-1 is not prime.  Res64: D48F4F55B39B5F79  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:23]
811*2^1453473-1 is not prime.  Res64: 64A9C7A90356FB3A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:23]
861*2^1453473-1 is not prime.  Res64: 824374D25788C06C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:24]
867*2^1453473-1 is not prime.  Res64: 64A8DACB66D6B87A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 19:53:24]
889*2^1453473-1 is not prime.  Res64: E525A776BDB22A1A  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:33]
985*2^1453473-1 is not prime.  Res64: 26D9E9FD6E60BDCC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:33]
999*2^1453473-1 is not prime.  Res64: 7BA4B27569D6F7A4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:34]
657*2^1453474-1 is not prime.  Res64: 61F79CDB247E444B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:34]
663*2^1453474-1 is not prime.  Res64: A808F7EE16B74B6E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:35]
675*2^1453474-1 is not prime.  Res64: 3B67E6697E65ACFB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:43]
677*2^1453474-1 is not prime.  Res64: D49981929BC4938E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:43]
705*2^1453474-1 is not prime.  Res64: 052B323332BE9D72  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:43]
723*2^1453474-1 is not prime.  Res64: 96A1D23F7474C4AF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:44]
773*2^1453474-1 is not prime.  Res64: 21210A834398E7FF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:44]
857*2^1453474-1 is not prime.  Res64: 096FC21BA27EEA6D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:56]
1001*2^1453474-1 is not prime.  Res64: 6ADA9480CCE2A371  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:57]
645*2^1453475-1 is not prime.  Res64: 1752380E72B518A4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:57]
675*2^1453475-1 is not prime.  Res64: 907F3E1A9E18A5A5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:57]
715*2^1453475-1 is not prime.  Res64: 3754FDB4715373AA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:37:58]
829*2^1453475-1 is not prime.  Res64: 39FC4DA8F5767057  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:38:12]
855*2^1453475-1 is not prime.  Res64: 31CC9CEE339E7AB9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:38:13]
939*2^1453475-1 is not prime.  Res64: 9D270EE301849274  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:38:13]
963*2^1453475-1 is not prime.  Res64: 2EFD8F36CDED3B01  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:38:13]
981*2^1453475-1 is not prime.  Res64: 6CC6CE2C0A7D0103  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 20:38:14]
609*2^1453476-1 is not prime.  Res64: ADAAA5F6C0B7A554  Time : 0.0 sec.
user=juhehe
[2017-05-10 21:15:41]
633*2^1453476-1 is not prime.  Res64: 0CEC1578F0AAE475  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:26]
647*2^1453476-1 is not prime.  Res64: A370E04B6E38FF10  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:26]
759*2^1453476-1 is not prime.  Res64: 31CF1E0F3CD2884C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:27]
837*2^1453476-1 is not prime.  Res64: 67232AEEA5484A95  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:27]
845*2^1453476-1 is not prime.  Res64: 2C3BED8019C6AD4E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:28]
875*2^1453476-1 is not prime.  Res64: 560041B718ECF338  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:37]
639*2^1453477-1 is not prime.  Res64: 530B3388BF01478E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:38]
757*2^1453477-1 is not prime.  Res64: 5DCCC970A430B0E8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:38]
765*2^1453477-1 is not prime.  Res64: 4EFDFEBB94F8FA92  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:39]
817*2^1453477-1 is not prime.  Res64: F8D46BCA669E1937  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:39]
915*2^1453477-1 is not prime.  Res64: 7A96A60AEC0E5ED0  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:49]
957*2^1453477-1 is not prime.  Res64: 73AD460B301EE88F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:49]
975*2^1453477-1 is not prime.  Res64: 1F83928E63128436  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:49]
985*2^1453477-1 is not prime.  Res64: 037D5CF31B9DC617  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:50]
999*2^1453477-1 is not prime.  Res64: E6F618F3ADC4EB8E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:22:50]
693*2^1453478-1 is not prime.  Res64: 5C6B3425A965C83B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:23:02]
755*2^1453478-1 is not prime.  Res64: 85CBF82FEBF66830  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:23:02]
773*2^1453478-1 is not prime.  Res64: 067515679417C9E2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:23:03]
791*2^1453478-1 is not prime.  Res64: 7EF9AC8AB3A12A6B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:23:03]
857*2^1453478-1 is not prime.  Res64: AB666E86537AE811  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 21:23:04]
935*2^1453478-1 is not prime.  Res64: 01E932DBB8A57727  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:23]
977*2^1453478-1 is not prime.  Res64: 90AFC4583B6298A7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:24]
633*2^1453479-1 is not prime.  Res64: 2EF352692CE7C599  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:24]
775*2^1453479-1 is not prime.  Res64: 3DA4B0706AD9C6CA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:25]
795*2^1453479-1 is not prime.  Res64: FFB752D7291BB368  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:25]
829*2^1453479-1 is not prime.  Res64: 91E3256C60A26B53  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:36]
885*2^1453479-1 is not prime.  Res64: 7CD3C8544EB84D56  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:37]
949*2^1453479-1 is not prime.  Res64: 46DFE290D94F4E24  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:37]
609*2^1453480-1 is not prime.  Res64: 71EBBF09C0AA54EB  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:38]
677*2^1453480-1 is not prime.  Res64: 808A6BE3AA4B2505  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:38]
803*2^1453480-1 is not prime.  Res64: EBCB5805721B5953  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:49]
843*2^1453480-1 is not prime.  Res64: D6ECB7434B1D7286  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:49]
915*2^1453480-1 is not prime.  Res64: B191D8391FD062A8  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:50]
777*2^1453481-1 is not prime.  Res64: C07B7A6D605DA0EA  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:50]
797*2^1453482-1 is not prime.  Res64: 7774F94D518F3485  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:51]
821*2^1453482-1 is not prime.  Res64: B4CFED018974EF50  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:59]
947*2^1453482-1 is not prime.  Res64: ECECECA09E8666F5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:07:59]
977*2^1453482-1 is not prime.  Res64: 11A21E6D1AE81137  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:08:00]
685*2^1453483-1 is not prime.  Res64: DE86C0481510FFC4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:08:00]
783*2^1453483-1 is not prime.  Res64: F2FCB428DF6D45C3  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:08:00]
829*2^1453483-1 is not prime.  Res64: D27D39886C79DC3B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:11]
853*2^1453483-1 is not prime.  Res64: DD1EA65F5369906E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:11]
873*2^1453483-1 is not prime.  Res64: 73575A62867E36B2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:11]
915*2^1453483-1 is not prime.  Res64: ADDB24AFC44C2D0C  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:12]
925*2^1453483-1 is not prime.  Res64: 8E6F8242DD3CB0F9  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:12]
663*2^1453484-1 is not prime.  Res64: 427F256653365F14  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:46]
995*2^1453484-1 is not prime.  Res64: 22F9B634E4A6BF0B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:46]
607*2^1453485-1 is not prime.  Res64: 44E6348C128CCC57  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:46]
609*2^1453485-1 is not prime.  Res64: 2666A0A0DB5F8D5D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:47]
649*2^1453485-1 is not prime.  Res64: 66E99876CFBDE43D  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:47]
709*2^1453485-1 is not prime.  Res64: 0F299B06FFB8E9A5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:47]
683*2^1453484-1 is not prime.  Res64: 2D24D94F1BAFCDF4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:48]
719*2^1453484-1 is not prime.  Res64: 2AB13AC5667B1FED  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:48]
767*2^1453484-1 is not prime.  Res64: 34EB6E6ED34E5B26  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:49]
903*2^1453484-1 is not prime.  Res64: 9B683C3AF410A75E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:52:49]
927*2^1453484-1 is not prime.  Res64: 9307E2A63114825E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:53:02]
759*2^1453485-1 is not prime.  Res64: 378B0DF40A4CD111  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:53:02]
765*2^1453485-1 is not prime.  Res64: 311A75BF642F8D57  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:53:02]
787*2^1453485-1 is not prime.  Res64: 4CC99FF3E5DA562B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:53:03]
795*2^1453485-1 is not prime.  Res64: 9D7DAE480E34A522  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 22:53:03]
979*2^1453485-1 is not prime.  Res64: 7DE72B092E528D9D  Time : 0.0 sec.
user=juhehe
[2017-05-10 23:12:44]
997*2^1453485-1 is not prime.  Res64: EE226C7F366EF135  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:06]
603*2^1453486-1 is not prime.  Res64: 449D7BEDE2BB3A7E  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:07]
657*2^1453486-1 is not prime.  Res64: 9E1A3FD0FFADDAC7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:07]
773*2^1453486-1 is not prime.  Res64: 087255F59EE6A537  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:07]
777*2^1453486-1 is not prime.  Res64: B9F6188DE66B433B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:08]
923*2^1453486-1 is not prime.  Res64: 93E809DF06C8A875  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:44]
775*2^1453487-1 is not prime.  Res64: F12E21D4984F74BF  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:44]
823*2^1453487-1 is not prime.  Res64: C69354AE6CC742A7  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:45]
825*2^1453487-1 is not prime.  Res64: 55C89B3F55BF5B9B  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:45]
663*2^1453488-1 is not prime.  Res64: 08EC0275E7D39F25  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:45]
705*2^1453488-1 is not prime.  Res64: 5332C8EFA86B29A6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:53]
945*2^1453486-1 is not prime.  Res64: 3623D14D5C04BF22  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:53]
947*2^1453486-1 is not prime.  Res64: 4F0D6372FC5ACAE5  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:53]
603*2^1453487-1 is not prime.  Res64: 2F702381E102DEF4  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:54]
609*2^1453487-1 is not prime.  Res64: 7295AD8AF7A9C4AC  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:37:54]
739*2^1453487-1 is not prime.  Res64: 9421EF9EA8D3C9B6  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:38:00]
707*2^1453488-1 is not prime.  Res64: A77E0A70B192CB09  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:38:00]
713*2^1453488-1 is not prime.  Res64: FC7A53B5209DD9C2  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:38:01]
867*2^1453488-1 is not prime.  Res64: D81F9C7C8AFEC46F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:38:01]
915*2^1453488-1 is not prime.  Res64: 51AC0B0B82DED64F  Time : 0.0 sec.
user=mdettweiler
[2017-05-10 23:38:01]
609*2^1453489-1 is not prime.  Res64: 4F0049A4F68D761D  Time : 0.0 sec.
user=juhehe
[2017-05-10 23:40:05]
747*2^1453489-1 is not prime.  Res64: 07CBE8C0BF0B6131  Time : 0.0 sec.