(ALIST-LISTP)
(ALIST-LISTP-FORWARD-TO-TRUE-LISTP
 (9 3 (:DEFINITION ALISTP))
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 )
(ALISTP-OF-CAR-WHEN-ALIST-LISTP
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(ALISTP-OF-NTH
 (29 29 (:REWRITE DEFAULT-CAR))
 (19 19 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
(ALISTP-LISTP-OF-CONS
 (15 5 (:DEFINITION ALISTP))
 (8 8 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE DEFAULT-CAR))
 (8 2 (:REWRITE ALISTP-OF-CAR-WHEN-ALIST-LISTP))
 )
(ALISTP-LISTP-OF-CDR
 (4 1 (:REWRITE ALISTP-OF-CAR-WHEN-ALIST-LISTP))
 (3 1 (:DEFINITION ALISTP))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(ALIST-LISTP-OF-REVAPPEND
 (101 89 (:REWRITE DEFAULT-CAR))
 (97 85 (:REWRITE DEFAULT-CDR))
 )
(ALISTP-OF-CDR-WHEN-ALIST-LISTP-OF-STRIP-CDRS
 (51 3 (:DEFINITION ALIST-LISTP))
 (12 3 (:REWRITE ALISTP-OF-CAR-WHEN-ALIST-LISTP))
 (12 3 (:REWRITE ALISTP-LISTP-OF-CDR))
 )
