@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/reasoning/real-analysis/index.js

@@ -0,0 +1,638 @@
+"use strict";
+// ============================================================
+// ST Real Analysis — Primitivas formales (límites ε-δ, continuidad,
+// derivadas, integrales, series, Taylor, MVT)
+// ============================================================
+// Estas primitivas son *numéricas*: no decidimos análisis real
+// exactamente (eso es indecidible en general), sino que verificamos
+// claims con tolerancia explícita ε > 0 sobre muestreos finitos.
+//
+// Convención: una función real es `RealFn = (x: number) => number`.
+// Toda función que dependa de muestreos expone `eps`/`samples`/`tol`
+// para que quien llama pueda ajustar el rigor numérico.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.verifyLimit = verifyLimit;
+exports.findLimit = findLimit;
+exports.isContinuousAt = isContinuousAt;
+exports.isUniformlyContinuous = isUniformlyContinuous;
+exports.findDiscontinuities = findDiscontinuities;
+exports.derivative = derivative;
+exports.nthDerivative = nthDerivative;
+exports.isDifferentiableAt = isDifferentiableAt;
+exports.findCriticalPoints = findCriticalPoints;
+exports.integrate = integrate;
+exports.ratioTest = ratioTest;
+exports.rootTest = rootTest;
+exports.partialSum = partialSum;
+exports.sequenceLimit = sequenceLimit;
+exports.meanValueTheorem = meanValueTheorem;
+exports.taylorPolynomial = taylorPolynomial;
+exports.taylorRemainderBound = taylorRemainderBound;
+// ── Constantes y helpers internos ────────────────────────────
+const DEFAULT_EPS = 1e-6;
+const DEFAULT_SAMPLES = 200;
+function isFiniteNumber(x) {
+    return Number.isFinite(x);
+}
+function safeEval(fn, x) {
+    try {
+        const v = fn(x);
+        return isFiniteNumber(v) ? v : null;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Verifica numéricamente la afirmación
+ *   ∀ε>0 ∃δ>0 ∀x (0 < |x-point| < δ → |fn(x)-value| < ε)
+ * para el ε dado. Devuelve δ sugerido (o counterexample si falla
+ * incluso con δ extremadamente pequeño).
+ *
+ * Estrategia: bisecta δ desde 1 hacia abajo, muestreando puntos en
+ * (point-δ, point) ∪ (point, point+δ); si todos cumplen |f(x)-L|<ε,
+ * δ es válido. Si no encontramos δ válido tras `maxIter` iteraciones,
+ * el último x que falló se reporta como counterexample.
+ */
+function verifyLimit(claim, epsilon, deltaFinder) {
+    if (epsilon <= 0)
+        return { holds: false };
+    const { fn, point, value } = claim;
+    const maxIter = 60;
+    const samplesPerDelta = 40;
+    let delta = deltaFinder ? deltaFinder(epsilon) : 1.0;
+    if (!isFiniteNumber(delta) || delta <= 0)
+        delta = 1.0;
+    let lastCounter;
+    for (let iter = 0; iter < maxIter; iter++) {
+        let allOk = true;
+        let worstX = point;
+        let worstDiff = -Infinity;
+        for (let i = 1; i <= samplesPerDelta; i++) {
+            const frac = i / (samplesPerDelta + 1);
+            const dx = delta * frac;
+            const candidates = [point + dx, point - dx];
+            for (const x of candidates) {
+                if (x === point)
+                    continue;
+                const v = safeEval(fn, x);
+                if (v === null) {
+                    allOk = false;
+                    worstX = x;
+                    worstDiff = Infinity;
+                    break;
+                }
+                const diff = Math.abs(v - value);
+                if (diff > worstDiff) {
+                    worstDiff = diff;
+                    worstX = x;
+                }
+                if (diff >= epsilon) {
+                    allOk = false;
+                    // seguimos para encontrar el peor punto, pero podríamos break
+                }
+            }
+            if (!allOk && worstDiff === Infinity)
+                break;
+        }
+        if (allOk && worstDiff < epsilon) {
+            return { holds: true, suggestedDelta: delta };
+        }
+        lastCounter = worstX;
+        delta = delta / 2;
+        if (delta < 1e-15)
+            break;
+    }
+    return { holds: false, counterexample: lastCounter };
+}
+/**
+ * Encuentra (o detecta divergencia/indeterminación de) lim_{x→point} fn(x)
+ * por muestreo bilateral con refinamiento sucesivo.
+ *
+ * Devuelve:
+ *   • número L si las dos colas convergen al mismo valor con tolerancia
+ *   • 'diverges' si crece sin cota
+ *   • 'unknown' si las colas no coinciden (límite no existe / discontinuidad de salto)
+ */
+function findLimit(fn, point, opts) {
+    const tol = opts?.tolerance ?? 1e-7;
+    const samples = opts?.samples ?? 30;
+    const leftVals = [];
+    const rightVals = [];
+    for (let k = 1; k <= samples; k++) {
+        const h = Math.pow(0.5, k);
+        const vl = safeEval(fn, point - h);
+        const vr = safeEval(fn, point + h);
+        if (vl !== null)
+            leftVals.push(vl);
+        if (vr !== null)
+            rightVals.push(vr);
+    }
+    if (leftVals.length < 5 || rightVals.length < 5)
+        return 'unknown';
+    const tail = (arr) => arr.slice(-Math.min(5, arr.length));
+    const lt = tail(leftVals);
+    const rt = tail(rightVals);
+    // detecto divergencia: valores absolutos crecen sin cota
+    const lastL = lt[lt.length - 1];
+    const lastR = rt[rt.length - 1];
+    if (Math.abs(lastL) > 1e12 &&
+        Math.abs(lastL) > Math.abs(lt[0]) * 1e3 &&
+        Math.abs(lastR) > 1e12 &&
+        Math.abs(lastR) > Math.abs(rt[0]) * 1e3) {
+        return 'diverges';
+    }
+    // estabilidad de las colas
+    const stable = (arr) => {
+        const last = arr[arr.length - 1];
+        const prev = arr[arr.length - 2];
+        return Math.abs(last - prev) < tol * (1 + Math.abs(last));
+    };
+    if (!stable(lt) || !stable(rt)) {
+        // ¿ambos divergen al mismo infinito?
+        const li = lt[lt.length - 1];
+        const ri = rt[rt.length - 1];
+        if (Math.abs(li) > 1e10 && Math.abs(ri) > 1e10 && Math.sign(li) === Math.sign(ri)) {
+            return 'diverges';
+        }
+        return 'unknown';
+    }
+    if (Math.abs(lastL - lastR) > tol * 100 * (1 + Math.abs(lastL))) {
+        return 'unknown';
+    }
+    return (lastL + lastR) / 2;
+}
+// ── 2. Continuidad ───────────────────────────────────────────
+/**
+ * fn es continua en `point` si lim_{x→point} fn(x) = fn(point) con tol `eps`.
+ */
+function isContinuousAt(fn, point, eps = DEFAULT_EPS) {
+    const v0 = safeEval(fn, point);
+    if (v0 === null)
+        return false;
+    const lim = findLimit(fn, point, { tolerance: eps / 10 });
+    if (lim === 'diverges' || lim === 'unknown')
+        return false;
+    return Math.abs(lim - v0) < eps;
+}
+/**
+ * Verificación numérica de continuidad uniforme en [a,b]:
+ *   ∀ε ∃δ ∀x,y∈[a,b] (|x-y|<δ → |f(x)-f(y)|<ε)
+ * Estrategia: para cada δ candidato muestreamos pares (x_i, x_i+δ)
+ * cubriendo el intervalo y verificamos que |f(x)-f(x+δ)| < eps en todos.
+ */
+function isUniformlyContinuous(fn, domain, eps = DEFAULT_EPS) {
+    const [a, b] = domain;
+    if (!(b > a))
+        return false;
+    // probamos un δ "razonable" basado en eps y la longitud del dominio
+    const candidateDeltas = [(b - a) / 1000, (b - a) / 10000, (b - a) / 100000];
+    for (const delta of candidateDeltas) {
+        const steps = Math.min(10000, Math.max(50, Math.floor((b - a) / delta) + 1));
+        let ok = true;
+        for (let i = 0; i < steps; i++) {
+            const x = a + (i / steps) * (b - a);
+            const v1 = safeEval(fn, x);
+            const v2 = safeEval(fn, x + delta);
+            if (v1 === null || v2 === null) {
+                ok = false;
+                break;
+            }
+            if (Math.abs(v1 - v2) >= eps) {
+                ok = false;
+                break;
+            }
+        }
+        if (ok)
+            return true;
+    }
+    return false;
+}
+/**
+ * Detecta puntos de discontinuidad por muestreo + chequeo local.
+ */
+function findDiscontinuities(fn, domain, samples = DEFAULT_SAMPLES) {
+    const [a, b] = domain;
+    const out = [];
+    const step = (b - a) / samples;
+    // valores y NaN/Inf candidates
+    const ys = [];
+    for (let i = 0; i <= samples; i++) {
+        ys.push(safeEval(fn, a + i * step));
+    }
+    for (let i = 0; i < samples; i++) {
+        const x = a + i * step;
+        const y1 = ys[i];
+        const y2 = ys[i + 1];
+        if (y1 === null || y2 === null) {
+            if (!out.some((p) => Math.abs(p - x) < step * 2))
+                out.push(x);
+            continue;
+        }
+        // salto local: |Δy| es mucho mayor que la media local
+        const expected = 100 * step * Math.max(1, Math.abs(y1));
+        if (Math.abs(y2 - y1) > expected + 1) {
+            // confirma localmente
+            const mid = x + step / 2;
+            if (!isContinuousAt(fn, mid, 1e-3)) {
+                if (!out.some((p) => Math.abs(p - mid) < step * 2))
+                    out.push(mid);
+            }
+        }
+    }
+    return out;
+}
+function derivative(fn, x, opts) {
+    const h = opts?.h ?? 1e-5;
+    const method = opts?.method ?? 'central';
+    switch (method) {
+        case 'forward': {
+            const v = (fn(x + h) - fn(x)) / h;
+            return { value: v, method };
+        }
+        case 'backward': {
+            const v = (fn(x) - fn(x - h)) / h;
+            return { value: v, method };
+        }
+        case 'central': {
+            const v = (fn(x + h) - fn(x - h)) / (2 * h);
+            return { value: v, method };
+        }
+        case 'richardson': {
+            // Richardson extrapolation: D = (4·D(h/2) - D(h)) / 3 con central diff
+            const D = (step) => (fn(x + step) - fn(x - step)) / (2 * step);
+            const d1 = D(h);
+            const d2 = D(h / 2);
+            const v = (4 * d2 - d1) / 3;
+            return { value: v, method };
+        }
+    }
+}
+/**
+ * n-ésima derivada por diferencias finitas centrales iteradas (fórmula
+ * con coeficientes binomiales con signo alternado).
+ *
+ *   f^(n)(x) ≈ (1/h^n) · Σ_{k=0..n} (-1)^k C(n,k) f(x + (n/2 - k)·h)
+ */
+function nthDerivative(fn, x, n, h) {
+    if (!Number.isInteger(n) || n < 0) {
+        throw new Error(`nthDerivative: n debe ser entero ≥ 0, recibido ${n}`);
+    }
+    if (n === 0)
+        return fn(x);
+    // Heurística: derivadas altas necesitan h más grande para no perder precisión por roundoff
+    const step = h ?? Math.pow(1e-3, 1 / Math.max(1, n));
+    let sum = 0;
+    for (let k = 0; k <= n; k++) {
+        const coef = binomial(n, k) * (k % 2 === 0 ? 1 : -1);
+        const xi = x + (n / 2 - k) * step;
+        sum += coef * fn(xi);
+    }
+    return sum / Math.pow(step, n);
+}
+function binomial(n, k) {
+    if (k < 0 || k > n)
+        return 0;
+    if (k === 0 || k === n)
+        return 1;
+    let result = 1;
+    for (let i = 1; i <= k; i++) {
+        result = (result * (n - i + 1)) / i;
+    }
+    return result;
+}
+/**
+ * Diferenciable en `point` si las derivadas laterales coinciden con tolerancia.
+ */
+function isDifferentiableAt(fn, point, eps = DEFAULT_EPS) {
+    if (!isContinuousAt(fn, point, eps))
+        return false;
+    const h = 1e-5;
+    const fwd = (fn(point + h) - fn(point)) / h;
+    const bwd = (fn(point) - fn(point - h)) / h;
+    if (!isFiniteNumber(fwd) || !isFiniteNumber(bwd))
+        return false;
+    return Math.abs(fwd - bwd) < eps * 1000;
+}
+/**
+ * Encuentra puntos críticos (f'(x) ≈ 0) por bisección en cambios de signo
+ * de la derivada numérica.
+ */
+function findCriticalPoints(fn, domain, samples = DEFAULT_SAMPLES) {
+    const [a, b] = domain;
+    const out = [];
+    const dx = (b - a) / samples;
+    let prev = derivative(fn, a, { method: 'central' }).value;
+    for (let i = 1; i <= samples; i++) {
+        const xi = a + i * dx;
+        const cur = derivative(fn, xi, { method: 'central' }).value;
+        if (!isFiniteNumber(prev) || !isFiniteNumber(cur)) {
+            prev = cur;
+            continue;
+        }
+        if (prev * cur < 0 || cur === 0) {
+            // bisección
+            let lo = a + (i - 1) * dx;
+            let hi = xi;
+            for (let it = 0; it < 60; it++) {
+                const mid = (lo + hi) / 2;
+                const dmid = derivative(fn, mid, { method: 'central' }).value;
+                const dlo = derivative(fn, lo, { method: 'central' }).value;
+                if (Math.abs(dmid) < 1e-9) {
+                    lo = mid;
+                    hi = mid;
+                    break;
+                }
+                if (dlo * dmid < 0)
+                    hi = mid;
+                else
+                    lo = mid;
+            }
+            const root = (lo + hi) / 2;
+            if (!out.some((p) => Math.abs(p - root) < dx / 4))
+                out.push(root);
+        }
+        prev = cur;
+    }
+    return out;
+}
+function integrate(fn, from, to, opts) {
+    const method = opts?.method ?? 'simpson';
+    const n = opts?.subdivisions ?? 1024;
+    if (from === to)
+        return { value: 0, method };
+    const sign = from < to ? 1 : -1;
+    const a = Math.min(from, to);
+    const b = Math.max(from, to);
+    let value = 0;
+    switch (method) {
+        case 'trapezoidal':
+            value = trapezoidal(fn, a, b, n);
+            break;
+        case 'simpson':
+            value = simpson(fn, a, b, n % 2 === 0 ? n : n + 1);
+            break;
+        case 'romberg':
+            value = romberg(fn, a, b, Math.min(12, Math.max(4, Math.log2(n) | 0)));
+            break;
+        case 'gaussian':
+            value = gaussianAdaptive(fn, a, b, n);
+            break;
+    }
+    return { value: sign * value, method };
+}
+function trapezoidal(fn, a, b, n) {
+    const h = (b - a) / n;
+    let sum = (fn(a) + fn(b)) / 2;
+    for (let i = 1; i < n; i++)
+        sum += fn(a + i * h);
+    return sum * h;
+}
+function simpson(fn, a, b, n) {
+    // n debe ser par
+    const h = (b - a) / n;
+    let sum = fn(a) + fn(b);
+    for (let i = 1; i < n; i++) {
+        const c = i % 2 === 0 ? 2 : 4;
+        sum += c * fn(a + i * h);
+    }
+    return (sum * h) / 3;
+}
+function romberg(fn, a, b, levels) {
+    const R = [];
+    for (let i = 0; i < levels; i++)
+        R.push(new Array(levels).fill(0));
+    R[0][0] = ((b - a) / 2) * (fn(a) + fn(b));
+    for (let i = 1; i < levels; i++) {
+        const n = 1 << i;
+        const h = (b - a) / n;
+        let s = 0;
+        for (let k = 1; k <= n; k += 2)
+            s += fn(a + k * h);
+        R[i][0] = R[i - 1][0] / 2 + s * h;
+        for (let j = 1; j <= i; j++) {
+            const p = 1 << (2 * j);
+            R[i][j] = (p * R[i][j - 1] - R[i - 1][j - 1]) / (p - 1);
+        }
+    }
+    return R[levels - 1][levels - 1];
+}
+// Gauss-Legendre de 5 puntos sobre cada subintervalo (adaptativo simple).
+function gaussianAdaptive(fn, a, b, n) {
+    const segs = Math.max(1, Math.floor(n / 8));
+    const w = [0.2369268851, 0.4786286705, 0.5688888889, 0.4786286705, 0.2369268851];
+    const t = [-0.9061798459, -0.5384693101, 0.0, 0.5384693101, 0.9061798459];
+    const h = (b - a) / segs;
+    let total = 0;
+    for (let s = 0; s < segs; s++) {
+        const x0 = a + s * h;
+        const x1 = x0 + h;
+        const mid = (x0 + x1) / 2;
+        const half = (x1 - x0) / 2;
+        let sub = 0;
+        for (let i = 0; i < 5; i++)
+            sub += w[i] * fn(mid + half * t[i]);
+        total += sub * half;
+    }
+    return total;
+}
+/**
+ * Test de la razón sobre coeficientes de una serie Σ a_n (no Σ a_n x^n):
+ *   L = lim |a_{n+1}/a_n|
+ *   L < 1 ⇒ converge ; L > 1 ⇒ diverge ; L = 1 ⇒ indeciso.
+ */
+function ratioTest(coefficients) {
+    if (coefficients.length < 3) {
+        return { converges: false, reason: 'insuficientes coeficientes' };
+    }
+    const ratios = [];
+    for (let i = 1; i < coefficients.length; i++) {
+        const a = coefficients[i - 1];
+        const b = coefficients[i];
+        if (a === 0)
+            continue;
+        ratios.push(Math.abs(b / a));
+    }
+    if (ratios.length === 0)
+        return { converges: false, reason: 'todos los coeficientes ceros' };
+    // limit aproximado por las últimas razones + chequeo de tendencia
+    const tail = ratios.slice(-Math.min(5, ratios.length));
+    const L = tail.reduce((s, x) => s + x, 0) / tail.length;
+    // tendencia: si las razones siguen creciendo hacia 1 desde abajo, es inconcluyente
+    // (ej: serie armónica n/(n+1) → 1⁻)
+    const trendingToOne = tail.length >= 3 &&
+        tail[tail.length - 1] > tail[0] &&
+        tail[tail.length - 1] > 0.9 &&
+        tail[tail.length - 1] < 1;
+    if (L < 0.95 && !trendingToOne) {
+        const sum = coefficients.reduce((s, x) => s + x, 0);
+        return { converges: true, sumApprox: sum, reason: `L≈${L.toFixed(4)} < 1` };
+    }
+    if (L > 1.05) {
+        return { converges: false, reason: `L≈${L.toFixed(4)} > 1` };
+    }
+    return { converges: false, reason: `L≈${L.toFixed(4)} ≈ 1 (test inconcluyente)` };
+}
+/**
+ * Test de la raíz: L = lim sup |a_n|^{1/n}.
+ */
+function rootTest(coefficients) {
+    if (coefficients.length < 3) {
+        return { converges: false, reason: 'insuficientes coeficientes' };
+    }
+    const roots = [];
+    for (let n = 1; n < coefficients.length; n++) {
+        const an = Math.abs(coefficients[n]);
+        if (an === 0)
+            continue;
+        roots.push(Math.pow(an, 1 / n));
+    }
+    if (roots.length === 0)
+        return { converges: true, sumApprox: 0, reason: 'todos los coeficientes ceros' };
+    const tail = roots.slice(-Math.min(5, roots.length));
+    const L = Math.max(...tail);
+    if (L < 0.95) {
+        const sum = coefficients.reduce((s, x) => s + x, 0);
+        return { converges: true, sumApprox: sum, reason: `L≈${L.toFixed(4)} < 1` };
+    }
+    if (L > 1.05) {
+        return { converges: false, reason: `L≈${L.toFixed(4)} > 1` };
+    }
+    return { converges: false, reason: `L≈${L.toFixed(4)} ≈ 1 (test inconcluyente)` };
+}
+function partialSum(fn, terms) {
+    let s = 0;
+    for (let n = 0; n < terms; n++)
+        s += fn(n);
+    return s;
+}
+// ── 6. Sucesiones ────────────────────────────────────────────
+function sequenceLimit(seq, opts) {
+    const N = opts?.maxTerms ?? 2000;
+    const tol = opts?.tolerance ?? 1e-7;
+    const vals = [];
+    for (let n = 1; n <= N; n++) {
+        const v = seq(n);
+        if (!isFiniteNumber(v))
+            return { converges: false };
+        vals.push(v);
+    }
+    const last = vals[vals.length - 1];
+    const prev = vals[vals.length - 2];
+    const prev2 = vals[vals.length - 3];
+    const d1 = Math.abs(last - prev);
+    const d2 = Math.abs(prev - prev2);
+    // Aceptamos convergencia si:
+    //   (a) adyacentes están dentro de tol relativo a la magnitud, O
+    //   (b) ambas diferencias son menores que tol absoluto y decrecientes
+    //       (Cauchy con cola pequeña, típico de seq → 0)
+    const denom = 1 + Math.abs(last);
+    const cauchyRel = d1 < tol * denom;
+    const cauchyAbs = d1 < tol && d2 < tol && d1 <= d2 * 1.5;
+    if (cauchyRel || cauchyAbs) {
+        let rate = 'unknown';
+        if (d2 > 0) {
+            const ratio = d1 / d2;
+            if (ratio < 0.5 && ratio > 0)
+                rate = 'linear';
+            if (ratio < 0.05)
+                rate = 'quadratic';
+        }
+        return { converges: true, limit: last, rate };
+    }
+    return { converges: false };
+}
+// ── 7. Mean Value Theorem ────────────────────────────────────
+/**
+ * Busca c ∈ (a,b) tal que f'(c) = (f(b)-f(a))/(b-a).
+ * Si fn es continua en [a,b] y derivable en (a,b), por MVT existe.
+ * Aquí asumimos eso y buscamos c por bisección sobre f'(x) - slope.
+ */
+function meanValueTheorem(fn, derivativeFn, a, b, tolerance = 1e-7) {
+    if (!(b > a))
+        return { holds: false };
+    const slope = (fn(b) - fn(a)) / (b - a);
+    if (!isFiniteNumber(slope))
+        return { holds: false };
+    const g = (x) => derivativeFn(x) - slope;
+    // muestreo para encontrar cambio de signo
+    const samples = 200;
+    let prevX = a + (b - a) / (samples + 1);
+    let prevG = g(prevX);
+    for (let i = 2; i <= samples; i++) {
+        const xi = a + (i * (b - a)) / (samples + 1);
+        const gi = g(xi);
+        if (!isFiniteNumber(gi))
+            continue;
+        if (prevG * gi <= 0) {
+            // bisección
+            let lo = prevX, hi = xi;
+            for (let it = 0; it < 80; it++) {
+                const mid = (lo + hi) / 2;
+                const gm = g(mid);
+                if (Math.abs(gm) < tolerance)
+                    return { holds: true, c: mid };
+                if (g(lo) * gm < 0)
+                    hi = mid;
+                else
+                    lo = mid;
+            }
+            return { holds: true, c: (lo + hi) / 2 };
+        }
+        prevX = xi;
+        prevG = gi;
+    }
+    return { holds: false };
+}
+// ── 8. Taylor ────────────────────────────────────────────────
+/**
+ * Polinomio de Taylor de orden N de `fn` centrado en `center`, devuelto
+ * como función. Las derivadas se calculan numéricamente con `nthDerivative`.
+ */
+function taylorPolynomial(fn, center, order) {
+    if (!Number.isInteger(order) || order < 0) {
+        throw new Error(`taylorPolynomial: order debe ser entero ≥ 0`);
+    }
+    const coefs = [];
+    let fact = 1;
+    for (let k = 0; k <= order; k++) {
+        if (k > 0)
+            fact *= k;
+        const dk = k === 0 ? fn(center) : nthDerivative(fn, center, k);
+        coefs.push(dk / fact);
+    }
+    return (x) => {
+        let s = 0;
+        let pow = 1;
+        const dx = x - center;
+        for (let k = 0; k <= order; k++) {
+            s += coefs[k] * pow;
+            pow *= dx;
+        }
+        return s;
+    };
+}
+/**
+ * Cota grosera del resto de Lagrange: |R_n(x)| ≤ M·|x-c|^(n+1)/(n+1)!
+ * con M estimado como sup |f^(n+1)| sobre un muestreo entre c y x.
+ */
+function taylorRemainderBound(fn, center, x, order) {
+    if (!Number.isInteger(order) || order < 0)
+        return Infinity;
+    const samples = 30;
+    const a = Math.min(center, x);
+    const b = Math.max(center, x);
+    let M = 0;
+    for (let i = 0; i <= samples; i++) {
+        const xi = a + ((b - a) * i) / samples;
+        const v = Math.abs(nthDerivative(fn, xi, order + 1));
+        if (isFiniteNumber(v) && v > M)
+            M = v;
+    }
+    let fact = 1;
+    for (let k = 1; k <= order + 1; k++)
+        fact *= k;
+    return (M * Math.pow(Math.abs(x - center), order + 1)) / fact;
+}
+//# sourceMappingURL=index.js.map

package/dist/reasoning/real-analysis/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/real-analysis/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,8CAA8C;AAC9C,+DAA+D;AAC/D,+DAA+D;AAC/D,oEAAoE;AACpE,iEAAiE;AACjE,EAAE;AACF,oEAAoE;AACpE,qEAAqE;AACrE,wDAAwD;AACxD,+DAA+D;;AA+C/D,kCAuDC;AAWD,8BAwDC;AAOD,wCAMC;AAQD,sDA4BC;AAKD,kDAgCC;AASD,gCA6BC;AAQD,sCAcC;AAeD,gDAOC;AAMD,gDAsCC;AASD,8BA6BC;AAsED,8BA8BC;AAKD,4BAsBC;AAED,gCAIC;AAID,sCAkCC;AASD,4CAqCC;AAQD,4CAqBC;AAMD,oDAcC;AAzqBD,gEAAgE;AAEhE,MAAM,WAAW,GAAG,IAAI,CAAC;AACzB,MAAM,eAAe,GAAG,GAAG,CAAC;AAE5B,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,EAAU,EAAE,CAAS;IACrC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,SAAgB,WAAW,CACzB,KAAiB,EACjB,OAAe,EACf,WAAqC;IAErC,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAE1C,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,eAAe,GAAG,EAAE,CAAC;IAE3B,IAAI,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,KAAK,GAAG,GAAG,CAAC;IAEtD,IAAI,WAA+B,CAAC;IAEpC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,SAAS,GAAG,CAAC,QAAQ,CAAC;QAE1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC;YACxB,MAAM,UAAU,GAAG,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,IAAI,CAAC,KAAK,KAAK;oBAAE,SAAS;gBAC1B,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,KAAK,GAAG,KAAK,CAAC;oBACd,MAAM,GAAG,CAAC,CAAC;oBACX,SAAS,GAAG,QAAQ,CAAC;oBACrB,MAAM;gBACR,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;gBACjC,IAAI,IAAI,GAAG,SAAS,EAAE,CAAC;oBACrB,SAAS,GAAG,IAAI,CAAC;oBACjB,MAAM,GAAG,CAAC,CAAC;gBACb,CAAC;gBACD,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;oBACpB,KAAK,GAAG,KAAK,CAAC;oBACd,8DAA8D;gBAChE,CAAC;YACH,CAAC;YACD,IAAI,CAAC,KAAK,IAAI,SAAS,KAAK,QAAQ;gBAAE,MAAM;QAC9C,CAAC;QAED,IAAI,KAAK,IAAI,SAAS,GAAG,OAAO,EAAE,CAAC;YACjC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QACD,WAAW,GAAG,MAAM,CAAC;QACrB,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;QAClB,IAAI,KAAK,GAAG,KAAK;YAAE,MAAM;IAC3B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,SAAS,CACvB,EAAU,EACV,KAAa,EACb,IAA+C;IAE/C,MAAM,GAAG,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACnC,IAAI,EAAE,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,KAAK,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,IAAI,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAE3B,yDAAyD;IACzD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChC,IACE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI;QACtB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;QACvC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI;QACtB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EACvC,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,2BAA2B;IAC3B,MAAM,MAAM,GAAG,CAAC,GAAa,EAAW,EAAE;QACxC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,qCAAqC;QACrC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAClF,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,gEAAgE;AAEhE;;GAEG;AACH,SAAgB,cAAc,CAAC,EAAU,EAAE,KAAa,EAAE,MAAc,WAAW;IACjF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1D,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1D,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,SAAgB,qBAAqB,CACnC,EAAU,EACV,MAAwB,EACxB,MAAc,WAAW;IAEzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC;IACtB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3B,oEAAoE;IACpE,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,EAAE,GAAG,IAAI,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;YACnC,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC/B,EAAE,GAAG,KAAK,CAAC;gBACX,MAAM;YACR,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;gBAC7B,EAAE,GAAG,KAAK,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAgB,mBAAmB,CACjC,EAAU,EACV,MAAwB,EACxB,UAAkB,eAAe;IAEjC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC;IACtB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;IAC/B,+BAA+B;IAC/B,MAAM,EAAE,GAAsB,EAAE,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,sDAAsD;QACtD,MAAM,QAAQ,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC;YACrC,sBAAsB;YACtB,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;YACzB,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAgB,UAAU,CACxB,EAAU,EACV,CAAS,EACT,IAAoD;IAEpD,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,SAAS,CAAC;IACzC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC9B,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC9B,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC9B,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,uEAAuE;YACvE,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAC/E,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;YAC5B,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,CAAU;IACxE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1B,2FAA2F;IAC3F,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;QAClC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAAC,EAAU,EAAE,KAAa,EAAE,MAAc,WAAW;IACrF,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,CAAC,GAAG,IAAI,CAAC;IACf,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,EAAU,EACV,MAAwB,EACxB,UAAkB,eAAe;IAEjC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC;IACtB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;IAC7B,IAAI,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;IAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;QAC5D,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,GAAG,GAAG,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YAChC,YAAY;YACZ,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,EAAE,GAAG,EAAE,CAAC;YACZ,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;gBAC9D,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;gBAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;oBAC1B,EAAE,GAAG,GAAG,CAAC;oBACT,EAAE,GAAG,GAAG,CAAC;oBACT,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,GAAG,IAAI,GAAG,CAAC;oBAAE,EAAE,GAAG,GAAG,CAAC;;oBACxB,EAAE,GAAG,GAAG,CAAC;YAChB,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,GAAG,GAAG,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAgB,SAAS,CACvB,EAAU,EACV,IAAY,EACZ,EAAU,EACV,IAA6D;IAE7D,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,SAAS,CAAC;IACzC,MAAM,CAAC,GAAG,IAAI,EAAE,YAAY,IAAI,IAAI,CAAC;IACrC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACjC,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnD,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,MAAM;QACR,KAAK,UAAU;YACb,KAAK,GAAG,gBAAgB,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACtC,MAAM;IACV,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,GAAG,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,GAAG,GAAG,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAC1D,iBAAiB;IACjB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,MAAc;IAC/D,MAAM,CAAC,GAAe,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAS,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,0EAA0E;AAC1E,SAAS,gBAAgB,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACjF,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClB,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAUD;;;;GAIG;AACH,SAAgB,SAAS,CAAC,YAAsB;IAC9C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IAC7F,kEAAkE;IAClE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,mFAAmF;IACnF,oCAAoC;IACpC,MAAM,aAAa,GACjB,IAAI,CAAC,MAAM,IAAI,CAAC;QAChB,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,GAAG;QAC3B,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QACb,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,2BAA2B,EAAE,CAAC;AACpF,CAAC;AAED;;GAEG;AACH,SAAgB,QAAQ,CAAC,YAAsB;IAC7C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QACb,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,2BAA2B,EAAE,CAAC;AACpF,CAAC;AAED,SAAgB,UAAU,CAAC,EAAyB,EAAE,KAAa;IACjE,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gEAAgE;AAEhE,SAAgB,aAAa,CAC3B,GAA0B,EAC1B,IAAgD;IAEhD,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC;IACpC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IAClC,6BAA6B;IAC7B,iEAAiE;IACjE,sEAAsE;IACtE,qDAAqD;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,GAAG,KAAK,CAAC;IACnC,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,IAAI,EAAE,GAAG,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IACzD,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,GAAuC,SAAS,CAAC;QACzD,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC;YACtB,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,CAAC;gBAAE,IAAI,GAAG,QAAQ,CAAC;YAC9C,IAAI,KAAK,GAAG,IAAI;gBAAE,IAAI,GAAG,WAAW,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,gEAAgE;AAEhE;;;;GAIG;AACH,SAAgB,gBAAgB,CAC9B,EAAU,EACV,YAAoB,EACpB,CAAS,EACT,CAAS,EACT,YAAoB,IAAI;IAExB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAEpD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IACzD,0CAA0C;IAC1C,MAAM,OAAO,GAAG,GAAG,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAAE,SAAS;QAClC,IAAI,KAAK,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACpB,YAAY;YACZ,IAAI,EAAE,GAAG,KAAK,EACZ,EAAE,GAAG,EAAE,CAAC;YACV,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS;oBAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;gBAC7D,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;oBAAE,EAAE,GAAG,GAAG,CAAC;;oBACxB,EAAE,GAAG,GAAG,CAAC;YAChB,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,GAAG,EAAE,CAAC;QACX,KAAK,GAAG,EAAE,CAAC;IACb,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,gEAAgE;AAEhE;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,EAAU,EAAE,MAAc,EAAE,KAAa;IACxE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC;YAAE,IAAI,IAAI,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,CAAS,EAAE,EAAE;QACnB,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YACpB,GAAG,IAAI,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,EAAU,EAAE,MAAc,EAAE,CAAS,EAAE,KAAa;IACvF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3D,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,CAAC,CAAC;IAC/C,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;AAChE,CAAC"}