(c3) (f!i) (I) (i!h) (gxg) (f[cs:+]) (E) (e!f) (:) (f!i) (h!k!j) (I) (i!j) (;) (f!h!i!j) (I) (i) (h#h!i) (i) (:) (f) (f) (E) (gxe!g!f) (f!e) (d) (;) (f) (h) (gxg) (g!f[cs:+]) (E) (d#e!d) (;) (e!f) (f) (::)