user=mdettweiler
[2025-07-09 14:28:05]
493*2^2845147-1 is not prime.  Res64: CD7FC7EA743B484C  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:20:03]
573*2^2845147-1 is not prime.  Res64: A8F9D35BAFB4A5D8  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:20:07]
519*2^2845147-1 is not prime.  Res64: CCCB044C85C3F99C  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:20:13]
437*2^2845148-1 is not prime.  Res64: 1DA40DB88E0EF94D  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:20:37]
539*2^2845148-1 is not prime.  Res64: 8A22DCFA04BB3990  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:44:48]
537*2^2845148-1 is not prime.  Res64: 7CD11A32BCB45C50  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 16:45:19]
515*2^2845148-1 is not prime.  Res64: ADB6D3E7AA6A6D33  Time : 0.0 sec.
user=mdettweiler
[2025-07-09 17:03:10]
545*2^2845148-1 is not prime.  Res64: 4F38C813FB944509  Time : 0.0 sec.