user=mdettweiler
[2020-12-14 12:16:19]
478214*2^6633288-1 is not prime.  Res64: 4B8A98AC9208C111  Time : 0.0 sec.