++revbMarked_revazyxrev(a)arev(b)brev(++(x,y))++(rev(y),rev(x))rev(++(x,x))rev(x)rev(a)arev(b)brev(++(x,y))++(rev(y),rev(x))rev(++(x,x))rev(x)Marked_rev(++(x,y))Marked_rev(y)Marked_rev(++(x,y))Marked_rev(x)Marked_rev(++(x,x))Marked_rev(x)rev(a)arev(b)brev(++(x,y))++(rev(y),rev(x))rev(++(x,x))rev(x)Marked_rev(++(x,y))Marked_rev(y)Marked_rev(++(x,y))Marked_rev(x)Marked_rev(++(x,x))Marked_rev(x)Marked_rev1Marked_rev(++(x,x))Marked_rev(x)Marked_rev(++(x,y))Marked_rev(x)Marked_rev(++(x,y))Marked_rev(y)rev(a)arev(b)brev(++(x,y))++(rev(y),rev(x))rev(++(x,x))rev(x)