MAYBE 2.2 plus x y plus y x union x union y z union union x y z union x y union y x plus x plus y z plus plus x y z mult x y mult y x mult x mult y z mult mult x y z plus x plus y z plus plus x y z mult x y mult y x plus x y plus y x union x union y z union union x y z mult x mult y z mult mult x y z union x y union y x mult x mult y z mult x y union x union y z union x y plus x plus y z plus x y isBag union V1 V2 isBagKind V1 U71 tt V1 V2 U72 isBinKind V1 V1 V2 U223 tt X Y isBinKind Y U73 tt V1 V2 isBinKind V2 prod singl X isBin X U24 tt V1 V2 isBag V1 U82 tt V1 V2 isBinKind V2 isBinKind prod V1 isBagKind V1 U274 tt A B plus sum A sum B U223 tt X Y U224 isBinKind Y X Y plus 0 X 0 Y U211 isBin X X Y U194 tt X Y 0 mult X Y U85 tt V2 isBin V2 U41 tt V2 isBagKind V2 U273 tt A B isBagKind B U192 tt X Y isBin Y isBagKind union V1 V2 isBagKind V1 isBag singl V1 U11 isBinKind V1 V1 U271 tt A B isBagKind A U131 tt V2 isBinKind V2 U72 tt V1 V2 U73 isBinKind V2 V1 V2 U274 tt A B sum A U23 tt V1 V2 U24 isBagKind V2 V1 V2 U261 tt X isBinKind X U191 tt X Y U192 isBinKind X X Y U214 tt X Y plus X Y U234 tt X Y 0 plus plus X Y 1 z U274 tt A B sum B U224 tt X Y plus X Y U184 tt X Y 0 mult X Y isBinKind sum V1 U161 isBagKind V1 U251 tt A B isBagKind A U72 tt V1 V2 isBinKind V2 U83 tt V1 V2 U84 isBinKind V2 V1 V2 U253 tt A B isBagKind B U102 tt V1 isBag V1 U192 tt X Y U193 isBin Y X Y mult 0 X Y isBin X isBinKind 0 V1 U111 isBinKind V1 prod union A B U251 isBag A A B U212 tt X Y isBin Y plus 0 X 0 Y isBin X U51 tt V1 U52 isBinKind V1 V1 U22 tt V1 V2 isBagKind V2 U12 tt V1 U13 isBin V1 U254 tt A B prod B U213 tt X Y U214 isBinKind Y X Y plus z X U201 isBin X X plus 0 X 1 Y U221 isBin X X Y U41 tt V2 U42 isBagKind V2 U131 tt V2 U132 isBinKind V2 U214 tt X Y 0 plus X Y U21 tt V1 V2 isBagKind V1 U62 tt V1 U63 isBin V1 sum singl X U261 isBin X X U241 tt X U242 isBinKind X X U232 tt X Y U233 isBin Y X Y isBagKind union V1 V2 U41 isBagKind V1 V2 U51 tt V1 isBinKind V1 U253 tt A B U254 isBagKind B A B U184 tt X Y mult X Y U221 tt X Y isBinKind X U254 tt A B prod A U85 tt V2 U86 isBin V2 isBin 0 V1 U51 isBinKind V1 V1 U74 tt V1 V2 U75 isBin V1 V2 isBin plus V1 V2 isBinKind V1 isBinKind 1 V1 isBinKind V1 isBin mult V1 V2 U71 isBinKind V1 V1 V2 U84 tt V1 V2 isBin V1 U181 tt X Y isBinKind X U91 tt V1 isBagKind V1 sum union A B isBag A U271 tt A B U272 isBagKind A A B isBin plus V1 V2 U81 isBinKind V1 V1 V2 U92 tt V1 isBag V1 U232 tt X Y isBin Y U25 tt V2 isBag V2 isBag singl V1 isBinKind V1 plus z X isBin X isBinKind plus V1 V2 isBinKind V1 U213 tt X Y isBinKind Y U24 tt V1 V2 U25 isBag V1 V2 U251 tt A B U252 isBagKind A A B sum singl X isBin X U21 tt V1 V2 U22 isBagKind V1 V1 V2 U252 tt A B isBag B isBinKind 0 V1 isBinKind V1 U25 tt V2 U26 isBag V2 U62 tt V1 isBin V1 plus 1 X 1 Y U231 isBin X X Y isBin 0 V1 isBinKind V1 U52 tt V1 U53 isBin V1 U221 tt X Y U222 isBinKind X X Y U254 tt A B mult prod A prod B isBin mult V1 V2 isBinKind V1 U222 tt X Y isBin Y isBinKind sum V1 isBagKind V1 isBinKind plus V1 V2 U141 isBinKind V1 V2 U61 tt V1 U62 isBinKind V1 V1 prod union A B isBag A U212 tt X Y U213 isBin Y X Y U241 tt X isBinKind X U211 tt X Y U212 isBinKind X X Y isBagKind singl V1 U31 isBinKind V1 U211 tt X Y isBinKind X U272 tt A B isBag B U81 tt V1 V2 isBinKind V1 U191 tt X Y isBinKind X isBinKind mult V1 V2 isBinKind V1 U252 tt A B U253 isBag B A B isBagKind singl V1 isBinKind V1 U22 tt V1 V2 U23 isBagKind V2 V1 V2 sum union A B U271 isBag A A B U82 tt V1 V2 U83 isBinKind V2 V1 V2 U194 tt X Y plus 0 mult X Y Y U73 tt V1 V2 U74 isBinKind V2 V1 V2 isBinKind 1 V1 U121 isBinKind V1 U182 tt X Y isBin Y prod singl X U241 isBin X X U83 tt V1 V2 isBinKind V2 mult z X isBin X isBin sum V1 U101 isBagKind V1 V1 U71 tt V1 V2 isBinKind V1 mult 0 X Y U181 isBin X X Y U75 tt V2 isBin V2 U102 tt V1 U103 isBag V1 U183 tt X Y U184 isBinKind Y X Y U201 tt X U202 isBinKind X X isBinKind mult V1 V2 U131 isBinKind V1 V2 U171 tt X isBinKind X U194 tt X Y mult X Y U12 tt V1 isBin V1 U181 tt X Y U182 isBinKind X X Y U261 tt X U262 isBinKind X X U231 tt X Y U232 isBinKind X X Y U81 tt V1 V2 U82 isBinKind V1 V1 V2 U222 tt X Y U223 isBin Y X Y U201 tt X isBinKind X isBin 1 V1 isBinKind V1 U171 tt X U172 isBinKind X isBinKind prod V1 U151 isBagKind V1 U272 tt A B U273 isBag B A B U74 tt V1 V2 isBin V1 mult 1 X Y isBin X U75 tt V2 U76 isBin V2 U92 tt V1 U93 isBag V1 isBin sum V1 isBagKind V1 U101 tt V1 isBagKind V1 U11 tt V1 isBinKind V1 plus 0 X 1 Y isBin X U52 tt V1 isBin V1 U273 tt A B U274 isBagKind B A B sum empty 0 z isBin prod V1 isBagKind V1 U233 tt X Y U234 isBinKind Y X Y U193 tt X Y U194 isBinKind Y X Y U91 tt V1 U92 isBagKind V1 V1 isBag union V1 V2 U21 isBagKind V1 V1 V2 U234 tt X Y plus plus X Y 1 z isBin 1 V1 U61 isBinKind V1 V1 U23 tt V1 V2 isBagKind V2 U193 tt X Y isBinKind Y U61 tt V1 isBinKind V1 U182 tt X Y U183 isBin Y X Y U234 tt X Y plus X Y U11 tt V1 U12 isBinKind V1 V1 U101 tt V1 U102 isBagKind V1 V1 isBin prod V1 U91 isBagKind V1 V1 U183 tt X Y isBinKind Y U141 tt V2 U142 isBinKind V2 U141 tt V2 isBinKind V2 U233 tt X Y isBinKind Y mult 1 X Y U191 isBin X X Y U84 tt V1 V2 U85 isBin V1 V2 plus 1 X 1 Y isBin X U231 tt X Y isBinKind X mult z X U171 isBin X X union union empty X _1 union X _1 plus plus 1 X 1 Y _1 plus U231 isBin X X Y _1 plus plus z X _1 plus U201 isBin X X _1 plus plus 0 X 1 Y _1 plus U221 isBin X X Y _1 mult mult 1 X Y _1 mult U191 isBin X X Y _1 plus plus 0 X 0 Y _1 plus U211 isBin X X Y _1 mult mult 0 X Y _1 mult U181 isBin X X Y _1 union union X empty _1 union X _1 mult mult z X _1 mult U171 isBin X X _1 U271 tt A B U272 isBagKind A A B U273 tt A B U274 isBagKind B A B U272 tt A B U273 isBag B A B U274 tt A B sum B U274 tt A B sum A sum union A B U271 isBag A A B true 1 U201 2 0 U231 3 0 0 1 0 U72 3 0 isBag 1 0 U21 3 1 0 U261 2 0 U83 3 0 1 1 1 U254 3 0 U193 3 0 prod 1 3 U161 1 1 0 U182 3 0 U11 2 3 U272 3 1 2 3 2 U142 1 0 U192 3 0 U24 3 1 0 z 0 3 U24 3 0 U142 1 3 U25 2 1 0 U242 2 0 U181 3 0 U262 2 0 U272 3 0 prod 1 0 U42 1 1 0 U91 2 1 0 U221 3 0 U101 2 0 U26 1 1 0 U82 3 0 U254 3 0 U274 3 1 2 3 0 U183 3 0 U224 3 0 U71 3 1 5 isBagKind 1 0 U85 2 0 U81 3 0 U92 2 0 U131 2 3 plus 2 0 U222 3 0 U212 3 0 U101 2 1 2 U231 3 0 U111 1 1 0 U132 1 3 U93 1 0 U76 1 0 U86 1 11 U103 1 1 U23 3 0 U53 1 0 U234 3 0 U121 1 0 U253 3 0 U84 3 1 4 U23 3 1 0 U63 1 3 U172 1 0 U93 1 1 U241 2 0 U131 2 0 U72 3 9 U13 1 0 U241 2 0 U271 3 1 2 3 3 U52 2 0 U103 1 0 U223 3 0 U12 2 3 U271 3 0 U253 3 0 U213 3 0 U214 3 0 U202 2 0 U26 1 0 U273 3 1 2 3 1 U222 3 0 U232 3 0 sum 1 3 mult 2 3 isBagKind 1 3 U252 3 0 U201 2 0 isBinKind 1 1 0 U242 2 0 U213 3 0 U42 1 0 isBin 1 1 1 U141 2 0 U252 3 0 U12 2 0 U141 2 3 U171 2 0 U62 2 0 U83 3 1 0 isBinKind 1 0 0 1 3 U214 3 0 U191 3 0 isBin 1 0 U73 3 1 2 10 U102 2 0 U74 3 0 U171 2 0 U202 2 0 U73 3 0 U211 3 0 union 2 1 2 5 U25 2 0 U233 3 0 U76 1 1 0 U62 2 2 7 U63 1 0 U182 3 0 U151 1 3 U75 2 1 2 0 U262 2 0 U111 1 0 U192 3 0 U221 3 0 U232 3 0 U251 3 0 U211 3 0 U223 3 0 singl 1 1 U194 3 0 U251 3 0 U52 2 3 plus 2 1 2 3 U61 2 1 3 U51 2 0 U11 2 0 U75 2 0 U31 1 3 U85 2 1 7 U183 3 0 U92 2 0 U193 3 0 U41 2 0 U102 2 0 U191 3 0 empty 0 1 U21 3 0 U81 3 1 2 3 0 U82 3 1 2 3 0 U22 3 0 tt 0 3 U84 3 0 U71 3 0 U13 1 3 U151 1 0 isBag 1 3 U184 3 0 U22 3 1 0 U51 2 3 U161 1 0 U74 3 2 3 1 U172 1 0 sum 1 1 2 U86 1 0 U261 2 0 U53 1 3 U212 3 0 U41 2 1 0 U31 1 0 U184 3 0 U194 3 0 U274 3 0 union 2 0 U91 2 0 mult 2 0 U233 3 0 U224 3 0 U132 1 0 U121 1 1 0 U273 3 0 U61 2 0 U181 3 0 U234 3 0 sum union A B U271 isBag A A B U274 tt A B sum A U274 tt A B sum B U272 tt A B U273 isBag B A B U273 tt A B U274 isBagKind B A B U271 tt A B U272 isBagKind A A B U86 tt tt isBinKind sum V1 U161 isBagKind V1 isBinKind prod V1 U151 isBagKind V1 U142 tt tt U111 tt tt U151 tt tt U63 tt tt isBag singl V1 U11 isBinKind V1 V1 isBinKind mult V1 V2 U131 isBinKind V1 V2 U51 tt V1 U52 isBinKind V1 V1 U161 tt tt U31 tt tt isBagKind empty tt isBag empty tt U53 tt tt U52 tt V1 U53 isBin V1 U121 tt tt U11 tt V1 U12 isBinKind V1 V1 isBagKind singl V1 U31 isBinKind V1 U21 tt V1 V2 U22 isBagKind V1 V1 V2 U42 tt tt U141 tt V2 U142 isBinKind V2 isBagKind union V1 V2 U41 isBagKind V1 V2 U131 tt V2 U132 isBinKind V2 isBinKind plus V1 V2 U141 isBinKind V1 V2 U24 tt V1 V2 U25 isBag V1 V2 U13 tt tt U12 tt V1 U13 isBin V1 U132 tt tt U23 tt V1 V2 U24 isBagKind V2 V1 V2 U62 tt V1 U63 isBin V1 U41 tt V2 U42 isBagKind V2 U25 tt V2 U26 isBag V2 U26 tt tt isBinKind z tt U22 tt V1 V2 U23 isBagKind V2 V1 V2 isBag union V1 V2 U21 isBagKind V1 V1 V2 sum singl X U261 isBin X X false U261 tt X U262 isBinKind X X false U261 tt X isBinKind X false sum singl X isBin X false sum empty 0 z false sum union A B isBag A false U251 tt A B U252 isBagKind A A B U254 tt A B prod A U253 tt A B U254 isBagKind B A B U254 tt A B prod B prod union A B U251 isBag A A B U252 tt A B U253 isBag B A B true 1 U201 2 0 U231 3 0 0 1 0 U72 3 0 isBag 1 0 U21 3 1 0 U261 2 0 U83 3 0 1 1 1 U254 3 0 U193 3 0 prod 1 3 U161 1 1 0 U182 3 0 U11 2 3 U272 3 1 2 U142 1 0 U192 3 0 U24 3 1 0 z 0 3 U24 3 0 U142 1 3 U25 2 1 0 U242 2 0 U181 3 0 U262 2 0 U272 3 0 prod 1 1 0 U42 1 1 0 U91 2 1 0 U221 3 0 U101 2 0 U26 1 1 0 U82 3 0 U254 3 1 2 3 0 U274 3 1 0 U183 3 0 U224 3 0 U71 3 1 5 isBagKind 1 0 U85 2 0 U81 3 0 U92 2 0 U131 2 3 plus 2 0 U222 3 0 U212 3 0 U101 2 1 2 U231 3 0 U111 1 1 0 U132 1 3 U93 1 0 U76 1 0 U86 1 11 U103 1 1 U23 3 0 U53 1 0 U234 3 0 U121 1 0 U253 3 0 U84 3 1 4 U23 3 1 0 U63 1 3 U172 1 0 U93 1 1 U241 2 0 U131 2 0 U72 3 9 U13 1 0 U241 2 0 U271 3 1 3 U52 2 0 U103 1 0 U223 3 0 U12 2 3 U271 3 0 U253 3 1 2 3 1 U213 3 0 U214 3 0 U202 2 0 U26 1 0 U273 3 1 1 U222 3 0 U232 3 0 sum 1 3 mult 2 3 isBagKind 1 3 U252 3 1 2 3 2 U201 2 0 isBinKind 1 1 0 U242 2 0 U213 3 0 U42 1 0 isBin 1 1 1 U141 2 0 U252 3 0 U12 2 0 U141 2 3 U171 2 0 U62 2 0 U83 3 1 0 isBinKind 1 0 0 1 3 U214 3 0 U191 3 0 isBin 1 0 U73 3 1 2 10 U102 2 0 U74 3 0 U171 2 0 U202 2 0 U73 3 0 U211 3 0 union 2 1 2 7 U25 2 0 U233 3 0 U76 1 1 0 U62 2 2 7 U63 1 0 U182 3 0 U151 1 3 U75 2 1 2 0 U262 2 0 U111 1 0 U192 3 0 U221 3 0 U232 3 0 U251 3 2 3 6 U211 3 0 U223 3 0 singl 1 0 U194 3 0 U251 3 0 U52 2 3 plus 2 1 2 3 U61 2 1 3 U51 2 0 U11 2 0 U75 2 0 U31 1 3 U85 2 1 7 U183 3 0 U92 2 0 U193 3 0 U41 2 0 U102 2 0 U191 3 0 empty 0 0 U21 3 0 U81 3 1 2 3 0 U82 3 1 2 3 0 U22 3 0 tt 0 3 U84 3 0 U71 3 0 U13 1 3 U151 1 0 isBag 1 3 U184 3 0 U22 3 1 0 U51 2 3 U161 1 0 U74 3 2 3 1 U172 1 0 sum 1 2 U86 1 0 U261 2 0 U53 1 3 U212 3 0 U41 2 1 0 U31 1 0 U184 3 0 U194 3 0 U274 3 0 union 2 0 U91 2 0 mult 2 0 U233 3 0 U224 3 0 U132 1 0 U121 1 1 0 U273 3 0 U61 2 0 U181 3 0 U234 3 0 U252 tt A B U253 isBag B A B prod union A B U251 isBag A A B U254 tt A B prod B U253 tt A B U254 isBagKind B A B U254 tt A B prod A U251 tt A B U252 isBagKind A A B U86 tt tt isBinKind sum V1 U161 isBagKind V1 isBinKind prod V1 U151 isBagKind V1 U142 tt tt U111 tt tt U151 tt tt U63 tt tt isBag singl V1 U11 isBinKind V1 V1 isBinKind mult V1 V2 U131 isBinKind V1 V2 U51 tt V1 U52 isBinKind V1 V1 U161 tt tt U31 tt tt isBagKind empty tt isBag empty tt U53 tt tt U52 tt V1 U53 isBin V1 U121 tt tt U11 tt V1 U12 isBinKind V1 V1 isBagKind singl V1 U31 isBinKind V1 U21 tt V1 V2 U22 isBagKind V1 V1 V2 U42 tt tt U141 tt V2 U142 isBinKind V2 isBagKind union V1 V2 U41 isBagKind V1 V2 U131 tt V2 U132 isBinKind V2 isBinKind plus V1 V2 U141 isBinKind V1 V2 U24 tt V1 V2 U25 isBag V1 V2 U13 tt tt U12 tt V1 U13 isBin V1 U132 tt tt U23 tt V1 V2 U24 isBagKind V2 V1 V2 U62 tt V1 U63 isBin V1 U41 tt V2 U42 isBagKind V2 U25 tt V2 U26 isBag V2 U26 tt tt isBinKind z tt U22 tt V1 V2 U23 isBagKind V2 V1 V2 isBag union V1 V2 U21 isBagKind V1 V1 V2 U254 tt A B mult prod A prod B false prod singl X U241 isBin X X false U241 tt X U242 isBinKind X X false U252 tt A B isBag B false U251 tt A B isBagKind A false U253 tt A B isBagKind B false U271 tt A B isBagKind A false U273 tt A B isBagKind B false U272 tt A B isBag B false U241 tt X isBinKind X false U274 tt A B plus sum A sum B false prod union A B isBag A false prod singl X isBin X false mult 1 X Y U191 isBin X X Y U182 tt X Y U183 isBin Y X Y U193 tt X Y U194 isBinKind Y X Y U184 tt X Y mult X Y U181 tt X Y U182 isBinKind X X Y U194 tt X Y mult X Y mult x y mult y x U183 tt X Y U184 isBinKind Y X Y mult 0 X Y U181 isBin X X Y U192 tt X Y U193 isBin Y X Y U191 tt X Y U192 isBinKind X X Y mult x mult y z mult x y mult x mult y z mult mult x y z true Failed! NaTT 1.7