user=mdettweiler
[2021-01-07 09:14:39]
163503*2^6634119-1 is not prime.  Res64: 0B785D6590E3CD6E  Time : 0.0 sec.