user=mdettweiler
[2020-07-25 06:21:40]
351134*2^6623456-1 is not prime.  Res64: EEF8F02A28608990  Time : 0.0 sec.