Marked_quotquots0zyxquot(0,s(y),s(z))0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(quot(x,s(z),s(z)))quot(0,s(y),s(z))0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(quot(x,s(z),s(z)))Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)Marked_quot(x,0,s(z))Marked_quot(x,s(z),s(z))quot(0,s(y),s(z))0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(quot(x,s(z),s(z)))Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)Marked_quot(x,0,s(z))Marked_quot(x,s(z),s(z))Marked_quot1Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)quot(0,s(y),s(z))0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(quot(x,s(z),s(z)))Marked_quot(x,0,s(z))Marked_quot(x,s(z),s(z))