(f3) (h_|vi-) (h|vi) (f|ta) (h|vi-) (g>|vi>) (f|vi) (g|vihh) (f>|vi>) (e|ta) (e|ta) (f|vi) (h_|vi-) (g|ta) (i|vihg) (g|vi) (hg~|vi>) (f.|pe~) (f.|ta) (::) (h) (h) (h) (g) (ef) (f) (::)