occam-verify-cli 1.0.421 → 1.0.428

package/src/utilities/string.js

@@ -1,91 +1,121 @@
 "use strict";
 
-import { EMPTY_STRING } from "../constants";
+import { baseType } from "../element/type";
 
-export function nodeAsString(node, tokens) {
-  let string;
+export function termsStringFromTerms(terms) {
+  const termsString = terms.reduce((termsString, term) => {
+    const termString = term.getString();
 
-  tokens = nodeAsTokens(node, tokens);  ///
+    termsString = (termsString !== null) ?
+                   `${termsString}, ${termString}` :
+                      termString;
 
-  string = tokensAsString(tokens);
-
-  string = trimString(string);  ///
+    return termsString;
+  }, null);
 
-  return string;
+  return termsString;
 }
 
-export function nodesAsString(nodes, tokens) {
-  const string = nodes.reduce((string, node) => {
-    const nodeString = nodeAsString(node, tokens);
+export function labelsStringFromLabels(labels) {
+  const labelsString = labels.reduce((labelsString, label) => {
+    const labelString = label.getString();
 
-    string = (string === null) ?
-               nodeString :
-                `${string}, ${nodeString}`;
+    labelsString = (labelsString === null) ?
+                     labelString: ///
+                      `${labelsString}, ${labelString}`;
 
-    return string;
+    return labelsString;
   }, null);
 
-  return string;
+  return labelsString;
 }
 
-export function tokensAsString(tokens) {
-  const string = tokens.reduce((string, token) => {
-    const content = token.getContent();
+export function superTypesStringFromSuperTypes(superTypes) {
+  const superTypesString = superTypes.reduce((superTypesString, superType) => {
+    if (superType !== baseType) {
+      const superTypeString = superType.getString();
 
-    string = `${string}${content}`;
+      superTypesString = (superTypesString === null) ?
+                           `'${superTypeString}'` :
+                             `${superTypesString}, '${superTypeString}'`;
+    }
 
-    return string;
-  }, EMPTY_STRING);
+    return superTypesString;
+  }, null);
 
-  return string;
+  return superTypesString;
 }
 
-export function nodeAsTokens(node, tokens) {
-  const nodeTerminalNode = node.isTerminalNode();
+export function suppositionsStringFromSuppositions(suppositions) {
+  const suppositionsString = suppositions.reduce((suppositionsString, supposition) => {
+    const suppositionString = supposition.getString();
 
-  if (nodeTerminalNode) {
-    const terminalNode = node;  ///
+    suppositionsString = (suppositionsString === null) ?
+                           suppositionString: ///
+                            `${suppositionsString}, ${suppositionString}`;
 
-    tokens = terminalNodeAsTokens(terminalNode, tokens);
-  } else {
-    const nonTerminalNode = node; ///
+    return suppositionsString;
+  }, null);
 
-    tokens = nonTerminalNodeAsTokens(nonTerminalNode, tokens);
-  }
+  return suppositionsString;
+}
 
-  return tokens;
+export function signatureStringFromTerms(terms) {
+  const termsString = termsStringFromTerms(terms),
+        signatureString = `[${termsString}]`;
+
+  return signatureString;
 }
 
-export function trimTrailingSlash(string) {
-  string = string.replace(/\/$/, EMPTY_STRING); ///
+export function equivalenceStringFromTerms(terms) {
+  const termsString = termsStringFromTerms(terms),
+        equivalenceString = termsString;  ///
 
-  return string;
+  return equivalenceString;
 }
 
-function trimString(string) {
-  string = string.replace(/\s+$/, EMPTY_STRING);  ///
+export function subproofStringFromSubproof(subproof) {
+  const lastStep = subproof.getLastStep(),
+        suppositions = subproof.getSuppositions(),
+        lastStepString = lastStep.getString(),
+        suppositionsString = suppositionsStringFromSuppositions(suppositions),
+        subproofString = `[${suppositionsString}] ... ${lastStepString}`;
 
-  return string;
+  return subproofString;
 }
 
-function terminalNodeAsTokens(terminalNode, tokens) {
-  const significantToken = terminalNode.getSignificantToken(),
-        token = significantToken; ///
+export function typeStringFromTypeNameTypePrefixNameAndSuperTypes(typeName, typePrefixName, superTypes) {
+  let typeString;
+
+  typeString = (typePrefixName !== null) ?
+                 `${typePrefixName}${typeName}`:
+                   typeName;
 
-  tokens = [  ///
-    token
-  ];
+  const superTypesString = superTypesStringFromSuperTypes(superTypes);
+
+  if (superTypesString !== null) {
+    typeString = `${typeString}:${superTypesString}`;
+  }
 
-  return tokens;
+  return typeString;
 }
 
-function nonTerminalNodeAsTokens(nonTerminalNode, tokens) {
-  const lastSignificantTokenIndex = nonTerminalNode.getLastSignificantTokenIndex(tokens),
-        firstSignificantTokenIndex = nonTerminalNode.getFirstSignificantTokenIndex(tokens),
-        start = firstSignificantTokenIndex, ///
-        end = lastSignificantTokenIndex + 1;
+export function axiomLemmaTheoremConjectureStringFromLabelsSuppositionsAndDeduction(labels, suppositions, deduction) {
+  let axiomLemmaTheoremConjectureString;
 
-  tokens = tokens.slice(start, end);  ///
+  const suppositionsString = suppositionsStringFromSuppositions(suppositions),
+        deductionString = deduction.getString(),
+        labelsString = labelsStringFromLabels(labels);
+
+  if (labelsString !== null) {
+    axiomLemmaTheoremConjectureString = (suppositionsString !== null) ?
+                                          `${labelsString} :: [${suppositionsString}] ... ${deductionString}` :
+                                            `${labelsString} :: ${deductionString}`;
+  } else {
+    axiomLemmaTheoremConjectureString = (suppositionsString !== null) ?
+                                         `[${suppositionsString}] ... ${deductionString}` :
+                                            deductionString;
+  }
 
-  return tokens;
+  return axiomLemmaTheoremConjectureString;
 }

package/lib/assignment/equality.js

@@ -1,62 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return EqualityAssignment;
-    }
-});
-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;
-}
-var EqualityAssignment = /*#__PURE__*/ function() {
-    function EqualityAssignment(equality) {
-        _class_call_check(this, EqualityAssignment);
-        this.equality = equality;
-    }
-    _create_class(EqualityAssignment, [
-        {
-            key: "getEquality",
-            value: function getEquality() {
-                return this.equality;
-            }
-        },
-        {
-            key: "assign",
-            value: function assign(context) {
-                var equalityAdded = context.addEquality(this.equality), equalityString = this.equality.getString(), equalityAssigned = equalityAdded; ///
-                equalityAssigned ? context.trace("Assigned the '".concat(equalityString, "' equality.")) : context.debug("Unable to assign the '".concat(equalityString, "' equality."));
-                return equalityAssigned;
-            }
-        }
-    ], [
-        {
-            key: "fromEquality",
-            value: function fromEquality(equality) {
-                var equalityAssignment = new EqualityAssignment(equality);
-                return equalityAssignment;
-            }
-        }
-    ]);
-    return EqualityAssignment;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hc3NpZ25tZW50L2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcXVhbGl0eUFzc2lnbm1lbnQge1xuICBjb25zdHJ1Y3RvcihlcXVhbGl0eSkge1xuICAgIHRoaXMuZXF1YWxpdHkgPSBlcXVhbGl0eTtcbiAgfVxuXG4gIGdldEVxdWFsaXR5KCkge1xuICAgIHJldHVybiB0aGlzLmVxdWFsaXR5O1xuICB9XG5cbiAgYXNzaWduKGNvbnRleHQpIHtcbiAgICBjb25zdCBlcXVhbGl0eUFkZGVkID0gY29udGV4dC5hZGRFcXVhbGl0eSh0aGlzLmVxdWFsaXR5KSxcbiAgICAgICAgICBlcXVhbGl0eVN0cmluZyA9IHRoaXMuZXF1YWxpdHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgZXF1YWxpdHlBc3NpZ25lZCA9IGVxdWFsaXR5QWRkZWQ7IC8vL1xuXG4gICAgZXF1YWxpdHlBc3NpZ25lZCA/XG4gICAgICBjb250ZXh0LnRyYWNlKGBBc3NpZ25lZCB0aGUgJyR7ZXF1YWxpdHlTdHJpbmd9JyBlcXVhbGl0eS5gKSA6XG4gICAgICAgIGNvbnRleHQuZGVidWcoYFVuYWJsZSB0byBhc3NpZ24gdGhlICcke2VxdWFsaXR5U3RyaW5nfScgZXF1YWxpdHkuYCk7XG5cbiAgICByZXR1cm4gZXF1YWxpdHlBc3NpZ25lZDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tRXF1YWxpdHkoZXF1YWxpdHkpIHtcbiAgICBjb25zdCBlcXVhbGl0eUFzc2lnbm1lbnQgPSBuZXcgRXF1YWxpdHlBc3NpZ25tZW50KGVxdWFsaXR5KTtcblxuICAgIHJldHVybiBlcXVhbGl0eUFzc2lnbm1lbnQ7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJFcXVhbGl0eUFzc2lnbm1lbnQiLCJlcXVhbGl0eSIsImdldEVxdWFsaXR5IiwiYXNzaWduIiwiY29udGV4dCIsImVxdWFsaXR5QWRkZWQiLCJhZGRFcXVhbGl0eSIsImVxdWFsaXR5U3RyaW5nIiwiZ2V0U3RyaW5nIiwiZXF1YWxpdHlBc3NpZ25lZCIsInRyYWNlIiwiZGVidWciLCJmcm9tRXF1YWxpdHkiLCJlcXVhbGl0eUFzc2lnbm1lbnQiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBRXFCQTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUFOLElBQUEsQUFBTUEsbUNBQU47YUFBTUEsbUJBQ1BDLFFBQVE7Z0NBREREO1FBRWpCLElBQUksQ0FBQ0MsUUFBUSxHQUFHQTs7a0JBRkNEOztZQUtuQkUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRCxRQUFRO1lBQ3RCOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLE9BQU87Z0JBQ1osSUFBTUMsZ0JBQWdCRCxRQUFRRSxXQUFXLENBQUMsSUFBSSxDQUFDTCxRQUFRLEdBQ2pETSxpQkFBaUIsSUFBSSxDQUFDTixRQUFRLENBQUNPLFNBQVMsSUFDeENDLG1CQUFtQkosZUFBZSxHQUFHO2dCQUUzQ0ksbUJBQ0VMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGlCQUErQixPQUFmSCxnQkFBZSxrQkFDNUNILFFBQVFPLEtBQUssQ0FBQyxBQUFDLHlCQUF1QyxPQUFmSixnQkFBZTtnQkFFMUQsT0FBT0U7WUFDVDs7OztZQUVPRyxLQUFBQTttQkFBUCxTQUFPQSxhQUFhWCxRQUFRO2dCQUMxQixJQUFNWSxxQkFBcUIsSUF0QlZiLG1CQXNCaUNDO2dCQUVsRCxPQUFPWTtZQUNUOzs7V0F6Qm1CYiJ9

package/lib/assignment/judgement.js

@@ -1,62 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return JudgementAssignment;
-    }
-});
-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;
-}
-var JudgementAssignment = /*#__PURE__*/ function() {
-    function JudgementAssignment(judgement) {
-        _class_call_check(this, JudgementAssignment);
-        this.judgement = judgement;
-    }
-    _create_class(JudgementAssignment, [
-        {
-            key: "getJudgement",
-            value: function getJudgement() {
-                return this.judgement;
-            }
-        },
-        {
-            key: "assign",
-            value: function assign(context) {
-                var judgementAdded = context.addJudgement(this.judgement), judgementString = this.judgement.getString(), judgementAssigned = judgementAdded; ///
-                judgementAssigned ? context.trace("Assigned the '".concat(judgementString, "' judgement.")) : context.debug("Unable to assign the '".concat(judgementString, "' judgement."));
-                return judgementAssigned;
-            }
-        }
-    ], [
-        {
-            key: "fromJudgement",
-            value: function fromJudgement(judgement) {
-                var judgementAssignment = new JudgementAssignment(judgement);
-                return judgementAssignment;
-            }
-        }
-    ]);
-    return JudgementAssignment;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hc3NpZ25tZW50L2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgSnVkZ2VtZW50QXNzaWdubWVudCB7XG4gIGNvbnN0cnVjdG9yKGp1ZGdlbWVudCkge1xuICAgIHRoaXMuanVkZ2VtZW50ID0ganVkZ2VtZW50O1xuICB9XG5cbiAgZ2V0SnVkZ2VtZW50KCkge1xuICAgIHJldHVybiB0aGlzLmp1ZGdlbWVudDtcbiAgfVxuXG4gIGFzc2lnbihjb250ZXh0KSB7XG4gICAgY29uc3QganVkZ2VtZW50QWRkZWQgPSBjb250ZXh0LmFkZEp1ZGdlbWVudCh0aGlzLmp1ZGdlbWVudCksXG4gICAgICAgICAganVkZ2VtZW50U3RyaW5nID0gdGhpcy5qdWRnZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgICAganVkZ2VtZW50QXNzaWduZWQgPSBqdWRnZW1lbnRBZGRlZDsgLy8vXG5cbiAgICBqdWRnZW1lbnRBc3NpZ25lZCA/XG4gICAgICBjb250ZXh0LnRyYWNlKGBBc3NpZ25lZCB0aGUgJyR7anVkZ2VtZW50U3RyaW5nfScganVkZ2VtZW50LmApIDpcbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgVW5hYmxlIHRvIGFzc2lnbiB0aGUgJyR7anVkZ2VtZW50U3RyaW5nfScganVkZ2VtZW50LmApO1xuXG4gICAgcmV0dXJuIGp1ZGdlbWVudEFzc2lnbmVkO1xuICB9XG5cbiAgc3RhdGljIGZyb21KdWRnZW1lbnQoanVkZ2VtZW50KSB7XG4gICAgY29uc3QganVkZ2VtZW50QXNzaWdubWVudCA9IG5ldyBKdWRnZW1lbnRBc3NpZ25tZW50KGp1ZGdlbWVudCk7XG5cbiAgICByZXR1cm4ganVkZ2VtZW50QXNzaWdubWVudDtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkp1ZGdlbWVudEFzc2lnbm1lbnQiLCJqdWRnZW1lbnQiLCJnZXRKdWRnZW1lbnQiLCJhc3NpZ24iLCJjb250ZXh0IiwianVkZ2VtZW50QWRkZWQiLCJhZGRKdWRnZW1lbnQiLCJqdWRnZW1lbnRTdHJpbmciLCJnZXRTdHJpbmciLCJqdWRnZW1lbnRBc3NpZ25lZCIsInRyYWNlIiwiZGVidWciLCJmcm9tSnVkZ2VtZW50IiwianVkZ2VtZW50QXNzaWdubWVudCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFFcUJBOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQU4sSUFBQSxBQUFNQSxvQ0FBTjthQUFNQSxvQkFDUEMsU0FBUztnQ0FERkQ7UUFFakIsSUFBSSxDQUFDQyxTQUFTLEdBQUdBOztrQkFGQUQ7O1lBS25CRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNELFNBQVM7WUFDdkI7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUEsT0FBT0MsT0FBTztnQkFDWixJQUFNQyxpQkFBaUJELFFBQVFFLFlBQVksQ0FBQyxJQUFJLENBQUNMLFNBQVMsR0FDcERNLGtCQUFrQixJQUFJLENBQUNOLFNBQVMsQ0FBQ08sU0FBUyxJQUMxQ0Msb0JBQW9CSixnQkFBZ0IsR0FBRztnQkFFN0NJLG9CQUNFTCxRQUFRTSxLQUFLLENBQUMsQUFBQyxpQkFBZ0MsT0FBaEJILGlCQUFnQixtQkFDN0NILFFBQVFPLEtBQUssQ0FBQyxBQUFDLHlCQUF3QyxPQUFoQkosaUJBQWdCO2dCQUUzRCxPQUFPRTtZQUNUOzs7O1lBRU9HLEtBQUFBO21CQUFQLFNBQU9BLGNBQWNYLFNBQVM7Z0JBQzVCLElBQU1ZLHNCQUFzQixJQXRCWGIsb0JBc0JtQ0M7Z0JBRXBELE9BQU9ZO1lBQ1Q7OztXQXpCbUJiIn0=

package/lib/assignment/variable.js

@@ -1,64 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return VariableAssignment;
-    }
-});
-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;
-}
-var VariableAssignment = /*#__PURE__*/ function() {
-    function VariableAssignment(variable) {
-        _class_call_check(this, VariableAssignment);
-        this.variable = variable;
-    }
-    _create_class(VariableAssignment, [
-        {
-            key: "getVariable",
-            value: function getVariable() {
-                return this.variable;
-            }
-        },
-        {
-            key: "assign",
-            value: function assign(context) {
-                var nested = false;
-                context.addVariable(this.variable, nested);
-                var variableType = this.variable.getType(), variableString = this.variable.getString(), variableAssigned = true, variableTypeString = variableType.getString();
-                variableAssigned ? context.trace("Assigned the '".concat(variableString, "' variable with type '").concat(variableTypeString, "'.")) : context.debug("Unable to assign the '".concat(variableString, "' variable with type '").concat(variableTypeString, "'."));
-                return variableAssigned;
-            }
-        }
-    ], [
-        {
-            key: "fromVariable",
-            value: function fromVariable(variable) {
-                var variableAssignment = new VariableAssignment(variable);
-                return variableAssignment;
-            }
-        }
-    ]);
-    return VariableAssignment;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hc3NpZ25tZW50L3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBWYXJpYWJsZUFzc2lnbm1lbnQge1xuICBjb25zdHJ1Y3Rvcih2YXJpYWJsZSkge1xuICAgIHRoaXMudmFyaWFibGUgPSB2YXJpYWJsZTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlKCkge1xuICAgIHJldHVybiB0aGlzLnZhcmlhYmxlO1xuICB9XG5cbiAgYXNzaWduKGNvbnRleHQpIHtcbiAgICBjb25zdCBuZXN0ZWQgPSBmYWxzZTtcblxuICAgIGNvbnRleHQuYWRkVmFyaWFibGUodGhpcy52YXJpYWJsZSwgbmVzdGVkKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlVHlwZSA9IHRoaXMudmFyaWFibGUuZ2V0VHlwZSgpLFxuICAgICAgICAgIHZhcmlhYmxlU3RyaW5nID0gdGhpcy52YXJpYWJsZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgICB2YXJpYWJsZUFzc2lnbmVkID0gdHJ1ZSwgLy8vXG4gICAgICAgICAgdmFyaWFibGVUeXBlU3RyaW5nID0gdmFyaWFibGVUeXBlLmdldFN0cmluZygpO1xuXG4gICAgdmFyaWFibGVBc3NpZ25lZCA/XG4gICAgICBjb250ZXh0LnRyYWNlKGBBc3NpZ25lZCB0aGUgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZSB3aXRoIHR5cGUgJyR7dmFyaWFibGVUeXBlU3RyaW5nfScuYCkgOlxuICAgICAgICBjb250ZXh0LmRlYnVnKGBVbmFibGUgdG8gYXNzaWduIHRoZSAnJHt2YXJpYWJsZVN0cmluZ30nIHZhcmlhYmxlIHdpdGggdHlwZSAnJHt2YXJpYWJsZVR5cGVTdHJpbmd9Jy5gKTtcblxuICAgIHJldHVybiB2YXJpYWJsZUFzc2lnbmVkO1xuICB9XG5cbiAgc3RhdGljIGZyb21WYXJpYWJsZSh2YXJpYWJsZSkge1xuICAgIGNvbnN0IHZhcmlhYmxlQXNzaWdubWVudCA9IG5ldyBWYXJpYWJsZUFzc2lnbm1lbnQodmFyaWFibGUpO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlQXNzaWdubWVudDtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIlZhcmlhYmxlQXNzaWdubWVudCIsInZhcmlhYmxlIiwiZ2V0VmFyaWFibGUiLCJhc3NpZ24iLCJjb250ZXh0IiwibmVzdGVkIiwiYWRkVmFyaWFibGUiLCJ2YXJpYWJsZVR5cGUiLCJnZXRUeXBlIiwidmFyaWFibGVTdHJpbmciLCJnZXRTdHJpbmciLCJ2YXJpYWJsZUFzc2lnbmVkIiwidmFyaWFibGVUeXBlU3RyaW5nIiwidHJhY2UiLCJkZWJ1ZyIsImZyb21WYXJpYWJsZSIsInZhcmlhYmxlQXNzaWdubWVudCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFFcUJBOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQU4sSUFBQSxBQUFNQSxtQ0FBTjthQUFNQSxtQkFDUEMsUUFBUTtnQ0FEREQ7UUFFakIsSUFBSSxDQUFDQyxRQUFRLEdBQUdBOztrQkFGQ0Q7O1lBS25CRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNELFFBQVE7WUFDdEI7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUEsT0FBT0MsT0FBTztnQkFDWixJQUFNQyxTQUFTO2dCQUVmRCxRQUFRRSxXQUFXLENBQUMsSUFBSSxDQUFDTCxRQUFRLEVBQUVJO2dCQUVuQyxJQUFNRSxlQUFlLElBQUksQ0FBQ04sUUFBUSxDQUFDTyxPQUFPLElBQ3BDQyxpQkFBaUIsSUFBSSxDQUFDUixRQUFRLENBQUNTLFNBQVMsSUFDeENDLG1CQUFtQixNQUNuQkMscUJBQXFCTCxhQUFhRyxTQUFTO2dCQUVqREMsbUJBQ0VQLFFBQVFTLEtBQUssQ0FBQyxBQUFDLGlCQUF1REQsT0FBdkNILGdCQUFlLDBCQUEyQyxPQUFuQkcsb0JBQW1CLFNBQ3ZGUixRQUFRVSxLQUFLLENBQUMsQUFBQyx5QkFBK0RGLE9BQXZDSCxnQkFBZSwwQkFBMkMsT0FBbkJHLG9CQUFtQjtnQkFFckcsT0FBT0Q7WUFDVDs7OztZQUVPSSxLQUFBQTttQkFBUCxTQUFPQSxhQUFhZCxRQUFRO2dCQUMxQixJQUFNZSxxQkFBcUIsSUEzQlZoQixtQkEyQmlDQztnQkFFbEQsT0FBT2U7WUFDVDs7O1dBOUJtQmhCIn0=

package/lib/context/bracketed/combinator.js

@@ -1,121 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
-var _statement = /*#__PURE__*/ _interop_require_default(require("../../context/partial/statement"));
-var _metaTypeNames = require("../../metaTypeNames");
-var _nominal = require("../../utilities/nominal");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-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 _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var CombinatorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
-    _inherits(CombinatorBracketedContext, BracketedContext);
-    function CombinatorBracketedContext() {
-        _class_call_check(this, CombinatorBracketedContext);
-        return _call_super(this, CombinatorBracketedContext, arguments);
-    }
-    _create_class(CombinatorBracketedContext, [
-        {
-            key: "getBracketedStatementNode",
-            value: function getBracketedStatementNode() {
-                var node = this.getNode(), bracketedStatementNode = node; ///
-                return bracketedStatementNode;
-            }
-        }
-    ], [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var string = "(".concat(_metaTypeNames.STATEMENT_META_TYPE_NAME, ")"), lexer = _nominal.nominalLexer, parser = _nominal.nominalParser, statementPartialContext = _statement.default.fromStringLexerAndParser(string, lexer, parser), context = statementPartialContext, combinatorBracketedContext = _bracketted.default.fromString(CombinatorBracketedContext, string, context);
-                return combinatorBracketedContext;
-            }
-        }
-    ]);
-    return CombinatorBracketedContext;
-}(_bracketted.default);
-var combinatorBracketedContext = CombinatorBracketedContext.fromNothing();
-var _default = combinatorBracketedContext;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb21iaW5hdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgQnJhY2tldGVkQ29udGV4dCBmcm9tIFwiLi4vLi4vY29udGV4dC9icmFja2V0dGVkXCI7XG5pbXBvcnQgU3RhdGVtZW50UGFydGlhbENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvcGFydGlhbC9zdGF0ZW1lbnRcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX01FVEFfVFlQRV9OQU1FIH0gZnJvbSBcIi4uLy4uL21ldGFUeXBlTmFtZXNcIjtcbmltcG9ydCB7IG5vbWluYWxMZXhlciwgbm9taW5hbFBhcnNlciB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvbm9taW5hbFwiO1xuXG5jbGFzcyBDb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCBleHRlbmRzIEJyYWNrZXRlZENvbnRleHQge1xuICBnZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IG5vZGUgPSB0aGlzLmdldE5vZGUoKSxcbiAgICAgICAgICBicmFja2V0ZWRTdGF0ZW1lbnROb2RlID0gbm9kZTsgIC8vL1xuXG4gICAgcmV0dXJuIGJyYWNrZXRlZFN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbU5vdGhpbmcoKSB7XG4gICAgY29uc3Qgc3RyaW5nID0gYCgke1NUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRX0pYCxcbiAgICAgICAgICBsZXhlciA9IG5vbWluYWxMZXhlciwgLy8vXG4gICAgICAgICAgcGFyc2VyID0gbm9taW5hbFBhcnNlciwgLy8vXG4gICAgICAgICAgc3RhdGVtZW50UGFydGlhbENvbnRleHQgPSBTdGF0ZW1lbnRQYXJ0aWFsQ29udGV4dC5mcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoc3RyaW5nLCBsZXhlciwgcGFyc2VyKSxcbiAgICAgICAgICBjb250ZXh0ID0gc3RhdGVtZW50UGFydGlhbENvbnRleHQsICAvLy9cbiAgICAgICAgICBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCA9IEJyYWNrZXRlZENvbnRleHQuZnJvbVN0cmluZyhDb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCwgc3RyaW5nLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dDtcbiAgfVxufVxuXG5jb25zdCBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCA9IENvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LmZyb21Ob3RoaW5nKCk7XG5cbmV4cG9ydCBkZWZhdWx0ICBjb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dDtcbiJdLCJuYW1lcyI6WyJDb21iaW5hdG9yQnJhY2tldGVkQ29udGV4dCIsImdldEJyYWNrZXRlZFN0YXRlbWVudE5vZGUiLCJub2RlIiwiZ2V0Tm9kZSIsImJyYWNrZXRlZFN0YXRlbWVudE5vZGUiLCJmcm9tTm90aGluZyIsInN0cmluZyIsIlNUQVRFTUVOVF9NRVRBX1RZUEVfTkFNRSIsImxleGVyIiwibm9taW5hbExleGVyIiwicGFyc2VyIiwibm9taW5hbFBhcnNlciIsInN0YXRlbWVudFBhcnRpYWxDb250ZXh0IiwiU3RhdGVtZW50UGFydGlhbENvbnRleHQiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiLCJjb250ZXh0IiwiY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQiLCJCcmFja2V0ZWRDb250ZXh0IiwiZnJvbVN0cmluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBOEJBOzs7ZUFBQTs7O2lFQTVCNkI7Z0VBQ087NkJBRUs7dUJBQ0c7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFNUMsSUFBQSxBQUFNQSwyQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNKQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsT0FBTyxJQUFJLENBQUNDLE9BQU8sSUFDbkJDLHlCQUF5QkYsTUFBTyxHQUFHO2dCQUV6QyxPQUFPRTtZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU1DLFNBQVMsQUFBQyxJQUE0QixPQUF6QkMsdUNBQXdCLEVBQUMsTUFDdENDLFFBQVFDLHFCQUFZLEVBQ3BCQyxTQUFTQyxzQkFBYSxFQUN0QkMsMEJBQTBCQyxrQkFBdUIsQ0FBQ0Msd0JBQXdCLENBQUNSLFFBQVFFLE9BQU9FLFNBQzFGSyxVQUFVSCx5QkFDVkksNkJBQTZCQyxtQkFBZ0IsQ0FBQ0MsVUFBVSxDQWQ1RGxCLDRCQWN5Rk0sUUFBUVM7Z0JBRW5HLE9BQU9DO1lBQ1Q7OztXQWpCSWhCO0VBQW1DaUIsbUJBQWdCO0FBb0J6RCxJQUFNRCw2QkFBNkJoQiwyQkFBMkJLLFdBQVc7SUFFekUsV0FBZ0JXIn0=

package/lib/context/bracketed/constructor.js

@@ -1,121 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _bracketted = /*#__PURE__*/ _interop_require_default(require("../../context/bracketted"));
-var _term = /*#__PURE__*/ _interop_require_default(require("../../context/partial/term"));
-var _constants = require("../../constants");
-var _nominal = require("../../utilities/nominal");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-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 _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var ConstructorBracketedContext = /*#__PURE__*/ function(BracketedContext) {
-    _inherits(ConstructorBracketedContext, BracketedContext);
-    function ConstructorBracketedContext() {
-        _class_call_check(this, ConstructorBracketedContext);
-        return _call_super(this, ConstructorBracketedContext, arguments);
-    }
-    _create_class(ConstructorBracketedContext, [
-        {
-            key: "getBracketedTermNode",
-            value: function getBracketedTermNode() {
-                var node = this.getNode(), bracketedTermNode = node; ///
-                return bracketedTermNode;
-            }
-        }
-    ], [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var string = "(".concat(_constants.BASE_TYPE_SYMBOL, ")"), lexer = _nominal.nominalLexer, parser = _nominal.nominalParser, termPartialContext = _term.default.fromStringLexerAndParser(string, lexer, parser), context = termPartialContext, constructorBracketedContext = _bracketted.default.fromString(ConstructorBracketedContext, string, context);
-                return constructorBracketedContext;
-            }
-        }
-    ]);
-    return ConstructorBracketedContext;
-}(_bracketted.default);
-var constructorBracketedContext = ConstructorBracketedContext.fromNothing();
-var _default = constructorBracketedContext;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXRlZC9jb25zdHJ1Y3Rvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IEJyYWNrZXRlZENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvYnJhY2tldHRlZFwiO1xuaW1wb3J0IFRlcm1QYXJ0aWFsQ29udGV4dCBmcm9tIFwiLi4vLi4vY29udGV4dC9wYXJ0aWFsL3Rlcm1cIjtcblxuaW1wb3J0IHsgQkFTRV9UWVBFX1NZTUJPTCB9IGZyb20gXCIuLi8uLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IG5vbWluYWxMZXhlciwgbm9taW5hbFBhcnNlciB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvbm9taW5hbFwiO1xuXG5jbGFzcyBDb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQgZXh0ZW5kcyBCcmFja2V0ZWRDb250ZXh0IHtcbiAgZ2V0QnJhY2tldGVkVGVybU5vZGUoKSB7XG4gICAgY29uc3Qgbm9kZSA9IHRoaXMuZ2V0Tm9kZSgpLFxuICAgICAgICAgIGJyYWNrZXRlZFRlcm1Ob2RlID0gbm9kZTsgIC8vL1xuXG4gICAgcmV0dXJuIGJyYWNrZXRlZFRlcm1Ob2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHN0cmluZyA9IGAoJHtCQVNFX1RZUEVfU1lNQk9MfSlgLFxuICAgICAgICAgIGxleGVyID0gbm9taW5hbExleGVyLCAvLy9cbiAgICAgICAgICBwYXJzZXIgPSBub21pbmFsUGFyc2VyLCAvLy9cbiAgICAgICAgICB0ZXJtUGFydGlhbENvbnRleHQgPSBUZXJtUGFydGlhbENvbnRleHQuZnJvbVN0cmluZ0xleGVyQW5kUGFyc2VyKHN0cmluZywgbGV4ZXIsIHBhcnNlciksXG4gICAgICAgICAgY29udGV4dCA9IHRlcm1QYXJ0aWFsQ29udGV4dCxcbiAgICAgICAgICBjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQgPSBCcmFja2V0ZWRDb250ZXh0LmZyb21TdHJpbmcoQ29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0LCBzdHJpbmcsIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIGNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dDtcbiAgfVxufVxuXG5jb25zdCBjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQgPSBDb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgY29uc3RydWN0b3JCcmFja2V0ZWRDb250ZXh0O1xuIl0sIm5hbWVzIjpbIkNvbnN0cnVjdG9yQnJhY2tldGVkQ29udGV4dCIsImdldEJyYWNrZXRlZFRlcm1Ob2RlIiwibm9kZSIsImdldE5vZGUiLCJicmFja2V0ZWRUZXJtTm9kZSIsImZyb21Ob3RoaW5nIiwic3RyaW5nIiwiQkFTRV9UWVBFX1NZTUJPTCIsImxleGVyIiwibm9taW5hbExleGVyIiwicGFyc2VyIiwibm9taW5hbFBhcnNlciIsInRlcm1QYXJ0aWFsQ29udGV4dCIsIlRlcm1QYXJ0aWFsQ29udGV4dCIsImZyb21TdHJpbmdMZXhlckFuZFBhcnNlciIsImNvbnRleHQiLCJjb25zdHJ1Y3RvckJyYWNrZXRlZENvbnRleHQiLCJCcmFja2V0ZWRDb250ZXh0IiwiZnJvbVN0cmluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBOEJBOzs7ZUFBQTs7O2lFQTVCNkI7MkRBQ0U7eUJBRUU7dUJBQ1c7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFNUMsSUFBQSxBQUFNQSw0Q0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNKQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsT0FBTyxJQUFJLENBQUNDLE9BQU8sSUFDbkJDLG9CQUFvQkYsTUFBTyxHQUFHO2dCQUVwQyxPQUFPRTtZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU1DLFNBQVMsQUFBQyxJQUFvQixPQUFqQkMsMkJBQWdCLEVBQUMsTUFDOUJDLFFBQVFDLHFCQUFZLEVBQ3BCQyxTQUFTQyxzQkFBYSxFQUN0QkMscUJBQXFCQyxhQUFrQixDQUFDQyx3QkFBd0IsQ0FBQ1IsUUFBUUUsT0FBT0UsU0FDaEZLLFVBQVVILG9CQUNWSSw4QkFBOEJDLG1CQUFnQixDQUFDQyxVQUFVLENBZDdEbEIsNkJBYzJGTSxRQUFRUztnQkFFckcsT0FBT0M7WUFDVDs7O1dBakJJaEI7RUFBb0NpQixtQkFBZ0I7QUFvQjFELElBQU1ELDhCQUE4QmhCLDRCQUE0QkssV0FBVztJQUUzRSxXQUFlVyJ9