user=mdettweiler
[2020-12-25 07:18:54]
163503*2^6633711-1 is not prime.  Res64: A57ED9C67268F897  Time : 0.0 sec.