@stevenvo780/st-lang 4.6.0 → 4.7.0

package/dist/tests/reasoning/information-theory/information-theory.test.js

@@ -0,0 +1,291 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const information_theory_1 = require("../../../reasoning/information-theory");
+// ------------------------------------------------------------
+// Fixtures
+// ------------------------------------------------------------
+function uniform(symbols) {
+    const m = new Map();
+    const p = 1 / symbols.length;
+    for (const s of symbols)
+        m.set(s, p);
+    return m;
+}
+function dist(...pairs) {
+    return new Map(pairs);
+}
+const EPS = 1e-10;
+const close = (a, b, tol = EPS) => (0, vitest_1.expect)(Math.abs(a - b)).toBeLessThan(tol);
+// ------------------------------------------------------------
+// 1. Distribución uniforme y validación
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / validación y soporte', () => {
+    (0, vitest_1.it)('isValidDistribution acepta uniforme', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(uniform([1, 2, 3, 4]))).toBe(true);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza suma ≠ 1', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', 0.4], ['b', 0.4]))).toBe(false);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza probabilidades negativas', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', -0.1], ['b', 1.1]))).toBe(false);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza NaN', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', NaN], ['b', 1]))).toBe(false);
+    });
+    (0, vitest_1.it)('normalize reescala a masa 1', () => {
+        const p = (0, information_theory_1.normalize)(dist(['a', 2], ['b', 3], ['c', 5]));
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(p)).toBe(true);
+        close(p.get('a'), 0.2);
+        close(p.get('b'), 0.3);
+        close(p.get('c'), 0.5);
+    });
+    (0, vitest_1.it)('normalize lanza si masa total 0', () => {
+        (0, vitest_1.expect)(() => (0, information_theory_1.normalize)(dist(['a', 0], ['b', 0]))).toThrow();
+    });
+    (0, vitest_1.it)('support omite probabilidades 0', () => {
+        (0, vitest_1.expect)((0, information_theory_1.support)(dist(['a', 0.5], ['b', 0], ['c', 0.5]))).toEqual(['a', 'c']);
+    });
+});
+// ------------------------------------------------------------
+// 2. Entropía de Shannon
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / Shannon entropy', () => {
+    (0, vitest_1.it)('uniforme N=8 → log2(8) = 3 bits', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform([1, 2, 3, 4, 5, 6, 7, 8])), 3);
+    });
+    (0, vitest_1.it)('uniforme N=2 → 1 bit', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform(['H', 'T'])), 1);
+    });
+    (0, vitest_1.it)('degenerada (1 outcome) → 0', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['a', 1])), 0);
+    });
+    (0, vitest_1.it)('moneda sesgada p=0.25 → H ≈ 0.811 bits', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['H', 0.25], ['T', 0.75])), 0.8112781244591328, 1e-12);
+    });
+    (0, vitest_1.it)('base e (nats): uniforme N=4 → ln 4', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform(['a', 'b', 'c', 'd']), 'e'), Math.log(4), 1e-12);
+    });
+    (0, vitest_1.it)('base 10 (dits): uniforme N=10 → 1', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform([0, 1, 2, 3, 4, 5, 6, 7, 8, 9]), 10), 1, 1e-12);
+    });
+    (0, vitest_1.it)('probabilidades 0 no rompen el cómputo (0·log 0 = 0)', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['a', 0.5], ['b', 0.5], ['c', 0])), 1);
+    });
+});
+// ------------------------------------------------------------
+// 3. Rényi y variantes
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / Rényi y entropías especiales', () => {
+    (0, vitest_1.it)('Rényi(α=1) coincide con Shannon', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        close((0, information_theory_1.renyiEntropy)(p, 1), (0, information_theory_1.shannonEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('Rényi(α→1+) → Shannon (continuidad)', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        const target = (0, information_theory_1.shannonEntropy)(p);
+        close((0, information_theory_1.renyiEntropy)(p, 1.0001), target, 1e-3);
+        close((0, information_theory_1.renyiEntropy)(p, 0.9999), target, 1e-3);
+    });
+    (0, vitest_1.it)('Rényi(α=0) → log|sop(p)|', () => {
+        const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
+        close((0, information_theory_1.renyiEntropy)(p, 0), Math.log2(2));
+    });
+    (0, vitest_1.it)('Rényi(α=2) = collisionEntropy', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        close((0, information_theory_1.renyiEntropy)(p, 2), (0, information_theory_1.collisionEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('minEntropy = -log max p(x)', () => {
+        const p = dist(['a', 0.7], ['b', 0.2], ['c', 0.1]);
+        close((0, information_theory_1.minEntropy)(p), -Math.log2(0.7), 1e-12);
+    });
+    (0, vitest_1.it)('maxEntropy = log|sop(p)|', () => {
+        const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
+        close((0, information_theory_1.maxEntropy)(p), 1);
+    });
+    (0, vitest_1.it)('orden: minEntropy ≤ Shannon ≤ maxEntropy', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.15], ['d', 0.05]);
+        const hMin = (0, information_theory_1.minEntropy)(p);
+        const hShannon = (0, information_theory_1.shannonEntropy)(p);
+        const hMax = (0, information_theory_1.maxEntropy)(p);
+        (0, vitest_1.expect)(hMin).toBeLessThanOrEqual(hShannon + 1e-12);
+        (0, vitest_1.expect)(hShannon).toBeLessThanOrEqual(hMax + 1e-12);
+    });
+    (0, vitest_1.it)('renyi α negativo → lanza', () => {
+        (0, vitest_1.expect)(() => (0, information_theory_1.renyiEntropy)(dist(['a', 1]), -1)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 4. Divergencias
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / KL divergence', () => {
+    (0, vitest_1.it)('KL(p, p) = 0', () => {
+        const p = dist(['a', 0.3], ['b', 0.7]);
+        close((0, information_theory_1.klDivergence)(p, p), 0);
+    });
+    (0, vitest_1.it)('KL no simétrica en general', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.1], ['b', 0.9]);
+        const dpq = (0, information_theory_1.klDivergence)(p, q);
+        const dqp = (0, information_theory_1.klDivergence)(q, p);
+        (0, vitest_1.expect)(dpq).not.toBeCloseTo(dqp, 6);
+    });
+    (0, vitest_1.it)('KL ≥ 0 (no-negatividad / desigualdad de Gibbs)', () => {
+        const p = dist(['a', 0.2], ['b', 0.3], ['c', 0.5]);
+        const q = dist(['a', 0.4], ['b', 0.4], ['c', 0.2]);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(q, p)).toBeGreaterThanOrEqual(0);
+    });
+    (0, vitest_1.it)('KL diverge a +∞ cuando q(x)=0 pero p(x)>0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 1], ['b', 0]);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBe(Number.POSITIVE_INFINITY);
+    });
+});
+(0, vitest_1.describe)('information-theory / JS divergence', () => {
+    (0, vitest_1.it)('JS simétrica', () => {
+        const p = dist(['a', 0.2], ['b', 0.8]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        close((0, information_theory_1.jsDivergence)(p, q), (0, information_theory_1.jsDivergence)(q, p), 1e-12);
+    });
+    (0, vitest_1.it)('JS(p, p) = 0', () => {
+        const p = dist(['a', 0.3], ['b', 0.7]);
+        close((0, information_theory_1.jsDivergence)(p, p), 0);
+    });
+    (0, vitest_1.it)('JS finita aun con soportes disjuntos (acotada por log 2)', () => {
+        const p = dist(['a', 1], ['b', 0]);
+        const q = dist(['a', 0], ['b', 1]);
+        const js = (0, information_theory_1.jsDivergence)(p, q);
+        (0, vitest_1.expect)(Number.isFinite(js)).toBe(true);
+        close(js, 1, 1e-12); // base 2: log 2 = 1.
+    });
+});
+(0, vitest_1.describe)('information-theory / TV y Hellinger', () => {
+    (0, vitest_1.it)('TV ≤ 1 y TV(p,p)=0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, p)).toBe(0);
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(1);
+        close((0, information_theory_1.tvDistance)(p, q), 0.2);
+    });
+    (0, vitest_1.it)('TV(p,q)=1 si soportes disjuntos', () => {
+        const p = dist(['a', 1], ['b', 0]);
+        const q = dist(['a', 0], ['b', 1]);
+        close((0, information_theory_1.tvDistance)(p, q), 1);
+    });
+    (0, vitest_1.it)('Hellinger ∈ [0, 1], simétrica, =0 sii p=q, =1 sii soportes disjuntos', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        (0, vitest_1.expect)((0, information_theory_1.hellingerDistance)(p, p)).toBe(0);
+        close((0, information_theory_1.hellingerDistance)(p, q), (0, information_theory_1.hellingerDistance)(q, p), 1e-12);
+        const r = dist(['a', 1], ['b', 0]);
+        const s = dist(['a', 0], ['b', 1]);
+        close((0, information_theory_1.hellingerDistance)(r, s), 1);
+    });
+    (0, vitest_1.it)('Pinsker: TV ≤ sqrt(KL/2) cuando KL finita (base e)', () => {
+        const p = dist(['a', 0.4], ['b', 0.6]);
+        const q = dist(['a', 0.5], ['b', 0.5]);
+        const kl = (0, information_theory_1.klDivergence)(p, q, 'e');
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(Math.sqrt(kl / 2) + 1e-12);
+    });
+});
+// ------------------------------------------------------------
+// 5. Cross-entropy
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / cross-entropy', () => {
+    (0, vitest_1.it)('H(p, q) = H(p) + KL(p, q)', () => {
+        const p = dist(['a', 0.3], ['b', 0.5], ['c', 0.2]);
+        const q = dist(['a', 0.25], ['b', 0.5], ['c', 0.25]);
+        close((0, information_theory_1.crossEntropy)(p, q), (0, information_theory_1.shannonEntropy)(p) + (0, information_theory_1.klDivergence)(p, q), 1e-12);
+    });
+    (0, vitest_1.it)('H(p, p) = H(p)', () => {
+        const p = dist(['a', 0.4], ['b', 0.6]);
+        close((0, information_theory_1.crossEntropy)(p, p), (0, information_theory_1.shannonEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('cross-entropy +∞ si q(x)=0 con p(x)>0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 1], ['b', 0]);
+        (0, vitest_1.expect)((0, information_theory_1.crossEntropy)(p, q)).toBe(Number.POSITIVE_INFINITY);
+    });
+});
+// ------------------------------------------------------------
+// 6. Joint / mutual information
+// ------------------------------------------------------------
+function makeJoint(entries) {
+    const j = new Map();
+    for (const [x, y, p] of entries)
+        j.set([x, y], p);
+    return j;
+}
+(0, vitest_1.describe)('information-theory / joint distributions', () => {
+    (0, vitest_1.it)('jointToMarginals preserva masa total', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.2],
+            ['x2', 'y1', 0.3],
+            ['x2', 'y2', 0.4],
+        ]);
+        const { X, Y } = (0, information_theory_1.jointToMarginals)(j);
+        close(X.get('x1') + X.get('x2'), 1);
+        close(Y.get('y1') + Y.get('y2'), 1);
+        close(X.get('x1'), 0.3);
+        close(X.get('x2'), 0.7);
+        close(Y.get('y1'), 0.4);
+        close(Y.get('y2'), 0.6);
+    });
+    (0, vitest_1.it)('I(X;Y) = 0 cuando X ⊥ Y (joint factorizable)', () => {
+        // p(x,y) = p(x)·p(y) con p(x)=[0.4,0.6], p(y)=[0.25,0.75].
+        const j = makeJoint([
+            ['x1', 'y1', 0.4 * 0.25],
+            ['x1', 'y2', 0.4 * 0.75],
+            ['x2', 'y1', 0.6 * 0.25],
+            ['x2', 'y2', 0.6 * 0.75],
+        ]);
+        close((0, information_theory_1.mutualInformation)(j), 0, 1e-12);
+    });
+    (0, vitest_1.it)('I(X;X) = H(X) (información mutua de una variable consigo misma)', () => {
+        // Joint perfectamente correlacionada: p(x,x) = p(x), p(x,y)=0 si x≠y.
+        const j = makeJoint([
+            ['a', 'a', 0.3],
+            ['b', 'b', 0.5],
+            ['c', 'c', 0.2],
+        ]);
+        const { X } = (0, information_theory_1.jointToMarginals)(j);
+        close((0, information_theory_1.mutualInformation)(j), (0, information_theory_1.shannonEntropy)(X), 1e-12);
+    });
+    (0, vitest_1.it)('I(X;Y) ≥ 0 siempre', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        (0, vitest_1.expect)((0, information_theory_1.mutualInformation)(j)).toBeGreaterThanOrEqual(-1e-12);
+    });
+    (0, vitest_1.it)('regla de la cadena: H(X,Y) = H(X) + H(Y) − I(X;Y)', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        const { hX, hY, hXY, iXY } = (0, information_theory_1.chainRule)(j);
+        close(hXY, hX + hY - iXY, 1e-12);
+    });
+    (0, vitest_1.it)('conditionalEntropy: H(X|Y) = H(X,Y) − H(Y) ≥ 0', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        const hX_Y = (0, information_theory_1.conditionalEntropy)(j, 'X');
+        const hY_X = (0, information_theory_1.conditionalEntropy)(j, 'Y');
+        (0, vitest_1.expect)(hX_Y).toBeGreaterThanOrEqual(-1e-12);
+        (0, vitest_1.expect)(hY_X).toBeGreaterThanOrEqual(-1e-12);
+        // I(X;Y) = H(X) − H(X|Y).
+        const { hX, iXY } = (0, information_theory_1.chainRule)(j);
+        close(iXY, hX - hX_Y, 1e-12);
+    });
+});
+//# sourceMappingURL=information-theory.test.js.map

package/dist/tests/reasoning/information-theory/information-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"information-theory.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/information-theory/information-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8EAoB+C;AAE/C,+DAA+D;AAC/D,WAAW;AACX,+DAA+D;AAE/D,SAAS,OAAO,CAAI,OAAY;IAC9B,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,IAAI,CAAI,GAAG,KAAoB;IACtC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,GAAG,GAAG,KAAK,CAAC;AAClB,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,GAAG,GAAG,GAAG,EAAE,EAAE,CAAC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAE7F,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qCAAgB,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,qBAAqB;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAE/D,SAAS,SAAS,CAAO,OAAyB;IAChD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,2DAA2D;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;SACzB,CAAC,CAAC;QACH,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,sEAAsE;QACtE,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,0BAA0B;QAC1B,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/lemma-synthesis/lemma-synthesis.test.d.ts.map

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