if
true
x
y
x
if
false
x
y
y
eq
0
0
true
eq
0
s
x
false
eq
s
x
s
y
eq
x
y
union
empty
x
x
inter
empty
x
empty
inter
union
y
z
x
union
inter
x
y
inter
x
z
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
inter
union
eq
inter
union
2.2
union
x
union
y
z
union
union
x
y
z
inter
x
inter
y
z
inter
inter
x
y
z
inter
x
y
inter
y
x
union
x
y
union
y
x
eq
x
y
eq
y
x
union
x
union
y
z
union
x
y
inter
x
inter
y
z
inter
x
y
eq
x
y
eq
y
x
inter
x
y
inter
y
x
inter
x
inter
y
z
inter
inter
x
y
z
union
x
union
y
z
union
union
x
y
z
union
x
y
union
y
x
inter
union
y
z
x
inter
x
z
inter
union
y
z
x
union
inter
x
y
inter
x
z
inter
union
y
z
x
inter
x
y
eq
s
x
s
y
eq
x
y
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
inter
singl
x
singl
y
eq
x
y
union
union
empty
x
_1
union
x
_1
inter
inter
singl
x
singl
y
_1
inter
if
eq
x
y
singl
x
empty
_1
inter
inter
empty
x
_1
inter
empty
_1
inter
inter
union
y
z
x
_1
inter
union
inter
x
y
inter
x
z
_1
inter
union
y
z
x
inter
x
y
inter
union
y
z
x
inter
x
z
inter
x
inter
y
z
inter
x
y
inter
x
inter
y
z
inter
inter
x
y
z
inter
x
y
inter
y
x
true
if
3
2
s
1
0
1
eq
2
2
false
0
1
true
0
1
eq
2
0
if
3
4
3
2
0
0
0
union
2
0
1
2
singl
1
3
1
inter
2
5
1
2
empty
0
3
inter
2
5
1
2
union
2
0
s
1
1
0
eq
2
0
false
0
0
true
0
0
eq
2
0
if
3
2
0
3
0
0
0
0
0
union
2
1
0
2
0
0
singl
1
1
0
inter
2
1
0
2
0
0
empty
0
0
inter
2
1
0
2
0
0
union
2
0
inter
x
inter
y
z
inter
x
y
inter
union
y
z
x
inter
x
z
inter
union
y
z
x
inter
x
y
inter
union
y
z
x
union
inter
x
y
inter
x
z
if
true
x
y
x
inter
empty
x
empty
union
x
y
union
y
x
inter
x
y
inter
y
x
inter
x
inter
y
z
inter
inter
x
y
z
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
union
x
union
y
z
union
union
x
y
z
union
empty
x
x
if
false
x
y
y
inter
x
y
inter
y
x
inter
x
inter
y
z
inter
inter
x
y
z
true
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
false
inter
singl
x
singl
y
eq
x
y
false
eq
x
y
eq
y
x
eq
s
x
s
y
eq
x
y
true
s
1
1
1
eq
2
1
2
1
false
0
42739
true
0
94329
eq
2
1
2
0
if
3
1
2
3
1
0
0
42736
union
2
1
2
20163
singl
1
1
if
3
0
inter
2
1
2
1
empty
0
1
inter
2
0
union
2
0
eq
s
x
s
y
eq
x
y
eq
x
y
eq
y
x
true
inter
union
y
z
x
union
inter
x
y
inter
x
z
false
union
x
y
union
y
x
union
x
union
y
z
union
union
x
y
z
union
x
union
y
z
union
x
y
true
eq
x
y
eq
y
x
true
union
union
empty
x
_1
union
x
_1
union
x
union
y
z
union
union
x
y
z
union
x
union
y
z
union
x
y
union
x
y
union
y
x
true
s
1
1
11873
eq
2
1
2
1
false
0
20821
true
0
26749
eq
2
0
if
3
1
2
3
1
0
0
8946
union
2
1
2
1
singl
1
1
if
3
0
inter
2
1
2
1
empty
0
1
inter
2
0
union
2
1
2
0
union
x
union
y
z
union
x
y
union
union
empty
x
_1
union
x
_1
union
x
y
union
y
x
union
x
union
y
z
union
union
x
y
z
union
empty
x
x
union
x
y
union
y
x
union
x
union
y
z
union
union
x
y
z
true
inter
x
inter
y
z
inter
inter
x
y
z
inter
inter
union
y
z
x
_1
inter
union
inter
x
y
inter
x
z
_1
inter
x
inter
y
z
inter
x
y
inter
inter
singl
x
singl
y
_1
inter
if
eq
x
y
singl
x
empty
_1
inter
inter
empty
x
_1
inter
empty
_1
inter
x
y
inter
y
x
true
if
3
2
s
1
0
1
eq
2
2
1
2
false
0
1
true
0
1
eq
2
0
if
3
4
3
2
0
0
0
union
2
0
1
2
singl
1
3
1
inter
2
5
1
2
empty
0
3
inter
2
5
1
2
union
2
0
s
1
1
0
eq
2
1
0
2
0
0
false
0
0
true
0
0
eq
2
0
if
3
2
0
3
0
0
0
0
0
union
2
1
0
2
0
0
singl
1
1
0
inter
2
1
0
2
0
0
empty
0
0
inter
2
1
0
2
0
0
union
2
0
inter
inter
empty
x
_1
inter
empty
_1
inter
inter
singl
x
singl
y
_1
inter
if
eq
x
y
singl
x
empty
_1
inter
x
inter
y
z
inter
x
y
inter
inter
union
y
z
x
_1
inter
union
inter
x
y
inter
x
z
_1
eq
0
s
x
false
inter
union
y
z
x
union
inter
x
y
inter
x
z
if
true
x
y
x
eq
0
0
true
inter
empty
x
empty
union
x
y
union
y
x
inter
x
y
inter
y
x
inter
x
inter
y
z
inter
inter
x
y
z
inter
singl
x
singl
y
if
eq
x
y
singl
x
empty
union
x
union
y
z
union
union
x
y
z
union
empty
x
x
if
false
x
y
y
inter
x
y
inter
y
x
inter
x
inter
y
z
inter
inter
x
y
z
true
NaTT
certifiable-1.6