user=mdettweiler
[2019-07-10 22:15:25]
567*2^1593574-1 is not prime.  Res64: D259BAB23204C96F  Time : 0.0 sec.