user=mdettweiler [2014-07-13 13:54:19] 1408059446535*2^1000000-1 is not prime. Res64: 3CC804E9110AA29B Time : 0.0 sec.