0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz*#x#*0xy0*xy*1xy+0*xyy**xyz*x*yzsumnil0#sumconsxl+xsumlprodnil1#prodconsxl*xprodl+0x0y+xy+0x0y0+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#+1x1y0++xy1#++xyz+yz++xyz+x+yz*0xy*xy*0xy0*xy*1xy*xy*1xy0*xy*1xy+0*xyy**xyz*yz**xyz*x*yzsumnil0#sumconsxlsumlsumconsxl+xsumlprodconsxlprodlprodconsxl*xprodltruesumconsxlsumltrue1sum11114prod1810cons221222sum1810nil00*20112011010+21112001010#00sumconsxl+xsumlfalsesumnil0#falseprodconsxlprodltrue1prod11114prod1810cons221222sum1810nil00*20112011010+21112001010#00prodconsxl*xprodlfalse*0xy*xy*1xy*xy**xyz*yz**xyz*x*yztrue*1xy+0*xyyfalse+0x0y+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue+1x1y0++xy1#false+0x0y0+xyfalse*1xy0*xyfalse*0xy0*xyfalse