mersenne prime number example