((/centaur/gl/g-logior.lisp::g-binary-logior-of-numbers (nil nil nil (b*) nil nil nil) (nil nil nil nil (((mv xrn xrd xin xid) (general-number-components x)) if) nil nil) (nil nil ((mv yrn yrd yin yid) (mv xintp xintp-known) (mv yintp yintp-known) mk-g-number) (and g-apply) nil nil nil) ((xintp-known yintp-known) nil (general-number-components quote) (logior-ss list) (if if) nil nil) ((y binary-logior x y) nil nil (equal mv mv equal mv mv) (bfr-ite-bss-fn bfr-ite-bss-fn) nil nil) ((xrd t nil nil yrd t nil nil xintp xrn nil yintp yrn nil) nil (quote quote) (bfr-or bfr-or) nil nil nil) ((t t) nil nil (=-ss =-uu =-ss =-uu) nil nil nil)))