@stevenvo780/st-lang 4.5.1 → 4.6.0

package/dist/tests/csp-hoare/csp-hoare.test.js

@@ -0,0 +1,313 @@
+"use strict";
+// ============================================================
+// CSP Hoare — Tests de semántica operacional + trazas + failures
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const csp_hoare_1 = require("../../csp-hoare");
+// ── Helpers ──────────────────────────────────────────────────
+function tracesAsStrings(t) {
+    return t.map((tr) => tr.join(','));
+}
+// ── 1. Procesos triviales ────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — STOP / SKIP', () => {
+    (0, vitest_1.it)('STOP está en deadlock y no ofrece eventos', () => {
+        (0, vitest_1.expect)((0, csp_hoare_1.isDeadlocked)(csp_hoare_1.STOP)).toBe(true);
+        (0, vitest_1.expect)((0, csp_hoare_1.nextEvents)(csp_hoare_1.STOP).size).toBe(0);
+        (0, vitest_1.expect)((0, csp_hoare_1.step)(csp_hoare_1.STOP, 'a')).toBeNull();
+    });
+    (0, vitest_1.it)('SKIP ofrece el tick ✓ y termina', () => {
+        (0, vitest_1.expect)((0, csp_hoare_1.nextEvents)(csp_hoare_1.SKIP).has(csp_hoare_1.TICK)).toBe(true);
+        (0, vitest_1.expect)((0, csp_hoare_1.step)(csp_hoare_1.SKIP, csp_hoare_1.TICK)).not.toBeNull();
+        (0, vitest_1.expect)((0, csp_hoare_1.isDeadlocked)(csp_hoare_1.SKIP)).toBe(false);
+    });
+    (0, vitest_1.it)('traces(STOP) = [[]] (solo traza vacía)', () => {
+        const ts = (0, csp_hoare_1.traces)(csp_hoare_1.STOP, 5);
+        (0, vitest_1.expect)(ts.length).toBe(1);
+        (0, vitest_1.expect)(ts[0]).toEqual([]);
+    });
+});
+// ── 2. Prefijo ───────────────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Prefijo a → P', () => {
+    (0, vitest_1.it)('a → STOP tiene trazas [[], [a]]', () => {
+        const p = (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 5));
+        (0, vitest_1.expect)(ts).toContain('');
+        (0, vitest_1.expect)(ts).toContain('a');
+        (0, vitest_1.expect)(ts.length).toBe(2);
+    });
+    (0, vitest_1.it)('a → b → STOP da exactamente las trazas vacía, [a], [a,b]', () => {
+        const p = (0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 5));
+        (0, vitest_1.expect)(ts.sort()).toEqual(['', 'a', 'a,b']);
+    });
+    (0, vitest_1.it)('step(a → P, a) = P; step(a → P, b) = null', () => {
+        const cont = (0, csp_hoare_1.prefix)('x', csp_hoare_1.STOP);
+        const p = (0, csp_hoare_1.prefix)('a', cont);
+        (0, vitest_1.expect)((0, csp_hoare_1.step)(p, 'a')).toEqual(cont);
+        (0, vitest_1.expect)((0, csp_hoare_1.step)(p, 'b')).toBeNull();
+    });
+});
+// ── 3. Elección externa □ ────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Elección externa □', () => {
+    (0, vitest_1.it)('(a → STOP) □ (b → STOP) ofrece tanto a como b', () => {
+        const p = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const init = (0, csp_hoare_1.nextEvents)(p);
+        (0, vitest_1.expect)(init.has('a')).toBe(true);
+        (0, vitest_1.expect)(init.has('b')).toBe(true);
+    });
+    (0, vitest_1.it)('trazas de (a → STOP) □ (b → STOP) son {[], [a], [b]}', () => {
+        const p = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 5));
+        (0, vitest_1.expect)(ts.sort()).toEqual(['', 'a', 'b']);
+    });
+});
+// ── 4. Elección interna ⊓ ────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Elección interna ⊓', () => {
+    (0, vitest_1.it)('(a → STOP) ⊓ (b → STOP) tiene refusal {b} en una resolución y {a} en otra', () => {
+        const p = (0, csp_hoare_1.internal)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const fs = (0, csp_hoare_1.failures)(p, 1);
+        // Hay al menos un failure con traza vacía donde se rehúsa `a`,
+        // y otro donde se rehúsa `b` (porque la rama interna elegida fijó la opción).
+        const empties = fs.filter((f) => f.trace.length === 0);
+        const refusedA = empties.some((f) => f.refusal.has('a'));
+        const refusedB = empties.some((f) => f.refusal.has('b'));
+        (0, vitest_1.expect)(refusedA).toBe(true);
+        (0, vitest_1.expect)(refusedB).toBe(true);
+    });
+    (0, vitest_1.it)('externa (a □ b) NUNCA rehúsa a ni b en la traza vacía', () => {
+        const p = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const fs = (0, csp_hoare_1.failures)(p, 1);
+        const empties = fs.filter((f) => f.trace.length === 0);
+        for (const f of empties) {
+            (0, vitest_1.expect)(f.refusal.has('a')).toBe(false);
+            (0, vitest_1.expect)(f.refusal.has('b')).toBe(false);
+        }
+    });
+});
+// ── 5. Máquina expendedora ───────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Vending machine', () => {
+    (0, vitest_1.it)('vendingMachine ofrece coin como único evento inicial', () => {
+        const vm = (0, csp_hoare_1.vendingMachine)();
+        const init = (0, csp_hoare_1.nextEvents)(vm);
+        (0, vitest_1.expect)(init.has('coin')).toBe(true);
+        (0, vitest_1.expect)(init.size).toBe(1);
+    });
+    (0, vitest_1.it)('vendingMachine produce trazas [coin, tea] y [coin, coffee]', () => {
+        const vm = (0, csp_hoare_1.vendingMachine)();
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(vm, 5));
+        (0, vitest_1.expect)(ts).toContain('coin,tea');
+        (0, vitest_1.expect)(ts).toContain('coin,coffee');
+    });
+    (0, vitest_1.it)('vendingMachineLoop tiene comportamiento cíclico (acepta secuencias largas)', () => {
+        const vm = (0, csp_hoare_1.vendingMachineLoop)();
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(vm, 6));
+        // Tras coin/tea o coin/coffee, vuelve y acepta otro coin.
+        (0, vitest_1.expect)(ts.some((s) => s.startsWith('coin,tea,coin'))).toBe(true);
+        (0, vitest_1.expect)(ts.some((s) => s.startsWith('coin,coffee,coin'))).toBe(true);
+    });
+});
+// ── 6. Entrelazado ||| y paralelo |[A]| ──────────────────────
+(0, vitest_1.describe)('CSP Hoare — Paralelo / interleave', () => {
+    (0, vitest_1.it)('(a → STOP) ||| (b → STOP): traces [a,b] y [b,a]', () => {
+        const p = (0, csp_hoare_1.interleave)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        (0, vitest_1.expect)(ts).toContain('a,b');
+        (0, vitest_1.expect)(ts).toContain('b,a');
+    });
+    (0, vitest_1.it)('(a → STOP) |[{a}]| (a → STOP): sincroniza, traces incluyen [a]', () => {
+        const p = (0, csp_hoare_1.parallel)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), ['a']);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        (0, vitest_1.expect)(ts).toContain('a');
+        // No hay [a,a] porque ambos lados solo ofrecen `a` una vez.
+        (0, vitest_1.expect)(ts).not.toContain('a,a');
+    });
+    (0, vitest_1.it)('(a → STOP) |[{a}]| (b → STOP) DEADLOCKS: a requiere ambos, b solo izq', () => {
+        // Como `a` solo está en el izq y está en el alfabeto sync, el derecho
+        // debe ofrecerlo también — pero no lo hace. Y `b` no está sincronizado,
+        // así que el derecho sí puede hacer su b.
+        const p = (0, csp_hoare_1.parallel)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP), ['a']);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        // Solo trazas: [] y [b] (porque a está bloqueado).
+        (0, vitest_1.expect)(ts).toContain('b');
+        (0, vitest_1.expect)(ts).not.toContain('a');
+    });
+});
+// ── 7. Composición secuencial ──────────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Composición secuencial ;', () => {
+    (0, vitest_1.it)('SKIP ; (a → STOP) ≡ a → STOP en trazas', () => {
+        const lhs = (0, csp_hoare_1.sequence)(csp_hoare_1.SKIP, (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP));
+        const rhs = (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP);
+        const tsLhs = tracesAsStrings((0, csp_hoare_1.traces)(lhs, 4)).sort();
+        const tsRhs = tracesAsStrings((0, csp_hoare_1.traces)(rhs, 4)).sort();
+        (0, vitest_1.expect)(tsLhs).toEqual(tsRhs);
+    });
+    (0, vitest_1.it)('(a → SKIP) ; (b → STOP) tiene la traza [a, b]', () => {
+        const p = (0, csp_hoare_1.sequence)((0, csp_hoare_1.prefix)('a', csp_hoare_1.SKIP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        (0, vitest_1.expect)(ts).toContain('a,b');
+    });
+});
+// ── 8. Hide \ A ──────────────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Ocultación \\', () => {
+    (0, vitest_1.it)('(a → b → STOP) \\ {a} ≡ b → STOP en trazas', () => {
+        const p = (0, csp_hoare_1.hide)((0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP)), ['a']);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4)).sort();
+        // a queda oculto (τ silencioso), así que solo observamos `b`.
+        (0, vitest_1.expect)(ts).toEqual(['', 'b']);
+    });
+    (0, vitest_1.it)('hide no introduce eventos nuevos: alphabet shrink', () => {
+        const inner = (0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const p = (0, csp_hoare_1.hide)(inner, ['a']);
+        const alpha = (0, csp_hoare_1.alphabet)(p);
+        (0, vitest_1.expect)(alpha.has('a')).toBe(false);
+        (0, vitest_1.expect)(alpha.has('b')).toBe(true);
+    });
+});
+// ── 9. Renaming P[f] ────────────────────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Renaming', () => {
+    (0, vitest_1.it)('rename a↦x en (a → STOP) produce trazas [[], [x]]', () => {
+        const m = new Map([['a', 'x']]);
+        const p = (0, csp_hoare_1.rename)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), m);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 3)).sort();
+        (0, vitest_1.expect)(ts).toEqual(['', 'x']);
+    });
+});
+// ── 10. Refinamiento ────────────────────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Refinement', () => {
+    (0, vitest_1.it)('STOP ⊑_T (a → STOP)? NO: a → STOP tiene traza [a] que STOP no acepta', () => {
+        // STOP solo tiene la traza vacía. (a → STOP) tiene también [a].
+        // En refinesTraces(spec, impl): impl_traces ⊆ spec_traces.
+        // STOP es el spec más restrictivo (solo []), así que (a → STOP) NO lo refina.
+        (0, vitest_1.expect)((0, csp_hoare_1.refinesTraces)(csp_hoare_1.STOP, (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP))).toBe(false);
+    });
+    (0, vitest_1.it)('(a → STOP) ⊑_T STOP: STOP refina trivialmente todo (en trazas)', () => {
+        // Cualquier traza de STOP (solo []) está en (a → STOP).
+        (0, vitest_1.expect)((0, csp_hoare_1.refinesTraces)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), csp_hoare_1.STOP)).toBe(true);
+    });
+    (0, vitest_1.it)('Externa □ ⊑_F Interna ⊓ (con mismas trazas)', () => {
+        // El cliente prefiere la externa: si la interna refina la externa en
+        // failures, está bien — interna es "menos determinista", externa "más"
+        // → refinesFailures(externa_como_spec, interna_como_impl) DEBERÍA fallar
+        // porque interna agrega refusals.
+        // Es decir: la versión interna NO refina a la externa.
+        const ext = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const int = (0, csp_hoare_1.internal)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        (0, vitest_1.expect)((0, csp_hoare_1.refinesFailures)(ext, int, 2)).toBe(false);
+    });
+    (0, vitest_1.it)('Externa ⊑_F Externa (auto-refinamiento)', () => {
+        const p = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        (0, vitest_1.expect)((0, csp_hoare_1.refinesFailures)(p, p, 2)).toBe(true);
+    });
+});
+// ── 11. Filósofos cenando: deadlock ─────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Dining philosophers', () => {
+    (0, vitest_1.it)('diningPhilosophers(2) puede llegar a estado bloqueado por contención de tenedores', () => {
+        // Con 2 filósofos compartiendo 2 tenedores, si ambos toman su L
+        // primero, nadie tiene R libre — eso aparece como una resolución
+        // alcanzable cuyo nextEvents queda vacío.
+        const dp = (0, csp_hoare_1.diningPhilosophers)(2);
+        // Buscamos en el árbol de estados una resolución sin eventos.
+        let foundDeadlock = false;
+        const visit = (q, depth) => {
+            if (depth > 6 || foundDeadlock)
+                return;
+            if ((0, csp_hoare_1.isDeadlocked)(q)) {
+                // STOP global (todas las resoluciones sin eventos) cuenta;
+                // pero nos interesa "deadlock no-trivial" (con alguna traza ejecutada).
+                foundDeadlock = true;
+                return;
+            }
+            const init = (0, csp_hoare_1.nextEvents)(q);
+            for (const e of init) {
+                const next = (0, csp_hoare_1.step)(q, e);
+                if (next)
+                    visit(next, depth + 1);
+            }
+        };
+        visit(dp, 0);
+        (0, vitest_1.expect)(foundDeadlock).toBe(true);
+    });
+    (0, vitest_1.it)('diningPhilosophers exige n ≥ 2', () => {
+        (0, vitest_1.expect)(() => (0, csp_hoare_1.diningPhilosophers)(1)).toThrow();
+    });
+});
+// ── 12. Recursión y guardas ─────────────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Recursión', () => {
+    (0, vitest_1.it)('μX. a → X produce trazas con repetidos de a', () => {
+        const p = (0, csp_hoare_1.recursion)('X', (0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.processVar)('X')));
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(p, 4)).sort();
+        (0, vitest_1.expect)(ts).toContain('a');
+        (0, vitest_1.expect)(ts).toContain('a,a');
+        (0, vitest_1.expect)(ts).toContain('a,a,a');
+    });
+    (0, vitest_1.it)('μX. X (sin guarda) es livelock', () => {
+        const p = (0, csp_hoare_1.recursion)('X', (0, csp_hoare_1.processVar)('X'));
+        (0, vitest_1.expect)((0, csp_hoare_1.isLiveLocked)(p, 4)).toBe(true);
+    });
+    (0, vitest_1.it)('μX. a → X (con guarda) NO es livelock', () => {
+        const p = (0, csp_hoare_1.recursion)('X', (0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.processVar)('X')));
+        (0, vitest_1.expect)((0, csp_hoare_1.isLiveLocked)(p, 4)).toBe(false);
+    });
+});
+// ── 13. Alphabet ─────────────────────────────────────────────
+(0, vitest_1.describe)('CSP Hoare — Alphabet sintáctico', () => {
+    (0, vitest_1.it)('alphabet(a → b → STOP) = {a, b}', () => {
+        const p = (0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const a = (0, csp_hoare_1.alphabet)(p);
+        (0, vitest_1.expect)(a.has('a')).toBe(true);
+        (0, vitest_1.expect)(a.has('b')).toBe(true);
+        (0, vitest_1.expect)(a.size).toBe(2);
+    });
+    (0, vitest_1.it)('alphabet aplica renaming', () => {
+        const m = new Map([['a', 'x']]);
+        const p = (0, csp_hoare_1.rename)((0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP)), m);
+        const a = (0, csp_hoare_1.alphabet)(p);
+        (0, vitest_1.expect)(a.has('x')).toBe(true);
+        (0, vitest_1.expect)(a.has('b')).toBe(true);
+        (0, vitest_1.expect)(a.has('a')).toBe(false);
+    });
+});
+// ── 14. Failures: STOP rehúsa todo ──────────────────────────-
+(0, vitest_1.describe)('CSP Hoare — Failures de STOP', () => {
+    (0, vitest_1.it)('Tras a → STOP consumir [a], el estado STOP rehúsa todos los eventos visibles', () => {
+        // Tras la traza [a], el continuante es STOP: debe aparecer un failure
+        // con traza [a] cuyo refusal contenga el alfabeto visible (acá: {a}).
+        const p = (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP);
+        const fs = (0, csp_hoare_1.failures)(p, 2);
+        const afterA = fs.find((f) => f.trace.length === 1 && f.trace[0] === 'a');
+        (0, vitest_1.expect)(afterA).toBeDefined();
+        (0, vitest_1.expect)(afterA.refusal.has('a')).toBe(true);
+    });
+});
+// ── 15. Determinismo: traces() es determinista (mismo input → mismo output) ──
+(0, vitest_1.describe)('CSP Hoare — Determinismo del análisis', () => {
+    (0, vitest_1.it)('traces() es determinista bajo el mismo proceso', () => {
+        const p = (0, csp_hoare_1.choice)((0, csp_hoare_1.prefix)('a', (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP)), (0, csp_hoare_1.prefix)('c', csp_hoare_1.STOP));
+        const t1 = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        const t2 = tracesAsStrings((0, csp_hoare_1.traces)(p, 4));
+        (0, vitest_1.expect)(t1).toEqual(t2);
+    });
+    (0, vitest_1.it)('failures() es determinista (mismo número de fallas, mismas trazas)', () => {
+        const p = (0, csp_hoare_1.internal)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), (0, csp_hoare_1.prefix)('b', csp_hoare_1.STOP));
+        const f1 = (0, csp_hoare_1.failures)(p, 2);
+        const f2 = (0, csp_hoare_1.failures)(p, 2);
+        (0, vitest_1.expect)(f1.length).toBe(f2.length);
+    });
+});
+// ── 16. Composición: paralelo asociativo en trazas ──────────-
+(0, vitest_1.describe)('CSP Hoare — Propiedades algebraicas', () => {
+    (0, vitest_1.it)('(a → STOP) ||| STOP ≡ a → STOP en trazas', () => {
+        const lhs = (0, csp_hoare_1.interleave)((0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP), csp_hoare_1.STOP);
+        const ts = tracesAsStrings((0, csp_hoare_1.traces)(lhs, 3)).sort();
+        (0, vitest_1.expect)(ts).toEqual(['', 'a']);
+    });
+    (0, vitest_1.it)('STOP □ P ofrece exactamente lo de P (en eventos iniciales)', () => {
+        const p = (0, csp_hoare_1.prefix)('a', csp_hoare_1.STOP);
+        const ext = (0, csp_hoare_1.choice)(csp_hoare_1.STOP, p);
+        const init = (0, csp_hoare_1.nextEvents)(ext);
+        (0, vitest_1.expect)(init.has('a')).toBe(true);
+        (0, vitest_1.expect)(init.size).toBe(1);
+    });
+});
+//# sourceMappingURL=csp-hoare.test.js.map

package/dist/tests/csp-hoare/csp-hoare.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"csp-hoare.test.js","sourceRoot":"","sources":["../../../src/tests/csp-hoare/csp-hoare.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iEAAiE;AACjE,+DAA+D;;AAE/D,mCAA8C;AAC9C,+CA0ByB;AAGzB,gEAAgE;AAEhE,SAAS,eAAe,CAAC,CAAU;IACjC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,wBAAY,EAAC,gBAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,gBAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,gBAAI,EAAC,gBAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,gBAAI,CAAC,CAAC,GAAG,CAAC,gBAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,gBAAI,EAAC,gBAAI,EAAE,gBAAI,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,wBAAY,EAAC,gBAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,kBAAM,EAAC,gBAAI,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,gBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,gBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,IAAA,sBAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,+DAA+D;QAC/D,8EAA8E;QAC9E,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,0BAAc,GAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAA,sBAAU,EAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,0BAAc,GAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,GAAG,IAAA,8BAAkB,GAAE,CAAC;QAChC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,0DAA0D;QAC1D,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,sBAAU,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC1B,4DAA4D;QAC5D,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,sEAAsE;QACtE,wEAAwE;QACxE,0CAA0C;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,mDAAmD;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,oBAAQ,EAAC,gBAAI,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,8DAA8D;QAC9D,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,gBAAI,EAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAA,oBAAQ,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,GAAG,CAAe,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,gEAAgE;QAChE,2DAA2D;QAC3D,8EAA8E;QAC9E,IAAA,eAAM,EAAC,IAAA,yBAAa,EAAC,gBAAI,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,yBAAa,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,gBAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,qEAAqE;QACrE,uEAAuE;QACvE,yEAAyE;QACzE,kCAAkC;QAClC,uDAAuD;QACvD,MAAM,GAAG,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,2BAAe,EAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,2BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,gEAAgE;QAChE,iEAAiE;QACjE,0CAA0C;QAC1C,MAAM,EAAE,GAAG,IAAA,8BAAkB,EAAC,CAAC,CAAC,CAAC;QACjC,8DAA8D;QAC9D,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAY,EAAE,KAAa,EAAQ,EAAE;YAClD,IAAI,KAAK,GAAG,CAAC,IAAI,aAAa;gBAAE,OAAO;YACvC,IAAI,IAAA,wBAAY,EAAC,CAAC,CAAC,EAAE,CAAC;gBACpB,2DAA2D;gBAC3D,wEAAwE;gBACxE,aAAa,GAAG,IAAI,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,IAAA,sBAAU,EAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxB,IAAI,IAAI;oBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACb,IAAA,eAAM,EAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAkB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,sBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,GAAG,EAAE,IAAA,sBAAU,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,wBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,sBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,wBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,GAAG,CAAe,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,sEAAsE;QACtE,sEAAsE;QACtE,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,oBAAQ,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,oBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,sBAAU,EAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,EAAE,gBAAI,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,eAAe,CAAC,IAAA,kBAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,kBAAM,EAAC,GAAG,EAAE,gBAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,kBAAM,EAAC,gBAAI,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAA,sBAAU,EAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/game-theory/game-theory.test.d.ts

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

package/dist/tests/game-theory/game-theory.test.d.ts.map

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

package/dist/tests/game-theory/game-theory.test.js

@@ -0,0 +1,252 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const game_theory_1 = require("../../game-theory");
+function pure(player, s, size) {
+    return { player, distribution: (0, game_theory_1.pureDistribution)(s, size) };
+}
+function mixed(player, dist) {
+    return { player, distribution: dist };
+}
+(0, vitest_1.describe)('game-theory — common-games sanity', () => {
+    (0, vitest_1.it)("Prisoner's Dilemma: único Nash puro (D, D) con payoff (1, 1)", () => {
+        const g = (0, game_theory_1.prisonersDilemma)();
+        const eqs = (0, game_theory_1.findPureNash)(g);
+        (0, vitest_1.expect)(eqs).toHaveLength(1);
+        const eq = eqs[0];
+        (0, vitest_1.expect)(eq.isPure).toBe(true);
+        (0, vitest_1.expect)(eq.isStrict).toBe(true);
+        (0, vitest_1.expect)(eq.strategies[0].distribution).toEqual([0, 1]);
+        (0, vitest_1.expect)(eq.strategies[1].distribution).toEqual([0, 1]);
+        (0, vitest_1.expect)(eq.payoffs).toEqual([1, 1]);
+    });
+    (0, vitest_1.it)('Matching Pennies: no hay Nash puro', () => {
+        const g = (0, game_theory_1.matchingPennies)();
+        const eqs = (0, game_theory_1.findPureNash)(g);
+        (0, vitest_1.expect)(eqs).toHaveLength(0);
+    });
+    (0, vitest_1.it)('Matching Pennies: Nash mixto (1/2, 1/2) via support enumeration', () => {
+        const g = (0, game_theory_1.matchingPennies)();
+        const all = (0, game_theory_1.enumerateAllNash)(g);
+        (0, vitest_1.expect)(all).toHaveLength(1);
+        const eq = all[0];
+        (0, vitest_1.expect)(eq.isPure).toBe(false);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[0].distribution, [0.5, 0.5], 1e-7)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[1].distribution, [0.5, 0.5], 1e-7)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)(eq.payoffs[0], 0, 1e-7)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)(eq.payoffs[1], 0, 1e-7)).toBe(true);
+    });
+    (0, vitest_1.it)('Rock-Paper-Scissors: único Nash mixto (1/3, 1/3, 1/3) cada jugador', () => {
+        const g = (0, game_theory_1.rockPaperScissors)();
+        (0, vitest_1.expect)((0, game_theory_1.findPureNash)(g)).toHaveLength(0);
+        const all = (0, game_theory_1.enumerateAllNash)(g);
+        (0, vitest_1.expect)(all).toHaveLength(1);
+        const eq = all[0];
+        (0, vitest_1.expect)(eq.isPure).toBe(false);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[0].distribution, [1 / 3, 1 / 3, 1 / 3], 1e-7)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[1].distribution, [1 / 3, 1 / 3, 1 / 3], 1e-7)).toBe(true);
+    });
+    (0, vitest_1.it)('Battle of the Sexes: 2 Nash puros + 1 mixto', () => {
+        const g = (0, game_theory_1.battleOfSexes)();
+        const pures = (0, game_theory_1.findPureNash)(g);
+        (0, vitest_1.expect)(pures).toHaveLength(2);
+        const all = (0, game_theory_1.enumerateAllNash)(g);
+        (0, vitest_1.expect)(all).toHaveLength(3);
+        const mixedEq = all.find((e) => !e.isPure);
+        (0, vitest_1.expect)(mixedEq).toBeDefined();
+        // En BoS con (2,1)/(0,0)/(0,0)/(1,2), el mixto es p=2/3 para player1
+        // (probabilidad de Opera) y q=1/3 para player2.
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(mixedEq.strategies[0].distribution, [2 / 3, 1 / 3], 1e-7)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(mixedEq.strategies[1].distribution, [1 / 3, 2 / 3], 1e-7)).toBe(true);
+    });
+    (0, vitest_1.it)('Stag Hunt: 2 Nash puros + 1 mixto', () => {
+        const g = (0, game_theory_1.stagHunt)();
+        const pures = (0, game_theory_1.findPureNash)(g);
+        (0, vitest_1.expect)(pures).toHaveLength(2);
+        const all = (0, game_theory_1.enumerateAllNash)(g);
+        (0, vitest_1.expect)(all).toHaveLength(3);
+    });
+});
+(0, vitest_1.describe)('game-theory — bestResponse', () => {
+    (0, vitest_1.it)('PD: best response a coop puro es D', () => {
+        const g = (0, game_theory_1.prisonersDilemma)();
+        // opponentStrategies debe incluir todos los jugadores; la entrada
+        // de "player" se ignora — usamos una distribución placeholder.
+        const opp = [pure(0, 0, 2), pure(1, 0, 2)];
+        const br = (0, game_theory_1.bestResponse)(g, 0, opp);
+        (0, vitest_1.expect)(br).toEqual([1]); // Defect
+    });
+    (0, vitest_1.it)('Matching Pennies: best response a mezcla 50/50 son todas las puras (empate)', () => {
+        const g = (0, game_theory_1.matchingPennies)();
+        const opp = [pure(0, 0, 2), mixed(1, [0.5, 0.5])];
+        const br = (0, game_theory_1.bestResponse)(g, 0, opp);
+        (0, vitest_1.expect)(br.sort()).toEqual([0, 1]);
+    });
+    (0, vitest_1.it)('Battle of the Sexes: best response a "Opera" puro del rival es "Opera"', () => {
+        const g = (0, game_theory_1.battleOfSexes)();
+        const opp = [pure(0, 0, 2), pure(1, 0, 2)];
+        const br0 = (0, game_theory_1.bestResponse)(g, 0, opp);
+        (0, vitest_1.expect)(br0).toEqual([0]);
+    });
+});
+(0, vitest_1.describe)('game-theory — dominance', () => {
+    (0, vitest_1.it)('isDominated detecta estrategia estrictamente dominada', () => {
+        // Jugador 1: estrategia 0 da [1,1], estrategia 1 da [3,3] → 0 dominada
+        const g = (0, game_theory_1.createTwoPlayerGame)([
+            [1, 1],
+            [3, 3],
+        ], [
+            [0, 0],
+            [0, 0],
+        ]);
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 0, 0, true)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 0, 1, true)).toBe(false);
+    });
+    (0, vitest_1.it)('eliminateDominated reduce el juego', () => {
+        // 3x2: la estrategia 2 del jugador 1 está dominada por la 0 (estricta).
+        // Las otras dos filas de P1 dan los mismos pagos, así que ninguna
+        // está estrictamente dominada por la otra. P2 tiene pagos planos →
+        // tampoco se elimina nada del lado 2.
+        const g = (0, game_theory_1.createTwoPlayerGame)([
+            [5, 5],
+            [5, 5], // mismo que fila 0 → no estrictamente dominada
+            [1, 1], // dominada por estrategia 0
+        ], [
+            [0, 0],
+            [0, 0],
+            [0, 0],
+        ]);
+        const reduced = (0, game_theory_1.eliminateDominated)(g, true);
+        (0, vitest_1.expect)(reduced.strategies[0]).toBe(2);
+        (0, vitest_1.expect)(reduced.strategies[1]).toBe(2);
+    });
+    (0, vitest_1.it)('eliminateDominated: iterado encuentra mas reducciones', () => {
+        // Juego donde tras eliminar una de player 1, una de player 2 queda dominada.
+        // Player 1 elige fila, Player 2 elige columna.
+        // Row 2 dominada por row 0 para P1; tras eliminarla, col 2 queda dominada por col 0 para P2.
+        const g = (0, game_theory_1.createTwoPlayerGame)([
+            [5, 4, 3], // P1 utility
+            [4, 3, 2],
+            [1, 0, -1], // dominada por fila 0
+        ], [
+            [3, 4, 2], // P2 utility
+            [3, 4, 2],
+            [3, 4, 2],
+        ]);
+        const reduced = (0, game_theory_1.eliminateDominated)(g, true);
+        // Tras eliminar fila 2 de P1, miramos columnas de P2.
+        // P2 ahora tiene matrices [[3,4,2],[3,4,2]]. col 2 (=2) está dominada por col 1 (=4).
+        (0, vitest_1.expect)(reduced.strategies[0]).toBeLessThanOrEqual(2);
+        (0, vitest_1.expect)(reduced.strategies[1]).toBeLessThanOrEqual(3);
+        // Al menos UNA dimensión debe haberse reducido del original
+        const originalProfiles = 3 * 3;
+        const newProfiles = reduced.strategies[0] * reduced.strategies[1];
+        (0, vitest_1.expect)(newProfiles).toBeLessThan(originalProfiles);
+    });
+    (0, vitest_1.it)('PD: ninguna estrategia esta dominada (D es weak-better pero ambos prefieren D)', () => {
+        const g = (0, game_theory_1.prisonersDilemma)();
+        // Cooperate está estrictamente dominada por Defect en PD
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 0, 0, true)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 0, 1, true)).toBe(false);
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 1, 0, true)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.isDominated)(g, 1, 1, true)).toBe(false);
+        const reduced = (0, game_theory_1.eliminateDominated)(g, true);
+        (0, vitest_1.expect)(reduced.strategies).toEqual([1, 1]);
+        (0, vitest_1.expect)(reduced.payoffs[0]).toEqual([1]);
+        (0, vitest_1.expect)(reduced.payoffs[1]).toEqual([1]);
+    });
+});
+(0, vitest_1.describe)('game-theory — lemke-howson', () => {
+    (0, vitest_1.it)('lemkeHowson encuentra Nash en matching pennies', () => {
+        const g = (0, game_theory_1.matchingPennies)();
+        const eq = (0, game_theory_1.lemkeHowson)(g, 0);
+        (0, vitest_1.expect)(eq).not.toBeNull();
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[0].distribution, [0.5, 0.5], 1e-6)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[1].distribution, [0.5, 0.5], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('lemkeHowson encuentra Nash en RPS', () => {
+        const g = (0, game_theory_1.rockPaperScissors)();
+        const eq = (0, game_theory_1.lemkeHowson)(g, 0);
+        (0, vitest_1.expect)(eq).not.toBeNull();
+        (0, vitest_1.expect)((0, game_theory_1.vectorsApproxEqual)(eq.strategies[0].distribution, [1 / 3, 1 / 3, 1 / 3], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('lemkeHowson encuentra UN Nash en battle of sexes', () => {
+        const g = (0, game_theory_1.battleOfSexes)();
+        const eq = (0, game_theory_1.lemkeHowson)(g, 0);
+        (0, vitest_1.expect)(eq).not.toBeNull();
+        // Debe ser uno de los 3 Nash conocidos
+        const allEqs = (0, game_theory_1.enumerateAllNash)(g);
+        const match = allEqs.some((e) => (0, game_theory_1.vectorsApproxEqual)(e.strategies[0].distribution, eq.strategies[0].distribution, 1e-5) &&
+            (0, game_theory_1.vectorsApproxEqual)(e.strategies[1].distribution, eq.strategies[1].distribution, 1e-5));
+        (0, vitest_1.expect)(match).toBe(true);
+    });
+});
+(0, vitest_1.describe)('game-theory — expectedPayoff', () => {
+    (0, vitest_1.it)('expectedPayoff es lineal en el perfil mixto', () => {
+        const g = (0, game_theory_1.matchingPennies)();
+        const halfHalf = [mixed(0, [0.5, 0.5]), mixed(1, [0.5, 0.5])];
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)((0, game_theory_1.expectedPayoff)(g, 0, halfHalf), 0, 1e-9)).toBe(true);
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)((0, game_theory_1.expectedPayoff)(g, 1, halfHalf), 0, 1e-9)).toBe(true);
+        // Si player 2 juega H puro y player 1 juega 50/50, payoff de player 1 = 0
+        const allH = [mixed(0, [0.5, 0.5]), pure(1, 0, 2)];
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)((0, game_theory_1.expectedPayoff)(g, 0, allH), 0, 1e-9)).toBe(true);
+        // y payoff de player 2 = 0
+        (0, vitest_1.expect)((0, game_theory_1.approxEqual)((0, game_theory_1.expectedPayoff)(g, 1, allH), 0, 1e-9)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('game-theory — asymmetric NxM games', () => {
+    (0, vitest_1.it)('2x3 con única Nash pura', () => {
+        // Construido para que (0, 1) sea la única Nash:
+        //   P1: fila 0 le da 5,7,3 ; fila 1 le da 4,2,1 → fila 0 domina
+        //   P2: dada fila 0, columna 1 (=7) le da 6 vs 1 y 2 → mejor.
+        const g = (0, game_theory_1.createTwoPlayerGame)([
+            [5, 7, 3],
+            [4, 2, 1],
+        ], [
+            [1, 6, 2],
+            [3, 5, 4],
+        ]);
+        const eqs = (0, game_theory_1.findPureNash)(g);
+        (0, vitest_1.expect)(eqs.length).toBeGreaterThanOrEqual(1);
+        const has01 = eqs.some((e) => e.strategies[0].distribution[0] === 1 && e.strategies[1].distribution[1] === 1);
+        (0, vitest_1.expect)(has01).toBe(true);
+    });
+    (0, vitest_1.it)('enumerateAllNash respeta maxSize cap', () => {
+        const g = (0, game_theory_1.rockPaperScissors)();
+        const cap1 = (0, game_theory_1.enumerateAllNash)(g, 1);
+        // Cap a tamaño 1 → solo busca puros (no hay en RPS)
+        (0, vitest_1.expect)(cap1).toHaveLength(0);
+        const cap3 = (0, game_theory_1.enumerateAllNash)(g, 3);
+        (0, vitest_1.expect)(cap3).toHaveLength(1);
+    });
+});
+(0, vitest_1.describe)('game-theory — N-player simétricos chicos', () => {
+    (0, vitest_1.it)('3-player coordination game: hay Nash puros donde todos coordinan', () => {
+        // 3 jugadores, 2 estrategias cada uno (A=0, B=1).
+        // payoff[player][profile_index]: si todos juegan lo mismo dan 1, sino 0.
+        // perfil index: (s1, s2, s3) → s1*4 + s2*2 + s3
+        const players = 3;
+        const sizes = [2, 2, 2];
+        const payoff = (s1, s2, s3) => (s1 === s2 && s2 === s3 ? 1 : 0);
+        const payoffs = [];
+        for (let p = 0; p < players; p++) {
+            const row = [];
+            for (let s1 = 0; s1 < 2; s1++) {
+                for (let s2 = 0; s2 < 2; s2++) {
+                    for (let s3 = 0; s3 < 2; s3++) {
+                        row.push(payoff(s1, s2, s3));
+                    }
+                }
+            }
+            payoffs.push(row);
+        }
+        const g = { players, strategies: sizes, payoffs };
+        const pures = (0, game_theory_1.findPureNash)(g);
+        // (0,0,0) y (1,1,1) son Nash; (0,0,1) no (player 3 desviaría a 0).
+        (0, vitest_1.expect)(pures.length).toBeGreaterThanOrEqual(2);
+        const allCoord = pures.filter((e) => e.strategies.every((s) => s.distribution[0] === 1) ||
+            e.strategies.every((s) => s.distribution[1] === 1));
+        (0, vitest_1.expect)(allCoord).toHaveLength(2);
+    });
+});
+//# sourceMappingURL=game-theory.test.js.map

package/dist/tests/game-theory/game-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"game-theory.test.js","sourceRoot":"","sources":["../../../src/tests/game-theory/game-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mDAmB2B;AAE3B,SAAS,IAAI,CAAC,MAAc,EAAE,CAAS,EAAE,IAAY;IACnD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAA,8BAAgB,EAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAc;IAC3C,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,OAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,OAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,sBAAQ,GAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uEAAuE;QACvE,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,EACD;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,wEAAwE;QACxE,kEAAkE;QAClE,mEAAmE;QACnE,sCAAsC;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,+CAA+C;YACvD,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,4BAA4B;SACrC,EACD;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,6EAA6E;QAC7E,+CAA+C;QAC/C,6FAA6F;QAC7F,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa;YACxB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB;SACnC,EACD;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa;YACxB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,sDAAsD;QACtD,sFAAsF;QACtF,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,4DAA4D;QAC5D,MAAM,gBAAgB,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,uCAAuC;QACvC,MAAM,MAAM,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,IAAA,gCAAkB,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC;YACtF,IAAA,gCAAkB,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CACzF,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAExE,0EAA0E;QAC1E,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,2BAA2B;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,gDAAgD;QAChD,gEAAgE;QAChE,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,EACD;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CACtF,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,oDAAoD;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,kDAAkD;QAClD,yEAAyE;QACzE,gDAAgD;QAChD,MAAM,OAAO,GAAG,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,GAAG,GAAa,EAAE,CAAC;YACzB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;wBAC9B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,CAAC,GAAmB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,mEAAmE;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;QACF,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}