user=mdettweiler
[2020-10-10 07:38:44]
478214*2^6630156-1 is not prime.  Res64: ED69855724614FD6  Time : 0.0 sec.
user=mdettweiler
[2020-10-10 07:39:23]
351134*2^6630184-1 is not prime.  Res64: 0C5EE510DF7E7073  Time : 0.0 sec.