@stevenvo780/st-lang 3.1.0 → 3.1.1

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 (55) hide show
  1. package/dist/api.d.ts.map +1 -1
  2. package/dist/api.js +44 -9
  3. package/dist/api.js.map +1 -1
  4. package/dist/parser/parser.d.ts +4 -0
  5. package/dist/parser/parser.d.ts.map +1 -1
  6. package/dist/parser/parser.js +213 -92
  7. package/dist/parser/parser.js.map +1 -1
  8. package/dist/profiles/classical/first-order.d.ts.map +1 -1
  9. package/dist/profiles/classical/first-order.js +12 -5
  10. package/dist/profiles/classical/first-order.js.map +1 -1
  11. package/dist/profiles/classical/propositional.d.ts.map +1 -1
  12. package/dist/profiles/classical/propositional.js +281 -35
  13. package/dist/profiles/classical/propositional.js.map +1 -1
  14. package/dist/profiles/shared/tableau-engine.d.ts +4 -3
  15. package/dist/profiles/shared/tableau-engine.d.ts.map +1 -1
  16. package/dist/profiles/shared/tableau-engine.js +101 -15
  17. package/dist/profiles/shared/tableau-engine.js.map +1 -1
  18. package/dist/protocol/handler.d.ts +4 -0
  19. package/dist/protocol/handler.d.ts.map +1 -1
  20. package/dist/protocol/handler.js +133 -41
  21. package/dist/protocol/handler.js.map +1 -1
  22. package/dist/repl/repl.d.ts +2 -0
  23. package/dist/repl/repl.d.ts.map +1 -1
  24. package/dist/repl/repl.js +39 -18
  25. package/dist/repl/repl.js.map +1 -1
  26. package/dist/runtime/compat.d.ts +29 -0
  27. package/dist/runtime/compat.d.ts.map +1 -0
  28. package/dist/runtime/compat.js +821 -0
  29. package/dist/runtime/compat.js.map +1 -0
  30. package/dist/runtime/interpreter.d.ts +3 -0
  31. package/dist/runtime/interpreter.d.ts.map +1 -1
  32. package/dist/runtime/interpreter.js +128 -28
  33. package/dist/runtime/interpreter.js.map +1 -1
  34. package/dist/tests/compat.test.d.ts +2 -0
  35. package/dist/tests/compat.test.d.ts.map +1 -0
  36. package/dist/tests/compat.test.js +247 -0
  37. package/dist/tests/compat.test.js.map +1 -0
  38. package/dist/tests/core.test.js +37 -0
  39. package/dist/tests/core.test.js.map +1 -1
  40. package/dist/tests/parser.test.js +38 -0
  41. package/dist/tests/parser.test.js.map +1 -1
  42. package/dist/tests/profiles.test.js +8 -0
  43. package/dist/tests/profiles.test.js.map +1 -1
  44. package/dist/tests/protocol-text-layer.test.d.ts +2 -0
  45. package/dist/tests/protocol-text-layer.test.d.ts.map +1 -0
  46. package/dist/tests/protocol-text-layer.test.js +54 -0
  47. package/dist/tests/protocol-text-layer.test.js.map +1 -0
  48. package/dist/text-layer/compiler.d.ts.map +1 -1
  49. package/dist/text-layer/compiler.js +35 -8
  50. package/dist/text-layer/compiler.js.map +1 -1
  51. package/dist/types/index.d.ts +27 -1
  52. package/dist/types/index.d.ts.map +1 -1
  53. package/dist/types/index.js +7 -0
  54. package/dist/types/index.js.map +1 -1
  55. package/package.json +2 -2
@@ -35,11 +35,16 @@ exports.FRAME_KD = {
35
35
  return branch.gammaWatchers.filter((gw) => gw.sourceWorld === source);
36
36
  },
37
37
  enforceFrameConditions(branch) {
38
- const worldsWithGamma = new Set();
38
+ const worldsRequiringSuccessor = new Set();
39
39
  for (const gw of branch.gammaWatchers)
40
- worldsWithGamma.add(gw.sourceWorld);
40
+ worldsRequiringSuccessor.add(gw.sourceWorld);
41
+ for (const pending of branch.pending) {
42
+ if (classify(pending.formula) === 'delta') {
43
+ worldsRequiringSuccessor.add(pending.world);
44
+ }
45
+ }
41
46
  let applied = false;
42
- for (const w of worldsWithGamma) {
47
+ for (const w of worldsRequiringSuccessor) {
43
48
  const successors = branch.accessibility.get(w);
44
49
  if (!successors || successors.size === 0) {
45
50
  const newWorld = `w${branch.worldCounter++}`;
@@ -307,6 +312,20 @@ function closes(branch, node) {
307
312
  // ── Pool de Ramas (Object Pooling) ──────────────────────────
308
313
  const branchPool = [];
309
314
  const MAX_POOL_SIZE = 32;
315
+ let nextBranchId = 1;
316
+ let nextTraceNodeId = 1;
317
+ function pushTrace(branch, message, options) {
318
+ branch.trace.push({
319
+ message,
320
+ branchId: branch.branchId,
321
+ depth: options?.depth,
322
+ rule: options?.rule ?? 'info',
323
+ status: options?.status,
324
+ world: options?.world,
325
+ formula: options?.formula ? formulaHash(options.formula) : undefined,
326
+ nodeId: `tt-${nextTraceNodeId++}`,
327
+ });
328
+ }
310
329
  function acquireBranch() {
311
330
  if (branchPool.length > 0) {
312
331
  const branch = branchPool.pop();
@@ -321,6 +340,7 @@ function acquireBranch() {
321
340
  gammaWatchers: [],
322
341
  processed: new Set(),
323
342
  worldCounter: 0,
343
+ branchId: `b${nextBranchId++}`,
324
344
  trace: [],
325
345
  };
326
346
  }
@@ -334,6 +354,7 @@ function _releaseBranch(b) {
334
354
  b.gammaWatchers.length = 0;
335
355
  b.processed.clear();
336
356
  b.worldCounter = 0;
357
+ b.branchId = `b${nextBranchId++}`;
337
358
  b.trace.length = 0;
338
359
  branchPool.push(b);
339
360
  }
@@ -351,6 +372,7 @@ function cloneBranch(b) {
351
372
  for (const p of b.processed)
352
373
  clone.processed.add(p);
353
374
  clone.worldCounter = b.worldCounter;
375
+ clone.branchId = `b${nextBranchId++}`;
354
376
  clone.trace.push(...b.trace);
355
377
  return clone;
356
378
  }
@@ -358,7 +380,11 @@ function cloneBranch(b) {
358
380
  const MAX_DEPTH = 200;
359
381
  function expand(branch, depth, rules) {
360
382
  if (depth > MAX_DEPTH) {
361
- branch.trace.push(`[${depth}] ⚠ MAX_DEPTH reached. Aborting.`);
383
+ pushTrace(branch, `[${depth}] ⚠ MAX_DEPTH reached. Aborting.`, {
384
+ depth,
385
+ rule: 'limit',
386
+ status: 'limit',
387
+ });
362
388
  return { closed: false, openBranch: branch, trace: branch.trace };
363
389
  }
364
390
  // 1. Procesar literales del pending
@@ -371,9 +397,21 @@ function expand(branch, depth, rules) {
371
397
  if (branch.processed.has(key))
372
398
  continue;
373
399
  branch.processed.add(key);
374
- branch.trace.push(`[${depth}] Analizando literal: ${formulaHash(next.formula)} en ${next.world}`);
400
+ pushTrace(branch, `[${depth}] Analizando literal: ${formulaHash(next.formula)} en ${next.world}`, {
401
+ depth,
402
+ rule: 'literal',
403
+ status: 'expanded',
404
+ world: next.world,
405
+ formula: next.formula,
406
+ });
375
407
  if (closes(branch, next)) {
376
- branch.trace.push(`[${depth}] ✕ Rama cerrada por contradicción con ${formulaHash(next.formula)} en ${next.world}`);
408
+ pushTrace(branch, `[${depth}] ✕ Rama cerrada por contradicción con ${formulaHash(next.formula)} en ${next.world}`, {
409
+ depth,
410
+ rule: 'close',
411
+ status: 'closed',
412
+ world: next.world,
413
+ formula: next.formula,
414
+ });
377
415
  return { closed: true, trace: branch.trace };
378
416
  }
379
417
  branch.literals.push(next);
@@ -381,10 +419,18 @@ function expand(branch, depth, rules) {
381
419
  if (branch.pending.length === 0) {
382
420
  // Hook: enforceFrameConditions
383
421
  if (rules.enforceFrameConditions?.(branch)) {
384
- branch.trace.push(`[${depth}] Aplicando enforceFrameConditions (serialidad/etc)`);
422
+ pushTrace(branch, `[${depth}] Aplicando enforceFrameConditions (serialidad/etc)`, {
423
+ depth,
424
+ rule: 'frame',
425
+ status: 'expanded',
426
+ });
385
427
  return expand(branch, depth + 1, rules);
386
428
  }
387
- branch.trace.push(`[${depth}] ✓ Rama saturada y ABIERTA.`);
429
+ pushTrace(branch, `[${depth}] ✓ Rama saturada y ABIERTA.`, {
430
+ depth,
431
+ rule: 'open',
432
+ status: 'open',
433
+ });
388
434
  return { closed: false, openBranch: branch, trace: branch.trace };
389
435
  }
390
436
  // 2. Prioridad: alpha > delta > gamma > beta
@@ -400,7 +446,13 @@ function expand(branch, depth, rules) {
400
446
  if (branch.processed.has(key))
401
447
  return expand(branch, depth + 1, rules);
402
448
  branch.processed.add(key);
403
- branch.trace.push(`[${depth}] Regla Alpha (Conjunción) en ${node.world}: ${formulaHash(node.formula)}`);
449
+ pushTrace(branch, `[${depth}] Regla Alpha (Conjunción) en ${node.world}: ${formulaHash(node.formula)}`, {
450
+ depth,
451
+ rule: 'alpha',
452
+ status: 'expanded',
453
+ world: node.world,
454
+ formula: node.formula,
455
+ });
404
456
  const f = node.formula;
405
457
  let children;
406
458
  if (f.kind === 'and')
@@ -438,7 +490,13 @@ function expand(branch, depth, rules) {
438
490
  return expand(branch, depth + 1, rules);
439
491
  const inner = fullNNF(rawDeltaInner);
440
492
  const newWorld = `w${branch.worldCounter++}`;
441
- branch.trace.push(`[${depth}] Regla Delta (Posibilidad/Existe) en ${node.world}: ${formulaHash(node.formula)} ─> nuevo mundo ${newWorld}`);
493
+ pushTrace(branch, `[${depth}] Regla Delta (Posibilidad/Existe) en ${node.world}: ${formulaHash(node.formula)} ─> nuevo mundo ${newWorld}`, {
494
+ depth,
495
+ rule: 'delta',
496
+ status: 'expanded',
497
+ world: node.world,
498
+ formula: node.formula,
499
+ });
442
500
  if (!branch.accessibility.has(node.world))
443
501
  branch.accessibility.set(node.world, new Set());
444
502
  branch.accessibility.get(node.world).add(newWorld);
@@ -460,7 +518,13 @@ function expand(branch, depth, rules) {
460
518
  if (!rawInner)
461
519
  return expand(branch, depth + 1, rules);
462
520
  const inner = fullNNF(rawInner);
463
- branch.trace.push(`[${depth}] Regla Gamma (Necesidad/ParaTodo) en ${node.world}: ${formulaHash(node.formula)}`);
521
+ pushTrace(branch, `[${depth}] Regla Gamma (Necesidad/ParaTodo) en ${node.world}: ${formulaHash(node.formula)}`, {
522
+ depth,
523
+ rule: 'gamma',
524
+ status: 'expanded',
525
+ world: node.world,
526
+ formula: node.formula,
527
+ });
464
528
  const exists = branch.gammaWatchers.some((gw) => gw.sourceWorld === node.world && formulaEqual(gw.innerFormula, inner));
465
529
  if (!exists)
466
530
  branch.gammaWatchers.push({ innerFormula: inner, sourceWorld: node.world });
@@ -476,7 +540,13 @@ function expand(branch, depth, rules) {
476
540
  if (branch.processed.has(key))
477
541
  return expand(branch, depth + 1, rules);
478
542
  branch.processed.add(key);
479
- branch.trace.push(`[${depth}] Regla Beta (Disyunción/Impl) en ${node.world}: ${formulaHash(node.formula)}. Bifurcando...`);
543
+ pushTrace(branch, `[${depth}] Regla Beta (Disyunción/Impl) en ${node.world}: ${formulaHash(node.formula)}. Bifurcando...`, {
544
+ depth,
545
+ rule: 'beta',
546
+ status: 'expanded',
547
+ world: node.world,
548
+ formula: node.formula,
549
+ });
480
550
  const f = node.formula;
481
551
  let disjuncts;
482
552
  if (f.kind === 'or')
@@ -519,7 +589,13 @@ function expand(branch, depth, rules) {
519
589
  for (let i = 0; i < disjuncts.length; i++) {
520
590
  const d = disjuncts[i];
521
591
  const child = cloneBranch(branch);
522
- child.trace.push(`[${depth}] -> Rama Beta ${i + 1}: ${formulaHash(d)}`);
592
+ pushTrace(child, `[${depth}] -> Rama Beta ${i + 1}: ${formulaHash(d)}`, {
593
+ depth,
594
+ rule: 'beta',
595
+ status: 'expanded',
596
+ world: node.world,
597
+ formula: d,
598
+ });
523
599
  child.pending.push({ formula: d, world: node.world });
524
600
  const res = expand(child, depth + 1, rules);
525
601
  if (!res.closed) {
@@ -545,13 +621,23 @@ function checkTableau(formula, rules, isValidityCheck) {
545
621
  if (isValidityCheck) {
546
622
  const negated = fullNNF({ kind: 'not', args: [formula] });
547
623
  const branch = makeBranch([{ formula: negated, world: 'w0' }]);
548
- branch.trace.push(`Iniciando prueba de validez por refutación para: ${formulaHash(formula)}`);
624
+ pushTrace(branch, `Iniciando prueba de validez por refutación para: ${formulaHash(formula)}`, {
625
+ rule: 'start',
626
+ status: 'expanded',
627
+ world: 'w0',
628
+ formula,
629
+ });
549
630
  return expand(branch, 0, rules);
550
631
  }
551
632
  else {
552
633
  const nnf = fullNNF(formula);
553
634
  const branch = makeBranch([{ formula: nnf, world: 'w0' }]);
554
- branch.trace.push(`Iniciando prueba de satisfacibilidad para: ${formulaHash(formula)}`);
635
+ pushTrace(branch, `Iniciando prueba de satisfacibilidad para: ${formulaHash(formula)}`, {
636
+ rule: 'start',
637
+ status: 'expanded',
638
+ world: 'w0',
639
+ formula,
640
+ });
555
641
  return expand(branch, 0, rules);
556
642
  }
557
643
  }
@@ -1 +1 @@
1
- {"version":3,"file":"tableau-engine.js","sourceRoot":"","sources":["../../../src/profiles/shared/tableau-engine.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;;;AA8J/D,oCAEC;AAmED,kCAEC;AAqCD,oDAsBC;AAED,0BAEC;AA8TD,gCAMC;AAED,oCAgBC;AAGD,0BAEC;AAED,sCAEC;AAhoBD,8DAAmD;AAmDnD,+DAA+D;AAE/D,+FAA+F;AAClF,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,gEAAgE;AACnD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;IACD,sBAAsB,CAAC,MAAM;QAC3B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa;YAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3E,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,sEAAsE;AACzD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,OAAO,EAAE,MAAM;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM;QAC3C,4DAA4D;QAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACnC,CAAC;CACF,CAAC;AAEF,sCAAsC;AACzB,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,wCAAwC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,iCAAiC;AACpB,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,yEAAyE;QACzE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;gBAClC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAU,EAAE,CAAU;IACjD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAU,EACV,CAAU,EACV,IAAyB,EACzB,IAAyB,EACzB,QAAgB,CAAC;IAEjB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,oDAAoD;QACpD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,KAAK,MAAM,CAAC;QAC3E,wDAAwD;QACxD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,KAAK,KAAK,CAAC;QACzE,uCAAuC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC;YAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,8CAA8C;IAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,2CAA+C;AAE/C,SAAgB,WAAW,CAAC,CAAU;IACpC,OAAO,IAAA,kBAAW,EAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,IAAI;YACP,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe;YAClB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrF,KAAK,iBAAiB;YACpB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF;YACE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAAC,CAAU;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;oBACzC;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;4BAChC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC;QACJ;YACE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,IAAA,qBAAK,EAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;AACvF,CAAC;AAID,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC;QACjB,KAAK,IAAI,CAAC;QACV,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,OAAO,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,OAAO,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,MAAM,CAAC,MAAc,EAAE,IAAiB;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,OAAO,EAAG,CAAC,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,MAAM,UAAU,GAAa,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,SAAS,aAAa;IACpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACtC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAE/D,MAAM,SAAS,GAAG,GAAG,CAAC;AAUtB,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,KAAiB;IAC9D,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,kCAAkC,CAAC,CAAC;QAC/D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;YAAE,MAAM;QAChD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yBAAyB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAC/E,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,0CAA0C,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAChG,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,qDAAqD,CAAC,CAAC;YAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC;QAC3D,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QAEtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,iCAAiC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACrF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,QAAmB,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBACrD,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;oBAC1D,QAAQ,GAAG;wBACT,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB;oBACjE,QAAQ,GAAG;wBACT,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC;4BACN,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;6BACtE;yBACF,CAAC;qBACH,CAAC;;oBACC,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;gBAErC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,QAAQ,EAAE,CACxH,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBAC1F,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACpE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAE5B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAEzD,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAEhC,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAC7F,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9E,CAAC;gBACF,IAAI,CAAC,MAAM;oBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBAEzF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,IAAI,KAAK,qCAAqC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CACxG,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,SAAoB,CAAC;gBACzB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,SAAS,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAC3B,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBACjC,SAAS,GAAG;wBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC7D;4BACE,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE;gCACJ,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gCACnD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BACpD;yBACF;qBACF,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAClC,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACjB,OAAO,CAAC;4BACN,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAChE,CAAC;qBACH,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;oBACtD,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7D,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,SAAS;wBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1C,CAAC;;oBAAM,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAE/C,IAAI,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAClC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC1E,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChB,OAAO,GAAG,CAAC,CAAC,qBAAqB;oBACnC,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,sCAAsC;gBACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,KAAoB;IAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAgB,EAChB,KAAiB,EACjB,eAAwB;IAExB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,oDAAoD,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9F,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,8CAA8C,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,OAAO,CAAC,OAAgB,EAAE,KAAiB;IACzD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED,SAAgB,aAAa,CAAC,OAAgB,EAAE,KAAiB;IAC/D,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC"}
1
+ {"version":3,"file":"tableau-engine.js","sourceRoot":"","sources":["../../../src/profiles/shared/tableau-engine.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,wDAAwD;AACxD,8DAA8D;AAC9D,+DAA+D;;;AAoK/D,oCAEC;AAmED,kCAEC;AAqCD,oDAsBC;AAED,0BAEC;AA4ZD,gCAMC;AAED,oCA0BC;AAGD,0BAEC;AAED,sCAEC;AA9uBD,8DAAmD;AAoDnD,+DAA+D;AAE/D,+FAA+F;AAClF,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,gEAAgE;AACnD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;IACD,sBAAsB,CAAC,MAAM;QAC3B,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;QACnD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa;YAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACpF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,OAAO,EAAE,CAAC;gBAC1C,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACxE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,EAAE,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;wBACzB,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,sEAAsE;AACzD,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,OAAO,EAAE,MAAM;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM;QAC3C,4DAA4D;QAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACnC,CAAC;CACF,CAAC;AAEF,sCAAsC;AACzB,QAAA,OAAO,GAAe;IACjC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,wCAAwC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC;IACxE,CAAC;CACF,CAAC;AAEF,iCAAiC;AACpB,QAAA,QAAQ,GAAe;IAClC,YAAY,CAAC,MAAM,EAAE,MAAM;QACzB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM;QAC1C,yEAAyE;QACzE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;gBAClC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAU,EAAE,CAAU;IACjD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAU,EACV,CAAU,EACV,IAAyB,EACzB,IAAyB,EACzB,QAAgB,CAAC;IAEjB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,oDAAoD;QACpD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,KAAK,MAAM,CAAC;QAC3E,wDAAwD;QACxD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,KAAK,KAAK,CAAC;QACzE,uCAAuC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC;YAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,8CAA8C;IAC9C,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,2CAA+C;AAE/C,SAAgB,WAAW,CAAC,CAAU;IACpC,OAAO,IAAA,kBAAW,EAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,IAAI;YACP,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe;YAClB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrF,KAAK,iBAAiB;YACpB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACnF;YACE,OAAO,CAAC,CAAC,IAAI,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAAC,CAAU;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,eAAe;YAClB,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;oBACzC;wBACE,IAAI,EAAE,KAAK;wBACX,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;4BAChC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC;QACJ;YACE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,IAAA,qBAAK,EAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC;AACvF,CAAC;AAID,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC;QACjB,KAAK,IAAI,CAAC;QACV,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,MAAM,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC;YACrD,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,OAAO,CAAC;YACvD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAAE,OAAO,OAAO,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,OAAO,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,MAAM,CAAC,MAAc,EAAE,IAAiB;IAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,OAAO,EAAG,CAAC,CAAC,IAAkB,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,CAAC;QACb,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnB,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,+DAA+D;AAE/D,MAAM,UAAU,GAAa,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,IAAI,YAAY,GAAG,CAAC,CAAC;AACrB,IAAI,eAAe,GAAG,CAAC,CAAC;AAExB,SAAS,SAAS,CAChB,MAAc,EACd,OAAe,EACf,OAMC;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;QAChB,OAAO;QACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,MAAM;QAC7B,MAAM,EAAE,OAAO,EAAE,MAAM;QACvB,KAAK,EAAE,OAAO,EAAE,KAAK;QACrB,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACpE,MAAM,EAAE,MAAM,eAAe,EAAE,EAAE;KAClC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,IAAI,YAAY,EAAE,EAAE;QAC9B,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,UAAU,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QACtC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;QAClC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACpC,KAAK,CAAC,QAAQ,GAAG,IAAI,YAAY,EAAE,EAAE,CAAC;IACtC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAE/D,MAAM,SAAS,GAAG,GAAG,CAAC;AAUtB,SAAS,MAAM,CAAC,MAAc,EAAE,KAAa,EAAE,KAAiB;IAC9D,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QACtB,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,kCAAkC,EAAE;YAC7D,KAAK;YACL,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,OAAO;SAChB,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,SAAS;YAAE,MAAM;QAChD,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yBAAyB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC9E;YACE,KAAK;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CACF,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CACP,MAAM,EACN,IAAI,KAAK,0CAA0C,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,EAC/F;gBACE,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,QAAQ;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CACF,CAAC;YACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,qDAAqD,EAAE;gBAChF,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,8BAA8B,EAAE;YACzD,KAAK;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEvE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,CAAC;YAAE,SAAS;QAEtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAEzD,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,iCAAiC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EACpF;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,QAAmB,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,QAAQ,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBACrD,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;oBAC1D,QAAQ,GAAG;wBACT,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,gBAAgB;oBACjE,QAAQ,GAAG;wBACT,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC;4BACN,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gCAClD,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;6BACtE;yBACF,CAAC;qBACH,CAAC;;oBACC,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,IAAI,CAAC,aAAa;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;gBAErC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC7C,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,QAAQ,EAAE,EACvH;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBAC1F,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACpE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAE5B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAEzD,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACxE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAC1B,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAEhC,SAAS,CACP,MAAM,EACN,IAAI,KAAK,yCAAyC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAC5F;oBACE,KAAK;oBACL,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,KAAK,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9E,CAAC;gBACF,IAAI,CAAC,MAAM;oBAAE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;gBAEzF,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;wBAChC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,SAAS,CACP,MAAM,EACN,IAAI,KAAK,qCAAqC,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EACvG;oBACE,KAAK;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACtB,CACF,CAAC;gBACF,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBACvB,IAAI,SAAoB,CAAC;gBACzB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,SAAS,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;qBACzC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAC3B,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBACjC,SAAS,GAAG;wBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC7D;4BACE,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE;gCACJ,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gCACnD,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;6BACpD;yBACF;qBACF,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAClC,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACjB,OAAO,CAAC;4BACN,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAChE,CAAC;qBACH,CAAC;qBACC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK;oBACtD,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBAChF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7D,SAAS,GAAG;wBACV,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;wBACzB,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC5D,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,SAAS;wBAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClF,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC1C,CAAC;;oBAAM,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;gBAE/C,IAAI,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAClC,SAAS,CAAC,KAAK,EAAE,IAAI,KAAK,oBAAoB,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE;wBACxE,KAAK;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,IAAI,CAAC,KAAK;wBACjB,OAAO,EAAE,CAAC;qBACX,CAAC,CAAC;oBACH,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;wBAChB,OAAO,GAAG,CAAC,CAAC,qBAAqB;oBACnC,CAAC;oBACD,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,sCAAsC;gBACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,KAAoB;IAC7C,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAgB,EAChB,KAAiB,EACjB,eAAwB;IAExB,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/D,SAAS,CAAC,MAAM,EAAE,oDAAoD,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YAC5F,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,SAAS,CAAC,MAAM,EAAE,8CAA8C,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE;YACtF,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;YACX,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,OAAO,CAAC,OAAgB,EAAE,KAAiB;IACzD,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC;AAED,SAAgB,aAAa,CAAC,OAAgB,EAAE,KAAiB;IAC/D,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC;AACrD,CAAC"}
@@ -16,5 +16,9 @@ export declare class ProtocolHandler {
16
16
  private handleRender;
17
17
  private getStatementHoverInfo;
18
18
  private renderOutput;
19
+ private requireParamsObject;
20
+ private requireStringParam;
21
+ private optionalStringParam;
22
+ private requireIntegerParam;
19
23
  }
20
24
  //# sourceMappingURL=handler.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,eAAe,EACf,gBAAgB,EAKjB,MAAM,UAAU,CAAC;AAMlB,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAc;;IAMjC,MAAM,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB;IA4BlD,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,WAAW;IA2LnB,iGAAiG;IACjG,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,kBAAkB;IAqI1B,OAAO,CAAC,aAAa;IAqLrB,OAAO,CAAC,oBAAoB;IAoC5B,OAAO,CAAC,gBAAgB;IAmxBxB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,qBAAqB;IAwE7B,OAAO,CAAC,YAAY;CAoBrB"}
1
+ {"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,eAAe,EACf,gBAAgB,EAKjB,MAAM,UAAU,CAAC;AAMlB,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAc;;IAMjC,MAAM,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB;IAoClD,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,WAAW;IA2LnB,iGAAiG;IACjG,OAAO,CAAC,eAAe;IAevB,OAAO,CAAC,kBAAkB;IAuJ1B,OAAO,CAAC,aAAa;IAqLrB,OAAO,CAAC,oBAAoB;IAoC5B,OAAO,CAAC,gBAAgB;IAuzBxB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,qBAAqB;IAwE7B,OAAO,CAAC,YAAY;IAqBpB,OAAO,CAAC,mBAAmB;IAO3B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,mBAAmB;CAU5B"}
@@ -13,35 +13,44 @@ class ProtocolHandler {
13
13
  this.interpreter = new interpreter_1.Interpreter();
14
14
  }
15
15
  handle(request) {
16
- switch (request.method) {
17
- case 'parse':
18
- return this.handleParse(request);
19
- case 'check':
20
- return this.handleCheck(request);
21
- case 'run':
22
- return this.handleRun(request);
23
- case 'hover':
24
- return this.handleHover(request);
25
- case 'symbols':
26
- return this.handleSymbols(request);
27
- case 'goto_definition':
28
- return this.handleGotoDefinition(request);
29
- case 'completion':
30
- return this.handleCompletion(request);
31
- case 'render':
32
- return this.handleRender(request);
33
- default: {
34
- const method = request.method;
35
- return {
36
- id: request.id,
37
- error: { code: -1, message: `Metodo desconocido: ${String(method)}` },
38
- };
16
+ try {
17
+ switch (request.method) {
18
+ case 'parse':
19
+ return this.handleParse(request);
20
+ case 'check':
21
+ return this.handleCheck(request);
22
+ case 'run':
23
+ return this.handleRun(request);
24
+ case 'hover':
25
+ return this.handleHover(request);
26
+ case 'symbols':
27
+ return this.handleSymbols(request);
28
+ case 'goto_definition':
29
+ return this.handleGotoDefinition(request);
30
+ case 'completion':
31
+ return this.handleCompletion(request);
32
+ case 'render':
33
+ return this.handleRender(request);
34
+ default: {
35
+ const method = request.method;
36
+ return {
37
+ id: request.id,
38
+ error: { code: -1, message: `Metodo desconocido: ${String(method)}` },
39
+ };
40
+ }
39
41
  }
40
42
  }
43
+ catch (error) {
44
+ const message = error instanceof Error ? error.message : 'Solicitud invalida';
45
+ return {
46
+ id: request.id,
47
+ error: { code: -32602, message },
48
+ };
49
+ }
41
50
  }
42
51
  handleParse(request) {
43
- const source = request.params.source;
44
- const file = request.params.file || '<stdin>';
52
+ const source = this.requireStringParam(request, 'source');
53
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
45
54
  const parser = new parser_1.Parser(file);
46
55
  const program = parser.parse(source);
47
56
  return {
@@ -51,8 +60,8 @@ class ProtocolHandler {
51
60
  };
52
61
  }
53
62
  handleCheck(request) {
54
- const source = request.params.source;
55
- const file = request.params.file || '<stdin>';
63
+ const source = this.requireStringParam(request, 'source');
64
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
56
65
  const parser = new parser_1.Parser(file);
57
66
  const program = parser.parse(source);
58
67
  const diagnostics = [...parser.diagnostics];
@@ -71,8 +80,8 @@ class ProtocolHandler {
71
80
  };
72
81
  }
73
82
  handleRun(request) {
74
- const source = request.params.source;
75
- const file = request.params.file || '<stdin>';
83
+ const source = this.requireStringParam(request, 'source');
84
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
76
85
  const output = this.interpreter.execute(source, file);
77
86
  return {
78
87
  id: request.id,
@@ -81,10 +90,10 @@ class ProtocolHandler {
81
90
  };
82
91
  }
83
92
  handleHover(request) {
84
- const source = request.params.source;
85
- const line = request.params.line;
86
- const column = request.params.column;
87
- const file = request.params.file || '<stdin>';
93
+ const source = this.requireStringParam(request, 'source');
94
+ const line = this.requireIntegerParam(request, 'line');
95
+ const column = this.requireIntegerParam(request, 'column');
96
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
88
97
  const parser = new parser_1.Parser(file);
89
98
  const program = parser.parse(source);
90
99
  // Recopilar todas las definiciones del programa
@@ -283,6 +292,9 @@ class ProtocolHandler {
283
292
  axiom: '**axiom**\n\nDeclara una premisa o ley base disponible para derivaciones.\n\nEjemplo: `axiom regla : P -> Q`',
284
293
  theorem: '**theorem**\n\nDeclara un teorema nombrado dentro de una teoría o script.\n\nEjemplo: `theorem identidad : P -> P`',
285
294
  let: '**let**\n\nCrea un alias reutilizable para fórmulas, descripciones o pasajes.',
295
+ premise: '**premise**\n\nAlias didáctico de `assume` para registrar una premisa temporal dentro de una demostración de aula.',
296
+ conclusion: '**conclusion**\n\nCierra un bloque de `premise` y demuestra la meta indicada. Si no hay premisas temporales, intenta derivar desde la teoría actual.',
297
+ therefore: '**therefore**\n\nAlias de `conclusion` para notación de aula o demostraciones cortas.',
286
298
  derive: '**derive**\n\nIntenta derivar una conclusión a partir de premisas nombradas.\n\nEjemplo: `derive Q from {regla, hecho}`',
287
299
  check: '**check**\n\nEvalúa propiedades como validez, satisfacibilidad o equivalencia.',
288
300
  prove: '**prove**\n\nSolicita una demostración formal del objetivo.',
@@ -323,6 +335,12 @@ class ProtocolHandler {
323
335
  '>=': '**>=**\n\nCompara si el operando izquierdo es mayor o igual.',
324
336
  '≤': '**≤**\n\nVersión Unicode de `<=`.',
325
337
  '≥': '**≥**\n\nVersión Unicode de `>=`.',
338
+ '~': '**~**\n\nAlias de negación. `~P` se normaliza como `!P`.',
339
+ '∼': '**∼**\n\nVersión Unicode alternativa de negación.',
340
+ '=>': '**=>**\n\nAlias ASCII de implicación. Se normaliza como `->`.',
341
+ '⇒': '**⇒**\n\nVersión Unicode alternativa de implicación.',
342
+ '<=>': '**<=>**\n\nAlias ASCII de bicondicional. Se normaliza como `<->`.',
343
+ '⇔': '**⇔**\n\nVersión Unicode alternativa de bicondicional.',
326
344
  '^': '**^** (XOR)\n\nDisyunción exclusiva. Verdadera si solo uno de los operandos es verdadero.',
327
345
  '⊕': '**⊕** (XOR)\n\nVersión Unicode de `^`.',
328
346
  xor: '**xor**\n\nVersión textual de `^`.',
@@ -332,11 +350,17 @@ class ProtocolHandler {
332
350
  '!|': '**!|** (NOR)\n\nNegación conjunta (Peirce arrow). Verdadera solo si ambos operandos son falsos.',
333
351
  '↓': '**↓** (NOR)\n\nVersión Unicode de `!|`.',
334
352
  nor: '**nor**\n\nVersión textual de `!|`.',
353
+ '|-': '**|-**\n\nNotación de secuente. `P, P -> Q |- Q` se interpreta como una derivación desde premisas hacia una meta.',
354
+ '⊢': '**⊢**\n\nVersión Unicode de `|-`.',
355
+ '⊥': '**⊥**\n\nConstante de falsedad (bottom).',
356
+ '⊤': '**⊤**\n\nConstante de verdad (top).',
335
357
  };
336
358
  const aliases = {
337
359
  logica: keywordInfo.logic,
338
360
  axioma: keywordInfo.axiom,
339
361
  teorema: keywordInfo.theorem,
362
+ premisa: keywordInfo.premise,
363
+ por_tanto: keywordInfo.conclusion,
340
364
  derivar: keywordInfo.derive,
341
365
  contramodelo: keywordInfo.countermodel,
342
366
  tabla_verdad: keywordInfo.truth_table,
@@ -385,8 +409,8 @@ class ProtocolHandler {
385
409
  null);
386
410
  }
387
411
  handleSymbols(request) {
388
- const source = request.params.source;
389
- const file = request.params.file || '<stdin>';
412
+ const source = this.requireStringParam(request, 'source');
413
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
390
414
  const parser = new parser_1.Parser(file);
391
415
  const program = parser.parse(source);
392
416
  const symbols = [];
@@ -565,9 +589,9 @@ class ProtocolHandler {
565
589
  return { id: request.id, result: symbols };
566
590
  }
567
591
  handleGotoDefinition(request) {
568
- const source = request.params.source;
569
- const name = request.params.name;
570
- const file = request.params.file || '<stdin>';
592
+ const source = this.requireStringParam(request, 'source');
593
+ const name = this.requireStringParam(request, 'name');
594
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
571
595
  const parser = new parser_1.Parser(file);
572
596
  const program = parser.parse(source);
573
597
  for (const stmt of program.statements) {
@@ -681,6 +705,30 @@ class ProtocolHandler {
681
705
  detail: 'Declarar teorema',
682
706
  insertText: 'theorem ${1:name} : ${2:formula}',
683
707
  },
708
+ {
709
+ label: 'premise',
710
+ kind: 'keyword',
711
+ detail: 'Registrar premisa temporal de aula',
712
+ insertText: 'premise ${1:formula}',
713
+ },
714
+ {
715
+ label: 'conclusion',
716
+ kind: 'keyword',
717
+ detail: 'Cerrar bloque de premisas y demostrar meta',
718
+ insertText: 'conclusion ${1:formula}',
719
+ },
720
+ {
721
+ label: 'numbered proof',
722
+ kind: 'snippet',
723
+ detail: 'Plantilla de prueba numerada estilo aula',
724
+ insertText: '1. ${1:P} premise\n2. ${2:P -> Q} premise\n3. ${3:Q} MP 1,2',
725
+ },
726
+ {
727
+ label: 'therefore',
728
+ kind: 'keyword',
729
+ detail: 'Alias de conclusion',
730
+ insertText: 'therefore ${1:formula}',
731
+ },
684
732
  {
685
733
  label: 'let',
686
734
  kind: 'keyword',
@@ -761,6 +809,18 @@ class ProtocolHandler {
761
809
  detail: 'Declarar teorema (español)',
762
810
  insertText: 'teorema ${1:nombre} : ${2:formula}',
763
811
  },
812
+ {
813
+ label: 'premisa',
814
+ kind: 'keyword',
815
+ detail: 'Registrar premisa temporal (español)',
816
+ insertText: 'premisa ${1:formula}',
817
+ },
818
+ {
819
+ label: 'por_tanto',
820
+ kind: 'keyword',
821
+ detail: 'Cerrar premisas y demostrar meta (español)',
822
+ insertText: 'por_tanto ${1:formula}',
823
+ },
764
824
  {
765
825
  label: 'derivar',
766
826
  kind: 'keyword',
@@ -1361,9 +1421,9 @@ class ProtocolHandler {
1361
1421
  return { id: request.id, result: items };
1362
1422
  }
1363
1423
  handleRender(request) {
1364
- const source = request.params.source;
1365
- const format = request.params.format || 'markdown';
1366
- const file = request.params.file || '<stdin>';
1424
+ const source = this.requireStringParam(request, 'source');
1425
+ const format = this.optionalStringParam(request, 'format', 'markdown');
1426
+ const file = this.optionalStringParam(request, 'file', '<stdin>');
1367
1427
  const output = this.interpreter.execute(source, file);
1368
1428
  const rendered = this.renderOutput(output, format);
1369
1429
  return {
@@ -1465,6 +1525,38 @@ class ProtocolHandler {
1465
1525
  }
1466
1526
  return md;
1467
1527
  }
1528
+ requireParamsObject(request) {
1529
+ if (!request.params || typeof request.params !== 'object' || Array.isArray(request.params)) {
1530
+ throw new Error(`Parametros invalidos para '${request.method}': se esperaba un objeto.`);
1531
+ }
1532
+ return request.params;
1533
+ }
1534
+ requireStringParam(request, key) {
1535
+ const params = this.requireParamsObject(request);
1536
+ const value = params[key];
1537
+ if (typeof value !== 'string' || value.trim() === '') {
1538
+ throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser una cadena no vacia.`);
1539
+ }
1540
+ return value;
1541
+ }
1542
+ optionalStringParam(request, key, fallback) {
1543
+ const params = this.requireParamsObject(request);
1544
+ const value = params[key];
1545
+ if (value === undefined || value === null || value === '')
1546
+ return fallback;
1547
+ if (typeof value !== 'string') {
1548
+ throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser una cadena.`);
1549
+ }
1550
+ return value;
1551
+ }
1552
+ requireIntegerParam(request, key) {
1553
+ const params = this.requireParamsObject(request);
1554
+ const value = params[key];
1555
+ if (!Number.isInteger(value) || Number(value) < 1) {
1556
+ throw new Error(`Parametro invalido para '${request.method}': '${key}' debe ser un entero positivo.`);
1557
+ }
1558
+ return Number(value);
1559
+ }
1468
1560
  }
1469
1561
  exports.ProtocolHandler = ProtocolHandler;
1470
1562
  //# sourceMappingURL=handler.js.map