@stevenvo780/st-lang 4.1.0 → 4.2.0

package/dist/tests/mus/extract.test.js

@@ -0,0 +1,352 @@
+"use strict";
+// ============================================================
+// ST MUS — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const mus_1 = require("../../runtime/mus");
+// ── Oráculo SAT brute-force (suficiente para los tests) ───────
+//
+// Cláusulas: array de literales enteros, positivo = literal positivo,
+// negativo = negado. Una cláusula es disyunción, el conjunto entero
+// es conjunción.
+function collectVars(clauses) {
+    const set = new Set();
+    for (const c of clauses)
+        for (const lit of c)
+            set.add(Math.abs(lit));
+    return Array.from(set).sort((a, b) => a - b);
+}
+function evalClauses(clauses, asg) {
+    for (const c of clauses) {
+        let satisfied = false;
+        for (const lit of c) {
+            const v = Math.abs(lit);
+            const val = asg.get(v);
+            if (val === undefined)
+                continue;
+            if ((lit > 0 && val) || (lit < 0 && !val)) {
+                satisfied = true;
+                break;
+            }
+        }
+        if (!satisfied)
+            return false;
+    }
+    return true;
+}
+/**
+ * SAT oracle por enumeración exhaustiva de 2^|vars| asignaciones.
+ * Solo válido para |vars| ≤ ~20. Suficiente para los tests.
+ */
+const satOracle = (clauses) => {
+    if (clauses.length === 0)
+        return true;
+    const vars = collectVars(clauses);
+    if (vars.length === 0) {
+        // Solo hay cláusulas vacías → falso.
+        return clauses.every((c) => c.length > 0);
+    }
+    if (vars.length > 22) {
+        throw new Error(`satOracle: demasiadas variables (${vars.length}) para brute force`);
+    }
+    const total = 1 << vars.length;
+    for (let mask = 0; mask < total; mask++) {
+        const asg = new Map();
+        for (let i = 0; i < vars.length; i++) {
+            asg.set(vars[i], ((mask >> i) & 1) === 1);
+        }
+        if (evalClauses(clauses, asg))
+            return true;
+    }
+    return false;
+};
+const ALGORITHMS = ['deletion', 'insertion', 'qx'];
+// ── Test 1: 3 cláusulas, 1 redundante → MUS de tamaño 2 ──────
+(0, vitest_1.describe)('extractMUS — 3 cláusulas, 1 redundante', () => {
+    // P, ¬P, Q
+    // {P, ¬P} ya es unsat. Q es redundante.
+    const clauses = [
+        [1], // P
+        [-1], // ¬P
+        [2], // Q (irrelevante para la inconsistencia)
+    ];
+    vitest_1.it.each(ALGORITHMS)('MUS = {P, ¬P} con %s', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus).toEqual([0, 1]);
+        (0, vitest_1.expect)(res.satCalls).toBeGreaterThan(0);
+    });
+});
+// ── Test 2: 5 cláusulas con MUS de tamaño 3 ──────────────────
+(0, vitest_1.describe)('extractMUS — 5 cláusulas, MUS tamaño 3', () => {
+    // Cláusulas:
+    //   c0: P
+    //   c1: ¬P ∨ Q
+    //   c2: ¬Q
+    //   c3: R          (irrelevante)
+    //   c4: S ∨ ¬R     (irrelevante)
+    // {c0, c1, c2} es unsat:
+    //   c0 ⇒ P=T, c1 ⇒ Q=T (modus ponens), c2 ⇒ Q=F  contradicción.
+    const clauses = [
+        [1], // P
+        [-1, 2], // ¬P ∨ Q
+        [-2], // ¬Q
+        [3], // R
+        [4, -3], // S ∨ ¬R
+    ];
+    vitest_1.it.each(ALGORITHMS)('MUS tamaño 3 con %s', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus).toEqual([0, 1, 2]);
+        // Verificación: removiendo cualquier elemento del MUS, queda sat.
+        for (const idx of res.mus) {
+            const subset = res.mus.filter((x) => x !== idx).map((i) => clauses[i]);
+            (0, vitest_1.expect)(satOracle(subset)).toBe(true);
+        }
+    });
+});
+// ── Test 3: deletion vs insertion vs qx — mismo tamaño ───────
+(0, vitest_1.describe)('extractMUS — algoritmos coinciden en tamaño', () => {
+    const clauses = [
+        [1, 2], // P ∨ Q
+        [-1], // ¬P
+        [-2], // ¬Q
+        [3], // R (irrelevante)
+        [-3, 4], // ¬R ∨ S (irrelevante para unsat)
+    ];
+    (0, vitest_1.it)('los tres algoritmos hallan MUS del mismo tamaño', () => {
+        const a = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm: 'deletion' });
+        const b = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm: 'insertion' });
+        const c = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm: 'qx' });
+        (0, vitest_1.expect)(a.mus.length).toBe(b.mus.length);
+        (0, vitest_1.expect)(b.mus.length).toBe(c.mus.length);
+        // En este caso solo hay un MUS posible: {0,1,2}.
+        (0, vitest_1.expect)(a.mus).toEqual([0, 1, 2]);
+        (0, vitest_1.expect)(b.mus).toEqual([0, 1, 2]);
+        (0, vitest_1.expect)(c.mus).toEqual([0, 1, 2]);
+    });
+});
+// ── Test 4: minimalidad — quitar cualquiera vuelve sat ───────
+(0, vitest_1.describe)('extractMUS — propiedad de minimalidad', () => {
+    const clauses = [
+        [1], // P
+        [-1, 2], // ¬P ∨ Q
+        [-2, 3], // ¬Q ∨ R
+        [-3], // ¬R
+        [4], // S (irrelevante)
+    ];
+    // MUS: {0,1,2,3} (cadena modus ponens P → Q → R, contra ¬R).
+    vitest_1.it.each(ALGORITHMS)('subset MUS quitando un elemento es sat (%s)', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        // El conjunto MUS encontrado debe ser unsat.
+        const musClauses = res.mus.map((i) => clauses[i]);
+        (0, vitest_1.expect)(satOracle(musClauses)).toBe(false);
+        // Removiendo cualquier elemento, debe ser sat.
+        for (const idx of res.mus) {
+            const subset = res.mus.filter((x) => x !== idx).map((i) => clauses[i]);
+            (0, vitest_1.expect)(satOracle(subset)).toBe(true);
+        }
+    });
+});
+// ── Test 5: múltiples MUS posibles — cada algoritmo halla uno ─
+(0, vitest_1.describe)('extractMUS — múltiples MUS posibles', () => {
+    // Construimos un conjunto con DOS MUS distintos disjuntos:
+    // MUS1: {c0, c1} = {P, ¬P}
+    // MUS2: {c2, c3} = {Q, ¬Q}
+    // Más una cláusula irrelevante.
+    const clauses = [
+        [1], // P
+        [-1], // ¬P
+        [2], // Q
+        [-2], // ¬Q
+        [3], // R (irrelevante)
+    ];
+    vitest_1.it.each(ALGORITHMS)('halla algún MUS válido con %s', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        // El MUS debe ser unsat.
+        const musClauses = res.mus.map((i) => clauses[i]);
+        (0, vitest_1.expect)(satOracle(musClauses)).toBe(false);
+        // Y minimal: quitar uno lo vuelve sat.
+        for (const idx of res.mus) {
+            const subset = res.mus.filter((x) => x !== idx).map((i) => clauses[i]);
+            (0, vitest_1.expect)(satOracle(subset)).toBe(true);
+        }
+        // Debería ser uno de los dos MUS.
+        const isMUS1 = res.mus.length === 2 && res.mus.includes(0) && res.mus.includes(1);
+        const isMUS2 = res.mus.length === 2 && res.mus.includes(2) && res.mus.includes(3);
+        (0, vitest_1.expect)(isMUS1 || isMUS2).toBe(true);
+    });
+});
+// ── Test 6: 10 cláusulas con 2 MUS distintos ─────────────────
+(0, vitest_1.describe)('extractMUS — 10 cláusulas, 2 MUS distintos', () => {
+    // Mezcla más grande: las cláusulas 0–2 forman un MUS de 3
+    // (cadena MP); las 3–4 forman un MUS de 2 (par directo); resto
+    // irrelevante.
+    const clauses = [
+        [1], // P
+        [-1, 2], // ¬P ∨ Q
+        [-2], // ¬Q
+        [3], // R
+        [-3], // ¬R
+        [4], // S (irrelevante)
+        [-4, 5], // ¬S ∨ T (irrelevante)
+        [6], // U
+        [-6, 7], // ¬U ∨ V
+        [-7, 8], // ¬V ∨ W
+    ];
+    vitest_1.it.each(ALGORITHMS)('halla un MUS válido (%s)', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus.length).toBeGreaterThanOrEqual(2);
+        // Unsat.
+        const musClauses = res.mus.map((i) => clauses[i]);
+        (0, vitest_1.expect)(satOracle(musClauses)).toBe(false);
+        // Minimal.
+        for (const idx of res.mus) {
+            const subset = res.mus.filter((x) => x !== idx).map((i) => clauses[i]);
+            (0, vitest_1.expect)(satOracle(subset)).toBe(true);
+        }
+    });
+});
+// ── Test 7: input sat → MUS vacío ────────────────────────────
+(0, vitest_1.describe)('extractMUS — input satisfacible', () => {
+    const clauses = [[1], [2], [-3, 1]];
+    vitest_1.it.each(ALGORITHMS)('devuelve MUS vacío (%s)', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus).toEqual([]);
+    });
+});
+// ── Test 8: solo dos cláusulas contradictorias ───────────────
+(0, vitest_1.describe)('extractMUS — input mínimo {P, ¬P}', () => {
+    const clauses = [[1], [-1]];
+    vitest_1.it.each(ALGORITHMS)('MUS = ambas (%s)', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus.sort()).toEqual([0, 1]);
+    });
+});
+// ── Test 9: determinismo (mismo input ⇒ mismo MUS) ───────────
+(0, vitest_1.describe)('extractMUS — determinismo', () => {
+    const clauses = [[1], [-1, 2], [-2, 3], [-3], [4], [-4, 5]];
+    vitest_1.it.each(ALGORITHMS)('dos corridas idénticas (%s)', (algorithm) => {
+        const r1 = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        const r2 = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(r1.mus).toEqual(r2.mus);
+    });
+});
+// ── Test 10: métricas (satCalls > 0, iterations coherente) ───
+(0, vitest_1.describe)('extractMUS — métricas', () => {
+    const clauses = [[1], [-1, 2], [-2], [3]];
+    vitest_1.it.each(ALGORITHMS)('reporta satCalls > 0 y mus ⊆ allIds (%s)', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.satCalls).toBeGreaterThan(0);
+        for (const idx of res.mus) {
+            (0, vitest_1.expect)(idx).toBeGreaterThanOrEqual(0);
+            (0, vitest_1.expect)(idx).toBeLessThan(clauses.length);
+        }
+    });
+});
+// ── Test 11: maxIterations acota el trabajo ──────────────────
+(0, vitest_1.describe)('extractMUS — maxIterations', () => {
+    // Construye un problema más grande para que tope antes.
+    const clauses = [
+        [1], // P
+        [-1, 2], // ¬P ∨ Q
+        [-2, 3], // ¬Q ∨ R
+        [-3, 4], // ¬R ∨ S
+        [-4, 5], // ¬S ∨ T
+        [-5], // ¬T (cierra la cadena → unsat)
+        [6], // U (irrelevante)
+        [-6, 7], // ¬U ∨ V
+        [-7, 8], // ¬V ∨ W
+    ];
+    (0, vitest_1.it)('respeta cap de iteraciones sin crashear', () => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, {
+            algorithm: 'deletion',
+            maxIterations: 3,
+        });
+        // satCalls puede pasar ligeramente del cap por el pre-check inicial,
+        // pero no debería estallar.
+        (0, vitest_1.expect)(res.satCalls).toBeLessThanOrEqual(10);
+    });
+});
+// ── Test 12: extractMUSWithSelectors básico ──────────────────
+(0, vitest_1.describe)('extractMUSWithSelectors', () => {
+    // Modelamos {P, ¬P, Q} con selectors. El solver de prueba simula
+    // un SAT incremental: una assumption activa la cláusula
+    // correspondiente; el problema es unsat sii las cláusulas activadas
+    // (sin negar selector) tienen el subconjunto unsat dentro.
+    const clauses = [
+        [1], // P
+        [-1], // ¬P
+        [2], // Q (irrelevante)
+    ];
+    // Selector literals (cualquier id positivo, deben ser únicos):
+    const selectors = [100, 101, 102];
+    const solver = {
+        solveWithAssumptions(assumptions) {
+            // activamos solo las cláusulas cuyos selectors estén en assumptions.
+            const active = [];
+            const activeSelectors = [];
+            for (let i = 0; i < selectors.length; i++) {
+                if (assumptions.includes(selectors[i])) {
+                    active.push(clauses[i]);
+                    activeSelectors.push(selectors[i]);
+                }
+            }
+            const sat = satOracle(active);
+            if (sat)
+                return { sat: true };
+            // failedAssumptions: devolvemos TODAS las activas como un
+            // superset (el solver real podría dar un núcleo más chico).
+            return { sat: false, failedAssumptions: activeSelectors };
+        },
+    };
+    (0, vitest_1.it)('extrae MUS = {0,1} usando assumptions', () => {
+        const res = (0, mus_1.extractMUSWithSelectors)(clauses, selectors, solver);
+        (0, vitest_1.expect)(res.mus.sort()).toEqual([0, 1]);
+        (0, vitest_1.expect)(res.satCalls).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('input sat → MUS vacío', () => {
+        const satClauses = [[1], [2], [-3, 1]];
+        const satSelectors = [200, 201, 202];
+        const res = (0, mus_1.extractMUSWithSelectors)(satClauses, satSelectors, solver);
+        // El solver de arriba revisará con satOracle: este nuevo conjunto
+        // es sat, así que el MUS debe ser vacío. Pero ojo: el solver está
+        // hardcodeado a `clauses`/`selectors`, así que reescribimos uno
+        // específico para este caso.
+        const localSolver = {
+            solveWithAssumptions(assumptions) {
+                const active = [];
+                for (let i = 0; i < satSelectors.length; i++) {
+                    if (assumptions.includes(satSelectors[i]))
+                        active.push(satClauses[i]);
+                }
+                const sat = satOracle(active);
+                if (sat)
+                    return { sat: true };
+                return { sat: false, failedAssumptions: assumptions.slice() };
+            },
+        };
+        const res2 = (0, mus_1.extractMUSWithSelectors)(satClauses, satSelectors, localSolver);
+        (0, vitest_1.expect)(res2.mus).toEqual([]);
+        // El primer `res` se queda como ejemplo de uso; suprimimos su check
+        // (depende del solver inicial que apunta a `clauses`).
+        (0, vitest_1.expect)(res.iterations).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('mismatched lengths → throw', () => {
+        (0, vitest_1.expect)(() => (0, mus_1.extractMUSWithSelectors)([[1], [-1]], [100], solver)).toThrow();
+    });
+});
+// ── Test 13: 4 cláusulas con MUS no contiguo ─────────────────
+(0, vitest_1.describe)('extractMUS — MUS no contiguo', () => {
+    // c0 irrelevante, c1+c3 forman MUS de 2, c2 irrelevante.
+    const clauses = [
+        [5], // V (irrelevante)
+        [1], // P
+        [6, -5], // W ∨ ¬V (irrelevante)
+        [-1], // ¬P
+    ];
+    vitest_1.it.each(ALGORITHMS)('MUS = {1, 3} con %s', (algorithm) => {
+        const res = (0, mus_1.extractMUS)(clauses, satOracle, { algorithm });
+        (0, vitest_1.expect)(res.mus).toEqual([1, 3]);
+    });
+});
+//# sourceMappingURL=extract.test.js.map

package/dist/tests/mus/extract.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.test.js","sourceRoot":"","sources":["../../../src/tests/mus/extract.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iBAAiB;AACjB,+DAA+D;;AAE/D,mCAA8C;AAC9C,2CAM2B;AAE3B,iEAAiE;AACjE,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,iBAAiB;AAEjB,SAAS,WAAW,CAAC,OAAmB;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,KAAK,MAAM,GAAG,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,OAAmB,EAAE,GAAyB;IACjE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1C,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,SAAS,GAAc,CAAC,OAAO,EAAE,EAAE;IACvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,qCAAqC;QACrC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,CAAC,MAAM,oBAAoB,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC;IAC/B,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,UAAU,GAAmB,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;AAEnE,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,WAAW;IACX,wCAAwC;IACxC,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,yCAAyC;KAC/C,CAAC;IAEF,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,sBAAsB,EAAE,CAAC,SAAS,EAAE,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,aAAa;IACb,UAAU;IACV,eAAe;IACf,WAAW;IACX,iCAAiC;IACjC,iCAAiC;IACjC,yBAAyB;IACzB,gEAAgE;IAChE,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS;KACnB,CAAC;IAEF,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,qBAAqB,EAAE,CAAC,SAAS,EAAE,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,kEAAkE;QAClE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ;QAChB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,kBAAkB;QACvB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,kCAAkC;KAC5C,CAAC;IAEF,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,iDAAiD;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,kBAAkB;KACxB,CAAC;IACF,6DAA6D;IAE7D,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,6CAA6C,EAAE,CAAC,SAAS,EAAE,EAAE;QAC/E,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,6CAA6C;QAC7C,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,+CAA+C;QAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,2DAA2D;IAC3D,2BAA2B;IAC3B,2BAA2B;IAC3B,gCAAgC;IAChC,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,kBAAkB;KACxB,CAAC;IAEF,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,+BAA+B,EAAE,CAAC,SAAS,EAAE,EAAE;QACjE,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,yBAAyB;QACzB,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,uCAAuC;QACvC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QACD,kCAAkC;QAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,MAAM,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,0DAA0D;IAC1D,+DAA+D;IAC/D,eAAe;IACf,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,kBAAkB;QACvB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,uBAAuB;QAChC,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;KACnB,CAAC;IAEF,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,0BAA0B,EAAE,CAAC,SAAS,EAAE,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,SAAS;QACT,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,WAAW;QACX,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpC,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,yBAAyB,EAAE,CAAC,SAAS,EAAE,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,kBAAkB,EAAE,CAAC,SAAS,EAAE,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE5D,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,6BAA6B,EAAE,CAAC,SAAS,EAAE,EAAE;QAC/D,MAAM,EAAE,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1C,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,0CAA0C,EAAE,CAAC,SAAS,EAAE,EAAE;QAC5E,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,wDAAwD;IACxD,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,CAAC,EAAE,gCAAgC;QACtC,CAAC,CAAC,CAAC,EAAE,kBAAkB;QACvB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;QAClB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS;KACnB,CAAC;IAEF,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE;YACzC,SAAS,EAAE,UAAU;YACrB,aAAa,EAAE,CAAC;SACjB,CAAC,CAAC;QACH,qEAAqE;QACrE,4BAA4B;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,iEAAiE;IACjE,wDAAwD;IACxD,oEAAoE;IACpE,2DAA2D;IAE3D,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;QACX,CAAC,CAAC,CAAC,EAAE,kBAAkB;KACxB,CAAC;IAEF,+DAA+D;IAC/D,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAElC,MAAM,MAAM,GAAqB;QAC/B,oBAAoB,CAAC,WAAqB;YACxC,qEAAqE;YACrE,MAAM,MAAM,GAAe,EAAE,CAAC;YAC9B,MAAM,eAAe,GAAa,EAAE,CAAC;YACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxB,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,GAAG;gBAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAC9B,0DAA0D;YAC1D,4DAA4D;YAC5D,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC;QAC5D,CAAC;KACF,CAAC;IAEF,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,IAAA,6BAAuB,EAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,6BAAuB,EAAC,UAAU,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QACtE,kEAAkE;QAClE,kEAAkE;QAClE,gEAAgE;QAChE,6BAA6B;QAC7B,MAAM,WAAW,GAAqB;YACpC,oBAAoB,CAAC,WAAW;gBAC9B,MAAM,MAAM,GAAe,EAAE,CAAC;gBAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,IAAI,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;wBAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxE,CAAC;gBACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC9B,IAAI,GAAG;oBAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;gBAC9B,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC;YAChE,CAAC;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,6BAAuB,EAAC,UAAU,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,oEAAoE;QACpE,uDAAuD;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAuB,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,yDAAyD;IACzD,MAAM,OAAO,GAAG;QACd,CAAC,CAAC,CAAC,EAAE,kBAAkB;QACvB,CAAC,CAAC,CAAC,EAAE,IAAI;QACT,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,uBAAuB;QAChC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;KACZ,CAAC;IAEF,WAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,qBAAqB,EAAE,CAAC,SAAS,EAAE,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,gBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sat-v2-incremental/basic.test.d.ts

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

package/dist/tests/sat-v2-incremental/basic.test.d.ts.map

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