user=mdettweiler [2012-02-11 14:50:35] 92817*2^498462-1 is not prime. Res64: 0DC4DD70943DF466 Time : 0.0 sec.