user=mdettweiler
[2021-01-04 06:16:38]
163503*2^6634071-1 is not prime.  Res64: 95A258408E840C47  Time : 0.0 sec.