user=mdettweiler [2018-02-06 15:46:56] 404*23^1947416-1 is not prime. Res64: 1123254C84958A67 Time : 0.0 sec.