app' app' minus x 0 x app' app' minus app' s x app' s y app' app' minus x y app' app' quot 0 app' s y 0 app' app' quot app' s x app' s y app' s app' app' quot app' app' minus x y app' s 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' app' low n nil nil app' app' low n app' app' add m x app' app' app' if_low app' app' le m n n app' app' add m x app' app' app' if_low true n app' app' add m x app' app' add m app' app' low n x app' app' app' if_low false n app' app' add m x app' app' low n x app' app' high n nil nil app' app' high n app' app' add m x app' app' app' if_high app' app' le m n n app' app' add m x app' app' app' if_high true n app' app' add m x app' app' high n x app' app' app' if_high false n app' app' add m x app' app' add m app' app' high n x app' quicksort nil nil app' quicksort app' app' add n x app' app' app app' quicksort app' app' low n x app' app' add n app' quicksort app' app' high n x 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 minus 0 0 0 s 0 quot 0 le 0 true 0 false 0 app 0 nil 0 add 0 low 0 if_low 0 high 0 if_high 0 quicksort 0 map 0 filter 0 filter2 0 FULL ./TRS/currying/AG01/#3.55.trs