user=mdettweiler
[2018-01-14 06:29:16]
404*23^1947112-1 is not prime.  Res64: AD5F6AFE44F0DAF4  Time : 0.0 sec.