user=mdettweiler
[2020-12-02 00:41:32]
163503*2^6632991-1 is not prime.  Res64: 4EF2E86B9B52A991  Time : 0.0 sec.