El código formula_5, que es el conjunto de elementos del código (binario), donde formula_6 es la palabra del código para formula_7.