user=mdettweiler [2025-04-24 00:22:12] 499*2^2845129-1 is not prime. Res64: 0E560C1E88DB1A77 Time : 0.0 sec. user=mdettweiler [2025-04-24 00:22:15] 597*2^2845128-1 is not prime. Res64: 08E44B167DD4626B Time : 0.0 sec.