+x0x+0xx+sxsyss+xy++xyz+x+yz*x00*0x0*sxsys+*xy+xy**xyz*x*yzsumnil0sumconsxl+xsumlprodnils0prodconsxl*xprodl+sxsy+xy++xyz+x+yz++xyz+yz*sxsy+*xy+xy*sxsy*xy*sxsy+xy**xyz*x*yz**xyz*yzsumconsxl+xsumlsumconsxlsumlprodconsxl*xprodlprodconsxlprodltrueprodconsxlprodltrue124571prod111cons2112prodconsxl*xprodlfalse1346**xyz*x*yz*sxsy*xy**xyz*yztrue2351*211*21112s1111000+20**xyz*x*yz**xyz*yz1*21112*211112000s10+21112**xyz*x*yz*x00*0x0*sxsys+*xy+xy**xyz*x*yz1*211*2111001s1111+20*sxsy+*xy+xyfalse34*sxsy+xyfalse3sumconsxlsumltrue21sum111cons2112sumconsxl+xsumlfalse1++xyz+x+yz+sxsy+xy++xyz+yztrue1+211+211112s1111000