(c3) (h) (hv_GF') (f) (f) (e) (f) (d) (ef) (f'_) (,) (h) (hv_GF) (g') (f) (e.) (e.) (::)