Así, del listado inicial podemos deducir que formula_55.