Analysis Run

[codex:538639] OpenAI Codex v0.77.0 (research preview)
[codex:538639] --------
[codex:538639] workdir: /tmp/codex-multi-w_y9jtci
[codex:538639] model: gpt-5.2-codex
[codex:538639] provider: openai
[codex:538639] approval: never
[codex:538639] sandbox: read-only
[codex:538639] reasoning effort: xhigh
[codex:538639] reasoning summaries: auto
[codex:538639] session id: 019b7b0c-ff04-71c2-8603-94a3be889fb3
[codex:538639] --------
[codex:538639] user
[codex:538639] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:538639] 
[codex:538639] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:538639] 
[codex:538639] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:538639] - Gas inefficiency, code quality, naming, or best practices
[codex:538639] - Theoretical vulnerabilities without a clear extraction path
[codex:538639] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:538639] - Front-running unless it enables theft beyond MEV
[codex:538639] - DoS, griefing, or issues that don't result in attacker profit
[codex:538639] - Missing events, view function issues, or informational findings
[codex:538639] 
[codex:538639] HIGH-VALUE PATTERNS TO HUNT:
[codex:538639] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:538639] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:538639] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:538639] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:538639] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:538639] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:538639] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:538639] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:538639] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:538639] 
[codex:538639] For each finding, you MUST provide:
[codex:538639] 1. Exact file and line numbers of vulnerable code
[codex:538639] 2. Step-by-step exploit transaction sequence
[codex:538639] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:538639] 
[codex:538639] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:538639] 
[codex:538639] Output MUST be valid JSON matching the provided schema.
[codex:538639] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:538639] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:538639] mcp startup: no servers
[codex:538639] 
[codex:538639] thinking
[codex:538639] **Preparing to read AUDIT_BUNDLE.txt**
[codex:538639] exec
[codex:538639] /bin/bash -lc ls in /tmp/codex-multi-w_y9jtci succeeded in 6ms:
[codex:538639] AUDIT_BUNDLE.txt
[codex:538639] codex-output-schema.json
[codex:538639] contracts
[codex:538639] exec
[codex:538639] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-w_y9jtci succeeded in 5ms:
[codex:538639] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:538639] 
[codex:538639] ================================================================================
[codex:538639] FILE: contracts/BlockDirectCall.sol
[codex:538639] ================================================================================
[codex:538639] /*
[codex:538639]   Copyright 2019-2021 StarkWare Industries Ltd.
[codex:538639] 
[codex:538639]   Licensed under the Apache License, Version 2.0 (the "License").
[codex:538639]   You may not use this file except in compliance with the License.
[codex:538639]   You may obtain a copy of the License at
[codex:538639] 
[codex:538639]   https://www.starkware.co/open-source-license/
[codex:538639] 
[codex:538639]   Unless required by applicable law or agreed to in writing,
[codex:538639]   software distributed under the License is distributed on an "AS IS" BASIS,
[codex:538639]   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
[codex:538639]   See the License for the specific language governing permissions
[codex:538639]   and limitations under the License.
[codex:538639] */
[codex:538639] 
[codex:538639] thinking
[codex:538639] **Preparing no-findings JSON response**
[codex:538639] codex
[codex:538639] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (dispatcher/storage/utility contracts only). No concrete, exploitable profit path is visible without subcontract implementations; all external entry is via fallback delegatecall to subcontracts or blocked receive/initialize. No findings.","findings":[]}
[codex:538639] tokens used
[codex:538639] 12,567
[codex:538639] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (dispatcher/storage/utility contracts only). No concrete, exploitable profit path is visible without subcontract implementations; all external entry is via fallback delegatecall to subcontracts or blocked receive/initialize. No findings.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T19:33:40.938441+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (dispatcher/storage/utility contracts only). No concrete, exploitable profit path is visible without subcontract implementations; all external entry is via fallback delegatecall to subcontracts or blocked receive/initialize. No findings.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (dispatcher/storage/utility contracts only). No concrete, exploitable profit path is visible without subcontract implementations; all external entry is via fallback delegatecall to subcontracts or blocked receive/initialize. No findings.",
        "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 0x002d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x439fab91
00000019: EQ
0000001a: PUSH2 0x0112
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xffa1ad74
00000024: EQ
00000025: PUSH2 0x018f
00000028: JUMPI
00000029: PUSH2 0x007f
0000002c: JUMP
0000002d: JUMPDEST
0000002e: CALLDATASIZE
0000002f: PUSH2 0x007f
00000032: JUMPI
00000033: PUSH1 0x40
00000035: DUP1
00000036: MLOAD
00000037: PUSH3 0x461bcd
0000003b: PUSH1 0xe5
0000003d: SHL
0000003e: DUP2
0000003f: MSTORE
00000040: PUSH1 0x20
00000042: PUSH1 0x04
00000044: DUP3
00000045: ADD
00000046: DUP2
00000047: SWAP1
00000048: MSTORE
00000049: PUSH1 0x24
0000004b: DUP3
0000004c: ADD
0000004d: MSTORE
0000004e: PUSH32 0x434f4e54524143545f4e4f545f45585045435445445f544f5f52454345495645
0000006f: PUSH1 0x44
00000071: DUP3
00000072: ADD
00000073: MSTORE
00000074: SWAP1
00000075: MLOAD
00000076: SWAP1
00000077: DUP2
00000078: SWAP1
00000079: SUB
0000007a: PUSH1 0x64
0000007c: ADD
0000007d: SWAP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: PUSH1 0x00
00000082: PUSH2 0x0096
00000085: PUSH1 0x00
00000087: CALLDATALOAD
00000088: PUSH1 0x01
0000008a: PUSH1 0x01
0000008c: PUSH1 0xe0
0000008e: SHL
0000008f: SUB
00000090: NOT
00000091: AND
00000092: PUSH2 0x0219
00000095: JUMP
00000096: JUMPDEST
00000097: SWAP1
00000098: POP
00000099: PUSH1 0x01
0000009b: PUSH1 0x01
0000009d: PUSH1 0xa0
0000009f: SHL
000000a0: SUB
000000a1: DUP2
000000a2: AND
000000a3: PUSH2 0x00ee
000000a6: JUMPI
000000a7: PUSH1 0x40
000000a9: DUP1
000000aa: MLOAD
000000ab: PUSH3 0x461bcd
000000af: PUSH1 0xe5
000000b1: SHL
000000b2: DUP2
000000b3: MSTORE
000000b4: PUSH1 0x20
000000b6: PUSH1 0x04
000000b8: DUP3
000000b9: ADD
000000ba: MSTORE
000000bb: PUSH1 0x18
000000bd: PUSH1 0x24
000000bf: DUP3
000000c0: ADD
000000c1: MSTORE
000000c2: PUSH24 0x2727afa1a7a72a2920a1aa2fa327a92fa32aa721aa24a7a7
000000db: PUSH1 0x41
000000dd: SHL
000000de: PUSH1 0x44
000000e0: DUP3
000000e1: ADD
000000e2: MSTORE
000000e3: SWAP1
000000e4: MLOAD
000000e5: SWAP1
000000e6: DUP2
000000e7: SWAP1
000000e8: SUB
000000e9: PUSH1 0x64
000000eb: ADD
000000ec: SWAP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: CALLDATASIZE
000000f0: PUSH1 0x00
000000f2: DUP1
000000f3: CALLDATACOPY
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: CALLDATASIZE
000000f8: PUSH1 0x00
000000fa: DUP5
000000fb: GAS
000000fc: DELEGATECALL
000000fd: RETURNDATASIZE
000000fe: PUSH1 0x00
00000100: DUP1
00000101: RETURNDATACOPY
00000102: DUP1
00000103: DUP1
00000104: ISZERO
00000105: PUSH2 0x010d
00000108: JUMPI
00000109: RETURNDATASIZE
0000010a: PUSH1 0x00
0000010c: RETURN
0000010d: JUMPDEST
0000010e: RETURNDATASIZE
0000010f: PUSH1 0x00
00000111: REVERT
00000112: JUMPDEST
00000113: CALLVALUE
00000114: DUP1
00000115: ISZERO
00000116: PUSH2 0x011e
00000119: JUMPI
0000011a: PUSH1 0x00
0000011c: DUP1
0000011d: REVERT
0000011e: JUMPDEST
0000011f: POP
00000120: PUSH2 0x018d
00000123: PUSH1 0x04
00000125: DUP1
00000126: CALLDATASIZE
00000127: SUB
00000128: PUSH1 0x20
0000012a: DUP2
0000012b: LT
0000012c: ISZERO
0000012d: PUSH2 0x0135
00000130: JUMPI
00000131: PUSH1 0x00
00000133: DUP1
00000134: REVERT
00000135: JUMPDEST
00000136: DUP2
00000137: ADD
00000138: SWAP1
00000139: PUSH1 0x20
0000013b: DUP2
0000013c: ADD
0000013d: DUP2
0000013e: CALLDATALOAD
0000013f: PUSH1 0x01
00000141: PUSH1 0x20
00000143: SHL
00000144: DUP2
00000145: GT
00000146: ISZERO
00000147: PUSH2 0x014f
0000014a: JUMPI
0000014b: PUSH1 0x00
0000014d: DUP1
0000014e: REVERT
0000014f: JUMPDEST
00000150: DUP3
00000151: ADD
00000152: DUP4
00000153: PUSH1 0x20
00000155: DUP3
00000156: ADD
00000157: GT
00000158: ISZERO
00000159: PUSH2 0x0161
0000015c: JUMPI
0000015d: PUSH1 0x00
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: DUP1
00000163: CALLDATALOAD
00000164: SWAP1
00000165: PUSH1 0x20
00000167: ADD
00000168: SWAP2
00000169: DUP5
0000016a: PUSH1 0x01
0000016c: DUP4
0000016d: MUL
0000016e: DUP5
0000016f: ADD
00000170: GT
00000171: PUSH1 0x01
00000173: PUSH1 0x20
00000175: SHL
00000176: DUP4
00000177: GT
00000178: OR
00000179: ISZERO
0000017a: PUSH2 0x0182
0000017d: JUMPI
0000017e: PUSH1 0x00
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: POP
00000184: SWAP1
00000185: SWAP3
00000186: POP
00000187: SWAP1
00000188: POP
00000189: PUSH2 0x02a5
0000018c: JUMP
0000018d: JUMPDEST
0000018e: STOP
0000018f: JUMPDEST
00000190: CALLVALUE
00000191: DUP1
00000192: ISZERO
00000193: PUSH2 0x019b
00000196: JUMPI
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: POP
0000019d: PUSH2 0x01a4
000001a0: PUSH2 0x08f1
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH1 0x40
000001a7: DUP1
000001a8: MLOAD
000001a9: PUSH1 0x20
000001ab: DUP1
000001ac: DUP3
000001ad: MSTORE
000001ae: DUP4
000001af: MLOAD
000001b0: DUP2
000001b1: DUP4
000001b2: ADD
000001b3: MSTORE
000001b4: DUP4
000001b5: MLOAD
000001b6: SWAP2
000001b7: SWAP3
000001b8: DUP4
000001b9: SWAP3
000001ba: SWAP1
000001bb: DUP4
000001bc: ADD
000001bd: SWAP2
000001be: DUP6
000001bf: ADD
000001c0: SWAP1
000001c1: DUP1
000001c2: DUP4
000001c3: DUP4
000001c4: PUSH1 0x00
000001c6: JUMPDEST
000001c7: DUP4
000001c8: DUP2
000001c9: LT
000001ca: ISZERO
000001cb: PUSH2 0x01de
000001ce: JUMPI
000001cf: DUP2
000001d0: DUP2
000001d1: ADD
000001d2: MLOAD
000001d3: DUP4
000001d4: DUP3
000001d5: ADD
000001d6: MSTORE
000001d7: PUSH1 0x20
000001d9: ADD
000001da: PUSH2 0x01c6
000001dd: JUMP
000001de: JUMPDEST
000001df: POP
000001e0: POP
000001e1: POP
000001e2: POP
000001e3: SWAP1
000001e4: POP
000001e5: SWAP1
000001e6: DUP2
000001e7: ADD
000001e8: SWAP1
000001e9: PUSH1 0x1f
000001eb: AND
000001ec: DUP1
000001ed: ISZERO
000001ee: PUSH2 0x020b
000001f1: JUMPI
000001f2: DUP1
000001f3: DUP3
000001f4: SUB
000001f5: DUP1
000001f6: MLOAD
000001f7: PUSH1 0x01
000001f9: DUP4
000001fa: PUSH1 0x20
000001fc: SUB
000001fd: PUSH2 0x0100
00000200: EXP
00000201: SUB
00000202: NOT
00000203: AND
00000204: DUP2
00000205: MSTORE
00000206: PUSH1 0x20
00000208: ADD
00000209: SWAP2
0000020a: POP
0000020b: JUMPDEST
0000020c: POP
0000020d: SWAP3
0000020e: POP
0000020f: POP
00000210: POP
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: SWAP2
00000216: SUB
00000217: SWAP1
00000218: RETURN
00000219: JUMPDEST
0000021a: PUSH1 0x00
0000021c: DUP1
0000021d: DUP3
0000021e: PUSH2 0x0225
00000221: PUSH2 0x0912
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: DUP1
00000229: MLOAD
0000022a: PUSH1 0x01
0000022c: PUSH1 0x01
0000022e: PUSH1 0xe0
00000230: SHL
00000231: SUB
00000232: NOT
00000233: SWAP1
00000234: SWAP4
00000235: AND
00000236: PUSH1 0x20
00000238: DUP1
00000239: DUP6
0000023a: ADD
0000023b: SWAP2
0000023c: SWAP1
0000023d: SWAP2
0000023e: MSTORE
0000023f: PUSH1 0x24
00000241: DUP1
00000242: DUP6
00000243: ADD
00000244: SWAP4
00000245: SWAP1
00000246: SWAP4
00000247: MSTORE
00000248: DUP2
00000249: MLOAD
0000024a: DUP1
0000024b: DUP6
0000024c: SUB
0000024d: SWAP1
0000024e: SWAP4
0000024f: ADD
00000250: DUP4
00000251: MSTORE
00000252: PUSH1 0x44
00000254: SWAP1
00000255: SWAP4
00000256: ADD
00000257: SWAP1
00000258: MSTORE
00000259: DUP1
0000025a: MLOAD
0000025b: SWAP2
0000025c: ADD
0000025d: KECCAK256
0000025e: PUSH1 0xff
00000260: AND
00000261: SWAP1
00000262: POP
00000263: PUSH1 0x00
00000265: DUP1
00000266: PUSH2 0x0100
00000269: PUSH1 0x04
0000026b: DUP5
0000026c: MUL
0000026d: MOD
0000026e: SWAP1
0000026f: POP
00000270: DUP1
00000271: PUSH2 0x027d
00000274: PUSH1 0x06
00000276: DUP6
00000277: SWAP1
00000278: SHR
00000279: PUSH2 0x0918
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x0f
00000280: SWAP2
00000281: SHR
00000282: AND
00000283: PUSH1 0x00
00000285: SWAP1
00000286: DUP2
00000287: MSTORE
00000288: PUSH1 0x1e
0000028a: PUSH1 0x20
0000028c: MSTORE
0000028d: PUSH1 0x40
0000028f: SWAP1
00000290: KECCAK256
00000291: SLOAD
00000292: PUSH1 0x01
00000294: PUSH1 0x01
00000296: PUSH1 0xa0
00000298: SHL
00000299: SUB
0000029a: AND
0000029b: SWAP4
0000029c: POP
0000029d: POP
0000029e: POP
0000029f: POP
000002a0: JUMPDEST
000002a1: SWAP2
000002a2: SWAP1
000002a3: POP
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH32 0xcababe7e58bc4e5994925b2e44aa0307e6b687bb4c2e710dcddf87c11b1dc793
000002c7: DUP1
000002c8: SLOAD
000002c9: SWAP1
000002ca: DUP2
000002cb: ISZERO
000002cc: PUSH2 0x0315
000002cf: JUMPI
000002d0: PUSH1 0x40
000002d2: DUP1
000002d3: MLOAD
000002d4: PUSH3 0x461bcd
000002d8: PUSH1 0xe5
000002da: SHL
000002db: DUP2
000002dc: MSTORE
000002dd: PUSH1 0x20
000002df: PUSH1 0x04
000002e1: DUP3
000002e2: ADD
000002e3: MSTORE
000002e4: PUSH1 0x16
000002e6: PUSH1 0x24
000002e8: DUP3
000002e9: ADD
000002ea: MSTORE
000002eb: PUSH22 0x1112549150d517d0d0531317d11254d0531313d5d151
00000302: PUSH1 0x52
00000304: SHL
00000305: PUSH1 0x44
00000307: DUP3
00000308: ADD
00000309: MSTORE
0000030a: SWAP1
0000030b: MLOAD
0000030c: SWAP1
0000030d: DUP2
0000030e: SWAP1
0000030f: SUB
00000310: PUSH1 0x64
00000312: ADD
00000313: SWAP1
00000314: REVERT
00000315: JUMPDEST
00000316: POP
00000317: POP
00000318: PUSH1 0x00
0000031a: PUSH2 0x0321
0000031d: PUSH2 0x0a18
00000320: JUMP
00000321: JUMPDEST
00000322: SWAP1
00000323: POP
00000324: PUSH1 0x0f
00000326: DUP2
00000327: GT
00000328: ISZERO
00000329: PUSH2 0x0372
0000032c: JUMPI
0000032d: PUSH1 0x40
0000032f: DUP1
00000330: MLOAD
00000331: PUSH3 0x461bcd
00000335: PUSH1 0xe5
00000337: SHL
00000338: DUP2
00000339: MSTORE
0000033a: PUSH1 0x20
0000033c: PUSH1 0x04
0000033e: DUP3
0000033f: ADD
00000340: MSTORE
00000341: PUSH1 0x16
00000343: PUSH1 0x24
00000345: DUP3
00000346: ADD
00000347: MSTORE
00000348: PUSH22 0x544f4f5f4d414e595f5355425f434f4e545241435453
0000035f: PUSH1 0x50
00000361: SHL
00000362: PUSH1 0x44
00000364: DUP3
00000365: ADD
00000366: MSTORE
00000367: SWAP1
00000368: MLOAD
00000369: SWAP1
0000036a: DUP2
0000036b: SWAP1
0000036c: SUB
0000036d: PUSH1 0x64
0000036f: ADD
00000370: SWAP1
00000371: REVERT
00000372: JUMPDEST
00000373: PUSH1 0x00
00000375: PUSH1 0x20
00000377: PUSH1 0x01
00000379: DUP4
0000037a: ADD
0000037b: MUL
0000037c: DUP1
0000037d: DUP5
0000037e: LT
0000037f: ISZERO
00000380: PUSH2 0x03d0
00000383: JUMPI
00000384: PUSH1 0x40
00000386: DUP1
00000387: MLOAD
00000388: PUSH3 0x461bcd
0000038c: PUSH1 0xe5
0000038e: SHL
0000038f: DUP2
00000390: MSTORE
00000391: PUSH1 0x20
00000393: PUSH1 0x04
00000395: DUP3
00000396: ADD
00000397: MSTORE
00000398: PUSH1 0x1a
0000039a: PUSH1 0x24
0000039c: DUP3
0000039d: ADD
0000039e: MSTORE
0000039f: PUSH32 0x5355425f434f4e5452414354535f4e4f545f50524f5649444544000000000000
000003c0: PUSH1 0x44
000003c2: DUP3
000003c3: ADD
000003c4: MSTORE
000003c5: SWAP1
000003c6: MLOAD
000003c7: SWAP1
000003c8: DUP2
000003c9: SWAP1
000003ca: SUB
000003cb: PUSH1 0x64
000003cd: ADD
000003ce: SWAP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: DUP1
000003d2: DUP5
000003d3: SUB
000003d4: PUSH1 0x01
000003d6: JUMPDEST
000003d7: DUP5
000003d8: DUP2
000003d9: GT
000003da: PUSH2 0x042d
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: PUSH2 0x03f5
000003e3: PUSH1 0x20
000003e5: DUP1
000003e6: DUP5
000003e7: MUL
000003e8: SWAP1
000003e9: PUSH1 0x00
000003eb: NOT
000003ec: DUP6
000003ed: ADD
000003ee: MUL
000003ef: DUP10
000003f0: DUP12
000003f1: PUSH2 0x11e8
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x20
000003f8: DUP2
000003f9: LT
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: CALLDATALOAD
00000406: PUSH1 0x01
00000408: PUSH1 0x01
0000040a: PUSH1 0xa0
0000040c: SHL
0000040d: SUB
0000040e: AND
0000040f: SWAP1
00000410: POP
00000411: PUSH2 0x041a
00000414: DUP3
00000415: DUP3
00000416: PUSH2 0x0a1d
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH2 0x0424
0000041e: DUP3
0000041f: DUP3
00000420: PUSH2 0x0c70
00000423: JUMP
00000424: JUMPDEST
00000425: POP
00000426: PUSH1 0x01
00000428: ADD
00000429: PUSH2 0x03d6
0000042c: JUMP
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH1 0x00
00000431: PUSH2 0x0440
00000434: DUP4
00000435: PUSH1 0x1f
00000437: NOT
00000438: DUP2
00000439: ADD
0000043a: DUP9
0000043b: DUP11
0000043c: PUSH2 0x11e8
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x20
00000443: DUP2
00000444: LT
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: CALLDATALOAD
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: AND
0000045a: SWAP1
0000045b: POP
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0480
00000461: JUMPI
00000462: PUSH2 0x0476
00000465: DUP2
00000466: PUSH2 0x0471
00000469: DUP9
0000046a: DUP7
0000046b: DUP2
0000046c: DUP13
0000046d: PUSH2 0x11e8
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x0c9e
00000475: JUMP
00000476: JUMPDEST
00000477: POP
00000478: POP
00000479: POP
0000047a: POP
0000047b: POP
0000047c: PUSH2 0x08ed
0000047f: JUMP
00000480: JUMPDEST
00000481: DUP2
00000482: PUSH2 0x048f
00000485: JUMPI
00000486: POP
00000487: POP
00000488: POP
00000489: POP
0000048a: POP
0000048b: PUSH2 0x08ed
0000048e: JUMP
0000048f: JUMPDEST
00000490: PUSH1 0x01
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: SHL
00000497: SUB
00000498: DUP2
00000499: AND
0000049a: ISZERO
0000049b: PUSH2 0x04a0
0000049e: JUMPI
0000049f: INVALID
000004a0: JUMPDEST
000004a1: PUSH2 0x04a8
000004a4: PUSH2 0x0eb4
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0x01
000004ab: JUMPDEST
000004ac: DUP6
000004ad: DUP2
000004ae: GT
000004af: PUSH2 0x0892
000004b2: JUMPI
000004b3: PUSH1 0x00
000004b5: PUSH2 0x04ca
000004b8: PUSH1 0x20
000004ba: DUP1
000004bb: DUP5
000004bc: MUL
000004bd: SWAP1
000004be: PUSH1 0x00
000004c0: NOT
000004c1: DUP6
000004c2: ADD
000004c3: MUL
000004c4: DUP11
000004c5: DUP13
000004c6: PUSH2 0x11e8
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH1 0x20
000004cd: DUP2
000004ce: LT
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH1 0x40
000004dc: DUP1
000004dd: MLOAD
000004de: PUSH1 0x04
000004e0: DUP2
000004e1: MSTORE
000004e2: PUSH1 0x24
000004e4: DUP2
000004e5: ADD
000004e6: DUP3
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: DUP2
000004eb: ADD
000004ec: DUP1
000004ed: MLOAD
000004ee: PUSH4 0x3cc660ad
000004f3: PUSH1 0xe0
000004f5: SHL
000004f6: PUSH1 0x01
000004f8: PUSH1 0x01
000004fa: PUSH1 0xe0
000004fc: SHL
000004fd: SUB
000004fe: SWAP1
000004ff: SWAP2
00000500: AND
00000501: OR
00000502: DUP2
00000503: MSTORE
00000504: SWAP2
00000505: MLOAD
00000506: DUP2
00000507: MLOAD
00000508: SWAP4
00000509: CALLDATALOAD
0000050a: PUSH1 0x01
0000050c: PUSH1 0x01
0000050e: PUSH1 0xa0
00000510: SHL
00000511: SUB
00000512: AND
00000513: SWAP5
00000514: POP
00000515: PUSH1 0x00
00000517: SWAP4
00000518: PUSH1 0x60
0000051a: SWAP4
0000051b: DUP7
0000051c: SWAP4
0000051d: SWAP3
0000051e: SWAP2
0000051f: DUP3
00000520: SWAP2
00000521: SWAP1
00000522: DUP1
00000523: DUP4
00000524: DUP4
00000525: JUMPDEST
00000526: PUSH1 0x20
00000528: DUP4
00000529: LT
0000052a: PUSH2 0x0544
0000052d: JUMPI
0000052e: DUP1
0000052f: MLOAD
00000530: DUP3
00000531: MSTORE
00000532: PUSH1 0x1f
00000534: NOT
00000535: SWAP1
00000536: SWAP3
00000537: ADD
00000538: SWAP2
00000539: PUSH1 0x20
0000053b: SWAP2
0000053c: DUP3
0000053d: ADD
0000053e: SWAP2
0000053f: ADD
00000540: PUSH2 0x0525
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH1 0x01
00000547: DUP4
00000548: PUSH1 0x20
0000054a: SUB
0000054b: PUSH2 0x0100
0000054e: EXP
0000054f: SUB
00000550: DUP1
00000551: NOT
00000552: DUP3
00000553: MLOAD
00000554: AND
00000555: DUP2
00000556: DUP5
00000557: MLOAD
00000558: AND
00000559: DUP1
0000055a: DUP3
0000055b: OR
0000055c: DUP6
0000055d: MSTORE
0000055e: POP
0000055f: POP
00000560: POP
00000561: POP
00000562: POP
00000563: POP
00000564: SWAP1
00000565: POP
00000566: ADD
00000567: SWAP2
00000568: POP
00000569: POP
0000056a: PUSH1 0x00
0000056c: PUSH1 0x40
0000056e: MLOAD
0000056f: DUP1
00000570: DUP4
00000571: SUB
00000572: DUP2
00000573: DUP6
00000574: GAS
00000575: DELEGATECALL
00000576: SWAP2
00000577: POP
00000578: POP
00000579: RETURNDATASIZE
0000057a: DUP1
0000057b: PUSH1 0x00
0000057d: DUP2
0000057e: EQ
0000057f: PUSH2 0x05a4
00000582: JUMPI
00000583: PUSH1 0x40
00000585: MLOAD
00000586: SWAP2
00000587: POP
00000588: PUSH1 0x1f
0000058a: NOT
0000058b: PUSH1 0x3f
0000058d: RETURNDATASIZE
0000058e: ADD
0000058f: AND
00000590: DUP3
00000591: ADD
00000592: PUSH1 0x40
00000594: MSTORE
00000595: RETURNDATASIZE
00000596: DUP3
00000597: MSTORE
00000598: RETURNDATASIZE
00000599: PUSH1 0x00
0000059b: PUSH1 0x20
0000059d: DUP5
0000059e: ADD
0000059f: RETURNDATACOPY
000005a0: PUSH2 0x05a9
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH1 0x60
000005a7: SWAP2
000005a8: POP
000005a9: JUMPDEST
000005aa: POP
000005ab: SWAP2
000005ac: POP
000005ad: SWAP2
000005ae: POP
000005af: DUP2
000005b0: DUP2
000005b1: SWAP1
000005b2: PUSH2 0x0639
000005b5: JUMPI
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: PUSH3 0x461bcd
000005bd: PUSH1 0xe5
000005bf: SHL
000005c0: DUP2
000005c1: MSTORE
000005c2: PUSH1 0x04
000005c4: ADD
000005c5: DUP1
000005c6: DUP1
000005c7: PUSH1 0x20
000005c9: ADD
000005ca: DUP3
000005cb: DUP2
000005cc: SUB
000005cd: DUP3
000005ce: MSTORE
000005cf: DUP4
000005d0: DUP2
000005d1: DUP2
000005d2: MLOAD
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP2
000005d9: POP
000005da: DUP1
000005db: MLOAD
000005dc: SWAP1
000005dd: PUSH1 0x20
000005df: ADD
000005e0: SWAP1
000005e1: DUP1
000005e2: DUP4
000005e3: DUP4
000005e4: PUSH1 0x00
000005e6: JUMPDEST
000005e7: DUP4
000005e8: DUP2
000005e9: LT
000005ea: ISZERO
000005eb: PUSH2 0x05fe
000005ee: JUMPI
000005ef: DUP2
000005f0: DUP2
000005f1: ADD
000005f2: MLOAD
000005f3: DUP4
000005f4: DUP3
000005f5: ADD
000005f6: MSTORE
000005f7: PUSH1 0x20
000005f9: ADD
000005fa: PUSH2 0x05e6
000005fd: JUMP
000005fe: JUMPDEST
000005ff: POP
00000600: POP
00000601: POP
00000602: POP
00000603: SWAP1
00000604: POP
00000605: SWAP1
00000606: DUP2
00000607: ADD
00000608: SWAP1
00000609: PUSH1 0x1f
0000060b: AND
0000060c: DUP1
0000060d: ISZERO
0000060e: PUSH2 0x062b
00000611: JUMPI
00000612: DUP1
00000613: DUP3
00000614: SUB
00000615: DUP1
00000616: MLOAD
00000617: PUSH1 0x01
00000619: DUP4
0000061a: PUSH1 0x20
0000061c: SUB
0000061d: PUSH2 0x0100
00000620: EXP
00000621: SUB
00000622: NOT
00000623: AND
00000624: DUP2
00000625: MSTORE
00000626: PUSH1 0x20
00000628: ADD
00000629: SWAP2
0000062a: POP
0000062b: JUMPDEST
0000062c: POP
0000062d: SWAP3
0000062e: POP
0000062f: POP
00000630: POP
00000631: PUSH1 0x40
00000633: MLOAD
00000634: DUP1
00000635: SWAP2
00000636: SUB
00000637: SWAP1
00000638: REVERT
00000639: JUMPDEST
0000063a: POP
0000063b: PUSH1 0x00
0000063d: DUP2
0000063e: DUP1
0000063f: PUSH1 0x20
00000641: ADD
00000642: SWAP1
00000643: MLOAD
00000644: PUSH1 0x20
00000646: DUP2
00000647: LT
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: MLOAD
00000654: SWAP1
00000655: POP
00000656: DUP7
00000657: DUP2
00000658: GT
00000659: ISZERO
0000065a: PUSH2 0x06a5
0000065d: JUMPI
0000065e: PUSH1 0x40
00000660: DUP1
00000661: MLOAD
00000662: PUSH3 0x461bcd
00000666: PUSH1 0xe5
00000668: SHL
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: PUSH1 0x04
0000066f: DUP3
00000670: ADD
00000671: MSTORE
00000672: PUSH1 0x18
00000674: PUSH1 0x24
00000676: DUP3
00000677: ADD
00000678: MSTORE
00000679: PUSH24 0x494e56414c49445f494e495449414c495a45525f53495a45
00000692: PUSH1 0x40
00000694: SHL
00000695: PUSH1 0x44
00000697: DUP3
00000698: ADD
00000699: MSTORE
0000069a: SWAP1
0000069b: MLOAD
0000069c: SWAP1
0000069d: DUP2
0000069e: SWAP1
0000069f: SUB
000006a0: PUSH1 0x64
000006a2: ADD
000006a3: SWAP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: DUP7
000006a7: DUP2
000006a8: DUP11
000006a9: ADD
000006aa: GT
000006ab: ISZERO
000006ac: PUSH2 0x06f7
000006af: JUMPI
000006b0: PUSH1 0x40
000006b2: DUP1
000006b3: MLOAD
000006b4: PUSH3 0x461bcd
000006b8: PUSH1 0xe5
000006ba: SHL
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: PUSH1 0x04
000006c1: DUP3
000006c2: ADD
000006c3: MSTORE
000006c4: PUSH1 0x18
000006c6: PUSH1 0x24
000006c8: DUP3
000006c9: ADD
000006ca: MSTORE
000006cb: PUSH24 0x494e56414c49445f494e495449414c495a45525f53495a45
000006e4: PUSH1 0x40
000006e6: SHL
000006e7: PUSH1 0x44
000006e9: DUP3
000006ea: ADD
000006eb: MSTORE
000006ec: SWAP1
000006ed: MLOAD
000006ee: SWAP1
000006ef: DUP2
000006f0: SWAP1
000006f1: SUB
000006f2: PUSH1 0x64
000006f4: ADD
000006f5: SWAP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: DUP1
000006f9: PUSH2 0x0705
000006fc: JUMPI
000006fd: POP
000006fe: POP
000006ff: POP
00000700: POP
00000701: PUSH2 0x088a
00000704: JUMP
00000705: JUMPDEST
00000706: DUP4
00000707: PUSH1 0x01
00000709: PUSH1 0x01
0000070b: PUSH1 0xa0
0000070d: SHL
0000070e: SUB
0000070f: AND
00000710: PUSH4 0x439fab91
00000715: PUSH1 0xe0
00000717: SHL
00000718: DUP14
00000719: DUP14
0000071a: DUP12
0000071b: SWAP1
0000071c: DUP6
0000071d: DUP14
0000071e: ADD
0000071f: SWAP3
00000720: PUSH2 0x072b
00000723: SWAP4
00000724: SWAP3
00000725: SWAP2
00000726: SWAP1
00000727: PUSH2 0x11e8
0000072a: JUMP
0000072b: JUMPDEST
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: PUSH1 0x20
00000731: PUSH1 0x24
00000733: DUP3
00000734: ADD
00000735: SWAP1
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x44
0000073a: DUP3
0000073b: ADD
0000073c: DUP4
0000073d: SWAP1
0000073e: MSTORE
0000073f: SWAP1
00000740: DUP2
00000741: SWAP1
00000742: PUSH1 0x64
00000744: ADD
00000745: DUP5
00000746: DUP5
00000747: DUP1
00000748: DUP3
00000749: DUP5
0000074a: CALLDATACOPY
0000074b: PUSH1 0x00
0000074d: DUP4
0000074e: DUP3
0000074f: ADD
00000750: MSTORE
00000751: PUSH1 0x40
00000753: DUP1
00000754: MLOAD
00000755: PUSH1 0x1f
00000757: SWAP1
00000758: SWAP3
00000759: ADD
0000075a: PUSH1 0x1f
0000075c: NOT
0000075d: SWAP1
0000075e: DUP2
0000075f: AND
00000760: SWAP1
00000761: SWAP5
00000762: ADD
00000763: DUP3
00000764: DUP2
00000765: SUB
00000766: SWAP1
00000767: SWAP5
00000768: ADD
00000769: DUP3
0000076a: MSTORE
0000076b: SWAP3
0000076c: DUP4
0000076d: MSTORE
0000076e: PUSH1 0x20
00000770: DUP2
00000771: ADD
00000772: DUP1
00000773: MLOAD
00000774: PUSH1 0x01
00000776: PUSH1 0x01
00000778: PUSH1 0xe0
0000077a: SHL
0000077b: SUB
0000077c: AND
0000077d: PUSH1 0x01
0000077f: PUSH1 0x01
00000781: PUSH1 0xe0
00000783: SHL
00000784: SUB
00000785: NOT
00000786: SWAP1
00000787: SWAP10
00000788: AND
00000789: SWAP9
0000078a: SWAP1
0000078b: SWAP9
0000078c: OR
0000078d: DUP9
0000078e: MSTORE
0000078f: SWAP2
00000790: MLOAD
00000791: DUP3
00000792: MLOAD
00000793: SWAP3
00000794: SWAP8
00000795: SWAP1
00000796: SWAP7
00000797: POP
00000798: DUP7
00000799: SWAP6
0000079a: POP
0000079b: SWAP4
0000079c: POP
0000079d: SWAP1
0000079e: SWAP2
0000079f: POP
000007a0: DUP2
000007a1: SWAP1
000007a2: POP
000007a3: DUP4
000007a4: DUP4
000007a5: JUMPDEST
000007a6: PUSH1 0x20
000007a8: DUP4
000007a9: LT
000007aa: PUSH2 0x07c4
000007ad: JUMPI
000007ae: DUP1
000007af: MLOAD
000007b0: DUP3
000007b1: MSTORE
000007b2: PUSH1 0x1f
000007b4: NOT
000007b5: SWAP1
000007b6: SWAP3
000007b7: ADD
000007b8: SWAP2
000007b9: PUSH1 0x20
000007bb: SWAP2
000007bc: DUP3
000007bd: ADD
000007be: SWAP2
000007bf: ADD
000007c0: PUSH2 0x07a5
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH1 0x01
000007c7: DUP4
000007c8: PUSH1 0x20
000007ca: SUB
000007cb: PUSH2 0x0100
000007ce: EXP
000007cf: SUB
000007d0: DUP1
000007d1: NOT
000007d2: DUP3
000007d3: MLOAD
000007d4: AND
000007d5: DUP2
000007d6: DUP5
000007d7: MLOAD
000007d8: AND
000007d9: DUP1
000007da: DUP3
000007db: OR
000007dc: DUP6
000007dd: MSTORE
000007de: POP
000007df: POP
000007e0: POP
000007e1: POP
000007e2: POP
000007e3: POP
000007e4: SWAP1
000007e5: POP
000007e6: ADD
000007e7: SWAP2
000007e8: POP
000007e9: POP
000007ea: PUSH1 0x00
000007ec: PUSH1 0x40
000007ee: MLOAD
000007ef: DUP1
000007f0: DUP4
000007f1: SUB
000007f2: DUP2
000007f3: DUP6
000007f4: GAS
000007f5: DELEGATECALL
000007f6: SWAP2
000007f7: POP
000007f8: POP
000007f9: RETURNDATASIZE
000007fa: DUP1
000007fb: PUSH1 0x00
000007fd: DUP2
000007fe: EQ
000007ff: PUSH2 0x0824
00000802: JUMPI
00000803: PUSH1 0x40
00000805: MLOAD
00000806: SWAP2
00000807: POP
00000808: PUSH1 0x1f
0000080a: NOT
0000080b: PUSH1 0x3f
0000080d: RETURNDATASIZE
0000080e: ADD
0000080f: AND
00000810: DUP3
00000811: ADD
00000812: PUSH1 0x40
00000814: MSTORE
00000815: RETURNDATASIZE
00000816: DUP3
00000817: MSTORE
00000818: RETURNDATASIZE
00000819: PUSH1 0x00
0000081b: PUSH1 0x20
0000081d: DUP5
0000081e: ADD
0000081f: RETURNDATACOPY
00000820: PUSH2 0x0829
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x60
00000827: SWAP2
00000828: POP
00000829: JUMPDEST
0000082a: POP
0000082b: SWAP1
0000082c: SWAP4
0000082d: POP
0000082e: SWAP2
0000082f: POP
00000830: DUP2
00000831: DUP4
00000832: PUSH2 0x087c
00000835: JUMPI
00000836: PUSH1 0x40
00000838: MLOAD
00000839: PUSH3 0x461bcd
0000083d: PUSH1 0xe5
0000083f: SHL
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x20
00000844: PUSH1 0x04
00000846: DUP3
00000847: ADD
00000848: DUP2
00000849: DUP2
0000084a: MSTORE
0000084b: DUP4
0000084c: MLOAD
0000084d: PUSH1 0x24
0000084f: DUP5
00000850: ADD
00000851: MSTORE
00000852: DUP4
00000853: MLOAD
00000854: SWAP1
00000855: SWAP3
00000856: DUP4
00000857: SWAP3
00000858: PUSH1 0x44
0000085a: SWAP1
0000085b: SWAP2
0000085c: ADD
0000085d: SWAP2
0000085e: SWAP1
0000085f: DUP6
00000860: ADD
00000861: SWAP1
00000862: DUP1
00000863: DUP4
00000864: DUP4
00000865: PUSH1 0x00
00000867: DUP4
00000868: ISZERO
00000869: PUSH2 0x05fe
0000086c: JUMPI
0000086d: DUP2
0000086e: DUP2
0000086f: ADD
00000870: MLOAD
00000871: DUP4
00000872: DUP3
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: PUSH2 0x05e6
0000087b: JUMP
0000087c: JUMPDEST
0000087d: POP
0000087e: SWAP8
0000087f: DUP9
00000880: ADD
00000881: SWAP8
00000882: SWAP7
00000883: SWAP1
00000884: SWAP7
00000885: ADD
00000886: SWAP6
00000887: POP
00000888: POP
00000889: POP
0000088a: JUMPDEST
0000088b: PUSH1 0x01
0000088d: ADD
0000088e: PUSH2 0x04ab
00000891: JUMP
00000892: JUMPDEST
00000893: POP
00000894: DUP4
00000895: DUP3
00000896: EQ
00000897: PUSH2 0x08e7
0000089a: JUMPI
0000089b: PUSH1 0x40
0000089d: DUP1
0000089e: MLOAD
0000089f: PUSH3 0x461bcd
000008a3: PUSH1 0xe5
000008a5: SHL
000008a6: DUP2
000008a7: MSTORE
000008a8: PUSH1 0x20
000008aa: PUSH1 0x04
000008ac: DUP3
000008ad: ADD
000008ae: MSTORE
000008af: PUSH1 0x1a
000008b1: PUSH1 0x24
000008b3: DUP3
000008b4: ADD
000008b5: MSTORE
000008b6: PUSH32 0x4d49534d41544348494e475f494e49545f444154415f53495a45000000000000
000008d7: PUSH1 0x44
000008d9: DUP3
000008da: ADD
000008db: MSTORE
000008dc: SWAP1
000008dd: MLOAD
000008de: SWAP1
000008df: DUP2
000008e0: SWAP1
000008e1: SUB
000008e2: PUSH1 0x64
000008e4: ADD
000008e5: SWAP1
000008e6: REVERT
000008e7: JUMPDEST
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: POP
000008ed: JUMPDEST
000008ee: POP
000008ef: POP
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: DUP1
000008f6: PUSH1 0x40
000008f8: ADD
000008f9: PUSH1 0x40
000008fb: MSTORE
000008fc: DUP1
000008fd: PUSH1 0x05
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x20
00000903: ADD
00000904: PUSH5 0x342e302e31
0000090a: PUSH1 0xd8
0000090c: SHL
0000090d: DUP2
0000090e: MSTORE
0000090f: POP
00000910: DUP2
00000911: JUMP
00000912: JUMPDEST
00000913: PUSH2 0xb41e
00000916: SWAP1
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: DUP2
0000091c: PUSH2 0x0945
0000091f: JUMPI
00000920: POP
00000921: PUSH31 0x30006100050005012000102002000001200000010001100500200000000020
00000941: PUSH2 0x02a0
00000944: JUMP
00000945: JUMPDEST
00000946: DUP2
00000947: PUSH1 0x01
00000949: EQ
0000094a: ISZERO
0000094b: PUSH2 0x0975
0000094e: JUMPI
0000094f: POP
00000950: PUSH32 0x0120000105000000501200000120502000000200452005000202002030500003
00000971: PUSH2 0x02a0
00000974: JUMP
00000975: JUMPDEST
00000976: DUP2
00000977: PUSH1 0x02
00000979: EQ
0000097a: ISZERO
0000097b: PUSH2 0x09a5
0000097e: JUMPI
0000097f: POP
00000980: PUSH32 0x1020000000003020000502203000300000200000000001000100330010220001
000009a1: PUSH2 0x02a0
000009a4: JUMP
000009a5: JUMPDEST
000009a6: DUP2
000009a7: PUSH1 0x03
000009a9: EQ
000009aa: ISZERO
000009ab: PUSH2 0x09d5
000009ae: JUMPI
000009af: POP
000009b0: PUSH32 0x0200230200020300001401200000000100020011200000002020000010000301
000009d1: PUSH2 0x02a0
000009d4: JUMP
000009d5: JUMPDEST
000009d6: PUSH1 0x40
000009d8: DUP1
000009d9: MLOAD
000009da: PUSH3 0x461bcd
000009de: PUSH1 0xe5
000009e0: SHL
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: PUSH1 0x04
000009e7: DUP3
000009e8: ADD
000009e9: MSTORE
000009ea: PUSH1 0x13
000009ec: PUSH1 0x24
000009ee: DUP3
000009ef: ADD
000009f0: MSTORE
000009f1: PUSH19 0x2120a22fa4a22c2fa6a0a82fa9a2a1aa24a7a7
00000a05: PUSH1 0x69
00000a07: SHL
00000a08: PUSH1 0x44
00000a0a: DUP3
00000a0b: ADD
00000a0c: MSTORE
00000a0d: SWAP1
00000a0e: MLOAD
00000a0f: SWAP1
00000a10: DUP2
00000a11: SWAP1
00000a12: SUB
00000a13: PUSH1 0x64
00000a15: ADD
00000a16: SWAP1
00000a17: REVERT
00000a18: JUMPDEST
00000a19: PUSH1 0x06
00000a1b: SWAP1
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x60
00000a20: DUP2
00000a21: PUSH1 0x01
00000a23: PUSH1 0x01
00000a25: PUSH1 0xa0
00000a27: SHL
00000a28: SUB
00000a29: AND
00000a2a: PUSH4 0xeeb72866
00000a2f: PUSH1 0x40
00000a31: MLOAD
00000a32: DUP2
00000a33: PUSH4 0xffffffff
00000a38: AND
00000a39: PUSH1 0xe0
00000a3b: SHL
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x04
00000a40: ADD
00000a41: PUSH1 0x00
00000a43: PUSH1 0x40
00000a45: MLOAD
00000a46: DUP1
00000a47: DUP4
00000a48: SUB
00000a49: DUP2
00000a4a: DUP7
00000a4b: DUP1
00000a4c: EXTCODESIZE
00000a4d: ISZERO
00000a4e: DUP1
00000a4f: ISZERO
00000a50: PUSH2 0x0a58
00000a53: JUMPI
00000a54: PUSH1 0x00
00000a56: DUP1
00000a57: REVERT
00000a58: JUMPDEST
00000a59: POP
00000a5a: GAS
00000a5b: STATICCALL
00000a5c: ISZERO
00000a5d: DUP1
00000a5e: ISZERO
00000a5f: PUSH2 0x0a6c
00000a62: JUMPI
00000a63: RETURNDATASIZE
00000a64: PUSH1 0x00
00000a66: DUP1
00000a67: RETURNDATACOPY
00000a68: RETURNDATASIZE
00000a69: PUSH1 0x00
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: POP
00000a6f: POP
00000a70: POP
00000a71: PUSH1 0x40
00000a73: MLOAD
00000a74: RETURNDATASIZE
00000a75: PUSH1 0x00
00000a77: DUP3
00000a78: RETURNDATACOPY
00000a79: PUSH1 0x1f
00000a7b: RETURNDATASIZE
00000a7c: SWAP1
00000a7d: DUP2
00000a7e: ADD
00000a7f: PUSH1 0x1f
00000a81: NOT
00000a82: AND
00000a83: DUP3
00000a84: ADD
00000a85: PUSH1 0x40
00000a87: MSTORE
00000a88: PUSH1 0x20
00000a8a: DUP2
00000a8b: LT
00000a8c: ISZERO
00000a8d: PUSH2 0x0a95
00000a90: JUMPI
00000a91: PUSH1 0x00
00000a93: DUP1
00000a94: REVERT
00000a95: JUMPDEST
00000a96: DUP2
00000a97: ADD
00000a98: SWAP1
00000a99: DUP1
00000a9a: DUP1
00000a9b: MLOAD
00000a9c: PUSH1 0x40
00000a9e: MLOAD
00000a9f: SWAP4
00000aa0: SWAP3
00000aa1: SWAP2
00000aa2: SWAP1
00000aa3: DUP5
00000aa4: PUSH1 0x01
00000aa6: PUSH1 0x20
00000aa8: SHL
00000aa9: DUP3
00000aaa: GT
00000aab: ISZERO
00000aac: PUSH2 0x0ab4
00000aaf: JUMPI
00000ab0: PUSH1 0x00
00000ab2: DUP1
00000ab3: REVERT
00000ab4: JUMPDEST
00000ab5: SWAP1
00000ab6: DUP4
00000ab7: ADD
00000ab8: SWAP1
00000ab9: PUSH1 0x20
00000abb: DUP3
00000abc: ADD
00000abd: DUP6
00000abe: DUP2
00000abf: GT
00000ac0: ISZERO
00000ac1: PUSH2 0x0ac9
00000ac4: JUMPI
00000ac5: PUSH1 0x00
00000ac7: DUP1
00000ac8: REVERT
00000ac9: JUMPDEST
00000aca: DUP3
00000acb: MLOAD
00000acc: PUSH1 0x01
00000ace: PUSH1 0x20
00000ad0: SHL
00000ad1: DUP2
00000ad2: GT
00000ad3: DUP3
00000ad4: DUP3
00000ad5: ADD
00000ad6: DUP9
00000ad7: LT
00000ad8: OR
00000ad9: ISZERO
00000ada: PUSH2 0x0ae2
00000add: JUMPI
00000ade: PUSH1 0x00
00000ae0: DUP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: DUP3
00000ae4: MSTORE
00000ae5: POP
00000ae6: DUP2
00000ae7: MLOAD
00000ae8: PUSH1 0x20
00000aea: SWAP2
00000aeb: DUP3
00000aec: ADD
00000aed: SWAP3
00000aee: SWAP1
00000aef: SWAP2
00000af0: ADD
00000af1: SWAP1
00000af2: DUP1
00000af3: DUP4
00000af4: DUP4
00000af5: PUSH1 0x00
00000af7: JUMPDEST
00000af8: DUP4
00000af9: DUP2
00000afa: LT
00000afb: ISZERO
00000afc: PUSH2 0x0b0f
00000aff: JUMPI
00000b00: DUP2
00000b01: DUP2
00000b02: ADD
00000b03: MLOAD
00000b04: DUP4
00000b05: DUP3
00000b06: ADD
00000b07: MSTORE
00000b08: PUSH1 0x20
00000b0a: ADD
00000b0b: PUSH2 0x0af7
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: SWAP1
00000b15: POP
00000b16: SWAP1
00000b17: DUP2
00000b18: ADD
00000b19: SWAP1
00000b1a: PUSH1 0x1f
00000b1c: AND
00000b1d: DUP1
00000b1e: ISZERO
00000b1f: PUSH2 0x0b3c
00000b22: JUMPI
00000b23: DUP1
00000b24: DUP3
00000b25: SUB
00000b26: DUP1
00000b27: MLOAD
00000b28: PUSH1 0x01
00000b2a: DUP4
00000b2b: PUSH1 0x20
00000b2d: SUB
00000b2e: PUSH2 0x0100
00000b31: EXP
00000b32: SUB
00000b33: NOT
00000b34: AND
00000b35: DUP2
00000b36: MSTORE
00000b37: PUSH1 0x20
00000b39: ADD
00000b3a: SWAP2
00000b3b: POP
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: PUSH1 0x40
00000b40: MSTORE
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: SWAP1
00000b45: POP
00000b46: PUSH1 0x00
00000b48: PUSH2 0x0b50
00000b4b: DUP5
00000b4c: PUSH2 0x1028
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: PUSH1 0x40
00000b53: MLOAD
00000b54: PUSH1 0x20
00000b56: ADD
00000b57: DUP1
00000b58: DUP3
00000b59: DUP1
00000b5a: MLOAD
00000b5b: SWAP1
00000b5c: PUSH1 0x20
00000b5e: ADD
00000b5f: SWAP1
00000b60: DUP1
00000b61: DUP4
00000b62: DUP4
00000b63: JUMPDEST
00000b64: PUSH1 0x20
00000b66: DUP4
00000b67: LT
00000b68: PUSH2 0x0b82
00000b6b: JUMPI
00000b6c: DUP1
00000b6d: MLOAD
00000b6e: DUP3
00000b6f: MSTORE
00000b70: PUSH1 0x1f
00000b72: NOT
00000b73: SWAP1
00000b74: SWAP3
00000b75: ADD
00000b76: SWAP2
00000b77: PUSH1 0x20
00000b79: SWAP2
00000b7a: DUP3
00000b7b: ADD
00000b7c: SWAP2
00000b7d: ADD
00000b7e: PUSH2 0x0b63
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH1 0x01
00000b85: DUP4
00000b86: PUSH1 0x20
00000b88: SUB
00000b89: PUSH2 0x0100
00000b8c: EXP
00000b8d: SUB
00000b8e: DUP1
00000b8f: NOT
00000b90: DUP3
00000b91: MLOAD
00000b92: AND
00000b93: DUP2
00000b94: DUP5
00000b95: MLOAD
00000b96: AND
00000b97: DUP1
00000b98: DUP3
00000b99: OR
00000b9a: DUP6
00000b9b: MSTORE
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: POP
00000ba2: SWAP1
00000ba3: POP
00000ba4: ADD
00000ba5: SWAP2
00000ba6: POP
00000ba7: POP
00000ba8: PUSH1 0x40
00000baa: MLOAD
00000bab: PUSH1 0x20
00000bad: DUP2
00000bae: DUP4
00000baf: SUB
00000bb0: SUB
00000bb1: DUP2
00000bb2: MSTORE
00000bb3: SWAP1
00000bb4: PUSH1 0x40
00000bb6: MSTORE
00000bb7: DUP1
00000bb8: MLOAD
00000bb9: SWAP1
00000bba: PUSH1 0x20
00000bbc: ADD
00000bbd: KECCAK256
00000bbe: SWAP1
00000bbf: POP
00000bc0: DUP2
00000bc1: PUSH1 0x40
00000bc3: MLOAD
00000bc4: PUSH1 0x20
00000bc6: ADD
00000bc7: DUP1
00000bc8: DUP3
00000bc9: DUP1
00000bca: MLOAD
00000bcb: SWAP1
00000bcc: PUSH1 0x20
00000bce: ADD
00000bcf: SWAP1
00000bd0: DUP1
00000bd1: DUP4
00000bd2: DUP4
00000bd3: JUMPDEST
00000bd4: PUSH1 0x20
00000bd6: DUP4
00000bd7: LT
00000bd8: PUSH2 0x0bf2
00000bdb: JUMPI
00000bdc: DUP1
00000bdd: MLOAD
00000bde: DUP3
00000bdf: MSTORE
00000be0: PUSH1 0x1f
00000be2: NOT
00000be3: SWAP1
00000be4: SWAP3
00000be5: ADD
00000be6: SWAP2
00000be7: PUSH1 0x20
00000be9: SWAP2
00000bea: DUP3
00000beb: ADD
00000bec: SWAP2
00000bed: ADD
00000bee: PUSH2 0x0bd3
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: PUSH1 0x01
00000bf5: DUP4
00000bf6: PUSH1 0x20
00000bf8: SUB
00000bf9: PUSH2 0x0100
00000bfc: EXP
00000bfd: SUB
00000bfe: DUP1
00000bff: NOT
00000c00: DUP3
00000c01: MLOAD
00000c02: AND
00000c03: DUP2
00000c04: DUP5
00000c05: MLOAD
00000c06: AND
00000c07: DUP1
00000c08: DUP3
00000c09: OR
00000c0a: DUP6
00000c0b: MSTORE
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: POP
00000c10: POP
00000c11: POP
00000c12: SWAP1
00000c13: POP
00000c14: ADD
00000c15: SWAP2
00000c16: POP
00000c17: POP
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: PUSH1 0x20
00000c1d: DUP2
00000c1e: DUP4
00000c1f: SUB
00000c20: SUB
00000c21: DUP2
00000c22: MSTORE
00000c23: SWAP1
00000c24: PUSH1 0x40
00000c26: MSTORE
00000c27: DUP1
00000c28: MLOAD
00000c29: SWAP1
00000c2a: PUSH1 0x20
00000c2c: ADD
00000c2d: KECCAK256
00000c2e: DUP2
00000c2f: EQ
00000c30: PUSH2 0x0c6a
00000c33: JUMPI
00000c34: PUSH1 0x40
00000c36: MLOAD
00000c37: PUSH3 0x461bcd
00000c3b: PUSH1 0xe5
00000c3d: SHL
00000c3e: DUP2
00000c3f: MSTORE
00000c40: PUSH1 0x04
00000c42: ADD
00000c43: DUP1
00000c44: DUP1
00000c45: PUSH1 0x20
00000c47: ADD
00000c48: DUP3
00000c49: DUP2
00000c4a: SUB
00000c4b: DUP3
00000c4c: MSTORE
00000c4d: PUSH1 0x22
00000c4f: DUP2
00000c50: MSTORE
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: DUP1
00000c55: PUSH2 0x1211
00000c58: PUSH1 0x22
00000c5a: SWAP2
00000c5b: CODECOPY
00000c5c: PUSH1 0x40
00000c5e: ADD
00000c5f: SWAP2
00000c60: POP
00000c61: POP
00000c62: PUSH1 0x40
00000c64: MLOAD
00000c65: DUP1
00000c66: SWAP2
00000c67: SUB
00000c68: SWAP1
00000c69: REVERT
00000c6a: JUMPDEST
00000c6b: POP
00000c6c: POP
00000c6d: POP
00000c6e: POP
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH1 0x00
00000c73: SWAP2
00000c74: DUP3
00000c75: MSTORE
00000c76: PUSH1 0x1e
00000c78: PUSH1 0x20
00000c7a: MSTORE
00000c7b: PUSH1 0x40
00000c7d: SWAP1
00000c7e: SWAP2
00000c7f: KECCAK256
00000c80: DUP1
00000c81: SLOAD
00000c82: PUSH1 0x01
00000c84: PUSH1 0x01
00000c86: PUSH1 0xa0
00000c88: SHL
00000c89: SUB
00000c8a: NOT
00000c8b: AND
00000c8c: PUSH1 0x01
00000c8e: PUSH1 0x01
00000c90: PUSH1 0xa0
00000c92: SHL
00000c93: SUB
00000c94: SWAP1
00000c95: SWAP3
00000c96: AND
00000c97: SWAP2
00000c98: SWAP1
00000c99: SWAP2
00000c9a: OR
00000c9b: SWAP1
00000c9c: SSTORE
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: PUSH2 0x0cb0
00000ca2: DUP4
00000ca3: PUSH1 0x01
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0xa0
00000ca9: SHL
00000caa: SUB
00000cab: AND
00000cac: PUSH2 0x11e2
00000caf: JUMP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0cf2
00000cb4: JUMPI
00000cb5: PUSH1 0x40
00000cb7: DUP1
00000cb8: MLOAD
00000cb9: PUSH3 0x461bcd
00000cbd: PUSH1 0xe5
00000cbf: SHL
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0x20
00000cc4: PUSH1 0x04
00000cc6: DUP3
00000cc7: ADD
00000cc8: MSTORE
00000cc9: PUSH1 0x0e
00000ccb: PUSH1 0x24
00000ccd: DUP3
00000cce: ADD
00000ccf: MSTORE
00000cd0: PUSH14 0x1393d517d057d0d3d395149050d5
00000cdf: PUSH1 0x92
00000ce1: SHL
00000ce2: PUSH1 0x44
00000ce4: DUP3
00000ce5: ADD
00000ce6: MSTORE
00000ce7: SWAP1
00000ce8: MLOAD
00000ce9: SWAP1
00000cea: DUP2
00000ceb: SWAP1
00000cec: SUB
00000ced: PUSH1 0x64
00000cef: ADD
00000cf0: SWAP1
00000cf1: REVERT
00000cf2: JUMPDEST
00000cf3: PUSH1 0x00
00000cf5: PUSH1 0x60
00000cf7: DUP5
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0x01
00000cfc: PUSH1 0xa0
00000cfe: SHL
00000cff: SUB
00000d00: AND
00000d01: PUSH4 0x439fab91
00000d06: PUSH1 0xe0
00000d08: SHL
00000d09: DUP6
00000d0a: DUP6
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: PUSH1 0x24
00000d10: ADD
00000d11: DUP1
00000d12: DUP1
00000d13: PUSH1 0x20
00000d15: ADD
00000d16: DUP3
00000d17: DUP2
00000d18: SUB
00000d19: DUP3
00000d1a: MSTORE
00000d1b: DUP5
00000d1c: DUP5
00000d1d: DUP3
00000d1e: DUP2
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x20
00000d23: ADD
00000d24: SWAP3
00000d25: POP
00000d26: DUP1
00000d27: DUP3
00000d28: DUP5
00000d29: CALLDATACOPY
00000d2a: PUSH1 0x00
00000d2c: DUP4
00000d2d: DUP3
00000d2e: ADD
00000d2f: MSTORE
00000d30: PUSH1 0x40
00000d32: DUP1
00000d33: MLOAD
00000d34: PUSH1 0x1f
00000d36: SWAP1
00000d37: SWAP3
00000d38: ADD
00000d39: PUSH1 0x1f
00000d3b: NOT
00000d3c: SWAP1
00000d3d: DUP2
00000d3e: AND
00000d3f: SWAP1
00000d40: SWAP5
00000d41: ADD
00000d42: DUP3
00000d43: DUP2
00000d44: SUB
00000d45: SWAP1
00000d46: SWAP5
00000d47: ADD
00000d48: DUP3
00000d49: MSTORE
00000d4a: SWAP3
00000d4b: DUP4
00000d4c: MSTORE
00000d4d: PUSH1 0x20
00000d4f: DUP2
00000d50: ADD
00000d51: DUP1
00000d52: MLOAD
00000d53: PUSH1 0x01
00000d55: PUSH1 0x01
00000d57: PUSH1 0xe0
00000d59: SHL
00000d5a: SUB
00000d5b: AND
00000d5c: PUSH1 0x01
00000d5e: PUSH1 0x01
00000d60: PUSH1 0xe0
00000d62: SHL
00000d63: SUB
00000d64: NOT
00000d65: SWAP1
00000d66: SWAP10
00000d67: AND
00000d68: SWAP9
00000d69: SWAP1
00000d6a: SWAP9
00000d6b: OR
00000d6c: DUP9
00000d6d: MSTORE
00000d6e: SWAP2
00000d6f: MLOAD
00000d70: DUP3
00000d71: MLOAD
00000d72: SWAP3
00000d73: SWAP8
00000d74: SWAP1
00000d75: SWAP7
00000d76: POP
00000d77: DUP7
00000d78: SWAP6
00000d79: POP
00000d7a: SWAP4
00000d7b: POP
00000d7c: SWAP1
00000d7d: SWAP2
00000d7e: POP
00000d7f: DUP2
00000d80: SWAP1
00000d81: POP
00000d82: DUP4
00000d83: DUP4
00000d84: JUMPDEST
00000d85: PUSH1 0x20
00000d87: DUP4
00000d88: LT
00000d89: PUSH2 0x0da3
00000d8c: JUMPI
00000d8d: DUP1
00000d8e: MLOAD
00000d8f: DUP3
00000d90: MSTORE
00000d91: PUSH1 0x1f
00000d93: NOT
00000d94: SWAP1
00000d95: SWAP3
00000d96: ADD
00000d97: SWAP2
00000d98: PUSH1 0x20
00000d9a: SWAP2
00000d9b: DUP3
00000d9c: ADD
00000d9d: SWAP2
00000d9e: ADD
00000d9f: PUSH2 0x0d84
00000da2: JUMP
00000da3: JUMPDEST
00000da4: PUSH1 0x01
00000da6: DUP4
00000da7: PUSH1 0x20
00000da9: SUB
00000daa: PUSH2 0x0100
00000dad: EXP
00000dae: SUB
00000daf: DUP1
00000db0: NOT
00000db1: DUP3
00000db2: MLOAD
00000db3: AND
00000db4: DUP2
00000db5: DUP5
00000db6: MLOAD
00000db7: AND
00000db8: DUP1
00000db9: DUP3
00000dba: OR
00000dbb: DUP6
00000dbc: MSTORE
00000dbd: POP
00000dbe: POP
00000dbf: POP
00000dc0: POP
00000dc1: POP
00000dc2: POP
00000dc3: SWAP1
00000dc4: POP
00000dc5: ADD
00000dc6: SWAP2
00000dc7: POP
00000dc8: POP
00000dc9: PUSH1 0x00
00000dcb: PUSH1 0x40
00000dcd: MLOAD
00000dce: DUP1
00000dcf: DUP4
00000dd0: SUB
00000dd1: DUP2
00000dd2: DUP6
00000dd3: GAS
00000dd4: DELEGATECALL
00000dd5: SWAP2
00000dd6: POP
00000dd7: POP
00000dd8: RETURNDATASIZE
00000dd9: DUP1
00000dda: PUSH1 0x00
00000ddc: DUP2
00000ddd: EQ
00000dde: PUSH2 0x0e03
00000de1: JUMPI
00000de2: PUSH1 0x40
00000de4: MLOAD
00000de5: SWAP2
00000de6: POP
00000de7: PUSH1 0x1f
00000de9: NOT
00000dea: PUSH1 0x3f
00000dec: RETURNDATASIZE
00000ded: ADD
00000dee: AND
00000def: DUP3
00000df0: ADD
00000df1: PUSH1 0x40
00000df3: MSTORE
00000df4: RETURNDATASIZE
00000df5: DUP3
00000df6: MSTORE
00000df7: RETURNDATASIZE
00000df8: PUSH1 0x00
00000dfa: PUSH1 0x20
00000dfc: DUP5
00000dfd: ADD
00000dfe: RETURNDATACOPY
00000dff: PUSH2 0x0e08
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH1 0x60
00000e06: SWAP2
00000e07: POP
00000e08: JUMPDEST
00000e09: POP
00000e0a: SWAP2
00000e0b: POP
00000e0c: SWAP2
00000e0d: POP
00000e0e: DUP2
00000e0f: DUP2
00000e10: SWAP1
00000e11: PUSH2 0x0e5b
00000e14: JUMPI
00000e15: PUSH1 0x40
00000e17: MLOAD
00000e18: PUSH3 0x461bcd
00000e1c: PUSH1 0xe5
00000e1e: SHL
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: PUSH1 0x04
00000e25: DUP3
00000e26: ADD
00000e27: DUP2
00000e28: DUP2
00000e29: MSTORE
00000e2a: DUP4
00000e2b: MLOAD
00000e2c: PUSH1 0x24
00000e2e: DUP5
00000e2f: ADD
00000e30: MSTORE
00000e31: DUP4
00000e32: MLOAD
00000e33: SWAP1
00000e34: SWAP3
00000e35: DUP4
00000e36: SWAP3
00000e37: PUSH1 0x44
00000e39: SWAP1
00000e3a: SWAP2
00000e3b: ADD
00000e3c: SWAP2
00000e3d: SWAP1
00000e3e: DUP6
00000e3f: ADD
00000e40: SWAP1
00000e41: DUP1
00000e42: DUP4
00000e43: DUP4
00000e44: PUSH1 0x00
00000e46: DUP4
00000e47: ISZERO
00000e48: PUSH2 0x05fe
00000e4b: JUMPI
00000e4c: DUP2
00000e4d: DUP2
00000e4e: ADD
00000e4f: MLOAD
00000e50: DUP4
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: PUSH1 0x20
00000e56: ADD
00000e57: PUSH2 0x05e6
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: POP
00000e5d: DUP1
00000e5e: MLOAD
00000e5f: DUP2
00000e60: SWAP1
00000e61: ISZERO
00000e62: PUSH2 0x0eac
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH3 0x461bcd
00000e6d: PUSH1 0xe5
00000e6f: SHL
00000e70: DUP2
00000e71: MSTORE
00000e72: PUSH1 0x20
00000e74: PUSH1 0x04
00000e76: DUP3
00000e77: ADD
00000e78: DUP2
00000e79: DUP2
00000e7a: MSTORE
00000e7b: DUP4
00000e7c: MLOAD
00000e7d: PUSH1 0x24
00000e7f: DUP5
00000e80: ADD
00000e81: MSTORE
00000e82: DUP4
00000e83: MLOAD
00000e84: SWAP1
00000e85: SWAP3
00000e86: DUP4
00000e87: SWAP3
00000e88: PUSH1 0x44
00000e8a: SWAP1
00000e8b: SWAP2
00000e8c: ADD
00000e8d: SWAP2
00000e8e: SWAP1
00000e8f: DUP6
00000e90: ADD
00000e91: SWAP1
00000e92: DUP1
00000e93: DUP4
00000e94: DUP4
00000e95: PUSH1 0x00
00000e97: DUP4
00000e98: ISZERO
00000e99: PUSH2 0x05fe
00000e9c: JUMPI
00000e9d: DUP2
00000e9e: DUP2
00000e9f: ADD
00000ea0: MLOAD
00000ea1: DUP4
00000ea2: DUP3
00000ea3: ADD
00000ea4: MSTORE
00000ea5: PUSH1 0x20
00000ea7: ADD
00000ea8: PUSH2 0x05e6
00000eab: JUMP
00000eac: JUMPDEST
00000ead: POP
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: POP
00000eb2: POP
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH1 0x40
00000eb7: DUP1
00000eb8: MLOAD
00000eb9: DUP1
00000eba: DUP3
00000ebb: ADD
00000ebc: SWAP1
00000ebd: SWAP2
00000ebe: MSTORE
00000ebf: PUSH1 0x16
00000ec1: DUP2
00000ec2: MSTORE
00000ec3: PUSH22 0x12539255125053125690551253d397d09313d0d2d151
00000eda: PUSH1 0x52
00000edc: SHL
00000edd: PUSH1 0x20
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH1 0x0d
00000ee4: SLOAD
00000ee5: DUP2
00000ee6: SWAP1
00000ee7: ISZERO
00000ee8: PUSH2 0x0f32
00000eeb: JUMPI
00000eec: PUSH1 0x40
00000eee: MLOAD
00000eef: PUSH3 0x461bcd
00000ef3: PUSH1 0xe5
00000ef5: SHL
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x20
00000efa: PUSH1 0x04
00000efc: DUP3
00000efd: ADD
00000efe: DUP2
00000eff: DUP2
00000f00: MSTORE
00000f01: DUP4
00000f02: MLOAD
00000f03: PUSH1 0x24
00000f05: DUP5
00000f06: ADD
00000f07: MSTORE
00000f08: DUP4
00000f09: MLOAD
00000f0a: SWAP1
00000f0b: SWAP3
00000f0c: DUP4
00000f0d: SWAP3
00000f0e: PUSH1 0x44
00000f10: SWAP1
00000f11: SWAP2
00000f12: ADD
00000f13: SWAP2
00000f14: SWAP1
00000f15: DUP6
00000f16: ADD
00000f17: SWAP1
00000f18: DUP1
00000f19: DUP4
00000f1a: DUP4
00000f1b: PUSH1 0x00
00000f1d: DUP4
00000f1e: ISZERO
00000f1f: PUSH2 0x05fe
00000f22: JUMPI
00000f23: DUP2
00000f24: DUP2
00000f25: ADD
00000f26: MLOAD
00000f27: DUP4
00000f28: DUP3
00000f29: ADD
00000f2a: MSTORE
00000f2b: PUSH1 0x20
00000f2d: ADD
00000f2e: PUSH2 0x05e6
00000f31: JUMP
00000f32: JUMPDEST
00000f33: POP
00000f34: PUSH1 0x0e
00000f36: SLOAD
00000f37: DUP2
00000f38: SWAP1
00000f39: ISZERO
00000f3a: PUSH2 0x0f84
00000f3d: JUMPI
00000f3e: PUSH1 0x40
00000f40: MLOAD
00000f41: PUSH3 0x461bcd
00000f45: PUSH1 0xe5
00000f47: SHL
00000f48: DUP2
00000f49: MSTORE
00000f4a: PUSH1 0x20
00000f4c: PUSH1 0x04
00000f4e: DUP3
00000f4f: ADD
00000f50: DUP2
00000f51: DUP2
00000f52: MSTORE
00000f53: DUP4
00000f54: MLOAD
00000f55: PUSH1 0x24
00000f57: DUP5
00000f58: ADD
00000f59: MSTORE
00000f5a: DUP4
00000f5b: MLOAD
00000f5c: SWAP1
00000f5d: SWAP3
00000f5e: DUP4
00000f5f: SWAP3
00000f60: PUSH1 0x44
00000f62: SWAP1
00000f63: SWAP2
00000f64: ADD
00000f65: SWAP2
00000f66: SWAP1
00000f67: DUP6
00000f68: ADD
00000f69: SWAP1
00000f6a: DUP1
00000f6b: DUP4
00000f6c: DUP4
00000f6d: PUSH1 0x00
00000f6f: DUP4
00000f70: ISZERO
00000f71: PUSH2 0x05fe
00000f74: JUMPI
00000f75: DUP2
00000f76: DUP2
00000f77: ADD
00000f78: MLOAD
00000f79: DUP4
00000f7a: DUP3
00000f7b: ADD
00000f7c: MSTORE
00000f7d: PUSH1 0x20
00000f7f: ADD
00000f80: PUSH2 0x05e6
00000f83: JUMP
00000f84: JUMPDEST
00000f85: POP
00000f86: PUSH1 0x0f
00000f88: SLOAD
00000f89: DUP2
00000f8a: SWAP1
00000f8b: ISZERO
00000f8c: PUSH2 0x0fd6
00000f8f: JUMPI
00000f90: PUSH1 0x40
00000f92: MLOAD
00000f93: PUSH3 0x461bcd
00000f97: PUSH1 0xe5
00000f99: SHL
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x20
00000f9e: PUSH1 0x04
00000fa0: DUP3
00000fa1: ADD
00000fa2: DUP2
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: DUP4
00000fa6: MLOAD
00000fa7: PUSH1 0x24
00000fa9: DUP5
00000faa: ADD
00000fab: MSTORE
00000fac: DUP4
00000fad: MLOAD
00000fae: SWAP1
00000faf: SWAP3
00000fb0: DUP4
00000fb1: SWAP3
00000fb2: PUSH1 0x44
00000fb4: SWAP1
00000fb5: SWAP2
00000fb6: ADD
00000fb7: SWAP2
00000fb8: SWAP1
00000fb9: DUP6
00000fba: ADD
00000fbb: SWAP1
00000fbc: DUP1
00000fbd: DUP4
00000fbe: DUP4
00000fbf: PUSH1 0x00
00000fc1: DUP4
00000fc2: ISZERO
00000fc3: PUSH2 0x05fe
00000fc6: JUMPI
00000fc7: DUP2
00000fc8: DUP2
00000fc9: ADD
00000fca: MLOAD
00000fcb: DUP4
00000fcc: DUP3
00000fcd: ADD
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: ADD
00000fd2: PUSH2 0x05e6
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: POP
00000fd8: PUSH1 0x10
00000fda: SLOAD
00000fdb: DUP2
00000fdc: SWAP1
00000fdd: ISZERO
00000fde: PUSH2 0x08ed
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: MLOAD
00000fe5: PUSH3 0x461bcd
00000fe9: PUSH1 0xe5
00000feb: SHL
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: PUSH1 0x04
00000ff2: DUP3
00000ff3: ADD
00000ff4: DUP2
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: DUP4
00000ff8: MLOAD
00000ff9: PUSH1 0x24
00000ffb: DUP5
00000ffc: ADD
00000ffd: MSTORE
00000ffe: DUP4
00000fff: MLOAD
00001000: SWAP1
00001001: SWAP3
00001002: DUP4
00001003: SWAP3
00001004: PUSH1 0x44
00001006: SWAP1
00001007: SWAP2
00001008: ADD
00001009: SWAP2
0000100a: SWAP1
0000100b: DUP6
0000100c: ADD
0000100d: SWAP1
0000100e: DUP1
0000100f: DUP4
00001010: DUP4
00001011: PUSH1 0x00
00001013: DUP4
00001014: ISZERO
00001015: PUSH2 0x05fe
00001018: JUMPI
00001019: DUP2
0000101a: DUP2
0000101b: ADD
0000101c: MLOAD
0000101d: DUP4
0000101e: DUP3
0000101f: ADD
00001020: MSTORE
00001021: PUSH1 0x20
00001023: ADD
00001024: PUSH2 0x05e6
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x60
0000102b: DUP2
0000102c: PUSH1 0x01
0000102e: EQ
0000102f: ISZERO
00001030: PUSH2 0x106d
00001033: JUMPI
00001034: POP
00001035: PUSH1 0x40
00001037: DUP1
00001038: MLOAD
00001039: DUP1
0000103a: DUP3
0000103b: ADD
0000103c: SWAP1
0000103d: SWAP2
0000103e: MSTORE
0000103f: PUSH1 0x1d
00001041: DUP2
00001042: MSTORE
00001043: PUSH32 0x537461726b576172655f416c6c5665726966696572735f323032305f31000000
00001064: PUSH1 0x20
00001066: DUP3
00001067: ADD
00001068: MSTORE
00001069: PUSH2 0x02a0
0000106c: JUMP
0000106d: JUMPDEST
0000106e: DUP2
0000106f: PUSH1 0x02
00001071: EQ
00001072: ISZERO
00001073: PUSH2 0x1096
00001076: JUMPI
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: DUP1
0000107b: PUSH1 0x60
0000107d: ADD
0000107e: PUSH1 0x40
00001080: MSTORE
00001081: DUP1
00001082: PUSH1 0x21
00001084: DUP2
00001085: MSTORE
00001086: PUSH1 0x20
00001088: ADD
00001089: PUSH2 0x1233
0000108c: PUSH1 0x21
0000108e: SWAP2
0000108f: CODECOPY
00001090: SWAP1
00001091: POP
00001092: PUSH2 0x02a0
00001095: JUMP
00001096: JUMPDEST
00001097: DUP2
00001098: PUSH1 0x03
0000109a: EQ
0000109b: ISZERO
0000109c: PUSH2 0x10d9
0000109f: JUMPI
000010a0: POP
000010a1: PUSH1 0x40
000010a3: DUP1
000010a4: MLOAD
000010a5: DUP1
000010a6: DUP3
000010a7: ADD
000010a8: SWAP1
000010a9: SWAP2
000010aa: MSTORE
000010ab: PUSH1 0x1d
000010ad: DUP2
000010ae: MSTORE
000010af: PUSH32 0x537461726b576172655f537461726b457853746174655f323032315f31000000
000010d0: PUSH1 0x20
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: PUSH2 0x02a0
000010d8: JUMP
000010d9: JUMPDEST
000010da: DUP2
000010db: PUSH1 0x04
000010dd: EQ
000010de: ISZERO
000010df: PUSH2 0x111c
000010e2: JUMPI
000010e3: POP
000010e4: PUSH1 0x40
000010e6: DUP1
000010e7: MLOAD
000010e8: DUP1
000010e9: DUP3
000010ea: ADD
000010eb: SWAP1
000010ec: SWAP2
000010ed: MSTORE
000010ee: PUSH1 0x1e
000010f0: DUP2
000010f1: MSTORE
000010f2: PUSH32 0x537461726b576172655f466f72636564416374696f6e735f323032305f310000
00001113: PUSH1 0x20
00001115: DUP3
00001116: ADD
00001117: MSTORE
00001118: PUSH2 0x02a0
0000111b: JUMP
0000111c: JUMPDEST
0000111d: DUP2
0000111e: PUSH1 0x05
00001120: EQ
00001121: ISZERO
00001122: PUSH2 0x115f
00001125: JUMPI
00001126: POP
00001127: PUSH1 0x40
00001129: DUP1
0000112a: MLOAD
0000112b: DUP1
0000112c: DUP3
0000112d: ADD
0000112e: SWAP1
0000112f: SWAP2
00001130: MSTORE
00001131: PUSH1 0x1e
00001133: DUP2
00001134: MSTORE
00001135: PUSH32 0x537461726b576172655f4f6e636861696e5661756c74735f323032315f310000
00001156: PUSH1 0x20
00001158: DUP3
00001159: ADD
0000115a: MSTORE
0000115b: PUSH2 0x02a0
0000115e: JUMP
0000115f: JUMPDEST
00001160: DUP2
00001161: PUSH1 0x06
00001163: EQ
00001164: ISZERO
00001165: PUSH2 0x11a2
00001168: JUMPI
00001169: POP
0000116a: PUSH1 0x40
0000116c: DUP1
0000116d: MLOAD
0000116e: DUP1
0000116f: DUP3
00001170: ADD
00001171: SWAP1
00001172: SWAP2
00001173: MSTORE
00001174: PUSH1 0x1b
00001176: DUP2
00001177: MSTORE
00001178: PUSH32 0x537461726b576172655f50726f78795574696c735f323032315f310000000000
00001199: PUSH1 0x20
0000119b: DUP3
0000119c: ADD
0000119d: MSTORE
0000119e: PUSH2 0x02a0
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH1 0x40
000011a5: DUP1
000011a6: MLOAD
000011a7: PUSH3 0x461bcd
000011ab: PUSH1 0xe5
000011ad: SHL
000011ae: DUP2
000011af: MSTORE
000011b0: PUSH1 0x20
000011b2: PUSH1 0x04
000011b4: DUP3
000011b5: ADD
000011b6: MSTORE
000011b7: PUSH1 0x10
000011b9: PUSH1 0x24
000011bb: DUP3
000011bc: ADD
000011bd: MSTORE
000011be: PUSH16 0x0aa9c8ab0a08a86a88a88be929c888ab
000011cf: PUSH1 0x83
000011d1: SHL
000011d2: PUSH1 0x44
000011d4: DUP3
000011d5: ADD
000011d6: MSTORE
000011d7: SWAP1
000011d8: MLOAD
000011d9: SWAP1
000011da: DUP2
000011db: SWAP1
000011dc: SUB
000011dd: PUSH1 0x64
000011df: ADD
000011e0: SWAP1
000011e1: REVERT
000011e2: JUMPDEST
000011e3: EXTCODESIZE
000011e4: ISZERO
000011e5: ISZERO
000011e6: SWAP1
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: DUP6
000011ed: DUP6
000011ee: GT
000011ef: ISZERO
000011f0: PUSH2 0x11f7
000011f3: JUMPI
000011f4: DUP2
000011f5: DUP3
000011f6: REVERT
000011f7: JUMPDEST
000011f8: DUP4
000011f9: DUP7
000011fa: GT
000011fb: ISZERO
000011fc: PUSH2 0x1203
000011ff: JUMPI
00001200: DUP2
00001201: DUP3
00001202: REVERT
00001203: JUMPDEST
00001204: POP
00001205: POP
00001206: DUP3
00001207: ADD
00001208: SWAP4
00001209: SWAP2
0000120a: SWAP1
0000120b: SWAP3
0000120c: SUB
0000120d: SWAP2
0000120e: POP
0000120f: JUMP
00001210: INVALID
00001211: UNKNOWN(0x4D)
00001212: BLOBHASH
00001213: MSTORE8
00001214: POP
00001215: UNKNOWN(0x4C)
00001216: COINBASE
00001217: NUMBER
00001218: GASLIMIT
00001219: DIFFICULTY
0000121a: PUSH0
0000121b: BLOBHASH
0000121c: UNKNOWN(0x4E)
0000121d: DIFFICULTY
0000121e: GASLIMIT
0000121f: PC
00001220: PUSH0
00001221: UNKNOWN(0x4F)
00001222: MSTORE
00001223: PUSH0
00001224: TIMESTAMP
00001225: COINBASE
00001226: DIFFICULTY
00001227: PUSH0
00001228: NUMBER
00001229: UNKNOWN(0x4F)
0000122a: UNKNOWN(0x4E)
0000122b: SLOAD
0000122c: MSTORE
0000122d: COINBASE
0000122e: NUMBER
0000122f: SLOAD
00001230: PUSH0
00001231: BLOBHASH
00001232: DIFFICULTY
00001233: MSTORE8
00001234: PUSH21 0x61726b576172655f546f6b656e73416e6452616d70
0000124a: PUSH10 0x6e675f323032305f31a2
00001255: PUSH5 0x6970667358
0000125b: UNKNOWN(0x22)
0000125c: SLT
0000125d: KECCAK256
0000125e: PUSH11 0x902fc2b69bdd967561977c
0000126a: SWAP13
0000126b: UNKNOWN(0xF7)
0000126c: UNKNOWN(0xD5)
0000126d: UNKNOWN(0xCE)
0000126e: LOG4
0000126f: UNKNOWN(0xE2)
00001270: SHL
00001271: COINBASE
00001272: UNKNOWN(0x23)
00001273: UNKNOWN(0xAB)
00001274: PUSH8 0xe58f9b8e839a5db2
0000127d: SDIV
0000127e: PUSH5 0x736f6c6343
00001284: STOP
00001285: MOD
00001286: SIGNEXTEND
00001287: STOP
00001288: CALLER