app app append nil l l app app append app app cons h t l app app cons h app app append t l app app map f nil nil app app map f app app cons h t app app cons app f h app app map f t app app append app app append l1 l2 l3 app app append l1 app app append l2 l3 app app map f app app append l1 l2 app app append app app map f l1 app app map f l2 2.2 app app append app app cons h t l app app append t l app app map f app app append l1 l2 app app map f l1 app app map f app app cons h t app f h app app append app app append l1 l2 l3 app app append l2 l3 app app map f app app cons h t app app cons app f h app app map f t app app map f app app cons h t app cons app f h app app map f app app cons h t app app map f t app app map f app app append l1 l2 app app map f l2 app app append app app append l1 l2 l3 app append l2 app app map f app app append l1 l2 app append app app map f l1 app app append app app cons h t l app append t app app append app app cons h t l app app cons h app app append t l app app append app app append l1 l2 l3 app app append l1 app app append l2 l3 app app map f app app append l1 l2 app app append app app map f l1 app app map f l2 true app app map f app app cons h t app app map f t app app map f app app cons h t app f h app app map f app app append l1 l2 app app map f l1 app app map f app app append l1 l2 app app map f l2 true append 0 1 nil 0 8404 app 2 2 0 map 0 16575 cons 0 33036 app 2 1 2 2438 app app map f app app append l1 l2 app app append app app map f l1 app app map f l2 false app app map f app app append l1 l2 app append app app map f l1 false app app map f app app cons h t app app cons app f h app app map f t false app app map f app app cons h t app cons app f h false app app append app app append l1 l2 l3 app app append l1 app app append l2 l3 app app append app app append l1 l2 l3 app app append l2 l3 app app append app app cons h t l app app append t l true Failed! NaTT certifiable-1.6