RE: [math-fun] New Mersenne prime, exponent 30,402,457