user=mdettweiler
[2024-06-08 06:52:27]
309*2^4902409-1 is not prime.  Res64: F9519F4ECDF5CA59  Time : 0.0 sec.