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*prodl1prodl201#0+211*2app2nil0cons2sum1prod1FULL./TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs