Marked_a__fafa__bMarked_a__bbmarkMarked_marka__fX3X2X1Xa__f(a,X,X)a__f(X,a__b,b)a__bamark(f(X1,X2,X3))a__f(X1,mark(X2),X3)mark(b)a__bmark(a)aa__f(X1,X2,X3)f(X1,X2,X3)a__bba__f(a,X,X)a__f(X,a__b,b)a__bamark(f(X1,X2,X3))a__f(X1,mark(X2),X3)mark(b)a__bmark(a)aa__f(X1,X2,X3)f(X1,X2,X3)a__bbMarked_a__f(a,X,X)Marked_a__f(X,a__b,b)Marked_a__f(a,X,X)Marked_a__bMarked_mark(f(X1,X2,X3))Marked_a__f(X1,mark(X2),X3)Marked_mark(f(X1,X2,X3))Marked_mark(X2)Marked_mark(b)Marked_a__ba__f(a,X,X)a__f(X,a__b,b)a__bamark(f(X1,X2,X3))a__f(X1,mark(X2),X3)mark(b)a__bmark(a)aa__f(X1,X2,X3)f(X1,X2,X3)a__bbMarked_mark(f(X1,X2,X3))Marked_mark(X2)a__f12110Marked_mark30mark110b10a__b20f12110a20a__f(a,X,X)a__f(X,a__b,b)a__bamark(f(X1,X2,X3))a__f(X1,mark(X2),X3)mark(b)a__bmark(a)aa__f(X1,X2,X3)f(X1,X2,X3)a__bbMarked_a__f(a,X,X)Marked_a__f(X,a__b,b)a__f0mark30b0a__b30f0a30Marked_a__f220