minus
X
0
X
minus
s
X
s
Y
p
minus
X
Y
p
s
X
X
div
0
s
Y
0
div
s
X
s
Y
s
div
minus
X
Y
s
Y
2.2
minus
s
X
s
Y
minus
X
Y
div
s
X
s
Y
div
minus
X
Y
s
Y
minus
s
X
s
Y
p
minus
X
Y
div
s
X
s
Y
minus
X
Y
true
div
s
X
s
Y
div
minus
X
Y
s
Y
true
div
2
1
0
s
1
1
2
minus
2
1
1
div
2
0
p
1
0
p
1
1
0
0
0
1
minus
2
0
minus
X
0
X
p
s
X
X
minus
s
X
s
Y
p
minus
X
Y
div
s
X
s
Y
minus
X
Y
false
minus
s
X
s
Y
minus
X
Y
true
div
2
1
0
s
1
1
2
minus
2
1
1
div
2
0
p
1
0
p
1
1
0
0
0
1
minus
2
1
2
0
minus
X
0
X
p
s
X
X
minus
s
X
s
Y
p
minus
X
Y
minus
s
X
s
Y
p
minus
X
Y
false
NaTT
certifiable-1.6