app f app g x app g app g app f x app f app g x app g app g app g x 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 f app g x app g app g x app app filter fun app app cons x xs app filter2 app fun x app f app g x app g app f x app app app app filter2 true fun x xs app cons x app app app app filter2 true fun x xs app filter fun app f app g x app g app g app f x app f app g x app f x 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 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 app cons app fun x app app map fun xs app app map fun app app cons x xs app fun x app app app app filter2 false fun x xs app filter fun app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app f app g x app g app g app g x 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 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 cons app fun x true app app app app filter2 false 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 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 fun x app app map fun app app cons x xs app app map fun xs true false 0 1 true 0 1 f 0 2 filter2 0 9508 nil 0 52823 app 2 2 0 map 0 16304 cons 0 6510 filter 0 3000 g 0 1 app 2 1 2 3 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 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 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 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 filter fun false app f app g x app f x true false 0 1 true 0 40243 f 0 591 filter2 0 20904 nil 0 2164 app 2 2 0 map 0 38607 cons 0 32279 filter 0 28869 g 0 1 app 2 1 2 40245 app f app g x app g app g app g x false app f app g x app g app g x false app f app g x app g app g app f x false app f app g x app g app f x false app app app app filter2 false fun x xs app filter fun 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 NaTT certifiable-1.6