(c3) (i') (h) (g) (i') (h) (g) (i') (j) (h') (i) (hi) (e.) (;) (f') (d) (ef) (f) (f') (h) (g') (h) (fv_ED) (ef~) (f) (e.) (e.) (::) (i) (i) (j) (i) (h) (gh..) (::)