(VL::VL-PARSE-LVALUE-2005-FN
 (259 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (221 26 (:REWRITE LEN-WHEN-ATOM))
 (174 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (99 6 (:REWRITE LEN-WHEN-PREFIXP))
 (66 33 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (62 62 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (62 31 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (54 54 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (48 4 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (31 31 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (31 31 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (31 31 (:REWRITE CONSP-BY-LEN))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (16 16 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (12 6 (:REWRITE DEFAULT-<-1))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (9 6 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (8 8 (:LINEAR INDEX-OF-<-LEN))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (6 3 (:REWRITE VL::O<-WHEN-NATPS))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (3 3 (:TYPE-PRESCRIPTION TWO-NATS-MEASURE))
 (3 3 (:REWRITE SUBLISTP-COMPLETE))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (1 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::PARSE-LVALUES-2005-FLAG
 (259 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (249 28 (:REWRITE LEN-WHEN-ATOM))
 (174 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (99 6 (:REWRITE LEN-WHEN-PREFIXP))
 (66 66 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (66 33 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (58 58 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (48 4 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (44 24 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (33 33 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (33 33 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (33 33 (:REWRITE CONSP-BY-LEN))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (19 4 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (16 16 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (12 6 (:REWRITE DEFAULT-<-1))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (9 6 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (8 8 (:LINEAR INDEX-OF-<-LEN))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (6 6 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (6 3 (:REWRITE VL::O<-WHEN-NATPS))
 (6 3 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (5 5 (:TYPE-PRESCRIPTION TWO-NATS-MEASURE))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (4 4 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (3 3 (:REWRITE SUBLISTP-COMPLETE))
 (3 3 (:REWRITE SET::IN-SET))
 (3 1 (:REWRITE VL::O-P-WHEN-NATP))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(VL::PARSE-LVALUES-2005-FLAG-EQUIVALENCES)
(VL::FLAG-LEMMA-FOR-COUNT-STRONG
 (21923 342 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (17443 140 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (8645 519 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (8296 519 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (4978 766 (:REWRITE LEN-WHEN-ATOM))
 (3762 342 (:REWRITE LEN-WHEN-PREFIXP))
 (3434 444 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (3434 444 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (2464 2464 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2464 1232 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (2454 2454 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (1960 140 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (1960 140 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (1526 763 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (1316 94 (:REWRITE DEFAULT-CAR))
 (1295 1295 (:TYPE-PRESCRIPTION PREFIXP))
 (1232 1232 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (1232 1232 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (1232 1232 (:REWRITE CONSP-BY-LEN))
 (1038 1038 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (608 342 (:REWRITE DEFAULT-<-1))
 (542 342 (:REWRITE DEFAULT-<-2))
 (519 519 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (519 519 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (519 519 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (519 519 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (519 519 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (517 75 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (517 75 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (482 482 (:TYPE-PRESCRIPTION SUBLISTP))
 (432 432 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (432 432 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (432 432 (:LINEAR LEN-WHEN-PREFIXP))
 (344 344 (:META CANCEL_PLUS-LESSP-CORRECT))
 (226 226 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (226 226 (:LINEAR INDEX-OF-<-LEN))
 (216 216 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (176 176 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (158 158 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (140 140 (:REWRITE SUBLISTP-COMPLETE))
 (94 94 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (88 88 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (75 75 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (60 5 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (30 5 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (10 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (5 5 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:REWRITE SET::IN-SET))
 (5 5 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (5 5 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::COUNT-STRONG-VL-PARSE-LVALUE-2005)
(VL::COUNT-STRONG-VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005)
(VL::FLAG-LEMMA-FOR-FAILS-GRACEFULLY
 (4396 314 (:REWRITE LEN-WHEN-ATOM))
 (2040 1020 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (1988 142 (:REWRITE DEFAULT-CAR))
 (918 918 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (918 918 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (918 459 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (459 459 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (459 459 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (459 459 (:REWRITE CONSP-BY-LEN))
 (232 232 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (142 142 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (43 4 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID))
 (36 6 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (24 24 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (12 12 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (12 6 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (6 6 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (6 6 (:REWRITE SET::IN-SET))
 (6 6 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (6 6 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 )
(VL::FAILS-GRACEFULLY-VL-PARSE-LVALUE-2005)
(VL::FAILS-GRACEFULLY-VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005)
(VL::FLAG-LEMMA-FOR-RESULT
 (1781 130 (:REWRITE LEN-WHEN-ATOM))
 (1032 516 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (759 57 (:REWRITE DEFAULT-CAR))
 (386 386 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (386 386 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (386 193 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (192 192 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (192 192 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (192 192 (:REWRITE CONSP-BY-LEN))
 (122 12 (:REWRITE VL::VL-EXPRLIST-P-WHEN-NOT-CONSP))
 (85 85 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (57 57 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (45 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (44 5 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID))
 (14 14 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (14 7 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (7 7 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (7 7 (:REWRITE SET::IN-SET))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 )
(VL::RESULT-VL-PARSE-LVALUE-2005)
(VL::RESULT-VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005)
(VL::FLAG-LEMMA-FOR-PARSE-LVALUES-TRUE-LISTP)
(VL::PARSE-LVALUES-TRUE-LISTP-VL-PARSE-LVALUE-2005)
(VL::PARSE-LVALUES-TRUE-LISTP-VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005)
(VL::VL-PARSE-LVALUE-2005-FN
 (323 61 (:REWRITE LEN-WHEN-ATOM))
 (233 9 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (229 5 (:DEFINITION VL::VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005-FN))
 (184 6 (:REWRITE VL::NATP-WHEN-POSP))
 (128 128 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (128 128 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (126 2 (:REWRITE NATP-POSP))
 (122 12 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (105 6 (:REWRITE NTH-WITH-LARGE-INDEX))
 (87 6 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (85 10 (:REWRITE DEFAULT-CAR))
 (84 6 (:DEFINITION VL::VL-PARSE-LVALUE-2005-FN))
 (75 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (54 3 (:REWRITE VL::NATP-OF-CAR-WHEN-NAT-LISTP))
 (52 6 (:REWRITE NATP-RW))
 (48 48 (:REWRITE DEFAULT-CDR))
 (48 12 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (39 2 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (37 13 (:REWRITE VL::FAILS-GRACEFULLY-VL-PARSE-1+-LVALUES-SEPARATED-BY-COMMAS-2005))
 (34 2 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (34 2 (:REWRITE VL::NAT-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-NAT-LISTP))
 (30 2 (:REWRITE POSP-RW))
 (29 6 (:REWRITE NTH-WHEN-ATOM))
 (29 6 (:REWRITE VL::NTH-OF-ATOM))
 (28 2 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (26 26 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (26 26 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (26 26 (:LINEAR LEN-WHEN-PREFIXP))
 (26 4 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (24 2 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (22 22 (:REWRITE CONSP-BY-LEN))
 (22 2 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (21 21 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (21 2 (:REWRITE INTEGERP-OF-CAR-WHEN-NAT-LISTP))
 (20 1 (:REWRITE VL::NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (20 1 (:LINEAR LOWER-BOUND-OF-CAR-WHEN-NAT-LISTP))
 (19 2 (:REWRITE INTEGERP-OF-CAR-WHEN-INTEGER-LISTP))
 (18 9 (:REWRITE DEFAULT-<-2))
 (18 1 (:REWRITE VL::POSP-OF-CAR-WHEN-POS-LISTP))
 (17 5 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (17 2 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (15 3 (:REWRITE NAT-LISTP-OF-CDR-WHEN-NAT-LISTP))
 (14 2 (:REWRITE |(< 0 (len x))|))
 (13 13 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (13 13 (:LINEAR INDEX-OF-<-LEN))
 (13 13 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (13 2 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (13 2 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (12 12 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (12 12 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (12 2 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (10 10 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (10 10 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (10 8 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (10 3 (:REWRITE NATP-OF-CAR-WHEN-NAT-LISTP))
 (9 9 (:REWRITE DEFAULT-<-1))
 (9 9 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 8 (:TYPE-PRESCRIPTION POSP))
 (8 8 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (8 4 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (8 2 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (8 2 (:REWRITE VL::POS-LISTP-WHEN-NOT-CONSP))
 (8 2 (:REWRITE VL::NAT-LISTP-WHEN-NOT-CONSP))
 (8 2 (:REWRITE MEMBER-WHEN-ATOM))
 (8 2 (:REWRITE INTEGER-LISTP-WHEN-NOT-CONSP))
 (7 2 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (7 2 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (7 2 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (7 2 (:REWRITE ALISTP-WHEN-ATOM))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (6 6 (:REWRITE NTH-WHEN-ZP))
 (6 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (6 1 (:REWRITE VL::POS-LISTP-OF-CDR-WHEN-POS-LISTP))
 (6 1 (:REWRITE INTEGER-LISTP-OF-CDR-WHEN-INTEGER-LISTP))
 (5 5 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (5 5 (:REWRITE VL::FAILS-GRACEFULLY-VL-PARSE-LVALUE-2005))
 (4 4 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (4 4 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (4 4 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (4 4 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (4 4 (:TYPE-PRESCRIPTION ALISTP))
 (4 4 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (4 4 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (4 4 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (4 4 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (4 4 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (4 4 (:REWRITE VL::POS-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE NTH-WHEN-PREFIXP))
 (4 4 (:REWRITE VL::NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE INTEGER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 4 (:REWRITE FN-CHECK-DEF-FORMALS))
 (4 4 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (4 2 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (4 2 (:REWRITE VL::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (4 2 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (4 2 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (4 2 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (2 2 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (2 2 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE SET::IN-SET))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-NET-LVALUE-2012-AUX-FN
 (247 2 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (223 3 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (215 1 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (211 36 (:REWRITE LEN-WHEN-ATOM))
 (124 3 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (98 98 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (97 5 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (88 88 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (73 1 (:DEFINITION VL::VL-PARSE-NET-LVALUE-2012-AUX-FN))
 (69 2 (:REWRITE LEN-WHEN-PREFIXP))
 (60 5 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (45 1 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (42 4 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (38 3 (:REWRITE NTH-WITH-LARGE-INDEX))
 (32 3 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (32 3 (:REWRITE VL::NATP-WHEN-POSP))
 (30 2 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ASSIGNMENT-PATTERN))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (29 29 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (29 29 (:REWRITE CONSP-BY-LEN))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (27 1 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (17 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (16 16 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (16 16 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (16 16 (:LINEAR LEN-WHEN-PREFIXP))
 (15 15 (:REWRITE DEFAULT-CDR))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (15 1 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-INDEXED-ID-2012))
 (15 1 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-CONCATENATION))
 (14 3 (:REWRITE NTH-WHEN-ATOM))
 (14 3 (:REWRITE VL::NTH-OF-ATOM))
 (14 2 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (14 2 (:REWRITE VL::VL-MATCH-COUNT-STRONG-ON-VALUE))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-CONCATENATION))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (14 1 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (14 1 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (14 1 (:REWRITE NATP-POSP))
 (13 2 (:REWRITE DEFAULT-CAR))
 (13 1 (:REWRITE POSP-RW))
 (12 2 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 1 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (10 10 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (10 10 (:LINEAR INDEX-OF-<-LEN))
 (10 5 (:REWRITE DEFAULT-<-2))
 (9 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 1 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (8 8 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (7 5 (:REWRITE DEFAULT-<-1))
 (7 3 (:REWRITE NATP-RW))
 (7 1 (:REWRITE |(< 0 (len x))|))
 (6 6 (:TYPE-PRESCRIPTION PREFIXP))
 (6 6 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (6 6 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 1 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (6 1 (:REWRITE ALISTP-WHEN-ATOM))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:TYPE-PRESCRIPTION SUBLISTP))
 (3 3 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (3 3 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (3 3 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (3 3 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (3 3 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (3 3 (:REWRITE NTH-WHEN-ZP))
 (3 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TOKENLISTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (2 2 (:REWRITE NTH-WHEN-PREFIXP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION CONS-LISTP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBLISTP-COMPLETE))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-NET-LVALUE-2012-AUX-FAILS-GRACEFULLY
 (1434 717 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (70 5 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-CONCATENATION))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (18 9 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-NET-LVALUE-2012-AUX
 (1066 533 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (70 5 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-CONCATENATION))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (22 11 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (16 16 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 (11 11 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 )
(VL::VL-PARSE-NET-LVALUE-2012-AUX-RESULT
 (1374 687 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (84 6 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (66 18 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (45 5 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (40 8 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-CONCATENATION))
 (24 24 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (10 10 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (10 10 (:REWRITE CONSP-BY-LEN))
 (10 5 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (5 5 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (5 5 (:REWRITE SET::IN-SET))
 (5 5 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (5 5 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 )
(VL::VL-PARSE-NET-LVALUE-2012-AUX-COUNT-STRONG
 (2513 38 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (2001 16 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (1758 172 (:REWRITE LEN-WHEN-ATOM))
 (1484 742 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (1082 55 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (1022 55 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (492 492 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (492 246 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (460 460 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (387 38 (:REWRITE LEN-WHEN-PREFIXP))
 (365 40 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (365 40 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (246 246 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (246 246 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (246 246 (:REWRITE CONSP-BY-LEN))
 (224 16 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (224 16 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (192 16 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (133 133 (:TYPE-PRESCRIPTION PREFIXP))
 (119 15 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (119 15 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (110 110 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (102 102 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (102 102 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (102 102 (:LINEAR LEN-WHEN-PREFIXP))
 (84 6 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (76 38 (:REWRITE DEFAULT-<-2))
 (72 38 (:REWRITE DEFAULT-<-1))
 (64 64 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (64 64 (:LINEAR INDEX-OF-<-LEN))
 (55 55 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (55 55 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (55 55 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (55 55 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (55 55 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (54 54 (:TYPE-PRESCRIPTION SUBLISTP))
 (51 51 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (44 44 (:META CANCEL_PLUS-LESSP-CORRECT))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-CONCATENATION))
 (16 16 (:REWRITE SUBLISTP-COMPLETE))
 (15 15 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 )
(VL::VL-PARSE-NET-LVALUE-2012-FN
 (97 5 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (65 20 (:REWRITE LEN-WHEN-ATOM))
 (45 1 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (42 4 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (38 3 (:REWRITE NTH-WITH-LARGE-INDEX))
 (32 3 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (32 3 (:REWRITE VL::NATP-WHEN-POSP))
 (27 1 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (17 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (15 15 (:REWRITE DEFAULT-CDR))
 (14 3 (:REWRITE NTH-WHEN-ATOM))
 (14 3 (:REWRITE VL::NTH-OF-ATOM))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (14 1 (:REWRITE NATP-POSP))
 (13 2 (:REWRITE DEFAULT-CAR))
 (13 1 (:REWRITE POSP-RW))
 (12 2 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 1 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (9 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 1 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (7 3 (:REWRITE NATP-RW))
 (7 1 (:REWRITE |(< 0 (len x))|))
 (6 6 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 1 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (6 1 (:REWRITE ALISTP-WHEN-ATOM))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:REWRITE NTH-WHEN-ZP))
 (3 3 (:REWRITE DEFAULT-<-1))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TOKENLISTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (2 2 (:REWRITE NTH-WHEN-PREFIXP))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION CONS-LISTP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (1 1 (:REWRITE VL::VL-PARSE-NET-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-NET-LVALUE-2012-FAILS-GRACEFULLY
 (4 4 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-NET-LVALUE-2012
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE VL::VL-PARSE-NET-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-NET-LVALUE-2012-RESULT
 (9 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-NET-LVALUE-2012-COUNT-STRONG
 (189 3 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (157 1 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (80 4 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (71 4 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (60 8 (:REWRITE LEN-WHEN-ATOM))
 (31 3 (:REWRITE LEN-WHEN-PREFIXP))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (11 11 (:TYPE-PRESCRIPTION PREFIXP))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (10 10 (:REWRITE CONSP-BY-LEN))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (8 8 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 3 (:REWRITE DEFAULT-<-1))
 (5 5 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (5 5 (:LINEAR INDEX-OF-<-LEN))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:TYPE-PRESCRIPTION SUBLISTP))
 (4 4 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (3 3 (:REWRITE VL::VL-PARSE-NET-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-NET-LVALUE-FN)
(VL::VL-PARSE-NET-LVALUE-FAILS-GRACEFULLY
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-NET-LVALUE
 (6 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-NET-LVALUE-RESULT
 (21 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (5 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL::VL-PARSE-NET-LVALUE-COUNT-STRONG
 (189 3 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (157 1 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (88 10 (:REWRITE LEN-WHEN-ATOM))
 (80 4 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (71 4 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (31 3 (:REWRITE LEN-WHEN-PREFIXP))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (24 12 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (11 11 (:TYPE-PRESCRIPTION PREFIXP))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (8 8 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 3 (:REWRITE DEFAULT-<-1))
 (5 5 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (5 5 (:LINEAR INDEX-OF-<-LEN))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:TYPE-PRESCRIPTION SUBLISTP))
 (4 4 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-FN
 (97 5 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (65 20 (:REWRITE LEN-WHEN-ATOM))
 (48 48 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (48 48 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (45 1 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (42 4 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (38 3 (:REWRITE NTH-WITH-LARGE-INDEX))
 (32 3 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (32 3 (:REWRITE VL::NATP-WHEN-POSP))
 (27 1 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (17 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (15 15 (:REWRITE DEFAULT-CDR))
 (15 1 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ASSIGNMENT-PATTERN))
 (14 3 (:REWRITE NTH-WHEN-ATOM))
 (14 3 (:REWRITE VL::NTH-OF-ATOM))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (14 1 (:REWRITE NATP-POSP))
 (13 2 (:REWRITE DEFAULT-CAR))
 (13 1 (:REWRITE POSP-RW))
 (12 2 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 1 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (9 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 1 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (7 3 (:REWRITE NATP-RW))
 (7 1 (:REWRITE |(< 0 (len x))|))
 (6 6 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 1 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (6 1 (:REWRITE ALISTP-WHEN-ATOM))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:REWRITE NTH-WHEN-ZP))
 (3 3 (:REWRITE DEFAULT-<-1))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TOKENLISTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (2 2 (:REWRITE NTH-WHEN-PREFIXP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION CONS-LISTP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-FAILS-GRACEFULLY
 (140 70 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 4 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (4 4 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (4 4 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-VARIABLE-LVALUE-2012-AUX
 (45 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-INDEXED-ID-2012))
 (45 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ASSIGNMENT-PATTERN))
 (45 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (24 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (18 18 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (18 9 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (12 12 (:TYPE-PRESCRIPTION ATOM))
 (9 9 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (9 9 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (9 9 (:REWRITE CONSP-BY-LEN))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-RESULT
 (272 136 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (56 4 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (56 4 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (22 22 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (22 11 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (11 11 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (11 11 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (11 11 (:REWRITE CONSP-BY-LEN))
 (9 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-COUNT-STRONG
 (710 60 (:REWRITE LEN-WHEN-ATOM))
 (676 5 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (663 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (612 2 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (315 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (220 5 (:REWRITE LEN-WHEN-PREFIXP))
 (150 150 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (150 75 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (138 138 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (82 41 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (75 75 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (75 75 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (75 75 (:REWRITE CONSP-BY-LEN))
 (72 6 (:REWRITE VL::VL-MATCH-UNDER-IFF))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ASSIGNMENT-PATTERN))
 (36 36 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (36 36 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (36 36 (:LINEAR LEN-WHEN-PREFIXP))
 (31 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-INDEXED-ID-2012))
 (31 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ASSIGNMENT-PATTERN))
 (31 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-INDEXED-ID-2012))
 (28 2 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-ANY-SORT-OF-CONCATENATION))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (24 6 (:REWRITE VL::VL-MATCH-TOKEN-UNDER-IFF))
 (23 23 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (23 23 (:LINEAR INDEX-OF-<-LEN))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (18 18 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (17 17 (:TYPE-PRESCRIPTION PREFIXP))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (14 14 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (10 5 (:REWRITE DEFAULT-<-2))
 (10 5 (:REWRITE DEFAULT-<-1))
 (7 7 (:TYPE-PRESCRIPTION SUBLISTP))
 (7 7 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (7 7 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-DATATYPE-FIX-UNDER-VL-MAYBE-DATATYPE-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::VL-ATTS-FIX-UNDER-VL-ATTS-EQUIV))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (2 2 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-FN
 (97 5 (:REWRITE VL::NTH-WHEN-TOO-BIG))
 (65 20 (:REWRITE LEN-WHEN-ATOM))
 (45 1 (:REWRITE VL::VL-TOKENLIST-P-WHEN-NOT-CONSP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (44 44 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (42 4 (:LINEAR VL::LEN-OF-CDR-STRONG))
 (38 3 (:REWRITE NTH-WITH-LARGE-INDEX))
 (32 3 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (32 3 (:REWRITE VL::NATP-WHEN-POSP))
 (27 1 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (17 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE-BACKCHAIN-1))
 (15 15 (:REWRITE DEFAULT-CDR))
 (14 3 (:REWRITE NTH-WHEN-ATOM))
 (14 3 (:REWRITE VL::NTH-OF-ATOM))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (14 1 (:REWRITE NATP-POSP))
 (13 2 (:REWRITE DEFAULT-CAR))
 (13 1 (:REWRITE POSP-RW))
 (12 2 (:REWRITE VL::INTEGERP-WHEN-NATP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 1 (:REWRITE VL::VL-TOKENLIST-P-OF-CAR-WHEN-VL-TOKENLISTLIST-P))
 (9 1 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (9 1 (:REWRITE VL::ALISTP-WHEN-ALL-HAVE-LEN))
 (8 8 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (8 8 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (8 8 (:LINEAR LEN-WHEN-PREFIXP))
 (7 3 (:REWRITE NATP-RW))
 (7 1 (:REWRITE |(< 0 (len x))|))
 (6 6 (:REWRITE VL::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 1 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (6 1 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (6 1 (:REWRITE VL::ALL-HAVE-LEN-WHEN-NOT-CONSP))
 (6 1 (:REWRITE ALISTP-WHEN-ATOM))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 4 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (4 4 (:LINEAR INDEX-OF-<-LEN))
 (4 4 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE VL::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (3 3 (:REWRITE NTH-WHEN-ZP))
 (3 3 (:REWRITE DEFAULT-<-1))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (2 2 (:TYPE-PRESCRIPTION VL::VL-TOKENLISTLIST-P))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION VL::ALL-HAVE-LEN))
 (2 2 (:TYPE-PRESCRIPTION ALISTP))
 (2 2 (:REWRITE VL::VL-TOKENLISTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::VL-TOKENLIST-P-WHEN-MEMBER-EQUAL-OF-VL-TOKENLISTLIST-P))
 (2 2 (:REWRITE VL::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE VL::SYMBOL-LISTP-OF-ALIST-VALS-OF-VL-FULL-KEYWORD-TABLE))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE VL::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (2 2 (:REWRITE NTH-WHEN-PREFIXP))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (2 2 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (2 1 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION CONSP-MEMBER-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION CONS-LISTP))
 (1 1 (:TYPE-PRESCRIPTION BOOLEAN-LISTP))
 (1 1 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (1 1 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-FAILS-GRACEFULLY
 (4 4 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE-QUOTED-CONSTANT VL::VL-MAYBE-EXPR-FIX-UNDER-VL-MAYBE-EXPR-EQUIV))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-VARIABLE-LVALUE-2012
 (3 3 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (3 3 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (3 3 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-RESULT
 (9 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (5 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-2012-COUNT-STRONG
 (189 3 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (157 1 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (80 4 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (71 4 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (60 8 (:REWRITE LEN-WHEN-ATOM))
 (31 3 (:REWRITE LEN-WHEN-PREFIXP))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (20 20 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (20 10 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (11 11 (:TYPE-PRESCRIPTION PREFIXP))
 (10 10 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (10 10 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (10 10 (:REWRITE CONSP-BY-LEN))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (8 8 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 3 (:REWRITE DEFAULT-<-1))
 (5 5 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (5 5 (:LINEAR INDEX-OF-<-LEN))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:TYPE-PRESCRIPTION SUBLISTP))
 (4 4 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (3 3 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-2012-AUX-FAILS-GRACEFULLY))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 2 (:REWRITE-QUOTED-CONSTANT SYMBOL-FIX-UNDER-SYMBOL-EQUIV))
 (2 2 (:REWRITE-QUOTED-CONSTANT VL::MAYBE-STRING-FIX-UNDER-MAYBE-STRING-EQUIV))
 (1 1 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-FN)
(VL::VL-PARSE-VARIABLE-LVALUE-FAILS-GRACEFULLY
 (2 1 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (1 1 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (1 1 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-VARIABLE-LVALUE
 (6 3 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (3 3 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-RESULT
 (21 7 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (8 2 (:REWRITE VL::VL-EXPR-P-WHEN-VL-MAYBE-EXPR-P))
 (7 7 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (7 7 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (5 1 (:REWRITE VL::VL-MAYBE-EXPR-P-WHEN-VL-EXPR-P))
 (3 3 (:TYPE-PRESCRIPTION VL::VL-MAYBE-EXPR-P))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (1 1 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(VL::VL-PARSE-VARIABLE-LVALUE-COUNT-STRONG
 (189 3 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (157 1 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (88 10 (:REWRITE LEN-WHEN-ATOM))
 (80 4 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (71 4 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (31 3 (:REWRITE LEN-WHEN-PREFIXP))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (30 4 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (24 24 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (24 12 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (14 1 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (12 12 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (12 12 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (12 12 (:REWRITE CONSP-BY-LEN))
 (11 11 (:TYPE-PRESCRIPTION PREFIXP))
 (10 10 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (10 10 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (10 10 (:LINEAR LEN-WHEN-PREFIXP))
 (8 8 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (6 3 (:REWRITE DEFAULT-<-2))
 (6 3 (:REWRITE DEFAULT-<-1))
 (5 5 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (5 5 (:LINEAR INDEX-OF-<-LEN))
 (5 5 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (4 4 (:TYPE-PRESCRIPTION SUBLISTP))
 (4 4 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (4 4 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (4 4 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (4 2 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (3 3 (:META CANCEL_PLUS-LESSP-CORRECT))
 (2 2 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (2 2 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (1 1 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-NET-ASSIGNMENT-FN)
(VL::VL-PARSE-NET-ASSIGNMENT-FAILS-GRACEFULLY
 (70 35 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-NET-ASSIGNMENT
 (45 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (12 6 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (6 6 (:TYPE-PRESCRIPTION ATOM))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:REWRITE VL::VL-PARSE-NET-LVALUE-FAILS-GRACEFULLY))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-NET-ASSIGNMENT-RESULT
 (18 4 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (16 4 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (8 4 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (4 4 (:TYPE-PRESCRIPTION ATOM))
 (4 4 (:REWRITE VL::VL-PARSE-NET-LVALUE-FAILS-GRACEFULLY))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL::VL-PARSE-NET-ASSIGNMENT-COUNT-STRONG
 (682 58 (:REWRITE LEN-WHEN-ATOM))
 (680 5 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (652 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (616 2 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (334 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (205 5 (:REWRITE LEN-WHEN-PREFIXP))
 (126 126 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (126 126 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (126 63 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (63 63 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (63 63 (:REWRITE CONSP-BY-LEN))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (36 36 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (36 36 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (36 36 (:LINEAR LEN-WHEN-PREFIXP))
 (31 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (24 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (24 6 (:REWRITE VL::VL-MATCH-TOKEN-UNDER-IFF))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (18 18 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (18 18 (:LINEAR INDEX-OF-<-LEN))
 (18 18 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (17 17 (:TYPE-PRESCRIPTION PREFIXP))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (14 14 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (12 12 (:TYPE-PRESCRIPTION ATOM))
 (10 5 (:REWRITE DEFAULT-<-2))
 (10 5 (:REWRITE DEFAULT-<-1))
 (7 7 (:TYPE-PRESCRIPTION SUBLISTP))
 (7 7 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 3 (:REWRITE VL::VL-PARSE-NET-LVALUE-FAILS-GRACEFULLY))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (2 2 (:REWRITE SUBLISTP-COMPLETE))
 )
(VL::VL-PARSE-VARIABLE-ASSIGNMENT-FN)
(VL::VL-PARSE-VARIABLE-ASSIGNMENT-FAILS-GRACEFULLY
 (70 35 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 )
(VL::VL-WARNING-P-OF-VL-PARSE-VARIABLE-ASSIGNMENT
 (45 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (12 6 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (6 6 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (6 6 (:TYPE-PRESCRIPTION ATOM))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (6 6 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (6 3 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-FAILS-GRACEFULLY))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (3 3 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (3 3 (:REWRITE CONSP-BY-LEN))
 (2 2 (:REWRITE VL::VL-WARNING-P-WHEN-MEMBER-EQUAL-OF-VL-WARNINGLIST-P))
 )
(VL::VL-PARSE-VARIABLE-ASSIGNMENT-RESULT
 (18 4 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (16 4 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (14 1 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (8 4 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (4 4 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (4 4 (:TYPE-PRESCRIPTION ATOM))
 (4 4 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-FAILS-GRACEFULLY))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:REWRITE DEFAULT-CDR))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (1 1 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL::VL-PARSE-VARIABLE-ASSIGNMENT-COUNT-STRONG
 (682 58 (:REWRITE LEN-WHEN-ATOM))
 (680 5 (:REWRITE LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (652 7 (:REWRITE PREFIXP-WHEN-EQUAL-LENGTHS))
 (616 2 (:REWRITE SUBLISTP-WHEN-PREFIXP))
 (334 7 (:REWRITE PREFIXP-WHEN-PREFIXP))
 (205 5 (:REWRITE LEN-WHEN-PREFIXP))
 (126 126 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (126 126 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (126 63 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (63 63 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IFDEF-USE-MAP-P . 1))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEFINES-P . 1))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 2))
 (63 63 (:REWRITE VL::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DEF-USE-MAP-P . 1))
 (63 63 (:REWRITE CONSP-BY-LEN))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-RIGHT))
 (44 5 (:REWRITE PREFIXP-WHEN-NOT-CONSP-LEFT))
 (42 3 (:REWRITE VL::VL-PARSE-EXPRESSION-EOF-VL-PARSE-EXPRESSION))
 (36 36 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (36 36 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (36 36 (:LINEAR LEN-WHEN-PREFIXP))
 (31 3 (:REWRITE VL::VL-PARSE-EXPRESSION-VAL-WHEN-ERROR-VL-PARSE-EXPRESSION))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-RIGHT))
 (28 2 (:REWRITE SUBLISTP-WHEN-ATOM-LEFT))
 (24 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?-FN-WHEN-ATOM-OF-TOKENS))
 (24 6 (:REWRITE VL::VL-MATCH-TOKEN-UNDER-IFF))
 (21 3 (:REWRITE VL::VL-MATCH-TOKEN-FAILS-GRACEFULLY))
 (18 18 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (18 18 (:LINEAR INDEX-OF-<-LEN))
 (18 18 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (17 17 (:TYPE-PRESCRIPTION PREFIXP))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-RIGHT))
 (15 2 (:REWRITE LIST-EQUIV-WHEN-ATOM-LEFT))
 (14 14 (:REWRITE VL::PREFIXP-WHEN-MEMBER-EQUAL-OF-PREFIX-OF-EACHP))
 (12 12 (:TYPE-PRESCRIPTION VL::VL-IS-TOKEN?$INLINE))
 (12 12 (:TYPE-PRESCRIPTION ATOM))
 (10 5 (:REWRITE DEFAULT-<-2))
 (10 5 (:REWRITE DEFAULT-<-1))
 (7 7 (:TYPE-PRESCRIPTION SUBLISTP))
 (7 7 (:REWRITE VL::TRANSITIVITY-OF-PREFIXP))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 2))
 (7 7 (:REWRITE PREFIXP-TRANSITIVE . 1))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 2))
 (7 7 (:REWRITE PREFIXP-ONE-WAY-OR-ANOTHER . 1))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (3 3 (:REWRITE VL::VL-PARSE-VARIABLE-LVALUE-FAILS-GRACEFULLY))
 (2 2 (:TYPE-PRESCRIPTION LIST-EQUIV))
 (2 2 (:REWRITE SUBLISTP-COMPLETE))
 )
