user=mdettweiler
[2020-07-23 09:25:55]
351134*2^6623424-1 is not prime.  Res64: 7007D3F76238B8F9  Time : 0.0 sec.