Analysis Run

[codex:1088294] OpenAI Codex v0.77.0 (research preview)
[codex:1088294] --------
[codex:1088294] workdir: /tmp/codex-multi-aguyx_r2
[codex:1088294] model: gpt-5.2-codex
[codex:1088294] provider: openai
[codex:1088294] approval: never
[codex:1088294] sandbox: read-only
[codex:1088294] reasoning effort: xhigh
[codex:1088294] reasoning summaries: auto
[codex:1088294] session id: 019b6c62-0ae9-7092-911a-09e7e2d5f9ee
[codex:1088294] --------
[codex:1088294] user
[codex:1088294] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1088294] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1088294] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1088294] 
[codex:1088294] Scope rules:
[codex:1088294] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1088294] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1088294] 
[codex:1088294] Output MUST be valid JSON matching the provided schema.
[codex:1088294] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1088294] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1088294] 
[codex:1088294] Output constraints (IMPORTANT):
[codex:1088294] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1088294] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1088294] mcp startup: no servers
[codex:1088294] 
[codex:1088294] thinking
[codex:1088294] **Preparing to explore repository files**
[codex:1088294] exec
[codex:1088294] /bin/bash -lc ls in /tmp/codex-multi-aguyx_r2 succeeded in 6ms:
[codex:1088294] AUDIT_BUNDLE.txt
[codex:1088294] codex-output-schema.json
[codex:1088294] contracts
[codex:1088294] 
[codex:1088294] thinking
[codex:1088294] **Reading AUDIT_BUNDLE.txt**
[codex:1088294] exec
[codex:1088294] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-aguyx_r2 succeeded in 5ms:
[codex:1088294] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1088294] 
[codex:1088294] ================================================================================
[codex:1088294] FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155Receiver.sol
[codex:1088294] ================================================================================
[codex:1088294] // SPDX-License-Identifier: MIT
[codex:1088294] // OpenZeppelin Contracts (last updated v5.0.0) (token/ERC1155/IERC1155Receiver.sol)
[codex:1088294] 
[codex:1088294] pragma solidity ^0.8.20;
[codex:1088294] 
[codex:1088294] import {IERC165} from "../../utils/introspection/IERC165.sol";
[codex:1088294] 
[codex:1088294] /**
[codex:1088294]  * @dev Interface that must be implemented by smart contracts in order to receive
[codex:1088294]  * ERC-1155 token transfers.
[codex:1088294]  */
[codex:1088294] interface IERC1155Receiver is IERC165 {
[codex:1088294]     /**
[codex:1088294]      * @dev Handles the receipt of a single ERC1155 token type. This function is
[codex:1088294]      * called at the end of a `safeTransferFrom` after the balance has been updated.
[codex:1088294] 
[codex:1088294] thinking
[codex:1088294] **Analyzing contract security and reentrancy risks**
[codex:1088294] 
[codex:1088294] I'm carefully reviewing the BoringVault contract and related first-party code for reentrancy, access control, external calls, and potential vulnerabilities. I'm weighing how authorization schemes, external hooks, and token interactions might expose subtle risks—especially in transfer hooks and asset transfers—while considering that many functions require trusted roles, reducing typical concerns. I'll also verify relevant ERC20 code in the audit bundle to confirm transfer-related reentrancy safety.
[codex:1088294] exec
[codex:1088294] /bin/bash -lc 'rg -n "function transfer" AUDIT_BUNDLE.txt' in /tmp/codex-multi-aguyx_r2 succeeded in 7ms:
[codex:1088294] 445:    function transferOwnership(address newOwner) public virtual requiresAuth {
[codex:1088294] 541:    function transfer(address to, uint256 amount) public virtual returns (bool) {
[codex:1088294] 555:    function transferFrom(
[codex:1088294] 1190:    function transfer(address to, uint256 amount) public override returns (bool) {
[codex:1088294] 1195:    function transferFrom(address from, address to, uint256 amount) public override returns (bool) {
[codex:1088294] 
[codex:1088294] thinking
[codex:1088294] **Extracting solmate ERC20 transfer functions context**
[codex:1088294] exec
[codex:1088294] /bin/bash -lc "sed -n '520,580p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-aguyx_r2 succeeded in 5ms:
[codex:1088294]     ) {
[codex:1088294]         name = _name;
[codex:1088294]         symbol = _symbol;
[codex:1088294]         decimals = _decimals;
[codex:1088294] 
[codex:1088294]         INITIAL_CHAIN_ID = block.chainid;
[codex:1088294]         INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
[codex:1088294]     }
[codex:1088294] 
[codex:1088294]     /*//////////////////////////////////////////////////////////////
[codex:1088294]                                ERC20 LOGIC
[codex:1088294]     //////////////////////////////////////////////////////////////*/
[codex:1088294] 
[codex:1088294]     function approve(address spender, uint256 amount) public virtual returns (bool) {
[codex:1088294]         allowance[msg.sender][spender] = amount;
[codex:1088294] 
[codex:1088294]         emit Approval(msg.sender, spender, amount);
[codex:1088294] 
[codex:1088294]         return true;
[codex:1088294]     }
[codex:1088294] 
[codex:1088294] thinking
[codex:1088294] **Analyzing BoringVault security considerations**
[codex:1088294] codex
[codex:1088294] {"no_findings":true,"summary":"Reviewed the first-party contracts in AUDIT_BUNDLE.txt for the requested focus areas and found no exploitable vulnerabilities.","findings":[]}
[codex:1088294] tokens used
[codex:1088294] 39,026
[codex:1088294] {"no_findings":true,"summary":"Reviewed the first-party contracts in AUDIT_BUNDLE.txt for the requested focus areas and found no exploitable vulnerabilities.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T23:13:59.731073+00:00",
        "returncode": 0
    },
    "summary": "Reviewed the first-party contracts in AUDIT_BUNDLE.txt for the requested focus areas and found no exploitable vulnerabilities.",
    "raw_final": {
        "summary": "Reviewed the first-party contracts in AUDIT_BUNDLE.txt for the requested focus areas and found no exploitable vulnerabilities.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x017e
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x7ecebe00
00000018: GT
00000019: PUSH2 0x00cd
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xbc197c81
00000023: GT
00000024: PUSH2 0x0087
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xdd62ed3e
0000002e: GT
0000002f: PUSH2 0x0062
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xdd62ed3e
00000039: EQ
0000003a: PUSH2 0x04cd
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf23a6e61
00000044: EQ
00000045: PUSH2 0x0503
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2fde38b
0000004f: EQ
00000050: PUSH2 0x052e
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf6e715d0
0000005a: EQ
0000005b: PUSH2 0x054d
0000005e: JUMPI
0000005f: PUSH0
00000060: DUP1
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0xbc197c81
00000069: EQ
0000006a: PUSH2 0x0464
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xbf7e214f
00000074: EQ
00000075: PUSH2 0x048f
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xd505accf
0000007f: EQ
00000080: PUSH2 0x04ae
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0x7ecebe00
0000008e: EQ
0000008f: PUSH2 0x0391
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7f5a7c7b
00000099: EQ
0000009a: PUSH2 0x03bc
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x8929565f
000000a4: EQ
000000a5: PUSH2 0x03f3
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x8da5cb5b
000000af: EQ
000000b0: PUSH2 0x0412
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x95d89b41
000000ba: EQ
000000bb: PUSH2 0x0431
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xa9059cbb
000000c5: EQ
000000c6: PUSH2 0x0445
000000c9: JUMPI
000000ca: PUSH0
000000cb: DUP1
000000cc: REVERT
000000cd: JUMPDEST
000000ce: DUP1
000000cf: PUSH4 0x224d8703
000000d4: GT
000000d5: PUSH2 0x0138
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x3644e515
000000df: GT
000000e0: PUSH2 0x0113
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x3644e515
000000ea: EQ
000000eb: PUSH2 0x0314
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x39d6ba32
000000f5: EQ
000000f6: PUSH2 0x0328
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x70a08231
00000100: EQ
00000101: PUSH2 0x0347
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x7a9e5e4b
0000010b: EQ
0000010c: PUSH2 0x0372
0000010f: JUMPI
00000110: PUSH0
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x224d8703
0000011a: EQ
0000011b: PUSH2 0x0284
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x23b872dd
00000125: EQ
00000126: PUSH2 0x02b0
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x313ce567
00000130: EQ
00000131: PUSH2 0x02cf
00000134: JUMPI
00000135: PUSH0
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x01ffc9a7
0000013f: EQ
00000140: PUSH2 0x0189
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x06fdde03
0000014a: EQ
0000014b: PUSH2 0x01bd
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x095ea7b3
00000155: EQ
00000156: PUSH2 0x01de
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x150b7a02
00000160: EQ
00000161: PUSH2 0x01fd
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x18160ddd
0000016b: EQ
0000016c: PUSH2 0x0240
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x18457e61
00000176: EQ
00000177: PUSH2 0x0263
0000017a: JUMPI
0000017b: PUSH0
0000017c: DUP1
0000017d: REVERT
0000017e: JUMPDEST
0000017f: CALLDATASIZE
00000180: PUSH2 0x0185
00000183: JUMPI
00000184: STOP
00000185: JUMPDEST
00000186: PUSH0
00000187: DUP1
00000188: REVERT
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: DUP1
0000018c: ISZERO
0000018d: PUSH2 0x0194
00000190: JUMPI
00000191: PUSH0
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: POP
00000196: PUSH2 0x01a8
00000199: PUSH2 0x01a3
0000019c: CALLDATASIZE
0000019d: PUSH1 0x04
0000019f: PUSH2 0x1463
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH2 0x056c
000001a7: JUMP
000001a8: JUMPDEST
000001a9: PUSH1 0x40
000001ab: MLOAD
000001ac: SWAP1
000001ad: ISZERO
000001ae: ISZERO
000001af: DUP2
000001b0: MSTORE
000001b1: PUSH1 0x20
000001b3: ADD
000001b4: JUMPDEST
000001b5: PUSH1 0x40
000001b7: MLOAD
000001b8: DUP1
000001b9: SWAP2
000001ba: SUB
000001bb: SWAP1
000001bc: RETURN
000001bd: JUMPDEST
000001be: CALLVALUE
000001bf: DUP1
000001c0: ISZERO
000001c1: PUSH2 0x01c8
000001c4: JUMPI
000001c5: PUSH0
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x05a2
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: PUSH2 0x01b4
000001d8: SWAP2
000001d9: SWAP1
000001da: PUSH2 0x14d7
000001dd: JUMP
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01e9
000001e5: JUMPI
000001e6: PUSH0
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: POP
000001eb: PUSH2 0x01a8
000001ee: PUSH2 0x01f8
000001f1: CALLDATASIZE
000001f2: PUSH1 0x04
000001f4: PUSH2 0x14fd
000001f7: JUMP
000001f8: JUMPDEST
000001f9: PUSH2 0x062d
000001fc: JUMP
000001fd: JUMPDEST
000001fe: CALLVALUE
000001ff: DUP1
00000200: ISZERO
00000201: PUSH2 0x0208
00000204: JUMPI
00000205: PUSH0
00000206: DUP1
00000207: REVERT
00000208: JUMPDEST
00000209: POP
0000020a: PUSH2 0x0227
0000020d: PUSH2 0x0217
00000210: CALLDATASIZE
00000211: PUSH1 0x04
00000213: PUSH2 0x15d8
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH4 0x0a85bd01
0000021d: PUSH1 0xe1
0000021f: SHL
00000220: SWAP5
00000221: SWAP4
00000222: POP
00000223: POP
00000224: POP
00000225: POP
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: PUSH1 0x01
0000022d: PUSH1 0x01
0000022f: PUSH1 0xe0
00000231: SHL
00000232: SUB
00000233: NOT
00000234: SWAP1
00000235: SWAP2
00000236: AND
00000237: DUP2
00000238: MSTORE
00000239: PUSH1 0x20
0000023b: ADD
0000023c: PUSH2 0x01b4
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024b
00000247: JUMPI
00000248: PUSH0
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0255
00000250: PUSH1 0x02
00000252: SLOAD
00000253: DUP2
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH1 0x40
00000258: MLOAD
00000259: SWAP1
0000025a: DUP2
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: PUSH2 0x01b4
00000262: JUMP
00000263: JUMPDEST
00000264: CALLVALUE
00000265: DUP1
00000266: ISZERO
00000267: PUSH2 0x026e
0000026a: JUMPI
0000026b: PUSH0
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0282
00000273: PUSH2 0x027d
00000276: CALLDATASIZE
00000277: PUSH1 0x04
00000279: PUSH2 0x1640
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH2 0x0698
00000281: JUMP
00000282: JUMPDEST
00000283: STOP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x028f
0000028b: JUMPI
0000028c: PUSH0
0000028d: DUP1
0000028e: REVERT
0000028f: JUMPDEST
00000290: POP
00000291: PUSH2 0x02a3
00000294: PUSH2 0x029e
00000297: CALLDATASIZE
00000298: PUSH1 0x04
0000029a: PUSH2 0x16df
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH2 0x075d
000002a2: JUMP
000002a3: JUMPDEST
000002a4: PUSH1 0x40
000002a6: MLOAD
000002a7: PUSH2 0x01b4
000002aa: SWAP2
000002ab: SWAP1
000002ac: PUSH2 0x1772
000002af: JUMP
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: DUP1
000002b3: ISZERO
000002b4: PUSH2 0x02bb
000002b7: JUMPI
000002b8: PUSH0
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: POP
000002bd: PUSH2 0x01a8
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x17d2
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x08d1
000002ce: JUMP
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: DUP1
000002d2: ISZERO
000002d3: PUSH2 0x02da
000002d6: JUMPI
000002d7: PUSH0
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x0302
000002df: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000006
00000300: DUP2
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: MLOAD
00000306: PUSH1 0xff
00000308: SWAP1
00000309: SWAP2
0000030a: AND
0000030b: DUP2
0000030c: MSTORE
0000030d: PUSH1 0x20
0000030f: ADD
00000310: PUSH2 0x01b4
00000313: JUMP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x031f
0000031b: JUMPI
0000031c: PUSH0
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x0255
00000324: PUSH2 0x08f0
00000327: JUMP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0333
0000032f: JUMPI
00000330: PUSH0
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x0282
00000338: PUSH2 0x0342
0000033b: CALLDATASIZE
0000033c: PUSH1 0x04
0000033e: PUSH2 0x1640
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH2 0x094a
00000346: JUMP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0352
0000034e: JUMPI
0000034f: PUSH0
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x0255
00000357: PUSH2 0x0361
0000035a: CALLDATASIZE
0000035b: PUSH1 0x04
0000035d: PUSH2 0x1810
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH1 0x03
00000364: PUSH1 0x20
00000366: MSTORE
00000367: PUSH0
00000368: SWAP1
00000369: DUP2
0000036a: MSTORE
0000036b: PUSH1 0x40
0000036d: SWAP1
0000036e: KECCAK256
0000036f: SLOAD
00000370: DUP2
00000371: JUMP
00000372: JUMPDEST
00000373: CALLVALUE
00000374: DUP1
00000375: ISZERO
00000376: PUSH2 0x037d
00000379: JUMPI
0000037a: PUSH0
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x0282
00000382: PUSH2 0x038c
00000385: CALLDATASIZE
00000386: PUSH1 0x04
00000388: PUSH2 0x1810
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH2 0x09f8
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039c
00000398: JUMPI
00000399: PUSH0
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x0255
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x1810
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH1 0x05
000003ae: PUSH1 0x20
000003b0: MSTORE
000003b1: PUSH0
000003b2: SWAP1
000003b3: DUP2
000003b4: MSTORE
000003b5: PUSH1 0x40
000003b7: SWAP1
000003b8: KECCAK256
000003b9: SLOAD
000003ba: DUP2
000003bb: JUMP
000003bc: JUMPDEST
000003bd: CALLVALUE
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x03c7
000003c3: JUMPI
000003c4: PUSH0
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: POP
000003c9: PUSH1 0x08
000003cb: SLOAD
000003cc: PUSH2 0x03db
000003cf: SWAP1
000003d0: PUSH1 0x01
000003d2: PUSH1 0x01
000003d4: PUSH1 0xa0
000003d6: SHL
000003d7: SUB
000003d8: AND
000003d9: DUP2
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH1 0x40
000003de: MLOAD
000003df: PUSH1 0x01
000003e1: PUSH1 0x01
000003e3: PUSH1 0xa0
000003e5: SHL
000003e6: SUB
000003e7: SWAP1
000003e8: SWAP2
000003e9: AND
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: PUSH2 0x01b4
000003f2: JUMP
000003f3: JUMPDEST
000003f4: CALLVALUE
000003f5: DUP1
000003f6: ISZERO
000003f7: PUSH2 0x03fe
000003fa: JUMPI
000003fb: PUSH0
000003fc: DUP1
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH2 0x0282
00000403: PUSH2 0x040d
00000406: CALLDATASIZE
00000407: PUSH1 0x04
00000409: PUSH2 0x1810
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH2 0x0add
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041d
00000419: JUMPI
0000041a: PUSH0
0000041b: DUP1
0000041c: REVERT
0000041d: JUMPDEST
0000041e: POP
0000041f: PUSH1 0x06
00000421: SLOAD
00000422: PUSH2 0x03db
00000425: SWAP1
00000426: PUSH1 0x01
00000428: PUSH1 0x01
0000042a: PUSH1 0xa0
0000042c: SHL
0000042d: SUB
0000042e: AND
0000042f: DUP2
00000430: JUMP
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043c
00000438: JUMPI
00000439: PUSH0
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x01d1
00000441: PUSH2 0x0b30
00000444: JUMP
00000445: JUMPDEST
00000446: CALLVALUE
00000447: DUP1
00000448: ISZERO
00000449: PUSH2 0x0450
0000044c: JUMPI
0000044d: PUSH0
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x01a8
00000455: PUSH2 0x045f
00000458: CALLDATASIZE
00000459: PUSH1 0x04
0000045b: PUSH2 0x14fd
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH2 0x0b3d
00000463: JUMP
00000464: JUMPDEST
00000465: CALLVALUE
00000466: DUP1
00000467: ISZERO
00000468: PUSH2 0x046f
0000046b: JUMPI
0000046c: PUSH0
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x0227
00000474: PUSH2 0x047e
00000477: CALLDATASIZE
00000478: PUSH1 0x04
0000047a: PUSH2 0x18a8
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH4 0xbc197c81
00000484: PUSH1 0xe0
00000486: SHL
00000487: SWAP6
00000488: SWAP5
00000489: POP
0000048a: POP
0000048b: POP
0000048c: POP
0000048d: POP
0000048e: JUMP
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049a
00000496: JUMPI
00000497: PUSH0
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: PUSH1 0x07
0000049e: SLOAD
0000049f: PUSH2 0x03db
000004a2: SWAP1
000004a3: PUSH1 0x01
000004a5: PUSH1 0x01
000004a7: PUSH1 0xa0
000004a9: SHL
000004aa: SUB
000004ab: AND
000004ac: DUP2
000004ad: JUMP
000004ae: JUMPDEST
000004af: CALLVALUE
000004b0: DUP1
000004b1: ISZERO
000004b2: PUSH2 0x04b9
000004b5: JUMPI
000004b6: PUSH0
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: POP
000004bb: PUSH2 0x0282
000004be: PUSH2 0x04c8
000004c1: CALLDATASIZE
000004c2: PUSH1 0x04
000004c4: PUSH2 0x194f
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x0b51
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d8
000004d4: JUMPI
000004d5: PUSH0
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x0255
000004dd: PUSH2 0x04e7
000004e0: CALLDATASIZE
000004e1: PUSH1 0x04
000004e3: PUSH2 0x19c0
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH1 0x04
000004ea: PUSH1 0x20
000004ec: SWAP1
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH0
000004f0: SWAP3
000004f1: DUP4
000004f2: MSTORE
000004f3: PUSH1 0x40
000004f5: DUP1
000004f6: DUP5
000004f7: KECCAK256
000004f8: SWAP1
000004f9: SWAP2
000004fa: MSTORE
000004fb: SWAP1
000004fc: DUP3
000004fd: MSTORE
000004fe: SWAP1
000004ff: KECCAK256
00000500: SLOAD
00000501: DUP2
00000502: JUMP
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050e
0000050a: JUMPI
0000050b: PUSH0
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0227
00000513: PUSH2 0x051d
00000516: CALLDATASIZE
00000517: PUSH1 0x04
00000519: PUSH2 0x19f7
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH4 0xf23a6e61
00000523: PUSH1 0xe0
00000525: SHL
00000526: SWAP6
00000527: SWAP5
00000528: POP
00000529: POP
0000052a: POP
0000052b: POP
0000052c: POP
0000052d: JUMP
0000052e: JUMPDEST
0000052f: CALLVALUE
00000530: DUP1
00000531: ISZERO
00000532: PUSH2 0x0539
00000535: JUMPI
00000536: PUSH0
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0282
0000053e: PUSH2 0x0548
00000541: CALLDATASIZE
00000542: PUSH1 0x04
00000544: PUSH2 0x1810
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH2 0x0d8f
0000054c: JUMP
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0558
00000554: JUMPI
00000555: PUSH0
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x01d1
0000055d: PUSH2 0x0567
00000560: CALLDATASIZE
00000561: PUSH1 0x04
00000563: PUSH2 0x1a5b
00000566: JUMP
00000567: JUMPDEST
00000568: PUSH2 0x0e0b
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH0
0000056e: PUSH1 0x01
00000570: PUSH1 0x01
00000572: PUSH1 0xe0
00000574: SHL
00000575: SUB
00000576: NOT
00000577: DUP3
00000578: AND
00000579: PUSH4 0x02711897
0000057e: PUSH1 0xe5
00000580: SHL
00000581: EQ
00000582: DUP1
00000583: PUSH2 0x059c
00000586: JUMPI
00000587: POP
00000588: PUSH4 0x01ffc9a7
0000058d: PUSH1 0xe0
0000058f: SHL
00000590: PUSH1 0x01
00000592: PUSH1 0x01
00000594: PUSH1 0xe0
00000596: SHL
00000597: SUB
00000598: NOT
00000599: DUP4
0000059a: AND
0000059b: EQ
0000059c: JUMPDEST
0000059d: SWAP3
0000059e: SWAP2
0000059f: POP
000005a0: POP
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH0
000005a4: DUP1
000005a5: SLOAD
000005a6: PUSH2 0x05ae
000005a9: SWAP1
000005aa: PUSH2 0x1adf
000005ad: JUMP
000005ae: JUMPDEST
000005af: DUP1
000005b0: PUSH1 0x1f
000005b2: ADD
000005b3: PUSH1 0x20
000005b5: DUP1
000005b6: SWAP2
000005b7: DIV
000005b8: MUL
000005b9: PUSH1 0x20
000005bb: ADD
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: SWAP1
000005c0: DUP2
000005c1: ADD
000005c2: PUSH1 0x40
000005c4: MSTORE
000005c5: DUP1
000005c6: SWAP3
000005c7: SWAP2
000005c8: SWAP1
000005c9: DUP2
000005ca: DUP2
000005cb: MSTORE
000005cc: PUSH1 0x20
000005ce: ADD
000005cf: DUP3
000005d0: DUP1
000005d1: SLOAD
000005d2: PUSH2 0x05da
000005d5: SWAP1
000005d6: PUSH2 0x1adf
000005d9: JUMP
000005da: JUMPDEST
000005db: DUP1
000005dc: ISZERO
000005dd: PUSH2 0x0625
000005e0: JUMPI
000005e1: DUP1
000005e2: PUSH1 0x1f
000005e4: LT
000005e5: PUSH2 0x05fc
000005e8: JUMPI
000005e9: PUSH2 0x0100
000005ec: DUP1
000005ed: DUP4
000005ee: SLOAD
000005ef: DIV
000005f0: MUL
000005f1: DUP4
000005f2: MSTORE
000005f3: SWAP2
000005f4: PUSH1 0x20
000005f6: ADD
000005f7: SWAP2
000005f8: PUSH2 0x0625
000005fb: JUMP
000005fc: JUMPDEST
000005fd: DUP3
000005fe: ADD
000005ff: SWAP2
00000600: SWAP1
00000601: PUSH0
00000602: MSTORE
00000603: PUSH1 0x20
00000605: PUSH0
00000606: KECCAK256
00000607: SWAP1
00000608: JUMPDEST
00000609: DUP2
0000060a: SLOAD
0000060b: DUP2
0000060c: MSTORE
0000060d: SWAP1
0000060e: PUSH1 0x01
00000610: ADD
00000611: SWAP1
00000612: PUSH1 0x20
00000614: ADD
00000615: DUP1
00000616: DUP4
00000617: GT
00000618: PUSH2 0x0608
0000061b: JUMPI
0000061c: DUP3
0000061d: SWAP1
0000061e: SUB
0000061f: PUSH1 0x1f
00000621: AND
00000622: DUP3
00000623: ADD
00000624: SWAP2
00000625: JUMPDEST
00000626: POP
00000627: POP
00000628: POP
00000629: POP
0000062a: POP
0000062b: DUP2
0000062c: JUMP
0000062d: JUMPDEST
0000062e: CALLER
0000062f: PUSH0
00000630: DUP2
00000631: DUP2
00000632: MSTORE
00000633: PUSH1 0x04
00000635: PUSH1 0x20
00000637: SWAP1
00000638: DUP2
00000639: MSTORE
0000063a: PUSH1 0x40
0000063c: DUP1
0000063d: DUP4
0000063e: KECCAK256
0000063f: PUSH1 0x01
00000641: PUSH1 0x01
00000643: PUSH1 0xa0
00000645: SHL
00000646: SUB
00000647: DUP8
00000648: AND
00000649: DUP1
0000064a: DUP6
0000064b: MSTORE
0000064c: SWAP3
0000064d: MSTORE
0000064e: DUP1
0000064f: DUP4
00000650: KECCAK256
00000651: DUP6
00000652: SWAP1
00000653: SSTORE
00000654: MLOAD
00000655: SWAP2
00000656: SWAP3
00000657: SWAP1
00000658: SWAP2
00000659: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000067a: SWAP1
0000067b: PUSH2 0x0687
0000067e: SWAP1
0000067f: DUP7
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: SWAP1
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH1 0x40
0000068a: MLOAD
0000068b: DUP1
0000068c: SWAP2
0000068d: SUB
0000068e: SWAP1
0000068f: LOG3
00000690: POP
00000691: PUSH1 0x01
00000693: SWAP3
00000694: SWAP2
00000695: POP
00000696: POP
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH2 0x06ad
0000069c: CALLER
0000069d: PUSH0
0000069e: CALLDATALOAD
0000069f: PUSH1 0x01
000006a1: PUSH1 0x01
000006a3: PUSH1 0xe0
000006a5: SHL
000006a6: SUB
000006a7: NOT
000006a8: AND
000006a9: PUSH2 0x0e91
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH2 0x06d2
000006b1: JUMPI
000006b2: PUSH1 0x40
000006b4: MLOAD
000006b5: PUSH3 0x461bcd
000006b9: PUSH1 0xe5
000006bb: SHL
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x04
000006c0: ADD
000006c1: PUSH2 0x06c9
000006c4: SWAP1
000006c5: PUSH2 0x1b17
000006c8: JUMP
000006c9: JUMPDEST
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: DUP1
000006ce: SWAP2
000006cf: SUB
000006d0: SWAP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: PUSH2 0x06dc
000006d6: DUP3
000006d7: DUP3
000006d8: PUSH2 0x0f38
000006db: JUMP
000006dc: JUMPDEST
000006dd: DUP3
000006de: ISZERO
000006df: PUSH2 0x06f6
000006e2: JUMPI
000006e3: PUSH2 0x06f6
000006e6: PUSH1 0x01
000006e8: PUSH1 0x01
000006ea: PUSH1 0xa0
000006ec: SHL
000006ed: SUB
000006ee: DUP6
000006ef: AND
000006f0: DUP7
000006f1: DUP6
000006f2: PUSH2 0x0f9f
000006f5: JUMP
000006f6: JUMPDEST
000006f7: DUP2
000006f8: PUSH1 0x01
000006fa: PUSH1 0x01
000006fc: PUSH1 0xa0
000006fe: SHL
000006ff: SUB
00000700: AND
00000701: DUP5
00000702: PUSH1 0x01
00000704: PUSH1 0x01
00000706: PUSH1 0xa0
00000708: SHL
00000709: SUB
0000070a: AND
0000070b: DUP7
0000070c: PUSH1 0x01
0000070e: PUSH1 0x01
00000710: PUSH1 0xa0
00000712: SHL
00000713: SUB
00000714: AND
00000715: PUSH32 0xe0c82280a1164680e0cf43be7db4c4c9f985423623ad7a544fb76c772bdc6043
00000736: DUP7
00000737: DUP6
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: PUSH2 0x074e
0000073e: SWAP3
0000073f: SWAP2
00000740: SWAP1
00000741: SWAP2
00000742: DUP3
00000743: MSTORE
00000744: PUSH1 0x20
00000746: DUP3
00000747: ADD
00000748: MSTORE
00000749: PUSH1 0x40
0000074b: ADD
0000074c: SWAP1
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: DUP1
00000753: SWAP2
00000754: SUB
00000755: SWAP1
00000756: LOG4
00000757: POP
00000758: POP
00000759: POP
0000075a: POP
0000075b: POP
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH1 0x60
00000760: PUSH2 0x0774
00000763: CALLER
00000764: PUSH0
00000765: CALLDATALOAD
00000766: PUSH1 0x01
00000768: PUSH1 0x01
0000076a: PUSH1 0xe0
0000076c: SHL
0000076d: SUB
0000076e: NOT
0000076f: AND
00000770: PUSH2 0x0e91
00000773: JUMP
00000774: JUMPDEST
00000775: PUSH2 0x0790
00000778: JUMPI
00000779: PUSH1 0x40
0000077b: MLOAD
0000077c: PUSH3 0x461bcd
00000780: PUSH1 0xe5
00000782: SHL
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x04
00000787: ADD
00000788: PUSH2 0x06c9
0000078b: SWAP1
0000078c: PUSH2 0x1b17
0000078f: JUMP
00000790: JUMPDEST
00000791: DUP6
00000792: DUP1
00000793: PUSH8 0xffffffffffffffff
0000079c: DUP2
0000079d: GT
0000079e: ISZERO
0000079f: PUSH2 0x07aa
000007a2: JUMPI
000007a3: PUSH2 0x07aa
000007a6: PUSH2 0x1527
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: SWAP1
000007af: DUP1
000007b0: DUP3
000007b1: MSTORE
000007b2: DUP1
000007b3: PUSH1 0x20
000007b5: MUL
000007b6: PUSH1 0x20
000007b8: ADD
000007b9: DUP3
000007ba: ADD
000007bb: PUSH1 0x40
000007bd: MSTORE
000007be: DUP1
000007bf: ISZERO
000007c0: PUSH2 0x07dd
000007c3: JUMPI
000007c4: DUP2
000007c5: PUSH1 0x20
000007c7: ADD
000007c8: JUMPDEST
000007c9: PUSH1 0x60
000007cb: DUP2
000007cc: MSTORE
000007cd: PUSH1 0x20
000007cf: ADD
000007d0: SWAP1
000007d1: PUSH1 0x01
000007d3: SWAP1
000007d4: SUB
000007d5: SWAP1
000007d6: DUP2
000007d7: PUSH2 0x07c8
000007da: JUMPI
000007db: SWAP1
000007dc: POP
000007dd: JUMPDEST
000007de: POP
000007df: SWAP2
000007e0: POP
000007e1: PUSH0
000007e2: JUMPDEST
000007e3: DUP2
000007e4: DUP2
000007e5: LT
000007e6: ISZERO
000007e7: PUSH2 0x08c5
000007ea: JUMPI
000007eb: PUSH2 0x0897
000007ee: DUP8
000007ef: DUP8
000007f0: DUP4
000007f1: DUP2
000007f2: DUP2
000007f3: LT
000007f4: PUSH2 0x07ff
000007f7: JUMPI
000007f8: PUSH2 0x07ff
000007fb: PUSH2 0x1b3d
000007fe: JUMP
000007ff: JUMPDEST
00000800: SWAP1
00000801: POP
00000802: PUSH1 0x20
00000804: MUL
00000805: DUP2
00000806: ADD
00000807: SWAP1
00000808: PUSH2 0x0811
0000080b: SWAP2
0000080c: SWAP1
0000080d: PUSH2 0x1b51
00000810: JUMP
00000811: JUMPDEST
00000812: DUP1
00000813: DUP1
00000814: PUSH1 0x1f
00000816: ADD
00000817: PUSH1 0x20
00000819: DUP1
0000081a: SWAP2
0000081b: DIV
0000081c: MUL
0000081d: PUSH1 0x20
0000081f: ADD
00000820: PUSH1 0x40
00000822: MLOAD
00000823: SWAP1
00000824: DUP2
00000825: ADD
00000826: PUSH1 0x40
00000828: MSTORE
00000829: DUP1
0000082a: SWAP4
0000082b: SWAP3
0000082c: SWAP2
0000082d: SWAP1
0000082e: DUP2
0000082f: DUP2
00000830: MSTORE
00000831: PUSH1 0x20
00000833: ADD
00000834: DUP4
00000835: DUP4
00000836: DUP1
00000837: DUP3
00000838: DUP5
00000839: CALLDATACOPY
0000083a: PUSH0
0000083b: SWAP3
0000083c: ADD
0000083d: SWAP2
0000083e: SWAP1
0000083f: SWAP2
00000840: MSTORE
00000841: POP
00000842: DUP10
00000843: SWAP3
00000844: POP
00000845: DUP9
00000846: SWAP2
00000847: POP
00000848: DUP6
00000849: SWAP1
0000084a: POP
0000084b: DUP2
0000084c: DUP2
0000084d: LT
0000084e: PUSH2 0x0859
00000851: JUMPI
00000852: PUSH2 0x0859
00000855: PUSH2 0x1b3d
00000858: JUMP
00000859: JUMPDEST
0000085a: SWAP1
0000085b: POP
0000085c: PUSH1 0x20
0000085e: MUL
0000085f: ADD
00000860: CALLDATALOAD
00000861: DUP12
00000862: DUP12
00000863: DUP6
00000864: DUP2
00000865: DUP2
00000866: LT
00000867: PUSH2 0x0872
0000086a: JUMPI
0000086b: PUSH2 0x0872
0000086e: PUSH2 0x1b3d
00000871: JUMP
00000872: JUMPDEST
00000873: SWAP1
00000874: POP
00000875: PUSH1 0x20
00000877: MUL
00000878: ADD
00000879: PUSH1 0x20
0000087b: DUP2
0000087c: ADD
0000087d: SWAP1
0000087e: PUSH2 0x0887
00000881: SWAP2
00000882: SWAP1
00000883: PUSH2 0x1810
00000886: JUMP
00000887: JUMPDEST
00000888: PUSH1 0x01
0000088a: PUSH1 0x01
0000088c: PUSH1 0xa0
0000088e: SHL
0000088f: SUB
00000890: AND
00000891: SWAP2
00000892: SWAP1
00000893: PUSH2 0x1022
00000896: JUMP
00000897: JUMPDEST
00000898: DUP4
00000899: DUP3
0000089a: DUP2
0000089b: MLOAD
0000089c: DUP2
0000089d: LT
0000089e: PUSH2 0x08a9
000008a1: JUMPI
000008a2: PUSH2 0x08a9
000008a5: PUSH2 0x1b3d
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH1 0x20
000008ac: MUL
000008ad: PUSH1 0x20
000008af: ADD
000008b0: ADD
000008b1: DUP2
000008b2: SWAP1
000008b3: MSTORE
000008b4: POP
000008b5: DUP1
000008b6: PUSH2 0x08be
000008b9: SWAP1
000008ba: PUSH2 0x1ba8
000008bd: JUMP
000008be: JUMPDEST
000008bf: SWAP1
000008c0: POP
000008c1: PUSH2 0x07e2
000008c4: JUMP
000008c5: JUMPDEST
000008c6: POP
000008c7: POP
000008c8: SWAP7
000008c9: SWAP6
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: POP
000008ce: POP
000008cf: POP
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH0
000008d3: PUSH2 0x08db
000008d6: DUP5
000008d7: PUSH2 0x10bb
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08e6
000008df: DUP5
000008e0: DUP5
000008e1: DUP5
000008e2: PUSH2 0x1129
000008e5: JUMP
000008e6: JUMPDEST
000008e7: SWAP1
000008e8: POP
000008e9: JUMPDEST
000008ea: SWAP4
000008eb: SWAP3
000008ec: POP
000008ed: POP
000008ee: POP
000008ef: JUMP
000008f0: JUMPDEST
000008f1: PUSH0
000008f2: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000913: CHAINID
00000914: EQ
00000915: PUSH2 0x0925
00000918: JUMPI
00000919: PUSH2 0x0920
0000091c: PUSH2 0x1203
0000091f: JUMP
00000920: JUMPDEST
00000921: SWAP1
00000922: POP
00000923: SWAP1
00000924: JUMP
00000925: JUMPDEST
00000926: POP
00000927: PUSH32 0xbd24641783ae3c32a725a234142771f4f7b8e3997c421c63f924ee859e6195d4
00000948: SWAP1
00000949: JUMP
0000094a: JUMPDEST
0000094b: PUSH2 0x095f
0000094e: CALLER
0000094f: PUSH0
00000950: CALLDATALOAD
00000951: PUSH1 0x01
00000953: PUSH1 0x01
00000955: PUSH1 0xe0
00000957: SHL
00000958: SUB
00000959: NOT
0000095a: AND
0000095b: PUSH2 0x0e91
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH2 0x097b
00000963: JUMPI
00000964: PUSH1 0x40
00000966: MLOAD
00000967: PUSH3 0x461bcd
0000096b: PUSH1 0xe5
0000096d: SHL
0000096e: DUP2
0000096f: MSTORE
00000970: PUSH1 0x04
00000972: ADD
00000973: PUSH2 0x06c9
00000976: SWAP1
00000977: PUSH2 0x1b17
0000097a: JUMP
0000097b: JUMPDEST
0000097c: DUP3
0000097d: ISZERO
0000097e: PUSH2 0x0996
00000981: JUMPI
00000982: PUSH2 0x0996
00000985: PUSH1 0x01
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: SHL
0000098c: SUB
0000098d: DUP6
0000098e: AND
0000098f: DUP7
00000990: ADDRESS
00000991: DUP7
00000992: PUSH2 0x129b
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH2 0x09a0
0000099a: DUP3
0000099b: DUP3
0000099c: PUSH2 0x132c
0000099f: JUMP
000009a0: JUMPDEST
000009a1: DUP2
000009a2: PUSH1 0x01
000009a4: PUSH1 0x01
000009a6: PUSH1 0xa0
000009a8: SHL
000009a9: SUB
000009aa: AND
000009ab: DUP5
000009ac: PUSH1 0x01
000009ae: PUSH1 0x01
000009b0: PUSH1 0xa0
000009b2: SHL
000009b3: SUB
000009b4: AND
000009b5: DUP7
000009b6: PUSH1 0x01
000009b8: PUSH1 0x01
000009ba: PUSH1 0xa0
000009bc: SHL
000009bd: SUB
000009be: AND
000009bf: PUSH32 0xea00f88768a86184a6e515238a549c171769fe7460a011d6fd0bcd48ca078ea4
000009e0: DUP7
000009e1: DUP6
000009e2: PUSH1 0x40
000009e4: MLOAD
000009e5: PUSH2 0x074e
000009e8: SWAP3
000009e9: SWAP2
000009ea: SWAP1
000009eb: SWAP2
000009ec: DUP3
000009ed: MSTORE
000009ee: PUSH1 0x20
000009f0: DUP3
000009f1: ADD
000009f2: MSTORE
000009f3: PUSH1 0x40
000009f5: ADD
000009f6: SWAP1
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH1 0x06
000009fb: SLOAD
000009fc: PUSH1 0x01
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: SHL
00000a03: SUB
00000a04: AND
00000a05: CALLER
00000a06: EQ
00000a07: DUP1
00000a08: PUSH2 0x0a8a
00000a0b: JUMPI
00000a0c: POP
00000a0d: PUSH1 0x07
00000a0f: SLOAD
00000a10: PUSH1 0x40
00000a12: MLOAD
00000a13: PUSH4 0xb7009613
00000a18: PUSH1 0xe0
00000a1a: SHL
00000a1b: DUP2
00000a1c: MSTORE
00000a1d: PUSH1 0x01
00000a1f: PUSH1 0x01
00000a21: PUSH1 0xa0
00000a23: SHL
00000a24: SUB
00000a25: SWAP1
00000a26: SWAP2
00000a27: AND
00000a28: SWAP1
00000a29: PUSH4 0xb7009613
00000a2e: SWAP1
00000a2f: PUSH2 0x0a4b
00000a32: SWAP1
00000a33: CALLER
00000a34: SWAP1
00000a35: ADDRESS
00000a36: SWAP1
00000a37: PUSH1 0x01
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xe0
00000a3d: SHL
00000a3e: SUB
00000a3f: NOT
00000a40: PUSH0
00000a41: CALLDATALOAD
00000a42: AND
00000a43: SWAP1
00000a44: PUSH1 0x04
00000a46: ADD
00000a47: PUSH2 0x1bc0
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x20
00000a4e: PUSH1 0x40
00000a50: MLOAD
00000a51: DUP1
00000a52: DUP4
00000a53: SUB
00000a54: DUP2
00000a55: DUP7
00000a56: GAS
00000a57: STATICCALL
00000a58: ISZERO
00000a59: DUP1
00000a5a: ISZERO
00000a5b: PUSH2 0x0a66
00000a5e: JUMPI
00000a5f: RETURNDATASIZE
00000a60: PUSH0
00000a61: DUP1
00000a62: RETURNDATACOPY
00000a63: RETURNDATASIZE
00000a64: PUSH0
00000a65: REVERT
00000a66: JUMPDEST
00000a67: POP
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: PUSH1 0x40
00000a6d: MLOAD
00000a6e: RETURNDATASIZE
00000a6f: PUSH1 0x1f
00000a71: NOT
00000a72: PUSH1 0x1f
00000a74: DUP3
00000a75: ADD
00000a76: AND
00000a77: DUP3
00000a78: ADD
00000a79: DUP1
00000a7a: PUSH1 0x40
00000a7c: MSTORE
00000a7d: POP
00000a7e: DUP2
00000a7f: ADD
00000a80: SWAP1
00000a81: PUSH2 0x0a8a
00000a84: SWAP2
00000a85: SWAP1
00000a86: PUSH2 0x1bed
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH2 0x0a92
00000a8e: JUMPI
00000a8f: PUSH0
00000a90: DUP1
00000a91: REVERT
00000a92: JUMPDEST
00000a93: PUSH1 0x07
00000a95: DUP1
00000a96: SLOAD
00000a97: PUSH1 0x01
00000a99: PUSH1 0x01
00000a9b: PUSH1 0xa0
00000a9d: SHL
00000a9e: SUB
00000a9f: NOT
00000aa0: AND
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: DUP4
00000aaa: AND
00000aab: SWAP1
00000aac: DUP2
00000aad: OR
00000aae: SWAP1
00000aaf: SWAP2
00000ab0: SSTORE
00000ab1: PUSH1 0x40
00000ab3: MLOAD
00000ab4: CALLER
00000ab5: SWAP1
00000ab6: PUSH32 0xa3396fd7f6e0a21b50e5089d2da70d5ac0a3bbbd1f617a93f134b76389980198
00000ad7: SWAP1
00000ad8: PUSH0
00000ad9: SWAP1
00000ada: LOG3
00000adb: POP
00000adc: JUMP
00000add: JUMPDEST
00000ade: PUSH2 0x0af2
00000ae1: CALLER
00000ae2: PUSH0
00000ae3: CALLDATALOAD
00000ae4: PUSH1 0x01
00000ae6: PUSH1 0x01
00000ae8: PUSH1 0xe0
00000aea: SHL
00000aeb: SUB
00000aec: NOT
00000aed: AND
00000aee: PUSH2 0x0e91
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH2 0x0b0e
00000af6: JUMPI
00000af7: PUSH1 0x40
00000af9: MLOAD
00000afa: PUSH3 0x461bcd
00000afe: PUSH1 0xe5
00000b00: SHL
00000b01: DUP2
00000b02: MSTORE
00000b03: PUSH1 0x04
00000b05: ADD
00000b06: PUSH2 0x06c9
00000b09: SWAP1
00000b0a: PUSH2 0x1b17
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x08
00000b11: DUP1
00000b12: SLOAD
00000b13: PUSH1 0x01
00000b15: PUSH1 0x01
00000b17: PUSH1 0xa0
00000b19: SHL
00000b1a: SUB
00000b1b: NOT
00000b1c: AND
00000b1d: PUSH1 0x01
00000b1f: PUSH1 0x01
00000b21: PUSH1 0xa0
00000b23: SHL
00000b24: SUB
00000b25: SWAP3
00000b26: SWAP1
00000b27: SWAP3
00000b28: AND
00000b29: SWAP2
00000b2a: SWAP1
00000b2b: SWAP2
00000b2c: OR
00000b2d: SWAP1
00000b2e: SSTORE
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH1 0x01
00000b33: DUP1
00000b34: SLOAD
00000b35: PUSH2 0x05ae
00000b38: SWAP1
00000b39: PUSH2 0x1adf
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH0
00000b3f: PUSH2 0x0b47
00000b42: CALLER
00000b43: PUSH2 0x10bb
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH2 0x08e9
00000b4b: DUP4
00000b4c: DUP4
00000b4d: PUSH2 0x137b
00000b50: JUMP
00000b51: JUMPDEST
00000b52: TIMESTAMP
00000b53: DUP5
00000b54: LT
00000b55: ISZERO
00000b56: PUSH2 0x0ba1
00000b59: JUMPI
00000b5a: PUSH1 0x40
00000b5c: MLOAD
00000b5d: PUSH3 0x461bcd
00000b61: PUSH1 0xe5
00000b63: SHL
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: PUSH1 0x04
00000b6a: DUP3
00000b6b: ADD
00000b6c: MSTORE
00000b6d: PUSH1 0x17
00000b6f: PUSH1 0x24
00000b71: DUP3
00000b72: ADD
00000b73: MSTORE
00000b74: PUSH32 0x5045524d49545f444541444c494e455f45585049524544000000000000000000
00000b95: PUSH1 0x44
00000b97: DUP3
00000b98: ADD
00000b99: MSTORE
00000b9a: PUSH1 0x64
00000b9c: ADD
00000b9d: PUSH2 0x06c9
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: PUSH0
00000ba3: PUSH1 0x01
00000ba5: PUSH2 0x0bac
00000ba8: PUSH2 0x08f0
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x01
00000baf: PUSH1 0x01
00000bb1: PUSH1 0xa0
00000bb3: SHL
00000bb4: SUB
00000bb5: DUP11
00000bb6: DUP2
00000bb7: AND
00000bb8: PUSH0
00000bb9: DUP2
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x05
00000bbe: PUSH1 0x20
00000bc0: SWAP1
00000bc1: DUP2
00000bc2: MSTORE
00000bc3: PUSH1 0x40
00000bc5: SWAP2
00000bc6: DUP3
00000bc7: SWAP1
00000bc8: KECCAK256
00000bc9: DUP1
00000bca: SLOAD
00000bcb: PUSH1 0x01
00000bcd: DUP2
00000bce: ADD
00000bcf: SWAP1
00000bd0: SWAP2
00000bd1: SSTORE
00000bd2: DUP3
00000bd3: MLOAD
00000bd4: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000bf5: DUP2
00000bf6: DUP5
00000bf7: ADD
00000bf8: MSTORE
00000bf9: DUP1
00000bfa: DUP5
00000bfb: ADD
00000bfc: SWAP5
00000bfd: SWAP1
00000bfe: SWAP5
00000bff: MSTORE
00000c00: SWAP4
00000c01: DUP14
00000c02: AND
00000c03: PUSH1 0x60
00000c05: DUP5
00000c06: ADD
00000c07: MSTORE
00000c08: PUSH1 0x80
00000c0a: DUP4
00000c0b: ADD
00000c0c: DUP13
00000c0d: SWAP1
00000c0e: MSTORE
00000c0f: PUSH1 0xa0
00000c11: DUP4
00000c12: ADD
00000c13: SWAP4
00000c14: SWAP1
00000c15: SWAP4
00000c16: MSTORE
00000c17: PUSH1 0xc0
00000c19: DUP1
00000c1a: DUP4
00000c1b: ADD
00000c1c: DUP12
00000c1d: SWAP1
00000c1e: MSTORE
00000c1f: DUP2
00000c20: MLOAD
00000c21: DUP1
00000c22: DUP5
00000c23: SUB
00000c24: SWAP1
00000c25: SWAP2
00000c26: ADD
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0xe0
00000c2b: DUP4
00000c2c: ADD
00000c2d: SWAP1
00000c2e: SWAP2
00000c2f: MSTORE
00000c30: DUP1
00000c31: MLOAD
00000c32: SWAP3
00000c33: ADD
00000c34: SWAP2
00000c35: SWAP1
00000c36: SWAP2
00000c37: KECCAK256
00000c38: PUSH2 0x1901
00000c3b: PUSH1 0xf0
00000c3d: SHL
00000c3e: PUSH2 0x0100
00000c41: DUP4
00000c42: ADD
00000c43: MSTORE
00000c44: PUSH2 0x0102
00000c47: DUP3
00000c48: ADD
00000c49: SWAP3
00000c4a: SWAP1
00000c4b: SWAP3
00000c4c: MSTORE
00000c4d: PUSH2 0x0122
00000c50: DUP2
00000c51: ADD
00000c52: SWAP2
00000c53: SWAP1
00000c54: SWAP2
00000c55: MSTORE
00000c56: PUSH2 0x0142
00000c59: ADD
00000c5a: PUSH1 0x40
00000c5c: DUP1
00000c5d: MLOAD
00000c5e: PUSH1 0x1f
00000c60: NOT
00000c61: DUP2
00000c62: DUP5
00000c63: SUB
00000c64: ADD
00000c65: DUP2
00000c66: MSTORE
00000c67: DUP3
00000c68: DUP3
00000c69: MSTORE
00000c6a: DUP1
00000c6b: MLOAD
00000c6c: PUSH1 0x20
00000c6e: SWAP2
00000c6f: DUP3
00000c70: ADD
00000c71: KECCAK256
00000c72: PUSH0
00000c73: DUP5
00000c74: MSTORE
00000c75: SWAP1
00000c76: DUP4
00000c77: ADD
00000c78: DUP1
00000c79: DUP4
00000c7a: MSTORE
00000c7b: MSTORE
00000c7c: PUSH1 0xff
00000c7e: DUP8
00000c7f: AND
00000c80: SWAP1
00000c81: DUP3
00000c82: ADD
00000c83: MSTORE
00000c84: PUSH1 0x60
00000c86: DUP2
00000c87: ADD
00000c88: DUP6
00000c89: SWAP1
00000c8a: MSTORE
00000c8b: PUSH1 0x80
00000c8d: DUP2
00000c8e: ADD
00000c8f: DUP5
00000c90: SWAP1
00000c91: MSTORE
00000c92: PUSH1 0xa0
00000c94: ADD
00000c95: PUSH1 0x20
00000c97: PUSH1 0x40
00000c99: MLOAD
00000c9a: PUSH1 0x20
00000c9c: DUP2
00000c9d: SUB
00000c9e: SWAP1
00000c9f: DUP1
00000ca0: DUP5
00000ca1: SUB
00000ca2: SWAP1
00000ca3: DUP6
00000ca4: GAS
00000ca5: STATICCALL
00000ca6: ISZERO
00000ca7: DUP1
00000ca8: ISZERO
00000ca9: PUSH2 0x0cb4
00000cac: JUMPI
00000cad: RETURNDATASIZE
00000cae: PUSH0
00000caf: DUP1
00000cb0: RETURNDATACOPY
00000cb1: RETURNDATASIZE
00000cb2: PUSH0
00000cb3: REVERT
00000cb4: JUMPDEST
00000cb5: POP
00000cb6: POP
00000cb7: PUSH1 0x40
00000cb9: MLOAD
00000cba: PUSH1 0x1f
00000cbc: NOT
00000cbd: ADD
00000cbe: MLOAD
00000cbf: SWAP2
00000cc0: POP
00000cc1: POP
00000cc2: PUSH1 0x01
00000cc4: PUSH1 0x01
00000cc6: PUSH1 0xa0
00000cc8: SHL
00000cc9: SUB
00000cca: DUP2
00000ccb: AND
00000ccc: ISZERO
00000ccd: DUP1
00000cce: ISZERO
00000ccf: SWAP1
00000cd0: PUSH2 0x0cea
00000cd3: JUMPI
00000cd4: POP
00000cd5: DUP8
00000cd6: PUSH1 0x01
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: SHL
00000cdd: SUB
00000cde: AND
00000cdf: DUP2
00000ce0: PUSH1 0x01
00000ce2: PUSH1 0x01
00000ce4: PUSH1 0xa0
00000ce6: SHL
00000ce7: SUB
00000ce8: AND
00000ce9: EQ
00000cea: JUMPDEST
00000ceb: PUSH2 0x0d27
00000cee: JUMPI
00000cef: PUSH1 0x40
00000cf1: MLOAD
00000cf2: PUSH3 0x461bcd
00000cf6: PUSH1 0xe5
00000cf8: SHL
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x20
00000cfd: PUSH1 0x04
00000cff: DUP3
00000d00: ADD
00000d01: MSTORE
00000d02: PUSH1 0x0e
00000d04: PUSH1 0x24
00000d06: DUP3
00000d07: ADD
00000d08: MSTORE
00000d09: PUSH14 0x24a72b20a624a22fa9a4a3a722a9
00000d18: PUSH1 0x91
00000d1a: SHL
00000d1b: PUSH1 0x44
00000d1d: DUP3
00000d1e: ADD
00000d1f: MSTORE
00000d20: PUSH1 0x64
00000d22: ADD
00000d23: PUSH2 0x06c9
00000d26: JUMP
00000d27: JUMPDEST
00000d28: PUSH1 0x01
00000d2a: PUSH1 0x01
00000d2c: PUSH1 0xa0
00000d2e: SHL
00000d2f: SUB
00000d30: SWAP1
00000d31: DUP2
00000d32: AND
00000d33: PUSH0
00000d34: SWAP1
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x04
00000d39: PUSH1 0x20
00000d3b: SWAP1
00000d3c: DUP2
00000d3d: MSTORE
00000d3e: PUSH1 0x40
00000d40: DUP1
00000d41: DUP4
00000d42: KECCAK256
00000d43: DUP11
00000d44: DUP6
00000d45: AND
00000d46: DUP1
00000d47: DUP6
00000d48: MSTORE
00000d49: SWAP1
00000d4a: DUP4
00000d4b: MSTORE
00000d4c: SWAP3
00000d4d: DUP2
00000d4e: SWAP1
00000d4f: KECCAK256
00000d50: DUP10
00000d51: SWAP1
00000d52: SSTORE
00000d53: MLOAD
00000d54: DUP9
00000d55: DUP2
00000d56: MSTORE
00000d57: SWAP2
00000d58: SWAP3
00000d59: DUP11
00000d5a: AND
00000d5b: SWAP2
00000d5c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000d7d: SWAP2
00000d7e: ADD
00000d7f: PUSH1 0x40
00000d81: MLOAD
00000d82: DUP1
00000d83: SWAP2
00000d84: SUB
00000d85: SWAP1
00000d86: LOG3
00000d87: POP
00000d88: POP
00000d89: POP
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: POP
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: PUSH2 0x0da4
00000d93: CALLER
00000d94: PUSH0
00000d95: CALLDATALOAD
00000d96: PUSH1 0x01
00000d98: PUSH1 0x01
00000d9a: PUSH1 0xe0
00000d9c: SHL
00000d9d: SUB
00000d9e: NOT
00000d9f: AND
00000da0: PUSH2 0x0e91
00000da3: JUMP
00000da4: JUMPDEST
00000da5: PUSH2 0x0dc0
00000da8: JUMPI
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: PUSH3 0x461bcd
00000db0: PUSH1 0xe5
00000db2: SHL
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x04
00000db7: ADD
00000db8: PUSH2 0x06c9
00000dbb: SWAP1
00000dbc: PUSH2 0x1b17
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x06
00000dc3: DUP1
00000dc4: SLOAD
00000dc5: PUSH1 0x01
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0xa0
00000dcb: SHL
00000dcc: SUB
00000dcd: NOT
00000dce: AND
00000dcf: PUSH1 0x01
00000dd1: PUSH1 0x01
00000dd3: PUSH1 0xa0
00000dd5: SHL
00000dd6: SUB
00000dd7: DUP4
00000dd8: AND
00000dd9: SWAP1
00000dda: DUP2
00000ddb: OR
00000ddc: SWAP1
00000ddd: SWAP2
00000dde: SSTORE
00000ddf: PUSH1 0x40
00000de1: MLOAD
00000de2: CALLER
00000de3: SWAP1
00000de4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e05: SWAP1
00000e06: PUSH0
00000e07: SWAP1
00000e08: LOG3
00000e09: POP
00000e0a: JUMP
00000e0b: JUMPDEST
00000e0c: PUSH1 0x60
00000e0e: PUSH2 0x0e22
00000e11: CALLER
00000e12: PUSH0
00000e13: CALLDATALOAD
00000e14: PUSH1 0x01
00000e16: PUSH1 0x01
00000e18: PUSH1 0xe0
00000e1a: SHL
00000e1b: SUB
00000e1c: NOT
00000e1d: AND
00000e1e: PUSH2 0x0e91
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH2 0x0e3e
00000e26: JUMPI
00000e27: PUSH1 0x40
00000e29: MLOAD
00000e2a: PUSH3 0x461bcd
00000e2e: PUSH1 0xe5
00000e30: SHL
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x04
00000e35: ADD
00000e36: PUSH2 0x06c9
00000e39: SWAP1
00000e3a: PUSH2 0x1b17
00000e3d: JUMP
00000e3e: JUMPDEST
00000e3f: PUSH2 0x0e88
00000e42: DUP5
00000e43: DUP5
00000e44: DUP1
00000e45: DUP1
00000e46: PUSH1 0x1f
00000e48: ADD
00000e49: PUSH1 0x20
00000e4b: DUP1
00000e4c: SWAP2
00000e4d: DIV
00000e4e: MUL
00000e4f: PUSH1 0x20
00000e51: ADD
00000e52: PUSH1 0x40
00000e54: MLOAD
00000e55: SWAP1
00000e56: DUP2
00000e57: ADD
00000e58: PUSH1 0x40
00000e5a: MSTORE
00000e5b: DUP1
00000e5c: SWAP4
00000e5d: SWAP3
00000e5e: SWAP2
00000e5f: SWAP1
00000e60: DUP2
00000e61: DUP2
00000e62: MSTORE
00000e63: PUSH1 0x20
00000e65: ADD
00000e66: DUP4
00000e67: DUP4
00000e68: DUP1
00000e69: DUP3
00000e6a: DUP5
00000e6b: CALLDATACOPY
00000e6c: PUSH0
00000e6d: SWAP3
00000e6e: ADD
00000e6f: SWAP2
00000e70: SWAP1
00000e71: SWAP2
00000e72: MSTORE
00000e73: POP
00000e74: POP
00000e75: POP
00000e76: PUSH1 0x01
00000e78: PUSH1 0x01
00000e7a: PUSH1 0xa0
00000e7c: SHL
00000e7d: SUB
00000e7e: DUP9
00000e7f: AND
00000e80: SWAP2
00000e81: SWAP1
00000e82: POP
00000e83: DUP5
00000e84: PUSH2 0x1022
00000e87: JUMP
00000e88: JUMPDEST
00000e89: SWAP6
00000e8a: SWAP5
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: POP
00000e90: JUMP
00000e91: JUMPDEST
00000e92: PUSH1 0x07
00000e94: SLOAD
00000e95: PUSH0
00000e96: SWAP1
00000e97: PUSH1 0x01
00000e99: PUSH1 0x01
00000e9b: PUSH1 0xa0
00000e9d: SHL
00000e9e: SUB
00000e9f: AND
00000ea0: DUP1
00000ea1: ISZERO
00000ea2: DUP1
00000ea3: ISZERO
00000ea4: SWAP1
00000ea5: PUSH2 0x0f18
00000ea8: JUMPI
00000ea9: POP
00000eaa: PUSH1 0x40
00000eac: MLOAD
00000ead: PUSH4 0xb7009613
00000eb2: PUSH1 0xe0
00000eb4: SHL
00000eb5: DUP2
00000eb6: MSTORE
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0x01
00000ebb: PUSH1 0xa0
00000ebd: SHL
00000ebe: SUB
00000ebf: DUP3
00000ec0: AND
00000ec1: SWAP1
00000ec2: PUSH4 0xb7009613
00000ec7: SWAP1
00000ec8: PUSH2 0x0ed9
00000ecb: SWAP1
00000ecc: DUP8
00000ecd: SWAP1
00000ece: ADDRESS
00000ecf: SWAP1
00000ed0: DUP9
00000ed1: SWAP1
00000ed2: PUSH1 0x04
00000ed4: ADD
00000ed5: PUSH2 0x1bc0
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: PUSH1 0x20
00000edc: PUSH1 0x40
00000ede: MLOAD
00000edf: DUP1
00000ee0: DUP4
00000ee1: SUB
00000ee2: DUP2
00000ee3: DUP7
00000ee4: GAS
00000ee5: STATICCALL
00000ee6: ISZERO
00000ee7: DUP1
00000ee8: ISZERO
00000ee9: PUSH2 0x0ef4
00000eec: JUMPI
00000eed: RETURNDATASIZE
00000eee: PUSH0
00000eef: DUP1
00000ef0: RETURNDATACOPY
00000ef1: RETURNDATASIZE
00000ef2: PUSH0
00000ef3: REVERT
00000ef4: JUMPDEST
00000ef5: POP
00000ef6: POP
00000ef7: POP
00000ef8: POP
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: RETURNDATASIZE
00000efd: PUSH1 0x1f
00000eff: NOT
00000f00: PUSH1 0x1f
00000f02: DUP3
00000f03: ADD
00000f04: AND
00000f05: DUP3
00000f06: ADD
00000f07: DUP1
00000f08: PUSH1 0x40
00000f0a: MSTORE
00000f0b: POP
00000f0c: DUP2
00000f0d: ADD
00000f0e: SWAP1
00000f0f: PUSH2 0x0f18
00000f12: SWAP2
00000f13: SWAP1
00000f14: PUSH2 0x1bed
00000f17: JUMP
00000f18: JUMPDEST
00000f19: DUP1
00000f1a: PUSH2 0x0f30
00000f1d: JUMPI
00000f1e: POP
00000f1f: PUSH1 0x06
00000f21: SLOAD
00000f22: PUSH1 0x01
00000f24: PUSH1 0x01
00000f26: PUSH1 0xa0
00000f28: SHL
00000f29: SUB
00000f2a: DUP6
00000f2b: DUP2
00000f2c: AND
00000f2d: SWAP2
00000f2e: AND
00000f2f: EQ
00000f30: JUMPDEST
00000f31: SWAP5
00000f32: SWAP4
00000f33: POP
00000f34: POP
00000f35: POP
00000f36: POP
00000f37: JUMP
00000f38: JUMPDEST
00000f39: PUSH1 0x01
00000f3b: PUSH1 0x01
00000f3d: PUSH1 0xa0
00000f3f: SHL
00000f40: SUB
00000f41: DUP3
00000f42: AND
00000f43: PUSH0
00000f44: SWAP1
00000f45: DUP2
00000f46: MSTORE
00000f47: PUSH1 0x03
00000f49: PUSH1 0x20
00000f4b: MSTORE
00000f4c: PUSH1 0x40
00000f4e: DUP2
00000f4f: KECCAK256
00000f50: DUP1
00000f51: SLOAD
00000f52: DUP4
00000f53: SWAP3
00000f54: SWAP1
00000f55: PUSH2 0x0f5f
00000f58: SWAP1
00000f59: DUP5
00000f5a: SWAP1
00000f5b: PUSH2 0x1c0c
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: SWAP1
00000f61: SWAP2
00000f62: SSTORE
00000f63: POP
00000f64: POP
00000f65: PUSH1 0x02
00000f67: DUP1
00000f68: SLOAD
00000f69: DUP3
00000f6a: SWAP1
00000f6b: SUB
00000f6c: SWAP1
00000f6d: SSTORE
00000f6e: PUSH1 0x40
00000f70: MLOAD
00000f71: DUP2
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH0
00000f75: SWAP1
00000f76: PUSH1 0x01
00000f78: PUSH1 0x01
00000f7a: PUSH1 0xa0
00000f7c: SHL
00000f7d: SUB
00000f7e: DUP5
00000f7f: AND
00000f80: SWAP1
00000f81: PUSH0
00000f82: DUP1
00000f83: MLOAD
00000f84: PUSH1 0x20
00000f86: PUSH2 0x1cea
00000f89: DUP4
00000f8a: CODECOPY
00000f8b: DUP2
00000f8c: MLOAD
00000f8d: SWAP2
00000f8e: MSTORE
00000f8f: SWAP1
00000f90: PUSH1 0x20
00000f92: ADD
00000f93: JUMPDEST
00000f94: PUSH1 0x40
00000f96: MLOAD
00000f97: DUP1
00000f98: SWAP2
00000f99: SUB
00000f9a: SWAP1
00000f9b: LOG3
00000f9c: POP
00000f9d: POP
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH0
00000fa1: PUSH1 0x40
00000fa3: MLOAD
00000fa4: PUSH4 0xa9059cbb
00000fa9: PUSH1 0xe0
00000fab: SHL
00000fac: DUP2
00000fad: MSTORE
00000fae: PUSH1 0x01
00000fb0: PUSH1 0x01
00000fb2: PUSH1 0xa0
00000fb4: SHL
00000fb5: SUB
00000fb6: DUP5
00000fb7: AND
00000fb8: PUSH1 0x04
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: DUP3
00000fbe: PUSH1 0x24
00000fc0: DUP3
00000fc1: ADD
00000fc2: MSTORE
00000fc3: PUSH1 0x20
00000fc5: PUSH0
00000fc6: PUSH1 0x44
00000fc8: DUP4
00000fc9: PUSH0
00000fca: DUP10
00000fcb: GAS
00000fcc: CALL
00000fcd: RETURNDATASIZE
00000fce: ISZERO
00000fcf: PUSH1 0x1f
00000fd1: RETURNDATASIZE
00000fd2: GT
00000fd3: PUSH1 0x01
00000fd5: PUSH0
00000fd6: MLOAD
00000fd7: EQ
00000fd8: AND
00000fd9: OR
00000fda: AND
00000fdb: SWAP2
00000fdc: POP
00000fdd: POP
00000fde: DUP1
00000fdf: PUSH2 0x101c
00000fe2: JUMPI
00000fe3: PUSH1 0x40
00000fe5: MLOAD
00000fe6: PUSH3 0x461bcd
00000fea: PUSH1 0xe5
00000fec: SHL
00000fed: DUP2
00000fee: MSTORE
00000fef: PUSH1 0x20
00000ff1: PUSH1 0x04
00000ff3: DUP3
00000ff4: ADD
00000ff5: MSTORE
00000ff6: PUSH1 0x0f
00000ff8: PUSH1 0x24
00000ffa: DUP3
00000ffb: ADD
00000ffc: MSTORE
00000ffd: PUSH15 0x1514905394d1915497d19052531151
0000100d: PUSH1 0x8a
0000100f: SHL
00001010: PUSH1 0x44
00001012: DUP3
00001013: ADD
00001014: MSTORE
00001015: PUSH1 0x64
00001017: ADD
00001018: PUSH2 0x06c9
0000101b: JUMP
0000101c: JUMPDEST
0000101d: POP
0000101e: POP
0000101f: POP
00001020: POP
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x60
00001025: DUP2
00001026: SELFBALANCE
00001027: LT
00001028: ISZERO
00001029: PUSH2 0x1047
0000102c: JUMPI
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: PUSH4 0xcd786059
00001035: PUSH1 0xe0
00001037: SHL
00001038: DUP2
00001039: MSTORE
0000103a: ADDRESS
0000103b: PUSH1 0x04
0000103d: DUP3
0000103e: ADD
0000103f: MSTORE
00001040: PUSH1 0x24
00001042: ADD
00001043: PUSH2 0x06c9
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH0
00001049: DUP1
0000104a: DUP6
0000104b: PUSH1 0x01
0000104d: PUSH1 0x01
0000104f: PUSH1 0xa0
00001051: SHL
00001052: SUB
00001053: AND
00001054: DUP5
00001055: DUP7
00001056: PUSH1 0x40
00001058: MLOAD
00001059: PUSH2 0x1062
0000105c: SWAP2
0000105d: SWAP1
0000105e: PUSH2 0x1c1f
00001061: JUMP
00001062: JUMPDEST
00001063: PUSH0
00001064: PUSH1 0x40
00001066: MLOAD
00001067: DUP1
00001068: DUP4
00001069: SUB
0000106a: DUP2
0000106b: DUP6
0000106c: DUP8
0000106d: GAS
0000106e: CALL
0000106f: SWAP3
00001070: POP
00001071: POP
00001072: POP
00001073: RETURNDATASIZE
00001074: DUP1
00001075: PUSH0
00001076: DUP2
00001077: EQ
00001078: PUSH2 0x109c
0000107b: JUMPI
0000107c: PUSH1 0x40
0000107e: MLOAD
0000107f: SWAP2
00001080: POP
00001081: PUSH1 0x1f
00001083: NOT
00001084: PUSH1 0x3f
00001086: RETURNDATASIZE
00001087: ADD
00001088: AND
00001089: DUP3
0000108a: ADD
0000108b: PUSH1 0x40
0000108d: MSTORE
0000108e: RETURNDATASIZE
0000108f: DUP3
00001090: MSTORE
00001091: RETURNDATASIZE
00001092: PUSH0
00001093: PUSH1 0x20
00001095: DUP5
00001096: ADD
00001097: RETURNDATACOPY
00001098: PUSH2 0x10a1
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x60
0000109f: SWAP2
000010a0: POP
000010a1: JUMPDEST
000010a2: POP
000010a3: SWAP2
000010a4: POP
000010a5: SWAP2
000010a6: POP
000010a7: PUSH2 0x10b1
000010aa: DUP7
000010ab: DUP4
000010ac: DUP4
000010ad: PUSH2 0x13de
000010b0: JUMP
000010b1: JUMPDEST
000010b2: SWAP7
000010b3: SWAP6
000010b4: POP
000010b5: POP
000010b6: POP
000010b7: POP
000010b8: POP
000010b9: POP
000010ba: JUMP
000010bb: JUMPDEST
000010bc: PUSH1 0x08
000010be: SLOAD
000010bf: PUSH1 0x01
000010c1: PUSH1 0x01
000010c3: PUSH1 0xa0
000010c5: SHL
000010c6: SUB
000010c7: AND
000010c8: ISZERO
000010c9: PUSH2 0x1126
000010cc: JUMPI
000010cd: PUSH1 0x08
000010cf: SLOAD
000010d0: PUSH1 0x40
000010d2: MLOAD
000010d3: PUSH4 0xe83931af
000010d8: PUSH1 0xe0
000010da: SHL
000010db: DUP2
000010dc: MSTORE
000010dd: PUSH1 0x01
000010df: PUSH1 0x01
000010e1: PUSH1 0xa0
000010e3: SHL
000010e4: SUB
000010e5: DUP4
000010e6: DUP2
000010e7: AND
000010e8: PUSH1 0x04
000010ea: DUP4
000010eb: ADD
000010ec: MSTORE
000010ed: SWAP1
000010ee: SWAP2
000010ef: AND
000010f0: SWAP1
000010f1: PUSH4 0xe83931af
000010f6: SWAP1
000010f7: PUSH1 0x24
000010f9: ADD
000010fa: PUSH0
000010fb: PUSH1 0x40
000010fd: MLOAD
000010fe: DUP1
000010ff: DUP4
00001100: SUB
00001101: DUP2
00001102: DUP7
00001103: DUP1
00001104: EXTCODESIZE
00001105: ISZERO
00001106: DUP1
00001107: ISZERO
00001108: PUSH2 0x110f
0000110b: JUMPI
0000110c: PUSH0
0000110d: DUP1
0000110e: REVERT
0000110f: JUMPDEST
00001110: POP
00001111: GAS
00001112: STATICCALL
00001113: ISZERO
00001114: DUP1
00001115: ISZERO
00001116: PUSH2 0x1121
00001119: JUMPI
0000111a: RETURNDATASIZE
0000111b: PUSH0
0000111c: DUP1
0000111d: RETURNDATACOPY
0000111e: RETURNDATASIZE
0000111f: PUSH0
00001120: REVERT
00001121: JUMPDEST
00001122: POP
00001123: POP
00001124: POP
00001125: POP
00001126: JUMPDEST
00001127: POP
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH1 0x01
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: SHL
00001131: SUB
00001132: DUP4
00001133: AND
00001134: PUSH0
00001135: SWAP1
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x04
0000113a: PUSH1 0x20
0000113c: SWAP1
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x40
00001141: DUP1
00001142: DUP4
00001143: KECCAK256
00001144: CALLER
00001145: DUP5
00001146: MSTORE
00001147: SWAP1
00001148: SWAP2
00001149: MSTORE
0000114a: DUP2
0000114b: KECCAK256
0000114c: SLOAD
0000114d: PUSH0
0000114e: NOT
0000114f: DUP2
00001150: EQ
00001151: PUSH2 0x1182
00001154: JUMPI
00001155: PUSH2 0x115e
00001158: DUP4
00001159: DUP3
0000115a: PUSH2 0x1c0c
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH1 0x01
00001161: PUSH1 0x01
00001163: PUSH1 0xa0
00001165: SHL
00001166: SUB
00001167: DUP7
00001168: AND
00001169: PUSH0
0000116a: SWAP1
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x04
0000116f: PUSH1 0x20
00001171: SWAP1
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x40
00001176: DUP1
00001177: DUP4
00001178: KECCAK256
00001179: CALLER
0000117a: DUP5
0000117b: MSTORE
0000117c: SWAP1
0000117d: SWAP2
0000117e: MSTORE
0000117f: SWAP1
00001180: KECCAK256
00001181: SSTORE
00001182: JUMPDEST
00001183: PUSH1 0x01
00001185: PUSH1 0x01
00001187: PUSH1 0xa0
00001189: SHL
0000118a: SUB
0000118b: DUP6
0000118c: AND
0000118d: PUSH0
0000118e: SWAP1
0000118f: DUP2
00001190: MSTORE
00001191: PUSH1 0x03
00001193: PUSH1 0x20
00001195: MSTORE
00001196: PUSH1 0x40
00001198: DUP2
00001199: KECCAK256
0000119a: DUP1
0000119b: SLOAD
0000119c: DUP6
0000119d: SWAP3
0000119e: SWAP1
0000119f: PUSH2 0x11a9
000011a2: SWAP1
000011a3: DUP5
000011a4: SWAP1
000011a5: PUSH2 0x1c0c
000011a8: JUMP
000011a9: JUMPDEST
000011aa: SWAP1
000011ab: SWAP2
000011ac: SSTORE
000011ad: POP
000011ae: POP
000011af: PUSH1 0x01
000011b1: PUSH1 0x01
000011b3: PUSH1 0xa0
000011b5: SHL
000011b6: SUB
000011b7: DUP1
000011b8: DUP6
000011b9: AND
000011ba: PUSH0
000011bb: DUP2
000011bc: DUP2
000011bd: MSTORE
000011be: PUSH1 0x03
000011c0: PUSH1 0x20
000011c2: MSTORE
000011c3: PUSH1 0x40
000011c5: SWAP1
000011c6: DUP2
000011c7: SWAP1
000011c8: KECCAK256
000011c9: DUP1
000011ca: SLOAD
000011cb: DUP8
000011cc: ADD
000011cd: SWAP1
000011ce: SSTORE
000011cf: MLOAD
000011d0: SWAP1
000011d1: SWAP2
000011d2: DUP8
000011d3: AND
000011d4: SWAP1
000011d5: PUSH0
000011d6: DUP1
000011d7: MLOAD
000011d8: PUSH1 0x20
000011da: PUSH2 0x1cea
000011dd: DUP4
000011de: CODECOPY
000011df: DUP2
000011e0: MLOAD
000011e1: SWAP2
000011e2: MSTORE
000011e3: SWAP1
000011e4: PUSH2 0x11f0
000011e7: SWAP1
000011e8: DUP8
000011e9: DUP2
000011ea: MSTORE
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: SWAP1
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH1 0x40
000011f3: MLOAD
000011f4: DUP1
000011f5: SWAP2
000011f6: SUB
000011f7: SWAP1
000011f8: LOG3
000011f9: POP
000011fa: PUSH1 0x01
000011fc: SWAP5
000011fd: SWAP4
000011fe: POP
000011ff: POP
00001200: POP
00001201: POP
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH0
00001205: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00001226: PUSH0
00001227: PUSH1 0x40
00001229: MLOAD
0000122a: PUSH2 0x1233
0000122d: SWAP2
0000122e: SWAP1
0000122f: PUSH2 0x1c3a
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH1 0x40
00001236: DUP1
00001237: MLOAD
00001238: SWAP2
00001239: DUP3
0000123a: SWAP1
0000123b: SUB
0000123c: DUP3
0000123d: KECCAK256
0000123e: PUSH1 0x20
00001240: DUP4
00001241: ADD
00001242: SWAP4
00001243: SWAP1
00001244: SWAP4
00001245: MSTORE
00001246: DUP2
00001247: ADD
00001248: SWAP2
00001249: SWAP1
0000124a: SWAP2
0000124b: MSTORE
0000124c: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
0000126d: PUSH1 0x60
0000126f: DUP3
00001270: ADD
00001271: MSTORE
00001272: CHAINID
00001273: PUSH1 0x80
00001275: DUP3
00001276: ADD
00001277: MSTORE
00001278: ADDRESS
00001279: PUSH1 0xa0
0000127b: DUP3
0000127c: ADD
0000127d: MSTORE
0000127e: PUSH1 0xc0
00001280: ADD
00001281: PUSH1 0x40
00001283: MLOAD
00001284: PUSH1 0x20
00001286: DUP2
00001287: DUP4
00001288: SUB
00001289: SUB
0000128a: DUP2
0000128b: MSTORE
0000128c: SWAP1
0000128d: PUSH1 0x40
0000128f: MSTORE
00001290: DUP1
00001291: MLOAD
00001292: SWAP1
00001293: PUSH1 0x20
00001295: ADD
00001296: KECCAK256
00001297: SWAP1
00001298: POP
00001299: SWAP1
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH0
0000129d: PUSH1 0x40
0000129f: MLOAD
000012a0: PUSH4 0x23b872dd
000012a5: PUSH1 0xe0
000012a7: SHL
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x01
000012ac: PUSH1 0x01
000012ae: PUSH1 0xa0
000012b0: SHL
000012b1: SUB
000012b2: DUP6
000012b3: AND
000012b4: PUSH1 0x04
000012b6: DUP3
000012b7: ADD
000012b8: MSTORE
000012b9: PUSH1 0x01
000012bb: PUSH1 0x01
000012bd: PUSH1 0xa0
000012bf: SHL
000012c0: SUB
000012c1: DUP5
000012c2: AND
000012c3: PUSH1 0x24
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: DUP3
000012c9: PUSH1 0x44
000012cb: DUP3
000012cc: ADD
000012cd: MSTORE
000012ce: PUSH1 0x20
000012d0: PUSH0
000012d1: PUSH1 0x64
000012d3: DUP4
000012d4: PUSH0
000012d5: DUP11
000012d6: GAS
000012d7: CALL
000012d8: RETURNDATASIZE
000012d9: ISZERO
000012da: PUSH1 0x1f
000012dc: RETURNDATASIZE
000012dd: GT
000012de: PUSH1 0x01
000012e0: PUSH0
000012e1: MLOAD
000012e2: EQ
000012e3: AND
000012e4: OR
000012e5: AND
000012e6: SWAP2
000012e7: POP
000012e8: POP
000012e9: DUP1
000012ea: PUSH2 0x1121
000012ed: JUMPI
000012ee: PUSH1 0x40
000012f0: MLOAD
000012f1: PUSH3 0x461bcd
000012f5: PUSH1 0xe5
000012f7: SHL
000012f8: DUP2
000012f9: MSTORE
000012fa: PUSH1 0x20
000012fc: PUSH1 0x04
000012fe: DUP3
000012ff: ADD
00001300: MSTORE
00001301: PUSH1 0x14
00001303: PUSH1 0x24
00001305: DUP3
00001306: ADD
00001307: MSTORE
00001308: PUSH20 0x1514905394d1915497d19493d357d19052531151
0000131d: PUSH1 0x62
0000131f: SHL
00001320: PUSH1 0x44
00001322: DUP3
00001323: ADD
00001324: MSTORE
00001325: PUSH1 0x64
00001327: ADD
00001328: PUSH2 0x06c9
0000132b: JUMP
0000132c: JUMPDEST
0000132d: DUP1
0000132e: PUSH1 0x02
00001330: PUSH0
00001331: DUP3
00001332: DUP3
00001333: SLOAD
00001334: PUSH2 0x133d
00001337: SWAP2
00001338: SWAP1
00001339: PUSH2 0x1cd6
0000133c: JUMP
0000133d: JUMPDEST
0000133e: SWAP1
0000133f: SWAP2
00001340: SSTORE
00001341: POP
00001342: POP
00001343: PUSH1 0x01
00001345: PUSH1 0x01
00001347: PUSH1 0xa0
00001349: SHL
0000134a: SUB
0000134b: DUP3
0000134c: AND
0000134d: PUSH0
0000134e: DUP2
0000134f: DUP2
00001350: MSTORE
00001351: PUSH1 0x03
00001353: PUSH1 0x20
00001355: SWAP1
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x40
0000135a: DUP1
0000135b: DUP4
0000135c: KECCAK256
0000135d: DUP1
0000135e: SLOAD
0000135f: DUP7
00001360: ADD
00001361: SWAP1
00001362: SSTORE
00001363: MLOAD
00001364: DUP5
00001365: DUP2
00001366: MSTORE
00001367: PUSH0
00001368: DUP1
00001369: MLOAD
0000136a: PUSH1 0x20
0000136c: PUSH2 0x1cea
0000136f: DUP4
00001370: CODECOPY
00001371: DUP2
00001372: MLOAD
00001373: SWAP2
00001374: MSTORE
00001375: SWAP2
00001376: ADD
00001377: PUSH2 0x0f93
0000137a: JUMP
0000137b: JUMPDEST
0000137c: CALLER
0000137d: PUSH0
0000137e: SWAP1
0000137f: DUP2
00001380: MSTORE
00001381: PUSH1 0x03
00001383: PUSH1 0x20
00001385: MSTORE
00001386: PUSH1 0x40
00001388: DUP2
00001389: KECCAK256
0000138a: DUP1
0000138b: SLOAD
0000138c: DUP4
0000138d: SWAP2
0000138e: SWAP1
0000138f: DUP4
00001390: SWAP1
00001391: PUSH2 0x139b
00001394: SWAP1
00001395: DUP5
00001396: SWAP1
00001397: PUSH2 0x1c0c
0000139a: JUMP
0000139b: JUMPDEST
0000139c: SWAP1
0000139d: SWAP2
0000139e: SSTORE
0000139f: POP
000013a0: POP
000013a1: PUSH1 0x01
000013a3: PUSH1 0x01
000013a5: PUSH1 0xa0
000013a7: SHL
000013a8: SUB
000013a9: DUP4
000013aa: AND
000013ab: PUSH0
000013ac: DUP2
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x03
000013b1: PUSH1 0x20
000013b3: MSTORE
000013b4: PUSH1 0x40
000013b6: SWAP1
000013b7: DUP2
000013b8: SWAP1
000013b9: KECCAK256
000013ba: DUP1
000013bb: SLOAD
000013bc: DUP6
000013bd: ADD
000013be: SWAP1
000013bf: SSTORE
000013c0: MLOAD
000013c1: CALLER
000013c2: SWAP1
000013c3: PUSH0
000013c4: DUP1
000013c5: MLOAD
000013c6: PUSH1 0x20
000013c8: PUSH2 0x1cea
000013cb: DUP4
000013cc: CODECOPY
000013cd: DUP2
000013ce: MLOAD
000013cf: SWAP2
000013d0: MSTORE
000013d1: SWAP1
000013d2: PUSH2 0x0687
000013d5: SWAP1
000013d6: DUP7
000013d7: DUP2
000013d8: MSTORE
000013d9: PUSH1 0x20
000013db: ADD
000013dc: SWAP1
000013dd: JUMP
000013de: JUMPDEST
000013df: PUSH1 0x60
000013e1: DUP3
000013e2: PUSH2 0x13f3
000013e5: JUMPI
000013e6: PUSH2 0x13ee
000013e9: DUP3
000013ea: PUSH2 0x143a
000013ed: JUMP
000013ee: JUMPDEST
000013ef: PUSH2 0x08e9
000013f2: JUMP
000013f3: JUMPDEST
000013f4: DUP2
000013f5: MLOAD
000013f6: ISZERO
000013f7: DUP1
000013f8: ISZERO
000013f9: PUSH2 0x140a
000013fc: JUMPI
000013fd: POP
000013fe: PUSH1 0x01
00001400: PUSH1 0x01
00001402: PUSH1 0xa0
00001404: SHL
00001405: SUB
00001406: DUP5
00001407: AND
00001408: EXTCODESIZE
00001409: ISZERO
0000140a: JUMPDEST
0000140b: ISZERO
0000140c: PUSH2 0x1433
0000140f: JUMPI
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH4 0x9996b315
00001418: PUSH1 0xe0
0000141a: SHL
0000141b: DUP2
0000141c: MSTORE
0000141d: PUSH1 0x01
0000141f: PUSH1 0x01
00001421: PUSH1 0xa0
00001423: SHL
00001424: SUB
00001425: DUP6
00001426: AND
00001427: PUSH1 0x04
00001429: DUP3
0000142a: ADD
0000142b: MSTORE
0000142c: PUSH1 0x24
0000142e: ADD
0000142f: PUSH2 0x06c9
00001432: JUMP
00001433: JUMPDEST
00001434: POP
00001435: DUP1
00001436: PUSH2 0x08e9
00001439: JUMP
0000143a: JUMPDEST
0000143b: DUP1
0000143c: MLOAD
0000143d: ISZERO
0000143e: PUSH2 0x144a
00001441: JUMPI
00001442: DUP1
00001443: MLOAD
00001444: DUP1
00001445: DUP3
00001446: PUSH1 0x20
00001448: ADD
00001449: REVERT
0000144a: JUMPDEST
0000144b: PUSH1 0x40
0000144d: MLOAD
0000144e: PUSH4 0x0a12f521
00001453: PUSH1 0xe1
00001455: SHL
00001456: DUP2
00001457: MSTORE
00001458: PUSH1 0x04
0000145a: ADD
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: DUP1
0000145f: SWAP2
00001460: SUB
00001461: SWAP1
00001462: REVERT
00001463: JUMPDEST
00001464: PUSH0
00001465: PUSH1 0x20
00001467: DUP3
00001468: DUP5
00001469: SUB
0000146a: SLT
0000146b: ISZERO
0000146c: PUSH2 0x1473
0000146f: JUMPI
00001470: PUSH0
00001471: DUP1
00001472: REVERT
00001473: JUMPDEST
00001474: DUP2
00001475: CALLDATALOAD
00001476: PUSH1 0x01
00001478: PUSH1 0x01
0000147a: PUSH1 0xe0
0000147c: SHL
0000147d: SUB
0000147e: NOT
0000147f: DUP2
00001480: AND
00001481: DUP2
00001482: EQ
00001483: PUSH2 0x08e9
00001486: JUMPI
00001487: PUSH0
00001488: DUP1
00001489: REVERT
0000148a: JUMPDEST
0000148b: PUSH0
0000148c: JUMPDEST
0000148d: DUP4
0000148e: DUP2
0000148f: LT
00001490: ISZERO
00001491: PUSH2 0x14a4
00001494: JUMPI
00001495: DUP2
00001496: DUP2
00001497: ADD
00001498: MLOAD
00001499: DUP4
0000149a: DUP3
0000149b: ADD
0000149c: MSTORE
0000149d: PUSH1 0x20
0000149f: ADD
000014a0: PUSH2 0x148c
000014a3: JUMP
000014a4: JUMPDEST
000014a5: POP
000014a6: POP
000014a7: PUSH0
000014a8: SWAP2
000014a9: ADD
000014aa: MSTORE
000014ab: JUMP
000014ac: JUMPDEST
000014ad: PUSH0
000014ae: DUP2
000014af: MLOAD
000014b0: DUP1
000014b1: DUP5
000014b2: MSTORE
000014b3: PUSH2 0x14c3
000014b6: DUP2
000014b7: PUSH1 0x20
000014b9: DUP7
000014ba: ADD
000014bb: PUSH1 0x20
000014bd: DUP7
000014be: ADD
000014bf: PUSH2 0x148a
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x1f
000014c6: ADD
000014c7: PUSH1 0x1f
000014c9: NOT
000014ca: AND
000014cb: SWAP3
000014cc: SWAP1
000014cd: SWAP3
000014ce: ADD
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: SWAP3
000014d3: SWAP2
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: PUSH1 0x20
000014da: DUP2
000014db: MSTORE
000014dc: PUSH0
000014dd: PUSH2 0x08e9
000014e0: PUSH1 0x20
000014e2: DUP4
000014e3: ADD
000014e4: DUP5
000014e5: PUSH2 0x14ac
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH1 0x01
000014ec: PUSH1 0x01
000014ee: PUSH1 0xa0
000014f0: SHL
000014f1: SUB
000014f2: DUP2
000014f3: AND
000014f4: DUP2
000014f5: EQ
000014f6: PUSH2 0x1126
000014f9: JUMPI
000014fa: PUSH0
000014fb: DUP1
000014fc: REVERT
000014fd: JUMPDEST
000014fe: PUSH0
000014ff: DUP1
00001500: PUSH1 0x40
00001502: DUP4
00001503: DUP6
00001504: SUB
00001505: SLT
00001506: ISZERO
00001507: PUSH2 0x150e
0000150a: JUMPI
0000150b: PUSH0
0000150c: DUP1
0000150d: REVERT
0000150e: JUMPDEST
0000150f: DUP3
00001510: CALLDATALOAD
00001511: PUSH2 0x1519
00001514: DUP2
00001515: PUSH2 0x14e9
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP5
0000151b: PUSH1 0x20
0000151d: SWAP4
0000151e: SWAP1
0000151f: SWAP4
00001520: ADD
00001521: CALLDATALOAD
00001522: SWAP4
00001523: POP
00001524: POP
00001525: POP
00001526: JUMP
00001527: JUMPDEST
00001528: PUSH4 0x4e487b71
0000152d: PUSH1 0xe0
0000152f: SHL
00001530: PUSH0
00001531: MSTORE
00001532: PUSH1 0x41
00001534: PUSH1 0x04
00001536: MSTORE
00001537: PUSH1 0x24
00001539: PUSH0
0000153a: REVERT
0000153b: JUMPDEST
0000153c: PUSH1 0x40
0000153e: MLOAD
0000153f: PUSH1 0x1f
00001541: DUP3
00001542: ADD
00001543: PUSH1 0x1f
00001545: NOT
00001546: AND
00001547: DUP2
00001548: ADD
00001549: PUSH8 0xffffffffffffffff
00001552: DUP2
00001553: GT
00001554: DUP3
00001555: DUP3
00001556: LT
00001557: OR
00001558: ISZERO
00001559: PUSH2 0x1564
0000155c: JUMPI
0000155d: PUSH2 0x1564
00001560: PUSH2 0x1527
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH1 0x40
00001567: MSTORE
00001568: SWAP2
00001569: SWAP1
0000156a: POP
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH0
0000156e: DUP3
0000156f: PUSH1 0x1f
00001571: DUP4
00001572: ADD
00001573: SLT
00001574: PUSH2 0x157b
00001577: JUMPI
00001578: PUSH0
00001579: DUP1
0000157a: REVERT
0000157b: JUMPDEST
0000157c: DUP2
0000157d: CALLDATALOAD
0000157e: PUSH8 0xffffffffffffffff
00001587: DUP2
00001588: GT
00001589: ISZERO
0000158a: PUSH2 0x1595
0000158d: JUMPI
0000158e: PUSH2 0x1595
00001591: PUSH2 0x1527
00001594: JUMP
00001595: JUMPDEST
00001596: PUSH2 0x15a8
00001599: PUSH1 0x1f
0000159b: DUP3
0000159c: ADD
0000159d: PUSH1 0x1f
0000159f: NOT
000015a0: AND
000015a1: PUSH1 0x20
000015a3: ADD
000015a4: PUSH2 0x153b
000015a7: JUMP
000015a8: JUMPDEST
000015a9: DUP2
000015aa: DUP2
000015ab: MSTORE
000015ac: DUP5
000015ad: PUSH1 0x20
000015af: DUP4
000015b0: DUP7
000015b1: ADD
000015b2: ADD
000015b3: GT
000015b4: ISZERO
000015b5: PUSH2 0x15bc
000015b8: JUMPI
000015b9: PUSH0
000015ba: DUP1
000015bb: REVERT
000015bc: JUMPDEST
000015bd: DUP2
000015be: PUSH1 0x20
000015c0: DUP6
000015c1: ADD
000015c2: PUSH1 0x20
000015c4: DUP4
000015c5: ADD
000015c6: CALLDATACOPY
000015c7: PUSH0
000015c8: SWAP2
000015c9: DUP2
000015ca: ADD
000015cb: PUSH1 0x20
000015cd: ADD
000015ce: SWAP2
000015cf: SWAP1
000015d0: SWAP2
000015d1: MSTORE
000015d2: SWAP4
000015d3: SWAP3
000015d4: POP
000015d5: POP
000015d6: POP
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH0
000015da: DUP1
000015db: PUSH0
000015dc: DUP1
000015dd: PUSH1 0x80
000015df: DUP6
000015e0: DUP8
000015e1: SUB
000015e2: SLT
000015e3: ISZERO
000015e4: PUSH2 0x15eb
000015e7: JUMPI
000015e8: PUSH0
000015e9: DUP1
000015ea: REVERT
000015eb: JUMPDEST
000015ec: DUP5
000015ed: CALLDATALOAD
000015ee: PUSH2 0x15f6
000015f1: DUP2
000015f2: PUSH2 0x14e9
000015f5: JUMP
000015f6: JUMPDEST
000015f7: SWAP4
000015f8: POP
000015f9: PUSH1 0x20
000015fb: DUP6
000015fc: ADD
000015fd: CALLDATALOAD
000015fe: PUSH2 0x1606
00001601: DUP2
00001602: PUSH2 0x14e9
00001605: JUMP
00001606: JUMPDEST
00001607: SWAP3
00001608: POP
00001609: PUSH1 0x40
0000160b: DUP6
0000160c: ADD
0000160d: CALLDATALOAD
0000160e: SWAP2
0000160f: POP
00001610: PUSH1 0x60
00001612: DUP6
00001613: ADD
00001614: CALLDATALOAD
00001615: PUSH8 0xffffffffffffffff
0000161e: DUP2
0000161f: GT
00001620: ISZERO
00001621: PUSH2 0x1628
00001624: JUMPI
00001625: PUSH0
00001626: DUP1
00001627: REVERT
00001628: JUMPDEST
00001629: PUSH2 0x1634
0000162c: DUP8
0000162d: DUP3
0000162e: DUP9
0000162f: ADD
00001630: PUSH2 0x156c
00001633: JUMP
00001634: JUMPDEST
00001635: SWAP2
00001636: POP
00001637: POP
00001638: SWAP3
00001639: SWAP6
0000163a: SWAP2
0000163b: SWAP5
0000163c: POP
0000163d: SWAP3
0000163e: POP
0000163f: JUMP
00001640: JUMPDEST
00001641: PUSH0
00001642: DUP1
00001643: PUSH0
00001644: DUP1
00001645: PUSH0
00001646: PUSH1 0xa0
00001648: DUP7
00001649: DUP9
0000164a: SUB
0000164b: SLT
0000164c: ISZERO
0000164d: PUSH2 0x1654
00001650: JUMPI
00001651: PUSH0
00001652: DUP1
00001653: REVERT
00001654: JUMPDEST
00001655: DUP6
00001656: CALLDATALOAD
00001657: PUSH2 0x165f
0000165a: DUP2
0000165b: PUSH2 0x14e9
0000165e: JUMP
0000165f: JUMPDEST
00001660: SWAP5
00001661: POP
00001662: PUSH1 0x20
00001664: DUP7
00001665: ADD
00001666: CALLDATALOAD
00001667: PUSH2 0x166f
0000166a: DUP2
0000166b: PUSH2 0x14e9
0000166e: JUMP
0000166f: JUMPDEST
00001670: SWAP4
00001671: POP
00001672: PUSH1 0x40
00001674: DUP7
00001675: ADD
00001676: CALLDATALOAD
00001677: SWAP3
00001678: POP
00001679: PUSH1 0x60
0000167b: DUP7
0000167c: ADD
0000167d: CALLDATALOAD
0000167e: PUSH2 0x1686
00001681: DUP2
00001682: PUSH2 0x14e9
00001685: JUMP
00001686: JUMPDEST
00001687: SWAP5
00001688: SWAP8
00001689: SWAP4
0000168a: SWAP7
0000168b: POP
0000168c: SWAP2
0000168d: SWAP5
0000168e: PUSH1 0x80
00001690: ADD
00001691: CALLDATALOAD
00001692: SWAP3
00001693: SWAP2
00001694: POP
00001695: POP
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH0
00001699: DUP1
0000169a: DUP4
0000169b: PUSH1 0x1f
0000169d: DUP5
0000169e: ADD
0000169f: SLT
000016a0: PUSH2 0x16a7
000016a3: JUMPI
000016a4: PUSH0
000016a5: DUP1
000016a6: REVERT
000016a7: JUMPDEST
000016a8: POP
000016a9: DUP2
000016aa: CALLDATALOAD
000016ab: PUSH8 0xffffffffffffffff
000016b4: DUP2
000016b5: GT
000016b6: ISZERO
000016b7: PUSH2 0x16be
000016ba: JUMPI
000016bb: PUSH0
000016bc: DUP1
000016bd: REVERT
000016be: JUMPDEST
000016bf: PUSH1 0x20
000016c1: DUP4
000016c2: ADD
000016c3: SWAP2
000016c4: POP
000016c5: DUP4
000016c6: PUSH1 0x20
000016c8: DUP3
000016c9: PUSH1 0x05
000016cb: SHL
000016cc: DUP6
000016cd: ADD
000016ce: ADD
000016cf: GT
000016d0: ISZERO
000016d1: PUSH2 0x16d8
000016d4: JUMPI
000016d5: PUSH0
000016d6: DUP1
000016d7: REVERT
000016d8: JUMPDEST
000016d9: SWAP3
000016da: POP
000016db: SWAP3
000016dc: SWAP1
000016dd: POP
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH0
000016e1: DUP1
000016e2: PUSH0
000016e3: DUP1
000016e4: PUSH0
000016e5: DUP1
000016e6: PUSH1 0x60
000016e8: DUP8
000016e9: DUP10
000016ea: SUB
000016eb: SLT
000016ec: ISZERO
000016ed: PUSH2 0x16f4
000016f0: JUMPI
000016f1: PUSH0
000016f2: DUP1
000016f3: REVERT
000016f4: JUMPDEST
000016f5: DUP7
000016f6: CALLDATALOAD
000016f7: PUSH8 0xffffffffffffffff
00001700: DUP1
00001701: DUP3
00001702: GT
00001703: ISZERO
00001704: PUSH2 0x170b
00001707: JUMPI
00001708: PUSH0
00001709: DUP1
0000170a: REVERT
0000170b: JUMPDEST
0000170c: PUSH2 0x1717
0000170f: DUP11
00001710: DUP4
00001711: DUP12
00001712: ADD
00001713: PUSH2 0x1697
00001716: JUMP
00001717: JUMPDEST
00001718: SWAP1
00001719: SWAP9
0000171a: POP
0000171b: SWAP7
0000171c: POP
0000171d: PUSH1 0x20
0000171f: DUP10
00001720: ADD
00001721: CALLDATALOAD
00001722: SWAP2
00001723: POP
00001724: DUP1
00001725: DUP3
00001726: GT
00001727: ISZERO
00001728: PUSH2 0x172f
0000172b: JUMPI
0000172c: PUSH0
0000172d: DUP1
0000172e: REVERT
0000172f: JUMPDEST
00001730: PUSH2 0x173b
00001733: DUP11
00001734: DUP4
00001735: DUP12
00001736: ADD
00001737: PUSH2 0x1697
0000173a: JUMP
0000173b: JUMPDEST
0000173c: SWAP1
0000173d: SWAP7
0000173e: POP
0000173f: SWAP5
00001740: POP
00001741: PUSH1 0x40
00001743: DUP10
00001744: ADD
00001745: CALLDATALOAD
00001746: SWAP2
00001747: POP
00001748: DUP1
00001749: DUP3
0000174a: GT
0000174b: ISZERO
0000174c: PUSH2 0x1753
0000174f: JUMPI
00001750: PUSH0
00001751: DUP1
00001752: REVERT
00001753: JUMPDEST
00001754: POP
00001755: PUSH2 0x1760
00001758: DUP10
00001759: DUP3
0000175a: DUP11
0000175b: ADD
0000175c: PUSH2 0x1697
0000175f: JUMP
00001760: JUMPDEST
00001761: SWAP8
00001762: SWAP11
00001763: SWAP7
00001764: SWAP10
00001765: POP
00001766: SWAP5
00001767: SWAP8
00001768: POP
00001769: SWAP3
0000176a: SWAP6
0000176b: SWAP4
0000176c: SWAP5
0000176d: SWAP3
0000176e: POP
0000176f: POP
00001770: POP
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH0
00001774: PUSH1 0x20
00001776: DUP1
00001777: DUP4
00001778: ADD
00001779: DUP2
0000177a: DUP5
0000177b: MSTORE
0000177c: DUP1
0000177d: DUP6
0000177e: MLOAD
0000177f: DUP1
00001780: DUP4
00001781: MSTORE
00001782: PUSH1 0x40
00001784: DUP7
00001785: ADD
00001786: SWAP2
00001787: POP
00001788: PUSH1 0x40
0000178a: DUP2
0000178b: PUSH1 0x05
0000178d: SHL
0000178e: DUP8
0000178f: ADD
00001790: ADD
00001791: SWAP3
00001792: POP
00001793: DUP4
00001794: DUP8
00001795: ADD
00001796: PUSH0
00001797: JUMPDEST
00001798: DUP3
00001799: DUP2
0000179a: LT
0000179b: ISZERO
0000179c: PUSH2 0x17c5
0000179f: JUMPI
000017a0: PUSH1 0x3f
000017a2: NOT
000017a3: DUP9
000017a4: DUP7
000017a5: SUB
000017a6: ADD
000017a7: DUP5
000017a8: MSTORE
000017a9: PUSH2 0x17b3
000017ac: DUP6
000017ad: DUP4
000017ae: MLOAD
000017af: PUSH2 0x14ac
000017b2: JUMP
000017b3: JUMPDEST
000017b4: SWAP5
000017b5: POP
000017b6: SWAP3
000017b7: DUP6
000017b8: ADD
000017b9: SWAP3
000017ba: SWAP1
000017bb: DUP6
000017bc: ADD
000017bd: SWAP1
000017be: PUSH1 0x01
000017c0: ADD
000017c1: PUSH2 0x1797
000017c4: JUMP
000017c5: JUMPDEST
000017c6: POP
000017c7: SWAP3
000017c8: SWAP8
000017c9: SWAP7
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: POP
000017ce: POP
000017cf: POP
000017d0: POP
000017d1: JUMP
000017d2: JUMPDEST
000017d3: PUSH0
000017d4: DUP1
000017d5: PUSH0
000017d6: PUSH1 0x60
000017d8: DUP5
000017d9: DUP7
000017da: SUB
000017db: SLT
000017dc: ISZERO
000017dd: PUSH2 0x17e4
000017e0: JUMPI
000017e1: PUSH0
000017e2: DUP1
000017e3: REVERT
000017e4: JUMPDEST
000017e5: DUP4
000017e6: CALLDATALOAD
000017e7: PUSH2 0x17ef
000017ea: DUP2
000017eb: PUSH2 0x14e9
000017ee: JUMP
000017ef: JUMPDEST
000017f0: SWAP3
000017f1: POP
000017f2: PUSH1 0x20
000017f4: DUP5
000017f5: ADD
000017f6: CALLDATALOAD
000017f7: PUSH2 0x17ff
000017fa: DUP2
000017fb: PUSH2 0x14e9
000017fe: JUMP
000017ff: JUMPDEST
00001800: SWAP3
00001801: SWAP6
00001802: SWAP3
00001803: SWAP5
00001804: POP
00001805: POP
00001806: POP
00001807: PUSH1 0x40
00001809: SWAP2
0000180a: SWAP1
0000180b: SWAP2
0000180c: ADD
0000180d: CALLDATALOAD
0000180e: SWAP1
0000180f: JUMP
00001810: JUMPDEST
00001811: PUSH0
00001812: PUSH1 0x20
00001814: DUP3
00001815: DUP5
00001816: SUB
00001817: SLT
00001818: ISZERO
00001819: PUSH2 0x1820
0000181c: JUMPI
0000181d: PUSH0
0000181e: DUP1
0000181f: REVERT
00001820: JUMPDEST
00001821: DUP2
00001822: CALLDATALOAD
00001823: PUSH2 0x08e9
00001826: DUP2
00001827: PUSH2 0x14e9
0000182a: JUMP
0000182b: JUMPDEST
0000182c: PUSH0
0000182d: DUP3
0000182e: PUSH1 0x1f
00001830: DUP4
00001831: ADD
00001832: SLT
00001833: PUSH2 0x183a
00001836: JUMPI
00001837: PUSH0
00001838: DUP1
00001839: REVERT
0000183a: JUMPDEST
0000183b: DUP2
0000183c: CALLDATALOAD
0000183d: PUSH1 0x20
0000183f: PUSH8 0xffffffffffffffff
00001848: DUP3
00001849: GT
0000184a: ISZERO
0000184b: PUSH2 0x1856
0000184e: JUMPI
0000184f: PUSH2 0x1856
00001852: PUSH2 0x1527
00001855: JUMP
00001856: JUMPDEST
00001857: DUP2
00001858: PUSH1 0x05
0000185a: SHL
0000185b: PUSH2 0x1865
0000185e: DUP3
0000185f: DUP3
00001860: ADD
00001861: PUSH2 0x153b
00001864: JUMP
00001865: JUMPDEST
00001866: SWAP3
00001867: DUP4
00001868: MSTORE
00001869: DUP5
0000186a: DUP2
0000186b: ADD
0000186c: DUP3
0000186d: ADD
0000186e: SWAP3
0000186f: DUP3
00001870: DUP2
00001871: ADD
00001872: SWAP1
00001873: DUP8
00001874: DUP6
00001875: GT
00001876: ISZERO
00001877: PUSH2 0x187e
0000187a: JUMPI
0000187b: PUSH0
0000187c: DUP1
0000187d: REVERT
0000187e: JUMPDEST
0000187f: DUP4
00001880: DUP8
00001881: ADD
00001882: SWAP3
00001883: POP
00001884: JUMPDEST
00001885: DUP5
00001886: DUP4
00001887: LT
00001888: ISZERO
00001889: PUSH2 0x189d
0000188c: JUMPI
0000188d: DUP3
0000188e: CALLDATALOAD
0000188f: DUP3
00001890: MSTORE
00001891: SWAP2
00001892: DUP4
00001893: ADD
00001894: SWAP2
00001895: SWAP1
00001896: DUP4
00001897: ADD
00001898: SWAP1
00001899: PUSH2 0x1884
0000189c: JUMP
0000189d: JUMPDEST
0000189e: SWAP8
0000189f: SWAP7
000018a0: POP
000018a1: POP
000018a2: POP
000018a3: POP
000018a4: POP
000018a5: POP
000018a6: POP
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH0
000018aa: DUP1
000018ab: PUSH0
000018ac: DUP1
000018ad: PUSH0
000018ae: PUSH1 0xa0
000018b0: DUP7
000018b1: DUP9
000018b2: SUB
000018b3: SLT
000018b4: ISZERO
000018b5: PUSH2 0x18bc
000018b8: JUMPI
000018b9: PUSH0
000018ba: DUP1
000018bb: REVERT
000018bc: JUMPDEST
000018bd: DUP6
000018be: CALLDATALOAD
000018bf: PUSH2 0x18c7
000018c2: DUP2
000018c3: PUSH2 0x14e9
000018c6: JUMP
000018c7: JUMPDEST
000018c8: SWAP5
000018c9: POP
000018ca: PUSH1 0x20
000018cc: DUP7
000018cd: ADD
000018ce: CALLDATALOAD
000018cf: PUSH2 0x18d7
000018d2: DUP2
000018d3: PUSH2 0x14e9
000018d6: JUMP
000018d7: JUMPDEST
000018d8: SWAP4
000018d9: POP
000018da: PUSH1 0x40
000018dc: DUP7
000018dd: ADD
000018de: CALLDATALOAD
000018df: PUSH8 0xffffffffffffffff
000018e8: DUP1
000018e9: DUP3
000018ea: GT
000018eb: ISZERO
000018ec: PUSH2 0x18f3
000018ef: JUMPI
000018f0: PUSH0
000018f1: DUP1
000018f2: REVERT
000018f3: JUMPDEST
000018f4: PUSH2 0x18ff
000018f7: DUP10
000018f8: DUP4
000018f9: DUP11
000018fa: ADD
000018fb: PUSH2 0x182b
000018fe: JUMP
000018ff: JUMPDEST
00001900: SWAP5
00001901: POP
00001902: PUSH1 0x60
00001904: DUP9
00001905: ADD
00001906: CALLDATALOAD
00001907: SWAP2
00001908: POP
00001909: DUP1
0000190a: DUP3
0000190b: GT
0000190c: ISZERO
0000190d: PUSH2 0x1914
00001910: JUMPI
00001911: PUSH0
00001912: DUP1
00001913: REVERT
00001914: JUMPDEST
00001915: PUSH2 0x1920
00001918: DUP10
00001919: DUP4
0000191a: DUP11
0000191b: ADD
0000191c: PUSH2 0x182b
0000191f: JUMP
00001920: JUMPDEST
00001921: SWAP4
00001922: POP
00001923: PUSH1 0x80
00001925: DUP9
00001926: ADD
00001927: CALLDATALOAD
00001928: SWAP2
00001929: POP
0000192a: DUP1
0000192b: DUP3
0000192c: GT
0000192d: ISZERO
0000192e: PUSH2 0x1935
00001931: JUMPI
00001932: PUSH0
00001933: DUP1
00001934: REVERT
00001935: JUMPDEST
00001936: POP
00001937: PUSH2 0x1942
0000193a: DUP9
0000193b: DUP3
0000193c: DUP10
0000193d: ADD
0000193e: PUSH2 0x156c
00001941: JUMP
00001942: JUMPDEST
00001943: SWAP2
00001944: POP
00001945: POP
00001946: SWAP3
00001947: SWAP6
00001948: POP
00001949: SWAP3
0000194a: SWAP6
0000194b: SWAP1
0000194c: SWAP4
0000194d: POP
0000194e: JUMP
0000194f: JUMPDEST
00001950: PUSH0
00001951: DUP1
00001952: PUSH0
00001953: DUP1
00001954: PUSH0
00001955: DUP1
00001956: PUSH0
00001957: PUSH1 0xe0
00001959: DUP9
0000195a: DUP11
0000195b: SUB
0000195c: SLT
0000195d: ISZERO
0000195e: PUSH2 0x1965
00001961: JUMPI
00001962: PUSH0
00001963: DUP1
00001964: REVERT
00001965: JUMPDEST
00001966: DUP8
00001967: CALLDATALOAD
00001968: PUSH2 0x1970
0000196b: DUP2
0000196c: PUSH2 0x14e9
0000196f: JUMP
00001970: JUMPDEST
00001971: SWAP7
00001972: POP
00001973: PUSH1 0x20
00001975: DUP9
00001976: ADD
00001977: CALLDATALOAD
00001978: PUSH2 0x1980
0000197b: DUP2
0000197c: PUSH2 0x14e9
0000197f: JUMP
00001980: JUMPDEST
00001981: SWAP6
00001982: POP
00001983: PUSH1 0x40
00001985: DUP9
00001986: ADD
00001987: CALLDATALOAD
00001988: SWAP5
00001989: POP
0000198a: PUSH1 0x60
0000198c: DUP9
0000198d: ADD
0000198e: CALLDATALOAD
0000198f: SWAP4
00001990: POP
00001991: PUSH1 0x80
00001993: DUP9
00001994: ADD
00001995: CALLDATALOAD
00001996: PUSH1 0xff
00001998: DUP2
00001999: AND
0000199a: DUP2
0000199b: EQ
0000199c: PUSH2 0x19a3
0000199f: JUMPI
000019a0: PUSH0
000019a1: DUP1
000019a2: REVERT
000019a3: JUMPDEST
000019a4: SWAP7
000019a5: SWAP10
000019a6: SWAP6
000019a7: SWAP9
000019a8: POP
000019a9: SWAP4
000019aa: SWAP7
000019ab: SWAP3
000019ac: SWAP6
000019ad: SWAP5
000019ae: PUSH1 0xa0
000019b0: DUP5
000019b1: ADD
000019b2: CALLDATALOAD
000019b3: SWAP5
000019b4: POP
000019b5: PUSH1 0xc0
000019b7: SWAP1
000019b8: SWAP4
000019b9: ADD
000019ba: CALLDATALOAD
000019bb: SWAP3
000019bc: SWAP2
000019bd: POP
000019be: POP
000019bf: JUMP
000019c0: JUMPDEST
000019c1: PUSH0
000019c2: DUP1
000019c3: PUSH1 0x40
000019c5: DUP4
000019c6: DUP6
000019c7: SUB
000019c8: SLT
000019c9: ISZERO
000019ca: PUSH2 0x19d1
000019cd: JUMPI
000019ce: PUSH0
000019cf: DUP1
000019d0: REVERT
000019d1: JUMPDEST
000019d2: DUP3
000019d3: CALLDATALOAD
000019d4: PUSH2 0x19dc
000019d7: DUP2
000019d8: PUSH2 0x14e9
000019db: JUMP
000019dc: JUMPDEST
000019dd: SWAP2
000019de: POP
000019df: PUSH1 0x20
000019e1: DUP4
000019e2: ADD
000019e3: CALLDATALOAD
000019e4: PUSH2 0x19ec
000019e7: DUP2
000019e8: PUSH2 0x14e9
000019eb: JUMP
000019ec: JUMPDEST
000019ed: DUP1
000019ee: SWAP2
000019ef: POP
000019f0: POP
000019f1: SWAP3
000019f2: POP
000019f3: SWAP3
000019f4: SWAP1
000019f5: POP
000019f6: JUMP
000019f7: JUMPDEST
000019f8: PUSH0
000019f9: DUP1
000019fa: PUSH0
000019fb: DUP1
000019fc: PUSH0
000019fd: PUSH1 0xa0
000019ff: DUP7
00001a00: DUP9
00001a01: SUB
00001a02: SLT
00001a03: ISZERO
00001a04: PUSH2 0x1a0b
00001a07: JUMPI
00001a08: PUSH0
00001a09: DUP1
00001a0a: REVERT
00001a0b: JUMPDEST
00001a0c: DUP6
00001a0d: CALLDATALOAD
00001a0e: PUSH2 0x1a16
00001a11: DUP2
00001a12: PUSH2 0x14e9
00001a15: JUMP
00001a16: JUMPDEST
00001a17: SWAP5
00001a18: POP
00001a19: PUSH1 0x20
00001a1b: DUP7
00001a1c: ADD
00001a1d: CALLDATALOAD
00001a1e: PUSH2 0x1a26
00001a21: DUP2
00001a22: PUSH2 0x14e9
00001a25: JUMP
00001a26: JUMPDEST
00001a27: SWAP4
00001a28: POP
00001a29: PUSH1 0x40
00001a2b: DUP7
00001a2c: ADD
00001a2d: CALLDATALOAD
00001a2e: SWAP3
00001a2f: POP
00001a30: PUSH1 0x60
00001a32: DUP7
00001a33: ADD
00001a34: CALLDATALOAD
00001a35: SWAP2
00001a36: POP
00001a37: PUSH1 0x80
00001a39: DUP7
00001a3a: ADD
00001a3b: CALLDATALOAD
00001a3c: PUSH8 0xffffffffffffffff
00001a45: DUP2
00001a46: GT
00001a47: ISZERO
00001a48: PUSH2 0x1a4f
00001a4b: JUMPI
00001a4c: PUSH0
00001a4d: DUP1
00001a4e: REVERT
00001a4f: JUMPDEST
00001a50: PUSH2 0x1942
00001a53: DUP9
00001a54: DUP3
00001a55: DUP10
00001a56: ADD
00001a57: PUSH2 0x156c
00001a5a: JUMP
00001a5b: JUMPDEST
00001a5c: PUSH0
00001a5d: DUP1
00001a5e: PUSH0
00001a5f: DUP1
00001a60: PUSH1 0x60
00001a62: DUP6
00001a63: DUP8
00001a64: SUB
00001a65: SLT
00001a66: ISZERO
00001a67: PUSH2 0x1a6e
00001a6a: JUMPI
00001a6b: PUSH0
00001a6c: DUP1
00001a6d: REVERT
00001a6e: JUMPDEST
00001a6f: DUP5
00001a70: CALLDATALOAD
00001a71: PUSH2 0x1a79
00001a74: DUP2
00001a75: PUSH2 0x14e9
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: SWAP4
00001a7b: POP
00001a7c: PUSH1 0x20
00001a7e: DUP6
00001a7f: ADD
00001a80: CALLDATALOAD
00001a81: PUSH8 0xffffffffffffffff
00001a8a: DUP1
00001a8b: DUP3
00001a8c: GT
00001a8d: ISZERO
00001a8e: PUSH2 0x1a95
00001a91: JUMPI
00001a92: PUSH0
00001a93: DUP1
00001a94: REVERT
00001a95: JUMPDEST
00001a96: DUP2
00001a97: DUP8
00001a98: ADD
00001a99: SWAP2
00001a9a: POP
00001a9b: DUP8
00001a9c: PUSH1 0x1f
00001a9e: DUP4
00001a9f: ADD
00001aa0: SLT
00001aa1: PUSH2 0x1aa8
00001aa4: JUMPI
00001aa5: PUSH0
00001aa6: DUP1
00001aa7: REVERT
00001aa8: JUMPDEST
00001aa9: DUP2
00001aaa: CALLDATALOAD
00001aab: DUP2
00001aac: DUP2
00001aad: GT
00001aae: ISZERO
00001aaf: PUSH2 0x1ab6
00001ab2: JUMPI
00001ab3: PUSH0
00001ab4: DUP1
00001ab5: REVERT
00001ab6: JUMPDEST
00001ab7: DUP9
00001ab8: PUSH1 0x20
00001aba: DUP3
00001abb: DUP6
00001abc: ADD
00001abd: ADD
00001abe: GT
00001abf: ISZERO
00001ac0: PUSH2 0x1ac7
00001ac3: JUMPI
00001ac4: PUSH0
00001ac5: DUP1
00001ac6: REVERT
00001ac7: JUMPDEST
00001ac8: SWAP6
00001ac9: SWAP9
00001aca: PUSH1 0x20
00001acc: SWAP3
00001acd: SWAP1
00001ace: SWAP3
00001acf: ADD
00001ad0: SWAP8
00001ad1: POP
00001ad2: SWAP5
00001ad3: SWAP6
00001ad4: PUSH1 0x40
00001ad6: ADD
00001ad7: CALLDATALOAD
00001ad8: SWAP5
00001ad9: POP
00001ada: SWAP3
00001adb: POP
00001adc: POP
00001add: POP
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: PUSH1 0x01
00001ae2: DUP2
00001ae3: DUP2
00001ae4: SHR
00001ae5: SWAP1
00001ae6: DUP3
00001ae7: AND
00001ae8: DUP1
00001ae9: PUSH2 0x1af3
00001aec: JUMPI
00001aed: PUSH1 0x7f
00001aef: DUP3
00001af0: AND
00001af1: SWAP2
00001af2: POP
00001af3: JUMPDEST
00001af4: PUSH1 0x20
00001af6: DUP3
00001af7: LT
00001af8: DUP2
00001af9: SUB
00001afa: PUSH2 0x1b11
00001afd: JUMPI
00001afe: PUSH4 0x4e487b71
00001b03: PUSH1 0xe0
00001b05: SHL
00001b06: PUSH0
00001b07: MSTORE
00001b08: PUSH1 0x22
00001b0a: PUSH1 0x04
00001b0c: MSTORE
00001b0d: PUSH1 0x24
00001b0f: PUSH0
00001b10: REVERT
00001b11: JUMPDEST
00001b12: POP
00001b13: SWAP2
00001b14: SWAP1
00001b15: POP
00001b16: JUMP
00001b17: JUMPDEST
00001b18: PUSH1 0x20
00001b1a: DUP1
00001b1b: DUP3
00001b1c: MSTORE
00001b1d: PUSH1 0x0c
00001b1f: SWAP1
00001b20: DUP3
00001b21: ADD
00001b22: MSTORE
00001b23: PUSH12 0x15539055551213d492569151
00001b30: PUSH1 0xa2
00001b32: SHL
00001b33: PUSH1 0x40
00001b35: DUP3
00001b36: ADD
00001b37: MSTORE
00001b38: PUSH1 0x60
00001b3a: ADD
00001b3b: SWAP1
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH4 0x4e487b71
00001b43: PUSH1 0xe0
00001b45: SHL
00001b46: PUSH0
00001b47: MSTORE
00001b48: PUSH1 0x32
00001b4a: PUSH1 0x04
00001b4c: MSTORE
00001b4d: PUSH1 0x24
00001b4f: PUSH0
00001b50: REVERT
00001b51: JUMPDEST
00001b52: PUSH0
00001b53: DUP1
00001b54: DUP4
00001b55: CALLDATALOAD
00001b56: PUSH1 0x1e
00001b58: NOT
00001b59: DUP5
00001b5a: CALLDATASIZE
00001b5b: SUB
00001b5c: ADD
00001b5d: DUP2
00001b5e: SLT
00001b5f: PUSH2 0x1b66
00001b62: JUMPI
00001b63: PUSH0
00001b64: DUP1
00001b65: REVERT
00001b66: JUMPDEST
00001b67: DUP4
00001b68: ADD
00001b69: DUP1
00001b6a: CALLDATALOAD
00001b6b: SWAP2
00001b6c: POP
00001b6d: PUSH8 0xffffffffffffffff
00001b76: DUP3
00001b77: GT
00001b78: ISZERO
00001b79: PUSH2 0x1b80
00001b7c: JUMPI
00001b7d: PUSH0
00001b7e: DUP1
00001b7f: REVERT
00001b80: JUMPDEST
00001b81: PUSH1 0x20
00001b83: ADD
00001b84: SWAP2
00001b85: POP
00001b86: CALLDATASIZE
00001b87: DUP2
00001b88: SWAP1
00001b89: SUB
00001b8a: DUP3
00001b8b: SGT
00001b8c: ISZERO
00001b8d: PUSH2 0x16d8
00001b90: JUMPI
00001b91: PUSH0
00001b92: DUP1
00001b93: REVERT
00001b94: JUMPDEST
00001b95: PUSH4 0x4e487b71
00001b9a: PUSH1 0xe0
00001b9c: SHL
00001b9d: PUSH0
00001b9e: MSTORE
00001b9f: PUSH1 0x11
00001ba1: PUSH1 0x04
00001ba3: MSTORE
00001ba4: PUSH1 0x24
00001ba6: PUSH0
00001ba7: REVERT
00001ba8: JUMPDEST
00001ba9: PUSH0
00001baa: PUSH1 0x01
00001bac: DUP3
00001bad: ADD
00001bae: PUSH2 0x1bb9
00001bb1: JUMPI
00001bb2: PUSH2 0x1bb9
00001bb5: PUSH2 0x1b94
00001bb8: JUMP
00001bb9: JUMPDEST
00001bba: POP
00001bbb: PUSH1 0x01
00001bbd: ADD
00001bbe: SWAP1
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: PUSH1 0x01
00001bc3: PUSH1 0x01
00001bc5: PUSH1 0xa0
00001bc7: SHL
00001bc8: SUB
00001bc9: SWAP4
00001bca: DUP5
00001bcb: AND
00001bcc: DUP2
00001bcd: MSTORE
00001bce: SWAP2
00001bcf: SWAP1
00001bd0: SWAP3
00001bd1: AND
00001bd2: PUSH1 0x20
00001bd4: DUP3
00001bd5: ADD
00001bd6: MSTORE
00001bd7: PUSH1 0x01
00001bd9: PUSH1 0x01
00001bdb: PUSH1 0xe0
00001bdd: SHL
00001bde: SUB
00001bdf: NOT
00001be0: SWAP1
00001be1: SWAP2
00001be2: AND
00001be3: PUSH1 0x40
00001be5: DUP3
00001be6: ADD
00001be7: MSTORE
00001be8: PUSH1 0x60
00001bea: ADD
00001beb: SWAP1
00001bec: JUMP
00001bed: JUMPDEST
00001bee: PUSH0
00001bef: PUSH1 0x20
00001bf1: DUP3
00001bf2: DUP5
00001bf3: SUB
00001bf4: SLT
00001bf5: ISZERO
00001bf6: PUSH2 0x1bfd
00001bf9: JUMPI
00001bfa: PUSH0
00001bfb: DUP1
00001bfc: REVERT
00001bfd: JUMPDEST
00001bfe: DUP2
00001bff: MLOAD
00001c00: DUP1
00001c01: ISZERO
00001c02: ISZERO
00001c03: DUP2
00001c04: EQ
00001c05: PUSH2 0x08e9
00001c08: JUMPI
00001c09: PUSH0
00001c0a: DUP1
00001c0b: REVERT
00001c0c: JUMPDEST
00001c0d: DUP2
00001c0e: DUP2
00001c0f: SUB
00001c10: DUP2
00001c11: DUP2
00001c12: GT
00001c13: ISZERO
00001c14: PUSH2 0x059c
00001c17: JUMPI
00001c18: PUSH2 0x059c
00001c1b: PUSH2 0x1b94
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: PUSH0
00001c21: DUP3
00001c22: MLOAD
00001c23: PUSH2 0x1c30
00001c26: DUP2
00001c27: DUP5
00001c28: PUSH1 0x20
00001c2a: DUP8
00001c2b: ADD
00001c2c: PUSH2 0x148a
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: SWAP2
00001c32: SWAP1
00001c33: SWAP2
00001c34: ADD
00001c35: SWAP3
00001c36: SWAP2
00001c37: POP
00001c38: POP
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH0
00001c3c: DUP1
00001c3d: DUP4
00001c3e: SLOAD
00001c3f: DUP2
00001c40: PUSH1 0x01
00001c42: DUP3
00001c43: DUP2
00001c44: SHR
00001c45: SWAP2
00001c46: POP
00001c47: DUP1
00001c48: DUP4
00001c49: AND
00001c4a: DUP1
00001c4b: PUSH2 0x1c55
00001c4e: JUMPI
00001c4f: PUSH1 0x7f
00001c51: DUP4
00001c52: AND
00001c53: SWAP3
00001c54: POP
00001c55: JUMPDEST
00001c56: PUSH1 0x20
00001c58: DUP1
00001c59: DUP5
00001c5a: LT
00001c5b: DUP3
00001c5c: SUB
00001c5d: PUSH2 0x1c74
00001c60: JUMPI
00001c61: PUSH4 0x4e487b71
00001c66: PUSH1 0xe0
00001c68: SHL
00001c69: DUP7
00001c6a: MSTORE
00001c6b: PUSH1 0x22
00001c6d: PUSH1 0x04
00001c6f: MSTORE
00001c70: PUSH1 0x24
00001c72: DUP7
00001c73: REVERT
00001c74: JUMPDEST
00001c75: DUP2
00001c76: DUP1
00001c77: ISZERO
00001c78: PUSH2 0x1c88
00001c7b: JUMPI
00001c7c: PUSH1 0x01
00001c7e: DUP2
00001c7f: EQ
00001c80: PUSH2 0x1c9d
00001c83: JUMPI
00001c84: PUSH2 0x1cc8
00001c87: JUMP
00001c88: JUMPDEST
00001c89: PUSH1 0xff
00001c8b: NOT
00001c8c: DUP7
00001c8d: AND
00001c8e: DUP10
00001c8f: MSTORE
00001c90: DUP5
00001c91: ISZERO
00001c92: ISZERO
00001c93: DUP6
00001c94: MUL
00001c95: DUP10
00001c96: ADD
00001c97: SWAP7
00001c98: POP
00001c99: PUSH2 0x1cc8
00001c9c: JUMP
00001c9d: JUMPDEST
00001c9e: PUSH0
00001c9f: DUP11
00001ca0: DUP2
00001ca1: MSTORE
00001ca2: PUSH1 0x20
00001ca4: SWAP1
00001ca5: KECCAK256
00001ca6: PUSH0
00001ca7: JUMPDEST
00001ca8: DUP7
00001ca9: DUP2
00001caa: LT
00001cab: ISZERO
00001cac: PUSH2 0x1cc0
00001caf: JUMPI
00001cb0: DUP2
00001cb1: SLOAD
00001cb2: DUP12
00001cb3: DUP3
00001cb4: ADD
00001cb5: MSTORE
00001cb6: SWAP1
00001cb7: DUP6
00001cb8: ADD
00001cb9: SWAP1
00001cba: DUP4
00001cbb: ADD
00001cbc: PUSH2 0x1ca7
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: POP
00001cc2: POP
00001cc3: DUP5
00001cc4: DUP10
00001cc5: ADD
00001cc6: SWAP7
00001cc7: POP
00001cc8: JUMPDEST
00001cc9: POP
00001cca: SWAP5
00001ccb: SWAP9
00001ccc: SWAP8
00001ccd: POP
00001cce: POP
00001ccf: POP
00001cd0: POP
00001cd1: POP
00001cd2: POP
00001cd3: POP
00001cd4: POP
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: DUP1
00001cd8: DUP3
00001cd9: ADD
00001cda: DUP1
00001cdb: DUP3
00001cdc: GT
00001cdd: ISZERO
00001cde: PUSH2 0x059c
00001ce1: JUMPI
00001ce2: PUSH2 0x059c
00001ce5: PUSH2 0x1b94
00001ce8: JUMP
00001ce9: INVALID
00001cea: UNKNOWN(0xDD)
00001ceb: CALLCODE
00001cec: MSTORE
00001ced: UNKNOWN(0xAD)
00001cee: SHL
00001cef: UNKNOWN(0xE2)
00001cf0: UNKNOWN(0xC8)
00001cf1: SWAP12
00001cf2: PUSH10 0xc2b068fc378daa952ba7
00001cfd: CALL
00001cfe: PUSH4 0xc4a11628
00001d03: CREATE2
00001d04: GAS
00001d05: UNKNOWN(0x4D)
00001d06: CREATE2
00001d07: UNKNOWN(0x23)
00001d08: UNKNOWN(0xB3)
00001d09: UNKNOWN(0xEF)
00001d0a: LOG2
00001d0b: PUSH5 0x6970667358
00001d11: UNKNOWN(0x22)
00001d12: SLT
00001d13: KECCAK256
00001d14: BASEFEE
00001d15: UNKNOWN(0xC0)
00001d16: UNKNOWN(0xC2)
00001d17: CALLDATACOPY
00001d18: SAR
00001d19: UNKNOWN(0x0F)
00001d1a: UNKNOWN(0xDC)
00001d1b: UNKNOWN(0x2F)
00001d1c: PUSH10 0x4f435ecf17dfdc620731
00001d27: GASPRICE
00001d28: UNKNOWN(0xAC)
00001d29: UNKNOWN(0xEC)
00001d2a: PUSH29