@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/tests/modal-frame-axioms/frame-axioms.test.js

@@ -0,0 +1,236 @@
+"use strict";
+// ============================================================
+// Tests del tableau modal con axiomas de frame
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const modal_frame_axioms_1 = require("../../profiles/modal-frame-axioms");
+const p = (0, modal_frame_axioms_1.atom)('p');
+const q = (0, modal_frame_axioms_1.atom)('q');
+// ------------------------------------------------------------
+// Sistemas y composición
+// ------------------------------------------------------------
+(0, vitest_1.describe)('systemAxioms — composición de sistemas estándar', () => {
+    (0, vitest_1.it)('K no tiene axiomas de frame', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('K')).toEqual([]);
+    });
+    (0, vitest_1.it)('T = {T}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('T').sort()).toEqual(['T']);
+    });
+    (0, vitest_1.it)('S4 = {T, 4}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('S4').sort()).toEqual(['4', 'T']);
+    });
+    (0, vitest_1.it)('S5 = {T, 4, 5}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('S5').sort()).toEqual(['4', '5', 'T']);
+    });
+    (0, vitest_1.it)('B = {T, B}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('B').sort()).toEqual(['B', 'T']);
+    });
+    (0, vitest_1.it)('KD45 = {D, 4, 5}', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.systemAxioms)('KD45').sort()).toEqual(['4', '5', 'D']);
+    });
+});
+// ------------------------------------------------------------
+// Cada axioma es válido en su sistema mínimo y refutable en K
+// ------------------------------------------------------------
+(0, vitest_1.describe)('axiomas individuales — válidos en su sistema, no en K', () => {
+    const cases = [
+        { axiom: 'T', system: 'T' },
+        { axiom: '4', system: 'K4' },
+        { axiom: '5', system: 'K5' },
+        { axiom: 'B', system: 'B' },
+        { axiom: 'D', system: 'D' },
+    ];
+    for (const { axiom, system } of cases) {
+        (0, vitest_1.it)(`axioma ${axiom} válido en ${system}`, () => {
+            (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)(axiom, p), system)).toBe(true);
+        });
+        (0, vitest_1.it)(`axioma ${axiom} NO válido en K`, () => {
+            (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)(axiom, p), 'K')).toBe(false);
+        });
+    }
+});
+// ------------------------------------------------------------
+// Axiomas característicos canónicos por sistema
+// ------------------------------------------------------------
+(0, vitest_1.describe)('S4 — reflexivo + transitivo', () => {
+    (0, vitest_1.it)('□p → □□p es válido (axioma 4)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p es válido (axioma T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('◇◇p → ◇p es válido (densidad bajo trans)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.diamond)(p)), (0, modal_frame_axioms_1.diamond)(p)), 'S4')).toBe(true);
+    });
+    (0, vitest_1.it)('◇p → □◇p NO es válido (axioma 5 no se cumple en S4)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S4')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('S5 — equivalencia', () => {
+    (0, vitest_1.it)('◇p → □◇p es válido (axioma 5)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('p → □◇p es válido (axioma B)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('□p ↔ ¬◇¬p, formulado como □p → ¬◇¬p, válido', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.not)(p)))), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → p es válido (resultado clásico S5)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), p), 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → □p es válido en S5 pero no en S4', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), (0, modal_frame_axioms_1.box)(p)), 'S5')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), (0, modal_frame_axioms_1.box)(p)), 'S4')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('T — reflexividad', () => {
+    (0, vitest_1.it)('□p → p es válido en T', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('p → ◇p es válido en T (dual de T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.diamond)(p)), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → ◇p es válido en T (refl ⇒ serial)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'T')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → □□p NO es válido en T (no hay transitividad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'T')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('K — sin axiomas de frame', () => {
+    (0, vitest_1.it)('□p → p NO es válido en K', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'K')).toBe(false);
+    });
+    (0, vitest_1.it)('□p → ◇p NO es válido en K (sin D)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'K')).toBe(false);
+    });
+    (0, vitest_1.it)('axioma K válido: □(p→q) → (□p→□q)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.implies)(p, q)), (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)(q))), 'K')).toBe(true);
+    });
+    (0, vitest_1.it)('necesitación: □(p ∨ ¬p) válido en cualquier sistema normal', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.or)(p, (0, modal_frame_axioms_1.not)(p))), 'K')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('D — serialidad', () => {
+    (0, vitest_1.it)('□p → ◇p es válido en D', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), 'D')).toBe(true);
+    });
+    (0, vitest_1.it)('¬(□p ∧ □¬p) es válido en D (consistencia normativa)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.not)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.not)(p)))), 'D')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p NO es válido en D (D no implica T)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'D')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('B — simetría (KTB)', () => {
+    (0, vitest_1.it)('p → □◇p válido en B (axioma B)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p))), 'B')).toBe(true);
+    });
+    (0, vitest_1.it)('◇□p → p válido en B', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p)), p), 'B')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → □□p NO válido en B (sin transitividad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), 'B')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('KD45 — lógica doxástica estándar', () => {
+    (0, vitest_1.it)('axioma D válido: □p → ◇p', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('D', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma 4 válido: □p → □□p (positive introspection)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('4', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma 5 válido: ◇p → □◇p (negative introspection)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.axiomFormula)('5', p), 'KD45')).toBe(true);
+    });
+    (0, vitest_1.it)('□p → p NO válido en KD45 (creencia ≠ verdad)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), 'KD45')).toBe(false);
+    });
+});
+// ------------------------------------------------------------
+// Tableau directo y modelos
+// ------------------------------------------------------------
+(0, vitest_1.describe)('tableauWithAxioms — devuelve modelo cuando es satisfacible', () => {
+    (0, vitest_1.it)('p satisfacible en K — modelo con w0 forzando p', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)(p, []);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model).toBeDefined();
+        (0, vitest_1.expect)(r.model.valuation.get(r.model.actual)?.has('p')).toBe(true);
+    });
+    (0, vitest_1.it)('□p ∧ ¬p satisfacible en K (irreflexivo) — closed=false', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p)), []);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.closed).toBe(false);
+    });
+    (0, vitest_1.it)('□p ∧ ¬p insatisfacible en T (reflexivo) — closed=true', () => {
+        const r = (0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p)), ['T']);
+        (0, vitest_1.expect)(r.sat).toBe(false);
+        (0, vitest_1.expect)(r.closed).toBe(true);
+        (0, vitest_1.expect)(r.model).toBeUndefined();
+    });
+    (0, vitest_1.it)('contradicción proposicional cierra en cualquier sistema', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), []).closed).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), ['T']).closed).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.tableauWithAxioms)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), ['T', '4', '5']).closed).toBe(true);
+    });
+});
+// ------------------------------------------------------------
+// Composición / monotonía: T-validez ⊆ S4-validez ⊆ S5-validez
+// ------------------------------------------------------------
+(0, vitest_1.describe)('monotonía: añadir axiomas no quita validez', () => {
+    const formulas = [
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p), // T-válido
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.box)(p))), // 4-válido
+        (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.diamond)(p)), // T,D-válido
+    ];
+    for (const phi of formulas) {
+        (0, vitest_1.it)(`si φ válida en T también lo es en S4 y S5`, () => {
+            if ((0, modal_frame_axioms_1.isValid)(phi, 'T')) {
+                (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'S4')).toBe(true);
+                (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'S5')).toBe(true);
+            }
+        });
+    }
+});
+// ------------------------------------------------------------
+// Casos negativos: claras refutaciones
+// ------------------------------------------------------------
+(0, vitest_1.describe)('refutaciones explícitas', () => {
+    (0, vitest_1.it)('p → □p NO válido en S5 (sólo si universal)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)(p, (0, modal_frame_axioms_1.box)(p)), 'S5')).toBe(false);
+    });
+    (0, vitest_1.it)('◇p → p NO válido en T (T no da simetría)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.diamond)(p), p), 'T')).toBe(false);
+    });
+    (0, vitest_1.it)('□◇p → ◇□p NO válido en S4 (McKinsey no es teorema)', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)((0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)((0, modal_frame_axioms_1.diamond)(p)), (0, modal_frame_axioms_1.diamond)((0, modal_frame_axioms_1.box)(p))), 'S4')).toBe(false);
+    });
+});
+// ------------------------------------------------------------
+// isSatisfiable directo
+// ------------------------------------------------------------
+(0, vitest_1.describe)('isSatisfiable — consistencia con isValid', () => {
+    (0, vitest_1.it)('p satisfacible en todos los sistemas', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'K')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'T')).toBe(true);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(p, 'S5')).toBe(true);
+    });
+    (0, vitest_1.it)('p ∧ ¬p insatisfacible en todos los sistemas', () => {
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), 'K')).toBe(false);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.and)(p, (0, modal_frame_axioms_1.not)(p)), 'KD45')).toBe(false);
+    });
+    (0, vitest_1.it)('isValid(φ) ⇔ ¬isSatisfiable(¬φ)', () => {
+        const phi = (0, modal_frame_axioms_1.implies)((0, modal_frame_axioms_1.box)(p), p);
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'T')).toBe(!(0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.not)(phi), 'T'));
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isValid)(phi, 'K')).toBe(!(0, modal_frame_axioms_1.isSatisfiable)((0, modal_frame_axioms_1.not)(phi), 'K'));
+    });
+    (0, vitest_1.it)('□p ∧ ¬p satisfacible en K (mundo aislado), insatisfacible en T', () => {
+        const phi = (0, modal_frame_axioms_1.and)((0, modal_frame_axioms_1.box)(p), (0, modal_frame_axioms_1.not)(p));
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(phi, 'K')).toBe(true);
+        // En T (reflexividad) w0 R w0, entonces □p fuerza p(w0), contradicción.
+        (0, vitest_1.expect)((0, modal_frame_axioms_1.isSatisfiable)(phi, 'T')).toBe(false);
+    });
+});
+//# sourceMappingURL=frame-axioms.test.js.map

package/dist/tests/modal-frame-axioms/frame-axioms.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frame-axioms.test.js","sourceRoot":"","sources":["../../../src/tests/modal-frame-axioms/frame-axioms.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,0EAe2C;AAE3C,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,MAAM,KAAK,GAAsD;QAC/D,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC5B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;QAC5B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;KAC5B,CAAC;IAEF,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACtC,IAAA,WAAE,EAAC,UAAU,KAAK,cAAc,MAAM,EAAE,EAAE,GAAG,EAAE;YAC7C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,UAAU,KAAK,iBAAiB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gDAAgD;AAChD,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,uBAAE,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,QAAQ,GAAG;QACf,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW;QAC/B,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW;QACzC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa;KAC3C,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,IAAI,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,4BAAO,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAA,kCAAa,EAAC,IAAA,wBAAG,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,wEAAwE;QACxE,IAAA,eAAM,EAAC,IAAA,kCAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/mu-calculus/check.test.d.ts

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

package/dist/tests/mu-calculus/check.test.d.ts.map

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

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

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

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

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

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

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

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

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