Analysis Run

[codex:498314] OpenAI Codex v0.77.0 (research preview)
[codex:498314] --------
[codex:498314] workdir: /tmp/codex-multi-15qg4t2o
[codex:498314] model: gpt-5.2-codex
[codex:498314] provider: openai
[codex:498314] approval: never
[codex:498314] sandbox: read-only
[codex:498314] reasoning effort: xhigh
[codex:498314] reasoning summaries: auto
[codex:498314] session id: 019b74ea-6967-71e1-a71a-cd635d628317
[codex:498314] --------
[codex:498314] user
[codex:498314] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:498314] 
[codex:498314] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:498314] 
[codex:498314] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:498314] - Gas inefficiency, code quality, naming, or best practices
[codex:498314] - Theoretical vulnerabilities without a clear extraction path
[codex:498314] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:498314] - Front-running unless it enables theft beyond MEV
[codex:498314] - DoS, griefing, or issues that don't result in attacker profit
[codex:498314] - Missing events, view function issues, or informational findings
[codex:498314] 
[codex:498314] HIGH-VALUE PATTERNS TO HUNT:
[codex:498314] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:498314] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:498314] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:498314] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:498314] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:498314] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:498314] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:498314] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:498314] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:498314] 
[codex:498314] For each finding, you MUST provide:
[codex:498314] 1. Exact file and line numbers of vulnerable code
[codex:498314] 2. Step-by-step exploit transaction sequence
[codex:498314] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:498314] 
[codex:498314] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:498314] 
[codex:498314] Output MUST be valid JSON matching the provided schema.
[codex:498314] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:498314] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:498314] mcp startup: no servers
[codex:498314] 
[codex:498314] thinking
[codex:498314] **Checking AUDIT_BUNDLE file**
[codex:498314] exec
[codex:498314] /bin/bash -lc ls in /tmp/codex-multi-15qg4t2o succeeded in 8ms:
[codex:498314] AUDIT_BUNDLE.txt
[codex:498314] codex-output-schema.json
[codex:498314] contracts
[codex:498314] exec
[codex:498314] /bin/bash -lc 'rg --files' in /tmp/codex-multi-15qg4t2o succeeded in 10ms:
[codex:498314] codex-output-schema.json
[codex:498314] AUDIT_BUNDLE.txt
[codex:498314] contracts/Contract.sol
[codex:498314] exec
[codex:498314] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-15qg4t2o succeeded in 6ms:
[codex:498314] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:498314] 
[codex:498314] ================================================================================
[codex:498314] FILE: contracts/Contract.sol
[codex:498314] ================================================================================
[codex:498314] // ┏━━━┓━┏┓━┏┓━━┏━━━┓━━┏━━━┓━━━━┏━━━┓━━━━━━━━━━━━━━━━━━━┏┓━━━━━┏━━━┓━━━━━━━━━┏┓━━━━━━━━━━━━━━┏┓━
[codex:498314] // ┃┏━━┛┏┛┗┓┃┃━━┃┏━┓┃━━┃┏━┓┃━━━━┗┓┏┓┃━━━━━━━━━━━━━━━━━━┏┛┗┓━━━━┃┏━┓┃━━━━━━━━┏┛┗┓━━━━━━━━━━━━┏┛┗┓
[codex:498314] // ┃┗━━┓┗┓┏┛┃┗━┓┗┛┏┛┃━━┃┃━┃┃━━━━━┃┃┃┃┏━━┓┏━━┓┏━━┓┏━━┓┏┓┗┓┏┛━━━━┃┃━┗┛┏━━┓┏━┓━┗┓┏┛┏━┓┏━━┓━┏━━┓┗┓┏┛
[codex:498314] // ┃┏━━┛━┃┃━┃┏┓┃┏━┛┏┛━━┃┃━┃┃━━━━━┃┃┃┃┃┏┓┃┃┏┓┃┃┏┓┃┃━━┫┣┫━┃┃━━━━━┃┃━┏┓┃┏┓┃┃┏┓┓━┃┃━┃┏┛┗━┓┃━┃┏━┛━┃┃━
[codex:498314] // ┃┗━━┓━┃┗┓┃┃┃┃┃┃┗━┓┏┓┃┗━┛┃━━━━┏┛┗┛┃┃┃━┫┃┗┛┃┃┗┛┃┣━━┃┃┃━┃┗┓━━━━┃┗━┛┃┃┗┛┃┃┃┃┃━┃┗┓┃┃━┃┗┛┗┓┃┗━┓━┃┗┓
[codex:498314] // ┗━━━┛━┗━┛┗┛┗┛┗━━━┛┗┛┗━━━┛━━━━┗━━━┛┗━━┛┃┏━┛┗━━┛┗━━┛┗┛━┗━┛━━━━┗━━━┛┗━━┛┗┛┗┛━┗━┛┗┛━┗━━━┛┗━━┛━┗━┛
[codex:498314] // ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┃┃━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
[codex:498314] // ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┗┛━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
[codex:498314] 
[codex:498314] // SPDX-License-Identifier: CC0-1.0
[codex:498314] 
[codex:498314] pragma solidity 0.6.11;
[codex:498314] 
[codex:498314] // This interface is designed to be compatible with the Vyper version.
[codex:498314] /// @notice This is the Ethereum 2.0 deposit contract interface.
[codex:498314] 
[codex:498314] thinking
[codex:498314] **Preparing JSON schema for ETH2 deposit contract**
[codex:498314] codex
[codex:498314] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (DepositContract). No concrete, exploitable path to extract ETH/tokens/NFTs found.","findings":[]}
[codex:498314] tokens used
[codex:498314] 7,795
[codex:498314] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (DepositContract). No concrete, exploitable path to extract ETH/tokens/NFTs found.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-31T14:58:07.538442+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `AUDIT_BUNDLE.txt` (DepositContract). No concrete, exploitable path to extract ETH/tokens/NFTs found.",
    "raw_final": {
        "summary": "Reviewed `AUDIT_BUNDLE.txt` (DepositContract). No concrete, exploitable path to extract ETH/tokens/NFTs found.",
        "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 0x003f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x01ffc9a7
00000019: EQ
0000001a: PUSH2 0x0044
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x22895118
00000024: EQ
00000025: PUSH2 0x00a4
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x621fd130
0000002f: EQ
00000030: PUSH2 0x01ba
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc5f2892f
0000003a: EQ
0000003b: PUSH2 0x0244
0000003e: JUMPI
0000003f: JUMPDEST
00000040: PUSH1 0x00
00000042: DUP1
00000043: REVERT
00000044: JUMPDEST
00000045: CALLVALUE
00000046: DUP1
00000047: ISZERO
00000048: PUSH2 0x0050
0000004b: JUMPI
0000004c: PUSH1 0x00
0000004e: DUP1
0000004f: REVERT
00000050: JUMPDEST
00000051: POP
00000052: PUSH2 0x0090
00000055: PUSH1 0x04
00000057: DUP1
00000058: CALLDATASIZE
00000059: SUB
0000005a: PUSH1 0x20
0000005c: DUP2
0000005d: LT
0000005e: ISZERO
0000005f: PUSH2 0x0067
00000062: JUMPI
00000063: PUSH1 0x00
00000065: DUP1
00000066: REVERT
00000067: JUMPDEST
00000068: POP
00000069: CALLDATALOAD
0000006a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000008b: AND
0000008c: PUSH2 0x026b
0000008f: JUMP
00000090: JUMPDEST
00000091: PUSH1 0x40
00000093: DUP1
00000094: MLOAD
00000095: SWAP2
00000096: ISZERO
00000097: ISZERO
00000098: DUP3
00000099: MSTORE
0000009a: MLOAD
0000009b: SWAP1
0000009c: DUP2
0000009d: SWAP1
0000009e: SUB
0000009f: PUSH1 0x20
000000a1: ADD
000000a2: SWAP1
000000a3: RETURN
000000a4: JUMPDEST
000000a5: PUSH2 0x01b8
000000a8: PUSH1 0x04
000000aa: DUP1
000000ab: CALLDATASIZE
000000ac: SUB
000000ad: PUSH1 0x80
000000af: DUP2
000000b0: LT
000000b1: ISZERO
000000b2: PUSH2 0x00ba
000000b5: JUMPI
000000b6: PUSH1 0x00
000000b8: DUP1
000000b9: REVERT
000000ba: JUMPDEST
000000bb: DUP2
000000bc: ADD
000000bd: SWAP1
000000be: PUSH1 0x20
000000c0: DUP2
000000c1: ADD
000000c2: DUP2
000000c3: CALLDATALOAD
000000c4: PUSH5 0x0100000000
000000ca: DUP2
000000cb: GT
000000cc: ISZERO
000000cd: PUSH2 0x00d5
000000d0: JUMPI
000000d1: PUSH1 0x00
000000d3: DUP1
000000d4: REVERT
000000d5: JUMPDEST
000000d6: DUP3
000000d7: ADD
000000d8: DUP4
000000d9: PUSH1 0x20
000000db: DUP3
000000dc: ADD
000000dd: GT
000000de: ISZERO
000000df: PUSH2 0x00e7
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: CALLDATALOAD
000000ea: SWAP1
000000eb: PUSH1 0x20
000000ed: ADD
000000ee: SWAP2
000000ef: DUP5
000000f0: PUSH1 0x01
000000f2: DUP4
000000f3: MUL
000000f4: DUP5
000000f5: ADD
000000f6: GT
000000f7: PUSH5 0x0100000000
000000fd: DUP4
000000fe: GT
000000ff: OR
00000100: ISZERO
00000101: PUSH2 0x0109
00000104: JUMPI
00000105: PUSH1 0x00
00000107: DUP1
00000108: REVERT
00000109: JUMPDEST
0000010a: SWAP2
0000010b: SWAP4
0000010c: SWAP1
0000010d: SWAP3
0000010e: SWAP1
0000010f: SWAP2
00000110: PUSH1 0x20
00000112: DUP2
00000113: ADD
00000114: SWAP1
00000115: CALLDATALOAD
00000116: PUSH5 0x0100000000
0000011c: DUP2
0000011d: GT
0000011e: ISZERO
0000011f: PUSH2 0x0127
00000122: JUMPI
00000123: PUSH1 0x00
00000125: DUP1
00000126: REVERT
00000127: JUMPDEST
00000128: DUP3
00000129: ADD
0000012a: DUP4
0000012b: PUSH1 0x20
0000012d: DUP3
0000012e: ADD
0000012f: GT
00000130: ISZERO
00000131: PUSH2 0x0139
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: DUP1
0000013b: CALLDATALOAD
0000013c: SWAP1
0000013d: PUSH1 0x20
0000013f: ADD
00000140: SWAP2
00000141: DUP5
00000142: PUSH1 0x01
00000144: DUP4
00000145: MUL
00000146: DUP5
00000147: ADD
00000148: GT
00000149: PUSH5 0x0100000000
0000014f: DUP4
00000150: GT
00000151: OR
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: SWAP2
0000015d: SWAP4
0000015e: SWAP1
0000015f: SWAP3
00000160: SWAP1
00000161: SWAP2
00000162: PUSH1 0x20
00000164: DUP2
00000165: ADD
00000166: SWAP1
00000167: CALLDATALOAD
00000168: PUSH5 0x0100000000
0000016e: DUP2
0000016f: GT
00000170: ISZERO
00000171: PUSH2 0x0179
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: DUP3
0000017b: ADD
0000017c: DUP4
0000017d: PUSH1 0x20
0000017f: DUP3
00000180: ADD
00000181: GT
00000182: ISZERO
00000183: PUSH2 0x018b
00000186: JUMPI
00000187: PUSH1 0x00
00000189: DUP1
0000018a: REVERT
0000018b: JUMPDEST
0000018c: DUP1
0000018d: CALLDATALOAD
0000018e: SWAP1
0000018f: PUSH1 0x20
00000191: ADD
00000192: SWAP2
00000193: DUP5
00000194: PUSH1 0x01
00000196: DUP4
00000197: MUL
00000198: DUP5
00000199: ADD
0000019a: GT
0000019b: PUSH5 0x0100000000
000001a1: DUP4
000001a2: GT
000001a3: OR
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: SWAP2
000001af: SWAP4
000001b0: POP
000001b1: SWAP2
000001b2: POP
000001b3: CALLDATALOAD
000001b4: PUSH2 0x0304
000001b7: JUMP
000001b8: JUMPDEST
000001b9: STOP
000001ba: JUMPDEST
000001bb: CALLVALUE
000001bc: DUP1
000001bd: ISZERO
000001be: PUSH2 0x01c6
000001c1: JUMPI
000001c2: PUSH1 0x00
000001c4: DUP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: POP
000001c8: PUSH2 0x01cf
000001cb: PUSH2 0x10b5
000001ce: JUMP
000001cf: JUMPDEST
000001d0: PUSH1 0x40
000001d2: DUP1
000001d3: MLOAD
000001d4: PUSH1 0x20
000001d6: DUP1
000001d7: DUP3
000001d8: MSTORE
000001d9: DUP4
000001da: MLOAD
000001db: DUP2
000001dc: DUP4
000001dd: ADD
000001de: MSTORE
000001df: DUP4
000001e0: MLOAD
000001e1: SWAP2
000001e2: SWAP3
000001e3: DUP4
000001e4: SWAP3
000001e5: SWAP1
000001e6: DUP4
000001e7: ADD
000001e8: SWAP2
000001e9: DUP6
000001ea: ADD
000001eb: SWAP1
000001ec: DUP1
000001ed: DUP4
000001ee: DUP4
000001ef: PUSH1 0x00
000001f1: JUMPDEST
000001f2: DUP4
000001f3: DUP2
000001f4: LT
000001f5: ISZERO
000001f6: PUSH2 0x0209
000001f9: JUMPI
000001fa: DUP2
000001fb: DUP2
000001fc: ADD
000001fd: MLOAD
000001fe: DUP4
000001ff: DUP3
00000200: ADD
00000201: MSTORE
00000202: PUSH1 0x20
00000204: ADD
00000205: PUSH2 0x01f1
00000208: JUMP
00000209: JUMPDEST
0000020a: POP
0000020b: POP
0000020c: POP
0000020d: POP
0000020e: SWAP1
0000020f: POP
00000210: SWAP1
00000211: DUP2
00000212: ADD
00000213: SWAP1
00000214: PUSH1 0x1f
00000216: AND
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0236
0000021c: JUMPI
0000021d: DUP1
0000021e: DUP3
0000021f: SUB
00000220: DUP1
00000221: MLOAD
00000222: PUSH1 0x01
00000224: DUP4
00000225: PUSH1 0x20
00000227: SUB
00000228: PUSH2 0x0100
0000022b: EXP
0000022c: SUB
0000022d: NOT
0000022e: AND
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x20
00000233: ADD
00000234: SWAP2
00000235: POP
00000236: JUMPDEST
00000237: POP
00000238: SWAP3
00000239: POP
0000023a: POP
0000023b: POP
0000023c: PUSH1 0x40
0000023e: MLOAD
0000023f: DUP1
00000240: SWAP2
00000241: SUB
00000242: SWAP1
00000243: RETURN
00000244: JUMPDEST
00000245: CALLVALUE
00000246: DUP1
00000247: ISZERO
00000248: PUSH2 0x0250
0000024b: JUMPI
0000024c: PUSH1 0x00
0000024e: DUP1
0000024f: REVERT
00000250: JUMPDEST
00000251: POP
00000252: PUSH2 0x0259
00000255: PUSH2 0x10c7
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH1 0x40
0000025c: DUP1
0000025d: MLOAD
0000025e: SWAP2
0000025f: DUP3
00000260: MSTORE
00000261: MLOAD
00000262: SWAP1
00000263: DUP2
00000264: SWAP1
00000265: SUB
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP1
0000026a: RETURN
0000026b: JUMPDEST
0000026c: PUSH1 0x00
0000026e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000028f: DUP3
00000290: AND
00000291: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000002b2: EQ
000002b3: DUP1
000002b4: PUSH2 0x02fe
000002b7: JUMPI
000002b8: POP
000002b9: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000002da: DUP3
000002db: AND
000002dc: PUSH32 0x8564090700000000000000000000000000000000000000000000000000000000
000002fd: EQ
000002fe: JUMPDEST
000002ff: SWAP3
00000300: SWAP2
00000301: POP
00000302: POP
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH1 0x30
00000307: DUP7
00000308: EQ
00000309: PUSH2 0x035d
0000030c: JUMPI
0000030d: PUSH1 0x40
0000030f: MLOAD
00000310: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x04
00000335: ADD
00000336: DUP1
00000337: DUP1
00000338: PUSH1 0x20
0000033a: ADD
0000033b: DUP3
0000033c: DUP2
0000033d: SUB
0000033e: DUP3
0000033f: MSTORE
00000340: PUSH1 0x26
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x20
00000346: ADD
00000347: DUP1
00000348: PUSH2 0x1805
0000034b: PUSH1 0x26
0000034d: SWAP2
0000034e: CODECOPY
0000034f: PUSH1 0x40
00000351: ADD
00000352: SWAP2
00000353: POP
00000354: POP
00000355: PUSH1 0x40
00000357: MLOAD
00000358: DUP1
00000359: SWAP2
0000035a: SUB
0000035b: SWAP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: PUSH1 0x20
00000360: DUP5
00000361: EQ
00000362: PUSH2 0x03b6
00000365: JUMPI
00000366: PUSH1 0x40
00000368: MLOAD
00000369: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000038a: DUP2
0000038b: MSTORE
0000038c: PUSH1 0x04
0000038e: ADD
0000038f: DUP1
00000390: DUP1
00000391: PUSH1 0x20
00000393: ADD
00000394: DUP3
00000395: DUP2
00000396: SUB
00000397: DUP3
00000398: MSTORE
00000399: PUSH1 0x36
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: DUP1
000003a1: PUSH2 0x179c
000003a4: PUSH1 0x36
000003a6: SWAP2
000003a7: CODECOPY
000003a8: PUSH1 0x40
000003aa: ADD
000003ab: SWAP2
000003ac: POP
000003ad: POP
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: DUP1
000003b2: SWAP2
000003b3: SUB
000003b4: SWAP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: PUSH1 0x60
000003b9: DUP3
000003ba: EQ
000003bb: PUSH2 0x040f
000003be: JUMPI
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x04
000003e7: ADD
000003e8: DUP1
000003e9: DUP1
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: DUP3
000003ee: DUP2
000003ef: SUB
000003f0: DUP3
000003f1: MSTORE
000003f2: PUSH1 0x29
000003f4: DUP2
000003f5: MSTORE
000003f6: PUSH1 0x20
000003f8: ADD
000003f9: DUP1
000003fa: PUSH2 0x1878
000003fd: PUSH1 0x29
000003ff: SWAP2
00000400: CODECOPY
00000401: PUSH1 0x40
00000403: ADD
00000404: SWAP2
00000405: POP
00000406: POP
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: DUP1
0000040b: SWAP2
0000040c: SUB
0000040d: SWAP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: PUSH8 0x0de0b6b3a7640000
00000419: CALLVALUE
0000041a: LT
0000041b: ISZERO
0000041c: PUSH2 0x0470
0000041f: JUMPI
00000420: PUSH1 0x40
00000422: MLOAD
00000423: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x04
00000448: ADD
00000449: DUP1
0000044a: DUP1
0000044b: PUSH1 0x20
0000044d: ADD
0000044e: DUP3
0000044f: DUP2
00000450: SUB
00000451: DUP3
00000452: MSTORE
00000453: PUSH1 0x26
00000455: DUP2
00000456: MSTORE
00000457: PUSH1 0x20
00000459: ADD
0000045a: DUP1
0000045b: PUSH2 0x1852
0000045e: PUSH1 0x26
00000460: SWAP2
00000461: CODECOPY
00000462: PUSH1 0x40
00000464: ADD
00000465: SWAP2
00000466: POP
00000467: POP
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: SWAP2
0000046d: SUB
0000046e: SWAP1
0000046f: REVERT
00000470: JUMPDEST
00000471: PUSH4 0x3b9aca00
00000476: CALLVALUE
00000477: MOD
00000478: ISZERO
00000479: PUSH2 0x04cd
0000047c: JUMPI
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004a1: DUP2
000004a2: MSTORE
000004a3: PUSH1 0x04
000004a5: ADD
000004a6: DUP1
000004a7: DUP1
000004a8: PUSH1 0x20
000004aa: ADD
000004ab: DUP3
000004ac: DUP2
000004ad: SUB
000004ae: DUP3
000004af: MSTORE
000004b0: PUSH1 0x33
000004b2: DUP2
000004b3: MSTORE
000004b4: PUSH1 0x20
000004b6: ADD
000004b7: DUP1
000004b8: PUSH2 0x17d2
000004bb: PUSH1 0x33
000004bd: SWAP2
000004be: CODECOPY
000004bf: PUSH1 0x40
000004c1: ADD
000004c2: SWAP2
000004c3: POP
000004c4: POP
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: SWAP2
000004ca: SUB
000004cb: SWAP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: PUSH4 0x3b9aca00
000004d3: CALLVALUE
000004d4: DIV
000004d5: PUSH8 0xffffffffffffffff
000004de: DUP2
000004df: GT
000004e0: ISZERO
000004e1: PUSH2 0x0535
000004e4: JUMPI
000004e5: PUSH1 0x40
000004e7: MLOAD
000004e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000509: DUP2
0000050a: MSTORE
0000050b: PUSH1 0x04
0000050d: ADD
0000050e: DUP1
0000050f: DUP1
00000510: PUSH1 0x20
00000512: ADD
00000513: DUP3
00000514: DUP2
00000515: SUB
00000516: DUP3
00000517: MSTORE
00000518: PUSH1 0x27
0000051a: DUP2
0000051b: MSTORE
0000051c: PUSH1 0x20
0000051e: ADD
0000051f: DUP1
00000520: PUSH2 0x182b
00000523: PUSH1 0x27
00000525: SWAP2
00000526: CODECOPY
00000527: PUSH1 0x40
00000529: ADD
0000052a: SWAP2
0000052b: POP
0000052c: POP
0000052d: PUSH1 0x40
0000052f: MLOAD
00000530: DUP1
00000531: SWAP2
00000532: SUB
00000533: SWAP1
00000534: REVERT
00000535: JUMPDEST
00000536: PUSH1 0x60
00000538: PUSH2 0x0540
0000053b: DUP3
0000053c: PUSH2 0x14ba
0000053f: JUMP
00000540: JUMPDEST
00000541: SWAP1
00000542: POP
00000543: PUSH32 0x649bbc62d0e31342afea4e5cd82d4049e7e1ee912fc0889aa790803be39038c5
00000564: DUP10
00000565: DUP10
00000566: DUP10
00000567: DUP10
00000568: DUP6
00000569: DUP11
0000056a: DUP11
0000056b: PUSH2 0x0575
0000056e: PUSH1 0x20
00000570: SLOAD
00000571: PUSH2 0x14ba
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: DUP1
00000579: MLOAD
0000057a: PUSH1 0xa0
0000057c: DUP1
0000057d: DUP3
0000057e: MSTORE
0000057f: DUP2
00000580: ADD
00000581: DUP10
00000582: SWAP1
00000583: MSTORE
00000584: SWAP1
00000585: DUP2
00000586: SWAP1
00000587: PUSH1 0x20
00000589: DUP3
0000058a: ADD
0000058b: SWAP1
0000058c: DUP3
0000058d: ADD
0000058e: PUSH1 0x60
00000590: DUP4
00000591: ADD
00000592: PUSH1 0x80
00000594: DUP5
00000595: ADD
00000596: PUSH1 0xc0
00000598: DUP6
00000599: ADD
0000059a: DUP15
0000059b: DUP15
0000059c: DUP1
0000059d: DUP3
0000059e: DUP5
0000059f: CALLDATACOPY
000005a0: PUSH1 0x00
000005a2: DUP4
000005a3: DUP3
000005a4: ADD
000005a5: MSTORE
000005a6: PUSH1 0x1f
000005a8: ADD
000005a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000005ca: AND
000005cb: SWAP1
000005cc: SWAP2
000005cd: ADD
000005ce: DUP8
000005cf: DUP2
000005d0: SUB
000005d1: DUP7
000005d2: MSTORE
000005d3: DUP13
000005d4: DUP2
000005d5: MSTORE
000005d6: PUSH1 0x20
000005d8: ADD
000005d9: SWAP1
000005da: POP
000005db: DUP13
000005dc: DUP13
000005dd: DUP1
000005de: DUP3
000005df: DUP5
000005e0: CALLDATACOPY
000005e1: PUSH1 0x00
000005e3: DUP4
000005e4: DUP3
000005e5: ADD
000005e6: DUP2
000005e7: SWAP1
000005e8: MSTORE
000005e9: PUSH1 0x1f
000005eb: SWAP1
000005ec: SWAP2
000005ed: ADD
000005ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000060f: AND
00000610: SWAP1
00000611: SWAP3
00000612: ADD
00000613: DUP9
00000614: DUP2
00000615: SUB
00000616: DUP7
00000617: MSTORE
00000618: DUP13
00000619: MLOAD
0000061a: DUP2
0000061b: MSTORE
0000061c: DUP13
0000061d: MLOAD
0000061e: PUSH1 0x20
00000620: SWAP2
00000621: DUP3
00000622: ADD
00000623: SWAP4
00000624: SWAP2
00000625: DUP15
00000626: ADD
00000627: SWAP3
00000628: POP
00000629: SWAP1
0000062a: DUP2
0000062b: SWAP1
0000062c: DUP5
0000062d: SWAP1
0000062e: DUP5
0000062f: SWAP1
00000630: JUMPDEST
00000631: DUP4
00000632: DUP2
00000633: LT
00000634: ISZERO
00000635: PUSH2 0x0648
00000638: JUMPI
00000639: DUP2
0000063a: DUP2
0000063b: ADD
0000063c: MLOAD
0000063d: DUP4
0000063e: DUP3
0000063f: ADD
00000640: MSTORE
00000641: PUSH1 0x20
00000643: ADD
00000644: PUSH2 0x0630
00000647: JUMP
00000648: JUMPDEST
00000649: POP
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: SWAP1
0000064e: POP
0000064f: SWAP1
00000650: DUP2
00000651: ADD
00000652: SWAP1
00000653: PUSH1 0x1f
00000655: AND
00000656: DUP1
00000657: ISZERO
00000658: PUSH2 0x0675
0000065b: JUMPI
0000065c: DUP1
0000065d: DUP3
0000065e: SUB
0000065f: DUP1
00000660: MLOAD
00000661: PUSH1 0x01
00000663: DUP4
00000664: PUSH1 0x20
00000666: SUB
00000667: PUSH2 0x0100
0000066a: EXP
0000066b: SUB
0000066c: NOT
0000066d: AND
0000066e: DUP2
0000066f: MSTORE
00000670: PUSH1 0x20
00000672: ADD
00000673: SWAP2
00000674: POP
00000675: JUMPDEST
00000676: POP
00000677: DUP7
00000678: DUP2
00000679: SUB
0000067a: DUP4
0000067b: MSTORE
0000067c: DUP9
0000067d: DUP2
0000067e: MSTORE
0000067f: PUSH1 0x20
00000681: ADD
00000682: DUP10
00000683: DUP10
00000684: DUP1
00000685: DUP3
00000686: DUP5
00000687: CALLDATACOPY
00000688: PUSH1 0x00
0000068a: DUP4
0000068b: DUP3
0000068c: ADD
0000068d: DUP2
0000068e: SWAP1
0000068f: MSTORE
00000690: PUSH1 0x1f
00000692: SWAP1
00000693: SWAP2
00000694: ADD
00000695: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000006b6: AND
000006b7: SWAP1
000006b8: SWAP3
000006b9: ADD
000006ba: DUP9
000006bb: DUP2
000006bc: SUB
000006bd: DUP5
000006be: MSTORE
000006bf: DUP10
000006c0: MLOAD
000006c1: DUP2
000006c2: MSTORE
000006c3: DUP10
000006c4: MLOAD
000006c5: PUSH1 0x20
000006c7: SWAP2
000006c8: DUP3
000006c9: ADD
000006ca: SWAP4
000006cb: SWAP2
000006cc: DUP12
000006cd: ADD
000006ce: SWAP3
000006cf: POP
000006d0: SWAP1
000006d1: DUP2
000006d2: SWAP1
000006d3: DUP5
000006d4: SWAP1
000006d5: DUP5
000006d6: SWAP1
000006d7: JUMPDEST
000006d8: DUP4
000006d9: DUP2
000006da: LT
000006db: ISZERO
000006dc: PUSH2 0x06ef
000006df: JUMPI
000006e0: DUP2
000006e1: DUP2
000006e2: ADD
000006e3: MLOAD
000006e4: DUP4
000006e5: DUP3
000006e6: ADD
000006e7: MSTORE
000006e8: PUSH1 0x20
000006ea: ADD
000006eb: PUSH2 0x06d7
000006ee: JUMP
000006ef: JUMPDEST
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: SWAP1
000006f5: POP
000006f6: SWAP1
000006f7: DUP2
000006f8: ADD
000006f9: SWAP1
000006fa: PUSH1 0x1f
000006fc: AND
000006fd: DUP1
000006fe: ISZERO
000006ff: PUSH2 0x071c
00000702: JUMPI
00000703: DUP1
00000704: DUP3
00000705: SUB
00000706: DUP1
00000707: MLOAD
00000708: PUSH1 0x01
0000070a: DUP4
0000070b: PUSH1 0x20
0000070d: SUB
0000070e: PUSH2 0x0100
00000711: EXP
00000712: SUB
00000713: NOT
00000714: AND
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: ADD
0000071a: SWAP2
0000071b: POP
0000071c: JUMPDEST
0000071d: POP
0000071e: SWAP14
0000071f: POP
00000720: POP
00000721: POP
00000722: POP
00000723: POP
00000724: POP
00000725: POP
00000726: POP
00000727: POP
00000728: POP
00000729: POP
0000072a: POP
0000072b: POP
0000072c: POP
0000072d: PUSH1 0x40
0000072f: MLOAD
00000730: DUP1
00000731: SWAP2
00000732: SUB
00000733: SWAP1
00000734: LOG1
00000735: PUSH1 0x00
00000737: PUSH1 0x02
00000739: DUP11
0000073a: DUP11
0000073b: PUSH1 0x00
0000073d: PUSH1 0x80
0000073f: SHL
00000740: PUSH1 0x40
00000742: MLOAD
00000743: PUSH1 0x20
00000745: ADD
00000746: DUP1
00000747: DUP5
00000748: DUP5
00000749: DUP1
0000074a: DUP3
0000074b: DUP5
0000074c: CALLDATACOPY
0000074d: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
0000076e: SWAP1
0000076f: SWAP5
00000770: AND
00000771: SWAP2
00000772: SWAP1
00000773: SWAP4
00000774: ADD
00000775: SWAP1
00000776: DUP2
00000777: MSTORE
00000778: PUSH1 0x40
0000077a: DUP1
0000077b: MLOAD
0000077c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0
0000079d: DUP2
0000079e: DUP5
0000079f: SUB
000007a0: ADD
000007a1: DUP2
000007a2: MSTORE
000007a3: PUSH1 0x10
000007a5: SWAP1
000007a6: SWAP3
000007a7: ADD
000007a8: SWAP1
000007a9: DUP2
000007aa: SWAP1
000007ab: MSTORE
000007ac: DUP2
000007ad: MLOAD
000007ae: SWAP2
000007af: SWAP6
000007b0: POP
000007b1: SWAP4
000007b2: POP
000007b3: DUP4
000007b4: SWAP3
000007b5: POP
000007b6: PUSH1 0x20
000007b8: DUP6
000007b9: ADD
000007ba: SWAP2
000007bb: POP
000007bc: DUP1
000007bd: DUP4
000007be: DUP4
000007bf: JUMPDEST
000007c0: PUSH1 0x20
000007c2: DUP4
000007c3: LT
000007c4: PUSH2 0x07fc
000007c7: JUMPI
000007c8: DUP1
000007c9: MLOAD
000007ca: DUP3
000007cb: MSTORE
000007cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000007ed: SWAP1
000007ee: SWAP3
000007ef: ADD
000007f0: SWAP2
000007f1: PUSH1 0x20
000007f3: SWAP2
000007f4: DUP3
000007f5: ADD
000007f6: SWAP2
000007f7: ADD
000007f8: PUSH2 0x07bf
000007fb: JUMP
000007fc: JUMPDEST
000007fd: MLOAD
000007fe: DUP2
000007ff: MLOAD
00000800: PUSH1 0x20
00000802: SWAP4
00000803: DUP5
00000804: SUB
00000805: PUSH2 0x0100
00000808: EXP
00000809: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000082a: ADD
0000082b: DUP1
0000082c: NOT
0000082d: SWAP1
0000082e: SWAP3
0000082f: AND
00000830: SWAP2
00000831: AND
00000832: OR
00000833: SWAP1
00000834: MSTORE
00000835: PUSH1 0x40
00000837: MLOAD
00000838: SWAP2
00000839: SWAP1
0000083a: SWAP4
0000083b: ADD
0000083c: SWAP5
0000083d: POP
0000083e: SWAP2
0000083f: SWAP3
00000840: POP
00000841: POP
00000842: DUP1
00000843: DUP4
00000844: SUB
00000845: DUP2
00000846: DUP6
00000847: GAS
00000848: STATICCALL
00000849: ISZERO
0000084a: DUP1
0000084b: ISZERO
0000084c: PUSH2 0x0859
0000084f: JUMPI
00000850: RETURNDATASIZE
00000851: PUSH1 0x00
00000853: DUP1
00000854: RETURNDATACOPY
00000855: RETURNDATASIZE
00000856: PUSH1 0x00
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: PUSH1 0x40
0000085f: MLOAD
00000860: RETURNDATASIZE
00000861: PUSH1 0x20
00000863: DUP2
00000864: LT
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: MLOAD
00000871: SWAP1
00000872: POP
00000873: PUSH1 0x00
00000875: PUSH1 0x02
00000877: DUP1
00000878: PUSH2 0x0884
0000087b: PUSH1 0x40
0000087d: DUP5
0000087e: DUP11
0000087f: DUP13
00000880: PUSH2 0x16fe
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH1 0x20
0000088a: ADD
0000088b: DUP1
0000088c: DUP4
0000088d: DUP4
0000088e: DUP1
0000088f: DUP3
00000890: DUP5
00000891: CALLDATACOPY
00000892: DUP1
00000893: DUP4
00000894: ADD
00000895: SWAP3
00000896: POP
00000897: POP
00000898: POP
00000899: SWAP3
0000089a: POP
0000089b: POP
0000089c: POP
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: PUSH1 0x20
000008a2: DUP2
000008a3: DUP4
000008a4: SUB
000008a5: SUB
000008a6: DUP2
000008a7: MSTORE
000008a8: SWAP1
000008a9: PUSH1 0x40
000008ab: MSTORE
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: DUP3
000008b1: DUP1
000008b2: MLOAD
000008b3: SWAP1
000008b4: PUSH1 0x20
000008b6: ADD
000008b7: SWAP1
000008b8: DUP1
000008b9: DUP4
000008ba: DUP4
000008bb: JUMPDEST
000008bc: PUSH1 0x20
000008be: DUP4
000008bf: LT
000008c0: PUSH2 0x08f8
000008c3: JUMPI
000008c4: DUP1
000008c5: MLOAD
000008c6: DUP3
000008c7: MSTORE
000008c8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000008e9: SWAP1
000008ea: SWAP3
000008eb: ADD
000008ec: SWAP2
000008ed: PUSH1 0x20
000008ef: SWAP2
000008f0: DUP3
000008f1: ADD
000008f2: SWAP2
000008f3: ADD
000008f4: PUSH2 0x08bb
000008f7: JUMP
000008f8: JUMPDEST
000008f9: MLOAD
000008fa: DUP2
000008fb: MLOAD
000008fc: PUSH1 0x20
000008fe: SWAP4
000008ff: DUP5
00000900: SUB
00000901: PUSH2 0x0100
00000904: EXP
00000905: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000926: ADD
00000927: DUP1
00000928: NOT
00000929: SWAP1
0000092a: SWAP3
0000092b: AND
0000092c: SWAP2
0000092d: AND
0000092e: OR
0000092f: SWAP1
00000930: MSTORE
00000931: PUSH1 0x40
00000933: MLOAD
00000934: SWAP2
00000935: SWAP1
00000936: SWAP4
00000937: ADD
00000938: SWAP5
00000939: POP
0000093a: SWAP2
0000093b: SWAP3
0000093c: POP
0000093d: POP
0000093e: DUP1
0000093f: DUP4
00000940: SUB
00000941: DUP2
00000942: DUP6
00000943: GAS
00000944: STATICCALL
00000945: ISZERO
00000946: DUP1
00000947: ISZERO
00000948: PUSH2 0x0955
0000094b: JUMPI
0000094c: RETURNDATASIZE
0000094d: PUSH1 0x00
0000094f: DUP1
00000950: RETURNDATACOPY
00000951: RETURNDATASIZE
00000952: PUSH1 0x00
00000954: REVERT
00000955: JUMPDEST
00000956: POP
00000957: POP
00000958: POP
00000959: PUSH1 0x40
0000095b: MLOAD
0000095c: RETURNDATASIZE
0000095d: PUSH1 0x20
0000095f: DUP2
00000960: LT
00000961: ISZERO
00000962: PUSH2 0x096a
00000965: JUMPI
00000966: PUSH1 0x00
00000968: DUP1
00000969: REVERT
0000096a: JUMPDEST
0000096b: POP
0000096c: MLOAD
0000096d: PUSH1 0x02
0000096f: PUSH2 0x097b
00000972: DUP10
00000973: PUSH1 0x40
00000975: DUP2
00000976: DUP14
00000977: PUSH2 0x16fe
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH1 0x40
0000097e: MLOAD
0000097f: PUSH1 0x00
00000981: SWAP1
00000982: PUSH1 0x20
00000984: ADD
00000985: DUP1
00000986: DUP5
00000987: DUP5
00000988: DUP1
00000989: DUP3
0000098a: DUP5
0000098b: CALLDATACOPY
0000098c: SWAP2
0000098d: SWAP1
0000098e: SWAP2
0000098f: ADD
00000990: SWAP3
00000991: DUP4
00000992: MSTORE
00000993: POP
00000994: POP
00000995: PUSH1 0x40
00000997: DUP1
00000998: MLOAD
00000999: DUP1
0000099a: DUP4
0000099b: SUB
0000099c: DUP2
0000099d: MSTORE
0000099e: PUSH1 0x20
000009a0: SWAP3
000009a1: DUP4
000009a2: ADD
000009a3: SWAP2
000009a4: DUP3
000009a5: SWAP1
000009a6: MSTORE
000009a7: DUP1
000009a8: MLOAD
000009a9: SWAP1
000009aa: SWAP5
000009ab: POP
000009ac: SWAP1
000009ad: SWAP3
000009ae: POP
000009af: DUP3
000009b0: SWAP2
000009b1: DUP5
000009b2: ADD
000009b3: SWAP1
000009b4: DUP1
000009b5: DUP4
000009b6: DUP4
000009b7: JUMPDEST
000009b8: PUSH1 0x20
000009ba: DUP4
000009bb: LT
000009bc: PUSH2 0x09f4
000009bf: JUMPI
000009c0: DUP1
000009c1: MLOAD
000009c2: DUP3
000009c3: MSTORE
000009c4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000009e5: SWAP1
000009e6: SWAP3
000009e7: ADD
000009e8: SWAP2
000009e9: PUSH1 0x20
000009eb: SWAP2
000009ec: DUP3
000009ed: ADD
000009ee: SWAP2
000009ef: ADD
000009f0: PUSH2 0x09b7
000009f3: JUMP
000009f4: JUMPDEST
000009f5: MLOAD
000009f6: DUP2
000009f7: MLOAD
000009f8: PUSH1 0x20
000009fa: SWAP4
000009fb: DUP5
000009fc: SUB
000009fd: PUSH2 0x0100
00000a00: EXP
00000a01: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a22: ADD
00000a23: DUP1
00000a24: NOT
00000a25: SWAP1
00000a26: SWAP3
00000a27: AND
00000a28: SWAP2
00000a29: AND
00000a2a: OR
00000a2b: SWAP1
00000a2c: MSTORE
00000a2d: PUSH1 0x40
00000a2f: MLOAD
00000a30: SWAP2
00000a31: SWAP1
00000a32: SWAP4
00000a33: ADD
00000a34: SWAP5
00000a35: POP
00000a36: SWAP2
00000a37: SWAP3
00000a38: POP
00000a39: POP
00000a3a: DUP1
00000a3b: DUP4
00000a3c: SUB
00000a3d: DUP2
00000a3e: DUP6
00000a3f: GAS
00000a40: STATICCALL
00000a41: ISZERO
00000a42: DUP1
00000a43: ISZERO
00000a44: PUSH2 0x0a51
00000a47: JUMPI
00000a48: RETURNDATASIZE
00000a49: PUSH1 0x00
00000a4b: DUP1
00000a4c: RETURNDATACOPY
00000a4d: RETURNDATASIZE
00000a4e: PUSH1 0x00
00000a50: REVERT
00000a51: JUMPDEST
00000a52: POP
00000a53: POP
00000a54: POP
00000a55: PUSH1 0x40
00000a57: MLOAD
00000a58: RETURNDATASIZE
00000a59: PUSH1 0x20
00000a5b: DUP2
00000a5c: LT
00000a5d: ISZERO
00000a5e: PUSH2 0x0a66
00000a61: JUMPI
00000a62: PUSH1 0x00
00000a64: DUP1
00000a65: REVERT
00000a66: JUMPDEST
00000a67: POP
00000a68: MLOAD
00000a69: PUSH1 0x40
00000a6b: DUP1
00000a6c: MLOAD
00000a6d: PUSH1 0x20
00000a6f: DUP2
00000a70: DUP2
00000a71: ADD
00000a72: SWAP5
00000a73: SWAP1
00000a74: SWAP5
00000a75: MSTORE
00000a76: DUP1
00000a77: DUP3
00000a78: ADD
00000a79: SWAP3
00000a7a: SWAP1
00000a7b: SWAP3
00000a7c: MSTORE
00000a7d: DUP1
00000a7e: MLOAD
00000a7f: DUP1
00000a80: DUP4
00000a81: SUB
00000a82: DUP3
00000a83: ADD
00000a84: DUP2
00000a85: MSTORE
00000a86: PUSH1 0x60
00000a88: SWAP1
00000a89: SWAP3
00000a8a: ADD
00000a8b: SWAP1
00000a8c: DUP2
00000a8d: SWAP1
00000a8e: MSTORE
00000a8f: DUP2
00000a90: MLOAD
00000a91: SWAP2
00000a92: SWAP3
00000a93: SWAP1
00000a94: SWAP2
00000a95: DUP3
00000a96: SWAP2
00000a97: DUP5
00000a98: ADD
00000a99: SWAP1
00000a9a: DUP1
00000a9b: DUP4
00000a9c: DUP4
00000a9d: JUMPDEST
00000a9e: PUSH1 0x20
00000aa0: DUP4
00000aa1: LT
00000aa2: PUSH2 0x0ada
00000aa5: JUMPI
00000aa6: DUP1
00000aa7: MLOAD
00000aa8: DUP3
00000aa9: MSTORE
00000aaa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000acb: SWAP1
00000acc: SWAP3
00000acd: ADD
00000ace: SWAP2
00000acf: PUSH1 0x20
00000ad1: SWAP2
00000ad2: DUP3
00000ad3: ADD
00000ad4: SWAP2
00000ad5: ADD
00000ad6: PUSH2 0x0a9d
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: MLOAD
00000adc: DUP2
00000add: MLOAD
00000ade: PUSH1 0x20
00000ae0: SWAP4
00000ae1: DUP5
00000ae2: SUB
00000ae3: PUSH2 0x0100
00000ae6: EXP
00000ae7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000b08: ADD
00000b09: DUP1
00000b0a: NOT
00000b0b: SWAP1
00000b0c: SWAP3
00000b0d: AND
00000b0e: SWAP2
00000b0f: AND
00000b10: OR
00000b11: SWAP1
00000b12: MSTORE
00000b13: PUSH1 0x40
00000b15: MLOAD
00000b16: SWAP2
00000b17: SWAP1
00000b18: SWAP4
00000b19: ADD
00000b1a: SWAP5
00000b1b: POP
00000b1c: SWAP2
00000b1d: SWAP3
00000b1e: POP
00000b1f: POP
00000b20: DUP1
00000b21: DUP4
00000b22: SUB
00000b23: DUP2
00000b24: DUP6
00000b25: GAS
00000b26: STATICCALL
00000b27: ISZERO
00000b28: DUP1
00000b29: ISZERO
00000b2a: PUSH2 0x0b37
00000b2d: JUMPI
00000b2e: RETURNDATASIZE
00000b2f: PUSH1 0x00
00000b31: DUP1
00000b32: RETURNDATACOPY
00000b33: RETURNDATASIZE
00000b34: PUSH1 0x00
00000b36: REVERT
00000b37: JUMPDEST
00000b38: POP
00000b39: POP
00000b3a: POP
00000b3b: PUSH1 0x40
00000b3d: MLOAD
00000b3e: RETURNDATASIZE
00000b3f: PUSH1 0x20
00000b41: DUP2
00000b42: LT
00000b43: ISZERO
00000b44: PUSH2 0x0b4c
00000b47: JUMPI
00000b48: PUSH1 0x00
00000b4a: DUP1
00000b4b: REVERT
00000b4c: JUMPDEST
00000b4d: POP
00000b4e: MLOAD
00000b4f: PUSH1 0x40
00000b51: DUP1
00000b52: MLOAD
00000b53: PUSH1 0x20
00000b55: DUP2
00000b56: ADD
00000b57: DUP6
00000b58: DUP2
00000b59: MSTORE
00000b5a: SWAP3
00000b5b: SWAP4
00000b5c: POP
00000b5d: PUSH1 0x00
00000b5f: SWAP3
00000b60: PUSH1 0x02
00000b62: SWAP3
00000b63: DUP4
00000b64: SWAP3
00000b65: DUP8
00000b66: SWAP3
00000b67: DUP16
00000b68: SWAP3
00000b69: DUP16
00000b6a: SWAP3
00000b6b: ADD
00000b6c: DUP4
00000b6d: DUP4
00000b6e: DUP1
00000b6f: DUP3
00000b70: DUP5
00000b71: CALLDATACOPY
00000b72: DUP1
00000b73: DUP4
00000b74: ADD
00000b75: SWAP3
00000b76: POP
00000b77: POP
00000b78: POP
00000b79: SWAP4
00000b7a: POP
00000b7b: POP
00000b7c: POP
00000b7d: POP
00000b7e: PUSH1 0x40
00000b80: MLOAD
00000b81: PUSH1 0x20
00000b83: DUP2
00000b84: DUP4
00000b85: SUB
00000b86: SUB
00000b87: DUP2
00000b88: MSTORE
00000b89: SWAP1
00000b8a: PUSH1 0x40
00000b8c: MSTORE
00000b8d: PUSH1 0x40
00000b8f: MLOAD
00000b90: DUP1
00000b91: DUP3
00000b92: DUP1
00000b93: MLOAD
00000b94: SWAP1
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: SWAP1
00000b99: DUP1
00000b9a: DUP4
00000b9b: DUP4
00000b9c: JUMPDEST
00000b9d: PUSH1 0x20
00000b9f: DUP4
00000ba0: LT
00000ba1: PUSH2 0x0bd9
00000ba4: JUMPI
00000ba5: DUP1
00000ba6: MLOAD
00000ba7: DUP3
00000ba8: MSTORE
00000ba9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000bca: SWAP1
00000bcb: SWAP3
00000bcc: ADD
00000bcd: SWAP2
00000bce: PUSH1 0x20
00000bd0: SWAP2
00000bd1: DUP3
00000bd2: ADD
00000bd3: SWAP2
00000bd4: ADD
00000bd5: PUSH2 0x0b9c
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: MLOAD
00000bdb: DUP2
00000bdc: MLOAD
00000bdd: PUSH1 0x20
00000bdf: SWAP4
00000be0: DUP5
00000be1: SUB
00000be2: PUSH2 0x0100
00000be5: EXP
00000be6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c07: ADD
00000c08: DUP1
00000c09: NOT
00000c0a: SWAP1
00000c0b: SWAP3
00000c0c: AND
00000c0d: SWAP2
00000c0e: AND
00000c0f: OR
00000c10: SWAP1
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: MLOAD
00000c15: SWAP2
00000c16: SWAP1
00000c17: SWAP4
00000c18: ADD
00000c19: SWAP5
00000c1a: POP
00000c1b: SWAP2
00000c1c: SWAP3
00000c1d: POP
00000c1e: POP
00000c1f: DUP1
00000c20: DUP4
00000c21: SUB
00000c22: DUP2
00000c23: DUP6
00000c24: GAS
00000c25: STATICCALL
00000c26: ISZERO
00000c27: DUP1
00000c28: ISZERO
00000c29: PUSH2 0x0c36
00000c2c: JUMPI
00000c2d: RETURNDATASIZE
00000c2e: PUSH1 0x00
00000c30: DUP1
00000c31: RETURNDATACOPY
00000c32: RETURNDATASIZE
00000c33: PUSH1 0x00
00000c35: REVERT
00000c36: JUMPDEST
00000c37: POP
00000c38: POP
00000c39: POP
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: RETURNDATASIZE
00000c3e: PUSH1 0x20
00000c40: DUP2
00000c41: LT
00000c42: ISZERO
00000c43: PUSH2 0x0c4b
00000c46: JUMPI
00000c47: PUSH1 0x00
00000c49: DUP1
00000c4a: REVERT
00000c4b: JUMPDEST
00000c4c: POP
00000c4d: MLOAD
00000c4e: PUSH1 0x40
00000c50: MLOAD
00000c51: DUP7
00000c52: MLOAD
00000c53: PUSH1 0x02
00000c55: SWAP2
00000c56: DUP9
00000c57: SWAP2
00000c58: PUSH1 0x00
00000c5a: SWAP2
00000c5b: DUP9
00000c5c: SWAP2
00000c5d: PUSH1 0x20
00000c5f: SWAP2
00000c60: DUP3
00000c61: ADD
00000c62: SWAP2
00000c63: DUP3
00000c64: SWAP2
00000c65: SWAP1
00000c66: DUP7
00000c67: ADD
00000c68: SWAP1
00000c69: DUP1
00000c6a: DUP4
00000c6b: DUP4
00000c6c: JUMPDEST
00000c6d: PUSH1 0x20
00000c6f: DUP4
00000c70: LT
00000c71: PUSH2 0x0ca9
00000c74: JUMPI
00000c75: DUP1
00000c76: MLOAD
00000c77: DUP3
00000c78: MSTORE
00000c79: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000c9a: SWAP1
00000c9b: SWAP3
00000c9c: ADD
00000c9d: SWAP2
00000c9e: PUSH1 0x20
00000ca0: SWAP2
00000ca1: DUP3
00000ca2: ADD
00000ca3: SWAP2
00000ca4: ADD
00000ca5: PUSH2 0x0c6c
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH1 0x01
00000cac: DUP4
00000cad: PUSH1 0x20
00000caf: SUB
00000cb0: PUSH2 0x0100
00000cb3: EXP
00000cb4: SUB
00000cb5: DUP1
00000cb6: NOT
00000cb7: DUP3
00000cb8: MLOAD
00000cb9: AND
00000cba: DUP2
00000cbb: DUP5
00000cbc: MLOAD
00000cbd: AND
00000cbe: DUP1
00000cbf: DUP3
00000cc0: OR
00000cc1: DUP6
00000cc2: MSTORE
00000cc3: POP
00000cc4: POP
00000cc5: POP
00000cc6: POP
00000cc7: POP
00000cc8: POP
00000cc9: SWAP1
00000cca: POP
00000ccb: ADD
00000ccc: DUP4
00000ccd: PUSH8 0xffffffffffffffff
00000cd6: NOT
00000cd7: AND
00000cd8: PUSH8 0xffffffffffffffff
00000ce1: NOT
00000ce2: AND
00000ce3: DUP2
00000ce4: MSTORE
00000ce5: PUSH1 0x18
00000ce7: ADD
00000ce8: DUP3
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: ADD
00000cee: SWAP4
00000cef: POP
00000cf0: POP
00000cf1: POP
00000cf2: POP
00000cf3: PUSH1 0x40
00000cf5: MLOAD
00000cf6: PUSH1 0x20
00000cf8: DUP2
00000cf9: DUP4
00000cfa: SUB
00000cfb: SUB
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: SWAP1
00000cff: PUSH1 0x40
00000d01: MSTORE
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: DUP1
00000d06: DUP3
00000d07: DUP1
00000d08: MLOAD
00000d09: SWAP1
00000d0a: PUSH1 0x20
00000d0c: ADD
00000d0d: SWAP1
00000d0e: DUP1
00000d0f: DUP4
00000d10: DUP4
00000d11: JUMPDEST
00000d12: PUSH1 0x20
00000d14: DUP4
00000d15: LT
00000d16: PUSH2 0x0d4e
00000d19: JUMPI
00000d1a: DUP1
00000d1b: MLOAD
00000d1c: DUP3
00000d1d: MSTORE
00000d1e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000d3f: SWAP1
00000d40: SWAP3
00000d41: ADD
00000d42: SWAP2
00000d43: PUSH1 0x20
00000d45: SWAP2
00000d46: DUP3
00000d47: ADD
00000d48: SWAP2
00000d49: ADD
00000d4a: PUSH2 0x0d11
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: MLOAD
00000d50: DUP2
00000d51: MLOAD
00000d52: PUSH1 0x20
00000d54: SWAP4
00000d55: DUP5
00000d56: SUB
00000d57: PUSH2 0x0100
00000d5a: EXP
00000d5b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000d7c: ADD
00000d7d: DUP1
00000d7e: NOT
00000d7f: SWAP1
00000d80: SWAP3
00000d81: AND
00000d82: SWAP2
00000d83: AND
00000d84: OR
00000d85: SWAP1
00000d86: MSTORE
00000d87: PUSH1 0x40
00000d89: MLOAD
00000d8a: SWAP2
00000d8b: SWAP1
00000d8c: SWAP4
00000d8d: ADD
00000d8e: SWAP5
00000d8f: POP
00000d90: SWAP2
00000d91: SWAP3
00000d92: POP
00000d93: POP
00000d94: DUP1
00000d95: DUP4
00000d96: SUB
00000d97: DUP2
00000d98: DUP6
00000d99: GAS
00000d9a: STATICCALL
00000d9b: ISZERO
00000d9c: DUP1
00000d9d: ISZERO
00000d9e: PUSH2 0x0dab
00000da1: JUMPI
00000da2: RETURNDATASIZE
00000da3: PUSH1 0x00
00000da5: DUP1
00000da6: RETURNDATACOPY
00000da7: RETURNDATASIZE
00000da8: PUSH1 0x00
00000daa: REVERT
00000dab: JUMPDEST
00000dac: POP
00000dad: POP
00000dae: POP
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: RETURNDATASIZE
00000db3: PUSH1 0x20
00000db5: DUP2
00000db6: LT
00000db7: ISZERO
00000db8: PUSH2 0x0dc0
00000dbb: JUMPI
00000dbc: PUSH1 0x00
00000dbe: DUP1
00000dbf: REVERT
00000dc0: JUMPDEST
00000dc1: POP
00000dc2: MLOAD
00000dc3: PUSH1 0x40
00000dc5: DUP1
00000dc6: MLOAD
00000dc7: PUSH1 0x20
00000dc9: DUP2
00000dca: DUP2
00000dcb: ADD
00000dcc: SWAP5
00000dcd: SWAP1
00000dce: SWAP5
00000dcf: MSTORE
00000dd0: DUP1
00000dd1: DUP3
00000dd2: ADD
00000dd3: SWAP3
00000dd4: SWAP1
00000dd5: SWAP3
00000dd6: MSTORE
00000dd7: DUP1
00000dd8: MLOAD
00000dd9: DUP1
00000dda: DUP4
00000ddb: SUB
00000ddc: DUP3
00000ddd: ADD
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x60
00000de2: SWAP1
00000de3: SWAP3
00000de4: ADD
00000de5: SWAP1
00000de6: DUP2
00000de7: SWAP1
00000de8: MSTORE
00000de9: DUP2
00000dea: MLOAD
00000deb: SWAP2
00000dec: SWAP3
00000ded: SWAP1
00000dee: SWAP2
00000def: DUP3
00000df0: SWAP2
00000df1: DUP5
00000df2: ADD
00000df3: SWAP1
00000df4: DUP1
00000df5: DUP4
00000df6: DUP4
00000df7: JUMPDEST
00000df8: PUSH1 0x20
00000dfa: DUP4
00000dfb: LT
00000dfc: PUSH2 0x0e34
00000dff: JUMPI
00000e00: DUP1
00000e01: MLOAD
00000e02: DUP3
00000e03: MSTORE
00000e04: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000e25: SWAP1
00000e26: SWAP3
00000e27: ADD
00000e28: SWAP2
00000e29: PUSH1 0x20
00000e2b: SWAP2
00000e2c: DUP3
00000e2d: ADD
00000e2e: SWAP2
00000e2f: ADD
00000e30: PUSH2 0x0df7
00000e33: JUMP
00000e34: JUMPDEST
00000e35: MLOAD
00000e36: DUP2
00000e37: MLOAD
00000e38: PUSH1 0x20
00000e3a: SWAP4
00000e3b: DUP5
00000e3c: SUB
00000e3d: PUSH2 0x0100
00000e40: EXP
00000e41: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e62: ADD
00000e63: DUP1
00000e64: NOT
00000e65: SWAP1
00000e66: SWAP3
00000e67: AND
00000e68: SWAP2
00000e69: AND
00000e6a: OR
00000e6b: SWAP1
00000e6c: MSTORE
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: SWAP2
00000e71: SWAP1
00000e72: SWAP4
00000e73: ADD
00000e74: SWAP5
00000e75: POP
00000e76: SWAP2
00000e77: SWAP3
00000e78: POP
00000e79: POP
00000e7a: DUP1
00000e7b: DUP4
00000e7c: SUB
00000e7d: DUP2
00000e7e: DUP6
00000e7f: GAS
00000e80: STATICCALL
00000e81: ISZERO
00000e82: DUP1
00000e83: ISZERO
00000e84: PUSH2 0x0e91
00000e87: JUMPI
00000e88: RETURNDATASIZE
00000e89: PUSH1 0x00
00000e8b: DUP1
00000e8c: RETURNDATACOPY
00000e8d: RETURNDATASIZE
00000e8e: PUSH1 0x00
00000e90: REVERT
00000e91: JUMPDEST
00000e92: POP
00000e93: POP
00000e94: POP
00000e95: PUSH1 0x40
00000e97: MLOAD
00000e98: RETURNDATASIZE
00000e99: PUSH1 0x20
00000e9b: DUP2
00000e9c: LT
00000e9d: ISZERO
00000e9e: PUSH2 0x0ea6
00000ea1: JUMPI
00000ea2: PUSH1 0x00
00000ea4: DUP1
00000ea5: REVERT
00000ea6: JUMPDEST
00000ea7: POP
00000ea8: MLOAD
00000ea9: SWAP1
00000eaa: POP
00000eab: DUP6
00000eac: DUP2
00000ead: EQ
00000eae: PUSH2 0x0f02
00000eb1: JUMPI
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed6: DUP2
00000ed7: MSTORE
00000ed8: PUSH1 0x04
00000eda: ADD
00000edb: DUP1
00000edc: DUP1
00000edd: PUSH1 0x20
00000edf: ADD
00000ee0: DUP3
00000ee1: DUP2
00000ee2: SUB
00000ee3: DUP3
00000ee4: MSTORE
00000ee5: PUSH1 0x54
00000ee7: DUP2
00000ee8: MSTORE
00000ee9: PUSH1 0x20
00000eeb: ADD
00000eec: DUP1
00000eed: PUSH2 0x1748
00000ef0: PUSH1 0x54
00000ef2: SWAP2
00000ef3: CODECOPY
00000ef4: PUSH1 0x60
00000ef6: ADD
00000ef7: SWAP2
00000ef8: POP
00000ef9: POP
00000efa: PUSH1 0x40
00000efc: MLOAD
00000efd: DUP1
00000efe: SWAP2
00000eff: SUB
00000f00: SWAP1
00000f01: REVERT
00000f02: JUMPDEST
00000f03: PUSH1 0x20
00000f05: SLOAD
00000f06: PUSH4 0xffffffff
00000f0b: GT
00000f0c: PUSH2 0x0f60
00000f0f: JUMPI
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f34: DUP2
00000f35: MSTORE
00000f36: PUSH1 0x04
00000f38: ADD
00000f39: DUP1
00000f3a: DUP1
00000f3b: PUSH1 0x20
00000f3d: ADD
00000f3e: DUP3
00000f3f: DUP2
00000f40: SUB
00000f41: DUP3
00000f42: MSTORE
00000f43: PUSH1 0x21
00000f45: DUP2
00000f46: MSTORE
00000f47: PUSH1 0x20
00000f49: ADD
00000f4a: DUP1
00000f4b: PUSH2 0x1727
00000f4e: PUSH1 0x21
00000f50: SWAP2
00000f51: CODECOPY
00000f52: PUSH1 0x40
00000f54: ADD
00000f55: SWAP2
00000f56: POP
00000f57: POP
00000f58: PUSH1 0x40
00000f5a: MLOAD
00000f5b: DUP1
00000f5c: SWAP2
00000f5d: SUB
00000f5e: SWAP1
00000f5f: REVERT
00000f60: JUMPDEST
00000f61: PUSH1 0x20
00000f63: DUP1
00000f64: SLOAD
00000f65: PUSH1 0x01
00000f67: ADD
00000f68: SWAP1
00000f69: DUP2
00000f6a: SWAP1
00000f6b: SSTORE
00000f6c: PUSH1 0x00
00000f6e: JUMPDEST
00000f6f: PUSH1 0x20
00000f71: DUP2
00000f72: LT
00000f73: ISZERO
00000f74: PUSH2 0x10a9
00000f77: JUMPI
00000f78: DUP2
00000f79: PUSH1 0x01
00000f7b: AND
00000f7c: PUSH1 0x01
00000f7e: EQ
00000f7f: ISZERO
00000f80: PUSH2 0x0fa0
00000f83: JUMPI
00000f84: DUP3
00000f85: PUSH1 0x00
00000f87: DUP3
00000f88: PUSH1 0x20
00000f8a: DUP2
00000f8b: LT
00000f8c: PUSH2 0x0f91
00000f8f: JUMPI
00000f90: INVALID
00000f91: JUMPDEST
00000f92: ADD
00000f93: SSTORE
00000f94: POP
00000f95: PUSH2 0x10ac
00000f98: SWAP6
00000f99: POP
00000f9a: POP
00000f9b: POP
00000f9c: POP
00000f9d: POP
00000f9e: POP
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x02
00000fa3: PUSH1 0x00
00000fa5: DUP3
00000fa6: PUSH1 0x20
00000fa8: DUP2
00000fa9: LT
00000faa: PUSH2 0x0faf
00000fad: JUMPI
00000fae: INVALID
00000faf: JUMPDEST
00000fb0: ADD
00000fb1: SLOAD
00000fb2: DUP5
00000fb3: PUSH1 0x40
00000fb5: MLOAD
00000fb6: PUSH1 0x20
00000fb8: ADD
00000fb9: DUP1
00000fba: DUP4
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: ADD
00000fc0: DUP3
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH1 0x20
00000fc5: ADD
00000fc6: SWAP3
00000fc7: POP
00000fc8: POP
00000fc9: POP
00000fca: PUSH1 0x40
00000fcc: MLOAD
00000fcd: PUSH1 0x20
00000fcf: DUP2
00000fd0: DUP4
00000fd1: SUB
00000fd2: SUB
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: SWAP1
00000fd6: PUSH1 0x40
00000fd8: MSTORE
00000fd9: PUSH1 0x40
00000fdb: MLOAD
00000fdc: DUP1
00000fdd: DUP3
00000fde: DUP1
00000fdf: MLOAD
00000fe0: SWAP1
00000fe1: PUSH1 0x20
00000fe3: ADD
00000fe4: SWAP1
00000fe5: DUP1
00000fe6: DUP4
00000fe7: DUP4
00000fe8: JUMPDEST
00000fe9: PUSH1 0x20
00000feb: DUP4
00000fec: LT
00000fed: PUSH2 0x1025
00000ff0: JUMPI
00000ff1: DUP1
00000ff2: MLOAD
00000ff3: DUP3
00000ff4: MSTORE
00000ff5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001016: SWAP1
00001017: SWAP3
00001018: ADD
00001019: SWAP2
0000101a: PUSH1 0x20
0000101c: SWAP2
0000101d: DUP3
0000101e: ADD
0000101f: SWAP2
00001020: ADD
00001021: PUSH2 0x0fe8
00001024: JUMP
00001025: JUMPDEST
00001026: MLOAD
00001027: DUP2
00001028: MLOAD
00001029: PUSH1 0x20
0000102b: SWAP4
0000102c: DUP5
0000102d: SUB
0000102e: PUSH2 0x0100
00001031: EXP
00001032: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001053: ADD
00001054: DUP1
00001055: NOT
00001056: SWAP1
00001057: SWAP3
00001058: AND
00001059: SWAP2
0000105a: AND
0000105b: OR
0000105c: SWAP1
0000105d: MSTORE
0000105e: PUSH1 0x40
00001060: MLOAD
00001061: SWAP2
00001062: SWAP1
00001063: SWAP4
00001064: ADD
00001065: SWAP5
00001066: POP
00001067: SWAP2
00001068: SWAP3
00001069: POP
0000106a: POP
0000106b: DUP1
0000106c: DUP4
0000106d: SUB
0000106e: DUP2
0000106f: DUP6
00001070: GAS
00001071: STATICCALL
00001072: ISZERO
00001073: DUP1
00001074: ISZERO
00001075: PUSH2 0x1082
00001078: JUMPI
00001079: RETURNDATASIZE
0000107a: PUSH1 0x00
0000107c: DUP1
0000107d: RETURNDATACOPY
0000107e: RETURNDATASIZE
0000107f: PUSH1 0x00
00001081: REVERT
00001082: JUMPDEST
00001083: POP
00001084: POP
00001085: POP
00001086: PUSH1 0x40
00001088: MLOAD
00001089: RETURNDATASIZE
0000108a: PUSH1 0x20
0000108c: DUP2
0000108d: LT
0000108e: ISZERO
0000108f: PUSH2 0x1097
00001092: JUMPI
00001093: PUSH1 0x00
00001095: DUP1
00001096: REVERT
00001097: JUMPDEST
00001098: POP
00001099: MLOAD
0000109a: SWAP3
0000109b: POP
0000109c: PUSH1 0x02
0000109e: DUP3
0000109f: DIV
000010a0: SWAP2
000010a1: POP
000010a2: PUSH1 0x01
000010a4: ADD
000010a5: PUSH2 0x0f6e
000010a8: JUMP
000010a9: JUMPDEST
000010aa: POP
000010ab: INVALID
000010ac: JUMPDEST
000010ad: POP
000010ae: POP
000010af: POP
000010b0: POP
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x60
000010b8: PUSH2 0x10c2
000010bb: PUSH1 0x20
000010bd: SLOAD
000010be: PUSH2 0x14ba
000010c1: JUMP
000010c2: JUMPDEST
000010c3: SWAP1
000010c4: POP
000010c5: SWAP1
000010c6: JUMP
000010c7: JUMPDEST
000010c8: PUSH1 0x20
000010ca: SLOAD
000010cb: PUSH1 0x00
000010cd: SWAP1
000010ce: DUP2
000010cf: SWAP1
000010d0: DUP2
000010d1: JUMPDEST
000010d2: PUSH1 0x20
000010d4: DUP2
000010d5: LT
000010d6: ISZERO
000010d7: PUSH2 0x12f0
000010da: JUMPI
000010db: DUP2
000010dc: PUSH1 0x01
000010de: AND
000010df: PUSH1 0x01
000010e1: EQ
000010e2: ISZERO
000010e3: PUSH2 0x11e6
000010e6: JUMPI
000010e7: PUSH1 0x02
000010e9: PUSH1 0x00
000010eb: DUP3
000010ec: PUSH1 0x20
000010ee: DUP2
000010ef: LT
000010f0: PUSH2 0x10f5
000010f3: JUMPI
000010f4: INVALID
000010f5: JUMPDEST
000010f6: ADD
000010f7: SLOAD
000010f8: DUP5
000010f9: PUSH1 0x40
000010fb: MLOAD
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: DUP1
00001100: DUP4
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x20
00001105: ADD
00001106: DUP3
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: ADD
0000110c: SWAP3
0000110d: POP
0000110e: POP
0000110f: POP
00001110: PUSH1 0x40
00001112: MLOAD
00001113: PUSH1 0x20
00001115: DUP2
00001116: DUP4
00001117: SUB
00001118: SUB
00001119: DUP2
0000111a: MSTORE
0000111b: SWAP1
0000111c: PUSH1 0x40
0000111e: MSTORE
0000111f: PUSH1 0x40
00001121: MLOAD
00001122: DUP1
00001123: DUP3
00001124: DUP1
00001125: MLOAD
00001126: SWAP1
00001127: PUSH1 0x20
00001129: ADD
0000112a: SWAP1
0000112b: DUP1
0000112c: DUP4
0000112d: DUP4
0000112e: JUMPDEST
0000112f: PUSH1 0x20
00001131: DUP4
00001132: LT
00001133: PUSH2 0x116b
00001136: JUMPI
00001137: DUP1
00001138: MLOAD
00001139: DUP3
0000113a: MSTORE
0000113b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000115c: SWAP1
0000115d: SWAP3
0000115e: ADD
0000115f: SWAP2
00001160: PUSH1 0x20
00001162: SWAP2
00001163: DUP3
00001164: ADD
00001165: SWAP2
00001166: ADD
00001167: PUSH2 0x112e
0000116a: JUMP
0000116b: JUMPDEST
0000116c: MLOAD
0000116d: DUP2
0000116e: MLOAD
0000116f: PUSH1 0x20
00001171: SWAP4
00001172: DUP5
00001173: SUB
00001174: PUSH2 0x0100
00001177: EXP
00001178: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001199: ADD
0000119a: DUP1
0000119b: NOT
0000119c: SWAP1
0000119d: SWAP3
0000119e: AND
0000119f: SWAP2
000011a0: AND
000011a1: OR
000011a2: SWAP1
000011a3: MSTORE
000011a4: PUSH1 0x40
000011a6: MLOAD
000011a7: SWAP2
000011a8: SWAP1
000011a9: SWAP4
000011aa: ADD
000011ab: SWAP5
000011ac: POP
000011ad: SWAP2
000011ae: SWAP3
000011af: POP
000011b0: POP
000011b1: DUP1
000011b2: DUP4
000011b3: SUB
000011b4: DUP2
000011b5: DUP6
000011b6: GAS
000011b7: STATICCALL
000011b8: ISZERO
000011b9: DUP1
000011ba: ISZERO
000011bb: PUSH2 0x11c8
000011be: JUMPI
000011bf: RETURNDATASIZE
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: RETURNDATACOPY
000011c4: RETURNDATASIZE
000011c5: PUSH1 0x00
000011c7: REVERT
000011c8: JUMPDEST
000011c9: POP
000011ca: POP
000011cb: POP
000011cc: PUSH1 0x40
000011ce: MLOAD
000011cf: RETURNDATASIZE
000011d0: PUSH1 0x20
000011d2: DUP2
000011d3: LT
000011d4: ISZERO
000011d5: PUSH2 0x11dd
000011d8: JUMPI
000011d9: PUSH1 0x00
000011db: DUP1
000011dc: REVERT
000011dd: JUMPDEST
000011de: POP
000011df: MLOAD
000011e0: SWAP3
000011e1: POP
000011e2: PUSH2 0x12e2
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x02
000011e9: DUP4
000011ea: PUSH1 0x21
000011ec: DUP4
000011ed: PUSH1 0x20
000011ef: DUP2
000011f0: LT
000011f1: PUSH2 0x11f6
000011f4: JUMPI
000011f5: INVALID
000011f6: JUMPDEST
000011f7: ADD
000011f8: SLOAD
000011f9: PUSH1 0x40
000011fb: MLOAD
000011fc: PUSH1 0x20
000011fe: ADD
000011ff: DUP1
00001200: DUP4
00001201: DUP2
00001202: MSTORE
00001203: PUSH1 0x20
00001205: ADD
00001206: DUP3
00001207: DUP2
00001208: MSTORE
00001209: PUSH1 0x20
0000120b: ADD
0000120c: SWAP3
0000120d: POP
0000120e: POP
0000120f: POP
00001210: PUSH1 0x40
00001212: MLOAD
00001213: PUSH1 0x20
00001215: DUP2
00001216: DUP4
00001217: SUB
00001218: SUB
00001219: DUP2
0000121a: MSTORE
0000121b: SWAP1
0000121c: PUSH1 0x40
0000121e: MSTORE
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: DUP1
00001223: DUP3
00001224: DUP1
00001225: MLOAD
00001226: SWAP1
00001227: PUSH1 0x20
00001229: ADD
0000122a: SWAP1
0000122b: DUP1
0000122c: DUP4
0000122d: DUP4
0000122e: JUMPDEST
0000122f: PUSH1 0x20
00001231: DUP4
00001232: LT
00001233: PUSH2 0x126b
00001236: JUMPI
00001237: DUP1
00001238: MLOAD
00001239: DUP3
0000123a: MSTORE
0000123b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000125c: SWAP1
0000125d: SWAP3
0000125e: ADD
0000125f: SWAP2
00001260: PUSH1 0x20
00001262: SWAP2
00001263: DUP3
00001264: ADD
00001265: SWAP2
00001266: ADD
00001267: PUSH2 0x122e
0000126a: JUMP
0000126b: JUMPDEST
0000126c: MLOAD
0000126d: DUP2
0000126e: MLOAD
0000126f: PUSH1 0x20
00001271: SWAP4
00001272: DUP5
00001273: SUB
00001274: PUSH2 0x0100
00001277: EXP
00001278: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001299: ADD
0000129a: DUP1
0000129b: NOT
0000129c: SWAP1
0000129d: SWAP3
0000129e: AND
0000129f: SWAP2
000012a0: AND
000012a1: OR
000012a2: SWAP1
000012a3: MSTORE
000012a4: PUSH1 0x40
000012a6: MLOAD
000012a7: SWAP2
000012a8: SWAP1
000012a9: SWAP4
000012aa: ADD
000012ab: SWAP5
000012ac: POP
000012ad: SWAP2
000012ae: SWAP3
000012af: POP
000012b0: POP
000012b1: DUP1
000012b2: DUP4
000012b3: SUB
000012b4: DUP2
000012b5: DUP6
000012b6: GAS
000012b7: STATICCALL
000012b8: ISZERO
000012b9: DUP1
000012ba: ISZERO
000012bb: PUSH2 0x12c8
000012be: JUMPI
000012bf: RETURNDATASIZE
000012c0: PUSH1 0x00
000012c2: DUP1
000012c3: RETURNDATACOPY
000012c4: RETURNDATASIZE
000012c5: PUSH1 0x00
000012c7: REVERT
000012c8: JUMPDEST
000012c9: POP
000012ca: POP
000012cb: POP
000012cc: PUSH1 0x40
000012ce: MLOAD
000012cf: RETURNDATASIZE
000012d0: PUSH1 0x20
000012d2: DUP2
000012d3: LT
000012d4: ISZERO
000012d5: PUSH2 0x12dd
000012d8: JUMPI
000012d9: PUSH1 0x00
000012db: DUP1
000012dc: REVERT
000012dd: JUMPDEST
000012de: POP
000012df: MLOAD
000012e0: SWAP3
000012e1: POP
000012e2: JUMPDEST
000012e3: PUSH1 0x02
000012e5: DUP3
000012e6: DIV
000012e7: SWAP2
000012e8: POP
000012e9: PUSH1 0x01
000012eb: ADD
000012ec: PUSH2 0x10d1
000012ef: JUMP
000012f0: JUMPDEST
000012f1: POP
000012f2: PUSH1 0x02
000012f4: DUP3
000012f5: PUSH2 0x12ff
000012f8: PUSH1 0x20
000012fa: SLOAD
000012fb: PUSH2 0x14ba
000012fe: JUMP
000012ff: JUMPDEST
00001300: PUSH1 0x00
00001302: PUSH1 0x40
00001304: SHL
00001305: PUSH1 0x40
00001307: MLOAD
00001308: PUSH1 0x20
0000130a: ADD
0000130b: DUP1
0000130c: DUP5
0000130d: DUP2
0000130e: MSTORE
0000130f: PUSH1 0x20
00001311: ADD
00001312: DUP4
00001313: DUP1
00001314: MLOAD
00001315: SWAP1
00001316: PUSH1 0x20
00001318: ADD
00001319: SWAP1
0000131a: DUP1
0000131b: DUP4
0000131c: DUP4
0000131d: JUMPDEST
0000131e: PUSH1 0x20
00001320: DUP4
00001321: LT
00001322: PUSH2 0x135a
00001325: JUMPI
00001326: DUP1
00001327: MLOAD
00001328: DUP3
00001329: MSTORE
0000132a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000134b: SWAP1
0000134c: SWAP3
0000134d: ADD
0000134e: SWAP2
0000134f: PUSH1 0x20
00001351: SWAP2
00001352: DUP3
00001353: ADD
00001354: SWAP2
00001355: ADD
00001356: PUSH2 0x131d
00001359: JUMP
0000135a: JUMPDEST
0000135b: MLOAD
0000135c: DUP2
0000135d: MLOAD
0000135e: PUSH1 0x20
00001360: SWAP4
00001361: DUP5
00001362: SUB
00001363: PUSH2 0x0100
00001366: EXP
00001367: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001388: ADD
00001389: DUP1
0000138a: NOT
0000138b: SWAP1
0000138c: SWAP3
0000138d: AND
0000138e: SWAP2
0000138f: AND
00001390: OR
00001391: SWAP1
00001392: MSTORE
00001393: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
000013b4: SWAP6
000013b5: SWAP1
000013b6: SWAP6
000013b7: AND
000013b8: SWAP3
000013b9: ADD
000013ba: SWAP2
000013bb: DUP3
000013bc: MSTORE
000013bd: POP
000013be: PUSH1 0x40
000013c0: DUP1
000013c1: MLOAD
000013c2: DUP1
000013c3: DUP4
000013c4: SUB
000013c5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8
000013e6: ADD
000013e7: DUP2
000013e8: MSTORE
000013e9: PUSH1 0x18
000013eb: SWAP1
000013ec: SWAP3
000013ed: ADD
000013ee: SWAP1
000013ef: DUP2
000013f0: SWAP1
000013f1: MSTORE
000013f2: DUP2
000013f3: MLOAD
000013f4: SWAP2
000013f5: SWAP6
000013f6: POP
000013f7: SWAP4
000013f8: POP
000013f9: DUP4
000013fa: SWAP3
000013fb: DUP6
000013fc: ADD
000013fd: SWAP2
000013fe: POP
000013ff: DUP1
00001400: DUP4
00001401: DUP4
00001402: JUMPDEST
00001403: PUSH1 0x20
00001405: DUP4
00001406: LT
00001407: PUSH2 0x143f
0000140a: JUMPI
0000140b: DUP1
0000140c: MLOAD
0000140d: DUP3
0000140e: MSTORE
0000140f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001430: SWAP1
00001431: SWAP3
00001432: ADD
00001433: SWAP2
00001434: PUSH1 0x20
00001436: SWAP2
00001437: DUP3
00001438: ADD
00001439: SWAP2
0000143a: ADD
0000143b: PUSH2 0x1402
0000143e: JUMP
0000143f: JUMPDEST
00001440: MLOAD
00001441: DUP2
00001442: MLOAD
00001443: PUSH1 0x20
00001445: SWAP4
00001446: DUP5
00001447: SUB
00001448: PUSH2 0x0100
0000144b: EXP
0000144c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000146d: ADD
0000146e: DUP1
0000146f: NOT
00001470: SWAP1
00001471: SWAP3
00001472: AND
00001473: SWAP2
00001474: AND
00001475: OR
00001476: SWAP1
00001477: MSTORE
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: SWAP2
0000147c: SWAP1
0000147d: SWAP4
0000147e: ADD
0000147f: SWAP5
00001480: POP
00001481: SWAP2
00001482: SWAP3
00001483: POP
00001484: POP
00001485: DUP1
00001486: DUP4
00001487: SUB
00001488: DUP2
00001489: DUP6
0000148a: GAS
0000148b: STATICCALL
0000148c: ISZERO
0000148d: DUP1
0000148e: ISZERO
0000148f: PUSH2 0x149c
00001492: JUMPI
00001493: RETURNDATASIZE
00001494: PUSH1 0x00
00001496: DUP1
00001497: RETURNDATACOPY
00001498: RETURNDATASIZE
00001499: PUSH1 0x00
0000149b: REVERT
0000149c: JUMPDEST
0000149d: POP
0000149e: POP
0000149f: POP
000014a0: PUSH1 0x40
000014a2: MLOAD
000014a3: RETURNDATASIZE
000014a4: PUSH1 0x20
000014a6: DUP2
000014a7: LT
000014a8: ISZERO
000014a9: PUSH2 0x14b1
000014ac: JUMPI
000014ad: PUSH1 0x00
000014af: DUP1
000014b0: REVERT
000014b1: JUMPDEST
000014b2: POP
000014b3: MLOAD
000014b4: SWAP3
000014b5: POP
000014b6: POP
000014b7: POP
000014b8: SWAP1
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH1 0x40
000014bd: DUP1
000014be: MLOAD
000014bf: PUSH1 0x08
000014c1: DUP1
000014c2: DUP3
000014c3: MSTORE
000014c4: DUP2
000014c5: DUP4
000014c6: ADD
000014c7: SWAP1
000014c8: SWAP3
000014c9: MSTORE
000014ca: PUSH1 0x60
000014cc: SWAP2
000014cd: PUSH1 0x20
000014cf: DUP3
000014d0: ADD
000014d1: DUP2
000014d2: DUP1
000014d3: CALLDATASIZE
000014d4: DUP4
000014d5: CALLDATACOPY
000014d6: ADD
000014d7: SWAP1
000014d8: POP
000014d9: POP
000014da: SWAP1
000014db: POP
000014dc: PUSH1 0xc0
000014de: DUP3
000014df: SWAP1
000014e0: SHL
000014e1: DUP1
000014e2: PUSH1 0x07
000014e4: BYTE
000014e5: PUSH1 0xf8
000014e7: SHL
000014e8: DUP3
000014e9: PUSH1 0x00
000014eb: DUP2
000014ec: MLOAD
000014ed: DUP2
000014ee: LT
000014ef: PUSH2 0x14f4
000014f2: JUMPI
000014f3: INVALID
000014f4: JUMPDEST
000014f5: PUSH1 0x20
000014f7: ADD
000014f8: ADD
000014f9: SWAP1
000014fa: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000151a: NOT
0000151b: AND
0000151c: SWAP1
0000151d: DUP2
0000151e: PUSH1 0x00
00001520: BYTE
00001521: SWAP1
00001522: MSTORE8
00001523: POP
00001524: DUP1
00001525: PUSH1 0x06
00001527: BYTE
00001528: PUSH1 0xf8
0000152a: SHL
0000152b: DUP3
0000152c: PUSH1 0x01
0000152e: DUP2
0000152f: MLOAD
00001530: DUP2
00001531: LT
00001532: PUSH2 0x1537
00001535: JUMPI
00001536: INVALID
00001537: JUMPDEST
00001538: PUSH1 0x20
0000153a: ADD
0000153b: ADD
0000153c: SWAP1
0000153d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000155d: NOT
0000155e: AND
0000155f: SWAP1
00001560: DUP2
00001561: PUSH1 0x00
00001563: BYTE
00001564: SWAP1
00001565: MSTORE8
00001566: POP
00001567: DUP1
00001568: PUSH1 0x05
0000156a: BYTE
0000156b: PUSH1 0xf8
0000156d: SHL
0000156e: DUP3
0000156f: PUSH1 0x02
00001571: DUP2
00001572: MLOAD
00001573: DUP2
00001574: LT
00001575: PUSH2 0x157a
00001578: JUMPI
00001579: INVALID
0000157a: JUMPDEST
0000157b: PUSH1 0x20
0000157d: ADD
0000157e: ADD
0000157f: SWAP1
00001580: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015a0: NOT
000015a1: AND
000015a2: SWAP1
000015a3: DUP2
000015a4: PUSH1 0x00
000015a6: BYTE
000015a7: SWAP1
000015a8: MSTORE8
000015a9: POP
000015aa: DUP1
000015ab: PUSH1 0x04
000015ad: BYTE
000015ae: PUSH1 0xf8
000015b0: SHL
000015b1: DUP3
000015b2: PUSH1 0x03
000015b4: DUP2
000015b5: MLOAD
000015b6: DUP2
000015b7: LT
000015b8: PUSH2 0x15bd
000015bb: JUMPI
000015bc: INVALID
000015bd: JUMPDEST
000015be: PUSH1 0x20
000015c0: ADD
000015c1: ADD
000015c2: SWAP1
000015c3: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000015e3: NOT
000015e4: AND
000015e5: SWAP1
000015e6: DUP2
000015e7: PUSH1 0x00
000015e9: BYTE
000015ea: SWAP1
000015eb: MSTORE8
000015ec: POP
000015ed: DUP1
000015ee: PUSH1 0x03
000015f0: BYTE
000015f1: PUSH1 0xf8
000015f3: SHL
000015f4: DUP3
000015f5: PUSH1 0x04
000015f7: DUP2
000015f8: MLOAD
000015f9: DUP2
000015fa: LT
000015fb: PUSH2 0x1600
000015fe: JUMPI
000015ff: INVALID
00001600: JUMPDEST
00001601: PUSH1 0x20
00001603: ADD
00001604: ADD
00001605: SWAP1
00001606: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001626: NOT
00001627: AND
00001628: SWAP1
00001629: DUP2
0000162a: PUSH1 0x00
0000162c: BYTE
0000162d: SWAP1
0000162e: MSTORE8
0000162f: POP
00001630: DUP1
00001631: PUSH1 0x02
00001633: BYTE
00001634: PUSH1 0xf8
00001636: SHL
00001637: DUP3
00001638: PUSH1 0x05
0000163a: DUP2
0000163b: MLOAD
0000163c: DUP2
0000163d: LT
0000163e: PUSH2 0x1643
00001641: JUMPI
00001642: INVALID
00001643: JUMPDEST
00001644: PUSH1 0x20
00001646: ADD
00001647: ADD
00001648: SWAP1
00001649: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001669: NOT
0000166a: AND
0000166b: SWAP1
0000166c: DUP2
0000166d: PUSH1 0x00
0000166f: BYTE
00001670: SWAP1
00001671: MSTORE8
00001672: POP
00001673: DUP1
00001674: PUSH1 0x01
00001676: BYTE
00001677: PUSH1 0xf8
00001679: SHL
0000167a: DUP3
0000167b: PUSH1 0x06
0000167d: DUP2
0000167e: MLOAD
0000167f: DUP2
00001680: LT
00001681: PUSH2 0x1686
00001684: JUMPI
00001685: INVALID
00001686: JUMPDEST
00001687: PUSH1 0x20
00001689: ADD
0000168a: ADD
0000168b: SWAP1
0000168c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016ac: NOT
000016ad: AND
000016ae: SWAP1
000016af: DUP2
000016b0: PUSH1 0x00
000016b2: BYTE
000016b3: SWAP1
000016b4: MSTORE8
000016b5: POP
000016b6: DUP1
000016b7: PUSH1 0x00
000016b9: BYTE
000016ba: PUSH1 0xf8
000016bc: SHL
000016bd: DUP3
000016be: PUSH1 0x07
000016c0: DUP2
000016c1: MLOAD
000016c2: DUP2
000016c3: LT
000016c4: PUSH2 0x16c9
000016c7: JUMPI
000016c8: INVALID
000016c9: JUMPDEST
000016ca: PUSH1 0x20
000016cc: ADD
000016cd: ADD
000016ce: SWAP1
000016cf: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016ef: NOT
000016f0: AND
000016f1: SWAP1
000016f2: DUP2
000016f3: PUSH1 0x00
000016f5: BYTE
000016f6: SWAP1
000016f7: MSTORE8
000016f8: POP
000016f9: POP
000016fa: SWAP2
000016fb: SWAP1
000016fc: POP
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x00
00001701: DUP1
00001702: DUP6
00001703: DUP6
00001704: GT
00001705: ISZERO
00001706: PUSH2 0x170d
00001709: JUMPI
0000170a: DUP2
0000170b: DUP3
0000170c: REVERT
0000170d: JUMPDEST
0000170e: DUP4
0000170f: DUP7
00001710: GT
00001711: ISZERO
00001712: PUSH2 0x1719
00001715: JUMPI
00001716: DUP2
00001717: DUP3
00001718: REVERT
00001719: JUMPDEST
0000171a: POP
0000171b: POP
0000171c: DUP3
0000171d: ADD
0000171e: SWAP4
0000171f: SWAP2
00001720: SWAP1
00001721: SWAP3
00001722: SUB
00001723: SWAP2
00001724: POP
00001725: JUMP
00001726: INVALID
00001727: DIFFICULTY
00001728: PUSH6 0x706f73697443
0000172f: PUSH16 0x6e74726163743a206d65726b6c652074
00001740: PUSH19 0x65652066756c6c4465706f736974436f6e7472
00001754: PUSH2 0x6374
00001757: GASPRICE
00001758: KECCAK256
00001759: PUSH19 0x65636f6e7374727563746564204465706f7369
0000176d: PUSH21 0x4461746120646f6573206e6f74206d617463682073
00001783: PUSH22 0x70706c696564206465706f7369745f646174615f726f
0000179a: PUSH16 0x744465706f736974436f6e7472616374
000017ab: GASPRICE
000017ac: KECCAK256
000017ad: PUSH10 0x6e76616c696420776974
000017b8: PUSH9 0x64726177616c5f6372
000017c2: PUSH6 0x64656e746961
000017c9: PUSH13 0x73206c656e6774684465706f73
000017d7: PUSH10 0x74436f6e74726163743a
000017e2: KECCAK256
000017e3: PUSH5 0x65706f7369
000017e9: PUSH21 0x2076616c7565206e6f74206d756c7469706c65206f
000017ff: PUSH7 0x20677765694465
00001807: PUSH17 0x6f736974436f6e74726163743a20696e76
00001819: PUSH2 0x6c69
0000181c: PUSH5 0x207075626b
00001822: PUSH6 0x79206c656e67
00001829: PUSH21 0x684465706f736974436f6e74726163743a20646570
0000183f: PUSH16 0x7369742076616c756520746f6f206869
00001850: PUSH8 0x684465706f736974
00001859: NUMBER
0000185a: PUSH16 0x6e74726163743a206465706f73697420
0000186b: PUSH23 0x616c756520746f6f206c6f774465706f736974436f6e74
00001883: PUSH19 0x6163743a20696e76616c6964207369676e6174
00001897: PUSH22 0x7265206c656e677468a2646970667358221220dceca8
000018ae: PUSH17 0x6b29e917dacf25fceef95acac8d90d765a
000018c0: UNKNOWN(0xC9)
000018c1: UNKNOWN(0x26)
000018c2: PUSH7 0x3ce4096195952b
000018ca: PUSH2 0x6473
000018cd: PUSH16