-
0
y
0
-
x
0
x
-
x
s
y
if
greater
x
s
y
s
-
x
p
s
y
0
p
0
0
p
s
x
x
2.2
-
x
s
y
p
s
y
-
x
s
y
-
x
p
s
y
true
-
x
s
y
-
x
p
s
y
true
-
2
2
s
1
0
1
greater
2
0
1
2
p
1
0
p
1
0
0
0
0
if
3
0
-
2
0
1
2
s
1
1
11293
greater
2
1
2
1
p
1
1
p
1
1
0
0
0
0
if
3
1
1
-
2
1
2
1
p
0
0
p
s
x
x
-
x
s
y
p
s
y
false
NaTT
certifiable-1.6