((/defexec/other-apps/qsort/intermediate-program.lisp::del-last (nil nil nil nil (if) nil nil) ((nil) nil (endp) (cons) nil nil nil) (nil nil (rest first recursive-call) nil nil nil nil) ((x x) nil (rest) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/defexec/other-apps/qsort/intermediate-program.lisp::last-val (nil nil nil nil (if) nil nil) ((nil) nil (endp) nil (if) nil nil) ((x) nil (endp first recursive-call) nil nil nil nil) ((x) nil (rest rest) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/defexec/other-apps/qsort/intermediate-program.lisp::snoc (nil nil nil nil (if) nil nil) (nil nil (endp list) (cons) nil nil nil) ((x e) nil (first) (recursive-call) nil nil nil) ((x e) nil (rest) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/defexec/other-apps/qsort/intermediate-program.lisp::lower-part (nil nil nil nil (if) nil nil) ((nil) nil (endp) nil (if) nil nil) ((x) nil nil (and cons) (if) nil nil) (nil nil (last-val) (<<= << recursive-call and recursive-call) (if) nil nil) ((splitter splitter x splitter splitter) nil (first last-val del-last del-last) (<<= <<= and cons cons) nil nil nil) ((x x splitter splitter x) nil (rest first last-val first first) (<< << recursive-call recursive-call) nil nil nil) ((x x x splitter splitter x splitter x splitter) nil (first last-val rest del-last) nil nil nil nil)) (/defexec/other-apps/qsort/intermediate-program.lisp::upper-part (nil nil nil nil (if) nil nil) ((nil) nil (endp) nil (if) nil nil) ((x) nil nil (and snoc) (if) nil nil) (nil nil (first) (<<= << recursive-call and snoc) (if) nil nil) ((splitter splitter splitter x) nil (first last-val del-last last-val) (<<= <<= recursive-call and recursive-call snoc) nil nil nil) ((x x splitter splitter splitter x splitter) nil (rest first last-val del-last rest last-val) (<< << recursive-call) nil nil nil) ((x x x x splitter splitter x splitter x) nil (first last-val del-last) nil nil nil nil)) (/defexec/other-apps/qsort/intermediate-program.lisp::qsort-fn (nil nil nil nil (if) nil nil) ((nil) nil (endp) nil (if) nil nil) ((lst) nil (endp list) (let) nil nil nil) (nil nil (rest first (lower (lower-part lst (first lst)))) nil (if) nil nil) ((lst lst) nil (upper endp) (cons append) nil nil nil) ((lower) nil (first recursive-call recursive-call recursive-call) (upper-part) nil nil nil) ((lst lst lower upper) nil (first rest) nil nil nil nil)))