f
s
X
f
X
g
cons
0
Y
g
Y
g
cons
s
X
Y
s
X
h
cons
X
Y
h
g
cons
X
Y
2.2
f
s
X
f
X
h
cons
X
Y
h
g
cons
X
Y
g
cons
0
Y
g
Y
h
cons
X
Y
g
cons
X
Y
true
h
cons
X
Y
h
g
cons
X
Y
true
h
1
0
s
1
8856
f
1
0
0
0
23676
h
1
1
0
f
1
0
g
1
0
cons
2
1
8857
g
1
8856
g
cons
s
X
Y
s
X
g
cons
0
Y
g
Y
h
cons
X
Y
g
cons
X
Y
false
g
cons
0
Y
g
Y
true
h
1
0
s
1
8856
f
1
0
0
0
23676
h
1
1
0
f
1
0
g
1
1
0
cons
2
1
2
8857
g
1
8856
g
cons
s
X
Y
s
X
g
cons
0
Y
g
Y
f
s
X
f
X
true
h
1
0
s
1
1
30613
f
1
0
0
0
16304
h
1
1
0
f
1
1
0
g
1
0
cons
2
1
2
0
g
1
1
0
g
cons
s
X
Y
s
X
g
cons
0
Y
g
Y
NaTT
certifiable-1.6