user=mdettweiler
[2025-03-12 00:42:21]
511*2^2845099-1 is not prime.  Res64: 1F36E0361555FE72  Time : 0.0 sec.