user=mdettweiler
[2025-07-12 14:54:51]
401*2^2845150-1 is not prime.  Res64: FAA3D10C21BDFD03  Time : 0.0 sec.
user=mdettweiler
[2025-07-12 15:18:27]
481*2^2845149-1 is not prime.  Res64: 7F40EA72965F87CE  Time : 0.0 sec.
user=mdettweiler
[2025-07-12 15:18:38]
573*2^2845148-1 is not prime.  Res64: B1E87DBB52A8955A  Time : 0.0 sec.
user=mdettweiler
[2025-07-12 15:18:55]
525*2^2845149-1 is not prime.  Res64: 7A0E2676B93D00F9  Time : 0.0 sec.
user=mdettweiler
[2025-07-12 15:34:45]
537*2^2845149-1 is not prime.  Res64: F88CC48BC371AB62  Time : 0.0 sec.