user=mdettweiler
[2020-11-20 00:18:52]
163503*2^6631059-1 is not prime.  Res64: 87195E83DC6138A3  Time : 0.0 sec.