user=mdettweiler
[2020-09-12 09:19:37]
478214*2^6629328-1 is not prime.  Res64: D1B8C47E6B0889E1  Time : 0.0 sec.