user=mdettweiler
[2025-05-18 01:31:21]
475*2^2845131-1 is not prime.  Res64: 0E6F51E067C09549  Time : 0.0 sec.
user=mdettweiler
[2025-05-18 01:31:37]
535*2^2845131-1 is not prime.  Res64: 495F130CDE6AB3BC  Time : 0.0 sec.