Marked_femptyconsfkayxf(x,empty)xf(empty,cons(a,k))f(cons(a,k),k)f(cons(a,k),y)f(y,k)f(x,empty)xf(empty,cons(a,k))f(cons(a,k),k)f(cons(a,k),y)f(y,k)Marked_f(empty,cons(a,k))Marked_f(cons(a,k),k)Marked_f(cons(a,k),y)Marked_f(y,k)f(x,empty)xf(empty,cons(a,k))f(cons(a,k),k)f(cons(a,k),y)f(y,k)Marked_f(empty,cons(a,k))Marked_f(cons(a,k),k)Marked_f(cons(a,k),y)Marked_f(y,k)f3120cons20empty20Marked_f120Marked_f(empty,cons(a,k))Marked_f(cons(a,k),k)f(x,empty)xf(empty,cons(a,k))f(cons(a,k),k)f(cons(a,k),y)f(y,k)Marked_f(cons(a,k),y)Marked_f(y,k)f(x,empty)xf(empty,cons(a,k))f(cons(a,k),k)f(cons(a,k),y)f(y,k)Marked_f(cons(a,k),y)Marked_f(y,k)f3120cons3130empty20Marked_f230