definida para formula_64.