((/coi/lists/remove-induction.lisp::remove-induction-1 (nil nil nil nil (if) nil nil) ((x) nil (consp recursive-call) nil nil nil nil) ((x) nil nil (remove) nil nil nil) ((x) nil (car) 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)) (/coi/lists/remove-induction.lisp::remove-induction-2 (nil nil nil nil (if) nil nil) (nil nil (consp) (recursive-call list) nil nil nil) ((x x y) nil nil (remove remove) nil nil nil) ((x y) nil (car car) 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)) (/coi/lists/remove-induction.lisp::remove-induction-3 (nil nil nil nil (if) nil nil) (nil nil (consp) nil (recursive-call list) nil nil) ((x x y z) nil nil (remove remove remove) nil nil nil) ((x y z) nil (car car car) nil nil nil nil) ((x x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))