app app app if true x y x app app app if false x y y app app filter f nil nil app app filter f app app cons x xs app app app if app f x app app cons x app app filter f xs app app filter f xs 2.2 app app filter f app app cons x xs app app if app f x app app cons x app app filter f xs app app filter f app app cons x xs app app filter f xs app app filter f app app cons x xs app app filter f xs app app filter f app app cons x xs app app cons x app app filter f xs app app filter f app app cons x xs app if app f x app app filter f app app cons x xs app app app if app f x app app cons x app app filter f xs app app filter f xs app app filter f app app cons x xs app f x true app app filter f app app cons x xs app f x app app filter f app app cons x xs app app filter f xs app app filter f app app cons x xs app app filter f xs true false 0 1 true 0 29393 if 0 12079 nil 0 24287 app 2 2 0 cons 0 60386 filter 0 16304 app 2 1 2 31755 app app filter f app app cons x xs app app app if app f x app app cons x app app filter f xs app app filter f xs false app app filter f app app cons x xs app if app f x false app app filter f app app cons x xs app app cons x app app filter f xs false app app filter f app app cons x xs app app if app f x app app cons x app app filter f xs false NaTT certifiable-1.6