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

Analysis Run

9b066dab-78f7-4b84-87f5-7f8dc4ccc2f1

failed
Chain ID
1
Address
0x63a9fd263688bb3b7c79305cdd5d91fb064d7865
Block Number
—
Created
Mon, Jan 5, 2026 9:38 PM
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 DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31784 report.consolidate complete 1 / 1 3 months ago
96127 artifact.fetch failed 1 / 3 1 week ago
96128 tool.cast_disasm complete 1 / 3 1 week ago
96129 analysis.bundle complete 1 / 3 1 week ago
96130 capability.graph complete 1 / 3 1 week ago
96131 detector.run complete 1 / 3 1 week ago
96132 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable profit path found for non-owner attackers in PickleDistribution.sol given trusted OpenZeppelin dependencies and secure admin keys.
View stderr 
[codex:1331403] OpenAI Codex v0.77.0 (research preview)
[codex:1331403] --------
[codex:1331403] workdir: /tmp/codex-multi-4a2tf9u2
[codex:1331403] model: gpt-5.2-codex
[codex:1331403] provider: openai
[codex:1331403] approval: never
[codex:1331403] sandbox: read-only
[codex:1331403] reasoning effort: xhigh
[codex:1331403] reasoning summaries: auto
[codex:1331403] session id: 019b9018-5282-74b3-a8c6-52026f7b32e4
[codex:1331403] --------
[codex:1331403] user
[codex:1331403] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1331403] 
[codex:1331403] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1331403] 
[codex:1331403] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1331403] - Gas inefficiency, code quality, naming, or best practices
[codex:1331403] - Theoretical vulnerabilities without a clear extraction path
[codex:1331403] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1331403] - Front-running unless it enables theft beyond MEV
[codex:1331403] - DoS, griefing, or issues that don't result in attacker profit
[codex:1331403] - Missing events, view function issues, or informational findings
[codex:1331403] 
[codex:1331403] HIGH-VALUE PATTERNS TO HUNT:
[codex:1331403] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1331403] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1331403] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1331403] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1331403] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1331403] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1331403] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1331403] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1331403] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1331403] 
[codex:1331403] For each finding, you MUST provide:
[codex:1331403] 1. Exact file and line numbers of vulnerable code
[codex:1331403] 2. Step-by-step exploit transaction sequence
[codex:1331403] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1331403] 
[codex:1331403] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1331403] 
[codex:1331403] Output MUST be valid JSON matching the provided schema.
[codex:1331403] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1331403] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1331403] mcp startup: no servers
[codex:1331403] 
[codex:1331403] thinking
[codex:1331403] **Preparing to review audit file**
[codex:1331403] exec
[codex:1331403] /bin/bash -lc ls in /tmp/codex-multi-4a2tf9u2 succeeded in 6ms:
[codex:1331403] AUDIT_BUNDLE.txt
[codex:1331403] codex-output-schema.json
[codex:1331403] contracts
[codex:1331403] exec
[codex:1331403] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4a2tf9u2 succeeded in 5ms:
[codex:1331403] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1331403] 
[codex:1331403] ================================================================================
[codex:1331403] FILE: contracts/contracts/PickleDistribution.sol
[codex:1331403] ================================================================================
[codex:1331403] // SPDX-License-Identifier: MIT
[codex:1331403] pragma solidity ^0.8.17;
[codex:1331403] 
[codex:1331403] import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1331403] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1331403] import "@openzeppelin/contracts/access/Ownable.sol";
[codex:1331403] import "@openzeppelin/contracts/utils/cryptography/MerkleProof.sol";
[codex:1331403] 
[codex:1331403] /**
[codex:1331403]  * @title PickleDistribution
[codex:1331403]  * @notice Contract for distributing remaining funds to PICKLE and DILL token holders
[codex:1331403]  */
[codex:1331403] contract PickleDistribution is Ownable {
[codex:1331403]     using SafeERC20 for IERC20;
[codex:1331403] 
[codex:1331403] exec
[codex:1331403] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4a2tf9u2 succeeded in 6ms:
[codex:1331403]             switch iszero(succeeded)
[codex:1331403]             case 1 {
[codex:1331403]                 // throw if delegatecall failed
[codex:1331403]                 revert(add(response, 0x20), size)
[codex:1331403]             }
[codex:1331403]         }
[codex:1331403]     }
[codex:1331403] }
[codex:1331403] 
[codex:1331403] 
[codex:1331403] thinking
[codex:1331403] **Analyzing contract for exploits**
[codex:1331403] 
[codex:1331403] I’m carefully reviewing the claim function and related contract logic to see if any exploit for profit exists. I’m evaluating potential collisions in the merkle proof, reentrancy risks especially with ERC777 tokens, and checks on total amounts. Considering owner-only functions and admin security, I find no concrete profit attack vector and will output a JSON stating no findings with a clear summary.
[codex:1331403] codex
[codex:1331403] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable profit path found for non-owner attackers in PickleDistribution.sol given trusted OpenZeppelin dependencies and secure admin keys.","findings":[]}
[codex:1331403] tokens used
[codex:1331403] 7,304
[codex:1331403] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable profit path found for non-owner attackers in PickleDistribution.sol given trusted OpenZeppelin dependencies and secure admin keys.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-05T21:38:11.196770+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable profit path found for non-owner attackers in PickleDistribution.sol given trusted OpenZeppelin dependencies and secure admin keys.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable profit path found for non-owner attackers in PickleDistribution.sol given trusted OpenZeppelin dependencies and secure admin keys.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
2
Total opcodes
2525
Flags
delegatecall_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00f3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da859b0
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe2cc8d03
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe2cc8d03
0000002f: EQ
00000030: PUSH2 0x0296
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: EQ
0000003b: PUSH2 0x02ac
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf502e077
00000045: EQ
00000046: PUSH2 0x02cc
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc0c546a
00000050: EQ
00000051: PUSH2 0x02e1
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8da859b0
00000060: EQ
00000061: PUSH2 0x0210
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x95ccea67
0000006b: EQ
0000006c: PUSH2 0x0226
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xbd66f7fb
00000076: EQ
00000077: PUSH2 0x0246
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc884ef83
00000081: EQ
00000082: PUSH2 0x0266
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x4783f0ef
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x4783f0ef
0000009c: EQ
0000009d: PUSH2 0x0179
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5ae5c685
000000a7: EQ
000000a8: PUSH2 0x0199
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x01c9
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH2 0x01de
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x1a39d8ef
000000cd: EQ
000000ce: PUSH2 0x00f8
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x1cff79cd
000000d8: EQ
000000d9: PUSH2 0x0121
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x2eb4a7ab
000000e3: EQ
000000e4: PUSH2 0x0141
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x2f52ebb7
000000ee: EQ
000000ef: PUSH2 0x0157
000000f2: JUMPI
000000f3: JUMPDEST
000000f4: PUSH1 0x00
000000f6: DUP1
000000f7: REVERT
000000f8: JUMPDEST
000000f9: CALLVALUE
000000fa: DUP1
000000fb: ISZERO
000000fc: PUSH2 0x0104
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: POP
00000106: PUSH2 0x010e
00000109: PUSH1 0x02
0000010b: SLOAD
0000010c: DUP2
0000010d: JUMP
0000010e: JUMPDEST
0000010f: PUSH1 0x40
00000111: MLOAD
00000112: SWAP1
00000113: DUP2
00000114: MSTORE
00000115: PUSH1 0x20
00000117: ADD
00000118: JUMPDEST
00000119: PUSH1 0x40
0000011b: MLOAD
0000011c: DUP1
0000011d: SWAP2
0000011e: SUB
0000011f: SWAP1
00000120: RETURN
00000121: JUMPDEST
00000122: PUSH2 0x0134
00000125: PUSH2 0x012f
00000128: CALLDATASIZE
00000129: PUSH1 0x04
0000012b: PUSH2 0x0d01
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x0315
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH1 0x40
00000137: MLOAD
00000138: PUSH2 0x0118
0000013b: SWAP2
0000013c: SWAP1
0000013d: PUSH2 0x0e13
00000140: JUMP
00000141: JUMPDEST
00000142: CALLVALUE
00000143: DUP1
00000144: ISZERO
00000145: PUSH2 0x014d
00000148: JUMPI
00000149: PUSH1 0x00
0000014b: DUP1
0000014c: REVERT
0000014d: JUMPDEST
0000014e: POP
0000014f: PUSH2 0x010e
00000152: PUSH1 0x01
00000154: SLOAD
00000155: DUP2
00000156: JUMP
00000157: JUMPDEST
00000158: CALLVALUE
00000159: DUP1
0000015a: ISZERO
0000015b: PUSH2 0x0163
0000015e: JUMPI
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: POP
00000165: PUSH2 0x0177
00000168: PUSH2 0x0172
0000016b: CALLDATASIZE
0000016c: PUSH1 0x04
0000016e: PUSH2 0x0e72
00000171: JUMP
00000172: JUMPDEST
00000173: PUSH2 0x03af
00000176: JUMP
00000177: JUMPDEST
00000178: STOP
00000179: JUMPDEST
0000017a: CALLVALUE
0000017b: DUP1
0000017c: ISZERO
0000017d: PUSH2 0x0185
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: POP
00000187: PUSH2 0x0177
0000018a: PUSH2 0x0194
0000018d: CALLDATASIZE
0000018e: PUSH1 0x04
00000190: PUSH2 0x0ebe
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x059c
00000198: JUMP
00000199: JUMPDEST
0000019a: CALLVALUE
0000019b: DUP1
0000019c: ISZERO
0000019d: PUSH2 0x01a5
000001a0: JUMPI
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: REVERT
000001a5: JUMPDEST
000001a6: POP
000001a7: PUSH2 0x01b9
000001aa: PUSH2 0x01b4
000001ad: CALLDATASIZE
000001ae: PUSH1 0x04
000001b0: PUSH2 0x0ed7
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH2 0x0622
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: SWAP1
000001be: ISZERO
000001bf: ISZERO
000001c0: DUP2
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: PUSH2 0x0118
000001c8: JUMP
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x0177
000001da: PUSH2 0x06d9
000001dd: JUMP
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01ea
000001e5: JUMPI
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: POP
000001ec: PUSH1 0x00
000001ee: SLOAD
000001ef: PUSH1 0x01
000001f1: PUSH1 0x01
000001f3: PUSH1 0xa0
000001f5: SHL
000001f6: SUB
000001f7: AND
000001f8: JUMPDEST
000001f9: PUSH1 0x40
000001fb: MLOAD
000001fc: PUSH1 0x01
000001fe: PUSH1 0x01
00000200: PUSH1 0xa0
00000202: SHL
00000203: SUB
00000204: SWAP1
00000205: SWAP2
00000206: AND
00000207: DUP2
00000208: MSTORE
00000209: PUSH1 0x20
0000020b: ADD
0000020c: PUSH2 0x0118
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x010e
00000221: PUSH1 0x04
00000223: SLOAD
00000224: DUP2
00000225: JUMP
00000226: JUMPDEST
00000227: CALLVALUE
00000228: DUP1
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: POP
00000234: PUSH2 0x0177
00000237: PUSH2 0x0241
0000023a: CALLDATASIZE
0000023b: PUSH1 0x04
0000023d: PUSH2 0x0f31
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x06ed
00000245: JUMP
00000246: JUMPDEST
00000247: CALLVALUE
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x0177
00000257: PUSH2 0x0261
0000025a: CALLDATASIZE
0000025b: PUSH1 0x04
0000025d: PUSH2 0x0f5b
00000260: JUMP
00000261: JUMPDEST
00000262: PUSH2 0x07a3
00000265: JUMP
00000266: JUMPDEST
00000267: CALLVALUE
00000268: DUP1
00000269: ISZERO
0000026a: PUSH2 0x0272
0000026d: JUMPI
0000026e: PUSH1 0x00
00000270: DUP1
00000271: REVERT
00000272: JUMPDEST
00000273: POP
00000274: PUSH2 0x01b9
00000277: PUSH2 0x0281
0000027a: CALLDATASIZE
0000027b: PUSH1 0x04
0000027d: PUSH2 0x0f7d
00000280: JUMP
00000281: JUMPDEST
00000282: PUSH1 0x03
00000284: PUSH1 0x20
00000286: MSTORE
00000287: PUSH1 0x00
00000289: SWAP1
0000028a: DUP2
0000028b: MSTORE
0000028c: PUSH1 0x40
0000028e: SWAP1
0000028f: KECCAK256
00000290: SLOAD
00000291: PUSH1 0xff
00000293: AND
00000294: DUP2
00000295: JUMP
00000296: JUMPDEST
00000297: CALLVALUE
00000298: DUP1
00000299: ISZERO
0000029a: PUSH2 0x02a2
0000029d: JUMPI
0000029e: PUSH1 0x00
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x010e
000002a7: PUSH1 0x05
000002a9: SLOAD
000002aa: DUP2
000002ab: JUMP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x0177
000002bd: PUSH2 0x02c7
000002c0: CALLDATASIZE
000002c1: PUSH1 0x04
000002c3: PUSH2 0x0f7d
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH2 0x0892
000002cb: JUMP
000002cc: JUMPDEST
000002cd: CALLVALUE
000002ce: DUP1
000002cf: ISZERO
000002d0: PUSH2 0x02d8
000002d3: JUMPI
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: REVERT
000002d8: JUMPDEST
000002d9: POP
000002da: PUSH2 0x01b9
000002dd: PUSH2 0x090b
000002e0: JUMP
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x01f8
000002f2: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000313: DUP2
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x60
00000318: PUSH2 0x031f
0000031b: PUSH2 0x0941
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH1 0x01
00000322: PUSH1 0x01
00000324: PUSH1 0xa0
00000326: SHL
00000327: SUB
00000328: DUP4
00000329: AND
0000032a: PUSH2 0x0364
0000032d: JUMPI
0000032e: PUSH1 0x40
00000330: MLOAD
00000331: PUSH3 0x461bcd
00000335: PUSH1 0xe5
00000337: SHL
00000338: DUP2
00000339: MSTORE
0000033a: PUSH1 0x20
0000033c: PUSH1 0x04
0000033e: DUP3
0000033f: ADD
00000340: MSTORE
00000341: PUSH1 0x07
00000343: PUSH1 0x24
00000345: DUP3
00000346: ADD
00000347: MSTORE
00000348: PUSH7 0x085d185c99d95d
00000350: PUSH1 0xca
00000352: SHL
00000353: PUSH1 0x44
00000355: DUP3
00000356: ADD
00000357: MSTORE
00000358: PUSH1 0x64
0000035a: ADD
0000035b: JUMPDEST
0000035c: PUSH1 0x40
0000035e: MLOAD
0000035f: DUP1
00000360: SWAP2
00000361: SUB
00000362: SWAP1
00000363: REVERT
00000364: JUMPDEST
00000365: PUSH1 0x00
00000367: DUP1
00000368: DUP4
00000369: MLOAD
0000036a: PUSH1 0x20
0000036c: DUP6
0000036d: ADD
0000036e: DUP7
0000036f: PUSH2 0x1388
00000372: GAS
00000373: SUB
00000374: DELEGATECALL
00000375: RETURNDATASIZE
00000376: PUSH1 0x40
00000378: MLOAD
00000379: SWAP3
0000037a: POP
0000037b: PUSH1 0x1f
0000037d: NOT
0000037e: PUSH1 0x1f
00000380: PUSH1 0x20
00000382: DUP4
00000383: ADD
00000384: ADD
00000385: AND
00000386: DUP4
00000387: ADD
00000388: PUSH1 0x40
0000038a: MSTORE
0000038b: DUP1
0000038c: DUP4
0000038d: MSTORE
0000038e: DUP1
0000038f: PUSH1 0x00
00000391: PUSH1 0x20
00000393: DUP6
00000394: ADD
00000395: RETURNDATACOPY
00000396: DUP2
00000397: ISZERO
00000398: PUSH1 0x01
0000039a: DUP2
0000039b: SUB
0000039c: PUSH2 0x03a6
0000039f: JUMPI
000003a0: DUP2
000003a1: PUSH1 0x20
000003a3: DUP6
000003a4: ADD
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: POP
000003a9: POP
000003aa: SWAP3
000003ab: SWAP2
000003ac: POP
000003ad: POP
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x03b7
000003b3: PUSH2 0x090b
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH2 0x0403
000003bb: JUMPI
000003bc: PUSH1 0x40
000003be: MLOAD
000003bf: PUSH3 0x461bcd
000003c3: PUSH1 0xe5
000003c5: SHL
000003c6: DUP2
000003c7: MSTORE
000003c8: PUSH1 0x20
000003ca: PUSH1 0x04
000003cc: DUP3
000003cd: ADD
000003ce: MSTORE
000003cf: PUSH1 0x17
000003d1: PUSH1 0x24
000003d3: DUP3
000003d4: ADD
000003d5: MSTORE
000003d6: PUSH32 0x446973747269627574696f6e206e6f7420616374697665000000000000000000
000003f7: PUSH1 0x44
000003f9: DUP3
000003fa: ADD
000003fb: MSTORE
000003fc: PUSH1 0x64
000003fe: ADD
000003ff: PUSH2 0x035b
00000402: JUMP
00000403: JUMPDEST
00000404: CALLER
00000405: PUSH1 0x00
00000407: SWAP1
00000408: DUP2
00000409: MSTORE
0000040a: PUSH1 0x03
0000040c: PUSH1 0x20
0000040e: MSTORE
0000040f: PUSH1 0x40
00000411: SWAP1
00000412: KECCAK256
00000413: SLOAD
00000414: PUSH1 0xff
00000416: AND
00000417: ISZERO
00000418: PUSH2 0x0455
0000041b: JUMPI
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: PUSH3 0x461bcd
00000423: PUSH1 0xe5
00000425: SHL
00000426: DUP2
00000427: MSTORE
00000428: PUSH1 0x20
0000042a: PUSH1 0x04
0000042c: DUP3
0000042d: ADD
0000042e: MSTORE
0000042f: PUSH1 0x0f
00000431: PUSH1 0x24
00000433: DUP3
00000434: ADD
00000435: MSTORE
00000436: PUSH15 0x105b1c9958591e4818db185a5b5959
00000446: PUSH1 0x8a
00000448: SHL
00000449: PUSH1 0x44
0000044b: DUP3
0000044c: ADD
0000044d: MSTORE
0000044e: PUSH1 0x64
00000450: ADD
00000451: PUSH2 0x035b
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH1 0x40
00000458: MLOAD
00000459: PUSH12 0xffffffffffffffffffffffff
00000466: NOT
00000467: CALLER
00000468: PUSH1 0x60
0000046a: SHL
0000046b: AND
0000046c: PUSH1 0x20
0000046e: DUP3
0000046f: ADD
00000470: MSTORE
00000471: PUSH1 0x34
00000473: DUP2
00000474: ADD
00000475: DUP5
00000476: SWAP1
00000477: MSTORE
00000478: PUSH1 0x00
0000047a: SWAP1
0000047b: PUSH1 0x54
0000047d: ADD
0000047e: PUSH1 0x40
00000480: MLOAD
00000481: PUSH1 0x20
00000483: DUP2
00000484: DUP4
00000485: SUB
00000486: SUB
00000487: DUP2
00000488: MSTORE
00000489: SWAP1
0000048a: PUSH1 0x40
0000048c: MSTORE
0000048d: DUP1
0000048e: MLOAD
0000048f: SWAP1
00000490: PUSH1 0x20
00000492: ADD
00000493: KECCAK256
00000494: SWAP1
00000495: POP
00000496: PUSH2 0x04d6
00000499: DUP4
0000049a: DUP4
0000049b: DUP1
0000049c: DUP1
0000049d: PUSH1 0x20
0000049f: MUL
000004a0: PUSH1 0x20
000004a2: ADD
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: SWAP1
000004a7: DUP2
000004a8: ADD
000004a9: PUSH1 0x40
000004ab: MSTORE
000004ac: DUP1
000004ad: SWAP4
000004ae: SWAP3
000004af: SWAP2
000004b0: SWAP1
000004b1: DUP2
000004b2: DUP2
000004b3: MSTORE
000004b4: PUSH1 0x20
000004b6: ADD
000004b7: DUP4
000004b8: DUP4
000004b9: PUSH1 0x20
000004bb: MUL
000004bc: DUP1
000004bd: DUP3
000004be: DUP5
000004bf: CALLDATACOPY
000004c0: PUSH1 0x00
000004c2: SWAP3
000004c3: ADD
000004c4: SWAP2
000004c5: SWAP1
000004c6: SWAP2
000004c7: MSTORE
000004c8: POP
000004c9: POP
000004ca: PUSH1 0x01
000004cc: SLOAD
000004cd: SWAP2
000004ce: POP
000004cf: DUP5
000004d0: SWAP1
000004d1: POP
000004d2: PUSH2 0x099b
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH2 0x0512
000004da: JUMPI
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: PUSH3 0x461bcd
000004e2: PUSH1 0xe5
000004e4: SHL
000004e5: DUP2
000004e6: MSTORE
000004e7: PUSH1 0x20
000004e9: PUSH1 0x04
000004eb: DUP3
000004ec: ADD
000004ed: MSTORE
000004ee: PUSH1 0x0d
000004f0: PUSH1 0x24
000004f2: DUP3
000004f3: ADD
000004f4: MSTORE
000004f5: PUSH13 0x24b73b30b634b210383937b7b3
00000503: PUSH1 0x99
00000505: SHL
00000506: PUSH1 0x44
00000508: DUP3
00000509: ADD
0000050a: MSTORE
0000050b: PUSH1 0x64
0000050d: ADD
0000050e: PUSH2 0x035b
00000511: JUMP
00000512: JUMPDEST
00000513: CALLER
00000514: PUSH1 0x00
00000516: DUP2
00000517: DUP2
00000518: MSTORE
00000519: PUSH1 0x03
0000051b: PUSH1 0x20
0000051d: MSTORE
0000051e: PUSH1 0x40
00000520: SWAP1
00000521: KECCAK256
00000522: DUP1
00000523: SLOAD
00000524: PUSH1 0xff
00000526: NOT
00000527: AND
00000528: PUSH1 0x01
0000052a: OR
0000052b: SWAP1
0000052c: SSTORE
0000052d: PUSH2 0x0561
00000530: SWAP1
00000531: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000552: PUSH1 0x01
00000554: PUSH1 0x01
00000556: PUSH1 0xa0
00000558: SHL
00000559: SUB
0000055a: AND
0000055b: SWAP1
0000055c: DUP7
0000055d: PUSH2 0x09b1
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x40
00000564: MLOAD
00000565: DUP5
00000566: DUP2
00000567: MSTORE
00000568: CALLER
00000569: SWAP1
0000056a: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
0000058b: SWAP1
0000058c: PUSH1 0x20
0000058e: ADD
0000058f: PUSH1 0x40
00000591: MLOAD
00000592: DUP1
00000593: SWAP2
00000594: SUB
00000595: SWAP1
00000596: LOG2
00000597: POP
00000598: POP
00000599: POP
0000059a: POP
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH2 0x05a4
000005a0: PUSH2 0x0941
000005a3: JUMP
000005a4: JUMPDEST
000005a5: DUP1
000005a6: PUSH2 0x05e7
000005a9: JUMPI
000005aa: PUSH1 0x40
000005ac: MLOAD
000005ad: PUSH3 0x461bcd
000005b1: PUSH1 0xe5
000005b3: SHL
000005b4: DUP2
000005b5: MSTORE
000005b6: PUSH1 0x20
000005b8: PUSH1 0x04
000005ba: DUP3
000005bb: ADD
000005bc: MSTORE
000005bd: PUSH1 0x13
000005bf: PUSH1 0x24
000005c1: DUP3
000005c2: ADD
000005c3: MSTORE
000005c4: PUSH19 0x125b9d985b1a59081b595c9adb19481c9bdbdd
000005d8: PUSH1 0x6a
000005da: SHL
000005db: PUSH1 0x44
000005dd: DUP3
000005de: ADD
000005df: MSTORE
000005e0: PUSH1 0x64
000005e2: ADD
000005e3: PUSH2 0x035b
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x01
000005ea: DUP2
000005eb: SWAP1
000005ec: SSTORE
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: DUP2
000005f1: DUP2
000005f2: MSTORE
000005f3: PUSH32 0x90004c04698bc3322499a575ed3752dd4abf33e0a7294c06a787a0fe01bea941
00000614: SWAP1
00000615: PUSH1 0x20
00000617: ADD
00000618: PUSH1 0x40
0000061a: MLOAD
0000061b: DUP1
0000061c: SWAP2
0000061d: SUB
0000061e: SWAP1
0000061f: LOG1
00000620: POP
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH1 0x01
00000625: PUSH1 0x01
00000627: PUSH1 0xa0
00000629: SHL
0000062a: SUB
0000062b: DUP5
0000062c: AND
0000062d: PUSH1 0x00
0000062f: SWAP1
00000630: DUP2
00000631: MSTORE
00000632: PUSH1 0x03
00000634: PUSH1 0x20
00000636: MSTORE
00000637: PUSH1 0x40
00000639: DUP2
0000063a: KECCAK256
0000063b: SLOAD
0000063c: PUSH1 0xff
0000063e: AND
0000063f: ISZERO
00000640: PUSH2 0x064b
00000643: JUMPI
00000644: POP
00000645: PUSH1 0x00
00000647: PUSH2 0x06d1
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: PUSH12 0xffffffffffffffffffffffff
0000065c: NOT
0000065d: PUSH1 0x60
0000065f: DUP8
00000660: SWAP1
00000661: SHL
00000662: AND
00000663: PUSH1 0x20
00000665: DUP3
00000666: ADD
00000667: MSTORE
00000668: PUSH1 0x34
0000066a: DUP2
0000066b: ADD
0000066c: DUP6
0000066d: SWAP1
0000066e: MSTORE
0000066f: PUSH1 0x00
00000671: SWAP1
00000672: PUSH1 0x54
00000674: ADD
00000675: PUSH1 0x40
00000677: MLOAD
00000678: PUSH1 0x20
0000067a: DUP2
0000067b: DUP4
0000067c: SUB
0000067d: SUB
0000067e: DUP2
0000067f: MSTORE
00000680: SWAP1
00000681: PUSH1 0x40
00000683: MSTORE
00000684: DUP1
00000685: MLOAD
00000686: SWAP1
00000687: PUSH1 0x20
00000689: ADD
0000068a: KECCAK256
0000068b: SWAP1
0000068c: POP
0000068d: PUSH2 0x06cd
00000690: DUP5
00000691: DUP5
00000692: DUP1
00000693: DUP1
00000694: PUSH1 0x20
00000696: MUL
00000697: PUSH1 0x20
00000699: ADD
0000069a: PUSH1 0x40
0000069c: MLOAD
0000069d: SWAP1
0000069e: DUP2
0000069f: ADD
000006a0: PUSH1 0x40
000006a2: MSTORE
000006a3: DUP1
000006a4: SWAP4
000006a5: SWAP3
000006a6: SWAP2
000006a7: SWAP1
000006a8: DUP2
000006a9: DUP2
000006aa: MSTORE
000006ab: PUSH1 0x20
000006ad: ADD
000006ae: DUP4
000006af: DUP4
000006b0: PUSH1 0x20
000006b2: MUL
000006b3: DUP1
000006b4: DUP3
000006b5: DUP5
000006b6: CALLDATACOPY
000006b7: PUSH1 0x00
000006b9: SWAP3
000006ba: ADD
000006bb: SWAP2
000006bc: SWAP1
000006bd: SWAP2
000006be: MSTORE
000006bf: POP
000006c0: POP
000006c1: PUSH1 0x01
000006c3: SLOAD
000006c4: SWAP2
000006c5: POP
000006c6: DUP5
000006c7: SWAP1
000006c8: POP
000006c9: PUSH2 0x099b
000006cc: JUMP
000006cd: JUMPDEST
000006ce: SWAP2
000006cf: POP
000006d0: POP
000006d1: JUMPDEST
000006d2: SWAP5
000006d3: SWAP4
000006d4: POP
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: JUMP
000006d9: JUMPDEST
000006da: PUSH2 0x06e1
000006dd: PUSH2 0x0941
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH2 0x06eb
000006e5: PUSH1 0x00
000006e7: PUSH2 0x0a08
000006ea: JUMP
000006eb: JUMPDEST
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH2 0x06f5
000006f1: PUSH2 0x0941
000006f4: JUMP
000006f5: JUMPDEST
000006f6: PUSH1 0x00
000006f8: DUP2
000006f9: GT
000006fa: PUSH2 0x0736
000006fd: JUMPI
000006fe: PUSH1 0x40
00000700: MLOAD
00000701: PUSH3 0x461bcd
00000705: PUSH1 0xe5
00000707: SHL
00000708: DUP2
00000709: MSTORE
0000070a: PUSH1 0x20
0000070c: PUSH1 0x04
0000070e: DUP3
0000070f: ADD
00000710: MSTORE
00000711: PUSH1 0x0e
00000713: PUSH1 0x24
00000715: DUP3
00000716: ADD
00000717: MSTORE
00000718: PUSH14 0x125b9d985b1a5908185b5bdd5b9d
00000727: PUSH1 0x92
00000729: SHL
0000072a: PUSH1 0x44
0000072c: DUP3
0000072d: ADD
0000072e: MSTORE
0000072f: PUSH1 0x64
00000731: ADD
00000732: PUSH2 0x035b
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH2 0x075c
0000073a: PUSH2 0x074b
0000073d: PUSH1 0x00
0000073f: SLOAD
00000740: PUSH1 0x01
00000742: PUSH1 0x01
00000744: PUSH1 0xa0
00000746: SHL
00000747: SUB
00000748: AND
00000749: SWAP1
0000074a: JUMP
0000074b: JUMPDEST
0000074c: PUSH1 0x01
0000074e: PUSH1 0x01
00000750: PUSH1 0xa0
00000752: SHL
00000753: SUB
00000754: DUP5
00000755: AND
00000756: SWAP1
00000757: DUP4
00000758: PUSH2 0x09b1
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x40
0000075f: DUP1
00000760: MLOAD
00000761: PUSH1 0x01
00000763: PUSH1 0x01
00000765: PUSH1 0xa0
00000767: SHL
00000768: SUB
00000769: DUP5
0000076a: AND
0000076b: DUP2
0000076c: MSTORE
0000076d: PUSH1 0x20
0000076f: DUP2
00000770: ADD
00000771: DUP4
00000772: SWAP1
00000773: MSTORE
00000774: PUSH32 0x5fafa99d0643513820be26656b45130b01e1c03062e1266bf36f88cbd3bd9695
00000795: SWAP2
00000796: ADD
00000797: JUMPDEST
00000798: PUSH1 0x40
0000079a: MLOAD
0000079b: DUP1
0000079c: SWAP2
0000079d: SUB
0000079e: SWAP1
0000079f: LOG1
000007a0: POP
000007a1: POP
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH2 0x07ab
000007a7: PUSH2 0x0941
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x00
000007ae: DUP3
000007af: GT
000007b0: PUSH2 0x07f0
000007b3: JUMPI
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: PUSH3 0x461bcd
000007bb: PUSH1 0xe5
000007bd: SHL
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x20
000007c2: PUSH1 0x04
000007c4: DUP3
000007c5: ADD
000007c6: MSTORE
000007c7: PUSH1 0x12
000007c9: PUSH1 0x24
000007cb: DUP3
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH18 0x496e76616c69642073746172742074696d65
000007e1: PUSH1 0x70
000007e3: SHL
000007e4: PUSH1 0x44
000007e6: DUP3
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH1 0x64
000007eb: ADD
000007ec: PUSH2 0x035b
000007ef: JUMP
000007f0: JUMPDEST
000007f1: DUP1
000007f2: ISZERO
000007f3: DUP1
000007f4: PUSH2 0x07fc
000007f7: JUMPI
000007f8: POP
000007f9: DUP2
000007fa: DUP2
000007fb: GT
000007fc: JUMPDEST
000007fd: PUSH2 0x0852
00000800: JUMPI
00000801: PUSH1 0x40
00000803: MLOAD
00000804: PUSH3 0x461bcd
00000808: PUSH1 0xe5
0000080a: SHL
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: PUSH1 0x04
00000811: DUP3
00000812: ADD
00000813: MSTORE
00000814: PUSH1 0x21
00000816: PUSH1 0x24
00000818: DUP3
00000819: ADD
0000081a: MSTORE
0000081b: PUSH32 0x456e642074696d65206d7573742062652061667465722073746172742074696d
0000083c: PUSH1 0x44
0000083e: DUP3
0000083f: ADD
00000840: MSTORE
00000841: PUSH1 0x65
00000843: PUSH1 0xf8
00000845: SHL
00000846: PUSH1 0x64
00000848: DUP3
00000849: ADD
0000084a: MSTORE
0000084b: PUSH1 0x84
0000084d: ADD
0000084e: PUSH2 0x035b
00000851: JUMP
00000852: JUMPDEST
00000853: PUSH1 0x04
00000855: DUP3
00000856: SWAP1
00000857: SSTORE
00000858: PUSH1 0x05
0000085a: DUP2
0000085b: SWAP1
0000085c: SSTORE
0000085d: PUSH1 0x40
0000085f: DUP1
00000860: MLOAD
00000861: DUP4
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x20
00000866: DUP2
00000867: ADD
00000868: DUP4
00000869: SWAP1
0000086a: MSTORE
0000086b: PUSH32 0xb0b24597cd10b18eac3d1526dde0d6eb9326a5668442ee0a383a8aac2271cc55
0000088c: SWAP2
0000088d: ADD
0000088e: PUSH2 0x0797
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH2 0x089a
00000896: PUSH2 0x0941
00000899: JUMP
0000089a: JUMPDEST
0000089b: PUSH1 0x01
0000089d: PUSH1 0x01
0000089f: PUSH1 0xa0
000008a1: SHL
000008a2: SUB
000008a3: DUP2
000008a4: AND
000008a5: PUSH2 0x08ff
000008a8: JUMPI
000008a9: PUSH1 0x40
000008ab: MLOAD
000008ac: PUSH3 0x461bcd
000008b0: PUSH1 0xe5
000008b2: SHL
000008b3: DUP2
000008b4: MSTORE
000008b5: PUSH1 0x20
000008b7: PUSH1 0x04
000008b9: DUP3
000008ba: ADD
000008bb: MSTORE
000008bc: PUSH1 0x26
000008be: PUSH1 0x24
000008c0: DUP3
000008c1: ADD
000008c2: MSTORE
000008c3: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000008e4: PUSH1 0x44
000008e6: DUP3
000008e7: ADD
000008e8: MSTORE
000008e9: PUSH6 0x646472657373
000008f0: PUSH1 0xd0
000008f2: SHL
000008f3: PUSH1 0x64
000008f5: DUP3
000008f6: ADD
000008f7: MSTORE
000008f8: PUSH1 0x84
000008fa: ADD
000008fb: PUSH2 0x035b
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH2 0x0908
00000903: DUP2
00000904: PUSH2 0x0a08
00000907: JUMP
00000908: JUMPDEST
00000909: POP
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH1 0x00
0000090e: PUSH1 0x04
00000910: SLOAD
00000911: TIMESTAMP
00000912: LT
00000913: ISZERO
00000914: PUSH2 0x091d
00000917: JUMPI
00000918: POP
00000919: PUSH1 0x00
0000091b: SWAP1
0000091c: JUMP
0000091d: JUMPDEST
0000091e: PUSH1 0x00
00000920: PUSH1 0x05
00000922: SLOAD
00000923: GT
00000924: DUP1
00000925: ISZERO
00000926: PUSH2 0x0930
00000929: JUMPI
0000092a: POP
0000092b: PUSH1 0x05
0000092d: SLOAD
0000092e: TIMESTAMP
0000092f: GT
00000930: JUMPDEST
00000931: ISZERO
00000932: PUSH2 0x093b
00000935: JUMPI
00000936: POP
00000937: PUSH1 0x00
00000939: SWAP1
0000093a: JUMP
0000093b: JUMPDEST
0000093c: POP
0000093d: PUSH1 0x01
0000093f: SWAP1
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH1 0x00
00000944: SLOAD
00000945: PUSH1 0x01
00000947: PUSH1 0x01
00000949: PUSH1 0xa0
0000094b: SHL
0000094c: SUB
0000094d: AND
0000094e: CALLER
0000094f: EQ
00000950: PUSH2 0x06eb
00000953: JUMPI
00000954: PUSH1 0x40
00000956: MLOAD
00000957: PUSH3 0x461bcd
0000095b: PUSH1 0xe5
0000095d: SHL
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x20
00000962: PUSH1 0x04
00000964: DUP3
00000965: ADD
00000966: DUP2
00000967: SWAP1
00000968: MSTORE
00000969: PUSH1 0x24
0000096b: DUP3
0000096c: ADD
0000096d: MSTORE
0000096e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000098f: PUSH1 0x44
00000991: DUP3
00000992: ADD
00000993: MSTORE
00000994: PUSH1 0x64
00000996: ADD
00000997: PUSH2 0x035b
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH1 0x00
0000099e: DUP3
0000099f: PUSH2 0x09a8
000009a2: DUP6
000009a3: DUP5
000009a4: PUSH2 0x0a58
000009a7: JUMP
000009a8: JUMPDEST
000009a9: EQ
000009aa: SWAP5
000009ab: SWAP4
000009ac: POP
000009ad: POP
000009ae: POP
000009af: POP
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH1 0x40
000009b4: DUP1
000009b5: MLOAD
000009b6: PUSH1 0x01
000009b8: PUSH1 0x01
000009ba: PUSH1 0xa0
000009bc: SHL
000009bd: SUB
000009be: DUP5
000009bf: AND
000009c0: PUSH1 0x24
000009c2: DUP3
000009c3: ADD
000009c4: MSTORE
000009c5: PUSH1 0x44
000009c7: DUP1
000009c8: DUP3
000009c9: ADD
000009ca: DUP5
000009cb: SWAP1
000009cc: MSTORE
000009cd: DUP3
000009ce: MLOAD
000009cf: DUP1
000009d0: DUP4
000009d1: SUB
000009d2: SWAP1
000009d3: SWAP2
000009d4: ADD
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x64
000009d9: SWAP1
000009da: SWAP2
000009db: ADD
000009dc: SWAP1
000009dd: SWAP2
000009de: MSTORE
000009df: PUSH1 0x20
000009e1: DUP2
000009e2: ADD
000009e3: DUP1
000009e4: MLOAD
000009e5: PUSH1 0x01
000009e7: PUSH1 0x01
000009e9: PUSH1 0xe0
000009eb: SHL
000009ec: SUB
000009ed: AND
000009ee: PUSH4 0xa9059cbb
000009f3: PUSH1 0xe0
000009f5: SHL
000009f6: OR
000009f7: SWAP1
000009f8: MSTORE
000009f9: PUSH2 0x0a03
000009fc: SWAP1
000009fd: DUP5
000009fe: SWAP1
000009ff: PUSH2 0x0aa5
00000a02: JUMP
00000a03: JUMPDEST
00000a04: POP
00000a05: POP
00000a06: POP
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: SLOAD
00000a0d: PUSH1 0x01
00000a0f: PUSH1 0x01
00000a11: PUSH1 0xa0
00000a13: SHL
00000a14: SUB
00000a15: DUP4
00000a16: DUP2
00000a17: AND
00000a18: PUSH1 0x01
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: SHL
00000a1f: SUB
00000a20: NOT
00000a21: DUP4
00000a22: AND
00000a23: DUP2
00000a24: OR
00000a25: DUP5
00000a26: SSTORE
00000a27: PUSH1 0x40
00000a29: MLOAD
00000a2a: SWAP2
00000a2b: SWAP1
00000a2c: SWAP3
00000a2d: AND
00000a2e: SWAP3
00000a2f: DUP4
00000a30: SWAP2
00000a31: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000a52: SWAP2
00000a53: SWAP1
00000a54: LOG3
00000a55: POP
00000a56: POP
00000a57: JUMP
00000a58: JUMPDEST
00000a59: PUSH1 0x00
00000a5b: DUP2
00000a5c: DUP2
00000a5d: JUMPDEST
00000a5e: DUP5
00000a5f: MLOAD
00000a60: DUP2
00000a61: LT
00000a62: ISZERO
00000a63: PUSH2 0x0a9d
00000a66: JUMPI
00000a67: PUSH2 0x0a89
00000a6a: DUP3
00000a6b: DUP7
00000a6c: DUP4
00000a6d: DUP2
00000a6e: MLOAD
00000a6f: DUP2
00000a70: LT
00000a71: PUSH2 0x0a7c
00000a74: JUMPI
00000a75: PUSH2 0x0a7c
00000a78: PUSH2 0x0f98
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH1 0x20
00000a7f: MUL
00000a80: PUSH1 0x20
00000a82: ADD
00000a83: ADD
00000a84: MLOAD
00000a85: PUSH2 0x0b7a
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: SWAP2
00000a8b: POP
00000a8c: DUP1
00000a8d: PUSH2 0x0a95
00000a90: DUP2
00000a91: PUSH2 0x0fae
00000a94: JUMP
00000a95: JUMPDEST
00000a96: SWAP2
00000a97: POP
00000a98: POP
00000a99: PUSH2 0x0a5d
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: POP
00000a9f: SWAP4
00000aa0: SWAP3
00000aa1: POP
00000aa2: POP
00000aa3: POP
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: PUSH1 0x00
00000aa8: PUSH2 0x0afa
00000aab: DUP3
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: DUP1
00000ab0: PUSH1 0x40
00000ab2: ADD
00000ab3: PUSH1 0x40
00000ab5: MSTORE
00000ab6: DUP1
00000ab7: PUSH1 0x20
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: ADD
00000abe: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000adf: DUP2
00000ae0: MSTORE
00000ae1: POP
00000ae2: DUP6
00000ae3: PUSH1 0x01
00000ae5: PUSH1 0x01
00000ae7: PUSH1 0xa0
00000ae9: SHL
00000aea: SUB
00000aeb: AND
00000aec: PUSH2 0x0bac
00000aef: SWAP1
00000af0: SWAP3
00000af1: SWAP2
00000af2: SWAP1
00000af3: PUSH4 0xffffffff
00000af8: AND
00000af9: JUMP
00000afa: JUMPDEST
00000afb: SWAP1
00000afc: POP
00000afd: DUP1
00000afe: MLOAD
00000aff: PUSH1 0x00
00000b01: EQ
00000b02: DUP1
00000b03: PUSH2 0x0b1b
00000b06: JUMPI
00000b07: POP
00000b08: DUP1
00000b09: DUP1
00000b0a: PUSH1 0x20
00000b0c: ADD
00000b0d: SWAP1
00000b0e: MLOAD
00000b0f: DUP2
00000b10: ADD
00000b11: SWAP1
00000b12: PUSH2 0x0b1b
00000b15: SWAP2
00000b16: SWAP1
00000b17: PUSH2 0x0fd5
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0a03
00000b1f: JUMPI
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: PUSH3 0x461bcd
00000b27: PUSH1 0xe5
00000b29: SHL
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: PUSH1 0x04
00000b30: DUP3
00000b31: ADD
00000b32: MSTORE
00000b33: PUSH1 0x2a
00000b35: PUSH1 0x24
00000b37: DUP3
00000b38: ADD
00000b39: MSTORE
00000b3a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00000b5b: PUSH1 0x44
00000b5d: DUP3
00000b5e: ADD
00000b5f: MSTORE
00000b60: PUSH10 0x1bdd081cdd58d8d95959
00000b6b: PUSH1 0xb2
00000b6d: SHL
00000b6e: PUSH1 0x64
00000b70: DUP3
00000b71: ADD
00000b72: MSTORE
00000b73: PUSH1 0x84
00000b75: ADD
00000b76: PUSH2 0x035b
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH1 0x00
00000b7d: DUP2
00000b7e: DUP4
00000b7f: LT
00000b80: PUSH2 0x0b96
00000b83: JUMPI
00000b84: PUSH1 0x00
00000b86: DUP3
00000b87: DUP2
00000b88: MSTORE
00000b89: PUSH1 0x20
00000b8b: DUP5
00000b8c: SWAP1
00000b8d: MSTORE
00000b8e: PUSH1 0x40
00000b90: SWAP1
00000b91: KECCAK256
00000b92: PUSH2 0x0ba5
00000b95: JUMP
00000b96: JUMPDEST
00000b97: PUSH1 0x00
00000b99: DUP4
00000b9a: DUP2
00000b9b: MSTORE
00000b9c: PUSH1 0x20
00000b9e: DUP4
00000b9f: SWAP1
00000ba0: MSTORE
00000ba1: PUSH1 0x40
00000ba3: SWAP1
00000ba4: KECCAK256
00000ba5: JUMPDEST
00000ba6: SWAP4
00000ba7: SWAP3
00000ba8: POP
00000ba9: POP
00000baa: POP
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x60
00000baf: PUSH2 0x06d1
00000bb2: DUP5
00000bb3: DUP5
00000bb4: PUSH1 0x00
00000bb6: DUP6
00000bb7: DUP6
00000bb8: PUSH1 0x00
00000bba: DUP1
00000bbb: DUP7
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0x01
00000bc0: PUSH1 0xa0
00000bc2: SHL
00000bc3: SUB
00000bc4: AND
00000bc5: DUP6
00000bc6: DUP8
00000bc7: PUSH1 0x40
00000bc9: MLOAD
00000bca: PUSH2 0x0bd3
00000bcd: SWAP2
00000bce: SWAP1
00000bcf: PUSH2 0x0ff7
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH1 0x00
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: DUP1
00000bda: DUP4
00000bdb: SUB
00000bdc: DUP2
00000bdd: DUP6
00000bde: DUP8
00000bdf: GAS
00000be0: CALL
00000be1: SWAP3
00000be2: POP
00000be3: POP
00000be4: POP
00000be5: RETURNDATASIZE
00000be6: DUP1
00000be7: PUSH1 0x00
00000be9: DUP2
00000bea: EQ
00000beb: PUSH2 0x0c10
00000bee: JUMPI
00000bef: PUSH1 0x40
00000bf1: MLOAD
00000bf2: SWAP2
00000bf3: POP
00000bf4: PUSH1 0x1f
00000bf6: NOT
00000bf7: PUSH1 0x3f
00000bf9: RETURNDATASIZE
00000bfa: ADD
00000bfb: AND
00000bfc: DUP3
00000bfd: ADD
00000bfe: PUSH1 0x40
00000c00: MSTORE
00000c01: RETURNDATASIZE
00000c02: DUP3
00000c03: MSTORE
00000c04: RETURNDATASIZE
00000c05: PUSH1 0x00
00000c07: PUSH1 0x20
00000c09: DUP5
00000c0a: ADD
00000c0b: RETURNDATACOPY
00000c0c: PUSH2 0x0c15
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH1 0x60
00000c13: SWAP2
00000c14: POP
00000c15: JUMPDEST
00000c16: POP
00000c17: SWAP2
00000c18: POP
00000c19: SWAP2
00000c1a: POP
00000c1b: PUSH2 0x0c26
00000c1e: DUP8
00000c1f: DUP4
00000c20: DUP4
00000c21: DUP8
00000c22: PUSH2 0x0c31
00000c25: JUMP
00000c26: JUMPDEST
00000c27: SWAP8
00000c28: SWAP7
00000c29: POP
00000c2a: POP
00000c2b: POP
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x60
00000c34: DUP4
00000c35: ISZERO
00000c36: PUSH2 0x0ca0
00000c39: JUMPI
00000c3a: DUP3
00000c3b: MLOAD
00000c3c: PUSH1 0x00
00000c3e: SUB
00000c3f: PUSH2 0x0c99
00000c42: JUMPI
00000c43: PUSH1 0x01
00000c45: PUSH1 0x01
00000c47: PUSH1 0xa0
00000c49: SHL
00000c4a: SUB
00000c4b: DUP6
00000c4c: AND
00000c4d: EXTCODESIZE
00000c4e: PUSH2 0x0c99
00000c51: JUMPI
00000c52: PUSH1 0x40
00000c54: MLOAD
00000c55: PUSH3 0x461bcd
00000c59: PUSH1 0xe5
00000c5b: SHL
00000c5c: DUP2
00000c5d: MSTORE
00000c5e: PUSH1 0x20
00000c60: PUSH1 0x04
00000c62: DUP3
00000c63: ADD
00000c64: MSTORE
00000c65: PUSH1 0x1d
00000c67: PUSH1 0x24
00000c69: DUP3
00000c6a: ADD
00000c6b: MSTORE
00000c6c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00000c8d: PUSH1 0x44
00000c8f: DUP3
00000c90: ADD
00000c91: MSTORE
00000c92: PUSH1 0x64
00000c94: ADD
00000c95: PUSH2 0x035b
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: POP
00000c9b: DUP2
00000c9c: PUSH2 0x06d1
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH2 0x06d1
00000ca4: DUP4
00000ca5: DUP4
00000ca6: DUP2
00000ca7: MLOAD
00000ca8: ISZERO
00000ca9: PUSH2 0x0cb5
00000cac: JUMPI
00000cad: DUP2
00000cae: MLOAD
00000caf: DUP1
00000cb0: DUP4
00000cb1: PUSH1 0x20
00000cb3: ADD
00000cb4: REVERT
00000cb5: JUMPDEST
00000cb6: DUP1
00000cb7: PUSH1 0x40
00000cb9: MLOAD
00000cba: PUSH3 0x461bcd
00000cbe: PUSH1 0xe5
00000cc0: SHL
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x04
00000cc5: ADD
00000cc6: PUSH2 0x035b
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: PUSH2 0x0e13
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: DUP1
00000cd1: CALLDATALOAD
00000cd2: PUSH1 0x01
00000cd4: PUSH1 0x01
00000cd6: PUSH1 0xa0
00000cd8: SHL
00000cd9: SUB
00000cda: DUP2
00000cdb: AND
00000cdc: DUP2
00000cdd: EQ
00000cde: PUSH2 0x0ce6
00000ce1: JUMPI
00000ce2: PUSH1 0x00
00000ce4: DUP1
00000ce5: REVERT
00000ce6: JUMPDEST
00000ce7: SWAP2
00000ce8: SWAP1
00000ce9: POP
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: PUSH4 0x4e487b71
00000cf1: PUSH1 0xe0
00000cf3: SHL
00000cf4: PUSH1 0x00
00000cf6: MSTORE
00000cf7: PUSH1 0x41
00000cf9: PUSH1 0x04
00000cfb: MSTORE
00000cfc: PUSH1 0x24
00000cfe: PUSH1 0x00
00000d00: REVERT
00000d01: JUMPDEST
00000d02: PUSH1 0x00
00000d04: DUP1
00000d05: PUSH1 0x40
00000d07: DUP4
00000d08: DUP6
00000d09: SUB
00000d0a: SLT
00000d0b: ISZERO
00000d0c: PUSH2 0x0d14
00000d0f: JUMPI
00000d10: PUSH1 0x00
00000d12: DUP1
00000d13: REVERT
00000d14: JUMPDEST
00000d15: PUSH2 0x0d1d
00000d18: DUP4
00000d19: PUSH2 0x0ccf
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: SWAP2
00000d1f: POP
00000d20: PUSH1 0x20
00000d22: DUP4
00000d23: ADD
00000d24: CALLDATALOAD
00000d25: PUSH8 0xffffffffffffffff
00000d2e: DUP1
00000d2f: DUP3
00000d30: GT
00000d31: ISZERO
00000d32: PUSH2 0x0d3a
00000d35: JUMPI
00000d36: PUSH1 0x00
00000d38: DUP1
00000d39: REVERT
00000d3a: JUMPDEST
00000d3b: DUP2
00000d3c: DUP6
00000d3d: ADD
00000d3e: SWAP2
00000d3f: POP
00000d40: DUP6
00000d41: PUSH1 0x1f
00000d43: DUP4
00000d44: ADD
00000d45: SLT
00000d46: PUSH2 0x0d4e
00000d49: JUMPI
00000d4a: PUSH1 0x00
00000d4c: DUP1
00000d4d: REVERT
00000d4e: JUMPDEST
00000d4f: DUP2
00000d50: CALLDATALOAD
00000d51: DUP2
00000d52: DUP2
00000d53: GT
00000d54: ISZERO
00000d55: PUSH2 0x0d60
00000d58: JUMPI
00000d59: PUSH2 0x0d60
00000d5c: PUSH2 0x0ceb
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: PUSH1 0x1f
00000d66: DUP3
00000d67: ADD
00000d68: PUSH1 0x1f
00000d6a: NOT
00000d6b: SWAP1
00000d6c: DUP2
00000d6d: AND
00000d6e: PUSH1 0x3f
00000d70: ADD
00000d71: AND
00000d72: DUP2
00000d73: ADD
00000d74: SWAP1
00000d75: DUP4
00000d76: DUP3
00000d77: GT
00000d78: DUP2
00000d79: DUP4
00000d7a: LT
00000d7b: OR
00000d7c: ISZERO
00000d7d: PUSH2 0x0d88
00000d80: JUMPI
00000d81: PUSH2 0x0d88
00000d84: PUSH2 0x0ceb
00000d87: JUMP
00000d88: JUMPDEST
00000d89: DUP2
00000d8a: PUSH1 0x40
00000d8c: MSTORE
00000d8d: DUP3
00000d8e: DUP2
00000d8f: MSTORE
00000d90: DUP9
00000d91: PUSH1 0x20
00000d93: DUP5
00000d94: DUP8
00000d95: ADD
00000d96: ADD
00000d97: GT
00000d98: ISZERO
00000d99: PUSH2 0x0da1
00000d9c: JUMPI
00000d9d: PUSH1 0x00
00000d9f: DUP1
00000da0: REVERT
00000da1: JUMPDEST
00000da2: DUP3
00000da3: PUSH1 0x20
00000da5: DUP7
00000da6: ADD
00000da7: PUSH1 0x20
00000da9: DUP4
00000daa: ADD
00000dab: CALLDATACOPY
00000dac: PUSH1 0x00
00000dae: PUSH1 0x20
00000db0: DUP5
00000db1: DUP4
00000db2: ADD
00000db3: ADD
00000db4: MSTORE
00000db5: DUP1
00000db6: SWAP6
00000db7: POP
00000db8: POP
00000db9: POP
00000dba: POP
00000dbb: POP
00000dbc: POP
00000dbd: SWAP3
00000dbe: POP
00000dbf: SWAP3
00000dc0: SWAP1
00000dc1: POP
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: PUSH1 0x00
00000dc6: JUMPDEST
00000dc7: DUP4
00000dc8: DUP2
00000dc9: LT
00000dca: ISZERO
00000dcb: PUSH2 0x0dde
00000dce: JUMPI
00000dcf: DUP2
00000dd0: DUP2
00000dd1: ADD
00000dd2: MLOAD
00000dd3: DUP4
00000dd4: DUP3
00000dd5: ADD
00000dd6: MSTORE
00000dd7: PUSH1 0x20
00000dd9: ADD
00000dda: PUSH2 0x0dc6
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: POP
00000de0: POP
00000de1: PUSH1 0x00
00000de3: SWAP2
00000de4: ADD
00000de5: MSTORE
00000de6: JUMP
00000de7: JUMPDEST
00000de8: PUSH1 0x00
00000dea: DUP2
00000deb: MLOAD
00000dec: DUP1
00000ded: DUP5
00000dee: MSTORE
00000def: PUSH2 0x0dff
00000df2: DUP2
00000df3: PUSH1 0x20
00000df5: DUP7
00000df6: ADD
00000df7: PUSH1 0x20
00000df9: DUP7
00000dfa: ADD
00000dfb: PUSH2 0x0dc3
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x1f
00000e02: ADD
00000e03: PUSH1 0x1f
00000e05: NOT
00000e06: AND
00000e07: SWAP3
00000e08: SWAP1
00000e09: SWAP3
00000e0a: ADD
00000e0b: PUSH1 0x20
00000e0d: ADD
00000e0e: SWAP3
00000e0f: SWAP2
00000e10: POP
00000e11: POP
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x20
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH1 0x00
00000e1a: PUSH2 0x0ba5
00000e1d: PUSH1 0x20
00000e1f: DUP4
00000e20: ADD
00000e21: DUP5
00000e22: PUSH2 0x0de7
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x00
00000e29: DUP1
00000e2a: DUP4
00000e2b: PUSH1 0x1f
00000e2d: DUP5
00000e2e: ADD
00000e2f: SLT
00000e30: PUSH2 0x0e38
00000e33: JUMPI
00000e34: PUSH1 0x00
00000e36: DUP1
00000e37: REVERT
00000e38: JUMPDEST
00000e39: POP
00000e3a: DUP2
00000e3b: CALLDATALOAD
00000e3c: PUSH8 0xffffffffffffffff
00000e45: DUP2
00000e46: GT
00000e47: ISZERO
00000e48: PUSH2 0x0e50
00000e4b: JUMPI
00000e4c: PUSH1 0x00
00000e4e: DUP1
00000e4f: REVERT
00000e50: JUMPDEST
00000e51: PUSH1 0x20
00000e53: DUP4
00000e54: ADD
00000e55: SWAP2
00000e56: POP
00000e57: DUP4
00000e58: PUSH1 0x20
00000e5a: DUP3
00000e5b: PUSH1 0x05
00000e5d: SHL
00000e5e: DUP6
00000e5f: ADD
00000e60: ADD
00000e61: GT
00000e62: ISZERO
00000e63: PUSH2 0x0e6b
00000e66: JUMPI
00000e67: PUSH1 0x00
00000e69: DUP1
00000e6a: REVERT
00000e6b: JUMPDEST
00000e6c: SWAP3
00000e6d: POP
00000e6e: SWAP3
00000e6f: SWAP1
00000e70: POP
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH1 0x00
00000e75: DUP1
00000e76: PUSH1 0x00
00000e78: PUSH1 0x40
00000e7a: DUP5
00000e7b: DUP7
00000e7c: SUB
00000e7d: SLT
00000e7e: ISZERO
00000e7f: PUSH2 0x0e87
00000e82: JUMPI
00000e83: PUSH1 0x00
00000e85: DUP1
00000e86: REVERT
00000e87: JUMPDEST
00000e88: DUP4
00000e89: CALLDATALOAD
00000e8a: SWAP3
00000e8b: POP
00000e8c: PUSH1 0x20
00000e8e: DUP5
00000e8f: ADD
00000e90: CALLDATALOAD
00000e91: PUSH8 0xffffffffffffffff
00000e9a: DUP2
00000e9b: GT
00000e9c: ISZERO
00000e9d: PUSH2 0x0ea5
00000ea0: JUMPI
00000ea1: PUSH1 0x00
00000ea3: DUP1
00000ea4: REVERT
00000ea5: JUMPDEST
00000ea6: PUSH2 0x0eb1
00000ea9: DUP7
00000eaa: DUP3
00000eab: DUP8
00000eac: ADD
00000ead: PUSH2 0x0e26
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: SWAP5
00000eb3: SWAP8
00000eb4: SWAP1
00000eb5: SWAP7
00000eb6: POP
00000eb7: SWAP4
00000eb8: SWAP5
00000eb9: POP
00000eba: POP
00000ebb: POP
00000ebc: POP
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x00
00000ec1: PUSH1 0x20
00000ec3: DUP3
00000ec4: DUP5
00000ec5: SUB
00000ec6: SLT
00000ec7: ISZERO
00000ec8: PUSH2 0x0ed0
00000ecb: JUMPI
00000ecc: PUSH1 0x00
00000ece: DUP1
00000ecf: REVERT
00000ed0: JUMPDEST
00000ed1: POP
00000ed2: CALLDATALOAD
00000ed3: SWAP2
00000ed4: SWAP1
00000ed5: POP
00000ed6: JUMP
00000ed7: JUMPDEST
00000ed8: PUSH1 0x00
00000eda: DUP1
00000edb: PUSH1 0x00
00000edd: DUP1
00000ede: PUSH1 0x60
00000ee0: DUP6
00000ee1: DUP8
00000ee2: SUB
00000ee3: SLT
00000ee4: ISZERO
00000ee5: PUSH2 0x0eed
00000ee8: JUMPI
00000ee9: PUSH1 0x00
00000eeb: DUP1
00000eec: REVERT
00000eed: JUMPDEST
00000eee: PUSH2 0x0ef6
00000ef1: DUP6
00000ef2: PUSH2 0x0ccf
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: SWAP4
00000ef8: POP
00000ef9: PUSH1 0x20
00000efb: DUP6
00000efc: ADD
00000efd: CALLDATALOAD
00000efe: SWAP3
00000eff: POP
00000f00: PUSH1 0x40
00000f02: DUP6
00000f03: ADD
00000f04: CALLDATALOAD
00000f05: PUSH8 0xffffffffffffffff
00000f0e: DUP2
00000f0f: GT
00000f10: ISZERO
00000f11: PUSH2 0x0f19
00000f14: JUMPI
00000f15: PUSH1 0x00
00000f17: DUP1
00000f18: REVERT
00000f19: JUMPDEST
00000f1a: PUSH2 0x0f25
00000f1d: DUP8
00000f1e: DUP3
00000f1f: DUP9
00000f20: ADD
00000f21: PUSH2 0x0e26
00000f24: JUMP
00000f25: JUMPDEST
00000f26: SWAP6
00000f27: SWAP9
00000f28: SWAP5
00000f29: SWAP8
00000f2a: POP
00000f2b: SWAP6
00000f2c: POP
00000f2d: POP
00000f2e: POP
00000f2f: POP
00000f30: JUMP
00000f31: JUMPDEST
00000f32: PUSH1 0x00
00000f34: DUP1
00000f35: PUSH1 0x40
00000f37: DUP4
00000f38: DUP6
00000f39: SUB
00000f3a: SLT
00000f3b: ISZERO
00000f3c: PUSH2 0x0f44
00000f3f: JUMPI
00000f40: PUSH1 0x00
00000f42: DUP1
00000f43: REVERT
00000f44: JUMPDEST
00000f45: PUSH2 0x0f4d
00000f48: DUP4
00000f49: PUSH2 0x0ccf
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: SWAP5
00000f4f: PUSH1 0x20
00000f51: SWAP4
00000f52: SWAP1
00000f53: SWAP4
00000f54: ADD
00000f55: CALLDATALOAD
00000f56: SWAP4
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x00
00000f5e: DUP1
00000f5f: PUSH1 0x40
00000f61: DUP4
00000f62: DUP6
00000f63: SUB
00000f64: SLT
00000f65: ISZERO
00000f66: PUSH2 0x0f6e
00000f69: JUMPI
00000f6a: PUSH1 0x00
00000f6c: DUP1
00000f6d: REVERT
00000f6e: JUMPDEST
00000f6f: POP
00000f70: POP
00000f71: DUP1
00000f72: CALLDATALOAD
00000f73: SWAP3
00000f74: PUSH1 0x20
00000f76: SWAP1
00000f77: SWAP2
00000f78: ADD
00000f79: CALLDATALOAD
00000f7a: SWAP2
00000f7b: POP
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: PUSH1 0x00
00000f80: PUSH1 0x20
00000f82: DUP3
00000f83: DUP5
00000f84: SUB
00000f85: SLT
00000f86: ISZERO
00000f87: PUSH2 0x0f8f
00000f8a: JUMPI
00000f8b: PUSH1 0x00
00000f8d: DUP1
00000f8e: REVERT
00000f8f: JUMPDEST
00000f90: PUSH2 0x0ba5
00000f93: DUP3
00000f94: PUSH2 0x0ccf
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH4 0x4e487b71
00000f9e: PUSH1 0xe0
00000fa0: SHL
00000fa1: PUSH1 0x00
00000fa3: MSTORE
00000fa4: PUSH1 0x32
00000fa6: PUSH1 0x04
00000fa8: MSTORE
00000fa9: PUSH1 0x24
00000fab: PUSH1 0x00
00000fad: REVERT
00000fae: JUMPDEST
00000faf: PUSH1 0x00
00000fb1: PUSH1 0x01
00000fb3: DUP3
00000fb4: ADD
00000fb5: PUSH2 0x0fce
00000fb8: JUMPI
00000fb9: PUSH4 0x4e487b71
00000fbe: PUSH1 0xe0
00000fc0: SHL
00000fc1: PUSH1 0x00
00000fc3: MSTORE
00000fc4: PUSH1 0x11
00000fc6: PUSH1 0x04
00000fc8: MSTORE
00000fc9: PUSH1 0x24
00000fcb: PUSH1 0x00
00000fcd: REVERT
00000fce: JUMPDEST
00000fcf: POP
00000fd0: PUSH1 0x01
00000fd2: ADD
00000fd3: SWAP1
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x00
00000fd8: PUSH1 0x20
00000fda: DUP3
00000fdb: DUP5
00000fdc: SUB
00000fdd: SLT
00000fde: ISZERO
00000fdf: PUSH2 0x0fe7
00000fe2: JUMPI
00000fe3: PUSH1 0x00
00000fe5: DUP1
00000fe6: REVERT
00000fe7: JUMPDEST
00000fe8: DUP2
00000fe9: MLOAD
00000fea: DUP1
00000feb: ISZERO
00000fec: ISZERO
00000fed: DUP2
00000fee: EQ
00000fef: PUSH2 0x0ba5
00000ff2: JUMPI
00000ff3: PUSH1 0x00
00000ff5: DUP1
00000ff6: REVERT
00000ff7: JUMPDEST
00000ff8: PUSH1 0x00
00000ffa: DUP3
00000ffb: MLOAD
00000ffc: PUSH2 0x1009
00000fff: DUP2
00001000: DUP5
00001001: PUSH1 0x20
00001003: DUP8
00001004: ADD
00001005: PUSH2 0x0dc3
00001008: JUMP
00001009: JUMPDEST
0000100a: SWAP2
0000100b: SWAP1
0000100c: SWAP2
0000100d: ADD
0000100e: SWAP3
0000100f: SWAP2
00001010: POP
00001011: POP
00001012: JUMP
00001013: INVALID
00001014: LOG2
00001015: PUSH5 0x6970667358
0000101b: UNKNOWN(0x22)
0000101c: SLT
0000101d: KECCAK256
0000101e: GASPRICE
0000101f: UNKNOWN(0xDA)
00001020: UNKNOWN(0xDA)
00001021: BALANCE
00001022: UNKNOWN(0xFC)
00001023: SGT
00001024: SHL
00001025: RETURNDATACOPY
00001026: SGT
00001027: UNKNOWN(0xF9)
00001028: SWAP3
00001029: UNKNOWN(0xCC)
0000102a: UNKNOWN(0xC6)
0000102b: UNKNOWN(0xE8)
0000102c: PUSH14 0x264cfbf00eb51fa312a7148a2ff8
0000103b: GAS
0000103c: MUL
0000103d: UNKNOWN(0x4C)
0000103e: PUSH5 0x736f6c6343
00001044: STOP
00001045: ADDMOD
00001046: SGT
00001047: STOP
00001048: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x6701153e323ecb7128eeb38a05a57d61c47e60af62e0fdac7d32a303ab4cac7e
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x6701153e323ecb7128eeb38a05a57d61c47e60af62e0fdac7d32a303ab4cac7e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe2cc8d03",
            "selector": "0xe2cc8d03",
            "calldata_variants": [
                "0xe2cc8d03",
                "0xe2cc8d030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf502e077",
            "selector": "0xf502e077",
            "calldata_variants": [
                "0xf502e077",
                "0xf502e0770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da859b0",
            "selector": "0x8da859b0",
            "calldata_variants": [
                "0x8da859b0",
                "0x8da859b00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95ccea67",
            "selector": "0x95ccea67",
            "calldata_variants": [
                "0x95ccea67",
                "0x95ccea670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd66f7fb",
            "selector": "0xbd66f7fb",
            "calldata_variants": [
                "0xbd66f7fb",
                "0xbd66f7fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc884ef83",
            "selector": "0xc884ef83",
            "calldata_variants": [
                "0xc884ef83",
                "0xc884ef830000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 884,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xf7310c9cffff6ed48f7b880eb75359d5d7c86c3115c204c5a9b74526c385756f
call_targets: 0x63a9fd263688bb3b7c79305cdd5d91fb064d7865
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf7310c9cffff6ed48f7b880eb75359d5d7c86c3115c204c5a9b74526c385756f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x63a9fd263688bb3b7c79305cdd5d91fb064d7865"
    ],
    "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": "0xe2cc8d03",
            "selector": "0xe2cc8d03",
            "calldata_variants": [
                "0xe2cc8d03",
                "0xe2cc8d030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf502e077",
            "selector": "0xf502e077",
            "calldata_variants": [
                "0xf502e077",
                "0xf502e0770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da859b0",
            "selector": "0x8da859b0",
            "calldata_variants": [
                "0x8da859b0",
                "0x8da859b00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95ccea67",
            "selector": "0x95ccea67",
            "calldata_variants": [
                "0x95ccea67",
                "0x95ccea670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd66f7fb",
            "selector": "0xbd66f7fb",
            "calldata_variants": [
                "0xbd66f7fb",
                "0xbd66f7fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc884ef83",
            "selector": "0xc884ef83",
            "calldata_variants": [
                "0xc884ef83",
                "0xc884ef830000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3040,
            "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: 0xf7310c9cffff6ed48f7b880eb75359d5d7c86c3115c204c5a9b74526c385756f
call_targets: 0x63a9fd263688bb3b7c79305cdd5d91fb064d7865
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf7310c9cffff6ed48f7b880eb75359d5d7c86c3115c204c5a9b74526c385756f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x63a9fd263688bb3b7c79305cdd5d91fb064d7865"
    ],
    "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": "0xe2cc8d03",
            "selector": "0xe2cc8d03",
            "calldata_variants": [
                "0xe2cc8d03",
                "0xe2cc8d030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf502e077",
            "selector": "0xf502e077",
            "calldata_variants": [
                "0xf502e077",
                "0xf502e0770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da859b0",
            "selector": "0x8da859b0",
            "calldata_variants": [
                "0x8da859b0",
                "0x8da859b00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95ccea67",
            "selector": "0x95ccea67",
            "calldata_variants": [
                "0x95ccea67",
                "0x95ccea670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbd66f7fb",
            "selector": "0xbd66f7fb",
            "calldata_variants": [
                "0xbd66f7fb",
                "0xbd66f7fb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc884ef83",
            "selector": "0xc884ef83",
            "calldata_variants": [
                "0xc884ef83",
                "0xc884ef830000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3040,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no —
view
evidence_json 
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}