app f 0 true app f 1 false app f app s x app f x app app app if true app s x app s y app s x app app app if false app s x app s y app s y app app g x app c y app c app app g x y app app g x app c y app app g x app app app if app f x app c app app g app s x y app c y app app map fun nil nil app app map fun app app cons x xs app app cons app fun x app app map fun xs app app filter fun nil nil app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app app app filter2 true fun x xs app app cons x app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs 2.2 app app g x app c y app app g x y app app map fun app app cons x xs app cons app fun x app app filter fun app app cons x xs app fun x app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app filter fun app app cons x xs app app filter2 app fun x fun app app g x app c y app app g app s x y app app g x app c y app c app app g app s x y app app filter fun app app cons x xs app filter2 app fun x app app app app filter2 true fun x xs app app cons x app app filter fun xs app app g x app c y app g app s x app app g x app c y app app if app f x app c app app g app s x y app app map fun app app cons x xs app fun x app app filter fun app app cons x xs app app app filter2 app fun x fun x app app map fun app app cons x xs app app cons app fun x app app map fun xs app app g x app c y app f x app f app s x app f x app app app app filter2 true fun x xs app filter fun app app g x app c y app app app if app f x app c app app g app s x y app c y app app g x app c y app s x app app g x app c y app if app f x app app app app filter2 true fun x xs app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs app app g x app c y app c app app g x y app app map fun app app cons x xs app app map fun xs app app app app filter2 true fun x xs app cons x app app app app filter2 false fun x xs app filter fun app app g x app c y app app g x app app app if app f x app c app app g app s x y app c y true app app map fun app app cons x xs app app map fun xs app app app app filter2 false fun x xs app app filter fun xs app app app app filter2 true fun x xs app app filter fun xs app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app filter fun app app cons x xs app fun x app app map fun app app cons x xs app fun x true 1 0 1 s 0 34651 false 0 61216 c 0 50743 true 0 93107 f 0 52268 filter2 0 7177 0 0 31892 if 0 31098 nil 0 15823 app 2 2 0 map 0 21258 cons 0 49419 filter 0 86286 g 0 41828 app 2 1 2 8946 app app app app filter2 true fun x xs app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs app app app app filter2 true fun x xs app app filter fun xs false app app app app filter2 false fun x xs app app filter fun xs false app app map fun app app cons x xs app app cons app fun x app app map fun xs false app app map fun app app cons x xs app cons app fun x false app app app app filter2 false fun x xs app filter fun false app app filter fun app app cons x xs app app app filter2 app fun x fun x false app app filter fun app app cons x xs app app filter2 app fun x fun false app app filter fun app app cons x xs app filter2 app fun x false app app app app filter2 true fun x xs app app cons x app app filter fun xs false app app app app filter2 true fun x xs app cons x false app app app app filter2 true fun x xs app filter fun false app app g x app c y app app g app s x y app app g x app c y app app g x y true 1 0 1 s 0 43596 false 0 95227 c 0 53145 true 0 4 f 0 1 filter2 0 1 0 0 1 if 0 1 nil 0 13485 app 2 2 0 map 0 30203 cons 0 19335 filter 0 95231 g 0 1 app 2 1 2 1 app app g x app c y app c app app g x y false app app g x app c y app app g x app app app if app f x app c app app g app s x y app c y false app app g x app c y app app app if app f x app c app app g app s x y app c y false app app g x app c y app if app f x false app app g x app c y app f x false app f app s x app f x true 1 0 1 s 0 51519 false 0 46044 c 0 20684 true 0 47147 f 0 46041 filter2 0 35987 0 0 1103 if 0 21313 nil 0 13485 app 2 2 0 map 0 29260 cons 0 47121 filter 0 82034 g 0 1 app 2 1 2 1 app app g x app c y app c app app g app s x y false app app g x app c y app g app s x false app app g x app c y app s x false app app g x app c y app app if app f x app c app app g app s x y false NaTT certifiable-1.6