user=mdettweiler
[2020-12-23 07:01:56]
53133*2^6633669+1 is not prime.  Res64: FC6C81AED7BE3EB4  Time : 0.0 sec.