(c4) (g) (gj) (h>) (g') (h) (g') (f) (gh) (h') (g.) (g.) (;) (h') (i) (i') (j) (ig~) (h') (j) (i_j) (i.) (;) (i) (i) (j') (k) (j') (i) (j') (i) (hg) (h>) (g.h!iwj_IH.) (;) (e) (f') (g) (h>'') (g) (fe) (fv_ED) (d.) (,) (g_h) (g!hw!i_j/v_IH') (i) (hi) (g.) (g.) (::)