user=mdettweiler
[2016-06-07 08:01:07]
404*23^1253644-1 is not prime.  Res64: AE0DEE655669EDF7  Time : 0.0 sec.
user=mdettweiler
[2016-06-07 18:17:11]
404*23^1255052-1 is not prime.  Res64: FD3FCEE88EEECB2B  Time : 0.0 sec.
user=mdettweiler
[2016-06-07 18:25:34]
404*23^1255072-1 is not prime.  Res64: BE63B75559D8069F  Time : 0.0 sec.
user=mdettweiler
[2016-06-07 20:56:50]
404*23^1255244-1 is not prime.  Res64: E3567B5A479DA49C  Time : 0.0 sec.