user=mdettweiler
[2017-03-22 14:44:28]
404*23^1408624-1 is not prime.  Res64: 7593B21159B5A525  Time : 0.0 sec.
user=mdettweiler
[2017-03-22 16:20:10]
404*23^1408712-1 is not prime.  Res64: 639534342DDFF493  Time : 0.0 sec.
user=mdettweiler
[2017-03-22 19:37:19]
404*23^1408732-1 is not prime.  Res64: A996F82CA9D36FE1  Time : 0.0 sec.