user=mdettweiler
[2020-11-14 11:49:55]
32247*2^6630915+1 is not prime.  Res64: 6086D6BE68501221  Time : 0.0 sec.