user=mdettweiler
[2018-01-17 00:43:14]
404*23^1947356-1 is not prime.  Res64: 2DD708FD242F10CE  Time : 0.0 sec.