user=mdettweiler [2009-12-11 18:08:55] 4233*22^249950+1 is not prime. Res64: AEA4C265D58950A3 Time : 0.0 sec.