occam-verify-cli 1.0.166 → 1.0.168
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/assignment/variable.js +3 -3
- package/lib/context/file.js +6 -4
- package/lib/context/release.js +32 -3
- package/lib/dom/assertion/type.js +10 -15
- package/lib/dom/combinator/bracketed.js +25 -4
- package/lib/dom/constructor.js +6 -29
- package/lib/dom/declaration/complexType.js +26 -60
- package/lib/dom/declaration/constructor.js +10 -15
- package/lib/dom/declaration/metavariable.js +10 -15
- package/lib/dom/declaration/type.js +20 -46
- package/lib/dom/declaration/variable.js +19 -19
- package/lib/dom/property.js +3 -3
- package/lib/dom/propertyRelation.js +3 -3
- package/lib/dom/term.js +4 -4
- package/lib/dom/type.js +80 -68
- package/lib/dom/variable.js +24 -52
- package/lib/equivalence.js +3 -3
- package/lib/node/assertion/contained.js +131 -0
- package/lib/node/assertion/defined.js +131 -0
- package/lib/node/assertion/property.js +131 -0
- package/lib/node/assertion/satisfies.js +131 -0
- package/lib/node/assertion/subproof.js +131 -0
- package/lib/node/assertion/type.js +131 -0
- package/lib/node/axiom.js +131 -0
- package/lib/node/combinator.js +131 -0
- package/lib/node/conclusion.js +131 -0
- package/lib/node/conjecture.js +131 -0
- package/lib/node/constructor.js +131 -0
- package/lib/node/declaration/combinator.js +131 -0
- package/lib/node/declaration/complexType.js +131 -0
- package/lib/node/declaration/constructor.js +131 -0
- package/lib/node/declaration/metavariable.js +131 -0
- package/lib/node/declaration/type.js +131 -0
- package/lib/node/declaration/variable.js +131 -0
- package/lib/node/declaration.js +131 -0
- package/lib/node/deduction.js +131 -0
- package/lib/node/derivation.js +131 -0
- package/lib/node/equality.js +131 -0
- package/lib/node/error.js +131 -0
- package/lib/node/frame.js +131 -0
- package/lib/node/judgement.js +131 -0
- package/lib/node/label.js +131 -0
- package/lib/node/lemma.js +131 -0
- package/lib/node/metaLemma.js +131 -0
- package/lib/node/metaType.js +131 -0
- package/lib/node/metatheorem.js +131 -0
- package/lib/node/metavariable.js +131 -0
- package/lib/node/parameter.js +131 -0
- package/lib/node/premise.js +131 -0
- package/lib/node/procedureCall.js +131 -0
- package/lib/node/proof.js +131 -0
- package/lib/node/property.js +131 -0
- package/lib/node/propertyRelation.js +131 -0
- package/lib/node/reference.js +131 -0
- package/lib/node/rule.js +131 -0
- package/lib/node/statement.js +131 -0
- package/lib/node/step.js +131 -0
- package/lib/node/subDerivation.js +131 -0
- package/lib/node/subproof.js +131 -0
- package/lib/node/supposition.js +131 -0
- package/lib/node/term.js +131 -0
- package/lib/node/theorem.js +131 -0
- package/lib/node/topLevelAssertion.js +131 -0
- package/lib/node/topLevelMetaAssertion.js +131 -0
- package/lib/node/type.js +131 -0
- package/lib/node/variable.js +131 -0
- package/lib/node.js +80 -0
- package/lib/nodeMap.js +80 -0
- package/lib/nominal/lexer.js +114 -0
- package/lib/nominal/parser.js +128 -0
- package/lib/ruleNames.js +198 -0
- package/lib/utilities/parser.js +21 -0
- package/lib/utilities/type.js +23 -0
- package/package.json +3 -2
- package/src/assignment/variable.js +4 -4
- package/src/context/file.js +10 -7
- package/src/context/release.js +8 -3
- package/src/dom/assertion/type.js +11 -16
- package/src/dom/combinator/bracketed.js +1 -6
- package/src/dom/constructor.js +5 -36
- package/src/dom/declaration/complexType.js +41 -52
- package/src/dom/declaration/constructor.js +11 -15
- package/src/dom/declaration/metavariable.js +11 -15
- package/src/dom/declaration/type.js +19 -44
- package/src/dom/declaration/variable.js +29 -21
- package/src/dom/property.js +2 -2
- package/src/dom/propertyRelation.js +2 -2
- package/src/dom/term.js +3 -3
- package/src/dom/type.js +120 -89
- package/src/dom/variable.js +27 -64
- package/src/equivalence.js +2 -2
- package/src/node/assertion/contained.js +5 -0
- package/src/node/assertion/defined.js +5 -0
- package/src/node/assertion/property.js +5 -0
- package/src/node/assertion/satisfies.js +5 -0
- package/src/node/assertion/subproof.js +5 -0
- package/src/node/assertion/type.js +5 -0
- package/src/node/axiom.js +5 -0
- package/src/node/combinator.js +5 -0
- package/src/node/conclusion.js +5 -0
- package/src/node/conjecture.js +5 -0
- package/src/node/constructor.js +5 -0
- package/src/node/declaration/combinator.js +5 -0
- package/src/node/declaration/complexType.js +5 -0
- package/src/node/declaration/constructor.js +5 -0
- package/src/node/declaration/metavariable.js +5 -0
- package/src/node/declaration/type.js +5 -0
- package/src/node/declaration/variable.js +5 -0
- package/src/node/declaration.js +5 -0
- package/src/node/deduction.js +5 -0
- package/src/node/derivation.js +5 -0
- package/src/node/equality.js +5 -0
- package/src/node/error.js +5 -0
- package/src/node/frame.js +5 -0
- package/src/node/judgement.js +5 -0
- package/src/node/label.js +5 -0
- package/src/node/lemma.js +5 -0
- package/src/node/metaLemma.js +5 -0
- package/src/node/metaType.js +5 -0
- package/src/node/metatheorem.js +5 -0
- package/src/node/metavariable.js +5 -0
- package/src/node/parameter.js +5 -0
- package/src/node/premise.js +5 -0
- package/src/node/procedureCall.js +5 -0
- package/src/node/proof.js +5 -0
- package/src/node/property.js +5 -0
- package/src/node/propertyRelation.js +5 -0
- package/src/node/reference.js +5 -0
- package/src/node/rule.js +5 -0
- package/src/node/statement.js +5 -0
- package/src/node/step.js +5 -0
- package/src/node/subDerivation.js +5 -0
- package/src/node/subproof.js +5 -0
- package/src/node/supposition.js +5 -0
- package/src/node/term.js +5 -0
- package/src/node/theorem.js +5 -0
- package/src/node/topLevelAssertion.js +5 -0
- package/src/node/topLevelMetaAssertion.js +5 -0
- package/src/node/type.js +5 -0
- package/src/node/variable.js +5 -0
- package/src/node.js +5 -0
- package/src/nodeMap.js +146 -0
- package/src/nominal/lexer.js +11 -0
- package/src/nominal/parser.js +37 -0
- package/src/ruleNames.js +48 -0
- package/src/utilities/parser.js +18 -0
- package/src/utilities/type.js +19 -0
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return ProcedureCallNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
|
|
12
|
+
function _assert_this_initialized(self) {
|
|
13
|
+
if (self === void 0) {
|
|
14
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
+
}
|
|
16
|
+
return self;
|
|
17
|
+
}
|
|
18
|
+
function _call_super(_this, derived, args) {
|
|
19
|
+
derived = _get_prototype_of(derived);
|
|
20
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
+
}
|
|
22
|
+
function _class_call_check(instance, Constructor) {
|
|
23
|
+
if (!(instance instanceof Constructor)) {
|
|
24
|
+
throw new TypeError("Cannot call a class as a function");
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
function _construct(Parent, args, Class) {
|
|
28
|
+
if (_is_native_reflect_construct()) {
|
|
29
|
+
_construct = Reflect.construct;
|
|
30
|
+
} else {
|
|
31
|
+
_construct = function construct(Parent, args, Class) {
|
|
32
|
+
var a = [
|
|
33
|
+
null
|
|
34
|
+
];
|
|
35
|
+
a.push.apply(a, args);
|
|
36
|
+
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
+
var instance = new Constructor();
|
|
38
|
+
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
+
return instance;
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
return _construct.apply(null, arguments);
|
|
43
|
+
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
function _is_native_function(fn) {
|
|
69
|
+
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
70
|
+
}
|
|
71
|
+
function _possible_constructor_return(self, call) {
|
|
72
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
73
|
+
return call;
|
|
74
|
+
}
|
|
75
|
+
return _assert_this_initialized(self);
|
|
76
|
+
}
|
|
77
|
+
function _set_prototype_of(o, p) {
|
|
78
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
79
|
+
o.__proto__ = p;
|
|
80
|
+
return o;
|
|
81
|
+
};
|
|
82
|
+
return _set_prototype_of(o, p);
|
|
83
|
+
}
|
|
84
|
+
function _type_of(obj) {
|
|
85
|
+
"@swc/helpers - typeof";
|
|
86
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
87
|
+
}
|
|
88
|
+
function _wrap_native_super(Class) {
|
|
89
|
+
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
90
|
+
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
91
|
+
if (Class === null || !_is_native_function(Class)) return Class;
|
|
92
|
+
if (typeof Class !== "function") {
|
|
93
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
94
|
+
}
|
|
95
|
+
if (typeof _cache !== "undefined") {
|
|
96
|
+
if (_cache.has(Class)) return _cache.get(Class);
|
|
97
|
+
_cache.set(Class, Wrapper);
|
|
98
|
+
}
|
|
99
|
+
function Wrapper() {
|
|
100
|
+
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
101
|
+
}
|
|
102
|
+
Wrapper.prototype = Object.create(Class.prototype, {
|
|
103
|
+
constructor: {
|
|
104
|
+
value: Wrapper,
|
|
105
|
+
enumerable: false,
|
|
106
|
+
writable: true,
|
|
107
|
+
configurable: true
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return _set_prototype_of(Wrapper, Class);
|
|
111
|
+
};
|
|
112
|
+
return _wrap_native_super(Class);
|
|
113
|
+
}
|
|
114
|
+
function _is_native_reflect_construct() {
|
|
115
|
+
try {
|
|
116
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
117
|
+
} catch (_) {}
|
|
118
|
+
return (_is_native_reflect_construct = function() {
|
|
119
|
+
return !!result;
|
|
120
|
+
})();
|
|
121
|
+
}
|
|
122
|
+
var ProcedureCallNode = /*#__PURE__*/ function(Node) {
|
|
123
|
+
_inherits(ProcedureCallNode, Node);
|
|
124
|
+
function ProcedureCallNode() {
|
|
125
|
+
_class_call_check(this, ProcedureCallNode);
|
|
126
|
+
return _call_super(this, ProcedureCallNode, arguments);
|
|
127
|
+
}
|
|
128
|
+
return ProcedureCallNode;
|
|
129
|
+
}(_wrap_native_super(_node.default));
|
|
130
|
+
|
|
131
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb2NlZHVyZUNhbGwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb2NlZHVyZUNhbGxOb2RlIGV4dGVuZHMgTm9kZSB7fVxuIl0sIm5hbWVzIjpbIlByb2NlZHVyZUNhbGxOb2RlIiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsa0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O1dBQUFBO3FCQUEwQkMsYUFBSSJ9
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return ProofNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
|
|
12
|
+
function _assert_this_initialized(self) {
|
|
13
|
+
if (self === void 0) {
|
|
14
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
+
}
|
|
16
|
+
return self;
|
|
17
|
+
}
|
|
18
|
+
function _call_super(_this, derived, args) {
|
|
19
|
+
derived = _get_prototype_of(derived);
|
|
20
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
+
}
|
|
22
|
+
function _class_call_check(instance, Constructor) {
|
|
23
|
+
if (!(instance instanceof Constructor)) {
|
|
24
|
+
throw new TypeError("Cannot call a class as a function");
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
function _construct(Parent, args, Class) {
|
|
28
|
+
if (_is_native_reflect_construct()) {
|
|
29
|
+
_construct = Reflect.construct;
|
|
30
|
+
} else {
|
|
31
|
+
_construct = function construct(Parent, args, Class) {
|
|
32
|
+
var a = [
|
|
33
|
+
null
|
|
34
|
+
];
|
|
35
|
+
a.push.apply(a, args);
|
|
36
|
+
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
+
var instance = new Constructor();
|
|
38
|
+
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
+
return instance;
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
return _construct.apply(null, arguments);
|
|
43
|
+
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
function _is_native_function(fn) {
|
|
69
|
+
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
70
|
+
}
|
|
71
|
+
function _possible_constructor_return(self, call) {
|
|
72
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
73
|
+
return call;
|
|
74
|
+
}
|
|
75
|
+
return _assert_this_initialized(self);
|
|
76
|
+
}
|
|
77
|
+
function _set_prototype_of(o, p) {
|
|
78
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
79
|
+
o.__proto__ = p;
|
|
80
|
+
return o;
|
|
81
|
+
};
|
|
82
|
+
return _set_prototype_of(o, p);
|
|
83
|
+
}
|
|
84
|
+
function _type_of(obj) {
|
|
85
|
+
"@swc/helpers - typeof";
|
|
86
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
87
|
+
}
|
|
88
|
+
function _wrap_native_super(Class) {
|
|
89
|
+
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
90
|
+
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
91
|
+
if (Class === null || !_is_native_function(Class)) return Class;
|
|
92
|
+
if (typeof Class !== "function") {
|
|
93
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
94
|
+
}
|
|
95
|
+
if (typeof _cache !== "undefined") {
|
|
96
|
+
if (_cache.has(Class)) return _cache.get(Class);
|
|
97
|
+
_cache.set(Class, Wrapper);
|
|
98
|
+
}
|
|
99
|
+
function Wrapper() {
|
|
100
|
+
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
101
|
+
}
|
|
102
|
+
Wrapper.prototype = Object.create(Class.prototype, {
|
|
103
|
+
constructor: {
|
|
104
|
+
value: Wrapper,
|
|
105
|
+
enumerable: false,
|
|
106
|
+
writable: true,
|
|
107
|
+
configurable: true
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return _set_prototype_of(Wrapper, Class);
|
|
111
|
+
};
|
|
112
|
+
return _wrap_native_super(Class);
|
|
113
|
+
}
|
|
114
|
+
function _is_native_reflect_construct() {
|
|
115
|
+
try {
|
|
116
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
117
|
+
} catch (_) {}
|
|
118
|
+
return (_is_native_reflect_construct = function() {
|
|
119
|
+
return !!result;
|
|
120
|
+
})();
|
|
121
|
+
}
|
|
122
|
+
var ProofNode = /*#__PURE__*/ function(Node) {
|
|
123
|
+
_inherits(ProofNode, Node);
|
|
124
|
+
function ProofNode() {
|
|
125
|
+
_class_call_check(this, ProofNode);
|
|
126
|
+
return _call_super(this, ProofNode, arguments);
|
|
127
|
+
}
|
|
128
|
+
return ProofNode;
|
|
129
|
+
}(_wrap_native_super(_node.default));
|
|
130
|
+
|
|
131
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9vZk5vZGUgZXh0ZW5kcyBOb2RlIHt9XG4iXSwibmFtZXMiOlsiUHJvb2ZOb2RlIiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O1dBQUFBO3FCQUFrQkMsYUFBSSJ9
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return PropertyNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
|
|
12
|
+
function _assert_this_initialized(self) {
|
|
13
|
+
if (self === void 0) {
|
|
14
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
+
}
|
|
16
|
+
return self;
|
|
17
|
+
}
|
|
18
|
+
function _call_super(_this, derived, args) {
|
|
19
|
+
derived = _get_prototype_of(derived);
|
|
20
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
+
}
|
|
22
|
+
function _class_call_check(instance, Constructor) {
|
|
23
|
+
if (!(instance instanceof Constructor)) {
|
|
24
|
+
throw new TypeError("Cannot call a class as a function");
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
function _construct(Parent, args, Class) {
|
|
28
|
+
if (_is_native_reflect_construct()) {
|
|
29
|
+
_construct = Reflect.construct;
|
|
30
|
+
} else {
|
|
31
|
+
_construct = function construct(Parent, args, Class) {
|
|
32
|
+
var a = [
|
|
33
|
+
null
|
|
34
|
+
];
|
|
35
|
+
a.push.apply(a, args);
|
|
36
|
+
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
+
var instance = new Constructor();
|
|
38
|
+
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
+
return instance;
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
return _construct.apply(null, arguments);
|
|
43
|
+
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
function _is_native_function(fn) {
|
|
69
|
+
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
70
|
+
}
|
|
71
|
+
function _possible_constructor_return(self, call) {
|
|
72
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
73
|
+
return call;
|
|
74
|
+
}
|
|
75
|
+
return _assert_this_initialized(self);
|
|
76
|
+
}
|
|
77
|
+
function _set_prototype_of(o, p) {
|
|
78
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
79
|
+
o.__proto__ = p;
|
|
80
|
+
return o;
|
|
81
|
+
};
|
|
82
|
+
return _set_prototype_of(o, p);
|
|
83
|
+
}
|
|
84
|
+
function _type_of(obj) {
|
|
85
|
+
"@swc/helpers - typeof";
|
|
86
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
87
|
+
}
|
|
88
|
+
function _wrap_native_super(Class) {
|
|
89
|
+
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
90
|
+
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
91
|
+
if (Class === null || !_is_native_function(Class)) return Class;
|
|
92
|
+
if (typeof Class !== "function") {
|
|
93
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
94
|
+
}
|
|
95
|
+
if (typeof _cache !== "undefined") {
|
|
96
|
+
if (_cache.has(Class)) return _cache.get(Class);
|
|
97
|
+
_cache.set(Class, Wrapper);
|
|
98
|
+
}
|
|
99
|
+
function Wrapper() {
|
|
100
|
+
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
101
|
+
}
|
|
102
|
+
Wrapper.prototype = Object.create(Class.prototype, {
|
|
103
|
+
constructor: {
|
|
104
|
+
value: Wrapper,
|
|
105
|
+
enumerable: false,
|
|
106
|
+
writable: true,
|
|
107
|
+
configurable: true
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return _set_prototype_of(Wrapper, Class);
|
|
111
|
+
};
|
|
112
|
+
return _wrap_native_super(Class);
|
|
113
|
+
}
|
|
114
|
+
function _is_native_reflect_construct() {
|
|
115
|
+
try {
|
|
116
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
117
|
+
} catch (_) {}
|
|
118
|
+
return (_is_native_reflect_construct = function() {
|
|
119
|
+
return !!result;
|
|
120
|
+
})();
|
|
121
|
+
}
|
|
122
|
+
var PropertyNode = /*#__PURE__*/ function(Node) {
|
|
123
|
+
_inherits(PropertyNode, Node);
|
|
124
|
+
function PropertyNode() {
|
|
125
|
+
_class_call_check(this, PropertyNode);
|
|
126
|
+
return _call_super(this, PropertyNode, arguments);
|
|
127
|
+
}
|
|
128
|
+
return PropertyNode;
|
|
129
|
+
}(_wrap_native_super(_node.default));
|
|
130
|
+
|
|
131
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9wZXJ0eU5vZGUgZXh0ZW5kcyBOb2RlIHt9XG4iXSwibmFtZXMiOlsiUHJvcGVydHlOb2RlIiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O1dBQUFBO3FCQUFxQkMsYUFBSSJ9
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return PropertyRelationNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
|
|
12
|
+
function _assert_this_initialized(self) {
|
|
13
|
+
if (self === void 0) {
|
|
14
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
+
}
|
|
16
|
+
return self;
|
|
17
|
+
}
|
|
18
|
+
function _call_super(_this, derived, args) {
|
|
19
|
+
derived = _get_prototype_of(derived);
|
|
20
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
+
}
|
|
22
|
+
function _class_call_check(instance, Constructor) {
|
|
23
|
+
if (!(instance instanceof Constructor)) {
|
|
24
|
+
throw new TypeError("Cannot call a class as a function");
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
function _construct(Parent, args, Class) {
|
|
28
|
+
if (_is_native_reflect_construct()) {
|
|
29
|
+
_construct = Reflect.construct;
|
|
30
|
+
} else {
|
|
31
|
+
_construct = function construct(Parent, args, Class) {
|
|
32
|
+
var a = [
|
|
33
|
+
null
|
|
34
|
+
];
|
|
35
|
+
a.push.apply(a, args);
|
|
36
|
+
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
+
var instance = new Constructor();
|
|
38
|
+
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
+
return instance;
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
return _construct.apply(null, arguments);
|
|
43
|
+
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
function _is_native_function(fn) {
|
|
69
|
+
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
70
|
+
}
|
|
71
|
+
function _possible_constructor_return(self, call) {
|
|
72
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
73
|
+
return call;
|
|
74
|
+
}
|
|
75
|
+
return _assert_this_initialized(self);
|
|
76
|
+
}
|
|
77
|
+
function _set_prototype_of(o, p) {
|
|
78
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
79
|
+
o.__proto__ = p;
|
|
80
|
+
return o;
|
|
81
|
+
};
|
|
82
|
+
return _set_prototype_of(o, p);
|
|
83
|
+
}
|
|
84
|
+
function _type_of(obj) {
|
|
85
|
+
"@swc/helpers - typeof";
|
|
86
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
87
|
+
}
|
|
88
|
+
function _wrap_native_super(Class) {
|
|
89
|
+
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
90
|
+
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
91
|
+
if (Class === null || !_is_native_function(Class)) return Class;
|
|
92
|
+
if (typeof Class !== "function") {
|
|
93
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
94
|
+
}
|
|
95
|
+
if (typeof _cache !== "undefined") {
|
|
96
|
+
if (_cache.has(Class)) return _cache.get(Class);
|
|
97
|
+
_cache.set(Class, Wrapper);
|
|
98
|
+
}
|
|
99
|
+
function Wrapper() {
|
|
100
|
+
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
101
|
+
}
|
|
102
|
+
Wrapper.prototype = Object.create(Class.prototype, {
|
|
103
|
+
constructor: {
|
|
104
|
+
value: Wrapper,
|
|
105
|
+
enumerable: false,
|
|
106
|
+
writable: true,
|
|
107
|
+
configurable: true
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return _set_prototype_of(Wrapper, Class);
|
|
111
|
+
};
|
|
112
|
+
return _wrap_native_super(Class);
|
|
113
|
+
}
|
|
114
|
+
function _is_native_reflect_construct() {
|
|
115
|
+
try {
|
|
116
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
117
|
+
} catch (_) {}
|
|
118
|
+
return (_is_native_reflect_construct = function() {
|
|
119
|
+
return !!result;
|
|
120
|
+
})();
|
|
121
|
+
}
|
|
122
|
+
var PropertyRelationNode = /*#__PURE__*/ function(Node) {
|
|
123
|
+
_inherits(PropertyRelationNode, Node);
|
|
124
|
+
function PropertyRelationNode() {
|
|
125
|
+
_class_call_check(this, PropertyRelationNode);
|
|
126
|
+
return _call_super(this, PropertyRelationNode, arguments);
|
|
127
|
+
}
|
|
128
|
+
return PropertyRelationNode;
|
|
129
|
+
}(_wrap_native_super(_node.default));
|
|
130
|
+
|
|
131
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5UmVsYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb2RlIGZyb20gXCIuLi9ub2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5UmVsYXRpb25Ob2RlIGV4dGVuZHMgTm9kZSB7fVxuIl0sIm5hbWVzIjpbIlByb3BlcnR5UmVsYXRpb25Ob2RlIiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEscUNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O1dBQUFBO3FCQUE2QkMsYUFBSSJ9
|
|
@@ -0,0 +1,131 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
8
|
+
return ReferenceNode;
|
|
9
|
+
}
|
|
10
|
+
});
|
|
11
|
+
var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
|
|
12
|
+
function _assert_this_initialized(self) {
|
|
13
|
+
if (self === void 0) {
|
|
14
|
+
throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
|
|
15
|
+
}
|
|
16
|
+
return self;
|
|
17
|
+
}
|
|
18
|
+
function _call_super(_this, derived, args) {
|
|
19
|
+
derived = _get_prototype_of(derived);
|
|
20
|
+
return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
|
|
21
|
+
}
|
|
22
|
+
function _class_call_check(instance, Constructor) {
|
|
23
|
+
if (!(instance instanceof Constructor)) {
|
|
24
|
+
throw new TypeError("Cannot call a class as a function");
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
function _construct(Parent, args, Class) {
|
|
28
|
+
if (_is_native_reflect_construct()) {
|
|
29
|
+
_construct = Reflect.construct;
|
|
30
|
+
} else {
|
|
31
|
+
_construct = function construct(Parent, args, Class) {
|
|
32
|
+
var a = [
|
|
33
|
+
null
|
|
34
|
+
];
|
|
35
|
+
a.push.apply(a, args);
|
|
36
|
+
var Constructor = Function.bind.apply(Parent, a);
|
|
37
|
+
var instance = new Constructor();
|
|
38
|
+
if (Class) _set_prototype_of(instance, Class.prototype);
|
|
39
|
+
return instance;
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
return _construct.apply(null, arguments);
|
|
43
|
+
}
|
|
44
|
+
function _get_prototype_of(o) {
|
|
45
|
+
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
46
|
+
return o.__proto__ || Object.getPrototypeOf(o);
|
|
47
|
+
};
|
|
48
|
+
return _get_prototype_of(o);
|
|
49
|
+
}
|
|
50
|
+
function _inherits(subClass, superClass) {
|
|
51
|
+
if (typeof superClass !== "function" && superClass !== null) {
|
|
52
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
53
|
+
}
|
|
54
|
+
subClass.prototype = Object.create(superClass && superClass.prototype, {
|
|
55
|
+
constructor: {
|
|
56
|
+
value: subClass,
|
|
57
|
+
writable: true,
|
|
58
|
+
configurable: true
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
if (superClass) _set_prototype_of(subClass, superClass);
|
|
62
|
+
}
|
|
63
|
+
function _interop_require_default(obj) {
|
|
64
|
+
return obj && obj.__esModule ? obj : {
|
|
65
|
+
default: obj
|
|
66
|
+
};
|
|
67
|
+
}
|
|
68
|
+
function _is_native_function(fn) {
|
|
69
|
+
return Function.toString.call(fn).indexOf("[native code]") !== -1;
|
|
70
|
+
}
|
|
71
|
+
function _possible_constructor_return(self, call) {
|
|
72
|
+
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
73
|
+
return call;
|
|
74
|
+
}
|
|
75
|
+
return _assert_this_initialized(self);
|
|
76
|
+
}
|
|
77
|
+
function _set_prototype_of(o, p) {
|
|
78
|
+
_set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
|
|
79
|
+
o.__proto__ = p;
|
|
80
|
+
return o;
|
|
81
|
+
};
|
|
82
|
+
return _set_prototype_of(o, p);
|
|
83
|
+
}
|
|
84
|
+
function _type_of(obj) {
|
|
85
|
+
"@swc/helpers - typeof";
|
|
86
|
+
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
87
|
+
}
|
|
88
|
+
function _wrap_native_super(Class) {
|
|
89
|
+
var _cache = typeof Map === "function" ? new Map() : undefined;
|
|
90
|
+
_wrap_native_super = function wrapNativeSuper(Class) {
|
|
91
|
+
if (Class === null || !_is_native_function(Class)) return Class;
|
|
92
|
+
if (typeof Class !== "function") {
|
|
93
|
+
throw new TypeError("Super expression must either be null or a function");
|
|
94
|
+
}
|
|
95
|
+
if (typeof _cache !== "undefined") {
|
|
96
|
+
if (_cache.has(Class)) return _cache.get(Class);
|
|
97
|
+
_cache.set(Class, Wrapper);
|
|
98
|
+
}
|
|
99
|
+
function Wrapper() {
|
|
100
|
+
return _construct(Class, arguments, _get_prototype_of(this).constructor);
|
|
101
|
+
}
|
|
102
|
+
Wrapper.prototype = Object.create(Class.prototype, {
|
|
103
|
+
constructor: {
|
|
104
|
+
value: Wrapper,
|
|
105
|
+
enumerable: false,
|
|
106
|
+
writable: true,
|
|
107
|
+
configurable: true
|
|
108
|
+
}
|
|
109
|
+
});
|
|
110
|
+
return _set_prototype_of(Wrapper, Class);
|
|
111
|
+
};
|
|
112
|
+
return _wrap_native_super(Class);
|
|
113
|
+
}
|
|
114
|
+
function _is_native_reflect_construct() {
|
|
115
|
+
try {
|
|
116
|
+
var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
|
|
117
|
+
} catch (_) {}
|
|
118
|
+
return (_is_native_reflect_construct = function() {
|
|
119
|
+
return !!result;
|
|
120
|
+
})();
|
|
121
|
+
}
|
|
122
|
+
var ReferenceNode = /*#__PURE__*/ function(Node) {
|
|
123
|
+
_inherits(ReferenceNode, Node);
|
|
124
|
+
function ReferenceNode() {
|
|
125
|
+
_class_call_check(this, ReferenceNode);
|
|
126
|
+
return _call_super(this, ReferenceNode, arguments);
|
|
127
|
+
}
|
|
128
|
+
return ReferenceNode;
|
|
129
|
+
}(_wrap_native_super(_node.default));
|
|
130
|
+
|
|
131
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUmVmZXJlbmNlTm9kZSBleHRlbmRzIE5vZGUge31cbiJdLCJuYW1lcyI6WyJSZWZlcmVuY2VOb2RlIiwiTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7MkRBRko7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O1dBQUFBO3FCQUFzQkMsYUFBSSJ9
|