f
x
empty
x
f
empty
cons
a
k
f
cons
a
k
k
f
cons
a
k
y
f
y
k
2.2
f
cons
a
k
y
f
y
k
f
empty
cons
a
k
f
cons
a
k
k
true
f
empty
cons
a
k
f
cons
a
k
k
f
cons
a
k
y
f
y
k
true
f
2
0
f
2
1
11293
2
32532
0
cons
2
2
21239
0
empty
0
21240
f
cons
a
k
y
f
y
k
f
cons
a
k
y
f
y
k
true
f
2
0
f
2
1
2
0
cons
2
2
1
empty
0
0
NaTT
certifiable-1.6