(C$::FILESET-MAP
 (1022 11 (:DEFINITION ACL2-COUNT))
 (203 73 (:REWRITE DEFAULT-+-2))
 (201 21 (:REWRITE RATIONALP-OF-CAR-WHEN-RATIONAL-LISTP))
 (201 21 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (189 11 (:DEFINITION RATIONAL-LISTP))
 (189 11 (:DEFINITION INTEGER-LISTP))
 (133 73 (:REWRITE DEFAULT-+-1))
 (123 99 (:REWRITE DEFAULT-CDR))
 (112 8 (:DEFINITION LENGTH))
 (88 8 (:DEFINITION LEN))
 (85 19 (:REWRITE RATIONAL-LISTP-OF-CDR-WHEN-RATIONAL-LISTP))
 (85 19 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (80 16 (:REWRITE COMMUTATIVITY-OF-+))
 (64 16 (:DEFINITION INTEGER-ABS))
 (53 53 (:REWRITE DEFAULT-CAR))
 (48 16 (:REWRITE STRINGP-WHEN-STRING-OPTIONP))
 (25 1 (:REWRITE ACL2-COUNT-WHEN-MEMBER))
 (24 24 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (24 24 (:TYPE-PRESCRIPTION STRING-OPTIONP))
 (24 24 (:REWRITE RATIONAL-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (24 16 (:REWRITE STR::CONSP-OF-EXPLODE))
 (24 8 (:REWRITE STRING-OPTIONP-WHEN-STRINGP))
 (21 2 (:DEFINITION MEMBER-EQUAL))
 (19 19 (:REWRITE FOLD-CONSTS-IN-+))
 (19 17 (:REWRITE DEFAULT-<-2))
 (19 17 (:REWRITE DEFAULT-<-1))
 (16 16 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (8 8 (:TYPE-PRESCRIPTION LEN))
 (8 8 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (8 8 (:REWRITE DEFAULT-REALPART))
 (8 8 (:REWRITE DEFAULT-NUMERATOR))
 (8 8 (:REWRITE DEFAULT-IMAGPART))
 (8 8 (:REWRITE DEFAULT-DENOMINATOR))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (4 4 (:LINEAR ACL2-COUNT-WHEN-MEMBER))
 (3 3 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:LINEAR ACL2-COUNT-OF-CONSP-POSITIVE))
 (1 1 (:REWRITE MEMBER-SELF))
 (1 1 (:LINEAR ACL2-COUNT-CAR-CDR-LINEAR))
 )
(C$::FILESET-MAP-TO-STRING-MAP
 (2 1 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 )
(C$::FILESET-TO-STRING-MAP)
(C$::PPART-TO-TOKENS)
(C$::PPART-LIST-TO-TOKENS)
(C$::PFILE-TO-TOKENS)
(C$::COMPARE-EXPANDED-PFILES)
(C$::FILEMAP-RELATIVIZE-ABSOLUTE-PATHS
 (6 3 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSEQ-TYPE-PRESCRIPTION))
 (3 3 (:TYPE-PRESCRIPTION STRINGP-SUBSEQ-TYPE-PRESCRIPTION))
 )
(C$::FILESET-RELATIVIZE-ABSOLUTE-PATHS)
(C$::RELATIVIZE-INCLUDE-DIRS)
