(nil (/rtl/rel5/support/oddr-proofs.lisp::sgn (nil nil nil nil (if) nil nil) (nil (0) nil (or) (if) nil nil) (nil (-1 1) (not) (equal <) nil nil nil) ((x x) (0 0) (rationalp) 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)) (/rtl/rel5/support/oddr-proofs.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)))