FactorInteger(2^67-1)