(ADE::VAR-TO-CONST
 (2 2 (:REWRITE DEFAULT-SYMBOL-NAME))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(ADE::STATE-ACCESSORS-GEN
 (34 30 (:REWRITE DEFAULT-CAR))
 (30 7 (:REWRITE DEFAULT-COERCE-3))
 (26 13 (:REWRITE DEFAULT-COERCE-1))
 (23 19 (:REWRITE DEFAULT-CDR))
 (20 20 (:REWRITE DEFAULT-COERCE-2))
 (18 18 (:REWRITE DEFAULT-SYMBOL-NAME))
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(ADE::PRIMITIVES-LEMMAS-GEN)
(ADE::OUTPUTS/STEP-GEN-FN)
