user=mdettweiler [2017-07-13 15:03:04] 404*23^1477136-1 is not prime. Res64: 4C8A4F11202386E4 Time : 0.0 sec. user=mdettweiler [2017-07-13 15:14:57] 404*23^1477112-1 is not prime. Res64: 6D75669319DE5F30 Time : 0.0 sec.