(VL2014::VL-FIND-DESCRIPTION-FOR-LOC
 (642 24 (:REWRITE VL2014::VL-DESCRIPTIONLIST-P-WHEN-SUBLIST))
 (66 66 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (66 66 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (66 33 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (38 3 (:REWRITE VL2014::VL-UDPLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-TYPEDEFLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-TASKDECLLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-PROGRAMLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-PACKAGELIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-INTERFACELIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-IMPORTLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-FWDTYPEDEFLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-FUNDECLLIST-P-WHEN-NOT-CONSP))
 (38 3 (:REWRITE VL2014::VL-CONFIGLIST-P-WHEN-NOT-CONSP))
 (37 37 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (33 33 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (33 33 (:REWRITE CONSP-BY-LEN))
 (18 1 (:REWRITE VL2014::VL-DESCRIPTIONLIST-P-WHEN-NOT-CONSP))
 (12 12 (:REWRITE DEFAULT-CAR))
 (12 12 (:REWRITE CONSP-OF-CDR-BY-LEN))
 (12 12 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 4 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (8 2 (:REWRITE VL2014::MEMBER-EQUAL-WHEN-MEMBER-EQUAL-OF-CDR-UNDER-IFF))
 (8 1 (:REWRITE VL2014::VL-PARAMDECLLIST-P-OF-CDR-WHEN-VL-PARAMDECLLIST-P))
 (6 6 (:REWRITE VL2014::VL-UDPLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-TYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-TASKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-PROGRAMLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-LIST-P))
 (6 6 (:REWRITE VL2014::VL-PACKAGELIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-LOCATION-P-WHEN-MEMBER-EQUAL-OF-VL-LOCATIONLIST-P))
 (6 6 (:REWRITE VL2014::VL-INTERFACELIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-IMPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-FWDTYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-FUNDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (6 6 (:REWRITE VL2014::VL-CONFIGLIST-P-WHEN-SUBSETP-EQUAL))
 (6 1 (:REWRITE VL2014::VL-UDPLIST-P-OF-CDR-WHEN-VL-UDPLIST-P))
 (6 1 (:REWRITE VL2014::VL-TYPEDEFLIST-P-OF-CDR-WHEN-VL-TYPEDEFLIST-P))
 (6 1 (:REWRITE VL2014::VL-TASKDECLLIST-P-OF-CDR-WHEN-VL-TASKDECLLIST-P))
 (6 1 (:REWRITE VL2014::VL-PROGRAMLIST-P-OF-CDR-WHEN-VL-PROGRAMLIST-P))
 (6 1 (:REWRITE VL2014::VL-PACKAGELIST-P-OF-CDR-WHEN-VL-PACKAGELIST-P))
 (6 1 (:REWRITE VL2014::VL-MODULELIST-P-OF-CDR-WHEN-VL-MODULELIST-P))
 (6 1 (:REWRITE VL2014::VL-INTERFACELIST-P-OF-CDR-WHEN-VL-INTERFACELIST-P))
 (6 1 (:REWRITE VL2014::VL-IMPORTLIST-P-OF-CDR-WHEN-VL-IMPORTLIST-P))
 (6 1 (:REWRITE VL2014::VL-FWDTYPEDEFLIST-P-OF-CDR-WHEN-VL-FWDTYPEDEFLIST-P))
 (6 1 (:REWRITE VL2014::VL-FUNDECLLIST-P-OF-CDR-WHEN-VL-FUNDECLLIST-P))
 (6 1 (:REWRITE VL2014::VL-CONFIGLIST-P-OF-CDR-WHEN-VL-CONFIGLIST-P))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE MEMBER-EQUAL-WHEN-ALL-EQUALP))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(VL2014::RETURN-TYPE-OF-VL-FIND-DESCRIPTION-FOR-LOC
 (197 1 (:REWRITE VL2014::VL-DESCRIPTION-FIX-WHEN-VL-DESCRIPTION-P))
 (80 1 (:REWRITE VL2014::VL-DESCRIPTION-P-OF-CAR-WHEN-VL-DESCRIPTIONLIST-P))
 (74 12 (:REWRITE VL2014::VL-DESCRIPTIONLIST-P-WHEN-SUBLIST))
 (33 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-PARAMDECL-P))
 (33 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-IMPORT-P))
 (31 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-MODULE-P))
 (30 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-TYPEDEF-P))
 (30 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-TASKDECL-P))
 (30 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-FWDTYPEDEF-P))
 (30 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-FUNDECL-P))
 (24 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-UDP-P))
 (24 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-PROGRAM-P))
 (24 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-PACKAGE-P))
 (24 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-INTERFACE-P))
 (24 3 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-VL-CONFIG-P))
 (11 11 (:REWRITE DEFAULT-CAR))
 (11 11 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (8 8 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-MEMBER-EQUAL-OF-VL-DESCRIPTIONLIST-P))
 (7 3 (:REWRITE VL2014::VL-MODULE-P-WHEN-VL-MAYBE-MODULE-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-UDP-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-TASKDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-PROGRAM-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-PARAMDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGE-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-MODULE-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACE-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-IMPORT-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEF-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-FUNDECL-P))
 (6 6 (:TYPE-PRESCRIPTION VL2014::VL-CONFIG-P))
 (6 6 (:REWRITE VL2014::VL-UDP-P-WHEN-MEMBER-EQUAL-OF-VL-UDPLIST-P))
 (6 6 (:REWRITE VL2014::VL-TYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-TYPEDEFLIST-P))
 (6 6 (:REWRITE VL2014::VL-TASKDECL-P-WHEN-MEMBER-EQUAL-OF-VL-TASKDECLLIST-P))
 (6 6 (:REWRITE VL2014::VL-PROGRAM-P-WHEN-MEMBER-EQUAL-OF-VL-PROGRAMLIST-P))
 (6 6 (:REWRITE VL2014::VL-PARAMDECL-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-P))
 (6 6 (:REWRITE VL2014::VL-PACKAGE-P-WHEN-MEMBER-EQUAL-OF-VL-PACKAGELIST-P))
 (6 6 (:REWRITE VL2014::VL-MODULE-P-WHEN-MEMBER-EQUAL-OF-VL-MODULELIST-P))
 (6 6 (:REWRITE VL2014::VL-INTERFACE-P-WHEN-MEMBER-EQUAL-OF-VL-INTERFACELIST-P))
 (6 6 (:REWRITE VL2014::VL-IMPORT-P-WHEN-MEMBER-EQUAL-OF-VL-IMPORTLIST-P))
 (6 6 (:REWRITE VL2014::VL-FWDTYPEDEF-P-WHEN-MEMBER-EQUAL-OF-VL-FWDTYPEDEFLIST-P))
 (6 6 (:REWRITE VL2014::VL-FUNDECL-P-WHEN-MEMBER-EQUAL-OF-VL-FUNDECLLIST-P))
 (6 6 (:REWRITE VL2014::VL-CONFIG-P-WHEN-MEMBER-EQUAL-OF-VL-CONFIGLIST-P))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (4 4 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (4 2 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-UDPLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-TYPEDEFLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-TASKDECLLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-PROGRAMLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-PARAMDECLLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-PACKAGELIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-MODULELIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-MAYBE-MODULE-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-INTERFACELIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-IMPORTLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-FWDTYPEDEFLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-FUNDECLLIST-P))
 (3 3 (:TYPE-PRESCRIPTION VL2014::VL-CONFIGLIST-P))
 (3 3 (:REWRITE VL2014::VL-UDP-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-TYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-TASKDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-PROGRAM-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-PARAMDECL-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL2014::VL-PACKAGE-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-MODULE-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-INTERFACE-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-IMPORT-P-BY-TAG-WHEN-VL-BLOCKITEM-P))
 (3 3 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-FWDTYPEDEF-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-MODELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (3 3 (:REWRITE VL2014::VL-FUNDECL-P-BY-TAG-WHEN-VL-CTXELEMENT-P))
 (3 3 (:REWRITE VL2014::VL-CONFIG-P-BY-TAG-WHEN-VL-DESCRIPTION-P))
 (2 2 (:TYPE-PRESCRIPTION VL2014::VL-DESCRIPTIONLIST-P))
 (2 2 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (2 2 (:REWRITE VL2014::VL-UDPLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-TYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-TASKDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-PROGRAMLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-MEMBER-EQUAL-OF-VL-PARAMDECLLIST-LIST-P))
 (2 2 (:REWRITE VL2014::VL-PACKAGELIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-INTERFACELIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-IMPORTLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-FWDTYPEDEFLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-FUNDECLLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-DESCRIPTIONLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::VL-DESCRIPTION-P-WHEN-INVALID-TAG))
 (2 2 (:REWRITE VL2014::VL-CONFIGLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (2 2 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (2 2 (:REWRITE CONSP-BY-LEN))
 (2 1 (:REWRITE VL2014::VL-UDP-P-OF-CAR-WHEN-VL-UDPLIST-P))
 (2 1 (:REWRITE VL2014::VL-TYPEDEF-P-OF-CAR-WHEN-VL-TYPEDEFLIST-P))
 (2 1 (:REWRITE VL2014::VL-TASKDECL-P-OF-CAR-WHEN-VL-TASKDECLLIST-P))
 (2 1 (:REWRITE VL2014::VL-PROGRAM-P-OF-CAR-WHEN-VL-PROGRAMLIST-P))
 (2 1 (:REWRITE VL2014::VL-PARAMDECL-P-OF-CAR-WHEN-VL-PARAMDECLLIST-P))
 (2 1 (:REWRITE VL2014::VL-PACKAGE-P-OF-CAR-WHEN-VL-PACKAGELIST-P))
 (2 1 (:REWRITE VL2014::VL-MODULE-P-OF-CAR-WHEN-VL-MODULELIST-P))
 (2 1 (:REWRITE VL2014::VL-INTERFACE-P-OF-CAR-WHEN-VL-INTERFACELIST-P))
 (2 1 (:REWRITE VL2014::VL-IMPORT-P-OF-CAR-WHEN-VL-IMPORTLIST-P))
 (2 1 (:REWRITE VL2014::VL-FWDTYPEDEF-P-OF-CAR-WHEN-VL-FWDTYPEDEFLIST-P))
 (2 1 (:REWRITE VL2014::VL-FUNDECL-P-OF-CAR-WHEN-VL-FUNDECLLIST-P))
 (2 1 (:REWRITE VL2014::VL-CONFIG-P-OF-CAR-WHEN-VL-CONFIGLIST-P))
 (1 1 (:REWRITE VL2014::VL-UDPLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-TYPEDEFLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-TASKDECLLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-PROGRAMLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-PARAMDECLLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-PACKAGELIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-MODULELIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-INTERFACELIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-IMPORTLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-FWDTYPEDEFLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-FUNDECLLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-DESCRIPTIONLIST-P-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::VL-CONFIGLIST-P-WHEN-NOT-CONSP))
 )
(VL2014::VLS-SHOWLOC-PRINT-BC-FN
 (227 17 (:REWRITE NATP-POSP))
 (122 122 (:TYPE-PRESCRIPTION |x < y  =>  0 < y-x|))
 (110 8 (:REWRITE VL2014::NATP-WHEN-POSP))
 (72 1 (:REWRITE VL2014::STRINGP-WHEN-TRUE-LISTP))
 (55 17 (:REWRITE POSP-RW))
 (54 8 (:REWRITE NATP-RW))
 (38 38 (:TYPE-PRESCRIPTION NATP))
 (34 34 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (29 23 (:REWRITE DEFAULT-+-2))
 (24 24 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (24 12 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (23 23 (:REWRITE DEFAULT-+-1))
 (18 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (16 16 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (16 16 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 7 (:REWRITE VL2014::|(< c2 (+ c1 a))|))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE))
 (12 9 (:REWRITE DEFAULT-<-1))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (11 11 (:META CANCEL_PLUS-LESSP-CORRECT))
 (11 9 (:REWRITE DEFAULT-<-2))
 (8 2 (:REWRITE <-+-NEGATIVE-0-1))
 (8 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (6 6 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-CHARACTERP))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-CHARACTER-LISTP))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-ACL2-NUMBERP))
 (6 2 (:REWRITE VL2014::NEGATIVE-WHEN-NATP))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 1 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE OMAP::SETP-WHEN-MAPP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-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 OMAP::MAPP))
 (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 BOOLEAN-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL2014::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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL2014::VLS-SHOWLOC-PRINT-AC-FN
 (80 80 (:TYPE-PRESCRIPTION |x < y  =>  0 < y-x|))
 (72 1 (:REWRITE VL2014::STRINGP-WHEN-TRUE-LISTP))
 (48 4 (:REWRITE NATP-POSP))
 (36 30 (:REWRITE DEFAULT-+-2))
 (30 30 (:REWRITE DEFAULT-+-1))
 (24 2 (:REWRITE VL2014::NATP-WHEN-POSP))
 (18 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE))
 (12 4 (:REWRITE POSP-RW))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 10 (:TYPE-PRESCRIPTION NATP))
 (10 2 (:REWRITE NATP-RW))
 (8 8 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (8 8 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (8 5 (:REWRITE DEFAULT-<-1))
 (8 4 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (8 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (7 5 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-CHARACTERP))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-CHARACTER-LISTP))
 (6 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-ACL2-NUMBERP))
 (5 5 (:REWRITE VL2014::|(< c2 (+ c1 a))|))
 (5 5 (:META CANCEL_PLUS-LESSP-CORRECT))
 (4 4 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (4 4 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 4 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (4 1 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (2 2 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE OMAP::SETP-WHEN-MAPP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 1 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-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 OMAP::MAPP))
 (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 BOOLEAN-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL2014::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 VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(VL2014::VLS-SHOWLOC-PRINT-GOAL-FN
 (221 1 (:DEFINITION NTH))
 (106 17 (:REWRITE LEN-WHEN-ATOM))
 (103 2 (:REWRITE VL2014::NTH-WHEN-TOO-BIG))
 (85 13 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (79 2 (:REWRITE NTH-WITH-LARGE-INDEX))
 (72 1 (:REWRITE VL2014::STRINGP-WHEN-TRUE-LISTP))
 (66 2 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (48 6 (:REWRITE STR::EXPLODE-UNDER-IFF))
 (33 22 (:REWRITE DEFAULT-<-2))
 (32 32 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (32 3 (:REWRITE VL2014::NATP-WHEN-POSP))
 (32 3 (:LINEAR VL2014::LEN-OF-CDR-STRONG))
 (26 26 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (26 26 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (26 2 (:REWRITE NTH-WHEN-ATOM))
 (26 2 (:REWRITE VL2014::NTH-OF-ATOM))
 (25 22 (:REWRITE DEFAULT-<-1))
 (23 5 (:REWRITE ZP-OPEN))
 (22 22 (:META CANCEL_PLUS-LESSP-CORRECT))
 (22 7 (:LINEAR STR::STRRPOS-UPPER-BOUND-STRONG))
 (21 21 (:TYPE-PRESCRIPTION |x < y  =>  0 < -x+y|))
 (20 20 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (20 20 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (20 20 (:LINEAR LEN-WHEN-PREFIXP))
 (18 2 (:REWRITE VL2014::NTH-WHEN-ZP))
 (18 2 (:REWRITE NTH-WHEN-ZP))
 (18 1 (:REWRITE TRUE-LISTP-WHEN-ATOM))
 (17 17 (:REWRITE SET::DOUBLE-CONTAINMENT))
 (17 17 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (17 17 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (14 14 (:TYPE-PRESCRIPTION TRUE-LISTP-SUBSEQ-TYPE-PRESCRIPTION))
 (14 14 (:LINEAR STR::STRRPOS-UPPER-BOUND-STRONGER))
 (14 1 (:REWRITE TRUE-LISTP-WHEN-STRING-LISTP-REWRITE))
 (14 1 (:REWRITE NATP-POSP))
 (13 1 (:REWRITE TRUE-LISTP-WHEN-SYMBOL-LISTP-REWRITE))
 (13 1 (:REWRITE POSP-RW))
 (12 2 (:REWRITE VL2014::INTEGERP-WHEN-NATP))
 (12 1 (:REWRITE TRUE-LISTP-WHEN-CHARACTER-LISTP-REWRITE))
 (10 10 (:LINEAR LEQ-POSITION-EQUAL-LEN))
 (10 10 (:LINEAR INDEX-OF-<-LEN))
 (10 10 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (9 9 (:REWRITE DEFAULT-CDR))
 (9 9 (:REWRITE DEFAULT-+-2))
 (9 9 (:REWRITE DEFAULT-+-1))
 (9 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-CHARACTER-LISTP))
 (9 3 (:REWRITE VL2014::VL-PRINTABLE-P-WHEN-ACL2-NUMBERP))
 (9 3 (:REWRITE VL2014::|(< c2 (+ c1 a))|))
 (8 1 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (7 3 (:REWRITE NATP-RW))
 (6 6 (:TYPE-PRESCRIPTION ZP))
 (6 6 (:REWRITE VL2014::NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:REWRITE INTEGERP-WHEN-MEMBER-EQUAL-OF-INTEGER-LISTP))
 (4 1 (:REWRITE VL2014::STRING-LISTP-WHEN-NO-NILS-IN-VL-MAYBE-STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (2 2 (:TYPE-PRESCRIPTION STRING-LISTP))
 (2 2 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (2 2 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (2 2 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (2 2 (:REWRITE SYMBOL-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (2 2 (:REWRITE STRINGP-WHEN-MEMBER-EQUAL-OF-STRING-LISTP))
 (2 2 (:REWRITE STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (2 2 (:REWRITE VL2014::POSP-WHEN-MEMBER-EQUAL-OF-POS-LISTP))
 (2 2 (:REWRITE CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-MEMBER-EQUAL))
 (2 1 (:REWRITE SYMBOL-LISTP-WHEN-BOOLEAN-LISTP))
 (2 1 (:REWRITE OMAP::SETP-WHEN-MAPP))
 (2 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (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 OMAP::MAPP))
 (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 BOOLEAN-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE TRUE-LISTP-WHEN-SIGNED-BYTE-LISTP))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 2))
 (1 1 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-SUBSETP-EQUAL-OF-SYMBOL-LISTP . 1))
 (1 1 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 2))
 (1 1 (:REWRITE VL2014::STRING-LISTP-WHEN-SUBSETP-EQUAL-OF-STRING-LISTP . 1))
 (1 1 (:REWRITE STRING-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE NTH-WHEN-PREFIXP))
 (1 1 (:REWRITE VL2014::NTH-OF-EXPLODE-WHEN-CHAR-FIX-KNOWN))
 (1 1 (:REWRITE SET::IN-SET))
 (1 1 (:REWRITE FN-CHECK-DEF-FORMALS))
 (1 1 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-DESCALIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (1 1 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (1 1 (:REWRITE CONSP-BY-LEN))
 (1 1 (:REWRITE CHARACTER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CAR-WHEN-ALL-EQUALP))
 )
(VL2014::VLS-SHOWLOC-PRINT-FN)
