user=mdettweiler
[2021-03-05 02:22:47]
511*2^1606759-1 is not prime.  Res64: 8883437DA5B3F3C3  Time : 0.0 sec.
user=mdettweiler
[2021-03-05 02:33:58]
523*2^1606759-1 is not prime.  Res64: 1152BDFAB1821DD3  Time : 0.0 sec.