user=mdettweiler
[2020-09-17 09:16:15]
478214*2^6629508-1 is not prime.  Res64: 7A667284E2FFB211  Time : 0.0 sec.