user=mdettweiler
[2020-08-18 00:38:56]
705*2^1564151-1 is not prime.  Res64: CC9937427F696AA8  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 04:43:06]
961*2^1564149-1 is not prime.  Res64: 12718C680B1BFB57  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 06:28:06]
711*2^1564151-1 is not prime.  Res64: B12B7C071B3282F5  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 06:28:06]
775*2^1564151-1 is not prime.  Res64: 2A05682307A8BDAD  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 06:28:07]
605*2^1564152-1 is not prime.  Res64: D3A77DFADA5EA63B  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 06:28:07]
797*2^1564152-1 is not prime.  Res64: 972CBF136DBB4C65  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 07:22:47]
879*2^1564152-1 is not prime.  Res64: 62DEB8228B9EEC97  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 07:22:47]
977*2^1564152-1 is not prime.  Res64: 760B4DF85DEE1A8F  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 07:22:48]
625*2^1564153-1 is not prime.  Res64: 5B1E4403C7A8A949  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 07:22:48]
705*2^1564153-1 is not prime.  Res64: D7FA05E14E470266  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 07:22:48]
729*2^1564153-1 is not prime.  Res64: B18A4ACB8A1BDFD9  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 08:19:29]
747*2^1564153-1 is not prime.  Res64: 2546B2D1D6D2E6B7  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 10:18:54]
623*2^1564150-1 is not prime.  Res64: AFC1C44C28551ED9  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 10:18:55]
743*2^1564150-1 is not prime.  Res64: 9E5BD25D683B1595  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 10:18:56]
813*2^1564150-1 is not prime.  Res64: 485710BD52CE5588  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 11:13:33]
851*2^1564154-1 is not prime.  Res64: 74721743C51AD00B  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 11:14:00]
921*2^1564154-1 is not prime.  Res64: 3978BD2D3E2A0433  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 13:55:26]
855*2^1564153-1 is not prime.  Res64: 48D5A80C23C8BD73  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 13:55:26]
885*2^1564153-1 is not prime.  Res64: F3FD80D40832D8FC  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 13:55:26]
999*2^1564153-1 is not prime.  Res64: 7912348B45ACD73D  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 13:55:27]
665*2^1564154-1 is not prime.  Res64: 54689B6F6645D2A8  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 14:49:15]
723*2^1564155-1 is not prime.  Res64: 93C8D769865F8546  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 14:49:16]
751*2^1564155-1 is not prime.  Res64: 69A1073E77DC7BF0  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 14:49:16]
775*2^1564155-1 is not prime.  Res64: 7DA88F157EA89591  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 14:49:16]
955*2^1564155-1 is not prime.  Res64: 998B0DA3E72D3884  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 14:49:16]
615*2^1564156-1 is not prime.  Res64: EEDEF92538274670  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 15:46:35]
707*2^1564156-1 is not prime.  Res64: E0728CFA933A7CBF  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 16:42:39]
601*2^1564155-1 is not prime.  Res64: 0D2D888B1B66A799  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 16:42:39]
613*2^1564155-1 is not prime.  Res64: F8F503E7B8F53C4C  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 16:42:39]
711*2^1564155-1 is not prime.  Res64: F8034D4E74B6E590  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 17:40:03]
953*2^1564156-1 is not prime.  Res64: 4B39BA9E4BF9BF39  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 17:40:03]
965*2^1564156-1 is not prime.  Res64: A7321910DA674396  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 17:40:03]
969*2^1564156-1 is not prime.  Res64: D251A1A4872FBECF  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 17:40:03]
989*2^1564156-1 is not prime.  Res64: 83135677D0A19D02  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 17:40:04]
669*2^1564157-1 is not prime.  Res64: 9A31BF2A370D427A  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 18:34:08]
685*2^1564157-1 is not prime.  Res64: 8F1534CED6976544  Time : 0.0 sec.
user=mdettweiler
[2020-08-18 21:20:10]
869*2^1564156-1 is not prime.  Res64: F4FFBEC67144A632  Time : 0.0 sec.