@stevenvo780/st-lang 4.7.0 → 4.8.0

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

@@ -0,0 +1,370 @@
+"use strict";
+// ============================================================
+// ST Probabilistic Programming — Tests
+// ============================================================
+//
+// Cubre las 4 motores (enumerate / rejection / importance / MH),
+// las 6 distribuciones, observe/factor, y los ejemplos canónicos.
+// Usa rng seedable (mulberry32) para tests deterministas.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const probabilistic_1 = require("../../../reasoning/probabilistic");
+// ── RNG seedable (mulberry32) ────────────────────────────────
+function seededRng(seed) {
+    let s = seed >>> 0;
+    return () => {
+        s = (s + 0x6d2b79f5) >>> 0;
+        let t = s;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+// ── Helpers ──────────────────────────────────────────────────
+function within(actual, expected, tol) {
+    (0, vitest_1.expect)(Math.abs(actual - expected)).toBeLessThanOrEqual(tol);
+}
+function frac(samples, target) {
+    let n = 0;
+    for (const s of samples)
+        if (s === target)
+            n += 1;
+    return n / samples.length;
+}
+// ============================================================
+// 1. Distribuciones — sample + logPdf + enumerate support
+// ============================================================
+(0, vitest_1.describe)('distributions', () => {
+    (0, vitest_1.it)('bernoulli: sampleFrom converge a p con N grande', () => {
+        const rng = seededRng(42);
+        const dist = (0, probabilistic_1.bernoulli)(0.3);
+        let trues = 0;
+        const N = 10_000;
+        for (let i = 0; i < N; i++)
+            if ((0, probabilistic_1.sampleFrom)(dist, rng))
+                trues += 1;
+        within(trues / N, 0.3, 0.02);
+    });
+    (0, vitest_1.it)('bernoulli: logPdf(true|p=0.5) = -log(2)', () => {
+        within((0, probabilistic_1.logPdf)((0, probabilistic_1.bernoulli)(0.5), true), -Math.log(2), 1e-9);
+        within((0, probabilistic_1.logPdf)((0, probabilistic_1.bernoulli)(0.5), false), -Math.log(2), 1e-9);
+    });
+    (0, vitest_1.it)('uniform: muestras caen dentro de [low, high) y logPdf es -log(range)', () => {
+        const rng = seededRng(1);
+        const dist = (0, probabilistic_1.uniform)(-2, 5);
+        for (let i = 0; i < 1000; i++) {
+            const x = (0, probabilistic_1.sampleFrom)(dist, rng);
+            (0, vitest_1.expect)(x).toBeGreaterThanOrEqual(-2);
+            (0, vitest_1.expect)(x).toBeLessThan(5);
+        }
+        within((0, probabilistic_1.logPdf)(dist, 0), -Math.log(7), 1e-9);
+        (0, vitest_1.expect)((0, probabilistic_1.logPdf)(dist, 100)).toBe(-Infinity);
+    });
+    (0, vitest_1.it)('normal: media empírica converge', () => {
+        const rng = seededRng(7);
+        const dist = (0, probabilistic_1.normal)(5, 2);
+        let sum = 0;
+        const N = 20_000;
+        for (let i = 0; i < N; i++)
+            sum += (0, probabilistic_1.sampleFrom)(dist, rng);
+        within(sum / N, 5, 0.1);
+    });
+    (0, vitest_1.it)('normal: logPdf máximo en la media', () => {
+        const dist = (0, probabilistic_1.normal)(0, 1);
+        const peak = (0, probabilistic_1.logPdf)(dist, 0);
+        const off = (0, probabilistic_1.logPdf)(dist, 2);
+        (0, vitest_1.expect)(peak).toBeGreaterThan(off);
+    });
+    (0, vitest_1.it)('poisson: media empírica ≈ lambda', () => {
+        const rng = seededRng(13);
+        const dist = (0, probabilistic_1.poisson)(4);
+        let sum = 0;
+        const N = 5000;
+        for (let i = 0; i < N; i++)
+            sum += (0, probabilistic_1.sampleFrom)(dist, rng);
+        within(sum / N, 4, 0.2);
+    });
+    (0, vitest_1.it)('categorical: frecuencia empírica ≈ probabilidad declarada', () => {
+        const rng = seededRng(99);
+        const dist = (0, probabilistic_1.categorical)(['a', 'b', 'c'], [0.1, 0.6, 0.3]);
+        const counts = new Map();
+        const N = 10_000;
+        for (let i = 0; i < N; i++) {
+            const v = (0, probabilistic_1.sampleFrom)(dist, rng);
+            counts.set(v, (counts.get(v) ?? 0) + 1);
+        }
+        within((counts.get('a') ?? 0) / N, 0.1, 0.02);
+        within((counts.get('b') ?? 0) / N, 0.6, 0.02);
+        within((counts.get('c') ?? 0) / N, 0.3, 0.02);
+    });
+    (0, vitest_1.it)('discrete: enumerateSupport normaliza la PMF', () => {
+        const pmf = new Map([
+            ['x', 2],
+            ['y', 6],
+            ['z', 2],
+        ]);
+        const support = (0, probabilistic_1.enumerateSupport)((0, probabilistic_1.discrete)(pmf));
+        const byKey = new Map(support);
+        within(byKey.get('x') ?? 0, 0.2, 1e-9);
+        within(byKey.get('y') ?? 0, 0.6, 1e-9);
+        within(byKey.get('z') ?? 0, 0.2, 1e-9);
+    });
+    (0, vitest_1.it)('enumerateSupport falla sobre normal/uniform/poisson', () => {
+        (0, vitest_1.expect)(() => (0, probabilistic_1.enumerateSupport)((0, probabilistic_1.normal)(0, 1))).toThrow();
+        (0, vitest_1.expect)(() => (0, probabilistic_1.enumerateSupport)((0, probabilistic_1.uniform)(0, 1))).toThrow();
+        (0, vitest_1.expect)(() => (0, probabilistic_1.enumerateSupport)((0, probabilistic_1.poisson)(2))).toThrow();
+    });
+});
+// ============================================================
+// 2. Enumerate — exacto sobre discreto finito
+// ============================================================
+(0, vitest_1.describe)('enumerate', () => {
+    (0, vitest_1.it)('coinExample: P(true)=0.5 exacto', () => {
+        const post = (0, probabilistic_1.enumerate)((0, probabilistic_1.coinExample)());
+        (0, vitest_1.expect)(post.samples.length).toBe(2);
+        const histTrue = post.histogram.get(true) ?? 0;
+        const histFalse = post.histogram.get(false) ?? 0;
+        within(histTrue, 0.5, 1e-9);
+        within(histFalse, 0.5, 1e-9);
+    });
+    (0, vitest_1.it)('biasedCoin(0.7): enumera P(true)=0.7 exacto', () => {
+        const post = (0, probabilistic_1.enumerate)((0, probabilistic_1.biasedCoinExample)(0.7));
+        within(post.histogram.get(true) ?? 0, 0.7, 1e-9);
+    });
+    (0, vitest_1.it)('twoCoinsExample: P(true)=0.25 (AND de dos Bernoulli(0.5))', () => {
+        const post = (0, probabilistic_1.enumerate)((0, probabilistic_1.twoCoinsExample)());
+        within(post.histogram.get(true) ?? 0, 0.25, 1e-9);
+        within(post.histogram.get(false) ?? 0, 0.75, 1e-9);
+    });
+    (0, vitest_1.it)('observe condiciona el posterior exactamente: dada coin=true, P(coin=true|obs)=1', () => {
+        const program = (s) => {
+            const c = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            s.observe(c === true);
+            return c;
+        };
+        const post = (0, probabilistic_1.enumerate)(program);
+        within(post.histogram.get(true) ?? 0, 1, 1e-9);
+        (0, vitest_1.expect)(post.histogram.get(false) ?? 0).toBeLessThan(1e-9);
+    });
+    (0, vitest_1.it)('factor(log(2)) sesga uniformemente', () => {
+        // Programa: coin Bernoulli(0.5). factor(log(2)) si true; equivalente a P(true)=2/3.
+        const program = (s) => {
+            const c = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            if (c)
+                s.factor(Math.log(2));
+            return c;
+        };
+        const post = (0, probabilistic_1.enumerate)(program);
+        within(post.histogram.get(true) ?? 0, 2 / 3, 1e-9);
+    });
+    (0, vitest_1.it)('enumerate sobre programa con dos sample sites enumera 4 ramas', () => {
+        const program = (s) => {
+            const a = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            const b = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            return `${a}-${b}`;
+        };
+        const post = (0, probabilistic_1.enumerate)(program);
+        (0, vitest_1.expect)(post.samples.length).toBe(4);
+        within(post.histogram.get('true-true') ?? 0, 0.25, 1e-9);
+        within(post.histogram.get('true-false') ?? 0, 0.25, 1e-9);
+        within(post.histogram.get('false-true') ?? 0, 0.25, 1e-9);
+        within(post.histogram.get('false-false') ?? 0, 0.25, 1e-9);
+    });
+    (0, vitest_1.it)('enumerate respeta maxStates explotando si excede', () => {
+        // Programa con 20 monedas → 2²⁰ ramas ≈ 1M; con maxStates=100 falla.
+        const program = (s) => {
+            let n = 0;
+            for (let i = 0; i < 20; i++) {
+                if (s.sample((0, probabilistic_1.bernoulli)(0.5)))
+                    n += 1;
+            }
+            return n;
+        };
+        (0, vitest_1.expect)(() => (0, probabilistic_1.enumerate)(program, 100)).toThrow();
+    });
+});
+// ============================================================
+// 3. Rejection sampling
+// ============================================================
+(0, vitest_1.describe)('rejectionSample', () => {
+    (0, vitest_1.it)('converge a la frecuencia esperada (coin sin observe)', () => {
+        const rng = seededRng(2024);
+        const post = (0, probabilistic_1.rejectionSample)((0, probabilistic_1.coinExample)(), { numSamples: 3000, rng });
+        within(frac(post.samples, true), 0.5, 0.04);
+    });
+    (0, vitest_1.it)('observe condiciona: rejection sobre coin=true devuelve solo true', () => {
+        const rng = seededRng(7);
+        const program = (s) => {
+            const c = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            s.observe(c === true);
+            return c;
+        };
+        const post = (0, probabilistic_1.rejectionSample)(program, { numSamples: 500, rng });
+        (0, vitest_1.expect)(post.samples.every((v) => v === true)).toBe(true);
+    });
+    (0, vitest_1.it)('rejection sobre AND condicionado a true exige ambas monedas true', () => {
+        const rng = seededRng(100);
+        const program = (s) => {
+            const a = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            const b = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            s.observe(a && b);
+            return { a, b };
+        };
+        const post = (0, probabilistic_1.rejectionSample)(program, { numSamples: 200, rng });
+        (0, vitest_1.expect)(post.samples.every((v) => v.a && v.b)).toBe(true);
+    });
+    (0, vitest_1.it)('rejection con observe imposible lanza error', () => {
+        const rng = seededRng(1);
+        const program = (s) => {
+            // Condición imposible: coin debe ser true Y false.
+            const c = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            s.observe(c && !c);
+            return c;
+        };
+        (0, vitest_1.expect)(() => (0, probabilistic_1.rejectionSample)(program, { numSamples: 10, maxAttempts: 100, rng })).toThrow();
+    });
+});
+// ============================================================
+// 4. Importance sampling
+// ============================================================
+(0, vitest_1.describe)('importanceSample', () => {
+    (0, vitest_1.it)('coin sin observe: P(true) ≈ 0.5 vía pesos uniformes', () => {
+        const rng = seededRng(11);
+        const post = (0, probabilistic_1.importanceSample)((0, probabilistic_1.coinExample)(), { numSamples: 2000, rng });
+        within(post.histogram.get(true) ?? 0, 0.5, 0.05);
+    });
+    (0, vitest_1.it)('importance con factor sesgado reproduce posterior (P(true)=2/3)', () => {
+        const rng = seededRng(3);
+        const program = (s) => {
+            const c = s.sample((0, probabilistic_1.bernoulli)(0.5));
+            if (c)
+                s.factor(Math.log(2));
+            return c;
+        };
+        const post = (0, probabilistic_1.importanceSample)(program, { numSamples: 5000, rng });
+        within(post.histogram.get(true) ?? 0, 2 / 3, 0.04);
+    });
+    (0, vitest_1.it)('importance reporta ESS positivo y finito', () => {
+        const rng = seededRng(50);
+        const post = (0, probabilistic_1.importanceSample)((0, probabilistic_1.coinExample)(), { numSamples: 500, rng });
+        (0, vitest_1.expect)(post.ess).toBeGreaterThan(0);
+        (0, vitest_1.expect)(post.ess).toBeLessThanOrEqual(500);
+    });
+    (0, vitest_1.it)('importance sobre gaussianMeanModel ajusta mu cerca de la media empírica', () => {
+        // Posterior analítico para data ~ Normal(mu_true=3, σ=1) con prior Normal(0, 10):
+        //   mu | data ~ Normal((Σxᵢ) / (n + 0.01), ...) ≈ media empírica para n grande.
+        const rng = seededRng(999);
+        // Datos sintéticos generados desde Normal(3, 1).
+        const dataRng = seededRng(123);
+        const data = [];
+        for (let i = 0; i < 30; i++) {
+            data.push((0, probabilistic_1.sampleFrom)((0, probabilistic_1.normal)(3, 1), dataRng));
+        }
+        const post = (0, probabilistic_1.importanceSample)((0, probabilistic_1.gaussianMeanModel)(data), {
+            numSamples: 5000,
+            rng,
+        });
+        // El posterior mean debería estar cerca de la media empírica.
+        const empMean = data.reduce((s, x) => s + x, 0) / data.length;
+        within(post.mean ?? 0, empMean, 0.5);
+    });
+});
+// ============================================================
+// 5. Metropolis-Hastings MCMC
+// ============================================================
+(0, vitest_1.describe)('metropolisHastings', () => {
+    (0, vitest_1.it)('coin sin observe: P(true) ≈ 0.5 vía MH', () => {
+        const rng = seededRng(77);
+        const post = (0, probabilistic_1.metropolisHastings)((0, probabilistic_1.coinExample)(), {
+            numSamples: 2000,
+            burnIn: 500,
+            rng,
+        });
+        within(frac(post.samples, true), 0.5, 0.05);
+    });
+    (0, vitest_1.it)('MH sobre gaussiana converge a la media del posterior', () => {
+        // 10 datos desde Normal(2, 1); con prior Normal(0, 10), posterior ≈ Normal(empMean, ...).
+        const dataRng = seededRng(42);
+        const data = [];
+        for (let i = 0; i < 20; i++) {
+            data.push((0, probabilistic_1.sampleFrom)((0, probabilistic_1.normal)(2, 1), dataRng));
+        }
+        const empMean = data.reduce((s, x) => s + x, 0) / data.length;
+        const rng = seededRng(123);
+        const post = (0, probabilistic_1.metropolisHastings)((0, probabilistic_1.gaussianMeanModel)(data), {
+            numSamples: 3000,
+            burnIn: 1000,
+            rng,
+        });
+        within(post.mean ?? 0, empMean, 0.4);
+        (0, vitest_1.expect)(post.acceptanceRate).toBeGreaterThan(0);
+        (0, vitest_1.expect)(post.acceptanceRate).toBeLessThanOrEqual(1);
+    });
+    (0, vitest_1.it)('MH sobre bayesian linear regression recupera slope/intercept aproximados', () => {
+        // Datos sintéticos: y = 2x + 1 + ruido ~ N(0, 1).
+        const dataRng = seededRng(2026);
+        const xs = [];
+        const ys = [];
+        for (let i = 0; i < 25; i++) {
+            const x = -5 + 10 * dataRng();
+            const noise = (0, probabilistic_1.sampleFrom)((0, probabilistic_1.normal)(0, 1), dataRng);
+            xs.push(x);
+            ys.push(2 * x + 1 + noise);
+        }
+        const rng = seededRng(55);
+        const post = (0, probabilistic_1.metropolisHastings)((0, probabilistic_1.bayesianLinearRegression)(xs, ys), {
+            numSamples: 2000,
+            burnIn: 2000,
+            rng,
+        });
+        // Extraemos el slope/intercept promedio del posterior.
+        let sumSlope = 0;
+        let sumIntercept = 0;
+        for (const s of post.samples) {
+            sumSlope += s.slope;
+            sumIntercept += s.intercept;
+        }
+        const meanSlope = sumSlope / post.samples.length;
+        const meanIntercept = sumIntercept / post.samples.length;
+        within(meanSlope, 2, 0.5);
+        within(meanIntercept, 1, 1.0);
+    });
+    (0, vitest_1.it)('MH reporta tasa de aceptación entre 0 y 1', () => {
+        const rng = seededRng(8);
+        const post = (0, probabilistic_1.metropolisHastings)((0, probabilistic_1.twoCoinsExample)(), {
+            numSamples: 500,
+            burnIn: 200,
+            rng,
+        });
+        (0, vitest_1.expect)(post.acceptanceRate).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(post.acceptanceRate).toBeLessThanOrEqual(1);
+    });
+});
+// ============================================================
+// 6. Posterior summary — quantiles
+// ============================================================
+(0, vitest_1.describe)('PosteriorSummary', () => {
+    (0, vitest_1.it)('quantiles sobre uniform [0,1] están cerca de 0.025/0.5/0.975', () => {
+        const rng = seededRng(31415);
+        const program = (s) => s.sample((0, probabilistic_1.uniform)(0, 1));
+        const post = (0, probabilistic_1.importanceSample)(program, { numSamples: 5000, rng });
+        (0, vitest_1.expect)(post.quantiles).toBeDefined();
+        const q = post.quantiles;
+        within(q[0.5] ?? 0, 0.5, 0.05);
+        within(q[0.025] ?? 0, 0.025, 0.05);
+        within(q[0.975] ?? 0, 0.975, 0.05);
+    });
+    (0, vitest_1.it)('histogram suma a 1', () => {
+        const post = (0, probabilistic_1.enumerate)((0, probabilistic_1.twoCoinsExample)());
+        let total = 0;
+        for (const v of post.histogram.values())
+            total += v;
+        within(total, 1, 1e-9);
+    });
+    (0, vitest_1.it)('mean y std definidos para samples numéricos (booleanos cuentan como 0/1)', () => {
+        const post = (0, probabilistic_1.enumerate)((0, probabilistic_1.biasedCoinExample)(0.3));
+        (0, vitest_1.expect)(post.mean).toBeDefined();
+        within(post.mean, 0.3, 1e-9);
+    });
+});
+//# sourceMappingURL=probabilistic.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"probabilistic.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/probabilistic/probabilistic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;AAC/D,EAAE;AACF,iEAAiE;AACjE,kEAAkE;AAClE,0DAA0D;;AAE1D,mCAA8C;AAC9C,oEAoB0C;AAE1C,gEAAgE;AAEhE,SAAS,SAAS,CAAC,IAAY;IAC7B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,SAAS,MAAM,CAAC,MAAc,EAAE,QAAgB,EAAE,GAAW;IAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,IAAI,CAAI,OAAY,EAAE,MAAS;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,KAAK,MAAM;YAAE,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5B,CAAC;AAED,+DAA+D;AAC/D,0DAA0D;AAC1D,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,GAAG,MAAM,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,IAAA,0BAAU,EAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,KAAK,IAAI,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,IAAA,sBAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAA,sBAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAA,uBAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,CAAC,IAAA,sBAAM,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,MAAM,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,IAAA,0BAAU,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,sBAAM,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,sBAAM,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,uBAAO,EAAC,CAAC,CAAC,CAAC;QACxB,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,IAAA,0BAAU,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,2BAAW,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAiB;YAClC,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;SACT,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAA,gCAAgB,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,IAAA,uBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,IAAA,uBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,IAAA,2BAAW,GAAE,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,IAAA,+BAAe,GAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,OAAO,GAAsB,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,oFAAoF;QACpF,MAAM,OAAO,GAAsB,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,OAAO,GAAqB,CAAC,CAAC,EAAE,EAAE;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,qEAAqE;QACrE,MAAM,OAAO,GAAqB,CAAC,CAAC,EAAE,EAAE;YACtC,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC;oBAAE,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAS,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAA,+BAAe,EAAC,IAAA,2BAAW,GAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,OAAO,GAAsB,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,+BAAe,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAyC,CAAC,CAAC,EAAE,EAAE;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAClB,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,+BAAe,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,OAAO,GAAsB,CAAC,CAAC,EAAE,EAAE;YACvC,mDAAmD;YACnD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAe,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,IAAA,2BAAW,GAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,OAAO,GAAsB,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,SAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,IAAA,2BAAW,GAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,kFAAkF;QAClF,gFAAgF;QAChF,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC3B,iDAAiD;QACjD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,IAAA,0BAAU,EAAC,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,IAAA,iCAAiB,EAAC,IAAI,CAAC,EAAE;YACrD,UAAU,EAAE,IAAI;YAChB,GAAG;SACJ,CAAC,CAAC;QACH,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,8BAA8B;AAC9B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,kCAAkB,EAAC,IAAA,2BAAW,GAAE,EAAE;YAC7C,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,GAAG;YACX,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,0FAA0F;QAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,IAAA,0BAAU,EAAC,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9D,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAA,kCAAkB,EAAC,IAAA,iCAAiB,EAAC,IAAI,CAAC,EAAE;YACvD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,cAAc,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,cAAc,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,kDAAkD;QAClD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAA,0BAAU,EAAC,IAAA,sBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAChD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACX,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,kCAAkB,EAAC,IAAA,wCAAwB,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE;YAChE,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,IAAI;YACZ,GAAG;SACJ,CAAC,CAAC;QACH,uDAAuD;QACvD,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC;YACpB,YAAY,IAAI,CAAC,CAAC,SAAS,CAAC;QAC9B,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACjD,MAAM,aAAa,GAAG,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACzD,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,CAAC,aAAa,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,IAAA,kCAAkB,EAAC,IAAA,+BAAe,GAAE,EAAE;YACjD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,GAAG;YACX,GAAG;SACJ,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,cAAc,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,cAAc,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,mCAAmC;AACnC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAA,uBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAA,gCAAgB,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAU,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,IAAA,+BAAe,GAAE,CAAC,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAU,CAAC,MAAM,EAAE;YAAE,KAAK,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,IAAI,GAAG,IAAA,yBAAS,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,IAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/solver/smt-z3/z3-wasm-backend.test.d.ts

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

package/dist/tests/solver/smt-z3/z3-wasm-backend.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"z3-wasm-backend.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/solver/smt-z3/z3-wasm-backend.test.ts"],"names":[],"mappings":""}