user=mdettweiler
[2016-05-29 11:03:39]
589*2^1431487-1 is not prime.  Res64: B38A800B4AF79CB0  Time : 0.0 sec.