(TMP-DEFTYPES-ANY-P$INLINE-OF-IDENTITY)
(TMP-DEFTYPES-IDENTITY-WHEN-ANY-P$INLINE
 (3 3 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C$::FILEPATHP
 (36 9 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::CONSP-WHEN-FILEPATHP)
(C$::FILEPATH-FIX$INLINE
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C$::FILEPATHP-OF-FILEPATH-FIX)
(C$::FILEPATH-FIX-WHEN-FILEPATHP
 (6 3 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C$::FILEPATH-FIX$INLINE
 (6 6 (:TYPE-PRESCRIPTION IDENTITY))
 (6 3 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C$::FILEPATH-EQUIV$INLINE)
(C$::FILEPATH-EQUIV-IS-AN-EQUIVALENCE)
(C$::FILEPATH-EQUIV-IMPLIES-EQUAL-FILEPATH-FIX-1)
(C$::FILEPATH-FIX-UNDER-FILEPATH-EQUIV)
(C$::EQUAL-OF-FILEPATH-FIX-1-FORWARD-TO-FILEPATH-EQUIV)
(C$::EQUAL-OF-FILEPATH-FIX-2-FORWARD-TO-FILEPATH-EQUIV)
(C$::FILEPATH-EQUIV-OF-FILEPATH-FIX-1-FORWARD)
(C$::FILEPATH-EQUIV-OF-FILEPATH-FIX-2-FORWARD)
(C$::FILEPATH-FIX$INLINE-OF-FILEPATH-FIX-X)
(C$::FILEPATH-FIX$INLINE-FILEPATH-EQUIV-CONGRUENCE-ON-X)
(C$::FILEPATH->UNWRAP$INLINE
 (9 9 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C$::ANY-P-OF-FILEPATH->UNWRAP)
(C$::FILEPATH->UNWRAP$INLINE-OF-FILEPATH-FIX-X
 (9 3 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH->UNWRAP$INLINE-FILEPATH-EQUIV-CONGRUENCE-ON-X)
(C$::FILEPATH)
(C$::FILEPATHP-OF-FILEPATH)
(C$::FILEPATH->UNWRAP-OF-FILEPATH
 (3 3 (:TYPE-PRESCRIPTION IDENTITY))
 )
(C$::FILEPATH-OF-FIELDS
 (3 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH-FIX-WHEN-FILEPATH
 (3 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::EQUAL-OF-FILEPATH)
(C$::FILEPATH-OF-IDENTITY-UNWRAP)
(C$::FILEPATH-EQUAL-CONGRUENCE-ON-UNWRAP)
(C$::FILEPATH-FIX-REDEF)
(C$::IRR-FILEPATH)
(C$::FILEPATHP-OF-IRR-FILEPATH)
(C$::FILEPATH-OPTIONP)
(C$::CONSP-WHEN-FILEPATH-OPTIONP)
(C$::FILEPATH-OPTIONP-WHEN-FILEPATHP)
(C$::FILEPATHP-WHEN-FILEPATH-OPTIONP
 (1 1 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 )
(C$::FILEPATH-OPTION-FIX$INLINE)
(C$::FILEPATH-OPTIONP-OF-FILEPATH-OPTION-FIX
 (20 4 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (16 2 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 )
(C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP
 (16 4 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (16 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 )
(C$::FILEPATH-OPTION-FIX$INLINE
 (16 4 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (16 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (5 1 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (2 1 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 )
(C$::FILEPATH-OPTION-EQUIV$INLINE)
(C$::FILEPATH-OPTION-EQUIV-IS-AN-EQUIVALENCE)
(C$::FILEPATH-OPTION-EQUIV-IMPLIES-EQUAL-FILEPATH-OPTION-FIX-1)
(C$::FILEPATH-OPTION-FIX-UNDER-FILEPATH-OPTION-EQUIV)
(C$::EQUAL-OF-FILEPATH-OPTION-FIX-1-FORWARD-TO-FILEPATH-OPTION-EQUIV)
(C$::EQUAL-OF-FILEPATH-OPTION-FIX-2-FORWARD-TO-FILEPATH-OPTION-EQUIV)
(C$::FILEPATH-OPTION-EQUIV-OF-FILEPATH-OPTION-FIX-1-FORWARD)
(C$::FILEPATH-OPTION-EQUIV-OF-FILEPATH-OPTION-FIX-2-FORWARD)
(C$::FILEPATH-OPTION-FIX$INLINE-OF-FILEPATH-OPTION-FIX-X)
(C$::FILEPATH-OPTION-FIX$INLINE-FILEPATH-OPTION-EQUIV-CONGRUENCE-ON-X)
(C$::DEFOPTION-LEMMA-FILEPATH-FIX-NONNIL)
(C$::FILEPATH-OPTION-FIX-UNDER-IFF
 (8 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 (8 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (7 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (7 2 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (5 5 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (5 5 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 )
(C$::FILEPATH-OPTION-EQUIV-REFINES-FILEPATH-EQUIV
 (48 6 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (34 8 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (22 22 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (22 8 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (18 18 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (16 2 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 )
(C$::FILEPATH-OPTION-NONE)
(C$::RETURN-TYPE-OF-FILEPATH-OPTION-NONE)
(C$::FILEPATH-OPTION-FIX-WHEN-NONE)
(C$::EQUAL-OF-FILEPATH-OPTION-NONE
 (5 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (3 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (3 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 )
(C$::FILEPATH-OPTION-SOME->VAL$INLINE
 (11 2 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (9 3 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 )
(C$::FILEPATHP-OF-FILEPATH-OPTION-SOME->VAL)
(C$::FILEPATH-OPTION-SOME->VAL$INLINE-OF-FILEPATH-OPTION-FIX-X
 (48 11 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (25 9 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (24 3 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 (23 23 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (5 5 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-NONE))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTION-FIX$INLINE))
 (2 2 (:REWRITE C$::FILEPATH-OPTIONP-OF-FILEPATH-OPTION-FIX))
 (2 2 (:REWRITE C$::FILEPATH-OPTION-FIX-UNDER-IFF))
 )
(C$::FILEPATH-OPTION-SOME->VAL$INLINE-FILEPATH-OPTION-EQUIV-CONGRUENCE-ON-X)
(C$::FILEPATH-OPTION-SOME->VAL-WHEN-WRONG-KIND)
(C$::FILEPATH-OPTION-SOME
 (8 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (5 1 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (3 3 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 )
(C$::RETURN-TYPE-OF-FILEPATH-OPTION-SOME)
(C$::FILEPATH-OPTION-SOME->VAL-OF-FILEPATH-OPTION-SOME
 (6 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 )
(C$::FILEPATH-OPTION-SOME-OF-FIELDS
 (11 3 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (8 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (7 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (1 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-NONE))
 )
(C$::FILEPATH-OPTION-FIX-WHEN-SOME
 (11 3 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (8 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (8 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 (7 7 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (1 1 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-NONE))
 )
(C$::EQUAL-OF-FILEPATH-OPTION-SOME
 (33 17 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (22 19 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (4 4 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-NONE))
 )
(C$::FILEPATH-OPTION-SOME-OF-FILEPATH-FIX-VAL
 (10 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (4 2 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 )
(C$::FILEPATH-OPTION-SOME-FILEPATH-EQUIV-CONGRUENCE-ON-VAL)
(C$::FILEPATH-OPTION-FIX-REDEF
 (16 2 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-FILEPATH-OPTIONP))
 (10 2 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (4 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (2 2 (:REWRITE C$::FILEPATH-OPTION-FIX-WHEN-NONE))
 )
(C$::FILEPATH-LISTP)
(STD::DEFLIST-LOCAL-BOOLEANP-ELEMENT-THM)
(STD::DEFLIST-LOCAL-ELEMENTP-OF-NIL-THM)
(C$::FILEPATH-LISTP-OF-CONS)
(C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP)
(C$::FILEPATH-LISTP-WHEN-NOT-CONSP)
(C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP)
(C$::TRUE-LISTP-WHEN-FILEPATH-LISTP-COMPOUND-RECOGNIZER)
(C$::FILEPATH-LISTP-OF-LIST-FIX)
(C$::FILEPATH-LISTP-OF-REV)
(C$::FILEPATH-LIST-FIX$INLINE)
(C$::FILEPATH-LISTP-OF-FILEPATH-LIST-FIX
 (15 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (12 5 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (12 2 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (9 1 (:DEFINITION C$::FILEPATH-LISTP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (2 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 )
(C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP
 (17 4 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (9 3 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 )
(C$::FILEPATH-LIST-FIX$INLINE
 (4 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (4 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (1 1 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 )
(C$::FILEPATH-LIST-EQUIV$INLINE)
(C$::FILEPATH-LIST-EQUIV-IS-AN-EQUIVALENCE)
(C$::FILEPATH-LIST-EQUIV-IMPLIES-EQUAL-FILEPATH-LIST-FIX-1)
(C$::FILEPATH-LIST-FIX-UNDER-FILEPATH-LIST-EQUIV)
(C$::EQUAL-OF-FILEPATH-LIST-FIX-1-FORWARD-TO-FILEPATH-LIST-EQUIV)
(C$::EQUAL-OF-FILEPATH-LIST-FIX-2-FORWARD-TO-FILEPATH-LIST-EQUIV)
(C$::FILEPATH-LIST-EQUIV-OF-FILEPATH-LIST-FIX-1-FORWARD)
(C$::FILEPATH-LIST-EQUIV-OF-FILEPATH-LIST-FIX-2-FORWARD)
(C$::CAR-OF-FILEPATH-LIST-FIX-X-UNDER-FILEPATH-EQUIV
 (21 3 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (12 12 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (12 3 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (12 2 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (6 6 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (3 3 (:TYPE-PRESCRIPTION C$::FILEPATH-LIST-FIX$INLINE))
 )
(C$::CAR-FILEPATH-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-FILEPATH-EQUIV)
(C$::CDR-OF-FILEPATH-LIST-FIX-X-UNDER-FILEPATH-LIST-EQUIV
 (29 3 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (14 2 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (8 2 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::CDR-FILEPATH-LIST-EQUIV-CONGRUENCE-ON-X-UNDER-FILEPATH-LIST-EQUIV)
(C$::CONS-OF-FILEPATH-FIX-X-UNDER-FILEPATH-LIST-EQUIV
 (20 4 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (9 2 (:REWRITE C$::FILEPATH-LISTP-OF-CONS))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (5 5 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 )
(C$::CONS-FILEPATH-EQUIV-CONGRUENCE-ON-X-UNDER-FILEPATH-LIST-EQUIV)
(C$::CONS-OF-FILEPATH-LIST-FIX-Y-UNDER-FILEPATH-LIST-EQUIV
 (12 2 (:REWRITE C$::FILEPATH-LISTP-OF-CONS))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (5 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 2 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 )
(C$::CONS-FILEPATH-LIST-EQUIV-CONGRUENCE-ON-Y-UNDER-FILEPATH-LIST-EQUIV)
(C$::CONSP-OF-FILEPATH-LIST-FIX
 (12 2 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (7 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (4 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (4 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH-LIST-FIX-UNDER-IFF
 (12 2 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (7 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (4 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (4 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH-LIST-FIX-OF-CONS
 (13 3 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (5 1 (:REWRITE C$::FILEPATH-LISTP-OF-CONS))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (4 2 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (3 3 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 )
(C$::LEN-OF-FILEPATH-LIST-FIX
 (23 4 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (13 13 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (8 2 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (7 7 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (7 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (4 1 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (1 1 (:REWRITE FTY::EQUAL-OF-LEN))
 )
(C$::FILEPATH-LIST-FIX-OF-APPEND
 (56 10 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (23 23 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (18 12 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (8 2 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (8 2 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (4 1 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH-LIST-FIX-OF-REPEAT
 (20 2 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (10 4 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (8 2 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::FILEPATH-LIST-FIX-UNDER-FILEPATH-LIST-EQUIV))
 )
(C$::LIST-EQUIV-REFINES-FILEPATH-LIST-EQUIV
 (98 14 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (72 8 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (70 70 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (60 18 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (48 8 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (36 36 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (16 16 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::NTH-OF-FILEPATH-LIST-FIX
 (111 25 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (107 20 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (69 69 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (50 50 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (37 37 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (36 9 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (32 8 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 )
(C$::FILEPATH-LIST-EQUIV-IMPLIES-FILEPATH-LIST-EQUIV-APPEND-1
 (181 32 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (131 17 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (126 126 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (80 17 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (79 22 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (64 64 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (34 34 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::FILEPATH-LIST-EQUIV-IMPLIES-FILEPATH-LIST-EQUIV-APPEND-2
 (267 46 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (206 26 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (189 189 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (138 39 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (128 26 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (95 95 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (52 52 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (4 4 (:REWRITE C$::CONSP-OF-FILEPATH-LIST-FIX))
 )
(C$::FILEPATH-LIST-EQUIV-IMPLIES-FILEPATH-LIST-EQUIV-NTHCDR-2
 (249 39 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (175 175 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (174 22 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (117 33 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (108 22 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (88 88 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (44 44 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::FILEPATH-LIST-EQUIV-IMPLIES-FILEPATH-LIST-EQUIV-TAKE-2
 (326 38 (:REWRITE C$::FILEPATH-LIST-FIX-WHEN-FILEPATH-LISTP))
 (222 28 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (190 190 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (149 39 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (140 26 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (119 95 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (54 54 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (6 6 (:REWRITE-QUOTED-CONSTANT C$::FILEPATH-LIST-FIX-UNDER-FILEPATH-LIST-EQUIV))
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::FILEPATH-LIST-FIX$INLINE-OF-FILEPATH-LIST-FIX-X)
(C$::FILEPATH-LIST-FIX$INLINE-FILEPATH-LIST-EQUIV-CONGRUENCE-ON-X)
(C$::FILEPATH-SETP)
(C$::BOOLEANP-OFFILEPATH-SETP
 (6 2 (:DEFINITION C$::FILEPATH-SETP))
 (2 2 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (2 2 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C$::SETP-WHEN-FILEPATH-SETP)
(C$::FILEPATHP-OF-HEAD-WHEN-FILEPATH-SETP
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (22 5 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (14 5 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (13 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (8 8 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (4 1 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (3 3 (:TYPE-PRESCRIPTION FAST-<<))
 (3 3 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 )
(C$::FILEPATH-SETP-OF-TAIL-WHEN-FILEPATH-SETP
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (27 6 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (19 6 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (18 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (10 10 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (9 9 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (4 4 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (4 4 (:TYPE-PRESCRIPTION FAST-<<))
 (4 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (3 1 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 )
(C$::FILEPATH-SETP-OF-INSERT
 (231 50 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (198 164 (:REWRITE <<-TRANSITIVE))
 (156 25 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (143 35 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (135 27 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (127 38 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (118 10 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (110 8 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (93 93 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (90 18 (:REWRITE SET::INSERT-IDENTITY))
 (75 75 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (54 54 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (46 46 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (36 18 (:REWRITE SET::IN-TAIL))
 (32 12 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (27 27 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (27 23 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (16 4 (:REWRITE C$::FILEPATH-LISTP-OF-CDR-WHEN-FILEPATH-LISTP))
 (12 12 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE <<-IRREFLEXIVE))
 )
(C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X
 (30 30 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (25 1 (:REWRITE FAST-<<-IS-<<))
 (22 5 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (19 5 (:REWRITE <<-TRICHOTOMY))
 (17 3 (:REWRITE <<-ASYMMETRIC))
 (14 5 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (13 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (12 12 (:TYPE-PRESCRIPTION <<))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (5 5 (:REWRITE <<-TRANSITIVE))
 (3 3 (:TYPE-PRESCRIPTION FAST-<<))
 (3 3 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 )
(C$::NOT-IN-FILEPATH-SETP-WHEN-NOT-FILEPATHP
 (4 1 (:DEFINITION C$::FILEPATH-SETP))
 (1 1 (:TYPE-PRESCRIPTION FAST-<<))
 )
(C$::FILEPATH-SETP-OF-UNION
 (418 418 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (36 36 (:TYPE-PRESCRIPTION SET::INSERT))
 )
(C$::FILEPATH-SETP-OF-INTERSECT
 (240 63 (:REWRITE <<-TRICHOTOMY))
 (210 37 (:REWRITE <<-ASYMMETRIC))
 (130 26 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (120 30 (:REWRITE SET::IN-TAIL))
 (91 13 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (78 6 (:REWRITE SET::INSERT-IDENTITY))
 (66 6 (:REWRITE SET::INTERSECT-IN))
 (65 26 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (64 34 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (63 63 (:REWRITE <<-TRANSITIVE))
 (54 18 (:REWRITE SET::INTERSECT-EMPTYP-Y))
 (54 18 (:REWRITE SET::INTERSECT-EMPTYP-X))
 (39 39 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (34 34 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (27 9 (:REWRITE SET::NEVER-IN-EMPTY))
 (26 26 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (18 6 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (15 15 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (15 15 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (13 13 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (6 6 (:REWRITE SET::HEAD-UNIQUE))
 )
(C$::FILEPATH-SETP-OF-DIFFERENCE
 (76 20 (:REWRITE <<-TRICHOTOMY))
 (68 12 (:REWRITE <<-ASYMMETRIC))
 (40 8 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (28 4 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (27 27 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (27 3 (:REWRITE SET::SUBSET-DIFFERENCE))
 (24 6 (:REWRITE SET::IN-TAIL))
 (22 2 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (20 20 (:REWRITE <<-TRANSITIVE))
 (20 8 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTYP-Y))
 (18 6 (:REWRITE SET::DIFFERENCE-EMPTYP-X))
 (15 9 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (12 12 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (9 3 (:REWRITE SET::NEVER-IN-EMPTY))
 (9 3 (:REWRITE SET::EMPTYP-SUBSET-2))
 (9 3 (:REWRITE SET::EMPTYP-SUBSET))
 (8 8 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (8 2 (:REWRITE SET::INSERT-IDENTITY))
 (5 5 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (5 5 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (4 4 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (4 2 (:REWRITE SET::DIFFERENCE-IN))
 (3 3 (:REWRITE SET::PICK-A-POINT-SUBSET-CONSTRAINT-HELPER))
 (2 2 (:REWRITE SET::HEAD-UNIQUE))
 )
(C$::FILEPATH-SETP-OF-DELETE
 (57 15 (:REWRITE <<-TRICHOTOMY))
 (51 9 (:REWRITE <<-ASYMMETRIC))
 (32 4 (:REWRITE SET::DELETE-NONMEMBER-CANCEL))
 (30 6 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (21 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (18 18 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (17 17 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (15 15 (:REWRITE <<-TRANSITIVE))
 (15 6 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (14 14 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (12 4 (:REWRITE SET::NEVER-IN-EMPTY))
 (12 2 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (11 11 (:TYPE-PRESCRIPTION FAST-<<))
 (9 9 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (9 3 (:REWRITE SET::DELETE-PRESERVES-EMPTYP))
 (8 4 (:REWRITE SET::IN-TAIL))
 (8 2 (:REWRITE SET::INSERT-IDENTITY))
 (6 6 (:TYPE-PRESCRIPTION SET::SFIX$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-LISTP))
 (6 6 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (6 1 (:REWRITE SET::SFIX-WHEN-EMPTYP))
 (5 5 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (5 5 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (4 2 (:REWRITE SET::DELETE-IN))
 (3 3 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SET::HEAD-UNIQUE))
 )
(C$::FILEPATH-SET-FIX
 (1 1 (:TYPE-PRESCRIPTION C$::FILEPATH-SET-FIX))
 )
(C$::FILEPATH-SETP-OF-FILEPATH-SET-FIX)
(C$::FILEPATH-SET-FIX-WHEN-FILEPATH-SETP
 (13 13 (:TYPE-PRESCRIPTION C$::FILEPATH-SET-FIX))
 )
(C$::EMPTYP-FILEPATH-SET-FIX
 (4 2 (:REWRITE C$::FILEPATH-SET-FIX-WHEN-FILEPATH-SETP))
 )
(C$::EMPTYP-OF-FILEPATH-SET-FIX
 (3 1 (:REWRITE C$::FILEPATH-SET-FIX-WHEN-FILEPATH-SETP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT
 (24 24 (:TYPE-PRESCRIPTION C$::FILEPATH-SET-FIX))
 )
(C$::FILEPATH-SET-EQUIV$INLINE
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-SET-FIX))
 )
(C$::FILEPATH-SET-EQUIV-IS-AN-EQUIVALENCE)
(C$::FILEPATH-SET-EQUIV-IMPLIES-EQUAL-FILEPATH-SET-FIX-1)
(C$::FILEPATH-SET-FIX-UNDER-FILEPATH-SET-EQUIV)
(C$::EQUAL-OF-FILEPATH-SET-FIX-1-FORWARD-TO-FILEPATH-SET-EQUIV)
(C$::EQUAL-OF-FILEPATH-SET-FIX-2-FORWARD-TO-FILEPATH-SET-EQUIV)
(C$::FILEPATH-SET-EQUIV-OF-FILEPATH-SET-FIX-1-FORWARD)
(C$::FILEPATH-SET-EQUIV-OF-FILEPATH-SET-FIX-2-FORWARD)
(C$::FILEPATH-SET-FIX-OF-FILEPATH-SET-FIX-X
 (9 9 (:TYPE-PRESCRIPTION C$::FILEPATH-SET-FIX))
 )
(C$::FILEPATH-SET-FIX-FILEPATH-SET-EQUIV-CONGRUENCE-ON-X)
