user=mdettweiler
[2016-06-05 08:53:08]
404*23^1254428-1 is not prime.  Res64: DD85EDB41C07A03E  Time : 0.0 sec.
user=mdettweiler
[2016-06-05 09:48:44]
404*23^1254464-1 is not prime.  Res64: 0E65DEF71F7DB705  Time : 0.0 sec.
user=mdettweiler
[2016-06-05 16:25:42]
404*23^1254568-1 is not prime.  Res64: 85DAB9E215E9ACB3  Time : 0.0 sec.