user=mdettweiler
[2025-07-08 13:52:37]
441*2^2845147-1 is not prime.  Res64: 08E2F94B4E683597  Time : 0.0 sec.