@aztec/simulator 0.74.0 → 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2

package/dest/avm/avm_memory_types.js

@@ -1,13 +1,11 @@
-import { MEM_TAG_FF, MEM_TAG_U1, MEM_TAG_U8, MEM_TAG_U16, MEM_TAG_U32, MEM_TAG_U64, MEM_TAG_U128, } from '@aztec/circuits.js';
+import { MEM_TAG_FF, MEM_TAG_U1, MEM_TAG_U8, MEM_TAG_U16, MEM_TAG_U32, MEM_TAG_U64, MEM_TAG_U128 } from '@aztec/circuits.js';
 import { AztecAddress } from '@aztec/foundation/aztec-address';
 import { toBufferBE } from '@aztec/foundation/bigint-buffer';
 import { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
 import { strict as assert } from 'assert';
-import { InstructionExecutionError, InvalidTagValueError, MemorySliceOutOfRangeError, TagCheckError, } from './errors.js';
-import { Addressing, AddressingMode } from './opcodes/addressing_mode.js';
-/** MemoryValue gathers the common operations for all memory types. */
-export class MemoryValue {
+import { InvalidTagValueError, MemorySliceOutOfRangeError, TagCheckError } from './errors.js';
+/** MemoryValue gathers the common operations for all memory types. */ export class MemoryValue {
     // To field
     toFr() {
         return new Fr(this.toBigInt());
@@ -23,76 +21,73 @@ export class MemoryValue {
         return `${this.constructor.name}(0x${this.toBigInt().toString(16)})`;
     }
 }
-/** IntegralValue gathers the common operations for all integral memory types. */
-export class IntegralValue extends MemoryValue {
+/** IntegralValue gathers the common operations for all integral memory types. */ export class IntegralValue extends MemoryValue {
 }
 /**
  * This function creates a class for unsigned integers of a given number of bits.
  * In TypeScript terms, it's a class mixin.
- **/
-function UnsignedIntegerClassFactory(bits) {
-    var _a;
-    return _a = class NewUintClass extends IntegralValue {
-            constructor(n) {
-                super();
-                this.n = BigInt(n);
-                assert(n < _a.mod, `Value ${n} is too large for ${this.constructor.name}.`);
-            }
-            build(n) {
-                return new this.constructor.prototype.constructor(n);
-            }
-            add(rhs) {
-                return this.build((this.n + rhs.n) & _a.bitmask);
-            }
-            sub(rhs) {
-                const res = this.n - rhs.n;
-                return this.build(res >= 0 ? res : res + _a.mod);
-            }
-            mul(rhs) {
-                return this.build((this.n * rhs.n) & _a.bitmask);
-            }
-            div(rhs) {
-                return this.build(this.n / rhs.n);
-            }
-            // No sign extension.
-            shr(rhs) {
-                // Note that this.n is > 0 by class invariant.
-                return this.build(this.n >> rhs.n);
-            }
-            shl(rhs) {
-                return this.build((this.n << rhs.n) & _a.bitmask);
-            }
-            and(rhs) {
-                return this.build(this.n & rhs.n);
-            }
-            or(rhs) {
-                return this.build(this.n | rhs.n);
-            }
-            xor(rhs) {
-                return this.build(this.n ^ rhs.n);
-            }
-            not() {
-                return this.build(~this.n & _a.bitmask);
-            }
-            equals(rhs) {
-                return this.n === rhs.n;
-            }
-            lt(rhs) {
-                return this.n < rhs.n;
-            }
-            toBigInt() {
-                return this.n;
-            }
-            toBuffer() {
-                if (bits < 8) {
-                    return toBufferBE(this.n, 1);
-                }
-                return toBufferBE(this.n, bits / 8);
+ **/ function UnsignedIntegerClassFactory(bits) {
+    return class NewUintClass extends IntegralValue {
+        static mod = 1n << BigInt(bits);
+        static bitmask = this.mod - 1n;
+        n;
+        constructor(n){
+            super();
+            this.n = BigInt(n);
+            assert(n < NewUintClass.mod, `Value ${n} is too large for ${this.constructor.name}.`);
+        }
+        build(n) {
+            return new this.constructor.prototype.constructor(n);
+        }
+        add(rhs) {
+            return this.build(this.n + rhs.n & NewUintClass.bitmask);
+        }
+        sub(rhs) {
+            const res = this.n - rhs.n;
+            return this.build(res >= 0 ? res : res + NewUintClass.mod);
+        }
+        mul(rhs) {
+            return this.build(this.n * rhs.n & NewUintClass.bitmask);
+        }
+        div(rhs) {
+            return this.build(this.n / rhs.n);
+        }
+        // No sign extension.
+        shr(rhs) {
+            // Note that this.n is > 0 by class invariant.
+            return this.build(this.n >> rhs.n);
+        }
+        shl(rhs) {
+            return this.build(this.n << rhs.n & NewUintClass.bitmask);
+        }
+        and(rhs) {
+            return this.build(this.n & rhs.n);
+        }
+        or(rhs) {
+            return this.build(this.n | rhs.n);
+        }
+        xor(rhs) {
+            return this.build(this.n ^ rhs.n);
+        }
+        not() {
+            return this.build(~this.n & NewUintClass.bitmask);
+        }
+        equals(rhs) {
+            return this.n === rhs.n;
+        }
+        lt(rhs) {
+            return this.n < rhs.n;
+        }
+        toBigInt() {
+            return this.n;
+        }
+        toBuffer() {
+            if (bits < 8) {
+                return toBufferBE(this.n, 1);
             }
-        },
-        _a.mod = 1n << BigInt(bits),
-        _a.bitmask = _a.mod - 1n,
-        _a;
+            return toBufferBE(this.n, bits / 8);
+        }
+    };
 }
 // Now we can create the classes for each unsigned integer type.
 // We extend instead of just assigning so that the class has the right name.
@@ -110,7 +105,9 @@ export class Uint64 extends UnsignedIntegerClassFactory(64) {
 export class Uint128 extends UnsignedIntegerClassFactory(128) {
 }
 export class Field extends MemoryValue {
-    constructor(v) {
+    static MODULUS = Fr.MODULUS;
+    rep;
+    constructor(v){
         super();
         this.rep = new Fr(v);
     }
@@ -147,39 +144,39 @@ export class Field extends MemoryValue {
         return this.rep.toBuffer();
     }
 }
-Field.MODULUS = Fr.MODULUS;
-export var TypeTag;
-(function (TypeTag) {
-    TypeTag[TypeTag["FIELD"] = 0] = "FIELD";
-    TypeTag[TypeTag["UINT1"] = 1] = "UINT1";
-    TypeTag[TypeTag["UINT8"] = 2] = "UINT8";
-    TypeTag[TypeTag["UINT16"] = 3] = "UINT16";
-    TypeTag[TypeTag["UINT32"] = 4] = "UINT32";
-    TypeTag[TypeTag["UINT64"] = 5] = "UINT64";
-    TypeTag[TypeTag["UINT128"] = 6] = "UINT128";
-    TypeTag[TypeTag["INVALID"] = 7] = "INVALID";
-})(TypeTag || (TypeTag = {}));
+export var TypeTag = /*#__PURE__*/ function(TypeTag) {
+    TypeTag[TypeTag["FIELD"] = MEM_TAG_FF] = "FIELD";
+    TypeTag[TypeTag["UINT1"] = MEM_TAG_U1] = "UINT1";
+    TypeTag[TypeTag["UINT8"] = MEM_TAG_U8] = "UINT8";
+    TypeTag[TypeTag["UINT16"] = MEM_TAG_U16] = "UINT16";
+    TypeTag[TypeTag["UINT32"] = MEM_TAG_U32] = "UINT32";
+    TypeTag[TypeTag["UINT64"] = MEM_TAG_U64] = "UINT64";
+    TypeTag[TypeTag["UINT128"] = MEM_TAG_U128] = "UINT128";
+    TypeTag[TypeTag["INVALID"] = void 0] = "INVALID";
+    return TypeTag;
+}({});
 export class TaggedMemory {
-    constructor() {
+    static log = createLogger('simulator:avm:memory');
+    // Whether to track and validate memory accesses for each instruction.
+    static TRACK_MEMORY_ACCESSES = process.env.NODE_ENV === 'test';
+    // Memory is modelled by a map with key type being number.
+    // We however restrict the keys to be non-negative integers smaller than
+    // MAX_MEMORY_SIZE.
+    static MAX_MEMORY_SIZE = Number(1n << 32n);
+    _mem;
+    constructor(){
         this._mem = new Map();
     }
     getMaxMemorySize() {
         return TaggedMemory.MAX_MEMORY_SIZE;
     }
-    /** Returns a MeteredTaggedMemory instance to track the number of reads and writes if TRACK_MEMORY_ACCESSES is set. */
-    track(type = 'instruction') {
-        return TaggedMemory.TRACK_MEMORY_ACCESSES ? new MeteredTaggedMemory(this, type) : this;
-    }
     get(offset) {
-        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
-        const value = this.getAs(offset);
-        return value;
+        return this.getAs(offset);
     }
     getAs(offset) {
-        assert(Number.isInteger(offset));
-        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
         const word = this._mem.get(offset);
-        TaggedMemory.log.trace(`get(${offset}) = ${word}`);
+        //TaggedMemory.log.trace(`get(${offset}) = ${word}`);
         if (word === undefined) {
             TaggedMemory.log.debug(`WARNING: Memory at offset ${offset} is undefined!`);
             return new Field(0);
@@ -192,7 +189,7 @@ export class TaggedMemory {
             throw new MemorySliceOutOfRangeError(offset, size);
         }
         const slice = new Array(size);
-        for (let i = 0; i < size; i++) {
+        for(let i = 0; i < size; i++){
             slice[i] = this._mem.get(offset + i) ?? new Field(0);
         }
         TaggedMemory.log.trace(`getSlice(${offset}, ${size}) = ${slice}`);
@@ -205,30 +202,27 @@ export class TaggedMemory {
         return this.getSlice(offset, size).map(TaggedMemory.getTag);
     }
     set(offset, v) {
-        assert(Number.isInteger(offset));
-        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
         this._mem.set(offset, v);
-        TaggedMemory.log.trace(`set(${offset}, ${v})`);
+    //TaggedMemory.log.trace(`set(${offset}, ${v})`);
     }
     setSlice(offset, slice) {
         assert(Number.isInteger(offset));
         if (offset + slice.length > TaggedMemory.MAX_MEMORY_SIZE) {
             throw new MemorySliceOutOfRangeError(offset, slice.length);
         }
-        slice.forEach((element, idx) => {
+        slice.forEach((element, idx)=>{
             this._mem.set(offset + idx, element);
         });
         TaggedMemory.log.trace(`setSlice(${offset}, ${slice})`);
     }
     getTag(offset) {
-        assert(Number.isInteger(offset));
-        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
         return TaggedMemory.getTag(this._mem.get(offset));
     }
     /**
-     * Check that the memory at the given offset matches the specified tag.
-     */
-    checkTag(tag, offset) {
+   * Check that the memory at the given offset matches the specified tag.
+   */ checkTag(tag, offset) {
         const gotTag = this.getTag(offset);
         if (gotTag !== tag) {
             throw TagCheckError.forOffset(offset, TypeTag[gotTag], TypeTag[tag]);
@@ -238,192 +232,109 @@ export class TaggedMemory {
         this.checkTag(TypeTag.UINT32, offset);
     }
     static checkIsIntegralTag(tag) {
-        if (![TypeTag.UINT1, TypeTag.UINT8, TypeTag.UINT16, TypeTag.UINT32, TypeTag.UINT64, TypeTag.UINT128].includes(tag)) {
+        if (!INTEGRAL_TAGS.has(tag)) {
             throw TagCheckError.forTag(TypeTag[tag], 'integral');
         }
     }
     static checkIsValidTag(tagNumber) {
-        if (![
-            TypeTag.FIELD,
-            TypeTag.UINT1,
-            TypeTag.UINT8,
-            TypeTag.UINT16,
-            TypeTag.UINT32,
-            TypeTag.UINT64,
-            TypeTag.UINT128,
-        ].includes(tagNumber)) {
+        if (!VALID_TAGS.has(tagNumber)) {
             throw new InvalidTagValueError(tagNumber);
         }
     }
     /**
-     * Check tags for memory at all of the specified offsets.
-     */
-    checkTags(tag, ...offsets) {
-        for (const offset of offsets) {
+   * Check tags for memory at all of the specified offsets.
+   */ checkTags(tag, ...offsets) {
+        for (const offset of offsets){
             this.checkTag(tag, offset);
         }
     }
     /**
-     * Check that all tags at the given offsets are the same.
-     */
-    checkTagsAreSame(...offsets) {
-        const tag = this.getTag(offsets[0]);
-        for (let i = 1; i < offsets.length; i++) {
-            this.checkTag(tag, offsets[i]);
-        }
+   * Check that all tags at the given offsets are the same.
+   */ checkTagsAreSame(offset0, offset1) {
+        const tag0 = this.getTag(offset0);
+        this.checkTag(tag0, offset1);
     }
     /**
-     * Check tags for all memory in the specified range.
-     */
-    checkTagsRange(tag, startOffset, size) {
-        for (let offset = startOffset; offset < startOffset + size; offset++) {
+   * Check tags for all memory in the specified range.
+   */ checkTagsRange(tag, startOffset, size) {
+        for(let offset = startOffset; offset < startOffset + size; offset++){
             this.checkTag(tag, offset);
         }
     }
-    // TODO: this might be slow, but I don't want to have the types know of their tags.
-    // It might be possible to have a map<Prototype, TypeTag>.
     static getTag(v) {
-        let tag = TypeTag.INVALID;
-        // Not sure why, but using instanceof here doesn't work and leads odd behavior,
-        // but using constructor.name does the job...
         if (v === undefined) {
-            tag = TypeTag.FIELD; // uninitialized memory is Field(0)
-        }
-        else if (v.constructor.name == 'Field') {
-            tag = TypeTag.FIELD;
+            return TypeTag.FIELD; // uninitialized memory is Field(0)
+        } else {
+            return TAG_FOR_MEM_VAL.get(v.constructor.name) ?? TypeTag.INVALID;
         }
-        else if (v.constructor.name == 'Uint1') {
-            tag = TypeTag.UINT1;
-        }
-        else if (v.constructor.name == 'Uint8') {
-            tag = TypeTag.UINT8;
-        }
-        else if (v.constructor.name == 'Uint16') {
-            tag = TypeTag.UINT16;
-        }
-        else if (v.constructor.name == 'Uint32') {
-            tag = TypeTag.UINT32;
-        }
-        else if (v.constructor.name == 'Uint64') {
-            tag = TypeTag.UINT64;
-        }
-        else if (v.constructor.name == 'Uint128') {
-            tag = TypeTag.UINT128;
-        }
-        return tag;
     }
     // Truncates the value to fit the type.
     static buildFromTagTruncating(v, tag) {
         v = BigInt(v);
-        switch (tag) {
+        switch(tag){
             case TypeTag.FIELD:
                 return new Field(v);
             case TypeTag.UINT1:
                 return new Uint1(v & 1n);
             case TypeTag.UINT8:
-                return new Uint8(v & ((1n << 8n) - 1n));
+                return new Uint8(v & (1n << 8n) - 1n);
             case TypeTag.UINT16:
-                return new Uint16(v & ((1n << 16n) - 1n));
+                return new Uint16(v & (1n << 16n) - 1n);
             case TypeTag.UINT32:
-                return new Uint32(v & ((1n << 32n) - 1n));
+                return new Uint32(v & (1n << 32n) - 1n);
             case TypeTag.UINT64:
-                return new Uint64(v & ((1n << 64n) - 1n));
+                return new Uint64(v & (1n << 64n) - 1n);
             case TypeTag.UINT128:
-                return new Uint128(v & ((1n << 128n) - 1n));
+                return new Uint128(v & (1n << 128n) - 1n);
             default:
                 throw new InvalidTagValueError(tag);
         }
     }
-    /** No-op. Implemented here for compatibility with the MeteredTaggedMemory. */
-    assert(_operations) { }
-}
-TaggedMemory.log = createLogger('simulator:avm:memory');
-// Whether to track and validate memory accesses for each instruction.
-TaggedMemory.TRACK_MEMORY_ACCESSES = process.env.NODE_ENV === 'test';
-// Memory is modelled by a map with key type being number.
-// We however restrict the keys to be non-negative integers smaller than
-// MAX_MEMORY_SIZE.
-TaggedMemory.MAX_MEMORY_SIZE = Number(1n << 32n);
-/** Tagged memory wrapper with metering for each memory read and write operation. */
-export class MeteredTaggedMemory {
-    constructor(wrapped, type = 'instruction') {
-        this.wrapped = wrapped;
-        this.type = type;
-        this.reads = 0;
-        this.writes = 0;
-    }
-    /** Returns the number of reads and writes tracked so far and resets them to zero. */
-    reset() {
-        const stats = { reads: this.reads, writes: this.writes };
-        this.reads = 0;
-        this.writes = 0;
-        return stats;
-    }
-    /**
-     * Asserts that the exact number of memory operations have been performed.
-     * Indirect represents the flags for indirect accesses: each bit set to one counts as an extra read.
-     */
-    assert(operations) {
-        const { reads: expectedReads, writes: expectedWrites, addressing, } = { reads: 0, writes: 0, addressing: new Addressing([]), ...operations };
-        const totalExpectedReads = expectedReads + addressing.count(AddressingMode.INDIRECT) + addressing.count(AddressingMode.RELATIVE);
-        const { reads: actualReads, writes: actualWrites } = this.reset();
-        if (actualReads !== totalExpectedReads) {
-            throw new InstructionExecutionError(`Incorrect number of memory reads for ${this.type}: expected ${totalExpectedReads} but executed ${actualReads}`);
-        }
-        if (actualWrites !== expectedWrites) {
-            throw new InstructionExecutionError(`Incorrect number of memory writes for ${this.type}: expected ${expectedWrites} but executed ${actualWrites}`);
-        }
-    }
-    getMaxMemorySize() {
-        return this.wrapped.getMaxMemorySize();
-    }
-    track(type = 'instruction') {
-        return new MeteredTaggedMemory(this.wrapped, type);
-    }
-    get(offset) {
-        this.reads++;
-        return this.wrapped.get(offset);
-    }
-    getSliceAs(offset, size) {
-        this.reads += size;
-        return this.wrapped.getSliceAs(offset, size);
-    }
-    getAs(offset) {
-        this.reads++;
-        return this.wrapped.getAs(offset);
-    }
-    getSlice(offset, size) {
-        this.reads += size;
-        return this.wrapped.getSlice(offset, size);
-    }
-    set(offset, v) {
-        this.writes++;
-        this.wrapped.set(offset, v);
-    }
-    setSlice(offset, vs) {
-        this.writes += vs.length;
-        this.wrapped.setSlice(offset, vs);
-    }
-    getSliceTags(offset, size) {
-        return this.wrapped.getSliceTags(offset, size);
-    }
-    getTag(offset) {
-        return this.wrapped.getTag(offset);
-    }
-    checkTag(tag, offset) {
-        this.wrapped.checkTag(tag, offset);
-    }
-    checkIsValidMemoryOffsetTag(offset) {
-        this.wrapped.checkIsValidMemoryOffsetTag(offset);
-    }
-    checkTags(tag, ...offsets) {
-        this.wrapped.checkTags(tag, ...offsets);
-    }
-    checkTagsAreSame(...offsets) {
-        this.wrapped.checkTagsAreSame(...offsets);
-    }
-    checkTagsRange(tag, startOffset, size) {
-        this.wrapped.checkTagsRange(tag, startOffset, size);
-    }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21lbW9yeV90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hdm0vYXZtX21lbW9yeV90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQ0wsVUFBVSxFQUNWLFVBQVUsRUFDVixVQUFVLEVBQ1YsV0FBVyxFQUNYLFdBQVcsRUFDWCxXQUFXLEVBQ1gsWUFBWSxHQUNiLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQy9ELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM3RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUMsT0FBTyxFQUFlLFlBQVksRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBR2xFLE9BQU8sRUFBRSxNQUFNLElBQUksTUFBTSxFQUFFLE1BQU0sUUFBUSxDQUFDO0FBRTFDLE9BQU8sRUFDTCx5QkFBeUIsRUFDekIsb0JBQW9CLEVBQ3BCLDBCQUEwQixFQUMxQixhQUFhLEdBQ2QsTUFBTSxhQUFhLENBQUM7QUFDckIsT0FBTyxFQUFFLFVBQVUsRUFBRSxjQUFjLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUUxRSxzRUFBc0U7QUFDdEUsTUFBTSxPQUFnQixXQUFXO0lBa0IvQixXQUFXO0lBQ0osSUFBSTtRQUNULE9BQU8sSUFBSSxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUM7SUFDakMsQ0FBQztJQUVNLGNBQWM7UUFDbkIsT0FBTyxJQUFJLFlBQVksQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQztJQUN2QyxDQUFDO0lBRUQsNkNBQTZDO0lBQ3RDLFFBQVE7UUFDYixPQUFPLElBQUksQ0FBQyxJQUFJLEVBQUUsQ0FBQyxRQUFRLEVBQUUsQ0FBQztJQUNoQyxDQUFDO0lBRU0sUUFBUTtRQUNiLE9BQU8sR0FBRyxJQUFJLENBQUMsV0FBVyxDQUFDLElBQUksTUFBTSxJQUFJLENBQUMsUUFBUSxFQUFFLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxHQUFHLENBQUM7SUFDdkUsQ0FBQztDQUNGO0FBRUQsaUZBQWlGO0FBQ2pGLE1BQU0sT0FBZ0IsYUFBYyxTQUFRLFdBQVc7Q0FPdEQ7QUFFRDs7O0lBR0k7QUFDSixTQUFTLDJCQUEyQixDQUFDLElBQVk7O0lBQy9DLFlBQU8sTUFBTSxZQUFhLFNBQVEsYUFBYTtZQUs3QyxZQUFtQixDQUFrQjtnQkFDbkMsS0FBSyxFQUFFLENBQUM7Z0JBQ1IsSUFBSSxDQUFDLENBQUMsR0FBRyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUM7Z0JBQ25CLE1BQU0sQ0FBQyxDQUFDLEdBQUcsRUFBWSxDQUFDLEdBQUcsRUFBRSxTQUFTLENBQUMscUJBQXFCLElBQUksQ0FBQyxXQUFXLENBQUMsSUFBSSxHQUFHLENBQUMsQ0FBQztZQUN4RixDQUFDO1lBRU0sS0FBSyxDQUFDLENBQVM7Z0JBQ3BCLE9BQU8sSUFBSSxJQUFJLENBQUMsV0FBVyxDQUFDLFNBQVMsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDdkQsQ0FBQztZQUVNLEdBQUcsQ0FBQyxHQUFpQjtnQkFDMUIsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsQ0FBQyxDQUFDLEdBQUcsRUFBWSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1lBQzdELENBQUM7WUFFTSxHQUFHLENBQUMsR0FBaUI7Z0JBQzFCLE1BQU0sR0FBRyxHQUFXLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQztnQkFDbkMsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLEdBQUcsSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsR0FBRyxHQUFHLEVBQVksQ0FBQyxHQUFHLENBQUMsQ0FBQztZQUM3RCxDQUFDO1lBRU0sR0FBRyxDQUFDLEdBQWlCO2dCQUMxQixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxDQUFDLENBQUMsR0FBRyxFQUFZLENBQUMsT0FBTyxDQUFDLENBQUM7WUFDN0QsQ0FBQztZQUVNLEdBQUcsQ0FBQyxHQUFpQjtnQkFDMUIsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3BDLENBQUM7WUFFRCxxQkFBcUI7WUFDZCxHQUFHLENBQUMsR0FBaUI7Z0JBQzFCLDhDQUE4QztnQkFDOUMsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3JDLENBQUM7WUFFTSxHQUFHLENBQUMsR0FBaUI7Z0JBQzFCLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQyxHQUFHLEVBQVksQ0FBQyxPQUFPLENBQUMsQ0FBQztZQUM5RCxDQUFDO1lBRU0sR0FBRyxDQUFDLEdBQWlCO2dCQUMxQixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDcEMsQ0FBQztZQUVNLEVBQUUsQ0FBQyxHQUFpQjtnQkFDekIsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3BDLENBQUM7WUFFTSxHQUFHLENBQUMsR0FBaUI7Z0JBQzFCLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQztZQUNwQyxDQUFDO1lBRU0sR0FBRztnQkFDUixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEVBQVksQ0FBQyxPQUFPLENBQUMsQ0FBQztZQUNwRCxDQUFDO1lBRU0sTUFBTSxDQUFDLEdBQWlCO2dCQUM3QixPQUFPLElBQUksQ0FBQyxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztZQUMxQixDQUFDO1lBRU0sRUFBRSxDQUFDLEdBQWlCO2dCQUN6QixPQUFPLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQztZQUN4QixDQUFDO1lBRU0sUUFBUTtnQkFDYixPQUFPLElBQUksQ0FBQyxDQUFDLENBQUM7WUFDaEIsQ0FBQztZQUVNLFFBQVE7Z0JBQ2IsSUFBSSxJQUFJLEdBQUcsQ0FBQyxFQUFFLENBQUM7b0JBQ2IsT0FBTyxVQUFVLENBQUMsSUFBSSxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQztnQkFDL0IsQ0FBQztnQkFDRCxPQUFPLFVBQVUsQ0FBQyxJQUFJLENBQUMsQ0FBQyxFQUFFLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQztZQUN0QyxDQUFDO1NBQ0Y7UUEzRWlCLE1BQUcsR0FBVyxFQUFFLElBQUksTUFBTSxDQUFDLElBQUksQ0FBRTtRQUNqQyxVQUFPLEdBQVcsRUFBSSxDQUFDLEdBQUcsR0FBRyxFQUFHO1dBMEVoRDtBQUNKLENBQUM7QUFFRCxnRUFBZ0U7QUFDaEUsNEVBQTRFO0FBQzVFLGdEQUFnRDtBQUNoRCxNQUFNLE9BQU8sS0FBTSxTQUFRLDJCQUEyQixDQUFDLENBQUMsQ0FBQztDQUFHO0FBQzVELE1BQU0sT0FBTyxLQUFNLFNBQVEsMkJBQTJCLENBQUMsQ0FBQyxDQUFDO0NBQUc7QUFDNUQsTUFBTSxPQUFPLE1BQU8sU0FBUSwyQkFBMkIsQ0FBQyxFQUFFLENBQUM7Q0FBRztBQUM5RCxNQUFNLE9BQU8sTUFBTyxTQUFRLDJCQUEyQixDQUFDLEVBQUUsQ0FBQztDQUFHO0FBQzlELE1BQU0sT0FBTyxNQUFPLFNBQVEsMkJBQTJCLENBQUMsRUFBRSxDQUFDO0NBQUc7QUFDOUQsTUFBTSxPQUFPLE9BQVEsU0FBUSwyQkFBMkIsQ0FBQyxHQUFHLENBQUM7Q0FBRztBQUVoRSxNQUFNLE9BQU8sS0FBTSxTQUFRLFdBQVc7SUFJcEMsWUFBWSxDQUFnQztRQUMxQyxLQUFLLEVBQUUsQ0FBQztRQUNSLElBQUksQ0FBQyxHQUFHLEdBQUcsSUFBSSxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdkIsQ0FBQztJQUVNLEtBQUssQ0FBQyxDQUFTO1FBQ3BCLE9BQU8sSUFBSSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdEIsQ0FBQztJQUVNLEdBQUcsQ0FBQyxHQUFVO1FBQ25CLE9BQU8sSUFBSSxLQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDMUMsQ0FBQztJQUVNLEdBQUcsQ0FBQyxHQUFVO1FBQ25CLE9BQU8sSUFBSSxLQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDMUMsQ0FBQztJQUVNLEdBQUcsQ0FBQyxHQUFVO1FBQ25CLE9BQU8sSUFBSSxLQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDMUMsQ0FBQztJQUVELHNCQUFzQjtJQUNmLEdBQUcsQ0FBQyxHQUFVO1FBQ25CLE9BQU8sSUFBSSxLQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDM0MsQ0FBQztJQUVELGtCQUFrQjtJQUNYLElBQUksQ0FBQyxHQUFVO1FBQ3BCLE9BQU8sSUFBSSxLQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7SUFDMUMsQ0FBQztJQUVNLE1BQU0sQ0FBQyxHQUFVO1FBQ3RCLE9BQU8sSUFBSSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ2xDLENBQUM7SUFFTSxFQUFFLENBQUMsR0FBVTtRQUNsQixPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUM5QixDQUFDO0lBRU0sUUFBUTtRQUNiLE9BQU8sSUFBSSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQztJQUM3QixDQUFDO0lBRU0sUUFBUTtRQUNiLE9BQU8sSUFBSSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQztJQUM3QixDQUFDOztBQWhEc0IsYUFBTyxHQUFXLEVBQUUsQ0FBQyxPQUFPLENBQUM7QUFtRHRELE1BQU0sQ0FBTixJQUFZLE9BU1g7QUFURCxXQUFZLE9BQU87SUFDakIsdUNBQWtCLENBQUE7SUFDbEIsdUNBQWtCLENBQUE7SUFDbEIsdUNBQWtCLENBQUE7SUFDbEIseUNBQW9CLENBQUE7SUFDcEIseUNBQW9CLENBQUE7SUFDcEIseUNBQW9CLENBQUE7SUFDcEIsMkNBQXNCLENBQUE7SUFDdEIsMkNBQU8sQ0FBQTtBQUNULENBQUMsRUFUVyxPQUFPLEtBQVAsT0FBTyxRQVNsQjtBQUtELE1BQU0sT0FBTyxZQUFZO0lBWXZCO1FBQ0UsSUFBSSxDQUFDLElBQUksR0FBRyxJQUFJLEdBQUcsRUFBdUIsQ0FBQztJQUM3QyxDQUFDO0lBRU0sZ0JBQWdCO1FBQ3JCLE9BQU8sWUFBWSxDQUFDLGVBQWUsQ0FBQztJQUN0QyxDQUFDO0lBRUQsc0hBQXNIO0lBQy9HLEtBQUssQ0FBQyxPQUFlLGFBQWE7UUFDdkMsT0FBTyxZQUFZLENBQUMscUJBQXFCLENBQUMsQ0FBQyxDQUFDLElBQUksbUJBQW1CLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUM7SUFDekYsQ0FBQztJQUVNLEdBQUcsQ0FBQyxNQUFjO1FBQ3ZCLE1BQU0sQ0FBQyxNQUFNLEdBQUcsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzlDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxLQUFLLENBQWMsTUFBTSxDQUFDLENBQUM7UUFDOUMsT0FBTyxLQUFLLENBQUM7SUFDZixDQUFDO0lBRU0sS0FBSyxDQUFJLE1BQWM7UUFDNUIsTUFBTSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQztRQUNqQyxNQUFNLENBQUMsTUFBTSxHQUFHLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUM5QyxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNuQyxZQUFZLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxPQUFPLE1BQU0sT0FBTyxJQUFJLEVBQUUsQ0FBQyxDQUFDO1FBQ25ELElBQUksSUFBSSxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3ZCLFlBQVksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDZCQUE2QixNQUFNLGdCQUFnQixDQUFDLENBQUM7WUFDNUUsT0FBTyxJQUFJLEtBQUssQ0FBQyxDQUFDLENBQU0sQ0FBQztRQUMzQixDQUFDO1FBQ0QsT0FBTyxJQUFTLENBQUM7SUFDbkIsQ0FBQztJQUVNLFFBQVEsQ0FBQyxNQUFjLEVBQUUsSUFBWTtRQUMxQyxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsSUFBSSxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7UUFFM0QsSUFBSSxNQUFNLEdBQUcsSUFBSSxHQUFHLFlBQVksQ0FBQyxlQUFlLEVBQUUsQ0FBQztZQUNqRCxNQUFNLElBQUksMEJBQTBCLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxDQUFDO1FBQ3JELENBQUM7UUFFRCxNQUFNLEtBQUssR0FBRyxJQUFJLEtBQUssQ0FBYyxJQUFJLENBQUMsQ0FBQztRQUUzQyxLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsSUFBSSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDOUIsS0FBSyxDQUFDLENBQUMsQ0FBQyxHQUFHLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsSUFBSSxJQUFJLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUN2RCxDQUFDO1FBRUQsWUFBWSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsWUFBWSxNQUFNLEtBQUssSUFBSSxPQUFPLEtBQUssRUFBRSxDQUFDLENBQUM7UUFDbEUsT0FBTyxLQUFLLENBQUM7SUFDZixDQUFDO0lBRU0sVUFBVSxDQUFJLE1BQWMsRUFBRSxJQUFZO1FBQy9DLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFRLENBQUM7SUFDNUMsQ0FBQztJQUVNLFlBQVksQ0FBQyxNQUFjLEVBQUUsSUFBWTtRQUM5QyxPQUFPLElBQUksQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxDQUFDLEdBQUcsQ0FBQyxZQUFZLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDOUQsQ0FBQztJQUVNLEdBQUcsQ0FBQyxNQUFjLEVBQUUsQ0FBYztRQUN2QyxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO1FBQ2pDLE1BQU0sQ0FBQyxNQUFNLEdBQUcsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzlDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztRQUN6QixZQUFZLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxPQUFPLE1BQU0sS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ2pELENBQUM7SUFFTSxRQUFRLENBQUMsTUFBYyxFQUFFLEtBQW9CO1FBQ2xELE1BQU0sQ0FBQyxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7UUFFakMsSUFBSSxNQUFNLEdBQUcsS0FBSyxDQUFDLE1BQU0sR0FBRyxZQUFZLENBQUMsZUFBZSxFQUFFLENBQUM7WUFDekQsTUFBTSxJQUFJLDBCQUEwQixDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDN0QsQ0FBQztRQUVELEtBQUssQ0FBQyxPQUFPLENBQUMsQ0FBQyxPQUFPLEVBQUUsR0FBRyxFQUFFLEVBQUU7WUFDN0IsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsTUFBTSxHQUFHLEdBQUcsRUFBRSxPQUFPLENBQUMsQ0FBQztRQUN2QyxDQUFDLENBQUMsQ0FBQztRQUNILFlBQVksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLFlBQVksTUFBTSxLQUFLLEtBQUssR0FBRyxDQUFDLENBQUM7SUFDMUQsQ0FBQztJQUVNLE1BQU0sQ0FBQyxNQUFjO1FBQzFCLE1BQU0sQ0FBQyxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7UUFDakMsTUFBTSxDQUFDLE1BQU0sR0FBRyxZQUFZLENBQUMsZUFBZSxDQUFDLENBQUM7UUFDOUMsT0FBTyxZQUFZLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7SUFDcEQsQ0FBQztJQUVEOztPQUVHO0lBQ0ksUUFBUSxDQUFDLEdBQVksRUFBRSxNQUFjO1FBQzFDLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDbkMsSUFBSSxNQUFNLEtBQUssR0FBRyxFQUFFLENBQUM7WUFDbkIsTUFBTSxhQUFhLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsTUFBTSxDQUFDLEVBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUM7UUFDdkUsQ0FBQztJQUNILENBQUM7SUFFTSwyQkFBMkIsQ0FBQyxNQUFjO1FBQy9DLElBQUksQ0FBQyxRQUFRLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsQ0FBQztJQUN4QyxDQUFDO0lBRU0sTUFBTSxDQUFDLGtCQUFrQixDQUFDLEdBQVk7UUFDM0MsSUFDRSxDQUFDLENBQUMsT0FBTyxDQUFDLEtBQUssRUFBRSxPQUFPLENBQUMsS0FBSyxFQUFFLE9BQU8sQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEVBQzlHLENBQUM7WUFDRCxNQUFNLGFBQWEsQ0FBQyxNQUFNLENBQUMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxFQUFFLFVBQVUsQ0FBQyxDQUFDO1FBQ3ZELENBQUM7SUFDSCxDQUFDO0lBRU0sTUFBTSxDQUFDLGVBQWUsQ0FBQyxTQUFpQjtRQUM3QyxJQUNFLENBQUM7WUFDQyxPQUFPLENBQUMsS0FBSztZQUNiLE9BQU8sQ0FBQyxLQUFLO1lBQ2IsT0FBTyxDQUFDLEtBQUs7WUFDYixPQUFPLENBQUMsTUFBTTtZQUNkLE9BQU8sQ0FBQyxNQUFNO1lBQ2QsT0FBTyxDQUFDLE1BQU07WUFDZCxPQUFPLENBQUMsT0FBTztTQUNoQixDQUFDLFFBQVEsQ0FBQyxTQUFTLENBQUMsRUFDckIsQ0FBQztZQUNELE1BQU0sSUFBSSxvQkFBb0IsQ0FBQyxTQUFTLENBQUMsQ0FBQztRQUM1QyxDQUFDO0lBQ0gsQ0FBQztJQUVEOztPQUVHO0lBQ0ksU0FBUyxDQUFDLEdBQVksRUFBRSxHQUFHLE9BQWlCO1FBQ2pELEtBQUssTUFBTSxNQUFNLElBQUksT0FBTyxFQUFFLENBQUM7WUFDN0IsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDLENBQUM7UUFDN0IsQ0FBQztJQUNILENBQUM7SUFFRDs7T0FFRztJQUNJLGdCQUFnQixDQUFDLEdBQUcsT0FBaUI7UUFDMUMsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUNwQyxLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1lBQ3hDLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ2pDLENBQUM7SUFDSCxDQUFDO0lBRUQ7O09BRUc7SUFDSSxjQUFjLENBQUMsR0FBWSxFQUFFLFdBQW1CLEVBQUUsSUFBWTtRQUNuRSxLQUFLLElBQUksTUFBTSxHQUFHLFdBQVcsRUFBRSxNQUFNLEdBQUcsV0FBVyxHQUFHLElBQUksRUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1lBQ3JFLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLE1BQU0sQ0FBQyxDQUFDO1FBQzdCLENBQUM7SUFDSCxDQUFDO0lBRUQsbUZBQW1GO0lBQ25GLDBEQUEwRDtJQUNuRCxNQUFNLENBQUMsTUFBTSxDQUFDLENBQTBCO1FBQzdDLElBQUksR0FBRyxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUM7UUFFMUIsK0VBQStFO1FBQy9FLDZDQUE2QztRQUM3QyxJQUFJLENBQUMsS0FBSyxTQUFTLEVBQUUsQ0FBQztZQUNwQixHQUFHLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFDLG1DQUFtQztRQUMxRCxDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxPQUFPLEVBQUUsQ0FBQztZQUN6QyxHQUFHLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQztRQUN0QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxPQUFPLEVBQUUsQ0FBQztZQUN6QyxHQUFHLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQztRQUN0QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxPQUFPLEVBQUUsQ0FBQztZQUN6QyxHQUFHLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQztRQUN0QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxRQUFRLEVBQUUsQ0FBQztZQUMxQyxHQUFHLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQztRQUN2QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxRQUFRLEVBQUUsQ0FBQztZQUMxQyxHQUFHLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQztRQUN2QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxRQUFRLEVBQUUsQ0FBQztZQUMxQyxHQUFHLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQztRQUN2QixDQUFDO2FBQU0sSUFBSSxDQUFDLENBQUMsV0FBVyxDQUFDLElBQUksSUFBSSxTQUFTLEVBQUUsQ0FBQztZQUMzQyxHQUFHLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQztRQUN4QixDQUFDO1FBRUQsT0FBTyxHQUFHLENBQUM7SUFDYixDQUFDO0lBRUQsdUNBQXVDO0lBQ2hDLE1BQU0sQ0FBQyxzQkFBc0IsQ0FBQyxDQUFrQixFQUFFLEdBQVk7UUFDbkUsQ0FBQyxHQUFHLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUNkLFFBQVEsR0FBRyxFQUFFLENBQUM7WUFDWixLQUFLLE9BQU8sQ0FBQyxLQUFLO2dCQUNoQixPQUFPLElBQUksS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQ3RCLEtBQUssT0FBTyxDQUFDLEtBQUs7Z0JBQ2hCLE9BQU8sSUFBSSxLQUFLLENBQUMsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDO1lBQzNCLEtBQUssT0FBTyxDQUFDLEtBQUs7Z0JBQ2hCLE9BQU8sSUFBSSxLQUFLLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUFFLElBQUksRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUMsQ0FBQztZQUMxQyxLQUFLLE9BQU8sQ0FBQyxNQUFNO2dCQUNqQixPQUFPLElBQUksTUFBTSxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxJQUFJLEdBQUcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7WUFDNUMsS0FBSyxPQUFPLENBQUMsTUFBTTtnQkFDakIsT0FBTyxJQUFJLE1BQU0sQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsSUFBSSxHQUFHLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDO1lBQzVDLEtBQUssT0FBTyxDQUFDLE1BQU07Z0JBQ2pCLE9BQU8sSUFBSSxNQUFNLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUFFLElBQUksR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUMsQ0FBQztZQUM1QyxLQUFLLE9BQU8sQ0FBQyxPQUFPO2dCQUNsQixPQUFPLElBQUksT0FBTyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxJQUFJLElBQUksQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7WUFDOUM7Z0JBQ0UsTUFBTSxJQUFJLG9CQUFvQixDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQ3hDLENBQUM7SUFDSCxDQUFDO0lBRUQsOEVBQThFO0lBQ3ZFLE1BQU0sQ0FBQyxXQUFtRSxJQUFHLENBQUM7O0FBbk5yRSxnQkFBRyxHQUFXLFlBQVksQ0FBQyxzQkFBc0IsQ0FBQyxDQUFDO0FBRW5FLHNFQUFzRTtBQUN0RCxrQ0FBcUIsR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLFFBQVEsS0FBSyxNQUFNLENBQUM7QUFFeEUsMERBQTBEO0FBQzFELHdFQUF3RTtBQUN4RSxtQkFBbUI7QUFDSCw0QkFBZSxHQUFHLE1BQU0sQ0FBQyxFQUFFLElBQUksR0FBRyxDQUFDLENBQUM7QUE4TXRELG9GQUFvRjtBQUNwRixNQUFNLE9BQU8sbUJBQW1CO0lBSTlCLFlBQW9CLE9BQXFCLEVBQVUsT0FBZSxhQUFhO1FBQTNELFlBQU8sR0FBUCxPQUFPLENBQWM7UUFBVSxTQUFJLEdBQUosSUFBSSxDQUF3QjtRQUh2RSxVQUFLLEdBQVcsQ0FBQyxDQUFDO1FBQ2xCLFdBQU0sR0FBVyxDQUFDLENBQUM7SUFFdUQsQ0FBQztJQUVuRixxRkFBcUY7SUFDOUUsS0FBSztRQUNWLE1BQU0sS0FBSyxHQUFHLEVBQUUsS0FBSyxFQUFFLElBQUksQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQztRQUN6RCxJQUFJLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQztRQUNmLElBQUksQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO1FBQ2hCLE9BQU8sS0FBSyxDQUFDO0lBQ2YsQ0FBQztJQUVEOzs7T0FHRztJQUNJLE1BQU0sQ0FBQyxVQUFrRTtRQUM5RSxNQUFNLEVBQ0osS0FBSyxFQUFFLGFBQWEsRUFDcEIsTUFBTSxFQUFFLGNBQWMsRUFDdEIsVUFBVSxHQUNYLEdBQUcsRUFBRSxLQUFLLEVBQUUsQ0FBQyxFQUFFLE1BQU0sRUFBRSxDQUFDLEVBQUUsVUFBVSxFQUFFLElBQUksVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUFFLEdBQUcsVUFBVSxFQUFFLENBQUM7UUFFM0UsTUFBTSxrQkFBa0IsR0FDdEIsYUFBYSxHQUFHLFVBQVUsQ0FBQyxLQUFLLENBQUMsY0FBYyxDQUFDLFFBQVEsQ0FBQyxHQUFHLFVBQVUsQ0FBQyxLQUFLLENBQUMsY0FBYyxDQUFDLFFBQVEsQ0FBQyxDQUFDO1FBQ3hHLE1BQU0sRUFBRSxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxZQUFZLEVBQUUsR0FBRyxJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7UUFDbEUsSUFBSSxXQUFXLEtBQUssa0JBQWtCLEVBQUUsQ0FBQztZQUN2QyxNQUFNLElBQUkseUJBQXlCLENBQ2pDLHdDQUF3QyxJQUFJLENBQUMsSUFBSSxjQUFjLGtCQUFrQixpQkFBaUIsV0FBVyxFQUFFLENBQ2hILENBQUM7UUFDSixDQUFDO1FBQ0QsSUFBSSxZQUFZLEtBQUssY0FBYyxFQUFFLENBQUM7WUFDcEMsTUFBTSxJQUFJLHlCQUF5QixDQUNqQyx5Q0FBeUMsSUFBSSxDQUFDLElBQUksY0FBYyxjQUFjLGlCQUFpQixZQUFZLEVBQUUsQ0FDOUcsQ0FBQztRQUNKLENBQUM7SUFDSCxDQUFDO0lBRU0sZ0JBQWdCO1FBQ3JCLE9BQU8sSUFBSSxDQUFDLE9BQU8sQ0FBQyxnQkFBZ0IsRUFBRSxDQUFDO0lBQ3pDLENBQUM7SUFFTSxLQUFLLENBQUMsT0FBZSxhQUFhO1FBQ3ZDLE9BQU8sSUFBSSxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLElBQUksQ0FBQyxDQUFDO0lBQ3JELENBQUM7SUFFTSxHQUFHLENBQUMsTUFBYztRQUN2QixJQUFJLENBQUMsS0FBSyxFQUFFLENBQUM7UUFDYixPQUFPLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBQ2xDLENBQUM7SUFFTSxVQUFVLENBQUksTUFBYyxFQUFFLElBQVk7UUFDL0MsSUFBSSxDQUFDLEtBQUssSUFBSSxJQUFJLENBQUM7UUFDbkIsT0FBTyxJQUFJLENBQUMsT0FBTyxDQUFDLFVBQVUsQ0FBSSxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDbEQsQ0FBQztJQUVNLEtBQUssQ0FBSSxNQUFjO1FBQzVCLElBQUksQ0FBQyxLQUFLLEVBQUUsQ0FBQztRQUNiLE9BQU8sSUFBSSxDQUFDLE9BQU8sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDcEMsQ0FBQztJQUVNLFFBQVEsQ0FBQyxNQUFjLEVBQUUsSUFBWTtRQUMxQyxJQUFJLENBQUMsS0FBSyxJQUFJLElBQUksQ0FBQztRQUNuQixPQUFPLElBQUksQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsQ0FBQztJQUM3QyxDQUFDO0lBRU0sR0FBRyxDQUFDLE1BQWMsRUFBRSxDQUFjO1FBQ3ZDLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQztRQUNkLElBQUksQ0FBQyxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQztJQUM5QixDQUFDO0lBRU0sUUFBUSxDQUFDLE1BQWMsRUFBRSxFQUFpQjtRQUMvQyxJQUFJLENBQUMsTUFBTSxJQUFJLEVBQUUsQ0FBQyxNQUFNLENBQUM7UUFDekIsSUFBSSxDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3BDLENBQUM7SUFFTSxZQUFZLENBQUMsTUFBYyxFQUFFLElBQVk7UUFDOUMsT0FBTyxJQUFJLENBQUMsT0FBTyxDQUFDLFlBQVksQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDakQsQ0FBQztJQUVNLE1BQU0sQ0FBQyxNQUFjO1FBQzFCLE9BQU8sSUFBSSxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDckMsQ0FBQztJQUVNLFFBQVEsQ0FBQyxHQUFZLEVBQUUsTUFBYztRQUMxQyxJQUFJLENBQUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDLENBQUM7SUFDckMsQ0FBQztJQUVNLDJCQUEyQixDQUFDLE1BQWM7UUFDL0MsSUFBSSxDQUFDLE9BQU8sQ0FBQywyQkFBMkIsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUNuRCxDQUFDO0lBRU0sU0FBUyxDQUFDLEdBQVksRUFBRSxHQUFHLE9BQWlCO1FBQ2pELElBQUksQ0FBQyxPQUFPLENBQUMsU0FBUyxDQUFDLEdBQUcsRUFBRSxHQUFHLE9BQU8sQ0FBQyxDQUFDO0lBQzFDLENBQUM7SUFFTSxnQkFBZ0IsQ0FBQyxHQUFHLE9BQWlCO1FBQzFDLElBQUksQ0FBQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsR0FBRyxPQUFPLENBQUMsQ0FBQztJQUM1QyxDQUFDO0lBRU0sY0FBYyxDQUFDLEdBQVksRUFBRSxXQUFtQixFQUFFLElBQVk7UUFDbkUsSUFBSSxDQUFDLE9BQU8sQ0FBQyxjQUFjLENBQUMsR0FBRyxFQUFFLFdBQVcsRUFBRSxJQUFJLENBQUMsQ0FBQztJQUN0RCxDQUFDO0NBQ0YifQ==
+const TAG_FOR_MEM_VAL = new Map([
+    [
+        'Field',
+        TypeTag.FIELD
+    ],
+    [
+        'Uint1',
+        TypeTag.UINT1
+    ],
+    [
+        'Uint8',
+        TypeTag.UINT8
+    ],
+    [
+        'Uint16',
+        TypeTag.UINT16
+    ],
+    [
+        'Uint32',
+        TypeTag.UINT32
+    ],
+    [
+        'Uint64',
+        TypeTag.UINT64
+    ],
+    [
+        'Uint128',
+        TypeTag.UINT128
+    ]
+]);
+const VALID_TAGS = new Set([
+    TypeTag.FIELD,
+    TypeTag.UINT1,
+    TypeTag.UINT8,
+    TypeTag.UINT16,
+    TypeTag.UINT32,
+    TypeTag.UINT64,
+    TypeTag.UINT128
+]);
+const INTEGRAL_TAGS = new Set([
+    TypeTag.UINT1,
+    TypeTag.UINT8,
+    TypeTag.UINT16,
+    TypeTag.UINT32,
+    TypeTag.UINT64,
+    TypeTag.UINT128
+]);