formula_127 + formula_128 + formula_129 + formula_130