user=mdettweiler
[2024-07-28 06:37:53]
303*2^4905258-1 is not prime.  Res64: 48F63A7ABDCB29F4  Time : 0.0 sec.