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
plus
empty
x
x
app
x
empty
empty
app
x
app
empty
z
app
empty
z
app
x
plus
y
z
plus
app
x
y
app
x
z
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
singl
x
singl
y
if
eq
x
y
singl
x
empty
plus
app
plus
app
2.2
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
app
x
app
y
z
app
app
x
y
z
app
x
y
app
y
x
app
x
app
y
z
app
app
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
app
x
app
y
z
app
x
y
app
x
y
app
y
x
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
app
x
plus
y
z
plus
app
x
y
app
x
z
app
singl
x
singl
y
eq
x
y
app
x
app
plus
y
z
t
app
x
y
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
x
app
plus
y
z
t
plus
app
x
y
app
x
z
app
x
app
plus
y
z
t
app
x
z
app
singl
x
singl
y
if
eq
x
y
singl
x
empty
app
x
plus
y
z
app
x
y
eq
s
x
s
y
eq
x
y
app
x
plus
y
z
app
x
z
plus
plus
empty
x
_1
plus
x
_1
app
app
x
plus
y
z
_1
app
plus
app
x
y
app
x
z
_1
app
app
singl
x
singl
y
_1
app
if
eq
x
y
singl
x
empty
_1
app
app
x
empty
_1
app
empty
_1
app
app
x
app
plus
y
z
t
_1
app
app
plus
app
x
y
app
x
z
t
_1
app
app
x
app
empty
z
_1
app
app
empty
z
_1
app
x
plus
y
z
app
x
z
app
x
app
plus
y
z
t
app
x
z
app
x
plus
y
z
app
x
y
app
x
y
app
y
x
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
x
app
y
z
app
app
x
y
z
app
x
app
plus
y
z
t
app
x
y
app
x
app
y
z
app
x
y
true
s
1
0
1
plus
2
0
eq
2
1
false
0
1
true
0
1
eq
2
0
1
2
if
3
2
3
2
1
0
0
0
app
2
3
1
2
singl
1
1
plus
2
0
1
2
if
3
0
3
2
1
empty
0
1
app
2
3
1
2
s
1
1
0
plus
2
0
eq
2
0
false
0
0
true
0
0
eq
2
1
0
2
0
0
if
3
1
0
2
0
3
0
0
0
0
0
app
2
1
0
2
0
0
singl
1
0
plus
2
1
0
2
0
0
if
3
1
0
2
0
3
0
0
empty
0
0
app
2
1
0
2
0
0
app
x
app
y
z
app
x
y
app
x
app
plus
y
z
t
app
x
y
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
x
plus
y
z
app
x
y
app
x
app
plus
y
z
t
app
x
z
app
x
plus
y
z
app
x
z
eq
0
s
x
false
app
x
y
app
y
x
app
x
app
empty
z
app
empty
z
if
true
x
y
x
eq
0
0
true
eq
s
x
s
y
eq
x
y
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
x
empty
empty
app
x
app
y
z
app
app
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
app
singl
x
singl
y
if
eq
x
y
singl
x
empty
app
x
plus
y
z
plus
app
x
y
app
x
z
plus
x
y
plus
y
x
plus
empty
x
x
if
false
x
y
y
app
x
y
app
y
x
app
x
app
y
z
app
app
x
y
z
true
app
singl
x
singl
y
if
eq
x
y
singl
x
empty
false
app
singl
x
singl
y
eq
x
y
false
eq
s
x
s
y
eq
x
y
true
s
1
1
1
plus
2
0
eq
2
1
1
false
0
0
true
0
1
eq
2
2
0
if
3
2
3
54534
0
0
8856
app
2
0
singl
1
1
22248
plus
2
1
2
38978
if
3
0
empty
0
1
app
2
1
2
32286
eq
s
x
s
y
eq
x
y
eq
0
s
x
false
eq
0
0
true
eq
s
x
s
y
eq
x
y
app
x
app
plus
y
z
t
plus
app
x
y
app
x
z
false
app
x
plus
y
z
plus
app
x
y
app
x
z
false
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
empty
x
_1
plus
x
_1
plus
x
plus
y
z
plus
x
y
true
s
1
1
1
plus
2
1
2
0
eq
2
1
1
false
0
0
true
0
1
eq
2
0
if
3
2
3
54534
0
0
8856
app
2
0
singl
1
1
1
plus
2
1
2
2
if
3
0
empty
0
1
app
2
1
2
28101
plus
x
plus
y
z
plus
x
y
plus
plus
empty
x
_1
plus
x
_1
eq
0
s
x
false
eq
0
0
true
eq
s
x
s
y
eq
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
empty
x
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
app
app
x
empty
_1
app
empty
_1
app
x
app
y
z
app
app
x
y
z
app
x
app
y
z
app
x
y
app
app
x
app
plus
y
z
t
_1
app
app
plus
app
x
y
app
x
z
t
_1
app
app
x
plus
y
z
_1
app
plus
app
x
y
app
x
z
_1
app
app
x
app
empty
z
_1
app
app
empty
z
_1
app
x
y
app
y
x
app
app
singl
x
singl
y
_1
app
if
eq
x
y
singl
x
empty
_1
true
eq
2
2
s
1
0
1
plus
2
0
false
0
0
true
0
1
eq
2
0
1
2
if
3
1
3
2
0
0
2
app
2
2
1
2
singl
1
3
1
plus
2
0
1
2
if
3
0
3
2
1
empty
0
3
app
2
2
1
2
s
1
1
0
plus
2
0
false
0
0
true
0
0
eq
2
1
0
2
0
0
if
3
2
0
3
0
0
0
0
0
app
2
1
0
2
0
0
singl
1
1
0
plus
2
1
0
2
0
0
if
3
1
0
2
0
3
0
0
empty
0
0
app
2
1
0
2
0
0
app
app
singl
x
singl
y
_1
app
if
eq
x
y
singl
x
empty
_1
app
app
x
app
empty
z
_1
app
app
empty
z
_1
app
app
x
plus
y
z
_1
app
plus
app
x
y
app
x
z
_1
app
app
x
app
plus
y
z
t
_1
app
app
plus
app
x
y
app
x
z
t
_1
app
x
app
y
z
app
x
y
app
app
x
empty
_1
app
empty
_1
eq
0
s
x
false
app
x
y
app
y
x
app
x
app
empty
z
app
empty
z
if
true
x
y
x
eq
0
0
true
eq
s
x
s
y
eq
x
y
app
x
app
plus
y
z
t
app
plus
app
x
y
app
x
z
t
app
x
empty
empty
app
x
app
y
z
app
app
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
app
singl
x
singl
y
if
eq
x
y
singl
x
empty
app
x
plus
y
z
plus
app
x
y
app
x
z
plus
x
y
plus
y
x
plus
empty
x
x
if
false
x
y
y
app
x
y
app
y
x
app
x
app
y
z
app
app
x
y
z
true
NaTT
certifiable-1.6