formula_55 formula_56 formula_57 formula_58