user=mdettweiler
[2017-02-02 07:55:24]
404*23^1393232-1 is not prime.  Res64: 07198E392917E51C  Time : 0.0 sec.
user=mdettweiler
[2017-02-02 09:28:37]
404*23^1393312-1 is not prime.  Res64: 125786DD563A143C  Time : 0.0 sec.
user=mdettweiler
[2017-02-02 17:49:27]
404*23^1393384-1 is not prime.  Res64: 72D224D149D3D64B  Time : 0.0 sec.
user=mdettweiler
[2017-02-02 19:26:02]
404*23^1393484-1 is not prime.  Res64: A98EEC5206D2F507  Time : 0.0 sec.