union
X
empty
X
union
empty
X
X
0
z
z
U101
tt
X
X
U11
tt
z
U111
tt
A
B
plus
sum
A
sum
B
U21
tt
X
Y
0
mult
X
Y
U31
tt
X
Y
plus
0
mult
X
Y
Y
U41
tt
X
X
U51
tt
X
Y
0
plus
X
Y
U61
tt
X
Y
1
plus
X
Y
U71
tt
X
Y
0
plus
plus
X
Y
1
z
U81
tt
X
X
U91
tt
A
B
mult
prod
A
prod
B
and
tt
X
X
isBag
empty
tt
isBag
singl
V1
isBin
V1
isBag
union
V1
V2
and
isBag
V1
isBag
V2
isBin
z
tt
isBin
0
V1
isBin
V1
isBin
1
V1
isBin
V1
isBin
mult
V1
V2
and
isBin
V1
isBin
V2
isBin
plus
V1
V2
and
isBin
V1
isBin
V2
isBin
prod
V1
isBag
V1
isBin
sum
V1
isBag
V1
mult
z
X
U11
isBin
X
mult
0
X
Y
U21
and
isBin
X
isBin
Y
X
Y
mult
1
X
Y
U31
and
isBin
X
isBin
Y
X
Y
plus
z
X
U41
isBin
X
X
plus
0
X
0
Y
U51
and
isBin
X
isBin
Y
X
Y
plus
0
X
1
Y
U61
and
isBin
X
isBin
Y
X
Y
plus
1
X
1
Y
U71
and
isBin
X
isBin
Y
X
Y
prod
empty
1
z
prod
singl
X
U81
isBin
X
X
prod
union
A
B
U91
and
isBag
A
isBag
B
A
B
sum
empty
0
z
sum
singl
X
U101
isBin
X
X
sum
union
A
B
U111
and
isBag
A
isBag
B
A
B
plus
union
mult
plus
union
mult
2.2
mult
x
mult
y
z
mult
mult
x
y
z
union
x
y
union
y
x
union
x
union
y
z
union
union
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
mult
x
y
mult
y
x
mult
x
mult
y
z
mult
x
y
plus
x
plus
y
z
plus
x
y
union
x
y
union
y
x
union
x
union
y
z
union
x
y
plus
x
plus
y
z
plus
plus
x
y
z
mult
x
y
mult
y
x
union
x
union
y
z
union
union
x
y
z
plus
x
y
plus
y
x
mult
x
mult
y
z
mult
mult
x
y
z
U21
tt
X
Y
0
mult
X
Y
U71
tt
X
Y
plus
X
Y
U91
tt
A
B
prod
A
plus
1
X
1
Y
isBin
X
isBin
0
V1
isBin
V1
isBin
sum
V1
isBag
V1
plus
0
X
0
Y
U51
and
isBin
X
isBin
Y
X
Y
U31
tt
X
Y
0
mult
X
Y
U51
tt
X
Y
0
plus
X
Y
mult
1
X
Y
isBin
Y
isBin
1
V1
isBin
V1
U51
tt
X
Y
plus
X
Y
isBag
union
V1
V2
and
isBag
V1
isBag
V2
U31
tt
X
Y
mult
X
Y
prod
singl
X
isBin
X
mult
0
X
Y
isBin
X
plus
0
X
0
Y
and
isBin
X
isBin
Y
prod
union
A
B
and
isBag
A
isBag
B
mult
0
X
Y
U21
and
isBin
X
isBin
Y
X
Y
isBin
mult
V1
V2
isBin
V1
plus
1
X
1
Y
isBin
Y
plus
0
X
0
Y
isBin
Y
mult
1
X
Y
and
isBin
X
isBin
Y
sum
singl
X
isBin
X
prod
singl
X
U81
isBin
X
X
isBag
union
V1
V2
isBag
V1
isBin
plus
V1
V2
and
isBin
V1
isBin
V2
sum
empty
0
z
isBin
prod
V1
isBag
V1
mult
z
X
isBin
X
sum
singl
X
U101
isBin
X
X
plus
0
X
1
Y
and
isBin
X
isBin
Y
isBin
mult
V1
V2
isBin
V2
sum
union
A
B
U111
and
isBag
A
isBag
B
A
B
mult
0
X
Y
isBin
Y
plus
0
X
1
Y
U61
and
isBin
X
isBin
Y
X
Y
mult
1
X
Y
isBin
X
isBin
plus
V1
V2
isBin
V1
U111
tt
A
B
sum
B
prod
union
A
B
isBag
A
plus
0
X
0
Y
isBin
X
plus
1
X
1
Y
U71
and
isBin
X
isBin
Y
X
Y
plus
0
X
1
Y
isBin
Y
U31
tt
X
Y
plus
0
mult
X
Y
Y
prod
union
A
B
U91
and
isBag
A
isBag
B
A
B
U21
tt
X
Y
mult
X
Y
plus
1
X
1
Y
and
isBin
X
isBin
Y
U71
tt
X
Y
plus
plus
X
Y
1
z
U61
tt
X
Y
plus
X
Y
U91
tt
A
B
mult
prod
A
prod
B
U71
tt
X
Y
0
plus
plus
X
Y
1
z
mult
0
X
Y
and
isBin
X
isBin
Y
sum
union
A
B
isBag
B
plus
0
X
1
Y
isBin
X
U111
tt
A
B
sum
A
isBag
singl
V1
isBin
V1
isBin
plus
V1
V2
isBin
V2
mult
z
X
U11
isBin
X
U91
tt
A
B
prod
B
sum
union
A
B
isBag
A
plus
z
X
U41
isBin
X
X
isBag
union
V1
V2
isBag
V2
isBin
mult
V1
V2
and
isBin
V1
isBin
V2
prod
union
A
B
isBag
B
sum
union
A
B
and
isBag
A
isBag
B
plus
z
X
isBin
X
mult
1
X
Y
U31
and
isBin
X
isBin
Y
X
Y
U111
tt
A
B
plus
sum
A
sum
B
union
union
empty
X
_1
union
X
_1
plus
plus
z
X
_1
plus
U41
isBin
X
X
_1
plus
plus
0
X
1
Y
_1
plus
U61
and
isBin
X
isBin
Y
X
Y
_1
plus
plus
0
X
0
Y
_1
plus
U51
and
isBin
X
isBin
Y
X
Y
_1
mult
mult
1
X
Y
_1
mult
U31
and
isBin
X
isBin
Y
X
Y
_1
mult
mult
0
X
Y
_1
mult
U21
and
isBin
X
isBin
Y
X
Y
_1
plus
plus
1
X
1
Y
_1
plus
U71
and
isBin
X
isBin
Y
X
Y
_1
mult
mult
z
X
_1
mult
U11
isBin
X
_1
union
union
X
empty
_1
union
X
_1
union
x
union
y
z
union
x
y
union
x
y
union
y
x
union
x
union
y
z
union
union
x
y
z
true
U91
tt
A
B
prod
B
prod
union
A
B
U91
and
isBag
A
isBag
B
A
B
U91
tt
A
B
prod
A
true
0
1
0
isBag
1
0
U21
3
0
1
1
0
prod
1
1
1
U11
1
0
z
0
1
prod
1
1
0
U91
3
0
U101
2
0
U71
3
0
U81
2
0
and
2
1
38552
plus
2
0
U101
2
0
U111
3
0
sum
1
1
1
mult
2
5854
isBin
1
1
32286
0
1
0
isBin
1
0
union
2
1
2
2
U111
3
0
singl
1
1
plus
2
38551
U61
3
0
U51
3
0
U11
1
0
U31
3
0
U41
2
0
empty
0
1
U21
3
0
U81
2
0
tt
0
32289
U71
3
0
isBag
1
32288
U51
3
0
sum
1
0
U41
2
0
U31
3
0
and
2
0
union
2
0
U91
3
2
3
1
mult
2
0
U61
3
0
U91
tt
A
B
prod
A
prod
union
A
B
U91
and
isBag
A
isBag
B
A
B
U91
tt
A
B
prod
B
U91
tt
A
B
mult
prod
A
prod
B
false
prod
union
A
B
and
isBag
A
isBag
B
false
prod
union
A
B
isBag
A
false
prod
union
A
B
isBag
B
false
prod
singl
X
U81
isBin
X
X
false
prod
singl
X
isBin
X
false
mult
1
X
Y
U31
and
isBin
X
isBin
Y
X
Y
mult
x
y
mult
y
x
mult
x
mult
y
z
mult
mult
x
y
z
mult
0
X
Y
U21
and
isBin
X
isBin
Y
X
Y
U31
tt
X
Y
mult
X
Y
U21
tt
X
Y
mult
X
Y
mult
x
mult
y
z
mult
x
y
true
Failed!
NaTT
certifiable-1.6