Así, la transición formula_59 se codifica como