consMarked_revemptyrevMarked_r1r1kxalsrev(ls)r1(ls,empty)r1(empty,a)ar1(cons(x,k),a)r1(k,cons(x,a))rev(ls)r1(ls,empty)r1(empty,a)ar1(cons(x,k),a)r1(k,cons(x,a))Marked_rev(ls)Marked_r1(ls,empty)Marked_r1(cons(x,k),a)Marked_r1(k,cons(x,a))rev(ls)r1(ls,empty)r1(empty,a)ar1(cons(x,k),a)r1(k,cons(x,a))Marked_r1(cons(x,k),a)Marked_r1(k,cons(x,a))Marked_r11Marked_r1(cons(x,k),a)Marked_r1(k,cons(x,a))rev(ls)r1(ls,empty)r1(empty,a)ar1(cons(x,k),a)r1(k,cons(x,a))