is mersenne prime #2