app app le 0 y true app app le app s x 0 false app app le app s x app s y app app le x y app app eq 0 0 true app app eq 0 app s y 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 app if true x y x app app app if false x y y app minsort nil nil app minsort app app cons x y app app cons app app min x y app minsort app app del app app min x y app app cons x y app app min x nil x app app min x app app cons y z app app app if app app le x y app app min x z app app min y z app app del x nil nil app app del x app app cons y z app app app if app app eq x y z app app cons y app app del 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 2.2 app app min x app app cons y z app app if app app le x y app app min x z app app del x app app cons y z app app del x z app app filter f app app cons x xs app app app filter2 app f x f x app app le app s x app s y app app le x y app app del x app app cons y z app app cons y app app del x z app app del x app app cons y z app eq x app app del x app app cons y z app app app if app app eq x y z app app cons y app app del x z app app del x app app cons y z app app if app app eq x y z app app min x app app cons y z app app min x z app app del x app app cons y z app app eq x y app minsort app app cons x y app minsort app app del app app min x y app app cons x y app minsort app app cons x y app app cons app app min x y app minsort app app del app app min x y app app cons x y app minsort app app cons x y app app min x y app app map f app app cons x xs app app cons app f x app app map f xs app app eq app s x app s y app eq x app minsort app app cons x y app min x app app filter f app app cons x xs app filter2 app f x app minsort app app cons x y app app del app app min x y app app cons x y app app filter f app app cons x xs app app filter2 app f x f app app map f app app cons x xs app cons app f x app app app app filter2 true f x xs app app filter f xs app app min x app app cons y z app app min y z app app del x app app cons y z app if app app eq x y app minsort app app cons x y app cons app app min x y app app app app filter2 false f x xs app app filter f xs app app min x app app cons y z app le x app app filter f app app cons x xs app app app app filter2 app f x f x xs app app eq app s x app s y app app eq x y app app app app filter2 false f x xs app filter f app app map f app app cons x xs app app map f xs app minsort app app cons x y app min x app app filter f app app cons x xs app f x app app app app filter2 true f x xs app cons x app app map f app app cons x xs app f x app app le app s x app s y app le x app app app app filter2 true f x xs app filter f app minsort app app cons x y app app min x y app app min x app app cons y z app if app app le x y app app min x app app cons y z app app app if app app le x y app app min x z app app min y z app app min x app app cons y z app min y app minsort app app cons x y app del app app min x y app app min x app app cons y z app app le x y app app app app filter2 true f x xs app app cons x app app filter f xs true 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 map f app app cons x xs app app map f xs 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 false f x xs app app filter f xs app app app app filter2 true f x xs app app filter f xs true le 0 1 s 0 40338 eq 0 31760 false 0 185065 true 0 30341 filter2 0 3589 0 0 21937 if 0 49419 del 0 34379 nil 0 40837 app 2 2 0 map 0 58564 min 0 3838 cons 0 1324 filter 0 32607 minsort 0 21567 app 2 1 2 30343 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 false f x xs app app filter f xs false app app app app filter2 true f x xs app app filter f xs false app minsort app app cons x y app minsort app app del app app min x y app app cons x y true Failed! NaTT certifiable-1.6