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

Analysis Run

94b42fc3-cfca-4a0a-87ad-7c6d5d731277

failed
Chain ID
1
Address
0x5cc9f1fcb464423f81027dc6dd39edf751e9a584
Block Number
—
Created
Sun, Jan 4, 2026 10:02 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 proxy context implementation known
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
31626 report.consolidate complete 1 / 1 3 months ago
111554 artifact.fetch failed 1 / 3 1 week ago
111555 tool.cast_disasm complete 1 / 3 1 week ago
111556 analysis.bundle complete 1 / 3 1 week ago
111557 capability.graph complete 1 / 3 1 week ago
111558 detector.run complete 1 / 3 1 week ago
111559 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: yes
Implementation:
0x5cc9f1fcb464423f81027dc6dd39edf751e9a584
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
No concrete, exploitable profit path found in the audited contract.
View stderr 
[codex:1014499] OpenAI Codex v0.77.0 (research preview)
[codex:1014499] --------
[codex:1014499] workdir: /tmp/codex-multi-lq6yl1g9
[codex:1014499] model: gpt-5.2-codex
[codex:1014499] provider: openai
[codex:1014499] approval: never
[codex:1014499] sandbox: read-only
[codex:1014499] reasoning effort: xhigh
[codex:1014499] reasoning summaries: auto
[codex:1014499] session id: 019b8874-508e-7613-abef-3799b5f6cec8
[codex:1014499] --------
[codex:1014499] user
[codex:1014499] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1014499] 
[codex:1014499] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1014499] 
[codex:1014499] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1014499] - Gas inefficiency, code quality, naming, or best practices
[codex:1014499] - Theoretical vulnerabilities without a clear extraction path
[codex:1014499] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1014499] - Front-running unless it enables theft beyond MEV
[codex:1014499] - DoS, griefing, or issues that don't result in attacker profit
[codex:1014499] - Missing events, view function issues, or informational findings
[codex:1014499] 
[codex:1014499] HIGH-VALUE PATTERNS TO HUNT:
[codex:1014499] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1014499] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1014499] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1014499] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1014499] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1014499] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1014499] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1014499] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1014499] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1014499] 
[codex:1014499] For each finding, you MUST provide:
[codex:1014499] 1. Exact file and line numbers of vulnerable code
[codex:1014499] 2. Step-by-step exploit transaction sequence
[codex:1014499] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1014499] 
[codex:1014499] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1014499] 
[codex:1014499] Output MUST be valid JSON matching the provided schema.
[codex:1014499] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1014499] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1014499] mcp startup: no servers
[codex:1014499] 
[codex:1014499] thinking
[codex:1014499] **Exploring instructions and skills**
[codex:1014499] exec
[codex:1014499] /bin/bash -lc ls in /tmp/codex-multi-lq6yl1g9 succeeded in 5ms:
[codex:1014499] AUDIT_BUNDLE.txt
[codex:1014499] codex-output-schema.json
[codex:1014499] contracts
[codex:1014499] 
[codex:1014499] thinking
[codex:1014499] **Reading AUDIT_BUNDLE.txt file**
[codex:1014499] exec
[codex:1014499] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-lq6yl1g9 succeeded in 5ms:
[codex:1014499] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1014499] 
[codex:1014499] ================================================================================
[codex:1014499] FILE: contracts/contracts/DappnodeSmoothingPool.sol
[codex:1014499] ================================================================================
[codex:1014499] // SPDX-License-Identifier: AGPL-3.0
[codex:1014499] pragma solidity 0.8.21;
[codex:1014499] 
[codex:1014499] import {MerkleProofUpgradeable} from "@openzeppelin/contracts-upgradeable/utils/cryptography/MerkleProofUpgradeable.sol";
[codex:1014499] import {OwnableUpgradeable} from "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:1014499] 
[codex:1014499] /**
[codex:1014499]  * Contract responsible to manage the subscriptions and rewards of the dappnode smoothing pool
[codex:1014499]  */
[codex:1014499] contract DappnodeSmoothingPool is OwnableUpgradeable {
[codex:1014499]     /**
[codex:1014499]      * @notice Struct to store voted reports
[codex:1014499]      * @param slot Slot of the report
[codex:1014499]      * @param votes Current votes of this report
[codex:1014499]      */
[codex:1014499] 
[codex:1014499] thinking
[codex:1014499] **Analyzing potential exploits and concluding no findings**
[codex:1014499] 
[codex:1014499] I've thoroughly examined the contract for exploitable profit paths, considering initialization risks, reward claims, reentrancy, oracle report handling, and fund withdrawals. Despite some edge cases, no concrete attack vector appears viable; the subscription collateral is locked without withdrawal, and only oracles can update rewards. I'll now prepare a JSON output confirming no exploitable path found.
[codex:1014499] codex
[codex:1014499] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the audited contract.","findings":[]}
[codex:1014499] tokens used
[codex:1014499] 12,302
[codex:1014499] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the audited contract.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T10:02:10.881940+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the audited contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the audited contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
1
Total opcodes
5221
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02da
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x781f5855
00000018: GT
00000019: PUSH2 0x0183
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xc37f45bf
00000023: GT
00000024: PUSH2 0x00d5
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xe1a80493
0000002e: GT
0000002f: PUSH2 0x0089
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xf372c0c9
00000039: GT
0000003a: PUSH2 0x0063
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf372c0c9
00000044: EQ
00000045: PUSH2 0x0886
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf39c38a0
0000004f: EQ
00000050: PUSH2 0x08c7
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf93558e3
0000005a: EQ
0000005b: PUSH2 0x08f3
0000005e: JUMPI
0000005f: PUSH2 0x02da
00000062: JUMP
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0xe1a80493
0000006a: EQ
0000006b: PUSH2 0x0829
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0xe521136f
00000075: EQ
00000076: PUSH2 0x0848
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xf2fde38b
00000080: EQ
00000081: PUSH2 0x0867
00000084: JUMPI
00000085: PUSH2 0x02da
00000088: JUMP
00000089: JUMPDEST
0000008a: DUP1
0000008b: PUSH4 0xcf004217
00000090: GT
00000091: PUSH2 0x00ba
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0xcf004217
0000009b: EQ
0000009c: PUSH2 0x07d6
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0xd38bfff4
000000a6: EQ
000000a7: PUSH2 0x07eb
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0xd64bc331
000000b1: EQ
000000b2: PUSH2 0x080a
000000b5: JUMPI
000000b6: PUSH2 0x02da
000000b9: JUMP
000000ba: JUMPDEST
000000bb: DUP1
000000bc: PUSH4 0xc37f45bf
000000c1: EQ
000000c2: PUSH2 0x0796
000000c5: JUMPI
000000c6: DUP1
000000c7: PUSH4 0xc7f75d3f
000000cc: EQ
000000cd: PUSH2 0x07aa
000000d0: JUMPI
000000d1: PUSH2 0x02da
000000d4: JUMP
000000d5: JUMPDEST
000000d6: DUP1
000000d7: PUSH4 0xb164e437
000000dc: GT
000000dd: PUSH2 0x0137
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0xc1269650
000000e7: GT
000000e8: PUSH2 0x0111
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0xc1269650
000000f2: EQ
000000f3: PUSH2 0x072d
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0xc1542c52
000000fd: EQ
000000fe: PUSH2 0x0758
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0xc2cac04b
00000108: EQ
00000109: PUSH2 0x0777
0000010c: JUMPI
0000010d: PUSH2 0x02da
00000110: JUMP
00000111: JUMPDEST
00000112: DUP1
00000113: PUSH4 0xb164e437
00000118: EQ
00000119: PUSH2 0x06dc
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xb539f38b
00000123: EQ
00000124: PUSH2 0x06fb
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xb9cd552e
0000012e: EQ
0000012f: PUSH2 0x071a
00000132: JUMPI
00000133: PUSH2 0x02da
00000136: JUMP
00000137: JUMPDEST
00000138: DUP1
00000139: PUSH4 0x8da5cb5b
0000013e: GT
0000013f: PUSH2 0x0168
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0x8da5cb5b
00000149: EQ
0000014a: PUSH2 0x0667
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0x9886c2a5
00000154: EQ
00000155: PUSH2 0x0691
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xa119d687
0000015f: EQ
00000160: PUSH2 0x06bc
00000163: JUMPI
00000164: PUSH2 0x02da
00000167: JUMP
00000168: JUMPDEST
00000169: DUP1
0000016a: PUSH4 0x781f5855
0000016f: EQ
00000170: PUSH2 0x0634
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x7b5c2f88
0000017a: EQ
0000017b: PUSH2 0x0653
0000017e: JUMPI
0000017f: PUSH2 0x02da
00000182: JUMP
00000183: JUMPDEST
00000184: DUP1
00000185: PUSH4 0x37215ebd
0000018a: GT
0000018b: PUSH2 0x023c
0000018e: JUMPI
0000018f: DUP1
00000190: PUSH4 0x5aa6e675
00000195: GT
00000196: PUSH2 0x01f0
00000199: JUMPI
0000019a: DUP1
0000019b: PUSH4 0x6cf9dfad
000001a0: GT
000001a1: PUSH2 0x01ca
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH4 0x6cf9dfad
000001ab: EQ
000001ac: PUSH2 0x05d5
000001af: JUMPI
000001b0: DUP1
000001b1: PUSH4 0x715018a6
000001b6: EQ
000001b7: PUSH2 0x05f4
000001ba: JUMPI
000001bb: DUP1
000001bc: PUSH4 0x75f678a0
000001c1: EQ
000001c2: PUSH2 0x0608
000001c5: JUMPI
000001c6: PUSH2 0x02da
000001c9: JUMP
000001ca: JUMPDEST
000001cb: DUP1
000001cc: PUSH4 0x5aa6e675
000001d1: EQ
000001d2: PUSH2 0x0577
000001d5: JUMPI
000001d6: DUP1
000001d7: PUSH4 0x5bc37534
000001dc: EQ
000001dd: PUSH2 0x05a3
000001e0: JUMPI
000001e1: DUP1
000001e2: PUSH4 0x6721de26
000001e7: EQ
000001e8: PUSH2 0x05b6
000001eb: JUMPI
000001ec: PUSH2 0x02da
000001ef: JUMP
000001f0: JUMPDEST
000001f1: DUP1
000001f2: PUSH4 0x3964bdca
000001f7: GT
000001f8: PUSH2 0x0221
000001fb: JUMPI
000001fc: DUP1
000001fd: PUSH4 0x3964bdca
00000202: EQ
00000203: PUSH2 0x051a
00000206: JUMPI
00000207: DUP1
00000208: PUSH4 0x3ae15892
0000020d: EQ
0000020e: PUSH2 0x0539
00000211: JUMPI
00000212: DUP1
00000213: PUSH4 0x53985e5a
00000218: EQ
00000219: PUSH2 0x0558
0000021c: JUMPI
0000021d: PUSH2 0x02da
00000220: JUMP
00000221: JUMPDEST
00000222: DUP1
00000223: PUSH4 0x37215ebd
00000228: EQ
00000229: PUSH2 0x04b7
0000022c: JUMPI
0000022d: DUP1
0000022e: PUSH4 0x38d092b9
00000233: EQ
00000234: PUSH2 0x04fb
00000237: JUMPI
00000238: PUSH2 0x02da
0000023b: JUMP
0000023c: JUMPDEST
0000023d: DUP1
0000023e: PUSH4 0x17a6863f
00000243: GT
00000244: PUSH2 0x0293
00000247: JUMPI
00000248: DUP1
00000249: PUSH4 0x238efcbc
0000024e: GT
0000024f: PUSH2 0x0278
00000252: JUMPI
00000253: DUP1
00000254: PUSH4 0x238efcbc
00000259: EQ
0000025a: PUSH2 0x0463
0000025d: JUMPI
0000025e: DUP1
0000025f: PUSH4 0x2827acf3
00000264: EQ
00000265: PUSH2 0x0477
00000268: JUMPI
00000269: DUP1
0000026a: PUSH4 0x29218b61
0000026f: EQ
00000270: PUSH2 0x0498
00000273: JUMPI
00000274: PUSH2 0x02da
00000277: JUMP
00000278: JUMPDEST
00000279: DUP1
0000027a: PUSH4 0x17a6863f
0000027f: EQ
00000280: PUSH2 0x042f
00000283: JUMPI
00000284: DUP1
00000285: PUSH4 0x217863b7
0000028a: EQ
0000028b: PUSH2 0x044e
0000028e: JUMPI
0000028f: PUSH2 0x02da
00000292: JUMP
00000293: JUMPDEST
00000294: DUP1
00000295: PUSH4 0x089fe6aa
0000029a: GT
0000029b: PUSH2 0x02c4
0000029e: JUMPI
0000029f: DUP1
000002a0: PUSH4 0x089fe6aa
000002a5: EQ
000002a6: PUSH2 0x03a0
000002a9: JUMPI
000002aa: DUP1
000002ab: PUSH4 0x151e4d3d
000002b0: EQ
000002b1: PUSH2 0x03c3
000002b4: JUMPI
000002b5: DUP1
000002b6: PUSH4 0x1703a018
000002bb: EQ
000002bc: PUSH2 0x03e2
000002bf: JUMPI
000002c0: PUSH2 0x02da
000002c3: JUMP
000002c4: JUMPDEST
000002c5: DUP1
000002c6: PUSH3 0x08900a
000002ca: EQ
000002cb: PUSH2 0x0314
000002ce: JUMPI
000002cf: DUP1
000002d0: PUSH4 0x03ef4aff
000002d5: EQ
000002d6: PUSH2 0x0335
000002d9: JUMPI
000002da: JUMPDEST
000002db: PUSH1 0x40
000002dd: DUP1
000002de: MLOAD
000002df: CALLER
000002e0: DUP2
000002e1: MSTORE
000002e2: CALLVALUE
000002e3: PUSH1 0x20
000002e5: DUP3
000002e6: ADD
000002e7: MSTORE
000002e8: PUSH32 0x1e57e3bb474320be3d2c77138f75b7c3941292d647f5f9634e33a8e94e0e069b
00000309: SWAP2
0000030a: ADD
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: DUP1
0000030f: SWAP2
00000310: SUB
00000311: SWAP1
00000312: LOG1
00000313: STOP
00000314: JUMPDEST
00000315: CALLVALUE
00000316: DUP1
00000317: ISZERO
00000318: PUSH2 0x031f
0000031b: JUMPI
0000031c: PUSH0
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x0333
00000324: PUSH2 0x032e
00000327: CALLDATASIZE
00000328: PUSH1 0x04
0000032a: PUSH2 0x2fd2
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH2 0x0908
00000332: JUMP
00000333: JUMPDEST
00000334: STOP
00000335: JUMPDEST
00000336: CALLVALUE
00000337: DUP1
00000338: ISZERO
00000339: PUSH2 0x0340
0000033c: JUMPI
0000033d: PUSH0
0000033e: DUP1
0000033f: REVERT
00000340: JUMPDEST
00000341: POP
00000342: PUSH2 0x037a
00000345: PUSH2 0x034f
00000348: CALLDATASIZE
00000349: PUSH1 0x04
0000034b: PUSH2 0x3041
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH1 0x70
00000352: PUSH1 0x20
00000354: MSTORE
00000355: PUSH0
00000356: SWAP1
00000357: DUP2
00000358: MSTORE
00000359: PUSH1 0x40
0000035b: SWAP1
0000035c: KECCAK256
0000035d: SLOAD
0000035e: PUSH8 0xffffffffffffffff
00000367: DUP1
00000368: DUP3
00000369: AND
0000036a: SWAP2
0000036b: PUSH9 0x010000000000000000
00000375: SWAP1
00000376: DIV
00000377: AND
00000378: DUP3
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH1 0x40
0000037d: DUP1
0000037e: MLOAD
0000037f: PUSH8 0xffffffffffffffff
00000388: SWAP4
00000389: DUP5
0000038a: AND
0000038b: DUP2
0000038c: MSTORE
0000038d: SWAP3
0000038e: SWAP1
0000038f: SWAP2
00000390: AND
00000391: PUSH1 0x20
00000393: DUP4
00000394: ADD
00000395: MSTORE
00000396: ADD
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: DUP1
0000039c: SWAP2
0000039d: SUB
0000039e: SWAP1
0000039f: RETURN
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ab
000003a7: JUMPI
000003a8: PUSH0
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: PUSH2 0x03b5
000003b0: PUSH1 0x69
000003b2: SLOAD
000003b3: DUP2
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: SWAP1
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH1 0x20
000003be: ADD
000003bf: PUSH2 0x0397
000003c2: JUMP
000003c3: JUMPDEST
000003c4: CALLVALUE
000003c5: DUP1
000003c6: ISZERO
000003c7: PUSH2 0x03ce
000003ca: JUMPI
000003cb: PUSH0
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x0333
000003d3: PUSH2 0x03dd
000003d6: CALLDATASIZE
000003d7: PUSH1 0x04
000003d9: PUSH2 0x3097
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH2 0x0a2f
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ed
000003e9: JUMPI
000003ea: PUSH0
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH1 0x6c
000003f1: SLOAD
000003f2: PUSH2 0x0416
000003f5: SWAP1
000003f6: PUSH17 0x0100000000000000000000000000000000
00000408: SWAP1
00000409: DIV
0000040a: PUSH8 0xffffffffffffffff
00000413: AND
00000414: DUP2
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: MLOAD
0000041a: PUSH8 0xffffffffffffffff
00000423: SWAP1
00000424: SWAP2
00000425: AND
00000426: DUP2
00000427: MSTORE
00000428: PUSH1 0x20
0000042a: ADD
0000042b: PUSH2 0x0397
0000042e: JUMP
0000042f: JUMPDEST
00000430: CALLVALUE
00000431: DUP1
00000432: ISZERO
00000433: PUSH2 0x043a
00000436: JUMPI
00000437: PUSH0
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: POP
0000043c: PUSH2 0x0333
0000043f: PUSH2 0x0449
00000442: CALLDATASIZE
00000443: PUSH1 0x04
00000445: PUSH2 0x2fd2
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH2 0x0eec
0000044d: JUMP
0000044e: JUMPDEST
0000044f: CALLVALUE
00000450: DUP1
00000451: ISZERO
00000452: PUSH2 0x0459
00000455: JUMPI
00000456: PUSH0
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x03b5
0000045e: PUSH1 0x66
00000460: SLOAD
00000461: DUP2
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046e
0000046a: JUMPI
0000046b: PUSH0
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0333
00000473: PUSH2 0x1009
00000476: JUMP
00000477: JUMPDEST
00000478: CALLVALUE
00000479: DUP1
0000047a: ISZERO
0000047b: PUSH2 0x0482
0000047e: JUMPI
0000047f: PUSH0
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x048b
00000487: PUSH2 0x112d
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH1 0x40
0000048e: MLOAD
0000048f: PUSH2 0x0397
00000492: SWAP2
00000493: SWAP1
00000494: PUSH2 0x30f9
00000497: JUMP
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a3
0000049f: JUMPI
000004a0: PUSH0
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x0333
000004a8: PUSH2 0x04b2
000004ab: CALLDATASIZE
000004ac: PUSH1 0x04
000004ae: PUSH2 0x3152
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x119a
000004b6: JUMP
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: DUP1
000004ba: ISZERO
000004bb: PUSH2 0x04c2
000004be: JUMPI
000004bf: PUSH0
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x04d6
000004c7: PUSH2 0x04d1
000004ca: CALLDATASIZE
000004cb: PUSH1 0x04
000004cd: PUSH2 0x3041
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH2 0x135e
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ef: SWAP1
000004f0: SWAP2
000004f1: AND
000004f2: DUP2
000004f3: MSTORE
000004f4: PUSH1 0x20
000004f6: ADD
000004f7: PUSH2 0x0397
000004fa: JUMP
000004fb: JUMPDEST
000004fc: CALLVALUE
000004fd: DUP1
000004fe: ISZERO
000004ff: PUSH2 0x0506
00000502: JUMPI
00000503: PUSH0
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x0333
0000050b: PUSH2 0x0515
0000050e: CALLDATASIZE
0000050f: PUSH1 0x04
00000511: PUSH2 0x3152
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH2 0x1393
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: DUP1
0000051d: ISZERO
0000051e: PUSH2 0x0525
00000521: JUMPI
00000522: PUSH0
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x0333
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x3152
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x1410
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0544
00000540: JUMPI
00000541: PUSH0
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x0333
00000549: PUSH2 0x0553
0000054c: CALLDATASIZE
0000054d: PUSH1 0x04
0000054f: PUSH2 0x2fd2
00000552: JUMP
00000553: JUMPDEST
00000554: PUSH2 0x15fe
00000557: JUMP
00000558: JUMPDEST
00000559: CALLVALUE
0000055a: DUP1
0000055b: ISZERO
0000055c: PUSH2 0x0563
0000055f: JUMPI
00000560: PUSH0
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x0333
00000568: PUSH2 0x0572
0000056b: CALLDATASIZE
0000056c: PUSH1 0x04
0000056e: PUSH2 0x316b
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH2 0x1691
00000576: JUMP
00000577: JUMPDEST
00000578: CALLVALUE
00000579: DUP1
0000057a: ISZERO
0000057b: PUSH2 0x0582
0000057e: JUMPI
0000057f: PUSH0
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: POP
00000584: PUSH1 0x6d
00000586: SLOAD
00000587: PUSH2 0x04d6
0000058a: SWAP1
0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a0: AND
000005a1: DUP2
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x0333
000005a7: PUSH2 0x05b1
000005aa: CALLDATASIZE
000005ab: PUSH1 0x04
000005ad: PUSH2 0x2fd2
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH2 0x1b26
000005b5: JUMP
000005b6: JUMPDEST
000005b7: CALLVALUE
000005b8: DUP1
000005b9: ISZERO
000005ba: PUSH2 0x05c1
000005bd: JUMPI
000005be: PUSH0
000005bf: DUP1
000005c0: REVERT
000005c1: JUMPDEST
000005c2: POP
000005c3: PUSH2 0x0333
000005c6: PUSH2 0x05d0
000005c9: CALLDATASIZE
000005ca: PUSH1 0x04
000005cc: PUSH2 0x3041
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x1c85
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: DUP1
000005d8: ISZERO
000005d9: PUSH2 0x05e0
000005dc: JUMPI
000005dd: PUSH0
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: PUSH2 0x0333
000005e5: PUSH2 0x05ef
000005e8: CALLDATASIZE
000005e9: PUSH1 0x04
000005eb: PUSH2 0x3193
000005ee: JUMP
000005ef: JUMPDEST
000005f0: PUSH2 0x1cc2
000005f3: JUMP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x05ff
000005fb: JUMPI
000005fc: PUSH0
000005fd: DUP1
000005fe: REVERT
000005ff: JUMPDEST
00000600: POP
00000601: PUSH2 0x0333
00000604: PUSH2 0x1d3d
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0613
0000060f: JUMPI
00000610: PUSH0
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH1 0x6a
00000617: SLOAD
00000618: PUSH2 0x04d6
0000061b: SWAP1
0000061c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000631: AND
00000632: DUP2
00000633: JUMP
00000634: JUMPDEST
00000635: CALLVALUE
00000636: DUP1
00000637: ISZERO
00000638: PUSH2 0x063f
0000063b: JUMPI
0000063c: PUSH0
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x03b5
00000644: PUSH2 0x064e
00000647: CALLDATASIZE
00000648: PUSH1 0x04
0000064a: PUSH2 0x31ac
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH2 0x1d50
00000652: JUMP
00000653: JUMPDEST
00000654: CALLVALUE
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x065e
0000065a: JUMPI
0000065b: PUSH0
0000065c: DUP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: POP
00000660: PUSH2 0x03b5
00000663: PUSH1 0x01
00000665: DUP2
00000666: JUMP
00000667: JUMPDEST
00000668: CALLVALUE
00000669: DUP1
0000066a: ISZERO
0000066b: PUSH2 0x0672
0000066e: JUMPI
0000066f: PUSH0
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: PUSH1 0x33
00000676: SLOAD
00000677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068c: AND
0000068d: PUSH2 0x04d6
00000690: JUMP
00000691: JUMPDEST
00000692: CALLVALUE
00000693: DUP1
00000694: ISZERO
00000695: PUSH2 0x069c
00000698: JUMPI
00000699: PUSH0
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: PUSH2 0x03b5
000006a1: PUSH2 0x06ab
000006a4: CALLDATASIZE
000006a5: PUSH1 0x04
000006a7: PUSH2 0x3193
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x67
000006ae: PUSH1 0x20
000006b0: MSTORE
000006b1: PUSH0
000006b2: SWAP1
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x40
000006b7: SWAP1
000006b8: KECCAK256
000006b9: SLOAD
000006ba: DUP2
000006bb: JUMP
000006bc: JUMPDEST
000006bd: CALLVALUE
000006be: DUP1
000006bf: ISZERO
000006c0: PUSH2 0x06c7
000006c3: JUMPI
000006c4: PUSH0
000006c5: DUP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: POP
000006c9: PUSH1 0x6c
000006cb: SLOAD
000006cc: PUSH2 0x0416
000006cf: SWAP1
000006d0: PUSH8 0xffffffffffffffff
000006d9: AND
000006da: DUP2
000006db: JUMP
000006dc: JUMPDEST
000006dd: CALLVALUE
000006de: DUP1
000006df: ISZERO
000006e0: PUSH2 0x06e7
000006e3: JUMPI
000006e4: PUSH0
000006e5: DUP1
000006e6: REVERT
000006e7: JUMPDEST
000006e8: POP
000006e9: PUSH2 0x0333
000006ec: PUSH2 0x06f6
000006ef: CALLDATASIZE
000006f0: PUSH1 0x04
000006f2: PUSH2 0x3193
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH2 0x1daa
000006fa: JUMP
000006fb: JUMPDEST
000006fc: CALLVALUE
000006fd: DUP1
000006fe: ISZERO
000006ff: PUSH2 0x0706
00000702: JUMPI
00000703: PUSH0
00000704: DUP1
00000705: REVERT
00000706: JUMPDEST
00000707: POP
00000708: PUSH2 0x0333
0000070b: PUSH2 0x0715
0000070e: CALLDATASIZE
0000070f: PUSH1 0x04
00000711: PUSH2 0x31ac
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH2 0x1fb5
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH2 0x0333
0000071e: PUSH2 0x0728
00000721: CALLDATASIZE
00000722: PUSH1 0x04
00000724: PUSH2 0x3152
00000727: JUMP
00000728: JUMPDEST
00000729: PUSH2 0x2496
0000072c: JUMP
0000072d: JUMPDEST
0000072e: CALLVALUE
0000072f: DUP1
00000730: ISZERO
00000731: PUSH2 0x0738
00000734: JUMPI
00000735: PUSH0
00000736: DUP1
00000737: REVERT
00000738: JUMPDEST
00000739: POP
0000073a: PUSH2 0x03b5
0000073d: PUSH2 0x0747
00000740: CALLDATASIZE
00000741: PUSH1 0x04
00000743: PUSH2 0x3193
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x6f
0000074a: PUSH1 0x20
0000074c: MSTORE
0000074d: PUSH0
0000074e: SWAP1
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x40
00000753: SWAP1
00000754: KECCAK256
00000755: SLOAD
00000756: DUP2
00000757: JUMP
00000758: JUMPDEST
00000759: CALLVALUE
0000075a: DUP1
0000075b: ISZERO
0000075c: PUSH2 0x0763
0000075f: JUMPI
00000760: PUSH0
00000761: DUP1
00000762: REVERT
00000763: JUMPDEST
00000764: POP
00000765: PUSH2 0x0333
00000768: PUSH2 0x0772
0000076b: CALLDATASIZE
0000076c: PUSH1 0x04
0000076e: PUSH2 0x3152
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x2598
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0782
0000077e: JUMPI
0000077f: PUSH0
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: PUSH2 0x0333
00000787: PUSH2 0x0791
0000078a: CALLDATASIZE
0000078b: PUSH1 0x04
0000078d: PUSH2 0x3041
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH2 0x25d7
00000795: JUMP
00000796: JUMPDEST
00000797: CALLVALUE
00000798: DUP1
00000799: ISZERO
0000079a: PUSH2 0x07a1
0000079d: JUMPI
0000079e: PUSH0
0000079f: DUP1
000007a0: REVERT
000007a1: JUMPDEST
000007a2: POP
000007a3: PUSH1 0x71
000007a5: SLOAD
000007a6: PUSH2 0x03b5
000007a9: JUMP
000007aa: JUMPDEST
000007ab: CALLVALUE
000007ac: DUP1
000007ad: ISZERO
000007ae: PUSH2 0x07b5
000007b1: JUMPI
000007b2: PUSH0
000007b3: DUP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: POP
000007b7: PUSH1 0x6c
000007b9: SLOAD
000007ba: PUSH2 0x0416
000007bd: SWAP1
000007be: PUSH9 0x010000000000000000
000007c8: SWAP1
000007c9: DIV
000007ca: PUSH8 0xffffffffffffffff
000007d3: AND
000007d4: DUP2
000007d5: JUMP
000007d6: JUMPDEST
000007d7: CALLVALUE
000007d8: DUP1
000007d9: ISZERO
000007da: PUSH2 0x07e1
000007dd: JUMPI
000007de: PUSH0
000007df: DUP1
000007e0: REVERT
000007e1: JUMPDEST
000007e2: POP
000007e3: PUSH2 0x03b5
000007e6: PUSH1 0x6b
000007e8: SLOAD
000007e9: DUP2
000007ea: JUMP
000007eb: JUMPDEST
000007ec: CALLVALUE
000007ed: DUP1
000007ee: ISZERO
000007ef: PUSH2 0x07f6
000007f2: JUMPI
000007f3: PUSH0
000007f4: DUP1
000007f5: REVERT
000007f6: JUMPDEST
000007f7: POP
000007f8: PUSH2 0x0333
000007fb: PUSH2 0x0805
000007fe: CALLDATASIZE
000007ff: PUSH1 0x04
00000801: PUSH2 0x3193
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH2 0x26cc
00000809: JUMP
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0815
00000811: JUMPI
00000812: PUSH0
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: POP
00000817: PUSH2 0x0333
0000081a: PUSH2 0x0824
0000081d: CALLDATASIZE
0000081e: PUSH1 0x04
00000820: PUSH2 0x31f3
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH2 0x27e6
00000828: JUMP
00000829: JUMPDEST
0000082a: CALLVALUE
0000082b: DUP1
0000082c: ISZERO
0000082d: PUSH2 0x0834
00000830: JUMPI
00000831: PUSH0
00000832: DUP1
00000833: REVERT
00000834: JUMPDEST
00000835: POP
00000836: PUSH2 0x03b5
00000839: PUSH2 0x0843
0000083c: CALLDATASIZE
0000083d: PUSH1 0x04
0000083f: PUSH2 0x3193
00000842: JUMP
00000843: JUMPDEST
00000844: PUSH2 0x2ab0
00000847: JUMP
00000848: JUMPDEST
00000849: CALLVALUE
0000084a: DUP1
0000084b: ISZERO
0000084c: PUSH2 0x0853
0000084f: JUMPI
00000850: PUSH0
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: POP
00000855: PUSH2 0x0333
00000858: PUSH2 0x0862
0000085b: CALLDATASIZE
0000085c: PUSH1 0x04
0000085e: PUSH2 0x3193
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH2 0x2bd3
00000866: JUMP
00000867: JUMPDEST
00000868: CALLVALUE
00000869: DUP1
0000086a: ISZERO
0000086b: PUSH2 0x0872
0000086e: JUMPI
0000086f: PUSH0
00000870: DUP1
00000871: REVERT
00000872: JUMPDEST
00000873: POP
00000874: PUSH2 0x0333
00000877: PUSH2 0x0881
0000087a: CALLDATASIZE
0000087b: PUSH1 0x04
0000087d: PUSH2 0x3193
00000880: JUMP
00000881: JUMPDEST
00000882: PUSH2 0x2c57
00000885: JUMP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: DUP1
00000889: ISZERO
0000088a: PUSH2 0x0891
0000088d: JUMPI
0000088e: PUSH0
0000088f: DUP1
00000890: REVERT
00000891: JUMPDEST
00000892: POP
00000893: PUSH2 0x04d6
00000896: PUSH2 0x08a0
00000899: CALLDATASIZE
0000089a: PUSH1 0x04
0000089c: PUSH2 0x3193
0000089f: JUMP
000008a0: JUMPDEST
000008a1: PUSH1 0x68
000008a3: PUSH1 0x20
000008a5: MSTORE
000008a6: PUSH0
000008a7: SWAP1
000008a8: DUP2
000008a9: MSTORE
000008aa: PUSH1 0x40
000008ac: SWAP1
000008ad: KECCAK256
000008ae: SLOAD
000008af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c4: AND
000008c5: DUP2
000008c6: JUMP
000008c7: JUMPDEST
000008c8: CALLVALUE
000008c9: DUP1
000008ca: ISZERO
000008cb: PUSH2 0x08d2
000008ce: JUMPI
000008cf: PUSH0
000008d0: DUP1
000008d1: REVERT
000008d2: JUMPDEST
000008d3: POP
000008d4: PUSH1 0x6e
000008d6: SLOAD
000008d7: PUSH2 0x04d6
000008da: SWAP1
000008db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f0: AND
000008f1: DUP2
000008f2: JUMP
000008f3: JUMPDEST
000008f4: CALLVALUE
000008f5: DUP1
000008f6: ISZERO
000008f7: PUSH2 0x08fe
000008fa: JUMPI
000008fb: PUSH0
000008fc: DUP1
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: PUSH2 0x03b5
00000903: PUSH1 0x65
00000905: SLOAD
00000906: DUP2
00000907: JUMP
00000908: JUMPDEST
00000909: PUSH1 0x6d
0000090b: SLOAD
0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000921: AND
00000922: CALLER
00000923: EQ
00000924: PUSH2 0x09b4
00000927: JUMPI
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000094c: DUP2
0000094d: MSTORE
0000094e: PUSH1 0x20
00000950: PUSH1 0x04
00000952: DUP3
00000953: ADD
00000954: MSTORE
00000955: PUSH1 0x36
00000957: PUSH1 0x24
00000959: DUP3
0000095a: ADD
0000095b: MSTORE
0000095c: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
0000097d: PUSH1 0x44
0000097f: DUP3
00000980: ADD
00000981: MSTORE
00000982: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
000009a3: PUSH1 0x64
000009a5: DUP3
000009a6: ADD
000009a7: MSTORE
000009a8: PUSH1 0x84
000009aa: ADD
000009ab: JUMPDEST
000009ac: PUSH1 0x40
000009ae: MLOAD
000009af: DUP1
000009b0: SWAP2
000009b1: SUB
000009b2: SWAP1
000009b3: REVERT
000009b4: JUMPDEST
000009b5: PUSH0
000009b6: JUMPDEST
000009b7: DUP2
000009b8: DUP2
000009b9: LT
000009ba: ISZERO
000009bb: PUSH2 0x0a2a
000009be: JUMPI
000009bf: PUSH32 0xaa0f7dc1145b1a2a0195373eca47d4c7a42be75b0579288456153a416494a581
000009e0: DUP4
000009e1: DUP4
000009e2: DUP4
000009e3: DUP2
000009e4: DUP2
000009e5: LT
000009e6: PUSH2 0x09f1
000009e9: JUMPI
000009ea: PUSH2 0x09f1
000009ed: PUSH2 0x32e5
000009f0: JUMP
000009f1: JUMPDEST
000009f2: SWAP1
000009f3: POP
000009f4: PUSH1 0x20
000009f6: MUL
000009f7: ADD
000009f8: PUSH1 0x20
000009fa: DUP2
000009fb: ADD
000009fc: SWAP1
000009fd: PUSH2 0x0a06
00000a00: SWAP2
00000a01: SWAP1
00000a02: PUSH2 0x3152
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: PUSH8 0xffffffffffffffff
00000a13: SWAP1
00000a14: SWAP2
00000a15: AND
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x20
00000a1a: ADD
00000a1b: PUSH1 0x40
00000a1d: MLOAD
00000a1e: DUP1
00000a1f: SWAP2
00000a20: SUB
00000a21: SWAP1
00000a22: LOG1
00000a23: PUSH1 0x01
00000a25: ADD
00000a26: PUSH2 0x09b6
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: POP
00000a2c: POP
00000a2d: POP
00000a2e: JUMP
00000a2f: JUMPDEST
00000a30: PUSH0
00000a31: SLOAD
00000a32: PUSH2 0x0100
00000a35: SWAP1
00000a36: DIV
00000a37: PUSH1 0xff
00000a39: AND
00000a3a: ISZERO
00000a3b: DUP1
00000a3c: DUP1
00000a3d: ISZERO
00000a3e: PUSH2 0x0a4d
00000a41: JUMPI
00000a42: POP
00000a43: PUSH0
00000a44: SLOAD
00000a45: PUSH1 0x01
00000a47: PUSH1 0xff
00000a49: SWAP1
00000a4a: SWAP2
00000a4b: AND
00000a4c: LT
00000a4d: JUMPDEST
00000a4e: DUP1
00000a4f: PUSH2 0x0a66
00000a52: JUMPI
00000a53: POP
00000a54: ADDRESS
00000a55: EXTCODESIZE
00000a56: ISZERO
00000a57: DUP1
00000a58: ISZERO
00000a59: PUSH2 0x0a66
00000a5c: JUMPI
00000a5d: POP
00000a5e: PUSH0
00000a5f: SLOAD
00000a60: PUSH1 0xff
00000a62: AND
00000a63: PUSH1 0x01
00000a65: EQ
00000a66: JUMPDEST
00000a67: PUSH2 0x0af2
00000a6a: JUMPI
00000a6b: PUSH1 0x40
00000a6d: MLOAD
00000a6e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a8f: DUP2
00000a90: MSTORE
00000a91: PUSH1 0x20
00000a93: PUSH1 0x04
00000a95: DUP3
00000a96: ADD
00000a97: MSTORE
00000a98: PUSH1 0x2e
00000a9a: PUSH1 0x24
00000a9c: DUP3
00000a9d: ADD
00000a9e: MSTORE
00000a9f: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000ac0: PUSH1 0x44
00000ac2: DUP3
00000ac3: ADD
00000ac4: MSTORE
00000ac5: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000ae6: PUSH1 0x64
00000ae8: DUP3
00000ae9: ADD
00000aea: MSTORE
00000aeb: PUSH1 0x84
00000aed: ADD
00000aee: PUSH2 0x09ab
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH0
00000af4: DUP1
00000af5: SLOAD
00000af6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b17: AND
00000b18: PUSH1 0x01
00000b1a: OR
00000b1b: SWAP1
00000b1c: SSTORE
00000b1d: DUP1
00000b1e: ISZERO
00000b1f: PUSH2 0x0b4e
00000b22: JUMPI
00000b23: PUSH0
00000b24: DUP1
00000b25: SLOAD
00000b26: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000b47: AND
00000b48: PUSH2 0x0100
00000b4b: OR
00000b4c: SWAP1
00000b4d: SSTORE
00000b4e: JUMPDEST
00000b4f: PUSH2 0x2710
00000b52: DUP6
00000b53: GT
00000b54: ISZERO
00000b55: PUSH2 0x0c06
00000b58: JUMPI
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b7d: DUP2
00000b7e: MSTORE
00000b7f: PUSH1 0x20
00000b81: PUSH1 0x04
00000b83: DUP3
00000b84: ADD
00000b85: MSTORE
00000b86: PUSH1 0x47
00000b88: PUSH1 0x24
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a696e697469616c697a
00000bae: PUSH1 0x44
00000bb0: DUP3
00000bb1: ADD
00000bb2: MSTORE
00000bb3: PUSH32 0x653a20506f6f6c206665652063616e6e6f742062652067726561746572207468
00000bd4: PUSH1 0x64
00000bd6: DUP3
00000bd7: ADD
00000bd8: MSTORE
00000bd9: PUSH32 0x616e203130302500000000000000000000000000000000000000000000000000
00000bfa: PUSH1 0x84
00000bfc: DUP3
00000bfd: ADD
00000bfe: MSTORE
00000bff: PUSH1 0xa4
00000c01: ADD
00000c02: PUSH2 0x09ab
00000c05: JUMP
00000c06: JUMPDEST
00000c07: DUP2
00000c08: PUSH8 0xffffffffffffffff
00000c11: AND
00000c12: PUSH0
00000c13: SUB
00000c14: PUSH2 0x0c9f
00000c17: JUMPI
00000c18: PUSH1 0x40
00000c1a: MLOAD
00000c1b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x20
00000c40: PUSH1 0x04
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH1 0x35
00000c47: PUSH1 0x24
00000c49: DUP3
00000c4a: ADD
00000c4b: MSTORE
00000c4c: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a696e697469616c697a
00000c6d: PUSH1 0x44
00000c6f: DUP3
00000c70: ADD
00000c71: MSTORE
00000c72: PUSH32 0x653a2051756f72756d2063616e6e6f7420626520300000000000000000000000
00000c93: PUSH1 0x64
00000c95: DUP3
00000c96: ADD
00000c97: MSTORE
00000c98: PUSH1 0x84
00000c9a: ADD
00000c9b: PUSH2 0x09ab
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: PUSH1 0x6d
00000ca2: DUP1
00000ca3: SLOAD
00000ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb9: DUP1
00000cba: DUP11
00000cbb: AND
00000cbc: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000cdd: SWAP3
00000cde: DUP4
00000cdf: AND
00000ce0: OR
00000ce1: SWAP1
00000ce2: SWAP3
00000ce3: SSTORE
00000ce4: PUSH1 0x65
00000ce6: DUP9
00000ce7: SWAP1
00000ce8: SSTORE
00000ce9: PUSH1 0x6c
00000ceb: DUP1
00000cec: SLOAD
00000ced: PUSH8 0xffffffffffffffff
00000cf6: DUP7
00000cf7: DUP2
00000cf8: AND
00000cf9: PUSH17 0x0100000000000000000000000000000000
00000d0b: MUL
00000d0c: PUSH32 0xffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff
00000d2d: SWAP2
00000d2e: DUP10
00000d2f: AND
00000d30: PUSH9 0x010000000000000000
00000d3a: MUL
00000d3b: SWAP2
00000d3c: SWAP1
00000d3d: SWAP2
00000d3e: AND
00000d3f: PUSH32 0xffffffffffffffff00000000000000000000000000000000ffffffffffffffff
00000d60: SWAP1
00000d61: SWAP3
00000d62: AND
00000d63: SWAP2
00000d64: SWAP1
00000d65: SWAP2
00000d66: OR
00000d67: OR
00000d68: SWAP1
00000d69: SSTORE
00000d6a: PUSH1 0x69
00000d6c: DUP8
00000d6d: SWAP1
00000d6e: SSTORE
00000d6f: PUSH1 0x6a
00000d71: DUP1
00000d72: SLOAD
00000d73: SWAP3
00000d74: DUP8
00000d75: AND
00000d76: SWAP3
00000d77: SWAP1
00000d78: SWAP2
00000d79: AND
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: SWAP2
00000d7d: OR
00000d7e: SWAP1
00000d7f: SSTORE
00000d80: NUMBER
00000d81: PUSH1 0x6b
00000d83: SSTORE
00000d84: PUSH2 0x0d8b
00000d87: PUSH2 0x2d0e
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: DUP6
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH32 0x19d74da91b7de020180f04c1c60faba431bd76ecf962935e6f65ecbf0223ecfc
00000db3: SWAP1
00000db4: PUSH1 0x20
00000db6: ADD
00000db7: PUSH1 0x40
00000db9: MLOAD
00000dba: DUP1
00000dbb: SWAP2
00000dbc: SUB
00000dbd: SWAP1
00000dbe: LOG1
00000dbf: PUSH1 0x40
00000dc1: MLOAD
00000dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd7: DUP6
00000dd8: AND
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH32 0xae901f1a96a9fc6852e6b162ea0b9887c37b667fb5d2d925b6e4a607aac0bf62
00000dfc: SWAP1
00000dfd: PUSH1 0x20
00000dff: ADD
00000e00: PUSH1 0x40
00000e02: MLOAD
00000e03: DUP1
00000e04: SWAP2
00000e05: SUB
00000e06: SWAP1
00000e07: LOG1
00000e08: PUSH1 0x40
00000e0a: MLOAD
00000e0b: PUSH8 0xffffffffffffffff
00000e14: DUP5
00000e15: AND
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH32 0x8e0e8e986a04eea90f6e33488f9756f53cb482049ca8269e6864c797b8bcae6e
00000e39: SWAP1
00000e3a: PUSH1 0x20
00000e3c: ADD
00000e3d: PUSH1 0x40
00000e3f: MLOAD
00000e40: DUP1
00000e41: SWAP2
00000e42: SUB
00000e43: SWAP1
00000e44: LOG1
00000e45: PUSH1 0x40
00000e47: MLOAD
00000e48: PUSH8 0xffffffffffffffff
00000e51: DUP4
00000e52: AND
00000e53: DUP2
00000e54: MSTORE
00000e55: PUSH32 0xb600f3cf7f38a4b49bb0c75f722ef69f7e3e39ef3bb4aa8207fd86e724a23249
00000e76: SWAP1
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: PUSH1 0x40
00000e7c: MLOAD
00000e7d: DUP1
00000e7e: SWAP2
00000e7f: SUB
00000e80: SWAP1
00000e81: LOG1
00000e82: DUP1
00000e83: ISZERO
00000e84: PUSH2 0x0ee3
00000e87: JUMPI
00000e88: PUSH0
00000e89: DUP1
00000e8a: SLOAD
00000e8b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000eac: AND
00000ead: SWAP1
00000eae: SSTORE
00000eaf: PUSH1 0x40
00000eb1: MLOAD
00000eb2: PUSH1 0x01
00000eb4: DUP2
00000eb5: MSTORE
00000eb6: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000ed7: SWAP1
00000ed8: PUSH1 0x20
00000eda: ADD
00000edb: PUSH1 0x40
00000edd: MLOAD
00000ede: DUP1
00000edf: SWAP2
00000ee0: SUB
00000ee1: SWAP1
00000ee2: LOG1
00000ee3: JUMPDEST
00000ee4: POP
00000ee5: POP
00000ee6: POP
00000ee7: POP
00000ee8: POP
00000ee9: POP
00000eea: POP
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH1 0x6d
00000eef: SLOAD
00000ef0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f05: AND
00000f06: CALLER
00000f07: EQ
00000f08: PUSH2 0x0f93
00000f0b: JUMPI
00000f0c: PUSH1 0x40
00000f0e: MLOAD
00000f0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f30: DUP2
00000f31: MSTORE
00000f32: PUSH1 0x20
00000f34: PUSH1 0x04
00000f36: DUP3
00000f37: ADD
00000f38: MSTORE
00000f39: PUSH1 0x36
00000f3b: PUSH1 0x24
00000f3d: DUP3
00000f3e: ADD
00000f3f: MSTORE
00000f40: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
00000f61: PUSH1 0x44
00000f63: DUP3
00000f64: ADD
00000f65: MSTORE
00000f66: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
00000f87: PUSH1 0x64
00000f89: DUP3
00000f8a: ADD
00000f8b: MSTORE
00000f8c: PUSH1 0x84
00000f8e: ADD
00000f8f: PUSH2 0x09ab
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH0
00000f95: JUMPDEST
00000f96: DUP2
00000f97: DUP2
00000f98: LT
00000f99: ISZERO
00000f9a: PUSH2 0x0a2a
00000f9d: JUMPI
00000f9e: PUSH32 0xb6978e4c15338f096fdd02b00c667cb63eeedd4df4f2243213e9371dbc5d1ca7
00000fbf: DUP4
00000fc0: DUP4
00000fc1: DUP4
00000fc2: DUP2
00000fc3: DUP2
00000fc4: LT
00000fc5: PUSH2 0x0fd0
00000fc8: JUMPI
00000fc9: PUSH2 0x0fd0
00000fcc: PUSH2 0x32e5
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: SWAP1
00000fd2: POP
00000fd3: PUSH1 0x20
00000fd5: MUL
00000fd6: ADD
00000fd7: PUSH1 0x20
00000fd9: DUP2
00000fda: ADD
00000fdb: SWAP1
00000fdc: PUSH2 0x0fe5
00000fdf: SWAP2
00000fe0: SWAP1
00000fe1: PUSH2 0x3152
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: PUSH1 0x40
00000fe8: MLOAD
00000fe9: PUSH8 0xffffffffffffffff
00000ff2: SWAP1
00000ff3: SWAP2
00000ff4: AND
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x20
00000ff9: ADD
00000ffa: PUSH1 0x40
00000ffc: MLOAD
00000ffd: DUP1
00000ffe: SWAP2
00000fff: SUB
00001000: SWAP1
00001001: LOG1
00001002: PUSH1 0x01
00001004: ADD
00001005: PUSH2 0x0f95
00001008: JUMP
00001009: JUMPDEST
0000100a: PUSH1 0x6e
0000100c: SLOAD
0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001022: AND
00001023: CALLER
00001024: EQ
00001025: PUSH2 0x10b2
00001028: JUMPI
00001029: PUSH1 0x40
0000102b: DUP1
0000102c: MLOAD
0000102d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x20
00001052: PUSH1 0x04
00001054: DUP3
00001055: ADD
00001056: MSTORE
00001057: PUSH1 0x24
00001059: DUP2
0000105a: ADD
0000105b: SWAP2
0000105c: SWAP1
0000105d: SWAP2
0000105e: MSTORE
0000105f: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a616363657074476f76
00001080: PUSH1 0x44
00001082: DUP3
00001083: ADD
00001084: MSTORE
00001085: PUSH32 0x65726e616e63653a204f6e6c792070656e64696e6720676f7665726e616e6365
000010a6: PUSH1 0x64
000010a8: DUP3
000010a9: ADD
000010aa: MSTORE
000010ab: PUSH1 0x84
000010ad: ADD
000010ae: PUSH2 0x09ab
000010b1: JUMP
000010b2: JUMPDEST
000010b3: PUSH1 0x6e
000010b5: SLOAD
000010b6: PUSH1 0x6d
000010b8: DUP1
000010b9: SLOAD
000010ba: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000010db: AND
000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f1: SWAP1
000010f2: SWAP3
000010f3: AND
000010f4: SWAP2
000010f5: DUP3
000010f6: OR
000010f7: SWAP1
000010f8: SSTORE
000010f9: PUSH1 0x40
000010fb: MLOAD
000010fc: SWAP1
000010fd: DUP2
000010fe: MSTORE
000010ff: PUSH32 0x0e5e627abed15db8c4841ff7db9a3fb94e105b243564c206bf485362210eee07
00001120: SWAP1
00001121: PUSH1 0x20
00001123: ADD
00001124: PUSH1 0x40
00001126: MLOAD
00001127: DUP1
00001128: SWAP2
00001129: SUB
0000112a: SWAP1
0000112b: LOG1
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH1 0x60
00001130: PUSH1 0x71
00001132: DUP1
00001133: SLOAD
00001134: DUP1
00001135: PUSH1 0x20
00001137: MUL
00001138: PUSH1 0x20
0000113a: ADD
0000113b: PUSH1 0x40
0000113d: MLOAD
0000113e: SWAP1
0000113f: DUP2
00001140: ADD
00001141: PUSH1 0x40
00001143: MSTORE
00001144: DUP1
00001145: SWAP3
00001146: SWAP2
00001147: SWAP1
00001148: DUP2
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x20
0000114d: ADD
0000114e: DUP3
0000114f: DUP1
00001150: SLOAD
00001151: DUP1
00001152: ISZERO
00001153: PUSH2 0x1190
00001156: JUMPI
00001157: PUSH1 0x20
00001159: MUL
0000115a: DUP3
0000115b: ADD
0000115c: SWAP2
0000115d: SWAP1
0000115e: PUSH0
0000115f: MSTORE
00001160: PUSH1 0x20
00001162: PUSH0
00001163: KECCAK256
00001164: SWAP1
00001165: JUMPDEST
00001166: DUP2
00001167: SLOAD
00001168: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117d: AND
0000117e: DUP2
0000117f: MSTORE
00001180: PUSH1 0x01
00001182: SWAP1
00001183: SWAP2
00001184: ADD
00001185: SWAP1
00001186: PUSH1 0x20
00001188: ADD
00001189: DUP1
0000118a: DUP4
0000118b: GT
0000118c: PUSH2 0x1165
0000118f: JUMPI
00001190: JUMPDEST
00001191: POP
00001192: POP
00001193: POP
00001194: POP
00001195: POP
00001196: SWAP1
00001197: POP
00001198: SWAP1
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH1 0x6d
0000119d: SLOAD
0000119e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b3: AND
000011b4: CALLER
000011b5: EQ
000011b6: PUSH2 0x1241
000011b9: JUMPI
000011ba: PUSH1 0x40
000011bc: MLOAD
000011bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011de: DUP2
000011df: MSTORE
000011e0: PUSH1 0x20
000011e2: PUSH1 0x04
000011e4: DUP3
000011e5: ADD
000011e6: MSTORE
000011e7: PUSH1 0x36
000011e9: PUSH1 0x24
000011eb: DUP3
000011ec: ADD
000011ed: MSTORE
000011ee: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
0000120f: PUSH1 0x44
00001211: DUP3
00001212: ADD
00001213: MSTORE
00001214: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
00001235: PUSH1 0x64
00001237: DUP3
00001238: ADD
00001239: MSTORE
0000123a: PUSH1 0x84
0000123c: ADD
0000123d: PUSH2 0x09ab
00001240: JUMP
00001241: JUMPDEST
00001242: DUP1
00001243: PUSH8 0xffffffffffffffff
0000124c: AND
0000124d: PUSH0
0000124e: SUB
0000124f: PUSH2 0x12da
00001252: JUMPI
00001253: PUSH1 0x40
00001255: MLOAD
00001256: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001277: DUP2
00001278: MSTORE
00001279: PUSH1 0x20
0000127b: PUSH1 0x04
0000127d: DUP3
0000127e: ADD
0000127f: MSTORE
00001280: PUSH1 0x37
00001282: PUSH1 0x24
00001284: DUP3
00001285: ADD
00001286: MSTORE
00001287: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a75706461746551756f
000012a8: PUSH1 0x44
000012aa: DUP3
000012ab: ADD
000012ac: MSTORE
000012ad: PUSH32 0x72756d3a2051756f72756d2063616e6e6f742062652030000000000000000000
000012ce: PUSH1 0x64
000012d0: DUP3
000012d1: ADD
000012d2: MSTORE
000012d3: PUSH1 0x84
000012d5: ADD
000012d6: PUSH2 0x09ab
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH1 0x6c
000012dd: DUP1
000012de: SLOAD
000012df: PUSH32 0xffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff
00001300: AND
00001301: PUSH17 0x0100000000000000000000000000000000
00001313: PUSH8 0xffffffffffffffff
0000131c: DUP5
0000131d: AND
0000131e: SWAP1
0000131f: DUP2
00001320: MUL
00001321: SWAP2
00001322: SWAP1
00001323: SWAP2
00001324: OR
00001325: SWAP1
00001326: SWAP2
00001327: SSTORE
00001328: PUSH1 0x40
0000132a: MLOAD
0000132b: SWAP1
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH32 0xb600f3cf7f38a4b49bb0c75f722ef69f7e3e39ef3bb4aa8207fd86e724a23249
0000134f: SWAP1
00001350: PUSH1 0x20
00001352: ADD
00001353: JUMPDEST
00001354: PUSH1 0x40
00001356: MLOAD
00001357: DUP1
00001358: SWAP2
00001359: SUB
0000135a: SWAP1
0000135b: LOG1
0000135c: POP
0000135d: JUMP
0000135e: JUMPDEST
0000135f: PUSH1 0x71
00001361: DUP2
00001362: DUP2
00001363: SLOAD
00001364: DUP2
00001365: LT
00001366: PUSH2 0x136d
00001369: JUMPI
0000136a: PUSH0
0000136b: DUP1
0000136c: REVERT
0000136d: JUMPDEST
0000136e: PUSH0
0000136f: SWAP2
00001370: DUP3
00001371: MSTORE
00001372: PUSH1 0x20
00001374: SWAP1
00001375: SWAP2
00001376: KECCAK256
00001377: ADD
00001378: SLOAD
00001379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138e: AND
0000138f: SWAP1
00001390: POP
00001391: DUP2
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH2 0x139b
00001397: PUSH2 0x2dac
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x6c
0000139e: DUP1
0000139f: SLOAD
000013a0: PUSH32 0xffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff
000013c1: AND
000013c2: PUSH9 0x010000000000000000
000013cc: PUSH8 0xffffffffffffffff
000013d5: DUP5
000013d6: AND
000013d7: SWAP1
000013d8: DUP2
000013d9: MUL
000013da: SWAP2
000013db: SWAP1
000013dc: SWAP2
000013dd: OR
000013de: SWAP1
000013df: SWAP2
000013e0: SSTORE
000013e1: PUSH1 0x40
000013e3: MLOAD
000013e4: SWAP1
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH32 0x8e0e8e986a04eea90f6e33488f9756f53cb482049ca8269e6864c797b8bcae6e
00001408: SWAP1
00001409: PUSH1 0x20
0000140b: ADD
0000140c: PUSH2 0x1353
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH2 0x1418
00001414: PUSH2 0x2dac
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x6c
0000141b: SLOAD
0000141c: PUSH8 0xffffffffffffffff
00001425: AND
00001426: ISZERO
00001427: PUSH2 0x14d8
0000142a: JUMPI
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x20
00001453: PUSH1 0x04
00001455: DUP3
00001456: ADD
00001457: MSTORE
00001458: PUSH1 0x4c
0000145a: PUSH1 0x24
0000145c: DUP3
0000145d: ADD
0000145e: MSTORE
0000145f: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a696e6974536d6f6f74
00001480: PUSH1 0x44
00001482: DUP3
00001483: ADD
00001484: MSTORE
00001485: PUSH32 0x68696e67506f6f6c3a20536d6f6f7468696e6720706f6f6c20616c7265616479
000014a6: PUSH1 0x64
000014a8: DUP3
000014a9: ADD
000014aa: MSTORE
000014ab: PUSH32 0x20696e697469616c697a65640000000000000000000000000000000000000000
000014cc: PUSH1 0x84
000014ce: DUP3
000014cf: ADD
000014d0: MSTORE
000014d1: PUSH1 0xa4
000014d3: ADD
000014d4: PUSH2 0x09ab
000014d7: JUMP
000014d8: JUMPDEST
000014d9: DUP1
000014da: PUSH8 0xffffffffffffffff
000014e3: AND
000014e4: PUSH0
000014e5: SUB
000014e6: PUSH2 0x1597
000014e9: JUMPI
000014ea: PUSH1 0x40
000014ec: MLOAD
000014ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x20
00001512: PUSH1 0x04
00001514: DUP3
00001515: ADD
00001516: MSTORE
00001517: PUSH1 0x45
00001519: PUSH1 0x24
0000151b: DUP3
0000151c: ADD
0000151d: MSTORE
0000151e: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a696e6974536d6f6f74
0000153f: PUSH1 0x44
00001541: DUP3
00001542: ADD
00001543: MSTORE
00001544: PUSH32 0x68696e67506f6f6c3a2043616e6e6f7420696e697469616c697a6520746f2073
00001565: PUSH1 0x64
00001567: DUP3
00001568: ADD
00001569: MSTORE
0000156a: PUSH32 0x6c6f742030000000000000000000000000000000000000000000000000000000
0000158b: PUSH1 0x84
0000158d: DUP3
0000158e: ADD
0000158f: MSTORE
00001590: PUSH1 0xa4
00001592: ADD
00001593: PUSH2 0x09ab
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH1 0x6c
0000159a: DUP1
0000159b: SLOAD
0000159c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
000015bd: AND
000015be: PUSH8 0xffffffffffffffff
000015c7: DUP4
000015c8: AND
000015c9: SWAP1
000015ca: DUP2
000015cb: OR
000015cc: SWAP1
000015cd: SWAP2
000015ce: SSTORE
000015cf: PUSH1 0x40
000015d1: MLOAD
000015d2: SWAP1
000015d3: DUP2
000015d4: MSTORE
000015d5: PUSH32 0x517462a977504b91ea9a39b7a880cff34a3a13d734f1b294ae4eb0e5c603c7d0
000015f6: SWAP1
000015f7: PUSH1 0x20
000015f9: ADD
000015fa: PUSH2 0x1353
000015fd: JUMP
000015fe: JUMPDEST
000015ff: PUSH0
00001600: JUMPDEST
00001601: DUP2
00001602: DUP2
00001603: LT
00001604: ISZERO
00001605: PUSH2 0x0a2a
00001608: JUMPI
00001609: PUSH32 0x5a984d13ffecb21f69de43956dcd971abcff8e187fac09a0ce3209562da14e0a
0000162a: CALLER
0000162b: DUP5
0000162c: DUP5
0000162d: DUP5
0000162e: DUP2
0000162f: DUP2
00001630: LT
00001631: PUSH2 0x163c
00001634: JUMPI
00001635: PUSH2 0x163c
00001638: PUSH2 0x32e5
0000163b: JUMP
0000163c: JUMPDEST
0000163d: SWAP1
0000163e: POP
0000163f: PUSH1 0x20
00001641: MUL
00001642: ADD
00001643: PUSH1 0x20
00001645: DUP2
00001646: ADD
00001647: SWAP1
00001648: PUSH2 0x1651
0000164b: SWAP2
0000164c: SWAP1
0000164d: PUSH2 0x3152
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH1 0x40
00001654: DUP1
00001655: MLOAD
00001656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166b: SWAP1
0000166c: SWAP4
0000166d: AND
0000166e: DUP4
0000166f: MSTORE
00001670: PUSH8 0xffffffffffffffff
00001679: SWAP1
0000167a: SWAP2
0000167b: AND
0000167c: PUSH1 0x20
0000167e: DUP4
0000167f: ADD
00001680: MSTORE
00001681: ADD
00001682: PUSH1 0x40
00001684: MLOAD
00001685: DUP1
00001686: SWAP2
00001687: SUB
00001688: SWAP1
00001689: LOG1
0000168a: PUSH1 0x01
0000168c: ADD
0000168d: PUSH2 0x1600
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH1 0x6d
00001694: SLOAD
00001695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016aa: AND
000016ab: CALLER
000016ac: EQ
000016ad: PUSH2 0x1738
000016b0: JUMPI
000016b1: PUSH1 0x40
000016b3: MLOAD
000016b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016d5: DUP2
000016d6: MSTORE
000016d7: PUSH1 0x20
000016d9: PUSH1 0x04
000016db: DUP3
000016dc: ADD
000016dd: MSTORE
000016de: PUSH1 0x36
000016e0: PUSH1 0x24
000016e2: DUP3
000016e3: ADD
000016e4: MSTORE
000016e5: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
00001706: PUSH1 0x44
00001708: DUP3
00001709: ADD
0000170a: MSTORE
0000170b: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
0000172c: PUSH1 0x64
0000172e: DUP3
0000172f: ADD
00001730: MSTORE
00001731: PUSH1 0x84
00001733: ADD
00001734: PUSH2 0x09ab
00001737: JUMP
00001738: JUMPDEST
00001739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174e: DUP3
0000174f: AND
00001750: PUSH0
00001751: SWAP1
00001752: DUP2
00001753: MSTORE
00001754: PUSH1 0x6f
00001756: PUSH1 0x20
00001758: MSTORE
00001759: PUSH1 0x40
0000175b: SWAP1
0000175c: KECCAK256
0000175d: SLOAD
0000175e: DUP1
0000175f: PUSH2 0x1810
00001762: JUMPI
00001763: PUSH1 0x40
00001765: MLOAD
00001766: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001787: DUP2
00001788: MSTORE
00001789: PUSH1 0x20
0000178b: PUSH1 0x04
0000178d: DUP3
0000178e: ADD
0000178f: MSTORE
00001790: PUSH1 0x43
00001792: PUSH1 0x24
00001794: DUP3
00001795: ADD
00001796: MSTORE
00001797: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a72656d6f76654f7261
000017b8: PUSH1 0x44
000017ba: DUP3
000017bb: ADD
000017bc: MSTORE
000017bd: PUSH32 0x636c654d656d6265723a20576173206e6f7420616e206f7261636c65206d656d
000017de: PUSH1 0x64
000017e0: DUP3
000017e1: ADD
000017e2: MSTORE
000017e3: PUSH32 0x6265720000000000000000000000000000000000000000000000000000000000
00001804: PUSH1 0x84
00001806: DUP3
00001807: ADD
00001808: MSTORE
00001809: PUSH1 0xa4
0000180b: ADD
0000180c: PUSH2 0x09ab
0000180f: JUMP
00001810: JUMPDEST
00001811: DUP3
00001812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001827: AND
00001828: PUSH1 0x71
0000182a: DUP4
0000182b: DUP2
0000182c: SLOAD
0000182d: DUP2
0000182e: LT
0000182f: PUSH2 0x183a
00001832: JUMPI
00001833: PUSH2 0x183a
00001836: PUSH2 0x32e5
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH0
0000183c: SWAP2
0000183d: DUP3
0000183e: MSTORE
0000183f: PUSH1 0x20
00001841: SWAP1
00001842: SWAP2
00001843: KECCAK256
00001844: ADD
00001845: SLOAD
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: AND
0000185c: EQ
0000185d: PUSH2 0x190e
00001860: JUMPI
00001861: PUSH1 0x40
00001863: MLOAD
00001864: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001885: DUP2
00001886: MSTORE
00001887: PUSH1 0x20
00001889: PUSH1 0x04
0000188b: DUP3
0000188c: ADD
0000188d: MSTORE
0000188e: PUSH1 0x4d
00001890: PUSH1 0x24
00001892: DUP3
00001893: ADD
00001894: MSTORE
00001895: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a72656d6f76654f7261
000018b6: PUSH1 0x44
000018b8: DUP3
000018b9: ADD
000018ba: MSTORE
000018bb: PUSH32 0x636c654d656d6265723a204f7261636c65206d656d62657220696e6465782064
000018dc: PUSH1 0x64
000018de: DUP3
000018df: ADD
000018e0: MSTORE
000018e1: PUSH32 0x6f6573206e6f74206d6174636800000000000000000000000000000000000000
00001902: PUSH1 0x84
00001904: DUP3
00001905: ADD
00001906: MSTORE
00001907: PUSH1 0xa4
00001909: ADD
0000190a: PUSH2 0x09ab
0000190d: JUMP
0000190e: JUMPDEST
0000190f: PUSH1 0x01
00001911: DUP2
00001912: EQ
00001913: PUSH2 0x19ab
00001916: JUMPI
00001917: PUSH0
00001918: DUP2
00001919: DUP2
0000191a: MSTORE
0000191b: PUSH1 0x70
0000191d: PUSH1 0x20
0000191f: MSTORE
00001920: PUSH1 0x40
00001922: SWAP1
00001923: KECCAK256
00001924: DUP1
00001925: SLOAD
00001926: PUSH9 0x010000000000000000
00001930: SWAP1
00001931: DIV
00001932: PUSH8 0xffffffffffffffff
0000193b: AND
0000193c: ISZERO
0000193d: PUSH2 0x19a9
00001940: JUMPI
00001941: DUP1
00001942: SLOAD
00001943: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001964: PUSH8 0xffffffffffffffff
0000196d: PUSH9 0x010000000000000000
00001977: DUP1
00001978: DUP5
00001979: DIV
0000197a: DUP3
0000197b: AND
0000197c: SWAP3
0000197d: SWAP1
0000197e: SWAP3
0000197f: ADD
00001980: AND
00001981: MUL
00001982: PUSH32 0xffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff
000019a3: SWAP1
000019a4: SWAP2
000019a5: AND
000019a6: OR
000019a7: DUP2
000019a8: SSTORE
000019a9: JUMPDEST
000019aa: POP
000019ab: JUMPDEST
000019ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c1: DUP4
000019c2: AND
000019c3: PUSH0
000019c4: SWAP1
000019c5: DUP2
000019c6: MSTORE
000019c7: PUSH1 0x6f
000019c9: PUSH1 0x20
000019cb: MSTORE
000019cc: PUSH1 0x40
000019ce: DUP2
000019cf: KECCAK256
000019d0: SSTORE
000019d1: PUSH1 0x71
000019d3: DUP1
000019d4: SLOAD
000019d5: PUSH2 0x19e0
000019d8: SWAP1
000019d9: PUSH1 0x01
000019db: SWAP1
000019dc: PUSH2 0x333f
000019df: JUMP
000019e0: JUMPDEST
000019e1: DUP2
000019e2: SLOAD
000019e3: DUP2
000019e4: LT
000019e5: PUSH2 0x19f0
000019e8: JUMPI
000019e9: PUSH2 0x19f0
000019ec: PUSH2 0x32e5
000019ef: JUMP
000019f0: JUMPDEST
000019f1: PUSH0
000019f2: SWAP2
000019f3: DUP3
000019f4: MSTORE
000019f5: PUSH1 0x20
000019f7: SWAP1
000019f8: SWAP2
000019f9: KECCAK256
000019fa: ADD
000019fb: SLOAD
000019fc: PUSH1 0x71
000019fe: DUP1
000019ff: SLOAD
00001a00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a15: SWAP1
00001a16: SWAP3
00001a17: AND
00001a18: SWAP2
00001a19: DUP5
00001a1a: SWAP1
00001a1b: DUP2
00001a1c: LT
00001a1d: PUSH2 0x1a28
00001a20: JUMPI
00001a21: PUSH2 0x1a28
00001a24: PUSH2 0x32e5
00001a27: JUMP
00001a28: JUMPDEST
00001a29: SWAP1
00001a2a: PUSH0
00001a2b: MSTORE
00001a2c: PUSH1 0x20
00001a2e: PUSH0
00001a2f: KECCAK256
00001a30: ADD
00001a31: PUSH0
00001a32: PUSH2 0x0100
00001a35: EXP
00001a36: DUP2
00001a37: SLOAD
00001a38: DUP2
00001a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4e: MUL
00001a4f: NOT
00001a50: AND
00001a51: SWAP1
00001a52: DUP4
00001a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a68: AND
00001a69: MUL
00001a6a: OR
00001a6b: SWAP1
00001a6c: SSTORE
00001a6d: POP
00001a6e: PUSH1 0x71
00001a70: DUP1
00001a71: SLOAD
00001a72: DUP1
00001a73: PUSH2 0x1a7e
00001a76: JUMPI
00001a77: PUSH2 0x1a7e
00001a7a: PUSH2 0x3352
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH0
00001a80: DUP3
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x20
00001a85: SWAP1
00001a86: DUP2
00001a87: SWAP1
00001a88: KECCAK256
00001a89: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001aaa: SWAP1
00001aab: DUP4
00001aac: ADD
00001aad: DUP2
00001aae: ADD
00001aaf: DUP1
00001ab0: SLOAD
00001ab1: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001ad2: AND
00001ad3: SWAP1
00001ad4: SSTORE
00001ad5: SWAP1
00001ad6: SWAP2
00001ad7: ADD
00001ad8: SWAP1
00001ad9: SWAP2
00001ada: SSTORE
00001adb: PUSH1 0x40
00001add: MLOAD
00001ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af3: DUP6
00001af4: AND
00001af5: DUP2
00001af6: MSTORE
00001af7: PUSH32 0xc8391e8d83bfa93da9636d7a7928b59021752c6e0b74afba127e74914af730a2
00001b18: SWAP2
00001b19: ADD
00001b1a: PUSH1 0x40
00001b1c: MLOAD
00001b1d: DUP1
00001b1e: SWAP2
00001b1f: SUB
00001b20: SWAP1
00001b21: LOG1
00001b22: POP
00001b23: POP
00001b24: POP
00001b25: JUMP
00001b26: JUMPDEST
00001b27: PUSH1 0x65
00001b29: SLOAD
00001b2a: PUSH2 0x1b34
00001b2d: SWAP1
00001b2e: DUP3
00001b2f: SWAP1
00001b30: PUSH2 0x337f
00001b33: JUMP
00001b34: JUMPDEST
00001b35: CALLVALUE
00001b36: EQ
00001b37: PUSH2 0x1be8
00001b3a: JUMPI
00001b3b: PUSH1 0x40
00001b3d: MLOAD
00001b3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x20
00001b63: PUSH1 0x04
00001b65: DUP3
00001b66: ADD
00001b67: MSTORE
00001b68: PUSH1 0x5b
00001b6a: PUSH1 0x24
00001b6c: DUP3
00001b6d: ADD
00001b6e: MSTORE
00001b6f: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a737562736372696265
00001b90: PUSH1 0x44
00001b92: DUP3
00001b93: ADD
00001b94: MSTORE
00001b95: PUSH32 0x56616c696461746f723a206d73672e76616c756520646f6573206e6f74206571
00001bb6: PUSH1 0x64
00001bb8: DUP3
00001bb9: ADD
00001bba: MSTORE
00001bbb: PUSH32 0x75616c20737562736372697074696f6e20636f6c6c61746572616c0000000000
00001bdc: PUSH1 0x84
00001bde: DUP3
00001bdf: ADD
00001be0: MSTORE
00001be1: PUSH1 0xa4
00001be3: ADD
00001be4: PUSH2 0x09ab
00001be7: JUMP
00001be8: JUMPDEST
00001be9: PUSH0
00001bea: JUMPDEST
00001beb: DUP2
00001bec: DUP2
00001bed: LT
00001bee: ISZERO
00001bef: PUSH2 0x0a2a
00001bf2: JUMPI
00001bf3: PUSH32 0x1094f8cfeb6abd0fd67e4ce1e1d3999c0176a4d8c7f8325e3ecddb5a1249fde9
00001c14: CALLER
00001c15: PUSH1 0x65
00001c17: SLOAD
00001c18: DUP6
00001c19: DUP6
00001c1a: DUP6
00001c1b: DUP2
00001c1c: DUP2
00001c1d: LT
00001c1e: PUSH2 0x1c29
00001c21: JUMPI
00001c22: PUSH2 0x1c29
00001c25: PUSH2 0x32e5
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: SWAP1
00001c2b: POP
00001c2c: PUSH1 0x20
00001c2e: MUL
00001c2f: ADD
00001c30: PUSH1 0x20
00001c32: DUP2
00001c33: ADD
00001c34: SWAP1
00001c35: PUSH2 0x1c3e
00001c38: SWAP2
00001c39: SWAP1
00001c3a: PUSH2 0x3152
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: PUSH1 0x40
00001c41: DUP1
00001c42: MLOAD
00001c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c58: SWAP1
00001c59: SWAP5
00001c5a: AND
00001c5b: DUP5
00001c5c: MSTORE
00001c5d: PUSH1 0x20
00001c5f: DUP5
00001c60: ADD
00001c61: SWAP3
00001c62: SWAP1
00001c63: SWAP3
00001c64: MSTORE
00001c65: PUSH8 0xffffffffffffffff
00001c6e: AND
00001c6f: SWAP1
00001c70: DUP3
00001c71: ADD
00001c72: MSTORE
00001c73: PUSH1 0x60
00001c75: ADD
00001c76: PUSH1 0x40
00001c78: MLOAD
00001c79: DUP1
00001c7a: SWAP2
00001c7b: SUB
00001c7c: SWAP1
00001c7d: LOG1
00001c7e: PUSH1 0x01
00001c80: ADD
00001c81: PUSH2 0x1bea
00001c84: JUMP
00001c85: JUMPDEST
00001c86: PUSH2 0x1c8d
00001c89: PUSH2 0x2dac
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: PUSH1 0x65
00001c90: DUP2
00001c91: SWAP1
00001c92: SSTORE
00001c93: PUSH1 0x40
00001c95: MLOAD
00001c96: DUP2
00001c97: DUP2
00001c98: MSTORE
00001c99: PUSH32 0xdb50d3f51ff6294ba829f0d7f6b99b5b606a52807d5106ef44151d9297720217
00001cba: SWAP1
00001cbb: PUSH1 0x20
00001cbd: ADD
00001cbe: PUSH2 0x1353
00001cc1: JUMP
00001cc2: JUMPDEST
00001cc3: PUSH2 0x1cca
00001cc6: PUSH2 0x2dac
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: PUSH1 0x6a
00001ccd: DUP1
00001cce: SLOAD
00001ccf: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001cf0: AND
00001cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d06: DUP4
00001d07: AND
00001d08: SWAP1
00001d09: DUP2
00001d0a: OR
00001d0b: SWAP1
00001d0c: SWAP2
00001d0d: SSTORE
00001d0e: PUSH1 0x40
00001d10: MLOAD
00001d11: SWAP1
00001d12: DUP2
00001d13: MSTORE
00001d14: PUSH32 0xae901f1a96a9fc6852e6b162ea0b9887c37b667fb5d2d925b6e4a607aac0bf62
00001d35: SWAP1
00001d36: PUSH1 0x20
00001d38: ADD
00001d39: PUSH2 0x1353
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH2 0x1d45
00001d41: PUSH2 0x2dac
00001d44: JUMP
00001d45: JUMPDEST
00001d46: PUSH2 0x1d4e
00001d49: PUSH0
00001d4a: PUSH2 0x2e2d
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: PUSH32 0xffffffffffffffff000000000000000000000000000000000000000000000000
00001d75: PUSH1 0xc0
00001d77: DUP5
00001d78: SWAP1
00001d79: SHL
00001d7a: AND
00001d7b: PUSH1 0x20
00001d7d: DUP3
00001d7e: ADD
00001d7f: MSTORE
00001d80: PUSH1 0x28
00001d82: DUP2
00001d83: ADD
00001d84: DUP3
00001d85: SWAP1
00001d86: MSTORE
00001d87: PUSH0
00001d88: SWAP1
00001d89: PUSH1 0x48
00001d8b: ADD
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: PUSH1 0x20
00001d91: DUP2
00001d92: DUP4
00001d93: SUB
00001d94: SUB
00001d95: DUP2
00001d96: MSTORE
00001d97: SWAP1
00001d98: PUSH1 0x40
00001d9a: MSTORE
00001d9b: DUP1
00001d9c: MLOAD
00001d9d: SWAP1
00001d9e: PUSH1 0x20
00001da0: ADD
00001da1: KECCAK256
00001da2: SWAP1
00001da3: POP
00001da4: JUMPDEST
00001da5: SWAP3
00001da6: SWAP2
00001da7: POP
00001da8: POP
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH1 0x6d
00001dad: SLOAD
00001dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc3: AND
00001dc4: CALLER
00001dc5: EQ
00001dc6: PUSH2 0x1e51
00001dc9: JUMPI
00001dca: PUSH1 0x40
00001dcc: MLOAD
00001dcd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dee: DUP2
00001def: MSTORE
00001df0: PUSH1 0x20
00001df2: PUSH1 0x04
00001df4: DUP3
00001df5: ADD
00001df6: MSTORE
00001df7: PUSH1 0x36
00001df9: PUSH1 0x24
00001dfb: DUP3
00001dfc: ADD
00001dfd: MSTORE
00001dfe: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
00001e1f: PUSH1 0x44
00001e21: DUP3
00001e22: ADD
00001e23: MSTORE
00001e24: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
00001e45: PUSH1 0x64
00001e47: DUP3
00001e48: ADD
00001e49: MSTORE
00001e4a: PUSH1 0x84
00001e4c: ADD
00001e4d: PUSH2 0x09ab
00001e50: JUMP
00001e51: JUMPDEST
00001e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e67: DUP2
00001e68: AND
00001e69: PUSH0
00001e6a: SWAP1
00001e6b: DUP2
00001e6c: MSTORE
00001e6d: PUSH1 0x6f
00001e6f: PUSH1 0x20
00001e71: MSTORE
00001e72: PUSH1 0x40
00001e74: SWAP1
00001e75: KECCAK256
00001e76: SLOAD
00001e77: ISZERO
00001e78: PUSH2 0x1f03
00001e7b: JUMPI
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ea0: DUP2
00001ea1: MSTORE
00001ea2: PUSH1 0x20
00001ea4: PUSH1 0x04
00001ea6: DUP3
00001ea7: ADD
00001ea8: MSTORE
00001ea9: PUSH1 0x3d
00001eab: PUSH1 0x24
00001ead: DUP3
00001eae: ADD
00001eaf: MSTORE
00001eb0: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6164644f7261636c65
00001ed1: PUSH1 0x44
00001ed3: DUP3
00001ed4: ADD
00001ed5: MSTORE
00001ed6: PUSH32 0x4d656d6265723a20416c7265616479206f7261636c65206d656d626572000000
00001ef7: PUSH1 0x64
00001ef9: DUP3
00001efa: ADD
00001efb: MSTORE
00001efc: PUSH1 0x84
00001efe: ADD
00001eff: PUSH2 0x09ab
00001f02: JUMP
00001f03: JUMPDEST
00001f04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f19: DUP2
00001f1a: AND
00001f1b: PUSH0
00001f1c: DUP2
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x6f
00001f21: PUSH1 0x20
00001f23: SWAP1
00001f24: DUP2
00001f25: MSTORE
00001f26: PUSH1 0x40
00001f28: DUP1
00001f29: DUP4
00001f2a: KECCAK256
00001f2b: PUSH1 0x01
00001f2d: SWAP1
00001f2e: DUP2
00001f2f: SWAP1
00001f30: SSTORE
00001f31: PUSH1 0x71
00001f33: DUP1
00001f34: SLOAD
00001f35: SWAP2
00001f36: DUP3
00001f37: ADD
00001f38: DUP2
00001f39: SSTORE
00001f3a: SWAP1
00001f3b: SWAP4
00001f3c: MSTORE
00001f3d: PUSH32 0xa1fcd19bfe8c32a61095b6bfbb2664842857e148fcbb5188386c8cd40348d5b6
00001f5e: SWAP1
00001f5f: SWAP3
00001f60: ADD
00001f61: DUP1
00001f62: SLOAD
00001f63: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001f84: AND
00001f85: DUP5
00001f86: OR
00001f87: SWAP1
00001f88: SSTORE
00001f89: SWAP1
00001f8a: MLOAD
00001f8b: SWAP2
00001f8c: DUP3
00001f8d: MSTORE
00001f8e: PUSH32 0x82ebad05b594f3bb43fed0280ee782c47f15549310ffb9de21ad790a03dbab18
00001faf: SWAP2
00001fb0: ADD
00001fb1: PUSH2 0x1353
00001fb4: JUMP
00001fb5: JUMPDEST
00001fb6: PUSH1 0x6c
00001fb8: SLOAD
00001fb9: PUSH8 0xffffffffffffffff
00001fc2: AND
00001fc3: PUSH0
00001fc4: DUP2
00001fc5: SWAP1
00001fc6: SUB
00001fc7: PUSH2 0x2078
00001fca: JUMPI
00001fcb: PUSH1 0x40
00001fcd: MLOAD
00001fce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x20
00001ff3: PUSH1 0x04
00001ff5: DUP3
00001ff6: ADD
00001ff7: MSTORE
00001ff8: PUSH1 0x43
00001ffa: PUSH1 0x24
00001ffc: DUP3
00001ffd: ADD
00001ffe: MSTORE
00001fff: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a7375626d6974526570
00002020: PUSH1 0x44
00002022: DUP3
00002023: ADD
00002024: MSTORE
00002025: PUSH32 0x6f72743a20536d6f6f7468696e6720706f6f6c206e6f7420696e697469616c69
00002046: PUSH1 0x64
00002048: DUP3
00002049: ADD
0000204a: MSTORE
0000204b: PUSH32 0x7a65640000000000000000000000000000000000000000000000000000000000
0000206c: PUSH1 0x84
0000206e: DUP3
0000206f: ADD
00002070: MSTORE
00002071: PUSH1 0xa4
00002073: ADD
00002074: PUSH2 0x09ab
00002077: JUMP
00002078: JUMPDEST
00002079: PUSH1 0x6c
0000207b: SLOAD
0000207c: PUSH2 0x209b
0000207f: SWAP1
00002080: PUSH9 0x010000000000000000
0000208a: SWAP1
0000208b: DIV
0000208c: PUSH8 0xffffffffffffffff
00002095: AND
00002096: DUP3
00002097: PUSH2 0x3396
0000209a: JUMP
0000209b: JUMPDEST
0000209c: PUSH8 0xffffffffffffffff
000020a5: AND
000020a6: DUP4
000020a7: PUSH8 0xffffffffffffffff
000020b0: AND
000020b1: EQ
000020b2: PUSH2 0x213d
000020b5: JUMPI
000020b6: PUSH1 0x40
000020b8: MLOAD
000020b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020da: DUP2
000020db: MSTORE
000020dc: PUSH1 0x20
000020de: PUSH1 0x04
000020e0: DUP3
000020e1: ADD
000020e2: MSTORE
000020e3: PUSH1 0x38
000020e5: PUSH1 0x24
000020e7: DUP3
000020e8: ADD
000020e9: MSTORE
000020ea: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a7375626d6974526570
0000210b: PUSH1 0x44
0000210d: DUP3
0000210e: ADD
0000210f: MSTORE
00002110: PUSH32 0x6f72743a20536c6f74206e756d62657220696e76616c69640000000000000000
00002131: PUSH1 0x64
00002133: DUP3
00002134: ADD
00002135: MSTORE
00002136: PUSH1 0x84
00002138: ADD
00002139: PUSH2 0x09ab
0000213c: JUMP
0000213d: JUMPDEST
0000213e: CALLER
0000213f: PUSH0
00002140: SWAP1
00002141: DUP2
00002142: MSTORE
00002143: PUSH1 0x6f
00002145: PUSH1 0x20
00002147: MSTORE
00002148: PUSH1 0x40
0000214a: SWAP1
0000214b: KECCAK256
0000214c: SLOAD
0000214d: DUP1
0000214e: PUSH2 0x21d9
00002151: JUMPI
00002152: PUSH1 0x40
00002154: MLOAD
00002155: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x20
0000217a: PUSH1 0x04
0000217c: DUP3
0000217d: ADD
0000217e: MSTORE
0000217f: PUSH1 0x38
00002181: PUSH1 0x24
00002183: DUP3
00002184: ADD
00002185: MSTORE
00002186: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a7375626d6974526570
000021a7: PUSH1 0x44
000021a9: DUP3
000021aa: ADD
000021ab: MSTORE
000021ac: PUSH32 0x6f72743a204e6f742061206f7261636c65206d656d6265720000000000000000
000021cd: PUSH1 0x64
000021cf: DUP3
000021d0: ADD
000021d1: MSTORE
000021d2: PUSH1 0x84
000021d4: ADD
000021d5: PUSH2 0x09ab
000021d8: JUMP
000021d9: JUMPDEST
000021da: PUSH1 0x01
000021dc: DUP2
000021dd: EQ
000021de: PUSH2 0x2276
000021e1: JUMPI
000021e2: PUSH0
000021e3: DUP2
000021e4: DUP2
000021e5: MSTORE
000021e6: PUSH1 0x70
000021e8: PUSH1 0x20
000021ea: MSTORE
000021eb: PUSH1 0x40
000021ed: SWAP1
000021ee: KECCAK256
000021ef: DUP1
000021f0: SLOAD
000021f1: PUSH9 0x010000000000000000
000021fb: SWAP1
000021fc: DIV
000021fd: PUSH8 0xffffffffffffffff
00002206: AND
00002207: ISZERO
00002208: PUSH2 0x2274
0000220b: JUMPI
0000220c: DUP1
0000220d: SLOAD
0000220e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000222f: PUSH8 0xffffffffffffffff
00002238: PUSH9 0x010000000000000000
00002242: DUP1
00002243: DUP5
00002244: DIV
00002245: DUP3
00002246: AND
00002247: SWAP3
00002248: SWAP1
00002249: SWAP3
0000224a: ADD
0000224b: AND
0000224c: MUL
0000224d: PUSH32 0xffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff
0000226e: SWAP1
0000226f: SWAP2
00002270: AND
00002271: OR
00002272: DUP2
00002273: SSTORE
00002274: JUMPDEST
00002275: POP
00002276: JUMPDEST
00002277: PUSH0
00002278: PUSH2 0x2281
0000227b: DUP6
0000227c: DUP6
0000227d: PUSH2 0x1d50
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH0
00002283: DUP2
00002284: DUP2
00002285: MSTORE
00002286: PUSH1 0x70
00002288: PUSH1 0x20
0000228a: SWAP1
0000228b: DUP2
0000228c: MSTORE
0000228d: PUSH1 0x40
0000228f: DUP1
00002290: DUP4
00002291: KECCAK256
00002292: DUP2
00002293: MLOAD
00002294: DUP1
00002295: DUP4
00002296: ADD
00002297: SWAP1
00002298: SWAP3
00002299: MSTORE
0000229a: SLOAD
0000229b: PUSH8 0xffffffffffffffff
000022a4: DUP1
000022a5: DUP3
000022a6: AND
000022a7: DUP1
000022a8: DUP5
000022a9: MSTORE
000022aa: PUSH9 0x010000000000000000
000022b4: SWAP1
000022b5: SWAP3
000022b6: DIV
000022b7: AND
000022b8: SWAP3
000022b9: DUP3
000022ba: ADD
000022bb: SWAP3
000022bc: SWAP1
000022bd: SWAP3
000022be: MSTORE
000022bf: SWAP3
000022c0: SWAP4
000022c1: POP
000022c2: SWAP1
000022c3: SUB
000022c4: PUSH2 0x22e0
000022c7: JUMPI
000022c8: PUSH8 0xffffffffffffffff
000022d1: DUP7
000022d2: AND
000022d3: DUP2
000022d4: MSTORE
000022d5: PUSH1 0x01
000022d7: PUSH1 0x20
000022d9: DUP3
000022da: ADD
000022db: MSTORE
000022dc: PUSH2 0x22fe
000022df: JUMP
000022e0: JUMPDEST
000022e1: PUSH1 0x20
000022e3: DUP2
000022e4: ADD
000022e5: DUP1
000022e6: MLOAD
000022e7: SWAP1
000022e8: PUSH2 0x22f0
000022eb: DUP3
000022ec: PUSH2 0x33be
000022ef: JUMP
000022f0: JUMPDEST
000022f1: PUSH8 0xffffffffffffffff
000022fa: AND
000022fb: SWAP1
000022fc: MSTORE
000022fd: POP
000022fe: JUMPDEST
000022ff: PUSH1 0x40
00002301: DUP1
00002302: MLOAD
00002303: PUSH8 0xffffffffffffffff
0000230c: DUP9
0000230d: AND
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x20
00002312: DUP2
00002313: ADD
00002314: DUP8
00002315: SWAP1
00002316: MSTORE
00002317: CALLER
00002318: DUP2
00002319: DUP4
0000231a: ADD
0000231b: MSTORE
0000231c: SWAP1
0000231d: MLOAD
0000231e: PUSH32 0xa28058c376f3af4acde9ae77dfe7fc66bc12abc2ad14e37fe60d51e19a630571
0000233f: SWAP2
00002340: DUP2
00002341: SWAP1
00002342: SUB
00002343: PUSH1 0x60
00002345: ADD
00002346: SWAP1
00002347: LOG1
00002348: PUSH1 0x6c
0000234a: SLOAD
0000234b: PUSH1 0x20
0000234d: DUP3
0000234e: ADD
0000234f: MLOAD
00002350: PUSH8 0xffffffffffffffff
00002359: PUSH17 0x0100000000000000000000000000000000
0000236b: SWAP1
0000236c: SWAP3
0000236d: DIV
0000236e: DUP3
0000236f: AND
00002370: SWAP2
00002371: AND
00002372: LT
00002373: PUSH2 0x2424
00002376: JUMPI
00002377: PUSH0
00002378: DUP3
00002379: DUP2
0000237a: MSTORE
0000237b: PUSH1 0x70
0000237d: PUSH1 0x20
0000237f: SWAP1
00002380: DUP2
00002381: MSTORE
00002382: PUSH1 0x40
00002384: SWAP2
00002385: DUP3
00002386: SWAP1
00002387: KECCAK256
00002388: DUP1
00002389: SLOAD
0000238a: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000023ab: AND
000023ac: SWAP1
000023ad: SSTORE
000023ae: PUSH1 0x6c
000023b0: DUP1
000023b1: SLOAD
000023b2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
000023d3: AND
000023d4: PUSH8 0xffffffffffffffff
000023dd: DUP11
000023de: AND
000023df: SWAP1
000023e0: DUP2
000023e1: OR
000023e2: SWAP1
000023e3: SWAP2
000023e4: SSTORE
000023e5: PUSH1 0x66
000023e7: DUP9
000023e8: SWAP1
000023e9: SSTORE
000023ea: DUP3
000023eb: MLOAD
000023ec: SWAP1
000023ed: DUP2
000023ee: MSTORE
000023ef: SWAP1
000023f0: DUP2
000023f1: ADD
000023f2: DUP8
000023f3: SWAP1
000023f4: MSTORE
000023f5: PUSH32 0x92f1a3bddcbec48ac79b5809ed37bf0491f0ad9e89ed4ff2f1ccd4dd9e5b5064
00002416: SWAP2
00002417: ADD
00002418: PUSH1 0x40
0000241a: MLOAD
0000241b: DUP1
0000241c: SWAP2
0000241d: SUB
0000241e: SWAP1
0000241f: LOG1
00002420: PUSH2 0x248e
00002423: JUMP
00002424: JUMPDEST
00002425: PUSH0
00002426: DUP3
00002427: DUP2
00002428: MSTORE
00002429: PUSH1 0x70
0000242b: PUSH1 0x20
0000242d: SWAP1
0000242e: DUP2
0000242f: MSTORE
00002430: PUSH1 0x40
00002432: DUP1
00002433: DUP4
00002434: KECCAK256
00002435: DUP5
00002436: MLOAD
00002437: DUP2
00002438: SLOAD
00002439: DUP5
0000243a: DUP8
0000243b: ADD
0000243c: MLOAD
0000243d: PUSH8 0xffffffffffffffff
00002446: SWAP1
00002447: DUP2
00002448: AND
00002449: PUSH9 0x010000000000000000
00002453: MUL
00002454: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00002475: SWAP1
00002476: SWAP3
00002477: AND
00002478: SWAP3
00002479: AND
0000247a: SWAP2
0000247b: SWAP1
0000247c: SWAP2
0000247d: OR
0000247e: OR
0000247f: SWAP1
00002480: SSTORE
00002481: CALLER
00002482: DUP4
00002483: MSTORE
00002484: PUSH1 0x6f
00002486: SWAP1
00002487: SWAP2
00002488: MSTORE
00002489: SWAP1
0000248a: KECCAK256
0000248b: DUP3
0000248c: SWAP1
0000248d: SSTORE
0000248e: JUMPDEST
0000248f: POP
00002490: POP
00002491: POP
00002492: POP
00002493: POP
00002494: POP
00002495: JUMP
00002496: JUMPDEST
00002497: PUSH1 0x65
00002499: SLOAD
0000249a: CALLVALUE
0000249b: EQ
0000249c: PUSH2 0x254d
0000249f: JUMPI
000024a0: PUSH1 0x40
000024a2: MLOAD
000024a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024c4: DUP2
000024c5: MSTORE
000024c6: PUSH1 0x20
000024c8: PUSH1 0x04
000024ca: DUP3
000024cb: ADD
000024cc: MSTORE
000024cd: PUSH1 0x5b
000024cf: PUSH1 0x24
000024d1: DUP3
000024d2: ADD
000024d3: MSTORE
000024d4: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a737562736372696265
000024f5: PUSH1 0x44
000024f7: DUP3
000024f8: ADD
000024f9: MSTORE
000024fa: PUSH32 0x56616c696461746f723a206d73672e76616c756520646f6573206e6f74206571
0000251b: PUSH1 0x64
0000251d: DUP3
0000251e: ADD
0000251f: MSTORE
00002520: PUSH32 0x75616c20737562736372697074696f6e20636f6c6c61746572616c0000000000
00002541: PUSH1 0x84
00002543: DUP3
00002544: ADD
00002545: MSTORE
00002546: PUSH1 0xa4
00002548: ADD
00002549: PUSH2 0x09ab
0000254c: JUMP
0000254d: JUMPDEST
0000254e: PUSH1 0x65
00002550: SLOAD
00002551: PUSH1 0x40
00002553: DUP1
00002554: MLOAD
00002555: CALLER
00002556: DUP2
00002557: MSTORE
00002558: PUSH1 0x20
0000255a: DUP2
0000255b: ADD
0000255c: SWAP3
0000255d: SWAP1
0000255e: SWAP3
0000255f: MSTORE
00002560: PUSH8 0xffffffffffffffff
00002569: DUP4
0000256a: AND
0000256b: SWAP1
0000256c: DUP3
0000256d: ADD
0000256e: MSTORE
0000256f: PUSH32 0x1094f8cfeb6abd0fd67e4ce1e1d3999c0176a4d8c7f8325e3ecddb5a1249fde9
00002590: SWAP1
00002591: PUSH1 0x60
00002593: ADD
00002594: PUSH2 0x1353
00002597: JUMP
00002598: JUMPDEST
00002599: PUSH1 0x40
0000259b: DUP1
0000259c: MLOAD
0000259d: CALLER
0000259e: DUP2
0000259f: MSTORE
000025a0: PUSH8 0xffffffffffffffff
000025a9: DUP4
000025aa: AND
000025ab: PUSH1 0x20
000025ad: DUP3
000025ae: ADD
000025af: MSTORE
000025b0: PUSH32 0x5a984d13ffecb21f69de43956dcd971abcff8e187fac09a0ce3209562da14e0a
000025d1: SWAP2
000025d2: ADD
000025d3: PUSH2 0x1353
000025d6: JUMP
000025d7: JUMPDEST
000025d8: PUSH2 0x25df
000025db: PUSH2 0x2dac
000025de: JUMP
000025df: JUMPDEST
000025e0: PUSH2 0x2710
000025e3: DUP2
000025e4: GT
000025e5: ISZERO
000025e6: PUSH2 0x2697
000025e9: JUMPI
000025ea: PUSH1 0x40
000025ec: MLOAD
000025ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000260e: DUP2
0000260f: MSTORE
00002610: PUSH1 0x20
00002612: PUSH1 0x04
00002614: DUP3
00002615: ADD
00002616: MSTORE
00002617: PUSH1 0x4a
00002619: PUSH1 0x24
0000261b: DUP3
0000261c: ADD
0000261d: MSTORE
0000261e: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a757064617465506f6f
0000263f: PUSH1 0x44
00002641: DUP3
00002642: ADD
00002643: MSTORE
00002644: PUSH32 0x6c4665653a20506f6f6c206665652063616e6e6f742062652067726561746572
00002665: PUSH1 0x64
00002667: DUP3
00002668: ADD
00002669: MSTORE
0000266a: PUSH32 0x207468616e203130302500000000000000000000000000000000000000000000
0000268b: PUSH1 0x84
0000268d: DUP3
0000268e: ADD
0000268f: MSTORE
00002690: PUSH1 0xa4
00002692: ADD
00002693: PUSH2 0x09ab
00002696: JUMP
00002697: JUMPDEST
00002698: PUSH1 0x69
0000269a: DUP2
0000269b: SWAP1
0000269c: SSTORE
0000269d: PUSH1 0x40
0000269f: MLOAD
000026a0: DUP2
000026a1: DUP2
000026a2: MSTORE
000026a3: PUSH32 0x19d74da91b7de020180f04c1c60faba431bd76ecf962935e6f65ecbf0223ecfc
000026c4: SWAP1
000026c5: PUSH1 0x20
000026c7: ADD
000026c8: PUSH2 0x1353
000026cb: JUMP
000026cc: JUMPDEST
000026cd: PUSH1 0x6d
000026cf: SLOAD
000026d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026e5: AND
000026e6: CALLER
000026e7: EQ
000026e8: PUSH2 0x2773
000026eb: JUMPI
000026ec: PUSH1 0x40
000026ee: MLOAD
000026ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002710: DUP2
00002711: MSTORE
00002712: PUSH1 0x20
00002714: PUSH1 0x04
00002716: DUP3
00002717: ADD
00002718: MSTORE
00002719: PUSH1 0x36
0000271b: PUSH1 0x24
0000271d: DUP3
0000271e: ADD
0000271f: MSTORE
00002720: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6f6e6c79476f766572
00002741: PUSH1 0x44
00002743: DUP3
00002744: ADD
00002745: MSTORE
00002746: PUSH32 0x6e616e63653a204f6e6c7920676f7665726e616e636500000000000000000000
00002767: PUSH1 0x64
00002769: DUP3
0000276a: ADD
0000276b: MSTORE
0000276c: PUSH1 0x84
0000276e: ADD
0000276f: PUSH2 0x09ab
00002772: JUMP
00002773: JUMPDEST
00002774: PUSH1 0x6e
00002776: DUP1
00002777: SLOAD
00002778: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002799: AND
0000279a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027af: DUP4
000027b0: AND
000027b1: SWAP1
000027b2: DUP2
000027b3: OR
000027b4: SWAP1
000027b5: SWAP2
000027b6: SSTORE
000027b7: PUSH1 0x40
000027b9: MLOAD
000027ba: SWAP1
000027bb: DUP2
000027bc: MSTORE
000027bd: PUSH32 0xde4aabcd09171142d82dd9e667db43bf0dca12f30fa0aec30859875d35ecb5d6
000027de: SWAP1
000027df: PUSH1 0x20
000027e1: ADD
000027e2: PUSH2 0x1353
000027e5: JUMP
000027e6: JUMPDEST
000027e7: PUSH1 0x40
000027e9: MLOAD
000027ea: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
0000280b: PUSH1 0x60
0000280d: DUP6
0000280e: SWAP1
0000280f: SHL
00002810: AND
00002811: PUSH1 0x20
00002813: DUP3
00002814: ADD
00002815: MSTORE
00002816: PUSH1 0x34
00002818: DUP2
00002819: ADD
0000281a: DUP4
0000281b: SWAP1
0000281c: MSTORE
0000281d: PUSH0
0000281e: SWAP1
0000281f: PUSH1 0x54
00002821: ADD
00002822: PUSH1 0x40
00002824: MLOAD
00002825: PUSH1 0x20
00002827: DUP2
00002828: DUP4
00002829: SUB
0000282a: SUB
0000282b: DUP2
0000282c: MSTORE
0000282d: SWAP1
0000282e: PUSH1 0x40
00002830: MSTORE
00002831: DUP1
00002832: MLOAD
00002833: SWAP1
00002834: PUSH1 0x20
00002836: ADD
00002837: KECCAK256
00002838: SWAP1
00002839: POP
0000283a: PUSH2 0x2846
0000283d: DUP3
0000283e: PUSH1 0x66
00002840: SLOAD
00002841: DUP4
00002842: PUSH2 0x2ea3
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH2 0x28d2
0000284a: JUMPI
0000284b: PUSH1 0x40
0000284d: MLOAD
0000284e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000286f: DUP2
00002870: MSTORE
00002871: PUSH1 0x20
00002873: PUSH1 0x04
00002875: DUP3
00002876: ADD
00002877: MSTORE
00002878: PUSH1 0x39
0000287a: PUSH1 0x24
0000287c: DUP3
0000287d: ADD
0000287e: MSTORE
0000287f: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a636c61696d52657761
000028a0: PUSH1 0x44
000028a2: DUP3
000028a3: ADD
000028a4: MSTORE
000028a5: PUSH32 0x7264733a20496e76616c6964206d65726b6c652070726f6f6600000000000000
000028c6: PUSH1 0x64
000028c8: DUP3
000028c9: ADD
000028ca: MSTORE
000028cb: PUSH1 0x84
000028cd: ADD
000028ce: PUSH2 0x09ab
000028d1: JUMP
000028d2: JUMPDEST
000028d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028e8: DUP5
000028e9: AND
000028ea: PUSH0
000028eb: SWAP1
000028ec: DUP2
000028ed: MSTORE
000028ee: PUSH1 0x67
000028f0: PUSH1 0x20
000028f2: MSTORE
000028f3: PUSH1 0x40
000028f5: DUP2
000028f6: KECCAK256
000028f7: SLOAD
000028f8: PUSH2 0x2901
000028fb: SWAP1
000028fc: DUP6
000028fd: PUSH2 0x333f
00002900: JUMP
00002901: JUMPDEST
00002902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002917: DUP1
00002918: DUP8
00002919: AND
0000291a: PUSH0
0000291b: SWAP1
0000291c: DUP2
0000291d: MSTORE
0000291e: PUSH1 0x67
00002920: PUSH1 0x20
00002922: SWAP1
00002923: DUP2
00002924: MSTORE
00002925: PUSH1 0x40
00002927: DUP1
00002928: DUP4
00002929: KECCAK256
0000292a: DUP10
0000292b: SWAP1
0000292c: SSTORE
0000292d: PUSH1 0x68
0000292f: SWAP1
00002930: SWAP2
00002931: MSTORE
00002932: DUP2
00002933: KECCAK256
00002934: SLOAD
00002935: SWAP3
00002936: SWAP4
00002937: POP
00002938: SWAP2
00002939: AND
0000293a: SWAP1
0000293b: DUP2
0000293c: ISZERO
0000293d: PUSH2 0x2946
00002940: JUMPI
00002941: DUP2
00002942: PUSH2 0x2948
00002945: JUMP
00002946: JUMPDEST
00002947: DUP7
00002948: JUMPDEST
00002949: PUSH1 0x40
0000294b: DUP1
0000294c: MLOAD
0000294d: PUSH0
0000294e: DUP1
0000294f: DUP3
00002950: MSTORE
00002951: PUSH1 0x20
00002953: DUP3
00002954: ADD
00002955: SWAP3
00002956: DUP4
00002957: SWAP1
00002958: MSTORE
00002959: SWAP3
0000295a: SWAP4
0000295b: POP
0000295c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002971: DUP5
00002972: AND
00002973: SWAP2
00002974: DUP7
00002975: SWAP2
00002976: PUSH2 0x297e
00002979: SWAP2
0000297a: PUSH2 0x33e4
0000297d: JUMP
0000297e: JUMPDEST
0000297f: PUSH0
00002980: PUSH1 0x40
00002982: MLOAD
00002983: DUP1
00002984: DUP4
00002985: SUB
00002986: DUP2
00002987: DUP6
00002988: DUP8
00002989: GAS
0000298a: CALL
0000298b: SWAP3
0000298c: POP
0000298d: POP
0000298e: POP
0000298f: RETURNDATASIZE
00002990: DUP1
00002991: PUSH0
00002992: DUP2
00002993: EQ
00002994: PUSH2 0x29b8
00002997: JUMPI
00002998: PUSH1 0x40
0000299a: MLOAD
0000299b: SWAP2
0000299c: POP
0000299d: PUSH1 0x1f
0000299f: NOT
000029a0: PUSH1 0x3f
000029a2: RETURNDATASIZE
000029a3: ADD
000029a4: AND
000029a5: DUP3
000029a6: ADD
000029a7: PUSH1 0x40
000029a9: MSTORE
000029aa: RETURNDATASIZE
000029ab: DUP3
000029ac: MSTORE
000029ad: RETURNDATASIZE
000029ae: PUSH0
000029af: PUSH1 0x20
000029b1: DUP5
000029b2: ADD
000029b3: RETURNDATACOPY
000029b4: PUSH2 0x29bd
000029b7: JUMP
000029b8: JUMPDEST
000029b9: PUSH1 0x60
000029bb: SWAP2
000029bc: POP
000029bd: JUMPDEST
000029be: POP
000029bf: POP
000029c0: SWAP1
000029c1: POP
000029c2: DUP1
000029c3: PUSH2 0x2a4e
000029c6: JUMPI
000029c7: PUSH1 0x40
000029c9: MLOAD
000029ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029eb: DUP2
000029ec: MSTORE
000029ed: PUSH1 0x20
000029ef: PUSH1 0x04
000029f1: DUP3
000029f2: ADD
000029f3: MSTORE
000029f4: PUSH1 0x38
000029f6: PUSH1 0x24
000029f8: DUP3
000029f9: ADD
000029fa: MSTORE
000029fb: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a636c61696d52657761
00002a1c: PUSH1 0x44
00002a1e: DUP3
00002a1f: ADD
00002a20: MSTORE
00002a21: PUSH32 0x7264733a20457468207472616e73666572206661696c65640000000000000000
00002a42: PUSH1 0x64
00002a44: DUP3
00002a45: ADD
00002a46: MSTORE
00002a47: PUSH1 0x84
00002a49: ADD
00002a4a: PUSH2 0x09ab
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: PUSH1 0x40
00002a51: DUP1
00002a52: MLOAD
00002a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a68: DUP1
00002a69: DUP12
00002a6a: AND
00002a6b: DUP3
00002a6c: MSTORE
00002a6d: DUP5
00002a6e: AND
00002a6f: PUSH1 0x20
00002a71: DUP3
00002a72: ADD
00002a73: MSTORE
00002a74: SWAP1
00002a75: DUP2
00002a76: ADD
00002a77: DUP6
00002a78: SWAP1
00002a79: MSTORE
00002a7a: PUSH32 0x9aa05b3d70a9e3e2f004f039648839560576334fb45c81f91b6db03ad9e2efc9
00002a9b: SWAP1
00002a9c: PUSH1 0x60
00002a9e: ADD
00002a9f: PUSH1 0x40
00002aa1: MLOAD
00002aa2: DUP1
00002aa3: SWAP2
00002aa4: SUB
00002aa5: SWAP1
00002aa6: LOG1
00002aa7: POP
00002aa8: POP
00002aa9: POP
00002aaa: POP
00002aab: POP
00002aac: POP
00002aad: POP
00002aae: POP
00002aaf: JUMP
00002ab0: JUMPDEST
00002ab1: PUSH0
00002ab2: DUP1
00002ab3: JUMPDEST
00002ab4: PUSH1 0x71
00002ab6: SLOAD
00002ab7: DUP2
00002ab8: LT
00002ab9: ISZERO
00002aba: PUSH2 0x2b23
00002abd: JUMPI
00002abe: DUP3
00002abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad4: AND
00002ad5: PUSH1 0x71
00002ad7: DUP3
00002ad8: DUP2
00002ad9: SLOAD
00002ada: DUP2
00002adb: LT
00002adc: PUSH2 0x2ae7
00002adf: JUMPI
00002ae0: PUSH2 0x2ae7
00002ae3: PUSH2 0x32e5
00002ae6: JUMP
00002ae7: JUMPDEST
00002ae8: PUSH0
00002ae9: SWAP2
00002aea: DUP3
00002aeb: MSTORE
00002aec: PUSH1 0x20
00002aee: SWAP1
00002aef: SWAP2
00002af0: KECCAK256
00002af1: ADD
00002af2: SLOAD
00002af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b08: AND
00002b09: SUB
00002b0a: PUSH2 0x2b13
00002b0d: JUMPI
00002b0e: SWAP3
00002b0f: SWAP2
00002b10: POP
00002b11: POP
00002b12: JUMP
00002b13: JUMPDEST
00002b14: PUSH2 0x2b1c
00002b17: DUP2
00002b18: PUSH2 0x3410
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: SWAP1
00002b1e: POP
00002b1f: PUSH2 0x2ab3
00002b22: JUMP
00002b23: JUMPDEST
00002b24: POP
00002b25: PUSH1 0x40
00002b27: MLOAD
00002b28: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b49: DUP2
00002b4a: MSTORE
00002b4b: PUSH1 0x20
00002b4d: PUSH1 0x04
00002b4f: DUP3
00002b50: ADD
00002b51: MSTORE
00002b52: PUSH1 0x44
00002b54: PUSH1 0x24
00002b56: DUP3
00002b57: ADD
00002b58: DUP2
00002b59: SWAP1
00002b5a: MSTORE
00002b5b: PUSH32 0x446170706e6f6465536d6f6f7468696e67506f6f6c3a3a6765744f7261636c65
00002b7c: SWAP1
00002b7d: DUP3
00002b7e: ADD
00002b7f: MSTORE
00002b80: PUSH32 0x4d656d626572496e6465783a204f7261636c65206d656d626572206e6f742066
00002ba1: PUSH1 0x64
00002ba3: DUP3
00002ba4: ADD
00002ba5: MSTORE
00002ba6: PUSH32 0x6f756e6400000000000000000000000000000000000000000000000000000000
00002bc7: PUSH1 0x84
00002bc9: DUP3
00002bca: ADD
00002bcb: MSTORE
00002bcc: PUSH1 0xa4
00002bce: ADD
00002bcf: PUSH2 0x09ab
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: CALLER
00002bd5: PUSH0
00002bd6: DUP2
00002bd7: DUP2
00002bd8: MSTORE
00002bd9: PUSH1 0x68
00002bdb: PUSH1 0x20
00002bdd: SWAP1
00002bde: DUP2
00002bdf: MSTORE
00002be0: PUSH1 0x40
00002be2: SWAP2
00002be3: DUP3
00002be4: SWAP1
00002be5: KECCAK256
00002be6: DUP1
00002be7: SLOAD
00002be8: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002c09: AND
00002c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c1f: DUP7
00002c20: AND
00002c21: SWAP1
00002c22: DUP2
00002c23: OR
00002c24: SWAP1
00002c25: SWAP2
00002c26: SSTORE
00002c27: DUP3
00002c28: MLOAD
00002c29: SWAP4
00002c2a: DUP5
00002c2b: MSTORE
00002c2c: SWAP1
00002c2d: DUP4
00002c2e: ADD
00002c2f: MSTORE
00002c30: PUSH32 0xc6b66e0e282673c442421e1c6b89458b7631f26f5dcd0b2b216c45831ca1d7d5
00002c51: SWAP2
00002c52: ADD
00002c53: PUSH2 0x1353
00002c56: JUMP
00002c57: JUMPDEST
00002c58: PUSH2 0x2c5f
00002c5b: PUSH2 0x2dac
00002c5e: JUMP
00002c5f: JUMPDEST
00002c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c75: DUP2
00002c76: AND
00002c77: PUSH2 0x2d02
00002c7a: JUMPI
00002c7b: PUSH1 0x40
00002c7d: MLOAD
00002c7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c9f: DUP2
00002ca0: MSTORE
00002ca1: PUSH1 0x20
00002ca3: PUSH1 0x04
00002ca5: DUP3
00002ca6: ADD
00002ca7: MSTORE
00002ca8: PUSH1 0x26
00002caa: PUSH1 0x24
00002cac: DUP3
00002cad: ADD
00002cae: MSTORE
00002caf: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002cd0: PUSH1 0x44
00002cd2: DUP3
00002cd3: ADD
00002cd4: MSTORE
00002cd5: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00002cf6: PUSH1 0x64
00002cf8: DUP3
00002cf9: ADD
00002cfa: MSTORE
00002cfb: PUSH1 0x84
00002cfd: ADD
00002cfe: PUSH2 0x09ab
00002d01: JUMP
00002d02: JUMPDEST
00002d03: PUSH2 0x2d0b
00002d06: DUP2
00002d07: PUSH2 0x2e2d
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: POP
00002d0d: JUMP
00002d0e: JUMPDEST
00002d0f: PUSH0
00002d10: SLOAD
00002d11: PUSH2 0x0100
00002d14: SWAP1
00002d15: DIV
00002d16: PUSH1 0xff
00002d18: AND
00002d19: PUSH2 0x2da4
00002d1c: JUMPI
00002d1d: PUSH1 0x40
00002d1f: MLOAD
00002d20: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d41: DUP2
00002d42: MSTORE
00002d43: PUSH1 0x20
00002d45: PUSH1 0x04
00002d47: DUP3
00002d48: ADD
00002d49: MSTORE
00002d4a: PUSH1 0x2b
00002d4c: PUSH1 0x24
00002d4e: DUP3
00002d4f: ADD
00002d50: MSTORE
00002d51: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002d72: PUSH1 0x44
00002d74: DUP3
00002d75: ADD
00002d76: MSTORE
00002d77: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00002d98: PUSH1 0x64
00002d9a: DUP3
00002d9b: ADD
00002d9c: MSTORE
00002d9d: PUSH1 0x84
00002d9f: ADD
00002da0: PUSH2 0x09ab
00002da3: JUMP
00002da4: JUMPDEST
00002da5: PUSH2 0x1d4e
00002da8: PUSH2 0x2eb8
00002dab: JUMP
00002dac: JUMPDEST
00002dad: PUSH1 0x33
00002daf: SLOAD
00002db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc5: AND
00002dc6: CALLER
00002dc7: EQ
00002dc8: PUSH2 0x1d4e
00002dcb: JUMPI
00002dcc: PUSH1 0x40
00002dce: MLOAD
00002dcf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002df0: DUP2
00002df1: MSTORE
00002df2: PUSH1 0x20
00002df4: PUSH1 0x04
00002df6: DUP3
00002df7: ADD
00002df8: DUP2
00002df9: SWAP1
00002dfa: MSTORE
00002dfb: PUSH1 0x24
00002dfd: DUP3
00002dfe: ADD
00002dff: MSTORE
00002e00: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002e21: PUSH1 0x44
00002e23: DUP3
00002e24: ADD
00002e25: MSTORE
00002e26: PUSH1 0x64
00002e28: ADD
00002e29: PUSH2 0x09ab
00002e2c: JUMP
00002e2d: JUMPDEST
00002e2e: PUSH1 0x33
00002e30: DUP1
00002e31: SLOAD
00002e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e47: DUP4
00002e48: DUP2
00002e49: AND
00002e4a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002e6b: DUP4
00002e6c: AND
00002e6d: DUP2
00002e6e: OR
00002e6f: SWAP1
00002e70: SWAP4
00002e71: SSTORE
00002e72: PUSH1 0x40
00002e74: MLOAD
00002e75: SWAP2
00002e76: AND
00002e77: SWAP2
00002e78: SWAP1
00002e79: DUP3
00002e7a: SWAP1
00002e7b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002e9c: SWAP1
00002e9d: PUSH0
00002e9e: SWAP1
00002e9f: LOG3
00002ea0: POP
00002ea1: POP
00002ea2: JUMP
00002ea3: JUMPDEST
00002ea4: PUSH0
00002ea5: DUP3
00002ea6: PUSH2 0x2eaf
00002ea9: DUP6
00002eaa: DUP5
00002eab: PUSH2 0x2f57
00002eae: JUMP
00002eaf: JUMPDEST
00002eb0: EQ
00002eb1: SWAP5
00002eb2: SWAP4
00002eb3: POP
00002eb4: POP
00002eb5: POP
00002eb6: POP
00002eb7: JUMP
00002eb8: JUMPDEST
00002eb9: PUSH0
00002eba: SLOAD
00002ebb: PUSH2 0x0100
00002ebe: SWAP1
00002ebf: DIV
00002ec0: PUSH1 0xff
00002ec2: AND
00002ec3: PUSH2 0x2f4e
00002ec6: JUMPI
00002ec7: PUSH1 0x40
00002ec9: MLOAD
00002eca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002eeb: DUP2
00002eec: MSTORE
00002eed: PUSH1 0x20
00002eef: PUSH1 0x04
00002ef1: DUP3
00002ef2: ADD
00002ef3: MSTORE
00002ef4: PUSH1 0x2b
00002ef6: PUSH1 0x24
00002ef8: DUP3
00002ef9: ADD
00002efa: MSTORE
00002efb: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002f1c: PUSH1 0x44
00002f1e: DUP3
00002f1f: ADD
00002f20: MSTORE
00002f21: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
00002f42: PUSH1 0x64
00002f44: DUP3
00002f45: ADD
00002f46: MSTORE
00002f47: PUSH1 0x84
00002f49: ADD
00002f4a: PUSH2 0x09ab
00002f4d: JUMP
00002f4e: JUMPDEST
00002f4f: PUSH2 0x1d4e
00002f52: CALLER
00002f53: PUSH2 0x2e2d
00002f56: JUMP
00002f57: JUMPDEST
00002f58: PUSH0
00002f59: DUP2
00002f5a: DUP2
00002f5b: JUMPDEST
00002f5c: DUP5
00002f5d: MLOAD
00002f5e: DUP2
00002f5f: LT
00002f60: ISZERO
00002f61: PUSH2 0x2f9b
00002f64: JUMPI
00002f65: PUSH2 0x2f87
00002f68: DUP3
00002f69: DUP7
00002f6a: DUP4
00002f6b: DUP2
00002f6c: MLOAD
00002f6d: DUP2
00002f6e: LT
00002f6f: PUSH2 0x2f7a
00002f72: JUMPI
00002f73: PUSH2 0x2f7a
00002f76: PUSH2 0x32e5
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: PUSH1 0x20
00002f7d: MUL
00002f7e: PUSH1 0x20
00002f80: ADD
00002f81: ADD
00002f82: MLOAD
00002f83: PUSH2 0x2fa3
00002f86: JUMP
00002f87: JUMPDEST
00002f88: SWAP2
00002f89: POP
00002f8a: DUP1
00002f8b: PUSH2 0x2f93
00002f8e: DUP2
00002f8f: PUSH2 0x3410
00002f92: JUMP
00002f93: JUMPDEST
00002f94: SWAP2
00002f95: POP
00002f96: POP
00002f97: PUSH2 0x2f5b
00002f9a: JUMP
00002f9b: JUMPDEST
00002f9c: POP
00002f9d: SWAP4
00002f9e: SWAP3
00002f9f: POP
00002fa0: POP
00002fa1: POP
00002fa2: JUMP
00002fa3: JUMPDEST
00002fa4: PUSH0
00002fa5: DUP2
00002fa6: DUP4
00002fa7: LT
00002fa8: PUSH2 0x2fbd
00002fab: JUMPI
00002fac: PUSH0
00002fad: DUP3
00002fae: DUP2
00002faf: MSTORE
00002fb0: PUSH1 0x20
00002fb2: DUP5
00002fb3: SWAP1
00002fb4: MSTORE
00002fb5: PUSH1 0x40
00002fb7: SWAP1
00002fb8: KECCAK256
00002fb9: PUSH2 0x2fcb
00002fbc: JUMP
00002fbd: JUMPDEST
00002fbe: PUSH0
00002fbf: DUP4
00002fc0: DUP2
00002fc1: MSTORE
00002fc2: PUSH1 0x20
00002fc4: DUP4
00002fc5: SWAP1
00002fc6: MSTORE
00002fc7: PUSH1 0x40
00002fc9: SWAP1
00002fca: KECCAK256
00002fcb: JUMPDEST
00002fcc: SWAP4
00002fcd: SWAP3
00002fce: POP
00002fcf: POP
00002fd0: POP
00002fd1: JUMP
00002fd2: JUMPDEST
00002fd3: PUSH0
00002fd4: DUP1
00002fd5: PUSH1 0x20
00002fd7: DUP4
00002fd8: DUP6
00002fd9: SUB
00002fda: SLT
00002fdb: ISZERO
00002fdc: PUSH2 0x2fe3
00002fdf: JUMPI
00002fe0: PUSH0
00002fe1: DUP1
00002fe2: REVERT
00002fe3: JUMPDEST
00002fe4: DUP3
00002fe5: CALLDATALOAD
00002fe6: PUSH8 0xffffffffffffffff
00002fef: DUP1
00002ff0: DUP3
00002ff1: GT
00002ff2: ISZERO
00002ff3: PUSH2 0x2ffa
00002ff6: JUMPI
00002ff7: PUSH0
00002ff8: DUP1
00002ff9: REVERT
00002ffa: JUMPDEST
00002ffb: DUP2
00002ffc: DUP6
00002ffd: ADD
00002ffe: SWAP2
00002fff: POP
00003000: DUP6
00003001: PUSH1 0x1f
00003003: DUP4
00003004: ADD
00003005: SLT
00003006: PUSH2 0x300d
00003009: JUMPI
0000300a: PUSH0
0000300b: DUP1
0000300c: REVERT
0000300d: JUMPDEST
0000300e: DUP2
0000300f: CALLDATALOAD
00003010: DUP2
00003011: DUP2
00003012: GT
00003013: ISZERO
00003014: PUSH2 0x301b
00003017: JUMPI
00003018: PUSH0
00003019: DUP1
0000301a: REVERT
0000301b: JUMPDEST
0000301c: DUP7
0000301d: PUSH1 0x20
0000301f: DUP3
00003020: PUSH1 0x05
00003022: SHL
00003023: DUP6
00003024: ADD
00003025: ADD
00003026: GT
00003027: ISZERO
00003028: PUSH2 0x302f
0000302b: JUMPI
0000302c: PUSH0
0000302d: DUP1
0000302e: REVERT
0000302f: JUMPDEST
00003030: PUSH1 0x20
00003032: SWAP3
00003033: SWAP1
00003034: SWAP3
00003035: ADD
00003036: SWAP7
00003037: SWAP2
00003038: SWAP6
00003039: POP
0000303a: SWAP1
0000303b: SWAP4
0000303c: POP
0000303d: POP
0000303e: POP
0000303f: POP
00003040: JUMP
00003041: JUMPDEST
00003042: PUSH0
00003043: PUSH1 0x20
00003045: DUP3
00003046: DUP5
00003047: SUB
00003048: SLT
00003049: ISZERO
0000304a: PUSH2 0x3051
0000304d: JUMPI
0000304e: PUSH0
0000304f: DUP1
00003050: REVERT
00003051: JUMPDEST
00003052: POP
00003053: CALLDATALOAD
00003054: SWAP2
00003055: SWAP1
00003056: POP
00003057: JUMP
00003058: JUMPDEST
00003059: DUP1
0000305a: CALLDATALOAD
0000305b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003070: DUP2
00003071: AND
00003072: DUP2
00003073: EQ
00003074: PUSH2 0x307b
00003077: JUMPI
00003078: PUSH0
00003079: DUP1
0000307a: REVERT
0000307b: JUMPDEST
0000307c: SWAP2
0000307d: SWAP1
0000307e: POP
0000307f: JUMP
00003080: JUMPDEST
00003081: DUP1
00003082: CALLDATALOAD
00003083: PUSH8 0xffffffffffffffff
0000308c: DUP2
0000308d: AND
0000308e: DUP2
0000308f: EQ
00003090: PUSH2 0x307b
00003093: JUMPI
00003094: PUSH0
00003095: DUP1
00003096: REVERT
00003097: JUMPDEST
00003098: PUSH0
00003099: DUP1
0000309a: PUSH0
0000309b: DUP1
0000309c: PUSH0
0000309d: DUP1
0000309e: PUSH1 0xc0
000030a0: DUP8
000030a1: DUP10
000030a2: SUB
000030a3: SLT
000030a4: ISZERO
000030a5: PUSH2 0x30ac
000030a8: JUMPI
000030a9: PUSH0
000030aa: DUP1
000030ab: REVERT
000030ac: JUMPDEST
000030ad: PUSH2 0x30b5
000030b0: DUP8
000030b1: PUSH2 0x3058
000030b4: JUMP
000030b5: JUMPDEST
000030b6: SWAP6
000030b7: POP
000030b8: PUSH1 0x20
000030ba: DUP8
000030bb: ADD
000030bc: CALLDATALOAD
000030bd: SWAP5
000030be: POP
000030bf: PUSH1 0x40
000030c1: DUP8
000030c2: ADD
000030c3: CALLDATALOAD
000030c4: SWAP4
000030c5: POP
000030c6: PUSH2 0x30d1
000030c9: PUSH1 0x60
000030cb: DUP9
000030cc: ADD
000030cd: PUSH2 0x3058
000030d0: JUMP
000030d1: JUMPDEST
000030d2: SWAP3
000030d3: POP
000030d4: PUSH2 0x30df
000030d7: PUSH1 0x80
000030d9: DUP9
000030da: ADD
000030db: PUSH2 0x3080
000030de: JUMP
000030df: JUMPDEST
000030e0: SWAP2
000030e1: POP
000030e2: PUSH2 0x30ed
000030e5: PUSH1 0xa0
000030e7: DUP9
000030e8: ADD
000030e9: PUSH2 0x3080
000030ec: JUMP
000030ed: JUMPDEST
000030ee: SWAP1
000030ef: POP
000030f0: SWAP3
000030f1: SWAP6
000030f2: POP
000030f3: SWAP3
000030f4: SWAP6
000030f5: POP
000030f6: SWAP3
000030f7: SWAP6
000030f8: JUMP
000030f9: JUMPDEST
000030fa: PUSH1 0x20
000030fc: DUP1
000030fd: DUP3
000030fe: MSTORE
000030ff: DUP3
00003100: MLOAD
00003101: DUP3
00003102: DUP3
00003103: ADD
00003104: DUP2
00003105: SWAP1
00003106: MSTORE
00003107: PUSH0
00003108: SWAP2
00003109: SWAP1
0000310a: DUP5
0000310b: DUP3
0000310c: ADD
0000310d: SWAP1
0000310e: PUSH1 0x40
00003110: DUP6
00003111: ADD
00003112: SWAP1
00003113: DUP5
00003114: JUMPDEST
00003115: DUP2
00003116: DUP2
00003117: LT
00003118: ISZERO
00003119: PUSH2 0x3146
0000311c: JUMPI
0000311d: DUP4
0000311e: MLOAD
0000311f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003134: AND
00003135: DUP4
00003136: MSTORE
00003137: SWAP3
00003138: DUP5
00003139: ADD
0000313a: SWAP3
0000313b: SWAP2
0000313c: DUP5
0000313d: ADD
0000313e: SWAP2
0000313f: PUSH1 0x01
00003141: ADD
00003142: PUSH2 0x3114
00003145: JUMP
00003146: JUMPDEST
00003147: POP
00003148: SWAP1
00003149: SWAP7
0000314a: SWAP6
0000314b: POP
0000314c: POP
0000314d: POP
0000314e: POP
0000314f: POP
00003150: POP
00003151: JUMP
00003152: JUMPDEST
00003153: PUSH0
00003154: PUSH1 0x20
00003156: DUP3
00003157: DUP5
00003158: SUB
00003159: SLT
0000315a: ISZERO
0000315b: PUSH2 0x3162
0000315e: JUMPI
0000315f: PUSH0
00003160: DUP1
00003161: REVERT
00003162: JUMPDEST
00003163: PUSH2 0x2fcb
00003166: DUP3
00003167: PUSH2 0x3080
0000316a: JUMP
0000316b: JUMPDEST
0000316c: PUSH0
0000316d: DUP1
0000316e: PUSH1 0x40
00003170: DUP4
00003171: DUP6
00003172: SUB
00003173: SLT
00003174: ISZERO
00003175: PUSH2 0x317c
00003178: JUMPI
00003179: PUSH0
0000317a: DUP1
0000317b: REVERT
0000317c: JUMPDEST
0000317d: PUSH2 0x3185
00003180: DUP4
00003181: PUSH2 0x3058
00003184: JUMP
00003185: JUMPDEST
00003186: SWAP5
00003187: PUSH1 0x20
00003189: SWAP4
0000318a: SWAP1
0000318b: SWAP4
0000318c: ADD
0000318d: CALLDATALOAD
0000318e: SWAP4
0000318f: POP
00003190: POP
00003191: POP
00003192: JUMP
00003193: JUMPDEST
00003194: PUSH0
00003195: PUSH1 0x20
00003197: DUP3
00003198: DUP5
00003199: SUB
0000319a: SLT
0000319b: ISZERO
0000319c: PUSH2 0x31a3
0000319f: JUMPI
000031a0: PUSH0
000031a1: DUP1
000031a2: REVERT
000031a3: JUMPDEST
000031a4: PUSH2 0x2fcb
000031a7: DUP3
000031a8: PUSH2 0x3058
000031ab: JUMP
000031ac: JUMPDEST
000031ad: PUSH0
000031ae: DUP1
000031af: PUSH1 0x40
000031b1: DUP4
000031b2: DUP6
000031b3: SUB
000031b4: SLT
000031b5: ISZERO
000031b6: PUSH2 0x31bd
000031b9: JUMPI
000031ba: PUSH0
000031bb: DUP1
000031bc: REVERT
000031bd: JUMPDEST
000031be: PUSH2 0x3185
000031c1: DUP4
000031c2: PUSH2 0x3080
000031c5: JUMP
000031c6: JUMPDEST
000031c7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000031e8: PUSH0
000031e9: MSTORE
000031ea: PUSH1 0x41
000031ec: PUSH1 0x04
000031ee: MSTORE
000031ef: PUSH1 0x24
000031f1: PUSH0
000031f2: REVERT
000031f3: JUMPDEST
000031f4: PUSH0
000031f5: DUP1
000031f6: PUSH0
000031f7: PUSH1 0x60
000031f9: DUP5
000031fa: DUP7
000031fb: SUB
000031fc: SLT
000031fd: ISZERO
000031fe: PUSH2 0x3205
00003201: JUMPI
00003202: PUSH0
00003203: DUP1
00003204: REVERT
00003205: JUMPDEST
00003206: PUSH2 0x320e
00003209: DUP5
0000320a: PUSH2 0x3058
0000320d: JUMP
0000320e: JUMPDEST
0000320f: SWAP3
00003210: POP
00003211: PUSH1 0x20
00003213: DUP1
00003214: DUP6
00003215: ADD
00003216: CALLDATALOAD
00003217: SWAP3
00003218: POP
00003219: PUSH1 0x40
0000321b: DUP6
0000321c: ADD
0000321d: CALLDATALOAD
0000321e: PUSH8 0xffffffffffffffff
00003227: DUP1
00003228: DUP3
00003229: GT
0000322a: ISZERO
0000322b: PUSH2 0x3232
0000322e: JUMPI
0000322f: PUSH0
00003230: DUP1
00003231: REVERT
00003232: JUMPDEST
00003233: DUP2
00003234: DUP8
00003235: ADD
00003236: SWAP2
00003237: POP
00003238: DUP8
00003239: PUSH1 0x1f
0000323b: DUP4
0000323c: ADD
0000323d: SLT
0000323e: PUSH2 0x3245
00003241: JUMPI
00003242: PUSH0
00003243: DUP1
00003244: REVERT
00003245: JUMPDEST
00003246: DUP2
00003247: CALLDATALOAD
00003248: DUP2
00003249: DUP2
0000324a: GT
0000324b: ISZERO
0000324c: PUSH2 0x3257
0000324f: JUMPI
00003250: PUSH2 0x3257
00003253: PUSH2 0x31c6
00003256: JUMP
00003257: JUMPDEST
00003258: DUP1
00003259: PUSH1 0x05
0000325b: SHL
0000325c: PUSH1 0x40
0000325e: MLOAD
0000325f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003280: PUSH1 0x3f
00003282: DUP4
00003283: ADD
00003284: AND
00003285: DUP2
00003286: ADD
00003287: DUP2
00003288: DUP2
00003289: LT
0000328a: DUP6
0000328b: DUP3
0000328c: GT
0000328d: OR
0000328e: ISZERO
0000328f: PUSH2 0x329a
00003292: JUMPI
00003293: PUSH2 0x329a
00003296: PUSH2 0x31c6
00003299: JUMP
0000329a: JUMPDEST
0000329b: PUSH1 0x40
0000329d: MSTORE
0000329e: SWAP2
0000329f: DUP3
000032a0: MSTORE
000032a1: DUP5
000032a2: DUP3
000032a3: ADD
000032a4: SWAP3
000032a5: POP
000032a6: DUP4
000032a7: DUP2
000032a8: ADD
000032a9: DUP6
000032aa: ADD
000032ab: SWAP2
000032ac: DUP11
000032ad: DUP4
000032ae: GT
000032af: ISZERO
000032b0: PUSH2 0x32b7
000032b3: JUMPI
000032b4: PUSH0
000032b5: DUP1
000032b6: REVERT
000032b7: JUMPDEST
000032b8: SWAP4
000032b9: DUP6
000032ba: ADD
000032bb: SWAP4
000032bc: JUMPDEST
000032bd: DUP3
000032be: DUP6
000032bf: LT
000032c0: ISZERO
000032c1: PUSH2 0x32d5
000032c4: JUMPI
000032c5: DUP5
000032c6: CALLDATALOAD
000032c7: DUP5
000032c8: MSTORE
000032c9: SWAP4
000032ca: DUP6
000032cb: ADD
000032cc: SWAP4
000032cd: SWAP3
000032ce: DUP6
000032cf: ADD
000032d0: SWAP3
000032d1: PUSH2 0x32bc
000032d4: JUMP
000032d5: JUMPDEST
000032d6: DUP1
000032d7: SWAP7
000032d8: POP
000032d9: POP
000032da: POP
000032db: POP
000032dc: POP
000032dd: POP
000032de: POP
000032df: SWAP3
000032e0: POP
000032e1: SWAP3
000032e2: POP
000032e3: SWAP3
000032e4: JUMP
000032e5: JUMPDEST
000032e6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003307: PUSH0
00003308: MSTORE
00003309: PUSH1 0x32
0000330b: PUSH1 0x04
0000330d: MSTORE
0000330e: PUSH1 0x24
00003310: PUSH0
00003311: REVERT
00003312: JUMPDEST
00003313: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003334: PUSH0
00003335: MSTORE
00003336: PUSH1 0x11
00003338: PUSH1 0x04
0000333a: MSTORE
0000333b: PUSH1 0x24
0000333d: PUSH0
0000333e: REVERT
0000333f: JUMPDEST
00003340: DUP2
00003341: DUP2
00003342: SUB
00003343: DUP2
00003344: DUP2
00003345: GT
00003346: ISZERO
00003347: PUSH2 0x1da4
0000334a: JUMPI
0000334b: PUSH2 0x1da4
0000334e: PUSH2 0x3312
00003351: JUMP
00003352: JUMPDEST
00003353: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003374: PUSH0
00003375: MSTORE
00003376: PUSH1 0x31
00003378: PUSH1 0x04
0000337a: MSTORE
0000337b: PUSH1 0x24
0000337d: PUSH0
0000337e: REVERT
0000337f: JUMPDEST
00003380: DUP1
00003381: DUP3
00003382: MUL
00003383: DUP2
00003384: ISZERO
00003385: DUP3
00003386: DUP3
00003387: DIV
00003388: DUP5
00003389: EQ
0000338a: OR
0000338b: PUSH2 0x1da4
0000338e: JUMPI
0000338f: PUSH2 0x1da4
00003392: PUSH2 0x3312
00003395: JUMP
00003396: JUMPDEST
00003397: PUSH8 0xffffffffffffffff
000033a0: DUP2
000033a1: DUP2
000033a2: AND
000033a3: DUP4
000033a4: DUP3
000033a5: AND
000033a6: ADD
000033a7: SWAP1
000033a8: DUP1
000033a9: DUP3
000033aa: GT
000033ab: ISZERO
000033ac: PUSH2 0x33b7
000033af: JUMPI
000033b0: PUSH2 0x33b7
000033b3: PUSH2 0x3312
000033b6: JUMP
000033b7: JUMPDEST
000033b8: POP
000033b9: SWAP3
000033ba: SWAP2
000033bb: POP
000033bc: POP
000033bd: JUMP
000033be: JUMPDEST
000033bf: PUSH0
000033c0: PUSH8 0xffffffffffffffff
000033c9: DUP1
000033ca: DUP4
000033cb: AND
000033cc: DUP2
000033cd: DUP2
000033ce: SUB
000033cf: PUSH2 0x33da
000033d2: JUMPI
000033d3: PUSH2 0x33da
000033d6: PUSH2 0x3312
000033d9: JUMP
000033da: JUMPDEST
000033db: PUSH1 0x01
000033dd: ADD
000033de: SWAP4
000033df: SWAP3
000033e0: POP
000033e1: POP
000033e2: POP
000033e3: JUMP
000033e4: JUMPDEST
000033e5: PUSH0
000033e6: DUP3
000033e7: MLOAD
000033e8: PUSH0
000033e9: JUMPDEST
000033ea: DUP2
000033eb: DUP2
000033ec: LT
000033ed: ISZERO
000033ee: PUSH2 0x3403
000033f1: JUMPI
000033f2: PUSH1 0x20
000033f4: DUP2
000033f5: DUP7
000033f6: ADD
000033f7: DUP2
000033f8: ADD
000033f9: MLOAD
000033fa: DUP6
000033fb: DUP4
000033fc: ADD
000033fd: MSTORE
000033fe: ADD
000033ff: PUSH2 0x33e9
00003402: JUMP
00003403: JUMPDEST
00003404: POP
00003405: PUSH0
00003406: SWAP3
00003407: ADD
00003408: SWAP2
00003409: DUP3
0000340a: MSTORE
0000340b: POP
0000340c: SWAP2
0000340d: SWAP1
0000340e: POP
0000340f: JUMP
00003410: JUMPDEST
00003411: PUSH0
00003412: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003433: DUP3
00003434: SUB
00003435: PUSH2 0x3440
00003438: JUMPI
00003439: PUSH2 0x3440
0000343c: PUSH2 0x3312
0000343f: JUMP
00003440: JUMPDEST
00003441: POP
00003442: PUSH1 0x01
00003444: ADD
00003445: SWAP1
00003446: JUMP
00003447: INVALID
00003448: LOG2
00003449: PUSH5 0x6970667358
0000344f: UNKNOWN(0x22)
00003450: SLT
00003451: KECCAK256
00003452: JUMPI
00003453: UNKNOWN(0xC2)
00003454: RETURN
00003455: SWAP16
00003456: PUSH5 0x612d6cec1e
0000345c: PUSH13 0x2050c5ab51f2d0b4d9a0dea040
0000346a: GAS
0000346b: SLT
0000346c: CALLER
0000346d: DUP9
0000346e: SWAP16
0000346f: 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: 0xa17441757093250d16bb4d22112349548f134efd667cd1ca8c097baf55c22552
call_targets: 0x5cc9f1fcb464423f81027dc6dd39edf751e9a584
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa17441757093250d16bb4d22112349548f134efd667cd1ca8c097baf55c22552",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5cc9f1fcb464423f81027dc6dd39edf751e9a584"
    ],
    "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": "0xf372c0c9",
            "selector": "0xf372c0c9",
            "calldata_variants": [
                "0xf372c0c9",
                "0xf372c0c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf39c38a0",
            "selector": "0xf39c38a0",
            "calldata_variants": [
                "0xf39c38a0",
                "0xf39c38a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf93558e3",
            "selector": "0xf93558e3",
            "calldata_variants": [
                "0xf93558e3",
                "0xf93558e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1a80493",
            "selector": "0xe1a80493",
            "calldata_variants": [
                "0xe1a80493",
                "0xe1a804930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe521136f",
            "selector": "0xe521136f",
            "calldata_variants": [
                "0xe521136f",
                "0xe521136f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf004217",
            "selector": "0xcf004217",
            "calldata_variants": [
                "0xcf004217",
                "0xcf0042170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd38bfff4",
            "selector": "0xd38bfff4",
            "calldata_variants": [
                "0xd38bfff4",
                "0xd38bfff40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 10634,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xa17441757093250d16bb4d22112349548f134efd667cd1ca8c097baf55c22552
call_targets: 0x5cc9f1fcb464423f81027dc6dd39edf751e9a584
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa17441757093250d16bb4d22112349548f134efd667cd1ca8c097baf55c22552",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x5cc9f1fcb464423f81027dc6dd39edf751e9a584"
    ],
    "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": "0xf372c0c9",
            "selector": "0xf372c0c9",
            "calldata_variants": [
                "0xf372c0c9",
                "0xf372c0c90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf39c38a0",
            "selector": "0xf39c38a0",
            "calldata_variants": [
                "0xf39c38a0",
                "0xf39c38a00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf93558e3",
            "selector": "0xf93558e3",
            "calldata_variants": [
                "0xf93558e3",
                "0xf93558e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe1a80493",
            "selector": "0xe1a80493",
            "calldata_variants": [
                "0xe1a80493",
                "0xe1a804930000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe521136f",
            "selector": "0xe521136f",
            "calldata_variants": [
                "0xe521136f",
                "0xe521136f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf004217",
            "selector": "0xcf004217",
            "calldata_variants": [
                "0xcf004217",
                "0xcf0042170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd38bfff4",
            "selector": "0xd38bfff4",
            "calldata_variants": [
                "0xd38bfff4",
                "0xd38bfff40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 10634,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}