user=mdettweiler [2019-09-13 16:46:25] 503*2^1593578-1 is not prime. Res64: BDF612F3DAFCB796 Time : 0.0 sec.