union X empty X union empty X X 0 z z U101 tt V1 U102 isBagKind V1 V1 U102 tt V1 U103 isBag V1 U103 tt tt U11 tt V1 U12 isBinKind V1 V1 U111 tt tt U12 tt V1 U13 isBin V1 U121 tt tt U13 tt tt U131 tt V2 U132 isBinKind V2 U132 tt tt U141 tt V2 U142 isBinKind V2 U142 tt tt U151 tt tt U161 tt tt U171 tt X U172 isBinKind X U172 tt z U181 tt X Y U182 isBinKind X X Y U182 tt X Y U183 isBin Y X Y U183 tt X Y U184 isBinKind Y X Y U184 tt X Y 0 mult X Y U191 tt X Y U192 isBinKind X X Y U192 tt X Y U193 isBin Y X Y U193 tt X Y U194 isBinKind Y X Y U194 tt X Y plus 0 mult X Y Y U201 tt X U202 isBinKind X X U202 tt X X U21 tt V1 V2 U22 isBagKind V1 V1 V2 U211 tt X Y U212 isBinKind X X Y U212 tt X Y U213 isBin Y X Y U213 tt X Y U214 isBinKind Y X Y U214 tt X Y 0 plus X Y U22 tt V1 V2 U23 isBagKind V2 V1 V2 U221 tt X Y U222 isBinKind X X Y U222 tt X Y U223 isBin Y X Y U223 tt X Y U224 isBinKind Y X Y U224 tt X Y 1 plus X Y U23 tt V1 V2 U24 isBagKind V2 V1 V2 U231 tt X Y U232 isBinKind X X Y U232 tt X Y U233 isBin Y X Y U233 tt X Y U234 isBinKind Y X Y U234 tt X Y 0 plus plus X Y 1 z U24 tt V1 V2 U25 isBag V1 V2 U241 tt X U242 isBinKind X X U242 tt X X U25 tt V2 U26 isBag V2 U251 tt A B U252 isBagKind A A B U252 tt A B U253 isBag B A B U253 tt A B U254 isBagKind B A B U254 tt A B mult prod A prod B U26 tt tt U261 tt X U262 isBinKind X X U262 tt X X U271 tt A B U272 isBagKind A A B U272 tt A B U273 isBag B A B U273 tt A B U274 isBagKind B A B U274 tt A B plus sum A sum B U31 tt tt U41 tt V2 U42 isBagKind V2 U42 tt tt U51 tt V1 U52 isBinKind V1 V1 U52 tt V1 U53 isBin V1 U53 tt tt U61 tt V1 U62 isBinKind V1 V1 U62 tt V1 U63 isBin V1 U63 tt tt U71 tt V1 V2 U72 isBinKind V1 V1 V2 U72 tt V1 V2 U73 isBinKind V2 V1 V2 U73 tt V1 V2 U74 isBinKind V2 V1 V2 U74 tt V1 V2 U75 isBin V1 V2 U75 tt V2 U76 isBin V2 U76 tt tt U81 tt V1 V2 U82 isBinKind V1 V1 V2 U82 tt V1 V2 U83 isBinKind V2 V1 V2 U83 tt V1 V2 U84 isBinKind V2 V1 V2 U84 tt V1 V2 U85 isBin V1 V2 U85 tt V2 U86 isBin V2 U86 tt tt U91 tt V1 U92 isBagKind V1 V1 U92 tt V1 U93 isBag V1 U93 tt tt isBag empty tt isBag singl V1 U11 isBinKind V1 V1 isBag union V1 V2 U21 isBagKind V1 V1 V2 isBagKind empty tt isBagKind singl V1 U31 isBinKind V1 isBagKind union V1 V2 U41 isBagKind V1 V2 isBin z tt isBin 0 V1 U51 isBinKind V1 V1 isBin 1 V1 U61 isBinKind V1 V1 isBin mult V1 V2 U71 isBinKind V1 V1 V2 isBin plus V1 V2 U81 isBinKind V1 V1 V2 isBin prod V1 U91 isBagKind V1 V1 isBin sum V1 U101 isBagKind V1 V1 isBinKind z tt isBinKind 0 V1 U111 isBinKind V1 isBinKind 1 V1 U121 isBinKind V1 isBinKind mult V1 V2 U131 isBinKind V1 V2 isBinKind plus V1 V2 U141 isBinKind V1 V2 isBinKind prod V1 U151 isBagKind V1 isBinKind sum V1 U161 isBagKind V1 mult z X U171 isBin X X mult 0 X Y U181 isBin X X Y mult 1 X Y U191 isBin X X Y plus z X U201 isBin X X plus 0 X 0 Y U211 isBin X X Y plus 0 X 1 Y U221 isBin X X Y plus 1 X 1 Y U231 isBin X X Y prod empty 1 z prod singl X U241 isBin X X prod union A B U251 isBag A A B sum empty 0 z sum singl X U261 isBin X X sum union A B U271 isBag A A B union 2 AC empty 0 0 1 z 0 U101 2 tt 0 U102 2 isBagKind 1 U103 1 isBag 1 U11 2 U12 2 isBinKind 1 U111 1 U13 1 isBin 1 U121 1 U131 2 U132 1 U141 2 U142 1 U151 1 U161 1 U171 2 U172 1 U181 3 U182 3 U183 3 U184 3 mult 2 AC U191 3 U192 3 U193 3 U194 3 plus 2 AC U201 2 U202 2 U21 3 U22 3 U211 3 U212 3 U213 3 U214 3 U23 3 U221 3 U222 3 U223 3 U224 3 1 1 U24 3 U231 3 U232 3 U233 3 U234 3 U25 2 U241 2 U242 2 U26 1 U251 3 U252 3 U253 3 U254 3 prod 1 U261 2 U262 2 U271 3 U272 3 U273 3 U274 3 sum 1 U31 1 U41 2 U42 1 U51 2 U52 2 U53 1 U61 2 U62 2 U63 1 U71 3 U72 3 U73 3 U74 3 U75 2 U76 1 U81 3 U82 3 U83 3 U84 3 U85 2 U86 1 U91 2 U92 2 U93 1 singl 1 FULL ./TRS/CSR_Maude/bag-sum-prod/BAG_complete-noand.trs