user=mdettweiler
[2020-12-17 07:22:04]
351134*2^6633544-1 is not prime.  Res64: 56BEE929321D168C  Time : 0.0 sec.