user=mdettweiler [2009-10-02 09:25:26] 387*2^335121-1 is not prime. Res64: 8BEC1CD28FBD9C1C Time : 0.0 sec.