(f3) (f) (f) (h!i) (g[cs:+]) (h) (I) (i!j:) (j) (j!i) (H[ub:1;4mm]g[cs:+];) (h) (i!j) (f) (e#e) (F) (f!g:) (e!h) (g!f;) (f!j!i) (h!g[cs:+]) (F) (f!g;) (g!i) (F) (g!f) (e;) (h!g[cs:+]) (H) (h!i) (h;) (h) (i!j) (kxk!j) (I) (i!j;) (e#f!e) (F) (f!g!h) (g!f:) (f!j!i!h!g[cs:+]) (F) (e#e!f) (f::)