user=mdettweiler
[2017-01-15 02:30:16]
404*23^1386704-1 is not prime.  Res64: D56EB3A98420ACD8  Time : 0.0 sec.
user=mdettweiler
[2017-01-15 09:55:30]
404*23^1386844-1 is not prime.  Res64: 359307DD1B236884  Time : 0.0 sec.