app f app app cons nil y y app f app app cons app f app app cons nil y z app app app copy n y z app app app copy 0 y z app f z app app app copy app s x y z app app app copy x y app app cons app f y z 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 app cons app f app app cons nil y z app app copy n y 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 app app filter2 true fun x xs app cons x app app app app filter2 true fun x xs app filter fun app app app copy app s x y z app cons app f y app app app copy app s x y z app app cons app f y z app app app app filter2 false fun x xs app app filter fun xs app app app copy 0 y z app f z app app app copy app s x y z app f y app app app copy app s x y z app app app copy x y app app cons app f y z 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 cons app fun x app app app copy app s x y z app copy x app app filter fun app app cons x xs app app filter2 app fun x fun app app filter fun app app cons x xs app fun x app app app copy app s x y z app app copy x y app app filter fun app app cons x xs app app app filter2 app fun x fun x app f app app cons app f app app cons nil y z app copy n app f app app cons app f app app cons nil y z app app app copy n y z 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 map fun app app cons x xs app app cons app fun x app app map fun xs app app filter fun app app cons x xs app filter2 app fun x true 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 false 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 fun x app app app app filter2 true fun x xs app app filter fun xs app app map fun app app cons x xs app app map fun xs true s 0 2 n 0 16 false 0 26372 true 0 8946 f 0 5 filter2 0 6135 0 0 1 nil 0 1 app 2 2 0 map 0 48638 cons 0 1 filter 0 32510 copy 0 1 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 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 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 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 copy app s x y z app app app copy x y app app cons app f y z true Failed! NaTT certifiable-1.6