occam-verify-cli 1.0.508 → 1.0.511
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/context/ephemeral.js +1 -15
- package/lib/context/file/nominal.js +903 -0
- package/lib/context/liminal.js +1 -15
- package/lib/context/literal.js +1 -15
- package/lib/context/nominal.js +1 -15
- package/lib/context/release.js +670 -0
- package/lib/context/scoped.js +1 -15
- package/lib/context/synthetic.js +1 -15
- package/lib/element/type.js +4 -4
- package/lib/node/assumption.js +2 -2
- package/lib/node/document.js +3 -3
- package/lib/utilities/element.js +3 -3
- package/lib/utilities/string.js +3 -3
- package/package.json +3 -3
- package/src/context/ephemeral.js +0 -10
- package/src/context/{file.js → file/nominal.js} +23 -154
- package/src/context/liminal.js +0 -10
- package/src/context/literal.js +0 -10
- package/src/context/nominal.js +0 -12
- package/src/context/release.js +647 -0
- package/src/context/scoped.js +0 -10
- package/src/context/synthetic.js +0 -10
- package/src/element/type.js +1 -1
- package/src/node/assumption.js +1 -1
- package/src/node/document.js +1 -1
- package/src/utilities/element.js +1 -1
- package/src/utilities/string.js +1 -1
- package/lib/context/file.js +0 -1007
package/lib/context/liminal.js
CHANGED
|
@@ -90,20 +90,6 @@ var LiminalContext = /*#__PURE__*/ function() {
|
|
|
90
90
|
context.trace("Added the '".concat(substitutionString, "' substitution to the context."));
|
|
91
91
|
this.substitutions.push(substitution);
|
|
92
92
|
}
|
|
93
|
-
},
|
|
94
|
-
{
|
|
95
|
-
key: "getFileContext",
|
|
96
|
-
value: function getFileContext() {
|
|
97
|
-
return this.context.getFileContext();
|
|
98
|
-
}
|
|
99
|
-
},
|
|
100
|
-
{
|
|
101
|
-
key: "getDepth",
|
|
102
|
-
value: function getDepth() {
|
|
103
|
-
var depth = this.context.getDepth();
|
|
104
|
-
depth++;
|
|
105
|
-
return depth;
|
|
106
|
-
}
|
|
107
93
|
}
|
|
108
94
|
], [
|
|
109
95
|
{
|
|
@@ -117,4 +103,4 @@ var LiminalContext = /*#__PURE__*/ function() {
|
|
|
117
103
|
return LiminalContext;
|
|
118
104
|
}();
|
|
119
105
|
|
|
120
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2xpbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuaW1wb3J0IHsgY29udGV4dFV0aWxpdGllcyB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuY29uc3QgeyBleHRyYWN0IH0gPSBhcnJheVV0aWxpdGllcyxcbiAgICAgIHsgY2hhaW5Db250ZXh0IH0gPSBjb250ZXh0VXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMaW1pbmFsQ29udGV4dCB7XG4gIGNvbnN0cnVjdG9yKGNvbnRleHQsIHN1YnN0aXR1dGlvbnMpIHtcbiAgICB0aGlzLmNvbnRleHQgPSBjb250ZXh0O1xuICAgIHRoaXMuc3Vic3RpdHV0aW9ucyA9IHN1YnN0aXR1dGlvbnM7XG5cbiAgICByZXR1cm4gY2hhaW5Db250ZXh0KHRoaXMpO1xuICB9XG5cbiAgZ2V0Q29udGV4dCgpIHtcbiAgICByZXR1cm4gdGhpcy5jb250ZXh0O1xuICB9XG5cbiAgZ2V0U3Vic3RpdHV0aW9ucygpIHtcbiAgICBsZXQgc3Vic3RpdHV0aW9ucyA9IHRoaXMuY29udGV4dC5nZXRTdWJzdGl0dXRpb25zKCk7XG5cbiAgICBzdWJzdGl0dXRpb25zID0gWyAvLy9cbiAgICAgIC4uLnRoaXMuc3Vic3RpdHV0aW9ucyxcbiAgICAgIC4uLnN1YnN0aXR1dGlvbnNcbiAgICBdXG5cbiAgICByZXR1cm4gc3Vic3RpdHV0aW9ucztcbiAgfVxuXG4gIGFkZFN1YnN0aXR1dGlvbihzdWJzdGl0dXRpb24pIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcywgLy8vXG4gICAgICAgICAgc3Vic3RpdHV0aW9uQSA9IHN1YnN0aXR1dGlvbiwgLy8vXG4gICAgICAgICAgc3Vic3RpdHV0aW9uU3RyaW5nID0gc3Vic3RpdHV0aW9uLmdldFN0cmluZygpO1xuXG4gICAgZXh0cmFjdCh0aGlzLnN1YnN0aXR1dGlvbnMsIChzdWJzdGl0dXRpb24pID0+
|
|
106
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2xpbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuaW1wb3J0IHsgY29udGV4dFV0aWxpdGllcyB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuY29uc3QgeyBleHRyYWN0IH0gPSBhcnJheVV0aWxpdGllcyxcbiAgICAgIHsgY2hhaW5Db250ZXh0IH0gPSBjb250ZXh0VXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBMaW1pbmFsQ29udGV4dCB7XG4gIGNvbnN0cnVjdG9yKGNvbnRleHQsIHN1YnN0aXR1dGlvbnMpIHtcbiAgICB0aGlzLmNvbnRleHQgPSBjb250ZXh0O1xuICAgIHRoaXMuc3Vic3RpdHV0aW9ucyA9IHN1YnN0aXR1dGlvbnM7XG5cbiAgICByZXR1cm4gY2hhaW5Db250ZXh0KHRoaXMpO1xuICB9XG5cbiAgZ2V0Q29udGV4dCgpIHtcbiAgICByZXR1cm4gdGhpcy5jb250ZXh0O1xuICB9XG5cbiAgZ2V0U3Vic3RpdHV0aW9ucygpIHtcbiAgICBsZXQgc3Vic3RpdHV0aW9ucyA9IHRoaXMuY29udGV4dC5nZXRTdWJzdGl0dXRpb25zKCk7XG5cbiAgICBzdWJzdGl0dXRpb25zID0gWyAvLy9cbiAgICAgIC4uLnRoaXMuc3Vic3RpdHV0aW9ucyxcbiAgICAgIC4uLnN1YnN0aXR1dGlvbnNcbiAgICBdXG5cbiAgICByZXR1cm4gc3Vic3RpdHV0aW9ucztcbiAgfVxuXG4gIGFkZFN1YnN0aXR1dGlvbihzdWJzdGl0dXRpb24pIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcywgLy8vXG4gICAgICAgICAgc3Vic3RpdHV0aW9uQSA9IHN1YnN0aXR1dGlvbiwgLy8vXG4gICAgICAgICAgc3Vic3RpdHV0aW9uU3RyaW5nID0gc3Vic3RpdHV0aW9uLmdldFN0cmluZygpO1xuXG4gICAgZXh0cmFjdCh0aGlzLnN1YnN0aXR1dGlvbnMsIChzdWJzdGl0dXRpb24pID0+IHtcbiAgICAgIGNvbnN0IHN1YnN0aXR1dGlvbkIgPSBzdWJzdGl0dXRpb24sIC8vL1xuICAgICAgICAgICAgc3Vic3RpdHV0aW9uQUVxdWFsVG9Bc3NlcnRpb25CID0gc3Vic3RpdHV0aW9uQS5pc0VxdWFsVG8oc3Vic3RpdHV0aW9uQik7XG5cbiAgICAgIGlmIChzdWJzdGl0dXRpb25BRXF1YWxUb0Fzc2VydGlvbkIpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBBZGRlZCB0aGUgJyR7c3Vic3RpdHV0aW9uU3RyaW5nfScgc3Vic3RpdHV0aW9uIHRvIHRoZSBjb250ZXh0LmApO1xuXG4gICAgdGhpcy5zdWJzdGl0dXRpb25zLnB1c2goc3Vic3RpdHV0aW9uKTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTm90aGluZyhjb250ZXh0KSB7XG4gICAgY29uc3Qgc3Vic3RpdHV0aW9ucyA9IFtdLFxuICAgICAgICAgIGVtcGhlbWVyYWxDb250ZXh0ID0gbmV3IExpbWluYWxDb250ZXh0KGNvbnRleHQsIHN1YnN0aXR1dGlvbnMpO1xuXG4gICAgcmV0dXJuIGVtcGhlbWVyYWxDb250ZXh0O1xuICB9XG59XG4iXSwibmFtZXMiOlsiTGltaW5hbENvbnRleHQiLCJleHRyYWN0IiwiYXJyYXlVdGlsaXRpZXMiLCJjaGFpbkNvbnRleHQiLCJjb250ZXh0VXRpbGl0aWVzIiwiY29udGV4dCIsInN1YnN0aXR1dGlvbnMiLCJnZXRDb250ZXh0IiwiZ2V0U3Vic3RpdHV0aW9ucyIsImFkZFN1YnN0aXR1dGlvbiIsInN1YnN0aXR1dGlvbiIsInN1YnN0aXR1dGlvbkEiLCJzdWJzdGl0dXRpb25TdHJpbmciLCJnZXRTdHJpbmciLCJzdWJzdGl0dXRpb25CIiwic3Vic3RpdHV0aW9uQUVxdWFsVG9Bc3NlcnRpb25CIiwiaXNFcXVhbFRvIiwidHJhY2UiLCJwdXNoIiwiZnJvbU5vdGhpbmciLCJlbXBoZW1lcmFsQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFRcUJBOzs7eUJBTlU7MkJBQ0U7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVqQyxJQUFNLEFBQUVDLFVBQVlDLHlCQUFjLENBQTFCRCxTQUNGLEFBQUVFLGVBQWlCQyw2QkFBZ0IsQ0FBakNEO0FBRU8sSUFBQSxBQUFNSCwrQkFBTjthQUFNQSxlQUNQSyxPQUFPLEVBQUVDLGFBQWE7Z0NBRGZOO1FBRWpCLElBQUksQ0FBQ0ssT0FBTyxHQUFHQTtRQUNmLElBQUksQ0FBQ0MsYUFBYSxHQUFHQTtRQUVyQixPQUFPSCxhQUFhLElBQUk7O2tCQUxQSDs7WUFRbkJPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsT0FBTztZQUNyQjs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJRixnQkFBZ0IsSUFBSSxDQUFDRCxPQUFPLENBQUNHLGdCQUFnQjtnQkFFakRGLGdCQUFnQixBQUNkLHFCQUFHLElBQUksQ0FBQ0EsYUFBYSxTQUNyQixxQkFBR0E7Z0JBR0wsT0FBT0E7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQSxnQkFBZ0JDLFlBQVk7Z0JBQzFCLElBQU1MLFVBQVUsSUFBSSxFQUNkTSxnQkFBZ0JELGNBQ2hCRSxxQkFBcUJGLGFBQWFHLFNBQVM7Z0JBRWpEWixRQUFRLElBQUksQ0FBQ0ssYUFBYSxFQUFFLFNBQUNJO29CQUMzQixJQUFNSSxnQkFBZ0JKLGNBQ2hCSyxpQ0FBaUNKLGNBQWNLLFNBQVMsQ0FBQ0Y7b0JBRS9ELElBQUlDLGdDQUFnQzt3QkFDbEMsT0FBTztvQkFDVDtnQkFDRjtnQkFFQVYsUUFBUVksS0FBSyxDQUFDLEFBQUMsY0FBZ0MsT0FBbkJMLG9CQUFtQjtnQkFFL0MsSUFBSSxDQUFDTixhQUFhLENBQUNZLElBQUksQ0FBQ1I7WUFDMUI7Ozs7WUFFT1MsS0FBQUE7bUJBQVAsU0FBT0EsWUFBWWQsT0FBTztnQkFDeEIsSUFBTUMsZ0JBQWdCLEVBQUUsRUFDbEJjLG9CQUFvQixJQTVDVHBCLGVBNEM0QkssU0FBU0M7Z0JBRXRELE9BQU9jO1lBQ1Q7OztXQS9DbUJwQiJ9
|
package/lib/context/literal.js
CHANGED
|
@@ -61,20 +61,6 @@ var LiteralContext = /*#__PURE__*/ function() {
|
|
|
61
61
|
var string = nodeAsString(node, this.tokens);
|
|
62
62
|
return string;
|
|
63
63
|
}
|
|
64
|
-
},
|
|
65
|
-
{
|
|
66
|
-
key: "getFileContext",
|
|
67
|
-
value: function getFileContext() {
|
|
68
|
-
return this.context.getFileContext();
|
|
69
|
-
}
|
|
70
|
-
},
|
|
71
|
-
{
|
|
72
|
-
key: "getDepth",
|
|
73
|
-
value: function getDepth() {
|
|
74
|
-
var depth = this.context.getDepth();
|
|
75
|
-
depth++;
|
|
76
|
-
return depth;
|
|
77
|
-
}
|
|
78
64
|
}
|
|
79
65
|
], [
|
|
80
66
|
{
|
|
@@ -88,4 +74,4 @@ var LiteralContext = /*#__PURE__*/ function() {
|
|
|
88
74
|
return LiteralContext;
|
|
89
75
|
}();
|
|
90
76
|
|
|
91
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
77
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2xpdGVyYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVVdGlsaXRpZXMsIGNvbnRleHRVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tZnVydGxlXCI7XG5cbmNvbnN0IHsgbm9kZUFzU3RyaW5nIH0gPSBub2RlVXRpbGl0aWVzLFxuICAgICAgeyBjaGFpbkNvbnRleHQgfSA9IGNvbnRleHRVdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIExpdGVyYWxDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgdG9rZW5zKSB7XG4gICAgdGhpcy5jb250ZXh0ID0gY29udGV4dDtcbiAgICB0aGlzLnRva2VucyA9IHRva2VucztcblxuICAgIHJldHVybiBjaGFpbkNvbnRleHQodGhpcyk7XG4gIH1cblxuICBnZXRDb250ZXh0KCkge1xuICAgIHJldHVybiB0aGlzLmNvbnRleHQ7XG4gIH1cblxuICBnZXRUb2tlbnMoKSB7XG4gICAgcmV0dXJuIHRoaXMudG9rZW5zO1xuICB9XG5cbiAgc2V0VG9rZW5zKHRva2Vucykge1xuICAgIHRoaXMudG9rZW5zID0gdG9rZW5zO1xuICB9XG5cbiAgbm9kZUFzU3RyaW5nKG5vZGUpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBub2RlQXNTdHJpbmcobm9kZSwgdGhpcy50b2tlbnMpO1xuXG4gICAgcmV0dXJuIHN0cmluZztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTm90aGluZyhjb250ZXh0KSB7XG4gICAgY29uc3QgdG9rZW5zID0gbnVsbCxcbiAgICAgICAgICBsaXRlcmFsQ29udGV4dCA9IG5ldyBMaXRlcmFsQ29udGV4dChjb250ZXh0LCB0b2tlbnMpO1xuXG4gICAgcmV0dXJuIGxpdGVyYWxDb250ZXh0O1xuICB9XG59XG4iXSwibmFtZXMiOlsiTGl0ZXJhbENvbnRleHQiLCJub2RlQXNTdHJpbmciLCJub2RlVXRpbGl0aWVzIiwiY2hhaW5Db250ZXh0IiwiY29udGV4dFV0aWxpdGllcyIsImNvbnRleHQiLCJ0b2tlbnMiLCJnZXRDb250ZXh0IiwiZ2V0VG9rZW5zIiwic2V0VG9rZW5zIiwibm9kZSIsInN0cmluZyIsImZyb21Ob3RoaW5nIiwibGl0ZXJhbENvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBT3FCQTs7OzJCQUwyQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFaEQsSUFBTSxBQUFFQyxlQUFpQkMsMEJBQWEsQ0FBOUJELGNBQ0YsQUFBRUUsZUFBaUJDLDZCQUFnQixDQUFqQ0Q7QUFFTyxJQUFBLEFBQU1ILCtCQUFOO2FBQU1BLGVBQ1BLLE9BQU8sRUFBRUMsTUFBTTtnQ0FEUk47UUFFakIsSUFBSSxDQUFDSyxPQUFPLEdBQUdBO1FBQ2YsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBRWQsT0FBT0gsYUFBYSxJQUFJOztrQkFMUEg7O1lBUW5CTyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNGLE9BQU87WUFDckI7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNGLE1BQU07WUFDcEI7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUEsVUFBVUgsTUFBTTtnQkFDZCxJQUFJLENBQUNBLE1BQU0sR0FBR0E7WUFDaEI7OztZQUVBTCxLQUFBQTttQkFBQUEsU0FBQUEsY0FBYVMsSUFBSTtnQkFDZixJQUFNQyxTQUFTVixhQUFhUyxNQUFNLElBQUksQ0FBQ0osTUFBTTtnQkFFN0MsT0FBT0s7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSxZQUFZUCxPQUFPO2dCQUN4QixJQUFNQyxTQUFTLE1BQ1RPLGlCQUFpQixJQTVCTmIsZUE0QnlCSyxTQUFTQztnQkFFbkQsT0FBT087WUFDVDs7O1dBL0JtQmIifQ==
|
package/lib/context/nominal.js
CHANGED
|
@@ -46,20 +46,6 @@ var NominalContext = /*#__PURE__*/ function() {
|
|
|
46
46
|
value: function getParser() {
|
|
47
47
|
return this.parser;
|
|
48
48
|
}
|
|
49
|
-
},
|
|
50
|
-
{
|
|
51
|
-
key: "getFileContext",
|
|
52
|
-
value: function getFileContext() {
|
|
53
|
-
var fileContext = null;
|
|
54
|
-
return fileContext;
|
|
55
|
-
}
|
|
56
|
-
},
|
|
57
|
-
{
|
|
58
|
-
key: "getDepth",
|
|
59
|
-
value: function getDepth() {
|
|
60
|
-
var depth = -1;
|
|
61
|
-
return depth;
|
|
62
|
-
}
|
|
63
49
|
}
|
|
64
50
|
], [
|
|
65
51
|
{
|
|
@@ -75,4 +61,4 @@ var NominalContext = /*#__PURE__*/ function() {
|
|
|
75
61
|
var nominalContext = NominalContext.fromNothing();
|
|
76
62
|
var _default = nominalContext;
|
|
77
63
|
|
|
78
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
64
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L25vbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vbWluYWxMZXhlciwgbm9taW5hbFBhcnNlciB9IGZyb20gXCIuLi91dGlsaXRpZXMvbm9taW5hbFwiO1xuXG5jbGFzcyBOb21pbmFsQ29udGV4dCB7XG4gIGNvbnN0cnVjdG9yKGxleGVyLCBwYXJzZXIpIHtcbiAgICB0aGlzLmxleGVyID0gbGV4ZXI7XG4gICAgdGhpcy5wYXJzZXIgPSBwYXJzZXI7XG4gIH1cblxuICBnZXRMZXhlcigpIHtcbiAgICByZXR1cm4gdGhpcy5sZXhlcjtcbiAgfVxuXG4gIGdldFBhcnNlcigpIHtcbiAgICByZXR1cm4gdGhpcy5wYXJzZXI7XG4gIH1cblxuICBzdGF0aWMgZnJvbU5vdGhpbmcoKSB7XG4gICAgY29uc3QgbGV4ZXIgPSBub21pbmFsTGV4ZXIsIC8vL1xuICAgICAgICAgIHBhcnNlciA9IG5vbWluYWxQYXJzZXIsIC8vL1xuICAgICAgICAgIG5vbWluYWxDb250ZXh0ID0gbmV3IE5vbWluYWxDb250ZXh0KGxleGVyLCBwYXJzZXIpO1xuXG4gICAgcmV0dXJuIG5vbWluYWxDb250ZXh0O1xuICB9XG59XG5cbmNvbnN0IG5vbWluYWxDb250ZXh0ID0gTm9taW5hbENvbnRleHQuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgbm9taW5hbENvbnRleHQ7XG4iXSwibmFtZXMiOlsiTm9taW5hbENvbnRleHQiLCJsZXhlciIsInBhcnNlciIsImdldExleGVyIiwiZ2V0UGFyc2VyIiwiZnJvbU5vdGhpbmciLCJub21pbmFsTGV4ZXIiLCJub21pbmFsUGFyc2VyIiwibm9taW5hbENvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQTZCQTs7O2VBQUE7Ozt1QkEzQjRDOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUU1QyxJQUFBLEFBQU1BLCtCQUFOO2FBQU1BLGVBQ1FDLEtBQUssRUFBRUMsTUFBTTtnQ0FEckJGO1FBRUYsSUFBSSxDQUFDQyxLQUFLLEdBQUdBO1FBQ2IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBOztrQkFIWkY7O1lBTUpHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsS0FBSztZQUNuQjs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsTUFBTTtZQUNwQjs7OztZQUVPRyxLQUFBQTttQkFBUCxTQUFPQTtnQkFDTCxJQUFNSixRQUFRSyxxQkFBWSxFQUNwQkosU0FBU0ssc0JBQWEsRUFDdEJDLGlCQUFpQixJQWpCckJSLGVBaUJ3Q0MsT0FBT0M7Z0JBRWpELE9BQU9NO1lBQ1Q7OztXQXBCSVI7O0FBdUJOLElBQU1RLGlCQUFpQlIsZUFBZUssV0FBVztJQUVqRCxXQUFlRyJ9
|