@aztec/simulator 0.61.0 → 0.63.0

package/dest/avm/avm_tree.js

@@ -0,0 +1,637 @@
+import { MerkleTreeId, getTreeHeight } from '@aztec/circuit-types';
+import { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '@aztec/circuits.js';
+import { poseidon2Hash } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import cloneDeep from 'lodash.clonedeep';
+/****************************************************/
+/****** 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 preimage and the leaf index of leaf in the ephemeral tree that contains the lowest key (i.e. nullifier value or public data tree slot)
+    indexedTreeMin, 
+    // 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) {
+        this.treeDb = treeDb;
+        this.treeMap = treeMap;
+        this.indexedTreeMin = indexedTreeMin;
+        this.indexedUpdates = indexedUpdates;
+    }
+    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);
+        }
+        return new AvmEphemeralForest(treeDb, treeMap, new Map(), new Map());
+    }
+    fork() {
+        return new AvmEphemeralForest(this.treeDb, cloneDeep(this.treeMap), cloneDeep(this.indexedTreeMin), cloneDeep(this.indexedUpdates));
+    }
+    /**
+     * 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 = 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 = 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)
+     */
+    appendIndexedTree(treeId, lowLeafIndex, lowLeafPreimage, newLeafPreimage) {
+        const tree = this.treeMap.get(treeId);
+        const newLeaf = this.hashPreimage(newLeafPreimage);
+        const insertIndex = tree.leafCount;
+        const lowLeaf = 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 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 { preimage, index, update } = await this.getLeafOrLowLeafInfo(treeId, slot);
+        const siblingPath = await this.getSiblingPath(treeId, index);
+        if (update) {
+            const updatedPreimage = cloneDeep(preimage);
+            const existingPublicDataSiblingPath = siblingPath;
+            updatedPreimage.value = newValue;
+            // It is really unintuitive that by updating, we are also appending a Zero Leaf to the tree
+            // Additionally, this leaf preimage does not seem to factor into further appends
+            const emptyLeaf = new PublicDataTreeLeafPreimage(Fr.ZERO, Fr.ZERO, Fr.ZERO, 0n);
+            const insertionIndex = tree.leafCount;
+            tree.updateLeaf(this.hashPreimage(updatedPreimage), index);
+            tree.appendLeaf(Fr.ZERO);
+            this.setIndexedUpdates(treeId, index, updatedPreimage);
+            this.setIndexedUpdates(treeId, insertionIndex, emptyLeaf);
+            const insertionPath = tree.getSiblingPath(insertionIndex);
+            // Even though we append an empty leaf into the tree as a part of update - it doesnt seem to impact future inserts...
+            this._updateMinInfo(MerkleTreeId.PUBLIC_DATA_TREE, [updatedPreimage], [index]);
+            return {
+                leafIndex: insertionIndex,
+                insertionPath,
+                newOrElementToUpdate: { update: true, element: updatedPreimage },
+                lowWitness: {
+                    preimage: preimage,
+                    index: index,
+                    update: true,
+                    siblingPath: existingPublicDataSiblingPath,
+                },
+            };
+        }
+        // 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 = this.appendIndexedTree(treeId, index, updatedLowLeaf, newPublicDataLeaf);
+        // Since we are appending, we might have a new minimum public data leaf
+        this._updateMinInfo(MerkleTreeId.PUBLIC_DATA_TREE, [newPublicDataLeaf, updatedLowLeaf], [insertionIndex, index]);
+        return {
+            leafIndex: insertionIndex,
+            insertionPath: insertionPath,
+            newOrElementToUpdate: { update: false, element: newPublicDataLeaf },
+            lowWitness: {
+                preimage,
+                index: index,
+                update: false,
+                siblingPath,
+            },
+        };
+    }
+    /**
+     * This is just a helper to compare the preimages and update the minimum public data leaf
+     * @param treeId - The tree to be queried for a sibling path.
+     * @param T - The type of the preimage (PublicData or Nullifier)
+     * @param preimages - The preimages to be compared
+     * @param indices - The indices of the preimages
+     */
+    _updateMinInfo(treeId, preimages, indices) {
+        let currentMin = this.getMinInfo(treeId);
+        if (currentMin === undefined) {
+            currentMin = { preimage: preimages[0], index: indices[0] };
+        }
+        for (let i = 0; i < preimages.length; i++) {
+            if (preimages[i].getKey() <= currentMin.preimage.getKey()) {
+                currentMin = { preimage: preimages[i], index: indices[i] };
+            }
+        }
+        this.setMinInfo(treeId, currentMin.preimage, currentMin.index);
+    }
+    /**
+     * 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 { preimage, index, update } = await this.getLeafOrLowLeafInfo(treeId, nullifier);
+        const siblingPath = await this.getSiblingPath(treeId, index);
+        if (update) {
+            throw new Error('Not allowed to 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 = this.appendIndexedTree(treeId, index, updatedLowNullifier, newNullifierLeaf);
+        // Since we are appending, we might have a new minimum nullifier leaf
+        this._updateMinInfo(MerkleTreeId.NULLIFIER_TREE, [newNullifierLeaf, updatedLowNullifier], [insertionIndex, index]);
+        return {
+            leafIndex: insertionIndex,
+            insertionPath: insertionPath,
+            newOrElementToUpdate: { update: false, element: newNullifierLeaf },
+            lowWitness: {
+                preimage,
+                index,
+                update,
+                siblingPath,
+            },
+        };
+    }
+    /**
+     * 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
+     */
+    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 = tree.getSiblingPath(tree.leafCount - 1n);
+        return insertionPath;
+    }
+    /**
+     * This is wrapper around treeId to get the correct minimum leaf preimage
+     */
+    getMinInfo(treeId) {
+        const start = this.indexedTreeMin.get(treeId);
+        if (start === undefined) {
+            return undefined;
+        }
+        const [preimage, index] = start;
+        return { preimage: preimage, index };
+    }
+    /**
+     * This is wrapper around treeId to set the correct minimum leaf preimage
+     */
+    setMinInfo(treeId, preimage, index) {
+        this.indexedTreeMin.set(treeId, [preimage, index]);
+    }
+    /**
+     * 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
+     */
+    getIndexedUpdates(treeId, index) {
+        const updates = this.indexedUpdates.get(treeId);
+        if (updates === undefined) {
+            throw new Error('No updates found');
+        }
+        const preimage = updates.get(index);
+        if (preimage === undefined) {
+            throw new Error('No updates found');
+        }
+        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);
+    }
+    /**
+     * This gets the low leaf preimage and the index of the low leaf in the indexed tree given a value (slot or nullifier value)
+     * If the value is not found in the tree, it does an external lookup to the merkleDB
+     * @param treeId - The tree we are looking up in
+     * @param key - The key for which we are look up the low leaf for.
+     * @param T - The type of the preimage (PublicData or Nullifier)
+     * @returns The low leaf preimage and the index of the low leaf in the indexed tree
+     */
+    async getLeafOrLowLeafInfo(treeId, key) {
+        // This can probably be done better, we want to say if the minInfo is undefined (because this is our first operation) we do the external lookup
+        const minPreimage = this.getMinInfo(treeId);
+        const start = minPreimage?.preimage;
+        const bigIntKey = key.toBigInt();
+        // If the first element we have is already greater than the value, we need to do an external lookup
+        if (minPreimage === undefined || (start?.getKey() ?? 0n) >= key.toBigInt()) {
+            // The low public data witness is in the previous tree
+            const { index, alreadyPresent } = (await this.treeDb.getPreviousValueIndex(treeId, bigIntKey));
+            const preimage = await this.treeDb.getLeafPreimage(treeId, index);
+            // Since we have never seen this before - we should insert it into our tree
+            const siblingPath = (await this.treeDb.getSiblingPath(treeId, index)).toFields();
+            // Is it enough to just insert the sibling path without inserting the leaf? - right now probably since we will update this low nullifier index in append
+            this.treeMap.get(treeId).insertSiblingPath(index, siblingPath);
+            const lowPublicDataPreimage = preimage;
+            return { preimage: lowPublicDataPreimage, index: index, update: alreadyPresent };
+        }
+        // We look for the low element by bouncing between our local indexedUpdates map or the external DB
+        // The conditions we are looking for are:
+        // (1) Exact Match: curr.nextKey == key (this is only valid for public data tree)
+        // (2) Sandwich Match: curr.nextKey > key and curr.key < key
+        // (3) Max Condition: curr.next_index == 0 and curr.key < key
+        // Note the min condition does not need to be handled since indexed trees are prefilled with at least the 0 element
+        let found = false;
+        let curr = minPreimage.preimage;
+        let result = undefined;
+        // Temp to avoid infinite loops - the limit is the number of leaves we may have to read
+        const LIMIT = 2n ** BigInt(getTreeHeight(treeId)) - 1n;
+        let counter = 0n;
+        let lowPublicDataIndex = minPreimage.index;
+        while (!found && counter < LIMIT) {
+            if (curr.getKey() === bigIntKey) {
+                // We found an exact match - therefore this is an update
+                found = true;
+                result = { preimage: curr, index: lowPublicDataIndex, update: true };
+            }
+            else if (curr.getKey() < bigIntKey && (curr.getNextKey() === 0n || curr.getNextKey() > bigIntKey)) {
+                // We found it via sandwich or max condition, this is a low nullifier
+                found = true;
+                result = { preimage: curr, index: lowPublicDataIndex, update: false };
+            }
+            // Update the the values for the next iteration
+            else {
+                lowPublicDataIndex = curr.getNextIndex();
+                if (this.hasLocalUpdates(treeId, lowPublicDataIndex)) {
+                    curr = this.getIndexedUpdates(treeId, lowPublicDataIndex);
+                }
+                else {
+                    const preimage = (await this.treeDb.getLeafPreimage(treeId, lowPublicDataIndex));
+                    curr = preimage;
+                }
+            }
+            counter++;
+        }
+        // We did not find it - this is unexpected
+        if (result === undefined) {
+            throw new Error('No previous value found or ran out of iterations');
+        }
+        return result;
+    }
+    /**
+     * This hashes the preimage to a field element
+     */
+    hashPreimage(preimage) {
+        // Watch for this edge-case, we are hashing the key=0 leaf to 0.
+        // This is for backward compatibility with the world state implementation
+        if (preimage.getKey() === 0n) {
+            return Fr.zero();
+        }
+        const input = preimage.toHashInputs().map(x => Fr.fromBuffer(x));
+        return poseidon2Hash(input);
+    }
+}
+/****************************************************/
+/****** 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(leafCount, depth) {
+        this.leafCount = leafCount;
+        this.depth = depth;
+        let zeroHash = Fr.zero();
+        // Can probably cache this elsewhere
+        const zeroHashes = [];
+        for (let i = 0; i < this.depth; i++) {
+            zeroHashes.push(zeroHash);
+            zeroHash = poseidon2Hash([zeroHash, zeroHash]);
+        }
+        this.tree = Leaf(zeroHash);
+        this.zeroHashes = zeroHashes;
+        this.frontier = [];
+    }
+    static async create(forkedLeafCount, depth, treeDb, merkleId) {
+        const tree = new EphemeralAvmTree(forkedLeafCount, depth);
+        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
+     */
+    getSiblingPath(index) {
+        const searchPath = this._derivePathLE(index);
+        // Handle cases where we error out
+        const { path, status } = 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;
+            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
+     */
+    hashTree(tree, depth) {
+        switch (tree.tag) {
+            case TreeType.NODE: {
+                return poseidon2Hash([this.hashTree(tree.leftTree, depth - 1), 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
+     */
+    _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
+                    ? this._getSiblingPath(searchPath, tree.leftTree, [this.hashTree(tree.rightTree, searchPath.length)].concat(acc))
+                    : this._getSiblingPath(searchPath, tree.rightTree, [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 };
+        }
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3RyZWUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL2F2bV90cmVlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBc0IsWUFBWSxFQUFpQyxhQUFhLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN0SCxPQUFPLEVBQUUscUJBQXFCLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUN2RixPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDekQsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRzlDLE9BQU8sU0FBUyxNQUFNLGtCQUFrQixDQUFDO0FBa0N6QyxzREFBc0Q7QUFDdEQsc0RBQXNEO0FBQ3RELHNEQUFzRDtBQUV0RDs7OztHQUlHO0FBQ0gsTUFBTSxPQUFPLGtCQUFrQjtJQUM3QixZQUNTLE1BQWdDLEVBQ2hDLE9BQTRDO0lBQ25ELDJKQUEySjtJQUNwSixjQUFxRTtJQUM1RSxrSEFBa0g7SUFDbEgsK0ZBQStGO0lBQ3hGLGNBQXdFO1FBTnhFLFdBQU0sR0FBTixNQUFNLENBQTBCO1FBQ2hDLFlBQU8sR0FBUCxPQUFPLENBQXFDO1FBRTVDLG1CQUFjLEdBQWQsY0FBYyxDQUF1RDtRQUdyRSxtQkFBYyxHQUFkLGNBQWMsQ0FBMEQ7SUFDOUUsQ0FBQztJQUVKLE1BQU0sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLE1BQWdDO1FBQ2xELE1BQU0sT0FBTyxHQUFHLElBQUksR0FBRyxFQUFrQyxDQUFDO1FBQzFELEtBQUssTUFBTSxRQUFRLElBQUksQ0FBQyxZQUFZLENBQUMsY0FBYyxFQUFFLFlBQVksQ0FBQyxjQUFjLEVBQUUsWUFBWSxDQUFDLGdCQUFnQixDQUFDLEVBQUUsQ0FBQztZQUNqSCxNQUFNLFFBQVEsR0FBRyxNQUFNLE1BQU0sQ0FBQyxXQUFXLENBQUMsUUFBUSxDQUFDLENBQUM7WUFDcEQsTUFBTSxJQUFJLEdBQUcsTUFBTSxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxRQUFRLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxRQUFRLENBQUMsQ0FBQztZQUM1RixPQUFPLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsQ0FBQztRQUM5QixDQUFDO1FBQ0QsT0FBTyxJQUFJLGtCQUFrQixDQUFDLE1BQU0sRUFBRSxPQUFPLEVBQUUsSUFBSSxHQUFHLEVBQUUsRUFBRSxJQUFJLEdBQUcsRUFBRSxDQUFDLENBQUM7SUFDdkUsQ0FBQztJQUVELElBQUk7UUFDRixPQUFPLElBQUksa0JBQWtCLENBQzNCLElBQUksQ0FBQyxNQUFNLEVBQ1gsU0FBUyxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsRUFDdkIsU0FBUyxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsRUFDOUIsU0FBUyxDQUFDLElBQUksQ0FBQyxjQUFjLENBQUMsQ0FDL0IsQ0FBQztJQUNKLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNILEtBQUssQ0FBQyxjQUFjLENBQUMsTUFBb0IsRUFBRSxLQUFhO1FBQ3RELE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDO1FBQ3ZDLElBQUksSUFBSSxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDdEMsSUFBSSxJQUFJLEtBQUssU0FBUyxFQUFFLENBQUM7WUFDdkIsNEVBQTRFO1lBQzVFLElBQUksR0FBRyxDQUFDLE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxjQUFjLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUMsUUFBUSxFQUFFLENBQUM7WUFDcEUsaUZBQWlGO1lBQ2pGLGdGQUFnRjtZQUNoRixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO2dCQUNyQyxNQUFNLFlBQVksR0FBRyxLQUFLLEdBQUcsRUFBRSxDQUFDO2dCQUNoQyxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLFlBQVksRUFBRSxJQUFJLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxDQUFDO2dCQUN4RCxJQUFJLElBQUksS0FBSyxTQUFTLEVBQUUsQ0FBQztvQkFDdkIsTUFBTSxRQUFRLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO29CQUM1QyxJQUFJLENBQUMsUUFBUSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO3dCQUM5QixJQUFJLENBQUMsQ0FBQyxDQUFDLEdBQUcsUUFBUSxDQUFDO29CQUNyQixDQUFDO2dCQUNILENBQUM7Z0JBQ0QsS0FBSyxLQUFLLEVBQUUsQ0FBQztZQUNmLENBQUM7UUFDSCxDQUFDO1FBQ0QsT0FBTyxJQUFJLENBQUM7SUFDZCxDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILGlCQUFpQixDQUNmLE1BQVUsRUFDVixZQUFvQixFQUNwQixlQUFrQixFQUNsQixlQUFrQjtRQUVsQixNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUUsQ0FBQztRQUN2QyxNQUFNLE9BQU8sR0FBRyxJQUFJLENBQUMsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQ25ELE1BQU0sV0FBVyxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUM7UUFFbkMsTUFBTSxPQUFPLEdBQUcsSUFBSSxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUNuRCxnQ0FBZ0M7UUFDaEMsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxZQUFZLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFDOUQsSUFBSSxDQUFDLFVBQVUsQ0FBQyxPQUFPLEVBQUUsWUFBWSxDQUFDLENBQUM7UUFDdkMsc0JBQXNCO1FBQ3RCLElBQUksQ0FBQyxVQUFVLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDekIsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxXQUFXLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFFN0QsT0FBTyxJQUFJLENBQUMsY0FBYyxDQUFDLFdBQVcsQ0FBRSxDQUFDO0lBQzNDLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNILEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxJQUFRLEVBQUUsUUFBWTtRQUM3QywyQ0FBMkM7UUFDM0MsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLGdCQUFnQixDQUFDO1FBQzdDLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDO1FBQ3ZDLE1BQU0sRUFBRSxRQUFRLEVBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxHQUFnRCxNQUFNLElBQUksQ0FBQyxvQkFBb0IsQ0FDOUcsTUFBTSxFQUNOLElBQUksQ0FDTCxDQUFDO1FBQ0YsTUFBTSxXQUFXLEdBQUcsTUFBTSxJQUFJLENBQUMsY0FBYyxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQztRQUM3RCxJQUFJLE1BQU0sRUFBRSxDQUFDO1lBQ1gsTUFBTSxlQUFlLEdBQUcsU0FBUyxDQUFDLFFBQVEsQ0FBQyxDQUFDO1lBQzVDLE1BQU0sNkJBQTZCLEdBQUcsV0FBVyxDQUFDO1lBQ2xELGVBQWUsQ0FBQyxLQUFLLEdBQUcsUUFBUSxDQUFDO1lBRWpDLDJGQUEyRjtZQUMzRixnRkFBZ0Y7WUFDaEYsTUFBTSxTQUFTLEdBQUcsSUFBSSwwQkFBMEIsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBQyxJQUFJLEVBQUUsRUFBRSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQztZQUNoRixNQUFNLGNBQWMsR0FBRyxJQUFJLENBQUMsU0FBUyxDQUFDO1lBQ3RDLElBQUksQ0FBQyxVQUFVLENBQUMsSUFBSSxDQUFDLFlBQVksQ0FBQyxlQUFlLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQztZQUMzRCxJQUFJLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsQ0FBQztZQUN6QixJQUFJLENBQUMsaUJBQWlCLENBQUMsTUFBTSxFQUFFLEtBQUssRUFBRSxlQUFlLENBQUMsQ0FBQztZQUN2RCxJQUFJLENBQUMsaUJBQWlCLENBQUMsTUFBTSxFQUFFLGNBQWMsRUFBRSxTQUFTLENBQUMsQ0FBQztZQUMxRCxNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUMsY0FBYyxDQUFDLGNBQWMsQ0FBRSxDQUFDO1lBRTNELHFIQUFxSDtZQUNySCxJQUFJLENBQUMsY0FBYyxDQUFDLFlBQVksQ0FBQyxnQkFBZ0IsRUFBRSxDQUFDLGVBQWUsQ0FBQyxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztZQUMvRSxPQUFPO2dCQUNMLFNBQVMsRUFBRSxjQUFjO2dCQUN6QixhQUFhO2dCQUNiLG9CQUFvQixFQUFFLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxPQUFPLEVBQUUsZUFBZSxFQUFFO2dCQUNoRSxVQUFVLEVBQUU7b0JBQ1YsUUFBUSxFQUFFLFFBQVE7b0JBQ2xCLEtBQUssRUFBRSxLQUFLO29CQUNaLE1BQU0sRUFBRSxJQUFJO29CQUNaLFdBQVcsRUFBRSw2QkFBNkI7aUJBQzNDO2FBQ0YsQ0FBQztRQUNKLENBQUM7UUFDRCxrRUFBa0U7UUFDbEUsTUFBTSxjQUFjLEdBQUcsSUFBSSxDQUFDLFNBQVMsQ0FBQztRQUN0QyxNQUFNLGNBQWMsR0FBRyxTQUFTLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDM0MsY0FBYyxDQUFDLFFBQVEsR0FBRyxJQUFJLENBQUM7UUFDL0IsY0FBYyxDQUFDLFNBQVMsR0FBRyxjQUFjLENBQUM7UUFFMUMsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLDBCQUEwQixDQUN0RCxJQUFJLEVBQ0osUUFBUSxFQUNSLElBQUksRUFBRSxDQUFDLFFBQVEsQ0FBQyxVQUFVLEVBQUUsQ0FBQyxFQUM3QixRQUFRLENBQUMsWUFBWSxFQUFFLENBQ3hCLENBQUM7UUFDRixNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUMsaUJBQWlCLENBQUMsTUFBTSxFQUFFLEtBQUssRUFBRSxjQUFjLEVBQUUsaUJBQWlCLENBQUMsQ0FBQztRQUUvRix1RUFBdUU7UUFDdkUsSUFBSSxDQUFDLGNBQWMsQ0FBQyxZQUFZLENBQUMsZ0JBQWdCLEVBQUUsQ0FBQyxpQkFBaUIsRUFBRSxjQUFjLENBQUMsRUFBRSxDQUFDLGNBQWMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDO1FBQ2pILE9BQU87WUFDTCxTQUFTLEVBQUUsY0FBYztZQUN6QixhQUFhLEVBQUUsYUFBYTtZQUM1QixvQkFBb0IsRUFBRSxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFO1lBQ25FLFVBQVUsRUFBRTtnQkFDVixRQUFRO2dCQUNSLEtBQUssRUFBRSxLQUFLO2dCQUNaLE1BQU0sRUFBRSxLQUFLO2dCQUNiLFdBQVc7YUFDWjtTQUNGLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0ssY0FBYyxDQUNwQixNQUFxQixFQUNyQixTQUFjLEVBQ2QsT0FBaUI7UUFFakIsSUFBSSxVQUFVLEdBQUcsSUFBSSxDQUFDLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN6QyxJQUFJLFVBQVUsS0FBSyxTQUFTLEVBQUUsQ0FBQztZQUM3QixVQUFVLEdBQUcsRUFBRSxRQUFRLEVBQUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxPQUFPLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztRQUM3RCxDQUFDO1FBQ0QsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUMxQyxJQUFJLFNBQVMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxNQUFNLEVBQUUsSUFBSSxVQUFVLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUM7Z0JBQzFELFVBQVUsR0FBRyxFQUFFLFFBQVEsRUFBRSxTQUFTLENBQUMsQ0FBQyxDQUFDLEVBQUUsS0FBSyxFQUFFLE9BQU8sQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQzdELENBQUM7UUFDSCxDQUFDO1FBQ0QsSUFBSSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsVUFBVSxDQUFDLFFBQVEsRUFBRSxVQUFVLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDakUsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsZUFBZSxDQUFDLFNBQWE7UUFDakMsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLGNBQWMsQ0FBQztRQUMzQyxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUUsQ0FBQztRQUN2QyxNQUFNLEVBQUUsUUFBUSxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsR0FBMkMsTUFBTSxJQUFJLENBQUMsb0JBQW9CLENBQ3pHLE1BQU0sRUFDTixTQUFTLENBQ1YsQ0FBQztRQUNGLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLGNBQWMsQ0FBQyxNQUFNLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFFN0QsSUFBSSxNQUFNLEVBQUUsQ0FBQztZQUNYLE1BQU0sSUFBSSxLQUFLLENBQUMsbUNBQW1DLENBQUMsQ0FBQztRQUN2RCxDQUFDO1FBQ0QsNkJBQTZCO1FBQzdCLE1BQU0sY0FBYyxHQUFHLElBQUksQ0FBQyxTQUFTLENBQUM7UUFDdEMsTUFBTSxtQkFBbUIsR0FBRyxTQUFTLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDaEQsbUJBQW1CLENBQUMsYUFBYSxHQUFHLFNBQVMsQ0FBQztRQUM5QyxtQkFBbUIsQ0FBQyxTQUFTLEdBQUcsY0FBYyxDQUFDO1FBRS9DLE1BQU0sZ0JBQWdCLEdBQUcsSUFBSSxxQkFBcUIsQ0FBQyxTQUFTLEVBQUUsUUFBUSxDQUFDLGFBQWEsRUFBRSxRQUFRLENBQUMsU0FBUyxDQUFDLENBQUM7UUFDMUcsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDLGlCQUFpQixDQUFDLE1BQU0sRUFBRSxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsZ0JBQWdCLENBQUMsQ0FBQztRQUVuRyxxRUFBcUU7UUFDckUsSUFBSSxDQUFDLGNBQWMsQ0FBQyxZQUFZLENBQUMsY0FBYyxFQUFFLENBQUMsZ0JBQWdCLEVBQUUsbUJBQW1CLENBQUMsRUFBRSxDQUFDLGNBQWMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDO1FBQ25ILE9BQU87WUFDTCxTQUFTLEVBQUUsY0FBYztZQUN6QixhQUFhLEVBQUUsYUFBYTtZQUM1QixvQkFBb0IsRUFBRSxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsT0FBTyxFQUFFLGdCQUFnQixFQUFFO1lBQ2xFLFVBQVUsRUFBRTtnQkFDVixRQUFRO2dCQUNSLEtBQUs7Z0JBQ0wsTUFBTTtnQkFDTixXQUFXO2FBQ1o7U0FDRixDQUFDO0lBQ0osQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxjQUFjLENBQUMsUUFBWTtRQUN6QixNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsY0FBYyxDQUFFLENBQUM7UUFDNUQsSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQztRQUMxQix1RUFBdUU7UUFDdkUsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDLGNBQWMsQ0FBQyxJQUFJLENBQUMsU0FBUyxHQUFHLEVBQUUsQ0FBQyxDQUFDO1FBQy9ELE9BQU8sYUFBYyxDQUFDO0lBQ3hCLENBQUM7SUFFRDs7T0FFRztJQUNLLFVBQVUsQ0FDaEIsTUFBVTtRQUVWLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQzlDLElBQUksS0FBSyxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3hCLE9BQU8sU0FBUyxDQUFDO1FBQ25CLENBQUM7UUFDRCxNQUFNLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxHQUFHLEtBQUssQ0FBQztRQUNoQyxPQUFPLEVBQUUsUUFBUSxFQUFFLFFBQWEsRUFBRSxLQUFLLEVBQUUsQ0FBQztJQUM1QyxDQUFDO0lBRUQ7O09BRUc7SUFDSyxVQUFVLENBQ2hCLE1BQVUsRUFDVixRQUFXLEVBQ1gsS0FBYTtRQUViLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDO0lBQ3JELENBQUM7SUFFRDs7T0FFRztJQUNLLGlCQUFpQixDQUN2QixNQUFVLEVBQ1YsS0FBYSxFQUNiLFFBQVc7UUFFWCxJQUFJLE9BQU8sR0FBRyxJQUFJLENBQUMsY0FBYyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUM5QyxJQUFJLE9BQU8sS0FBSyxTQUFTLEVBQUUsQ0FBQztZQUMxQixPQUFPLEdBQUcsSUFBSSxHQUFHLEVBQUUsQ0FBQztZQUNwQixJQUFJLENBQUMsY0FBYyxDQUFDLEdBQUcsQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLENBQUM7UUFDM0MsQ0FBQztRQUNELE9BQU8sQ0FBQyxHQUFHLENBQUMsS0FBSyxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQy9CLENBQUM7SUFFRDs7T0FFRztJQUNLLGlCQUFpQixDQUE4RCxNQUFVLEVBQUUsS0FBYTtRQUM5RyxNQUFNLE9BQU8sR0FBRyxJQUFJLENBQUMsY0FBYyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNoRCxJQUFJLE9BQU8sS0FBSyxTQUFTLEVBQUUsQ0FBQztZQUMxQixNQUFNLElBQUksS0FBSyxDQUFDLGtCQUFrQixDQUFDLENBQUM7UUFDdEMsQ0FBQztRQUNELE1BQU0sUUFBUSxHQUFHLE9BQU8sQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDcEMsSUFBSSxRQUFRLEtBQUssU0FBUyxFQUFFLENBQUM7WUFDM0IsTUFBTSxJQUFJLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO1FBQ3RDLENBQUM7UUFDRCxPQUFPLFFBQWEsQ0FBQztJQUN2QixDQUFDO0lBRUQ7O09BRUc7SUFDSyxlQUFlLENBQTJCLE1BQVUsRUFBRSxLQUFhO1FBQ3pFLE1BQU0sT0FBTyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hELElBQUksT0FBTyxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQzFCLE9BQU8sS0FBSyxDQUFDO1FBQ2YsQ0FBQztRQUNELE9BQU8sT0FBTyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUM1QixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILEtBQUssQ0FBQyxvQkFBb0IsQ0FDeEIsTUFBVSxFQUNWLEdBQU87UUFFUCwrSUFBK0k7UUFDL0ksTUFBTSxXQUFXLEdBQUcsSUFBSSxDQUFDLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUM1QyxNQUFNLEtBQUssR0FBRyxXQUFXLEVBQUUsUUFBUSxDQUFDO1FBQ3BDLE1BQU0sU0FBUyxHQUFHLEdBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQztRQUNqQyxtR0FBbUc7UUFDbkcsSUFBSSxXQUFXLEtBQUssU0FBUyxJQUFJLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLEdBQUcsQ0FBQyxRQUFRLEVBQUUsRUFBRSxDQUFDO1lBQzNFLHNEQUFzRDtZQUN0RCxNQUFNLEVBQUUsS0FBSyxFQUFFLGNBQWMsRUFBRSxHQUFHLENBQUMsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLHFCQUFxQixDQUFDLE1BQU0sRUFBRSxTQUFTLENBQUMsQ0FBRSxDQUFDO1lBQ2hHLE1BQU0sUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxlQUFlLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFDO1lBRWxFLDJFQUEyRTtZQUMzRSxNQUFNLFdBQVcsR0FBRyxDQUFDLE1BQU0sSUFBSSxDQUFDLE1BQU0sQ0FBQyxjQUFjLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUMsUUFBUSxFQUFFLENBQUM7WUFFakYsd0pBQXdKO1lBQ3hKLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBRSxDQUFDLGlCQUFpQixDQUFDLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQztZQUVoRSxNQUFNLHFCQUFxQixHQUFHLFFBQWEsQ0FBQztZQUM1QyxPQUFPLEVBQUUsUUFBUSxFQUFFLHFCQUFxQixFQUFFLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLGNBQWMsRUFBRSxDQUFDO1FBQ25GLENBQUM7UUFFRCxrR0FBa0c7UUFDbEcseUNBQXlDO1FBQ3pDLGlGQUFpRjtRQUNqRiw0REFBNEQ7UUFDNUQsNkRBQTZEO1FBQzdELG1IQUFtSDtRQUNuSCxJQUFJLEtBQUssR0FBRyxLQUFLLENBQUM7UUFDbEIsSUFBSSxJQUFJLEdBQUcsV0FBVyxDQUFDLFFBQWEsQ0FBQztRQUNyQyxJQUFJLE1BQU0sR0FBbUMsU0FBUyxDQUFDO1FBQ3ZELHVGQUF1RjtRQUN2RixNQUFNLEtBQUssR0FBRyxFQUFFLElBQUksTUFBTSxDQUFDLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQyxHQUFHLEVBQUUsQ0FBQztRQUN2RCxJQUFJLE9BQU8sR0FBRyxFQUFFLENBQUM7UUFDakIsSUFBSSxrQkFBa0IsR0FBRyxXQUFXLENBQUMsS0FBSyxDQUFDO1FBQzNDLE9BQU8sQ0FBQyxLQUFLLElBQUksT0FBTyxHQUFHLEtBQUssRUFBRSxDQUFDO1lBQ2pDLElBQUksSUFBSSxDQUFDLE1BQU0sRUFBRSxLQUFLLFNBQVMsRUFBRSxDQUFDO2dCQUNoQyx3REFBd0Q7Z0JBQ3hELEtBQUssR0FBRyxJQUFJLENBQUM7Z0JBQ2IsTUFBTSxHQUFHLEVBQUUsUUFBUSxFQUFFLElBQUksRUFBRSxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxDQUFDO1lBQ3ZFLENBQUM7aUJBQU0sSUFBSSxJQUFJLENBQUMsTUFBTSxFQUFFLEdBQUcsU0FBUyxJQUFJLENBQUMsSUFBSSxDQUFDLFVBQVUsRUFBRSxLQUFLLEVBQUUsSUFBSSxJQUFJLENBQUMsVUFBVSxFQUFFLEdBQUcsU0FBUyxDQUFDLEVBQUUsQ0FBQztnQkFDcEcscUVBQXFFO2dCQUNyRSxLQUFLLEdBQUcsSUFBSSxDQUFDO2dCQUNiLE1BQU0sR0FBRyxFQUFFLFFBQVEsRUFBRSxJQUFJLEVBQUUsS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsQ0FBQztZQUN4RSxDQUFDO1lBQ0QsK0NBQStDO2lCQUMxQyxDQUFDO2dCQUNKLGtCQUFrQixHQUFHLElBQUksQ0FBQyxZQUFZLEVBQUUsQ0FBQztnQkFDekMsSUFBSSxJQUFJLENBQUMsZUFBZSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsQ0FBQyxFQUFFLENBQUM7b0JBQ3JELElBQUksR0FBRyxJQUFJLENBQUMsaUJBQWlCLENBQUMsTUFBTSxFQUFFLGtCQUFrQixDQUFFLENBQUM7Z0JBQzdELENBQUM7cUJBQU0sQ0FBQztvQkFDTixNQUFNLFFBQVEsR0FBNEIsQ0FBQyxNQUFNLElBQUksQ0FBQyxNQUFNLENBQUMsZUFBZSxDQUFDLE1BQU0sRUFBRSxrQkFBa0IsQ0FBQyxDQUFFLENBQUM7b0JBQzNHLElBQUksR0FBRyxRQUFhLENBQUM7Z0JBQ3ZCLENBQUM7WUFDSCxDQUFDO1lBQ0QsT0FBTyxFQUFFLENBQUM7UUFDWixDQUFDO1FBQ0QsMENBQTBDO1FBQzFDLElBQUksTUFBTSxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3pCLE1BQU0sSUFBSSxLQUFLLENBQUMsa0RBQWtELENBQUMsQ0FBQztRQUN0RSxDQUFDO1FBQ0QsT0FBTyxNQUFNLENBQUM7SUFDaEIsQ0FBQztJQUVEOztPQUVHO0lBQ0gsWUFBWSxDQUE2QixRQUFXO1FBQ2xELGdFQUFnRTtRQUNoRSx5RUFBeUU7UUFDekUsSUFBSSxRQUFRLENBQUMsTUFBTSxFQUFFLEtBQUssRUFBRSxFQUFFLENBQUM7WUFDN0IsT0FBTyxFQUFFLENBQUMsSUFBSSxFQUFFLENBQUM7UUFDbkIsQ0FBQztRQUNELE1BQU0sS0FBSyxHQUFHLFFBQVEsQ0FBQyxZQUFZLEVBQUUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxFQUFFLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDakUsT0FBTyxhQUFhLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDOUIsQ0FBQztDQUNGO0FBRUQsc0RBQXNEO0FBQ3RELHFEQUFxRDtBQUNyRCxzREFBc0Q7QUFDdEQsSUFBSyxRQUdKO0FBSEQsV0FBSyxRQUFRO0lBQ1gsdUNBQUksQ0FBQTtJQUNKLHVDQUFJLENBQUE7QUFDTixDQUFDLEVBSEksUUFBUSxLQUFSLFFBQVEsUUFHWjtBQWNELElBQUssYUFJSjtBQUpELFdBQUssYUFBYTtJQUNoQixxREFBTSxDQUFBO0lBQ04sMkRBQVMsQ0FBQTtJQUNULG1EQUFLLENBQUE7QUFDUCxDQUFDLEVBSkksYUFBYSxLQUFiLGFBQWEsUUFJakI7QUFPRCxzREFBc0Q7QUFDdEQsc0RBQXNEO0FBQ3RELHNEQUFzRDtBQUN0RCxNQUFNLElBQUksR0FBRyxDQUFDLElBQVUsRUFBRSxLQUFXLEVBQVEsRUFBRSxDQUFDLENBQUM7SUFDL0MsR0FBRyxFQUFFLFFBQVEsQ0FBQyxJQUFJO0lBQ2xCLFFBQVEsRUFBRSxJQUFJO0lBQ2QsU0FBUyxFQUFFLEtBQUs7Q0FDakIsQ0FBQyxDQUFDO0FBRUgsTUFBTSxJQUFJLEdBQUcsQ0FBQyxLQUFTLEVBQVEsRUFBRSxDQUFDLENBQUM7SUFDakMsR0FBRyxFQUFFLFFBQVEsQ0FBQyxJQUFJO0lBQ2xCLEtBQUs7Q0FDTixDQUFDLENBQUM7QUFFSCxzREFBc0Q7QUFDdEQscURBQXFEO0FBQ3JELHNEQUFzRDtBQUV0RDs7OztHQUlHO0FBQ0gsTUFBTSxPQUFPLGdCQUFnQjtJQUszQixZQUEyQixTQUFpQixFQUFTLEtBQWE7UUFBdkMsY0FBUyxHQUFULFNBQVMsQ0FBUTtRQUFTLFVBQUssR0FBTCxLQUFLLENBQVE7UUFDaEUsSUFBSSxRQUFRLEdBQUcsRUFBRSxDQUFDLElBQUksRUFBRSxDQUFDO1FBQ3pCLG9DQUFvQztRQUNwQyxNQUFNLFVBQVUsR0FBRyxFQUFFLENBQUM7UUFDdEIsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUNwQyxVQUFVLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxDQUFDO1lBQzFCLFFBQVEsR0FBRyxhQUFhLENBQUMsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDLENBQUMsQ0FBQztRQUNqRCxDQUFDO1FBQ0QsSUFBSSxDQUFDLElBQUksR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDM0IsSUFBSSxDQUFDLFVBQVUsR0FBRyxVQUFVLENBQUM7UUFDN0IsSUFBSSxDQUFDLFFBQVEsR0FBRyxFQUFFLENBQUM7SUFDckIsQ0FBQztJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUNqQixlQUF1QixFQUN2QixLQUFhLEVBQ2IsTUFBZ0MsRUFDaEMsUUFBc0I7UUFFdEIsTUFBTSxJQUFJLEdBQUcsSUFBSSxnQkFBZ0IsQ0FBQyxlQUFlLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDMUQsTUFBTSxJQUFJLENBQUMsa0JBQWtCLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxDQUFDO1FBQ2hELE9BQU8sSUFBSSxDQUFDO0lBQ2QsQ0FBQztJQUVEOzs7T0FHRztJQUNILFVBQVUsQ0FBQyxLQUFTO1FBQ2xCLE1BQU0sVUFBVSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDO1FBQ3RELElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLElBQUksQ0FBQyxLQUFLLEVBQUUsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ3ZFLElBQUksQ0FBQyxTQUFTLEVBQUUsQ0FBQztJQUNuQixDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSCxVQUFVLENBQUMsS0FBUyxFQUFFLEtBQWEsRUFBRSxLQUFLLEdBQUcsSUFBSSxDQUFDLEtBQUs7UUFDckQsTUFBTSxVQUFVLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDcEQsSUFBSSxDQUFDLElBQUksR0FBRyxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxVQUFVLEVBQUUsS0FBSyxFQUFFLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUNwRSxDQUFDO0lBRUQ7Ozs7T0FJRztJQUNILGNBQWMsQ0FBQyxLQUFhO1FBQzFCLE1BQU0sVUFBVSxHQUFHLElBQUksQ0FBQyxhQUFhLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDN0Msa0NBQWtDO1FBQ2xDLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxFQUFFLEdBQUcsSUFBSSxDQUFDLGVBQWUsQ0FBQyxVQUFVLEVBQUUsSUFBSSxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsQ0FBQztRQUN6RSxJQUFJLE1BQU0sS0FBSyxhQUFhLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDbkMsT0FBTyxTQUFTLENBQUM7UUFDbkIsQ0FBQztRQUNELE9BQU8sSUFBSSxDQUFDO0lBQ2QsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxpQkFBaUIsQ0FBQyxLQUFhLEVBQUUsV0FBaUI7UUFDaEQsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLFdBQVcsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUM1Qyx1RUFBdUU7WUFDdkUsTUFBTSxRQUFRLEdBQUcsS0FBSyxHQUFHLEVBQUUsQ0FBQztZQUM1QixJQUFJLENBQUMsVUFBVSxDQUFDLFdBQVcsQ0FBQyxDQUFDLENBQUMsRUFBRSxRQUFRLEVBQUUsSUFBSSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztZQUMxRCxLQUFLLEtBQUssRUFBRSxDQUFDO1FBQ2YsQ0FBQztJQUNILENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsdUVBQXVFO0lBQ3ZFLE1BQU0sQ0FBQywwQkFBMEIsQ0FBQyxTQUFpQjtRQUNqRCxNQUFNLGtCQUFrQixHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUNoRSxNQUFNLGVBQWUsR0FBRyxFQUFFLENBQUM7UUFDM0IsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLGtCQUFrQixFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDNUMsSUFBSSxTQUFTLEtBQUssQ0FBQyxFQUFFLENBQUM7Z0JBQ3BCLGVBQWUsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDMUIsQ0FBQztpQkFBTSxJQUFJLFNBQVMsR0FBRyxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7Z0JBQy9CLGVBQWUsQ0FBQyxJQUFJLENBQUMsU0FBUyxHQUFHLENBQUMsQ0FBQyxDQUFDO1lBQ3RDLENBQUM7aUJBQU0sQ0FBQztnQkFDTixlQUFlLENBQUMsSUFBSSxDQUFDLFNBQVMsR0FBRyxDQUFDLENBQUMsQ0FBQztZQUN0QyxDQUFDO1lBQ0QsU0FBUyxLQUFLLENBQUMsQ0FBQztRQUNsQixDQUFDO1FBQ0QsT0FBTyxlQUFlLENBQUM7SUFDekIsQ0FBQztJQUVEOzs7O09BSUc7SUFDSCxLQUFLLENBQUMsa0JBQWtCLENBQUMsTUFBZ0MsRUFBRSxRQUFzQjtRQUMvRSx3REFBd0Q7UUFDeEQsTUFBTSxlQUFlLEdBQUcsZ0JBQWdCLENBQUMsMEJBQTBCLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDO1FBQzVGLGtFQUFrRTtRQUNsRSxpSEFBaUg7UUFDakgseUVBQXlFO1FBQ3pFLDRIQUE0SDtRQUM1SCw4R0FBOEc7UUFDOUcsbUhBQW1IO1FBRW5ILE1BQU0sY0FBYyxHQUFHLEVBQUUsQ0FBQztRQUMxQiw4REFBOEQ7UUFDOUQsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLGVBQWUsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUNoRCw0RkFBNEY7WUFDNUYsaUtBQWlLO1lBQ2pLLGdJQUFnSTtZQUNoSSxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUMxRCwwREFBMEQ7WUFDMUQsTUFBTSxJQUFJLEdBQUcsTUFBTSxNQUFNLENBQUMsY0FBYyxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsQ0FBQztZQUUxRCx5R0FBeUc7WUFDekcsTUFBTSxZQUFZLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxNQUFNLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztZQUNwRix5RUFBeUU7WUFDekUsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3pDLGNBQWMsQ0FBQyxJQUFJLENBQUMsYUFBYSxDQUFDLENBQUM7WUFDbkMscURBQXFEO1lBQ3JELDJHQUEyRztZQUMzRyxJQUFJLENBQUMsSUFBSSxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsYUFBYSxFQUFFLFlBQVksRUFBRSxJQUFJLENBQUMsS0FBSyxHQUFHLENBQUMsRUFBRSxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDdkYsQ0FBQztRQUNELElBQUksQ0FBQyxRQUFRLEdBQUcsY0FBYyxDQUFDO0lBQ2pDLENBQUM7SUFFRDs7T0FFRztJQUNJLE9BQU87UUFDWixPQUFPLElBQUksQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDOUMsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxRQUFRLENBQUMsSUFBVSxFQUFFLEtBQWE7UUFDdkMsUUFBUSxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUM7WUFDakIsS0FBSyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztnQkFDbkIsT0FBTyxhQUFhLENBQUMsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsS0FBSyxHQUFHLENBQUMsQ0FBQyxFQUFFLElBQUksQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxLQUFLLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQzVHLENBQUM7WUFDRCxLQUFLLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO2dCQUNuQixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUM7WUFDcEIsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSSxPQUFPLENBQUMsS0FBYSxFQUFFLEtBQWE7UUFDekMsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLGFBQWEsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDOUMsTUFBTSxhQUFhLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDM0MsYUFBYSxDQUFDLE9BQU8sRUFBRSxDQUFDO1FBQ3hCLElBQUksQ0FBQztZQUNILE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ2pELENBQUM7UUFBQyxPQUFPLENBQUMsRUFBRSxDQUFDO1lBQ1gsT0FBTyxTQUFTLENBQUM7UUFDbkIsQ0FBQztJQUNILENBQUM7SUFFRDs7T0FFRztJQUNLLFFBQVEsQ0FBQyxRQUFrQixFQUFFLElBQVU7UUFDN0MsSUFBSSxRQUFRLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1lBQzFCLE9BQU8sSUFBSSxDQUFDO1FBQ2QsQ0FBQztRQUNELFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2pCLEtBQUssUUFBUSxDQUFDLElBQUk7Z0JBQ2hCLE9BQU8sUUFBUSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxRQUFRLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUM7WUFFakgsS0FBSyxRQUFRLENBQUMsSUFBSTtnQkFDaEIsTUFBTSxJQUFJLEtBQUssQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDO1FBQ3RDLENBQUM7SUFDSCxDQUFDO0lBRUQ7Ozs7O09BS0c7SUFDSyxhQUFhLENBQUMsS0FBYSxFQUFFLEtBQUssR0FBRyxJQUFJLENBQUMsS0FBSztRQUNyRCxPQUFPLElBQUksQ0FBQyxhQUFhLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDO0lBQ3BELENBQUM7SUFFRDs7OztPQUlHO0lBQ0ssYUFBYSxDQUFDLEtBQWEsRUFBRSxLQUFLLEdBQUcsSUFBSSxDQUFDLEtBQUs7UUFDckQsT0FBTyxLQUFLO2FBQ1QsUUFBUSxDQUFDLENBQUMsQ0FBQzthQUNYLFFBQVEsQ0FBQyxLQUFLLEVBQUUsR0FBRyxDQUFDO2FBQ3BCLEtBQUssQ0FBQyxFQUFFLENBQUM7YUFDVCxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUMzQixDQUFDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNLLFdBQVcsQ0FBQyxLQUFTLEVBQUUsVUFBb0IsRUFBRSxLQUFhLEVBQUUsSUFBVTtRQUM1RSxJQUFJLFVBQVUsQ0FBQyxNQUFNLEdBQUcsSUFBSSxDQUFDLEtBQUssSUFBSSxLQUFLLEdBQUcsSUFBSSxDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ3pELE1BQU0sSUFBSSxLQUFLLENBQUMsb0JBQW9CLENBQUMsQ0FBQztRQUN4QyxDQUFDO1FBQ0QsSUFBSSxLQUFLLEtBQUssQ0FBQyxJQUFJLFVBQVUsQ0FBQyxNQUFNLEtBQUssQ0FBQyxFQUFFLENBQUM7WUFDM0MsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDckIsQ0FBQztRQUNELFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2pCLEtBQUssUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7Z0JBQ25CLE9BQU8sVUFBVSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUM7b0JBQzNCLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEtBQUssR0FBRyxDQUFDLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUM7b0JBQ3JGLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxVQUFVLEVBQUUsS0FBSyxHQUFHLENBQUMsRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQztZQUMxRixDQUFDO1lBQ0QsS0FBSyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztnQkFDbkIsTUFBTSxRQUFRLEdBQUcsSUFBSSxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUM7Z0JBQ2xELE9BQU8sVUFBVSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUM7b0JBQzNCLENBQUMsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxLQUFLLEVBQUUsVUFBVSxFQUFFLEtBQUssR0FBRyxDQUFDLEVBQUUsUUFBUSxDQUFDLEVBQUUsUUFBUSxDQUFDO29CQUMxRSxDQUFDLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsV0FBVyxDQUFDLEtBQUssRUFBRSxVQUFVLEVBQUUsS0FBSyxHQUFHLENBQUMsRUFBRSxRQUFRLENBQUMsQ0FBQyxDQUFDO1lBQy9FLENBQUM7UUFDSCxDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7OztPQUtHO0lBQ0ssZUFBZSxDQUFDLFVBQW9CLEVBQUUsSUFBVSxFQUFFLEdBQVM7UUFDakUsK0VBQStFO1FBQy9FLG9FQUFvRTtRQUNwRSx3REFBd0Q7UUFDeEQsSUFBSSxVQUFVLENBQUMsTUFBTSxLQUFLLENBQUMsRUFBRSxDQUFDO1lBQzVCLFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO2dCQUNqQixLQUFLLFFBQVEsQ0FBQyxJQUFJO29CQUNoQixPQUFPLEVBQUUsSUFBSSxFQUFFLEdBQUcsRUFBRSxNQUFNLEVBQUUsYUFBYSxDQUFDLE1BQU0sRUFBRSxDQUFDO2dCQUNyRCxLQUFLLFFBQVEsQ0FBQyxJQUFJO29CQUNoQixPQUFPLEVBQUUsSUFBSSxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsYUFBYSxDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ3JELENBQUM7UUFDSCxDQUFDO1FBQ0Qsc0JBQXNCO1FBQ3RCLFFBQVEsSUFBSSxDQUFDLEdBQUcsRUFBRSxDQUFDO1lBQ2pCLEtBQUssUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7Z0JBQ25CLDZGQUE2RjtnQkFDN0YsT0FBTyxVQUFVLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQztvQkFDM0IsQ0FBQyxDQUFDLElBQUksQ0FBQyxlQUFlLENBQ2xCLFVBQVUsRUFDVixJQUFJLENBQUMsUUFBUSxFQUNiLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FDL0Q7b0JBQ0gsQ0FBQyxDQUFDLElBQUksQ0FBQyxlQUFlLENBQ2xCLFVBQVUsRUFDVixJQUFJLENBQUMsU0FBUyxFQUNkLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLFVBQVUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FDOUQsQ0FBQztZQUNSLENBQUM7WUFDRCxvRkFBb0Y7WUFDcEYsbURBQW1EO1lBQ25ELEtBQUssUUFBUSxDQUFDLElBQUk7Z0JBQ2hCLE9BQU8sRUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBRSxhQUFhLENBQUMsS0FBSyxFQUFFLENBQUM7UUFDckQsQ0FBQztJQUNILENBQUM7Q0FDRiJ9