(CGEN::MODIFY-SYMBOL)
(CGEN::MODIFY-SYMBOL-LST
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::OR-LIST)
(CGEN::TO-SYMBOL-IN-PACKAGE)
(CGEN::TO-SYMBOL-IN-PACKAGE-LST
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::LIST-UP-LISTS
 (16 16 (:REWRITE DEFAULT-CDR))
 (16 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 )
(CGEN::PROPER-SYMBOLP)
(CGEN::PROPER-SYMBOL-LISTP)
(CGEN::KEYWORD-LISTP)
(CGEN::TRANS-EVAL-SINGLE-VALUE)
(CGEN::UNION-TRUE-LISTS
 (21 21 (:REWRITE DEFAULT-CDR))
 (15 15 (:REWRITE DEFAULT-CAR))
 )
(CGEN::UNION-LSTS
 (64 6 (:DEFINITION UNION-EQUAL))
 (59 59 (:REWRITE DEFAULT-CDR))
 (58 23 (:DEFINITION TRUE-LISTP))
 (37 37 (:REWRITE DEFAULT-CAR))
 (28 6 (:DEFINITION MEMBER-EQUAL))
 (6 6 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 )
(CGEN::ASSOC-LST)
(CGEN::FLATTEN
 (42 12 (:DEFINITION TRUE-LISTP))
 (24 18 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 )
(CGEN::FLATTEN-IS-TRUE-LIST1
 (28 8 (:DEFINITION TRUE-LISTP))
 (14 10 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(CGEN::MEM-TREE)
(CGEN::ORDER-TWO-TERMS)
(CGEN::FLATTEN-IS-TRUE-LIST)
(CGEN::LISTOF-ALISTP)
(CGEN::TRUE-LIST-SYMBOL-ALISTP)
(CGEN::SYMBOL-DOUBLET-LIST-LISTP)
(CGEN::SYMBOL-ALIST-LISTP)
(CGEN::STRIP-CADRS
 (15 15 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-CAR))
 )
(CGEN::BOOLEAN-OR-MACRO)
(CGEN::POS-LISTP)
(CGEN::GET-VALUE-FROM-KEYWORD-VALUE-LIST)
(CGEN::GET-FREE-VARS1)
(CGEN::GET-FREE-VARS0)
(CGEN::ALL-VARS-LST)
(CGEN::FILTER-ALIST-KEYS
 (10 10 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE DEFAULT-CAR))
 (6 3 (:DEFINITION TRUE-LISTP))
 (3 1 (:DEFINITION MEMBER-EQUAL))
 )
(CGEN::REMOVE-ENTRY
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::REMOVE-ENTRY-LST
 (42 42 (:REWRITE DEFAULT-CAR))
 (22 22 (:REWRITE DEFAULT-CDR))
 (4 2 (:DEFINITION TRUE-LISTP))
 )
(CGEN::GET-VAL
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::GET-VAL-LST
 (8 8 (:REWRITE DEFAULT-CDR))
 (7 7 (:REWRITE DEFAULT-CAR))
 (6 1 (:DEFINITION CGEN::GET-VAL))
 (2 1 (:DEFINITION TRUE-LISTP))
 )
(CGEN::REMOVE-AND-ADD-AT-END-ENTRY
 (8 8 (:REWRITE DEFAULT-CDR))
 (8 8 (:REWRITE DEFAULT-CAR))
 )
(CGEN::REMOVE-AND-ADD-AT-FRONT-ENTRY)
(CGEN::PUT-ENTRY
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::GET-KEY
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::GET-KEY-LST
 (8 8 (:REWRITE DEFAULT-CDR))
 (7 7 (:REWRITE DEFAULT-CAR))
 (6 1 (:DEFINITION CGEN::GET-KEY))
 (2 1 (:DEFINITION TRUE-LISTP))
 )
(CGEN::GET-VAR-FROM-I-OR-IS-LST)
(CGEN::GET-ALL-KEYS1
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 )
(CGEN::GET-ALL-KEYS)
(CGEN::GET-ALL-KEYS-LST
 (9 9 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 1 (:DEFINITION CGEN::GET-ALL-KEYS1))
 (2 1 (:DEFINITION TRUE-LISTP))
 )
(CGEN::TRANS-EVAL-SINGLE-VALUE-WITH-BINDINGS)
(CGEN::MAKE-VAR-VALUE-CONS-BINDINGS
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 (3 1 (:DEFINITION BINARY-APPEND))
 )
(CGEN::MAKE-VAR-VALUE-LIST-BINDINGS
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 (3 1 (:DEFINITION BINARY-APPEND))
 )
(CGEN::MAKE-CONSTANT-VALUE-CONS-BINDINGS
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 (3 1 (:DEFINITION BINARY-APPEND))
 )
(CGEN::MAKE-CONSTANT-VALUE-LET-BINDINGS
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 (3 1 (:DEFINITION BINARY-APPEND))
 )
(CGEN::CONVERT-LISTPAIR-TO-CONSPAIR-LST
 (16 16 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE DEFAULT-CDR))
 )
(CGEN::CONVERT-CONSPAIRS-TO-LISTPAIRS
 (8 8 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(CGEN::CONVERT-CONSPAIRS-TO-LISTPAIRS-SIG1
 (42 38 (:REWRITE DEFAULT-CAR))
 (24 23 (:REWRITE DEFAULT-CDR))
 )
(CGEN::SYMBOL-DOUBLET-LISTP-IMPLICATION1
 (23 23 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE DEFAULT-CDR))
 )
(CGEN::COUNT-OCCURRENCES)
(CGEN::SYM-EQ-LST
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(CGEN::INSERT-ENTRY-AFTER-KEY
 (4 4 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::GET-ORDERED-ALST
 (157 127 (:REWRITE DEFAULT-CAR))
 (101 71 (:REWRITE DEFAULT-CDR))
 (6 3 (:DEFINITION TRUE-LISTP))
 )
(CGEN::FILTER-IN)
(CGEN::FILTER-NOT-IN)
(CGEN::COMPOSE-TWO-ALISTS
 (11 11 (:REWRITE DEFAULT-CAR))
 (10 10 (:REWRITE DEFAULT-CDR))
 )
(CGEN::SUBST-EQUAL)
(CGEN::MY-EV-W)
(CGEN::TRANS-MY-EV-W)
(CGEN::ALL-VARS-IN-VAR-TERM-ALST)
(CGEN::OCCURRING-VAR-BINDINGS
 (13 13 (:REWRITE DEFAULT-CAR))
 (7 7 (:REWRITE DEFAULT-CDR))
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (2 1 (:DEFINITION TRUE-LISTP))
 )
(CGEN::QUOTE-CONSES-AND-SYMBOLS-IN-BINDINGS
 (26 26 (:REWRITE DEFAULT-CAR))
 (19 19 (:REWRITE DEFAULT-CDR))
 )
(CGEN::FILTER-SYMBOL-KEYS-IN-ALIST
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::SYMBOL-LIST-LISTP)
(CGEN::ORDER-VAR-TE-ALIST.)
(CGEN::ORDER-VAR-TE-ALIST)
(CGEN::TO-STRING)
(CGEN::UNSIGNED-29BITS-P)
(CGEN::FIXNUMP)
(CGEN::GET2-FN
 (240 25 (:REWRITE ACL2S::EQLABLE-2-ALISTP-EQLABLE-ALISTP))
 (210 10 (:DEFINITION EQLABLE-2-ALISTP))
 (77 77 (:REWRITE DEFAULT-CAR))
 (65 65 (:TYPE-PRESCRIPTION EQLABLE-2-ALISTP))
 (39 39 (:REWRITE DEFAULT-CDR))
 (15 15 (:TYPE-PRESCRIPTION EQLABLEP))
 (10 2 (:DEFINITION ASSOC-EQUAL))
 (3 1 (:DEFINITION ALISTP))
 )
(CGEN::GET1-FN
 (48 5 (:REWRITE ACL2S::EQLABLE-2-ALISTP-EQLABLE-ALISTP))
 (42 2 (:DEFINITION EQLABLE-2-ALISTP))
 (35 2 (:DEFINITION EQLABLE-ALISTP))
 (17 17 (:REWRITE DEFAULT-CAR))
 (13 13 (:TYPE-PRESCRIPTION EQLABLE-2-ALISTP))
 (8 8 (:REWRITE DEFAULT-CDR))
 (5 1 (:DEFINITION ASSOC-EQUAL))
 (3 3 (:TYPE-PRESCRIPTION EQLABLEP))
 )
(CGEN::CGEN-DUMB-NEGATE-LIT
 (5 5 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 )
(CGEN::CGEN-DUMB-NEGATE-LIT-LST
 (3 3 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (2 2 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::CLAUSE-MV-HYPS-CONCL)
(CGEN::CLAUSIFY-HYPS-CONCL)
(CGEN::IS-VAR-EQUALITY-HYP
 (14 14 (:REWRITE DEFAULT-CDR))
 (12 7 (:REWRITE DEFAULT-+-2))
 (7 7 (:REWRITE DEFAULT-+-1))
 )
