user=mdettweiler
[2020-11-17 11:18:46]
163503*2^6630987-1 is not prime.  Res64: 7BB488545BD835B6  Time : 0.0 sec.