@stevenvo780/st-lang 4.5.2 → 4.6.0

package/dist/lemma-synthesis/index.js

@@ -0,0 +1,640 @@
+"use strict";
+// ============================================================
+// ST Lemma synthesis — Theory exploration tipo QuickSpec
+// ============================================================
+// Dada una signatura (sorts, constantes, funciones, predicados) y
+// un evaluador semántico, sintetizamos conjeturas/lemmas
+// automáticamente:
+//
+//   1. Enumeramos términos hasta cierta profundidad por sort.
+//   2. Para cada par de términos de igual sort generamos una
+//      conjetura `t1 = t2`.
+//   3. Evaluamos sobre N valuaciones aleatorias. Si todas pasan,
+//      la conjetura sobrevive (confidence ≈ 1 − falsificability).
+//   4. Pruning: eliminamos trivialidades (t = t), conmutativas
+//      duplicadas (t1 = t2 vs t2 = t1) y consecuencias triviales
+//      (renombrado de variables, substitución de instancias).
+//   5. Verificación opcional via prover externo.
+//
+// Esta es la idea original de QuickSpec / Hipster aplicada a
+// términos cualesquiera, sin asumir un dominio fijo. El usuario
+// provee el evaluador.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.__internals = exports.listsEvaluator = exports.booleansEvaluator = exports.naturalsEvaluator = void 0;
+exports.termToString = termToString;
+exports.freeVars = freeVars;
+exports.enumerateTerms = enumerateTerms;
+exports.synthesizeEqualities = synthesizeEqualities;
+exports.pruneConsequences = pruneConsequences;
+exports.verifyConjectures = verifyConjectures;
+exports.naturalNumbersSignature = naturalNumbersSignature;
+exports.booleansSignature = booleansSignature;
+exports.listsSignature = listsSignature;
+// ── Helpers de impresión ────────────────────────────────────
+function termToString(t) {
+    switch (t.kind) {
+        case 'var':
+        case 'const':
+            return t.name;
+        case 'app':
+            if (t.args.length === 0)
+                return t.name;
+            // Notación infija para nombres "simbólicos" binarios
+            if (t.args.length === 2 && /^[+\-*/^∧∨↔→=<>≤≥&|]+$/.test(t.name)) {
+                return `(${termToString(t.args[0])} ${t.name} ${termToString(t.args[1])})`;
+            }
+            if (t.args.length === 1 && /^[¬!~]+$/.test(t.name)) {
+                return `${t.name}${termToString(t.args[0])}`;
+            }
+            return `${t.name}(${t.args.map(termToString).join(', ')})`;
+    }
+}
+const termKeyMemo = new WeakMap();
+function termKey(t) {
+    if (typeof t !== 'object' || t === null)
+        return String(t);
+    const cached = termKeyMemo.get(t);
+    if (cached !== undefined)
+        return cached;
+    let k;
+    switch (t.kind) {
+        case 'var':
+            k = `v:${t.name}:${t.sort}`;
+            break;
+        case 'const':
+            k = `c:${t.name}:${t.sort}`;
+            break;
+        case 'app':
+            k = `a:${t.name}(${t.args.map(termKey).join(',')})`;
+            break;
+    }
+    termKeyMemo.set(t, k);
+    return k;
+}
+/** Lista las variables que aparecen en un término, en orden de primera aparición */
+function freeVars(t) {
+    const seen = new Set();
+    const result = [];
+    const walk = (u) => {
+        if (u.kind === 'var') {
+            if (!seen.has(u.name)) {
+                seen.add(u.name);
+                result.push({ name: u.name, sort: u.sort });
+            }
+            return;
+        }
+        if (u.kind === 'app') {
+            for (const a of u.args)
+                walk(a);
+        }
+    };
+    walk(t);
+    return result;
+}
+// ── PRNG determinístico simple (mulberry32) ─────────────────
+function mulberry32(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;
+    };
+}
+// ── Enumeración de términos ─────────────────────────────────
+/**
+ * Enumera todos los términos cerrados (sobre constantes + variables
+ * declaradas) del sort dado, hasta `depth`. Profundidad 0 = solo
+ * variables y constantes; cada nivel agrega aplicaciones cuyos
+ * argumentos provienen de niveles inferiores.
+ */
+function enumerateTerms(sig, sort, depth, variables = defaultVariables(sig)) {
+    if (depth < 0)
+        return [];
+    // Memo por (sort, depth)
+    const cache = new Map();
+    const buildBase = (s) => {
+        const out = [];
+        for (const v of variables) {
+            if (v.sort === s)
+                out.push({ kind: 'var', name: v.name, sort: s });
+        }
+        for (const c of sig.constants) {
+            if (c.sort === s)
+                out.push({ kind: 'const', name: c.name, sort: s });
+        }
+        return out;
+    };
+    const at = (s, d) => {
+        const key = `${s}@${d}`;
+        const cached = cache.get(key);
+        if (cached)
+            return cached;
+        if (d <= 0) {
+            const base = buildBase(s);
+            cache.set(key, base);
+            return base;
+        }
+        // Niveles previos (inclusivo): todos los términos de sort s con profundidad < d
+        const prev = at(s, d - 1);
+        const result = [...prev];
+        for (const f of sig.functions) {
+            if (f.resultSort !== s)
+                continue;
+            // Cartesiano de argumentos en niveles ≤ d − 1
+            const argPools = f.argSorts.map((as) => at(as, d - 1));
+            // Evitar explosión catastrófica
+            const totalSize = argPools.reduce((acc, p) => acc * p.length, 1);
+            if (totalSize > 50_000)
+                continue;
+            const idx = new Array(f.argSorts.length).fill(0);
+            const allEmpty = argPools.some((p) => p.length === 0);
+            if (allEmpty)
+                continue;
+            while (true) {
+                const args = idx.map((i, k) => argPools[k][i]);
+                // Al menos un argumento debe usar el nivel d − 1 estricto para
+                // ser "nuevo"; pero por simplicidad y para inclusividad, dejamos
+                // todos. Deduplicamos luego por clave.
+                result.push({ kind: 'app', name: f.name, args, sort: s });
+                let carry = idx.length - 1;
+                while (carry >= 0) {
+                    idx[carry]++;
+                    if (idx[carry] < argPools[carry].length)
+                        break;
+                    idx[carry] = 0;
+                    carry--;
+                }
+                if (carry < 0)
+                    break;
+            }
+        }
+        // Deduplicar
+        const seen = new Set();
+        const dedup = [];
+        for (const t of result) {
+            const k = termKey(t);
+            if (!seen.has(k)) {
+                seen.add(k);
+                dedup.push(t);
+            }
+        }
+        cache.set(key, dedup);
+        return dedup;
+    };
+    return at(sort, depth);
+}
+function defaultVariables(sig) {
+    const out = [];
+    for (const s of sig.sorts) {
+        out.push({ name: `${s.toLowerCase()[0] ?? 'x'}0`, sort: s });
+        out.push({ name: `${s.toLowerCase()[0] ?? 'x'}1`, sort: s });
+        out.push({ name: `${s.toLowerCase()[0] ?? 'x'}2`, sort: s });
+    }
+    return out;
+}
+function defaultRandomValue(sort, rng) {
+    // Generadores razonables por convención de nombre
+    const lo = sort.toLowerCase();
+    if (lo === 'nat' || lo === 'n' || lo === 'number' || lo === 'int') {
+        return Math.floor(rng() * 6);
+    }
+    if (lo === 'bool' || lo === 'b' || lo === 'boolean') {
+        return rng() < 0.5;
+    }
+    if (lo === 'list' || lo === 'l') {
+        const len = Math.floor(rng() * 4);
+        const list = [];
+        for (let i = 0; i < len; i++)
+            list.push(Math.floor(rng() * 4));
+        return list;
+    }
+    return rng();
+}
+/**
+ * Sintetiza conjeturas de igualdad: para cada par de términos del
+ * mismo sort, las evalúa sobre `numTests` valuaciones aleatorias.
+ * Sobreviven las que pasan todas las pruebas.
+ */
+function synthesizeEqualities(sig, evaluator, opts = {}) {
+    const maxDepth = opts.maxDepth ?? 2;
+    const numTests = opts.numTests ?? 100;
+    const maxConj = opts.maxConjectures ?? 200;
+    const seed = opts.seed ?? 0xc0ffee;
+    const rng = mulberry32(seed);
+    const randVal = opts.randomValue ?? defaultRandomValue;
+    const varsPerSort = opts.varsPerSort ?? 3;
+    // Variables: K por cada sort que aparece
+    const variables = [];
+    for (const s of sig.sorts) {
+        for (let i = 0; i < varsPerSort; i++) {
+            variables.push({ name: `${s.toLowerCase()[0] ?? 'x'}${i}`, sort: s });
+        }
+    }
+    const conjectures = [];
+    for (const sort of sig.sorts) {
+        const terms = enumerateTerms(sig, sort, maxDepth, variables);
+        // Pre-evaluar cada término en cada valuación: clave de "comportamiento"
+        const valuations = [];
+        for (let t = 0; t < numTests; t++) {
+            const env = {};
+            for (const v of variables)
+                env[v.name] = randVal(v.sort, rng);
+            valuations.push(env);
+        }
+        // Mapa: signatura semántica → primer término que la produce
+        const sigToRep = new Map();
+        for (const term of terms) {
+            const traces = [];
+            let evalFailed = false;
+            for (const env of valuations) {
+                let val;
+                try {
+                    val = evaluator(term, env);
+                }
+                catch {
+                    evalFailed = true;
+                    break;
+                }
+                traces.push(serializeValue(val));
+            }
+            if (evalFailed)
+                continue;
+            const key = traces.join('|');
+            const rep = sigToRep.get(key);
+            if (rep === undefined) {
+                sigToRep.set(key, term);
+            }
+            else {
+                // Encontramos otro término con misma extensión → conjetura
+                // Evitamos trivialidades: rep === term sintácticamente, o
+                // ambos son la misma var/const sin función aplicada.
+                if (termKey(rep) === termKey(term))
+                    continue;
+                if (rep.kind !== 'app' && term.kind !== 'app')
+                    continue;
+                const allVars = mergeVars(freeVars(rep), freeVars(term));
+                const formula = `∀${allVars.map((v) => `${v.name}:${v.sort}`).join(', ')}. ${termToString(rep)} = ${termToString(term)}`;
+                conjectures.push({
+                    variables: allVars,
+                    formula,
+                    confidence: 1,
+                    termLeft: rep,
+                    termRight: term,
+                });
+                if (conjectures.length >= maxConj)
+                    break;
+            }
+        }
+        if (conjectures.length >= maxConj)
+            break;
+    }
+    // Ordenar por tamaño del lado izquierdo (lemmas más simples primero)
+    conjectures.sort((a, b) => {
+        const sa = a.termLeft ? termSize(a.termLeft) : 0;
+        const sb = b.termLeft ? termSize(b.termLeft) : 0;
+        return sa - sb;
+    });
+    return conjectures;
+}
+function mergeVars(a, b) {
+    const seen = new Set();
+    const out = [];
+    for (const v of [...a, ...b]) {
+        if (!seen.has(v.name)) {
+            seen.add(v.name);
+            out.push(v);
+        }
+    }
+    return out;
+}
+function termSize(t) {
+    if (t.kind === 'var' || t.kind === 'const')
+        return 1;
+    return 1 + t.args.reduce((acc, a) => acc + termSize(a), 0);
+}
+function serializeValue(v) {
+    if (Array.isArray(v))
+        return `[${v.map(serializeValue).join(',')}]`;
+    if (v === null || v === undefined)
+        return String(v);
+    if (typeof v === 'number') {
+        // Quantizar para tolerar epsilon en aritmética real
+        if (!Number.isFinite(v))
+            return String(v);
+        if (Number.isInteger(v))
+            return String(v);
+        return v.toFixed(9);
+    }
+    if (typeof v === 'boolean')
+        return v ? 'true' : 'false';
+    if (typeof v === 'string')
+        return `"${v}"`;
+    if (typeof v === 'bigint')
+        return `${v.toString()}n`;
+    if (typeof v === 'object')
+        return JSON.stringify(v);
+    // function, symbol — last resort
+    return Object.prototype.toString.call(v);
+}
+// ── Pruning de consecuencias ────────────────────────────────
+/**
+ * Descarta conjeturas redundantes:
+ *   • Reflexivas (t = t).
+ *   • Simétricas duplicadas (t1 = t2 vs t2 = t1).
+ *   • Instancias de otras conjeturas más generales (un lemma
+ *     ya hallado subsume a uno con más estructura específica).
+ */
+function pruneConsequences(conjectures) {
+    // Paso 1: reflexivas
+    const noReflex = conjectures.filter((c) => {
+        if (!c.termLeft || !c.termRight)
+            return true;
+        return termKey(c.termLeft) !== termKey(c.termRight);
+    });
+    // Paso 2: simétricas duplicadas — clave canónica = par ordenado de termKey
+    const seen = new Map();
+    for (const c of noReflex) {
+        if (!c.termLeft || !c.termRight) {
+            seen.set(c.formula, c);
+            continue;
+        }
+        const k1 = termKey(c.termLeft);
+        const k2 = termKey(c.termRight);
+        const canonical = k1 < k2 ? `${k1}≡${k2}` : `${k2}≡${k1}`;
+        if (!seen.has(canonical))
+            seen.set(canonical, c);
+    }
+    const result = Array.from(seen.values());
+    // Paso 3: ordenar por tamaño y eliminar conjeturas que son
+    // "instancias" sintácticas más complejas de una previa.
+    result.sort((a, b) => {
+        const sa = (a.termLeft ? termSize(a.termLeft) : 0) + (a.termRight ? termSize(a.termRight) : 0);
+        const sb = (b.termLeft ? termSize(b.termLeft) : 0) + (b.termRight ? termSize(b.termRight) : 0);
+        return sa - sb;
+    });
+    // Paso 4: eliminar conjeturas en las que un lado es subsumido por
+    // un lemma anterior aplicado a un subtérmino (heurística simple:
+    // si reescribiendo con un lemma previo `l → r` colapsamos la
+    // conjetura actual en una reflexiva, es redundante). Usamos
+    // únicamente patrones con cabeza fija (no pure-vars): éstos sí
+    // discriminan y no explotan la búsqueda.
+    const survivors = [];
+    for (const c of result) {
+        if (!c.termLeft || !c.termRight) {
+            survivors.push(c);
+            continue;
+        }
+        let lhs = c.termLeft;
+        let rhs = c.termRight;
+        for (const prev of survivors) {
+            if (!prev.termLeft || !prev.termRight)
+                continue;
+            // No usar lemmas cuyo patrón sea una variable pura (matchearía
+            // cualquier cosa y explota el costo del prune sin agregar señal).
+            if (prev.termLeft.kind === 'var' && prev.termRight.kind !== 'var')
+                continue;
+            if (prev.termRight.kind === 'var' && prev.termLeft.kind !== 'var') {
+                // Usar como `replacement → pattern`: orientación grande→chica.
+                lhs = rewriteOnce(lhs, prev.termLeft, prev.termRight);
+                rhs = rewriteOnce(rhs, prev.termLeft, prev.termRight);
+                continue;
+            }
+            lhs = rewriteOnce(lhs, prev.termLeft, prev.termRight);
+            rhs = rewriteOnce(rhs, prev.termLeft, prev.termRight);
+        }
+        if (termKey(lhs) === termKey(rhs)) {
+            // Es consecuencia trivial de los anteriores
+            continue;
+        }
+        survivors.push(c);
+    }
+    return survivors;
+}
+/**
+ * Reescritura sintáctica simple: si `t` (o un subtérmino) matchea
+ * `pattern` con substitución σ, reemplaza por `σ(replacement)`.
+ * Solo intenta una sustitución de raíz para mantenerlo predecible.
+ */
+function rewriteOnce(t, pattern, replacement) {
+    const subst = match(pattern, t, new Map());
+    if (subst)
+        return applySubst(replacement, subst);
+    if (t.kind === 'app') {
+        const newArgs = t.args.map((a) => rewriteOnce(a, pattern, replacement));
+        // Si nada cambió, devolver original (preserva identidad)
+        let changed = false;
+        for (let i = 0; i < newArgs.length; i++) {
+            if (termKey(newArgs[i]) !== termKey(t.args[i])) {
+                changed = true;
+                break;
+            }
+        }
+        if (!changed)
+            return t;
+        return { kind: 'app', name: t.name, args: newArgs, sort: t.sort };
+    }
+    return t;
+}
+function match(pattern, target, subst) {
+    // Mutable variant: records additions and rolls back on failure.
+    const added = [];
+    const tryMatch = (p, t) => {
+        if (p.kind === 'var') {
+            const prev = subst.get(p.name);
+            if (prev)
+                return termKey(prev) === termKey(t);
+            if (p.sort !== t.sort)
+                return false;
+            subst.set(p.name, t);
+            added.push(p.name);
+            return true;
+        }
+        if (p.kind === 'const') {
+            return t.kind === 'const' && p.name === t.name;
+        }
+        if (t.kind !== 'app')
+            return false;
+        if (p.name !== t.name)
+            return false;
+        if (p.args.length !== t.args.length)
+            return false;
+        for (let i = 0; i < p.args.length; i++) {
+            if (!tryMatch(p.args[i], t.args[i]))
+                return false;
+        }
+        return true;
+    };
+    if (tryMatch(pattern, target))
+        return subst;
+    // rollback
+    for (const k of added)
+        subst.delete(k);
+    return null;
+}
+function applySubst(t, subst) {
+    if (t.kind === 'var') {
+        const v = subst.get(t.name);
+        return v ?? t;
+    }
+    if (t.kind === 'const')
+        return t;
+    return {
+        kind: 'app',
+        name: t.name,
+        args: t.args.map((a) => applySubst(a, subst)),
+        sort: t.sort,
+    };
+}
+function verifyConjectures(conjectures, prover) {
+    return conjectures.map((c) => {
+        let r;
+        try {
+            r = prover(c);
+        }
+        catch {
+            return { ...c, status: 'unknown' };
+        }
+        if (r.proven)
+            return { ...c, status: 'verified' };
+        if (r.counter !== undefined)
+            return { ...c, status: 'counter', counter: r.counter };
+        return { ...c, status: 'unknown' };
+    });
+}
+// ── Signaturas de ejemplo ───────────────────────────────────
+function naturalNumbersSignature() {
+    return {
+        sorts: ['Nat'],
+        constants: [{ name: '0', sort: 'Nat' }],
+        functions: [
+            { name: 'S', argSorts: ['Nat'], resultSort: 'Nat' },
+            { name: '+', argSorts: ['Nat', 'Nat'], resultSort: 'Nat' },
+            { name: '*', argSorts: ['Nat', 'Nat'], resultSort: 'Nat' },
+        ],
+        predicates: [],
+    };
+}
+function booleansSignature() {
+    return {
+        sorts: ['Bool'],
+        constants: [
+            { name: 'T', sort: 'Bool' },
+            { name: 'F', sort: 'Bool' },
+        ],
+        functions: [
+            { name: '¬', argSorts: ['Bool'], resultSort: 'Bool' },
+            { name: '∧', argSorts: ['Bool', 'Bool'], resultSort: 'Bool' },
+            { name: '∨', argSorts: ['Bool', 'Bool'], resultSort: 'Bool' },
+        ],
+        predicates: [],
+    };
+}
+function listsSignature() {
+    return {
+        sorts: ['List', 'Nat'],
+        constants: [
+            { name: 'nil', sort: 'List' },
+            { name: '0', sort: 'Nat' },
+        ],
+        functions: [
+            { name: 'S', argSorts: ['Nat'], resultSort: 'Nat' },
+            { name: 'cons', argSorts: ['Nat', 'List'], resultSort: 'List' },
+            { name: '++', argSorts: ['List', 'List'], resultSort: 'List' },
+            { name: 'length', argSorts: ['List'], resultSort: 'Nat' },
+        ],
+        predicates: [],
+    };
+}
+// ── Evaluadores de ejemplo (útiles para tests y demos) ──────
+const naturalsEvaluator = (term, env) => {
+    const evalT = (t) => {
+        if (t.kind === 'var') {
+            const v = env[t.name];
+            return typeof v === 'number' ? v : 0;
+        }
+        if (t.kind === 'const')
+            return t.name === '0' ? 0 : 0;
+        switch (t.name) {
+            case 'S':
+                return evalT(t.args[0]) + 1;
+            case '+':
+                return evalT(t.args[0]) + evalT(t.args[1]);
+            case '*':
+                return evalT(t.args[0]) * evalT(t.args[1]);
+            default:
+                throw new Error(`unknown function ${t.name}`);
+        }
+    };
+    return evalT(term);
+};
+exports.naturalsEvaluator = naturalsEvaluator;
+const booleansEvaluator = (term, env) => {
+    const evalT = (t) => {
+        if (t.kind === 'var') {
+            const v = env[t.name];
+            return typeof v === 'boolean' ? v : false;
+        }
+        if (t.kind === 'const')
+            return t.name === 'T';
+        switch (t.name) {
+            case '¬':
+                return !evalT(t.args[0]);
+            case '∧':
+                return evalT(t.args[0]) && evalT(t.args[1]);
+            case '∨':
+                return evalT(t.args[0]) || evalT(t.args[1]);
+            default:
+                throw new Error(`unknown function ${t.name}`);
+        }
+    };
+    return evalT(term);
+};
+exports.booleansEvaluator = booleansEvaluator;
+const listsEvaluator = (term, env) => {
+    const evalT = (t) => {
+        if (t.kind === 'var') {
+            return env[t.name];
+        }
+        if (t.kind === 'const') {
+            if (t.name === 'nil')
+                return [];
+            if (t.name === '0')
+                return 0;
+            return undefined;
+        }
+        switch (t.name) {
+            case 'S':
+                return evalT(t.args[0]) + 1;
+            case 'cons': {
+                const h = evalT(t.args[0]);
+                const tl = evalT(t.args[1]);
+                return [h, ...tl];
+            }
+            case '++': {
+                const a = evalT(t.args[0]);
+                const b = evalT(t.args[1]);
+                return [...a, ...b];
+            }
+            case 'length':
+                return evalT(t.args[0]).length;
+            default:
+                throw new Error(`unknown function ${t.name}`);
+        }
+    };
+    return evalT(term);
+};
+exports.listsEvaluator = listsEvaluator;
+// ── Re-exports para tests ───────────────────────────────────
+exports.__internals = {
+    termKey,
+    termSize,
+    match,
+    rewriteOnce,
+    applySubst,
+    mulberry32,
+    serializeValue,
+};
+//# sourceMappingURL=index.js.map

package/dist/lemma-synthesis/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lemma-synthesis/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,kEAAkE;AAClE,yDAAyD;AACzD,mBAAmB;AACnB,EAAE;AACF,8DAA8D;AAC9D,6DAA6D;AAC7D,4BAA4B;AAC5B,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,iEAAiE;AACjE,8DAA8D;AAC9D,iDAAiD;AACjD,EAAE;AACF,6DAA6D;AAC7D,gEAAgE;AAChE,uBAAuB;AACvB,+DAA+D;;;AA0C/D,oCAgBC;AAwBD,4BAiBC;AAuBD,wCA+EC;AAuCD,oDAsFC;AAgDD,8CAkEC;AA8ED,8CAYC;AAID,0DAWC;AAED,8CAcC;AAED,wCAeC;AA1hBD,+DAA+D;AAE/D,SAAgB,YAAY,CAAC,CAAO;IAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,KAAK;YACR,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,IAAI,CAAC;YACvC,qDAAqD;YACrD,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC7E,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnD,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,OAAO,EAAkB,CAAC;AAClD,SAAS,OAAO,CAAC,CAAO;IACtB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,CAAS,CAAC;IACd,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM;QACR,KAAK,OAAO;YACV,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM;QACR,KAAK,KAAK;YACR,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YACpD,MAAM;IACV,CAAC;IACD,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oFAAoF;AACpF,SAAgB,QAAQ,CAAC,CAAO;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAA0C,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,CAAC,CAAO,EAAQ,EAAE;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+DAA+D;AAE/D,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAW,EAAE;QAClB,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,+DAA+D;AAE/D;;;;;GAKG;AACH,SAAgB,cAAc,CAC5B,GAAc,EACd,IAAY,EACZ,KAAa,EACb,YAAmD,gBAAgB,CAAC,GAAG,CAAC;IAExE,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzB,yBAAyB;IACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAExC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE;QACtC,MAAM,GAAG,GAAW,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC1B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,gFAAgF;QAChF,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAW,CAAC,GAAG,IAAI,CAAC,CAAC;QAEjC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC;gBAAE,SAAS;YACjC,8CAA8C;YAC9C,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvD,gCAAgC;YAChC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,SAAS,GAAG,MAAM;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAa,CAAC;YAC7D,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,QAAQ;gBAAE,SAAS;YACvB,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/C,+DAA+D;gBAC/D,iEAAiE;gBACjE,uCAAuC;gBACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC1D,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC3B,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;oBAClB,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACb,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM;wBAAE,MAAM;oBAC/C,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACf,KAAK,EAAE,CAAC;gBACV,CAAC;gBACD,IAAI,KAAK,GAAG,CAAC;oBAAE,MAAM;YACvB,CAAC;QACH,CAAC;QAED,aAAa;QACb,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAc;IACtC,MAAM,GAAG,GAA0C,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAMD,SAAS,kBAAkB,CAAC,IAAY,EAAE,GAAiB;IACzD,kDAAkD;IAClD,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAC9B,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACpD,OAAO,GAAG,EAAE,GAAG,GAAG,CAAC;IACrB,CAAC;IACD,IAAI,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,GAAG,EAAE,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAgB,oBAAoB,CAClC,GAAc,EACd,SAAoB,EACpB,OAAyB,EAAE;IAE3B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,GAAG,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,IAAI,GAAG,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC;IACnC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC;IACvD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;IAE1C,yCAAyC;IACzC,MAAM,SAAS,GAA0C,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAE7D,wEAAwE;QACxE,MAAM,UAAU,GAAmC,EAAE,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,SAAS;gBAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9D,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;QAED,4DAA4D;QAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,GAAY,CAAC;gBACjB,IAAI,CAAC;oBACH,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC7B,CAAC;gBAAC,MAAM,CAAC;oBACP,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC;YACD,IAAI,UAAU;gBAAE,SAAS;YAEzB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,2DAA2D;gBAC3D,0DAA0D;gBAC1D,qDAAqD;gBACrD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,SAAS;gBAExD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzH,WAAW,CAAC,IAAI,CAAC;oBACf,SAAS,EAAE,OAAO;oBAClB,OAAO;oBACP,UAAU,EAAE,CAAC;oBACb,QAAQ,EAAE,GAAG;oBACb,SAAS,EAAE,IAAI;iBAChB,CAAC,CAAC;gBACH,IAAI,WAAW,CAAC,MAAM,IAAI,OAAO;oBAAE,MAAM;YAC3C,CAAC;QACH,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,IAAI,OAAO;YAAE,MAAM;IAC3C,CAAC;IAED,qEAAqE;IACrE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAChB,CAAwC,EACxC,CAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAA0C,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,CAAO;IACvB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACpE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,oDAAoD;QACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACxD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC;IACrD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpD,iCAAiC;IACjC,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,+DAA+D;AAE/D;;;;;;GAMG;AACH,SAAgB,iBAAiB,CAAC,WAAyB;IACzD,qBAAqB;IACrB,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAC7C,OAAO,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAEzC,2DAA2D;IAC3D,wDAAwD;IACxD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,OAAO,EAAE,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,iEAAiE;IACjE,6DAA6D;IAC7D,4DAA4D;IAC5D,+DAA+D;IAC/D,yCAAyC;IACzC,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAChC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,GAAS,CAAC,CAAC,QAAQ,CAAC;QAC3B,IAAI,GAAG,GAAS,CAAC,CAAC,SAAS,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAChD,+DAA+D;YAC/D,kEAAkE;YAClE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK;gBAAE,SAAS;YAC5E,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAClE,+DAA+D;gBAC/D,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACtD,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,4CAA4C;YAC5C,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAO,EAAE,OAAa,EAAE,WAAiB;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC3C,IAAI,KAAK;QAAE,OAAO,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACxE,yDAAyD;QACzD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,KAAK,CAAC,OAAa,EAAE,MAAY,EAAE,KAAwB;IAClE,gEAAgE;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,IAAI;gBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QACjD,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACpD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,WAAW;IACX,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAO,EAAE,KAAwB;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC;IACjC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC;AACJ,CAAC;AAWD,SAAgB,iBAAiB,CAAC,WAAyB,EAAE,MAAc;IACzE,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3B,IAAI,CAAyC,CAAC;QAC9C,IAAI,CAAC;YACH,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QAClD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACpF,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+DAA+D;AAE/D,SAAgB,uBAAuB;IACrC,OAAO;QACL,KAAK,EAAE,CAAC,KAAK,CAAC;QACd,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;YACnD,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;YAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;SAC3D;QACD,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,SAAgB,iBAAiB;IAC/B,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;YAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;SAC5B;QACD,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE;YACrD,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE;YAC7D,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE;SAC9D;QACD,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,SAAgB,cAAc;IAC5B,OAAO;QACL,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACtB,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;YAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;SAC3B;QACD,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;YACnD,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE;YAC/D,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE;YAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;SAC1D;QACD,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,+DAA+D;AAExD,MAAM,iBAAiB,GAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACxD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAU,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9B,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C;gBACE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC,CAAC;AAnBW,QAAA,iBAAiB,qBAmB5B;AAEK,MAAM,iBAAiB,GAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACxD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAW,EAAE;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC;QAC9C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,GAAG;gBACN,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,KAAK,GAAG;gBACN,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C;gBACE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC,CAAC;AAnBW,QAAA,iBAAiB,qBAmB5B;AAEK,MAAM,cAAc,GAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACrD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAW,EAAE;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;gBAAE,OAAO,CAAC,CAAC;YAC7B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,GAAG;gBACN,OAAQ,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAY,GAAG,CAAC,CAAC;YAC1C,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAW,CAAC;gBACrC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAa,CAAC;gBACxC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACpB,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAa,CAAC;gBACvC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAa,CAAC;gBACvC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,KAAK,QAAQ;gBACX,OAAQ,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAc,CAAC,MAAM,CAAC;YAC/C;gBACE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC,CAAC;AA9BW,QAAA,cAAc,kBA8BzB;AAEF,+DAA+D;AAElD,QAAA,WAAW,GAAG;IACzB,OAAO;IACP,QAAQ;IACR,KAAK;IACL,WAAW;IACX,UAAU;IACV,UAAU;IACV,cAAc;CACf,CAAC"}