user=mdettweiler
[2020-12-13 06:55:04]
39687*2^6633213-1 is not prime.  Res64: 094FFAFA7E744CE1  Time : 0.0 sec.
user=mdettweiler
[2020-12-13 22:59:47]
32247*2^6633267+1 is not prime.  Res64: 50EEBC213A1F76ED  Time : 0.0 sec.