user=mdettweiler
[2024-09-30 10:54:47]
525*2^2844990-1 is not prime.  Res64: 04C9D526AB7D11CD  Time : 0.0 sec.