(DEFARBREC-INFOP
 (7 7 (:TYPE-PRESCRIPTION CONSP-ASSOC-EQUAL))
 )
(DEFARBREC-INFO)
(HONSED-DEFARBREC-INFO)
(DEFARBREC-INFO->CALL$$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->EXPANSION$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->X1...XN$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->BODY$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->UPDATE-FNS$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->TERMINATES-FN$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(DEFARBREC-INFO->MEASURE-FN$INLINE
 (5 5 (:DEFINITION ASSOC-EQUAL))
 )
(CONSP-OF-DEFARBREC-INFO)
(BOOLEANP-OF-DEFARBREC-INFOP)
(DEFARBREC-INFOP-OF-DEFARBREC-INFO)
(CONSP-WHEN-DEFARBREC-INFOP)
(DEFARBREC-INFO->CALL$-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->EXPANSION-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->X1...XN-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->BODY-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->UPDATE-FNS-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->TERMINATES-FN-OF-DEFARBREC-INFO)
(DEFARBREC-INFO->MEASURE-FN-OF-DEFARBREC-INFO)
(RETURN-TYPE-OF-DEFARBREC-INFO->CALL$)
(RETURN-TYPE-OF-DEFARBREC-INFO->EXPANSION)
(RETURN-TYPE-OF-DEFARBREC-INFO->UPDATE-FNS)
(RETURN-TYPE-OF-DEFARBREC-INFO->TERMINATES-FN)
(RETURN-TYPE-OF-DEFARBREC-INFO->MEASURE-FN)
(DEFARBREC-FILTER-CALL
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(DEFARBREC-PROCESS-FN)
(NULL-OF-DEFARBREC-PROCESS-FN.NOTHING
 (8 8 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-SYMBOL.ERP))
 (6 6 (:REWRITE RETURN-TYPE-OF-ENSURE-SYMBOL-NEW-EVENT-NAME.ERP))
 )
(DEFARBREC-PROCESS-X1...XN)
(NULL-OF-DEFARBREC-PROCESS-X1...XN.NOTHING
 (8 8 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-SYMBOL-LIST.ERP))
 (6 6 (:REWRITE RETURN-TYPE-OF-ENSURE-LIST-HAS-NO-DUPLICATES.ERP))
 )
(DEFARBREC-PROCESS-BODY)
(DEFARBREC-DEFAULT-UPDATE-NAMES-AUX
 (24 1 (:DEFINITION BINARY-APPEND))
 (19 14 (:REWRITE DEFAULT-CAR))
 (15 10 (:REWRITE DEFAULT-CDR))
 (9 9 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (9 9 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (8 8 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (6 4 (:REWRITE STR::CONSP-OF-EXPLODE))
 (4 4 (:REWRITE DEFAULT-SYMBOL-NAME))
 (3 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 )
(SYMBOL-LISTP-OF-DEFARBREC-DEFAULT-UPDATE-NAMES-AUX
 (120 5 (:DEFINITION BINARY-APPEND))
 (53 21 (:REWRITE DEFAULT-CAR))
 (52 8 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (50 18 (:REWRITE DEFAULT-CDR))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (38 38 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (30 20 (:REWRITE STR::CONSP-OF-EXPLODE))
 (20 20 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP))
 (20 8 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 (20 4 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-OF-APPEND))
 (12 6 (:REWRITE DEFAULT-SYMBOL-NAME))
 (7 6 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (6 2 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (5 2 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (2 2 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-OF-CONS))
 (1 1 (:TYPE-PRESCRIPTION STRING-APPEND-LST))
 (1 1 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 )
(DEFARBREC-DEFAULT-UPDATE-NAMES)
(SYMBOL-LISTP-OF-DEFARBREC-DEFAULT-UPDATE-NAMES)
(DEFARBREC-PROCESS-UPDATE-NAMES-AUX)
(NULL-OF-DEFARBREC-PROCESS-UPDATE-NAMES-AUX.NOTHING
 (53 31 (:REWRITE DEFAULT-CAR))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (4 2 (:REWRITE DEFAULT-CDR))
 )
(DEFARBREC-PROCESS-UPDATE-NAMES)
(DEFARBREC-PROCESS-TERMINATES-NAME)
(DEFARBREC-PROCESS-MEASURE-NAME)
(DEFARBREC-PROCESS-NONTERMINATING)
(DEFARBREC-PRINTP)
(TYPE-WHEN-DEFARBREC-PRINTP)
(DEFARBREC-PRINTP-POSSIBILITIES)
(DEFARBREC-PRINTP-FIX$INLINE)
(RETURN-TYPE-OF-DEFARBREC-PRINTP-FIX)
(DEFARBREC-PRINTP-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(DEFARBREC-PRINTP-EQUIV$INLINE)
(DEFARBREC-PRINTP-EQUIV-IS-AN-EQUIVALENCE)
(DEFARBREC-PRINTP-EQUIV-IMPLIES-EQUAL-DEFARBREC-PRINTP-FIX-1)
(DEFARBREC-PRINTP-FIX-UNDER-DEFARBREC-PRINTP-EQUIV)
(DEFARBREC-PROCESS-PRINT)
(NULL-OF-DEFARBREC-PROCESS-PRINT.NOTHING)
(DEFARBREC-PROCESS-SHOW-ONLY)
(DEFARBREC-PROCESS-INPUTS)
(DEFARBREC-GEN-VAR-K)
(DEFARBREC-GEN-VAR-L)
(DEFARBREC-GEN-TEST-OF-UPDATES-TERM)
(DEFARBREC-GEN-UPDATE-FNS-AUX)
(DEFARBREC-GEN-UPDATE-FNS)
(DEFARBREC-GEN-UPDATE-FNS-LEMMA)
(DEFARBREC-GEN-TERMINATES-FN)
(DEFARBREC-GEN-MEASURE-FN)
(DEFARBREC-GEN-MEASURE-FN-NATP-LEMMA)
(DEFARBREC-GEN-MEASURE-FN-END-LEMMA)
(DEFARBREC-GEN-MEASURE-FN-MIN-LEMMA)
(DEFARBREC-GEN-FN-FN)
(DEFARBREC-GEN-EXTEND-TABLE)
(PSEUDO-EVENT-FORMP-OF-DEFARBREC-GEN-EXTEND-TABLE)
(DEFARBREC-GEN-PRINT-RESULT
 (36 5 (:REWRITE PSEUDO-EVENT-FORM-LISTP-OF-CDR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (28 3 (:REWRITE PSEUDO-EVENT-FORMP-OF-CAR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (24 24 (:REWRITE PSEUDO-EVENT-FORM-LISTP-WHEN-SUBSETP-EQUAL))
 (20 12 (:REWRITE PSEUDO-EVENT-FORM-LISTP-WHEN-NOT-CONSP))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (6 6 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(PSEUDO-EVENT-FORM-LISTP-OF-DEFARBREC-GEN-PRINT-RESULT
 (381 7 (:DEFINITION PSEUDO-EVENT-FORM-LISTP))
 (112 16 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (82 7 (:REWRITE PSEUDO-EVENT-FORMP-OF-CAR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (79 29 (:REWRITE PSEUDO-EVENT-FORM-LISTP-WHEN-NOT-CONSP))
 (76 7 (:REWRITE PSEUDO-EVENT-FORM-LISTP-OF-CDR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (74 4 (:DEFINITION MEMBER-EQUAL))
 (48 14 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (43 43 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (43 43 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (42 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (28 14 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (24 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (23 1 (:REWRITE SUBSETP-OF-CONS))
 (21 21 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (17 17 (:REWRITE SUBSETP-TRANS2))
 (17 17 (:REWRITE SUBSETP-TRANS))
 (13 13 (:REWRITE DEFAULT-CDR))
 (12 12 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE SUBSETP-MEMBER . 2))
 (8 8 (:REWRITE SUBSETP-MEMBER . 1))
 (7 7 (:TYPE-PRESCRIPTION PSEUDO-EVENT-FORMP))
 )
(DEFARBREC-GEN-EVERYTHING)
(DEFARBREC-CHECK-REDUNDANCY)
(DEFARBREC-FN)
