+0binMarked_bins`z``y``x`bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))Marked_bin(s(x),s(y))Marked_bin(x,s(y))Marked_bin(s(x),s(y))Marked_bin(x,y)bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))Marked_bin(s(x),s(y))Marked_bin(x,s(y))Marked_bin(s(x),s(y))Marked_bin(x,y)Marked_bin2Marked_bin(s(x),s(y))Marked_bin(x,y)bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))Marked_bin(s(x),s(y))Marked_bin(x,s(y))bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))Marked_bin(s(x),s(y))Marked_bin(x,s(y))Marked_bin1Marked_bin(s(x),s(y))Marked_bin(x,s(y))bin(x,0)s(0)bin(0,s(y))0bin(s(x),s(y))+(bin(x,s(y)),bin(x,y))