user=mdettweiler
[2020-09-24 07:19:40]
478214*2^6629724-1 is not prime.  Res64: C8E744D452CBEBC2  Time : 0.0 sec.