union X empty X union empty X X 0 z z U11 tt X Y U12 tt X Y U12 tt X Y 0 mult X Y U21 tt X Y U22 tt X Y U22 tt X Y plus 0 mult X Y Y U31 tt X Y U32 tt X Y U32 tt X Y 0 plus X Y U41 tt X Y U42 tt X Y U42 tt X Y 1 plus X Y U51 tt X Y U52 tt X Y U52 tt X Y 0 plus plus X Y 1 z U61 tt A B U62 tt A B U62 tt A B mult prod A prod B U71 tt A B U72 tt A B U72 tt A B plus sum A sum B mult z X z mult 0 X Y U11 tt X Y mult 1 X Y U21 tt X Y plus z X X plus 0 X 0 Y U31 tt X Y plus 0 X 1 Y U41 tt X Y plus 1 X 1 Y U51 tt X Y prod empty 1 z prod singl X X prod union A B U61 tt A B sum empty 0 z sum singl X X sum union A B U71 tt A B union 2 AC empty 0 0 1 z 0 U11 3 tt 0 U12 3 mult 2 AC U21 3 U22 3 plus 2 AC U31 3 U32 3 U41 3 U42 3 1 1 U51 3 U52 3 U61 3 U62 3 prod 1 U71 3 U72 3 sum 1 singl 1 FULL ./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts-noand.trs