((/nonstd/rtl/rel1/support/odd.lisp::odd (nil nil nil (let) nil nil nil) (((z (fl (* (expt 2 (1- n)) (sig x))))) nil nil nil (if) nil nil) (nil nil (evenp) nil (* *) nil nil) ((z z) nil (sgn 1+ sgn) (expt expt) nil nil nil) ((x z x) (2 2) nil (- -) nil nil nil) ((n n) nil (1+ 1+) nil nil nil nil) (nil nil (expo expo) nil nil nil nil)) (/nonstd/rtl/rel1/support/odd.lisp::kp (nil nil nil (+) nil nil nil) ((k) nil nil (-) nil nil nil) (nil nil (expo expo) nil nil nil nil) ((y) nil nil (+) nil nil nil) ((x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))