user=mdettweiler
[2021-02-27 04:37:08]
517*2^1606753-1 is not prime.  Res64: 0C2C52DA6A42A137  Time : 0.0 sec.