user=mdettweiler
[2012-05-31 13:08:27]
60267*2^498530-1 is not prime.  Res64: 3DBF2170A2198B34  Time : 0.0 sec.