user=mdettweiler
[2019-06-04 06:41:47]
579*2^1593572-1 is not prime.  Res64: 7091FD1DF217A38C  Time : 0.0 sec.
user=mdettweiler
[2019-06-04 13:31:17]
593*2^1593572-1 is not prime.  Res64: 13F7E50F0EBBD163  Time : 0.0 sec.