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+0x0y0+xy+0x0y+xy+0x1y+xy+1x0y+xy+1x1y0++xy1#+1x1y++xy1#+1x1y+xy++xyz+x+yz++xyz+yz*0xy0*xy*0xy*xy*1xy+0*xyy*1xy0*xy*1xy*xy**xyz*x*yz**xyz*yzsumnil0#sumconsxl+xsumlsumconsxlsumlprodconsxl*xprodlprodconsxlprodltrueprodconsxlprodltrue1246789101prod111cons2112prodconsxl*xprodlfalse1356789*1xy*xy*0xy*xy**xyz*x*yz**xyz*yztrue2456781*2111111101111*211112#00+20*1xy+0*xyyfalse23458sumconsxlsumltrue2341sum111cons2112sumconsxl+xsumlfalse123+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xy++xyz+x+yz++xyz+yztrue121+211120111111111+21112#00++xyz+x+yz++xyz+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+211+211112#00010110+0x0y0+xyfalse+1x1y0++xy1#false*0xy0*xyfalse*1xy0*xyfalsesumnil0#false