((/rtl/rel8/support/lib2/log.lisp::logop-2-induct (nil nil nil nil (if) nil nil) ((nil) nil nil (or recursive-call) nil nil nil) (nil nil (zp zp fl fl) nil nil nil nil) ((x y) nil nil (/ /) nil nil nil) ((x y) (2 2) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/lib2/log.lisp::logop-2-n-induct (nil nil nil nil (if) nil nil) (nil nil (zp) (cons) (recursive-call) nil nil) ((n x y) nil (fl fl 1-) nil nil nil nil) ((n) nil nil (/ /) nil nil nil) ((x y) (2 2) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/lib2/log.lisp::logop-3-induct (nil nil nil nil (if) nil nil) ((t) nil nil nil (and if) nil nil) ((t) nil (natp natp natp) nil (and recursive-call) nil nil) ((x y z) nil (zp zp zp fl fl fl) nil nil nil nil) ((x y z) nil nil (/ / /) nil nil nil) ((x y z) (2 2 2) nil nil nil nil nil) (nil nil nil nil nil nil nil)))