app not app not x x app not app app or x y app app and app not x app not y app not app app and x y app app or app not x app not y app app and x app app or y z app app or app app and x y app app and x z app app and app app or y z x app app or app app and x y app app and 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 not app app or x y app and app not x app not app app and x y app not y 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 cons app f x app app filter f app app cons x xs app f x app app app app filter2 false f x xs app filter f app app and app app or y z x app app and x z app app and app app or y z x app and x app app map f app app cons x xs app app cons app f x app app map f xs app app and x app app or y z app or app app and x y app app map f app app cons x xs app f x app app and x app app or y z app app or app app and x y app app and x z app app and app app or y z x app and x app app and app app or y z x app app or app app and x y app app and x z app app filter f app app cons x xs app app filter2 app f x f app app app app filter2 false f x xs app app filter f xs app app and x app app or y z app app and x z app app filter f app app cons x xs app app app app filter2 app f x f x xs app not app app and x y app not x app app and app app or y z x app app and x y app not app app and x y app or app not x app app app app filter2 true f x xs app cons x app app and x app app or y z app app and x y app app app app filter2 true f x xs app filter f app not app app and x y app app or app not x app not y app app and app app or y z x app or app app and x y app app app app filter2 true f x xs app app cons x app app filter f xs app not app app or x y app not x app not app app or x y app app and app not x app not y app app filter f app app cons x xs app filter2 app f x app app map f app app cons x xs app app map f xs app not app app or x y app not y app app app app filter2 true f x xs app app filter f xs true app app app app filter2 true f x xs app app filter f 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 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 app app filter2 false f x xs app app filter f xs true and 0 1 false 0 23536 true 0 20743 filter2 0 34651 nil 0 32567 or 0 1143 app 2 2 0 map 0 33610 cons 0 55021 filter 0 374 not 0 44022 app 2 1 2 20745 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 filter2 app f x 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 filter2 app f x f false app not app app or x y app not y app not app app or x y app not x app not app app and x y app not x app not app app and x y app not y true and 0 1 false 0 49518 true 0 37045 filter2 0 18231 nil 0 32567 or 0 2447 app 2 2 0 map 0 23478 cons 0 54686 filter 0 591 not 0 33119 app 2 1 2 37047 app not app app or x y app app and app not x app not y false app app and app app or y z x app app and x z app app and x app app or y z app app and x y app app and app app or y z x app app and x y app app and x app app or y z app app and x z true Failed! NaTT certifiable-1.6