lt0
Cons
x'
xs'
Cons
x
xs
lt0
xs'
xs
g
x
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Nil
f
x
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Nil
lt0
x
Nil
False
g
x
Cons
x'
xs
g[Ite][False][Ite]
lt0
x
Cons
Nil
Nil
x
Cons
x'
xs
f
x
Cons
x'
xs
f
f[Ite][False][Ite]
lt0
x
Cons
Nil
Nil
x
Cons
x'
xs
f[Ite][False][Ite]
lt0
x
Cons
Nil
Nil
x
Cons
x'
xs
number42
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Cons
Nil
Nil
goal
x
y
Cons
f
x
y
Cons
g
x
y
Nil
g[Ite][False][Ite]
False
Cons
x
xs
y
g
xs
Cons
Cons
Nil
Nil
y
g[Ite][False][Ite]
True
x'
Cons
x
xs
g
x'
xs
f[Ite][False][Ite]
False
Cons
x
xs
y
xs
f[Ite][False][Ite]
True
x'
Cons
x
xs
xs
f[Ite][False][Ite]
False
x
y
Cons
Cons
Nil
Nil
y
f[Ite][False][Ite]
True
x
y
x
f[Ite][False][Ite]
3
True
0
f
2
g[Ite][False][Ite]
3
Cons
2
Nil
0
lt0
2
number42
0
goal
2
g
2
False
0
INNERMOST