En particular, este programa imprime cada átomo (el identificador, es decir, un número) con su nombre (su string asociado).