user=mdettweiler
[2020-11-10 15:15:44]
154317*2^6630897-1 is not prime.  Res64: 5A01EB3A4315FD80  Time : 0.0 sec.