(ALISTP-OF-PAIRLIS$
 (11 10 (:REWRITE DEFAULT-CAR))
 (9 8 (:REWRITE DEFAULT-CDR))
 )
(SYMBOL-ALISTP-OF-PAIRLIS$
 (30 27 (:REWRITE DEFAULT-CAR))
 (17 15 (:REWRITE DEFAULT-CDR))
 )
(STRIP-CDRS-OF-PAIRLIS$2
 (28 25 (:REWRITE DEFAULT-CDR))
 (23 12 (:REWRITE DEFAULT-+-2))
 (20 17 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-+-1))
 )
(PAIRLIS$-OPENER
 (10 10 (:REWRITE DEFAULT-CDR))
 (10 10 (:REWRITE DEFAULT-CAR))
 )
(PAIRLIS$-BASE)
