consMarked_femptygMarked_gfcbaxlkf(empty,l)lf(cons(x,k),l)g(k,l,cons(x,k))g(a,b,c)f(a,cons(b,c))f(empty,l)lf(cons(x,k),l)g(k,l,cons(x,k))g(a,b,c)f(a,cons(b,c))Marked_f(cons(x,k),l)Marked_g(k,l,cons(x,k))Marked_g(a,b,c)Marked_f(a,cons(b,c))f(empty,l)lf(cons(x,k),l)g(k,l,cons(x,k))g(a,b,c)f(a,cons(b,c))Marked_f(cons(x,k),l)Marked_g(k,l,cons(x,k))Marked_g(a,b,c)Marked_f(a,cons(b,c))Marked_g1Marked_f1Marked_f(cons(x,k),l)Marked_g(k,l,cons(x,k))f(empty,l)lf(cons(x,k),l)g(k,l,cons(x,k))g(a,b,c)f(a,cons(b,c))Marked_g(a,b,c)Marked_f(a,cons(b,c))