app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app app minus x 0 x app app minus app s x app s y app app minus app p app s x app p app s y app p app s x x app app div 0 app s y 0 app app div app s x app s y app s app app div app app minus x y app s y 2.2 app app map f app app cons x xs app cons app f x app app div app s x app s y app app div app app minus x y app s y app app minus app s x app s y app p app s y app app div app s x app s y app minus x app app minus app s x app s y app minus app p app s x app app minus app s x app s y app p app s x app app div app s x app s y app div app app minus x y app app minus app s x app s y app app minus app p app s x app p app s y app app div app s x app s y app s app app div app app minus x y app s y app app map f app app cons x xs app f x app app map f app app cons x xs app app cons app f x app app map f xs app app div app s x app s y app app minus x y app app map f app app cons x xs app app map f xs true app app map f app app cons x xs app app map f xs app app map f app app cons x xs app f x true s 0 1 minus 0 9137 div 0 38083 p 0 9508 0 0 41231 nil 0 30988 app 2 2 0 map 0 46534 cons 0 8851 app 2 1 2 28101 app app map f app app cons x xs app app cons app f x app app map f xs false app app div app s x app s y app app div app app minus x y app s y true Failed! NaTT certifiable-1.6