occam-verify-cli 1.0.438 → 1.0.444

package/lib/utilities/validation.js

@@ -0,0 +1,251 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+function _export(target, all) {
+    for(var name in all)Object.defineProperty(target, name, {
+        enumerable: true,
+        get: Object.getOwnPropertyDescriptor(all, name).get
+    });
+}
+_export(exports, {
+    get validateStatements () {
+        return validateStatements;
+    },
+    get validateTerms () {
+        return validateTerms;
+    }
+});
+var _elements = /*#__PURE__*/ _interop_require_default(require("../elements"));
+var _statement = require("../utilities/statement");
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+function unifyTermWithBracketedConstructor(term, context, validateAhead) {
+    var termUnifiesWithBracketedConstructor;
+    var BracketedConstructor = _elements.default.BracketedConstructor, bracketedConstructor = BracketedConstructor.fromNothing();
+    termUnifiesWithBracketedConstructor = bracketedConstructor.unifyTerm(term, context, validateAhead);
+    return termUnifiesWithBracketedConstructor;
+}
+function unifyTermWithConstructors(term, context, validateAhead) {
+    var termUnifiesWithConstructors;
+    var constructors = context.getConstructors();
+    termUnifiesWithConstructors = constructors.some(function(constructor) {
+        var unifiesWithConstructor = constructor.unifyTerm(term, context, validateAhead);
+        if (unifiesWithConstructor) {
+            return true;
+        }
+    });
+    return termUnifiesWithConstructors;
+}
+function validateTermAsVariable(term, context, validateAhead) {
+    var termValidatesAsVariable = false;
+    var Variable = _elements.default.Variable, termNode = term.getNode(), singularVariableNode = termNode.getSingularVariableNode();
+    if (singularVariableNode !== null) {
+        var variable;
+        var termString = term.getString(), variableNode = singularVariableNode; ///
+        variable = Variable.fromVariableNode(variableNode, context);
+        context.trace("Verifying the '".concat(termString, "' term as a variable..."));
+        var variableValidates = variable.validate(context);
+        if (variableValidates) {
+            var verifiesAhead;
+            var variableIdentifier = variable.getIdentifier();
+            variable = context.findVariableByVariableIdentifier(variableIdentifier);
+            var type = variable.getType();
+            term.setType(type);
+            verifiesAhead = validateAhead();
+            termValidatesAsVariable = verifiesAhead; ///
+        }
+        if (termValidatesAsVariable) {
+            context.debug("...verified the '".concat(termString, "' term as a variable."));
+        }
+    }
+    return termValidatesAsVariable;
+}
+function validateStatementAsMetavariableAndSubstitution(statement, assignments, stated, context) {
+    var statementValidatesAsMetavariableAndSubstitution = false;
+    var metavariable = (0, _statement.metavariableFromStatement)(statement, context);
+    if (metavariable !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a metavariable and substitution..."));
+        var metavariableValidates = metavariable.validate(context);
+        if (metavariableValidates) {
+            var TermSubstitution = _elements.default.TermSubstitution, FrameSubstitution = _elements.default.FrameSubstitution, frameSubstitution = FrameSubstitution.fromStatement(statement, context), termSubstitution = TermSubstitution.fromStatement(statement, context), substitution = termSubstitution || frameSubstitution;
+            if (substitution !== null) {
+                var substitutionValidates = substitution.validate(context);
+                if (substitutionValidates) {
+                    statementValidatesAsMetavariableAndSubstitution = true;
+                }
+            } else {
+                statementValidatesAsMetavariableAndSubstitution = true;
+            }
+        }
+        if (statementValidatesAsMetavariableAndSubstitution) {
+            context.debug("...validated the '".concat(statementString, "' statement as a metavariable and substitution."));
+        }
+    }
+    return statementValidatesAsMetavariableAndSubstitution;
+}
+function unifyStatementWithBracketedCombinator(statement, assignments, stated, context) {
+    stated = true; ///
+    assignments = null; ///
+    var BracketedCombinator = _elements.default.BracketedCombinator, bracketedCombinator = BracketedCombinator.fromNothing(), statementUnifiesWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
+    return statementUnifiesWithBracketedCombinator;
+}
+function unifyStatementWithCombinators(statement, assignments, stated, context) {
+    stated = true; ///
+    assignments = null; ///
+    var combinators = context.getCombinators(), statementUnifiesWithCombinators = combinators.some(function(combinator) {
+        var unifiesWithCombinator = combinator.unifyStatement(statement, assignments, stated, context);
+        if (unifiesWithCombinator) {
+            return true;
+        }
+    });
+    return statementUnifiesWithCombinators;
+}
+function validateStatementAsEquality(statement, assignments, stated, context) {
+    var statementValidatesAsEquality = false;
+    var equality = (0, _statement.equalityFromStatement)(statement, context);
+    if (equality !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as an equality..."));
+        var equalityValidates = equality.validate(assignments, stated, context);
+        statementValidatesAsEquality = equalityValidates; ///
+        if (statementValidatesAsEquality) {
+            context.debug("...validated the '".concat(statementString, "' statement as an equality."));
+        }
+    }
+    return statementValidatesAsEquality;
+}
+function validateStatementAsJudgement(statement, assignments, stated, context) {
+    var validatesStatementAsJudgement = false;
+    var judgement = (0, _statement.judgementFromStatement)(statement, context);
+    if (judgement !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a judgement..."));
+        var judgementValidates = judgement.validate(assignments, stated, context);
+        validatesStatementAsJudgement = judgementValidates; ///
+        if (validatesStatementAsJudgement) {
+            context.debug("...validated the '".concat(statementString, "' statement as a judgement."));
+        }
+    }
+    return validatesStatementAsJudgement;
+}
+function validateStatementAsTypeAssertion(statement, assignments, stated, context) {
+    var validatesStatementAsTypeAssertion = false;
+    var typeAssertion = (0, _statement.typeAssertionFromStatement)(statement, context);
+    if (typeAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a type assertion..."));
+        var typeAssertionValidates = typeAssertion.validate(assignments, stated, context);
+        validatesStatementAsTypeAssertion = typeAssertionValidates; ///
+        if (validatesStatementAsTypeAssertion) {
+            var assertion = typeAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a type assertion."));
+        }
+    }
+    return validatesStatementAsTypeAssertion;
+}
+function validateStatementAsDefinedAssertion(statement, assignments, stated, context) {
+    var validatesStatementAsDefinedAssertion = false;
+    var definedAssertion = (0, _statement.definedAssertionFromStatement)(statement, context);
+    if (definedAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a defined assertion..."));
+        var definedAssertionValidates = definedAssertion.validate(assignments, stated, context);
+        validatesStatementAsDefinedAssertion = definedAssertionValidates; ///
+        if (validatesStatementAsDefinedAssertion) {
+            var assertion = definedAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a defined assertion."));
+        }
+    }
+    return validatesStatementAsDefinedAssertion;
+}
+function validateStatementAsPropertyAssertion(statement, assignments, stated, context) {
+    var statementValidatesAsPropertyAssertion = false;
+    var propertyAssertion = (0, _statement.propertyAssertionFromStatement)(statement, context);
+    if (propertyAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a property assertion..."));
+        var propertyAssertionValidates = propertyAssertion.validate(assignments, stated, context);
+        statementValidatesAsPropertyAssertion = propertyAssertionValidates; ///
+        if (statementValidatesAsPropertyAssertion) {
+            var assertion = propertyAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a property assertion."));
+        }
+    }
+    return statementValidatesAsPropertyAssertion;
+}
+function validateStatementAsSubproofAssertion(statement, assignments, stated, context) {
+    var statementValidatesAsSubproofAssertion = false;
+    var subproofAssertion = (0, _statement.subproofAssertionFromStatement)(statement, context);
+    if (subproofAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a subproof assertion..."));
+        var subproofAssertionValidates = subproofAssertion.validate(assignments, stated, context);
+        statementValidatesAsSubproofAssertion = subproofAssertionValidates; ///
+        if (statementValidatesAsSubproofAssertion) {
+            var assertion = subproofAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a subproof assertion."));
+        }
+    }
+    return statementValidatesAsSubproofAssertion;
+}
+function validateStatementAsContainedAssertion(statement, assignments, stated, context) {
+    var validatesStatementAsContainedAssertion = false;
+    var containedAssertion = (0, _statement.containedAssertionFromStatement)(statement, context);
+    if (containedAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a contained assertion..."));
+        var containedAssertionValidates = containedAssertion.validate(assignments, stated, context);
+        validatesStatementAsContainedAssertion = containedAssertionValidates; ///
+        if (validatesStatementAsContainedAssertion) {
+            var assertion = containedAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a contained assertion."));
+        }
+    }
+    return validatesStatementAsContainedAssertion;
+}
+function validateStatementAsSatisfiesAssertion(statement, assignments, stated, context) {
+    var validatesAStatementsSatisfiesAssertion = false;
+    var satisfiesAssertion = (0, _statement.satisfiesAssertionFromStatement)(statement, context);
+    if (satisfiesAssertion !== null) {
+        var statementString = statement.getString();
+        context.trace("Validating the '".concat(statementString, "' statement as a satisfies assertion..."));
+        var satisfiesAssertionValidates = satisfiesAssertion.validate(assignments, stated, context);
+        validatesAStatementsSatisfiesAssertion = satisfiesAssertionValidates; ///
+        if (validatesAStatementsSatisfiesAssertion) {
+            var assertion = satisfiesAssertion; ///
+            context.addAssertion(assertion);
+            context.debug("...validated the '".concat(statementString, "' statement as a satisfies assertion."));
+        }
+    }
+    return validatesAStatementsSatisfiesAssertion;
+}
+var validateTerms = [
+    unifyTermWithBracketedConstructor,
+    unifyTermWithConstructors,
+    validateTermAsVariable
+];
+var validateStatements = [
+    validateStatementAsMetavariableAndSubstitution,
+    unifyStatementWithBracketedCombinator,
+    unifyStatementWithCombinators,
+    validateStatementAsEquality,
+    validateStatementAsJudgement,
+    validateStatementAsTypeAssertion,
+    validateStatementAsDefinedAssertion,
+    validateStatementAsPropertyAssertion,
+    validateStatementAsSubproofAssertion,
+    validateStatementAsContainedAssertion,
+    validateStatementAsSatisfiesAssertion
+];
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmFsaWRhdGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuXG5pbXBvcnQgeyBlcXVhbGl0eUZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBqdWRnZW1lbnRGcm9tU3RhdGVtZW50LFxuICAgICAgICAgbWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudCxcbiAgICAgICAgIHR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50LFxuICAgICAgICAgZGVmaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBwcm9wZXJ0eUFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBjb250YWluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50LFxuICAgICAgICAgc2F0aXNmaWVzQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCB9IGZyb20gXCIuLi91dGlsaXRpZXMvc3RhdGVtZW50XCI7XG5cbmZ1bmN0aW9uIHVuaWZ5VGVybVdpdGhCcmFja2V0ZWRDb25zdHJ1Y3Rvcih0ZXJtLCBjb250ZXh0LCB2YWxpZGF0ZUFoZWFkKSB7XG4gIGxldCB0ZXJtVW5pZmllc1dpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvcjtcblxuICBjb25zdCB7IEJyYWNrZXRlZENvbnN0cnVjdG9yIH0gPSBlbGVtZW50cyxcbiAgICBicmFja2V0ZWRDb25zdHJ1Y3RvciA9IEJyYWNrZXRlZENvbnN0cnVjdG9yLmZyb21Ob3RoaW5nKCk7XG5cbiAgdGVybVVuaWZpZXNXaXRoQnJhY2tldGVkQ29uc3RydWN0b3IgPSBicmFja2V0ZWRDb25zdHJ1Y3Rvci51bmlmeVRlcm0odGVybSwgY29udGV4dCwgdmFsaWRhdGVBaGVhZCk7XG5cbiAgcmV0dXJuIHRlcm1VbmlmaWVzV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yO1xufVxuXG5mdW5jdGlvbiB1bmlmeVRlcm1XaXRoQ29uc3RydWN0b3JzKHRlcm0sIGNvbnRleHQsIHZhbGlkYXRlQWhlYWQpIHtcbiAgbGV0IHRlcm1VbmlmaWVzV2l0aENvbnN0cnVjdG9ycztcblxuICBjb25zdCBjb25zdHJ1Y3RvcnMgPSBjb250ZXh0LmdldENvbnN0cnVjdG9ycygpO1xuXG4gIHRlcm1VbmlmaWVzV2l0aENvbnN0cnVjdG9ycyA9IGNvbnN0cnVjdG9ycy5zb21lKChjb25zdHJ1Y3RvcikgPT4ge1xuICAgIGNvbnN0IHVuaWZpZXNXaXRoQ29uc3RydWN0b3IgPSBjb25zdHJ1Y3Rvci51bmlmeVRlcm0odGVybSwgY29udGV4dCwgdmFsaWRhdGVBaGVhZCk7XG5cbiAgICBpZiAodW5pZmllc1dpdGhDb25zdHJ1Y3Rvcikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gdGVybVVuaWZpZXNXaXRoQ29uc3RydWN0b3JzO1xufVxuXG5mdW5jdGlvbiB2YWxpZGF0ZVRlcm1Bc1ZhcmlhYmxlKHRlcm0sIGNvbnRleHQsIHZhbGlkYXRlQWhlYWQpIHtcbiAgbGV0IHRlcm1WYWxpZGF0ZXNBc1ZhcmlhYmxlID0gZmFsc2U7XG5cbiAgY29uc3QgeyBWYXJpYWJsZSB9ID0gZWxlbWVudHMsXG4gICAgdGVybU5vZGUgPSB0ZXJtLmdldE5vZGUoKSxcbiAgICBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRlcm1Ob2RlLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCk7XG5cbiAgaWYgKHNpbmd1bGFyVmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgbGV0IHZhcmlhYmxlO1xuXG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCksXG4gICAgICB2YXJpYWJsZU5vZGUgPSBzaW5ndWxhclZhcmlhYmxlTm9kZTsgIC8vL1xuXG4gICAgdmFyaWFibGUgPSBWYXJpYWJsZS5mcm9tVmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZSwgY29udGV4dCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIGFzIGEgdmFyaWFibGUuLi5gKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlVmFsaWRhdGVzID0gdmFyaWFibGUudmFsaWRhdGUoY29udGV4dCk7XG5cbiAgICBpZiAodmFyaWFibGVWYWxpZGF0ZXMpIHtcbiAgICAgIGxldCB2ZXJpZmllc0FoZWFkO1xuXG4gICAgICBjb25zdCB2YXJpYWJsZUlkZW50aWZpZXIgPSB2YXJpYWJsZS5nZXRJZGVudGlmaWVyKCk7XG5cbiAgICAgIHZhcmlhYmxlID0gY29udGV4dC5maW5kVmFyaWFibGVCeVZhcmlhYmxlSWRlbnRpZmllcih2YXJpYWJsZUlkZW50aWZpZXIpO1xuXG4gICAgICBjb25zdCB0eXBlID0gdmFyaWFibGUuZ2V0VHlwZSgpO1xuXG4gICAgICB0ZXJtLnNldFR5cGUodHlwZSk7XG5cbiAgICAgIHZlcmlmaWVzQWhlYWQgPSB2YWxpZGF0ZUFoZWFkKCk7XG5cbiAgICAgIHRlcm1WYWxpZGF0ZXNBc1ZhcmlhYmxlID0gdmVyaWZpZXNBaGVhZDsgLy8vXG4gICAgfVxuXG4gICAgaWYgKHRlcm1WYWxpZGF0ZXNBc1ZhcmlhYmxlKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gYXMgYSB2YXJpYWJsZS5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdGVybVZhbGlkYXRlc0FzVmFyaWFibGU7XG59XG5cbmZ1bmN0aW9uIHZhbGlkYXRlU3RhdGVtZW50QXNNZXRhdmFyaWFibGVBbmRTdWJzdGl0dXRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCBzdGF0ZW1lbnRWYWxpZGF0ZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IG1ldGF2YXJpYWJsZSA9IG1ldGF2YXJpYWJsZUZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAobWV0YXZhcmlhYmxlICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgbWV0YXZhcmlhYmxlIGFuZCBzdWJzdGl0dXRpb24uLi5gKTtcblxuICAgIGNvbnN0IG1ldGF2YXJpYWJsZVZhbGlkYXRlcyA9IG1ldGF2YXJpYWJsZS52YWxpZGF0ZShjb250ZXh0KTtcblxuICAgIGlmIChtZXRhdmFyaWFibGVWYWxpZGF0ZXMpIHtcbiAgICAgIGNvbnN0IHsgVGVybVN1YnN0aXR1dGlvbiwgRnJhbWVTdWJzdGl0dXRpb24gfSA9IGVsZW1lbnRzLFxuICAgICAgICAgICAgZnJhbWVTdWJzdGl0dXRpb24gPSBGcmFtZVN1YnN0aXR1dGlvbi5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCksXG4gICAgICAgICAgICB0ZXJtU3Vic3RpdHV0aW9uID0gVGVybVN1YnN0aXR1dGlvbi5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCksXG4gICAgICAgICAgICBzdWJzdGl0dXRpb24gPSAodGVybVN1YnN0aXR1dGlvbiB8fCBmcmFtZVN1YnN0aXR1dGlvbik7XG5cbiAgICAgIGlmIChzdWJzdGl0dXRpb24gIT09IG51bGwpIHtcbiAgICAgICAgY29uc3Qgc3Vic3RpdHV0aW9uVmFsaWRhdGVzID0gc3Vic3RpdHV0aW9uLnZhbGlkYXRlKGNvbnRleHQpO1xuXG4gICAgICAgIGlmIChzdWJzdGl0dXRpb25WYWxpZGF0ZXMpIHtcbiAgICAgICAgICBzdGF0ZW1lbnRWYWxpZGF0ZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiA9IHRydWU7XG4gICAgICAgIH1cbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIHN0YXRlbWVudFZhbGlkYXRlc0FzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uID0gdHJ1ZTtcbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAoc3RhdGVtZW50VmFsaWRhdGVzQXNNZXRhdmFyaWFibGVBbmRTdWJzdGl0dXRpb24pIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZhbGlkYXRlZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgbWV0YXZhcmlhYmxlIGFuZCBzdWJzdGl0dXRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0YXRlbWVudFZhbGlkYXRlc0FzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uO1xufVxuXG5mdW5jdGlvbiB1bmlmeVN0YXRlbWVudFdpdGhCcmFja2V0ZWRDb21iaW5hdG9yKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBzdGF0ZWQgPSB0cnVlOyAgLy8vXG5cbiAgYXNzaWdubWVudHMgPSBudWxsOyAvLy9cblxuICBjb25zdCB7IEJyYWNrZXRlZENvbWJpbmF0b3IgfSA9IGVsZW1lbnRzLFxuICAgICAgICBicmFja2V0ZWRDb21iaW5hdG9yID0gQnJhY2tldGVkQ29tYmluYXRvci5mcm9tTm90aGluZygpLFxuICAgICAgICBzdGF0ZW1lbnRVbmlmaWVzV2l0aEJyYWNrZXRlZENvbWJpbmF0b3IgPSBicmFja2V0ZWRDb21iaW5hdG9yLnVuaWZ5U3RhdGVtZW50KHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgcmV0dXJuIHN0YXRlbWVudFVuaWZpZXNXaXRoQnJhY2tldGVkQ29tYmluYXRvcjtcbn1cblxuZnVuY3Rpb24gdW5pZnlTdGF0ZW1lbnRXaXRoQ29tYmluYXRvcnMoc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIHN0YXRlZCA9IHRydWU7ICAvLy9cblxuICBhc3NpZ25tZW50cyA9IG51bGw7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmF0b3JzID0gY29udGV4dC5nZXRDb21iaW5hdG9ycygpLFxuICAgICAgICBzdGF0ZW1lbnRVbmlmaWVzV2l0aENvbWJpbmF0b3JzID0gY29tYmluYXRvcnMuc29tZSgoY29tYmluYXRvcikgPT4ge1xuICAgICAgICAgIGNvbnN0IHVuaWZpZXNXaXRoQ29tYmluYXRvciA9IGNvbWJpbmF0b3IudW5pZnlTdGF0ZW1lbnQoc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgICAgICAgIGlmICh1bmlmaWVzV2l0aENvbWJpbmF0b3IpIHtcbiAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgIH1cbiAgICAgICAgfSk7XG5cbiAgcmV0dXJuIHN0YXRlbWVudFVuaWZpZXNXaXRoQ29tYmluYXRvcnM7XG59XG5cbmZ1bmN0aW9uIHZhbGlkYXRlU3RhdGVtZW50QXNFcXVhbGl0eShzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHN0YXRlbWVudFZhbGlkYXRlc0FzRXF1YWxpdHkgPSBmYWxzZTtcblxuICBjb25zdCBlcXVhbGl0eSA9IGVxdWFsaXR5RnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpO1xuXG4gIGlmIChlcXVhbGl0eSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZhbGlkYXRpbmcgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhbiBlcXVhbGl0eS4uLmApO1xuXG4gICAgY29uc3QgZXF1YWxpdHlWYWxpZGF0ZXMgPSBlcXVhbGl0eS52YWxpZGF0ZShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHN0YXRlbWVudFZhbGlkYXRlc0FzRXF1YWxpdHkgPSBlcXVhbGl0eVZhbGlkYXRlczsgLy8vXG5cbiAgICBpZiAoc3RhdGVtZW50VmFsaWRhdGVzQXNFcXVhbGl0eSkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmFsaWRhdGVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYW4gZXF1YWxpdHkuYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0YXRlbWVudFZhbGlkYXRlc0FzRXF1YWxpdHk7XG59XG5cbmZ1bmN0aW9uIHZhbGlkYXRlU3RhdGVtZW50QXNKdWRnZW1lbnQoc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCB2YWxpZGF0ZXNTdGF0ZW1lbnRBc0p1ZGdlbWVudCA9IGZhbHNlO1xuXG4gIGNvbnN0IGp1ZGdlbWVudCA9IGp1ZGdlbWVudEZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAoanVkZ2VtZW50ICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEganVkZ2VtZW50Li4uYCk7XG5cbiAgICBjb25zdCBqdWRnZW1lbnRWYWxpZGF0ZXMgPSBqdWRnZW1lbnQudmFsaWRhdGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICB2YWxpZGF0ZXNTdGF0ZW1lbnRBc0p1ZGdlbWVudCA9IGp1ZGdlbWVudFZhbGlkYXRlczsgIC8vL1xuXG4gICAgaWYgKHZhbGlkYXRlc1N0YXRlbWVudEFzSnVkZ2VtZW50KSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52YWxpZGF0ZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIGp1ZGdlbWVudC5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmFsaWRhdGVzU3RhdGVtZW50QXNKdWRnZW1lbnQ7XG59XG5cbmZ1bmN0aW9uIHZhbGlkYXRlU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgdmFsaWRhdGVzU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uID0gZmFsc2U7XG5cbiAgY29uc3QgdHlwZUFzc2VydGlvbiA9IHR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKHR5cGVBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWYWxpZGF0aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSB0eXBlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgdHlwZUFzc2VydGlvblZhbGlkYXRlcyA9IHR5cGVBc3NlcnRpb24udmFsaWRhdGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICB2YWxpZGF0ZXNTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24gPSB0eXBlQXNzZXJ0aW9uVmFsaWRhdGVzOyAvLy9cblxuICAgIGlmICh2YWxpZGF0ZXNTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24pIHtcbiAgICAgIGNvbnN0IGFzc2VydGlvbiA9IHR5cGVBc3NlcnRpb247ICAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmFsaWRhdGVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSB0eXBlIGFzc2VydGlvbi5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmFsaWRhdGVzU3RhdGVtZW50QXNUeXBlQXNzZXJ0aW9uO1xufVxuXG5mdW5jdGlvbiB2YWxpZGF0ZVN0YXRlbWVudEFzRGVmaW5lZEFzc2VydGlvbihzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHZhbGlkYXRlc1N0YXRlbWVudEFzRGVmaW5lZEFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IGRlZmluZWRBc3NlcnRpb24gPSBkZWZpbmVkQXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpO1xuXG4gIGlmIChkZWZpbmVkQXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgZGVmaW5lZCBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IGRlZmluZWRBc3NlcnRpb25WYWxpZGF0ZXMgPSBkZWZpbmVkQXNzZXJ0aW9uLnZhbGlkYXRlKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgdmFsaWRhdGVzU3RhdGVtZW50QXNEZWZpbmVkQXNzZXJ0aW9uID0gZGVmaW5lZEFzc2VydGlvblZhbGlkYXRlczsgLy8vXG5cbiAgICBpZiAodmFsaWRhdGVzU3RhdGVtZW50QXNEZWZpbmVkQXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBkZWZpbmVkQXNzZXJ0aW9uOyAgLy8vXG5cbiAgICAgIGNvbnRleHQuYWRkQXNzZXJ0aW9uKGFzc2VydGlvbik7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZhbGlkYXRlZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgZGVmaW5lZCBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHZhbGlkYXRlc1N0YXRlbWVudEFzRGVmaW5lZEFzc2VydGlvbjtcbn1cblxuZnVuY3Rpb24gdmFsaWRhdGVTdGF0ZW1lbnRBc1Byb3BlcnR5QXNzZXJ0aW9uKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgc3RhdGVtZW50VmFsaWRhdGVzQXNQcm9wZXJ0eUFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uID0gcHJvcGVydHlBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKHByb3BlcnR5QXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvblZhbGlkYXRlcyA9IHByb3BlcnR5QXNzZXJ0aW9uLnZhbGlkYXRlKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgc3RhdGVtZW50VmFsaWRhdGVzQXNQcm9wZXJ0eUFzc2VydGlvbiA9IHByb3BlcnR5QXNzZXJ0aW9uVmFsaWRhdGVzOyAvLy9cblxuICAgIGlmIChzdGF0ZW1lbnRWYWxpZGF0ZXNBc1Byb3BlcnR5QXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBwcm9wZXJ0eUFzc2VydGlvbjsgLy8vXG5cbiAgICAgIGNvbnRleHQuYWRkQXNzZXJ0aW9uKGFzc2VydGlvbik7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZhbGlkYXRlZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnRWYWxpZGF0ZXNBc1Byb3BlcnR5QXNzZXJ0aW9uO1xufVxuXG5mdW5jdGlvbiB2YWxpZGF0ZVN0YXRlbWVudEFzU3VicHJvb2ZBc3NlcnRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCBzdGF0ZW1lbnRWYWxpZGF0ZXNBc1N1YnByb29mQXNzZXJ0aW9uID0gZmFsc2U7XG5cbiAgY29uc3Qgc3VicHJvb2ZBc3NlcnRpb24gPSBzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAoc3VicHJvb2ZBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWYWxpZGF0aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBzdWJwcm9vZiBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHN1YnByb29mQXNzZXJ0aW9uVmFsaWRhdGVzID0gc3VicHJvb2ZBc3NlcnRpb24udmFsaWRhdGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICBzdGF0ZW1lbnRWYWxpZGF0ZXNBc1N1YnByb29mQXNzZXJ0aW9uID0gc3VicHJvb2ZBc3NlcnRpb25WYWxpZGF0ZXM7IC8vL1xuXG4gICAgaWYgKHN0YXRlbWVudFZhbGlkYXRlc0FzU3VicHJvb2ZBc3NlcnRpb24pIHtcbiAgICAgIGNvbnN0IGFzc2VydGlvbiA9IHN1YnByb29mQXNzZXJ0aW9uOyAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmFsaWRhdGVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBzdWJwcm9vZiBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0YXRlbWVudFZhbGlkYXRlc0FzU3VicHJvb2ZBc3NlcnRpb247XG59XG5cbmZ1bmN0aW9uIHZhbGlkYXRlU3RhdGVtZW50QXNDb250YWluZWRBc3NlcnRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCB2YWxpZGF0ZXNTdGF0ZW1lbnRBc0NvbnRhaW5lZEFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IGNvbnRhaW5lZEFzc2VydGlvbiA9IGNvbnRhaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAoY29udGFpbmVkQXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgY29udGFpbmVkIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgY29udGFpbmVkQXNzZXJ0aW9uVmFsaWRhdGVzID0gY29udGFpbmVkQXNzZXJ0aW9uLnZhbGlkYXRlKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgdmFsaWRhdGVzU3RhdGVtZW50QXNDb250YWluZWRBc3NlcnRpb24gPSBjb250YWluZWRBc3NlcnRpb25WYWxpZGF0ZXM7IC8vL1xuXG4gICAgaWYgKHZhbGlkYXRlc1N0YXRlbWVudEFzQ29udGFpbmVkQXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBjb250YWluZWRBc3NlcnRpb247IC8vL1xuXG4gICAgICBjb250ZXh0LmFkZEFzc2VydGlvbihhc3NlcnRpb24pO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52YWxpZGF0ZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIGNvbnRhaW5lZCBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHZhbGlkYXRlc1N0YXRlbWVudEFzQ29udGFpbmVkQXNzZXJ0aW9uO1xufVxuXG5mdW5jdGlvbiB2YWxpZGF0ZVN0YXRlbWVudEFzU2F0aXNmaWVzQXNzZXJ0aW9uKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgdmFsaWRhdGVzQVN0YXRlbWVudHNTYXRpc2ZpZXNBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCBzYXRpc2ZpZXNBc3NlcnRpb24gPSBzYXRpc2ZpZXNBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKHNhdGlzZmllc0Fzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZhbGlkYXRpbmcgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHNhdGlzZmllcyBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHNhdGlzZmllc0Fzc2VydGlvblZhbGlkYXRlcyA9IHNhdGlzZmllc0Fzc2VydGlvbi52YWxpZGF0ZShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHZhbGlkYXRlc0FTdGF0ZW1lbnRzU2F0aXNmaWVzQXNzZXJ0aW9uID0gc2F0aXNmaWVzQXNzZXJ0aW9uVmFsaWRhdGVzOyAvLy9cblxuICAgIGlmICh2YWxpZGF0ZXNBU3RhdGVtZW50c1NhdGlzZmllc0Fzc2VydGlvbikge1xuICAgICAgY29uc3QgYXNzZXJ0aW9uID0gc2F0aXNmaWVzQXNzZXJ0aW9uOyAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmFsaWRhdGVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBzYXRpc2ZpZXMgYXNzZXJ0aW9uLmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiB2YWxpZGF0ZXNBU3RhdGVtZW50c1NhdGlzZmllc0Fzc2VydGlvbjtcbn1cblxuZXhwb3J0IGNvbnN0IHZhbGlkYXRlVGVybXMgPSBbXG4gIHVuaWZ5VGVybVdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvcixcbiAgdW5pZnlUZXJtV2l0aENvbnN0cnVjdG9ycyxcbiAgdmFsaWRhdGVUZXJtQXNWYXJpYWJsZVxuXTtcblxuZXhwb3J0IGNvbnN0IHZhbGlkYXRlU3RhdGVtZW50cyA9IFtcbiAgdmFsaWRhdGVTdGF0ZW1lbnRBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbixcbiAgdW5pZnlTdGF0ZW1lbnRXaXRoQnJhY2tldGVkQ29tYmluYXRvcixcbiAgdW5pZnlTdGF0ZW1lbnRXaXRoQ29tYmluYXRvcnMsXG4gIHZhbGlkYXRlU3RhdGVtZW50QXNFcXVhbGl0eSxcbiAgdmFsaWRhdGVTdGF0ZW1lbnRBc0p1ZGdlbWVudCxcbiAgdmFsaWRhdGVTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24sXG4gIHZhbGlkYXRlU3RhdGVtZW50QXNEZWZpbmVkQXNzZXJ0aW9uLFxuICB2YWxpZGF0ZVN0YXRlbWVudEFzUHJvcGVydHlBc3NlcnRpb24sXG4gIHZhbGlkYXRlU3RhdGVtZW50QXNTdWJwcm9vZkFzc2VydGlvbixcbiAgdmFsaWRhdGVTdGF0ZW1lbnRBc0NvbnRhaW5lZEFzc2VydGlvbixcbiAgdmFsaWRhdGVTdGF0ZW1lbnRBc1NhdGlzZmllc0Fzc2VydGlvblxuXTtcbiJdLCJuYW1lcyI6WyJ2YWxpZGF0ZVN0YXRlbWVudHMiLCJ2YWxpZGF0ZVRlcm1zIiwidW5pZnlUZXJtV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yIiwidGVybSIsImNvbnRleHQiLCJ2YWxpZGF0ZUFoZWFkIiwidGVybVVuaWZpZXNXaXRoQnJhY2tldGVkQ29uc3RydWN0b3IiLCJCcmFja2V0ZWRDb25zdHJ1Y3RvciIsImVsZW1lbnRzIiwiYnJhY2tldGVkQ29uc3RydWN0b3IiLCJmcm9tTm90aGluZyIsInVuaWZ5VGVybSIsInVuaWZ5VGVybVdpdGhDb25zdHJ1Y3RvcnMiLCJ0ZXJtVW5pZmllc1dpdGhDb25zdHJ1Y3RvcnMiLCJjb25zdHJ1Y3RvcnMiLCJnZXRDb25zdHJ1Y3RvcnMiLCJzb21lIiwiY29uc3RydWN0b3IiLCJ1bmlmaWVzV2l0aENvbnN0cnVjdG9yIiwidmFsaWRhdGVUZXJtQXNWYXJpYWJsZSIsInRlcm1WYWxpZGF0ZXNBc1ZhcmlhYmxlIiwiVmFyaWFibGUiLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJzaW5ndWxhclZhcmlhYmxlTm9kZSIsImdldFNpbmd1bGFyVmFyaWFibGVOb2RlIiwidmFyaWFibGUiLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwidmFyaWFibGVOb2RlIiwiZnJvbVZhcmlhYmxlTm9kZSIsInRyYWNlIiwidmFyaWFibGVWYWxpZGF0ZXMiLCJ2YWxpZGF0ZSIsInZlcmlmaWVzQWhlYWQiLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJnZXRJZGVudGlmaWVyIiwiZmluZFZhcmlhYmxlQnlWYXJpYWJsZUlkZW50aWZpZXIiLCJ0eXBlIiwiZ2V0VHlwZSIsInNldFR5cGUiLCJkZWJ1ZyIsInZhbGlkYXRlU3RhdGVtZW50QXNNZXRhdmFyaWFibGVBbmRTdWJzdGl0dXRpb24iLCJzdGF0ZW1lbnQiLCJhc3NpZ25tZW50cyIsInN0YXRlZCIsInN0YXRlbWVudFZhbGlkYXRlc0FzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uIiwibWV0YXZhcmlhYmxlIiwibWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudCIsInN0YXRlbWVudFN0cmluZyIsIm1ldGF2YXJpYWJsZVZhbGlkYXRlcyIsIlRlcm1TdWJzdGl0dXRpb24iLCJGcmFtZVN1YnN0aXR1dGlvbiIsImZyYW1lU3Vic3RpdHV0aW9uIiwiZnJvbVN0YXRlbWVudCIsInRlcm1TdWJzdGl0dXRpb24iLCJzdWJzdGl0dXRpb24iLCJzdWJzdGl0dXRpb25WYWxpZGF0ZXMiLCJ1bmlmeVN0YXRlbWVudFdpdGhCcmFja2V0ZWRDb21iaW5hdG9yIiwiQnJhY2tldGVkQ29tYmluYXRvciIsImJyYWNrZXRlZENvbWJpbmF0b3IiLCJzdGF0ZW1lbnRVbmlmaWVzV2l0aEJyYWNrZXRlZENvbWJpbmF0b3IiLCJ1bmlmeVN0YXRlbWVudCIsInVuaWZ5U3RhdGVtZW50V2l0aENvbWJpbmF0b3JzIiwiY29tYmluYXRvcnMiLCJnZXRDb21iaW5hdG9ycyIsInN0YXRlbWVudFVuaWZpZXNXaXRoQ29tYmluYXRvcnMiLCJjb21iaW5hdG9yIiwidW5pZmllc1dpdGhDb21iaW5hdG9yIiwidmFsaWRhdGVTdGF0ZW1lbnRBc0VxdWFsaXR5Iiwic3RhdGVtZW50VmFsaWRhdGVzQXNFcXVhbGl0eSIsImVxdWFsaXR5IiwiZXF1YWxpdHlGcm9tU3RhdGVtZW50IiwiZXF1YWxpdHlWYWxpZGF0ZXMiLCJ2YWxpZGF0ZVN0YXRlbWVudEFzSnVkZ2VtZW50IiwidmFsaWRhdGVzU3RhdGVtZW50QXNKdWRnZW1lbnQiLCJqdWRnZW1lbnQiLCJqdWRnZW1lbnRGcm9tU3RhdGVtZW50IiwianVkZ2VtZW50VmFsaWRhdGVzIiwidmFsaWRhdGVTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24iLCJ2YWxpZGF0ZXNTdGF0ZW1lbnRBc1R5cGVBc3NlcnRpb24iLCJ0eXBlQXNzZXJ0aW9uIiwidHlwZUFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJ0eXBlQXNzZXJ0aW9uVmFsaWRhdGVzIiwiYXNzZXJ0aW9uIiwiYWRkQXNzZXJ0aW9uIiwidmFsaWRhdGVTdGF0ZW1lbnRBc0RlZmluZWRBc3NlcnRpb24iLCJ2YWxpZGF0ZXNTdGF0ZW1lbnRBc0RlZmluZWRBc3NlcnRpb24iLCJkZWZpbmVkQXNzZXJ0aW9uIiwiZGVmaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJkZWZpbmVkQXNzZXJ0aW9uVmFsaWRhdGVzIiwidmFsaWRhdGVTdGF0ZW1lbnRBc1Byb3BlcnR5QXNzZXJ0aW9uIiwic3RhdGVtZW50VmFsaWRhdGVzQXNQcm9wZXJ0eUFzc2VydGlvbiIsInByb3BlcnR5QXNzZXJ0aW9uIiwicHJvcGVydHlBc3NlcnRpb25Gcm9tU3RhdGVtZW50IiwicHJvcGVydHlBc3NlcnRpb25WYWxpZGF0ZXMiLCJ2YWxpZGF0ZVN0YXRlbWVudEFzU3VicHJvb2ZBc3NlcnRpb24iLCJzdGF0ZW1lbnRWYWxpZGF0ZXNBc1N1YnByb29mQXNzZXJ0aW9uIiwic3VicHJvb2ZBc3NlcnRpb24iLCJzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJzdWJwcm9vZkFzc2VydGlvblZhbGlkYXRlcyIsInZhbGlkYXRlU3RhdGVtZW50QXNDb250YWluZWRBc3NlcnRpb24iLCJ2YWxpZGF0ZXNTdGF0ZW1lbnRBc0NvbnRhaW5lZEFzc2VydGlvbiIsImNvbnRhaW5lZEFzc2VydGlvbiIsImNvbnRhaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJjb250YWluZWRBc3NlcnRpb25WYWxpZGF0ZXMiLCJ2YWxpZGF0ZVN0YXRlbWVudEFzU2F0aXNmaWVzQXNzZXJ0aW9uIiwidmFsaWRhdGVzQVN0YXRlbWVudHNTYXRpc2ZpZXNBc3NlcnRpb24iLCJzYXRpc2ZpZXNBc3NlcnRpb24iLCJzYXRpc2ZpZXNBc3NlcnRpb25Gcm9tU3RhdGVtZW50Iiwic2F0aXNmaWVzQXNzZXJ0aW9uVmFsaWRhdGVzIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFvV2FBO2VBQUFBOztRQU5BQztlQUFBQTs7OytEQTVWUTt5QkFVMkI7Ozs7OztBQUVoRCxTQUFTQyxrQ0FBa0NDLElBQUksRUFBRUMsT0FBTyxFQUFFQyxhQUFhO0lBQ3JFLElBQUlDO0lBRUosSUFBTSxBQUFFQyx1QkFBeUJDLGlCQUFRLENBQWpDRCxzQkFDTkUsdUJBQXVCRixxQkFBcUJHLFdBQVc7SUFFekRKLHNDQUFzQ0cscUJBQXFCRSxTQUFTLENBQUNSLE1BQU1DLFNBQVNDO0lBRXBGLE9BQU9DO0FBQ1Q7QUFFQSxTQUFTTSwwQkFBMEJULElBQUksRUFBRUMsT0FBTyxFQUFFQyxhQUFhO0lBQzdELElBQUlRO0lBRUosSUFBTUMsZUFBZVYsUUFBUVcsZUFBZTtJQUU1Q0YsOEJBQThCQyxhQUFhRSxJQUFJLENBQUMsU0FBQ0M7UUFDL0MsSUFBTUMseUJBQXlCRCxZQUFZTixTQUFTLENBQUNSLE1BQU1DLFNBQVNDO1FBRXBFLElBQUlhLHdCQUF3QjtZQUMxQixPQUFPO1FBQ1Q7SUFDRjtJQUVBLE9BQU9MO0FBQ1Q7QUFFQSxTQUFTTSx1QkFBdUJoQixJQUFJLEVBQUVDLE9BQU8sRUFBRUMsYUFBYTtJQUMxRCxJQUFJZSwwQkFBMEI7SUFFOUIsSUFBTSxBQUFFQyxXQUFhYixpQkFBUSxDQUFyQmEsVUFDTkMsV0FBV25CLEtBQUtvQixPQUFPLElBQ3ZCQyx1QkFBdUJGLFNBQVNHLHVCQUF1QjtJQUV6RCxJQUFJRCx5QkFBeUIsTUFBTTtRQUNqQyxJQUFJRTtRQUVKLElBQU1DLGFBQWF4QixLQUFLeUIsU0FBUyxJQUMvQkMsZUFBZUwsc0JBQXVCLEdBQUc7UUFFM0NFLFdBQVdMLFNBQVNTLGdCQUFnQixDQUFDRCxjQUFjekI7UUFFbkRBLFFBQVEyQixLQUFLLENBQUMsQUFBQyxrQkFBNEIsT0FBWEosWUFBVztRQUUzQyxJQUFNSyxvQkFBb0JOLFNBQVNPLFFBQVEsQ0FBQzdCO1FBRTVDLElBQUk0QixtQkFBbUI7WUFDckIsSUFBSUU7WUFFSixJQUFNQyxxQkFBcUJULFNBQVNVLGFBQWE7WUFFakRWLFdBQVd0QixRQUFRaUMsZ0NBQWdDLENBQUNGO1lBRXBELElBQU1HLE9BQU9aLFNBQVNhLE9BQU87WUFFN0JwQyxLQUFLcUMsT0FBTyxDQUFDRjtZQUViSixnQkFBZ0I3QjtZQUVoQmUsMEJBQTBCYyxlQUFlLEdBQUc7UUFDOUM7UUFFQSxJQUFJZCx5QkFBeUI7WUFDM0JoQixRQUFRcUMsS0FBSyxDQUFDLEFBQUMsb0JBQThCLE9BQVhkLFlBQVc7UUFDL0M7SUFDRjtJQUVBLE9BQU9QO0FBQ1Q7QUFFQSxTQUFTc0IsK0NBQStDQyxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUM3RixJQUFJMEMsa0RBQWtEO0lBRXRELElBQU1DLGVBQWVDLElBQUFBLG9DQUF5QixFQUFDTCxXQUFXdkM7SUFFMUQsSUFBSTJDLGlCQUFpQixNQUFNO1FBQ3pCLElBQU1FLGtCQUFrQk4sVUFBVWYsU0FBUztRQUUzQ3hCLFFBQVEyQixLQUFLLENBQUMsQUFBQyxtQkFBa0MsT0FBaEJrQixpQkFBZ0I7UUFFakQsSUFBTUMsd0JBQXdCSCxhQUFhZCxRQUFRLENBQUM3QjtRQUVwRCxJQUFJOEMsdUJBQXVCO1lBQ3pCLElBQVFDLG1CQUF3QzNDLGlCQUFRLENBQWhEMkMsa0JBQWtCQyxvQkFBc0I1QyxpQkFBUSxDQUE5QjRDLG1CQUNwQkMsb0JBQW9CRCxrQkFBa0JFLGFBQWEsQ0FBQ1gsV0FBV3ZDLFVBQy9EbUQsbUJBQW1CSixpQkFBaUJHLGFBQWEsQ0FBQ1gsV0FBV3ZDLFVBQzdEb0QsZUFBZ0JELG9CQUFvQkY7WUFFMUMsSUFBSUcsaUJBQWlCLE1BQU07Z0JBQ3pCLElBQU1DLHdCQUF3QkQsYUFBYXZCLFFBQVEsQ0FBQzdCO2dCQUVwRCxJQUFJcUQsdUJBQXVCO29CQUN6Qlgsa0RBQWtEO2dCQUNwRDtZQUNGLE9BQU87Z0JBQ0xBLGtEQUFrRDtZQUNwRDtRQUNGO1FBRUEsSUFBSUEsaURBQWlEO1lBQ25EMUMsUUFBUXFDLEtBQUssQ0FBQyxBQUFDLHFCQUFvQyxPQUFoQlEsaUJBQWdCO1FBQ3JEO0lBQ0Y7SUFFQSxPQUFPSDtBQUNUO0FBRUEsU0FBU1ksc0NBQXNDZixTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUNwRnlDLFNBQVMsTUFBTyxHQUFHO0lBRW5CRCxjQUFjLE1BQU0sR0FBRztJQUV2QixJQUFNLEFBQUVlLHNCQUF3Qm5ELGlCQUFRLENBQWhDbUQscUJBQ0ZDLHNCQUFzQkQsb0JBQW9CakQsV0FBVyxJQUNyRG1ELDBDQUEwQ0Qsb0JBQW9CRSxjQUFjLENBQUNuQixXQUFXQyxhQUFhQyxRQUFRekM7SUFFbkgsT0FBT3lEO0FBQ1Q7QUFFQSxTQUFTRSw4QkFBOEJwQixTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUM1RXlDLFNBQVMsTUFBTyxHQUFHO0lBRW5CRCxjQUFjLE1BQU0sR0FBRztJQUV2QixJQUFNb0IsY0FBYzVELFFBQVE2RCxjQUFjLElBQ3BDQyxrQ0FBa0NGLFlBQVloRCxJQUFJLENBQUMsU0FBQ21EO1FBQ2xELElBQU1DLHdCQUF3QkQsV0FBV0wsY0FBYyxDQUFDbkIsV0FBV0MsYUFBYUMsUUFBUXpDO1FBRXhGLElBQUlnRSx1QkFBdUI7WUFDekIsT0FBTztRQUNUO0lBQ0Y7SUFFTixPQUFPRjtBQUNUO0FBRUEsU0FBU0csNEJBQTRCMUIsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRXpDLE9BQU87SUFDMUUsSUFBSWtFLCtCQUErQjtJQUVuQyxJQUFNQyxXQUFXQyxJQUFBQSxnQ0FBcUIsRUFBQzdCLFdBQVd2QztJQUVsRCxJQUFJbUUsYUFBYSxNQUFNO1FBQ3JCLElBQU10QixrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU13QixvQkFBb0JGLFNBQVN0QyxRQUFRLENBQUNXLGFBQWFDLFFBQVF6QztRQUVqRWtFLCtCQUErQkcsbUJBQW1CLEdBQUc7UUFFckQsSUFBSUgsOEJBQThCO1lBQ2hDbEUsUUFBUXFDLEtBQUssQ0FBQyxBQUFDLHFCQUFvQyxPQUFoQlEsaUJBQWdCO1FBQ3JEO0lBQ0Y7SUFFQSxPQUFPcUI7QUFDVDtBQUVBLFNBQVNJLDZCQUE2Qi9CLFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUV6QyxPQUFPO0lBQzNFLElBQUl1RSxnQ0FBZ0M7SUFFcEMsSUFBTUMsWUFBWUMsSUFBQUEsaUNBQXNCLEVBQUNsQyxXQUFXdkM7SUFFcEQsSUFBSXdFLGNBQWMsTUFBTTtRQUN0QixJQUFNM0Isa0JBQWtCTixVQUFVZixTQUFTO1FBRTNDeEIsUUFBUTJCLEtBQUssQ0FBQyxBQUFDLG1CQUFrQyxPQUFoQmtCLGlCQUFnQjtRQUVqRCxJQUFNNkIscUJBQXFCRixVQUFVM0MsUUFBUSxDQUFDVyxhQUFhQyxRQUFRekM7UUFFbkV1RSxnQ0FBZ0NHLG9CQUFxQixHQUFHO1FBRXhELElBQUlILCtCQUErQjtZQUNqQ3ZFLFFBQVFxQyxLQUFLLENBQUMsQUFBQyxxQkFBb0MsT0FBaEJRLGlCQUFnQjtRQUNyRDtJQUNGO0lBRUEsT0FBTzBCO0FBQ1Q7QUFFQSxTQUFTSSxpQ0FBaUNwQyxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUMvRSxJQUFJNEUsb0NBQW9DO0lBRXhDLElBQU1DLGdCQUFnQkMsSUFBQUEscUNBQTBCLEVBQUN2QyxXQUFXdkM7SUFFNUQsSUFBSTZFLGtCQUFrQixNQUFNO1FBQzFCLElBQU1oQyxrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU1rQyx5QkFBeUJGLGNBQWNoRCxRQUFRLENBQUNXLGFBQWFDLFFBQVF6QztRQUUzRTRFLG9DQUFvQ0csd0JBQXdCLEdBQUc7UUFFL0QsSUFBSUgsbUNBQW1DO1lBQ3JDLElBQU1JLFlBQVlILGVBQWdCLEdBQUc7WUFFckM3RSxRQUFRaUYsWUFBWSxDQUFDRDtZQUVyQmhGLFFBQVFxQyxLQUFLLENBQUMsQUFBQyxxQkFBb0MsT0FBaEJRLGlCQUFnQjtRQUNyRDtJQUNGO0lBRUEsT0FBTytCO0FBQ1Q7QUFFQSxTQUFTTSxvQ0FBb0MzQyxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUNsRixJQUFJbUYsdUNBQXVDO0lBRTNDLElBQU1DLG1CQUFtQkMsSUFBQUEsd0NBQTZCLEVBQUM5QyxXQUFXdkM7SUFFbEUsSUFBSW9GLHFCQUFxQixNQUFNO1FBQzdCLElBQU12QyxrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU15Qyw0QkFBNEJGLGlCQUFpQnZELFFBQVEsQ0FBQ1csYUFBYUMsUUFBUXpDO1FBRWpGbUYsdUNBQXVDRywyQkFBMkIsR0FBRztRQUVyRSxJQUFJSCxzQ0FBc0M7WUFDeEMsSUFBTUgsWUFBWUksa0JBQW1CLEdBQUc7WUFFeENwRixRQUFRaUYsWUFBWSxDQUFDRDtZQUVyQmhGLFFBQVFxQyxLQUFLLENBQUMsQUFBQyxxQkFBb0MsT0FBaEJRLGlCQUFnQjtRQUNyRDtJQUNGO0lBRUEsT0FBT3NDO0FBQ1Q7QUFFQSxTQUFTSSxxQ0FBcUNoRCxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUNuRixJQUFJd0Ysd0NBQXdDO0lBRTVDLElBQU1DLG9CQUFvQkMsSUFBQUEseUNBQThCLEVBQUNuRCxXQUFXdkM7SUFFcEUsSUFBSXlGLHNCQUFzQixNQUFNO1FBQzlCLElBQU01QyxrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU04Qyw2QkFBNkJGLGtCQUFrQjVELFFBQVEsQ0FBQ1csYUFBYUMsUUFBUXpDO1FBRW5Gd0Ysd0NBQXdDRyw0QkFBNEIsR0FBRztRQUV2RSxJQUFJSCx1Q0FBdUM7WUFDekMsSUFBTVIsWUFBWVMsbUJBQW1CLEdBQUc7WUFFeEN6RixRQUFRaUYsWUFBWSxDQUFDRDtZQUVyQmhGLFFBQVFxQyxLQUFLLENBQUMsQUFBQyxxQkFBb0MsT0FBaEJRLGlCQUFnQjtRQUNyRDtJQUNGO0lBRUEsT0FBTzJDO0FBQ1Q7QUFFQSxTQUFTSSxxQ0FBcUNyRCxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUNuRixJQUFJNkYsd0NBQXdDO0lBRTVDLElBQU1DLG9CQUFvQkMsSUFBQUEseUNBQThCLEVBQUN4RCxXQUFXdkM7SUFFcEUsSUFBSThGLHNCQUFzQixNQUFNO1FBQzlCLElBQU1qRCxrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU1tRCw2QkFBNkJGLGtCQUFrQmpFLFFBQVEsQ0FBQ1csYUFBYUMsUUFBUXpDO1FBRW5GNkYsd0NBQXdDRyw0QkFBNEIsR0FBRztRQUV2RSxJQUFJSCx1Q0FBdUM7WUFDekMsSUFBTWIsWUFBWWMsbUJBQW1CLEdBQUc7WUFFeEM5RixRQUFRaUYsWUFBWSxDQUFDRDtZQUVyQmhGLFFBQVFxQyxLQUFLLENBQUMsQUFBQyxxQkFBb0MsT0FBaEJRLGlCQUFnQjtRQUNyRDtJQUNGO0lBRUEsT0FBT2dEO0FBQ1Q7QUFFQSxTQUFTSSxzQ0FBc0MxRCxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFekMsT0FBTztJQUNwRixJQUFJa0cseUNBQXlDO0lBRTdDLElBQU1DLHFCQUFxQkMsSUFBQUEsMENBQStCLEVBQUM3RCxXQUFXdkM7SUFFdEUsSUFBSW1HLHVCQUF1QixNQUFNO1FBQy9CLElBQU10RCxrQkFBa0JOLFVBQVVmLFNBQVM7UUFFM0N4QixRQUFRMkIsS0FBSyxDQUFDLEFBQUMsbUJBQWtDLE9BQWhCa0IsaUJBQWdCO1FBRWpELElBQU13RCw4QkFBOEJGLG1CQUFtQnRFLFFBQVEsQ0FBQ1csYUFBYUMsUUFBUXpDO1FBRXJGa0cseUNBQXlDRyw2QkFBNkIsR0FBRztRQUV6RSxJQUFJSCx3Q0FBd0M7WUFDMUMsSUFBTWxCLFlBQVltQixvQkFBb0IsR0FBRztZQUV6Q25HLFFBQVFpRixZQUFZLENBQUNEO1lBRXJCaEYsUUFBUXFDLEtBQUssQ0FBQyxBQUFDLHFCQUFvQyxPQUFoQlEsaUJBQWdCO1FBQ3JEO0lBQ0Y7SUFFQSxPQUFPcUQ7QUFDVDtBQUVBLFNBQVNJLHNDQUFzQy9ELFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUV6QyxPQUFPO0lBQ3BGLElBQUl1Ryx5Q0FBeUM7SUFFN0MsSUFBTUMscUJBQXFCQyxJQUFBQSwwQ0FBK0IsRUFBQ2xFLFdBQVd2QztJQUV0RSxJQUFJd0csdUJBQXVCLE1BQU07UUFDL0IsSUFBTTNELGtCQUFrQk4sVUFBVWYsU0FBUztRQUUzQ3hCLFFBQVEyQixLQUFLLENBQUMsQUFBQyxtQkFBa0MsT0FBaEJrQixpQkFBZ0I7UUFFakQsSUFBTTZELDhCQUE4QkYsbUJBQW1CM0UsUUFBUSxDQUFDVyxhQUFhQyxRQUFRekM7UUFFckZ1Ryx5Q0FBeUNHLDZCQUE2QixHQUFHO1FBRXpFLElBQUlILHdDQUF3QztZQUMxQyxJQUFNdkIsWUFBWXdCLG9CQUFvQixHQUFHO1lBRXpDeEcsUUFBUWlGLFlBQVksQ0FBQ0Q7WUFFckJoRixRQUFRcUMsS0FBSyxDQUFDLEFBQUMscUJBQW9DLE9BQWhCUSxpQkFBZ0I7UUFDckQ7SUFDRjtJQUVBLE9BQU8wRDtBQUNUO0FBRU8sSUFBTTFHLGdCQUFnQjtJQUMzQkM7SUFDQVU7SUFDQU87Q0FDRDtBQUVNLElBQU1uQixxQkFBcUI7SUFDaEMwQztJQUNBZ0I7SUFDQUs7SUFDQU07SUFDQUs7SUFDQUs7SUFDQU87SUFDQUs7SUFDQUs7SUFDQUs7SUFDQUs7Q0FDRCJ9

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.438",
+  "version": "1.0.444",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,11 +12,11 @@
   "dependencies": {
     "argumentative": "^2.0.36",
     "necessary": "^17.0.9",
-    "occam-custom-grammars": "^5.0.1338",
-    "occam-entities": "^1.0.442",
-    "occam-file-system": "^6.0.457",
-    "occam-furtle": "^2.0.276",
-    "occam-grammars": "^1.3.433",
+    "occam-custom-grammars": "^5.0.1339",
+    "occam-entities": "^1.0.443",
+    "occam-file-system": "^6.0.458",
+    "occam-furtle": "^2.0.277",
+    "occam-grammars": "^1.3.435",
     "occam-lexers": "^23.1.34",
     "occam-parsers": "^23.1.37",
     "occam-query": "^4.1.142"

package/src/context/file.js

@@ -4,8 +4,8 @@ import { arrayUtilities } from "necessary";
 
 import elements from "../elements";
 
-import { baseType } from "../element/type";
 import { verifyFile } from "../process/verify";
+import { baseTypeFromNothing } from "../types";
 import { nodeAsString, nodesAsString } from "../utilities/node";
 import { typesFromJSON,
          rulesFromJSON,
@@ -329,9 +329,9 @@ export default class FileContext {
   findMetaLemmaByReference(reference) {
     const metaLemmas = this.getMetaLemmas(),
           metaLemma = metaLemmas.find((metaLemma) => {
-            const referenceMatches = metaLemma.matchReference(reference);
+            const metaLemmaComparesToReference = metaLemma.compareReference(reference);
 
-            if (referenceMatches) {
+            if (metaLemmaComparesToReference) {
               return true;
             }
           }) || null;
@@ -342,9 +342,9 @@ export default class FileContext {
   findMetatheoremByReference(reference) {
     const metatheorems = this.getMetatheorems(),
           metatheorem = metatheorems.find((metatheorem) => {
-            const referenceMatches = metatheorem.matchReference(reference);
+            const metatheoremComparesToReference = metatheorem.compareReference(reference);
 
-            if (referenceMatches) {
+            if (metatheoremComparesToReference) {
               return true;
             }
           }) || null;
@@ -356,9 +356,9 @@ export default class FileContext {
     const rules = this.getRules(),
           metavariableName = reference.getMetavariableName(),
           rule = rules.find((rule) => {
-            const metavariableNameMatches = rule.matchMetavariableName(metavariableName);
+            const ruleComparesToMetavariableName = rule.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (ruleComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -370,9 +370,9 @@ export default class FileContext {
     const axioms = this.getAxioms(),
           metavariableName = reference.getMetavariableName(),
           axiom = axioms.find((axiom) => {
-            const metavariableNameMatches = axiom.matchMetavariableName(metavariableName);
+            const axiomComparesToMetavariableName = axiom.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (axiomComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -384,9 +384,9 @@ export default class FileContext {
     const lemmas = this.getLemmas(),
           metavariableName = reference.getMetavariableName(),
           lemma = lemmas.find((lemma) => {
-            const metavariableNameMatches = lemma.matchMetavariableName(metavariableName);
+            const lemmaComparesToMetavariableName = lemma.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (lemmaComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -398,9 +398,9 @@ export default class FileContext {
     const theorems = this.getTheorems(),
           metavariableName = reference.getMetavariableName(),
           theorem = theorems.find((theorem) => {
-            const metavariableNameMatches = theorem.matchMetavariableName(metavariableName);
+            const theoremComparesToMetavariableName = theorem.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (theoremComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -425,9 +425,9 @@ export default class FileContext {
     const conjectures = this.getConjectures(),
           metavariableName = reference.getMetavariableName(),
           conjecture = conjectures.find((conjecture) => {
-            const metavariableNameMatches = conjecture.matchMetavariableName(metavariableName);
+            const conjectureComparesToMetavariableName = conjecture.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (conjectureComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -519,15 +519,17 @@ export default class FileContext {
   findTypeByTypeName(typeName, includeRelease = true, includeDependencies = true) {
     let types = this.getTypes(includeRelease, includeDependencies);
 
+    const baseType = baseTypeFromNothing();
+
     types = [
       ...types,
       baseType
     ];
 
     const type = types.find((type) => {
-      const typeNameMatches = type.matchTypeName(typeName);
+      const typeComparesToTypeName = type.compareTypeName(typeName);
 
-      if (typeNameMatches) {
+      if (typeComparesToTypeName) {
         return true;
       }
     }) || null;
@@ -538,15 +540,17 @@ export default class FileContext {
   findTypeByNominalTypeName(nominalTypeName) {
     let types = this.getTypes();
 
+    const baseType = baseTypeFromNothing();
+
     types = [
       ...types,
       baseType
     ];
 
     const type = types.find((type) => {
-      const typeNameMatches = type.matchNominalTypeName(nominalTypeName);
+      const typeComparesToNominalTypeName = type.compareNominalTypeName(nominalTypeName);
 
-      if (typeNameMatches) {
+      if (typeComparesToNominalTypeName) {
         return true;
       }
     }) || null;
@@ -557,15 +561,17 @@ export default class FileContext {
   findTypeByPrefixedTypeName(prefixedTypeName) {
     let types = this.getTypes();
 
+    const baseType = baseTypeFromNothing();
+
     types = [
       ...types,
       baseType
     ];
 
     const type = types.find((type) => {
-      const typeNameMatches = type.matchPrefixedTypeName(prefixedTypeName);
+      const typeComparesToPrefixedTypeName = type.comparePrefixedTypeName(prefixedTypeName);
 
-      if (typeNameMatches) {
+      if (typeComparesToPrefixedTypeName) {
         return true;
       }
     }) || null;
@@ -576,9 +582,9 @@ export default class FileContext {
   findMetaTypeByMetaTypeName(metaTypeName) {
     const metaTypes = this.getMetaTypes(),
           metaType = metaTypes.find((metaType) => {
-            const metaTypeNameMatches = metaType.matchMetaTypeName(metaTypeName);
+            const metaTypeComparesToMetaTypeName = metaType.compareMetaTypeName(metaTypeName);
 
-            if (metaTypeNameMatches) {
+            if (metaTypeComparesToMetaTypeName) {
               return true;
             }
           }) || null;
@@ -589,9 +595,9 @@ export default class FileContext {
   findTypePrefixByTypePrefixName(typePrefixName) {
     const typePrefixes = this.getTypePrefixes(),
           typePrefix = typePrefixes.find((typePrefix) => {
-            const typePrefixNameMatches = typePrefix.matchTypePrefixName(typePrefixName);
+            const typePrefixComparesToTypePrefixName = typePrefix.compareTypePrefixName(typePrefixName);
 
-            if (typePrefixNameMatches) {
+            if (typePrefixComparesToTypePrefixName) {
               return true;
             }
           }) || null;
@@ -602,9 +608,9 @@ export default class FileContext {
   findVariableByVariableIdentifier(variableIdentifier) {
     const variables = this.getVariables(),
           variable = variables.find((variable) => {
-            const variableIdentifierMatches = variable.matchVariableIdentifier(variableIdentifier);
+            const variableComparesToVariableIdentifier = variable.compareVariableIdentifier(variableIdentifier);
 
-            if (variableIdentifierMatches) {
+            if (variableComparesToVariableIdentifier) {
               return true;
             }
           }) || null;
@@ -615,9 +621,9 @@ export default class FileContext {
   findLabelByMetavariableName(metavariableName) {
     const labels = this.getLabels(),
           label = labels.find((label) => {
-            const metavariableNameMatches = label.matchMetavariableName(metavariableName);
+            const labelComparesToMetavariableName = label.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (labelComparesToMetavariableName) {
               return true;
             }
           }) || null;
@@ -659,9 +665,9 @@ export default class FileContext {
   findMetavariableByMetavariableName(metavariableName) {
     const metavariables = this.getMetavariables(),
           metavariable = metavariables.find((metavariable) => {
-            const metavariableNameMatches = metavariable.matchMetavariableName(metavariableName);
+            const metavariableComparesToMetavariableName = metavariable.compareMetavariableName(metavariableName);
 
-            if (metavariableNameMatches) {
+            if (metavariableComparesToMetavariableName) {
               return true;
             }
           }) || null;

package/src/context/local.js

@@ -216,9 +216,9 @@ class LocalContext {
   findVariableByVariableIdentifier(variableIdentifier, nested = true) {
     const variables = this.getVariables(nested),
           variable = variables.find((variable) => {
-            const variableIdentifierMatches = variable.matchVariableIdentifier(variableIdentifier);
+            const variableComparesToVariableIdentifier = variable.compareVariableIdentifier(variableIdentifier);
 
-            if (variableIdentifierMatches) {
+            if (variableComparesToVariableIdentifier) {
               return true;
             }
           }) || null;
@@ -306,7 +306,7 @@ class LocalContext {
 
     const termMatchesGroundedTerm = groundedTerms.some((groundedTerm) => {
         const groundedTermNode = groundedTerm.getNode(),
-              groundedTermNodeMatches = term.matchTermNode(groundedTermNode);
+              groundedTermNodeMatches = term.matchNode(groundedTermNode);
 
             if (groundedTermNodeMatches) {
               return true;
@@ -344,18 +344,18 @@ class LocalContext {
     return metavariableDefined
   }
 
-  matchTermAndPropertyRelation(term, propertyRelation) {
+  compareTermAndPropertyRelation(term, propertyRelation) {
     const context = this, ///
           steps = this.getSteps(),
-          termAndPropertyRelationMatches = steps.some((step) => {
-            const termAndPropertyRelationMatches = step.matchTermAndPropertyRelation(term, propertyRelation, context);
+          comparesToTermAndPropertyRelation = steps.some((step) => {
+            const comparesToTermAndPropertyRelation = step.compareTermAndPropertyRelation(term, propertyRelation, context);
 
-            if (termAndPropertyRelationMatches) {
+            if (comparesToTermAndPropertyRelation) {
               return true;
             }
           });
 
-    return termAndPropertyRelationMatches;
+    return comparesToTermAndPropertyRelation;
   }
 
   nodeAsString(node) { return this.context.nodeAsString(node); }

package/src/context/release.js

@@ -10,8 +10,8 @@ import FileContext from "../context/file";
 import NominalLexer from "../nominal/lexer";
 import NominalParser from "../nominal/parser";
 
-import { frameMetaType, referenceMetaType, statementMetaType } from "../element/metaType";
 import { customGrammarFromNameAndEntries, combinedCustomGrammarFromReleaseContexts } from "../utilities/customGrammar";
+import { frameMetaTypeFromNothing, referenceMetaTypeFromNothing, statementMetaTypeFromNothing } from "../metaTypes";
 
 const { nominalLexerFromCombinedCustomGrammar } = lexersUtilities,
       { nominalParserFromCombinedCustomGrammar } = parsersUtilities,
@@ -58,11 +58,14 @@ export default class ReleaseContext {
   }
 
   getMetaTypes() {
-    const metaTypes = [
-      frameMetaType,
-      referenceMetaType,
-      statementMetaType
-    ];
+    const frameMetaType = frameMetaTypeFromNothing(),
+          referenceMetaType = referenceMetaTypeFromNothing(),
+          statementMetaType = statementMetaTypeFromNothing(),
+          metaTypes = [
+            frameMetaType,
+            referenceMetaType,
+            statementMetaType
+          ];
 
     return metaTypes;
   }