0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#*#x#*0xy0*xy*1xy+0*xyysumnil0#sumconsxl+xsumlprodnil1#prodconsxl*xprodl+0x0y+xy+0x0y0+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#+1x1y0++xy1#*0xy*xy*0xy0*xy*1xy*xy*1xy0*xy*1xy+0*xyysumnil0#sumconsxlsumlsumconsxl+xsumlprodconsxlprodlprodconsxl*xprodltruesumconsxlsumltrue1sum18112cons201123sumconsxl+xsumlfalsesumnil0#falseprodconsxlprodltrue1prod18112cons201123prodconsxl*xprodlfalse*0xy*xy*1xy*xytrue1*2810241111001212*1xy*xy1*281021211113*1xy+0*xyyfalse+0x0y+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#true1+20132511311+23112001610#00+0x0y+xy+1x0y+xy+1x1y++xy1#+1x0y+xy+0x0y+xytrue1+2810281121301410+0x0y+xy1+28112001411+1x1y++xy1#true1+21182311114+21122101113#00+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#0##+1x1y0++xy1#false+0x0y0+xyfalse*1xy0*xyfalse*0xy0*xyfalse