npm - occam-verify-cli - Versions diffs - 1.0.421 → 1.0.428 - Mend

occam-verify-cli 1.0.421 → 1.0.428

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (278) hide show

package/lib/action/verify.js +7 -3
package/lib/context/file.js +8 -44
package/lib/context/local.js +8 -26
package/lib/context/nominal.js +64 -0
package/lib/context/release.js +2 -2
package/lib/context/temporary.js +6 -58
package/lib/element/assertion/contained.js +303 -0
package/lib/element/assertion/defined.js +318 -0
package/lib/element/assertion/property.js +299 -0
package/lib/element/assertion/satisfies.js +264 -0
package/lib/element/assertion/subproof.js +178 -0
package/lib/element/assertion/type.js +294 -0
package/lib/{ontology → element}/assertion.js +9 -9
package/lib/element/assumption.js +365 -0
package/lib/element/axiom.js +332 -0
package/lib/element/axiomLemmaTheoremConjecture.js +346 -0
package/lib/element/conclusion.js +151 -0
package/lib/{ontology → element}/conjecture.js +7 -14
package/lib/element/declaration/combinator.js +161 -0
package/lib/element/declaration/complexType.js +343 -0
package/lib/element/declaration/constructor.js +193 -0
package/lib/element/declaration/metavariable.js +193 -0
package/lib/element/declaration/simpleType.js +240 -0
package/lib/element/declaration/typePrefix.js +179 -0
package/lib/element/declaration/variable.js +196 -0
package/lib/{ontology → element}/declaration.js +9 -9
package/lib/element/deduction.js +207 -0
package/lib/element/derivation.js +96 -0
package/lib/element/equality.js +275 -0
package/lib/element/equivalence.js +312 -0
package/lib/element/equivalences.js +264 -0
package/lib/{ontology → element}/error.js +12 -12
package/lib/element/frame.js +387 -0
package/lib/element/hypothesis.js +195 -0
package/lib/element/judgement.js +243 -0
package/lib/element/label.js +198 -0
package/lib/{ontology → element}/lemma.js +7 -7
package/lib/{ontology → element}/metaLemma.js +8 -8
package/lib/element/metaLemmaMetatheorem.js +234 -0
package/lib/{ontology → element}/metaType.js +18 -11
package/lib/{ontology → element}/metatheorem.js +8 -8
package/lib/element/metavariable.js +459 -0
package/lib/element/parameter.js +108 -0
package/lib/element/premise.js +310 -0
package/lib/element/procedureCall.js +243 -0
package/lib/{ontology → element}/procedureReference.js +3 -3
package/lib/{ontology → element}/proof.js +4 -4
package/lib/element/property.js +128 -0
package/lib/element/propertyRelation.js +195 -0
package/lib/element/reference.js +304 -0
package/lib/element/rule.js +373 -0
package/lib/element/section.js +255 -0
package/lib/element/signature.js +217 -0
package/lib/element/statement/combinator/bracketed.js +166 -0
package/lib/element/statement/combinator.js +105 -0
package/lib/element/statement.js +386 -0
package/lib/element/step.js +274 -0
package/lib/element/subDerivation.js +137 -0
package/lib/element/subproof.js +240 -0
package/lib/element/substitution/frame.js +216 -0
package/lib/{ontology → element}/substitution/reference.js +5 -4
package/lib/{ontology → element}/substitution/statement.js +7 -6
package/lib/element/substitution/term.js +265 -0
package/lib/element/substitution.js +206 -0
package/lib/element/substitutions.js +425 -0
package/lib/element/supposition.js +323 -0
package/lib/{ontology → element/term}/constructor/bracketed.js +11 -7
package/lib/element/term/constructor.js +172 -0
package/lib/element/term.js +322 -0
package/lib/{ontology → element}/theorem.js +8 -8
package/lib/element/type.js +490 -0
package/lib/element/typePrefix.js +99 -0
package/lib/element/variable.js +345 -0
package/lib/elements.js +27 -0
package/lib/mixins/statement/verify.js +14 -14
package/lib/mixins/step/unify.js +12 -12
package/lib/mixins/term/verify.js +4 -4
package/lib/node/equivalence.js +116 -0
package/lib/node/substitution/frame.js +15 -1
package/lib/node/substitution/statement.js +37 -1
package/lib/node/substitution/term.js +15 -1
package/lib/nonTerminalNodeMap.js +4 -3
package/lib/preamble.js +63 -63
package/lib/process/assign.js +58 -0
package/lib/process/instantiate.js +74 -7
package/lib/process/unify.js +26 -26
package/lib/process/verify.js +21 -21
package/lib/ruleNames.js +5 -1
package/lib/utilities/brackets.js +9 -18
package/lib/utilities/customGrammar.js +1 -1
package/lib/utilities/element.js +1141 -0
package/lib/utilities/json.js +32 -32
package/lib/utilities/node.js +49 -61
package/lib/utilities/statement.js +83 -0
package/lib/utilities/string.js +80 -57
package/package.json +6 -6
package/src/action/verify.js +8 -1
package/src/context/file.js +9 -39
package/src/context/local.js +5 -11
package/src/context/nominal.js +30 -0
package/src/context/release.js +1 -1
package/src/context/temporary.js +6 -63
package/src/{ontology → element}/assertion/contained.js +4 -25
package/src/{ontology → element}/assertion/defined.js +7 -26
package/src/{ontology → element}/assertion/property.js +7 -26
package/src/{ontology → element}/assertion/satisfies.js +5 -53
package/src/{ontology → element}/assertion/subproof.js +3 -32
package/src/{ontology → element}/assertion/type.js +7 -26
package/src/{ontology → element}/assertion.js +6 -6
package/src/{ontology → element}/assumption.js +3 -27
package/src/{ontology → element}/axiom.js +4 -11
package/src/{ontology/topLevelAssertion.js → element/axiomLemmaTheoremConjecture.js} +9 -105
package/src/{ontology → element}/conclusion.js +4 -19
package/src/{ontology → element}/conjecture.js +4 -11
package/src/{ontology → element}/declaration/combinator.js +3 -14
package/src/{ontology → element}/declaration/complexType.js +3 -19
package/src/{ontology → element}/declaration/constructor.js +3 -14
package/src/{ontology → element}/declaration/metavariable.js +3 -39
package/src/{ontology → element}/declaration/simpleType.js +3 -19
package/src/{ontology → element}/declaration/typePrefix.js +3 -15
package/src/{ontology → element}/declaration/variable.js +3 -14
package/src/{ontology → element}/declaration.js +6 -6
package/src/{ontology → element}/deduction.js +9 -22
package/src/{ontology → element}/derivation.js +2 -32
package/src/{ontology → element}/equality.js +18 -42
package/src/{ontology → element}/equivalence.js +37 -22
package/src/{ontology → element}/equivalences.js +1 -2
package/src/{ontology → element}/error.js +8 -8
package/src/{ontology → element}/frame.js +8 -56
package/src/{ontology → element}/hypothesis.js +5 -5
package/src/{ontology → element}/judgement.js +7 -7
package/src/{ontology → element}/label.js +3 -3
package/src/{ontology → element}/lemma.js +4 -4
package/src/{ontology → element}/metaLemma.js +5 -5
package/src/{ontology/topLevelMetaAssertion.js → element/metaLemmaMetatheorem.js} +11 -11
package/src/{ontology → element}/metaType.js +11 -7
package/src/{ontology → element}/metatheorem.js +5 -5
package/src/{ontology → element}/metavariable.js +10 -60
package/src/{ontology → element}/parameter.js +1 -1
package/src/{ontology → element}/premise.js +14 -14
package/src/{ontology → element}/procedureCall.js +4 -4
package/src/{ontology → element}/procedureReference.js +1 -1
package/src/{ontology → element}/proof.js +3 -3
package/src/{ontology → element}/property.js +7 -15
package/src/{ontology → element}/propertyRelation.js +5 -11
package/src/{ontology → element}/reference.js +5 -19
package/src/{ontology → element}/rule.js +13 -13
package/src/{ontology → element}/section.js +10 -10
package/src/{ontology → element}/signature.js +12 -15
package/src/element/statement/combinator/bracketed.js +38 -0
package/src/element/statement/combinator.js +59 -0
package/src/{ontology → element}/statement.js +11 -27
package/src/{ontology → element}/step.js +10 -44
package/src/{ontology → element}/subDerivation.js +3 -24
package/src/{ontology → element}/subproof.js +3 -43
package/src/{ontology → element}/substitution/frame.js +4 -21
package/src/{ontology → element}/substitution/reference.js +3 -3
package/src/{ontology → element}/substitution/statement.js +6 -10
package/src/{ontology → element}/substitution/term.js +7 -23
package/src/{ontology → element}/substitutions.js +1 -1
package/src/{ontology → element}/supposition.js +10 -10
package/src/{ontology → element/term}/constructor/bracketed.js +12 -13
package/src/element/term/constructor.js +82 -0
package/src/{ontology → element}/term.js +6 -38
package/src/{ontology → element}/theorem.js +5 -5
package/src/{ontology → element}/type.js +17 -64
package/src/{ontology → element}/typePrefix.js +8 -12
package/src/{ontology → element}/variable.js +9 -20
package/src/elements.js +13 -0
package/src/mixins/statement/verify.js +4 -4
package/src/mixins/step/unify.js +6 -6
package/src/mixins/term/verify.js +3 -3
package/src/node/equivalence.js +16 -0
package/src/node/substitution/frame.js +14 -0
package/src/node/substitution/statement.js +40 -0
package/src/node/substitution/term.js +15 -0
package/src/nonTerminalNodeMap.js +4 -1
package/src/preamble.js +62 -62
package/src/process/assign.js +59 -0
package/src/process/instantiate.js +71 -15
package/src/process/unify.js +37 -39
package/src/process/verify.js +20 -20
package/src/ruleNames.js +1 -0
package/src/utilities/brackets.js +12 -17
package/src/utilities/customGrammar.js +3 -3
package/src/utilities/element.js +1399 -0
package/src/utilities/json.js +31 -31
package/src/utilities/node.js +56 -64
package/src/utilities/{context.js → statement.js} +10 -39
package/src/utilities/string.js +83 -53
package/lib/assignment/equality.js +0 -62
package/lib/assignment/judgement.js +0 -62
package/lib/assignment/variable.js +0 -64
package/lib/context/bracketed/combinator.js +0 -121
package/lib/context/bracketed/constructor.js +0 -121
package/lib/context/bracketted.js +0 -86
package/lib/context/partial/metavariable.js +0 -180
package/lib/context/partial/statement.js +0 -180
package/lib/context/partial/term.js +0 -192
package/lib/context/partial/variable.js +0 -192
package/lib/context/partial.js +0 -93
package/lib/ontology/assertion/contained.js +0 -357
package/lib/ontology/assertion/defined.js +0 -331
package/lib/ontology/assertion/property.js +0 -313
package/lib/ontology/assertion/satisfies.js +0 -302
package/lib/ontology/assertion/subproof.js +0 -240
package/lib/ontology/assertion/type.js +0 -308
package/lib/ontology/assumption.js +0 -383
package/lib/ontology/axiom.js +0 -339
package/lib/ontology/combinator/bracketed.js +0 -202
package/lib/ontology/combinator.js +0 -155
package/lib/ontology/conclusion.js +0 -201
package/lib/ontology/constructor.js +0 -185
package/lib/ontology/declaration/combinator.js +0 -210
package/lib/ontology/declaration/complexType.js +0 -393
package/lib/ontology/declaration/constructor.js +0 -242
package/lib/ontology/declaration/metavariable.js +0 -257
package/lib/ontology/declaration/simpleType.js +0 -290
package/lib/ontology/declaration/typePrefix.js +0 -228
package/lib/ontology/declaration/variable.js +0 -245
package/lib/ontology/deduction.js +0 -215
package/lib/ontology/derivation.js +0 -155
package/lib/ontology/equality.js +0 -288
package/lib/ontology/equivalence.js +0 -295
package/lib/ontology/equivalences.js +0 -264
package/lib/ontology/frame.js +0 -419
package/lib/ontology/hypothesis.js +0 -190
package/lib/ontology/judgement.js +0 -248
package/lib/ontology/label.js +0 -198
package/lib/ontology/metavariable.js +0 -502
package/lib/ontology/parameter.js +0 -108
package/lib/ontology/premise.js +0 -310
package/lib/ontology/procedureCall.js +0 -243
package/lib/ontology/property.js +0 -166
package/lib/ontology/propertyRelation.js +0 -202
package/lib/ontology/reference.js +0 -315
package/lib/ontology/rule.js +0 -373
package/lib/ontology/section.js +0 -255
package/lib/ontology/signature.js +0 -217
package/lib/ontology/statement.js +0 -398
package/lib/ontology/step.js +0 -295
package/lib/ontology/subDerivation.js +0 -147
package/lib/ontology/subproof.js +0 -265
package/lib/ontology/substitution/frame.js +0 -261
package/lib/ontology/substitution/term.js +0 -269
package/lib/ontology/substitution.js +0 -206
package/lib/ontology/substitutions.js +0 -425
package/lib/ontology/supposition.js +0 -323
package/lib/ontology/term.js +0 -351
package/lib/ontology/topLevelAssertion.js +0 -431
package/lib/ontology/topLevelMetaAssertion.js +0 -234
package/lib/ontology/type.js +0 -556
package/lib/ontology/typePrefix.js +0 -99
package/lib/ontology/variable.js +0 -343
package/lib/ontology.js +0 -27
package/lib/utilities/assignments.js +0 -19
package/lib/utilities/context.js +0 -101
package/lib/utilities/subproof.js +0 -42
package/lib/utilities/type.js +0 -40
package/src/assignment/equality.js +0 -29
package/src/assignment/judgement.js +0 -29
package/src/assignment/variable.js +0 -34
package/src/context/bracketed/combinator.js +0 -31
package/src/context/bracketed/constructor.js +0 -31
package/src/context/bracketted.js +0 -41
package/src/context/partial/metavariable.js +0 -39
package/src/context/partial/statement.js +0 -39
package/src/context/partial/term.js +0 -49
package/src/context/partial/variable.js +0 -49
package/src/context/partial.js +0 -71
package/src/ontology/combinator/bracketed.js +0 -38
package/src/ontology/combinator.js +0 -72
package/src/ontology/constructor.js +0 -105
package/src/ontology.js +0 -13
package/src/utilities/assignments.js +0 -11
package/src/utilities/subproof.js +0 -56
package/src/utilities/type.js +0 -35
/package/src/{ontology → element}/substitution.js +0 -0

package/lib/nonTerminalNodeMap.js CHANGED Viewed

@@ -52,10 +52,11 @@ var _rule2 = /*#__PURE__*/ _interop_require_default(require("./node/header/rule"
 var _supposition = /*#__PURE__*/ _interop_require_default(require("./node/supposition"));
 var _placeholder = /*#__PURE__*/ _interop_require_default(require("./node/placeholder"));
 var _constructor = /*#__PURE__*/ _interop_require_default(require("./node/constructor"));
-var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/metatheorem"));
 var _theorem1 = /*#__PURE__*/ _interop_require_default(require("./node/body/theorem"));
 var _axiom2 = /*#__PURE__*/ _interop_require_default(require("./node/header/axiom"));
 var _lemma2 = /*#__PURE__*/ _interop_require_default(require("./node/header/lemma"));
+var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/metatheorem"));
+var _equivalence = /*#__PURE__*/ _interop_require_default(require("./node/equivalence"));
 var _metaArgument = /*#__PURE__*/ _interop_require_default(require("./node/metaArgument"));
 var _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metavariable"));
 var _qualification = /*#__PURE__*/ _interop_require_default(require("./node/qualification"));
@@ -109,7 +110,7 @@ function _interop_require_default(obj) {
     };
 }
 var _obj;
-var NonTerminalNodeMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.TYPES_RULE_NAME, _types.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LABELS_RULE_NAME, _labels.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.SECTION_RULE_NAME, _section.default), _define_property(_obj, _ruleNames.ARGUMENT_RULE_NAME, _argument.default), _define_property(_obj, _ruleNames.PROPERTY_RULE_NAME, _property.default), _define_property(_obj, _ruleNames.SUBPROOF_RULE_NAME, _subproof.default), _define_property(_obj, _ruleNames.EQUALITY_RULE_NAME, _equality.default), _define_property(_obj, _ruleNames.VARIABLE_RULE_NAME, _variable.default), _define_property(_obj, _ruleNames.NONSENSE_RULE_NAME, _nonsense.default), _define_property(_obj, _ruleNames.DOCUMENT_RULE_NAME, _document.default), _define_property(_obj, _ruleNames.RULE_BODY_RULE_NAME, _rule1.default), _define_property(_obj, _ruleNames.META_TYPE_RULE_NAME, _metaType.default), _define_property(_obj, _ruleNames.SIGNATURE_RULE_NAME, _signature.default), _define_property(_obj, _ruleNames.REFERENCE_RULE_NAME, _reference.default), _define_property(_obj, _ruleNames.JUDGEMENT_RULE_NAME, _judgement.default), _define_property(_obj, _ruleNames.DEDUCTION_RULE_NAME, _deduction.default), _define_property(_obj, _ruleNames.PARAMETER_RULE_NAME, _parameter.default), _define_property(_obj, _ruleNames.STATEMENT_RULE_NAME, _statement.default), _define_property(_obj, _ruleNames.AXIOM_BODY_RULE_NAME, _axiom1.default), _define_property(_obj, _ruleNames.LEMMA_BODY_RULE_NAME, _lemma1.default), _define_property(_obj, _ruleNames.META_LEMMA_RULE_NAME, _metaLemma.default), _define_property(_obj, _ruleNames.COMBINATOR_RULE_NAME, _combinator.default), _define_property(_obj, _ruleNames.CONCLUSION_RULE_NAME, _conclusion.default), _define_property(_obj, _ruleNames.CONJECTURE_RULE_NAME, _conjecture.default), _define_property(_obj, _ruleNames.DERIVATION_RULE_NAME, _derivation.default), _define_property(_obj, _ruleNames.HYPOTHESIS_RULE_NAME, _hypothesis.default), _define_property(_obj, _ruleNames.ASSUMPTION_RULE_NAME, _assumption.default), _define_property(_obj, _ruleNames.RULE_HEADER_RULE_NAME, _rule2.default), _define_property(_obj, _ruleNames.TYPE_PREFIX_RULE_NAME, _typePrefix.default), _define_property(_obj, _ruleNames.PLACEHOLDER_RULE_NAME, _placeholder.default), _define_property(_obj, _ruleNames.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.METATHEOREM_RULE_NAME, _metatheorem.default), _define_property(_obj, _ruleNames.AXIOM_HEADER_RULE_NAME, _axiom2.default), _define_property(_obj, _ruleNames.LEMMA_HEADER_RULE_NAME, _lemma2.default), _define_property(_obj, _ruleNames.THEOREM_BODY_RULE_NAME, _theorem1.default), _define_property(_obj, _ruleNames.METAVARIABLE_RULE_NAME, _metavariable.default), _define_property(_obj, _ruleNames.META_ARGUMENT_RULE_NAME, _metaArgument.default), _define_property(_obj, _ruleNames.QUALIFICATION_RULE_NAME, _qualification.default), _define_property(_obj, _ruleNames.TYPE_ASSERTION_RULE_NAME, _type1.default), _define_property(_obj, _ruleNames.PROCEDURE_CALL_RULE_NAME, _procedureCall.default), _define_property(_obj, _ruleNames.SUB_DERIVATION_RULE_NAME, _subDerivation.default), _define_property(_obj, _ruleNames.THEOREM_HEADER_RULE_NAME, _theorem2.default), _define_property(_obj, _ruleNames.META_LEMMA_BODY_RULE_NAME, _metaLemma1.default), _define_property(_obj, _ruleNames.CONJECTURE_BODY_RULE_NAME, _conjecture1.default), _define_property(_obj, _ruleNames.METATHEOREM_BODY_RULE_NAME, _metatheorem1.default), _define_property(_obj, _ruleNames.META_LEMMA_HEADER_RULE_NAME, _metaLemma2.default), _define_property(_obj, _ruleNames.CONJECTURE_HEADER_RULE_NAME, _conjecture2.default), _define_property(_obj, _ruleNames.PROPERTY_RELATION_RULE_NAME, _propertyRelation.default), _define_property(_obj, _ruleNames.DEFINED_ASSERTION_RULE_NAME, _defined.default), _define_property(_obj, _ruleNames.TERM_SUBSTITUTION_RULE_NAME, _term1.default), _define_property(_obj, _ruleNames.METATHEOREM_HEADER_RULE_NAME, _metatheorem2.default), _define_property(_obj, _ruleNames.SUBPROOF_ASSERTION_RULE_NAME, _subproof1.default), _define_property(_obj, _ruleNames.PROPERTY_ASSERTION_RULE_NAME, _property1.default), _define_property(_obj, _ruleNames.FRAME_SUBSTITUTION_RULE_NAME, _frame1.default), _define_property(_obj, _ruleNames.PROCEDURE_REFERENCE_RULE_NAME, _procedureReference.default), _define_property(_obj, _ruleNames.PARENTHESISED_LABEL_RULE_NAME, _parenthesisedLabel.default), _define_property(_obj, _ruleNames.SATISFIES_ASSERTION_RULE_NAME, _satisfies.default), _define_property(_obj, _ruleNames.CONTAINED_ASSERTION_RULE_NAME, _contained.default), _define_property(_obj, _ruleNames.PARENTHESISED_LABELS_RULE_NAME, _parenthesisedLabels.default), _define_property(_obj, _ruleNames.VARIABLE_DECLARATION_RULE_NAME, _variable1.default), _define_property(_obj, _ruleNames.PROPERTY_DECLARATION_RULE_NAME, _property2.default), _define_property(_obj, _ruleNames.STATEMENT_SUBSTITUTION_RULE_NAME, _statement1.default), _define_property(_obj, _ruleNames.COMBINATOR_DECLARATION_RULE_NAME, _combinator1.default), _define_property(_obj, _ruleNames.SIMPLE_TYPE_DECLARATION_RULE_NAME, _simpleType.default), _define_property(_obj, _ruleNames.TYPE_PREFIX_DECLARATION_RULE_NAME, _typePrefix1.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME, _constructor1.default), _define_property(_obj, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME, _complexType.default), _define_property(_obj, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME, _metavariable1.default), _obj);
+var NonTerminalNodeMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.TYPES_RULE_NAME, _types.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LABELS_RULE_NAME, _labels.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.SECTION_RULE_NAME, _section.default), _define_property(_obj, _ruleNames.ARGUMENT_RULE_NAME, _argument.default), _define_property(_obj, _ruleNames.PROPERTY_RULE_NAME, _property.default), _define_property(_obj, _ruleNames.SUBPROOF_RULE_NAME, _subproof.default), _define_property(_obj, _ruleNames.EQUALITY_RULE_NAME, _equality.default), _define_property(_obj, _ruleNames.VARIABLE_RULE_NAME, _variable.default), _define_property(_obj, _ruleNames.NONSENSE_RULE_NAME, _nonsense.default), _define_property(_obj, _ruleNames.DOCUMENT_RULE_NAME, _document.default), _define_property(_obj, _ruleNames.RULE_BODY_RULE_NAME, _rule1.default), _define_property(_obj, _ruleNames.META_TYPE_RULE_NAME, _metaType.default), _define_property(_obj, _ruleNames.SIGNATURE_RULE_NAME, _signature.default), _define_property(_obj, _ruleNames.REFERENCE_RULE_NAME, _reference.default), _define_property(_obj, _ruleNames.JUDGEMENT_RULE_NAME, _judgement.default), _define_property(_obj, _ruleNames.DEDUCTION_RULE_NAME, _deduction.default), _define_property(_obj, _ruleNames.PARAMETER_RULE_NAME, _parameter.default), _define_property(_obj, _ruleNames.STATEMENT_RULE_NAME, _statement.default), _define_property(_obj, _ruleNames.AXIOM_BODY_RULE_NAME, _axiom1.default), _define_property(_obj, _ruleNames.LEMMA_BODY_RULE_NAME, _lemma1.default), _define_property(_obj, _ruleNames.META_LEMMA_RULE_NAME, _metaLemma.default), _define_property(_obj, _ruleNames.COMBINATOR_RULE_NAME, _combinator.default), _define_property(_obj, _ruleNames.CONCLUSION_RULE_NAME, _conclusion.default), _define_property(_obj, _ruleNames.CONJECTURE_RULE_NAME, _conjecture.default), _define_property(_obj, _ruleNames.DERIVATION_RULE_NAME, _derivation.default), _define_property(_obj, _ruleNames.HYPOTHESIS_RULE_NAME, _hypothesis.default), _define_property(_obj, _ruleNames.ASSUMPTION_RULE_NAME, _assumption.default), _define_property(_obj, _ruleNames.RULE_HEADER_RULE_NAME, _rule2.default), _define_property(_obj, _ruleNames.TYPE_PREFIX_RULE_NAME, _typePrefix.default), _define_property(_obj, _ruleNames.PLACEHOLDER_RULE_NAME, _placeholder.default), _define_property(_obj, _ruleNames.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.METATHEOREM_RULE_NAME, _metatheorem.default), _define_property(_obj, _ruleNames.EQUIVALENCE_RULE_NAME, _equivalence.default), _define_property(_obj, _ruleNames.AXIOM_HEADER_RULE_NAME, _axiom2.default), _define_property(_obj, _ruleNames.LEMMA_HEADER_RULE_NAME, _lemma2.default), _define_property(_obj, _ruleNames.THEOREM_BODY_RULE_NAME, _theorem1.default), _define_property(_obj, _ruleNames.METAVARIABLE_RULE_NAME, _metavariable.default), _define_property(_obj, _ruleNames.META_ARGUMENT_RULE_NAME, _metaArgument.default), _define_property(_obj, _ruleNames.QUALIFICATION_RULE_NAME, _qualification.default), _define_property(_obj, _ruleNames.TYPE_ASSERTION_RULE_NAME, _type1.default), _define_property(_obj, _ruleNames.PROCEDURE_CALL_RULE_NAME, _procedureCall.default), _define_property(_obj, _ruleNames.SUB_DERIVATION_RULE_NAME, _subDerivation.default), _define_property(_obj, _ruleNames.THEOREM_HEADER_RULE_NAME, _theorem2.default), _define_property(_obj, _ruleNames.META_LEMMA_BODY_RULE_NAME, _metaLemma1.default), _define_property(_obj, _ruleNames.CONJECTURE_BODY_RULE_NAME, _conjecture1.default), _define_property(_obj, _ruleNames.METATHEOREM_BODY_RULE_NAME, _metatheorem1.default), _define_property(_obj, _ruleNames.META_LEMMA_HEADER_RULE_NAME, _metaLemma2.default), _define_property(_obj, _ruleNames.CONJECTURE_HEADER_RULE_NAME, _conjecture2.default), _define_property(_obj, _ruleNames.PROPERTY_RELATION_RULE_NAME, _propertyRelation.default), _define_property(_obj, _ruleNames.DEFINED_ASSERTION_RULE_NAME, _defined.default), _define_property(_obj, _ruleNames.TERM_SUBSTITUTION_RULE_NAME, _term1.default), _define_property(_obj, _ruleNames.METATHEOREM_HEADER_RULE_NAME, _metatheorem2.default), _define_property(_obj, _ruleNames.SUBPROOF_ASSERTION_RULE_NAME, _subproof1.default), _define_property(_obj, _ruleNames.PROPERTY_ASSERTION_RULE_NAME, _property1.default), _define_property(_obj, _ruleNames.FRAME_SUBSTITUTION_RULE_NAME, _frame1.default), _define_property(_obj, _ruleNames.PROCEDURE_REFERENCE_RULE_NAME, _procedureReference.default), _define_property(_obj, _ruleNames.PARENTHESISED_LABEL_RULE_NAME, _parenthesisedLabel.default), _define_property(_obj, _ruleNames.SATISFIES_ASSERTION_RULE_NAME, _satisfies.default), _define_property(_obj, _ruleNames.CONTAINED_ASSERTION_RULE_NAME, _contained.default), _define_property(_obj, _ruleNames.PARENTHESISED_LABELS_RULE_NAME, _parenthesisedLabels.default), _define_property(_obj, _ruleNames.VARIABLE_DECLARATION_RULE_NAME, _variable1.default), _define_property(_obj, _ruleNames.PROPERTY_DECLARATION_RULE_NAME, _property2.default), _define_property(_obj, _ruleNames.STATEMENT_SUBSTITUTION_RULE_NAME, _statement1.default), _define_property(_obj, _ruleNames.COMBINATOR_DECLARATION_RULE_NAME, _combinator1.default), _define_property(_obj, _ruleNames.SIMPLE_TYPE_DECLARATION_RULE_NAME, _simpleType.default), _define_property(_obj, _ruleNames.TYPE_PREFIX_DECLARATION_RULE_NAME, _typePrefix1.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME, _constructor1.default), _define_property(_obj, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME, _complexType.default), _define_property(_obj, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME, _metavariable1.default), _obj);
 var _default = NonTerminalNodeMap;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBTZWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3NlY3Rpb25cIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IFJ1bGVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvcnVsZVwiO1xuaW1wb3J0IERvY3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2RvY3VtZW50XCI7XG5pbXBvcnQgU3RhdGVtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9yZWZlcmVuY2VcIjtcbmltcG9ydCBEZWR1Y3Rpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVkdWN0aW9uXCI7XG5pbXBvcnQgSnVkZ2VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2p1ZGdlbWVudFwiO1xuaW1wb3J0IE1ldGFMZW1tYU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhTGVtbWFcIjtcbmltcG9ydCBQYXJhbWV0ZXJOb2RlIGZyb20gXCIuL25vZGUvcGFyYW1ldGVyXCI7XG5pbXBvcnQgU2lnbmF0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL3NpZ25hdHVyZVwiO1xuaW1wb3J0IEF4aW9tQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L2F4aW9tXCI7XG5pbXBvcnQgTGVtbWFCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvbGVtbWFcIjtcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIjtcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIjtcbmltcG9ydCBIeXBvdGhlc2lzTm9kZSBmcm9tIFwiLi9ub2RlL2h5cG90aGVzaXNcIjtcbmltcG9ydCBUeXBlUHJlZml4Tm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVQcmVmaXhcIjtcbmltcG9ydCBBc3N1bXB0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc3VtcHRpb25cIjtcbmltcG9ydCBSdWxlSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9ydWxlXCI7XG5pbXBvcnQgU3VwcG9zaXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3VwcG9zaXRpb25cIjtcbmltcG9ydCBQbGFjZWhvbGRlck5vZGUgZnJvbSBcIi4vbm9kZS9wbGFjZWhvbGRlclwiO1xuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW1Ob2RlIGZyb20gXCIuL25vZGUvbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBUaGVvcmVtQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L3RoZW9yZW1cIjtcbmltcG9ydCBBeGlvbUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvYXhpb21cIjtcbmltcG9ydCBMZW1tYUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvbGVtbWFcIjtcbmltcG9ydCBNZXRhQXJndW1lbnROb2RlIGZyb20gXCIuL25vZGUvbWV0YUFyZ3VtZW50XCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGF2YXJpYWJsZVwiO1xuaW1wb3J0IFF1YWxpZmljYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvcXVhbGlmaWNhdGlvblwiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGxOb2RlIGZyb20gXCIuL25vZGUvcHJvY2VkdXJlQ2FsbFwiO1xuaW1wb3J0IFN1YkRlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3ViRGVyaXZhdGlvblwiO1xuaW1wb3J0IFRoZW9yZW1IZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL3RoZW9yZW1cIjtcbmltcG9ydCBNZXRhTGVtbWFCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvbWV0YUxlbW1hXCI7XG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IENvbmplY3R1cmVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvY29uamVjdHVyZVwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgTWV0YUxlbW1hSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9tZXRhTGVtbWFcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3Byb3BlcnR5UmVsYXRpb25cIlxuaW1wb3J0IERlZmluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2RlZmluZWRcIjtcbmltcG9ydCBUZXJtU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi90ZXJtXCI7XG5pbXBvcnQgQ29uamVjdHVyZUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvY29uamVjdHVyZVwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IFByb3BlcnR5QXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFByb2NlZHVyZVJlZmVyZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9jZWR1cmVSZWZlcmVuY2VcIjtcbmltcG9ydCBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsXCI7XG5pbXBvcnQgQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsc1wiXG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3N0YXRlbWVudFwiO1xuaW1wb3J0IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9zaW1wbGVUeXBlXCI7XG5pbXBvcnQgQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBUeXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBEb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7XG4gIFJVTEVfUlVMRV9OQU1FLFxuICBTVEVQX1JVTEVfTkFNRSxcbiAgVEVSTV9SVUxFX05BTUUsXG4gIFRZUEVfUlVMRV9OQU1FLFxuICBUWVBFU19SVUxFX05BTUUsXG4gIFBST09GX1JVTEVfTkFNRSxcbiAgRVJST1JfUlVMRV9OQU1FLFxuICBGUkFNRV9SVUxFX05BTUUsXG4gIEFYSU9NX1JVTEVfTkFNRSxcbiAgTEVNTUFfUlVMRV9OQU1FLFxuICBMQUJFTF9SVUxFX05BTUUsXG4gIExBQkVMU19SVUxFX05BTUUsXG4gIFRIRU9SRU1fUlVMRV9OQU1FLFxuICBQUkVNSVNFX1JVTEVfTkFNRSxcbiAgU0VDVElPTl9SVUxFX05BTUUsXG4gIE5PTlNFTlNFX1JVTEVfTkFNRSxcbiAgQVJHVU1FTlRfUlVMRV9OQU1FLFxuICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gIFBST1BFUlRZX1JVTEVfTkFNRSxcbiAgRVFVQUxJVFlfUlVMRV9OQU1FLFxuICBWQVJJQUJMRV9SVUxFX05BTUUsXG4gIERPQ1VNRU5UX1JVTEVfTkFNRSxcbiAgTUVUQV9UWVBFX1JVTEVfTkFNRSxcbiAgU0lHTkFUVVJFX1JVTEVfTkFNRSxcbiAgREVEVUNUSU9OX1JVTEVfTkFNRSxcbiAgSlVER0VNRU5UX1JVTEVfTkFNRSxcbiAgUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgUlVMRV9CT0RZX1JVTEVfTkFNRSxcbiAgTUVUQV9MRU1NQV9SVUxFX05BTUUsXG4gIERFUklWQVRJT05fUlVMRV9OQU1FLFxuICBDT01CSU5BVE9SX1JVTEVfTkFNRSxcbiAgQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gIENPTkpFQ1RVUkVfUlVMRV9OQU1FLFxuICBIWVBPVEhFU0lTX1JVTEVfTkFNRSxcbiAgQVhJT01fQk9EWV9SVUxFX05BTUUsXG4gIExFTU1BX0JPRFlfUlVMRV9OQU1FLFxuICBBU1NVTVBUSU9OX1JVTEVfTkFNRSxcbiAgUExBQ0VIT0xERVJfUlVMRV9OQU1FLFxuICBUWVBFX1BSRUZJWF9SVUxFX05BTUUsXG4gIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSxcbiAgUlVMRV9IRUFERVJfUlVMRV9OQU1FLFxuICBDT05TVFJVQ1RPUl9SVUxFX05BTUUsXG4gIE1FVEFUSEVPUkVNX1JVTEVfTkFNRSxcbiAgQVhJT01fSEVBREVSX1JVTEVfTkFNRSxcbiAgTEVNTUFfSEVBREVSX1JVTEVfTkFNRSxcbiAgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSxcbiAgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgUVVBTElGSUNBVElPTl9SVUxFX05BTUUsXG4gIE1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FLFxuICBUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUsXG4gIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUsXG4gIENPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUsXG4gIE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUsXG4gIE1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FLFxuICBDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUsXG4gIE1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSxcbiAgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FLFxuICBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIFRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRSxcbiAgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgUFJPQ0VEVVJFX1JFRkVSRU5DRV9SVUxFX05BTUUsXG4gIENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUsXG4gIFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSxcbiAgUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICBDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgU0lNUExFX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIFRZUEVfUFJFRklYX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuL3J1bGVOYW1lc1wiO1xuXG5jb25zdCBOb25UZXJtaW5hbE5vZGVNYXAgPSB7XG4gIFtSVUxFX1JVTEVfTkFNRV06IFJ1bGVOb2RlLFxuICBbU1RFUF9SVUxFX05BTUVdOiBTdGVwTm9kZSxcbiAgW1RFUk1fUlVMRV9OQU1FXTogVGVybU5vZGUsXG4gIFtUWVBFX1JVTEVfTkFNRV06IFR5cGVOb2RlLFxuICBbVFlQRVNfUlVMRV9OQU1FXTogVHlwZXNOb2RlLFxuICBbRVJST1JfUlVMRV9OQU1FXTogRXJyb3JOb2RlLFxuICBbRlJBTUVfUlVMRV9OQU1FXTogRnJhbWVOb2RlLFxuICBbTEVNTUFfUlVMRV9OQU1FXTogTGVtbWFOb2RlLFxuICBbQVhJT01fUlVMRV9OQU1FXTogQXhpb21Ob2RlLFxuICBbUFJPT0ZfUlVMRV9OQU1FXTogUHJvb2ZOb2RlLFxuICBbTEFCRUxfUlVMRV9OQU1FXTogTGFiZWxOb2RlLFxuICBbTEFCRUxTX1JVTEVfTkFNRV06IExhYmVsc05vZGUsXG4gIFtUSEVPUkVNX1JVTEVfTkFNRV06IFRoZW9yZW1Ob2RlLFxuICBbUFJFTUlTRV9SVUxFX05BTUVdOiBQcmVtaXNlTm9kZSxcbiAgW1NFQ1RJT05fUlVMRV9OQU1FXTogU2VjdGlvbk5vZGUsXG4gIFtBUkdVTUVOVF9SVUxFX05BTUVdOiBBcmd1bWVudE5vZGUsXG4gIFtQUk9QRVJUWV9SVUxFX05BTUVdOiBQcm9wZXJ0eU5vZGUsXG4gIFtTVUJQUk9PRl9SVUxFX05BTUVdOiBTdWJwcm9vZk5vZGUsXG4gIFtFUVVBTElUWV9SVUxFX05BTUVdOiBFcXVhbGl0eU5vZGUsXG4gIFtWQVJJQUJMRV9SVUxFX05BTUVdOiBWYXJpYWJsZU5vZGUsXG4gIFtOT05TRU5TRV9SVUxFX05BTUVdOiBOb25zZW5zZU5vZGUsXG4gIFtET0NVTUVOVF9SVUxFX05BTUVdOiBEb2N1bWVudE5vZGUsXG4gIFtSVUxFX0JPRFlfUlVMRV9OQU1FXTogUnVsZUJvZHlOb2RlLFxuICBbTUVUQV9UWVBFX1JVTEVfTkFNRV06IE1ldGFUeXBlTm9kZSxcbiAgW1NJR05BVFVSRV9SVUxFX05BTUVdOiBTaWduYXR1cmVOb2RlLFxuICBbUkVGRVJFTkNFX1JVTEVfTkFNRV06IFJlZmVyZW5jZU5vZGUsXG4gIFtKVURHRU1FTlRfUlVMRV9OQU1FXTogSnVkZ2VtZW50Tm9kZSxcbiAgW0RFRFVDVElPTl9SVUxFX05BTUVdOiBEZWR1Y3Rpb25Ob2RlLFxuICBbUEFSQU1FVEVSX1JVTEVfTkFNRV06IFBhcmFtZXRlck5vZGUsXG4gIFtTVEFURU1FTlRfUlVMRV9OQU1FXTogU3RhdGVtZW50Tm9kZSxcbiAgW0FYSU9NX0JPRFlfUlVMRV9OQU1FXTogQXhpb21Cb2R5Tm9kZSxcbiAgW0xFTU1BX0JPRFlfUlVMRV9OQU1FXTogTGVtbWFCb2R5Tm9kZSxcbiAgW01FVEFfTEVNTUFfUlVMRV9OQU1FXTogTWV0YUxlbW1hTm9kZSxcbiAgW0NPTUJJTkFUT1JfUlVMRV9OQU1FXTogQ29tYmluYXRvck5vZGUsXG4gIFtDT05DTFVTSU9OX1JVTEVfTkFNRV06IENvbmNsdXNpb25Ob2RlLFxuICBbQ09OSkVDVFVSRV9SVUxFX05BTUVdOiBDb25qZWN0dXJlTm9kZSxcbiAgW0RFUklWQVRJT05fUlVMRV9OQU1FXTogRGVyaXZhdGlvbk5vZGUsXG4gIFtIWVBPVEhFU0lTX1JVTEVfTkFNRV06IEh5cG90aGVzaXNOb2RlLFxuICBbQVNTVU1QVElPTl9SVUxFX05BTUVdOiBBc3N1bXB0aW9uTm9kZSxcbiAgW1JVTEVfSEVBREVSX1JVTEVfTkFNRV06IFJ1bGVIZWFkZXJOb2RlLFxuICBbVFlQRV9QUkVGSVhfUlVMRV9OQU1FXTogVHlwZVByZWZpeE5vZGUsXG4gIFtQTEFDRUhPTERFUl9SVUxFX05BTUVdOiBQbGFjZWhvbGRlck5vZGUsXG4gIFtTVVBQT1NJVElPTl9SVUxFX05BTUVdOiBTdXBwb3NpdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9SVUxFX05BTUVdOiBDb25zdHJ1Y3Rvck5vZGUsXG4gIFtNRVRBVEhFT1JFTV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbU5vZGUsXG4gIFtBWElPTV9IRUFERVJfUlVMRV9OQU1FXTogQXhpb21IZWFkZXJOb2RlLFxuICBbTEVNTUFfSEVBREVSX1JVTEVfTkFNRV06IExlbW1hSGVhZGVyTm9kZSxcbiAgW1RIRU9SRU1fQk9EWV9SVUxFX05BTUVdOiBUaGVvcmVtQm9keU5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfUlVMRV9OQU1FXTogTWV0YXZhcmlhYmxlTm9kZSxcbiAgW01FVEFfQVJHVU1FTlRfUlVMRV9OQU1FXTogTWV0YUFyZ3VtZW50Tm9kZSxcbiAgW1FVQUxJRklDQVRJT05fUlVMRV9OQU1FXTogUXVhbGlmaWNhdGlvbk5vZGUsXG4gIFtUWVBFX0FTU0VSVElPTl9SVUxFX05BTUVdOiBUeXBlQXNzZXJ0aW9uTm9kZSxcbiAgW1BST0NFRFVSRV9DQUxMX1JVTEVfTkFNRV06IFByb2NlZHVyZUNhbGxOb2RlLFxuICBbU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FXTogU3ViRGVyaXZhdGlvbk5vZGUsXG4gIFtUSEVPUkVNX0hFQURFUl9SVUxFX05BTUVdOiBUaGVvcmVtSGVhZGVyTm9kZSxcbiAgW01FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUVdOiBNZXRhTGVtbWFCb2R5Tm9kZSxcbiAgW0NPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUVdOiBDb25qZWN0dXJlQm9keU5vZGUsXG4gIFtNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtQm9keU5vZGUsXG4gIFtNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUVdOiBNZXRhTGVtbWFIZWFkZXJOb2RlLFxuICBbQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FXTogQ29uamVjdHVyZUhlYWRlck5vZGUsXG4gIFtQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eVJlbGF0aW9uTm9kZSxcbiAgW0RFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRV06IERlZmluZWRBc3NlcnRpb25Ob2RlLFxuICBbVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogVGVybVN1YnN0aXR1dGlvbk5vZGUsXG4gIFtNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FXTogTWV0YXRoZW9yZW1IZWFkZXJOb2RlLFxuICBbU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFN1YnByb29mQXNzZXJ0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eUFzc2VydGlvbk5vZGUsXG4gIFtGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogRnJhbWVTdWJzdGl0dXRpb25Ob2RlLFxuICBbUFJPQ0VEVVJFX1JFRkVSRU5DRV9SVUxFX05BTUVdOiBQcm9jZWR1cmVSZWZlcmVuY2VOb2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUVdOiBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlLFxuICBbU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlLFxuICBbQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBDb250YWluZWRBc3NlcnRpb25Ob2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsc05vZGUsXG4gIFtWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBWYXJpYWJsZURlY2xhcmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlLFxuICBbU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlLFxuICBbQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBDb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbU0lNUExFX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSxcbiAgW1RZUEVfUFJFRklYX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBEb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBDb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBNZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVcbn07XG5cbmV4cG9ydCBkZWZhdWx0IE5vblRlcm1pbmFsTm9kZU1hcDtcbiJdLCJuYW1lcyI6WyJOb25UZXJtaW5hbE5vZGVNYXAiLCJSVUxFX1JVTEVfTkFNRSIsIlJ1bGVOb2RlIiwiU1RFUF9SVUxFX05BTUUiLCJTdGVwTm9kZSIsIlRFUk1fUlVMRV9OQU1FIiwiVGVybU5vZGUiLCJUWVBFX1JVTEVfTkFNRSIsIlR5cGVOb2RlIiwiVFlQRVNfUlVMRV9OQU1FIiwiVHlwZXNOb2RlIiwiRVJST1JfUlVMRV9OQU1FIiwiRXJyb3JOb2RlIiwiRlJBTUVfUlVMRV9OQU1FIiwiRnJhbWVOb2RlIiwiTEVNTUFfUlVMRV9OQU1FIiwiTGVtbWFOb2RlIiwiQVhJT01fUlVMRV9OQU1FIiwiQXhpb21Ob2RlIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUHJvb2ZOb2RlIiwiTEFCRUxfUlVMRV9OQU1FIiwiTGFiZWxOb2RlIiwiTEFCRUxTX1JVTEVfTkFNRSIsIkxhYmVsc05vZGUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRoZW9yZW1Ob2RlIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQcmVtaXNlTm9kZSIsIlNFQ1RJT05fUlVMRV9OQU1FIiwiU2VjdGlvbk5vZGUiLCJBUkdVTUVOVF9SVUxFX05BTUUiLCJBcmd1bWVudE5vZGUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJQcm9wZXJ0eU5vZGUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTdWJwcm9vZk5vZGUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJFcXVhbGl0eU5vZGUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJWYXJpYWJsZU5vZGUiLCJOT05TRU5TRV9SVUxFX05BTUUiLCJOb25zZW5zZU5vZGUiLCJET0NVTUVOVF9SVUxFX05BTUUiLCJEb2N1bWVudE5vZGUiLCJSVUxFX0JPRFlfUlVMRV9OQU1FIiwiUnVsZUJvZHlOb2RlIiwiTUVUQV9UWVBFX1JVTEVfTkFNRSIsIk1ldGFUeXBlTm9kZSIsIlNJR05BVFVSRV9SVUxFX05BTUUiLCJTaWduYXR1cmVOb2RlIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJlZmVyZW5jZU5vZGUiLCJKVURHRU1FTlRfUlVMRV9OQU1FIiwiSnVkZ2VtZW50Tm9kZSIsIkRFRFVDVElPTl9SVUxFX05BTUUiLCJEZWR1Y3Rpb25Ob2RlIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBhcmFtZXRlck5vZGUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiU3RhdGVtZW50Tm9kZSIsIkFYSU9NX0JPRFlfUlVMRV9OQU1FIiwiQXhpb21Cb2R5Tm9kZSIsIkxFTU1BX0JPRFlfUlVMRV9OQU1FIiwiTGVtbWFCb2R5Tm9kZSIsIk1FVEFfTEVNTUFfUlVMRV9OQU1FIiwiTWV0YUxlbW1hTm9kZSIsIkNPTUJJTkFUT1JfUlVMRV9OQU1FIiwiQ29tYmluYXRvck5vZGUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNvbmNsdXNpb25Ob2RlIiwiQ09OSkVDVFVSRV9SVUxFX05BTUUiLCJDb25qZWN0dXJlTm9kZSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRGVyaXZhdGlvbk5vZGUiLCJIWVBPVEhFU0lTX1JVTEVfTkFNRSIsIkh5cG90aGVzaXNOb2RlIiwiQVNTVU1QVElPTl9SVUxFX05BTUUiLCJBc3N1bXB0aW9uTm9kZSIsIlJVTEVfSEVBREVSX1JVTEVfTkFNRSIsIlJ1bGVIZWFkZXJOb2RlIiwiVFlQRV9QUkVGSVhfUlVMRV9OQU1FIiwiVHlwZVByZWZpeE5vZGUiLCJQTEFDRUhPTERFUl9SVUxFX05BTUUiLCJQbGFjZWhvbGRlck5vZGUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJTdXBwb3NpdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9SVUxFX05BTUUiLCJDb25zdHJ1Y3Rvck5vZGUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNZXRhdGhlb3JlbU5vZGUiLCJBWElPTV9IRUFERVJfUlVMRV9OQU1FIiwiQXhpb21IZWFkZXJOb2RlIiwiTEVNTUFfSEVBREVSX1JVTEVfTkFNRSIsIkxlbW1hSGVhZGVyTm9kZSIsIlRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJUaGVvcmVtQm9keU5vZGUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiTWV0YXZhcmlhYmxlTm9kZSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTWV0YUFyZ3VtZW50Tm9kZSIsIlFVQUxJRklDQVRJT05fUlVMRV9OQU1FIiwiUXVhbGlmaWNhdGlvbk5vZGUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUeXBlQXNzZXJ0aW9uTm9kZSIsIlBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSIsIlByb2NlZHVyZUNhbGxOb2RlIiwiU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FIiwiU3ViRGVyaXZhdGlvbk5vZGUiLCJUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJUaGVvcmVtSGVhZGVyTm9kZSIsIk1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJNZXRhTGVtbWFCb2R5Tm9kZSIsIkNPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUiLCJDb25qZWN0dXJlQm9keU5vZGUiLCJNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtQm9keU5vZGUiLCJNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJNZXRhTGVtbWFIZWFkZXJOb2RlIiwiQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FIiwiQ29uamVjdHVyZUhlYWRlck5vZGUiLCJQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eVJlbGF0aW9uTm9kZSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRlZmluZWRBc3NlcnRpb25Ob2RlIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiVGVybVN1YnN0aXR1dGlvbk5vZGUiLCJNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwiTWV0YXRoZW9yZW1IZWFkZXJOb2RlIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlN1YnByb29mQXNzZXJ0aW9uTm9kZSIsIlBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eUFzc2VydGlvbk5vZGUiLCJGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiRnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwiUFJPQ0VEVVJFX1JFRkVSRU5DRV9SVUxFX05BTUUiLCJQcm9jZWR1cmVSZWZlcmVuY2VOb2RlIiwiUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUiLCJQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIiwiU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIiwiQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJDb250YWluZWRBc3NlcnRpb25Ob2RlIiwiUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FIiwiUGFyZW50aGVzaXNlZExhYmVsc05vZGUiLCJWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJWYXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsIlBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5RGVjbGFyYXRpb25Ob2RlIiwiU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIiwiU0lNUExFX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSIsIlRZUEVfUFJFRklYX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJEb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSIsIk1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJNZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQTJQQTs7O2VBQUE7OzsyREF6UHFCOzJEQUNBOzJEQUNBOzJEQUNBOzREQUNDOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzZEQUNDOzhEQUNDOzhEQUNBOzhEQUNBOytEQUNDOytEQUNBOytEQUNBOytEQUNBOytEQUNBOytEQUNBOytEQUNBOzREQUNBOytEQUNBO2dFQUNDO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBOzZEQUNBOzZEQUNBO2lFQUNDO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBOzREQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBOytEQUNBOzZEQUNBOzZEQUNBO21FQUNDO21FQUNBO29FQUNDO29FQUNBO29FQUNBOytEQUNBO2lFQUNBOzREQUNBO2tFQUNDO21FQUNDO2lFQUNBO3VFQUNDOzhEQUNBOzREQUNBO2tFQUNBO21FQUNDO2dFQUNBO2dFQUNBOzZEQUNBO3lFQUNDO3lFQUNBO2dFQUNBO2dFQUNBOzBFQUNDO2dFQUNBO2dFQUNBO2lFQUNFO2lFQUNBO2tFQUNBO2tFQUNBO2tFQUNDO21FQUNBO29FQUNDO3lCQW1GSTs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQUVqQjtBQUEzQixJQUFNQSxzQkFBcUIsV0FDekIsaUJBRHlCLE1BQ3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUZ5QixNQUV4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFIeUIsTUFHeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSnlCLE1BSXhCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUx5QixNQUt4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFOeUIsTUFNeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBUHlCLE1BT3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVJ5QixNQVF4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFUeUIsTUFTeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVnlCLE1BVXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVh5QixNQVd4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFaeUIsTUFZeEJDLDJCQUFnQixFQUFHQyxlQUFVLEdBQzlCLGlCQWJ5QixNQWF4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWR5QixNQWN4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWZ5QixNQWV4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWhCeUIsTUFnQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBakJ5QixNQWlCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFsQnlCLE1Ba0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQW5CeUIsTUFtQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBcEJ5QixNQW9CeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFyQnlCLE1BcUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXRCeUIsTUFzQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBdkJ5QixNQXVCeEJDLDhCQUFtQixFQUFHQyxjQUFZLEdBQ25DLGlCQXhCeUIsTUF3QnhCQyw4QkFBbUIsRUFBR0MsaUJBQVksR0FDbkMsaUJBekJ5QixNQXlCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkExQnlCLE1BMEJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTNCeUIsTUEyQnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBNUJ5QixNQTRCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkE3QnlCLE1BNkJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTlCeUIsTUE4QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBL0J5QixNQStCeEJDLCtCQUFvQixFQUFHQyxlQUFhLEdBQ3JDLGlCQWhDeUIsTUFnQ3hCQywrQkFBb0IsRUFBR0MsZUFBYSxHQUNyQyxpQkFqQ3lCLE1BaUN4QkMsK0JBQW9CLEVBQUdDLGtCQUFhLEdBQ3JDLGlCQWxDeUIsTUFrQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBbkN5QixNQW1DeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkFwQ3lCLE1Bb0N4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXJDeUIsTUFxQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBdEN5QixNQXNDeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkF2Q3lCLE1BdUN4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXhDeUIsTUF3Q3hCQyxnQ0FBcUIsRUFBR0MsY0FBYyxHQUN2QyxpQkF6Q3lCLE1BeUN4QkMsZ0NBQXFCLEVBQUdDLG1CQUFjLEdBQ3ZDLGlCQTFDeUIsTUEwQ3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBM0N5QixNQTJDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkE1Q3lCLE1BNEN4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTdDeUIsTUE2Q3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBOUN5QixNQThDeEJDLGlDQUFzQixFQUFHQyxlQUFlLEdBQ3pDLGlCQS9DeUIsTUErQ3hCQyxpQ0FBc0IsRUFBR0MsZUFBZSxHQUN6QyxpQkFoRHlCLE1BZ0R4QkMsaUNBQXNCLEVBQUdDLGlCQUFlLEdBQ3pDLGlCQWpEeUIsTUFpRHhCQyxpQ0FBc0IsRUFBR0MscUJBQWdCLEdBQzFDLGlCQWxEeUIsTUFrRHhCQyxrQ0FBdUIsRUFBR0MscUJBQWdCLEdBQzNDLGlCQW5EeUIsTUFtRHhCQyxrQ0FBdUIsRUFBR0Msc0JBQWlCLEdBQzVDLGlCQXBEeUIsTUFvRHhCQyxtQ0FBd0IsRUFBR0MsY0FBaUIsR0FDN0MsaUJBckR5QixNQXFEeEJDLG1DQUF3QixFQUFHQyxzQkFBaUIsR0FDN0MsaUJBdER5QixNQXNEeEJDLG1DQUF3QixFQUFHQyxzQkFBaUIsR0FDN0MsaUJBdkR5QixNQXVEeEJDLG1DQUF3QixFQUFHQyxpQkFBaUIsR0FDN0MsaUJBeER5QixNQXdEeEJDLG9DQUF5QixFQUFHQyxtQkFBaUIsR0FDOUMsaUJBekR5QixNQXlEeEJDLG9DQUF5QixFQUFHQyxvQkFBa0IsR0FDL0MsaUJBMUR5QixNQTBEeEJDLHFDQUEwQixFQUFHQyxxQkFBbUIsR0FDakQsaUJBM0R5QixNQTJEeEJDLHNDQUEyQixFQUFHQyxtQkFBbUIsR0FDbEQsaUJBNUR5QixNQTREeEJDLHNDQUEyQixFQUFHQyxvQkFBb0IsR0FDbkQsaUJBN0R5QixNQTZEeEJDLHNDQUEyQixFQUFHQyx5QkFBb0IsR0FDbkQsaUJBOUR5QixNQThEeEJDLHNDQUEyQixFQUFHQyxnQkFBb0IsR0FDbkQsaUJBL0R5QixNQStEeEJDLHNDQUEyQixFQUFHQyxjQUFvQixHQUNuRCxpQkFoRXlCLE1BZ0V4QkMsdUNBQTRCLEVBQUdDLHFCQUFxQixHQUNyRCxpQkFqRXlCLE1BaUV4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkFsRXlCLE1Ba0V4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkFuRXlCLE1BbUV4QkMsdUNBQTRCLEVBQUdDLGVBQXFCLEdBQ3JELGlCQXBFeUIsTUFvRXhCQyx3Q0FBNkIsRUFBR0MsMkJBQXNCLEdBQ3ZELGlCQXJFeUIsTUFxRXhCQyx3Q0FBNkIsRUFBR0MsMkJBQXNCLEdBQ3ZELGlCQXRFeUIsTUFzRXhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQXZFeUIsTUF1RXhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQXhFeUIsTUF3RXhCQyx5Q0FBOEIsRUFBR0MsNEJBQXVCLEdBQ3pELGlCQXpFeUIsTUF5RXhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQTFFeUIsTUEwRXhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQTNFeUIsTUEyRXhCQywyQ0FBZ0MsRUFBR0MsbUJBQXlCLEdBQzdELGlCQTVFeUIsTUE0RXhCQywyQ0FBZ0MsRUFBR0Msb0JBQXlCLEdBQzdELGlCQTdFeUIsTUE2RXhCQyw0Q0FBaUMsRUFBR0MsbUJBQXlCLEdBQzlELGlCQTlFeUIsTUE4RXhCQyw0Q0FBaUMsRUFBR0Msb0JBQXlCLEdBQzlELGlCQS9FeUIsTUErRXhCQyw0Q0FBaUMsRUFBR0MscUJBQTBCLEdBQy9ELGlCQWhGeUIsTUFnRnhCQyw2Q0FBa0MsRUFBR0Msb0JBQTBCLEdBQ2hFLGlCQWpGeUIsTUFpRnhCQyw2Q0FBa0MsRUFBR0Msc0JBQTJCLEdBakZ4QztJQW9GM0IsV0FBZWxLIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBTZWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3NlY3Rpb25cIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IFJ1bGVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvcnVsZVwiO1xuaW1wb3J0IERvY3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2RvY3VtZW50XCI7XG5pbXBvcnQgU3RhdGVtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9yZWZlcmVuY2VcIjtcbmltcG9ydCBEZWR1Y3Rpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVkdWN0aW9uXCI7XG5pbXBvcnQgSnVkZ2VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2p1ZGdlbWVudFwiO1xuaW1wb3J0IE1ldGFMZW1tYU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhTGVtbWFcIjtcbmltcG9ydCBQYXJhbWV0ZXJOb2RlIGZyb20gXCIuL25vZGUvcGFyYW1ldGVyXCI7XG5pbXBvcnQgU2lnbmF0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL3NpZ25hdHVyZVwiO1xuaW1wb3J0IEF4aW9tQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L2F4aW9tXCI7XG5pbXBvcnQgTGVtbWFCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvbGVtbWFcIjtcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIjtcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIjtcbmltcG9ydCBIeXBvdGhlc2lzTm9kZSBmcm9tIFwiLi9ub2RlL2h5cG90aGVzaXNcIjtcbmltcG9ydCBUeXBlUHJlZml4Tm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVQcmVmaXhcIjtcbmltcG9ydCBBc3N1bXB0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc3VtcHRpb25cIjtcbmltcG9ydCBSdWxlSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9ydWxlXCI7XG5pbXBvcnQgU3VwcG9zaXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3VwcG9zaXRpb25cIjtcbmltcG9ydCBQbGFjZWhvbGRlck5vZGUgZnJvbSBcIi4vbm9kZS9wbGFjZWhvbGRlclwiO1xuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgVGhlb3JlbUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS90aGVvcmVtXCI7XG5pbXBvcnQgQXhpb21IZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL2F4aW9tXCI7XG5pbXBvcnQgTGVtbWFIZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL2xlbW1hXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW1Ob2RlIGZyb20gXCIuL25vZGUvbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBFcXVpdmFsZW5jZU5vZGUgZnJvbSBcIi4vbm9kZS9lcXVpdmFsZW5jZVwiO1xuaW1wb3J0IE1ldGFBcmd1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhQXJndW1lbnRcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvbWV0YXZhcmlhYmxlXCI7XG5pbXBvcnQgUXVhbGlmaWNhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9xdWFsaWZpY2F0aW9uXCI7XG5pbXBvcnQgUHJvY2VkdXJlQ2FsbE5vZGUgZnJvbSBcIi4vbm9kZS9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJEZXJpdmF0aW9uXCI7XG5pbXBvcnQgVGhlb3JlbUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvdGhlb3JlbVwiO1xuaW1wb3J0IE1ldGFMZW1tYUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS9tZXRhTGVtbWFcIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi90eXBlXCI7XG5pbXBvcnQgQ29uamVjdHVyZUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS9jb25qZWN0dXJlXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW1Cb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBNZXRhTGVtbWFIZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL21ldGFMZW1tYVwiO1xuaW1wb3J0IFByb3BlcnR5UmVsYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvcHJvcGVydHlSZWxhdGlvblwiXG5pbXBvcnQgRGVmaW5lZEFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vZGVmaW5lZFwiO1xuaW1wb3J0IFRlcm1TdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3Rlcm1cIjtcbmltcG9ydCBDb25qZWN0dXJlSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci9jb25qZWN0dXJlXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW1IZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgUHJvcGVydHlBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgU3VicHJvb2ZBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3N1YnByb29mXCI7XG5pbXBvcnQgRnJhbWVTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL2ZyYW1lXCI7XG5pbXBvcnQgUHJvY2VkdXJlUmVmZXJlbmNlTm9kZSBmcm9tIFwiLi9ub2RlL3Byb2NlZHVyZVJlZmVyZW5jZVwiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFNhdGlzZmllc0Fzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgUGFyZW50aGVzaXNlZExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxzXCJcbmltcG9ydCBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3NpbXBsZVR5cGVcIjtcbmltcG9ydCBDb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IFR5cGVQcmVmaXhEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi90eXBlUHJlZml4XCI7XG5pbXBvcnQgQ29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9jb21wbGV4VHlwZVwiO1xuaW1wb3J0IERvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29uc3RydWN0b3JcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9tZXRhdmFyaWFibGVcIjtcblxuaW1wb3J0IHtcbiAgUlVMRV9SVUxFX05BTUUsXG4gIFNURVBfUlVMRV9OQU1FLFxuICBURVJNX1JVTEVfTkFNRSxcbiAgVFlQRV9SVUxFX05BTUUsXG4gIFRZUEVTX1JVTEVfTkFNRSxcbiAgUFJPT0ZfUlVMRV9OQU1FLFxuICBFUlJPUl9SVUxFX05BTUUsXG4gIEZSQU1FX1JVTEVfTkFNRSxcbiAgQVhJT01fUlVMRV9OQU1FLFxuICBMRU1NQV9SVUxFX05BTUUsXG4gIExBQkVMX1JVTEVfTkFNRSxcbiAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgVEhFT1JFTV9SVUxFX05BTUUsXG4gIFBSRU1JU0VfUlVMRV9OQU1FLFxuICBTRUNUSU9OX1JVTEVfTkFNRSxcbiAgTk9OU0VOU0VfUlVMRV9OQU1FLFxuICBBUkdVTUVOVF9SVUxFX05BTUUsXG4gIFNVQlBST09GX1JVTEVfTkFNRSxcbiAgUFJPUEVSVFlfUlVMRV9OQU1FLFxuICBFUVVBTElUWV9SVUxFX05BTUUsXG4gIFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgRE9DVU1FTlRfUlVMRV9OQU1FLFxuICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICBTSUdOQVRVUkVfUlVMRV9OQU1FLFxuICBERURVQ1RJT05fUlVMRV9OQU1FLFxuICBKVURHRU1FTlRfUlVMRV9OQU1FLFxuICBQQVJBTUVURVJfUlVMRV9OQU1FLFxuICBSRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICBSVUxFX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX1JVTEVfTkFNRSxcbiAgREVSSVZBVElPTl9SVUxFX05BTUUsXG4gIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICBDT05DTFVTSU9OX1JVTEVfTkFNRSxcbiAgQ09OSkVDVFVSRV9SVUxFX05BTUUsXG4gIEhZUE9USEVTSVNfUlVMRV9OQU1FLFxuICBBWElPTV9CT0RZX1JVTEVfTkFNRSxcbiAgTEVNTUFfQk9EWV9SVUxFX05BTUUsXG4gIEFTU1VNUFRJT05fUlVMRV9OQU1FLFxuICBQTEFDRUhPTERFUl9SVUxFX05BTUUsXG4gIFRZUEVfUFJFRklYX1JVTEVfTkFNRSxcbiAgU1VQUE9TSVRJT05fUlVMRV9OQU1FLFxuICBSVUxFX0hFQURFUl9SVUxFX05BTUUsXG4gIENPTlNUUlVDVE9SX1JVTEVfTkFNRSxcbiAgTUVUQVRIRU9SRU1fUlVMRV9OQU1FLFxuICBFUVVJVkFMRU5DRV9SVUxFX05BTUUsXG4gIEFYSU9NX0hFQURFUl9SVUxFX05BTUUsXG4gIExFTU1BX0hFQURFUl9SVUxFX05BTUUsXG4gIFRIRU9SRU1fQk9EWV9SVUxFX05BTUUsXG4gIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gIFFVQUxJRklDQVRJT05fUlVMRV9OQU1FLFxuICBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FLFxuICBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUsXG4gIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FLFxuICBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FLFxuICBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSxcbiAgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FLFxuICBNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUUsXG4gIFBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSxcbiAgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gIE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUsXG4gIFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gIFBST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FLFxuICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gIFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FLFxuICBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUsXG4gIFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIFNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICBUWVBFX1BSRUZJWF9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gIE1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi9ydWxlTmFtZXNcIjtcblxuY29uc3QgTm9uVGVybWluYWxOb2RlTWFwID0ge1xuICBbUlVMRV9SVUxFX05BTUVdOiBSdWxlTm9kZSxcbiAgW1NURVBfUlVMRV9OQU1FXTogU3RlcE5vZGUsXG4gIFtURVJNX1JVTEVfTkFNRV06IFRlcm1Ob2RlLFxuICBbVFlQRV9SVUxFX05BTUVdOiBUeXBlTm9kZSxcbiAgW1RZUEVTX1JVTEVfTkFNRV06IFR5cGVzTm9kZSxcbiAgW0VSUk9SX1JVTEVfTkFNRV06IEVycm9yTm9kZSxcbiAgW0ZSQU1FX1JVTEVfTkFNRV06IEZyYW1lTm9kZSxcbiAgW0xFTU1BX1JVTEVfTkFNRV06IExlbW1hTm9kZSxcbiAgW0FYSU9NX1JVTEVfTkFNRV06IEF4aW9tTm9kZSxcbiAgW1BST09GX1JVTEVfTkFNRV06IFByb29mTm9kZSxcbiAgW0xBQkVMX1JVTEVfTkFNRV06IExhYmVsTm9kZSxcbiAgW0xBQkVMU19SVUxFX05BTUVdOiBMYWJlbHNOb2RlLFxuICBbVEhFT1JFTV9SVUxFX05BTUVdOiBUaGVvcmVtTm9kZSxcbiAgW1BSRU1JU0VfUlVMRV9OQU1FXTogUHJlbWlzZU5vZGUsXG4gIFtTRUNUSU9OX1JVTEVfTkFNRV06IFNlY3Rpb25Ob2RlLFxuICBbQVJHVU1FTlRfUlVMRV9OQU1FXTogQXJndW1lbnROb2RlLFxuICBbUFJPUEVSVFlfUlVMRV9OQU1FXTogUHJvcGVydHlOb2RlLFxuICBbU1VCUFJPT0ZfUlVMRV9OQU1FXTogU3VicHJvb2ZOb2RlLFxuICBbRVFVQUxJVFlfUlVMRV9OQU1FXTogRXF1YWxpdHlOb2RlLFxuICBbVkFSSUFCTEVfUlVMRV9OQU1FXTogVmFyaWFibGVOb2RlLFxuICBbTk9OU0VOU0VfUlVMRV9OQU1FXTogTm9uc2Vuc2VOb2RlLFxuICBbRE9DVU1FTlRfUlVMRV9OQU1FXTogRG9jdW1lbnROb2RlLFxuICBbUlVMRV9CT0RZX1JVTEVfTkFNRV06IFJ1bGVCb2R5Tm9kZSxcbiAgW01FVEFfVFlQRV9SVUxFX05BTUVdOiBNZXRhVHlwZU5vZGUsXG4gIFtTSUdOQVRVUkVfUlVMRV9OQU1FXTogU2lnbmF0dXJlTm9kZSxcbiAgW1JFRkVSRU5DRV9SVUxFX05BTUVdOiBSZWZlcmVuY2VOb2RlLFxuICBbSlVER0VNRU5UX1JVTEVfTkFNRV06IEp1ZGdlbWVudE5vZGUsXG4gIFtERURVQ1RJT05fUlVMRV9OQU1FXTogRGVkdWN0aW9uTm9kZSxcbiAgW1BBUkFNRVRFUl9SVUxFX05BTUVdOiBQYXJhbWV0ZXJOb2RlLFxuICBbU1RBVEVNRU5UX1JVTEVfTkFNRV06IFN0YXRlbWVudE5vZGUsXG4gIFtBWElPTV9CT0RZX1JVTEVfTkFNRV06IEF4aW9tQm9keU5vZGUsXG4gIFtMRU1NQV9CT0RZX1JVTEVfTkFNRV06IExlbW1hQm9keU5vZGUsXG4gIFtNRVRBX0xFTU1BX1JVTEVfTkFNRV06IE1ldGFMZW1tYU5vZGUsXG4gIFtDT01CSU5BVE9SX1JVTEVfTkFNRV06IENvbWJpbmF0b3JOb2RlLFxuICBbQ09OQ0xVU0lPTl9SVUxFX05BTUVdOiBDb25jbHVzaW9uTm9kZSxcbiAgW0NPTkpFQ1RVUkVfUlVMRV9OQU1FXTogQ29uamVjdHVyZU5vZGUsXG4gIFtERVJJVkFUSU9OX1JVTEVfTkFNRV06IERlcml2YXRpb25Ob2RlLFxuICBbSFlQT1RIRVNJU19SVUxFX05BTUVdOiBIeXBvdGhlc2lzTm9kZSxcbiAgW0FTU1VNUFRJT05fUlVMRV9OQU1FXTogQXNzdW1wdGlvbk5vZGUsXG4gIFtSVUxFX0hFQURFUl9SVUxFX05BTUVdOiBSdWxlSGVhZGVyTm9kZSxcbiAgW1RZUEVfUFJFRklYX1JVTEVfTkFNRV06IFR5cGVQcmVmaXhOb2RlLFxuICBbUExBQ0VIT0xERVJfUlVMRV9OQU1FXTogUGxhY2Vob2xkZXJOb2RlLFxuICBbU1VQUE9TSVRJT05fUlVMRV9OQU1FXTogU3VwcG9zaXRpb25Ob2RlLFxuICBbQ09OU1RSVUNUT1JfUlVMRV9OQU1FXTogQ29uc3RydWN0b3JOb2RlLFxuICBbTUVUQVRIRU9SRU1fUlVMRV9OQU1FXTogTWV0YXRoZW9yZW1Ob2RlLFxuICBbRVFVSVZBTEVOQ0VfUlVMRV9OQU1FXTogRXF1aXZhbGVuY2VOb2RlLFxuICBbQVhJT01fSEVBREVSX1JVTEVfTkFNRV06IEF4aW9tSGVhZGVyTm9kZSxcbiAgW0xFTU1BX0hFQURFUl9SVUxFX05BTUVdOiBMZW1tYUhlYWRlck5vZGUsXG4gIFtUSEVPUkVNX0JPRFlfUlVMRV9OQU1FXTogVGhlb3JlbUJvZHlOb2RlLFxuICBbTUVUQVZBUklBQkxFX1JVTEVfTkFNRV06IE1ldGF2YXJpYWJsZU5vZGUsXG4gIFtNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRV06IE1ldGFBcmd1bWVudE5vZGUsXG4gIFtRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRV06IFF1YWxpZmljYXRpb25Ob2RlLFxuICBbVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FXTogVHlwZUFzc2VydGlvbk5vZGUsXG4gIFtQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUVdOiBQcm9jZWR1cmVDYWxsTm9kZSxcbiAgW1NVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRV06IFN1YkRlcml2YXRpb25Ob2RlLFxuICBbVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FXTogVGhlb3JlbUhlYWRlck5vZGUsXG4gIFtNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FXTogTWV0YUxlbW1hQm9keU5vZGUsXG4gIFtDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FXTogQ29uamVjdHVyZUJvZHlOb2RlLFxuICBbTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbUJvZHlOb2RlLFxuICBbTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FXTogTWV0YUxlbW1hSGVhZGVyTm9kZSxcbiAgW0NPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRV06IENvbmplY3R1cmVIZWFkZXJOb2RlLFxuICBbUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlSZWxhdGlvbk5vZGUsXG4gIFtERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBEZWZpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1RFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IFRlcm1TdWJzdGl0dXRpb25Ob2RlLFxuICBbTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtSGVhZGVyTm9kZSxcbiAgW1NVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTdWJwcm9vZkFzc2VydGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlBc3NlcnRpb25Ob2RlLFxuICBbRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1BST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FXTogUHJvY2VkdXJlUmVmZXJlbmNlTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsTm9kZSxcbiAgW1NBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FXTogU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSxcbiAgW0NPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRV06IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLFxuICBbVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSxcbiAgW1NUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogU3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSxcbiAgW0NPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgW1NJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtUWVBFX1BSRUZJWF9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBUeXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlLFxuICBbQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogRG9uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogQ29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlXG59O1xuXG5leHBvcnQgZGVmYXVsdCBOb25UZXJtaW5hbE5vZGVNYXA7XG4iXSwibmFtZXMiOlsiTm9uVGVybWluYWxOb2RlTWFwIiwiUlVMRV9SVUxFX05BTUUiLCJSdWxlTm9kZSIsIlNURVBfUlVMRV9OQU1FIiwiU3RlcE5vZGUiLCJURVJNX1JVTEVfTkFNRSIsIlRlcm1Ob2RlIiwiVFlQRV9SVUxFX05BTUUiLCJUeXBlTm9kZSIsIlRZUEVTX1JVTEVfTkFNRSIsIlR5cGVzTm9kZSIsIkVSUk9SX1JVTEVfTkFNRSIsIkVycm9yTm9kZSIsIkZSQU1FX1JVTEVfTkFNRSIsIkZyYW1lTm9kZSIsIkxFTU1BX1JVTEVfTkFNRSIsIkxlbW1hTm9kZSIsIkFYSU9NX1JVTEVfTkFNRSIsIkF4aW9tTm9kZSIsIlBST09GX1JVTEVfTkFNRSIsIlByb29mTm9kZSIsIkxBQkVMX1JVTEVfTkFNRSIsIkxhYmVsTm9kZSIsIkxBQkVMU19SVUxFX05BTUUiLCJMYWJlbHNOb2RlIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUaGVvcmVtTm9kZSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUHJlbWlzZU5vZGUiLCJTRUNUSU9OX1JVTEVfTkFNRSIsIlNlY3Rpb25Ob2RlIiwiQVJHVU1FTlRfUlVMRV9OQU1FIiwiQXJndW1lbnROb2RlIiwiUFJPUEVSVFlfUlVMRV9OQU1FIiwiUHJvcGVydHlOb2RlIiwiU1VCUFJPT0ZfUlVMRV9OQU1FIiwiU3VicHJvb2ZOb2RlIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRXF1YWxpdHlOb2RlIiwiVkFSSUFCTEVfUlVMRV9OQU1FIiwiVmFyaWFibGVOb2RlIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwiTm9uc2Vuc2VOb2RlIiwiRE9DVU1FTlRfUlVMRV9OQU1FIiwiRG9jdW1lbnROb2RlIiwiUlVMRV9CT0RZX1JVTEVfTkFNRSIsIlJ1bGVCb2R5Tm9kZSIsIk1FVEFfVFlQRV9SVUxFX05BTUUiLCJNZXRhVHlwZU5vZGUiLCJTSUdOQVRVUkVfUlVMRV9OQU1FIiwiU2lnbmF0dXJlTm9kZSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJSZWZlcmVuY2VOb2RlIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkp1ZGdlbWVudE5vZGUiLCJERURVQ1RJT05fUlVMRV9OQU1FIiwiRGVkdWN0aW9uTm9kZSIsIlBBUkFNRVRFUl9SVUxFX05BTUUiLCJQYXJhbWV0ZXJOb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsIlN0YXRlbWVudE5vZGUiLCJBWElPTV9CT0RZX1JVTEVfTkFNRSIsIkF4aW9tQm9keU5vZGUiLCJMRU1NQV9CT0RZX1JVTEVfTkFNRSIsIkxlbW1hQm9keU5vZGUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIk1ldGFMZW1tYU5vZGUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNvbWJpbmF0b3JOb2RlIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDb25jbHVzaW9uTm9kZSIsIkNPTkpFQ1RVUkVfUlVMRV9OQU1FIiwiQ29uamVjdHVyZU5vZGUiLCJERVJJVkFUSU9OX1JVTEVfTkFNRSIsIkRlcml2YXRpb25Ob2RlIiwiSFlQT1RIRVNJU19SVUxFX05BTUUiLCJIeXBvdGhlc2lzTm9kZSIsIkFTU1VNUFRJT05fUlVMRV9OQU1FIiwiQXNzdW1wdGlvbk5vZGUiLCJSVUxFX0hFQURFUl9SVUxFX05BTUUiLCJSdWxlSGVhZGVyTm9kZSIsIlRZUEVfUFJFRklYX1JVTEVfTkFNRSIsIlR5cGVQcmVmaXhOb2RlIiwiUExBQ0VIT0xERVJfUlVMRV9OQU1FIiwiUGxhY2Vob2xkZXJOb2RlIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwiU3VwcG9zaXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfUlVMRV9OQU1FIiwiQ29uc3RydWN0b3JOb2RlIiwiTUVUQVRIRU9SRU1fUlVMRV9OQU1FIiwiTWV0YXRoZW9yZW1Ob2RlIiwiRVFVSVZBTEVOQ0VfUlVMRV9OQU1FIiwiRXF1aXZhbGVuY2VOb2RlIiwiQVhJT01fSEVBREVSX1JVTEVfTkFNRSIsIkF4aW9tSGVhZGVyTm9kZSIsIkxFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJMZW1tYUhlYWRlck5vZGUiLCJUSEVPUkVNX0JPRFlfUlVMRV9OQU1FIiwiVGhlb3JlbUJvZHlOb2RlIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1ldGF2YXJpYWJsZU5vZGUiLCJNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSIsIk1ldGFBcmd1bWVudE5vZGUiLCJRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRSIsIlF1YWxpZmljYXRpb25Ob2RlIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiVHlwZUFzc2VydGlvbk5vZGUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQcm9jZWR1cmVDYWxsTm9kZSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlN1YkRlcml2YXRpb25Ob2RlIiwiVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FIiwiVGhlb3JlbUhlYWRlck5vZGUiLCJNRVRBX0xFTU1BX0JPRFlfUlVMRV9OQU1FIiwiTWV0YUxlbW1hQm9keU5vZGUiLCJDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FIiwiQ29uamVjdHVyZUJvZHlOb2RlIiwiTUVUQVRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJNZXRhdGhlb3JlbUJvZHlOb2RlIiwiTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwiTWV0YUxlbW1hSGVhZGVyTm9kZSIsIkNPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVIZWFkZXJOb2RlIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJEZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRlcm1TdWJzdGl0dXRpb25Ob2RlIiwiTUVUQVRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtSGVhZGVyTm9kZSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkZyYW1lU3Vic3RpdHV0aW9uTm9kZSIsIlBST0NFRFVSRV9SRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUHJvY2VkdXJlUmVmZXJlbmNlTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUGFyZW50aGVzaXNlZExhYmVsTm9kZSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSIsIlNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiU3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsIlNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUiLCJUWVBFX1BSRUZJWF9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJUeXBlUHJlZml4RGVjbGFyYXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiRG9uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkE4UEE7OztlQUFBOzs7MkRBNVBxQjsyREFDQTsyREFDQTsyREFDQTs0REFDQzs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs2REFDQzs4REFDQzs4REFDQTs4REFDQTsrREFDQzsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTs0REFDQTsrREFDQTtnRUFDQztnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTs2REFDQTs2REFDQTtpRUFDQztpRUFDQTtpRUFDQTtpRUFDQTtpRUFDQTtpRUFDQTtpRUFDQTs0REFDQTtrRUFDQztrRUFDQTtrRUFDQTsrREFDQTs2REFDQTs2REFDQTtrRUFDQTtrRUFDQTttRUFDQzttRUFDQTtvRUFDQztvRUFDQTtvRUFDQTsrREFDQTtpRUFDQTs0REFDQTtrRUFDQzttRUFDQztpRUFDQTt1RUFDQzs4REFDQTs0REFDQTtrRUFDQTttRUFDQztnRUFDQTtnRUFDQTs2REFDQTt5RUFDQzt5RUFDQTtnRUFDQTtnRUFDQTswRUFDQztnRUFDQTtnRUFDQTtpRUFDRTtpRUFDQTtrRUFDQTtrRUFDQTtrRUFDQzttRUFDQTtvRUFDQzt5QkFvRkk7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7SUFFakI7QUFBM0IsSUFBTUEsc0JBQXFCLFdBQ3pCLGlCQUR5QixNQUN4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFGeUIsTUFFeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSHlCLE1BR3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUp5QixNQUl4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFMeUIsTUFLeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBTnlCLE1BTXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVB5QixNQU94QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFSeUIsTUFReEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVHlCLE1BU3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVZ5QixNQVV4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFYeUIsTUFXeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBWnlCLE1BWXhCQywyQkFBZ0IsRUFBR0MsZUFBVSxHQUM5QixpQkFieUIsTUFheEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFkeUIsTUFjeEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFmeUIsTUFleEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFoQnlCLE1BZ0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWpCeUIsTUFpQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBbEJ5QixNQWtCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFuQnlCLE1BbUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXBCeUIsTUFvQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBckJ5QixNQXFCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkF0QnlCLE1Bc0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXZCeUIsTUF1QnhCQyw4QkFBbUIsRUFBR0MsY0FBWSxHQUNuQyxpQkF4QnlCLE1Bd0J4QkMsOEJBQW1CLEVBQUdDLGlCQUFZLEdBQ25DLGlCQXpCeUIsTUF5QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBMUJ5QixNQTBCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkEzQnlCLE1BMkJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTVCeUIsTUE0QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBN0J5QixNQTZCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkE5QnlCLE1BOEJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQS9CeUIsTUErQnhCQywrQkFBb0IsRUFBR0MsZUFBYSxHQUNyQyxpQkFoQ3lCLE1BZ0N4QkMsK0JBQW9CLEVBQUdDLGVBQWEsR0FDckMsaUJBakN5QixNQWlDeEJDLCtCQUFvQixFQUFHQyxrQkFBYSxHQUNyQyxpQkFsQ3lCLE1Ba0N4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQW5DeUIsTUFtQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBcEN5QixNQW9DeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkFyQ3lCLE1BcUN4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXRDeUIsTUFzQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBdkN5QixNQXVDeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkF4Q3lCLE1Bd0N4QkMsZ0NBQXFCLEVBQUdDLGNBQWMsR0FDdkMsaUJBekN5QixNQXlDeEJDLGdDQUFxQixFQUFHQyxtQkFBYyxHQUN2QyxpQkExQ3lCLE1BMEN4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTNDeUIsTUEyQ3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBNUN5QixNQTRDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkE3Q3lCLE1BNkN4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTlDeUIsTUE4Q3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBL0N5QixNQStDeEJDLGlDQUFzQixFQUFHQyxlQUFlLEdBQ3pDLGlCQWhEeUIsTUFnRHhCQyxpQ0FBc0IsRUFBR0MsZUFBZSxHQUN6QyxpQkFqRHlCLE1BaUR4QkMsaUNBQXNCLEVBQUdDLGlCQUFlLEdBQ3pDLGlCQWxEeUIsTUFrRHhCQyxpQ0FBc0IsRUFBR0MscUJBQWdCLEdBQzFDLGlCQW5EeUIsTUFtRHhCQyxrQ0FBdUIsRUFBR0MscUJBQWdCLEdBQzNDLGlCQXBEeUIsTUFvRHhCQyxrQ0FBdUIsRUFBR0Msc0JBQWlCLEdBQzVDLGlCQXJEeUIsTUFxRHhCQyxtQ0FBd0IsRUFBR0MsY0FBaUIsR0FDN0MsaUJBdER5QixNQXNEeEJDLG1DQUF3QixFQUFHQyxzQkFBaUIsR0FDN0MsaUJBdkR5QixNQXVEeEJDLG1DQUF3QixFQUFHQyxzQkFBaUIsR0FDN0MsaUJBeER5QixNQXdEeEJDLG1DQUF3QixFQUFHQyxpQkFBaUIsR0FDN0MsaUJBekR5QixNQXlEeEJDLG9DQUF5QixFQUFHQyxtQkFBaUIsR0FDOUMsaUJBMUR5QixNQTBEeEJDLG9DQUF5QixFQUFHQyxvQkFBa0IsR0FDL0MsaUJBM0R5QixNQTJEeEJDLHFDQUEwQixFQUFHQyxxQkFBbUIsR0FDakQsaUJBNUR5QixNQTREeEJDLHNDQUEyQixFQUFHQyxtQkFBbUIsR0FDbEQsaUJBN0R5QixNQTZEeEJDLHNDQUEyQixFQUFHQyxvQkFBb0IsR0FDbkQsaUJBOUR5QixNQThEeEJDLHNDQUEyQixFQUFHQyx5QkFBb0IsR0FDbkQsaUJBL0R5QixNQStEeEJDLHNDQUEyQixFQUFHQyxnQkFBb0IsR0FDbkQsaUJBaEV5QixNQWdFeEJDLHNDQUEyQixFQUFHQyxjQUFvQixHQUNuRCxpQkFqRXlCLE1BaUV4QkMsdUNBQTRCLEVBQUdDLHFCQUFxQixHQUNyRCxpQkFsRXlCLE1Ba0V4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkFuRXlCLE1BbUV4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkFwRXlCLE1Bb0V4QkMsdUNBQTRCLEVBQUdDLGVBQXFCLEdBQ3JELGlCQXJFeUIsTUFxRXhCQyx3Q0FBNkIsRUFBR0MsMkJBQXNCLEdBQ3ZELGlCQXRFeUIsTUFzRXhCQyx3Q0FBNkIsRUFBR0MsMkJBQXNCLEdBQ3ZELGlCQXZFeUIsTUF1RXhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQXhFeUIsTUF3RXhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQXpFeUIsTUF5RXhCQyx5Q0FBOEIsRUFBR0MsNEJBQXVCLEdBQ3pELGlCQTFFeUIsTUEwRXhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQTNFeUIsTUEyRXhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQTVFeUIsTUE0RXhCQywyQ0FBZ0MsRUFBR0MsbUJBQXlCLEdBQzdELGlCQTdFeUIsTUE2RXhCQywyQ0FBZ0MsRUFBR0Msb0JBQXlCLEdBQzdELGlCQTlFeUIsTUE4RXhCQyw0Q0FBaUMsRUFBR0MsbUJBQXlCLEdBQzlELGlCQS9FeUIsTUErRXhCQyw0Q0FBaUMsRUFBR0Msb0JBQXlCLEdBQzlELGlCQWhGeUIsTUFnRnhCQyw0Q0FBaUMsRUFBR0MscUJBQTBCLEdBQy9ELGlCQWpGeUIsTUFpRnhCQyw2Q0FBa0MsRUFBR0Msb0JBQTBCLEdBQ2hFLGlCQWxGeUIsTUFrRnhCQyw2Q0FBa0MsRUFBR0Msc0JBQTJCLEdBbEZ4QztJQXFGM0IsV0FBZXBLIn0=

package/lib/preamble.js CHANGED Viewed

@@ -2,72 +2,72 @@
 Object.defineProperty(exports, "__esModule", {
     value: true
 });
-var _type = /*#__PURE__*/ _interop_require_default(require("./ontology/type"));
-var _term = /*#__PURE__*/ _interop_require_default(require("./ontology/term"));
-var _rule = /*#__PURE__*/ _interop_require_default(require("./ontology/rule"));
-var _step = /*#__PURE__*/ _interop_require_default(require("./ontology/step"));
-var _label = /*#__PURE__*/ _interop_require_default(require("./ontology/label"));
-var _axiom = /*#__PURE__*/ _interop_require_default(require("./ontology/axiom"));
-var _lemma = /*#__PURE__*/ _interop_require_default(require("./ontology/lemma"));
-var _frame = /*#__PURE__*/ _interop_require_default(require("./ontology/frame"));
-var _proof = /*#__PURE__*/ _interop_require_default(require("./ontology/proof"));
-var _error = /*#__PURE__*/ _interop_require_default(require("./ontology/error"));
-var _premise = /*#__PURE__*/ _interop_require_default(require("./ontology/premise"));
-var _theorem = /*#__PURE__*/ _interop_require_default(require("./ontology/theorem"));
-var _section = /*#__PURE__*/ _interop_require_default(require("./ontology/section"));
-var _equality = /*#__PURE__*/ _interop_require_default(require("./ontology/equality"));
-var _metaType = /*#__PURE__*/ _interop_require_default(require("./ontology/metaType"));
-var _subproof = /*#__PURE__*/ _interop_require_default(require("./ontology/subproof"));
-var _variable = /*#__PURE__*/ _interop_require_default(require("./ontology/variable"));
-var _property = /*#__PURE__*/ _interop_require_default(require("./ontology/property"));
-var _parameter = /*#__PURE__*/ _interop_require_default(require("./ontology/parameter"));
-var _reference = /*#__PURE__*/ _interop_require_default(require("./ontology/reference"));
-var _statement = /*#__PURE__*/ _interop_require_default(require("./ontology/statement"));
-var _judgement = /*#__PURE__*/ _interop_require_default(require("./ontology/judgement"));
-var _metaLemma = /*#__PURE__*/ _interop_require_default(require("./ontology/metaLemma"));
-var _deduction = /*#__PURE__*/ _interop_require_default(require("./ontology/deduction"));
-var _signature = /*#__PURE__*/ _interop_require_default(require("./ontology/signature"));
-var _typePrefix = /*#__PURE__*/ _interop_require_default(require("./ontology/typePrefix"));
-var _conjecture = /*#__PURE__*/ _interop_require_default(require("./ontology/conjecture"));
-var _conclusion = /*#__PURE__*/ _interop_require_default(require("./ontology/conclusion"));
-var _derivation = /*#__PURE__*/ _interop_require_default(require("./ontology/derivation"));
-var _combinator = /*#__PURE__*/ _interop_require_default(require("./ontology/combinator"));
-var _hypothesis = /*#__PURE__*/ _interop_require_default(require("./ontology/hypothesis"));
-var _assumption = /*#__PURE__*/ _interop_require_default(require("./ontology/assumption"));
-var _constructor = /*#__PURE__*/ _interop_require_default(require("./ontology/constructor"));
-var _supposition = /*#__PURE__*/ _interop_require_default(require("./ontology/supposition"));
-var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./ontology/metatheorem"));
-var _equivalence = /*#__PURE__*/ _interop_require_default(require("./ontology/equivalence"));
-var _equivalences = /*#__PURE__*/ _interop_require_default(require("./ontology/equivalences"));
-var _metavariable = /*#__PURE__*/ _interop_require_default(require("./ontology/metavariable"));
-var _substitutions = /*#__PURE__*/ _interop_require_default(require("./ontology/substitutions"));
-var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./ontology/procedureCall"));
-var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./ontology/subDerivation"));
-var _type1 = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/type"));
-var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./ontology/propertyRelation"));
-var _defined = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/defined"));
-var _term1 = /*#__PURE__*/ _interop_require_default(require("./ontology/substitution/term"));
-var _frame1 = /*#__PURE__*/ _interop_require_default(require("./ontology/substitution/frame"));
-var _subproof1 = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/subproof"));
-var _property1 = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/property"));
-var _procedureReference = /*#__PURE__*/ _interop_require_default(require("./ontology/procedureReference"));
-var _contained = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/contained"));
-var _satisfies = /*#__PURE__*/ _interop_require_default(require("./ontology/assertion/satisfies"));
-var _variable1 = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/variable"));
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("./ontology/combinator/bracketed"));
-var _bracketed1 = /*#__PURE__*/ _interop_require_default(require("./ontology/constructor/bracketed"));
-var _simpleType = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/simpleType"));
-var _statement1 = /*#__PURE__*/ _interop_require_default(require("./ontology/substitution/statement"));
-var _reference1 = /*#__PURE__*/ _interop_require_default(require("./ontology/substitution/reference"));
-var _combinator1 = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/combinator"));
-var _typePrefix1 = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/typePrefix"));
-var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/constructor"));
-var _complexType = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/complexType"));
-var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./ontology/declaration/metavariable"));
+var _type = /*#__PURE__*/ _interop_require_default(require("./element/type"));
+var _term = /*#__PURE__*/ _interop_require_default(require("./element/term"));
+var _rule = /*#__PURE__*/ _interop_require_default(require("./element/rule"));
+var _step = /*#__PURE__*/ _interop_require_default(require("./element/step"));
+var _label = /*#__PURE__*/ _interop_require_default(require("./element/label"));
+var _axiom = /*#__PURE__*/ _interop_require_default(require("./element/axiom"));
+var _lemma = /*#__PURE__*/ _interop_require_default(require("./element/lemma"));
+var _frame = /*#__PURE__*/ _interop_require_default(require("./element/frame"));
+var _proof = /*#__PURE__*/ _interop_require_default(require("./element/proof"));
+var _error = /*#__PURE__*/ _interop_require_default(require("./element/error"));
+var _premise = /*#__PURE__*/ _interop_require_default(require("./element/premise"));
+var _theorem = /*#__PURE__*/ _interop_require_default(require("./element/theorem"));
+var _section = /*#__PURE__*/ _interop_require_default(require("./element/section"));
+var _equality = /*#__PURE__*/ _interop_require_default(require("./element/equality"));
+var _metaType = /*#__PURE__*/ _interop_require_default(require("./element/metaType"));
+var _subproof = /*#__PURE__*/ _interop_require_default(require("./element/subproof"));
+var _variable = /*#__PURE__*/ _interop_require_default(require("./element/variable"));
+var _property = /*#__PURE__*/ _interop_require_default(require("./element/property"));
+var _parameter = /*#__PURE__*/ _interop_require_default(require("./element/parameter"));
+var _reference = /*#__PURE__*/ _interop_require_default(require("./element/reference"));
+var _statement = /*#__PURE__*/ _interop_require_default(require("./element/statement"));
+var _judgement = /*#__PURE__*/ _interop_require_default(require("./element/judgement"));
+var _metaLemma = /*#__PURE__*/ _interop_require_default(require("./element/metaLemma"));
+var _deduction = /*#__PURE__*/ _interop_require_default(require("./element/deduction"));
+var _signature = /*#__PURE__*/ _interop_require_default(require("./element/signature"));
+var _typePrefix = /*#__PURE__*/ _interop_require_default(require("./element/typePrefix"));
+var _conjecture = /*#__PURE__*/ _interop_require_default(require("./element/conjecture"));
+var _conclusion = /*#__PURE__*/ _interop_require_default(require("./element/conclusion"));
+var _derivation = /*#__PURE__*/ _interop_require_default(require("./element/derivation"));
+var _hypothesis = /*#__PURE__*/ _interop_require_default(require("./element/hypothesis"));
+var _assumption = /*#__PURE__*/ _interop_require_default(require("./element/assumption"));
+var _supposition = /*#__PURE__*/ _interop_require_default(require("./element/supposition"));
+var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./element/metatheorem"));
+var _equivalence = /*#__PURE__*/ _interop_require_default(require("./element/equivalence"));
+var _equivalences = /*#__PURE__*/ _interop_require_default(require("./element/equivalences"));
+var _metavariable = /*#__PURE__*/ _interop_require_default(require("./element/metavariable"));
+var _substitutions = /*#__PURE__*/ _interop_require_default(require("./element/substitutions"));
+var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./element/procedureCall"));
+var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./element/subDerivation"));
+var _type1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/type"));
+var _constructor = /*#__PURE__*/ _interop_require_default(require("./element/term/constructor"));
+var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./element/propertyRelation"));
+var _defined = /*#__PURE__*/ _interop_require_default(require("./element/assertion/defined"));
+var _term1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/term"));
+var _frame1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/frame"));
+var _subproof1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/subproof"));
+var _property1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/property"));
+var _procedureReference = /*#__PURE__*/ _interop_require_default(require("./element/procedureReference"));
+var _contained = /*#__PURE__*/ _interop_require_default(require("./element/assertion/contained"));
+var _satisfies = /*#__PURE__*/ _interop_require_default(require("./element/assertion/satisfies"));
+var _variable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/variable"));
+var _combinator = /*#__PURE__*/ _interop_require_default(require("./element/statement/combinator"));
+var _simpleType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/simpleType"));
+var _statement1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/statement"));
+var _reference1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/reference"));
+var _combinator1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/combinator"));
+var _typePrefix1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/typePrefix"));
+var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/constructor"));
+var _complexType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/complexType"));
+var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/metavariable"));
+var _bracketed = /*#__PURE__*/ _interop_require_default(require("./element/term/constructor/bracketed"));
+var _bracketed1 = /*#__PURE__*/ _interop_require_default(require("./element/statement/combinator/bracketed"));
 function _interop_require_default(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9wcmVhbWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vb250b2xvZ3kvdHlwZVwiO1xuaW1wb3J0IFRlcm0gZnJvbSBcIi4vb250b2xvZ3kvdGVybVwiO1xuaW1wb3J0IFJ1bGUgZnJvbSBcIi4vb250b2xvZ3kvcnVsZVwiO1xuaW1wb3J0IFN0ZXAgZnJvbSBcIi4vb250b2xvZ3kvc3RlcFwiO1xuaW1wb3J0IExhYmVsIGZyb20gXCIuL29udG9sb2d5L2xhYmVsXCI7XG5pbXBvcnQgQXhpb20gZnJvbSBcIi4vb250b2xvZ3kvYXhpb21cIjtcbmltcG9ydCBMZW1tYSBmcm9tIFwiLi9vbnRvbG9neS9sZW1tYVwiO1xuaW1wb3J0IEZyYW1lIGZyb20gXCIuL29udG9sb2d5L2ZyYW1lXCI7XG5pbXBvcnQgUHJvb2YgZnJvbSBcIi4vb250b2xvZ3kvcHJvb2ZcIjtcbmltcG9ydCBFcnJvciBmcm9tIFwiLi9vbnRvbG9neS9lcnJvclwiO1xuaW1wb3J0IFByZW1pc2UgZnJvbSBcIi4vb250b2xvZ3kvcHJlbWlzZVwiO1xuaW1wb3J0IFRoZW9yZW0gZnJvbSBcIi4vb250b2xvZ3kvdGhlb3JlbVwiO1xuaW1wb3J0IFNlY3Rpb24gZnJvbSBcIi4vb250b2xvZ3kvc2VjdGlvblwiO1xuaW1wb3J0IEVxdWFsaXR5IGZyb20gXCIuL29udG9sb2d5L2VxdWFsaXR5XCI7XG5pbXBvcnQgTWV0YVR5cGUgZnJvbSBcIi4vb250b2xvZ3kvbWV0YVR5cGVcIjtcbmltcG9ydCBTdWJwcm9vZiBmcm9tIFwiLi9vbnRvbG9neS9zdWJwcm9vZlwiO1xuaW1wb3J0IFZhcmlhYmxlIGZyb20gXCIuL29udG9sb2d5L3ZhcmlhYmxlXCI7XG5pbXBvcnQgUHJvcGVydHkgZnJvbSBcIi4vb250b2xvZ3kvcHJvcGVydHlcIjtcbmltcG9ydCBQYXJhbWV0ZXIgZnJvbSBcIi4vb250b2xvZ3kvcGFyYW1ldGVyXCI7XG5pbXBvcnQgUmVmZXJlbmNlIGZyb20gXCIuL29udG9sb2d5L3JlZmVyZW5jZVwiO1xuaW1wb3J0IFN0YXRlbWVudCBmcm9tIFwiLi9vbnRvbG9neS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBKdWRnZW1lbnQgZnJvbSBcIi4vb250b2xvZ3kvanVkZ2VtZW50XCI7XG5pbXBvcnQgTWV0YUxlbW1hIGZyb20gXCIuL29udG9sb2d5L21ldGFMZW1tYVwiO1xuaW1wb3J0IERlZHVjdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZWR1Y3Rpb25cIjtcbmltcG9ydCBTaWduYXR1cmUgZnJvbSBcIi4vb250b2xvZ3kvc2lnbmF0dXJlXCI7XG5pbXBvcnQgVHlwZVByZWZpeCBmcm9tIFwiLi9vbnRvbG9neS90eXBlUHJlZml4XCI7XG5pbXBvcnQgQ29uamVjdHVyZSBmcm9tIFwiLi9vbnRvbG9neS9jb25qZWN0dXJlXCI7XG5pbXBvcnQgQ29uY2x1c2lvbiBmcm9tIFwiLi9vbnRvbG9neS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgRGVyaXZhdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZXJpdmF0aW9uXCI7XG5pbXBvcnQgQ29tYmluYXRvciBmcm9tIFwiLi9vbnRvbG9neS9jb21iaW5hdG9yXCI7XG5pbXBvcnQgSHlwb3RoZXNpcyBmcm9tIFwiLi9vbnRvbG9neS9oeXBvdGhlc2lzXCI7XG5pbXBvcnQgQXNzdW1wdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9hc3N1bXB0aW9uXCI7XG5pbXBvcnQgQ29uc3RydWN0b3IgZnJvbSBcIi4vb250b2xvZ3kvY29uc3RydWN0b3JcIjtcbmltcG9ydCBTdXBwb3NpdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtIGZyb20gXCIuL29udG9sb2d5L21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgRXF1aXZhbGVuY2UgZnJvbSBcIi4vb250b2xvZ3kvZXF1aXZhbGVuY2VcIjtcbmltcG9ydCBFcXVpdmFsZW5jZXMgZnJvbSBcIi4vb250b2xvZ3kvZXF1aXZhbGVuY2VzXCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlIGZyb20gXCIuL29udG9sb2d5L21ldGF2YXJpYWJsZVwiO1xuaW1wb3J0IFN1YnN0aXR1dGlvbnMgZnJvbSBcIi4vb250b2xvZ3kvc3Vic3RpdHV0aW9uc1wiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGwgZnJvbSBcIi4vb250b2xvZ3kvcHJvY2VkdXJlQ2FsbFwiO1xuaW1wb3J0IFN1YkRlcml2YXRpb24gZnJvbSBcIi4vb250b2xvZ3kvc3ViRGVyaXZhdGlvblwiO1xuaW1wb3J0IFR5cGVBc3NlcnRpb24gZnJvbSBcIi4vb250b2xvZ3kvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uIGZyb20gXCIuL29udG9sb2d5L3Byb3BlcnR5UmVsYXRpb25cIjtcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uIGZyb20gXCIuL29udG9sb2d5L2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgVGVybVN1YnN0aXR1dGlvbiBmcm9tIFwiLi9vbnRvbG9neS9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uIGZyb20gXCIuL29udG9sb2d5L3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uIGZyb20gXCIuL29udG9sb2d5L2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IFByb3BlcnR5QXNzZXJ0aW9uIGZyb20gXCIuL29udG9sb2d5L2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFByb2NlZHVyZVJlZmVyZW5jZSBmcm9tIFwiLi9vbnRvbG9neS9wcm9jZWR1cmVSZWZlcmVuY2VcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb24gZnJvbSBcIi4vb250b2xvZ3kvYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFNhdGlzZmllc0Fzc2VydGlvbiBmcm9tIFwiLi9vbnRvbG9neS9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgVmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IEJyYWNrZXRlZENvbWJpbmF0b3IgZnJvbSBcIi4vb250b2xvZ3kvY29tYmluYXRvci9icmFja2V0ZWRcIjtcbmltcG9ydCBCcmFja2V0ZWRDb25zdHJ1Y3RvciBmcm9tIFwiLi9vbnRvbG9neS9jb25zdHJ1Y3Rvci9icmFja2V0ZWRcIjtcbmltcG9ydCBTaW1wbGVUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vb250b2xvZ3kvZGVjbGFyYXRpb24vc2ltcGxlVHlwZVwiO1xuaW1wb3J0IFN0YXRlbWVudFN1YnN0aXR1dGlvbiBmcm9tIFwiLi9vbnRvbG9neS9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgUmVmZXJlbmNlU3Vic3RpdHV0aW9uIGZyb20gXCIuL29udG9sb2d5L3N1YnN0aXR1dGlvbi9yZWZlcmVuY2VcIjtcbmltcG9ydCBDb21iaW5hdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4vb250b2xvZ3kvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IFR5cGVQcmVmaXhEZWNsYXJhdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZWNsYXJhdGlvbi90eXBlUHJlZml4XCI7XG5pbXBvcnQgQ29uc3RydWN0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IENvbXBsZXhUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vb250b2xvZ3kvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9vbnRvbG9neS9kZWNsYXJhdGlvbi9tZXRhdmFyaWFibGVcIjtcbiJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7OzsyREFFaUI7MkRBQ0E7MkRBQ0E7MkRBQ0E7NERBQ0M7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7OERBQ0U7OERBQ0E7OERBQ0E7K0RBQ0M7K0RBQ0E7K0RBQ0E7K0RBQ0E7K0RBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7aUVBQ0M7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7a0VBQ0M7a0VBQ0E7a0VBQ0E7a0VBQ0E7bUVBQ0M7bUVBQ0E7b0VBQ0M7b0VBQ0E7b0VBQ0E7NERBQ0E7dUVBQ0c7OERBQ0E7NERBQ0E7NkRBQ0M7Z0VBQ0E7Z0VBQ0E7eUVBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0M7Z0VBQ0E7aUVBQ0M7aUVBQ0M7aUVBQ0E7aUVBQ0E7a0VBQ0E7a0VBQ0E7bUVBQ0M7a0VBQ0E7b0VBQ0MifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9wcmVhbWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vZWxlbWVudC90eXBlXCI7XG5pbXBvcnQgVGVybSBmcm9tIFwiLi9lbGVtZW50L3Rlcm1cIjtcbmltcG9ydCBSdWxlIGZyb20gXCIuL2VsZW1lbnQvcnVsZVwiO1xuaW1wb3J0IFN0ZXAgZnJvbSBcIi4vZWxlbWVudC9zdGVwXCI7XG5pbXBvcnQgTGFiZWwgZnJvbSBcIi4vZWxlbWVudC9sYWJlbFwiO1xuaW1wb3J0IEF4aW9tIGZyb20gXCIuL2VsZW1lbnQvYXhpb21cIjtcbmltcG9ydCBMZW1tYSBmcm9tIFwiLi9lbGVtZW50L2xlbW1hXCI7XG5pbXBvcnQgRnJhbWUgZnJvbSBcIi4vZWxlbWVudC9mcmFtZVwiO1xuaW1wb3J0IFByb29mIGZyb20gXCIuL2VsZW1lbnQvcHJvb2ZcIjtcbmltcG9ydCBFcnJvciBmcm9tIFwiLi9lbGVtZW50L2Vycm9yXCI7XG5pbXBvcnQgUHJlbWlzZSBmcm9tIFwiLi9lbGVtZW50L3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtIGZyb20gXCIuL2VsZW1lbnQvdGhlb3JlbVwiO1xuaW1wb3J0IFNlY3Rpb24gZnJvbSBcIi4vZWxlbWVudC9zZWN0aW9uXCI7XG5pbXBvcnQgRXF1YWxpdHkgZnJvbSBcIi4vZWxlbWVudC9lcXVhbGl0eVwiO1xuaW1wb3J0IE1ldGFUeXBlIGZyb20gXCIuL2VsZW1lbnQvbWV0YVR5cGVcIjtcbmltcG9ydCBTdWJwcm9vZiBmcm9tIFwiLi9lbGVtZW50L3N1YnByb29mXCI7XG5pbXBvcnQgVmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC92YXJpYWJsZVwiO1xuaW1wb3J0IFByb3BlcnR5IGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlcIjtcbmltcG9ydCBQYXJhbWV0ZXIgZnJvbSBcIi4vZWxlbWVudC9wYXJhbWV0ZXJcIjtcbmltcG9ydCBSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9yZWZlcmVuY2VcIjtcbmltcG9ydCBTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnRcIjtcbmltcG9ydCBKdWRnZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWEgZnJvbSBcIi4vZWxlbWVudC9tZXRhTGVtbWFcIjtcbmltcG9ydCBEZWR1Y3Rpb24gZnJvbSBcIi4vZWxlbWVudC9kZWR1Y3Rpb25cIjtcbmltcG9ydCBTaWduYXR1cmUgZnJvbSBcIi4vZWxlbWVudC9zaWduYXR1cmVcIjtcbmltcG9ydCBUeXBlUHJlZml4IGZyb20gXCIuL2VsZW1lbnQvdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbmplY3R1cmUgZnJvbSBcIi4vZWxlbWVudC9jb25qZWN0dXJlXCI7XG5pbXBvcnQgQ29uY2x1c2lvbiBmcm9tIFwiLi9lbGVtZW50L2NvbmNsdXNpb25cIjtcbmltcG9ydCBEZXJpdmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVyaXZhdGlvblwiO1xuaW1wb3J0IEh5cG90aGVzaXMgZnJvbSBcIi4vZWxlbWVudC9oeXBvdGhlc2lzXCI7XG5pbXBvcnQgQXNzdW1wdGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc3VtcHRpb25cIjtcbmltcG9ydCBTdXBwb3NpdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1cHBvc2l0aW9uXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW0gZnJvbSBcIi4vZWxlbWVudC9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IEVxdWl2YWxlbmNlIGZyb20gXCIuL2VsZW1lbnQvZXF1aXZhbGVuY2VcIjtcbmltcG9ydCBFcXVpdmFsZW5jZXMgZnJvbSBcIi4vZWxlbWVudC9lcXVpdmFsZW5jZXNcIjtcbmltcG9ydCBNZXRhdmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBTdWJzdGl0dXRpb25zIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uc1wiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGwgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YkRlcml2YXRpb25cIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBDb25zdHJ1Y3RvclRlcm0gZnJvbSBcIi4vZWxlbWVudC90ZXJtL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3Byb3BlcnR5UmVsYXRpb25cIjtcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL2RlZmluZWRcIjtcbmltcG9ydCBUZXJtU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3Rlcm1cIjtcbmltcG9ydCBGcmFtZVN1YnN0aXR1dGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3N1YnByb29mXCI7XG5pbXBvcnQgUHJvcGVydHlBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vcHJvcGVydHlcIjtcbmltcG9ydCBQcm9jZWR1cmVSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVSZWZlcmVuY2VcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vY29udGFpbmVkXCI7XG5pbXBvcnQgU2F0aXNmaWVzQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFZhcmlhYmxlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IENvbWJpbmF0b3JTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnQvY29tYmluYXRvclwiO1xuaW1wb3J0IFNpbXBsZVR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL3NpbXBsZVR5cGVcIjtcbmltcG9ydCBTdGF0ZW1lbnRTdWJzdGl0dXRpb24gZnJvbSBcIi4vZWxlbWVudC9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgUmVmZXJlbmNlU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3JlZmVyZW5jZVwiO1xuaW1wb3J0IENvbWJpbmF0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBUeXBlUHJlZml4RGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi90eXBlUHJlZml4XCI7XG5pbXBvcnQgQ29uc3RydWN0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgQ29tcGxleFR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbXBsZXhUeXBlXCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBCcmFja2V0ZWRDb25zdHJ1Y3RvclRlcm0gZnJvbSBcIi4vZWxlbWVudC90ZXJtL2NvbnN0cnVjdG9yL2JyYWNrZXRlZFwiO1xuaW1wb3J0IEJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnQvY29tYmluYXRvci9icmFja2V0ZWRcIjtcbiJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7OzsyREFFaUI7MkRBQ0E7MkRBQ0E7MkRBQ0E7NERBQ0M7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7OERBQ0U7OERBQ0E7OERBQ0E7K0RBQ0M7K0RBQ0E7K0RBQ0E7K0RBQ0E7K0RBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7aUVBQ0M7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7a0VBQ0M7a0VBQ0E7a0VBQ0E7bUVBQ0M7bUVBQ0E7b0VBQ0M7b0VBQ0E7b0VBQ0E7NERBQ0E7a0VBQ0U7dUVBQ0M7OERBQ0E7NERBQ0E7NkRBQ0M7Z0VBQ0E7Z0VBQ0E7eUVBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0M7aUVBQ0E7aUVBQ0U7aUVBQ0E7aUVBQ0E7a0VBQ0E7a0VBQ0E7bUVBQ0M7a0VBQ0E7b0VBQ0M7Z0VBQ0M7aUVBQ0kifQ==

package/lib/process/assign.js ADDED Viewed

@@ -0,0 +1,58 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+function _export(target, all) {
+    for(var name in all)Object.defineProperty(target, name, {
+        enumerable: true,
+        get: Object.getOwnPropertyDescriptor(all, name).get
+    });
+}
+_export(exports, {
+    get default () {
+        return assignAssignments;
+    },
+    get equalityAssignmentFromEquality () {
+        return equalityAssignmentFromEquality;
+    },
+    get judgementAssignmentFromJudgement () {
+        return judgementAssignmentFromJudgement;
+    },
+    get variableAssignmentFromVariable () {
+        return variableAssignmentFromVariable;
+    }
+});
+function judgementAssignmentFromJudgement(judgement) {
+    return function(context) {
+        var judgementString = judgement.getString(), judgementAdded = context.addJudgement(judgement), assigned = judgementAdded; ///
+        assigned ? context.trace("Assigned the '".concat(judgementString, "' judgement.")) : context.debug("Unable to assign the '".concat(judgementString, "' judgement."));
+        return assigned;
+    };
+}
+function equalityAssignmentFromEquality(equality) {
+    return function(context) {
+        var equalityString = equality.getString(), equalityAdded = context.addEquality(equality), assigned = equalityAdded; ///
+        assigned ? context.trace("Assigned the '".concat(equalityString, "' equality.")) : context.debug("Unable to assign the '".concat(equalityString, "' equality."));
+        return assigned;
+    };
+}
+function variableAssignmentFromVariable(variable) {
+    return function(context) {
+        var nested = false;
+        context.addVariable(variable, nested);
+        var variableTypeString = variable.getTypeString(), variableString = variable.getString(), assigned = true;
+        assigned ? context.trace("Assigned the '".concat(variableString, "' variable with type '").concat(variableTypeString, "'.")) : context.debug("Unable to assign the '".concat(variableString, "' variable with type '").concat(variableTypeString, "'."));
+        return assigned;
+    };
+}
+function assignAssignments(assignments, context) {
+    var assignmentsAssigned = assignments.every(function(assigment) {
+        var assigned = assigment(context);
+        if (assigned) {
+            return true;
+        }
+    });
+    return assignmentsAssigned;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2Fzc2lnbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGp1ZGdlbWVudEFzc2lnbm1lbnRGcm9tSnVkZ2VtZW50KGp1ZGdlbWVudCkge1xuICByZXR1cm4gZnVuY3Rpb24gKGNvbnRleHQpIHtcbiAgICBjb25zdCBqdWRnZW1lbnRTdHJpbmcgPSBqdWRnZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgICAganVkZ2VtZW50QWRkZWQgPSBjb250ZXh0LmFkZEp1ZGdlbWVudChqdWRnZW1lbnQpLFxuICAgICAgICAgIGFzc2lnbmVkID0ganVkZ2VtZW50QWRkZWQ7IC8vL1xuXG4gICAgYXNzaWduZWQgP1xuICAgICAgY29udGV4dC50cmFjZShgQXNzaWduZWQgdGhlICcke2p1ZGdlbWVudFN0cmluZ30nIGp1ZGdlbWVudC5gKSA6XG4gICAgICAgIGNvbnRleHQuZGVidWcoYFVuYWJsZSB0byBhc3NpZ24gdGhlICcke2p1ZGdlbWVudFN0cmluZ30nIGp1ZGdlbWVudC5gKTtcblxuICAgIHJldHVybiBhc3NpZ25lZDtcbiAgfTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGVxdWFsaXR5QXNzaWdubWVudEZyb21FcXVhbGl0eShlcXVhbGl0eSkge1xuICByZXR1cm4gZnVuY3Rpb24gKGNvbnRleHQpIHtcbiAgICBjb25zdCBlcXVhbGl0eVN0cmluZyA9IGVxdWFsaXR5LmdldFN0cmluZygpLFxuICAgICAgICAgIGVxdWFsaXR5QWRkZWQgPSBjb250ZXh0LmFkZEVxdWFsaXR5KGVxdWFsaXR5KSxcbiAgICAgICAgICBhc3NpZ25lZCA9IGVxdWFsaXR5QWRkZWQ7IC8vL1xuXG4gICAgYXNzaWduZWQgP1xuICAgICAgY29udGV4dC50cmFjZShgQXNzaWduZWQgdGhlICcke2VxdWFsaXR5U3RyaW5nfScgZXF1YWxpdHkuYCkgOlxuICAgICAgICBjb250ZXh0LmRlYnVnKGBVbmFibGUgdG8gYXNzaWduIHRoZSAnJHtlcXVhbGl0eVN0cmluZ30nIGVxdWFsaXR5LmApO1xuXG4gICAgcmV0dXJuIGFzc2lnbmVkO1xuICB9O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdmFyaWFibGVBc3NpZ25tZW50RnJvbVZhcmlhYmxlKHZhcmlhYmxlKSB7XG4gIHJldHVybiBmdW5jdGlvbiAoY29udGV4dCkge1xuICAgIGNvbnN0IG5lc3RlZCA9IGZhbHNlO1xuXG4gICAgY29udGV4dC5hZGRWYXJpYWJsZSh2YXJpYWJsZSwgbmVzdGVkKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlVHlwZVN0cmluZyA9IHZhcmlhYmxlLmdldFR5cGVTdHJpbmcoKSxcbiAgICAgICAgICB2YXJpYWJsZVN0cmluZyA9IHZhcmlhYmxlLmdldFN0cmluZygpLFxuICAgICAgICAgIGFzc2lnbmVkID0gdHJ1ZTtcblxuICAgIGFzc2lnbmVkID9cbiAgICAgIGNvbnRleHQudHJhY2UoYEFzc2lnbmVkIHRoZSAnJHt2YXJpYWJsZVN0cmluZ30nIHZhcmlhYmxlIHdpdGggdHlwZSAnJHt2YXJpYWJsZVR5cGVTdHJpbmd9Jy5gKSA6XG4gICAgICAgIGNvbnRleHQuZGVidWcoYFVuYWJsZSB0byBhc3NpZ24gdGhlICcke3ZhcmlhYmxlU3RyaW5nfScgdmFyaWFibGUgd2l0aCB0eXBlICcke3ZhcmlhYmxlVHlwZVN0cmluZ30nLmApO1xuXG4gICAgcmV0dXJuIGFzc2lnbmVkO1xuICB9O1xufVxuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiBhc3NpZ25Bc3NpZ25tZW50cyhhc3NpZ25tZW50cywgY29udGV4dCkge1xuICBjb25zdCBhc3NpZ25tZW50c0Fzc2lnbmVkID0gYXNzaWdubWVudHMuZXZlcnkoKGFzc2lnbWVudCkgPT4ge1xuICAgIGNvbnN0IGFzc2lnbmVkID0gYXNzaWdtZW50KGNvbnRleHQpO1xuXG4gICAgaWYgKGFzc2lnbmVkKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBhc3NpZ25tZW50c0Fzc2lnbmVkO1xufVxuIl0sIm5hbWVzIjpbImFzc2lnbkFzc2lnbm1lbnRzIiwiZXF1YWxpdHlBc3NpZ25tZW50RnJvbUVxdWFsaXR5IiwianVkZ2VtZW50QXNzaWdubWVudEZyb21KdWRnZW1lbnQiLCJ2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVmFyaWFibGUiLCJqdWRnZW1lbnQiLCJjb250ZXh0IiwianVkZ2VtZW50U3RyaW5nIiwiZ2V0U3RyaW5nIiwianVkZ2VtZW50QWRkZWQiLCJhZGRKdWRnZW1lbnQiLCJhc3NpZ25lZCIsInRyYWNlIiwiZGVidWciLCJlcXVhbGl0eSIsImVxdWFsaXR5U3RyaW5nIiwiZXF1YWxpdHlBZGRlZCIsImFkZEVxdWFsaXR5IiwidmFyaWFibGUiLCJuZXN0ZWQiLCJhZGRWYXJpYWJsZSIsInZhcmlhYmxlVHlwZVN0cmluZyIsImdldFR5cGVTdHJpbmciLCJ2YXJpYWJsZVN0cmluZyIsImFzc2lnbm1lbnRzIiwiYXNzaWdubWVudHNBc3NpZ25lZCIsImV2ZXJ5IiwiYXNzaWdtZW50Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFnREE7ZUFBd0JBOztRQWhDUkM7ZUFBQUE7O1FBZEFDO2VBQUFBOztRQTRCQUM7ZUFBQUE7OztBQTVCVCxTQUFTRCxpQ0FBaUNFLFNBQVM7SUFDeEQsT0FBTyxTQUFVQyxPQUFPO1FBQ3RCLElBQU1DLGtCQUFrQkYsVUFBVUcsU0FBUyxJQUNyQ0MsaUJBQWlCSCxRQUFRSSxZQUFZLENBQUNMLFlBQ3RDTSxXQUFXRixnQkFBZ0IsR0FBRztRQUVwQ0UsV0FDRUwsUUFBUU0sS0FBSyxDQUFDLEFBQUMsaUJBQWdDLE9BQWhCTCxpQkFBZ0IsbUJBQzdDRCxRQUFRTyxLQUFLLENBQUMsQUFBQyx5QkFBd0MsT0FBaEJOLGlCQUFnQjtRQUUzRCxPQUFPSTtJQUNUO0FBQ0Y7QUFFTyxTQUFTVCwrQkFBK0JZLFFBQVE7SUFDckQsT0FBTyxTQUFVUixPQUFPO1FBQ3RCLElBQU1TLGlCQUFpQkQsU0FBU04sU0FBUyxJQUNuQ1EsZ0JBQWdCVixRQUFRVyxXQUFXLENBQUNILFdBQ3BDSCxXQUFXSyxlQUFlLEdBQUc7UUFFbkNMLFdBQ0VMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGlCQUErQixPQUFmRyxnQkFBZSxrQkFDNUNULFFBQVFPLEtBQUssQ0FBQyxBQUFDLHlCQUF1QyxPQUFmRSxnQkFBZTtRQUUxRCxPQUFPSjtJQUNUO0FBQ0Y7QUFFTyxTQUFTUCwrQkFBK0JjLFFBQVE7SUFDckQsT0FBTyxTQUFVWixPQUFPO1FBQ3RCLElBQU1hLFNBQVM7UUFFZmIsUUFBUWMsV0FBVyxDQUFDRixVQUFVQztRQUU5QixJQUFNRSxxQkFBcUJILFNBQVNJLGFBQWEsSUFDM0NDLGlCQUFpQkwsU0FBU1YsU0FBUyxJQUNuQ0csV0FBVztRQUVqQkEsV0FDRUwsUUFBUU0sS0FBSyxDQUFDLEFBQUMsaUJBQXVEUyxPQUF2Q0UsZ0JBQWUsMEJBQTJDLE9BQW5CRixvQkFBbUIsU0FDdkZmLFFBQVFPLEtBQUssQ0FBQyxBQUFDLHlCQUErRFEsT0FBdkNFLGdCQUFlLDBCQUEyQyxPQUFuQkYsb0JBQW1CO1FBRXJHLE9BQU9WO0lBQ1Q7QUFDRjtBQUVlLFNBQVNWLGtCQUFrQnVCLFdBQVcsRUFBRWxCLE9BQU87SUFDNUQsSUFBTW1CLHNCQUFzQkQsWUFBWUUsS0FBSyxDQUFDLFNBQUNDO1FBQzdDLElBQU1oQixXQUFXZ0IsVUFBVXJCO1FBRTNCLElBQUlLLFVBQVU7WUFDWixPQUFPO1FBQ1Q7SUFDRjtJQUVBLE9BQU9jO0FBQ1QifQ==

package/lib/process/instantiate.js CHANGED Viewed

@@ -9,36 +9,103 @@ function _export(target, all) {
     });
 }
 _export(exports, {
+    get bracketedCombinatorStatementString () {
+        return bracketedCombinatorStatementString;
+    },
+    get bracketedConstructorTermString () {
+        return bracketedConstructorTermString;
+    },
+    get instantiateBracketedCombinatorStatement () {
+        return instantiateBracketedCombinatorStatement;
+    },
+    get instantiateBracketedConstructorTerm () {
+        return instantiateBracketedConstructorTerm;
+    },
+    get instantiateEquivalence () {
+        return instantiateEquivalence;
+    },
     get instantiateFrameSubstitution () {
         return instantiateFrameSubstitution;
     },
+    get instantiateMetavariable () {
+        return instantiateMetavariable;
+    },
     get instantiateReferenceSubstitution () {
         return instantiateReferenceSubstitution;
     },
+    get instantiateStatement () {
+        return instantiateStatement;
+    },
     get instantiateStatementSubstitution () {
         return instantiateStatementSubstitution;
     },
+    get instantiateTerm () {
+        return instantiateTerm;
+    },
     get instantiateTermSubstitution () {
         return instantiateTermSubstitution;
+    },
+    get instantiateVariable () {
+        return instantiateVariable;
     }
 });
+var _nominal = /*#__PURE__*/ _interop_require_default(require("../context/nominal"));
 var _bnf = require("../utilities/bnf");
-var termSubtitutionnPlaceholderBNF = " _ ::= termSubstitution... <END_OF_LINE> ; ", frameSubtitutionnPlaceholderBNF = " _ ::= frameSubstitution... <END_OF_LINE> ; ", statementSubtitutionnPlaceholderBNF = " _ ::= statementSubstitution... <END_OF_LINE> ; ", referenceSubtitutionnPlaceholderBNF = " _ ::= referenceSubstitution... <END_OF_LINE> ; ", termSubtitutionnPlaceholderRule = (0, _bnf.ruleFromBNF)(termSubtitutionnPlaceholderBNF), frameSubtitutionnPlaceholderRule = (0, _bnf.ruleFromBNF)(frameSubtitutionnPlaceholderBNF), statementSubtitutionnPlaceholderRule = (0, _bnf.ruleFromBNF)(statementSubtitutionnPlaceholderBNF), referenceSubtitutionnPlaceholderRule = (0, _bnf.ruleFromBNF)(referenceSubtitutionnPlaceholderBNF);
+var _constants = require("../constants");
+var _metaTypeNames = require("../metaTypeNames");
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+var termPlaceholderBNF = " _ ::= term... <END_OF_LINE> ; ", variablePlaceholderBNF = " _ ::= variable... <END_OF_LINE> ; ", statementPlaceholderBNF = " _ ::= statement... <END_OF_LINE> ; ", equivalencePlaceholderBNF = " _ ::= equivalence... <END_OF_LINE> ; ", metavariablePlaceholderBNF = " _ ::= metavariable... <END_OF_LINE> ; ", termSubstitutionPlaceholderBNF = " _ ::= termSubstitution... <END_OF_LINE> ; ", frameSubstitutionPlaceholderBNF = " _ ::= frameSubstitution... <END_OF_LINE> ; ", statementSubstitutionPlaceholderBNF = " _ ::= statementSubstitution... <END_OF_LINE> ; ", referenceSubstitutionPlaceholderBNF = " _ ::= referenceSubstitution... <END_OF_LINE> ; ", termPlaceholderRule = (0, _bnf.ruleFromBNF)(termPlaceholderBNF), variablePlaceholderRule = (0, _bnf.ruleFromBNF)(variablePlaceholderBNF), statementPlaceholderRule = (0, _bnf.ruleFromBNF)(statementPlaceholderBNF), equivalencePlaceholderRule = (0, _bnf.ruleFromBNF)(equivalencePlaceholderBNF), metavariablePlaceholderRule = (0, _bnf.ruleFromBNF)(metavariablePlaceholderBNF), termSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(termSubstitutionPlaceholderBNF), frameSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(frameSubstitutionPlaceholderBNF), statementSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(statementSubstitutionPlaceholderBNF), referenceSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(referenceSubstitutionPlaceholderBNF);
+var bracketedConstructorTermNode = null, bracketedCombinatorStatementNode = null;
+var bracketedConstructorTermString = "(".concat(_constants.BASE_TYPE_SYMBOL, ")");
+var bracketedCombinatorStatementString = "(".concat(_metaTypeNames.STATEMENT_META_TYPE_NAME, ")");
+function instantiateTerm(string, context) {
+    return instantiate(termPlaceholderRule, string, context);
+}
+function instantiateVariable(string, context) {
+    return instantiate(variablePlaceholderRule, string, context);
+}
+function instantiateStatement(string, context) {
+    return instantiate(statementPlaceholderRule, string, context);
+}
+function instantiateEquivalence(string, context) {
+    return instantiate(equivalencePlaceholderRule, string, context);
+}
+function instantiateMetavariable(string, context) {
+    return instantiate(metavariablePlaceholderRule, string, context);
+}
 function instantiateTermSubstitution(string, context) {
-    return instantiate(termSubtitutionnPlaceholderRule, string, context);
+    return instantiate(termSubstitutionPlaceholderRule, string, context);
 }
 function instantiateFrameSubstitution(string, context) {
-    return instantiate(frameSubtitutionnPlaceholderRule, string, context);
+    return instantiate(frameSubstitutionPlaceholderRule, string, context);
 }
 function instantiateStatementSubstitution(string, context) {
-    return instantiate(statementSubtitutionnPlaceholderRule, string, context);
+    return instantiate(statementSubstitutionPlaceholderRule, string, context);
 }
 function instantiateReferenceSubstitution(string, context) {
-    return instantiate(referenceSubtitutionnPlaceholderRule, string, context);
+    return instantiate(referenceSubstitutionPlaceholderRule, string, context);
+}
+function instantiateBracketedConstructorTerm() {
+    if (bracketedConstructorTermNode === null) {
+        var placeholderRule = termPlaceholderRule, string = bracketedConstructorTermString, context = _nominal.default, node = instantiate(placeholderRule, string, context);
+        bracketedConstructorTermNode = node; ///
+    }
+    return bracketedConstructorTermNode;
+}
+function instantiateBracketedCombinatorStatement() {
+    if (bracketedCombinatorStatementNode === null) {
+        var placeholderRule = statementPlaceholderRule, string = bracketedCombinatorStatementString, context = _nominal.default, node = instantiate(placeholderRule, string, context);
+        bracketedCombinatorStatementNode = node; ///
+    }
+    return bracketedCombinatorStatementNode;
 }
 function instantiate(placeholderRule, string, context) {
     var node;
-    var lexer = context.getLexer(), parser = context.getParser(), content = "".concat(string, "\n"), startRule = placeholderRule, tokens = lexer.tokenise(content);
+    var lexer = context.getLexer(), parser = context.getParser(), content = "".concat(string, "\n"), tokens = lexer.tokenise(content), startRule = placeholderRule; ///
     node = parser.parse(tokens, startRule);
     var nonTerminalNode = node; ///
     nonTerminalNode.someChildNode(function(childNode) {
@@ -48,4 +115,4 @@ function instantiate(placeholderRule, string, context) {
     return node;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2luc3RhbnRpYXRlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi91dGlsaXRpZXMvYm5mXCI7XG5cbmNvbnN0IHRlcm1TdWJ0aXR1dGlvbm5QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gdGVybVN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIGZyYW1lU3VidGl0dXRpb25uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IGZyYW1lU3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgc3RhdGVtZW50U3VidGl0dXRpb25uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHN0YXRlbWVudFN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHJlZmVyZW5jZVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSByZWZlcmVuY2VTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICB0ZXJtU3VidGl0dXRpb25uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYodGVybVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGZyYW1lU3VidGl0dXRpb25uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoZnJhbWVTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlckJORiksXG4gICAgICBzdGF0ZW1lbnRTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihzdGF0ZW1lbnRTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlckJORiksXG4gICAgICByZWZlcmVuY2VTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihyZWZlcmVuY2VTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlckJORik7XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVRlcm1TdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh0ZXJtU3VidGl0dXRpb25uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUZyYW1lU3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoZnJhbWVTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlU3RhdGVtZW50U3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoc3RhdGVtZW50U3VidGl0dXRpb25uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVJlZmVyZW5jZVN1YnN0aXR1dGlvbihzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHJlZmVyZW5jZVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5mdW5jdGlvbiBpbnN0YW50aWF0ZShwbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCkge1xuICBsZXQgbm9kZTtcblxuICBjb25zdCBsZXhlciA9IGNvbnRleHQuZ2V0TGV4ZXIoKSxcbiAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgY29udGVudCA9IGAke3N0cmluZ31cbmAsXG4gICAgICAgIHN0YXJ0UnVsZSA9IHBsYWNlaG9sZGVyUnVsZSwgLy8vXG4gICAgICAgIHRva2VucyA9IGxleGVyLnRva2VuaXNlKGNvbnRlbnQpO1xuXG4gIG5vZGUgPSBwYXJzZXIucGFyc2UodG9rZW5zLCBzdGFydFJ1bGUpO1xuXG4gIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IG5vZGU7IC8vL1xuXG4gIG5vblRlcm1pbmFsTm9kZS5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICBub2RlID0gY2hpbGROb2RlOyAvLy9cblxuICAgIHJldHVybiB0cnVlO1xuICB9KVxuXG4gIHJldHVybiBub2RlO1xufVxuIl0sIm5hbWVzIjpbImluc3RhbnRpYXRlRnJhbWVTdWJzdGl0dXRpb24iLCJpbnN0YW50aWF0ZVJlZmVyZW5jZVN1YnN0aXR1dGlvbiIsImluc3RhbnRpYXRlU3RhdGVtZW50U3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVUZXJtU3Vic3RpdHV0aW9uIiwidGVybVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyQk5GIiwiZnJhbWVTdWJ0aXR1dGlvbm5QbGFjZWhvbGRlckJORiIsInN0YXRlbWVudFN1YnRpdHV0aW9ublBsYWNlaG9sZGVyQk5GIiwicmVmZXJlbmNlU3VidGl0dXRpb25uUGxhY2Vob2xkZXJCTkYiLCJ0ZXJtU3VidGl0dXRpb25uUGxhY2Vob2xkZXJSdWxlIiwicnVsZUZyb21CTkYiLCJmcmFtZVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyUnVsZSIsInN0YXRlbWVudFN1YnRpdHV0aW9ublBsYWNlaG9sZGVyUnVsZSIsInJlZmVyZW5jZVN1YnRpdHV0aW9ublBsYWNlaG9sZGVyUnVsZSIsInN0cmluZyIsImNvbnRleHQiLCJpbnN0YW50aWF0ZSIsInBsYWNlaG9sZGVyUnVsZSIsIm5vZGUiLCJsZXhlciIsImdldExleGVyIiwicGFyc2VyIiwiZ2V0UGFyc2VyIiwiY29udGVudCIsInN0YXJ0UnVsZSIsInRva2VucyIsInRva2VuaXNlIiwicGFyc2UiLCJub25UZXJtaW5hbE5vZGUiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFlZ0JBO2VBQUFBOztRQUlBQztlQUFBQTs7UUFGQUM7ZUFBQUE7O1FBSkFDO2VBQUFBOzs7bUJBWFk7QUFFNUIsSUFBTUMsaUNBQWlDLCtDQUNqQ0Msa0NBQWtDLGdEQUNsQ0Msc0NBQXNDLG9EQUN0Q0Msc0NBQXNDLG9EQUN0Q0Msa0NBQWtDQyxJQUFBQSxnQkFBVyxFQUFDTCxpQ0FDOUNNLG1DQUFtQ0QsSUFBQUEsZ0JBQVcsRUFBQ0osa0NBQy9DTSx1Q0FBdUNGLElBQUFBLGdCQUFXLEVBQUNILHNDQUNuRE0sdUNBQXVDSCxJQUFBQSxnQkFBVyxFQUFDRjtBQUVsRCxTQUFTSiw0QkFBNEJVLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlQLGlDQUFpQ0ssUUFBUUM7QUFBVTtBQUU5SCxTQUFTZCw2QkFBNkJhLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlMLGtDQUFrQ0csUUFBUUM7QUFBVTtBQUVoSSxTQUFTWixpQ0FBaUNXLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlKLHNDQUFzQ0UsUUFBUUM7QUFBVTtBQUV4SSxTQUFTYixpQ0FBaUNZLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlILHNDQUFzQ0MsUUFBUUM7QUFBVTtBQUUvSSxTQUFTQyxZQUFZQyxlQUFlLEVBQUVILE1BQU0sRUFBRUMsT0FBTztJQUNuRCxJQUFJRztJQUVKLElBQU1DLFFBQVFKLFFBQVFLLFFBQVEsSUFDeEJDLFNBQVNOLFFBQVFPLFNBQVMsSUFDMUJDLFVBQVUsQUFBQyxHQUFTLE9BQVBULFFBQU8sT0FFcEJVLFlBQVlQLGlCQUNaUSxTQUFTTixNQUFNTyxRQUFRLENBQUNIO0lBRTlCTCxPQUFPRyxPQUFPTSxLQUFLLENBQUNGLFFBQVFEO0lBRTVCLElBQU1JLGtCQUFrQlYsTUFBTSxHQUFHO0lBRWpDVSxnQkFBZ0JDLGFBQWEsQ0FBQyxTQUFDQztRQUM3QlosT0FBT1ksV0FBVyxHQUFHO1FBRXJCLE9BQU87SUFDVDtJQUVBLE9BQU9aO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2luc3RhbnRpYXRlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgbm9taW5hbENvbnRleHQgZnJvbSBcIi4uL2NvbnRleHQvbm9taW5hbFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi91dGlsaXRpZXMvYm5mXCI7XG5pbXBvcnQgeyBCQVNFX1RZUEVfU1lNQk9MIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uL21ldGFUeXBlTmFtZXNcIjtcblxuY29uc3QgdGVybVBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSB0ZXJtLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgdmFyaWFibGVQbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gdmFyaWFibGUuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBzdGF0ZW1lbnRQbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gc3RhdGVtZW50Li4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgZXF1aXZhbGVuY2VQbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gZXF1aXZhbGVuY2UuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBtZXRhdmFyaWFibGVQbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gbWV0YXZhcmlhYmxlLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgdGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSB0ZXJtU3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gZnJhbWVTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gc3RhdGVtZW50U3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgcmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHJlZmVyZW5jZVN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHRlcm1QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORih0ZXJtUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgdmFyaWFibGVQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORih2YXJpYWJsZVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHN0YXRlbWVudFBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGVxdWl2YWxlbmNlUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoZXF1aXZhbGVuY2VQbGFjZWhvbGRlckJORiksXG4gICAgICBtZXRhdmFyaWFibGVQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihtZXRhdmFyaWFibGVQbGFjZWhvbGRlckJORiksXG4gICAgICB0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYodGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiksXG4gICAgICBzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiksXG4gICAgICByZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihyZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORik7XG5cbmxldCBicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1Ob2RlID0gbnVsbCxcbiAgICBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZSA9IG51bGw7XG5cbmV4cG9ydCBjb25zdCBicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1TdHJpbmcgPSBgKCR7QkFTRV9UWVBFX1NZTUJPTH0pYDtcbmV4cG9ydCBjb25zdCBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50U3RyaW5nID0gYCgke1NUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRX0pYDtcblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlVGVybShzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHRlcm1QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlVmFyaWFibGUoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVTdGF0ZW1lbnQoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShzdGF0ZW1lbnRQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlRXF1aXZhbGVuY2Uoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShlcXVpdmFsZW5jZVBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVNZXRhdmFyaWFibGUoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShtZXRhdmFyaWFibGVQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlVGVybVN1YnN0aXR1dGlvbihzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHRlcm1TdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlRnJhbWVTdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShmcmFtZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVTdGF0ZW1lbnRTdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlUmVmZXJlbmNlU3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUocmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUJyYWNrZXRlZENvbnN0cnVjdG9yVGVybSgpIHtcbiAgaWYgKGJyYWNrZXRlZENvbnN0cnVjdG9yVGVybU5vZGUgPT09IG51bGwpIHtcbiAgICBjb25zdCBwbGFjZWhvbGRlclJ1bGUgPSB0ZXJtUGxhY2Vob2xkZXJSdWxlLCAvLy9cbiAgICAgICAgICBzdHJpbmcgPSBicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1TdHJpbmcsXG4gICAgICAgICAgY29udGV4dCA9IG5vbWluYWxDb250ZXh0LCAvLy9cbiAgICAgICAgICBub2RlID0gaW5zdGFudGlhdGUocGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpO1xuXG4gICAgYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtTm9kZSA9IG5vZGU7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1Ob2RlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVCcmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50KCkge1xuICBpZiAoYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUgPT09IG51bGwpIHtcbiAgICBjb25zdCBwbGFjZWhvbGRlclJ1bGUgPSBzdGF0ZW1lbnRQbGFjZWhvbGRlclJ1bGUsIC8vL1xuICAgICAgICAgIHN0cmluZyA9IGJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnRTdHJpbmcsICAvLy9cbiAgICAgICAgICBjb250ZXh0ID0gbm9taW5hbENvbnRleHQsIC8vL1xuICAgICAgICAgIG5vZGUgPSBpbnN0YW50aWF0ZShwbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7XG5cbiAgICBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZSA9IG5vZGU7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZTtcbn1cblxuZnVuY3Rpb24gaW5zdGFudGlhdGUocGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpIHtcbiAgbGV0IG5vZGU7XG5cbiAgY29uc3QgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgIHBhcnNlciA9IGNvbnRleHQuZ2V0UGFyc2VyKCksXG4gICAgICAgIGNvbnRlbnQgPSBgJHtzdHJpbmd9XG5gLFxuICAgICAgICB0b2tlbnMgPSBsZXhlci50b2tlbmlzZShjb250ZW50KSxcbiAgICAgICAgc3RhcnRSdWxlID0gcGxhY2Vob2xkZXJSdWxlOyAgLy8vXG5cbiAgbm9kZSA9IHBhcnNlci5wYXJzZSh0b2tlbnMsIHN0YXJ0UnVsZSk7XG5cbiAgY29uc3Qgbm9uVGVybWluYWxOb2RlID0gbm9kZTsgLy8vXG5cbiAgbm9uVGVybWluYWxOb2RlLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgIG5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHRydWU7XG4gIH0pO1xuXG4gIHJldHVybiBub2RlO1xufVxuIl0sIm5hbWVzIjpbImJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnRTdHJpbmciLCJicmFja2V0ZWRDb25zdHJ1Y3RvclRlcm1TdHJpbmciLCJpbnN0YW50aWF0ZUJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnQiLCJpbnN0YW50aWF0ZUJyYWNrZXRlZENvbnN0cnVjdG9yVGVybSIsImluc3RhbnRpYXRlRXF1aXZhbGVuY2UiLCJpbnN0YW50aWF0ZUZyYW1lU3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVNZXRhdmFyaWFibGUiLCJpbnN0YW50aWF0ZVJlZmVyZW5jZVN1YnN0aXR1dGlvbiIsImluc3RhbnRpYXRlU3RhdGVtZW50IiwiaW5zdGFudGlhdGVTdGF0ZW1lbnRTdWJzdGl0dXRpb24iLCJpbnN0YW50aWF0ZVRlcm0iLCJpbnN0YW50aWF0ZVRlcm1TdWJzdGl0dXRpb24iLCJpbnN0YW50aWF0ZVZhcmlhYmxlIiwidGVybVBsYWNlaG9sZGVyQk5GIiwidmFyaWFibGVQbGFjZWhvbGRlckJORiIsInN0YXRlbWVudFBsYWNlaG9sZGVyQk5GIiwiZXF1aXZhbGVuY2VQbGFjZWhvbGRlckJORiIsIm1ldGF2YXJpYWJsZVBsYWNlaG9sZGVyQk5GIiwidGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GIiwiZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiIsInN0YXRlbWVudFN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GIiwicmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYiLCJ0ZXJtUGxhY2Vob2xkZXJSdWxlIiwicnVsZUZyb21CTkYiLCJ2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSIsInN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSIsImVxdWl2YWxlbmNlUGxhY2Vob2xkZXJSdWxlIiwibWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJSdWxlIiwidGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSIsImZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwicmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwiYnJhY2tldGVkQ29uc3RydWN0b3JUZXJtTm9kZSIsImJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnROb2RlIiwiQkFTRV9UWVBFX1NZTUJPTCIsIlNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSIsInN0cmluZyIsImNvbnRleHQiLCJpbnN0YW50aWF0ZSIsInBsYWNlaG9sZGVyUnVsZSIsIm5vbWluYWxDb250ZXh0Iiwibm9kZSIsImxleGVyIiwiZ2V0TGV4ZXIiLCJwYXJzZXIiLCJnZXRQYXJzZXIiLCJjb250ZW50IiwidG9rZW5zIiwidG9rZW5pc2UiLCJzdGFydFJ1bGUiLCJwYXJzZSIsIm5vblRlcm1pbmFsTm9kZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQStCYUE7ZUFBQUE7O1FBREFDO2VBQUFBOztRQWtDR0M7ZUFBQUE7O1FBYkFDO2VBQUFBOztRQVpBQztlQUFBQTs7UUFNQUM7ZUFBQUE7O1FBSkFDO2VBQUFBOztRQVFBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBVUFDO2VBQUFBOztRQWRBQztlQUFBQTs7UUFVQUM7ZUFBQUE7O1FBUkFDO2VBQUFBOzs7OERBakNXO21CQUVDO3lCQUNLOzZCQUNROzs7Ozs7QUFFekMsSUFBTUMscUJBQXFCLG1DQUNyQkMseUJBQXlCLHVDQUN6QkMsMEJBQTBCLHdDQUMxQkMsNEJBQTRCLDBDQUM1QkMsNkJBQTZCLDJDQUM3QkMsaUNBQWlDLCtDQUNqQ0Msa0NBQWtDLGdEQUNsQ0Msc0NBQXNDLG9EQUN0Q0Msc0NBQXNDLG9EQUN0Q0Msc0JBQXNCQyxJQUFBQSxnQkFBVyxFQUFDVixxQkFDbENXLDBCQUEwQkQsSUFBQUEsZ0JBQVcsRUFBQ1QseUJBQ3RDVywyQkFBMkJGLElBQUFBLGdCQUFXLEVBQUNSLDBCQUN2Q1csNkJBQTZCSCxJQUFBQSxnQkFBVyxFQUFDUCw0QkFDekNXLDhCQUE4QkosSUFBQUEsZ0JBQVcsRUFBQ04sNkJBQzFDVyxrQ0FBa0NMLElBQUFBLGdCQUFXLEVBQUNMLGlDQUM5Q1csbUNBQW1DTixJQUFBQSxnQkFBVyxFQUFDSixrQ0FDL0NXLHVDQUF1Q1AsSUFBQUEsZ0JBQVcsRUFBQ0gsc0NBQ25EVyx1Q0FBdUNSLElBQUFBLGdCQUFXLEVBQUNGO0FBRXpELElBQUlXLCtCQUErQixNQUMvQkMsbUNBQW1DO0FBRWhDLElBQU1oQyxpQ0FBaUMsQUFBQyxJQUFvQixPQUFqQmlDLDJCQUFnQixFQUFDO0FBQzVELElBQU1sQyxxQ0FBcUMsQUFBQyxJQUE0QixPQUF6Qm1DLHVDQUF3QixFQUFDO0FBRXhFLFNBQVN6QixnQkFBZ0IwQixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZaEIscUJBQXFCYyxRQUFRQztBQUFVO0FBRXRHLFNBQVN6QixvQkFBb0J3QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZZCx5QkFBeUJZLFFBQVFDO0FBQVU7QUFFOUcsU0FBUzdCLHFCQUFxQjRCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVliLDBCQUEwQlcsUUFBUUM7QUFBVTtBQUVoSCxTQUFTakMsdUJBQXVCZ0MsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVosNEJBQTRCVSxRQUFRQztBQUFVO0FBRXBILFNBQVMvQix3QkFBd0I4QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZWCw2QkFBNkJTLFFBQVFDO0FBQVU7QUFFdEgsU0FBUzFCLDRCQUE0QnlCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlWLGlDQUFpQ1EsUUFBUUM7QUFBVTtBQUU5SCxTQUFTaEMsNkJBQTZCK0IsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVQsa0NBQWtDTyxRQUFRQztBQUFVO0FBRWhJLFNBQVM1QixpQ0FBaUMyQixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZUixzQ0FBc0NNLFFBQVFDO0FBQVU7QUFFeEksU0FBUzlCLGlDQUFpQzZCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlQLHNDQUFzQ0ssUUFBUUM7QUFBVTtBQUV4SSxTQUFTbEM7SUFDZCxJQUFJNkIsaUNBQWlDLE1BQU07UUFDekMsSUFBTU8sa0JBQWtCakIscUJBQ2xCYyxTQUFTbkMsZ0NBQ1RvQyxVQUFVRyxnQkFBYyxFQUN4QkMsT0FBT0gsWUFBWUMsaUJBQWlCSCxRQUFRQztRQUVsREwsK0JBQStCUyxNQUFPLEdBQUc7SUFDM0M7SUFFQSxPQUFPVDtBQUNUO0FBRU8sU0FBUzlCO0lBQ2QsSUFBSStCLHFDQUFxQyxNQUFNO1FBQzdDLElBQU1NLGtCQUFrQmQsMEJBQ2xCVyxTQUFTcEMsb0NBQ1RxQyxVQUFVRyxnQkFBYyxFQUN4QkMsT0FBT0gsWUFBWUMsaUJBQWlCSCxRQUFRQztRQUVsREosbUNBQW1DUSxNQUFPLEdBQUc7SUFDL0M7SUFFQSxPQUFPUjtBQUNUO0FBRUEsU0FBU0ssWUFBWUMsZUFBZSxFQUFFSCxNQUFNLEVBQUVDLE9BQU87SUFDbkQsSUFBSUk7SUFFSixJQUFNQyxRQUFRTCxRQUFRTSxRQUFRLElBQ3hCQyxTQUFTUCxRQUFRUSxTQUFTLElBQzFCQyxVQUFVLEFBQUMsR0FBUyxPQUFQVixRQUFPLE9BRXBCVyxTQUFTTCxNQUFNTSxRQUFRLENBQUNGLFVBQ3hCRyxZQUFZVixpQkFBa0IsR0FBRztJQUV2Q0UsT0FBT0csT0FBT00sS0FBSyxDQUFDSCxRQUFRRTtJQUU1QixJQUFNRSxrQkFBa0JWLE1BQU0sR0FBRztJQUVqQ1UsZ0JBQWdCQyxhQUFhLENBQUMsU0FBQ0M7UUFDN0JaLE9BQU9ZLFdBQVcsR0FBRztRQUVyQixPQUFPO0lBQ1Q7SUFFQSxPQUFPWjtBQUNUIn0=