user=mdettweiler [2018-01-15 21:59:40] 404*23^1947224-1 is not prime. Res64: 7F2581967CD9ACC5 Time : 0.0 sec.