Catalan–Mersenne_number loading ...