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 app id y app s y app id x x app id x app s app s app s x app id app p x app id app s app id x 2.2 app app map f app app cons x xs app cons app f x app id x app s app s x app app div app s x app s y app id y app app div app s x app s y app app div app app minus x app id y app s y app app div app s x app s y app app minus x app id y app app div app s x app s y app minus x app id app p x app id app s app id x app app minus app s x app s y app p app s y app id x app s x app app div app s x app s y app div app app minus x app id y app id x app s app s app s x app app minus app s x app s y app app minus app p app s x app p app s y app app minus app s x app s y app p app s x app id app p x app id x 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 s app app div app app minus x app id y app s y app id app p x app s app id x app app map f app app cons x xs app app map f xs app app minus app s x app s y app minus app p app s x 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 8946 minus 0 14709 div 0 27719 p 0 1 0 0 28903 nil 0 33428 app 2 2 0 map 0 10732 cons 0 1 id 0 1 app 2 1 2 1 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 app id y app s y true Failed! NaTT certifiable-1.6