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+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*yz*x+yz*xz*x+yz*xy*x+yz+*xy*xzappconsxl1l2appl1l2sumnil0#sumconsxlsumlsumconsxl+xsumlsumappl1l2suml2sumappl1l2suml1sumappl1l2+suml1suml2prodconsxlprodlprodconsxl*xprodlprodappl1l2prodl2prodappl1l2prodl1prodappl1l2*prodl1prodl2trueappconsxl1l2appl1l2trueapp21sumconsxlsumlsumappl1l2suml2sumappl1l2suml1truesum11sumappl1l2+suml1suml2falsesumconsxl+xsumlfalsesumnil0#falseprodconsxlprodlprodappl1l2prodl2prodappl1l2prodl1trueprod11prodappl1l2*prodl1prodl2falseprodconsxl*xprodlfalse*0xy*xy*1xy*xy**xyz*yz**xyz*x*yz*x+yz*xz*x+yz*xytrue*21*x+yz*xz*x+yz*xy*22*x+yz+*xy*xzfalse*1xy+0*xyyfalse+0x0y+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue1+22122011114+21112001110#04+0x0y+xy+1x1y++xy1#++xyz+yz++xyz+x+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+22122011114+21112101110#03+0x0y+xy+1x1y++xy1#++xyz+x+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+24142011211+21112001210#00+0x0y+xy++xyz+x+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##+0x0y+xy2true21true1++xyz+x+yz1true1+1x1y0++xy1#false+0x0y0+xyfalse*1xy0*xyfalse*0xy0*xyfalse