user=mdettweiler
[2020-09-14 07:17:34]
154317*2^6629433-1 is not prime.  Res64: 05C2FD8A99BED8CC  Time : 0.0 sec.
user=mdettweiler
[2020-09-14 16:06:02]
351134*2^6629440-1 is not prime.  Res64: 4EF737F395C1A8A3  Time : 0.0 sec.