user=mdettweiler
[2020-11-18 07:20:16]
154317*2^6631017-1 is not prime.  Res64: E5A16CA69CD631FF  Time : 0.0 sec.
user=mdettweiler
[2020-11-18 13:18:56]
351134*2^6631040-1 is not prime.  Res64: 521DB34B35F4A8DE  Time : 0.0 sec.