((/rtl/rel7/user/brat.lisp::fl (nil nil nil (floor) nil nil nil) ((x) (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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel7/user/brat.lisp::log2 (nil nil nil nil (if) nil nil) (nil (0) (1+) (<) nil nil nil) (nil (2) (nfix recursive-call) nil nil nil nil) ((x) nil (fl) nil nil nil nil) (nil nil nil (/) nil nil nil) ((x) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel7/user/brat.lisp::brat (nil nil nil (cond) nil nil nil) (nil nil ((and (chk-binary x) (or (symbolp x) (stringp x))) t) nil nil nil nil) ((x) nil (string-or-symbol-to-rat) nil nil nil nil) ((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)) (/rtl/rel7/user/brat.lisp::bsym (nil nil nil (intern) nil nil nil) ((ACL2) nil (bstr) nil nil nil nil) ((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)))