le 0 Y true le s X 0 false le s X s Y le X Y app nil Y Y app cons N L Y cons N app L Y low N nil nil low N cons M L iflow le M N N cons M L iflow true N cons M L cons M low N L iflow false N cons M L low N L high N nil nil high N cons M L ifhigh le M N N cons M L ifhigh true N cons M L high N L ifhigh false N cons M L cons M high N L quicksort nil nil quicksort cons N L app quicksort low N L cons N quicksort high N L le 2 0 0 true 0 s 1 false 0 app 2 nil 0 cons 2 low 2 iflow 3 high 2 ifhigh 3 quicksort 1 FULL ./TRS/Rubio/quick.trs