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
plus
0
y
y
plus
s
x
y
s
plus
x
y
minus
minus
x
y
z
minus
x
plus
y
z
app
nil
k
k
app
l
nil
l
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
nil
cons
x
nil
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
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
y
plus
x
y
quot
s
x
s
y
quot
minus
x
y
s
y
gt
s
x
s
y
gt
x
y
plus
s
x
s
y
not
gt
x
y
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
gt
x
y
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
not
x
if
x
false
true
plus
s
x
s
y
if
not
gt
x
y
id
x
id
y
plus
s
x
s
y
gt
x
y
quot
s
x
s
y
minus
x
y
plus
s
x
x
if
gt
x
x
id
x
id
x
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
plus
s
x
s
y
if
gt
x
y
x
y
sum
app
l
cons
x
cons
y
k
sum
cons
x
cons
y
k
plus
s
x
x
id
x
plus
id
x
s
y
gt
s
y
y
plus
s
x
x
id
x
minus
minus
x
y
z
minus
x
plus
y
z
app
cons
x
l
k
app
l
k
plus
s
x
x
gt
x
x
plus
id
x
s
y
if
gt
s
y
y
y
s
y
plus
s
x
s
y
id
y
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
minus
s
x
s
y
minus
x
y
sum
cons
x
cons
y
l
plus
x
y
plus
s
x
s
y
id
x
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
minus
minus
x
y
z
plus
y
z
true
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
true
zero
0
1
s
1
1
1
gt
2
2
1
minus
2
0
plus
2
0
false
0
2
id
1
0
true
0
3
sum
1
65135
not
1
0
0
0
36466
if
3
2
5855
quot
2
0
nil
0
32567
gt
2
0
app
2
0
minus
2
0
plus
2
1
2
30988
cons
2
2
32568
if
3
0
id
1
1
quot
2
0
sum
1
1
0
not
1
1
0
app
2
1
2
31755
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
app
l
cons
x
cons
y
k
app
l
sum
cons
x
cons
y
k
false
app
cons
x
l
k
app
l
k
true
zero
0
1
s
1
1
23974
gt
2
2
1
minus
2
0
plus
2
0
false
0
2
id
1
0
true
0
3
sum
1
2
not
1
0
0
0
36466
if
3
2
2
quot
2
0
nil
0
1
gt
2
0
app
2
1
0
minus
2
0
plus
2
1
2
14681
cons
2
2
1
if
3
0
id
1
1
quot
2
0
sum
1
1
0
not
1
1
0
app
2
1
2
31755
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
app
l
cons
x
cons
y
k
sum
cons
x
cons
y
k
false
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
true
zero
0
1
s
1
1
1
gt
2
2
1
minus
2
0
plus
2
0
false
0
2
id
1
0
true
0
3
sum
1
2
not
1
0
0
0
32869
if
3
2
2
quot
2
0
nil
0
1
gt
2
0
app
2
0
minus
2
0
plus
2
1
2
1
cons
2
2
1
if
3
0
id
1
1
quot
2
0
sum
1
1
0
not
1
1
0
app
2
1
2
3287
app
nil
k
k
app
cons
x
l
k
cons
x
app
l
k
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
sum
cons
x
cons
y
l
plus
x
y
false
quot
s
x
s
y
quot
minus
x
y
s
y
true
zero
0
1
s
1
1
51836
gt
2
2
1
minus
2
1
51835
plus
2
0
false
0
2
id
1
0
true
0
3
sum
1
29535
not
1
0
0
0
32869
if
3
2
2
quot
2
0
nil
0
1
gt
2
0
app
2
0
minus
2
0
plus
2
1
2
19496
cons
2
2
1
if
3
0
id
1
1
quot
2
1
0
sum
1
1
0
not
1
1
0
app
2
1
2
13324
app
nil
k
k
minus
x
0
x
app
cons
x
l
k
cons
x
app
l
k
minus
minus
x
y
z
minus
x
plus
y
z
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
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
51836
gt
2
2
1
minus
2
1
51835
plus
2
0
false
0
2
id
1
0
true
0
3
sum
1
82509
not
1
0
0
0
1
if
3
2
2
quot
2
0
nil
0
28716
gt
2
0
app
2
0
minus
2
1
0
plus
2
1
2
7630
cons
2
2
53793
if
3
0
id
1
1
quot
2
1
0
sum
1
1
0
not
1
1
0
app
2
1
2
25785
app
nil
k
k
minus
x
0
x
app
cons
x
l
k
cons
x
app
l
k
minus
minus
x
y
z
minus
x
plus
y
z
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
minus
s
x
s
y
minus
x
y
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
s
x
s
y
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
s
x
y
plus
x
y
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
true
zero
0
0
s
1
1
8
gt
2
2
1
0
minus
2
0
plus
2
1
41064
2
41063
0
false
0
1
id
1
0
true
0
1
sum
1
0
not
1
0
0
0
0
if
3
1
3
2
1
3
0
0
quot
2
0
nil
0
0
gt
2
0
app
2
0
minus
2
0
plus
2
0
cons
2
0
if
3
0
id
1
1
1
quot
2
0
sum
1
0
not
1
1
3
app
2
0
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
plus
s
x
y
plus
x
y
id
x
x
not
x
if
x
false
true
if
true
x
y
x
gt
s
x
zero
true
if
false
x
y
y
gt
zero
y
false
gt
s
x
s
y
gt
x
y
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
plus
s
x
y
plus
x
y
true
zero
0
1
s
1
1
1
gt
2
1
2
1
minus
2
1
51835
plus
2
1
0
false
0
1
id
1
0
true
0
1
sum
1
53794
not
1
0
0
0
1
if
3
1
2
3
0
quot
2
0
nil
0
1
gt
2
0
app
2
0
minus
2
0
plus
2
1
35873
cons
2
2
1
if
3
0
id
1
1
1
quot
2
1
0
sum
1
1
0
not
1
1
31251
app
2
1
2
1
id
x
x
app
nil
k
k
minus
x
0
x
not
x
if
x
false
true
if
true
x
y
x
gt
s
x
zero
true
app
cons
x
l
k
cons
x
app
l
k
minus
minus
x
y
z
minus
x
plus
y
z
if
false
x
y
y
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
gt
zero
y
false
gt
s
x
s
y
gt
x
y
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
minus
s
x
s
y
minus
x
y
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
1
s
1
1
1
gt
2
1
2
35873
minus
2
1
51835
plus
2
1
0
false
0
1
id
1
0
true
0
1
sum
1
2
not
1
0
0
0
1
if
3
1
2
3
0
quot
2
0
nil
0
1
gt
2
2
0
app
2
0
minus
2
0
plus
2
1
1
cons
2
2
1
if
3
0
id
1
1
1
quot
2
1
0
sum
1
1
0
not
1
1
31251
app
2
1
2
37697
id
x
x
app
nil
k
k
minus
x
0
x
not
x
if
x
false
true
if
true
x
y
x
gt
s
x
zero
true
app
cons
x
l
k
cons
x
app
l
k
minus
minus
x
y
z
minus
x
plus
y
z
if
false
x
y
y
sum
cons
x
cons
y
l
sum
cons
plus
x
y
l
gt
zero
y
false
gt
s
x
s
y
gt
x
y
sum
cons
x
nil
cons
x
nil
app
l
nil
l
sum
app
l
cons
x
cons
y
k
sum
app
l
sum
cons
x
cons
y
k
minus
s
x
s
y
minus
x
y
plus
s
x
x
id
x
false
plus
s
x
x
id
x
false
NaTT
certifiable-1.6