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 app 2 not 0 or 0 and 0 map 0 nil 0 cons 0 filter 0 filter2 0 true 0 false 0 FULL ./TRS/currying/D33/12.trs