((/coi/gacc/list-ops-common.lisp::logcdr-list (nil nil nil nil (if) nil nil) ((nil) nil (endp) (cons) nil nil nil) ((vals) nil (acl2::logcdr recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((vals vals) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/gacc/list-ops-common.lisp::ifix-list (nil nil nil nil (if) nil nil) ((vals) nil (endp) (cons) nil nil nil) ((vals) nil (ifix recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((vals vals) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/gacc/list-ops-common.lisp::loghead-list (nil nil nil nil (if) nil nil) ((nil) nil (endp) (cons) nil nil nil) ((i-list) nil nil (loghead recursive-call) nil nil nil) ((size size) nil (car cdr) nil nil nil nil) ((i-list i-list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/gacc/list-ops-common.lisp::unsigned-byte-p-list (nil nil nil nil (if) nil nil) ((t) nil (endp) (and) nil nil nil) ((vals) nil nil (unsigned-byte-p recursive-call) nil nil nil) ((size size) nil (car cdr) nil nil nil nil) ((vals vals) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/gacc/list-ops-common.lisp::logtail-list (nil nil nil nil (if) nil nil) ((nil) nil (endp) (cons) nil nil nil) ((ivals) nil nil (acl2::logtail recursive-call) nil nil nil) ((pos pos) nil (car cdr) nil nil nil nil) ((ivals ivals) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/coi/gacc/list-ops-common.lisp::enlistw-n-induct (nil nil nil nil (if) nil nil) (nil nil (zp) (+) (recursive-call) nil nil) ((size n v) nil (1- 1-) (logtail) nil nil nil) ((size n v) (8) 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)) (/coi/gacc/list-ops-common.lisp::cdr-and-sub1-induct (nil nil nil nil (if) nil nil) (nil nil (endp) (list recursive-call) nil nil nil) ((x x n) nil (cdr) (+) nil nil nil) ((x n) (-1) 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)) (/coi/gacc/list-ops-common.lisp::INTEGER-LISTP-better (nil nil (DECLARE) nil nil nil nil) (nil nil nil (XARGS) nil nil nil) ((:GUARD T) 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)))