user=mdettweiler
[2020-12-27 07:23:21]
351134*2^6633728-1 is not prime.  Res64: 734EC2CE0C7745CD  Time : 0.0 sec.