user=mdettweiler
[2020-11-22 04:09:44]
19464*2^6631152-1 is not prime.  Res64: C9FE2E61A5A2753C  Time : 0.0 sec.
user=mdettweiler
[2020-11-22 09:15:47]
351134*2^6631160-1 is not prime.  Res64: 2763935B30E9F75E  Time : 0.0 sec.