app f app s x app f x app g app app cons 0 y app g y app g app app cons app s x y app s x app h app app cons x y app h app g app app cons x 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 map fun app app cons x xs app app cons app fun x app app map fun xs app app app app filter2 true fun x xs app app cons x 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 app app filter2 true fun x xs app filter fun app app app app filter2 false fun x xs app filter fun app f app s x app f x app app filter fun app app cons x xs app app app filter2 app fun x fun x app app app app filter2 true fun x xs app cons x app app app app filter2 false fun x xs app app filter fun xs app app map fun app app cons x xs app app map fun xs app app filter fun app app cons x xs app fun x app h app app cons x y app g app app cons x y app app filter fun app app cons x xs app filter2 app fun x app app map fun app app cons x xs app cons app fun x app g app app cons 0 y app g y 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 filter2 app fun x fun app app map fun app app cons x xs app fun x app h app app cons x y app h app g app app cons x y true app app map fun app app cons x xs app fun x 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 app map fun xs app app app app filter2 false fun x xs app app filter fun xs true h 0 0 s 0 1 false 0 32106 true 0 25907 f 0 0 filter2 0 20534 0 0 46558 nil 0 22119 app 2 2 0 map 0 32173 cons 0 23535 filter 0 70533 g 0 42207 app 2 1 2 8946 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 app app filter2 false fun x xs app app filter fun xs false app app app app filter2 true fun x xs app app filter fun xs false app app map fun app app cons x xs app cons app fun x false app f app s x app f x true h 0 0 s 0 1 false 0 9119 true 0 28224 f 0 0 filter2 0 44735 0 0 20334 nil 0 1458 app 2 2 0 map 0 30374 cons 0 31205 filter 0 96331 g 0 40519 app 2 1 2 21238 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 filter fun 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 h app app cons x y app h app g app app cons x y true h 0 0 s 0 0 false 0 0 true 0 0 f 0 0 filter2 0 37895 0 0 0 nil 0 0 app 2 2 0 map 0 50174 cons 0 37895 filter 0 37895 g 0 37894 app 2 1 0 app h app app cons x y app h app g app app cons x y app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app f app s x app f x app g app app cons app s x y app s x app app map fun nil nil app app app app filter2 false fun x xs app app filter fun xs app app filter fun nil nil app app app app filter2 true fun x xs app app cons x app app filter fun xs app app map fun app app cons x xs app app cons app fun x app app map fun xs app g app app cons 0 y app g y app h app app cons x y app g app app cons x y false app g app app cons 0 y app g y true h 0 0 s 0 0 false 0 0 true 0 0 f 0 0 filter2 0 0 0 0 2437 nil 0 0 app 2 1 1 2 1 0 map 0 0 cons 0 2 filter 0 0 g 0 1 app 2 1 11797 2 2 0 app app app app filter2 true fun x xs app cons x false app app map fun app app cons x xs app app cons app fun x app app map fun xs false NaTT certifiable-1.6