user=mdettweiler [2012-04-21 16:13:42] 71049*2^498529-1 is not prime. Res64: 548B065DBE2CAD4C Time : 0.0 sec.