user=mdettweiler
[2024-06-19 07:00:42]
303*2^4902552-1 is not prime.  Res64: 5AF213227CBBC3FC  Time : 0.0 sec.