@stevenvo780/st-lang 4.11.0 → 4.13.0

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

@@ -0,0 +1,333 @@
+"use strict";
+// ============================================================
+// ST Datalog — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const datalog_1 = require("../../../reasoning/datalog");
+// ── Helpers de tests ─────────────────────────────────────────
+function atomKey(a) {
+    return `${a.predicate}(${a.args.join(',')})`;
+}
+function hasAtom(list, pred, args) {
+    const key = `${pred}(${args.join(',')})`;
+    return list.some((a) => atomKey(a) === key);
+}
+// ── Parser ──────────────────────────────────────────────────
+(0, vitest_1.describe)('datalog — parser', () => {
+    (0, vitest_1.it)('parseAtom: "parent(alice, bob)" → predicate y args correctos', () => {
+        const a = (0, datalog_1.parseAtom)('parent(alice, bob)');
+        (0, vitest_1.expect)(a).not.toBeNull();
+        (0, vitest_1.expect)(a?.predicate).toBe('parent');
+        (0, vitest_1.expect)(a?.args).toEqual(['alice', 'bob']);
+    });
+    (0, vitest_1.it)('parseAtom: predicado con variable mayúscula', () => {
+        const a = (0, datalog_1.parseAtom)('ancestor(X, Y)');
+        (0, vitest_1.expect)(a).not.toBeNull();
+        (0, vitest_1.expect)(a?.args).toEqual(['X', 'Y']);
+        (0, vitest_1.expect)((0, datalog_1.isVariable)('X')).toBe(true);
+        (0, vitest_1.expect)((0, datalog_1.isVariable)('alice')).toBe(false);
+    });
+    (0, vitest_1.it)('parseAtom: sintaxis inválida devuelve null', () => {
+        (0, vitest_1.expect)((0, datalog_1.parseAtom)('parent(')).toBeNull();
+        (0, vitest_1.expect)((0, datalog_1.parseAtom)('parent(a,)')).toBeNull();
+        (0, vitest_1.expect)((0, datalog_1.parseAtom)('123pred(a)')).toBeNull();
+    });
+    (0, vitest_1.it)('parseRule: "ancestor(X, Y) :- parent(X, Y)." → regla', () => {
+        const r = (0, datalog_1.parseRule)('ancestor(X, Y) :- parent(X, Y).');
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r?.head.predicate).toBe('ancestor');
+        (0, vitest_1.expect)(r?.body).toHaveLength(1);
+        (0, vitest_1.expect)(r?.body[0]?.predicate).toBe('parent');
+    });
+    (0, vitest_1.it)('parseRule: regla recursiva con dos literales en body', () => {
+        const r = (0, datalog_1.parseRule)('ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).');
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r?.body).toHaveLength(2);
+        (0, vitest_1.expect)(r?.body[0]?.predicate).toBe('parent');
+        (0, vitest_1.expect)(r?.body[1]?.predicate).toBe('ancestor');
+    });
+    (0, vitest_1.it)('parseRule: hecho (sin :-) devuelve regla con body vacío', () => {
+        const r = (0, datalog_1.parseRule)('parent(alice, bob).');
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r?.body).toEqual([]);
+        (0, vitest_1.expect)(r?.head.args).toEqual(['alice', 'bob']);
+    });
+});
+// ── Unificación ─────────────────────────────────────────────
+(0, vitest_1.describe)('datalog — unificación', () => {
+    (0, vitest_1.it)('unifyAtoms: variables con constantes', () => {
+        const a = { predicate: 'p', args: ['X', 'Y'] };
+        const b = { predicate: 'p', args: ['alice', 'bob'] };
+        const s = (0, datalog_1.unifyAtoms)(a, b);
+        (0, vitest_1.expect)(s).not.toBeNull();
+        (0, vitest_1.expect)(s?.X).toBe('alice');
+        (0, vitest_1.expect)(s?.Y).toBe('bob');
+    });
+    (0, vitest_1.it)('unifyAtoms: predicados distintos → null', () => {
+        const a = { predicate: 'p', args: ['X'] };
+        const b = { predicate: 'q', args: ['alice'] };
+        (0, vitest_1.expect)((0, datalog_1.unifyAtoms)(a, b)).toBeNull();
+    });
+    (0, vitest_1.it)('unifyAtoms: aridades distintas → null', () => {
+        const a = { predicate: 'p', args: ['X', 'Y'] };
+        const b = { predicate: 'p', args: ['alice'] };
+        (0, vitest_1.expect)((0, datalog_1.unifyAtoms)(a, b)).toBeNull();
+    });
+    (0, vitest_1.it)('unifyAtoms: constantes distintas → null', () => {
+        const a = { predicate: 'p', args: ['alice'] };
+        const b = { predicate: 'p', args: ['bob'] };
+        (0, vitest_1.expect)((0, datalog_1.unifyAtoms)(a, b)).toBeNull();
+    });
+    (0, vitest_1.it)('unifyAtoms: misma variable repetida fuerza igualdad', () => {
+        const a = { predicate: 'p', args: ['X', 'X'] };
+        const b = { predicate: 'p', args: ['alice', 'alice'] };
+        (0, vitest_1.expect)((0, datalog_1.unifyAtoms)(a, b)).not.toBeNull();
+        const c = { predicate: 'p', args: ['alice', 'bob'] };
+        (0, vitest_1.expect)((0, datalog_1.unifyAtoms)(a, c)).toBeNull();
+    });
+    (0, vitest_1.it)('applySubstitution: sustituye variables, deja constantes', () => {
+        const atom = { predicate: 'p', args: ['X', 'alice', 'Y'] };
+        const out = (0, datalog_1.applySubstitution)(atom, { X: 'bob', Y: 'carol' });
+        (0, vitest_1.expect)(out.args).toEqual(['bob', 'alice', 'carol']);
+    });
+    (0, vitest_1.it)('isGround: detecta átomos ground correctamente', () => {
+        (0, vitest_1.expect)((0, datalog_1.isGround)({ predicate: 'p', args: ['alice', 'bob'] })).toBe(true);
+        (0, vitest_1.expect)((0, datalog_1.isGround)({ predicate: 'p', args: ['alice', 'X'] })).toBe(false);
+    });
+});
+// ── Bottom-up: transitive closure ───────────────────────────
+(0, vitest_1.describe)('datalog — bottom-up transitive closure', () => {
+    (0, vitest_1.it)('3 parent facts derivan los 3 ancestor directos + 3 transitivos', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const result = (0, datalog_1.evaluateBottomUp)(p);
+        // Hechos parent originales: 3.
+        // Hechos ancestor derivados: 3 directos + 3 transitivos
+        //   ancestor(alice,bob), ancestor(bob,carol), ancestor(carol,dave)
+        //   ancestor(alice,carol) [via bob],
+        //   ancestor(bob,dave)    [via carol],
+        //   ancestor(alice,dave)  [via bob+carol].
+        const ancestors = result.facts.filter((f) => f.predicate === 'ancestor');
+        (0, vitest_1.expect)(ancestors.length).toBe(6);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'ancestor', ['alice', 'bob'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'ancestor', ['alice', 'carol'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'ancestor', ['alice', 'dave'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'ancestor', ['bob', 'dave'])).toBe(true);
+    });
+    (0, vitest_1.it)('terminates con iterations finitas (idempotencia tras fixpoint)', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const result = (0, datalog_1.evaluateBottomUp)(p);
+        (0, vitest_1.expect)(result.iterations).toBeGreaterThan(0);
+        (0, vitest_1.expect)(result.iterations).toBeLessThan(20);
+        // Re-evaluación da el mismo conteo de facts (idempotente).
+        const result2 = (0, datalog_1.evaluateBottomUp)(p);
+        (0, vitest_1.expect)(result2.facts.length).toBe(result.facts.length);
+    });
+});
+// ── Bottom-up: path reachability ────────────────────────────
+(0, vitest_1.describe)('datalog — bottom-up path reachability', () => {
+    (0, vitest_1.it)('grafo de 4 nodos deriva todas las conexiones alcanzables', () => {
+        const p = (0, datalog_1.pathReachability)();
+        const result = (0, datalog_1.evaluateBottomUp)(p);
+        // edges: n1→n2, n2→n3, n3→n4, n1→n3.
+        // reach esperado:
+        //   directos: (n1,n2), (n2,n3), (n3,n4), (n1,n3)
+        //   transitivos: (n1,n4) via n2-n3-n4 o n1-n3-n4, (n2,n4) via n3.
+        const reaches = result.facts.filter((f) => f.predicate === 'reach');
+        (0, vitest_1.expect)(reaches.length).toBe(6);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'reach', ['n1', 'n4'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'reach', ['n2', 'n4'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'reach', ['n1', 'n3'])).toBe(true);
+    });
+});
+// ── Uniqueness y terminación ────────────────────────────────
+(0, vitest_1.describe)('datalog — uniqueness y terminación', () => {
+    (0, vitest_1.it)('no produce facts duplicados (set semantics)', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const result = (0, datalog_1.evaluateBottomUp)(p);
+        const keys = result.facts.map((a) => atomKey(a));
+        const uniq = new Set(keys);
+        (0, vitest_1.expect)(uniq.size).toBe(keys.length);
+    });
+    (0, vitest_1.it)('ciclo en grafo no genera bucle infinito', () => {
+        // grafo cíclico: a→b, b→a.
+        const p = {
+            facts: [
+                { predicate: 'edge', args: ['a', 'b'] },
+                { predicate: 'edge', args: ['b', 'a'] },
+            ],
+            rules: [
+                {
+                    head: { predicate: 'reach', args: ['X', 'Y'] },
+                    body: [{ predicate: 'edge', args: ['X', 'Y'] }],
+                },
+                {
+                    head: { predicate: 'reach', args: ['X', 'Y'] },
+                    body: [
+                        { predicate: 'edge', args: ['X', 'Z'] },
+                        { predicate: 'reach', args: ['Z', 'Y'] },
+                    ],
+                },
+            ],
+        };
+        const result = (0, datalog_1.evaluateBottomUp)(p, { maxIterations: 50 });
+        // Debe terminar y derivar: (a,b), (b,a), (a,a), (b,b).
+        const reaches = result.facts.filter((f) => f.predicate === 'reach');
+        (0, vitest_1.expect)(reaches.length).toBe(4);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'reach', ['a', 'a'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'reach', ['b', 'b'])).toBe(true);
+    });
+});
+// ── querySLD ────────────────────────────────────────────────
+(0, vitest_1.describe)('datalog — querySLD top-down con memoización', () => {
+    (0, vitest_1.it)('query ancestor(alice, Y) devuelve todos los descendientes de alice', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const results = (0, datalog_1.querySLD)(p, {
+            predicate: 'ancestor',
+            args: ['alice', 'Y'],
+        });
+        (0, vitest_1.expect)(results.length).toBe(3);
+        (0, vitest_1.expect)(hasAtom(results, 'ancestor', ['alice', 'bob'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(results, 'ancestor', ['alice', 'carol'])).toBe(true);
+        (0, vitest_1.expect)(hasAtom(results, 'ancestor', ['alice', 'dave'])).toBe(true);
+    });
+    (0, vitest_1.it)('query ground exacto devuelve [match] o []', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const hit = (0, datalog_1.querySLD)(p, {
+            predicate: 'ancestor',
+            args: ['alice', 'dave'],
+        });
+        (0, vitest_1.expect)(hit.length).toBe(1);
+        const miss = (0, datalog_1.querySLD)(p, {
+            predicate: 'ancestor',
+            args: ['dave', 'alice'],
+        });
+        (0, vitest_1.expect)(miss.length).toBe(0);
+    });
+});
+// ── Negación estratificada ──────────────────────────────────
+(0, vitest_1.describe)('datalog — negación estratificada', () => {
+    (0, vitest_1.it)('orphan(X) :- person(X), ¬hasParent(X)', () => {
+        // person(alice). person(bob). person(carol).
+        // hasParent(alice). hasParent(bob).
+        // orphan(X) :- person(X), ¬hasParent(X).
+        // Esperado: orphan(carol).
+        const rules = [
+            {
+                head: { predicate: 'orphan', args: ['X'] },
+                body: [{ predicate: 'person', args: ['X'] }],
+                negBody: [{ predicate: 'hasParent', args: ['X'] }],
+            },
+        ];
+        const program = {
+            facts: [
+                { predicate: 'person', args: ['alice'] },
+                { predicate: 'person', args: ['bob'] },
+                { predicate: 'person', args: ['carol'] },
+                { predicate: 'hasParent', args: ['alice'] },
+                { predicate: 'hasParent', args: ['bob'] },
+            ],
+            rules,
+        };
+        const result = (0, datalog_1.evaluateStratified)(program);
+        const orphans = result.facts.filter((f) => f.predicate === 'orphan');
+        (0, vitest_1.expect)(orphans.length).toBe(1);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'orphan', ['carol'])).toBe(true);
+    });
+    (0, vitest_1.it)('estratificación: predicado negado se evalúa antes del predicado que lo niega', () => {
+        // p(a). p(b). q(X) :- p(X). r(X) :- p(X), ¬q(X).
+        // r debería estar vacío porque q tiene los mismos elementos que p.
+        const rules = [
+            {
+                head: { predicate: 'q', args: ['X'] },
+                body: [{ predicate: 'p', args: ['X'] }],
+                negBody: [],
+            },
+            {
+                head: { predicate: 'r', args: ['X'] },
+                body: [{ predicate: 'p', args: ['X'] }],
+                negBody: [{ predicate: 'q', args: ['X'] }],
+            },
+        ];
+        const program = {
+            facts: [
+                { predicate: 'p', args: ['a'] },
+                { predicate: 'p', args: ['b'] },
+            ],
+            rules,
+        };
+        const result = (0, datalog_1.evaluateStratified)(program);
+        const rs = result.facts.filter((f) => f.predicate === 'r');
+        (0, vitest_1.expect)(rs.length).toBe(0);
+        const qs = result.facts.filter((f) => f.predicate === 'q');
+        (0, vitest_1.expect)(qs.length).toBe(2);
+    });
+});
+// ── Magic sets ──────────────────────────────────────────────
+(0, vitest_1.describe)('datalog — magic sets', () => {
+    (0, vitest_1.it)('magic sets preserva resultados del query bajo bottom-up', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const query = {
+            predicate: 'ancestor',
+            args: ['alice', 'Y'],
+        };
+        const transformed = (0, datalog_1.magicSets)(p, query);
+        const result = (0, datalog_1.evaluateBottomUp)(transformed);
+        // El programa transformado debe seguir derivando los ancestor
+        // que el query pide (alice → bob, carol, dave).
+        const ancestorsFromAlice = result.facts.filter((f) => f.predicate === 'ancestor' && f.args[0] === 'alice');
+        (0, vitest_1.expect)(ancestorsFromAlice.length).toBeGreaterThanOrEqual(3);
+        (0, vitest_1.expect)(hasAtom(result.facts, 'ancestor', ['alice', 'dave'])).toBe(true);
+    });
+    (0, vitest_1.it)('magic sets agrega seed magic_<pred> al programa', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const query = {
+            predicate: 'ancestor',
+            args: ['alice', 'Y'],
+        };
+        const transformed = (0, datalog_1.magicSets)(p, query);
+        const hasMagicSeed = transformed.facts.some((f) => f.predicate === 'magic_ancestor');
+        (0, vitest_1.expect)(hasMagicSeed).toBe(true);
+    });
+    (0, vitest_1.it)('magic sets sobre query totalmente variable devuelve programa equivalente', () => {
+        const p = (0, datalog_1.transitiveClosure)();
+        const query = {
+            predicate: 'ancestor',
+            args: ['X', 'Y'],
+        };
+        const transformed = (0, datalog_1.magicSets)(p, query);
+        // No hay args ground → no se introduce magic, programa equivalente.
+        const result = (0, datalog_1.evaluateBottomUp)(transformed);
+        const ancestors = result.facts.filter((f) => f.predicate === 'ancestor');
+        (0, vitest_1.expect)(ancestors.length).toBe(6);
+    });
+});
+// ── End-to-end con parser ───────────────────────────────────
+(0, vitest_1.describe)('datalog — end-to-end parse + evaluate', () => {
+    (0, vitest_1.it)('programa parseado y evaluado da los mismos resultados que construido a mano', () => {
+        const ruleStrs = [
+            'parent(alice, bob).',
+            'parent(bob, carol).',
+            'parent(carol, dave).',
+            'ancestor(X, Y) :- parent(X, Y).',
+            'ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).',
+        ];
+        const parsedRules = ruleStrs.map((s) => (0, datalog_1.parseRule)(s));
+        (0, vitest_1.expect)(parsedRules.every((r) => r !== null)).toBe(true);
+        const facts = [];
+        const rules = [];
+        for (const r of parsedRules) {
+            if (!r)
+                continue;
+            if (r.body.length === 0)
+                facts.push(r.head);
+            else
+                rules.push(r);
+        }
+        const program = { facts, rules };
+        const result = (0, datalog_1.evaluateBottomUp)(program);
+        const ancestors = result.facts.filter((f) => f.predicate === 'ancestor');
+        (0, vitest_1.expect)(ancestors.length).toBe(6);
+    });
+});
+//# sourceMappingURL=datalog.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"datalog.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/datalog/datalog.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qBAAqB;AACrB,+DAA+D;;AAE/D,mCAA8C;AAC9C,wDAgBoC;AAEpC,gEAAgE;AAEhE,SAAS,OAAO,CAAC,CAAc;IAC7B,OAAO,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC/C,CAAC;AAED,SAAS,OAAO,CAAC,IAAmB,EAAE,IAAY,EAAE,IAAc;IAChE,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACzC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,oBAAoB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,gBAAgB,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,iCAAiC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,iDAAiD,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,qBAAqB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,CAAC,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;QACxE,MAAM,GAAG,GAAG,IAAA,2BAAiB,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,kBAAQ,EAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,kBAAQ,EAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,+BAA+B;QAC/B,wDAAwD;QACxD,mEAAmE;QACnE,qCAAqC;QACrC,uCAAuC;QACvC,2CAA2C;QAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC3C,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,0BAAgB,GAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,qCAAqC;QACrC,kBAAkB;QAClB,iDAAiD;QACjD,kEAAkE;QAClE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,2BAA2B;QAC3B,MAAM,CAAC,GAAmB;YACxB,KAAK,EAAE;gBACL,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;gBACvC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;aACxC;YACD,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;oBAC9C,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;iBAChD;gBACD;oBACE,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;oBAC9C,IAAI,EAAE;wBACJ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;wBACvC,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;qBACzC;iBACF;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,CAAC,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1D,uDAAuD;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAA,kBAAQ,EAAC,CAAC,EAAE;YAC1B,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,kBAAQ,EAAC,CAAC,EAAE;YACtB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAA,kBAAQ,EAAC,CAAC,EAAE;YACvB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,6CAA6C;QAC7C,oCAAoC;QACpC,yCAAyC;QACzC,2BAA2B;QAC3B,MAAM,KAAK,GAAqB;YAC9B;gBACE,IAAI,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC1C,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5C,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;aACnD;SACF,CAAC;QACF,MAAM,OAAO,GAAG;YACd,KAAK,EAAE;gBACL,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE;gBACxC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE;gBACtC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE;gBACxC,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE;gBAC3C,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE;aAC1C;YACD,KAAK;SACN,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,iDAAiD;QACjD,mEAAmE;QACnE,MAAM,KAAK,GAAqB;YAC9B;gBACE,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBACrC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvC,OAAO,EAAE,EAAE;aACZ;YACD;gBACE,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBACrC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvC,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;aAC3C;SACF,CAAC;QACF,MAAM,OAAO,GAAG;YACd,KAAK,EAAE;gBACL,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC/B,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;aAChC;YACD,KAAK;SACN,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,KAAK,GAAgB;YACzB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,MAAM,WAAW,GAAG,IAAA,mBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,WAAW,CAAC,CAAC;QAC7C,8DAA8D;QAC9D,gDAAgD;QAChD,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,CAC3D,CAAC;QACF,IAAA,eAAM,EAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,KAAK,GAAgB;YACzB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,MAAM,WAAW,GAAG,IAAA,mBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,CAAC,GAAG,IAAA,2BAAiB,GAAE,CAAC;QAC9B,MAAM,KAAK,GAAgB;YACzB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACjB,CAAC;QACF,MAAM,WAAW,GAAG,IAAA,mBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxC,oEAAoE;QACpE,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,QAAQ,GAAG;YACf,qBAAqB;YACrB,qBAAqB;YACrB,sBAAsB;YACtB,iCAAiC;YACjC,iDAAiD;SAClD,CAAC;QACF,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;;gBACvC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,MAAM,OAAO,GAAmB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,IAAA,0BAAgB,EAAC,OAAO,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/galois-fields/galois-fields.test.d.ts

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

package/dist/tests/reasoning/galois-fields/galois-fields.test.d.ts.map

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

package/dist/tests/reasoning/galois-fields/galois-fields.test.js

@@ -0,0 +1,226 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const galois_fields_1 = require("../../../reasoning/galois-fields");
+// Helpers ----------------------------------------------------
+function enumerateElements(F) {
+    const out = [];
+    for (let k = 0; k < F.order; k++) {
+        const coeffs = Array.from({ length: F.degree }, () => 0);
+        let x = k;
+        for (let i = 0; i < F.degree; i++) {
+            coeffs[i] = x % F.prime;
+            x = Math.floor(x / F.prime);
+        }
+        out.push((0, galois_fields_1.gfElement)(F, coeffs));
+    }
+    return out;
+}
+(0, vitest_1.describe)('Galois Fields — irreducibles', () => {
+    (0, vitest_1.it)('findIrreducibleOverZp(2, 1) devuelve x', () => {
+        (0, vitest_1.expect)((0, galois_fields_1.findIrreducibleOverZp)(2, 1)).toEqual([0, 1]);
+    });
+    (0, vitest_1.it)('findIrreducibleOverZp(2, 3) devuelve un polinomio de grado 3 mónico', () => {
+        const f = (0, galois_fields_1.findIrreducibleOverZp)(2, 3);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(f && f[f.length - 1]).toBe(1);
+        (0, vitest_1.expect)(f && f.length).toBe(4);
+    });
+    (0, vitest_1.it)('findIrreducibleOverZp(3, 2) existe y es de grado 2', () => {
+        const f = (0, galois_fields_1.findIrreducibleOverZp)(3, 2);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(f && f.length).toBe(3);
+    });
+    (0, vitest_1.it)('rechaza p no primo', () => {
+        (0, vitest_1.expect)(() => (0, galois_fields_1.findIrreducibleOverZp)(4, 2)).toThrow();
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(p)', () => {
+    (0, vitest_1.it)('GF(2): suma equivale a XOR', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(2, 1);
+        const zero = (0, galois_fields_1.gfZero)(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, one, one), zero)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, one, zero), one)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, zero, zero), zero)).toBe(true);
+    });
+    (0, vitest_1.it)('GF(2): multiplicación equivale a AND', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(2, 1);
+        const zero = (0, galois_fields_1.gfZero)(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, one, one), one)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, one, zero), zero)).toBe(true);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, zero, zero), zero)).toBe(true);
+    });
+    (0, vitest_1.it)('GF(7): inverso de cada no-cero da 1', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(7, 1);
+        for (let k = 1; k < 7; k++) {
+            const a = (0, galois_fields_1.gfElement)(F, [k]);
+            const inv = (0, galois_fields_1.gfInverse)(F, a);
+            (0, vitest_1.expect)(inv).not.toBeNull();
+            if (inv)
+                (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, a, inv), (0, galois_fields_1.gfOne)(F))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('GF(7) tiene primitivo y su orden es 6', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(7, 1);
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.order)(F, g)).toBe(6);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(2^3)', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 3);
+    (0, vitest_1.it)('orden del cuerpo = 8', () => {
+        (0, vitest_1.expect)(F.order).toBe(8);
+    });
+    (0, vitest_1.it)('todo no-cero tiene inverso y a · a^-1 = 1', () => {
+        const elements = enumerateElements(F);
+        const one = (0, galois_fields_1.gfOne)(F);
+        for (const a of elements) {
+            if ((0, galois_fields_1.gfEq)(a, (0, galois_fields_1.gfZero)(F)))
+                continue;
+            const inv = (0, galois_fields_1.gfInverse)(F, a);
+            (0, vitest_1.expect)(inv).not.toBeNull();
+            if (inv)
+                (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, a, inv), one)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('Fermat little: a^(p^n - 1) = 1 para todo no-cero', () => {
+        const exp = BigInt(F.order - 1);
+        const one = (0, galois_fields_1.gfOne)(F);
+        for (const a of enumerateElements(F)) {
+            if ((0, galois_fields_1.gfEq)(a, (0, galois_fields_1.gfZero)(F)))
+                continue;
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, exp), one)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('existe primitivo y su orden divide a p^n − 1', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        const ord = (0, galois_fields_1.order)(F, g);
+        (0, vitest_1.expect)(ord).toBe(F.order - 1);
+        (0, vitest_1.expect)((F.order - 1) % ord).toBe(0);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — GF(2^4)', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 4);
+    (0, vitest_1.it)('orden = 16 y existe primitivo de orden 15', () => {
+        (0, vitest_1.expect)(F.order).toBe(16);
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        (0, vitest_1.expect)((0, galois_fields_1.order)(F, g)).toBe(15);
+    });
+    (0, vitest_1.it)('discreteLog inverso de gfPow', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        for (let k = 0; k < F.order - 1; k++) {
+            const target = (0, galois_fields_1.gfPow)(F, g, BigInt(k));
+            const log = (0, galois_fields_1.discreteLog)(F, g, target);
+            (0, vitest_1.expect)(log).toBe(k);
+        }
+    });
+    (0, vitest_1.it)('gfDiv consistente con gfMul + inverso', () => {
+        const a = (0, galois_fields_1.gfElement)(F, [1, 1, 0, 1]);
+        const b = (0, galois_fields_1.gfElement)(F, [0, 1, 1, 0]);
+        const q = (0, galois_fields_1.gfDiv)(F, a, b);
+        (0, vitest_1.expect)(q).not.toBeNull();
+        if (q)
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfMul)(F, q, b), a)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — leyes algebraicas (GF(3^2))', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(3, 2);
+    (0, vitest_1.it)('suma asociativa y conmutativa', () => {
+        const elements = enumerateElements(F);
+        // Muestreo: 3 triples (a,b,c) deterministas.
+        const samples = [];
+        for (let i = 0; i < 4; i++) {
+            const a = elements[(i * 3) % elements.length];
+            const b = elements[(i * 5 + 1) % elements.length];
+            const c = elements[(i * 7 + 2) % elements.length];
+            if (a && b && c)
+                samples.push([a, b, c]);
+        }
+        for (const [a, b, c] of samples) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfAdd)(F, a, b), (0, galois_fields_1.gfAdd)(F, b, a))).toBe(true);
+            const left = (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfAdd)(F, a, b), c);
+            const right = (0, galois_fields_1.gfAdd)(F, a, (0, galois_fields_1.gfAdd)(F, b, c));
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(left, right)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('multiplicación distributiva sobre la suma', () => {
+        const elements = enumerateElements(F);
+        for (let i = 0; i < 5; i++) {
+            const a = elements[(i * 2) % elements.length];
+            const b = elements[(i * 3 + 1) % elements.length];
+            const c = elements[(i * 5 + 2) % elements.length];
+            if (!a || !b || !c)
+                continue;
+            const left = (0, galois_fields_1.gfMul)(F, a, (0, galois_fields_1.gfAdd)(F, b, c));
+            const right = (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfMul)(F, a, b), (0, galois_fields_1.gfMul)(F, a, c));
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(left, right)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('a − a = 0 y a + (−a) = 0', () => {
+        for (const a of enumerateElements(F)) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfSub)(F, a, a), (0, galois_fields_1.gfZero)(F))).toBe(true);
+        }
+    });
+});
+(0, vitest_1.describe)('Galois Fields — Reed-Solomon encoding (GF(2^3))', () => {
+    const F = (0, galois_fields_1.makeGaloisField)(2, 3);
+    (0, vitest_1.it)('rsEncode con mensaje constante c devuelve [c, c, ...]', () => {
+        const c = (0, galois_fields_1.gfElement)(F, [1, 0, 1]);
+        const word = (0, galois_fields_1.rsEncode)(F, [c], 5);
+        (0, vitest_1.expect)(word.length).toBe(5);
+        for (const w of word) {
+            (0, vitest_1.expect)((0, galois_fields_1.gfEq)(w, c)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('rsEncode evalúa el polinomio en potencias del primitivo', () => {
+        const g = (0, galois_fields_1.findPrimitive)(F);
+        const m0 = (0, galois_fields_1.gfOne)(F);
+        const m1 = (0, galois_fields_1.gfOne)(F);
+        // polinomio P(x) = 1 + x
+        const word = (0, galois_fields_1.rsEncode)(F, [m0, m1], 3);
+        (0, vitest_1.expect)(word.length).toBe(3);
+        // P(1) = 1+1 = 0 en GF(2^k)
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(word[0], (0, galois_fields_1.gfZero)(F))).toBe(true);
+        // P(g) = 1 + g
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(word[1], (0, galois_fields_1.gfAdd)(F, (0, galois_fields_1.gfOne)(F), g))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Galois Fields — errores y bordes', () => {
+    (0, vitest_1.it)('gfInverse(0) = null', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 2);
+        (0, vitest_1.expect)((0, galois_fields_1.gfInverse)(F, (0, galois_fields_1.gfZero)(F))).toBeNull();
+    });
+    (0, vitest_1.it)('gfDiv por 0 devuelve null', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 2);
+        const a = (0, galois_fields_1.gfElement)(F, [1, 2]);
+        (0, vitest_1.expect)((0, galois_fields_1.gfDiv)(F, a, (0, galois_fields_1.gfZero)(F))).toBeNull();
+    });
+    (0, vitest_1.it)('gfPow con exponente 0 da 1', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(3, 2);
+        const a = (0, galois_fields_1.gfElement)(F, [2, 1]);
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, 0n), (0, galois_fields_1.gfOne)(F))).toBe(true);
+    });
+    (0, vitest_1.it)('gfPow exponente negativo usa inverso', () => {
+        const F = (0, galois_fields_1.makeGaloisField)(5, 1);
+        const a = (0, galois_fields_1.gfElement)(F, [3]);
+        // 3^(-1) mod 5 = 2
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)((0, galois_fields_1.gfPow)(F, a, -1n), (0, galois_fields_1.gfElement)(F, [2]))).toBe(true);
+    });
+    (0, vitest_1.it)('makeGaloisField rechaza irreducible reducible', () => {
+        // (x^2) sobre Z/2 NO es irreducible.
+        (0, vitest_1.expect)(() => (0, galois_fields_1.makeGaloisField)(2, 2, [0, 0, 1])).toThrow();
+    });
+    (0, vitest_1.it)('makeGaloisField acepta irreducible explícito válido para GF(2^2)', () => {
+        // x^2 + x + 1 sobre Z/2 es irreducible.
+        const F = (0, galois_fields_1.makeGaloisField)(2, 2, [1, 1, 1]);
+        (0, vitest_1.expect)(F.order).toBe(4);
+        // Verificar que (1 + x) * (1 + x) reducido tiene sentido.
+        const a = (0, galois_fields_1.gfElement)(F, [1, 1]);
+        const a2 = (0, galois_fields_1.gfMul)(F, a, a);
+        // (1+x)^2 = 1 + 2x + x^2 = 1 + x^2 ≡ 1 + (x+1) = x (mod x^2+x+1, en Z/2)
+        (0, vitest_1.expect)((0, galois_fields_1.gfEq)(a2, (0, galois_fields_1.gfElement)(F, [0, 1]))).toBe(true);
+    });
+});
+//# sourceMappingURL=galois-fields.test.js.map

package/dist/tests/reasoning/galois-fields/galois-fields.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"galois-fields.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/galois-fields/galois-fields.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAkB0C;AAE1C,+DAA+D;AAE/D,SAAS,iBAAiB,CAAC,CAAqC;IAC9D,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,MAAM,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YACxB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qCAAqB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG;gBAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,IAAA,oBAAI,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG;gBAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,IAAI,IAAA,oBAAI,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACjC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC;YAAE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,6CAA6C;QAC7C,MAAM,OAAO,GAA6C,EAAE,CAAC;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC7B,MAAM,IAAI,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACpB,yBAAyB;QACzB,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,eAAe;QACf,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,sBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,mBAAmB;QACnB,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,qCAAqC;QACrC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,wCAAwC;QACxC,MAAM,CAAC,GAAG,IAAA,+BAAe,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,0DAA0D;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,yEAAyE;QACzE,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,EAAE,EAAE,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/lattice/lattice.test.d.ts

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

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

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