user=mdettweiler
[2019-07-28 04:37:41]
441*2^1593575-1 is not prime.  Res64: 8E33B8E959466C61  Time : 0.0 sec.