Analysis Run

[codex:1170655] OpenAI Codex v0.77.0 (research preview)
[codex:1170655] --------
[codex:1170655] workdir: /tmp/codex-multi-a0j_7xv_
[codex:1170655] model: gpt-5.2-codex
[codex:1170655] provider: openai
[codex:1170655] approval: never
[codex:1170655] sandbox: read-only
[codex:1170655] reasoning effort: xhigh
[codex:1170655] reasoning summaries: auto
[codex:1170655] session id: 019b6594-7586-70a1-b4bc-d139ca2c6da3
[codex:1170655] --------
[codex:1170655] user
[codex:1170655] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1170655] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1170655] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1170655] 
[codex:1170655] Scope rules:
[codex:1170655] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1170655] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1170655] 
[codex:1170655] Output MUST be valid JSON matching the provided schema.
[codex:1170655] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1170655] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1170655] 
[codex:1170655] Output constraints (IMPORTANT):
[codex:1170655] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1170655] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1170655] mcp startup: no servers
[codex:1170655] 
[codex:1170655] thinking
[codex:1170655] **Preparing to audit with AUDIT_BUNDLE.txt**
[codex:1170655] exec
[codex:1170655] /bin/bash -lc ls in /tmp/codex-multi-a0j_7xv_ succeeded in 5ms:
[codex:1170655] AUDIT_BUNDLE.txt
[codex:1170655] codex-output-schema.json
[codex:1170655] contracts
[codex:1170655] exec
[codex:1170655] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-a0j_7xv_ succeeded in 5ms:
[codex:1170655] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1170655] 
[codex:1170655] ================================================================================
[codex:1170655] FILE: contracts/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155Receiver.sol
[codex:1170655] ================================================================================
[codex:1170655] // SPDX-License-Identifier: MIT
[codex:1170655] // OpenZeppelin Contracts (last updated v5.0.0) (token/ERC1155/IERC1155Receiver.sol)
[codex:1170655] 
[codex:1170655] pragma solidity ^0.8.20;
[codex:1170655] 
[codex:1170655] import {IERC165} from "../../utils/introspection/IERC165.sol";
[codex:1170655] 
[codex:1170655] /**
[codex:1170655]  * @dev Interface that must be implemented by smart contracts in order to receive
[codex:1170655]  * ERC-1155 token transfers.
[codex:1170655]  */
[codex:1170655] interface IERC1155Receiver is IERC165 {
[codex:1170655]     /**
[codex:1170655]      * @dev Handles the receipt of a single ERC-1155 token type. This function is
[codex:1170655]      * called at the end of a `safeTransferFrom` after the balance has been updated.
[codex:1170655] 
[codex:1170655] 
[codex:1170655] thinking
[codex:1170655] **Analyzing BoringVault security and manage function risks**
[codex:1170655] 
[codex:1170655] I'm carefully examining BoringVault’s authorization, reentrancy, and asset transfer logic to find potential vulnerabilities, focusing on how manage’s arbitrary calls are gated, handling of ETH transfers, and risks from hooks or compromised authority contracts. There’s a lot to untangle here about design trade-offs and admin risks versus real vulnerabilities—let’s keep digging!
[codex:1170655] thinking
[codex:1170655] **Evaluating manage function and inter-contract call implications**
[codex:1170655] 
[codex:1170655] I'm exploring how manage’s ability to call arbitrary targets interacts with authorization and the possibility of calling BoringVault itself to invoke enter/exit, plus implications of asset being the vault token itself. There’s also consideration of batch call safety, hook bypasses on mint/burn, and edge cases with authority configurations. It’s an intricate web of admin controls and call mechanics!
[codex:1170655] exec
[codex:1170655] /bin/bash -lc 'rg -n "FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-a0j_7xv_ succeeded in 7ms:
[codex:1170655] 1092:FILE: contracts/src/base/BoringVault.sol
[codex:1170655] 1262:FILE: contracts/src/interfaces/BeforeTransferHook.sol
[codex:1170655] 
[codex:1170655] 
[codex:1170655] thinking
[codex:1170655] **Analyzing potential vulnerabilities and logic in BoringVault**
[codex:1170655] thinking
[codex:1170655] **Evaluating design considerations and access control implications**
[codex:1170655] 
[codex:1170655] I'll note that the contract allows authorized callers to move tokens on behalf of users who approved the vault, which is expected but could be risky if authority is misconfigured; overall, no direct vulnerabilities are found, so I’m preparing a minimal summary with no findings.
[codex:1170655] codex
[codex:1170655] {"no_findings":true,"summary":"Reviewed first-party contracts (BoringVault, BeforeTransferHook); no exploitable vulnerabilities found in the scoped areas.","findings":[]}
[codex:1170655] tokens used
[codex:1170655] 24,317
[codex:1170655] {"no_findings":true,"summary":"Reviewed first-party contracts (BoringVault, BeforeTransferHook); no exploitable vulnerabilities found in the scoped areas.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T15:33:05.429099+00:00",
        "returncode": 0
    },
    "summary": "Reviewed first-party contracts (BoringVault, BeforeTransferHook); no exploitable vulnerabilities found in the scoped areas.",
    "raw_final": {
        "summary": "Reviewed first-party contracts (BoringVault, BeforeTransferHook); no exploitable vulnerabilities found in the scoped areas.",
        "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 0x146a
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 0x14de
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 0x1504
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 0x15df
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 0x1647
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 0x16e6
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 0x1779
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 0x17d9
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 0x0000000000000000000000000000000000000000000000000000000000000012
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 0x1647
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 0x1817
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 0x1817
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 0x1817
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 0x1817
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 0x1504
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 0x18af
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 0x1956
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 0x19c7
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 0x19fe
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 0x1817
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 0x1a62
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 0x1ae6
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 0x1ae6
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 0x1b1e
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 0x1b1e
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 0x152e
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 0x1b44
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 0x1b58
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 0x1b44
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 0x1b44
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 0x1817
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 0x1b44
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 0x1baf
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 0x10c2
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08e6
000008df: DUP5
000008e0: DUP5
000008e1: DUP5
000008e2: PUSH2 0x1130
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 0x120a
0000091f: JUMP
00000920: JUMPDEST
00000921: SWAP1
00000922: POP
00000923: SWAP1
00000924: JUMP
00000925: JUMPDEST
00000926: POP
00000927: PUSH32 0x439eab1459375447c21bdb625f8b4fc21c8c9b106a3d7aa7c737254e8e50a478
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 0x1b1e
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 0x12a2
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH2 0x09a0
0000099a: DUP3
0000099b: DUP3
0000099c: PUSH2 0x1333
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 0x1bc7
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 0x1bf4
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 0x1b1e
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 0x1ae6
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH0
00000b3f: PUSH2 0x0b47
00000b42: CALLER
00000b43: PUSH2 0x10c2
00000b46: JUMP
00000b47: JUMPDEST
00000b48: PUSH2 0x08e9
00000b4b: DUP4
00000b4c: DUP4
00000b4d: PUSH2 0x1382
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 0x1b1e
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 0x1b1e
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 0x1bc7
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 0x1bf4
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 0x1c13
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 0x1cf1
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 0x104e
0000102c: JUMPI
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: PUSH4 0xcf479181
00001035: PUSH1 0xe0
00001037: SHL
00001038: DUP2
00001039: MSTORE
0000103a: SELFBALANCE
0000103b: PUSH1 0x04
0000103d: DUP3
0000103e: ADD
0000103f: MSTORE
00001040: PUSH1 0x24
00001042: DUP2
00001043: ADD
00001044: DUP4
00001045: SWAP1
00001046: MSTORE
00001047: PUSH1 0x44
00001049: ADD
0000104a: PUSH2 0x06c9
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH0
00001050: DUP1
00001051: DUP6
00001052: PUSH1 0x01
00001054: PUSH1 0x01
00001056: PUSH1 0xa0
00001058: SHL
00001059: SUB
0000105a: AND
0000105b: DUP5
0000105c: DUP7
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: PUSH2 0x1069
00001063: SWAP2
00001064: SWAP1
00001065: PUSH2 0x1c26
00001068: JUMP
00001069: JUMPDEST
0000106a: PUSH0
0000106b: PUSH1 0x40
0000106d: MLOAD
0000106e: DUP1
0000106f: DUP4
00001070: SUB
00001071: DUP2
00001072: DUP6
00001073: DUP8
00001074: GAS
00001075: CALL
00001076: SWAP3
00001077: POP
00001078: POP
00001079: POP
0000107a: RETURNDATASIZE
0000107b: DUP1
0000107c: PUSH0
0000107d: DUP2
0000107e: EQ
0000107f: PUSH2 0x10a3
00001082: JUMPI
00001083: PUSH1 0x40
00001085: MLOAD
00001086: SWAP2
00001087: POP
00001088: PUSH1 0x1f
0000108a: NOT
0000108b: PUSH1 0x3f
0000108d: RETURNDATASIZE
0000108e: ADD
0000108f: AND
00001090: DUP3
00001091: ADD
00001092: PUSH1 0x40
00001094: MSTORE
00001095: RETURNDATASIZE
00001096: DUP3
00001097: MSTORE
00001098: RETURNDATASIZE
00001099: PUSH0
0000109a: PUSH1 0x20
0000109c: DUP5
0000109d: ADD
0000109e: RETURNDATACOPY
0000109f: PUSH2 0x10a8
000010a2: JUMP
000010a3: JUMPDEST
000010a4: PUSH1 0x60
000010a6: SWAP2
000010a7: POP
000010a8: JUMPDEST
000010a9: POP
000010aa: SWAP2
000010ab: POP
000010ac: SWAP2
000010ad: POP
000010ae: PUSH2 0x10b8
000010b1: DUP7
000010b2: DUP4
000010b3: DUP4
000010b4: PUSH2 0x13e5
000010b7: JUMP
000010b8: JUMPDEST
000010b9: SWAP7
000010ba: SWAP6
000010bb: POP
000010bc: POP
000010bd: POP
000010be: POP
000010bf: POP
000010c0: POP
000010c1: JUMP
000010c2: JUMPDEST
000010c3: PUSH1 0x08
000010c5: SLOAD
000010c6: PUSH1 0x01
000010c8: PUSH1 0x01
000010ca: PUSH1 0xa0
000010cc: SHL
000010cd: SUB
000010ce: AND
000010cf: ISZERO
000010d0: PUSH2 0x112d
000010d3: JUMPI
000010d4: PUSH1 0x08
000010d6: SLOAD
000010d7: PUSH1 0x40
000010d9: MLOAD
000010da: PUSH4 0xe83931af
000010df: PUSH1 0xe0
000010e1: SHL
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x01
000010e6: PUSH1 0x01
000010e8: PUSH1 0xa0
000010ea: SHL
000010eb: SUB
000010ec: DUP4
000010ed: DUP2
000010ee: AND
000010ef: PUSH1 0x04
000010f1: DUP4
000010f2: ADD
000010f3: MSTORE
000010f4: SWAP1
000010f5: SWAP2
000010f6: AND
000010f7: SWAP1
000010f8: PUSH4 0xe83931af
000010fd: SWAP1
000010fe: PUSH1 0x24
00001100: ADD
00001101: PUSH0
00001102: PUSH1 0x40
00001104: MLOAD
00001105: DUP1
00001106: DUP4
00001107: SUB
00001108: DUP2
00001109: DUP7
0000110a: DUP1
0000110b: EXTCODESIZE
0000110c: ISZERO
0000110d: DUP1
0000110e: ISZERO
0000110f: PUSH2 0x1116
00001112: JUMPI
00001113: PUSH0
00001114: DUP1
00001115: REVERT
00001116: JUMPDEST
00001117: POP
00001118: GAS
00001119: STATICCALL
0000111a: ISZERO
0000111b: DUP1
0000111c: ISZERO
0000111d: PUSH2 0x1128
00001120: JUMPI
00001121: RETURNDATASIZE
00001122: PUSH0
00001123: DUP1
00001124: RETURNDATACOPY
00001125: RETURNDATASIZE
00001126: PUSH0
00001127: REVERT
00001128: JUMPDEST
00001129: POP
0000112a: POP
0000112b: POP
0000112c: POP
0000112d: JUMPDEST
0000112e: POP
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x01
00001133: PUSH1 0x01
00001135: PUSH1 0xa0
00001137: SHL
00001138: SUB
00001139: DUP4
0000113a: AND
0000113b: PUSH0
0000113c: SWAP1
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x04
00001141: PUSH1 0x20
00001143: SWAP1
00001144: DUP2
00001145: MSTORE
00001146: PUSH1 0x40
00001148: DUP1
00001149: DUP4
0000114a: KECCAK256
0000114b: CALLER
0000114c: DUP5
0000114d: MSTORE
0000114e: SWAP1
0000114f: SWAP2
00001150: MSTORE
00001151: DUP2
00001152: KECCAK256
00001153: SLOAD
00001154: PUSH0
00001155: NOT
00001156: DUP2
00001157: EQ
00001158: PUSH2 0x1189
0000115b: JUMPI
0000115c: PUSH2 0x1165
0000115f: DUP4
00001160: DUP3
00001161: PUSH2 0x1c13
00001164: JUMP
00001165: JUMPDEST
00001166: PUSH1 0x01
00001168: PUSH1 0x01
0000116a: PUSH1 0xa0
0000116c: SHL
0000116d: SUB
0000116e: DUP7
0000116f: AND
00001170: PUSH0
00001171: SWAP1
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x04
00001176: PUSH1 0x20
00001178: SWAP1
00001179: DUP2
0000117a: MSTORE
0000117b: PUSH1 0x40
0000117d: DUP1
0000117e: DUP4
0000117f: KECCAK256
00001180: CALLER
00001181: DUP5
00001182: MSTORE
00001183: SWAP1
00001184: SWAP2
00001185: MSTORE
00001186: SWAP1
00001187: KECCAK256
00001188: SSTORE
00001189: JUMPDEST
0000118a: PUSH1 0x01
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: SHL
00001191: SUB
00001192: DUP6
00001193: AND
00001194: PUSH0
00001195: SWAP1
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x03
0000119a: PUSH1 0x20
0000119c: MSTORE
0000119d: PUSH1 0x40
0000119f: DUP2
000011a0: KECCAK256
000011a1: DUP1
000011a2: SLOAD
000011a3: DUP6
000011a4: SWAP3
000011a5: SWAP1
000011a6: PUSH2 0x11b0
000011a9: SWAP1
000011aa: DUP5
000011ab: SWAP1
000011ac: PUSH2 0x1c13
000011af: JUMP
000011b0: JUMPDEST
000011b1: SWAP1
000011b2: SWAP2
000011b3: SSTORE
000011b4: POP
000011b5: POP
000011b6: PUSH1 0x01
000011b8: PUSH1 0x01
000011ba: PUSH1 0xa0
000011bc: SHL
000011bd: SUB
000011be: DUP1
000011bf: DUP6
000011c0: AND
000011c1: PUSH0
000011c2: DUP2
000011c3: DUP2
000011c4: MSTORE
000011c5: PUSH1 0x03
000011c7: PUSH1 0x20
000011c9: MSTORE
000011ca: PUSH1 0x40
000011cc: SWAP1
000011cd: DUP2
000011ce: SWAP1
000011cf: KECCAK256
000011d0: DUP1
000011d1: SLOAD
000011d2: DUP8
000011d3: ADD
000011d4: SWAP1
000011d5: SSTORE
000011d6: MLOAD
000011d7: SWAP1
000011d8: SWAP2
000011d9: DUP8
000011da: AND
000011db: SWAP1
000011dc: PUSH0
000011dd: DUP1
000011de: MLOAD
000011df: PUSH1 0x20
000011e1: PUSH2 0x1cf1
000011e4: DUP4
000011e5: CODECOPY
000011e6: DUP2
000011e7: MLOAD
000011e8: SWAP2
000011e9: MSTORE
000011ea: SWAP1
000011eb: PUSH2 0x11f7
000011ee: SWAP1
000011ef: DUP8
000011f0: DUP2
000011f1: MSTORE
000011f2: PUSH1 0x20
000011f4: ADD
000011f5: SWAP1
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH1 0x40
000011fa: MLOAD
000011fb: DUP1
000011fc: SWAP2
000011fd: SUB
000011fe: SWAP1
000011ff: LOG3
00001200: POP
00001201: PUSH1 0x01
00001203: SWAP5
00001204: SWAP4
00001205: POP
00001206: POP
00001207: POP
00001208: POP
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH0
0000120c: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
0000122d: PUSH0
0000122e: PUSH1 0x40
00001230: MLOAD
00001231: PUSH2 0x123a
00001234: SWAP2
00001235: SWAP1
00001236: PUSH2 0x1c41
00001239: JUMP
0000123a: JUMPDEST
0000123b: PUSH1 0x40
0000123d: DUP1
0000123e: MLOAD
0000123f: SWAP2
00001240: DUP3
00001241: SWAP1
00001242: SUB
00001243: DUP3
00001244: KECCAK256
00001245: PUSH1 0x20
00001247: DUP4
00001248: ADD
00001249: SWAP4
0000124a: SWAP1
0000124b: SWAP4
0000124c: MSTORE
0000124d: DUP2
0000124e: ADD
0000124f: SWAP2
00001250: SWAP1
00001251: SWAP2
00001252: MSTORE
00001253: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00001274: PUSH1 0x60
00001276: DUP3
00001277: ADD
00001278: MSTORE
00001279: CHAINID
0000127a: PUSH1 0x80
0000127c: DUP3
0000127d: ADD
0000127e: MSTORE
0000127f: ADDRESS
00001280: PUSH1 0xa0
00001282: DUP3
00001283: ADD
00001284: MSTORE
00001285: PUSH1 0xc0
00001287: ADD
00001288: PUSH1 0x40
0000128a: MLOAD
0000128b: PUSH1 0x20
0000128d: DUP2
0000128e: DUP4
0000128f: SUB
00001290: SUB
00001291: DUP2
00001292: MSTORE
00001293: SWAP1
00001294: PUSH1 0x40
00001296: MSTORE
00001297: DUP1
00001298: MLOAD
00001299: SWAP1
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: KECCAK256
0000129e: SWAP1
0000129f: POP
000012a0: SWAP1
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH0
000012a4: PUSH1 0x40
000012a6: MLOAD
000012a7: PUSH4 0x23b872dd
000012ac: PUSH1 0xe0
000012ae: SHL
000012af: DUP2
000012b0: MSTORE
000012b1: PUSH1 0x01
000012b3: PUSH1 0x01
000012b5: PUSH1 0xa0
000012b7: SHL
000012b8: SUB
000012b9: DUP6
000012ba: AND
000012bb: PUSH1 0x04
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH1 0x01
000012c2: PUSH1 0x01
000012c4: PUSH1 0xa0
000012c6: SHL
000012c7: SUB
000012c8: DUP5
000012c9: AND
000012ca: PUSH1 0x24
000012cc: DUP3
000012cd: ADD
000012ce: MSTORE
000012cf: DUP3
000012d0: PUSH1 0x44
000012d2: DUP3
000012d3: ADD
000012d4: MSTORE
000012d5: PUSH1 0x20
000012d7: PUSH0
000012d8: PUSH1 0x64
000012da: DUP4
000012db: PUSH0
000012dc: DUP11
000012dd: GAS
000012de: CALL
000012df: RETURNDATASIZE
000012e0: ISZERO
000012e1: PUSH1 0x1f
000012e3: RETURNDATASIZE
000012e4: GT
000012e5: PUSH1 0x01
000012e7: PUSH0
000012e8: MLOAD
000012e9: EQ
000012ea: AND
000012eb: OR
000012ec: AND
000012ed: SWAP2
000012ee: POP
000012ef: POP
000012f0: DUP1
000012f1: PUSH2 0x1128
000012f4: JUMPI
000012f5: PUSH1 0x40
000012f7: MLOAD
000012f8: PUSH3 0x461bcd
000012fc: PUSH1 0xe5
000012fe: SHL
000012ff: DUP2
00001300: MSTORE
00001301: PUSH1 0x20
00001303: PUSH1 0x04
00001305: DUP3
00001306: ADD
00001307: MSTORE
00001308: PUSH1 0x14
0000130a: PUSH1 0x24
0000130c: DUP3
0000130d: ADD
0000130e: MSTORE
0000130f: PUSH20 0x1514905394d1915497d19493d357d19052531151
00001324: PUSH1 0x62
00001326: SHL
00001327: PUSH1 0x44
00001329: DUP3
0000132a: ADD
0000132b: MSTORE
0000132c: PUSH1 0x64
0000132e: ADD
0000132f: PUSH2 0x06c9
00001332: JUMP
00001333: JUMPDEST
00001334: DUP1
00001335: PUSH1 0x02
00001337: PUSH0
00001338: DUP3
00001339: DUP3
0000133a: SLOAD
0000133b: PUSH2 0x1344
0000133e: SWAP2
0000133f: SWAP1
00001340: PUSH2 0x1cdd
00001343: JUMP
00001344: JUMPDEST
00001345: SWAP1
00001346: SWAP2
00001347: SSTORE
00001348: POP
00001349: POP
0000134a: PUSH1 0x01
0000134c: PUSH1 0x01
0000134e: PUSH1 0xa0
00001350: SHL
00001351: SUB
00001352: DUP3
00001353: AND
00001354: PUSH0
00001355: DUP2
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x03
0000135a: PUSH1 0x20
0000135c: SWAP1
0000135d: DUP2
0000135e: MSTORE
0000135f: PUSH1 0x40
00001361: DUP1
00001362: DUP4
00001363: KECCAK256
00001364: DUP1
00001365: SLOAD
00001366: DUP7
00001367: ADD
00001368: SWAP1
00001369: SSTORE
0000136a: MLOAD
0000136b: DUP5
0000136c: DUP2
0000136d: MSTORE
0000136e: PUSH0
0000136f: DUP1
00001370: MLOAD
00001371: PUSH1 0x20
00001373: PUSH2 0x1cf1
00001376: DUP4
00001377: CODECOPY
00001378: DUP2
00001379: MLOAD
0000137a: SWAP2
0000137b: MSTORE
0000137c: SWAP2
0000137d: ADD
0000137e: PUSH2 0x0f93
00001381: JUMP
00001382: JUMPDEST
00001383: CALLER
00001384: PUSH0
00001385: SWAP1
00001386: DUP2
00001387: MSTORE
00001388: PUSH1 0x03
0000138a: PUSH1 0x20
0000138c: MSTORE
0000138d: PUSH1 0x40
0000138f: DUP2
00001390: KECCAK256
00001391: DUP1
00001392: SLOAD
00001393: DUP4
00001394: SWAP2
00001395: SWAP1
00001396: DUP4
00001397: SWAP1
00001398: PUSH2 0x13a2
0000139b: SWAP1
0000139c: DUP5
0000139d: SWAP1
0000139e: PUSH2 0x1c13
000013a1: JUMP
000013a2: JUMPDEST
000013a3: SWAP1
000013a4: SWAP2
000013a5: SSTORE
000013a6: POP
000013a7: POP
000013a8: PUSH1 0x01
000013aa: PUSH1 0x01
000013ac: PUSH1 0xa0
000013ae: SHL
000013af: SUB
000013b0: DUP4
000013b1: AND
000013b2: PUSH0
000013b3: DUP2
000013b4: DUP2
000013b5: MSTORE
000013b6: PUSH1 0x03
000013b8: PUSH1 0x20
000013ba: MSTORE
000013bb: PUSH1 0x40
000013bd: SWAP1
000013be: DUP2
000013bf: SWAP1
000013c0: KECCAK256
000013c1: DUP1
000013c2: SLOAD
000013c3: DUP6
000013c4: ADD
000013c5: SWAP1
000013c6: SSTORE
000013c7: MLOAD
000013c8: CALLER
000013c9: SWAP1
000013ca: PUSH0
000013cb: DUP1
000013cc: MLOAD
000013cd: PUSH1 0x20
000013cf: PUSH2 0x1cf1
000013d2: DUP4
000013d3: CODECOPY
000013d4: DUP2
000013d5: MLOAD
000013d6: SWAP2
000013d7: MSTORE
000013d8: SWAP1
000013d9: PUSH2 0x0687
000013dc: SWAP1
000013dd: DUP7
000013de: DUP2
000013df: MSTORE
000013e0: PUSH1 0x20
000013e2: ADD
000013e3: SWAP1
000013e4: JUMP
000013e5: JUMPDEST
000013e6: PUSH1 0x60
000013e8: DUP3
000013e9: PUSH2 0x13fa
000013ec: JUMPI
000013ed: PUSH2 0x13f5
000013f0: DUP3
000013f1: PUSH2 0x1441
000013f4: JUMP
000013f5: JUMPDEST
000013f6: PUSH2 0x08e9
000013f9: JUMP
000013fa: JUMPDEST
000013fb: DUP2
000013fc: MLOAD
000013fd: ISZERO
000013fe: DUP1
000013ff: ISZERO
00001400: PUSH2 0x1411
00001403: JUMPI
00001404: POP
00001405: PUSH1 0x01
00001407: PUSH1 0x01
00001409: PUSH1 0xa0
0000140b: SHL
0000140c: SUB
0000140d: DUP5
0000140e: AND
0000140f: EXTCODESIZE
00001410: ISZERO
00001411: JUMPDEST
00001412: ISZERO
00001413: PUSH2 0x143a
00001416: JUMPI
00001417: PUSH1 0x40
00001419: MLOAD
0000141a: PUSH4 0x9996b315
0000141f: PUSH1 0xe0
00001421: SHL
00001422: DUP2
00001423: MSTORE
00001424: PUSH1 0x01
00001426: PUSH1 0x01
00001428: PUSH1 0xa0
0000142a: SHL
0000142b: SUB
0000142c: DUP6
0000142d: AND
0000142e: PUSH1 0x04
00001430: DUP3
00001431: ADD
00001432: MSTORE
00001433: PUSH1 0x24
00001435: ADD
00001436: PUSH2 0x06c9
00001439: JUMP
0000143a: JUMPDEST
0000143b: POP
0000143c: DUP1
0000143d: PUSH2 0x08e9
00001440: JUMP
00001441: JUMPDEST
00001442: DUP1
00001443: MLOAD
00001444: ISZERO
00001445: PUSH2 0x1451
00001448: JUMPI
00001449: DUP1
0000144a: MLOAD
0000144b: DUP1
0000144c: DUP3
0000144d: PUSH1 0x20
0000144f: ADD
00001450: REVERT
00001451: JUMPDEST
00001452: PUSH1 0x40
00001454: MLOAD
00001455: PUSH4 0xd6bda275
0000145a: PUSH1 0xe0
0000145c: SHL
0000145d: DUP2
0000145e: MSTORE
0000145f: PUSH1 0x04
00001461: ADD
00001462: PUSH1 0x40
00001464: MLOAD
00001465: DUP1
00001466: SWAP2
00001467: SUB
00001468: SWAP1
00001469: REVERT
0000146a: JUMPDEST
0000146b: PUSH0
0000146c: PUSH1 0x20
0000146e: DUP3
0000146f: DUP5
00001470: SUB
00001471: SLT
00001472: ISZERO
00001473: PUSH2 0x147a
00001476: JUMPI
00001477: PUSH0
00001478: DUP1
00001479: REVERT
0000147a: JUMPDEST
0000147b: DUP2
0000147c: CALLDATALOAD
0000147d: PUSH1 0x01
0000147f: PUSH1 0x01
00001481: PUSH1 0xe0
00001483: SHL
00001484: SUB
00001485: NOT
00001486: DUP2
00001487: AND
00001488: DUP2
00001489: EQ
0000148a: PUSH2 0x08e9
0000148d: JUMPI
0000148e: PUSH0
0000148f: DUP1
00001490: REVERT
00001491: JUMPDEST
00001492: PUSH0
00001493: JUMPDEST
00001494: DUP4
00001495: DUP2
00001496: LT
00001497: ISZERO
00001498: PUSH2 0x14ab
0000149b: JUMPI
0000149c: DUP2
0000149d: DUP2
0000149e: ADD
0000149f: MLOAD
000014a0: DUP4
000014a1: DUP3
000014a2: ADD
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: ADD
000014a7: PUSH2 0x1493
000014aa: JUMP
000014ab: JUMPDEST
000014ac: POP
000014ad: POP
000014ae: PUSH0
000014af: SWAP2
000014b0: ADD
000014b1: MSTORE
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH0
000014b5: DUP2
000014b6: MLOAD
000014b7: DUP1
000014b8: DUP5
000014b9: MSTORE
000014ba: PUSH2 0x14ca
000014bd: DUP2
000014be: PUSH1 0x20
000014c0: DUP7
000014c1: ADD
000014c2: PUSH1 0x20
000014c4: DUP7
000014c5: ADD
000014c6: PUSH2 0x1491
000014c9: JUMP
000014ca: JUMPDEST
000014cb: PUSH1 0x1f
000014cd: ADD
000014ce: PUSH1 0x1f
000014d0: NOT
000014d1: AND
000014d2: SWAP3
000014d3: SWAP1
000014d4: SWAP3
000014d5: ADD
000014d6: PUSH1 0x20
000014d8: ADD
000014d9: SWAP3
000014da: SWAP2
000014db: POP
000014dc: POP
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x20
000014e1: DUP2
000014e2: MSTORE
000014e3: PUSH0
000014e4: PUSH2 0x08e9
000014e7: PUSH1 0x20
000014e9: DUP4
000014ea: ADD
000014eb: DUP5
000014ec: PUSH2 0x14b3
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x01
000014f3: PUSH1 0x01
000014f5: PUSH1 0xa0
000014f7: SHL
000014f8: SUB
000014f9: DUP2
000014fa: AND
000014fb: DUP2
000014fc: EQ
000014fd: PUSH2 0x112d
00001500: JUMPI
00001501: PUSH0
00001502: DUP1
00001503: REVERT
00001504: JUMPDEST
00001505: PUSH0
00001506: DUP1
00001507: PUSH1 0x40
00001509: DUP4
0000150a: DUP6
0000150b: SUB
0000150c: SLT
0000150d: ISZERO
0000150e: PUSH2 0x1515
00001511: JUMPI
00001512: PUSH0
00001513: DUP1
00001514: REVERT
00001515: JUMPDEST
00001516: DUP3
00001517: CALLDATALOAD
00001518: PUSH2 0x1520
0000151b: DUP2
0000151c: PUSH2 0x14f0
0000151f: JUMP
00001520: JUMPDEST
00001521: SWAP5
00001522: PUSH1 0x20
00001524: SWAP4
00001525: SWAP1
00001526: SWAP4
00001527: ADD
00001528: CALLDATALOAD
00001529: SWAP4
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH4 0x4e487b71
00001534: PUSH1 0xe0
00001536: SHL
00001537: PUSH0
00001538: MSTORE
00001539: PUSH1 0x41
0000153b: PUSH1 0x04
0000153d: MSTORE
0000153e: PUSH1 0x24
00001540: PUSH0
00001541: REVERT
00001542: JUMPDEST
00001543: PUSH1 0x40
00001545: MLOAD
00001546: PUSH1 0x1f
00001548: DUP3
00001549: ADD
0000154a: PUSH1 0x1f
0000154c: NOT
0000154d: AND
0000154e: DUP2
0000154f: ADD
00001550: PUSH8 0xffffffffffffffff
00001559: DUP2
0000155a: GT
0000155b: DUP3
0000155c: DUP3
0000155d: LT
0000155e: OR
0000155f: ISZERO
00001560: PUSH2 0x156b
00001563: JUMPI
00001564: PUSH2 0x156b
00001567: PUSH2 0x152e
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x40
0000156e: MSTORE
0000156f: SWAP2
00001570: SWAP1
00001571: POP
00001572: JUMP
00001573: JUMPDEST
00001574: PUSH0
00001575: DUP3
00001576: PUSH1 0x1f
00001578: DUP4
00001579: ADD
0000157a: SLT
0000157b: PUSH2 0x1582
0000157e: JUMPI
0000157f: PUSH0
00001580: DUP1
00001581: REVERT
00001582: JUMPDEST
00001583: DUP2
00001584: CALLDATALOAD
00001585: PUSH8 0xffffffffffffffff
0000158e: DUP2
0000158f: GT
00001590: ISZERO
00001591: PUSH2 0x159c
00001594: JUMPI
00001595: PUSH2 0x159c
00001598: PUSH2 0x152e
0000159b: JUMP
0000159c: JUMPDEST
0000159d: PUSH2 0x15af
000015a0: PUSH1 0x1f
000015a2: DUP3
000015a3: ADD
000015a4: PUSH1 0x1f
000015a6: NOT
000015a7: AND
000015a8: PUSH1 0x20
000015aa: ADD
000015ab: PUSH2 0x1542
000015ae: JUMP
000015af: JUMPDEST
000015b0: DUP2
000015b1: DUP2
000015b2: MSTORE
000015b3: DUP5
000015b4: PUSH1 0x20
000015b6: DUP4
000015b7: DUP7
000015b8: ADD
000015b9: ADD
000015ba: GT
000015bb: ISZERO
000015bc: PUSH2 0x15c3
000015bf: JUMPI
000015c0: PUSH0
000015c1: DUP1
000015c2: REVERT
000015c3: JUMPDEST
000015c4: DUP2
000015c5: PUSH1 0x20
000015c7: DUP6
000015c8: ADD
000015c9: PUSH1 0x20
000015cb: DUP4
000015cc: ADD
000015cd: CALLDATACOPY
000015ce: PUSH0
000015cf: SWAP2
000015d0: DUP2
000015d1: ADD
000015d2: PUSH1 0x20
000015d4: ADD
000015d5: SWAP2
000015d6: SWAP1
000015d7: SWAP2
000015d8: MSTORE
000015d9: SWAP4
000015da: SWAP3
000015db: POP
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH0
000015e1: DUP1
000015e2: PUSH0
000015e3: DUP1
000015e4: PUSH1 0x80
000015e6: DUP6
000015e7: DUP8
000015e8: SUB
000015e9: SLT
000015ea: ISZERO
000015eb: PUSH2 0x15f2
000015ee: JUMPI
000015ef: PUSH0
000015f0: DUP1
000015f1: REVERT
000015f2: JUMPDEST
000015f3: DUP5
000015f4: CALLDATALOAD
000015f5: PUSH2 0x15fd
000015f8: DUP2
000015f9: PUSH2 0x14f0
000015fc: JUMP
000015fd: JUMPDEST
000015fe: SWAP4
000015ff: POP
00001600: PUSH1 0x20
00001602: DUP6
00001603: ADD
00001604: CALLDATALOAD
00001605: PUSH2 0x160d
00001608: DUP2
00001609: PUSH2 0x14f0
0000160c: JUMP
0000160d: JUMPDEST
0000160e: SWAP3
0000160f: POP
00001610: PUSH1 0x40
00001612: DUP6
00001613: ADD
00001614: CALLDATALOAD
00001615: SWAP2
00001616: POP
00001617: PUSH1 0x60
00001619: DUP6
0000161a: ADD
0000161b: CALLDATALOAD
0000161c: PUSH8 0xffffffffffffffff
00001625: DUP2
00001626: GT
00001627: ISZERO
00001628: PUSH2 0x162f
0000162b: JUMPI
0000162c: PUSH0
0000162d: DUP1
0000162e: REVERT
0000162f: JUMPDEST
00001630: PUSH2 0x163b
00001633: DUP8
00001634: DUP3
00001635: DUP9
00001636: ADD
00001637: PUSH2 0x1573
0000163a: JUMP
0000163b: JUMPDEST
0000163c: SWAP2
0000163d: POP
0000163e: POP
0000163f: SWAP3
00001640: SWAP6
00001641: SWAP2
00001642: SWAP5
00001643: POP
00001644: SWAP3
00001645: POP
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH0
00001649: DUP1
0000164a: PUSH0
0000164b: DUP1
0000164c: PUSH0
0000164d: PUSH1 0xa0
0000164f: DUP7
00001650: DUP9
00001651: SUB
00001652: SLT
00001653: ISZERO
00001654: PUSH2 0x165b
00001657: JUMPI
00001658: PUSH0
00001659: DUP1
0000165a: REVERT
0000165b: JUMPDEST
0000165c: DUP6
0000165d: CALLDATALOAD
0000165e: PUSH2 0x1666
00001661: DUP2
00001662: PUSH2 0x14f0
00001665: JUMP
00001666: JUMPDEST
00001667: SWAP5
00001668: POP
00001669: PUSH1 0x20
0000166b: DUP7
0000166c: ADD
0000166d: CALLDATALOAD
0000166e: PUSH2 0x1676
00001671: DUP2
00001672: PUSH2 0x14f0
00001675: JUMP
00001676: JUMPDEST
00001677: SWAP4
00001678: POP
00001679: PUSH1 0x40
0000167b: DUP7
0000167c: ADD
0000167d: CALLDATALOAD
0000167e: SWAP3
0000167f: POP
00001680: PUSH1 0x60
00001682: DUP7
00001683: ADD
00001684: CALLDATALOAD
00001685: PUSH2 0x168d
00001688: DUP2
00001689: PUSH2 0x14f0
0000168c: JUMP
0000168d: JUMPDEST
0000168e: SWAP5
0000168f: SWAP8
00001690: SWAP4
00001691: SWAP7
00001692: POP
00001693: SWAP2
00001694: SWAP5
00001695: PUSH1 0x80
00001697: ADD
00001698: CALLDATALOAD
00001699: SWAP3
0000169a: SWAP2
0000169b: POP
0000169c: POP
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH0
000016a0: DUP1
000016a1: DUP4
000016a2: PUSH1 0x1f
000016a4: DUP5
000016a5: ADD
000016a6: SLT
000016a7: PUSH2 0x16ae
000016aa: JUMPI
000016ab: PUSH0
000016ac: DUP1
000016ad: REVERT
000016ae: JUMPDEST
000016af: POP
000016b0: DUP2
000016b1: CALLDATALOAD
000016b2: PUSH8 0xffffffffffffffff
000016bb: DUP2
000016bc: GT
000016bd: ISZERO
000016be: PUSH2 0x16c5
000016c1: JUMPI
000016c2: PUSH0
000016c3: DUP1
000016c4: REVERT
000016c5: JUMPDEST
000016c6: PUSH1 0x20
000016c8: DUP4
000016c9: ADD
000016ca: SWAP2
000016cb: POP
000016cc: DUP4
000016cd: PUSH1 0x20
000016cf: DUP3
000016d0: PUSH1 0x05
000016d2: SHL
000016d3: DUP6
000016d4: ADD
000016d5: ADD
000016d6: GT
000016d7: ISZERO
000016d8: PUSH2 0x16df
000016db: JUMPI
000016dc: PUSH0
000016dd: DUP1
000016de: REVERT
000016df: JUMPDEST
000016e0: SWAP3
000016e1: POP
000016e2: SWAP3
000016e3: SWAP1
000016e4: POP
000016e5: JUMP
000016e6: JUMPDEST
000016e7: PUSH0
000016e8: DUP1
000016e9: PUSH0
000016ea: DUP1
000016eb: PUSH0
000016ec: DUP1
000016ed: PUSH1 0x60
000016ef: DUP8
000016f0: DUP10
000016f1: SUB
000016f2: SLT
000016f3: ISZERO
000016f4: PUSH2 0x16fb
000016f7: JUMPI
000016f8: PUSH0
000016f9: DUP1
000016fa: REVERT
000016fb: JUMPDEST
000016fc: DUP7
000016fd: CALLDATALOAD
000016fe: PUSH8 0xffffffffffffffff
00001707: DUP1
00001708: DUP3
00001709: GT
0000170a: ISZERO
0000170b: PUSH2 0x1712
0000170e: JUMPI
0000170f: PUSH0
00001710: DUP1
00001711: REVERT
00001712: JUMPDEST
00001713: PUSH2 0x171e
00001716: DUP11
00001717: DUP4
00001718: DUP12
00001719: ADD
0000171a: PUSH2 0x169e
0000171d: JUMP
0000171e: JUMPDEST
0000171f: SWAP1
00001720: SWAP9
00001721: POP
00001722: SWAP7
00001723: POP
00001724: PUSH1 0x20
00001726: DUP10
00001727: ADD
00001728: CALLDATALOAD
00001729: SWAP2
0000172a: POP
0000172b: DUP1
0000172c: DUP3
0000172d: GT
0000172e: ISZERO
0000172f: PUSH2 0x1736
00001732: JUMPI
00001733: PUSH0
00001734: DUP1
00001735: REVERT
00001736: JUMPDEST
00001737: PUSH2 0x1742
0000173a: DUP11
0000173b: DUP4
0000173c: DUP12
0000173d: ADD
0000173e: PUSH2 0x169e
00001741: JUMP
00001742: JUMPDEST
00001743: SWAP1
00001744: SWAP7
00001745: POP
00001746: SWAP5
00001747: POP
00001748: PUSH1 0x40
0000174a: DUP10
0000174b: ADD
0000174c: CALLDATALOAD
0000174d: SWAP2
0000174e: POP
0000174f: DUP1
00001750: DUP3
00001751: GT
00001752: ISZERO
00001753: PUSH2 0x175a
00001756: JUMPI
00001757: PUSH0
00001758: DUP1
00001759: REVERT
0000175a: JUMPDEST
0000175b: POP
0000175c: PUSH2 0x1767
0000175f: DUP10
00001760: DUP3
00001761: DUP11
00001762: ADD
00001763: PUSH2 0x169e
00001766: JUMP
00001767: JUMPDEST
00001768: SWAP8
00001769: SWAP11
0000176a: SWAP7
0000176b: SWAP10
0000176c: POP
0000176d: SWAP5
0000176e: SWAP8
0000176f: POP
00001770: SWAP3
00001771: SWAP6
00001772: SWAP4
00001773: SWAP5
00001774: SWAP3
00001775: POP
00001776: POP
00001777: POP
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH0
0000177b: PUSH1 0x20
0000177d: DUP1
0000177e: DUP4
0000177f: ADD
00001780: DUP2
00001781: DUP5
00001782: MSTORE
00001783: DUP1
00001784: DUP6
00001785: MLOAD
00001786: DUP1
00001787: DUP4
00001788: MSTORE
00001789: PUSH1 0x40
0000178b: DUP7
0000178c: ADD
0000178d: SWAP2
0000178e: POP
0000178f: PUSH1 0x40
00001791: DUP2
00001792: PUSH1 0x05
00001794: SHL
00001795: DUP8
00001796: ADD
00001797: ADD
00001798: SWAP3
00001799: POP
0000179a: DUP4
0000179b: DUP8
0000179c: ADD
0000179d: PUSH0
0000179e: JUMPDEST
0000179f: DUP3
000017a0: DUP2
000017a1: LT
000017a2: ISZERO
000017a3: PUSH2 0x17cc
000017a6: JUMPI
000017a7: PUSH1 0x3f
000017a9: NOT
000017aa: DUP9
000017ab: DUP7
000017ac: SUB
000017ad: ADD
000017ae: DUP5
000017af: MSTORE
000017b0: PUSH2 0x17ba
000017b3: DUP6
000017b4: DUP4
000017b5: MLOAD
000017b6: PUSH2 0x14b3
000017b9: JUMP
000017ba: JUMPDEST
000017bb: SWAP5
000017bc: POP
000017bd: SWAP3
000017be: DUP6
000017bf: ADD
000017c0: SWAP3
000017c1: SWAP1
000017c2: DUP6
000017c3: ADD
000017c4: SWAP1
000017c5: PUSH1 0x01
000017c7: ADD
000017c8: PUSH2 0x179e
000017cb: JUMP
000017cc: JUMPDEST
000017cd: POP
000017ce: SWAP3
000017cf: SWAP8
000017d0: SWAP7
000017d1: POP
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: POP
000017d6: POP
000017d7: POP
000017d8: JUMP
000017d9: JUMPDEST
000017da: PUSH0
000017db: DUP1
000017dc: PUSH0
000017dd: PUSH1 0x60
000017df: DUP5
000017e0: DUP7
000017e1: SUB
000017e2: SLT
000017e3: ISZERO
000017e4: PUSH2 0x17eb
000017e7: JUMPI
000017e8: PUSH0
000017e9: DUP1
000017ea: REVERT
000017eb: JUMPDEST
000017ec: DUP4
000017ed: CALLDATALOAD
000017ee: PUSH2 0x17f6
000017f1: DUP2
000017f2: PUSH2 0x14f0
000017f5: JUMP
000017f6: JUMPDEST
000017f7: SWAP3
000017f8: POP
000017f9: PUSH1 0x20
000017fb: DUP5
000017fc: ADD
000017fd: CALLDATALOAD
000017fe: PUSH2 0x1806
00001801: DUP2
00001802: PUSH2 0x14f0
00001805: JUMP
00001806: JUMPDEST
00001807: SWAP3
00001808: SWAP6
00001809: SWAP3
0000180a: SWAP5
0000180b: POP
0000180c: POP
0000180d: POP
0000180e: PUSH1 0x40
00001810: SWAP2
00001811: SWAP1
00001812: SWAP2
00001813: ADD
00001814: CALLDATALOAD
00001815: SWAP1
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH0
00001819: PUSH1 0x20
0000181b: DUP3
0000181c: DUP5
0000181d: SUB
0000181e: SLT
0000181f: ISZERO
00001820: PUSH2 0x1827
00001823: JUMPI
00001824: PUSH0
00001825: DUP1
00001826: REVERT
00001827: JUMPDEST
00001828: DUP2
00001829: CALLDATALOAD
0000182a: PUSH2 0x08e9
0000182d: DUP2
0000182e: PUSH2 0x14f0
00001831: JUMP
00001832: JUMPDEST
00001833: PUSH0
00001834: DUP3
00001835: PUSH1 0x1f
00001837: DUP4
00001838: ADD
00001839: SLT
0000183a: PUSH2 0x1841
0000183d: JUMPI
0000183e: PUSH0
0000183f: DUP1
00001840: REVERT
00001841: JUMPDEST
00001842: DUP2
00001843: CALLDATALOAD
00001844: PUSH1 0x20
00001846: PUSH8 0xffffffffffffffff
0000184f: DUP3
00001850: GT
00001851: ISZERO
00001852: PUSH2 0x185d
00001855: JUMPI
00001856: PUSH2 0x185d
00001859: PUSH2 0x152e
0000185c: JUMP
0000185d: JUMPDEST
0000185e: DUP2
0000185f: PUSH1 0x05
00001861: SHL
00001862: PUSH2 0x186c
00001865: DUP3
00001866: DUP3
00001867: ADD
00001868: PUSH2 0x1542
0000186b: JUMP
0000186c: JUMPDEST
0000186d: SWAP3
0000186e: DUP4
0000186f: MSTORE
00001870: DUP5
00001871: DUP2
00001872: ADD
00001873: DUP3
00001874: ADD
00001875: SWAP3
00001876: DUP3
00001877: DUP2
00001878: ADD
00001879: SWAP1
0000187a: DUP8
0000187b: DUP6
0000187c: GT
0000187d: ISZERO
0000187e: PUSH2 0x1885
00001881: JUMPI
00001882: PUSH0
00001883: DUP1
00001884: REVERT
00001885: JUMPDEST
00001886: DUP4
00001887: DUP8
00001888: ADD
00001889: SWAP3
0000188a: POP
0000188b: JUMPDEST
0000188c: DUP5
0000188d: DUP4
0000188e: LT
0000188f: ISZERO
00001890: PUSH2 0x18a4
00001893: JUMPI
00001894: DUP3
00001895: CALLDATALOAD
00001896: DUP3
00001897: MSTORE
00001898: SWAP2
00001899: DUP4
0000189a: ADD
0000189b: SWAP2
0000189c: SWAP1
0000189d: DUP4
0000189e: ADD
0000189f: SWAP1
000018a0: PUSH2 0x188b
000018a3: JUMP
000018a4: JUMPDEST
000018a5: SWAP8
000018a6: SWAP7
000018a7: POP
000018a8: POP
000018a9: POP
000018aa: POP
000018ab: POP
000018ac: POP
000018ad: POP
000018ae: JUMP
000018af: JUMPDEST
000018b0: PUSH0
000018b1: DUP1
000018b2: PUSH0
000018b3: DUP1
000018b4: PUSH0
000018b5: PUSH1 0xa0
000018b7: DUP7
000018b8: DUP9
000018b9: SUB
000018ba: SLT
000018bb: ISZERO
000018bc: PUSH2 0x18c3
000018bf: JUMPI
000018c0: PUSH0
000018c1: DUP1
000018c2: REVERT
000018c3: JUMPDEST
000018c4: DUP6
000018c5: CALLDATALOAD
000018c6: PUSH2 0x18ce
000018c9: DUP2
000018ca: PUSH2 0x14f0
000018cd: JUMP
000018ce: JUMPDEST
000018cf: SWAP5
000018d0: POP
000018d1: PUSH1 0x20
000018d3: DUP7
000018d4: ADD
000018d5: CALLDATALOAD
000018d6: PUSH2 0x18de
000018d9: DUP2
000018da: PUSH2 0x14f0
000018dd: JUMP
000018de: JUMPDEST
000018df: SWAP4
000018e0: POP
000018e1: PUSH1 0x40
000018e3: DUP7
000018e4: ADD
000018e5: CALLDATALOAD
000018e6: PUSH8 0xffffffffffffffff
000018ef: DUP1
000018f0: DUP3
000018f1: GT
000018f2: ISZERO
000018f3: PUSH2 0x18fa
000018f6: JUMPI
000018f7: PUSH0
000018f8: DUP1
000018f9: REVERT
000018fa: JUMPDEST
000018fb: PUSH2 0x1906
000018fe: DUP10
000018ff: DUP4
00001900: DUP11
00001901: ADD
00001902: PUSH2 0x1832
00001905: JUMP
00001906: JUMPDEST
00001907: SWAP5
00001908: POP
00001909: PUSH1 0x60
0000190b: DUP9
0000190c: ADD
0000190d: CALLDATALOAD
0000190e: SWAP2
0000190f: POP
00001910: DUP1
00001911: DUP3
00001912: GT
00001913: ISZERO
00001914: PUSH2 0x191b
00001917: JUMPI
00001918: PUSH0
00001919: DUP1
0000191a: REVERT
0000191b: JUMPDEST
0000191c: PUSH2 0x1927
0000191f: DUP10
00001920: DUP4
00001921: DUP11
00001922: ADD
00001923: PUSH2 0x1832
00001926: JUMP
00001927: JUMPDEST
00001928: SWAP4
00001929: POP
0000192a: PUSH1 0x80
0000192c: DUP9
0000192d: ADD
0000192e: CALLDATALOAD
0000192f: SWAP2
00001930: POP
00001931: DUP1
00001932: DUP3
00001933: GT
00001934: ISZERO
00001935: PUSH2 0x193c
00001938: JUMPI
00001939: PUSH0
0000193a: DUP1
0000193b: REVERT
0000193c: JUMPDEST
0000193d: POP
0000193e: PUSH2 0x1949
00001941: DUP9
00001942: DUP3
00001943: DUP10
00001944: ADD
00001945: PUSH2 0x1573
00001948: JUMP
00001949: JUMPDEST
0000194a: SWAP2
0000194b: POP
0000194c: POP
0000194d: SWAP3
0000194e: SWAP6
0000194f: POP
00001950: SWAP3
00001951: SWAP6
00001952: SWAP1
00001953: SWAP4
00001954: POP
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH0
00001958: DUP1
00001959: PUSH0
0000195a: DUP1
0000195b: PUSH0
0000195c: DUP1
0000195d: PUSH0
0000195e: PUSH1 0xe0
00001960: DUP9
00001961: DUP11
00001962: SUB
00001963: SLT
00001964: ISZERO
00001965: PUSH2 0x196c
00001968: JUMPI
00001969: PUSH0
0000196a: DUP1
0000196b: REVERT
0000196c: JUMPDEST
0000196d: DUP8
0000196e: CALLDATALOAD
0000196f: PUSH2 0x1977
00001972: DUP2
00001973: PUSH2 0x14f0
00001976: JUMP
00001977: JUMPDEST
00001978: SWAP7
00001979: POP
0000197a: PUSH1 0x20
0000197c: DUP9
0000197d: ADD
0000197e: CALLDATALOAD
0000197f: PUSH2 0x1987
00001982: DUP2
00001983: PUSH2 0x14f0
00001986: JUMP
00001987: JUMPDEST
00001988: SWAP6
00001989: POP
0000198a: PUSH1 0x40
0000198c: DUP9
0000198d: ADD
0000198e: CALLDATALOAD
0000198f: SWAP5
00001990: POP
00001991: PUSH1 0x60
00001993: DUP9
00001994: ADD
00001995: CALLDATALOAD
00001996: SWAP4
00001997: POP
00001998: PUSH1 0x80
0000199a: DUP9
0000199b: ADD
0000199c: CALLDATALOAD
0000199d: PUSH1 0xff
0000199f: DUP2
000019a0: AND
000019a1: DUP2
000019a2: EQ
000019a3: PUSH2 0x19aa
000019a6: JUMPI
000019a7: PUSH0
000019a8: DUP1
000019a9: REVERT
000019aa: JUMPDEST
000019ab: SWAP7
000019ac: SWAP10
000019ad: SWAP6
000019ae: SWAP9
000019af: POP
000019b0: SWAP4
000019b1: SWAP7
000019b2: SWAP3
000019b3: SWAP6
000019b4: SWAP5
000019b5: PUSH1 0xa0
000019b7: DUP5
000019b8: ADD
000019b9: CALLDATALOAD
000019ba: SWAP5
000019bb: POP
000019bc: PUSH1 0xc0
000019be: SWAP1
000019bf: SWAP4
000019c0: ADD
000019c1: CALLDATALOAD
000019c2: SWAP3
000019c3: SWAP2
000019c4: POP
000019c5: POP
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH0
000019c9: DUP1
000019ca: PUSH1 0x40
000019cc: DUP4
000019cd: DUP6
000019ce: SUB
000019cf: SLT
000019d0: ISZERO
000019d1: PUSH2 0x19d8
000019d4: JUMPI
000019d5: PUSH0
000019d6: DUP1
000019d7: REVERT
000019d8: JUMPDEST
000019d9: DUP3
000019da: CALLDATALOAD
000019db: PUSH2 0x19e3
000019de: DUP2
000019df: PUSH2 0x14f0
000019e2: JUMP
000019e3: JUMPDEST
000019e4: SWAP2
000019e5: POP
000019e6: PUSH1 0x20
000019e8: DUP4
000019e9: ADD
000019ea: CALLDATALOAD
000019eb: PUSH2 0x19f3
000019ee: DUP2
000019ef: PUSH2 0x14f0
000019f2: JUMP
000019f3: JUMPDEST
000019f4: DUP1
000019f5: SWAP2
000019f6: POP
000019f7: POP
000019f8: SWAP3
000019f9: POP
000019fa: SWAP3
000019fb: SWAP1
000019fc: POP
000019fd: JUMP
000019fe: JUMPDEST
000019ff: PUSH0
00001a00: DUP1
00001a01: PUSH0
00001a02: DUP1
00001a03: PUSH0
00001a04: PUSH1 0xa0
00001a06: DUP7
00001a07: DUP9
00001a08: SUB
00001a09: SLT
00001a0a: ISZERO
00001a0b: PUSH2 0x1a12
00001a0e: JUMPI
00001a0f: PUSH0
00001a10: DUP1
00001a11: REVERT
00001a12: JUMPDEST
00001a13: DUP6
00001a14: CALLDATALOAD
00001a15: PUSH2 0x1a1d
00001a18: DUP2
00001a19: PUSH2 0x14f0
00001a1c: JUMP
00001a1d: JUMPDEST
00001a1e: SWAP5
00001a1f: POP
00001a20: PUSH1 0x20
00001a22: DUP7
00001a23: ADD
00001a24: CALLDATALOAD
00001a25: PUSH2 0x1a2d
00001a28: DUP2
00001a29: PUSH2 0x14f0
00001a2c: JUMP
00001a2d: JUMPDEST
00001a2e: SWAP4
00001a2f: POP
00001a30: PUSH1 0x40
00001a32: DUP7
00001a33: ADD
00001a34: CALLDATALOAD
00001a35: SWAP3
00001a36: POP
00001a37: PUSH1 0x60
00001a39: DUP7
00001a3a: ADD
00001a3b: CALLDATALOAD
00001a3c: SWAP2
00001a3d: POP
00001a3e: PUSH1 0x80
00001a40: DUP7
00001a41: ADD
00001a42: CALLDATALOAD
00001a43: PUSH8 0xffffffffffffffff
00001a4c: DUP2
00001a4d: GT
00001a4e: ISZERO
00001a4f: PUSH2 0x1a56
00001a52: JUMPI
00001a53: PUSH0
00001a54: DUP1
00001a55: REVERT
00001a56: JUMPDEST
00001a57: PUSH2 0x1949
00001a5a: DUP9
00001a5b: DUP3
00001a5c: DUP10
00001a5d: ADD
00001a5e: PUSH2 0x1573
00001a61: JUMP
00001a62: JUMPDEST
00001a63: PUSH0
00001a64: DUP1
00001a65: PUSH0
00001a66: DUP1
00001a67: PUSH1 0x60
00001a69: DUP6
00001a6a: DUP8
00001a6b: SUB
00001a6c: SLT
00001a6d: ISZERO
00001a6e: PUSH2 0x1a75
00001a71: JUMPI
00001a72: PUSH0
00001a73: DUP1
00001a74: REVERT
00001a75: JUMPDEST
00001a76: DUP5
00001a77: CALLDATALOAD
00001a78: PUSH2 0x1a80
00001a7b: DUP2
00001a7c: PUSH2 0x14f0
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: SWAP4
00001a82: POP
00001a83: PUSH1 0x20
00001a85: DUP6
00001a86: ADD
00001a87: CALLDATALOAD
00001a88: PUSH8 0xffffffffffffffff
00001a91: DUP1
00001a92: DUP3
00001a93: GT
00001a94: ISZERO
00001a95: PUSH2 0x1a9c
00001a98: JUMPI
00001a99: PUSH0
00001a9a: DUP1
00001a9b: REVERT
00001a9c: JUMPDEST
00001a9d: DUP2
00001a9e: DUP8
00001a9f: ADD
00001aa0: SWAP2
00001aa1: POP
00001aa2: DUP8
00001aa3: PUSH1 0x1f
00001aa5: DUP4
00001aa6: ADD
00001aa7: SLT
00001aa8: PUSH2 0x1aaf
00001aab: JUMPI
00001aac: PUSH0
00001aad: DUP1
00001aae: REVERT
00001aaf: JUMPDEST
00001ab0: DUP2
00001ab1: CALLDATALOAD
00001ab2: DUP2
00001ab3: DUP2
00001ab4: GT
00001ab5: ISZERO
00001ab6: PUSH2 0x1abd
00001ab9: JUMPI
00001aba: PUSH0
00001abb: DUP1
00001abc: REVERT
00001abd: JUMPDEST
00001abe: DUP9
00001abf: PUSH1 0x20
00001ac1: DUP3
00001ac2: DUP6
00001ac3: ADD
00001ac4: ADD
00001ac5: GT
00001ac6: ISZERO
00001ac7: PUSH2 0x1ace
00001aca: JUMPI
00001acb: PUSH0
00001acc: DUP1
00001acd: REVERT
00001ace: JUMPDEST
00001acf: SWAP6
00001ad0: SWAP9
00001ad1: PUSH1 0x20
00001ad3: SWAP3
00001ad4: SWAP1
00001ad5: SWAP3
00001ad6: ADD
00001ad7: SWAP8
00001ad8: POP
00001ad9: SWAP5
00001ada: SWAP6
00001adb: PUSH1 0x40
00001add: ADD
00001ade: CALLDATALOAD
00001adf: SWAP5
00001ae0: POP
00001ae1: SWAP3
00001ae2: POP
00001ae3: POP
00001ae4: POP
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: PUSH1 0x01
00001ae9: DUP2
00001aea: DUP2
00001aeb: SHR
00001aec: SWAP1
00001aed: DUP3
00001aee: AND
00001aef: DUP1
00001af0: PUSH2 0x1afa
00001af3: JUMPI
00001af4: PUSH1 0x7f
00001af6: DUP3
00001af7: AND
00001af8: SWAP2
00001af9: POP
00001afa: JUMPDEST
00001afb: PUSH1 0x20
00001afd: DUP3
00001afe: LT
00001aff: DUP2
00001b00: SUB
00001b01: PUSH2 0x1b18
00001b04: JUMPI
00001b05: PUSH4 0x4e487b71
00001b0a: PUSH1 0xe0
00001b0c: SHL
00001b0d: PUSH0
00001b0e: MSTORE
00001b0f: PUSH1 0x22
00001b11: PUSH1 0x04
00001b13: MSTORE
00001b14: PUSH1 0x24
00001b16: PUSH0
00001b17: REVERT
00001b18: JUMPDEST
00001b19: POP
00001b1a: SWAP2
00001b1b: SWAP1
00001b1c: POP
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: PUSH1 0x20
00001b21: DUP1
00001b22: DUP3
00001b23: MSTORE
00001b24: PUSH1 0x0c
00001b26: SWAP1
00001b27: DUP3
00001b28: ADD
00001b29: MSTORE
00001b2a: PUSH12 0x15539055551213d492569151
00001b37: PUSH1 0xa2
00001b39: SHL
00001b3a: PUSH1 0x40
00001b3c: DUP3
00001b3d: ADD
00001b3e: MSTORE
00001b3f: PUSH1 0x60
00001b41: ADD
00001b42: SWAP1
00001b43: JUMP
00001b44: JUMPDEST
00001b45: PUSH4 0x4e487b71
00001b4a: PUSH1 0xe0
00001b4c: SHL
00001b4d: PUSH0
00001b4e: MSTORE
00001b4f: PUSH1 0x32
00001b51: PUSH1 0x04
00001b53: MSTORE
00001b54: PUSH1 0x24
00001b56: PUSH0
00001b57: REVERT
00001b58: JUMPDEST
00001b59: PUSH0
00001b5a: DUP1
00001b5b: DUP4
00001b5c: CALLDATALOAD
00001b5d: PUSH1 0x1e
00001b5f: NOT
00001b60: DUP5
00001b61: CALLDATASIZE
00001b62: SUB
00001b63: ADD
00001b64: DUP2
00001b65: SLT
00001b66: PUSH2 0x1b6d
00001b69: JUMPI
00001b6a: PUSH0
00001b6b: DUP1
00001b6c: REVERT
00001b6d: JUMPDEST
00001b6e: DUP4
00001b6f: ADD
00001b70: DUP1
00001b71: CALLDATALOAD
00001b72: SWAP2
00001b73: POP
00001b74: PUSH8 0xffffffffffffffff
00001b7d: DUP3
00001b7e: GT
00001b7f: ISZERO
00001b80: PUSH2 0x1b87
00001b83: JUMPI
00001b84: PUSH0
00001b85: DUP1
00001b86: REVERT
00001b87: JUMPDEST
00001b88: PUSH1 0x20
00001b8a: ADD
00001b8b: SWAP2
00001b8c: POP
00001b8d: CALLDATASIZE
00001b8e: DUP2
00001b8f: SWAP1
00001b90: SUB
00001b91: DUP3
00001b92: SGT
00001b93: ISZERO
00001b94: PUSH2 0x16df
00001b97: JUMPI
00001b98: PUSH0
00001b99: DUP1
00001b9a: REVERT
00001b9b: JUMPDEST
00001b9c: PUSH4 0x4e487b71
00001ba1: PUSH1 0xe0
00001ba3: SHL
00001ba4: PUSH0
00001ba5: MSTORE
00001ba6: PUSH1 0x11
00001ba8: PUSH1 0x04
00001baa: MSTORE
00001bab: PUSH1 0x24
00001bad: PUSH0
00001bae: REVERT
00001baf: JUMPDEST
00001bb0: PUSH0
00001bb1: PUSH1 0x01
00001bb3: DUP3
00001bb4: ADD
00001bb5: PUSH2 0x1bc0
00001bb8: JUMPI
00001bb9: PUSH2 0x1bc0
00001bbc: PUSH2 0x1b9b
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: POP
00001bc2: PUSH1 0x01
00001bc4: ADD
00001bc5: SWAP1
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: PUSH1 0x01
00001bca: PUSH1 0x01
00001bcc: PUSH1 0xa0
00001bce: SHL
00001bcf: SUB
00001bd0: SWAP4
00001bd1: DUP5
00001bd2: AND
00001bd3: DUP2
00001bd4: MSTORE
00001bd5: SWAP2
00001bd6: SWAP1
00001bd7: SWAP3
00001bd8: AND
00001bd9: PUSH1 0x20
00001bdb: DUP3
00001bdc: ADD
00001bdd: MSTORE
00001bde: PUSH1 0x01
00001be0: PUSH1 0x01
00001be2: PUSH1 0xe0
00001be4: SHL
00001be5: SUB
00001be6: NOT
00001be7: SWAP1
00001be8: SWAP2
00001be9: AND
00001bea: PUSH1 0x40
00001bec: DUP3
00001bed: ADD
00001bee: MSTORE
00001bef: PUSH1 0x60
00001bf1: ADD
00001bf2: SWAP1
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: PUSH0
00001bf6: PUSH1 0x20
00001bf8: DUP3
00001bf9: DUP5
00001bfa: SUB
00001bfb: SLT
00001bfc: ISZERO
00001bfd: PUSH2 0x1c04
00001c00: JUMPI
00001c01: PUSH0
00001c02: DUP1
00001c03: REVERT
00001c04: JUMPDEST
00001c05: DUP2
00001c06: MLOAD
00001c07: DUP1
00001c08: ISZERO
00001c09: ISZERO
00001c0a: DUP2
00001c0b: EQ
00001c0c: PUSH2 0x08e9
00001c0f: JUMPI
00001c10: PUSH0
00001c11: DUP1
00001c12: REVERT
00001c13: JUMPDEST
00001c14: DUP2
00001c15: DUP2
00001c16: SUB
00001c17: DUP2
00001c18: DUP2
00001c19: GT
00001c1a: ISZERO
00001c1b: PUSH2 0x059c
00001c1e: JUMPI
00001c1f: PUSH2 0x059c
00001c22: PUSH2 0x1b9b
00001c25: JUMP
00001c26: JUMPDEST
00001c27: PUSH0
00001c28: DUP3
00001c29: MLOAD
00001c2a: PUSH2 0x1c37
00001c2d: DUP2
00001c2e: DUP5
00001c2f: PUSH1 0x20
00001c31: DUP8
00001c32: ADD
00001c33: PUSH2 0x1491
00001c36: JUMP
00001c37: JUMPDEST
00001c38: SWAP2
00001c39: SWAP1
00001c3a: SWAP2
00001c3b: ADD
00001c3c: SWAP3
00001c3d: SWAP2
00001c3e: POP
00001c3f: POP
00001c40: JUMP
00001c41: JUMPDEST
00001c42: PUSH0
00001c43: DUP1
00001c44: DUP4
00001c45: SLOAD
00001c46: DUP2
00001c47: PUSH1 0x01
00001c49: DUP3
00001c4a: DUP2
00001c4b: SHR
00001c4c: SWAP2
00001c4d: POP
00001c4e: DUP1
00001c4f: DUP4
00001c50: AND
00001c51: DUP1
00001c52: PUSH2 0x1c5c
00001c55: JUMPI
00001c56: PUSH1 0x7f
00001c58: DUP4
00001c59: AND
00001c5a: SWAP3
00001c5b: POP
00001c5c: JUMPDEST
00001c5d: PUSH1 0x20
00001c5f: DUP1
00001c60: DUP5
00001c61: LT
00001c62: DUP3
00001c63: SUB
00001c64: PUSH2 0x1c7b
00001c67: JUMPI
00001c68: PUSH4 0x4e487b71
00001c6d: PUSH1 0xe0
00001c6f: SHL
00001c70: DUP7
00001c71: MSTORE
00001c72: PUSH1 0x22
00001c74: PUSH1 0x04
00001c76: MSTORE
00001c77: PUSH1 0x24
00001c79: DUP7
00001c7a: REVERT
00001c7b: JUMPDEST
00001c7c: DUP2
00001c7d: DUP1
00001c7e: ISZERO
00001c7f: PUSH2 0x1c8f
00001c82: JUMPI
00001c83: PUSH1 0x01
00001c85: DUP2
00001c86: EQ
00001c87: PUSH2 0x1ca4
00001c8a: JUMPI
00001c8b: PUSH2 0x1ccf
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0xff
00001c92: NOT
00001c93: DUP7
00001c94: AND
00001c95: DUP10
00001c96: MSTORE
00001c97: DUP5
00001c98: ISZERO
00001c99: ISZERO
00001c9a: DUP6
00001c9b: MUL
00001c9c: DUP10
00001c9d: ADD
00001c9e: SWAP7
00001c9f: POP
00001ca0: PUSH2 0x1ccf
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: PUSH0
00001ca6: DUP11
00001ca7: DUP2
00001ca8: MSTORE
00001ca9: PUSH1 0x20
00001cab: SWAP1
00001cac: KECCAK256
00001cad: PUSH0
00001cae: JUMPDEST
00001caf: DUP7
00001cb0: DUP2
00001cb1: LT
00001cb2: ISZERO
00001cb3: PUSH2 0x1cc7
00001cb6: JUMPI
00001cb7: DUP2
00001cb8: SLOAD
00001cb9: DUP12
00001cba: DUP3
00001cbb: ADD
00001cbc: MSTORE
00001cbd: SWAP1
00001cbe: DUP6
00001cbf: ADD
00001cc0: SWAP1
00001cc1: DUP4
00001cc2: ADD
00001cc3: PUSH2 0x1cae
00001cc6: JUMP
00001cc7: JUMPDEST
00001cc8: POP
00001cc9: POP
00001cca: DUP5
00001ccb: DUP10
00001ccc: ADD
00001ccd: SWAP7
00001cce: POP
00001ccf: JUMPDEST
00001cd0: POP
00001cd1: SWAP5
00001cd2: SWAP9
00001cd3: SWAP8
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: POP
00001cd8: POP
00001cd9: POP
00001cda: POP
00001cdb: POP
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: DUP1
00001cdf: DUP3
00001ce0: ADD
00001ce1: DUP1
00001ce2: DUP3
00001ce3: GT
00001ce4: ISZERO
00001ce5: PUSH2 0x059c
00001ce8: JUMPI
00001ce9: PUSH2 0x059c
00001cec: PUSH2 0x1b9b
00001cef: JUMP
00001cf0: INVALID
00001cf1: UNKNOWN(0xDD)
00001cf2: CALLCODE
00001cf3: MSTORE
00001cf4: UNKNOWN(0xAD)
00001cf5: SHL
00001cf6: UNKNOWN(0xE2)
00001cf7: UNKNOWN(0xC8)
00001cf8: SWAP12
00001cf9: PUSH10 0xc2b068fc378daa952ba7
00001d04: CALL
00001d05: PUSH4 0xc4a11628
00001d0a: CREATE2
00001d0b: GAS
00001d0c: UNKNOWN(0x4D)
00001d0d: CREATE2
00001d0e: UNKNOWN(0x23)
00001d0f: UNKNOWN(0xB3)
00001d10: UNKNOWN(0xEF)
00001d11: LOG2
00001d12: PUSH5 0x6970667358
00001d18: UNKNOWN(0x22)
00001d19: SLT
00001d1a: KECCAK256
00001d1b: UNKNOWN(0xD0)
00001d1c: SSTORE
00001d1d: UNKNOWN(0xD0)
00001d1e: DELEGATECALL
00001d1f: UNKNOWN(0xD0)
00001d20: CREATE2
00001d21: PUSH25 0x50deef6357bd49776a3baaac01de55352da92a3e85a1df423b
00001d3b: PUSH5 0x736f6c6343
00001d41: STOP
00001d42: ADDMOD
00001d43: ISZERO
00001d44: STOP
00001d45: CALLER