@stevenvo780/st-lang 4.3.0 → 4.4.0

package/dist/tests/mu-calculus/check.test.js

@@ -0,0 +1,234 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const mu_calculus_1 = require("../../profiles/mu-calculus");
+// ── helpers para construir AST ────────────────────────────────
+const atom = (name) => ({ kind: 'atom', name });
+const v = (name) => ({ kind: 'var', name });
+const not = (arg) => ({ kind: 'not', arg });
+const and = (left, right) => ({ kind: 'and', left, right });
+const or = (left, right) => ({ kind: 'or', left, right });
+const box = (arg) => ({ kind: 'box', arg });
+const diamond = (arg) => ({ kind: 'diamond', arg });
+const mu = (bind, body) => ({ kind: 'mu', bind, body });
+const nu = (bind, body) => ({ kind: 'nu', bind, body });
+function k(states, transitions, labels = {}) {
+    const labelling = {};
+    for (const s of states)
+        labelling[s] = new Set(labels[s] ?? []);
+    return { states, transitions, labelling };
+}
+(0, vitest_1.describe)('μ-calculus — operadores modales base (◇/□)', () => {
+    // s0 --> s1{p}, s0 --> s2
+    const M = k(['s0', 's1', 's2'], [
+        ['s0', 's1'],
+        ['s0', 's2'],
+    ], { s1: ['p'] });
+    (0, vitest_1.it)('◇p: estados con algún sucesor que cumple p', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, diamond(atom('p')));
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0']));
+    });
+    (0, vitest_1.it)('□p: estados cuyos sucesores TODOS cumplen p (deadlock incluido)', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, box(atom('p')));
+        // s0: tiene un sucesor (s2) sin p ⇒ false
+        // s1, s2: deadlocks ⇒ vacuously true
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s1', 's2']));
+    });
+    (0, vitest_1.it)('◇⊤ distingue deadlocks: solo estados con al menos un sucesor', () => {
+        const sat = (0, mu_calculus_1.modelCheck)(M, diamond(nu('T', v('T'))));
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — least fixed-point (μ) y reachability', () => {
+    // Cadena: s0 -> s1 -> s2{p} -> s2 (auto-loop)
+    const M = k(['s0', 's1', 's2'], [
+        ['s0', 's1'],
+        ['s1', 's2'],
+        ['s2', 's2'],
+    ], { s2: ['p'] });
+    (0, vitest_1.it)('μX. p ∨ ◇X (EF p) — reachability hacia p', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        const sat = (0, mu_calculus_1.modelCheck)(M, phi);
+        (0, vitest_1.expect)(sat).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('μX. p ∨ ◇X en grafo sin p alcanzable → ∅', () => {
+        const N = k(['a', 'b'], [['a', 'b']], {});
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(N, phi)).toEqual(new Set());
+    });
+});
+(0, vitest_1.describe)('μ-calculus — greatest fixed-point (ν) e invariance', () => {
+    (0, vitest_1.it)('νX. p ∧ □X (AG p) — invariante sobre todos los caminos', () => {
+        // Todos los estados etiquetados p, con loop
+        const M = k(['s0', 's1'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('νX. p ∧ □X falla cuando algún estado alcanzable rompe p', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+            ['s2', 's2'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        // Ningún estado satisface AG p porque s2 (alcanzable desde todos) no la cumple
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set());
+    });
+    (0, vitest_1.it)('νX. p ∧ ◇X (EG p) — existe camino infinito con p', () => {
+        // s0{p} -> s1{p} -> s0  (ciclo con p) ; s2{p} -> s3 (sin p, dead end)
+        const M = k(['s0', 's1', 's2', 's3'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+            ['s2', 's3'],
+        ], { s0: ['p'], s1: ['p'], s2: ['p'] });
+        const phi = nu('X', and(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — Until (E[q U p])', () => {
+    (0, vitest_1.it)('μX. p ∨ (q ∧ ◇X) — alcanza p manteniendo q en el camino', () => {
+        // s0{q} -> s1{q} -> s2{p}; s0 -> s3 (sin q ni p)
+        const M = k(['s0', 's1', 's2', 's3'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+            ['s0', 's3'],
+        ], { s0: ['q'], s1: ['q'], s2: ['p'] });
+        const phi = mu('X', or(atom('p'), and(atom('q'), diamond(v('X')))));
+        // s2 cumple p ⇒ ok. s1 tiene q y sucesor s2 cumple φ. s0 tiene q y sucesor s1 cumple φ.
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('E[q U p] falla si el camino atraviesa estados sin q antes de p', () => {
+        // s0 (sin q) -> s1{p}: no satisface (necesita q en s0)
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const phi = mu('X', or(atom('p'), and(atom('q'), diamond(v('X')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s1']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — alternation depth', () => {
+    (0, vitest_1.it)('proposición atómica: depth 0', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(atom('p'))).toBe(0);
+    });
+    (0, vitest_1.it)('un solo binder μ: depth 1', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(mu('X', or(atom('p'), diamond(v('X')))))).toBe(1);
+    });
+    (0, vitest_1.it)('un solo binder ν: depth 1', () => {
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(nu('X', and(atom('p'), box(v('X')))))).toBe(1);
+    });
+    (0, vitest_1.it)('μν alternantes: depth 2', () => {
+        // μX. νY. (p ∨ X) ∧ ◇Y
+        const phi = mu('X', nu('Y', and(or(atom('p'), v('X')), diamond(v('Y')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(phi)).toBe(2);
+    });
+    (0, vitest_1.it)('μμ anidados sin alternancia: depth 1', () => {
+        const phi = mu('X', mu('Y', or(v('X'), v('Y'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.alternationDepth)(phi)).toBe(1);
+    });
+});
+(0, vitest_1.describe)('μ-calculus — well-formedness', () => {
+    (0, vitest_1.it)('μX. p ∨ ◇X es positiva (X bajo 0 negaciones)', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(true);
+    });
+    (0, vitest_1.it)('μX. ¬X NO es bien formada (X bajo neg impar)', () => {
+        const phi = mu('X', not(v('X')));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(false);
+    });
+    (0, vitest_1.it)('μX. ¬¬X es bien formada (X bajo neg par)', () => {
+        const phi = mu('X', not(not(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(true);
+    });
+    (0, vitest_1.it)('detecta variables libres', () => {
+        const phi = or(atom('p'), v('X')); // X libre
+        (0, vitest_1.expect)((0, mu_calculus_1.isClosed)(phi)).toBe(false);
+        (0, vitest_1.expect)((0, mu_calculus_1.freeVars)(phi)).toEqual(new Set(['X']));
+    });
+    (0, vitest_1.it)('fórmula cerrada no reporta variables libres', () => {
+        const phi = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isClosed)(phi)).toBe(true);
+        (0, vitest_1.expect)((0, mu_calculus_1.freeVars)(phi)).toEqual(new Set());
+    });
+    (0, vitest_1.it)('μX. p ∨ ◇(¬X) NO es bien formada — X bajo negación impar bajo ◇', () => {
+        const phi = mu('X', or(atom('p'), diamond(not(v('X')))));
+        (0, vitest_1.expect)((0, mu_calculus_1.isWellFormed)(phi)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('μ-calculus — ctlToMu translator', () => {
+    (0, vitest_1.it)('EX p → ◇p', () => {
+        const mu1 = (0, mu_calculus_1.ctlToMu)({ kind: 'EX', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)(mu1).toEqual({ kind: 'diamond', arg: { kind: 'atom', name: 'p' } });
+    });
+    (0, vitest_1.it)('AX p → □p', () => {
+        const mu1 = (0, mu_calculus_1.ctlToMu)({ kind: 'AX', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)(mu1).toEqual({ kind: 'box', arg: { kind: 'atom', name: 'p' } });
+    });
+    (0, vitest_1.it)('EF p produce μX. p ∨ ◇X equivalente al manual', () => {
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const muForm = (0, mu_calculus_1.ctlToMu)({ kind: 'EF', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, muForm)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('AG p coincide con νX. p ∧ □X sobre modelos no triviales', () => {
+        const M = k(['s0', 's1'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+        ], { s0: ['p'], s1: ['p'] });
+        const auto = (0, mu_calculus_1.ctlToMu)({ kind: 'AG', arg: { kind: 'atom', name: 'p' } });
+        const manual = nu('X', and(atom('p'), box(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual((0, mu_calculus_1.modelCheck)(M, manual));
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('EG p detecta camino infinito con p', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's0'],
+            ['s2', 's2'],
+        ], { s0: ['p'], s1: ['p'] });
+        const phi = (0, mu_calculus_1.ctlToMu)({ kind: 'EG', arg: { kind: 'atom', name: 'p' } });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0', 's1']));
+    });
+    (0, vitest_1.it)('E[q U p] coincide con codificación manual', () => {
+        const M = k(['s0', 's1', 's2'], [
+            ['s0', 's1'],
+            ['s1', 's2'],
+        ], { s0: ['q'], s1: ['q'], s2: ['p'] });
+        const auto = (0, mu_calculus_1.ctlToMu)({
+            kind: 'EU',
+            left: { kind: 'atom', name: 'q' },
+            right: { kind: 'atom', name: 'p' },
+        });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, auto)).toEqual(new Set(['s0', 's1', 's2']));
+    });
+    (0, vitest_1.it)('not/and/or se traducen estructuralmente', () => {
+        const phi = (0, mu_calculus_1.ctlToMu)({
+            kind: 'and',
+            args: [
+                { kind: 'atom', name: 'p' },
+                { kind: 'not', arg: { kind: 'atom', name: 'q' } },
+            ],
+        });
+        const M = k(['s0', 's1'], [], { s0: ['p'], s1: ['p', 'q'] });
+        (0, vitest_1.expect)((0, mu_calculus_1.modelCheck)(M, phi)).toEqual(new Set(['s0']));
+    });
+});
+(0, vitest_1.describe)('μ-calculus — utilidades', () => {
+    (0, vitest_1.it)('muToString renderiza con símbolos estándar', () => {
+        const phi = mu('X', or(atom('p'), diamond(v('X'))));
+        (0, vitest_1.expect)((0, mu_calculus_1.muToString)(phi)).toBe('μX. (p ∨ ◇X)');
+    });
+    (0, vitest_1.it)('satisfiesAt es coherente con modelCheck', () => {
+        const M = k(['s0', 's1'], [['s0', 's1']], { s1: ['p'] });
+        const phi = diamond(atom('p'));
+        (0, vitest_1.expect)((0, mu_calculus_1.satisfiesAt)(M, phi, 's0')).toBe(true);
+        (0, vitest_1.expect)((0, mu_calculus_1.satisfiesAt)(M, phi, 's1')).toBe(false);
+    });
+    (0, vitest_1.it)('modelCheck lanza ante transición a estado desconocido', () => {
+        (0, vitest_1.expect)(() => (0, mu_calculus_1.modelCheck)({ states: ['s0'], transitions: [['s0', 'ghost']], labelling: { s0: new Set() } }, atom('p'))).toThrow(/estado desconocido/);
+    });
+    (0, vitest_1.it)('modelCheck lanza ante variable libre en evaluación', () => {
+        const M = k(['s0'], [], {});
+        (0, vitest_1.expect)(() => (0, mu_calculus_1.modelCheck)(M, v('X'))).toThrow(/variable libre/);
+    });
+});
+//# sourceMappingURL=check.test.js.map

package/dist/tests/mu-calculus/check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.test.js","sourceRoot":"","sources":["../../../src/tests/mu-calculus/check.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,4DASoC;AAGpC,iEAAiE;AACjE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACnE,MAAM,CAAC,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC/D,MAAM,GAAG,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7F,MAAM,EAAE,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,MAAM,GAAG,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,OAAO,GAAG,CAAC,GAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1E,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACtF,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAe,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAEtF,SAAS,CAAC,CACR,MAAgB,EAChB,WAAoC,EACpC,SAAmC,EAAE;IAErC,MAAM,SAAS,GAAgC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,0BAA0B;IAC1B,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;QACE,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;KACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACd,CAAC;IAEF,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,0CAA0C;QAC1C,qCAAqC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,8CAA8C;IAC9C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;QACE,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;QACZ,CAAC,IAAI,EAAE,IAAI,CAAC;KACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACd,CAAC;IAEF,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,CAAC,EACZ;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,+EAA+E;QAC/E,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,sEAAsE;QACtE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACxB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,iDAAiD;QACjD,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EACxB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,wFAAwF;QACxF,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,uDAAuD;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,uBAAuB;QACvB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,8BAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU;QAC7C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,CAAC,EACZ;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACzB,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,CAAC,CACT,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAClB;YACE,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,EACD,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CACpC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,qBAAO,EAAC;YACnB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;YACjC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC;YAClB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;aAClD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,IAAA,wBAAU,EACR,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,EAChF,IAAI,CAAC,GAAG,CAAC,CACV,CACF,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/pi-calculus/pi-calculus.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pi-calculus.test.d.ts.map

package/dist/tests/pi-calculus/pi-calculus.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pi-calculus.test.d.ts","sourceRoot":"","sources":["../../../src/tests/pi-calculus/pi-calculus.test.ts"],"names":[],"mappings":""}

package/dist/tests/pi-calculus/pi-calculus.test.js

@@ -0,0 +1,273 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const pi_calculus_1 = require("../../runtime/pi-calculus");
+// ------------------------------------------------------------
+// Constructores cómodos para escribir procesos en los tests.
+// ------------------------------------------------------------
+const nil = { kind: 'nil' };
+function inp(channel, bind, cont = nil) {
+    return { kind: 'input', channel, bind, cont };
+}
+function out(channel, value, cont = nil) {
+    return { kind: 'output', channel, value, cont };
+}
+function par(left, right) {
+    return { kind: 'parallel', left, right };
+}
+function nu(channel, body) {
+    return { kind: 'new', channel, body };
+}
+function rep(body) {
+    return { kind: 'replication', body };
+}
+function sum(left, right) {
+    return { kind: 'choice', left, right };
+}
+function match(left, right, cont) {
+    return { kind: 'match', left, right, cont };
+}
+// ------------------------------------------------------------
+// Helpers de assertion semántico.
+// ------------------------------------------------------------
+function setEq(a, b) {
+    const bs = new Set(b);
+    if (a.size !== bs.size)
+        return false;
+    for (const x of a)
+        if (!bs.has(x))
+            return false;
+    return true;
+}
+// ------------------------------------------------------------
+// Tests
+// ------------------------------------------------------------
+(0, vitest_1.describe)('π-calculus — nombres libres y ligados', () => {
+    (0, vitest_1.it)('fn(0) = ∅', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(nil).size).toBe(0);
+        (0, vitest_1.expect)((0, pi_calculus_1.boundNames)(nil).size).toBe(0);
+    });
+    (0, vitest_1.it)('fn(c̄⟨v⟩.0) = {c, v}', () => {
+        const p = out('c', 'v');
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'v'])).toBe(true);
+    });
+    (0, vitest_1.it)('fn(c(x).x̄⟨a⟩.0) = {c, a}; bn = {x}', () => {
+        // x es ligado por el input, no aparece libre.
+        const p = inp('c', 'x', out('x', 'a'));
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['c', 'a'])).toBe(true);
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['x'])).toBe(true);
+    });
+    (0, vitest_1.it)('(νc) c̄⟨v⟩.0 — c ligado, v libre', () => {
+        const p = nu('c', out('c', 'v'));
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(p), ['v'])).toBe(true);
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.boundNames)(p), ['c'])).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — α-renaming preserva semántica', () => {
+    (0, vitest_1.it)('renombrar un nombre libre mantiene la estructura', () => {
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const q = (0, pi_calculus_1.alphaRename)(p, 'b', 'B');
+        (0, vitest_1.expect)(setEq((0, pi_calculus_1.freeNames)(q), ['c', 'a', 'B'])).toBe(true);
+    });
+    (0, vitest_1.it)('renombrar un binder de input es inocuo si elegimos un fresco', () => {
+        // c(x).x̄⟨a⟩.0  =α=  c(y).ȳ⟨a⟩.0
+        const innerCont = out('x', 'a');
+        const p = { kind: 'input', channel: 'c', bind: 'x', cont: innerCont };
+        const renamedBody = (0, pi_calculus_1.alphaRename)(innerCont, 'x', 'y');
+        const q = { kind: 'input', channel: 'c', bind: 'y', cont: renamedBody };
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
+    });
+    (0, vitest_1.it)('alphaRename no captura: no toca apariciones bajo binder homónimo', () => {
+        // En c(x).x̄⟨a⟩.0, "x" interno está ligado y NO debe renombrarse
+        // si la sustitución parte del exterior.
+        const p = inp('c', 'x', out('x', 'a'));
+        const q = (0, pi_calculus_1.alphaRename)(p, 'x', 'Z');
+        // El cuerpo sigue usando "x" porque el binder lo atrapa.
+        (0, vitest_1.expect)(q).toEqual(inp('c', 'x', out('x', 'a')));
+    });
+});
+(0, vitest_1.describe)('π-calculus — sustitución capture-avoiding', () => {
+    (0, vitest_1.it)('P[x := v] cuando x no aparece libre devuelve P intacto', () => {
+        const p = out('c', 'd');
+        (0, vitest_1.expect)((0, pi_calculus_1.substitute)(p, 'x', 'v')).toEqual(p);
+    });
+    (0, vitest_1.it)('c̄⟨x⟩.0 [x := a] = c̄⟨a⟩.0', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.substitute)(out('c', 'x'), 'x', 'a')).toEqual(out('c', 'a'));
+    });
+    (0, vitest_1.it)('evita captura: c(v).v̄⟨w⟩.0 [w := v] α-refresca v', () => {
+        // El binder v capturaría la v que viene de afuera.
+        const p = inp('c', 'v', out('v', 'w'));
+        const r = (0, pi_calculus_1.substitute)(p, 'w', 'v');
+        (0, vitest_1.expect)(r.kind).toBe('input');
+        if (r.kind !== 'input')
+            return;
+        // El binder fue refrescado.
+        (0, vitest_1.expect)(r.bind).not.toBe('v');
+        // Las apariciones internas de "v" originales no se confunden con
+        // la "v" que reemplazó a "w".
+        (0, vitest_1.expect)((0, pi_calculus_1.freeNames)(r).has('v')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — reducción COMM', () => {
+    (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).0 → 0 | 0', () => {
+        const p = par(out('c', 'a'), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
+        const head = next[0];
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(head, par(nil, nil))).toBe(true);
+    });
+    (0, vitest_1.it)('c̄⟨a⟩.0 | c(x).P sustituye x por a en P', () => {
+        // P = x̄⟨b⟩.0 — tras COMM debería quedar ā⟨b⟩.0
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const next = (0, pi_calculus_1.reduce)(p);
+        const found = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, out('a', 'b'))));
+        (0, vitest_1.expect)(found).toBe(true);
+    });
+    (0, vitest_1.it)('(νc)(c̄⟨a⟩.0 | c(x).x̄⟨b⟩.0) reduce y expone comunicación', () => {
+        // Canal restringido + comunicación interna: COMM atraviesa (νc).
+        const p = nu('c', par(out('c', 'a'), inp('c', 'x', out('x', 'b'))));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
+        // El resultado debe contener un output a^⟨b⟩.0 visible (ya que x ↦ a).
+        const reduced = next[0];
+        // (νc)(0 | ā⟨b⟩.0) — c ya no aparece libre dentro, pero seguimos
+        // teniendo ā⟨b⟩.0 visible bajo el scope.
+        const expected = nu('c', par(nil, out('a', 'b')));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(reduced, expected)).toBe(true);
+    });
+    (0, vitest_1.it)('!c̄⟨a⟩.0 | c(x).0 | c(x).0 permite ≥ 2 reducciones distintas', () => {
+        // La replicación produce copias del output; los dos inputs pueden
+        // consumir cada uno una copia.
+        const p = par(par(rep(out('c', 'a')), inp('c', 'x')), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        // Hay múltiples pares input/output posibles → varios sucesores.
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('canales distintos no comunican: a(x).0 | b̄⟨v⟩.0 no reduce', () => {
+        const p = par(inp('a', 'x'), out('b', 'v'));
+        (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(p)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — deadlock', () => {
+    (0, vitest_1.it)('0 está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(nil)).toBe(true);
+    });
+    (0, vitest_1.it)('0 | 0 está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(par(nil, nil))).toBe(true);
+    });
+    (0, vitest_1.it)('input sin output complementario está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(inp('c', 'x'))).toBe(true);
+    });
+    (0, vitest_1.it)('output sin input complementario está deadlocked', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.isDeadlocked)(out('c', 'v'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — match / replicación / choice', () => {
+    (0, vitest_1.it)('[x = x].P reduce a P', () => {
+        const inner = out('c', 'v');
+        const p = match('x', 'x', inner);
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(next[0], inner)).toBe(true);
+    });
+    (0, vitest_1.it)('[x = y].P no reduce si x ≠ y', () => {
+        const p = match('x', 'y', out('c', 'v'));
+        (0, vitest_1.expect)((0, pi_calculus_1.reduce)(p)).toEqual([]);
+    });
+    (0, vitest_1.it)('choice: c̄⟨a⟩.0 + d̄⟨b⟩.0 | c(x).0 → 0 (rama c elegida, d descartada)', () => {
+        const p = par(sum(out('c', 'a'), out('d', 'b')), inp('c', 'x'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        // Al menos un sucesor que es ≡ 0 | 0 (la rama c̄⟨a⟩ se consume, d̄⟨b⟩
+        // se descarta por la regla SUM).
+        const reduced = next.some((q) => (0, pi_calculus_1.structuralCongruence)(q, par(nil, nil)));
+        (0, vitest_1.expect)(reduced).toBe(true);
+    });
+    (0, vitest_1.it)('replicación produce comunicaciones repetibles', () => {
+        // !c(x).0 | c̄⟨a⟩.0  → !c(x).0 | 0  (la copia consumida queda libre
+        // y la replicación sigue disponible para más outputs futuros).
+        const p = par(rep(inp('c', 'x')), out('c', 'a'));
+        const next = (0, pi_calculus_1.reduce)(p);
+        (0, vitest_1.expect)(next.length).toBeGreaterThan(0);
+        // Confirmamos que sigue habiendo una replicación en el sucesor.
+        const stillReplicates = next.some((q) => containsReplication(q));
+        (0, vitest_1.expect)(stillReplicates).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — congruencia estructural', () => {
+    (0, vitest_1.it)('P | 0 ≡ P', () => {
+        const P = out('c', 'a');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, nil), P)).toBe(true);
+    });
+    (0, vitest_1.it)('P | Q ≡ Q | P (conmutatividad)', () => {
+        const P = out('c', 'a');
+        const Q = out('d', 'b');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(P, Q), par(Q, P))).toBe(true);
+    });
+    (0, vitest_1.it)('(P | Q) | R ≡ P | (Q | R) (asociatividad)', () => {
+        const P = out('c', 'a');
+        const Q = out('d', 'b');
+        const R = out('e', 'f');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(par(par(P, Q), R), par(P, par(Q, R)))).toBe(true);
+    });
+    (0, vitest_1.it)('(νc) 0 ≡ 0', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nil), nil)).toBe(true);
+    });
+    (0, vitest_1.it)('(νc)(νd) P ≡ (νd)(νc) P (intercambio de scopes)', () => {
+        const P = par(out('c', 'a'), inp('d', 'x'));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', nu('d', P)), nu('d', nu('c', P)))).toBe(true);
+    });
+    (0, vitest_1.it)('α-equivalencia: c(x).x̄⟨a⟩.0 ≡ c(y).ȳ⟨a⟩.0', () => {
+        const p = inp('c', 'x', out('x', 'a'));
+        const q = inp('c', 'y', out('y', 'a'));
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(p, q)).toBe(true);
+    });
+    (0, vitest_1.it)('procesos distintos no son congruentes', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), out('d', 'a'))).toBe(false);
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(out('c', 'a'), inp('c', 'a'))).toBe(false);
+    });
+    (0, vitest_1.it)('scope extrusion: (νc)(P | Q) ≡ P | (νc) Q cuando c ∉ fn(P)', () => {
+        // P = ā⟨b⟩.0 no menciona c; Q = c̄⟨b⟩.0 sí.
+        const P = out('a', 'b');
+        const Q = out('c', 'b');
+        (0, vitest_1.expect)((0, pi_calculus_1.structuralCongruence)(nu('c', par(P, Q)), par(P, nu('c', Q)))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('π-calculus — trace', () => {
+    (0, vitest_1.it)('trace de proceso terminal solo tiene el inicio', () => {
+        (0, vitest_1.expect)((0, pi_calculus_1.trace)(nil).length).toBe(1);
+    });
+    (0, vitest_1.it)('trace de proceso reducible avanza ≥ 1 paso', () => {
+        const p = par(out('c', 'a'), inp('c', 'x', out('x', 'b')));
+        const tr = (0, pi_calculus_1.trace)(p, 5);
+        (0, vitest_1.expect)(tr.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('trace respeta maxSteps', () => {
+        // Replicación + emisor único produce trazas potencialmente largas;
+        // capamos a 3 pasos.
+        const p = par(rep(inp('c', 'x')), par(out('c', 'a'), out('c', 'b')));
+        const tr = (0, pi_calculus_1.trace)(p, 3);
+        (0, vitest_1.expect)(tr.length).toBeLessThanOrEqual(4); // estado inicial + ≤3 pasos
+    });
+});
+// ------------------------------------------------------------
+// Aux
+// ------------------------------------------------------------
+function containsReplication(p) {
+    switch (p.kind) {
+        case 'replication':
+            return true;
+        case 'parallel':
+        case 'choice':
+            return containsReplication(p.left) || containsReplication(p.right);
+        case 'new':
+            return containsReplication(p.body);
+        case 'input':
+        case 'output':
+        case 'match':
+            return containsReplication(p.cont);
+        case 'nil':
+            return false;
+    }
+}
+//# sourceMappingURL=pi-calculus.test.js.map

package/dist/tests/pi-calculus/pi-calculus.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pi-calculus.test.js","sourceRoot":"","sources":["../../../src/tests/pi-calculus/pi-calculus.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DASmC;AAGnC,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAE/D,MAAM,GAAG,GAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEvC,SAAS,GAAG,CAAC,OAAe,EAAE,IAAY,EAAE,OAAkB,GAAG;IAC/D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAkB,GAAG;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,EAAE,CAAC,OAAe,EAAE,IAAe;IAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe;IAC1B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB;IAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,KAAa,EAAE,IAAe;IACzD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,SAAS,KAAK,CAAI,CAAS,EAAE,CAAc;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,QAAQ;AACR,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,8CAA8C;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,iCAAiC;QACjC,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACjF,MAAM,WAAW,GAAG,IAAA,yBAAW,EAAC,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACnF,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,iEAAiE;QACjE,wCAAwC;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,yDAAyD;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAU,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mDAAmD;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,wBAAU,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAC/B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,iEAAiE;QACjE,8BAA8B;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAS,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,gDAAgD;QAChD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,iEAAiE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,uEAAuE;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,kEAAkE;QAClE,+BAA+B;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,gEAAgE;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,sEAAsE;QACtE,iCAAiC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,gEAAgE;QAChE,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,kCAAoB,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,mBAAK,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,mEAAmE;QACnE,qBAAqB;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM;AACN,+DAA+D;AAE/D,SAAS,mBAAmB,CAAC,CAAY;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,KAAK;YACR,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/tests/planning/planning.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=planning.test.d.ts.map

package/dist/tests/planning/planning.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning.test.d.ts","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":""}