user=mdettweiler
[2020-09-06 07:10:22]
351134*2^6629240-1 is not prime.  Res64: 88EA14DB36417FDC  Time : 0.0 sec.