is mersenne prime #1