(CGEN::GET1-LST
 (1 1 (:TYPE-PRESCRIPTION CGEN::GET1-FN))
 )
(CGEN::FILTER-TERMS-WITHOUT-VARS)
(CGEN::TERM-NAME)
(CGEN::FLATTEN-OUTPUT-FTERM)
(CGEN::FLATTEN-OUTPUT-FTERMS)
(CGEN::INVERT-ALIST)
(CGEN::BASH-FN)
(CGEN::EQUATION-P)
(CGEN::VALID-OUTPUT-SYMBOLS)
(CGEN::FILTER-TERMS-WITH-VARS)
(CGEN::COLLECT-VARS)
(CGEN::COLLECT-VARS-LST)
(CGEN::FIXER-RULE-INSTANCE)
(CGEN::TOP-FUNCTION-SYMBOL)
(CGEN::DESTRUCT-EQUALITY-HYP)
(CGEN::MONADIC-TERM-P)
(CGEN::MONADIC-TERM-LISTP)
(CGEN::EQUALITY-VARS)
(CGEN::MAKE-SUBCKT-FRULE)
(CGEN::ADD-TO-FXRI{})
(CGEN::REVAPPEND-FXRI{})
(CGEN::EQUALITIZE)
(CGEN::EQUALITIZE-LST)
(CGEN::FILTER-TYPE-HYPS)
(CGEN::FIXER-RULES-TABLE)
(CGEN::PRESERVATION-RULES-TABLE)
(CGEN::INSTANTIATE-FIXER-RULE)
(CGEN::DESTRUCT-VAR-EQUALITY-HYP)
(CGEN::MAKE-DUMMY-EQUALITY-FRULE-INSTANCE)
(CGEN::DUMMY-EQ-FRULE-INSTANCES)
(CGEN::TERM-PRESERVED-BY-FXR-TEST?)
(CGEN::ASSOC-FRULE)
(CGEN::ASSOC-ALL-FRULES)
(CGEN::ASSOC-FRULE-LST)
(CGEN::FILTER-TERMS-PRESERVED-BY-FXR)
(CGEN::UPDATE-PRESERVES-RELATION)
(CGEN::CWEIGHT)
(CGEN::CWEIGHT-LST)
(CGEN::PVAL0)
(CGEN::PVAL-FXR-AUX)
(CGEN::PVAL-FXR)
(CGEN::ASSIGN-PVAL-SCORES-AUX)
(CGEN::ASSIGN-PVAL-SCORES)
(CGEN::MAX-PVAL-FRULE)
(CGEN::DELETE-FRULES)
(CGEN::REMOVE-CHOSEN-FIXER)
(CGEN::MAXSAT-FXR-CKT-AUX)
(CGEN::MAXSAT-FXR-CKT)
(CGEN::FILTER-FXRI-CONSTRAINT-TERMS)
(CGEN::FIXER-ARRANGEMENT1)
(CGEN::FIXER-ARRANGEMENT1/REPEAT)
(CGEN::RASSOC-DLIST)
(CGEN::PUT-RASSOC-DLIST)
(CGEN::UPDATE-MV-BINDING)
(CGEN::TO-B*-MV-BINDING-AUX)
(CGEN::TO-B*-MV-BINDING)
(CGEN::INVERSE-SUBST/B*-MV-ENTRY)
(CGEN::INVERSE-SUBST/B*-ENTRY)
(CGEN::ALIST-SUFFIX-STARTING-WITH
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(CGEN::SUBST-B*-ENTRY)
(CGEN::COLLAPSE-B*-BINDING)
(CGEN::HEURISTIC-WEIGHTS)
(CGEN::FIXER-ARRANGEMENT-BUILTIN)
