Analysis Run

Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
    stdout_text, stderr_text, result_json = _run_slither(
                                            ~~~~~~~~~~~~^
        workspace,
        ^^^^^^^^^^
    ...<4 lines>...
        target_path=target_path,
        ^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
    raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-6qsen_ar)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-6qsen_ar)
'forge' returned non-zero exit code 1
2026-01-22T08:20:00.149402Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-6qsen_ar/lib/solidity-utils/contracts/oz-common/interfaces/IERC20.sol": No such file or directory (os error 2)
stdout: 2026-01-22T08:20:00.149430Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-6qsen_ar/lib/solidity-utils/contracts/oz-common/SafeERC20.sol": No such file or directory (os error 2)
stdout: 2026-01-22T08:20:00.149439Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-6qsen_ar/lib/solidity-utils/contracts/oz-common/Ownable.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout:       "solidity-utils/contracts/oz-common/Ownable.sol" in "/tmp/slither-6qsen_ar/src/contracts/AaveMerkleDistributor.sol"
stdout:       "solidity-utils/contracts/oz-common/interfaces/IERC20.sol" in "/tmp/slither-6qsen_ar/src/contracts/AaveMerkleDistributor.sol"
stdout:       "solidity-utils/contracts/oz-common/SafeERC20.sol" in "/tmp/slither-6qsen_ar/src/contracts/AaveMerkleDistributor.sol"
stdout: with remappings:
stdout:       @aave/core-v3/=/tmp/slither-6qsen_ar/lib/aave-address-book/lib/aave-v3-core/
stdout:       @aave/periphery-v3/=/tmp/slither-6qsen_ar/lib/aave-address-book/lib/aave-v3-periphery/
stdout:       aave-address-book/=/tmp/slither-6qsen_ar/lib/aave-address-book/src/
stdout:       aave-autonomous-proposal/=/tmp/slither-6qsen_ar/lib/aave-autonomous-proposal/src/
stdout:       aave-helpers/=/tmp/slither-6qsen_ar/lib/aave-helpers/src/
stdout:       aave-v3-core/=/tmp/slither-6qsen_ar/lib/aave-address-book/lib/aave-v3-core/
stdout:       aave-v3-periphery/=/tmp/slither-6qsen_ar/lib/aave-address-book/lib/aave-v3-periphery/
stdout:       ds-test/=/tmp/slither-6qsen_ar/lib/forge-std/lib/ds-test/src/
stdout:       forge-std/=/tmp/slither-6qsen_ar/lib/forge-std/src/
stdout:       solidity-utils/=/tmp/slither-6qsen_ar/lib/solidity-utils/
stdout: Compiling 3 files with Solc 0.8.1
stdout: Solc 0.8.1 finished in 22.06ms
Error: Compiler run failed:
stderr: Error (6275): Source "lib/solidity-utils/contracts/oz-common/interfaces/IERC20.sol" not found: File not found.
stderr:  --> src/contracts/AaveMerkleDistributor.sol:4:1:
stderr:   |
stderr: 4 | import {IERC20} from "solidity-utils/contracts/oz-common/interfaces/IERC20.sol";
stderr:   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
stderr: 
stderr: Error (6275): Source "lib/solidity-utils/contracts/oz-common/SafeERC20.sol" not found: File not found.
stderr:  --> src/contracts/AaveMerkleDistributor.sol:5:1:
stderr:   |
stderr: 5 | import {SafeERC20} from "solidity-utils/contracts/oz-common/SafeERC20.sol";
stderr:   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
stderr: 
stderr: Error (6275): Source "lib/solidity-utils/contracts/oz-common/Ownable.sol" not found: File not found.
stderr:  --> src/contracts/AaveMerkleDistributor.sol:6:1:
stderr:   |
stderr: 6 | import {Ownable} from "solidity-utils/contracts/oz-common/Ownable.sol";
stderr:   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Traceback (most recent call last):
  File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
    sys.exit(main())
             ~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
    compilations = compile_all(target, **vars(args))
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
                        ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
    self._compile(**kwargs)
    ~~~~~~~~~~~~~^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
    self._platform.compile(self, **kwargs)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
    hardhat_like_parsing(
    ~~~~~~~~~~~~~~~~~~~~^
        crytic_compile, str(self._target), build_directory, str(self._project_root)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
    raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-6qsen_ar/out/build-info is not a directory.

{"no_findings":true,"summary":"Reviewed first-party sources in AUDIT_BUNDLE.txt; no exploitable issues found in access control, reentrancy, accounting, signature validation, oracle usage, or external call patterns for this merkle distributor.","findings":[]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-l8nop636
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be426-f43f-7570-8f7e-3a262644e107
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Planning to read file contents**
exec
/bin/bash -lc ls in /tmp/codex-l8nop636 succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
lib
src
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-l8nop636 succeeded in 25ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: src/contracts/AaveMerkleDistributor.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import {IERC20} from "solidity-utils/contracts/oz-common/interfaces/IERC20.sol";
import {SafeERC20} from "solidity-utils/contracts/oz-common/SafeERC20.sol";
import {Ownable} from "solidity-utils/contracts/oz-common/Ownable.sol";
import {MerkleProof} from "./dependencies/openZeppelin/MerkleProof.sol";
import {IAaveMerkleDistributor} from "./interfaces/IAaveMerkleDistributor.sol";


contract AaveMerkleDistributor is Ownable, IAaveMerkleDistributor {
    using SafeERC20 for IERC20;

    mapping(uint256 => Distribution) public _distributions;


thinking
**Analyzing constructor typo and claim safety**

The misspelled constructor means Ownable's constructor runs normally, properly setting the owner. Claim logic updates state before safeTransfer, preventing reentrancy, and other checks on bitmask and token address appear safe.
thinking
**Confirming no critical findings and preparing summary**

I confirmed no upgradeability or reentrancy issues beyond expected behavior, no exploitable access control flaws, and that the misspelled constructor poses no risk. I'll produce a no_findings JSON summary with a concise summary and empty findings.
codex
{"no_findings":true,"summary":"Reviewed first-party sources in AUDIT_BUNDLE.txt; no exploitable issues found in access control, reentrancy, accounting, signature validation, oracle usage, or external call patterns for this merkle distributor.","findings":[]}
tokens used
8,644

{
    "codex": {
        "ran_at": "2026-01-22T05:22:23.568047+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 9,
        "import_count": 9,
        "first_party_contracts_count": 3
    },
    "summary": "Reviewed first-party sources in AUDIT_BUNDLE.txt; no exploitable issues found in access control, reentrancy, accounting, signature validation, oracle usage, or external call patterns for this merkle distributor.",
    "raw_final": {
        "summary": "Reviewed first-party sources in AUDIT_BUNDLE.txt; no exploitable issues found in access control, reentrancy, accounting, signature validation, oracle usage, or external call patterns for this merkle distributor.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x00b4
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0xa3d5b255
00000026: GT
00000027: PUSH2 0x0071
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa3d5b255
00000031: EQ
00000032: PUSH2 0x0140
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xac84f7b0
0000003c: EQ
0000003d: PUSH2 0x0153
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xcb16864a
00000047: EQ
00000048: PUSH2 0x01a5
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xeed88b8d
00000052: EQ
00000053: PUSH2 0x01bc
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf2fde38b
0000005d: EQ
0000005e: PUSH2 0x01cf
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf364c90c
00000068: EQ
00000069: PUSH2 0x01e2
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0x155f729d
00000078: EQ
00000079: PUSH2 0x00b9
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x233c2039
00000083: EQ
00000084: PUSH2 0x00ce
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x3b345a87
0000008e: EQ
0000008f: PUSH2 0x00e1
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x715018a6
00000099: EQ
0000009a: PUSH2 0x011d
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x8da5cb5b
000000a4: EQ
000000a5: PUSH2 0x0125
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x969fbf12
000000af: EQ
000000b0: PUSH2 0x00cc
000000b3: JUMPI
000000b4: JUMPDEST
000000b5: PUSH1 0x00
000000b7: DUP1
000000b8: REVERT
000000b9: JUMPDEST
000000ba: PUSH2 0x00cc
000000bd: PUSH2 0x00c7
000000c0: CALLDATASIZE
000000c1: PUSH1 0x04
000000c3: PUSH2 0x0e77
000000c6: JUMP
000000c7: JUMPDEST
000000c8: PUSH2 0x0205
000000cb: JUMP
000000cc: JUMPDEST
000000cd: STOP
000000ce: JUMPDEST
000000cf: PUSH2 0x00cc
000000d2: PUSH2 0x00dc
000000d5: CALLDATASIZE
000000d6: PUSH1 0x04
000000d8: PUSH2 0x0fde
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH2 0x064d
000000e0: JUMP
000000e1: JUMPDEST
000000e2: PUSH2 0x00f4
000000e5: PUSH2 0x00ef
000000e8: CALLDATASIZE
000000e9: PUSH1 0x04
000000eb: PUSH2 0x109e
000000ee: JUMP
000000ef: JUMPDEST
000000f0: PUSH2 0x07f2
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH1 0x40
000000f7: DUP1
000000f8: MLOAD
000000f9: DUP3
000000fa: MLOAD
000000fb: PUSH1 0x01
000000fd: PUSH1 0x01
000000ff: PUSH1 0xa0
00000101: SHL
00000102: SUB
00000103: AND
00000104: DUP2
00000105: MSTORE
00000106: PUSH1 0x20
00000108: SWAP3
00000109: DUP4
0000010a: ADD
0000010b: MLOAD
0000010c: SWAP3
0000010d: DUP2
0000010e: ADD
0000010f: SWAP3
00000110: SWAP1
00000111: SWAP3
00000112: MSTORE
00000113: ADD
00000114: JUMPDEST
00000115: PUSH1 0x40
00000117: MLOAD
00000118: DUP1
00000119: SWAP2
0000011a: SUB
0000011b: SWAP1
0000011c: RETURN
0000011d: JUMPDEST
0000011e: PUSH2 0x00cc
00000121: PUSH2 0x0860
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH1 0x00
00000128: SLOAD
00000129: PUSH1 0x40
0000012b: MLOAD
0000012c: PUSH1 0x01
0000012e: PUSH1 0x01
00000130: PUSH1 0xa0
00000132: SHL
00000133: SUB
00000134: SWAP1
00000135: SWAP2
00000136: AND
00000137: DUP2
00000138: MSTORE
00000139: PUSH1 0x20
0000013b: ADD
0000013c: PUSH2 0x0114
0000013f: JUMP
00000140: JUMPDEST
00000141: PUSH2 0x00cc
00000144: PUSH2 0x014e
00000147: CALLDATASIZE
00000148: PUSH1 0x04
0000014a: PUSH2 0x10b7
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH2 0x0874
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x0186
00000157: PUSH2 0x0161
0000015a: CALLDATASIZE
0000015b: PUSH1 0x04
0000015d: PUSH2 0x109e
00000160: JUMP
00000161: JUMPDEST
00000162: PUSH1 0x01
00000164: PUSH1 0x20
00000166: DUP2
00000167: SWAP1
00000168: MSTORE
00000169: PUSH1 0x00
0000016b: SWAP2
0000016c: DUP3
0000016d: MSTORE
0000016e: PUSH1 0x40
00000170: SWAP1
00000171: SWAP2
00000172: KECCAK256
00000173: DUP1
00000174: SLOAD
00000175: SWAP2
00000176: ADD
00000177: SLOAD
00000178: PUSH1 0x01
0000017a: PUSH1 0x01
0000017c: PUSH1 0xa0
0000017e: SHL
0000017f: SUB
00000180: SWAP1
00000181: SWAP2
00000182: AND
00000183: SWAP1
00000184: DUP3
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH1 0x40
00000189: DUP1
0000018a: MLOAD
0000018b: PUSH1 0x01
0000018d: PUSH1 0x01
0000018f: PUSH1 0xa0
00000191: SHL
00000192: SUB
00000193: SWAP1
00000194: SWAP4
00000195: AND
00000196: DUP4
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: DUP4
0000019b: ADD
0000019c: SWAP2
0000019d: SWAP1
0000019e: SWAP2
0000019f: MSTORE
000001a0: ADD
000001a1: PUSH2 0x0114
000001a4: JUMP
000001a5: JUMPDEST
000001a6: PUSH2 0x01ae
000001a9: PUSH1 0x02
000001ab: SLOAD
000001ac: DUP2
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: SWAP1
000001b3: DUP2
000001b4: MSTORE
000001b5: PUSH1 0x20
000001b7: ADD
000001b8: PUSH2 0x0114
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x00cc
000001c0: PUSH2 0x01ca
000001c3: CALLDATASIZE
000001c4: PUSH1 0x04
000001c6: PUSH2 0x10f3
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH2 0x0890
000001ce: JUMP
000001cf: JUMPDEST
000001d0: PUSH2 0x00cc
000001d3: PUSH2 0x01dd
000001d6: CALLDATASIZE
000001d7: PUSH1 0x04
000001d9: PUSH2 0x111d
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH2 0x08a6
000001e1: JUMP
000001e2: JUMPDEST
000001e3: PUSH2 0x01f5
000001e6: PUSH2 0x01f0
000001e9: CALLDATASIZE
000001ea: PUSH1 0x04
000001ec: PUSH2 0x113f
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH2 0x091f
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH1 0x40
000001f8: MLOAD
000001f9: SWAP1
000001fa: ISZERO
000001fb: ISZERO
000001fc: DUP2
000001fd: MSTORE
000001fe: PUSH1 0x20
00000200: ADD
00000201: PUSH2 0x0114
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH1 0x00
00000208: JUMPDEST
00000209: DUP2
0000020a: DUP2
0000020b: LT
0000020c: ISZERO
0000020d: PUSH2 0x0648
00000210: JUMPI
00000211: PUSH1 0x02
00000213: SLOAD
00000214: DUP4
00000215: DUP4
00000216: DUP4
00000217: DUP2
00000218: DUP2
00000219: LT
0000021a: PUSH2 0x0225
0000021d: JUMPI
0000021e: PUSH2 0x0225
00000221: PUSH2 0x1161
00000224: JUMP
00000225: JUMPDEST
00000226: SWAP1
00000227: POP
00000228: PUSH1 0x20
0000022a: MUL
0000022b: DUP2
0000022c: ADD
0000022d: SWAP1
0000022e: PUSH2 0x0237
00000231: SWAP2
00000232: SWAP1
00000233: PUSH2 0x1177
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x60
0000023a: ADD
0000023b: CALLDATALOAD
0000023c: LT
0000023d: PUSH2 0x0261
00000240: JUMPI
00000241: PUSH1 0x40
00000243: MLOAD
00000244: PUSH3 0x461bcd
00000248: PUSH1 0xe5
0000024a: SHL
0000024b: DUP2
0000024c: MSTORE
0000024d: PUSH1 0x04
0000024f: ADD
00000250: PUSH2 0x0258
00000253: SWAP1
00000254: PUSH2 0x1197
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: DUP1
0000025d: SWAP2
0000025e: SUB
0000025f: SWAP1
00000260: REVERT
00000261: JUMPDEST
00000262: PUSH2 0x02b6
00000265: DUP4
00000266: DUP4
00000267: DUP4
00000268: DUP2
00000269: DUP2
0000026a: LT
0000026b: PUSH2 0x0276
0000026e: JUMPI
0000026f: PUSH2 0x0276
00000272: PUSH2 0x1161
00000275: JUMP
00000276: JUMPDEST
00000277: SWAP1
00000278: POP
00000279: PUSH1 0x20
0000027b: MUL
0000027c: DUP2
0000027d: ADD
0000027e: SWAP1
0000027f: PUSH2 0x0288
00000282: SWAP2
00000283: SWAP1
00000284: PUSH2 0x1177
00000287: JUMP
00000288: JUMPDEST
00000289: CALLDATALOAD
0000028a: DUP5
0000028b: DUP5
0000028c: DUP5
0000028d: DUP2
0000028e: DUP2
0000028f: LT
00000290: PUSH2 0x029b
00000293: JUMPI
00000294: PUSH2 0x029b
00000297: PUSH2 0x1161
0000029a: JUMP
0000029b: JUMPDEST
0000029c: SWAP1
0000029d: POP
0000029e: PUSH1 0x20
000002a0: MUL
000002a1: DUP2
000002a2: ADD
000002a3: SWAP1
000002a4: PUSH2 0x02ad
000002a7: SWAP2
000002a8: SWAP1
000002a9: PUSH2 0x1177
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH1 0x60
000002b0: ADD
000002b1: CALLDATALOAD
000002b2: PUSH2 0x091f
000002b5: JUMP
000002b6: JUMPDEST
000002b7: ISZERO
000002b8: PUSH2 0x0314
000002bb: JUMPI
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: PUSH3 0x461bcd
000002c3: PUSH1 0xe5
000002c5: SHL
000002c6: DUP2
000002c7: MSTORE
000002c8: PUSH1 0x20
000002ca: PUSH1 0x04
000002cc: DUP3
000002cd: ADD
000002ce: MSTORE
000002cf: PUSH1 0x28
000002d1: PUSH1 0x24
000002d3: DUP3
000002d4: ADD
000002d5: MSTORE
000002d6: PUSH32 0x4d65726b6c654469737472696275746f723a2044726f7020616c726561647920
000002f7: PUSH1 0x44
000002f9: DUP3
000002fa: ADD
000002fb: MSTORE
000002fc: PUSH8 0x31b630b4b6b2b217
00000305: PUSH1 0xc1
00000307: SHL
00000308: PUSH1 0x64
0000030a: DUP3
0000030b: ADD
0000030c: MSTORE
0000030d: PUSH1 0x84
0000030f: ADD
00000310: PUSH2 0x0258
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH1 0x00
00000317: DUP4
00000318: DUP4
00000319: DUP4
0000031a: DUP2
0000031b: DUP2
0000031c: LT
0000031d: PUSH2 0x0328
00000320: JUMPI
00000321: PUSH2 0x0328
00000324: PUSH2 0x1161
00000327: JUMP
00000328: JUMPDEST
00000329: SWAP1
0000032a: POP
0000032b: PUSH1 0x20
0000032d: MUL
0000032e: DUP2
0000032f: ADD
00000330: SWAP1
00000331: PUSH2 0x033a
00000334: SWAP2
00000335: SWAP1
00000336: PUSH2 0x1177
00000339: JUMP
0000033a: JUMPDEST
0000033b: CALLDATALOAD
0000033c: CALLER
0000033d: DUP6
0000033e: DUP6
0000033f: DUP6
00000340: DUP2
00000341: DUP2
00000342: LT
00000343: PUSH2 0x034e
00000346: JUMPI
00000347: PUSH2 0x034e
0000034a: PUSH2 0x1161
0000034d: JUMP
0000034e: JUMPDEST
0000034f: SWAP1
00000350: POP
00000351: PUSH1 0x20
00000353: MUL
00000354: DUP2
00000355: ADD
00000356: SWAP1
00000357: PUSH2 0x0360
0000035a: SWAP2
0000035b: SWAP1
0000035c: PUSH2 0x1177
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH1 0x20
00000363: ADD
00000364: CALLDATALOAD
00000365: PUSH1 0x40
00000367: MLOAD
00000368: PUSH1 0x20
0000036a: ADD
0000036b: PUSH2 0x0399
0000036e: SWAP4
0000036f: SWAP3
00000370: SWAP2
00000371: SWAP1
00000372: SWAP3
00000373: DUP4
00000374: MSTORE
00000375: PUSH1 0x60
00000377: SWAP2
00000378: SWAP1
00000379: SWAP2
0000037a: SHL
0000037b: PUSH12 0xffffffffffffffffffffffff
00000388: NOT
00000389: AND
0000038a: PUSH1 0x20
0000038c: DUP4
0000038d: ADD
0000038e: MSTORE
0000038f: PUSH1 0x34
00000391: DUP3
00000392: ADD
00000393: MSTORE
00000394: PUSH1 0x54
00000396: ADD
00000397: SWAP1
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: PUSH1 0x20
0000039f: DUP2
000003a0: DUP4
000003a1: SUB
000003a2: SUB
000003a3: DUP2
000003a4: MSTORE
000003a5: SWAP1
000003a6: PUSH1 0x40
000003a8: MSTORE
000003a9: DUP1
000003aa: MLOAD
000003ab: SWAP1
000003ac: PUSH1 0x20
000003ae: ADD
000003af: KECCAK256
000003b0: SWAP1
000003b1: POP
000003b2: PUSH2 0x045b
000003b5: DUP5
000003b6: DUP5
000003b7: DUP5
000003b8: DUP2
000003b9: DUP2
000003ba: LT
000003bb: PUSH2 0x03c6
000003be: JUMPI
000003bf: PUSH2 0x03c6
000003c2: PUSH2 0x1161
000003c5: JUMP
000003c6: JUMPDEST
000003c7: SWAP1
000003c8: POP
000003c9: PUSH1 0x20
000003cb: MUL
000003cc: DUP2
000003cd: ADD
000003ce: SWAP1
000003cf: PUSH2 0x03d8
000003d2: SWAP2
000003d3: SWAP1
000003d4: PUSH2 0x1177
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH2 0x03e6
000003dc: SWAP1
000003dd: PUSH1 0x40
000003df: DUP2
000003e0: ADD
000003e1: SWAP1
000003e2: PUSH2 0x11e1
000003e5: JUMP
000003e6: JUMPDEST
000003e7: DUP1
000003e8: DUP1
000003e9: PUSH1 0x20
000003eb: MUL
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: SWAP1
000003f3: DUP2
000003f4: ADD
000003f5: PUSH1 0x40
000003f7: MSTORE
000003f8: DUP1
000003f9: SWAP4
000003fa: SWAP3
000003fb: SWAP2
000003fc: SWAP1
000003fd: DUP2
000003fe: DUP2
000003ff: MSTORE
00000400: PUSH1 0x20
00000402: ADD
00000403: DUP4
00000404: DUP4
00000405: PUSH1 0x20
00000407: MUL
00000408: DUP1
00000409: DUP3
0000040a: DUP5
0000040b: CALLDATACOPY
0000040c: PUSH1 0x00
0000040e: SWAP3
0000040f: ADD
00000410: DUP3
00000411: SWAP1
00000412: MSTORE
00000413: POP
00000414: PUSH1 0x01
00000416: SWAP4
00000417: POP
00000418: SWAP2
00000419: POP
0000041a: DUP9
0000041b: SWAP1
0000041c: POP
0000041d: DUP8
0000041e: DUP8
0000041f: DUP2
00000420: DUP2
00000421: LT
00000422: PUSH2 0x042d
00000425: JUMPI
00000426: PUSH2 0x042d
00000429: PUSH2 0x1161
0000042c: JUMP
0000042d: JUMPDEST
0000042e: SWAP1
0000042f: POP
00000430: PUSH1 0x20
00000432: MUL
00000433: DUP2
00000434: ADD
00000435: SWAP1
00000436: PUSH2 0x043f
00000439: SWAP2
0000043a: SWAP1
0000043b: PUSH2 0x1177
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH1 0x60
00000442: ADD
00000443: CALLDATALOAD
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x20
00000448: ADD
00000449: SWAP1
0000044a: DUP2
0000044b: MSTORE
0000044c: PUSH1 0x20
0000044e: ADD
0000044f: PUSH1 0x00
00000451: KECCAK256
00000452: PUSH1 0x01
00000454: ADD
00000455: SLOAD
00000456: DUP4
00000457: PUSH2 0x098f
0000045a: JUMP
0000045b: JUMPDEST
0000045c: PUSH2 0x04b1
0000045f: JUMPI
00000460: PUSH1 0x40
00000462: MLOAD
00000463: PUSH3 0x461bcd
00000467: PUSH1 0xe5
00000469: SHL
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x20
0000046e: PUSH1 0x04
00000470: DUP3
00000471: ADD
00000472: MSTORE
00000473: PUSH1 0x21
00000475: PUSH1 0x24
00000477: DUP3
00000478: ADD
00000479: MSTORE
0000047a: PUSH32 0x4d65726b6c654469737472696275746f723a20496e76616c69642070726f6f66
0000049b: PUSH1 0x44
0000049d: DUP3
0000049e: ADD
0000049f: MSTORE
000004a0: PUSH1 0x17
000004a2: PUSH1 0xf9
000004a4: SHL
000004a5: PUSH1 0x64
000004a7: DUP3
000004a8: ADD
000004a9: MSTORE
000004aa: PUSH1 0x84
000004ac: ADD
000004ad: PUSH2 0x0258
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH2 0x0506
000004b5: DUP5
000004b6: DUP5
000004b7: DUP5
000004b8: DUP2
000004b9: DUP2
000004ba: LT
000004bb: PUSH2 0x04c6
000004be: JUMPI
000004bf: PUSH2 0x04c6
000004c2: PUSH2 0x1161
000004c5: JUMP
000004c6: JUMPDEST
000004c7: SWAP1
000004c8: POP
000004c9: PUSH1 0x20
000004cb: MUL
000004cc: DUP2
000004cd: ADD
000004ce: SWAP1
000004cf: PUSH2 0x04d8
000004d2: SWAP2
000004d3: SWAP1
000004d4: PUSH2 0x1177
000004d7: JUMP
000004d8: JUMPDEST
000004d9: CALLDATALOAD
000004da: DUP6
000004db: DUP6
000004dc: DUP6
000004dd: DUP2
000004de: DUP2
000004df: LT
000004e0: PUSH2 0x04eb
000004e3: JUMPI
000004e4: PUSH2 0x04eb
000004e7: PUSH2 0x1161
000004ea: JUMP
000004eb: JUMPDEST
000004ec: SWAP1
000004ed: POP
000004ee: PUSH1 0x20
000004f0: MUL
000004f1: DUP2
000004f2: ADD
000004f3: SWAP1
000004f4: PUSH2 0x04fd
000004f7: SWAP2
000004f8: SWAP1
000004f9: PUSH2 0x1177
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH1 0x60
00000500: ADD
00000501: CALLDATALOAD
00000502: PUSH2 0x09a5
00000505: JUMP
00000506: JUMPDEST
00000507: PUSH2 0x057f
0000050a: CALLER
0000050b: DUP6
0000050c: DUP6
0000050d: DUP6
0000050e: DUP2
0000050f: DUP2
00000510: LT
00000511: PUSH2 0x051c
00000514: JUMPI
00000515: PUSH2 0x051c
00000518: PUSH2 0x1161
0000051b: JUMP
0000051c: JUMPDEST
0000051d: SWAP1
0000051e: POP
0000051f: PUSH1 0x20
00000521: MUL
00000522: DUP2
00000523: ADD
00000524: SWAP1
00000525: PUSH2 0x052e
00000528: SWAP2
00000529: SWAP1
0000052a: PUSH2 0x1177
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x20
00000531: ADD
00000532: CALLDATALOAD
00000533: PUSH1 0x01
00000535: PUSH1 0x00
00000537: DUP9
00000538: DUP9
00000539: DUP9
0000053a: DUP2
0000053b: DUP2
0000053c: LT
0000053d: PUSH2 0x0548
00000540: JUMPI
00000541: PUSH2 0x0548
00000544: PUSH2 0x1161
00000547: JUMP
00000548: JUMPDEST
00000549: SWAP1
0000054a: POP
0000054b: PUSH1 0x20
0000054d: MUL
0000054e: DUP2
0000054f: ADD
00000550: SWAP1
00000551: PUSH2 0x055a
00000554: SWAP2
00000555: SWAP1
00000556: PUSH2 0x1177
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x60
0000055d: ADD
0000055e: CALLDATALOAD
0000055f: DUP2
00000560: MSTORE
00000561: PUSH1 0x20
00000563: DUP2
00000564: ADD
00000565: SWAP2
00000566: SWAP1
00000567: SWAP2
00000568: MSTORE
00000569: PUSH1 0x40
0000056b: ADD
0000056c: PUSH1 0x00
0000056e: KECCAK256
0000056f: SLOAD
00000570: PUSH1 0x01
00000572: PUSH1 0x01
00000574: PUSH1 0xa0
00000576: SHL
00000577: SUB
00000578: AND
00000579: SWAP2
0000057a: SWAP1
0000057b: PUSH2 0x09f2
0000057e: JUMP
0000057f: JUMPDEST
00000580: DUP4
00000581: DUP4
00000582: DUP4
00000583: DUP2
00000584: DUP2
00000585: LT
00000586: PUSH2 0x0591
00000589: JUMPI
0000058a: PUSH2 0x0591
0000058d: PUSH2 0x1161
00000590: JUMP
00000591: JUMPDEST
00000592: SWAP1
00000593: POP
00000594: PUSH1 0x20
00000596: MUL
00000597: DUP2
00000598: ADD
00000599: SWAP1
0000059a: PUSH2 0x05a3
0000059d: SWAP2
0000059e: SWAP1
0000059f: PUSH2 0x1177
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH1 0x60
000005a6: ADD
000005a7: CALLDATALOAD
000005a8: CALLER
000005a9: PUSH32 0xd9cb1e2714d65a111c0f20f060176ad657496bd47a3de04ec7c3d4ca232112ac
000005ca: DUP7
000005cb: DUP7
000005cc: DUP7
000005cd: DUP2
000005ce: DUP2
000005cf: LT
000005d0: PUSH2 0x05db
000005d3: JUMPI
000005d4: PUSH2 0x05db
000005d7: PUSH2 0x1161
000005da: JUMP
000005db: JUMPDEST
000005dc: SWAP1
000005dd: POP
000005de: PUSH1 0x20
000005e0: MUL
000005e1: DUP2
000005e2: ADD
000005e3: SWAP1
000005e4: PUSH2 0x05ed
000005e7: SWAP2
000005e8: SWAP1
000005e9: PUSH2 0x1177
000005ec: JUMP
000005ed: JUMPDEST
000005ee: CALLDATALOAD
000005ef: DUP8
000005f0: DUP8
000005f1: DUP8
000005f2: DUP2
000005f3: DUP2
000005f4: LT
000005f5: PUSH2 0x0600
000005f8: JUMPI
000005f9: PUSH2 0x0600
000005fc: PUSH2 0x1161
000005ff: JUMP
00000600: JUMPDEST
00000601: SWAP1
00000602: POP
00000603: PUSH1 0x20
00000605: MUL
00000606: DUP2
00000607: ADD
00000608: SWAP1
00000609: PUSH2 0x0612
0000060c: SWAP2
0000060d: SWAP1
0000060e: PUSH2 0x1177
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH1 0x20
00000615: ADD
00000616: CALLDATALOAD
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: PUSH2 0x062d
0000061d: SWAP3
0000061e: SWAP2
0000061f: SWAP1
00000620: SWAP2
00000621: DUP3
00000622: MSTORE
00000623: PUSH1 0x20
00000625: DUP3
00000626: ADD
00000627: MSTORE
00000628: PUSH1 0x40
0000062a: ADD
0000062b: SWAP1
0000062c: JUMP
0000062d: JUMPDEST
0000062e: PUSH1 0x40
00000630: MLOAD
00000631: DUP1
00000632: SWAP2
00000633: SUB
00000634: SWAP1
00000635: LOG3
00000636: POP
00000637: DUP1
00000638: PUSH2 0x0640
0000063b: DUP2
0000063c: PUSH2 0x1232
0000063f: JUMP
00000640: JUMPDEST
00000641: SWAP2
00000642: POP
00000643: POP
00000644: PUSH2 0x0208
00000647: JUMP
00000648: JUMPDEST
00000649: POP
0000064a: POP
0000064b: POP
0000064c: JUMP
0000064d: JUMPDEST
0000064e: PUSH2 0x0655
00000651: PUSH2 0x0a44
00000654: JUMP
00000655: JUMPDEST
00000656: DUP1
00000657: MLOAD
00000658: DUP3
00000659: MLOAD
0000065a: EQ
0000065b: PUSH2 0x06cc
0000065e: JUMPI
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: PUSH3 0x461bcd
00000666: PUSH1 0xe5
00000668: SHL
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: PUSH1 0x04
0000066f: DUP3
00000670: ADD
00000671: MSTORE
00000672: PUSH1 0x3c
00000674: PUSH1 0x24
00000676: DUP3
00000677: ADD
00000678: MSTORE
00000679: PUSH32 0x4d65726b6c654469737472696275746f723a20746f6b656e73206e6f74207468
0000069a: PUSH1 0x44
0000069c: DUP3
0000069d: ADD
0000069e: MSTORE
0000069f: PUSH32 0x652073616d65206c656e677468206173206d65726b6c65526f6f747300000000
000006c0: PUSH1 0x64
000006c2: DUP3
000006c3: ADD
000006c4: MSTORE
000006c5: PUSH1 0x84
000006c7: ADD
000006c8: PUSH2 0x0258
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH1 0x00
000006cf: JUMPDEST
000006d0: DUP3
000006d1: MLOAD
000006d2: DUP2
000006d3: LT
000006d4: ISZERO
000006d5: PUSH2 0x0648
000006d8: JUMPI
000006d9: PUSH1 0x02
000006db: SLOAD
000006dc: DUP4
000006dd: MLOAD
000006de: DUP5
000006df: SWAP1
000006e0: DUP4
000006e1: SWAP1
000006e2: DUP2
000006e3: LT
000006e4: PUSH2 0x06ef
000006e7: JUMPI
000006e8: PUSH2 0x06ef
000006eb: PUSH2 0x1161
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x20
000006f2: MUL
000006f3: PUSH1 0x20
000006f5: ADD
000006f6: ADD
000006f7: MLOAD
000006f8: PUSH1 0x01
000006fa: PUSH1 0x00
000006fc: DUP4
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x20
00000701: ADD
00000702: SWAP1
00000703: DUP2
00000704: MSTORE
00000705: PUSH1 0x20
00000707: ADD
00000708: PUSH1 0x00
0000070a: KECCAK256
0000070b: PUSH1 0x00
0000070d: ADD
0000070e: PUSH1 0x00
00000710: PUSH2 0x0100
00000713: EXP
00000714: DUP2
00000715: SLOAD
00000716: DUP2
00000717: PUSH1 0x01
00000719: PUSH1 0x01
0000071b: PUSH1 0xa0
0000071d: SHL
0000071e: SUB
0000071f: MUL
00000720: NOT
00000721: AND
00000722: SWAP1
00000723: DUP4
00000724: PUSH1 0x01
00000726: PUSH1 0x01
00000728: PUSH1 0xa0
0000072a: SHL
0000072b: SUB
0000072c: AND
0000072d: MUL
0000072e: OR
0000072f: SWAP1
00000730: SSTORE
00000731: POP
00000732: DUP3
00000733: DUP3
00000734: DUP2
00000735: MLOAD
00000736: DUP2
00000737: LT
00000738: PUSH2 0x0743
0000073b: JUMPI
0000073c: PUSH2 0x0743
0000073f: PUSH2 0x1161
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH1 0x20
00000746: SWAP1
00000747: DUP2
00000748: MUL
00000749: SWAP2
0000074a: SWAP1
0000074b: SWAP2
0000074c: ADD
0000074d: DUP2
0000074e: ADD
0000074f: MLOAD
00000750: PUSH1 0x00
00000752: DUP4
00000753: DUP2
00000754: MSTORE
00000755: PUSH1 0x01
00000757: SWAP3
00000758: DUP4
00000759: SWAP1
0000075a: MSTORE
0000075b: PUSH1 0x40
0000075d: DUP2
0000075e: KECCAK256
0000075f: SWAP1
00000760: SWAP3
00000761: ADD
00000762: SSTORE
00000763: PUSH1 0x02
00000765: DUP1
00000766: SLOAD
00000767: SWAP2
00000768: PUSH2 0x0770
0000076b: DUP4
0000076c: PUSH2 0x1232
0000076f: JUMP
00000770: JUMPDEST
00000771: SWAP2
00000772: SWAP1
00000773: POP
00000774: SSTORE
00000775: POP
00000776: DUP1
00000777: DUP4
00000778: DUP4
00000779: DUP2
0000077a: MLOAD
0000077b: DUP2
0000077c: LT
0000077d: PUSH2 0x0788
00000780: JUMPI
00000781: PUSH2 0x0788
00000784: PUSH2 0x1161
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x20
0000078b: MUL
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: ADD
00000790: MLOAD
00000791: DUP6
00000792: DUP5
00000793: DUP2
00000794: MLOAD
00000795: DUP2
00000796: LT
00000797: PUSH2 0x07a2
0000079a: JUMPI
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x1161
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x20
000007a5: MUL
000007a6: PUSH1 0x20
000007a8: ADD
000007a9: ADD
000007aa: MLOAD
000007ab: PUSH1 0x01
000007ad: PUSH1 0x01
000007af: PUSH1 0xa0
000007b1: SHL
000007b2: SUB
000007b3: AND
000007b4: PUSH32 0x9e8b584ed19ad497caf118c24f22b82fcc07eb52d2fc33028d21ccf2f89ada35
000007d5: PUSH1 0x40
000007d7: MLOAD
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: DUP1
000007dc: SWAP2
000007dd: SUB
000007de: SWAP1
000007df: LOG4
000007e0: POP
000007e1: DUP1
000007e2: PUSH2 0x07ea
000007e5: DUP2
000007e6: PUSH2 0x1232
000007e9: JUMP
000007ea: JUMPDEST
000007eb: SWAP2
000007ec: POP
000007ed: POP
000007ee: PUSH2 0x06cf
000007f1: JUMP
000007f2: JUMPDEST
000007f3: PUSH1 0x40
000007f5: DUP1
000007f6: MLOAD
000007f7: DUP1
000007f8: DUP3
000007f9: ADD
000007fa: SWAP1
000007fb: SWAP2
000007fc: MSTORE
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: DUP3
00000801: MSTORE
00000802: PUSH1 0x20
00000804: DUP3
00000805: ADD
00000806: MSTORE
00000807: PUSH1 0x02
00000809: SLOAD
0000080a: DUP3
0000080b: LT
0000080c: PUSH2 0x0827
0000080f: JUMPI
00000810: PUSH1 0x40
00000812: MLOAD
00000813: PUSH3 0x461bcd
00000817: PUSH1 0xe5
00000819: SHL
0000081a: DUP2
0000081b: MSTORE
0000081c: PUSH1 0x04
0000081e: ADD
0000081f: PUSH2 0x0258
00000822: SWAP1
00000823: PUSH2 0x1197
00000826: JUMP
00000827: JUMPDEST
00000828: POP
00000829: PUSH1 0x40
0000082b: DUP1
0000082c: MLOAD
0000082d: DUP1
0000082e: DUP3
0000082f: ADD
00000830: DUP3
00000831: MSTORE
00000832: PUSH1 0x00
00000834: DUP4
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x01
00000839: PUSH1 0x20
0000083b: DUP2
0000083c: DUP2
0000083d: MSTORE
0000083e: SWAP4
0000083f: DUP3
00000840: KECCAK256
00000841: DUP1
00000842: SLOAD
00000843: PUSH1 0x01
00000845: PUSH1 0x01
00000847: PUSH1 0xa0
00000849: SHL
0000084a: SUB
0000084b: AND
0000084c: DUP5
0000084d: MSTORE
0000084e: SWAP5
0000084f: SWAP1
00000850: SWAP2
00000851: MSTORE
00000852: DUP1
00000853: DUP4
00000854: MSTORE
00000855: SWAP3
00000856: SWAP1
00000857: SWAP3
00000858: ADD
00000859: SLOAD
0000085a: SWAP1
0000085b: DUP3
0000085c: ADD
0000085d: MSTORE
0000085e: SWAP1
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH2 0x0868
00000864: PUSH2 0x0a44
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH2 0x0872
0000086c: PUSH1 0x00
0000086e: PUSH2 0x0a9e
00000871: JUMP
00000872: JUMPDEST
00000873: JUMP
00000874: JUMPDEST
00000875: PUSH2 0x087c
00000878: PUSH2 0x0a44
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH2 0x0648
00000880: PUSH1 0x01
00000882: PUSH1 0x01
00000884: PUSH1 0xa0
00000886: SHL
00000887: SUB
00000888: DUP5
00000889: AND
0000088a: DUP4
0000088b: DUP4
0000088c: PUSH2 0x09f2
0000088f: JUMP
00000890: JUMPDEST
00000891: PUSH2 0x0898
00000894: PUSH2 0x0a44
00000897: JUMP
00000898: JUMPDEST
00000899: PUSH2 0x08a2
0000089c: DUP3
0000089d: DUP3
0000089e: PUSH2 0x0aee
000008a1: JUMP
000008a2: JUMPDEST
000008a3: POP
000008a4: POP
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH2 0x08ae
000008aa: PUSH2 0x0a44
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH1 0x01
000008b1: PUSH1 0x01
000008b3: PUSH1 0xa0
000008b5: SHL
000008b6: SUB
000008b7: DUP2
000008b8: AND
000008b9: PUSH2 0x0913
000008bc: JUMPI
000008bd: PUSH1 0x40
000008bf: MLOAD
000008c0: PUSH3 0x461bcd
000008c4: PUSH1 0xe5
000008c6: SHL
000008c7: DUP2
000008c8: MSTORE
000008c9: PUSH1 0x20
000008cb: PUSH1 0x04
000008cd: DUP3
000008ce: ADD
000008cf: MSTORE
000008d0: PUSH1 0x26
000008d2: PUSH1 0x24
000008d4: DUP3
000008d5: ADD
000008d6: MSTORE
000008d7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000008f8: PUSH1 0x44
000008fa: DUP3
000008fb: ADD
000008fc: MSTORE
000008fd: PUSH6 0x646472657373
00000904: PUSH1 0xd0
00000906: SHL
00000907: PUSH1 0x64
00000909: DUP3
0000090a: ADD
0000090b: MSTORE
0000090c: PUSH1 0x84
0000090e: ADD
0000090f: PUSH2 0x0258
00000912: JUMP
00000913: JUMPDEST
00000914: PUSH2 0x091c
00000917: DUP2
00000918: PUSH2 0x0a9e
0000091b: JUMP
0000091c: JUMPDEST
0000091d: POP
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x00
00000922: PUSH1 0x02
00000924: SLOAD
00000925: DUP3
00000926: LT
00000927: PUSH2 0x0942
0000092a: JUMPI
0000092b: PUSH1 0x40
0000092d: MLOAD
0000092e: PUSH3 0x461bcd
00000932: PUSH1 0xe5
00000934: SHL
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x04
00000939: ADD
0000093a: PUSH2 0x0258
0000093d: SWAP1
0000093e: PUSH2 0x1197
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x00
00000945: PUSH2 0x0950
00000948: PUSH2 0x0100
0000094b: DUP6
0000094c: PUSH2 0x126f
0000094f: JUMP
00000950: JUMPDEST
00000951: SWAP1
00000952: POP
00000953: PUSH1 0x00
00000955: PUSH2 0x0960
00000958: PUSH2 0x0100
0000095b: DUP7
0000095c: PUSH2 0x1283
0000095f: JUMP
00000960: JUMPDEST
00000961: PUSH1 0x00
00000963: SWAP5
00000964: DUP6
00000965: MSTORE
00000966: PUSH1 0x01
00000968: PUSH1 0x20
0000096a: DUP2
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x40
0000096f: DUP1
00000970: DUP9
00000971: KECCAK256
00000972: SWAP6
00000973: DUP9
00000974: MSTORE
00000975: PUSH1 0x02
00000977: SWAP1
00000978: SWAP6
00000979: ADD
0000097a: SWAP1
0000097b: MSTORE
0000097c: SWAP3
0000097d: SWAP1
0000097e: SWAP5
0000097f: KECCAK256
00000980: SLOAD
00000981: SWAP2
00000982: SWAP1
00000983: SWAP4
00000984: SHL
00000985: SWAP1
00000986: DUP2
00000987: AND
00000988: EQ
00000989: SWAP4
0000098a: SWAP3
0000098b: POP
0000098c: POP
0000098d: POP
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x00
00000992: DUP3
00000993: PUSH2 0x099c
00000996: DUP6
00000997: DUP5
00000998: PUSH2 0x0ba1
0000099b: JUMP
0000099c: JUMPDEST
0000099d: EQ
0000099e: SWAP5
0000099f: SWAP4
000009a0: POP
000009a1: POP
000009a2: POP
000009a3: POP
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x00
000009a8: PUSH2 0x09b3
000009ab: PUSH2 0x0100
000009ae: DUP5
000009af: PUSH2 0x126f
000009b2: JUMP
000009b3: JUMPDEST
000009b4: SWAP1
000009b5: POP
000009b6: PUSH1 0x00
000009b8: PUSH2 0x09c3
000009bb: PUSH2 0x0100
000009be: DUP6
000009bf: PUSH2 0x1283
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x00
000009c6: SWAP4
000009c7: DUP5
000009c8: MSTORE
000009c9: PUSH1 0x01
000009cb: PUSH1 0x20
000009cd: DUP2
000009ce: DUP2
000009cf: MSTORE
000009d0: PUSH1 0x40
000009d2: DUP1
000009d3: DUP8
000009d4: KECCAK256
000009d5: SWAP6
000009d6: DUP8
000009d7: MSTORE
000009d8: PUSH1 0x02
000009da: SWAP1
000009db: SWAP6
000009dc: ADD
000009dd: SWAP1
000009de: MSTORE
000009df: SWAP3
000009e0: SWAP1
000009e1: SWAP4
000009e2: KECCAK256
000009e3: DUP1
000009e4: SLOAD
000009e5: SWAP3
000009e6: SWAP1
000009e7: SWAP4
000009e8: SHL
000009e9: SWAP1
000009ea: SWAP2
000009eb: OR
000009ec: SWAP1
000009ed: SWAP2
000009ee: SSTORE
000009ef: POP
000009f0: POP
000009f1: JUMP
000009f2: JUMPDEST
000009f3: PUSH1 0x40
000009f5: DUP1
000009f6: MLOAD
000009f7: PUSH1 0x01
000009f9: PUSH1 0x01
000009fb: PUSH1 0xa0
000009fd: SHL
000009fe: SUB
000009ff: DUP5
00000a00: AND
00000a01: PUSH1 0x24
00000a03: DUP3
00000a04: ADD
00000a05: MSTORE
00000a06: PUSH1 0x44
00000a08: DUP1
00000a09: DUP3
00000a0a: ADD
00000a0b: DUP5
00000a0c: SWAP1
00000a0d: MSTORE
00000a0e: DUP3
00000a0f: MLOAD
00000a10: DUP1
00000a11: DUP4
00000a12: SUB
00000a13: SWAP1
00000a14: SWAP2
00000a15: ADD
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x64
00000a1a: SWAP1
00000a1b: SWAP2
00000a1c: ADD
00000a1d: SWAP1
00000a1e: SWAP2
00000a1f: MSTORE
00000a20: PUSH1 0x20
00000a22: DUP2
00000a23: ADD
00000a24: DUP1
00000a25: MLOAD
00000a26: PUSH1 0x01
00000a28: PUSH1 0x01
00000a2a: PUSH1 0xe0
00000a2c: SHL
00000a2d: SUB
00000a2e: AND
00000a2f: PUSH4 0xa9059cbb
00000a34: PUSH1 0xe0
00000a36: SHL
00000a37: OR
00000a38: SWAP1
00000a39: MSTORE
00000a3a: PUSH2 0x0648
00000a3d: SWAP1
00000a3e: DUP5
00000a3f: SWAP1
00000a40: PUSH2 0x0c15
00000a43: JUMP
00000a44: JUMPDEST
00000a45: PUSH1 0x00
00000a47: SLOAD
00000a48: PUSH1 0x01
00000a4a: PUSH1 0x01
00000a4c: PUSH1 0xa0
00000a4e: SHL
00000a4f: SUB
00000a50: AND
00000a51: CALLER
00000a52: EQ
00000a53: PUSH2 0x0872
00000a56: JUMPI
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: PUSH3 0x461bcd
00000a5e: PUSH1 0xe5
00000a60: SHL
00000a61: DUP2
00000a62: MSTORE
00000a63: PUSH1 0x20
00000a65: PUSH1 0x04
00000a67: DUP3
00000a68: ADD
00000a69: DUP2
00000a6a: SWAP1
00000a6b: MSTORE
00000a6c: PUSH1 0x24
00000a6e: DUP3
00000a6f: ADD
00000a70: MSTORE
00000a71: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a92: PUSH1 0x44
00000a94: DUP3
00000a95: ADD
00000a96: MSTORE
00000a97: PUSH1 0x64
00000a99: ADD
00000a9a: PUSH2 0x0258
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: SLOAD
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0xa0
00000aa9: SHL
00000aaa: SUB
00000aab: DUP4
00000aac: DUP2
00000aad: AND
00000aae: PUSH1 0x01
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0xa0
00000ab4: SHL
00000ab5: SUB
00000ab6: NOT
00000ab7: DUP4
00000ab8: AND
00000ab9: DUP2
00000aba: OR
00000abb: DUP5
00000abc: SSTORE
00000abd: PUSH1 0x40
00000abf: MLOAD
00000ac0: SWAP2
00000ac1: SWAP1
00000ac2: SWAP3
00000ac3: AND
00000ac4: SWAP3
00000ac5: DUP4
00000ac6: SWAP2
00000ac7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: LOG3
00000aeb: POP
00000aec: POP
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x40
00000af1: DUP1
00000af2: MLOAD
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: DUP3
00000af7: MSTORE
00000af8: PUSH1 0x20
00000afa: DUP3
00000afb: ADD
00000afc: SWAP1
00000afd: SWAP3
00000afe: MSTORE
00000aff: PUSH1 0x01
00000b01: PUSH1 0x01
00000b03: PUSH1 0xa0
00000b05: SHL
00000b06: SUB
00000b07: DUP5
00000b08: AND
00000b09: SWAP1
00000b0a: DUP4
00000b0b: SWAP1
00000b0c: PUSH1 0x40
00000b0e: MLOAD
00000b0f: PUSH2 0x0b18
00000b12: SWAP2
00000b13: SWAP1
00000b14: PUSH2 0x12bb
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH1 0x00
00000b1b: PUSH1 0x40
00000b1d: MLOAD
00000b1e: DUP1
00000b1f: DUP4
00000b20: SUB
00000b21: DUP2
00000b22: DUP6
00000b23: DUP8
00000b24: GAS
00000b25: CALL
00000b26: SWAP3
00000b27: POP
00000b28: POP
00000b29: POP
00000b2a: RETURNDATASIZE
00000b2b: DUP1
00000b2c: PUSH1 0x00
00000b2e: DUP2
00000b2f: EQ
00000b30: PUSH2 0x0b55
00000b33: JUMPI
00000b34: PUSH1 0x40
00000b36: MLOAD
00000b37: SWAP2
00000b38: POP
00000b39: PUSH1 0x1f
00000b3b: NOT
00000b3c: PUSH1 0x3f
00000b3e: RETURNDATASIZE
00000b3f: ADD
00000b40: AND
00000b41: DUP3
00000b42: ADD
00000b43: PUSH1 0x40
00000b45: MSTORE
00000b46: RETURNDATASIZE
00000b47: DUP3
00000b48: MSTORE
00000b49: RETURNDATASIZE
00000b4a: PUSH1 0x00
00000b4c: PUSH1 0x20
00000b4e: DUP5
00000b4f: ADD
00000b50: RETURNDATACOPY
00000b51: PUSH2 0x0b5a
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH1 0x60
00000b58: SWAP2
00000b59: POP
00000b5a: JUMPDEST
00000b5b: POP
00000b5c: POP
00000b5d: SWAP1
00000b5e: POP
00000b5f: DUP1
00000b60: PUSH2 0x0648
00000b63: JUMPI
00000b64: PUSH1 0x40
00000b66: MLOAD
00000b67: PUSH3 0x461bcd
00000b6b: PUSH1 0xe5
00000b6d: SHL
00000b6e: DUP2
00000b6f: MSTORE
00000b70: PUSH1 0x20
00000b72: PUSH1 0x04
00000b74: DUP3
00000b75: ADD
00000b76: MSTORE
00000b77: PUSH1 0x13
00000b79: PUSH1 0x24
00000b7b: DUP3
00000b7c: ADD
00000b7d: MSTORE
00000b7e: PUSH19 0x11551217d514905394d1915497d19052531151
00000b92: PUSH1 0x6a
00000b94: SHL
00000b95: PUSH1 0x44
00000b97: DUP3
00000b98: ADD
00000b99: MSTORE
00000b9a: PUSH1 0x64
00000b9c: ADD
00000b9d: PUSH2 0x0258
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: PUSH1 0x00
00000ba4: DUP2
00000ba5: DUP2
00000ba6: JUMPDEST
00000ba7: DUP5
00000ba8: MLOAD
00000ba9: DUP2
00000baa: LT
00000bab: ISZERO
00000bac: PUSH2 0x0c0d
00000baf: JUMPI
00000bb0: PUSH1 0x00
00000bb2: DUP6
00000bb3: DUP3
00000bb4: DUP2
00000bb5: MLOAD
00000bb6: DUP2
00000bb7: LT
00000bb8: PUSH2 0x0bc3
00000bbb: JUMPI
00000bbc: PUSH2 0x0bc3
00000bbf: PUSH2 0x1161
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x20
00000bc6: MUL
00000bc7: PUSH1 0x20
00000bc9: ADD
00000bca: ADD
00000bcb: MLOAD
00000bcc: SWAP1
00000bcd: POP
00000bce: DUP1
00000bcf: DUP4
00000bd0: GT
00000bd1: PUSH2 0x0be9
00000bd4: JUMPI
00000bd5: PUSH1 0x00
00000bd7: DUP4
00000bd8: DUP2
00000bd9: MSTORE
00000bda: PUSH1 0x20
00000bdc: DUP3
00000bdd: SWAP1
00000bde: MSTORE
00000bdf: PUSH1 0x40
00000be1: SWAP1
00000be2: KECCAK256
00000be3: SWAP3
00000be4: POP
00000be5: PUSH2 0x0bfa
00000be8: JUMP
00000be9: JUMPDEST
00000bea: PUSH1 0x00
00000bec: DUP2
00000bed: DUP2
00000bee: MSTORE
00000bef: PUSH1 0x20
00000bf1: DUP5
00000bf2: SWAP1
00000bf3: MSTORE
00000bf4: PUSH1 0x40
00000bf6: SWAP1
00000bf7: KECCAK256
00000bf8: SWAP3
00000bf9: POP
00000bfa: JUMPDEST
00000bfb: POP
00000bfc: DUP1
00000bfd: PUSH2 0x0c05
00000c00: DUP2
00000c01: PUSH2 0x1232
00000c04: JUMP
00000c05: JUMPDEST
00000c06: SWAP2
00000c07: POP
00000c08: POP
00000c09: PUSH2 0x0ba6
00000c0c: JUMP
00000c0d: JUMPDEST
00000c0e: POP
00000c0f: SWAP4
00000c10: SWAP3
00000c11: POP
00000c12: POP
00000c13: POP
00000c14: JUMP
00000c15: JUMPDEST
00000c16: PUSH1 0x00
00000c18: PUSH2 0x0c6a
00000c1b: DUP3
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: DUP1
00000c20: PUSH1 0x40
00000c22: ADD
00000c23: PUSH1 0x40
00000c25: MSTORE
00000c26: DUP1
00000c27: PUSH1 0x20
00000c29: DUP2
00000c2a: MSTORE
00000c2b: PUSH1 0x20
00000c2d: ADD
00000c2e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000c4f: DUP2
00000c50: MSTORE
00000c51: POP
00000c52: DUP6
00000c53: PUSH1 0x01
00000c55: PUSH1 0x01
00000c57: PUSH1 0xa0
00000c59: SHL
00000c5a: SUB
00000c5b: AND
00000c5c: PUSH2 0x0ce7
00000c5f: SWAP1
00000c60: SWAP3
00000c61: SWAP2
00000c62: SWAP1
00000c63: PUSH4 0xffffffff
00000c68: AND
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: DUP1
00000c6c: MLOAD
00000c6d: SWAP1
00000c6e: SWAP2
00000c6f: POP
00000c70: ISZERO
00000c71: PUSH2 0x0648
00000c74: JUMPI
00000c75: DUP1
00000c76: DUP1
00000c77: PUSH1 0x20
00000c79: ADD
00000c7a: SWAP1
00000c7b: MLOAD
00000c7c: DUP2
00000c7d: ADD
00000c7e: SWAP1
00000c7f: PUSH2 0x0c88
00000c82: SWAP2
00000c83: SWAP1
00000c84: PUSH2 0x12cd
00000c87: JUMP
00000c88: JUMPDEST
00000c89: PUSH2 0x0648
00000c8c: JUMPI
00000c8d: PUSH1 0x40
00000c8f: MLOAD
00000c90: PUSH3 0x461bcd
00000c94: PUSH1 0xe5
00000c96: SHL
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: PUSH1 0x04
00000c9d: DUP3
00000c9e: ADD
00000c9f: MSTORE
00000ca0: PUSH1 0x2a
00000ca2: PUSH1 0x24
00000ca4: DUP3
00000ca5: ADD
00000ca6: MSTORE
00000ca7: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00000cc8: PUSH1 0x44
00000cca: DUP3
00000ccb: ADD
00000ccc: MSTORE
00000ccd: PUSH10 0x1bdd081cdd58d8d95959
00000cd8: PUSH1 0xb2
00000cda: SHL
00000cdb: PUSH1 0x64
00000cdd: DUP3
00000cde: ADD
00000cdf: MSTORE
00000ce0: PUSH1 0x84
00000ce2: ADD
00000ce3: PUSH2 0x0258
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH1 0x60
00000cea: PUSH2 0x0cf6
00000ced: DUP5
00000cee: DUP5
00000cef: PUSH1 0x00
00000cf1: DUP6
00000cf2: PUSH2 0x0cfe
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: SWAP5
00000cf8: SWAP4
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: POP
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x60
00000d01: DUP3
00000d02: SELFBALANCE
00000d03: LT
00000d04: ISZERO
00000d05: PUSH2 0x0d5f
00000d08: JUMPI
00000d09: PUSH1 0x40
00000d0b: MLOAD
00000d0c: PUSH3 0x461bcd
00000d10: PUSH1 0xe5
00000d12: SHL
00000d13: DUP2
00000d14: MSTORE
00000d15: PUSH1 0x20
00000d17: PUSH1 0x04
00000d19: DUP3
00000d1a: ADD
00000d1b: MSTORE
00000d1c: PUSH1 0x26
00000d1e: PUSH1 0x24
00000d20: DUP3
00000d21: ADD
00000d22: MSTORE
00000d23: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00000d44: PUSH1 0x44
00000d46: DUP3
00000d47: ADD
00000d48: MSTORE
00000d49: PUSH6 0x1c8818d85b1b
00000d50: PUSH1 0xd2
00000d52: SHL
00000d53: PUSH1 0x64
00000d55: DUP3
00000d56: ADD
00000d57: MSTORE
00000d58: PUSH1 0x84
00000d5a: ADD
00000d5b: PUSH2 0x0258
00000d5e: JUMP
00000d5f: JUMPDEST
00000d60: PUSH1 0x00
00000d62: DUP1
00000d63: DUP7
00000d64: PUSH1 0x01
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: SHL
00000d6b: SUB
00000d6c: AND
00000d6d: DUP6
00000d6e: DUP8
00000d6f: PUSH1 0x40
00000d71: MLOAD
00000d72: PUSH2 0x0d7b
00000d75: SWAP2
00000d76: SWAP1
00000d77: PUSH2 0x12bb
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x00
00000d7e: PUSH1 0x40
00000d80: MLOAD
00000d81: DUP1
00000d82: DUP4
00000d83: SUB
00000d84: DUP2
00000d85: DUP6
00000d86: DUP8
00000d87: GAS
00000d88: CALL
00000d89: SWAP3
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: RETURNDATASIZE
00000d8e: DUP1
00000d8f: PUSH1 0x00
00000d91: DUP2
00000d92: EQ
00000d93: PUSH2 0x0db8
00000d96: JUMPI
00000d97: PUSH1 0x40
00000d99: MLOAD
00000d9a: SWAP2
00000d9b: POP
00000d9c: PUSH1 0x1f
00000d9e: NOT
00000d9f: PUSH1 0x3f
00000da1: RETURNDATASIZE
00000da2: ADD
00000da3: AND
00000da4: DUP3
00000da5: ADD
00000da6: PUSH1 0x40
00000da8: MSTORE
00000da9: RETURNDATASIZE
00000daa: DUP3
00000dab: MSTORE
00000dac: RETURNDATASIZE
00000dad: PUSH1 0x00
00000daf: PUSH1 0x20
00000db1: DUP5
00000db2: ADD
00000db3: RETURNDATACOPY
00000db4: PUSH2 0x0dbd
00000db7: JUMP
00000db8: JUMPDEST
00000db9: PUSH1 0x60
00000dbb: SWAP2
00000dbc: POP
00000dbd: JUMPDEST
00000dbe: POP
00000dbf: SWAP2
00000dc0: POP
00000dc1: SWAP2
00000dc2: POP
00000dc3: PUSH2 0x0dce
00000dc6: DUP8
00000dc7: DUP4
00000dc8: DUP4
00000dc9: DUP8
00000dca: PUSH2 0x0dd9
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: SWAP8
00000dd0: SWAP7
00000dd1: POP
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: POP
00000dd7: POP
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x60
00000ddc: DUP4
00000ddd: ISZERO
00000dde: PUSH2 0x0e48
00000de1: JUMPI
00000de2: DUP3
00000de3: MLOAD
00000de4: PUSH1 0x00
00000de6: SUB
00000de7: PUSH2 0x0e41
00000dea: JUMPI
00000deb: PUSH1 0x01
00000ded: PUSH1 0x01
00000def: PUSH1 0xa0
00000df1: SHL
00000df2: SUB
00000df3: DUP6
00000df4: AND
00000df5: EXTCODESIZE
00000df6: PUSH2 0x0e41
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: PUSH3 0x461bcd
00000e01: PUSH1 0xe5
00000e03: SHL
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x20
00000e08: PUSH1 0x04
00000e0a: DUP3
00000e0b: ADD
00000e0c: MSTORE
00000e0d: PUSH1 0x1d
00000e0f: PUSH1 0x24
00000e11: DUP3
00000e12: ADD
00000e13: MSTORE
00000e14: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000e35: PUSH1 0x44
00000e37: DUP3
00000e38: ADD
00000e39: MSTORE
00000e3a: PUSH1 0x64
00000e3c: ADD
00000e3d: PUSH2 0x0258
00000e40: JUMP
00000e41: JUMPDEST
00000e42: POP
00000e43: DUP2
00000e44: PUSH2 0x0cf6
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH2 0x0cf6
00000e4c: DUP4
00000e4d: DUP4
00000e4e: DUP2
00000e4f: MLOAD
00000e50: ISZERO
00000e51: PUSH2 0x0e5d
00000e54: JUMPI
00000e55: DUP2
00000e56: MLOAD
00000e57: DUP1
00000e58: DUP4
00000e59: PUSH1 0x20
00000e5b: ADD
00000e5c: REVERT
00000e5d: JUMPDEST
00000e5e: DUP1
00000e5f: PUSH1 0x40
00000e61: MLOAD
00000e62: PUSH3 0x461bcd
00000e66: PUSH1 0xe5
00000e68: SHL
00000e69: DUP2
00000e6a: MSTORE
00000e6b: PUSH1 0x04
00000e6d: ADD
00000e6e: PUSH2 0x0258
00000e71: SWAP2
00000e72: SWAP1
00000e73: PUSH2 0x12ef
00000e76: JUMP
00000e77: JUMPDEST
00000e78: PUSH1 0x00
00000e7a: DUP1
00000e7b: PUSH1 0x20
00000e7d: DUP4
00000e7e: DUP6
00000e7f: SUB
00000e80: SLT
00000e81: ISZERO
00000e82: PUSH2 0x0e8a
00000e85: JUMPI
00000e86: PUSH1 0x00
00000e88: DUP1
00000e89: REVERT
00000e8a: JUMPDEST
00000e8b: DUP3
00000e8c: CALLDATALOAD
00000e8d: PUSH8 0xffffffffffffffff
00000e96: DUP1
00000e97: DUP3
00000e98: GT
00000e99: ISZERO
00000e9a: PUSH2 0x0ea2
00000e9d: JUMPI
00000e9e: PUSH1 0x00
00000ea0: DUP1
00000ea1: REVERT
00000ea2: JUMPDEST
00000ea3: DUP2
00000ea4: DUP6
00000ea5: ADD
00000ea6: SWAP2
00000ea7: POP
00000ea8: DUP6
00000ea9: PUSH1 0x1f
00000eab: DUP4
00000eac: ADD
00000ead: SLT
00000eae: PUSH2 0x0eb6
00000eb1: JUMPI
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: REVERT
00000eb6: JUMPDEST
00000eb7: DUP2
00000eb8: CALLDATALOAD
00000eb9: DUP2
00000eba: DUP2
00000ebb: GT
00000ebc: ISZERO
00000ebd: PUSH2 0x0ec5
00000ec0: JUMPI
00000ec1: PUSH1 0x00
00000ec3: DUP1
00000ec4: REVERT
00000ec5: JUMPDEST
00000ec6: DUP7
00000ec7: PUSH1 0x20
00000ec9: DUP3
00000eca: PUSH1 0x05
00000ecc: SHL
00000ecd: DUP6
00000ece: ADD
00000ecf: ADD
00000ed0: GT
00000ed1: ISZERO
00000ed2: PUSH2 0x0eda
00000ed5: JUMPI
00000ed6: PUSH1 0x00
00000ed8: DUP1
00000ed9: REVERT
00000eda: JUMPDEST
00000edb: PUSH1 0x20
00000edd: SWAP3
00000ede: SWAP1
00000edf: SWAP3
00000ee0: ADD
00000ee1: SWAP7
00000ee2: SWAP2
00000ee3: SWAP6
00000ee4: POP
00000ee5: SWAP1
00000ee6: SWAP4
00000ee7: POP
00000ee8: POP
00000ee9: POP
00000eea: POP
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH4 0x4e487b71
00000ef2: PUSH1 0xe0
00000ef4: SHL
00000ef5: PUSH1 0x00
00000ef7: MSTORE
00000ef8: PUSH1 0x41
00000efa: PUSH1 0x04
00000efc: MSTORE
00000efd: PUSH1 0x24
00000eff: PUSH1 0x00
00000f01: REVERT
00000f02: JUMPDEST
00000f03: PUSH1 0x40
00000f05: MLOAD
00000f06: PUSH1 0x1f
00000f08: DUP3
00000f09: ADD
00000f0a: PUSH1 0x1f
00000f0c: NOT
00000f0d: AND
00000f0e: DUP2
00000f0f: ADD
00000f10: PUSH8 0xffffffffffffffff
00000f19: DUP2
00000f1a: GT
00000f1b: DUP3
00000f1c: DUP3
00000f1d: LT
00000f1e: OR
00000f1f: ISZERO
00000f20: PUSH2 0x0f2b
00000f23: JUMPI
00000f24: PUSH2 0x0f2b
00000f27: PUSH2 0x0eec
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH1 0x40
00000f2e: MSTORE
00000f2f: SWAP2
00000f30: SWAP1
00000f31: POP
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x00
00000f36: PUSH8 0xffffffffffffffff
00000f3f: DUP3
00000f40: GT
00000f41: ISZERO
00000f42: PUSH2 0x0f4d
00000f45: JUMPI
00000f46: PUSH2 0x0f4d
00000f49: PUSH2 0x0eec
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: POP
00000f4f: PUSH1 0x05
00000f51: SHL
00000f52: PUSH1 0x20
00000f54: ADD
00000f55: SWAP1
00000f56: JUMP
00000f57: JUMPDEST
00000f58: DUP1
00000f59: CALLDATALOAD
00000f5a: PUSH1 0x01
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xa0
00000f60: SHL
00000f61: SUB
00000f62: DUP2
00000f63: AND
00000f64: DUP2
00000f65: EQ
00000f66: PUSH2 0x0f6e
00000f69: JUMPI
00000f6a: PUSH1 0x00
00000f6c: DUP1
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: SWAP2
00000f70: SWAP1
00000f71: POP
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x00
00000f76: DUP3
00000f77: PUSH1 0x1f
00000f79: DUP4
00000f7a: ADD
00000f7b: SLT
00000f7c: PUSH2 0x0f84
00000f7f: JUMPI
00000f80: PUSH1 0x00
00000f82: DUP1
00000f83: REVERT
00000f84: JUMPDEST
00000f85: DUP2
00000f86: CALLDATALOAD
00000f87: PUSH1 0x20
00000f89: PUSH2 0x0f99
00000f8c: PUSH2 0x0f94
00000f8f: DUP4
00000f90: PUSH2 0x0f33
00000f93: JUMP
00000f94: JUMPDEST
00000f95: PUSH2 0x0f02
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: DUP3
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x05
00000f9f: SWAP3
00000fa0: SWAP1
00000fa1: SWAP3
00000fa2: SHL
00000fa3: DUP5
00000fa4: ADD
00000fa5: DUP2
00000fa6: ADD
00000fa7: SWAP2
00000fa8: DUP2
00000fa9: DUP2
00000faa: ADD
00000fab: SWAP1
00000fac: DUP7
00000fad: DUP5
00000fae: GT
00000faf: ISZERO
00000fb0: PUSH2 0x0fb8
00000fb3: JUMPI
00000fb4: PUSH1 0x00
00000fb6: DUP1
00000fb7: REVERT
00000fb8: JUMPDEST
00000fb9: DUP3
00000fba: DUP7
00000fbb: ADD
00000fbc: JUMPDEST
00000fbd: DUP5
00000fbe: DUP2
00000fbf: LT
00000fc0: ISZERO
00000fc1: PUSH2 0x0fd3
00000fc4: JUMPI
00000fc5: DUP1
00000fc6: CALLDATALOAD
00000fc7: DUP4
00000fc8: MSTORE
00000fc9: SWAP2
00000fca: DUP4
00000fcb: ADD
00000fcc: SWAP2
00000fcd: DUP4
00000fce: ADD
00000fcf: PUSH2 0x0fbc
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: POP
00000fd5: SWAP7
00000fd6: SWAP6
00000fd7: POP
00000fd8: POP
00000fd9: POP
00000fda: POP
00000fdb: POP
00000fdc: POP
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH1 0x00
00000fe1: DUP1
00000fe2: PUSH1 0x40
00000fe4: DUP4
00000fe5: DUP6
00000fe6: SUB
00000fe7: SLT
00000fe8: ISZERO
00000fe9: PUSH2 0x0ff1
00000fec: JUMPI
00000fed: PUSH1 0x00
00000fef: DUP1
00000ff0: REVERT
00000ff1: JUMPDEST
00000ff2: DUP3
00000ff3: CALLDATALOAD
00000ff4: PUSH8 0xffffffffffffffff
00000ffd: DUP1
00000ffe: DUP3
00000fff: GT
00001000: ISZERO
00001001: PUSH2 0x1009
00001004: JUMPI
00001005: PUSH1 0x00
00001007: DUP1
00001008: REVERT
00001009: JUMPDEST
0000100a: DUP2
0000100b: DUP6
0000100c: ADD
0000100d: SWAP2
0000100e: POP
0000100f: DUP6
00001010: PUSH1 0x1f
00001012: DUP4
00001013: ADD
00001014: SLT
00001015: PUSH2 0x101d
00001018: JUMPI
00001019: PUSH1 0x00
0000101b: DUP1
0000101c: REVERT
0000101d: JUMPDEST
0000101e: DUP2
0000101f: CALLDATALOAD
00001020: PUSH1 0x20
00001022: PUSH2 0x102d
00001025: PUSH2 0x0f94
00001028: DUP4
00001029: PUSH2 0x0f33
0000102c: JUMP
0000102d: JUMPDEST
0000102e: DUP3
0000102f: DUP2
00001030: MSTORE
00001031: PUSH1 0x05
00001033: SWAP3
00001034: SWAP1
00001035: SWAP3
00001036: SHL
00001037: DUP5
00001038: ADD
00001039: DUP2
0000103a: ADD
0000103b: SWAP2
0000103c: DUP2
0000103d: DUP2
0000103e: ADD
0000103f: SWAP1
00001040: DUP10
00001041: DUP5
00001042: GT
00001043: ISZERO
00001044: PUSH2 0x104c
00001047: JUMPI
00001048: PUSH1 0x00
0000104a: DUP1
0000104b: REVERT
0000104c: JUMPDEST
0000104d: SWAP5
0000104e: DUP3
0000104f: ADD
00001050: SWAP5
00001051: JUMPDEST
00001052: DUP4
00001053: DUP7
00001054: LT
00001055: ISZERO
00001056: PUSH2 0x1071
00001059: JUMPI
0000105a: PUSH2 0x1062
0000105d: DUP7
0000105e: PUSH2 0x0f57
00001061: JUMP
00001062: JUMPDEST
00001063: DUP3
00001064: MSTORE
00001065: SWAP5
00001066: DUP3
00001067: ADD
00001068: SWAP5
00001069: SWAP1
0000106a: DUP3
0000106b: ADD
0000106c: SWAP1
0000106d: PUSH2 0x1051
00001070: JUMP
00001071: JUMPDEST
00001072: SWAP7
00001073: POP
00001074: POP
00001075: DUP7
00001076: ADD
00001077: CALLDATALOAD
00001078: SWAP3
00001079: POP
0000107a: POP
0000107b: DUP1
0000107c: DUP3
0000107d: GT
0000107e: ISZERO
0000107f: PUSH2 0x1087
00001082: JUMPI
00001083: PUSH1 0x00
00001085: DUP1
00001086: REVERT
00001087: JUMPDEST
00001088: POP
00001089: PUSH2 0x1094
0000108c: DUP6
0000108d: DUP3
0000108e: DUP7
0000108f: ADD
00001090: PUSH2 0x0f73
00001093: JUMP
00001094: JUMPDEST
00001095: SWAP2
00001096: POP
00001097: POP
00001098: SWAP3
00001099: POP
0000109a: SWAP3
0000109b: SWAP1
0000109c: POP
0000109d: JUMP
0000109e: JUMPDEST
0000109f: PUSH1 0x00
000010a1: PUSH1 0x20
000010a3: DUP3
000010a4: DUP5
000010a5: SUB
000010a6: SLT
000010a7: ISZERO
000010a8: PUSH2 0x10b0
000010ab: JUMPI
000010ac: PUSH1 0x00
000010ae: DUP1
000010af: REVERT
000010b0: JUMPDEST
000010b1: POP
000010b2: CALLDATALOAD
000010b3: SWAP2
000010b4: SWAP1
000010b5: POP
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x00
000010ba: DUP1
000010bb: PUSH1 0x00
000010bd: PUSH1 0x60
000010bf: DUP5
000010c0: DUP7
000010c1: SUB
000010c2: SLT
000010c3: ISZERO
000010c4: PUSH2 0x10cc
000010c7: JUMPI
000010c8: PUSH1 0x00
000010ca: DUP1
000010cb: REVERT
000010cc: JUMPDEST
000010cd: PUSH2 0x10d5
000010d0: DUP5
000010d1: PUSH2 0x0f57
000010d4: JUMP
000010d5: JUMPDEST
000010d6: SWAP3
000010d7: POP
000010d8: PUSH2 0x10e3
000010db: PUSH1 0x20
000010dd: DUP6
000010de: ADD
000010df: PUSH2 0x0f57
000010e2: JUMP
000010e3: JUMPDEST
000010e4: SWAP2
000010e5: POP
000010e6: PUSH1 0x40
000010e8: DUP5
000010e9: ADD
000010ea: CALLDATALOAD
000010eb: SWAP1
000010ec: POP
000010ed: SWAP3
000010ee: POP
000010ef: SWAP3
000010f0: POP
000010f1: SWAP3
000010f2: JUMP
000010f3: JUMPDEST
000010f4: PUSH1 0x00
000010f6: DUP1
000010f7: PUSH1 0x40
000010f9: DUP4
000010fa: DUP6
000010fb: SUB
000010fc: SLT
000010fd: ISZERO
000010fe: PUSH2 0x1106
00001101: JUMPI
00001102: PUSH1 0x00
00001104: DUP1
00001105: REVERT
00001106: JUMPDEST
00001107: PUSH2 0x110f
0000110a: DUP4
0000110b: PUSH2 0x0f57
0000110e: JUMP
0000110f: JUMPDEST
00001110: SWAP5
00001111: PUSH1 0x20
00001113: SWAP4
00001114: SWAP1
00001115: SWAP4
00001116: ADD
00001117: CALLDATALOAD
00001118: SWAP4
00001119: POP
0000111a: POP
0000111b: POP
0000111c: JUMP
0000111d: JUMPDEST
0000111e: PUSH1 0x00
00001120: PUSH1 0x20
00001122: DUP3
00001123: DUP5
00001124: SUB
00001125: SLT
00001126: ISZERO
00001127: PUSH2 0x112f
0000112a: JUMPI
0000112b: PUSH1 0x00
0000112d: DUP1
0000112e: REVERT
0000112f: JUMPDEST
00001130: PUSH2 0x1138
00001133: DUP3
00001134: PUSH2 0x0f57
00001137: JUMP
00001138: JUMPDEST
00001139: SWAP4
0000113a: SWAP3
0000113b: POP
0000113c: POP
0000113d: POP
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x00
00001142: DUP1
00001143: PUSH1 0x40
00001145: DUP4
00001146: DUP6
00001147: SUB
00001148: SLT
00001149: ISZERO
0000114a: PUSH2 0x1152
0000114d: JUMPI
0000114e: PUSH1 0x00
00001150: DUP1
00001151: REVERT
00001152: JUMPDEST
00001153: POP
00001154: POP
00001155: DUP1
00001156: CALLDATALOAD
00001157: SWAP3
00001158: PUSH1 0x20
0000115a: SWAP1
0000115b: SWAP2
0000115c: ADD
0000115d: CALLDATALOAD
0000115e: SWAP2
0000115f: POP
00001160: JUMP
00001161: JUMPDEST
00001162: PUSH4 0x4e487b71
00001167: PUSH1 0xe0
00001169: SHL
0000116a: PUSH1 0x00
0000116c: MSTORE
0000116d: PUSH1 0x32
0000116f: PUSH1 0x04
00001171: MSTORE
00001172: PUSH1 0x24
00001174: PUSH1 0x00
00001176: REVERT
00001177: JUMPDEST
00001178: PUSH1 0x00
0000117a: DUP3
0000117b: CALLDATALOAD
0000117c: PUSH1 0x7e
0000117e: NOT
0000117f: DUP4
00001180: CALLDATASIZE
00001181: SUB
00001182: ADD
00001183: DUP2
00001184: SLT
00001185: PUSH2 0x118d
00001188: JUMPI
00001189: PUSH1 0x00
0000118b: DUP1
0000118c: REVERT
0000118d: JUMPDEST
0000118e: SWAP2
0000118f: SWAP1
00001190: SWAP2
00001191: ADD
00001192: SWAP3
00001193: SWAP2
00001194: POP
00001195: POP
00001196: JUMP
00001197: JUMPDEST
00001198: PUSH1 0x20
0000119a: DUP1
0000119b: DUP3
0000119c: MSTORE
0000119d: PUSH1 0x2a
0000119f: SWAP1
000011a0: DUP3
000011a1: ADD
000011a2: MSTORE
000011a3: PUSH32 0x4d65726b6c654469737472696275746f723a20446973747269627574696f6e20
000011c4: PUSH1 0x40
000011c6: DUP3
000011c7: ADD
000011c8: MSTORE
000011c9: PUSH10 0x191bdb9d08195e1a5cdd
000011d4: PUSH1 0xb2
000011d6: SHL
000011d7: PUSH1 0x60
000011d9: DUP3
000011da: ADD
000011db: MSTORE
000011dc: PUSH1 0x80
000011de: ADD
000011df: SWAP1
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH1 0x00
000011e4: DUP1
000011e5: DUP4
000011e6: CALLDATALOAD
000011e7: PUSH1 0x1e
000011e9: NOT
000011ea: DUP5
000011eb: CALLDATASIZE
000011ec: SUB
000011ed: ADD
000011ee: DUP2
000011ef: SLT
000011f0: PUSH2 0x11f8
000011f3: JUMPI
000011f4: PUSH1 0x00
000011f6: DUP1
000011f7: REVERT
000011f8: JUMPDEST
000011f9: DUP4
000011fa: ADD
000011fb: DUP1
000011fc: CALLDATALOAD
000011fd: SWAP2
000011fe: POP
000011ff: PUSH8 0xffffffffffffffff
00001208: DUP3
00001209: GT
0000120a: ISZERO
0000120b: PUSH2 0x1213
0000120e: JUMPI
0000120f: PUSH1 0x00
00001211: DUP1
00001212: REVERT
00001213: JUMPDEST
00001214: PUSH1 0x20
00001216: ADD
00001217: SWAP2
00001218: POP
00001219: PUSH1 0x05
0000121b: DUP2
0000121c: SWAP1
0000121d: SHL
0000121e: CALLDATASIZE
0000121f: SUB
00001220: DUP3
00001221: SGT
00001222: ISZERO
00001223: PUSH2 0x122b
00001226: JUMPI
00001227: PUSH1 0x00
00001229: DUP1
0000122a: REVERT
0000122b: JUMPDEST
0000122c: SWAP3
0000122d: POP
0000122e: SWAP3
0000122f: SWAP1
00001230: POP
00001231: JUMP
00001232: JUMPDEST
00001233: PUSH1 0x00
00001235: PUSH1 0x01
00001237: DUP3
00001238: ADD
00001239: PUSH2 0x1252
0000123c: JUMPI
0000123d: PUSH4 0x4e487b71
00001242: PUSH1 0xe0
00001244: SHL
00001245: PUSH1 0x00
00001247: MSTORE
00001248: PUSH1 0x11
0000124a: PUSH1 0x04
0000124c: MSTORE
0000124d: PUSH1 0x24
0000124f: PUSH1 0x00
00001251: REVERT
00001252: JUMPDEST
00001253: POP
00001254: PUSH1 0x01
00001256: ADD
00001257: SWAP1
00001258: JUMP
00001259: JUMPDEST
0000125a: PUSH4 0x4e487b71
0000125f: PUSH1 0xe0
00001261: SHL
00001262: PUSH1 0x00
00001264: MSTORE
00001265: PUSH1 0x12
00001267: PUSH1 0x04
00001269: MSTORE
0000126a: PUSH1 0x24
0000126c: PUSH1 0x00
0000126e: REVERT
0000126f: JUMPDEST
00001270: PUSH1 0x00
00001272: DUP3
00001273: PUSH2 0x127e
00001276: JUMPI
00001277: PUSH2 0x127e
0000127a: PUSH2 0x1259
0000127d: JUMP
0000127e: JUMPDEST
0000127f: POP
00001280: DIV
00001281: SWAP1
00001282: JUMP
00001283: JUMPDEST
00001284: PUSH1 0x00
00001286: DUP3
00001287: PUSH2 0x1292
0000128a: JUMPI
0000128b: PUSH2 0x1292
0000128e: PUSH2 0x1259
00001291: JUMP
00001292: JUMPDEST
00001293: POP
00001294: MOD
00001295: SWAP1
00001296: JUMP
00001297: JUMPDEST
00001298: PUSH1 0x00
0000129a: JUMPDEST
0000129b: DUP4
0000129c: DUP2
0000129d: LT
0000129e: ISZERO
0000129f: PUSH2 0x12b2
000012a2: JUMPI
000012a3: DUP2
000012a4: DUP2
000012a5: ADD
000012a6: MLOAD
000012a7: DUP4
000012a8: DUP3
000012a9: ADD
000012aa: MSTORE
000012ab: PUSH1 0x20
000012ad: ADD
000012ae: PUSH2 0x129a
000012b1: JUMP
000012b2: JUMPDEST
000012b3: POP
000012b4: POP
000012b5: PUSH1 0x00
000012b7: SWAP2
000012b8: ADD
000012b9: MSTORE
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH1 0x00
000012be: DUP3
000012bf: MLOAD
000012c0: PUSH2 0x118d
000012c3: DUP2
000012c4: DUP5
000012c5: PUSH1 0x20
000012c7: DUP8
000012c8: ADD
000012c9: PUSH2 0x1297
000012cc: JUMP
000012cd: JUMPDEST
000012ce: PUSH1 0x00
000012d0: PUSH1 0x20
000012d2: DUP3
000012d3: DUP5
000012d4: SUB
000012d5: SLT
000012d6: ISZERO
000012d7: PUSH2 0x12df
000012da: JUMPI
000012db: PUSH1 0x00
000012dd: DUP1
000012de: REVERT
000012df: JUMPDEST
000012e0: DUP2
000012e1: MLOAD
000012e2: DUP1
000012e3: ISZERO
000012e4: ISZERO
000012e5: DUP2
000012e6: EQ
000012e7: PUSH2 0x1138
000012ea: JUMPI
000012eb: PUSH1 0x00
000012ed: DUP1
000012ee: REVERT
000012ef: JUMPDEST
000012f0: PUSH1 0x20
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x00
000012f6: DUP3
000012f7: MLOAD
000012f8: DUP1
000012f9: PUSH1 0x20
000012fb: DUP5
000012fc: ADD
000012fd: MSTORE
000012fe: PUSH2 0x130e
00001301: DUP2
00001302: PUSH1 0x40
00001304: DUP6
00001305: ADD
00001306: PUSH1 0x20
00001308: DUP8
00001309: ADD
0000130a: PUSH2 0x1297
0000130d: JUMP
0000130e: JUMPDEST
0000130f: PUSH1 0x1f
00001311: ADD
00001312: PUSH1 0x1f
00001314: NOT
00001315: AND
00001316: SWAP2
00001317: SWAP1
00001318: SWAP2
00001319: ADD
0000131a: PUSH1 0x40
0000131c: ADD
0000131d: SWAP3
0000131e: SWAP2
0000131f: POP
00001320: POP
00001321: JUMP
00001322: INVALID
00001323: LOG2
00001324: PUSH5 0x6970667358
0000132a: UNKNOWN(0x22)
0000132b: SLT
0000132c: KECCAK256
0000132d: UNKNOWN(0xAB)
0000132e: UNKNOWN(0xB7)
0000132f: DUP2
00001330: PUSH21 0x9b7e7c5c6ad98905addd81c975dfae696ccd4c6e14
00001346: UNKNOWN(0x27)
00001347: UNKNOWN(0xC0)
00001348: SUB
00001349: MSTORE8
0000134a: UNKNOWN(0xC7)
0000134b: DUP4
0000134c: PUSH23