((/centaur/misc/arith-equivs.lisp::int-equiv (nil nil nil (equal) nil nil nil) (nil nil (ifix ifix) nil nil nil nil) ((a b) 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)) (/centaur/misc/arith-equivs.lisp::nat-equiv (nil nil nil (equal) nil nil nil) (nil nil (nfix nfix) nil nil nil nil) ((a b) 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)) (/centaur/misc/arith-equivs.lisp::bit-equiv (nil nil nil (equal) nil nil nil) (nil nil (bfix bfix) 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)))