user=mdettweiler
[2021-01-11 07:11:05]
351134*2^6634216-1 is not prime.  Res64: BF5C4CBC8DDAE72C  Time : 0.0 sec.