0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz*#x#*0xy0*xy*1xy+0*xyy**xyz*x*yz*x+yz+*xy*xzappnilllappconsxl1l2consxappl1l2sumnil0#sumconsxl+xsumlsumappl1l2+suml1suml2prodnil1#prodconsxl*xprodlprodappl1l2*prodl1prodl2+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*yz*x+yz+*xy*xz*x+yz*xy*x+yz*xzappconsxl1l2appl1l2sumnil0#sumconsxl+xsumlsumconsxlsumlsumappl1l2+suml1suml2sumappl1l2suml1sumappl1l2suml2prodconsxl*xprodlprodconsxlprodlprodappl1l2*prodl1prodl2prodappl1l2prodl1prodappl1l2prodl2trueprodappl1l2prodl1prodconsxlprodlprodappl1l2prodl2true123569101112131prod111app211112cons2112prodconsxl*xprodlfalse24589101112prodappl1l2*prodl1prodl2false1347891011*1xy*xy*0xy*xy**xyz*x*yz**xyz*yz*x+yz*xy*x+yz*xztrue236789101*2111111101111*211112+20#00*x+yz*xy*x+yz*xz1*212+211112*1xy+0*xyyfalse3456711*x+yz+*xy*xzfalse456sumappl1l2suml1sumconsxlsumlsumappl1l2suml2true3451sum111app211112cons2112sumconsxl+xsumlfalse234sumappl1l2+suml1suml2false123+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*xyfalseappconsxl1l2appl1l2true1app211cons2112sumnil0#false