user=mdettweiler
[2024-12-19 03:52:43]
563*2^2845076-1 is not prime.  Res64: 5CC25442CC3FC063  Time : 0.0 sec.