app p app s x x app fact 0 app s 0 app fact app s x app app * app s x app fact app p app s x app app * 0 y 0 app app * app s x y app app + app app * x y y app app + x 0 x app app + x app s y app s app app + x 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 app app filter2 false f x xs app app filter f xs app app map f app app cons x xs app f x 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 app app filter2 app f x f x app app filter f app app cons x xs app filter2 app f x app fact app s x app * app s x app fact app s x app app * app s x app fact app p app s x app app filter f app app cons x xs app f x app app app app filter2 true f x xs app cons x app fact app s x app fact app p app s x app app * app s x y app + app app * x 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 app map f app app cons x xs app cons app f x app app * app s x y app * x app app + x app s y app s app app + x y app app * app s x y app app + app app * x y y app fact app s x app p app s x app app * app s x y app app * x y app app app app filter2 true f x xs app filter f app app app app filter2 false f x xs app filter f app fact 0 app s 0 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 filter f xs app app map f app app cons x xs app app cons app f x app app map f xs app app + x app s y app app + x y true app app app app filter2 true f x xs app app filter f xs app app filter 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 app app map f app app cons x xs app f x app app map f app app cons x xs app app map f xs app app app app filter2 false f x xs app app filter f xs true s 0 8950 false 0 1 true 0 9982 filter2 0 24311 p 0 59992 0 0 1 nil 0 15823 fact 0 3758 app 2 2 0 map 0 41514 cons 0 17245 filter 0 24315 + 0 8950 * 0 3000 app 2 1 2 1 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 app app filter2 true f x xs app app filter f xs false app app app app filter2 false f x xs app app filter f xs false app app map f app app cons x xs app app cons app f x app app map f xs false app app map f app app cons x xs app cons app f x false app app app app filter2 false f x xs app filter f 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 cons x 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 app app filter2 true f x xs app filter f false app fact app s x app fact app p app s x true Failed! NaTT certifiable-1.6