unionXemptyXunionemptyXX0zzandttXXmultzXzmult0XY0multXYmult1XYplus0multXYYpluszXXplus0X0Y0plusXYplus0X1Y1plusXYplus1X1Y0plusplusXY1zprodempty1zprodsinglXXprodunionABmultprodAprodBsumempty0zsumsinglXXsumunionABplussumAsumBunion2ACempty001z0and2tt0mult2AC11plus2ACprod1singl1sum1FULL./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts.trs