user=mdettweiler
[2017-01-20 10:33:28]
404*23^1388384-1 is not prime.  Res64: 724CF366ADBCAE2D  Time : 0.0 sec.
user=mdettweiler
[2017-01-20 10:57:21]
404*23^1388396-1 is not prime.  Res64: 989BF0DC5FB95A5E  Time : 0.0 sec.