user=mdettweiler
[2024-12-15 05:08:49]
537*2^2845076-1 is not prime.  Res64: 215CADA031D9F330  Time : 0.0 sec.