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