user=mdettweiler
[2020-10-26 09:48:11]
478214*2^6630336-1 is not prime.  Res64: 0F31F066A8D98117  Time : 0.0 sec.