app app eq 0 0 true app app eq 0 app s x false app app eq app s x 0 false app app eq app s x app s y app app eq x y app app or true y true app app or false y y app app union empty h h app app union app app app edge x y i h app app app edge x y app app union i h app app app app reach x y empty h false app app app app reach x y app app app edge u v i h app app app app app if_reach_1 app app eq x u x y app app app edge u v i h app app app app app if_reach_1 true x y app app app edge u v i h app app app app app if_reach_2 app app eq y v x y app app app edge u v i h app app app app app if_reach_1 false x y app app app edge u v i h app app app app reach x y i app app app edge u v h app app app app app if_reach_2 true x y app app app edge u v i h true app app app app app if_reach_2 false x y app app app edge u v i h app app or app app app app reach x y i h app app app app reach v y app app union i h empty 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 app app app app if_reach_1 true x y app app app edge u v i h app app app app if_reach_2 app app eq y v x y app app app edge u v i app app union app app app edge x y i h app app union i h app app app app reach x y app app app edge u v i h app app app if_reach_1 app app eq x u x y app app app app filter2 true f x xs app cons x app app eq app s x app s y app eq x app app union app app app edge x y i h app app app edge x y app app union i h app app map f app app cons x xs app app map f xs app app app app filter2 true f x xs app filter f app app filter f app app cons x xs app app app app filter2 app f x f x xs 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 app cons app f x app app map f xs app app app app app if_reach_1 true x y app app app edge u v i h app app eq y v app app map f app app cons x xs app f x app app filter f app app cons x xs app f x app app app app app if_reach_2 false x y app app app edge u v i h app app or app app app app reach x y i h app app app app reach v y app app union i h empty app app app app app if_reach_1 false x y app app app edge u v i h app app app reach x y i app app app app app if_reach_1 false x y app app app edge u v i h app reach x app app app app app if_reach_2 false x y app app app edge u v i h app union i app app app app app if_reach_2 false x y app app app edge u v i h app app union i h app app eq app s x app s y app app eq x y app app app app app if_reach_1 false x y app app app edge u v i h app app app edge u v h app app app app reach x y app app app edge u v i h app if_reach_1 app app eq x u app app app app app if_reach_2 false x y app app app edge u v i h app or app app app app reach x y i h app app app app reach x y app app app edge u v i h app app if_reach_1 app app eq x u x 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 app app app if_reach_2 false x y app app app edge u v i h app app app reach v y app app union i h app app app app app if_reach_1 true x y app app app edge u v i h app eq y app app map f app app cons x xs app cons app f x app app app app app if_reach_1 false x y app app app edge u v i h app app reach x y app app app app reach x y app app app edge u v i h app eq x app app app app app if_reach_1 true x y app app app edge u v i h app if_reach_2 app app eq y v app app union app app app edge x y i h app union i app app app app reach x y app app app edge u v i h app app app app if_reach_1 app app eq x u x y app app app edge u v i app app app app app if_reach_2 false x y app app app edge u v i h app reach v app app app app filter2 true f x xs app app cons x app app filter f xs app app app app reach x y app app app edge u v i h app app app app app if_reach_1 app app eq x u x y app app app edge u v i h app app app app app if_reach_2 false x y app app app edge u v i h app app reach x y app app app app reach x y app app app edge u v i h app app eq x u app app app app app if_reach_2 false x y app app app edge u v i h app app app app reach v y app app union i h empty app app app app filter2 false f x xs app filter f app app app app filter2 true f x xs app app filter f xs app app app app app if_reach_2 false x y app app app edge u v i h app app reach v y app app app app app if_reach_2 false x y app app app edge u v i h app app app reach x y i app app app app app if_reach_1 true x y app app app edge u v i h app app app if_reach_2 app app eq y v x y app app app app app if_reach_1 true x y app app app edge u v i h app app app app app if_reach_2 app app eq y v x y app app app edge u v i h app app app app app if_reach_1 false x y app app app edge u v i h app app app app reach x y i app app app edge u v h app app app app app if_reach_2 false x y app app app edge u v i h app app app app reach x y i h app app app app app if_reach_1 true x y app app app edge u v i h app app if_reach_2 app app eq y v x app app filter f app app cons x xs app filter2 app f x app app app app app if_reach_2 false x y app app app edge u v i h app reach x true 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 filter f app app cons x xs app f x app app map 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 map f app app cons x xs app app map f xs true s 0 1 edge 0 58192 eq 0 20977 false 0 133033 reach 0 2241 if_reach_2 0 74745 true 0 110466 filter2 0 33610 0 0 18458 union 0 129374 nil 0 59992 or 0 1324 app 2 2 0 map 0 21937 cons 0 35218 empty 0 25647 filter 0 219216 if_reach_1 0 37827 app 2 1 2 26286 app app app app filter2 true f x xs app app filter f xs 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 false app app app app filter2 false f x xs app app filter f xs false app app app app app if_reach_2 false x y app app app edge u v i h app app app app reach x y i h app app app app app if_reach_1 false x y app app app edge u v i h app app app app reach x y i app app app edge u v h app app app app app if_reach_1 true x y app app app edge u v i h app app app app app if_reach_2 app app eq y v x y app app app edge u v i h app app app app app if_reach_2 false x y app app app edge u v i h app app app app reach v y app app union i h empty app app app app reach x y app app app edge u v i h app app app app app if_reach_1 app app eq x u x y app app app edge u v i h true Failed! NaTT certifiable-1.6