user=mdettweiler
[2025-07-16 13:06:19]
569*2^2845156-1 is not prime.  Res64: E3132942E66903E4  Time : 0.0 sec.
user=mdettweiler
[2025-07-16 13:07:34]
597*2^2845156-1 is not prime.  Res64: 489AA40FA2AFCCD3  Time : 0.0 sec.
user=mdettweiler
[2025-07-16 13:30:23]
587*2^2845156-1 is not prime.  Res64: 6574E8EA2C626B97  Time : 0.0 sec.