user=mdettweiler
[2024-09-28 10:32:36]
411*2^2844990-1 is not prime.  Res64: 6FF334CF8899EEC4  Time : 0.0 sec.
user=mdettweiler
[2024-09-28 11:30:04]
431*2^2844990-1 is not prime.  Res64: C787048275C5207E  Time : 0.0 sec.
user=mdettweiler
[2024-09-28 11:37:20]
513*2^2844990-1 is not prime.  Res64: 89C09F25938A06C2  Time : 0.0 sec.