occam-verify-cli 1.0.984 → 1.0.985

package/lib/process/unification.js

@@ -1,228 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "unifySteps", {
-    enumerable: true,
-    get: function() {
-        return unifySteps;
-    }
-});
-const _elements = /*#__PURE__*/ _interop_require_default(require("../elements"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-async function unifyStepWithRule(step, context) {
-    let stepUnifiesWithRule = false;
-    const reference = step.getReference();
-    if (reference !== null) {
-        const rule = context.findRuleByReference(reference);
-        if (rule !== null) {
-            const stepString = step.getString(), ruleString = rule.getString();
-            context.trace(`Unifying the '${stepString}' step with the '${ruleString}' rule...`);
-            const subproofOrProofAssertions = context.getSubproofOrProofAssertions(), stepAndSubproofOrProofAssertionsUnify = await rule.unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context);
-            if (stepAndSubproofOrProofAssertionsUnify) {
-                stepUnifiesWithRule = true;
-            }
-            if (stepUnifiesWithRule) {
-                context.debug(`...unified the '${stepString}' step with the '${ruleString}' rule.`);
-            }
-        }
-    }
-    return stepUnifiesWithRule;
-}
-async function unifyStepWithTopLevelAssertion(step, context) {
-    let stepUnifiesWithTopLevelAssertion = false;
-    const reference = step.getReference();
-    if (reference !== null) {
-        const topLevelAssertion = context.findTopLevelAssertionByReference(reference);
-        if (topLevelAssertion !== null) {
-            const satisfiable = topLevelAssertion.isSatisfiable();
-            if (!satisfiable) {
-                const stepString = step.getString(), topLevelAssertionString = reference.getString();
-                context.trace(`Unifying the '${stepString}' step with the '${topLevelAssertionString}' top level assertion...`);
-                const subproofOrProofAssertions = context.getSubproofOrProofAssertions(), stepAndSubproofOrProofAssertionsUnify = await topLevelAssertion.unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context);
-                if (stepAndSubproofOrProofAssertionsUnify) {
-                    stepUnifiesWithTopLevelAssertion = true;
-                }
-                if (stepUnifiesWithTopLevelAssertion) {
-                    context.debug(`...unified the '${stepString}' step with the '${topLevelAssertionString}' top level assertion.`);
-                }
-            }
-        }
-    }
-    return stepUnifiesWithTopLevelAssertion;
-}
-async function unifyStepWithSignatureAssertion(step, context) {
-    let stepUnifiesWithSignatureAssertion = false;
-    const signatureAssertion = step.getSignatureAssertion();
-    if (signatureAssertion !== null) {
-        const stepString = step.getString(), signatureAssertionString = signatureAssertion.getString();
-        context.trace(`Unifying the '${stepString}' step with the '${signatureAssertionString}' signature assertion...`);
-        const subproofOrProofAssertions = context.getSubproofOrProofAssertions(), stepAndSubproofOrProofAssertionsUnify = await signatureAssertion.unifyStepAndSubproofOrProofAssertions(step, subproofOrProofAssertions, context);
-        if (stepAndSubproofOrProofAssertionsUnify) {
-            stepUnifiesWithSignatureAssertion = true;
-        }
-        if (stepUnifiesWithSignatureAssertion) {
-            context.debug(`...unified the '${stepString}' step with the '${signatureAssertionString}' signature assertion.`);
-        }
-    }
-    return stepUnifiesWithSignatureAssertion;
-}
-async function unifyStepAsUnqualifiedEquality(step, context) {
-    let stepUnifiesAUnqualifiedEquality = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const { Equality } = _elements.default, statement = step.getStatement(), equality = Equality.fromStatement(statement, context);
-        if (equality !== null) {
-            const stepString = step.getString();
-            context.trace(`Unifying the '${stepString}' step as an unqualified equality...`);
-            stepUnifiesAUnqualifiedEquality = true;
-            if (stepUnifiesAUnqualifiedEquality) {
-                context.debug(`...unified the '${stepString}' step as an unqualified equality.`);
-            }
-        }
-    }
-    return stepUnifiesAUnqualifiedEquality;
-}
-async function unifyStepAsUNqualifiedJudgement(step, context) {
-    let stepUnifiesAsUnqualifiedJudgement = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const { Judgement } = _elements.default, statement = step.getStatement(), judgement = Judgement.fromStatement(statement, context);
-        if (judgement !== null) {
-            const stepString = step.getString();
-            context.trace(`Unifying the '${stepString}' step as an unqualified judgement...`);
-            stepUnifiesAsUnqualifiedJudgement = true;
-            if (stepUnifiesAsUnqualifiedJudgement) {
-                context.debug(`...unified the '${stepString}' step as an unqualified judgement.`);
-            }
-        }
-    }
-    return stepUnifiesAsUnqualifiedJudgement;
-}
-async function unifyStepAsUnqualifiedTypeAssertion(step, context) {
-    let stepUnifiesAsUnqualifiedTypeAssertion = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const { TypeAssertion } = _elements.default, statement = step.getStatement(), typeAssertion = TypeAssertion.fromStatement(statement, context);
-        if (typeAssertion !== null) {
-            const stepString = step.getString();
-            context.trace(`Unifying the '${stepString}' step as an unqualified type assertion...`);
-            stepUnifiesAsUnqualifiedTypeAssertion = true;
-            if (stepUnifiesAsUnqualifiedTypeAssertion) {
-                context.debug(`...unified the '${stepString}' step as an unqualified type assertion.`);
-            }
-        }
-    }
-    return stepUnifiesAsUnqualifiedTypeAssertion;
-}
-async function unifyStepAsUnqualifiedPropertyAssertion(step, context) {
-    let stepUnifiesAsUnqualifiedPropertyAssertion = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const { PropertyAssertion } = _elements.default, statement = step.getStatement(), propertyAssertion = PropertyAssertion.fromStatement(statement, context);
-        if (propertyAssertion !== null) {
-            const stepString = step.getString();
-            context.trace(`Unifying the '${stepString}' step as an unqualified property assertion...`);
-            stepUnifiesAsUnqualifiedPropertyAssertion = true;
-            if (stepUnifiesAsUnqualifiedPropertyAssertion) {
-                context.debug(`...unified the '${stepString}' step as an unqualified property assertion.`);
-            }
-        }
-    }
-    return stepUnifiesAsUnqualifiedPropertyAssertion;
-}
-async function unifyStepAsUnqualifiedSignatureAssertion(step, context) {
-    let stepUnifiesAsUnqualifiedSignatureAssertion = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const { SignatureAssertion } = _elements.default, statement = step.getStatement(), signatureAssertion = SignatureAssertion.fromStatement(statement, context);
-        if (signatureAssertion !== null) {
-            const stepString = step.getString();
-            context.trace(`Unifying the '${stepString}' step as a signature assertion...`);
-            stepUnifiesAsUnqualifiedSignatureAssertion = true;
-            if (stepUnifiesAsUnqualifiedSignatureAssertion) {
-                context.debug(`...unified the '${stepString}' step as a signature assertion.`);
-            }
-        }
-    }
-    return stepUnifiesAsUnqualifiedSignatureAssertion;
-}
-async function unifyStepAsQualifiedMetaLevelAssumption(step, context) {
-    let stepUnifiesAsQualifiedMetaLevelAssumption = false;
-    const metaLevel = context.isMetaLevel();
-    if (metaLevel) {
-        const reference = step.getReference();
-        if (reference !== null) {
-            const stepString = step.getString(), referenceString = reference.getString();
-            context.trace(`Unifying the '${stepString}' step as a meta-level assumption with the '${referenceString}' reference...`);
-            let metaLevelAssumption;
-            const { MetaLevelAssumption } = _elements.default;
-            metaLevelAssumption = MetaLevelAssumption.fromStep(step, context);
-            metaLevelAssumption = metaLevelAssumption.validate(context); ///
-            if (metaLevelAssumption !== null) {
-                stepUnifiesAsQualifiedMetaLevelAssumption = true;
-            }
-            if (stepUnifiesAsQualifiedMetaLevelAssumption) {
-                context.debug(`...unified the '${stepString}' step as a meta-level assumption with the '${referenceString}' reference.`);
-            }
-        }
-    }
-    return stepUnifiesAsQualifiedMetaLevelAssumption;
-}
-async function unifyStepAsQualifiedSignatureAssertion(step, context) {
-    let stepUnifiesAsQualifiedSignatureAssertion = false;
-    const reference = step.getReference();
-    if (reference !== null) {
-        const topLevelAssertion = context.findTopLevelAssertionByReference(reference);
-        if (topLevelAssertion !== null) {
-            const statementNode = step.getStatementNode(), signatureAssertionNode = statementNode.getSignatureAssertionNode();
-            if (signatureAssertionNode !== null) {
-                const stepString = step.getString(), referenceString = reference.getString(), signatureAssertion = context.findAssertionByAssertionNode(signatureAssertionNode);
-                context.trace(`Unifying the '${stepString}' step as a signature assertion with the '${referenceString}' reference...`);
-                const unifyTopLevelAssertion = await signatureAssertion.unifyTopLevelAssertion(topLevelAssertion, context);
-                if (unifyTopLevelAssertion) {
-                    stepUnifiesAsQualifiedSignatureAssertion = true;
-                }
-                if (stepUnifiesAsQualifiedSignatureAssertion) {
-                    context.debug(`...unified the '${stepString}' step as a signature assertion with the '${referenceString}' reference.`);
-                }
-            }
-        }
-    }
-    return stepUnifiesAsQualifiedSignatureAssertion;
-}
-async function compareStepWithSubproofOrProofAssertions(step, context) {
-    let stepComparesToSubproofOrProofAssertions = false;
-    const unqualified = step.isUnqualified();
-    if (unqualified) {
-        const stepString = step.getString();
-        context.trace(`Comparing the '${stepString}' step with the subproofs or proof asssertions...`);
-        const subproofOrProofAssertions = context.getSubproofOrProofAssertions(), comparesToSubproofOrProofAssertions = step.compareSubproofOrProofAssertions(subproofOrProofAssertions, context);
-        if (comparesToSubproofOrProofAssertions) {
-            stepComparesToSubproofOrProofAssertions = true;
-        }
-        if (stepComparesToSubproofOrProofAssertions) {
-            context.debug(`...compared the '${stepString}' step with the subproofs or proof asssertions.`);
-        }
-    }
-    return stepComparesToSubproofOrProofAssertions;
-}
-const unifySteps = [
-    unifyStepWithRule,
-    unifyStepWithTopLevelAssertion,
-    unifyStepWithSignatureAssertion,
-    unifyStepAsUnqualifiedEquality,
-    unifyStepAsUNqualifiedJudgement,
-    unifyStepAsUnqualifiedTypeAssertion,
-    unifyStepAsUnqualifiedPropertyAssertion,
-    unifyStepAsUnqualifiedSignatureAssertion,
-    unifyStepAsQualifiedMetaLevelAssumption,
-    unifyStepAsQualifiedSignatureAssertion,
-    compareStepWithSubproofOrProofAssertions
-];
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL3VuaWZpY2F0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZWxlbWVudHMgZnJvbSBcIi4uL2VsZW1lbnRzXCI7XG5cbmFzeW5jIGZ1bmN0aW9uIHVuaWZ5U3RlcFdpdGhSdWxlKHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzV2l0aFJ1bGUgPSBmYWxzZTtcblxuICBjb25zdCByZWZlcmVuY2UgPSBzdGVwLmdldFJlZmVyZW5jZSgpO1xuXG4gIGlmIChyZWZlcmVuY2UgIT09IG51bGwpIHtcbiAgICBjb25zdCBydWxlID0gY29udGV4dC5maW5kUnVsZUJ5UmVmZXJlbmNlKHJlZmVyZW5jZSk7XG5cbiAgICBpZiAocnVsZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3Qgc3RlcFN0cmluZyA9IHN0ZXAuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgICBydWxlU3RyaW5nID0gcnVsZS5nZXRTdHJpbmcoKTtcblxuICAgICAgY29udGV4dC50cmFjZShgVW5pZnlpbmcgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIHdpdGggdGhlICcke3J1bGVTdHJpbmd9JyBydWxlLi4uYCk7XG5cbiAgICAgIGNvbnN0IHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMgPSBjb250ZXh0LmdldFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoKSxcbiAgICAgICAgICAgIHN0ZXBBbmRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zVW5pZnkgPSBhd2FpdCBydWxlLnVuaWZ5U3RlcEFuZFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoc3RlcCwgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucywgY29udGV4dCk7XG5cbiAgICAgIGlmIChzdGVwQW5kU3VicHJvb2ZPclByb29mQXNzZXJ0aW9uc1VuaWZ5KSB7XG4gICAgICAgIHN0ZXBVbmlmaWVzV2l0aFJ1bGUgPSB0cnVlO1xuICAgICAgfVxuXG4gICAgICBpZiAoc3RlcFVuaWZpZXNXaXRoUnVsZSkge1xuICAgICAgICBjb250ZXh0LmRlYnVnKGAuLi51bmlmaWVkIHRoZSAnJHtzdGVwU3RyaW5nfScgc3RlcCB3aXRoIHRoZSAnJHtydWxlU3RyaW5nfScgcnVsZS5gKTtcbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RlcFVuaWZpZXNXaXRoUnVsZTtcbn1cblxuYXN5bmMgZnVuY3Rpb24gdW5pZnlTdGVwV2l0aFRvcExldmVsQXNzZXJ0aW9uKHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzV2l0aFRvcExldmVsQXNzZXJ0aW9uID0gZmFsc2U7XG5cbiAgY29uc3QgcmVmZXJlbmNlID0gc3RlcC5nZXRSZWZlcmVuY2UoKTtcblxuICBpZiAocmVmZXJlbmNlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdG9wTGV2ZWxBc3NlcnRpb24gPSBjb250ZXh0LmZpbmRUb3BMZXZlbEFzc2VydGlvbkJ5UmVmZXJlbmNlKHJlZmVyZW5jZSk7XG5cbiAgICBpZiAodG9wTGV2ZWxBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHNhdGlzZmlhYmxlID0gdG9wTGV2ZWxBc3NlcnRpb24uaXNTYXRpc2ZpYWJsZSgpO1xuXG4gICAgICBpZiAoIXNhdGlzZmlhYmxlKSB7XG4gICAgICAgIGNvbnN0IHN0ZXBTdHJpbmcgPSBzdGVwLmdldFN0cmluZygpLFxuICAgICAgICAgICAgICB0b3BMZXZlbEFzc2VydGlvblN0cmluZyA9IHJlZmVyZW5jZS5nZXRTdHJpbmcoKTtcblxuICAgICAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgd2l0aCB0aGUgJyR7dG9wTGV2ZWxBc3NlcnRpb25TdHJpbmd9JyB0b3AgbGV2ZWwgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICAgICAgY29uc3Qgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IGNvbnRleHQuZ2V0U3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucygpLFxuICAgICAgICAgICAgICBzdGVwQW5kU3VicHJvb2ZPclByb29mQXNzZXJ0aW9uc1VuaWZ5ID0gYXdhaXQgdG9wTGV2ZWxBc3NlcnRpb24udW5pZnlTdGVwQW5kU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyhzdGVwLCBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zLCBjb250ZXh0KTtcblxuICAgICAgICBpZiAoc3RlcEFuZFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnNVbmlmeSkge1xuICAgICAgICAgIHN0ZXBVbmlmaWVzV2l0aFRvcExldmVsQXNzZXJ0aW9uID0gdHJ1ZTtcbiAgICAgICAgfVxuXG4gICAgICAgIGlmIChzdGVwVW5pZmllc1dpdGhUb3BMZXZlbEFzc2VydGlvbikge1xuICAgICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIHdpdGggdGhlICcke3RvcExldmVsQXNzZXJ0aW9uU3RyaW5nfScgdG9wIGxldmVsIGFzc2VydGlvbi5gKTtcbiAgICAgICAgfVxuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGVwVW5pZmllc1dpdGhUb3BMZXZlbEFzc2VydGlvbjtcbn1cblxuYXN5bmMgZnVuY3Rpb24gdW5pZnlTdGVwV2l0aFNpZ25hdHVyZUFzc2VydGlvbihzdGVwLCBjb250ZXh0KSB7XG4gIGxldCBzdGVwVW5pZmllc1dpdGhTaWduYXR1cmVBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCBzaWduYXR1cmVBc3NlcnRpb24gPSBzdGVwLmdldFNpZ25hdHVyZUFzc2VydGlvbigpO1xuXG4gIGlmIChzaWduYXR1cmVBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGVwU3RyaW5nID0gc3RlcC5nZXRTdHJpbmcoKSxcbiAgICAgICAgICBzaWduYXR1cmVBc3NlcnRpb25TdHJpbmcgPSBzaWduYXR1cmVBc3NlcnRpb24uZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgd2l0aCB0aGUgJyR7c2lnbmF0dXJlQXNzZXJ0aW9uU3RyaW5nfScgc2lnbmF0dXJlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3Qgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IGNvbnRleHQuZ2V0U3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucygpLFxuICAgICAgICAgIHN0ZXBBbmRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zVW5pZnkgPSBhd2FpdCBzaWduYXR1cmVBc3NlcnRpb24udW5pZnlTdGVwQW5kU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyhzdGVwLCBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zLCBjb250ZXh0KTtcblxuICAgIGlmIChzdGVwQW5kU3VicHJvb2ZPclByb29mQXNzZXJ0aW9uc1VuaWZ5KSB7XG4gICAgICBzdGVwVW5pZmllc1dpdGhTaWduYXR1cmVBc3NlcnRpb24gPSB0cnVlO1xuICAgIH1cblxuICAgIGlmIChzdGVwVW5pZmllc1dpdGhTaWduYXR1cmVBc3NlcnRpb24pIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIHdpdGggdGhlICcke3NpZ25hdHVyZUFzc2VydGlvblN0cmluZ30nIHNpZ25hdHVyZSBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0ZXBVbmlmaWVzV2l0aFNpZ25hdHVyZUFzc2VydGlvbjtcbn1cblxuYXN5bmMgZnVuY3Rpb24gdW5pZnlTdGVwQXNVbnF1YWxpZmllZEVxdWFsaXR5KHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzQVVucXVhbGlmaWVkRXF1YWxpdHkgPSBmYWxzZTtcblxuICBjb25zdCB1bnF1YWxpZmllZCA9IHN0ZXAuaXNVbnF1YWxpZmllZCgpO1xuXG4gIGlmICh1bnF1YWxpZmllZCkge1xuICAgIGNvbnN0IHsgRXF1YWxpdHkgfSA9IGVsZW1lbnRzLFxuICAgICAgICAgIHN0YXRlbWVudCA9IHN0ZXAuZ2V0U3RhdGVtZW50KCksXG4gICAgICAgICAgZXF1YWxpdHkgPSBFcXVhbGl0eS5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgICBpZiAoZXF1YWxpdHkgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHN0ZXBTdHJpbmcgPSBzdGVwLmdldFN0cmluZygpO1xuXG4gICAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgYXMgYW4gdW5xdWFsaWZpZWQgZXF1YWxpdHkuLi5gKTtcblxuICAgICAgc3RlcFVuaWZpZXNBVW5xdWFsaWZpZWRFcXVhbGl0eSA9IHRydWU7XG5cbiAgICAgIGlmIChzdGVwVW5pZmllc0FVbnF1YWxpZmllZEVxdWFsaXR5KSB7XG4gICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGFuIHVucXVhbGlmaWVkIGVxdWFsaXR5LmApO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGVwVW5pZmllc0FVbnF1YWxpZmllZEVxdWFsaXR5O1xufVxuXG5hc3luYyBmdW5jdGlvbiB1bmlmeVN0ZXBBc1VOcXVhbGlmaWVkSnVkZ2VtZW50KHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZEp1ZGdlbWVudCA9IGZhbHNlO1xuXG4gIGNvbnN0IHVucXVhbGlmaWVkID0gc3RlcC5pc1VucXVhbGlmaWVkKCk7XG5cbiAgaWYgKHVucXVhbGlmaWVkKSB7XG4gICAgY29uc3QgeyBKdWRnZW1lbnQgfSA9IGVsZW1lbnRzLFxuICAgICAgICAgIHN0YXRlbWVudCA9IHN0ZXAuZ2V0U3RhdGVtZW50KCksXG4gICAgICAgICAganVkZ2VtZW50ID0gSnVkZ2VtZW50LmZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICAgIGlmIChqdWRnZW1lbnQgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHN0ZXBTdHJpbmcgPSBzdGVwLmdldFN0cmluZygpO1xuXG4gICAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgYXMgYW4gdW5xdWFsaWZpZWQganVkZ2VtZW50Li4uYCk7XG5cbiAgICAgIHN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZEp1ZGdlbWVudCA9IHRydWU7XG5cbiAgICAgIGlmIChzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRKdWRnZW1lbnQpIHtcbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udW5pZmllZCB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgYXMgYW4gdW5xdWFsaWZpZWQganVkZ2VtZW50LmApO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRKdWRnZW1lbnQ7XG59XG5cbmFzeW5jIGZ1bmN0aW9uIHVuaWZ5U3RlcEFzVW5xdWFsaWZpZWRUeXBlQXNzZXJ0aW9uKHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZFR5cGVBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCB1bnF1YWxpZmllZCA9IHN0ZXAuaXNVbnF1YWxpZmllZCgpO1xuXG4gIGlmICh1bnF1YWxpZmllZCkge1xuICAgIGNvbnN0IHsgVHlwZUFzc2VydGlvbiB9ID0gZWxlbWVudHMsXG4gICAgICAgICAgc3RhdGVtZW50ID0gc3RlcC5nZXRTdGF0ZW1lbnQoKSxcbiAgICAgICAgICB0eXBlQXNzZXJ0aW9uID0gVHlwZUFzc2VydGlvbi5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgICBpZiAodHlwZUFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgICAgY29uc3Qgc3RlcFN0cmluZyA9IHN0ZXAuZ2V0U3RyaW5nKCk7XG5cbiAgICAgIGNvbnRleHQudHJhY2UoYFVuaWZ5aW5nIHRoZSAnJHtzdGVwU3RyaW5nfScgc3RlcCBhcyBhbiB1bnF1YWxpZmllZCB0eXBlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgICBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRUeXBlQXNzZXJ0aW9uID0gdHJ1ZTtcblxuICAgICAgaWYgKHN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZFR5cGVBc3NlcnRpb24pIHtcbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udW5pZmllZCB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgYXMgYW4gdW5xdWFsaWZpZWQgdHlwZSBhc3NlcnRpb24uYCk7XG4gICAgICB9XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZFR5cGVBc3NlcnRpb247XG59XG5cbmFzeW5jIGZ1bmN0aW9uIHVuaWZ5U3RlcEFzVW5xdWFsaWZpZWRQcm9wZXJ0eUFzc2VydGlvbihzdGVwLCBjb250ZXh0KSB7XG4gIGxldCBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRQcm9wZXJ0eUFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IHVucXVhbGlmaWVkID0gc3RlcC5pc1VucXVhbGlmaWVkKCk7XG5cbiAgaWYgKHVucXVhbGlmaWVkKSB7XG4gICAgY29uc3QgeyBQcm9wZXJ0eUFzc2VydGlvbiB9ID0gZWxlbWVudHMsXG4gICAgICAgICAgc3RhdGVtZW50ID0gc3RlcC5nZXRTdGF0ZW1lbnQoKSxcbiAgICAgICAgICBwcm9wZXJ0eUFzc2VydGlvbiA9IFByb3BlcnR5QXNzZXJ0aW9uLmZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICAgIGlmIChwcm9wZXJ0eUFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgICAgY29uc3Qgc3RlcFN0cmluZyA9IHN0ZXAuZ2V0U3RyaW5nKCk7XG5cbiAgICAgIGNvbnRleHQudHJhY2UoYFVuaWZ5aW5nIHRoZSAnJHtzdGVwU3RyaW5nfScgc3RlcCBhcyBhbiB1bnF1YWxpZmllZCBwcm9wZXJ0eSBhc3NlcnRpb24uLi5gKTtcblxuICAgICAgc3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkUHJvcGVydHlBc3NlcnRpb24gPSB0cnVlO1xuXG4gICAgICBpZiAoc3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkUHJvcGVydHlBc3NlcnRpb24pIHtcbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udW5pZmllZCB0aGUgJyR7c3RlcFN0cmluZ30nIHN0ZXAgYXMgYW4gdW5xdWFsaWZpZWQgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRQcm9wZXJ0eUFzc2VydGlvbjtcbn1cblxuYXN5bmMgZnVuY3Rpb24gdW5pZnlTdGVwQXNVbnF1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbihzdGVwLCBjb250ZXh0KSB7XG4gIGxldCBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRTaWduYXR1cmVBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCB1bnF1YWxpZmllZCA9IHN0ZXAuaXNVbnF1YWxpZmllZCgpO1xuXG4gIGlmICh1bnF1YWxpZmllZCkge1xuICAgIGNvbnN0IHsgU2lnbmF0dXJlQXNzZXJ0aW9uIH0gPSBlbGVtZW50cyxcbiAgICAgICAgICBzdGF0ZW1lbnQgPSBzdGVwLmdldFN0YXRlbWVudCgpLFxuICAgICAgICAgIHNpZ25hdHVyZUFzc2VydGlvbiA9IFNpZ25hdHVyZUFzc2VydGlvbi5mcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgICBpZiAoc2lnbmF0dXJlQXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBzdGVwU3RyaW5nID0gc3RlcC5nZXRTdHJpbmcoKTtcblxuICAgICAgY29udGV4dC50cmFjZShgVW5pZnlpbmcgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgc2lnbmF0dXJlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgICBzdGVwVW5pZmllc0FzVW5xdWFsaWZpZWRTaWduYXR1cmVBc3NlcnRpb24gPSB0cnVlO1xuXG4gICAgICBpZiAoc3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkU2lnbmF0dXJlQXNzZXJ0aW9uKSB7XG4gICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgc2lnbmF0dXJlIGFzc2VydGlvbi5gKTtcbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkU2lnbmF0dXJlQXNzZXJ0aW9uO1xufVxuXG5hc3luYyBmdW5jdGlvbiB1bmlmeVN0ZXBBc1F1YWxpZmllZE1ldGFMZXZlbEFzc3VtcHRpb24oc3RlcCwgY29udGV4dCkge1xuICBsZXQgc3RlcFVuaWZpZXNBc1F1YWxpZmllZE1ldGFMZXZlbEFzc3VtcHRpb24gPSBmYWxzZTtcblxuICBjb25zdCBtZXRhTGV2ZWwgPSBjb250ZXh0LmlzTWV0YUxldmVsKCk7XG5cbiAgaWYgKG1ldGFMZXZlbCkge1xuICAgIGNvbnN0IHJlZmVyZW5jZSA9IHN0ZXAuZ2V0UmVmZXJlbmNlKCk7XG5cbiAgICBpZiAocmVmZXJlbmNlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBzdGVwU3RyaW5nID0gc3RlcC5nZXRTdHJpbmcoKSxcbiAgICAgICAgICAgIHJlZmVyZW5jZVN0cmluZyA9IHJlZmVyZW5jZS5nZXRTdHJpbmcoKTtcblxuICAgICAgY29udGV4dC50cmFjZShgVW5pZnlpbmcgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgbWV0YS1sZXZlbCBhc3N1bXB0aW9uIHdpdGggdGhlICcke3JlZmVyZW5jZVN0cmluZ30nIHJlZmVyZW5jZS4uLmApO1xuXG4gICAgICBsZXQgbWV0YUxldmVsQXNzdW1wdGlvbjtcblxuICAgICAgY29uc3QgeyBNZXRhTGV2ZWxBc3N1bXB0aW9uIH0gPSBlbGVtZW50cztcblxuICAgICAgbWV0YUxldmVsQXNzdW1wdGlvbiA9IE1ldGFMZXZlbEFzc3VtcHRpb24uZnJvbVN0ZXAoc3RlcCwgY29udGV4dCk7XG5cbiAgICAgIG1ldGFMZXZlbEFzc3VtcHRpb24gPSBtZXRhTGV2ZWxBc3N1bXB0aW9uLnZhbGlkYXRlKGNvbnRleHQpOyAgLy8vXG5cbiAgICAgIGlmIChtZXRhTGV2ZWxBc3N1bXB0aW9uICE9PSBudWxsKSB7XG4gICAgICAgIHN0ZXBVbmlmaWVzQXNRdWFsaWZpZWRNZXRhTGV2ZWxBc3N1bXB0aW9uID0gdHJ1ZTtcbiAgICAgIH1cblxuICAgICAgaWYgKHN0ZXBVbmlmaWVzQXNRdWFsaWZpZWRNZXRhTGV2ZWxBc3N1bXB0aW9uKSB7XG4gICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgbWV0YS1sZXZlbCBhc3N1bXB0aW9uIHdpdGggdGhlICcke3JlZmVyZW5jZVN0cmluZ30nIHJlZmVyZW5jZS5gKTtcbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RlcFVuaWZpZXNBc1F1YWxpZmllZE1ldGFMZXZlbEFzc3VtcHRpb247XG59XG5cbmFzeW5jIGZ1bmN0aW9uIHVuaWZ5U3RlcEFzUXVhbGlmaWVkU2lnbmF0dXJlQXNzZXJ0aW9uKHN0ZXAsIGNvbnRleHQpIHtcbiAgbGV0IHN0ZXBVbmlmaWVzQXNRdWFsaWZpZWRTaWduYXR1cmVBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCByZWZlcmVuY2UgPSBzdGVwLmdldFJlZmVyZW5jZSgpO1xuXG4gIGlmIChyZWZlcmVuY2UgIT09IG51bGwpIHtcbiAgICBjb25zdCB0b3BMZXZlbEFzc2VydGlvbiA9IGNvbnRleHQuZmluZFRvcExldmVsQXNzZXJ0aW9uQnlSZWZlcmVuY2UocmVmZXJlbmNlKTtcblxuICAgIGlmICh0b3BMZXZlbEFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgICAgY29uc3Qgc3RhdGVtZW50Tm9kZSA9IHN0ZXAuZ2V0U3RhdGVtZW50Tm9kZSgpLFxuICAgICAgICAgICAgc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSA9IHN0YXRlbWVudE5vZGUuZ2V0U2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSgpO1xuXG4gICAgICBpZiAoc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSAhPT0gbnVsbCkge1xuICAgICAgICBjb25zdCBzdGVwU3RyaW5nID0gc3RlcC5nZXRTdHJpbmcoKSxcbiAgICAgICAgICAgICAgcmVmZXJlbmNlU3RyaW5nID0gcmVmZXJlbmNlLmdldFN0cmluZygpLFxuICAgICAgICAgICAgICBzaWduYXR1cmVBc3NlcnRpb24gPSBjb250ZXh0LmZpbmRBc3NlcnRpb25CeUFzc2VydGlvbk5vZGUoc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICAgICAgY29udGV4dC50cmFjZShgVW5pZnlpbmcgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgc2lnbmF0dXJlIGFzc2VydGlvbiB3aXRoIHRoZSAnJHtyZWZlcmVuY2VTdHJpbmd9JyByZWZlcmVuY2UuLi5gKTtcblxuICAgICAgICBjb25zdCB1bmlmeVRvcExldmVsQXNzZXJ0aW9uID0gYXdhaXQgc2lnbmF0dXJlQXNzZXJ0aW9uLnVuaWZ5VG9wTGV2ZWxBc3NlcnRpb24odG9wTGV2ZWxBc3NlcnRpb24sIGNvbnRleHQpO1xuXG4gICAgICAgIGlmICh1bmlmeVRvcExldmVsQXNzZXJ0aW9uKSB7XG4gICAgICAgICAgc3RlcFVuaWZpZXNBc1F1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbiA9IHRydWU7XG4gICAgICAgIH1cblxuICAgICAgICBpZiAoc3RlcFVuaWZpZXNBc1F1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbikge1xuICAgICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnVuaWZpZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIGFzIGEgc2lnbmF0dXJlIGFzc2VydGlvbiB3aXRoIHRoZSAnJHtyZWZlcmVuY2VTdHJpbmd9JyByZWZlcmVuY2UuYCk7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RlcFVuaWZpZXNBc1F1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbjtcbn1cblxuYXN5bmMgZnVuY3Rpb24gY29tcGFyZVN0ZXBXaXRoU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyhzdGVwLCBjb250ZXh0KSB7XG4gIGxldCBzdGVwQ29tcGFyZXNUb1N1YnByb29mT3JQcm9vZkFzc2VydGlvbnMgPSBmYWxzZTtcblxuICBjb25zdCB1bnF1YWxpZmllZCA9IHN0ZXAuaXNVbnF1YWxpZmllZCgpO1xuXG4gIGlmICh1bnF1YWxpZmllZCkge1xuICAgIGNvbnN0IHN0ZXBTdHJpbmcgPSBzdGVwLmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgQ29tcGFyaW5nIHRoZSAnJHtzdGVwU3RyaW5nfScgc3RlcCB3aXRoIHRoZSBzdWJwcm9vZnMgb3IgcHJvb2YgYXNzc2VydGlvbnMuLi5gKTtcblxuICAgIGNvbnN0IHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMgPSBjb250ZXh0LmdldFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoKSxcbiAgICAgICAgICBjb21wYXJlc1RvU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IHN0ZXAuY29tcGFyZVN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucywgY29udGV4dCk7XG5cbiAgICBpZiAoY29tcGFyZXNUb1N1YnByb29mT3JQcm9vZkFzc2VydGlvbnMpIHtcbiAgICAgIHN0ZXBDb21wYXJlc1RvU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IHRydWU7XG4gICAgfVxuXG4gICAgaWYgKHN0ZXBDb21wYXJlc1RvU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucykge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4uY29tcGFyZWQgdGhlICcke3N0ZXBTdHJpbmd9JyBzdGVwIHdpdGggdGhlIHN1YnByb29mcyBvciBwcm9vZiBhc3NzZXJ0aW9ucy5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gc3RlcENvbXBhcmVzVG9TdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zO1xufVxuXG5leHBvcnQgY29uc3QgdW5pZnlTdGVwcyA9IFtcbiAgdW5pZnlTdGVwV2l0aFJ1bGUsXG4gIHVuaWZ5U3RlcFdpdGhUb3BMZXZlbEFzc2VydGlvbixcbiAgdW5pZnlTdGVwV2l0aFNpZ25hdHVyZUFzc2VydGlvbixcbiAgdW5pZnlTdGVwQXNVbnF1YWxpZmllZEVxdWFsaXR5LFxuICB1bmlmeVN0ZXBBc1VOcXVhbGlmaWVkSnVkZ2VtZW50LFxuICB1bmlmeVN0ZXBBc1VucXVhbGlmaWVkVHlwZUFzc2VydGlvbixcbiAgdW5pZnlTdGVwQXNVbnF1YWxpZmllZFByb3BlcnR5QXNzZXJ0aW9uLFxuICB1bmlmeVN0ZXBBc1VucXVhbGlmaWVkU2lnbmF0dXJlQXNzZXJ0aW9uLFxuICB1bmlmeVN0ZXBBc1F1YWxpZmllZE1ldGFMZXZlbEFzc3VtcHRpb24sXG4gIHVuaWZ5U3RlcEFzUXVhbGlmaWVkU2lnbmF0dXJlQXNzZXJ0aW9uLFxuICBjb21wYXJlU3RlcFdpdGhTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zXG5dO1xuIl0sIm5hbWVzIjpbInVuaWZ5U3RlcHMiLCJ1bmlmeVN0ZXBXaXRoUnVsZSIsInN0ZXAiLCJjb250ZXh0Iiwic3RlcFVuaWZpZXNXaXRoUnVsZSIsInJlZmVyZW5jZSIsImdldFJlZmVyZW5jZSIsInJ1bGUiLCJmaW5kUnVsZUJ5UmVmZXJlbmNlIiwic3RlcFN0cmluZyIsImdldFN0cmluZyIsInJ1bGVTdHJpbmciLCJ0cmFjZSIsInN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMiLCJnZXRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zIiwic3RlcEFuZFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnNVbmlmeSIsInVuaWZ5U3RlcEFuZFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMiLCJkZWJ1ZyIsInVuaWZ5U3RlcFdpdGhUb3BMZXZlbEFzc2VydGlvbiIsInN0ZXBVbmlmaWVzV2l0aFRvcExldmVsQXNzZXJ0aW9uIiwidG9wTGV2ZWxBc3NlcnRpb24iLCJmaW5kVG9wTGV2ZWxBc3NlcnRpb25CeVJlZmVyZW5jZSIsInNhdGlzZmlhYmxlIiwiaXNTYXRpc2ZpYWJsZSIsInRvcExldmVsQXNzZXJ0aW9uU3RyaW5nIiwidW5pZnlTdGVwV2l0aFNpZ25hdHVyZUFzc2VydGlvbiIsInN0ZXBVbmlmaWVzV2l0aFNpZ25hdHVyZUFzc2VydGlvbiIsInNpZ25hdHVyZUFzc2VydGlvbiIsImdldFNpZ25hdHVyZUFzc2VydGlvbiIsInNpZ25hdHVyZUFzc2VydGlvblN0cmluZyIsInVuaWZ5U3RlcEFzVW5xdWFsaWZpZWRFcXVhbGl0eSIsInN0ZXBVbmlmaWVzQVVucXVhbGlmaWVkRXF1YWxpdHkiLCJ1bnF1YWxpZmllZCIsImlzVW5xdWFsaWZpZWQiLCJFcXVhbGl0eSIsImVsZW1lbnRzIiwic3RhdGVtZW50IiwiZ2V0U3RhdGVtZW50IiwiZXF1YWxpdHkiLCJmcm9tU3RhdGVtZW50IiwidW5pZnlTdGVwQXNVTnF1YWxpZmllZEp1ZGdlbWVudCIsInN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZEp1ZGdlbWVudCIsIkp1ZGdlbWVudCIsImp1ZGdlbWVudCIsInVuaWZ5U3RlcEFzVW5xdWFsaWZpZWRUeXBlQXNzZXJ0aW9uIiwic3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkVHlwZUFzc2VydGlvbiIsIlR5cGVBc3NlcnRpb24iLCJ0eXBlQXNzZXJ0aW9uIiwidW5pZnlTdGVwQXNVbnF1YWxpZmllZFByb3BlcnR5QXNzZXJ0aW9uIiwic3RlcFVuaWZpZXNBc1VucXVhbGlmaWVkUHJvcGVydHlBc3NlcnRpb24iLCJQcm9wZXJ0eUFzc2VydGlvbiIsInByb3BlcnR5QXNzZXJ0aW9uIiwidW5pZnlTdGVwQXNVbnF1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbiIsInN0ZXBVbmlmaWVzQXNVbnF1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbiIsIlNpZ25hdHVyZUFzc2VydGlvbiIsInVuaWZ5U3RlcEFzUXVhbGlmaWVkTWV0YUxldmVsQXNzdW1wdGlvbiIsInN0ZXBVbmlmaWVzQXNRdWFsaWZpZWRNZXRhTGV2ZWxBc3N1bXB0aW9uIiwibWV0YUxldmVsIiwiaXNNZXRhTGV2ZWwiLCJyZWZlcmVuY2VTdHJpbmciLCJtZXRhTGV2ZWxBc3N1bXB0aW9uIiwiTWV0YUxldmVsQXNzdW1wdGlvbiIsImZyb21TdGVwIiwidmFsaWRhdGUiLCJ1bmlmeVN0ZXBBc1F1YWxpZmllZFNpZ25hdHVyZUFzc2VydGlvbiIsInN0ZXBVbmlmaWVzQXNRdWFsaWZpZWRTaWduYXR1cmVBc3NlcnRpb24iLCJzdGF0ZW1lbnROb2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInNpZ25hdHVyZUFzc2VydGlvbk5vZGUiLCJnZXRTaWduYXR1cmVBc3NlcnRpb25Ob2RlIiwiZmluZEFzc2VydGlvbkJ5QXNzZXJ0aW9uTm9kZSIsInVuaWZ5VG9wTGV2ZWxBc3NlcnRpb24iLCJjb21wYXJlU3RlcFdpdGhTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zIiwic3RlcENvbXBhcmVzVG9TdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zIiwiY29tcGFyZXNUb1N1YnByb29mT3JQcm9vZkFzc2VydGlvbnMiLCJjb21wYXJlU3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBK1RhQTs7O2VBQUFBOzs7aUVBN1RROzs7Ozs7QUFFckIsZUFBZUMsa0JBQWtCQyxJQUFJLEVBQUVDLE9BQU87SUFDNUMsSUFBSUMsc0JBQXNCO0lBRTFCLE1BQU1DLFlBQVlILEtBQUtJLFlBQVk7SUFFbkMsSUFBSUQsY0FBYyxNQUFNO1FBQ3RCLE1BQU1FLE9BQU9KLFFBQVFLLG1CQUFtQixDQUFDSDtRQUV6QyxJQUFJRSxTQUFTLE1BQU07WUFDakIsTUFBTUUsYUFBYVAsS0FBS1EsU0FBUyxJQUMzQkMsYUFBYUosS0FBS0csU0FBUztZQUVqQ1AsUUFBUVMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFSCxXQUFXLGlCQUFpQixFQUFFRSxXQUFXLFNBQVMsQ0FBQztZQUVsRixNQUFNRSw0QkFBNEJWLFFBQVFXLDRCQUE0QixJQUNoRUMsd0NBQXdDLE1BQU1SLEtBQUtTLHFDQUFxQyxDQUFDZCxNQUFNVywyQkFBMkJWO1lBRWhJLElBQUlZLHVDQUF1QztnQkFDekNYLHNCQUFzQjtZQUN4QjtZQUVBLElBQUlBLHFCQUFxQjtnQkFDdkJELFFBQVFjLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixFQUFFUixXQUFXLGlCQUFpQixFQUFFRSxXQUFXLE9BQU8sQ0FBQztZQUNwRjtRQUNGO0lBQ0Y7SUFFQSxPQUFPUDtBQUNUO0FBRUEsZUFBZWMsK0JBQStCaEIsSUFBSSxFQUFFQyxPQUFPO0lBQ3pELElBQUlnQixtQ0FBbUM7SUFFdkMsTUFBTWQsWUFBWUgsS0FBS0ksWUFBWTtJQUVuQyxJQUFJRCxjQUFjLE1BQU07UUFDdEIsTUFBTWUsb0JBQW9CakIsUUFBUWtCLGdDQUFnQyxDQUFDaEI7UUFFbkUsSUFBSWUsc0JBQXNCLE1BQU07WUFDOUIsTUFBTUUsY0FBY0Ysa0JBQWtCRyxhQUFhO1lBRW5ELElBQUksQ0FBQ0QsYUFBYTtnQkFDaEIsTUFBTWIsYUFBYVAsS0FBS1EsU0FBUyxJQUMzQmMsMEJBQTBCbkIsVUFBVUssU0FBUztnQkFFbkRQLFFBQVFTLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRUgsV0FBVyxpQkFBaUIsRUFBRWUsd0JBQXdCLHdCQUF3QixDQUFDO2dCQUU5RyxNQUFNWCw0QkFBNEJWLFFBQVFXLDRCQUE0QixJQUNoRUMsd0NBQXdDLE1BQU1LLGtCQUFrQkoscUNBQXFDLENBQUNkLE1BQU1XLDJCQUEyQlY7Z0JBRTdJLElBQUlZLHVDQUF1QztvQkFDekNJLG1DQUFtQztnQkFDckM7Z0JBRUEsSUFBSUEsa0NBQWtDO29CQUNwQ2hCLFFBQVFjLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixFQUFFUixXQUFXLGlCQUFpQixFQUFFZSx3QkFBd0Isc0JBQXNCLENBQUM7Z0JBQ2hIO1lBQ0Y7UUFDRjtJQUNGO0lBRUEsT0FBT0w7QUFDVDtBQUVBLGVBQWVNLGdDQUFnQ3ZCLElBQUksRUFBRUMsT0FBTztJQUMxRCxJQUFJdUIsb0NBQW9DO0lBRXhDLE1BQU1DLHFCQUFxQnpCLEtBQUswQixxQkFBcUI7SUFFckQsSUFBSUQsdUJBQXVCLE1BQU07UUFDL0IsTUFBTWxCLGFBQWFQLEtBQUtRLFNBQVMsSUFDM0JtQiwyQkFBMkJGLG1CQUFtQmpCLFNBQVM7UUFFN0RQLFFBQVFTLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRUgsV0FBVyxpQkFBaUIsRUFBRW9CLHlCQUF5Qix3QkFBd0IsQ0FBQztRQUUvRyxNQUFNaEIsNEJBQTRCVixRQUFRVyw0QkFBNEIsSUFDaEVDLHdDQUF3QyxNQUFNWSxtQkFBbUJYLHFDQUFxQyxDQUFDZCxNQUFNVywyQkFBMkJWO1FBRTlJLElBQUlZLHVDQUF1QztZQUN6Q1csb0NBQW9DO1FBQ3RDO1FBRUEsSUFBSUEsbUNBQW1DO1lBQ3JDdkIsUUFBUWMsS0FBSyxDQUFDLENBQUMsZ0JBQWdCLEVBQUVSLFdBQVcsaUJBQWlCLEVBQUVvQix5QkFBeUIsc0JBQXNCLENBQUM7UUFDakg7SUFDRjtJQUVBLE9BQU9IO0FBQ1Q7QUFFQSxlQUFlSSwrQkFBK0I1QixJQUFJLEVBQUVDLE9BQU87SUFDekQsSUFBSTRCLGtDQUFrQztJQUV0QyxNQUFNQyxjQUFjOUIsS0FBSytCLGFBQWE7SUFFdEMsSUFBSUQsYUFBYTtRQUNmLE1BQU0sRUFBRUUsUUFBUSxFQUFFLEdBQUdDLGlCQUFRLEVBQ3ZCQyxZQUFZbEMsS0FBS21DLFlBQVksSUFDN0JDLFdBQVdKLFNBQVNLLGFBQWEsQ0FBQ0gsV0FBV2pDO1FBRW5ELElBQUltQyxhQUFhLE1BQU07WUFDckIsTUFBTTdCLGFBQWFQLEtBQUtRLFNBQVM7WUFFakNQLFFBQVFTLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRUgsV0FBVyxvQ0FBb0MsQ0FBQztZQUUvRXNCLGtDQUFrQztZQUVsQyxJQUFJQSxpQ0FBaUM7Z0JBQ25DNUIsUUFBUWMsS0FBSyxDQUFDLENBQUMsZ0JBQWdCLEVBQUVSLFdBQVcsa0NBQWtDLENBQUM7WUFDakY7UUFDRjtJQUNGO0lBRUEsT0FBT3NCO0FBQ1Q7QUFFQSxlQUFlUyxnQ0FBZ0N0QyxJQUFJLEVBQUVDLE9BQU87SUFDMUQsSUFBSXNDLG9DQUFvQztJQUV4QyxNQUFNVCxjQUFjOUIsS0FBSytCLGFBQWE7SUFFdEMsSUFBSUQsYUFBYTtRQUNmLE1BQU0sRUFBRVUsU0FBUyxFQUFFLEdBQUdQLGlCQUFRLEVBQ3hCQyxZQUFZbEMsS0FBS21DLFlBQVksSUFDN0JNLFlBQVlELFVBQVVILGFBQWEsQ0FBQ0gsV0FBV2pDO1FBRXJELElBQUl3QyxjQUFjLE1BQU07WUFDdEIsTUFBTWxDLGFBQWFQLEtBQUtRLFNBQVM7WUFFakNQLFFBQVFTLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRUgsV0FBVyxxQ0FBcUMsQ0FBQztZQUVoRmdDLG9DQUFvQztZQUVwQyxJQUFJQSxtQ0FBbUM7Z0JBQ3JDdEMsUUFBUWMsS0FBSyxDQUFDLENBQUMsZ0JBQWdCLEVBQUVSLFdBQVcsbUNBQW1DLENBQUM7WUFDbEY7UUFDRjtJQUNGO0lBRUEsT0FBT2dDO0FBQ1Q7QUFFQSxlQUFlRyxvQ0FBb0MxQyxJQUFJLEVBQUVDLE9BQU87SUFDOUQsSUFBSTBDLHdDQUF3QztJQUU1QyxNQUFNYixjQUFjOUIsS0FBSytCLGFBQWE7SUFFdEMsSUFBSUQsYUFBYTtRQUNmLE1BQU0sRUFBRWMsYUFBYSxFQUFFLEdBQUdYLGlCQUFRLEVBQzVCQyxZQUFZbEMsS0FBS21DLFlBQVksSUFDN0JVLGdCQUFnQkQsY0FBY1AsYUFBYSxDQUFDSCxXQUFXakM7UUFFN0QsSUFBSTRDLGtCQUFrQixNQUFNO1lBQzFCLE1BQU10QyxhQUFhUCxLQUFLUSxTQUFTO1lBRWpDUCxRQUFRUyxLQUFLLENBQUMsQ0FBQyxjQUFjLEVBQUVILFdBQVcsMENBQTBDLENBQUM7WUFFckZvQyx3Q0FBd0M7WUFFeEMsSUFBSUEsdUNBQXVDO2dCQUN6QzFDLFFBQVFjLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixFQUFFUixXQUFXLHdDQUF3QyxDQUFDO1lBQ3ZGO1FBQ0Y7SUFDRjtJQUVBLE9BQU9vQztBQUNUO0FBRUEsZUFBZUcsd0NBQXdDOUMsSUFBSSxFQUFFQyxPQUFPO0lBQ2xFLElBQUk4Qyw0Q0FBNEM7SUFFaEQsTUFBTWpCLGNBQWM5QixLQUFLK0IsYUFBYTtJQUV0QyxJQUFJRCxhQUFhO1FBQ2YsTUFBTSxFQUFFa0IsaUJBQWlCLEVBQUUsR0FBR2YsaUJBQVEsRUFDaENDLFlBQVlsQyxLQUFLbUMsWUFBWSxJQUM3QmMsb0JBQW9CRCxrQkFBa0JYLGFBQWEsQ0FBQ0gsV0FBV2pDO1FBRXJFLElBQUlnRCxzQkFBc0IsTUFBTTtZQUM5QixNQUFNMUMsYUFBYVAsS0FBS1EsU0FBUztZQUVqQ1AsUUFBUVMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFSCxXQUFXLDhDQUE4QyxDQUFDO1lBRXpGd0MsNENBQTRDO1lBRTVDLElBQUlBLDJDQUEyQztnQkFDN0M5QyxRQUFRYyxLQUFLLENBQUMsQ0FBQyxnQkFBZ0IsRUFBRVIsV0FBVyw0Q0FBNEMsQ0FBQztZQUMzRjtRQUNGO0lBQ0Y7SUFFQSxPQUFPd0M7QUFDVDtBQUVBLGVBQWVHLHlDQUF5Q2xELElBQUksRUFBRUMsT0FBTztJQUNuRSxJQUFJa0QsNkNBQTZDO0lBRWpELE1BQU1yQixjQUFjOUIsS0FBSytCLGFBQWE7SUFFdEMsSUFBSUQsYUFBYTtRQUNmLE1BQU0sRUFBRXNCLGtCQUFrQixFQUFFLEdBQUduQixpQkFBUSxFQUNqQ0MsWUFBWWxDLEtBQUttQyxZQUFZLElBQzdCVixxQkFBcUIyQixtQkFBbUJmLGFBQWEsQ0FBQ0gsV0FBV2pDO1FBRXZFLElBQUl3Qix1QkFBdUIsTUFBTTtZQUMvQixNQUFNbEIsYUFBYVAsS0FBS1EsU0FBUztZQUVqQ1AsUUFBUVMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFSCxXQUFXLGtDQUFrQyxDQUFDO1lBRTdFNEMsNkNBQTZDO1lBRTdDLElBQUlBLDRDQUE0QztnQkFDOUNsRCxRQUFRYyxLQUFLLENBQUMsQ0FBQyxnQkFBZ0IsRUFBRVIsV0FBVyxnQ0FBZ0MsQ0FBQztZQUMvRTtRQUNGO0lBQ0Y7SUFFQSxPQUFPNEM7QUFDVDtBQUVBLGVBQWVFLHdDQUF3Q3JELElBQUksRUFBRUMsT0FBTztJQUNsRSxJQUFJcUQsNENBQTRDO0lBRWhELE1BQU1DLFlBQVl0RCxRQUFRdUQsV0FBVztJQUVyQyxJQUFJRCxXQUFXO1FBQ2IsTUFBTXBELFlBQVlILEtBQUtJLFlBQVk7UUFFbkMsSUFBSUQsY0FBYyxNQUFNO1lBQ3RCLE1BQU1JLGFBQWFQLEtBQUtRLFNBQVMsSUFDM0JpRCxrQkFBa0J0RCxVQUFVSyxTQUFTO1lBRTNDUCxRQUFRUyxLQUFLLENBQUMsQ0FBQyxjQUFjLEVBQUVILFdBQVcsNENBQTRDLEVBQUVrRCxnQkFBZ0IsY0FBYyxDQUFDO1lBRXZILElBQUlDO1lBRUosTUFBTSxFQUFFQyxtQkFBbUIsRUFBRSxHQUFHMUIsaUJBQVE7WUFFeEN5QixzQkFBc0JDLG9CQUFvQkMsUUFBUSxDQUFDNUQsTUFBTUM7WUFFekR5RCxzQkFBc0JBLG9CQUFvQkcsUUFBUSxDQUFDNUQsVUFBVyxHQUFHO1lBRWpFLElBQUl5RCx3QkFBd0IsTUFBTTtnQkFDaENKLDRDQUE0QztZQUM5QztZQUVBLElBQUlBLDJDQUEyQztnQkFDN0NyRCxRQUFRYyxLQUFLLENBQUMsQ0FBQyxnQkFBZ0IsRUFBRVIsV0FBVyw0Q0FBNEMsRUFBRWtELGdCQUFnQixZQUFZLENBQUM7WUFDekg7UUFDRjtJQUNGO0lBRUEsT0FBT0g7QUFDVDtBQUVBLGVBQWVRLHVDQUF1QzlELElBQUksRUFBRUMsT0FBTztJQUNqRSxJQUFJOEQsMkNBQTJDO0lBRS9DLE1BQU01RCxZQUFZSCxLQUFLSSxZQUFZO0lBRW5DLElBQUlELGNBQWMsTUFBTTtRQUN0QixNQUFNZSxvQkFBb0JqQixRQUFRa0IsZ0NBQWdDLENBQUNoQjtRQUVuRSxJQUFJZSxzQkFBc0IsTUFBTTtZQUM5QixNQUFNOEMsZ0JBQWdCaEUsS0FBS2lFLGdCQUFnQixJQUNyQ0MseUJBQXlCRixjQUFjRyx5QkFBeUI7WUFFdEUsSUFBSUQsMkJBQTJCLE1BQU07Z0JBQ25DLE1BQU0zRCxhQUFhUCxLQUFLUSxTQUFTLElBQzNCaUQsa0JBQWtCdEQsVUFBVUssU0FBUyxJQUNyQ2lCLHFCQUFxQnhCLFFBQVFtRSw0QkFBNEIsQ0FBQ0Y7Z0JBRWhFakUsUUFBUVMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFSCxXQUFXLDBDQUEwQyxFQUFFa0QsZ0JBQWdCLGNBQWMsQ0FBQztnQkFFckgsTUFBTVkseUJBQXlCLE1BQU01QyxtQkFBbUI0QyxzQkFBc0IsQ0FBQ25ELG1CQUFtQmpCO2dCQUVsRyxJQUFJb0Usd0JBQXdCO29CQUMxQk4sMkNBQTJDO2dCQUM3QztnQkFFQSxJQUFJQSwwQ0FBMEM7b0JBQzVDOUQsUUFBUWMsS0FBSyxDQUFDLENBQUMsZ0JBQWdCLEVBQUVSLFdBQVcsMENBQTBDLEVBQUVrRCxnQkFBZ0IsWUFBWSxDQUFDO2dCQUN2SDtZQUNGO1FBQ0Y7SUFDRjtJQUVBLE9BQU9NO0FBQ1Q7QUFFQSxlQUFlTyx5Q0FBeUN0RSxJQUFJLEVBQUVDLE9BQU87SUFDbkUsSUFBSXNFLDBDQUEwQztJQUU5QyxNQUFNekMsY0FBYzlCLEtBQUsrQixhQUFhO0lBRXRDLElBQUlELGFBQWE7UUFDZixNQUFNdkIsYUFBYVAsS0FBS1EsU0FBUztRQUVqQ1AsUUFBUVMsS0FBSyxDQUFDLENBQUMsZUFBZSxFQUFFSCxXQUFXLGlEQUFpRCxDQUFDO1FBRTdGLE1BQU1JLDRCQUE0QlYsUUFBUVcsNEJBQTRCLElBQ2hFNEQsc0NBQXNDeEUsS0FBS3lFLGdDQUFnQyxDQUFDOUQsMkJBQTJCVjtRQUU3RyxJQUFJdUUscUNBQXFDO1lBQ3ZDRCwwQ0FBMEM7UUFDNUM7UUFFQSxJQUFJQSx5Q0FBeUM7WUFDM0N0RSxRQUFRYyxLQUFLLENBQUMsQ0FBQyxpQkFBaUIsRUFBRVIsV0FBVywrQ0FBK0MsQ0FBQztRQUMvRjtJQUNGO0lBRUEsT0FBT2dFO0FBQ1Q7QUFFTyxNQUFNekUsYUFBYTtJQUN4QkM7SUFDQWlCO0lBQ0FPO0lBQ0FLO0lBQ0FVO0lBQ0FJO0lBQ0FJO0lBQ0FJO0lBQ0FHO0lBQ0FTO0lBQ0FRO0NBQ0QifQ==