user=mdettweiler
[2017-05-06 06:20:46]
404*23^1428668-1 is not prime.  Res64: 84831682E443B0A1  Time : 0.0 sec.
user=mdettweiler
[2017-05-06 15:54:55]
404*23^1428284-1 is not prime.  Res64: CBA0472F4CD2D3D1  Time : 0.0 sec.
user=mdettweiler
[2017-05-06 21:29:16]
404*23^1428424-1 is not prime.  Res64: 27988EAD882CBB00  Time : 0.0 sec.