user=mdettweiler
[2020-07-27 07:04:06]
478214*2^6623568-1 is not prime.  Res64: D7877D3F8745F733  Time : 0.0 sec.