plus
x
0
x
plus
0
y
y
plus
s
x
y
s
plus
x
y
times
0
y
0
times
s
0
y
y
times
s
x
y
plus
y
times
x
y
div
0
y
0
div
x
y
quot
x
y
y
quot
0
s
y
z
0
quot
s
x
s
y
z
quot
x
y
z
quot
x
0
s
z
s
div
x
s
z
div
div
x
y
z
div
x
times
y
z
plus
times
plus
times
2.2
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
times
x
y
times
y
x
times
x
times
y
z
times
times
x
y
z
times
x
times
y
z
times
times
x
y
z
times
x
times
y
z
times
x
y
times
x
y
times
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
times
s
x
y
times
x
y
div
div
x
y
z
div
x
times
y
z
quot
s
x
s
y
z
quot
x
y
z
plus
s
x
y
plus
x
y
div
x
y
quot
x
y
y
div
div
x
y
z
times
y
z
quot
x
0
s
z
div
x
s
z
times
s
x
y
plus
y
times
x
y
plus
plus
0
y
_1
plus
y
_1
times
times
s
x
y
_1
times
plus
y
times
x
y
_1
times
times
s
0
y
_1
times
y
_1
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
plus
x
0
_1
plus
x
_1
times
times
0
y
_1
times
0
_1
div
x
y
quot
x
y
y
quot
s
x
s
y
z
quot
x
y
z
div
div
x
y
z
div
x
times
y
z
quot
x
0
s
z
div
x
s
z
true
div
2
1
0
s
1
1
1
plus
2
0
div
2
1
2
11798
times
2
0
0
0
0
quot
3
0
times
2
8366
plus
2
1
2
32286
quot
3
1
0
div
div
x
y
z
div
x
times
y
z
quot
s
x
s
y
z
quot
x
y
z
div
x
y
quot
x
y
y
quot
x
0
s
z
div
x
s
z
true
div
2
2
0
0
s
1
1
plus
2
0
div
2
0
times
2
0
0
0
2
quot
3
0
times
2
0
plus
2
0
quot
3
2
0
0
quot
x
0
s
z
div
x
s
z
div
x
y
quot
x
y
y
false
div
div
x
y
z
times
y
z
false
times
x
times
y
z
times
x
y
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
times
s
x
y
times
x
y
true
div
2
1
s
1
0
1
plus
2
1
div
2
0
1
2
times
2
2
1
2
0
0
0
quot
3
0
2
1
3
times
2
2
1
2
plus
2
1
1
2
quot
3
0
3
2
1
s
1
1
0
plus
2
0
div
2
1
0
2
0
0
times
2
1
0
2
0
0
0
0
0
quot
3
1
0
2
0
3
0
0
times
2
1
0
2
0
0
plus
2
1
0
2
0
0
quot
3
1
0
2
0
3
0
0
times
s
x
y
times
x
y
times
x
times
y
z
times
x
y
times
0
y
0
times
x
times
y
z
times
times
x
y
z
plus
x
0
x
plus
s
x
y
s
plus
x
y
times
x
y
times
y
x
times
s
0
y
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
times
s
x
y
plus
y
times
x
y
plus
0
y
y
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
true
times
s
x
y
plus
y
times
x
y
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
plus
s
x
y
plus
x
y
true
div
2
0
s
1
1
1
plus
2
1
2
0
div
2
11798
times
2
0
0
0
23975
quot
3
0
times
2
23974
plus
2
1
2
14681
quot
3
0
plus
s
x
y
plus
x
y
plus
x
plus
y
z
plus
x
y
plus
x
0
x
plus
s
x
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
0
y
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
plus
x
plus
y
z
plus
x
y
plus
plus
0
y
_1
plus
y
_1
plus
plus
x
0
_1
plus
x
_1
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
true
div
2
0
s
1
1
1
plus
2
1
2
0
div
2
11798
times
2
0
0
0
57799
quot
3
0
times
2
57798
plus
2
1
2
21656
quot
3
0
plus
plus
x
0
_1
plus
x
_1
plus
plus
0
y
_1
plus
y
_1
plus
x
plus
y
z
plus
x
y
plus
x
0
x
plus
s
x
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
0
y
y
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
div
2
0
s
1
1
plus
2
1
2
0
div
2
11798
times
2
0
0
0
31123
quot
3
0
times
2
31122
plus
2
1
2
57801
quot
3
0
plus
plus
s
x
y
_1
plus
s
plus
x
y
_1
plus
x
0
x
plus
s
x
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
0
y
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
times
x
times
y
z
times
x
y
times
x
times
y
z
times
times
x
y
z
times
times
s
x
y
_1
times
plus
y
times
x
y
_1
times
x
y
times
y
x
times
times
0
y
_1
times
0
_1
times
times
s
0
y
_1
times
y
_1
true
div
2
1
s
1
0
1
plus
2
1
div
2
0
1
2
times
2
2
1
2
0
0
0
quot
3
0
2
1
3
times
2
2
1
2
plus
2
1
1
2
quot
3
0
3
2
1
s
1
1
0
plus
2
0
div
2
1
0
2
0
0
times
2
1
0
2
0
0
0
0
0
quot
3
1
0
2
0
3
0
0
times
2
1
0
2
0
0
plus
2
1
0
2
0
0
quot
3
1
0
2
0
3
0
0
times
times
s
0
y
_1
times
y
_1
times
times
0
y
_1
times
0
_1
times
times
s
x
y
_1
times
plus
y
times
x
y
_1
times
x
times
y
z
times
x
y
times
0
y
0
times
x
times
y
z
times
times
x
y
z
plus
x
0
x
plus
s
x
y
s
plus
x
y
times
x
y
times
y
x
times
s
0
y
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
times
s
x
y
plus
y
times
x
y
plus
0
y
y
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
true
NaTT
certifiable-1.6