Largest known non-Mersenne prime