mersenne_prime

mersenne_prime