user=mdettweiler
[2024-07-19 03:06:12]
309*2^4904909-1 is not prime.  Res64: D0E95ACC208D512F  Time : 0.0 sec.