0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#*#x#*0xy0*xy*1xy+0*xyysumnil0#sumconsxl+xsumlprodnil1#prodconsxl*xprodl01#0+211*2sum1nil0cons2prod1FULL./TRS/Cime/list-sum-prod-bin.trs