((/quadratic-reciprocity/euclid.lisp::divides (nil nil nil (and) nil nil nil) (nil nil (not integerp) nil nil nil nil) (nil nil nil (= /) nil nil nil) ((x y x) (0) 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)) (/quadratic-reciprocity/euclid.lisp::least-divisor (nil nil nil nil (if) nil nil) ((nil) nil nil nil (if) (and) nil) ((k) nil (integerp integerp) (< <= divides recursive-call) nil nil nil) ((n k k k n k n n) (1) (1+) nil nil nil nil) ((k) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/quadratic-reciprocity/euclid.lisp::primep (nil nil nil (and) nil nil nil) (nil nil (integerp) (=) nil nil nil) ((n n) nil nil (least-divisor) nil nil nil) ((n) (2) 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)) (/quadratic-reciprocity/euclid.lisp::fact (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((n n) nil (recursive-call) nil nil nil nil) (nil nil (1-) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/quadratic-reciprocity/euclid.lisp::greater-prime (nil nil nil (least-divisor) nil nil nil) (nil (2) (1+) nil nil nil nil) (nil nil (fact) nil nil nil nil) ((n) 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)) (/quadratic-reciprocity/euclid.lisp::g-c-d-nat (nil nil nil nil (if) nil nil) ((y) nil (zp) nil (if) nil nil) ((x x) nil (zp) nil (if) nil nil) ((y) nil nil (<= recursive-call recursive-call) nil nil nil) ((x y x y) nil nil (- -) nil nil nil) ((y x x y) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/quadratic-reciprocity/euclid.lisp::g-c-d (nil nil nil (g-c-d-nat) nil nil nil) (nil nil (abs abs) 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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/quadratic-reciprocity/euclid.lisp::r (nil nil nil nil (if) nil nil) (nil nil (-) (< r-nat) nil nil nil) ((x) (0) (abs abs) (r-nat) nil nil nil) ((x y) nil (abs abs) 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)) (/quadratic-reciprocity/euclid.lisp::s (nil nil nil nil (if) nil nil) (nil nil (-) (< s-nat) nil nil nil) ((y) (0) (abs abs) (s-nat) nil nil nil) ((x y) nil (abs abs) 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)))