user=mdettweiler
[2020-11-11 07:13:11]
53133*2^6630909+1 is not prime.  Res64: B3BF5856DFD635F0  Time : 0.0 sec.