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

Analysis Run

019ba9bd-9e4d-73ec-81d3-a5bdf185101a

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
37968 artifact.fetch complete 1 / 3 3 months ago
37969 proxy.resolve complete 1 / 3 3 months ago
37970 tool.cast_disasm complete 1 / 3 3 months ago
37971 analysis.bundle complete 1 / 3 3 months ago
37972 capability.graph complete 1 / 3 3 months ago
37973 detector.run complete 1 / 3 3 months ago
37974 validation.fork complete 1 / 3 3 months ago
38160 report.consolidate complete 1 / 6 3 months ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no not_proxy
Implementation:
—
Verified Source: yes
Proxy evidence 
{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
yes
Summary
Reviewed first-party contracts in AUDIT_BUNDLE.txt (DelayedWETH, ProxyAdminOwnedBase, Storage, Constants, WETH98, ReinitializableBase); no exploitable issues found in the specified categories.
View stdout 
{"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE.txt (DelayedWETH, ProxyAdminOwnedBase, Storage, Constants, WETH98, ReinitializableBase); no exploitable issues found in the specified categories.","findings":[]}
View stderr 
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-m34r6mdi
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019baa44-f5b6-7d32-85de-d3560b23d215
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Preparing to read AUDIT_BUNDLE**
exec
/bin/bash -lc ls in /tmp/codex-m34r6mdi succeeded in 5ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
interfaces
@openzeppelin
src
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-m34r6mdi succeeded in 7ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: interfaces/L1/IProxyAdminOwnedBase.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import { IProxyAdmin } from "interfaces/universal/IProxyAdmin.sol";

interface IProxyAdminOwnedBase {
    error ProxyAdminOwnedBase_NotSharedProxyAdminOwner();
    error ProxyAdminOwnedBase_NotProxyAdminOwner();
    error ProxyAdminOwnedBase_NotProxyAdmin();
    error ProxyAdminOwnedBase_NotProxyAdminOrProxyAdminOwner();
    error ProxyAdminOwnedBase_ProxyAdminNotFound();
    error ProxyAdminOwnedBase_NotResolvedDelegateProxy();

    function proxyAdmin() external view returns (IProxyAdmin);


thinking
**Reviewing DelayedWETH reentrancy and access controls**
thinking
**Assessing reentrancy and configuration risks in DelayedWETH**

I'm thinking through the possibility of reentrancy through the external paused() call and owner-controlled functions that can drain funds. The systemConfig can be malicious if admin sets it, but admin is trusted here. Also, misconfiguration like setting systemConfig to zero could freeze withdrawals, which isn’t an exploit but a risk. The transfer in withdraw uses 2300 gas which can cause denial-of-service but not a vulnerability. Overall, no exploitable issues stand out after reviewing key contracts and behaviors.
codex
{"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE.txt (DelayedWETH, ProxyAdminOwnedBase, Storage, Constants, WETH98, ReinitializableBase); no exploitable issues found in the specified categories.","findings":[]}
tokens used
22,782
Metadata 
{
    "codex": {
        "ran_at": "2026-01-10T23:38:29.671323+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 16,
        "import_count": 15,
        "first_party_contracts_count": 14
    },
    "summary": "Reviewed first-party contracts in AUDIT_BUNDLE.txt (DelayedWETH, ProxyAdminOwnedBase, Storage, Constants, WETH98, ReinitializableBase); no exploitable issues found in the specified categories.",
    "raw_final": {
        "summary": "Reviewed first-party contracts in AUDIT_BUNDLE.txt (DelayedWETH, ProxyAdminOwnedBase, Storage, Constants, WETH98, ReinitializableBase); no exploitable issues found in the specified categories.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
0
Total opcodes
2749
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 0x019a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0e30db0
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0e30db0
0000003a: EQ
0000003b: PUSH2 0x01a9
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdad544e0
00000045: EQ
00000046: PUSH2 0x0585
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdd62ed3e
00000050: EQ
00000051: PUSH2 0x059a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3fef3a3
0000005b: EQ
0000005c: PUSH2 0x05ed
0000005f: JUMPI
00000060: PUSH2 0x01a9
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa9059cbb
0000006b: EQ
0000006c: PUSH2 0x04f1
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc4d66de8
00000076: EQ
00000077: PUSH2 0x0511
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcd47bde1
00000081: EQ
00000082: PUSH2 0x0531
00000085: JUMPI
00000086: PUSH2 0x01a9
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x95d89b41
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x95d89b41
0000009c: EQ
0000009d: PUSH2 0x046b
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x977a5ec5
000000a7: EQ
000000a8: PUSH2 0x04b1
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa7e21e80
000000b2: EQ
000000b3: PUSH2 0x04d1
000000b6: JUMPI
000000b7: PUSH2 0x01a9
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x70a08231
000000c2: EQ
000000c3: PUSH2 0x03f3
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x79502c55
000000cd: EQ
000000ce: PUSH2 0x0436
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x7eee288d
000000d8: EQ
000000d9: PUSH2 0x044b
000000dc: JUMPI
000000dd: PUSH2 0x01a9
000000e0: JUMP
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x313ce567
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x3e47158c
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x3e47158c
000000fe: EQ
000000ff: PUSH2 0x0362
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x54fd4d50
00000109: EQ
0000010a: PUSH2 0x0377
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6a42b8f8
00000114: EQ
00000115: PUSH2 0x03c0
00000118: JUMPI
00000119: PUSH2 0x01a9
0000011c: JUMP
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x313ce567
00000124: EQ
00000125: PUSH2 0x02b6
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x33d7e2bd
0000012f: EQ
00000130: PUSH2 0x02dd
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x38d38c97
0000013a: EQ
0000013b: PUSH2 0x032f
0000013e: JUMPI
0000013f: PUSH2 0x01a9
00000142: JUMP
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x18160ddd
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x18160ddd
00000155: EQ
00000156: PUSH2 0x0259
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x23b872dd
00000160: EQ
00000161: PUSH2 0x0276
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x2e1a7d4d
0000016b: EQ
0000016c: PUSH2 0x0296
0000016f: JUMPI
00000170: PUSH2 0x01a9
00000173: JUMP
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x06fdde03
0000017b: EQ
0000017c: PUSH2 0x01b1
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x095ea7b3
00000186: EQ
00000187: PUSH2 0x0209
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x0ca35682
00000191: EQ
00000192: PUSH2 0x0239
00000195: JUMPI
00000196: PUSH2 0x01a9
00000199: JUMP
0000019a: JUMPDEST
0000019b: CALLDATASIZE
0000019c: PUSH2 0x01a9
0000019f: JUMPI
000001a0: PUSH2 0x01a7
000001a3: PUSH2 0x060d
000001a6: JUMP
000001a7: JUMPDEST
000001a8: STOP
000001a9: JUMPDEST
000001aa: PUSH2 0x01a7
000001ad: PUSH2 0x060d
000001b0: JUMP
000001b1: JUMPDEST
000001b2: CALLVALUE
000001b3: DUP1
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: POP
000001bf: PUSH1 0x40
000001c1: DUP1
000001c2: MLOAD
000001c3: DUP1
000001c4: DUP3
000001c5: ADD
000001c6: SWAP1
000001c7: SWAP2
000001c8: MSTORE
000001c9: PUSH1 0x0d
000001cb: DUP2
000001cc: MSTORE
000001cd: PUSH32 0x5772617070656420457468657200000000000000000000000000000000000000
000001ee: PUSH1 0x20
000001f0: DUP3
000001f1: ADD
000001f2: MSTORE
000001f3: JUMPDEST
000001f4: PUSH1 0x40
000001f6: MLOAD
000001f7: PUSH2 0x0200
000001fa: SWAP2
000001fb: SWAP1
000001fc: PUSH2 0x14c9
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH1 0x40
00000203: MLOAD
00000204: DUP1
00000205: SWAP2
00000206: SUB
00000207: SWAP1
00000208: RETURN
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: POP
00000217: PUSH2 0x0229
0000021a: PUSH2 0x0224
0000021d: CALLDATASIZE
0000021e: PUSH1 0x04
00000220: PUSH2 0x155e
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH2 0x0668
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: SWAP1
0000022e: ISZERO
0000022f: ISZERO
00000230: DUP2
00000231: MSTORE
00000232: PUSH1 0x20
00000234: ADD
00000235: PUSH2 0x0200
00000238: JUMP
00000239: JUMPDEST
0000023a: CALLVALUE
0000023b: DUP1
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: POP
00000247: PUSH2 0x01a7
0000024a: PUSH2 0x0254
0000024d: CALLDATASIZE
0000024e: PUSH1 0x04
00000250: PUSH2 0x158a
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH2 0x06e1
00000258: JUMP
00000259: JUMPDEST
0000025a: CALLVALUE
0000025b: DUP1
0000025c: ISZERO
0000025d: PUSH2 0x0265
00000260: JUMPI
00000261: PUSH1 0x00
00000263: DUP1
00000264: REVERT
00000265: JUMPDEST
00000266: POP
00000267: SELFBALANCE
00000268: JUMPDEST
00000269: PUSH1 0x40
0000026b: MLOAD
0000026c: SWAP1
0000026d: DUP2
0000026e: MSTORE
0000026f: PUSH1 0x20
00000271: ADD
00000272: PUSH2 0x0200
00000275: JUMP
00000276: JUMPDEST
00000277: CALLVALUE
00000278: DUP1
00000279: ISZERO
0000027a: PUSH2 0x0282
0000027d: JUMPI
0000027e: PUSH1 0x00
00000280: DUP1
00000281: REVERT
00000282: JUMPDEST
00000283: POP
00000284: PUSH2 0x0229
00000287: PUSH2 0x0291
0000028a: CALLDATASIZE
0000028b: PUSH1 0x04
0000028d: PUSH2 0x15a3
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x084d
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 0x01a7
000002a7: PUSH2 0x02b1
000002aa: CALLDATASIZE
000002ab: PUSH1 0x04
000002ad: PUSH2 0x158a
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH2 0x0a20
000002b5: JUMP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02cb
000002c7: PUSH1 0x12
000002c9: DUP2
000002ca: JUMP
000002cb: JUMPDEST
000002cc: PUSH1 0x40
000002ce: MLOAD
000002cf: PUSH1 0xff
000002d1: SWAP1
000002d2: SWAP2
000002d3: AND
000002d4: DUP2
000002d5: MSTORE
000002d6: PUSH1 0x20
000002d8: ADD
000002d9: PUSH2 0x0200
000002dc: JUMP
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH1 0x04
000002ed: SLOAD
000002ee: PUSH2 0x030a
000002f1: SWAP1
000002f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000307: AND
00000308: DUP2
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000323: SWAP1
00000324: SWAP2
00000325: AND
00000326: DUP2
00000327: MSTORE
00000328: PUSH1 0x20
0000032a: ADD
0000032b: PUSH2 0x0200
0000032e: JUMP
0000032f: JUMPDEST
00000330: CALLVALUE
00000331: DUP1
00000332: ISZERO
00000333: PUSH2 0x033b
00000336: JUMPI
00000337: PUSH1 0x00
00000339: DUP1
0000033a: REVERT
0000033b: JUMPDEST
0000033c: POP
0000033d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
0000035e: PUSH2 0x02cb
00000361: JUMP
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: POP
00000370: PUSH2 0x030a
00000373: PUSH2 0x0a2d
00000376: JUMP
00000377: JUMPDEST
00000378: CALLVALUE
00000379: DUP1
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH2 0x01f3
00000388: PUSH1 0x40
0000038a: MLOAD
0000038b: DUP1
0000038c: PUSH1 0x40
0000038e: ADD
0000038f: PUSH1 0x40
00000391: MSTORE
00000392: DUP1
00000393: PUSH1 0x05
00000395: DUP2
00000396: MSTORE
00000397: PUSH1 0x20
00000399: ADD
0000039a: PUSH32 0x312e352e30000000000000000000000000000000000000000000000000000000
000003bb: DUP2
000003bc: MSTORE
000003bd: POP
000003be: DUP2
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH32 0x0000000000000000000000000000000000000000000000000000000000049d40
000003ef: PUSH2 0x0268
000003f2: JUMP
000003f3: JUMPDEST
000003f4: CALLVALUE
000003f5: DUP1
000003f6: ISZERO
000003f7: PUSH2 0x03ff
000003fa: JUMPI
000003fb: PUSH1 0x00
000003fd: DUP1
000003fe: REVERT
000003ff: JUMPDEST
00000400: POP
00000401: PUSH2 0x0268
00000404: PUSH2 0x040e
00000407: CALLDATASIZE
00000408: PUSH1 0x04
0000040a: PUSH2 0x15e4
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000424: AND
00000425: PUSH1 0x00
00000427: SWAP1
00000428: DUP2
00000429: MSTORE
0000042a: PUSH1 0x01
0000042c: PUSH1 0x20
0000042e: MSTORE
0000042f: PUSH1 0x40
00000431: SWAP1
00000432: KECCAK256
00000433: SLOAD
00000434: SWAP1
00000435: JUMP
00000436: JUMPDEST
00000437: CALLVALUE
00000438: DUP1
00000439: ISZERO
0000043a: PUSH2 0x0442
0000043d: JUMPI
0000043e: PUSH1 0x00
00000440: DUP1
00000441: REVERT
00000442: JUMPDEST
00000443: POP
00000444: PUSH2 0x030a
00000447: PUSH2 0x0c38
0000044a: JUMP
0000044b: JUMPDEST
0000044c: CALLVALUE
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: PUSH2 0x01a7
0000045c: PUSH2 0x0466
0000045f: CALLDATASIZE
00000460: PUSH1 0x04
00000462: PUSH2 0x155e
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH2 0x0cd0
0000046a: JUMP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0477
00000472: JUMPI
00000473: PUSH1 0x00
00000475: DUP1
00000476: REVERT
00000477: JUMPDEST
00000478: POP
00000479: PUSH1 0x40
0000047b: DUP1
0000047c: MLOAD
0000047d: DUP1
0000047e: DUP3
0000047f: ADD
00000480: SWAP1
00000481: SWAP2
00000482: MSTORE
00000483: PUSH1 0x04
00000485: DUP2
00000486: MSTORE
00000487: PUSH32 0x5745544800000000000000000000000000000000000000000000000000000000
000004a8: PUSH1 0x20
000004aa: DUP3
000004ab: ADD
000004ac: MSTORE
000004ad: PUSH2 0x01f3
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH2 0x01a7
000004c2: PUSH2 0x04cc
000004c5: CALLDATASIZE
000004c6: PUSH1 0x04
000004c8: PUSH2 0x155e
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH2 0x0d24
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: DUP1
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: POP
000004df: PUSH2 0x01a7
000004e2: PUSH2 0x04ec
000004e5: CALLDATASIZE
000004e6: PUSH1 0x04
000004e8: PUSH2 0x15e4
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH2 0x0e33
000004f0: JUMP
000004f1: JUMPDEST
000004f2: CALLVALUE
000004f3: DUP1
000004f4: ISZERO
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: POP
000004ff: PUSH2 0x0229
00000502: PUSH2 0x050c
00000505: CALLDATASIZE
00000506: PUSH1 0x04
00000508: PUSH2 0x155e
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH2 0x0e63
00000510: JUMP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x01a7
00000522: PUSH2 0x052c
00000525: CALLDATASIZE
00000526: PUSH1 0x04
00000528: PUSH2 0x15e4
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH2 0x0e77
00000530: JUMP
00000531: JUMPDEST
00000532: CALLVALUE
00000533: DUP1
00000534: ISZERO
00000535: PUSH2 0x053d
00000538: JUMPI
00000539: PUSH1 0x00
0000053b: DUP1
0000053c: REVERT
0000053d: JUMPDEST
0000053e: POP
0000053f: PUSH2 0x0570
00000542: PUSH2 0x054c
00000545: CALLDATASIZE
00000546: PUSH1 0x04
00000548: PUSH2 0x1601
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x03
0000054f: PUSH1 0x20
00000551: SWAP1
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x00
00000556: SWAP3
00000557: DUP4
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: DUP1
0000055c: DUP5
0000055d: KECCAK256
0000055e: SWAP1
0000055f: SWAP2
00000560: MSTORE
00000561: SWAP1
00000562: DUP3
00000563: MSTORE
00000564: SWAP1
00000565: KECCAK256
00000566: DUP1
00000567: SLOAD
00000568: PUSH1 0x01
0000056a: SWAP1
0000056b: SWAP2
0000056c: ADD
0000056d: SLOAD
0000056e: DUP3
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH1 0x40
00000573: DUP1
00000574: MLOAD
00000575: SWAP3
00000576: DUP4
00000577: MSTORE
00000578: PUSH1 0x20
0000057a: DUP4
0000057b: ADD
0000057c: SWAP2
0000057d: SWAP1
0000057e: SWAP2
0000057f: MSTORE
00000580: ADD
00000581: PUSH2 0x0200
00000584: JUMP
00000585: JUMPDEST
00000586: CALLVALUE
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: PUSH2 0x030a
00000596: PUSH2 0x101e
00000599: JUMP
0000059a: JUMPDEST
0000059b: CALLVALUE
0000059c: DUP1
0000059d: ISZERO
0000059e: PUSH2 0x05a6
000005a1: JUMPI
000005a2: PUSH1 0x00
000005a4: DUP1
000005a5: REVERT
000005a6: JUMPDEST
000005a7: POP
000005a8: PUSH2 0x0268
000005ab: PUSH2 0x05b5
000005ae: CALLDATASIZE
000005af: PUSH1 0x04
000005b1: PUSH2 0x1601
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cb: SWAP2
000005cc: DUP3
000005cd: AND
000005ce: PUSH1 0x00
000005d0: SWAP1
000005d1: DUP2
000005d2: MSTORE
000005d3: PUSH1 0x02
000005d5: PUSH1 0x20
000005d7: SWAP1
000005d8: DUP2
000005d9: MSTORE
000005da: PUSH1 0x40
000005dc: DUP1
000005dd: DUP4
000005de: KECCAK256
000005df: SWAP4
000005e0: SWAP1
000005e1: SWAP5
000005e2: AND
000005e3: DUP3
000005e4: MSTORE
000005e5: SWAP2
000005e6: SWAP1
000005e7: SWAP2
000005e8: MSTORE
000005e9: KECCAK256
000005ea: SLOAD
000005eb: SWAP1
000005ec: JUMP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x01a7
000005fe: PUSH2 0x0608
00000601: CALLDATASIZE
00000602: PUSH1 0x04
00000604: PUSH2 0x155e
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH2 0x1072
0000060c: JUMP
0000060d: JUMPDEST
0000060e: CALLER
0000060f: PUSH1 0x00
00000611: SWAP1
00000612: DUP2
00000613: MSTORE
00000614: PUSH1 0x01
00000616: PUSH1 0x20
00000618: MSTORE
00000619: PUSH1 0x40
0000061b: DUP2
0000061c: KECCAK256
0000061d: DUP1
0000061e: SLOAD
0000061f: CALLVALUE
00000620: SWAP3
00000621: SWAP1
00000622: PUSH2 0x062c
00000625: SWAP1
00000626: DUP5
00000627: SWAP1
00000628: PUSH2 0x1669
0000062b: JUMP
0000062c: JUMPDEST
0000062d: SWAP1
0000062e: SWAP2
0000062f: SSTORE
00000630: POP
00000631: POP
00000632: PUSH1 0x40
00000634: MLOAD
00000635: CALLVALUE
00000636: DUP2
00000637: MSTORE
00000638: CALLER
00000639: SWAP1
0000063a: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000065b: SWAP1
0000065c: PUSH1 0x20
0000065e: ADD
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: DUP1
00000663: SWAP2
00000664: SUB
00000665: SWAP1
00000666: LOG2
00000667: JUMP
00000668: JUMPDEST
00000669: CALLER
0000066a: PUSH1 0x00
0000066c: DUP2
0000066d: DUP2
0000066e: MSTORE
0000066f: PUSH1 0x02
00000671: PUSH1 0x20
00000673: SWAP1
00000674: DUP2
00000675: MSTORE
00000676: PUSH1 0x40
00000678: DUP1
00000679: DUP4
0000067a: KECCAK256
0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000690: DUP8
00000691: AND
00000692: DUP1
00000693: DUP6
00000694: MSTORE
00000695: SWAP3
00000696: MSTORE
00000697: DUP1
00000698: DUP4
00000699: KECCAK256
0000069a: DUP6
0000069b: SWAP1
0000069c: SSTORE
0000069d: MLOAD
0000069e: SWAP2
0000069f: SWAP3
000006a0: SWAP1
000006a1: SWAP2
000006a2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000006c3: SWAP1
000006c4: PUSH2 0x06d0
000006c7: SWAP1
000006c8: DUP7
000006c9: DUP2
000006ca: MSTORE
000006cb: PUSH1 0x20
000006cd: ADD
000006ce: SWAP1
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: SWAP2
000006d6: SUB
000006d7: SWAP1
000006d8: LOG3
000006d9: POP
000006da: PUSH1 0x01
000006dc: SWAP3
000006dd: SWAP2
000006de: POP
000006df: POP
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH2 0x06e9
000006e5: PUSH2 0x101e
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ff: AND
00000700: CALLER
00000701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000716: AND
00000717: EQ
00000718: PUSH2 0x0782
0000071b: JUMPI
0000071c: PUSH1 0x40
0000071e: MLOAD
0000071f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x20
00000744: PUSH1 0x04
00000746: DUP3
00000747: ADD
00000748: MSTORE
00000749: PUSH1 0x16
0000074b: PUSH1 0x24
0000074d: DUP3
0000074e: ADD
0000074f: MSTORE
00000750: PUSH32 0x44656c61796564574554483a206e6f74206f776e657200000000000000000000
00000771: PUSH1 0x44
00000773: DUP3
00000774: ADD
00000775: MSTORE
00000776: PUSH1 0x64
00000778: ADD
00000779: JUMPDEST
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: DUP1
0000077e: SWAP2
0000077f: SUB
00000780: SWAP1
00000781: REVERT
00000782: JUMPDEST
00000783: PUSH1 0x00
00000785: SELFBALANCE
00000786: DUP3
00000787: LT
00000788: PUSH2 0x0791
0000078b: JUMPI
0000078c: SELFBALANCE
0000078d: PUSH2 0x0793
00000790: JUMP
00000791: JUMPDEST
00000792: DUP2
00000793: JUMPDEST
00000794: PUSH1 0x40
00000796: MLOAD
00000797: SWAP1
00000798: SWAP2
00000799: POP
0000079a: PUSH1 0x00
0000079c: SWAP1
0000079d: CALLER
0000079e: SWAP1
0000079f: DUP4
000007a0: SWAP1
000007a1: DUP4
000007a2: DUP2
000007a3: DUP2
000007a4: DUP2
000007a5: DUP6
000007a6: DUP8
000007a7: GAS
000007a8: CALL
000007a9: SWAP3
000007aa: POP
000007ab: POP
000007ac: POP
000007ad: RETURNDATASIZE
000007ae: DUP1
000007af: PUSH1 0x00
000007b1: DUP2
000007b2: EQ
000007b3: PUSH2 0x07d8
000007b6: JUMPI
000007b7: PUSH1 0x40
000007b9: MLOAD
000007ba: SWAP2
000007bb: POP
000007bc: PUSH1 0x1f
000007be: NOT
000007bf: PUSH1 0x3f
000007c1: RETURNDATASIZE
000007c2: ADD
000007c3: AND
000007c4: DUP3
000007c5: ADD
000007c6: PUSH1 0x40
000007c8: MSTORE
000007c9: RETURNDATASIZE
000007ca: DUP3
000007cb: MSTORE
000007cc: RETURNDATASIZE
000007cd: PUSH1 0x00
000007cf: PUSH1 0x20
000007d1: DUP5
000007d2: ADD
000007d3: RETURNDATACOPY
000007d4: PUSH2 0x07dd
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH1 0x60
000007db: SWAP2
000007dc: POP
000007dd: JUMPDEST
000007de: POP
000007df: POP
000007e0: SWAP1
000007e1: POP
000007e2: DUP1
000007e3: PUSH2 0x0848
000007e6: JUMPI
000007e7: PUSH1 0x40
000007e9: MLOAD
000007ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: PUSH1 0x04
00000811: DUP3
00000812: ADD
00000813: MSTORE
00000814: PUSH1 0x1b
00000816: PUSH1 0x24
00000818: DUP3
00000819: ADD
0000081a: MSTORE
0000081b: PUSH32 0x44656c61796564574554483a207265636f766572206661696c65640000000000
0000083c: PUSH1 0x44
0000083e: DUP3
0000083f: ADD
00000840: MSTORE
00000841: PUSH1 0x64
00000843: ADD
00000844: PUSH2 0x0779
00000847: JUMP
00000848: JUMPDEST
00000849: POP
0000084a: POP
0000084b: POP
0000084c: JUMP
0000084d: JUMPDEST
0000084e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000863: DUP4
00000864: AND
00000865: PUSH1 0x00
00000867: SWAP1
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x01
0000086c: PUSH1 0x20
0000086e: MSTORE
0000086f: PUSH1 0x40
00000871: DUP2
00000872: KECCAK256
00000873: SLOAD
00000874: DUP3
00000875: GT
00000876: ISZERO
00000877: PUSH2 0x087f
0000087a: JUMPI
0000087b: PUSH1 0x00
0000087d: DUP1
0000087e: REVERT
0000087f: JUMPDEST
00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000895: DUP5
00000896: AND
00000897: PUSH1 0x00
00000899: DUP2
0000089a: DUP2
0000089b: MSTORE
0000089c: PUSH1 0x02
0000089e: PUSH1 0x20
000008a0: SWAP1
000008a1: DUP2
000008a2: MSTORE
000008a3: PUSH1 0x40
000008a5: DUP1
000008a6: DUP4
000008a7: KECCAK256
000008a8: CALLER
000008a9: DUP1
000008aa: DUP6
000008ab: MSTORE
000008ac: SWAP3
000008ad: MSTORE
000008ae: SWAP1
000008af: SWAP2
000008b0: KECCAK256
000008b1: SLOAD
000008b2: SWAP2
000008b3: EQ
000008b4: DUP1
000008b5: ISZERO
000008b6: SWAP1
000008b7: PUSH2 0x08e0
000008ba: JUMPI
000008bb: POP
000008bc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000008dd: DUP2
000008de: EQ
000008df: ISZERO
000008e0: JUMPDEST
000008e1: ISZERO
000008e2: PUSH2 0x0938
000008e5: JUMPI
000008e6: DUP3
000008e7: DUP2
000008e8: LT
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000908: DUP6
00000909: AND
0000090a: PUSH1 0x00
0000090c: SWAP1
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x02
00000911: PUSH1 0x20
00000913: SWAP1
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x40
00000918: DUP1
00000919: DUP4
0000091a: KECCAK256
0000091b: CALLER
0000091c: DUP5
0000091d: MSTORE
0000091e: SWAP1
0000091f: SWAP2
00000920: MSTORE
00000921: DUP2
00000922: KECCAK256
00000923: DUP1
00000924: SLOAD
00000925: DUP6
00000926: SWAP3
00000927: SWAP1
00000928: PUSH2 0x0932
0000092b: SWAP1
0000092c: DUP5
0000092d: SWAP1
0000092e: PUSH2 0x1681
00000931: JUMP
00000932: JUMPDEST
00000933: SWAP1
00000934: SWAP2
00000935: SSTORE
00000936: POP
00000937: POP
00000938: JUMPDEST
00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094e: DUP6
0000094f: AND
00000950: PUSH1 0x00
00000952: SWAP1
00000953: DUP2
00000954: MSTORE
00000955: PUSH1 0x01
00000957: PUSH1 0x20
00000959: MSTORE
0000095a: PUSH1 0x40
0000095c: DUP2
0000095d: KECCAK256
0000095e: DUP1
0000095f: SLOAD
00000960: DUP6
00000961: SWAP3
00000962: SWAP1
00000963: PUSH2 0x096d
00000966: SWAP1
00000967: DUP5
00000968: SWAP1
00000969: PUSH2 0x1681
0000096c: JUMP
0000096d: JUMPDEST
0000096e: SWAP1
0000096f: SWAP2
00000970: SSTORE
00000971: POP
00000972: POP
00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000988: DUP5
00000989: AND
0000098a: PUSH1 0x00
0000098c: SWAP1
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x01
00000991: PUSH1 0x20
00000993: MSTORE
00000994: PUSH1 0x40
00000996: DUP2
00000997: KECCAK256
00000998: DUP1
00000999: SLOAD
0000099a: DUP6
0000099b: SWAP3
0000099c: SWAP1
0000099d: PUSH2 0x09a7
000009a0: SWAP1
000009a1: DUP5
000009a2: SWAP1
000009a3: PUSH2 0x1669
000009a6: JUMP
000009a7: JUMPDEST
000009a8: SWAP3
000009a9: POP
000009aa: POP
000009ab: DUP2
000009ac: SWAP1
000009ad: SSTORE
000009ae: POP
000009af: DUP4
000009b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c5: AND
000009c6: DUP6
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000009fe: DUP6
000009ff: PUSH1 0x40
00000a01: MLOAD
00000a02: PUSH2 0x0a0d
00000a05: SWAP2
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x20
00000a0a: ADD
00000a0b: SWAP1
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH1 0x40
00000a10: MLOAD
00000a11: DUP1
00000a12: SWAP2
00000a13: SUB
00000a14: SWAP1
00000a15: LOG3
00000a16: POP
00000a17: PUSH1 0x01
00000a19: SWAP5
00000a1a: SWAP4
00000a1b: POP
00000a1c: POP
00000a1d: POP
00000a1e: POP
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: PUSH2 0x0a2a
00000a24: CALLER
00000a25: DUP3
00000a26: PUSH2 0x1072
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: POP
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x00
00000a30: DUP1
00000a31: PUSH2 0x0a58
00000a34: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000a55: SLOAD
00000a56: SWAP1
00000a57: JUMP
00000a58: JUMPDEST
00000a59: SWAP1
00000a5a: POP
00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a70: DUP2
00000a71: AND
00000a72: ISZERO
00000a73: PUSH2 0x0a7b
00000a76: JUMPI
00000a77: SWAP2
00000a78: SWAP1
00000a79: POP
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: PUSH1 0x40
00000a7e: MLOAD
00000a7f: DUP1
00000a80: PUSH1 0x40
00000a82: ADD
00000a83: PUSH1 0x40
00000a85: MSTORE
00000a86: DUP1
00000a87: PUSH1 0x1a
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000
00000aaf: DUP2
00000ab0: MSTORE
00000ab1: POP
00000ab2: MLOAD
00000ab3: PUSH1 0x02
00000ab5: PUSH2 0x0abe
00000ab8: SWAP2
00000ab9: SWAP1
00000aba: PUSH2 0x1698
00000abd: JUMP
00000abe: JUMPDEST
00000abf: PUSH1 0x40
00000ac1: DUP1
00000ac2: MLOAD
00000ac3: ADDRESS
00000ac4: PUSH1 0x20
00000ac6: DUP3
00000ac7: ADD
00000ac8: MSTORE
00000ac9: PUSH1 0x00
00000acb: SWAP2
00000acc: DUP2
00000acd: ADD
00000ace: SWAP2
00000acf: SWAP1
00000ad0: SWAP2
00000ad1: MSTORE
00000ad2: PUSH32 0x4f564d5f4c3143726f7373446f6d61696e4d657373656e676572000000000000
00000af3: SWAP2
00000af4: SWAP1
00000af5: SWAP2
00000af6: OR
00000af7: SWAP1
00000af8: PUSH2 0x0b19
00000afb: SWAP1
00000afc: PUSH1 0x60
00000afe: ADD
00000aff: JUMPDEST
00000b00: PUSH1 0x40
00000b02: MLOAD
00000b03: PUSH1 0x20
00000b05: DUP2
00000b06: DUP4
00000b07: SUB
00000b08: SUB
00000b09: DUP2
00000b0a: MSTORE
00000b0b: SWAP1
00000b0c: PUSH1 0x40
00000b0e: MSTORE
00000b0f: DUP1
00000b10: MLOAD
00000b11: SWAP1
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: KECCAK256
00000b16: SLOAD
00000b17: SWAP1
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: EQ
00000b1b: PUSH2 0x0b50
00000b1e: JUMPI
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH32 0x54e433cd00000000000000000000000000000000000000000000000000000000
00000b43: DUP2
00000b44: MSTORE
00000b45: PUSH1 0x04
00000b47: ADD
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: DUP1
00000b4c: SWAP2
00000b4d: SUB
00000b4e: SWAP1
00000b4f: REVERT
00000b50: JUMPDEST
00000b51: PUSH1 0x40
00000b53: DUP1
00000b54: MLOAD
00000b55: ADDRESS
00000b56: PUSH1 0x20
00000b58: DUP3
00000b59: ADD
00000b5a: MSTORE
00000b5b: PUSH1 0x01
00000b5d: SWAP2
00000b5e: DUP2
00000b5f: ADD
00000b60: SWAP2
00000b61: SWAP1
00000b62: SWAP2
00000b63: MSTORE
00000b64: PUSH1 0x00
00000b66: SWAP1
00000b67: PUSH2 0x0b72
00000b6a: SWAP1
00000b6b: PUSH1 0x60
00000b6d: ADD
00000b6e: PUSH2 0x0aff
00000b71: JUMP
00000b72: JUMPDEST
00000b73: SWAP1
00000b74: POP
00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8a: DUP2
00000b8b: AND
00000b8c: ISZERO
00000b8d: PUSH2 0x0c06
00000b90: JUMPI
00000b91: DUP1
00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba7: AND
00000ba8: PUSH4 0x8da5cb5b
00000bad: PUSH1 0x40
00000baf: MLOAD
00000bb0: DUP2
00000bb1: PUSH4 0xffffffff
00000bb6: AND
00000bb7: PUSH1 0xe0
00000bb9: SHL
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x04
00000bbe: ADD
00000bbf: PUSH1 0x20
00000bc1: PUSH1 0x40
00000bc3: MLOAD
00000bc4: DUP1
00000bc5: DUP4
00000bc6: SUB
00000bc7: DUP2
00000bc8: DUP7
00000bc9: GAS
00000bca: STATICCALL
00000bcb: ISZERO
00000bcc: DUP1
00000bcd: ISZERO
00000bce: PUSH2 0x0bdb
00000bd1: JUMPI
00000bd2: RETURNDATASIZE
00000bd3: PUSH1 0x00
00000bd5: DUP1
00000bd6: RETURNDATACOPY
00000bd7: RETURNDATASIZE
00000bd8: PUSH1 0x00
00000bda: REVERT
00000bdb: JUMPDEST
00000bdc: POP
00000bdd: POP
00000bde: POP
00000bdf: POP
00000be0: PUSH1 0x40
00000be2: MLOAD
00000be3: RETURNDATASIZE
00000be4: PUSH1 0x1f
00000be6: NOT
00000be7: PUSH1 0x1f
00000be9: DUP3
00000bea: ADD
00000beb: AND
00000bec: DUP3
00000bed: ADD
00000bee: DUP1
00000bef: PUSH1 0x40
00000bf1: MSTORE
00000bf2: POP
00000bf3: DUP2
00000bf4: ADD
00000bf5: SWAP1
00000bf6: PUSH2 0x0bff
00000bf9: SWAP2
00000bfa: SWAP1
00000bfb: PUSH2 0x16d5
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: SWAP3
00000c01: POP
00000c02: POP
00000c03: POP
00000c04: SWAP1
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH1 0x40
00000c09: MLOAD
00000c0a: PUSH32 0x332144db00000000000000000000000000000000000000000000000000000000
00000c2b: DUP2
00000c2c: MSTORE
00000c2d: PUSH1 0x04
00000c2f: ADD
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: DUP1
00000c34: SWAP2
00000c35: SUB
00000c36: SWAP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: PUSH1 0x00
00000c3b: PUSH1 0x04
00000c3d: PUSH1 0x00
00000c3f: SWAP1
00000c40: SLOAD
00000c41: SWAP1
00000c42: PUSH2 0x0100
00000c45: EXP
00000c46: SWAP1
00000c47: DIV
00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5d: AND
00000c5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c73: AND
00000c74: PUSH4 0x35e80ab3
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP2
00000c7d: PUSH4 0xffffffff
00000c82: AND
00000c83: PUSH1 0xe0
00000c85: SHL
00000c86: DUP2
00000c87: MSTORE
00000c88: PUSH1 0x04
00000c8a: ADD
00000c8b: PUSH1 0x20
00000c8d: PUSH1 0x40
00000c8f: MLOAD
00000c90: DUP1
00000c91: DUP4
00000c92: SUB
00000c93: DUP2
00000c94: DUP7
00000c95: GAS
00000c96: STATICCALL
00000c97: ISZERO
00000c98: DUP1
00000c99: ISZERO
00000c9a: PUSH2 0x0ca7
00000c9d: JUMPI
00000c9e: RETURNDATASIZE
00000c9f: PUSH1 0x00
00000ca1: DUP1
00000ca2: RETURNDATACOPY
00000ca3: RETURNDATASIZE
00000ca4: PUSH1 0x00
00000ca6: REVERT
00000ca7: JUMPDEST
00000ca8: POP
00000ca9: POP
00000caa: POP
00000cab: POP
00000cac: PUSH1 0x40
00000cae: MLOAD
00000caf: RETURNDATASIZE
00000cb0: PUSH1 0x1f
00000cb2: NOT
00000cb3: PUSH1 0x1f
00000cb5: DUP3
00000cb6: ADD
00000cb7: AND
00000cb8: DUP3
00000cb9: ADD
00000cba: DUP1
00000cbb: PUSH1 0x40
00000cbd: MSTORE
00000cbe: POP
00000cbf: DUP2
00000cc0: ADD
00000cc1: SWAP1
00000cc2: PUSH2 0x0ccb
00000cc5: SWAP2
00000cc6: SWAP1
00000cc7: PUSH2 0x16d5
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: SWAP1
00000ccd: POP
00000cce: SWAP1
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: CALLER
00000cd2: PUSH1 0x00
00000cd4: SWAP1
00000cd5: DUP2
00000cd6: MSTORE
00000cd7: PUSH1 0x03
00000cd9: PUSH1 0x20
00000cdb: SWAP1
00000cdc: DUP2
00000cdd: MSTORE
00000cde: PUSH1 0x40
00000ce0: DUP1
00000ce1: DUP4
00000ce2: KECCAK256
00000ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf8: DUP7
00000cf9: AND
00000cfa: DUP5
00000cfb: MSTORE
00000cfc: SWAP1
00000cfd: SWAP2
00000cfe: MSTORE
00000cff: DUP2
00000d00: KECCAK256
00000d01: TIMESTAMP
00000d02: PUSH1 0x01
00000d04: DUP3
00000d05: ADD
00000d06: SSTORE
00000d07: DUP1
00000d08: SLOAD
00000d09: SWAP1
00000d0a: SWAP2
00000d0b: DUP4
00000d0c: SWAP2
00000d0d: DUP4
00000d0e: SWAP2
00000d0f: SWAP1
00000d10: PUSH2 0x0d1a
00000d13: SWAP1
00000d14: DUP5
00000d15: SWAP1
00000d16: PUSH2 0x1669
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: SWAP1
00000d1c: SWAP2
00000d1d: SSTORE
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: POP
00000d23: JUMP
00000d24: JUMPDEST
00000d25: PUSH2 0x0d2c
00000d28: PUSH2 0x101e
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d42: AND
00000d43: CALLER
00000d44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d59: AND
00000d5a: EQ
00000d5b: PUSH2 0x0dc0
00000d5e: JUMPI
00000d5f: PUSH1 0x40
00000d61: MLOAD
00000d62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d83: DUP2
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: PUSH1 0x04
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH1 0x16
00000d8e: PUSH1 0x24
00000d90: DUP3
00000d91: ADD
00000d92: MSTORE
00000d93: PUSH32 0x44656c61796564574554483a206e6f74206f776e657200000000000000000000
00000db4: PUSH1 0x44
00000db6: DUP3
00000db7: ADD
00000db8: MSTORE
00000db9: PUSH1 0x64
00000dbb: ADD
00000dbc: PUSH2 0x0779
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd6: DUP3
00000dd7: AND
00000dd8: PUSH1 0x00
00000dda: DUP2
00000ddb: DUP2
00000ddc: MSTORE
00000ddd: PUSH1 0x02
00000ddf: PUSH1 0x20
00000de1: SWAP1
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x40
00000de6: DUP1
00000de7: DUP4
00000de8: KECCAK256
00000de9: CALLER
00000dea: DUP1
00000deb: DUP6
00000dec: MSTORE
00000ded: SWAP1
00000dee: DUP4
00000def: MSTORE
00000df0: SWAP3
00000df1: DUP2
00000df2: SWAP1
00000df3: KECCAK256
00000df4: DUP6
00000df5: SWAP1
00000df6: SSTORE
00000df7: MLOAD
00000df8: DUP5
00000df9: DUP2
00000dfa: MSTORE
00000dfb: SWAP2
00000dfc: SWAP3
00000dfd: SWAP2
00000dfe: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000e1f: SWAP2
00000e20: ADD
00000e21: PUSH1 0x40
00000e23: MLOAD
00000e24: DUP1
00000e25: SWAP2
00000e26: SUB
00000e27: SWAP1
00000e28: LOG3
00000e29: PUSH2 0x0848
00000e2c: DUP3
00000e2d: CALLER
00000e2e: DUP4
00000e2f: PUSH2 0x084d
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH2 0x0a2a
00000e37: DUP2
00000e38: PUSH2 0x04cc
00000e3b: DUP4
00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e51: AND
00000e52: PUSH1 0x00
00000e54: SWAP1
00000e55: DUP2
00000e56: MSTORE
00000e57: PUSH1 0x01
00000e59: PUSH1 0x20
00000e5b: MSTORE
00000e5c: PUSH1 0x40
00000e5e: SWAP1
00000e5f: KECCAK256
00000e60: SLOAD
00000e61: SWAP1
00000e62: JUMP
00000e63: JUMPDEST
00000e64: PUSH1 0x00
00000e66: PUSH2 0x0e70
00000e69: CALLER
00000e6a: DUP5
00000e6b: DUP5
00000e6c: PUSH2 0x084d
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: SWAP4
00000e72: SWAP3
00000e73: POP
00000e74: POP
00000e75: POP
00000e76: JUMP
00000e77: JUMPDEST
00000e78: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000e99: PUSH1 0x00
00000e9b: SLOAD
00000e9c: PUSH2 0x0100
00000e9f: SWAP1
00000ea0: DIV
00000ea1: PUSH1 0xff
00000ea3: AND
00000ea4: ISZERO
00000ea5: DUP1
00000ea6: ISZERO
00000ea7: PUSH2 0x0eb7
00000eaa: JUMPI
00000eab: POP
00000eac: PUSH1 0x00
00000eae: SLOAD
00000eaf: PUSH1 0xff
00000eb1: DUP1
00000eb2: DUP4
00000eb3: AND
00000eb4: SWAP2
00000eb5: AND
00000eb6: LT
00000eb7: JUMPDEST
00000eb8: PUSH2 0x0f43
00000ebb: JUMPI
00000ebc: PUSH1 0x40
00000ebe: MLOAD
00000ebf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: PUSH1 0x04
00000ee6: DUP3
00000ee7: ADD
00000ee8: MSTORE
00000ee9: PUSH1 0x2e
00000eeb: PUSH1 0x24
00000eed: DUP3
00000eee: ADD
00000eef: MSTORE
00000ef0: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000f11: PUSH1 0x44
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000f37: PUSH1 0x64
00000f39: DUP3
00000f3a: ADD
00000f3b: MSTORE
00000f3c: PUSH1 0x84
00000f3e: ADD
00000f3f: PUSH2 0x0779
00000f42: JUMP
00000f43: JUMPDEST
00000f44: PUSH1 0x00
00000f46: DUP1
00000f47: SLOAD
00000f48: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000
00000f69: AND
00000f6a: PUSH1 0xff
00000f6c: DUP4
00000f6d: AND
00000f6e: OR
00000f6f: PUSH2 0x0100
00000f72: OR
00000f73: SWAP1
00000f74: SSTORE
00000f75: PUSH2 0x0f7c
00000f78: PUSH2 0x13a0
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: PUSH1 0x04
00000f7f: DUP1
00000f80: SLOAD
00000f81: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000fa2: AND
00000fa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb8: DUP5
00000fb9: AND
00000fba: OR
00000fbb: SWAP1
00000fbc: SSTORE
00000fbd: PUSH1 0x00
00000fbf: DUP1
00000fc0: SLOAD
00000fc1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000fe2: AND
00000fe3: SWAP1
00000fe4: SSTORE
00000fe5: PUSH1 0x40
00000fe7: MLOAD
00000fe8: PUSH1 0xff
00000fea: DUP3
00000feb: AND
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
0000100f: SWAP1
00001010: PUSH1 0x20
00001012: ADD
00001013: PUSH1 0x40
00001015: MLOAD
00001016: DUP1
00001017: SWAP2
00001018: SUB
00001019: SWAP1
0000101a: LOG1
0000101b: POP
0000101c: POP
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH1 0x00
00001021: PUSH2 0x1028
00001024: PUSH2 0x0a2d
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103e: AND
0000103f: PUSH4 0x8da5cb5b
00001044: PUSH1 0x40
00001046: MLOAD
00001047: DUP2
00001048: PUSH4 0xffffffff
0000104d: AND
0000104e: PUSH1 0xe0
00001050: SHL
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x04
00001055: ADD
00001056: PUSH1 0x20
00001058: PUSH1 0x40
0000105a: MLOAD
0000105b: DUP1
0000105c: DUP4
0000105d: SUB
0000105e: DUP2
0000105f: DUP7
00001060: GAS
00001061: STATICCALL
00001062: ISZERO
00001063: DUP1
00001064: ISZERO
00001065: PUSH2 0x0ca7
00001068: JUMPI
00001069: RETURNDATASIZE
0000106a: PUSH1 0x00
0000106c: DUP1
0000106d: RETURNDATACOPY
0000106e: RETURNDATASIZE
0000106f: PUSH1 0x00
00001071: REVERT
00001072: JUMPDEST
00001073: PUSH1 0x04
00001075: DUP1
00001076: SLOAD
00001077: PUSH1 0x40
00001079: DUP1
0000107a: MLOAD
0000107b: PUSH32 0x5c975abb00000000000000000000000000000000000000000000000000000000
0000109c: DUP2
0000109d: MSTORE
0000109e: SWAP1
0000109f: MLOAD
000010a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b5: SWAP1
000010b6: SWAP3
000010b7: AND
000010b8: SWAP3
000010b9: PUSH4 0x5c975abb
000010be: SWAP3
000010bf: DUP3
000010c0: DUP3
000010c1: ADD
000010c2: SWAP3
000010c3: PUSH1 0x20
000010c5: SWAP3
000010c6: SWAP1
000010c7: DUP3
000010c8: SWAP1
000010c9: SUB
000010ca: ADD
000010cb: DUP2
000010cc: DUP7
000010cd: GAS
000010ce: STATICCALL
000010cf: ISZERO
000010d0: DUP1
000010d1: ISZERO
000010d2: PUSH2 0x10df
000010d5: JUMPI
000010d6: RETURNDATASIZE
000010d7: PUSH1 0x00
000010d9: DUP1
000010da: RETURNDATACOPY
000010db: RETURNDATASIZE
000010dc: PUSH1 0x00
000010de: REVERT
000010df: JUMPDEST
000010e0: POP
000010e1: POP
000010e2: POP
000010e3: POP
000010e4: PUSH1 0x40
000010e6: MLOAD
000010e7: RETURNDATASIZE
000010e8: PUSH1 0x1f
000010ea: NOT
000010eb: PUSH1 0x1f
000010ed: DUP3
000010ee: ADD
000010ef: AND
000010f0: DUP3
000010f1: ADD
000010f2: DUP1
000010f3: PUSH1 0x40
000010f5: MSTORE
000010f6: POP
000010f7: DUP2
000010f8: ADD
000010f9: SWAP1
000010fa: PUSH2 0x1103
000010fd: SWAP2
000010fe: SWAP1
000010ff: PUSH2 0x16f2
00001102: JUMP
00001103: JUMPDEST
00001104: ISZERO
00001105: PUSH2 0x116a
00001108: JUMPI
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000112d: DUP2
0000112e: MSTORE
0000112f: PUSH1 0x20
00001131: PUSH1 0x04
00001133: DUP3
00001134: ADD
00001135: MSTORE
00001136: PUSH1 0x1f
00001138: PUSH1 0x24
0000113a: DUP3
0000113b: ADD
0000113c: MSTORE
0000113d: PUSH32 0x44656c61796564574554483a20636f6e74726163742069732070617573656400
0000115e: PUSH1 0x44
00001160: DUP3
00001161: ADD
00001162: MSTORE
00001163: PUSH1 0x64
00001165: ADD
00001166: PUSH2 0x0779
00001169: JUMP
0000116a: JUMPDEST
0000116b: CALLER
0000116c: PUSH1 0x00
0000116e: SWAP1
0000116f: DUP2
00001170: MSTORE
00001171: PUSH1 0x03
00001173: PUSH1 0x20
00001175: SWAP1
00001176: DUP2
00001177: MSTORE
00001178: PUSH1 0x40
0000117a: DUP1
0000117b: DUP4
0000117c: KECCAK256
0000117d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001192: DUP7
00001193: AND
00001194: DUP5
00001195: MSTORE
00001196: SWAP1
00001197: SWAP2
00001198: MSTORE
00001199: SWAP1
0000119a: KECCAK256
0000119b: DUP1
0000119c: SLOAD
0000119d: DUP3
0000119e: GT
0000119f: ISZERO
000011a0: PUSH2 0x122b
000011a3: JUMPI
000011a4: PUSH1 0x40
000011a6: MLOAD
000011a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: PUSH1 0x04
000011ce: DUP3
000011cf: ADD
000011d0: MSTORE
000011d1: PUSH1 0x2d
000011d3: PUSH1 0x24
000011d5: DUP3
000011d6: ADD
000011d7: MSTORE
000011d8: PUSH32 0x44656c61796564574554483a20696e73756666696369656e7420756e6c6f636b
000011f9: PUSH1 0x44
000011fb: DUP3
000011fc: ADD
000011fd: MSTORE
000011fe: PUSH32 0x6564207769746864726177616c00000000000000000000000000000000000000
0000121f: PUSH1 0x64
00001221: DUP3
00001222: ADD
00001223: MSTORE
00001224: PUSH1 0x84
00001226: ADD
00001227: PUSH2 0x0779
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH1 0x00
0000122e: DUP2
0000122f: PUSH1 0x01
00001231: ADD
00001232: SLOAD
00001233: GT
00001234: PUSH2 0x12be
00001237: JUMPI
00001238: PUSH1 0x40
0000123a: MLOAD
0000123b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125c: DUP2
0000125d: MSTORE
0000125e: PUSH1 0x20
00001260: PUSH1 0x04
00001262: DUP3
00001263: ADD
00001264: MSTORE
00001265: PUSH1 0x24
00001267: DUP1
00001268: DUP3
00001269: ADD
0000126a: MSTORE
0000126b: PUSH32 0x44656c61796564574554483a207769746864726177616c206e6f7420756e6c6f
0000128c: PUSH1 0x44
0000128e: DUP3
0000128f: ADD
00001290: MSTORE
00001291: PUSH32 0x636b656400000000000000000000000000000000000000000000000000000000
000012b2: PUSH1 0x64
000012b4: DUP3
000012b5: ADD
000012b6: MSTORE
000012b7: PUSH1 0x84
000012b9: ADD
000012ba: PUSH2 0x0779
000012bd: JUMP
000012be: JUMPDEST
000012bf: TIMESTAMP
000012c0: PUSH32 0x0000000000000000000000000000000000000000000000000000000000049d40
000012e1: DUP3
000012e2: PUSH1 0x01
000012e4: ADD
000012e5: SLOAD
000012e6: PUSH2 0x12ef
000012e9: SWAP2
000012ea: SWAP1
000012eb: PUSH2 0x1669
000012ee: JUMP
000012ef: JUMPDEST
000012f0: GT
000012f1: ISZERO
000012f2: PUSH2 0x137d
000012f5: JUMPI
000012f6: PUSH1 0x40
000012f8: MLOAD
000012f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: MSTORE
00001323: PUSH1 0x25
00001325: PUSH1 0x24
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH32 0x44656c61796564574554483a207769746864726177616c2064656c6179206e6f
0000134b: PUSH1 0x44
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: PUSH32 0x74206d6574000000000000000000000000000000000000000000000000000000
00001371: PUSH1 0x64
00001373: DUP3
00001374: ADD
00001375: MSTORE
00001376: PUSH1 0x84
00001378: ADD
00001379: PUSH2 0x0779
0000137c: JUMP
0000137d: JUMPDEST
0000137e: DUP2
0000137f: DUP2
00001380: PUSH1 0x00
00001382: ADD
00001383: PUSH1 0x00
00001385: DUP3
00001386: DUP3
00001387: SLOAD
00001388: PUSH2 0x1391
0000138b: SWAP2
0000138c: SWAP1
0000138d: PUSH2 0x1681
00001390: JUMP
00001391: JUMPDEST
00001392: SWAP1
00001393: SWAP2
00001394: SSTORE
00001395: POP
00001396: PUSH2 0x0848
00001399: SWAP1
0000139a: POP
0000139b: DUP3
0000139c: PUSH2 0x1423
0000139f: JUMP
000013a0: JUMPDEST
000013a1: CALLER
000013a2: PUSH2 0x13a9
000013a5: PUSH2 0x0a2d
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bf: AND
000013c0: EQ
000013c1: ISZERO
000013c2: DUP1
000013c3: ISZERO
000013c4: PUSH2 0x13ea
000013c7: JUMPI
000013c8: POP
000013c9: CALLER
000013ca: PUSH2 0x13d1
000013cd: PUSH2 0x101e
000013d0: JUMP
000013d1: JUMPDEST
000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e7: AND
000013e8: EQ
000013e9: ISZERO
000013ea: JUMPDEST
000013eb: ISZERO
000013ec: PUSH2 0x1421
000013ef: JUMPI
000013f0: PUSH1 0x40
000013f2: MLOAD
000013f3: PUSH32 0xc4050a2600000000000000000000000000000000000000000000000000000000
00001414: DUP2
00001415: MSTORE
00001416: PUSH1 0x04
00001418: ADD
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: DUP1
0000141d: SWAP2
0000141e: SUB
0000141f: SWAP1
00001420: REVERT
00001421: JUMPDEST
00001422: JUMP
00001423: JUMPDEST
00001424: CALLER
00001425: PUSH1 0x00
00001427: SWAP1
00001428: DUP2
00001429: MSTORE
0000142a: PUSH1 0x01
0000142c: PUSH1 0x20
0000142e: MSTORE
0000142f: PUSH1 0x40
00001431: SWAP1
00001432: KECCAK256
00001433: SLOAD
00001434: DUP2
00001435: GT
00001436: ISZERO
00001437: PUSH2 0x143f
0000143a: JUMPI
0000143b: PUSH1 0x00
0000143d: DUP1
0000143e: REVERT
0000143f: JUMPDEST
00001440: CALLER
00001441: PUSH1 0x00
00001443: SWAP1
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x01
00001448: PUSH1 0x20
0000144a: MSTORE
0000144b: PUSH1 0x40
0000144d: DUP2
0000144e: KECCAK256
0000144f: DUP1
00001450: SLOAD
00001451: DUP4
00001452: SWAP3
00001453: SWAP1
00001454: PUSH2 0x145e
00001457: SWAP1
00001458: DUP5
00001459: SWAP1
0000145a: PUSH2 0x1681
0000145d: JUMP
0000145e: JUMPDEST
0000145f: SWAP1
00001460: SWAP2
00001461: SSTORE
00001462: POP
00001463: POP
00001464: PUSH1 0x40
00001466: MLOAD
00001467: CALLER
00001468: SWAP1
00001469: DUP3
0000146a: ISZERO
0000146b: PUSH2 0x08fc
0000146e: MUL
0000146f: SWAP1
00001470: DUP4
00001471: SWAP1
00001472: PUSH1 0x00
00001474: DUP2
00001475: DUP2
00001476: DUP2
00001477: DUP6
00001478: DUP9
00001479: DUP9
0000147a: CALL
0000147b: SWAP4
0000147c: POP
0000147d: POP
0000147e: POP
0000147f: POP
00001480: ISZERO
00001481: DUP1
00001482: ISZERO
00001483: PUSH2 0x1490
00001486: JUMPI
00001487: RETURNDATASIZE
00001488: PUSH1 0x00
0000148a: DUP1
0000148b: RETURNDATACOPY
0000148c: RETURNDATASIZE
0000148d: PUSH1 0x00
0000148f: REVERT
00001490: JUMPDEST
00001491: POP
00001492: PUSH1 0x40
00001494: MLOAD
00001495: DUP2
00001496: DUP2
00001497: MSTORE
00001498: CALLER
00001499: SWAP1
0000149a: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
000014bb: SWAP1
000014bc: PUSH1 0x20
000014be: ADD
000014bf: PUSH1 0x40
000014c1: MLOAD
000014c2: DUP1
000014c3: SWAP2
000014c4: SUB
000014c5: SWAP1
000014c6: LOG2
000014c7: POP
000014c8: JUMP
000014c9: JUMPDEST
000014ca: PUSH1 0x00
000014cc: PUSH1 0x20
000014ce: DUP1
000014cf: DUP4
000014d0: MSTORE
000014d1: DUP4
000014d2: MLOAD
000014d3: DUP1
000014d4: DUP3
000014d5: DUP6
000014d6: ADD
000014d7: MSTORE
000014d8: PUSH1 0x00
000014da: JUMPDEST
000014db: DUP2
000014dc: DUP2
000014dd: LT
000014de: ISZERO
000014df: PUSH2 0x14f6
000014e2: JUMPI
000014e3: DUP6
000014e4: DUP2
000014e5: ADD
000014e6: DUP4
000014e7: ADD
000014e8: MLOAD
000014e9: DUP6
000014ea: DUP3
000014eb: ADD
000014ec: PUSH1 0x40
000014ee: ADD
000014ef: MSTORE
000014f0: DUP3
000014f1: ADD
000014f2: PUSH2 0x14da
000014f5: JUMP
000014f6: JUMPDEST
000014f7: DUP2
000014f8: DUP2
000014f9: GT
000014fa: ISZERO
000014fb: PUSH2 0x1508
000014fe: JUMPI
000014ff: PUSH1 0x00
00001501: PUSH1 0x40
00001503: DUP4
00001504: DUP8
00001505: ADD
00001506: ADD
00001507: MSTORE
00001508: JUMPDEST
00001509: POP
0000150a: PUSH1 0x1f
0000150c: ADD
0000150d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000152e: AND
0000152f: SWAP3
00001530: SWAP1
00001531: SWAP3
00001532: ADD
00001533: PUSH1 0x40
00001535: ADD
00001536: SWAP4
00001537: SWAP3
00001538: POP
00001539: POP
0000153a: POP
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001552: DUP2
00001553: AND
00001554: DUP2
00001555: EQ
00001556: PUSH2 0x0a2a
00001559: JUMPI
0000155a: PUSH1 0x00
0000155c: DUP1
0000155d: REVERT
0000155e: JUMPDEST
0000155f: PUSH1 0x00
00001561: DUP1
00001562: PUSH1 0x40
00001564: DUP4
00001565: DUP6
00001566: SUB
00001567: SLT
00001568: ISZERO
00001569: PUSH2 0x1571
0000156c: JUMPI
0000156d: PUSH1 0x00
0000156f: DUP1
00001570: REVERT
00001571: JUMPDEST
00001572: DUP3
00001573: CALLDATALOAD
00001574: PUSH2 0x157c
00001577: DUP2
00001578: PUSH2 0x153c
0000157b: JUMP
0000157c: JUMPDEST
0000157d: SWAP5
0000157e: PUSH1 0x20
00001580: SWAP4
00001581: SWAP1
00001582: SWAP4
00001583: ADD
00001584: CALLDATALOAD
00001585: SWAP4
00001586: POP
00001587: POP
00001588: POP
00001589: JUMP
0000158a: JUMPDEST
0000158b: PUSH1 0x00
0000158d: PUSH1 0x20
0000158f: DUP3
00001590: DUP5
00001591: SUB
00001592: SLT
00001593: ISZERO
00001594: PUSH2 0x159c
00001597: JUMPI
00001598: PUSH1 0x00
0000159a: DUP1
0000159b: REVERT
0000159c: JUMPDEST
0000159d: POP
0000159e: CALLDATALOAD
0000159f: SWAP2
000015a0: SWAP1
000015a1: POP
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x00
000015a6: DUP1
000015a7: PUSH1 0x00
000015a9: PUSH1 0x60
000015ab: DUP5
000015ac: DUP7
000015ad: SUB
000015ae: SLT
000015af: ISZERO
000015b0: PUSH2 0x15b8
000015b3: JUMPI
000015b4: PUSH1 0x00
000015b6: DUP1
000015b7: REVERT
000015b8: JUMPDEST
000015b9: DUP4
000015ba: CALLDATALOAD
000015bb: PUSH2 0x15c3
000015be: DUP2
000015bf: PUSH2 0x153c
000015c2: JUMP
000015c3: JUMPDEST
000015c4: SWAP3
000015c5: POP
000015c6: PUSH1 0x20
000015c8: DUP5
000015c9: ADD
000015ca: CALLDATALOAD
000015cb: PUSH2 0x15d3
000015ce: DUP2
000015cf: PUSH2 0x153c
000015d2: JUMP
000015d3: JUMPDEST
000015d4: SWAP3
000015d5: SWAP6
000015d6: SWAP3
000015d7: SWAP5
000015d8: POP
000015d9: POP
000015da: POP
000015db: PUSH1 0x40
000015dd: SWAP2
000015de: SWAP1
000015df: SWAP2
000015e0: ADD
000015e1: CALLDATALOAD
000015e2: SWAP1
000015e3: JUMP
000015e4: JUMPDEST
000015e5: PUSH1 0x00
000015e7: PUSH1 0x20
000015e9: DUP3
000015ea: DUP5
000015eb: SUB
000015ec: SLT
000015ed: ISZERO
000015ee: PUSH2 0x15f6
000015f1: JUMPI
000015f2: PUSH1 0x00
000015f4: DUP1
000015f5: REVERT
000015f6: JUMPDEST
000015f7: DUP2
000015f8: CALLDATALOAD
000015f9: PUSH2 0x0e70
000015fc: DUP2
000015fd: PUSH2 0x153c
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH1 0x00
00001604: DUP1
00001605: PUSH1 0x40
00001607: DUP4
00001608: DUP6
00001609: SUB
0000160a: SLT
0000160b: ISZERO
0000160c: PUSH2 0x1614
0000160f: JUMPI
00001610: PUSH1 0x00
00001612: DUP1
00001613: REVERT
00001614: JUMPDEST
00001615: DUP3
00001616: CALLDATALOAD
00001617: PUSH2 0x161f
0000161a: DUP2
0000161b: PUSH2 0x153c
0000161e: JUMP
0000161f: JUMPDEST
00001620: SWAP2
00001621: POP
00001622: PUSH1 0x20
00001624: DUP4
00001625: ADD
00001626: CALLDATALOAD
00001627: PUSH2 0x162f
0000162a: DUP2
0000162b: PUSH2 0x153c
0000162e: JUMP
0000162f: JUMPDEST
00001630: DUP1
00001631: SWAP2
00001632: POP
00001633: POP
00001634: SWAP3
00001635: POP
00001636: SWAP3
00001637: SWAP1
00001638: POP
00001639: JUMP
0000163a: JUMPDEST
0000163b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000165c: PUSH1 0x00
0000165e: MSTORE
0000165f: PUSH1 0x11
00001661: PUSH1 0x04
00001663: MSTORE
00001664: PUSH1 0x24
00001666: PUSH1 0x00
00001668: REVERT
00001669: JUMPDEST
0000166a: PUSH1 0x00
0000166c: DUP3
0000166d: NOT
0000166e: DUP3
0000166f: GT
00001670: ISZERO
00001671: PUSH2 0x167c
00001674: JUMPI
00001675: PUSH2 0x167c
00001678: PUSH2 0x163a
0000167b: JUMP
0000167c: JUMPDEST
0000167d: POP
0000167e: ADD
0000167f: SWAP1
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH1 0x00
00001684: DUP3
00001685: DUP3
00001686: LT
00001687: ISZERO
00001688: PUSH2 0x1693
0000168b: JUMPI
0000168c: PUSH2 0x1693
0000168f: PUSH2 0x163a
00001692: JUMP
00001693: JUMPDEST
00001694: POP
00001695: SUB
00001696: SWAP1
00001697: JUMP
00001698: JUMPDEST
00001699: PUSH1 0x00
0000169b: DUP2
0000169c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016bd: DIV
000016be: DUP4
000016bf: GT
000016c0: DUP3
000016c1: ISZERO
000016c2: ISZERO
000016c3: AND
000016c4: ISZERO
000016c5: PUSH2 0x16d0
000016c8: JUMPI
000016c9: PUSH2 0x16d0
000016cc: PUSH2 0x163a
000016cf: JUMP
000016d0: JUMPDEST
000016d1: POP
000016d2: MUL
000016d3: SWAP1
000016d4: JUMP
000016d5: JUMPDEST
000016d6: PUSH1 0x00
000016d8: PUSH1 0x20
000016da: DUP3
000016db: DUP5
000016dc: SUB
000016dd: SLT
000016de: ISZERO
000016df: PUSH2 0x16e7
000016e2: JUMPI
000016e3: PUSH1 0x00
000016e5: DUP1
000016e6: REVERT
000016e7: JUMPDEST
000016e8: DUP2
000016e9: MLOAD
000016ea: PUSH2 0x0e70
000016ed: DUP2
000016ee: PUSH2 0x153c
000016f1: JUMP
000016f2: JUMPDEST
000016f3: PUSH1 0x00
000016f5: PUSH1 0x20
000016f7: DUP3
000016f8: DUP5
000016f9: SUB
000016fa: SLT
000016fb: ISZERO
000016fc: PUSH2 0x1704
000016ff: JUMPI
00001700: PUSH1 0x00
00001702: DUP1
00001703: REVERT
00001704: JUMPDEST
00001705: DUP2
00001706: MLOAD
00001707: DUP1
00001708: ISZERO
00001709: ISZERO
0000170a: DUP2
0000170b: EQ
0000170c: PUSH2 0x0e70
0000170f: JUMPI
00001710: PUSH1 0x00
00001712: DUP1
00001713: REVERT
00001714: INVALID
00001715: LOG1
00001716: PUSH5 0x736f6c6343
0000171c: STOP
0000171d: ADDMOD
0000171e: UNKNOWN(0x0F)
0000171f: STOP
00001720: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b
call_targets: 0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998"
    ],
    "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": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdad544e0",
            "selector": "0xdad544e0",
            "calldata_variants": [
                "0xdad544e0",
                "0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd47bde1",
            "selector": "0xcd47bde1",
            "calldata_variants": [
                "0xcd47bde1",
                "0xcd47bde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1960,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5242,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 1792,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3395,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b
call_targets: 0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x94fc4563c24bd3f8b5444ac43e6e75edaf8ff855ee748c51de58dad54d5e674b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x33dadc2d1aa9bb613a7ae6b28425ea00d44c6998"
    ],
    "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": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdad544e0",
            "selector": "0xdad544e0",
            "calldata_variants": [
                "0xdad544e0",
                "0xdad544e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd47bde1",
            "selector": "0xcd47bde1",
            "calldata_variants": [
                "0xcd47bde1",
                "0xcd47bde10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1960,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5242,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 1792,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3395,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}