Cantor_pairing_function loading ...