-
x
0
x
-
0
s
y
0
-
s
x
s
y
-
x
y
lt
x
0
false
lt
0
s
y
true
lt
s
x
s
y
lt
x
y
if
true
x
y
x
if
false
x
y
y
div
x
0
0
div
0
y
0
div
s
x
s
y
if
lt
x
y
0
s
div
-
x
y
s
y
2.2
div
s
x
s
y
if
lt
x
y
0
s
div
-
x
y
s
y
-
s
x
s
y
-
x
y
div
s
x
s
y
-
x
y
div
s
x
s
y
lt
x
y
lt
s
x
s
y
lt
x
y
div
s
x
s
y
div
-
x
y
s
y
true
div
s
x
s
y
div
-
x
y
s
y
true
div
2
1
0
s
1
1
28959
lt
2
0
false
0
0
div
2
0
true
0
0
0
0
1
if
3
0
-
2
1
28958
-
2
0
if
3
0
lt
2
0
-
x
0
x
-
s
x
s
y
-
x
y
-
0
s
y
0
div
s
x
s
y
lt
x
y
false
lt
s
x
s
y
lt
x
y
true
div
2
1
0
s
1
1
28959
lt
2
1
2
0
false
0
0
div
2
0
true
0
0
0
0
1
if
3
0
-
2
1
28958
-
2
0
if
3
0
lt
2
0
-
x
0
x
-
s
x
s
y
-
x
y
-
0
s
y
0
div
s
x
s
y
-
x
y
false
-
s
x
s
y
-
x
y
true
div
2
1
0
s
1
1
28959
lt
2
0
false
0
0
div
2
0
true
0
0
0
0
1
if
3
0
-
2
1
28958
-
2
1
2
0
if
3
0
lt
2
0
-
x
0
x
-
s
x
s
y
-
x
y
-
0
s
y
0
div
s
x
s
y
if
lt
x
y
0
s
div
-
x
y
s
y
false
NaTT
certifiable-1.6