user=mdettweiler
[2016-07-14 00:16:29]
404*23^1282288-1 is not prime.  Res64: ABB7E0E8F54DBD24  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 01:29:33]
404*23^1282652-1 is not prime.  Res64: 500D0E889DC138B8  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 07:51:26]
404*23^1282156-1 is not prime.  Res64: A4CE2ABA0B216B4B  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 08:17:25]
404*23^1283072-1 is not prime.  Res64: DE347A7C94B7F13E  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 09:24:04]
404*23^1283096-1 is not prime.  Res64: 7B79A40A12D721FF  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 18:13:46]
404*23^1282828-1 is not prime.  Res64: 615A576ED0B1B7BD  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 19:21:11]
404*23^1282876-1 is not prime.  Res64: 4CCD4D8C6804CC18  Time : 0.0 sec.
user=mdettweiler
[2016-07-14 21:07:04]
404*23^1283024-1 is not prime.  Res64: D2DF8E4D32B7794A  Time : 0.0 sec.