user=mdettweiler [2017-05-28 06:22:52] 19464*2^4921224-1 is not prime. Res64: C5F76B2D41A617E3 Time : 0.0 sec.