user=mdettweiler
[2020-07-22 09:03:30]
53133*2^6623421+1 is not prime.  Res64: 53742E0A8BF69DAB  Time : 0.0 sec.