user=mdettweiler
[2017-03-26 20:30:44]
404*23^1409884-1 is not prime.  Res64: 4EF320E4DEABBEA7  Time : 0.0 sec.