user=mdettweiler
[2020-11-15 07:46:52]
154317*2^6630945-1 is not prime.  Res64: 7F996E88D32C0E41  Time : 0.0 sec.