occam-verify-cli 1.0.225 → 1.0.227

package/lib/nonTerminalNodeMap.js

@@ -49,7 +49,7 @@ var _metavariable = /*#__PURE__*/ _interop_require_default(require("./node/metav
 var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./node/procedureCall"));
 var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./node/subDerivation"));
 var _type1 = /*#__PURE__*/ _interop_require_default(require("./node/assertion/type"));
-var _type2 = /*#__PURE__*/ _interop_require_default(require("./node/declaration/type"));
+var _simpleType = /*#__PURE__*/ _interop_require_default(require("./node/declaration/simpleType"));
 var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./node/propertyRelation"));
 var _defined = /*#__PURE__*/ _interop_require_default(require("./node/assertion/defined"));
 var _term1 = /*#__PURE__*/ _interop_require_default(require("./node/substitution/term"));
@@ -88,7 +88,7 @@ function _interop_require_default(obj) {
     };
 }
 var _obj;
-var nonTerminalNodeMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.TYPES_RULE_NAME, _types.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LABELS_RULE_NAME, _labels.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.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.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.TYPE_DECLARATION_RULE_NAME, _type2.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.CONSTRUCTOR_DECLARATION_RULE_NAME, _constructor1.default), _define_property(_obj, _ruleNames.COMPLEX_TYPE_DECLARATION_RULE_NAME, _complexType.default), _define_property(_obj, _ruleNames.METAVARIABLE_DECLARATION_RULE_NAME, _metavariable1.default), _obj);
+var nonTerminalNodeMap = (_obj = {}, _define_property(_obj, _ruleNames.RULE_RULE_NAME, _rule.default), _define_property(_obj, _ruleNames.STEP_RULE_NAME, _step.default), _define_property(_obj, _ruleNames.TERM_RULE_NAME, _term.default), _define_property(_obj, _ruleNames.TYPE_RULE_NAME, _type.default), _define_property(_obj, _ruleNames.TYPES_RULE_NAME, _types.default), _define_property(_obj, _ruleNames.ERROR_RULE_NAME, _error.default), _define_property(_obj, _ruleNames.FRAME_RULE_NAME, _frame.default), _define_property(_obj, _ruleNames.LEMMA_RULE_NAME, _lemma.default), _define_property(_obj, _ruleNames.AXIOM_RULE_NAME, _axiom.default), _define_property(_obj, _ruleNames.PROOF_RULE_NAME, _proof.default), _define_property(_obj, _ruleNames.LABEL_RULE_NAME, _label.default), _define_property(_obj, _ruleNames.LABELS_RULE_NAME, _labels.default), _define_property(_obj, _ruleNames.THEOREM_RULE_NAME, _theorem.default), _define_property(_obj, _ruleNames.PREMISE_RULE_NAME, _premise.default), _define_property(_obj, _ruleNames.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.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);
 var _default = nonTerminalNodeMap;
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCI7XG5pbXBvcnQgRGVkdWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlZHVjdGlvblwiO1xuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbWV0YUxlbW1hXCI7XG5pbXBvcnQgUGFyYW1ldGVyTm9kZSBmcm9tIFwiLi9ub2RlL3BhcmFtZXRlclwiO1xuaW1wb3J0IFNpZ25hdHVyZU5vZGUgZnJvbSBcIi4vbm9kZS9zaWduYXR1cmVcIjtcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIjtcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIjtcbmltcG9ydCBTdXBwb3NpdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb25cIjtcbmltcG9ydCBNZXRhdGhlb3JlbU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IE1ldGFBcmd1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhQXJndW1lbnRcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvbWV0YXZhcmlhYmxlXCI7XG5pbXBvcnQgUHJvY2VkdXJlQ2FsbE5vZGUgZnJvbSBcIi4vbm9kZS9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJEZXJpdmF0aW9uXCI7XG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IHR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi90eXBlXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVJlbGF0aW9uXCJcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgVGVybVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IFByb3BlcnR5QXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFNhdGlzZmllc0Fzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgUGFyZW50aGVzaXNlZExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxzXCJcbmltcG9ydCBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9yZWZlcmVuY2VcIjtcbmltcG9ydCBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRVNfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBOT05TRU5TRV9SVUxFX05BTUUsXG4gICAgICAgICBBUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SVUxFX05BTUUsXG4gICAgICAgICBFUVVBTElUWV9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgU0lHTkFUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIERFRFVDVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBKVURHRU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgICAgICAgIFJFRkVSRU5DRV9SVUxFX05BTUUsXG4gICAgICAgICBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9MRU1NQV9SVUxFX05BTUUsXG4gICAgICAgICBERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05KRUNUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlNUUlVDVE9SX1JVTEVfTkFNRSxcbiAgICAgICAgIERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFUSEVPUkVNX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi9ydWxlTmFtZXNcIjtcblxuY29uc3Qgbm9uVGVybWluYWxOb2RlTWFwID0ge1xuICBbUlVMRV9SVUxFX05BTUVdOiBSdWxlTm9kZSxcbiAgW1NURVBfUlVMRV9OQU1FXTogU3RlcE5vZGUsXG4gIFtURVJNX1JVTEVfTkFNRV06IFRlcm1Ob2RlLFxuICBbVFlQRV9SVUxFX05BTUVdOiBUeXBlTm9kZSxcbiAgW1RZUEVTX1JVTEVfTkFNRV06IFR5cGVzTm9kZSxcbiAgW0VSUk9SX1JVTEVfTkFNRV06IEVycm9yTm9kZSxcbiAgW0ZSQU1FX1JVTEVfTkFNRV06IEZyYW1lTm9kZSxcbiAgW0xFTU1BX1JVTEVfTkFNRV06IExlbW1hTm9kZSxcbiAgW0FYSU9NX1JVTEVfTkFNRV06IEF4aW9tTm9kZSxcbiAgW1BST09GX1JVTEVfTkFNRV06IFByb29mTm9kZSxcbiAgW0xBQkVMX1JVTEVfTkFNRV06IExhYmVsTm9kZSxcbiAgW0xBQkVMU19SVUxFX05BTUVdOiBMYWJlbHNOb2RlLFxuICBbVEhFT1JFTV9SVUxFX05BTUVdOiBUaGVvcmVtTm9kZSxcbiAgW1BSRU1JU0VfUlVMRV9OQU1FXTogUHJlbWlzZU5vZGUsXG4gIFtBUkdVTUVOVF9SVUxFX05BTUVdOiBBcmd1bWVudE5vZGUsXG4gIFtQUk9QRVJUWV9SVUxFX05BTUVdOiBQcm9wZXJ0eU5vZGUsXG4gIFtTVUJQUk9PRl9SVUxFX05BTUVdOiBTdWJwcm9vZk5vZGUsXG4gIFtFUVVBTElUWV9SVUxFX05BTUVdOiBFcXVhbGl0eU5vZGUsXG4gIFtWQVJJQUJMRV9SVUxFX05BTUVdOiBWYXJpYWJsZU5vZGUsXG4gIFtOT05TRU5TRV9SVUxFX05BTUVdOiBOb25zZW5zZU5vZGUsXG4gIFtNRVRBX1RZUEVfUlVMRV9OQU1FXTogTWV0YVR5cGVOb2RlLFxuICBbU0lHTkFUVVJFX1JVTEVfTkFNRV06IFNpZ25hdHVyZU5vZGUsXG4gIFtSRUZFUkVOQ0VfUlVMRV9OQU1FXTogUmVmZXJlbmNlTm9kZSxcbiAgW0pVREdFTUVOVF9SVUxFX05BTUVdOiBKdWRnZW1lbnROb2RlLFxuICBbREVEVUNUSU9OX1JVTEVfTkFNRV06IERlZHVjdGlvbk5vZGUsXG4gIFtQQVJBTUVURVJfUlVMRV9OQU1FXTogUGFyYW1ldGVyTm9kZSxcbiAgW1NUQVRFTUVOVF9SVUxFX05BTUVdOiBTdGF0ZW1lbnROb2RlLFxuICBbTUVUQV9MRU1NQV9SVUxFX05BTUVdOiBNZXRhTGVtbWFOb2RlLFxuICBbQ09NQklOQVRPUl9SVUxFX05BTUVdOiBDb21iaW5hdG9yTm9kZSxcbiAgW0NPTkNMVVNJT05fUlVMRV9OQU1FXTogQ29uY2x1c2lvbk5vZGUsXG4gIFtDT05KRUNUVVJFX1JVTEVfTkFNRV06IENvbmplY3R1cmVOb2RlLFxuICBbREVSSVZBVElPTl9SVUxFX05BTUVdOiBEZXJpdmF0aW9uTm9kZSxcbiAgW1NVUFBPU0lUSU9OX1JVTEVfTkFNRV06IFN1cHBvc2l0aW9uTm9kZSxcbiAgW0NPTlNUUlVDVE9SX1JVTEVfTkFNRV06IENvbnN0cnVjdG9yTm9kZSxcbiAgW0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IERlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFUSEVPUkVNX1JVTEVfTkFNRV06IE1ldGF0aGVvcmVtTm9kZSxcbiAgW01FVEFWQVJJQUJMRV9SVUxFX05BTUVdOiBNZXRhdmFyaWFibGVOb2RlLFxuICBbTUVUQV9BUkdVTUVOVF9SVUxFX05BTUVdOiBNZXRhQXJndW1lbnROb2RlLFxuICBbVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FXTogVHlwZUFzc2VydGlvbk5vZGUsXG4gIFtQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUVdOiBQcm9jZWR1cmVDYWxsTm9kZSxcbiAgW1NVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRV06IFN1YkRlcml2YXRpb25Ob2RlLFxuICBbVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiB0eXBlRGVjbGFyYXRpb25Ob2RlLFxuICBbUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlSZWxhdGlvbk5vZGUsXG4gIFtERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBEZWZpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1RFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IFRlcm1TdWJzdGl0dXRpb25Ob2RlLFxuICBbU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFN1YnByb29mQXNzZXJ0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eUFzc2VydGlvbk5vZGUsXG4gIFtGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogRnJhbWVTdWJzdGl0dXRpb25Ob2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUVdOiBQYXJlbnRoZXNpc2VkTGFiZWxOb2RlLFxuICBbU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlLFxuICBbQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUVdOiBDb250YWluZWRBc3NlcnRpb25Ob2RlLFxuICBbUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsc05vZGUsXG4gIFtWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5RGVjbGFyYXRpb25Ob2RlLFxuICBbU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlLFxuICBbUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlLFxuICBbQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlLFxuICBbQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlXG59O1xuXG5leHBvcnQgZGVmYXVsdCBub25UZXJtaW5hbE5vZGVNYXA7XG4iXSwibmFtZXMiOlsibm9uVGVybWluYWxOb2RlTWFwIiwiUlVMRV9SVUxFX05BTUUiLCJSdWxlTm9kZSIsIlNURVBfUlVMRV9OQU1FIiwiU3RlcE5vZGUiLCJURVJNX1JVTEVfTkFNRSIsIlRlcm1Ob2RlIiwiVFlQRV9SVUxFX05BTUUiLCJUeXBlTm9kZSIsIlRZUEVTX1JVTEVfTkFNRSIsIlR5cGVzTm9kZSIsIkVSUk9SX1JVTEVfTkFNRSIsIkVycm9yTm9kZSIsIkZSQU1FX1JVTEVfTkFNRSIsIkZyYW1lTm9kZSIsIkxFTU1BX1JVTEVfTkFNRSIsIkxlbW1hTm9kZSIsIkFYSU9NX1JVTEVfTkFNRSIsIkF4aW9tTm9kZSIsIlBST09GX1JVTEVfTkFNRSIsIlByb29mTm9kZSIsIkxBQkVMX1JVTEVfTkFNRSIsIkxhYmVsTm9kZSIsIkxBQkVMU19SVUxFX05BTUUiLCJMYWJlbHNOb2RlIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUaGVvcmVtTm9kZSIsIlBSRU1JU0VfUlVMRV9OQU1FIiwiUHJlbWlzZU5vZGUiLCJBUkdVTUVOVF9SVUxFX05BTUUiLCJBcmd1bWVudE5vZGUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJQcm9wZXJ0eU5vZGUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTdWJwcm9vZk5vZGUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJFcXVhbGl0eU5vZGUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJWYXJpYWJsZU5vZGUiLCJOT05TRU5TRV9SVUxFX05BTUUiLCJOb25zZW5zZU5vZGUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTWV0YVR5cGVOb2RlIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNpZ25hdHVyZU5vZGUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUmVmZXJlbmNlTm9kZSIsIkpVREdFTUVOVF9SVUxFX05BTUUiLCJKdWRnZW1lbnROb2RlIiwiREVEVUNUSU9OX1JVTEVfTkFNRSIsIkRlZHVjdGlvbk5vZGUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUGFyYW1ldGVyTm9kZSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTdGF0ZW1lbnROb2RlIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNZXRhTGVtbWFOb2RlIiwiQ09NQklOQVRPUl9SVUxFX05BTUUiLCJDb21iaW5hdG9yTm9kZSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ29uY2x1c2lvbk5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsIkNvbmplY3R1cmVOb2RlIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJEZXJpdmF0aW9uTm9kZSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlN1cHBvc2l0aW9uTm9kZSIsIkNPTlNUUlVDVE9SX1JVTEVfTkFNRSIsIkNvbnN0cnVjdG9yTm9kZSIsIkRFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkRlY2xhcmF0aW9uTm9kZSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1ldGF0aGVvcmVtTm9kZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJNZXRhdmFyaWFibGVOb2RlIiwiTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUiLCJNZXRhQXJndW1lbnROb2RlIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiVHlwZUFzc2VydGlvbk5vZGUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQcm9jZWR1cmVDYWxsTm9kZSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlN1YkRlcml2YXRpb25Ob2RlIiwiVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJ0eXBlRGVjbGFyYXRpb25Ob2RlIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlSZWxhdGlvbk5vZGUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJEZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRlcm1TdWJzdGl0dXRpb25Ob2RlIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlN1YnByb29mQXNzZXJ0aW9uTm9kZSIsIlBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eUFzc2VydGlvbk5vZGUiLCJGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiRnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwiUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUiLCJQYXJlbnRoZXNpc2VkTGFiZWxOb2RlIiwiU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTYXRpc2ZpZXNBc3NlcnRpb25Ob2RlIiwiQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJDb250YWluZWRBc3NlcnRpb25Ob2RlIiwiUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FIiwiUGFyZW50aGVzaXNlZExhYmVsc05vZGUiLCJWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJ2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsIlBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5RGVjbGFyYXRpb25Ob2RlIiwiU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlIiwiUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJSZWZlcmVuY2VTdWJzdGl0dXRpb25Ob2RlIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkEyTEE7OztlQUFBOzs7MkRBekxxQjsyREFDQTsyREFDQTsyREFDQTs0REFDQzs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs2REFDQzs4REFDQzs4REFDQTsrREFDQzsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTtnRUFDQztnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtpRUFDQztpRUFDQTtpRUFDQTtpRUFDQTtrRUFDQztrRUFDQTtrRUFDQTtrRUFDQTttRUFDQzttRUFDQTtvRUFDQztvRUFDQTs0REFDQTs0REFDRTt1RUFDQzs4REFDQTs0REFDQTtnRUFDQztnRUFDQTs2REFDQTt5RUFDQztnRUFDQTtnRUFDQTswRUFDQztnRUFDQTtnRUFDQTtpRUFDRTtpRUFDQTtrRUFDQTtrRUFDQzttRUFDQTtvRUFDQzt5QkE2RFc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7SUFFeEI7QUFBM0IsSUFBTUEsc0JBQXFCLFdBQ3pCLGlCQUR5QixNQUN4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFGeUIsTUFFeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSHlCLE1BR3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUp5QixNQUl4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFMeUIsTUFLeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBTnlCLE1BTXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVB5QixNQU94QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFSeUIsTUFReEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVHlCLE1BU3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVZ5QixNQVV4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFYeUIsTUFXeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBWnlCLE1BWXhCQywyQkFBZ0IsRUFBR0MsZUFBVSxHQUM5QixpQkFieUIsTUFheEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFkeUIsTUFjeEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFmeUIsTUFleEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFoQnlCLE1BZ0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWpCeUIsTUFpQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBbEJ5QixNQWtCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFuQnlCLE1BbUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXBCeUIsTUFvQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBckJ5QixNQXFCeEJDLDhCQUFtQixFQUFHQyxpQkFBWSxHQUNuQyxpQkF0QnlCLE1Bc0J4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXZCeUIsTUF1QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBeEJ5QixNQXdCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkF6QnlCLE1BeUJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTFCeUIsTUEwQnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBM0J5QixNQTJCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkE1QnlCLE1BNEJ4QkMsK0JBQW9CLEVBQUdDLGtCQUFhLEdBQ3JDLGlCQTdCeUIsTUE2QnhCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBOUJ5QixNQThCeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkEvQnlCLE1BK0J4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQWhDeUIsTUFnQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBakN5QixNQWlDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFsQ3lCLE1Ba0N4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQW5DeUIsTUFtQ3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBcEN5QixNQW9DeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFyQ3lCLE1BcUN4QkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkF0Q3lCLE1Bc0N4QkMsa0NBQXVCLEVBQUdDLHFCQUFnQixHQUMzQyxpQkF2Q3lCLE1BdUN4QkMsbUNBQXdCLEVBQUdDLGNBQWlCLEdBQzdDLGlCQXhDeUIsTUF3Q3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQXpDeUIsTUF5Q3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQTFDeUIsTUEwQ3hCQyxxQ0FBMEIsRUFBR0MsY0FBbUIsR0FDakQsaUJBM0N5QixNQTJDeEJDLHNDQUEyQixFQUFHQyx5QkFBb0IsR0FDbkQsaUJBNUN5QixNQTRDeEJDLHNDQUEyQixFQUFHQyxnQkFBb0IsR0FDbkQsaUJBN0N5QixNQTZDeEJDLHNDQUEyQixFQUFHQyxjQUFvQixHQUNuRCxpQkE5Q3lCLE1BOEN4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkEvQ3lCLE1BK0N4QkMsdUNBQTRCLEVBQUdDLGtCQUFxQixHQUNyRCxpQkFoRHlCLE1BZ0R4QkMsdUNBQTRCLEVBQUdDLGVBQXFCLEdBQ3JELGlCQWpEeUIsTUFpRHhCQyx3Q0FBNkIsRUFBR0MsMkJBQXNCLEdBQ3ZELGlCQWxEeUIsTUFrRHhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQW5EeUIsTUFtRHhCQyx3Q0FBNkIsRUFBR0Msa0JBQXNCLEdBQ3ZELGlCQXBEeUIsTUFvRHhCQyx5Q0FBOEIsRUFBR0MsNEJBQXVCLEdBQ3pELGlCQXJEeUIsTUFxRHhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQXREeUIsTUFzRHhCQyx5Q0FBOEIsRUFBR0Msa0JBQXVCLEdBQ3pELGlCQXZEeUIsTUF1RHhCQywyQ0FBZ0MsRUFBR0MsbUJBQXlCLEdBQzdELGlCQXhEeUIsTUF3RHhCQywyQ0FBZ0MsRUFBR0MsbUJBQXlCLEdBQzdELGlCQXpEeUIsTUF5RHhCQywyQ0FBZ0MsRUFBR0Msb0JBQXlCLEdBQzdELGlCQTFEeUIsTUEwRHhCQyw0Q0FBaUMsRUFBR0MscUJBQTBCLEdBQy9ELGlCQTNEeUIsTUEyRHhCQyw2Q0FBa0MsRUFBR0Msb0JBQTBCLEdBQ2hFLGlCQTVEeUIsTUE0RHhCQyw2Q0FBa0MsRUFBR0Msc0JBQTJCLEdBNUR4QztJQStEM0IsV0FBZXhIIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGVNYXAuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBUZXJtTm9kZSBmcm9tIFwiLi9ub2RlL3Rlcm1cIjtcbmltcG9ydCBSdWxlTm9kZSBmcm9tIFwiLi9ub2RlL3J1bGVcIjtcbmltcG9ydCBTdGVwTm9kZSBmcm9tIFwiLi9ub2RlL3N0ZXBcIjtcbmltcG9ydCBUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL3R5cGVcIjtcbmltcG9ydCBUeXBlc05vZGUgZnJvbSBcIi4vbm9kZS90eXBlc1wiO1xuaW1wb3J0IEVycm9yTm9kZSBmcm9tIFwiLi9ub2RlL2Vycm9yXCI7XG5pbXBvcnQgRnJhbWVOb2RlIGZyb20gXCIuL25vZGUvZnJhbWVcIjtcbmltcG9ydCBBeGlvbU5vZGUgZnJvbSBcIi4vbm9kZS9heGlvbVwiO1xuaW1wb3J0IExlbW1hTm9kZSBmcm9tIFwiLi9ub2RlL2xlbW1hXCI7XG5pbXBvcnQgUHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvcHJvb2ZcIjtcbmltcG9ydCBMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbFwiO1xuaW1wb3J0IExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9sYWJlbHNcIjtcbmltcG9ydCBQcmVtaXNlTm9kZSBmcm9tIFwiLi9ub2RlL3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtTm9kZSBmcm9tIFwiLi9ub2RlL3RoZW9yZW1cIjtcbmltcG9ydCBOb25zZW5zZU5vZGUgZnJvbSBcIi4vbm9kZS9ub25zZW5zZVwiO1xuaW1wb3J0IEFyZ3VtZW50Tm9kZSBmcm9tIFwiLi9ub2RlL2FyZ3VtZW50XCI7XG5pbXBvcnQgU3VicHJvb2ZOb2RlIGZyb20gXCIuL25vZGUvc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eU5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVwiO1xuaW1wb3J0IE1ldGFUeXBlTm9kZSBmcm9tIFwiLi9ub2RlL21ldGFUeXBlXCI7XG5pbXBvcnQgRXF1YWxpdHlOb2RlIGZyb20gXCIuL25vZGUvZXF1YWxpdHlcIjtcbmltcG9ydCBWYXJpYWJsZU5vZGUgZnJvbSBcIi4vbm9kZS92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9zdGF0ZW1lbnRcIjtcbmltcG9ydCBSZWZlcmVuY2VOb2RlIGZyb20gXCIuL25vZGUvcmVmZXJlbmNlXCI7XG5pbXBvcnQgRGVkdWN0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlZHVjdGlvblwiO1xuaW1wb3J0IEp1ZGdlbWVudE5vZGUgZnJvbSBcIi4vbm9kZS9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWFOb2RlIGZyb20gXCIuL25vZGUvbWV0YUxlbW1hXCI7XG5pbXBvcnQgUGFyYW1ldGVyTm9kZSBmcm9tIFwiLi9ub2RlL3BhcmFtZXRlclwiO1xuaW1wb3J0IFNpZ25hdHVyZU5vZGUgZnJvbSBcIi4vbm9kZS9zaWduYXR1cmVcIjtcbmltcG9ydCBEZXJpdmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Rlcml2YXRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBDb25jbHVzaW9uTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmNsdXNpb25cIjtcbmltcG9ydCBDb25qZWN0dXJlTm9kZSBmcm9tIFwiLi9ub2RlL2NvbmplY3R1cmVcIjtcbmltcG9ydCBTdXBwb3NpdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdXBwb3NpdGlvblwiO1xuaW1wb3J0IENvbnN0cnVjdG9yTm9kZSBmcm9tIFwiLi9ub2RlL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb25cIjtcbmltcG9ydCBNZXRhdGhlb3JlbU5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IE1ldGFBcmd1bWVudE5vZGUgZnJvbSBcIi4vbm9kZS9tZXRhQXJndW1lbnRcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVOb2RlIGZyb20gXCIuL25vZGUvbWV0YXZhcmlhYmxlXCI7XG5pbXBvcnQgUHJvY2VkdXJlQ2FsbE5vZGUgZnJvbSBcIi4vbm9kZS9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJEZXJpdmF0aW9uXCI7XG5pbXBvcnQgVHlwZUFzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vdHlwZVwiO1xuaW1wb3J0IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi9zaW1wbGVUeXBlXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9wcm9wZXJ0eVJlbGF0aW9uXCJcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9kZWZpbmVkXCI7XG5pbXBvcnQgVGVybVN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IFByb3BlcnR5QXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2Fzc2VydGlvbi9zdWJwcm9vZlwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFBhcmVudGhlc2lzZWRMYWJlbE5vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb25Ob2RlIGZyb20gXCIuL25vZGUvYXNzZXJ0aW9uL2NvbnRhaW5lZFwiO1xuaW1wb3J0IFNhdGlzZmllc0Fzc2VydGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgUGFyZW50aGVzaXNlZExhYmVsc05vZGUgZnJvbSBcIi4vbm9kZS9wYXJlbnRoZXNpc2VkTGFiZWxzXCJcbmltcG9ydCBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL3Byb3BlcnR5XCI7XG5pbXBvcnQgdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUgZnJvbSBcIi4vbm9kZS9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL3N1YnN0aXR1dGlvbi9yZWZlcmVuY2VcIjtcbmltcG9ydCBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbXBsZXhUeXBlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vY29tcGxleFR5cGVcIjtcbmltcG9ydCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSBmcm9tIFwiLi9ub2RlL2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIGZyb20gXCIuL25vZGUvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IFJVTEVfUlVMRV9OQU1FLFxuICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgVFlQRVNfUlVMRV9OQU1FLFxuICAgICAgICAgUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgRVJST1JfUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfUlVMRV9OQU1FLFxuICAgICAgICAgQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxfUlVMRV9OQU1FLFxuICAgICAgICAgTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgUFJFTUlTRV9SVUxFX05BTUUsXG4gICAgICAgICBOT05TRU5TRV9SVUxFX05BTUUsXG4gICAgICAgICBBUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9SVUxFX05BTUUsXG4gICAgICAgICBFUVVBTElUWV9SVUxFX05BTUUsXG4gICAgICAgICBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX1RZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgU0lHTkFUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIERFRFVDVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBKVURHRU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgUEFSQU1FVEVSX1JVTEVfTkFNRSxcbiAgICAgICAgIFJFRkVSRU5DRV9SVUxFX05BTUUsXG4gICAgICAgICBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9MRU1NQV9SVUxFX05BTUUsXG4gICAgICAgICBERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTUJJTkFUT1JfUlVMRV9OQU1FLFxuICAgICAgICAgQ09OQ0xVU0lPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT05KRUNUVVJFX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlNUUlVDVE9SX1JVTEVfTkFNRSxcbiAgICAgICAgIERFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVUFBPU0lUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFUSEVPUkVNX1JVTEVfTkFNRSxcbiAgICAgICAgIE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIERFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQQVJFTlRIRVNJU0VEX0xBQkVMX1JVTEVfTkFNRSxcbiAgICAgICAgIFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSxcbiAgICAgICAgIFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIFNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4vcnVsZU5hbWVzXCI7XG5cbmNvbnN0IG5vblRlcm1pbmFsTm9kZU1hcCA9IHtcbiAgW1JVTEVfUlVMRV9OQU1FXTogUnVsZU5vZGUsXG4gIFtTVEVQX1JVTEVfTkFNRV06IFN0ZXBOb2RlLFxuICBbVEVSTV9SVUxFX05BTUVdOiBUZXJtTm9kZSxcbiAgW1RZUEVfUlVMRV9OQU1FXTogVHlwZU5vZGUsXG4gIFtUWVBFU19SVUxFX05BTUVdOiBUeXBlc05vZGUsXG4gIFtFUlJPUl9SVUxFX05BTUVdOiBFcnJvck5vZGUsXG4gIFtGUkFNRV9SVUxFX05BTUVdOiBGcmFtZU5vZGUsXG4gIFtMRU1NQV9SVUxFX05BTUVdOiBMZW1tYU5vZGUsXG4gIFtBWElPTV9SVUxFX05BTUVdOiBBeGlvbU5vZGUsXG4gIFtQUk9PRl9SVUxFX05BTUVdOiBQcm9vZk5vZGUsXG4gIFtMQUJFTF9SVUxFX05BTUVdOiBMYWJlbE5vZGUsXG4gIFtMQUJFTFNfUlVMRV9OQU1FXTogTGFiZWxzTm9kZSxcbiAgW1RIRU9SRU1fUlVMRV9OQU1FXTogVGhlb3JlbU5vZGUsXG4gIFtQUkVNSVNFX1JVTEVfTkFNRV06IFByZW1pc2VOb2RlLFxuICBbQVJHVU1FTlRfUlVMRV9OQU1FXTogQXJndW1lbnROb2RlLFxuICBbUFJPUEVSVFlfUlVMRV9OQU1FXTogUHJvcGVydHlOb2RlLFxuICBbU1VCUFJPT0ZfUlVMRV9OQU1FXTogU3VicHJvb2ZOb2RlLFxuICBbRVFVQUxJVFlfUlVMRV9OQU1FXTogRXF1YWxpdHlOb2RlLFxuICBbVkFSSUFCTEVfUlVMRV9OQU1FXTogVmFyaWFibGVOb2RlLFxuICBbTk9OU0VOU0VfUlVMRV9OQU1FXTogTm9uc2Vuc2VOb2RlLFxuICBbTUVUQV9UWVBFX1JVTEVfTkFNRV06IE1ldGFUeXBlTm9kZSxcbiAgW1NJR05BVFVSRV9SVUxFX05BTUVdOiBTaWduYXR1cmVOb2RlLFxuICBbUkVGRVJFTkNFX1JVTEVfTkFNRV06IFJlZmVyZW5jZU5vZGUsXG4gIFtKVURHRU1FTlRfUlVMRV9OQU1FXTogSnVkZ2VtZW50Tm9kZSxcbiAgW0RFRFVDVElPTl9SVUxFX05BTUVdOiBEZWR1Y3Rpb25Ob2RlLFxuICBbUEFSQU1FVEVSX1JVTEVfTkFNRV06IFBhcmFtZXRlck5vZGUsXG4gIFtTVEFURU1FTlRfUlVMRV9OQU1FXTogU3RhdGVtZW50Tm9kZSxcbiAgW01FVEFfTEVNTUFfUlVMRV9OQU1FXTogTWV0YUxlbW1hTm9kZSxcbiAgW0NPTUJJTkFUT1JfUlVMRV9OQU1FXTogQ29tYmluYXRvck5vZGUsXG4gIFtDT05DTFVTSU9OX1JVTEVfTkFNRV06IENvbmNsdXNpb25Ob2RlLFxuICBbQ09OSkVDVFVSRV9SVUxFX05BTUVdOiBDb25qZWN0dXJlTm9kZSxcbiAgW0RFUklWQVRJT05fUlVMRV9OQU1FXTogRGVyaXZhdGlvbk5vZGUsXG4gIFtTVVBQT1NJVElPTl9SVUxFX05BTUVdOiBTdXBwb3NpdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9SVUxFX05BTUVdOiBDb25zdHJ1Y3Rvck5vZGUsXG4gIFtERUNMQVJBVElPTl9SVUxFX05BTUVdOiBEZWNsYXJhdGlvbk5vZGUsXG4gIFtNRVRBVEhFT1JFTV9SVUxFX05BTUVdOiBNZXRhdGhlb3JlbU5vZGUsXG4gIFtNRVRBVkFSSUFCTEVfUlVMRV9OQU1FXTogTWV0YXZhcmlhYmxlTm9kZSxcbiAgW01FVEFfQVJHVU1FTlRfUlVMRV9OQU1FXTogTWV0YUFyZ3VtZW50Tm9kZSxcbiAgW1RZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRV06IFR5cGVBc3NlcnRpb25Ob2RlLFxuICBbUFJPQ0VEVVJFX0NBTExfUlVMRV9OQU1FXTogUHJvY2VkdXJlQ2FsbE5vZGUsXG4gIFtTVUJfREVSSVZBVElPTl9SVUxFX05BTUVdOiBTdWJEZXJpdmF0aW9uTm9kZSxcbiAgW1BST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRV06IFByb3BlcnR5UmVsYXRpb25Ob2RlLFxuICBbREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogRGVmaW5lZEFzc2VydGlvbk5vZGUsXG4gIFtURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUVdOiBUZXJtU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1NVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUVdOiBTdWJwcm9vZkFzc2VydGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FXTogUHJvcGVydHlBc3NlcnRpb25Ob2RlLFxuICBbRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRV06IEZyYW1lU3Vic3RpdHV0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FXTogUGFyZW50aGVzaXNlZExhYmVsTm9kZSxcbiAgW1NBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FXTogU2F0aXNmaWVzQXNzZXJ0aW9uTm9kZSxcbiAgW0NPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FXTogQ29udGFpbmVkQXNzZXJ0aW9uTm9kZSxcbiAgW1BBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRV06IFBhcmVudGhlc2lzZWRMYWJlbHNOb2RlLFxuICBbVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBQcm9wZXJ0eURlY2xhcmF0aW9uTm9kZSxcbiAgW1NUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogU3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSxcbiAgW1JFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FXTogUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSxcbiAgW0NPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FXTogY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSxcbiAgW1NJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRV06IFNpbXBsZVR5cGVEZWNsYXJhdGlvbk5vZGUsXG4gIFtDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSxcbiAgW0NPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBjb21wbGV4VHlwZURlY2xhcmF0aW9uTm9kZSxcbiAgW01FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUVdOiBtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVcbn07XG5cbmV4cG9ydCBkZWZhdWx0IG5vblRlcm1pbmFsTm9kZU1hcDtcbiJdLCJuYW1lcyI6WyJub25UZXJtaW5hbE5vZGVNYXAiLCJSVUxFX1JVTEVfTkFNRSIsIlJ1bGVOb2RlIiwiU1RFUF9SVUxFX05BTUUiLCJTdGVwTm9kZSIsIlRFUk1fUlVMRV9OQU1FIiwiVGVybU5vZGUiLCJUWVBFX1JVTEVfTkFNRSIsIlR5cGVOb2RlIiwiVFlQRVNfUlVMRV9OQU1FIiwiVHlwZXNOb2RlIiwiRVJST1JfUlVMRV9OQU1FIiwiRXJyb3JOb2RlIiwiRlJBTUVfUlVMRV9OQU1FIiwiRnJhbWVOb2RlIiwiTEVNTUFfUlVMRV9OQU1FIiwiTGVtbWFOb2RlIiwiQVhJT01fUlVMRV9OQU1FIiwiQXhpb21Ob2RlIiwiUFJPT0ZfUlVMRV9OQU1FIiwiUHJvb2ZOb2RlIiwiTEFCRUxfUlVMRV9OQU1FIiwiTGFiZWxOb2RlIiwiTEFCRUxTX1JVTEVfTkFNRSIsIkxhYmVsc05vZGUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsIlRoZW9yZW1Ob2RlIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQcmVtaXNlTm9kZSIsIkFSR1VNRU5UX1JVTEVfTkFNRSIsIkFyZ3VtZW50Tm9kZSIsIlBST1BFUlRZX1JVTEVfTkFNRSIsIlByb3BlcnR5Tm9kZSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlN1YnByb29mTm9kZSIsIkVRVUFMSVRZX1JVTEVfTkFNRSIsIkVxdWFsaXR5Tm9kZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsIlZhcmlhYmxlTm9kZSIsIk5PTlNFTlNFX1JVTEVfTkFNRSIsIk5vbnNlbnNlTm9kZSIsIk1FVEFfVFlQRV9SVUxFX05BTUUiLCJNZXRhVHlwZU5vZGUiLCJTSUdOQVRVUkVfUlVMRV9OQU1FIiwiU2lnbmF0dXJlTm9kZSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJSZWZlcmVuY2VOb2RlIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkp1ZGdlbWVudE5vZGUiLCJERURVQ1RJT05fUlVMRV9OQU1FIiwiRGVkdWN0aW9uTm9kZSIsIlBBUkFNRVRFUl9SVUxFX05BTUUiLCJQYXJhbWV0ZXJOb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsIlN0YXRlbWVudE5vZGUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIk1ldGFMZW1tYU5vZGUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNvbWJpbmF0b3JOb2RlIiwiQ09OQ0xVU0lPTl9SVUxFX05BTUUiLCJDb25jbHVzaW9uTm9kZSIsIkNPTkpFQ1RVUkVfUlVMRV9OQU1FIiwiQ29uamVjdHVyZU5vZGUiLCJERVJJVkFUSU9OX1JVTEVfTkFNRSIsIkRlcml2YXRpb25Ob2RlIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwiU3VwcG9zaXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfUlVMRV9OQU1FIiwiQ29uc3RydWN0b3JOb2RlIiwiREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiRGVjbGFyYXRpb25Ob2RlIiwiTUVUQVRIRU9SRU1fUlVMRV9OQU1FIiwiTWV0YXRoZW9yZW1Ob2RlIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1ldGF2YXJpYWJsZU5vZGUiLCJNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSIsIk1ldGFBcmd1bWVudE5vZGUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUeXBlQXNzZXJ0aW9uTm9kZSIsIlBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSIsIlByb2NlZHVyZUNhbGxOb2RlIiwiU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FIiwiU3ViRGVyaXZhdGlvbk5vZGUiLCJQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUiLCJQcm9wZXJ0eVJlbGF0aW9uTm9kZSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRlZmluZWRBc3NlcnRpb25Ob2RlIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiVGVybVN1YnN0aXR1dGlvbk5vZGUiLCJTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FIiwiU3VicHJvb2ZBc3NlcnRpb25Ob2RlIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlByb3BlcnR5QXNzZXJ0aW9uTm9kZSIsIkZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJGcmFtZVN1YnN0aXR1dGlvbk5vZGUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMX1JVTEVfTkFNRSIsIlBhcmVudGhlc2lzZWRMYWJlbE5vZGUiLCJTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNhdGlzZmllc0Fzc2VydGlvbk5vZGUiLCJDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkNvbnRhaW5lZEFzc2VydGlvbk5vZGUiLCJQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUiLCJQYXJlbnRoZXNpc2VkTGFiZWxzTm9kZSIsIlZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUHJvcGVydHlEZWNsYXJhdGlvbk5vZGUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUiLCJSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUiLCJDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTaW1wbGVUeXBlRGVjbGFyYXRpb25Ob2RlIiwiQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiY29tcGxleFR5cGVEZWNsYXJhdGlvbk5vZGUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkEyTEE7OztlQUFBOzs7MkRBekxxQjsyREFDQTsyREFDQTsyREFDQTs0REFDQzs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs0REFDQTs2REFDQzs4REFDQzs4REFDQTsrREFDQzsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTsrREFDQTtnRUFDQztnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtnRUFDQTtpRUFDQztpRUFDQTtpRUFDQTtpRUFDQTtrRUFDQztrRUFDQTtrRUFDQTtrRUFDQTttRUFDQzttRUFDQTtvRUFDQztvRUFDQTs0REFDQTtpRUFDUTt1RUFDTDs4REFDQTs0REFDQTtnRUFDQztnRUFDQTs2REFDQTt5RUFDQztnRUFDQTtnRUFDQTswRUFDQztnRUFDQTtnRUFDQTtpRUFDRTtpRUFDQTtrRUFDQTtrRUFDQzttRUFDQTtvRUFDQzt5QkE2RFc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7SUFFeEI7QUFBM0IsSUFBTUEsc0JBQXFCLFdBQ3pCLGlCQUR5QixNQUN4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFGeUIsTUFFeEJDLHlCQUFjLEVBQUdDLGFBQVEsR0FDMUIsaUJBSHlCLE1BR3hCQyx5QkFBYyxFQUFHQyxhQUFRLEdBQzFCLGlCQUp5QixNQUl4QkMseUJBQWMsRUFBR0MsYUFBUSxHQUMxQixpQkFMeUIsTUFLeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBTnlCLE1BTXhCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVB5QixNQU94QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFSeUIsTUFReEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBVHlCLE1BU3hCQywwQkFBZSxFQUFHQyxjQUFTLEdBQzVCLGlCQVZ5QixNQVV4QkMsMEJBQWUsRUFBR0MsY0FBUyxHQUM1QixpQkFYeUIsTUFXeEJDLDBCQUFlLEVBQUdDLGNBQVMsR0FDNUIsaUJBWnlCLE1BWXhCQywyQkFBZ0IsRUFBR0MsZUFBVSxHQUM5QixpQkFieUIsTUFheEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFkeUIsTUFjeEJDLDRCQUFpQixFQUFHQyxnQkFBVyxHQUNoQyxpQkFmeUIsTUFleEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFoQnlCLE1BZ0J4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQWpCeUIsTUFpQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBbEJ5QixNQWtCeEJDLDZCQUFrQixFQUFHQyxpQkFBWSxHQUNsQyxpQkFuQnlCLE1BbUJ4QkMsNkJBQWtCLEVBQUdDLGlCQUFZLEdBQ2xDLGlCQXBCeUIsTUFvQnhCQyw2QkFBa0IsRUFBR0MsaUJBQVksR0FDbEMsaUJBckJ5QixNQXFCeEJDLDhCQUFtQixFQUFHQyxpQkFBWSxHQUNuQyxpQkF0QnlCLE1Bc0J4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQXZCeUIsTUF1QnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBeEJ5QixNQXdCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkF6QnlCLE1BeUJ4QkMsOEJBQW1CLEVBQUdDLGtCQUFhLEdBQ3BDLGlCQTFCeUIsTUEwQnhCQyw4QkFBbUIsRUFBR0Msa0JBQWEsR0FDcEMsaUJBM0J5QixNQTJCeEJDLDhCQUFtQixFQUFHQyxrQkFBYSxHQUNwQyxpQkE1QnlCLE1BNEJ4QkMsK0JBQW9CLEVBQUdDLGtCQUFhLEdBQ3JDLGlCQTdCeUIsTUE2QnhCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBOUJ5QixNQThCeEJDLCtCQUFvQixFQUFHQyxtQkFBYyxHQUN0QyxpQkEvQnlCLE1BK0J4QkMsK0JBQW9CLEVBQUdDLG1CQUFjLEdBQ3RDLGlCQWhDeUIsTUFnQ3hCQywrQkFBb0IsRUFBR0MsbUJBQWMsR0FDdEMsaUJBakN5QixNQWlDeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFsQ3lCLE1Ba0N4QkMsZ0NBQXFCLEVBQUdDLG9CQUFlLEdBQ3hDLGlCQW5DeUIsTUFtQ3hCQyxnQ0FBcUIsRUFBR0Msb0JBQWUsR0FDeEMsaUJBcEN5QixNQW9DeEJDLGdDQUFxQixFQUFHQyxvQkFBZSxHQUN4QyxpQkFyQ3lCLE1BcUN4QkMsaUNBQXNCLEVBQUdDLHFCQUFnQixHQUMxQyxpQkF0Q3lCLE1Bc0N4QkMsa0NBQXVCLEVBQUdDLHFCQUFnQixHQUMzQyxpQkF2Q3lCLE1BdUN4QkMsbUNBQXdCLEVBQUdDLGNBQWlCLEdBQzdDLGlCQXhDeUIsTUF3Q3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQXpDeUIsTUF5Q3hCQyxtQ0FBd0IsRUFBR0Msc0JBQWlCLEdBQzdDLGlCQTFDeUIsTUEwQ3hCQyxzQ0FBMkIsRUFBR0MseUJBQW9CLEdBQ25ELGlCQTNDeUIsTUEyQ3hCQyxzQ0FBMkIsRUFBR0MsZ0JBQW9CLEdBQ25ELGlCQTVDeUIsTUE0Q3hCQyxzQ0FBMkIsRUFBR0MsY0FBb0IsR0FDbkQsaUJBN0N5QixNQTZDeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBOUN5QixNQThDeEJDLHVDQUE0QixFQUFHQyxrQkFBcUIsR0FDckQsaUJBL0N5QixNQStDeEJDLHVDQUE0QixFQUFHQyxlQUFxQixHQUNyRCxpQkFoRHlCLE1BZ0R4QkMsd0NBQTZCLEVBQUdDLDJCQUFzQixHQUN2RCxpQkFqRHlCLE1BaUR4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFsRHlCLE1Ba0R4QkMsd0NBQTZCLEVBQUdDLGtCQUFzQixHQUN2RCxpQkFuRHlCLE1BbUR4QkMseUNBQThCLEVBQUdDLDRCQUF1QixHQUN6RCxpQkFwRHlCLE1Bb0R4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkFyRHlCLE1BcUR4QkMseUNBQThCLEVBQUdDLGtCQUF1QixHQUN6RCxpQkF0RHlCLE1Bc0R4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkF2RHlCLE1BdUR4QkMsMkNBQWdDLEVBQUdDLG1CQUF5QixHQUM3RCxpQkF4RHlCLE1Bd0R4QkMsMkNBQWdDLEVBQUdDLG9CQUF5QixHQUM3RCxpQkF6RHlCLE1BeUR4QkMsNENBQWlDLEVBQUdDLG1CQUF5QixHQUM5RCxpQkExRHlCLE1BMER4QkMsNENBQWlDLEVBQUdDLHFCQUEwQixHQUMvRCxpQkEzRHlCLE1BMkR4QkMsNkNBQWtDLEVBQUdDLG9CQUEwQixHQUNoRSxpQkE1RHlCLE1BNER4QkMsNkNBQWtDLEVBQUdDLHNCQUEyQixHQTVEeEM7SUErRDNCLFdBQWV4SCJ9

package/lib/ruleNames.js

@@ -141,6 +141,9 @@ _export(exports, {
     get SIGNATURE_RULE_NAME () {
         return SIGNATURE_RULE_NAME;
     },
+    get SIMPLE_TYPE_DECLARATION_RULE_NAME () {
+        return SIMPLE_TYPE_DECLARATION_RULE_NAME;
+    },
     get STATEMENT_RULE_NAME () {
         return STATEMENT_RULE_NAME;
     },
@@ -177,9 +180,6 @@ _export(exports, {
     get TYPE_ASSERTION_RULE_NAME () {
         return TYPE_ASSERTION_RULE_NAME;
     },
-    get TYPE_DECLARATION_RULE_NAME () {
-        return TYPE_DECLARATION_RULE_NAME;
-    },
     get TYPE_RULE_NAME () {
         return TYPE_RULE_NAME;
     },
@@ -231,7 +231,6 @@ var META_ARGUMENT_RULE_NAME = "metaArgument";
 var PROCEDURE_CALL_RULE_NAME = "procedureCall";
 var SUB_DERIVATION_RULE_NAME = "subDerivation";
 var TYPE_ASSERTION_RULE_NAME = "typeAssertion";
-var TYPE_DECLARATION_RULE_NAME = "typeDeclaration";
 var PROPERTY_RELATION_RULE_NAME = "propertyRelation";
 var DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
 var TERM_SUBSTITUTION_RULE_NAME = "termSubstitution";
@@ -247,8 +246,9 @@ var VARIABLE_DECLARATION_RULE_NAME = "variableDeclaration";
 var STATEMENT_SUBSTITUTION_RULE_NAME = "statementSubstitution";
 var REFERENCE_SUBSTITUTION_RULE_NAME = "referenceSubstitution";
 var COMBINATOR_DECLARATION_RULE_NAME = "combinatorDeclaration";
+var SIMPLE_TYPE_DECLARATION_RULE_NAME = "simpleTypeDeclaration";
 var CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
 var COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
 var METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgQVJHVU1FTlRfUlVMRV9OQU1FID0gXCJhcmd1bWVudFwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX1JVTEVfTkFNRSA9IFwicHJvcGVydHlcIjtcbmV4cG9ydCBjb25zdCBFUVVBTElUWV9SVUxFX05BTUUgPSBcImVxdWFsaXR5XCI7XG5leHBvcnQgY29uc3QgVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJ2YXJpYWJsZVwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZcIjtcbmV4cG9ydCBjb25zdCBOT05TRU5TRV9SVUxFX05BTUUgPSBcIm5vbnNlbnNlXCI7XG5leHBvcnQgY29uc3QgU0lHTkFUVVJFX1JVTEVfTkFNRSA9IFwic2lnbmF0dXJlXCI7XG5leHBvcnQgY29uc3QgTUVUQV9UWVBFX1JVTEVfTkFNRSA9IFwibWV0YVR5cGVcIjtcbmV4cG9ydCBjb25zdCBQQVJBTUVURVJfUlVMRV9OQU1FID0gXCJwYXJhbWV0ZXJcIjtcbmV4cG9ydCBjb25zdCBERURVQ1RJT05fUlVMRV9OQU1FID0gXCJkZWR1Y3Rpb25cIjtcbmV4cG9ydCBjb25zdCBKVURHRU1FTlRfUlVMRV9OQU1FID0gXCJqdWRnZW1lbnRcIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfUlVMRV9OQU1FID0gXCJyZWZlcmVuY2VcIjtcbmV4cG9ydCBjb25zdCBTVEFURU1FTlRfUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0xFTU1BX1JVTEVfTkFNRSA9IFwibWV0YUxlbW1hXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JcIjtcbmV4cG9ydCBjb25zdCBDT05DTFVTSU9OX1JVTEVfTkFNRSA9IFwiY29uY2x1c2lvblwiO1xuZXhwb3J0IGNvbnN0IENPTkpFQ1RVUkVfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlXCI7XG5leHBvcnQgY29uc3QgREVSSVZBVElPTl9SVUxFX05BTUUgPSBcImRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBTVVBQT1NJVElPTl9SVUxFX05BTUUgPSBcInN1cHBvc2l0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OU1RSVUNUT1JfUlVMRV9OQU1FID0gXCJjb25zdHJ1Y3RvclwiO1xuZXhwb3J0IGNvbnN0IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiZGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9SVUxFX05BTUUgPSBcIm1ldGF0aGVvcmVtXCI7XG5leHBvcnQgY29uc3QgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSA9IFwibWV0YXZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUgPSBcIm1ldGFBcmd1bWVudFwiO1xuZXhwb3J0IGNvbnN0IFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSA9IFwicHJvY2VkdXJlQ2FsbFwiO1xuZXhwb3J0IGNvbnN0IFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSA9IFwic3ViRGVyaXZhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwidHlwZUFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFRZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJ0eXBlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5UmVsYXRpb25cIjtcbmV4cG9ydCBjb25zdCBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcImRlZmluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInRlcm1TdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJwcm9wZXJ0eUFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInN1YnByb29mQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwiZnJhbWVTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwiY29udGFpbmVkQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU0FUSVNGSUVTX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInNhdGlzZmllc0Fzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FID0gXCJwYXJlbnRoZXNpc2VkTGFiZWxcIjtcbmV4cG9ydCBjb25zdCBQQVJFTlRIRVNJU0VEX0xBQkVMU19SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5RGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcInZhcmlhYmxlRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwic3RhdGVtZW50U3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgPSBcInJlZmVyZW5jZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTUJJTkFUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb21iaW5hdG9yRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yRGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBDT01QTEVYX1RZUEVfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb21wbGV4VHlwZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgTUVUQVZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25cIjtcbiJdLCJuYW1lcyI6WyJBUkdVTUVOVF9SVUxFX05BTUUiLCJBWElPTV9SVUxFX05BTUUiLCJDT01CSU5BVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTUJJTkFUT1JfUlVMRV9OQU1FIiwiQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkNPTkNMVVNJT05fUlVMRV9OQU1FIiwiQ09OSkVDVFVSRV9SVUxFX05BTUUiLCJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05TVFJVQ1RPUl9SVUxFX05BTUUiLCJDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIkRFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIkRFRFVDVElPTl9SVUxFX05BTUUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJERVJJVkFUSU9OX1JVTEVfTkFNRSIsIkVRVUFMSVRZX1JVTEVfTkFNRSIsIkVSUk9SX1JVTEVfTkFNRSIsIkZSQU1FX1JVTEVfTkFNRSIsIkZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJKVURHRU1FTlRfUlVMRV9OQU1FIiwiTEFCRUxTX1JVTEVfTkFNRSIsIkxBQkVMX1JVTEVfTkFNRSIsIkxFTU1BX1JVTEVfTkFNRSIsIk1FVEFUSEVPUkVNX1JVTEVfTkFNRSIsIk1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUiLCJNRVRBX0xFTU1BX1JVTEVfTkFNRSIsIk1FVEFfVFlQRV9SVUxFX05BTUUiLCJOT05TRU5TRV9SVUxFX05BTUUiLCJQQVJBTUVURVJfUlVMRV9OQU1FIiwiUEFSRU5USEVTSVNFRF9MQUJFTFNfUlVMRV9OQU1FIiwiUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUiLCJQUkVNSVNFX1JVTEVfTkFNRSIsIlBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSIsIlBST09GX1JVTEVfTkFNRSIsIlBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9SRUxBVElPTl9SVUxFX05BTUUiLCJQUk9QRVJUWV9SVUxFX05BTUUiLCJSRUZFUkVOQ0VfUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJSVUxFX1JVTEVfTkFNRSIsIlNBVElTRklFU19BU1NFUlRJT05fUlVMRV9OQU1FIiwiU0lHTkFUVVJFX1JVTEVfTkFNRSIsIlNUQVRFTUVOVF9SVUxFX05BTUUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNVQlBST09GX1JVTEVfTkFNRSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsIlRFUk1fUlVMRV9OQU1FIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiVEhFT1JFTV9SVUxFX05BTUUiLCJUWVBFU19SVUxFX05BTUUiLCJUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJUWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsIlRZUEVfUlVMRV9OQU1FIiwiVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiVkFSSUFCTEVfUlVMRV9OQU1FIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFnQmFBO2VBQUFBOztRQVJBQztlQUFBQTs7UUFrREFDO2VBQUFBOztRQTVCQUM7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUE3QkFDO2VBQUFBOztRQUNBQztlQUFBQTs7UUEyQkFDO2VBQUFBOztRQXhCQUM7ZUFBQUE7O1FBZUFDO2VBQUFBOztRQWRBQztlQUFBQTs7UUFYQUM7ZUFBQUE7O1FBb0JBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBZkFDO2VBQUFBOztRQVRBQztlQUFBQTs7UUFDQUM7ZUFBQUE7O1FBdUNBQztlQUFBQTs7UUF2QkFDO2VBQUFBOztRQWJBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBTEFDO2VBQUFBOztRQThCQUM7ZUFBQUE7O1FBd0JBQztlQUFBQTs7UUF2QkFDO2VBQUFBOztRQUNBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQUZBQztlQUFBQTs7UUFHQUM7ZUFBQUE7O1FBNkJBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBckNBQztlQUFBQTs7UUF5QkFDO2VBQUFBOztRQTdCQUM7ZUFBQUE7O1FBb0NBQztlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBVkFDO2VBQUFBOztRQTNCQUM7ZUFBQUE7O1FBVUFDO2VBQUFBOztRQThCQUM7ZUFBQUE7O1FBdkRBQztlQUFBQTs7UUFpREFDO2VBQUFBOztRQTdCQUM7ZUFBQUE7O1FBTUFDO2VBQUFBOztRQTRCQUM7ZUFBQUE7O1FBckRBQztlQUFBQTs7UUE2Q0FDO2VBQUFBOztRQTVCQUM7ZUFBQUE7O1FBcUJBQztlQUFBQTs7UUFQQUM7ZUFBQUE7O1FBOUJBQztlQUFBQTs7UUEwQ0FDO2VBQUFBOztRQWhDQUM7ZUFBQUE7O1FBUkFDO2VBQUFBOztRQW9DQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQXRDQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUFwQ0FDO2VBQUFBOzs7QUFqQk4sSUFBTWxCLGlCQUFpQjtBQUN2QixJQUFNSyxpQkFBaUI7QUFDdkIsSUFBTUssaUJBQWlCO0FBQ3ZCLElBQU1NLGlCQUFpQjtBQUN2QixJQUFNSCxrQkFBa0I7QUFDeEIsSUFBTWpDLGtCQUFrQjtBQUN4QixJQUFNcEIsa0JBQWtCO0FBQ3hCLElBQU1jLGtCQUFrQjtBQUN4QixJQUFNQyxrQkFBa0I7QUFDeEIsSUFBTWtCLGtCQUFrQjtBQUN4QixJQUFNZCxrQkFBa0I7QUFDeEIsSUFBTUQsbUJBQW1CO0FBQ3pCLElBQU1rQyxvQkFBb0I7QUFDMUIsSUFBTXJCLG9CQUFvQjtBQUMxQixJQUFNaEMscUJBQXFCO0FBQzNCLElBQU1zQyxxQkFBcUI7QUFDM0IsSUFBTXhCLHFCQUFxQjtBQUMzQixJQUFNNkMscUJBQXFCO0FBQzNCLElBQU1YLHFCQUFxQjtBQUMzQixJQUFNcEIscUJBQXFCO0FBQzNCLElBQU1lLHNCQUFzQjtBQUM1QixJQUFNaEIsc0JBQXNCO0FBQzVCLElBQU1FLHNCQUFzQjtBQUM1QixJQUFNbEIsc0JBQXNCO0FBQzVCLElBQU1PLHNCQUFzQjtBQUM1QixJQUFNcUIsc0JBQXNCO0FBQzVCLElBQU1LLHNCQUFzQjtBQUM1QixJQUFNbEIsdUJBQXVCO0FBQzdCLElBQU12Qix1QkFBdUI7QUFDN0IsSUFBTUUsdUJBQXVCO0FBQzdCLElBQU1DLHVCQUF1QjtBQUM3QixJQUFNTyx1QkFBdUI7QUFDN0IsSUFBTXFDLHdCQUF3QjtBQUM5QixJQUFNMUMsd0JBQXdCO0FBQzlCLElBQU1FLHdCQUF3QjtBQUM5QixJQUFNWSx3QkFBd0I7QUFDOUIsSUFBTUUseUJBQXlCO0FBQy9CLElBQU1DLDBCQUEwQjtBQUNoQyxJQUFNUSwyQkFBMkI7QUFDakMsSUFBTWdCLDJCQUEyQjtBQUNqQyxJQUFNTSwyQkFBMkI7QUFDakMsSUFBTUMsNkJBQTZCO0FBQ25DLElBQU1uQiw4QkFBOEI7QUFDcEMsSUFBTXpCLDhCQUE4QjtBQUNwQyxJQUFNd0MsOEJBQThCO0FBQ3BDLElBQU1qQiwrQkFBK0I7QUFDckMsSUFBTVksK0JBQStCO0FBQ3JDLElBQU05QiwrQkFBK0I7QUFDckMsSUFBTVIsZ0NBQWdDO0FBQ3RDLElBQU1pQyxnQ0FBZ0M7QUFDdEMsSUFBTVgsZ0NBQWdDO0FBQ3RDLElBQU1ELGlDQUFpQztBQUN2QyxJQUFNTSxpQ0FBaUM7QUFDdkMsSUFBTXNCLGlDQUFpQztBQUN2QyxJQUFNYixtQ0FBbUM7QUFDekMsSUFBTUwsbUNBQW1DO0FBQ3pDLElBQU10QyxtQ0FBbUM7QUFDekMsSUFBTUssb0NBQW9DO0FBQzFDLElBQU1ILHFDQUFxQztBQUMzQyxJQUFNbUIscUNBQXFDIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBSVUxFX1JVTEVfTkFNRSA9IFwicnVsZVwiO1xuZXhwb3J0IGNvbnN0IFNURVBfUlVMRV9OQU1FID0gXCJzdGVwXCI7XG5leHBvcnQgY29uc3QgVEVSTV9SVUxFX05BTUUgPSBcInRlcm1cIjtcbmV4cG9ydCBjb25zdCBUWVBFX1JVTEVfTkFNRSA9IFwidHlwZVwiO1xuZXhwb3J0IGNvbnN0IFRZUEVTX1JVTEVfTkFNRSA9IFwidHlwZXNcIjtcbmV4cG9ydCBjb25zdCBMRU1NQV9SVUxFX05BTUUgPSBcImxlbW1hXCI7XG5leHBvcnQgY29uc3QgQVhJT01fUlVMRV9OQU1FID0gXCJheGlvbVwiO1xuZXhwb3J0IGNvbnN0IEVSUk9SX1JVTEVfTkFNRSA9IFwiZXJyb3JcIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9SVUxFX05BTUUgPSBcImZyYW1lXCI7XG5leHBvcnQgY29uc3QgUFJPT0ZfUlVMRV9OQU1FID0gXCJwcm9vZlwiO1xuZXhwb3J0IGNvbnN0IExBQkVMX1JVTEVfTkFNRSA9IFwibGFiZWxcIjtcbmV4cG9ydCBjb25zdCBMQUJFTFNfUlVMRV9OQU1FID0gXCJsYWJlbHNcIjtcbmV4cG9ydCBjb25zdCBUSEVPUkVNX1JVTEVfTkFNRSA9IFwidGhlb3JlbVwiO1xuZXhwb3J0IGNvbnN0IFBSRU1JU0VfUlVMRV9OQU1FID0gXCJwcmVtaXNlXCI7XG5leHBvcnQgY29uc3QgQVJHVU1FTlRfUlVMRV9OQU1FID0gXCJhcmd1bWVudFwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX1JVTEVfTkFNRSA9IFwicHJvcGVydHlcIjtcbmV4cG9ydCBjb25zdCBFUVVBTElUWV9SVUxFX05BTUUgPSBcImVxdWFsaXR5XCI7XG5leHBvcnQgY29uc3QgVkFSSUFCTEVfUlVMRV9OQU1FID0gXCJ2YXJpYWJsZVwiO1xuZXhwb3J0IGNvbnN0IFNVQlBST09GX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZcIjtcbmV4cG9ydCBjb25zdCBOT05TRU5TRV9SVUxFX05BTUUgPSBcIm5vbnNlbnNlXCI7XG5leHBvcnQgY29uc3QgU0lHTkFUVVJFX1JVTEVfTkFNRSA9IFwic2lnbmF0dXJlXCI7XG5leHBvcnQgY29uc3QgTUVUQV9UWVBFX1JVTEVfTkFNRSA9IFwibWV0YVR5cGVcIjtcbmV4cG9ydCBjb25zdCBQQVJBTUVURVJfUlVMRV9OQU1FID0gXCJwYXJhbWV0ZXJcIjtcbmV4cG9ydCBjb25zdCBERURVQ1RJT05fUlVMRV9OQU1FID0gXCJkZWR1Y3Rpb25cIjtcbmV4cG9ydCBjb25zdCBKVURHRU1FTlRfUlVMRV9OQU1FID0gXCJqdWRnZW1lbnRcIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfUlVMRV9OQU1FID0gXCJyZWZlcmVuY2VcIjtcbmV4cG9ydCBjb25zdCBTVEFURU1FTlRfUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRcIjtcbmV4cG9ydCBjb25zdCBNRVRBX0xFTU1BX1JVTEVfTkFNRSA9IFwibWV0YUxlbW1hXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JcIjtcbmV4cG9ydCBjb25zdCBDT05DTFVTSU9OX1JVTEVfTkFNRSA9IFwiY29uY2x1c2lvblwiO1xuZXhwb3J0IGNvbnN0IENPTkpFQ1RVUkVfUlVMRV9OQU1FID0gXCJjb25qZWN0dXJlXCI7XG5leHBvcnQgY29uc3QgREVSSVZBVElPTl9SVUxFX05BTUUgPSBcImRlcml2YXRpb25cIjtcbmV4cG9ydCBjb25zdCBTVVBQT1NJVElPTl9SVUxFX05BTUUgPSBcInN1cHBvc2l0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OU1RSVUNUT1JfUlVMRV9OQU1FID0gXCJjb25zdHJ1Y3RvclwiO1xuZXhwb3J0IGNvbnN0IERFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiZGVjbGFyYXRpb25cIjtcbmV4cG9ydCBjb25zdCBNRVRBVEhFT1JFTV9SVUxFX05BTUUgPSBcIm1ldGF0aGVvcmVtXCI7XG5leHBvcnQgY29uc3QgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSA9IFwibWV0YXZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUgPSBcIm1ldGFBcmd1bWVudFwiO1xuZXhwb3J0IGNvbnN0IFBST0NFRFVSRV9DQUxMX1JVTEVfTkFNRSA9IFwicHJvY2VkdXJlQ2FsbFwiO1xuZXhwb3J0IGNvbnN0IFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSA9IFwic3ViRGVyaXZhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwidHlwZUFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX1JFTEFUSU9OX1JVTEVfTkFNRSA9IFwicHJvcGVydHlSZWxhdGlvblwiO1xuZXhwb3J0IGNvbnN0IERFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwiZGVmaW5lZEFzc2VydGlvblwiO1xuZXhwb3J0IGNvbnN0IFRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwidGVybVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0FTU0VSVElPTl9SVUxFX05BTUUgPSBcInByb3BlcnR5QXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic3VicHJvb2ZBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJmcmFtZVN1YnN0aXR1dGlvblwiO1xuZXhwb3J0IGNvbnN0IENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FID0gXCJjb250YWluZWRBc3NlcnRpb25cIjtcbmV4cG9ydCBjb25zdCBTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSA9IFwic2F0aXNmaWVzQXNzZXJ0aW9uXCI7XG5leHBvcnQgY29uc3QgUEFSRU5USEVTSVNFRF9MQUJFTF9SVUxFX05BTUUgPSBcInBhcmVudGhlc2lzZWRMYWJlbFwiO1xuZXhwb3J0IGNvbnN0IFBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSA9IFwicGFyZW50aGVzaXNlZExhYmVsc1wiO1xuZXhwb3J0IGNvbnN0IFBST1BFUlRZX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwicHJvcGVydHlEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFZBUklBQkxFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwidmFyaWFibGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FID0gXCJzdGF0ZW1lbnRTdWJzdGl0dXRpb25cIjtcbmV4cG9ydCBjb25zdCBSRUZFUkVOQ0VfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSA9IFwicmVmZXJlbmNlU3Vic3RpdHV0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbWJpbmF0b3JEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IFNJTVBMRV9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwic2ltcGxlVHlwZURlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FID0gXCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uXCI7XG5leHBvcnQgY29uc3QgQ09NUExFWF9UWVBFX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSA9IFwiY29tcGxleFR5cGVEZWNsYXJhdGlvblwiO1xuZXhwb3J0IGNvbnN0IE1FVEFWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcIm1ldGF2YXJpYWJsZURlY2xhcmF0aW9uXCI7XG4iXSwibmFtZXMiOlsiQVJHVU1FTlRfUlVMRV9OQU1FIiwiQVhJT01fUlVMRV9OQU1FIiwiQ09NQklOQVRPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT01CSU5BVE9SX1JVTEVfTkFNRSIsIkNPTVBMRVhfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJDT05DTFVTSU9OX1JVTEVfTkFNRSIsIkNPTkpFQ1RVUkVfUlVMRV9OQU1FIiwiQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiQ09OU1RSVUNUT1JfUlVMRV9OQU1FIiwiQ09OVEFJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJERUNMQVJBVElPTl9SVUxFX05BTUUiLCJERURVQ1RJT05fUlVMRV9OQU1FIiwiREVGSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiREVSSVZBVElPTl9SVUxFX05BTUUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJFUlJPUl9SVUxFX05BTUUiLCJGUkFNRV9SVUxFX05BTUUiLCJGUkFNRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsIkxBQkVMU19SVUxFX05BTUUiLCJMQUJFTF9SVUxFX05BTUUiLCJMRU1NQV9SVUxFX05BTUUiLCJNRVRBVEhFT1JFTV9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiTUVUQV9MRU1NQV9SVUxFX05BTUUiLCJNRVRBX1RZUEVfUlVMRV9OQU1FIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwiUEFSQU1FVEVSX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxTX1JVTEVfTkFNRSIsIlBBUkVOVEhFU0lTRURfTEFCRUxfUlVMRV9OQU1FIiwiUFJFTUlTRV9SVUxFX05BTUUiLCJQUk9DRURVUkVfQ0FMTF9SVUxFX05BTUUiLCJQUk9PRl9SVUxFX05BTUUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfREVDTEFSQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUkVMQVRJT05fUlVMRV9OQU1FIiwiUFJPUEVSVFlfUlVMRV9OQU1FIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsIlJFRkVSRU5DRV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiUlVMRV9SVUxFX05BTUUiLCJTQVRJU0ZJRVNfQVNTRVJUSU9OX1JVTEVfTkFNRSIsIlNJR05BVFVSRV9SVUxFX05BTUUiLCJTSU1QTEVfVFlQRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJTVEVQX1JVTEVfTkFNRSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJTVUJfREVSSVZBVElPTl9SVUxFX05BTUUiLCJTVVBQT1NJVElPTl9SVUxFX05BTUUiLCJURVJNX1JVTEVfTkFNRSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIlRIRU9SRU1fUlVMRV9OQU1FIiwiVFlQRVNfUlVMRV9OQU1FIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwiVFlQRV9SVUxFX05BTUUiLCJWQVJJQUJMRV9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJWQVJJQUJMRV9SVUxFX05BTUUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWdCYUE7ZUFBQUE7O1FBUkFDO2VBQUFBOztRQWlEQUM7ZUFBQUE7O1FBM0JBQztlQUFBQTs7UUE4QkFDO2VBQUFBOztRQTdCQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQTJCQUM7ZUFBQUE7O1FBeEJBQztlQUFBQTs7UUFjQUM7ZUFBQUE7O1FBYkFDO2VBQUFBOztRQVhBQztlQUFBQTs7UUFtQkFDO2VBQUFBOztRQVhBQztlQUFBQTs7UUFmQUM7ZUFBQUE7O1FBVEFDO2VBQUFBOztRQUNBQztlQUFBQTs7UUFzQ0FDO2VBQUFBOztRQXRCQUM7ZUFBQUE7O1FBYkFDO2VBQUFBOztRQURBQztlQUFBQTs7UUFMQUM7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUF3QkFDO2VBQUFBOztRQXZCQUM7ZUFBQUE7O1FBQ0FDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFOQUM7ZUFBQUE7O1FBRkFDO2VBQUFBOztRQUdBQztlQUFBQTs7UUE0QkFDO2VBQUFBOztRQURBQztlQUFBQTs7UUFwQ0FDO2VBQUFBOztRQXlCQUM7ZUFBQUE7O1FBN0JBQztlQUFBQTs7UUFtQ0FDO2VBQUFBOztRQU9BQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBMUJBQztlQUFBQTs7UUFVQUM7ZUFBQUE7O1FBNkJBQztlQUFBQTs7UUF0REFDO2VBQUFBOztRQWdEQUM7ZUFBQUE7O1FBNUJBQztlQUFBQTs7UUFvQ0FDO2VBQUFBOztRQTlCQUM7ZUFBQUE7O1FBMkJBQztlQUFBQTs7UUFwREFDO2VBQUFBOztRQTRDQUM7ZUFBQUE7O1FBM0JBQztlQUFBQTs7UUFxQkFDO2VBQUFBOztRQVBBQztlQUFBQTs7UUE5QkFDO2VBQUFBOztRQXlDQUM7ZUFBQUE7O1FBL0JBQztlQUFBQTs7UUFSQUM7ZUFBQUE7O1FBb0NBQztlQUFBQTs7UUFyQ0FDO2VBQUFBOztRQWlEQUM7ZUFBQUE7O1FBbkNBQztlQUFBQTs7O0FBakJOLElBQU1sQixpQkFBaUI7QUFDdkIsSUFBTU0saUJBQWlCO0FBQ3ZCLElBQU1LLGlCQUFpQjtBQUN2QixJQUFNSyxpQkFBaUI7QUFDdkIsSUFBTUYsa0JBQWtCO0FBQ3hCLElBQU1sQyxrQkFBa0I7QUFDeEIsSUFBTXBCLGtCQUFrQjtBQUN4QixJQUFNYyxrQkFBa0I7QUFDeEIsSUFBTUMsa0JBQWtCO0FBQ3hCLElBQU1rQixrQkFBa0I7QUFDeEIsSUFBTWQsa0JBQWtCO0FBQ3hCLElBQU1ELG1CQUFtQjtBQUN6QixJQUFNbUMsb0JBQW9CO0FBQzFCLElBQU10QixvQkFBb0I7QUFDMUIsSUFBTWhDLHFCQUFxQjtBQUMzQixJQUFNc0MscUJBQXFCO0FBQzNCLElBQU14QixxQkFBcUI7QUFDM0IsSUFBTTZDLHFCQUFxQjtBQUMzQixJQUFNVixxQkFBcUI7QUFDM0IsSUFBTXJCLHFCQUFxQjtBQUMzQixJQUFNZSxzQkFBc0I7QUFDNUIsSUFBTWhCLHNCQUFzQjtBQUM1QixJQUFNRSxzQkFBc0I7QUFDNUIsSUFBTWxCLHNCQUFzQjtBQUM1QixJQUFNTyxzQkFBc0I7QUFDNUIsSUFBTXFCLHNCQUFzQjtBQUM1QixJQUFNTSxzQkFBc0I7QUFDNUIsSUFBTW5CLHVCQUF1QjtBQUM3QixJQUFNdkIsdUJBQXVCO0FBQzdCLElBQU1FLHVCQUF1QjtBQUM3QixJQUFNQyx1QkFBdUI7QUFDN0IsSUFBTU8sdUJBQXVCO0FBQzdCLElBQU1zQyx3QkFBd0I7QUFDOUIsSUFBTTNDLHdCQUF3QjtBQUM5QixJQUFNRSx3QkFBd0I7QUFDOUIsSUFBTVksd0JBQXdCO0FBQzlCLElBQU1FLHlCQUF5QjtBQUMvQixJQUFNQywwQkFBMEI7QUFDaEMsSUFBTVEsMkJBQTJCO0FBQ2pDLElBQU1pQiwyQkFBMkI7QUFDakMsSUFBTU0sMkJBQTJCO0FBQ2pDLElBQU1uQiw4QkFBOEI7QUFDcEMsSUFBTXpCLDhCQUE4QjtBQUNwQyxJQUFNeUMsOEJBQThCO0FBQ3BDLElBQU1sQiwrQkFBK0I7QUFDckMsSUFBTWEsK0JBQStCO0FBQ3JDLElBQU0vQiwrQkFBK0I7QUFDckMsSUFBTVIsZ0NBQWdDO0FBQ3RDLElBQU1pQyxnQ0FBZ0M7QUFDdEMsSUFBTVgsZ0NBQWdDO0FBQ3RDLElBQU1ELGlDQUFpQztBQUN2QyxJQUFNTSxpQ0FBaUM7QUFDdkMsSUFBTXNCLGlDQUFpQztBQUN2QyxJQUFNWixtQ0FBbUM7QUFDekMsSUFBTU4sbUNBQW1DO0FBQ3pDLElBQU10QyxtQ0FBbUM7QUFDekMsSUFBTTBDLG9DQUFvQztBQUMxQyxJQUFNckMsb0NBQW9DO0FBQzFDLElBQU1ILHFDQUFxQztBQUMzQyxJQUFNbUIscUNBQXFDIn0=

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.225",
+  "version": "1.0.227",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",

package/src/dom/axiom.js

@@ -87,11 +87,21 @@ export default domAssigned(class Axiom extends TopLevelAssertion {
 
     context.trace(`Unifying the '${stepString}' step with the '${axiomString}' axiom...`);
 
-    const statement = step.getStatement(),
-          statementUnifies = this.unifyStatement(statement, substitutions, context);
+    const unconditional = this.isUnconditional();
 
-    if (statementUnifies) {
-      stepUnifies = true;
+    if (!unconditional) {
+      context.trace(`Cannot unify the '${stepString}' step with the '${axiomString}' axiom because the axiom is not unconditional.`);
+    } else {
+      const statement = step.getStatement(),
+            fileContext = this.getFileContext(),
+            localContext = LocalContext.fromFileContext(fileContext),
+            generalContext = localContext,  ///
+            specificContext = context,  ///
+            statementUnifiesWithDeduction = this.unifyStatementWithDeduction(statement, substitutions, generalContext, specificContext);
+
+      if (statementUnifiesWithDeduction) {
+        stepUnifies = true;
+      }
     }
 
     if (stepUnifies) {
@@ -111,9 +121,9 @@ export default domAssigned(class Axiom extends TopLevelAssertion {
     context.trace(`Unifying the '${lastStepString}' last step with the '${axiomString}' axiom...`)
 
     const statement = lastStep.getStatement(),
-          statementUnifies = this.unifyStatementWithDeduction(statement, substitutions, generalContext, specificContext);
+          statementUnifiesWithDeduction = this.unifyStatementWithDeduction(statement, substitutions, generalContext, specificContext);
 
-    if (statementUnifies) {
+    if (statementUnifiesWithDeduction) {
       lastStepUnifies = true;
     }
 
@@ -132,19 +142,25 @@ export default domAssigned(class Axiom extends TopLevelAssertion {
 
     context.trace(`Unifying the '${subproofString}' subproof with the '${axiomString}' axiom...`);
 
-    const lastStep = subproof.getLastStep(),
-          fileContext = this.getFileContext(),
-          localContext = LocalContext.fromFileContext(fileContext),
-          generalContext = localContext,  ///
-          specificContext = context,  ///
-          lastStepUnifies = this.unifyLastStep(lastStep, substitutions, generalContext, specificContext);
+    const unconditional = this.isUnconditional();
 
-    if (lastStepUnifies) {
-      const suppositions = subproof.getSuppositions(),
-            suppositionsUnify = this.unifySuppositions(suppositions, substitutions, generalContext, specificContext);
+    if (unconditional) {
+      context.trace(`Cannot unify the '${subproofString}' subproof with the '${axiomString}' axiom because the axiom is unconditional.`);
+    } else {
+      const lastStep = subproof.getLastStep(),
+            fileContext = this.getFileContext(),
+            localContext = LocalContext.fromFileContext(fileContext),
+            generalContext = localContext,  ///
+            specificContext = context,  ///
+            lastStepUnifies = this.unifyLastStep(lastStep, substitutions, generalContext, specificContext);
+
+      if (lastStepUnifies) {
+        const suppositions = subproof.getSuppositions(),
+              suppositionsUnify = this.unifySuppositions(suppositions, substitutions, generalContext, specificContext);
 
-      if (suppositionsUnify) {
-        subproofUnifies = true;
+        if (suppositionsUnify) {
+          subproofUnifies = true;
+        }
       }
     }
 

package/src/dom/declaration/complexType.js

@@ -258,6 +258,13 @@ export default domAssigned(class ComplexTypeDeclaration {
     }
 
     if (propertyVerifies) {
+      const typeName = this.type.getName(),
+            typeNameMatches = property.matchTypeName(typeName);
+
+      if (typeNameMatches) {
+        property.setType(this.type);
+      }
+
       this.fileContext.debug(`verifies the '${propertyString}' property.`);
     }
 

package/src/dom/property.js

@@ -28,6 +28,8 @@ export default domAssigned(class Property {
     this.type = type;
   }
 
+  matchTypeName(typeName) { return this.type.matchTypeName(typeName); }
+
   matchPropertyName(propertyName) {
     const propertyNameMatches = (this.name === propertyName);
 

package/src/dom/step.js

@@ -119,13 +119,13 @@ export default domAssigned(class Step {
     return statementEquates;
   }
 
-  unifySatisfiesAssertion(satisfiesAssertion, context) {
-    let unifySatisfiesAssertion = false;
+  unifyWithSatisfiesAssertion(satisfiesAssertion, context) {
+    let unifiesWithSatisfiesAssertion = false;
 
     const stepString = this.string, ///
           satisfiesAssertionString = satisfiesAssertion.getString();
 
-    context.trace(`Unifying hte '${satisfiesAssertionString}' with the '${stepString}' step...`);
+    context.trace(`Unifying the '${stepString}' step with the '${satisfiesAssertionString}' satisfies assertion...`);
 
     const reference = satisfiesAssertion.getReference(),
           axiom = context.findAxiomByReference(reference);
@@ -139,16 +139,16 @@ export default domAssigned(class Step {
         const substitutionsMatch = satisfiesAssertion.matchSubstitutions(substitutions, context);
 
         if (substitutionsMatch) {
-          unifySatisfiesAssertion = true;
+          unifiesWithSatisfiesAssertion = true;
         }
       }
     }
 
-    if (unifySatisfiesAssertion) {
-      context.debug(`...unified hte '${satisfiesAssertionString}' with the '${stepString}' step.`);
+    if (unifiesWithSatisfiesAssertion) {
+      context.debug(`...unified the '${stepString}' step with the '${satisfiesAssertionString}' satisfies assertion.`);
     }
 
-    return unifySatisfiesAssertion;
+    return unifiesWithSatisfiesAssertion;
   }
 
   static name = "Step";

package/src/dom/subproof.js

@@ -96,13 +96,13 @@ export default domAssigned(class Subproof {
     return statementUnifies;
   }
 
-  unifySatisfiesAssertion(satisfiesAssertion, context) {
-    let unifySatisfiesAssertion = false;
+  unifyWithSatisfiesAssertion(satisfiesAssertion, context) {
+    let unifiesWithSatisfiesAssertion = false;
 
     const subproofString = this.string, ///
           satisfiesAssertionString = satisfiesAssertion.getString();
 
-    context.trace(`Unifying the '${satisfiesAssertionString}' satisfies assertion with the '${subproofString}' subproof...`)
+    context.trace(`Unifying the '${subproofString}' subproof with the '${satisfiesAssertionString}' satisfies assertion...`)
 
     const reference = satisfiesAssertion.getReference(),
           axiom = context.findAxiomByReference(reference);
@@ -119,17 +119,17 @@ export default domAssigned(class Subproof {
           const substitutionsMatch = satisfiesAssertion.matchSubstitutions(substitutions, context);
 
           if (substitutionsMatch) {
-            unifySatisfiesAssertion = true;
+            unifiesWithSatisfiesAssertion = true;
           }
         }
       }
     }
 
-    if (unifySatisfiesAssertion) {
-      context.debug(`...unified the '${satisfiesAssertionString}' satisfies assertion with the '${subproofString}' subproof.`)
+    if (unifiesWithSatisfiesAssertion) {
+      context.debug(`...unified the '${subproofString}' subproof with the '${satisfiesAssertionString}' satisfies assertion.`)
     }
 
-    return unifySatisfiesAssertion;
+    return unifiesWithSatisfiesAssertion;
   }
 
   static name = "Subproof";

package/src/dom/topLevelAssertion.js

@@ -58,6 +58,13 @@ export default class TopLevelAssertion {
 
   getStatement() { return this.deduction.getStatement(); }
 
+  isUnconditional() {
+    const suppositionsLength = this.suppositions.length,
+          unconditional = (suppositionsLength === 0);
+
+    return unconditional;
+  }
+
   getSupposition(index) {
     const supposition = this.suppositions[index] || null;
 
@@ -125,13 +132,15 @@ export default class TopLevelAssertion {
   }
 
   unifyStatementWithDeduction(statement, substitutions, generalContext, specificContext) {
-    let deductionUnifies;
+    let statementUnifiesWithDeduction = false;
 
     const statementUnifies = this.deduction.unifyStatement(statement, substitutions, generalContext, specificContext);  ///
 
-    deductionUnifies = statementUnifies; ///
+    if (statementUnifies) {
+      statementUnifiesWithDeduction = true;
+    }
 
-    return deductionUnifies;
+    return statementUnifiesWithDeduction;
   }
 
   unifyStatementAndStepsOrSubproofs(statement, stepsOrSubproofs, substitutions, context) {

package/src/dom/type.js

@@ -104,6 +104,24 @@ class Type {
     return basic;
   }
 
+  isRefined() {
+    let refined = false;
+
+    const superTypesLength = this.superTypes.length;
+
+    if (superTypesLength === 1) {
+      const firstSuperType = first(this.superTypes),
+            superType = firstSuperType, ///
+            superTypeName = superType.getName();
+
+      if (superTypeName === this.name) {
+        refined = true;
+      }
+    }
+
+    return refined;
+  }
+
   isEqualTo(type) {
     const equalTo = (this === type);
 

package/src/mixins/step/unify.js

@@ -91,9 +91,9 @@ function unifyAsSatisfiesAssertion(statement, reference, substitutions, context)
       const stepsOrSubproofs = context.getStepsOrSubproofs();
 
       unifiesAsSatisfiesAssertion = backwardsSome(stepsOrSubproofs, (stepsOrSubproof) => {
-        const satisfiedAssertionUnifies = stepsOrSubproof.unifySatisfiesAssertion(satisfiesAssertion, context);
+        const stepOrSubProofUnifiesWIthSatisfiesAssertion = stepsOrSubproof.unifyWithSatisfiesAssertion(satisfiesAssertion, context);
 
-        if (satisfiedAssertionUnifies) {
+        if (stepOrSubProofUnifiesWIthSatisfiesAssertion) {
           return true;
         }
       });

package/src/node/declaration/{type.js → simpleType.js}

@@ -5,7 +5,7 @@ import NonTerminalNode from "../../node/nonTerminal";
 import { PROVISIONAL } from "../../constants";
 import { TYPE_RULE_NAME, TYPES_RULE_NAME } from "../../ruleNames";
 
-export default class TypeDeclarationNode extends NonTerminalNode {
+export default class SimpleTypeDeclarationNode extends NonTerminalNode {
   isProvisional() {
     let provisional = false;
 
@@ -68,6 +68,6 @@ export default class TypeDeclarationNode extends NonTerminalNode {
     return superTypeNodes;
   }
 
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeDeclarationNode, ruleName, childNodes, opacity, precedence); }
+  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SimpleTypeDeclarationNode, ruleName, childNodes, opacity, precedence); }
 }
 

package/src/nonTerminalNodeMap.js

@@ -41,7 +41,7 @@ import MetavariableNode from "./node/metavariable";
 import ProcedureCallNode from "./node/procedureCall";
 import SubDerivationNode from "./node/subDerivation";
 import TypeAssertionNode from "./node/assertion/type";
-import typeDeclarationNode from "./node/declaration/type";
+import SimpleTypeDeclarationNode from "./node/declaration/simpleType";
 import PropertyRelationNode from "./node/propertyRelation"
 import DefinedAssertionNode from "./node/assertion/defined";
 import TermSubstitutionNode from "./node/substitution/term";
@@ -102,7 +102,6 @@ import { RULE_RULE_NAME,
          SUB_DERIVATION_RULE_NAME,
          TYPE_ASSERTION_RULE_NAME,
          PROCEDURE_CALL_RULE_NAME,
-         TYPE_DECLARATION_RULE_NAME,
          PROPERTY_RELATION_RULE_NAME,
          DEFINED_ASSERTION_RULE_NAME,
          TERM_SUBSTITUTION_RULE_NAME,
@@ -118,6 +117,7 @@ import { RULE_RULE_NAME,
          STATEMENT_SUBSTITUTION_RULE_NAME,
          REFERENCE_SUBSTITUTION_RULE_NAME,
          COMBINATOR_DECLARATION_RULE_NAME,
+         SIMPLE_TYPE_DECLARATION_RULE_NAME,
          CONSTRUCTOR_DECLARATION_RULE_NAME,
          COMPLEX_TYPE_DECLARATION_RULE_NAME,
          METAVARIABLE_DECLARATION_RULE_NAME } from "./ruleNames";
@@ -164,7 +164,6 @@ const nonTerminalNodeMap = {
   [TYPE_ASSERTION_RULE_NAME]: TypeAssertionNode,
   [PROCEDURE_CALL_RULE_NAME]: ProcedureCallNode,
   [SUB_DERIVATION_RULE_NAME]: SubDerivationNode,
-  [TYPE_DECLARATION_RULE_NAME]: typeDeclarationNode,
   [PROPERTY_RELATION_RULE_NAME]: PropertyRelationNode,
   [DEFINED_ASSERTION_RULE_NAME]: DefinedAssertionNode,
   [TERM_SUBSTITUTION_RULE_NAME]: TermSubstitutionNode,
@@ -180,6 +179,7 @@ const nonTerminalNodeMap = {
   [STATEMENT_SUBSTITUTION_RULE_NAME]: StatementSubstitutionNode,
   [REFERENCE_SUBSTITUTION_RULE_NAME]: ReferenceSubstitutionNode,
   [COMBINATOR_DECLARATION_RULE_NAME]: combinatorDeclarationNode,
+  [SIMPLE_TYPE_DECLARATION_RULE_NAME]: SimpleTypeDeclarationNode,
   [CONSTRUCTOR_DECLARATION_RULE_NAME]: constructorDeclarationNode,
   [COMPLEX_TYPE_DECLARATION_RULE_NAME]: complexTypeDeclarationNode,
   [METAVARIABLE_DECLARATION_RULE_NAME]: metavariableDeclarationNode

package/src/ruleNames.js

@@ -41,7 +41,6 @@ export const META_ARGUMENT_RULE_NAME = "metaArgument";
 export const PROCEDURE_CALL_RULE_NAME = "procedureCall";
 export const SUB_DERIVATION_RULE_NAME = "subDerivation";
 export const TYPE_ASSERTION_RULE_NAME = "typeAssertion";
-export const TYPE_DECLARATION_RULE_NAME = "typeDeclaration";
 export const PROPERTY_RELATION_RULE_NAME = "propertyRelation";
 export const DEFINED_ASSERTION_RULE_NAME = "definedAssertion";
 export const TERM_SUBSTITUTION_RULE_NAME = "termSubstitution";
@@ -57,6 +56,7 @@ export const VARIABLE_DECLARATION_RULE_NAME = "variableDeclaration";
 export const STATEMENT_SUBSTITUTION_RULE_NAME = "statementSubstitution";
 export const REFERENCE_SUBSTITUTION_RULE_NAME = "referenceSubstitution";
 export const COMBINATOR_DECLARATION_RULE_NAME = "combinatorDeclaration";
+export const SIMPLE_TYPE_DECLARATION_RULE_NAME = "simpleTypeDeclaration";
 export const CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
 export const COMPLEX_TYPE_DECLARATION_RULE_NAME = "complexTypeDeclaration";
 export const METAVARIABLE_DECLARATION_RULE_NAME = "metavariableDeclaration";