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
plus
union
mult
plus
union
mult
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
U201
2
0
U231
3
0
0
1
0
U72
3
0
isBag
1
0
U21
3
6
U261
2
0
U83
3
0
1
1
0
U254
3
0
U193
3
0
prod
1
1
U161
1
1
28163
U182
3
0
U11
2
6
U272
3
2
3
3
U142
1
0
U192
3
0
U24
3
3
9
z
0
0
U24
3
0
U142
1
2
U25
2
1
10
U242
2
0
U181
3
0
U262
2
0
U272
3
0
prod
1
0
U42
1
6
U91
2
2
3
U221
3
0
U101
2
0
U26
1
1
17
U82
3
0
U254
3
0
U274
3
2
3
1
U183
3
0
U224
3
0
U71
3
2
2
isBagKind
1
0
U85
2
0
U81
3
0
U92
2
0
U131
2
1
plus
2
0
U222
3
0
U212
3
0
U101
2
1
2
28164
U231
3
0
U111
1
4
U132
1
2
U93
1
0
U76
1
0
U86
1
19
U103
1
1
28172
U23
3
0
U53
1
0
U234
3
0
U121
1
0
U253
3
0
U84
3
1
2
3
11
U23
3
2
3
8
U63
1
4
U172
1
0
U93
1
5
U241
2
0
U131
2
0
U72
3
3
3
U13
1
0
U241
2
0
U271
3
2
3
4
U52
2
0
U103
1
0
U223
3
0
U12
2
2
7
U271
3
0
U253
3
0
U213
3
0
U214
3
0
U202
2
0
U26
1
0
U273
3
2
3
2
U222
3
0
U232
3
0
sum
1
1
28163
mult
2
0
isBagKind
1
1
1
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
2
1
U171
2
0
U62
2
0
U83
3
3
10
isBinKind
1
0
0
1
3
U214
3
0
U191
3
0
isBin
1
0
U73
3
1
4
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
17
U62
2
2
3
U63
1
0
U182
3
0
U151
1
1
1
U75
2
1
11
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
5
U194
3
0
U251
3
0
U52
2
1
6
plus
2
0
U61
2
2
2
U51
2
0
U11
2
0
U75
2
0
U31
1
6
U85
2
18
U183
3
0
U92
2
2
4
U193
3
0
U41
2
0
U102
2
2
28171
U191
3
0
empty
0
6
U21
3
0
U81
3
1
2
U82
3
2
3
9
U22
3
0
tt
0
6
U84
3
0
U71
3
0
U13
1
1
7
U151
1
0
isBag
1
1
0
U184
3
0
U22
3
3
7
U51
2
2
5
U161
1
0
U74
3
2
3
11
U172
1
0
sum
1
1
0
U86
1
0
U261
2
0
U53
1
5
U212
3
0
U41
2
7
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
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
U31
tt
tt
isBagKind
empty
tt
isBagKind
singl
V1
U31
isBinKind
V1
U42
tt
tt
U41
tt
V2
U42
isBagKind
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
U201
2
0
U231
3
0
0
1
0
U72
3
0
isBag
1
0
U21
3
2
7
U261
2
0
U83
3
0
1
1
0
U254
3
0
U193
3
0
prod
1
1
U161
1
1
28163
U182
3
0
U11
2
2
5
U272
3
3
U142
1
0
U192
3
0
U24
3
1
17
z
0
0
U24
3
0
U142
1
2
U25
2
1
26
U242
2
0
U181
3
0
U262
2
0
U272
3
0
prod
1
1
0
U42
1
8
U91
2
1
2
2
U221
3
0
U101
2
0
U26
1
36
U82
3
0
U254
3
2
3
1
U274
3
1
U183
3
0
U224
3
0
U71
3
2
2
isBagKind
1
0
U85
2
0
U81
3
0
U92
2
0
U131
2
1
plus
2
0
U222
3
0
U212
3
0
U101
2
1
2
25985
U231
3
0
U111
1
4
U132
1
2
U93
1
0
U76
1
0
U86
1
33
U103
1
26004
U23
3
0
U53
1
0
U234
3
0
U121
1
0
U253
3
0
U84
3
1
2
3
14
U23
3
2
17
U63
1
4
U172
1
0
U93
1
1
12
U241
2
0
U131
2
0
U72
3
3
3
U13
1
0
U241
2
0
U271
3
4
U52
2
0
U103
1
0
U223
3
0
U12
2
2
6
U271
3
0
U253
3
2
3
2
U213
3
0
U214
3
0
U202
2
0
U26
1
0
U273
3
2
U222
3
0
U232
3
0
sum
1
1
25984
mult
2
0
isBagKind
1
1
1
U252
3
2
3
3
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
2
1
U171
2
0
U62
2
0
U83
3
3
13
isBinKind
1
0
0
1
3
U214
3
0
U191
3
0
isBin
1
0
U73
3
1
4
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
23
U62
2
2
3
U63
1
0
U182
3
0
U151
1
1
1
U75
2
1
14
U262
2
0
U111
1
0
U192
3
0
U221
3
0
U232
3
0
U251
3
2
3
4
U211
3
0
U223
3
0
singl
1
1
3
U194
3
0
U251
3
0
U52
2
1
6
plus
2
0
U61
2
2
2
U51
2
0
U11
2
0
U75
2
0
U31
1
5
U85
2
1
23
U183
3
0
U92
2
2
12
U193
3
0
U41
2
0
U102
2
1
2
25994
U191
3
0
empty
0
8
U21
3
0
U81
3
1
2
U82
3
2
3
12
U22
3
0
tt
0
9
U84
3
0
U71
3
0
U13
1
7
U151
1
0
isBag
1
1
1
U184
3
0
U22
3
1
2
3
7
U51
2
2
5
U161
1
0
U74
3
2
3
14
U172
1
0
sum
1
0
U86
1
0
U261
2
0
U53
1
0
U212
3
0
U41
2
7
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
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
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
certifiable-1.6