Marked_copycopy0conssnilnMarked_ffzyxf(cons(nil,y))yf(cons(f(cons(nil,y)),z))copy(n,y,z)copy(0,y,z)f(z)copy(s(x),y,z)copy(x,y,cons(f(y),z))f(cons(nil,y))yf(cons(f(cons(nil,y)),z))copy(n,y,z)copy(0,y,z)f(z)copy(s(x),y,z)copy(x,y,cons(f(y),z))Marked_f(cons(f(cons(nil,y)),z))Marked_copy(n,y,z)Marked_copy(0,y,z)Marked_f(z)Marked_copy(s(x),y,z)Marked_copy(x,y,cons(f(y),z))Marked_copy(s(x),y,z)Marked_f(y)f(cons(nil,y))yf(cons(f(cons(nil,y)),z))copy(n,y,z)copy(0,y,z)f(z)copy(s(x),y,z)copy(x,y,cons(f(y),z))Marked_copy(s(x),y,z)Marked_copy(x,y,cons(f(y),z))Marked_copy1Marked_copy(s(x),y,z)Marked_copy(x,y,cons(f(y),z))f(cons(nil,y))yf(cons(f(cons(nil,y)),z))copy(n,y,z)copy(0,y,z)f(z)copy(s(x),y,z)copy(x,y,cons(f(y),z))