user=mdettweiler
[2016-01-19 16:51:11]
585*2^1431323-1 is not prime.  Res64: F7795B98FAC27006  Time : 0.0 sec.