user=mdettweiler
[2017-05-09 07:45:32]
404*23^1429288-1 is not prime.  Res64: 409232CEB8C222CD  Time : 0.0 sec.
user=mdettweiler
[2017-05-09 13:50:58]
404*23^1429616-1 is not prime.  Res64: 87B30BB76E988937  Time : 0.0 sec.
user=mdettweiler
[2017-05-09 16:53:16]
404*23^1429352-1 is not prime.  Res64: EF9A8408A147DFF9  Time : 0.0 sec.