app app * x app app + y z app app + app app * x y app app * x z 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 true f x xs app cons x app app app app filter2 false f x xs app filter f app app map f app app cons x xs app cons app f x app app filter f app app cons x xs app app filter2 app f x f app app filter 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 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 app app filter f app app cons x xs app filter2 app f x app app app app filter2 false f x xs app app filter f xs app app * x app app + y z app + app app * x y app app * x app app + y z app app * x z app app * x app app + y z app app + app app * x y app app * x z 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 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 map f app app cons x xs app app map f xs app app app app filter2 true f x xs app filter f app app * x app app + y z app app * x y true 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 true f x xs app app filter f xs 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 filter f app app cons x xs app app app app filter2 app f x f x xs true false 0 1 true 0 11383 filter2 0 24777 nil 0 17651 app 2 2 0 map 0 28903 cons 0 30648 filter 0 5513 + 0 10732 * 0 31755 app 2 1 2 11385 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 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 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 * x app app + y z app app * x y app app * x app app + y z app app * x z true false 0 1 true 0 48799 filter2 0 40243 nil 0 35632 app 2 2 0 map 0 19048 cons 0 841 filter 0 88202 + 0 31328 * 0 34519 app 2 1 2 48801 app app * x app app + y z app app + app app * x y app app * x z false app app * x app app + y z app + app app * x y false app app app app filter2 false f x xs app filter f false app app app app filter2 true f x xs app cons x false NaTT certifiable-1.6