((/rtl/rel1/support/logdefs.lisp::BITN (nil nil nil nil (if) nil nil) (nil (1 0) nil (logbitp) nil nil nil) ((n 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)) (/rtl/rel1/support/logdefs.lisp::SHL (nil nil nil (rem) nil nil nil) (nil nil nil (+ expt) nil nil nil) ((s n) (2) nil (*) nil nil nil) ((x) (2) 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)) (/rtl/rel1/support/logdefs.lisp::SHR (nil nil nil (+) nil nil nil) (nil nil (fl) (*) nil nil nil) ((s) nil nil (/ expt) nil nil nil) ((x) (2 2) (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)) (/rtl/rel1/support/logdefs.lisp::CAT (nil nil nil (+) nil nil nil) ((y) nil nil (*) nil nil nil) ((x) nil nil (expt) nil nil nil) ((n) (2) 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)) (/rtl/rel1/support/logdefs.lisp::BITS (nil nil (fl) nil nil nil nil) (nil nil nil (/) nil nil nil) (nil nil nil (rem expt) nil nil nil) ((x j) (2) nil (expt) nil nil nil) (nil (2) (1+) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel1/support/logdefs.lisp::COMP1 (nil nil (1-) nil nil nil nil) (nil nil nil (-) nil nil nil) ((x) nil nil (expt) nil nil nil) ((n) (2) 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)) (/rtl/rel1/support/logdefs.lisp::DEC1 (nil nil nil (rem) nil nil nil) (nil nil (1-) (expt) nil nil nil) ((n) (2) nil (+) nil nil nil) ((x) nil nil (expt) nil nil nil) ((n) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel1/support/logdefs.lisp::INDUCT-NAT (nil nil nil nil (if) nil nil) ((nil) nil (induct-nat) (and) nil nil nil) (nil nil (integerp 1-) (>) nil nil nil) ((x x x) (0) 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)))