user=mdettweiler
[2025-07-13 02:26:43]
513*2^2845150-1 is not prime.  Res64: 2002373B2232C8F6  Time : 0.0 sec.
user=mdettweiler
[2025-07-13 03:08:17]
495*2^2845150-1 is not prime.  Res64: 76F7021DC4B2B518  Time : 0.0 sec.
user=mdettweiler
[2025-07-13 03:09:13]
483*2^2845150-1 is not prime.  Res64: A06B73476262BE7C  Time : 0.0 sec.