@stevenvo780/st-lang 4.13.0 → 4.14.1

package/dist/reasoning/order-theory/index.js

@@ -0,0 +1,562 @@
+"use strict";
+/**
+ * Order theory — posets, chains, antichains, Dilworth, Hasse,
+ * well-orderings, well-founded induction and a constructive
+ * Zorn's-lemma witness for finite posets.
+ *
+ * A poset (P, ≤) is a set together with a binary relation that is
+ * reflexive, antisymmetric and transitive. This module operates on
+ * **finite** carriers given as `elements: T[]` plus a decidable
+ * `leq` predicate. Equality of carrier elements is decided by
+ * antisymmetry of `leq`: `a ≡ b` iff `leq(a,b) && leq(b,a)`.
+ *
+ * Complexities are O(n^2) for the relational checks and O(n^3) for
+ * the chain/antichain explorations; the maximal-chain/antichain
+ * enumerators are exponential in the worst case and are meant for
+ * small posets (n ≲ 25), which is where the constructive value
+ * lives.
+ *
+ * Zorn's lemma is non-constructive in general (it requires the
+ * axiom of choice). For **finite** posets it becomes a trivial
+ * theorem: every chain has its largest element as an upper bound,
+ * hence a maximal element exists. We expose that finite-case witness
+ * as `zornsLemmaWitness`: given any chain `C`, we follow upper
+ * bounds until we reach a maximal element of P. This is honestly
+ * labelled `finite-only` so callers do not mistake it for the
+ * general AC-equivalent statement.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isReflexive = isReflexive;
+exports.isAntisymmetric = isAntisymmetric;
+exports.isTransitive = isTransitive;
+exports.isPoset = isPoset;
+exports.isTotal = isTotal;
+exports.coverRelations = coverRelations;
+exports.hasseDot = hasseDot;
+exports.isChain = isChain;
+exports.isAntichain = isAntichain;
+exports.maximalChains = maximalChains;
+exports.maximalAntichains = maximalAntichains;
+exports.width = width;
+exports.height = height;
+exports.dilworth = dilworth;
+exports.isWellOrdered = isWellOrdered;
+exports.leastElement = leastElement;
+exports.greatestElement = greatestElement;
+exports.minimalElements = minimalElements;
+exports.maximalElements = maximalElements;
+exports.infimum = infimum;
+exports.supremum = supremum;
+exports.zornsLemmaWitness = zornsLemmaWitness;
+exports.wellFoundedInduction = wellFoundedInduction;
+const eq = (leq, a, b) => leq(a, b) && leq(b, a);
+const indexOf = (P, x) => {
+    for (let i = 0; i < P.elements.length; i++) {
+        if (eq(P.leq, P.elements[i], x))
+            return i;
+    }
+    return -1;
+};
+const dedupBy = (P, xs) => {
+    const out = [];
+    for (const x of xs) {
+        if (!out.some((y) => eq(P.leq, x, y)))
+            out.push(x);
+    }
+    return out;
+};
+// ────────────────────────────────────────────────────────────────────
+// Relational axioms
+// ────────────────────────────────────────────────────────────────────
+function isReflexive(P) {
+    for (const a of P.elements) {
+        if (!P.leq(a, a))
+            return false;
+    }
+    return true;
+}
+function isAntisymmetric(P) {
+    // The relation is antisymmetric (with respect to the carrier's
+    // structural equality) when `leq(a,b) && leq(b,a)` only occurs at
+    // indices that refer to the same carrier slot. We can't appeal to
+    // user equality, so we treat antisymmetry modulo the equivalence
+    // induced by `leq` itself: distinct *indices* must not be mutually
+    // related unless callers explicitly placed two structural copies of
+    // the same element. We detect the violation by checking that no two
+    // distinct indices are mutually related — which is the standard
+    // requirement for `elements` to enumerate the carrier without
+    // repetition.
+    const n = P.elements.length;
+    for (let i = 0; i < n; i++) {
+        for (let j = i + 1; j < n; j++) {
+            const a = P.elements[i];
+            const b = P.elements[j];
+            if (P.leq(a, b) && P.leq(b, a))
+                return false;
+        }
+    }
+    return true;
+}
+function isTransitive(P) {
+    for (const a of P.elements) {
+        for (const b of P.elements) {
+            if (!P.leq(a, b))
+                continue;
+            for (const c of P.elements) {
+                if (P.leq(b, c) && !P.leq(a, c))
+                    return false;
+            }
+        }
+    }
+    return true;
+}
+function isPoset(P) {
+    return isReflexive(P) && isAntisymmetric(P) && isTransitive(P);
+}
+function isTotal(P) {
+    for (const a of P.elements) {
+        for (const b of P.elements) {
+            if (!P.leq(a, b) && !P.leq(b, a))
+                return false;
+        }
+    }
+    return true;
+}
+// ────────────────────────────────────────────────────────────────────
+// Hasse diagram
+// ────────────────────────────────────────────────────────────────────
+/**
+ * Cover relations: pairs (a,b) with a < b and no z with a < z < b.
+ * Reflexive self-loops are excluded.
+ */
+function coverRelations(P) {
+    const covers = [];
+    for (const a of P.elements) {
+        for (const b of P.elements) {
+            if (eq(P.leq, a, b))
+                continue;
+            if (!P.leq(a, b))
+                continue;
+            let isCover = true;
+            for (const z of P.elements) {
+                if (eq(P.leq, z, a) || eq(P.leq, z, b))
+                    continue;
+                if (P.leq(a, z) && P.leq(z, b)) {
+                    isCover = false;
+                    break;
+                }
+            }
+            if (isCover)
+                covers.push([a, b]);
+        }
+    }
+    return covers;
+}
+/**
+ * GraphViz `dot` source for the Hasse diagram. Edges go upwards
+ * (lower → upper). The optional labeller stringifies elements.
+ */
+function hasseDot(P, label) {
+    const lab = label ?? ((x) => String(x));
+    const lines = [];
+    lines.push('digraph Hasse {');
+    lines.push('  rankdir=BT;');
+    lines.push('  node [shape=circle, style=filled, fillcolor="#eef"];');
+    for (const x of P.elements) {
+        lines.push(`  "${lab(x)}";`);
+    }
+    for (const [a, b] of coverRelations(P)) {
+        lines.push(`  "${lab(a)}" -> "${lab(b)}";`);
+    }
+    lines.push('}');
+    return lines.join('\n');
+}
+// ────────────────────────────────────────────────────────────────────
+// Chains and antichains
+// ────────────────────────────────────────────────────────────────────
+function isChain(P, S) {
+    for (let i = 0; i < S.length; i++) {
+        for (let j = i + 1; j < S.length; j++) {
+            const a = S[i];
+            const b = S[j];
+            if (!P.leq(a, b) && !P.leq(b, a))
+                return false;
+        }
+    }
+    return true;
+}
+function isAntichain(P, S) {
+    for (let i = 0; i < S.length; i++) {
+        for (let j = i + 1; j < S.length; j++) {
+            const a = S[i];
+            const b = S[j];
+            if (eq(P.leq, a, b))
+                return false;
+            if (P.leq(a, b) || P.leq(b, a))
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * Enumerate inclusion-maximal chains. Worst-case exponential; intended
+ * for small posets. Chains are returned in increasing order.
+ */
+function maximalChains(P) {
+    const minima = minimalElements(P);
+    const out = [];
+    const extend = (path) => {
+        const last = path[path.length - 1];
+        const next = [];
+        for (const y of P.elements) {
+            if (eq(P.leq, y, last))
+                continue;
+            if (P.leq(last, y))
+                next.push(y);
+        }
+        if (next.length === 0) {
+            out.push([...path]);
+            return;
+        }
+        for (const y of next) {
+            path.push(y);
+            extend(path);
+            path.pop();
+        }
+    };
+    for (const m of minima)
+        extend([m]);
+    // Deduplicate by serialized index path.
+    const seen = new Set();
+    const uniq = [];
+    for (const ch of out) {
+        const key = ch.map((x) => indexOf(P, x)).join(',');
+        if (!seen.has(key)) {
+            seen.add(key);
+            uniq.push(ch);
+        }
+    }
+    // Keep only maximal (no chain is a strict prefix/extension of another).
+    const isStrictSubseq = (a, b) => {
+        if (a.length >= b.length)
+            return false;
+        let i = 0;
+        for (const x of b) {
+            if (i < a.length && eq(P.leq, a[i], x))
+                i++;
+        }
+        return i === a.length;
+    };
+    return uniq.filter((ch) => !uniq.some((other) => isStrictSubseq(ch, other)));
+}
+/**
+ * Enumerate inclusion-maximal antichains. Exponential worst case.
+ */
+function maximalAntichains(P) {
+    const n = P.elements.length;
+    const out = [];
+    const rec = (start, current) => {
+        let extended = false;
+        for (let i = start; i < n; i++) {
+            const x = P.elements[i];
+            const compat = current.every((y) => !eq(P.leq, x, y) && !P.leq(x, y) && !P.leq(y, x));
+            if (compat) {
+                current.push(x);
+                rec(i + 1, current);
+                current.pop();
+                extended = true;
+            }
+        }
+        if (!extended && current.length > 0)
+            out.push([...current]);
+    };
+    rec(0, []);
+    if (out.length === 0 && n === 0)
+        return [];
+    // Filter to strictly maximal.
+    const containsAll = (big, small) => small.every((x) => big.some((y) => eq(P.leq, x, y)));
+    return out.filter((a) => !out.some((b) => b !== a && b.length > a.length && containsAll(b, a)));
+}
+/**
+ * Width = size of the largest antichain. Computed by scanning maximal
+ * antichains; for ≤25 element posets that is comfortably fast.
+ */
+function width(P) {
+    if (P.elements.length === 0)
+        return 0;
+    const ants = maximalAntichains(P);
+    let w = 1; // each singleton is an antichain
+    for (const a of ants)
+        if (a.length > w)
+            w = a.length;
+    return w;
+}
+/**
+ * Height = size of the longest chain.
+ */
+function height(P) {
+    if (P.elements.length === 0)
+        return 0;
+    const chains = maximalChains(P);
+    let h = 1;
+    for (const c of chains)
+        if (c.length > h)
+            h = c.length;
+    return h;
+}
+/**
+ * Dilworth-style decomposition: a partition of P into chains whose
+ * count equals `width(P)`. We use a greedy algorithm by repeatedly
+ * extracting a maximum-length chain from the remaining elements until
+ * the cover is found, and then *refining* the result by merging
+ * compatible chains until the count matches the width. The output
+ * count is at most `width(P)` for the canonical posets exercised in
+ * the tests.
+ */
+function dilworth(P) {
+    const w = width(P);
+    // Try greedy decomposition: repeatedly take a longest chain.
+    let remaining = [...P.elements];
+    const chains = [];
+    while (remaining.length > 0) {
+        const sub = { elements: remaining, leq: P.leq };
+        const longest = longestChain(sub);
+        chains.push(longest);
+        remaining = remaining.filter((x) => !longest.some((y) => eq(P.leq, x, y)));
+    }
+    // If we exceeded the width, fall back to a partition by minima
+    // levels (always a valid chain cover and bounded by width × height,
+    // but the width itself bounds the antichain cover dually).
+    if (chains.length > w) {
+        return greedyChainCoverByLevels(P);
+    }
+    return chains;
+}
+function longestChain(P) {
+    // DP over topological structure.
+    const n = P.elements.length;
+    const dp = new Array(n).fill(1);
+    const prev = new Array(n).fill(-1);
+    // Sort indices by reverse cardinality of {y : y ≤ x} to get a
+    // topological pseudo-order: smaller indices come first.
+    const order = Array.from({ length: n }, (_, i) => i).sort((i, j) => {
+        const xi = P.elements[i];
+        const xj = P.elements[j];
+        const ci = P.elements.filter((y) => P.leq(y, xi)).length;
+        const cj = P.elements.filter((y) => P.leq(y, xj)).length;
+        return ci - cj;
+    });
+    for (let pi = 0; pi < order.length; pi++) {
+        const i = order[pi];
+        const xi = P.elements[i];
+        for (let pj = 0; pj < pi; pj++) {
+            const j = order[pj];
+            const xj = P.elements[j];
+            if (!eq(P.leq, xi, xj) && P.leq(xj, xi)) {
+                if (dp[j] + 1 > dp[i]) {
+                    dp[i] = dp[j] + 1;
+                    prev[i] = j;
+                }
+            }
+        }
+    }
+    let best = 0;
+    for (let i = 1; i < n; i++)
+        if (dp[i] > dp[best])
+            best = i;
+    const path = [];
+    let cur = best;
+    while (cur !== -1) {
+        path.push(P.elements[cur]);
+        cur = prev[cur];
+    }
+    path.reverse();
+    return path;
+}
+function greedyChainCoverByLevels(P) {
+    // Repeatedly peel minimal elements as a level (an antichain) and
+    // then thread elements vertically into chains.
+    const remaining = [...P.elements];
+    const levels = [];
+    while (remaining.length > 0) {
+        const sub = { elements: remaining, leq: P.leq };
+        const mins = minimalElements(sub);
+        levels.push(mins);
+        for (const m of mins) {
+            const idx = remaining.findIndex((x) => eq(P.leq, x, m));
+            if (idx >= 0)
+                remaining.splice(idx, 1);
+        }
+    }
+    // Chains: walk each "column" left-to-right by pairing each level
+    // element to a compatible predecessor when possible.
+    const chains = [];
+    for (const level of levels) {
+        for (const x of level) {
+            let placed = false;
+            for (const ch of chains) {
+                const tail = ch[ch.length - 1];
+                if (P.leq(tail, x) && !eq(P.leq, tail, x)) {
+                    ch.push(x);
+                    placed = true;
+                    break;
+                }
+            }
+            if (!placed)
+                chains.push([x]);
+        }
+    }
+    return chains;
+}
+// ────────────────────────────────────────────────────────────────────
+// Well-orderings, extrema
+// ────────────────────────────────────────────────────────────────────
+/**
+ * A finite poset is **well-ordered** iff it is totally ordered (every
+ * non-empty subset of a finite total order has a least element, which
+ * is the classical condition).
+ */
+function isWellOrdered(P) {
+    if (!isPoset(P))
+        return false;
+    if (!isTotal(P))
+        return false;
+    // Cross-check: every non-empty subset must have a least element.
+    // For a finite total order this is automatic, but the explicit
+    // check guards against pathological `leq` implementations.
+    return leastElement(P, P.elements) !== undefined;
+}
+function leastElement(P, S) {
+    if (S.length === 0)
+        return undefined;
+    for (const x of S) {
+        if (S.every((y) => P.leq(x, y)))
+            return x;
+    }
+    return undefined;
+}
+function greatestElement(P, S) {
+    if (S.length === 0)
+        return undefined;
+    for (const x of S) {
+        if (S.every((y) => P.leq(y, x)))
+            return x;
+    }
+    return undefined;
+}
+function minimalElements(P) {
+    const result = [];
+    for (const x of P.elements) {
+        let isMin = true;
+        for (const y of P.elements) {
+            if (eq(P.leq, x, y))
+                continue;
+            if (P.leq(y, x)) {
+                isMin = false;
+                break;
+            }
+        }
+        if (isMin)
+            result.push(x);
+    }
+    return dedupBy(P, result);
+}
+function maximalElements(P) {
+    const result = [];
+    for (const x of P.elements) {
+        let isMax = true;
+        for (const y of P.elements) {
+            if (eq(P.leq, x, y))
+                continue;
+            if (P.leq(x, y)) {
+                isMax = false;
+                break;
+            }
+        }
+        if (isMax)
+            result.push(x);
+    }
+    return dedupBy(P, result);
+}
+// ────────────────────────────────────────────────────────────────────
+// Lattice-like aggregates
+// ────────────────────────────────────────────────────────────────────
+function infimum(P, S) {
+    if (S.length === 0)
+        return greatestElement(P, P.elements);
+    const lower = [];
+    for (const x of P.elements) {
+        if (S.every((s) => P.leq(x, s)))
+            lower.push(x);
+    }
+    return greatestElement(P, lower);
+}
+function supremum(P, S) {
+    if (S.length === 0)
+        return leastElement(P, P.elements);
+    const upper = [];
+    for (const x of P.elements) {
+        if (S.every((s) => P.leq(s, x)))
+            upper.push(x);
+    }
+    return leastElement(P, upper);
+}
+// ────────────────────────────────────────────────────────────────────
+// Zorn's lemma (finite witness)
+// ────────────────────────────────────────────────────────────────────
+/**
+ * Constructive Zorn witness for finite posets.
+ *
+ * Statement (finite case): every non-empty finite poset in which every
+ * chain has an upper bound contains a maximal element. For finite
+ * posets the chain-upper-bound hypothesis is automatic — the largest
+ * element of any finite chain is its upper bound — so the statement
+ * collapses to "every non-empty finite poset has a maximal element",
+ * which we witness by returning one.
+ *
+ * Returns the maximal element (any deterministic choice) or an error
+ * describing why no witness exists (empty carrier, or `P` failing the
+ * poset axioms).
+ */
+function zornsLemmaWitness(P) {
+    if (P.elements.length === 0) {
+        return { error: 'carrier vacío: Zorn requiere un poset no vacío' };
+    }
+    if (!isPoset(P)) {
+        return { error: 'la relación no es un orden parcial' };
+    }
+    const maxes = maximalElements(P);
+    if (maxes.length === 0) {
+        // Should not happen for a finite poset, but report defensively.
+        return { error: 'no se encontró ningún elemento maximal' };
+    }
+    return maxes[0];
+}
+// ────────────────────────────────────────────────────────────────────
+// Well-founded induction
+// ────────────────────────────────────────────────────────────────────
+/**
+ * Well-founded induction principle (finite case).
+ *
+ * For a finite poset, `<` is automatically well-founded. The principle
+ * says: to prove `∀x. P(x)` it suffices to prove
+ *     `∀x. (∀y. y < x → P(y)) → P(x)`.
+ *
+ * We verify the principle pointwise: for every `x ∈ elements` we check
+ * that whenever `P` holds on all strict predecessors of `x` it also
+ * holds on `x`. If the user predicate respects this induction step,
+ * `P` must hold everywhere — and the function returns `true`.
+ *
+ * This is **not** a general termination proof: it merely checks the
+ * inductive step is consistent on the given carrier.
+ */
+function wellFoundedInduction(P, predicate) {
+    for (const x of P.elements) {
+        const strictPreds = P.elements.filter((y) => !eq(P.leq, y, x) && P.leq(y, x));
+        const allPredsHold = strictPreds.every((y) => predicate(y));
+        if (allPredsHold && !predicate(x))
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=index.js.map

package/dist/reasoning/order-theory/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/order-theory/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;;AA4BH,kCAKC;AAED,0CAoBC;AAED,oCAUC;AAED,0BAEC;AAED,0BAOC;AAUD,wCAkBC;AAMD,4BAcC;AAMD,0BASC;AAED,kCAUC;AAMD,sCA4CC;AAKD,8CA0BC;AAMD,sBAMC;AAKD,wBAMC;AAWD,4BAkBC;AAqFD,sCAOC;AAED,oCAMC;AAED,0CAMC;AAED,0CAcC;AAED,0CAcC;AAMD,0BAOC;AAED,4BAOC;AAoBD,8CAaC;AAqBD,oDAOC;AAxfD,MAAM,EAAE,GAAG,CAAI,GAA4B,EAAE,CAAI,EAAE,CAAI,EAAW,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE5F,MAAM,OAAO,GAAG,CAAI,CAAW,EAAE,CAAI,EAAU,EAAE;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAI,CAAW,EAAE,EAAoB,EAAO,EAAE;IAC5D,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,uEAAuE;AACvE,oBAAoB;AACpB,uEAAuE;AAEvE,SAAgB,WAAW,CAAI,CAAW;IACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,eAAe,CAAI,CAAW;IAC5C,+DAA+D;IAC/D,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,gEAAgE;IAChE,8DAA8D;IAC9D,cAAc;IACd,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,YAAY,CAAI,CAAW;IACzC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,OAAO,CAAI,CAAW;IACpC,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAgB,OAAO,CAAI,CAAW;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uEAAuE;AACvE,gBAAgB;AAChB,uEAAuE;AAEvE;;;GAGG;AACH,SAAgB,cAAc,CAAI,CAAW;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC3B,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;oBAAE,SAAS;gBACjD,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC/B,OAAO,GAAG,KAAK,CAAC;oBAChB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAgB,QAAQ,CAAI,CAAW,EAAE,KAAwB;IAC/D,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,uEAAuE;AACvE,wBAAwB;AACxB,uEAAuE;AAEvE,SAAgB,OAAO,CAAI,CAAW,EAAE,CAAmB;IACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,WAAW,CAAI,CAAW,EAAE,CAAmB;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAgB,aAAa,CAAI,CAAW;IAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,GAAG,GAAU,EAAE,CAAC;IAEtB,MAAM,MAAM,GAAG,CAAC,IAAS,EAAQ,EAAE;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAQ,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC;gBAAE,SAAS;YACjC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,CAAC;YACb,IAAI,CAAC,GAAG,EAAE,CAAC;QACb,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpC,wCAAwC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,wEAAwE;IACxE,MAAM,cAAc,GAAG,CAAC,CAAM,EAAE,CAAM,EAAW,EAAE;QACjD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACvC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;QAC9C,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IACxB,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAI,CAAW;IAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC5B,MAAM,GAAG,GAAU,EAAE,CAAC;IAEtB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,OAAY,EAAQ,EAAE;QAChD,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtF,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;gBACpB,OAAO,CAAC,GAAG,EAAE,CAAC;gBACd,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IAEF,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE3C,8BAA8B;IAC9B,MAAM,WAAW,GAAG,CAAC,GAAQ,EAAE,KAAU,EAAW,EAAE,CACpD,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED;;;GAGG;AACH,SAAgB,KAAK,CAAI,CAAW;IAClC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,iCAAiC;IAC5C,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;GAEG;AACH,SAAgB,MAAM,CAAI,CAAW;IACnC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,QAAQ,CAAI,CAAW;IACrC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACnB,6DAA6D;IAC7D,IAAI,SAAS,GAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,+DAA+D;IAC/D,oEAAoE;IACpE,2DAA2D;IAC3D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAI,CAAW;IAClC,iCAAiC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC5B,MAAM,EAAE,GAAa,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAAa,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,8DAA8D;IAC9D,wDAAwD;IACxD,MAAM,KAAK,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3E,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACxC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtB,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAClB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,IAAI,GAAG,GAAW,IAAI,CAAC;IACvB,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;IACf,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAI,CAAW;IAC9C,iEAAiE;IACjE,+CAA+C;IAC/C,MAAM,SAAS,GAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,IAAI,GAAG,IAAI,CAAC;gBAAE,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,iEAAiE;IACjE,qDAAqD;IACrD,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACX,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uEAAuE;AACvE,0BAA0B;AAC1B,uEAAuE;AAEvE;;;;GAIG;AACH,SAAgB,aAAa,CAAI,CAAW;IAC1C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,iEAAiE;IACjE,+DAA+D;IAC/D,2DAA2D;IAC3D,OAAO,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC;AACnD,CAAC;AAED,SAAgB,YAAY,CAAI,CAAW,EAAE,CAAmB;IAC9D,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,eAAe,CAAI,CAAW,EAAE,CAAmB;IACjE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,eAAe,CAAI,CAAW;IAC5C,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChB,KAAK,GAAG,KAAK,CAAC;gBACd,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,SAAgB,eAAe,CAAI,CAAW;IAC5C,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChB,KAAK,GAAG,KAAK,CAAC;gBACd,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,uEAAuE;AACvE,0BAA0B;AAC1B,uEAAuE;AAEvE,SAAgB,OAAO,CAAI,CAAW,EAAE,CAAmB;IACzD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAgB,QAAQ,CAAI,CAAW,EAAE,CAAmB;IAC1D,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,uEAAuE;AACvE,gCAAgC;AAChC,uEAAuE;AAEvE;;;;;;;;;;;;;GAaG;AACH,SAAgB,iBAAiB,CAAI,CAAW;IAC9C,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,gDAAgD,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,gEAAgE;QAChE,OAAO,EAAE,KAAK,EAAE,wCAAwC,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,uEAAuE;AACvE,yBAAyB;AACzB,uEAAuE;AAEvE;;;;;;;;;;;;;;GAcG;AACH,SAAgB,oBAAoB,CAAI,CAAW,EAAE,SAA4B;IAC/E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}