((/finite-set-theory/osets/membership.lisp::fast-measure (nil nil nil (+) nil nil nil) (nil nil (acl2-count acl2-count) 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)))