mersenne number example