Mersenne_number loading ...