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' 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' app nil y y app' app' app app' app' add n x y app' app' add n app' app' app x y app' min app' app' add n nil n app' min app' app' add n app' app' add m x app' app' if_min app' app' le n m app' app' add n app' app' add m x app' app' if_min true app' app' add n app' app' add m x app' min app' app' add n x app' app' if_min false app' app' add n app' app' add m x app' min app' app' add m x app' app' rm n nil nil app' app' rm n app' app' add m x app' app' app' if_rm app' app' eq n m n app' app' add m x app' app' app' if_rm true n app' app' add m x app' app' rm n x app' app' app' if_rm false n app' app' add m x app' app' add m app' app' rm n x app' app' minsort nil nil nil app' app' minsort app' app' add n x y app' app' app' if_minsort app' app' eq n app' min app' app' add n x app' app' add n x y app' app' app' if_minsort true app' app' add n x y app' app' add n app' app' minsort app' app' app app' app' rm n x y nil app' app' app' if_minsort false app' app' add n x y app' app' minsort x app' app' add n y app' app' map f nil nil app' app' map f app' app' add x xs app' app' add app' f x app' app' map f xs app' app' filter f nil nil app' app' filter f app' app' add x xs app' app' app' app' filter2 app' f x f x xs app' app' app' app' filter2 true f x xs app' app' add x app' app' filter f xs app' app' app' app' filter2 false f x xs app' app' filter f xs app' 2 eq 0 0 0 true 0 s 0 false 0 le 0 app 0 nil 0 add 0 min 0 if_min 0 rm 0 if_rm 0 minsort 0 if_minsort 0 map 0 filter 0 filter2 0 FULL ./TRS/currying/AG01/#3.10.trs