user=mdettweiler
[2020-12-30 08:00:33]
19464*2^6633792-1 is not prime.  Res64: F5AC8F6F4BFD35CD  Time : 0.0 sec.