user=mdettweiler
[2019-06-02 20:32:09]
573*2^1593572-1 is not prime.  Res64: 55BBC6CA876122CB  Time : 0.0 sec.