@stevenvo780/st-lang 4.5.1 → 4.5.2

package/dist/tests/bdd/manager.test.js

@@ -0,0 +1,472 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const bdd_1 = require("../../bdd");
+(0, vitest_1.describe)('BDDManager / constructores básicos', () => {
+    (0, vitest_1.it)('true_ y false_ son terminales distintos', () => {
+        const m = new bdd_1.BDDManager(2);
+        const T = m.true_();
+        const F = m.false_();
+        (0, vitest_1.expect)((0, bdd_1.isTerminal)(T)).toBe(true);
+        (0, vitest_1.expect)((0, bdd_1.isTerminal)(F)).toBe(true);
+        (0, vitest_1.expect)(T).not.toBe(F);
+        if ((0, bdd_1.isTerminal)(T) && (0, bdd_1.isTerminal)(F)) {
+            (0, vitest_1.expect)(T.value).toBe(true);
+            (0, vitest_1.expect)(F.value).toBe(false);
+        }
+    });
+    (0, vitest_1.it)('variable(i) crea nodo con low=FALSE y high=TRUE', () => {
+        const m = new bdd_1.BDDManager(3);
+        const x0 = m.variable(0);
+        (0, vitest_1.expect)((0, bdd_1.isTerminal)(x0)).toBe(false);
+        if (!(0, bdd_1.isTerminal)(x0)) {
+            (0, vitest_1.expect)(x0.variable).toBe(0);
+            (0, vitest_1.expect)(x0.low).toBe(m.false_());
+            (0, vitest_1.expect)(x0.high).toBe(m.true_());
+        }
+    });
+    (0, vitest_1.it)('variable fuera de rango lanza error', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(() => m.variable(2)).toThrow();
+        (0, vitest_1.expect)(() => m.variable(-1)).toThrow();
+    });
+    (0, vitest_1.it)('variable(i) misma llamada devuelve la misma referencia (canonicidad)', () => {
+        const m = new bdd_1.BDDManager(3);
+        const a = m.variable(1);
+        const b = m.variable(1);
+        (0, vitest_1.expect)(a).toBe(b);
+    });
+});
+(0, vitest_1.describe)('BDDManager / operaciones booleanas', () => {
+    (0, vitest_1.it)('not_ doble es identidad', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.not_(m.not_(x))).toBe(x);
+    });
+    (0, vitest_1.it)('and_ con FALSE absorbe a FALSE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.and_(x, m.false_())).toBe(m.false_());
+        (0, vitest_1.expect)(m.and_(m.false_(), x)).toBe(m.false_());
+    });
+    (0, vitest_1.it)('or_ con TRUE absorbe a TRUE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.or_(x, m.true_())).toBe(m.true_());
+        (0, vitest_1.expect)(m.or_(m.true_(), x)).toBe(m.true_());
+    });
+    (0, vitest_1.it)('x ∧ ¬x = FALSE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        const result = m.and_(x, m.not_(x));
+        (0, vitest_1.expect)(result).toBe(m.false_());
+        (0, vitest_1.expect)(m.equivalent(result, m.false_())).toBe(true);
+    });
+    (0, vitest_1.it)('x ∨ ¬x = TRUE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        const result = m.or_(x, m.not_(x));
+        (0, vitest_1.expect)(result).toBe(m.true_());
+        (0, vitest_1.expect)(m.equivalent(result, m.true_())).toBe(true);
+    });
+    (0, vitest_1.it)('xor es exclusión: x ⊕ x = FALSE, x ⊕ ¬x = TRUE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.xor(x, x)).toBe(m.false_());
+        (0, vitest_1.expect)(m.xor(x, m.not_(x))).toBe(m.true_());
+    });
+    (0, vitest_1.it)('De Morgan: ¬(a ∧ b) = ¬a ∨ ¬b', () => {
+        const m = new bdd_1.BDDManager(3);
+        const a = m.variable(0);
+        const b = m.variable(1);
+        const left = m.not_(m.and_(a, b));
+        const right = m.or_(m.not_(a), m.not_(b));
+        (0, vitest_1.expect)(m.equivalent(left, right)).toBe(true);
+    });
+    (0, vitest_1.it)('Asociatividad de AND: (a ∧ b) ∧ c = a ∧ (b ∧ c)', () => {
+        const m = new bdd_1.BDDManager(3);
+        const a = m.variable(0);
+        const b = m.variable(1);
+        const c = m.variable(2);
+        (0, vitest_1.expect)(m.equivalent(m.and_(m.and_(a, b), c), m.and_(a, m.and_(b, c)))).toBe(true);
+    });
+    (0, vitest_1.it)('Distributividad: a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)', () => {
+        const m = new bdd_1.BDDManager(3);
+        const a = m.variable(0);
+        const b = m.variable(1);
+        const c = m.variable(2);
+        const left = m.and_(a, m.or_(b, c));
+        const right = m.or_(m.and_(a, b), m.and_(a, c));
+        (0, vitest_1.expect)(m.equivalent(left, right)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('BDDManager / implies, iff, ite', () => {
+    (0, vitest_1.it)('implies(a, b) = ¬a ∨ b', () => {
+        const m = new bdd_1.BDDManager(2);
+        const a = m.variable(0);
+        const b = m.variable(1);
+        (0, vitest_1.expect)(m.equivalent(m.implies(a, b), m.or_(m.not_(a), b))).toBe(true);
+    });
+    (0, vitest_1.it)('iff(a, a) = TRUE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const a = m.variable(0);
+        (0, vitest_1.expect)(m.iff(a, a)).toBe(m.true_());
+    });
+    (0, vitest_1.it)('iff(a, ¬a) = FALSE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const a = m.variable(0);
+        (0, vitest_1.expect)(m.iff(a, m.not_(a))).toBe(m.false_());
+    });
+    (0, vitest_1.it)('ite(TRUE, t, e) = t; ite(FALSE, t, e) = e', () => {
+        const m = new bdd_1.BDDManager(2);
+        const t = m.variable(0);
+        const e = m.variable(1);
+        (0, vitest_1.expect)(m.ite(m.true_(), t, e)).toBe(t);
+        (0, vitest_1.expect)(m.ite(m.false_(), t, e)).toBe(e);
+    });
+    (0, vitest_1.it)('ite(c, TRUE, FALSE) = c', () => {
+        const m = new bdd_1.BDDManager(2);
+        const c = m.variable(0);
+        (0, vitest_1.expect)(m.ite(c, m.true_(), m.false_())).toBe(c);
+    });
+    (0, vitest_1.it)('ite(c, FALSE, TRUE) = ¬c', () => {
+        const m = new bdd_1.BDDManager(2);
+        const c = m.variable(0);
+        (0, vitest_1.expect)(m.ite(c, m.false_(), m.true_())).toBe(m.not_(c));
+    });
+});
+(0, vitest_1.describe)('BDDManager / queries', () => {
+    (0, vitest_1.it)('isSatisfiable(false) = false', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(m.isSatisfiable(m.false_())).toBe(false);
+    });
+    (0, vitest_1.it)('isSatisfiable(true) = true', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(m.isSatisfiable(m.true_())).toBe(true);
+    });
+    (0, vitest_1.it)('isValid(true) = true; isValid(x) = false', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(m.isValid(m.true_())).toBe(true);
+        (0, vitest_1.expect)(m.isValid(m.variable(0))).toBe(false);
+    });
+    (0, vitest_1.it)('equivalent(A, A) siempre es true', () => {
+        const m = new bdd_1.BDDManager(3);
+        const f = m.and_(m.variable(0), m.or_(m.variable(1), m.not_(m.variable(2))));
+        (0, vitest_1.expect)(m.equivalent(f, f)).toBe(true);
+    });
+    (0, vitest_1.it)('equivalent(x ∨ ¬x, TRUE) = true (tautología)', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.equivalent(m.or_(x, m.not_(x)), m.true_())).toBe(true);
+    });
+    (0, vitest_1.it)('equivalent(x ∧ ¬x, FALSE) = true (contradicción)', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.equivalent(m.and_(x, m.not_(x)), m.false_())).toBe(true);
+    });
+    (0, vitest_1.it)('satCount(x1 ∨ x2 ∨ x3) sobre 3 vars = 7', () => {
+        const m = new bdd_1.BDDManager(3);
+        const f = m.or_(m.or_(m.variable(0), m.variable(1)), m.variable(2));
+        (0, vitest_1.expect)(m.satCount(f)).toBe(7n);
+    });
+    (0, vitest_1.it)('satCount(TRUE) sobre n vars = 2^n', () => {
+        const m = new bdd_1.BDDManager(5);
+        (0, vitest_1.expect)(m.satCount(m.true_())).toBe(32n);
+    });
+    (0, vitest_1.it)('satCount(FALSE) = 0', () => {
+        const m = new bdd_1.BDDManager(5);
+        (0, vitest_1.expect)(m.satCount(m.false_())).toBe(0n);
+    });
+    (0, vitest_1.it)('satCount(x0) sobre 4 vars = 8 (la mitad)', () => {
+        const m = new bdd_1.BDDManager(4);
+        const x0 = m.variable(0);
+        (0, vitest_1.expect)(m.satCount(x0)).toBe(8n);
+    });
+    (0, vitest_1.it)('satCount(x0 ∧ x1) sobre 4 vars = 4', () => {
+        const m = new bdd_1.BDDManager(4);
+        const f = m.and_(m.variable(0), m.variable(1));
+        (0, vitest_1.expect)(m.satCount(f)).toBe(4n);
+    });
+    (0, vitest_1.it)('satCount soporta funciones con muchas variables (bigint)', () => {
+        const m = new bdd_1.BDDManager(80);
+        // x0: la mitad de 2^80 asignaciones
+        const x0 = m.variable(0);
+        (0, vitest_1.expect)(m.satCount(x0)).toBe(1n << 79n);
+    });
+    (0, vitest_1.it)('evaluate evalúa correctamente una fórmula', () => {
+        const m = new bdd_1.BDDManager(3);
+        // f = x0 ∧ (x1 ∨ x2)
+        const f = m.and_(m.variable(0), m.or_(m.variable(1), m.variable(2)));
+        (0, vitest_1.expect)(m.evaluate(f, [true, false, true])).toBe(true);
+        (0, vitest_1.expect)(m.evaluate(f, [true, false, false])).toBe(false);
+        (0, vitest_1.expect)(m.evaluate(f, [false, true, true])).toBe(false);
+        (0, vitest_1.expect)(m.evaluate(f, [true, true, false])).toBe(true);
+    });
+});
+(0, vitest_1.describe)('BDDManager / cuantificadores', () => {
+    (0, vitest_1.it)('∃x0. (x0 ∧ x1) = x1', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x0 = m.variable(0);
+        const x1 = m.variable(1);
+        const f = m.and_(x0, x1);
+        (0, vitest_1.expect)(m.equivalent(m.exists(0, f), x1)).toBe(true);
+    });
+    (0, vitest_1.it)('∀x0. (x0 ∨ x1) = x1', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x0 = m.variable(0);
+        const x1 = m.variable(1);
+        const f = m.or_(x0, x1);
+        (0, vitest_1.expect)(m.equivalent(m.forall(0, f), x1)).toBe(true);
+    });
+    (0, vitest_1.it)('∃x. f es satisfacible si f lo es', () => {
+        const m = new bdd_1.BDDManager(3);
+        const f = m.and_(m.variable(0), m.variable(1));
+        (0, vitest_1.expect)(m.isSatisfiable(m.exists(0, f))).toBe(true);
+    });
+    (0, vitest_1.it)('∀x. (x) = FALSE (porque x=0 da falso)', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.forall(0, x)).toBe(m.false_());
+    });
+    (0, vitest_1.it)('∃x. (x) = TRUE', () => {
+        const m = new bdd_1.BDDManager(2);
+        const x = m.variable(0);
+        (0, vitest_1.expect)(m.exists(0, x)).toBe(m.true_());
+    });
+    (0, vitest_1.it)('exists fuera de rango lanza error', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(() => m.exists(5, m.true_())).toThrow();
+    });
+});
+(0, vitest_1.describe)('BDDManager / fromCNF', () => {
+    (0, vitest_1.it)('CNF vacío = TRUE', () => {
+        const m = new bdd_1.BDDManager(3);
+        (0, vitest_1.expect)(m.fromCNF([])).toBe(m.true_());
+    });
+    (0, vitest_1.it)('CNF con clausula vacía = FALSE', () => {
+        const m = new bdd_1.BDDManager(3);
+        (0, vitest_1.expect)(m.fromCNF([[]])).toBe(m.false_());
+    });
+    (0, vitest_1.it)('fromCNF([[1,2],[-1,3]]) — DIMACS válido', () => {
+        const m = new bdd_1.BDDManager(3);
+        const b = m.fromCNF([
+            [1, 2],
+            [-1, 3],
+        ]);
+        // (x0 ∨ x1) ∧ (¬x0 ∨ x2)
+        // x0=0, x1=0 → primer clausula falsa → 0
+        (0, vitest_1.expect)(m.evaluate(b, [false, false, false])).toBe(false);
+        (0, vitest_1.expect)(m.evaluate(b, [false, true, false])).toBe(true);
+        (0, vitest_1.expect)(m.evaluate(b, [true, false, true])).toBe(true);
+        (0, vitest_1.expect)(m.evaluate(b, [true, false, false])).toBe(false);
+    });
+    (0, vitest_1.it)('fromCNF con literal contradictorio queda UNSAT', () => {
+        const m = new bdd_1.BDDManager(2);
+        // (x0) ∧ (¬x0) → UNSAT
+        const b = m.fromCNF([[1], [-1]]);
+        (0, vitest_1.expect)(b).toBe(m.false_());
+        (0, vitest_1.expect)(m.isSatisfiable(b)).toBe(false);
+    });
+    (0, vitest_1.it)('3-SAT con 6 vars: instancia satisfactible', () => {
+        const m = new bdd_1.BDDManager(6);
+        // Fórmula satisfactible construida a mano:
+        // (x1 ∨ x2 ∨ x3) ∧ (¬x1 ∨ x4 ∨ x5) ∧ (¬x4 ∨ x6 ∨ x2)
+        const cnf = [
+            [1, 2, 3],
+            [-1, 4, 5],
+            [-4, 6, 2],
+        ];
+        const b = m.fromCNF(cnf);
+        (0, vitest_1.expect)(m.isSatisfiable(b)).toBe(true);
+        (0, vitest_1.expect)(m.satCount(b)).toBeGreaterThan(0n);
+    });
+    (0, vitest_1.it)('3-SAT instance UNSAT detectada (pigeonhole pequeño)', () => {
+        // 3 palomas, 2 huecos, modelo:
+        // vars: p_ij = paloma i en hueco j, i=1..3, j=1..2 → 6 vars (índices 0..5)
+        // mapping: p_ij = var (i-1)*2 + (j-1)
+        const m = new bdd_1.BDDManager(6);
+        const lit = (i, j) => (i - 1) * 2 + (j - 1) + 1;
+        const cnf = [];
+        // Cada paloma en al menos un hueco
+        for (let i = 1; i <= 3; i++) {
+            cnf.push([lit(i, 1), lit(i, 2)]);
+        }
+        // No dos palomas en el mismo hueco
+        for (let j = 1; j <= 2; j++) {
+            for (let i1 = 1; i1 <= 3; i1++) {
+                for (let i2 = i1 + 1; i2 <= 3; i2++) {
+                    cnf.push([-lit(i1, j), -lit(i2, j)]);
+                }
+            }
+        }
+        const b = m.fromCNF(cnf);
+        (0, vitest_1.expect)(m.isSatisfiable(b)).toBe(false);
+        (0, vitest_1.expect)(b).toBe(m.false_());
+    });
+    (0, vitest_1.it)('fromCNF valida literal 0', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(() => m.fromCNF([[0]])).toThrow();
+    });
+    (0, vitest_1.it)('fromCNF valida rango de variables', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(() => m.fromCNF([[5]])).toThrow();
+    });
+});
+(0, vitest_1.describe)('BDDManager / fromFormula', () => {
+    (0, vitest_1.it)('parsea árboles simbólicos AND/OR/NOT', () => {
+        const m = new bdd_1.BDDManager(3);
+        const ast = {
+            kind: 'and',
+            left: { kind: 'var', index: 0 },
+            right: {
+                kind: 'or',
+                left: { kind: 'not', child: { kind: 'var', index: 1 } },
+                right: { kind: 'var', index: 2 },
+            },
+        };
+        const b = m.fromFormula(ast);
+        // x0 ∧ (¬x1 ∨ x2)
+        (0, vitest_1.expect)(m.evaluate(b, [true, false, false])).toBe(true);
+        (0, vitest_1.expect)(m.evaluate(b, [true, true, false])).toBe(false);
+        (0, vitest_1.expect)(m.evaluate(b, [true, true, true])).toBe(true);
+        (0, vitest_1.expect)(m.evaluate(b, [false, false, true])).toBe(false);
+    });
+    (0, vitest_1.it)('parsea ite, xor, implies, iff', () => {
+        const m = new bdd_1.BDDManager(3);
+        const xor = m.fromFormula({
+            kind: 'xor',
+            left: { kind: 'var', index: 0 },
+            right: { kind: 'var', index: 1 },
+        });
+        (0, vitest_1.expect)(m.equivalent(xor, m.xor(m.variable(0), m.variable(1)))).toBe(true);
+        const ite = m.fromFormula({
+            kind: 'ite',
+            cond: { kind: 'var', index: 0 },
+            then: { kind: 'var', index: 1 },
+            else: { kind: 'var', index: 2 },
+        });
+        (0, vitest_1.expect)(m.equivalent(ite, m.ite(m.variable(0), m.variable(1), m.variable(2)))).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza kind desconocido', () => {
+        const m = new bdd_1.BDDManager(2);
+        (0, vitest_1.expect)(() => m.fromFormula({ kind: 'bogus' })).toThrow();
+    });
+});
+(0, vitest_1.describe)('BDDManager / 8-queens (encoding)', () => {
+    // Para 4-queens (4x4 tablero), encoding directo de constraints.
+    // 16 vars: q_ij = reina en (i,j), i,j ∈ 0..3 → idx = i*4 + j
+    (0, vitest_1.it)('4-queens tiene exactamente 2 soluciones', () => {
+        const m = new bdd_1.BDDManager(16);
+        const idx = (i, j) => i * 4 + j;
+        let formula = m.true_();
+        // 1) Cada fila tiene exactamente una reina (al menos una OR + a lo sumo una pairwise)
+        for (let i = 0; i < 4; i++) {
+            // al menos una
+            let rowOr = m.false_();
+            for (let j = 0; j < 4; j++) {
+                rowOr = m.or_(rowOr, m.variable(idx(i, j)));
+            }
+            formula = m.and_(formula, rowOr);
+            // a lo sumo una
+            for (let j1 = 0; j1 < 4; j1++) {
+                for (let j2 = j1 + 1; j2 < 4; j2++) {
+                    formula = m.and_(formula, m.or_(m.not_(m.variable(idx(i, j1))), m.not_(m.variable(idx(i, j2)))));
+                }
+            }
+        }
+        // 2) Cada columna a lo sumo una reina
+        for (let j = 0; j < 4; j++) {
+            for (let i1 = 0; i1 < 4; i1++) {
+                for (let i2 = i1 + 1; i2 < 4; i2++) {
+                    formula = m.and_(formula, m.or_(m.not_(m.variable(idx(i1, j))), m.not_(m.variable(idx(i2, j)))));
+                }
+            }
+        }
+        // 3) Diagonales a lo sumo una
+        for (let i1 = 0; i1 < 4; i1++) {
+            for (let j1 = 0; j1 < 4; j1++) {
+                for (let i2 = i1 + 1; i2 < 4; i2++) {
+                    for (let j2 = 0; j2 < 4; j2++) {
+                        if (Math.abs(i1 - i2) === Math.abs(j1 - j2)) {
+                            formula = m.and_(formula, m.or_(m.not_(m.variable(idx(i1, j1))), m.not_(m.variable(idx(i2, j2)))));
+                        }
+                    }
+                }
+            }
+        }
+        // 4-queens tiene exactamente 2 soluciones
+        (0, vitest_1.expect)(m.satCount(formula)).toBe(2n);
+    });
+});
+(0, vitest_1.describe)('BDDManager / orden de variables', () => {
+    (0, vitest_1.it)('setVarOrder válida tamaño y rango', () => {
+        const m = new bdd_1.BDDManager(3);
+        (0, vitest_1.expect)(() => m.setVarOrder([0, 1])).toThrow();
+        (0, vitest_1.expect)(() => m.setVarOrder([0, 1, 5])).toThrow();
+        (0, vitest_1.expect)(() => m.setVarOrder([0, 0, 1])).toThrow();
+    });
+    (0, vitest_1.it)('misma función con orden distinto puede tener tamaños distintos', () => {
+        // función x0 ↔ x1 con orden [0,1] vs [1,0]: ambas dan 3 nodos.
+        // Pero (x0 ∧ x1) ∨ (x2 ∧ x3) tiene tamaños distintos según orden.
+        const m1 = new bdd_1.BDDManager(4);
+        const f1 = m1.or_(m1.and_(m1.variable(0), m1.variable(1)), m1.and_(m1.variable(2), m1.variable(3)));
+        const size1 = m1.countReachable(f1);
+        const m2 = new bdd_1.BDDManager(4);
+        m2.setVarOrder([0, 2, 1, 3]); // interleaving malo
+        const f2 = m2.or_(m2.and_(m2.variable(0), m2.variable(1)), m2.and_(m2.variable(2), m2.variable(3)));
+        const size2 = m2.countReachable(f2);
+        // En general orden malo crece. Verificar al menos: ambos son satisfacibles
+        // y representan la misma función semánticamente.
+        (0, vitest_1.expect)(size1).toBeGreaterThan(0);
+        (0, vitest_1.expect)(size2).toBeGreaterThan(0);
+        // El orden bueno suele ser <= el malo (no estricto en este caso pequeño,
+        // pero comparamos al menos satCount).
+        (0, vitest_1.expect)(m1.satCount(f1)).toBe(m2.satCount(f2));
+    });
+    (0, vitest_1.it)('stats reporta nodos y reducciones', () => {
+        const m = new bdd_1.BDDManager(3);
+        m.and_(m.variable(0), m.variable(1));
+        m.and_(m.variable(0), m.variable(1)); // hit en memo
+        const s = m.stats();
+        (0, vitest_1.expect)(s.nodes).toBeGreaterThan(0);
+        (0, vitest_1.expect)(s.reductions).toBeGreaterThanOrEqual(0);
+    });
+    (0, vitest_1.it)('countReachable cuenta correctamente nodos del DAG', () => {
+        const m = new bdd_1.BDDManager(3);
+        const x0 = m.variable(0);
+        // un solo nodo interno
+        (0, vitest_1.expect)(m.countReachable(x0)).toBe(1);
+        // terminales no se cuentan
+        (0, vitest_1.expect)(m.countReachable(m.true_())).toBe(0);
+        (0, vitest_1.expect)(m.countReachable(m.false_())).toBe(0);
+    });
+});
+(0, vitest_1.describe)('BDDManager / propiedades semánticas exhaustivas', () => {
+    (0, vitest_1.it)('tabla de verdad: 4 vars, (x0 ∧ ¬x1) ∨ x3 evaluada en todas las asignaciones', () => {
+        const m = new bdd_1.BDDManager(4);
+        const f = m.or_(m.and_(m.variable(0), m.not_(m.variable(1))), m.variable(3));
+        let sat = 0n;
+        for (let mask = 0; mask < 16; mask++) {
+            const a = [(mask & 1) !== 0, (mask & 2) !== 0, (mask & 4) !== 0, (mask & 8) !== 0];
+            const expected = (a[0] && !a[1]) || a[3];
+            (0, vitest_1.expect)(m.evaluate(f, a)).toBe(expected);
+            if (expected)
+                sat++;
+        }
+        (0, vitest_1.expect)(m.satCount(f)).toBe(sat);
+    });
+    (0, vitest_1.it)('equivalencia canónica: dos construcciones distintas de la misma fn dan misma referencia', () => {
+        const m = new bdd_1.BDDManager(3);
+        const fA = m.and_(m.or_(m.variable(0), m.variable(1)), m.variable(2));
+        const fB = m.or_(m.and_(m.variable(0), m.variable(2)), m.and_(m.variable(1), m.variable(2)));
+        (0, vitest_1.expect)(fA).toBe(fB); // canonicidad
+        (0, vitest_1.expect)(m.equivalent(fA, fB)).toBe(true);
+    });
+    (0, vitest_1.it)('idempotencia: AND/OR consigo mismo da identidad', () => {
+        const m = new bdd_1.BDDManager(3);
+        const f = m.and_(m.variable(0), m.or_(m.variable(1), m.variable(2)));
+        (0, vitest_1.expect)(m.and_(f, f)).toBe(f);
+        (0, vitest_1.expect)(m.or_(f, f)).toBe(f);
+    });
+});
+//# sourceMappingURL=manager.test.js.map

package/dist/tests/bdd/manager.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager.test.js","sourceRoot":"","sources":["../../../src/tests/bdd/manager.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mCAAmD;AAEnD,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAA,gBAAU,EAAC,CAAC,CAAC,IAAI,IAAA,gBAAU,EAAC,CAAC,CAAC,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,gBAAU,EAAC,EAAE,CAAC,EAAE,CAAC;YACpB,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,oCAAoC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,qBAAqB;QACrB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YAClB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACR,CAAC,CAAC;QACH,yBAAyB;QACzB,yCAAyC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,uBAAuB;QACvB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,2CAA2C;QAC3C,qDAAqD;QACrD,MAAM,GAAG,GAAe;YACtB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACV,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACX,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,+BAA+B;QAC/B,2EAA2E;QAC3E,sCAAsC;QACtC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACxE,MAAM,GAAG,GAAe,EAAE,CAAC;QAC3B,mCAAmC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,mCAAmC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC/B,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBACpC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG;YACV,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YAC/B,KAAK,EAAE;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;gBACvD,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;aACjC;SACF,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,kBAAkB;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC;YACxB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YAC/B,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SACjC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1E,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC;YACxB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;YAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SAChC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,gEAAgE;IAChE,6DAA6D;IAC7D,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxD,IAAI,OAAO,GAAoC,CAAC,CAAC,KAAK,EAAE,CAAC;QAEzD,sFAAsF;QACtF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,eAAe;YACf,IAAI,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACjC,gBAAgB;YAChB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBACnC,OAAO,GAAG,CAAC,CAAC,IAAI,CACd,OAAO,EACP,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBACnC,OAAO,GAAG,CAAC,CAAC,IAAI,CACd,OAAO,EACP,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;YAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBACnC,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;wBAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;4BAC5C,OAAO,GAAG,CAAC,CAAC,IAAI,CACd,OAAO,EACP,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,+DAA+D;QAC/D,kEAAkE;QAClE,MAAM,EAAE,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CACf,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACvC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QAEpC,MAAM,EAAE,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAClD,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CACf,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACvC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QAEpC,2EAA2E;QAC3E,iDAAiD;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,yEAAyE;QACzE,sCAAsC;QACtC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;QACpD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,uBAAuB;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,2BAA2B;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,QAAQ;gBAAE,GAAG,EAAE,CAAC;QACtB,CAAC;QACD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,gBAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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