((/nonstd/data-structures/list-defthms.lisp::xfirstn (nil nil nil (cond) nil nil nil) (nil nil ((zp n) t) nil nil nil nil) ((nil) nil nil (cons) nil nil nil) (nil nil (car) (recursive-call) nil nil nil) ((l) nil (1- cdr) nil nil nil nil) ((n l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/data-structures/list-defthms.lisp::countdown2-ind (nil nil nil nil (if) nil nil) ((n) nil (zp) (recursive-call) nil nil nil) ((m) nil (nfix 1-) nil nil nil nil) ((m) nil (1-) nil nil nil nil) (nil nil (nfix) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/data-structures/list-defthms.lisp::make-list-ac-ind (nil nil nil nil (if) nil nil) ((acc) nil (zp) (cons) nil nil nil) ((n x) nil nil nil (recursive-call) nil nil) ((x acc) nil (1-) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))