@stevenvo780/st-lang 4.10.0 → 4.12.0

package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js

@@ -0,0 +1,253 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const fol_prover_advanced_1 = require("../../../proof-systems/fol-prover-advanced");
+// Helpers (terse) para no inflar los tests
+const v = (name) => ({ kind: 'variable', name });
+const c = (name) => ({ kind: 'function', name, args: [] });
+const f = (name, ...args) => ({ kind: 'function', name, args });
+const lit = (predicate, args, negated = false) => ({ predicate, args, negated });
+const clause = (literals, fromGoal = false) => ({ literals, fromGoal });
+(0, vitest_1.describe)('fol-prover-advanced', () => {
+    (0, vitest_1.describe)('unification', () => {
+        (0, vitest_1.it)('unifica f(x) con f(a) → {x ↦ a}', () => {
+            const sub = (0, fol_prover_advanced_1.unify)(f('f', v('x')), f('f', c('a')));
+            (0, vitest_1.expect)(sub).not.toBeNull();
+            (0, vitest_1.expect)(sub?.get('x')).toEqual(c('a'));
+        });
+        (0, vitest_1.it)('rechaza unificar f(x) con g(x)', () => {
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.unify)(f('f', v('x')), f('g', v('x')))).toBeNull();
+        });
+        (0, vitest_1.it)('occurs-check: x con f(x) → null', () => {
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.unify)(v('x'), f('f', v('x')))).toBeNull();
+        });
+    });
+    (0, vitest_1.describe)('KBO ordering', () => {
+        (0, vitest_1.it)('f(a,b) > a por mayor peso', () => {
+            const weights = new Map([['f', 1], ['a', 1], ['b', 1]]);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.kboGreater)(f('f', c('a'), c('b')), c('a'), weights)).toBe(true);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.kboGreater)(c('a'), f('f', c('a'), c('b')), weights)).toBe(false);
+        });
+        (0, vitest_1.it)('rechaza cuando variable de t2 no aparece en t1', () => {
+            const weights = new Map([['f', 1], ['a', 1]]);
+            // f(a) vs x: x aparece 1 vez en t2 y 0 en t1 → no >_KBO.
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.kboGreater)(f('f', c('a')), v('x'), weights)).toBe(false);
+        });
+    });
+    (0, vitest_1.describe)('LPO ordering', () => {
+        (0, vitest_1.it)('h(x) > x cuando x ocurre en h(x)', () => {
+            const prec = new Map([['h', 2]]);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.lpoGreater)(f('h', v('x')), v('x'), prec)).toBe(true);
+        });
+        (0, vitest_1.it)('f(a) > g(a) si precedence(f) > precedence(g)', () => {
+            const prec = new Map([['f', 5], ['g', 1], ['a', 0]]);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.lpoGreater)(f('f', c('a')), f('g', c('a')), prec)).toBe(true);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.lpoGreater)(f('g', c('a')), f('f', c('a')), prec)).toBe(false);
+        });
+    });
+    (0, vitest_1.describe)('subsumption', () => {
+        (0, vitest_1.it)('P(x) subsume P(a)', () => {
+            const c1 = clause([lit('P', [v('x')])]);
+            const c2 = clause([lit('P', [c('a')])]);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.subsumes)(c1, c2)).toBe(true);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.subsumes)(c2, c1)).toBe(false);
+        });
+        (0, vitest_1.it)('removeSubsumed elimina la más específica', () => {
+            const general = clause([lit('Q', [v('x')])]);
+            const specific = clause([lit('Q', [c('b')])]);
+            const filtered = (0, fol_prover_advanced_1.removeSubsumed)([specific, general]);
+            // El general subsume al específico → sólo el general sobrevive.
+            (0, vitest_1.expect)(filtered.length).toBe(1);
+            (0, vitest_1.expect)((0, fol_prover_advanced_1.clausesAlphaEqual)(filtered[0], general)).toBe(true);
+        });
+    });
+    (0, vitest_1.describe)('binary resolution', () => {
+        (0, vitest_1.it)('P(x) y ¬P(a) → ⊥ con sustitución {x↦a}', () => {
+            const c1 = clause([lit('P', [v('x')])]);
+            const c2 = clause([lit('P', [c('a')], true)]);
+            const res = (0, fol_prover_advanced_1.binaryResolve)(c1, c2);
+            (0, vitest_1.expect)(res.length).toBeGreaterThan(0);
+            (0, vitest_1.expect)(res[0].clause.literals.length).toBe(0);
+        });
+    });
+    (0, vitest_1.describe)('hyperresolution', () => {
+        (0, vitest_1.it)('3 unit positivas + núcleo con 3 negativas → 1 paso a cláusula vacía', () => {
+            // Premisas: A, B, C  (unitarias positivas)
+            // Núcleo: ¬A ∨ ¬B ∨ ¬C
+            const A = clause([lit('A', [])]);
+            const B = clause([lit('B', [])]);
+            const C = clause([lit('C', [])]);
+            const nucleus = clause([lit('A', [], true), lit('B', [], true), lit('C', [], true)]);
+            const results = (0, fol_prover_advanced_1.hyperresolveMany)([A, B, C], nucleus);
+            const hasEmpty = results.some((r) => r.clause.literals.length === 0);
+            (0, vitest_1.expect)(hasEmpty).toBe(true);
+        });
+        (0, vitest_1.it)('hyperresolve API simple con un solo electron unitario', () => {
+            const electron = clause([lit('P', [c('a')])]);
+            const nucleus = clause([lit('P', [v('x')], true), lit('Q', [v('x')])]);
+            const res = (0, fol_prover_advanced_1.hyperresolve)(electron, nucleus);
+            (0, vitest_1.expect)(res.length).toBeGreaterThan(0);
+            // Quedó Q(a) en el residual
+            const survivor = res[0];
+            (0, vitest_1.expect)(survivor.literals.length).toBe(1);
+            (0, vitest_1.expect)(survivor.literals[0].predicate).toBe('Q');
+            (0, vitest_1.expect)(survivor.literals[0].args[0]).toEqual(c('a'));
+        });
+    });
+    (0, vitest_1.describe)('proveAdvanced — modus ponens encadenado', () => {
+        (0, vitest_1.it)('binary: A, A→B, B→C, C→D ⊢ D', () => {
+            const A = clause([lit('A', [])]);
+            const AB = clause([lit('A', [], true), lit('B', [])]);
+            const BC = clause([lit('B', [], true), lit('C', [])]);
+            const CD = clause([lit('C', [], true), lit('D', [])]);
+            const goal = clause([lit('D', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, AB, BC, CD], goal, { strategy: 'binary' });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+        });
+        (0, vitest_1.it)('hyperresolution: 3 MP en un paso con núcleo único', () => {
+            // Premisas positivas: A, B, C
+            // Núcleo combinado: ¬A ∨ ¬B ∨ ¬C ∨ D
+            // Goal: D
+            const A = clause([lit('A', [])]);
+            const B = clause([lit('B', [])]);
+            const C = clause([lit('C', [])]);
+            const nucleus = clause([
+                lit('A', [], true),
+                lit('B', [], true),
+                lit('C', [], true),
+                lit('D', [])
+            ]);
+            const goal = clause([lit('D', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, B, C, nucleus], goal, { strategy: 'hyperresolution' });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+            // Debe haber al menos 1 paso de hyperresolución registrada
+            (0, vitest_1.expect)(result.stats.hyperresolutions).toBeGreaterThan(0);
+        });
+        (0, vitest_1.it)('cadena de 5 implicaciones: P1, P1→P2, …, P5→P6 ⊢ P6', () => {
+            const facts = [
+                clause([lit('P1', [])]),
+                clause([lit('P1', [], true), lit('P2', [])]),
+                clause([lit('P2', [], true), lit('P3', [])]),
+                clause([lit('P3', [], true), lit('P4', [])]),
+                clause([lit('P4', [], true), lit('P5', [])]),
+                clause([lit('P5', [], true), lit('P6', [])])
+            ];
+            const goal = clause([lit('P6', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)(facts, goal, { strategy: 'unit-preference' });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+        });
+    });
+    (0, vitest_1.describe)('set-of-support strategy', () => {
+        (0, vitest_1.it)('sólo deriva del SoS — no resuelve premisas entre sí', () => {
+            // P(a). ∀x. P(x) → Q(x). ¬Q(a).
+            // SoS arranca con la negación del goal (default).
+            const fact = clause([lit('P', [c('a')])]);
+            const rule = clause([lit('P', [v('x')], true), lit('Q', [v('x')])]);
+            const goal = clause([lit('Q', [c('a')])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([fact, rule], goal, {
+                strategy: 'set-of-support'
+            });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+            // El primer paso del SoS debe involucrar la cláusula del goal
+            // (índice ≥ premises.length → fromGoal=true en el seed).
+            (0, vitest_1.expect)(result.steps.length).toBeGreaterThan(0);
+        });
+        (0, vitest_1.it)('SoS rechaza pruebas que requieren saturar todo (sin set inicial)', () => {
+            // Si forzamos un SoS vacío con un goal trivialmente probable, el motor
+            // sólo deriva con cláusulas que entren al SoS por descendencia.
+            const A = clause([lit('A', [])]);
+            const goal = clause([lit('A', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A], goal, { strategy: 'set-of-support' });
+            // Goal negado entra al SoS por default y resuelve con A.
+            (0, vitest_1.expect)(result.proven).toBe(true);
+        });
+    });
+    (0, vitest_1.describe)('ordered resolution', () => {
+        (0, vitest_1.it)('KBO ordering reduce o mantiene resolventes vs binary', () => {
+            // Test ligero: con KBO + pesos, la prueba sigue cerrando.
+            const A = clause([lit('A', [c('a')])]);
+            const rule = clause([lit('A', [v('x')], true), lit('B', [v('x')])]);
+            const goal = clause([lit('B', [c('a')])]);
+            const weights = new Map([['A', 2], ['B', 1], ['a', 1]]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, rule], goal, {
+                strategy: 'ordered',
+                ordering: 'KBO',
+                kboWeights: weights
+            });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+        });
+        (0, vitest_1.it)('LPO ordering también cierra modus ponens simple', () => {
+            const A = clause([lit('P', [c('a')])]);
+            const rule = clause([lit('P', [v('x')], true), lit('Q', [v('x')])]);
+            const goal = clause([lit('Q', [c('a')])]);
+            const precedence = new Map([['P', 5], ['Q', 1], ['a', 0]]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, rule], goal, {
+                strategy: 'ordered',
+                ordering: 'LPO',
+                precedence
+            });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+        });
+    });
+    (0, vitest_1.describe)('unit preference', () => {
+        (0, vitest_1.it)('ordena unit clauses al frente', () => {
+            const long = clause([lit('A', []), lit('B', []), lit('C', [])]);
+            const unit = clause([lit('A', [])]);
+            const sorted = (0, fol_prover_advanced_1.unitPreference)([long, unit]);
+            (0, vitest_1.expect)(sorted[0].literals.length).toBe(1);
+            (0, vitest_1.expect)(sorted[1].literals.length).toBe(3);
+        });
+        (0, vitest_1.it)('unit-preference resuelve cadena MP más rápido que binary saturado', () => {
+            const facts = [
+                clause([lit('P1', [])]),
+                clause([lit('P1', [], true), lit('P2', [])]),
+                clause([lit('P2', [], true), lit('P3', [])])
+            ];
+            const goal = clause([lit('P3', [])]);
+            const withUnit = (0, fol_prover_advanced_1.proveAdvanced)(facts, goal, { strategy: 'unit-preference' });
+            const binary = (0, fol_prover_advanced_1.proveAdvanced)(facts, goal, { strategy: 'binary' });
+            (0, vitest_1.expect)(withUnit.proven).toBe(true);
+            (0, vitest_1.expect)(binary.proven).toBe(true);
+            // unit-preference no debería empeorar el conteo de resoluciones.
+            (0, vitest_1.expect)(withUnit.stats.resolutions).toBeLessThanOrEqual(binary.stats.resolutions + 5);
+        });
+    });
+    (0, vitest_1.describe)('timeout y termination', () => {
+        (0, vitest_1.it)('respeta maxSteps=0 → termina sin probar', () => {
+            const A = clause([lit('A', [])]);
+            const B = clause([lit('A', [], true), lit('B', [])]);
+            const goal = clause([lit('B', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, B], goal, { strategy: 'binary', maxSteps: 0 });
+            (0, vitest_1.expect)(result.proven).toBe(false);
+            (0, vitest_1.expect)(result.termination).toBe('max-steps');
+        });
+        (0, vitest_1.it)('respeta timeoutMs corto en problema imposible', () => {
+            // Goal no es derivable de premisas no relacionadas; el motor satura o
+            // se queda sin nuevas cláusulas. Forzamos saturación con timeout=1.
+            const A = clause([lit('X', [c('a')])]);
+            const goal = clause([lit('Y', [c('b')])]); // no derivable
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A], goal, { strategy: 'binary', timeoutMs: 1, maxSteps: 100000 });
+            (0, vitest_1.expect)(result.proven).toBe(false);
+            (0, vitest_1.expect)(['timeout', 'saturated']).toContain(result.termination);
+        });
+    });
+    (0, vitest_1.describe)('subsumption avanzada y deduplicación', () => {
+        (0, vitest_1.it)('no genera cláusula vacía cuando goal es no derivable (saturated)', () => {
+            const A = clause([lit('A', [])]);
+            const goal = clause([lit('Z', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A], goal, { strategy: 'binary' });
+            (0, vitest_1.expect)(result.proven).toBe(false);
+            (0, vitest_1.expect)(result.termination).toBe('saturated');
+        });
+        (0, vitest_1.it)('estadísticas reportan resolutions > 0 en prueba exitosa', () => {
+            const A = clause([lit('P', [])]);
+            const rule = clause([lit('P', [], true), lit('Q', [])]);
+            const goal = clause([lit('Q', [])]);
+            const result = (0, fol_prover_advanced_1.proveAdvanced)([A, rule], goal, { strategy: 'binary' });
+            (0, vitest_1.expect)(result.proven).toBe(true);
+            (0, vitest_1.expect)(result.stats.resolutions).toBeGreaterThan(0);
+            (0, vitest_1.expect)(result.stats.steps).toBeGreaterThan(0);
+        });
+    });
+});
+//# sourceMappingURL=prover.test.js.map

package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../../src/tests/proof-systems/fol-prover-advanced/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oFAeoD;AAEpD,2CAA2C;AAC3C,MAAM,CAAC,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AAClE,MAAM,CAAC,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AAC5E,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5F,MAAM,GAAG,GAAG,CAAC,SAAiB,EAAE,IAAe,EAAE,OAAO,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAChH,MAAM,MAAM,GAAG,CAAC,QAAsB,EAAE,QAAQ,GAAG,KAAK,EAAa,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;AAEjG,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,GAAG,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,IAAA,eAAM,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,yDAAyD;YACzD,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,IAAA,eAAM,EAAC,IAAA,gCAAU,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,IAAA,8BAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAA,eAAM,EAAC,IAAA,8BAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,QAAQ,GAAG,IAAA,oCAAc,EAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACrD,gEAAgE;YAChE,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,IAAA,uCAAiB,EAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,IAAA,mCAAa,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,2CAA2C;YAC3C,uBAAuB;YACvB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACrF,MAAM,OAAO,GAAG,IAAA,sCAAgB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YACrE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,MAAM,GAAG,GAAG,IAAA,kCAAY,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACtC,4BAA4B;YAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;YACzB,IAAA,eAAM,EAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC5E,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,8BAA8B;YAC9B,qCAAqC;YACrC,UAAU;YACV,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,OAAO,GAAG,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC;aACb,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;YACxF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,2DAA2D;YAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,KAAK,GAAgB;gBACzB,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBACvB,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;aAC7C,CAAC;YACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;YAC3E,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,gCAAgC;YAChC,kDAAkD;YAClD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE;gBAC/C,QAAQ,EAAE,gBAAgB;aAC3B,CAAC,CAAC;YACH,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,8DAA8D;YAC9D,yDAAyD;YACzD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,uEAAuE;YACvE,gEAAgE;YAChE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACxE,yDAAyD;YACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,0DAA0D;YAC1D,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE;gBAC5C,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,OAAO;aACpB,CAAC,CAAC;YACH,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE;gBAC5C,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,KAAK;gBACf,UAAU;aACX,CAAC,CAAC;YACH,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,oCAAc,EAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,KAAK,GAAgB;gBACzB,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBACvB,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;aAC7C,CAAC;YACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAA,mCAAa,EAAC,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;YAC7E,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClE,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,iEAAiE;YACjE,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QACvF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAChF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,sEAAsE;YACtE,oEAAoE;YACpE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;YAC1D,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YAChG,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;QACpD,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,IAAA,mCAAa,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YACtE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACpD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,256 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const combinatorics_1 = require("../../../reasoning/combinatorics");
+(0, vitest_1.describe)('basic counts', () => {
+    (0, vitest_1.it)('factorial(0)=1, factorial(10)=3628800', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.factorial)(0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.factorial)(1)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.factorial)(10)).toBe(3628800n);
+        (0, vitest_1.expect)((0, combinatorics_1.factorial)(20)).toBe(2432902008176640000n);
+    });
+    (0, vitest_1.it)('binomial(10,3)=120 y simetría', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(10, 3)).toBe(120n);
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(10, 7)).toBe(120n);
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(5, 0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(5, 5)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(5, 6)).toBe(0n);
+        (0, vitest_1.expect)((0, combinatorics_1.binomial)(52, 5)).toBe(2598960n);
+    });
+    (0, vitest_1.it)('multinomial(6,[1,2,3]) = 60', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.multinomial)(6, [1, 2, 3])).toBe(60n);
+        (0, vitest_1.expect)((0, combinatorics_1.multinomial)(10, [2, 3, 5])).toBe(2520n);
+        (0, vitest_1.expect)(() => (0, combinatorics_1.multinomial)(5, [1, 2])).toThrow();
+    });
+    (0, vitest_1.it)('permutations(5,2)=20 y P(n,n)=n!', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.permutations)(5, 2)).toBe(20n);
+        (0, vitest_1.expect)((0, combinatorics_1.permutations)(5, 5)).toBe(120n);
+        (0, vitest_1.expect)((0, combinatorics_1.permutations)(5, 0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.permutations)(5, 6)).toBe(0n);
+    });
+    (0, vitest_1.it)('combinations alias de binomial', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.combinations)(7, 3)).toBe(35n);
+    });
+    (0, vitest_1.it)('factorial rechaza negativos y no enteros', () => {
+        (0, vitest_1.expect)(() => (0, combinatorics_1.factorial)(-1)).toThrow();
+        (0, vitest_1.expect)(() => (0, combinatorics_1.factorial)(1.5)).toThrow();
+    });
+});
+(0, vitest_1.describe)('generators', () => {
+    (0, vitest_1.it)('generatePermutations([1,2,3]) produce 6 únicos', () => {
+        const perms = Array.from((0, combinatorics_1.generatePermutations)([1, 2, 3]));
+        (0, vitest_1.expect)(perms).toHaveLength(6);
+        const uniq = new Set(perms.map((p) => p.join(',')));
+        (0, vitest_1.expect)(uniq.size).toBe(6);
+        (0, vitest_1.expect)(uniq.has('1,2,3')).toBe(true);
+        (0, vitest_1.expect)(uniq.has('3,2,1')).toBe(true);
+    });
+    (0, vitest_1.it)('generatePermutations([]) = [[]]', () => {
+        const perms = Array.from((0, combinatorics_1.generatePermutations)([]));
+        (0, vitest_1.expect)(perms).toHaveLength(1);
+        (0, vitest_1.expect)(perms[0]).toEqual([]);
+    });
+    (0, vitest_1.it)('generateCombinations([1,2,3,4],2) produce 6', () => {
+        const combs = Array.from((0, combinatorics_1.generateCombinations)([1, 2, 3, 4], 2));
+        (0, vitest_1.expect)(combs).toHaveLength(6);
+        (0, vitest_1.expect)(combs).toEqual([
+            [1, 2],
+            [1, 3],
+            [1, 4],
+            [2, 3],
+            [2, 4],
+            [3, 4]
+        ]);
+    });
+    (0, vitest_1.it)('generateCombinations(r=0) emite [] y r>n nada', () => {
+        (0, vitest_1.expect)(Array.from((0, combinatorics_1.generateCombinations)([1, 2], 0))).toEqual([[]]);
+        (0, vitest_1.expect)(Array.from((0, combinatorics_1.generateCombinations)([1, 2], 5))).toEqual([]);
+    });
+    (0, vitest_1.it)('generatePowerSet([a,b,c]) tiene 8 subconjuntos', () => {
+        const ps = Array.from((0, combinatorics_1.generatePowerSet)(['a', 'b', 'c']));
+        (0, vitest_1.expect)(ps).toHaveLength(8);
+        (0, vitest_1.expect)(ps[0]).toEqual([]);
+        (0, vitest_1.expect)(ps).toContainEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('generateSubsetsOfSize coincide con generateCombinations', () => {
+        const a = Array.from((0, combinatorics_1.generateSubsetsOfSize)([1, 2, 3, 4, 5], 3));
+        const b = Array.from((0, combinatorics_1.generateCombinations)([1, 2, 3, 4, 5], 3));
+        (0, vitest_1.expect)(a).toEqual(b);
+        (0, vitest_1.expect)(a).toHaveLength(10);
+    });
+});
+(0, vitest_1.describe)('permutation ops', () => {
+    (0, vitest_1.it)('parity: identidad par, transposición impar', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.permutationParity)([0, 1, 2])).toBe(1);
+        (0, vitest_1.expect)((0, combinatorics_1.permutationParity)([1, 0, 2])).toBe(-1);
+        (0, vitest_1.expect)((0, combinatorics_1.permutationParity)([1, 2, 0])).toBe(1); // 3-ciclo = 2 transposiciones
+        (0, vitest_1.expect)((0, combinatorics_1.permutationParity)([2, 0, 1])).toBe(1);
+        (0, vitest_1.expect)((0, combinatorics_1.permutationParity)([3, 2, 1, 0])).toBe(1); // dos transposiciones
+    });
+    (0, vitest_1.it)('cycles de (2,0,1) = [[0,2,1]]', () => {
+        // perm[0]=2 => 0->2; perm[2]=1 => 2->1; perm[1]=0 => 1->0
+        const cycles = (0, combinatorics_1.permutationCycles)([2, 0, 1]);
+        (0, vitest_1.expect)(cycles).toHaveLength(1);
+        const c = cycles[0];
+        (0, vitest_1.expect)(c).toBeDefined();
+        (0, vitest_1.expect)(c?.sort()).toEqual([0, 1, 2]);
+    });
+    (0, vitest_1.it)('cycles de identidad son fijos', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.permutationCycles)([0, 1, 2, 3])).toEqual([[0], [1], [2], [3]]);
+    });
+    (0, vitest_1.it)('order de un 3-ciclo es 3, de dos transposiciones disjuntas es 2', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.permutationOrder)([1, 2, 0])).toBe(3);
+        (0, vitest_1.expect)((0, combinatorics_1.permutationOrder)([1, 0, 3, 2])).toBe(2);
+        (0, vitest_1.expect)((0, combinatorics_1.permutationOrder)([0, 1, 2])).toBe(1);
+    });
+    (0, vitest_1.it)('composePermutations componiendo con inversa = identidad', () => {
+        const p = [2, 0, 3, 1];
+        const inv = (0, combinatorics_1.inversePermutation)(p);
+        (0, vitest_1.expect)((0, combinatorics_1.composePermutations)(p, inv)).toEqual([0, 1, 2, 3]);
+        (0, vitest_1.expect)((0, combinatorics_1.composePermutations)(inv, p)).toEqual([0, 1, 2, 3]);
+    });
+    (0, vitest_1.it)('inversePermutation([2,0,1]) = [1,2,0]', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.inversePermutation)([2, 0, 1])).toEqual([1, 2, 0]);
+    });
+    (0, vitest_1.it)('rechaza permutaciones inválidas', () => {
+        (0, vitest_1.expect)(() => (0, combinatorics_1.permutationParity)([0, 0, 1])).toThrow();
+        (0, vitest_1.expect)(() => (0, combinatorics_1.permutationCycles)([3, 0, 1])).toThrow(); // 3 fuera de [0,3)
+    });
+});
+(0, vitest_1.describe)('partitions', () => {
+    (0, vitest_1.it)('partitions(5) tiene 7 particiones', () => {
+        const ps = (0, combinatorics_1.partitions)(5);
+        (0, vitest_1.expect)(ps).toHaveLength(7);
+        // representamos cada partición como string ordenado descendente
+        const set = new Set(ps.map((p) => p.join('+')));
+        (0, vitest_1.expect)(set.has('5')).toBe(true);
+        (0, vitest_1.expect)(set.has('4+1')).toBe(true);
+        (0, vitest_1.expect)(set.has('3+2')).toBe(true);
+        (0, vitest_1.expect)(set.has('3+1+1')).toBe(true);
+        (0, vitest_1.expect)(set.has('2+2+1')).toBe(true);
+        (0, vitest_1.expect)(set.has('2+1+1+1')).toBe(true);
+        (0, vitest_1.expect)(set.has('1+1+1+1+1')).toBe(true);
+    });
+    (0, vitest_1.it)('partitionsCount coincide con secuencia p(n)', () => {
+        const expected = [1n, 1n, 2n, 3n, 5n, 7n, 11n, 15n, 22n, 30n, 42n];
+        for (let n = 0; n < expected.length; n++) {
+            (0, vitest_1.expect)((0, combinatorics_1.partitionsCount)(n)).toBe(expected[n]);
+        }
+        (0, vitest_1.expect)((0, combinatorics_1.partitionsCount)(50)).toBe(204226n);
+    });
+    (0, vitest_1.it)('partitionsIntoParts: p_3(7) = 4', () => {
+        // particiones de 7 en exactamente 3 partes: 5+1+1, 4+2+1, 3+3+1, 3+2+2
+        (0, vitest_1.expect)((0, combinatorics_1.partitionsIntoParts)(7, 3)).toBe(4n);
+        (0, vitest_1.expect)((0, combinatorics_1.partitionsIntoParts)(0, 0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.partitionsIntoParts)(5, 5)).toBe(1n);
+    });
+});
+(0, vitest_1.describe)('special numbers', () => {
+    (0, vitest_1.it)('stirlingSecondKind(4,2)=7', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingSecondKind)(4, 2)).toBe(7n);
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingSecondKind)(0, 0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingSecondKind)(5, 3)).toBe(25n);
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingSecondKind)(6, 2)).toBe(31n);
+    });
+    (0, vitest_1.it)('stirlingFirstKind valores conocidos', () => {
+        // c(4,2) = 11; c(5,2)=50
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingFirstKind)(4, 2)).toBe(11n);
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingFirstKind)(5, 2)).toBe(50n);
+        (0, vitest_1.expect)((0, combinatorics_1.stirlingFirstKind)(0, 0)).toBe(1n);
+    });
+    (0, vitest_1.it)('catalan(5)=42 y secuencia', () => {
+        const expected = [1n, 1n, 2n, 5n, 14n, 42n, 132n, 429n, 1430n];
+        for (let n = 0; n < expected.length; n++) {
+            (0, vitest_1.expect)((0, combinatorics_1.catalan)(n)).toBe(expected[n]);
+        }
+    });
+    (0, vitest_1.it)('bellNumber(4)=15 y secuencia', () => {
+        const expected = [1n, 1n, 2n, 5n, 15n, 52n, 203n, 877n, 4140n];
+        for (let n = 0; n < expected.length; n++) {
+            (0, vitest_1.expect)((0, combinatorics_1.bellNumber)(n)).toBe(expected[n]);
+        }
+    });
+    (0, vitest_1.it)('eulerNumber (zigzag) secuencia A000111', () => {
+        // 1, 1, 1, 2, 5, 16, 61, 272, 1385
+        const expected = [1n, 1n, 1n, 2n, 5n, 16n, 61n, 272n, 1385n];
+        for (let n = 0; n < expected.length; n++) {
+            (0, vitest_1.expect)((0, combinatorics_1.eulerNumber)(n)).toBe(expected[n]);
+        }
+    });
+    (0, vitest_1.it)('eulerianNumber(4,2)=11 (descents)', () => {
+        // <4,0>=1, <4,1>=11, <4,2>=11, <4,3>=1; suma 24 = 4!
+        (0, vitest_1.expect)((0, combinatorics_1.eulerianNumber)(4, 1)).toBe(11n);
+        (0, vitest_1.expect)((0, combinatorics_1.eulerianNumber)(4, 2)).toBe(11n);
+        (0, vitest_1.expect)((0, combinatorics_1.eulerianNumber)(4, 0)).toBe(1n);
+        (0, vitest_1.expect)((0, combinatorics_1.eulerianNumber)(4, 3)).toBe(1n);
+    });
+});
+(0, vitest_1.describe)('set partitions', () => {
+    (0, vitest_1.it)('setPartitions([a,b,c]) tiene 5 = Bell(3)', () => {
+        const ps = (0, combinatorics_1.setPartitions)(['a', 'b', 'c']);
+        (0, vitest_1.expect)(ps).toHaveLength(5);
+    });
+    (0, vitest_1.it)('setPartitionsCount coincide con bellNumber', () => {
+        for (let n = 0; n < 7; n++) {
+            (0, vitest_1.expect)((0, combinatorics_1.setPartitionsCount)(n)).toBe((0, combinatorics_1.bellNumber)(n));
+        }
+    });
+    (0, vitest_1.it)('setPartitions ítems vacíos = [[]]', () => {
+        const ps = (0, combinatorics_1.setPartitions)([]);
+        (0, vitest_1.expect)(ps).toEqual([[]]);
+    });
+});
+(0, vitest_1.describe)('burnside', () => {
+    (0, vitest_1.it)('cuenta collares de 3 perlas con 3 colores y rotaciones', () => {
+        // |collares| = (1/3)*(3^3 + 3 + 3) = (27+3+3)/3 = 11
+        const rots = (0, combinatorics_1.cyclicRotations)(3);
+        const count = (0, combinatorics_1.burnsideCount)(['R', 'G', 'B'], 3, rots);
+        (0, vitest_1.expect)(count).toBe(11);
+    });
+    (0, vitest_1.it)('grupo trivial reproduce |X|', () => {
+        const id = (x) => x.slice();
+        const count = (0, combinatorics_1.burnsideCount)(['a', 'b'], 3, [id]);
+        (0, vitest_1.expect)(count).toBe(8);
+    });
+    (0, vitest_1.it)('rechaza groupActions vacío', () => {
+        (0, vitest_1.expect)(() => (0, combinatorics_1.burnsideCount)([1], 2, [])).toThrow();
+    });
+});
+(0, vitest_1.describe)('generating functions', () => {
+    (0, vitest_1.it)('multiplyPolynomials (1+x)*(1+x) = 1+2x+x^2', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.multiplyPolynomials)([1, 1], [1, 1])).toEqual([1, 2, 1]);
+    });
+    (0, vitest_1.it)('multiplyPolynomials (1+x)^4 coeficientes son binomiales', () => {
+        let p = [1, 1];
+        for (let i = 0; i < 3; i++)
+            p = (0, combinatorics_1.multiplyPolynomials)(p, [1, 1]);
+        (0, vitest_1.expect)(p).toEqual([1, 4, 6, 4, 1]);
+    });
+    (0, vitest_1.it)('binomialGF(5) = fila 5 del triángulo de Pascal', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.binomialGF)(5)).toEqual([1, 5, 10, 10, 5, 1]);
+        (0, vitest_1.expect)((0, combinatorics_1.binomialGF)(0)).toEqual([1]);
+    });
+    (0, vitest_1.it)('generatingFunction trunca/rellena', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.generatingFunction)([1, 2, 3], 5)).toEqual([1, 2, 3, 0, 0, 0]);
+        (0, vitest_1.expect)((0, combinatorics_1.generatingFunction)([1, 2, 3, 4, 5, 6], 2)).toEqual([1, 2, 3]);
+    });
+});
+(0, vitest_1.describe)('inclusion-exclusion', () => {
+    (0, vitest_1.it)('|A∪B∪C| con A={1,2,3}, B={2,3,4}, C={3,4,5} = 5', () => {
+        const A = new Set([1, 2, 3]);
+        const B = new Set([2, 3, 4]);
+        const C = new Set([3, 4, 5]);
+        (0, vitest_1.expect)((0, combinatorics_1.inclusionExclusion)([A, B, C])).toBe(5);
+    });
+    (0, vitest_1.it)('conjuntos disjuntos suman', () => {
+        const A = new Set([1, 2]);
+        const B = new Set([3, 4]);
+        const C = new Set([5, 6]);
+        (0, vitest_1.expect)((0, combinatorics_1.inclusionExclusion)([A, B, C])).toBe(6);
+    });
+    (0, vitest_1.it)('vacío = 0, un solo set = |set|', () => {
+        (0, vitest_1.expect)((0, combinatorics_1.inclusionExclusion)([])).toBe(0);
+        (0, vitest_1.expect)((0, combinatorics_1.inclusionExclusion)([new Set([1, 2, 3, 4])])).toBe(4);
+    });
+});
+//# sourceMappingURL=combinatorics.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"combinatorics.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/combinatorics/combinatorics.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAgC0C;AAE1C,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAS,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,gCAAgB,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,qCAAqB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,oCAAoB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,8BAA8B;QAC5E,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,0DAA0D;QAC1D,MAAM,MAAM,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,kCAAkB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,gEAAgE;QAChE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,uEAAuE;QACvE,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,yBAAyB;QACzB,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,mCAAmC;QACnC,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAS,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,qDAAqD;QACrD,MAAM,IAAI,GAAG,IAAA,+BAAe,EAAC,CAAC,CAAqC,CAAC;QACpE,MAAM,KAAK,GAAG,IAAA,6BAAa,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,EAAE,GAA8B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,IAAA,6BAAa,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,CAAC,GAAG,IAAA,mCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts

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

package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts.map

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