occam-verify-cli 1.0.250 → 1.0.252

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 (74) hide show
  1. package/lib/constants.js +5 -1
  2. package/lib/context/bracketed/constructor.js +3 -3
  3. package/lib/dom/subproof.js +1 -2
  4. package/lib/dom/type.js +3 -3
  5. package/lib/node/argument.js +15 -1
  6. package/lib/node/axiom.js +37 -7
  7. package/lib/node/body/axiom.js +123 -0
  8. package/lib/node/body/conjecture.js +130 -0
  9. package/lib/node/body/lemma.js +130 -0
  10. package/lib/node/body/metaLemma.js +130 -0
  11. package/lib/node/{topLevelMetaAssertion.js → body/metatheorem.js} +14 -28
  12. package/lib/node/body/rule.js +130 -0
  13. package/lib/node/body/theorem.js +130 -0
  14. package/lib/node/body.js +108 -0
  15. package/lib/node/conjecture.js +44 -7
  16. package/lib/node/header/axiom.js +116 -0
  17. package/lib/node/header/conjecture.js +107 -0
  18. package/lib/node/header/lemma.js +107 -0
  19. package/lib/node/header/metaLemma.js +107 -0
  20. package/lib/node/header/metatheorem.js +107 -0
  21. package/lib/node/header/rule.js +107 -0
  22. package/lib/node/header/theorem.js +107 -0
  23. package/lib/node/header.js +127 -0
  24. package/lib/node/lemma.js +51 -7
  25. package/lib/node/metaLemma.js +51 -7
  26. package/lib/node/metatheorem.js +51 -7
  27. package/lib/node/metavariable.js +18 -3
  28. package/lib/node/qualification.js +123 -0
  29. package/lib/node/rule.js +22 -15
  30. package/lib/node/step.js +18 -3
  31. package/lib/node/theorem.js +51 -7
  32. package/lib/nonTerminalNodeMap.js +18 -3
  33. package/lib/ruleNames.js +61 -1
  34. package/lib/utilities/customGrammar.js +2 -2
  35. package/package.json +6 -6
  36. package/src/constants.js +1 -0
  37. package/src/context/bracketed/constructor.js +1 -1
  38. package/src/dom/subproof.js +1 -3
  39. package/src/dom/type.js +1 -1
  40. package/src/node/argument.js +15 -1
  41. package/src/node/axiom.js +34 -3
  42. package/src/node/body/axiom.js +22 -0
  43. package/src/node/body/conjecture.js +30 -0
  44. package/src/node/body/lemma.js +30 -0
  45. package/src/node/body/metaLemma.js +30 -0
  46. package/src/node/body/metatheorem.js +30 -0
  47. package/src/node/body/rule.js +30 -0
  48. package/src/node/body/theorem.js +30 -0
  49. package/src/node/body.js +9 -0
  50. package/src/node/conjecture.js +40 -3
  51. package/src/node/header/axiom.js +16 -0
  52. package/src/node/header/conjecture.js +7 -0
  53. package/src/node/header/lemma.js +7 -0
  54. package/src/node/header/metaLemma.js +7 -0
  55. package/src/node/header/metatheorem.js +7 -0
  56. package/src/node/header/rule.js +7 -0
  57. package/src/node/header/theorem.js +7 -0
  58. package/src/node/header.js +28 -0
  59. package/src/node/lemma.js +47 -3
  60. package/src/node/metaLemma.js +47 -3
  61. package/src/node/metatheorem.js +47 -3
  62. package/src/node/metavariable.js +23 -6
  63. package/src/node/qualification.js +23 -0
  64. package/src/node/rule.js +24 -17
  65. package/src/node/step.js +22 -5
  66. package/src/node/theorem.js +47 -3
  67. package/src/nonTerminalNodeMap.js +47 -2
  68. package/src/ruleNames.js +15 -0
  69. package/src/utilities/customGrammar.js +3 -3
  70. package/lib/node/topLevelAssertion.js +0 -155
  71. package/lib/typeNames.js +0 -15
  72. package/src/node/topLevelAssertion.js +0 -60
  73. package/src/node/topLevelMetaAssertion.js +0 -44
  74. package/src/typeNames.js +0 -7
package/lib/nonTerminalNodeMap.js CHANGED
@@ -30,6 +30,7 @@ var _property = /*#__PURE__*/ _interop_require_default(require("./node/property"
30
30
  var _metaType = /*#__PURE__*/ _interop_require_default(require("./node/metaType"));
31
31
  var _equality = /*#__PURE__*/ _interop_require_default(require("./node/equality"));
32
32
  var _variable = /*#__PURE__*/ _interop_require_default(require("./node/variable"));
33
+ var _rule1 = /*#__PURE__*/ _interop_require_default(require("./node/body/rule"));
33
34
  var _statement = /*#__PURE__*/ _interop_require_default(require("./node/statement"));
34
35
  var _reference = /*#__PURE__*/ _interop_require_default(require("./node/reference"));
35
36
  var _deduction = /*#__PURE__*/ _interop_require_default(require("./node/deduction"));
@@ -37,23 +38,37 @@ var _judgement = /*#__PURE__*/ _interop_require_default(require("./node/judgemen
37
38
  var _metaLemma = /*#__PURE__*/ _interop_require_default(require("./node/metaLemma"));
38
39
  var _parameter = /*#__PURE__*/ _interop_require_default(require("./node/parameter"));
39
40
  var _signature = /*#__PURE__*/ _interop_require_default(require("./node/signature"));
41
+ var _axiom1 = /*#__PURE__*/ _interop_require_default(require("./node/body/axiom"));
42
+ var _lemma1 = /*#__PURE__*/ _interop_require_default(require("./node/body/lemma"));
40
43
  var _derivation = /*#__PURE__*/ _interop_require_default(require("./node/derivation"));
41
44
  var _combinator = /*#__PURE__*/ _interop_require_default(require("./node/combinator"));
42
45
  var _conclusion = /*#__PURE__*/ _interop_require_default(require("./node/conclusion"));
43
46
  var _conjecture = /*#__PURE__*/ _interop_require_default(require("./node/conjecture"));
44
47
  var _hypothesis = /*#__PURE__*/ _interop_require_default(require("./node/hypothesis"));
48
+ var _rule2 = /*#__PURE__*/ _interop_require_default(require("./node/header/rule"));
45
49
  var _supposition = /*#__PURE__*/ _interop_require_default(require("./node/supposition"));
46
50
  var _constructor = /*#__PURE__*/ _interop_require_default(require("./node/constructor"));
47
51
  var _declaration = /*#__PURE__*/ _interop_require_default(require("./node/declaration"));
48
52
  var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./node/metatheorem"));
53
+ var _theorem1 = /*#__PURE__*/ _interop_require_default(require("./node/body/theorem"));
54
+ var _axiom2 = /*#__PURE__*/ _interop_require_default(require("./node/header/axiom"));
55
+ var _lemma2 = /*#__PURE__*/ _interop_require_default(require("./node/header/lemma"));
49
56
  var _metaArgument = /*#__PURE__*/ _interop_require_default(require("./node/metaArgument"));
50
57
  var _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metavariable"));
58
+ var _qualification = /*#__PURE__*/ _interop_require_default(require("./node/qualification"));
59
+ var _theorem2 = /*#__PURE__*/ _interop_require_default(require("./node/header/theorem"));
60
+ var _metaLemma1 = /*#__PURE__*/ _interop_require_default(require("./node/body/metaLemma"));
51
61
  var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./node/procedureCall"));
52
62
  var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./node/subDerivation"));
53
63
  var _type1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/type"));
64
+ var _conjecture1 = /*#__PURE__*/ _interop_require_default(require("./node/body/conjecture"));
65
+ var _metatheorem1 = /*#__PURE__*/ _interop_require_default(require("./node/body/metatheorem"));
66
+ var _metaLemma2 = /*#__PURE__*/ _interop_require_default(require("./node/header/metaLemma"));
54
67
  var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./node/propertyRelation"));
55
68
  var _defined = /*#__PURE__*/ _interop_require_default(require("./node/assertion/defined"));
56
69
  var _term1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/term"));
70
+ var _conjecture2 = /*#__PURE__*/ _interop_require_default(require("./node/header/conjecture"));
71
+ var _metatheorem2 = /*#__PURE__*/ _interop_require_default(require("./node/header/metatheorem"));
57
72
  var _property1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/property"));
58
73
  var _subproof1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/subproof"));
59
74
  var _frame1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/frame"));
@@ -90,7 +105,7 @@ function _interop_require_default(obj) {
90
105
  };
91
106
  }
92
107
  var _obj;
93
- 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.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.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.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.DECLARATION_RULE_NAME, _declaration.default), _define_property(_obj, _ruleNames.METATHEOREM_RULE_NAME, _metatheorem.default), _define_property(_obj, _ruleNames.METAVARIABLE_RULE_NAME, _metavariable.default), _define_property(_obj, _ruleNames.META_ARGUMENT_RULE_NAME, _metaArgument.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.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.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.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.REFERENCE_SUBSTITUTION_RULE_NAME, _reference1.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.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);
94
- var _default = nonTerminalNodeMap;
108
+ 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.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.RULE_HEADER_RULE_NAME, _rule2.default), _define_property(_obj, _ruleNames.SUPPOSITION_RULE_NAME, _supposition.default), _define_property(_obj, _ruleNames.CONSTRUCTOR_RULE_NAME, _constructor.default), _define_property(_obj, _ruleNames.DECLARATION_RULE_NAME, _declaration.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.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.REFERENCE_SUBSTITUTION_RULE_NAME, _reference1.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.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);
109
+ var _default = NonTerminalNodeMap;
95
110
 
96
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBTZWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3NlY3Rpb25cIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCI7XG5pbXBvcnQgRGVkdWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlZHVjdGlvblwiO1xuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbWV0YUxlbW1hXCI7XG5pbXBvcnQgUGFyYW1ldGVyTm9kZSBmcm9tIFwiLi9ub2RlL3BhcmFtZXRlclwiO1xuaW1wb3J0IFNpZ25hdHVyZU5vZGUgZnJvbSBcIi4vbm9kZS9zaWduYXR1cmVcIjtcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIjtcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIjtcbmltcG9ydCBIeXBvdGhlc2lzTm9kZSBmcm9tIFwiLi9ub2RlL2h5cG90aGVzaXNcIjtcbmltcG9ydCBTdXBwb3NpdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb25cIjtcbmltcG9ydCBNZXRhdGhlb3JlbU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IE1ldGFBcmd1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhQXJndW1lbnRcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvbWV0YXZhcmlhYmxlXCI7XG5pbXBvcnQgUHJvY2VkdXJlQ2FsbE5vZGUgZnJvbSBcIi4vbm9kZS9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJEZXJpdmF0aW9uXCI7XG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IFByb3BlcnR5UmVsYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvcHJvcGVydHlSZWxhdGlvblwiXG5pbXBvcnQgRGVmaW5lZEFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vZGVmaW5lZFwiO1xuaW1wb3J0IFRlcm1TdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3Rlcm1cIjtcbmltcG9ydCBQcm9wZXJ0eUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vcHJvcGVydHlcIjtcbmltcG9ydCBTdWJwcm9vZkFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc3VicHJvb2ZcIjtcbmltcG9ydCBGcmFtZVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vZnJhbWVcIjtcbmltcG9ydCBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsXCI7XG5pbXBvcnQgQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsc1wiXG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vcmVmZXJlbmNlXCI7XG5pbXBvcnQgU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3NpbXBsZVR5cGVcIjtcbmltcG9ydCBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRVNfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBTRUNUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE5PTlNFTlNFX1JVTEVfTkFNRSxcbiAgICAgICAgIEFSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQlBST09GX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX1JVTEVfTkFNRSxcbiAgICAgICAgIEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgIFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfVFlQRV9SVUxFX05BTUUsXG4gICAgICAgICBTSUdOQVRVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgREVEVUNUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEpVREdFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBQQVJBTUVURVJfUlVMRV9OQU1FLFxuICAgICAgICAgUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX0xFTU1BX1JVTEVfTkFNRSxcbiAgICAgICAgIERFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9SVUxFX05BTUUsXG4gICAgICAgICBDT05DTFVTSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTkpFQ1RVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgSFlQT1RIRVNJU19SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9SVUxFX05BTUUsXG4gICAgICAgICBERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVVBQT1NJVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVEhFT1JFTV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUsXG4gICAgICAgICBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuL3J1bGVOYW1lc1wiO1xuXG5jb25zdCBub25UZXJtaW5hbE5vZGVNYXAgPSB7XG4gIFtSVUxFX1JVTEVfTkFNRV06IFJ1bGVOb2RlLFxuICBbU1RFUF9SVUxFX05BTUVdOiBTdGVwTm9kZSxcbiAgW1RFUk1fUlVMRV9OQU1FXTogVGVybU5vZGUsXG4gIFtUWVBFX1JVTEVfTkFNRV06IFR5cGVOb2RlLFxuICBbVFlQRVNfUlVMRV9OQU1FXTogVHlwZXNOb2RlLFxuICBbRVJST1JfUlVMRV9OQU1FXTogRXJyb3JOb2RlLFxuICBbRlJBTUVfUlVMRV9OQU1FXTogRnJhbWVOb2RlLFxuICBbTEVNTUFfUlVMRV9OQU1FXTogTGVtbWFOb2RlLFxuICBbQVhJT01fUlVMRV9OQU1FXTogQXhpb21Ob2RlLFxuICBbUFJPT0ZfUlVMRV9OQU1FXTogUHJvb2ZOb2RlLFxuICBbTEFCRUxfUlVMRV9OQU1FXTogTGFiZWxOb2RlLFxuICBbTEFCRUxTX1JVTEVfTkFNRV06IExhYmVsc05vZGUsXG4gIFtUSEVPUkVNX1JVTEVfTkFNRV06IFRoZW9yZW1Ob2RlLFxuICBbUFJFTUlTRV9SVUxFX05BTUVdOiBQcmVtaXNlTm9kZSxcbiAgW1NFQ1RJT05fUlVMRV9OQU1FXTogU2VjdGlvbk5vZGUsXG4gIFtBUkdVTUVOVF9SVUxFX05BTUVdOiBBcmd1bWVudE5vZGUsXG4gIFtQUk9QRVJUWV9SVUxFX05BTUVdOiBQcm9wZXJ0eU5vZGUsXG4gIFtTVUJQUk9PRl9SVUxFX05BTUVdOiBTdWJwcm9vZk5vZGUsXG4gIFtFUVVBTElUWV9SVUxFX05BTUVdOiBFcXVhbGl0eU5vZGUsXG4gIFtWQVJJQUJMRV9SVUxFX05BTUVdOiBWYXJpYWJsZU5vZGUsXG4gIFtOT05TRU5TRV9SVUxFX05BTUVdOiBOb25zZW5zZU5vZGUsXG4gIFtNRVRBX1RZUEVfUlVMRV9OQU1FXTogTWV0YVR5cGVOb2RlLFxuICBbU0lHTkFUVVJFX1JVTEVfTkFNRV06IFNpZ25hdHVyZU5vZGUsXG4gIFtSRUZFUkVOQ0VfUlVMRV9OQU1FXTogUmVmZXJlbmNlTm9kZSxcbiAgW0pVREdFTUVOVF9SVUxFX05BTUVdOiBKdWRnZW1lbnROb2RlLFxuICBbREVEVUNUSU9OX1JVTEVfTkFNRV06IERlZHVjdGlvbk5vZGUsXG4gIFtQQVJBTUVURVJfUlVMRV9OQU1FXTogUGFyYW1ldGVyTm9kZSxcbiAgW1NUQVRFTUVOVF9SVUxFX05BTUVdOiBTdGF0ZW1lbnROb2RlLFxuICBbTUVUQV9MRU1NQV9SVUxFX05BTUVdOiBNZXRhTGVtbWFOb2RlLFxuICBbQ09NQklOQVRPUl9SVUxFX05BTUVdOiBDb21iaW5hdG9yTm9kZSxcbiAgW0NPTkNMVVNJT05fUlVMRV9OQU1FXTogQ29uY2x1c2lvbk5vZGUsXG4gIFtDT05KRUNUVVJFX1JVTEVfTkFNRV06IENvbmplY3R1cmVOb2RlLFxuICBbREVSSVZBVElPTl9SVUxFX05BTUVdOiBEZXJpdmF0aW9uTm9kZSxcbiAgW0hZUE9USEVTSVNfUlVMRV9OQU1FXTogSHlwb3RoZXNpc05vZGUsXG4gIFtTVVBQT1NJVElPTl9SVUxFX05BTUVdOiBTdXBwb3NpdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9SVUxFX05BTUVdOiBDb25zdHJ1Y3Rvck5vZGUsXG4gIFtERUNMQVJBVElPTl9SVUxFX05BTUVdOiBEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVEhFT1JFTV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbU5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfUlVMRV9OQU1FXTogTWV0YXZhcmlhYmxlTm9kZSxcbiAgW01FVEFfQVJHVU1FTlRfUlVMRV9OQU1FXTogTWV0YUFyZ3VtZW50Tm9kZSxcbiAgW1RZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFR5cGVBc3NlcnRpb25Ob2RlLFxuICBbUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FXTogUHJvY2VkdXJlQ2FsbE5vZGUsXG4gIFtTVUJfREVSSVZBVElPTl9SVUxFX05BTUVdOiBTdWJEZXJpdmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5UmVsYXRpb25Ob2RlLFxuICBbREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogRGVmaW5lZEFzc2VydGlvbk5vZGUsXG4gIFtURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBUZXJtU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1NVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTdWJwcm9vZkFzc2VydGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlBc3NlcnRpb25Ob2RlLFxuICBbRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsTm9kZSxcbiAgW1NBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FXTogU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSxcbiAgW0NPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRV06IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLFxuICBbVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSxcbiAgW1NUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogU3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSxcbiAgW1JFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSxcbiAgW0NPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgW1NJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVcbn07XG5cbmV4cG9ydCBkZWZhdWx0IG5vblRlcm1pbmFsTm9kZU1hcDtcbiJdLCJuYW1lcyI6WyJub25UZXJtaW5hbE5vZGVNYXAiLCJSVUxFX1JVTEVfTkFNRSIsIlJ1bGVOb2RlIiwiU1RFUF9SVUxFX05BTUUiLCJTdGVwTm9kZSIsIlRFUk1fUlVMRV9OQU1FIiwiVGVybU5vZGUiLCJUWVBFX1JVTEVfTkFNRSIsIlR5cGVOb2RlIiwiVFlQRVNfUlVMRV9OQU1FIiwiVHlwZXNOb2RlIiwiRVJST1JfUlVMRV9OQU1FIiwiRXJyb3JOb2RlIiwiRlJBTUVfUlVMRV9OQU1FIiwiRnJhbWVOb2RlIiwiTEVNTUFfUlVMRV9OQU1FIiwiTGVtbWFOb2RlIiwiQVhJT01fUlVMRV9OQU1FIiwiQXhpb21Ob2RlIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUHJvb2ZOb2RlIiwiTEFCRUxfUlVMRV9OQU1FIiwiTGFiZWxOb2RlIiwiTEFCRUxTX1JVTEVfTkFNRSIsIkxhYmVsc05vZGUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRoZW9yZW1Ob2RlIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQcmVtaXNlTm9kZSIsIlNFQ1RJT05fUlVMRV9OQU1FIiwiU2VjdGlvbk5vZGUiLCJBUkdVTUVOVF9SVUxFX05BTUUiLCJBcmd1bWVudE5vZGUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJQcm9wZXJ0eU5vZGUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTdWJwcm9vZk5vZGUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJFcXVhbGl0eU5vZGUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJWYXJpYWJsZU5vZGUiLCJOT05TRU5TRV9SVUxFX05BTUUiLCJOb25zZW5zZU5vZGUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTWV0YVR5cGVOb2RlIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNpZ25hdHVyZU5vZGUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUmVmZXJlbmNlTm9kZSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJKdWRnZW1lbnROb2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRlZHVjdGlvbk5vZGUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUGFyYW1ldGVyTm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTdGF0ZW1lbnROb2RlIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNZXRhTGVtbWFOb2RlIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDb21iaW5hdG9yTm9kZSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ29uY2x1c2lvbk5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVOb2RlIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJEZXJpdmF0aW9uTm9kZSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSHlwb3RoZXNpc05vZGUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJTdXBwb3NpdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9SVUxFX05BTUUiLCJDb25zdHJ1Y3Rvck5vZGUiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNZXRhdGhlb3JlbU5vZGUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiTWV0YXZhcmlhYmxlTm9kZSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTWV0YUFyZ3VtZW50Tm9kZSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlR5cGVBc3NlcnRpb25Ob2RlIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUHJvY2VkdXJlQ2FsbE5vZGUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTdWJEZXJpdmF0aW9uTm9kZSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5UmVsYXRpb25Ob2RlIiwiREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiRGVmaW5lZEFzc2VydGlvbk5vZGUiLCJURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJUZXJtU3Vic3RpdHV0aW9uTm9kZSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkZyYW1lU3Vic3RpdHV0aW9uTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUGFyZW50aGVzaXNlZExhYmVsTm9kZSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSIsIlNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiU3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsIlNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUiLCJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJjb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSIsIk1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWlNQTs7O2VBQUE7OzsyREEvTHFCOzJEQUNBOzJEQUNBOzJEQUNBOzREQUNDOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzZEQUNDOzhEQUNDOzhEQUNBOzhEQUNBOytEQUNDOytEQUNBOytEQUNBOytEQUNBOytEQUNBOytEQUNBOytEQUNBO2dFQUNDO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2lFQUNDO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBO21FQUNDO21FQUNBO29FQUNDO29FQUNBOzREQUNBO3VFQUNHOzhEQUNBOzREQUNBO2dFQUNDO2dFQUNBOzZEQUNBO3lFQUNDO2dFQUNBO2dFQUNBOzBFQUNDO2dFQUNBO2dFQUNBO2lFQUNFO2lFQUNBO2lFQUNBO2tFQUNBO2tFQUNDO21FQUNBO29FQUNDO3lCQStEVzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztJQUV4QjtBQUEzQixJQUFNQSxzQkFBcUIsV0FDekIsaUJBRHlCLE1BQ3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUZ5QixNQUV4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFIeUIsTUFHeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSnlCLE1BSXhCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUx5QixNQUt4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFOeUIsTUFNeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBUHlCLE1BT3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVJ5QixNQVF4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFUeUIsTUFTeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVnlCLE1BVXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVh5QixNQVd4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFaeUIsTUFZeEJDLDJCQUFnQixFQUFHQyxlQUFVLEdBQzlCLGlCQWJ5QixNQWF4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWR5QixNQWN4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWZ5QixNQWV4QkMsNEJBQWlCLEVBQUdDLGdCQUFXLEdBQ2hDLGlCQWhCeUIsTUFnQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBakJ5QixNQWlCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFsQnlCLE1Ba0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQW5CeUIsTUFtQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBcEJ5QixNQW9CeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFyQnlCLE1BcUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXRCeUIsTUFzQnhCQyw4QkFBbUIsRUFBR0MsaUJBQVksR0FDbkMsaUJBdkJ5QixNQXVCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkF4QnlCLE1Bd0J4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXpCeUIsTUF5QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBMUJ5QixNQTBCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkEzQnlCLE1BMkJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTVCeUIsTUE0QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBN0J5QixNQTZCeEJDLCtCQUFvQixFQUFHQyxrQkFBYSxHQUNyQyxpQkE5QnlCLE1BOEJ4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQS9CeUIsTUErQnhCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBaEN5QixNQWdDeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkFqQ3lCLE1BaUN4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQWxDeUIsTUFrQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBbkN5QixNQW1DeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFwQ3lCLE1Bb0N4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQXJDeUIsTUFxQ3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBdEN5QixNQXNDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkF2Q3lCLE1BdUN4QkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkF4Q3lCLE1Bd0N4QkMsa0NBQXVCLEVBQUdDLHFCQUFnQixHQUMzQyxpQkF6Q3lCLE1BeUN4QkMsbUNBQXdCLEVBQUdDLGNBQWlCLEdBQzdDLGlCQTFDeUIsTUEwQ3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQTNDeUIsTUEyQ3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQTVDeUIsTUE0Q3hCQyxzQ0FBMkIsRUFBR0MseUJBQW9CLEdBQ25ELGlCQTdDeUIsTUE2Q3hCQyxzQ0FBMkIsRUFBR0MsZ0JBQW9CLEdBQ25ELGlCQTlDeUIsTUE4Q3hCQyxzQ0FBMkIsRUFBR0MsY0FBb0IsR0FDbkQsaUJBL0N5QixNQStDeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBaER5QixNQWdEeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBakR5QixNQWlEeEJDLHVDQUE0QixFQUFHQyxlQUFxQixHQUNyRCxpQkFsRHlCLE1Ba0R4QkMsd0NBQTZCLEVBQUdDLDJCQUFzQixHQUN2RCxpQkFuRHlCLE1BbUR4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFwRHlCLE1Bb0R4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFyRHlCLE1BcUR4QkMseUNBQThCLEVBQUdDLDRCQUF1QixHQUN6RCxpQkF0RHlCLE1Bc0R4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkF2RHlCLE1BdUR4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkF4RHlCLE1Bd0R4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkF6RHlCLE1BeUR4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkExRHlCLE1BMER4QkMsMkNBQWdDLEVBQUdDLG9CQUF5QixHQUM3RCxpQkEzRHlCLE1BMkR4QkMsNENBQWlDLEVBQUdDLG1CQUF5QixHQUM5RCxpQkE1RHlCLE1BNER4QkMsNENBQWlDLEVBQUdDLHFCQUEwQixHQUMvRCxpQkE3RHlCLE1BNkR4QkMsNkNBQWtDLEVBQUdDLG9CQUEwQixHQUNoRSxpQkE5RHlCLE1BOER4QkMsNkNBQWtDLEVBQUdDLHNCQUEyQixHQTlEeEM7SUFpRTNCLFdBQWU1SCJ9
111
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBTZWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3NlY3Rpb25cIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IHJ1bGVCb2R5Tm9kZSBmcm9tIFwiLi9ub2RlL2JvZHkvcnVsZVwiO1xuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCI7XG5pbXBvcnQgRGVkdWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlZHVjdGlvblwiO1xuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbWV0YUxlbW1hXCI7XG5pbXBvcnQgUGFyYW1ldGVyTm9kZSBmcm9tIFwiLi9ub2RlL3BhcmFtZXRlclwiO1xuaW1wb3J0IFNpZ25hdHVyZU5vZGUgZnJvbSBcIi4vbm9kZS9zaWduYXR1cmVcIjtcbmltcG9ydCBheGlvbUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS9heGlvbVwiO1xuaW1wb3J0IGxlbW1hQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L2xlbW1hXCI7XG5pbXBvcnQgRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZXJpdmF0aW9uXCI7XG5pbXBvcnQgQ29tYmluYXRvck5vZGUgZnJvbSBcIi4vbm9kZS9jb21iaW5hdG9yXCI7XG5pbXBvcnQgQ29uY2x1c2lvbk5vZGUgZnJvbSBcIi4vbm9kZS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgQ29uamVjdHVyZU5vZGUgZnJvbSBcIi4vbm9kZS9jb25qZWN0dXJlXCI7XG5pbXBvcnQgSHlwb3RoZXNpc05vZGUgZnJvbSBcIi4vbm9kZS9oeXBvdGhlc2lzXCI7XG5pbXBvcnQgcnVsZUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvcnVsZVwiO1xuaW1wb3J0IFN1cHBvc2l0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1cHBvc2l0aW9uXCI7XG5pbXBvcnQgQ29uc3RydWN0b3JOb2RlIGZyb20gXCIuL25vZGUvY29uc3RydWN0b3JcIjtcbmltcG9ydCBEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvblwiO1xuaW1wb3J0IE1ldGF0aGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL21ldGF0aGVvcmVtXCI7XG5pbXBvcnQgdGhlb3JlbUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS90aGVvcmVtXCI7XG5pbXBvcnQgYXhpb21IZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL2F4aW9tXCI7XG5pbXBvcnQgbGVtbWFIZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL2xlbW1hXCI7XG5pbXBvcnQgTWV0YUFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL21ldGFBcmd1bWVudFwiO1xuaW1wb3J0IE1ldGF2YXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBRdWFsaWZpY2F0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3F1YWxpZmljYXRpb25cIjtcbmltcG9ydCB0aGVvcmVtSGVhZGVyTm9kZSBmcm9tIFwiLi9ub2RlL2hlYWRlci90aGVvcmVtXCI7XG5pbXBvcnQgbWV0YUxlbW1hQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L21ldGFMZW1tYVwiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGxOb2RlIGZyb20gXCIuL25vZGUvcHJvY2VkdXJlQ2FsbFwiO1xuaW1wb3J0IFN1YkRlcml2YXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3ViRGVyaXZhdGlvblwiO1xuaW1wb3J0IFR5cGVBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBjb25qZWN0dXJlQm9keU5vZGUgZnJvbSBcIi4vbm9kZS9ib2R5L2NvbmplY3R1cmVcIjtcbmltcG9ydCBtZXRhdGhlb3JlbUJvZHlOb2RlIGZyb20gXCIuL25vZGUvYm9keS9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IG1ldGFMZW1tYUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvbWV0YUxlbW1hXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVJlbGF0aW9uXCJcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgVGVybVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IGNvbmplY3R1cmVIZWFkZXJOb2RlIGZyb20gXCIuL25vZGUvaGVhZGVyL2NvbmplY3R1cmVcIjtcbmltcG9ydCBtZXRhdGhlb3JlbUhlYWRlck5vZGUgZnJvbSBcIi4vbm9kZS9oZWFkZXIvbWV0YXRoZW9yZW1cIjtcbmltcG9ydCBQcm9wZXJ0eUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vcHJvcGVydHlcIjtcbmltcG9ydCBTdWJwcm9vZkFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc3VicHJvb2ZcIjtcbmltcG9ydCBGcmFtZVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vZnJhbWVcIjtcbmltcG9ydCBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsXCI7XG5pbXBvcnQgQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlIGZyb20gXCIuL25vZGUvcGFyZW50aGVzaXNlZExhYmVsc1wiXG5pbXBvcnQgUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuL25vZGUvc3Vic3RpdHV0aW9uL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vcmVmZXJlbmNlXCI7XG5pbXBvcnQgU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3NpbXBsZVR5cGVcIjtcbmltcG9ydCBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRVNfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBTRUNUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE5PTlNFTlNFX1JVTEVfTkFNRSxcbiAgICAgICAgIEFSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQlBST09GX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX1JVTEVfTkFNRSxcbiAgICAgICAgIEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgIFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfVFlQRV9SVUxFX05BTUUsXG4gICAgICAgICBTSUdOQVRVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgREVEVUNUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEpVREdFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBQQVJBTUVURVJfUlVMRV9OQU1FLFxuICAgICAgICAgUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgIFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBSVUxFX0JPRFlfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9MRU1NQV9SVUxFX05BTUUsXG4gICAgICAgICBERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05KRUNUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIEhZUE9USEVTSVNfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICBMRU1NQV9CT0RZX1JVTEVfTkFNRSxcbiAgICAgICAgIFJVTEVfSEVBREVSX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlNUUlVDVE9SX1JVTEVfTkFNRSxcbiAgICAgICAgIERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFUSEVPUkVNX1JVTEVfTkFNRSxcbiAgICAgICAgIEFYSU9NX0hFQURFUl9SVUxFX05BTUUsXG4gICAgICAgICBMRU1NQV9IRUFERVJfUlVMRV9OQU1FLFxuICAgICAgICAgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBRVUFMSUZJQ0FUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FLFxuICAgICAgICAgU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTkpFQ1RVUkVfSEVBREVSX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIERFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUsXG4gICAgICAgICBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuL3J1bGVOYW1lc1wiO1xuXG5jb25zdCBOb25UZXJtaW5hbE5vZGVNYXAgPSB7XG4gIFtSVUxFX1JVTEVfTkFNRV06IFJ1bGVOb2RlLFxuICBbU1RFUF9SVUxFX05BTUVdOiBTdGVwTm9kZSxcbiAgW1RFUk1fUlVMRV9OQU1FXTogVGVybU5vZGUsXG4gIFtUWVBFX1JVTEVfTkFNRV06IFR5cGVOb2RlLFxuICBbVFlQRVNfUlVMRV9OQU1FXTogVHlwZXNOb2RlLFxuICBbRVJST1JfUlVMRV9OQU1FXTogRXJyb3JOb2RlLFxuICBbRlJBTUVfUlVMRV9OQU1FXTogRnJhbWVOb2RlLFxuICBbTEVNTUFfUlVMRV9OQU1FXTogTGVtbWFOb2RlLFxuICBbQVhJT01fUlVMRV9OQU1FXTogQXhpb21Ob2RlLFxuICBbUFJPT0ZfUlVMRV9OQU1FXTogUHJvb2ZOb2RlLFxuICBbTEFCRUxfUlVMRV9OQU1FXTogTGFiZWxOb2RlLFxuICBbTEFCRUxTX1JVTEVfTkFNRV06IExhYmVsc05vZGUsXG4gIFtUSEVPUkVNX1JVTEVfTkFNRV06IFRoZW9yZW1Ob2RlLFxuICBbUFJFTUlTRV9SVUxFX05BTUVdOiBQcmVtaXNlTm9kZSxcbiAgW1NFQ1RJT05fUlVMRV9OQU1FXTogU2VjdGlvbk5vZGUsXG4gIFtBUkdVTUVOVF9SVUxFX05BTUVdOiBBcmd1bWVudE5vZGUsXG4gIFtQUk9QRVJUWV9SVUxFX05BTUVdOiBQcm9wZXJ0eU5vZGUsXG4gIFtTVUJQUk9PRl9SVUxFX05BTUVdOiBTdWJwcm9vZk5vZGUsXG4gIFtFUVVBTElUWV9SVUxFX05BTUVdOiBFcXVhbGl0eU5vZGUsXG4gIFtWQVJJQUJMRV9SVUxFX05BTUVdOiBWYXJpYWJsZU5vZGUsXG4gIFtOT05TRU5TRV9SVUxFX05BTUVdOiBOb25zZW5zZU5vZGUsXG4gIFtSVUxFX0JPRFlfUlVMRV9OQU1FXTogcnVsZUJvZHlOb2RlLFxuICBbTUVUQV9UWVBFX1JVTEVfTkFNRV06IE1ldGFUeXBlTm9kZSxcbiAgW1NJR05BVFVSRV9SVUxFX05BTUVdOiBTaWduYXR1cmVOb2RlLFxuICBbUkVGRVJFTkNFX1JVTEVfTkFNRV06IFJlZmVyZW5jZU5vZGUsXG4gIFtKVURHRU1FTlRfUlVMRV9OQU1FXTogSnVkZ2VtZW50Tm9kZSxcbiAgW0RFRFVDVElPTl9SVUxFX05BTUVdOiBEZWR1Y3Rpb25Ob2RlLFxuICBbUEFSQU1FVEVSX1JVTEVfTkFNRV06IFBhcmFtZXRlck5vZGUsXG4gIFtTVEFURU1FTlRfUlVMRV9OQU1FXTogU3RhdGVtZW50Tm9kZSxcbiAgW0FYSU9NX0JPRFlfUlVMRV9OQU1FXTogYXhpb21Cb2R5Tm9kZSxcbiAgW0xFTU1BX0JPRFlfUlVMRV9OQU1FXTogbGVtbWFCb2R5Tm9kZSxcbiAgW01FVEFfTEVNTUFfUlVMRV9OQU1FXTogTWV0YUxlbW1hTm9kZSxcbiAgW0NPTUJJTkFUT1JfUlVMRV9OQU1FXTogQ29tYmluYXRvck5vZGUsXG4gIFtDT05DTFVTSU9OX1JVTEVfTkFNRV06IENvbmNsdXNpb25Ob2RlLFxuICBbQ09OSkVDVFVSRV9SVUxFX05BTUVdOiBDb25qZWN0dXJlTm9kZSxcbiAgW0RFUklWQVRJT05fUlVMRV9OQU1FXTogRGVyaXZhdGlvbk5vZGUsXG4gIFtIWVBPVEhFU0lTX1JVTEVfTkFNRV06IEh5cG90aGVzaXNOb2RlLFxuICBbUlVMRV9IRUFERVJfUlVMRV9OQU1FXTogcnVsZUhlYWRlck5vZGUsXG4gIFtTVVBQT1NJVElPTl9SVUxFX05BTUVdOiBTdXBwb3NpdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9SVUxFX05BTUVdOiBDb25zdHJ1Y3Rvck5vZGUsXG4gIFtERUNMQVJBVElPTl9SVUxFX05BTUVdOiBEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVEhFT1JFTV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbU5vZGUsXG4gIFtBWElPTV9IRUFERVJfUlVMRV9OQU1FXTogYXhpb21IZWFkZXJOb2RlLFxuICBbTEVNTUFfSEVBREVSX1JVTEVfTkFNRV06IGxlbW1hSGVhZGVyTm9kZSxcbiAgW1RIRU9SRU1fQk9EWV9SVUxFX05BTUVdOiB0aGVvcmVtQm9keU5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfUlVMRV9OQU1FXTogTWV0YXZhcmlhYmxlTm9kZSxcbiAgW01FVEFfQVJHVU1FTlRfUlVMRV9OQU1FXTogTWV0YUFyZ3VtZW50Tm9kZSxcbiAgW1FVQUxJRklDQVRJT05fUlVMRV9OQU1FXTogUXVhbGlmaWNhdGlvbk5vZGUsXG4gIFtUWVBFX0FTU0VSVElPTl9SVUxFX05BTUVdOiBUeXBlQXNzZXJ0aW9uTm9kZSxcbiAgW1BST0NFRFVSRV9DQUxMX1JVTEVfTkFNRV06IFByb2NlZHVyZUNhbGxOb2RlLFxuICBbU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FXTogU3ViRGVyaXZhdGlvbk5vZGUsXG4gIFtUSEVPUkVNX0hFQURFUl9SVUxFX05BTUVdOiB0aGVvcmVtSGVhZGVyTm9kZSxcbiAgW01FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUVdOiBtZXRhTGVtbWFCb2R5Tm9kZSxcbiAgW0NPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUVdOiBjb25qZWN0dXJlQm9keU5vZGUsXG4gIFtNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRV06IG1ldGF0aGVvcmVtQm9keU5vZGUsXG4gIFtNRVRBX0xFTU1BX0hFQURFUl9SVUxFX05BTUVdOiBtZXRhTGVtbWFIZWFkZXJOb2RlLFxuICBbQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FXTogY29uamVjdHVyZUhlYWRlck5vZGUsXG4gIFtQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eVJlbGF0aW9uTm9kZSxcbiAgW0RFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRV06IERlZmluZWRBc3NlcnRpb25Ob2RlLFxuICBbVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogVGVybVN1YnN0aXR1dGlvbk5vZGUsXG4gIFtNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FXTogbWV0YXRoZW9yZW1IZWFkZXJOb2RlLFxuICBbU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFN1YnByb29mQXNzZXJ0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eUFzc2VydGlvbk5vZGUsXG4gIFtGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogRnJhbWVTdWJzdGl0dXRpb25Ob2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUVdOiBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlLFxuICBbU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlLFxuICBbQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBDb250YWluZWRBc3NlcnRpb25Ob2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsc05vZGUsXG4gIFtWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlLFxuICBbU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlLFxuICBbUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlLFxuICBbQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbU0lNUExFX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogU2ltcGxlVHlwZURlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVxufTtcblxuZXhwb3J0IGRlZmF1bHQgTm9uVGVybWluYWxOb2RlTWFwO1xuIl0sIm5hbWVzIjpbIk5vblRlcm1pbmFsTm9kZU1hcCIsIlJVTEVfUlVMRV9OQU1FIiwiUnVsZU5vZGUiLCJTVEVQX1JVTEVfTkFNRSIsIlN0ZXBOb2RlIiwiVEVSTV9SVUxFX05BTUUiLCJUZXJtTm9kZSIsIlRZUEVfUlVMRV9OQU1FIiwiVHlwZU5vZGUiLCJUWVBFU19SVUxFX05BTUUiLCJUeXBlc05vZGUiLCJFUlJPUl9SVUxFX05BTUUiLCJFcnJvck5vZGUiLCJGUkFNRV9SVUxFX05BTUUiLCJGcmFtZU5vZGUiLCJMRU1NQV9SVUxFX05BTUUiLCJMZW1tYU5vZGUiLCJBWElPTV9SVUxFX05BTUUiLCJBeGlvbU5vZGUiLCJQUk9PRl9SVUxFX05BTUUiLCJQcm9vZk5vZGUiLCJMQUJFTF9SVUxFX05BTUUiLCJMYWJlbE5vZGUiLCJMQUJFTFNfUlVMRV9OQU1FIiwiTGFiZWxzTm9kZSIsIlRIRU9SRU1fUlVMRV9OQU1FIiwiVGhlb3JlbU5vZGUiLCJQUkVNSVNFX1JVTEVfTkFNRSIsIlByZW1pc2VOb2RlIiwiU0VDVElPTl9SVUxFX05BTUUiLCJTZWN0aW9uTm9kZSIsIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFyZ3VtZW50Tm9kZSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlByb3BlcnR5Tm9kZSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlN1YnByb29mTm9kZSIsIkVRVUFMSVRZX1JVTEVfTkFNRSIsIkVxdWFsaXR5Tm9kZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsIlZhcmlhYmxlTm9kZSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIk5vbnNlbnNlTm9kZSIsIlJVTEVfQk9EWV9SVUxFX05BTUUiLCJydWxlQm9keU5vZGUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTWV0YVR5cGVOb2RlIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNpZ25hdHVyZU5vZGUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUmVmZXJlbmNlTm9kZSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJKdWRnZW1lbnROb2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRlZHVjdGlvbk5vZGUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUGFyYW1ldGVyTm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTdGF0ZW1lbnROb2RlIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJheGlvbUJvZHlOb2RlIiwiTEVNTUFfQk9EWV9SVUxFX05BTUUiLCJsZW1tYUJvZHlOb2RlIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNZXRhTGVtbWFOb2RlIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDb21iaW5hdG9yTm9kZSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ29uY2x1c2lvbk5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVOb2RlIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJEZXJpdmF0aW9uTm9kZSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSHlwb3RoZXNpc05vZGUiLCJSVUxFX0hFQURFUl9SVUxFX05BTUUiLCJydWxlSGVhZGVyTm9kZSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlN1cHBvc2l0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNvbnN0cnVjdG9yTm9kZSIsIkRFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkRlY2xhcmF0aW9uTm9kZSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtTm9kZSIsIkFYSU9NX0hFQURFUl9SVUxFX05BTUUiLCJheGlvbUhlYWRlck5vZGUiLCJMRU1NQV9IRUFERVJfUlVMRV9OQU1FIiwibGVtbWFIZWFkZXJOb2RlIiwiVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsInRoZW9yZW1Cb2R5Tm9kZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJNZXRhdmFyaWFibGVOb2RlIiwiTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUiLCJNZXRhQXJndW1lbnROb2RlIiwiUVVBTElGSUNBVElPTl9SVUxFX05BTUUiLCJRdWFsaWZpY2F0aW9uTm9kZSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlR5cGVBc3NlcnRpb25Ob2RlIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUHJvY2VkdXJlQ2FsbE5vZGUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTdWJEZXJpdmF0aW9uTm9kZSIsIlRIRU9SRU1fSEVBREVSX1JVTEVfTkFNRSIsInRoZW9yZW1IZWFkZXJOb2RlIiwiTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRSIsIm1ldGFMZW1tYUJvZHlOb2RlIiwiQ09OSkVDVFVSRV9CT0RZX1JVTEVfTkFNRSIsImNvbmplY3R1cmVCb2R5Tm9kZSIsIk1FVEFUSEVPUkVNX0JPRFlfUlVMRV9OQU1FIiwibWV0YXRoZW9yZW1Cb2R5Tm9kZSIsIk1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSIsIm1ldGFMZW1tYUhlYWRlck5vZGUiLCJDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUiLCJjb25qZWN0dXJlSGVhZGVyTm9kZSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5UmVsYXRpb25Ob2RlIiwiREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiRGVmaW5lZEFzc2VydGlvbk5vZGUiLCJURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJUZXJtU3Vic3RpdHV0aW9uTm9kZSIsIk1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJtZXRhdGhlb3JlbUhlYWRlck5vZGUiLCJTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FIiwiU3VicHJvb2ZBc3NlcnRpb25Ob2RlIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5QXNzZXJ0aW9uTm9kZSIsIkZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJGcmFtZVN1YnN0aXR1dGlvbk5vZGUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMX1JVTEVfTkFNRSIsIlBhcmVudGhlc2lzZWRMYWJlbE5vZGUiLCJTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNhdGlzZmllc0Fzc2VydGlvbk5vZGUiLCJDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkNvbnRhaW5lZEFzc2VydGlvbk5vZGUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUiLCJQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUiLCJSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUiLCJDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTaW1wbGVUeXBlRGVjbGFyYXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkE4T0E7OztlQUFBOzs7MkRBNU9xQjsyREFDQTsyREFDQTsyREFDQTs0REFDQzs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs2REFDQzs4REFDQzs4REFDQTs4REFDQTsrREFDQzsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTs0REFDQTtnRUFDQztnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTs2REFDQTs2REFDQTtpRUFDQztpRUFDQTtpRUFDQTtpRUFDQTtpRUFDQTs0REFDQTtrRUFDQztrRUFDQTtrRUFDQTtrRUFDQTsrREFDQTs2REFDQTs2REFDQTttRUFDQzttRUFDQTtvRUFDQzsrREFDQTtpRUFDQTtvRUFDQTtvRUFDQTs0REFDQTtrRUFDQzttRUFDQztpRUFDQTt1RUFDQzs4REFDQTs0REFDQTtrRUFDQTttRUFDQztnRUFDQTtnRUFDQTs2REFDQTt5RUFDQztnRUFDQTtnRUFDQTswRUFDQztnRUFDQTtnRUFDQTtpRUFDRTtpRUFDQTtpRUFDQTtrRUFDQTtrRUFDQzttRUFDQTtvRUFDQzt5QkE4RVc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7SUFFeEI7QUFBM0IsSUFBTUEsc0JBQXFCLFdBQ3pCLGlCQUR5QixNQUN4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFGeUIsTUFFeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSHlCLE1BR3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUp5QixNQUl4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFMeUIsTUFLeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBTnlCLE1BTXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVB5QixNQU94QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFSeUIsTUFReEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVHlCLE1BU3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVZ5QixNQVV4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFYeUIsTUFXeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBWnlCLE1BWXhCQywyQkFBZ0IsRUFBR0MsZUFBVSxHQUM5QixpQkFieUIsTUFheEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFkeUIsTUFjeEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFmeUIsTUFleEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFoQnlCLE1BZ0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWpCeUIsTUFpQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBbEJ5QixNQWtCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFuQnlCLE1BbUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXBCeUIsTUFvQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBckJ5QixNQXFCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkF0QnlCLE1Bc0J4QkMsOEJBQW1CLEVBQUdDLGNBQVksR0FDbkMsaUJBdkJ5QixNQXVCeEJDLDhCQUFtQixFQUFHQyxpQkFBWSxHQUNuQyxpQkF4QnlCLE1Bd0J4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXpCeUIsTUF5QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBMUJ5QixNQTBCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkEzQnlCLE1BMkJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTVCeUIsTUE0QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBN0J5QixNQTZCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkE5QnlCLE1BOEJ4QkMsK0JBQW9CLEVBQUdDLGVBQWEsR0FDckMsaUJBL0J5QixNQStCeEJDLCtCQUFvQixFQUFHQyxlQUFhLEdBQ3JDLGlCQWhDeUIsTUFnQ3hCQywrQkFBb0IsRUFBR0Msa0JBQWEsR0FDckMsaUJBakN5QixNQWlDeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkFsQ3lCLE1Ba0N4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQW5DeUIsTUFtQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBcEN5QixNQW9DeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkFyQ3lCLE1BcUN4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQXRDeUIsTUFzQ3hCQyxnQ0FBcUIsRUFBR0MsY0FBYyxHQUN2QyxpQkF2Q3lCLE1BdUN4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQXhDeUIsTUF3Q3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBekN5QixNQXlDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkExQ3lCLE1BMEN4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQTNDeUIsTUEyQ3hCQyxpQ0FBc0IsRUFBR0MsZUFBZSxHQUN6QyxpQkE1Q3lCLE1BNEN4QkMsaUNBQXNCLEVBQUdDLGVBQWUsR0FDekMsaUJBN0N5QixNQTZDeEJDLGlDQUFzQixFQUFHQyxpQkFBZSxHQUN6QyxpQkE5Q3lCLE1BOEN4QkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkEvQ3lCLE1BK0N4QkMsa0NBQXVCLEVBQUdDLHFCQUFnQixHQUMzQyxpQkFoRHlCLE1BZ0R4QkMsa0NBQXVCLEVBQUdDLHNCQUFpQixHQUM1QyxpQkFqRHlCLE1BaUR4QkMsbUNBQXdCLEVBQUdDLGNBQWlCLEdBQzdDLGlCQWxEeUIsTUFrRHhCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQW5EeUIsTUFtRHhCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQXBEeUIsTUFvRHhCQyxtQ0FBd0IsRUFBR0MsaUJBQWlCLEdBQzdDLGlCQXJEeUIsTUFxRHhCQyxvQ0FBeUIsRUFBR0MsbUJBQWlCLEdBQzlDLGlCQXREeUIsTUFzRHhCQyxvQ0FBeUIsRUFBR0Msb0JBQWtCLEdBQy9DLGlCQXZEeUIsTUF1RHhCQyxxQ0FBMEIsRUFBR0MscUJBQW1CLEdBQ2pELGlCQXhEeUIsTUF3RHhCQyxzQ0FBMkIsRUFBR0MsbUJBQW1CLEdBQ2xELGlCQXpEeUIsTUF5RHhCQyxzQ0FBMkIsRUFBR0Msb0JBQW9CLEdBQ25ELGlCQTFEeUIsTUEwRHhCQyxzQ0FBMkIsRUFBR0MseUJBQW9CLEdBQ25ELGlCQTNEeUIsTUEyRHhCQyxzQ0FBMkIsRUFBR0MsZ0JBQW9CLEdBQ25ELGlCQTVEeUIsTUE0RHhCQyxzQ0FBMkIsRUFBR0MsY0FBb0IsR0FDbkQsaUJBN0R5QixNQTZEeEJDLHVDQUE0QixFQUFHQyxxQkFBcUIsR0FDckQsaUJBOUR5QixNQThEeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBL0R5QixNQStEeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBaEV5QixNQWdFeEJDLHVDQUE0QixFQUFHQyxlQUFxQixHQUNyRCxpQkFqRXlCLE1BaUV4QkMsd0NBQTZCLEVBQUdDLDJCQUFzQixHQUN2RCxpQkFsRXlCLE1Ba0V4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFuRXlCLE1BbUV4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFwRXlCLE1Bb0V4QkMseUNBQThCLEVBQUdDLDRCQUF1QixHQUN6RCxpQkFyRXlCLE1BcUV4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkF0RXlCLE1Bc0V4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkF2RXlCLE1BdUV4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkF4RXlCLE1Bd0V4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkF6RXlCLE1BeUV4QkMsMkNBQWdDLEVBQUdDLG9CQUF5QixHQUM3RCxpQkExRXlCLE1BMEV4QkMsNENBQWlDLEVBQUdDLG1CQUF5QixHQUM5RCxpQkEzRXlCLE1BMkV4QkMsNENBQWlDLEVBQUdDLHFCQUEwQixHQUMvRCxpQkE1RXlCLE1BNEV4QkMsNkNBQWtDLEVBQUdDLG9CQUEwQixHQUNoRSxpQkE3RXlCLE1BNkV4QkMsNkNBQWtDLEVBQUdDLHNCQUEyQixHQTdFeEM7SUFnRjNCLFdBQWUxSiJ9
package/lib/ruleNames.js CHANGED
@@ -12,6 +12,12 @@ _export(exports, {
12
12
  get ARGUMENT_RULE_NAME () {
13
13
  return ARGUMENT_RULE_NAME;
14
14
  },
15
+ get AXIOM_BODY_RULE_NAME () {
16
+ return AXIOM_BODY_RULE_NAME;
17
+ },
18
+ get AXIOM_HEADER_RULE_NAME () {
19
+ return AXIOM_HEADER_RULE_NAME;
20
+ },
15
21
  get AXIOM_RULE_NAME () {
16
22
  return AXIOM_RULE_NAME;
17
23
  },
@@ -27,6 +33,12 @@ _export(exports, {
27
33
  get CONCLUSION_RULE_NAME () {
28
34
  return CONCLUSION_RULE_NAME;
29
35
  },
36
+ get CONJECTURE_BODY_RULE_NAME () {
37
+ return CONJECTURE_BODY_RULE_NAME;
38
+ },
39
+ get CONJECTURE_HEADER_RULE_NAME () {
40
+ return CONJECTURE_HEADER_RULE_NAME;
41
+ },
30
42
  get CONJECTURE_RULE_NAME () {
31
43
  return CONJECTURE_RULE_NAME;
32
44
  },
@@ -75,9 +87,21 @@ _export(exports, {
75
87
  get LABEL_RULE_NAME () {
76
88
  return LABEL_RULE_NAME;
77
89
  },
90
+ get LEMMA_BODY_RULE_NAME () {
91
+ return LEMMA_BODY_RULE_NAME;
92
+ },
93
+ get LEMMA_HEADER_RULE_NAME () {
94
+ return LEMMA_HEADER_RULE_NAME;
95
+ },
78
96
  get LEMMA_RULE_NAME () {
79
97
  return LEMMA_RULE_NAME;
80
98
  },
99
+ get METATHEOREM_BODY_RULE_NAME () {
100
+ return METATHEOREM_BODY_RULE_NAME;
101
+ },
102
+ get METATHEOREM_HEADER_RULE_NAME () {
103
+ return METATHEOREM_HEADER_RULE_NAME;
104
+ },
81
105
  get METATHEOREM_RULE_NAME () {
82
106
  return METATHEOREM_RULE_NAME;
83
107
  },
@@ -90,6 +114,12 @@ _export(exports, {
90
114
  get META_ARGUMENT_RULE_NAME () {
91
115
  return META_ARGUMENT_RULE_NAME;
92
116
  },
117
+ get META_LEMMA_BODY_RULE_NAME () {
118
+ return META_LEMMA_BODY_RULE_NAME;
119
+ },
120
+ get META_LEMMA_HEADER_RULE_NAME () {
121
+ return META_LEMMA_HEADER_RULE_NAME;
122
+ },
93
123
  get META_LEMMA_RULE_NAME () {
94
124
  return META_LEMMA_RULE_NAME;
95
125
  },
@@ -129,12 +159,21 @@ _export(exports, {
129
159
  get PROPERTY_RULE_NAME () {
130
160
  return PROPERTY_RULE_NAME;
131
161
  },
162
+ get QUALIFICATION_RULE_NAME () {
163
+ return QUALIFICATION_RULE_NAME;
164
+ },
132
165
  get REFERENCE_RULE_NAME () {
133
166
  return REFERENCE_RULE_NAME;
134
167
  },
135
168
  get REFERENCE_SUBSTITUTION_RULE_NAME () {
136
169
  return REFERENCE_SUBSTITUTION_RULE_NAME;
137
170
  },
171
+ get RULE_BODY_RULE_NAME () {
172
+ return RULE_BODY_RULE_NAME;
173
+ },
174
+ get RULE_HEADER_RULE_NAME () {
175
+ return RULE_HEADER_RULE_NAME;
176
+ },
138
177
  get RULE_RULE_NAME () {
139
178
  return RULE_RULE_NAME;
140
179
  },
@@ -177,6 +216,12 @@ _export(exports, {
177
216
  get TERM_SUBSTITUTION_RULE_NAME () {
178
217
  return TERM_SUBSTITUTION_RULE_NAME;
179
218
  },
219
+ get THEOREM_BODY_RULE_NAME () {
220
+ return THEOREM_BODY_RULE_NAME;
221
+ },
222
+ get THEOREM_HEADER_RULE_NAME () {
223
+ return THEOREM_HEADER_RULE_NAME;
224
+ },
180
225
  get THEOREM_RULE_NAME () {
181
226
  return THEOREM_RULE_NAME;
182
227
  },
@@ -224,24 +269,39 @@ var DEDUCTION_RULE_NAME = "deduction";
224
269
  var JUDGEMENT_RULE_NAME = "judgement";
225
270
  var REFERENCE_RULE_NAME = "reference";
226
271
  var STATEMENT_RULE_NAME = "statement";
272
+ var RULE_BODY_RULE_NAME = "ruleBody";
227
273
  var META_LEMMA_RULE_NAME = "metaLemma";
228
274
  var COMBINATOR_RULE_NAME = "combinator";
229
275
  var CONCLUSION_RULE_NAME = "conclusion";
230
276
  var CONJECTURE_RULE_NAME = "conjecture";
231
277
  var DERIVATION_RULE_NAME = "derivation";
232
278
  var HYPOTHESIS_RULE_NAME = "hypothesis";
279
+ var AXIOM_BODY_RULE_NAME = "axiomBody";
280
+ var LEMMA_BODY_RULE_NAME = "lemmaBody";
233
281
  var SUPPOSITION_RULE_NAME = "supposition";
234
282
  var CONSTRUCTOR_RULE_NAME = "constructor";
235
283
  var DECLARATION_RULE_NAME = "declaration";
236
284
  var METATHEOREM_RULE_NAME = "metatheorem";
285
+ var RULE_HEADER_RULE_NAME = "ruleHeader";
286
+ var AXIOM_HEADER_RULE_NAME = "axiomHeader";
287
+ var LEMMA_HEADER_RULE_NAME = "lemmaHeader";
288
+ var THEOREM_BODY_RULE_NAME = "theoremBody";
237
289
  var METAVARIABLE_RULE_NAME = "metavariable";
238
290
  var META_ARGUMENT_RULE_NAME = "metaArgument";
291
+ var QUALIFICATION_RULE_NAME = "qualification";
239
292
  var PROCEDURE_CALL_RULE_NAME = "procedureCall";
240
293
  var SUB_DERIVATION_RULE_NAME = "subDerivation";
241
294
  var TYPE_ASSERTION_RULE_NAME = "typeAssertion";
295
+ var THEOREM_HEADER_RULE_NAME = "theoremHeader";
296
+ var CONJECTURE_BODY_RULE_NAME = "conjectureBody";
297
+ var META_LEMMA_BODY_RULE_NAME = "metaLemmaBody";
298
+ var METATHEOREM_BODY_RULE_NAME = "metatheoremBody";
242
299
  var PROPERTY_RELATION_RULE_NAME = "propertyRelation";
243
300
  var DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
244
301
  var TERM_SUBSTITUTION_RULE_NAME = "termSubstitution";
302
+ var CONJECTURE_HEADER_RULE_NAME = "conjectureHeader";
303
+ var META_LEMMA_HEADER_RULE_NAME = "metaLemmaHeader";
304
+ var METATHEOREM_HEADER_RULE_NAME = "metatheoremHeader";
245
305
  var PROPERTY_ASSERTION_RULE_NAME = "propertyAssertion";
246
306
  var SUBPROOF_ASSERTION_RULE_NAME = "subproofAssertion";
247
307
  var FRAME_SUBSTITUTION_RULE_NAME = "frameSubstitution";
@@ -259,4 +319,4 @@ var CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
259
319
  var COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
260
320
  var METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";
261
321
 
262
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgU0VDVElPTl9SVUxFX05BTUUgPSBcInNlY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBBUkdVTUVOVF9SVUxFX05BTUUgPSBcImFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVwiO1xuZXhwb3J0IGNvbnN0IEVRVUFMSVRZX1JVTEVfTkFNRSA9IFwiZXF1YWxpdHlcIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfUlVMRV9OQU1FID0gXCJzdWJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IE5PTlNFTlNFX1JVTEVfTkFNRSA9IFwibm9uc2Vuc2VcIjtcbmV4cG9ydCBjb25zdCBTSUdOQVRVUkVfUlVMRV9OQU1FID0gXCJzaWduYXR1cmVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX1RZUEVfUlVMRV9OQU1FID0gXCJtZXRhVHlwZVwiO1xuZXhwb3J0IGNvbnN0IFBBUkFNRVRFUl9SVUxFX05BTUUgPSBcInBhcmFtZXRlclwiO1xuZXhwb3J0IGNvbnN0IERFRFVDVElPTl9SVUxFX05BTUUgPSBcImRlZHVjdGlvblwiO1xuZXhwb3J0IGNvbnN0IEpVREdFTUVOVF9SVUxFX05BTUUgPSBcImp1ZGdlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJFRkVSRU5DRV9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9SVUxFX05BTUUgPSBcInN0YXRlbWVudFwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfTEVNTUFfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFcIjtcbmV4cG9ydCBjb25zdCBDT01CSU5BVE9SX1JVTEVfTkFNRSA9IFwiY29tYmluYXRvclwiO1xuZXhwb3J0IGNvbnN0IENPTkNMVVNJT05fUlVMRV9OQU1FID0gXCJjb25jbHVzaW9uXCI7XG5leHBvcnQgY29uc3QgQ09OSkVDVFVSRV9SVUxFX05BTUUgPSBcImNvbmplY3R1cmVcIjtcbmV4cG9ydCBjb25zdCBERVJJVkFUSU9OX1JVTEVfTkFNRSA9IFwiZGVyaXZhdGlvblwiO1xuZXhwb3J0IGNvbnN0IEhZUE9USEVTSVNfUlVMRV9OQU1FID0gXCJoeXBvdGhlc2lzXCI7XG5leHBvcnQgY29uc3QgU1VQUE9TSVRJT05fUlVMRV9OQU1FID0gXCJzdXBwb3NpdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JcIjtcbmV4cG9ydCBjb25zdCBERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImRlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgTUVUQVRIRU9SRU1fUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUgPSBcIm1ldGF2YXJpYWJsZVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FID0gXCJtZXRhQXJndW1lbnRcIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5UmVsYXRpb25cIjtcbmV4cG9ydCBjb25zdCBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcImRlZmluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInRlcm1TdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eUFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInN1YnByb29mQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwiZnJhbWVTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwiY29udGFpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInNhdGlzZmllc0Fzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FID0gXCJwYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmV4cG9ydCBjb25zdCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5RGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInZhcmlhYmxlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwic3RhdGVtZW50U3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInNpbXBsZVR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29uc3RydWN0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbXBsZXhUeXBlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvblwiO1xuIl0sIm5hbWVzIjpbIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFYSU9NX1JVTEVfTkFNRSIsIkNPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMU19SVUxFX05BTUUiLCJMQUJFTF9SVUxFX05BTUUiLCJMRU1NQV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQUk9PRl9SVUxFX05BTUUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUlVMRV9SVUxFX05BTUUiLCJTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNFQ1RJT05fUlVMRV9OQU1FIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlRFUk1fUlVMRV9OQU1FIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUWVBFU19SVUxFX05BTUUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUWVBFX1JVTEVfTkFNRSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlZBUklBQkxFX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBaUJhQTtlQUFBQTs7UUFUQUM7ZUFBQUE7O1FBbURBQztlQUFBQTs7UUE1QkFDO2VBQUFBOztRQStCQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBNEJBQztlQUFBQTs7UUF4QkFDO2VBQUFBOztRQWNBQztlQUFBQTs7UUFiQUM7ZUFBQUE7O1FBWkFDO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBWkFDO2VBQUFBOztRQWZBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQXdDQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQVJBQztlQUFBQTs7UUFkQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQUxBQztlQUFBQTs7UUFnQ0FDO2VBQUFBOztRQXdCQUM7ZUFBQUE7O1FBdkJBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBWEFDO2VBQUFBOztRQU5BQztlQUFBQTs7UUFGQUM7ZUFBQUE7O1FBR0FDO2VBQUFBOztRQTZCQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQXRDQUM7ZUFBQUE7O1FBMkJBQztlQUFBQTs7UUEvQkFDO2VBQUFBOztRQXFDQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQVZBQztlQUFBQTs7UUEzQkFDO2VBQUFBOztRQVVBQztlQUFBQTs7UUE4QkFDO2VBQUFBOztRQXhEQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUFwQ0FDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFxQ0FDO2VBQUFBOztRQS9CQUM7ZUFBQUE7O1FBNEJBQztlQUFBQTs7UUF0REFDO2VBQUFBOztRQThDQUM7ZUFBQUE7O1FBNUJBQztlQUFBQTs7UUFzQkFDO2VBQUFBOztRQVBBQztlQUFBQTs7UUFoQ0FDO2VBQUFBOztRQTJDQUM7ZUFBQUE7O1FBakNBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBc0NBQztlQUFBQTs7UUF2Q0FDO2VBQUFBOztRQW1EQUM7ZUFBQUE7O1FBcENBQztlQUFBQTs7O0FBbEJOLElBQU1uQixpQkFBaUI7QUFDdkIsSUFBTU8saUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNSyxpQkFBaUI7QUFDdkIsSUFBTUYsa0JBQWtCO0FBQ3hCLElBQU1uQyxrQkFBa0I7QUFDeEIsSUFBTXJCLGtCQUFrQjtBQUN4QixJQUFNYyxrQkFBa0I7QUFDeEIsSUFBTUMsa0JBQWtCO0FBQ3hCLElBQU1tQixrQkFBa0I7QUFDeEIsSUFBTWQsa0JBQWtCO0FBQ3hCLElBQU1ELG1CQUFtQjtBQUN6QixJQUFNb0Msb0JBQW9CO0FBQzFCLElBQU12QixvQkFBb0I7QUFDMUIsSUFBTVcsb0JBQW9CO0FBQzFCLElBQU01QyxxQkFBcUI7QUFDM0IsSUFBTXVDLHFCQUFxQjtBQUMzQixJQUFNekIscUJBQXFCO0FBQzNCLElBQU0rQyxxQkFBcUI7QUFDM0IsSUFBTVYscUJBQXFCO0FBQzNCLElBQU10QixxQkFBcUI7QUFDM0IsSUFBTWdCLHNCQUFzQjtBQUM1QixJQUFNakIsc0JBQXNCO0FBQzVCLElBQU1FLHNCQUFzQjtBQUM1QixJQUFNbkIsc0JBQXNCO0FBQzVCLElBQU1RLHNCQUFzQjtBQUM1QixJQUFNcUIsc0JBQXNCO0FBQzVCLElBQU1PLHNCQUFzQjtBQUM1QixJQUFNcEIsdUJBQXVCO0FBQzdCLElBQU14Qix1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1DLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTUssdUJBQXVCO0FBQzdCLElBQU1tQyx3QkFBd0I7QUFDOUIsSUFBTTdDLHdCQUF3QjtBQUM5QixJQUFNRSx3QkFBd0I7QUFDOUIsSUFBTWEsd0JBQXdCO0FBQzlCLElBQU1FLHlCQUF5QjtBQUMvQixJQUFNQywwQkFBMEI7QUFDaEMsSUFBTVEsMkJBQTJCO0FBQ2pDLElBQU1rQiwyQkFBMkI7QUFDakMsSUFBTU0sMkJBQTJCO0FBQ2pDLElBQU1wQiw4QkFBOEI7QUFDcEMsSUFBTTFCLDhCQUE4QjtBQUNwQyxJQUFNMkMsOEJBQThCO0FBQ3BDLElBQU1uQiwrQkFBK0I7QUFDckMsSUFBTWMsK0JBQStCO0FBQ3JDLElBQU1qQywrQkFBK0I7QUFDckMsSUFBTVIsZ0NBQWdDO0FBQ3RDLElBQU1rQyxnQ0FBZ0M7QUFDdEMsSUFBTVgsZ0NBQWdDO0FBQ3RDLElBQU1ELGlDQUFpQztBQUN2QyxJQUFNTSxpQ0FBaUM7QUFDdkMsSUFBTXVCLGlDQUFpQztBQUN2QyxJQUFNWixtQ0FBbUM7QUFDekMsSUFBTVAsbUNBQW1DO0FBQ3pDLElBQU12QyxtQ0FBbUM7QUFDekMsSUFBTTRDLG9DQUFvQztBQUMxQyxJQUFNdkMsb0NBQW9DO0FBQzFDLElBQU1ILHFDQUFxQztBQUMzQyxJQUFNb0IscUNBQXFDIn0=
322
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgU0VDVElPTl9SVUxFX05BTUUgPSBcInNlY3Rpb25cIjtcbmV4cG9ydCBjb25zdCBBUkdVTUVOVF9SVUxFX05BTUUgPSBcImFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVwiO1xuZXhwb3J0IGNvbnN0IEVRVUFMSVRZX1JVTEVfTkFNRSA9IFwiZXF1YWxpdHlcIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfUlVMRV9OQU1FID0gXCJzdWJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IE5PTlNFTlNFX1JVTEVfTkFNRSA9IFwibm9uc2Vuc2VcIjtcbmV4cG9ydCBjb25zdCBTSUdOQVRVUkVfUlVMRV9OQU1FID0gXCJzaWduYXR1cmVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX1RZUEVfUlVMRV9OQU1FID0gXCJtZXRhVHlwZVwiO1xuZXhwb3J0IGNvbnN0IFBBUkFNRVRFUl9SVUxFX05BTUUgPSBcInBhcmFtZXRlclwiO1xuZXhwb3J0IGNvbnN0IERFRFVDVElPTl9SVUxFX05BTUUgPSBcImRlZHVjdGlvblwiO1xuZXhwb3J0IGNvbnN0IEpVREdFTUVOVF9SVUxFX05BTUUgPSBcImp1ZGdlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJFRkVSRU5DRV9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9SVUxFX05BTUUgPSBcInN0YXRlbWVudFwiO1xuZXhwb3J0IGNvbnN0IFJVTEVfQk9EWV9SVUxFX05BTUUgPSBcInJ1bGVCb2R5XCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYVwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yXCI7XG5leHBvcnQgY29uc3QgQ09OQ0xVU0lPTl9SVUxFX05BTUUgPSBcImNvbmNsdXNpb25cIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX1JVTEVfTkFNRSA9IFwiY29uamVjdHVyZVwiO1xuZXhwb3J0IGNvbnN0IERFUklWQVRJT05fUlVMRV9OQU1FID0gXCJkZXJpdmF0aW9uXCI7XG5leHBvcnQgY29uc3QgSFlQT1RIRVNJU19SVUxFX05BTUUgPSBcImh5cG90aGVzaXNcIjtcbmV4cG9ydCBjb25zdCBBWElPTV9CT0RZX1JVTEVfTkFNRSA9IFwiYXhpb21Cb2R5XCI7XG5leHBvcnQgY29uc3QgTEVNTUFfQk9EWV9SVUxFX05BTUUgPSBcImxlbW1hQm9keVwiO1xuZXhwb3J0IGNvbnN0IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSA9IFwic3VwcG9zaXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yXCI7XG5leHBvcnQgY29uc3QgREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJkZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFUSEVPUkVNX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1cIjtcbmV4cG9ydCBjb25zdCBSVUxFX0hFQURFUl9SVUxFX05BTUUgPSBcInJ1bGVIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBBWElPTV9IRUFERVJfUlVMRV9OQU1FID0gXCJheGlvbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IExFTU1BX0hFQURFUl9SVUxFX05BTUUgPSBcImxlbW1hSGVhZGVyXCI7XG5leHBvcnQgY29uc3QgVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwidGhlb3JlbUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJtZXRhdmFyaWFibGVcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSA9IFwibWV0YUFyZ3VtZW50XCI7XG5leHBvcnQgY29uc3QgUVVBTElGSUNBVElPTl9SVUxFX05BTUUgPSBcInF1YWxpZmljYXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUgPSBcInByb2NlZHVyZUNhbGxcIjtcbmV4cG9ydCBjb25zdCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgPSBcInN1YkRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInR5cGVBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUgPSBcInRoZW9yZW1IZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBDT05KRUNUVVJFX0JPRFlfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlQm9keVwiO1xuZXhwb3J0IGNvbnN0IE1FVEFfTEVNTUFfQk9EWV9SVUxFX05BTUUgPSBcIm1ldGFMZW1tYUJvZHlcIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSA9IFwibWV0YXRoZW9yZW1Cb2R5XCI7XG5leHBvcnQgY29uc3QgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eVJlbGF0aW9uXCI7XG5leHBvcnQgY29uc3QgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJkZWZpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJ0ZXJtU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OSkVDVFVSRV9IRUFERVJfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlSGVhZGVyXCI7XG5leHBvcnQgY29uc3QgTUVUQV9MRU1NQV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhTGVtbWFIZWFkZXJcIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9IRUFERVJfUlVMRV9OQU1FID0gXCJtZXRhdGhlb3JlbUhlYWRlclwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5QXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJmcmFtZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJjb250YWluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic2F0aXNmaWVzQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbFwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSA9IFwicGFyZW50aGVzaXNlZExhYmVsc1wiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwicHJvcGVydHlEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwidmFyaWFibGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwicmVmZXJlbmNlU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwic2ltcGxlVHlwZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29tcGxleFR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uXCI7XG4iXSwibmFtZXMiOlsiQVJHVU1FTlRfUlVMRV9OQU1FIiwiQVhJT01fQk9EWV9SVUxFX05BTUUiLCJBWElPTV9IRUFERVJfUlVMRV9OQU1FIiwiQVhJT01fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNPTkpFQ1RVUkVfQk9EWV9SVUxFX05BTUUiLCJDT05KRUNUVVJFX0hFQURFUl9SVUxFX05BTUUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFUklWQVRJT05fUlVMRV9OQU1FIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiRVJST1JfUlVMRV9OQU1FIiwiRlJBTUVfUlVMRV9OQU1FIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkhZUE9USEVTSVNfUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMU19SVUxFX05BTUUiLCJMQUJFTF9SVUxFX05BTUUiLCJMRU1NQV9CT0RZX1JVTEVfTkFNRSIsIkxFTU1BX0hFQURFUl9SVUxFX05BTUUiLCJMRU1NQV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9CT0RZX1JVTEVfTkFNRSIsIk1FVEFUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9CT0RZX1JVTEVfTkFNRSIsIk1FVEFfTEVNTUFfSEVBREVSX1JVTEVfTkFNRSIsIk1FVEFfTEVNTUFfUlVMRV9OQU1FIiwiTUVUQV9UWVBFX1JVTEVfTkFNRSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIlBBUkFNRVRFUl9SVUxFX05BTUUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMX1JVTEVfTkFNRSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlFVQUxJRklDQVRJT05fUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUlVMRV9CT0RZX1JVTEVfTkFNRSIsIlJVTEVfSEVBREVSX1JVTEVfTkFNRSIsIlJVTEVfUlVMRV9OQU1FIiwiU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTRUNUSU9OX1JVTEVfTkFNRSIsIlNJR05BVFVSRV9SVUxFX05BTUUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJTVEVQX1JVTEVfTkFNRSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJURVJNX1JVTEVfTkFNRSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRIRU9SRU1fQk9EWV9SVUxFX05BTUUiLCJUSEVPUkVNX0hFQURFUl9SVUxFX05BTUUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRZUEVTX1JVTEVfTkFNRSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlRZUEVfUlVMRV9OQU1FIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVkFSSUFCTEVfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFpQmFBO2VBQUFBOztRQW9CQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQXBDQUM7ZUFBQUE7O1FBa0VBQztlQUFBQTs7UUExQ0FDO2VBQUFBOztRQTZDQUM7ZUFBQUE7O1FBNUNBQztlQUFBQTs7UUFxQkFDO2VBQUFBOztRQU1BQztlQUFBQTs7UUExQkFDO2VBQUFBOztRQTBDQUM7ZUFBQUE7O1FBcENBQztlQUFBQTs7UUEwQkFDO2VBQUFBOztRQXpCQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQWdDQUM7ZUFBQUE7O1FBdkJBQztlQUFBQTs7UUFoQkFDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBdURBQztlQUFBQTs7UUE3QkFDO2VBQUFBOztRQVRBQztlQUFBQTs7UUFkQUM7ZUFBQUE7O1FBREFDO2VBQUFBOztRQTBCQUM7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQXRDQUM7ZUFBQUE7O1FBaURBQztlQUFBQTs7UUFNQUM7ZUFBQUE7O1FBcEJBQztlQUFBQTs7UUFvQ0FDO2VBQUFBOztRQS9CQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFNQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUFQQUM7ZUFBQUE7O1FBRkFDO2VBQUFBOztRQUdBQztlQUFBQTs7UUE0Q0FDO2VBQUFBOztRQURBQztlQUFBQTs7UUFyREFDO2VBQUFBOztRQW1DQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUFvREFDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFiQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUErQkFDO2VBQUFBOztRQXJCQUM7ZUFBQUE7O1FBNkNBQztlQUFBQTs7UUEzQ0FDO2VBQUFBOztRQWFBQztlQUFBQTs7UUF6Q0FDO2VBQUFBOztRQWlFQUM7ZUFBQUE7O1FBbkRBQztlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBb0RBQztlQUFBQTs7UUE5Q0FDO2VBQUFBOztRQTJDQUM7ZUFBQUE7O1FBckVBQztlQUFBQTs7UUE2REFDO2VBQUFBOztRQTNDQUM7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBbkNBQztlQUFBQTs7UUF1REFDO2VBQUFBOztRQWJBQztlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBdkNBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBOENBQztlQUFBQTs7UUEvQ0FDO2VBQUFBOztRQWtFQUM7ZUFBQUE7O1FBbkRBQztlQUFBQTs7O0FBbEJOLElBQU1yQixpQkFBaUI7QUFDdkIsSUFBTU8saUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNTyxpQkFBaUI7QUFDdkIsSUFBTUYsa0JBQWtCO0FBQ3hCLElBQU01QyxrQkFBa0I7QUFDeEIsSUFBTXpCLGtCQUFrQjtBQUN4QixJQUFNZ0Isa0JBQWtCO0FBQ3hCLElBQU1DLGtCQUFrQjtBQUN4QixJQUFNeUIsa0JBQWtCO0FBQ3hCLElBQU1wQixrQkFBa0I7QUFDeEIsSUFBTUQsbUJBQW1CO0FBQ3pCLElBQU0rQyxvQkFBb0I7QUFDMUIsSUFBTTVCLG9CQUFvQjtBQUMxQixJQUFNYyxvQkFBb0I7QUFDMUIsSUFBTXpELHFCQUFxQjtBQUMzQixJQUFNaUQscUJBQXFCO0FBQzNCLElBQU0vQixxQkFBcUI7QUFDM0IsSUFBTTBELHFCQUFxQjtBQUMzQixJQUFNWixxQkFBcUI7QUFDM0IsSUFBTXpCLHFCQUFxQjtBQUMzQixJQUFNbUIsc0JBQXNCO0FBQzVCLElBQU1wQixzQkFBc0I7QUFDNUIsSUFBTUUsc0JBQXNCO0FBQzVCLElBQU16QixzQkFBc0I7QUFDNUIsSUFBTVEsc0JBQXNCO0FBQzVCLElBQU00QixzQkFBc0I7QUFDNUIsSUFBTVMsc0JBQXNCO0FBQzVCLElBQU1QLHNCQUFzQjtBQUM1QixJQUFNaEIsdUJBQXVCO0FBQzdCLElBQU1oQyx1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1HLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTUssdUJBQXVCO0FBQzdCLElBQU1yQix1QkFBdUI7QUFDN0IsSUFBTXlCLHVCQUF1QjtBQUM3QixJQUFNd0Msd0JBQXdCO0FBQzlCLElBQU10RCx3QkFBd0I7QUFDOUIsSUFBTUUsd0JBQXdCO0FBQzlCLElBQU1pQix3QkFBd0I7QUFDOUIsSUFBTXVCLHdCQUF3QjtBQUM5QixJQUFNcEQseUJBQXlCO0FBQy9CLElBQU15Qix5QkFBeUI7QUFDL0IsSUFBTTBDLHlCQUF5QjtBQUMvQixJQUFNcEMseUJBQXlCO0FBQy9CLElBQU1DLDBCQUEwQjtBQUNoQyxJQUFNZ0IsMEJBQTBCO0FBQ2hDLElBQU1OLDJCQUEyQjtBQUNqQyxJQUFNcUIsMkJBQTJCO0FBQ2pDLElBQU1RLDJCQUEyQjtBQUNqQyxJQUFNSCwyQkFBMkI7QUFDakMsSUFBTTlELDRCQUE0QjtBQUNsQyxJQUFNMkIsNEJBQTRCO0FBQ2xDLElBQU1OLDZCQUE2QjtBQUNuQyxJQUFNbUIsOEJBQThCO0FBQ3BDLElBQU1oQyw4QkFBOEI7QUFDcEMsSUFBTW9ELDhCQUE4QjtBQUNwQyxJQUFNM0QsOEJBQThCO0FBQ3BDLElBQU0yQiw4QkFBOEI7QUFDcEMsSUFBTU4sK0JBQStCO0FBQ3JDLElBQU1nQiwrQkFBK0I7QUFDckMsSUFBTWlCLCtCQUErQjtBQUNyQyxJQUFNMUMsK0JBQStCO0FBQ3JDLElBQU1SLGdDQUFnQztBQUN0QyxJQUFNMkMsZ0NBQWdDO0FBQ3RDLElBQU1kLGdDQUFnQztBQUN0QyxJQUFNRCxpQ0FBaUM7QUFDdkMsSUFBTU0saUNBQWlDO0FBQ3ZDLElBQU00QixpQ0FBaUM7QUFDdkMsSUFBTWQsbUNBQW1DO0FBQ3pDLElBQU1ULG1DQUFtQztBQUN6QyxJQUFNaEQsbUNBQW1DO0FBQ3pDLElBQU11RCxvQ0FBb0M7QUFDMUMsSUFBTWhELG9DQUFvQztBQUMxQyxJQUFNTCxxQ0FBcUM7QUFDM0MsSUFBTTBCLHFDQUFxQyJ9
package/lib/utilities/customGrammar.js CHANGED
@@ -24,7 +24,7 @@ _export(exports, {
24
24
  });
25
25
  var _occamcustomgrammars = require("occam-custom-grammars");
26
26
  function customGrammarFromNameAndEntries(name, entries) {
27
- var termBNF = entries.getTermBNF(), statementBNF = entries.getStatementBNF(), typePattern = entries.getTypePattern(), symbolPattern = entries.getSymbolPattern(), customGrammar = _occamcustomgrammars.CustomGrammar.fromNameTermBNFStatementBNFTypePatternAndSymbolPattern(name, termBNF, statementBNF, typePattern, symbolPattern);
27
+ var termBNF = entries.getTermBNF(), statementBNF = entries.getStatementBNF(), typeVocabulary = entries.getTypeVocabulary(), symbolVocabulary = entries.getSymbolVocabulary(), customGrammar = _occamcustomgrammars.CustomGrammar.fromNameTermBNFStatementBNFTypeVocabularyAndSymbolVocabulary(name, termBNF, statementBNF, typeVocabulary, symbolVocabulary);
28
28
  return customGrammar;
29
29
  }
30
30
  function combinedCustomGrammarFromNothing() {
@@ -46,4 +46,4 @@ var _default = {
46
46
  combinedCustomGrammarFromReleaseContexts: combinedCustomGrammarFromReleaseContexts
47
47
  };
48
48
 
49
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyhuYW1lLCBlbnRyaWVzKSB7XG4gIGNvbnN0IHRlcm1CTkYgPSBlbnRyaWVzLmdldFRlcm1CTkYoKSxcbiAgICAgICAgc3RhdGVtZW50Qk5GID0gZW50cmllcy5nZXRTdGF0ZW1lbnRCTkYoKSxcbiAgICAgICAgdHlwZVBhdHRlcm4gPSBlbnRyaWVzLmdldFR5cGVQYXR0ZXJuKCksXG4gICAgICAgIHN5bWJvbFBhdHRlcm4gPSBlbnRyaWVzLmdldFN5bWJvbFBhdHRlcm4oKSxcbiAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbU5hbWVUZXJtQk5GU3RhdGVtZW50Qk5GVHlwZVBhdHRlcm5BbmRTeW1ib2xQYXR0ZXJuKG5hbWUsIHRlcm1CTkYsIHN0YXRlbWVudEJORiwgdHlwZVBhdHRlcm4sIHN5bWJvbFBhdHRlcm4pO1xuXG4gIHJldHVybiBjdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzID0gW10sXG4gICAgICAgIGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzKHJlbGVhc2VDb250ZXh0cykge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IHJlbGVhc2VDb250ZXh0cy5tYXAoKHJlbGVhc2VDb250ZXh0KSA9PiB7XG4gICAgICAgICAgY29uc3QgY3VzdG9tR3JhbW1hciA9IHJlbGVhc2VDb250ZXh0LmdldEN1c3RvbUdyYW1tYXIoKTtcblxuICAgICAgICAgIHJldHVybiBjdXN0b21HcmFtbWFyO1xuICAgICAgICB9KTtcblxuICBjdXN0b21HcmFtbWFycy5yZXZlcnNlKCk7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyxcbiAgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlQ29udGV4dHNcbn07XG4iXSwibmFtZXMiOlsiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzIiwiY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyIsIm5hbWUiLCJlbnRyaWVzIiwidGVybUJORiIsImdldFRlcm1CTkYiLCJzdGF0ZW1lbnRCTkYiLCJnZXRTdGF0ZW1lbnRCTkYiLCJ0eXBlUGF0dGVybiIsImdldFR5cGVQYXR0ZXJuIiwic3ltYm9sUGF0dGVybiIsImdldFN5bWJvbFBhdHRlcm4iLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVQYXR0ZXJuQW5kU3ltYm9sUGF0dGVybiIsImN1c3RvbUdyYW1tYXJzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZnJvbUN1c3RvbUdyYW1tYXJzIiwicmVsZWFzZUNvbnRleHRzIiwibWFwIiwicmVsZWFzZUNvbnRleHQiLCJnZXRDdXN0b21HcmFtbWFyIiwicmV2ZXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBY2dCQTtlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBakJBQztlQUFBQTs7UUErQmhCO2VBQUE7OzttQ0FqQ3FEO0FBRTlDLFNBQVNBLGdDQUFnQ0MsSUFBSSxFQUFFQyxPQUFPO0lBQzNELElBQU1DLFVBQVVELFFBQVFFLFVBQVUsSUFDNUJDLGVBQWVILFFBQVFJLGVBQWUsSUFDdENDLGNBQWNMLFFBQVFNLGNBQWMsSUFDcENDLGdCQUFnQlAsUUFBUVEsZ0JBQWdCLElBQ3hDQyxnQkFBZ0JDLGtDQUFhLENBQUNDLHNEQUFzRCxDQUFDWixNQUFNRSxTQUFTRSxjQUFjRSxhQUFhRTtJQUVySSxPQUFPRTtBQUNUO0FBRU8sU0FBU2I7SUFDZCxJQUFNZ0IsaUJBQWlCLEVBQUUsRUFDbkJDLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0FBRU8sU0FBU2hCLHlDQUF5Q21CLGVBQWU7SUFDdEUsSUFBTUosaUJBQWlCSSxnQkFBZ0JDLEdBQUcsQ0FBQyxTQUFDQztRQUNwQyxJQUFNVCxnQkFBZ0JTLGVBQWVDLGdCQUFnQjtRQUVyRCxPQUFPVjtJQUNUO0lBRU5HLGVBQWVRLE9BQU8sSUFBSSxHQUFHO0lBRTdCLElBQU1QLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0lBRUEsV0FBZTtJQUNiZixpQ0FBQUE7SUFDQUYsa0NBQUFBO0lBQ0FDLDBDQUFBQTtBQUNGIn0=
49
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyhuYW1lLCBlbnRyaWVzKSB7XG4gIGNvbnN0IHRlcm1CTkYgPSBlbnRyaWVzLmdldFRlcm1CTkYoKSxcbiAgICAgICAgc3RhdGVtZW50Qk5GID0gZW50cmllcy5nZXRTdGF0ZW1lbnRCTkYoKSxcbiAgICAgICAgdHlwZVZvY2FidWxhcnkgPSBlbnRyaWVzLmdldFR5cGVWb2NhYnVsYXJ5KCksXG4gICAgICAgIHN5bWJvbFZvY2FidWxhcnkgPSBlbnRyaWVzLmdldFN5bWJvbFZvY2FidWxhcnkoKSxcbiAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbU5hbWVUZXJtQk5GU3RhdGVtZW50Qk5GVHlwZVZvY2FidWxhcnlBbmRTeW1ib2xWb2NhYnVsYXJ5KG5hbWUsIHRlcm1CTkYsIHN0YXRlbWVudEJORiwgdHlwZVZvY2FidWxhcnksIHN5bWJvbFZvY2FidWxhcnkpO1xuXG4gIHJldHVybiBjdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzID0gW10sXG4gICAgICAgIGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzKHJlbGVhc2VDb250ZXh0cykge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IHJlbGVhc2VDb250ZXh0cy5tYXAoKHJlbGVhc2VDb250ZXh0KSA9PiB7XG4gICAgICAgICAgY29uc3QgY3VzdG9tR3JhbW1hciA9IHJlbGVhc2VDb250ZXh0LmdldEN1c3RvbUdyYW1tYXIoKTtcblxuICAgICAgICAgIHJldHVybiBjdXN0b21HcmFtbWFyO1xuICAgICAgICB9KTtcblxuICBjdXN0b21HcmFtbWFycy5yZXZlcnNlKCk7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyxcbiAgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlQ29udGV4dHNcbn07XG4iXSwibmFtZXMiOlsiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzIiwiY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyIsIm5hbWUiLCJlbnRyaWVzIiwidGVybUJORiIsImdldFRlcm1CTkYiLCJzdGF0ZW1lbnRCTkYiLCJnZXRTdGF0ZW1lbnRCTkYiLCJ0eXBlVm9jYWJ1bGFyeSIsImdldFR5cGVWb2NhYnVsYXJ5Iiwic3ltYm9sVm9jYWJ1bGFyeSIsImdldFN5bWJvbFZvY2FidWxhcnkiLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVWb2NhYnVsYXJ5QW5kU3ltYm9sVm9jYWJ1bGFyeSIsImN1c3RvbUdyYW1tYXJzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZnJvbUN1c3RvbUdyYW1tYXJzIiwicmVsZWFzZUNvbnRleHRzIiwibWFwIiwicmVsZWFzZUNvbnRleHQiLCJnZXRDdXN0b21HcmFtbWFyIiwicmV2ZXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBY2dCQTtlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBakJBQztlQUFBQTs7UUErQmhCO2VBQUE7OzttQ0FqQ3FEO0FBRTlDLFNBQVNBLGdDQUFnQ0MsSUFBSSxFQUFFQyxPQUFPO0lBQzNELElBQU1DLFVBQVVELFFBQVFFLFVBQVUsSUFDNUJDLGVBQWVILFFBQVFJLGVBQWUsSUFDdENDLGlCQUFpQkwsUUFBUU0saUJBQWlCLElBQzFDQyxtQkFBbUJQLFFBQVFRLG1CQUFtQixJQUM5Q0MsZ0JBQWdCQyxrQ0FBYSxDQUFDQyw0REFBNEQsQ0FBQ1osTUFBTUUsU0FBU0UsY0FBY0UsZ0JBQWdCRTtJQUU5SSxPQUFPRTtBQUNUO0FBRU8sU0FBU2I7SUFDZCxJQUFNZ0IsaUJBQWlCLEVBQUUsRUFDbkJDLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0FBRU8sU0FBU2hCLHlDQUF5Q21CLGVBQWU7SUFDdEUsSUFBTUosaUJBQWlCSSxnQkFBZ0JDLEdBQUcsQ0FBQyxTQUFDQztRQUNwQyxJQUFNVCxnQkFBZ0JTLGVBQWVDLGdCQUFnQjtRQUVyRCxPQUFPVjtJQUNUO0lBRU5HLGVBQWVRLE9BQU8sSUFBSSxHQUFHO0lBRTdCLElBQU1QLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0lBRUEsV0FBZTtJQUNiZixpQ0FBQUE7SUFDQUYsa0NBQUFBO0lBQ0FDLDBDQUFBQTtBQUNGIn0=
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "1.0.250",
4
+ "version": "1.0.252",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
@@ -12,11 +12,11 @@
12
12
  "dependencies": {
13
13
  "argumentative": "^2.0.32",
14
14
  "necessary": "^15.0.1",
15
- "occam-custom-grammars": "^5.0.1236",
16
- "occam-entities": "^1.0.378",
17
- "occam-file-system": "^6.0.393",
18
- "occam-furtle": "^2.0.183",
19
- "occam-grammars": "^1.3.312",
15
+ "occam-custom-grammars": "^5.0.1238",
16
+ "occam-entities": "^1.0.380",
17
+ "occam-file-system": "^6.0.395",
18
+ "occam-furtle": "^2.0.188",
19
+ "occam-grammars": "^1.3.317",
20
20
  "occam-lexers": "^23.1.3",
21
21
  "occam-parsers": "^23.1.5",
22
22
  "occam-query": "^4.1.110"
package/src/constants.js CHANGED
@@ -10,5 +10,6 @@ export const PROVISIONAL = "Provisional";
10
10
  export const EMPTY_STRING = "";
11
11
  export const SINGLE_SPACE = " ";
12
12
  export const PROVISIONALLY = "provisionally";
13
+ export const OBJECT_TYPE_NAME = "_";
13
14
  export const BRACKETED_TERM_DEPTH = 2;
14
15
  export const BRACKETED_STATEMENT_DEPTH = 2;
package/src/context/bracketed/constructor.js CHANGED
@@ -3,7 +3,7 @@
3
3
  import BracketedContext from "../../context/bracketted";
4
4
  import TermPartialContext from "../../context/partial/term";
5
5
 
6
- import { OBJECT_TYPE_NAME } from "../../typeNames";
6
+ import { OBJECT_TYPE_NAME } from "../../constants";
7
7
  import { nominalLexer, nominalParser } from "../../utilities/nominal";
8
8
 
9
9
  class ConstructorBracketedContext extends BracketedContext {
package/src/dom/subproof.js CHANGED
@@ -89,9 +89,7 @@ export default domAssigned(class Subproof {
89
89
  }
90
90
 
91
91
  equateWithStatement(statement, context) {
92
- let statementUnifies = false;
93
-
94
- debugger
92
+ const statementUnifies = false;
95
93
 
96
94
  return statementUnifies;
97
95
  }
package/src/dom/type.js CHANGED
@@ -5,7 +5,7 @@ import { arrayUtilities } from "necessary";
5
5
  import dom from "../dom";
6
6
 
7
7
  import { domAssigned } from "../dom";
8
- import { OBJECT_TYPE_NAME } from "../typeNames";
8
+ import { OBJECT_TYPE_NAME } from "../constants";
9
9
  import { typeFromTypeNode } from "../utilities/node";
10
10
  import { stringFromTypeNameNameAndSuperTypes } from "../utilities/type";
11
11
  import { superTypesFromJSON, propertiesFromJSON, superTypesToSuperTypesJSON, propertiesToPropertiesJSON } from "../utilities/json";
package/src/node/argument.js CHANGED
@@ -2,9 +2,23 @@
2
2
 
3
3
  import NonTerminalNode from "../node/nonTerminal";
4
4
 
5
- import { TERM_RULE_NAME } from "../ruleNames";
5
+ import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
6
6
 
7
7
  export default class ArgumentNode extends NonTerminalNode {
8
+ getTermNode() {
9
+ const ruleName = TERM_RULE_NAME,
10
+ termNode = this.getNodeByRuleName(ruleName);
11
+
12
+ return termNode;
13
+ }
14
+
15
+ getTypeNode() {
16
+ const ruleName = TYPE_RULE_NAME,
17
+ typeNode = this.getNodeByRuleName(ruleName);
18
+
19
+ return typeNode;
20
+ }
21
+
8
22
  getSingularTermNode() {
9
23
  const ruleName = TERM_RULE_NAME,
10
24
  singularTermNode = this.getSingularTNodeByRuleName(ruleName);
package/src/node/axiom.js CHANGED
@@ -1,7 +1,38 @@
1
1
  "use strict";
2
2
 
3
- import TopLevelAssertionNode from "../node/topLevelAssertion";
3
+ import NonTerminalNode from "../node/nonTerminal";
4
4
 
5
- export default class AxiomNode extends TopLevelAssertionNode {
6
- static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return TopLevelAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
5
+ import { AXIOM_BODY_RULE_NAME, AXIOM_HEADER_RULE_NAME } from "../ruleNames";
6
+
7
+ export default class AxiomNode extends NonTerminalNode {
8
+ getAxiomBodyNode() {
9
+ const ruleName = AXIOM_BODY_RULE_NAME,
10
+ axiomBodyNode = this.getNodeByRuleName(ruleName);
11
+
12
+ return axiomBodyNode;
13
+ }
14
+
15
+
16
+ getAxiomHeaderNode() {
17
+ const ruleName = AXIOM_HEADER_RULE_NAME,
18
+ axiomHeaderNode = this.getNodeByRuleName(ruleName);
19
+
20
+ return axiomHeaderNode;
21
+ }
22
+
23
+ getSignatureNode() {
24
+ const axiomHeaderNode = this.getAxiomHeaderNode(),
25
+ signatureNode = axiomHeaderNode.getSignatureNode();
26
+
27
+ return signatureNode;
28
+ }
29
+
30
+ getLabelNodes() {
31
+ const axiomHeaderNode = this.getAxiomHeaderNode(),
32
+ labelNodes = axiomHeaderNode.getLabelNodes();
33
+
34
+ return labelNodes;
35
+ }
36
+
37
+ static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomNode, ruleName, childNodes, opacity, precedence); }
7
38
  }
package/src/node/body/axiom.js ADDED
@@ -0,0 +1,22 @@
1
+ "use strict";
2
+
3
+ import BodyNode from "../../node/body";
4
+ import { DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
5
+
6
+ export default class AxiomBodyNode extends BodyNode {
7
+ getDeductionNode() {
8
+ const ruleName = DEDUCTION_RULE_NAME,
9
+ deductionNode = this.getNodeByRuleName(ruleName);
10
+
11
+ return deductionNode;
12
+ }
13
+
14
+ getSuppositionNodes() {
15
+ const ruleName = SUPPOSITION_RULE_NAME,
16
+ suppositionNodes = this.getNodesByRuleName(ruleName);
17
+
18
+ return suppositionNodes;
19
+ }
20
+
21
+ static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomBodyNode, ruleName, childNodes, opacity, precedence); }
22
+ }
package/src/node/body/conjecture.js ADDED
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+
3
+ import BodyNode from "../../node/body";
4
+
5
+ import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
6
+
7
+ export default class ConjectureBodyNode extends BodyNode {
8
+ getProofNode() {
9
+ const ruleName = PROOF_RULE_NAME,
10
+ proofNode = this.getNodeByRuleName(ruleName);
11
+
12
+ return proofNode;
13
+ }
14
+
15
+ getDeductionNode() {
16
+ const ruleName = DEDUCTION_RULE_NAME,
17
+ deductionNode = this.getNodeByRuleName(ruleName);
18
+
19
+ return deductionNode;
20
+ }
21
+
22
+ getSuppositionNodes() {
23
+ const ruleName = SUPPOSITION_RULE_NAME,
24
+ suppositionNodes = this.getNodesByRuleName(ruleName);
25
+
26
+ return suppositionNodes;
27
+ }
28
+
29
+ static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureBodyNode, ruleName, childNodes, opacity, precedence); }
30
+ }
package/src/node/body/lemma.js ADDED
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+
3
+ import BodyNode from "../../node/body";
4
+
5
+ import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
6
+
7
+ export default class LemmaBodyNode extends BodyNode {
8
+ getProofNode() {
9
+ const ruleName = PROOF_RULE_NAME,
10
+ proofNode = this.getNodeByRuleName(ruleName);
11
+
12
+ return proofNode;
13
+ }
14
+
15
+ getDeductionNode() {
16
+ const ruleName = DEDUCTION_RULE_NAME,
17
+ deductionNode = this.getNodeByRuleName(ruleName);
18
+
19
+ return deductionNode;
20
+ }
21
+
22
+ getSuppositionNodes() {
23
+ const ruleName = SUPPOSITION_RULE_NAME,
24
+ suppositionNodes = this.getNodesByRuleName(ruleName);
25
+
26
+ return suppositionNodes;
27
+ }
28
+
29
+ static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(LemmaBodyNode, ruleName, childNodes, opacity, precedence); }
30
+ }