@stevenvo780/st-lang 4.6.0 → 4.8.0

package/dist/tests/reasoning/fca/fca.test.js

@@ -0,0 +1,317 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const fca_1 = require("../../../reasoning/fca");
+function set(...xs) {
+    return new Set(xs);
+}
+function setsEqual(a, b) {
+    if (a.size !== b.size)
+        return false;
+    for (const x of a)
+        if (!b.has(x))
+            return false;
+    return true;
+}
+/**
+ * Contexto "living beings" clásico de la literatura (Ganter & Wille, simplificado).
+ * 4 objetos × 4 atributos:
+ *               needs-water  lives-in-water  lives-on-land  has-leaves
+ *   fish-leech      X             X
+ *   bream           X             X
+ *   reed            X             X              X            X
+ *   bean            X                            X            X
+ *
+ * Conceptos esperados (clausuras de intents):
+ *   ∅            (lectic 1st) → intent = closeIntent(∅) = {needs-water}
+ *                                       (todos comparten needs-water)
+ *   {fish-leech, bream, reed} → intent {needs-water, lives-in-water}
+ *   {reed}                    → intent {needs-water, lives-in-water,
+ *                                       lives-on-land, has-leaves}
+ *   {reed, bean}              → intent {needs-water, lives-on-land, has-leaves}
+ *   {fish-leech,bream,reed,bean} top → {needs-water}
+ *   etc.
+ * El número exacto se calcula vía allConcepts (lo verificamos con el código).
+ */
+function livingBeingsContext() {
+    return (0, fca_1.createContext)(['fish-leech', 'bream', 'reed', 'bean'], ['needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'], [
+        ['fish-leech', 'needs-water'],
+        ['fish-leech', 'lives-in-water'],
+        ['bream', 'needs-water'],
+        ['bream', 'lives-in-water'],
+        ['reed', 'needs-water'],
+        ['reed', 'lives-in-water'],
+        ['reed', 'lives-on-land'],
+        ['reed', 'has-leaves'],
+        ['bean', 'needs-water'],
+        ['bean', 'lives-on-land'],
+        ['bean', 'has-leaves'],
+    ]);
+}
+(0, vitest_1.describe)('FCA — createContext y operadores polares de Galois', () => {
+    (0, vitest_1.it)('rechaza identificadores con el separador reservado "|"', () => {
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a|b'], ['m'], [])).toThrow(/separador/);
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m|n'], [])).toThrow(/separador/);
+    });
+    (0, vitest_1.it)('rechaza objetos o atributos duplicados', () => {
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a', 'a'], ['m'], [])).toThrow(/duplicado/);
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m', 'm'], [])).toThrow(/duplicado/);
+    });
+    (0, vitest_1.it)('rechaza incidencias hacia objetos o atributos no declarados', () => {
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m'], [['a', 'x']])).toThrow(/atributo/);
+        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m'], [['z', 'm']])).toThrow(/objeto/);
+    });
+    (0, vitest_1.it)('derivativeObjects({}) = G (convención: ∀ trivial sobre conjunto vacío)', () => {
+        const K = livingBeingsContext();
+        const G = (0, fca_1.derivativeObjects)(K, set());
+        (0, vitest_1.expect)(setsEqual(G, set('fish-leech', 'bream', 'reed', 'bean'))).toBe(true);
+    });
+    (0, vitest_1.it)('derivativeAttributes({}) = M', () => {
+        const K = livingBeingsContext();
+        const M = (0, fca_1.derivativeAttributes)(K, set());
+        (0, vitest_1.expect)(setsEqual(M, set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
+    });
+    (0, vitest_1.it)('derivativeObjects: {lives-in-water} → {fish-leech, bream, reed}', () => {
+        const K = livingBeingsContext();
+        const r = (0, fca_1.derivativeObjects)(K, set('lives-in-water'));
+        (0, vitest_1.expect)(setsEqual(r, set('fish-leech', 'bream', 'reed'))).toBe(true);
+    });
+    (0, vitest_1.it)('derivativeAttributes: {reed, bean} → {needs-water, lives-on-land, has-leaves}', () => {
+        const K = livingBeingsContext();
+        const r = (0, fca_1.derivativeAttributes)(K, set('reed', 'bean'));
+        (0, vitest_1.expect)(setsEqual(r, set('needs-water', 'lives-on-land', 'has-leaves'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('FCA — clausura Galois e isConcept', () => {
+    (0, vitest_1.it)('closeIntent es idempotente: closure(closure(B)) = closure(B)', () => {
+        const K = livingBeingsContext();
+        const seeds = [
+            set(),
+            set('needs-water'),
+            set('lives-in-water'),
+            set('has-leaves'),
+            set('lives-on-land', 'has-leaves'),
+            set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'),
+        ];
+        for (const s of seeds) {
+            const c1 = (0, fca_1.closeIntent)(K, s);
+            const c2 = (0, fca_1.closeIntent)(K, c1);
+            (0, vitest_1.expect)(setsEqual(c1, c2)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('closeIntent extiende el seed (B ⊆ B" siempre)', () => {
+        const K = livingBeingsContext();
+        const seed = set('lives-in-water');
+        const closed = (0, fca_1.closeIntent)(K, seed);
+        for (const m of seed)
+            (0, vitest_1.expect)(closed.has(m)).toBe(true);
+    });
+    (0, vitest_1.it)('isConcept reconoce ({reed}, {needs-water, lives-in-water, lives-on-land, has-leaves})', () => {
+        const K = livingBeingsContext();
+        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('reed'), set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
+    });
+    (0, vitest_1.it)('isConcept rechaza pares no-cerrados', () => {
+        const K = livingBeingsContext();
+        // intent incompleto: {reed} en realidad determina los 4 atributos, no 1.
+        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('reed'), set('needs-water'))).toBe(false);
+        // extent incompleto: {needs-water, lives-in-water}' = {fish-leech, bream, reed},
+        // no {fish-leech} solo.
+        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('fish-leech'), set('needs-water', 'lives-in-water'))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('FCA — allConcepts (Next Closure, Ganter)', () => {
+    (0, vitest_1.it)('contexto living-beings: genera los conceptos esperados sin duplicados', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        // Sin duplicados (intents únicos como firma).
+        const intentSignatures = new Set(cs.map((c) => [...c.intent].sort().join(',')));
+        (0, vitest_1.expect)(intentSignatures.size).toBe(cs.length);
+        // Cada par devuelto cumple A' = B y B' = A.
+        for (const c of cs) {
+            (0, vitest_1.expect)((0, fca_1.isConcept)(K, c.extent, c.intent)).toBe(true);
+        }
+        // Top concept (extent = G) presente: intent = atributos comunes a todos = {needs-water}.
+        const top = cs.find((c) => c.extent.size === 4);
+        (0, vitest_1.expect)(top).toBeDefined();
+        (0, vitest_1.expect)(setsEqual(top.intent, set('needs-water'))).toBe(true);
+        // Bottom concept (intent = M = los 4 atrs) presente:
+        // como `reed` posee los 4 atributos, su extent es {reed}, no ∅.
+        const bottom = cs.find((c) => c.intent.size === 4);
+        (0, vitest_1.expect)(bottom).toBeDefined();
+        (0, vitest_1.expect)(setsEqual(bottom.extent, set('reed'))).toBe(true);
+        // Concepto ({reed}, los 4 atrs) ES el bottom: lo verificamos por separado
+        // mirando que es el único concepto con extent={reed}.
+        const reedOnly = cs.find((c) => c.extent.size === 1 && c.extent.has('reed'));
+        (0, vitest_1.expect)(reedOnly).toBeDefined();
+        (0, vitest_1.expect)(reedOnly.intent.size).toBe(4);
+        // Enumeración manual del lattice:
+        //   1. (G,                     {needs-water})                        — top
+        //   2. ({fl, br, reed},        {needs-water, lives-in-water})
+        //   3. ({reed, bean},          {needs-water, lives-on-land, has-leaves})
+        //   4. ({reed},                M)                                    — bottom
+        // Más: ({bean}, {nw, lol, hl})? No: {bean}' = {nw, lol, hl}, pero
+        //   {nw, lol, hl}' = {reed, bean}, no {bean} — no es concepto.
+        // 4 conceptos cerrados en este lattice (top + 2 intermedios + bottom).
+        (0, vitest_1.expect)(cs.length).toBe(4);
+    });
+    (0, vitest_1.it)('contexto trivial vacío (sin objetos ni atributos): exactamente 1 concepto (∅, ∅)', () => {
+        const K = (0, fca_1.createContext)([], [], []);
+        const cs = (0, fca_1.allConcepts)(K);
+        (0, vitest_1.expect)(cs.length).toBe(1);
+        (0, vitest_1.expect)(cs[0].extent.size).toBe(0);
+        (0, vitest_1.expect)(cs[0].intent.size).toBe(0);
+    });
+    (0, vitest_1.it)('contexto con un objeto sin atributos: 2 conceptos (top y bottom degenerados)', () => {
+        const K = (0, fca_1.createContext)(['solo'], ['m'], []);
+        const cs = (0, fca_1.allConcepts)(K);
+        // closeIntent(∅) = ∅'' = ({solo})' = ∅  (solo no tiene atributos)
+        //   → concepto top: ({solo}, ∅).
+        // Siguiente: closeIntent({m}) = {m}'' = (∅)' = {m}
+        //   → concepto bottom: (∅, {m}).
+        (0, vitest_1.expect)(cs.length).toBe(2);
+        const top = cs.find((c) => c.extent.size === 1);
+        const bot = cs.find((c) => c.extent.size === 0);
+        (0, vitest_1.expect)(setsEqual(top.extent, set('solo'))).toBe(true);
+        (0, vitest_1.expect)(top.intent.size).toBe(0);
+        (0, vitest_1.expect)(setsEqual(bot.intent, set('m'))).toBe(true);
+    });
+    (0, vitest_1.it)('contexto discreto (identidad): los closed-intents son {∅, {A}, {B}, {C}, M} → 5 conceptos', () => {
+        // n=3: G = {a,b,c}, M = {A,B,C}, I = {(a,A),(b,B),(c,C)}.
+        // Cualquier subconjunto de objetos de tamaño ≥ 2 comparte 0 atributos,
+        // luego su intent común es ∅, que cierra a ∅ ó a M según el operador
+        // doble. Los conjuntos cerrados de atributos son: ∅, {A}, {B}, {C}, M.
+        // Esto da 5 conceptos (no 2^3=8: el lattice NO es boolean porque los
+        // singletons en M son atómicos y no hay combinaciones intermedias).
+        const K = (0, fca_1.createContext)(['a', 'b', 'c'], ['A', 'B', 'C'], [
+            ['a', 'A'],
+            ['b', 'B'],
+            ['c', 'C'],
+        ]);
+        const cs = (0, fca_1.allConcepts)(K);
+        (0, vitest_1.expect)(cs.length).toBe(5);
+        // Sin duplicados.
+        const sigs = new Set(cs.map((c) => [...c.intent].sort().join(',')));
+        (0, vitest_1.expect)(sigs.size).toBe(5);
+    });
+});
+(0, vitest_1.describe)('FCA — lattice (Hasse) y orden por inclusión de extents', () => {
+    (0, vitest_1.it)('aristas conectan conceptos con extent estrictamente incluido', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        const H = (0, fca_1.lattice)(cs);
+        for (const [i, j] of H.edges) {
+            const ci = cs[i];
+            const cj = cs[j];
+            // Subconjunto estricto: ci.extent ⊊ cj.extent.
+            (0, vitest_1.expect)(ci.extent.size).toBeLessThan(cj.extent.size);
+            for (const o of ci.extent)
+                (0, vitest_1.expect)(cj.extent.has(o)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('no hay aristas de cobertura "saltadas" (orden de Hasse mínimo)', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        const H = (0, fca_1.lattice)(cs);
+        // Para cada arista (i, j), no debe existir k distinto con extent_i ⊊ extent_k ⊊ extent_j.
+        for (const [i, j] of H.edges) {
+            const ei = cs[i].extent;
+            const ej = cs[j].extent;
+            for (let k = 0; k < cs.length; k++) {
+                if (k === i || k === j)
+                    continue;
+                const ek = cs[k].extent;
+                const ekStrictGtEi = ek.size > ei.size && [...ei].every((x) => ek.has(x));
+                const ejStrictGtEk = ej.size > ek.size && [...ek].every((x) => ej.has(x));
+                (0, vitest_1.expect)(ekStrictGtEi && ejStrictGtEk).toBe(false);
+            }
+        }
+    });
+    (0, vitest_1.it)('lattice del contexto discreto-3: estrella con 6 aristas de cobertura', () => {
+        // 5 conceptos: bottom (intent=M, extent=∅) — 3 átomos ({g},{Attr_g}) — top (G,∅).
+        // Hasse: bottom cubre los 3 átomos (3 aristas) y los 3 átomos están
+        // cubiertos por top (3 aristas). Total = 6.
+        const K = (0, fca_1.createContext)(['a', 'b', 'c'], ['A', 'B', 'C'], [
+            ['a', 'A'],
+            ['b', 'B'],
+            ['c', 'C'],
+        ]);
+        const cs = (0, fca_1.allConcepts)(K);
+        const H = (0, fca_1.lattice)(cs);
+        (0, vitest_1.expect)(H.edges.length).toBe(6);
+    });
+});
+(0, vitest_1.describe)('FCA — implicaciones de atributos', () => {
+    (0, vitest_1.it)('impliesAll: {has-leaves} → {lives-on-land} es válida en living-beings', () => {
+        // Todos los objetos con has-leaves (reed, bean) viven en tierra.
+        const K = livingBeingsContext();
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('has-leaves'), set('lives-on-land'))).toBe(true);
+    });
+    (0, vitest_1.it)('impliesAll: {lives-in-water} → {has-leaves} es inválida (fish-leech contraejemplo)', () => {
+        const K = livingBeingsContext();
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-in-water'), set('has-leaves'))).toBe(false);
+    });
+    (0, vitest_1.it)('impliesAll: {} → {needs-water} es válida (atributo común a todos)', () => {
+        const K = livingBeingsContext();
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set(), set('needs-water'))).toBe(true);
+    });
+    (0, vitest_1.it)('impliesAll vacua: cualquier premisa → ∅ es válida', () => {
+        const K = livingBeingsContext();
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-on-land'), set())).toBe(true);
+    });
+    (0, vitest_1.it)("caracterización extensional: a → b sii a' ⊆ b'", () => {
+        const K = livingBeingsContext();
+        // a = {lives-on-land}, b = {has-leaves}: ambos tienen extent {reed, bean}.
+        // Luego a' = b' y la implicación va en ambos sentidos.
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-on-land'), set('has-leaves'))).toBe(true);
+        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('has-leaves'), set('lives-on-land'))).toBe(true);
+        // Comprobación equivalente con derivativeObjects.
+        const aPrime = (0, fca_1.derivativeObjects)(K, set('lives-on-land'));
+        const bPrime = (0, fca_1.derivativeObjects)(K, set('has-leaves'));
+        (0, vitest_1.expect)(setsEqual(aPrime, bPrime)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('FCA — concept lattice como retículo completo', () => {
+    (0, vitest_1.it)('Top concept tiene extent = G y intent = atributos comunes a todos', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        const top = cs.find((c) => c.extent.size === 4);
+        (0, vitest_1.expect)(setsEqual(top.extent, set('fish-leech', 'bream', 'reed', 'bean'))).toBe(true);
+        // En este contexto: needs-water es el único atributo común.
+        (0, vitest_1.expect)(setsEqual(top.intent, set('needs-water'))).toBe(true);
+    });
+    (0, vitest_1.it)('Bottom concept tiene intent = M; extent = ∅ sólo si ningún objeto los tiene todos', () => {
+        // En living-beings, "reed" posee los 4 atributos → bottom = ({reed}, M).
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        const bottom = cs.find((c) => c.intent.size === 4);
+        (0, vitest_1.expect)(setsEqual(bottom.extent, set('reed'))).toBe(true);
+        (0, vitest_1.expect)(setsEqual(bottom.intent, set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
+        // Contexto adicional donde nadie tiene todos: ahora sí el extent del bottom es ∅.
+        const K2 = (0, fca_1.createContext)(['x', 'y'], ['p', 'q'], [
+            ['x', 'p'],
+            ['y', 'q'],
+        ]);
+        const cs2 = (0, fca_1.allConcepts)(K2);
+        const bot2 = cs2.find((c) => c.intent.size === 2);
+        (0, vitest_1.expect)(bot2.extent.size).toBe(0);
+    });
+    (0, vitest_1.it)('todos los conceptos son cerrados (verificación cruzada con isConcept)', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        for (const c of cs)
+            (0, vitest_1.expect)((0, fca_1.isConcept)(K, c.extent, c.intent)).toBe(true);
+    });
+    (0, vitest_1.it)('un objeto pertenece al extent de un concepto sii su intent ⊇ intent del concepto', () => {
+        const K = livingBeingsContext();
+        const cs = (0, fca_1.allConcepts)(K);
+        for (const c of cs) {
+            for (const g of c.extent) {
+                // Atributos del objeto g: {g}'.
+                const gAttrs = (0, fca_1.derivativeAttributes)(K, set(g));
+                for (const m of c.intent)
+                    (0, vitest_1.expect)(gAttrs.has(m)).toBe(true);
+            }
+        }
+    });
+});
+//# sourceMappingURL=fca.test.js.map

package/dist/tests/reasoning/fca/fca.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fca.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/fca/fca.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gDASgC;AAGhC,SAAS,GAAG,CAAI,GAAG,EAAO;IACxB,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAI,CAAS,EAAE,CAAS;IACxC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,mBAAmB;IAC1B,OAAO,IAAA,mBAAa,EAClB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EACvC,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,EAChE;QACE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC7B,CAAC,YAAY,EAAE,gBAAgB,CAAC;QAChC,CAAC,OAAO,EAAE,aAAa,CAAC;QACxB,CAAC,OAAO,EAAE,gBAAgB,CAAC;QAC3B,CAAC,MAAM,EAAE,aAAa,CAAC;QACvB,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC1B,CAAC,MAAM,EAAE,eAAe,CAAC;QACzB,CAAC,MAAM,EAAE,YAAY,CAAC;QACtB,CAAC,MAAM,EAAE,aAAa,CAAC;QACvB,CAAC,MAAM,EAAE,eAAe,CAAC;QACzB,CAAC,MAAM,EAAE,YAAY,CAAC;KACvB,CACF,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAC5F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,KAAK,GAAuB;YAChC,GAAG,EAAE;YACL,GAAG,CAAC,aAAa,CAAC;YAClB,GAAG,CAAC,gBAAgB,CAAC;YACrB,GAAG,CAAC,YAAY,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC;YAClC,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC;SACpE,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAA,eAAM,EAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EACJ,IAAA,eAAS,EACP,CAAC,EACD,GAAG,CAAC,MAAM,CAAC,EACX,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CACpE,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,yEAAyE;QACzE,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,iFAAiF;QACjF,wBAAwB;QACxB,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAE1B,8CAA8C;QAC9C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAE9C,4CAA4C;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QAED,yFAAyF;QACzF,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,SAAS,CAAC,GAAI,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9D,qDAAqD;QACrD,gEAAgE;QAChE,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,SAAS,CAAC,MAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1D,0EAA0E;QAC1E,sDAAsD;QACtD,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,QAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtC,kCAAkC;QAClC,2EAA2E;QAC3E,8DAA8D;QAC9D,yEAAyE;QACzE,8EAA8E;QAC9E,kEAAkE;QAClE,+DAA+D;QAC/D,uEAAuE;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,IAAA,mBAAa,EAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,IAAA,mBAAa,EAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,kEAAkE;QAClE,iCAAiC;QACjC,mDAAmD;QACnD,iCAAiC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,0DAA0D;QAC1D,uEAAuE;QACvE,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QACrE,oEAAoE;QACpE,MAAM,CAAC,GAAG,IAAA,mBAAa,EACrB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,kBAAkB;QAClB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QAEtB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,+CAA+C;YAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM;gBAAE,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QAEtB,0FAA0F;QAC1F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACjC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACxB,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1E,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1E,IAAA,eAAM,EAAC,YAAY,IAAI,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,kFAAkF;QAClF,oEAAoE;QACpE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAa,EACrB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,iEAAiE;QACjE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,EAAU,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,2EAA2E;QAC3E,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1E,kDAAkD;QAClD,MAAM,MAAM,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,4DAA4D;QAC5D,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,yEAAyE;QACzE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACpD,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EACJ,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAC9F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,kFAAkF;QAClF,MAAM,EAAE,GAAG,IAAA,mBAAa,EACtB,CAAC,GAAG,EAAE,GAAG,CAAC,EACV,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAoB,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,gCAAgC;gBAChC,MAAM,MAAM,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

package/dist/tests/reasoning/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("../../../reasoning/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/reasoning/game-theory/game-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"game-theory.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/game-theory/game-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gEAmBwC;AAExC,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"}

package/dist/tests/reasoning/hyperreal/hyperreal.test.d.ts.map

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