((/rtl/rel1/support/near.lisp::re (nil nil nil (-) nil nil nil) ((x) nil (fl) 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)) (/rtl/rel1/support/near.lisp::near (nil nil nil (let) nil nil nil) (nil nil ((z (fl (* (expt 2 (1- n)) (sig x))))) nil (if) nil nil) (nil nil (f) (< trunc) (if) nil nil) ((f 1/2 x n) nil (re) (> away) (if) nil nil) ((f 1/2 x n) nil (evenp) (* trunc away) nil nil nil) ((z x n x n) nil (sig) (expt) nil nil nil) ((x) (2) (1-) nil nil nil nil)) (/rtl/rel1/support/near.lisp::near-witness (nil nil nil nil (if) nil nil) (nil nil nil (= / expt) nil nil nil) (nil (2 2) (expo expo expo) (+) nil nil nil) ((x y y) nil nil (near near) nil nil nil) ((x n y n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))