user=mdettweiler
[2017-04-08 01:15:30]
404*23^1414448-1 is not prime.  Res64: C6FF96BAA301C16E  Time : 0.0 sec.
user=mdettweiler
[2017-04-08 11:42:40]
404*23^1414508-1 is not prime.  Res64: 4AA6FF0FF07ABB92  Time : 0.0 sec.
user=mdettweiler
[2017-04-08 16:08:04]
404*23^1414616-1 is not prime.  Res64: 156DCA795C8998F1  Time : 0.0 sec.