(f2) (ghg) (e) (f) (gv) (g) (:) (h) (G) (hv) (i) (gv) (g) (:) (jv) (j) (k) (jv) (j!k) (h) (G) (hv) (i) (hv) (g) (:) (g!h) (i) (h) (gv) (e!f) (gv) (H) (g) (f) (e!f) (d) (:) (ghg) (E) (f) (gv) (g) (::)