@aztec/simulator 0.74.0 → 0.75.0-commit.c03ba01a2a4122e43e90d5133ba017e54b90e9d2

package/dest/avm/avm_simulator.js

@@ -7,21 +7,31 @@ import { AvmContractCallResult } from './avm_contract_call_result.js';
 import { AvmExecutionEnvironment } from './avm_execution_environment.js';
 import { AvmMachineState } from './avm_machine_state.js';
 import { isAvmBytecode } from './bytecode_utils.js';
-import { AvmExecutionError, AvmRevertReason, InvalidProgramCounterError, revertReasonFromExceptionalHalt, revertReasonFromExplicitRevert, } from './errors.js';
-import { INSTRUCTION_SET, decodeInstructionFromBytecode, } from './serialization/bytecode_serialization.js';
+import { AvmExecutionError, AvmRevertReason, InvalidProgramCounterError, revertReasonFromExceptionalHalt, revertReasonFromExplicitRevert } from './errors.js';
+import { INSTRUCTION_SET, decodeInstructionFromBytecode } from './serialization/bytecode_serialization.js';
 export class AvmSimulator {
+    context;
+    instructionSet;
+    log;
+    bytecode;
+    opcodeTallies;
+    // maps pc to [instr, bytesRead]
+    deserializedInstructionsCache;
+    tallyPrintFunction;
+    tallyInstructionFunction;
     // Test Purposes only: Logger will not have the proper function name. Use this constructor for testing purposes
     // only. Otherwise, use build() below.
-    constructor(context, instructionSet = INSTRUCTION_SET()) {
+    constructor(context, instructionSet = INSTRUCTION_SET(), enableTallying = false){
         this.context = context;
         this.instructionSet = instructionSet;
         this.opcodeTallies = new Map();
-        this.tallyPrintFunction = () => { };
-        this.tallyInstructionFunction = (_b, _c) => { };
+        this.deserializedInstructionsCache = new Map();
+        this.tallyPrintFunction = ()=>{};
+        this.tallyInstructionFunction = (_b, _c)=>{};
         assert(context.machineState.gasLeft.l2Gas <= MAX_L2_GAS_PER_TX_PUBLIC_PORTION, `Cannot allocate more than ${MAX_L2_GAS_PER_TX_PUBLIC_PORTION} to the AVM for execution.`);
         this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata[0]})`);
-        // TODO(palla/log): Should tallies be printed on debug, or only on trace?
-        if (this.log.isLevelEnabled('debug')) {
+        // Turn on tallying if explicitly enabled or if trace logging
+        if (enableTallying || this.log.isLevelEnabled('trace')) {
             this.tallyPrintFunction = this.printOpcodeTallies;
             this.tallyInstructionFunction = this.tallyInstruction;
         }
@@ -35,21 +45,18 @@ export class AvmSimulator {
         return simulator;
     }
     static async create(stateManager, address, sender, transactionFee, globals, isStaticCall, calldata, allocatedGas) {
-        const avmExecutionEnv = new AvmExecutionEnvironment(address, sender, 
-        /*contractCallDepth=*/ Fr.zero(), transactionFee, globals, isStaticCall, calldata);
+        const avmExecutionEnv = new AvmExecutionEnvironment(address, sender, /*contractCallDepth=*/ Fr.zero(), transactionFee, globals, isStaticCall, calldata);
         const avmMachineState = new AvmMachineState(allocatedGas);
         const avmContext = new AvmContext(stateManager, avmExecutionEnv, avmMachineState);
         return await AvmSimulator.build(avmContext);
     }
     /**
-     * Fetch the bytecode and execute it in the current context.
-     */
-    async execute() {
+   * Fetch the bytecode and execute it in the current context.
+   */ async execute() {
         let bytecode;
         try {
             bytecode = await this.context.persistableState.getBytecode(this.context.environment.address);
-        }
-        catch (err) {
+        } catch (err) {
             if (!(err instanceof AvmExecutionError || err instanceof SideEffectLimitReachedError)) {
                 this.log.error(`Unknown error thrown by AVM during bytecode retrieval: ${err}`);
                 throw err;
@@ -62,16 +69,15 @@ export class AvmSimulator {
         return await this.executeBytecode(bytecode);
     }
     /**
-     * Return the bytecode used for execution, if any.
-     */
-    getBytecode() {
+   * Return the bytecode used for execution, if any.
+   */ getBytecode() {
         return this.bytecode;
     }
     /**
-     * Executes the provided bytecode in the current context.
-     * This method is useful for testing and debugging.
-     */
-    async executeBytecode(bytecode) {
+   * Executes the provided bytecode in the current context.
+   * This method is useful for testing and debugging.
+   */ async executeBytecode(bytecode) {
+        const startTotalTime = performance.now();
         assert(isAvmBytecode(bytecode), "AVM simulator can't execute non-AVM bytecode");
         assert(bytecode.length > 0, "AVM simulator can't execute empty bytecode");
         this.bytecode = bytecode;
@@ -81,14 +87,24 @@ export class AvmSimulator {
             // Execute instruction pointed to by the current program counter
             // continuing until the machine state signifies a halt
             let instrCounter = 0;
-            while (!machineState.getHalted()) {
-                const [instruction, bytesRead] = decodeInstructionFromBytecode(bytecode, machineState.pc, this.instructionSet);
+            while(!machineState.getHalted()){
+                // Get the instruction from cache, or deserialize for the first time
+                let cachedInstruction = this.deserializedInstructionsCache.get(machineState.pc);
+                if (cachedInstruction === undefined) {
+                    cachedInstruction = decodeInstructionFromBytecode(bytecode, machineState.pc, this.instructionSet);
+                    this.deserializedInstructionsCache.set(machineState.pc, cachedInstruction);
+                }
+                const [instruction, bytesRead] = cachedInstruction;
                 const instrStartGas = machineState.gasLeft; // Save gas before executing instruction (for profiling)
-                this.log.trace(`[PC:${machineState.pc}] [IC:${instrCounter++}] ${instruction.toString()} (gasLeft l2=${machineState.l2GasLeft} da=${machineState.daGasLeft})`);
+                if (this.log.isLevelEnabled('trace')) {
+                    // Skip this entirely to avoid toStringing etc if trace is not enabled
+                    this.log.trace(`[PC:${machineState.pc}] [IC:${instrCounter}] ${instruction.toString()} (gasLeft l2=${machineState.l2GasLeft} da=${machineState.daGasLeft})`);
+                }
+                instrCounter++;
+                machineState.nextPc = machineState.pc + bytesRead;
                 // Execute the instruction.
                 // Normal returns and reverts will return normally here.
                 // "Exceptional halts" will throw.
-                machineState.nextPc = machineState.pc + bytesRead;
                 await instruction.execute(this.context);
                 if (!instruction.handlesPC()) {
                     // Increment PC if the instruction doesn't handle it itself
@@ -97,7 +113,7 @@ export class AvmSimulator {
                 // gas used by this instruction - used for profiling/tallying
                 const gasUsed = {
                     l2Gas: instrStartGas.l2Gas - machineState.l2GasLeft,
-                    daGas: instrStartGas.daGas - machineState.daGasLeft,
+                    daGas: instrStartGas.daGas - machineState.daGasLeft
                 };
                 this.tallyInstructionFunction(instruction.constructor.name, gasUsed);
                 if (machineState.pc >= bytecode.length) {
@@ -112,27 +128,30 @@ export class AvmSimulator {
             this.log.debug(`Context execution results: ${results.toString()}`);
             const totalGasUsed = {
                 l2Gas: callStartGas.l2Gas - machineState.l2GasLeft,
-                daGas: callStartGas.daGas - machineState.daGasLeft,
+                daGas: callStartGas.daGas - machineState.daGasLeft
             };
             this.log.debug(`Executed ${instrCounter} instructions and consumed ${totalGasUsed.l2Gas} L2 Gas`);
             this.tallyPrintFunction();
+            const endTotalTime = performance.now();
+            const totalTime = endTotalTime - startTotalTime;
+            this.log.debug(`Total execution time: ${totalTime}ms`);
             // Return results for processing by calling context
             return results;
-        }
-        catch (err) {
+        } catch (err) {
             this.log.verbose('Exceptional halt (revert by something other than REVERT opcode)');
             // FIXME: weird that we have to do this OutOfGasError check because:
             // 1. OutOfGasError is an AvmExecutionError, so that check should cover both
             // 2. We should at least be able to do instanceof OutOfGasError instead of checking the constructor name
-            if (!(err.constructor.name == 'OutOfGasError' ||
-                err instanceof AvmExecutionError ||
-                err instanceof SideEffectLimitReachedError)) {
+            if (!(err.constructor.name == 'OutOfGasError' || err instanceof AvmExecutionError || err instanceof SideEffectLimitReachedError)) {
                 this.log.error(`Unknown error thrown by AVM: ${err}`);
                 throw err;
             }
             const revertReason = await revertReasonFromExceptionalHalt(err, this.context);
             // Exceptional halts consume all allocated gas
-            const noGasLeft = { l2Gas: 0, daGas: 0 };
+            const noGasLeft = {
+                l2Gas: 0,
+                daGas: 0
+            };
             // Note: "exceptional halts" cannot return data, hence [].
             const results = new AvmContractCallResult(/*reverted=*/ true, /*output=*/ [], noGasLeft, revertReason);
             this.log.debug(`Context execution results: ${results.toString()}`);
@@ -144,21 +163,24 @@ export class AvmSimulator {
     async handleFailureToRetrieveBytecode(message) {
         // revert, consuming all gas
         const fnName = await this.context.persistableState.getPublicFunctionDebugName(this.context.environment);
-        const revertReason = new AvmRevertReason(message, 
-        /*failingFunction=*/ {
+        const revertReason = new AvmRevertReason(message, /*failingFunction=*/ {
             contractAddress: this.context.environment.address,
-            functionName: fnName,
-        }, 
-        /*noirCallStack=*/ []);
+            functionName: fnName
+        }, /*noirCallStack=*/ []);
         this.log.warn(message);
-        return new AvmContractCallResult(
-        /*reverted=*/ true, 
-        /*output=*/ [], 
-        /*gasLeft=*/ { l2Gas: 0, daGas: 0 }, // consumes all allocated gas
-        revertReason);
+        return new AvmContractCallResult(/*reverted=*/ true, /*output=*/ [], /*gasLeft=*/ {
+            l2Gas: 0,
+            daGas: 0
+        }, revertReason);
     }
     tallyInstruction(opcode, gasUsed) {
-        const opcodeTally = this.opcodeTallies.get(opcode) || { count: 0, gas: { l2Gas: 0, daGas: 0 } };
+        const opcodeTally = this.opcodeTallies.get(opcode) || {
+            count: 0,
+            gas: {
+                l2Gas: 0,
+                daGas: 0
+            }
+        };
         opcodeTally.count++;
         opcodeTally.gas.l2Gas += gasUsed.l2Gas;
         opcodeTally.gas.daGas += gasUsed.daGas;
@@ -167,11 +189,10 @@ export class AvmSimulator {
     printOpcodeTallies() {
         this.log.debug(`Printing tallies per opcode sorted by gas...`);
         // sort descending by L2 gas consumed
-        const sortedOpcodes = Array.from(this.opcodeTallies.entries()).sort((a, b) => b[1].gas.l2Gas - a[1].gas.l2Gas);
-        for (const [opcode, tally] of sortedOpcodes) {
+        const sortedOpcodes = Array.from(this.opcodeTallies.entries()).sort((a, b)=>b[1].gas.l2Gas - a[1].gas.l2Gas);
+        for (const [opcode, tally] of sortedOpcodes){
             // NOTE: don't care to clutter the logs with DA gas for now
             this.log.debug(`${opcode} executed ${tally.count} times consuming a total of ${tally.gas.l2Gas} L2 gas`);
         }
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3NpbXVsYXRvci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hdm0vYXZtX3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQXFCLEVBQUUsRUFBd0IsZ0NBQWdDLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNuSCxPQUFPLEVBQWUsWUFBWSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFbEUsT0FBTyxFQUFFLE1BQU0sSUFBSSxNQUFNLEVBQUUsTUFBTSxRQUFRLENBQUM7QUFFMUMsT0FBTyxFQUFFLDJCQUEyQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDOUUsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ3RFLE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN6RCxPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDcEQsT0FBTyxFQUNMLGlCQUFpQixFQUNqQixlQUFlLEVBQ2YsMEJBQTBCLEVBQzFCLCtCQUErQixFQUMvQiw4QkFBOEIsR0FDL0IsTUFBTSxhQUFhLENBQUM7QUFFckIsT0FBTyxFQUNMLGVBQWUsRUFFZiw2QkFBNkIsR0FDOUIsTUFBTSwyQ0FBMkMsQ0FBQztBQU9uRCxNQUFNLE9BQU8sWUFBWTtJQVF2QiwrR0FBK0c7SUFDL0csc0NBQXNDO0lBQ3RDLFlBQW9CLE9BQW1CLEVBQVUsaUJBQWlDLGVBQWUsRUFBRTtRQUEvRSxZQUFPLEdBQVAsT0FBTyxDQUFZO1FBQVUsbUJBQWMsR0FBZCxjQUFjLENBQW9DO1FBUDNGLGtCQUFhLEdBQTZCLElBQUksR0FBRyxFQUFFLENBQUM7UUFFcEQsdUJBQWtCLEdBQUcsR0FBRyxFQUFFLEdBQUUsQ0FBQyxDQUFDO1FBQzlCLDZCQUF3QixHQUFHLENBQUMsRUFBVSxFQUFFLEVBQU8sRUFBRSxFQUFFLEdBQUUsQ0FBQyxDQUFDO1FBSzdELE1BQU0sQ0FDSixPQUFPLENBQUMsWUFBWSxDQUFDLE9BQU8sQ0FBQyxLQUFLLElBQUksZ0NBQWdDLEVBQ3RFLDZCQUE2QixnQ0FBZ0MsNEJBQTRCLENBQzFGLENBQUM7UUFDRixJQUFJLENBQUMsR0FBRyxHQUFHLFlBQVksQ0FBQyw4QkFBOEIsT0FBTyxDQUFDLFdBQVcsQ0FBQyxRQUFRLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQzFGLHlFQUF5RTtRQUN6RSxJQUFJLElBQUksQ0FBQyxHQUFHLENBQUMsY0FBYyxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUM7WUFDckMsSUFBSSxDQUFDLGtCQUFrQixHQUFHLElBQUksQ0FBQyxrQkFBa0IsQ0FBQztZQUNsRCxJQUFJLENBQUMsd0JBQXdCLEdBQUcsSUFBSSxDQUFDLGdCQUFnQixDQUFDO1FBQ3hELENBQUM7SUFDSCxDQUFDO0lBRUQsZ0dBQWdHO0lBQ2hHLDZDQUE2QztJQUN0QyxNQUFNLENBQUMsS0FBSyxDQUFDLEtBQUssQ0FBQyxPQUFtQjtRQUMzQyxNQUFNLFNBQVMsR0FBRyxJQUFJLFlBQVksQ0FBQyxPQUFPLENBQUMsQ0FBQztRQUM1QyxNQUFNLE1BQU0sR0FBRyxNQUFNLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQywwQkFBMEIsQ0FBQyxPQUFPLENBQUMsV0FBVyxDQUFDLENBQUM7UUFDOUYsU0FBUyxDQUFDLEdBQUcsR0FBRyxZQUFZLENBQUMsbUJBQW1CLE1BQU0sR0FBRyxDQUFDLENBQUM7UUFFM0QsT0FBTyxTQUFTLENBQUM7SUFDbkIsQ0FBQztJQUVNLE1BQU0sQ0FBQyxLQUFLLENBQUMsTUFBTSxDQUN4QixZQUF3QyxFQUN4QyxPQUFxQixFQUNyQixNQUFvQixFQUNwQixjQUFrQixFQUNsQixPQUF3QixFQUN4QixZQUFxQixFQUNyQixRQUFjLEVBQ2QsWUFBaUI7UUFFakIsTUFBTSxlQUFlLEdBQUcsSUFBSSx1QkFBdUIsQ0FDakQsT0FBTyxFQUNQLE1BQU07UUFDTixzQkFBc0IsQ0FBQyxFQUFFLENBQUMsSUFBSSxFQUFFLEVBQ2hDLGNBQWMsRUFDZCxPQUFPLEVBQ1AsWUFBWSxFQUNaLFFBQVEsQ0FDVCxDQUFDO1FBRUYsTUFBTSxlQUFlLEdBQUcsSUFBSSxlQUFlLENBQUMsWUFBWSxDQUFDLENBQUM7UUFDMUQsTUFBTSxVQUFVLEdBQUcsSUFBSSxVQUFVLENBQUMsWUFBWSxFQUFFLGVBQWUsRUFBRSxlQUFlLENBQUMsQ0FBQztRQUNsRixPQUFPLE1BQU0sWUFBWSxDQUFDLEtBQUssQ0FBQyxVQUFVLENBQUMsQ0FBQztJQUM5QyxDQUFDO0lBRUQ7O09BRUc7SUFDSSxLQUFLLENBQUMsT0FBTztRQUNsQixJQUFJLFFBQTRCLENBQUM7UUFDakMsSUFBSSxDQUFDO1lBQ0gsUUFBUSxHQUFHLE1BQU0sSUFBSSxDQUFDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxXQUFXLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDL0YsQ0FBQztRQUFDLE9BQU8sR0FBUSxFQUFFLENBQUM7WUFDbEIsSUFBSSxDQUFDLENBQUMsR0FBRyxZQUFZLGlCQUFpQixJQUFJLEdBQUcsWUFBWSwyQkFBMkIsQ0FBQyxFQUFFLENBQUM7Z0JBQ3RGLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDBEQUEwRCxHQUFHLEVBQUUsQ0FBQyxDQUFDO2dCQUNoRixNQUFNLEdBQUcsQ0FBQztZQUNaLENBQUM7WUFDRCxPQUFPLE1BQU0sSUFBSSxDQUFDLCtCQUErQixDQUMvQyxvQ0FBb0MsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLENBQUMsT0FBTyxpQkFBaUIsR0FBRyxnQkFBZ0IsQ0FDekcsQ0FBQztRQUNKLENBQUM7UUFFRCxJQUFJLENBQUMsUUFBUSxFQUFFLENBQUM7WUFDZCxPQUFPLE1BQU0sSUFBSSxDQUFDLCtCQUErQixDQUMvQyx5QkFBeUIsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLENBQUMsT0FBTyxnQkFBZ0IsQ0FDMUUsQ0FBQztRQUNKLENBQUM7UUFFRCxPQUFPLE1BQU0sSUFBSSxDQUFDLGVBQWUsQ0FBQyxRQUFRLENBQUMsQ0FBQztJQUM5QyxDQUFDO0lBRUQ7O09BRUc7SUFDSSxXQUFXO1FBQ2hCLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQztJQUN2QixDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksS0FBSyxDQUFDLGVBQWUsQ0FBQyxRQUFnQjtRQUMzQyxNQUFNLENBQUMsYUFBYSxDQUFDLFFBQVEsQ0FBQyxFQUFFLDhDQUE4QyxDQUFDLENBQUM7UUFDaEYsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFNLEdBQUcsQ0FBQyxFQUFFLDRDQUE0QyxDQUFDLENBQUM7UUFFMUUsSUFBSSxDQUFDLFFBQVEsR0FBRyxRQUFRLENBQUM7UUFFekIsTUFBTSxFQUFFLFlBQVksRUFBRSxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUM7UUFDdEMsTUFBTSxZQUFZLEdBQUcsWUFBWSxDQUFDLE9BQU8sQ0FBQyxDQUFDLHdEQUF3RDtRQUNuRyxJQUFJLENBQUM7WUFDSCxnRUFBZ0U7WUFDaEUsc0RBQXNEO1lBQ3RELElBQUksWUFBWSxHQUFHLENBQUMsQ0FBQztZQUNyQixPQUFPLENBQUMsWUFBWSxDQUFDLFNBQVMsRUFBRSxFQUFFLENBQUM7Z0JBQ2pDLE1BQU0sQ0FBQyxXQUFXLEVBQUUsU0FBUyxDQUFDLEdBQUcsNkJBQTZCLENBQUMsUUFBUSxFQUFFLFlBQVksQ0FBQyxFQUFFLEVBQUUsSUFBSSxDQUFDLGNBQWMsQ0FBQyxDQUFDO2dCQUMvRyxNQUFNLGFBQWEsR0FBRyxZQUFZLENBQUMsT0FBTyxDQUFDLENBQUMsd0RBQXdEO2dCQUVwRyxJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FDWixPQUFPLFlBQVksQ0FBQyxFQUFFLFNBQVMsWUFBWSxFQUFFLEtBQUssV0FBVyxDQUFDLFFBQVEsRUFBRSxnQkFDdEUsWUFBWSxDQUFDLFNBQ2YsT0FBTyxZQUFZLENBQUMsU0FBUyxHQUFHLENBQ2pDLENBQUM7Z0JBQ0YsMkJBQTJCO2dCQUMzQix3REFBd0Q7Z0JBQ3hELGtDQUFrQztnQkFDbEMsWUFBWSxDQUFDLE1BQU0sR0FBRyxZQUFZLENBQUMsRUFBRSxHQUFHLFNBQVMsQ0FBQztnQkFFbEQsTUFBTSxXQUFXLENBQUMsT0FBTyxDQUFDLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztnQkFDeEMsSUFBSSxDQUFDLFdBQVcsQ0FBQyxTQUFTLEVBQUUsRUFBRSxDQUFDO29CQUM3QiwyREFBMkQ7b0JBQzNELFlBQVksQ0FBQyxFQUFFLElBQUksU0FBUyxDQUFDO2dCQUMvQixDQUFDO2dCQUVELDZEQUE2RDtnQkFDN0QsTUFBTSxPQUFPLEdBQVE7b0JBQ25CLEtBQUssRUFBRSxhQUFhLENBQUMsS0FBSyxHQUFHLFlBQVksQ0FBQyxTQUFTO29CQUNuRCxLQUFLLEVBQUUsYUFBYSxDQUFDLEtBQUssR0FBRyxZQUFZLENBQUMsU0FBUztpQkFDcEQsQ0FBQztnQkFDRixJQUFJLENBQUMsd0JBQXdCLENBQUMsV0FBVyxDQUFDLFdBQVcsQ0FBQyxJQUFJLEVBQUUsT0FBTyxDQUFDLENBQUM7Z0JBRXJFLElBQUksWUFBWSxDQUFDLEVBQUUsSUFBSSxRQUFRLENBQUMsTUFBTSxFQUFFLENBQUM7b0JBQ3ZDLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLHVCQUF1QixDQUFDLENBQUM7b0JBQ3ZDLE1BQU0sSUFBSSwwQkFBMEIsQ0FBQyxZQUFZLENBQUMsRUFBRSxFQUFFLFFBQVEsQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUFDLENBQUM7Z0JBQ2xGLENBQUM7WUFDSCxDQUFDO1lBRUQsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLFNBQVMsRUFBRSxDQUFDO1lBQ3hDLE1BQU0sUUFBUSxHQUFHLFlBQVksQ0FBQyxXQUFXLEVBQUUsQ0FBQztZQUM1QyxNQUFNLFlBQVksR0FBRyxRQUFRLENBQUMsQ0FBQyxDQUFDLE1BQU0sOEJBQThCLENBQUMsTUFBTSxFQUFFLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDO1lBQ3ZHLE1BQU0sT0FBTyxHQUFHLElBQUkscUJBQXFCLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxZQUFZLENBQUMsT0FBTyxFQUFFLFlBQVksQ0FBQyxDQUFDO1lBQ2hHLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDhCQUE4QixPQUFPLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO1lBQ25FLE1BQU0sWUFBWSxHQUFRO2dCQUN4QixLQUFLLEVBQUUsWUFBWSxDQUFDLEtBQUssR0FBRyxZQUFZLENBQUMsU0FBUztnQkFDbEQsS0FBSyxFQUFFLFlBQVksQ0FBQyxLQUFLLEdBQUcsWUFBWSxDQUFDLFNBQVM7YUFDbkQsQ0FBQztZQUNGLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLFlBQVksWUFBWSw4QkFBOEIsWUFBWSxDQUFDLEtBQUssU0FBUyxDQUFDLENBQUM7WUFFbEcsSUFBSSxDQUFDLGtCQUFrQixFQUFFLENBQUM7WUFDMUIsbURBQW1EO1lBQ25ELE9BQU8sT0FBTyxDQUFDO1FBQ2pCLENBQUM7UUFBQyxPQUFPLEdBQVEsRUFBRSxDQUFDO1lBQ2xCLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLGlFQUFpRSxDQUFDLENBQUM7WUFDcEYsb0VBQW9FO1lBQ3BFLDRFQUE0RTtZQUM1RSx3R0FBd0c7WUFDeEcsSUFDRSxDQUFDLENBQ0MsR0FBRyxDQUFDLFdBQVcsQ0FBQyxJQUFJLElBQUksZUFBZTtnQkFDdkMsR0FBRyxZQUFZLGlCQUFpQjtnQkFDaEMsR0FBRyxZQUFZLDJCQUEyQixDQUMzQyxFQUNELENBQUM7Z0JBQ0QsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsZ0NBQWdDLEdBQUcsRUFBRSxDQUFDLENBQUM7Z0JBQ3RELE1BQU0sR0FBRyxDQUFDO1lBQ1osQ0FBQztZQUVELE1BQU0sWUFBWSxHQUFHLE1BQU0sK0JBQStCLENBQUMsR0FBRyxFQUFFLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztZQUM5RSw4Q0FBOEM7WUFDOUMsTUFBTSxTQUFTLEdBQUcsRUFBRSxLQUFLLEVBQUUsQ0FBQyxFQUFFLEtBQUssRUFBRSxDQUFDLEVBQUUsQ0FBQztZQUN6QywwREFBMEQ7WUFDMUQsTUFBTSxPQUFPLEdBQUcsSUFBSSxxQkFBcUIsQ0FBQyxhQUFhLENBQUMsSUFBSSxFQUFFLFdBQVcsQ0FBQyxFQUFFLEVBQUUsU0FBUyxFQUFFLFlBQVksQ0FBQyxDQUFDO1lBQ3ZHLElBQUksQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLDhCQUE4QixPQUFPLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO1lBRW5FLElBQUksQ0FBQyxrQkFBa0IsRUFBRSxDQUFDO1lBQzFCLG1EQUFtRDtZQUNuRCxPQUFPLE9BQU8sQ0FBQztRQUNqQixDQUFDO0lBQ0gsQ0FBQztJQUVPLEtBQUssQ0FBQywrQkFBK0IsQ0FBQyxPQUFlO1FBQzNELDRCQUE0QjtRQUM1QixNQUFNLE1BQU0sR0FBRyxNQUFNLElBQUksQ0FBQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsMEJBQTBCLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FBQztRQUN4RyxNQUFNLFlBQVksR0FBRyxJQUFJLGVBQWUsQ0FDdEMsT0FBTztRQUNQLG9CQUFvQixDQUFDO1lBQ25CLGVBQWUsRUFBRSxJQUFJLENBQUMsT0FBTyxDQUFDLFdBQVcsQ0FBQyxPQUFPO1lBQ2pELFlBQVksRUFBRSxNQUFNO1NBQ3JCO1FBQ0Qsa0JBQWtCLENBQUMsRUFBRSxDQUN0QixDQUFDO1FBQ0YsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUM7UUFDdkIsT0FBTyxJQUFJLHFCQUFxQjtRQUM5QixhQUFhLENBQUMsSUFBSTtRQUNsQixXQUFXLENBQUMsRUFBRTtRQUNkLFlBQVksQ0FBQyxFQUFFLEtBQUssRUFBRSxDQUFDLEVBQUUsS0FBSyxFQUFFLENBQUMsRUFBRSxFQUFFLDZCQUE2QjtRQUNsRSxZQUFZLENBQ2IsQ0FBQztJQUNKLENBQUM7SUFFTyxnQkFBZ0IsQ0FBQyxNQUFjLEVBQUUsT0FBWTtRQUNuRCxNQUFNLFdBQVcsR0FBRyxJQUFJLENBQUMsYUFBYSxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsSUFBSyxFQUFFLEtBQUssRUFBRSxDQUFDLEVBQUUsR0FBRyxFQUFFLEVBQUUsS0FBSyxFQUFFLENBQUMsRUFBRSxLQUFLLEVBQUUsQ0FBQyxFQUFFLEVBQWtCLENBQUM7UUFDakgsV0FBVyxDQUFDLEtBQUssRUFBRSxDQUFDO1FBQ3BCLFdBQVcsQ0FBQyxHQUFHLENBQUMsS0FBSyxJQUFJLE9BQU8sQ0FBQyxLQUFLLENBQUM7UUFDdkMsV0FBVyxDQUFDLEdBQUcsQ0FBQyxLQUFLLElBQUksT0FBTyxDQUFDLEtBQUssQ0FBQztRQUN2QyxJQUFJLENBQUMsYUFBYSxDQUFDLEdBQUcsQ0FBQyxNQUFNLEVBQUUsV0FBVyxDQUFDLENBQUM7SUFDOUMsQ0FBQztJQUVPLGtCQUFrQjtRQUN4QixJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyw4Q0FBOEMsQ0FBQyxDQUFDO1FBQy9ELHFDQUFxQztRQUNyQyxNQUFNLGFBQWEsR0FBRyxLQUFLLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxhQUFhLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDO1FBQy9HLEtBQUssTUFBTSxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsSUFBSSxhQUFhLEVBQUUsQ0FBQztZQUM1QywyREFBMkQ7WUFDM0QsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxNQUFNLGFBQWEsS0FBSyxDQUFDLEtBQUssK0JBQStCLEtBQUssQ0FBQyxHQUFHLENBQUMsS0FBSyxTQUFTLENBQUMsQ0FBQztRQUMzRyxDQUFDO0lBQ0gsQ0FBQztDQUNGIn0=