user=mdettweiler
[2017-05-28 03:42:02]
404*23^1438988-1 is not prime.  Res64: 4ED5746333033DFC  Time : 0.0 sec.
user=mdettweiler
[2017-05-28 07:19:15]
404*23^1439192-1 is not prime.  Res64: 045A83AB28F84DE3  Time : 0.0 sec.
user=mdettweiler
[2017-05-28 15:25:52]
404*23^1439276-1 is not prime.  Res64: 6D803DC60716B475  Time : 0.0 sec.
user=mdettweiler
[2017-05-28 19:31:59]
404*23^1439368-1 is not prime.  Res64: DC04FACAFC584106  Time : 0.0 sec.