user=mdettweiler
[2025-07-24 11:44:29]
405*2^2845165-1 is not prime.  Res64: 65E255EE24DACA76  Time : 0.0 sec.