user=mdettweiler
[2021-08-22 04:29:27]
477*2^1616834-1 is not prime.  Res64: 8ECB63E08C88D12C  Time : 0.0 sec.