(C$::MAKE-DUMMY-FILEPATH-FILEDATA-MAP
 (552 23 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (250 50 (:REWRITE CONSP-OF-STRING=>NATS))
 (195 27 (:REWRITE BYTE-LISTP-WHEN-NOT-CONSP))
 (189 18 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (162 9 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (104 13 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (104 13 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (100 50 (:REWRITE STR::CONSP-OF-EXPLODE))
 (72 18 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (50 50 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (50 50 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (46 46 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (46 23 (:REWRITE C$::SETP-WHEN-UID-SETP))
 (46 23 (:REWRITE C$::SETP-WHEN-TYPE-SETP))
 (46 23 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (46 23 (:REWRITE C$::SETP-WHEN-TYPE-OPTION-SETP))
 (46 23 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (46 23 (:REWRITE C$::SETP-WHEN-IDENT-SETP))
 (46 23 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (46 23 (:REWRITE C$::SETP-WHEN-IDENT-OPTION-SETP))
 (46 23 (:REWRITE C$::SETP-WHEN-FILEPATH-SETP))
 (46 23 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (45 45 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (45 45 (:REWRITE DEFAULT-CAR))
 (42 19 (:REWRITE C$::MAPP-WHEN-VALID-EXTERNALSP))
 (42 19 (:REWRITE C$::MAPP-WHEN-UID-UID-MAPP))
 (42 19 (:REWRITE C$::MAPP-WHEN-IDENT-TYPE-MAPP))
 (42 19 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (42 19 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (42 19 (:REWRITE C$::MAPP-WHEN-FILEPATH-FILEDATA-MAPP))
 (41 41 (:REWRITE DEFAULT-CDR))
 (36 18 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (27 9 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (23 23 (:TYPE-PRESCRIPTION C$::UID-SETP))
 (23 23 (:TYPE-PRESCRIPTION C$::TYPE-SETP))
 (23 23 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (23 23 (:TYPE-PRESCRIPTION C$::TYPE-OPTION-SETP))
 (23 23 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (23 23 (:TYPE-PRESCRIPTION C$::IDENT-SETP))
 (23 23 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (23 23 (:TYPE-PRESCRIPTION C$::IDENT-OPTION-SETP))
 (23 23 (:TYPE-PRESCRIPTION C$::FILEPATH-SETP))
 (23 23 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (23 23 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (23 23 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (23 23 (:REWRITE SET::IN-SET))
 (22 22 (:TYPE-PRESCRIPTION C$::VALID-EXTERNALSP))
 (22 22 (:TYPE-PRESCRIPTION C$::UID-UID-MAPP))
 (22 22 (:TYPE-PRESCRIPTION C$::IDENT-TYPE-MAPP))
 (22 22 (:TYPE-PRESCRIPTION C::IDENT-TYPE-MAPP))
 (22 22 (:TYPE-PRESCRIPTION C$::FILEPATH-TRANSUNIT-MAPP))
 (22 22 (:TYPE-PRESCRIPTION C$::FILEPATH-FILEDATA-MAPP))
 (18 18 (:TYPE-PRESCRIPTION C$::MAKE-DUMMY-FILEPATH-FILEDATA-MAP))
 (18 9 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (14 14 (:REWRITE SUBSETP-TRANS2))
 (14 14 (:REWRITE SUBSETP-TRANS))
 (3 1 (:REWRITE C$::VALID-EXTERNALSP-OF-UPDATE))
 (3 1 (:REWRITE C$::UID-UID-MAPP-OF-UPDATE))
 (3 1 (:REWRITE C$::IDENT-TYPE-MAPP-OF-UPDATE))
 (3 1 (:REWRITE C::IDENT-TYPE-MAPP-OF-UPDATE))
 (3 1 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-UPDATE))
 (3 1 (:REWRITE C$::FILEPATH-FILEDATA-MAPP-OF-UPDATE))
 )
(C$::FILEPATH-FILEDATA-MAPP-OF-MAKE-DUMMY-FILEPATH-FILEDATA-MAP
 (56 7 (:REWRITE BYTE-LISTP-WHEN-NOT-CONSP))
 (35 7 (:REWRITE CONSP-OF-STRING=>NATS))
 (21 21 (:REWRITE DEFAULT-CAR))
 (14 7 (:REWRITE STR::CONSP-OF-EXPLODE))
 (7 7 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (7 7 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (6 1 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::EMPTYP))
 (2 2 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-FILEDATA-MAPP-BINDS-FREE-X))
 )
(C$::MAKE-DUMMY-FILESET)
(C$::FILESET-OF-MAKE-DUMMY-FILESET)
