user=mdettweiler
[2020-11-08 07:49:05]
154317*2^6630801-1 is not prime.  Res64: 9E71B3EE66FB09EC  Time : 0.0 sec.
user=mdettweiler
[2020-11-08 09:55:11]
103947*2^6630885-1 is not prime.  Res64: 85435DBD49A359EC  Time : 0.0 sec.