(STV-AUTOHYPS-AUX
 (201 4 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-VL-EMODWIRELIST-P))
 (104 8 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-NOT-CONSP))
 (53 4 (:REWRITE VL2014::VL-EMODWIRELIST-P-OF-CDR-WHEN-VL-EMODWIRELIST-P))
 (40 8 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-ESIM-VL-IOPATTERN-ENTRY-P))
 (29 1 (:REWRITE PROCESSED-STV-P-WHEN-WRONG-TAG))
 (16 16 (:TYPE-PRESCRIPTION VL2014::ESIM-VL-IOPATTERN-ENTRY-P))
 (16 16 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-SUBSETP-EQUAL))
 (16 16 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-MEMBER-EQUAL-OF-VL-EMODWIRELISTLIST-P))
 (16 16 (:REWRITE VL2014::ESIM-VL-IOPATTERN-ENTRY-P-WHEN-MEMBER-EQUAL-OF-ESIM-VL-IOPATTERN-ENTRYLIST-P))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 8 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 2))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 1))
 (6 6 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP))
 (4 4 (:REWRITE FN-CHECK-DEF-FORMALS))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-PSCONFIG-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (2 1 (:REWRITE TAG-WHEN-STVDATA-P))
 (2 1 (:REWRITE TAG-WHEN-PROCESSED-STV-P))
 (2 1 (:REWRITE TAG-WHEN-COMPILED-STV-P))
 (2 1 (:REWRITE VL2014::EQUAL-WHEN-VL-EMODWIRE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-PSCONFIG-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EMODWIRE-P))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP-OF-STVDATA-P))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP-OF-COMPILED-STV-P))
 )
(STV-AUTOHYPS)
(STV-AUTOBINDS-AUX
 (201 4 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-VL-EMODWIRELIST-P))
 (104 8 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-NOT-CONSP))
 (53 4 (:REWRITE VL2014::VL-EMODWIRELIST-P-OF-CDR-WHEN-VL-EMODWIRELIST-P))
 (40 8 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-ESIM-VL-IOPATTERN-ENTRY-P))
 (29 1 (:REWRITE PROCESSED-STV-P-WHEN-WRONG-TAG))
 (16 16 (:TYPE-PRESCRIPTION VL2014::ESIM-VL-IOPATTERN-ENTRY-P))
 (16 16 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-SUBSETP-EQUAL))
 (16 16 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-MEMBER-EQUAL-OF-VL-EMODWIRELISTLIST-P))
 (16 16 (:REWRITE VL2014::ESIM-VL-IOPATTERN-ENTRY-P-WHEN-MEMBER-EQUAL-OF-ESIM-VL-IOPATTERN-ENTRYLIST-P))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (14 14 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (8 8 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (7 7 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 2))
 (7 7 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 1))
 (6 6 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP))
 (4 4 (:REWRITE FN-CHECK-DEF-FORMALS))
 (4 4 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-PSCONFIG-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (2 1 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (2 1 (:REWRITE TAG-WHEN-STVDATA-P))
 (2 1 (:REWRITE TAG-WHEN-PROCESSED-STV-P))
 (2 1 (:REWRITE TAG-WHEN-COMPILED-STV-P))
 (2 1 (:REWRITE VL2014::EQUAL-WHEN-VL-EMODWIRE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-PSCONFIG-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (1 1 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EMODWIRE-P))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP-OF-STVDATA-P))
 (1 1 (:TYPE-PRESCRIPTION BOOLEANP-OF-COMPILED-STV-P))
 )
(STV-AUTOBINDS)
(STV-AUTOINS-AUX)
(STV-AUTOINS)
(DEFSTV-MAIN-FN
 (13092 216 (:DEFINITION TRUE-LISTP))
 (3248 216 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (2600 432 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (1300 216 (:REWRITE VL2014::ALISTP-WHEN-VL-ATTS-P-REWRITE))
 (1296 216 (:REWRITE VL2014::TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (1296 216 (:REWRITE VL2014::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (928 928 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (864 864 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (864 864 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (864 864 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (864 432 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (864 216 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (825 30 (:REWRITE STVDATA-P-WHEN-WRONG-TAG))
 (432 432 (:TYPE-PRESCRIPTION VL2014::VL-COMMENTMAP-P))
 (432 432 (:TYPE-PRESCRIPTION VL2014::VL-ATTS-P))
 (432 432 (:TYPE-PRESCRIPTION VL2014::TRUE-LIST-LISTP))
 (432 432 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (432 432 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (432 432 (:TYPE-PRESCRIPTION ALISTP))
 (432 432 (:REWRITE VL2014::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (432 432 (:REWRITE VL2014::VL-ATTS-P-WHEN-SUBSETP-EQUAL))
 (432 432 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (432 432 (:REWRITE SET::IN-SET))
 (432 432 (:REWRITE DEFAULT-CDR))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (432 432 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (432 432 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 2))
 (432 432 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 1))
 (432 216 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (432 216 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (216 216 (:TYPE-PRESCRIPTION CONS-LISTP))
 (216 216 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (216 216 (:REWRITE VL2014::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (216 216 (:REWRITE VL2014::VL-ATTS-P-WHEN-NOT-CONSP))
 (216 216 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (216 216 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (216 216 (:REWRITE DEFAULT-CAR))
 (216 216 (:REWRITE ALISTP-WHEN-ATOM))
 (216 216 (:REWRITE VL2014::ALISTP-WHEN-ALL-HAVE-LEN))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-PSCONFIG-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (60 15 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (60 15 (:REWRITE TAG-WHEN-STVDATA-P))
 (60 15 (:REWRITE TAG-WHEN-PROCESSED-STV-P))
 (60 15 (:REWRITE TAG-WHEN-COMPILED-STV-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-PSCONFIG-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (15 15 (:TYPE-PRESCRIPTION BOOLEANP-OF-PROCESSED-STV-P))
 (15 15 (:REWRITE TAG-OF-STVDATA))
 )
(RETURN-TYPE-OF-DEFSTV-MAIN
 (13200 132 (:DEFINITION TRUE-LIST-LISTP))
 (7788 132 (:DEFINITION TRUE-LISTP))
 (1980 132 (:REWRITE CONSP-OF-CAR-WHEN-ALISTP))
 (1584 264 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (974 17 (:REWRITE PROCESSED-STV-P-WHEN-WRONG-TAG))
 (792 132 (:REWRITE VL2014::TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (792 132 (:REWRITE VL2014::CONSP-OF-CAR-WHEN-VL-COMMENTMAP-P))
 (792 132 (:REWRITE VL2014::ALISTP-WHEN-VL-ATTS-P-REWRITE))
 (528 528 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (528 528 (:REWRITE VL2014::TRUE-LISTP-WHEN-MEMBER-EQUAL-OF-TRUE-LIST-LISTP))
 (528 528 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (528 528 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (528 264 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (528 132 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (264 264 (:TYPE-PRESCRIPTION VL2014::VL-COMMENTMAP-P))
 (264 264 (:TYPE-PRESCRIPTION VL2014::VL-ATTS-P))
 (264 264 (:TYPE-PRESCRIPTION VL2014::TRUE-LIST-LISTP))
 (264 264 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (264 264 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (264 264 (:TYPE-PRESCRIPTION ALISTP))
 (264 264 (:REWRITE VL2014::VL-COMMENTMAP-P-WHEN-SUBSETP-EQUAL))
 (264 264 (:REWRITE VL2014::VL-ATTS-P-WHEN-SUBSETP-EQUAL))
 (264 264 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (264 264 (:REWRITE SET::IN-SET))
 (264 264 (:REWRITE DEFAULT-CDR))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (264 264 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (264 264 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 2))
 (264 264 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 1))
 (264 132 (:REWRITE CONSP-OF-CAR-WHEN-CONS-LISTP))
 (264 132 (:REWRITE CONSP-OF-CAR-WHEN-ATOM-LISTP))
 (132 132 (:TYPE-PRESCRIPTION CONS-LISTP))
 (132 132 (:TYPE-PRESCRIPTION ATOM-LISTP))
 (132 132 (:REWRITE VL2014::VL-COMMENTMAP-P-WHEN-NOT-CONSP))
 (132 132 (:REWRITE VL2014::VL-ATTS-P-WHEN-NOT-CONSP))
 (132 132 (:REWRITE VL2014::TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (132 132 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (132 132 (:REWRITE DEFAULT-CAR))
 (132 132 (:REWRITE ALISTP-WHEN-ATOM))
 (132 132 (:REWRITE VL2014::ALISTP-WHEN-ALL-HAVE-LEN))
 (122 34 (:REWRITE VL2014::EQUAL-WHEN-VL-EMODWIRE-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-PSCONFIG-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (71 17 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (71 17 (:REWRITE TAG-WHEN-STVDATA-P))
 (71 17 (:REWRITE TAG-WHEN-PROCESSED-STV-P))
 (71 17 (:REWRITE TAG-WHEN-COMPILED-STV-P))
 (34 34 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EMODWIRE-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-PSCONFIG-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (17 17 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (17 17 (:TYPE-PRESCRIPTION BOOLEANP-OF-STVDATA-P))
 )
(DEFSTV-FN
 (9766 78 (:DEFINITION BINARY-APPEND))
 (2627 56 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-VL-EMODWIRELIST-P))
 (2155 205 (:REWRITE DEFAULT-CDR))
 (2155 205 (:REWRITE DEFAULT-CAR))
 (1870 322 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (1698 168 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-NOT-CONSP))
 (1320 48 (:DEFINITION MEMBER-EQUAL))
 (1118 85 (:REWRITE VL2014::MEMBER-OF-NIL-WHEN-VL-EMODWIRELIST-P))
 (940 940 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (850 168 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-ESIM-VL-IOPATTERN-ENTRY-P))
 (546 273 (:REWRITE STR::CONSP-OF-EXPLODE))
 (498 78 (:REWRITE STVDATA-P-WHEN-WRONG-TAG))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-USERTYPES-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEITEM-ALIST-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-SCOPEDEF-ALIST-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-REPORTCARD-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-IMPORTRESULT-ALIST-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-GENCASELIST-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-COMMENTMAP-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-CASELIST-P . 1))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 2))
 (470 470 (:REWRITE VL2014::CONSP-WHEN-MEMBER-EQUAL-OF-VL-ATTS-P . 1))
 (470 470 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 2))
 (470 470 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP . 1))
 (435 27 (:REWRITE VL2014::VL-EMODWIRELIST-P-OF-CDR-WHEN-VL-EMODWIRELIST-P))
 (336 336 (:TYPE-PRESCRIPTION VL2014::ESIM-VL-IOPATTERN-ENTRY-P))
 (336 336 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-SUBSETP-EQUAL))
 (336 336 (:REWRITE VL2014::VL-EMODWIRELIST-P-WHEN-MEMBER-EQUAL-OF-VL-EMODWIRELISTLIST-P))
 (336 336 (:REWRITE VL2014::ESIM-VL-IOPATTERN-ENTRY-P-WHEN-MEMBER-EQUAL-OF-ESIM-VL-IOPATTERN-ENTRYLIST-P))
 (282 231 (:REWRITE VL2014::EQUAL-WHEN-VL-EMODWIRE-P))
 (251 251 (:TYPE-PRESCRIPTION VL2014::VL-EMODWIRELIST-P))
 (208 208 (:REWRITE DEFAULT-SYMBOL-NAME))
 (193 193 (:REWRITE SUBSETP-MEMBER . 2))
 (193 193 (:REWRITE SUBSETP-MEMBER . 1))
 (170 170 (:REWRITE VL2014::VL-MAYBE-STRING-LISTP-WHEN-SUBSETP-EQUAL))
 (143 117 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (141 141 (:REWRITE FN-CHECK-DEF-FORMALS))
 (112 112 (:REWRITE VL2014::SYMBOL-LISTP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LIST-LISTP))
 (104 104 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (98 85 (:REWRITE VL2014::VL-EMODWIRELIST-P-OF-CONS))
 (85 85 (:REWRITE VL2014::VL-MAYBE-STRING-LISTP-WHEN-NOT-CONSP))
 (85 85 (:REWRITE SUBSETP-MEMBER . 4))
 (85 85 (:REWRITE SUBSETP-MEMBER . 3))
 (85 85 (:REWRITE INTERSECTP-MEMBER . 3))
 (85 85 (:REWRITE INTERSECTP-MEMBER . 2))
 (78 78 (:REWRITE VL2014::STRING-LISTP-WHEN-MEMBER-EQUAL-OF-STRING-LIST-LISTP))
 (54 54 (:REWRITE SYMBOLP-OF-CAR-WHEN-MEMBER-EQUAL-OF-ECUT-WIRENAME-ALISTP))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-TIMETOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-SYSIDTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-STRINGTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-REALTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-PSCONFIG-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-OPINFO-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-INTTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-IDTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-EXTINTTOKEN-P))
 (30 15 (:REWRITE VL2014::TAG-WHEN-VL-ERANGE-P))
 (30 15 (:REWRITE TAG-WHEN-STVDATA-P))
 (30 15 (:REWRITE TAG-WHEN-PROCESSED-STV-P))
 (30 15 (:REWRITE TAG-WHEN-COMPILED-STV-P))
 (24 24 (:REWRITE MEMBER-SELF))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-TIMETOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-SYSIDTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-STRINGTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-REALTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-PSCONFIG-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-OPINFO-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-INTTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-IDTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EXTINTTOKEN-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-ERANGE-P))
 (15 15 (:TYPE-PRESCRIPTION VL2014::BOOLEANP-OF-VL-EMODWIRE-P))
 (15 15 (:TYPE-PRESCRIPTION BOOLEANP-OF-COMPILED-STV-P))
 )
(STV-EASY-BINDINGS-INSIDE-MIX)
(STV-EASY-BINDINGS-MAIN)
(STV-EASY-BINDINGS)
