mersenne prime check