@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/tests/sequent-lk/prover.test.js

@@ -0,0 +1,317 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const sequent_lk_1 = require("../../profiles/sequent-lk");
+// --- Helpers ---
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', arg: a });
+const and = (a, b) => ({ kind: 'and', left: a, right: b });
+const or = (a, b) => ({ kind: 'or', left: a, right: b });
+const imp = (a, b) => ({ kind: 'implies', left: a, right: b });
+const P = atom('P');
+const Q = atom('Q');
+const R = atom('R');
+function rulesOf(p) {
+    if (!p)
+        return [];
+    const out = [p.rule];
+    for (const sub of p.premises)
+        out.push(...rulesOf(sub));
+    return out;
+}
+(0, vitest_1.describe)('LK — proveLK sobre tautologias clasicas', () => {
+    (0, vitest_1.it)('demuestra el axioma P ⊢ P', () => {
+        const proof = (0, sequent_lk_1.proveLK)({ left: [P], right: [P] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(proof.rule).toBe('axiom');
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ⊢ P ∨ ¬P (tercio excluido)', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(or(P, not(P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+        const set = new Set(rulesOf(proof));
+        (0, vitest_1.expect)(set.has('orR')).toBe(true);
+        (0, vitest_1.expect)(set.has('notR')).toBe(true);
+        (0, vitest_1.expect)(set.has('axiom')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ⊢ ¬¬P → P (doble negacion clasica)', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(not(P)), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ley de Peirce: ((P → Q) → P) → P', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(imp(imp(P, Q), P), P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ⊢ ¬¬¬P → ¬P', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(not(not(P))), not(P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P → Q) → (¬Q → ¬P) — contraposicion', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(imp(P, Q), imp(not(Q), not(P))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra De Morgan: ¬(P ∧ Q) → (¬P ∨ ¬Q)', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(and(P, Q)), or(not(P), not(Q))));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza ⊢ P (no es tautologia)', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(P);
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('rechaza P ⊢ Q (no es derivable)', () => {
+        const proof = (0, sequent_lk_1.proveLK)({ left: [P], right: [Q] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+});
+(0, vitest_1.describe)('LK — multisuccedente', () => {
+    (0, vitest_1.it)('demuestra Γ ⊢ P, ¬P en una sola rama via axiom', () => {
+        const proof = (0, sequent_lk_1.proveLK)({ left: [], right: [P, not(P)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra P, Q ⊢ P ∧ Q', () => {
+        const proof = (0, sequent_lk_1.proveLK)({ left: [P, Q], right: [and(P, Q)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+        (0, vitest_1.expect)(rulesOf(proof)).toContain('andR');
+    });
+    (0, vitest_1.it)('demuestra P ∨ Q ⊢ Q ∨ P (conmutatividad)', () => {
+        const proof = (0, sequent_lk_1.proveLK)({ left: [or(P, Q)], right: [or(Q, P)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('LK — Hauptsatz / cut elimination', () => {
+    (0, vitest_1.it)('hasCut es false en una prueba cut-free producida por proveLK', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(imp(P, P));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(proof)).toBe(false);
+    });
+    (0, vitest_1.it)('detecta hasCut=true en una prueba con cut manual', () => {
+        // Construimos: ⊢ P  via cut sobre P, premisas: ⊢ P, P y P ⊢ (ambas falsas como derivaciones,
+        // pero la estructura sirve para chequear hasCut)
+        const fakeProof = {
+            goal: { left: [], right: [P] },
+            rule: 'cut',
+            cutFormula: P,
+            premises: [
+                { goal: { left: [], right: [P, P] }, rule: 'axiom', premises: [], principalFormula: P },
+                { goal: { left: [P], right: [] }, rule: 'axiom', premises: [], principalFormula: P },
+            ],
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(fakeProof)).toBe(true);
+    });
+    (0, vitest_1.it)('construye prueba con cut y elimina via eliminateCut → hasCut=false', () => {
+        // Objetivo: P → P
+        // Estrategia: armar una derivacion *con* corte que pruebe P → P:
+        //   premisa1: P ⊢ P, P  (via weakR sobre el axiom P ⊢ P) — usamos axiom multisuccedente
+        //   premisa2: P, P ⊢ P  (via weakL sobre el axiom P ⊢ P)
+        //   cut sobre P → P ⊢ P, luego impR → ⊢ P → P
+        //
+        // Por simplicidad, construimos directamente un cut sobre Q en un secuente que tiene
+        // sub-derivaciones canonicas (axiomas).
+        const axQ = {
+            goal: { left: [Q], right: [Q] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: Q,
+        };
+        const axQ2 = {
+            goal: { left: [Q], right: [Q] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: Q,
+        };
+        // cut: Q ⊢ Q   cut_Q   Q ⊢ Q   ⟹  Q ⊢ Q
+        const withCut = {
+            goal: { left: [Q], right: [Q] },
+            rule: 'cut',
+            cutFormula: Q,
+            premises: [axQ, axQ2],
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(withCut)).toBe(true);
+        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
+    });
+    (0, vitest_1.it)('cut sobre conectivo and: eliminacion produce prueba cut-free valida del mismo secuente', () => {
+        // Objetivo: P, Q ⊢ P ∧ Q via cut sobre P∧Q
+        // p1 (concluye P, Q ⊢ P∧Q): andR de P ⊢ P y Q ⊢ Q  → este es el lado derecho del cut
+        // p2 (concluye P∧Q ⊢ P∧Q): axiom
+        // cut: P, Q ⊢ P∧Q   cut_{P∧Q}   P∧Q ⊢ P∧Q  → P, Q ⊢ P∧Q
+        // andR para P, Q ⊢ P∧Q: premisas P, Q ⊢ P  y  P, Q ⊢ Q
+        // Usamos derivaciones donde la formula extra viene como axiom multisuccedente, lo cual exige
+        // pasar por axiomas con weakening. Para mantener la prueba estructuralmente valida construimos
+        // p1 a partir de un cut trivial cuya eliminacion seria correcta — pero como aqui solo testeamos
+        // hasCut/eliminateCut, sirve igual: la entrada tiene cuts, la salida no.
+        const subAndL = {
+            goal: { left: [P, Q], right: [P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        const subAndR = {
+            goal: { left: [P, Q], right: [Q] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: Q,
+        };
+        const p1 = {
+            goal: { left: [P, Q], right: [and(P, Q)] },
+            rule: 'andR',
+            premises: [subAndL, subAndR],
+            principalFormula: and(P, Q),
+        };
+        const p2 = {
+            goal: { left: [and(P, Q)], right: [and(P, Q)] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: and(P, Q),
+        };
+        const withCut = {
+            goal: { left: [P, Q], right: [and(P, Q)] },
+            rule: 'cut',
+            cutFormula: and(P, Q),
+            premises: [p1, p2],
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(withCut)).toBe(true);
+        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
+        // El secuente terminal debe coincidir
+        (0, vitest_1.expect)(elim.goal.left.map((f) => (f.kind === 'atom' ? f.name : '')).sort()).toEqual(['P', 'Q']);
+    });
+    (0, vitest_1.it)('cut con axioma como una de las premisas se reduce a la otra premisa', () => {
+        // Axiom A ⊢ A   cut_A   A ⊢ A   ⟹   A ⊢ A
+        const axL = {
+            goal: { left: [P], right: [P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        const axR = {
+            goal: { left: [P], right: [P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        const withCut = {
+            goal: { left: [P], right: [P] },
+            rule: 'cut',
+            cutFormula: P,
+            premises: [axL, axR],
+        };
+        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
+        (0, vitest_1.expect)(elim.rule).toBe('axiom');
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('LK — isValid sobre estructuras', () => {
+    (0, vitest_1.it)('isValid acepta axiom genuino', () => {
+        const ax = {
+            goal: { left: [P, Q], right: [P, R] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(ax)).toBe(true);
+    });
+    (0, vitest_1.it)('isValid rechaza axiom sin formula compartida', () => {
+        const bad = {
+            goal: { left: [P], right: [Q] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(bad)).toBe(false);
+    });
+    (0, vitest_1.it)('isValid acepta impR construido a mano: ⊢ P → P', () => {
+        const ax = {
+            goal: { left: [P], right: [P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        const impR = {
+            goal: { left: [], right: [imp(P, P)] },
+            rule: 'impR',
+            premises: [ax],
+            principalFormula: imp(P, P),
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(impR)).toBe(true);
+    });
+    (0, vitest_1.it)('isValid acepta weakL', () => {
+        const ax = {
+            goal: { left: [P], right: [P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        const w = {
+            goal: { left: [Q, P], right: [P] },
+            rule: 'weakL',
+            premises: [ax],
+            principalFormula: Q,
+        };
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(w)).toBe(true);
+    });
+    (0, vitest_1.it)('isValid acepta contrR', () => {
+        // p: ⊢ P, P  ;  conclusion: ⊢ P
+        // Necesitamos una p valida que tenga ⊢ P, P. Una axiom (P ⊢ P) no sirve; usamos
+        // un weakR sobre axiom para construir ⊢ P, P es delicado — en cambio testeamos
+        // contrR sobre un ejemplo trivial: dados p con goal ⊢ P, P (que aceptamos como
+        // un nodo fake con rule weakR), validamos que contrR encaje estructuralmente.
+        const fakeP = {
+            goal: { left: [], right: [P, P] },
+            rule: 'axiom',
+            premises: [],
+            principalFormula: P,
+        };
+        // isValid sobre fakeP es false (axiom necesita L y R compartir). Probamos isValid
+        // del contrR ignorando la rama de fakeP:
+        const contr = {
+            goal: { left: [], right: [P] },
+            rule: 'contrR',
+            premises: [fakeP],
+            principalFormula: P,
+        };
+        // isValid recursivo encontrara que fakeP no es valido → expect false.
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(contr)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('LK — propiedad: cut-elimination preserva derivabilidad', () => {
+    (0, vitest_1.it)('para una tautologia, eliminateCut produce prueba cut-free isValid', () => {
+        // Tomamos una prueba cut-free directa y le inyectamos un cut trivial
+        // que tras eliminacion debe colapsar al original (o equivalente).
+        const original = (0, sequent_lk_1.proveLKFormula)(imp(P, imp(Q, P)));
+        (0, vitest_1.expect)(original).not.toBeNull();
+        const withCut = {
+            goal: { left: [P], right: [P] },
+            rule: 'cut',
+            cutFormula: P,
+            premises: [
+                { goal: { left: [P], right: [P] }, rule: 'axiom', premises: [], principalFormula: P },
+                { goal: { left: [P], right: [P] }, rule: 'axiom', premises: [], principalFormula: P },
+            ],
+        };
+        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
+    });
+    (0, vitest_1.it)('eliminateCut sobre prueba ya cut-free es estable (hasCut sigue siendo false)', () => {
+        const proof = (0, sequent_lk_1.proveLKFormula)(or(P, not(P)));
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(proof)).toBe(false);
+        const elim = (0, sequent_lk_1.eliminateCut)(proof);
+        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
+        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
+    });
+});
+//# sourceMappingURL=prover.test.js.map

package/dist/tests/sequent-lk/prover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/sequent-lk/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DAQmC;AAEnC,kBAAkB;AAClB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACnE,MAAM,GAAG,GAAG,CAAC,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACnE,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5F,MAAM,EAAE,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC1F,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAEhG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,OAAO,CAAC,CAA6B;IAC5C,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,MAAM,GAAG,GAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,6FAA6F;QAC7F,iDAAiD;QACjD,MAAM,SAAS,GAAY;YACzB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC9B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;gBACvF,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACrF;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,kBAAkB;QAClB,iEAAiE;QACjE,wFAAwF;QACxF,yDAAyD;QACzD,8CAA8C;QAC9C,EAAE;QACF,oFAAoF;QACpF,wCAAwC;QACxC,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,IAAI,GAAY;YACpB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,wCAAwC;QACxC,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;SACtB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,2CAA2C;QAC3C,qFAAqF;QACrF,iCAAiC;QACjC,wDAAwD;QACxD,uDAAuD;QACvD,6FAA6F;QAC7F,+FAA+F;QAC/F,gGAAgG;QAChG,yEAAyE;QACzE,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC1C,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;YAC5B,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/C,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC1C,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACrB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;SACnB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,sCAAsC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,0CAA0C;QAC1C,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,IAAI,GAAY;YACpB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACtC,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,CAAC,EAAE,CAAC;YACd,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,EAAE,CAAC;YACd,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,gCAAgC;QAChC,gFAAgF;QAChF,+EAA+E;QAC/E,+EAA+E;QAC/E,8EAA8E;QAC9E,MAAM,KAAK,GAAY;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACjC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,kFAAkF;QAClF,yCAAyC;QACzC,MAAM,KAAK,GAAY;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC9B,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,CAAC,KAAK,CAAC;YACjB,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,sEAAsE;QACtE,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,QAAQ,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;gBACrF,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACtF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,KAAM,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/substructural/prover.test.d.ts

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

package/dist/tests/substructural/prover.test.d.ts.map

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

package/dist/tests/substructural/prover.test.js

@@ -0,0 +1,271 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const substructural_1 = require("../../profiles/substructural");
+// --- Helpers de construccion ---
+const atom = (name) => ({ kind: 'atom', name });
+const tensor = (a, b) => ({
+    kind: 'tensor',
+    left: a,
+    right: b,
+});
+const lolli = (a, b) => ({
+    kind: 'lollipop',
+    left: a,
+    right: b,
+});
+const wWith = (a, b) => ({
+    kind: 'with',
+    left: a,
+    right: b,
+});
+const plus = (a, b) => ({
+    kind: 'plus',
+    left: a,
+    right: b,
+});
+const bang = (a) => ({ kind: 'bang', arg: a });
+const ONE = { kind: 'one' };
+const A = atom('A');
+const B = atom('B');
+const C = atom('C');
+function rules(tree) {
+    if (!tree)
+        return [];
+    const out = [tree.rule];
+    for (const p of tree.premises)
+        out.push(...rules(p));
+    return out;
+}
+// ============================================================
+// LINEAR LOGIC
+// ============================================================
+(0, vitest_1.describe)('Linear logic — fragmento basico', () => {
+    (0, vitest_1.it)('demuestra A ⊸ A (identidad)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('lollipopR');
+        (0, vitest_1.expect)(rules(proof)).toContain('axiom');
+    });
+    (0, vitest_1.it)('demuestra ⊢ 1 (unit)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [ONE] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(proof?.rule).toBe('oneR');
+    });
+    (0, vitest_1.it)('demuestra A ⊸ (1 ⊸ A) (curry trivial con 1)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, lolli(ONE, A))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+});
+(0, vitest_1.describe)('Linear logic — multiplicativos (⊗, ⊸)', () => {
+    (0, vitest_1.it)('demuestra conmutatividad: A ⊗ B ⊸ B ⊗ A', () => {
+        const proof = (0, substructural_1.proveLinear)({
+            left: [],
+            right: [lolli(tensor(A, B), tensor(B, A))],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        const r = rules(proof);
+        (0, vitest_1.expect)(r).toContain('lollipopR');
+        (0, vitest_1.expect)(r).toContain('tensorL');
+        (0, vitest_1.expect)(r).toContain('tensorR');
+    });
+    (0, vitest_1.it)('demuestra asociatividad: A ⊗ (B ⊗ C) ⊸ (A ⊗ B) ⊗ C', () => {
+        const proof = (0, substructural_1.proveLinear)({
+            left: [],
+            right: [lolli(tensor(A, tensor(B, C)), tensor(tensor(A, B), C))],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra A ⊸ A ⊗ A (no contraction)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, tensor(A, A))] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra A ⊗ B ⊸ A (no weakening en linear)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(tensor(A, B), A)] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('demuestra modus ponens lineal: A ⊗ (A ⊸ B) ⊸ B', () => {
+        const proof = (0, substructural_1.proveLinear)({
+            left: [],
+            right: [lolli(tensor(A, lolli(A, B)), B)],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('demuestra composicion: (A ⊸ B) ⊗ (B ⊸ C) ⊸ (A ⊸ C)', () => {
+        const proof = (0, substructural_1.proveLinear)({
+            left: [],
+            right: [lolli(tensor(lolli(A, B), lolli(B, C)), lolli(A, C))],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+});
+(0, vitest_1.describe)('Linear logic — aditivos (&, ⊕)', () => {
+    (0, vitest_1.it)('demuestra A & B ⊸ A (proyeccion 1, with permite descartar uno)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(wWith(A, B), A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('withL1');
+    });
+    (0, vitest_1.it)('demuestra A & B ⊸ B (proyeccion 2)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(wWith(A, B), B)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('withL2');
+    });
+    (0, vitest_1.it)('demuestra A ⊸ A ⊕ B (inyeccion 1)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, plus(A, B))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('plusR1');
+    });
+    (0, vitest_1.it)('demuestra A ⊸ B ⊕ A (inyeccion 2)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, plus(B, A))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('plusR2');
+    });
+    (0, vitest_1.it)('NO demuestra A ⊕ B ⊸ A (sin info de cual lado del plus)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(plus(A, B), A)] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra A ⊸ A & B (B no es derivable de A)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, wWith(A, B))] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+});
+(0, vitest_1.describe)('Linear logic — exponencial bang (!)', () => {
+    (0, vitest_1.it)('demuestra !A ⊸ A (dereliction)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        // El prover usa la zona unrestricted: bangL promueve a Σ, luego
+        // axioma desde Σ. Cualquier ruta correcta cuenta.
+        const r = rules(proof);
+        (0, vitest_1.expect)(r).toContain('bangL');
+        (0, vitest_1.expect)(r).toContain('axiom');
+    });
+    (0, vitest_1.it)('demuestra !A ⊸ A ⊗ A (contraction via bang)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), tensor(A, A))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        // La "contraction" se realiza implicitamente al copiar dos veces
+        // desde la zona unrestricted Σ via derelictionL.
+        const r = rules(proof);
+        (0, vitest_1.expect)(r).toContain('bangL');
+        (0, vitest_1.expect)(r).toContain('tensorR');
+        // Dos copias de A desde Σ:
+        const derelicts = r.filter((x) => x === 'derelictionL').length;
+        const axioms = r.filter((x) => x === 'axiom').length;
+        (0, vitest_1.expect)(derelicts + axioms).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('demuestra !A ⊸ 1 (weakening via bang)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), ONE)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('demuestra !A ⊗ !B ⊸ !B ⊗ !A (conmutatividad sobre !)', () => {
+        const proof = (0, substructural_1.proveLinear)({
+            left: [],
+            right: [lolli(tensor(bang(A), bang(B)), tensor(bang(B), bang(A)))],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra A ⊸ !A (no se puede promover sin contexto bang)', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, bang(A))] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+});
+// ============================================================
+// AFFINE LOGIC
+// ============================================================
+(0, vitest_1.describe)('Affine logic — weakening permitido', () => {
+    (0, vitest_1.it)('demuestra A ⊗ B ⊸ A (weakening descarta B)', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(tensor(A, B), A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(rules(proof)).toContain('weakening');
+    });
+    (0, vitest_1.it)('demuestra A ⊗ B ⊸ B (weakening descarta A)', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(tensor(A, B), B)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('demuestra A ⊸ 1 (todo es descartable en afin)', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, ONE)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('demuestra A ⊗ B ⊗ C ⊸ A (multi-weakening)', () => {
+        const proof = (0, substructural_1.proveAffine)({
+            left: [],
+            right: [lolli(tensor(A, tensor(B, C)), A)],
+        });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('preserva validez lineal: A ⊸ A es valido en afin', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+});
+(0, vitest_1.describe)('Affine logic — contraction sigue prohibida', () => {
+    (0, vitest_1.it)('NO demuestra A ⊸ A ⊗ A (no contraction en afin)', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, tensor(A, A))] });
+        (0, vitest_1.expect)(proof).toBeNull();
+    });
+    (0, vitest_1.it)('NO demuestra A ⊸ A & A si A es atomo (no, with si admite)', () => {
+        // Trampa: A ⊸ A & A SI es valido en afin/linear porque
+        // with usa el MISMO contexto en ambas ramas (no duplica).
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, wWith(A, A))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+    (0, vitest_1.it)('SI demuestra (!A) ⊸ A ⊗ A en afin (bang permite contraction)', () => {
+        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(bang(A), tensor(A, A))] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+    });
+});
+// ============================================================
+// LINEAR vs AFFINE — discriminacion
+// ============================================================
+(0, vitest_1.describe)('Discriminacion entre linear y afin', () => {
+    (0, vitest_1.it)('A ⊗ B ⊸ A: NO en linear, SI en afin', () => {
+        const seq = { left: [], right: [lolli(tensor(A, B), A)] };
+        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).toBeNull();
+        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).not.toBeNull();
+    });
+    (0, vitest_1.it)('A ⊸ A ⊗ A: NO en linear, NO en afin', () => {
+        const seq = { left: [], right: [lolli(A, tensor(A, A))] };
+        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).toBeNull();
+        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).toBeNull();
+    });
+    (0, vitest_1.it)('A ⊸ A: SI en linear, SI en afin', () => {
+        const seq = { left: [], right: [lolli(A, A)] };
+        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).not.toBeNull();
+        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).not.toBeNull();
+    });
+});
+// ============================================================
+// Estructura de la prueba
+// ============================================================
+(0, vitest_1.describe)('Forma de las pruebas', () => {
+    (0, vitest_1.it)('la conclusion de la prueba coincide con el secuente pedido', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        if (!proof)
+            return;
+        (0, vitest_1.expect)(proof.conclusion.left.length).toBe(0);
+        (0, vitest_1.expect)(proof.conclusion.right.length).toBe(1);
+        const first = proof.conclusion.right[0];
+        (0, vitest_1.expect)(first?.kind).toBe('lollipop');
+    });
+    (0, vitest_1.it)('axiom tiene cero premisas', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [A], right: [A] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        (0, vitest_1.expect)(proof?.rule).toBe('axiom');
+        (0, vitest_1.expect)(proof?.premises.length).toBe(0);
+    });
+    (0, vitest_1.it)('lollipopR tiene exactamente una premisa', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
+        const lolliNode = proof?.rule === 'lollipopR' ? proof : null;
+        (0, vitest_1.expect)(lolliNode).not.toBeNull();
+        (0, vitest_1.expect)(lolliNode?.premises.length).toBe(1);
+    });
+    (0, vitest_1.it)('tensorR ramifica en 2 premisas', () => {
+        const proof = (0, substructural_1.proveLinear)({ left: [A, B], right: [tensor(A, B)] });
+        (0, vitest_1.expect)(proof).not.toBeNull();
+        if (!proof)
+            return;
+        (0, vitest_1.expect)(proof.rule).toBe('tensorR');
+        (0, vitest_1.expect)(proof.premises.length).toBe(2);
+    });
+});
+//# sourceMappingURL=prover.test.js.map

package/dist/tests/substructural/prover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/substructural/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gEAAoG;AAEpG,kCAAkC;AAElC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7E,MAAM,GAAG,GAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAE3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAAwB;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,GAAG,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC9D,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,gEAAgE;QAChE,kDAAkD;QAClD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,iEAAiE;QACjE,iDAAiD;QACjD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/B,2BAA2B;QAC3B,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QACrD,IAAA,eAAM,EAAC,SAAS,GAAG,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACnE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,uDAAuD;QACvD,0DAA0D;QAC1D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,oCAAoC;AACpC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,KAAK,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}