((/sorting/convert-perm-to-how-many.lisp::how-many (nil nil nil nil (cond) nil nil) (nil nil ((endp x) (equal e (car x)) t) nil nil nil nil) (nil (0) (1+) (recursive-call) nil nil nil) ((e) nil (cdr) (recursive-call) nil nil nil) ((e x) nil (cdr) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/sorting/convert-perm-to-how-many.lisp::perm-counter-example (nil nil nil nil (cond) nil nil) (nil nil ((atom x) (not (memb (car x) y)) t) nil nil nil nil) (nil nil (car car) (recursive-call) nil nil nil) ((y x) nil (cdr) (rm) nil nil nil) ((x y) nil (car) nil nil nil nil) ((x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/sorting/convert-perm-to-how-many.lisp::tlfix (nil nil nil nil (if) nil nil) ((nil) nil (endp) (cons) nil nil nil) ((x) nil (car recursive-call) nil nil nil nil) ((x) nil (cdr) 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)))