occam-verify-cli 1.0.437 → 1.0.444

package/lib/node/term.js

@@ -95,25 +95,6 @@ var TermNode = /*#__PURE__*/ function(NonTerminalNode) {
         return _call_super(this, TermNode, arguments);
     }
     _create_class(TermNode, [
-        {
-            key: "getVariableIdentifier",
-            value: function getVariableIdentifier() {
-                var variableIdentifier = null;
-                var singular = this.isSingular();
-                if (singular) {
-                    var singularVariableNode = this.getSingularVariableNode();
-                    variableIdentifier = singularVariableNode.getVariableIdentifier();
-                }
-                return variableIdentifier;
-            }
-        },
-        {
-            key: "getVariableNode",
-            value: function getVariableNode() {
-                var singularVariableNode = this.getSingularVariableNode(), variableNode = singularVariableNode; //
-                return variableNode;
-            }
-        },
         {
             key: "isSingular",
             value: function isSingular() {
@@ -126,10 +107,10 @@ var TermNode = /*#__PURE__*/ function(NonTerminalNode) {
             }
         },
         {
-            key: "getVariableNodes",
-            value: function getVariableNodes() {
-                var ruleName = _ruleNames.VARIABLE_RULE_NAME, variableNodes = this.getNodesByRuleName(ruleName);
-                return variableNodes;
+            key: "getVariableNode",
+            value: function getVariableNode() {
+                var singularVariableNode = this.getSingularVariableNode(), variableNode = singularVariableNode; //
+                return variableNode;
             }
         },
         {
@@ -144,17 +125,15 @@ var TermNode = /*#__PURE__*/ function(NonTerminalNode) {
             }
         },
         {
-            key: "getSingularArgumentNode",
-            value: function getSingularArgumentNode() {
-                var ruleName = _ruleNames.ARGUMENT_RULE_NAME, singularArgumentNode = this.getSingularNodeByRuleName(ruleName);
-                return singularArgumentNode;
-            }
-        },
-        {
-            key: "getSingularVariableNode",
-            value: function getSingularVariableNode() {
-                var ruleName = _ruleNames.VARIABLE_RULE_NAME, singularVariableNode = this.getSingularNodeByRuleName(ruleName);
-                return singularVariableNode;
+            key: "getVariableIdentifier",
+            value: function getVariableIdentifier() {
+                var variableIdentifier = null;
+                var singular = this.isSingular();
+                if (singular) {
+                    var singularVariableNode = this.getSingularVariableNode();
+                    variableIdentifier = singularVariableNode.getVariableIdentifier();
+                }
+                return variableIdentifier;
             }
         },
         {
@@ -168,6 +147,27 @@ var TermNode = /*#__PURE__*/ function(NonTerminalNode) {
                 }
                 return singularVariableIdentifier;
             }
+        },
+        {
+            key: "getVariableNodes",
+            value: function getVariableNodes() {
+                var ruleName = _ruleNames.VARIABLE_RULE_NAME, variableNodes = this.getNodesByRuleName(ruleName);
+                return variableNodes;
+            }
+        },
+        {
+            key: "getSingularArgumentNode",
+            value: function getSingularArgumentNode() {
+                var ruleName = _ruleNames.ARGUMENT_RULE_NAME, singularArgumentNode = this.getSingularNodeByRuleName(ruleName);
+                return singularArgumentNode;
+            }
+        },
+        {
+            key: "getSingularVariableNode",
+            value: function getSingularVariableNode() {
+                var ruleName = _ruleNames.VARIABLE_RULE_NAME, singularVariableNode = this.getSingularNodeByRuleName(ruleName);
+                return singularVariableNode;
+            }
         }
     ], [
         {
@@ -180,4 +180,4 @@ var TermNode = /*#__PURE__*/ function(NonTerminalNode) {
     return TermNode;
 }(_nonTerminalNode.default);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBBUkdVTUVOVF9SVUxFX05BTUUsIFZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVGVybU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRWYXJpYWJsZUlkZW50aWZpZXIoKSB7XG4gICAgbGV0IHZhcmlhYmxlSWRlbnRpZmllciA9IG51bGw7XG5cbiAgICBjb25zdCBzaW5ndWxhciA9IHRoaXMuaXNTaW5ndWxhcigpO1xuXG4gICAgaWYgKHNpbmd1bGFyKSB7XG4gICAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKTtcblxuICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gc2luZ3VsYXJWYXJpYWJsZU5vZGUuZ2V0VmFyaWFibGVJZGVudGlmaWVyKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZhcmlhYmxlSWRlbnRpZmllcjtcbiAgfVxuXG4gIGdldFZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKSxcbiAgICAgICAgICB2YXJpYWJsZU5vZGUgPSBzaW5ndWxhclZhcmlhYmxlTm9kZTsgIC8vXG5cbiAgICByZXR1cm4gdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgaXNTaW5ndWxhcigpIHtcbiAgICBsZXQgc2luZ3VsYXIgPSBmYWxzZTtcblxuICAgIGNvbnN0IHNpbmd1bGFyVmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhclZhcmlhYmxlTm9kZSgpO1xuXG4gICAgaWYgKHNpbmd1bGFyVmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgICBzaW5ndWxhciA9IHRydWU7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyO1xuICB9XG5cbiAgZ2V0VmFyaWFibGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgICB2YXJpYWJsZU5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZXM7XG4gIH1cblxuICBnZXRTaW5ndWxhclRlcm1Ob2RlKCkge1xuICAgIGxldCBzaW5ndWxhclRlcm1Ob2RlID0gbnVsbDtcblxuICAgIGNvbnN0IHNpbmd1bGFyQXJndW1lbnROb2RlID0gdGhpcy5nZXRTaW5ndWxhckFyZ3VtZW50Tm9kZSgpO1xuXG4gICAgaWYgKHNpbmd1bGFyQXJndW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICBzaW5ndWxhclRlcm1Ob2RlID0gc2luZ3VsYXJBcmd1bWVudE5vZGUuZ2V0U2luZ3VsYXJUZXJtTm9kZSgpO1xuICAgIH1cblxuICAgIHJldHVybiBzaW5ndWxhclRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJBcmd1bWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBBUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJBcmd1bWVudE5vZGUgPSB0aGlzLmdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyQXJndW1lbnROb2RlO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyVmFyaWFibGVOb2RlO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJWYXJpYWJsZUlkZW50aWZpZXIoKSB7XG4gICAgbGV0IHNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyID0gbnVsbDtcblxuICAgIGNvbnN0IHNpbmd1bGFyVmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhclZhcmlhYmxlTm9kZSgpO1xuXG4gICAgaWYgKHNpbmd1bGFyVmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB2YXJpYWJsZUlkZW50aWZpZXIgPSBzaW5ndWxhclZhcmlhYmxlTm9kZS5nZXRWYXJpYWJsZUlkZW50aWZpZXIoKTtcblxuICAgICAgc2luZ3VsYXJWYXJpYWJsZUlkZW50aWZpZXIgPSB2YXJpYWJsZUlkZW50aWZpZXI7ICAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXJWYXJpYWJsZUlkZW50aWZpZXI7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFRlcm1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUZXJtTm9kZSIsImdldFZhcmlhYmxlSWRlbnRpZmllciIsInZhcmlhYmxlSWRlbnRpZmllciIsInNpbmd1bGFyIiwiaXNTaW5ndWxhciIsInNpbmd1bGFyVmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5vZGVzIiwicnVsZU5hbWUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJ2YXJpYWJsZU5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZ2V0U2luZ3VsYXJUZXJtTm9kZSIsInNpbmd1bGFyVGVybU5vZGUiLCJzaW5ndWxhckFyZ3VtZW50Tm9kZSIsImdldFNpbmd1bGFyQXJndW1lbnROb2RlIiwiQVJHVU1FTlRfUlVMRV9OQU1FIiwiZ2V0U2luZ3VsYXJOb2RlQnlSdWxlTmFtZSIsImdldFNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyIiwic2luZ3VsYXJWYXJpYWJsZUlkZW50aWZpZXIiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O3NFQUpPO3lCQUUyQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV4QyxJQUFBLEFBQU1BLHlCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMscUJBQXFCO2dCQUV6QixJQUFNQyxXQUFXLElBQUksQ0FBQ0MsVUFBVTtnQkFFaEMsSUFBSUQsVUFBVTtvQkFDWixJQUFNRSx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7b0JBRXpESixxQkFBcUJHLHFCQUFxQkoscUJBQXFCO2dCQUNqRTtnQkFFQSxPQUFPQztZQUNUOzs7WUFFQUssS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1GLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QixJQUNuREUsZUFBZUgsc0JBQXVCLEVBQUU7Z0JBRTlDLE9BQU9HO1lBQ1Q7OztZQUVBSixLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUQsV0FBVztnQkFFZixJQUFNRSx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7Z0JBRXpELElBQUlELHlCQUF5QixNQUFNO29CQUNqQ0YsV0FBVztnQkFDYjtnQkFFQSxPQUFPQTtZQUNUOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDZCQUFrQixFQUM3QkMsZ0JBQWdCLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO2dCQUU5QyxPQUFPRTtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQUlDLG1CQUFtQjtnQkFFdkIsSUFBTUMsdUJBQXVCLElBQUksQ0FBQ0MsdUJBQXVCO2dCQUV6RCxJQUFJRCx5QkFBeUIsTUFBTTtvQkFDakNELG1CQUFtQkMscUJBQXFCRixtQkFBbUI7Z0JBQzdEO2dCQUVBLE9BQU9DO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTVAsV0FBV1EsNkJBQWtCLEVBQzdCRix1QkFBdUIsSUFBSSxDQUFDRyx5QkFBeUIsQ0FBQ1Q7Z0JBRTVELE9BQU9NO1lBQ1Q7OztZQUVBVixLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUksV0FBV0MsNkJBQWtCLEVBQzdCTix1QkFBdUIsSUFBSSxDQUFDYyx5QkFBeUIsQ0FBQ1Q7Z0JBRTVELE9BQU9MO1lBQ1Q7OztZQUVBZSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMsNkJBQTZCO2dCQUVqQyxJQUFNaEIsdUJBQXVCLElBQUksQ0FBQ0MsdUJBQXVCO2dCQUV6RCxJQUFJRCx5QkFBeUIsTUFBTTtvQkFDakMsSUFBTUgscUJBQXFCRyxxQkFBcUJKLHFCQUFxQjtvQkFFckVvQiw2QkFBNkJuQixvQkFBcUIsR0FBRztnQkFDdkQ7Z0JBRUEsT0FBT21CO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDWixRQUFRLEVBQUVhLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLHdCQUFlLENBQUNKLDBDQUEwQyxDQWpGN0l0QixVQWlGd0pVLFVBQVVhLFlBQVlDLFNBQVNDO1lBQWE7OztXQWpGcE16QjtFQUFpQjBCLHdCQUFlIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBBUkdVTUVOVF9SVUxFX05BTUUsIFZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVGVybU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1Npbmd1bGFyKCkge1xuICAgIGxldCBzaW5ndWxhciA9IGZhbHNlO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJWYXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXI7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgdmFyaWFibGVOb2RlID0gc2luZ3VsYXJWYXJpYWJsZU5vZGU7ICAvL1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVGVybU5vZGUoKSB7XG4gICAgbGV0IHNpbmd1bGFyVGVybU5vZGUgPSBudWxsO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJBcmd1bWVudE5vZGUgPSB0aGlzLmdldFNpbmd1bGFyQXJndW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJBcmd1bWVudE5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyVGVybU5vZGUgPSBzaW5ndWxhckFyZ3VtZW50Tm9kZS5nZXRTaW5ndWxhclRlcm1Ob2RlKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyVGVybU5vZGU7XG4gIH1cblxuICBnZXRWYXJpYWJsZUlkZW50aWZpZXIoKSB7XG4gICAgbGV0IHZhcmlhYmxlSWRlbnRpZmllciA9IG51bGw7XG5cbiAgICBjb25zdCBzaW5ndWxhciA9IHRoaXMuaXNTaW5ndWxhcigpO1xuXG4gICAgaWYgKHNpbmd1bGFyKSB7XG4gICAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKTtcblxuICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gc2luZ3VsYXJWYXJpYWJsZU5vZGUuZ2V0VmFyaWFibGVJZGVudGlmaWVyKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZhcmlhYmxlSWRlbnRpZmllcjtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyKCkge1xuICAgIGxldCBzaW5ndWxhclZhcmlhYmxlSWRlbnRpZmllciA9IG51bGw7XG5cbiAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKTtcblxuICAgIGlmIChzaW5ndWxhclZhcmlhYmxlTm9kZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgdmFyaWFibGVJZGVudGlmaWVyID0gc2luZ3VsYXJWYXJpYWJsZU5vZGUuZ2V0VmFyaWFibGVJZGVudGlmaWVyKCk7XG5cbiAgICAgIHNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyID0gdmFyaWFibGVJZGVudGlmaWVyOyAgLy8vXG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyO1xuICB9XG5cbiAgZ2V0VmFyaWFibGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgICB2YXJpYWJsZU5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZXM7XG4gIH1cblxuICBnZXRTaW5ndWxhckFyZ3VtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEFSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaW5ndWxhckFyZ3VtZW50Tm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJOb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2luZ3VsYXJBcmd1bWVudE5vZGU7XG4gIH1cblxuICBnZXRTaW5ndWxhclZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJOb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2luZ3VsYXJWYXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFRlcm1Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJUZXJtTm9kZSIsImlzU2luZ3VsYXIiLCJzaW5ndWxhciIsInNpbmd1bGFyVmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhclRlcm1Ob2RlIiwic2luZ3VsYXJUZXJtTm9kZSIsInNpbmd1bGFyQXJndW1lbnROb2RlIiwiZ2V0U2luZ3VsYXJBcmd1bWVudE5vZGUiLCJnZXRWYXJpYWJsZUlkZW50aWZpZXIiLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJnZXRTaW5ndWxhclZhcmlhYmxlSWRlbnRpZmllciIsInNpbmd1bGFyVmFyaWFibGVJZGVudGlmaWVyIiwiZ2V0VmFyaWFibGVOb2RlcyIsInJ1bGVOYW1lIiwiVkFSSUFCTEVfUlVMRV9OQU1FIiwidmFyaWFibGVOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsIkFSR1VNRU5UX1JVTEVfTkFNRSIsImdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7O3NFQUpPO3lCQUUyQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV4QyxJQUFBLEFBQU1BLHlCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMsV0FBVztnQkFFZixJQUFNQyx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7Z0JBRXpELElBQUlELHlCQUF5QixNQUFNO29CQUNqQ0QsV0FBVztnQkFDYjtnQkFFQSxPQUFPQTtZQUNUOzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1GLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QixJQUNuREUsZUFBZUgsc0JBQXVCLEVBQUU7Z0JBRTlDLE9BQU9HO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMsbUJBQW1CO2dCQUV2QixJQUFNQyx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7Z0JBRXpELElBQUlELHlCQUF5QixNQUFNO29CQUNqQ0QsbUJBQW1CQyxxQkFBcUJGLG1CQUFtQjtnQkFDN0Q7Z0JBRUEsT0FBT0M7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQyxxQkFBcUI7Z0JBRXpCLElBQU1WLFdBQVcsSUFBSSxDQUFDRCxVQUFVO2dCQUVoQyxJQUFJQyxVQUFVO29CQUNaLElBQU1DLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QjtvQkFFekRRLHFCQUFxQlQscUJBQXFCUSxxQkFBcUI7Z0JBQ2pFO2dCQUVBLE9BQU9DO1lBQ1Q7OztZQUVBQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBSUMsNkJBQTZCO2dCQUVqQyxJQUFNWCx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7Z0JBRXpELElBQUlELHlCQUF5QixNQUFNO29CQUNqQyxJQUFNUyxxQkFBcUJULHFCQUFxQlEscUJBQXFCO29CQUVyRUcsNkJBQTZCRixvQkFBcUIsR0FBRztnQkFDdkQ7Z0JBRUEsT0FBT0U7WUFDVDs7O1lBRUFDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXQyw2QkFBa0IsRUFDN0JDLGdCQUFnQixJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtnQkFFOUMsT0FBT0U7WUFDVDs7O1lBRUFSLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNTSxXQUFXSSw2QkFBa0IsRUFDN0JYLHVCQUF1QixJQUFJLENBQUNZLHlCQUF5QixDQUFDTDtnQkFFNUQsT0FBT1A7WUFDVDs7O1lBRUFMLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNWSxXQUFXQyw2QkFBa0IsRUFDN0JkLHVCQUF1QixJQUFJLENBQUNrQix5QkFBeUIsQ0FBQ0w7Z0JBRTVELE9BQU9iO1lBQ1Q7Ozs7WUFFT21CLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ04sUUFBUSxFQUFFTyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyx3QkFBZSxDQUFDSiwwQ0FBMEMsQ0FqRjdJdEIsVUFpRndKZ0IsVUFBVU8sWUFBWUMsU0FBU0M7WUFBYTs7O1dBakZwTXpCO0VBQWlCMEIsd0JBQWUifQ==

package/lib/preamble.js

@@ -33,6 +33,8 @@ var _conclusion = /*#__PURE__*/ _interop_require_default(require("./element/conc
 var _derivation = /*#__PURE__*/ _interop_require_default(require("./element/derivation"));
 var _hypothesis = /*#__PURE__*/ _interop_require_default(require("./element/hypothesis"));
 var _assumption = /*#__PURE__*/ _interop_require_default(require("./element/assumption"));
+var _combinator = /*#__PURE__*/ _interop_require_default(require("./element/combinator"));
+var _constructor = /*#__PURE__*/ _interop_require_default(require("./element/constructor"));
 var _supposition = /*#__PURE__*/ _interop_require_default(require("./element/supposition"));
 var _metatheorem = /*#__PURE__*/ _interop_require_default(require("./element/metatheorem"));
 var _equivalence = /*#__PURE__*/ _interop_require_default(require("./element/equivalence"));
@@ -42,7 +44,6 @@ var _substitutions = /*#__PURE__*/ _interop_require_default(require("./element/s
 var _procedureCall = /*#__PURE__*/ _interop_require_default(require("./element/procedureCall"));
 var _subDerivation = /*#__PURE__*/ _interop_require_default(require("./element/subDerivation"));
 var _type1 = /*#__PURE__*/ _interop_require_default(require("./element/assertion/type"));
-var _constructor = /*#__PURE__*/ _interop_require_default(require("./element/term/constructor"));
 var _propertyRelation = /*#__PURE__*/ _interop_require_default(require("./element/propertyRelation"));
 var _defined = /*#__PURE__*/ _interop_require_default(require("./element/assertion/defined"));
 var _term1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/term"));
@@ -53,7 +54,8 @@ var _procedureReference = /*#__PURE__*/ _interop_require_default(require("./elem
 var _contained = /*#__PURE__*/ _interop_require_default(require("./element/assertion/contained"));
 var _satisfies = /*#__PURE__*/ _interop_require_default(require("./element/assertion/satisfies"));
 var _variable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/variable"));
-var _combinator = /*#__PURE__*/ _interop_require_default(require("./element/statement/combinator"));
+var _bracketed = /*#__PURE__*/ _interop_require_default(require("./element/combinator/bracketed"));
+var _bracketed1 = /*#__PURE__*/ _interop_require_default(require("./element/constructor/bracketed"));
 var _simpleType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/simpleType"));
 var _statement1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/statement"));
 var _reference1 = /*#__PURE__*/ _interop_require_default(require("./element/substitution/reference"));
@@ -62,12 +64,10 @@ var _typePrefix1 = /*#__PURE__*/ _interop_require_default(require("./element/dec
 var _constructor1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/constructor"));
 var _complexType = /*#__PURE__*/ _interop_require_default(require("./element/declaration/complexType"));
 var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("./element/declaration/metavariable"));
-var _bracketed = /*#__PURE__*/ _interop_require_default(require("./element/term/constructor/bracketed"));
-var _bracketed1 = /*#__PURE__*/ _interop_require_default(require("./element/statement/combinator/bracketed"));
 function _interop_require_default(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9wcmVhbWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vZWxlbWVudC90eXBlXCI7XG5pbXBvcnQgVGVybSBmcm9tIFwiLi9lbGVtZW50L3Rlcm1cIjtcbmltcG9ydCBSdWxlIGZyb20gXCIuL2VsZW1lbnQvcnVsZVwiO1xuaW1wb3J0IFN0ZXAgZnJvbSBcIi4vZWxlbWVudC9zdGVwXCI7XG5pbXBvcnQgTGFiZWwgZnJvbSBcIi4vZWxlbWVudC9sYWJlbFwiO1xuaW1wb3J0IEF4aW9tIGZyb20gXCIuL2VsZW1lbnQvYXhpb21cIjtcbmltcG9ydCBMZW1tYSBmcm9tIFwiLi9lbGVtZW50L2xlbW1hXCI7XG5pbXBvcnQgRnJhbWUgZnJvbSBcIi4vZWxlbWVudC9mcmFtZVwiO1xuaW1wb3J0IFByb29mIGZyb20gXCIuL2VsZW1lbnQvcHJvb2ZcIjtcbmltcG9ydCBFcnJvciBmcm9tIFwiLi9lbGVtZW50L2Vycm9yXCI7XG5pbXBvcnQgUHJlbWlzZSBmcm9tIFwiLi9lbGVtZW50L3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtIGZyb20gXCIuL2VsZW1lbnQvdGhlb3JlbVwiO1xuaW1wb3J0IFNlY3Rpb24gZnJvbSBcIi4vZWxlbWVudC9zZWN0aW9uXCI7XG5pbXBvcnQgRXF1YWxpdHkgZnJvbSBcIi4vZWxlbWVudC9lcXVhbGl0eVwiO1xuaW1wb3J0IE1ldGFUeXBlIGZyb20gXCIuL2VsZW1lbnQvbWV0YVR5cGVcIjtcbmltcG9ydCBTdWJwcm9vZiBmcm9tIFwiLi9lbGVtZW50L3N1YnByb29mXCI7XG5pbXBvcnQgVmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC92YXJpYWJsZVwiO1xuaW1wb3J0IFByb3BlcnR5IGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlcIjtcbmltcG9ydCBQYXJhbWV0ZXIgZnJvbSBcIi4vZWxlbWVudC9wYXJhbWV0ZXJcIjtcbmltcG9ydCBSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9yZWZlcmVuY2VcIjtcbmltcG9ydCBTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnRcIjtcbmltcG9ydCBKdWRnZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWEgZnJvbSBcIi4vZWxlbWVudC9tZXRhTGVtbWFcIjtcbmltcG9ydCBEZWR1Y3Rpb24gZnJvbSBcIi4vZWxlbWVudC9kZWR1Y3Rpb25cIjtcbmltcG9ydCBTaWduYXR1cmUgZnJvbSBcIi4vZWxlbWVudC9zaWduYXR1cmVcIjtcbmltcG9ydCBUeXBlUHJlZml4IGZyb20gXCIuL2VsZW1lbnQvdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbmplY3R1cmUgZnJvbSBcIi4vZWxlbWVudC9jb25qZWN0dXJlXCI7XG5pbXBvcnQgQ29uY2x1c2lvbiBmcm9tIFwiLi9lbGVtZW50L2NvbmNsdXNpb25cIjtcbmltcG9ydCBEZXJpdmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVyaXZhdGlvblwiO1xuaW1wb3J0IEh5cG90aGVzaXMgZnJvbSBcIi4vZWxlbWVudC9oeXBvdGhlc2lzXCI7XG5pbXBvcnQgQXNzdW1wdGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc3VtcHRpb25cIjtcbmltcG9ydCBTdXBwb3NpdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1cHBvc2l0aW9uXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW0gZnJvbSBcIi4vZWxlbWVudC9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IEVxdWl2YWxlbmNlIGZyb20gXCIuL2VsZW1lbnQvZXF1aXZhbGVuY2VcIjtcbmltcG9ydCBFcXVpdmFsZW5jZXMgZnJvbSBcIi4vZWxlbWVudC9lcXVpdmFsZW5jZXNcIjtcbmltcG9ydCBNZXRhdmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBTdWJzdGl0dXRpb25zIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uc1wiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGwgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YkRlcml2YXRpb25cIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBDb25zdHJ1Y3RvclRlcm0gZnJvbSBcIi4vZWxlbWVudC90ZXJtL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgUHJvcGVydHlSZWxhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3Byb3BlcnR5UmVsYXRpb25cIjtcbmltcG9ydCBEZWZpbmVkQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL2RlZmluZWRcIjtcbmltcG9ydCBUZXJtU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3Rlcm1cIjtcbmltcG9ydCBGcmFtZVN1YnN0aXR1dGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YnN0aXR1dGlvbi9mcmFtZVwiO1xuaW1wb3J0IFN1YnByb29mQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3N1YnByb29mXCI7XG5pbXBvcnQgUHJvcGVydHlBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vcHJvcGVydHlcIjtcbmltcG9ydCBQcm9jZWR1cmVSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVSZWZlcmVuY2VcIjtcbmltcG9ydCBDb250YWluZWRBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vY29udGFpbmVkXCI7XG5pbXBvcnQgU2F0aXNmaWVzQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3NhdGlzZmllc1wiO1xuaW1wb3J0IFZhcmlhYmxlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi92YXJpYWJsZVwiO1xuaW1wb3J0IENvbWJpbmF0b3JTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnQvY29tYmluYXRvclwiO1xuaW1wb3J0IFNpbXBsZVR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL3NpbXBsZVR5cGVcIjtcbmltcG9ydCBTdGF0ZW1lbnRTdWJzdGl0dXRpb24gZnJvbSBcIi4vZWxlbWVudC9zdWJzdGl0dXRpb24vc3RhdGVtZW50XCI7XG5pbXBvcnQgUmVmZXJlbmNlU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3JlZmVyZW5jZVwiO1xuaW1wb3J0IENvbWJpbmF0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbWJpbmF0b3JcIjtcbmltcG9ydCBUeXBlUHJlZml4RGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi90eXBlUHJlZml4XCI7XG5pbXBvcnQgQ29uc3RydWN0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5pbXBvcnQgQ29tcGxleFR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL2NvbXBsZXhUeXBlXCI7XG5pbXBvcnQgTWV0YXZhcmlhYmxlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBCcmFja2V0ZWRDb25zdHJ1Y3RvclRlcm0gZnJvbSBcIi4vZWxlbWVudC90ZXJtL2NvbnN0cnVjdG9yL2JyYWNrZXRlZFwiO1xuaW1wb3J0IEJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnQvY29tYmluYXRvci9icmFja2V0ZWRcIjtcbiJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7OzsyREFFaUI7MkRBQ0E7MkRBQ0E7MkRBQ0E7NERBQ0M7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7NERBQ0E7OERBQ0U7OERBQ0E7OERBQ0E7K0RBQ0M7K0RBQ0E7K0RBQ0E7K0RBQ0E7K0RBQ0E7Z0VBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7Z0VBQ0E7aUVBQ0M7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7aUVBQ0E7a0VBQ0M7a0VBQ0E7a0VBQ0E7bUVBQ0M7bUVBQ0E7b0VBQ0M7b0VBQ0E7b0VBQ0E7NERBQ0E7a0VBQ0U7dUVBQ0M7OERBQ0E7NERBQ0E7NkRBQ0M7Z0VBQ0E7Z0VBQ0E7eUVBQ0M7Z0VBQ0E7Z0VBQ0E7Z0VBQ0M7aUVBQ0E7aUVBQ0U7aUVBQ0E7aUVBQ0E7a0VBQ0E7a0VBQ0E7bUVBQ0M7a0VBQ0E7b0VBQ0M7Z0VBQ0M7aUVBQ0kifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9wcmVhbWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFR5cGUgZnJvbSBcIi4vZWxlbWVudC90eXBlXCI7XG5pbXBvcnQgVGVybSBmcm9tIFwiLi9lbGVtZW50L3Rlcm1cIjtcbmltcG9ydCBSdWxlIGZyb20gXCIuL2VsZW1lbnQvcnVsZVwiO1xuaW1wb3J0IFN0ZXAgZnJvbSBcIi4vZWxlbWVudC9zdGVwXCI7XG5pbXBvcnQgTGFiZWwgZnJvbSBcIi4vZWxlbWVudC9sYWJlbFwiO1xuaW1wb3J0IEF4aW9tIGZyb20gXCIuL2VsZW1lbnQvYXhpb21cIjtcbmltcG9ydCBMZW1tYSBmcm9tIFwiLi9lbGVtZW50L2xlbW1hXCI7XG5pbXBvcnQgRnJhbWUgZnJvbSBcIi4vZWxlbWVudC9mcmFtZVwiO1xuaW1wb3J0IFByb29mIGZyb20gXCIuL2VsZW1lbnQvcHJvb2ZcIjtcbmltcG9ydCBFcnJvciBmcm9tIFwiLi9lbGVtZW50L2Vycm9yXCI7XG5pbXBvcnQgUHJlbWlzZSBmcm9tIFwiLi9lbGVtZW50L3ByZW1pc2VcIjtcbmltcG9ydCBUaGVvcmVtIGZyb20gXCIuL2VsZW1lbnQvdGhlb3JlbVwiO1xuaW1wb3J0IFNlY3Rpb24gZnJvbSBcIi4vZWxlbWVudC9zZWN0aW9uXCI7XG5pbXBvcnQgRXF1YWxpdHkgZnJvbSBcIi4vZWxlbWVudC9lcXVhbGl0eVwiO1xuaW1wb3J0IE1ldGFUeXBlIGZyb20gXCIuL2VsZW1lbnQvbWV0YVR5cGVcIjtcbmltcG9ydCBTdWJwcm9vZiBmcm9tIFwiLi9lbGVtZW50L3N1YnByb29mXCI7XG5pbXBvcnQgVmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC92YXJpYWJsZVwiO1xuaW1wb3J0IFByb3BlcnR5IGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlcIjtcbmltcG9ydCBQYXJhbWV0ZXIgZnJvbSBcIi4vZWxlbWVudC9wYXJhbWV0ZXJcIjtcbmltcG9ydCBSZWZlcmVuY2UgZnJvbSBcIi4vZWxlbWVudC9yZWZlcmVuY2VcIjtcbmltcG9ydCBTdGF0ZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9zdGF0ZW1lbnRcIjtcbmltcG9ydCBKdWRnZW1lbnQgZnJvbSBcIi4vZWxlbWVudC9qdWRnZW1lbnRcIjtcbmltcG9ydCBNZXRhTGVtbWEgZnJvbSBcIi4vZWxlbWVudC9tZXRhTGVtbWFcIjtcbmltcG9ydCBEZWR1Y3Rpb24gZnJvbSBcIi4vZWxlbWVudC9kZWR1Y3Rpb25cIjtcbmltcG9ydCBTaWduYXR1cmUgZnJvbSBcIi4vZWxlbWVudC9zaWduYXR1cmVcIjtcbmltcG9ydCBUeXBlUHJlZml4IGZyb20gXCIuL2VsZW1lbnQvdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbmplY3R1cmUgZnJvbSBcIi4vZWxlbWVudC9jb25qZWN0dXJlXCI7XG5pbXBvcnQgQ29uY2x1c2lvbiBmcm9tIFwiLi9lbGVtZW50L2NvbmNsdXNpb25cIjtcbmltcG9ydCBEZXJpdmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVyaXZhdGlvblwiO1xuaW1wb3J0IEh5cG90aGVzaXMgZnJvbSBcIi4vZWxlbWVudC9oeXBvdGhlc2lzXCI7XG5pbXBvcnQgQXNzdW1wdGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc3VtcHRpb25cIjtcbmltcG9ydCBDb21iaW5hdG9yIGZyb20gXCIuL2VsZW1lbnQvY29tYmluYXRvclwiO1xuaW1wb3J0IENvbnN0cnVjdG9yIGZyb20gXCIuL2VsZW1lbnQvY29uc3RydWN0b3JcIjtcbmltcG9ydCBTdXBwb3NpdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1cHBvc2l0aW9uXCI7XG5pbXBvcnQgTWV0YXRoZW9yZW0gZnJvbSBcIi4vZWxlbWVudC9tZXRhdGhlb3JlbVwiO1xuaW1wb3J0IEVxdWl2YWxlbmNlIGZyb20gXCIuL2VsZW1lbnQvZXF1aXZhbGVuY2VcIjtcbmltcG9ydCBFcXVpdmFsZW5jZXMgZnJvbSBcIi4vZWxlbWVudC9lcXVpdmFsZW5jZXNcIjtcbmltcG9ydCBNZXRhdmFyaWFibGUgZnJvbSBcIi4vZWxlbWVudC9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBTdWJzdGl0dXRpb25zIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uc1wiO1xuaW1wb3J0IFByb2NlZHVyZUNhbGwgZnJvbSBcIi4vZWxlbWVudC9wcm9jZWR1cmVDYWxsXCI7XG5pbXBvcnQgU3ViRGVyaXZhdGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YkRlcml2YXRpb25cIjtcbmltcG9ydCBUeXBlQXNzZXJ0aW9uIGZyb20gXCIuL2VsZW1lbnQvYXNzZXJ0aW9uL3R5cGVcIjtcbmltcG9ydCBQcm9wZXJ0eVJlbGF0aW9uIGZyb20gXCIuL2VsZW1lbnQvcHJvcGVydHlSZWxhdGlvblwiO1xuaW1wb3J0IERlZmluZWRBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vZGVmaW5lZFwiO1xuaW1wb3J0IFRlcm1TdWJzdGl0dXRpb24gZnJvbSBcIi4vZWxlbWVudC9zdWJzdGl0dXRpb24vdGVybVwiO1xuaW1wb3J0IEZyYW1lU3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL2ZyYW1lXCI7XG5pbXBvcnQgU3VicHJvb2ZBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vc3VicHJvb2ZcIjtcbmltcG9ydCBQcm9wZXJ0eUFzc2VydGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc2VydGlvbi9wcm9wZXJ0eVwiO1xuaW1wb3J0IFByb2NlZHVyZVJlZmVyZW5jZSBmcm9tIFwiLi9lbGVtZW50L3Byb2NlZHVyZVJlZmVyZW5jZVwiO1xuaW1wb3J0IENvbnRhaW5lZEFzc2VydGlvbiBmcm9tIFwiLi9lbGVtZW50L2Fzc2VydGlvbi9jb250YWluZWRcIjtcbmltcG9ydCBTYXRpc2ZpZXNBc3NlcnRpb24gZnJvbSBcIi4vZWxlbWVudC9hc3NlcnRpb24vc2F0aXNmaWVzXCI7XG5pbXBvcnQgVmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi9lbGVtZW50L2RlY2xhcmF0aW9uL3ZhcmlhYmxlXCI7XG5pbXBvcnQgQnJhY2tldGVkQ29tYmluYXRvciBmcm9tIFwiLi9lbGVtZW50L2NvbWJpbmF0b3IvYnJhY2tldGVkXCI7XG5pbXBvcnQgQnJhY2tldGVkQ29uc3RydWN0b3IgZnJvbSBcIi4vZWxlbWVudC9jb25zdHJ1Y3Rvci9icmFja2V0ZWRcIjtcbmltcG9ydCBTaW1wbGVUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9zaW1wbGVUeXBlXCI7XG5pbXBvcnQgU3RhdGVtZW50U3Vic3RpdHV0aW9uIGZyb20gXCIuL2VsZW1lbnQvc3Vic3RpdHV0aW9uL3N0YXRlbWVudFwiO1xuaW1wb3J0IFJlZmVyZW5jZVN1YnN0aXR1dGlvbiBmcm9tIFwiLi9lbGVtZW50L3N1YnN0aXR1dGlvbi9yZWZlcmVuY2VcIjtcbmltcG9ydCBDb21iaW5hdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb21iaW5hdG9yXCI7XG5pbXBvcnQgVHlwZVByZWZpeERlY2xhcmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVjbGFyYXRpb24vdHlwZVByZWZpeFwiO1xuaW1wb3J0IENvbnN0cnVjdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuaW1wb3J0IENvbXBsZXhUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4vZWxlbWVudC9kZWNsYXJhdGlvbi9jb21wbGV4VHlwZVwiO1xuaW1wb3J0IE1ldGF2YXJpYWJsZURlY2xhcmF0aW9uIGZyb20gXCIuL2VsZW1lbnQvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlXCI7XG4iXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7MkRBRWlCOzJEQUNBOzJEQUNBOzJEQUNBOzREQUNDOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzREQUNBOzhEQUNFOzhEQUNBOzhEQUNBOytEQUNDOytEQUNBOytEQUNBOytEQUNBOytEQUNBO2dFQUNDO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2dFQUNBO2lFQUNDO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2lFQUNBO2tFQUNDO2tFQUNBO2tFQUNBO2tFQUNBO21FQUNDO21FQUNBO29FQUNDO29FQUNBO29FQUNBOzREQUNBO3VFQUNHOzhEQUNBOzREQUNBOzZEQUNDO2dFQUNBO2dFQUNBO3lFQUNDO2dFQUNBO2dFQUNBO2dFQUNDO2dFQUNBO2lFQUNDO2lFQUNDO2lFQUNBO2lFQUNBO2tFQUNBO2tFQUNBO21FQUNDO2tFQUNBO29FQUNDIn0=

package/lib/process/instantiate.js

@@ -9,6 +9,12 @@ function _export(target, all) {
     });
 }
 _export(exports, {
+    get instantiateCombinator () {
+        return instantiateCombinator;
+    },
+    get instantiateConstructor () {
+        return instantiateConstructor;
+    },
     get instantiateEquivalence () {
         return instantiateEquivalence;
     },
@@ -30,6 +36,9 @@ _export(exports, {
     get instantiateStatementSubstitution () {
         return instantiateStatementSubstitution;
     },
+    get instantiateStep () {
+        return instantiateStep;
+    },
     get instantiateTerm () {
         return instantiateTerm;
     },
@@ -41,10 +50,13 @@ _export(exports, {
     }
 });
 var _bnf = require("../utilities/bnf");
-var termPlaceholderBNF = " _ ::= term... <END_OF_LINE> ; ", variablePlaceholderBNF = " _ ::= variable... <END_OF_LINE> ; ", referencePlaceholderBNF = " _ ::= reference... <END_OF_LINE> ; ", statementPlaceholderBNF = " _ ::= statement... <END_OF_LINE> ; ", equivalencePlaceholderBNF = " _ ::= equivalence... <END_OF_LINE> ; ", metavariablePlaceholderBNF = " _ ::= metavariable... <END_OF_LINE> ; ", termSubstitutionPlaceholderBNF = " _ ::= termSubstitution... <END_OF_LINE> ; ", frameSubstitutionPlaceholderBNF = " _ ::= frameSubstitution... <END_OF_LINE> ; ", statementSubstitutionPlaceholderBNF = " _ ::= statementSubstitution... <END_OF_LINE> ; ", referenceSubstitutionPlaceholderBNF = " _ ::= referenceSubstitution... <END_OF_LINE> ; ", termPlaceholderRule = (0, _bnf.ruleFromBNF)(termPlaceholderBNF), variablePlaceholderRule = (0, _bnf.ruleFromBNF)(variablePlaceholderBNF), referencePlaceholderRule = (0, _bnf.ruleFromBNF)(referencePlaceholderBNF), statementPlaceholderRule = (0, _bnf.ruleFromBNF)(statementPlaceholderBNF), equivalencePlaceholderRule = (0, _bnf.ruleFromBNF)(equivalencePlaceholderBNF), metavariablePlaceholderRule = (0, _bnf.ruleFromBNF)(metavariablePlaceholderBNF), termSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(termSubstitutionPlaceholderBNF), frameSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(frameSubstitutionPlaceholderBNF), statementSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(statementSubstitutionPlaceholderBNF), referenceSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(referenceSubstitutionPlaceholderBNF);
+var termPlaceholderBNF = " _ ::= term... <END_OF_LINE> ; ", stepPlaceholderBNF = " _ ::= step... <END_OF_LINE> ; ", variablePlaceholderBNF = " _ ::= variable... <END_OF_LINE> ; ", referencePlaceholderBNF = " _ ::= reference... <END_OF_LINE> ; ", statementPlaceholderBNF = " _ ::= statement... <END_OF_LINE> ; ", combinatorPlaceholderBNF = " _ ::= combinator... <END_OF_LINE> ; ", constructorPlaceholderBNF = " _ ::= constructor... <END_OF_LINE> ; ", equivalencePlaceholderBNF = " _ ::= equivalence... <END_OF_LINE> ; ", metavariablePlaceholderBNF = " _ ::= metavariable... <END_OF_LINE> ; ", termSubstitutionPlaceholderBNF = " _ ::= termSubstitution... <END_OF_LINE> ; ", frameSubstitutionPlaceholderBNF = " _ ::= frameSubstitution... <END_OF_LINE> ; ", statementSubstitutionPlaceholderBNF = " _ ::= statementSubstitution... <END_OF_LINE> ; ", referenceSubstitutionPlaceholderBNF = " _ ::= referenceSubstitution... <END_OF_LINE> ; ", termPlaceholderRule = (0, _bnf.ruleFromBNF)(termPlaceholderBNF), stepPlaceholderRule = (0, _bnf.ruleFromBNF)(stepPlaceholderBNF), variablePlaceholderRule = (0, _bnf.ruleFromBNF)(variablePlaceholderBNF), referencePlaceholderRule = (0, _bnf.ruleFromBNF)(referencePlaceholderBNF), statementPlaceholderRule = (0, _bnf.ruleFromBNF)(statementPlaceholderBNF), combinatorPlaceholderRule = (0, _bnf.ruleFromBNF)(combinatorPlaceholderBNF), constructorPlaceholderRule = (0, _bnf.ruleFromBNF)(constructorPlaceholderBNF), equivalencePlaceholderRule = (0, _bnf.ruleFromBNF)(equivalencePlaceholderBNF), metavariablePlaceholderRule = (0, _bnf.ruleFromBNF)(metavariablePlaceholderBNF), termSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(termSubstitutionPlaceholderBNF), frameSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(frameSubstitutionPlaceholderBNF), statementSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(statementSubstitutionPlaceholderBNF), referenceSubstitutionPlaceholderRule = (0, _bnf.ruleFromBNF)(referenceSubstitutionPlaceholderBNF);
 function instantiateTerm(string, context) {
     return instantiate(termPlaceholderRule, string, context);
 }
+function instantiateStep(string, context) {
+    return instantiate(stepPlaceholderRule, string, context);
+}
 function instantiateVariable(string, context) {
     return instantiate(variablePlaceholderRule, string, context);
 }
@@ -54,6 +66,12 @@ function instantiateReference(string, context) {
 function instantiateStatement(string, context) {
     return instantiate(statementPlaceholderRule, string, context);
 }
+function instantiateCombinator(string, context) {
+    return instantiate(combinatorPlaceholderRule, string, context);
+}
+function instantiateConstructor(string, context) {
+    return instantiate(constructorPlaceholderRule, string, context);
+}
 function instantiateEquivalence(string, context) {
     return instantiate(equivalencePlaceholderRule, string, context);
 }
@@ -84,4 +102,4 @@ function instantiate(placeholderRule, string, context) {
     return node;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2luc3RhbnRpYXRlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi91dGlsaXRpZXMvYm5mXCI7XG5cbmNvbnN0IHRlcm1QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gdGVybS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHZhcmlhYmxlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHZhcmlhYmxlLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgcmVmZXJlbmNlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHJlZmVyZW5jZS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHN0YXRlbWVudFBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBzdGF0ZW1lbnQuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBlcXVpdmFsZW5jZVBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBlcXVpdmFsZW5jZS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIG1ldGF2YXJpYWJsZVBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBtZXRhdmFyaWFibGUuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICB0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHRlcm1TdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBmcmFtZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBmcmFtZVN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHN0YXRlbWVudFN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBzdGF0ZW1lbnRTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICByZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gcmVmZXJlbmNlU3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgdGVybVBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHRlcm1QbGFjZWhvbGRlckJORiksXG4gICAgICB2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHZhcmlhYmxlUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgcmVmZXJlbmNlUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYocmVmZXJlbmNlUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgc3RhdGVtZW50UGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoc3RhdGVtZW50UGxhY2Vob2xkZXJCTkYpLFxuICAgICAgZXF1aXZhbGVuY2VQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihlcXVpdmFsZW5jZVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIG1ldGF2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKG1ldGF2YXJpYWJsZVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHRlcm1TdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORih0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihmcmFtZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHN0YXRlbWVudFN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHN0YXRlbWVudFN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHJlZmVyZW5jZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHJlZmVyZW5jZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GKTtcblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlVGVybShzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHRlcm1QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlVmFyaWFibGUoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVSZWZlcmVuY2Uoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShyZWZlcmVuY2VQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlU3RhdGVtZW50KHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoc3RhdGVtZW50UGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUVxdWl2YWxlbmNlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoZXF1aXZhbGVuY2VQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlTWV0YXZhcmlhYmxlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUobWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVRlcm1TdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUZyYW1lU3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlU3RhdGVtZW50U3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoc3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVJlZmVyZW5jZVN1YnN0aXR1dGlvbihzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHJlZmVyZW5jZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5mdW5jdGlvbiBpbnN0YW50aWF0ZShwbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCkge1xuICBsZXQgbm9kZTtcblxuICBjb25zdCBsZXhlciA9IGNvbnRleHQuZ2V0TGV4ZXIoKSxcbiAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgY29udGVudCA9IGAke3N0cmluZ31cbmAsXG4gICAgICAgIHRva2VucyA9IGxleGVyLnRva2VuaXNlKGNvbnRlbnQpLFxuICAgICAgICBzdGFydFJ1bGUgPSBwbGFjZWhvbGRlclJ1bGU7ICAvLy9cblxuICBub2RlID0gcGFyc2VyLnBhcnNlKHRva2Vucywgc3RhcnRSdWxlKTtcblxuICBjb25zdCBub25UZXJtaW5hbE5vZGUgPSBub2RlOyAvLy9cblxuICBub25UZXJtaW5hbE5vZGUuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgbm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICByZXR1cm4gdHJ1ZTtcbiAgfSk7XG5cbiAgcmV0dXJuIG5vZGU7XG59XG4iXSwibmFtZXMiOlsiaW5zdGFudGlhdGVFcXVpdmFsZW5jZSIsImluc3RhbnRpYXRlRnJhbWVTdWJzdGl0dXRpb24iLCJpbnN0YW50aWF0ZU1ldGF2YXJpYWJsZSIsImluc3RhbnRpYXRlUmVmZXJlbmNlIiwiaW5zdGFudGlhdGVSZWZlcmVuY2VTdWJzdGl0dXRpb24iLCJpbnN0YW50aWF0ZVN0YXRlbWVudCIsImluc3RhbnRpYXRlU3RhdGVtZW50U3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVUZXJtIiwiaW5zdGFudGlhdGVUZXJtU3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVWYXJpYWJsZSIsInRlcm1QbGFjZWhvbGRlckJORiIsInZhcmlhYmxlUGxhY2Vob2xkZXJCTkYiLCJyZWZlcmVuY2VQbGFjZWhvbGRlckJORiIsInN0YXRlbWVudFBsYWNlaG9sZGVyQk5GIiwiZXF1aXZhbGVuY2VQbGFjZWhvbGRlckJORiIsIm1ldGF2YXJpYWJsZVBsYWNlaG9sZGVyQk5GIiwidGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GIiwiZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiIsInN0YXRlbWVudFN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GIiwicmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYiLCJ0ZXJtUGxhY2Vob2xkZXJSdWxlIiwicnVsZUZyb21CTkYiLCJ2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSIsInJlZmVyZW5jZVBsYWNlaG9sZGVyUnVsZSIsInN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSIsImVxdWl2YWxlbmNlUGxhY2Vob2xkZXJSdWxlIiwibWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJSdWxlIiwidGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSIsImZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwicmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwic3RyaW5nIiwiY29udGV4dCIsImluc3RhbnRpYXRlIiwicGxhY2Vob2xkZXJSdWxlIiwibm9kZSIsImxleGVyIiwiZ2V0TGV4ZXIiLCJwYXJzZXIiLCJnZXRQYXJzZXIiLCJjb250ZW50IiwidG9rZW5zIiwidG9rZW5pc2UiLCJzdGFydFJ1bGUiLCJwYXJzZSIsIm5vblRlcm1pbmFsTm9kZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWlDZ0JBO2VBQUFBOztRQU1BQztlQUFBQTs7UUFKQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQWNBQztlQUFBQTs7UUFaQUM7ZUFBQUE7O1FBVUFDO2VBQUFBOztRQWhCQUM7ZUFBQUE7O1FBWUFDO2VBQUFBOztRQVZBQztlQUFBQTs7O21CQXpCWTtBQUU1QixJQUFNQyxxQkFBcUIsbUNBQ3JCQyx5QkFBeUIsdUNBQ3pCQywwQkFBMEIsd0NBQzFCQywwQkFBMEIsd0NBQzFCQyw0QkFBNEIsMENBQzVCQyw2QkFBNkIsMkNBQzdCQyxpQ0FBaUMsK0NBQ2pDQyxrQ0FBa0MsZ0RBQ2xDQyxzQ0FBc0Msb0RBQ3RDQyxzQ0FBc0Msb0RBQ3RDQyxzQkFBc0JDLElBQUFBLGdCQUFXLEVBQUNYLHFCQUNsQ1ksMEJBQTBCRCxJQUFBQSxnQkFBVyxFQUFDVix5QkFDdENZLDJCQUEyQkYsSUFBQUEsZ0JBQVcsRUFBQ1QsMEJBQ3ZDWSwyQkFBMkJILElBQUFBLGdCQUFXLEVBQUNSLDBCQUN2Q1ksNkJBQTZCSixJQUFBQSxnQkFBVyxFQUFDUCw0QkFDekNZLDhCQUE4QkwsSUFBQUEsZ0JBQVcsRUFBQ04sNkJBQzFDWSxrQ0FBa0NOLElBQUFBLGdCQUFXLEVBQUNMLGlDQUM5Q1ksbUNBQW1DUCxJQUFBQSxnQkFBVyxFQUFDSixrQ0FDL0NZLHVDQUF1Q1IsSUFBQUEsZ0JBQVcsRUFBQ0gsc0NBQ25EWSx1Q0FBdUNULElBQUFBLGdCQUFXLEVBQUNGO0FBRWxELFNBQVNaLGdCQUFnQndCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVliLHFCQUFxQlcsUUFBUUM7QUFBVTtBQUV0RyxTQUFTdkIsb0JBQW9Cc0IsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVgseUJBQXlCUyxRQUFRQztBQUFVO0FBRTlHLFNBQVM3QixxQkFBcUI0QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZViwwQkFBMEJRLFFBQVFDO0FBQVU7QUFFaEgsU0FBUzNCLHFCQUFxQjBCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlULDBCQUEwQk8sUUFBUUM7QUFBVTtBQUVoSCxTQUFTaEMsdUJBQXVCK0IsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVIsNEJBQTRCTSxRQUFRQztBQUFVO0FBRXBILFNBQVM5Qix3QkFBd0I2QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZUCw2QkFBNkJLLFFBQVFDO0FBQVU7QUFFdEgsU0FBU3hCLDRCQUE0QnVCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlOLGlDQUFpQ0ksUUFBUUM7QUFBVTtBQUU5SCxTQUFTL0IsNkJBQTZCOEIsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWUwsa0NBQWtDRyxRQUFRQztBQUFVO0FBRWhJLFNBQVMxQixpQ0FBaUN5QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZSixzQ0FBc0NFLFFBQVFDO0FBQVU7QUFFeEksU0FBUzVCLGlDQUFpQzJCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlILHNDQUFzQ0MsUUFBUUM7QUFBVTtBQUUvSSxTQUFTQyxZQUFZQyxlQUFlLEVBQUVILE1BQU0sRUFBRUMsT0FBTztJQUNuRCxJQUFJRztJQUVKLElBQU1DLFFBQVFKLFFBQVFLLFFBQVEsSUFDeEJDLFNBQVNOLFFBQVFPLFNBQVMsSUFDMUJDLFVBQVUsQUFBQyxHQUFTLE9BQVBULFFBQU8sT0FFcEJVLFNBQVNMLE1BQU1NLFFBQVEsQ0FBQ0YsVUFDeEJHLFlBQVlULGlCQUFrQixHQUFHO0lBRXZDQyxPQUFPRyxPQUFPTSxLQUFLLENBQUNILFFBQVFFO0lBRTVCLElBQU1FLGtCQUFrQlYsTUFBTSxHQUFHO0lBRWpDVSxnQkFBZ0JDLGFBQWEsQ0FBQyxTQUFDQztRQUM3QlosT0FBT1ksV0FBVyxHQUFHO1FBRXJCLE9BQU87SUFDVDtJQUVBLE9BQU9aO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2luc3RhbnRpYXRlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi91dGlsaXRpZXMvYm5mXCI7XG5cbmNvbnN0IHRlcm1QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gdGVybS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHN0ZXBQbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gc3RlcC4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHZhcmlhYmxlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHZhcmlhYmxlLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgcmVmZXJlbmNlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHJlZmVyZW5jZS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHN0YXRlbWVudFBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBzdGF0ZW1lbnQuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBjb21iaW5hdG9yUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IGNvbWJpbmF0b3IuLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICBjb25zdHJ1Y3RvclBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSBjb25zdHJ1Y3Rvci4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIGVxdWl2YWxlbmNlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IGVxdWl2YWxlbmNlLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgbWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IG1ldGF2YXJpYWJsZS4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHRlcm1TdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiA9IGAgXyA6Oj0gdGVybVN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIGZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IGZyYW1lU3Vic3RpdHV0aW9uLi4uIDxFTkRfT0ZfTElORT4gOyBgLFxuICAgICAgc3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYgPSBgIF8gOjo9IHN0YXRlbWVudFN1YnN0aXR1dGlvbi4uLiA8RU5EX09GX0xJTkU+IDsgYCxcbiAgICAgIHJlZmVyZW5jZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GID0gYCBfIDo6PSByZWZlcmVuY2VTdWJzdGl0dXRpb24uLi4gPEVORF9PRl9MSU5FPiA7IGAsXG4gICAgICB0ZXJtUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYodGVybVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHN0ZXBQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihzdGVwUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgdmFyaWFibGVQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORih2YXJpYWJsZVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHJlZmVyZW5jZVBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHJlZmVyZW5jZVBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIHN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSA9IHJ1bGVGcm9tQk5GKHN0YXRlbWVudFBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGNvbWJpbmF0b3JQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihjb21iaW5hdG9yUGxhY2Vob2xkZXJCTkYpLFxuICAgICAgY29uc3RydWN0b3JQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihjb25zdHJ1Y3RvclBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGVxdWl2YWxlbmNlUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoZXF1aXZhbGVuY2VQbGFjZWhvbGRlckJORiksXG4gICAgICBtZXRhdmFyaWFibGVQbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihtZXRhdmFyaWFibGVQbGFjZWhvbGRlckJORiksXG4gICAgICB0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYodGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GKSxcbiAgICAgIGZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlID0gcnVsZUZyb21CTkYoZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiksXG4gICAgICBzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihzdGF0ZW1lbnRTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiksXG4gICAgICByZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUgPSBydWxlRnJvbUJORihyZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORik7XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVRlcm0oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh0ZXJtUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVN0ZXAoc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZShzdGVwUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVZhcmlhYmxlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUodmFyaWFibGVQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlUmVmZXJlbmNlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUocmVmZXJlbmNlUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVN0YXRlbWVudChzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVDb21iaW5hdG9yKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoY29tYmluYXRvclBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5leHBvcnQgZnVuY3Rpb24gaW5zdGFudGlhdGVDb25zdHJ1Y3RvcihzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKGNvbnN0cnVjdG9yUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUVxdWl2YWxlbmNlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoZXF1aXZhbGVuY2VQbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlTWV0YXZhcmlhYmxlKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUobWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVRlcm1TdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KSB7IHJldHVybiBpbnN0YW50aWF0ZSh0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZUZyYW1lU3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoZnJhbWVTdWJzdGl0dXRpb25QbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCk7IH1cblxuZXhwb3J0IGZ1bmN0aW9uIGluc3RhbnRpYXRlU3RhdGVtZW50U3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCkgeyByZXR1cm4gaW5zdGFudGlhdGUoc3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlLCBzdHJpbmcsIGNvbnRleHQpOyB9XG5cbmV4cG9ydCBmdW5jdGlvbiBpbnN0YW50aWF0ZVJlZmVyZW5jZVN1YnN0aXR1dGlvbihzdHJpbmcsIGNvbnRleHQpIHsgcmV0dXJuIGluc3RhbnRpYXRlKHJlZmVyZW5jZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSwgc3RyaW5nLCBjb250ZXh0KTsgfVxuXG5mdW5jdGlvbiBpbnN0YW50aWF0ZShwbGFjZWhvbGRlclJ1bGUsIHN0cmluZywgY29udGV4dCkge1xuICBsZXQgbm9kZTtcblxuICBjb25zdCBsZXhlciA9IGNvbnRleHQuZ2V0TGV4ZXIoKSxcbiAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgY29udGVudCA9IGAke3N0cmluZ31cbmAsXG4gICAgICAgIHRva2VucyA9IGxleGVyLnRva2VuaXNlKGNvbnRlbnQpLFxuICAgICAgICBzdGFydFJ1bGUgPSBwbGFjZWhvbGRlclJ1bGU7ICAvLy9cblxuICBub2RlID0gcGFyc2VyLnBhcnNlKHRva2Vucywgc3RhcnRSdWxlKTtcblxuICBjb25zdCBub25UZXJtaW5hbE5vZGUgPSBub2RlOyAvLy9cblxuICBub25UZXJtaW5hbE5vZGUuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgbm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICByZXR1cm4gdHJ1ZTtcbiAgfSk7XG5cbiAgcmV0dXJuIG5vZGU7XG59XG4iXSwibmFtZXMiOlsiaW5zdGFudGlhdGVDb21iaW5hdG9yIiwiaW5zdGFudGlhdGVDb25zdHJ1Y3RvciIsImluc3RhbnRpYXRlRXF1aXZhbGVuY2UiLCJpbnN0YW50aWF0ZUZyYW1lU3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVNZXRhdmFyaWFibGUiLCJpbnN0YW50aWF0ZVJlZmVyZW5jZSIsImluc3RhbnRpYXRlUmVmZXJlbmNlU3Vic3RpdHV0aW9uIiwiaW5zdGFudGlhdGVTdGF0ZW1lbnQiLCJpbnN0YW50aWF0ZVN0YXRlbWVudFN1YnN0aXR1dGlvbiIsImluc3RhbnRpYXRlU3RlcCIsImluc3RhbnRpYXRlVGVybSIsImluc3RhbnRpYXRlVGVybVN1YnN0aXR1dGlvbiIsImluc3RhbnRpYXRlVmFyaWFibGUiLCJ0ZXJtUGxhY2Vob2xkZXJCTkYiLCJzdGVwUGxhY2Vob2xkZXJCTkYiLCJ2YXJpYWJsZVBsYWNlaG9sZGVyQk5GIiwicmVmZXJlbmNlUGxhY2Vob2xkZXJCTkYiLCJzdGF0ZW1lbnRQbGFjZWhvbGRlckJORiIsImNvbWJpbmF0b3JQbGFjZWhvbGRlckJORiIsImNvbnN0cnVjdG9yUGxhY2Vob2xkZXJCTkYiLCJlcXVpdmFsZW5jZVBsYWNlaG9sZGVyQk5GIiwibWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJCTkYiLCJ0ZXJtU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYiLCJmcmFtZVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyQk5GIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJCTkYiLCJyZWZlcmVuY2VTdWJzdGl0dXRpb25QbGFjZWhvbGRlckJORiIsInRlcm1QbGFjZWhvbGRlclJ1bGUiLCJydWxlRnJvbUJORiIsInN0ZXBQbGFjZWhvbGRlclJ1bGUiLCJ2YXJpYWJsZVBsYWNlaG9sZGVyUnVsZSIsInJlZmVyZW5jZVBsYWNlaG9sZGVyUnVsZSIsInN0YXRlbWVudFBsYWNlaG9sZGVyUnVsZSIsImNvbWJpbmF0b3JQbGFjZWhvbGRlclJ1bGUiLCJjb25zdHJ1Y3RvclBsYWNlaG9sZGVyUnVsZSIsImVxdWl2YWxlbmNlUGxhY2Vob2xkZXJSdWxlIiwibWV0YXZhcmlhYmxlUGxhY2Vob2xkZXJSdWxlIiwidGVybVN1YnN0aXR1dGlvblBsYWNlaG9sZGVyUnVsZSIsImZyYW1lU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwicmVmZXJlbmNlU3Vic3RpdHV0aW9uUGxhY2Vob2xkZXJSdWxlIiwic3RyaW5nIiwiY29udGV4dCIsImluc3RhbnRpYXRlIiwicGxhY2Vob2xkZXJSdWxlIiwibm9kZSIsImxleGVyIiwiZ2V0TGV4ZXIiLCJwYXJzZXIiLCJnZXRQYXJzZXIiLCJjb250ZW50IiwidG9rZW5zIiwidG9rZW5pc2UiLCJzdGFydFJ1bGUiLCJwYXJzZSIsIm5vblRlcm1pbmFsTm9kZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXlDZ0JBO2VBQUFBOztRQUVBQztlQUFBQTs7UUFFQUM7ZUFBQUE7O1FBTUFDO2VBQUFBOztRQUpBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBa0JBQztlQUFBQTs7UUFoQkFDO2VBQUFBOztRQWNBQztlQUFBQTs7UUFwQkFDO2VBQUFBOztRQUZBQztlQUFBQTs7UUFrQkFDO2VBQUFBOztRQWRBQztlQUFBQTs7O21CQWpDWTtBQUU1QixJQUFNQyxxQkFBcUIsbUNBQ3JCQyxxQkFBcUIsbUNBQ3JCQyx5QkFBeUIsdUNBQ3pCQywwQkFBMEIsd0NBQzFCQywwQkFBMEIsd0NBQzFCQywyQkFBMkIseUNBQzNCQyw0QkFBNEIsMENBQzVCQyw0QkFBNEIsMENBQzVCQyw2QkFBNkIsMkNBQzdCQyxpQ0FBaUMsK0NBQ2pDQyxrQ0FBa0MsZ0RBQ2xDQyxzQ0FBc0Msb0RBQ3RDQyxzQ0FBc0Msb0RBQ3RDQyxzQkFBc0JDLElBQUFBLGdCQUFXLEVBQUNkLHFCQUNsQ2Usc0JBQXNCRCxJQUFBQSxnQkFBVyxFQUFDYixxQkFDbENlLDBCQUEwQkYsSUFBQUEsZ0JBQVcsRUFBQ1oseUJBQ3RDZSwyQkFBMkJILElBQUFBLGdCQUFXLEVBQUNYLDBCQUN2Q2UsMkJBQTJCSixJQUFBQSxnQkFBVyxFQUFDViwwQkFDdkNlLDRCQUE0QkwsSUFBQUEsZ0JBQVcsRUFBQ1QsMkJBQ3hDZSw2QkFBNkJOLElBQUFBLGdCQUFXLEVBQUNSLDRCQUN6Q2UsNkJBQTZCUCxJQUFBQSxnQkFBVyxFQUFDUCw0QkFDekNlLDhCQUE4QlIsSUFBQUEsZ0JBQVcsRUFBQ04sNkJBQzFDZSxrQ0FBa0NULElBQUFBLGdCQUFXLEVBQUNMLGlDQUM5Q2UsbUNBQW1DVixJQUFBQSxnQkFBVyxFQUFDSixrQ0FDL0NlLHVDQUF1Q1gsSUFBQUEsZ0JBQVcsRUFBQ0gsc0NBQ25EZSx1Q0FBdUNaLElBQUFBLGdCQUFXLEVBQUNGO0FBRWxELFNBQVNmLGdCQUFnQjhCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVloQixxQkFBcUJjLFFBQVFDO0FBQVU7QUFFdEcsU0FBU2hDLGdCQUFnQitCLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlkLHFCQUFxQlksUUFBUUM7QUFBVTtBQUV0RyxTQUFTN0Isb0JBQW9CNEIsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWWIseUJBQXlCVyxRQUFRQztBQUFVO0FBRTlHLFNBQVNwQyxxQkFBcUJtQyxNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZWiwwQkFBMEJVLFFBQVFDO0FBQVU7QUFFaEgsU0FBU2xDLHFCQUFxQmlDLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlYLDBCQUEwQlMsUUFBUUM7QUFBVTtBQUVoSCxTQUFTekMsc0JBQXNCd0MsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVYsMkJBQTJCUSxRQUFRQztBQUFVO0FBRWxILFNBQVN4Qyx1QkFBdUJ1QyxNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZVCw0QkFBNEJPLFFBQVFDO0FBQVU7QUFFcEgsU0FBU3ZDLHVCQUF1QnNDLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlSLDRCQUE0Qk0sUUFBUUM7QUFBVTtBQUVwSCxTQUFTckMsd0JBQXdCb0MsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWVAsNkJBQTZCSyxRQUFRQztBQUFVO0FBRXRILFNBQVM5Qiw0QkFBNEI2QixNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZTixpQ0FBaUNJLFFBQVFDO0FBQVU7QUFFOUgsU0FBU3RDLDZCQUE2QnFDLE1BQU0sRUFBRUMsT0FBTztJQUFJLE9BQU9DLFlBQVlMLGtDQUFrQ0csUUFBUUM7QUFBVTtBQUVoSSxTQUFTakMsaUNBQWlDZ0MsTUFBTSxFQUFFQyxPQUFPO0lBQUksT0FBT0MsWUFBWUosc0NBQXNDRSxRQUFRQztBQUFVO0FBRXhJLFNBQVNuQyxpQ0FBaUNrQyxNQUFNLEVBQUVDLE9BQU87SUFBSSxPQUFPQyxZQUFZSCxzQ0FBc0NDLFFBQVFDO0FBQVU7QUFFL0ksU0FBU0MsWUFBWUMsZUFBZSxFQUFFSCxNQUFNLEVBQUVDLE9BQU87SUFDbkQsSUFBSUc7SUFFSixJQUFNQyxRQUFRSixRQUFRSyxRQUFRLElBQ3hCQyxTQUFTTixRQUFRTyxTQUFTLElBQzFCQyxVQUFVLEFBQUMsR0FBUyxPQUFQVCxRQUFPLE9BRXBCVSxTQUFTTCxNQUFNTSxRQUFRLENBQUNGLFVBQ3hCRyxZQUFZVCxpQkFBa0IsR0FBRztJQUV2Q0MsT0FBT0csT0FBT00sS0FBSyxDQUFDSCxRQUFRRTtJQUU1QixJQUFNRSxrQkFBa0JWLE1BQU0sR0FBRztJQUVqQ1UsZ0JBQWdCQyxhQUFhLENBQUMsU0FBQ0M7UUFDN0JaLE9BQU9ZLFdBQVcsR0FBRztRQUVyQixPQUFPO0lBQ1Q7SUFFQSxPQUFPWjtBQUNUIn0=