occam-verify-cli 1.0.251 → 1.0.252

package/lib/ruleNames.js

@@ -12,6 +12,12 @@ _export(exports, {
     get ARGUMENT_RULE_NAME () {
         return ARGUMENT_RULE_NAME;
     },
+    get AXIOM_BODY_RULE_NAME () {
+        return AXIOM_BODY_RULE_NAME;
+    },
+    get AXIOM_HEADER_RULE_NAME () {
+        return AXIOM_HEADER_RULE_NAME;
+    },
     get AXIOM_RULE_NAME () {
         return AXIOM_RULE_NAME;
     },
@@ -27,6 +33,12 @@ _export(exports, {
     get CONCLUSION_RULE_NAME () {
         return CONCLUSION_RULE_NAME;
     },
+    get CONJECTURE_BODY_RULE_NAME () {
+        return CONJECTURE_BODY_RULE_NAME;
+    },
+    get CONJECTURE_HEADER_RULE_NAME () {
+        return CONJECTURE_HEADER_RULE_NAME;
+    },
     get CONJECTURE_RULE_NAME () {
         return CONJECTURE_RULE_NAME;
     },
@@ -75,9 +87,21 @@ _export(exports, {
     get LABEL_RULE_NAME () {
         return LABEL_RULE_NAME;
     },
+    get LEMMA_BODY_RULE_NAME () {
+        return LEMMA_BODY_RULE_NAME;
+    },
+    get LEMMA_HEADER_RULE_NAME () {
+        return LEMMA_HEADER_RULE_NAME;
+    },
     get LEMMA_RULE_NAME () {
         return LEMMA_RULE_NAME;
     },
+    get METATHEOREM_BODY_RULE_NAME () {
+        return METATHEOREM_BODY_RULE_NAME;
+    },
+    get METATHEOREM_HEADER_RULE_NAME () {
+        return METATHEOREM_HEADER_RULE_NAME;
+    },
     get METATHEOREM_RULE_NAME () {
         return METATHEOREM_RULE_NAME;
     },
@@ -90,6 +114,12 @@ _export(exports, {
     get META_ARGUMENT_RULE_NAME () {
         return META_ARGUMENT_RULE_NAME;
     },
+    get META_LEMMA_BODY_RULE_NAME () {
+        return META_LEMMA_BODY_RULE_NAME;
+    },
+    get META_LEMMA_HEADER_RULE_NAME () {
+        return META_LEMMA_HEADER_RULE_NAME;
+    },
     get META_LEMMA_RULE_NAME () {
         return META_LEMMA_RULE_NAME;
     },
@@ -129,12 +159,21 @@ _export(exports, {
     get PROPERTY_RULE_NAME () {
         return PROPERTY_RULE_NAME;
     },
+    get QUALIFICATION_RULE_NAME () {
+        return QUALIFICATION_RULE_NAME;
+    },
     get REFERENCE_RULE_NAME () {
         return REFERENCE_RULE_NAME;
     },
     get REFERENCE_SUBSTITUTION_RULE_NAME () {
         return REFERENCE_SUBSTITUTION_RULE_NAME;
     },
+    get RULE_BODY_RULE_NAME () {
+        return RULE_BODY_RULE_NAME;
+    },
+    get RULE_HEADER_RULE_NAME () {
+        return RULE_HEADER_RULE_NAME;
+    },
     get RULE_RULE_NAME () {
         return RULE_RULE_NAME;
     },
@@ -177,6 +216,12 @@ _export(exports, {
     get TERM_SUBSTITUTION_RULE_NAME () {
         return TERM_SUBSTITUTION_RULE_NAME;
     },
+    get THEOREM_BODY_RULE_NAME () {
+        return THEOREM_BODY_RULE_NAME;
+    },
+    get THEOREM_HEADER_RULE_NAME () {
+        return THEOREM_HEADER_RULE_NAME;
+    },
     get THEOREM_RULE_NAME () {
         return THEOREM_RULE_NAME;
     },
@@ -224,24 +269,39 @@ var DEDUCTION_RULE_NAME = "deduction";
 var JUDGEMENT_RULE_NAME = "judgement";
 var REFERENCE_RULE_NAME = "reference";
 var STATEMENT_RULE_NAME = "statement";
+var RULE_BODY_RULE_NAME = "ruleBody";
 var META_LEMMA_RULE_NAME = "metaLemma";
 var COMBINATOR_RULE_NAME = "combinator";
 var CONCLUSION_RULE_NAME = "conclusion";
 var CONJECTURE_RULE_NAME = "conjecture";
 var DERIVATION_RULE_NAME = "derivation";
 var HYPOTHESIS_RULE_NAME = "hypothesis";
+var AXIOM_BODY_RULE_NAME = "axiomBody";
+var LEMMA_BODY_RULE_NAME = "lemmaBody";
 var SUPPOSITION_RULE_NAME = "supposition";
 var CONSTRUCTOR_RULE_NAME = "constructor";
 var DECLARATION_RULE_NAME = "declaration";
 var METATHEOREM_RULE_NAME = "metatheorem";
+var RULE_HEADER_RULE_NAME = "ruleHeader";
+var AXIOM_HEADER_RULE_NAME = "axiomHeader";
+var LEMMA_HEADER_RULE_NAME = "lemmaHeader";
+var THEOREM_BODY_RULE_NAME = "theoremBody";
 var METAVARIABLE_RULE_NAME = "metavariable";
 var META_ARGUMENT_RULE_NAME = "metaArgument";
+var QUALIFICATION_RULE_NAME = "qualification";
 var PROCEDURE_CALL_RULE_NAME = "procedureCall";
 var SUB_DERIVATION_RULE_NAME = "subDerivation";
 var TYPE_ASSERTION_RULE_NAME = "typeAssertion";
+var THEOREM_HEADER_RULE_NAME = "theoremHeader";
+var CONJECTURE_BODY_RULE_NAME = "conjectureBody";
+var META_LEMMA_BODY_RULE_NAME = "metaLemmaBody";
+var METATHEOREM_BODY_RULE_NAME = "metatheoremBody";
 var PROPERTY_RELATION_RULE_NAME = "propertyRelation";
 var DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
 var TERM_SUBSTITUTION_RULE_NAME = "termSubstitution";
+var CONJECTURE_HEADER_RULE_NAME = "conjectureHeader";
+var META_LEMMA_HEADER_RULE_NAME = "metaLemmaHeader";
+var METATHEOREM_HEADER_RULE_NAME = "metatheoremHeader";
 var PROPERTY_ASSERTION_RULE_NAME = "propertyAssertion";
 var SUBPROOF_ASSERTION_RULE_NAME = "subproofAssertion";
 var FRAME_SUBSTITUTION_RULE_NAME = "frameSubstitution";
@@ -259,4 +319,4 @@ var CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
 var COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
 var METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgU0VDVElPTl9SVUxFX05BTUUgPSBcInNlY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBBUkdVTUVOVF9SVUxFX05BTUUgPSBcImFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVwiO1xuZXhwb3J0IGNvbnN0IEVRVUFMSVRZX1JVTEVfTkFNRSA9IFwiZXF1YWxpdHlcIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfUlVMRV9OQU1FID0gXCJzdWJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IE5PTlNFTlNFX1JVTEVfTkFNRSA9IFwibm9uc2Vuc2VcIjtcbmV4cG9ydCBjb25zdCBTSUdOQVRVUkVfUlVMRV9OQU1FID0gXCJzaWduYXR1cmVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX1RZUEVfUlVMRV9OQU1FID0gXCJtZXRhVHlwZVwiO1xuZXhwb3J0IGNvbnN0IFBBUkFNRVRFUl9SVUxFX05BTUUgPSBcInBhcmFtZXRlclwiO1xuZXhwb3J0IGNvbnN0IERFRFVDVElPTl9SVUxFX05BTUUgPSBcImRlZHVjdGlvblwiO1xuZXhwb3J0IGNvbnN0IEpVREdFTUVOVF9SVUxFX05BTUUgPSBcImp1ZGdlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJFRkVSRU5DRV9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9SVUxFX05BTUUgPSBcInN0YXRlbWVudFwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfTEVNTUFfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFcIjtcbmV4cG9ydCBjb25zdCBDT01CSU5BVE9SX1JVTEVfTkFNRSA9IFwiY29tYmluYXRvclwiO1xuZXhwb3J0IGNvbnN0IENPTkNMVVNJT05fUlVMRV9OQU1FID0gXCJjb25jbHVzaW9uXCI7XG5leHBvcnQgY29uc3QgQ09OSkVDVFVSRV9SVUxFX05BTUUgPSBcImNvbmplY3R1cmVcIjtcbmV4cG9ydCBjb25zdCBERVJJVkFUSU9OX1JVTEVfTkFNRSA9IFwiZGVyaXZhdGlvblwiO1xuZXhwb3J0IGNvbnN0IEhZUE9USEVTSVNfUlVMRV9OQU1FID0gXCJoeXBvdGhlc2lzXCI7XG5leHBvcnQgY29uc3QgU1VQUE9TSVRJT05fUlVMRV9OQU1FID0gXCJzdXBwb3NpdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JcIjtcbmV4cG9ydCBjb25zdCBERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImRlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgTUVUQVRIRU9SRU1fUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUgPSBcIm1ldGF2YXJpYWJsZVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FID0gXCJtZXRhQXJndW1lbnRcIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5UmVsYXRpb25cIjtcbmV4cG9ydCBjb25zdCBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcImRlZmluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInRlcm1TdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eUFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInN1YnByb29mQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwiZnJhbWVTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwiY29udGFpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInNhdGlzZmllc0Fzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FID0gXCJwYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmV4cG9ydCBjb25zdCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5RGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInZhcmlhYmxlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwic3RhdGVtZW50U3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInNpbXBsZVR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbXBsZXhUeXBlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvblwiO1xuIl0sIm5hbWVzIjpbIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFYSU9NX1JVTEVfTkFNRSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMU19SVUxFX05BTUUiLCJMQUJFTF9SVUxFX05BTUUiLCJMRU1NQV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQUk9PRl9SVUxFX05BTUUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUlVMRV9SVUxFX05BTUUiLCJTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNFQ1RJT05fUlVMRV9OQU1FIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlRFUk1fUlVMRV9OQU1FIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUWVBFU19SVUxFX05BTUUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUWVBFX1JVTEVfTkFNRSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlZBUklBQkxFX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBaUJhQTtlQUFBQTs7UUFUQUM7ZUFBQUE7O1FBbURBQztlQUFBQTs7UUE1QkFDO2VBQUFBOztRQStCQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBNEJBQztlQUFBQTs7UUF4QkFDO2VBQUFBOztRQWNBQztlQUFBQTs7UUFiQUM7ZUFBQUE7O1FBWkFDO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBWkFDO2VBQUFBOztRQWZBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQXdDQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQVJBQztlQUFBQTs7UUFkQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQUxBQztlQUFBQTs7UUFnQ0FDO2VBQUFBOztRQXdCQUM7ZUFBQUE7O1FBdkJBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBWEFDO2VBQUFBOztRQU5BQztlQUFBQTs7UUFGQUM7ZUFBQUE7O1FBR0FDO2VBQUFBOztRQTZCQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQXRDQUM7ZUFBQUE7O1FBMkJBQztlQUFBQTs7UUEvQkFDO2VBQUFBOztRQXFDQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQVZBQztlQUFBQTs7UUEzQkFDO2VBQUFBOztRQVVBQztlQUFBQTs7UUE4QkFDO2VBQUFBOztRQXhEQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUFwQ0FDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFxQ0FDO2VBQUFBOztRQS9CQUM7ZUFBQUE7O1FBNEJBQztlQUFBQTs7UUF0REFDO2VBQUFBOztRQThDQUM7ZUFBQUE7O1FBNUJBQztlQUFBQTs7UUFzQkFDO2VBQUFBOztRQVBBQztlQUFBQTs7UUFoQ0FDO2VBQUFBOztRQTJDQUM7ZUFBQUE7O1FBakNBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBc0NBQztlQUFBQTs7UUF2Q0FDO2VBQUFBOztRQW1EQUM7ZUFBQUE7O1FBcENBQztlQUFBQTs7O0FBbEJOLElBQU1uQixpQkFBaUI7QUFDdkIsSUFBTU8saUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNSyxpQkFBaUI7QUFDdkIsSUFBTUYsa0JBQWtCO0FBQ3hCLElBQU1uQyxrQkFBa0I7QUFDeEIsSUFBTXJCLGtCQUFrQjtBQUN4QixJQUFNYyxrQkFBa0I7QUFDeEIsSUFBTUMsa0JBQWtCO0FBQ3hCLElBQU1tQixrQkFBa0I7QUFDeEIsSUFBTWQsa0JBQWtCO0FBQ3hCLElBQU1ELG1CQUFtQjtBQUN6QixJQUFNb0Msb0JBQW9CO0FBQzFCLElBQU12QixvQkFBb0I7QUFDMUIsSUFBTVcsb0JBQW9CO0FBQzFCLElBQU01QyxxQkFBcUI7QUFDM0IsSUFBTXVDLHFCQUFxQjtBQUMzQixJQUFNekIscUJBQXFCO0FBQzNCLElBQU0rQyxxQkFBcUI7QUFDM0IsSUFBTVYscUJBQXFCO0FBQzNCLElBQU10QixxQkFBcUI7QUFDM0IsSUFBTWdCLHNCQUFzQjtBQUM1QixJQUFNakIsc0JBQXNCO0FBQzVCLElBQU1FLHNCQUFzQjtBQUM1QixJQUFNbkIsc0JBQXNCO0FBQzVCLElBQU1RLHNCQUFzQjtBQUM1QixJQUFNcUIsc0JBQXNCO0FBQzVCLElBQU1PLHNCQUFzQjtBQUM1QixJQUFNcEIsdUJBQXVCO0FBQzdCLElBQU14Qix1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1DLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTUssdUJBQXVCO0FBQzdCLElBQU1tQyx3QkFBd0I7QUFDOUIsSUFBTTdDLHdCQUF3QjtBQUM5QixJQUFNRSx3QkFBd0I7QUFDOUIsSUFBTWEsd0JBQXdCO0FBQzlCLElBQU1FLHlCQUF5QjtBQUMvQixJQUFNQywwQkFBMEI7QUFDaEMsSUFBTVEsMkJBQTJCO0FBQ2pDLElBQU1rQiwyQkFBMkI7QUFDakMsSUFBTU0sMkJBQTJCO0FBQ2pDLElBQU1wQiw4QkFBOEI7QUFDcEMsSUFBTTFCLDhCQUE4QjtBQUNwQyxJQUFNMkMsOEJBQThCO0FBQ3BDLElBQU1uQiwrQkFBK0I7QUFDckMsSUFBTWMsK0JBQStCO0FBQ3JDLElBQU1qQywrQkFBK0I7QUFDckMsSUFBTVIsZ0NBQWdDO0FBQ3RDLElBQU1rQyxnQ0FBZ0M7QUFDdEMsSUFBTVgsZ0NBQWdDO0FBQ3RDLElBQU1ELGlDQUFpQztBQUN2QyxJQUFNTSxpQ0FBaUM7QUFDdkMsSUFBTXVCLGlDQUFpQztBQUN2QyxJQUFNWixtQ0FBbUM7QUFDekMsSUFBTVAsbUNBQW1DO0FBQ3pDLElBQU12QyxtQ0FBbUM7QUFDekMsSUFBTTRDLG9DQUFvQztBQUMxQyxJQUFNdkMsb0NBQW9DO0FBQzFDLElBQU1ILHFDQUFxQztBQUMzQyxJQUFNb0IscUNBQXFDIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgU0VDVElPTl9SVUxFX05BTUUgPSBcInNlY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBBUkdVTUVOVF9SVUxFX05BTUUgPSBcImFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVwiO1xuZXhwb3J0IGNvbnN0IEVRVUFMSVRZX1JVTEVfTkFNRSA9IFwiZXF1YWxpdHlcIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfUlVMRV9OQU1FID0gXCJzdWJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IE5PTlNFTlNFX1JVTEVfTkFNRSA9IFwibm9uc2Vuc2VcIjtcbmV4cG9ydCBjb25zdCBTSUdOQVRVUkVfUlVMRV9OQU1FID0gXCJzaWduYXR1cmVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX1RZUEVfUlVMRV9OQU1FID0gXCJtZXRhVHlwZVwiO1xuZXhwb3J0IGNvbnN0IFBBUkFNRVRFUl9SVUxFX05BTUUgPSBcInBhcmFtZXRlclwiO1xuZXhwb3J0IGNvbnN0IERFRFVDVElPTl9SVUxFX05BTUUgPSBcImRlZHVjdGlvblwiO1xuZXhwb3J0IGNvbnN0IEpVREdFTUVOVF9SVUxFX05BTUUgPSBcImp1ZGdlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJFRkVSRU5DRV9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9SVUxFX05BTUUgPSBcInN0YXRlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJVTEVfQk9EWV9SVUxFX05BTUUgPSBcInJ1bGVCb2R5XCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYVwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yXCI7XG5leHBvcnQgY29uc3QgQ09OQ0xVU0lPTl9SVUxFX05BTUUgPSBcImNvbmNsdXNpb25cIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX1JVTEVfTkFNRSA9IFwiY29uamVjdHVyZVwiO1xuZXhwb3J0IGNvbnN0IERFUklWQVRJT05fUlVMRV9OQU1FID0gXCJkZXJpdmF0aW9uXCI7XG5leHBvcnQgY29uc3QgSFlQT1RIRVNJU19SVUxFX05BTUUgPSBcImh5cG90aGVzaXNcIjtcbmV4cG9ydCBjb25zdCBBWElPTV9CT0RZX1JVTEVfTkFNRSA9IFwiYXhpb21Cb2R5XCI7XG5leHBvcnQgY29uc3QgTEVNTUFfQk9EWV9SVUxFX05BTUUgPSBcImxlbW1hQm9keVwiO1xuZXhwb3J0IGNvbnN0IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSA9IFwic3VwcG9zaXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yXCI7XG5leHBvcnQgY29uc3QgREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJkZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFUSEVPUkVNX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1cIjtcbmV4cG9ydCBjb25zdCBSVUxFX0hFQURFUl9SVUxFX05BTUUgPSBcInJ1bGVIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBBWElPTV9IRUFERVJfUlVMRV9OQU1FID0gXCJheGlvbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IExFTU1BX0hFQURFUl9SVUxFX05BTUUgPSBcImxlbW1hSGVhZGVyXCI7XG5leHBvcnQgY29uc3QgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwidGhlb3JlbUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSA9IFwibWV0YUFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUVVBTElGSUNBVElPTl9SVUxFX05BTUUgPSBcInF1YWxpZmljYXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUgPSBcInRoZW9yZW1IZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlQm9keVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1Cb2R5XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVJlbGF0aW9uXCI7XG5leHBvcnQgY29uc3QgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJkZWZpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJ0ZXJtU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlSGVhZGVyXCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5QXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJmcmFtZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJjb250YWluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic2F0aXNmaWVzQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbFwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSA9IFwicGFyZW50aGVzaXNlZExhYmVsc1wiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwicHJvcGVydHlEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwidmFyaWFibGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwicmVmZXJlbmNlU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwic2ltcGxlVHlwZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29tcGxleFR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uXCI7XG4iXSwibmFtZXMiOlsiQVJHVU1FTlRfUlVMRV9OQU1FIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJBWElPTV9IRUFERVJfUlVMRV9OQU1FIiwiQVhJT01fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUiLCJDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMU19SVUxFX05BTUUiLCJMQUJFTF9SVUxFX05BTUUiLCJMRU1NQV9CT0RZX1JVTEVfTkFNRSIsIkxFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJMRU1NQV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsIk1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRSIsIk1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSIsIk1FVEFfTEVNTUFfUlVMRV9OQU1FIiwiTUVUQV9UWVBFX1JVTEVfTkFNRSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIlBBUkFNRVRFUl9SVUxFX05BTUUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMX1JVTEVfTkFNRSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlFVQUxJRklDQVRJT05fUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUlVMRV9CT0RZX1JVTEVfTkFNRSIsIlJVTEVfSEVBREVSX1JVTEVfTkFNRSIsIlJVTEVfUlVMRV9OQU1FIiwiU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTRUNUSU9OX1JVTEVfTkFNRSIsIlNJR05BVFVSRV9SVUxFX05BTUUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJTVEVQX1JVTEVfTkFNRSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJURVJNX1JVTEVfTkFNRSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRZUEVTX1JVTEVfTkFNRSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlRZUEVfUlVMRV9OQU1FIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVkFSSUFCTEVfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFpQmFBO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQXBDQUM7ZUFBQUE7O1FBa0VBQztlQUFBQTs7UUExQ0FDO2VBQUFBOztRQTZDQUM7ZUFBQUE7O1FBNUNBQztlQUFBQTs7UUFxQkFDO2VBQUFBOztRQU1BQztlQUFBQTs7UUExQkFDO2VBQUFBOztRQTBDQUM7ZUFBQUE7O1FBcENBQztlQUFBQTs7UUEwQkFDO2VBQUFBOztRQXpCQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQWdDQUM7ZUFBQUE7O1FBdkJBQztlQUFBQTs7UUFoQkFDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBdURBQztlQUFBQTs7UUE3QkFDO2VBQUFBOztRQVRBQztlQUFBQTs7UUFkQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQTBCQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQXRDQUM7ZUFBQUE7O1FBaURBQztlQUFBQTs7UUFNQUM7ZUFBQUE7O1FBcEJBQztlQUFBQTs7UUFvQ0FDO2VBQUFBOztRQS9CQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFNQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUFQQUM7ZUFBQUE7O1FBRkFDO2VBQUFBOztRQUdBQztlQUFBQTs7UUE0Q0FDO2VBQUFBOztRQURBQztlQUFBQTs7UUFyREFDO2VBQUFBOztRQW1DQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUFvREFDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFiQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUErQkFDO2VBQUFBOztRQXJCQUM7ZUFBQUE7O1FBNkNBQztlQUFBQTs7UUEzQ0FDO2VBQUFBOztRQWFBQztlQUFBQTs7UUF6Q0FDO2VBQUFBOztRQWlFQUM7ZUFBQUE7O1FBbkRBQztlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBb0RBQztlQUFBQTs7UUE5Q0FDO2VBQUFBOztRQTJDQUM7ZUFBQUE7O1FBckVBQztlQUFBQTs7UUE2REFDO2VBQUFBOztRQTNDQUM7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBbkNBQztlQUFBQTs7UUF1REFDO2VBQUFBOztRQWJBQztlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBOENBQztlQUFBQTs7UUEvQ0FDO2VBQUFBOztRQWtFQUM7ZUFBQUE7O1FBbkRBQztlQUFBQTs7O0FBbEJOLElBQU1yQixpQkFBaUI7QUFDdkIsSUFBTU8saUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNTyxpQkFBaUI7QUFDdkIsSUFBTUYsa0JBQWtCO0FBQ3hCLElBQU01QyxrQkFBa0I7QUFDeEIsSUFBTXpCLGtCQUFrQjtBQUN4QixJQUFNZ0Isa0JBQWtCO0FBQ3hCLElBQU1DLGtCQUFrQjtBQUN4QixJQUFNeUIsa0JBQWtCO0FBQ3hCLElBQU1wQixrQkFBa0I7QUFDeEIsSUFBTUQsbUJBQW1CO0FBQ3pCLElBQU0rQyxvQkFBb0I7QUFDMUIsSUFBTTVCLG9CQUFvQjtBQUMxQixJQUFNYyxvQkFBb0I7QUFDMUIsSUFBTXpELHFCQUFxQjtBQUMzQixJQUFNaUQscUJBQXFCO0FBQzNCLElBQU0vQixxQkFBcUI7QUFDM0IsSUFBTTBELHFCQUFxQjtBQUMzQixJQUFNWixxQkFBcUI7QUFDM0IsSUFBTXpCLHFCQUFxQjtBQUMzQixJQUFNbUIsc0JBQXNCO0FBQzVCLElBQU1wQixzQkFBc0I7QUFDNUIsSUFBTUUsc0JBQXNCO0FBQzVCLElBQU16QixzQkFBc0I7QUFDNUIsSUFBTVEsc0JBQXNCO0FBQzVCLElBQU00QixzQkFBc0I7QUFDNUIsSUFBTVMsc0JBQXNCO0FBQzVCLElBQU1QLHNCQUFzQjtBQUM1QixJQUFNaEIsdUJBQXVCO0FBQzdCLElBQU1oQyx1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1HLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTUssdUJBQXVCO0FBQzdCLElBQU1yQix1QkFBdUI7QUFDN0IsSUFBTXlCLHVCQUF1QjtBQUM3QixJQUFNd0Msd0JBQXdCO0FBQzlCLElBQU10RCx3QkFBd0I7QUFDOUIsSUFBTUUsd0JBQXdCO0FBQzlCLElBQU1pQix3QkFBd0I7QUFDOUIsSUFBTXVCLHdCQUF3QjtBQUM5QixJQUFNcEQseUJBQXlCO0FBQy9CLElBQU15Qix5QkFBeUI7QUFDL0IsSUFBTTBDLHlCQUF5QjtBQUMvQixJQUFNcEMseUJBQXlCO0FBQy9CLElBQU1DLDBCQUEwQjtBQUNoQyxJQUFNZ0IsMEJBQTBCO0FBQ2hDLElBQU1OLDJCQUEyQjtBQUNqQyxJQUFNcUIsMkJBQTJCO0FBQ2pDLElBQU1RLDJCQUEyQjtBQUNqQyxJQUFNSCwyQkFBMkI7QUFDakMsSUFBTTlELDRCQUE0QjtBQUNsQyxJQUFNMkIsNEJBQTRCO0FBQ2xDLElBQU1OLDZCQUE2QjtBQUNuQyxJQUFNbUIsOEJBQThCO0FBQ3BDLElBQU1oQyw4QkFBOEI7QUFDcEMsSUFBTW9ELDhCQUE4QjtBQUNwQyxJQUFNM0QsOEJBQThCO0FBQ3BDLElBQU0yQiw4QkFBOEI7QUFDcEMsSUFBTU4sK0JBQStCO0FBQ3JDLElBQU1nQiwrQkFBK0I7QUFDckMsSUFBTWlCLCtCQUErQjtBQUNyQyxJQUFNMUMsK0JBQStCO0FBQ3JDLElBQU1SLGdDQUFnQztBQUN0QyxJQUFNMkMsZ0NBQWdDO0FBQ3RDLElBQU1kLGdDQUFnQztBQUN0QyxJQUFNRCxpQ0FBaUM7QUFDdkMsSUFBTU0saUNBQWlDO0FBQ3ZDLElBQU00QixpQ0FBaUM7QUFDdkMsSUFBTWQsbUNBQW1DO0FBQ3pDLElBQU1ULG1DQUFtQztBQUN6QyxJQUFNaEQsbUNBQW1DO0FBQ3pDLElBQU11RCxvQ0FBb0M7QUFDMUMsSUFBTWhELG9DQUFvQztBQUMxQyxJQUFNTCxxQ0FBcUM7QUFDM0MsSUFBTTBCLHFDQUFxQyJ9

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.251",
+  "version": "1.0.252",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,11 +12,11 @@
   "dependencies": {
     "argumentative": "^2.0.32",
     "necessary": "^15.0.1",
-    "occam-custom-grammars": "^5.0.1237",
-    "occam-entities": "^1.0.379",
-    "occam-file-system": "^6.0.394",
-    "occam-furtle": "^2.0.187",
-    "occam-grammars": "^1.3.315",
+    "occam-custom-grammars": "^5.0.1238",
+    "occam-entities": "^1.0.380",
+    "occam-file-system": "^6.0.395",
+    "occam-furtle": "^2.0.188",
+    "occam-grammars": "^1.3.317",
     "occam-lexers": "^23.1.3",
     "occam-parsers": "^23.1.5",
     "occam-query": "^4.1.110"

package/src/dom/subproof.js

@@ -89,9 +89,7 @@ export default domAssigned(class Subproof {
   }
 
   equateWithStatement(statement, context) {
-    let statementUnifies = false;
-
-    debugger
+    const statementUnifies = false;
 
     return statementUnifies;
   }

package/src/node/axiom.js

@@ -1,7 +1,38 @@
 "use strict";
 
-import TopLevelAssertionNode from "../node/topLevelAssertion";
+import NonTerminalNode from "../node/nonTerminal";
 
-export default class AxiomNode extends TopLevelAssertionNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return TopLevelAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
+import { AXIOM_BODY_RULE_NAME, AXIOM_HEADER_RULE_NAME } from "../ruleNames";
+
+export default class AxiomNode extends NonTerminalNode {
+  getAxiomBodyNode() {
+    const ruleName = AXIOM_BODY_RULE_NAME,
+          axiomBodyNode = this.getNodeByRuleName(ruleName);
+
+    return axiomBodyNode;
+  }
+
+
+  getAxiomHeaderNode() {
+    const ruleName = AXIOM_HEADER_RULE_NAME,
+          axiomHeaderNode = this.getNodeByRuleName(ruleName);
+
+    return axiomHeaderNode;
+  }
+
+  getSignatureNode() {
+    const axiomHeaderNode = this.getAxiomHeaderNode(),
+          signatureNode = axiomHeaderNode.getSignatureNode();
+
+    return signatureNode;
+  }
+
+  getLabelNodes() {
+    const axiomHeaderNode = this.getAxiomHeaderNode(),
+          labelNodes = axiomHeaderNode.getLabelNodes();
+
+    return labelNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/axiom.js

@@ -0,0 +1,22 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+import { DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class AxiomBodyNode extends BodyNode {
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/conjecture.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class ConjectureBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/lemma.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class LemmaBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(LemmaBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/metaLemma.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class MetaLemmaBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/metatheorem.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class MetatheoremBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/rule.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, PREMISE_RULE_NAME, CONCLUSION_RULE_NAME } from "../../ruleNames";
+
+export default class RuleBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getPremiseNodes() {
+    const ruleName = PREMISE_RULE_NAME,
+          premiseNodes = this.getNodesByRuleName(ruleName);
+
+    return premiseNodes;
+  }
+
+  getConclusionNode() {
+    const ruleName = CONCLUSION_RULE_NAME,
+          conclusionNode = this.getNodeByRuleName(ruleName);
+
+    return conclusionNode;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(RuleBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body/theorem.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import BodyNode from "../../node/body";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
+
+export default class TheoremBodyNode extends BodyNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(TheoremBodyNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/body.js

@@ -0,0 +1,9 @@
+"use strict";
+
+import NonTerminalNode from "../node/nonTerminal";
+
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../ruleNames";
+
+export default class BodyNode extends NonTerminalNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/conjecture.js

@@ -1,7 +1,44 @@
 "use strict";
 
-import TopLevelAssertionNode from "../node/topLevelAssertion";
+import NonTerminalNode from "../node/nonTerminal";
 
-export default class ConjectureNode extends TopLevelAssertionNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return TopLevelAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence); }
+import { CONJECTURE_BODY_RULE_NAME, CONJECTURE_HEADER_RULE_NAME } from "../ruleNames";
+
+export default class ConjectureNode extends NonTerminalNode {
+  getConjectureBodyNode() {
+    const ruleName = CONJECTURE_BODY_RULE_NAME,
+          conjectureBodyNode = this.getNodeByRuleName(ruleName);
+
+    return conjectureBodyNode;
+  }
+
+  getConjectureHeaderNode() {
+    const ruleName = CONJECTURE_HEADER_RULE_NAME,
+          conjectureHeaderNode = this.getNodeByRuleName(ruleName);
+
+    return conjectureHeaderNode;
+  }
+
+  getLabelNodes() {
+    const conjectureHeaderNode = this.getConjectureHeaderNode(),
+          labelNodes = conjectureHeaderNode.getLabelNodes();
+
+    return labelNodes;
+  }
+
+  getSuppositionNodes() {
+    const conjectureBodyNode = this.getConjectureBodyNode(),
+          suppositionNodes = conjectureBodyNode.getSuppositionNodes();
+
+    return suppositionNodes;
+  }
+
+  getDeductionNode() {
+    const conjectureBodyNode = this.getConjectureBodyNode(),
+          deductionNode = conjectureBodyNode.getDeductionNode();
+
+    return deductionNode;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/header/axiom.js

@@ -0,0 +1,16 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+import { SIGNATURE_RULE_NAME } from "../../ruleNames";
+
+export default class AxiomHeaderNode extends HeaderNode {
+  getSignatureNode() {
+    const ruleName = SIGNATURE_RULE_NAME,
+          signatureNode = this.getNodeByRuleName(ruleName);
+
+    return signatureNode;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/conjecture.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class ConjectureHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/lemma.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class LemmaHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(LemmaHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/metaLemma.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class MetaLemmaHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/metatheorem.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class MetatheoremHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/rule.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class RuleHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(RuleHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header/theorem.js

@@ -0,0 +1,7 @@
+"use strict";
+
+import HeaderNode from "../../node/header";
+
+export default class TheoremHeaderNode extends HeaderNode {
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(TheoremHeaderNode, ruleName, childNodes, opacity, precedence); }
+}

package/src/node/header.js

@@ -0,0 +1,28 @@
+"use strict";
+
+import NonTerminalNode from "../node/nonTerminal";
+
+import { PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
+
+export default class HeaderNode extends NonTerminalNode {
+  getParenthesisedLabelsNode() {
+    const ruleName = PARENTHESISED_LABELS_RULE_NAME,
+          parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
+
+    return parenthesisedLabelsNode;
+  }
+
+  getLabelNodes() {
+    let labelNodes = [];
+
+    const parenthesisedLabelsNode = this.getParenthesisedLabelsNode();
+
+    if (parenthesisedLabelsNode !== null) {
+      labelNodes = parenthesisedLabelsNode.getLabelNodes();
+    }
+
+    return labelNodes;
+  }
+
+  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
+}