Marked_topMarked_factiveokMarked_properftopMarked_ggproperMarked_activemarkX2X1YXactive(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(f(g(X),Y))Marked_f(X,f(g(X),Y))Marked_active(f(X1,X2))Marked_f(active(X1),X2)Marked_active(f(X1,X2))Marked_active(X1)Marked_active(g(X))Marked_g(active(X))Marked_active(g(X))Marked_active(X)Marked_f(mark(X1),X2)Marked_f(X1,X2)Marked_g(mark(X))Marked_g(X)Marked_proper(f(X1,X2))Marked_f(proper(X1),proper(X2))Marked_proper(f(X1,X2))Marked_proper(X1)Marked_proper(f(X1,X2))Marked_proper(X2)Marked_proper(g(X))Marked_g(proper(X))Marked_proper(g(X))Marked_proper(X)Marked_f(ok(X1),ok(X2))Marked_f(X1,X2)Marked_g(ok(X))Marked_g(X)Marked_top(mark(X))Marked_top(proper(X))Marked_top(mark(X))Marked_proper(X)Marked_top(ok(X))Marked_top(active(X))Marked_top(ok(X))Marked_active(X)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_top(mark(X))Marked_top(proper(X))Marked_top(ok(X))Marked_top(active(X))mark220proper120g230top20f220ok320active10Marked_top20active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_proper(f(X1,X2))Marked_proper(X1)Marked_proper(f(X1,X2))Marked_proper(X2)Marked_proper(g(X))Marked_proper(X)Marked_proper1Marked_proper(g(X))Marked_proper(X)Marked_proper(f(X1,X2))Marked_proper(X2)Marked_proper(f(X1,X2))Marked_proper(X1)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_active(f(X1,X2))Marked_active(X1)Marked_active(g(X))Marked_active(X)Marked_active1Marked_active(g(X))Marked_active(X)Marked_active(f(X1,X2))Marked_active(X1)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_f(mark(X1),X2)Marked_f(X1,X2)Marked_f(ok(X1),ok(X2))Marked_f(X1,X2)Marked_f2Marked_f(ok(X1),ok(X2))Marked_f(X1,X2)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_f(mark(X1),X2)Marked_f(X1,X2)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_f(mark(X1),X2)Marked_f(X1,X2)Marked_f1Marked_f(mark(X1),X2)Marked_f(X1,X2)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))Marked_g(mark(X))Marked_g(X)Marked_g(ok(X))Marked_g(X)Marked_g1Marked_g(ok(X))Marked_g(X)Marked_g(mark(X))Marked_g(X)active(f(g(X),Y))mark(f(X,f(g(X),Y)))active(f(X1,X2))f(active(X1),X2)active(g(X))g(active(X))f(mark(X1),X2)mark(f(X1,X2))g(mark(X))mark(g(X))proper(f(X1,X2))f(proper(X1),proper(X2))proper(g(X))g(proper(X))f(ok(X1),ok(X2))ok(f(X1,X2))g(ok(X))ok(g(X))top(mark(X))top(proper(X))top(ok(X))top(active(X))