user=mdettweiler
[2020-11-19 11:08:58]
351134*2^6631048-1 is not prime.  Res64: 1B77F782E55F76E5  Time : 0.0 sec.