user=mdettweiler
[2017-04-30 05:40:42]
404*23^1426712-1 is not prime.  Res64: 2CE82A25C219E764  Time : 0.0 sec.
user=mdettweiler
[2017-04-30 08:33:51]
404*23^1426064-1 is not prime.  Res64: 9BD57CF481847926  Time : 0.0 sec.
user=mdettweiler
[2017-04-30 12:08:02]
404*23^1426732-1 is not prime.  Res64: 7771CC7E7FA64ACF  Time : 0.0 sec.
user=mdettweiler
[2017-04-30 12:10:27]
404*23^1426424-1 is not prime.  Res64: BB12A4630F5A89FE  Time : 0.0 sec.