user=mdettweiler
[2025-07-27 12:47:54]
477*2^2845165-1 is not prime.  Res64: 584082CC056914F8  Time : 0.0 sec.
user=mdettweiler
[2025-07-27 13:19:19]
481*2^2845165-1 is not prime.  Res64: D2712F44D55FFA16  Time : 0.0 sec.