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
2.2
quot
x
0
s
z
div
x
s
z
quot
s
x
s
y
z
quot
x
y
z
div
x
y
quot
x
y
y
true
div
x
y
quot
x
y
y
quot
s
x
s
y
z
quot
x
y
z
quot
x
0
s
z
div
x
s
z
true
div
2
1
0
s
1
1
1
div
2
0
0
0
1
quot
3
0
quot
3
1
0
quot
x
0
s
z
div
x
s
z
div
x
y
quot
x
y
y
quot
x
0
s
z
div
x
s
z
div
x
y
quot
x
y
y
true
div
2
2
1
s
1
1
div
2
0
0
0
3
quot
3
0
quot
3
2
0
NaTT
certifiable-1.6