Marked_rev.Marked_makerevMarked_++++makenilzyxrev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)Marked_rev(++(x,y))Marked_++(rev(y),rev(x))Marked_rev(++(x,y))Marked_rev(y)Marked_rev(++(x,y))Marked_rev(x)Marked_++(.(x,y),z)Marked_++(y,z)Marked_++(x,++(y,z))Marked_++(++(x,y),z)Marked_++(x,++(y,z))Marked_++(x,y)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)Marked_rev(++(x,y))Marked_rev(y)Marked_rev(++(x,y))Marked_rev(x)Marked_rev1Marked_rev(++(x,y))Marked_rev(x)Marked_rev(++(x,y))Marked_rev(y)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)Marked_++(.(x,y),z)Marked_++(y,z)Marked_++(x,++(y,z))Marked_++(++(x,y),z)Marked_++(x,++(y,z))Marked_++(x,y)Marked_++2Marked_++(x,++(y,z))Marked_++(x,y)Marked_++(x,++(y,z))Marked_++(++(x,y),z)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)Marked_++(.(x,y),z)Marked_++(y,z)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)Marked_++(.(x,y),z)Marked_++(y,z)Marked_++1Marked_++(.(x,y),z)Marked_++(y,z)rev(nil)nilrev(rev(x))xrev(++(x,y))++(rev(y),rev(x))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(x,++(y,z))++(++(x,y),z)make(x).(x,nil)