user=mdettweiler
[2025-07-23 12:32:17]
569*2^2845164-1 is not prime.  Res64: C3E47EED83D4BC94  Time : 0.0 sec.
user=mdettweiler
[2025-07-23 12:55:48]
557*2^2845164-1 is not prime.  Res64: 8E5FD1A322A5D43F  Time : 0.0 sec.