Analysis Run

019bb50b-e175-70df-b80a-6f8c82ba9722

failed

Chain ID

1

Address

0xb58bb9643884abbbad64fa7ebc874c5481e5c032

Block Number

—

Created

Tue, Jan 13, 2026 1:50 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 CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
40394	artifact.fetch	complete	1 / 3	3 months ago
40395	proxy.resolve	complete	1 / 3	3 months ago
40396	tool.cast_disasm	complete	1 / 3	3 months ago
40397	analysis.bundle	complete	1 / 3	3 months ago
40398	capability.graph	complete	1 / 3	3 months ago
40399	detector.run	complete	1 / 3	3 months ago
40400	validation.fork	complete	1 / 3	3 months ago
40495	report.consolidate	complete	1 / 6	3 months ago
40496	tool.slither	failed	2 / 2	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

Status

failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-ny9qm2v2) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-ny9qm2v2) 'forge' returned non-zero exit code 1 Compiling 32 files with Solc 0.8.28 stdout: Solc 0.8.28 finished in 413.42ms Error: Compiler run failed: stderr: Error: Compiler error (/solidity/libsolidity/codegen/LValue.cpp:50):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: --> contracts/LiquidityPool.sol:261:81: stderr: | stderr: 261 | IBorrower(_msgSender()).swapMany(borrowTokens, amounts, swap.fillToken, swap.fillAmount, swap.swapData); 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-ny9qm2v2/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-ny9qm2v2)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-ny9qm2v2)
'forge' returned non-zero exit code 1
Compiling 32 files with Solc 0.8.28
stdout: Solc 0.8.28 finished in 413.42ms
Error: Compiler run failed:
stderr: Error: Compiler error (/solidity/libsolidity/codegen/LValue.cpp:50):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:    --> contracts/LiquidityPool.sol:261:81:
stderr:     |
stderr: 261 |         IBorrower(_msgSender()).swapMany(borrowTokens, amounts, swap.fillToken, swap.fillAmount, swap.swapData);
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-ny9qm2v2/out/build-info is not a directory.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

yes

Summary

No exploitable vulnerabilities identified in first-party Solidity sources within the provided scope.

View stdout

{"no_findings":true,"summary":"No exploitable vulnerabilities identified in first-party Solidity sources within the provided scope.","findings":[]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-c6n16tcz
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb52b-6e58-7870-830f-6fa73d37f094
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

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

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

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

thinking
**Preparing to read instructions**
exec
/bin/bash -lc ls in /tmp/codex-c6n16tcz succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-c6n16tcz 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: contracts/LiquidityPool.sol
================================================================================
// SPDX-License-Identifier: LGPL-3.0-only
pragma solidity 0.8.28;

import {IERC20} from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
import {BitMaps} from "@openzeppelin/contracts/utils/structs/BitMaps.sol";
import {AccessControl} from "@openzeppelin/contracts/access/AccessControl.sol";
import {ECDSA} from "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";
import {EIP712} from "@openzeppelin/contracts/utils/cryptography/EIP712.sol";
import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
import {ILiquidityPool} from "./interfaces/ILiquidityPool.sol";
import {IBorrower} from "./interfaces/IBorrower.sol";
import {IWrappedNativeToken} from "./interfaces/IWrappedNativeToken.sol";
import {HelperLib} from "./utils/HelperLib.sol";
import {NATIVE_TOKEN} from "./utils/Constants.sol";




thinking
**Reviewing LiquidityPool vulnerabilities**
thinking
**Examining deposit and borrow edge cases**

I’m exploring how deposit inflates totalDeposited without actual transfers when balance already includes tokens, which affects profit calculations but not withdrawals. There’s also a subtle risk with leftover token approvals to targets after borrows, which could allow approved contracts to pull unused allowances later. I’m checking signature bindings to callers and how borrowAndSwap lets the caller handle borrow tokens before target calls, confirming intended design and potential impact.
thinking
**Analyzing borrow native wrapping and reentrancy concerns**

I’m reviewing how native token wrapping in borrowing wraps the entire native balance, which might include unintended funds, but doesn’t cause direct issues. I’m also checking potential reentrancy in withdrawProfit and withdraw when interacting with tokens that have hooks, confirming that state updates and checks prevent abuse. Additionally, I’m scrutinizing signature encoding nuances and deposit accounting, noting how admin-controlled deposit can inflate accounting affecting profit access separation.
thinking
**Evaluating borrowAndSwap signature reuse and native balance handling**

I’m thinking over the risk that the same signature can authorize both borrow and borrowAndSwap calls, potentially allowing more flexible swap behavior than intended, but concluding it may be by design. I’m also looking into how native token balances are wrapped and treated as profit, noting this can include leftover native from operations, with no clear exploitation risk. Overall, I find no critical vulnerabilities and will mark no findings.
codex
{"no_findings":true,"summary":"No exploitable vulnerabilities identified in first-party Solidity sources within the provided scope.","findings":[]}
tokens used
28,037

Metadata

{
    "codex": {
        "ran_at": "2026-01-13T02:29:09.329800+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 33,
        "import_count": 36,
        "first_party_contracts_count": 6
    },
    "summary": "No exploitable vulnerabilities identified in first-party Solidity sources within the provided scope.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in first-party Solidity sources within the provided scope.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

12

EXT*/BALANCE

6

Total opcodes

5553

Flags

heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001d
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001b
00000016: JUMPI
00000017: PUSH1 0x00
00000019: DUP1
0000001a: REVERT
0000001b: JUMPDEST
0000001c: STOP
0000001d: JUMPDEST
0000001e: PUSH1 0x00
00000020: SWAP1
00000021: DUP2
00000022: CALLDATALOAD
00000023: PUSH1 0xe0
00000025: SHR
00000026: SWAP1
00000027: DUP2
00000028: PUSH4 0x01ffc9a7
0000002d: EQ
0000002e: PUSH2 0x1f47
00000031: JUMPI
00000032: POP
00000033: DUP1
00000034: PUSH4 0x111f4630
00000039: EQ
0000003a: PUSH2 0x1ef2
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x1b3f8c5e
00000044: EQ
00000045: PUSH2 0x1e83
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x248a9ca3
0000004f: EQ
00000050: PUSH2 0x1e37
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2f2ff15d
0000005a: EQ
0000005b: PUSH2 0x1dd8
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x36568abe
00000065: EQ
00000066: PUSH2 0x1d4f
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x3b15c8ec
00000070: EQ
00000071: PUSH2 0x1b25
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x3f4ba83a
0000007b: EQ
0000007c: PUSH2 0x1a68
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x51d7ef99
00000086: EQ
00000087: PUSH2 0x17db
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x5c975abb
00000091: EQ
00000092: PUSH2 0x179a
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x699cc7f1
0000009c: EQ
0000009d: PUSH2 0x172b
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x75086a0f
000000a7: EQ
000000a8: PUSH2 0x13d6
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8456cb59
000000b2: EQ
000000b3: PUSH2 0x133e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x84b0196e
000000bd: EQ
000000be: PUSH2 0x1207
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8dba22c4
000000c8: EQ
000000c9: PUSH2 0x0d25
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x91d14854
000000d3: EQ
000000d4: PUSH2 0x0cae
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa217fddf
000000de: EQ
000000df: PUSH2 0x0c74
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb6670195
000000e9: EQ
000000ea: PUSH2 0x0c0c
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xb6b55f25
000000f4: EQ
000000f5: PUSH2 0x0adc
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xbcb4bbea
000000ff: EQ
00000100: PUSH2 0x0a98
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xc424c39d
0000010a: EQ
0000010b: PUSH2 0x0966
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xd4c537b1
00000115: EQ
00000116: PUSH2 0x090d
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0xd547741f
00000120: EQ
00000121: PUSH2 0x08a5
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0xdaad7e07
0000012b: EQ
0000012c: PUSH2 0x081f
0000012f: JUMPI
00000130: DUP1
00000131: PUSH4 0xde89a709
00000136: EQ
00000137: PUSH2 0x07a6
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0xe3d670d7
00000141: EQ
00000142: PUSH2 0x06fc
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0xe63ab1e9
0000014c: EQ
0000014d: PUSH2 0x06a3
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0xe8596f72
00000157: EQ
00000158: PUSH2 0x0619
0000015b: JUMPI
0000015c: DUP1
0000015d: PUSH4 0xf3fef3a3
00000162: EQ
00000163: PUSH2 0x03f8
00000166: JUMPI
00000167: DUP1
00000168: PUSH4 0xfa0b7255
0000016d: EQ
0000016e: PUSH2 0x021d
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0xfe0f35ea
00000178: EQ
00000179: PUSH2 0x01c4
0000017c: JUMPI
0000017d: PUSH4 0xff50abdc
00000182: SUB
00000183: PUSH2 0x000f
00000186: JUMPI
00000187: CALLVALUE
00000188: PUSH2 0x01c1
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000001ae: CALLDATASIZE
000001af: ADD
000001b0: SLT
000001b1: PUSH2 0x01c1
000001b4: JUMPI
000001b5: PUSH1 0x20
000001b7: PUSH1 0x04
000001b9: SLOAD
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: SWAP1
000001be: DUP2
000001bf: MSTORE
000001c0: RETURN
000001c1: JUMPDEST
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: POP
000001c6: CALLVALUE
000001c7: PUSH2 0x01c1
000001ca: JUMPI
000001cb: DUP1
000001cc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000001ed: CALLDATASIZE
000001ee: ADD
000001ef: SLT
000001f0: PUSH2 0x01c1
000001f3: JUMPI
000001f4: PUSH1 0x20
000001f6: PUSH1 0x40
000001f8: MLOAD
000001f9: PUSH32 0x57495448445241575f50524f4649545f524f4c45000000000000000000000000
0000021a: DUP2
0000021b: MSTORE
0000021c: RETURN
0000021d: JUMPDEST
0000021e: POP
0000021f: CALLVALUE
00000220: PUSH2 0x01c1
00000223: JUMPI
00000224: PUSH1 0x40
00000226: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000247: CALLDATASIZE
00000248: ADD
00000249: SLT
0000024a: PUSH2 0x01c1
0000024d: JUMPI
0000024e: PUSH1 0x04
00000250: CALLDATALOAD
00000251: PUSH8 0xffffffffffffffff
0000025a: DUP2
0000025b: GT
0000025c: PUSH2 0x03f4
0000025f: JUMPI
00000260: PUSH2 0x026d
00000263: SWAP1
00000264: CALLDATASIZE
00000265: SWAP1
00000266: PUSH1 0x04
00000268: ADD
00000269: PUSH2 0x20e0
0000026c: JUMP
0000026d: JUMPDEST
0000026e: SWAP1
0000026f: PUSH2 0x0276
00000272: PUSH2 0x2005
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x027e
0000027a: PUSH2 0x2474
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0xff
00000281: PUSH1 0x05
00000283: SLOAD
00000284: AND
00000285: PUSH2 0x03cc
00000288: JUMPI
00000289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029e: DUP2
0000029f: AND
000002a0: ISZERO
000002a1: PUSH2 0x03a4
000002a4: JUMPI
000002a5: DUP4
000002a6: SWAP3
000002a7: DUP5
000002a8: JUMPDEST
000002a9: DUP2
000002aa: DUP2
000002ab: LT
000002ac: PUSH2 0x02e1
000002af: JUMPI
000002b0: DUP6
000002b1: DUP6
000002b2: ISZERO
000002b3: PUSH2 0x02b9
000002b6: JUMPI
000002b7: DUP1
000002b8: RETURN
000002b9: JUMPDEST
000002ba: DUP1
000002bb: PUSH32 0xe39aafee00000000000000000000000000000000000000000000000000000000
000002dc: PUSH1 0x04
000002de: SWAP3
000002df: MSTORE
000002e0: REVERT
000002e1: JUMPDEST
000002e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f7: PUSH2 0x0309
000002fa: PUSH2 0x0304
000002fd: DUP4
000002fe: DUP6
000002ff: DUP9
00000300: PUSH2 0x231f
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x221a
00000308: JUMP
00000309: JUMPDEST
0000030a: AND
0000030b: PUSH2 0x0313
0000030e: DUP2
0000030f: PUSH2 0x2ef7
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH2 0x031c
00000317: DUP2
00000318: PUSH2 0x2f9b
0000031b: JUMP
0000031c: JUMPDEST
0000031d: SWAP6
0000031e: DUP7
0000031f: ISZERO
00000320: PUSH2 0x0399
00000323: JUMPI
00000324: POP
00000325: SWAP1
00000326: PUSH32 0x7bb82e438f370442cda439f45e4106c95803a259cb3d8464d35cdfc78978cd53
00000347: DUP5
00000348: PUSH1 0x01
0000034a: SWAP4
0000034b: PUSH2 0x038f
0000034e: DUP6
0000034f: SWAP10
00000350: PUSH2 0x035a
00000353: DUP2
00000354: DUP6
00000355: DUP6
00000356: PUSH2 0x307d
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: SWAP4
0000035f: DUP5
00000360: SWAP4
00000361: DUP5
00000362: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000377: PUSH1 0x40
00000379: SWAP3
0000037a: SWAP6
0000037b: SWAP5
0000037c: SWAP4
0000037d: DUP2
0000037e: PUSH1 0x60
00000380: DUP5
00000381: ADD
00000382: SWAP8
00000383: AND
00000384: DUP4
00000385: MSTORE
00000386: AND
00000387: PUSH1 0x20
00000389: DUP3
0000038a: ADD
0000038b: MSTORE
0000038c: ADD
0000038d: MSTORE
0000038e: JUMP
0000038f: JUMPDEST
00000390: SUB
00000391: SWAP1
00000392: LOG1
00000393: JUMPDEST
00000394: ADD
00000395: PUSH2 0x02a8
00000398: JUMP
00000399: JUMPDEST
0000039a: SWAP6
0000039b: POP
0000039c: POP
0000039d: PUSH1 0x01
0000039f: SWAP1
000003a0: PUSH2 0x0393
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH1 0x04
000003a7: DUP5
000003a8: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
000003c9: DUP2
000003ca: MSTORE
000003cb: REVERT
000003cc: JUMPDEST
000003cd: PUSH1 0x04
000003cf: DUP5
000003d0: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
000003f1: DUP2
000003f2: MSTORE
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: CALLVALUE
000003fb: PUSH2 0x01c1
000003fe: JUMPI
000003ff: PUSH1 0x40
00000401: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000422: CALLDATASIZE
00000423: ADD
00000424: SLT
00000425: PUSH2 0x01c1
00000428: JUMPI
00000429: PUSH2 0x0430
0000042c: PUSH2 0x2028
0000042f: JUMP
00000430: JUMPDEST
00000431: SWAP1
00000432: PUSH1 0x24
00000434: CALLDATALOAD
00000435: PUSH2 0x043c
00000438: PUSH2 0x23e9
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH1 0xff
0000043f: PUSH1 0x05
00000441: SLOAD
00000442: AND
00000443: PUSH2 0x05f1
00000446: JUMPI
00000447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045c: DUP4
0000045d: AND
0000045e: ISZERO
0000045f: PUSH2 0x05c9
00000462: JUMPI
00000463: PUSH1 0x04
00000465: SLOAD
00000466: DUP2
00000467: DUP2
00000468: LT
00000469: PUSH2 0x055c
0000046c: JUMPI
0000046d: DUP2
0000046e: PUSH2 0x0476
00000471: SWAP2
00000472: PUSH2 0x22e3
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH1 0x04
00000479: SSTORE
0000047a: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000049b: SWAP3
0000049c: PUSH1 0x40
0000049e: MLOAD
0000049f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000004c0: DUP2
000004c1: MSTORE
000004c2: ADDRESS
000004c3: PUSH1 0x04
000004c5: DUP3
000004c6: ADD
000004c7: MSTORE
000004c8: PUSH1 0x20
000004ca: DUP2
000004cb: PUSH1 0x24
000004cd: DUP2
000004ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e3: DUP10
000004e4: AND
000004e5: GAS
000004e6: STATICCALL
000004e7: SWAP1
000004e8: DUP2
000004e9: ISZERO
000004ea: PUSH2 0x05be
000004ed: JUMPI
000004ee: SWAP1
000004ef: DUP4
000004f0: SWAP2
000004f1: DUP6
000004f2: SWAP2
000004f3: PUSH2 0x0584
000004f6: JUMPI
000004f7: JUMPDEST
000004f8: POP
000004f9: LT
000004fa: PUSH2 0x055c
000004fd: JUMPI
000004fe: PUSH2 0x052a
00000501: DUP3
00000502: DUP3
00000503: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb
00000524: SWAP6
00000525: SWAP7
00000526: PUSH2 0x307d
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x40
0000052d: DUP1
0000052e: MLOAD
0000052f: CALLER
00000530: DUP2
00000531: MSTORE
00000532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000547: SWAP3
00000548: SWAP1
00000549: SWAP3
0000054a: AND
0000054b: PUSH1 0x20
0000054d: DUP4
0000054e: ADD
0000054f: MSTORE
00000550: DUP2
00000551: ADD
00000552: SWAP2
00000553: SWAP1
00000554: SWAP2
00000555: MSTORE
00000556: PUSH1 0x60
00000558: SWAP1
00000559: LOG1
0000055a: DUP1
0000055b: RETURN
0000055c: JUMPDEST
0000055d: PUSH1 0x04
0000055f: DUP4
00000560: PUSH32 0xbb55fd2700000000000000000000000000000000000000000000000000000000
00000581: DUP2
00000582: MSTORE
00000583: REVERT
00000584: JUMPDEST
00000585: SWAP2
00000586: POP
00000587: POP
00000588: PUSH1 0x20
0000058a: DUP2
0000058b: RETURNDATASIZE
0000058c: PUSH1 0x20
0000058e: GT
0000058f: PUSH2 0x05b6
00000592: JUMPI
00000593: JUMPDEST
00000594: DUP2
00000595: PUSH2 0x05a0
00000598: PUSH1 0x20
0000059a: SWAP4
0000059b: DUP4
0000059c: PUSH2 0x2170
0000059f: JUMP
000005a0: JUMPDEST
000005a1: DUP2
000005a2: ADD
000005a3: SUB
000005a4: SLT
000005a5: PUSH2 0x05b1
000005a8: JUMPI
000005a9: DUP3
000005aa: SWAP1
000005ab: MLOAD
000005ac: CODESIZE
000005ad: PUSH2 0x04f7
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH1 0x00
000005b4: DUP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: RETURNDATASIZE
000005b8: SWAP2
000005b9: POP
000005ba: PUSH2 0x0593
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH1 0x40
000005c1: MLOAD
000005c2: RETURNDATASIZE
000005c3: DUP7
000005c4: DUP3
000005c5: RETURNDATACOPY
000005c6: RETURNDATASIZE
000005c7: SWAP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: PUSH1 0x04
000005cc: DUP3
000005cd: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
000005ee: DUP2
000005ef: MSTORE
000005f0: REVERT
000005f1: JUMPDEST
000005f2: PUSH1 0x04
000005f4: DUP3
000005f5: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00000616: DUP2
00000617: MSTORE
00000618: REVERT
00000619: JUMPDEST
0000061a: POP
0000061b: CALLVALUE
0000061c: PUSH2 0x01c1
0000061f: JUMPI
00000620: DUP1
00000621: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000642: CALLDATASIZE
00000643: ADD
00000644: SLT
00000645: PUSH2 0x01c1
00000648: JUMPI
00000649: PUSH2 0x0650
0000064c: PUSH2 0x2474
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH2 0x0100
00000654: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000675: PUSH1 0x05
00000677: SLOAD
00000678: AND
00000679: OR
0000067a: PUSH1 0x05
0000067c: SSTORE
0000067d: PUSH32 0x12b0cb46009c1abb88941570c13a79b411a671896ef81e3466562ee994383101
0000069e: DUP2
0000069f: DUP1
000006a0: LOG1
000006a1: DUP1
000006a2: RETURN
000006a3: JUMPDEST
000006a4: POP
000006a5: CALLVALUE
000006a6: PUSH2 0x01c1
000006a9: JUMPI
000006aa: DUP1
000006ab: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000006cc: CALLDATASIZE
000006cd: ADD
000006ce: SLT
000006cf: PUSH2 0x01c1
000006d2: JUMPI
000006d3: PUSH1 0x20
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
000006f9: DUP2
000006fa: MSTORE
000006fb: RETURN
000006fc: JUMPDEST
000006fd: POP
000006fe: CALLVALUE
000006ff: PUSH2 0x01c1
00000702: JUMPI
00000703: PUSH1 0x20
00000705: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000726: CALLDATASIZE
00000727: ADD
00000728: SLT
00000729: PUSH2 0x01c1
0000072c: JUMPI
0000072d: PUSH1 0x04
0000072f: CALLDATALOAD
00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000745: DUP2
00000746: AND
00000747: SWAP2
00000748: DUP3
00000749: DUP3
0000074a: SUB
0000074b: PUSH2 0x01c1
0000074e: JUMPI
0000074f: POP
00000750: SWAP1
00000751: ISZERO
00000752: PUSH2 0x0769
00000755: JUMPI
00000756: JUMPDEST
00000757: PUSH2 0x0761
0000075a: PUSH1 0x20
0000075c: SWAP2
0000075d: PUSH2 0x2dca
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x40
00000764: MLOAD
00000765: SWAP1
00000766: DUP2
00000767: MSTORE
00000768: RETURN
00000769: JUMPDEST
0000076a: POP
0000076b: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000078c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a1: AND
000007a2: PUSH2 0x0756
000007a5: JUMP
000007a6: JUMPDEST
000007a7: POP
000007a8: CALLVALUE
000007a9: PUSH2 0x01c1
000007ac: JUMPI
000007ad: PUSH1 0x20
000007af: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007d0: CALLDATASIZE
000007d1: ADD
000007d2: SLT
000007d3: PUSH2 0x01c1
000007d6: JUMPI
000007d7: PUSH1 0x04
000007d9: CALLDATALOAD
000007da: PUSH8 0xffffffffffffffff
000007e3: DUP2
000007e4: GT
000007e5: PUSH2 0x03f4
000007e8: JUMPI
000007e9: SWAP1
000007ea: PUSH2 0x07f8
000007ed: PUSH1 0x04
000007ef: SWAP3
000007f0: CALLDATASIZE
000007f1: SWAP1
000007f2: DUP5
000007f3: ADD
000007f4: PUSH2 0x20e0
000007f7: JUMP
000007f8: JUMPDEST
000007f9: POP
000007fa: POP
000007fb: PUSH32 0xd623472500000000000000000000000000000000000000000000000000000000
0000081c: DUP2
0000081d: MSTORE
0000081e: REVERT
0000081f: JUMPDEST
00000820: POP
00000821: CALLVALUE
00000822: PUSH2 0x01c1
00000825: JUMPI
00000826: DUP1
00000827: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000848: CALLDATASIZE
00000849: ADD
0000084a: SLT
0000084b: PUSH2 0x01c1
0000084e: JUMPI
0000084f: PUSH2 0x0856
00000852: PUSH2 0x2474
00000855: JUMP
00000856: JUMPDEST
00000857: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000878: PUSH1 0x05
0000087a: SLOAD
0000087b: AND
0000087c: PUSH1 0x05
0000087e: SSTORE
0000087f: PUSH32 0x5f018d400d6b1e40a9937404bd01d0cf8d37ddb4e47cc0602d8e761c62bb8a4e
000008a0: DUP2
000008a1: DUP1
000008a2: LOG1
000008a3: DUP1
000008a4: RETURN
000008a5: JUMPDEST
000008a6: POP
000008a7: CALLVALUE
000008a8: PUSH2 0x01c1
000008ab: JUMPI
000008ac: PUSH1 0x40
000008ae: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000008cf: CALLDATASIZE
000008d0: ADD
000008d1: SLT
000008d2: PUSH2 0x01c1
000008d5: JUMPI
000008d6: PUSH2 0x0909
000008d9: PUSH1 0x04
000008db: CALLDATALOAD
000008dc: PUSH2 0x08e3
000008df: PUSH2 0x2005
000008e2: JUMP
000008e3: JUMPDEST
000008e4: SWAP1
000008e5: PUSH2 0x0904
000008e8: PUSH2 0x08ff
000008eb: DUP3
000008ec: PUSH1 0x00
000008ee: MSTORE
000008ef: PUSH1 0x00
000008f1: PUSH1 0x20
000008f3: MSTORE
000008f4: PUSH1 0x01
000008f6: PUSH1 0x40
000008f8: PUSH1 0x00
000008fa: KECCAK256
000008fb: ADD
000008fc: SLOAD
000008fd: SWAP1
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH2 0x24ff
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH2 0x264b
00000908: JUMP
00000909: JUMPDEST
0000090a: POP
0000090b: DUP1
0000090c: RETURN
0000090d: JUMPDEST
0000090e: POP
0000090f: CALLVALUE
00000910: PUSH2 0x01c1
00000913: JUMPI
00000914: DUP1
00000915: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000936: CALLDATASIZE
00000937: ADD
00000938: SLT
00000939: PUSH2 0x01c1
0000093c: JUMPI
0000093d: PUSH1 0x20
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: PUSH32 0x4c49515549444954595f41444d494e5f524f4c45000000000000000000000000
00000963: DUP2
00000964: MSTORE
00000965: RETURN
00000966: JUMPDEST
00000967: POP
00000968: CALLVALUE
00000969: PUSH2 0x01c1
0000096c: JUMPI
0000096d: PUSH1 0x20
0000096f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000990: CALLDATASIZE
00000991: ADD
00000992: SLT
00000993: PUSH2 0x01c1
00000996: JUMPI
00000997: PUSH2 0x099e
0000099a: PUSH2 0x2028
0000099d: JUMP
0000099e: JUMPDEST
0000099f: DUP2
000009a0: DUP1
000009a1: MSTORE
000009a2: DUP2
000009a3: PUSH1 0x20
000009a5: MSTORE
000009a6: PUSH1 0x40
000009a8: DUP3
000009a9: KECCAK256
000009aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bf: CALLER
000009c0: AND
000009c1: PUSH1 0x00
000009c3: MSTORE
000009c4: PUSH1 0x20
000009c6: MSTORE
000009c7: PUSH1 0xff
000009c9: PUSH1 0x40
000009cb: PUSH1 0x00
000009cd: KECCAK256
000009ce: SLOAD
000009cf: AND
000009d0: ISZERO
000009d1: PUSH2 0x0a68
000009d4: JUMPI
000009d5: PUSH1 0x40
000009d7: PUSH32 0x34790f64d4f23021526df5d6fd8ead5e9e725e5b5f55d618ed2fddae646ec025
000009f8: SWAP2
000009f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0e: PUSH1 0x05
00000a10: SLOAD
00000a11: SWAP2
00000a12: PUSH22 0xffffffffffffffffffffffffffffffffffffffff0000
00000a29: DUP2
00000a2a: PUSH1 0x10
00000a2c: SHL
00000a2d: AND
00000a2e: PUSH32 0xffffffffffffffffffff0000000000000000000000000000000000000000ffff
00000a4f: DUP5
00000a50: AND
00000a51: OR
00000a52: PUSH1 0x05
00000a54: SSTORE
00000a55: DUP2
00000a56: DUP5
00000a57: MLOAD
00000a58: SWAP4
00000a59: PUSH1 0x10
00000a5b: SHR
00000a5c: AND
00000a5d: DUP4
00000a5e: MSTORE
00000a5f: AND
00000a60: PUSH1 0x20
00000a62: DUP3
00000a63: ADD
00000a64: MSTORE
00000a65: LOG1
00000a66: DUP1
00000a67: RETURN
00000a68: JUMPDEST
00000a69: PUSH1 0x44
00000a6b: DUP3
00000a6c: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: CALLER
00000a90: PUSH1 0x04
00000a92: MSTORE
00000a93: DUP1
00000a94: PUSH1 0x24
00000a96: MSTORE
00000a97: REVERT
00000a98: JUMPDEST
00000a99: POP
00000a9a: CALLVALUE
00000a9b: PUSH2 0x01c1
00000a9e: JUMPI
00000a9f: DUP1
00000aa0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ac1: CALLDATASIZE
00000ac2: ADD
00000ac3: SLT
00000ac4: PUSH2 0x01c1
00000ac7: JUMPI
00000ac8: PUSH1 0x20
00000aca: PUSH1 0xff
00000acc: PUSH1 0x05
00000ace: SLOAD
00000acf: PUSH1 0x08
00000ad1: SHR
00000ad2: AND
00000ad3: PUSH1 0x40
00000ad5: MLOAD
00000ad6: SWAP1
00000ad7: ISZERO
00000ad8: ISZERO
00000ad9: DUP2
00000ada: MSTORE
00000adb: RETURN
00000adc: JUMPDEST
00000add: POP
00000ade: CALLVALUE
00000adf: PUSH2 0x01c1
00000ae2: JUMPI
00000ae3: PUSH1 0x20
00000ae5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000b06: CALLDATASIZE
00000b07: ADD
00000b08: SLT
00000b09: PUSH2 0x01c1
00000b0c: JUMPI
00000b0d: PUSH1 0x04
00000b0f: CALLDATALOAD
00000b10: PUSH2 0x0b17
00000b13: PUSH2 0x23e9
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000b3c: DUP2
00000b3d: MSTORE
00000b3e: ADDRESS
00000b3f: PUSH1 0x04
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: DUP2
00000b47: PUSH1 0x24
00000b49: DUP2
00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000b80: AND
00000b81: GAS
00000b82: STATICCALL
00000b83: DUP1
00000b84: ISZERO
00000b85: PUSH2 0x0c01
00000b88: JUMPI
00000b89: DUP3
00000b8a: SWAP2
00000b8b: DUP5
00000b8c: SWAP2
00000b8d: PUSH2 0x0bcc
00000b90: JUMPI
00000b91: JUMPDEST
00000b92: POP
00000b93: LT
00000b94: PUSH2 0x0ba4
00000b97: JUMPI
00000b98: PUSH2 0x0ba1
00000b9b: SWAP1
00000b9c: CALLER
00000b9d: PUSH2 0x2d6e
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: DUP1
00000ba3: RETURN
00000ba4: JUMPDEST
00000ba5: PUSH1 0x04
00000ba7: DUP3
00000ba8: PUSH32 0x24a8598a00000000000000000000000000000000000000000000000000000000
00000bc9: DUP2
00000bca: MSTORE
00000bcb: REVERT
00000bcc: JUMPDEST
00000bcd: SWAP2
00000bce: POP
00000bcf: POP
00000bd0: PUSH1 0x20
00000bd2: DUP2
00000bd3: RETURNDATASIZE
00000bd4: PUSH1 0x20
00000bd6: GT
00000bd7: PUSH2 0x0bf9
00000bda: JUMPI
00000bdb: JUMPDEST
00000bdc: DUP2
00000bdd: PUSH2 0x0be8
00000be0: PUSH1 0x20
00000be2: SWAP4
00000be3: DUP4
00000be4: PUSH2 0x2170
00000be7: JUMP
00000be8: JUMPDEST
00000be9: DUP2
00000bea: ADD
00000beb: SUB
00000bec: SLT
00000bed: PUSH2 0x05b1
00000bf0: JUMPI
00000bf1: DUP2
00000bf2: SWAP1
00000bf3: MLOAD
00000bf4: CODESIZE
00000bf5: PUSH2 0x0b91
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: RETURNDATASIZE
00000bfb: SWAP2
00000bfc: POP
00000bfd: PUSH2 0x0bdb
00000c00: JUMP
00000c01: JUMPDEST
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: RETURNDATASIZE
00000c06: DUP6
00000c07: DUP3
00000c08: RETURNDATACOPY
00000c09: RETURNDATASIZE
00000c0a: SWAP1
00000c0b: REVERT
00000c0c: JUMPDEST
00000c0d: POP
00000c0e: CALLVALUE
00000c0f: PUSH2 0x01c1
00000c12: JUMPI
00000c13: PUSH1 0x20
00000c15: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c36: CALLDATASIZE
00000c37: ADD
00000c38: SLT
00000c39: PUSH2 0x01c1
00000c3c: JUMPI
00000c3d: PUSH2 0x0ba1
00000c40: PUSH1 0x04
00000c42: CALLDATALOAD
00000c43: PUSH2 0x0c6e
00000c46: DUP2
00000c47: ADDRESS
00000c48: CALLER
00000c49: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c6a: PUSH2 0x2cd9
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: CALLER
00000c70: PUSH2 0x2d6e
00000c73: JUMP
00000c74: JUMPDEST
00000c75: POP
00000c76: CALLVALUE
00000c77: PUSH2 0x01c1
00000c7a: JUMPI
00000c7b: DUP1
00000c7c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c9d: CALLDATASIZE
00000c9e: ADD
00000c9f: SLT
00000ca0: PUSH2 0x01c1
00000ca3: JUMPI
00000ca4: PUSH1 0x20
00000ca6: SWAP1
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: SWAP1
00000cab: DUP2
00000cac: MSTORE
00000cad: RETURN
00000cae: JUMPDEST
00000caf: POP
00000cb0: CALLVALUE
00000cb1: PUSH2 0x01c1
00000cb4: JUMPI
00000cb5: PUSH1 0x40
00000cb7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000cd8: CALLDATASIZE
00000cd9: ADD
00000cda: SLT
00000cdb: PUSH2 0x01c1
00000cde: JUMPI
00000cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf4: PUSH1 0x40
00000cf6: PUSH2 0x0cfd
00000cf9: PUSH2 0x2005
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: SWAP3
00000cff: PUSH1 0x04
00000d01: CALLDATALOAD
00000d02: DUP2
00000d03: MSTORE
00000d04: DUP1
00000d05: PUSH1 0x20
00000d07: MSTORE
00000d08: KECCAK256
00000d09: SWAP2
00000d0a: AND
00000d0b: PUSH1 0x00
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: MSTORE
00000d11: PUSH1 0x20
00000d13: PUSH1 0xff
00000d15: PUSH1 0x40
00000d17: PUSH1 0x00
00000d19: KECCAK256
00000d1a: SLOAD
00000d1b: AND
00000d1c: PUSH1 0x40
00000d1e: MLOAD
00000d1f: SWAP1
00000d20: ISZERO
00000d21: ISZERO
00000d22: DUP2
00000d23: MSTORE
00000d24: RETURN
00000d25: JUMPDEST
00000d26: POP
00000d27: CALLVALUE
00000d28: PUSH2 0x01c1
00000d2b: JUMPI
00000d2c: PUSH2 0x0100
00000d2f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000d50: CALLDATASIZE
00000d51: ADD
00000d52: SLT
00000d53: PUSH2 0x01c1
00000d56: JUMPI
00000d57: PUSH1 0x04
00000d59: CALLDATALOAD
00000d5a: PUSH8 0xffffffffffffffff
00000d63: DUP2
00000d64: GT
00000d65: PUSH2 0x03f4
00000d68: JUMPI
00000d69: PUSH2 0x0d76
00000d6c: SWAP1
00000d6d: CALLDATASIZE
00000d6e: SWAP1
00000d6f: PUSH1 0x04
00000d71: ADD
00000d72: PUSH2 0x20e0
00000d75: JUMP
00000d76: JUMPDEST
00000d77: SWAP1
00000d78: PUSH1 0x24
00000d7a: CALLDATALOAD
00000d7b: PUSH8 0xffffffffffffffff
00000d84: DUP2
00000d85: GT
00000d86: PUSH2 0x1203
00000d89: JUMPI
00000d8a: PUSH2 0x0d97
00000d8d: SWAP1
00000d8e: CALLDATASIZE
00000d8f: SWAP1
00000d90: PUSH1 0x04
00000d92: ADD
00000d93: PUSH2 0x20e0
00000d96: JUMP
00000d97: JUMPDEST
00000d98: SWAP2
00000d99: SWAP1
00000d9a: PUSH8 0xffffffffffffffff
00000da3: PUSH1 0x44
00000da5: CALLDATALOAD
00000da6: GT
00000da7: PUSH2 0x11ff
00000daa: JUMPI
00000dab: PUSH1 0x44
00000dad: CALLDATALOAD
00000dae: PUSH1 0x04
00000db0: ADD
00000db1: SWAP4
00000db2: PUSH1 0x60
00000db4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000dd5: PUSH1 0x44
00000dd7: CALLDATALOAD
00000dd8: CALLDATASIZE
00000dd9: SUB
00000dda: ADD
00000ddb: SLT
00000ddc: PUSH2 0x106d
00000ddf: JUMPI
00000de0: PUSH2 0x0de7
00000de3: PUSH2 0x206e
00000de6: JUMP
00000de7: JUMPDEST
00000de8: SWAP1
00000de9: PUSH1 0x84
00000deb: CALLDATALOAD
00000dec: PUSH8 0xffffffffffffffff
00000df5: DUP2
00000df6: GT
00000df7: PUSH2 0x107c
00000dfa: JUMPI
00000dfb: PUSH2 0x0e08
00000dfe: SWAP1
00000dff: CALLDATASIZE
00000e00: SWAP1
00000e01: PUSH1 0x04
00000e03: ADD
00000e04: PUSH2 0x20b2
00000e07: JUMP
00000e08: JUMPDEST
00000e09: SWAP5
00000e0a: SWAP1
00000e0b: SWAP4
00000e0c: PUSH1 0xe4
00000e0e: CALLDATALOAD
00000e0f: PUSH8 0xffffffffffffffff
00000e18: DUP2
00000e19: GT
00000e1a: PUSH2 0x11fb
00000e1d: JUMPI
00000e1e: PUSH2 0x0e2b
00000e21: SWAP1
00000e22: CALLDATASIZE
00000e23: SWAP1
00000e24: PUSH1 0x04
00000e26: ADD
00000e27: PUSH2 0x20b2
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: SWAP1
00000e2d: PUSH1 0x05
00000e2f: SLOAD
00000e30: PUSH1 0xff
00000e32: DUP2
00000e33: AND
00000e34: PUSH2 0x11d3
00000e37: JUMPI
00000e38: PUSH1 0x08
00000e3a: SHR
00000e3b: PUSH1 0xff
00000e3d: AND
00000e3e: PUSH2 0x11ab
00000e41: JUMPI
00000e42: PUSH2 0x0e58
00000e45: SWAP2
00000e46: SWAP1
00000e47: PUSH1 0xc4
00000e49: CALLDATALOAD
00000e4a: PUSH1 0xa4
00000e4c: CALLDATALOAD
00000e4d: DUP11
00000e4e: DUP11
00000e4f: DUP11
00000e50: DUP15
00000e51: DUP10
00000e52: DUP13
00000e53: DUP13
00000e54: PUSH2 0x2a54
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH1 0x60
00000e5b: DUP10
00000e5c: PUSH2 0x0e64
00000e5f: DUP6
00000e60: PUSH2 0x22cb
00000e63: JUMP
00000e64: JUMPDEST
00000e65: SWAP1
00000e66: PUSH2 0x0e72
00000e69: PUSH1 0x40
00000e6b: MLOAD
00000e6c: SWAP3
00000e6d: DUP4
00000e6e: PUSH2 0x2170
00000e71: JUMP
00000e72: JUMPDEST
00000e73: DUP6
00000e74: DUP3
00000e75: MSTORE
00000e76: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000e97: PUSH2 0x0e9f
00000e9a: DUP8
00000e9b: PUSH2 0x22cb
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: ADD
00000ea1: CALLDATASIZE
00000ea2: PUSH1 0x20
00000ea4: DUP5
00000ea5: ADD
00000ea6: CALLDATACOPY
00000ea7: DUP10
00000ea8: DUP7
00000ea9: EQ
00000eaa: DUP1
00000eab: PUSH2 0x11a2
00000eae: JUMPI
00000eaf: JUMPDEST
00000eb0: ISZERO
00000eb1: PUSH2 0x117a
00000eb4: JUMPI
00000eb5: DUP12
00000eb6: JUMPDEST
00000eb7: DUP7
00000eb8: DUP2
00000eb9: LT
00000eba: PUSH2 0x10e5
00000ebd: JUMPI
00000ebe: POP
00000ebf: POP
00000ec0: POP
00000ec1: POP
00000ec2: PUSH1 0x20
00000ec4: PUSH2 0x0ecc
00000ec7: DUP5
00000ec8: PUSH2 0x22cb
00000ecb: JUMP
00000ecc: JUMPDEST
00000ecd: PUSH2 0x0ed9
00000ed0: PUSH1 0x40
00000ed2: MLOAD
00000ed3: SWAP2
00000ed4: DUP3
00000ed5: PUSH2 0x2170
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: DUP5
00000edb: DUP2
00000edc: MSTORE
00000edd: ADD
00000ede: DUP4
00000edf: PUSH1 0x05
00000ee1: SHL
00000ee2: DUP4
00000ee3: ADD
00000ee4: SWAP1
00000ee5: CALLDATASIZE
00000ee6: DUP3
00000ee7: GT
00000ee8: PUSH2 0x10e1
00000eeb: JUMPI
00000eec: DUP4
00000eed: SWAP1
00000eee: JUMPDEST
00000eef: DUP3
00000ef0: DUP3
00000ef1: LT
00000ef2: PUSH2 0x10c9
00000ef5: JUMPI
00000ef6: POP
00000ef7: POP
00000ef8: POP
00000ef9: PUSH2 0x0f09
00000efc: PUSH2 0x0f04
00000eff: DUP10
00000f00: PUSH2 0x221a
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH2 0x2bfb
00000f08: JUMP
00000f09: JUMPDEST
00000f0a: SWAP7
00000f0b: PUSH2 0x0f13
00000f0e: DUP10
00000f0f: PUSH2 0x221a
00000f12: JUMP
00000f13: JUMPDEST
00000f14: SWAP2
00000f15: PUSH2 0x0f22
00000f18: PUSH1 0x44
00000f1a: DUP1
00000f1b: CALLDATALOAD
00000f1c: ADD
00000f1d: DUP12
00000f1e: PUSH2 0x223b
00000f21: JUMP
00000f22: JUMPDEST
00000f23: CALLER
00000f24: EXTCODESIZE
00000f25: ISZERO
00000f26: PUSH2 0x10c5
00000f29: JUMPI
00000f2a: SWAP1
00000f2b: DUP13
00000f2c: SWAP7
00000f2d: SWAP6
00000f2e: SWAP5
00000f2f: SWAP4
00000f30: SWAP3
00000f31: SWAP2
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: SWAP7
00000f36: PUSH32 0xec7eb4e500000000000000000000000000000000000000000000000000000000
00000f57: DUP9
00000f58: MSTORE
00000f59: DUP1
00000f5a: PUSH1 0xa4
00000f5c: DUP10
00000f5d: ADD
00000f5e: PUSH1 0xa0
00000f60: PUSH1 0x04
00000f62: DUP12
00000f63: ADD
00000f64: MSTORE
00000f65: MSTORE
00000f66: PUSH1 0xc4
00000f68: DUP9
00000f69: ADD
00000f6a: SWAP7
00000f6b: SWAP1
00000f6c: DUP10
00000f6d: JUMPDEST
00000f6e: DUP2
00000f6f: DUP2
00000f70: LT
00000f71: PUSH2 0x1080
00000f74: JUMPI
00000f75: POP
00000f76: POP
00000f77: POP
00000f78: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000f99: DUP8
00000f9a: DUP8
00000f9b: SUB
00000f9c: ADD
00000f9d: PUSH1 0x24
00000f9f: DUP9
00000fa0: ADD
00000fa1: MSTORE
00000fa2: DUP4
00000fa3: DUP7
00000fa4: MSTORE
00000fa5: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000fc6: DUP5
00000fc7: GT
00000fc8: PUSH2 0x107c
00000fcb: JUMPI
00000fcc: PUSH1 0x20
00000fce: DUP8
00000fcf: SWAP6
00000fd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe5: PUSH2 0x103c
00000fe8: SWAP6
00000fe9: DUP12
00000fea: SWAP10
00000feb: DUP10
00000fec: SWAP9
00000fed: PUSH1 0x05
00000fef: SHL
00000ff0: DUP1
00000ff1: SWAP3
00000ff2: DUP7
00000ff3: DUP4
00000ff4: ADD
00000ff5: CALLDATACOPY
00000ff6: ADD
00000ff7: SWAP2
00000ff8: AND
00000ff9: PUSH1 0x44
00000ffb: DUP8
00000ffc: ADD
00000ffd: MSTORE
00000ffe: PUSH1 0x24
00001000: PUSH1 0x44
00001002: CALLDATALOAD
00001003: ADD
00001004: CALLDATALOAD
00001005: PUSH1 0x64
00001007: DUP8
00001008: ADD
00001009: MSTORE
0000100a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000102b: DUP3
0000102c: DUP8
0000102d: DUP4
0000102e: SUB
0000102f: ADD
00001030: ADD
00001031: PUSH1 0x84
00001033: DUP8
00001034: ADD
00001035: MSTORE
00001036: ADD
00001037: SWAP2
00001038: PUSH2 0x228c
0000103b: JUMP
0000103c: JUMPDEST
0000103d: SUB
0000103e: DUP2
0000103f: DUP4
00001040: CALLER
00001041: GAS
00001042: CALL
00001043: DUP1
00001044: ISZERO
00001045: PUSH2 0x1071
00001048: JUMPI
00001049: PUSH2 0x1058
0000104c: JUMPI
0000104d: JUMPDEST
0000104e: POP
0000104f: POP
00001050: PUSH2 0x0ba1
00001053: SWAP5
00001054: PUSH2 0x2c1f
00001057: JUMP
00001058: JUMPDEST
00001059: DUP2
0000105a: PUSH2 0x1062
0000105d: SWAP2
0000105e: PUSH2 0x2170
00001061: JUMP
00001062: JUMPDEST
00001063: PUSH2 0x106d
00001066: JUMPI
00001067: DUP6
00001068: CODESIZE
00001069: PUSH2 0x104d
0000106c: JUMP
0000106d: JUMPDEST
0000106e: DUP6
0000106f: DUP1
00001070: REVERT
00001071: JUMPDEST
00001072: PUSH1 0x40
00001074: MLOAD
00001075: RETURNDATASIZE
00001076: DUP5
00001077: DUP3
00001078: RETURNDATACOPY
00001079: RETURNDATASIZE
0000107a: SWAP1
0000107b: REVERT
0000107c: JUMPDEST
0000107d: DUP8
0000107e: DUP1
0000107f: REVERT
00001080: JUMPDEST
00001081: SWAP2
00001082: SWAP9
00001083: SWAP10
00001084: POP
00001085: SWAP2
00001086: SWAP3
00001087: SWAP4
00001088: SWAP5
00001089: SWAP6
0000108a: SWAP7
0000108b: PUSH1 0x20
0000108d: DUP1
0000108e: PUSH1 0x01
00001090: SWAP3
00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a6: PUSH2 0x10ae
000010a9: DUP14
000010aa: PUSH2 0x2091
000010ad: JUMP
000010ae: JUMPDEST
000010af: AND
000010b0: DUP2
000010b1: MSTORE
000010b2: ADD
000010b3: SWAP10
000010b4: ADD
000010b5: SWAP2
000010b6: ADD
000010b7: SWAP2
000010b8: DUP16
000010b9: SWAP10
000010ba: SWAP9
000010bb: SWAP8
000010bc: SWAP7
000010bd: SWAP6
000010be: SWAP5
000010bf: SWAP4
000010c0: SWAP3
000010c1: PUSH2 0x0f6d
000010c4: JUMP
000010c5: JUMPDEST
000010c6: DUP13
000010c7: DUP1
000010c8: REVERT
000010c9: JUMPDEST
000010ca: PUSH1 0x20
000010cc: DUP1
000010cd: SWAP2
000010ce: PUSH2 0x10d6
000010d1: DUP5
000010d2: PUSH2 0x2091
000010d5: JUMP
000010d6: JUMPDEST
000010d7: DUP2
000010d8: MSTORE
000010d9: ADD
000010da: SWAP2
000010db: ADD
000010dc: SWAP1
000010dd: PUSH2 0x0eee
000010e0: JUMP
000010e1: JUMPDEST
000010e2: DUP11
000010e3: DUP1
000010e4: REVERT
000010e5: JUMPDEST
000010e6: SWAP1
000010e7: SWAP3
000010e8: PUSH2 0x110e
000010eb: SWAP1
000010ec: DUP14
000010ed: DUP13
000010ee: PUSH2 0x10fb
000010f1: PUSH2 0x0304
000010f4: DUP7
000010f5: DUP13
000010f6: DUP13
000010f7: PUSH2 0x231f
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH2 0x1107
000010ff: DUP7
00001100: CALLER
00001101: SWAP4
00001102: DUP12
00001103: PUSH2 0x231f
00001106: JUMP
00001107: JUMPDEST
00001108: CALLDATALOAD
00001109: SWAP1
0000110a: PUSH2 0x2800
0000110d: JUMP
0000110e: JUMPDEST
0000110f: SWAP5
00001110: SWAP1
00001111: DUP5
00001112: MLOAD
00001113: DUP5
00001114: LT
00001115: ISZERO
00001116: PUSH2 0x114d
00001119: JUMPI
0000111a: SWAP2
0000111b: PUSH2 0x1146
0000111e: SWAP2
0000111f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001134: PUSH1 0x01
00001136: SWAP5
00001137: AND
00001138: PUSH1 0x20
0000113a: DUP7
0000113b: PUSH1 0x05
0000113d: SHL
0000113e: DUP9
0000113f: ADD
00001140: ADD
00001141: MSTORE
00001142: PUSH2 0x2bee
00001145: JUMP
00001146: JUMPDEST
00001147: SWAP2
00001148: ADD
00001149: PUSH2 0x0eb6
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x24
00001150: DUP16
00001151: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x32
00001176: PUSH1 0x04
00001178: MSTORE
00001179: REVERT
0000117a: JUMPDEST
0000117b: PUSH1 0x04
0000117d: DUP13
0000117e: PUSH32 0x947d5a8400000000000000000000000000000000000000000000000000000000
0000119f: DUP2
000011a0: MSTORE
000011a1: REVERT
000011a2: JUMPDEST
000011a3: POP
000011a4: DUP6
000011a5: ISZERO
000011a6: ISZERO
000011a7: PUSH2 0x0eaf
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x04
000011ae: DUP12
000011af: PUSH32 0xaa864f3700000000000000000000000000000000000000000000000000000000
000011d0: DUP2
000011d1: MSTORE
000011d2: REVERT
000011d3: JUMPDEST
000011d4: PUSH1 0x04
000011d6: DUP13
000011d7: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
000011f8: DUP2
000011f9: MSTORE
000011fa: REVERT
000011fb: JUMPDEST
000011fc: DUP10
000011fd: DUP1
000011fe: REVERT
000011ff: JUMPDEST
00001200: DUP5
00001201: DUP1
00001202: REVERT
00001203: JUMPDEST
00001204: DUP4
00001205: DUP1
00001206: REVERT
00001207: JUMPDEST
00001208: POP
00001209: CALLVALUE
0000120a: PUSH2 0x01c1
0000120d: JUMPI
0000120e: DUP1
0000120f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001230: CALLDATASIZE
00001231: ADD
00001232: SLT
00001233: PUSH2 0x01c1
00001236: JUMPI
00001237: PUSH2 0x12e2
0000123a: SWAP1
0000123b: PUSH2 0x1263
0000123e: PUSH32 0x4c6971756964697479506f6f6c0000000000000000000000000000000000000d
0000125f: PUSH2 0x3341
00001262: JUMP
00001263: JUMPDEST
00001264: SWAP1
00001265: PUSH2 0x128d
00001268: PUSH32 0x312e302e30000000000000000000000000000000000000000000000000000005
00001289: PUSH2 0x34dc
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP1
0000128f: PUSH1 0x20
00001291: PUSH2 0x12f0
00001294: PUSH1 0x40
00001296: MLOAD
00001297: SWAP4
00001298: PUSH2 0x12a1
0000129b: DUP4
0000129c: DUP7
0000129d: PUSH2 0x2170
000012a0: JUMP
000012a1: JUMPDEST
000012a2: DUP4
000012a3: DUP6
000012a4: MSTORE
000012a5: PUSH1 0x00
000012a7: CALLDATASIZE
000012a8: DUP2
000012a9: CALLDATACOPY
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: SWAP7
000012ae: DUP8
000012af: SWAP7
000012b0: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000
000012d1: DUP9
000012d2: MSTORE
000012d3: PUSH1 0xe0
000012d5: DUP6
000012d6: DUP10
000012d7: ADD
000012d8: MSTORE
000012d9: PUSH1 0xe0
000012db: DUP9
000012dc: ADD
000012dd: SWAP1
000012de: PUSH2 0x2111
000012e1: JUMP
000012e2: JUMPDEST
000012e3: SWAP1
000012e4: DUP7
000012e5: DUP3
000012e6: SUB
000012e7: PUSH1 0x40
000012e9: DUP9
000012ea: ADD
000012eb: MSTORE
000012ec: PUSH2 0x2111
000012ef: JUMP
000012f0: JUMPDEST
000012f1: SWAP1
000012f2: CHAINID
000012f3: PUSH1 0x60
000012f5: DUP7
000012f6: ADD
000012f7: MSTORE
000012f8: ADDRESS
000012f9: PUSH1 0x80
000012fb: DUP7
000012fc: ADD
000012fd: MSTORE
000012fe: DUP3
000012ff: PUSH1 0xa0
00001301: DUP7
00001302: ADD
00001303: MSTORE
00001304: DUP5
00001305: DUP3
00001306: SUB
00001307: PUSH1 0xc0
00001309: DUP7
0000130a: ADD
0000130b: MSTORE
0000130c: DUP1
0000130d: DUP1
0000130e: DUP6
0000130f: MLOAD
00001310: SWAP4
00001311: DUP5
00001312: DUP2
00001313: MSTORE
00001314: ADD
00001315: SWAP5
00001316: ADD
00001317: SWAP3
00001318: JUMPDEST
00001319: DUP3
0000131a: DUP2
0000131b: LT
0000131c: PUSH2 0x1327
0000131f: JUMPI
00001320: POP
00001321: POP
00001322: POP
00001323: POP
00001324: SUB
00001325: SWAP1
00001326: RETURN
00001327: JUMPDEST
00001328: DUP4
00001329: MLOAD
0000132a: DUP6
0000132b: MSTORE
0000132c: DUP7
0000132d: SWAP6
0000132e: POP
0000132f: SWAP4
00001330: DUP2
00001331: ADD
00001332: SWAP4
00001333: SWAP3
00001334: DUP2
00001335: ADD
00001336: SWAP3
00001337: PUSH1 0x01
00001339: ADD
0000133a: PUSH2 0x1318
0000133d: JUMP
0000133e: JUMPDEST
0000133f: POP
00001340: CALLVALUE
00001341: PUSH2 0x01c1
00001344: JUMPI
00001345: DUP1
00001346: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001367: CALLDATASIZE
00001368: ADD
00001369: SLT
0000136a: PUSH2 0x01c1
0000136d: JUMPI
0000136e: PUSH2 0x1375
00001371: PUSH2 0x235e
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH1 0x05
00001378: SLOAD
00001379: PUSH1 0xff
0000137b: DUP2
0000137c: AND
0000137d: PUSH2 0x05f1
00001380: JUMPI
00001381: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000013a2: PUSH1 0x01
000013a4: SWAP2
000013a5: AND
000013a6: OR
000013a7: PUSH1 0x05
000013a9: SSTORE
000013aa: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000013cb: PUSH1 0x20
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: CALLER
000013d1: DUP2
000013d2: MSTORE
000013d3: LOG1
000013d4: DUP1
000013d5: RETURN
000013d6: JUMPDEST
000013d7: POP
000013d8: CALLVALUE
000013d9: PUSH2 0x01c1
000013dc: JUMPI
000013dd: PUSH2 0x0100
000013e0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001401: CALLDATASIZE
00001402: ADD
00001403: SLT
00001404: PUSH2 0x01c1
00001407: JUMPI
00001408: PUSH2 0x140f
0000140b: PUSH2 0x2028
0000140e: JUMP
0000140f: JUMPDEST
00001410: SWAP1
00001411: PUSH1 0x24
00001413: CALLDATALOAD
00001414: SWAP2
00001415: PUSH1 0x44
00001417: CALLDATALOAD
00001418: PUSH8 0xffffffffffffffff
00001421: DUP2
00001422: GT
00001423: PUSH2 0x1727
00001426: JUMPI
00001427: DUP1
00001428: PUSH1 0x04
0000142a: ADD
0000142b: SWAP4
0000142c: PUSH1 0x60
0000142e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000144f: DUP4
00001450: CALLDATASIZE
00001451: SUB
00001452: ADD
00001453: SLT
00001454: PUSH2 0x1203
00001457: JUMPI
00001458: PUSH2 0x145f
0000145b: PUSH2 0x206e
0000145e: JUMP
0000145f: JUMPDEST
00001460: PUSH1 0x84
00001462: CALLDATALOAD
00001463: PUSH8 0xffffffffffffffff
0000146c: DUP2
0000146d: GT
0000146e: PUSH2 0x106d
00001471: JUMPI
00001472: PUSH2 0x147f
00001475: SWAP1
00001476: CALLDATASIZE
00001477: SWAP1
00001478: PUSH1 0x04
0000147a: ADD
0000147b: PUSH2 0x20b2
0000147e: JUMP
0000147f: JUMPDEST
00001480: SWAP4
00001481: SWAP1
00001482: SWAP3
00001483: PUSH1 0xe4
00001485: CALLDATALOAD
00001486: PUSH8 0xffffffffffffffff
0000148f: DUP2
00001490: GT
00001491: PUSH2 0x107c
00001494: JUMPI
00001495: PUSH2 0x14a2
00001498: SWAP1
00001499: CALLDATASIZE
0000149a: SWAP1
0000149b: PUSH1 0x04
0000149d: ADD
0000149e: PUSH2 0x20b2
000014a1: JUMP
000014a2: JUMPDEST
000014a3: SWAP1
000014a4: PUSH1 0x05
000014a6: SLOAD
000014a7: PUSH1 0xff
000014a9: DUP2
000014aa: AND
000014ab: PUSH2 0x16ff
000014ae: JUMPI
000014af: PUSH1 0x08
000014b1: SHR
000014b2: PUSH1 0xff
000014b4: AND
000014b5: PUSH2 0x16d7
000014b8: JUMPI
000014b9: PUSH2 0x14cd
000014bc: SWAP2
000014bd: SWAP1
000014be: PUSH1 0xc4
000014c0: CALLDATALOAD
000014c1: PUSH1 0xa4
000014c3: CALLDATALOAD
000014c4: DUP10
000014c5: DUP10
000014c6: DUP10
000014c7: DUP9
000014c8: DUP15
000014c9: PUSH2 0x2756
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x40
000014d0: MLOAD
000014d1: PUSH2 0x14db
000014d4: PUSH1 0x20
000014d6: DUP3
000014d7: PUSH2 0x2170
000014da: JUMP
000014db: JUMPDEST
000014dc: DUP8
000014dd: DUP2
000014de: MSTORE
000014df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f4: DUP8
000014f5: AND
000014f6: SWAP7
000014f7: DUP8
000014f8: ISZERO
000014f9: SWAP1
000014fa: DUP2
000014fb: ISZERO
000014fc: PUSH2 0x16d1
000014ff: JUMPI
00001500: POP
00001501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001516: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001537: AND
00001538: SWAP1
00001539: JUMPDEST
0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154f: DUP3
00001550: AND
00001551: PUSH2 0x1559
00001554: DUP2
00001555: PUSH2 0x2ef7
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001590: AND
00001591: SUB
00001592: PUSH2 0x16a9
00001595: JUMPI
00001596: ISZERO
00001597: PUSH2 0x15c2
0000159a: JUMPI
0000159b: PUSH1 0x04
0000159d: DUP10
0000159e: PUSH32 0x0e61d2be00000000000000000000000000000000000000000000000000000000
000015bf: DUP2
000015c0: MSTORE
000015c1: REVERT
000015c2: JUMPDEST
000015c3: PUSH2 0x15cd
000015c6: DUP4
000015c7: CALLER
000015c8: DUP11
000015c9: PUSH2 0x3224
000015cc: JUMP
000015cd: JUMPDEST
000015ce: POP
000015cf: POP
000015d0: PUSH2 0x15db
000015d3: PUSH2 0x0f04
000015d6: DUP10
000015d7: PUSH2 0x221a
000015da: JUMP
000015db: JUMPDEST
000015dc: SWAP6
000015dd: PUSH2 0x15e5
000015e0: DUP10
000015e1: PUSH2 0x221a
000015e4: JUMP
000015e5: JUMPDEST
000015e6: SWAP3
000015e7: PUSH2 0x15f3
000015ea: PUSH1 0x44
000015ec: DUP3
000015ed: ADD
000015ee: DUP12
000015ef: PUSH2 0x223b
000015f2: JUMP
000015f3: JUMPDEST
000015f4: SWAP1
000015f5: SWAP2
000015f6: CALLER
000015f7: EXTCODESIZE
000015f8: ISZERO
000015f9: PUSH2 0x10e1
000015fc: JUMPI
000015fd: SWAP2
000015fe: PUSH2 0x166e
00001601: SWAP2
00001602: PUSH1 0x24
00001604: DUP13
00001605: SWAP7
00001606: SWAP6
00001607: SWAP5
00001608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161d: PUSH1 0x40
0000161f: MLOAD
00001620: SWAP10
00001621: DUP11
00001622: SWAP9
00001623: DUP10
00001624: SWAP9
00001625: PUSH32 0x84422d7100000000000000000000000000000000000000000000000000000000
00001646: DUP11
00001647: MSTORE
00001648: PUSH1 0x04
0000164a: DUP11
0000164b: ADD
0000164c: MSTORE
0000164d: DUP5
0000164e: DUP10
0000164f: ADD
00001650: MSTORE
00001651: AND
00001652: PUSH1 0x44
00001654: DUP8
00001655: ADD
00001656: MSTORE
00001657: ADD
00001658: CALLDATALOAD
00001659: PUSH1 0x64
0000165b: DUP6
0000165c: ADD
0000165d: MSTORE
0000165e: PUSH1 0xa0
00001660: PUSH1 0x84
00001662: DUP6
00001663: ADD
00001664: MSTORE
00001665: PUSH1 0xa4
00001667: DUP5
00001668: ADD
00001669: SWAP2
0000166a: PUSH2 0x228c
0000166d: JUMP
0000166e: JUMPDEST
0000166f: SUB
00001670: DUP2
00001671: DUP4
00001672: CALLER
00001673: GAS
00001674: CALL
00001675: DUP1
00001676: ISZERO
00001677: PUSH2 0x169e
0000167a: JUMPI
0000167b: PUSH2 0x168a
0000167e: JUMPI
0000167f: JUMPDEST
00001680: POP
00001681: PUSH2 0x0ba1
00001684: SWAP5
00001685: SWAP6
00001686: PUSH2 0x2c1f
00001689: JUMP
0000168a: JUMPDEST
0000168b: SWAP5
0000168c: PUSH2 0x1698
0000168f: DUP2
00001690: PUSH2 0x0ba1
00001693: SWAP8
00001694: PUSH2 0x2170
00001697: JUMP
00001698: JUMPDEST
00001699: SWAP5
0000169a: PUSH2 0x167f
0000169d: JUMP
0000169e: JUMPDEST
0000169f: PUSH1 0x40
000016a1: MLOAD
000016a2: RETURNDATASIZE
000016a3: DUP9
000016a4: DUP3
000016a5: RETURNDATACOPY
000016a6: RETURNDATASIZE
000016a7: SWAP1
000016a8: REVERT
000016a9: JUMPDEST
000016aa: PUSH1 0x04
000016ac: DUP11
000016ad: PUSH32 0xdbd2ca5200000000000000000000000000000000000000000000000000000000
000016ce: DUP2
000016cf: MSTORE
000016d0: REVERT
000016d1: JUMPDEST
000016d2: SWAP1
000016d3: PUSH2 0x1539
000016d6: JUMP
000016d7: JUMPDEST
000016d8: PUSH1 0x04
000016da: DUP10
000016db: PUSH32 0xaa864f3700000000000000000000000000000000000000000000000000000000
000016fc: DUP2
000016fd: MSTORE
000016fe: REVERT
000016ff: JUMPDEST
00001700: PUSH1 0x04
00001702: DUP11
00001703: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001724: DUP2
00001725: MSTORE
00001726: REVERT
00001727: JUMPDEST
00001728: DUP3
00001729: DUP1
0000172a: REVERT
0000172b: JUMPDEST
0000172c: POP
0000172d: CALLVALUE
0000172e: PUSH2 0x01c1
00001731: JUMPI
00001732: DUP1
00001733: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001754: CALLDATASIZE
00001755: ADD
00001756: SLT
00001757: PUSH2 0x01c1
0000175a: JUMPI
0000175b: PUSH1 0x20
0000175d: PUSH1 0x40
0000175f: MLOAD
00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001775: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001796: AND
00001797: DUP2
00001798: MSTORE
00001799: RETURN
0000179a: JUMPDEST
0000179b: POP
0000179c: CALLVALUE
0000179d: PUSH2 0x01c1
000017a0: JUMPI
000017a1: DUP1
000017a2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000017c3: CALLDATASIZE
000017c4: ADD
000017c5: SLT
000017c6: PUSH2 0x01c1
000017c9: JUMPI
000017ca: PUSH1 0x20
000017cc: PUSH1 0xff
000017ce: PUSH1 0x05
000017d0: SLOAD
000017d1: AND
000017d2: PUSH1 0x40
000017d4: MLOAD
000017d5: SWAP1
000017d6: ISZERO
000017d7: ISZERO
000017d8: DUP2
000017d9: MSTORE
000017da: RETURN
000017db: JUMPDEST
000017dc: POP
000017dd: CALLVALUE
000017de: PUSH2 0x01c1
000017e1: JUMPI
000017e2: PUSH1 0xe0
000017e4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001805: CALLDATASIZE
00001806: ADD
00001807: SLT
00001808: PUSH2 0x01c1
0000180b: JUMPI
0000180c: PUSH1 0x04
0000180e: CALLDATALOAD
0000180f: PUSH8 0xffffffffffffffff
00001818: DUP2
00001819: GT
0000181a: PUSH2 0x03f4
0000181d: JUMPI
0000181e: PUSH2 0x182b
00001821: SWAP1
00001822: CALLDATASIZE
00001823: SWAP1
00001824: PUSH1 0x04
00001826: ADD
00001827: PUSH2 0x20e0
0000182a: JUMP
0000182b: JUMPDEST
0000182c: PUSH1 0x24
0000182e: CALLDATALOAD
0000182f: PUSH8 0xffffffffffffffff
00001838: DUP2
00001839: GT
0000183a: PUSH2 0x1203
0000183d: JUMPI
0000183e: PUSH2 0x184b
00001841: SWAP1
00001842: CALLDATASIZE
00001843: SWAP1
00001844: PUSH1 0x04
00001846: ADD
00001847: PUSH2 0x20e0
0000184a: JUMP
0000184b: JUMPDEST
0000184c: PUSH2 0x1856
0000184f: SWAP3
00001850: SWAP2
00001851: SWAP3
00001852: PUSH2 0x204b
00001855: JUMP
00001856: JUMPDEST
00001857: PUSH1 0x64
00001859: CALLDATALOAD
0000185a: PUSH8 0xffffffffffffffff
00001863: DUP2
00001864: GT
00001865: PUSH2 0x1a64
00001868: JUMPI
00001869: PUSH2 0x1876
0000186c: SWAP1
0000186d: CALLDATASIZE
0000186e: SWAP1
0000186f: PUSH1 0x04
00001871: ADD
00001872: PUSH2 0x20b2
00001875: JUMP
00001876: JUMPDEST
00001877: SWAP5
00001878: SWAP1
00001879: SWAP4
0000187a: PUSH1 0xc4
0000187c: CALLDATALOAD
0000187d: PUSH8 0xffffffffffffffff
00001886: DUP2
00001887: GT
00001888: PUSH2 0x1a60
0000188b: JUMPI
0000188c: PUSH2 0x1899
0000188f: SWAP1
00001890: CALLDATASIZE
00001891: SWAP1
00001892: PUSH1 0x04
00001894: ADD
00001895: PUSH2 0x20b2
00001898: JUMP
00001899: JUMPDEST
0000189a: SWAP1
0000189b: PUSH1 0x05
0000189d: SLOAD
0000189e: PUSH1 0xff
000018a0: DUP2
000018a1: AND
000018a2: PUSH2 0x1a38
000018a5: JUMPI
000018a6: PUSH1 0x08
000018a8: SHR
000018a9: PUSH1 0xff
000018ab: AND
000018ac: PUSH2 0x1a10
000018af: JUMPI
000018b0: SWAP1
000018b1: PUSH2 0x18c7
000018b4: SWAP2
000018b5: PUSH1 0xa4
000018b7: CALLDATALOAD
000018b8: DUP11
000018b9: DUP11
000018ba: DUP11
000018bb: DUP10
000018bc: DUP12
000018bd: DUP11
000018be: DUP11
000018bf: PUSH1 0x84
000018c1: CALLDATALOAD
000018c2: SWAP7
000018c3: PUSH2 0x2a54
000018c6: JUMP
000018c7: JUMPDEST
000018c8: PUSH1 0x60
000018ca: SWAP2
000018cb: DUP9
000018cc: SWAP5
000018cd: PUSH2 0x18d5
000018d0: DUP4
000018d1: PUSH2 0x22cb
000018d4: JUMP
000018d5: JUMPDEST
000018d6: SWAP3
000018d7: PUSH2 0x18e3
000018da: PUSH1 0x40
000018dc: MLOAD
000018dd: SWAP5
000018de: DUP6
000018df: PUSH2 0x2170
000018e2: JUMP
000018e3: JUMPDEST
000018e4: DUP1
000018e5: DUP5
000018e6: MSTORE
000018e7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001908: PUSH2 0x1910
0000190b: DUP3
0000190c: PUSH2 0x22cb
0000190f: JUMP
00001910: JUMPDEST
00001911: ADD
00001912: CALLDATASIZE
00001913: PUSH1 0x20
00001915: DUP7
00001916: ADD
00001917: CALLDATACOPY
00001918: DUP2
00001919: DUP2
0000191a: EQ
0000191b: DUP1
0000191c: PUSH2 0x1a07
0000191f: JUMPI
00001920: JUMPDEST
00001921: ISZERO
00001922: PUSH2 0x19df
00001925: JUMPI
00001926: SWAP2
00001927: SWAP1
00001928: DUP11
00001929: SWAP3
0000192a: JUMPDEST
0000192b: DUP1
0000192c: DUP5
0000192d: LT
0000192e: PUSH2 0x194a
00001931: JUMPI
00001932: POP
00001933: POP
00001934: POP
00001935: POP
00001936: PUSH2 0x0ba1
00001939: SWAP7
0000193a: POP
0000193b: POP
0000193c: POP
0000193d: PUSH2 0x1945
00001940: DUP3
00001941: PUSH2 0x293d
00001944: JUMP
00001945: JUMPDEST
00001946: PUSH2 0x29dc
00001949: JUMP
0000194a: JUMPDEST
0000194b: SWAP1
0000194c: SWAP2
0000194d: SWAP3
0000194e: SWAP7
0000194f: SWAP5
00001950: PUSH2 0x1970
00001953: SWAP1
00001954: PUSH1 0x01
00001956: DUP9
00001957: PUSH2 0x1965
0000195a: PUSH2 0x0304
0000195d: DUP16
0000195e: DUP8
0000195f: DUP15
00001960: SWAP2
00001961: PUSH2 0x231f
00001964: JUMP
00001965: JUMPDEST
00001966: PUSH2 0x1107
00001969: DUP13
0000196a: DUP9
0000196b: DUP11
0000196c: PUSH2 0x231f
0000196f: JUMP
00001970: JUMPDEST
00001971: SWAP7
00001972: SWAP1
00001973: DUP7
00001974: MLOAD
00001975: DUP11
00001976: LT
00001977: ISZERO
00001978: PUSH2 0x19b2
0000197b: JUMPI
0000197c: SWAP2
0000197d: PUSH2 0x19a8
00001980: SWAP2
00001981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001996: PUSH1 0x01
00001998: SWAP5
00001999: AND
0000199a: PUSH1 0x20
0000199c: DUP13
0000199d: PUSH1 0x05
0000199f: SHL
000019a0: DUP11
000019a1: ADD
000019a2: ADD
000019a3: MSTORE
000019a4: PUSH2 0x2bee
000019a7: JUMP
000019a8: JUMPDEST
000019a9: SWAP8
000019aa: ADD
000019ab: SWAP3
000019ac: SWAP2
000019ad: SWAP1
000019ae: PUSH2 0x192a
000019b1: JUMP
000019b2: JUMPDEST
000019b3: PUSH1 0x24
000019b5: DUP15
000019b6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x32
000019db: PUSH1 0x04
000019dd: MSTORE
000019de: REVERT
000019df: JUMPDEST
000019e0: PUSH1 0x04
000019e2: DUP12
000019e3: PUSH32 0x947d5a8400000000000000000000000000000000000000000000000000000000
00001a04: DUP2
00001a05: MSTORE
00001a06: REVERT
00001a07: JUMPDEST
00001a08: POP
00001a09: DUP1
00001a0a: ISZERO
00001a0b: ISZERO
00001a0c: PUSH2 0x1920
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH1 0x04
00001a13: DUP11
00001a14: PUSH32 0xaa864f3700000000000000000000000000000000000000000000000000000000
00001a35: DUP2
00001a36: MSTORE
00001a37: REVERT
00001a38: JUMPDEST
00001a39: PUSH1 0x04
00001a3b: DUP12
00001a3c: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001a5d: DUP2
00001a5e: MSTORE
00001a5f: REVERT
00001a60: JUMPDEST
00001a61: DUP9
00001a62: DUP1
00001a63: REVERT
00001a64: JUMPDEST
00001a65: DUP7
00001a66: DUP1
00001a67: REVERT
00001a68: JUMPDEST
00001a69: POP
00001a6a: CALLVALUE
00001a6b: PUSH2 0x01c1
00001a6e: JUMPI
00001a6f: DUP1
00001a70: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001a91: CALLDATASIZE
00001a92: ADD
00001a93: SLT
00001a94: PUSH2 0x01c1
00001a97: JUMPI
00001a98: PUSH2 0x1a9f
00001a9b: PUSH2 0x235e
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: PUSH1 0x05
00001aa2: SLOAD
00001aa3: PUSH1 0xff
00001aa5: DUP2
00001aa6: AND
00001aa7: ISZERO
00001aa8: PUSH2 0x1afd
00001aab: JUMPI
00001aac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001acd: AND
00001ace: PUSH1 0x05
00001ad0: SSTORE
00001ad1: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001af2: PUSH1 0x20
00001af4: PUSH1 0x40
00001af6: MLOAD
00001af7: CALLER
00001af8: DUP2
00001af9: MSTORE
00001afa: LOG1
00001afb: DUP1
00001afc: RETURN
00001afd: JUMPDEST
00001afe: PUSH1 0x04
00001b00: DUP3
00001b01: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
00001b22: DUP2
00001b23: MSTORE
00001b24: REVERT
00001b25: JUMPDEST
00001b26: POP
00001b27: CALLVALUE
00001b28: PUSH2 0x01c1
00001b2b: JUMPI
00001b2c: PUSH1 0xe0
00001b2e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001b4f: CALLDATASIZE
00001b50: ADD
00001b51: SLT
00001b52: PUSH2 0x01c1
00001b55: JUMPI
00001b56: PUSH2 0x1b5d
00001b59: PUSH2 0x2028
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: SWAP1
00001b5f: PUSH1 0x24
00001b61: CALLDATALOAD
00001b62: SWAP2
00001b63: PUSH2 0x1b6a
00001b66: PUSH2 0x204b
00001b69: JUMP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x64
00001b6d: CALLDATALOAD
00001b6e: PUSH8 0xffffffffffffffff
00001b77: DUP2
00001b78: GT
00001b79: PUSH2 0x1203
00001b7c: JUMPI
00001b7d: PUSH2 0x1b8a
00001b80: SWAP1
00001b81: CALLDATASIZE
00001b82: SWAP1
00001b83: PUSH1 0x04
00001b85: ADD
00001b86: PUSH2 0x20b2
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP3
00001b8c: SWAP1
00001b8d: SWAP2
00001b8e: PUSH1 0xc4
00001b90: CALLDATALOAD
00001b91: PUSH8 0xffffffffffffffff
00001b9a: DUP2
00001b9b: GT
00001b9c: PUSH2 0x106d
00001b9f: JUMPI
00001ba0: PUSH2 0x1bad
00001ba3: SWAP1
00001ba4: CALLDATASIZE
00001ba5: SWAP1
00001ba6: PUSH1 0x04
00001ba8: ADD
00001ba9: PUSH2 0x20b2
00001bac: JUMP
00001bad: JUMPDEST
00001bae: SWAP1
00001baf: PUSH1 0x05
00001bb1: SLOAD
00001bb2: PUSH1 0xff
00001bb4: DUP2
00001bb5: AND
00001bb6: PUSH2 0x1d27
00001bb9: JUMPI
00001bba: PUSH1 0x08
00001bbc: SHR
00001bbd: PUSH1 0xff
00001bbf: AND
00001bc0: PUSH2 0x1cff
00001bc3: JUMPI
00001bc4: SWAP1
00001bc5: PUSH2 0x1bd8
00001bc8: SWAP2
00001bc9: PUSH1 0xa4
00001bcb: CALLDATALOAD
00001bcc: PUSH1 0x84
00001bce: CALLDATALOAD
00001bcf: DUP9
00001bd0: DUP9
00001bd1: DUP8
00001bd2: DUP14
00001bd3: DUP11
00001bd4: PUSH2 0x2756
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: PUSH2 0x1be6
00001bdf: PUSH1 0x20
00001be1: DUP3
00001be2: PUSH2 0x2170
00001be5: JUMP
00001be6: JUMPDEST
00001be7: DUP6
00001be8: DUP2
00001be9: MSTORE
00001bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bff: DUP4
00001c00: AND
00001c01: SWAP7
00001c02: DUP8
00001c03: ISZERO
00001c04: SWAP4
00001c05: DUP8
00001c06: SWAP1
00001c07: DUP6
00001c08: ISZERO
00001c09: PUSH2 0x1cf9
00001c0c: JUMPI
00001c0d: POP
00001c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c23: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001c44: AND
00001c45: SWAP5
00001c46: JUMPDEST
00001c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5c: DUP7
00001c5d: AND
00001c5e: PUSH2 0x1c66
00001c61: DUP2
00001c62: PUSH2 0x2ef7
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001c9d: AND
00001c9e: SUB
00001c9f: PUSH2 0x1cd1
00001ca2: JUMPI
00001ca3: PUSH2 0x0ba1
00001ca6: SWAP9
00001ca7: SWAP10
00001ca8: DUP6
00001ca9: SWAP2
00001caa: PUSH1 0x00
00001cac: EQ
00001cad: PUSH2 0x1cc0
00001cb0: JUMPI
00001cb1: POP
00001cb2: POP
00001cb3: POP
00001cb4: JUMPDEST
00001cb5: SWAP3
00001cb6: POP
00001cb7: POP
00001cb8: PUSH2 0x1945
00001cbb: DUP3
00001cbc: PUSH2 0x293d
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: SWAP1
00001cc2: PUSH2 0x1ccc
00001cc5: SWAP3
00001cc6: SWAP4
00001cc7: SWAP2
00001cc8: PUSH2 0x3224
00001ccb: JUMP
00001ccc: JUMPDEST
00001ccd: PUSH2 0x1cb4
00001cd0: JUMP
00001cd1: JUMPDEST
00001cd2: PUSH1 0x04
00001cd4: DUP10
00001cd5: PUSH32 0xdbd2ca5200000000000000000000000000000000000000000000000000000000
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: REVERT
00001cf9: JUMPDEST
00001cfa: SWAP5
00001cfb: PUSH2 0x1c46
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH1 0x04
00001d02: DUP8
00001d03: PUSH32 0xaa864f3700000000000000000000000000000000000000000000000000000000
00001d24: DUP2
00001d25: MSTORE
00001d26: REVERT
00001d27: JUMPDEST
00001d28: PUSH1 0x04
00001d2a: DUP9
00001d2b: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001d4c: DUP2
00001d4d: MSTORE
00001d4e: REVERT
00001d4f: JUMPDEST
00001d50: POP
00001d51: CALLVALUE
00001d52: PUSH2 0x01c1
00001d55: JUMPI
00001d56: PUSH1 0x40
00001d58: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001d79: CALLDATASIZE
00001d7a: ADD
00001d7b: SLT
00001d7c: PUSH2 0x01c1
00001d7f: JUMPI
00001d80: PUSH2 0x1d87
00001d83: PUSH2 0x2005
00001d86: JUMP
00001d87: JUMPDEST
00001d88: CALLER
00001d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9e: DUP3
00001d9f: AND
00001da0: SUB
00001da1: PUSH2 0x1db0
00001da4: JUMPI
00001da5: PUSH2 0x0909
00001da8: SWAP1
00001da9: PUSH1 0x04
00001dab: CALLDATALOAD
00001dac: PUSH2 0x264b
00001daf: JUMP
00001db0: JUMPDEST
00001db1: PUSH1 0x04
00001db3: DUP3
00001db4: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00001dd5: DUP2
00001dd6: MSTORE
00001dd7: REVERT
00001dd8: JUMPDEST
00001dd9: POP
00001dda: CALLVALUE
00001ddb: PUSH2 0x01c1
00001dde: JUMPI
00001ddf: PUSH1 0x40
00001de1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001e02: CALLDATASIZE
00001e03: ADD
00001e04: SLT
00001e05: PUSH2 0x01c1
00001e08: JUMPI
00001e09: PUSH2 0x0909
00001e0c: PUSH1 0x04
00001e0e: CALLDATALOAD
00001e0f: PUSH2 0x1e16
00001e12: PUSH2 0x2005
00001e15: JUMP
00001e16: JUMPDEST
00001e17: SWAP1
00001e18: PUSH2 0x1e32
00001e1b: PUSH2 0x08ff
00001e1e: DUP3
00001e1f: PUSH1 0x00
00001e21: MSTORE
00001e22: PUSH1 0x00
00001e24: PUSH1 0x20
00001e26: MSTORE
00001e27: PUSH1 0x01
00001e29: PUSH1 0x40
00001e2b: PUSH1 0x00
00001e2d: KECCAK256
00001e2e: ADD
00001e2f: SLOAD
00001e30: SWAP1
00001e31: JUMP
00001e32: JUMPDEST
00001e33: PUSH2 0x256c
00001e36: JUMP
00001e37: JUMPDEST
00001e38: POP
00001e39: CALLVALUE
00001e3a: PUSH2 0x01c1
00001e3d: JUMPI
00001e3e: PUSH1 0x20
00001e40: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001e61: CALLDATASIZE
00001e62: ADD
00001e63: SLT
00001e64: PUSH2 0x01c1
00001e67: JUMPI
00001e68: PUSH1 0x20
00001e6a: PUSH2 0x0761
00001e6d: PUSH1 0x04
00001e6f: CALLDATALOAD
00001e70: PUSH1 0x00
00001e72: MSTORE
00001e73: PUSH1 0x00
00001e75: PUSH1 0x20
00001e77: MSTORE
00001e78: PUSH1 0x01
00001e7a: PUSH1 0x40
00001e7c: PUSH1 0x00
00001e7e: KECCAK256
00001e7f: ADD
00001e80: SLOAD
00001e81: SWAP1
00001e82: JUMP
00001e83: JUMPDEST
00001e84: POP
00001e85: CALLVALUE
00001e86: PUSH2 0x01c1
00001e89: JUMPI
00001e8a: DUP1
00001e8b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001eac: CALLDATASIZE
00001ead: ADD
00001eae: SLT
00001eaf: PUSH2 0x01c1
00001eb2: JUMPI
00001eb3: PUSH1 0x20
00001eb5: PUSH1 0x40
00001eb7: MLOAD
00001eb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ecd: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00001eee: AND
00001eef: DUP2
00001ef0: MSTORE
00001ef1: RETURN
00001ef2: JUMPDEST
00001ef3: POP
00001ef4: CALLVALUE
00001ef5: PUSH2 0x01c1
00001ef8: JUMPI
00001ef9: DUP1
00001efa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001f1b: CALLDATASIZE
00001f1c: ADD
00001f1d: SLT
00001f1e: PUSH2 0x01c1
00001f21: JUMPI
00001f22: PUSH1 0x20
00001f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f39: PUSH1 0x05
00001f3b: SLOAD
00001f3c: PUSH1 0x10
00001f3e: SHR
00001f3f: AND
00001f40: PUSH1 0x40
00001f42: MLOAD
00001f43: SWAP1
00001f44: DUP2
00001f45: MSTORE
00001f46: RETURN
00001f47: JUMPDEST
00001f48: SWAP1
00001f49: POP
00001f4a: CALLVALUE
00001f4b: PUSH2 0x03f4
00001f4e: JUMPI
00001f4f: PUSH1 0x20
00001f51: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001f72: CALLDATASIZE
00001f73: ADD
00001f74: SLT
00001f75: PUSH2 0x03f4
00001f78: JUMPI
00001f79: PUSH1 0x04
00001f7b: CALLDATALOAD
00001f7c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001f9d: DUP2
00001f9e: AND
00001f9f: DUP1
00001fa0: SWAP2
00001fa1: SUB
00001fa2: PUSH2 0x1727
00001fa5: JUMPI
00001fa6: PUSH1 0x20
00001fa8: SWAP3
00001fa9: POP
00001faa: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00001fcb: DUP2
00001fcc: EQ
00001fcd: SWAP1
00001fce: DUP2
00001fcf: ISZERO
00001fd0: PUSH2 0x1fdb
00001fd3: JUMPI
00001fd4: JUMPDEST
00001fd5: POP
00001fd6: ISZERO
00001fd7: ISZERO
00001fd8: DUP2
00001fd9: MSTORE
00001fda: RETURN
00001fdb: JUMPDEST
00001fdc: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001ffd: SWAP2
00001ffe: POP
00001fff: EQ
00002000: CODESIZE
00002001: PUSH2 0x1fd4
00002004: JUMP
00002005: JUMPDEST
00002006: PUSH1 0x24
00002008: CALLDATALOAD
00002009: SWAP1
0000200a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201f: DUP3
00002020: AND
00002021: DUP3
00002022: SUB
00002023: PUSH2 0x05b1
00002026: JUMPI
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH1 0x04
0000202b: CALLDATALOAD
0000202c: SWAP1
0000202d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002042: DUP3
00002043: AND
00002044: DUP3
00002045: SUB
00002046: PUSH2 0x05b1
00002049: JUMPI
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH1 0x44
0000204e: CALLDATALOAD
0000204f: SWAP1
00002050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002065: DUP3
00002066: AND
00002067: DUP3
00002068: SUB
00002069: PUSH2 0x05b1
0000206c: JUMPI
0000206d: JUMP
0000206e: JUMPDEST
0000206f: PUSH1 0x64
00002071: CALLDATALOAD
00002072: SWAP1
00002073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002088: DUP3
00002089: AND
0000208a: DUP3
0000208b: SUB
0000208c: PUSH2 0x05b1
0000208f: JUMPI
00002090: JUMP
00002091: JUMPDEST
00002092: CALLDATALOAD
00002093: SWAP1
00002094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a9: DUP3
000020aa: AND
000020ab: DUP3
000020ac: SUB
000020ad: PUSH2 0x05b1
000020b0: JUMPI
000020b1: JUMP
000020b2: JUMPDEST
000020b3: SWAP2
000020b4: DUP2
000020b5: PUSH1 0x1f
000020b7: DUP5
000020b8: ADD
000020b9: SLT
000020ba: ISZERO
000020bb: PUSH2 0x05b1
000020be: JUMPI
000020bf: DUP3
000020c0: CALLDATALOAD
000020c1: SWAP2
000020c2: PUSH8 0xffffffffffffffff
000020cb: DUP4
000020cc: GT
000020cd: PUSH2 0x05b1
000020d0: JUMPI
000020d1: PUSH1 0x20
000020d3: DUP4
000020d4: DUP2
000020d5: DUP7
000020d6: ADD
000020d7: SWAP6
000020d8: ADD
000020d9: ADD
000020da: GT
000020db: PUSH2 0x05b1
000020de: JUMPI
000020df: JUMP
000020e0: JUMPDEST
000020e1: SWAP2
000020e2: DUP2
000020e3: PUSH1 0x1f
000020e5: DUP5
000020e6: ADD
000020e7: SLT
000020e8: ISZERO
000020e9: PUSH2 0x05b1
000020ec: JUMPI
000020ed: DUP3
000020ee: CALLDATALOAD
000020ef: SWAP2
000020f0: PUSH8 0xffffffffffffffff
000020f9: DUP4
000020fa: GT
000020fb: PUSH2 0x05b1
000020fe: JUMPI
000020ff: PUSH1 0x20
00002101: DUP1
00002102: DUP6
00002103: ADD
00002104: SWAP5
00002105: DUP5
00002106: PUSH1 0x05
00002108: SHL
00002109: ADD
0000210a: ADD
0000210b: GT
0000210c: PUSH2 0x05b1
0000210f: JUMPI
00002110: JUMP
00002111: JUMPDEST
00002112: SWAP2
00002113: SWAP1
00002114: DUP3
00002115: MLOAD
00002116: SWAP3
00002117: DUP4
00002118: DUP3
00002119: MSTORE
0000211a: PUSH1 0x00
0000211c: JUMPDEST
0000211d: DUP5
0000211e: DUP2
0000211f: LT
00002120: PUSH2 0x215b
00002123: JUMPI
00002124: POP
00002125: POP
00002126: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002147: PUSH1 0x1f
00002149: DUP5
0000214a: PUSH1 0x00
0000214c: PUSH1 0x20
0000214e: DUP1
0000214f: SWAP7
00002150: SWAP8
00002151: DUP7
00002152: ADD
00002153: ADD
00002154: MSTORE
00002155: ADD
00002156: AND
00002157: ADD
00002158: ADD
00002159: SWAP1
0000215a: JUMP
0000215b: JUMPDEST
0000215c: DUP1
0000215d: PUSH1 0x20
0000215f: DUP1
00002160: SWAP3
00002161: DUP5
00002162: ADD
00002163: ADD
00002164: MLOAD
00002165: DUP3
00002166: DUP3
00002167: DUP7
00002168: ADD
00002169: ADD
0000216a: MSTORE
0000216b: ADD
0000216c: PUSH2 0x211c
0000216f: JUMP
00002170: JUMPDEST
00002171: SWAP1
00002172: PUSH1 0x1f
00002174: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002195: SWAP2
00002196: ADD
00002197: AND
00002198: DUP2
00002199: ADD
0000219a: SWAP1
0000219b: DUP2
0000219c: LT
0000219d: PUSH8 0xffffffffffffffff
000021a6: DUP3
000021a7: GT
000021a8: OR
000021a9: PUSH2 0x21b1
000021ac: JUMPI
000021ad: PUSH1 0x40
000021af: MSTORE
000021b0: JUMP
000021b1: JUMPDEST
000021b2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000021d3: PUSH1 0x00
000021d5: MSTORE
000021d6: PUSH1 0x41
000021d8: PUSH1 0x04
000021da: MSTORE
000021db: PUSH1 0x24
000021dd: PUSH1 0x00
000021df: REVERT
000021e0: JUMPDEST
000021e1: PUSH8 0xffffffffffffffff
000021ea: DUP2
000021eb: GT
000021ec: PUSH2 0x21b1
000021ef: JUMPI
000021f0: PUSH1 0x1f
000021f2: ADD
000021f3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002214: AND
00002215: PUSH1 0x20
00002217: ADD
00002218: SWAP1
00002219: JUMP
0000221a: JUMPDEST
0000221b: CALLDATALOAD
0000221c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002231: DUP2
00002232: AND
00002233: DUP2
00002234: SUB
00002235: PUSH2 0x05b1
00002238: JUMPI
00002239: SWAP1
0000223a: JUMP
0000223b: JUMPDEST
0000223c: SWAP1
0000223d: CALLDATALOAD
0000223e: SWAP1
0000223f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002260: DUP2
00002261: CALLDATASIZE
00002262: SUB
00002263: ADD
00002264: DUP3
00002265: SLT
00002266: ISZERO
00002267: PUSH2 0x05b1
0000226a: JUMPI
0000226b: ADD
0000226c: DUP1
0000226d: CALLDATALOAD
0000226e: SWAP1
0000226f: PUSH8 0xffffffffffffffff
00002278: DUP3
00002279: GT
0000227a: PUSH2 0x05b1
0000227d: JUMPI
0000227e: PUSH1 0x20
00002280: ADD
00002281: SWAP2
00002282: DUP2
00002283: CALLDATASIZE
00002284: SUB
00002285: DUP4
00002286: SGT
00002287: PUSH2 0x05b1
0000228a: JUMPI
0000228b: JUMP
0000228c: JUMPDEST
0000228d: PUSH1 0x1f
0000228f: DUP3
00002290: PUSH1 0x20
00002292: SWAP5
00002293: SWAP4
00002294: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000022b5: SWAP4
000022b6: DUP2
000022b7: DUP7
000022b8: MSTORE
000022b9: DUP7
000022ba: DUP7
000022bb: ADD
000022bc: CALLDATACOPY
000022bd: PUSH1 0x00
000022bf: DUP6
000022c0: DUP3
000022c1: DUP7
000022c2: ADD
000022c3: ADD
000022c4: MSTORE
000022c5: ADD
000022c6: AND
000022c7: ADD
000022c8: ADD
000022c9: SWAP1
000022ca: JUMP
000022cb: JUMPDEST
000022cc: PUSH8 0xffffffffffffffff
000022d5: DUP2
000022d6: GT
000022d7: PUSH2 0x21b1
000022da: JUMPI
000022db: PUSH1 0x05
000022dd: SHL
000022de: PUSH1 0x20
000022e0: ADD
000022e1: SWAP1
000022e2: JUMP
000022e3: JUMPDEST
000022e4: SWAP2
000022e5: SWAP1
000022e6: DUP3
000022e7: SUB
000022e8: SWAP2
000022e9: DUP3
000022ea: GT
000022eb: PUSH2 0x22f0
000022ee: JUMPI
000022ef: JUMP
000022f0: JUMPDEST
000022f1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002312: PUSH1 0x00
00002314: MSTORE
00002315: PUSH1 0x11
00002317: PUSH1 0x04
00002319: MSTORE
0000231a: PUSH1 0x24
0000231c: PUSH1 0x00
0000231e: REVERT
0000231f: JUMPDEST
00002320: SWAP2
00002321: SWAP1
00002322: DUP2
00002323: LT
00002324: ISZERO
00002325: PUSH2 0x232f
00002328: JUMPI
00002329: PUSH1 0x05
0000232b: SHL
0000232c: ADD
0000232d: SWAP1
0000232e: JUMP
0000232f: JUMPDEST
00002330: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002351: PUSH1 0x00
00002353: MSTORE
00002354: PUSH1 0x32
00002356: PUSH1 0x04
00002358: MSTORE
00002359: PUSH1 0x24
0000235b: PUSH1 0x00
0000235d: REVERT
0000235e: JUMPDEST
0000235f: CALLER
00002360: PUSH1 0x00
00002362: SWAP1
00002363: DUP2
00002364: MSTORE
00002365: PUSH32 0x532929112656591d2522dfc1337eb63e2e9b5dbb0c2e2580d30a44dcd9d6592c
00002386: PUSH1 0x20
00002388: MSTORE
00002389: PUSH1 0x40
0000238b: SWAP1
0000238c: KECCAK256
0000238d: SLOAD
0000238e: PUSH1 0xff
00002390: AND
00002391: ISZERO
00002392: PUSH2 0x2397
00002395: JUMPI
00002396: JUMP
00002397: JUMPDEST
00002398: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
000023b9: PUSH1 0x00
000023bb: MSTORE
000023bc: CALLER
000023bd: PUSH1 0x04
000023bf: MSTORE
000023c0: PUSH32 0x5041555345525f524f4c45000000000000000000000000000000000000000000
000023e1: PUSH1 0x24
000023e3: MSTORE
000023e4: PUSH1 0x44
000023e6: PUSH1 0x00
000023e8: REVERT
000023e9: JUMPDEST
000023ea: CALLER
000023eb: PUSH1 0x00
000023ed: SWAP1
000023ee: DUP2
000023ef: MSTORE
000023f0: PUSH32 0x7ba1fc8ecacc931c6eb129f0ac1d37be1375ad3bf3f2dfaf57cbd3e2a011a509
00002411: PUSH1 0x20
00002413: MSTORE
00002414: PUSH1 0x40
00002416: SWAP1
00002417: KECCAK256
00002418: SLOAD
00002419: PUSH1 0xff
0000241b: AND
0000241c: ISZERO
0000241d: PUSH2 0x2422
00002420: JUMPI
00002421: JUMP
00002422: JUMPDEST
00002423: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00002444: PUSH1 0x00
00002446: MSTORE
00002447: CALLER
00002448: PUSH1 0x04
0000244a: MSTORE
0000244b: PUSH32 0x4c49515549444954595f41444d494e5f524f4c45000000000000000000000000
0000246c: PUSH1 0x24
0000246e: MSTORE
0000246f: PUSH1 0x44
00002471: PUSH1 0x00
00002473: REVERT
00002474: JUMPDEST
00002475: CALLER
00002476: PUSH1 0x00
00002478: SWAP1
00002479: DUP2
0000247a: MSTORE
0000247b: PUSH32 0xca0a888270a2710820937db2f9214d74deeadf80b0ded8623ab5f15baac14c09
0000249c: PUSH1 0x20
0000249e: MSTORE
0000249f: PUSH1 0x40
000024a1: SWAP1
000024a2: KECCAK256
000024a3: SLOAD
000024a4: PUSH1 0xff
000024a6: AND
000024a7: ISZERO
000024a8: PUSH2 0x24ad
000024ab: JUMPI
000024ac: JUMP
000024ad: JUMPDEST
000024ae: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
000024cf: PUSH1 0x00
000024d1: MSTORE
000024d2: CALLER
000024d3: PUSH1 0x04
000024d5: MSTORE
000024d6: PUSH32 0x57495448445241575f50524f4649545f524f4c45000000000000000000000000
000024f7: PUSH1 0x24
000024f9: MSTORE
000024fa: PUSH1 0x44
000024fc: PUSH1 0x00
000024fe: REVERT
000024ff: JUMPDEST
00002500: DUP1
00002501: PUSH1 0x00
00002503: MSTORE
00002504: PUSH1 0x00
00002506: PUSH1 0x20
00002508: MSTORE
00002509: PUSH1 0x40
0000250b: PUSH1 0x00
0000250d: KECCAK256
0000250e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002523: CALLER
00002524: AND
00002525: PUSH1 0x00
00002527: MSTORE
00002528: PUSH1 0x20
0000252a: MSTORE
0000252b: PUSH1 0xff
0000252d: PUSH1 0x40
0000252f: PUSH1 0x00
00002531: KECCAK256
00002532: SLOAD
00002533: AND
00002534: ISZERO
00002535: PUSH2 0x253b
00002538: JUMPI
00002539: POP
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
0000255d: PUSH1 0x00
0000255f: MSTORE
00002560: CALLER
00002561: PUSH1 0x04
00002563: MSTORE
00002564: PUSH1 0x24
00002566: MSTORE
00002567: PUSH1 0x44
00002569: PUSH1 0x00
0000256b: REVERT
0000256c: JUMPDEST
0000256d: DUP1
0000256e: PUSH1 0x00
00002570: MSTORE
00002571: PUSH1 0x00
00002573: PUSH1 0x20
00002575: MSTORE
00002576: PUSH1 0x40
00002578: PUSH1 0x00
0000257a: KECCAK256
0000257b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002590: DUP4
00002591: AND
00002592: PUSH1 0x00
00002594: MSTORE
00002595: PUSH1 0x20
00002597: MSTORE
00002598: PUSH1 0xff
0000259a: PUSH1 0x40
0000259c: PUSH1 0x00
0000259e: KECCAK256
0000259f: SLOAD
000025a0: AND
000025a1: ISZERO
000025a2: PUSH1 0x00
000025a4: EQ
000025a5: PUSH2 0x2644
000025a8: JUMPI
000025a9: DUP1
000025aa: PUSH1 0x00
000025ac: MSTORE
000025ad: PUSH1 0x00
000025af: PUSH1 0x20
000025b1: MSTORE
000025b2: PUSH1 0x40
000025b4: PUSH1 0x00
000025b6: KECCAK256
000025b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025cc: DUP4
000025cd: AND
000025ce: PUSH1 0x00
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: MSTORE
000025d4: PUSH1 0x40
000025d6: PUSH1 0x00
000025d8: KECCAK256
000025d9: PUSH1 0x01
000025db: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000025fc: DUP3
000025fd: SLOAD
000025fe: AND
000025ff: OR
00002600: SWAP1
00002601: SSTORE
00002602: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002617: CALLER
00002618: SWAP3
00002619: AND
0000261a: SWAP1
0000261b: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
0000263c: PUSH1 0x00
0000263e: DUP1
0000263f: LOG4
00002640: PUSH1 0x01
00002642: SWAP1
00002643: JUMP
00002644: JUMPDEST
00002645: POP
00002646: POP
00002647: PUSH1 0x00
00002649: SWAP1
0000264a: JUMP
0000264b: JUMPDEST
0000264c: DUP1
0000264d: PUSH1 0x00
0000264f: MSTORE
00002650: PUSH1 0x00
00002652: PUSH1 0x20
00002654: MSTORE
00002655: PUSH1 0x40
00002657: PUSH1 0x00
00002659: KECCAK256
0000265a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266f: DUP4
00002670: AND
00002671: PUSH1 0x00
00002673: MSTORE
00002674: PUSH1 0x20
00002676: MSTORE
00002677: PUSH1 0xff
00002679: PUSH1 0x40
0000267b: PUSH1 0x00
0000267d: KECCAK256
0000267e: SLOAD
0000267f: AND
00002680: PUSH1 0x00
00002682: EQ
00002683: PUSH2 0x2644
00002686: JUMPI
00002687: DUP1
00002688: PUSH1 0x00
0000268a: MSTORE
0000268b: PUSH1 0x00
0000268d: PUSH1 0x20
0000268f: MSTORE
00002690: PUSH1 0x40
00002692: PUSH1 0x00
00002694: KECCAK256
00002695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026aa: DUP4
000026ab: AND
000026ac: PUSH1 0x00
000026ae: MSTORE
000026af: PUSH1 0x20
000026b1: MSTORE
000026b2: PUSH1 0x40
000026b4: PUSH1 0x00
000026b6: KECCAK256
000026b7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000026d8: DUP2
000026d9: SLOAD
000026da: AND
000026db: SWAP1
000026dc: SSTORE
000026dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f2: CALLER
000026f3: SWAP3
000026f4: AND
000026f5: SWAP1
000026f6: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002717: PUSH1 0x00
00002719: DUP1
0000271a: LOG4
0000271b: PUSH1 0x01
0000271d: SWAP1
0000271e: JUMP
0000271f: JUMPDEST
00002720: SWAP3
00002721: SWAP2
00002722: SWAP3
00002723: PUSH2 0x272b
00002726: DUP3
00002727: PUSH2 0x21e0
0000272a: JUMP
0000272b: JUMPDEST
0000272c: SWAP2
0000272d: PUSH2 0x2739
00002730: PUSH1 0x40
00002732: MLOAD
00002733: SWAP4
00002734: DUP5
00002735: PUSH2 0x2170
00002738: JUMP
00002739: JUMPDEST
0000273a: DUP3
0000273b: SWAP5
0000273c: DUP2
0000273d: DUP5
0000273e: MSTORE
0000273f: DUP2
00002740: DUP4
00002741: ADD
00002742: GT
00002743: PUSH2 0x05b1
00002746: JUMPI
00002747: DUP3
00002748: DUP2
00002749: PUSH1 0x20
0000274b: SWAP4
0000274c: DUP5
0000274d: PUSH1 0x00
0000274f: SWAP7
00002750: ADD
00002751: CALLDATACOPY
00002752: ADD
00002753: ADD
00002754: MSTORE
00002755: JUMP
00002756: JUMPDEST
00002757: SWAP2
00002758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276d: PUSH2 0x2782
00002770: PUSH2 0x27f9
00002773: SWAP6
00002774: PUSH2 0x27fe
00002777: SWAP12
00002778: SWAP11
00002779: SWAP10
0000277a: SWAP9
0000277b: SWAP8
0000277c: CALLDATASIZE
0000277d: SWAP2
0000277e: PUSH2 0x271f
00002781: JUMP
00002782: JUMPDEST
00002783: PUSH1 0x20
00002785: DUP2
00002786: MLOAD
00002787: SWAP2
00002788: ADD
00002789: KECCAK256
0000278a: SWAP2
0000278b: PUSH1 0x40
0000278d: MLOAD
0000278e: SWAP4
0000278f: DUP3
00002790: PUSH1 0x20
00002792: DUP7
00002793: ADD
00002794: SWAP7
00002795: PUSH32 0x246529713538658e80c3bd963064f7e797fb73a79efc17526a57e7a8b4211963
000027b6: DUP9
000027b7: MSTORE
000027b8: CALLER
000027b9: PUSH1 0x40
000027bb: DUP9
000027bc: ADD
000027bd: MSTORE
000027be: AND
000027bf: PUSH1 0x60
000027c1: DUP7
000027c2: ADD
000027c3: MSTORE
000027c4: PUSH1 0x80
000027c6: DUP6
000027c7: ADD
000027c8: MSTORE
000027c9: AND
000027ca: PUSH1 0xa0
000027cc: DUP4
000027cd: ADD
000027ce: MSTORE
000027cf: PUSH1 0xc0
000027d1: DUP3
000027d2: ADD
000027d3: MSTORE
000027d4: DUP4
000027d5: PUSH1 0xe0
000027d7: DUP3
000027d8: ADD
000027d9: MSTORE
000027da: DUP5
000027db: PUSH2 0x0100
000027de: DUP3
000027df: ADD
000027e0: MSTORE
000027e1: PUSH2 0x0100
000027e4: DUP2
000027e5: MSTORE
000027e6: PUSH2 0x27f1
000027e9: PUSH2 0x0120
000027ec: DUP3
000027ed: PUSH2 0x2170
000027f0: JUMP
000027f1: JUMPDEST
000027f2: MLOAD
000027f3: SWAP1
000027f4: KECCAK256
000027f5: PUSH2 0x30dc
000027f8: JUMP
000027f9: JUMPDEST
000027fa: PUSH2 0x311d
000027fd: JUMP
000027fe: JUMPDEST
000027ff: JUMP
00002800: JUMPDEST
00002801: SWAP5
00002802: SWAP3
00002803: SWAP1
00002804: SWAP2
00002805: PUSH1 0x00
00002807: SWAP1
00002808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000281d: DUP8
0000281e: AND
0000281f: DUP1
00002820: ISZERO
00002821: SWAP8
00002822: DUP9
00002823: PUSH1 0x00
00002825: EQ
00002826: PUSH2 0x2937
00002829: JUMPI
0000282a: POP
0000282b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002840: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002861: AND
00002862: SWAP8
00002863: JUMPDEST
00002864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002879: DUP10
0000287a: AND
0000287b: PUSH2 0x2883
0000287e: DUP2
0000287f: PUSH2 0x2ef7
00002882: JUMP
00002883: JUMPDEST
00002884: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002899: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000028ba: AND
000028bb: SUB
000028bc: PUSH2 0x290d
000028bf: JUMPI
000028c0: ISZERO
000028c1: PUSH2 0x28fb
000028c4: JUMPI
000028c5: POP
000028c6: POP
000028c7: POP
000028c8: ISZERO
000028c9: PUSH2 0x28d1
000028cc: JUMPI
000028cd: SWAP3
000028ce: SWAP2
000028cf: SWAP1
000028d0: JUMP
000028d1: JUMPDEST
000028d2: PUSH32 0x0e61d2be00000000000000000000000000000000000000000000000000000000
000028f3: PUSH1 0x00
000028f5: MSTORE
000028f6: PUSH1 0x04
000028f8: PUSH1 0x00
000028fa: REVERT
000028fb: JUMPDEST
000028fc: PUSH2 0x2908
000028ff: SWAP4
00002900: POP
00002901: SWAP4
00002902: SWAP2
00002903: SWAP4
00002904: PUSH2 0x3224
00002907: JUMP
00002908: JUMPDEST
00002909: SWAP3
0000290a: SWAP2
0000290b: SWAP1
0000290c: JUMP
0000290d: JUMPDEST
0000290e: PUSH32 0xdbd2ca5200000000000000000000000000000000000000000000000000000000
0000292f: PUSH1 0x00
00002931: MSTORE
00002932: PUSH1 0x04
00002934: PUSH1 0x00
00002936: REVERT
00002937: JUMPDEST
00002938: SWAP8
00002939: PUSH2 0x2863
0000293c: JUMP
0000293d: JUMPDEST
0000293e: PUSH1 0x00
00002940: SWAP1
00002941: DUP1
00002942: ISZERO
00002943: PUSH2 0x29d8
00002946: JUMPI
00002947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295c: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000297d: AND
0000297e: SWAP1
0000297f: DUP2
00002980: EXTCODESIZE
00002981: ISZERO
00002982: PUSH2 0x1727
00002985: JUMPI
00002986: DUP3
00002987: SWAP2
00002988: PUSH1 0x24
0000298a: DUP4
0000298b: SWAP3
0000298c: PUSH1 0x40
0000298e: MLOAD
0000298f: SWAP5
00002990: DUP6
00002991: SWAP4
00002992: DUP5
00002993: SWAP3
00002994: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
000029b5: DUP5
000029b6: MSTORE
000029b7: PUSH1 0x04
000029b9: DUP5
000029ba: ADD
000029bb: MSTORE
000029bc: GAS
000029bd: CALL
000029be: DUP1
000029bf: ISZERO
000029c0: PUSH2 0x1071
000029c3: JUMPI
000029c4: PUSH2 0x29cb
000029c7: JUMPI
000029c8: POP
000029c9: POP
000029ca: JUMP
000029cb: JUMPDEST
000029cc: DUP2
000029cd: PUSH2 0x29d5
000029d0: SWAP2
000029d1: PUSH2 0x2170
000029d4: JUMP
000029d5: JUMPDEST
000029d6: POP
000029d7: JUMP
000029d8: JUMPDEST
000029d9: POP
000029da: POP
000029db: JUMP
000029dc: JUMPDEST
000029dd: SWAP1
000029de: SWAP3
000029df: PUSH1 0x00
000029e1: SWAP4
000029e2: DUP5
000029e3: SWAP4
000029e4: DUP3
000029e5: PUSH1 0x40
000029e7: MLOAD
000029e8: SWAP4
000029e9: DUP5
000029ea: SWAP3
000029eb: DUP4
000029ec: CALLDATACOPY
000029ed: DUP2
000029ee: ADD
000029ef: DUP6
000029f0: DUP2
000029f1: MSTORE
000029f2: SUB
000029f3: SWAP3
000029f4: GAS
000029f5: CALL
000029f6: RETURNDATASIZE
000029f7: ISZERO
000029f8: PUSH2 0x2a4f
000029fb: JUMPI
000029fc: RETURNDATASIZE
000029fd: PUSH2 0x2a05
00002a00: DUP2
00002a01: PUSH2 0x21e0
00002a04: JUMP
00002a05: JUMPDEST
00002a06: SWAP1
00002a07: PUSH2 0x2a13
00002a0a: PUSH1 0x40
00002a0c: MLOAD
00002a0d: SWAP3
00002a0e: DUP4
00002a0f: PUSH2 0x2170
00002a12: JUMP
00002a13: JUMPDEST
00002a14: DUP2
00002a15: MSTORE
00002a16: PUSH1 0x00
00002a18: PUSH1 0x20
00002a1a: RETURNDATASIZE
00002a1b: SWAP3
00002a1c: ADD
00002a1d: RETURNDATACOPY
00002a1e: JUMPDEST
00002a1f: ISZERO
00002a20: PUSH2 0x2a25
00002a23: JUMPI
00002a24: JUMP
00002a25: JUMPDEST
00002a26: PUSH32 0xeda8685000000000000000000000000000000000000000000000000000000000
00002a47: PUSH1 0x00
00002a49: MSTORE
00002a4a: PUSH1 0x04
00002a4c: PUSH1 0x00
00002a4e: REVERT
00002a4f: JUMPDEST
00002a50: PUSH2 0x2a1e
00002a53: JUMP
00002a54: JUMPDEST
00002a55: SWAP1
00002a56: SWAP10
00002a57: SWAP9
00002a58: SWAP8
00002a59: SWAP7
00002a5a: SWAP6
00002a5b: SWAP3
00002a5c: SWAP4
00002a5d: SWAP2
00002a5e: SWAP5
00002a5f: SWAP10
00002a60: PUSH1 0x40
00002a62: MLOAD
00002a63: SWAP1
00002a64: DUP2
00002a65: PUSH1 0x20
00002a67: DUP2
00002a68: ADD
00002a69: SWAP4
00002a6a: DUP5
00002a6b: SWAP1
00002a6c: SWAP3
00002a6d: PUSH1 0x00
00002a6f: JUMPDEST
00002a70: DUP2
00002a71: DUP2
00002a72: LT
00002a73: PUSH2 0x2bb3
00002a76: JUMPI
00002a77: POP
00002a78: POP
00002a79: PUSH2 0x2aa9
00002a7c: SWAP3
00002a7d: POP
00002a7e: SUB
00002a7f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002aa0: DUP2
00002aa1: ADD
00002aa2: DUP4
00002aa3: MSTORE
00002aa4: DUP3
00002aa5: PUSH2 0x2170
00002aa8: JUMP
00002aa9: JUMPDEST
00002aaa: MLOAD
00002aab: SWAP1
00002aac: KECCAK256
00002aad: SWAP3
00002aae: PUSH1 0x40
00002ab0: MLOAD
00002ab1: SWAP5
00002ab2: PUSH1 0x20
00002ab4: DUP7
00002ab5: ADD
00002ab6: SWAP11
00002ab7: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ad8: DUP4
00002ad9: GT
00002ada: PUSH2 0x05b1
00002add: JUMPI
00002ade: PUSH2 0x27fe
00002ae1: SWAP12
00002ae2: DUP8
00002ae3: PUSH2 0x2b3b
00002ae6: PUSH1 0x20
00002ae8: PUSH2 0x27f9
00002aeb: SWAP11
00002aec: PUSH2 0x2b46
00002aef: SWAP7
00002af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b05: SWAP9
00002b06: PUSH1 0x05
00002b08: SHL
00002b09: DUP1
00002b0a: SWAP2
00002b0b: DUP8
00002b0c: CALLDATACOPY
00002b0d: DUP2
00002b0e: ADD
00002b0f: SUB
00002b10: ADD
00002b11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b32: DUP2
00002b33: ADD
00002b34: DUP4
00002b35: MSTORE
00002b36: DUP3
00002b37: PUSH2 0x2170
00002b3a: JUMP
00002b3b: JUMPDEST
00002b3c: MLOAD
00002b3d: SWAP1
00002b3e: KECCAK256
00002b3f: SWAP5
00002b40: CALLDATASIZE
00002b41: SWAP2
00002b42: PUSH2 0x271f
00002b45: JUMP
00002b46: JUMPDEST
00002b47: PUSH1 0x20
00002b49: DUP2
00002b4a: MLOAD
00002b4b: SWAP2
00002b4c: ADD
00002b4d: KECCAK256
00002b4e: SWAP2
00002b4f: PUSH1 0x40
00002b51: MLOAD
00002b52: SWAP4
00002b53: PUSH1 0x20
00002b55: DUP6
00002b56: ADD
00002b57: SWAP6
00002b58: PUSH32 0x463d1e85b7edea5126b29efc4affafe0e349992aa1835168d245aee190b9752f
00002b79: DUP8
00002b7a: MSTORE
00002b7b: CALLER
00002b7c: PUSH1 0x40
00002b7e: DUP8
00002b7f: ADD
00002b80: MSTORE
00002b81: PUSH1 0x60
00002b83: DUP7
00002b84: ADD
00002b85: MSTORE
00002b86: PUSH1 0x80
00002b88: DUP6
00002b89: ADD
00002b8a: MSTORE
00002b8b: AND
00002b8c: PUSH1 0xa0
00002b8e: DUP4
00002b8f: ADD
00002b90: MSTORE
00002b91: PUSH1 0xc0
00002b93: DUP3
00002b94: ADD
00002b95: MSTORE
00002b96: DUP4
00002b97: PUSH1 0xe0
00002b99: DUP3
00002b9a: ADD
00002b9b: MSTORE
00002b9c: DUP5
00002b9d: PUSH2 0x0100
00002ba0: DUP3
00002ba1: ADD
00002ba2: MSTORE
00002ba3: PUSH2 0x0100
00002ba6: DUP2
00002ba7: MSTORE
00002ba8: PUSH2 0x27f1
00002bab: PUSH2 0x0120
00002bae: DUP3
00002baf: PUSH2 0x2170
00002bb2: JUMP
00002bb3: JUMPDEST
00002bb4: SWAP2
00002bb5: PUSH1 0x01
00002bb7: SWAP2
00002bb8: SWAP4
00002bb9: POP
00002bba: PUSH1 0x20
00002bbc: DUP1
00002bbd: SWAP2
00002bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd3: PUSH2 0x2bdb
00002bd6: DUP9
00002bd7: PUSH2 0x2091
00002bda: JUMP
00002bdb: JUMPDEST
00002bdc: AND
00002bdd: DUP2
00002bde: MSTORE
00002bdf: ADD
00002be0: SWAP5
00002be1: ADD
00002be2: SWAP2
00002be3: ADD
00002be4: SWAP2
00002be5: DUP5
00002be6: SWAP3
00002be7: SWAP4
00002be8: SWAP2
00002be9: SWAP4
00002bea: PUSH2 0x2a6f
00002bed: JUMP
00002bee: JUMPDEST
00002bef: SWAP2
00002bf0: SWAP1
00002bf1: DUP3
00002bf2: ADD
00002bf3: DUP1
00002bf4: SWAP3
00002bf5: GT
00002bf6: PUSH2 0x22f0
00002bf9: JUMPI
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c11: AND
00002c12: ISZERO
00002c13: PUSH2 0x2c1b
00002c16: JUMPI
00002c17: PUSH1 0x00
00002c19: SWAP1
00002c1a: JUMP
00002c1b: JUMPDEST
00002c1c: SELFBALANCE
00002c1d: SWAP1
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: SWAP4
00002c21: SWAP1
00002c22: SWAP4
00002c23: PUSH1 0x00
00002c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c3a: PUSH2 0x2c42
00002c3d: DUP4
00002c3e: PUSH2 0x221a
00002c41: JUMP
00002c42: JUMPDEST
00002c43: AND
00002c44: PUSH2 0x2c91
00002c47: JUMPI
00002c48: POP
00002c49: PUSH1 0x20
00002c4b: ADD
00002c4c: CALLDATALOAD
00002c4d: SWAP1
00002c4e: DUP2
00002c4f: SWAP1
00002c50: PUSH2 0x2c59
00002c53: SWAP1
00002c54: SELFBALANCE
00002c55: PUSH2 0x22e3
00002c58: JUMP
00002c59: JUMPDEST
00002c5a: LT
00002c5b: PUSH2 0x2c67
00002c5e: JUMPI
00002c5f: PUSH2 0x27fe
00002c62: SWAP4
00002c63: PUSH2 0x29dc
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH32 0x274fc11500000000000000000000000000000000000000000000000000000000
00002c89: PUSH1 0x00
00002c8b: MSTORE
00002c8c: PUSH1 0x04
00002c8e: PUSH1 0x00
00002c90: REVERT
00002c91: JUMPDEST
00002c92: SWAP2
00002c93: POP
00002c94: SWAP4
00002c95: PUSH2 0x1945
00002c98: DUP6
00002c99: DUP3
00002c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002caf: PUSH2 0x2cd3
00002cb2: DUP2
00002cb3: PUSH2 0x2cbe
00002cb6: PUSH2 0x27fe
00002cb9: SWAP12
00002cba: PUSH2 0x221a
00002cbd: JUMP
00002cbe: JUMPDEST
00002cbf: AND
00002cc0: SWAP4
00002cc1: PUSH2 0x0304
00002cc4: PUSH1 0x20
00002cc6: DUP3
00002cc7: ADD
00002cc8: CALLDATALOAD
00002cc9: DUP1
00002cca: SWAP7
00002ccb: ADDRESS
00002ccc: SWAP1
00002ccd: CALLER
00002cce: SWAP1
00002ccf: PUSH2 0x2cd9
00002cd2: JUMP
00002cd3: JUMPDEST
00002cd4: AND
00002cd5: PUSH2 0x3224
00002cd8: JUMP
00002cd9: JUMPDEST
00002cda: PUSH1 0x40
00002cdc: MLOAD
00002cdd: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00002cfe: PUSH1 0x20
00002d00: DUP3
00002d01: ADD
00002d02: MSTORE
00002d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d18: SWAP3
00002d19: DUP4
00002d1a: AND
00002d1b: PUSH1 0x24
00002d1d: DUP3
00002d1e: ADD
00002d1f: MSTORE
00002d20: SWAP3
00002d21: SWAP1
00002d22: SWAP2
00002d23: AND
00002d24: PUSH1 0x44
00002d26: DUP4
00002d27: ADD
00002d28: MSTORE
00002d29: PUSH1 0x64
00002d2b: DUP3
00002d2c: ADD
00002d2d: SWAP3
00002d2e: SWAP1
00002d2f: SWAP3
00002d30: MSTORE
00002d31: PUSH2 0x27fe
00002d34: SWAP2
00002d35: PUSH2 0x2d69
00002d38: DUP3
00002d39: PUSH1 0x84
00002d3b: DUP2
00002d3c: ADD
00002d3d: JUMPDEST
00002d3e: SUB
00002d3f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002d60: DUP2
00002d61: ADD
00002d62: DUP5
00002d63: MSTORE
00002d64: DUP4
00002d65: PUSH2 0x2170
00002d68: JUMP
00002d69: JUMPDEST
00002d6a: PUSH2 0x35ae
00002d6d: JUMP
00002d6e: JUMPDEST
00002d6f: SWAP1
00002d70: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00002d91: SWAP2
00002d92: PUSH2 0x2d9d
00002d95: DUP3
00002d96: PUSH1 0x04
00002d98: SLOAD
00002d99: PUSH2 0x2bee
00002d9c: JUMP
00002d9d: JUMPDEST
00002d9e: PUSH1 0x04
00002da0: SSTORE
00002da1: PUSH1 0x40
00002da3: DUP1
00002da4: MLOAD
00002da5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dba: SWAP3
00002dbb: SWAP1
00002dbc: SWAP3
00002dbd: AND
00002dbe: DUP3
00002dbf: MSTORE
00002dc0: PUSH1 0x20
00002dc2: DUP3
00002dc3: ADD
00002dc4: SWAP3
00002dc5: SWAP1
00002dc6: SWAP3
00002dc7: MSTORE
00002dc8: LOG1
00002dc9: JUMP
00002dca: JUMPDEST
00002dcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002de0: AND
00002de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df6: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002e17: AND
00002e18: DUP2
00002e19: SUB
00002e1a: PUSH2 0x2ef1
00002e1d: JUMPI
00002e1e: PUSH1 0x40
00002e20: MLOAD
00002e21: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002e42: DUP2
00002e43: MSTORE
00002e44: ADDRESS
00002e45: PUSH1 0x04
00002e47: DUP3
00002e48: ADD
00002e49: MSTORE
00002e4a: PUSH1 0x20
00002e4c: DUP2
00002e4d: PUSH1 0x24
00002e4f: DUP2
00002e50: DUP6
00002e51: GAS
00002e52: STATICCALL
00002e53: SWAP1
00002e54: DUP2
00002e55: ISZERO
00002e56: PUSH2 0x2ee5
00002e59: JUMPI
00002e5a: PUSH1 0x00
00002e5c: SWAP2
00002e5d: PUSH2 0x2eb3
00002e60: JUMPI
00002e61: JUMPDEST
00002e62: POP
00002e63: DUP1
00002e64: SWAP2
00002e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e7a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002e9b: AND
00002e9c: EQ
00002e9d: PUSH2 0x2ea4
00002ea0: JUMPI
00002ea1: POP
00002ea2: SWAP1
00002ea3: JUMP
00002ea4: JUMPDEST
00002ea5: PUSH2 0x2eb0
00002ea8: SWAP2
00002ea9: POP
00002eaa: SELFBALANCE
00002eab: SWAP1
00002eac: PUSH2 0x2bee
00002eaf: JUMP
00002eb0: JUMPDEST
00002eb1: SWAP1
00002eb2: JUMP
00002eb3: JUMPDEST
00002eb4: SWAP1
00002eb5: PUSH1 0x20
00002eb7: DUP3
00002eb8: RETURNDATASIZE
00002eb9: PUSH1 0x20
00002ebb: GT
00002ebc: PUSH2 0x2edd
00002ebf: JUMPI
00002ec0: JUMPDEST
00002ec1: DUP2
00002ec2: PUSH2 0x2ecd
00002ec5: PUSH1 0x20
00002ec7: SWAP4
00002ec8: DUP4
00002ec9: PUSH2 0x2170
00002ecc: JUMP
00002ecd: JUMPDEST
00002ece: DUP2
00002ecf: ADD
00002ed0: SUB
00002ed1: SLT
00002ed2: PUSH2 0x01c1
00002ed5: JUMPI
00002ed6: POP
00002ed7: MLOAD
00002ed8: CODESIZE
00002ed9: PUSH2 0x2e61
00002edc: JUMP
00002edd: JUMPDEST
00002ede: RETURNDATASIZE
00002edf: SWAP2
00002ee0: POP
00002ee1: PUSH2 0x2ec0
00002ee4: JUMP
00002ee5: JUMPDEST
00002ee6: PUSH1 0x40
00002ee8: MLOAD
00002ee9: RETURNDATASIZE
00002eea: PUSH1 0x00
00002eec: DUP3
00002eed: RETURNDATACOPY
00002eee: RETURNDATASIZE
00002eef: SWAP1
00002ef0: REVERT
00002ef1: JUMPDEST
00002ef2: POP
00002ef3: PUSH1 0x00
00002ef5: SWAP1
00002ef6: JUMP
00002ef7: JUMPDEST
00002ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f0d: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002f2e: DUP2
00002f2f: AND
00002f30: SWAP2
00002f31: AND
00002f32: DUP2
00002f33: EQ
00002f34: DUP1
00002f35: PUSH2 0x2f92
00002f38: JUMPI
00002f39: JUMPDEST
00002f3a: PUSH2 0x2f40
00002f3d: JUMPI
00002f3e: POP
00002f3f: JUMP
00002f40: JUMPDEST
00002f41: SELFBALANCE
00002f42: SWAP1
00002f43: DUP1
00002f44: EXTCODESIZE
00002f45: ISZERO
00002f46: PUSH2 0x05b1
00002f49: JUMPI
00002f4a: PUSH1 0x00
00002f4c: SWAP1
00002f4d: PUSH1 0x04
00002f4f: PUSH1 0x40
00002f51: MLOAD
00002f52: DUP1
00002f53: SWAP5
00002f54: DUP2
00002f55: SWAP4
00002f56: PUSH32 0xd0e30db000000000000000000000000000000000000000000000000000000000
00002f77: DUP4
00002f78: MSTORE
00002f79: GAS
00002f7a: CALL
00002f7b: DUP1
00002f7c: ISZERO
00002f7d: PUSH2 0x2ee5
00002f80: JUMPI
00002f81: PUSH2 0x2f87
00002f84: JUMPI
00002f85: POP
00002f86: JUMP
00002f87: JUMPDEST
00002f88: PUSH1 0x00
00002f8a: PUSH2 0x27fe
00002f8d: SWAP2
00002f8e: PUSH2 0x2170
00002f91: JUMP
00002f92: JUMPDEST
00002f93: POP
00002f94: SELFBALANCE
00002f95: ISZERO
00002f96: ISZERO
00002f97: PUSH2 0x2f39
00002f9a: JUMP
00002f9b: JUMPDEST
00002f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fb1: AND
00002fb2: PUSH1 0x40
00002fb4: MLOAD
00002fb5: SWAP1
00002fb6: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002fd7: DUP3
00002fd8: MSTORE
00002fd9: ADDRESS
00002fda: PUSH1 0x04
00002fdc: DUP4
00002fdd: ADD
00002fde: MSTORE
00002fdf: PUSH1 0x20
00002fe1: DUP3
00002fe2: PUSH1 0x24
00002fe4: DUP2
00002fe5: DUP5
00002fe6: GAS
00002fe7: STATICCALL
00002fe8: SWAP2
00002fe9: DUP3
00002fea: ISZERO
00002feb: PUSH2 0x2ee5
00002fee: JUMPI
00002fef: PUSH1 0x00
00002ff1: SWAP3
00002ff2: PUSH2 0x3049
00002ff5: JUMPI
00002ff6: JUMPDEST
00002ff7: POP
00002ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000300d: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000302e: AND
0000302f: EQ
00003030: PUSH2 0x3036
00003033: JUMPI
00003034: SWAP1
00003035: JUMP
00003036: JUMPDEST
00003037: PUSH1 0x04
00003039: SLOAD
0000303a: DUP1
0000303b: DUP3
0000303c: LT
0000303d: PUSH2 0x2644
00003040: JUMPI
00003041: PUSH2 0x2eb0
00003044: SWAP2
00003045: PUSH2 0x22e3
00003048: JUMP
00003049: JUMPDEST
0000304a: SWAP1
0000304b: SWAP2
0000304c: PUSH1 0x20
0000304e: DUP3
0000304f: RETURNDATASIZE
00003050: PUSH1 0x20
00003052: GT
00003053: PUSH2 0x3075
00003056: JUMPI
00003057: JUMPDEST
00003058: DUP2
00003059: PUSH2 0x3064
0000305c: PUSH1 0x20
0000305e: SWAP4
0000305f: DUP4
00003060: PUSH2 0x2170
00003063: JUMP
00003064: JUMPDEST
00003065: DUP2
00003066: ADD
00003067: SUB
00003068: SLT
00003069: PUSH2 0x01c1
0000306c: JUMPI
0000306d: POP
0000306e: MLOAD
0000306f: SWAP1
00003070: CODESIZE
00003071: PUSH2 0x2ff6
00003074: JUMP
00003075: JUMPDEST
00003076: RETURNDATASIZE
00003077: SWAP2
00003078: POP
00003079: PUSH2 0x3057
0000307c: JUMP
0000307d: JUMPDEST
0000307e: PUSH1 0x40
00003080: MLOAD
00003081: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000030a2: PUSH1 0x20
000030a4: DUP3
000030a5: ADD
000030a6: MSTORE
000030a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030bc: SWAP1
000030bd: SWAP3
000030be: AND
000030bf: PUSH1 0x24
000030c1: DUP4
000030c2: ADD
000030c3: MSTORE
000030c4: PUSH1 0x44
000030c6: DUP3
000030c7: ADD
000030c8: SWAP3
000030c9: SWAP1
000030ca: SWAP3
000030cb: MSTORE
000030cc: PUSH2 0x27fe
000030cf: SWAP2
000030d0: PUSH2 0x2d69
000030d3: DUP3
000030d4: PUSH1 0x64
000030d6: DUP2
000030d7: ADD
000030d8: PUSH2 0x2d3d
000030db: JUMP
000030dc: JUMPDEST
000030dd: PUSH1 0x42
000030df: SWAP1
000030e0: PUSH2 0x30e7
000030e3: PUSH2 0x3639
000030e6: JUMP
000030e7: JUMPDEST
000030e8: SWAP1
000030e9: PUSH1 0x40
000030eb: MLOAD
000030ec: SWAP2
000030ed: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
0000310e: DUP4
0000310f: MSTORE
00003110: PUSH1 0x02
00003112: DUP4
00003113: ADD
00003114: MSTORE
00003115: PUSH1 0x22
00003117: DUP3
00003118: ADD
00003119: MSTORE
0000311a: KECCAK256
0000311b: SWAP1
0000311c: JUMP
0000311d: JUMPDEST
0000311e: PUSH2 0x3131
00003121: PUSH2 0x3137
00003124: SWAP3
00003125: SWAP5
00003126: PUSH2 0x3140
00003129: SWAP5
0000312a: SWAP7
0000312b: CALLDATASIZE
0000312c: SWAP2
0000312d: PUSH2 0x271f
00003130: JUMP
00003131: JUMPDEST
00003132: SWAP1
00003133: PUSH2 0x3762
00003136: JUMP
00003137: JUMPDEST
00003138: SWAP1
00003139: SWAP3
0000313a: SWAP2
0000313b: SWAP3
0000313c: PUSH2 0x379e
0000313f: JUMP
00003140: JUMPDEST
00003141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003156: DUP1
00003157: PUSH1 0x05
00003159: SLOAD
0000315a: PUSH1 0x10
0000315c: SHR
0000315d: AND
0000315e: SWAP2
0000315f: AND
00003160: SUB
00003161: PUSH2 0x31fa
00003164: JUMPI
00003165: PUSH1 0x01
00003167: PUSH1 0xff
00003169: DUP3
0000316a: PUSH1 0x08
0000316c: SHR
0000316d: SWAP3
0000316e: AND
0000316f: SHL
00003170: SWAP1
00003171: DUP1
00003172: PUSH1 0x00
00003174: MSTORE
00003175: PUSH1 0x03
00003177: PUSH1 0x20
00003179: MSTORE
0000317a: DUP2
0000317b: PUSH1 0x40
0000317d: PUSH1 0x00
0000317f: KECCAK256
00003180: SLOAD
00003181: AND
00003182: PUSH2 0x31d0
00003185: JUMPI
00003186: PUSH1 0x00
00003188: MSTORE
00003189: PUSH1 0x03
0000318b: PUSH1 0x20
0000318d: MSTORE
0000318e: PUSH1 0x40
00003190: PUSH1 0x00
00003192: KECCAK256
00003193: SWAP1
00003194: DUP2
00003195: SLOAD
00003196: OR
00003197: SWAP1
00003198: SSTORE
00003199: PUSH4 0xffffffff
0000319e: TIMESTAMP
0000319f: AND
000031a0: GT
000031a1: PUSH2 0x31a6
000031a4: JUMPI
000031a5: JUMP
000031a6: JUMPDEST
000031a7: PUSH32 0xdf4cc36d00000000000000000000000000000000000000000000000000000000
000031c8: PUSH1 0x00
000031ca: MSTORE
000031cb: PUSH1 0x04
000031cd: PUSH1 0x00
000031cf: REVERT
000031d0: JUMPDEST
000031d1: PUSH32 0x1fb09b8000000000000000000000000000000000000000000000000000000000
000031f2: PUSH1 0x00
000031f4: MSTORE
000031f5: PUSH1 0x04
000031f7: PUSH1 0x00
000031f9: REVERT
000031fa: JUMPDEST
000031fb: PUSH32 0x8baa579f00000000000000000000000000000000000000000000000000000000
0000321c: PUSH1 0x00
0000321e: MSTORE
0000321f: PUSH1 0x04
00003221: PUSH1 0x00
00003223: REVERT
00003224: JUMPDEST
00003225: PUSH1 0x40
00003227: MLOAD
00003228: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00003249: PUSH1 0x20
0000324b: DUP1
0000324c: DUP4
0000324d: ADD
0000324e: SWAP2
0000324f: DUP3
00003250: MSTORE
00003251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003266: DUP6
00003267: AND
00003268: PUSH1 0x24
0000326a: DUP5
0000326b: ADD
0000326c: MSTORE
0000326d: PUSH1 0x44
0000326f: DUP1
00003270: DUP5
00003271: ADD
00003272: SWAP7
00003273: SWAP1
00003274: SWAP7
00003275: MSTORE
00003276: SWAP5
00003277: DUP3
00003278: MSTORE
00003279: SWAP3
0000327a: SWAP4
0000327b: SWAP1
0000327c: SWAP3
0000327d: PUSH1 0x00
0000327f: SWAP1
00003280: PUSH2 0x328a
00003283: PUSH1 0x64
00003285: DUP7
00003286: PUSH2 0x2170
00003289: JUMP
0000328a: JUMPDEST
0000328b: DUP5
0000328c: MLOAD
0000328d: SWAP1
0000328e: DUP3
0000328f: DUP6
00003290: GAS
00003291: CALL
00003292: PUSH1 0x00
00003294: MLOAD
00003295: RETURNDATASIZE
00003296: DUP3
00003297: PUSH2 0x330f
0000329a: JUMPI
0000329b: JUMPDEST
0000329c: POP
0000329d: POP
0000329e: ISZERO
0000329f: PUSH2 0x32a7
000032a2: JUMPI
000032a3: POP
000032a4: POP
000032a5: POP
000032a6: JUMP
000032a7: JUMPDEST
000032a8: PUSH2 0x2d69
000032ab: PUSH2 0x27fe
000032ae: SWAP4
000032af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032c4: PUSH1 0x40
000032c6: MLOAD
000032c7: SWAP2
000032c8: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
000032e9: PUSH1 0x20
000032eb: DUP5
000032ec: ADD
000032ed: MSTORE
000032ee: AND
000032ef: PUSH1 0x24
000032f1: DUP3
000032f2: ADD
000032f3: MSTORE
000032f4: PUSH1 0x00
000032f6: PUSH1 0x44
000032f8: DUP3
000032f9: ADD
000032fa: MSTORE
000032fb: PUSH1 0x44
000032fd: DUP2
000032fe: MSTORE
000032ff: PUSH2 0x3309
00003302: PUSH1 0x64
00003304: DUP3
00003305: PUSH2 0x2170
00003308: JUMP
00003309: JUMPDEST
0000330a: DUP3
0000330b: PUSH2 0x35ae
0000330e: JUMP
0000330f: JUMPDEST
00003310: SWAP1
00003311: SWAP2
00003312: POP
00003313: PUSH2 0x3339
00003316: JUMPI
00003317: POP
00003318: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000332d: DUP2
0000332e: AND
0000332f: EXTCODESIZE
00003330: ISZERO
00003331: ISZERO
00003332: JUMPDEST
00003333: CODESIZE
00003334: DUP1
00003335: PUSH2 0x329b
00003338: JUMP
00003339: JUMPDEST
0000333a: PUSH1 0x01
0000333c: EQ
0000333d: PUSH2 0x3332
00003340: JUMP
00003341: JUMPDEST
00003342: PUSH1 0xff
00003344: DUP2
00003345: EQ
00003346: PUSH2 0x33c3
00003349: JUMPI
0000334a: PUSH1 0xff
0000334c: DUP2
0000334d: AND
0000334e: SWAP1
0000334f: PUSH1 0x1f
00003351: DUP3
00003352: GT
00003353: PUSH2 0x3399
00003356: JUMPI
00003357: PUSH1 0x40
00003359: DUP1
0000335a: MLOAD
0000335b: SWAP3
0000335c: PUSH2 0x3365
0000335f: DUP3
00003360: DUP6
00003361: PUSH2 0x2170
00003364: JUMP
00003365: JUMPDEST
00003366: PUSH1 0x20
00003368: DUP5
00003369: MSTORE
0000336a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000338b: PUSH1 0x20
0000338d: DUP6
0000338e: ADD
0000338f: SWAP3
00003390: ADD
00003391: CALLDATASIZE
00003392: DUP4
00003393: CALLDATACOPY
00003394: DUP4
00003395: MSTORE
00003396: MSTORE
00003397: SWAP1
00003398: JUMP
00003399: JUMPDEST
0000339a: PUSH32 0xb3512b0c00000000000000000000000000000000000000000000000000000000
000033bb: PUSH1 0x00
000033bd: MSTORE
000033be: PUSH1 0x04
000033c0: PUSH1 0x00
000033c2: REVERT
000033c3: JUMPDEST
000033c4: POP
000033c5: PUSH1 0x40
000033c7: MLOAD
000033c8: PUSH1 0x00
000033ca: PUSH1 0x01
000033cc: SLOAD
000033cd: SWAP1
000033ce: DUP2
000033cf: PUSH1 0x01
000033d1: SHR
000033d2: SWAP2
000033d3: PUSH1 0x01
000033d5: DUP2
000033d6: AND
000033d7: DUP1
000033d8: ISZERO
000033d9: PUSH2 0x34d2
000033dc: JUMPI
000033dd: JUMPDEST
000033de: PUSH1 0x20
000033e0: DUP5
000033e1: LT
000033e2: DUP2
000033e3: EQ
000033e4: PUSH2 0x34a5
000033e7: JUMPI
000033e8: DUP4
000033e9: DUP6
000033ea: MSTORE
000033eb: DUP5
000033ec: SWAP3
000033ed: SWAP2
000033ee: DUP2
000033ef: ISZERO
000033f0: PUSH2 0x3468
000033f3: JUMPI
000033f4: POP
000033f5: PUSH1 0x01
000033f7: EQ
000033f8: PUSH2 0x3408
000033fb: JUMPI
000033fc: JUMPDEST
000033fd: PUSH2 0x2eb0
00003400: SWAP3
00003401: POP
00003402: SUB
00003403: DUP3
00003404: PUSH2 0x2170
00003407: JUMP
00003408: JUMPDEST
00003409: POP
0000340a: PUSH1 0x01
0000340c: PUSH1 0x00
0000340e: SWAP1
0000340f: DUP2
00003410: MSTORE
00003411: SWAP1
00003412: SWAP2
00003413: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00003434: JUMPDEST
00003435: DUP2
00003436: DUP4
00003437: LT
00003438: PUSH2 0x344c
0000343b: JUMPI
0000343c: POP
0000343d: POP
0000343e: SWAP1
0000343f: PUSH1 0x20
00003441: PUSH2 0x2eb0
00003444: SWAP3
00003445: DUP3
00003446: ADD
00003447: ADD
00003448: PUSH2 0x33fc
0000344b: JUMP
0000344c: JUMPDEST
0000344d: PUSH1 0x20
0000344f: SWAP2
00003450: SWAP4
00003451: POP
00003452: DUP1
00003453: PUSH1 0x01
00003455: SWAP2
00003456: SLOAD
00003457: DUP4
00003458: DUP6
00003459: DUP9
0000345a: ADD
0000345b: ADD
0000345c: MSTORE
0000345d: ADD
0000345e: SWAP2
0000345f: ADD
00003460: SWAP1
00003461: SWAP2
00003462: DUP4
00003463: SWAP3
00003464: PUSH2 0x3434
00003467: JUMP
00003468: JUMPDEST
00003469: PUSH1 0x20
0000346b: SWAP3
0000346c: POP
0000346d: PUSH2 0x2eb0
00003470: SWAP5
00003471: SWAP2
00003472: POP
00003473: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003494: AND
00003495: DUP3
00003496: DUP5
00003497: ADD
00003498: MSTORE
00003499: ISZERO
0000349a: ISZERO
0000349b: PUSH1 0x05
0000349d: SHL
0000349e: DUP3
0000349f: ADD
000034a0: ADD
000034a1: PUSH2 0x33fc
000034a4: JUMP
000034a5: JUMPDEST
000034a6: PUSH1 0x24
000034a8: DUP4
000034a9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000034ca: DUP2
000034cb: MSTORE
000034cc: PUSH1 0x22
000034ce: PUSH1 0x04
000034d0: MSTORE
000034d1: REVERT
000034d2: JUMPDEST
000034d3: SWAP3
000034d4: PUSH1 0x7f
000034d6: AND
000034d7: SWAP3
000034d8: PUSH2 0x33dd
000034db: JUMP
000034dc: JUMPDEST
000034dd: PUSH1 0xff
000034df: DUP2
000034e0: EQ
000034e1: PUSH2 0x3500
000034e4: JUMPI
000034e5: PUSH1 0xff
000034e7: DUP2
000034e8: AND
000034e9: SWAP1
000034ea: PUSH1 0x1f
000034ec: DUP3
000034ed: GT
000034ee: PUSH2 0x3399
000034f1: JUMPI
000034f2: PUSH1 0x40
000034f4: DUP1
000034f5: MLOAD
000034f6: SWAP3
000034f7: PUSH2 0x3365
000034fa: DUP3
000034fb: DUP6
000034fc: PUSH2 0x2170
000034ff: JUMP
00003500: JUMPDEST
00003501: POP
00003502: PUSH1 0x40
00003504: MLOAD
00003505: PUSH1 0x00
00003507: PUSH1 0x02
00003509: SLOAD
0000350a: SWAP1
0000350b: DUP2
0000350c: PUSH1 0x01
0000350e: SHR
0000350f: SWAP2
00003510: PUSH1 0x01
00003512: DUP2
00003513: AND
00003514: DUP1
00003515: ISZERO
00003516: PUSH2 0x35a4
00003519: JUMPI
0000351a: JUMPDEST
0000351b: PUSH1 0x20
0000351d: DUP5
0000351e: LT
0000351f: DUP2
00003520: EQ
00003521: PUSH2 0x34a5
00003524: JUMPI
00003525: DUP4
00003526: DUP6
00003527: MSTORE
00003528: DUP5
00003529: SWAP3
0000352a: SWAP2
0000352b: DUP2
0000352c: ISZERO
0000352d: PUSH2 0x3468
00003530: JUMPI
00003531: POP
00003532: PUSH1 0x01
00003534: EQ
00003535: PUSH2 0x3544
00003538: JUMPI
00003539: PUSH2 0x2eb0
0000353c: SWAP3
0000353d: POP
0000353e: SUB
0000353f: DUP3
00003540: PUSH2 0x2170
00003543: JUMP
00003544: JUMPDEST
00003545: POP
00003546: PUSH1 0x02
00003548: PUSH1 0x00
0000354a: SWAP1
0000354b: DUP2
0000354c: MSTORE
0000354d: SWAP1
0000354e: SWAP2
0000354f: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
00003570: JUMPDEST
00003571: DUP2
00003572: DUP4
00003573: LT
00003574: PUSH2 0x3588
00003577: JUMPI
00003578: POP
00003579: POP
0000357a: SWAP1
0000357b: PUSH1 0x20
0000357d: PUSH2 0x2eb0
00003580: SWAP3
00003581: DUP3
00003582: ADD
00003583: ADD
00003584: PUSH2 0x33fc
00003587: JUMP
00003588: JUMPDEST
00003589: PUSH1 0x20
0000358b: SWAP2
0000358c: SWAP4
0000358d: POP
0000358e: DUP1
0000358f: PUSH1 0x01
00003591: SWAP2
00003592: SLOAD
00003593: DUP4
00003594: DUP6
00003595: DUP9
00003596: ADD
00003597: ADD
00003598: MSTORE
00003599: ADD
0000359a: SWAP2
0000359b: ADD
0000359c: SWAP1
0000359d: SWAP2
0000359e: DUP4
0000359f: SWAP3
000035a0: PUSH2 0x3570
000035a3: JUMP
000035a4: JUMPDEST
000035a5: SWAP3
000035a6: PUSH1 0x7f
000035a8: AND
000035a9: SWAP3
000035aa: PUSH2 0x351a
000035ad: JUMP
000035ae: JUMPDEST
000035af: SWAP1
000035b0: PUSH1 0x00
000035b2: PUSH1 0x20
000035b4: SWAP2
000035b5: DUP3
000035b6: DUP2
000035b7: MLOAD
000035b8: SWAP2
000035b9: ADD
000035ba: DUP3
000035bb: DUP6
000035bc: GAS
000035bd: CALL
000035be: ISZERO
000035bf: PUSH2 0x2ee5
000035c2: JUMPI
000035c3: PUSH1 0x00
000035c5: MLOAD
000035c6: RETURNDATASIZE
000035c7: PUSH2 0x3630
000035ca: JUMPI
000035cb: POP
000035cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035e1: DUP2
000035e2: AND
000035e3: EXTCODESIZE
000035e4: ISZERO
000035e5: JUMPDEST
000035e6: PUSH2 0x35ec
000035e9: JUMPI
000035ea: POP
000035eb: JUMP
000035ec: JUMPDEST
000035ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003602: SWAP1
00003603: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00003624: PUSH1 0x00
00003626: MSTORE
00003627: AND
00003628: PUSH1 0x04
0000362a: MSTORE
0000362b: PUSH1 0x24
0000362d: PUSH1 0x00
0000362f: REVERT
00003630: JUMPDEST
00003631: PUSH1 0x01
00003633: EQ
00003634: ISZERO
00003635: PUSH2 0x35e5
00003638: JUMP
00003639: JUMPDEST
0000363a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000364f: PUSH32 0x000000000000000000000000b58bb9643884abbbad64fa7ebc874c5481e5c032
00003670: AND
00003671: ADDRESS
00003672: EQ
00003673: DUP1
00003674: PUSH2 0x3739
00003677: JUMPI
00003678: JUMPDEST
00003679: ISZERO
0000367a: PUSH2 0x36a1
0000367d: JUMPI
0000367e: PUSH32 0x422b77f568b1dd8f62546523f2d3b9c26ef88e67a95c99b53a183b085485450b
0000369f: SWAP1
000036a0: JUMP
000036a1: JUMPDEST
000036a2: PUSH1 0x40
000036a4: MLOAD
000036a5: PUSH1 0x20
000036a7: DUP2
000036a8: ADD
000036a9: SWAP1
000036aa: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
000036cb: DUP3
000036cc: MSTORE
000036cd: PUSH32 0xd95959c3a13e8c53d5720cadf9be068e441f04a5408a60b8306113b8ece3101d
000036ee: PUSH1 0x40
000036f0: DUP3
000036f1: ADD
000036f2: MSTORE
000036f3: PUSH32 0x06c015bd22b4c69690933c1058878ebdfef31f9aaae40bbe86d8a09fe1b2972c
00003714: PUSH1 0x60
00003716: DUP3
00003717: ADD
00003718: MSTORE
00003719: CHAINID
0000371a: PUSH1 0x80
0000371c: DUP3
0000371d: ADD
0000371e: MSTORE
0000371f: ADDRESS
00003720: PUSH1 0xa0
00003722: DUP3
00003723: ADD
00003724: MSTORE
00003725: PUSH1 0xa0
00003727: DUP2
00003728: MSTORE
00003729: PUSH2 0x3733
0000372c: PUSH1 0xc0
0000372e: DUP3
0000372f: PUSH2 0x2170
00003732: JUMP
00003733: JUMPDEST
00003734: MLOAD
00003735: SWAP1
00003736: KECCAK256
00003737: SWAP1
00003738: JUMP
00003739: JUMPDEST
0000373a: POP
0000373b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
0000375c: CHAINID
0000375d: EQ
0000375e: PUSH2 0x3678
00003761: JUMP
00003762: JUMPDEST
00003763: DUP2
00003764: MLOAD
00003765: SWAP2
00003766: SWAP1
00003767: PUSH1 0x41
00003769: DUP4
0000376a: SUB
0000376b: PUSH2 0x3793
0000376e: JUMPI
0000376f: PUSH2 0x378c
00003772: SWAP3
00003773: POP
00003774: PUSH1 0x20
00003776: DUP3
00003777: ADD
00003778: MLOAD
00003779: SWAP1
0000377a: PUSH1 0x60
0000377c: PUSH1 0x40
0000377e: DUP5
0000377f: ADD
00003780: MLOAD
00003781: SWAP4
00003782: ADD
00003783: MLOAD
00003784: PUSH1 0x00
00003786: BYTE
00003787: SWAP1
00003788: PUSH2 0x388a
0000378b: JUMP
0000378c: JUMPDEST
0000378d: SWAP2
0000378e: SWAP3
0000378f: SWAP1
00003790: SWAP2
00003791: SWAP1
00003792: JUMP
00003793: JUMPDEST
00003794: POP
00003795: POP
00003796: PUSH1 0x00
00003798: SWAP2
00003799: PUSH1 0x02
0000379b: SWAP2
0000379c: SWAP1
0000379d: JUMP
0000379e: JUMPDEST
0000379f: SWAP2
000037a0: SWAP1
000037a1: SWAP2
000037a2: PUSH1 0x04
000037a4: DUP2
000037a5: LT
000037a6: ISZERO
000037a7: PUSH2 0x385b
000037aa: JUMPI
000037ab: DUP1
000037ac: PUSH2 0x37b4
000037af: JUMPI
000037b0: POP
000037b1: SWAP1
000037b2: POP
000037b3: JUMP
000037b4: JUMPDEST
000037b5: PUSH1 0x00
000037b7: PUSH1 0x01
000037b9: DUP3
000037ba: SUB
000037bb: PUSH2 0x37e8
000037be: JUMPI
000037bf: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
000037e0: PUSH1 0x00
000037e2: MSTORE
000037e3: PUSH1 0x04
000037e5: PUSH1 0x00
000037e7: REVERT
000037e8: JUMPDEST
000037e9: POP
000037ea: PUSH1 0x02
000037ec: DUP2
000037ed: SUB
000037ee: PUSH2 0x381f
000037f1: JUMPI
000037f2: DUP3
000037f3: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
00003814: PUSH1 0x00
00003816: MSTORE
00003817: PUSH1 0x04
00003819: MSTORE
0000381a: PUSH1 0x24
0000381c: PUSH1 0x00
0000381e: REVERT
0000381f: JUMPDEST
00003820: SWAP1
00003821: SWAP2
00003822: PUSH1 0x03
00003824: PUSH1 0x00
00003826: SWAP3
00003827: EQ
00003828: PUSH2 0x382f
0000382b: JUMPI
0000382c: POP
0000382d: POP
0000382e: JUMP
0000382f: JUMPDEST
00003830: PUSH1 0x24
00003832: SWAP3
00003833: POP
00003834: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
00003855: DUP3
00003856: MSTORE
00003857: PUSH1 0x04
00003859: MSTORE
0000385a: REVERT
0000385b: JUMPDEST
0000385c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000387d: PUSH1 0x00
0000387f: MSTORE
00003880: PUSH1 0x21
00003882: PUSH1 0x04
00003884: MSTORE
00003885: PUSH1 0x24
00003887: PUSH1 0x00
00003889: REVERT
0000388a: JUMPDEST
0000388b: SWAP2
0000388c: SWAP1
0000388d: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000038ae: DUP5
000038af: GT
000038b0: PUSH2 0x3914
000038b3: JUMPI
000038b4: SWAP2
000038b5: PUSH1 0x20
000038b7: SWAP4
000038b8: PUSH1 0x80
000038ba: SWAP3
000038bb: PUSH1 0xff
000038bd: PUSH1 0x00
000038bf: SWAP6
000038c0: PUSH1 0x40
000038c2: MLOAD
000038c3: SWAP5
000038c4: DUP6
000038c5: MSTORE
000038c6: AND
000038c7: DUP7
000038c8: DUP5
000038c9: ADD
000038ca: MSTORE
000038cb: PUSH1 0x40
000038cd: DUP4
000038ce: ADD
000038cf: MSTORE
000038d0: PUSH1 0x60
000038d2: DUP3
000038d3: ADD
000038d4: MSTORE
000038d5: DUP3
000038d6: DUP1
000038d7: MSTORE
000038d8: PUSH1 0x01
000038da: GAS
000038db: STATICCALL
000038dc: ISZERO
000038dd: PUSH2 0x2ee5
000038e0: JUMPI
000038e1: PUSH1 0x00
000038e3: MLOAD
000038e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038f9: DUP2
000038fa: AND
000038fb: ISZERO
000038fc: PUSH2 0x3908
000038ff: JUMPI
00003900: SWAP1
00003901: PUSH1 0x00
00003903: SWAP1
00003904: PUSH1 0x00
00003906: SWAP1
00003907: JUMP
00003908: JUMPDEST
00003909: POP
0000390a: PUSH1 0x00
0000390c: SWAP1
0000390d: PUSH1 0x01
0000390f: SWAP1
00003910: PUSH1 0x00
00003912: SWAP1
00003913: JUMP
00003914: JUMPDEST
00003915: POP
00003916: POP
00003917: POP
00003918: PUSH1 0x00
0000391a: SWAP2
0000391b: PUSH1 0x03
0000391d: SWAP2
0000391e: SWAP1
0000391f: JUMP
00003920: INVALID
00003921: LOG2
00003922: PUSH5 0x6970667358
00003928: UNKNOWN(0x22)
00003929: SLT
0000392a: KECCAK256
0000392b: UNKNOWN(0xAD)
0000392c: SWAP3
0000392d: SWAP4
0000392e: MOD
0000392f: UNKNOWN(0xC0)
00003930: SWAP11
00003931: UNKNOWN(0xB9)
00003932: PUSH19 0x56190b1169e903870f3c7ede6777f7b44bf5a8
00003946: UNKNOWN(0x27)
00003947: UNKNOWN(0x2C)
00003948: UNKNOWN(0xD0)
00003949: INVALID
0000394a: UNKNOWN(0xB1)
0000394b: PUSH5 0x736f6c6343
00003951: STOP
00003952: ADDMOD
00003953: SHR
00003954: STOP
00003955: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xe63f042c46ebaa0bc528c3c3806ab2fe5acab5d82dc68282325a8eb0a6761f1a call_targets: 0xb58bb9643884abbbad64fa7ebc874c5481e5c032 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe63f042c46ebaa0bc528c3c3806ab2fe5acab5d82dc68282325a8eb0a6761f1a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb58bb9643884abbbad64fa7ebc874c5481e5c032" ], "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": "0x111f4630", "selector": "0x111f4630", "calldata_variants": [ "0x111f4630", "0x111f46300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b3f8c5e", "selector": "0x1b3f8c5e", "calldata_variants": [ "0x1b3f8c5e", "0x1b3f8c5e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3b15c8ec", "selector": "0x3b15c8ec", "calldata_variants": [ "0x3b15c8ec", "0x3b15c8ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4162, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5748, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10685, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xe63f042c46ebaa0bc528c3c3806ab2fe5acab5d82dc68282325a8eb0a6761f1a call_targets: 0xb58bb9643884abbbad64fa7ebc874c5481e5c032 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xe63f042c46ebaa0bc528c3c3806ab2fe5acab5d82dc68282325a8eb0a6761f1a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb58bb9643884abbbad64fa7ebc874c5481e5c032" ], "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": "0x111f4630", "selector": "0x111f4630", "calldata_variants": [ "0x111f4630", "0x111f46300000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b3f8c5e", "selector": "0x1b3f8c5e", "calldata_variants": [ "0x1b3f8c5e", "0x1b3f8c5e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x248a9ca3", "selector": "0x248a9ca3", "calldata_variants": [ "0x248a9ca3", "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f2ff15d", "selector": "0x2f2ff15d", "calldata_variants": [ "0x2f2ff15d", "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x36568abe", "selector": "0x36568abe", "calldata_variants": [ "0x36568abe", "0x36568abe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3b15c8ec", "selector": "0x3b15c8ec", "calldata_variants": [ "0x3b15c8ec", "0x3b15c8ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f4ba83a", "selector": "0x3f4ba83a", "calldata_variants": [ "0x3f4ba83a", "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4162, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5748, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10685, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 6 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 12 }