+x0x+0xx+sxsyss+xy++xyz+x+yz*x00*0x0*sxsys+*xy+xy**xyz*x*yzsumnil0sumconsxl+xsumlprodnils0prodconsxl*xprodl+200s1*2sum1nil0cons2prod1FULL./TRS/Cime/list-sum-prod-assoc.trs