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