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