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.