((/finite-set-theory/osets/map-tests.lisp::square (nil nil nil (*) nil nil nil) (nil nil (rfix rfix) nil nil nil nil) ((x 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)) (/finite-set-theory/osets/map-tests.lisp::square-then-add (nil nil nil (+) nil nil nil) (nil nil (rfix) (*) nil nil nil) ((offset) nil (rfix rfix) nil nil nil nil) ((input input) 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)) (/finite-set-theory/osets/map-tests.lisp::plus (nil 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) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))