app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app app le 0 y true app app le app s x 0 false app app le app s x app s y app app le x y app app maxlist x app app cons y ys app app if app app le x y app app maxlist y ys app app maxlist x nil x app height app app node x xs app s app app maxlist 0 app app map height xs 2.2 app app map f app app cons x xs app cons app f x app app maxlist x app app cons y ys app if app app le x y app height app app node x xs app s app app maxlist 0 app app map height xs app app maxlist x app app cons y ys app app maxlist y ys app app le app s x app s y app app le x y app app le app s x app s y app le x app height app app node x xs app app maxlist 0 app app map height xs app app maxlist x app app cons y ys app app le x y app app maxlist x app app cons y ys app maxlist y app app maxlist x app app cons y ys app app if app app le x y app app maxlist y ys app height app app node x xs app map height app height app app node x xs app app map height xs app app map f app app cons x xs app f x app app map f app app cons x xs app app cons app f x app app map f xs app app maxlist x app app cons y ys app le x app height app app node x xs app maxlist 0 app app map f app app cons x xs app app map f xs true app app map f app app cons x xs app app map f xs app app map f app app cons x xs app f x app height app app node x xs app app map height xs true le 0 1 s 0 34651 height 0 32286 false 0 101815 true 0 51242 0 0 19396 if 0 56519 nil 0 37745 app 2 2 0 map 0 42781 maxlist 0 4140 cons 0 21656 node 0 20977 app 2 1 2 15922 app app map f app app cons x xs app app cons app f x app app map f xs false app height app app node x xs app app maxlist 0 app app map height xs false app height app app node x xs app maxlist 0 false app app maxlist x app app cons y ys app app maxlist y ys true le 0 1 s 0 1 height 0 13208 false 0 7 true 0 5 0 0 1 if 0 1 nil 0 30374 app 2 2 0 map 0 31044 maxlist 0 40519 cons 0 1 node 0 868 app 2 1 2 1 app app maxlist x app app cons y ys app le x false app height app app node x xs app s app app maxlist 0 app app map height xs false app height app app node x xs app map height false app app maxlist x app app cons y ys app if app app le x y false app app maxlist x app app cons y ys app app if app app le x y app app maxlist y ys false app app maxlist x app app cons y ys app maxlist y false app app maxlist x app app cons y ys app app le x y false app app le app s x app s y app app le x y true le 0 1 s 0 1 height 0 1 false 0 7 true 0 5 0 0 1 if 0 1 nil 0 53793 app 2 2 0 map 0 1 maxlist 0 1 cons 0 1 node 0 1 app 2 1 2 1 app app le app s x app s y app le x false app app map f app app cons x xs app cons app f x false NaTT certifiable-1.6