user=mdettweiler
[2025-05-12 14:41:15]
537*2^2845129-1 is not prime.  Res64: DC13FE48C5A3A995  Time : 0.0 sec.