user=mdettweiler
[2017-12-26 00:18:50]
14361*2^5211990-1 is not prime.  Res64: 4D44D1A8EA463856  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 00:43:03]
14361*2^5211918-1 is not prime.  Res64: 57A4B889BF6D7AAE  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 01:08:17]
351134*2^5212064-1 is not prime.  Res64: 69C30301947A3357  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 01:58:29]
163503*2^5212107-1 is not prime.  Res64: D3B4CA26D0E7CADA  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 02:49:13]
103947*2^5212181-1 is not prime.  Res64: 6330E87FF1E05B60  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 03:00:12]
101746*2^5212072+1 is not prime.  Res64: 2E5C62891ED3D26A  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 03:39:35]
154317*2^5212185-1 is not prime.  Res64: DB9FFDEC8ACC53E3  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 04:30:20]
90646*2^5212200+1 is not prime.  Res64: C122AE5B3369ED8B  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 05:20:08]
163503*2^5212191-1 is not prime.  Res64: 55CDC768711EDED1  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 05:21:51]
351134*2^5212224-1 is not prime.  Res64: 59E2D6C506557DB1  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 06:12:37]
351134*2^5212248-1 is not prime.  Res64: A70B564837A8A9CC  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 07:02:57]
351134*2^5212256-1 is not prime.  Res64: 168A0EA36F569A88  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 07:27:43]
14361*2^5212230-1 is not prime.  Res64: 86412F91B5E84CCD  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 07:52:57]
154317*2^5212257-1 is not prime.  Res64: 204716B44DD0AD7A  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 08:43:04]
103947*2^5212269-1 is not prime.  Res64: 256B7AD57C003149  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 09:34:54]
101746*2^5212272+1 is not prime.  Res64: A8A8C402DC2D6879  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 09:42:52]
351134*2^5212264-1 is not prime.  Res64: BF37455BEE1EBE89  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 10:25:37]
478214*2^5212296-1 is not prime.  Res64: 91AFCC6B8A6DE194  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 11:16:32]
90646*2^5212320+1 is not prime.  Res64: 19109F51150CA135  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 12:00:14]
101746*2^5212312+1 is not prime.  Res64: 2647F3395EA28631  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 12:06:50]
103947*2^5212325-1 is not prime.  Res64: 4DB54327B2EE99A0  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 12:57:43]
101746*2^5212384+1 is not prime.  Res64: C45AC92CEE64D650  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 13:47:22]
351134*2^5212424-1 is not prime.  Res64: 74993529E41246B7  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 14:23:35]
478214*2^5212368-1 is not prime.  Res64: DA399F981FCA4875  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 14:33:53]
39687*2^5212437-1 is not prime.  Res64: A20E20BAD7258C3D  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 15:23:53]
351134*2^5212440-1 is not prime.  Res64: 295AA830721DF674  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 16:15:52]
53133*2^5212461+1 is not prime.  Res64: 6C3B3DC29BD05629  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 16:37:32]
14361*2^5208606-1 is not prime.  Res64: C5C058D43E067DCC  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 18:28:28]
19464*2^5212488-1 is not prime.  Res64: 77056DAF30E0400A  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 19:34:20]
154317*2^5212497-1 is not prime.  Res64: DAB9D5B97301999D  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 20:25:03]
90646*2^5212512+1 is not prime.  Res64: F736C674286AE203  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 20:43:59]
90646*2^5212488+1 is not prime.  Res64: E224E64CABD6369F  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 21:11:21]
14361*2^5212518-1 is not prime.  Res64: E9AD9A6FA60D0343  Time : 0.0 sec.
user=mdettweiler
[2017-12-26 23:01:20]
53133*2^5212581+1 is not prime.  Res64: BBF4E5331EB425AB  Time : 0.0 sec.