app perfectp 0 false app perfectp app s x app app app app f x app s 0 app s x app s x app app app app f 0 y 0 u true app app app app f 0 y app s z u false app app app app f app s x 0 z u app app app app f x u app app minus z app s x u app app app app f app s x app s y z u app app app if app app le x y app app app app f app s x app app minus y x z u app app app app f x u z u 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 perfectp app s x app app app f x app s 0 app s x app app filter fun app app cons x xs app filter2 app fun x app app app app f app s x 0 z u app app minus z app s x 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 cons app fun x app app app app f app s x app s y z u app app app if app app le x y app app app app f app s x app app minus y x z u app app app app f x u z u app app map fun app app cons x xs app app map fun xs app app app app f app s x app s y z u app app f app s x app app minus y x app app app app f app s x app s y z u app app le x y app app app app f app s x app s y z u app app app app f app s x app app minus y x z u app app app app filter2 false fun x xs app app filter fun xs app app app app filter2 true fun x xs app filter fun app app app app f app s x app s y z u app app app f app s x app app minus y x z app app app app f app s x 0 z u app app app app f x u app app minus z app s x u app app app app f app s x app s y z u app app minus y x app app filter fun app app cons x xs app fun x app app app app filter2 false fun x xs app filter fun app app app app filter2 true fun x xs app app cons x app app filter fun xs app app app app f app s x app s y z u app app if app app le x y app app app app f app s x app app minus y x z u app app map fun app app cons x xs app fun x app app app app f app s x app s y z u app le x app app app app f app s x 0 z u app app f x u app perfectp app s x app s 0 app app filter fun app app cons x xs app app filter2 app fun x fun app app app app filter2 true fun x xs app app filter fun xs app app app app f app s x 0 z u 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 f app s x app s y z u app app app f x u z app app app app f app s x 0 z u app app app f x u app app minus z app s x app app app app f app s x app s y z u app f 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 f app s x 0 z u app minus z app app app app filter2 true fun x xs app cons x app app app app f app s x app s y z u app app app app f x u z u app perfectp app s x app app f x app s 0 app perfectp app s x app app app app f x app s 0 app s x app s x app app app app f app s x app s y z u app if app app le x y app app app app f app s x app s y z u app minus y app perfectp app s x app f x app app app app f app s x app s y z u app app f x u true app app filter 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 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 app map fun xs app app app app filter2 true fun x xs app app filter fun xs app app map fun app app cons x xs app fun x true le 0 18458 s 0 1 minus 0 1 false 0 10 true 0 10 f 0 1 filter2 0 49756 0 0 2 if 0 282 nil 0 46444 app 2 2 0 map 0 30602 cons 0 29922 filter 0 49769 perfectp 0 2 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 perfectp app s x app app app app f x app s 0 app s x app s x false app perfectp app s x app app f x app s 0 false app perfectp app s x app f x false app perfectp app s x app s 0 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 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 app app f app s x 0 z u app app app app f x u app app minus z app s x u app app app app f app s x app s y z u app app app app f x u z u true Failed! NaTT certifiable-1.6