(CGEN::HYPOTHESES-VAL)
(CGEN::CONCLUSION-VAL)
(CGEN::NEXT-SIGMA)
(CGEN::TRUE-LISTP-NEXT-SIGMA)
(CGEN::SINGLE-HYPOTHESIS)
(CGEN::MAKE-LET-BINDING-FOR-SIGMA)
(CGEN::MV-LIST-IFY)
(CGEN::MAKE-HYPOTHESES-VAL-DEFUNS)
(CGEN::MAKE-CONCLUSION-VAL-DEFUNS
 (1 1 (:TYPE-PRESCRIPTION CGEN::MV-LIST-IFY))
 )
(CGEN::SYMBOL-DOUBLET-LISTP-=>-SYMBOL-ALISTP
 (65 65 (:REWRITE DEFAULT-CAR))
 (30 30 (:REWRITE DEFAULT-CDR))
 )
(CGEN::HYP-VAL-LIST
 (1 1 (:TYPE-PRESCRIPTION CGEN::HYP-VAL-LIST))
 )
(CGEN::MAKE-HYP-VAL-LIST-DEFUNS)
(CGEN::LOCAL-SAMPLING-METHOD-BUILTIN)
(CGEN::LOCAL-SAMPLING-METHOD)
(CGEN::RUN-SINGLE-TEST.)
(CGEN::MERGE-CAR-SYMBOL<
 (198 91 (:REWRITE DEFAULT-+-2))
 (133 91 (:REWRITE DEFAULT-+-1))
 (64 16 (:DEFINITION INTEGER-ABS))
 (64 8 (:DEFINITION LENGTH))
 (40 8 (:DEFINITION LEN))
 (30 30 (:REWRITE FOLD-CONSTS-IN-+))
 (26 26 (:REWRITE DEFAULT-CDR))
 (24 24 (:REWRITE DEFAULT-CAR))
 (24 18 (:REWRITE DEFAULT-<-2))
 (22 18 (:REWRITE DEFAULT-<-1))
 (16 16 (:REWRITE DEFAULT-UNARY-MINUS))
 (10 2 (:REWRITE SYMBOL<-ASYMMETRIC))
 (8 8 (:TYPE-PRESCRIPTION LEN))
 (8 8 (:REWRITE DEFAULT-REALPART))
 (8 8 (:REWRITE DEFAULT-NUMERATOR))
 (8 8 (:REWRITE DEFAULT-IMAGPART))
 (8 8 (:REWRITE DEFAULT-DENOMINATOR))
 (8 8 (:REWRITE DEFAULT-COERCE-2))
 (8 8 (:REWRITE DEFAULT-COERCE-1))
 (4 4 (:REWRITE SYMBOL<-TRICHOTOMY))
 (4 4 (:REWRITE SYMBOL<-TRANSITIVE))
 )
(CGEN::ACL2-COUNT-EVENS-STRONG
 (1507 733 (:REWRITE DEFAULT-+-2))
 (1016 733 (:REWRITE DEFAULT-+-1))
 (520 130 (:DEFINITION INTEGER-ABS))
 (520 65 (:DEFINITION LENGTH))
 (325 65 (:DEFINITION LEN))
 (177 175 (:REWRITE DEFAULT-CAR))
 (168 146 (:REWRITE DEFAULT-<-2))
 (168 146 (:REWRITE DEFAULT-<-1))
 (130 130 (:REWRITE DEFAULT-UNARY-MINUS))
 (65 65 (:TYPE-PRESCRIPTION LEN))
 (65 65 (:REWRITE DEFAULT-REALPART))
 (65 65 (:REWRITE DEFAULT-NUMERATOR))
 (65 65 (:REWRITE DEFAULT-IMAGPART))
 (65 65 (:REWRITE DEFAULT-DENOMINATOR))
 (65 65 (:REWRITE DEFAULT-COERCE-2))
 (65 65 (:REWRITE DEFAULT-COERCE-1))
 )
(CGEN::ACL2-COUNT-EVENS-WEAK
 (501 236 (:REWRITE DEFAULT-+-2))
 (330 236 (:REWRITE DEFAULT-+-1))
 (184 46 (:DEFINITION INTEGER-ABS))
 (184 23 (:DEFINITION LENGTH))
 (115 23 (:DEFINITION LEN))
 (76 58 (:REWRITE DEFAULT-<-1))
 (74 58 (:REWRITE DEFAULT-<-2))
 (52 51 (:REWRITE DEFAULT-CAR))
 (46 46 (:REWRITE DEFAULT-UNARY-MINUS))
 (23 23 (:TYPE-PRESCRIPTION LEN))
 (23 23 (:REWRITE DEFAULT-REALPART))
 (23 23 (:REWRITE DEFAULT-NUMERATOR))
 (23 23 (:REWRITE DEFAULT-IMAGPART))
 (23 23 (:REWRITE DEFAULT-DENOMINATOR))
 (23 23 (:REWRITE DEFAULT-COERCE-2))
 (23 23 (:REWRITE DEFAULT-COERCE-1))
 (14 8 (:LINEAR CGEN::ACL2-COUNT-EVENS-STRONG))
 (5 5 (:LINEAR ACL2-COUNT-CAR-CDR-LINEAR))
 )
(CGEN::MERGE-SORT-CAR-SYMBOL<
 (202 92 (:REWRITE DEFAULT-+-2))
 (131 92 (:REWRITE DEFAULT-+-1))
 (63 63 (:REWRITE DEFAULT-CDR))
 (56 14 (:REWRITE COMMUTATIVITY-OF-+))
 (56 14 (:DEFINITION INTEGER-ABS))
 (56 7 (:DEFINITION LENGTH))
 (44 11 (:DEFINITION EVENS))
 (35 35 (:REWRITE DEFAULT-CAR))
 (35 7 (:DEFINITION LEN))
 (32 32 (:REWRITE FOLD-CONSTS-IN-+))
 (25 19 (:REWRITE DEFAULT-<-2))
 (24 19 (:REWRITE DEFAULT-<-1))
 (14 14 (:REWRITE DEFAULT-UNARY-MINUS))
 (7 7 (:TYPE-PRESCRIPTION LEN))
 (7 7 (:REWRITE DEFAULT-REALPART))
 (7 7 (:REWRITE DEFAULT-NUMERATOR))
 (7 7 (:REWRITE DEFAULT-IMAGPART))
 (7 7 (:REWRITE DEFAULT-DENOMINATOR))
 (7 7 (:REWRITE DEFAULT-COERCE-2))
 (7 7 (:REWRITE DEFAULT-COERCE-1))
 (2 2 (:LINEAR ACL2-COUNT-CAR-CDR-LINEAR))
 (1 1 (:TYPE-PRESCRIPTION CGEN::MERGE-SORT-CAR-SYMBOL<))
 )
(CGEN::RECORD-TESTRUN.)
(CGEN::RUN-N-TESTS.)
(CGEN::RUN-TESTS.)
(CGEN::KWOTE-SYMBOL-DOUBLET-LIST)
(CGEN::STRIP-BOUND-VARS)
(CGEN::MAKE-NEXT-SIGMA-DEFUNS
 (11 5 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 5 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(CGEN::SS-STATS)
(CGEN::RUN-TESTS-WITH-TIMEOUT)
(CGEN::FILTER-VAR-EQ-HYPS)
(CGEN::SIMPLE-SEARCH)
