@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.21

package/dest/avm/avm_tree.js

@@ -1,684 +0,0 @@
-import { MerkleTreeId } from '@aztec/circuit-types';
-import { AppendOnlyTreeSnapshot, NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '@aztec/circuits.js';
-import { poseidon2Hash } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { strict as assert } from 'assert';
-import cloneDeep from 'lodash.clonedeep';
-const MAX_TREE_DEPTH = 128;
-/**
- * Helper function to precompute zero hashes
- */
-async function preComputeZeroHashes() {
-    let currentHash = Fr.zero();
-    const zeroHashes = [];
-    for (let i = 0; i < MAX_TREE_DEPTH; i++) {
-        zeroHashes.push(currentHash);
-        currentHash = await poseidon2Hash([currentHash, currentHash]);
-    }
-    return zeroHashes;
-}
-/****************************************************/
-/****** The AvmEphemeralForest Class ****************/
-/****************************************************/
-/**
- * This provides a forkable abstraction over the EphemeralAvmTree class
- *  It contains the logic to look up into a read-only MerkleTreeDb to discover
- *  the sibling paths and low witnesses that weren't inserted as part of this tx
- */
-export class AvmEphemeralForest {
-    constructor(treeDb, treeMap, 
-    // This contains the [leaf index,indexed leaf preimages] tuple that were updated or inserted in the ephemeral tree
-    // This is needed since we have a sparse collection of keys sorted leaves in the ephemeral tree
-    indexedUpdates, indexedSortedKeys) {
-        this.treeDb = treeDb;
-        this.treeMap = treeMap;
-        this.indexedUpdates = indexedUpdates;
-        this.indexedSortedKeys = indexedSortedKeys;
-    }
-    static async create(treeDb) {
-        const treeMap = new Map();
-        for (const treeType of [MerkleTreeId.NULLIFIER_TREE, MerkleTreeId.NOTE_HASH_TREE, MerkleTreeId.PUBLIC_DATA_TREE]) {
-            const treeInfo = await treeDb.getTreeInfo(treeType);
-            const tree = await EphemeralAvmTree.create(treeInfo.size, treeInfo.depth, treeDb, treeType);
-            treeMap.set(treeType, tree);
-        }
-        const indexedSortedKeys = new Map();
-        indexedSortedKeys.set(MerkleTreeId.NULLIFIER_TREE, []);
-        indexedSortedKeys.set(MerkleTreeId.PUBLIC_DATA_TREE, []);
-        return new AvmEphemeralForest(treeDb, treeMap, new Map(), indexedSortedKeys);
-    }
-    fork() {
-        return new AvmEphemeralForest(this.treeDb, cloneDeep(this.treeMap), cloneDeep(this.indexedUpdates), cloneDeep(this.indexedSortedKeys));
-    }
-    /**
-     * Gets sibling path for a leaf - if the sibling path is not found in the tree, it is fetched from the DB
-     * @param treeId - The tree to be queried for a sibling path.
-     * @param index - The index of the leaf for which a sibling path should be returned.
-     * @returns The sibling path of the leaf.
-     */
-    async getSiblingPath(treeId, index) {
-        const tree = this.treeMap.get(treeId);
-        let path = await tree.getSiblingPath(index);
-        if (path === undefined) {
-            // We dont have the sibling path in our tree - we have to get it from the DB
-            path = (await this.treeDb.getSiblingPath(treeId, index)).toFields();
-            // Since the sibling path could be outdated, we compare it with nodes in our tree
-            // if we encounter a mismatch, we replace it with the node we found in our tree.
-            for (let i = 0; i < path.length; i++) {
-                const siblingIndex = index ^ 1n;
-                const node = tree.getNode(siblingIndex, tree.depth - i);
-                if (node !== undefined) {
-                    const nodeHash = await tree.hashTree(node, i + 1);
-                    if (!nodeHash.equals(path[i])) {
-                        path[i] = nodeHash;
-                    }
-                }
-                index >>= 1n;
-            }
-        }
-        return path;
-    }
-    /**
-     * This does the work of appending the new leaf and updating the low witness
-     * @param treeId - The tree to be queried for a sibling path.
-     * @param lowWitnessIndex - The index of the low leaf in the tree.
-     * @param lowWitness - The preimage of the low leaf.
-     * @param newLeafPreimage - The preimage of the new leaf to be inserted.
-     * @returns The sibling path of the new leaf (i.e. the insertion path)
-     */
-    async appendIndexedTree(treeId, lowLeafIndex, lowLeafPreimage, newLeafPreimage) {
-        const tree = this.treeMap.get(treeId);
-        const newLeaf = await this.hashPreimage(newLeafPreimage);
-        const insertIndex = tree.leafCount;
-        const lowLeaf = await this.hashPreimage(lowLeafPreimage);
-        // Update the low nullifier hash
-        this.setIndexedUpdates(treeId, lowLeafIndex, lowLeafPreimage);
-        tree.updateLeaf(lowLeaf, lowLeafIndex);
-        // Append the new leaf
-        tree.appendLeaf(newLeaf);
-        this.setIndexedUpdates(treeId, insertIndex, newLeafPreimage);
-        return (await tree.getSiblingPath(insertIndex));
-    }
-    /**
-     * This writes or updates a slot in the public data tree with a value
-     * @param slot - The slot to be written to.
-     * @param newValue - The value to be written or updated to
-     * @returns The insertion result which contains the insertion path, low leaf and the new leaf index
-     */
-    async writePublicStorage(slot, newValue) {
-        // This only works for the public data tree
-        const treeId = MerkleTreeId.PUBLIC_DATA_TREE;
-        const tree = this.treeMap.get(treeId);
-        const [leafOrLowLeafInfo, pathAbsentInEphemeralTree] = await this._getLeafOrLowLeafInfo(treeId, slot);
-        const { preimage, index: lowLeafIndex, alreadyPresent: update } = leafOrLowLeafInfo;
-        const siblingPath = await this.getSiblingPath(treeId, lowLeafIndex);
-        if (pathAbsentInEphemeralTree) {
-            // Since we have never seen this before - we should insert it into our tree as it is about to be updated.
-            this.treeMap.get(treeId).insertSiblingPath(lowLeafIndex, siblingPath);
-        }
-        if (update) {
-            const updatedPreimage = cloneDeep(preimage);
-            const existingPublicDataSiblingPath = siblingPath;
-            updatedPreimage.value = newValue;
-            tree.updateLeaf(await this.hashPreimage(updatedPreimage), lowLeafIndex);
-            this.setIndexedUpdates(treeId, lowLeafIndex, updatedPreimage);
-            this._updateSortedKeys(treeId, [updatedPreimage.slot], [lowLeafIndex]);
-            return {
-                element: updatedPreimage,
-                lowWitness: {
-                    preimage: preimage,
-                    index: lowLeafIndex,
-                    siblingPath: existingPublicDataSiblingPath,
-                },
-                update: true,
-            };
-        }
-        // We are writing to a new slot, so our preimage is a lowNullifier
-        const insertionIndex = tree.leafCount;
-        const updatedLowLeaf = cloneDeep(preimage);
-        updatedLowLeaf.nextSlot = slot;
-        updatedLowLeaf.nextIndex = insertionIndex;
-        const newPublicDataLeaf = new PublicDataTreeLeafPreimage(slot, newValue, new Fr(preimage.getNextKey()), preimage.getNextIndex());
-        const insertionPath = await this.appendIndexedTree(treeId, lowLeafIndex, updatedLowLeaf, newPublicDataLeaf);
-        // Even though the low leaf key is not updated, we still need to update the sorted keys in case we have
-        // not seen the low leaf before
-        this._updateSortedKeys(treeId, [newPublicDataLeaf.slot, updatedLowLeaf.slot], [insertionIndex, lowLeafIndex]);
-        return {
-            element: newPublicDataLeaf,
-            lowWitness: {
-                preimage,
-                index: lowLeafIndex,
-                siblingPath,
-            },
-            update: false,
-            leafIndex: insertionIndex,
-            insertionPath: insertionPath,
-        };
-    }
-    _updateSortedKeys(treeId, keys, index) {
-        // This is a reference
-        const existingKeyVector = this.indexedSortedKeys.get(treeId);
-        // Should already be sorted so not need to re-sort if we just update or splice
-        for (let i = 0; i < keys.length; i++) {
-            const foundIndex = existingKeyVector.findIndex(x => x[1] === index[i]);
-            if (foundIndex === -1) {
-                // New element, we splice it into the correct location
-                const spliceIndex = indexOrNextLowestInArray(keys[i], existingKeyVector.map(x => x[0])) + 1;
-                existingKeyVector.splice(spliceIndex, 0, [keys[i], index[i]]);
-            }
-            else {
-                // Update the existing element
-                existingKeyVector[foundIndex][0] = keys[i];
-            }
-        }
-    }
-    /**
-     * This appends a nullifier to the nullifier tree, and throws if the nullifier already exists
-     * @param value - The nullifier to be appended
-     * @returns The insertion result which contains the insertion path, low leaf and the new leaf index
-     */
-    async appendNullifier(nullifier) {
-        const treeId = MerkleTreeId.NULLIFIER_TREE;
-        const tree = this.treeMap.get(treeId);
-        const [leafOrLowLeafInfo, pathAbsentInEphemeralTree] = await this._getLeafOrLowLeafInfo(treeId, nullifier);
-        const { preimage, index, alreadyPresent } = leafOrLowLeafInfo;
-        const siblingPath = await this.getSiblingPath(treeId, index);
-        if (pathAbsentInEphemeralTree) {
-            // Since we have never seen this before - we should insert it into our tree as it is about to be updated.
-            this.treeMap.get(treeId).insertSiblingPath(index, siblingPath);
-        }
-        assert(!alreadyPresent, 'Nullifier already exists in the tree. Cannot update a nullifier!');
-        // We are writing a new entry
-        const insertionIndex = tree.leafCount;
-        const updatedLowNullifier = cloneDeep(preimage);
-        updatedLowNullifier.nextNullifier = nullifier;
-        updatedLowNullifier.nextIndex = insertionIndex;
-        const newNullifierLeaf = new NullifierLeafPreimage(nullifier, preimage.nextNullifier, preimage.nextIndex);
-        const insertionPath = await this.appendIndexedTree(treeId, index, updatedLowNullifier, newNullifierLeaf);
-        // Even though the low nullifier key is not updated, we still need to update the sorted keys in case we have
-        // not seen the low nullifier before
-        this._updateSortedKeys(treeId, [newNullifierLeaf.nullifier, updatedLowNullifier.nullifier], [insertionIndex, index]);
-        return {
-            element: newNullifierLeaf,
-            lowWitness: {
-                preimage,
-                index,
-                siblingPath,
-            },
-            leafIndex: insertionIndex,
-            insertionPath: insertionPath,
-        };
-    }
-    /**
-     * This appends a note hash to the note hash tree
-     * @param value - The note hash to be appended
-     * @returns The insertion result which contains the insertion path
-     */
-    async appendNoteHash(noteHash) {
-        const tree = this.treeMap.get(MerkleTreeId.NOTE_HASH_TREE);
-        tree.appendLeaf(noteHash);
-        // We use leafCount - 1 here because we would have just appended a leaf
-        const insertionPath = await tree.getSiblingPath(tree.leafCount - 1n);
-        return insertionPath;
-    }
-    /**
-     * This is wrapper around treeId to set values in the indexedUpdates map
-     */
-    setIndexedUpdates(treeId, index, preimage) {
-        let updates = this.indexedUpdates.get(treeId);
-        if (updates === undefined) {
-            updates = new Map();
-            this.indexedUpdates.set(treeId, updates);
-        }
-        updates.set(index, preimage);
-    }
-    /**
-     * This is wrapper around treeId to get values in the indexedUpdates map.
-     * Should only be called if we know the value exists.
-     */
-    getIndexedUpdate(treeId, index) {
-        const updates = this.indexedUpdates.get(treeId);
-        assert(updates !== undefined, `No updates exist in the ephemeral ${MerkleTreeId[treeId]} tree.`);
-        const preimage = updates.get(index);
-        assert(updates !== undefined, `No update exists in the ephemeral ${MerkleTreeId[treeId]} tree for leafIndex ${index}.`);
-        return preimage;
-    }
-    /**
-     * This is wrapper around treeId to check membership (i.e. has()) of index in the indexedUpdates map
-     */
-    hasLocalUpdates(treeId, index) {
-        const updates = this.indexedUpdates.get(treeId);
-        if (updates === undefined) {
-            return false;
-        }
-        return updates.has(index);
-    }
-    /**
-     * Get the leaf or low leaf preimage and its index in the indexed tree given a key (slot or nullifier value).
-     * If the key is not found in the tree, it does an external lookup to the underlying merkle DB.
-     * @param treeId - The tree we are looking up in
-     * @param key - The key for which we are look up the leaf or low leaf for.
-     * @param T - The type of the preimage (PublicData or Nullifier)
-     * @returns The leaf or low leaf info (preimage & leaf index).
-     */
-    async getLeafOrLowLeafInfo(treeId, key) {
-        const [leafOrLowLeafInfo, _] = await this._getLeafOrLowLeafInfo(treeId, key);
-        return leafOrLowLeafInfo;
-    }
-    /**
-     * Internal helper to get the leaf or low leaf preimage and its index in the indexed tree given a key (slot or nullifier value).
-     * If the key is not found in the tree, it does an external lookup to the underlying merkle DB.
-     * Indicates whethe the sibling path is absent in the ephemeral tree.
-     * @param treeId - The tree we are looking up in
-     * @param key - The key for which we are look up the leaf or low leaf for.
-     * @param T - The type of the preimage (PublicData or Nullifier)
-     * @returns [
-     *     getLeafResult - The leaf or low leaf info (preimage & leaf index),
-     *     pathAbsentInEphemeralTree - whether its sibling path is absent in the ephemeral tree (useful during insertions)
-     * ]
-     */
-    async _getLeafOrLowLeafInfo(treeId, key) {
-        const bigIntKey = key.toBigInt();
-        // In this function, "min" refers to the leaf with the
-        // largest key <= the specified key in the indexedUpdates.
-        // In other words, the leaf with the "next lowest" key in indexedUpdates.
-        // First, search the indexed updates (no DB fallback) to find
-        // the leafIndex of the leaf with the largest key <= the specified key.
-        const minIndexedLeafIndex = this._getLeafIndexOrNextLowestInIndexedUpdates(treeId, key);
-        // Then we search on the external DB
-        const leafOrLowLeafWitnessFromExternalDb = await this._getLeafOrLowLeafWitnessInExternalDb(treeId, bigIntKey);
-        // If the indexed updates are empty, we can return the leaf from the DB
-        if (minIndexedLeafIndex === -1n) {
-            return [leafOrLowLeafWitnessFromExternalDb, /*pathAbsentInEphemeralTree=*/ true];
-        }
-        // Otherwise, we return the closest one. First fetch the leaf from the indexed updates.
-        const minIndexedUpdate = this.getIndexedUpdate(treeId, minIndexedLeafIndex);
-        // And get both keys
-        const keyFromIndexed = minIndexedUpdate.getKey();
-        const keyFromExternal = leafOrLowLeafWitnessFromExternalDb.preimage.getKey();
-        if (keyFromExternal > keyFromIndexed) {
-            // this.log.debug(`Using leaf from external DB for ${MerkleTreeId[treeId]}`);
-            return [leafOrLowLeafWitnessFromExternalDb, /*pathAbsentInEphemeralTree=*/ true];
-        }
-        else {
-            // this.log.debug(`Using leaf from indexed DB for ${MerkleTreeId[treeId]}`);
-            const leafInfo = {
-                preimage: minIndexedUpdate,
-                index: minIndexedLeafIndex,
-                alreadyPresent: keyFromIndexed === bigIntKey,
-            };
-            return [leafInfo, /*pathAbsentInEphemeralTree=*/ false];
-        }
-    }
-    /**
-     * Helper to search for the leaf with the specified key in the indexedUpdates
-     * and return its leafIndex.
-     * If not present, return the leafIndex of the largest leaf <= the specified key
-     * (the leafIndex of the next lowest key).
-     *
-     * If no entry exists in indexedUpdates <= the specified key, return -1.
-     * @returns - The leafIndex of the leaf with the largest key <= the specified key.
-     */
-    _getLeafIndexOrNextLowestInIndexedUpdates(treeId, key) {
-        const keyOrderedVector = this.indexedSortedKeys.get(treeId);
-        const indexInVector = indexOrNextLowestInArray(key, keyOrderedVector.map(x => x[0]));
-        if (indexInVector !== -1) {
-            const [_, leafIndex] = keyOrderedVector[indexInVector];
-            return leafIndex;
-        }
-        else {
-            // no leaf <= the specified key was found
-            return -1n;
-        }
-    }
-    /**
-     * Query the external DB to get leaf if present, low leaf if absent
-     */
-    async _getLeafOrLowLeafWitnessInExternalDb(treeId, key) {
-        // "key" is siloed slot (leafSlot) or siloed nullifier
-        const previousValueIndex = await this.treeDb.getPreviousValueIndex(treeId, key);
-        assert(previousValueIndex !== undefined, `${MerkleTreeId[treeId]} low leaf index should always be found (even if target leaf does not exist)`);
-        const { index: leafIndex, alreadyPresent } = previousValueIndex;
-        const leafPreimage = await this.treeDb.getLeafPreimage(treeId, leafIndex);
-        assert(leafPreimage !== undefined, `${MerkleTreeId[treeId]}  low leaf preimage should never be undefined (even if target leaf does not exist)`);
-        return { preimage: leafPreimage, index: leafIndex, alreadyPresent };
-    }
-    /**
-     * This hashes the preimage to a field element
-     */
-    hashPreimage(preimage) {
-        const input = preimage.toHashInputs().map(x => Fr.fromBuffer(x));
-        return poseidon2Hash(input);
-    }
-    async getTreeSnapshot(id) {
-        const tree = this.treeMap.get(id);
-        const root = await tree.getRoot();
-        return new AppendOnlyTreeSnapshot(root, Number(tree.leafCount));
-    }
-}
-/****************************************************/
-/****** Some useful Structs and Enums **************/
-/****************************************************/
-var TreeType;
-(function (TreeType) {
-    TreeType[TreeType["LEAF"] = 0] = "LEAF";
-    TreeType[TreeType["NODE"] = 1] = "NODE";
-})(TreeType || (TreeType = {}));
-var SiblingStatus;
-(function (SiblingStatus) {
-    SiblingStatus[SiblingStatus["MEMBER"] = 0] = "MEMBER";
-    SiblingStatus[SiblingStatus["NONMEMBER"] = 1] = "NONMEMBER";
-    SiblingStatus[SiblingStatus["ERROR"] = 2] = "ERROR";
-})(SiblingStatus || (SiblingStatus = {}));
-/****************************************************/
-/****** Some Helpful Constructors for Trees  ********/
-/****************************************************/
-const Node = (left, right) => ({
-    tag: TreeType.NODE,
-    leftTree: left,
-    rightTree: right,
-});
-const Leaf = (value) => ({
-    tag: TreeType.LEAF,
-    value,
-});
-/****************************************************/
-/****** The EphemeralAvmTree Class *****************/
-/****************************************************/
-/**
- * This class contains a recursively defined tree that has leaves at different heights
- * It is seeded by an existing merkle treeDb for which it derives a frontier
- * It is intended to be a lightweight tree that contains only the necessary information to suppport appends or updates
- */
-export class EphemeralAvmTree {
-    constructor(root, leafCount, depth, zeroHashes) {
-        this.root = root;
-        this.leafCount = leafCount;
-        this.depth = depth;
-        this.zeroHashes = zeroHashes;
-        this.tree = root;
-        this.frontier = [];
-    }
-    static async create(forkedLeafCount, depth, treeDb, merkleId) {
-        let zeroHashes = EphemeralAvmTree.precomputedZeroHashes;
-        if (zeroHashes === undefined) {
-            zeroHashes = await preComputeZeroHashes();
-            EphemeralAvmTree.precomputedZeroHashes = zeroHashes;
-        }
-        const zeroHash = zeroHashes[depth];
-        const tree = new EphemeralAvmTree(Leaf(zeroHash), forkedLeafCount, depth, zeroHashes);
-        await tree.initializeFrontier(treeDb, merkleId);
-        return tree;
-    }
-    /**
-     * This is a recursive function that inserts a leaf into the tree
-     * @param value - The value of the leaf to be inserted
-     */
-    appendLeaf(value) {
-        const insertPath = this._derivePathLE(this.leafCount);
-        this.tree = this._insertLeaf(value, insertPath, this.depth, this.tree);
-        this.leafCount++;
-    }
-    /**
-     * This is a recursive function that upserts a leaf into the tree at a index and depth
-     * @param value - The value of the leaf to be inserted
-     * @param index - The index of the leaf to be inserted
-     * @param depth - The depth of the leaf to be inserted (defaults to the bottom of the tree)
-     */
-    updateLeaf(value, index, depth = this.depth) {
-        const insertPath = this._derivePathLE(index, depth);
-        this.tree = this._insertLeaf(value, insertPath, depth, this.tree);
-    }
-    /**
-     * Get the sibling path of a leaf in the tree
-     * @param index - The index of the leaf for which a sibling path should be returned.
-     * @returns The sibling path of the leaf, can fail if the path is not found
-     */
-    async getSiblingPath(index) {
-        const searchPath = this._derivePathLE(index);
-        // Handle cases where we error out
-        const { path, status } = await this._getSiblingPath(searchPath, this.tree, []);
-        if (status === SiblingStatus.ERROR) {
-            return undefined;
-        }
-        return path;
-    }
-    /**
-     * This upserts the nodes of the sibling path into the tree
-     * @param index - The index of the leaf that the sibling path is derived from
-     * @param siblingPath - The sibling path of the index
-     */
-    insertSiblingPath(index, siblingPath) {
-        for (let i = 0; i < siblingPath.length; i++) {
-            // Flip(XOR) the last bit because we are inserting siblings of the leaf
-            const sibIndex = index ^ 1n;
-            const node = this.getNode(sibIndex, this.depth - i);
-            // If we are inserting a sibling path and we already have a branch at that index in our
-            // ephemeral tree, we should not overwrite it
-            if (node === undefined || node.tag === TreeType.LEAF) {
-                this.updateLeaf(siblingPath[i], sibIndex, this.depth - i);
-            }
-            index >>= 1n;
-        }
-    }
-    /**
-     * This is a helper function that computes the index of the frontier nodes at each depth
-     * @param leafCount - The number of leaves in the tree
-     * @returns An array of frontier indices at each depth, sorted from leaf to root
-     */
-    // Do we really need LeafCount to be a bigint - log2 is on numbers only
-    static computeFrontierLeafIndices(leafCount) {
-        const numFrontierEntries = Math.floor(Math.log2(leafCount)) + 1;
-        const frontierIndices = [];
-        for (let i = 0; i < numFrontierEntries; i++) {
-            if (leafCount === 0) {
-                frontierIndices.push(0);
-            }
-            else if (leafCount % 2 === 0) {
-                frontierIndices.push(leafCount - 2);
-            }
-            else {
-                frontierIndices.push(leafCount - 1);
-            }
-            leafCount >>= 1;
-        }
-        return frontierIndices;
-    }
-    /**
-     * This derives the frontier and inserts them into the tree
-     * @param treeDb - The treeDb to be queried for sibling paths
-     * @param merkleId - The treeId of the tree to be queried for sibling paths
-     */
-    async initializeFrontier(treeDb, merkleId) {
-        // The frontier indices are sorted from the leaf to root
-        const frontierIndices = EphemeralAvmTree.computeFrontierLeafIndices(Number(this.leafCount));
-        // The frontier indices are level-based - i.e. index N at level L.
-        // Since we can only ask the DB for paths from the root to the leaf, we do the following complicated calculations
-        // 1) The goal is to insert the frontier node N at level L into the tree.
-        // 2) We get the path to a leaf that passes through the frontier node we want (there are multiple paths so we just pick one)
-        // 3) We can only get sibling paths from the root to the leaf, so we get the sibling path of the leaf from (2)
-        // NOTE: This is terribly inefficient and we should probably change the DB API to allow for getting paths to a node
-        const frontierValues = [];
-        // These are leaf indexes that pass through the frontier nodes
-        for (let i = 0; i < frontierIndices.length; i++) {
-            // Given the index to a frontier, we first xor it so we can get its sibling index at depth L
-            // We then extend the path to that sibling index by shifting left the requisite number of times (for simplicity we just go left down the tree - it doesnt matter)
-            // This provides us the leaf index such that if we ask for this leafIndex's sibling path, it will pass through the frontier node
-            const index = BigInt(frontierIndices[i] ^ 1) << BigInt(i);
-            // This path passes through our frontier node at depth - i
-            const path = await treeDb.getSiblingPath(merkleId, index);
-            // We derive the path that we can walk and truncate it so that it terminates exactly at the frontier node
-            const frontierPath = this._derivePathLE(BigInt(frontierIndices[i]), this.depth - i);
-            // The value of the frontier is the at the i-th index of the sibling path
-            const frontierValue = path.toFields()[i];
-            frontierValues.push(frontierValue);
-            // We insert it at depth - i (the truncated position)
-            // Note this is a leaf node that wont necessarily be at the bottom of the tree (besides the first frontier)
-            this.tree = this._insertLeaf(frontierValue, frontierPath, this.depth - i, this.tree);
-        }
-        this.frontier = frontierValues;
-    }
-    /**
-     * Computes the root of the tree
-     */
-    getRoot() {
-        return this.hashTree(this.tree, this.depth);
-    }
-    /**
-     * Recursively hashes the subtree
-     * @param tree - The tree to be hashed
-     * @param depth - The depth of the tree
-     */
-    async hashTree(tree, depth) {
-        switch (tree.tag) {
-            case TreeType.NODE: {
-                return poseidon2Hash([
-                    await this.hashTree(tree.leftTree, depth - 1),
-                    await this.hashTree(tree.rightTree, depth - 1),
-                ]);
-            }
-            case TreeType.LEAF: {
-                return tree.value;
-            }
-        }
-    }
-    /**
-     * Extracts the subtree from a given index and depth
-     * @param index - The index of the node to be extracted
-     * @param depth - The depth of the node to be extracted
-     * @returns The subtree rooted at the index and depth
-     */
-    getNode(index, depth) {
-        const path = this._derivePathBE(index, depth);
-        const truncatedPath = path.slice(0, depth);
-        truncatedPath.reverse();
-        try {
-            return this._getNode(truncatedPath, this.tree);
-        }
-        catch (e) {
-            return undefined;
-        }
-    }
-    /**
-     * This is the recursive helper for getNode
-     */
-    _getNode(nodePath, tree) {
-        if (nodePath.length === 0) {
-            return tree;
-        }
-        switch (tree.tag) {
-            case TreeType.NODE:
-                return nodePath.pop() === 0 ? this._getNode(nodePath, tree.leftTree) : this._getNode(nodePath, tree.rightTree);
-            case TreeType.LEAF:
-                throw new Error('Node not found');
-        }
-    }
-    /** Our tree traversal uses an array of 1s and 0s to represent the path to a leaf and expects them to be in LE order
-     * This helps with deriving it given an index and (optionally a depth)
-     * @param index - The index to derive a path to within the tree, does not have to terminate at a leaf
-     * @param depth - The depth to traverse, if not provided it will traverse to the bottom of the tree
-     * @returns The path to the leaf in LE order
-     */
-    _derivePathLE(index, depth = this.depth) {
-        return this._derivePathBE(index, depth).reverse();
-    }
-    /** Sometimes we want it in BE order, to make truncating easier
-     * @param index - The index to derive a path to within the tree, does not have to terminate at a leaf
-     * @param depth - The depth to traverse, if not provided it will traverse to the bottom of the tree
-     * @returns The path to the leaf in LE order
-     */
-    _derivePathBE(index, depth = this.depth) {
-        return index
-            .toString(2)
-            .padStart(depth, '0')
-            .split('')
-            .map(x => parseInt(x));
-    }
-    /**
-     * This is a recursive function that upserts a leaf into the tree given a path
-     * @param value - The value of the leaf to be upserted
-     * @param insertPath - The path to the leaf, this should be ordered from leaf to root (i.e. LE encoded)
-     * @param depth - The depth of the tree
-     * @param tree - The current tree
-     * @param appendMode - If true we append the relevant zeroHashes to the tree as we traverse
-     */
-    _insertLeaf(value, insertPath, depth, tree) {
-        if (insertPath.length > this.depth || depth > this.depth) {
-            throw new Error('PATH EXCEEDS DEPTH');
-        }
-        if (depth === 0 || insertPath.length === 0) {
-            return Leaf(value);
-        }
-        switch (tree.tag) {
-            case TreeType.NODE: {
-                return insertPath.pop() === 0
-                    ? Node(this._insertLeaf(value, insertPath, depth - 1, tree.leftTree), tree.rightTree)
-                    : Node(tree.leftTree, this._insertLeaf(value, insertPath, depth - 1, tree.rightTree));
-            }
-            case TreeType.LEAF: {
-                const zeroLeaf = Leaf(this.zeroHashes[depth - 1]);
-                return insertPath.pop() === 0
-                    ? Node(this._insertLeaf(value, insertPath, depth - 1, zeroLeaf), zeroLeaf)
-                    : Node(zeroLeaf, this._insertLeaf(value, insertPath, depth - 1, zeroLeaf));
-            }
-        }
-    }
-    /* Recursive helper for getSiblingPath, this only looks inside the tree and does not resolve using
-     * a DB. If a path is not found, it returns an error status that is expected to be handled by the caller
-     * @param searchPath - The path to the leaf for which we would like the sibling pathin LE order
-     * @param tree - The current tree
-     * @param acc - The accumulated sibling path
-     */
-    async _getSiblingPath(searchPath, tree, acc) {
-        // If we have reached the end of the path, we should be at a leaf or empty node
-        // If it is a leaf, we check if the value is equal to the leaf value
-        // If it is empty we check if the value is equal to zero
-        if (searchPath.length === 0) {
-            switch (tree.tag) {
-                case TreeType.LEAF:
-                    return { path: acc, status: SiblingStatus.MEMBER };
-                case TreeType.NODE:
-                    return { path: [], status: SiblingStatus.ERROR };
-            }
-        }
-        // Keep exploring here
-        switch (tree.tag) {
-            case TreeType.NODE: {
-                // Look at the next element of the path to decided if we go left or right, note this mutates!
-                return searchPath.pop() === 0
-                    ? await this._getSiblingPath(searchPath, tree.leftTree, [await this.hashTree(tree.rightTree, searchPath.length)].concat(acc))
-                    : await this._getSiblingPath(searchPath, tree.rightTree, [await this.hashTree(tree.leftTree, searchPath.length)].concat(acc));
-            }
-            // In these two situations we are exploring a subtree we dont have information about
-            // We should return an error and look inside the DB
-            case TreeType.LEAF:
-                return { path: [], status: SiblingStatus.ERROR };
-        }
-    }
-}
-/**
- * Return the index of the key in the array, or index-1 if they key is not found.
- */
-function indexOrNextLowestInArray(key, arr) {
-    // We are looking for the index of the largest element in the array that is less than the key
-    let start = 0;
-    let end = arr.length;
-    // Note that the easiest way is to increment the search key by 1 and then do a binary search
-    const keyPlus1 = key.add(Fr.ONE);
-    while (start < end) {
-        const mid = Math.floor((start + end) / 2);
-        if (arr[mid].cmp(keyPlus1) < 0) {
-            // The key + 1 is greater than the midpoint, so we can continue searching the top half
-            start = mid + 1;
-        }
-        else {
-            // The key + 1 is LT or EQ the arr element, so we can continue searching the bottom half
-            end = mid;
-        }
-    }
-    // We either found key + 1 or start is now at the index of the largest element that we would have inserted key + 1
-    // Therefore start - 1 is the index of the element just below - note it can be -1 if the first element in the array is
-    // greater than the key
-    return start - 1;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3RyZWUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL2F2bV90cmVlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBc0IsWUFBWSxFQUFpQyxNQUFNLHNCQUFzQixDQUFDO0FBQ3ZHLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxxQkFBcUIsRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQy9HLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFHOUMsT0FBTyxFQUFFLE1BQU0sSUFBSSxNQUFNLEVBQUUsTUFBTSxRQUFRLENBQUM7QUFDMUMsT0FBTyxTQUFTLE1BQU0sa0JBQWtCLENBQUM7QUFFekMsTUFBTSxjQUFjLEdBQUcsR0FBRyxDQUFDO0FBRTNCOztHQUVHO0FBQ0gsS0FBSyxVQUFVLG9CQUFvQjtJQUNqQyxJQUFJLFdBQVcsR0FBRyxFQUFFLENBQUMsSUFBSSxFQUFFLENBQUM7SUFDNUIsTUFBTSxVQUFVLEdBQVMsRUFBRSxDQUFDO0lBQzVCLEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxjQUFjLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztRQUN4QyxVQUFVLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxDQUFDO1FBQzdCLFdBQVcsR0FBRyxNQUFNLGFBQWEsQ0FBQyxDQUFDLFdBQVcsRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDO0lBQ2hFLENBQUM7SUFDRCxPQUFPLFVBQVUsQ0FBQztBQUNwQixDQUFDO0FBdURELHNEQUFzRDtBQUN0RCxzREFBc0Q7QUFDdEQsc0RBQXNEO0FBRXREOzs7O0dBSUc7QUFDSCxNQUFNLE9BQU8sa0JBQWtCO0lBQzdCLFlBQ1MsTUFBZ0MsRUFDaEMsT0FBNEM7SUFDbkQsa0hBQWtIO0lBQ2xILCtGQUErRjtJQUN4RixjQUF3RSxFQUN4RSxpQkFBcUQ7UUFMckQsV0FBTSxHQUFOLE1BQU0sQ0FBMEI7UUFDaEMsWUFBTyxHQUFQLE9BQU8sQ0FBcUM7UUFHNUMsbUJBQWMsR0FBZCxjQUFjLENBQTBEO1FBQ3hFLHNCQUFpQixHQUFqQixpQkFBaUIsQ0FBb0M7SUFDM0QsQ0FBQztJQUVKLE1BQU0sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLE1BQWdDO1FBQ2xELE1BQU0sT0FBTyxHQUFHLElBQUksR0FBRyxFQUFrQyxDQUFDO1FBQzFELEtBQUssTUFBTSxRQUFRLElBQUksQ0FBQyxZQUFZLENBQUMsY0FBYyxFQUFFLFlBQVksQ0FBQyxjQUFjLEVBQUUsWUFBWSxDQUFDLGdCQUFnQixDQUFDLEVBQUUsQ0FBQztZQUNqSCxNQUFNLFFBQVEsR0FBRyxNQUFNLE1BQU0sQ0FBQyxXQUFXLENBQUMsUUFBUSxDQUFDLENBQUM7WUFDcEQsTUFBTSxJQUFJLEdBQUcsTUFBTSxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxRQUFRLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxRQUFRLENBQUMsQ0FBQztZQUM1RixPQUFPLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUM5QixDQUFDO1FBQ0QsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLEdBQUcsRUFBaUMsQ0FBQztRQUNuRSxpQkFBaUIsQ0FBQyxHQUFHLENBQUMsWUFBWSxDQUFDLGNBQStCLEVBQUUsRUFBRSxDQUFDLENBQUM7UUFDeEUsaUJBQWlCLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQyxnQkFBaUMsRUFBRSxFQUFFLENBQUMsQ0FBQztRQUMxRSxPQUFPLElBQUksa0JBQWtCLENBQUMsTUFBTSxFQUFFLE9BQU8sRUFBRSxJQUFJLEdBQUcsRUFBRSxFQUFFLGlCQUFpQixDQUFDLENBQUM7SUFDL0UsQ0FBQztJQUVELElBQUk7UUFDRixPQUFPLElBQUksa0JBQWtCLENBQzNCLElBQUksQ0FBQyxNQUFNLEVBQ1gsU0FBUyxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsRUFDdkIsU0FBUyxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsRUFDOUIsU0FBUyxDQUFDLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxDQUNsQyxDQUFDO0lBQ0osQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0gsS0FBSyxDQUFDLGNBQWMsQ0FBQyxNQUFvQixFQUFFLEtBQWE7UUFDdEQsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFFLENBQUM7UUFDdkMsSUFBSSxJQUFJLEdBQUcsTUFBTSxJQUFJLENBQUMsY0FBYyxDQUFDLEtBQUssQ0FBQyxDQUFDO1FBQzVDLElBQUksSUFBSSxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3ZCLDRFQUE0RTtZQUM1RSxJQUFJLEdBQUcsQ0FBQyxNQUFNLElBQUksQ0FBQyxNQUFNLENBQUMsY0FBYyxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDO1lBQ3BFLGlGQUFpRjtZQUNqRixnRkFBZ0Y7WUFDaEYsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztnQkFDckMsTUFBTSxZQUFZLEdBQUcsS0FBSyxHQUFHLEVBQUUsQ0FBQztnQkFDaEMsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxZQUFZLEVBQUUsSUFBSSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztnQkFDeEQsSUFBSSxJQUFJLEtBQUssU0FBUyxFQUFFLENBQUM7b0JBQ3ZCLE1BQU0sUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO29CQUNsRCxJQUFJLENBQUMsUUFBUSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO3dCQUM5QixJQUFJLENBQUMsQ0FBQyxDQUFDLEdBQUcsUUFBUSxDQUFDO29CQUNyQixDQUFDO2dCQUNILENBQUM7Z0JBQ0QsS0FBSyxLQUFLLEVBQUUsQ0FBQztZQUNmLENBQUM7UUFDSCxDQUFDO1FBQ0QsT0FBTyxJQUFJLENBQUM7SUFDZCxDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILEtBQUssQ0FBQyxpQkFBaUIsQ0FDckIsTUFBVSxFQUNWLFlBQW9CLEVBQ3BCLGVBQWtCLEVBQ2xCLGVBQWtCO1FBRWxCLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDO1FBQ3ZDLE1BQU0sT0FBTyxHQUFHLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUN6RCxNQUFNLFdBQVcsR0FBRyxJQUFJLENBQUMsU0FBUyxDQUFDO1FBRW5DLE1BQU0sT0FBTyxHQUFHLE1BQU0sSUFBSSxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUN6RCxnQ0FBZ0M7UUFDaEMsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxZQUFZLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFDOUQsSUFBSSxDQUFDLFVBQVUsQ0FBQyxPQUFPLEVBQUUsWUFBWSxDQUFDLENBQUM7UUFDdkMsc0JBQXNCO1FBQ3RCLElBQUksQ0FBQyxVQUFVLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDekIsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxXQUFXLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFFN0QsT0FBTyxDQUFDLE1BQU0sSUFBSSxDQUFDLGNBQWMsQ0FBQyxXQUFXLENBQUMsQ0FBRSxDQUFDO0lBQ25ELENBQUM7SUFFRDs7Ozs7T0FLRztJQUNILEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxJQUFRLEVBQUUsUUFBWTtRQUM3QywyQ0FBMkM7UUFDM0MsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLGdCQUFnQixDQUFDO1FBQzdDLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDO1FBQ3ZDLE1BQU0sQ0FBQyxpQkFBaUIsRUFBRSx5QkFBeUIsQ0FBQyxHQUFHLE1BQU0sSUFBSSxDQUFDLHFCQUFxQixDQUdyRixNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUM7UUFDaEIsTUFBTSxFQUFFLFFBQVEsRUFBRSxLQUFLLEVBQUUsWUFBWSxFQUFFLGNBQWMsRUFBRSxNQUFNLEVBQUUsR0FBRyxpQkFBaUIsQ0FBQztRQUNwRixNQUFNLFdBQVcsR0FBRyxNQUFNLElBQUksQ0FBQyxjQUFjLENBQUMsTUFBTSxFQUFFLFlBQVksQ0FBQyxDQUFDO1FBRXBFLElBQUkseUJBQXlCLEVBQUUsQ0FBQztZQUM5Qix5R0FBeUc7WUFDekcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFFLENBQUMsaUJBQWlCLENBQUMsWUFBWSxFQUFFLFdBQVcsQ0FBQyxDQUFDO1FBQ3pFLENBQUM7UUFFRCxJQUFJLE1BQU0sRUFBRSxDQUFDO1lBQ1gsTUFBTSxlQUFlLEdBQUcsU0FBUyxDQUFDLFFBQVEsQ0FBQyxDQUFDO1lBQzVDLE1BQU0sNkJBQTZCLEdBQUcsV0FBVyxDQUFDO1lBQ2xELGVBQWUsQ0FBQyxLQUFLLEdBQUcsUUFBUSxDQUFDO1lBRWpDLElBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxJQUFJLENBQUMsWUFBWSxDQUFDLGVBQWUsQ0FBQyxFQUFFLFlBQVksQ0FBQyxDQUFDO1lBQ3hFLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLEVBQUUsWUFBWSxFQUFFLGVBQWUsQ0FBQyxDQUFDO1lBQzlELElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxZQUFZLENBQUMsQ0FBQyxDQUFDO1lBRXZFLE9BQU87Z0JBQ0wsT0FBTyxFQUFFLGVBQWU7Z0JBQ3hCLFVBQVUsRUFBRTtvQkFDVixRQUFRLEVBQUUsUUFBUTtvQkFDbEIsS0FBSyxFQUFFLFlBQVk7b0JBQ25CLFdBQVcsRUFBRSw2QkFBNkI7aUJBQzNDO2dCQUNELE1BQU0sRUFBRSxJQUFJO2FBQ2IsQ0FBQztRQUNKLENBQUM7UUFDRCxrRUFBa0U7UUFDbEUsTUFBTSxjQUFjLEdBQUcsSUFBSSxDQUFDLFNBQVMsQ0FBQztRQUN0QyxNQUFNLGNBQWMsR0FBRyxTQUFTLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDM0MsY0FBYyxDQUFDLFFBQVEsR0FBRyxJQUFJLENBQUM7UUFDL0IsY0FBYyxDQUFDLFNBQVMsR0FBRyxjQUFjLENBQUM7UUFFMUMsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLDBCQUEwQixDQUN0RCxJQUFJLEVBQ0osUUFBUSxFQUNSLElBQUksRUFBRSxDQUFDLFFBQVEsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxFQUM3QixRQUFRLENBQUMsWUFBWSxFQUFFLENBQ3hCLENBQUM7UUFDRixNQUFNLGFBQWEsR0FBRyxNQUFNLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLEVBQUUsWUFBWSxFQUFFLGNBQWMsRUFBRSxpQkFBaUIsQ0FBQyxDQUFDO1FBRTVHLHVHQUF1RztRQUN2RywrQkFBK0I7UUFDL0IsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxDQUFDLGlCQUFpQixDQUFDLElBQUksRUFBRSxjQUFjLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxjQUFjLEVBQUUsWUFBWSxDQUFDLENBQUMsQ0FBQztRQUU5RyxPQUFPO1lBQ0wsT0FBTyxFQUFFLGlCQUFpQjtZQUMxQixVQUFVLEVBQUU7Z0JBQ1YsUUFBUTtnQkFDUixLQUFLLEVBQUUsWUFBWTtnQkFDbkIsV0FBVzthQUNaO1lBQ0QsTUFBTSxFQUFFLEtBQUs7WUFDYixTQUFTLEVBQUUsY0FBYztZQUN6QixhQUFhLEVBQUUsYUFBYTtTQUM3QixDQUFDO0lBQ0osQ0FBQztJQUVPLGlCQUFpQixDQUFDLE1BQXFCLEVBQUUsSUFBVSxFQUFFLEtBQWU7UUFDMUUsc0JBQXNCO1FBQ3RCLE1BQU0saUJBQWlCLEdBQUcsSUFBSSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUUsQ0FBQztRQUM5RCw4RUFBOEU7UUFDOUUsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUNyQyxNQUFNLFVBQVUsR0FBRyxpQkFBaUIsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDdkUsSUFBSSxVQUFVLEtBQUssQ0FBQyxDQUFDLEVBQUUsQ0FBQztnQkFDdEIsc0RBQXNEO2dCQUN0RCxNQUFNLFdBQVcsR0FDZix3QkFBd0IsQ0FDdEIsSUFBSSxDQUFDLENBQUMsQ0FBQyxFQUNQLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUNqQyxHQUFHLENBQUMsQ0FBQztnQkFDUixpQkFBaUIsQ0FBQyxNQUFNLENBQUMsV0FBVyxFQUFFLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ2hFLENBQUM7aUJBQU0sQ0FBQztnQkFDTiw4QkFBOEI7Z0JBQzlCLGlCQUFpQixDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUM3QyxDQUFDO1FBQ0gsQ0FBQztJQUNILENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsS0FBSyxDQUFDLGVBQWUsQ0FBQyxTQUFhO1FBQ2pDLE1BQU0sTUFBTSxHQUFHLFlBQVksQ0FBQyxjQUFjLENBQUM7UUFDM0MsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFFLENBQUM7UUFDdkMsTUFBTSxDQUFDLGlCQUFpQixFQUFFLHlCQUF5QixDQUFDLEdBQUcsTUFBTSxJQUFJLENBQUMscUJBQXFCLENBR3JGLE1BQU0sRUFBRSxTQUFTLENBQUMsQ0FBQztRQUNyQixNQUFNLEVBQUUsUUFBUSxFQUFFLEtBQUssRUFBRSxjQUFjLEVBQUUsR0FBRyxpQkFBaUIsQ0FBQztRQUM5RCxNQUFNLFdBQVcsR0FBRyxNQUFNLElBQUksQ0FBQyxjQUFjLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFDO1FBRTdELElBQUkseUJBQXlCLEVBQUUsQ0FBQztZQUM5Qix5R0FBeUc7WUFDekcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFFLENBQUMsaUJBQWlCLENBQUMsS0FBSyxFQUFFLFdBQVcsQ0FBQyxDQUFDO1FBQ2xFLENBQUM7UUFFRCxNQUFNLENBQUMsQ0FBQyxjQUFjLEVBQUUsa0VBQWtFLENBQUMsQ0FBQztRQUU1Riw2QkFBNkI7UUFDN0IsTUFBTSxjQUFjLEdBQUcsSUFBSSxDQUFDLFNBQVMsQ0FBQztRQUN0QyxNQUFNLG1CQUFtQixHQUFHLFNBQVMsQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUNoRCxtQkFBbUIsQ0FBQyxhQUFhLEdBQUcsU0FBUyxDQUFDO1FBQzlDLG1CQUFtQixDQUFDLFNBQVMsR0FBRyxjQUFjLENBQUM7UUFFL0MsTUFBTSxnQkFBZ0IsR0FBRyxJQUFJLHFCQUFxQixDQUFDLFNBQVMsRUFBRSxRQUFRLENBQUMsYUFBYSxFQUFFLFFBQVEsQ0FBQyxTQUFTLENBQUMsQ0FBQztRQUMxRyxNQUFNLGFBQWEsR0FBRyxNQUFNLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLEVBQUUsS0FBSyxFQUFFLG1CQUFtQixFQUFFLGdCQUFnQixDQUFDLENBQUM7UUFFekcsNEdBQTRHO1FBQzVHLG9DQUFvQztRQUNwQyxJQUFJLENBQUMsaUJBQWlCLENBQ3BCLE1BQU0sRUFDTixDQUFDLGdCQUFnQixDQUFDLFNBQVMsRUFBRSxtQkFBbUIsQ0FBQyxTQUFTLENBQUMsRUFDM0QsQ0FBQyxjQUFjLEVBQUUsS0FBSyxDQUFDLENBQ3hCLENBQUM7UUFFRixPQUFPO1lBQ0wsT0FBTyxFQUFFLGdCQUFnQjtZQUN6QixVQUFVLEVBQUU7Z0JBQ1YsUUFBUTtnQkFDUixLQUFLO2dCQUNMLFdBQVc7YUFDWjtZQUNELFNBQVMsRUFBRSxjQUFjO1lBQ3pCLGFBQWEsRUFBRSxhQUFhO1NBQzdCLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNILEtBQUssQ0FBQyxjQUFjLENBQUMsUUFBWTtRQUMvQixNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsY0FBYyxDQUFFLENBQUM7UUFDNUQsSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUMxQix1RUFBdUU7UUFDdkUsTUFBTSxhQUFhLEdBQUcsTUFBTSxJQUFJLENBQUMsY0FBYyxDQUFDLElBQUksQ0FBQyxTQUFTLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDckUsT0FBTyxhQUFjLENBQUM7SUFDeEIsQ0FBQztJQUVEOztPQUVHO0lBQ0ssaUJBQWlCLENBQ3ZCLE1BQVUsRUFDVixLQUFhLEVBQ2IsUUFBVztRQUVYLElBQUksT0FBTyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQzlDLElBQUksT0FBTyxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQzFCLE9BQU8sR0FBRyxJQUFJLEdBQUcsRUFBRSxDQUFDO1lBQ3BCLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsQ0FBQztRQUMzQyxDQUFDO1FBQ0QsT0FBTyxDQUFDLEdBQUcsQ0FBQyxLQUFLLEVBQUUsUUFBUSxDQUFDLENBQUM7SUFDL0IsQ0FBQztJQUVEOzs7T0FHRztJQUNLLGdCQUFnQixDQUE4RCxNQUFVLEVBQUUsS0FBYTtRQUM3RyxNQUFNLE9BQU8sR0FBRyxJQUFJLENBQUMsY0FBYyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNoRCxNQUFNLENBQUMsT0FBTyxLQUFLLFNBQVMsRUFBRSxxQ0FBcUMsWUFBWSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUNqRyxNQUFNLFFBQVEsR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDO1FBQ3BDLE1BQU0sQ0FDSixPQUFPLEtBQUssU0FBUyxFQUNyQixxQ0FBcUMsWUFBWSxDQUFDLE1BQU0sQ0FBQyx1QkFBdUIsS0FBSyxHQUFHLENBQ3pGLENBQUM7UUFDRixPQUFPLFFBQWEsQ0FBQztJQUN2QixDQUFDO0lBRUQ7O09BRUc7SUFDSyxlQUFlLENBQTJCLE1BQVUsRUFBRSxLQUFhO1FBQ3pFLE1BQU0sT0FBTyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hELElBQUksT0FBTyxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQzFCLE9BQU8sS0FBSyxDQUFDO1FBQ2YsQ0FBQztRQUNELE9BQU8sT0FBTyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUM1QixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILEtBQUssQ0FBQyxvQkFBb0IsQ0FDeEIsTUFBVSxFQUNWLEdBQU87UUFFUCxNQUFNLENBQUMsaUJBQWlCLEVBQUUsQ0FBQyxDQUFDLEdBQUcsTUFBTSxJQUFJLENBQUMscUJBQXFCLENBQVEsTUFBTSxFQUFFLEdBQUcsQ0FBQyxDQUFDO1FBQ3BGLE9BQU8saUJBQWlCLENBQUM7SUFDM0IsQ0FBQztJQUVEOzs7Ozs7Ozs7OztPQVdHO0lBQ0gsS0FBSyxDQUFDLHFCQUFxQixDQUN6QixNQUFVLEVBQ1YsR0FBTztRQUVQLE1BQU0sU0FBUyxHQUFHLEdBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQztRQUNqQyxzREFBc0Q7UUFDdEQsMERBQTBEO1FBQzFELHlFQUF5RTtRQUV6RSw2REFBNkQ7UUFDN0QsdUVBQXVFO1FBQ3ZFLE1BQU0sbUJBQW1CLEdBQUcsSUFBSSxDQUFDLHlDQUF5QyxDQUFDLE1BQU0sRUFBRSxHQUFHLENBQUMsQ0FBQztRQUV4RixvQ0FBb0M7UUFDcEMsTUFBTSxrQ0FBa0MsR0FBcUIsTUFBTSxJQUFJLENBQUMsb0NBQW9DLENBQzFHLE1BQU0sRUFDTixTQUFTLENBQ1YsQ0FBQztRQUVGLHVFQUF1RTtRQUN2RSxJQUFJLG1CQUFtQixLQUFLLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDaEMsT0FBTyxDQUFDLGtDQUFrQyxFQUFFLDhCQUE4QixDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ25GLENBQUM7UUFFRCx1RkFBdUY7UUFDdkYsTUFBTSxnQkFBZ0IsR0FBTSxJQUFJLENBQUMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLG1CQUFtQixDQUFDLENBQUM7UUFFL0Usb0JBQW9CO1FBQ3BCLE1BQU0sY0FBYyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDO1FBQ2pELE1BQU0sZUFBZSxHQUFHLGtDQUFrQyxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUsQ0FBQztRQUU3RSxJQUFJLGVBQWUsR0FBRyxjQUFjLEVBQUUsQ0FBQztZQUNyQyw2RUFBNkU7WUFDN0UsT0FBTyxDQUFDLGtDQUFrQyxFQUFFLDhCQUE4QixDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ25GLENBQUM7YUFBTSxDQUFDO1lBQ04sNEVBQTRFO1lBQzVFLE1BQU0sUUFBUSxHQUFHO2dCQUNmLFFBQVEsRUFBRSxnQkFBZ0I7Z0JBQzFCLEtBQUssRUFBRSxtQkFBbUI7Z0JBQzFCLGNBQWMsRUFBRSxjQUFjLEtBQUssU0FBUzthQUM3QyxDQUFDO1lBQ0YsT0FBTyxDQUFDLFFBQVEsRUFBRSw4QkFBOEIsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUMxRCxDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7Ozs7OztPQVFHO0lBQ0sseUNBQXlDLENBQTJCLE1BQVUsRUFBRSxHQUFPO1FBQzdGLE1BQU0sZ0JBQWdCLEdBQUcsSUFBSSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUUsQ0FBQztRQUU3RCxNQUFNLGFBQWEsR0FBRyx3QkFBd0IsQ0FDNUMsR0FBRyxFQUNILGdCQUFnQixDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUNoQyxDQUFDO1FBRUYsSUFBSSxhQUFhLEtBQUssQ0FBQyxDQUFDLEVBQUUsQ0FBQztZQUN6QixNQUFNLENBQUMsQ0FBQyxFQUFFLFNBQVMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLGFBQWEsQ0FBQyxDQUFDO1lBQ3ZELE9BQU8sU0FBUyxDQUFDO1FBQ25CLENBQUM7YUFBTSxDQUFDO1lBQ04seUNBQXlDO1lBQ3pDLE9BQU8sQ0FBQyxFQUFFLENBQUM7UUFDYixDQUFDO0lBQ0gsQ0FBQztJQUVEOztPQUVHO0lBQ0ssS0FBSyxDQUFDLG9DQUFvQyxDQUNoRCxNQUFVLEVBQ1YsR0FBVztRQUVYLHNEQUFzRDtRQUN0RCxNQUFNLGtCQUFrQixHQUFHLE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxxQkFBcUIsQ0FBQyxNQUFNLEVBQUUsR0FBRyxDQUFDLENBQUM7UUFDaEYsTUFBTSxDQUNKLGtCQUFrQixLQUFLLFNBQVMsRUFDaEMsR0FBRyxZQUFZLENBQUMsTUFBTSxDQUFDLDZFQUE2RSxDQUNyRyxDQUFDO1FBQ0YsTUFBTSxFQUFFLEtBQUssRUFBRSxTQUFTLEVBQUUsY0FBYyxFQUFFLEdBQUcsa0JBQWtCLENBQUM7UUFFaEUsTUFBTSxZQUFZLEdBQUcsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLGVBQWUsQ0FBQyxNQUFNLEVBQUUsU0FBUyxDQUFDLENBQUM7UUFDMUUsTUFBTSxDQUNKLFlBQVksS0FBSyxTQUFTLEVBQzFCLEdBQUcsWUFBWSxDQUFDLE1BQU0sQ0FBQyxvRkFBb0YsQ0FDNUcsQ0FBQztRQUVGLE9BQU8sRUFBRSxRQUFRLEVBQUUsWUFBaUIsRUFBRSxLQUFLLEVBQUUsU0FBUyxFQUFFLGNBQWMsRUFBRSxDQUFDO0lBQzNFLENBQUM7SUFFRDs7T0FFRztJQUNILFlBQVksQ0FBNkIsUUFBVztRQUNsRCxNQUFNLEtBQUssR0FBRyxRQUFRLENBQUMsWUFBWSxFQUFFLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ2pFLE9BQU8sYUFBYSxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQzlCLENBQUM7SUFFRCxLQUFLLENBQUMsZUFBZSxDQUFDLEVBQWdCO1FBQ3BDLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBRSxDQUFDO1FBQ25DLE1BQU0sSUFBSSxHQUFHLE1BQU0sSUFBSSxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ2xDLE9BQU8sSUFBSSxzQkFBc0IsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDO0lBQ2xFLENBQUM7Q0FDRjtBQUVELHNEQUFzRDtBQUN0RCxxREFBcUQ7QUFDckQsc0RBQXNEO0FBQ3RELElBQUssUUFHSjtBQUhELFdBQUssUUFBUTtJQUNYLHVDQUFJLENBQUE7SUFDSix1Q0FBSSxDQUFBO0FBQ04sQ0FBQyxFQUhJLFFBQVEsS0FBUixRQUFRLFFBR1o7QUFjRCxJQUFLLGFBSUo7QUFKRCxXQUFLLGFBQWE7SUFDaEIscURBQU0sQ0FBQTtJQUNOLDJEQUFTLENBQUE7SUFDVCxtREFBSyxDQUFBO0FBQ1AsQ0FBQyxFQUpJLGFBQWEsS0FBYixhQUFhLFFBSWpCO0FBT0Qsc0RBQXNEO0FBQ3RELHNEQUFzRDtBQUN0RCxzREFBc0Q7QUFDdEQsTUFBTSxJQUFJLEdBQUcsQ0FBQyxJQUFVLEVBQUUsS0FBVyxFQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQy9DLEdBQUcsRUFBRSxRQUFRLENBQUMsSUFBSTtJQUNsQixRQUFRLEVBQUUsSUFBSTtJQUNkLFNBQVMsRUFBRSxLQUFLO0NBQ2pCLENBQUMsQ0FBQztBQUVILE1BQU0sSUFBSSxHQUFHLENBQUMsS0FBUyxFQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQ2pDLEdBQUcsRUFBRSxRQUFRLENBQUMsSUFBSTtJQUNsQixLQUFLO0NBQ04sQ0FBQyxDQUFDO0FBRUgsc0RBQXNEO0FBQ3RELHFEQUFxRDtBQUNyRCxzREFBc0Q7QUFFdEQ7Ozs7R0FJRztBQUNILE1BQU0sT0FBTyxnQkFBZ0I7SUFNM0IsWUFBNEIsSUFBVSxFQUFTLFNBQWlCLEVBQVMsS0FBYSxFQUFVLFVBQWdCO1FBQXBGLFNBQUksR0FBSixJQUFJLENBQU07UUFBUyxjQUFTLEdBQVQsU0FBUyxDQUFRO1FBQVMsVUFBSyxHQUFMLEtBQUssQ0FBUTtRQUFVLGVBQVUsR0FBVixVQUFVLENBQU07UUFDOUcsSUFBSSxDQUFDLElBQUksR0FBRyxJQUFJLENBQUM7UUFDakIsSUFBSSxDQUFDLFFBQVEsR0FBRyxFQUFFLENBQUM7SUFDckIsQ0FBQztJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUNqQixlQUF1QixFQUN2QixLQUFhLEVBQ2IsTUFBZ0MsRUFDaEMsUUFBc0I7UUFFdEIsSUFBSSxVQUFVLEdBQUcsZ0JBQWdCLENBQUMscUJBQXFCLENBQUM7UUFDeEQsSUFBSSxVQUFVLEtBQUssU0FBUyxFQUFFLENBQUM7WUFDN0IsVUFBVSxHQUFHLE1BQU0sb0JBQW9CLEVBQUUsQ0FBQztZQUMxQyxnQkFBZ0IsQ0FBQyxxQkFBcUIsR0FBRyxVQUFVLENBQUM7UUFDdEQsQ0FBQztRQUNELE1BQU0sUUFBUSxHQUFHLFVBQVUsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUNuQyxNQUFNLElBQUksR0FBRyxJQUFJLGdCQUFnQixDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsRUFBRSxlQUFlLEVBQUUsS0FBSyxFQUFFLFVBQVUsQ0FBQyxDQUFDO1FBQ3RGLE1BQU0sSUFBSSxDQUFDLGtCQUFrQixDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsQ0FBQztRQUNoRCxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRDs7O09BR0c7SUFDSCxVQUFVLENBQUMsS0FBUztRQUNsQixNQUFNLFVBQVUsR0FBRyxJQUFJLENBQUMsYUFBYSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQztRQUN0RCxJQUFJLENBQUMsSUFBSSxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsS0FBSyxFQUFFLFVBQVUsRUFBRSxJQUFJLENBQUMsS0FBSyxFQUFFLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUN2RSxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUM7SUFDbkIsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0gsVUFBVSxDQUFDLEtBQVMsRUFBRSxLQUFhLEVBQUUsS0FBSyxHQUFHLElBQUksQ0FBQyxLQUFLO1FBQ3JELE1BQU0sVUFBVSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFDO1FBQ3BELElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEtBQUssRUFBRSxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDcEUsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsY0FBYyxDQUFDLEtBQWE7UUFDaEMsTUFBTSxVQUFVLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxLQUFLLENBQUMsQ0FBQztRQUM3QyxrQ0FBa0M7UUFDbEMsTUFBTSxFQUFFLElBQUksRUFBRSxNQUFNLEVBQUUsR0FBRyxNQUFNLElBQUksQ0FBQyxlQUFlLENBQUMsVUFBVSxFQUFFLElBQUksQ0FBQyxJQUFJLEVBQUUsRUFBRSxDQUFDLENBQUM7UUFDL0UsSUFBSSxNQUFNLEtBQUssYUFBYSxDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ25DLE9BQU8sU0FBUyxDQUFDO1FBQ25CLENBQUM7UUFDRCxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsaUJBQWlCLENBQUMsS0FBYSxFQUFFLFdBQWlCO1FBQ2hELEtBQUssSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxXQUFXLENBQUMsTUFBTSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDNUMsdUVBQXVFO1lBQ3ZFLE1BQU0sUUFBUSxHQUFHLEtBQUssR0FBRyxFQUFFLENBQUM7WUFDNUIsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxRQUFRLEVBQUUsSUFBSSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztZQUNwRCx1RkFBdUY7WUFDdkYsNkNBQTZDO1lBQzdDLElBQUksSUFBSSxLQUFLLFNBQVMsSUFBSSxJQUFJLENBQUMsR0FBRyxLQUFLLFFBQVEsQ0FBQyxJQUFJLEVBQUUsQ0FBQztnQkFDckQsSUFBSSxDQUFDLFVBQVUsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLEVBQUUsUUFBUSxFQUFFLElBQUksQ0FBQyxLQUFLLEdBQUcsQ0FBQyxDQUFDLENBQUM7WUFDNUQsQ0FBQztZQUNELEtBQUssS0FBSyxFQUFFLENBQUM7UUFDZixDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCx1RUFBdUU7SUFDdkUsTUFBTSxDQUFDLDBCQUEwQixDQUFDLFNBQWlCO1FBQ2pELE1BQU0sa0JBQWtCLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQ2hFLE1BQU0sZUFBZSxHQUFHLEVBQUUsQ0FBQztRQUMzQixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsa0JBQWtCLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUM1QyxJQUFJLFNBQVMsS0FBSyxDQUFDLEVBQUUsQ0FBQztnQkFDcEIsZUFBZSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUMxQixDQUFDO2lCQUFNLElBQUksU0FBUyxHQUFHLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQztnQkFDL0IsZUFBZSxDQUFDLElBQUksQ0FBQyxTQUFTLEdBQUcsQ0FBQyxDQUFDLENBQUM7WUFDdEMsQ0FBQztpQkFBTSxDQUFDO2dCQUNOLGVBQWUsQ0FBQyxJQUFJLENBQUMsU0FBUyxHQUFHLENBQUMsQ0FBQyxDQUFDO1lBQ3RDLENBQUM7WUFDRCxTQUFTLEtBQUssQ0FBQyxDQUFDO1FBQ2xCLENBQUM7UUFDRCxPQUFPLGVBQWUsQ0FBQztJQUN6QixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNILEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxNQUFnQyxFQUFFLFFBQXNCO1FBQy9FLHdEQUF3RDtRQUN4RCxNQUFNLGVBQWUsR0FBRyxnQkFBZ0IsQ0FBQywwQkFBMEIsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUM7UUFDNUYsa0VBQWtFO1FBQ2xFLGlIQUFpSDtRQUNqSCx5RUFBeUU7UUFDekUsNEhBQTRIO1FBQzVILDhHQUE4RztRQUM5RyxtSEFBbUg7UUFFbkgsTUFBTSxjQUFjLEdBQUcsRUFBRSxDQUFDO1FBQzFCLDhEQUE4RDtRQUM5RCxLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsZUFBZSxDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1lBQ2hELDRGQUE0RjtZQUM1RixpS0FBaUs7WUFDakssZ0lBQWdJO1lBQ2hJLE1BQU0sS0FBSyxHQUFHLE1BQU0sQ0FBQyxlQUFlLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLElBQUksTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQzFELDBEQUEwRDtZQUMxRCxNQUFNLElBQUksR0FBRyxNQUFNLE1BQU0sQ0FBQyxjQUFjLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFDO1lBRTFELHlHQUF5RztZQUN6RyxNQUFNLFlBQVksR0FBRyxJQUFJLENBQUMsYUFBYSxDQUFDLE1BQU0sQ0FBQyxlQUFlLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxJQUFJLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxDQUFDO1lBQ3BGLHlFQUF5RTtZQUN6RSxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDekMsY0FBYyxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUMsQ0FBQztZQUNuQyxxREFBcUQ7WUFDckQsMkdBQTJHO1lBQzNHLElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxhQUFhLEVBQUUsWUFBWSxFQUFFLElBQUksQ0FBQyxLQUFLLEdBQUcsQ0FBQyxFQUFFLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUN2RixDQUFDO1FBQ0QsSUFBSSxDQUFDLFFBQVEsR0FBRyxjQUFjLENBQUM7SUFDakMsQ0FBQztJQUVEOztPQUVHO0lBQ0ksT0FBTztRQUNaLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUM5QyxDQUFDO0lBRUQ7Ozs7T0FJRztJQUNJLEtBQUssQ0FBQyxRQUFRLENBQUMsSUFBVSxFQUFFLEtBQWE7UUFDN0MsUUFBUSxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUM7WUFDakIsS0FBSyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztnQkFDbkIsT0FBTyxhQUFhLENBQUM7b0JBQ25CLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLEtBQUssR0FBRyxDQUFDLENBQUM7b0JBQzdDLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLEtBQUssR0FBRyxDQUFDLENBQUM7aUJBQy9DLENBQUMsQ0FBQztZQUNMLENBQUM7WUFDRCxLQUFLLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO2dCQUNuQixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUM7WUFDcEIsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSSxPQUFPLENBQUMsS0FBYSxFQUFFLEtBQWE7UUFDekMsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDOUMsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDM0MsYUFBYSxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ3hCLElBQUksQ0FBQztZQUNILE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ2pELENBQUM7UUFBQyxPQUFPLENBQUMsRUFBRSxDQUFDO1lBQ1gsT0FBTyxTQUFTLENBQUM7UUFDbkIsQ0FBQztJQUNILENBQUM7SUFFRDs7T0FFRztJQUNLLFFBQVEsQ0FBQyxRQUFrQixFQUFFLElBQVU7UUFDN0MsSUFBSSxRQUFRLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1lBQzFCLE9BQU8sSUFBSSxDQUFDO1FBQ2QsQ0FBQztRQUNELFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2pCLEtBQUssUUFBUSxDQUFDLElBQUk7Z0JBQ2hCLE9BQU8sUUFBUSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxRQUFRLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUM7WUFFakgsS0FBSyxRQUFRLENBQUMsSUFBSTtnQkFDaEIsTUFBTSxJQUFJLEtBQUssQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO1FBQ3RDLENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSyxhQUFhLENBQUMsS0FBYSxFQUFFLEtBQUssR0FBRyxJQUFJLENBQUMsS0FBSztRQUNyRCxPQUFPLElBQUksQ0FBQyxhQUFhLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQ3BELENBQUM7SUFFRDs7OztPQUlHO0lBQ0ssYUFBYSxDQUFDLEtBQWEsRUFBRSxLQUFLLEdBQUcsSUFBSSxDQUFDLEtBQUs7UUFDckQsT0FBTyxLQUFLO2FBQ1QsUUFBUSxDQUFDLENBQUMsQ0FBQzthQUNYLFFBQVEsQ0FBQyxLQUFLLEVBQUUsR0FBRyxDQUFDO2FBQ3BCLEtBQUssQ0FBQyxFQUFFLENBQUM7YUFDVCxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUMzQixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNLLFdBQVcsQ0FBQyxLQUFTLEVBQUUsVUFBb0IsRUFBRSxLQUFhLEVBQUUsSUFBVTtRQUM1RSxJQUFJLFVBQVUsQ0FBQyxNQUFNLEdBQUcsSUFBSSxDQUFDLEtBQUssSUFBSSxLQUFLLEdBQUcsSUFBSSxDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ3pELE1BQU0sSUFBSSxLQUFLLENBQUMsb0JBQW9CLENBQUMsQ0FBQztRQUN4QyxDQUFDO1FBQ0QsSUFBSSxLQUFLLEtBQUssQ0FBQyxJQUFJLFVBQVUsQ0FBQyxNQUFNLEtBQUssQ0FBQyxFQUFFLENBQUM7WUFDM0MsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDckIsQ0FBQztRQUNELFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2pCLEtBQUssUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7Z0JBQ25CLE9BQU8sVUFBVSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUM7b0JBQzNCLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEtBQUssR0FBRyxDQUFDLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUM7b0JBQ3JGLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxVQUFVLEVBQUUsS0FBSyxHQUFHLENBQUMsRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQztZQUMxRixDQUFDO1lBQ0QsS0FBSyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztnQkFDbkIsTUFBTSxRQUFRLEdBQUcsSUFBSSxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUM7Z0JBQ2xELE9BQU8sVUFBVSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUM7b0JBQzNCLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEtBQUssR0FBRyxDQUFDLEVBQUUsUUFBUSxDQUFDLEVBQUUsUUFBUSxDQUFDO29CQUMxRSxDQUFDLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxVQUFVLEVBQUUsS0FBSyxHQUFHLENBQUMsRUFBRSxRQUFRLENBQUMsQ0FBQyxDQUFDO1lBQy9FLENBQUM7UUFDSCxDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0ssS0FBSyxDQUFDLGVBQWUsQ0FBQyxVQUFvQixFQUFFLElBQVUsRUFBRSxHQUFTO1FBQ3ZFLCtFQUErRTtRQUMvRSxvRUFBb0U7UUFDcEUsd0RBQXdEO1FBQ3hELElBQUksVUFBVSxDQUFDLE1BQU0sS0FBSyxDQUFDLEVBQUUsQ0FBQztZQUM1QixRQUFRLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztnQkFDakIsS0FBSyxRQUFRLENBQUMsSUFBSTtvQkFDaEIsT0FBTyxFQUFFLElBQUksRUFBRSxHQUFHLEVBQUUsTUFBTSxFQUFFLGFBQWEsQ0FBQyxNQUFNLEVBQUUsQ0FBQztnQkFDckQsS0FBSyxRQUFRLENBQUMsSUFBSTtvQkFDaEIsT0FBTyxFQUFFLElBQUksRUFBRSxFQUFFLEVBQUUsTUFBTSxFQUFFLGFBQWEsQ0FBQyxLQUFLLEVBQUUsQ0FBQztZQUNyRCxDQUFDO1FBQ0gsQ0FBQztRQUNELHNCQUFzQjtRQUN0QixRQUFRLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQztZQUNqQixLQUFLLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO2dCQUNuQiw2RkFBNkY7Z0JBQzdGLE9BQU8sVUFBVSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUM7b0JBQzNCLENBQUMsQ0FBQyxNQUFNLElBQUksQ0FBQyxlQUFlLENBQ3hCLFVBQVUsRUFDVixJQUFJLENBQUMsUUFBUSxFQUNiLENBQUMsTUFBTSxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxTQUFTLEVBQUUsVUFBVSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUNyRTtvQkFDSCxDQUFDLENBQUMsTUFBTSxJQUFJLENBQUMsZUFBZSxDQUN4QixVQUFVLEVBQ1YsSUFBSSxDQUFDLFNBQVMsRUFDZCxDQUFDLE1BQU0sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FDcEUsQ0FBQztZQUNSLENBQUM7WUFDRCxvRkFBb0Y7WUFDcEYsbURBQW1EO1lBQ25ELEtBQUssUUFBUSxDQUFDLElBQUk7Z0JBQ2hCLE9BQU8sRUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBRSxhQUFhLENBQUMsS0FBSyxFQUFFLENBQUM7UUFDckQsQ0FBQztJQUNILENBQUM7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsU0FBUyx3QkFBd0IsQ0FBQyxHQUFPLEVBQUUsR0FBUztJQUNsRCw2RkFBNkY7SUFDN0YsSUFBSSxLQUFLLEdBQUcsQ0FBQyxDQUFDO0lBQ2QsSUFBSSxHQUFHLEdBQUcsR0FBRyxDQUFDLE1BQU0sQ0FBQztJQUNyQiw0RkFBNEY7SUFDNUYsTUFBTSxRQUFRLEdBQUcsR0FBRyxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDakMsT0FBTyxLQUFLLEdBQUcsR0FBRyxFQUFFLENBQUM7UUFDbkIsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLEtBQUssR0FBRyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQztRQUMxQyxJQUFJLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUM7WUFDL0Isc0ZBQXNGO1lBQ3RGLEtBQUssR0FBRyxHQUFHLEdBQUcsQ0FBQyxDQUFDO1FBQ2xCLENBQUM7YUFBTSxDQUFDO1lBQ04sd0ZBQXdGO1lBQ3hGLEdBQUcsR0FBRyxHQUFHLENBQUM7UUFDWixDQUFDO0lBQ0gsQ0FBQztJQUNELGtIQUFrSDtJQUNsSCxzSEFBc0g7SUFDdEgsdUJBQXVCO0lBQ3ZCLE9BQU8sS0FBSyxHQUFHLENBQUMsQ0FBQztBQUNuQixDQUFDIn0=