((/taspi/code/tree-manip/quicksort.lisp::separate (nil nil nil nil (if) nil nil) (nil nil (consp) (mv) (if) nil nil) ((list less more) nil nil (symbol-<) nil (recursive-call recursive-call) nil) ((pivot pivot less pivot more) nil (car cdr cdr) (cons cons) nil nil nil) ((list list more list less) nil (car car) nil nil nil nil) ((list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/taspi/code/tree-manip/quicksort.lisp::quick-order (nil nil nil nil (if) nil nil) ((nil) nil (consp) nil (mv-let) nil nil) ((list) nil (less) (let) nil (separate) nil) ((more pivot list nil nil) nil ((new-less (if (consp less) (if (consp (cdr less)) (quick-order (car less) (cdr less)) (list (car less))) nil))) (append) nil nil nil) ((new-less new-more) nil (new-more) nil nil nil nil) (nil nil nil nil (if) nil nil) (nil nil (consp list) nil (if) nil nil)) (/taspi/code/tree-manip/quicksort.lisp::order (nil nil nil nil (if) nil nil) ((list) nil (consp) nil (if) nil nil) ((list list) nil (consp) (quick-order) nil nil nil) (nil nil (cdr car cdr) nil nil nil nil) ((list list list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))