Marked_activeactiveMarked_ffMarked_markbamarkX3X2X1Xactive(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_active(f(a,X,X))Marked_mark(f(X,b,b))Marked_active(f(a,X,X))Marked_f(X,b,b)Marked_active(b)Marked_mark(a)Marked_mark(f(X1,X2,X3))Marked_active(f(X1,mark(X2),X3))Marked_mark(f(X1,X2,X3))Marked_f(X1,mark(X2),X3)Marked_mark(f(X1,X2,X3))Marked_mark(X2)Marked_mark(a)Marked_active(a)Marked_mark(b)Marked_active(b)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,mark(X2),X3)Marked_f(X1,X2,X3)Marked_f(X1,X2,mark(X3))Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,active(X2),X3)Marked_f(X1,X2,X3)Marked_f(X1,X2,active(X3))Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_active(f(a,X,X))Marked_mark(f(X,b,b))Marked_mark(f(X1,X2,X3))Marked_active(f(X1,mark(X2),X3))Marked_mark(f(X1,X2,X3))Marked_mark(X2)mark10a0b0Marked_mark10f220active10Marked_active20Marked_mark(f(X1,X2,X3))Marked_mark(X2)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_active(f(a,X,X))Marked_mark(f(X,b,b))Marked_mark(f(X1,X2,X3))Marked_active(f(X1,mark(X2),X3))active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_active(f(a,X,X))Marked_mark(f(X,b,b))Marked_mark(f(X1,X2,X3))Marked_active(f(X1,mark(X2),X3))mark000000000010100110000000000a110000000000000000b001000000000000000Marked_mark000000000000000100000000000f000000000001001000000000000001001000000000000active000000000010100110000000000Marked_active000000000000000100000000000Marked_active(f(a,X,X))Marked_mark(f(X,b,b))active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_mark(f(X1,X2,X3))Marked_active(f(X1,mark(X2),X3))active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,mark(X2),X3)Marked_f(X1,X2,X3)Marked_f(X1,X2,mark(X3))Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,active(X2),X3)Marked_f(X1,X2,X3)Marked_f(X1,X2,active(X3))Marked_f(X1,X2,X3)Marked_f3Marked_f(X1,X2,active(X3))Marked_f(X1,X2,X3)Marked_f(X1,X2,mark(X3))Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_f(X1,active(X2),X3)Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,mark(X2),X3)Marked_f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_f(X1,active(X2),X3)Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(X1,mark(X2),X3)Marked_f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f2Marked_f(X1,mark(X2),X3)Marked_f(X1,X2,X3)Marked_f(X1,active(X2),X3)Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f1Marked_f(active(X1),X2,X3)Marked_f(X1,X2,X3)Marked_f(mark(X1),X2,X3)Marked_f(X1,X2,X3)active(f(a,X,X))mark(f(X,b,b))active(b)mark(a)mark(f(X1,X2,X3))active(f(X1,mark(X2),X3))mark(a)active(a)mark(b)active(b)f(mark(X1),X2,X3)f(X1,X2,X3)f(X1,mark(X2),X3)f(X1,X2,X3)f(X1,X2,mark(X3))f(X1,X2,X3)f(active(X1),X2,X3)f(X1,X2,X3)f(X1,active(X2),X3)f(X1,X2,X3)f(X1,X2,active(X3))f(X1,X2,X3)