(H)
(GENERIC-RUN)
(M5-RUN)
(HLD-TEST-FN)
(MAP-H)
(MAP-H-APPEND
 (26 22 (:REWRITE DEFAULT-CAR))
 (23 19 (:REWRITE DEFAULT-CDR))
 (11 11 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(BUMPER1)
(BUMPER2)
(BUMPER3)
(GENERIC-EXISTS)
(G)
(GENERIC-LIST-ITERATOR)
(GET-INTEGERS)
(MAP-H-APPEND-BUMPER1
 (19 19 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (14 9 (:REWRITE DEFAULT-+-1))
 (13 9 (:REWRITE DEFAULT-+-2))
 (10 5 (:REWRITE DEFAULT-*-2))
 (10 5 (:REWRITE DEFAULT-*-1))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 )
(MAP-H-APPEND-BUMPER2
 (19 19 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (14 9 (:REWRITE DEFAULT-+-1))
 (13 9 (:REWRITE DEFAULT-+-2))
 (10 5 (:REWRITE DEFAULT-*-2))
 (10 5 (:REWRITE DEFAULT-*-1))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 )
(MAP-H-APPEND-BUMPER3
 (17 17 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (17 11 (:REWRITE DEFAULT-+-1))
 (16 11 (:REWRITE DEFAULT-+-2))
 (13 13 (:REWRITE DEFAULT-CAR))
 (12 6 (:REWRITE DEFAULT-*-1))
 (11 11 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE DEFAULT-<-1))
 (6 6 (:REWRITE DEFAULT-*-2))
 )
(GENERIC-RUN-SUM
 (22 13 (:REWRITE ZP-OPEN))
 (19 19 (:REWRITE DEFAULT-+-2))
 (19 19 (:REWRITE DEFAULT-+-1))
 (10 10 (:REWRITE DEFAULT-<-2))
 (10 10 (:REWRITE DEFAULT-<-1))
 (8 6 (:REWRITE FOLD-CONSTS-IN-+))
 )
(GENERIC-RUN-SUM-M5-RUN
 (11 5 (:REWRITE ZP-OPEN))
 (7 7 (:REWRITE DEFAULT-+-2))
 (7 7 (:REWRITE DEFAULT-+-1))
 (6 2 (:REWRITE FOLD-CONSTS-IN-+))
 (2 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 (2 2 (:DEFINITION NOT))
 )
(GENERIC-LIST-ITERATOR-APPEND
 (20 17 (:REWRITE DEFAULT-CAR))
 (18 15 (:REWRITE DEFAULT-CDR))
 (18 9 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:TYPE-PRESCRIPTION BINARY-APPEND))
 )
