user=mdettweiler
[2020-10-23 01:11:26]
154317*2^6630297-1 is not prime.  Res64: 660DE001CA1B8E25  Time : 0.0 sec.