union X empty X union empty X X 0 z z U101 tt X Y 0 mult X Y U11 tt V1 U12 isBin V1 U111 tt X Y plus 0 mult X Y Y U12 tt tt U121 tt X X U131 tt X Y 0 plus X Y U141 tt X Y 1 plus X Y U151 tt X Y 0 plus plus X Y 1 z U161 tt X X U171 tt A B mult prod A prod B U181 tt X X U191 tt A B plus sum A sum B U21 tt V1 V2 U22 isBag V1 V2 U22 tt V2 U23 isBag V2 U23 tt tt U31 tt V1 U32 isBin V1 U32 tt tt U41 tt V1 U42 isBin V1 U42 tt tt U51 tt V1 V2 U52 isBin V1 V2 U52 tt V2 U53 isBin V2 U53 tt tt U61 tt V1 V2 U62 isBin V1 V2 U62 tt V2 U63 isBin V2 U63 tt tt U71 tt V1 U72 isBag V1 U72 tt tt U81 tt V1 U82 isBag V1 U82 tt tt U91 tt z and tt X X isBag empty tt isBag singl V1 U11 isBinKind V1 V1 isBag union V1 V2 U21 and isBagKind V1 isBagKind V2 V1 V2 isBagKind empty tt isBagKind singl V1 isBinKind V1 isBagKind union V1 V2 and isBagKind V1 isBagKind V2 isBin z tt isBin 0 V1 U31 isBinKind V1 V1 isBin 1 V1 U41 isBinKind V1 V1 isBin mult V1 V2 U51 and isBinKind V1 isBinKind V2 V1 V2 isBin plus V1 V2 U61 and isBinKind V1 isBinKind V2 V1 V2 isBin prod V1 U71 isBagKind V1 V1 isBin sum V1 U81 isBagKind V1 V1 isBinKind z tt isBinKind 0 V1 isBinKind V1 isBinKind 1 V1 isBinKind V1 isBinKind mult V1 V2 and isBinKind V1 isBinKind V2 isBinKind plus V1 V2 and isBinKind V1 isBinKind V2 isBinKind prod V1 isBagKind V1 isBinKind sum V1 isBagKind V1 mult z X U91 and isBin X isBinKind X mult 0 X Y U101 and and isBin X isBinKind X and isBin Y isBinKind Y X Y mult 1 X Y U111 and and isBin X isBinKind X and isBin Y isBinKind Y X Y plus z X U121 and isBin X isBinKind X X plus 0 X 0 Y U131 and and isBin X isBinKind X and isBin Y isBinKind Y X Y plus 0 X 1 Y U141 and and isBin X isBinKind X and isBin Y isBinKind Y X Y plus 1 X 1 Y U151 and and isBin X isBinKind X and isBin Y isBinKind Y X Y prod empty 1 z prod singl X U161 and isBin X isBinKind X X prod union A B U171 and and isBag A isBagKind A and isBag B isBagKind B A B sum empty 0 z sum singl X U181 and isBin X isBinKind X X sum union A B U191 and and isBag A isBagKind A and isBag B isBagKind B A B union 2 AC empty 0 0 1 z 0 U101 3 tt 0 mult 2 AC U11 2 U12 1 isBin 1 U111 3 plus 2 AC U121 2 U131 3 U141 3 1 1 U151 3 U161 2 U171 3 prod 1 U181 2 U191 3 sum 1 U21 3 U22 2 isBag 1 U23 1 U31 2 U32 1 U41 2 U42 1 U51 3 U52 2 U53 1 U61 3 U62 2 U63 1 U71 2 U72 1 U81 2 U82 1 U91 1 and 2 singl 1 isBinKind 1 isBagKind 1 FULL ./TRS/CSR_Maude/bag-sum-prod/BAG_complete.trs