user=mdettweiler
[2017-05-25 03:57:01]
404*23^1438472-1 is not prime.  Res64: 40B845A601C21A43  Time : 0.0 sec.