@stevenvo780/st-lang 1.5.6 → 1.5.8
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/dist/ast/nodes.d.ts +50 -2
- package/dist/ast/nodes.d.ts.map +1 -1
- package/dist/lexer/lexer.d.ts.map +1 -1
- package/dist/lexer/lexer.js +42 -14
- package/dist/lexer/lexer.js.map +1 -1
- package/dist/lexer/tokens.d.ts +18 -0
- package/dist/lexer/tokens.d.ts.map +1 -1
- package/dist/lexer/tokens.js +37 -0
- package/dist/lexer/tokens.js.map +1 -1
- package/dist/parser/parser.d.ts +16 -0
- package/dist/parser/parser.d.ts.map +1 -1
- package/dist/parser/parser.js +281 -2
- package/dist/parser/parser.js.map +1 -1
- package/dist/profiles/arithmetic/index.d.ts +20 -0
- package/dist/profiles/arithmetic/index.d.ts.map +1 -0
- package/dist/profiles/arithmetic/index.js +222 -0
- package/dist/profiles/arithmetic/index.js.map +1 -0
- package/dist/profiles/classical/propositional.d.ts.map +1 -1
- package/dist/profiles/classical/propositional.js +39 -0
- package/dist/profiles/classical/propositional.js.map +1 -1
- package/dist/profiles/index.d.ts +2 -1
- package/dist/profiles/index.d.ts.map +1 -1
- package/dist/profiles/index.js +4 -1
- package/dist/profiles/index.js.map +1 -1
- package/dist/runtime/format.d.ts.map +1 -1
- package/dist/runtime/format.js +80 -2
- package/dist/runtime/format.js.map +1 -1
- package/dist/runtime/interpreter.d.ts +13 -0
- package/dist/runtime/interpreter.d.ts.map +1 -1
- package/dist/runtime/interpreter.js +212 -0
- package/dist/runtime/interpreter.js.map +1 -1
- package/dist/tests/arithmetic.test.d.ts +2 -0
- package/dist/tests/arithmetic.test.d.ts.map +1 -0
- package/dist/tests/arithmetic.test.js +416 -0
- package/dist/tests/arithmetic.test.js.map +1 -0
- package/dist/tests/v1-features.test.js +339 -2
- package/dist/tests/v1-features.test.js.map +1 -1
- package/dist/types/index.d.ts +2 -1
- package/dist/types/index.d.ts.map +1 -1
- package/package.json +1 -1
|
@@ -0,0 +1,416 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ============================================================
|
|
3
|
+
// Tests — Arithmetic profile (logic arithmetic)
|
|
4
|
+
// ============================================================
|
|
5
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
+
const vitest_1 = require("vitest");
|
|
7
|
+
const interpreter_1 = require("../runtime/interpreter");
|
|
8
|
+
const parser_1 = require("../parser/parser");
|
|
9
|
+
const format_1 = require("../runtime/format");
|
|
10
|
+
const arithmetic_1 = require("../profiles/arithmetic");
|
|
11
|
+
const interface_1 = require("../profiles/interface");
|
|
12
|
+
// ── Helpers ──────────────────────────────────────────────────
|
|
13
|
+
function run(source) {
|
|
14
|
+
const interp = new interpreter_1.Interpreter();
|
|
15
|
+
return interp.execute(source);
|
|
16
|
+
}
|
|
17
|
+
function parseFormula(source) {
|
|
18
|
+
const parser = new parser_1.Parser('<test>');
|
|
19
|
+
// Wrap in a logic + axiom to get the formula parsed
|
|
20
|
+
const program = parser.parse(`logic arithmetic\naxiom A = ${source}`);
|
|
21
|
+
(0, vitest_1.expect)(parser.diagnostics.filter((d) => d.severity === 'error')).toHaveLength(0);
|
|
22
|
+
const axiomStmt = program.statements.find((s) => s.kind === 'axiom_decl');
|
|
23
|
+
(0, vitest_1.expect)(axiomStmt).toBeDefined();
|
|
24
|
+
return axiomStmt.formula;
|
|
25
|
+
}
|
|
26
|
+
function parseOk(source) {
|
|
27
|
+
const parser = new parser_1.Parser('<test>');
|
|
28
|
+
const program = parser.parse(source);
|
|
29
|
+
(0, vitest_1.expect)(parser.diagnostics.filter((d) => d.severity === 'error')).toHaveLength(0);
|
|
30
|
+
return program;
|
|
31
|
+
}
|
|
32
|
+
// ── Profile registration ─────────────────────────────────────
|
|
33
|
+
(0, vitest_1.describe)('arithmetic profile registration', () => {
|
|
34
|
+
(0, vitest_1.it)('profile "arithmetic" is registered', () => {
|
|
35
|
+
(0, vitest_1.expect)(interface_1.registry.has('arithmetic')).toBe(true);
|
|
36
|
+
});
|
|
37
|
+
(0, vitest_1.it)('profile description is set', () => {
|
|
38
|
+
const profile = interface_1.registry.get('arithmetic');
|
|
39
|
+
(0, vitest_1.expect)(profile).toBeDefined();
|
|
40
|
+
(0, vitest_1.expect)(profile.name).toBe('arithmetic');
|
|
41
|
+
});
|
|
42
|
+
});
|
|
43
|
+
// ── Lexer / Parser: number literals ──────────────────────────
|
|
44
|
+
(0, vitest_1.describe)('arithmetic: number literals', () => {
|
|
45
|
+
(0, vitest_1.it)('parses integer literal', () => {
|
|
46
|
+
const f = parseFormula('42');
|
|
47
|
+
(0, vitest_1.expect)(f.kind).toBe('number');
|
|
48
|
+
(0, vitest_1.expect)(f.value).toBe(42);
|
|
49
|
+
});
|
|
50
|
+
(0, vitest_1.it)('parses decimal literal', () => {
|
|
51
|
+
const f = parseFormula('3.14');
|
|
52
|
+
(0, vitest_1.expect)(f.kind).toBe('number');
|
|
53
|
+
(0, vitest_1.expect)(f.value).toBeCloseTo(3.14);
|
|
54
|
+
});
|
|
55
|
+
(0, vitest_1.it)('parses zero', () => {
|
|
56
|
+
const f = parseFormula('0');
|
|
57
|
+
(0, vitest_1.expect)(f.kind).toBe('number');
|
|
58
|
+
(0, vitest_1.expect)(f.value).toBe(0);
|
|
59
|
+
});
|
|
60
|
+
});
|
|
61
|
+
// ── Lexer / Parser: arithmetic operators ─────────────────────
|
|
62
|
+
(0, vitest_1.describe)('arithmetic: operators', () => {
|
|
63
|
+
(0, vitest_1.it)('parses addition: 2 + 3', () => {
|
|
64
|
+
const f = parseFormula('2 + 3');
|
|
65
|
+
(0, vitest_1.expect)(f.kind).toBe('add');
|
|
66
|
+
(0, vitest_1.expect)(f.args).toHaveLength(2);
|
|
67
|
+
(0, vitest_1.expect)(f.args[0].kind).toBe('number');
|
|
68
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(2);
|
|
69
|
+
(0, vitest_1.expect)(f.args[1].kind).toBe('number');
|
|
70
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(3);
|
|
71
|
+
});
|
|
72
|
+
(0, vitest_1.it)('parses subtraction: 10 - 4', () => {
|
|
73
|
+
const f = parseFormula('10 - 4');
|
|
74
|
+
(0, vitest_1.expect)(f.kind).toBe('subtract');
|
|
75
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(10);
|
|
76
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(4);
|
|
77
|
+
});
|
|
78
|
+
(0, vitest_1.it)('parses multiplication: 3 * 5', () => {
|
|
79
|
+
const f = parseFormula('3 * 5');
|
|
80
|
+
(0, vitest_1.expect)(f.kind).toBe('multiply');
|
|
81
|
+
});
|
|
82
|
+
(0, vitest_1.it)('parses division: 10 / 2', () => {
|
|
83
|
+
const f = parseFormula('10 / 2');
|
|
84
|
+
(0, vitest_1.expect)(f.kind).toBe('divide');
|
|
85
|
+
});
|
|
86
|
+
(0, vitest_1.it)('parses modulo: 10 % 3', () => {
|
|
87
|
+
const f = parseFormula('10 % 3');
|
|
88
|
+
(0, vitest_1.expect)(f.kind).toBe('modulo');
|
|
89
|
+
});
|
|
90
|
+
(0, vitest_1.it)('parses less than: 1 < 2', () => {
|
|
91
|
+
const f = parseFormula('1 < 2');
|
|
92
|
+
(0, vitest_1.expect)(f.kind).toBe('less');
|
|
93
|
+
});
|
|
94
|
+
(0, vitest_1.it)('parses greater than: 5 > 3', () => {
|
|
95
|
+
const f = parseFormula('5 > 3');
|
|
96
|
+
(0, vitest_1.expect)(f.kind).toBe('greater');
|
|
97
|
+
});
|
|
98
|
+
(0, vitest_1.it)('parses less or equal: 1 <= 2', () => {
|
|
99
|
+
const f = parseFormula('1 <= 2');
|
|
100
|
+
(0, vitest_1.expect)(f.kind).toBe('less_eq');
|
|
101
|
+
});
|
|
102
|
+
(0, vitest_1.it)('parses greater or equal: 5 >= 5', () => {
|
|
103
|
+
const f = parseFormula('5 >= 5');
|
|
104
|
+
(0, vitest_1.expect)(f.kind).toBe('greater_eq');
|
|
105
|
+
});
|
|
106
|
+
});
|
|
107
|
+
// ── Precedence ───────────────────────────────────────────────
|
|
108
|
+
(0, vitest_1.describe)('arithmetic: operator precedence', () => {
|
|
109
|
+
(0, vitest_1.it)('multiplication binds tighter than addition: 2 + 3 * 4', () => {
|
|
110
|
+
const f = parseFormula('2 + 3 * 4');
|
|
111
|
+
// Should be add(2, multiply(3, 4))
|
|
112
|
+
(0, vitest_1.expect)(f.kind).toBe('add');
|
|
113
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(2);
|
|
114
|
+
(0, vitest_1.expect)(f.args[1].kind).toBe('multiply');
|
|
115
|
+
(0, vitest_1.expect)(f.args[1].args[0].value).toBe(3);
|
|
116
|
+
(0, vitest_1.expect)(f.args[1].args[1].value).toBe(4);
|
|
117
|
+
});
|
|
118
|
+
(0, vitest_1.it)('comparison binds looser than addition: 2 + 3 < 10', () => {
|
|
119
|
+
const f = parseFormula('2 + 3 < 10');
|
|
120
|
+
// Should be less(add(2, 3), 10)
|
|
121
|
+
(0, vitest_1.expect)(f.kind).toBe('less');
|
|
122
|
+
(0, vitest_1.expect)(f.args[0].kind).toBe('add');
|
|
123
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(10);
|
|
124
|
+
});
|
|
125
|
+
(0, vitest_1.it)('parentheses override precedence: (2 + 3) * 4', () => {
|
|
126
|
+
const f = parseFormula('(2 + 3) * 4');
|
|
127
|
+
(0, vitest_1.expect)(f.kind).toBe('multiply');
|
|
128
|
+
(0, vitest_1.expect)(f.args[0].kind).toBe('add');
|
|
129
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(4);
|
|
130
|
+
});
|
|
131
|
+
(0, vitest_1.it)('unary minus: -5', () => {
|
|
132
|
+
const f = parseFormula('-5');
|
|
133
|
+
// Represented as subtract(0, 5)
|
|
134
|
+
(0, vitest_1.expect)(f.kind).toBe('subtract');
|
|
135
|
+
(0, vitest_1.expect)(f.args[0].kind).toBe('number');
|
|
136
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(0);
|
|
137
|
+
(0, vitest_1.expect)(f.args[1].kind).toBe('number');
|
|
138
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(5);
|
|
139
|
+
});
|
|
140
|
+
(0, vitest_1.it)('unary minus with expression: -(3 + 2)', () => {
|
|
141
|
+
const f = parseFormula('-(3 + 2)');
|
|
142
|
+
(0, vitest_1.expect)(f.kind).toBe('subtract');
|
|
143
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(0);
|
|
144
|
+
(0, vitest_1.expect)(f.args[1].kind).toBe('add');
|
|
145
|
+
});
|
|
146
|
+
});
|
|
147
|
+
// ── evalNumeric ──────────────────────────────────────────────
|
|
148
|
+
(0, vitest_1.describe)('arithmetic: evalNumeric', () => {
|
|
149
|
+
(0, vitest_1.it)('evaluates number literal', () => {
|
|
150
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)({ kind: 'number', value: 42 })).toBe(42);
|
|
151
|
+
});
|
|
152
|
+
(0, vitest_1.it)('evaluates addition', () => {
|
|
153
|
+
const f = {
|
|
154
|
+
kind: 'add',
|
|
155
|
+
args: [{ kind: 'number', value: 2 }, { kind: 'number', value: 3 }],
|
|
156
|
+
};
|
|
157
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(5);
|
|
158
|
+
});
|
|
159
|
+
(0, vitest_1.it)('evaluates subtraction', () => {
|
|
160
|
+
const f = {
|
|
161
|
+
kind: 'subtract',
|
|
162
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 4 }],
|
|
163
|
+
};
|
|
164
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(6);
|
|
165
|
+
});
|
|
166
|
+
(0, vitest_1.it)('evaluates multiplication', () => {
|
|
167
|
+
const f = {
|
|
168
|
+
kind: 'multiply',
|
|
169
|
+
args: [{ kind: 'number', value: 3 }, { kind: 'number', value: 5 }],
|
|
170
|
+
};
|
|
171
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(15);
|
|
172
|
+
});
|
|
173
|
+
(0, vitest_1.it)('evaluates division', () => {
|
|
174
|
+
const f = {
|
|
175
|
+
kind: 'divide',
|
|
176
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 2 }],
|
|
177
|
+
};
|
|
178
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(5);
|
|
179
|
+
});
|
|
180
|
+
(0, vitest_1.it)('evaluates modulo', () => {
|
|
181
|
+
const f = {
|
|
182
|
+
kind: 'modulo',
|
|
183
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 3 }],
|
|
184
|
+
};
|
|
185
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(1);
|
|
186
|
+
});
|
|
187
|
+
(0, vitest_1.it)('evaluates division by zero as NaN', () => {
|
|
188
|
+
const f = {
|
|
189
|
+
kind: 'divide',
|
|
190
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 0 }],
|
|
191
|
+
};
|
|
192
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBeNaN();
|
|
193
|
+
});
|
|
194
|
+
(0, vitest_1.it)('evaluates comparison: less', () => {
|
|
195
|
+
const f = {
|
|
196
|
+
kind: 'less',
|
|
197
|
+
args: [{ kind: 'number', value: 1 }, { kind: 'number', value: 2 }],
|
|
198
|
+
};
|
|
199
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(1); // true
|
|
200
|
+
});
|
|
201
|
+
(0, vitest_1.it)('evaluates comparison: greater (false)', () => {
|
|
202
|
+
const f = {
|
|
203
|
+
kind: 'greater',
|
|
204
|
+
args: [{ kind: 'number', value: 1 }, { kind: 'number', value: 2 }],
|
|
205
|
+
};
|
|
206
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(0); // false
|
|
207
|
+
});
|
|
208
|
+
(0, vitest_1.it)('evaluates nested expression: (2 + 3) * 4 = 20', () => {
|
|
209
|
+
const f = {
|
|
210
|
+
kind: 'multiply',
|
|
211
|
+
args: [
|
|
212
|
+
{ kind: 'add', args: [{ kind: 'number', value: 2 }, { kind: 'number', value: 3 }] },
|
|
213
|
+
{ kind: 'number', value: 4 },
|
|
214
|
+
],
|
|
215
|
+
};
|
|
216
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBe(20);
|
|
217
|
+
});
|
|
218
|
+
(0, vitest_1.it)('evaluates with variables', () => {
|
|
219
|
+
const f = {
|
|
220
|
+
kind: 'add',
|
|
221
|
+
args: [{ kind: 'atom', name: 'x' }, { kind: 'number', value: 3 }],
|
|
222
|
+
};
|
|
223
|
+
const vars = new Map([['x', 10]]);
|
|
224
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f, vars)).toBe(13);
|
|
225
|
+
});
|
|
226
|
+
(0, vitest_1.it)('unknown variable returns NaN', () => {
|
|
227
|
+
const f = {
|
|
228
|
+
kind: 'add',
|
|
229
|
+
args: [{ kind: 'atom', name: 'x' }, { kind: 'number', value: 3 }],
|
|
230
|
+
};
|
|
231
|
+
(0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(f)).toBeNaN();
|
|
232
|
+
});
|
|
233
|
+
});
|
|
234
|
+
// ── Format: Unicode & LaTeX ──────────────────────────────────
|
|
235
|
+
(0, vitest_1.describe)('arithmetic: formatting', () => {
|
|
236
|
+
(0, vitest_1.it)('number literal Unicode', () => {
|
|
237
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'number', value: 42 })).toBe('42');
|
|
238
|
+
});
|
|
239
|
+
(0, vitest_1.it)('number literal LaTeX', () => {
|
|
240
|
+
(0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'number', value: 3.14 })).toBe('3.14');
|
|
241
|
+
});
|
|
242
|
+
(0, vitest_1.it)('addition Unicode', () => {
|
|
243
|
+
const f = {
|
|
244
|
+
kind: 'add',
|
|
245
|
+
args: [{ kind: 'number', value: 2 }, { kind: 'number', value: 3 }],
|
|
246
|
+
};
|
|
247
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)(f)).toBe('(2 + 3)');
|
|
248
|
+
});
|
|
249
|
+
(0, vitest_1.it)('multiplication Unicode uses ×', () => {
|
|
250
|
+
const f = {
|
|
251
|
+
kind: 'multiply',
|
|
252
|
+
args: [{ kind: 'number', value: 2 }, { kind: 'number', value: 3 }],
|
|
253
|
+
};
|
|
254
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)(f)).toBe('(2 × 3)');
|
|
255
|
+
});
|
|
256
|
+
(0, vitest_1.it)('division Unicode uses ÷', () => {
|
|
257
|
+
const f = {
|
|
258
|
+
kind: 'divide',
|
|
259
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 2 }],
|
|
260
|
+
};
|
|
261
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)(f)).toBe('(10 ÷ 2)');
|
|
262
|
+
});
|
|
263
|
+
(0, vitest_1.it)('less_eq Unicode uses ≤', () => {
|
|
264
|
+
const f = {
|
|
265
|
+
kind: 'less_eq',
|
|
266
|
+
args: [{ kind: 'number', value: 1 }, { kind: 'number', value: 2 }],
|
|
267
|
+
};
|
|
268
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)(f)).toBe('(1 ≤ 2)');
|
|
269
|
+
});
|
|
270
|
+
(0, vitest_1.it)('greater_eq Unicode uses ≥', () => {
|
|
271
|
+
const f = {
|
|
272
|
+
kind: 'greater_eq',
|
|
273
|
+
args: [{ kind: 'number', value: 5 }, { kind: 'number', value: 5 }],
|
|
274
|
+
};
|
|
275
|
+
(0, vitest_1.expect)((0, format_1.formulaToUnicode)(f)).toBe('(5 ≥ 5)');
|
|
276
|
+
});
|
|
277
|
+
(0, vitest_1.it)('division LaTeX uses \\frac', () => {
|
|
278
|
+
const f = {
|
|
279
|
+
kind: 'divide',
|
|
280
|
+
args: [{ kind: 'number', value: 10 }, { kind: 'number', value: 2 }],
|
|
281
|
+
};
|
|
282
|
+
(0, vitest_1.expect)((0, format_1.formulaToLaTeX)(f)).toBe('\\frac{10}{2}');
|
|
283
|
+
});
|
|
284
|
+
(0, vitest_1.it)('multiplication LaTeX uses \\times', () => {
|
|
285
|
+
const f = {
|
|
286
|
+
kind: 'multiply',
|
|
287
|
+
args: [{ kind: 'number', value: 2 }, { kind: 'number', value: 3 }],
|
|
288
|
+
};
|
|
289
|
+
(0, vitest_1.expect)((0, format_1.formulaToLaTeX)(f)).toBe('(2 \\times 3)');
|
|
290
|
+
});
|
|
291
|
+
(0, vitest_1.it)('less_eq LaTeX uses \\leq', () => {
|
|
292
|
+
const f = {
|
|
293
|
+
kind: 'less_eq',
|
|
294
|
+
args: [{ kind: 'number', value: 1 }, { kind: 'number', value: 2 }],
|
|
295
|
+
};
|
|
296
|
+
(0, vitest_1.expect)((0, format_1.formulaToLaTeX)(f)).toBe('(1 \\leq 2)');
|
|
297
|
+
});
|
|
298
|
+
});
|
|
299
|
+
// ── Full interpreter integration ─────────────────────────────
|
|
300
|
+
(0, vitest_1.describe)('arithmetic: interpreter integration', () => {
|
|
301
|
+
(0, vitest_1.it)('logic arithmetic loads successfully', () => {
|
|
302
|
+
const out = run('logic arithmetic');
|
|
303
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
304
|
+
(0, vitest_1.expect)(out.stdout).toContain('arithmetic');
|
|
305
|
+
});
|
|
306
|
+
(0, vitest_1.it)('axiom with number literal', () => {
|
|
307
|
+
const out = run(`logic arithmetic\naxiom N = 42`);
|
|
308
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
309
|
+
(0, vitest_1.expect)(out.stdout).toContain('42');
|
|
310
|
+
});
|
|
311
|
+
(0, vitest_1.it)('axiom with arithmetic expression', () => {
|
|
312
|
+
const out = run(`logic arithmetic\naxiom Expr = 2 + 3 * 4`);
|
|
313
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
314
|
+
});
|
|
315
|
+
(0, vitest_1.it)('check valid: 3 < 5 is valid (true comparison)', () => {
|
|
316
|
+
const out = run(`logic arithmetic\ncheck valid 3 < 5`);
|
|
317
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
318
|
+
(0, vitest_1.expect)(out.stdout).toContain('valid');
|
|
319
|
+
});
|
|
320
|
+
(0, vitest_1.it)('check valid: 5 < 3 is invalid (false comparison)', () => {
|
|
321
|
+
const out = run(`logic arithmetic\ncheck valid 5 < 3`);
|
|
322
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
323
|
+
(0, vitest_1.expect)(out.stdout).toContain('La expresión aritmética es falsa');
|
|
324
|
+
});
|
|
325
|
+
(0, vitest_1.it)('check valid: 5 >= 5 is valid', () => {
|
|
326
|
+
const out = run(`logic arithmetic\ncheck valid 5 >= 5`);
|
|
327
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
328
|
+
(0, vitest_1.expect)(out.stdout).toContain('valid');
|
|
329
|
+
});
|
|
330
|
+
(0, vitest_1.it)('check valid: 5 <= 4 is invalid', () => {
|
|
331
|
+
const out = run(`logic arithmetic\ncheck valid 5 <= 4`);
|
|
332
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
333
|
+
(0, vitest_1.expect)(out.stdout).toContain('La expresión aritmética es falsa');
|
|
334
|
+
});
|
|
335
|
+
(0, vitest_1.it)('check satisfiable: 2 + 2 > 3 is satisfiable', () => {
|
|
336
|
+
const out = run(`logic arithmetic\ncheck satisfiable 2 + 2 > 3`);
|
|
337
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
338
|
+
(0, vitest_1.expect)(out.stdout).toContain('satisfiable');
|
|
339
|
+
});
|
|
340
|
+
(0, vitest_1.it)('explain: provides numeric result for pure arithmetic', () => {
|
|
341
|
+
const out = run(`logic arithmetic\nexplain 2 + 3`);
|
|
342
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
343
|
+
(0, vitest_1.expect)(out.stdout).toContain('5');
|
|
344
|
+
});
|
|
345
|
+
(0, vitest_1.it)('explain: comparison result', () => {
|
|
346
|
+
const out = run(`logic arithmetic\nexplain 10 > 5`);
|
|
347
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
348
|
+
(0, vitest_1.expect)(out.stdout).toContain('verdadero');
|
|
349
|
+
});
|
|
350
|
+
(0, vitest_1.it)('print with arithmetic formula', () => {
|
|
351
|
+
const out = run(`logic arithmetic\nprint 2 + 3`);
|
|
352
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
353
|
+
(0, vitest_1.expect)(out.stdout).toContain('(2 + 3)');
|
|
354
|
+
});
|
|
355
|
+
(0, vitest_1.it)('let with arithmetic and print', () => {
|
|
356
|
+
const out = run(`logic arithmetic\nlet X = 2 + 3\nprint X`);
|
|
357
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
358
|
+
(0, vitest_1.expect)(out.stdout).toContain('(2 + 3)');
|
|
359
|
+
});
|
|
360
|
+
(0, vitest_1.it)('set with arithmetic expression', () => {
|
|
361
|
+
const out = run(`logic arithmetic\nlet X = 1\nset X = 2 * 5\nprint X`);
|
|
362
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
363
|
+
(0, vitest_1.expect)(out.stdout).toContain('(2 × 5)');
|
|
364
|
+
});
|
|
365
|
+
(0, vitest_1.it)('checkWellFormed warns on division by zero literal', () => {
|
|
366
|
+
const out = run(`logic arithmetic\naxiom D = 10 / 0`);
|
|
367
|
+
const warnings = out.diagnostics.filter((d) => d.severity === 'warning');
|
|
368
|
+
(0, vitest_1.expect)(warnings.length).toBeGreaterThan(0);
|
|
369
|
+
(0, vitest_1.expect)(warnings.some((w) => w.message.includes('División por cero'))).toBe(true);
|
|
370
|
+
});
|
|
371
|
+
(0, vitest_1.it)('mixed arithmetic and logic: arithmetic within logical connective', () => {
|
|
372
|
+
// This tests that arithmetic can coexist with logical connectives
|
|
373
|
+
const out = run(`logic arithmetic\naxiom A = (1 < 2) & (3 > 1)`);
|
|
374
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
375
|
+
});
|
|
376
|
+
(0, vitest_1.it)('countermodel: false arithmetic comparison', () => {
|
|
377
|
+
const out = run(`logic arithmetic\ncountermodel 5 < 3`);
|
|
378
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
379
|
+
(0, vitest_1.expect)(out.stdout).toContain('Contramodelo trivial');
|
|
380
|
+
});
|
|
381
|
+
(0, vitest_1.it)('countermodel: true arithmetic — no countermodel', () => {
|
|
382
|
+
const out = run(`logic arithmetic\ncountermodel 3 < 5`);
|
|
383
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
384
|
+
});
|
|
385
|
+
});
|
|
386
|
+
// ── Unicode / special operators ──────────────────────────────
|
|
387
|
+
(0, vitest_1.describe)('arithmetic: unicode operators', () => {
|
|
388
|
+
(0, vitest_1.it)('parses ≤ as LTE', () => {
|
|
389
|
+
const f = parseFormula('3 ≤ 5');
|
|
390
|
+
(0, vitest_1.expect)(f.kind).toBe('less_eq');
|
|
391
|
+
});
|
|
392
|
+
(0, vitest_1.it)('parses ≥ as GTE', () => {
|
|
393
|
+
const f = parseFormula('5 ≥ 3');
|
|
394
|
+
(0, vitest_1.expect)(f.kind).toBe('greater_eq');
|
|
395
|
+
});
|
|
396
|
+
});
|
|
397
|
+
// ── Edge cases ───────────────────────────────────────────────
|
|
398
|
+
(0, vitest_1.describe)('arithmetic: edge cases', () => {
|
|
399
|
+
(0, vitest_1.it)('double negation: --5 is subtract(0, subtract(0, 5))', () => {
|
|
400
|
+
const f = parseFormula('--5');
|
|
401
|
+
(0, vitest_1.expect)(f.kind).toBe('subtract');
|
|
402
|
+
(0, vitest_1.expect)(f.args[0].value).toBe(0);
|
|
403
|
+
(0, vitest_1.expect)(f.args[1].kind).toBe('subtract');
|
|
404
|
+
});
|
|
405
|
+
(0, vitest_1.it)('complex expression: (10 - 3) * 2 + 1', () => {
|
|
406
|
+
const f = parseFormula('(10 - 3) * 2 + 1');
|
|
407
|
+
(0, vitest_1.expect)(f.kind).toBe('add');
|
|
408
|
+
(0, vitest_1.expect)(f.args[0].kind).toBe('multiply');
|
|
409
|
+
(0, vitest_1.expect)(f.args[1].value).toBe(1);
|
|
410
|
+
});
|
|
411
|
+
(0, vitest_1.it)('arithmetic and logical operators together: (x + y) & P is valid parse', () => {
|
|
412
|
+
const out = run(`logic arithmetic\naxiom T = (1 + 2) & P`);
|
|
413
|
+
(0, vitest_1.expect)(out.exitCode).toBe(0);
|
|
414
|
+
});
|
|
415
|
+
});
|
|
416
|
+
//# sourceMappingURL=arithmetic.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"arithmetic.test.js","sourceRoot":"","sources":["../../src/tests/arithmetic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gDAAgD;AAChD,+DAA+D;;AAE/D,mCAA8C;AAC9C,wDAAqD;AACrD,6CAA0C;AAC1C,8CAAqE;AACrE,uDAAqD;AACrD,qDAAiD;AAGjD,gEAAgE;AAEhE,SAAS,GAAG,CAAC,MAAc;IACzB,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,oDAAoD;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC;IACtE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAC1E,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IAChC,OAAQ,SAAiB,CAAC,OAAO,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,oBAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,OAAO,GAAG,oBAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,OAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;QACpC,mCAAmC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;QACrC,gCAAgC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7B,gCAAgC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;gBACnF,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;aAC7B;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAClE,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAClE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CAAC,gCAAgC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,0CAA0C,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,GAAG,CAAC,qCAAqC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,qCAAqC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,sCAAsC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC,sCAAsC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,GAAG,CAAC,+CAA+C,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,kCAAkC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CAAC,+BAA+B,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CAAC,0CAA0C,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,GAAG,CAAC,oCAAoC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,kEAAkE;QAClE,MAAM,GAAG,GAAG,GAAG,CAAC,+CAA+C,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,GAAG,CAAC,sCAAsC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,GAAG,CAAC,sCAAsC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,YAAY,CAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAG,GAAG,CAAC,yCAAyC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|