zklicensing 0.1.0-beta.2 → 0.1.0-beta.21

package/build/permitTree.js

@@ -0,0 +1,230 @@
+// Copyright (c) 2025-2026 zkLicensing project developers
+// SPDX-License-Identifier: BUSL-1.1
+/**
+ * permitTree.ts — `zklicensing/permits/tree`
+ *
+ * A compact copy of a registry's permits tree, for holders to build their
+ * Merkle witness without the keeper learning which permit is theirs, and
+ * without rebuilding the 256-level tree (one 256-hash path per permit,
+ * about 0.1 s each).
+ *
+ * The tree is sparse: permits sit at random-looking positions, so below the
+ * top few levels nearly every permit is alone in its subtree and everything
+ * beside it is empty — known constants. The only non-constant siblings any
+ * witness needs are the two children of each node where two permits' paths
+ * split: with the permits sorted by position, one such node per adjacent
+ * pair, N − 1 in all. The compact tree is every permit's record plus those
+ * 2(N − 1) node values. Everyone downloads the same thing; a wrong copy only
+ * makes the holder's proof fail against the chain's root, never pass.
+ *
+ * Updates: `applyTreeDiff` takes the records that changed since a root the
+ * holder has and recomputes only the nodes above them.
+ */
+import { Field, MerkleMap, Poseidon } from 'o1js';
+import { permitLeafHash } from './permitMessages.js';
+import { recordToLeaf } from './permitRegistryRebuild.js';
+import { CompactMerkleMap, encodeFields, decodeFields } from './compactMerkleMap.js';
+const HEIGHT = 256;
+// ── field and position helpers ───────────────────────────────────────────────
+let zeroCache = null;
+/** zeros[l]: the value of an empty subtree whose top is at level l. */
+function zeros() {
+    if (!zeroCache) {
+        const z = [0n];
+        for (let i = 1; i < HEIGHT; i++)
+            z.push(Poseidon.hash([Field(z[i - 1]), Field(z[i - 1])]).toBigInt());
+        zeroCache = z;
+    }
+    return zeroCache;
+}
+const H = (a, b) => Poseidon.hash([Field(a), Field(b)]).toBigInt();
+const keyMap = new MerkleMap();
+/** A subject's leaf position (as MerkleMap places it). */
+export function subjectIndex(subject) {
+    return keyMap._keyToIndex(Field(subject));
+}
+function bitLength(x) { let n = 0; while (x > 0n) {
+    x >>= 1n;
+    n++;
+} return n; }
+/** The split-children positions, [level, index] pairs, in canonical order, for sorted leaf positions. */
+function splitChildren(sorted) {
+    const out = [];
+    for (let i = 0; i + 1 < sorted.length; i++) {
+        const a = sorted[i], b = sorted[i + 1];
+        const l = bitLength(a ^ b) - 1; // the children's level; their parent at l + 1 is where the paths split
+        out.push([l, a >> BigInt(l)], [l, b >> BigInt(l)]);
+    }
+    return out;
+}
+function sortPermits(permits) {
+    const withIdx = permits.map(p => ({ p, i: subjectIndex(p.subject) }));
+    withIdx.sort((x, y) => (x.i < y.i ? -1 : x.i > y.i ? 1 : 0));
+    return { permits: withIdx.map(x => x.p), idx: withIdx.map(x => x.i) };
+}
+const nodeKey = (l, j) => `${l}:${j}`;
+// ── keeper side ──────────────────────────────────────────────────────────────
+/**
+ * The compact tree from a full permits tree (the keeper's MerkleMap). Reads
+ * node values; no hashing.
+ */
+export function compactTreeFrom(args) {
+    const { permits, idx } = sortPermits([...args.permits]);
+    let values;
+    if (args.tree instanceof CompactMerkleMap) {
+        values = args.tree.splitValues();
+    }
+    else {
+        const full = args.tree.tree;
+        values = splitChildren(idx).map(([l, j]) => full.getNode(l, j).toBigInt());
+    }
+    if (values.length !== Math.max(0, permits.length - 1) * 2)
+        throw new Error('compact tree: the tree and the permits list disagree');
+    return { registry: args.registry, root: args.tree.getRoot().toString(), slot: args.slot, permits, nodes: encodeFields(values) };
+}
+const indexed = new WeakMap();
+function index(ct) {
+    let x = indexed.get(ct);
+    if (x)
+        return x;
+    const idx = ct.permits.map(p => subjectIndex(p.subject));
+    for (let i = 1; i < idx.length; i++)
+        if (idx[i] <= idx[i - 1])
+            throw new Error('compact tree: permits are not sorted by position');
+    const positions = splitChildren(idx);
+    const vals = ct.nodes ? decodeFields(ct.nodes) : [];
+    if (vals.length !== positions.length)
+        throw new Error(`compact tree: expected ${positions.length} node values, got ${vals.length}`);
+    const values = new Map();
+    positions.forEach(([l, j], i) => values.set(nodeKey(l, j), vals[i]));
+    x = { ct, idx, values };
+    indexed.set(ct, x);
+    return x;
+}
+/**
+ * The Merkle witness for `subject` from the compact tree, checked by folding
+ * it to the tree's root (one path of hashes).
+ */
+export function witnessFromCompactTree(ct, subject) {
+    const { values } = index(ct);
+    const permit = ct.permits.find(p => p.subject === subject);
+    if (!permit)
+        throw new Error('The registry has no such permit.');
+    const z = zeros();
+    const s = subjectIndex(subject);
+    const isLefts = [];
+    const siblings = [];
+    let h = permitLeafHash(recordToLeaf(permit)).toBigInt();
+    for (let l = 0; l < HEIGHT - 1; l++) {
+        const at = s >> BigInt(l);
+        const left = (at & 1n) === 0n;
+        const sib = values.get(nodeKey(l, at ^ 1n)) ?? z[l];
+        isLefts.push(left);
+        siblings.push(sib.toString());
+        h = left ? H(h, sib) : H(sib, h);
+    }
+    if (h.toString() !== ct.root)
+        throw new Error('The registry copy does not fold to its root; download it again.');
+    return { root: ct.root, witness: { isLefts, siblings }, permit };
+}
+/**
+ * Applies the records that changed since `old.root`, recomputing only the
+ * nodes above them, and checks the result against `diff.root`.
+ */
+export function applyTreeDiff(old, diff) {
+    if (diff.since !== old.root)
+        throw new Error('This update is for another version of the registry.');
+    if (diff.registry !== old.registry)
+        throw new Error('This update is for another registry.');
+    const prev = index(old);
+    const bySubject = new Map(old.permits.map(p => [p.subject, p]));
+    for (const p of diff.changed)
+        bySubject.set(p.subject, p);
+    const { permits, idx } = sortPermits([...bySubject.values()]);
+    const changedIdx = diff.changed.map(p => subjectIndex(p.subject)).sort((a, b) => (a < b ? -1 : a > b ? 1 : 0));
+    const leafHash = new Map(permits.map((p, i) => [idx[i], permitLeafHash(recordToLeaf(p)).toBigInt()]));
+    const z = zeros();
+    // First position >= x in a sorted array.
+    const lower = (arr, x) => { let lo = 0, hi = arr.length; while (lo < hi) {
+        const m = (lo + hi) >> 1;
+        if (arr[m] < x)
+            lo = m + 1;
+        else
+            hi = m;
+    } return lo; };
+    const inRange = (arr, lo, hi) => { const a = lower(arr, lo); return { a, b: lower(arr, hi + 1n) }; };
+    const memo = new Map();
+    const node = (l, j) => {
+        const k = nodeKey(l, j);
+        const m = memo.get(k);
+        if (m !== undefined)
+            return m;
+        const lo = j << BigInt(l), hi = ((j + 1n) << BigInt(l)) - 1n;
+        const leaves = inRange(idx, lo, hi);
+        let v;
+        if (leaves.b === leaves.a)
+            v = z[l];
+        else {
+            const touched = inRange(changedIdx, lo, hi);
+            const kept = touched.a === touched.b ? prev.values.get(k) : undefined;
+            if (kept !== undefined)
+                v = kept;
+            else if (l === 0)
+                v = leafHash.get(j);
+            else if (leaves.b - leaves.a === 1) {
+                // One permit below: hash its path up to here, beside empty subtrees.
+                const pos = idx[leaves.a];
+                let h = leafHash.get(pos);
+                for (let t = 0; t < l; t++)
+                    h = ((pos >> BigInt(t)) & 1n) === 0n ? H(h, z[t]) : H(z[t], h);
+                v = h;
+            }
+            else
+                v = H(node(l - 1, 2n * j), node(l - 1, 2n * j + 1n));
+        }
+        memo.set(k, v);
+        return v;
+    };
+    const values = splitChildren(idx).map(([l, j]) => node(l, j));
+    const root = node(HEIGHT - 1, 0n);
+    if (root.toString() !== diff.root)
+        throw new Error('The updated registry copy does not match the new root; download it again.');
+    return { registry: old.registry, root: diff.root, slot: diff.slot, permits, nodes: encodeFields(values) };
+}
+/**
+ * The registry's current compact tree: the cached copy brought up to date
+ * with a diff when the keeper has one, else a full download.
+ */
+export async function syncRegistryTree(args) {
+    const cached = args.cache ? await args.cache.get(args.registry).catch(() => null) : null;
+    if (cached) {
+        try {
+            const res = await args.fetchTree(cached.root);
+            let next = null;
+            if (res.unchanged) {
+                next = { ...cached, slot: res.slot };
+                args.onProgress?.('cached');
+            }
+            else if (Array.isArray(res.changed)) {
+                next = applyTreeDiff(cached, res);
+                args.onProgress?.('diff');
+            }
+            else if (Array.isArray(res.permits)) {
+                next = res;
+                args.onProgress?.('full');
+            }
+            if (next) {
+                await args.cache.set(args.registry, next).catch(() => { });
+                return next;
+            }
+        }
+        catch { /* fall through to a full download */ }
+    }
+    const full = await args.fetchTree();
+    if (!Array.isArray(full.permits))
+        throw new Error('The keeper did not send the registry.');
+    args.onProgress?.('full');
+    await args.cache?.set(args.registry, full).catch(() => { });
+    return full;
+}
+//# sourceMappingURL=permitTree.js.map

package/build/permitTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"permitTree.js","sourceRoot":"","sources":["../src/permitTree.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,oCAAoC;AAEpC;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAqB,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErF,MAAM,MAAM,GAAG,GAAG,CAAC;AAcnB,gFAAgF;AAEhF,IAAI,SAAS,GAAoB,IAAI,CAAC;AACtC,uEAAuE;AACvE,SAAS,KAAK;IACZ,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;YAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtG,SAAS,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAEnF,MAAM,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;AAC/B,0DAA0D;AAC1D,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,OAAQ,MAAc,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAW,CAAC;AAC/D,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,IAAY,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;IAAC,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC,EAAE,CAAC;AAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhG,yGAAyG;AACzG,SAAS,aAAa,CAAC,MAAgB;IACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uEAAuE;QACvG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,OAAuB;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAEtD,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAA6G;IAC3I,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACxD,IAAI,MAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,YAAY,gBAAgB,EAAE,CAAC;QAC1C,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAI,IAAI,CAAC,IAAY,CAAC,IAAwD,CAAC;QACzF,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IACnI,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;AAClI,CAAC;AAKD,MAAM,OAAO,GAAG,IAAI,OAAO,EAAwB,CAAC;AAEpD,SAAS,KAAK,CAAC,EAAe;IAC5B,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxB,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAChB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACnI,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,SAAS,CAAC,MAAM,qBAAqB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpI,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,EAAe,EAAE,OAAe;IACrE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACjE,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;IAClB,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,cAAc,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9B,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACjH,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,GAAgB,EAAE,IAAc;IAC5D,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACpG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACtH,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;IAElB,yCAAyC;IACzC,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,CAAS,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;;YAAM,EAAE,GAAG,CAAC,CAAC;IAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/K,MAAM,OAAO,GAAG,CAAC,GAAa,EAAE,EAAU,EAAE,EAAU,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/H,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE;QAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAI,CAAS,CAAC;QACd,IAAI,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAC/B,CAAC;YACJ,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,IAAI,IAAI,KAAK,SAAS;gBAAE,CAAC,GAAG,IAAI,CAAC;iBAC5B,IAAI,CAAC,KAAK,CAAC;gBAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;iBAClC,IAAI,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,qEAAqE;gBACrE,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3F,CAAC,GAAG,CAAC,CAAC;YACR,CAAC;;gBAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAChI,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;AAC5G,CAAC;AAQD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAKtC;IACC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,CAAC;YACH,MAAM,GAAG,GAAQ,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,IAAI,GAAuB,IAAI,CAAC;YACpC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAAC,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC;YAAC,CAAC;iBACpF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAC,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAe,CAAC,CAAC;gBAAC,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;YAAC,CAAC;iBAC7G,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAC,IAAI,GAAG,GAAkB,CAAC;gBAAC,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;YAAC,CAAC;YAC9F,IAAI,IAAI,EAAE,CAAC;gBAAC,MAAM,IAAI,CAAC,KAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC;YAAC,CAAC;QACxF,CAAC;QAAC,MAAM,CAAC,CAAC,qCAAqC,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,EAAiB,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3F,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC"}