+x0x+0xx+sxsyss+xy++xyz+x+yz*x00*0x0*sxsys+*xy+xy**xyz*x*yzappnilllappconsxl1l2consxappl1l2sumnil0sumconsxl+xsumlsumappl1l2+suml1suml2prodnils0prodconsxl*xprodlprodappl1l2*prodl1prodl2+sxsy+xy++xyz+yz++xyz+x+yz*sxsy+xy*sxsy*xy*sxsy+*xy+xy**xyz*yz**xyz*x*yzappconsxl1l2appl1l2sumconsxlsumlsumconsxl+xsumlsumappl1l2suml2sumappl1l2suml1sumappl1l2+suml1suml2prodconsxlprodlprodconsxl*xprodlprodappl1l2prodl2prodappl1l2prodl1prodappl1l2*prodl1prodl2trueappconsxl1l2appl1l2true1app241023prod1412sum13112cons261128app261829nil03*231020s1010+2111215000sumconsxlsumlsumappl1l2suml2sumappl1l2suml1true1sum1412prod11011sum1810cons211121app241126nil02*241020s1018+211128000sumappl1l2+suml1suml2falsesumconsxl+xsumlfalseprodconsxlprodlprodappl1l2prodl2prodappl1l2prodl1true1prod1412prod11011sum1810cons211121app241126nil02*241020s1018+211128000prodappl1l2*prodl1prodl2falseprodconsxl*xprodlfalse*sxsy*xy**xyz*yz**xyz*x*yztrue*sxsy+*xy+xyfalse*sxsy+xyfalse+sxsy+xy++xyz+yz++xyz+x+yztrue