@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.
Files changed (40) hide show
  1. package/dist/ast/nodes.d.ts +50 -2
  2. package/dist/ast/nodes.d.ts.map +1 -1
  3. package/dist/lexer/lexer.d.ts.map +1 -1
  4. package/dist/lexer/lexer.js +42 -14
  5. package/dist/lexer/lexer.js.map +1 -1
  6. package/dist/lexer/tokens.d.ts +18 -0
  7. package/dist/lexer/tokens.d.ts.map +1 -1
  8. package/dist/lexer/tokens.js +37 -0
  9. package/dist/lexer/tokens.js.map +1 -1
  10. package/dist/parser/parser.d.ts +16 -0
  11. package/dist/parser/parser.d.ts.map +1 -1
  12. package/dist/parser/parser.js +281 -2
  13. package/dist/parser/parser.js.map +1 -1
  14. package/dist/profiles/arithmetic/index.d.ts +20 -0
  15. package/dist/profiles/arithmetic/index.d.ts.map +1 -0
  16. package/dist/profiles/arithmetic/index.js +222 -0
  17. package/dist/profiles/arithmetic/index.js.map +1 -0
  18. package/dist/profiles/classical/propositional.d.ts.map +1 -1
  19. package/dist/profiles/classical/propositional.js +39 -0
  20. package/dist/profiles/classical/propositional.js.map +1 -1
  21. package/dist/profiles/index.d.ts +2 -1
  22. package/dist/profiles/index.d.ts.map +1 -1
  23. package/dist/profiles/index.js +4 -1
  24. package/dist/profiles/index.js.map +1 -1
  25. package/dist/runtime/format.d.ts.map +1 -1
  26. package/dist/runtime/format.js +80 -2
  27. package/dist/runtime/format.js.map +1 -1
  28. package/dist/runtime/interpreter.d.ts +13 -0
  29. package/dist/runtime/interpreter.d.ts.map +1 -1
  30. package/dist/runtime/interpreter.js +212 -0
  31. package/dist/runtime/interpreter.js.map +1 -1
  32. package/dist/tests/arithmetic.test.d.ts +2 -0
  33. package/dist/tests/arithmetic.test.d.ts.map +1 -0
  34. package/dist/tests/arithmetic.test.js +416 -0
  35. package/dist/tests/arithmetic.test.js.map +1 -0
  36. package/dist/tests/v1-features.test.js +339 -2
  37. package/dist/tests/v1-features.test.js.map +1 -1
  38. package/dist/types/index.d.ts +2 -1
  39. package/dist/types/index.d.ts.map +1 -1
  40. 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"}