user=mdettweiler
[2020-09-11 17:05:40]
351134*2^6629328-1 is not prime.  Res64: 73F88A754261435E  Time : 0.0 sec.