user=mdettweiler
[2020-10-02 09:19:56]
478214*2^6629976-1 is not prime.  Res64: 6283ED205599AA5B  Time : 0.0 sec.