TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

574e77a0-3c88-4c57-b635-ee7830a3c74e

failed
Chain ID
1
Address
0xa0da53447c0f6c4987964d8463da7e6628b30f82
Block Number
—
Created
Mon, Jan 5, 2026 6:26 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31713 report.consolidate complete 1 / 1 3 months ago
95701 artifact.fetch failed 1 / 3 1 week ago
95702 tool.cast_disasm complete 1 / 3 1 week ago
95703 analysis.bundle complete 1 / 3 1 week ago
95704 capability.graph complete 1 / 3 1 week ago
95705 detector.run complete 1 / 3 1 week ago
95706 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed `AUDIT_BUNDLE.txt` (Treasury and interfaces); no concrete, exploitable path for an unauthorized attacker to extract ETH/tokens/NFTs was found under the stated assumptions.
View stderr 
[codex:819642] OpenAI Codex v0.77.0 (research preview)
[codex:819642] --------
[codex:819642] workdir: /tmp/codex-multi-8bndf33n
[codex:819642] model: gpt-5.2-codex
[codex:819642] provider: openai
[codex:819642] approval: never
[codex:819642] sandbox: read-only
[codex:819642] reasoning effort: xhigh
[codex:819642] reasoning summaries: auto
[codex:819642] session id: 019b8cd5-517f-74f2-a931-8f91459f1819
[codex:819642] --------
[codex:819642] user
[codex:819642] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:819642] 
[codex:819642] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:819642] 
[codex:819642] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:819642] - Gas inefficiency, code quality, naming, or best practices
[codex:819642] - Theoretical vulnerabilities without a clear extraction path
[codex:819642] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:819642] - Front-running unless it enables theft beyond MEV
[codex:819642] - DoS, griefing, or issues that don't result in attacker profit
[codex:819642] - Missing events, view function issues, or informational findings
[codex:819642] 
[codex:819642] HIGH-VALUE PATTERNS TO HUNT:
[codex:819642] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:819642] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:819642] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:819642] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:819642] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:819642] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:819642] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:819642] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:819642] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:819642] 
[codex:819642] For each finding, you MUST provide:
[codex:819642] 1. Exact file and line numbers of vulnerable code
[codex:819642] 2. Step-by-step exploit transaction sequence
[codex:819642] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:819642] 
[codex:819642] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:819642] 
[codex:819642] Output MUST be valid JSON matching the provided schema.
[codex:819642] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:819642] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:819642] mcp startup: no servers
[codex:819642] 
[codex:819642] thinking
[codex:819642] **Reading AUDIT_BUNDLE file**
[codex:819642] exec
[codex:819642] /bin/bash -lc ls in /tmp/codex-multi-8bndf33n succeeded in 5ms:
[codex:819642] AUDIT_BUNDLE.txt
[codex:819642] codex-output-schema.json
[codex:819642] contracts
[codex:819642] exec
[codex:819642] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-8bndf33n succeeded in 5ms:
[codex:819642] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:819642] 
[codex:819642] ================================================================================
[codex:819642] FILE: contracts/contracts/Treasury.sol
[codex:819642] ================================================================================
[codex:819642] // SPDX-License-Identifier: MIT
[codex:819642] pragma solidity ^0.8.18;
[codex:819642] 
[codex:819642] import "./interfaces/IErrorsTokenomics.sol";
[codex:819642] import "./interfaces/IOLAS.sol";
[codex:819642] import "./interfaces/IToken.sol";
[codex:819642] import "./interfaces/IServiceRegistry.sol";
[codex:819642] import "./interfaces/ITokenomics.sol";
[codex:819642] 
[codex:819642] /*
[codex:819642] * In this contract we consider both ETH and OLAS tokens.
[codex:819642] * For ETH tokens, there are currently about 121 million tokens.
[codex:819642] * Even if the ETH inflation rate is 5% per year, it would take 130+ years to reach 2^96 - 1 of ETH total supply.
[codex:819642] * Lately the inflation rate was lower and could actually be deflationary.
[codex:819642] *
[codex:819642] 
[codex:819642] thinking
[codex:819642] **Analyzing Treasury contract for exploits**
[codex:819642] codex
[codex:819642] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (Treasury and interfaces); no concrete, exploitable path for an unauthorized attacker to extract ETH/tokens/NFTs was found under the stated assumptions.","findings":[]}
[codex:819642] tokens used
[codex:819642] 14,700
[codex:819642] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (Treasury and interfaces); no concrete, exploitable path for an unauthorized attacker to extract ETH/tokens/NFTs was found under the stated assumptions.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-05T06:26:24.273019+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `AUDIT_BUNDLE.txt` (Treasury and interfaces); no concrete, exploitable path for an unauthorized attacker to extract ETH/tokens/NFTs was found under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed `AUDIT_BUNDLE.txt` (Treasury and interfaces); no concrete, exploitable path for an unauthorized attacker to extract ETH/tokens/NFTs was found under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
3
Total opcodes
4968
Flags
call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01a4
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8456cb59
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xac10fc01
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc690908a
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc690908a
0000003a: EQ
0000003b: PUSH2 0x0677
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd5297793
00000045: EQ
00000046: PUSH2 0x0697
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe09d894d
00000050: EQ
00000051: PUSH2 0x06b7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf60ccd3a
0000005b: EQ
0000005c: PUSH2 0x06d7
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xac10fc01
0000006b: EQ
0000006c: PUSH2 0x05fb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb3c3294a
00000076: EQ
00000077: PUSH2 0x0627
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbedd12a5
00000081: EQ
00000082: PUSH2 0x0657
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x9015d371
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x9015d371
0000009c: EQ
0000009d: PUSH2 0x058f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa6f9dae1
000000a7: EQ
000000a8: PUSH2 0x05c8
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa8ce8911
000000b2: EQ
000000b3: PUSH2 0x05e8
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x8456cb59
000000c2: EQ
000000c3: PUSH2 0x0545
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x8da5cb5b
000000cd: EQ
000000ce: PUSH2 0x055a
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x8f202bf9
000000d8: EQ
000000d9: PUSH2 0x057a
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x462617e5
000000e8: GT
000000e9: PUSH2 0x014e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x5c975abb
000000f3: GT
000000f4: PUSH2 0x0128
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x5c975abb
000000fe: EQ
000000ff: PUSH2 0x0496
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x5d63b758
00000109: EQ
0000010a: PUSH2 0x04c9
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x69328dec
00000114: EQ
00000115: PUSH2 0x04f5
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x7ff796ab
0000011f: EQ
00000120: PUSH2 0x0525
00000123: JUMPI
00000124: PUSH1 0x00
00000126: DUP1
00000127: REVERT
00000128: JUMPDEST
00000129: DUP1
0000012a: PUSH4 0x462617e5
0000012f: EQ
00000130: PUSH2 0x041b
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x4ac7251d
0000013a: EQ
0000013b: PUSH2 0x043b
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x4c20f8e4
00000145: EQ
00000146: PUSH2 0x045b
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: DUP1
00000150: PUSH4 0x23e27a64
00000155: GT
00000156: PUSH2 0x017f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x23e27a64
00000160: EQ
00000161: PUSH2 0x039d
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x2f29e573
0000016b: EQ
0000016c: PUSH2 0x03bd
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x3f4ba83a
00000176: EQ
00000177: PUSH2 0x0406
0000017a: JUMPI
0000017b: PUSH1 0x00
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: DUP1
00000181: PUSH3 0x31d115
00000185: EQ
00000186: PUSH2 0x0316
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0x1878d1f1
00000190: EQ
00000191: PUSH2 0x0353
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0x1ac17db9
0000019b: EQ
0000019c: PUSH2 0x037b
0000019f: JUMPI
000001a0: PUSH1 0x00
000001a2: DUP1
000001a3: REVERT
000001a4: JUMPDEST
000001a5: CALLDATASIZE
000001a6: PUSH2 0x0311
000001a9: JUMPI
000001aa: PUSH1 0x02
000001ac: SLOAD
000001ad: PUSH1 0x01
000001af: PUSH1 0xa0
000001b1: SHL
000001b2: SWAP1
000001b3: DIV
000001b4: PUSH12 0xffffffffffffffffffffffff
000001c1: AND
000001c2: CALLVALUE
000001c3: LT
000001c4: ISZERO
000001c5: PUSH2 0x021f
000001c8: JUMPI
000001c9: PUSH1 0x02
000001cb: SLOAD
000001cc: PUSH1 0x40
000001ce: MLOAD
000001cf: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000
000001f0: DUP2
000001f1: MSTORE
000001f2: CALLVALUE
000001f3: PUSH1 0x04
000001f5: DUP3
000001f6: ADD
000001f7: MSTORE
000001f8: PUSH1 0x01
000001fa: PUSH1 0xa0
000001fc: SHL
000001fd: SWAP1
000001fe: SWAP2
000001ff: DIV
00000200: PUSH12 0xffffffffffffffffffffffff
0000020d: AND
0000020e: PUSH1 0x24
00000210: DUP3
00000211: ADD
00000212: MSTORE
00000213: PUSH1 0x44
00000215: ADD
00000216: JUMPDEST
00000217: PUSH1 0x40
00000219: MLOAD
0000021a: DUP1
0000021b: SWAP2
0000021c: SUB
0000021d: SWAP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: PUSH1 0x01
00000222: SLOAD
00000223: PUSH1 0x01
00000225: PUSH1 0xa0
00000227: SHL
00000228: SWAP1
00000229: DIV
0000022a: PUSH12 0xffffffffffffffffffffffff
00000237: AND
00000238: PUSH2 0x0241
0000023b: CALLVALUE
0000023c: DUP3
0000023d: PUSH2 0x208e
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH1 0x00
00000244: SLOAD
00000245: SWAP1
00000246: SWAP2
00000247: POP
00000248: PUSH12 0xffffffffffffffffffffffff
00000255: SWAP1
00000256: PUSH2 0x0268
00000259: SWAP1
0000025a: PUSH1 0x01
0000025c: PUSH1 0xa0
0000025e: SHL
0000025f: SWAP1
00000260: DIV
00000261: DUP3
00000262: AND
00000263: DUP4
00000264: PUSH2 0x208e
00000267: JUMP
00000268: JUMPDEST
00000269: GT
0000026a: ISZERO
0000026b: PUSH2 0x02b5
0000026e: JUMPI
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000
00000293: DUP2
00000294: MSTORE
00000295: PUSH1 0x04
00000297: DUP2
00000298: ADD
00000299: DUP3
0000029a: SWAP1
0000029b: MSTORE
0000029c: PUSH12 0xffffffffffffffffffffffff
000002a9: PUSH1 0x24
000002ab: DUP3
000002ac: ADD
000002ad: MSTORE
000002ae: PUSH1 0x44
000002b0: ADD
000002b1: PUSH2 0x0216
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x01
000002b8: DUP1
000002b9: SLOAD
000002ba: PUSH1 0x01
000002bc: PUSH1 0x01
000002be: PUSH1 0xa0
000002c0: SHL
000002c1: SUB
000002c2: AND
000002c3: PUSH1 0x01
000002c5: PUSH1 0xa0
000002c7: SHL
000002c8: PUSH12 0xffffffffffffffffffffffff
000002d5: DUP5
000002d6: AND
000002d7: MUL
000002d8: OR
000002d9: SWAP1
000002da: SSTORE
000002db: PUSH1 0x40
000002dd: MLOAD
000002de: CALLVALUE
000002df: DUP2
000002e0: MSTORE
000002e1: CALLER
000002e2: SWAP1
000002e3: PUSH32 0x830d2d700a97af574b186c80d40429385d24241565b08a7c559ba283a964d9b1
00000304: SWAP1
00000305: PUSH1 0x20
00000307: ADD
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: DUP1
0000030c: SWAP2
0000030d: SUB
0000030e: SWAP1
0000030f: LOG2
00000310: STOP
00000311: JUMPDEST
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH1 0x01
00000326: SLOAD
00000327: PUSH2 0x0336
0000032a: SWAP1
0000032b: PUSH1 0x01
0000032d: PUSH1 0x01
0000032f: PUSH1 0xa0
00000331: SHL
00000332: SUB
00000333: AND
00000334: DUP2
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x40
00000339: MLOAD
0000033a: PUSH1 0x01
0000033c: PUSH1 0x01
0000033e: PUSH1 0xa0
00000340: SHL
00000341: SUB
00000342: SWAP1
00000343: SWAP2
00000344: AND
00000345: DUP2
00000346: MSTORE
00000347: PUSH1 0x20
00000349: ADD
0000034a: JUMPDEST
0000034b: PUSH1 0x40
0000034d: MLOAD
0000034e: DUP1
0000034f: SWAP2
00000350: SUB
00000351: SWAP1
00000352: RETURN
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x0336
00000364: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000379: DUP2
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH2 0x039b
0000038c: PUSH2 0x0396
0000038f: CALLDATASIZE
00000390: PUSH1 0x04
00000392: PUSH2 0x20bc
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x06f7
0000039a: JUMP
0000039b: JUMPDEST
0000039c: STOP
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a9
000003a4: JUMPI
000003a5: PUSH1 0x00
000003a7: DUP1
000003a8: REVERT
000003a9: JUMPDEST
000003aa: POP
000003ab: PUSH2 0x039b
000003ae: PUSH2 0x03b8
000003b1: CALLDATASIZE
000003b2: PUSH1 0x04
000003b4: PUSH2 0x2104
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH2 0x0ae0
000003bc: JUMP
000003bd: JUMPDEST
000003be: CALLVALUE
000003bf: DUP1
000003c0: ISZERO
000003c1: PUSH2 0x03c9
000003c4: JUMPI
000003c5: PUSH1 0x00
000003c7: DUP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: POP
000003cb: PUSH1 0x00
000003cd: SLOAD
000003ce: PUSH2 0x03e9
000003d1: SWAP1
000003d2: PUSH1 0x01
000003d4: PUSH1 0xa0
000003d6: SHL
000003d7: SWAP1
000003d8: DIV
000003d9: PUSH12 0xffffffffffffffffffffffff
000003e6: AND
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH1 0x40
000003ec: MLOAD
000003ed: PUSH12 0xffffffffffffffffffffffff
000003fa: SWAP1
000003fb: SWAP2
000003fc: AND
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: ADD
00000402: PUSH2 0x034a
00000405: JUMP
00000406: JUMPDEST
00000407: CALLVALUE
00000408: DUP1
00000409: ISZERO
0000040a: PUSH2 0x0412
0000040d: JUMPI
0000040e: PUSH1 0x00
00000410: DUP1
00000411: REVERT
00000412: JUMPDEST
00000413: POP
00000414: PUSH2 0x039b
00000417: PUSH2 0x0bf9
0000041a: JUMP
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x039b
0000042c: PUSH2 0x0436
0000042f: CALLDATASIZE
00000430: PUSH1 0x04
00000432: PUSH2 0x2121
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH2 0x0c92
0000043a: JUMP
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH1 0x02
0000044b: SLOAD
0000044c: PUSH2 0x0336
0000044f: SWAP1
00000450: PUSH1 0x01
00000452: PUSH1 0x01
00000454: PUSH1 0xa0
00000456: SHL
00000457: SUB
00000458: AND
00000459: DUP2
0000045a: JUMP
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x0488
0000046c: PUSH2 0x0476
0000046f: CALLDATASIZE
00000470: PUSH1 0x04
00000472: PUSH2 0x2104
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x05
00000479: PUSH1 0x20
0000047b: MSTORE
0000047c: PUSH1 0x00
0000047e: SWAP1
0000047f: DUP2
00000480: MSTORE
00000481: PUSH1 0x40
00000483: SWAP1
00000484: KECCAK256
00000485: SLOAD
00000486: DUP2
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH1 0x40
0000048b: MLOAD
0000048c: SWAP1
0000048d: DUP2
0000048e: MSTORE
0000048f: PUSH1 0x20
00000491: ADD
00000492: PUSH2 0x034a
00000495: JUMP
00000496: JUMPDEST
00000497: CALLVALUE
00000498: DUP1
00000499: ISZERO
0000049a: PUSH2 0x04a2
0000049d: JUMPI
0000049e: PUSH1 0x00
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH1 0x03
000004a6: SLOAD
000004a7: PUSH2 0x04b7
000004aa: SWAP1
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: SHL
000004b0: SWAP1
000004b1: DIV
000004b2: PUSH1 0xff
000004b4: AND
000004b5: DUP2
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH1 0x40
000004ba: MLOAD
000004bb: PUSH1 0xff
000004bd: SWAP1
000004be: SWAP2
000004bf: AND
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x20
000004c4: ADD
000004c5: PUSH2 0x034a
000004c8: JUMP
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: DUP1
000004cc: ISZERO
000004cd: PUSH2 0x04d5
000004d0: JUMPI
000004d1: PUSH1 0x00
000004d3: DUP1
000004d4: REVERT
000004d5: JUMPDEST
000004d6: POP
000004d7: PUSH1 0x02
000004d9: SLOAD
000004da: PUSH2 0x03e9
000004dd: SWAP1
000004de: PUSH1 0x01
000004e0: PUSH1 0xa0
000004e2: SHL
000004e3: SWAP1
000004e4: DIV
000004e5: PUSH12 0xffffffffffffffffffffffff
000004f2: AND
000004f3: DUP2
000004f4: JUMP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x0515
00000506: PUSH2 0x0510
00000509: CALLDATASIZE
0000050a: PUSH1 0x04
0000050c: PUSH2 0x213a
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x0dc2
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH1 0x40
00000518: MLOAD
00000519: SWAP1
0000051a: ISZERO
0000051b: ISZERO
0000051c: DUP2
0000051d: MSTORE
0000051e: PUSH1 0x20
00000520: ADD
00000521: PUSH2 0x034a
00000524: JUMP
00000525: JUMPDEST
00000526: CALLVALUE
00000527: DUP1
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: POP
00000533: PUSH2 0x0515
00000536: PUSH2 0x0540
00000539: CALLDATASIZE
0000053a: PUSH1 0x04
0000053c: PUSH2 0x217c
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH2 0x11fa
00000544: JUMP
00000545: JUMPDEST
00000546: CALLVALUE
00000547: DUP1
00000548: ISZERO
00000549: PUSH2 0x0551
0000054c: JUMPI
0000054d: PUSH1 0x00
0000054f: DUP1
00000550: REVERT
00000551: JUMPDEST
00000552: POP
00000553: PUSH2 0x039b
00000556: PUSH2 0x14b0
00000559: JUMP
0000055a: JUMPDEST
0000055b: CALLVALUE
0000055c: DUP1
0000055d: ISZERO
0000055e: PUSH2 0x0566
00000561: JUMPI
00000562: PUSH1 0x00
00000564: DUP1
00000565: REVERT
00000566: JUMPDEST
00000567: POP
00000568: PUSH1 0x00
0000056a: SLOAD
0000056b: PUSH2 0x0336
0000056e: SWAP1
0000056f: PUSH1 0x01
00000571: PUSH1 0x01
00000573: PUSH1 0xa0
00000575: SHL
00000576: SUB
00000577: AND
00000578: DUP2
00000579: JUMP
0000057a: JUMPDEST
0000057b: CALLVALUE
0000057c: DUP1
0000057d: ISZERO
0000057e: PUSH2 0x0586
00000581: JUMPI
00000582: PUSH1 0x00
00000584: DUP1
00000585: REVERT
00000586: JUMPDEST
00000587: POP
00000588: PUSH2 0x0488
0000058b: PUSH2 0x155a
0000058e: JUMP
0000058f: JUMPDEST
00000590: CALLVALUE
00000591: DUP1
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: POP
0000059d: PUSH2 0x0515
000005a0: PUSH2 0x05aa
000005a3: CALLDATASIZE
000005a4: PUSH1 0x04
000005a6: PUSH2 0x2104
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x01
000005ad: PUSH1 0x01
000005af: PUSH1 0xa0
000005b1: SHL
000005b2: SUB
000005b3: AND
000005b4: PUSH1 0x00
000005b6: SWAP1
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x06
000005bb: PUSH1 0x20
000005bd: MSTORE
000005be: PUSH1 0x40
000005c0: SWAP1
000005c1: KECCAK256
000005c2: SLOAD
000005c3: PUSH1 0xff
000005c5: AND
000005c6: SWAP1
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x039b
000005d9: PUSH2 0x05e3
000005dc: CALLDATASIZE
000005dd: PUSH1 0x04
000005df: PUSH2 0x2104
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x1768
000005e7: JUMP
000005e8: JUMPDEST
000005e9: PUSH2 0x039b
000005ec: PUSH2 0x05f6
000005ef: CALLDATASIZE
000005f0: PUSH1 0x04
000005f2: PUSH2 0x2299
000005f5: JUMP
000005f6: JUMPDEST
000005f7: PUSH2 0x1848
000005fa: JUMP
000005fb: JUMPDEST
000005fc: CALLVALUE
000005fd: DUP1
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH1 0x00
00000605: DUP1
00000606: REVERT
00000607: JUMPDEST
00000608: POP
00000609: PUSH1 0x01
0000060b: SLOAD
0000060c: PUSH2 0x03e9
0000060f: SWAP1
00000610: PUSH1 0x01
00000612: PUSH1 0xa0
00000614: SHL
00000615: SWAP1
00000616: DIV
00000617: PUSH12 0xffffffffffffffffffffffff
00000624: AND
00000625: DUP2
00000626: JUMP
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x0515
00000638: PUSH2 0x0642
0000063b: CALLDATASIZE
0000063c: PUSH1 0x04
0000063e: PUSH2 0x2104
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x06
00000645: PUSH1 0x20
00000647: MSTORE
00000648: PUSH1 0x00
0000064a: SWAP1
0000064b: DUP2
0000064c: MSTORE
0000064d: PUSH1 0x40
0000064f: SWAP1
00000650: KECCAK256
00000651: SLOAD
00000652: PUSH1 0xff
00000654: AND
00000655: DUP2
00000656: JUMP
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0663
0000065e: JUMPI
0000065f: PUSH1 0x00
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: PUSH1 0x03
00000667: SLOAD
00000668: PUSH2 0x0336
0000066b: SWAP1
0000066c: PUSH1 0x01
0000066e: PUSH1 0x01
00000670: PUSH1 0xa0
00000672: SHL
00000673: SUB
00000674: AND
00000675: DUP2
00000676: JUMP
00000677: JUMPDEST
00000678: CALLVALUE
00000679: DUP1
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: POP
00000685: PUSH2 0x039b
00000688: PUSH2 0x0692
0000068b: CALLDATASIZE
0000068c: PUSH1 0x04
0000068e: PUSH2 0x2104
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH2 0x1c38
00000696: JUMP
00000697: JUMPDEST
00000698: CALLVALUE
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: PUSH2 0x039b
000006a8: PUSH2 0x06b2
000006ab: CALLDATASIZE
000006ac: PUSH1 0x04
000006ae: PUSH2 0x22fd
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH2 0x1d42
000006b6: JUMP
000006b7: JUMPDEST
000006b8: CALLVALUE
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: POP
000006c5: PUSH1 0x04
000006c7: SLOAD
000006c8: PUSH2 0x0336
000006cb: SWAP1
000006cc: PUSH1 0x01
000006ce: PUSH1 0x01
000006d0: PUSH1 0xa0
000006d2: SHL
000006d3: SUB
000006d4: AND
000006d5: DUP2
000006d6: JUMP
000006d7: JUMPDEST
000006d8: CALLVALUE
000006d9: DUP1
000006da: ISZERO
000006db: PUSH2 0x06e3
000006de: JUMPI
000006df: PUSH1 0x00
000006e1: DUP1
000006e2: REVERT
000006e3: JUMPDEST
000006e4: POP
000006e5: PUSH2 0x0515
000006e8: PUSH2 0x06f2
000006eb: CALLDATASIZE
000006ec: PUSH1 0x04
000006ee: PUSH2 0x2121
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH2 0x1ed4
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x03
000006fa: SLOAD
000006fb: PUSH1 0x01
000006fd: PUSH1 0x01
000006ff: PUSH1 0xa0
00000701: SHL
00000702: SUB
00000703: AND
00000704: CALLER
00000705: EQ
00000706: PUSH2 0x0750
00000709: JUMPI
0000070a: PUSH1 0x03
0000070c: SLOAD
0000070d: PUSH1 0x40
0000070f: MLOAD
00000710: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000
00000731: DUP2
00000732: MSTORE
00000733: CALLER
00000734: PUSH1 0x04
00000736: DUP3
00000737: ADD
00000738: MSTORE
00000739: PUSH1 0x01
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: SHL
00000740: SUB
00000741: SWAP1
00000742: SWAP2
00000743: AND
00000744: PUSH1 0x24
00000746: DUP3
00000747: ADD
00000748: MSTORE
00000749: PUSH1 0x44
0000074b: ADD
0000074c: PUSH2 0x0216
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH1 0x01
00000753: PUSH1 0x01
00000755: PUSH1 0xa0
00000757: SHL
00000758: SUB
00000759: DUP3
0000075a: AND
0000075b: PUSH1 0x00
0000075d: SWAP1
0000075e: DUP2
0000075f: MSTORE
00000760: PUSH1 0x06
00000762: PUSH1 0x20
00000764: MSTORE
00000765: PUSH1 0x40
00000767: SWAP1
00000768: KECCAK256
00000769: SLOAD
0000076a: PUSH1 0xff
0000076c: AND
0000076d: PUSH2 0x07ad
00000770: JUMPI
00000771: PUSH1 0x40
00000773: MLOAD
00000774: PUSH32 0xe3d87c6200000000000000000000000000000000000000000000000000000000
00000795: DUP2
00000796: MSTORE
00000797: PUSH1 0x01
00000799: PUSH1 0x01
0000079b: PUSH1 0xa0
0000079d: SHL
0000079e: SUB
0000079f: DUP4
000007a0: AND
000007a1: PUSH1 0x04
000007a3: DUP3
000007a4: ADD
000007a5: MSTORE
000007a6: PUSH1 0x24
000007a8: ADD
000007a9: PUSH2 0x0216
000007ac: JUMP
000007ad: JUMPDEST
000007ae: PUSH1 0x01
000007b0: PUSH1 0x01
000007b2: PUSH1 0xa0
000007b4: SHL
000007b5: SUB
000007b6: DUP3
000007b7: AND
000007b8: PUSH1 0x00
000007ba: SWAP1
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x05
000007bf: PUSH1 0x20
000007c1: MSTORE
000007c2: PUSH1 0x40
000007c4: DUP2
000007c5: KECCAK256
000007c6: SLOAD
000007c7: PUSH2 0x07d1
000007ca: SWAP1
000007cb: DUP6
000007cc: SWAP1
000007cd: PUSH2 0x208e
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH1 0x01
000007d4: PUSH1 0x01
000007d6: PUSH1 0xa0
000007d8: SHL
000007d9: SUB
000007da: DUP5
000007db: DUP2
000007dc: AND
000007dd: PUSH1 0x00
000007df: DUP2
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x05
000007e4: PUSH1 0x20
000007e6: MSTORE
000007e7: PUSH1 0x40
000007e9: SWAP1
000007ea: DUP2
000007eb: SWAP1
000007ec: KECCAK256
000007ed: DUP5
000007ee: SWAP1
000007ef: SSTORE
000007f0: MLOAD
000007f1: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00000812: DUP2
00000813: MSTORE
00000814: SWAP2
00000815: DUP9
00000816: AND
00000817: PUSH1 0x04
00000819: DUP4
0000081a: ADD
0000081b: MSTORE
0000081c: ADDRESS
0000081d: PUSH1 0x24
0000081f: DUP4
00000820: ADD
00000821: MSTORE
00000822: SWAP2
00000823: SWAP3
00000824: POP
00000825: DUP6
00000826: SWAP2
00000827: SWAP1
00000828: PUSH4 0xdd62ed3e
0000082d: SWAP1
0000082e: PUSH1 0x44
00000830: ADD
00000831: PUSH1 0x20
00000833: PUSH1 0x40
00000835: MLOAD
00000836: DUP1
00000837: DUP4
00000838: SUB
00000839: DUP2
0000083a: DUP7
0000083b: GAS
0000083c: STATICCALL
0000083d: ISZERO
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x084d
00000843: JUMPI
00000844: RETURNDATASIZE
00000845: PUSH1 0x00
00000847: DUP1
00000848: RETURNDATACOPY
00000849: RETURNDATASIZE
0000084a: PUSH1 0x00
0000084c: REVERT
0000084d: JUMPDEST
0000084e: POP
0000084f: POP
00000850: POP
00000851: POP
00000852: PUSH1 0x40
00000854: MLOAD
00000855: RETURNDATASIZE
00000856: PUSH1 0x1f
00000858: NOT
00000859: PUSH1 0x1f
0000085b: DUP3
0000085c: ADD
0000085d: AND
0000085e: DUP3
0000085f: ADD
00000860: DUP1
00000861: PUSH1 0x40
00000863: MSTORE
00000864: POP
00000865: DUP2
00000866: ADD
00000867: SWAP1
00000868: PUSH2 0x0871
0000086b: SWAP2
0000086c: SWAP1
0000086d: PUSH2 0x233d
00000870: JUMP
00000871: JUMPDEST
00000872: LT
00000873: ISZERO
00000874: PUSH2 0x093d
00000877: JUMPI
00000878: PUSH1 0x40
0000087a: MLOAD
0000087b: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0x01
000008a0: PUSH1 0x01
000008a2: PUSH1 0xa0
000008a4: SHL
000008a5: SUB
000008a6: DUP7
000008a7: DUP2
000008a8: AND
000008a9: PUSH1 0x04
000008ab: DUP4
000008ac: ADD
000008ad: MSTORE
000008ae: ADDRESS
000008af: PUSH1 0x24
000008b1: DUP4
000008b2: ADD
000008b3: MSTORE
000008b4: DUP5
000008b5: AND
000008b6: SWAP1
000008b7: PUSH4 0xdd62ed3e
000008bc: SWAP1
000008bd: PUSH1 0x44
000008bf: ADD
000008c0: PUSH1 0x20
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: DUP4
000008c7: SUB
000008c8: DUP2
000008c9: DUP7
000008ca: GAS
000008cb: STATICCALL
000008cc: ISZERO
000008cd: DUP1
000008ce: ISZERO
000008cf: PUSH2 0x08dc
000008d2: JUMPI
000008d3: RETURNDATASIZE
000008d4: PUSH1 0x00
000008d6: DUP1
000008d7: RETURNDATACOPY
000008d8: RETURNDATASIZE
000008d9: PUSH1 0x00
000008db: REVERT
000008dc: JUMPDEST
000008dd: POP
000008de: POP
000008df: POP
000008e0: POP
000008e1: PUSH1 0x40
000008e3: MLOAD
000008e4: RETURNDATASIZE
000008e5: PUSH1 0x1f
000008e7: NOT
000008e8: PUSH1 0x1f
000008ea: DUP3
000008eb: ADD
000008ec: AND
000008ed: DUP3
000008ee: ADD
000008ef: DUP1
000008f0: PUSH1 0x40
000008f2: MSTORE
000008f3: POP
000008f4: DUP2
000008f5: ADD
000008f6: SWAP1
000008f7: PUSH2 0x0900
000008fa: SWAP2
000008fb: SWAP1
000008fc: PUSH2 0x233d
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x40
00000903: MLOAD
00000904: PUSH32 0x2a1b2dd800000000000000000000000000000000000000000000000000000000
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x04
00000929: DUP2
0000092a: ADD
0000092b: SWAP2
0000092c: SWAP1
0000092d: SWAP2
0000092e: MSTORE
0000092f: PUSH1 0x24
00000931: DUP2
00000932: ADD
00000933: DUP6
00000934: SWAP1
00000935: MSTORE
00000936: PUSH1 0x44
00000938: ADD
00000939: PUSH2 0x0216
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x40
00000940: MLOAD
00000941: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00000962: DUP2
00000963: MSTORE
00000964: PUSH1 0x01
00000966: PUSH1 0x01
00000968: PUSH1 0xa0
0000096a: SHL
0000096b: SUB
0000096c: DUP7
0000096d: DUP2
0000096e: AND
0000096f: PUSH1 0x04
00000971: DUP4
00000972: ADD
00000973: MSTORE
00000974: ADDRESS
00000975: PUSH1 0x24
00000977: DUP4
00000978: ADD
00000979: MSTORE
0000097a: PUSH1 0x44
0000097c: DUP3
0000097d: ADD
0000097e: DUP7
0000097f: SWAP1
00000980: MSTORE
00000981: PUSH1 0x00
00000983: SWAP2
00000984: SWAP1
00000985: DUP6
00000986: AND
00000987: SWAP1
00000988: PUSH4 0x23b872dd
0000098d: SWAP1
0000098e: PUSH1 0x64
00000990: ADD
00000991: PUSH1 0x20
00000993: PUSH1 0x40
00000995: MLOAD
00000996: DUP1
00000997: DUP4
00000998: SUB
00000999: DUP2
0000099a: PUSH1 0x00
0000099c: DUP8
0000099d: GAS
0000099e: CALL
0000099f: ISZERO
000009a0: DUP1
000009a1: ISZERO
000009a2: PUSH2 0x09af
000009a5: JUMPI
000009a6: RETURNDATASIZE
000009a7: PUSH1 0x00
000009a9: DUP1
000009aa: RETURNDATACOPY
000009ab: RETURNDATASIZE
000009ac: PUSH1 0x00
000009ae: REVERT
000009af: JUMPDEST
000009b0: POP
000009b1: POP
000009b2: POP
000009b3: POP
000009b4: PUSH1 0x40
000009b6: MLOAD
000009b7: RETURNDATASIZE
000009b8: PUSH1 0x1f
000009ba: NOT
000009bb: PUSH1 0x1f
000009bd: DUP3
000009be: ADD
000009bf: AND
000009c0: DUP3
000009c1: ADD
000009c2: DUP1
000009c3: PUSH1 0x40
000009c5: MSTORE
000009c6: POP
000009c7: DUP2
000009c8: ADD
000009c9: SWAP1
000009ca: PUSH2 0x09d3
000009cd: SWAP2
000009ce: SWAP1
000009cf: PUSH2 0x2356
000009d2: JUMP
000009d3: JUMPDEST
000009d4: SWAP1
000009d5: POP
000009d6: DUP1
000009d7: PUSH2 0x0a13
000009da: JUMPI
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: PUSH4 0xcd3f1659
000009e3: PUSH1 0xe0
000009e5: SHL
000009e6: DUP2
000009e7: MSTORE
000009e8: PUSH1 0x01
000009ea: PUSH1 0x01
000009ec: PUSH1 0xa0
000009ee: SHL
000009ef: SUB
000009f0: DUP1
000009f1: DUP7
000009f2: AND
000009f3: PUSH1 0x04
000009f5: DUP4
000009f6: ADD
000009f7: MSTORE
000009f8: DUP8
000009f9: AND
000009fa: PUSH1 0x24
000009fc: DUP3
000009fd: ADD
000009fe: MSTORE
000009ff: ADDRESS
00000a00: PUSH1 0x44
00000a02: DUP3
00000a03: ADD
00000a04: MSTORE
00000a05: PUSH1 0x64
00000a07: DUP2
00000a08: ADD
00000a09: DUP7
00000a0a: SWAP1
00000a0b: MSTORE
00000a0c: PUSH1 0x84
00000a0e: ADD
00000a0f: PUSH2 0x0216
00000a12: JUMP
00000a13: JUMPDEST
00000a14: PUSH1 0x01
00000a16: SLOAD
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: CALLER
00000a3e: PUSH1 0x04
00000a40: DUP3
00000a41: ADD
00000a42: MSTORE
00000a43: PUSH1 0x24
00000a45: DUP2
00000a46: ADD
00000a47: DUP6
00000a48: SWAP1
00000a49: MSTORE
00000a4a: PUSH1 0x01
00000a4c: PUSH1 0x01
00000a4e: PUSH1 0xa0
00000a50: SHL
00000a51: SUB
00000a52: SWAP1
00000a53: SWAP2
00000a54: AND
00000a55: SWAP1
00000a56: PUSH4 0x40c10f19
00000a5b: SWAP1
00000a5c: PUSH1 0x44
00000a5e: ADD
00000a5f: PUSH1 0x00
00000a61: PUSH1 0x40
00000a63: MLOAD
00000a64: DUP1
00000a65: DUP4
00000a66: SUB
00000a67: DUP2
00000a68: PUSH1 0x00
00000a6a: DUP8
00000a6b: DUP1
00000a6c: EXTCODESIZE
00000a6d: ISZERO
00000a6e: DUP1
00000a6f: ISZERO
00000a70: PUSH2 0x0a78
00000a73: JUMPI
00000a74: PUSH1 0x00
00000a76: DUP1
00000a77: REVERT
00000a78: JUMPDEST
00000a79: POP
00000a7a: GAS
00000a7b: CALL
00000a7c: ISZERO
00000a7d: DUP1
00000a7e: ISZERO
00000a7f: PUSH2 0x0a8c
00000a82: JUMPI
00000a83: RETURNDATASIZE
00000a84: PUSH1 0x00
00000a86: DUP1
00000a87: RETURNDATACOPY
00000a88: RETURNDATASIZE
00000a89: PUSH1 0x00
00000a8b: REVERT
00000a8c: JUMPDEST
00000a8d: POP
00000a8e: POP
00000a8f: PUSH1 0x40
00000a91: DUP1
00000a92: MLOAD
00000a93: DUP9
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x20
00000a98: DUP2
00000a99: ADD
00000a9a: DUP8
00000a9b: SWAP1
00000a9c: MSTORE
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0x01
00000aa1: PUSH1 0xa0
00000aa3: SHL
00000aa4: SUB
00000aa5: DUP1
00000aa6: DUP10
00000aa7: AND
00000aa8: SWAP5
00000aa9: POP
00000aaa: DUP11
00000aab: AND
00000aac: SWAP3
00000aad: POP
00000aae: PUSH32 0x508c72f275e49212a4b6ffe7c19109c6720f9b15c6e9d2732e500d1b8d1f94d4
00000acf: SWAP2
00000ad0: ADD
00000ad1: PUSH1 0x40
00000ad3: MLOAD
00000ad4: DUP1
00000ad5: SWAP2
00000ad6: SUB
00000ad7: SWAP1
00000ad8: LOG3
00000ad9: POP
00000ada: POP
00000adb: POP
00000adc: POP
00000add: POP
00000ade: POP
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: PUSH1 0x00
00000ae3: SLOAD
00000ae4: PUSH1 0x01
00000ae6: PUSH1 0x01
00000ae8: PUSH1 0xa0
00000aea: SHL
00000aeb: SUB
00000aec: AND
00000aed: CALLER
00000aee: EQ
00000aef: PUSH2 0x0b20
00000af2: JUMPI
00000af3: PUSH1 0x00
00000af5: SLOAD
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: PUSH4 0x521eb56d
00000afe: PUSH1 0xe1
00000b00: SHL
00000b01: DUP2
00000b02: MSTORE
00000b03: CALLER
00000b04: PUSH1 0x04
00000b06: DUP3
00000b07: ADD
00000b08: MSTORE
00000b09: PUSH1 0x01
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0xa0
00000b0f: SHL
00000b10: SUB
00000b11: SWAP1
00000b12: SWAP2
00000b13: AND
00000b14: PUSH1 0x24
00000b16: DUP3
00000b17: ADD
00000b18: MSTORE
00000b19: PUSH1 0x44
00000b1b: ADD
00000b1c: PUSH2 0x0216
00000b1f: JUMP
00000b20: JUMPDEST
00000b21: PUSH1 0x01
00000b23: PUSH1 0x01
00000b25: PUSH1 0xa0
00000b27: SHL
00000b28: SUB
00000b29: DUP2
00000b2a: AND
00000b2b: PUSH1 0x00
00000b2d: SWAP1
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x06
00000b32: PUSH1 0x20
00000b34: MSTORE
00000b35: PUSH1 0x40
00000b37: SWAP1
00000b38: KECCAK256
00000b39: SLOAD
00000b3a: PUSH1 0xff
00000b3c: AND
00000b3d: ISZERO
00000b3e: PUSH2 0x0bf6
00000b41: JUMPI
00000b42: PUSH1 0x01
00000b44: PUSH1 0x01
00000b46: PUSH1 0xa0
00000b48: SHL
00000b49: SUB
00000b4a: DUP2
00000b4b: AND
00000b4c: PUSH1 0x00
00000b4e: SWAP1
00000b4f: DUP2
00000b50: MSTORE
00000b51: PUSH1 0x05
00000b53: PUSH1 0x20
00000b55: MSTORE
00000b56: PUSH1 0x40
00000b58: SWAP1
00000b59: KECCAK256
00000b5a: SLOAD
00000b5b: ISZERO
00000b5c: PUSH2 0x0b91
00000b5f: JUMPI
00000b60: PUSH1 0x40
00000b62: MLOAD
00000b63: PUSH32 0xe320176b00000000000000000000000000000000000000000000000000000000
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x04
00000b88: ADD
00000b89: PUSH1 0x40
00000b8b: MLOAD
00000b8c: DUP1
00000b8d: SWAP2
00000b8e: SUB
00000b8f: SWAP1
00000b90: REVERT
00000b91: JUMPDEST
00000b92: PUSH1 0x01
00000b94: PUSH1 0x01
00000b96: PUSH1 0xa0
00000b98: SHL
00000b99: SUB
00000b9a: DUP2
00000b9b: AND
00000b9c: PUSH1 0x00
00000b9e: DUP2
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x06
00000ba3: PUSH1 0x20
00000ba5: MSTORE
00000ba6: PUSH1 0x40
00000ba8: DUP1
00000ba9: DUP3
00000baa: KECCAK256
00000bab: DUP1
00000bac: SLOAD
00000bad: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000bce: AND
00000bcf: SWAP1
00000bd0: SSTORE
00000bd1: MLOAD
00000bd2: PUSH32 0x3907c2f289c906800bbef774e6e4a476623eae8c1abc6cd0a78ef88aba9a6225
00000bf3: SWAP2
00000bf4: SWAP1
00000bf5: LOG2
00000bf6: JUMPDEST
00000bf7: POP
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x00
00000bfc: SLOAD
00000bfd: PUSH1 0x01
00000bff: PUSH1 0x01
00000c01: PUSH1 0xa0
00000c03: SHL
00000c04: SUB
00000c05: AND
00000c06: CALLER
00000c07: EQ
00000c08: PUSH2 0x0c39
00000c0b: JUMPI
00000c0c: PUSH1 0x00
00000c0e: SLOAD
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: PUSH4 0x521eb56d
00000c17: PUSH1 0xe1
00000c19: SHL
00000c1a: DUP2
00000c1b: MSTORE
00000c1c: CALLER
00000c1d: PUSH1 0x04
00000c1f: DUP3
00000c20: ADD
00000c21: MSTORE
00000c22: PUSH1 0x01
00000c24: PUSH1 0x01
00000c26: PUSH1 0xa0
00000c28: SHL
00000c29: SUB
00000c2a: SWAP1
00000c2b: SWAP2
00000c2c: AND
00000c2d: PUSH1 0x24
00000c2f: DUP3
00000c30: ADD
00000c31: MSTORE
00000c32: PUSH1 0x44
00000c34: ADD
00000c35: PUSH2 0x0216
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH1 0x03
00000c3c: DUP1
00000c3d: SLOAD
00000c3e: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00000c5f: AND
00000c60: PUSH1 0x01
00000c62: PUSH1 0xa0
00000c64: SHL
00000c65: OR
00000c66: SWAP1
00000c67: SSTORE
00000c68: PUSH1 0x40
00000c6a: MLOAD
00000c6b: PUSH32 0xa4f5d2111fbcc4ac1936a7aa8878cf6082bd2abfbd9bb58e7cce14981eec8b36
00000c8c: SWAP1
00000c8d: PUSH1 0x00
00000c8f: SWAP1
00000c90: LOG1
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH1 0x00
00000c95: SLOAD
00000c96: PUSH1 0x01
00000c98: PUSH1 0x01
00000c9a: PUSH1 0xa0
00000c9c: SHL
00000c9d: SUB
00000c9e: AND
00000c9f: CALLER
00000ca0: EQ
00000ca1: PUSH2 0x0cd2
00000ca4: JUMPI
00000ca5: PUSH1 0x00
00000ca7: SLOAD
00000ca8: PUSH1 0x40
00000caa: MLOAD
00000cab: PUSH4 0x521eb56d
00000cb0: PUSH1 0xe1
00000cb2: SHL
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: CALLER
00000cb6: PUSH1 0x04
00000cb8: DUP3
00000cb9: ADD
00000cba: MSTORE
00000cbb: PUSH1 0x01
00000cbd: PUSH1 0x01
00000cbf: PUSH1 0xa0
00000cc1: SHL
00000cc2: SUB
00000cc3: SWAP1
00000cc4: SWAP2
00000cc5: AND
00000cc6: PUSH1 0x24
00000cc8: DUP3
00000cc9: ADD
00000cca: MSTORE
00000ccb: PUSH1 0x44
00000ccd: ADD
00000cce: PUSH2 0x0216
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: DUP1
00000cd4: PUSH1 0x00
00000cd6: SUB
00000cd7: PUSH2 0x0d0c
00000cda: JUMPI
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x04
00000d03: ADD
00000d04: PUSH1 0x40
00000d06: MLOAD
00000d07: DUP1
00000d08: SWAP2
00000d09: SUB
00000d0a: SWAP1
00000d0b: REVERT
00000d0c: JUMPDEST
00000d0d: PUSH12 0xffffffffffffffffffffffff
00000d1a: DUP2
00000d1b: GT
00000d1c: ISZERO
00000d1d: PUSH2 0x0d67
00000d20: JUMPI
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000
00000d45: DUP2
00000d46: MSTORE
00000d47: PUSH1 0x04
00000d49: DUP2
00000d4a: ADD
00000d4b: DUP3
00000d4c: SWAP1
00000d4d: MSTORE
00000d4e: PUSH12 0xffffffffffffffffffffffff
00000d5b: PUSH1 0x24
00000d5d: DUP3
00000d5e: ADD
00000d5f: MSTORE
00000d60: PUSH1 0x44
00000d62: ADD
00000d63: PUSH2 0x0216
00000d66: JUMP
00000d67: JUMPDEST
00000d68: PUSH1 0x02
00000d6a: DUP1
00000d6b: SLOAD
00000d6c: PUSH1 0x01
00000d6e: PUSH1 0x01
00000d70: PUSH1 0xa0
00000d72: SHL
00000d73: SUB
00000d74: AND
00000d75: PUSH1 0x01
00000d77: PUSH1 0xa0
00000d79: SHL
00000d7a: PUSH12 0xffffffffffffffffffffffff
00000d87: DUP5
00000d88: AND
00000d89: MUL
00000d8a: OR
00000d8b: SWAP1
00000d8c: SSTORE
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: DUP2
00000d91: DUP2
00000d92: MSTORE
00000d93: PUSH32 0x4e97f4325d1d8a9018f3f17e69a6cb9cb011cc8a813e90b3549a773506e429fd
00000db4: SWAP1
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: PUSH1 0x40
00000dba: MLOAD
00000dbb: DUP1
00000dbc: SWAP2
00000dbd: SUB
00000dbe: SWAP1
00000dbf: LOG1
00000dc0: POP
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: PUSH1 0x00
00000dc5: DUP1
00000dc6: SLOAD
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0x01
00000dcb: PUSH1 0xa0
00000dcd: SHL
00000dce: SUB
00000dcf: AND
00000dd0: CALLER
00000dd1: EQ
00000dd2: PUSH2 0x0e03
00000dd5: JUMPI
00000dd6: PUSH1 0x00
00000dd8: SLOAD
00000dd9: PUSH1 0x40
00000ddb: MLOAD
00000ddc: PUSH4 0x521eb56d
00000de1: PUSH1 0xe1
00000de3: SHL
00000de4: DUP2
00000de5: MSTORE
00000de6: CALLER
00000de7: PUSH1 0x04
00000de9: DUP3
00000dea: ADD
00000deb: MSTORE
00000dec: PUSH1 0x01
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: SHL
00000df3: SUB
00000df4: SWAP1
00000df5: SWAP2
00000df6: AND
00000df7: PUSH1 0x24
00000df9: DUP3
00000dfa: ADD
00000dfb: MSTORE
00000dfc: PUSH1 0x44
00000dfe: ADD
00000dff: PUSH2 0x0216
00000e02: JUMP
00000e03: JUMPDEST
00000e04: ADDRESS
00000e05: PUSH1 0x01
00000e07: PUSH1 0x01
00000e09: PUSH1 0xa0
00000e0b: SHL
00000e0c: SUB
00000e0d: DUP6
00000e0e: AND
00000e0f: SUB
00000e10: PUSH2 0x0e4c
00000e13: JUMPI
00000e14: PUSH1 0x40
00000e16: MLOAD
00000e17: PUSH4 0xcd3f1659
00000e1c: PUSH1 0xe0
00000e1e: SHL
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x01
00000e23: PUSH1 0x01
00000e25: PUSH1 0xa0
00000e27: SHL
00000e28: SUB
00000e29: DUP1
00000e2a: DUP5
00000e2b: AND
00000e2c: PUSH1 0x04
00000e2e: DUP4
00000e2f: ADD
00000e30: MSTORE
00000e31: ADDRESS
00000e32: PUSH1 0x24
00000e34: DUP4
00000e35: ADD
00000e36: MSTORE
00000e37: DUP6
00000e38: AND
00000e39: PUSH1 0x44
00000e3b: DUP3
00000e3c: ADD
00000e3d: MSTORE
00000e3e: PUSH1 0x64
00000e40: DUP2
00000e41: ADD
00000e42: DUP5
00000e43: SWAP1
00000e44: MSTORE
00000e45: PUSH1 0x84
00000e47: ADD
00000e48: PUSH2 0x0216
00000e4b: JUMP
00000e4c: JUMPDEST
00000e4d: DUP3
00000e4e: PUSH1 0x00
00000e50: SUB
00000e51: PUSH2 0x0e86
00000e54: JUMPI
00000e55: PUSH1 0x40
00000e57: MLOAD
00000e58: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x04
00000e7d: ADD
00000e7e: PUSH1 0x40
00000e80: MLOAD
00000e81: DUP1
00000e82: SWAP2
00000e83: SUB
00000e84: SWAP1
00000e85: REVERT
00000e86: JUMPDEST
00000e87: PUSH32 0xffffffffffffffffffffffff1111111111111111111111111111111111111112
00000ea8: PUSH1 0x01
00000eaa: PUSH1 0x01
00000eac: PUSH1 0xa0
00000eae: SHL
00000eaf: SUB
00000eb0: DUP4
00000eb1: AND
00000eb2: ADD
00000eb3: PUSH2 0x1041
00000eb6: JUMPI
00000eb7: PUSH1 0x01
00000eb9: SLOAD
00000eba: PUSH1 0x01
00000ebc: PUSH1 0xa0
00000ebe: SHL
00000ebf: SWAP1
00000ec0: DIV
00000ec1: PUSH12 0xffffffffffffffffffffffff
00000ece: AND
00000ecf: DUP4
00000ed0: DUP2
00000ed1: LT
00000ed2: PUSH2 0x0fff
00000ed5: JUMPI
00000ed6: PUSH2 0x0edf
00000ed9: DUP5
00000eda: DUP3
00000edb: PUSH2 0x2378
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x01
00000ee2: DUP1
00000ee3: SLOAD
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0x01
00000ee8: PUSH1 0xa0
00000eea: SHL
00000eeb: SUB
00000eec: SWAP1
00000eed: DUP2
00000eee: AND
00000eef: PUSH1 0x01
00000ef1: PUSH1 0xa0
00000ef3: SHL
00000ef4: PUSH12 0xffffffffffffffffffffffff
00000f01: DUP6
00000f02: AND
00000f03: MUL
00000f04: OR
00000f05: SWAP1
00000f06: SWAP2
00000f07: SSTORE
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: DUP7
00000f0c: DUP2
00000f0d: MSTORE
00000f0e: SWAP2
00000f0f: SWAP3
00000f10: POP
00000f11: DUP7
00000f12: AND
00000f13: SWAP1
00000f14: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000f29: SWAP1
00000f2a: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb
00000f4b: SWAP1
00000f4c: PUSH1 0x20
00000f4e: ADD
00000f4f: PUSH1 0x40
00000f51: MLOAD
00000f52: DUP1
00000f53: SWAP2
00000f54: SUB
00000f55: SWAP1
00000f56: LOG3
00000f57: PUSH1 0x40
00000f59: MLOAD
00000f5a: PUSH1 0x01
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xa0
00000f60: SHL
00000f61: SUB
00000f62: DUP7
00000f63: AND
00000f64: SWAP1
00000f65: DUP6
00000f66: SWAP1
00000f67: PUSH1 0x00
00000f69: DUP2
00000f6a: DUP2
00000f6b: DUP2
00000f6c: DUP6
00000f6d: DUP8
00000f6e: GAS
00000f6f: CALL
00000f70: SWAP3
00000f71: POP
00000f72: POP
00000f73: POP
00000f74: RETURNDATASIZE
00000f75: DUP1
00000f76: PUSH1 0x00
00000f78: DUP2
00000f79: EQ
00000f7a: PUSH2 0x0f9f
00000f7d: JUMPI
00000f7e: PUSH1 0x40
00000f80: MLOAD
00000f81: SWAP2
00000f82: POP
00000f83: PUSH1 0x1f
00000f85: NOT
00000f86: PUSH1 0x3f
00000f88: RETURNDATASIZE
00000f89: ADD
00000f8a: AND
00000f8b: DUP3
00000f8c: ADD
00000f8d: PUSH1 0x40
00000f8f: MSTORE
00000f90: RETURNDATASIZE
00000f91: DUP3
00000f92: MSTORE
00000f93: RETURNDATASIZE
00000f94: PUSH1 0x00
00000f96: PUSH1 0x20
00000f98: DUP5
00000f99: ADD
00000f9a: RETURNDATACOPY
00000f9b: PUSH2 0x0fa4
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x60
00000fa2: SWAP2
00000fa3: POP
00000fa4: JUMPDEST
00000fa5: POP
00000fa6: POP
00000fa7: DUP1
00000fa8: SWAP3
00000fa9: POP
00000faa: POP
00000fab: DUP2
00000fac: PUSH2 0x0ffa
00000faf: JUMPI
00000fb0: PUSH1 0x40
00000fb2: MLOAD
00000fb3: PUSH4 0xcd3f1659
00000fb8: PUSH1 0xe0
00000fba: SHL
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000fd2: PUSH1 0x04
00000fd4: DUP3
00000fd5: ADD
00000fd6: MSTORE
00000fd7: ADDRESS
00000fd8: PUSH1 0x24
00000fda: DUP3
00000fdb: ADD
00000fdc: MSTORE
00000fdd: PUSH1 0x01
00000fdf: PUSH1 0x01
00000fe1: PUSH1 0xa0
00000fe3: SHL
00000fe4: SUB
00000fe5: DUP7
00000fe6: AND
00000fe7: PUSH1 0x44
00000fe9: DUP3
00000fea: ADD
00000feb: MSTORE
00000fec: PUSH1 0x64
00000fee: DUP2
00000fef: ADD
00000ff0: DUP6
00000ff1: SWAP1
00000ff2: MSTORE
00000ff3: PUSH1 0x84
00000ff5: ADD
00000ff6: PUSH2 0x0216
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH2 0x103b
00000ffe: JUMP
00000fff: JUMPDEST
00001000: PUSH1 0x40
00001002: MLOAD
00001003: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000
00001024: DUP2
00001025: MSTORE
00001026: PUSH1 0x04
00001028: DUP2
00001029: ADD
0000102a: DUP6
0000102b: SWAP1
0000102c: MSTORE
0000102d: PUSH1 0x24
0000102f: DUP2
00001030: ADD
00001031: DUP3
00001032: SWAP1
00001033: MSTORE
00001034: PUSH1 0x44
00001036: ADD
00001037: PUSH2 0x0216
0000103a: JUMP
0000103b: JUMPDEST
0000103c: POP
0000103d: PUSH2 0x11f3
00001040: JUMP
00001041: JUMPDEST
00001042: PUSH1 0x01
00001044: PUSH1 0x01
00001046: PUSH1 0xa0
00001048: SHL
00001049: SUB
0000104a: DUP3
0000104b: AND
0000104c: PUSH1 0x00
0000104e: SWAP1
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x06
00001053: PUSH1 0x20
00001055: MSTORE
00001056: PUSH1 0x40
00001058: SWAP1
00001059: KECCAK256
0000105a: SLOAD
0000105b: PUSH1 0xff
0000105d: AND
0000105e: PUSH2 0x109e
00001061: JUMPI
00001062: PUSH1 0x40
00001064: MLOAD
00001065: PUSH32 0xe3d87c6200000000000000000000000000000000000000000000000000000000
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x01
0000108a: PUSH1 0x01
0000108c: PUSH1 0xa0
0000108e: SHL
0000108f: SUB
00001090: DUP4
00001091: AND
00001092: PUSH1 0x04
00001094: DUP3
00001095: ADD
00001096: MSTORE
00001097: PUSH1 0x24
00001099: ADD
0000109a: PUSH2 0x0216
0000109d: JUMP
0000109e: JUMPDEST
0000109f: PUSH1 0x01
000010a1: PUSH1 0x01
000010a3: PUSH1 0xa0
000010a5: SHL
000010a6: SUB
000010a7: DUP3
000010a8: AND
000010a9: PUSH1 0x00
000010ab: SWAP1
000010ac: DUP2
000010ad: MSTORE
000010ae: PUSH1 0x05
000010b0: PUSH1 0x20
000010b2: MSTORE
000010b3: PUSH1 0x40
000010b5: SWAP1
000010b6: KECCAK256
000010b7: SLOAD
000010b8: DUP4
000010b9: DUP2
000010ba: LT
000010bb: PUSH2 0x0fff
000010be: JUMPI
000010bf: PUSH2 0x10c8
000010c2: DUP5
000010c3: DUP3
000010c4: PUSH2 0x2378
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x01
000010cb: PUSH1 0x01
000010cd: PUSH1 0xa0
000010cf: SHL
000010d0: SUB
000010d1: DUP1
000010d2: DUP6
000010d3: AND
000010d4: PUSH1 0x00
000010d6: DUP2
000010d7: DUP2
000010d8: MSTORE
000010d9: PUSH1 0x05
000010db: PUSH1 0x20
000010dd: MSTORE
000010de: PUSH1 0x40
000010e0: SWAP1
000010e1: DUP2
000010e2: SWAP1
000010e3: KECCAK256
000010e4: DUP5
000010e5: SWAP1
000010e6: SSTORE
000010e7: MLOAD
000010e8: SWAP3
000010e9: SWAP4
000010ea: POP
000010eb: SWAP1
000010ec: DUP8
000010ed: AND
000010ee: SWAP2
000010ef: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb
00001110: SWAP1
00001111: PUSH2 0x111d
00001114: SWAP1
00001115: DUP9
00001116: DUP2
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: ADD
0000111b: SWAP1
0000111c: JUMP
0000111d: JUMPDEST
0000111e: PUSH1 0x40
00001120: MLOAD
00001121: DUP1
00001122: SWAP2
00001123: SUB
00001124: SWAP1
00001125: LOG3
00001126: PUSH1 0x40
00001128: MLOAD
00001129: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000114a: DUP2
0000114b: MSTORE
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: DUP7
00001155: DUP2
00001156: AND
00001157: PUSH1 0x04
00001159: DUP4
0000115a: ADD
0000115b: MSTORE
0000115c: PUSH1 0x24
0000115e: DUP3
0000115f: ADD
00001160: DUP7
00001161: SWAP1
00001162: MSTORE
00001163: DUP5
00001164: AND
00001165: SWAP1
00001166: PUSH4 0xa9059cbb
0000116b: SWAP1
0000116c: PUSH1 0x44
0000116e: ADD
0000116f: PUSH1 0x20
00001171: PUSH1 0x40
00001173: MLOAD
00001174: DUP1
00001175: DUP4
00001176: SUB
00001177: DUP2
00001178: PUSH1 0x00
0000117a: DUP8
0000117b: GAS
0000117c: CALL
0000117d: ISZERO
0000117e: DUP1
0000117f: ISZERO
00001180: PUSH2 0x118d
00001183: JUMPI
00001184: RETURNDATASIZE
00001185: PUSH1 0x00
00001187: DUP1
00001188: RETURNDATACOPY
00001189: RETURNDATASIZE
0000118a: PUSH1 0x00
0000118c: REVERT
0000118d: JUMPDEST
0000118e: POP
0000118f: POP
00001190: POP
00001191: POP
00001192: PUSH1 0x40
00001194: MLOAD
00001195: RETURNDATASIZE
00001196: PUSH1 0x1f
00001198: NOT
00001199: PUSH1 0x1f
0000119b: DUP3
0000119c: ADD
0000119d: AND
0000119e: DUP3
0000119f: ADD
000011a0: DUP1
000011a1: PUSH1 0x40
000011a3: MSTORE
000011a4: POP
000011a5: DUP2
000011a6: ADD
000011a7: SWAP1
000011a8: PUSH2 0x11b1
000011ab: SWAP2
000011ac: SWAP1
000011ad: PUSH2 0x2356
000011b0: JUMP
000011b1: JUMPDEST
000011b2: SWAP2
000011b3: POP
000011b4: DUP2
000011b5: PUSH2 0x11f1
000011b8: JUMPI
000011b9: PUSH1 0x40
000011bb: MLOAD
000011bc: PUSH4 0xcd3f1659
000011c1: PUSH1 0xe0
000011c3: SHL
000011c4: DUP2
000011c5: MSTORE
000011c6: PUSH1 0x01
000011c8: PUSH1 0x01
000011ca: PUSH1 0xa0
000011cc: SHL
000011cd: SUB
000011ce: DUP1
000011cf: DUP6
000011d0: AND
000011d1: PUSH1 0x04
000011d3: DUP4
000011d4: ADD
000011d5: MSTORE
000011d6: ADDRESS
000011d7: PUSH1 0x24
000011d9: DUP4
000011da: ADD
000011db: MSTORE
000011dc: DUP7
000011dd: AND
000011de: PUSH1 0x44
000011e0: DUP3
000011e1: ADD
000011e2: MSTORE
000011e3: PUSH1 0x64
000011e5: DUP2
000011e6: ADD
000011e7: DUP6
000011e8: SWAP1
000011e9: MSTORE
000011ea: PUSH1 0x84
000011ec: ADD
000011ed: PUSH2 0x0216
000011f0: JUMP
000011f1: JUMPDEST
000011f2: POP
000011f3: JUMPDEST
000011f4: SWAP4
000011f5: SWAP3
000011f6: POP
000011f7: POP
000011f8: POP
000011f9: JUMP
000011fa: JUMPDEST
000011fb: PUSH1 0x03
000011fd: SLOAD
000011fe: PUSH1 0x00
00001200: SWAP1
00001201: PUSH1 0x01
00001203: PUSH1 0xa0
00001205: SHL
00001206: SWAP1
00001207: DIV
00001208: PUSH1 0xff
0000120a: AND
0000120b: PUSH1 0x02
0000120d: SUB
0000120e: PUSH2 0x1243
00001211: JUMPI
00001212: PUSH1 0x40
00001214: MLOAD
00001215: PUSH32 0x9e87fac800000000000000000000000000000000000000000000000000000000
00001236: DUP2
00001237: MSTORE
00001238: PUSH1 0x04
0000123a: ADD
0000123b: PUSH1 0x40
0000123d: MLOAD
0000123e: DUP1
0000123f: SWAP2
00001240: SUB
00001241: SWAP1
00001242: REVERT
00001243: JUMPDEST
00001244: PUSH1 0x04
00001246: SLOAD
00001247: PUSH1 0x01
00001249: PUSH1 0x01
0000124b: PUSH1 0xa0
0000124d: SHL
0000124e: SUB
0000124f: AND
00001250: CALLER
00001251: EQ
00001252: PUSH2 0x129d
00001255: JUMPI
00001256: PUSH1 0x04
00001258: DUP1
00001259: SLOAD
0000125a: PUSH1 0x40
0000125c: MLOAD
0000125d: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000
0000127e: DUP2
0000127f: MSTORE
00001280: CALLER
00001281: SWAP3
00001282: DUP2
00001283: ADD
00001284: SWAP3
00001285: SWAP1
00001286: SWAP3
00001287: MSTORE
00001288: PUSH1 0x01
0000128a: PUSH1 0x01
0000128c: PUSH1 0xa0
0000128e: SHL
0000128f: SUB
00001290: AND
00001291: PUSH1 0x24
00001293: DUP3
00001294: ADD
00001295: MSTORE
00001296: PUSH1 0x44
00001298: ADD
00001299: PUSH2 0x0216
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x00
000012a0: SLOAD
000012a1: PUSH1 0x01
000012a3: PUSH1 0xa0
000012a5: SHL
000012a6: SWAP1
000012a7: DIV
000012a8: PUSH12 0xffffffffffffffffffffffff
000012b5: AND
000012b6: DUP4
000012b7: ISZERO
000012b8: DUP1
000012b9: ISZERO
000012ba: SWAP1
000012bb: PUSH2 0x12c4
000012be: JUMPI
000012bf: POP
000012c0: DUP4
000012c1: DUP2
000012c2: LT
000012c3: ISZERO
000012c4: JUMPDEST
000012c5: ISZERO
000012c6: PUSH2 0x13db
000012c9: JUMPI
000012ca: PUSH2 0x12d3
000012cd: DUP5
000012ce: DUP3
000012cf: PUSH2 0x2378
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH1 0x00
000012d6: DUP1
000012d7: SLOAD
000012d8: PUSH1 0x01
000012da: PUSH1 0x01
000012dc: PUSH1 0xa0
000012de: SHL
000012df: SUB
000012e0: SWAP1
000012e1: DUP2
000012e2: AND
000012e3: PUSH1 0x01
000012e5: PUSH1 0xa0
000012e7: SHL
000012e8: PUSH12 0xffffffffffffffffffffffff
000012f5: DUP6
000012f6: AND
000012f7: MUL
000012f8: OR
000012f9: SWAP1
000012fa: SWAP2
000012fb: SSTORE
000012fc: PUSH1 0x40
000012fe: MLOAD
000012ff: DUP7
00001300: DUP2
00001301: MSTORE
00001302: SWAP2
00001303: SWAP3
00001304: POP
00001305: DUP7
00001306: AND
00001307: SWAP1
00001308: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
0000131d: SWAP1
0000131e: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb
0000133f: SWAP1
00001340: PUSH1 0x20
00001342: ADD
00001343: PUSH1 0x40
00001345: MLOAD
00001346: DUP1
00001347: SWAP2
00001348: SUB
00001349: SWAP1
0000134a: LOG3
0000134b: PUSH1 0x40
0000134d: MLOAD
0000134e: PUSH1 0x01
00001350: PUSH1 0x01
00001352: PUSH1 0xa0
00001354: SHL
00001355: SUB
00001356: DUP7
00001357: AND
00001358: SWAP1
00001359: DUP6
0000135a: SWAP1
0000135b: PUSH1 0x00
0000135d: DUP2
0000135e: DUP2
0000135f: DUP2
00001360: DUP6
00001361: DUP8
00001362: GAS
00001363: CALL
00001364: SWAP3
00001365: POP
00001366: POP
00001367: POP
00001368: RETURNDATASIZE
00001369: DUP1
0000136a: PUSH1 0x00
0000136c: DUP2
0000136d: EQ
0000136e: PUSH2 0x1393
00001371: JUMPI
00001372: PUSH1 0x40
00001374: MLOAD
00001375: SWAP2
00001376: POP
00001377: PUSH1 0x1f
00001379: NOT
0000137a: PUSH1 0x3f
0000137c: RETURNDATASIZE
0000137d: ADD
0000137e: AND
0000137f: DUP3
00001380: ADD
00001381: PUSH1 0x40
00001383: MSTORE
00001384: RETURNDATASIZE
00001385: DUP3
00001386: MSTORE
00001387: RETURNDATASIZE
00001388: PUSH1 0x00
0000138a: PUSH1 0x20
0000138c: DUP5
0000138d: ADD
0000138e: RETURNDATACOPY
0000138f: PUSH2 0x1398
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH1 0x60
00001396: SWAP2
00001397: POP
00001398: JUMPDEST
00001399: POP
0000139a: POP
0000139b: DUP1
0000139c: SWAP3
0000139d: POP
0000139e: POP
0000139f: DUP2
000013a0: PUSH2 0x13db
000013a3: JUMPI
000013a4: PUSH1 0x40
000013a6: MLOAD
000013a7: PUSH4 0xcd3f1659
000013ac: PUSH1 0xe0
000013ae: SHL
000013af: DUP2
000013b0: MSTORE
000013b1: PUSH1 0x00
000013b3: PUSH1 0x04
000013b5: DUP3
000013b6: ADD
000013b7: MSTORE
000013b8: ADDRESS
000013b9: PUSH1 0x24
000013bb: DUP3
000013bc: ADD
000013bd: MSTORE
000013be: PUSH1 0x01
000013c0: PUSH1 0x01
000013c2: PUSH1 0xa0
000013c4: SHL
000013c5: SUB
000013c6: DUP7
000013c7: AND
000013c8: PUSH1 0x44
000013ca: DUP3
000013cb: ADD
000013cc: MSTORE
000013cd: PUSH1 0x64
000013cf: DUP2
000013d0: ADD
000013d1: DUP6
000013d2: SWAP1
000013d3: MSTORE
000013d4: PUSH1 0x84
000013d6: ADD
000013d7: PUSH2 0x0216
000013da: JUMP
000013db: JUMPDEST
000013dc: DUP3
000013dd: ISZERO
000013de: PUSH2 0x11f1
000013e1: JUMPI
000013e2: PUSH1 0x01
000013e4: SLOAD
000013e5: PUSH1 0x40
000013e7: MLOAD
000013e8: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x01
0000140d: PUSH1 0x01
0000140f: PUSH1 0xa0
00001411: SHL
00001412: SUB
00001413: DUP8
00001414: DUP2
00001415: AND
00001416: PUSH1 0x04
00001418: DUP4
00001419: ADD
0000141a: MSTORE
0000141b: PUSH1 0x24
0000141d: DUP3
0000141e: ADD
0000141f: DUP7
00001420: SWAP1
00001421: MSTORE
00001422: SWAP1
00001423: SWAP2
00001424: AND
00001425: SWAP1
00001426: PUSH4 0x40c10f19
0000142b: SWAP1
0000142c: PUSH1 0x44
0000142e: ADD
0000142f: PUSH1 0x00
00001431: PUSH1 0x40
00001433: MLOAD
00001434: DUP1
00001435: DUP4
00001436: SUB
00001437: DUP2
00001438: PUSH1 0x00
0000143a: DUP8
0000143b: DUP1
0000143c: EXTCODESIZE
0000143d: ISZERO
0000143e: DUP1
0000143f: ISZERO
00001440: PUSH2 0x1448
00001443: JUMPI
00001444: PUSH1 0x00
00001446: DUP1
00001447: REVERT
00001448: JUMPDEST
00001449: POP
0000144a: GAS
0000144b: CALL
0000144c: ISZERO
0000144d: DUP1
0000144e: ISZERO
0000144f: PUSH2 0x145c
00001452: JUMPI
00001453: RETURNDATASIZE
00001454: PUSH1 0x00
00001456: DUP1
00001457: RETURNDATACOPY
00001458: RETURNDATASIZE
00001459: PUSH1 0x00
0000145b: REVERT
0000145c: JUMPDEST
0000145d: POP
0000145e: POP
0000145f: PUSH1 0x01
00001461: DUP1
00001462: SLOAD
00001463: PUSH1 0x40
00001465: MLOAD
00001466: DUP8
00001467: DUP2
00001468: MSTORE
00001469: SWAP2
0000146a: SWAP6
0000146b: POP
0000146c: PUSH1 0x01
0000146e: PUSH1 0x01
00001470: PUSH1 0xa0
00001472: SHL
00001473: SUB
00001474: DUP10
00001475: DUP2
00001476: AND
00001477: SWAP5
00001478: POP
00001479: AND
0000147a: SWAP2
0000147b: POP
0000147c: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb
0000149d: SWAP1
0000149e: PUSH1 0x20
000014a0: ADD
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: DUP1
000014a5: SWAP2
000014a6: SUB
000014a7: SWAP1
000014a8: LOG3
000014a9: POP
000014aa: SWAP4
000014ab: SWAP3
000014ac: POP
000014ad: POP
000014ae: POP
000014af: JUMP
000014b0: JUMPDEST
000014b1: PUSH1 0x00
000014b3: SLOAD
000014b4: PUSH1 0x01
000014b6: PUSH1 0x01
000014b8: PUSH1 0xa0
000014ba: SHL
000014bb: SUB
000014bc: AND
000014bd: CALLER
000014be: EQ
000014bf: PUSH2 0x14f0
000014c2: JUMPI
000014c3: PUSH1 0x00
000014c5: SLOAD
000014c6: PUSH1 0x40
000014c8: MLOAD
000014c9: PUSH4 0x521eb56d
000014ce: PUSH1 0xe1
000014d0: SHL
000014d1: DUP2
000014d2: MSTORE
000014d3: CALLER
000014d4: PUSH1 0x04
000014d6: DUP3
000014d7: ADD
000014d8: MSTORE
000014d9: PUSH1 0x01
000014db: PUSH1 0x01
000014dd: PUSH1 0xa0
000014df: SHL
000014e0: SUB
000014e1: SWAP1
000014e2: SWAP2
000014e3: AND
000014e4: PUSH1 0x24
000014e6: DUP3
000014e7: ADD
000014e8: MSTORE
000014e9: PUSH1 0x44
000014eb: ADD
000014ec: PUSH2 0x0216
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x03
000014f3: DUP1
000014f4: SLOAD
000014f5: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001516: AND
00001517: PUSH21 0x020000000000000000000000000000000000000000
0000152d: OR
0000152e: SWAP1
0000152f: SSTORE
00001530: PUSH1 0x40
00001532: MLOAD
00001533: PUSH32 0x057751199181d584c26a7c04b3f3de8cacbb25ebdf78fd029813ea393bd510b9
00001554: SWAP1
00001555: PUSH1 0x00
00001557: SWAP1
00001558: LOG1
00001559: JUMP
0000155a: JUMPDEST
0000155b: PUSH1 0x00
0000155d: DUP1
0000155e: SLOAD
0000155f: PUSH1 0x01
00001561: PUSH1 0x01
00001563: PUSH1 0xa0
00001565: SHL
00001566: SUB
00001567: AND
00001568: CALLER
00001569: EQ
0000156a: PUSH2 0x159b
0000156d: JUMPI
0000156e: PUSH1 0x00
00001570: SLOAD
00001571: PUSH1 0x40
00001573: MLOAD
00001574: PUSH4 0x521eb56d
00001579: PUSH1 0xe1
0000157b: SHL
0000157c: DUP2
0000157d: MSTORE
0000157e: CALLER
0000157f: PUSH1 0x04
00001581: DUP3
00001582: ADD
00001583: MSTORE
00001584: PUSH1 0x01
00001586: PUSH1 0x01
00001588: PUSH1 0xa0
0000158a: SHL
0000158b: SUB
0000158c: SWAP1
0000158d: SWAP2
0000158e: AND
0000158f: PUSH1 0x24
00001591: DUP3
00001592: ADD
00001593: MSTORE
00001594: PUSH1 0x44
00001596: ADD
00001597: PUSH2 0x0216
0000159a: JUMP
0000159b: JUMPDEST
0000159c: PUSH1 0x02
0000159e: SLOAD
0000159f: PUSH1 0x40
000015a1: DUP1
000015a2: MLOAD
000015a3: PUSH32 0xcbcf252a00000000000000000000000000000000000000000000000000000000
000015c4: DUP2
000015c5: MSTORE
000015c6: SWAP1
000015c7: MLOAD
000015c8: PUSH1 0x00
000015ca: SWAP3
000015cb: PUSH1 0x01
000015cd: PUSH1 0x01
000015cf: PUSH1 0xa0
000015d1: SHL
000015d2: SUB
000015d3: AND
000015d4: SWAP2
000015d5: PUSH4 0xcbcf252a
000015da: SWAP2
000015db: PUSH1 0x04
000015dd: DUP1
000015de: DUP4
000015df: ADD
000015e0: SWAP3
000015e1: PUSH1 0x20
000015e3: SWAP3
000015e4: SWAP2
000015e5: SWAP1
000015e6: DUP3
000015e7: SWAP1
000015e8: SUB
000015e9: ADD
000015ea: DUP2
000015eb: DUP7
000015ec: GAS
000015ed: STATICCALL
000015ee: ISZERO
000015ef: DUP1
000015f0: ISZERO
000015f1: PUSH2 0x15fe
000015f4: JUMPI
000015f5: RETURNDATASIZE
000015f6: PUSH1 0x00
000015f8: DUP1
000015f9: RETURNDATACOPY
000015fa: RETURNDATASIZE
000015fb: PUSH1 0x00
000015fd: REVERT
000015fe: JUMPDEST
000015ff: POP
00001600: POP
00001601: POP
00001602: POP
00001603: PUSH1 0x40
00001605: MLOAD
00001606: RETURNDATASIZE
00001607: PUSH1 0x1f
00001609: NOT
0000160a: PUSH1 0x1f
0000160c: DUP3
0000160d: ADD
0000160e: AND
0000160f: DUP3
00001610: ADD
00001611: DUP1
00001612: PUSH1 0x40
00001614: MSTORE
00001615: POP
00001616: DUP2
00001617: ADD
00001618: SWAP1
00001619: PUSH2 0x1622
0000161c: SWAP2
0000161d: SWAP1
0000161e: PUSH2 0x238b
00001621: JUMP
00001622: JUMPDEST
00001623: SWAP1
00001624: POP
00001625: PUSH1 0x00
00001627: DUP2
00001628: PUSH1 0x01
0000162a: PUSH1 0x01
0000162c: PUSH1 0xa0
0000162e: SHL
0000162f: SUB
00001630: AND
00001631: PUSH4 0x6f99f15c
00001636: PUSH1 0x40
00001638: MLOAD
00001639: DUP2
0000163a: PUSH4 0xffffffff
0000163f: AND
00001640: PUSH1 0xe0
00001642: SHL
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x04
00001647: ADD
00001648: PUSH1 0x20
0000164a: PUSH1 0x40
0000164c: MLOAD
0000164d: DUP1
0000164e: DUP4
0000164f: SUB
00001650: DUP2
00001651: DUP7
00001652: GAS
00001653: STATICCALL
00001654: ISZERO
00001655: DUP1
00001656: ISZERO
00001657: PUSH2 0x1664
0000165a: JUMPI
0000165b: RETURNDATASIZE
0000165c: PUSH1 0x00
0000165e: DUP1
0000165f: RETURNDATACOPY
00001660: RETURNDATASIZE
00001661: PUSH1 0x00
00001663: REVERT
00001664: JUMPDEST
00001665: POP
00001666: POP
00001667: POP
00001668: POP
00001669: PUSH1 0x40
0000166b: MLOAD
0000166c: RETURNDATASIZE
0000166d: PUSH1 0x1f
0000166f: NOT
00001670: PUSH1 0x1f
00001672: DUP3
00001673: ADD
00001674: AND
00001675: DUP3
00001676: ADD
00001677: DUP1
00001678: PUSH1 0x40
0000167a: MSTORE
0000167b: POP
0000167c: DUP2
0000167d: ADD
0000167e: SWAP1
0000167f: PUSH2 0x1688
00001682: SWAP2
00001683: SWAP1
00001684: PUSH2 0x233d
00001687: JUMP
00001688: JUMPDEST
00001689: PUSH1 0x02
0000168b: SLOAD
0000168c: SWAP1
0000168d: SWAP2
0000168e: POP
0000168f: PUSH1 0x01
00001691: PUSH1 0xa0
00001693: SHL
00001694: SWAP1
00001695: DIV
00001696: PUSH12 0xffffffffffffffffffffffff
000016a3: AND
000016a4: DUP2
000016a5: LT
000016a6: ISZERO
000016a7: PUSH2 0x16fd
000016aa: JUMPI
000016ab: PUSH1 0x02
000016ad: SLOAD
000016ae: PUSH1 0x40
000016b0: MLOAD
000016b1: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000
000016d2: DUP2
000016d3: MSTORE
000016d4: PUSH1 0x04
000016d6: DUP2
000016d7: ADD
000016d8: DUP4
000016d9: SWAP1
000016da: MSTORE
000016db: PUSH1 0x01
000016dd: PUSH1 0xa0
000016df: SHL
000016e0: SWAP1
000016e1: SWAP2
000016e2: DIV
000016e3: PUSH12 0xffffffffffffffffffffffff
000016f0: AND
000016f1: PUSH1 0x24
000016f3: DUP3
000016f4: ADD
000016f5: MSTORE
000016f6: PUSH1 0x44
000016f8: ADD
000016f9: PUSH2 0x0216
000016fc: JUMP
000016fd: JUMPDEST
000016fe: DUP2
000016ff: PUSH1 0x01
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: SHL
00001706: SUB
00001707: AND
00001708: PUSH4 0x9890220b
0000170d: PUSH1 0x40
0000170f: MLOAD
00001710: DUP2
00001711: PUSH4 0xffffffff
00001716: AND
00001717: PUSH1 0xe0
00001719: SHL
0000171a: DUP2
0000171b: MSTORE
0000171c: PUSH1 0x04
0000171e: ADD
0000171f: PUSH1 0x20
00001721: PUSH1 0x40
00001723: MLOAD
00001724: DUP1
00001725: DUP4
00001726: SUB
00001727: DUP2
00001728: PUSH1 0x00
0000172a: DUP8
0000172b: GAS
0000172c: CALL
0000172d: ISZERO
0000172e: DUP1
0000172f: ISZERO
00001730: PUSH2 0x173d
00001733: JUMPI
00001734: RETURNDATASIZE
00001735: PUSH1 0x00
00001737: DUP1
00001738: RETURNDATACOPY
00001739: RETURNDATASIZE
0000173a: PUSH1 0x00
0000173c: REVERT
0000173d: JUMPDEST
0000173e: POP
0000173f: POP
00001740: POP
00001741: POP
00001742: PUSH1 0x40
00001744: MLOAD
00001745: RETURNDATASIZE
00001746: PUSH1 0x1f
00001748: NOT
00001749: PUSH1 0x1f
0000174b: DUP3
0000174c: ADD
0000174d: AND
0000174e: DUP3
0000174f: ADD
00001750: DUP1
00001751: PUSH1 0x40
00001753: MSTORE
00001754: POP
00001755: DUP2
00001756: ADD
00001757: SWAP1
00001758: PUSH2 0x1761
0000175b: SWAP2
0000175c: SWAP1
0000175d: PUSH2 0x233d
00001760: JUMP
00001761: JUMPDEST
00001762: SWAP3
00001763: POP
00001764: POP
00001765: POP
00001766: SWAP1
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH1 0x00
0000176b: SLOAD
0000176c: PUSH1 0x01
0000176e: PUSH1 0x01
00001770: PUSH1 0xa0
00001772: SHL
00001773: SUB
00001774: AND
00001775: CALLER
00001776: EQ
00001777: PUSH2 0x17a8
0000177a: JUMPI
0000177b: PUSH1 0x00
0000177d: SLOAD
0000177e: PUSH1 0x40
00001780: MLOAD
00001781: PUSH4 0x521eb56d
00001786: PUSH1 0xe1
00001788: SHL
00001789: DUP2
0000178a: MSTORE
0000178b: CALLER
0000178c: PUSH1 0x04
0000178e: DUP3
0000178f: ADD
00001790: MSTORE
00001791: PUSH1 0x01
00001793: PUSH1 0x01
00001795: PUSH1 0xa0
00001797: SHL
00001798: SUB
00001799: SWAP1
0000179a: SWAP2
0000179b: AND
0000179c: PUSH1 0x24
0000179e: DUP3
0000179f: ADD
000017a0: MSTORE
000017a1: PUSH1 0x44
000017a3: ADD
000017a4: PUSH2 0x0216
000017a7: JUMP
000017a8: JUMPDEST
000017a9: PUSH1 0x01
000017ab: PUSH1 0x01
000017ad: PUSH1 0xa0
000017af: SHL
000017b0: SUB
000017b1: DUP2
000017b2: AND
000017b3: PUSH2 0x17e8
000017b6: JUMPI
000017b7: PUSH1 0x40
000017b9: MLOAD
000017ba: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x04
000017df: ADD
000017e0: PUSH1 0x40
000017e2: MLOAD
000017e3: DUP1
000017e4: SWAP2
000017e5: SUB
000017e6: SWAP1
000017e7: REVERT
000017e8: JUMPDEST
000017e9: PUSH1 0x00
000017eb: DUP1
000017ec: SLOAD
000017ed: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000180e: AND
0000180f: PUSH1 0x01
00001811: PUSH1 0x01
00001813: PUSH1 0xa0
00001815: SHL
00001816: SUB
00001817: DUP4
00001818: AND
00001819: SWAP1
0000181a: DUP2
0000181b: OR
0000181c: DUP3
0000181d: SSTORE
0000181e: PUSH1 0x40
00001820: MLOAD
00001821: SWAP1
00001822: SWAP2
00001823: PUSH32 0x4ffd725fc4a22075e9ec71c59edf9c38cdeb588a91b24fc5b61388c5be41282b
00001844: SWAP2
00001845: LOG2
00001846: POP
00001847: JUMP
00001848: JUMPDEST
00001849: PUSH1 0x03
0000184b: SLOAD
0000184c: PUSH1 0x01
0000184e: PUSH22 0x01000000000000000000000000000000000000000000
00001865: SWAP1
00001866: SWAP2
00001867: DIV
00001868: PUSH1 0xff
0000186a: AND
0000186b: GT
0000186c: ISZERO
0000186d: PUSH2 0x18a2
00001870: JUMPI
00001871: PUSH1 0x40
00001873: MLOAD
00001874: PUSH32 0x8beb9d1600000000000000000000000000000000000000000000000000000000
00001895: DUP2
00001896: MSTORE
00001897: PUSH1 0x04
00001899: ADD
0000189a: PUSH1 0x40
0000189c: MLOAD
0000189d: DUP1
0000189e: SWAP2
0000189f: SUB
000018a0: SWAP1
000018a1: REVERT
000018a2: JUMPDEST
000018a3: PUSH1 0x03
000018a5: DUP1
000018a6: SLOAD
000018a7: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
000018c8: AND
000018c9: PUSH22 0x02000000000000000000000000000000000000000000
000018e0: OR
000018e1: SWAP1
000018e2: SSTORE
000018e3: PUSH1 0x02
000018e5: SLOAD
000018e6: PUSH1 0x01
000018e8: PUSH1 0xa0
000018ea: SHL
000018eb: SWAP1
000018ec: DIV
000018ed: PUSH12 0xffffffffffffffffffffffff
000018fa: AND
000018fb: CALLVALUE
000018fc: LT
000018fd: ISZERO
000018fe: PUSH2 0x1953
00001901: JUMPI
00001902: PUSH1 0x02
00001904: SLOAD
00001905: PUSH1 0x40
00001907: MLOAD
00001908: PUSH32 0x491a2bb100000000000000000000000000000000000000000000000000000000
00001929: DUP2
0000192a: MSTORE
0000192b: CALLVALUE
0000192c: PUSH1 0x04
0000192e: DUP3
0000192f: ADD
00001930: MSTORE
00001931: PUSH1 0x01
00001933: PUSH1 0xa0
00001935: SHL
00001936: SWAP1
00001937: SWAP2
00001938: DIV
00001939: PUSH12 0xffffffffffffffffffffffff
00001946: AND
00001947: PUSH1 0x24
00001949: DUP3
0000194a: ADD
0000194b: MSTORE
0000194c: PUSH1 0x44
0000194e: ADD
0000194f: PUSH2 0x0216
00001952: JUMP
00001953: JUMPDEST
00001954: DUP2
00001955: MLOAD
00001956: DUP2
00001957: MLOAD
00001958: DUP2
00001959: EQ
0000195a: PUSH2 0x199c
0000195d: JUMPI
0000195e: DUP2
0000195f: MLOAD
00001960: PUSH1 0x40
00001962: MLOAD
00001963: PUSH32 0x8151c11000000000000000000000000000000000000000000000000000000000
00001984: DUP2
00001985: MSTORE
00001986: PUSH2 0x0216
00001989: SWAP2
0000198a: DUP4
0000198b: SWAP2
0000198c: PUSH1 0x04
0000198e: ADD
0000198f: SWAP2
00001990: DUP3
00001991: MSTORE
00001992: PUSH1 0x20
00001994: DUP3
00001995: ADD
00001996: MSTORE
00001997: PUSH1 0x40
00001999: ADD
0000199a: SWAP1
0000199b: JUMP
0000199c: JUMPDEST
0000199d: PUSH1 0x00
0000199f: DUP1
000019a0: JUMPDEST
000019a1: DUP3
000019a2: DUP2
000019a3: LT
000019a4: ISZERO
000019a5: PUSH2 0x1a32
000019a8: JUMPI
000019a9: DUP4
000019aa: DUP2
000019ab: DUP2
000019ac: MLOAD
000019ad: DUP2
000019ae: LT
000019af: PUSH2 0x19ba
000019b2: JUMPI
000019b3: PUSH2 0x19ba
000019b6: PUSH2 0x23a8
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x20
000019bd: MUL
000019be: PUSH1 0x20
000019c0: ADD
000019c1: ADD
000019c2: MLOAD
000019c3: PUSH1 0x00
000019c5: SUB
000019c6: PUSH2 0x19fb
000019c9: JUMPI
000019ca: PUSH1 0x40
000019cc: MLOAD
000019cd: PUSH32 0x7c946ed700000000000000000000000000000000000000000000000000000000
000019ee: DUP2
000019ef: MSTORE
000019f0: PUSH1 0x04
000019f2: ADD
000019f3: PUSH1 0x40
000019f5: MLOAD
000019f6: DUP1
000019f7: SWAP2
000019f8: SUB
000019f9: SWAP1
000019fa: REVERT
000019fb: JUMPDEST
000019fc: DUP4
000019fd: DUP2
000019fe: DUP2
000019ff: MLOAD
00001a00: DUP2
00001a01: LT
00001a02: PUSH2 0x1a0d
00001a05: JUMPI
00001a06: PUSH2 0x1a0d
00001a09: PUSH2 0x23a8
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: PUSH1 0x20
00001a10: MUL
00001a11: PUSH1 0x20
00001a13: ADD
00001a14: ADD
00001a15: MLOAD
00001a16: DUP3
00001a17: PUSH2 0x1a20
00001a1a: SWAP2
00001a1b: SWAP1
00001a1c: PUSH2 0x208e
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: SWAP2
00001a22: POP
00001a23: PUSH2 0x1a2b
00001a26: DUP2
00001a27: PUSH2 0x23d7
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: SWAP1
00001a2d: POP
00001a2e: PUSH2 0x19a0
00001a31: JUMP
00001a32: JUMPDEST
00001a33: POP
00001a34: DUP1
00001a35: CALLVALUE
00001a36: EQ
00001a37: PUSH2 0x1a75
00001a3a: JUMPI
00001a3b: PUSH1 0x40
00001a3d: MLOAD
00001a3e: PUSH32 0x312b003300000000000000000000000000000000000000000000000000000000
00001a5f: DUP2
00001a60: MSTORE
00001a61: CALLVALUE
00001a62: PUSH1 0x04
00001a64: DUP3
00001a65: ADD
00001a66: MSTORE
00001a67: PUSH1 0x24
00001a69: DUP2
00001a6a: ADD
00001a6b: DUP3
00001a6c: SWAP1
00001a6d: MSTORE
00001a6e: PUSH1 0x44
00001a70: ADD
00001a71: PUSH2 0x0216
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH1 0x00
00001a78: DUP1
00001a79: SLOAD
00001a7a: PUSH2 0x1a99
00001a7d: SWAP1
00001a7e: CALLVALUE
00001a7f: SWAP1
00001a80: PUSH1 0x01
00001a82: PUSH1 0xa0
00001a84: SHL
00001a85: SWAP1
00001a86: DIV
00001a87: PUSH12 0xffffffffffffffffffffffff
00001a94: AND
00001a95: PUSH2 0x208e
00001a98: JUMP
00001a99: JUMPDEST
00001a9a: PUSH1 0x01
00001a9c: SLOAD
00001a9d: SWAP1
00001a9e: SWAP2
00001a9f: POP
00001aa0: PUSH12 0xffffffffffffffffffffffff
00001aad: SWAP1
00001aae: PUSH2 0x1ac0
00001ab1: SWAP1
00001ab2: PUSH1 0x01
00001ab4: PUSH1 0xa0
00001ab6: SHL
00001ab7: SWAP1
00001ab8: DIV
00001ab9: DUP3
00001aba: AND
00001abb: DUP4
00001abc: PUSH2 0x208e
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: GT
00001ac2: ISZERO
00001ac3: PUSH2 0x1b0d
00001ac6: JUMPI
00001ac7: PUSH1 0x40
00001ac9: MLOAD
00001aca: PUSH32 0x7ae5968500000000000000000000000000000000000000000000000000000000
00001aeb: DUP2
00001aec: MSTORE
00001aed: PUSH1 0x04
00001aef: DUP2
00001af0: ADD
00001af1: DUP3
00001af2: SWAP1
00001af3: MSTORE
00001af4: PUSH12 0xffffffffffffffffffffffff
00001b01: PUSH1 0x24
00001b03: DUP3
00001b04: ADD
00001b05: MSTORE
00001b06: PUSH1 0x44
00001b08: ADD
00001b09: PUSH2 0x0216
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x00
00001b10: DUP1
00001b11: SLOAD
00001b12: PUSH1 0x01
00001b14: PUSH1 0x01
00001b16: PUSH1 0xa0
00001b18: SHL
00001b19: SUB
00001b1a: AND
00001b1b: PUSH1 0x01
00001b1d: PUSH1 0xa0
00001b1f: SHL
00001b20: PUSH12 0xffffffffffffffffffffffff
00001b2d: DUP5
00001b2e: AND
00001b2f: MUL
00001b30: OR
00001b31: SWAP1
00001b32: SSTORE
00001b33: PUSH1 0x40
00001b35: MLOAD
00001b36: CALLER
00001b37: SWAP1
00001b38: PUSH32 0xb7c3b13b911bdc71cbcf384e470cad657b7da964c892dc2fdba1432ad64d8be0
00001b59: SWAP1
00001b5a: PUSH2 0x1b68
00001b5d: SWAP1
00001b5e: DUP9
00001b5f: SWAP1
00001b60: DUP9
00001b61: SWAP1
00001b62: CALLVALUE
00001b63: SWAP1
00001b64: PUSH2 0x244a
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH1 0x40
00001b6b: MLOAD
00001b6c: DUP1
00001b6d: SWAP2
00001b6e: SUB
00001b6f: SWAP1
00001b70: LOG2
00001b71: PUSH1 0x02
00001b73: SLOAD
00001b74: PUSH1 0x40
00001b76: MLOAD
00001b77: PUSH32 0x5bc0220100000000000000000000000000000000000000000000000000000000
00001b98: DUP2
00001b99: MSTORE
00001b9a: PUSH1 0x01
00001b9c: PUSH1 0x01
00001b9e: PUSH1 0xa0
00001ba0: SHL
00001ba1: SUB
00001ba2: SWAP1
00001ba3: SWAP2
00001ba4: AND
00001ba5: SWAP1
00001ba6: PUSH4 0x5bc02201
00001bab: SWAP1
00001bac: PUSH2 0x1bbf
00001baf: SWAP1
00001bb0: CALLER
00001bb1: SWAP1
00001bb2: DUP10
00001bb3: SWAP1
00001bb4: DUP10
00001bb5: SWAP1
00001bb6: CALLVALUE
00001bb7: SWAP1
00001bb8: PUSH1 0x04
00001bba: ADD
00001bbb: PUSH2 0x2480
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x00
00001bc2: PUSH1 0x40
00001bc4: MLOAD
00001bc5: DUP1
00001bc6: DUP4
00001bc7: SUB
00001bc8: DUP2
00001bc9: PUSH1 0x00
00001bcb: DUP8
00001bcc: DUP1
00001bcd: EXTCODESIZE
00001bce: ISZERO
00001bcf: DUP1
00001bd0: ISZERO
00001bd1: PUSH2 0x1bd9
00001bd4: JUMPI
00001bd5: PUSH1 0x00
00001bd7: DUP1
00001bd8: REVERT
00001bd9: JUMPDEST
00001bda: POP
00001bdb: GAS
00001bdc: CALL
00001bdd: ISZERO
00001bde: DUP1
00001bdf: ISZERO
00001be0: PUSH2 0x1bed
00001be3: JUMPI
00001be4: RETURNDATASIZE
00001be5: PUSH1 0x00
00001be7: DUP1
00001be8: RETURNDATACOPY
00001be9: RETURNDATASIZE
00001bea: PUSH1 0x00
00001bec: REVERT
00001bed: JUMPDEST
00001bee: POP
00001bef: POP
00001bf0: PUSH1 0x03
00001bf2: DUP1
00001bf3: SLOAD
00001bf4: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00001c15: AND
00001c16: PUSH22 0x01000000000000000000000000000000000000000000
00001c2d: OR
00001c2e: SWAP1
00001c2f: SSTORE
00001c30: POP
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: POP
00001c35: POP
00001c36: POP
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x00
00001c3b: SLOAD
00001c3c: PUSH1 0x01
00001c3e: PUSH1 0x01
00001c40: PUSH1 0xa0
00001c42: SHL
00001c43: SUB
00001c44: AND
00001c45: CALLER
00001c46: EQ
00001c47: PUSH2 0x1c78
00001c4a: JUMPI
00001c4b: PUSH1 0x00
00001c4d: SLOAD
00001c4e: PUSH1 0x40
00001c50: MLOAD
00001c51: PUSH4 0x521eb56d
00001c56: PUSH1 0xe1
00001c58: SHL
00001c59: DUP2
00001c5a: MSTORE
00001c5b: CALLER
00001c5c: PUSH1 0x04
00001c5e: DUP3
00001c5f: ADD
00001c60: MSTORE
00001c61: PUSH1 0x01
00001c63: PUSH1 0x01
00001c65: PUSH1 0xa0
00001c67: SHL
00001c68: SUB
00001c69: SWAP1
00001c6a: SWAP2
00001c6b: AND
00001c6c: PUSH1 0x24
00001c6e: DUP3
00001c6f: ADD
00001c70: MSTORE
00001c71: PUSH1 0x44
00001c73: ADD
00001c74: PUSH2 0x0216
00001c77: JUMP
00001c78: JUMPDEST
00001c79: PUSH1 0x01
00001c7b: PUSH1 0x01
00001c7d: PUSH1 0xa0
00001c7f: SHL
00001c80: SUB
00001c81: DUP2
00001c82: AND
00001c83: PUSH2 0x1cb8
00001c86: JUMPI
00001c87: PUSH1 0x40
00001c89: MLOAD
00001c8a: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
00001cab: DUP2
00001cac: MSTORE
00001cad: PUSH1 0x04
00001caf: ADD
00001cb0: PUSH1 0x40
00001cb2: MLOAD
00001cb3: DUP1
00001cb4: SWAP2
00001cb5: SUB
00001cb6: SWAP1
00001cb7: REVERT
00001cb8: JUMPDEST
00001cb9: PUSH1 0x01
00001cbb: PUSH1 0x01
00001cbd: PUSH1 0xa0
00001cbf: SHL
00001cc0: SUB
00001cc1: DUP2
00001cc2: AND
00001cc3: PUSH1 0x00
00001cc5: SWAP1
00001cc6: DUP2
00001cc7: MSTORE
00001cc8: PUSH1 0x06
00001cca: PUSH1 0x20
00001ccc: MSTORE
00001ccd: PUSH1 0x40
00001ccf: SWAP1
00001cd0: KECCAK256
00001cd1: SLOAD
00001cd2: PUSH1 0xff
00001cd4: AND
00001cd5: PUSH2 0x0bf6
00001cd8: JUMPI
00001cd9: PUSH1 0x01
00001cdb: PUSH1 0x01
00001cdd: PUSH1 0xa0
00001cdf: SHL
00001ce0: SUB
00001ce1: DUP2
00001ce2: AND
00001ce3: PUSH1 0x00
00001ce5: DUP2
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x06
00001cea: PUSH1 0x20
00001cec: MSTORE
00001ced: PUSH1 0x40
00001cef: DUP1
00001cf0: DUP3
00001cf1: KECCAK256
00001cf2: DUP1
00001cf3: SLOAD
00001cf4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001d15: AND
00001d16: PUSH1 0x01
00001d18: OR
00001d19: SWAP1
00001d1a: SSTORE
00001d1b: MLOAD
00001d1c: PUSH32 0x1f4b6598cc34e310cc34bcfcb372afb5ba5af654fad97b26cc10ae8289f1c62f
00001d3d: SWAP2
00001d3e: SWAP1
00001d3f: LOG2
00001d40: POP
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH1 0x00
00001d45: SLOAD
00001d46: PUSH1 0x01
00001d48: PUSH1 0x01
00001d4a: PUSH1 0xa0
00001d4c: SHL
00001d4d: SUB
00001d4e: AND
00001d4f: CALLER
00001d50: EQ
00001d51: PUSH2 0x1d82
00001d54: JUMPI
00001d55: PUSH1 0x00
00001d57: SLOAD
00001d58: PUSH1 0x40
00001d5a: MLOAD
00001d5b: PUSH4 0x521eb56d
00001d60: PUSH1 0xe1
00001d62: SHL
00001d63: DUP2
00001d64: MSTORE
00001d65: CALLER
00001d66: PUSH1 0x04
00001d68: DUP3
00001d69: ADD
00001d6a: MSTORE
00001d6b: PUSH1 0x01
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0xa0
00001d71: SHL
00001d72: SUB
00001d73: SWAP1
00001d74: SWAP2
00001d75: AND
00001d76: PUSH1 0x24
00001d78: DUP3
00001d79: ADD
00001d7a: MSTORE
00001d7b: PUSH1 0x44
00001d7d: ADD
00001d7e: PUSH2 0x0216
00001d81: JUMP
00001d82: JUMPDEST
00001d83: PUSH1 0x01
00001d85: PUSH1 0x01
00001d87: PUSH1 0xa0
00001d89: SHL
00001d8a: SUB
00001d8b: DUP4
00001d8c: AND
00001d8d: ISZERO
00001d8e: PUSH2 0x1df1
00001d91: JUMPI
00001d92: PUSH1 0x02
00001d94: DUP1
00001d95: SLOAD
00001d96: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001db7: AND
00001db8: PUSH1 0x01
00001dba: PUSH1 0x01
00001dbc: PUSH1 0xa0
00001dbe: SHL
00001dbf: SUB
00001dc0: DUP6
00001dc1: AND
00001dc2: SWAP1
00001dc3: DUP2
00001dc4: OR
00001dc5: SWAP1
00001dc6: SWAP2
00001dc7: SSTORE
00001dc8: PUSH1 0x40
00001dca: MLOAD
00001dcb: PUSH32 0x4672fe7e13cfb163442d0b729b5733fb3efafc66cbe3677eac9940eb41c284c2
00001dec: SWAP1
00001ded: PUSH1 0x00
00001def: SWAP1
00001df0: LOG2
00001df1: JUMPDEST
00001df2: PUSH1 0x01
00001df4: PUSH1 0x01
00001df6: PUSH1 0xa0
00001df8: SHL
00001df9: SUB
00001dfa: DUP3
00001dfb: AND
00001dfc: ISZERO
00001dfd: PUSH2 0x1e60
00001e00: JUMPI
00001e01: PUSH1 0x03
00001e03: DUP1
00001e04: SLOAD
00001e05: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001e26: AND
00001e27: PUSH1 0x01
00001e29: PUSH1 0x01
00001e2b: PUSH1 0xa0
00001e2d: SHL
00001e2e: SUB
00001e2f: DUP5
00001e30: AND
00001e31: SWAP1
00001e32: DUP2
00001e33: OR
00001e34: SWAP1
00001e35: SWAP2
00001e36: SSTORE
00001e37: PUSH1 0x40
00001e39: MLOAD
00001e3a: PUSH32 0xcd22b277e2781665af395ae4868b7fd80cf6d9e06a5a740a9c4746922a25a223
00001e5b: SWAP1
00001e5c: PUSH1 0x00
00001e5e: SWAP1
00001e5f: LOG2
00001e60: JUMPDEST
00001e61: PUSH1 0x01
00001e63: PUSH1 0x01
00001e65: PUSH1 0xa0
00001e67: SHL
00001e68: SUB
00001e69: DUP2
00001e6a: AND
00001e6b: ISZERO
00001e6c: PUSH2 0x1ecf
00001e6f: JUMPI
00001e70: PUSH1 0x04
00001e72: DUP1
00001e73: SLOAD
00001e74: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001e95: AND
00001e96: PUSH1 0x01
00001e98: PUSH1 0x01
00001e9a: PUSH1 0xa0
00001e9c: SHL
00001e9d: SUB
00001e9e: DUP4
00001e9f: AND
00001ea0: SWAP1
00001ea1: DUP2
00001ea2: OR
00001ea3: SWAP1
00001ea4: SWAP2
00001ea5: SSTORE
00001ea6: PUSH1 0x40
00001ea8: MLOAD
00001ea9: PUSH32 0xe4915bbde794cce5e56670cce1c0048ef68276040acd048bdb7157ded9232b48
00001eca: SWAP1
00001ecb: PUSH1 0x00
00001ecd: SWAP1
00001ece: LOG2
00001ecf: JUMPDEST
00001ed0: POP
00001ed1: POP
00001ed2: POP
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: PUSH1 0x03
00001ed7: SLOAD
00001ed8: PUSH1 0x00
00001eda: SWAP1
00001edb: PUSH1 0x01
00001edd: PUSH1 0xa0
00001edf: SHL
00001ee0: SWAP1
00001ee1: DIV
00001ee2: PUSH1 0xff
00001ee4: AND
00001ee5: PUSH1 0x02
00001ee7: SUB
00001ee8: PUSH2 0x1f1d
00001eeb: JUMPI
00001eec: PUSH1 0x40
00001eee: MLOAD
00001eef: PUSH32 0x9e87fac800000000000000000000000000000000000000000000000000000000
00001f10: DUP2
00001f11: MSTORE
00001f12: PUSH1 0x04
00001f14: ADD
00001f15: PUSH1 0x40
00001f17: MLOAD
00001f18: DUP1
00001f19: SWAP2
00001f1a: SUB
00001f1b: SWAP1
00001f1c: REVERT
00001f1d: JUMPDEST
00001f1e: PUSH1 0x02
00001f20: SLOAD
00001f21: PUSH1 0x01
00001f23: PUSH1 0x01
00001f25: PUSH1 0xa0
00001f27: SHL
00001f28: SUB
00001f29: AND
00001f2a: CALLER
00001f2b: EQ
00001f2c: PUSH2 0x1f76
00001f2f: JUMPI
00001f30: PUSH1 0x02
00001f32: SLOAD
00001f33: PUSH1 0x40
00001f35: MLOAD
00001f36: PUSH32 0x625a43fe00000000000000000000000000000000000000000000000000000000
00001f57: DUP2
00001f58: MSTORE
00001f59: CALLER
00001f5a: PUSH1 0x04
00001f5c: DUP3
00001f5d: ADD
00001f5e: MSTORE
00001f5f: PUSH1 0x01
00001f61: PUSH1 0x01
00001f63: PUSH1 0xa0
00001f65: SHL
00001f66: SUB
00001f67: SWAP1
00001f68: SWAP2
00001f69: AND
00001f6a: PUSH1 0x24
00001f6c: DUP3
00001f6d: ADD
00001f6e: MSTORE
00001f6f: PUSH1 0x44
00001f71: ADD
00001f72: PUSH2 0x0216
00001f75: JUMP
00001f76: JUMPDEST
00001f77: POP
00001f78: PUSH1 0x01
00001f7a: DUP2
00001f7b: ISZERO
00001f7c: PUSH2 0x205a
00001f7f: JUMPI
00001f80: PUSH1 0x00
00001f82: SLOAD
00001f83: PUSH1 0x01
00001f85: PUSH1 0xa0
00001f87: SHL
00001f88: SWAP1
00001f89: DIV
00001f8a: PUSH12 0xffffffffffffffffffffffff
00001f97: AND
00001f98: DUP3
00001f99: DUP2
00001f9a: LT
00001f9b: PUSH2 0x2053
00001f9e: JUMPI
00001f9f: PUSH2 0x1fa8
00001fa2: DUP4
00001fa3: DUP3
00001fa4: PUSH2 0x2378
00001fa7: JUMP
00001fa8: JUMPDEST
00001fa9: PUSH1 0x01
00001fab: SLOAD
00001fac: SWAP1
00001fad: SWAP2
00001fae: POP
00001faf: PUSH1 0x01
00001fb1: PUSH1 0xa0
00001fb3: SHL
00001fb4: SWAP1
00001fb5: DIV
00001fb6: PUSH12 0xffffffffffffffffffffffff
00001fc3: AND
00001fc4: PUSH2 0x1fcd
00001fc7: DUP5
00001fc8: DUP3
00001fc9: PUSH2 0x208e
00001fcc: JUMP
00001fcd: JUMPDEST
00001fce: PUSH1 0x01
00001fd0: DUP1
00001fd1: SLOAD
00001fd2: PUSH12 0xffffffffffffffffffffffff
00001fdf: DUP1
00001fe0: DUP5
00001fe1: AND
00001fe2: PUSH1 0x01
00001fe4: PUSH1 0xa0
00001fe6: SHL
00001fe7: SWAP1
00001fe8: DUP2
00001fe9: MUL
00001fea: PUSH1 0x01
00001fec: PUSH1 0x01
00001fee: PUSH1 0xa0
00001ff0: SHL
00001ff1: SUB
00001ff2: SWAP4
00001ff3: DUP5
00001ff4: AND
00001ff5: OR
00001ff6: SWAP1
00001ff7: SWAP4
00001ff8: SSTORE
00001ff9: PUSH1 0x00
00001ffb: DUP1
00001ffc: SLOAD
00001ffd: SWAP2
00001ffe: DUP8
00001fff: AND
00002000: SWAP1
00002001: SWAP4
00002002: MUL
00002003: SWAP2
00002004: AND
00002005: OR
00002006: SWAP1
00002007: SSTORE
00002008: PUSH1 0x40
0000200a: MLOAD
0000200b: SWAP1
0000200c: SWAP2
0000200d: POP
0000200e: PUSH32 0xd633b2400e134010322787d01a18e48126f5bcb420cdb342a6930a6eb4ecef63
0000202f: SWAP1
00002030: PUSH2 0x2045
00002033: SWAP1
00002034: DUP4
00002035: SWAP1
00002036: DUP6
00002037: SWAP1
00002038: SWAP2
00002039: DUP3
0000203a: MSTORE
0000203b: PUSH1 0x20
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH1 0x40
00002042: ADD
00002043: SWAP1
00002044: JUMP
00002045: JUMPDEST
00002046: PUSH1 0x40
00002048: MLOAD
00002049: DUP1
0000204a: SWAP2
0000204b: SUB
0000204c: SWAP1
0000204d: LOG1
0000204e: POP
0000204f: PUSH2 0x2058
00002052: JUMP
00002053: JUMPDEST
00002054: PUSH1 0x00
00002056: SWAP2
00002057: POP
00002058: JUMPDEST
00002059: POP
0000205a: JUMPDEST
0000205b: SWAP2
0000205c: SWAP1
0000205d: POP
0000205e: JUMP
0000205f: JUMPDEST
00002060: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002081: PUSH1 0x00
00002083: MSTORE
00002084: PUSH1 0x11
00002086: PUSH1 0x04
00002088: MSTORE
00002089: PUSH1 0x24
0000208b: PUSH1 0x00
0000208d: REVERT
0000208e: JUMPDEST
0000208f: DUP1
00002090: DUP3
00002091: ADD
00002092: DUP1
00002093: DUP3
00002094: GT
00002095: ISZERO
00002096: PUSH2 0x20a1
00002099: JUMPI
0000209a: PUSH2 0x20a1
0000209d: PUSH2 0x205f
000020a0: JUMP
000020a1: JUMPDEST
000020a2: SWAP3
000020a3: SWAP2
000020a4: POP
000020a5: POP
000020a6: JUMP
000020a7: JUMPDEST
000020a8: PUSH1 0x01
000020aa: PUSH1 0x01
000020ac: PUSH1 0xa0
000020ae: SHL
000020af: SUB
000020b0: DUP2
000020b1: AND
000020b2: DUP2
000020b3: EQ
000020b4: PUSH2 0x0bf6
000020b7: JUMPI
000020b8: PUSH1 0x00
000020ba: DUP1
000020bb: REVERT
000020bc: JUMPDEST
000020bd: PUSH1 0x00
000020bf: DUP1
000020c0: PUSH1 0x00
000020c2: DUP1
000020c3: PUSH1 0x80
000020c5: DUP6
000020c6: DUP8
000020c7: SUB
000020c8: SLT
000020c9: ISZERO
000020ca: PUSH2 0x20d2
000020cd: JUMPI
000020ce: PUSH1 0x00
000020d0: DUP1
000020d1: REVERT
000020d2: JUMPDEST
000020d3: DUP5
000020d4: CALLDATALOAD
000020d5: PUSH2 0x20dd
000020d8: DUP2
000020d9: PUSH2 0x20a7
000020dc: JUMP
000020dd: JUMPDEST
000020de: SWAP4
000020df: POP
000020e0: PUSH1 0x20
000020e2: DUP6
000020e3: ADD
000020e4: CALLDATALOAD
000020e5: SWAP3
000020e6: POP
000020e7: PUSH1 0x40
000020e9: DUP6
000020ea: ADD
000020eb: CALLDATALOAD
000020ec: PUSH2 0x20f4
000020ef: DUP2
000020f0: PUSH2 0x20a7
000020f3: JUMP
000020f4: JUMPDEST
000020f5: SWAP4
000020f6: SWAP7
000020f7: SWAP3
000020f8: SWAP6
000020f9: POP
000020fa: SWAP3
000020fb: SWAP4
000020fc: PUSH1 0x60
000020fe: ADD
000020ff: CALLDATALOAD
00002100: SWAP3
00002101: POP
00002102: POP
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH1 0x00
00002107: PUSH1 0x20
00002109: DUP3
0000210a: DUP5
0000210b: SUB
0000210c: SLT
0000210d: ISZERO
0000210e: PUSH2 0x2116
00002111: JUMPI
00002112: PUSH1 0x00
00002114: DUP1
00002115: REVERT
00002116: JUMPDEST
00002117: DUP2
00002118: CALLDATALOAD
00002119: PUSH2 0x11f3
0000211c: DUP2
0000211d: PUSH2 0x20a7
00002120: JUMP
00002121: JUMPDEST
00002122: PUSH1 0x00
00002124: PUSH1 0x20
00002126: DUP3
00002127: DUP5
00002128: SUB
00002129: SLT
0000212a: ISZERO
0000212b: PUSH2 0x2133
0000212e: JUMPI
0000212f: PUSH1 0x00
00002131: DUP1
00002132: REVERT
00002133: JUMPDEST
00002134: POP
00002135: CALLDATALOAD
00002136: SWAP2
00002137: SWAP1
00002138: POP
00002139: JUMP
0000213a: JUMPDEST
0000213b: PUSH1 0x00
0000213d: DUP1
0000213e: PUSH1 0x00
00002140: PUSH1 0x60
00002142: DUP5
00002143: DUP7
00002144: SUB
00002145: SLT
00002146: ISZERO
00002147: PUSH2 0x214f
0000214a: JUMPI
0000214b: PUSH1 0x00
0000214d: DUP1
0000214e: REVERT
0000214f: JUMPDEST
00002150: DUP4
00002151: CALLDATALOAD
00002152: PUSH2 0x215a
00002155: DUP2
00002156: PUSH2 0x20a7
00002159: JUMP
0000215a: JUMPDEST
0000215b: SWAP3
0000215c: POP
0000215d: PUSH1 0x20
0000215f: DUP5
00002160: ADD
00002161: CALLDATALOAD
00002162: SWAP2
00002163: POP
00002164: PUSH1 0x40
00002166: DUP5
00002167: ADD
00002168: CALLDATALOAD
00002169: PUSH2 0x2171
0000216c: DUP2
0000216d: PUSH2 0x20a7
00002170: JUMP
00002171: JUMPDEST
00002172: DUP1
00002173: SWAP2
00002174: POP
00002175: POP
00002176: SWAP3
00002177: POP
00002178: SWAP3
00002179: POP
0000217a: SWAP3
0000217b: JUMP
0000217c: JUMPDEST
0000217d: PUSH1 0x00
0000217f: DUP1
00002180: PUSH1 0x00
00002182: PUSH1 0x60
00002184: DUP5
00002185: DUP7
00002186: SUB
00002187: SLT
00002188: ISZERO
00002189: PUSH2 0x2191
0000218c: JUMPI
0000218d: PUSH1 0x00
0000218f: DUP1
00002190: REVERT
00002191: JUMPDEST
00002192: DUP4
00002193: CALLDATALOAD
00002194: PUSH2 0x219c
00002197: DUP2
00002198: PUSH2 0x20a7
0000219b: JUMP
0000219c: JUMPDEST
0000219d: SWAP6
0000219e: PUSH1 0x20
000021a0: DUP6
000021a1: ADD
000021a2: CALLDATALOAD
000021a3: SWAP6
000021a4: POP
000021a5: PUSH1 0x40
000021a7: SWAP1
000021a8: SWAP5
000021a9: ADD
000021aa: CALLDATALOAD
000021ab: SWAP4
000021ac: SWAP3
000021ad: POP
000021ae: POP
000021af: POP
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000021d3: PUSH1 0x00
000021d5: MSTORE
000021d6: PUSH1 0x41
000021d8: PUSH1 0x04
000021da: MSTORE
000021db: PUSH1 0x24
000021dd: PUSH1 0x00
000021df: REVERT
000021e0: JUMPDEST
000021e1: PUSH1 0x00
000021e3: DUP3
000021e4: PUSH1 0x1f
000021e6: DUP4
000021e7: ADD
000021e8: SLT
000021e9: PUSH2 0x21f1
000021ec: JUMPI
000021ed: PUSH1 0x00
000021ef: DUP1
000021f0: REVERT
000021f1: JUMPDEST
000021f2: DUP2
000021f3: CALLDATALOAD
000021f4: PUSH1 0x20
000021f6: PUSH8 0xffffffffffffffff
000021ff: DUP1
00002200: DUP4
00002201: GT
00002202: ISZERO
00002203: PUSH2 0x220e
00002206: JUMPI
00002207: PUSH2 0x220e
0000220a: PUSH2 0x21b1
0000220d: JUMP
0000220e: JUMPDEST
0000220f: DUP3
00002210: PUSH1 0x05
00002212: SHL
00002213: PUSH1 0x40
00002215: MLOAD
00002216: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002237: PUSH1 0x3f
00002239: DUP4
0000223a: ADD
0000223b: AND
0000223c: DUP2
0000223d: ADD
0000223e: DUP2
0000223f: DUP2
00002240: LT
00002241: DUP5
00002242: DUP3
00002243: GT
00002244: OR
00002245: ISZERO
00002246: PUSH2 0x2251
00002249: JUMPI
0000224a: PUSH2 0x2251
0000224d: PUSH2 0x21b1
00002250: JUMP
00002251: JUMPDEST
00002252: PUSH1 0x40
00002254: MSTORE
00002255: SWAP4
00002256: DUP5
00002257: MSTORE
00002258: DUP6
00002259: DUP2
0000225a: ADD
0000225b: DUP4
0000225c: ADD
0000225d: SWAP4
0000225e: DUP4
0000225f: DUP2
00002260: ADD
00002261: SWAP3
00002262: POP
00002263: DUP8
00002264: DUP6
00002265: GT
00002266: ISZERO
00002267: PUSH2 0x226f
0000226a: JUMPI
0000226b: PUSH1 0x00
0000226d: DUP1
0000226e: REVERT
0000226f: JUMPDEST
00002270: DUP4
00002271: DUP8
00002272: ADD
00002273: SWAP2
00002274: POP
00002275: JUMPDEST
00002276: DUP5
00002277: DUP3
00002278: LT
00002279: ISZERO
0000227a: PUSH2 0x228e
0000227d: JUMPI
0000227e: DUP2
0000227f: CALLDATALOAD
00002280: DUP4
00002281: MSTORE
00002282: SWAP2
00002283: DUP4
00002284: ADD
00002285: SWAP2
00002286: SWAP1
00002287: DUP4
00002288: ADD
00002289: SWAP1
0000228a: PUSH2 0x2275
0000228d: JUMP
0000228e: JUMPDEST
0000228f: SWAP8
00002290: SWAP7
00002291: POP
00002292: POP
00002293: POP
00002294: POP
00002295: POP
00002296: POP
00002297: POP
00002298: JUMP
00002299: JUMPDEST
0000229a: PUSH1 0x00
0000229c: DUP1
0000229d: PUSH1 0x40
0000229f: DUP4
000022a0: DUP6
000022a1: SUB
000022a2: SLT
000022a3: ISZERO
000022a4: PUSH2 0x22ac
000022a7: JUMPI
000022a8: PUSH1 0x00
000022aa: DUP1
000022ab: REVERT
000022ac: JUMPDEST
000022ad: DUP3
000022ae: CALLDATALOAD
000022af: PUSH8 0xffffffffffffffff
000022b8: DUP1
000022b9: DUP3
000022ba: GT
000022bb: ISZERO
000022bc: PUSH2 0x22c4
000022bf: JUMPI
000022c0: PUSH1 0x00
000022c2: DUP1
000022c3: REVERT
000022c4: JUMPDEST
000022c5: PUSH2 0x22d0
000022c8: DUP7
000022c9: DUP4
000022ca: DUP8
000022cb: ADD
000022cc: PUSH2 0x21e0
000022cf: JUMP
000022d0: JUMPDEST
000022d1: SWAP4
000022d2: POP
000022d3: PUSH1 0x20
000022d5: DUP6
000022d6: ADD
000022d7: CALLDATALOAD
000022d8: SWAP2
000022d9: POP
000022da: DUP1
000022db: DUP3
000022dc: GT
000022dd: ISZERO
000022de: PUSH2 0x22e6
000022e1: JUMPI
000022e2: PUSH1 0x00
000022e4: DUP1
000022e5: REVERT
000022e6: JUMPDEST
000022e7: POP
000022e8: PUSH2 0x22f3
000022eb: DUP6
000022ec: DUP3
000022ed: DUP7
000022ee: ADD
000022ef: PUSH2 0x21e0
000022f2: JUMP
000022f3: JUMPDEST
000022f4: SWAP2
000022f5: POP
000022f6: POP
000022f7: SWAP3
000022f8: POP
000022f9: SWAP3
000022fa: SWAP1
000022fb: POP
000022fc: JUMP
000022fd: JUMPDEST
000022fe: PUSH1 0x00
00002300: DUP1
00002301: PUSH1 0x00
00002303: PUSH1 0x60
00002305: DUP5
00002306: DUP7
00002307: SUB
00002308: SLT
00002309: ISZERO
0000230a: PUSH2 0x2312
0000230d: JUMPI
0000230e: PUSH1 0x00
00002310: DUP1
00002311: REVERT
00002312: JUMPDEST
00002313: DUP4
00002314: CALLDATALOAD
00002315: PUSH2 0x231d
00002318: DUP2
00002319: PUSH2 0x20a7
0000231c: JUMP
0000231d: JUMPDEST
0000231e: SWAP3
0000231f: POP
00002320: PUSH1 0x20
00002322: DUP5
00002323: ADD
00002324: CALLDATALOAD
00002325: PUSH2 0x232d
00002328: DUP2
00002329: PUSH2 0x20a7
0000232c: JUMP
0000232d: JUMPDEST
0000232e: SWAP2
0000232f: POP
00002330: PUSH1 0x40
00002332: DUP5
00002333: ADD
00002334: CALLDATALOAD
00002335: PUSH2 0x2171
00002338: DUP2
00002339: PUSH2 0x20a7
0000233c: JUMP
0000233d: JUMPDEST
0000233e: PUSH1 0x00
00002340: PUSH1 0x20
00002342: DUP3
00002343: DUP5
00002344: SUB
00002345: SLT
00002346: ISZERO
00002347: PUSH2 0x234f
0000234a: JUMPI
0000234b: PUSH1 0x00
0000234d: DUP1
0000234e: REVERT
0000234f: JUMPDEST
00002350: POP
00002351: MLOAD
00002352: SWAP2
00002353: SWAP1
00002354: POP
00002355: JUMP
00002356: JUMPDEST
00002357: PUSH1 0x00
00002359: PUSH1 0x20
0000235b: DUP3
0000235c: DUP5
0000235d: SUB
0000235e: SLT
0000235f: ISZERO
00002360: PUSH2 0x2368
00002363: JUMPI
00002364: PUSH1 0x00
00002366: DUP1
00002367: REVERT
00002368: JUMPDEST
00002369: DUP2
0000236a: MLOAD
0000236b: DUP1
0000236c: ISZERO
0000236d: ISZERO
0000236e: DUP2
0000236f: EQ
00002370: PUSH2 0x11f3
00002373: JUMPI
00002374: PUSH1 0x00
00002376: DUP1
00002377: REVERT
00002378: JUMPDEST
00002379: DUP2
0000237a: DUP2
0000237b: SUB
0000237c: DUP2
0000237d: DUP2
0000237e: GT
0000237f: ISZERO
00002380: PUSH2 0x20a1
00002383: JUMPI
00002384: PUSH2 0x20a1
00002387: PUSH2 0x205f
0000238a: JUMP
0000238b: JUMPDEST
0000238c: PUSH1 0x00
0000238e: PUSH1 0x20
00002390: DUP3
00002391: DUP5
00002392: SUB
00002393: SLT
00002394: ISZERO
00002395: PUSH2 0x239d
00002398: JUMPI
00002399: PUSH1 0x00
0000239b: DUP1
0000239c: REVERT
0000239d: JUMPDEST
0000239e: DUP2
0000239f: MLOAD
000023a0: PUSH2 0x11f3
000023a3: DUP2
000023a4: PUSH2 0x20a7
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000023ca: PUSH1 0x00
000023cc: MSTORE
000023cd: PUSH1 0x32
000023cf: PUSH1 0x04
000023d1: MSTORE
000023d2: PUSH1 0x24
000023d4: PUSH1 0x00
000023d6: REVERT
000023d7: JUMPDEST
000023d8: PUSH1 0x00
000023da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023fb: DUP3
000023fc: SUB
000023fd: PUSH2 0x2408
00002400: JUMPI
00002401: PUSH2 0x2408
00002404: PUSH2 0x205f
00002407: JUMP
00002408: JUMPDEST
00002409: POP
0000240a: PUSH1 0x01
0000240c: ADD
0000240d: SWAP1
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH1 0x00
00002412: DUP2
00002413: MLOAD
00002414: DUP1
00002415: DUP5
00002416: MSTORE
00002417: PUSH1 0x20
00002419: DUP1
0000241a: DUP6
0000241b: ADD
0000241c: SWAP5
0000241d: POP
0000241e: DUP1
0000241f: DUP5
00002420: ADD
00002421: PUSH1 0x00
00002423: JUMPDEST
00002424: DUP4
00002425: DUP2
00002426: LT
00002427: ISZERO
00002428: PUSH2 0x243f
0000242b: JUMPI
0000242c: DUP2
0000242d: MLOAD
0000242e: DUP8
0000242f: MSTORE
00002430: SWAP6
00002431: DUP3
00002432: ADD
00002433: SWAP6
00002434: SWAP1
00002435: DUP3
00002436: ADD
00002437: SWAP1
00002438: PUSH1 0x01
0000243a: ADD
0000243b: PUSH2 0x2423
0000243e: JUMP
0000243f: JUMPDEST
00002440: POP
00002441: SWAP5
00002442: SWAP6
00002443: SWAP5
00002444: POP
00002445: POP
00002446: POP
00002447: POP
00002448: POP
00002449: JUMP
0000244a: JUMPDEST
0000244b: PUSH1 0x60
0000244d: DUP2
0000244e: MSTORE
0000244f: PUSH1 0x00
00002451: PUSH2 0x245d
00002454: PUSH1 0x60
00002456: DUP4
00002457: ADD
00002458: DUP7
00002459: PUSH2 0x240f
0000245c: JUMP
0000245d: JUMPDEST
0000245e: DUP3
0000245f: DUP2
00002460: SUB
00002461: PUSH1 0x20
00002463: DUP5
00002464: ADD
00002465: MSTORE
00002466: PUSH2 0x246f
00002469: DUP2
0000246a: DUP7
0000246b: PUSH2 0x240f
0000246e: JUMP
0000246f: JUMPDEST
00002470: SWAP2
00002471: POP
00002472: POP
00002473: DUP3
00002474: PUSH1 0x40
00002476: DUP4
00002477: ADD
00002478: MSTORE
00002479: SWAP5
0000247a: SWAP4
0000247b: POP
0000247c: POP
0000247d: POP
0000247e: POP
0000247f: JUMP
00002480: JUMPDEST
00002481: PUSH1 0x01
00002483: PUSH1 0x01
00002485: PUSH1 0xa0
00002487: SHL
00002488: SUB
00002489: DUP6
0000248a: AND
0000248b: DUP2
0000248c: MSTORE
0000248d: PUSH1 0x80
0000248f: PUSH1 0x20
00002491: DUP3
00002492: ADD
00002493: MSTORE
00002494: PUSH1 0x00
00002496: PUSH2 0x24a2
00002499: PUSH1 0x80
0000249b: DUP4
0000249c: ADD
0000249d: DUP7
0000249e: PUSH2 0x240f
000024a1: JUMP
000024a2: JUMPDEST
000024a3: DUP3
000024a4: DUP2
000024a5: SUB
000024a6: PUSH1 0x40
000024a8: DUP5
000024a9: ADD
000024aa: MSTORE
000024ab: PUSH2 0x24b4
000024ae: DUP2
000024af: DUP7
000024b0: PUSH2 0x240f
000024b3: JUMP
000024b4: JUMPDEST
000024b5: SWAP2
000024b6: POP
000024b7: POP
000024b8: DUP3
000024b9: PUSH1 0x60
000024bb: DUP4
000024bc: ADD
000024bd: MSTORE
000024be: SWAP6
000024bf: SWAP5
000024c0: POP
000024c1: POP
000024c2: POP
000024c3: POP
000024c4: POP
000024c5: JUMP
000024c6: INVALID
000024c7: LOG2
000024c8: PUSH5 0x6970667358
000024ce: UNKNOWN(0x22)
000024cf: SLT
000024d0: KECCAK256
000024d1: UNKNOWN(0x2C)
000024d2: SWAP3
000024d3: SELFBALANCE
000024d4: REVERT
000024d5: UNKNOWN(0xEA)
000024d6: SMOD
000024d7: JUMP
000024d8: UNKNOWN(0xC7)
000024d9: UNKNOWN(0x21)
000024da: UNKNOWN(0xEF)
000024db: PUSH22 0xb0418d331833ff72c8324f9fb5dae56f6471d9922364
000024f2: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa
call_targets: 0xa0da53447c0f6c4987964d8463da7e6628b30f82
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa0da53447c0f6c4987964d8463da7e6628b30f82"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc690908a",
            "selector": "0xc690908a",
            "calldata_variants": [
                "0xc690908a",
                "0xc690908a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5297793",
            "selector": "0xd5297793",
            "calldata_variants": [
                "0xd5297793",
                "0xd52977930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe09d894d",
            "selector": "0xe09d894d",
            "calldata_variants": [
                "0xe09d894d",
                "0xe09d894d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf60ccd3a",
            "selector": "0xf60ccd3a",
            "calldata_variants": [
                "0xf60ccd3a",
                "0xf60ccd3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac10fc01",
            "selector": "0xac10fc01",
            "calldata_variants": [
                "0xac10fc01",
                "0xac10fc010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb3c3294a",
            "selector": "0xb3c3294a",
            "calldata_variants": [
                "0xb3c3294a",
                "0xb3c3294a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbedd12a5",
            "selector": "0xbedd12a5",
            "calldata_variants": [
                "0xbedd12a5",
                "0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9015d371",
            "selector": "0x9015d371",
            "calldata_variants": [
                "0x9015d371",
                "0x9015d3710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2462,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2683,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3951,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa
call_targets: 0xa0da53447c0f6c4987964d8463da7e6628b30f82
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcb6b42f109a677a737211972198beb3c6510c6f51729765968dcf1c477a1faaa",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa0da53447c0f6c4987964d8463da7e6628b30f82"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc690908a",
            "selector": "0xc690908a",
            "calldata_variants": [
                "0xc690908a",
                "0xc690908a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5297793",
            "selector": "0xd5297793",
            "calldata_variants": [
                "0xd5297793",
                "0xd52977930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe09d894d",
            "selector": "0xe09d894d",
            "calldata_variants": [
                "0xe09d894d",
                "0xe09d894d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf60ccd3a",
            "selector": "0xf60ccd3a",
            "calldata_variants": [
                "0xf60ccd3a",
                "0xf60ccd3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xac10fc01",
            "selector": "0xac10fc01",
            "calldata_variants": [
                "0xac10fc01",
                "0xac10fc010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb3c3294a",
            "selector": "0xb3c3294a",
            "calldata_variants": [
                "0xb3c3294a",
                "0xb3c3294a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbedd12a5",
            "selector": "0xbedd12a5",
            "calldata_variants": [
                "0xbedd12a5",
                "0xbedd12a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9015d371",
            "selector": "0x9015d371",
            "calldata_variants": [
                "0x9015d371",
                "0x9015d3710000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2462,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2683,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3951,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}
info other cast Heavy CALL-family usage 55 no —
view
evidence_json 
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 12
}