mersenne prime example