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

Analysis Run

019d4519-3633-71e3-9daf-96b1dfe8079b

failed
Chain ID
1
Address
Block Number
Created
Tue, Mar 31, 2026 6:12 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?

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
42690 artifact.fetch complete 1 / 3 2 weeks ago
42691 proxy.resolve complete 1 / 3 2 weeks ago
42692 tool.cast_disasm complete 1 / 3 2 weeks ago
42693 analysis.bundle complete 1 / 3 2 weeks ago
42694 capability.graph complete 1 / 3 2 weeks ago
42695 detector.run complete 1 / 3 2 weeks ago
42696 validation.fork complete 1 / 3 2 weeks ago
42699 report.consolidate complete 1 / 6 2 weeks ago
42700 tool.slither failed 2 / 2 2 weeks ago

Artifact

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

Slither

tool.slither
Status
failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-2efs9j_9) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-2efs9j_9) 'forge' returned non-zero exit code 1 Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/proxy/utils/UUPSUpgradeable.sol: No solc version exists that matches the version requirement: ^0.8.22 stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol: No solc version exists that matches the version requirement: ^0.8.20 Traceback (most recent call last): File "/var/www/tripwire/.venv/bin/slither", line 10, in <module> sys.exit(main()) ~~~~^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main main_impl(all_detector_classes=detectors, all_printer_classes=printers) ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl ) = process_all(filename, args, detector_classes, printer_classes) ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all compilations = compile_all(target, **vars(args)) File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all compilations.append(CryticCompile(target, **kwargs)) ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__ self._compile(**kwargs) ~~~~~~~~~~~~~^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile self._platform.compile(self, **kwargs) ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile hardhat_like_parsing( ~~~~~~~~~~~~~~~~~~~~^ crytic_compile, str(self._target), build_directory, str(self._project_root) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ) ^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing raise InvalidCompilation(txt) crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command? /tmp/slither-2efs9j_9/out/build-info is not a directory.
Attempts
2 / 2
Findings
0
Solc
View stderr
Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
    stdout_text, stderr_text, result_json = _run_slither(
                                            ~~~~~~~~~~~~^
        workspace,
        ^^^^^^^^^^
    ...<4 lines>...
        target_path=target_path,
        ^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
    raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-2efs9j_9)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-2efs9j_9)
'forge' returned non-zero exit code 1
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/proxy/utils/UUPSUpgradeable.sol: No solc version exists that matches the version requirement: ^0.8.22
stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol: No solc version exists that matches the version requirement: ^0.8.20
Traceback (most recent call last):
  File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
    sys.exit(main())
             ~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
    compilations = compile_all(target, **vars(args))
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
                        ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
    self._compile(**kwargs)
    ~~~~~~~~~~~~~^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
    self._platform.compile(self, **kwargs)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
    hardhat_like_parsing(
    ~~~~~~~~~~~~~~~~~~~~^
        crytic_compile, str(self._target), build_directory, str(self._project_root)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
    raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-2efs9j_9/out/build-info is not a directory.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-j_qk9qqk
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019d4519-c9fd-7270-87ee-36e424291495
--------
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
Reconnecting... 1/5
Reconnecting... 2/5
Reconnecting... 3/5
Reconnecting... 4/5
Reconnecting... 5/5
ERROR: Your access token could not be refreshed because your refresh token was already used. Please log out and sign in again.
Warning: no last agent message; wrote empty content to /tmp/codex-j_qk9qqk/codex-last-message.json
Metadata
{
    "codex": {
        "ran_at": "2026-03-31T18:13:38.616326+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "source",
        "file_count": 20,
        "import_count": 21,
        "first_party_contracts_count": 6
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
3
Total opcodes
3197
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x40
00000002: PUSH1 0x80
00000004: DUP2
00000005: MSTORE
00000006: PUSH1 0x04
00000008: DUP1
00000009: CALLDATASIZE
0000000a: LT
0000000b: ISZERO
0000000c: PUSH2 0x001e
0000000f: JUMPI
00000010: JUMPDEST
00000011: POP
00000012: POP
00000013: CALLDATASIZE
00000014: ISZERO
00000015: PUSH2 0x001c
00000018: JUMPI
00000019: PUSH0
0000001a: DUP1
0000001b: REVERT
0000001c: JUMPDEST
0000001d: STOP
0000001e: JUMPDEST
0000001f: PUSH0
00000020: CALLDATALOAD
00000021: PUSH1 0xe0
00000023: SHR
00000024: SWAP1
00000025: DUP2
00000026: PUSH4 0x078dfbe7
0000002b: EQ
0000002c: PUSH2 0x1248
0000002f: JUMPI
00000030: DUP2
00000031: PUSH4 0x0c9cbf0e
00000036: EQ
00000037: PUSH2 0x11d3
0000003a: JUMPI
0000003b: DUP2
0000003c: PUSH4 0x2eb4a7ab
00000041: EQ
00000042: PUSH2 0x1197
00000045: JUMPI
00000046: DUP2
00000047: PUSH4 0x3659cfe6
0000004c: EQ
0000004d: PUSH2 0x0f11
00000050: JUMPI
00000051: DUP2
00000052: PUSH4 0x48ac88bb
00000057: EQ
00000058: PUSH2 0x0e9c
0000005b: JUMPI
0000005c: DUP2
0000005d: PUSH4 0x4e71e0c8
00000062: EQ
00000063: PUSH2 0x0d92
00000066: JUMPI
00000067: DUP2
00000068: PUSH4 0x4f1ef286
0000006d: EQ
0000006e: PUSH2 0x0a0d
00000071: JUMPI
00000072: DUP2
00000073: PUSH4 0x52d1902d
00000078: EQ
00000079: PUSH2 0x08f5
0000007c: JUMPI
0000007d: DUP2
0000007e: PUSH4 0x5beb4f71
00000083: EQ
00000084: PUSH2 0x07f6
00000087: JUMPI
00000088: DUP2
00000089: PUSH4 0x7cb64759
0000008e: EQ
0000008f: PUSH2 0x077f
00000092: JUMPI
00000093: DUP2
00000094: PUSH4 0x8da5cb5b
00000099: EQ
0000009a: PUSH2 0x072e
0000009d: JUMPI
0000009e: DUP2
0000009f: PUSH4 0x9e281a98
000000a4: EQ
000000a5: PUSH2 0x06c8
000000a8: JUMPI
000000a9: DUP2
000000aa: PUSH4 0xa0165082
000000af: EQ
000000b0: PUSH2 0x0542
000000b3: JUMPI
000000b4: DUP2
000000b5: PUSH4 0xbd4acae1
000000ba: EQ
000000bb: PUSH2 0x03e1
000000be: JUMPI
000000bf: DUP2
000000c0: PUSH4 0xc4d66de8
000000c5: EQ
000000c6: PUSH2 0x012f
000000c9: JUMPI
000000ca: POP
000000cb: PUSH4 0xe30c3978
000000d0: EQ
000000d1: PUSH2 0x00da
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH2 0x0010
000000d9: JUMP
000000da: JUMPDEST
000000db: CALLVALUE
000000dc: PUSH2 0x012b
000000df: JUMPI
000000e0: PUSH0
000000e1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000102: CALLDATASIZE
00000103: ADD
00000104: SLT
00000105: PUSH2 0x012b
00000108: JUMPI
00000109: PUSH1 0x20
0000010b: SWAP1
0000010c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000121: PUSH1 0x01
00000123: SLOAD
00000124: AND
00000125: SWAP1
00000126: MLOAD
00000127: SWAP1
00000128: DUP2
00000129: MSTORE
0000012a: RETURN
0000012b: JUMPDEST
0000012c: PUSH0
0000012d: DUP1
0000012e: REVERT
0000012f: JUMPDEST
00000130: SWAP1
00000131: POP
00000132: CALLVALUE
00000133: PUSH2 0x012b
00000136: JUMPI
00000137: PUSH1 0x20
00000139: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000015a: CALLDATASIZE
0000015b: ADD
0000015c: SLT
0000015d: PUSH2 0x012b
00000160: JUMPI
00000161: PUSH2 0x0168
00000164: PUSH2 0x13cf
00000167: JUMP
00000168: JUMPDEST
00000169: PUSH1 0x01
0000016b: SWAP1
0000016c: DUP2
0000016d: SLOAD
0000016e: SWAP1
0000016f: PUSH1 0xff
00000171: DUP3
00000172: PUSH1 0xa8
00000174: SHR
00000175: AND
00000176: ISZERO
00000177: SWAP2
00000178: DUP3
00000179: DUP1
0000017a: SWAP4
0000017b: PUSH2 0x03d2
0000017e: JUMPI
0000017f: JUMPDEST
00000180: DUP1
00000181: ISZERO
00000182: PUSH2 0x03b9
00000185: JUMPI
00000186: JUMPDEST
00000187: ISZERO
00000188: PUSH2 0x0336
0000018b: JUMPI
0000018c: DUP3
0000018d: PUSH21 0x010000000000000000000000000000000000000000
000001a3: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000001c4: DUP4
000001c5: AND
000001c6: OR
000001c7: DUP6
000001c8: SSTORE
000001c9: PUSH2 0x02f4
000001cc: JUMPI
000001cd: JUMPDEST
000001ce: POP
000001cf: DUP3
000001d0: SLOAD
000001d1: SWAP4
000001d2: PUSH1 0xff
000001d4: DUP6
000001d5: PUSH1 0xa8
000001d7: SHR
000001d8: AND
000001d9: ISZERO
000001da: PUSH2 0x0271
000001dd: JUMPI
000001de: POP
000001df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f4: AND
000001f5: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000216: PUSH0
00000217: SLOAD
00000218: AND
00000219: OR
0000021a: PUSH0
0000021b: SSTORE
0000021c: PUSH2 0x0221
0000021f: JUMPI
00000220: STOP
00000221: JUMPDEST
00000222: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000243: SWAP3
00000244: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff
00000265: PUSH1 0x20
00000267: SWAP4
00000268: AND
00000269: DUP3
0000026a: SSTORE
0000026b: MLOAD
0000026c: SWAP1
0000026d: DUP2
0000026e: MSTORE
0000026f: LOG1
00000270: STOP
00000271: JUMPDEST
00000272: PUSH1 0x84
00000274: SWAP1
00000275: PUSH1 0x20
00000277: DUP8
00000278: MLOAD
00000279: SWAP2
0000027a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000029b: DUP4
0000029c: MSTORE
0000029d: DUP3
0000029e: ADD
0000029f: MSTORE
000002a0: PUSH1 0x2b
000002a2: PUSH1 0x24
000002a4: DUP3
000002a5: ADD
000002a6: MSTORE
000002a7: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000002c8: PUSH1 0x44
000002ca: DUP3
000002cb: ADD
000002cc: MSTORE
000002cd: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000
000002ee: PUSH1 0x64
000002f0: DUP3
000002f1: ADD
000002f2: MSTORE
000002f3: REVERT
000002f4: JUMPDEST
000002f5: PUSH32 0xffffffffffffffffffff0000ffffffffffffffffffffffffffffffffffffffff
00000316: AND
00000317: PUSH22 0x01010000000000000000000000000000000000000000
0000032e: OR
0000032f: DUP4
00000330: SSTORE
00000331: PUSH0
00000332: PUSH2 0x01cd
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x84
00000339: DUP6
0000033a: PUSH1 0x20
0000033c: DUP9
0000033d: MLOAD
0000033e: SWAP2
0000033f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000360: DUP4
00000361: MSTORE
00000362: DUP3
00000363: ADD
00000364: MSTORE
00000365: PUSH1 0x2e
00000367: PUSH1 0x24
00000369: DUP3
0000036a: ADD
0000036b: MSTORE
0000036c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
0000038d: PUSH1 0x44
0000038f: DUP3
00000390: ADD
00000391: MSTORE
00000392: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
000003b3: PUSH1 0x64
000003b5: DUP3
000003b6: ADD
000003b7: MSTORE
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: ADDRESS
000003bc: EXTCODESIZE
000003bd: ISZERO
000003be: DUP1
000003bf: ISZERO
000003c0: PUSH2 0x0186
000003c3: JUMPI
000003c4: POP
000003c5: DUP4
000003c6: PUSH1 0xff
000003c8: DUP3
000003c9: PUSH1 0xa0
000003cb: SHR
000003cc: AND
000003cd: EQ
000003ce: PUSH2 0x0186
000003d1: JUMP
000003d2: JUMPDEST
000003d3: POP
000003d4: DUP4
000003d5: PUSH1 0xff
000003d7: DUP3
000003d8: PUSH1 0xa0
000003da: SHR
000003db: AND
000003dc: LT
000003dd: PUSH2 0x017f
000003e0: JUMP
000003e1: JUMPDEST
000003e2: SWAP1
000003e3: POP
000003e4: CALLVALUE
000003e5: PUSH2 0x012b
000003e8: JUMPI
000003e9: DUP2
000003ea: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000040b: CALLDATASIZE
0000040c: ADD
0000040d: SLT
0000040e: PUSH2 0x012b
00000411: JUMPI
00000412: PUSH2 0x0419
00000415: PUSH2 0x13cf
00000418: JUMP
00000419: JUMPDEST
0000041a: SWAP1
0000041b: PUSH1 0x24
0000041d: CALLDATALOAD
0000041e: SWAP1
0000041f: PUSH8 0xffffffffffffffff
00000428: DUP3
00000429: GT
0000042a: PUSH2 0x012b
0000042d: JUMPI
0000042e: PUSH2 0x0439
00000431: SWAP2
00000432: CALLDATASIZE
00000433: SWAP2
00000434: ADD
00000435: PUSH2 0x150d
00000438: JUMP
00000439: JUMPDEST
0000043a: SWAP2
0000043b: DUP3
0000043c: MLOAD
0000043d: PUSH2 0x0445
00000440: DUP2
00000441: PUSH2 0x18fb
00000444: JUMP
00000445: JUMPDEST
00000446: SWAP3
00000447: PUSH0
00000448: JUMPDEST
00000449: DUP3
0000044a: DUP2
0000044b: LT
0000044c: PUSH2 0x0460
0000044f: JUMPI
00000450: DUP4
00000451: MLOAD
00000452: DUP1
00000453: PUSH2 0x045c
00000456: DUP8
00000457: DUP3
00000458: PUSH2 0x1745
0000045b: JUMP
0000045c: JUMPDEST
0000045d: SUB
0000045e: SWAP1
0000045f: RETURN
00000460: JUMPDEST
00000461: PUSH1 0x01
00000463: SWAP1
00000464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000479: DUP1
0000047a: PUSH2 0x0483
0000047d: DUP4
0000047e: DUP11
0000047f: PUSH2 0x194a
00000482: JUMP
00000483: JUMPDEST
00000484: MLOAD
00000485: AND
00000486: SWAP1
00000487: DUP2
00000488: PUSH0
00000489: MSTORE
0000048a: PUSH1 0x20
0000048c: SWAP2
0000048d: PUSH1 0x34
0000048f: DUP4
00000490: MSTORE
00000491: DUP8
00000492: PUSH0
00000493: KECCAK256
00000494: CALLER
00000495: PUSH0
00000496: MSTORE
00000497: DUP4
00000498: MSTORE
00000499: DUP8
0000049a: PUSH0
0000049b: KECCAK256
0000049c: SLOAD
0000049d: DUP2
0000049e: PUSH0
0000049f: MSTORE
000004a0: PUSH1 0x33
000004a2: DUP1
000004a3: DUP6
000004a4: MSTORE
000004a5: DUP10
000004a6: PUSH0
000004a7: KECCAK256
000004a8: CALLER
000004a9: PUSH0
000004aa: MSTORE
000004ab: DUP6
000004ac: MSTORE
000004ad: DUP10
000004ae: PUSH0
000004af: KECCAK256
000004b0: SLOAD
000004b1: DUP1
000004b2: DUP4
000004b3: GT
000004b4: PUSH2 0x04c4
000004b7: JUMPI
000004b8: JUMPDEST
000004b9: POP
000004ba: POP
000004bb: POP
000004bc: POP
000004bd: POP
000004be: POP
000004bf: ADD
000004c0: PUSH2 0x0448
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH2 0x04ce
000004c8: SWAP1
000004c9: DUP4
000004ca: PUSH2 0x198b
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH2 0x04d8
000004d2: DUP8
000004d3: DUP14
000004d4: PUSH2 0x194a
000004d7: JUMP
000004d8: JUMPDEST
000004d9: MSTORE
000004da: DUP3
000004db: PUSH0
000004dc: MSTORE
000004dd: DUP5
000004de: MSTORE
000004df: DUP9
000004e0: PUSH0
000004e1: KECCAK256
000004e2: CALLER
000004e3: PUSH0
000004e4: MSTORE
000004e5: DUP5
000004e6: MSTORE
000004e7: DUP9
000004e8: PUSH0
000004e9: KECCAK256
000004ea: SSTORE
000004eb: PUSH2 0x04ff
000004ee: PUSH2 0x04f7
000004f1: DUP6
000004f2: DUP12
000004f3: PUSH2 0x194a
000004f6: JUMP
000004f7: JUMPDEST
000004f8: MLOAD
000004f9: DUP8
000004fa: DUP4
000004fb: PUSH2 0x1a9e
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH32 0x913c992353dc81b7a8ba31496c484e9b6306bd2f6c509a649a38fdf5e1c953b2
00000521: PUSH2 0x052a
00000524: DUP6
00000525: DUP12
00000526: PUSH2 0x194a
00000529: JUMP
0000052a: JUMPDEST
0000052b: MLOAD
0000052c: SWAP3
0000052d: DUP10
0000052e: MLOAD
0000052f: SWAP4
00000530: DUP5
00000531: MSTORE
00000532: DUP8
00000533: AND
00000534: SWAP4
00000535: CALLER
00000536: SWAP4
00000537: LOG4
00000538: PUSH0
00000539: DUP1
0000053a: DUP1
0000053b: DUP1
0000053c: DUP1
0000053d: DUP1
0000053e: PUSH2 0x04b8
00000541: JUMP
00000542: JUMPDEST
00000543: SWAP1
00000544: POP
00000545: CALLVALUE
00000546: PUSH2 0x012b
00000549: JUMPI
0000054a: PUSH2 0x0552
0000054d: CALLDATASIZE
0000054e: PUSH2 0x158a
00000551: JUMP
00000552: JUMPDEST
00000553: SWAP2
00000554: SWAP4
00000555: SWAP3
00000556: DUP5
00000557: MLOAD
00000558: DUP3
00000559: MLOAD
0000055a: DUP2
0000055b: EQ
0000055c: SWAP1
0000055d: DUP2
0000055e: ISZERO
0000055f: SWAP2
00000560: PUSH2 0x06bc
00000563: JUMPI
00000564: JUMPDEST
00000565: POP
00000566: PUSH2 0x0694
00000569: JUMPI
0000056a: DUP5
0000056b: MLOAD
0000056c: SWAP4
0000056d: PUSH2 0x0575
00000570: DUP6
00000571: PUSH2 0x18fb
00000574: JUMP
00000575: JUMPDEST
00000576: SWAP6
00000577: PUSH0
00000578: JUMPDEST
00000579: DUP7
0000057a: DUP2
0000057b: LT
0000057c: PUSH2 0x058c
0000057f: JUMPI
00000580: DUP9
00000581: MLOAD
00000582: DUP1
00000583: PUSH2 0x045c
00000586: DUP11
00000587: DUP3
00000588: PUSH2 0x1745
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a2: DUP1
000005a3: PUSH2 0x05ac
000005a6: DUP4
000005a7: DUP6
000005a8: PUSH2 0x194a
000005ab: JUMP
000005ac: JUMPDEST
000005ad: MLOAD
000005ae: AND
000005af: PUSH2 0x05b8
000005b2: DUP4
000005b3: DUP9
000005b4: PUSH2 0x194a
000005b7: JUMP
000005b8: JUMPDEST
000005b9: MLOAD
000005ba: SWAP2
000005bb: PUSH2 0x05d0
000005be: PUSH2 0x05c7
000005c1: DUP6
000005c2: DUP12
000005c3: PUSH2 0x194a
000005c6: JUMP
000005c7: JUMPDEST
000005c8: MLOAD
000005c9: DUP5
000005ca: CALLER
000005cb: DUP6
000005cc: PUSH2 0x19c5
000005cf: JUMP
000005d0: JUMPDEST
000005d1: ISZERO
000005d2: PUSH2 0x066c
000005d5: JUMPI
000005d6: DUP2
000005d7: PUSH32 0x913c992353dc81b7a8ba31496c484e9b6306bd2f6c509a649a38fdf5e1c953b2
000005f8: DUP14
000005f9: SWAP3
000005fa: PUSH2 0x065a
000005fd: DUP8
000005fe: DUP16
000005ff: PUSH1 0x01
00000601: SWAP10
00000602: SWAP9
00000603: SWAP8
00000604: PUSH0
00000605: MSTORE
00000606: PUSH1 0x33
00000608: SWAP8
00000609: PUSH1 0x20
0000060b: SWAP9
0000060c: DUP1
0000060d: DUP11
0000060e: MSTORE
0000060f: DUP9
00000610: PUSH0
00000611: KECCAK256
00000612: CALLER
00000613: PUSH0
00000614: MSTORE
00000615: DUP11
00000616: MSTORE
00000617: PUSH2 0x0623
0000061a: DUP10
0000061b: PUSH0
0000061c: KECCAK256
0000061d: SLOAD
0000061e: DUP4
0000061f: PUSH2 0x198b
00000622: JUMP
00000623: JUMPDEST
00000624: PUSH2 0x062d
00000627: DUP6
00000628: DUP6
00000629: PUSH2 0x194a
0000062c: JUMP
0000062d: JUMPDEST
0000062e: MSTORE
0000062f: DUP8
00000630: PUSH0
00000631: MSTORE
00000632: DUP10
00000633: MSTORE
00000634: DUP8
00000635: PUSH0
00000636: KECCAK256
00000637: CALLER
00000638: PUSH0
00000639: MSTORE
0000063a: DUP10
0000063b: MSTORE
0000063c: DUP8
0000063d: PUSH0
0000063e: KECCAK256
0000063f: SSTORE
00000640: PUSH2 0x0655
00000643: DUP14
00000644: PUSH2 0x064d
00000647: DUP5
00000648: DUP5
00000649: PUSH2 0x194a
0000064c: JUMP
0000064d: JUMPDEST
0000064e: MLOAD
0000064f: SWAP1
00000650: DUP9
00000651: PUSH2 0x1a9e
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH2 0x194a
00000659: JUMP
0000065a: JUMPDEST
0000065b: MLOAD
0000065c: SWAP4
0000065d: MLOAD
0000065e: SWAP4
0000065f: DUP5
00000660: MSTORE
00000661: DUP10
00000662: AND
00000663: SWAP4
00000664: CALLER
00000665: SWAP4
00000666: LOG4
00000667: ADD
00000668: PUSH2 0x0578
0000066b: JUMP
0000066c: JUMPDEST
0000066d: DUP6
0000066e: DUP13
0000066f: MLOAD
00000670: PUSH32 0xb05e92fa00000000000000000000000000000000000000000000000000000000
00000691: DUP2
00000692: MSTORE
00000693: REVERT
00000694: JUMPDEST
00000695: DUP4
00000696: DUP7
00000697: MLOAD
00000698: PUSH32 0xa24a13a600000000000000000000000000000000000000000000000000000000
000006b9: DUP2
000006ba: MSTORE
000006bb: REVERT
000006bc: JUMPDEST
000006bd: SWAP1
000006be: POP
000006bf: DUP4
000006c0: MLOAD
000006c1: EQ
000006c2: ISZERO
000006c3: PUSH0
000006c4: PUSH2 0x0564
000006c7: JUMP
000006c8: JUMPDEST
000006c9: DUP3
000006ca: CALLVALUE
000006cb: PUSH2 0x012b
000006ce: JUMPI
000006cf: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000006f0: CALLDATASIZE
000006f1: ADD
000006f2: SLT
000006f3: PUSH2 0x012b
000006f6: JUMPI
000006f7: PUSH2 0x001c
000006fa: PUSH2 0x0701
000006fd: PUSH2 0x13cf
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH2 0x0723
00000705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071a: PUSH0
0000071b: SLOAD
0000071c: AND
0000071d: CALLER
0000071e: EQ
0000071f: PUSH2 0x1780
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH1 0x24
00000726: CALLDATALOAD
00000727: SWAP1
00000728: CALLER
00000729: SWAP1
0000072a: PUSH2 0x1a9e
0000072d: JUMP
0000072e: JUMPDEST
0000072f: DUP3
00000730: CALLVALUE
00000731: PUSH2 0x012b
00000734: JUMPI
00000735: PUSH0
00000736: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000757: CALLDATASIZE
00000758: ADD
00000759: SLT
0000075a: PUSH2 0x012b
0000075d: JUMPI
0000075e: PUSH1 0x20
00000760: SWAP1
00000761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000776: PUSH0
00000777: SLOAD
00000778: AND
00000779: SWAP1
0000077a: MLOAD
0000077b: SWAP1
0000077c: DUP2
0000077d: MSTORE
0000077e: RETURN
0000077f: JUMPDEST
00000780: PUSH1 0x20
00000782: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007a3: CALLDATASIZE
000007a4: ADD
000007a5: SLT
000007a6: PUSH2 0x012b
000007a9: JUMPI
000007aa: CALLDATALOAD
000007ab: PUSH2 0x07cc
000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c3: PUSH0
000007c4: SLOAD
000007c5: AND
000007c6: CALLER
000007c7: EQ
000007c8: PUSH2 0x1780
000007cb: JUMP
000007cc: JUMPDEST
000007cd: DUP1
000007ce: PUSH1 0x32
000007d0: SSTORE
000007d1: PUSH32 0x914960aef5e033ce5cae8a7992d4b7a6f0f9741227b66acb67c605b7019f8a46
000007f2: PUSH0
000007f3: DUP1
000007f4: LOG2
000007f5: STOP
000007f6: JUMPDEST
000007f7: SWAP1
000007f8: POP
000007f9: CALLVALUE
000007fa: PUSH2 0x012b
000007fd: JUMPI
000007fe: PUSH2 0x0806
00000801: CALLDATASIZE
00000802: PUSH2 0x158a
00000805: JUMP
00000806: JUMPDEST
00000807: DUP3
00000808: SWAP5
00000809: SWAP4
0000080a: SWAP3
0000080b: MLOAD
0000080c: SWAP4
0000080d: PUSH2 0x0815
00000810: DUP6
00000811: PUSH2 0x18fb
00000814: JUMP
00000815: JUMPDEST
00000816: SWAP6
00000817: PUSH0
00000818: JUMPDEST
00000819: DUP7
0000081a: DUP2
0000081b: LT
0000081c: PUSH2 0x082c
0000081f: JUMPI
00000820: DUP9
00000821: MLOAD
00000822: DUP1
00000823: PUSH2 0x045c
00000826: DUP11
00000827: DUP3
00000828: PUSH2 0x1745
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000842: DUP1
00000843: PUSH2 0x084c
00000846: DUP4
00000847: DUP6
00000848: PUSH2 0x194a
0000084b: JUMP
0000084c: JUMPDEST
0000084d: MLOAD
0000084e: AND
0000084f: SWAP1
00000850: PUSH2 0x0859
00000853: DUP4
00000854: DUP9
00000855: PUSH2 0x194a
00000858: JUMP
00000859: JUMPDEST
0000085a: MLOAD
0000085b: PUSH2 0x0870
0000085e: PUSH2 0x0867
00000861: DUP6
00000862: DUP10
00000863: PUSH2 0x194a
00000866: JUMP
00000867: JUMPDEST
00000868: MLOAD
00000869: DUP3
0000086a: DUP12
0000086b: DUP7
0000086c: PUSH2 0x19c5
0000086f: JUMP
00000870: JUMPDEST
00000871: ISZERO
00000872: PUSH2 0x066c
00000875: JUMPI
00000876: SWAP2
00000877: PUSH32 0x7216f374777f87941484a5a6a408292cb809eb2ec919b114c1b4fbfb11137f3c
00000898: DUP10
00000899: SWAP3
0000089a: DUP14
0000089b: PUSH2 0x08e8
0000089e: DUP8
0000089f: DUP16
000008a0: PUSH1 0x01
000008a2: SWAP10
000008a3: SWAP9
000008a4: DUP8
000008a5: PUSH0
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: SWAP6
000008aa: PUSH1 0x33
000008ac: DUP8
000008ad: MSTORE
000008ae: DUP6
000008af: PUSH0
000008b0: KECCAK256
000008b1: SWAP10
000008b2: AND
000008b3: SWAP9
000008b4: DUP10
000008b5: PUSH0
000008b6: MSTORE
000008b7: DUP7
000008b8: MSTORE
000008b9: PUSH2 0x08c5
000008bc: DUP6
000008bd: PUSH0
000008be: KECCAK256
000008bf: SLOAD
000008c0: DUP3
000008c1: PUSH2 0x198b
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH2 0x08cf
000008c9: DUP5
000008ca: DUP5
000008cb: PUSH2 0x194a
000008ce: JUMP
000008cf: JUMPDEST
000008d0: MSTORE
000008d1: DUP8
000008d2: PUSH0
000008d3: MSTORE
000008d4: PUSH1 0x34
000008d6: DUP7
000008d7: MSTORE
000008d8: DUP5
000008d9: PUSH0
000008da: KECCAK256
000008db: DUP10
000008dc: PUSH0
000008dd: MSTORE
000008de: DUP7
000008df: MSTORE
000008e0: DUP5
000008e1: PUSH0
000008e2: KECCAK256
000008e3: SSTORE
000008e4: PUSH2 0x194a
000008e7: JUMP
000008e8: JUMPDEST
000008e9: MLOAD
000008ea: SWAP1
000008eb: MLOAD
000008ec: SWAP1
000008ed: DUP2
000008ee: MSTORE
000008ef: LOG3
000008f0: ADD
000008f1: PUSH2 0x0818
000008f4: JUMP
000008f5: JUMPDEST
000008f6: SWAP1
000008f7: POP
000008f8: CALLVALUE
000008f9: PUSH2 0x012b
000008fc: JUMPI
000008fd: PUSH0
000008fe: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000091f: CALLDATASIZE
00000920: ADD
00000921: SLT
00000922: PUSH2 0x012b
00000925: JUMPI
00000926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093b: PUSH32 0x000000000000000000000000c7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7
0000095c: AND
0000095d: ADDRESS
0000095e: SUB
0000095f: PUSH2 0x098b
00000962: JUMPI
00000963: PUSH1 0x20
00000965: DUP3
00000966: MLOAD
00000967: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000988: DUP2
00000989: MSTORE
0000098a: RETURN
0000098b: JUMPDEST
0000098c: PUSH1 0x20
0000098e: PUSH1 0x84
00000990: SWAP3
00000991: MLOAD
00000992: SWAP2
00000993: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009b4: DUP4
000009b5: MSTORE
000009b6: DUP3
000009b7: ADD
000009b8: MSTORE
000009b9: PUSH1 0x38
000009bb: PUSH1 0x24
000009bd: DUP3
000009be: ADD
000009bf: MSTORE
000009c0: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c
000009e1: PUSH1 0x44
000009e3: DUP3
000009e4: ADD
000009e5: MSTORE
000009e6: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000
00000a07: PUSH1 0x64
00000a09: DUP3
00000a0a: ADD
00000a0b: MSTORE
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: SWAP1
00000a0f: POP
00000a10: DUP2
00000a11: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a32: CALLDATASIZE
00000a33: ADD
00000a34: SLT
00000a35: PUSH2 0x012b
00000a38: JUMPI
00000a39: PUSH2 0x0a40
00000a3c: PUSH2 0x13cf
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: SWAP1
00000a42: PUSH1 0x24
00000a44: CALLDATALOAD
00000a45: SWAP3
00000a46: PUSH8 0xffffffffffffffff
00000a4f: DUP5
00000a50: GT
00000a51: PUSH2 0x012b
00000a54: JUMPI
00000a55: CALLDATASIZE
00000a56: PUSH1 0x23
00000a58: DUP6
00000a59: ADD
00000a5a: SLT
00000a5b: ISZERO
00000a5c: PUSH2 0x012b
00000a5f: JUMPI
00000a60: DUP4
00000a61: DUP3
00000a62: ADD
00000a63: CALLDATALOAD
00000a64: SWAP1
00000a65: PUSH2 0x0a6d
00000a68: DUP3
00000a69: PUSH2 0x14bb
00000a6c: JUMP
00000a6d: JUMPDEST
00000a6e: PUSH2 0x0a79
00000a71: DUP3
00000a72: MLOAD
00000a73: SWAP2
00000a74: DUP3
00000a75: PUSH2 0x147a
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: DUP3
00000a7b: DUP2
00000a7c: MSTORE
00000a7d: PUSH1 0x20
00000a7f: SWAP3
00000a80: DUP4
00000a81: DUP3
00000a82: ADD
00000a83: SWAP7
00000a84: CALLDATASIZE
00000a85: PUSH1 0x24
00000a87: DUP4
00000a88: DUP4
00000a89: ADD
00000a8a: ADD
00000a8b: GT
00000a8c: PUSH2 0x012b
00000a8f: JUMPI
00000a90: DUP2
00000a91: PUSH0
00000a92: SWAP3
00000a93: PUSH1 0x24
00000a95: DUP8
00000a96: SWAP4
00000a97: ADD
00000a98: DUP11
00000a99: CALLDATACOPY
00000a9a: DUP4
00000a9b: ADD
00000a9c: ADD
00000a9d: MSTORE
00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab3: DUP1
00000ab4: PUSH32 0x000000000000000000000000c7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7
00000ad5: AND
00000ad6: SWAP1
00000ad7: PUSH2 0x0ae2
00000ada: DUP3
00000adb: ADDRESS
00000adc: EQ
00000add: ISZERO
00000ade: PUSH2 0x17e5
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH2 0x0b11
00000ae6: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000b07: SWAP3
00000b08: DUP3
00000b09: DUP5
00000b0a: SLOAD
00000b0b: AND
00000b0c: EQ
00000b0d: PUSH2 0x1870
00000b10: JUMP
00000b11: JUMPDEST
00000b12: PUSH2 0x0b1f
00000b15: DUP2
00000b16: PUSH0
00000b17: SLOAD
00000b18: AND
00000b19: CALLER
00000b1a: EQ
00000b1b: PUSH2 0x1780
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143
00000b41: SLOAD
00000b42: PUSH1 0xff
00000b44: AND
00000b45: ISZERO
00000b46: PUSH2 0x0b59
00000b49: JUMPI
00000b4a: POP
00000b4b: POP
00000b4c: POP
00000b4d: POP
00000b4e: POP
00000b4f: POP
00000b50: PUSH2 0x001c
00000b53: SWAP2
00000b54: POP
00000b55: PUSH2 0x1c9f
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: DUP7
00000b5b: SWAP4
00000b5c: SWAP5
00000b5d: SWAP6
00000b5e: SWAP7
00000b5f: AND
00000b60: SWAP1
00000b61: DUP5
00000b62: MLOAD
00000b63: PUSH32 0x52d1902d00000000000000000000000000000000000000000000000000000000
00000b84: DUP2
00000b85: MSTORE
00000b86: DUP7
00000b87: DUP2
00000b88: DUP10
00000b89: DUP2
00000b8a: DUP7
00000b8b: GAS
00000b8c: STATICCALL
00000b8d: PUSH0
00000b8e: SWAP2
00000b8f: DUP2
00000b90: PUSH2 0x0d63
00000b93: JUMPI
00000b94: JUMPDEST
00000b95: POP
00000b96: PUSH2 0x0c1b
00000b99: JUMPI
00000b9a: PUSH1 0x84
00000b9c: DUP9
00000b9d: DUP9
00000b9e: DUP9
00000b9f: MLOAD
00000ba0: SWAP2
00000ba1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bc2: DUP4
00000bc3: MSTORE
00000bc4: DUP3
00000bc5: ADD
00000bc6: MSTORE
00000bc7: PUSH1 0x2e
00000bc9: PUSH1 0x24
00000bcb: DUP3
00000bcc: ADD
00000bcd: MSTORE
00000bce: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469
00000bef: PUSH1 0x44
00000bf1: DUP3
00000bf2: ADD
00000bf3: MSTORE
00000bf4: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000
00000c15: PUSH1 0x64
00000c17: DUP3
00000c18: ADD
00000c19: MSTORE
00000c1a: REVERT
00000c1b: JUMPDEST
00000c1c: SWAP7
00000c1d: SWAP2
00000c1e: SWAP3
00000c1f: SWAP5
00000c20: SWAP4
00000c21: SWAP6
00000c22: SWAP7
00000c23: SUB
00000c24: PUSH2 0x0ce1
00000c27: JUMPI
00000c28: POP
00000c29: PUSH2 0x0c31
00000c2c: DUP5
00000c2d: PUSH2 0x1c9f
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00000c53: PUSH0
00000c54: DUP1
00000c55: LOG2
00000c56: DUP2
00000c57: MLOAD
00000c58: ISZERO
00000c59: DUP1
00000c5a: ISZERO
00000c5b: SWAP1
00000c5c: PUSH2 0x0cd9
00000c5f: JUMPI
00000c60: JUMPDEST
00000c61: PUSH2 0x0c66
00000c64: JUMPI
00000c65: STOP
00000c66: JUMPDEST
00000c67: PUSH2 0x001c
00000c6a: SWAP5
00000c6b: PUSH0
00000c6c: SWAP3
00000c6d: PUSH32 0x206661696c656400000000000000000000000000000000000000000000000000
00000c8e: DUP4
00000c8f: PUSH32 0x416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c
00000cb0: DUP7
00000cb1: SWAP6
00000cb2: MLOAD
00000cb3: SWAP9
00000cb4: PUSH2 0x0cbc
00000cb7: DUP11
00000cb8: PUSH2 0x1415
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x27
00000cbf: DUP11
00000cc0: MSTORE
00000cc1: DUP10
00000cc2: ADD
00000cc3: MSTORE
00000cc4: DUP8
00000cc5: ADD
00000cc6: MSTORE
00000cc7: MLOAD
00000cc8: SWAP1
00000cc9: DUP5
00000cca: GAS
00000ccb: DELEGATECALL
00000ccc: PUSH2 0x0cd3
00000ccf: PUSH2 0x1a6f
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: SWAP2
00000cd5: PUSH2 0x1d8b
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: POP
00000cdb: PUSH1 0x01
00000cdd: PUSH2 0x0c60
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: PUSH1 0x84
00000ce4: SWAP1
00000ce5: DUP7
00000ce6: DUP5
00000ce7: MLOAD
00000ce8: SWAP2
00000ce9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d0a: DUP4
00000d0b: MSTORE
00000d0c: DUP3
00000d0d: ADD
00000d0e: MSTORE
00000d0f: PUSH1 0x29
00000d11: PUSH1 0x24
00000d13: DUP3
00000d14: ADD
00000d15: MSTORE
00000d16: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78
00000d37: PUSH1 0x44
00000d39: DUP3
00000d3a: ADD
00000d3b: MSTORE
00000d3c: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000
00000d5d: PUSH1 0x64
00000d5f: DUP3
00000d60: ADD
00000d61: MSTORE
00000d62: REVERT
00000d63: JUMPDEST
00000d64: SWAP1
00000d65: SWAP2
00000d66: POP
00000d67: DUP8
00000d68: DUP2
00000d69: DUP2
00000d6a: RETURNDATASIZE
00000d6b: DUP4
00000d6c: GT
00000d6d: PUSH2 0x0d8b
00000d70: JUMPI
00000d71: JUMPDEST
00000d72: PUSH2 0x0d7b
00000d75: DUP2
00000d76: DUP4
00000d77: PUSH2 0x147a
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: DUP2
00000d7d: ADD
00000d7e: SUB
00000d7f: SLT
00000d80: PUSH2 0x012b
00000d83: JUMPI
00000d84: MLOAD
00000d85: SWAP1
00000d86: PUSH0
00000d87: PUSH2 0x0b94
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: POP
00000d8d: RETURNDATASIZE
00000d8e: PUSH2 0x0d71
00000d91: JUMP
00000d92: JUMPDEST
00000d93: DUP3
00000d94: CALLVALUE
00000d95: PUSH2 0x012b
00000d98: JUMPI
00000d99: PUSH0
00000d9a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000dbb: CALLDATASIZE
00000dbc: ADD
00000dbd: SLT
00000dbe: PUSH2 0x012b
00000dc1: JUMPI
00000dc2: PUSH1 0x01
00000dc4: SLOAD
00000dc5: SWAP1
00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddb: SWAP3
00000ddc: DUP4
00000ddd: DUP4
00000dde: AND
00000ddf: SWAP2
00000de0: DUP3
00000de1: CALLER
00000de2: SUB
00000de3: PUSH2 0x0e3f
00000de6: JUMPI
00000de7: POP
00000de8: POP
00000de9: DUP1
00000dea: PUSH0
00000deb: SLOAD
00000dec: SWAP4
00000ded: DUP5
00000dee: AND
00000def: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e10: PUSH0
00000e11: DUP1
00000e12: LOG3
00000e13: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000e34: SWAP3
00000e35: DUP4
00000e36: AND
00000e37: OR
00000e38: PUSH0
00000e39: SSTORE
00000e3a: AND
00000e3b: PUSH1 0x01
00000e3d: SSTORE
00000e3e: STOP
00000e3f: JUMPDEST
00000e40: SWAP1
00000e41: PUSH1 0x20
00000e43: PUSH1 0x64
00000e45: SWAP3
00000e46: MLOAD
00000e47: SWAP2
00000e48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e69: DUP4
00000e6a: MSTORE
00000e6b: DUP3
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH1 0x20
00000e70: PUSH1 0x24
00000e72: DUP3
00000e73: ADD
00000e74: MSTORE
00000e75: PUSH32 0x4f776e61626c653a2063616c6c657220213d2070656e64696e67206f776e6572
00000e96: PUSH1 0x44
00000e98: DUP3
00000e99: ADD
00000e9a: MSTORE
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: DUP3
00000e9e: CALLVALUE
00000e9f: PUSH2 0x012b
00000ea2: JUMPI
00000ea3: DUP1
00000ea4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ec5: CALLDATASIZE
00000ec6: ADD
00000ec7: SLT
00000ec8: PUSH2 0x012b
00000ecb: JUMPI
00000ecc: PUSH1 0x20
00000ece: SWAP1
00000ecf: PUSH2 0x0ed6
00000ed2: PUSH2 0x13cf
00000ed5: JUMP
00000ed6: JUMPDEST
00000ed7: PUSH2 0x0ede
00000eda: PUSH2 0x13f2
00000edd: JUMP
00000ede: JUMPDEST
00000edf: SWAP1
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: DUP1
00000ef6: SWAP2
00000ef7: AND
00000ef8: PUSH0
00000ef9: MSTORE
00000efa: PUSH1 0x34
00000efc: DUP5
00000efd: MSTORE
00000efe: DUP3
00000eff: PUSH0
00000f00: KECCAK256
00000f01: SWAP2
00000f02: AND
00000f03: PUSH0
00000f04: MSTORE
00000f05: DUP3
00000f06: MSTORE
00000f07: DUP1
00000f08: PUSH0
00000f09: KECCAK256
00000f0a: SLOAD
00000f0b: SWAP1
00000f0c: MLOAD
00000f0d: SWAP1
00000f0e: DUP2
00000f0f: MSTORE
00000f10: RETURN
00000f11: JUMPDEST
00000f12: SWAP1
00000f13: POP
00000f14: CALLVALUE
00000f15: PUSH2 0x012b
00000f18: JUMPI
00000f19: PUSH1 0x20
00000f1b: SWAP1
00000f1c: DUP2
00000f1d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000f3e: CALLDATASIZE
00000f3f: ADD
00000f40: SLT
00000f41: PUSH2 0x012b
00000f44: JUMPI
00000f45: PUSH2 0x0f4c
00000f48: PUSH2 0x13cf
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: SWAP2
00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f63: SWAP4
00000f64: DUP5
00000f65: PUSH32 0x000000000000000000000000c7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7
00000f86: AND
00000f87: PUSH2 0x0f92
00000f8a: DUP2
00000f8b: ADDRESS
00000f8c: EQ
00000f8d: ISZERO
00000f8e: PUSH2 0x17e5
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH2 0x0fc1
00000f96: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00000fb7: SWAP2
00000fb8: DUP8
00000fb9: DUP4
00000fba: SLOAD
00000fbb: AND
00000fbc: EQ
00000fbd: PUSH2 0x1870
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: PUSH2 0x0fcf
00000fc5: DUP7
00000fc6: PUSH0
00000fc7: SLOAD
00000fc8: AND
00000fc9: CALLER
00000fca: EQ
00000fcb: PUSH2 0x1780
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: DUP2
00000fd1: MLOAD
00000fd2: SWAP1
00000fd3: DUP4
00000fd4: DUP3
00000fd5: ADD
00000fd6: SWAP7
00000fd7: DUP3
00000fd8: DUP9
00000fd9: LT
00000fda: PUSH8 0xffffffffffffffff
00000fe3: DUP10
00000fe4: GT
00000fe5: OR
00000fe6: PUSH2 0x116b
00000fe9: JUMPI
00000fea: DUP8
00000feb: DUP5
00000fec: MSTORE
00000fed: PUSH0
00000fee: DUP4
00000fef: MSTORE
00000ff0: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143
00001011: SLOAD
00001012: PUSH1 0xff
00001014: AND
00001015: ISZERO
00001016: PUSH2 0x1029
00001019: JUMPI
0000101a: POP
0000101b: POP
0000101c: POP
0000101d: POP
0000101e: POP
0000101f: POP
00001020: PUSH2 0x001c
00001023: SWAP2
00001024: POP
00001025: PUSH2 0x1c9f
00001028: JUMP
00001029: JUMPDEST
0000102a: DUP7
0000102b: SWAP4
0000102c: SWAP5
0000102d: SWAP6
0000102e: SWAP7
0000102f: AND
00001030: SWAP1
00001031: DUP5
00001032: MLOAD
00001033: PUSH32 0x52d1902d00000000000000000000000000000000000000000000000000000000
00001054: DUP2
00001055: MSTORE
00001056: DUP7
00001057: DUP2
00001058: DUP10
00001059: DUP2
0000105a: DUP7
0000105b: GAS
0000105c: STATICCALL
0000105d: PUSH0
0000105e: SWAP2
0000105f: DUP2
00001060: PUSH2 0x113c
00001063: JUMPI
00001064: JUMPDEST
00001065: POP
00001066: PUSH2 0x10eb
00001069: JUMPI
0000106a: PUSH1 0x84
0000106c: DUP9
0000106d: DUP9
0000106e: DUP9
0000106f: MLOAD
00001070: SWAP2
00001071: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001092: DUP4
00001093: MSTORE
00001094: DUP3
00001095: ADD
00001096: MSTORE
00001097: PUSH1 0x2e
00001099: PUSH1 0x24
0000109b: DUP3
0000109c: ADD
0000109d: MSTORE
0000109e: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469
000010bf: PUSH1 0x44
000010c1: DUP3
000010c2: ADD
000010c3: MSTORE
000010c4: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000
000010e5: PUSH1 0x64
000010e7: DUP3
000010e8: ADD
000010e9: MSTORE
000010ea: REVERT
000010eb: JUMPDEST
000010ec: SWAP7
000010ed: SWAP2
000010ee: SWAP3
000010ef: SWAP5
000010f0: SWAP4
000010f1: SWAP6
000010f2: SWAP7
000010f3: SUB
000010f4: PUSH2 0x0ce1
000010f7: JUMPI
000010f8: POP
000010f9: PUSH2 0x1101
000010fc: DUP5
000010fd: PUSH2 0x1c9f
00001100: JUMP
00001101: JUMPDEST
00001102: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00001123: PUSH0
00001124: DUP1
00001125: LOG2
00001126: DUP2
00001127: MLOAD
00001128: ISZERO
00001129: DUP1
0000112a: ISZERO
0000112b: SWAP1
0000112c: PUSH2 0x1135
0000112f: JUMPI
00001130: PUSH2 0x0c66
00001133: JUMPI
00001134: STOP
00001135: JUMPDEST
00001136: POP
00001137: PUSH0
00001138: PUSH2 0x0c60
0000113b: JUMP
0000113c: JUMPDEST
0000113d: SWAP1
0000113e: SWAP2
0000113f: POP
00001140: DUP8
00001141: DUP2
00001142: DUP2
00001143: RETURNDATASIZE
00001144: DUP4
00001145: GT
00001146: PUSH2 0x1164
00001149: JUMPI
0000114a: JUMPDEST
0000114b: PUSH2 0x1154
0000114e: DUP2
0000114f: DUP4
00001150: PUSH2 0x147a
00001153: JUMP
00001154: JUMPDEST
00001155: DUP2
00001156: ADD
00001157: SUB
00001158: SLT
00001159: PUSH2 0x012b
0000115c: JUMPI
0000115d: MLOAD
0000115e: SWAP1
0000115f: PUSH0
00001160: PUSH2 0x1064
00001163: JUMP
00001164: JUMPDEST
00001165: POP
00001166: RETURNDATASIZE
00001167: PUSH2 0x114a
0000116a: JUMP
0000116b: JUMPDEST
0000116c: PUSH1 0x41
0000116e: DUP7
0000116f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001190: PUSH0
00001191: MSTORE
00001192: MSTORE
00001193: PUSH1 0x24
00001195: PUSH0
00001196: REVERT
00001197: JUMPDEST
00001198: DUP3
00001199: CALLVALUE
0000119a: PUSH2 0x012b
0000119d: JUMPI
0000119e: PUSH0
0000119f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011c0: CALLDATASIZE
000011c1: ADD
000011c2: SLT
000011c3: PUSH2 0x012b
000011c6: JUMPI
000011c7: PUSH1 0x20
000011c9: SWAP1
000011ca: PUSH1 0x32
000011cc: SLOAD
000011cd: SWAP1
000011ce: MLOAD
000011cf: SWAP1
000011d0: DUP2
000011d1: MSTORE
000011d2: RETURN
000011d3: JUMPDEST
000011d4: DUP3
000011d5: CALLVALUE
000011d6: PUSH2 0x012b
000011d9: JUMPI
000011da: DUP1
000011db: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011fc: CALLDATASIZE
000011fd: ADD
000011fe: SLT
000011ff: PUSH2 0x012b
00001202: JUMPI
00001203: PUSH1 0x20
00001205: SWAP1
00001206: PUSH2 0x120d
00001209: PUSH2 0x13cf
0000120c: JUMP
0000120d: JUMPDEST
0000120e: PUSH2 0x1215
00001211: PUSH2 0x13f2
00001214: JUMP
00001215: JUMPDEST
00001216: SWAP1
00001217: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122c: DUP1
0000122d: SWAP2
0000122e: AND
0000122f: PUSH0
00001230: MSTORE
00001231: PUSH1 0x33
00001233: DUP5
00001234: MSTORE
00001235: DUP3
00001236: PUSH0
00001237: KECCAK256
00001238: SWAP2
00001239: AND
0000123a: PUSH0
0000123b: MSTORE
0000123c: DUP3
0000123d: MSTORE
0000123e: DUP1
0000123f: PUSH0
00001240: KECCAK256
00001241: SLOAD
00001242: SWAP1
00001243: MLOAD
00001244: SWAP1
00001245: DUP2
00001246: MSTORE
00001247: RETURN
00001248: JUMPDEST
00001249: DUP3
0000124a: CALLVALUE
0000124b: PUSH2 0x012b
0000124e: JUMPI
0000124f: PUSH1 0x60
00001251: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001272: CALLDATASIZE
00001273: ADD
00001274: SLT
00001275: PUSH2 0x012b
00001278: JUMPI
00001279: PUSH2 0x1280
0000127c: PUSH2 0x13cf
0000127f: JUMP
00001280: JUMPDEST
00001281: SWAP2
00001282: PUSH1 0x24
00001284: CALLDATALOAD
00001285: SWAP2
00001286: DUP3
00001287: ISZERO
00001288: ISZERO
00001289: DUP4
0000128a: SUB
0000128b: PUSH2 0x012b
0000128e: JUMPI
0000128f: PUSH1 0x44
00001291: CALLDATALOAD
00001292: SWAP3
00001293: DUP4
00001294: ISZERO
00001295: ISZERO
00001296: DUP5
00001297: SUB
00001298: PUSH2 0x012b
0000129b: JUMPI
0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b1: SWAP5
000012b2: DUP6
000012b3: SWAP2
000012b4: PUSH2 0x12c1
000012b7: DUP4
000012b8: PUSH0
000012b9: SLOAD
000012ba: AND
000012bb: CALLER
000012bc: EQ
000012bd: PUSH2 0x1780
000012c0: JUMP
000012c1: JUMPDEST
000012c2: ISZERO
000012c3: PUSH2 0x139c
000012c6: JUMPI
000012c7: AND
000012c8: SWAP3
000012c9: DUP4
000012ca: ISZERO
000012cb: SWAP1
000012cc: DUP2
000012cd: ISZERO
000012ce: SWAP2
000012cf: PUSH2 0x1394
000012d2: JUMPI
000012d3: JUMPDEST
000012d4: POP
000012d5: ISZERO
000012d6: PUSH2 0x1337
000012d9: JUMPI
000012da: POP
000012db: POP
000012dc: DUP1
000012dd: PUSH0
000012de: SLOAD
000012df: SWAP3
000012e0: DUP4
000012e1: AND
000012e2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001303: PUSH0
00001304: DUP1
00001305: LOG3
00001306: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001327: DUP1
00001328: SWAP3
00001329: AND
0000132a: OR
0000132b: PUSH0
0000132c: SSTORE
0000132d: PUSH1 0x01
0000132f: SLOAD
00001330: AND
00001331: PUSH1 0x01
00001333: SSTORE
00001334: PUSH0
00001335: DUP1
00001336: RETURN
00001337: JUMPDEST
00001338: SWAP1
00001339: PUSH1 0x20
0000133b: PUSH1 0x64
0000133d: SWAP3
0000133e: MLOAD
0000133f: SWAP2
00001340: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001361: DUP4
00001362: MSTORE
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: PUSH1 0x15
00001368: PUSH1 0x24
0000136a: DUP3
0000136b: ADD
0000136c: MSTORE
0000136d: PUSH32 0x4f776e61626c653a207a65726f20616464726573730000000000000000000000
0000138e: PUSH1 0x44
00001390: DUP3
00001391: ADD
00001392: MSTORE
00001393: REVERT
00001394: JUMPDEST
00001395: SWAP1
00001396: POP
00001397: DUP6
00001398: PUSH2 0x12d3
0000139b: JUMP
0000139c: JUMPDEST
0000139d: SWAP4
0000139e: POP
0000139f: POP
000013a0: POP
000013a1: POP
000013a2: AND
000013a3: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000013c4: PUSH1 0x01
000013c6: SLOAD
000013c7: AND
000013c8: OR
000013c9: PUSH1 0x01
000013cb: SSTORE
000013cc: PUSH0
000013cd: DUP1
000013ce: RETURN
000013cf: JUMPDEST
000013d0: PUSH1 0x04
000013d2: CALLDATALOAD
000013d3: SWAP1
000013d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e9: DUP3
000013ea: AND
000013eb: DUP3
000013ec: SUB
000013ed: PUSH2 0x012b
000013f0: JUMPI
000013f1: JUMP
000013f2: JUMPDEST
000013f3: PUSH1 0x24
000013f5: CALLDATALOAD
000013f6: SWAP1
000013f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140c: DUP3
0000140d: AND
0000140e: DUP3
0000140f: SUB
00001410: PUSH2 0x012b
00001413: JUMPI
00001414: JUMP
00001415: JUMPDEST
00001416: PUSH1 0x60
00001418: DUP2
00001419: ADD
0000141a: SWAP1
0000141b: DUP2
0000141c: LT
0000141d: PUSH8 0xffffffffffffffff
00001426: DUP3
00001427: GT
00001428: OR
00001429: PUSH2 0x1431
0000142c: JUMPI
0000142d: PUSH1 0x40
0000142f: MSTORE
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001453: PUSH0
00001454: MSTORE
00001455: PUSH1 0x41
00001457: PUSH1 0x04
00001459: MSTORE
0000145a: PUSH1 0x24
0000145c: PUSH0
0000145d: REVERT
0000145e: JUMPDEST
0000145f: PUSH1 0x80
00001461: DUP2
00001462: ADD
00001463: SWAP1
00001464: DUP2
00001465: LT
00001466: PUSH8 0xffffffffffffffff
0000146f: DUP3
00001470: GT
00001471: OR
00001472: PUSH2 0x1431
00001475: JUMPI
00001476: PUSH1 0x40
00001478: MSTORE
00001479: JUMP
0000147a: JUMPDEST
0000147b: SWAP1
0000147c: PUSH1 0x1f
0000147e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000149f: SWAP2
000014a0: ADD
000014a1: AND
000014a2: DUP2
000014a3: ADD
000014a4: SWAP1
000014a5: DUP2
000014a6: LT
000014a7: PUSH8 0xffffffffffffffff
000014b0: DUP3
000014b1: GT
000014b2: OR
000014b3: PUSH2 0x1431
000014b6: JUMPI
000014b7: PUSH1 0x40
000014b9: MSTORE
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH8 0xffffffffffffffff
000014c5: DUP2
000014c6: GT
000014c7: PUSH2 0x1431
000014ca: JUMPI
000014cb: PUSH1 0x1f
000014cd: ADD
000014ce: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000014ef: AND
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: SWAP1
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH8 0xffffffffffffffff
000014ff: DUP2
00001500: GT
00001501: PUSH2 0x1431
00001504: JUMPI
00001505: PUSH1 0x05
00001507: SHL
00001508: PUSH1 0x20
0000150a: ADD
0000150b: SWAP1
0000150c: JUMP
0000150d: JUMPDEST
0000150e: SWAP1
0000150f: DUP1
00001510: PUSH1 0x1f
00001512: DUP4
00001513: ADD
00001514: SLT
00001515: ISZERO
00001516: PUSH2 0x012b
00001519: JUMPI
0000151a: PUSH1 0x20
0000151c: SWAP1
0000151d: DUP3
0000151e: CALLDATALOAD
0000151f: PUSH2 0x1527
00001522: DUP2
00001523: PUSH2 0x14f5
00001526: JUMP
00001527: JUMPDEST
00001528: SWAP4
00001529: PUSH2 0x1535
0000152c: PUSH1 0x40
0000152e: MLOAD
0000152f: SWAP6
00001530: DUP7
00001531: PUSH2 0x147a
00001534: JUMP
00001535: JUMPDEST
00001536: DUP2
00001537: DUP6
00001538: MSTORE
00001539: PUSH1 0x20
0000153b: DUP1
0000153c: DUP7
0000153d: ADD
0000153e: SWAP3
0000153f: PUSH1 0x05
00001541: SHL
00001542: DUP3
00001543: ADD
00001544: ADD
00001545: SWAP3
00001546: DUP4
00001547: GT
00001548: PUSH2 0x012b
0000154b: JUMPI
0000154c: PUSH1 0x20
0000154e: ADD
0000154f: SWAP1
00001550: JUMPDEST
00001551: DUP3
00001552: DUP3
00001553: LT
00001554: PUSH2 0x155e
00001557: JUMPI
00001558: POP
00001559: POP
0000155a: POP
0000155b: POP
0000155c: SWAP1
0000155d: JUMP
0000155e: JUMPDEST
0000155f: DUP2
00001560: CALLDATALOAD
00001561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001576: DUP2
00001577: AND
00001578: DUP2
00001579: SUB
0000157a: PUSH2 0x012b
0000157d: JUMPI
0000157e: DUP2
0000157f: MSTORE
00001580: SWAP1
00001581: DUP4
00001582: ADD
00001583: SWAP1
00001584: DUP4
00001585: ADD
00001586: PUSH2 0x1550
00001589: JUMP
0000158a: JUMPDEST
0000158b: SWAP1
0000158c: PUSH1 0x80
0000158e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000015af: DUP4
000015b0: ADD
000015b1: SLT
000015b2: PUSH2 0x012b
000015b5: JUMPI
000015b6: PUSH1 0x04
000015b8: CALLDATALOAD
000015b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ce: DUP2
000015cf: AND
000015d0: DUP2
000015d1: SUB
000015d2: PUSH2 0x012b
000015d5: JUMPI
000015d6: SWAP2
000015d7: PUSH1 0x24
000015d9: SWAP2
000015da: PUSH8 0xffffffffffffffff
000015e3: DUP4
000015e4: CALLDATALOAD
000015e5: DUP2
000015e6: DUP2
000015e7: GT
000015e8: PUSH2 0x012b
000015eb: JUMPI
000015ec: DUP4
000015ed: PUSH2 0x15f8
000015f0: SWAP2
000015f1: PUSH1 0x04
000015f3: ADD
000015f4: PUSH2 0x150d
000015f7: JUMP
000015f8: JUMPDEST
000015f9: SWAP4
000015fa: PUSH1 0x44
000015fc: DUP1
000015fd: CALLDATALOAD
000015fe: SWAP2
000015ff: DUP4
00001600: DUP4
00001601: GT
00001602: PUSH2 0x012b
00001605: JUMPI
00001606: DUP6
00001607: PUSH1 0x23
00001609: DUP5
0000160a: ADD
0000160b: SLT
0000160c: ISZERO
0000160d: PUSH2 0x012b
00001610: JUMPI
00001611: DUP3
00001612: PUSH1 0x04
00001614: ADD
00001615: CALLDATALOAD
00001616: SWAP2
00001617: PUSH2 0x161f
0000161a: DUP4
0000161b: PUSH2 0x14f5
0000161e: JUMP
0000161f: JUMPDEST
00001620: PUSH1 0x40
00001622: SWAP1
00001623: PUSH2 0x162f
00001626: PUSH1 0x40
00001628: MLOAD
00001629: SWAP2
0000162a: DUP3
0000162b: PUSH2 0x147a
0000162e: JUMP
0000162f: JUMPDEST
00001630: DUP5
00001631: DUP2
00001632: MSTORE
00001633: PUSH1 0x20
00001635: SWAP6
00001636: DUP7
00001637: DUP3
00001638: ADD
00001639: DUP6
0000163a: PUSH1 0x05
0000163c: SWAP8
0000163d: PUSH1 0x05
0000163f: SHL
00001640: DUP4
00001641: ADD
00001642: ADD
00001643: SWAP2
00001644: DUP12
00001645: DUP4
00001646: GT
00001647: PUSH2 0x012b
0000164a: JUMPI
0000164b: DUP7
0000164c: DUP10
0000164d: SWAP2
0000164e: ADD
0000164f: SWAP2
00001650: JUMPDEST
00001651: DUP4
00001652: DUP4
00001653: LT
00001654: PUSH2 0x1735
00001657: JUMPI
00001658: POP
00001659: POP
0000165a: POP
0000165b: POP
0000165c: SWAP8
0000165d: PUSH1 0x64
0000165f: CALLDATALOAD
00001660: SWAP5
00001661: DUP8
00001662: DUP7
00001663: GT
00001664: PUSH2 0x012b
00001667: JUMPI
00001668: DUP2
00001669: PUSH1 0x23
0000166b: DUP8
0000166c: ADD
0000166d: SLT
0000166e: ISZERO
0000166f: PUSH2 0x012b
00001672: JUMPI
00001673: DUP6
00001674: PUSH1 0x04
00001676: ADD
00001677: CALLDATALOAD
00001678: SWAP4
00001679: PUSH2 0x1681
0000167c: DUP6
0000167d: PUSH2 0x14f5
00001680: JUMP
00001681: JUMPDEST
00001682: SWAP9
00001683: PUSH2 0x168f
00001686: PUSH1 0x40
00001688: MLOAD
00001689: SWAP11
0000168a: DUP12
0000168b: PUSH2 0x147a
0000168e: JUMP
0000168f: JUMPDEST
00001690: DUP6
00001691: DUP11
00001692: MSTORE
00001693: DUP7
00001694: DUP10
00001695: DUP12
00001696: ADD
00001697: SWAP7
00001698: PUSH1 0x05
0000169a: SHL
0000169b: DUP10
0000169c: ADD
0000169d: ADD
0000169e: SWAP8
0000169f: DUP5
000016a0: DUP10
000016a1: GT
000016a2: PUSH2 0x012b
000016a5: JUMPI
000016a6: DUP8
000016a7: DUP2
000016a8: ADD
000016a9: SWAP7
000016aa: JUMPDEST
000016ab: DUP10
000016ac: DUP9
000016ad: LT
000016ae: PUSH2 0x16bf
000016b1: JUMPI
000016b2: POP
000016b3: POP
000016b4: POP
000016b5: POP
000016b6: POP
000016b7: POP
000016b8: POP
000016b9: POP
000016ba: POP
000016bb: POP
000016bc: POP
000016bd: SWAP1
000016be: JUMP
000016bf: JUMPDEST
000016c0: DUP8
000016c1: CALLDATALOAD
000016c2: DUP4
000016c3: DUP2
000016c4: GT
000016c5: PUSH2 0x012b
000016c8: JUMPI
000016c9: DUP3
000016ca: ADD
000016cb: DUP7
000016cc: PUSH1 0x43
000016ce: DUP3
000016cf: ADD
000016d0: SLT
000016d1: ISZERO
000016d2: PUSH2 0x012b
000016d5: JUMPI
000016d6: DUP1
000016d7: DUP11
000016d8: DUP14
000016d9: SWAP3
000016da: ADD
000016db: CALLDATALOAD
000016dc: DUP7
000016dd: PUSH2 0x16e5
000016e0: DUP3
000016e1: PUSH2 0x14f5
000016e4: JUMP
000016e5: JUMPDEST
000016e6: SWAP4
000016e7: PUSH2 0x16f2
000016ea: DUP13
000016eb: MLOAD
000016ec: SWAP6
000016ed: DUP7
000016ee: PUSH2 0x147a
000016f1: JUMP
000016f2: JUMPDEST
000016f3: DUP3
000016f4: DUP6
000016f5: MSTORE
000016f6: DUP5
000016f7: ADD
000016f8: SWAP2
000016f9: DUP10
000016fa: SHL
000016fb: DUP4
000016fc: ADD
000016fd: ADD
000016fe: SWAP2
000016ff: DUP10
00001700: DUP4
00001701: GT
00001702: PUSH2 0x012b
00001705: JUMPI
00001706: SWAP2
00001707: DUP8
00001708: DUP16
00001709: SWAP5
0000170a: SWAP3
0000170b: SWAP6
0000170c: SWAP4
0000170d: ADD
0000170e: JUMPDEST
0000170f: DUP2
00001710: DUP2
00001711: LT
00001712: PUSH2 0x1725
00001715: JUMPI
00001716: POP
00001717: POP
00001718: DUP3
00001719: SWAP4
0000171a: POP
0000171b: DUP2
0000171c: MSTORE
0000171d: ADD
0000171e: SWAP8
0000171f: ADD
00001720: SWAP7
00001721: PUSH2 0x16aa
00001724: JUMP
00001725: JUMPDEST
00001726: DUP1
00001727: CALLDATALOAD
00001728: DUP7
00001729: MSTORE
0000172a: SWAP5
0000172b: DUP5
0000172c: ADD
0000172d: SWAP5
0000172e: DUP16
0000172f: SWAP5
00001730: ADD
00001731: PUSH2 0x170e
00001734: JUMP
00001735: JUMPDEST
00001736: DUP3
00001737: CALLDATALOAD
00001738: DUP2
00001739: MSTORE
0000173a: SWAP2
0000173b: DUP2
0000173c: ADD
0000173d: SWAP2
0000173e: DUP10
0000173f: SWAP2
00001740: ADD
00001741: PUSH2 0x1650
00001744: JUMP
00001745: JUMPDEST
00001746: PUSH1 0x20
00001748: SWAP1
00001749: PUSH1 0x20
0000174b: PUSH1 0x40
0000174d: DUP2
0000174e: DUP4
0000174f: ADD
00001750: SWAP3
00001751: DUP3
00001752: DUP2
00001753: MSTORE
00001754: DUP6
00001755: MLOAD
00001756: DUP1
00001757: SWAP5
00001758: MSTORE
00001759: ADD
0000175a: SWAP4
0000175b: ADD
0000175c: SWAP2
0000175d: PUSH0
0000175e: JUMPDEST
0000175f: DUP3
00001760: DUP2
00001761: LT
00001762: PUSH2 0x176c
00001765: JUMPI
00001766: POP
00001767: POP
00001768: POP
00001769: POP
0000176a: SWAP1
0000176b: JUMP
0000176c: JUMPDEST
0000176d: DUP4
0000176e: MLOAD
0000176f: DUP6
00001770: MSTORE
00001771: SWAP4
00001772: DUP2
00001773: ADD
00001774: SWAP4
00001775: SWAP3
00001776: DUP2
00001777: ADD
00001778: SWAP3
00001779: PUSH1 0x01
0000177b: ADD
0000177c: PUSH2 0x175e
0000177f: JUMP
00001780: JUMPDEST
00001781: ISZERO
00001782: PUSH2 0x1787
00001785: JUMPI
00001786: JUMP
00001787: JUMPDEST
00001788: PUSH1 0x64
0000178a: PUSH1 0x40
0000178c: MLOAD
0000178d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017ae: DUP2
000017af: MSTORE
000017b0: PUSH1 0x20
000017b2: PUSH1 0x04
000017b4: DUP3
000017b5: ADD
000017b6: MSTORE
000017b7: PUSH1 0x20
000017b9: PUSH1 0x24
000017bb: DUP3
000017bc: ADD
000017bd: MSTORE
000017be: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000017df: PUSH1 0x44
000017e1: DUP3
000017e2: ADD
000017e3: MSTORE
000017e4: REVERT
000017e5: JUMPDEST
000017e6: ISZERO
000017e7: PUSH2 0x17ec
000017ea: JUMPI
000017eb: JUMP
000017ec: JUMPDEST
000017ed: PUSH1 0x84
000017ef: PUSH1 0x40
000017f1: MLOAD
000017f2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001813: DUP2
00001814: MSTORE
00001815: PUSH1 0x20
00001817: PUSH1 0x04
00001819: DUP3
0000181a: ADD
0000181b: MSTORE
0000181c: PUSH1 0x2c
0000181e: PUSH1 0x24
00001820: DUP3
00001821: ADD
00001822: MSTORE
00001823: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
00001844: PUSH1 0x44
00001846: DUP3
00001847: ADD
00001848: MSTORE
00001849: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000
0000186a: PUSH1 0x64
0000186c: DUP3
0000186d: ADD
0000186e: MSTORE
0000186f: REVERT
00001870: JUMPDEST
00001871: ISZERO
00001872: PUSH2 0x1877
00001875: JUMPI
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH1 0x84
0000187a: PUSH1 0x40
0000187c: MLOAD
0000187d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000189e: DUP2
0000189f: MSTORE
000018a0: PUSH1 0x20
000018a2: PUSH1 0x04
000018a4: DUP3
000018a5: ADD
000018a6: MSTORE
000018a7: PUSH1 0x2c
000018a9: PUSH1 0x24
000018ab: DUP3
000018ac: ADD
000018ad: MSTORE
000018ae: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
000018cf: PUSH1 0x44
000018d1: DUP3
000018d2: ADD
000018d3: MSTORE
000018d4: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000
000018f5: PUSH1 0x64
000018f7: DUP3
000018f8: ADD
000018f9: MSTORE
000018fa: REVERT
000018fb: JUMPDEST
000018fc: SWAP1
000018fd: PUSH2 0x1905
00001900: DUP3
00001901: PUSH2 0x14f5
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH2 0x1912
00001909: PUSH1 0x40
0000190b: MLOAD
0000190c: SWAP2
0000190d: DUP3
0000190e: PUSH2 0x147a
00001911: JUMP
00001912: JUMPDEST
00001913: DUP3
00001914: DUP2
00001915: MSTORE
00001916: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001937: PUSH2 0x1940
0000193a: DUP3
0000193b: SWAP5
0000193c: PUSH2 0x14f5
0000193f: JUMP
00001940: JUMPDEST
00001941: ADD
00001942: SWAP1
00001943: PUSH1 0x20
00001945: CALLDATASIZE
00001946: SWAP2
00001947: ADD
00001948: CALLDATACOPY
00001949: JUMP
0000194a: JUMPDEST
0000194b: DUP1
0000194c: MLOAD
0000194d: DUP3
0000194e: LT
0000194f: ISZERO
00001950: PUSH2 0x195e
00001953: JUMPI
00001954: PUSH1 0x20
00001956: SWAP2
00001957: PUSH1 0x05
00001959: SHL
0000195a: ADD
0000195b: ADD
0000195c: SWAP1
0000195d: JUMP
0000195e: JUMPDEST
0000195f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001980: PUSH0
00001981: MSTORE
00001982: PUSH1 0x32
00001984: PUSH1 0x04
00001986: MSTORE
00001987: PUSH1 0x24
00001989: PUSH0
0000198a: REVERT
0000198b: JUMPDEST
0000198c: SWAP2
0000198d: SWAP1
0000198e: DUP3
0000198f: SUB
00001990: SWAP2
00001991: DUP3
00001992: GT
00001993: PUSH2 0x1998
00001996: JUMPI
00001997: JUMP
00001998: JUMPDEST
00001999: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000019ba: PUSH0
000019bb: MSTORE
000019bc: PUSH1 0x11
000019be: PUSH1 0x04
000019c0: MSTORE
000019c1: PUSH1 0x24
000019c3: PUSH0
000019c4: REVERT
000019c5: JUMPDEST
000019c6: SWAP3
000019c7: SWAP4
000019c8: SWAP1
000019c9: PUSH1 0x40
000019cb: SWAP3
000019cc: PUSH1 0x40
000019ce: MLOAD
000019cf: SWAP1
000019d0: PUSH1 0x20
000019d2: SWAP6
000019d3: PUSH1 0x20
000019d5: DUP4
000019d6: ADD
000019d7: SWAP4
000019d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000019f9: DUP1
000019fa: SWAP3
000019fb: PUSH1 0x60
000019fd: SHL
000019fe: AND
000019ff: DUP6
00001a00: MSTORE
00001a01: PUSH1 0x60
00001a03: SHL
00001a04: AND
00001a05: PUSH1 0x34
00001a07: DUP4
00001a08: ADD
00001a09: MSTORE
00001a0a: PUSH1 0x48
00001a0c: DUP3
00001a0d: ADD
00001a0e: MSTORE
00001a0f: PUSH1 0x48
00001a11: DUP2
00001a12: MSTORE
00001a13: PUSH2 0x1a1b
00001a16: DUP2
00001a17: PUSH2 0x145e
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: MLOAD
00001a1d: SWAP1
00001a1e: KECCAK256
00001a1f: SWAP3
00001a20: PUSH1 0x32
00001a22: SLOAD
00001a23: SWAP4
00001a24: SWAP2
00001a25: PUSH0
00001a26: SWAP3
00001a27: JUMPDEST
00001a28: DUP7
00001a29: MLOAD
00001a2a: DUP5
00001a2b: LT
00001a2c: ISZERO
00001a2d: PUSH2 0x1a65
00001a30: JUMPI
00001a31: PUSH2 0x1a3a
00001a34: DUP5
00001a35: DUP9
00001a36: PUSH2 0x194a
00001a39: JUMP
00001a3a: JUMPDEST
00001a3b: MLOAD
00001a3c: SWAP1
00001a3d: DUP2
00001a3e: DUP2
00001a3f: LT
00001a40: ISZERO
00001a41: PUSH2 0x1a56
00001a44: JUMPI
00001a45: PUSH0
00001a46: MSTORE
00001a47: DUP3
00001a48: MSTORE
00001a49: PUSH1 0x01
00001a4b: DUP5
00001a4c: PUSH0
00001a4d: KECCAK256
00001a4e: JUMPDEST
00001a4f: SWAP4
00001a50: ADD
00001a51: SWAP3
00001a52: PUSH2 0x1a27
00001a55: JUMP
00001a56: JUMPDEST
00001a57: SWAP1
00001a58: PUSH0
00001a59: MSTORE
00001a5a: DUP3
00001a5b: MSTORE
00001a5c: PUSH1 0x01
00001a5e: DUP5
00001a5f: PUSH0
00001a60: KECCAK256
00001a61: PUSH2 0x1a4e
00001a64: JUMP
00001a65: JUMPDEST
00001a66: SWAP4
00001a67: POP
00001a68: SWAP5
00001a69: POP
00001a6a: POP
00001a6b: POP
00001a6c: EQ
00001a6d: SWAP1
00001a6e: JUMP
00001a6f: JUMPDEST
00001a70: RETURNDATASIZE
00001a71: ISZERO
00001a72: PUSH2 0x1a99
00001a75: JUMPI
00001a76: RETURNDATASIZE
00001a77: SWAP1
00001a78: PUSH2 0x1a80
00001a7b: DUP3
00001a7c: PUSH2 0x14bb
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: SWAP2
00001a82: PUSH2 0x1a8e
00001a85: PUSH1 0x40
00001a87: MLOAD
00001a88: SWAP4
00001a89: DUP5
00001a8a: PUSH2 0x147a
00001a8d: JUMP
00001a8e: JUMPDEST
00001a8f: DUP3
00001a90: MSTORE
00001a91: RETURNDATASIZE
00001a92: PUSH0
00001a93: PUSH1 0x20
00001a95: DUP5
00001a96: ADD
00001a97: RETURNDATACOPY
00001a98: JUMP
00001a99: JUMPDEST
00001a9a: PUSH1 0x60
00001a9c: SWAP1
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: DUP3
00001aa0: ISZERO
00001aa1: PUSH2 0x1c9a
00001aa4: JUMPI
00001aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aba: SWAP1
00001abb: DUP2
00001abc: AND
00001abd: DUP1
00001abe: PUSH2 0x1b39
00001ac1: JUMPI
00001ac2: POP
00001ac3: POP
00001ac4: PUSH0
00001ac5: DUP1
00001ac6: DUP1
00001ac7: SWAP4
00001ac8: DUP2
00001ac9: SWAP4
00001aca: GAS
00001acb: CALL
00001acc: PUSH2 0x1ad3
00001acf: PUSH2 0x1a6f
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: POP
00001ad5: ISZERO
00001ad6: PUSH2 0x1adb
00001ad9: JUMPI
00001ada: JUMP
00001adb: JUMPDEST
00001adc: PUSH1 0x64
00001ade: PUSH1 0x40
00001ae0: MLOAD
00001ae1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b02: DUP2
00001b03: MSTORE
00001b04: PUSH1 0x20
00001b06: PUSH1 0x04
00001b08: DUP3
00001b09: ADD
00001b0a: MSTORE
00001b0b: PUSH1 0x0f
00001b0d: PUSH1 0x24
00001b0f: DUP3
00001b10: ADD
00001b11: MSTORE
00001b12: PUSH32 0x6574682073656e64206661696c65640000000000000000000000000000000000
00001b33: PUSH1 0x44
00001b35: DUP3
00001b36: ADD
00001b37: MSTORE
00001b38: REVERT
00001b39: JUMPDEST
00001b3a: PUSH1 0x40
00001b3c: SWAP4
00001b3d: SWAP2
00001b3e: SWAP4
00001b3f: MLOAD
00001b40: SWAP2
00001b41: PUSH1 0x20
00001b43: SWAP5
00001b44: DUP6
00001b45: DUP5
00001b46: ADD
00001b47: SWAP5
00001b48: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001b69: DUP7
00001b6a: MSTORE
00001b6b: AND
00001b6c: PUSH1 0x24
00001b6e: DUP5
00001b6f: ADD
00001b70: MSTORE
00001b71: PUSH1 0x44
00001b73: DUP4
00001b74: ADD
00001b75: MSTORE
00001b76: PUSH1 0x44
00001b78: DUP3
00001b79: MSTORE
00001b7a: PUSH2 0x1b82
00001b7d: DUP3
00001b7e: PUSH2 0x145e
00001b81: JUMP
00001b82: JUMPDEST
00001b83: PUSH1 0x40
00001b85: MLOAD
00001b86: SWAP2
00001b87: PUSH1 0x40
00001b89: DUP4
00001b8a: ADD
00001b8b: DUP4
00001b8c: DUP2
00001b8d: LT
00001b8e: PUSH8 0xffffffffffffffff
00001b97: DUP3
00001b98: GT
00001b99: OR
00001b9a: PUSH2 0x1431
00001b9d: JUMPI
00001b9e: PUSH1 0x40
00001ba0: MSTORE
00001ba1: DUP5
00001ba2: DUP4
00001ba3: MSTORE
00001ba4: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001bc5: DUP4
00001bc6: DUP7
00001bc7: ADD
00001bc8: MSTORE
00001bc9: MLOAD
00001bca: PUSH2 0x1bdd
00001bcd: SWAP4
00001bce: PUSH0
00001bcf: SWAP2
00001bd0: DUP3
00001bd1: SWAP2
00001bd2: DUP3
00001bd3: DUP6
00001bd4: GAS
00001bd5: CALL
00001bd6: PUSH2 0x0cd3
00001bd9: PUSH2 0x1a6f
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: DUP1
00001bdf: MLOAD
00001be0: DUP3
00001be1: DUP2
00001be2: ISZERO
00001be3: SWAP2
00001be4: DUP3
00001be5: ISZERO
00001be6: PUSH2 0x1c7a
00001be9: JUMPI
00001bea: JUMPDEST
00001beb: POP
00001bec: POP
00001bed: SWAP1
00001bee: POP
00001bef: ISZERO
00001bf0: PUSH2 0x1bf6
00001bf3: JUMPI
00001bf4: POP
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: PUSH1 0x84
00001bf9: SWAP1
00001bfa: PUSH1 0x40
00001bfc: MLOAD
00001bfd: SWAP1
00001bfe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c1f: DUP3
00001c20: MSTORE
00001c21: PUSH1 0x04
00001c23: DUP3
00001c24: ADD
00001c25: MSTORE
00001c26: PUSH1 0x2a
00001c28: PUSH1 0x24
00001c2a: DUP3
00001c2b: ADD
00001c2c: MSTORE
00001c2d: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001c4e: PUSH1 0x44
00001c50: DUP3
00001c51: ADD
00001c52: MSTORE
00001c53: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001c74: PUSH1 0x64
00001c76: DUP3
00001c77: ADD
00001c78: MSTORE
00001c79: REVERT
00001c7a: JUMPDEST
00001c7b: DUP4
00001c7c: DUP1
00001c7d: SWAP3
00001c7e: SWAP4
00001c7f: POP
00001c80: ADD
00001c81: SUB
00001c82: SLT
00001c83: PUSH2 0x012b
00001c86: JUMPI
00001c87: DUP2
00001c88: ADD
00001c89: MLOAD
00001c8a: DUP1
00001c8b: ISZERO
00001c8c: ISZERO
00001c8d: DUP2
00001c8e: SUB
00001c8f: PUSH2 0x012b
00001c92: JUMPI
00001c93: DUP1
00001c94: DUP3
00001c95: PUSH0
00001c96: PUSH2 0x1bea
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: POP
00001c9c: POP
00001c9d: POP
00001c9e: JUMP
00001c9f: JUMPDEST
00001ca0: DUP1
00001ca1: EXTCODESIZE
00001ca2: ISZERO
00001ca3: PUSH2 0x1d07
00001ca6: JUMPI
00001ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbc: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc
00001cdd: SWAP2
00001cde: AND
00001cdf: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001d00: DUP3
00001d01: SLOAD
00001d02: AND
00001d03: OR
00001d04: SWAP1
00001d05: SSTORE
00001d06: JUMP
00001d07: JUMPDEST
00001d08: PUSH1 0x84
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d2e: DUP2
00001d2f: MSTORE
00001d30: PUSH1 0x20
00001d32: PUSH1 0x04
00001d34: DUP3
00001d35: ADD
00001d36: MSTORE
00001d37: PUSH1 0x2d
00001d39: PUSH1 0x24
00001d3b: DUP3
00001d3c: ADD
00001d3d: MSTORE
00001d3e: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e
00001d5f: PUSH1 0x44
00001d61: DUP3
00001d62: ADD
00001d63: MSTORE
00001d64: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000
00001d85: PUSH1 0x64
00001d87: DUP3
00001d88: ADD
00001d89: MSTORE
00001d8a: REVERT
00001d8b: JUMPDEST
00001d8c: SWAP2
00001d8d: SWAP3
00001d8e: SWAP1
00001d8f: ISZERO
00001d90: PUSH2 0x1e06
00001d93: JUMPI
00001d94: POP
00001d95: DUP2
00001d96: MLOAD
00001d97: ISZERO
00001d98: PUSH2 0x1d9f
00001d9b: JUMPI
00001d9c: POP
00001d9d: SWAP1
00001d9e: JUMP
00001d9f: JUMPDEST
00001da0: EXTCODESIZE
00001da1: ISZERO
00001da2: PUSH2 0x1da8
00001da5: JUMPI
00001da6: SWAP1
00001da7: JUMP
00001da8: JUMPDEST
00001da9: PUSH1 0x64
00001dab: PUSH1 0x40
00001dad: MLOAD
00001dae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: PUSH1 0x20
00001dd3: PUSH1 0x04
00001dd5: DUP3
00001dd6: ADD
00001dd7: MSTORE
00001dd8: PUSH1 0x1d
00001dda: PUSH1 0x24
00001ddc: DUP3
00001ddd: ADD
00001dde: MSTORE
00001ddf: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001e00: PUSH1 0x44
00001e02: DUP3
00001e03: ADD
00001e04: MSTORE
00001e05: REVERT
00001e06: JUMPDEST
00001e07: DUP3
00001e08: MLOAD
00001e09: SWAP1
00001e0a: SWAP2
00001e0b: POP
00001e0c: ISZERO
00001e0d: PUSH2 0x1e19
00001e10: JUMPI
00001e11: POP
00001e12: DUP1
00001e13: MLOAD
00001e14: SWAP1
00001e15: PUSH1 0x20
00001e17: ADD
00001e18: REVERT
00001e19: JUMPDEST
00001e1a: PUSH1 0x40
00001e1c: MLOAD
00001e1d: SWAP1
00001e1e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e3f: DUP3
00001e40: MSTORE
00001e41: DUP2
00001e42: PUSH1 0x20
00001e44: DUP1
00001e45: PUSH1 0x04
00001e47: DUP4
00001e48: ADD
00001e49: MSTORE
00001e4a: DUP3
00001e4b: MLOAD
00001e4c: SWAP3
00001e4d: DUP4
00001e4e: PUSH1 0x24
00001e50: DUP5
00001e51: ADD
00001e52: MSTORE
00001e53: PUSH0
00001e54: JUMPDEST
00001e55: DUP5
00001e56: DUP2
00001e57: LT
00001e58: PUSH2 0x1e94
00001e5b: JUMPI
00001e5c: POP
00001e5d: POP
00001e5e: POP
00001e5f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001e80: PUSH1 0x1f
00001e82: DUP4
00001e83: PUSH0
00001e84: PUSH1 0x44
00001e86: DUP1
00001e87: SWAP7
00001e88: DUP7
00001e89: ADD
00001e8a: ADD
00001e8b: MSTORE
00001e8c: ADD
00001e8d: AND
00001e8e: DUP2
00001e8f: ADD
00001e90: SUB
00001e91: ADD
00001e92: SWAP1
00001e93: REVERT
00001e94: JUMPDEST
00001e95: DUP2
00001e96: DUP2
00001e97: ADD
00001e98: DUP4
00001e99: ADD
00001e9a: MLOAD
00001e9b: DUP7
00001e9c: DUP3
00001e9d: ADD
00001e9e: PUSH1 0x44
00001ea0: ADD
00001ea1: MSTORE
00001ea2: DUP6
00001ea3: SWAP4
00001ea4: POP
00001ea5: DUP3
00001ea6: ADD
00001ea7: PUSH2 0x1e54
00001eaa: JUMP
00001eab: INVALID
00001eac: LOG2
00001ead: PUSH5 0x6970667358
00001eb3: UNKNOWN(0x22)
00001eb4: SLT
00001eb5: KECCAK256
00001eb6: SLOAD
00001eb7: SELFBALANCE
00001eb8: TIMESTAMP
00001eb9: UNKNOWN(0xE5)
00001eba: UNKNOWN(0xD2)
00001ebb: PUSH28 0x55bb13ba05491728bb7b92975449af59464b74c39a7c311793f76473
00001ed8: PUSH16

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: 0x48b7a8976c486407f39f9eec155820f3bce1273e9478c067ad6da2226cb45ae0
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x48b7a8976c486407f39f9eec155820f3bce1273e9478c067ad6da2226cb45ae0",
    "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": "0x078dfbe7",
            "selector": "0x078dfbe7",
            "calldata_variants": [
                "0x078dfbe7",
                "0x078dfbe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c9cbf0e",
            "selector": "0x0c9cbf0e",
            "calldata_variants": [
                "0x0c9cbf0e",
                "0x0c9cbf0e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2eb4a7ab",
            "selector": "0x2eb4a7ab",
            "calldata_variants": [
                "0x2eb4a7ab",
                "0x2eb4a7ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3659cfe6",
            "selector": "0x3659cfe6",
            "calldata_variants": [
                "0x3659cfe6",
                "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48ac88bb",
            "selector": "0x48ac88bb",
            "calldata_variants": [
                "0x48ac88bb",
                "0x48ac88bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f1ef286",
            "selector": "0x4f1ef286",
            "calldata_variants": [
                "0x4f1ef286",
                "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d1902d",
            "selector": "0x52d1902d",
            "calldata_variants": [
                "0x52d1902d",
                "0x52d1902d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3275,
            "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: 0xd291e70119f6e3c6403cbf5eb5a264c63b72b95088b26d82f36e4fee65bad63b
call_targets: 0xc7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd291e70119f6e3c6403cbf5eb5a264c63b72b95088b26d82f36e4fee65bad63b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7"
    ],
    "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": "0x078dfbe7",
            "selector": "0x078dfbe7",
            "calldata_variants": [
                "0x078dfbe7",
                "0x078dfbe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c9cbf0e",
            "selector": "0x0c9cbf0e",
            "calldata_variants": [
                "0x0c9cbf0e",
                "0x0c9cbf0e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2eb4a7ab",
            "selector": "0x2eb4a7ab",
            "calldata_variants": [
                "0x2eb4a7ab",
                "0x2eb4a7ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3659cfe6",
            "selector": "0x3659cfe6",
            "calldata_variants": [
                "0x3659cfe6",
                "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48ac88bb",
            "selector": "0x48ac88bb",
            "calldata_variants": [
                "0x48ac88bb",
                "0x48ac88bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f1ef286",
            "selector": "0x4f1ef286",
            "calldata_variants": [
                "0x4f1ef286",
                "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d1902d",
            "selector": "0x52d1902d",
            "calldata_variants": [
                "0x52d1902d",
                "0x52d1902d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6859,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7125,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd291e70119f6e3c6403cbf5eb5a264c63b72b95088b26d82f36e4fee65bad63b
call_targets: 0xc7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd291e70119f6e3c6403cbf5eb5a264c63b72b95088b26d82f36e4fee65bad63b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc7a5b0e3e3ebb500c2502b8525c9e97d0d40faf7"
    ],
    "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": "0x078dfbe7",
            "selector": "0x078dfbe7",
            "calldata_variants": [
                "0x078dfbe7",
                "0x078dfbe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0c9cbf0e",
            "selector": "0x0c9cbf0e",
            "calldata_variants": [
                "0x0c9cbf0e",
                "0x0c9cbf0e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2eb4a7ab",
            "selector": "0x2eb4a7ab",
            "calldata_variants": [
                "0x2eb4a7ab",
                "0x2eb4a7ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3659cfe6",
            "selector": "0x3659cfe6",
            "calldata_variants": [
                "0x3659cfe6",
                "0x3659cfe60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x48ac88bb",
            "selector": "0x48ac88bb",
            "calldata_variants": [
                "0x48ac88bb",
                "0x48ac88bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f1ef286",
            "selector": "0x4f1ef286",
            "calldata_variants": [
                "0x4f1ef286",
                "0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d1902d",
            "selector": "0x52d1902d",
            "calldata_variants": [
                "0x52d1902d",
                "0x52d1902d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 6859,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7125,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "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
}