user=mdettweiler [2017-07-08 15:31:20] 404*23^1477004-1 is not prime. Res64: AED786C357A3FDA7 Time : 0.0 sec.