+x0x+0xx+sxsyss+xy++xyz+x+yz*x00*0x0*sxsys+*xy+xy**xyz*x*yzsumnil0sumconsxl+xsumlprodnils0prodconsxl*xprodl+sxsy+xy++xyz+yz++xyz+x+yz*sxsy+xy*sxsy*xy*sxsy+*xy+xy**xyz*yz**xyz*x*yzsumconsxlsumlsumconsxl+xsumlprodconsxlprodlprodconsxl*xprodltruesumconsxlsumltrue1sum19114prod11219cons211522sum1810nil01*201021s1010+241120000sumconsxl+xsumlfalseprodconsxlprodltrue1prod19114prod11219cons211522sum1810nil01*201021s1010+241120000prodconsxl*xprodlfalse*sxsy*xy**xyz*yz**xyz*x*yztrue*sxsy+*xy+xyfalse*sxsy+xyfalse+sxsy+xy++xyz+yz++xyz+x+yztrue