user=mdettweiler
[2020-01-11 23:28:54]
685*2^1552459-1 is not prime.  Res64: D8946CEF3A8977BE  Time : 0.0 sec.
user=mdettweiler
[2020-01-11 23:28:54]
745*2^1552459-1 is not prime.  Res64: 2C22A9FE7C5D3B0B  Time : 0.0 sec.
user=mdettweiler
[2020-01-11 23:28:54]
765*2^1552459-1 is not prime.  Res64: CF729016FEA5C2B6  Time : 0.0 sec.