ap ap ff x x ap ap x ap ff x ap ap cons x nil 2.2 ap ap ff x x ap x ap ff x ap ap ff x x ap ap cons x nil ap ap ff x x ap ap x ap ff x ap ap cons x nil ap ap ff x x ap cons x true ap ap ff x x ap ap x ap ff x ap ap cons x nil ap ap ff x x ap x ap ff x true 2 1 ap 2 0 0 1 0 1 0 0 1 0 2 1 0 ff 0 1 2 nil 0 1 0 ap 2 1 1 0 0 1 1 1 0 0 2 0 0 cons 0 1 1 ap ap ff x x ap x ap ff x ap ap ff x x ap ap x ap ff x ap ap cons x nil ap ap ff x x ap x ap ff x true 2 1 ap 2 0 1 0 0 1 0 0 0 1 2 0 0 ff 0 1 1 nil 0 1 0 ap 2 0 0 1 1 1 0 0 cons 0 20694 1 ap ap ff x x ap ap x ap ff x ap ap cons x nil ap ap ff x x ap ap cons x nil false ap ap ff x x ap cons x false NaTT certifiable-1.6