((/defexec/other-apps/qsort/final-theorem.lisp::sort-list (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil (isort qsort) 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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))