(SET-DIFFERENCE-EQUAL-FAST
 (9 9 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 )
(SET-DIFFERENCE-EQUAL-FAST-BECOMES-SET-DIFFERENCE-EQUAL
 (18 18 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE DEFAULT-CDR))
 )
(SET-DIFFERENCE-EQ-FAST
 (46 46 (:REWRITE DEFAULT-CAR))
 (34 34 (:REWRITE DEFAULT-CDR))
 )
