user=mdettweiler [2019-06-01 21:26:02] 437*2^1593572-1 is not prime. Res64: 08E97A55219FDEDD Time : 0.0 sec.