sum
x
y
S
int
x
y
S
nil
0
S
cons
x
xs
plus
x
S
xs
plus
x
0
x
plus
x
s
y
s
plus
x
y
int
0
0
cons
0
nil
int
0
s
y
cons
0
int
s
0
s
y
int
s
x
0
nil
int
s
x
s
y
intlist
int
x
y
intlist
nil
nil
intlist
cons
x
y
cons
s
x
intlist
y
plus
plus
2.2
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
int
s
x
s
y
intlist
int
x
y
S
cons
x
xs
plus
x
S
xs
sum
x
y
S
int
x
y
sum
x
y
int
x
y
int
0
s
y
int
s
0
s
y
S
cons
x
xs
S
xs
int
s
x
s
y
int
x
y
plus
x
s
y
plus
x
y
intlist
cons
x
y
intlist
y
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
plus
x
0
_1
plus
x
_1
sum
x
y
int
x
y
false
sum
x
y
S
int
x
y
false
S
cons
x
xs
S
xs
true
intlist
1
0
s
1
0
S
1
0
plus
2
0
sum
2
0
0
0
0
nil
0
0
intlist
1
0
int
2
0
S
1
1
0
plus
2
0
cons
2
2
1
sum
2
0
int
2
0
S
cons
x
xs
S
xs
S
cons
x
xs
plus
x
S
xs
false
plus
x
s
y
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
true
intlist
1
0
s
1
1
1
S
1
0
plus
2
1
2
0
sum
2
0
0
0
21277
nil
0
0
intlist
1
0
int
2
0
S
1
0
plus
2
1
2
7720
cons
2
1
sum
2
0
int
2
0
plus
x
plus
y
z
plus
x
y
plus
x
s
y
plus
x
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
int
s
x
s
y
int
x
y
int
0
s
y
int
s
0
s
y
true
intlist
1
0
s
1
1
1
S
1
0
plus
2
1
2
0
sum
2
0
0
0
11798
nil
0
0
intlist
1
0
int
2
0
S
1
0
plus
2
1
2
7720
cons
2
1
sum
2
0
int
2
2
0
int
s
x
s
y
int
x
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
int
0
s
y
int
s
0
s
y
false
int
s
x
s
y
intlist
int
x
y
false
intlist
cons
x
y
intlist
y
true
intlist
1
1
0
s
1
1
1
S
1
0
plus
2
1
2
0
sum
2
0
0
0
18816
nil
0
0
intlist
1
0
int
2
0
S
1
0
plus
2
1
2
62898
cons
2
2
1
sum
2
0
int
2
0
intlist
cons
x
y
intlist
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
x
y
plus
y
x
plus
plus
x
0
_1
plus
x
_1
true
intlist
1
0
s
1
1
1
S
1
0
plus
2
1
2
0
sum
2
0
0
0
28382
nil
0
0
intlist
1
0
int
2
0
S
1
0
plus
2
1
2
1143
cons
2
1
sum
2
0
int
2
0
plus
plus
x
0
_1
plus
x
_1
plus
x
plus
y
z
plus
x
y
plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
intlist
1
0
s
1
29283
S
1
0
plus
2
1
2
0
sum
2
0
0
0
24867
nil
0
0
intlist
1
0
int
2
0
S
1
0
plus
2
1
2
1
cons
2
1
sum
2
0
int
2
0
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
NaTT
certifiable-1.6