user=mdettweiler
[2017-11-07 06:54:05]
404*23^1934684-1 is not prime.  Res64: 30A3FAF6E5C52CA0  Time : 0.0 sec.