(L0
 (374 34 (:DEFINITION LEN))
 (136 34 (:REWRITE DEFAULT-CDR))
 (102 102 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (102 68 (:REWRITE STR::CONSP-OF-EXPLODE))
 (72 38 (:REWRITE DEFAULT-+-2))
 (48 30 (:REWRITE DEFAULT-<-1))
 (38 38 (:REWRITE DEFAULT-+-1))
 (34 34 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (33 30 (:REWRITE DEFAULT-<-2))
 (8 8 (:LINEAR LENGTH-EQUIV-LINEAR))
 (4 4 (:LINEAR LONGEST-IL-MAX-LEN))
 (4 4 (:LINEAR BACKREF-LISTP-NTH-LINEAR))
 )
(L1
 (627 11 (:DEFINITION MATCH-REGEX-FUN))
 (308 22 (:DEFINITION LENGTH))
 (242 22 (:DEFINITION LEN))
 (231 11 (:DEFINITION STRING-INDEX-PAST-END))
 (136 46 (:REWRITE DEFAULT-CDR))
 (88 88 (:TYPE-PRESCRIPTION MATCH-REGEX-AT-CHAR))
 (88 88 (:TYPE-PRESCRIPTION LEN))
 (66 66 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (66 44 (:REWRITE STR::CONSP-OF-EXPLODE))
 (55 33 (:REWRITE DEFAULT-+-2))
 (44 22 (:REWRITE STR::COERCE-TO-LIST-REMOVAL))
 (34 17 (:REWRITE DEFAULT-CAR))
 (33 33 (:REWRITE DEFAULT-+-1))
 (33 22 (:REWRITE DEFAULT-<-1))
 (33 11 (:DEFINITION NATP))
 (22 22 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (22 22 (:REWRITE DEFAULT-<-2))
 )
(L2)
(STRINGP-OF-GET-BACKREF-STRING
 (139 2 (:DEFINITION TAKE))
 (91 4 (:REWRITE TAKE-OF-TOO-MANY))
 (83 9 (:DEFINITION LEN))
 (80 40 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (73 73 (:TYPE-PRESCRIPTION LEN))
 (71 4 (:REWRITE TAKE-OF-LEN-FREE))
 (47 47 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (37 14 (:REWRITE DEFAULT-CDR))
 (34 2 (:DEFINITION NTHCDR))
 (31 19 (:REWRITE DEFAULT-+-2))
 (28 4 (:REWRITE TAKE-WHEN-ATOM))
 (23 19 (:REWRITE DEFAULT-+-1))
 (22 4 (:REWRITE ZP-OPEN))
 (16 12 (:REWRITE DEFAULT-<-2))
 (15 3 (:REWRITE DEFAULT-CAR))
 (14 4 (:DEFINITION NFIX))
 (13 12 (:REWRITE DEFAULT-<-1))
 (10 2 (:REWRITE DEFAULT-UNARY-MINUS))
 (9 4 (:REWRITE INTEGERP-NUMBERP))
 (7 4 (:REWRITE STR::CONSP-OF-EXPLODE))
 (5 5 (:REWRITE BACKREF-INTS))
 (4 4 (:TYPE-PRESCRIPTION NFIX))
 (4 4 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (4 4 (:REWRITE INPUT-LIST-ELTP-THM))
 (3 3 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (2 2 (:REWRITE FOLD-CONSTS-IN-+))
 )
(STRING-OR-NIL-LISTP)
(NTH-OF-STRING-OR-NIL-LISTP
 (21 21 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE ZP-OPEN))
 (8 8 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 )
(STRING-OR-NIL-LISTP-OF-RESOLVE-BACKREFS
 (417 6 (:DEFINITION TAKE))
 (273 12 (:REWRITE TAKE-OF-TOO-MANY))
 (249 27 (:DEFINITION LEN))
 (240 120 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (219 219 (:TYPE-PRESCRIPTION LEN))
 (213 12 (:REWRITE TAKE-OF-LEN-FREE))
 (141 141 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (125 54 (:REWRITE DEFAULT-CDR))
 (102 6 (:DEFINITION NTHCDR))
 (93 57 (:REWRITE DEFAULT-+-2))
 (84 12 (:REWRITE TAKE-WHEN-ATOM))
 (69 57 (:REWRITE DEFAULT-+-1))
 (68 29 (:REWRITE DEFAULT-CAR))
 (66 12 (:REWRITE ZP-OPEN))
 (48 36 (:REWRITE DEFAULT-<-2))
 (42 12 (:DEFINITION NFIX))
 (39 36 (:REWRITE DEFAULT-<-1))
 (30 6 (:REWRITE DEFAULT-UNARY-MINUS))
 (27 12 (:REWRITE INTEGERP-NUMBERP))
 (21 12 (:REWRITE STR::CONSP-OF-EXPLODE))
 (15 15 (:REWRITE BACKREF-INTS))
 (12 12 (:TYPE-PRESCRIPTION NFIX))
 (12 12 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (12 12 (:REWRITE INPUT-LIST-ELTP-THM))
 (9 9 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (6 6 (:REWRITE FOLD-CONSTS-IN-+))
 )
(STRING-OR-NIL-LISTP-OF-CDR
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(STRING-OR-NIL-LISTP-OF-MATCH-REGEX-AT-CHAR-BACKREFS
 (4904 28 (:DEFINITION RUN-REGEX))
 (3365 251 (:REWRITE DEFAULT-CAR))
 (3324 12 (:DEFINITION LONGEST-IL))
 (3291 39 (:REWRITE LONGEST-IL-TYPE-WEAK))
 (2803 329 (:DEFINITION LEN))
 (2652 12 (:REWRITE PSEUDO-INPUT-LISTP-OF-CDR-WHEN-PSEUDO-INPUT-LISTP))
 (2403 7 (:DEFINITION RESOLVE-BACKREFS))
 (2359 7 (:DEFINITION GET-BACKREF-STRING))
 (1969 1969 (:TYPE-PRESCRIPTION LEN))
 (1457 561 (:REWRITE DEFAULT-CDR))
 (1438 18 (:DEFINITION TAKE))
 (1052 522 (:REWRITE DEFAULT-+-2))
 (912 24 (:REWRITE RUN-REGEX-PSUEDO-INPUT-LISTP))
 (899 36 (:REWRITE TAKE-OF-TOO-MANY))
 (864 24 (:DEFINITION REG-STR-BR-GUARD))
 (853 36 (:REWRITE TAKE-OF-LEN-FREE))
 (831 831 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (812 332 (:REWRITE DEFAULT-<-2))
 (742 371 (:TYPE-PRESCRIPTION LONGEST-IL-TYPE-WEAK))
 (720 360 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (648 24 (:DEFINITION INDEXP))
 (611 522 (:REWRITE DEFAULT-+-1))
 (581 332 (:REWRITE DEFAULT-<-1))
 (471 308 (:REWRITE STR::CONSP-OF-EXPLODE))
 (450 227 (:REWRITE INTEGERP-NUMBERP))
 (448 28 (:DEFINITION STORE-BACKREFS))
 (443 443 (:TYPE-PRESCRIPTION PSEUDO-INPUT-LISTP))
 (402 92 (:REWRITE ZP-OPEN))
 (305 227 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (294 64 (:DEFINITION NFIX))
 (286 18 (:DEFINITION NTHCDR))
 (280 28 (:DEFINITION UPDATE-NTH))
 (252 36 (:REWRITE TAKE-WHEN-ATOM))
 (163 163 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (128 28 (:DEFINITION BINARY-APPEND))
 (84 28 (:REWRITE REGEX-R-REPEAT-ACCESSOR-TYPES))
 (82 18 (:REWRITE DEFAULT-UNARY-MINUS))
 (80 80 (:TYPE-PRESCRIPTION REGEX-P))
 (72 72 (:REWRITE PSEUDO-INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (72 24 (:DEFINITION NATP))
 (61 61 (:REWRITE BACKREF-INTS))
 (60 60 (:TYPE-PRESCRIPTION INPUT-LISTP))
 (60 60 (:REWRITE INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (60 10 (:LINEAR LONGEST-IL-MIN-LEN))
 (60 10 (:LINEAR LONGEST-IL-MAX-LEN))
 (60 10 (:LINEAR LONGEST-IL-GREATER-COMPARE-TO-MIN))
 (56 56 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (54 54 (:REWRITE INPUT-LIST-ELTP-THM))
 (39 3 (:DEFINITION STRING-OR-NIL-LISTP))
 (36 36 (:TYPE-PRESCRIPTION NFIX))
 (36 36 (:REWRITE PSEUDO-INPUT-LISTP-WHEN-NOT-CONSP))
 (36 36 (:REWRITE INPUT-LISTP-PSEUDO))
 (32 32 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (30 30 (:REWRITE INPUT-LISTP-WHEN-NOT-CONSP))
 (28 28 (:TYPE-PRESCRIPTION IN-CHARSET))
 (28 28 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-REGEX))
 (28 28 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-MIN))
 (28 28 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-MAX))
 (28 28 (:REWRITE NOT-R-GROUP-P-R-GROUP-REGEX))
 (28 28 (:REWRITE NOT-R-GROUP-P-R-GROUP-INDEX))
 (28 28 (:REWRITE NOT-R-EXACT-P-R-EXACT-VAL))
 (28 28 (:REWRITE NOT-R-DISJUNCT-P-R-DISJUNCT-RIGHT))
 (28 28 (:REWRITE NOT-R-DISJUNCT-P-R-DISJUNCT-LEFT))
 (28 28 (:REWRITE NOT-R-CONCAT-P-R-CONCAT-RIGHT))
 (28 28 (:REWRITE NOT-R-CONCAT-P-R-CONCAT-LEFT))
 (28 28 (:REWRITE NOT-R-CHARSET-P-R-CHARSET-SET))
 (28 28 (:REWRITE NOT-R-BACKREF-P-R-BACKREF-INDEX))
 (28 28 (:DEFINITION NTH))
 (24 24 (:DEFINITION BACKREF-LISTP))
 (18 18 (:REWRITE FOLD-CONSTS-IN-+))
 )
(STRING-OR-NIL-LISTP-OF-MATCH-REGEX-FUN
 (308 28 (:DEFINITION LEN))
 (120 36 (:REWRITE DEFAULT-CDR))
 (84 56 (:REWRITE STR::CONSP-OF-EXPLODE))
 (64 36 (:REWRITE DEFAULT-+-2))
 (39 24 (:REWRITE DEFAULT-<-1))
 (36 36 (:REWRITE DEFAULT-+-1))
 (28 28 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (26 24 (:REWRITE DEFAULT-<-2))
 (10 10 (:REWRITE DEFAULT-CAR))
 (6 6 (:LINEAR LENGTH-EQUIV-LINEAR))
 (6 2 (:REWRITE FOLD-CONSTS-IN-+))
 (3 3 (:LINEAR LONGEST-IL-MAX-LEN))
 (3 3 (:LINEAR BACKREF-LISTP-NTH-LINEAR))
 )
(STRING-OR-NIL-LISTP-OF-MATCH-REGEX)
(TRUE-LISTP-OF-MATCH-REGEX-AT-CHAR
 (4554 26 (:DEFINITION RUN-REGEX))
 (3127 227 (:REWRITE DEFAULT-CAR))
 (3047 11 (:DEFINITION LONGEST-IL))
 (3019 38 (:REWRITE LONGEST-IL-TYPE-WEAK))
 (2706 320 (:DEFINITION LEN))
 (2431 11 (:REWRITE PSEUDO-INPUT-LISTP-OF-CDR-WHEN-PSEUDO-INPUT-LISTP))
 (1984 5 (:DEFINITION RESOLVE-BACKREFS))
 (1952 5 (:DEFINITION GET-BACKREF-STRING))
 (1934 1934 (:TYPE-PRESCRIPTION LEN))
 (1586 20 (:DEFINITION TAKE))
 (1277 537 (:REWRITE DEFAULT-CDR))
 (1040 514 (:REWRITE DEFAULT-+-2))
 (992 40 (:REWRITE TAKE-OF-TOO-MANY))
 (938 40 (:REWRITE TAKE-OF-LEN-FREE))
 (836 22 (:REWRITE RUN-REGEX-PSUEDO-INPUT-LISTP))
 (800 400 (:TYPE-PRESCRIPTION TRUE-LISTP-NTHCDR-TYPE-PRESCRIPTION))
 (792 22 (:DEFINITION REG-STR-BR-GUARD))
 (772 323 (:REWRITE DEFAULT-<-2))
 (734 367 (:TYPE-PRESCRIPTION LONGEST-IL-TYPE-WEAK))
 (660 514 (:REWRITE DEFAULT-+-1))
 (613 613 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (594 22 (:DEFINITION INDEXP))
 (555 323 (:REWRITE DEFAULT-<-1))
 (479 216 (:REWRITE INTEGERP-NUMBERP))
 (433 433 (:TYPE-PRESCRIPTION PSEUDO-INPUT-LISTP))
 (416 26 (:DEFINITION STORE-BACKREFS))
 (413 272 (:REWRITE STR::CONSP-OF-EXPLODE))
 (388 92 (:REWRITE ZP-OPEN))
 (296 66 (:DEFINITION NFIX))
 (294 216 (:REWRITE RATIONALP-IMPLIES-ACL2-NUMBERP))
 (280 40 (:REWRITE TAKE-WHEN-ATOM))
 (260 26 (:DEFINITION UPDATE-NTH))
 (260 20 (:DEFINITION NTHCDR))
 (141 141 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (119 26 (:DEFINITION BINARY-APPEND))
 (84 20 (:REWRITE DEFAULT-UNARY-MINUS))
 (78 26 (:REWRITE REGEX-R-REPEAT-ACCESSOR-TYPES))
 (74 74 (:TYPE-PRESCRIPTION REGEX-P))
 (70 20 (:LINEAR LONGEST-IL-MIN-LEN))
 (70 20 (:LINEAR LONGEST-IL-MAX-LEN))
 (70 20 (:LINEAR LONGEST-IL-GREATER-COMPARE-TO-MIN))
 (66 66 (:REWRITE PSEUDO-INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (66 22 (:DEFINITION NATP))
 (60 60 (:TYPE-PRESCRIPTION INPUT-LISTP))
 (60 60 (:REWRITE INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (60 10 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (56 56 (:REWRITE BACKREF-INTS))
 (52 52 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (50 50 (:REWRITE INPUT-LIST-ELTP-THM))
 (45 5 (:DEFINITION TRUE-LISTP))
 (40 40 (:TYPE-PRESCRIPTION NFIX))
 (33 33 (:REWRITE PSEUDO-INPUT-LISTP-WHEN-NOT-CONSP))
 (33 33 (:REWRITE INPUT-LISTP-PSEUDO))
 (30 30 (:REWRITE INPUT-LISTP-WHEN-NOT-CONSP))
 (30 30 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (26 26 (:TYPE-PRESCRIPTION IN-CHARSET))
 (26 26 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-REGEX))
 (26 26 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-MIN))
 (26 26 (:REWRITE NOT-R-REPEAT-P-R-REPEAT-MAX))
 (26 26 (:REWRITE NOT-R-GROUP-P-R-GROUP-REGEX))
 (26 26 (:REWRITE NOT-R-GROUP-P-R-GROUP-INDEX))
 (26 26 (:REWRITE NOT-R-EXACT-P-R-EXACT-VAL))
 (26 26 (:REWRITE NOT-R-DISJUNCT-P-R-DISJUNCT-RIGHT))
 (26 26 (:REWRITE NOT-R-DISJUNCT-P-R-DISJUNCT-LEFT))
 (26 26 (:REWRITE NOT-R-CONCAT-P-R-CONCAT-RIGHT))
 (26 26 (:REWRITE NOT-R-CONCAT-P-R-CONCAT-LEFT))
 (26 26 (:REWRITE NOT-R-CHARSET-P-R-CHARSET-SET))
 (26 26 (:REWRITE NOT-R-BACKREF-P-R-BACKREF-INDEX))
 (26 26 (:DEFINITION NTH))
 (22 22 (:DEFINITION BACKREF-LISTP))
 (20 20 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (20 20 (:REWRITE FOLD-CONSTS-IN-+))
 (20 10 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (10 10 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (10 10 (:REWRITE SET::IN-SET))
 (10 10 (:REWRITE BACKREF-LISTP-TRUE-LISTP))
 )
(TRUE-LISTP-OF-MATCH-REGEX-STRING
 (220 20 (:DEFINITION LEN))
 (83 23 (:REWRITE DEFAULT-CDR))
 (60 60 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (60 40 (:REWRITE STR::CONSP-OF-EXPLODE))
 (42 22 (:REWRITE DEFAULT-+-2))
 (36 6 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (29 18 (:REWRITE DEFAULT-<-1))
 (27 3 (:DEFINITION TRUE-LISTP))
 (22 22 (:REWRITE DEFAULT-+-1))
 (20 20 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (20 18 (:REWRITE DEFAULT-<-2))
 (12 12 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (12 6 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (6 6 (:REWRITE SET::IN-SET))
 (6 6 (:REWRITE BACKREF-LISTP-TRUE-LISTP))
 (6 6 (:LINEAR LENGTH-EQUIV-LINEAR))
 (3 3 (:LINEAR LONGEST-IL-MAX-LEN))
 (3 3 (:LINEAR BACKREF-LISTP-NTH-LINEAR))
 )
(DO-REGEX-MATCH-PRECOMP
 (54 4 (:DEFINITION LEN))
 (49 1 (:REWRITE IMPLIES-LENGTH-EQUIV))
 (20 8 (:REWRITE STR::CONSP-OF-EXPLODE))
 (18 4 (:REWRITE DEFAULT-CDR))
 (12 12 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (10 1 (:DEFINITION =))
 (8 4 (:REWRITE DEFAULT-+-2))
 (6 4 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (6 2 (:REWRITE R-REPEAT-NOT-REGEX))
 (6 2 (:REWRITE R-GROUP-NOT-REGEX))
 (6 2 (:REWRITE R-EXACT-NOT-REGEX))
 (6 2 (:REWRITE R-DISJUNCT-NOT-REGEX))
 (6 2 (:REWRITE R-CONCAT-NOT-REGEX))
 (6 2 (:REWRITE R-CHARSET-NOT-REGEX))
 (6 2 (:REWRITE R-BACKREF-NOT-REGEX))
 (6 1 (:REWRITE PARSE-OPTIONS-NOT-PARSE-OPTS))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (2 2 (:TYPE-PRESCRIPTION LENGTH))
 (2 2 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 )
(RETURN-TYPE-OF-DO-REGEX-MATCH-PRECOMP.WHOLE
 (36 6 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (18 6 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (12 12 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (12 12 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 )
(TRUE-LISTP-OF-DO-REGEX-MATCH-PRECOMP.SUBSTRS
 (24 4 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (24 4 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (18 2 (:DEFINITION TRUE-LISTP))
 (12 4 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (8 8 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (8 8 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (8 8 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (8 4 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 4 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (4 4 (:REWRITE SET::IN-SET))
 (4 4 (:REWRITE BACKREF-LISTP-TRUE-LISTP))
 (3 3 (:REWRITE L0))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(STRING-OR-NIL-LISTP-OF-DO-REGEX-MATCH-PRECOMP-SUBSTRS
 (26 2 (:DEFINITION STRING-OR-NIL-LISTP))
 (24 4 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (16 4 (:REWRITE STRING-OR-NIL-LISTP-OF-CDR))
 (12 4 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (8 8 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (8 8 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE L0))
 )
(DO-REGEX-MATCH
 (23 3 (:REWRITE PARSE-OPTIONS-NOT-PARSE-OPTS))
 (5 5 (:REWRITE PARSE-OPTS-PARSE-OPTIONS-ACCESSOR-TYPES))
 (3 3 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (3 2 (:REWRITE PARSE-OPTS-TYPE-POSSIBILITIES))
 (2 2 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (2 2 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-TYPE))
 (1 1 (:TYPE-PRESCRIPTION PARSE-TYPE-P))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP))
 (1 1 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-STRICT-REPEAT))
 (1 1 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-STRICT-PAREN))
 (1 1 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-STRICT-BRACE))
 )
(RETURN-TYPE-OF-DO-REGEX-MATCH.ERROR-MSG
 (54 9 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (27 9 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 )
(RETURN-TYPE-OF-DO-REGEX-MATCH.WHOLE
 (78 13 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (39 13 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (26 26 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (26 26 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 )
(TRUE-LISTP-OF-DO-REGEX-MATCH.SUBSTRS
 (108 18 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (81 9 (:DEFINITION TRUE-LISTP))
 (54 9 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (36 36 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (36 18 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (27 9 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (18 18 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (18 18 (:REWRITE SET::IN-SET))
 (18 18 (:REWRITE BACKREF-LISTP-TRUE-LISTP))
 (9 9 (:REWRITE DEFAULT-CDR))
 )
(STRING-OR-NIL-LISTP-OF-DO-REGEX-MATCH-SUBSTRS
 (117 9 (:DEFINITION STRING-OR-NIL-LISTP))
 (72 18 (:REWRITE STRING-OR-NIL-LISTP-OF-CDR))
 (54 9 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (27 9 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (18 18 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (18 18 (:REWRITE DEFAULT-CDR))
 (18 18 (:REWRITE DEFAULT-CAR))
 )
(C0
 (32 8 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (27 27 (:REWRITE DEFAULT-CAR))
 (16 16 (:REWRITE DEFAULT-CDR))
 (11 11 (:REWRITE ZP-OPEN))
 (8 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 )
(C1
 (8 2 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(TYPE-OF-NTH-OF-DO-REGEX-MATCH-PRECOMP-SUBSTRINGS
 (42 7 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (32 2 (:DEFINITION STRING-OR-NULL-LISTP))
 (21 7 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (16 16 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE DEFAULT-CAR))
 (14 14 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (14 14 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (12 12 (:REWRITE ZP-OPEN))
 (12 12 (:REWRITE DEFAULT-+-2))
 (12 12 (:REWRITE DEFAULT-+-1))
 (8 4 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (6 6 (:REWRITE L0))
 (4 2 (:REWRITE C1))
 )
(TYPE-OF-CAR-DO-REGEX-MATCH-PRECOMP-SUBSTRINGS
 (42 7 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (32 2 (:DEFINITION STRING-OR-NULL-LISTP))
 (28 16 (:REWRITE DEFAULT-CAR))
 (21 7 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (14 14 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (14 14 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (8 4 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (6 6 (:REWRITE L0))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(TYPE-OF-NTH-OF-DO-REGEX-MATCH-SUBSTRINGS
 (225 40 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (111 37 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (80 5 (:DEFINITION STRING-OR-NULL-LISTP))
 (74 74 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (74 74 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (37 37 (:REWRITE DEFAULT-CDR))
 (37 37 (:REWRITE DEFAULT-CAR))
 (27 27 (:REWRITE ZP-OPEN))
 (27 27 (:REWRITE DEFAULT-+-2))
 (27 27 (:REWRITE DEFAULT-+-1))
 (20 10 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (14 14 (:REWRITE L0))
 (10 5 (:REWRITE C1))
 )
(TYPE-OF-CAR-OF-DO-REGEX-MATCH-SUBSTRINGS
 (216 36 (:REWRITE NOT-PARSE-OPTIONS-P-PARSE-OPTIONS-CASE-INSENSITIVE))
 (108 36 (:REWRITE PARSE-OPTIONS-PARSE-OPTS))
 (80 5 (:DEFINITION STRING-OR-NULL-LISTP))
 (72 72 (:TYPE-PRESCRIPTION PARSE-OPTS-P))
 (72 72 (:TYPE-PRESCRIPTION PARSE-OPTIONS-P))
 (37 37 (:REWRITE DEFAULT-CAR))
 (20 10 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (14 14 (:REWRITE L0))
 (10 10 (:REWRITE DEFAULT-CDR))
 )
(F)
(FIRST-OF-F
 (4 4 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(SECOND-OF-F
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 )
(THIRD-OF-F
 (25 1 (:REWRITE C0))
 (22 1 (:DEFINITION STRING-OR-NULL-LISTP))
 (12 12 (:TYPE-PRESCRIPTION STRING-OR-NULL-LISTP))
 (8 8 (:REWRITE DEFAULT-CDR))
 (6 3 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 (2 2 (:TYPE-PRESCRIPTION TYPE-OF-CAR-DO-REGEX-MATCH-PRECOMP-SUBSTRINGS))
 )
(STRING-KEYED-ALIST-P)
(REGEX-GET
 (76 8 (:REWRITE C1))
 (64 4 (:DEFINITION STRING-OR-NULL-LISTP))
 (40 40 (:TYPE-PRESCRIPTION STRING-OR-NULL-LISTP))
 (27 27 (:REWRITE DEFAULT-CAR))
 (16 8 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (12 12 (:REWRITE DEFAULT-CDR))
 )
(RETURN-TYPE-OF-REGEX-GET
 (646 68 (:REWRITE C1))
 (544 34 (:DEFINITION STRING-OR-NULL-LISTP))
 (340 340 (:TYPE-PRESCRIPTION STRING-OR-NULL-LISTP))
 (136 68 (:REWRITE STRING-OR-NULL-LISTP-CDR))
 (106 106 (:REWRITE DEFAULT-CDR))
 )