user=mdettweiler [2017-02-24 13:09:44] 404*23^1403212-1 is not prime. Res64: 1F90F24BA5E80368 Time : 0.0 sec.