Marked_++nil.++zyx++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(++(x,y),z)++(x,++(y,z))++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(++(x,y),z)++(x,++(y,z))Marked_++(.(x,y),z)Marked_++(y,z)Marked_++(++(x,y),z)Marked_++(x,++(y,z))Marked_++(++(x,y),z)Marked_++(y,z)++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(++(x,y),z)++(x,++(y,z))Marked_++(.(x,y),z)Marked_++(y,z)Marked_++(++(x,y),z)Marked_++(x,++(y,z))Marked_++(++(x,y),z)Marked_++(y,z)Marked_++1Marked_++(++(x,y),z)Marked_++(y,z)Marked_++(++(x,y),z)Marked_++(x,++(y,z))Marked_++(.(x,y),z)Marked_++(y,z)++(nil,y)y++(x,nil)x++(.(x,y),z).(x,++(y,z))++(++(x,y),z)++(x,++(y,z))