(FAL-EXTRACT1)
(FAL-EXTRACT)
(FAL-EXTRACT1-REMOVAL
 (50 50 (:REWRITE DEFAULT-CAR))
 (28 28 (:REWRITE DEFAULT-CDR))
 )
(FAL-EXTRACT
 (70 70 (:REWRITE DEFAULT-CAR))
 (50 50 (:REWRITE DEFAULT-CDR))
 )
(FAL-EXTRACT-WHEN-ATOM)
(FAL-EXTRACT-OF-CONS
 (72 9 (:DEFINITION HONS-ASSOC-EQUAL))
 (41 41 (:REWRITE DEFAULT-CAR))
 (28 28 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE FAL-EXTRACT-WHEN-ATOM))
 (9 9 (:DEFINITION HONS-EQUAL))
 )
(ALISTP-OF-FAL-EXTRACT
 (37 36 (:REWRITE DEFAULT-CAR))
 (23 22 (:REWRITE DEFAULT-CDR))
 )
(FAL-EXTRACT-OF-LIST-FIX-KEYS
 (76 76 (:REWRITE DEFAULT-CAR))
 (48 48 (:REWRITE DEFAULT-CDR))
 )
(LIST-EQUIV-IMPLIES-EQUAL-FAL-EXTRACT-1
 (32 4 (:DEFINITION HONS-ASSOC-EQUAL))
 (22 22 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 12 (:REWRITE FAL-EXTRACT-WHEN-ATOM))
 (4 4 (:DEFINITION HONS-EQUAL))
 )
(ALIST-EQUIV-IMPLIES-EQUAL-FAL-EXTRACT-2
 (30 30 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE DEFAULT-CDR))
 )
(FAL-EXTRACT-OF-APPEND
 (123 122 (:REWRITE DEFAULT-CAR))
 (87 86 (:REWRITE DEFAULT-CDR))
 (30 30 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(FAL-EXTRACT-OF-REV
 (94 93 (:REWRITE DEFAULT-CAR))
 (66 65 (:REWRITE DEFAULT-CDR))
 (55 11 (:DEFINITION BINARY-APPEND))
 )
(FAL-EXTRACT-OF-REVAPPEND
 (135 122 (:REWRITE DEFAULT-CAR))
 (111 86 (:REWRITE DEFAULT-CDR))
 )
(LEN-OF-FAL-EXTRACT
 (30 30 (:REWRITE DEFAULT-CAR))
 (26 25 (:REWRITE DEFAULT-CDR))
 (24 12 (:REWRITE DEFAULT-+-2))
 (12 12 (:REWRITE DEFAULT-+-1))
 (12 6 (:REWRITE DEFAULT-<-2))
 (12 6 (:REWRITE DEFAULT-<-1))
 )
(L0
 (62 56 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE DEFAULT-CDR))
 )
(HONS-ASSOC-EQUAL-FAL-EXTRACT
 (108 102 (:REWRITE DEFAULT-CAR))
 (52 50 (:REWRITE DEFAULT-CDR))
 )
