user=mdettweiler
[2024-10-09 15:07:42]
587*2^2844990-1 is not prime.  Res64: A601A4B845B61739  Time : 0.0 sec.