user=mdettweiler
[2020-12-16 09:25:05]
163503*2^6633531-1 is not prime.  Res64: 51D33DA1FD6EB0B6  Time : 0.0 sec.