user=mdettweiler
[2017-12-02 23:45:08]
351134*2^5188760-1 is not prime.  Res64: 6D95C27A8F4DA0DF  Time : 0.0 sec.