user=mdettweiler
[2019-05-28 04:29:13]
563*2^1593572-1 is not prime.  Res64: A54DFA8B336571FE  Time : 0.0 sec.