intlist
nil
nil
int
s
x
0
nil
int
x
x
cons
x
nil
intlist
cons
x
y
cons
s
x
intlist
y
int
s
x
s
y
intlist
int
x
y
int
0
s
y
cons
0
int
s
0
s
y
intlist
cons
x
nil
cons
s
x
nil
2.2
int
s
x
s
y
intlist
int
x
y
int
s
x
s
y
int
x
y
int
0
s
y
int
s
0
s
y
intlist
cons
x
y
intlist
y
true
int
0
s
y
int
s
0
s
y
int
s
x
s
y
int
x
y
true
intlist
1
0
s
1
1
1
0
0
23676
nil
0
0
intlist
1
0
int
2
0
cons
2
0
int
2
2
0
int
0
s
y
int
s
0
s
y
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
0
0
23676
nil
0
0
intlist
1
0
int
2
0
cons
2
2
1
int
2
0
NaTT
certifiable-1.6