(cb3) (i) (I) (i) (f#I[ub:1;3mm]/h) (f;) (h) (I) (i!k) (K) (k!j) (i!j) (J) (j:) (f) (h) (I) (i!j) (i[ub:1;3mm][cs:+]!H) (h!g) (f;) (f!g) (E) (d#e!d) (D) (e;) (F) (f!g) (F) (f!e) (F) (f;) (h!i) (g!f) (e) (D) (d:) (h) (I) (i!j) (H) (k!j) (i;) (i) (I) (i!h) (G) (f[cs:+]) (e!f) (f;) (F) (f) (F[ub:1;3mm]) (E[cs:+]!D) (h) (H) (h;) (i!j) (J) (k!j) (I) (i!j[cs:+]) (j;) (j) (I) (i!h[cs:+]) (f) (i) (H) (h!g) (H) (i!j[cs:+]) (I) (i) (h#h) (I) (i;) (f) (h) (i!k!j) (j!i::)