sMarked_divdivquotMarked_quot0zyxdiv(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))div(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))Marked_div(x,y)Marked_quot(x,y,y)Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)Marked_quot(x,0,s(z))Marked_div(x,s(z))div(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))Marked_div(x,y)Marked_quot(x,y,y)Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)Marked_quot(x,0,s(z))Marked_div(x,s(z))Marked_quot1Marked_div1Marked_quot(s(x),s(y),z)Marked_quot(x,y,z)div(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))Marked_quot(x,0,s(z))Marked_div(x,s(z))Marked_div(x,y)Marked_quot(x,y,y)div(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))Marked_quot(x,0,s(z))Marked_div(x,s(z))Marked_div(x,y)Marked_quot(x,y,y)030Marked_quot3330quot30div30Marked_div3330s0Marked_quot(x,0,s(z))Marked_div(x,s(z))div(0,y)0div(x,y)quot(x,y,y)quot(0,s(y),z)0quot(s(x),s(y),z)quot(x,y,z)quot(x,0,s(z))s(div(x,s(z)))Marked_div(x,y)Marked_quot(x,y,y)