app app minus x 0 x app app minus app s x app s y app app minus x y app double 0 0 app double app s x app s app s app double x app app plus 0 y y app app plus app s x y app s app app plus x y app app plus app s x y app app plus x app s y app app plus app s x y app s app app plus app app minus x y app double y 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 filter f nil nil app app filter f app app cons x xs app app app app filter2 app f x f x xs app app app app filter2 true f x xs app app cons x app app filter f xs app app app app filter2 false f x xs app app filter f xs 2.2 app app minus app s x app s y app minus x app app plus app s x y app double y app app app app filter2 true f x xs app app cons x app app filter f xs app app filter f app app cons x xs app filter2 app f x app app app app filter2 true f x xs app filter f app app filter f app app cons x xs app app app filter2 app f x f x app app plus app s x y app s app app plus app app minus x y app double y app app map f app app cons x xs app app map f xs app app filter f app app cons x xs app app filter2 app f x f app double app s x app s app double x app app filter f app app cons x xs app f x app double app s x app s app s app double x app app plus app s x y app app plus app app minus x y app double y app app map f app app cons x xs app app cons app f x app app map f xs app app app app filter2 true f x xs app cons x app app filter f app app cons x xs app app app app filter2 app f x f x xs app app plus app s x y app plus x app app plus app s x y app minus x app app map f app app cons x xs app f x app app plus app s x y app app minus x y app app plus app s x y app app plus x app s y app double app s x app double x app app plus app s x y app s y app app plus app s x y app plus app app minus x y app app map f app app cons x xs app cons app f x app app app app filter2 false f x xs app filter f app app plus app s x y app s app app plus x y app app minus app s x app s y app app minus x y app app app app filter2 true f x xs app app filter f xs app app app app filter2 false f x xs app app filter f xs app app plus app s x y app app plus x y app app plus app s x y app plus x true app app filter f app app cons x xs app f x app app app app filter2 false f x xs app app filter f xs app app app app filter2 true f x xs app app filter f xs 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 app app filter f app app cons x xs app app app app filter2 app f x f x xs true s 0 28101 minus 0 1 false 0 1 true 0 1 filter2 0 48207 0 0 11593 double 0 1 nil 0 1 app 2 2 0 map 0 30894 plus 0 1 cons 0 20538 filter 0 27671 app 2 1 2 3 app app app app filter2 true f x xs app app filter f xs app app app app filter2 false f x xs app app filter f xs app app app app filter2 false f x xs app app filter f xs false app app app app filter2 true f x xs app app filter f xs false app app app app filter2 true f x xs app app cons x app app filter f xs false app app app app filter2 true f x xs app filter f false app app filter f app app cons x xs app app app filter2 app f x f x false app app filter f app app cons x xs app app filter2 app f x f false app app filter f app app cons x xs app filter2 app f x false app app map f app app cons x xs app cons app f x false app app plus app s x y app app plus app app minus x y app double y app app plus app s x y app app plus x y app app plus app s x y app app plus x app s y true Failed! NaTT certifiable-1.6