user=mdettweiler
[2017-05-29 05:32:52]
404*23^1439384-1 is not prime.  Res64: 7250FEC82CDFCB18  Time : 0.0 sec.
user=mdettweiler
[2017-05-29 09:10:32]
404*23^1439404-1 is not prime.  Res64: 8D344B98BD1ABEF3  Time : 0.0 sec.