cMarked_fafMarked_bbzyxf(c(a,z,x))b(a,z)b(x,b(z,y))f(b(f(f(z)),c(x,z,y)))b(y,z)zf(c(a,z,x))b(a,z)b(x,b(z,y))f(b(f(f(z)),c(x,z,y)))b(y,z)zMarked_f(c(a,z,x))Marked_b(a,z)Marked_b(x,b(z,y))Marked_f(b(f(f(z)),c(x,z,y)))Marked_b(x,b(z,y))Marked_b(f(f(z)),c(x,z,y))Marked_b(x,b(z,y))Marked_f(f(z))Marked_b(x,b(z,y))Marked_f(z)f(c(a,z,x))b(a,z)b(x,b(z,y))f(b(f(f(z)),c(x,z,y)))b(y,z)zMarked_f(c(a,z,x))Marked_b(a,z)Marked_b(x,b(z,y))Marked_f(b(f(f(z)),c(x,z,y)))Marked_b(x,b(z,y))Marked_f(f(z))Marked_b(x,b(z,y))Marked_f(z)b011000000010010010100111001000000000Marked_b000000000000000000000100100000000000f010000000111000000000000000a001000000000000000Marked_f000000000000000100000000000c100000000000000000100101101000000000000000000Marked_b(x,b(z,y))Marked_f(b(f(f(z)),c(x,z,y)))Marked_b(x,b(z,y))Marked_f(f(z))Marked_b(x,b(z,y))Marked_f(z)f(c(a,z,x))b(a,z)b(x,b(z,y))f(b(f(f(z)),c(x,z,y)))b(y,z)zMarked_f(c(a,z,x))Marked_b(a,z)