union
X
empty
X
union
empty
X
X
0
z
z
U101
tt
X
Y
U102
isBin
Y
X
Y
U102
tt
X
Y
0
mult
X
Y
U11
tt
tt
U111
tt
X
Y
U112
isBin
Y
X
Y
U112
tt
X
Y
plus
0
mult
X
Y
Y
U121
tt
X
X
U131
tt
X
Y
U132
isBin
Y
X
Y
U132
tt
X
Y
0
plus
X
Y
U141
tt
X
Y
U142
isBin
Y
X
Y
U142
tt
X
Y
1
plus
X
Y
U151
tt
X
Y
U152
isBin
Y
X
Y
U152
tt
X
Y
0
plus
plus
X
Y
1
z
U161
tt
X
X
U171
tt
A
B
U172
isBag
B
A
B
U172
tt
A
B
mult
prod
A
prod
B
U181
tt
X
X
U191
tt
A
B
U192
isBag
B
A
B
U192
tt
A
B
plus
sum
A
sum
B
U21
tt
V2
U22
isBag
V2
U22
tt
tt
U31
tt
tt
U41
tt
tt
U51
tt
V2
U52
isBin
V2
U52
tt
tt
U61
tt
V2
U62
isBin
V2
U62
tt
tt
U71
tt
tt
U81
tt
tt
U91
tt
z
isBag
empty
tt
isBag
singl
V1
U11
isBin
V1
isBag
union
V1
V2
U21
isBag
V1
V2
isBin
z
tt
isBin
0
V1
U31
isBin
V1
isBin
1
V1
U41
isBin
V1
isBin
mult
V1
V2
U51
isBin
V1
V2
isBin
plus
V1
V2
U61
isBin
V1
V2
isBin
prod
V1
U71
isBag
V1
isBin
sum
V1
U81
isBag
V1
mult
z
X
U91
isBin
X
mult
0
X
Y
U101
isBin
X
X
Y
mult
1
X
Y
U111
isBin
X
X
Y
plus
z
X
U121
isBin
X
X
plus
0
X
0
Y
U131
isBin
X
X
Y
plus
0
X
1
Y
U141
isBin
X
X
Y
plus
1
X
1
Y
U151
isBin
X
X
Y
prod
empty
1
z
prod
singl
X
U161
isBin
X
X
prod
union
A
B
U171
isBag
A
A
B
sum
empty
0
z
sum
singl
X
U181
isBin
X
X
sum
union
A
B
U191
isBag
A
A
B
plus
union
mult
plus
union
mult
2.2
union
x
union
y
z
union
union
x
y
z
mult
x
y
mult
y
x
union
x
y
union
y
x
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
mult
x
mult
y
z
mult
mult
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
union
x
y
union
y
x
mult
x
y
mult
y
x
plus
x
plus
y
z
plus
x
y
mult
x
mult
y
z
mult
mult
x
y
z
plus
x
y
plus
y
x
mult
x
mult
y
z
mult
x
y
union
x
union
y
z
union
x
y
union
x
union
y
z
union
union
x
y
z
mult
z
X
isBin
X
prod
union
A
B
isBag
A
prod
singl
X
isBin
X
mult
1
X
Y
isBin
X
U172
tt
A
B
mult
prod
A
prod
B
U171
tt
A
B
U172
isBag
B
A
B
U191
tt
A
B
U192
isBag
B
A
B
prod
union
A
B
U171
isBag
A
A
B
U151
tt
X
Y
isBin
Y
U141
tt
X
Y
isBin
Y
sum
singl
X
U181
isBin
X
X
U191
tt
A
B
isBag
B
U131
tt
X
Y
isBin
Y
U192
tt
A
B
sum
A
U111
tt
X
Y
U112
isBin
Y
X
Y
U112
tt
X
Y
plus
0
mult
X
Y
Y
sum
singl
X
isBin
X
U61
tt
V2
U62
isBin
V2
U21
tt
V2
isBag
V2
plus
z
X
isBin
X
U61
tt
V2
isBin
V2
U102
tt
X
Y
mult
X
Y
U171
tt
A
B
isBag
B
U151
tt
X
Y
U152
isBin
Y
X
Y
isBin
mult
V1
V2
isBin
V1
plus
0
X
0
Y
U131
isBin
X
X
Y
isBin
prod
V1
U71
isBag
V1
isBin
0
V1
U31
isBin
V1
mult
0
X
Y
isBin
X
U112
tt
X
Y
0
mult
X
Y
sum
union
A
B
U191
isBag
A
A
B
U192
tt
A
B
plus
sum
A
sum
B
U101
tt
X
Y
U102
isBin
Y
X
Y
U152
tt
X
Y
0
plus
plus
X
Y
1
z
plus
1
X
1
Y
isBin
X
U51
tt
V2
isBin
V2
isBin
0
V1
isBin
V1
U132
tt
X
Y
0
plus
X
Y
U152
tt
X
Y
plus
plus
X
Y
1
z
mult
0
X
Y
U101
isBin
X
X
Y
U101
tt
X
Y
isBin
Y
plus
0
X
0
Y
isBin
X
isBag
singl
V1
U11
isBin
V1
U142
tt
X
Y
plus
X
Y
U131
tt
X
Y
U132
isBin
Y
X
Y
U111
tt
X
Y
isBin
Y
sum
union
A
B
isBag
A
isBin
sum
V1
U81
isBag
V1
isBin
prod
V1
isBag
V1
U192
tt
A
B
sum
B
plus
z
X
U121
isBin
X
X
plus
1
X
1
Y
U151
isBin
X
X
Y
prod
singl
X
U161
isBin
X
X
isBin
1
V1
isBin
V1
mult
1
X
Y
U111
isBin
X
X
Y
U172
tt
A
B
prod
A
isBin
plus
V1
V2
isBin
V1
U21
tt
V2
U22
isBag
V2
plus
0
X
1
Y
isBin
X
U132
tt
X
Y
plus
X
Y
isBag
singl
V1
isBin
V1
isBin
plus
V1
V2
U61
isBin
V1
V2
U172
tt
A
B
prod
B
U51
tt
V2
U52
isBin
V2
U141
tt
X
Y
U142
isBin
Y
X
Y
isBin
1
V1
U41
isBin
V1
plus
0
X
1
Y
U141
isBin
X
X
Y
isBag
union
V1
V2
U21
isBag
V1
V2
U112
tt
X
Y
mult
X
Y
mult
z
X
U91
isBin
X
U102
tt
X
Y
0
mult
X
Y
isBin
sum
V1
isBag
V1
sum
empty
0
z
isBag
union
V1
V2
isBag
V1
U152
tt
X
Y
plus
X
Y
isBin
mult
V1
V2
U51
isBin
V1
V2
union
union
empty
X
_1
union
X
_1
mult
mult
z
X
_1
mult
U91
isBin
X
_1
plus
plus
z
X
_1
plus
U121
isBin
X
X
_1
plus
plus
0
X
0
Y
_1
plus
U131
isBin
X
X
Y
_1
plus
plus
0
X
1
Y
_1
plus
U141
isBin
X
X
Y
_1
mult
mult
1
X
Y
_1
mult
U111
isBin
X
X
Y
_1
plus
plus
1
X
1
Y
_1
plus
U151
isBin
X
X
Y
_1
mult
mult
0
X
Y
_1
mult
U101
isBin
X
X
Y
_1
union
union
X
empty
_1
union
X
_1
union
x
union
y
z
union
union
x
y
z
union
x
y
union
y
x
union
x
union
y
z
union
x
y
true
sum
union
A
B
U191
isBag
A
A
B
U192
tt
A
B
sum
A
U192
tt
A
B
sum
B
U191
tt
A
B
U192
isBag
B
A
B
true
0
1
0
isBag
1
0
U21
2
1
0
1
1
1
prod
1
1
19396
U161
2
0
U11
1
3
U142
3
0
U192
3
0
z
0
1
U142
3
0
U152
3
0
U181
2
0
prod
1
0
U91
1
0
U101
3
0
U71
1
1
19395
U81
1
0
U131
3
0
plus
2
0
U101
3
0
U111
3
0
U132
3
0
U152
3
0
U121
2
0
U172
3
0
U131
3
0
U52
1
0
sum
1
1
56898
mult
2
6135
isBin
1
1
1
U141
3
0
U141
3
0
U171
3
0
U62
1
0
0
1
44022
U191
3
0
isBin
1
0
U102
3
0
U171
3
0
union
2
1
2
3
U62
1
2
U151
3
0
U111
3
0
U192
3
1
2
3
0
singl
1
1
U52
1
1
6139
plus
2
21680
U61
2
1
21681
U51
2
0
U11
1
0
U31
1
1
44023
U112
3
0
U41
1
0
U102
3
0
U191
3
1
2
3
1
empty
0
1
U21
2
0
U81
1
1
56897
U22
1
0
U112
3
0
tt
0
3
U71
1
0
U151
3
0
isBag
1
3
U22
1
1
0
U51
2
1
2
6136
U161
2
0
U172
3
0
sum
1
1
2
U41
1
1
2
U31
1
0
union
2
0
U91
1
0
mult
2
0
U132
3
0
U121
2
0
U61
2
0
U181
2
0
U191
tt
A
B
U192
isBag
B
A
B
U192
tt
A
B
sum
B
U192
tt
A
B
sum
A
sum
union
A
B
U191
isBag
A
A
B
isBag
singl
V1
U11
isBin
V1
U21
tt
V2
U22
isBag
V2
isBag
empty
tt
U22
tt
tt
U11
tt
tt
isBag
union
V1
V2
U21
isBag
V1
V2
U192
tt
A
B
plus
sum
A
sum
B
false
sum
empty
0
z
false
U191
tt
A
B
isBag
B
false
sum
union
A
B
isBag
A
false
sum
singl
X
U181
isBin
X
X
false
sum
singl
X
isBin
X
false
U172
tt
A
B
prod
B
U172
tt
A
B
prod
A
prod
union
A
B
U171
isBag
A
A
B
U171
tt
A
B
U172
isBag
B
A
B
true
0
1
0
isBag
1
0
U21
2
1
0
1
1
1
prod
1
1
19396
U161
2
0
U11
1
3
U142
3
0
U192
3
0
z
0
1
U142
3
0
U152
3
0
U181
2
0
prod
1
1
0
U91
1
0
U101
3
0
U71
1
1
19395
U81
1
0
U131
3
0
plus
2
0
U101
3
0
U111
3
0
U132
3
0
U152
3
0
U121
2
0
U172
3
0
U131
3
0
U52
1
0
sum
1
1
1
mult
2
6135
isBin
1
1
1
U141
3
0
U141
3
0
U171
3
1
2
3
0
U62
1
0
0
1
53547
U191
3
0
isBin
1
0
U102
3
0
U171
3
0
union
2
1
2
4
U62
1
0
U151
3
0
U111
3
0
U192
3
1
0
singl
1
1
U52
1
1
6139
plus
2
21680
U61
2
1
21681
U51
2
0
U11
1
0
U31
1
1
53548
U112
3
0
U41
1
0
U102
3
0
U191
3
1
1
empty
0
1
U21
2
0
U81
1
1
0
U22
1
0
U112
3
0
tt
0
3
U71
1
0
U151
3
0
isBag
1
3
U22
1
1
0
U51
2
1
2
6136
U161
2
0
U172
3
2
3
1
sum
1
2
U41
1
1
2
U31
1
0
union
2
0
U91
1
0
mult
2
0
U132
3
0
U121
2
0
U61
2
0
U181
2
0
U171
tt
A
B
U172
isBag
B
A
B
prod
union
A
B
U171
isBag
A
A
B
U172
tt
A
B
prod
A
U172
tt
A
B
prod
B
isBag
singl
V1
U11
isBin
V1
U21
tt
V2
U22
isBag
V2
isBag
empty
tt
U22
tt
tt
U11
tt
tt
isBag
union
V1
V2
U21
isBag
V1
V2
U172
tt
A
B
mult
prod
A
prod
B
false
prod
singl
X
U161
isBin
X
X
false
U171
tt
A
B
isBag
B
false
prod
singl
X
isBin
X
false
prod
union
A
B
isBag
A
false
mult
0
X
Y
U101
isBin
X
X
Y
U101
tt
X
Y
U102
isBin
Y
X
Y
U112
tt
X
Y
mult
X
Y
U102
tt
X
Y
mult
X
Y
mult
1
X
Y
U111
isBin
X
X
Y
U111
tt
X
Y
U112
isBin
Y
X
Y
mult
x
mult
y
z
mult
x
y
mult
x
mult
y
z
mult
mult
x
y
z
mult
x
y
mult
y
x
true
Failed!
NaTT
certifiable-1.6