occam-verify-cli 1.0.388 → 1.0.404

package/src/utilities/unification.js

@@ -1,6 +1,6 @@
 "use string";
 
-import LocalContext from "../context/local";
+import TemporaryContext from "../context/temporary";
 import metaLevelUnifier from "../unifier/metaLevel";
 import metavariableUnifier from "../unifier/metavariable";
 import intrinsicLevelUnifier from "../unifier/intrinsicLevel";
@@ -12,14 +12,7 @@ export function unifyStatement(generalStatement, specificStatement, substitution
 
   const generalStatementNode = generalStatement.getNode(),
         specificStatementNode = specificStatement.getNode(),
-        generalStatementTokens = generalStatement.getTokens(),
-        specificStatementTokens = specificStatement.getTokens();
-
-  generalContext = contextFromTokens(generalStatementTokens, generalContext); ///
-
-  specificContext = contextFromTokens(specificStatementTokens, specificContext);  ///
-
-  const generalNonTerminalNode = generalStatementNode, ///
+        generalNonTerminalNode = generalStatementNode, ///
         specificNonTerminalNode = specificStatementNode,  ///
         unifiesAtMetaLevel = metaLevelUnifier.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
 
@@ -35,14 +28,7 @@ export function unifySubstitution(generalSubstitution, specificSubstitution, sub
 
   const generalSubstitutionNode = generalSubstitution.getNode(),
         specificSubstitutionNode = specificSubstitution.getNode(),
-        generalSubstitutionTokens = generalSubstitution.getTokens(),
-        specificSubstitutionTokens = specificSubstitution.getTokens();
-
-  generalContext = contextFromTokens(generalSubstitutionTokens, generalContext); ///
-
-  specificContext = contextFromTokens(specificSubstitutionTokens, specificContext);  ///
-
-  const generalNonTerminalNode = generalSubstitutionNode, ///
+        generalNonTerminalNode = generalSubstitutionNode, ///
         specificNonTerminalNode = specificSubstitutionNode,
         unifiesAtMetaLevel = metaLevelUnifier.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
 
@@ -106,17 +92,15 @@ export function unifyStatementWithCombinator(statement, combinator, assignments,
   let statementUnifiesWithCombinator;
 
   const statementNode = statement.getNode(),
-        statementTokens = statement.getTokens(),
         combinatorStatement = combinator.getStatement(),
         combinatorStatementNode = combinatorStatement.getNode(),
         combinatorStatementTokens = combinatorStatement.getTokens();
 
-  let generalContext = context, ///
-      specificContext = context;  ///
+  const specificContext = context;  ///
 
-  generalContext = contextFromTokens(combinatorStatementTokens, generalContext);  ///
+  context = contextFromTokens(combinatorStatementTokens, context);  ///
 
-  specificContext = contextFromTokens(statementTokens, specificContext);  ///
+  const generalContext = context; ///
 
   statementUnifiesWithCombinator = statementWithCombinatorUnifier.unify(combinatorStatementNode, statementNode, assignments, stated, generalContext, specificContext);
 
@@ -144,9 +128,9 @@ export function unifyMetavariableIntrinsically(generalMetavariable, specificMeta
 }
 
 function contextFromTokens(tokens, context) {
-  const localContext = LocalContext.fromContextAndTokens(context, tokens);
+  const temporaryContext = TemporaryContext.fromContextAndTokens(context, tokens);
 
-  context = localContext;  ///
+  context = temporaryContext;  ///
 
   return context;
 }

package/src/utilities/variable.js

@@ -0,0 +1,13 @@
+"use strict";
+
+import { nodeQuery } from "../utilities/query";
+
+const termVariableIdentifierNodeQuery = nodeQuery("/term/variable!/@identifier!");
+
+export function termVariableIdentifierFromTermNode(TermNode) {
+  const termVariableIdentifierTerminalNode = termVariableIdentifierNodeQuery(TermNode),
+        termVariableIdentifierTerminalNodeContent = termVariableIdentifierTerminalNode.getContent(),
+        termVariableIdentifier = termVariableIdentifierTerminalNodeContent; ///
+
+  return termVariableIdentifier;
+}

package/lib/equivalence.js

@@ -1,294 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return Equivalence;
-    }
-});
-var _necessary = require("necessary");
-var _brackets = require("./utilities/brackets");
-function _array_like_to_array(arr, len) {
-    if (len == null || len > arr.length) len = arr.length;
-    for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
-    return arr2;
-}
-function _array_without_holes(arr) {
-    if (Array.isArray(arr)) return _array_like_to_array(arr);
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _iterable_to_array(iter) {
-    if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
-}
-function _non_iterable_spread() {
-    throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
-}
-function _to_consumable_array(arr) {
-    return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
-}
-function _unsupported_iterable_to_array(o, minLen) {
-    if (!o) return;
-    if (typeof o === "string") return _array_like_to_array(o, minLen);
-    var n = Object.prototype.toString.call(o).slice(8, -1);
-    if (n === "Object" && o.constructor) n = o.constructor.name;
-    if (n === "Map" || n === "Set") return Array.from(n);
-    if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
-}
-var compress = _necessary.arrayUtilities.compress;
-var Equivalence = /*#__PURE__*/ function() {
-    function Equivalence(terms) {
-        _class_call_check(this, Equivalence);
-        this.terms = terms;
-    }
-    _create_class(Equivalence, [
-        {
-            key: "getTerms",
-            value: function getTerms() {
-                return this.terms;
-            }
-        },
-        {
-            key: "addTerm",
-            value: function addTerm(term, context) {
-                var termString = term.getString(), equivalenceString = this.asString(); ///
-                context.trace("Adding the '".concat(termString, "' term to the '").concat(equivalenceString, "' equivalence...."));
-                var termA = term, termPresent = this.someTerm(function(term) {
-                    var termB = term, termAEqualToTermB = termA.isEqualTo(termB);
-                    if (termAEqualToTermB) {
-                        return true;
-                    }
-                });
-                if (!termPresent) {
-                    this.terms.push(term);
-                    context.debug("...added the '".concat(termString, "' term to the '").concat(equivalenceString, "' equivalence."));
-                }
-            }
-        },
-        {
-            key: "getType",
-            value: function getType() {
-                var type = this.terms.reduce(function(type, term) {
-                    var termType = term.getType();
-                    if (type === null) {
-                        type = termType; ///
-                    } else {
-                        var termTypeSubTypeOfType = termType.isSubTypeOf(type);
-                        if (termTypeSubTypeOfType) {
-                            type = termType; ///
-                        }
-                    }
-                    return type;
-                }, null);
-                return type;
-            }
-        },
-        {
-            key: "equateTerm",
-            value: function equateTerm(term) {
-                var termA = term, termEquates = this.someTerm(function(term) {
-                    var termB = term, termAEqualToTermB = termA.isEqualTo(termB);
-                    if (termAEqualToTermB) {
-                        return true;
-                    }
-                });
-                return termEquates;
-            }
-        },
-        {
-            key: "matchTermNode",
-            value: function matchTermNode(termNode) {
-                termNode = (0, _brackets.stripBracketsFromTermNode)(termNode); ///
-                var termNodeMatches = this.someTerm(function(term) {
-                    var termNodeMatches = term.matchTermNode(termNode);
-                    if (termNodeMatches) {
-                        return true;
-                    }
-                });
-                return termNodeMatches;
-            }
-        },
-        {
-            key: "matchTermNodes",
-            value: function matchTermNodes(termNodes) {
-                var _this = this;
-                var termNodesMatch = termNodes.every(function(termNode) {
-                    var termNodeMatches = _this.matchTermNode(termNode);
-                    if (termNodeMatches) {
-                        return true;
-                    }
-                });
-                return termNodesMatch;
-            }
-        },
-        {
-            key: "matchVariableNode",
-            value: function matchVariableNode(variableNode) {
-                var variableNodeA = variableNode, variableNodeMatches = this.someTerm(function(term) {
-                    var termNode = term.getNode(), singularVariableNode = termNode.getSingularVariableNode();
-                    if (singularVariableNode !== null) {
-                        var variableNodeB = singularVariableNode, variableNodeAMatchesVariableNodeB = variableNodeA.match(variableNodeB);
-                        if (variableNodeAMatchesVariableNodeB) {
-                            return true;
-                        }
-                    }
-                });
-                return variableNodeMatches;
-            }
-        },
-        {
-            key: "isDisjointFrom",
-            value: function isDisjointFrom(equivalence) {
-                var _this = this;
-                var disjointFrom = equivalence.everyTerm(function(term) {
-                    var termEquates = _this.equateTerm(term);
-                    if (!termEquates) {
-                        return true;
-                    }
-                });
-                return disjointFrom;
-            }
-        },
-        {
-            key: "mergedWith",
-            value: function mergedWith(equivalence) {
-                var equivalenceA = this, equivalenceB = equivalence, equivalenceATerms = equivalenceA.getTerms(), equivalenceTermsB = equivalenceB.getTerms(), terms = _to_consumable_array(equivalenceATerms).concat(_to_consumable_array(equivalenceTermsB));
-                compress(terms, function(termA, termB) {
-                    var termAEqualToTermB = termA.isEqualTo(termB);
-                    if (termAEqualToTermB) {
-                        return true;
-                    }
-                });
-                equivalence = new Equivalence(terms);
-                return equivalence;
-            }
-        },
-        {
-            key: "someTerm",
-            value: function someTerm(callback) {
-                return this.terms.some(callback);
-            }
-        },
-        {
-            key: "everyTerm",
-            value: function everyTerm(callback) {
-                return this.terms.every(callback);
-            }
-        },
-        {
-            key: "someOtherTerm",
-            value: function someOtherTerm(term, callback) {
-                var termA = term, terms = this.terms.filter(function(term) {
-                    var termB = term, termAEqualToTermB = termA.isEqualTo(termB);
-                    if (!termAEqualToTermB) {
-                        return true;
-                    }
-                }), result = terms.some(callback);
-                return result;
-            }
-        },
-        {
-            key: "getGroundedTerms",
-            value: function getGroundedTerms(definedVariables, groundedTerms, context) {
-                this.terms.forEach(function(term) {
-                    var termGrounded = term.isGrounded(definedVariables, context);
-                    if (termGrounded) {
-                        var termMatchesGroundedTerm = groundedTerms.some(function(groundedTerm) {
-                            var groundedTermNode = groundedTerm.getNode(), groundedTermNodeMatches = term.matchTermNode(groundedTermNode);
-                            if (groundedTermNodeMatches) {
-                                return true;
-                            }
-                        });
-                        if (!termMatchesGroundedTerm) {
-                            var groundedTerm = term;
-                            groundedTerms.push(groundedTerm);
-                        }
-                    }
-                });
-            }
-        },
-        {
-            key: "isInitiallyGrounded",
-            value: function isInitiallyGrounded(context) {
-                var initiallyGroundedTerms = this.getInitiallyGroundedTerms(context), initiallyGroundedTermsLength = initiallyGroundedTerms.length, initiallyGrounded = initiallyGroundedTermsLength > 0;
-                return initiallyGrounded;
-            }
-        },
-        {
-            key: "isImplicitlyGrounded",
-            value: function isImplicitlyGrounded(definedVariables, context) {
-                var implicitlyGroundedTerms = this.getImplicitlyGroundedTerms(definedVariables, context), implicitlyGroundedTermsLength = implicitlyGroundedTerms.length, implicitlyGrounded = implicitlyGroundedTermsLength > 0;
-                return implicitlyGrounded;
-            }
-        },
-        {
-            key: "getInitiallyGroundedTerms",
-            value: function getInitiallyGroundedTerms(context) {
-                var initiallyGroundedTerms = this.terms.reduce(function(initiallyGroundedTerms, term) {
-                    var termInitiallyGrounded = term.isInitiallyGrounded(context);
-                    if (termInitiallyGrounded) {
-                        var initiallyGroundedTerm = term; ///
-                        initiallyGroundedTerms.push(initiallyGroundedTerm);
-                    }
-                    return initiallyGroundedTerms;
-                }, []);
-                return initiallyGroundedTerms;
-            }
-        },
-        {
-            key: "getImplicitlyGroundedTerms",
-            value: function getImplicitlyGroundedTerms(definedVariables, context) {
-                var implicitlyGroundedTerms = this.terms.reduce(function(implicitlyGroundedTerms, term) {
-                    var termImplicitlyGrounded = term.isImplicitlyGrounded(definedVariables, context);
-                    if (termImplicitlyGrounded) {
-                        var implicitlyGroundedTerm = term; ///
-                        implicitlyGroundedTerms.push(implicitlyGroundedTerm);
-                    }
-                    return implicitlyGroundedTerms;
-                }, []);
-                return implicitlyGroundedTerms;
-            }
-        },
-        {
-            key: "asString",
-            value: function asString() {
-                var type = this.getType(), typeString = type.getString(), termsString = this.terms.reduce(function(termsString, term) {
-                    var termString = term.getString();
-                    termsString = termsString === null ? termString : "".concat(termsString, " = ").concat(termString);
-                    return termsString;
-                }, null), string = "".concat(termsString, ":").concat(typeString);
-                return string;
-            }
-        }
-    ], [
-        {
-            key: "fromEquality",
-            value: function fromEquality(equality) {
-                var terms = equality.getTerms(), equivalence = new Equivalence(terms);
-                return equivalence;
-            }
-        }
-    ]);
-    return Equivalence;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9lcXVpdmFsZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgYXJyYXlVdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmltcG9ydCB7IHN0cmlwQnJhY2tldHNGcm9tVGVybU5vZGUgfSBmcm9tIFwiLi91dGlsaXRpZXMvYnJhY2tldHNcIjtcblxuY29uc3QgeyBjb21wcmVzcyB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEVxdWl2YWxlbmNlIHtcbiAgY29uc3RydWN0b3IodGVybXMpIHtcbiAgICB0aGlzLnRlcm1zID0gdGVybXM7XG4gIH1cblxuICBnZXRUZXJtcygpIHtcbiAgICByZXR1cm4gdGhpcy50ZXJtcztcbiAgfVxuXG4gIGFkZFRlcm0odGVybSwgY29udGV4dCkge1xuICAgIGNvbnN0IHRlcm1TdHJpbmcgPSB0ZXJtLmdldFN0cmluZygpLFxuICAgICAgICAgIGVxdWl2YWxlbmNlU3RyaW5nID0gdGhpcy5hc1N0cmluZygpOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYEFkZGluZyB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gdG8gdGhlICcke2VxdWl2YWxlbmNlU3RyaW5nfScgZXF1aXZhbGVuY2UuLi4uYCk7XG5cbiAgICBjb25zdCB0ZXJtQSA9IHRlcm0sIC8vL1xuICAgICAgICAgIHRlcm1QcmVzZW50ID0gdGhpcy5zb21lVGVybSgodGVybSkgPT4ge1xuICAgICAgICAgICAgY29uc3QgdGVybUIgPSB0ZXJtLCAvLy9cbiAgICAgICAgICAgICAgICAgIHRlcm1BRXF1YWxUb1Rlcm1CID0gdGVybUEuaXNFcXVhbFRvKHRlcm1CKTtcblxuICAgICAgICAgICAgaWYgKHRlcm1BRXF1YWxUb1Rlcm1CKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pO1xuXG4gICAgaWYgKCF0ZXJtUHJlc2VudCkge1xuICAgICAgdGhpcy50ZXJtcy5wdXNoKHRlcm0pO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi5hZGRlZCB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gdG8gdGhlICcke2VxdWl2YWxlbmNlU3RyaW5nfScgZXF1aXZhbGVuY2UuYCk7XG4gICAgfVxuICB9XG5cbiAgZ2V0VHlwZSgpIHtcbiAgICBjb25zdCB0eXBlID0gdGhpcy50ZXJtcy5yZWR1Y2UoKHR5cGUsIHRlcm0pID0+IHtcbiAgICAgIGNvbnN0IHRlcm1UeXBlID0gdGVybS5nZXRUeXBlKCk7XG5cbiAgICAgIGlmICh0eXBlID09PSBudWxsKSB7XG4gICAgICAgIHR5cGUgPSB0ZXJtVHlwZTsgIC8vL1xuICAgICAgfSBlbHNlIHtcbiAgICAgICAgY29uc3QgdGVybVR5cGVTdWJUeXBlT2ZUeXBlID0gdGVybVR5cGUuaXNTdWJUeXBlT2YodHlwZSk7XG5cbiAgICAgICAgaWYgKHRlcm1UeXBlU3ViVHlwZU9mVHlwZSkge1xuICAgICAgICAgIHR5cGUgPSB0ZXJtVHlwZTsgIC8vL1xuICAgICAgICB9XG4gICAgICB9XG5cbiAgICAgIHJldHVybiB0eXBlO1xuICAgIH0sIG51bGwpO1xuXG4gICAgcmV0dXJuIHR5cGU7XG4gIH1cblxuICBlcXVhdGVUZXJtKHRlcm0pIHtcbiAgICBjb25zdCB0ZXJtQSA9IHRlcm0sIC8vL1xuICAgICAgICAgIHRlcm1FcXVhdGVzID0gdGhpcy5zb21lVGVybSgodGVybSkgPT4ge1xuICAgICAgICAgICAgY29uc3QgdGVybUIgPSB0ZXJtLCAvLy9cbiAgICAgICAgICAgICAgICAgIHRlcm1BRXF1YWxUb1Rlcm1CID0gdGVybUEuaXNFcXVhbFRvKHRlcm1CKTtcblxuICAgICAgICAgICAgaWYgKHRlcm1BRXF1YWxUb1Rlcm1CKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pO1xuXG4gICAgcmV0dXJuIHRlcm1FcXVhdGVzO1xuICB9XG5cbiAgbWF0Y2hUZXJtTm9kZSh0ZXJtTm9kZSkge1xuICAgIHRlcm1Ob2RlID0gc3RyaXBCcmFja2V0c0Zyb21UZXJtTm9kZSh0ZXJtTm9kZSk7IC8vL1xuXG4gICAgY29uc3QgdGVybU5vZGVNYXRjaGVzID0gdGhpcy5zb21lVGVybSgodGVybSkgPT4ge1xuICAgICAgY29uc3QgdGVybU5vZGVNYXRjaGVzID0gdGVybS5tYXRjaFRlcm1Ob2RlKHRlcm1Ob2RlKTtcblxuICAgICAgaWYgKHRlcm1Ob2RlTWF0Y2hlcykge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0ZXJtTm9kZU1hdGNoZXM7XG4gIH1cblxuICBtYXRjaFRlcm1Ob2Rlcyh0ZXJtTm9kZXMpIHtcbiAgICBjb25zdCB0ZXJtTm9kZXNNYXRjaCA9IHRlcm1Ob2Rlcy5ldmVyeSgodGVybU5vZGUpID0+IHtcbiAgICAgIGNvbnN0IHRlcm1Ob2RlTWF0Y2hlcyA9IHRoaXMubWF0Y2hUZXJtTm9kZSh0ZXJtTm9kZSk7XG5cbiAgICAgIGlmICh0ZXJtTm9kZU1hdGNoZXMpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGVzTWF0Y2g7XG4gIH1cblxuICBtYXRjaFZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUpIHtcbiAgICBjb25zdCB2YXJpYWJsZU5vZGVBID0gdmFyaWFibGVOb2RlLCAvLy9cbiAgICAgICAgICB2YXJpYWJsZU5vZGVNYXRjaGVzID0gdGhpcy5zb21lVGVybSgodGVybSkgPT4ge1xuICAgICAgICAgICAgY29uc3QgdGVybU5vZGUgPSB0ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgICAgICAgIHNpbmd1bGFyVmFyaWFibGVOb2RlID0gdGVybU5vZGUuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKTtcblxuICAgICAgICAgICAgaWYgKHNpbmd1bGFyVmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgICAgICAgICAgIGNvbnN0IHZhcmlhYmxlTm9kZUIgPSBzaW5ndWxhclZhcmlhYmxlTm9kZSwgLy8vXG4gICAgICAgICAgICAgICAgICAgIHZhcmlhYmxlTm9kZUFNYXRjaGVzVmFyaWFibGVOb2RlQiA9IHZhcmlhYmxlTm9kZUEubWF0Y2godmFyaWFibGVOb2RlQik7XG5cbiAgICAgICAgICAgICAgaWYgKHZhcmlhYmxlTm9kZUFNYXRjaGVzVmFyaWFibGVOb2RlQikge1xuICAgICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgICB9XG4gICAgICAgICAgICB9XG4gICAgICAgICAgfSk7XG5cbiAgICByZXR1cm4gdmFyaWFibGVOb2RlTWF0Y2hlcztcbiAgfVxuXG4gIGlzRGlzam9pbnRGcm9tKGVxdWl2YWxlbmNlKSB7XG4gICAgY29uc3QgZGlzam9pbnRGcm9tID0gZXF1aXZhbGVuY2UuZXZlcnlUZXJtKCh0ZXJtKSA9PiB7XG4gICAgICBjb25zdCB0ZXJtRXF1YXRlcyA9IHRoaXMuZXF1YXRlVGVybSh0ZXJtKTtcblxuICAgICAgaWYgKCF0ZXJtRXF1YXRlcykge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBkaXNqb2ludEZyb207XG4gIH1cblxuICBtZXJnZWRXaXRoKGVxdWl2YWxlbmNlKSB7XG4gICAgY29uc3QgZXF1aXZhbGVuY2VBID0gdGhpcyxcbiAgICAgICAgICBlcXVpdmFsZW5jZUIgPSBlcXVpdmFsZW5jZSwgLy8vXG4gICAgICAgICAgZXF1aXZhbGVuY2VBVGVybXMgPSBlcXVpdmFsZW5jZUEuZ2V0VGVybXMoKSxcbiAgICAgICAgICBlcXVpdmFsZW5jZVRlcm1zQiA9IGVxdWl2YWxlbmNlQi5nZXRUZXJtcygpLFxuICAgICAgICAgIHRlcm1zID0gW1xuICAgICAgICAgICAgLi4uZXF1aXZhbGVuY2VBVGVybXMsXG4gICAgICAgICAgICAuLi5lcXVpdmFsZW5jZVRlcm1zQlxuICAgICAgICAgIF07XG5cbiAgICBjb21wcmVzcyh0ZXJtcywgKHRlcm1BLCB0ZXJtQikgPT4ge1xuICAgICAgY29uc3QgdGVybUFFcXVhbFRvVGVybUIgPSB0ZXJtQS5pc0VxdWFsVG8odGVybUIpO1xuXG4gICAgICBpZiAodGVybUFFcXVhbFRvVGVybUIpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICBlcXVpdmFsZW5jZSA9IG5ldyBFcXVpdmFsZW5jZSh0ZXJtcyk7XG5cbiAgICByZXR1cm4gZXF1aXZhbGVuY2U7XG4gIH1cblxuICBzb21lVGVybShjYWxsYmFjaykgeyByZXR1cm4gdGhpcy50ZXJtcy5zb21lKGNhbGxiYWNrKTsgfVxuXG4gIGV2ZXJ5VGVybShjYWxsYmFjaykgeyByZXR1cm4gdGhpcy50ZXJtcy5ldmVyeShjYWxsYmFjayk7IH1cblxuICBzb21lT3RoZXJUZXJtKHRlcm0sIGNhbGxiYWNrKSB7XG4gICAgY29uc3QgdGVybUEgPSB0ZXJtLCAvLy9cbiAgICAgICAgICB0ZXJtcyA9IHRoaXMudGVybXMuZmlsdGVyKCh0ZXJtKSA9PiB7XG4gICAgICAgICAgICBjb25zdCB0ZXJtQiA9IHRlcm0sIC8vL1xuICAgICAgICAgICAgICAgICAgdGVybUFFcXVhbFRvVGVybUIgPSB0ZXJtQS5pc0VxdWFsVG8odGVybUIpO1xuXG4gICAgICAgICAgICBpZiAoIXRlcm1BRXF1YWxUb1Rlcm1CKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pLFxuICAgICAgICAgIHJlc3VsdCA9IHRlcm1zLnNvbWUoY2FsbGJhY2spO1xuXG4gICAgcmV0dXJuIHJlc3VsdDtcbiAgfVxuXG4gIGdldEdyb3VuZGVkVGVybXMoZGVmaW5lZFZhcmlhYmxlcywgZ3JvdW5kZWRUZXJtcywgY29udGV4dCkge1xuICAgIHRoaXMudGVybXMuZm9yRWFjaCgodGVybSkgPT4ge1xuICAgICAgY29uc3QgdGVybUdyb3VuZGVkID0gdGVybS5pc0dyb3VuZGVkKGRlZmluZWRWYXJpYWJsZXMsIGNvbnRleHQpO1xuXG4gICAgICBpZiAodGVybUdyb3VuZGVkKSB7XG4gICAgICAgIGNvbnN0IHRlcm1NYXRjaGVzR3JvdW5kZWRUZXJtID0gZ3JvdW5kZWRUZXJtcy5zb21lKChncm91bmRlZFRlcm0pID0+IHtcbiAgICAgICAgICBjb25zdCBncm91bmRlZFRlcm1Ob2RlID0gZ3JvdW5kZWRUZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgICAgICBncm91bmRlZFRlcm1Ob2RlTWF0Y2hlcyA9IHRlcm0ubWF0Y2hUZXJtTm9kZShncm91bmRlZFRlcm1Ob2RlKTtcblxuICAgICAgICAgIGlmIChncm91bmRlZFRlcm1Ob2RlTWF0Y2hlcykge1xuICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgfVxuICAgICAgICB9KVxuXG4gICAgICAgIGlmICghdGVybU1hdGNoZXNHcm91bmRlZFRlcm0pIHtcbiAgICAgICAgICBjb25zdCBncm91bmRlZFRlcm0gPSB0ZXJtO1xuXG4gICAgICAgICAgZ3JvdW5kZWRUZXJtcy5wdXNoKGdyb3VuZGVkVGVybSk7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9KTtcbiAgfVxuXG4gIGlzSW5pdGlhbGx5R3JvdW5kZWQoY29udGV4dCkge1xuICAgIGNvbnN0IGluaXRpYWxseUdyb3VuZGVkVGVybXMgPSB0aGlzLmdldEluaXRpYWxseUdyb3VuZGVkVGVybXMoY29udGV4dCksXG4gICAgICAgICAgaW5pdGlhbGx5R3JvdW5kZWRUZXJtc0xlbmd0aCA9IGluaXRpYWxseUdyb3VuZGVkVGVybXMubGVuZ3RoLFxuICAgICAgICAgIGluaXRpYWxseUdyb3VuZGVkID0gKGluaXRpYWxseUdyb3VuZGVkVGVybXNMZW5ndGggPiAwKTtcblxuICAgIHJldHVybiBpbml0aWFsbHlHcm91bmRlZDtcbiAgfVxuXG4gIGlzSW1wbGljaXRseUdyb3VuZGVkKGRlZmluZWRWYXJpYWJsZXMsIGNvbnRleHQpIHtcbiAgICBjb25zdCBpbXBsaWNpdGx5R3JvdW5kZWRUZXJtcyA9IHRoaXMuZ2V0SW1wbGljaXRseUdyb3VuZGVkVGVybXMoZGVmaW5lZFZhcmlhYmxlcywgY29udGV4dCksXG4gICAgICAgICAgaW1wbGljaXRseUdyb3VuZGVkVGVybXNMZW5ndGggPSBpbXBsaWNpdGx5R3JvdW5kZWRUZXJtcy5sZW5ndGgsXG4gICAgICAgICAgaW1wbGljaXRseUdyb3VuZGVkID0gKGltcGxpY2l0bHlHcm91bmRlZFRlcm1zTGVuZ3RoID4gMCk7XG5cbiAgICByZXR1cm4gaW1wbGljaXRseUdyb3VuZGVkO1xuICB9XG5cbiAgZ2V0SW5pdGlhbGx5R3JvdW5kZWRUZXJtcyhjb250ZXh0KSB7XG4gICAgY29uc3QgaW5pdGlhbGx5R3JvdW5kZWRUZXJtcyA9IHRoaXMudGVybXMucmVkdWNlKChpbml0aWFsbHlHcm91bmRlZFRlcm1zLCB0ZXJtKSA9PiB7XG4gICAgICBjb25zdCB0ZXJtSW5pdGlhbGx5R3JvdW5kZWQgPSB0ZXJtLmlzSW5pdGlhbGx5R3JvdW5kZWQoY29udGV4dCk7XG5cbiAgICAgIGlmICh0ZXJtSW5pdGlhbGx5R3JvdW5kZWQpIHtcbiAgICAgICAgY29uc3QgaW5pdGlhbGx5R3JvdW5kZWRUZXJtID0gdGVybTsgLy8vXG5cbiAgICAgICAgaW5pdGlhbGx5R3JvdW5kZWRUZXJtcy5wdXNoKGluaXRpYWxseUdyb3VuZGVkVGVybSk7XG4gICAgICB9XG5cbiAgICAgIHJldHVybiBpbml0aWFsbHlHcm91bmRlZFRlcm1zO1xuICAgIH0sIFtdKTtcblxuICAgIHJldHVybiBpbml0aWFsbHlHcm91bmRlZFRlcm1zO1xuICB9XG5cbiAgZ2V0SW1wbGljaXRseUdyb3VuZGVkVGVybXMoZGVmaW5lZFZhcmlhYmxlcywgY29udGV4dCkge1xuICAgIGNvbnN0IGltcGxpY2l0bHlHcm91bmRlZFRlcm1zID0gdGhpcy50ZXJtcy5yZWR1Y2UoKGltcGxpY2l0bHlHcm91bmRlZFRlcm1zLCB0ZXJtKSA9PiB7XG4gICAgICBjb25zdCB0ZXJtSW1wbGljaXRseUdyb3VuZGVkID0gdGVybS5pc0ltcGxpY2l0bHlHcm91bmRlZChkZWZpbmVkVmFyaWFibGVzLCBjb250ZXh0KTtcblxuICAgICAgaWYgKHRlcm1JbXBsaWNpdGx5R3JvdW5kZWQpIHtcbiAgICAgICAgY29uc3QgaW1wbGljaXRseUdyb3VuZGVkVGVybSA9IHRlcm07IC8vL1xuXG4gICAgICAgIGltcGxpY2l0bHlHcm91bmRlZFRlcm1zLnB1c2goaW1wbGljaXRseUdyb3VuZGVkVGVybSk7XG4gICAgICB9XG5cbiAgICAgIHJldHVybiBpbXBsaWNpdGx5R3JvdW5kZWRUZXJtcztcbiAgICB9LCBbXSk7XG5cbiAgICByZXR1cm4gaW1wbGljaXRseUdyb3VuZGVkVGVybXM7XG4gIH1cblxuICBhc1N0cmluZygpIHtcbiAgICBjb25zdCB0eXBlID0gdGhpcy5nZXRUeXBlKCksXG4gICAgICAgICAgdHlwZVN0cmluZyA9IHR5cGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgdGVybXNTdHJpbmcgPSB0aGlzLnRlcm1zLnJlZHVjZSgodGVybXNTdHJpbmcsIHRlcm0pID0+IHtcbiAgICAgICAgICAgIGNvbnN0IHRlcm1TdHJpbmcgPSB0ZXJtLmdldFN0cmluZygpO1xuXG4gICAgICAgICAgICB0ZXJtc1N0cmluZyA9ICh0ZXJtc1N0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRlcm1TdHJpbmcgOlxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHt0ZXJtc1N0cmluZ30gPSAke3Rlcm1TdHJpbmd9YDtcblxuICAgICAgICAgICAgcmV0dXJuIHRlcm1zU3RyaW5nO1xuICAgICAgICAgIH0sIG51bGwpLFxuICAgICAgICAgIHN0cmluZyA9IGAke3Rlcm1zU3RyaW5nfToke3R5cGVTdHJpbmd9YDtcblxuICAgIHJldHVybiBzdHJpbmc7XG4gIH1cblxuICBzdGF0aWMgZnJvbUVxdWFsaXR5KGVxdWFsaXR5KSB7XG4gICAgY29uc3QgdGVybXMgPSBlcXVhbGl0eS5nZXRUZXJtcygpLFxuICAgICAgICAgIGVxdWl2YWxlbmNlID0gbmV3IEVxdWl2YWxlbmNlKHRlcm1zKTtcblxuICAgIHJldHVybiBlcXVpdmFsZW5jZTtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkVxdWl2YWxlbmNlIiwiY29tcHJlc3MiLCJhcnJheVV0aWxpdGllcyIsInRlcm1zIiwiZ2V0VGVybXMiLCJhZGRUZXJtIiwidGVybSIsImNvbnRleHQiLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwiZXF1aXZhbGVuY2VTdHJpbmciLCJhc1N0cmluZyIsInRyYWNlIiwidGVybUEiLCJ0ZXJtUHJlc2VudCIsInNvbWVUZXJtIiwidGVybUIiLCJ0ZXJtQUVxdWFsVG9UZXJtQiIsImlzRXF1YWxUbyIsInB1c2giLCJkZWJ1ZyIsImdldFR5cGUiLCJ0eXBlIiwicmVkdWNlIiwidGVybVR5cGUiLCJ0ZXJtVHlwZVN1YlR5cGVPZlR5cGUiLCJpc1N1YlR5cGVPZiIsImVxdWF0ZVRlcm0iLCJ0ZXJtRXF1YXRlcyIsIm1hdGNoVGVybU5vZGUiLCJ0ZXJtTm9kZSIsInN0cmlwQnJhY2tldHNGcm9tVGVybU5vZGUiLCJ0ZXJtTm9kZU1hdGNoZXMiLCJtYXRjaFRlcm1Ob2RlcyIsInRlcm1Ob2RlcyIsInRlcm1Ob2Rlc01hdGNoIiwiZXZlcnkiLCJtYXRjaFZhcmlhYmxlTm9kZSIsInZhcmlhYmxlTm9kZSIsInZhcmlhYmxlTm9kZUEiLCJ2YXJpYWJsZU5vZGVNYXRjaGVzIiwiZ2V0Tm9kZSIsInNpbmd1bGFyVmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZU5vZGVCIiwidmFyaWFibGVOb2RlQU1hdGNoZXNWYXJpYWJsZU5vZGVCIiwibWF0Y2giLCJpc0Rpc2pvaW50RnJvbSIsImVxdWl2YWxlbmNlIiwiZGlzam9pbnRGcm9tIiwiZXZlcnlUZXJtIiwibWVyZ2VkV2l0aCIsImVxdWl2YWxlbmNlQSIsImVxdWl2YWxlbmNlQiIsImVxdWl2YWxlbmNlQVRlcm1zIiwiZXF1aXZhbGVuY2VUZXJtc0IiLCJjYWxsYmFjayIsInNvbWUiLCJzb21lT3RoZXJUZXJtIiwiZmlsdGVyIiwicmVzdWx0IiwiZ2V0R3JvdW5kZWRUZXJtcyIsImRlZmluZWRWYXJpYWJsZXMiLCJncm91bmRlZFRlcm1zIiwiZm9yRWFjaCIsInRlcm1Hcm91bmRlZCIsImlzR3JvdW5kZWQiLCJ0ZXJtTWF0Y2hlc0dyb3VuZGVkVGVybSIsImdyb3VuZGVkVGVybSIsImdyb3VuZGVkVGVybU5vZGUiLCJncm91bmRlZFRlcm1Ob2RlTWF0Y2hlcyIsImlzSW5pdGlhbGx5R3JvdW5kZWQiLCJpbml0aWFsbHlHcm91bmRlZFRlcm1zIiwiZ2V0SW5pdGlhbGx5R3JvdW5kZWRUZXJtcyIsImluaXRpYWxseUdyb3VuZGVkVGVybXNMZW5ndGgiLCJsZW5ndGgiLCJpbml0aWFsbHlHcm91bmRlZCIsImlzSW1wbGljaXRseUdyb3VuZGVkIiwiaW1wbGljaXRseUdyb3VuZGVkVGVybXMiLCJnZXRJbXBsaWNpdGx5R3JvdW5kZWRUZXJtcyIsImltcGxpY2l0bHlHcm91bmRlZFRlcm1zTGVuZ3RoIiwiaW1wbGljaXRseUdyb3VuZGVkIiwidGVybUluaXRpYWxseUdyb3VuZGVkIiwiaW5pdGlhbGx5R3JvdW5kZWRUZXJtIiwidGVybUltcGxpY2l0bHlHcm91bmRlZCIsImltcGxpY2l0bHlHcm91bmRlZFRlcm0iLCJ0eXBlU3RyaW5nIiwidGVybXNTdHJpbmciLCJzdHJpbmciLCJmcm9tRXF1YWxpdHkiLCJlcXVhbGl0eSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFRcUJBOzs7eUJBTlU7d0JBRVc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQyxJQUFNLEFBQUVDLFdBQWFDLHlCQUFjLENBQTNCRDtBQUVPLElBQUEsQUFBTUQsNEJBQU47YUFBTUEsWUFDUEcsS0FBSztnQ0FERUg7UUFFakIsSUFBSSxDQUFDRyxLQUFLLEdBQUdBOztrQkFGSUg7O1lBS25CSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNELEtBQUs7WUFDbkI7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUEsUUFBUUMsSUFBSSxFQUFFQyxPQUFPO2dCQUNuQixJQUFNQyxhQUFhRixLQUFLRyxTQUFTLElBQzNCQyxvQkFBb0IsSUFBSSxDQUFDQyxRQUFRLElBQUksR0FBRztnQkFFOUNKLFFBQVFLLEtBQUssQ0FBQyxBQUFDLGVBQTBDRixPQUE1QkYsWUFBVyxtQkFBbUMsT0FBbEJFLG1CQUFrQjtnQkFFM0UsSUFBTUcsUUFBUVAsTUFDUlEsY0FBYyxJQUFJLENBQUNDLFFBQVEsQ0FBQyxTQUFDVDtvQkFDM0IsSUFBTVUsUUFBUVYsTUFDUlcsb0JBQW9CSixNQUFNSyxTQUFTLENBQUNGO29CQUUxQyxJQUFJQyxtQkFBbUI7d0JBQ3JCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRU4sSUFBSSxDQUFDSCxhQUFhO29CQUNoQixJQUFJLENBQUNYLEtBQUssQ0FBQ2dCLElBQUksQ0FBQ2I7b0JBRWhCQyxRQUFRYSxLQUFLLENBQUMsQUFBQyxpQkFBNENWLE9BQTVCRixZQUFXLG1CQUFtQyxPQUFsQkUsbUJBQWtCO2dCQUMvRTtZQUNGOzs7WUFFQVcsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLE9BQU8sSUFBSSxDQUFDbkIsS0FBSyxDQUFDb0IsTUFBTSxDQUFDLFNBQUNELE1BQU1oQjtvQkFDcEMsSUFBTWtCLFdBQVdsQixLQUFLZSxPQUFPO29CQUU3QixJQUFJQyxTQUFTLE1BQU07d0JBQ2pCQSxPQUFPRSxVQUFXLEdBQUc7b0JBQ3ZCLE9BQU87d0JBQ0wsSUFBTUMsd0JBQXdCRCxTQUFTRSxXQUFXLENBQUNKO3dCQUVuRCxJQUFJRyx1QkFBdUI7NEJBQ3pCSCxPQUFPRSxVQUFXLEdBQUc7d0JBQ3ZCO29CQUNGO29CQUVBLE9BQU9GO2dCQUNULEdBQUc7Z0JBRUgsT0FBT0E7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQSxXQUFXckIsSUFBSTtnQkFDYixJQUFNTyxRQUFRUCxNQUNSc0IsY0FBYyxJQUFJLENBQUNiLFFBQVEsQ0FBQyxTQUFDVDtvQkFDM0IsSUFBTVUsUUFBUVYsTUFDUlcsb0JBQW9CSixNQUFNSyxTQUFTLENBQUNGO29CQUUxQyxJQUFJQyxtQkFBbUI7d0JBQ3JCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRU4sT0FBT1c7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQSxjQUFjQyxRQUFRO2dCQUNwQkEsV0FBV0MsSUFBQUEsbUNBQXlCLEVBQUNELFdBQVcsR0FBRztnQkFFbkQsSUFBTUUsa0JBQWtCLElBQUksQ0FBQ2pCLFFBQVEsQ0FBQyxTQUFDVDtvQkFDckMsSUFBTTBCLGtCQUFrQjFCLEtBQUt1QixhQUFhLENBQUNDO29CQUUzQyxJQUFJRSxpQkFBaUI7d0JBQ25CLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0E7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlQyxTQUFTOztnQkFDdEIsSUFBTUMsaUJBQWlCRCxVQUFVRSxLQUFLLENBQUMsU0FBQ047b0JBQ3RDLElBQU1FLGtCQUFrQixNQUFLSCxhQUFhLENBQUNDO29CQUUzQyxJQUFJRSxpQkFBaUI7d0JBQ25CLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0c7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQSxrQkFBa0JDLFlBQVk7Z0JBQzVCLElBQU1DLGdCQUFnQkQsY0FDaEJFLHNCQUFzQixJQUFJLENBQUN6QixRQUFRLENBQUMsU0FBQ1Q7b0JBQ25DLElBQU13QixXQUFXeEIsS0FBS21DLE9BQU8sSUFDdkJDLHVCQUF1QlosU0FBU2EsdUJBQXVCO29CQUU3RCxJQUFJRCx5QkFBeUIsTUFBTTt3QkFDakMsSUFBTUUsZ0JBQWdCRixzQkFDaEJHLG9DQUFvQ04sY0FBY08sS0FBSyxDQUFDRjt3QkFFOUQsSUFBSUMsbUNBQW1DOzRCQUNyQyxPQUFPO3dCQUNUO29CQUNGO2dCQUNGO2dCQUVOLE9BQU9MO1lBQ1Q7OztZQUVBTyxLQUFBQTttQkFBQUEsU0FBQUEsZUFBZUMsV0FBVzs7Z0JBQ3hCLElBQU1DLGVBQWVELFlBQVlFLFNBQVMsQ0FBQyxTQUFDNUM7b0JBQzFDLElBQU1zQixjQUFjLE1BQUtELFVBQVUsQ0FBQ3JCO29CQUVwQyxJQUFJLENBQUNzQixhQUFhO3dCQUNoQixPQUFPO29CQUNUO2dCQUNGO2dCQUVBLE9BQU9xQjtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVdILFdBQVc7Z0JBQ3BCLElBQU1JLGVBQWUsSUFBSSxFQUNuQkMsZUFBZUwsYUFDZk0sb0JBQW9CRixhQUFhaEQsUUFBUSxJQUN6Q21ELG9CQUFvQkYsYUFBYWpELFFBQVEsSUFDekNELFFBQVEsQUFDTixxQkFBR21ELDBCQUNILHFCQUFHQztnQkFHWHRELFNBQVNFLE9BQU8sU0FBQ1UsT0FBT0c7b0JBQ3RCLElBQU1DLG9CQUFvQkosTUFBTUssU0FBUyxDQUFDRjtvQkFFMUMsSUFBSUMsbUJBQW1CO3dCQUNyQixPQUFPO29CQUNUO2dCQUNGO2dCQUVBK0IsY0FBYyxJQTdJR2hELFlBNklhRztnQkFFOUIsT0FBTzZDO1lBQ1Q7OztZQUVBakMsS0FBQUE7bUJBQUFBLFNBQUFBLFNBQVN5QyxRQUFRO2dCQUFJLE9BQU8sSUFBSSxDQUFDckQsS0FBSyxDQUFDc0QsSUFBSSxDQUFDRDtZQUFXOzs7WUFFdkROLEtBQUFBO21CQUFBQSxTQUFBQSxVQUFVTSxRQUFRO2dCQUFJLE9BQU8sSUFBSSxDQUFDckQsS0FBSyxDQUFDaUMsS0FBSyxDQUFDb0I7WUFBVzs7O1lBRXpERSxLQUFBQTttQkFBQUEsU0FBQUEsY0FBY3BELElBQUksRUFBRWtELFFBQVE7Z0JBQzFCLElBQU0zQyxRQUFRUCxNQUNSSCxRQUFRLElBQUksQ0FBQ0EsS0FBSyxDQUFDd0QsTUFBTSxDQUFDLFNBQUNyRDtvQkFDekIsSUFBTVUsUUFBUVYsTUFDUlcsb0JBQW9CSixNQUFNSyxTQUFTLENBQUNGO29CQUUxQyxJQUFJLENBQUNDLG1CQUFtQjt3QkFDdEIsT0FBTztvQkFDVDtnQkFDRixJQUNBMkMsU0FBU3pELE1BQU1zRCxJQUFJLENBQUNEO2dCQUUxQixPQUFPSTtZQUNUOzs7WUFFQUMsS0FBQUE7bUJBQUFBLFNBQUFBLGlCQUFpQkMsZ0JBQWdCLEVBQUVDLGFBQWEsRUFBRXhELE9BQU87Z0JBQ3ZELElBQUksQ0FBQ0osS0FBSyxDQUFDNkQsT0FBTyxDQUFDLFNBQUMxRDtvQkFDbEIsSUFBTTJELGVBQWUzRCxLQUFLNEQsVUFBVSxDQUFDSixrQkFBa0J2RDtvQkFFdkQsSUFBSTBELGNBQWM7d0JBQ2hCLElBQU1FLDBCQUEwQkosY0FBY04sSUFBSSxDQUFDLFNBQUNXOzRCQUNsRCxJQUFNQyxtQkFBbUJELGFBQWEzQixPQUFPLElBQ3ZDNkIsMEJBQTBCaEUsS0FBS3VCLGFBQWEsQ0FBQ3dDOzRCQUVuRCxJQUFJQyx5QkFBeUI7Z0NBQzNCLE9BQU87NEJBQ1Q7d0JBQ0Y7d0JBRUEsSUFBSSxDQUFDSCx5QkFBeUI7NEJBQzVCLElBQU1DLGVBQWU5RDs0QkFFckJ5RCxjQUFjNUMsSUFBSSxDQUFDaUQ7d0JBQ3JCO29CQUNGO2dCQUNGO1lBQ0Y7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUEsb0JBQW9CaEUsT0FBTztnQkFDekIsSUFBTWlFLHlCQUF5QixJQUFJLENBQUNDLHlCQUF5QixDQUFDbEUsVUFDeERtRSwrQkFBK0JGLHVCQUF1QkcsTUFBTSxFQUM1REMsb0JBQXFCRiwrQkFBK0I7Z0JBRTFELE9BQU9FO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUEscUJBQXFCZixnQkFBZ0IsRUFBRXZELE9BQU87Z0JBQzVDLElBQU11RSwwQkFBMEIsSUFBSSxDQUFDQywwQkFBMEIsQ0FBQ2pCLGtCQUFrQnZELFVBQzVFeUUsZ0NBQWdDRix3QkFBd0JILE1BQU0sRUFDOURNLHFCQUFzQkQsZ0NBQWdDO2dCQUU1RCxPQUFPQztZQUNUOzs7WUFFQVIsS0FBQUE7bUJBQUFBLFNBQUFBLDBCQUEwQmxFLE9BQU87Z0JBQy9CLElBQU1pRSx5QkFBeUIsSUFBSSxDQUFDckUsS0FBSyxDQUFDb0IsTUFBTSxDQUFDLFNBQUNpRCx3QkFBd0JsRTtvQkFDeEUsSUFBTTRFLHdCQUF3QjVFLEtBQUtpRSxtQkFBbUIsQ0FBQ2hFO29CQUV2RCxJQUFJMkUsdUJBQXVCO3dCQUN6QixJQUFNQyx3QkFBd0I3RSxNQUFNLEdBQUc7d0JBRXZDa0UsdUJBQXVCckQsSUFBSSxDQUFDZ0U7b0JBQzlCO29CQUVBLE9BQU9YO2dCQUNULEdBQUcsRUFBRTtnQkFFTCxPQUFPQTtZQUNUOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBLDJCQUEyQmpCLGdCQUFnQixFQUFFdkQsT0FBTztnQkFDbEQsSUFBTXVFLDBCQUEwQixJQUFJLENBQUMzRSxLQUFLLENBQUNvQixNQUFNLENBQUMsU0FBQ3VELHlCQUF5QnhFO29CQUMxRSxJQUFNOEUseUJBQXlCOUUsS0FBS3VFLG9CQUFvQixDQUFDZixrQkFBa0J2RDtvQkFFM0UsSUFBSTZFLHdCQUF3Qjt3QkFDMUIsSUFBTUMseUJBQXlCL0UsTUFBTSxHQUFHO3dCQUV4Q3dFLHdCQUF3QjNELElBQUksQ0FBQ2tFO29CQUMvQjtvQkFFQSxPQUFPUDtnQkFDVCxHQUFHLEVBQUU7Z0JBRUwsT0FBT0E7WUFDVDs7O1lBRUFuRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVcsT0FBTyxJQUFJLENBQUNELE9BQU8sSUFDbkJpRSxhQUFhaEUsS0FBS2IsU0FBUyxJQUMzQjhFLGNBQWMsSUFBSSxDQUFDcEYsS0FBSyxDQUFDb0IsTUFBTSxDQUFDLFNBQUNnRSxhQUFhakY7b0JBQzVDLElBQU1FLGFBQWFGLEtBQUtHLFNBQVM7b0JBRWpDOEUsY0FBYyxBQUFDQSxnQkFBZ0IsT0FDZi9FLGFBQ0MsQUFBQyxHQUFtQkEsT0FBakIrRSxhQUFZLE9BQWdCLE9BQVgvRTtvQkFFckMsT0FBTytFO2dCQUNULEdBQUcsT0FDSEMsU0FBUyxBQUFDLEdBQWlCRixPQUFmQyxhQUFZLEtBQWMsT0FBWEQ7Z0JBRWpDLE9BQU9FO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsYUFBYUMsUUFBUTtnQkFDMUIsSUFBTXZGLFFBQVF1RixTQUFTdEYsUUFBUSxJQUN6QjRDLGNBQWMsSUEvUEhoRCxZQStQbUJHO2dCQUVwQyxPQUFPNkM7WUFDVDs7O1dBbFFtQmhEIn0=