app app minus x 0 x app app minus app s x app s y app app minus x y app f 0 app s 0 app f app s x app app minus app s x app g app f x app g 0 0 app g app s x app app minus app s x app f 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 app minus app s x app s y app minus x app g app s x app g x 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 filter fun xs app app app app filter2 false fun x xs app app filter fun xs app f app s x app minus app s x app f app s x app app minus app s x app g app f 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 filter2 app fun x fun x app f app s x app g app f x app app map fun app app cons x xs app cons app fun x app app app app filter2 true fun x xs app app cons x app app filter fun xs app app app app filter2 true fun x xs app filter fun app g app s x app f app g 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 map fun app app cons x xs app app cons app fun x app app map fun xs app f app s x app f x app app map fun app app cons x xs app fun x app app filter fun app app cons x xs app filter2 app fun x app g app s x app app minus app s x app f app g x app app minus app s x app s y app app minus x y app app app app filter2 true fun x xs app cons x app app filter fun app app cons x xs app app filter2 app fun x fun app g app s x app minus app s x app f 0 app s 0 true app app map fun app app cons x xs app fun x 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 app map fun xs true s 0 60387 minus 0 20538 false 0 1 true 0 1 f 0 60386 filter2 0 1 0 0 10732 nil 0 46534 app 2 2 0 map 0 1 cons 0 1 filter 0 5 g 0 6996 app 2 1 2 1 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 cons 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 map fun app app cons x xs app app cons app fun x app app map fun xs false app f app s x app g app f x app f app s x app f x app g app s x app g x app g app s x app f app g x true Failed! NaTT certifiable-1.6