user=mdettweiler [2012-07-16 13:25:07] 565*2^1135601-1 is not prime. Res64: 92A5EA415D40069F Time : 0.0 sec.