Analysis Run

019be3d8-41e3-70e9-bd84-4e12ae8f485c

failed

Chain ID

1

Address

0xe7b6dafe6e5e3d6f7fa3ed7624633e4518b1bc54

Block Number

—

Created

Thu, Jan 22, 2026 3:55 AM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted 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
41347	artifact.fetch	complete	1 / 3	2 months ago
41348	proxy.resolve	complete	1 / 3	2 months ago
41349	tool.cast_disasm	complete	1 / 3	2 months ago
41350	analysis.bundle	complete	1 / 3	2 months ago
41351	capability.graph	complete	1 / 3	2 months ago
41352	detector.run	complete	1 / 3	2 months ago
41353	validation.fork	complete	1 / 3	2 months ago
41467	report.consolidate	complete	1 / 6	2 months ago
41468	tool.slither	failed	2 / 2	2 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

Status

failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-9he0t79l) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-9he0t79l) 'forge' returned non-zero exit code 1 Compiling 28 files with Solc 0.8.25 stdout: Solc 0.8.25 finished in 381.95ms Error: Compiler run failed: stderr: Error: Compiler error (/solidity/libsolidity/codegen/LValue.cpp:51):Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables. stderr: --> src/contracts/defaultStakerRewards/DefaultStakerRewards.sol:280:63: stderr: | stderr: 280 | emit ClaimRewards(network, token, msg.sender, amount, recipient); stderr: | ^^^^^^^^^ 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-9he0t79l/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-9he0t79l)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-9he0t79l)
'forge' returned non-zero exit code 1
Compiling 28 files with Solc 0.8.25
stdout: Solc 0.8.25 finished in 381.95ms
Error: Compiler run failed:
stderr: Error: Compiler error (/solidity/libsolidity/codegen/LValue.cpp:51):Stack too deep. Try compiling with `--via-ir` (cli) or the equivalent `viaIR: true` (standard JSON) while enabling the optimizer. Otherwise, try removing local variables.
stderr:    --> src/contracts/defaultStakerRewards/DefaultStakerRewards.sol:280:63:
stderr:     |
stderr: 280 |         emit ClaimRewards(network, token, msg.sender, amount, recipient);
stderr:     |                                                               ^^^^^^^^^
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-9he0t79l/out/build-info is not a directory.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

yes

Summary

Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the scoped areas.

View stdout

{"no_findings":true,"summary":"Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the scoped areas.","findings":[]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-yz5wgq10
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be4d4-9c4d-75d3-ba1a-f7d1ab6486fb
--------
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
**Reading audit bundle content**
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-yz5wgq10 succeeded in 6ms:
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: src/contracts/defaultStakerRewards/DefaultStakerRewards.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity 0.8.25;

import {IDefaultStakerRewards} from "../../interfaces/defaultStakerRewards/IDefaultStakerRewards.sol";
import {IStakerRewards} from "../../interfaces/stakerRewards/IStakerRewards.sol";

import {INetworkMiddlewareService} from "@symbioticfi/core/src/interfaces/service/INetworkMiddlewareService.sol";
import {IRegistry} from "@symbioticfi/core/src/interfaces/common/IRegistry.sol";
import {IVault} from "@symbioticfi/core/src/interfaces/vault/IVault.sol";

import {AccessControlUpgradeable} from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol";
import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import {Math} from "@openzeppelin/contracts/utils/math/Math.sol";
import {MulticallUpgradeable} from "@openzeppelin/contracts-upgradeable/utils/MulticallUpgradeable.sol";


thinking
**Auditing access control and reward logic**

Identified that distributeRewards relies on middleware for access control but network param isn't explicitly validated; claimRewards sets recipient arbitrarily but uses reentrancy guard. Noted potential cache timestamp handling tied to distributeRewards calls and safe reward indexing logic. Also, AccessControlUpgradeable lacks explicit initializer calls, but OpenZeppelin's pattern suggests default admin setup may be implicit.
thinking
**Confirming no critical findings**

Reviewed upgradeable pattern with immutables, reward cache logic, access roles, and external calls; found no critical issues or vulnerabilities. Ready to produce JSON output indicating no findings.
codex
{"no_findings":true,"summary":"Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the scoped areas.","findings":[]}
tokens used
10,321

Metadata

{
    "codex": {
        "ran_at": "2026-01-22T08:32:07.594344+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 23,
        "import_count": 28,
        "first_party_contracts_count": 3
    },
    "summary": "Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the scoped areas.",
    "raw_final": {
        "summary": "Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable vulnerabilities identified in the scoped areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

10

EXT*/BALANCE

3

Total opcodes

5316

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: DUP2
00000005: DUP2
00000006: MSTORE
00000007: PUSH1 0x04
00000009: SWAP2
0000000a: DUP3
0000000b: CALLDATASIZE
0000000c: LT
0000000d: ISZERO
0000000e: PUSH2 0x0015
00000011: JUMPI
00000012: PUSH0
00000013: DUP1
00000014: REVERT
00000015: JUMPDEST
00000016: PUSH0
00000017: CALLDATALOAD
00000018: PUSH1 0xe0
0000001a: SHR
0000001b: SWAP1
0000001c: DUP2
0000001d: PUSH4 0x01ffc9a7
00000022: EQ
00000023: PUSH2 0x159d
00000026: JUMPI
00000027: POP
00000028: DUP1
00000029: PUSH4 0x04fe4748
0000002e: EQ
0000002f: PUSH2 0x1568
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0x103f2907
00000039: EQ
0000003a: PUSH2 0x1525
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x239723ed
00000044: EQ
00000045: PUSH2 0x0fb6
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x248a9ca3
0000004f: EQ
00000050: PUSH2 0x0f80
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2c9d45b3
0000005a: EQ
0000005b: PUSH2 0x0f3d
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x2f2ff15d
00000065: EQ
00000066: PUSH2 0x0f15
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x36568abe
00000070: EQ
00000071: PUSH2 0x0ed1
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x3f3be072
0000007b: EQ
0000007c: PUSH2 0x0e70
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x411557d1
00000086: EQ
00000087: PUSH2 0x0e49
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x54fd4d50
00000091: EQ
00000092: PUSH2 0x0e2e
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x5d0b5205
0000009c: EQ
0000009d: PUSH2 0x0b19
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x63497dc7
000000a7: EQ
000000a8: PUSH2 0x0aa6
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x76ee5656
000000b2: EQ
000000b3: PUSH2 0x0921
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7d1b56e5
000000bd: EQ
000000be: PUSH2 0x0811
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8beb60b6
000000c8: EQ
000000c9: PUSH2 0x0772
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x9162aaa0
000000d3: EQ
000000d4: PUSH2 0x0729
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x91d14854
000000de: EQ
000000df: PUSH2 0x06d9
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x9df4021d
000000e9: EQ
000000ea: PUSH2 0x03cb
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xa01fe38e
000000f4: EQ
000000f5: PUSH2 0x0391
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xa0be06f9
000000ff: EQ
00000100: PUSH2 0x0373
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xa217fddf
0000010a: EQ
0000010b: PUSH2 0x0359
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xac9650d8
00000115: EQ
00000116: PUSH2 0x01de
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0xc00460ea
00000120: EQ
00000121: PUSH2 0x01c2
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0xcb6ba75d
0000012b: EQ
0000012c: PUSH2 0x0188
0000012f: JUMPI
00000130: PUSH4 0xd547741f
00000135: EQ
00000136: PUSH2 0x013d
00000139: JUMPI
0000013a: PUSH0
0000013b: DUP1
0000013c: REVERT
0000013d: JUMPDEST
0000013e: CALLVALUE
0000013f: PUSH2 0x0184
00000142: JUMPI
00000143: DUP1
00000144: PUSH1 0x03
00000146: NOT
00000147: CALLDATASIZE
00000148: ADD
00000149: SLT
0000014a: PUSH2 0x0184
0000014d: JUMPI
0000014e: PUSH2 0x0182
00000151: SWAP2
00000152: CALLDATALOAD
00000153: PUSH2 0x017d
00000156: PUSH1 0x01
00000158: PUSH2 0x015f
0000015b: PUSH2 0x1605
0000015e: JUMP
0000015f: JUMPDEST
00000160: SWAP4
00000161: DUP4
00000162: PUSH0
00000163: MSTORE
00000164: PUSH0
00000165: DUP1
00000166: MLOAD
00000167: PUSH1 0x20
00000169: PUSH2 0x1f6e
0000016c: DUP4
0000016d: CODECOPY
0000016e: DUP2
0000016f: MLOAD
00000170: SWAP2
00000171: MSTORE
00000172: PUSH1 0x20
00000174: MSTORE
00000175: PUSH0
00000176: KECCAK256
00000177: ADD
00000178: SLOAD
00000179: PUSH2 0x1a53
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH2 0x1cec
00000181: JUMP
00000182: JUMPDEST
00000183: STOP
00000184: JUMPDEST
00000185: PUSH0
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: CALLVALUE
0000018b: PUSH2 0x0184
0000018e: JUMPI
0000018f: PUSH0
00000190: CALLDATASIZE
00000191: PUSH1 0x03
00000193: NOT
00000194: ADD
00000195: SLT
00000196: PUSH2 0x0184
00000199: JUMPI
0000019a: PUSH1 0x20
0000019c: SWAP1
0000019d: MLOAD
0000019e: PUSH32 0x723d93d9e2749ff76c3a02ca5d48d83735b6f451b126d0ba0683caa16e04c6fa
000001bf: DUP2
000001c0: MSTORE
000001c1: RETURN
000001c2: JUMPDEST
000001c3: POP
000001c4: CALLVALUE
000001c5: PUSH2 0x0184
000001c8: JUMPI
000001c9: PUSH0
000001ca: CALLDATASIZE
000001cb: PUSH1 0x03
000001cd: NOT
000001ce: ADD
000001cf: SLT
000001d0: PUSH2 0x0184
000001d3: JUMPI
000001d4: PUSH1 0x20
000001d6: SWAP1
000001d7: MLOAD
000001d8: PUSH2 0x2710
000001db: DUP2
000001dc: MSTORE
000001dd: RETURN
000001de: JUMPDEST
000001df: POP
000001e0: SWAP1
000001e1: CALLVALUE
000001e2: PUSH2 0x0184
000001e5: JUMPI
000001e6: PUSH1 0x20
000001e8: SWAP1
000001e9: DUP2
000001ea: PUSH1 0x03
000001ec: NOT
000001ed: CALLDATASIZE
000001ee: ADD
000001ef: SLT
000001f0: PUSH2 0x0184
000001f3: JUMPI
000001f4: DUP1
000001f5: CALLDATALOAD
000001f6: SWAP1
000001f7: PUSH8 0xffffffffffffffff
00000200: SWAP1
00000201: DUP2
00000202: DUP4
00000203: GT
00000204: PUSH2 0x0184
00000207: JUMPI
00000208: CALLDATASIZE
00000209: PUSH1 0x23
0000020b: DUP5
0000020c: ADD
0000020d: SLT
0000020e: ISZERO
0000020f: PUSH2 0x0184
00000212: JUMPI
00000213: DUP3
00000214: ADD
00000215: CALLDATALOAD
00000216: SWAP1
00000217: DUP1
00000218: DUP3
00000219: GT
0000021a: PUSH2 0x0184
0000021d: JUMPI
0000021e: PUSH1 0x24
00000220: PUSH1 0x05
00000222: SWAP2
00000223: CALLDATASIZE
00000224: PUSH1 0x24
00000226: DUP6
00000227: PUSH1 0x05
00000229: SHL
0000022a: DUP8
0000022b: ADD
0000022c: ADD
0000022d: GT
0000022e: PUSH2 0x0184
00000231: JUMPI
00000232: DUP7
00000233: SWAP4
00000234: SWAP3
00000235: SWAP4
00000236: MLOAD
00000237: SWAP2
00000238: PUSH2 0x0240
0000023b: DUP4
0000023c: PUSH2 0x1700
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH0
00000242: DUP4
00000243: MSTORE
00000244: DUP7
00000245: DUP4
00000246: ADD
00000247: SWAP5
00000248: PUSH2 0x0250
0000024b: DUP6
0000024c: PUSH2 0x181c
0000024f: JUMP
00000250: JUMPDEST
00000251: SWAP7
00000252: CALLDATASIZE
00000253: DUP2
00000254: SWAP1
00000255: SUB
00000256: PUSH1 0x42
00000258: NOT
00000259: ADD
0000025a: SWAP2
0000025b: PUSH0
0000025c: JUMPDEST
0000025d: DUP8
0000025e: DUP2
0000025f: LT
00000260: PUSH2 0x02bf
00000263: JUMPI
00000264: DUP12
00000265: DUP12
00000266: DUP12
00000267: DUP3
00000268: MLOAD
00000269: SWAP2
0000026a: DUP1
0000026b: DUP4
0000026c: ADD
0000026d: DUP2
0000026e: DUP5
0000026f: MSTORE
00000270: DUP3
00000271: MLOAD
00000272: DUP1
00000273: SWAP2
00000274: MSTORE
00000275: DUP2
00000276: DUP6
00000277: DUP6
00000278: ADD
00000279: SWAP6
0000027a: DUP3
0000027b: PUSH1 0x05
0000027d: SHL
0000027e: DUP7
0000027f: ADD
00000280: ADD
00000281: SWAP4
00000282: ADD
00000283: SWAP2
00000284: PUSH0
00000285: SWAP6
00000286: JUMPDEST
00000287: DUP3
00000288: DUP8
00000289: LT
0000028a: PUSH2 0x0293
0000028d: JUMPI
0000028e: DUP6
0000028f: DUP6
00000290: SUB
00000291: DUP7
00000292: RETURN
00000293: JUMPDEST
00000294: SWAP1
00000295: SWAP2
00000296: SWAP3
00000297: SWAP4
00000298: DUP3
00000299: DUP1
0000029a: PUSH2 0x02af
0000029d: PUSH1 0x01
0000029f: SWAP4
000002a0: PUSH1 0x3f
000002a2: NOT
000002a3: DUP11
000002a4: DUP3
000002a5: SUB
000002a6: ADD
000002a7: DUP7
000002a8: MSTORE
000002a9: DUP9
000002aa: MLOAD
000002ab: PUSH2 0x16dc
000002ae: JUMP
000002af: JUMPDEST
000002b0: SWAP7
000002b1: ADD
000002b2: SWAP3
000002b3: ADD
000002b4: SWAP7
000002b5: ADD
000002b6: SWAP6
000002b7: SWAP3
000002b8: SWAP2
000002b9: SWAP1
000002ba: SWAP3
000002bb: PUSH2 0x0286
000002be: JUMP
000002bf: JUMPDEST
000002c0: DUP5
000002c1: DUP2
000002c2: DUP4
000002c3: SHL
000002c4: DUP5
000002c5: ADD
000002c6: ADD
000002c7: CALLDATALOAD
000002c8: DUP5
000002c9: DUP2
000002ca: SLT
000002cb: ISZERO
000002cc: PUSH2 0x0184
000002cf: JUMPI
000002d0: DUP4
000002d1: ADD
000002d2: SWAP1
000002d3: DUP6
000002d4: DUP3
000002d5: ADD
000002d6: CALLDATALOAD
000002d7: SWAP2
000002d8: DUP8
000002d9: DUP4
000002da: GT
000002db: PUSH2 0x0184
000002de: JUMPI
000002df: PUSH1 0x44
000002e1: ADD
000002e2: SWAP2
000002e3: DUP1
000002e4: CALLDATASIZE
000002e5: SUB
000002e6: DUP4
000002e7: SGT
000002e8: PUSH2 0x0184
000002eb: JUMPI
000002ec: PUSH0
000002ed: DUP1
000002ee: DUP16
000002ef: SWAP5
000002f0: DUP16
000002f1: PUSH2 0x0329
000002f4: DUP16
000002f5: SWAP2
000002f6: PUSH2 0x033d
000002f9: SWAP7
000002fa: DUP16
000002fb: SWAP4
000002fc: PUSH1 0x01
000002fe: SWAP11
000002ff: MLOAD
00000300: SWAP5
00000301: DUP3
00000302: DUP7
00000303: SWAP4
00000304: DUP6
00000305: DUP6
00000306: ADD
00000307: SWAP9
00000308: DUP10
00000309: CALLDATACOPY
0000030a: DUP4
0000030b: ADD
0000030c: SWAP1
0000030d: DUP5
0000030e: DUP3
0000030f: ADD
00000310: SWAP1
00000311: DUP10
00000312: DUP3
00000313: MSTORE
00000314: MLOAD
00000315: SWAP3
00000316: DUP4
00000317: SWAP2
00000318: MCOPY
00000319: ADD
0000031a: DUP7
0000031b: DUP4
0000031c: DUP3
0000031d: ADD
0000031e: MSTORE
0000031f: SUB
00000320: DUP1
00000321: DUP5
00000322: MSTORE
00000323: ADD
00000324: DUP3
00000325: PUSH2 0x1730
00000328: JUMP
00000329: JUMPDEST
0000032a: MLOAD
0000032b: SWAP1
0000032c: ADDRESS
0000032d: GAS
0000032e: DELEGATECALL
0000032f: PUSH2 0x0336
00000332: PUSH2 0x1e09
00000335: JUMP
00000336: JUMPDEST
00000337: SWAP1
00000338: ADDRESS
00000339: PUSH2 0x1eea
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH2 0x0347
00000341: DUP3
00000342: DUP14
00000343: PUSH2 0x1865
00000346: JUMP
00000347: JUMPDEST
00000348: MSTORE
00000349: PUSH2 0x0352
0000034c: DUP2
0000034d: DUP13
0000034e: PUSH2 0x1865
00000351: JUMP
00000352: JUMPDEST
00000353: POP
00000354: ADD
00000355: PUSH2 0x025c
00000358: JUMP
00000359: JUMPDEST
0000035a: POP
0000035b: CALLVALUE
0000035c: PUSH2 0x0184
0000035f: JUMPI
00000360: PUSH0
00000361: CALLDATASIZE
00000362: PUSH1 0x03
00000364: NOT
00000365: ADD
00000366: SLT
00000367: PUSH2 0x0184
0000036a: JUMPI
0000036b: PUSH1 0x20
0000036d: SWAP1
0000036e: MLOAD
0000036f: PUSH0
00000370: DUP2
00000371: MSTORE
00000372: RETURN
00000373: JUMPDEST
00000374: POP
00000375: CALLVALUE
00000376: PUSH2 0x0184
00000379: JUMPI
0000037a: PUSH0
0000037b: CALLDATASIZE
0000037c: PUSH1 0x03
0000037e: NOT
0000037f: ADD
00000380: SLT
00000381: PUSH2 0x0184
00000384: JUMPI
00000385: PUSH1 0x20
00000387: SWAP1
00000388: PUSH1 0x01
0000038a: SLOAD
0000038b: SWAP1
0000038c: MLOAD
0000038d: SWAP1
0000038e: DUP2
0000038f: MSTORE
00000390: RETURN
00000391: JUMPDEST
00000392: POP
00000393: CALLVALUE
00000394: PUSH2 0x0184
00000397: JUMPI
00000398: PUSH0
00000399: CALLDATASIZE
0000039a: PUSH1 0x03
0000039c: NOT
0000039d: ADD
0000039e: SLT
0000039f: PUSH2 0x0184
000003a2: JUMPI
000003a3: PUSH1 0x20
000003a5: SWAP1
000003a6: MLOAD
000003a7: PUSH32 0xa2e85c2f0b3a0317b9c4b4185c12b4e23dd961a7645fcbc9bb8efb8eb70e0d03
000003c8: DUP2
000003c9: MSTORE
000003ca: RETURN
000003cb: JUMPDEST
000003cc: POP
000003cd: SWAP1
000003ce: CALLVALUE
000003cf: PUSH2 0x0184
000003d2: JUMPI
000003d3: PUSH1 0xa0
000003d5: CALLDATASIZE
000003d6: PUSH1 0x03
000003d8: NOT
000003d9: ADD
000003da: SLT
000003db: PUSH2 0x0184
000003de: JUMPI
000003df: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00000400: SWAP1
00000401: DUP2
00000402: SLOAD
00000403: SWAP1
00000404: PUSH1 0xff
00000406: DUP3
00000407: DUP6
00000408: SHR
00000409: AND
0000040a: ISZERO
0000040b: SWAP2
0000040c: PUSH8 0xffffffffffffffff
00000415: DUP2
00000416: AND
00000417: DUP1
00000418: ISZERO
00000419: SWAP1
0000041a: DUP2
0000041b: PUSH2 0x06d1
0000041e: JUMPI
0000041f: JUMPDEST
00000420: PUSH1 0x01
00000422: EQ
00000423: SWAP1
00000424: DUP2
00000425: PUSH2 0x06c7
00000428: JUMPI
00000429: JUMPDEST
0000042a: ISZERO
0000042b: SWAP1
0000042c: DUP2
0000042d: PUSH2 0x06be
00000430: JUMPI
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x06af
00000436: JUMPI
00000437: PUSH8 0xffffffffffffffff
00000440: NOT
00000441: DUP2
00000442: AND
00000443: PUSH1 0x01
00000445: OR
00000446: DUP5
00000447: SSTORE
00000448: DUP3
00000449: PUSH2 0x0690
0000044c: JUMPI
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH1 0x01
00000451: PUSH1 0x01
00000453: PUSH1 0xa0
00000455: SHL
00000456: SUB
00000457: SWAP1
00000458: PUSH2 0x045f
0000045b: PUSH2 0x18a5
0000045e: JUMP
0000045f: JUMPDEST
00000460: DUP6
00000461: MLOAD
00000462: PUSH4 0x02910f8b
00000467: PUSH1 0xe3
00000469: SHL
0000046a: DUP2
0000046b: MSTORE
0000046c: SWAP1
0000046d: DUP4
0000046e: AND
0000046f: DUP3
00000470: DUP3
00000471: ADD
00000472: MSTORE
00000473: PUSH1 0x20
00000475: DUP2
00000476: PUSH1 0x24
00000478: DUP2
00000479: PUSH32 0x000000000000000000000000aeb6bdd95c502390db8f52c8909f703e9af6a346
0000049a: DUP8
0000049b: AND
0000049c: GAS
0000049d: STATICCALL
0000049e: SWAP1
0000049f: DUP2
000004a0: ISZERO
000004a1: PUSH2 0x0686
000004a4: JUMPI
000004a5: PUSH0
000004a6: SWAP2
000004a7: PUSH2 0x0657
000004aa: JUMPI
000004ab: JUMPDEST
000004ac: POP
000004ad: ISZERO
000004ae: PUSH2 0x0649
000004b1: JUMPI
000004b2: DUP2
000004b3: PUSH2 0x04ba
000004b6: PUSH2 0x18bb
000004b9: JUMP
000004ba: JUMPDEST
000004bb: AND
000004bc: ISZERO
000004bd: PUSH2 0x05f2
000004c0: JUMPI
000004c1: JUMPDEST
000004c2: POP
000004c3: PUSH2 0x04ca
000004c6: PUSH2 0x1ea9
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH2 0x04d2
000004ce: PUSH2 0x1ea9
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH1 0x01
000004d5: PUSH0
000004d6: DUP1
000004d7: MLOAD
000004d8: PUSH1 0x20
000004da: PUSH2 0x1f8e
000004dd: DUP4
000004de: CODECOPY
000004df: DUP2
000004e0: MLOAD
000004e1: SWAP2
000004e2: MSTORE
000004e3: SSTORE
000004e4: DUP1
000004e5: PUSH2 0x04ec
000004e8: PUSH2 0x18a5
000004eb: JUMP
000004ec: JUMPDEST
000004ed: AND
000004ee: PUSH12 0xffffffffffffffffffffffff
000004fb: PUSH1 0xa0
000004fd: SHL
000004fe: PUSH0
000004ff: SLOAD
00000500: AND
00000501: OR
00000502: PUSH0
00000503: SSTORE
00000504: PUSH32 0x108cccaed2dfffe466544dfa3900b2fa5e707bb00ded59de6a950479b923216f
00000525: PUSH1 0x20
00000527: PUSH2 0x052e
0000052a: PUSH2 0x18a5
0000052d: JUMP
0000052e: JUMPDEST
0000052f: DUP4
00000530: DUP8
00000531: MLOAD
00000532: SWAP2
00000533: AND
00000534: DUP2
00000535: MSTORE
00000536: LOG1
00000537: PUSH2 0x0541
0000053a: PUSH1 0x24
0000053c: CALLDATALOAD
0000053d: PUSH2 0x1dbd
00000540: JUMP
00000541: JUMPDEST
00000542: DUP1
00000543: PUSH2 0x054a
00000546: PUSH2 0x18bb
00000549: JUMP
0000054a: JUMPDEST
0000054b: AND
0000054c: PUSH2 0x05dc
0000054f: JUMPI
00000550: JUMPDEST
00000551: DUP1
00000552: PUSH2 0x0559
00000555: PUSH2 0x18d1
00000558: JUMP
00000559: JUMPDEST
0000055a: AND
0000055b: PUSH2 0x05c6
0000055e: JUMPI
0000055f: JUMPDEST
00000560: PUSH2 0x0567
00000563: PUSH2 0x18e7
00000566: JUMP
00000567: JUMPDEST
00000568: AND
00000569: PUSH2 0x05b0
0000056c: JUMPI
0000056d: JUMPDEST
0000056e: PUSH2 0x0573
00000571: JUMPI
00000572: STOP
00000573: JUMPDEST
00000574: DUP1
00000575: SLOAD
00000576: PUSH9 0xff0000000000000000
00000580: NOT
00000581: AND
00000582: SWAP1
00000583: SSTORE
00000584: MLOAD
00000585: PUSH1 0x01
00000587: DUP2
00000588: MSTORE
00000589: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
000005aa: SWAP1
000005ab: PUSH1 0x20
000005ad: SWAP1
000005ae: LOG1
000005af: STOP
000005b0: JUMPDEST
000005b1: PUSH2 0x05c0
000005b4: PUSH2 0x05bb
000005b7: PUSH2 0x18e7
000005ba: JUMP
000005bb: JUMPDEST
000005bc: PUSH2 0x1bd6
000005bf: JUMP
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x056d
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH2 0x05d6
000005ca: PUSH2 0x05d1
000005cd: PUSH2 0x18d1
000005d0: JUMP
000005d1: JUMPDEST
000005d2: PUSH2 0x1b29
000005d5: JUMP
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x055f
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x05ec
000005e0: PUSH2 0x05e7
000005e3: PUSH2 0x18bb
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH2 0x1a9f
000005eb: JUMP
000005ec: JUMPDEST
000005ed: POP
000005ee: PUSH2 0x0550
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x24
000005f5: CALLDATALOAD
000005f6: PUSH2 0x0640
000005f9: JUMPI
000005fa: DUP2
000005fb: PUSH2 0x0602
000005fe: PUSH2 0x18d1
00000601: JUMP
00000602: JUMPDEST
00000603: AND
00000604: PUSH2 0x062b
00000607: JUMPI
00000608: DUP2
00000609: PUSH2 0x0610
0000060c: PUSH2 0x18e7
0000060f: JUMP
00000610: JUMPDEST
00000611: AND
00000612: PUSH2 0x061d
00000615: JUMPI
00000616: POP
00000617: JUMPDEST
00000618: PUSH0
00000619: PUSH2 0x04c1
0000061c: JUMP
0000061d: JUMPDEST
0000061e: DUP5
0000061f: MLOAD
00000620: PUSH4 0x183c8545
00000625: PUSH1 0xe2
00000627: SHL
00000628: DUP2
00000629: MSTORE
0000062a: REVERT
0000062b: JUMPDEST
0000062c: DUP2
0000062d: PUSH2 0x0634
00000630: PUSH2 0x18e7
00000633: JUMP
00000634: JUMPDEST
00000635: AND
00000636: ISZERO
00000637: PUSH2 0x061d
0000063a: JUMPI
0000063b: POP
0000063c: PUSH2 0x0617
0000063f: JUMP
00000640: JUMPDEST
00000641: DUP2
00000642: PUSH2 0x0634
00000645: PUSH2 0x18d1
00000648: JUMP
00000649: JUMPDEST
0000064a: DUP5
0000064b: MLOAD
0000064c: PUSH4 0x62df0545
00000651: PUSH1 0xe0
00000653: SHL
00000654: DUP2
00000655: MSTORE
00000656: REVERT
00000657: JUMPDEST
00000658: PUSH2 0x0679
0000065b: SWAP2
0000065c: POP
0000065d: PUSH1 0x20
0000065f: RETURNDATASIZE
00000660: PUSH1 0x20
00000662: GT
00000663: PUSH2 0x067f
00000666: JUMPI
00000667: JUMPDEST
00000668: PUSH2 0x0671
0000066b: DUP2
0000066c: DUP4
0000066d: PUSH2 0x1730
00000670: JUMP
00000671: JUMPDEST
00000672: DUP2
00000673: ADD
00000674: SWAP1
00000675: PUSH2 0x18fd
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH0
0000067b: PUSH2 0x04ab
0000067e: JUMP
0000067f: JUMPDEST
00000680: POP
00000681: RETURNDATASIZE
00000682: PUSH2 0x0667
00000685: JUMP
00000686: JUMPDEST
00000687: DUP7
00000688: MLOAD
00000689: RETURNDATASIZE
0000068a: PUSH0
0000068b: DUP3
0000068c: RETURNDATACOPY
0000068d: RETURNDATASIZE
0000068e: SWAP1
0000068f: REVERT
00000690: JUMPDEST
00000691: PUSH9 0xffffffffffffffffff
0000069b: NOT
0000069c: AND
0000069d: PUSH9 0x010000000000000001
000006a7: OR
000006a8: DUP4
000006a9: SSTORE
000006aa: PUSH0
000006ab: PUSH2 0x044d
000006ae: JUMP
000006af: JUMPDEST
000006b0: POP
000006b1: DUP4
000006b2: MLOAD
000006b3: PUSH4 0xf92ee8a9
000006b8: PUSH1 0xe0
000006ba: SHL
000006bb: DUP2
000006bc: MSTORE
000006bd: REVERT
000006be: JUMPDEST
000006bf: SWAP1
000006c0: POP
000006c1: ISZERO
000006c2: PUSH0
000006c3: PUSH2 0x0431
000006c6: JUMP
000006c7: JUMPDEST
000006c8: ADDRESS
000006c9: EXTCODESIZE
000006ca: ISZERO
000006cb: SWAP2
000006cc: POP
000006cd: PUSH2 0x0429
000006d0: JUMP
000006d1: JUMPDEST
000006d2: DUP5
000006d3: SWAP2
000006d4: POP
000006d5: PUSH2 0x041f
000006d8: JUMP
000006d9: JUMPDEST
000006da: POP
000006db: CALLVALUE
000006dc: PUSH2 0x0184
000006df: JUMPI
000006e0: DUP1
000006e1: PUSH1 0x03
000006e3: NOT
000006e4: CALLDATASIZE
000006e5: ADD
000006e6: SLT
000006e7: PUSH2 0x0184
000006ea: JUMPI
000006eb: PUSH1 0x20
000006ed: SWAP2
000006ee: PUSH2 0x06f5
000006f1: PUSH2 0x1605
000006f4: JUMP
000006f5: JUMPDEST
000006f6: SWAP1
000006f7: CALLDATALOAD
000006f8: PUSH0
000006f9: MSTORE
000006fa: PUSH0
000006fb: DUP1
000006fc: MLOAD
000006fd: PUSH1 0x20
000006ff: PUSH2 0x1f6e
00000702: DUP4
00000703: CODECOPY
00000704: DUP2
00000705: MLOAD
00000706: SWAP2
00000707: MSTORE
00000708: DUP4
00000709: MSTORE
0000070a: DUP2
0000070b: PUSH0
0000070c: KECCAK256
0000070d: SWAP1
0000070e: PUSH1 0x01
00000710: DUP1
00000711: PUSH1 0xa0
00000713: SHL
00000714: SUB
00000715: AND
00000716: PUSH0
00000717: MSTORE
00000718: DUP3
00000719: MSTORE
0000071a: PUSH1 0xff
0000071c: DUP2
0000071d: PUSH0
0000071e: KECCAK256
0000071f: SLOAD
00000720: AND
00000721: SWAP1
00000722: MLOAD
00000723: SWAP1
00000724: ISZERO
00000725: ISZERO
00000726: DUP2
00000727: MSTORE
00000728: RETURN
00000729: JUMPDEST
0000072a: POP
0000072b: CALLVALUE
0000072c: PUSH2 0x0184
0000072f: JUMPI
00000730: DUP1
00000731: PUSH1 0x03
00000733: NOT
00000734: CALLDATASIZE
00000735: ADD
00000736: SLT
00000737: PUSH2 0x0184
0000073a: JUMPI
0000073b: PUSH1 0x20
0000073d: SWAP1
0000073e: PUSH2 0x0745
00000741: PUSH2 0x15ef
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH2 0x074d
00000749: PUSH2 0x1605
0000074c: JUMP
0000074d: JUMPDEST
0000074e: SWAP1
0000074f: PUSH1 0x01
00000751: DUP1
00000752: PUSH1 0xa0
00000754: SHL
00000755: SUB
00000756: DUP1
00000757: SWAP2
00000758: AND
00000759: PUSH0
0000075a: MSTORE
0000075b: PUSH1 0x02
0000075d: DUP5
0000075e: MSTORE
0000075f: DUP3
00000760: PUSH0
00000761: KECCAK256
00000762: SWAP2
00000763: AND
00000764: PUSH0
00000765: MSTORE
00000766: DUP3
00000767: MSTORE
00000768: DUP1
00000769: PUSH0
0000076a: KECCAK256
0000076b: SLOAD
0000076c: SWAP1
0000076d: MLOAD
0000076e: SWAP1
0000076f: DUP2
00000770: MSTORE
00000771: RETURN
00000772: JUMPDEST
00000773: POP
00000774: CALLVALUE
00000775: PUSH2 0x0184
00000778: JUMPI
00000779: PUSH1 0x20
0000077b: CALLDATASIZE
0000077c: PUSH1 0x03
0000077e: NOT
0000077f: ADD
00000780: SLT
00000781: PUSH2 0x0184
00000784: JUMPI
00000785: DUP2
00000786: CALLDATALOAD
00000787: SWAP1
00000788: PUSH32 0xa2e85c2f0b3a0317b9c4b4185c12b4e23dd961a7645fcbc9bb8efb8eb70e0d03
000007a9: DUP1
000007aa: PUSH0
000007ab: MSTORE
000007ac: PUSH0
000007ad: DUP1
000007ae: MLOAD
000007af: PUSH1 0x20
000007b1: PUSH2 0x1f6e
000007b4: DUP4
000007b5: CODECOPY
000007b6: DUP2
000007b7: MLOAD
000007b8: SWAP2
000007b9: MSTORE
000007ba: PUSH1 0x20
000007bc: MSTORE
000007bd: DUP2
000007be: PUSH0
000007bf: KECCAK256
000007c0: CALLER
000007c1: PUSH0
000007c2: MSTORE
000007c3: PUSH1 0x20
000007c5: MSTORE
000007c6: PUSH1 0xff
000007c8: DUP3
000007c9: PUSH0
000007ca: KECCAK256
000007cb: SLOAD
000007cc: AND
000007cd: ISZERO
000007ce: PUSH2 0x07f3
000007d1: JUMPI
000007d2: POP
000007d3: DUP2
000007d4: PUSH1 0x01
000007d6: SLOAD
000007d7: EQ
000007d8: PUSH2 0x07e4
000007db: JUMPI
000007dc: PUSH2 0x0182
000007df: DUP3
000007e0: PUSH2 0x1dbd
000007e3: JUMP
000007e4: JUMPDEST
000007e5: MLOAD
000007e6: PUSH4 0xa741a045
000007eb: PUSH1 0xe0
000007ed: SHL
000007ee: DUP2
000007ef: MSTORE
000007f0: SWAP1
000007f1: POP
000007f2: REVERT
000007f3: JUMPDEST
000007f4: SWAP1
000007f5: MLOAD
000007f6: PUSH4 0xe2517d3f
000007fb: PUSH1 0xe0
000007fd: SHL
000007fe: DUP2
000007ff: MSTORE
00000800: CALLER
00000801: DUP2
00000802: DUP6
00000803: ADD
00000804: MSTORE
00000805: PUSH1 0x24
00000807: DUP2
00000808: ADD
00000809: SWAP2
0000080a: SWAP1
0000080b: SWAP2
0000080c: MSTORE
0000080d: PUSH1 0x44
0000080f: SWAP1
00000810: REVERT
00000811: JUMPDEST
00000812: POP
00000813: SWAP1
00000814: CALLVALUE
00000815: PUSH2 0x0184
00000818: JUMPI
00000819: DUP2
0000081a: PUSH1 0x03
0000081c: NOT
0000081d: CALLDATASIZE
0000081e: ADD
0000081f: SLT
00000820: PUSH2 0x0184
00000823: JUMPI
00000824: PUSH2 0x082b
00000827: PUSH2 0x15ef
0000082a: JUMP
0000082b: JUMPDEST
0000082c: SWAP2
0000082d: PUSH2 0x0834
00000830: PUSH2 0x1605
00000833: JUMP
00000834: JUMPDEST
00000835: PUSH2 0x083c
00000838: PUSH2 0x1915
0000083b: JUMP
0000083c: JUMPDEST
0000083d: PUSH32 0x723d93d9e2749ff76c3a02ca5d48d83735b6f451b126d0ba0683caa16e04c6fa
0000085e: DUP1
0000085f: PUSH0
00000860: MSTORE
00000861: PUSH0
00000862: DUP1
00000863: MLOAD
00000864: PUSH1 0x20
00000866: PUSH2 0x1f6e
00000869: DUP4
0000086a: CODECOPY
0000086b: DUP2
0000086c: MLOAD
0000086d: SWAP2
0000086e: MSTORE
0000086f: PUSH1 0x20
00000871: MSTORE
00000872: DUP3
00000873: PUSH0
00000874: KECCAK256
00000875: CALLER
00000876: PUSH0
00000877: MSTORE
00000878: PUSH1 0x20
0000087a: MSTORE
0000087b: PUSH1 0xff
0000087d: DUP4
0000087e: PUSH0
0000087f: KECCAK256
00000880: SLOAD
00000881: AND
00000882: ISZERO
00000883: PUSH2 0x0903
00000886: JUMPI
00000887: POP
00000888: PUSH1 0x01
0000088a: DUP1
0000088b: PUSH1 0xa0
0000088d: SHL
0000088e: SUB
0000088f: AND
00000890: SWAP3
00000891: DUP4
00000892: PUSH0
00000893: MSTORE
00000894: DUP3
00000895: PUSH1 0x20
00000897: MSTORE
00000898: DUP2
00000899: PUSH0
0000089a: KECCAK256
0000089b: SLOAD
0000089c: SWAP3
0000089d: DUP4
0000089e: ISZERO
0000089f: PUSH2 0x08f5
000008a2: JUMPI
000008a3: SWAP2
000008a4: PUSH2 0x08dd
000008a7: DUP5
000008a8: PUSH32 0x6059a38198b1dc42b3791087d1ff0fbd72b3179553c25f678cd246f52ffaaf59
000008c9: SWAP6
000008ca: SWAP4
000008cb: PUSH1 0x20
000008cd: SWAP6
000008ce: DUP9
000008cf: PUSH0
000008d0: MSTORE
000008d1: DUP7
000008d2: MSTORE
000008d3: PUSH0
000008d4: DUP5
000008d5: DUP2
000008d6: KECCAK256
000008d7: SSTORE
000008d8: DUP8
000008d9: PUSH2 0x1d6b
000008dc: JUMP
000008dd: JUMPDEST
000008de: MLOAD
000008df: SWAP1
000008e0: DUP2
000008e1: MSTORE
000008e2: LOG2
000008e3: PUSH1 0x01
000008e5: PUSH0
000008e6: DUP1
000008e7: MLOAD
000008e8: PUSH1 0x20
000008ea: PUSH2 0x1f8e
000008ed: DUP4
000008ee: CODECOPY
000008ef: DUP2
000008f0: MLOAD
000008f1: SWAP2
000008f2: MSTORE
000008f3: SSTORE
000008f4: STOP
000008f5: JUMPDEST
000008f6: DUP3
000008f7: MLOAD
000008f8: PUSH4 0x19128aeb
000008fd: PUSH1 0xe2
000008ff: SHL
00000900: DUP2
00000901: MSTORE
00000902: REVERT
00000903: JUMPDEST
00000904: DUP3
00000905: MLOAD
00000906: PUSH4 0xe2517d3f
0000090b: PUSH1 0xe0
0000090d: SHL
0000090e: DUP2
0000090f: MSTORE
00000910: CALLER
00000911: DUP2
00000912: DUP7
00000913: ADD
00000914: MSTORE
00000915: PUSH1 0x24
00000917: DUP2
00000918: ADD
00000919: SWAP2
0000091a: SWAP1
0000091b: SWAP2
0000091c: MSTORE
0000091d: PUSH1 0x44
0000091f: SWAP1
00000920: REVERT
00000921: JUMPDEST
00000922: POP
00000923: CALLVALUE
00000924: PUSH2 0x0184
00000927: JUMPI
00000928: PUSH2 0x0930
0000092b: CALLDATASIZE
0000092c: PUSH2 0x165d
0000092f: JUMP
00000930: JUMPDEST
00000931: SWAP4
00000932: SWAP3
00000933: SWAP2
00000934: SWAP1
00000935: SWAP5
00000936: DUP4
00000937: DUP7
00000938: PUSH0
00000939: SWAP7
0000093a: DUP2
0000093b: ADD
0000093c: SUB
0000093d: SLT
0000093e: PUSH2 0x0184
00000941: JUMPI
00000942: PUSH2 0x094a
00000945: DUP7
00000946: PUSH2 0x161b
00000949: JUMP
0000094a: JUMPDEST
0000094b: SWAP1
0000094c: PUSH1 0x20
0000094e: DUP1
0000094f: SWAP8
00000950: ADD
00000951: CALLDATALOAD
00000952: SWAP3
00000953: PUSH1 0x01
00000955: DUP1
00000956: PUSH1 0xa0
00000958: SHL
00000959: SUB
0000095a: DUP1
0000095b: DUP1
0000095c: SWAP5
0000095d: AND
0000095e: SWAP6
0000095f: AND
00000960: SWAP5
00000961: DUP6
00000962: PUSH0
00000963: MSTORE
00000964: PUSH1 0x02
00000966: DUP10
00000967: MSTORE
00000968: DUP7
00000969: PUSH0
0000096a: KECCAK256
0000096b: DUP2
0000096c: PUSH0
0000096d: MSTORE
0000096e: DUP10
0000096f: MSTORE
00000970: DUP7
00000971: PUSH0
00000972: KECCAK256
00000973: SWAP6
00000974: DUP5
00000975: DUP4
00000976: AND
00000977: PUSH0
00000978: MSTORE
00000979: PUSH1 0x03
0000097b: DUP11
0000097c: MSTORE
0000097d: DUP8
0000097e: PUSH0
0000097f: KECCAK256
00000980: SWAP1
00000981: PUSH0
00000982: MSTORE
00000983: DUP10
00000984: MSTORE
00000985: DUP7
00000986: PUSH0
00000987: KECCAK256
00000988: SWAP1
00000989: PUSH0
0000098a: MSTORE
0000098b: DUP9
0000098c: MSTORE
0000098d: DUP6
0000098e: PUSH0
0000098f: KECCAK256
00000990: SLOAD
00000991: SWAP4
00000992: PUSH2 0x099c
00000995: DUP6
00000996: DUP8
00000997: SLOAD
00000998: PUSH2 0x17d6
0000099b: JUMP
0000099c: JUMPDEST
0000099d: DUP1
0000099e: DUP3
0000099f: LT
000009a0: ISZERO
000009a1: PUSH2 0x0a9a
000009a4: JUMPI
000009a5: POP
000009a6: SWAP3
000009a7: SWAP5
000009a8: SWAP4
000009a9: SWAP2
000009aa: SWAP1
000009ab: JUMPDEST
000009ac: PUSH0
000009ad: SWAP6
000009ae: PUSH0
000009af: SLOAD
000009b0: AND
000009b1: SWAP5
000009b2: JUMPDEST
000009b3: DUP5
000009b4: DUP8
000009b5: LT
000009b6: PUSH2 0x09c2
000009b9: JUMPI
000009ba: DUP10
000009bb: DUP10
000009bc: DUP10
000009bd: MLOAD
000009be: SWAP1
000009bf: DUP2
000009c0: MSTORE
000009c1: RETURN
000009c2: JUMPDEST
000009c3: SWAP1
000009c4: SWAP2
000009c5: SWAP3
000009c6: SWAP4
000009c7: SWAP5
000009c8: SWAP6
000009c9: SWAP8
000009ca: PUSH2 0x09d3
000009cd: DUP6
000009ce: DUP4
000009cf: PUSH2 0x16af
000009d2: JUMP
000009d3: JUMPDEST
000009d4: POP
000009d5: PUSH1 0x01
000009d7: SWAP2
000009d8: DUP10
000009d9: PUSH6 0xffffffffffff
000009e0: DUP5
000009e1: DUP5
000009e2: ADD
000009e3: SLOAD
000009e4: AND
000009e5: DUP14
000009e6: DUP2
000009e7: DUP13
000009e8: DUP10
000009e9: DUP12
000009ea: PUSH2 0x0a14
000009ed: DUP8
000009ee: MLOAD
000009ef: SWAP8
000009f0: PUSH2 0x09f8
000009f3: DUP10
000009f4: PUSH2 0x1700
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH0
000009fa: DUP10
000009fb: MSTORE
000009fc: MLOAD
000009fd: PUSH4 0x0b5cf1a7
00000a02: PUSH1 0xe2
00000a04: SHL
00000a05: DUP2
00000a06: MSTORE
00000a07: SWAP8
00000a08: DUP9
00000a09: SWAP6
00000a0a: DUP7
00000a0b: SWAP5
00000a0c: DUP6
00000a0d: SWAP5
00000a0e: DUP6
00000a0f: ADD
00000a10: PUSH2 0x1879
00000a13: JUMP
00000a14: JUMPDEST
00000a15: SUB
00000a16: SWAP2
00000a17: GAS
00000a18: STATICCALL
00000a19: SWAP2
00000a1a: DUP3
00000a1b: ISZERO
00000a1c: PUSH2 0x0a90
00000a1f: JUMPI
00000a20: SWAP1
00000a21: DUP15
00000a22: DUP7
00000a23: SWAP5
00000a24: SWAP4
00000a25: SWAP3
00000a26: PUSH0
00000a27: SWAP4
00000a28: PUSH2 0x0a5d
00000a2b: JUMPI
00000a2c: JUMPDEST
00000a2d: POP
00000a2e: SWAP1
00000a2f: PUSH1 0x05
00000a31: PUSH2 0x0a49
00000a34: SWAP4
00000a35: SWAP3
00000a36: PUSH2 0x0a4f
00000a39: SWAP7
00000a3a: SWAP8
00000a3b: SLOAD
00000a3c: SWAP3
00000a3d: PUSH0
00000a3e: MSTORE
00000a3f: MSTORE
00000a40: DUP14
00000a41: PUSH0
00000a42: KECCAK256
00000a43: SLOAD
00000a44: SWAP2
00000a45: PUSH2 0x19be
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: SWAP1
00000a4b: PUSH2 0x17f7
00000a4e: JUMP
00000a4f: JUMPDEST
00000a50: SWAP10
00000a51: ADD
00000a52: SWAP7
00000a53: SWAP6
00000a54: SWAP5
00000a55: ADD
00000a56: SWAP3
00000a57: SWAP2
00000a58: SWAP1
00000a59: PUSH2 0x09b2
00000a5c: JUMP
00000a5d: JUMPDEST
00000a5e: SWAP3
00000a5f: POP
00000a60: SWAP1
00000a61: SWAP4
00000a62: POP
00000a63: DUP2
00000a64: DUP2
00000a65: RETURNDATASIZE
00000a66: DUP4
00000a67: GT
00000a68: PUSH2 0x0a89
00000a6b: JUMPI
00000a6c: JUMPDEST
00000a6d: PUSH2 0x0a76
00000a70: DUP2
00000a71: DUP4
00000a72: PUSH2 0x1730
00000a75: JUMP
00000a76: JUMPDEST
00000a77: DUP2
00000a78: ADD
00000a79: SUB
00000a7a: SLT
00000a7b: PUSH2 0x0184
00000a7e: JUMPI
00000a7f: MLOAD
00000a80: DUP5
00000a81: SWAP3
00000a82: DUP15
00000a83: PUSH1 0x05
00000a85: PUSH2 0x0a2c
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: POP
00000a8b: RETURNDATASIZE
00000a8c: PUSH2 0x0a6c
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: DUP13
00000a92: MLOAD
00000a93: RETURNDATASIZE
00000a94: PUSH0
00000a95: DUP3
00000a96: RETURNDATACOPY
00000a97: RETURNDATASIZE
00000a98: SWAP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: SWAP1
00000a9c: POP
00000a9d: SWAP3
00000a9e: SWAP5
00000a9f: SWAP4
00000aa0: SWAP2
00000aa1: SWAP1
00000aa2: PUSH2 0x09ab
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: CALLVALUE
00000aa9: PUSH2 0x0184
00000aac: JUMPI
00000aad: PUSH1 0x60
00000aaf: CALLDATASIZE
00000ab0: PUSH1 0x03
00000ab2: NOT
00000ab3: ADD
00000ab4: SLT
00000ab5: PUSH2 0x0184
00000ab8: JUMPI
00000ab9: PUSH2 0x0ac0
00000abc: PUSH2 0x15ef
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: PUSH2 0x0ac8
00000ac4: PUSH2 0x1605
00000ac7: JUMP
00000ac8: JUMPDEST
00000ac9: PUSH1 0x44
00000acb: CALLDATALOAD
00000acc: SWAP2
00000acd: PUSH1 0x01
00000acf: DUP1
00000ad0: PUSH1 0xa0
00000ad2: SHL
00000ad3: SUB
00000ad4: DUP1
00000ad5: SWAP2
00000ad6: AND
00000ad7: PUSH0
00000ad8: MSTORE
00000ad9: PUSH1 0x02
00000adb: PUSH1 0x20
00000add: MSTORE
00000ade: DUP4
00000adf: PUSH0
00000ae0: KECCAK256
00000ae1: SWAP2
00000ae2: AND
00000ae3: PUSH0
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: MSTORE
00000ae8: DUP2
00000ae9: PUSH0
00000aea: KECCAK256
00000aeb: SWAP1
00000aec: DUP2
00000aed: SLOAD
00000aee: DUP2
00000aef: LT
00000af0: ISZERO
00000af1: PUSH2 0x0184
00000af4: JUMPI
00000af5: PUSH2 0x0afd
00000af8: SWAP2
00000af9: PUSH2 0x16af
00000afc: JUMP
00000afd: JUMPDEST
00000afe: POP
00000aff: PUSH6 0xffffffffffff
00000b06: PUSH1 0x01
00000b08: DUP3
00000b09: SLOAD
00000b0a: SWAP3
00000b0b: ADD
00000b0c: SLOAD
00000b0d: AND
00000b0e: DUP3
00000b0f: MLOAD
00000b10: SWAP2
00000b11: DUP3
00000b12: MSTORE
00000b13: PUSH1 0x20
00000b15: DUP3
00000b16: ADD
00000b17: MSTORE
00000b18: RETURN
00000b19: JUMPDEST
00000b1a: POP
00000b1b: CALLVALUE
00000b1c: PUSH2 0x0184
00000b1f: JUMPI
00000b20: PUSH2 0x0b28
00000b23: CALLDATASIZE
00000b24: PUSH2 0x165d
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x0b36
00000b2c: SWAP6
00000b2d: SWAP4
00000b2e: SWAP6
00000b2f: SWAP5
00000b30: SWAP2
00000b31: SWAP5
00000b32: PUSH2 0x1915
00000b35: JUMP
00000b36: JUMPDEST
00000b37: DUP5
00000b38: ADD
00000b39: SWAP4
00000b3a: PUSH1 0x60
00000b3c: DUP2
00000b3d: DUP7
00000b3e: SUB
00000b3f: SLT
00000b40: PUSH2 0x0184
00000b43: JUMPI
00000b44: PUSH2 0x0b4c
00000b47: DUP2
00000b48: PUSH2 0x161b
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: PUSH1 0x20
00000b4f: SWAP1
00000b50: DUP2
00000b51: DUP4
00000b52: ADD
00000b53: CALLDATALOAD
00000b54: SWAP7
00000b55: DUP5
00000b56: DUP5
00000b57: ADD
00000b58: CALLDATALOAD
00000b59: PUSH8 0xffffffffffffffff
00000b62: SWAP5
00000b63: DUP6
00000b64: DUP3
00000b65: GT
00000b66: PUSH2 0x0184
00000b69: JUMPI
00000b6a: ADD
00000b6b: DUP2
00000b6c: PUSH1 0x1f
00000b6e: DUP3
00000b6f: ADD
00000b70: SLT
00000b71: ISZERO
00000b72: PUSH2 0x0184
00000b75: JUMPI
00000b76: DUP1
00000b77: CALLDATALOAD
00000b78: PUSH2 0x0b80
00000b7b: DUP2
00000b7c: PUSH2 0x1804
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: SWAP6
00000b82: PUSH2 0x0b8d
00000b85: DUP9
00000b86: MLOAD
00000b87: SWAP8
00000b88: DUP9
00000b89: PUSH2 0x1730
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: DUP2
00000b8f: DUP8
00000b90: MSTORE
00000b91: DUP6
00000b92: DUP1
00000b93: DUP9
00000b94: ADD
00000b95: SWAP3
00000b96: PUSH1 0x05
00000b98: SHL
00000b99: DUP5
00000b9a: ADD
00000b9b: ADD
00000b9c: SWAP4
00000b9d: DUP1
00000b9e: DUP6
00000b9f: GT
00000ba0: PUSH2 0x0184
00000ba3: JUMPI
00000ba4: DUP7
00000ba5: DUP5
00000ba6: ADD
00000ba7: SWAP3
00000ba8: JUMPDEST
00000ba9: DUP6
00000baa: DUP5
00000bab: LT
00000bac: PUSH2 0x0e09
00000baf: JUMPI
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: PUSH1 0x01
00000bb8: DUP1
00000bb9: PUSH1 0xa0
00000bbb: SHL
00000bbc: SUB
00000bbd: DUP1
00000bbe: SWAP2
00000bbf: AND
00000bc0: SWAP5
00000bc1: DUP4
00000bc2: SWAP9
00000bc3: DUP3
00000bc4: DUP2
00000bc5: AND
00000bc6: SWAP2
00000bc7: DUP3
00000bc8: ISZERO
00000bc9: PUSH2 0x0df9
00000bcc: JUMPI
00000bcd: DUP4
00000bce: AND
00000bcf: SWAP8
00000bd0: DUP9
00000bd1: PUSH0
00000bd2: MSTORE
00000bd3: PUSH1 0x02
00000bd5: DUP6
00000bd6: MSTORE
00000bd7: DUP7
00000bd8: PUSH0
00000bd9: KECCAK256
00000bda: DUP9
00000bdb: PUSH0
00000bdc: MSTORE
00000bdd: DUP6
00000bde: MSTORE
00000bdf: DUP7
00000be0: PUSH0
00000be1: KECCAK256
00000be2: SWAP11
00000be3: DUP12
00000be4: SWAP11
00000be5: CALLER
00000be6: PUSH0
00000be7: MSTORE
00000be8: PUSH1 0x03
00000bea: DUP8
00000beb: MSTORE
00000bec: DUP9
00000bed: PUSH0
00000bee: KECCAK256
00000bef: DUP12
00000bf0: PUSH0
00000bf1: MSTORE
00000bf2: DUP8
00000bf3: MSTORE
00000bf4: DUP9
00000bf5: PUSH0
00000bf6: KECCAK256
00000bf7: DUP11
00000bf8: PUSH0
00000bf9: MSTORE
00000bfa: DUP8
00000bfb: MSTORE
00000bfc: PUSH2 0x0c0a
00000bff: DUP10
00000c00: PUSH0
00000c01: KECCAK256
00000c02: SLOAD
00000c03: DUP1
00000c04: SWAP14
00000c05: SLOAD
00000c06: PUSH2 0x17d6
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: DUP1
00000c0c: DUP3
00000c0d: LT
00000c0e: ISZERO
00000c0f: PUSH2 0x0df1
00000c12: JUMPI
00000c13: POP
00000c14: SWAP7
00000c15: JUMPDEST
00000c16: DUP8
00000c17: ISZERO
00000c18: PUSH2 0x0de1
00000c1b: JUMPI
00000c1c: MLOAD
00000c1d: DUP8
00000c1e: SWAP1
00000c1f: DUP1
00000c20: PUSH2 0x0dc5
00000c23: JUMPI
00000c24: POP
00000c25: PUSH2 0x0c2e
00000c28: SWAP2
00000c29: POP
00000c2a: PUSH2 0x181c
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: SWAP11
00000c30: SWAP1
00000c31: SWAP4
00000c32: JUMPDEST
00000c33: PUSH0
00000c34: SWAP5
00000c35: DUP12
00000c36: SWAP13
00000c37: PUSH0
00000c38: SWAP3
00000c39: PUSH0
00000c3a: SLOAD
00000c3b: AND
00000c3c: JUMPDEST
00000c3d: DUP10
00000c3e: DUP5
00000c3f: LT
00000c40: PUSH2 0x0cf0
00000c43: JUMPI
00000c44: POP
00000c45: POP
00000c46: POP
00000c47: POP
00000c48: POP
00000c49: PUSH32 0xacd14cc0b0a59979040123e9ce2601bfc1ec40c1360bcc405e1ca188f17b7fc6
00000c6a: SWAP7
00000c6b: SWAP8
00000c6c: SWAP9
00000c6d: SWAP10
00000c6e: CALLER
00000c6f: PUSH0
00000c70: MSTORE
00000c71: PUSH1 0x03
00000c73: DUP6
00000c74: MSTORE
00000c75: DUP7
00000c76: PUSH0
00000c77: KECCAK256
00000c78: DUP11
00000c79: PUSH0
00000c7a: MSTORE
00000c7b: DUP6
00000c7c: MSTORE
00000c7d: DUP7
00000c7e: PUSH0
00000c7f: KECCAK256
00000c80: DUP10
00000c81: PUSH0
00000c82: MSTORE
00000c83: DUP6
00000c84: MSTORE
00000c85: DUP7
00000c86: PUSH0
00000c87: KECCAK256
00000c88: SSTORE
00000c89: DUP3
00000c8a: DUP1
00000c8b: PUSH2 0x0cdf
00000c8e: JUMPI
00000c8f: JUMPDEST
00000c90: POP
00000c91: POP
00000c92: DUP5
00000c93: MLOAD
00000c94: SWAP2
00000c95: DUP3
00000c96: MSTORE
00000c97: DUP3
00000c98: DUP3
00000c99: ADD
00000c9a: MSTORE
00000c9b: DUP7
00000c9c: DUP7
00000c9d: PUSH32 0x88744b3615a11586336358f196290c37189c924b0ce7f612d07789041af7cde4
00000cbe: DUP7
00000cbf: CALLER
00000cc0: SWAP5
00000cc1: LOG4
00000cc2: DUP3
00000cc3: MLOAD
00000cc4: SWAP7
00000cc5: DUP8
00000cc6: MSTORE
00000cc7: DUP7
00000cc8: ADD
00000cc9: MSTORE
00000cca: CALLER
00000ccb: SWAP5
00000ccc: LOG4
00000ccd: PUSH1 0x01
00000ccf: PUSH0
00000cd0: DUP1
00000cd1: MLOAD
00000cd2: PUSH1 0x20
00000cd4: PUSH2 0x1f8e
00000cd7: DUP4
00000cd8: CODECOPY
00000cd9: DUP2
00000cda: MLOAD
00000cdb: SWAP2
00000cdc: MSTORE
00000cdd: SSTORE
00000cde: STOP
00000cdf: JUMPDEST
00000ce0: PUSH2 0x0ce9
00000ce3: SWAP2
00000ce4: DUP11
00000ce5: PUSH2 0x1d6b
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: PUSH0
00000ceb: DUP3
00000cec: PUSH2 0x0c8f
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: SWAP1
00000cf2: SWAP3
00000cf3: SWAP7
00000cf4: PUSH2 0x0d00
00000cf7: DUP6
00000cf8: SWAP16
00000cf9: DUP1
00000cfa: SWAP5
00000cfb: SWAP7
00000cfc: PUSH2 0x16af
00000cff: JUMP
00000d00: JUMPDEST
00000d01: POP
00000d02: PUSH1 0x01
00000d04: SWAP2
00000d05: DUP13
00000d06: PUSH2 0x0d23
00000d09: DUP13
00000d0a: DUP13
00000d0b: DUP11
00000d0c: PUSH2 0x0d3e
00000d0f: PUSH6 0xffffffffffff
00000d16: DUP10
00000d17: DUP10
00000d18: ADD
00000d19: SLOAD
00000d1a: AND
00000d1b: SWAP5
00000d1c: DUP6
00000d1d: SWAP4
00000d1e: DUP14
00000d1f: PUSH2 0x1865
00000d22: JUMP
00000d23: JUMPDEST
00000d24: MLOAD
00000d25: SWAP6
00000d26: MLOAD
00000d27: PUSH4 0x0b5cf1a7
00000d2c: PUSH1 0xe2
00000d2e: SHL
00000d2f: DUP2
00000d30: MSTORE
00000d31: SWAP6
00000d32: DUP7
00000d33: SWAP4
00000d34: DUP5
00000d35: SWAP4
00000d36: CALLER
00000d37: SWAP1
00000d38: DUP6
00000d39: ADD
00000d3a: PUSH2 0x1879
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: SUB
00000d40: DUP2
00000d41: DUP10
00000d42: GAS
00000d43: STATICCALL
00000d44: SWAP2
00000d45: DUP3
00000d46: ISZERO
00000d47: PUSH2 0x0dbb
00000d4a: JUMPI
00000d4b: SWAP1
00000d4c: DUP16
00000d4d: DUP15
00000d4e: DUP8
00000d4f: SWAP6
00000d50: SWAP5
00000d51: SWAP4
00000d52: PUSH0
00000d53: SWAP5
00000d54: PUSH2 0x0d85
00000d57: JUMPI
00000d58: JUMPDEST
00000d59: POP
00000d5a: SWAP1
00000d5b: PUSH1 0x05
00000d5d: PUSH2 0x0a49
00000d60: SWAP5
00000d61: SWAP4
00000d62: SWAP3
00000d63: PUSH2 0x0d75
00000d66: SWAP8
00000d67: SWAP9
00000d68: SLOAD
00000d69: SWAP4
00000d6a: PUSH0
00000d6b: MSTORE
00000d6c: MSTORE
00000d6d: PUSH0
00000d6e: KECCAK256
00000d6f: SLOAD
00000d70: SWAP2
00000d71: PUSH2 0x19be
00000d74: JUMP
00000d75: JUMPDEST
00000d76: SWAP9
00000d77: ADD
00000d78: SWAP3
00000d79: ADD
00000d7a: SWAP4
00000d7b: SWAP2
00000d7c: SWAP3
00000d7d: SWAP1
00000d7e: SWAP14
00000d7f: SWAP4
00000d80: SWAP14
00000d81: PUSH2 0x0c3c
00000d84: JUMP
00000d85: JUMPDEST
00000d86: SWAP4
00000d87: POP
00000d88: DUP1
00000d89: SWAP3
00000d8a: SWAP6
00000d8b: POP
00000d8c: DUP4
00000d8d: SWAP2
00000d8e: POP
00000d8f: RETURNDATASIZE
00000d90: DUP4
00000d91: GT
00000d92: PUSH2 0x0db4
00000d95: JUMPI
00000d96: JUMPDEST
00000d97: PUSH2 0x0da0
00000d9a: DUP2
00000d9b: DUP4
00000d9c: PUSH2 0x1730
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: DUP2
00000da2: ADD
00000da3: SUB
00000da4: SLT
00000da5: PUSH2 0x0184
00000da8: JUMPI
00000da9: MLOAD
00000daa: DUP5
00000dab: SWAP3
00000dac: DUP16
00000dad: DUP15
00000dae: PUSH1 0x05
00000db0: PUSH2 0x0d58
00000db3: JUMP
00000db4: JUMPDEST
00000db5: POP
00000db6: RETURNDATASIZE
00000db7: PUSH2 0x0d96
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: DUP16
00000dbd: MLOAD
00000dbe: RETURNDATASIZE
00000dbf: PUSH0
00000dc0: DUP3
00000dc1: RETURNDATACOPY
00000dc2: RETURNDATASIZE
00000dc3: SWAP1
00000dc4: REVERT
00000dc5: JUMPDEST
00000dc6: SUB
00000dc7: PUSH2 0x0dd2
00000dca: JUMPI
00000dcb: SWAP11
00000dcc: SWAP1
00000dcd: SWAP4
00000dce: PUSH2 0x0c32
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: POP
00000dd4: DUP7
00000dd5: MLOAD
00000dd6: PUSH4 0xfe8faedf
00000ddb: PUSH1 0xe0
00000ddd: SHL
00000dde: DUP2
00000ddf: MSTORE
00000de0: REVERT
00000de1: JUMPDEST
00000de2: DUP9
00000de3: MLOAD
00000de4: PUSH4 0x73380d99
00000de9: PUSH1 0xe0
00000deb: SHL
00000dec: DUP2
00000ded: MSTORE
00000dee: DUP4
00000def: SWAP1
00000df0: REVERT
00000df1: JUMPDEST
00000df2: SWAP1
00000df3: POP
00000df4: SWAP7
00000df5: PUSH2 0x0c15
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: DUP7
00000dfb: MLOAD
00000dfc: PUSH4 0x4e469669
00000e01: PUSH1 0xe1
00000e03: SHL
00000e04: DUP2
00000e05: MSTORE
00000e06: DUP10
00000e07: SWAP1
00000e08: REVERT
00000e09: JUMPDEST
00000e0a: DUP4
00000e0b: CALLDATALOAD
00000e0c: DUP4
00000e0d: DUP2
00000e0e: GT
00000e0f: PUSH2 0x0184
00000e12: JUMPI
00000e13: DUP9
00000e14: SWAP2
00000e15: PUSH2 0x0e23
00000e18: DUP5
00000e19: DUP5
00000e1a: DUP1
00000e1b: SWAP5
00000e1c: DUP11
00000e1d: ADD
00000e1e: ADD
00000e1f: PUSH2 0x176e
00000e22: JUMP
00000e23: JUMPDEST
00000e24: DUP2
00000e25: MSTORE
00000e26: ADD
00000e27: SWAP4
00000e28: ADD
00000e29: SWAP3
00000e2a: PUSH2 0x0ba8
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: POP
00000e30: CALLVALUE
00000e31: PUSH2 0x0184
00000e34: JUMPI
00000e35: PUSH0
00000e36: CALLDATASIZE
00000e37: PUSH1 0x03
00000e39: NOT
00000e3a: ADD
00000e3b: SLT
00000e3c: PUSH2 0x0184
00000e3f: JUMPI
00000e40: PUSH1 0x20
00000e42: SWAP1
00000e43: MLOAD
00000e44: PUSH1 0x02
00000e46: DUP2
00000e47: MSTORE
00000e48: RETURN
00000e49: JUMPDEST
00000e4a: POP
00000e4b: CALLVALUE
00000e4c: PUSH2 0x0184
00000e4f: JUMPI
00000e50: PUSH0
00000e51: CALLDATASIZE
00000e52: PUSH1 0x03
00000e54: NOT
00000e55: ADD
00000e56: SLT
00000e57: PUSH2 0x0184
00000e5a: JUMPI
00000e5b: PUSH0
00000e5c: SLOAD
00000e5d: SWAP1
00000e5e: MLOAD
00000e5f: PUSH1 0x01
00000e61: PUSH1 0x01
00000e63: PUSH1 0xa0
00000e65: SHL
00000e66: SUB
00000e67: SWAP1
00000e68: SWAP2
00000e69: AND
00000e6a: DUP2
00000e6b: MSTORE
00000e6c: PUSH1 0x20
00000e6e: SWAP1
00000e6f: RETURN
00000e70: JUMPDEST
00000e71: POP
00000e72: CALLVALUE
00000e73: PUSH2 0x0184
00000e76: JUMPI
00000e77: PUSH1 0x60
00000e79: CALLDATASIZE
00000e7a: PUSH1 0x03
00000e7c: NOT
00000e7d: ADD
00000e7e: SLT
00000e7f: PUSH2 0x0184
00000e82: JUMPI
00000e83: PUSH2 0x0e8a
00000e86: PUSH2 0x15ef
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: SWAP1
00000e8c: PUSH2 0x0e93
00000e8f: PUSH2 0x1605
00000e92: JUMP
00000e93: JUMPDEST
00000e94: PUSH1 0x44
00000e96: CALLDATALOAD
00000e97: PUSH1 0x01
00000e99: PUSH1 0x01
00000e9b: PUSH1 0xa0
00000e9d: SHL
00000e9e: SUB
00000e9f: DUP2
00000ea0: DUP2
00000ea1: AND
00000ea2: SWAP3
00000ea3: SWAP2
00000ea4: DUP4
00000ea5: SWAP1
00000ea6: SUB
00000ea7: PUSH2 0x0184
00000eaa: JUMPI
00000eab: DUP1
00000eac: PUSH1 0x20
00000eae: SWAP6
00000eaf: AND
00000eb0: PUSH0
00000eb1: MSTORE
00000eb2: PUSH1 0x03
00000eb4: DUP6
00000eb5: MSTORE
00000eb6: DUP4
00000eb7: PUSH0
00000eb8: KECCAK256
00000eb9: SWAP2
00000eba: AND
00000ebb: PUSH0
00000ebc: MSTORE
00000ebd: DUP4
00000ebe: MSTORE
00000ebf: DUP2
00000ec0: PUSH0
00000ec1: KECCAK256
00000ec2: SWAP1
00000ec3: PUSH0
00000ec4: MSTORE
00000ec5: DUP3
00000ec6: MSTORE
00000ec7: DUP1
00000ec8: PUSH0
00000ec9: KECCAK256
00000eca: SLOAD
00000ecb: SWAP1
00000ecc: MLOAD
00000ecd: SWAP1
00000ece: DUP2
00000ecf: MSTORE
00000ed0: RETURN
00000ed1: JUMPDEST
00000ed2: POP
00000ed3: CALLVALUE
00000ed4: PUSH2 0x0184
00000ed7: JUMPI
00000ed8: DUP1
00000ed9: PUSH1 0x03
00000edb: NOT
00000edc: CALLDATASIZE
00000edd: ADD
00000ede: SLT
00000edf: PUSH2 0x0184
00000ee2: JUMPI
00000ee3: PUSH2 0x0eea
00000ee6: PUSH2 0x1605
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: SWAP1
00000eec: CALLER
00000eed: PUSH1 0x01
00000eef: PUSH1 0x01
00000ef1: PUSH1 0xa0
00000ef3: SHL
00000ef4: SUB
00000ef5: DUP4
00000ef6: AND
00000ef7: SUB
00000ef8: PUSH2 0x0f06
00000efb: JUMPI
00000efc: POP
00000efd: PUSH2 0x0182
00000f00: SWAP2
00000f01: CALLDATALOAD
00000f02: PUSH2 0x1cec
00000f05: JUMP
00000f06: JUMPDEST
00000f07: MLOAD
00000f08: PUSH4 0x334bd919
00000f0d: PUSH1 0xe1
00000f0f: SHL
00000f10: DUP2
00000f11: MSTORE
00000f12: SWAP1
00000f13: POP
00000f14: REVERT
00000f15: JUMPDEST
00000f16: POP
00000f17: CALLVALUE
00000f18: PUSH2 0x0184
00000f1b: JUMPI
00000f1c: DUP1
00000f1d: PUSH1 0x03
00000f1f: NOT
00000f20: CALLDATASIZE
00000f21: ADD
00000f22: SLT
00000f23: PUSH2 0x0184
00000f26: JUMPI
00000f27: PUSH2 0x0182
00000f2a: SWAP2
00000f2b: CALLDATALOAD
00000f2c: PUSH2 0x0f38
00000f2f: PUSH1 0x01
00000f31: PUSH2 0x015f
00000f34: PUSH2 0x1605
00000f37: JUMP
00000f38: JUMPDEST
00000f39: PUSH2 0x1c7c
00000f3c: JUMP
00000f3d: JUMPDEST
00000f3e: POP
00000f3f: CALLVALUE
00000f40: PUSH2 0x0184
00000f43: JUMPI
00000f44: PUSH0
00000f45: CALLDATASIZE
00000f46: PUSH1 0x03
00000f48: NOT
00000f49: ADD
00000f4a: SLT
00000f4b: PUSH2 0x0184
00000f4e: JUMPI
00000f4f: MLOAD
00000f50: PUSH32 0x000000000000000000000000d7dc9b366c027743d90761f71858bca83c6899ad
00000f71: PUSH1 0x01
00000f73: PUSH1 0x01
00000f75: PUSH1 0xa0
00000f77: SHL
00000f78: SUB
00000f79: AND
00000f7a: DUP2
00000f7b: MSTORE
00000f7c: PUSH1 0x20
00000f7e: SWAP1
00000f7f: RETURN
00000f80: JUMPDEST
00000f81: POP
00000f82: CALLVALUE
00000f83: PUSH2 0x0184
00000f86: JUMPI
00000f87: PUSH1 0x20
00000f89: CALLDATASIZE
00000f8a: PUSH1 0x03
00000f8c: NOT
00000f8d: ADD
00000f8e: SLT
00000f8f: PUSH2 0x0184
00000f92: JUMPI
00000f93: PUSH1 0x20
00000f95: SWAP2
00000f96: CALLDATALOAD
00000f97: PUSH0
00000f98: MSTORE
00000f99: PUSH0
00000f9a: DUP1
00000f9b: MLOAD
00000f9c: PUSH1 0x20
00000f9e: PUSH2 0x1f6e
00000fa1: DUP4
00000fa2: CODECOPY
00000fa3: DUP2
00000fa4: MLOAD
00000fa5: SWAP2
00000fa6: MSTORE
00000fa7: DUP3
00000fa8: MSTORE
00000fa9: PUSH1 0x01
00000fab: DUP2
00000fac: PUSH0
00000fad: KECCAK256
00000fae: ADD
00000faf: SLOAD
00000fb0: SWAP1
00000fb1: MLOAD
00000fb2: SWAP1
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: RETURN
00000fb6: JUMPDEST
00000fb7: POP
00000fb8: CALLVALUE
00000fb9: PUSH2 0x0184
00000fbc: JUMPI
00000fbd: PUSH1 0x80
00000fbf: CALLDATASIZE
00000fc0: PUSH1 0x03
00000fc2: NOT
00000fc3: ADD
00000fc4: SLT
00000fc5: PUSH2 0x0184
00000fc8: JUMPI
00000fc9: PUSH2 0x0fd0
00000fcc: PUSH2 0x15ef
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH2 0x0fd8
00000fd4: PUSH2 0x1605
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: SWAP1
00000fda: PUSH8 0xffffffffffffffff
00000fe3: SWAP1
00000fe4: PUSH1 0x64
00000fe6: CALLDATALOAD
00000fe7: DUP3
00000fe8: DUP2
00000fe9: GT
00000fea: PUSH2 0x0184
00000fed: JUMPI
00000fee: PUSH2 0x0ffa
00000ff1: SWAP1
00000ff2: CALLDATASIZE
00000ff3: SWAP1
00000ff4: DUP8
00000ff5: ADD
00000ff6: PUSH2 0x162f
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH2 0x1005
00000ffe: SWAP6
00000fff: SWAP2
00001000: SWAP6
00001001: PUSH2 0x1915
00001004: JUMP
00001005: JUMPDEST
00001006: DUP6
00001007: ADD
00001008: SWAP4
00001009: PUSH1 0x80
0000100b: DUP7
0000100c: DUP7
0000100d: SUB
0000100e: SLT
0000100f: PUSH2 0x0184
00001012: JUMPI
00001013: DUP6
00001014: CALLDATALOAD
00001015: SWAP3
00001016: PUSH6 0xffffffffffff
0000101d: DUP1
0000101e: DUP6
0000101f: AND
00001020: SWAP5
00001021: DUP6
00001022: DUP2
00001023: SUB
00001024: PUSH2 0x0184
00001027: JUMPI
00001028: PUSH1 0x20
0000102a: SWAP4
0000102b: DUP6
0000102c: DUP11
0000102d: ADD
0000102e: CALLDATALOAD
0000102f: DUP9
00001030: DUP2
00001031: GT
00001032: PUSH2 0x0184
00001035: JUMPI
00001036: DUP10
00001037: PUSH2 0x1041
0000103a: SWAP2
0000103b: DUP13
0000103c: ADD
0000103d: PUSH2 0x176e
00001040: JUMP
00001041: JUMPDEST
00001042: PUSH1 0x60
00001044: DUP12
00001045: ADD
00001046: CALLDATALOAD
00001047: DUP10
00001048: DUP2
00001049: GT
0000104a: PUSH2 0x0184
0000104d: JUMPI
0000104e: DUP13
0000104f: SWAP11
00001050: PUSH2 0x105a
00001053: SWAP2
00001054: DUP14
00001055: ADD
00001056: PUSH2 0x176e
00001059: JUMP
0000105a: JUMPDEST
0000105b: DUP8
0000105c: MLOAD
0000105d: PUSH4 0x5daf6819
00001062: PUSH1 0xe1
00001064: SHL
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x01
00001069: PUSH1 0x01
0000106b: PUSH1 0xa0
0000106d: SHL
0000106e: SUB
0000106f: SWAP7
00001070: DUP8
00001071: AND
00001072: SWAP12
00001073: DUP2
00001074: ADD
00001075: DUP13
00001076: SWAP1
00001077: MSTORE
00001078: PUSH1 0x24
0000107a: SWAP7
0000107b: SWAP5
0000107c: SWAP1
0000107d: DUP9
0000107e: DUP2
0000107f: DUP10
00001080: DUP2
00001081: PUSH32 0x000000000000000000000000d7dc9b366c027743d90761f71858bca83c6899ad
000010a2: DUP11
000010a3: AND
000010a4: GAS
000010a5: STATICCALL
000010a6: SWAP1
000010a7: DUP2
000010a8: ISZERO
000010a9: PUSH2 0x151b
000010ac: JUMPI
000010ad: PUSH0
000010ae: SWAP2
000010af: PUSH2 0x14e5
000010b2: JUMPI
000010b3: JUMPDEST
000010b4: POP
000010b5: DUP6
000010b6: CALLER
000010b7: SWAP2
000010b8: AND
000010b9: SUB
000010ba: PUSH2 0x14d5
000010bd: JUMPI
000010be: DUP6
000010bf: TIMESTAMP
000010c0: GT
000010c1: PUSH2 0x14b8
000010c4: JUMPI
000010c5: DUP14
000010c6: DUP7
000010c7: TIMESTAMP
000010c8: AND
000010c9: DUP12
000010ca: LT
000010cb: ISZERO
000010cc: PUSH2 0x14aa
000010cf: JUMPI
000010d0: DUP9
000010d1: SWAP10
000010d2: SWAP11
000010d3: SWAP12
000010d4: SWAP13
000010d5: SWAP14
000010d6: PUSH1 0x01
000010d8: SLOAD
000010d9: SWAP11
000010da: DUP12
000010db: SWAP2
000010dc: ADD
000010dd: CALLDATALOAD
000010de: LT
000010df: PUSH2 0x149c
000010e2: JUMPI
000010e3: SWAP1
000010e4: DUP9
000010e5: DUP12
000010e6: SWAP3
000010e7: DUP14
000010e8: PUSH0
000010e9: MSTORE
000010ea: PUSH1 0x05
000010ec: DUP3
000010ed: MSTORE
000010ee: DUP4
000010ef: PUSH0
000010f0: KECCAK256
000010f1: SLOAD
000010f2: ISZERO
000010f3: PUSH2 0x1377
000010f6: JUMPI
000010f7: JUMPDEST
000010f8: POP
000010f9: POP
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: POP
000010fe: AND
000010ff: SWAP9
00001100: DUP6
00001101: MLOAD
00001102: DUP11
00001103: DUP6
00001104: DUP3
00001105: DUP7
00001106: DUP2
00001107: PUSH4 0x70a08231
0000110c: PUSH1 0xe0
0000110e: SHL
0000110f: SWAP5
00001110: DUP6
00001111: DUP3
00001112: MSTORE
00001113: ADDRESS
00001114: DUP9
00001115: DUP4
00001116: ADD
00001117: MSTORE
00001118: GAS
00001119: STATICCALL
0000111a: SWAP2
0000111b: DUP3
0000111c: ISZERO
0000111d: PUSH2 0x132c
00001120: JUMPI
00001121: PUSH0
00001122: SWAP3
00001123: PUSH2 0x1348
00001126: JUMPI
00001127: JUMPDEST
00001128: POP
00001129: DUP8
0000112a: MLOAD
0000112b: PUSH4 0x23b872dd
00001130: PUSH1 0xe0
00001132: SHL
00001133: DUP8
00001134: DUP3
00001135: ADD
00001136: MSTORE
00001137: CALLER
00001138: DUP7
00001139: DUP3
0000113a: ADD
0000113b: MSTORE
0000113c: ADDRESS
0000113d: PUSH1 0x44
0000113f: DUP3
00001140: ADD
00001141: MSTORE
00001142: PUSH1 0x44
00001144: CALLDATALOAD
00001145: PUSH1 0x64
00001147: DUP3
00001148: ADD
00001149: MSTORE
0000114a: PUSH1 0x64
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0xa0
00001150: DUP2
00001151: ADD
00001152: DUP2
00001153: DUP2
00001154: LT
00001155: DUP13
00001156: DUP3
00001157: GT
00001158: OR
00001159: PUSH2 0x1336
0000115c: JUMPI
0000115d: SWAP2
0000115e: PUSH2 0x116d
00001161: DUP9
00001162: SWAP3
00001163: DUP16
00001164: SWAP6
00001165: SWAP5
00001166: DUP13
00001167: MSTORE
00001168: DUP6
00001169: PUSH2 0x1e38
0000116c: JUMP
0000116d: JUMPDEST
0000116e: DUP7
0000116f: DUP11
00001170: MLOAD
00001171: DUP1
00001172: SWAP6
00001173: DUP2
00001174: SWAP4
00001175: DUP3
00001176: MSTORE
00001177: ADDRESS
00001178: DUP9
00001179: DUP4
0000117a: ADD
0000117b: MSTORE
0000117c: GAS
0000117d: STATICCALL
0000117e: DUP1
0000117f: ISZERO
00001180: PUSH2 0x132c
00001183: JUMPI
00001184: PUSH0
00001185: SWAP1
00001186: PUSH2 0x12fd
00001189: JUMPI
0000118a: JUMPDEST
0000118b: PUSH2 0x1194
0000118e: SWAP3
0000118f: POP
00001190: PUSH2 0x17d6
00001193: JUMP
00001194: JUMPDEST
00001195: SWAP5
00001196: DUP6
00001197: ISZERO
00001198: PUSH2 0x12ee
0000119b: JUMPI
0000119c: PUSH2 0x11a8
0000119f: PUSH2 0x11af
000011a2: SWAP2
000011a3: DUP8
000011a4: PUSH2 0x1944
000011a7: JUMP
000011a8: JUMPDEST
000011a9: DUP1
000011aa: SWAP7
000011ab: PUSH2 0x17d6
000011ae: JUMP
000011af: JUMPDEST
000011b0: SWAP8
000011b1: DUP11
000011b2: PUSH0
000011b3: MSTORE
000011b4: DUP2
000011b5: DUP6
000011b6: MSTORE
000011b7: DUP7
000011b8: PUSH0
000011b9: KECCAK256
000011ba: PUSH2 0x11c4
000011bd: DUP8
000011be: DUP3
000011bf: SLOAD
000011c0: PUSH2 0x17f7
000011c3: JUMP
000011c4: JUMPDEST
000011c5: SWAP1
000011c6: SSTORE
000011c7: DUP9
000011c8: PUSH2 0x1215
000011cb: JUMPI
000011cc: JUMPDEST
000011cd: DUP11
000011ce: DUP11
000011cf: PUSH32 0x52c39ebed294659631d22a2341c526a86ab683888dccb1429ac42c6e413d4b7b
000011f0: PUSH1 0x60
000011f2: DUP13
000011f3: DUP13
000011f4: DUP13
000011f5: DUP13
000011f6: DUP13
000011f7: DUP3
000011f8: MLOAD
000011f9: SWAP5
000011fa: DUP6
000011fb: MSTORE
000011fc: DUP5
000011fd: ADD
000011fe: MSTORE
000011ff: DUP3
00001200: ADD
00001201: MSTORE
00001202: LOG3
00001203: PUSH1 0x01
00001205: PUSH0
00001206: DUP1
00001207: MLOAD
00001208: PUSH1 0x20
0000120a: PUSH2 0x1f8e
0000120d: DUP4
0000120e: CODECOPY
0000120f: DUP2
00001210: MLOAD
00001211: SWAP2
00001212: MSTORE
00001213: SSTORE
00001214: STOP
00001215: JUMPDEST
00001216: DUP11
00001217: PUSH0
00001218: MSTORE
00001219: PUSH1 0x02
0000121b: DUP6
0000121c: MSTORE
0000121d: DUP7
0000121e: PUSH0
0000121f: KECCAK256
00001220: DUP11
00001221: PUSH0
00001222: MSTORE
00001223: DUP6
00001224: MSTORE
00001225: DUP7
00001226: PUSH0
00001227: KECCAK256
00001228: SWAP4
00001229: DUP8
0000122a: MLOAD
0000122b: SWAP2
0000122c: DUP9
0000122d: DUP4
0000122e: ADD
0000122f: SWAP1
00001230: DUP4
00001231: DUP3
00001232: LT
00001233: SWAP1
00001234: DUP3
00001235: GT
00001236: OR
00001237: PUSH2 0x12db
0000123a: JUMPI
0000123b: DUP9
0000123c: MSTORE
0000123d: DUP10
0000123e: DUP3
0000123f: MSTORE
00001240: DUP6
00001241: DUP3
00001242: ADD
00001243: SWAP5
00001244: DUP10
00001245: DUP7
00001246: MSTORE
00001247: DUP1
00001248: SLOAD
00001249: SWAP1
0000124a: PUSH9 0x010000000000000000
00001254: DUP3
00001255: LT
00001256: ISZERO
00001257: PUSH2 0x12c9
0000125a: JUMPI
0000125b: SWAP1
0000125c: PUSH2 0x126a
0000125f: SWAP2
00001260: PUSH1 0x01
00001262: DUP3
00001263: ADD
00001264: DUP2
00001265: SSTORE
00001266: PUSH2 0x16af
00001269: JUMP
0000126a: JUMPDEST
0000126b: SWAP4
0000126c: SWAP1
0000126d: SWAP4
0000126e: PUSH2 0x12b9
00001271: JUMPI
00001272: POP
00001273: POP
00001274: MLOAD
00001275: DUP2
00001276: SSTORE
00001277: SWAP2
00001278: MLOAD
00001279: PUSH1 0x01
0000127b: SWAP1
0000127c: SWAP3
0000127d: ADD
0000127e: DUP1
0000127f: SLOAD
00001280: PUSH6 0xffffffffffff
00001287: NOT
00001288: AND
00001289: SWAP2
0000128a: SWAP1
0000128b: SWAP3
0000128c: AND
0000128d: OR
0000128e: SWAP1
0000128f: SSTORE
00001290: DUP2
00001291: PUSH32 0x52c39ebed294659631d22a2341c526a86ab683888dccb1429ac42c6e413d4b7b
000012b2: PUSH1 0x60
000012b4: PUSH0
000012b5: PUSH2 0x11cc
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH0
000012bb: SWAP1
000012bc: PUSH4 0x4e487b71
000012c1: PUSH1 0xe0
000012c3: SHL
000012c4: DUP3
000012c5: MSTORE
000012c6: MSTORE
000012c7: PUSH0
000012c8: REVERT
000012c9: JUMPDEST
000012ca: DUP3
000012cb: PUSH1 0x41
000012cd: DUP7
000012ce: PUSH4 0x4e487b71
000012d3: PUSH1 0xe0
000012d5: SHL
000012d6: PUSH0
000012d7: MSTORE
000012d8: MSTORE
000012d9: PUSH0
000012da: REVERT
000012db: JUMPDEST
000012dc: POP
000012dd: PUSH4 0x4e487b71
000012e2: PUSH1 0xe0
000012e4: SHL
000012e5: PUSH0
000012e6: SWAP1
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x41
000012eb: DUP5
000012ec: MSTORE
000012ed: REVERT
000012ee: JUMPDEST
000012ef: POP
000012f0: DUP6
000012f1: MLOAD
000012f2: PUSH4 0x6bbdb6db
000012f7: PUSH1 0xe1
000012f9: SHL
000012fa: DUP2
000012fb: MSTORE
000012fc: REVERT
000012fd: JUMPDEST
000012fe: POP
000012ff: DUP6
00001300: DUP3
00001301: DUP2
00001302: RETURNDATASIZE
00001303: DUP4
00001304: GT
00001305: PUSH2 0x1325
00001308: JUMPI
00001309: JUMPDEST
0000130a: PUSH2 0x1313
0000130d: DUP2
0000130e: DUP4
0000130f: PUSH2 0x1730
00001312: JUMP
00001313: JUMPDEST
00001314: DUP2
00001315: ADD
00001316: SUB
00001317: SLT
00001318: PUSH2 0x0184
0000131b: JUMPI
0000131c: PUSH2 0x1194
0000131f: SWAP2
00001320: MLOAD
00001321: PUSH2 0x118a
00001324: JUMP
00001325: JUMPDEST
00001326: POP
00001327: RETURNDATASIZE
00001328: PUSH2 0x1309
0000132b: JUMP
0000132c: JUMPDEST
0000132d: DUP9
0000132e: MLOAD
0000132f: RETURNDATASIZE
00001330: PUSH0
00001331: DUP3
00001332: RETURNDATACOPY
00001333: RETURNDATASIZE
00001334: SWAP1
00001335: REVERT
00001336: JUMPDEST
00001337: DUP7
00001338: PUSH1 0x41
0000133a: DUP7
0000133b: PUSH4 0x4e487b71
00001340: PUSH1 0xe0
00001342: SHL
00001343: PUSH0
00001344: MSTORE
00001345: MSTORE
00001346: PUSH0
00001347: REVERT
00001348: JUMPDEST
00001349: SWAP1
0000134a: SWAP2
0000134b: POP
0000134c: DUP6
0000134d: DUP2
0000134e: DUP2
0000134f: RETURNDATASIZE
00001350: DUP4
00001351: GT
00001352: PUSH2 0x1370
00001355: JUMPI
00001356: JUMPDEST
00001357: PUSH2 0x1360
0000135a: DUP2
0000135b: DUP4
0000135c: PUSH2 0x1730
0000135f: JUMP
00001360: JUMPDEST
00001361: DUP2
00001362: ADD
00001363: SUB
00001364: SLT
00001365: PUSH2 0x0184
00001368: JUMPI
00001369: MLOAD
0000136a: SWAP1
0000136b: PUSH0
0000136c: PUSH2 0x1127
0000136f: JUMP
00001370: JUMPDEST
00001371: POP
00001372: RETURNDATASIZE
00001373: PUSH2 0x1356
00001376: JUMP
00001377: JUMPDEST
00001378: DUP3
00001379: SWAP1
0000137a: PUSH2 0x1398
0000137d: DUP10
0000137e: PUSH0
0000137f: SLOAD
00001380: AND
00001381: SWAP6
00001382: MLOAD
00001383: SWAP8
00001384: DUP9
00001385: SWAP4
00001386: DUP5
00001387: SWAP4
00001388: PUSH4 0x0a1e440d
0000138d: PUSH1 0xe3
0000138f: SHL
00001390: DUP6
00001391: MSTORE
00001392: DUP5
00001393: ADD
00001394: PUSH2 0x17b4
00001397: JUMP
00001398: JUMPDEST
00001399: SUB
0000139a: DUP2
0000139b: DUP6
0000139c: GAS
0000139d: STATICCALL
0000139e: SWAP4
0000139f: DUP5
000013a0: ISZERO
000013a1: PUSH2 0x1492
000013a4: JUMPI
000013a5: SWAP2
000013a6: DUP16
000013a7: SWAP5
000013a8: SWAP4
000013a9: SWAP2
000013aa: DUP11
000013ab: SWAP4
000013ac: PUSH0
000013ad: SWAP6
000013ae: PUSH2 0x145a
000013b1: JUMPI
000013b2: JUMPDEST
000013b3: POP
000013b4: PUSH2 0x13d2
000013b7: SWAP5
000013b8: SWAP6
000013b9: DUP14
000013ba: MLOAD
000013bb: SWAP6
000013bc: DUP7
000013bd: SWAP5
000013be: DUP6
000013bf: SWAP4
000013c0: DUP5
000013c1: SWAP4
000013c2: PUSH4 0x810da75d
000013c7: PUSH1 0xe0
000013c9: SHL
000013ca: DUP6
000013cb: MSTORE
000013cc: DUP5
000013cd: ADD
000013ce: PUSH2 0x17b4
000013d1: JUMP
000013d2: JUMPDEST
000013d3: SUB
000013d4: SWAP2
000013d5: GAS
000013d6: STATICCALL
000013d7: SWAP1
000013d8: DUP2
000013d9: ISZERO
000013da: PUSH2 0x1450
000013dd: JUMPI
000013de: PUSH0
000013df: SWAP2
000013e0: PUSH2 0x1423
000013e3: JUMPI
000013e4: JUMPDEST
000013e5: POP
000013e6: DUP2
000013e7: ISZERO
000013e8: SWAP1
000013e9: DUP2
000013ea: ISZERO
000013eb: PUSH2 0x141a
000013ee: JUMPI
000013ef: JUMPDEST
000013f0: POP
000013f1: PUSH2 0x140a
000013f4: JUMPI
000013f5: DUP9
000013f6: PUSH0
000013f7: MSTORE
000013f8: PUSH1 0x05
000013fa: DUP7
000013fb: MSTORE
000013fc: DUP8
000013fd: PUSH0
000013fe: KECCAK256
000013ff: SSTORE
00001400: PUSH0
00001401: DUP1
00001402: DUP9
00001403: DUP2
00001404: DUP9
00001405: DUP16
00001406: PUSH2 0x10f7
00001409: JUMP
0000140a: JUMPDEST
0000140b: DUP8
0000140c: MLOAD
0000140d: PUSH4 0x6a4d8429
00001412: PUSH1 0xe1
00001414: SHL
00001415: DUP2
00001416: MSTORE
00001417: DUP13
00001418: SWAP1
00001419: REVERT
0000141a: JUMPDEST
0000141b: SWAP1
0000141c: POP
0000141d: ISZERO
0000141e: PUSH0
0000141f: PUSH2 0x13ef
00001422: JUMP
00001423: JUMPDEST
00001424: SWAP1
00001425: POP
00001426: DUP7
00001427: DUP2
00001428: DUP2
00001429: RETURNDATASIZE
0000142a: DUP4
0000142b: GT
0000142c: PUSH2 0x1449
0000142f: JUMPI
00001430: JUMPDEST
00001431: PUSH2 0x143a
00001434: DUP2
00001435: DUP4
00001436: PUSH2 0x1730
00001439: JUMP
0000143a: JUMPDEST
0000143b: DUP2
0000143c: ADD
0000143d: SUB
0000143e: SLT
0000143f: PUSH2 0x0184
00001442: JUMPI
00001443: MLOAD
00001444: PUSH0
00001445: PUSH2 0x13e4
00001448: JUMP
00001449: JUMPDEST
0000144a: POP
0000144b: RETURNDATASIZE
0000144c: PUSH2 0x1430
0000144f: JUMP
00001450: JUMPDEST
00001451: DUP10
00001452: MLOAD
00001453: RETURNDATASIZE
00001454: PUSH0
00001455: DUP3
00001456: RETURNDATACOPY
00001457: RETURNDATASIZE
00001458: SWAP1
00001459: REVERT
0000145a: JUMPDEST
0000145b: SWAP2
0000145c: SWAP6
0000145d: POP
0000145e: SWAP4
0000145f: POP
00001460: SWAP2
00001461: DUP3
00001462: DUP2
00001463: RETURNDATASIZE
00001464: DUP2
00001465: GT
00001466: PUSH2 0x148b
00001469: JUMPI
0000146a: JUMPDEST
0000146b: PUSH2 0x1474
0000146e: DUP2
0000146f: DUP4
00001470: PUSH2 0x1730
00001473: JUMP
00001474: JUMPDEST
00001475: DUP2
00001476: ADD
00001477: SUB
00001478: SLT
00001479: PUSH2 0x0184
0000147c: JUMPI
0000147d: DUP15
0000147e: SWAP4
0000147f: PUSH2 0x13d2
00001482: SWAP4
00001483: DUP11
00001484: SWAP4
00001485: MLOAD
00001486: SWAP5
00001487: PUSH2 0x13b2
0000148a: JUMP
0000148b: JUMPDEST
0000148c: POP
0000148d: RETURNDATASIZE
0000148e: PUSH2 0x146a
00001491: JUMP
00001492: JUMPDEST
00001493: DUP12
00001494: MLOAD
00001495: RETURNDATASIZE
00001496: PUSH0
00001497: DUP3
00001498: RETURNDATACOPY
00001499: RETURNDATASIZE
0000149a: SWAP1
0000149b: REVERT
0000149c: JUMPDEST
0000149d: DUP11
0000149e: MLOAD
0000149f: PUSH4 0x18c83581
000014a4: PUSH1 0xe2
000014a6: SHL
000014a7: DUP2
000014a8: MSTORE
000014a9: REVERT
000014aa: JUMPDEST
000014ab: DUP10
000014ac: MLOAD
000014ad: PUSH4 0x6a4d8429
000014b2: PUSH1 0xe1
000014b4: SHL
000014b5: DUP2
000014b6: MSTORE
000014b7: REVERT
000014b8: JUMPDEST
000014b9: PUSH1 0x44
000014bb: DUP15
000014bc: DUP9
000014bd: PUSH1 0x30
000014bf: DUP13
000014c0: MLOAD
000014c1: SWAP3
000014c2: PUSH4 0x06dfcc65
000014c7: PUSH1 0xe4
000014c9: SHL
000014ca: DUP5
000014cb: MSTORE
000014cc: DUP4
000014cd: ADD
000014ce: MSTORE
000014cf: TIMESTAMP
000014d0: SWAP1
000014d1: DUP3
000014d2: ADD
000014d3: MSTORE
000014d4: REVERT
000014d5: JUMPDEST
000014d6: DUP9
000014d7: MLOAD
000014d8: PUSH4 0x227bf64d
000014dd: PUSH1 0xe0
000014df: SHL
000014e0: DUP2
000014e1: MSTORE
000014e2: DUP15
000014e3: SWAP1
000014e4: REVERT
000014e5: JUMPDEST
000014e6: SWAP1
000014e7: POP
000014e8: DUP9
000014e9: DUP2
000014ea: DUP2
000014eb: RETURNDATASIZE
000014ec: DUP4
000014ed: GT
000014ee: PUSH2 0x1514
000014f1: JUMPI
000014f2: JUMPDEST
000014f3: PUSH2 0x14fc
000014f6: DUP2
000014f7: DUP4
000014f8: PUSH2 0x1730
000014fb: JUMP
000014fc: JUMPDEST
000014fd: DUP2
000014fe: ADD
000014ff: SUB
00001500: SLT
00001501: PUSH2 0x0184
00001504: JUMPI
00001505: MLOAD
00001506: DUP6
00001507: DUP2
00001508: AND
00001509: DUP2
0000150a: SUB
0000150b: PUSH2 0x0184
0000150e: JUMPI
0000150f: PUSH0
00001510: PUSH2 0x10b3
00001513: JUMP
00001514: JUMPDEST
00001515: POP
00001516: RETURNDATASIZE
00001517: PUSH2 0x14f2
0000151a: JUMP
0000151b: JUMPDEST
0000151c: DUP11
0000151d: MLOAD
0000151e: RETURNDATASIZE
0000151f: PUSH0
00001520: DUP3
00001521: RETURNDATACOPY
00001522: RETURNDATASIZE
00001523: SWAP1
00001524: REVERT
00001525: JUMPDEST
00001526: POP
00001527: CALLVALUE
00001528: PUSH2 0x0184
0000152b: JUMPI
0000152c: PUSH0
0000152d: CALLDATASIZE
0000152e: PUSH1 0x03
00001530: NOT
00001531: ADD
00001532: SLT
00001533: PUSH2 0x0184
00001536: JUMPI
00001537: MLOAD
00001538: PUSH32 0x000000000000000000000000aeb6bdd95c502390db8f52c8909f703e9af6a346
00001559: PUSH1 0x01
0000155b: PUSH1 0x01
0000155d: PUSH1 0xa0
0000155f: SHL
00001560: SUB
00001561: AND
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x20
00001566: SWAP1
00001567: RETURN
00001568: JUMPDEST
00001569: POP
0000156a: CALLVALUE
0000156b: PUSH2 0x0184
0000156e: JUMPI
0000156f: PUSH1 0x20
00001571: CALLDATASIZE
00001572: PUSH1 0x03
00001574: NOT
00001575: ADD
00001576: SLT
00001577: PUSH2 0x0184
0000157a: JUMPI
0000157b: PUSH1 0x20
0000157d: SWAP2
0000157e: PUSH1 0x01
00001580: PUSH1 0x01
00001582: PUSH1 0xa0
00001584: SHL
00001585: SUB
00001586: PUSH2 0x158d
00001589: PUSH2 0x15ef
0000158c: JUMP
0000158d: JUMPDEST
0000158e: AND
0000158f: PUSH0
00001590: MSTORE
00001591: DUP3
00001592: MSTORE
00001593: DUP1
00001594: PUSH0
00001595: KECCAK256
00001596: SLOAD
00001597: SWAP1
00001598: MLOAD
00001599: SWAP1
0000159a: DUP2
0000159b: MSTORE
0000159c: RETURN
0000159d: JUMPDEST
0000159e: DUP4
0000159f: CALLVALUE
000015a0: PUSH2 0x0184
000015a3: JUMPI
000015a4: PUSH1 0x20
000015a6: CALLDATASIZE
000015a7: PUSH1 0x03
000015a9: NOT
000015aa: ADD
000015ab: SLT
000015ac: PUSH2 0x0184
000015af: JUMPI
000015b0: CALLDATALOAD
000015b1: SWAP1
000015b2: PUSH4 0xffffffff
000015b7: PUSH1 0xe0
000015b9: SHL
000015ba: DUP3
000015bb: AND
000015bc: DUP1
000015bd: SWAP3
000015be: SUB
000015bf: PUSH2 0x0184
000015c2: JUMPI
000015c3: PUSH1 0x20
000015c5: SWAP2
000015c6: PUSH4 0x7965db0b
000015cb: PUSH1 0xe0
000015cd: SHL
000015ce: DUP2
000015cf: EQ
000015d0: SWAP1
000015d1: DUP2
000015d2: ISZERO
000015d3: PUSH2 0x15de
000015d6: JUMPI
000015d7: JUMPDEST
000015d8: POP
000015d9: ISZERO
000015da: ISZERO
000015db: DUP2
000015dc: MSTORE
000015dd: RETURN
000015de: JUMPDEST
000015df: PUSH4 0x01ffc9a7
000015e4: PUSH1 0xe0
000015e6: SHL
000015e7: EQ
000015e8: SWAP1
000015e9: POP
000015ea: DUP4
000015eb: PUSH2 0x15d7
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH1 0x04
000015f2: CALLDATALOAD
000015f3: SWAP1
000015f4: PUSH1 0x01
000015f6: PUSH1 0x01
000015f8: PUSH1 0xa0
000015fa: SHL
000015fb: SUB
000015fc: DUP3
000015fd: AND
000015fe: DUP3
000015ff: SUB
00001600: PUSH2 0x0184
00001603: JUMPI
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH1 0x24
00001608: CALLDATALOAD
00001609: SWAP1
0000160a: PUSH1 0x01
0000160c: PUSH1 0x01
0000160e: PUSH1 0xa0
00001610: SHL
00001611: SUB
00001612: DUP3
00001613: AND
00001614: DUP3
00001615: SUB
00001616: PUSH2 0x0184
00001619: JUMPI
0000161a: JUMP
0000161b: JUMPDEST
0000161c: CALLDATALOAD
0000161d: SWAP1
0000161e: PUSH1 0x01
00001620: PUSH1 0x01
00001622: PUSH1 0xa0
00001624: SHL
00001625: SUB
00001626: DUP3
00001627: AND
00001628: DUP3
00001629: SUB
0000162a: PUSH2 0x0184
0000162d: JUMPI
0000162e: JUMP
0000162f: JUMPDEST
00001630: SWAP2
00001631: DUP2
00001632: PUSH1 0x1f
00001634: DUP5
00001635: ADD
00001636: SLT
00001637: ISZERO
00001638: PUSH2 0x0184
0000163b: JUMPI
0000163c: DUP3
0000163d: CALLDATALOAD
0000163e: SWAP2
0000163f: PUSH8 0xffffffffffffffff
00001648: DUP4
00001649: GT
0000164a: PUSH2 0x0184
0000164d: JUMPI
0000164e: PUSH1 0x20
00001650: DUP4
00001651: DUP2
00001652: DUP7
00001653: ADD
00001654: SWAP6
00001655: ADD
00001656: ADD
00001657: GT
00001658: PUSH2 0x0184
0000165b: JUMPI
0000165c: JUMP
0000165d: JUMPDEST
0000165e: PUSH1 0x60
00001660: PUSH1 0x03
00001662: NOT
00001663: DUP3
00001664: ADD
00001665: SLT
00001666: PUSH2 0x0184
00001669: JUMPI
0000166a: PUSH1 0x01
0000166c: PUSH1 0x01
0000166e: PUSH1 0xa0
00001670: SHL
00001671: SUB
00001672: SWAP2
00001673: PUSH1 0x04
00001675: CALLDATALOAD
00001676: DUP4
00001677: DUP2
00001678: AND
00001679: DUP2
0000167a: SUB
0000167b: PUSH2 0x0184
0000167e: JUMPI
0000167f: SWAP3
00001680: PUSH1 0x24
00001682: CALLDATALOAD
00001683: SWAP1
00001684: DUP2
00001685: AND
00001686: DUP2
00001687: SUB
00001688: PUSH2 0x0184
0000168b: JUMPI
0000168c: SWAP2
0000168d: PUSH1 0x44
0000168f: CALLDATALOAD
00001690: SWAP1
00001691: PUSH8 0xffffffffffffffff
0000169a: DUP3
0000169b: GT
0000169c: PUSH2 0x0184
0000169f: JUMPI
000016a0: PUSH2 0x16ab
000016a3: SWAP2
000016a4: PUSH1 0x04
000016a6: ADD
000016a7: PUSH2 0x162f
000016aa: JUMP
000016ab: JUMPDEST
000016ac: SWAP1
000016ad: SWAP2
000016ae: JUMP
000016af: JUMPDEST
000016b0: DUP1
000016b1: SLOAD
000016b2: DUP3
000016b3: LT
000016b4: ISZERO
000016b5: PUSH2 0x16c8
000016b8: JUMPI
000016b9: PUSH0
000016ba: MSTORE
000016bb: PUSH1 0x20
000016bd: PUSH0
000016be: KECCAK256
000016bf: SWAP1
000016c0: PUSH1 0x01
000016c2: SHL
000016c3: ADD
000016c4: SWAP1
000016c5: PUSH0
000016c6: SWAP1
000016c7: JUMP
000016c8: JUMPDEST
000016c9: PUSH4 0x4e487b71
000016ce: PUSH1 0xe0
000016d0: SHL
000016d1: PUSH0
000016d2: MSTORE
000016d3: PUSH1 0x32
000016d5: PUSH1 0x04
000016d7: MSTORE
000016d8: PUSH1 0x24
000016da: PUSH0
000016db: REVERT
000016dc: JUMPDEST
000016dd: DUP1
000016de: MLOAD
000016df: DUP1
000016e0: DUP4
000016e1: MSTORE
000016e2: PUSH1 0x20
000016e4: SWAP3
000016e5: SWAP2
000016e6: DUP2
000016e7: SWAP1
000016e8: DUP5
000016e9: ADD
000016ea: DUP5
000016eb: DUP5
000016ec: ADD
000016ed: MCOPY
000016ee: PUSH0
000016ef: DUP3
000016f0: DUP3
000016f1: ADD
000016f2: DUP5
000016f3: ADD
000016f4: MSTORE
000016f5: PUSH1 0x1f
000016f7: ADD
000016f8: PUSH1 0x1f
000016fa: NOT
000016fb: AND
000016fc: ADD
000016fd: ADD
000016fe: SWAP1
000016ff: JUMP
00001700: JUMPDEST
00001701: PUSH1 0x20
00001703: DUP2
00001704: ADD
00001705: SWAP1
00001706: DUP2
00001707: LT
00001708: PUSH8 0xffffffffffffffff
00001711: DUP3
00001712: GT
00001713: OR
00001714: PUSH2 0x171c
00001717: JUMPI
00001718: PUSH1 0x40
0000171a: MSTORE
0000171b: JUMP
0000171c: JUMPDEST
0000171d: PUSH4 0x4e487b71
00001722: PUSH1 0xe0
00001724: SHL
00001725: PUSH0
00001726: MSTORE
00001727: PUSH1 0x41
00001729: PUSH1 0x04
0000172b: MSTORE
0000172c: PUSH1 0x24
0000172e: PUSH0
0000172f: REVERT
00001730: JUMPDEST
00001731: SWAP1
00001732: PUSH1 0x1f
00001734: DUP1
00001735: NOT
00001736: SWAP2
00001737: ADD
00001738: AND
00001739: DUP2
0000173a: ADD
0000173b: SWAP1
0000173c: DUP2
0000173d: LT
0000173e: PUSH8 0xffffffffffffffff
00001747: DUP3
00001748: GT
00001749: OR
0000174a: PUSH2 0x171c
0000174d: JUMPI
0000174e: PUSH1 0x40
00001750: MSTORE
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH8 0xffffffffffffffff
0000175c: DUP2
0000175d: GT
0000175e: PUSH2 0x171c
00001761: JUMPI
00001762: PUSH1 0x1f
00001764: ADD
00001765: PUSH1 0x1f
00001767: NOT
00001768: AND
00001769: PUSH1 0x20
0000176b: ADD
0000176c: SWAP1
0000176d: JUMP
0000176e: JUMPDEST
0000176f: DUP2
00001770: PUSH1 0x1f
00001772: DUP3
00001773: ADD
00001774: SLT
00001775: ISZERO
00001776: PUSH2 0x0184
00001779: JUMPI
0000177a: DUP1
0000177b: CALLDATALOAD
0000177c: SWAP1
0000177d: PUSH2 0x1785
00001780: DUP3
00001781: PUSH2 0x1752
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP3
00001787: PUSH2 0x1793
0000178a: PUSH1 0x40
0000178c: MLOAD
0000178d: SWAP5
0000178e: DUP6
0000178f: PUSH2 0x1730
00001792: JUMP
00001793: JUMPDEST
00001794: DUP3
00001795: DUP5
00001796: MSTORE
00001797: PUSH1 0x20
00001799: DUP4
0000179a: DUP4
0000179b: ADD
0000179c: ADD
0000179d: GT
0000179e: PUSH2 0x0184
000017a1: JUMPI
000017a2: DUP2
000017a3: PUSH0
000017a4: SWAP3
000017a5: PUSH1 0x20
000017a7: DUP1
000017a8: SWAP4
000017a9: ADD
000017aa: DUP4
000017ab: DUP7
000017ac: ADD
000017ad: CALLDATACOPY
000017ae: DUP4
000017af: ADD
000017b0: ADD
000017b1: MSTORE
000017b2: SWAP1
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH1 0x40
000017b7: SWAP1
000017b8: PUSH6 0xffffffffffff
000017bf: PUSH2 0x17d3
000017c2: SWAP5
000017c3: SWAP4
000017c4: AND
000017c5: DUP2
000017c6: MSTORE
000017c7: DUP2
000017c8: PUSH1 0x20
000017ca: DUP3
000017cb: ADD
000017cc: MSTORE
000017cd: ADD
000017ce: SWAP1
000017cf: PUSH2 0x16dc
000017d2: JUMP
000017d3: JUMPDEST
000017d4: SWAP1
000017d5: JUMP
000017d6: JUMPDEST
000017d7: SWAP2
000017d8: SWAP1
000017d9: DUP3
000017da: SUB
000017db: SWAP2
000017dc: DUP3
000017dd: GT
000017de: PUSH2 0x17e3
000017e1: JUMPI
000017e2: JUMP
000017e3: JUMPDEST
000017e4: PUSH4 0x4e487b71
000017e9: PUSH1 0xe0
000017eb: SHL
000017ec: PUSH0
000017ed: MSTORE
000017ee: PUSH1 0x11
000017f0: PUSH1 0x04
000017f2: MSTORE
000017f3: PUSH1 0x24
000017f5: PUSH0
000017f6: REVERT
000017f7: JUMPDEST
000017f8: SWAP2
000017f9: SWAP1
000017fa: DUP3
000017fb: ADD
000017fc: DUP1
000017fd: SWAP3
000017fe: GT
000017ff: PUSH2 0x17e3
00001802: JUMPI
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH8 0xffffffffffffffff
0000180e: DUP2
0000180f: GT
00001810: PUSH2 0x171c
00001813: JUMPI
00001814: PUSH1 0x05
00001816: SHL
00001817: PUSH1 0x20
00001819: ADD
0000181a: SWAP1
0000181b: JUMP
0000181c: JUMPDEST
0000181d: SWAP1
0000181e: PUSH2 0x1826
00001821: DUP3
00001822: PUSH2 0x1804
00001825: JUMP
00001826: JUMPDEST
00001827: PUSH2 0x1833
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: SWAP2
0000182e: DUP3
0000182f: PUSH2 0x1730
00001832: JUMP
00001833: JUMPDEST
00001834: DUP3
00001835: DUP2
00001836: MSTORE
00001837: DUP1
00001838: SWAP3
00001839: PUSH2 0x1844
0000183c: PUSH1 0x1f
0000183e: NOT
0000183f: SWAP2
00001840: PUSH2 0x1804
00001843: JUMP
00001844: JUMPDEST
00001845: ADD
00001846: SWAP1
00001847: PUSH0
00001848: JUMPDEST
00001849: DUP3
0000184a: DUP2
0000184b: LT
0000184c: PUSH2 0x1854
0000184f: JUMPI
00001850: POP
00001851: POP
00001852: POP
00001853: JUMP
00001854: JUMPDEST
00001855: DUP1
00001856: PUSH1 0x60
00001858: PUSH1 0x20
0000185a: DUP1
0000185b: SWAP4
0000185c: DUP6
0000185d: ADD
0000185e: ADD
0000185f: MSTORE
00001860: ADD
00001861: PUSH2 0x1848
00001864: JUMP
00001865: JUMPDEST
00001866: DUP1
00001867: MLOAD
00001868: DUP3
00001869: LT
0000186a: ISZERO
0000186b: PUSH2 0x16c8
0000186e: JUMPI
0000186f: PUSH1 0x20
00001871: SWAP2
00001872: PUSH1 0x05
00001874: SHL
00001875: ADD
00001876: ADD
00001877: SWAP1
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH6 0xffffffffffff
00001881: PUSH2 0x17d3
00001884: SWAP5
00001885: SWAP4
00001886: PUSH1 0x60
00001888: SWAP4
00001889: PUSH1 0x01
0000188b: DUP1
0000188c: PUSH1 0xa0
0000188e: SHL
0000188f: SUB
00001890: AND
00001891: DUP4
00001892: MSTORE
00001893: AND
00001894: PUSH1 0x20
00001896: DUP3
00001897: ADD
00001898: MSTORE
00001899: DUP2
0000189a: PUSH1 0x40
0000189c: DUP3
0000189d: ADD
0000189e: MSTORE
0000189f: ADD
000018a0: SWAP1
000018a1: PUSH2 0x16dc
000018a4: JUMP
000018a5: JUMPDEST
000018a6: PUSH1 0x04
000018a8: CALLDATALOAD
000018a9: PUSH1 0x01
000018ab: PUSH1 0x01
000018ad: PUSH1 0xa0
000018af: SHL
000018b0: SUB
000018b1: DUP2
000018b2: AND
000018b3: DUP2
000018b4: SUB
000018b5: PUSH2 0x0184
000018b8: JUMPI
000018b9: SWAP1
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH1 0x44
000018be: CALLDATALOAD
000018bf: PUSH1 0x01
000018c1: PUSH1 0x01
000018c3: PUSH1 0xa0
000018c5: SHL
000018c6: SUB
000018c7: DUP2
000018c8: AND
000018c9: DUP2
000018ca: SUB
000018cb: PUSH2 0x0184
000018ce: JUMPI
000018cf: SWAP1
000018d0: JUMP
000018d1: JUMPDEST
000018d2: PUSH1 0x64
000018d4: CALLDATALOAD
000018d5: PUSH1 0x01
000018d7: PUSH1 0x01
000018d9: PUSH1 0xa0
000018db: SHL
000018dc: SUB
000018dd: DUP2
000018de: AND
000018df: DUP2
000018e0: SUB
000018e1: PUSH2 0x0184
000018e4: JUMPI
000018e5: SWAP1
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH1 0x84
000018ea: CALLDATALOAD
000018eb: PUSH1 0x01
000018ed: PUSH1 0x01
000018ef: PUSH1 0xa0
000018f1: SHL
000018f2: SUB
000018f3: DUP2
000018f4: AND
000018f5: DUP2
000018f6: SUB
000018f7: PUSH2 0x0184
000018fa: JUMPI
000018fb: SWAP1
000018fc: JUMP
000018fd: JUMPDEST
000018fe: SWAP1
000018ff: DUP2
00001900: PUSH1 0x20
00001902: SWAP2
00001903: SUB
00001904: SLT
00001905: PUSH2 0x0184
00001908: JUMPI
00001909: MLOAD
0000190a: DUP1
0000190b: ISZERO
0000190c: ISZERO
0000190d: DUP2
0000190e: SUB
0000190f: PUSH2 0x0184
00001912: JUMPI
00001913: SWAP1
00001914: JUMP
00001915: JUMPDEST
00001916: PUSH0
00001917: DUP1
00001918: MLOAD
00001919: PUSH1 0x20
0000191b: PUSH2 0x1f8e
0000191e: DUP4
0000191f: CODECOPY
00001920: DUP2
00001921: MLOAD
00001922: SWAP2
00001923: MSTORE
00001924: PUSH1 0x02
00001926: DUP2
00001927: SLOAD
00001928: EQ
00001929: PUSH2 0x1932
0000192c: JUMPI
0000192d: PUSH1 0x02
0000192f: SWAP1
00001930: SSTORE
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH1 0x40
00001935: MLOAD
00001936: PUSH4 0x3ee5aeb5
0000193b: PUSH1 0xe0
0000193d: SHL
0000193e: DUP2
0000193f: MSTORE
00001940: PUSH1 0x04
00001942: SWAP1
00001943: REVERT
00001944: JUMPDEST
00001945: SWAP1
00001946: DUP1
00001947: DUP3
00001948: MUL
00001949: SWAP1
0000194a: PUSH0
0000194b: NOT
0000194c: DUP2
0000194d: DUP5
0000194e: MULMOD
0000194f: SWAP1
00001950: DUP3
00001951: DUP1
00001952: DUP4
00001953: LT
00001954: SWAP3
00001955: SUB
00001956: SWAP2
00001957: DUP1
00001958: DUP4
00001959: SUB
0000195a: SWAP3
0000195b: EQ
0000195c: PUSH2 0x19b3
0000195f: JUMPI
00001960: PUSH2 0x2710
00001963: SWAP1
00001964: DUP3
00001965: DUP3
00001966: GT
00001967: ISZERO
00001968: PUSH2 0x19a1
0000196b: JUMPI
0000196c: PUSH32 0xbc01a36e2eb1c432ca57a786c226809d495182a9930be0ded288ce703afb7e91
0000198d: SWAP5
0000198e: MULMOD
0000198f: SWAP1
00001990: DUP3
00001991: DUP3
00001992: GT
00001993: SWAP1
00001994: SUB
00001995: PUSH1 0xfc
00001997: SHL
00001998: SWAP2
00001999: SUB
0000199a: PUSH1 0x04
0000199c: SHR
0000199d: OR
0000199e: MUL
0000199f: SWAP1
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH1 0x40
000019a4: MLOAD
000019a5: PUSH4 0x227bc153
000019aa: PUSH1 0xe0
000019ac: SHL
000019ad: DUP2
000019ae: MSTORE
000019af: PUSH1 0x04
000019b1: SWAP1
000019b2: REVERT
000019b3: JUMPDEST
000019b4: POP
000019b5: POP
000019b6: PUSH2 0x2710
000019b9: SWAP2
000019ba: POP
000019bb: DIV
000019bc: SWAP1
000019bd: JUMP
000019be: JUMPDEST
000019bf: SWAP1
000019c0: SWAP2
000019c1: DUP3
000019c2: DUP3
000019c3: MUL
000019c4: SWAP2
000019c5: PUSH0
000019c6: NOT
000019c7: DUP5
000019c8: DUP3
000019c9: MULMOD
000019ca: SWAP4
000019cb: DUP4
000019cc: DUP1
000019cd: DUP7
000019ce: LT
000019cf: SWAP6
000019d0: SUB
000019d1: SWAP5
000019d2: DUP1
000019d3: DUP7
000019d4: SUB
000019d5: SWAP6
000019d6: EQ
000019d7: PUSH2 0x1a31
000019da: JUMPI
000019db: DUP5
000019dc: DUP4
000019dd: GT
000019de: ISZERO
000019df: PUSH2 0x19a1
000019e2: JUMPI
000019e3: DUP3
000019e4: SWAP2
000019e5: MULMOD
000019e6: DUP2
000019e7: PUSH0
000019e8: SUB
000019e9: DUP3
000019ea: AND
000019eb: DUP1
000019ec: SWAP3
000019ed: DIV
000019ee: PUSH1 0x02
000019f0: DUP1
000019f1: DUP3
000019f2: PUSH1 0x03
000019f4: MUL
000019f5: XOR
000019f6: DUP1
000019f7: DUP4
000019f8: MUL
000019f9: DUP3
000019fa: SUB
000019fb: MUL
000019fc: DUP1
000019fd: DUP4
000019fe: MUL
000019ff: DUP3
00001a00: SUB
00001a01: MUL
00001a02: DUP1
00001a03: DUP4
00001a04: MUL
00001a05: DUP3
00001a06: SUB
00001a07: MUL
00001a08: DUP1
00001a09: DUP4
00001a0a: MUL
00001a0b: DUP3
00001a0c: SUB
00001a0d: MUL
00001a0e: DUP1
00001a0f: DUP4
00001a10: MUL
00001a11: DUP3
00001a12: SUB
00001a13: MUL
00001a14: DUP1
00001a15: SWAP3
00001a16: MUL
00001a17: SWAP1
00001a18: SUB
00001a19: MUL
00001a1a: SWAP4
00001a1b: PUSH1 0x01
00001a1d: DUP4
00001a1e: DUP1
00001a1f: PUSH0
00001a20: SUB
00001a21: DIV
00001a22: ADD
00001a23: SWAP1
00001a24: DUP5
00001a25: DUP4
00001a26: GT
00001a27: SWAP1
00001a28: SUB
00001a29: MUL
00001a2a: SWAP3
00001a2b: SUB
00001a2c: DIV
00001a2d: OR
00001a2e: MUL
00001a2f: SWAP1
00001a30: JUMP
00001a31: JUMPDEST
00001a32: POP
00001a33: POP
00001a34: DUP1
00001a35: SWAP3
00001a36: POP
00001a37: ISZERO
00001a38: PUSH2 0x1a3f
00001a3b: JUMPI
00001a3c: DIV
00001a3d: SWAP1
00001a3e: JUMP
00001a3f: JUMPDEST
00001a40: PUSH4 0x4e487b71
00001a45: PUSH1 0xe0
00001a47: SHL
00001a48: PUSH0
00001a49: MSTORE
00001a4a: PUSH1 0x12
00001a4c: PUSH1 0x04
00001a4e: MSTORE
00001a4f: PUSH1 0x24
00001a51: PUSH0
00001a52: REVERT
00001a53: JUMPDEST
00001a54: DUP1
00001a55: PUSH0
00001a56: MSTORE
00001a57: PUSH0
00001a58: DUP1
00001a59: MLOAD
00001a5a: PUSH1 0x20
00001a5c: PUSH2 0x1f6e
00001a5f: DUP4
00001a60: CODECOPY
00001a61: DUP2
00001a62: MLOAD
00001a63: SWAP2
00001a64: MSTORE
00001a65: PUSH1 0x20
00001a67: MSTORE
00001a68: PUSH1 0x40
00001a6a: PUSH0
00001a6b: KECCAK256
00001a6c: CALLER
00001a6d: PUSH0
00001a6e: MSTORE
00001a6f: PUSH1 0x20
00001a71: MSTORE
00001a72: PUSH1 0xff
00001a74: PUSH1 0x40
00001a76: PUSH0
00001a77: KECCAK256
00001a78: SLOAD
00001a79: AND
00001a7a: ISZERO
00001a7b: PUSH2 0x1a81
00001a7e: JUMPI
00001a7f: POP
00001a80: JUMP
00001a81: JUMPDEST
00001a82: PUSH1 0x44
00001a84: SWAP1
00001a85: PUSH1 0x40
00001a87: MLOAD
00001a88: SWAP1
00001a89: PUSH4 0xe2517d3f
00001a8e: PUSH1 0xe0
00001a90: SHL
00001a91: DUP3
00001a92: MSTORE
00001a93: CALLER
00001a94: PUSH1 0x04
00001a96: DUP4
00001a97: ADD
00001a98: MSTORE
00001a99: PUSH1 0x24
00001a9b: DUP3
00001a9c: ADD
00001a9d: MSTORE
00001a9e: REVERT
00001a9f: JUMPDEST
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0xa0
00001aa6: SHL
00001aa7: SUB
00001aa8: AND
00001aa9: PUSH0
00001aaa: DUP2
00001aab: DUP2
00001aac: MSTORE
00001aad: PUSH32 0xb7db2dd08fcb62d0c9e08c51941cae53c267786a0b75803fb7960902fc8ef97d
00001ace: PUSH1 0x20
00001ad0: MSTORE
00001ad1: PUSH1 0x40
00001ad3: SWAP1
00001ad4: KECCAK256
00001ad5: SLOAD
00001ad6: PUSH0
00001ad7: DUP1
00001ad8: MLOAD
00001ad9: PUSH1 0x20
00001adb: PUSH2 0x1f6e
00001ade: DUP4
00001adf: CODECOPY
00001ae0: DUP2
00001ae1: MLOAD
00001ae2: SWAP2
00001ae3: MSTORE
00001ae4: SWAP1
00001ae5: PUSH1 0xff
00001ae7: AND
00001ae8: PUSH2 0x1b23
00001aeb: JUMPI
00001aec: PUSH0
00001aed: DUP1
00001aee: MSTORE
00001aef: PUSH1 0x20
00001af1: MSTORE
00001af2: PUSH1 0x40
00001af4: PUSH0
00001af5: KECCAK256
00001af6: DUP2
00001af7: PUSH0
00001af8: MSTORE
00001af9: PUSH1 0x20
00001afb: MSTORE
00001afc: PUSH1 0x40
00001afe: PUSH0
00001aff: KECCAK256
00001b00: PUSH1 0x01
00001b02: PUSH1 0xff
00001b04: NOT
00001b05: DUP3
00001b06: SLOAD
00001b07: AND
00001b08: OR
00001b09: SWAP1
00001b0a: SSTORE
00001b0b: CALLER
00001b0c: SWAP1
00001b0d: PUSH0
00001b0e: PUSH0
00001b0f: DUP1
00001b10: MLOAD
00001b11: PUSH1 0x20
00001b13: PUSH2 0x1f4e
00001b16: DUP4
00001b17: CODECOPY
00001b18: DUP2
00001b19: MLOAD
00001b1a: SWAP2
00001b1b: MSTORE
00001b1c: DUP2
00001b1d: DUP1
00001b1e: LOG4
00001b1f: PUSH1 0x01
00001b21: SWAP1
00001b22: JUMP
00001b23: JUMPDEST
00001b24: POP
00001b25: POP
00001b26: PUSH0
00001b27: SWAP1
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: PUSH1 0x01
00001b2c: PUSH1 0x01
00001b2e: PUSH1 0xa0
00001b30: SHL
00001b31: SUB
00001b32: AND
00001b33: PUSH0
00001b34: DUP2
00001b35: DUP2
00001b36: MSTORE
00001b37: PUSH32 0xe9574111c3d75c2a60e71ea1e3f5bad97bc853dcd8d24e02cb5480dfbf98e448
00001b58: PUSH1 0x20
00001b5a: MSTORE
00001b5b: PUSH1 0x40
00001b5d: SWAP1
00001b5e: KECCAK256
00001b5f: SLOAD
00001b60: PUSH32 0x723d93d9e2749ff76c3a02ca5d48d83735b6f451b126d0ba0683caa16e04c6fa
00001b81: SWAP2
00001b82: SWAP1
00001b83: PUSH0
00001b84: DUP1
00001b85: MLOAD
00001b86: PUSH1 0x20
00001b88: PUSH2 0x1f6e
00001b8b: DUP4
00001b8c: CODECOPY
00001b8d: DUP2
00001b8e: MLOAD
00001b8f: SWAP2
00001b90: MSTORE
00001b91: SWAP1
00001b92: PUSH1 0xff
00001b94: AND
00001b95: PUSH2 0x1bcf
00001b98: JUMPI
00001b99: DUP3
00001b9a: PUSH0
00001b9b: MSTORE
00001b9c: PUSH1 0x20
00001b9e: MSTORE
00001b9f: PUSH1 0x40
00001ba1: PUSH0
00001ba2: KECCAK256
00001ba3: DUP2
00001ba4: PUSH0
00001ba5: MSTORE
00001ba6: PUSH1 0x20
00001ba8: MSTORE
00001ba9: PUSH1 0x40
00001bab: PUSH0
00001bac: KECCAK256
00001bad: PUSH1 0x01
00001baf: PUSH1 0xff
00001bb1: NOT
00001bb2: DUP3
00001bb3: SLOAD
00001bb4: AND
00001bb5: OR
00001bb6: SWAP1
00001bb7: SSTORE
00001bb8: CALLER
00001bb9: SWAP2
00001bba: PUSH0
00001bbb: DUP1
00001bbc: MLOAD
00001bbd: PUSH1 0x20
00001bbf: PUSH2 0x1f4e
00001bc2: DUP4
00001bc3: CODECOPY
00001bc4: DUP2
00001bc5: MLOAD
00001bc6: SWAP2
00001bc7: MSTORE
00001bc8: PUSH0
00001bc9: DUP1
00001bca: LOG4
00001bcb: PUSH1 0x01
00001bcd: SWAP1
00001bce: JUMP
00001bcf: JUMPDEST
00001bd0: POP
00001bd1: POP
00001bd2: POP
00001bd3: PUSH0
00001bd4: SWAP1
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: PUSH1 0x01
00001bd9: PUSH1 0x01
00001bdb: PUSH1 0xa0
00001bdd: SHL
00001bde: SUB
00001bdf: AND
00001be0: PUSH0
00001be1: DUP2
00001be2: DUP2
00001be3: MSTORE
00001be4: PUSH32 0xd8487f5b11ecc8876444ee4ba0be76a299a89e56407bc0c4ef745e8722e35cb0
00001c05: PUSH1 0x20
00001c07: MSTORE
00001c08: PUSH1 0x40
00001c0a: SWAP1
00001c0b: KECCAK256
00001c0c: SLOAD
00001c0d: PUSH32 0xa2e85c2f0b3a0317b9c4b4185c12b4e23dd961a7645fcbc9bb8efb8eb70e0d03
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: PUSH0
00001c31: DUP1
00001c32: MLOAD
00001c33: PUSH1 0x20
00001c35: PUSH2 0x1f6e
00001c38: DUP4
00001c39: CODECOPY
00001c3a: DUP2
00001c3b: MLOAD
00001c3c: SWAP2
00001c3d: MSTORE
00001c3e: SWAP1
00001c3f: PUSH1 0xff
00001c41: AND
00001c42: PUSH2 0x1bcf
00001c45: JUMPI
00001c46: DUP3
00001c47: PUSH0
00001c48: MSTORE
00001c49: PUSH1 0x20
00001c4b: MSTORE
00001c4c: PUSH1 0x40
00001c4e: PUSH0
00001c4f: KECCAK256
00001c50: DUP2
00001c51: PUSH0
00001c52: MSTORE
00001c53: PUSH1 0x20
00001c55: MSTORE
00001c56: PUSH1 0x40
00001c58: PUSH0
00001c59: KECCAK256
00001c5a: PUSH1 0x01
00001c5c: PUSH1 0xff
00001c5e: NOT
00001c5f: DUP3
00001c60: SLOAD
00001c61: AND
00001c62: OR
00001c63: SWAP1
00001c64: SSTORE
00001c65: CALLER
00001c66: SWAP2
00001c67: PUSH0
00001c68: DUP1
00001c69: MLOAD
00001c6a: PUSH1 0x20
00001c6c: PUSH2 0x1f4e
00001c6f: DUP4
00001c70: CODECOPY
00001c71: DUP2
00001c72: MLOAD
00001c73: SWAP2
00001c74: MSTORE
00001c75: PUSH0
00001c76: DUP1
00001c77: LOG4
00001c78: PUSH1 0x01
00001c7a: SWAP1
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: SWAP1
00001c7e: DUP2
00001c7f: PUSH0
00001c80: MSTORE
00001c81: PUSH0
00001c82: DUP1
00001c83: MLOAD
00001c84: PUSH1 0x20
00001c86: PUSH2 0x1f6e
00001c89: DUP4
00001c8a: CODECOPY
00001c8b: DUP2
00001c8c: MLOAD
00001c8d: SWAP2
00001c8e: MSTORE
00001c8f: DUP1
00001c90: PUSH1 0x20
00001c92: MSTORE
00001c93: PUSH1 0x40
00001c95: PUSH0
00001c96: KECCAK256
00001c97: SWAP2
00001c98: PUSH1 0x01
00001c9a: DUP1
00001c9b: PUSH1 0xa0
00001c9d: SHL
00001c9e: SUB
00001c9f: AND
00001ca0: SWAP2
00001ca1: DUP3
00001ca2: PUSH0
00001ca3: MSTORE
00001ca4: PUSH1 0x20
00001ca6: MSTORE
00001ca7: PUSH1 0xff
00001ca9: PUSH1 0x40
00001cab: PUSH0
00001cac: KECCAK256
00001cad: SLOAD
00001cae: AND
00001caf: ISZERO
00001cb0: PUSH0
00001cb1: EQ
00001cb2: PUSH2 0x1bcf
00001cb5: JUMPI
00001cb6: DUP3
00001cb7: PUSH0
00001cb8: MSTORE
00001cb9: PUSH1 0x20
00001cbb: MSTORE
00001cbc: PUSH1 0x40
00001cbe: PUSH0
00001cbf: KECCAK256
00001cc0: DUP2
00001cc1: PUSH0
00001cc2: MSTORE
00001cc3: PUSH1 0x20
00001cc5: MSTORE
00001cc6: PUSH1 0x40
00001cc8: PUSH0
00001cc9: KECCAK256
00001cca: PUSH1 0x01
00001ccc: PUSH1 0xff
00001cce: NOT
00001ccf: DUP3
00001cd0: SLOAD
00001cd1: AND
00001cd2: OR
00001cd3: SWAP1
00001cd4: SSTORE
00001cd5: CALLER
00001cd6: SWAP2
00001cd7: PUSH0
00001cd8: DUP1
00001cd9: MLOAD
00001cda: PUSH1 0x20
00001cdc: PUSH2 0x1f4e
00001cdf: DUP4
00001ce0: CODECOPY
00001ce1: DUP2
00001ce2: MLOAD
00001ce3: SWAP2
00001ce4: MSTORE
00001ce5: PUSH0
00001ce6: DUP1
00001ce7: LOG4
00001ce8: PUSH1 0x01
00001cea: SWAP1
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: SWAP1
00001cee: DUP2
00001cef: PUSH0
00001cf0: MSTORE
00001cf1: PUSH0
00001cf2: DUP1
00001cf3: MLOAD
00001cf4: PUSH1 0x20
00001cf6: PUSH2 0x1f6e
00001cf9: DUP4
00001cfa: CODECOPY
00001cfb: DUP2
00001cfc: MLOAD
00001cfd: SWAP2
00001cfe: MSTORE
00001cff: DUP1
00001d00: PUSH1 0x20
00001d02: MSTORE
00001d03: PUSH1 0x40
00001d05: PUSH0
00001d06: KECCAK256
00001d07: SWAP2
00001d08: PUSH1 0x01
00001d0a: DUP1
00001d0b: PUSH1 0xa0
00001d0d: SHL
00001d0e: SUB
00001d0f: AND
00001d10: SWAP2
00001d11: DUP3
00001d12: PUSH0
00001d13: MSTORE
00001d14: PUSH1 0x20
00001d16: MSTORE
00001d17: PUSH1 0xff
00001d19: PUSH1 0x40
00001d1b: PUSH0
00001d1c: KECCAK256
00001d1d: SLOAD
00001d1e: AND
00001d1f: PUSH0
00001d20: EQ
00001d21: PUSH2 0x1bcf
00001d24: JUMPI
00001d25: DUP3
00001d26: PUSH0
00001d27: MSTORE
00001d28: PUSH1 0x20
00001d2a: MSTORE
00001d2b: PUSH1 0x40
00001d2d: PUSH0
00001d2e: KECCAK256
00001d2f: DUP2
00001d30: PUSH0
00001d31: MSTORE
00001d32: PUSH1 0x20
00001d34: MSTORE
00001d35: PUSH1 0x40
00001d37: PUSH0
00001d38: KECCAK256
00001d39: PUSH1 0xff
00001d3b: NOT
00001d3c: DUP2
00001d3d: SLOAD
00001d3e: AND
00001d3f: SWAP1
00001d40: SSTORE
00001d41: CALLER
00001d42: SWAP2
00001d43: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001d64: PUSH0
00001d65: DUP1
00001d66: LOG4
00001d67: PUSH1 0x01
00001d69: SWAP1
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: PUSH1 0x40
00001d6e: MLOAD
00001d6f: PUSH4 0xa9059cbb
00001d74: PUSH1 0xe0
00001d76: SHL
00001d77: PUSH1 0x20
00001d79: DUP3
00001d7a: ADD
00001d7b: MSTORE
00001d7c: PUSH1 0x01
00001d7e: PUSH1 0x01
00001d80: PUSH1 0xa0
00001d82: SHL
00001d83: SUB
00001d84: SWAP1
00001d85: SWAP3
00001d86: AND
00001d87: PUSH1 0x24
00001d89: DUP4
00001d8a: ADD
00001d8b: MSTORE
00001d8c: PUSH1 0x44
00001d8e: DUP1
00001d8f: DUP4
00001d90: ADD
00001d91: SWAP4
00001d92: SWAP1
00001d93: SWAP4
00001d94: MSTORE
00001d95: SWAP2
00001d96: DUP2
00001d97: MSTORE
00001d98: PUSH1 0x80
00001d9a: DUP2
00001d9b: ADD
00001d9c: SWAP2
00001d9d: PUSH8 0xffffffffffffffff
00001da6: DUP4
00001da7: GT
00001da8: DUP3
00001da9: DUP5
00001daa: LT
00001dab: OR
00001dac: PUSH2 0x171c
00001daf: JUMPI
00001db0: PUSH2 0x1dbb
00001db3: SWAP3
00001db4: PUSH1 0x40
00001db6: MSTORE
00001db7: PUSH2 0x1e38
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: PUSH2 0x2710
00001dc1: DUP2
00001dc2: GT
00001dc3: PUSH2 0x1df7
00001dc6: JUMPI
00001dc7: PUSH1 0x20
00001dc9: DUP2
00001dca: PUSH32 0x2f0d0ace1d699b471d7b39522b5c8aae053bce1b422b7a4fe8f09bd6562a4b74
00001deb: SWAP3
00001dec: PUSH1 0x01
00001dee: SSTORE
00001def: PUSH1 0x40
00001df1: MLOAD
00001df2: SWAP1
00001df3: DUP2
00001df4: MSTORE
00001df5: LOG1
00001df6: JUMP
00001df7: JUMPDEST
00001df8: PUSH1 0x40
00001dfa: MLOAD
00001dfb: PUSH4 0x0fb9dd39
00001e00: PUSH1 0xe1
00001e02: SHL
00001e03: DUP2
00001e04: MSTORE
00001e05: PUSH1 0x04
00001e07: SWAP1
00001e08: REVERT
00001e09: JUMPDEST
00001e0a: RETURNDATASIZE
00001e0b: ISZERO
00001e0c: PUSH2 0x1e33
00001e0f: JUMPI
00001e10: RETURNDATASIZE
00001e11: SWAP1
00001e12: PUSH2 0x1e1a
00001e15: DUP3
00001e16: PUSH2 0x1752
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: SWAP2
00001e1c: PUSH2 0x1e28
00001e1f: PUSH1 0x40
00001e21: MLOAD
00001e22: SWAP4
00001e23: DUP5
00001e24: PUSH2 0x1730
00001e27: JUMP
00001e28: JUMPDEST
00001e29: DUP3
00001e2a: MSTORE
00001e2b: RETURNDATASIZE
00001e2c: PUSH0
00001e2d: PUSH1 0x20
00001e2f: DUP5
00001e30: ADD
00001e31: RETURNDATACOPY
00001e32: JUMP
00001e33: JUMPDEST
00001e34: PUSH1 0x60
00001e36: SWAP1
00001e37: JUMP
00001e38: JUMPDEST
00001e39: PUSH0
00001e3a: DUP1
00001e3b: PUSH2 0x1e60
00001e3e: SWAP3
00001e3f: PUSH1 0x01
00001e41: DUP1
00001e42: PUSH1 0xa0
00001e44: SHL
00001e45: SUB
00001e46: AND
00001e47: SWAP4
00001e48: PUSH1 0x20
00001e4a: DUP2
00001e4b: MLOAD
00001e4c: SWAP2
00001e4d: ADD
00001e4e: DUP3
00001e4f: DUP7
00001e50: GAS
00001e51: CALL
00001e52: PUSH2 0x1e59
00001e55: PUSH2 0x1e09
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: SWAP1
00001e5b: DUP4
00001e5c: PUSH2 0x1eea
00001e5f: JUMP
00001e60: JUMPDEST
00001e61: DUP1
00001e62: MLOAD
00001e63: SWAP1
00001e64: DUP2
00001e65: ISZERO
00001e66: ISZERO
00001e67: SWAP2
00001e68: DUP3
00001e69: PUSH2 0x1e8e
00001e6c: JUMPI
00001e6d: JUMPDEST
00001e6e: POP
00001e6f: POP
00001e70: PUSH2 0x1e76
00001e73: JUMPI
00001e74: POP
00001e75: JUMP
00001e76: JUMPDEST
00001e77: PUSH1 0x24
00001e79: SWAP1
00001e7a: PUSH1 0x40
00001e7c: MLOAD
00001e7d: SWAP1
00001e7e: PUSH4 0x5274afe7
00001e83: PUSH1 0xe0
00001e85: SHL
00001e86: DUP3
00001e87: MSTORE
00001e88: PUSH1 0x04
00001e8a: DUP3
00001e8b: ADD
00001e8c: MSTORE
00001e8d: REVERT
00001e8e: JUMPDEST
00001e8f: PUSH2 0x1ea1
00001e92: SWAP3
00001e93: POP
00001e94: PUSH1 0x20
00001e96: DUP1
00001e97: SWAP2
00001e98: DUP4
00001e99: ADD
00001e9a: ADD
00001e9b: SWAP2
00001e9c: ADD
00001e9d: PUSH2 0x18fd
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: ISZERO
00001ea3: PUSH0
00001ea4: DUP1
00001ea5: PUSH2 0x1e6d
00001ea8: JUMP
00001ea9: JUMPDEST
00001eaa: PUSH1 0xff
00001eac: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00001ecd: SLOAD
00001ece: PUSH1 0x40
00001ed0: SHR
00001ed1: AND
00001ed2: ISZERO
00001ed3: PUSH2 0x1ed8
00001ed6: JUMPI
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: PUSH1 0x40
00001edb: MLOAD
00001edc: PUSH4 0x1afcd79f
00001ee1: PUSH1 0xe3
00001ee3: SHL
00001ee4: DUP2
00001ee5: MSTORE
00001ee6: PUSH1 0x04
00001ee8: SWAP1
00001ee9: REVERT
00001eea: JUMPDEST
00001eeb: SWAP1
00001eec: PUSH2 0x1f11
00001eef: JUMPI
00001ef0: POP
00001ef1: DUP1
00001ef2: MLOAD
00001ef3: ISZERO
00001ef4: PUSH2 0x1eff
00001ef7: JUMPI
00001ef8: DUP1
00001ef9: MLOAD
00001efa: SWAP1
00001efb: PUSH1 0x20
00001efd: ADD
00001efe: REVERT
00001eff: JUMPDEST
00001f00: PUSH1 0x40
00001f02: MLOAD
00001f03: PUSH4 0x0a12f521
00001f08: PUSH1 0xe1
00001f0a: SHL
00001f0b: DUP2
00001f0c: MSTORE
00001f0d: PUSH1 0x04
00001f0f: SWAP1
00001f10: REVERT
00001f11: JUMPDEST
00001f12: DUP2
00001f13: MLOAD
00001f14: ISZERO
00001f15: DUP1
00001f16: PUSH2 0x1f44
00001f19: JUMPI
00001f1a: JUMPDEST
00001f1b: PUSH2 0x1f22
00001f1e: JUMPI
00001f1f: POP
00001f20: SWAP1
00001f21: JUMP
00001f22: JUMPDEST
00001f23: PUSH1 0x40
00001f25: MLOAD
00001f26: PUSH4 0x9996b315
00001f2b: PUSH1 0xe0
00001f2d: SHL
00001f2e: DUP2
00001f2f: MSTORE
00001f30: PUSH1 0x01
00001f32: PUSH1 0x01
00001f34: PUSH1 0xa0
00001f36: SHL
00001f37: SUB
00001f38: SWAP1
00001f39: SWAP2
00001f3a: AND
00001f3b: PUSH1 0x04
00001f3d: DUP3
00001f3e: ADD
00001f3f: MSTORE
00001f40: PUSH1 0x24
00001f42: SWAP1
00001f43: REVERT
00001f44: JUMPDEST
00001f45: POP
00001f46: DUP1
00001f47: EXTCODESIZE
00001f48: ISZERO
00001f49: PUSH2 0x1f1a
00001f4c: JUMP
00001f4d: INVALID
00001f4e: UNKNOWN(0x2F)
00001f4f: DUP8
00001f50: DUP9
00001f51: GT
00001f52: PUSH31 0x7eff1d82e926ec794901d17c78024a50270940304540a733656f0d02dd7bc7
00001f72: UNKNOWN(0xDE)
00001f73: UNKNOWN(0xC4)
00001f74: UNKNOWN(0xDC)
00001f75: UNKNOWN(0xEE)
00001f76: UNKNOWN(0xDD)
00001f77: UNKNOWN(0xA7)
00001f78: PUSH22 0xe58dd541e08a116c6c53815c0bd028192f7b6268009b
00001f8f: PUSH24 0x9b17422d0df92223018b32b4d1fa46e071723d6817e2486d
00001fa8: STOP
00001fa9: EXTCODESIZE
00001faa: UNKNOWN(0xEC)
00001fab: UNKNOWN(0xC5)
00001fac: PUSH0
00001fad: STOP
00001fae: LOG2
00001faf: PUSH5 0x6970667358
00001fb5: UNKNOWN(0x22)
00001fb6: SLT
00001fb7: KECCAK256
00001fb8: UNKNOWN(0xF8)
00001fb9: UNKNOWN(0x0E)
00001fba: UNKNOWN(0xDA)
00001fbb: UNKNOWN(0xD2)
00001fbc: CALLVALUE
00001fbd: UNKNOWN(0xD8)
00001fbe: GAS
00001fbf: UNKNOWN(0xEA)
00001fc0: UNKNOWN(0xF6)
00001fc1: CALLCODE
00001fc2: DUP1
00001fc3: SGT
00001fc4: RETURNDATACOPY
00001fc5: UNKNOWN(0xAB)
00001fc6: JUMPI
00001fc7: UNKNOWN(0x28)
00001fc8: INVALID
00001fc9: PUSH29

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: 0xcc0a5d39e8b6fc89ac78f5e867d909e67512e145d3390d3f10166e5720c435fd validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xcc0a5d39e8b6fc89ac78f5e867d909e67512e145d3390d3f10166e5720c435fd", "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x04fe4748", "selector": "0x04fe4748", "calldata_variants": [ "0x04fe4748", "0x04fe47480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x103f2907", "selector": "0x103f2907", "calldata_variants": [ "0x103f2907", "0x103f29070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x239723ed", "selector": "0x239723ed", "calldata_variants": [ "0x239723ed", "0x239723ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2c9d45b3", "selector": "0x2c9d45b3", "calldata_variants": [ "0x2c9d45b3", "0x2c9d45b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 814, "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: 0x1c95d3cdb27e5d5ee05a95c3042d0967d27fb9739164e9d5aef32e6c1e6a9819 call_targets: 0xe7b6dafe6e5e3d6f7fa3ed7624633e4518b1bc54 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1c95d3cdb27e5d5ee05a95c3042d0967d27fb9739164e9d5aef32e6c1e6a9819", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe7b6dafe6e5e3d6f7fa3ed7624633e4518b1bc54" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x04fe4748", "selector": "0x04fe4748", "calldata_variants": [ "0x04fe4748", "0x04fe47480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x103f2907", "selector": "0x103f2907", "calldata_variants": [ "0x103f2907", "0x103f29070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x239723ed", "selector": "0x239723ed", "calldata_variants": [ "0x239723ed", "0x239723ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2c9d45b3", "selector": "0x2c9d45b3", "calldata_variants": [ "0x2c9d45b3", "0x2c9d45b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7761, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8129, "opcode": "CALLCODE", "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: 0x1c95d3cdb27e5d5ee05a95c3042d0967d27fb9739164e9d5aef32e6c1e6a9819 call_targets: 0xe7b6dafe6e5e3d6f7fa3ed7624633e4518b1bc54 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x1c95d3cdb27e5d5ee05a95c3042d0967d27fb9739164e9d5aef32e6c1e6a9819", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe7b6dafe6e5e3d6f7fa3ed7624633e4518b1bc54" ], "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": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x04fe4748", "selector": "0x04fe4748", "calldata_variants": [ "0x04fe4748", "0x04fe47480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x103f2907", "selector": "0x103f2907", "calldata_variants": [ "0x103f2907", "0x103f29070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x239723ed", "selector": "0x239723ed", "calldata_variants": [ "0x239723ed", "0x239723ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2c9d45b3", "selector": "0x2c9d45b3", "calldata_variants": [ "0x2c9d45b3", "0x2c9d45b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 7761, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8129, "opcode": "CALLCODE", "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 }