user=mdettweiler
[2020-09-20 07:35:39]
351134*2^6629528-1 is not prime.  Res64: F676C4304EF32310  Time : 0.0 sec.