user=mdettweiler
[2019-09-08 16:14:52]
567*2^1593576-1 is not prime.  Res64: 94A86B24029B9C26  Time : 0.0 sec.