minus
x
0
x
minus
s
x
s
y
minus
x
y
quot
0
s
y
0
quot
s
x
s
y
s
quot
minus
x
y
s
y
minus
minus
x
y
z
minus
x
plus
y
z
plus
s
x
s
y
s
s
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
plus
zero
y
y
plus
id
x
s
y
s
plus
x
if
gt
s
y
y
y
s
y
id
x
x
if
true
x
y
x
if
false
x
y
y
not
x
if
x
false
true
gt
s
x
zero
true
gt
zero
y
false
gt
s
x
s
y
gt
x
y
2.2
plus
s
x
s
y
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
s
x
s
y
not
gt
x
y
plus
id
x
s
y
gt
s
y
y
plus
s
x
s
y
id
y
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
quot
s
x
s
y
minus
x
y
plus
id
x
s
y
if
gt
s
y
y
y
s
y
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
minus
minus
x
y
z
plus
y
z
plus
s
x
s
y
gt
x
y
not
x
if
x
false
true
plus
s
x
s
y
if
not
gt
x
y
id
x
id
y
quot
s
x
s
y
quot
minus
x
y
s
y
plus
s
x
x
id
x
minus
minus
x
y
z
minus
x
plus
y
z
gt
s
x
s
y
gt
x
y
plus
s
x
x
gt
x
x
plus
s
x
s
y
if
gt
x
y
x
y
minus
s
x
s
y
minus
x
y
plus
s
x
s
y
id
x
plus
s
x
x
if
gt
x
x
id
x
id
x
plus
s
x
s
y
gt
x
y
plus
s
x
x
id
x
true
quot
s
x
s
y
quot
minus
x
y
s
y
true
zero
0
1
s
1
1
9228
gt
2
1
minus
2
1
9227
plus
2
0
false
0
20539
id
1
0
true
0
2
not
1
0
0
0
1
if
3
1
2
3
14680
quot
2
0
gt
2
0
minus
2
0
plus
2
1
2
1
if
3
0
id
1
1
7830
quot
2
1
0
not
1
1
2997
minus
x
0
x
minus
minus
x
y
z
minus
x
plus
y
z
minus
s
x
s
y
minus
x
y
quot
s
x
s
y
minus
x
y
false
minus
s
x
s
y
minus
x
y
minus
minus
x
y
z
minus
x
plus
y
z
true
zero
0
1
s
1
1
1
gt
2
1
minus
2
1
2
9227
plus
2
0
false
0
20539
id
1
0
true
0
2
not
1
0
0
0
0
if
3
1
2
3
0
quot
2
0
gt
2
0
minus
2
1
0
plus
2
1
2
1
if
3
0
id
1
1
1
quot
2
0
not
1
1
9725
minus
x
0
x
minus
minus
x
y
z
plus
y
z
false
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
plus
s
x
s
y
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
true
zero
0
0
s
1
1
11711
gt
2
0
minus
2
0
plus
2
1
33957
2
28101
0
false
0
0
id
1
0
true
0
0
not
1
0
0
0
0
if
3
1
5856
2
1
3
0
0
quot
2
0
gt
2
0
minus
2
0
plus
2
0
if
3
0
id
1
1
0
quot
2
0
not
1
1
5856
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
gt
zero
y
false
gt
s
x
s
y
gt
x
y
id
x
x
gt
s
x
zero
true
if
false
x
y
y
if
true
x
y
x
not
x
if
x
false
true
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
true
zero
0
1
s
1
4
gt
2
1
minus
2
1
2
9227
plus
2
1
0
false
0
1
id
1
0
true
0
1
not
1
0
0
0
0
if
3
2
3
1
quot
2
0
gt
2
0
minus
2
0
plus
2
1
1
if
3
0
id
1
1
2
quot
2
0
not
1
1
gt
zero
y
false
minus
x
0
x
gt
s
x
s
y
gt
x
y
id
x
x
gt
s
x
zero
true
if
false
x
y
y
if
true
x
y
x
plus
s
x
s
y
if
gt
x
y
x
y
false
plus
s
x
s
y
gt
x
y
false
plus
s
x
s
y
if
not
gt
x
y
id
x
id
y
false
plus
s
x
s
y
not
gt
x
y
false
not
x
if
x
false
true
false
plus
s
x
s
y
gt
x
y
false
plus
s
x
s
y
id
x
false
plus
s
x
s
y
id
y
false
plus
id
x
s
y
if
gt
s
y
y
y
s
y
false
plus
id
x
s
y
gt
s
y
y
false
plus
s
x
x
if
gt
x
x
id
x
id
x
false
plus
s
x
x
gt
x
x
false
gt
s
x
s
y
gt
x
y
true
zero
0
0
s
1
1
1
gt
2
1
1
minus
2
1
2
9227
plus
2
1
0
false
0
1
id
1
0
true
0
1
not
1
0
0
0
0
if
3
2
3
15620
quot
2
0
gt
2
1
2
0
minus
2
0
plus
2
2
1
if
3
0
id
1
1
23637
quot
2
0
not
1
1
gt
zero
y
false
minus
x
0
x
gt
s
x
s
y
gt
x
y
id
x
x
gt
s
x
zero
true
if
false
x
y
y
if
true
x
y
x
plus
s
x
x
id
x
false
plus
s
x
x
id
x
false
NaTT
certifiable-1.6