is_mersenne_prime change to table for known values