Analysis Run

019be3d6-8404-7146-86ed-294d811195d7

failed

Chain ID

1

Address

0x897c27fa372aa730d4c75b1243e7ea38879194e2

Block Number

—

Created

Thu, Jan 22, 2026 3:54 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
40974	artifact.fetch	complete	1 / 3	2 months ago
40975	proxy.resolve	complete	1 / 3	2 months ago
40976	tool.cast_disasm	complete	1 / 3	2 months ago
40977	analysis.bundle	complete	1 / 3	2 months ago
40978	capability.graph	complete	1 / 3	2 months ago
40979	detector.run	complete	1 / 3	2 months ago
40980	validation.fork	complete	1 / 3	2 months ago
41379	report.consolidate	complete	1 / 6	2 months ago
41380	tool.slither	failed	2 / 2	2 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

Status

failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-gbzv7zbr) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-gbzv7zbr) 'forge' returned non-zero exit code 1 Compiling 1 files with Solc 0.6.6 stdout: Solc 0.6.6 finished in 203.69ms Error: Compiler run failed: stderr: Error: Yul exception:Stack too deep when compiling inline assembly: Variable headStart is 1 slot(s) too deep inside the stack. 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-gbzv7zbr/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-gbzv7zbr)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-gbzv7zbr)
'forge' returned non-zero exit code 1
Compiling 1 files with Solc 0.6.6
stdout: Solc 0.6.6 finished in 203.69ms
Error: Compiler run failed:
stderr: Error: Yul exception:Stack too deep when compiling inline assembly: Variable headStart is 1 slot(s) too deep inside the stack.
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-gbzv7zbr/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 the first-party Hub2Eth contract set. Assumes validator signatures and guardian key management are correct and uncompromised.

View stdout

{"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party Hub2Eth contract set. Assumes validator signatures and guardian key management are correct and uncompromised.","findings":[]}

View stderr

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

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

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

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

thinking
**Reading audit bundle contents**
exec
/bin/bash -lc ls in /tmp/codex-4kiw8r8x succeeded in 9ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-4kiw8r8x succeeded in 5ms:
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/Contract.sol
================================================================================
// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v3.1.0/contracts/utils/ReentrancyGuard.sol



pragma solidity ^0.6.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as



thinking
**Auditing first-party contract details**

I'm verifying whether OpenZeppelin code directly included counts as first-party and focusing on the Hub2Eth contract for vulnerabilities. Key constructor setup seems intentional; major functions use NonReentrant, and external calls follow state updates, reducing reentrancy risk.
thinking
**Identifying nuanced constructor and signature concerns**

I found that the constructor sets the initial checkpoint using a second validator set without validating array lengths, risking misconfiguration that can lock the contract. Signature validation lacks strict malleability checks but this poses low risk since signers remain consistent. There’s a minor replay risk if gravityId isn’t unique per deployment, potentially allowing cross-deployment signature reuse.
thinking
**Confirming no exploitable vulnerabilities**

No exploitable issues were found besides a known privileged guardian control as design intent. Minor configuration risks exist but don’t pose immediate vulnerabilities, so a clean report with no findings is appropriate.
codex
{"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party Hub2Eth contract set. Assumes validator signatures and guardian key management are correct and uncompromised.","findings":[]}
tokens used
20,016

Metadata

{
    "codex": {
        "ran_at": "2026-01-22T06:37:58.484839+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "No exploitable vulnerabilities identified in the first-party Hub2Eth contract set. Assumes validator signatures and guardian key management are correct and uncompromised.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party Hub2Eth contract set. Assumes validator signatures and guardian key management are correct and uncompromised.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

7

EXT*/BALANCE

4

Total opcodes

6088

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x010d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x83b435db
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xdf97174b
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdf97174b
0000002f: EQ
00000030: PUSH2 0x02b9
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe2d7c048
0000003a: EQ
0000003b: PUSH2 0x02d9
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe3cb9f62
00000045: EQ
00000046: PUSH2 0x02ec
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe5a2b5d2
00000050: EQ
00000051: PUSH2 0x030c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2b53307
0000005b: EQ
0000005c: PUSH2 0x0321
0000005f: JUMPI
00000060: PUSH2 0x0128
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x83b435db
0000006b: EQ
0000006c: PUSH2 0x024f
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb56561fe
00000076: EQ
00000077: PUSH2 0x026f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbdda81d4
00000081: EQ
00000082: PUSH2 0x0284
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc9d194d5
0000008c: EQ
0000008d: PUSH2 0x0299
00000090: JUMPI
00000091: PUSH2 0x0128
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x452a9320
0000009c: GT
0000009d: PUSH2 0x00dc
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x452a9320
000000a7: EQ
000000a8: PUSH2 0x01c3
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4f0e0ef3
000000b2: EQ
000000b3: PUSH2 0x01e5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x73b20547
000000bd: EQ
000000be: PUSH2 0x01fa
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x7dfb6f86
000000c8: EQ
000000c9: PUSH2 0x020f
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x7ecccecc
000000d3: EQ
000000d4: PUSH2 0x022f
000000d7: JUMPI
000000d8: PUSH2 0x0128
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x011b2174
000000e3: EQ
000000e4: PUSH2 0x012d
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x0c246c82
000000ee: EQ
000000ef: PUSH2 0x0163
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x1762d25a
000000f9: EQ
000000fa: PUSH2 0x0183
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x2fcb4f04
00000104: EQ
00000105: PUSH2 0x01a3
00000108: JUMPI
00000109: PUSH2 0x0128
0000010c: JUMP
0000010d: JUMPDEST
0000010e: CALLDATASIZE
0000010f: PUSH2 0x0128
00000112: JUMPI
00000113: PUSH1 0x08
00000115: SLOAD
00000116: PUSH1 0x01
00000118: PUSH1 0x01
0000011a: PUSH1 0xa0
0000011c: SHL
0000011d: SUB
0000011e: AND
0000011f: CALLER
00000120: EQ
00000121: PUSH2 0x0126
00000124: JUMPI
00000125: INVALID
00000126: JUMPDEST
00000127: STOP
00000128: JUMPDEST
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0139
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: POP
0000013b: PUSH2 0x014d
0000013e: PUSH2 0x0148
00000141: CALLDATASIZE
00000142: PUSH1 0x04
00000144: PUSH2 0x1676
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH2 0x0336
0000014c: JUMP
0000014d: JUMPDEST
0000014e: PUSH1 0x40
00000150: MLOAD
00000151: PUSH2 0x015a
00000154: SWAP2
00000155: SWAP1
00000156: PUSH2 0x1cb4
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: MLOAD
0000015e: DUP1
0000015f: SWAP2
00000160: SUB
00000161: SWAP1
00000162: RETURN
00000163: JUMPDEST
00000164: CALLVALUE
00000165: DUP1
00000166: ISZERO
00000167: PUSH2 0x016f
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: POP
00000171: PUSH2 0x0126
00000174: PUSH2 0x017e
00000177: CALLDATASIZE
00000178: PUSH1 0x04
0000017a: PUSH2 0x19e7
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x0351
00000182: JUMP
00000183: JUMPDEST
00000184: CALLVALUE
00000185: DUP1
00000186: ISZERO
00000187: PUSH2 0x018f
0000018a: JUMPI
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: POP
00000191: PUSH2 0x0126
00000194: PUSH2 0x019e
00000197: CALLDATASIZE
00000198: PUSH1 0x04
0000019a: PUSH2 0x16d5
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH2 0x0668
000001a2: JUMP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: DUP1
000001a6: ISZERO
000001a7: PUSH2 0x01af
000001aa: JUMPI
000001ab: PUSH1 0x00
000001ad: DUP1
000001ae: REVERT
000001af: JUMPDEST
000001b0: POP
000001b1: PUSH2 0x0126
000001b4: PUSH2 0x01be
000001b7: CALLDATASIZE
000001b8: PUSH1 0x04
000001ba: PUSH2 0x1676
000001bd: JUMP
000001be: JUMPDEST
000001bf: PUSH2 0x0755
000001c2: JUMP
000001c3: JUMPDEST
000001c4: CALLVALUE
000001c5: DUP1
000001c6: ISZERO
000001c7: PUSH2 0x01cf
000001ca: JUMPI
000001cb: PUSH1 0x00
000001cd: DUP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: POP
000001d1: PUSH2 0x01d8
000001d4: PUSH2 0x07a1
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH1 0x40
000001db: MLOAD
000001dc: PUSH2 0x015a
000001df: SWAP2
000001e0: SWAP1
000001e1: PUSH2 0x1c63
000001e4: JUMP
000001e5: JUMPDEST
000001e6: CALLVALUE
000001e7: DUP1
000001e8: ISZERO
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: PUSH2 0x01d8
000001f6: PUSH2 0x07b0
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x014d
0000020b: PUSH2 0x07bf
0000020e: JUMP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x014d
00000220: PUSH2 0x022a
00000223: CALLDATASIZE
00000224: PUSH1 0x04
00000226: PUSH2 0x1aff
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH2 0x07c5
0000022e: JUMP
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023b
00000236: JUMPI
00000237: PUSH1 0x00
00000239: DUP1
0000023a: REVERT
0000023b: JUMPDEST
0000023c: POP
0000023d: PUSH2 0x0126
00000240: PUSH2 0x024a
00000243: CALLDATASIZE
00000244: PUSH1 0x04
00000246: PUSH2 0x1692
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x07d7
0000024e: JUMP
0000024f: JUMPDEST
00000250: CALLVALUE
00000251: DUP1
00000252: ISZERO
00000253: PUSH2 0x025b
00000256: JUMPI
00000257: PUSH1 0x00
00000259: DUP1
0000025a: REVERT
0000025b: JUMPDEST
0000025c: POP
0000025d: PUSH2 0x0126
00000260: PUSH2 0x026a
00000263: CALLDATASIZE
00000264: PUSH1 0x04
00000266: PUSH2 0x184a
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH2 0x087e
0000026e: JUMP
0000026f: JUMPDEST
00000270: CALLVALUE
00000271: DUP1
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH2 0x014d
00000280: PUSH2 0x0ba8
00000283: JUMP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x014d
00000295: PUSH2 0x0bae
00000298: JUMP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x014d
000002aa: PUSH2 0x02b4
000002ad: CALLDATASIZE
000002ae: PUSH1 0x04
000002b0: PUSH2 0x1aff
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x0bb4
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: DUP1
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH2 0x014d
000002ca: PUSH2 0x02d4
000002cd: CALLDATASIZE
000002ce: PUSH1 0x04
000002d0: PUSH2 0x1676
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH2 0x0bc6
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x0126
000002dd: PUSH2 0x02e7
000002e0: CALLDATASIZE
000002e1: PUSH1 0x04
000002e3: PUSH2 0x1b17
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH2 0x0bd8
000002eb: JUMP
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0126
000002fd: PUSH2 0x0307
00000300: CALLDATASIZE
00000301: PUSH1 0x04
00000303: PUSH2 0x1724
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH2 0x0cd2
0000030b: JUMP
0000030c: JUMPDEST
0000030d: CALLVALUE
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: PUSH2 0x014d
0000031d: PUSH2 0x0e3c
00000320: JUMP
00000321: JUMPDEST
00000322: CALLVALUE
00000323: DUP1
00000324: ISZERO
00000325: PUSH2 0x032d
00000328: JUMPI
00000329: PUSH1 0x00
0000032b: DUP1
0000032c: REVERT
0000032d: JUMPDEST
0000032e: POP
0000032f: PUSH2 0x014d
00000332: PUSH2 0x0e42
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH1 0x01
00000339: PUSH1 0x01
0000033b: PUSH1 0xa0
0000033d: SHL
0000033e: SUB
0000033f: AND
00000340: PUSH1 0x00
00000342: SWAP1
00000343: DUP2
00000344: MSTORE
00000345: PUSH1 0x02
00000347: PUSH1 0x20
00000349: MSTORE
0000034a: PUSH1 0x40
0000034c: SWAP1
0000034d: KECCAK256
0000034e: SLOAD
0000034f: SWAP1
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x02
00000354: PUSH1 0x00
00000356: SLOAD
00000357: EQ
00000358: ISZERO
00000359: PUSH2 0x037d
0000035c: JUMPI
0000035d: PUSH1 0x40
0000035f: MLOAD
00000360: PUSH3 0x461bcd
00000364: PUSH1 0xe5
00000366: SHL
00000367: DUP2
00000368: MSTORE
00000369: PUSH1 0x04
0000036b: ADD
0000036c: PUSH2 0x0374
0000036f: SWAP1
00000370: PUSH2 0x238b
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP1
00000379: SWAP2
0000037a: SUB
0000037b: SWAP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: PUSH1 0x02
00000380: PUSH1 0x00
00000382: SSTORE
00000383: PUSH1 0xc0
00000385: DUP2
00000386: ADD
00000387: MLOAD
00000388: NUMBER
00000389: LT
0000038a: PUSH2 0x03a5
0000038d: JUMPI
0000038e: PUSH1 0x40
00000390: MLOAD
00000391: PUSH3 0x461bcd
00000395: PUSH1 0xe5
00000397: SHL
00000398: DUP2
00000399: MSTORE
0000039a: PUSH1 0x04
0000039c: ADD
0000039d: PUSH2 0x0374
000003a0: SWAP1
000003a1: PUSH2 0x2070
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH2 0x0100
000003a9: DUP2
000003aa: ADD
000003ab: MLOAD
000003ac: PUSH1 0xe0
000003ae: DUP3
000003af: ADD
000003b0: MLOAD
000003b1: PUSH1 0x00
000003b3: SWAP1
000003b4: DUP2
000003b5: MSTORE
000003b6: PUSH1 0x03
000003b8: PUSH1 0x20
000003ba: MSTORE
000003bb: PUSH1 0x40
000003bd: SWAP1
000003be: KECCAK256
000003bf: SLOAD
000003c0: LT
000003c1: PUSH2 0x03dc
000003c4: JUMPI
000003c5: PUSH1 0x40
000003c7: MLOAD
000003c8: PUSH3 0x461bcd
000003cc: PUSH1 0xe5
000003ce: SHL
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x04
000003d3: ADD
000003d4: PUSH2 0x0374
000003d7: SWAP1
000003d8: PUSH2 0x1fdc
000003db: JUMP
000003dc: JUMPDEST
000003dd: DUP6
000003de: MLOAD
000003df: DUP8
000003e0: MLOAD
000003e1: EQ
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ee
000003e7: JUMPI
000003e8: POP
000003e9: DUP4
000003ea: MLOAD
000003eb: DUP8
000003ec: MLOAD
000003ed: EQ
000003ee: JUMPDEST
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x03fb
000003f4: JUMPI
000003f5: POP
000003f6: DUP3
000003f7: MLOAD
000003f8: DUP8
000003f9: MLOAD
000003fa: EQ
000003fb: JUMPDEST
000003fc: DUP1
000003fd: ISZERO
000003fe: PUSH2 0x0408
00000401: JUMPI
00000402: POP
00000403: DUP2
00000404: MLOAD
00000405: DUP8
00000406: MLOAD
00000407: EQ
00000408: JUMPDEST
00000409: PUSH2 0x0424
0000040c: JUMPI
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: PUSH3 0x461bcd
00000414: PUSH1 0xe5
00000416: SHL
00000417: DUP2
00000418: MSTORE
00000419: PUSH1 0x04
0000041b: ADD
0000041c: PUSH2 0x0374
0000041f: SWAP1
00000420: PUSH2 0x2354
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x01
00000427: SLOAD
00000428: PUSH2 0x0435
0000042b: DUP9
0000042c: DUP9
0000042d: DUP9
0000042e: PUSH1 0x06
00000430: SLOAD
00000431: PUSH2 0x0e48
00000434: JUMP
00000435: JUMPDEST
00000436: EQ
00000437: PUSH2 0x0452
0000043a: JUMPI
0000043b: PUSH1 0x40
0000043d: MLOAD
0000043e: PUSH3 0x461bcd
00000442: PUSH1 0xe5
00000444: SHL
00000445: DUP2
00000446: MSTORE
00000447: PUSH1 0x04
00000449: ADD
0000044a: PUSH2 0x0374
0000044d: SWAP1
0000044e: PUSH2 0x1ef2
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH1 0x20
00000455: DUP2
00000456: ADD
00000457: MLOAD
00000458: MLOAD
00000459: DUP2
0000045a: MLOAD
0000045b: MLOAD
0000045c: EQ
0000045d: PUSH2 0x0478
00000460: JUMPI
00000461: PUSH1 0x40
00000463: MLOAD
00000464: PUSH3 0x461bcd
00000468: PUSH1 0xe5
0000046a: SHL
0000046b: DUP2
0000046c: MSTORE
0000046d: PUSH1 0x04
0000046f: ADD
00000470: PUSH2 0x0374
00000473: SWAP1
00000474: PUSH2 0x2133
00000477: JUMP
00000478: JUMPDEST
00000479: DUP1
0000047a: PUSH1 0x60
0000047c: ADD
0000047d: MLOAD
0000047e: MLOAD
0000047f: DUP2
00000480: PUSH1 0x40
00000482: ADD
00000483: MLOAD
00000484: MLOAD
00000485: EQ
00000486: PUSH2 0x04a1
00000489: JUMPI
0000048a: PUSH1 0x40
0000048c: MLOAD
0000048d: PUSH3 0x461bcd
00000491: PUSH1 0xe5
00000493: SHL
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x04
00000498: ADD
00000499: PUSH2 0x0374
0000049c: SWAP1
0000049d: PUSH2 0x1ec2
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH1 0x00
000004a4: PUSH1 0x06
000004a6: SLOAD
000004a7: PUSH9 0x1b1bd9da58d0d85b1b
000004b1: PUSH1 0xba
000004b3: SHL
000004b4: DUP4
000004b5: PUSH1 0x00
000004b7: ADD
000004b8: MLOAD
000004b9: DUP5
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: MLOAD
000004be: DUP6
000004bf: PUSH1 0x40
000004c1: ADD
000004c2: MLOAD
000004c3: DUP7
000004c4: PUSH1 0x60
000004c6: ADD
000004c7: MLOAD
000004c8: DUP8
000004c9: PUSH1 0x80
000004cb: ADD
000004cc: MLOAD
000004cd: DUP9
000004ce: PUSH1 0xa0
000004d0: ADD
000004d1: MLOAD
000004d2: DUP10
000004d3: PUSH1 0xc0
000004d5: ADD
000004d6: MLOAD
000004d7: DUP11
000004d8: PUSH1 0xe0
000004da: ADD
000004db: MLOAD
000004dc: DUP12
000004dd: PUSH2 0x0100
000004e0: ADD
000004e1: MLOAD
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: PUSH2 0x04fb
000004eb: SWAP12
000004ec: SWAP11
000004ed: SWAP10
000004ee: SWAP9
000004ef: SWAP8
000004f0: SWAP7
000004f1: SWAP6
000004f2: SWAP5
000004f3: SWAP4
000004f4: SWAP3
000004f5: SWAP2
000004f6: SWAP1
000004f7: PUSH2 0x1d00
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: PUSH1 0x20
00000501: DUP2
00000502: DUP4
00000503: SUB
00000504: SUB
00000505: DUP2
00000506: MSTORE
00000507: SWAP1
00000508: PUSH1 0x40
0000050a: MSTORE
0000050b: DUP1
0000050c: MLOAD
0000050d: SWAP1
0000050e: PUSH1 0x20
00000510: ADD
00000511: KECCAK256
00000512: SWAP1
00000513: POP
00000514: PUSH2 0x0524
00000517: DUP9
00000518: DUP9
00000519: DUP8
0000051a: DUP8
0000051b: DUP8
0000051c: DUP7
0000051d: PUSH1 0x07
0000051f: SLOAD
00000520: PUSH2 0x0e9a
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH2 0x0100
00000528: DUP3
00000529: ADD
0000052a: MLOAD
0000052b: PUSH1 0xe0
0000052d: DUP4
0000052e: ADD
0000052f: MLOAD
00000530: PUSH1 0x00
00000532: SWAP1
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x03
00000537: PUSH1 0x20
00000539: MSTORE
0000053a: PUSH1 0x40
0000053c: DUP2
0000053d: KECCAK256
0000053e: SWAP2
0000053f: SWAP1
00000540: SWAP2
00000541: SSTORE
00000542: JUMPDEST
00000543: DUP3
00000544: MLOAD
00000545: MLOAD
00000546: DUP2
00000547: LT
00000548: ISZERO
00000549: PUSH2 0x05a4
0000054c: JUMPI
0000054d: PUSH2 0x059c
00000550: DUP4
00000551: PUSH1 0x80
00000553: ADD
00000554: MLOAD
00000555: DUP5
00000556: PUSH1 0x00
00000558: ADD
00000559: MLOAD
0000055a: DUP4
0000055b: DUP2
0000055c: MLOAD
0000055d: DUP2
0000055e: LT
0000055f: PUSH2 0x0564
00000562: JUMPI
00000563: INVALID
00000564: JUMPDEST
00000565: PUSH1 0x20
00000567: MUL
00000568: PUSH1 0x20
0000056a: ADD
0000056b: ADD
0000056c: MLOAD
0000056d: DUP6
0000056e: PUSH1 0x20
00000570: ADD
00000571: MLOAD
00000572: DUP5
00000573: DUP2
00000574: MLOAD
00000575: DUP2
00000576: LT
00000577: PUSH2 0x057c
0000057a: JUMPI
0000057b: INVALID
0000057c: JUMPDEST
0000057d: PUSH1 0x20
0000057f: MUL
00000580: PUSH1 0x20
00000582: ADD
00000583: ADD
00000584: MLOAD
00000585: PUSH1 0x01
00000587: PUSH1 0x01
00000589: PUSH1 0xa0
0000058b: SHL
0000058c: SUB
0000058d: AND
0000058e: PUSH2 0x0f91
00000591: SWAP1
00000592: SWAP3
00000593: SWAP2
00000594: SWAP1
00000595: PUSH4 0xffffffff
0000059a: AND
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH1 0x01
0000059f: ADD
000005a0: PUSH2 0x0542
000005a3: JUMP
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH1 0x60
000005a8: PUSH2 0x05b9
000005ab: DUP4
000005ac: PUSH1 0x80
000005ae: ADD
000005af: MLOAD
000005b0: DUP5
000005b1: PUSH1 0xa0
000005b3: ADD
000005b4: MLOAD
000005b5: PUSH2 0x0fe7
000005b8: JUMP
000005b9: JUMPDEST
000005ba: SWAP1
000005bb: POP
000005bc: PUSH1 0x00
000005be: JUMPDEST
000005bf: DUP4
000005c0: PUSH1 0x40
000005c2: ADD
000005c3: MLOAD
000005c4: MLOAD
000005c5: DUP2
000005c6: LT
000005c7: ISZERO
000005c8: PUSH2 0x05ff
000005cb: JUMPI
000005cc: PUSH2 0x05f7
000005cf: CALLER
000005d0: DUP6
000005d1: PUSH1 0x40
000005d3: ADD
000005d4: MLOAD
000005d5: DUP4
000005d6: DUP2
000005d7: MLOAD
000005d8: DUP2
000005d9: LT
000005da: PUSH2 0x05df
000005dd: JUMPI
000005de: INVALID
000005df: JUMPDEST
000005e0: PUSH1 0x20
000005e2: MUL
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: ADD
000005e7: MLOAD
000005e8: DUP7
000005e9: PUSH1 0x60
000005eb: ADD
000005ec: MLOAD
000005ed: DUP5
000005ee: DUP2
000005ef: MLOAD
000005f0: DUP2
000005f1: LT
000005f2: PUSH2 0x057c
000005f5: JUMPI
000005f6: INVALID
000005f7: JUMPDEST
000005f8: PUSH1 0x01
000005fa: ADD
000005fb: PUSH2 0x05be
000005fe: JUMP
000005ff: JUMPDEST
00000600: POP
00000601: PUSH1 0x05
00000603: SLOAD
00000604: PUSH2 0x060e
00000607: SWAP1
00000608: PUSH1 0x01
0000060a: PUSH2 0x1032
0000060d: JUMP
0000060e: JUMPDEST
0000060f: PUSH1 0x05
00000611: DUP2
00000612: SWAP1
00000613: SSTORE
00000614: PUSH1 0xe0
00000616: DUP5
00000617: ADD
00000618: MLOAD
00000619: PUSH2 0x0100
0000061c: DUP6
0000061d: ADD
0000061e: MLOAD
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: PUSH32 0xf91c95577d70e79c860c20704cbae1beca2045c2e55e466e8a5223f1c0866c93
00000643: SWAP4
00000644: PUSH2 0x0650
00000647: SWAP4
00000648: SWAP3
00000649: SWAP2
0000064a: DUP7
0000064b: SWAP1
0000064c: PUSH2 0x1e47
0000064f: JUMP
00000650: JUMPDEST
00000651: PUSH1 0x40
00000653: MLOAD
00000654: DUP1
00000655: SWAP2
00000656: SUB
00000657: SWAP1
00000658: LOG1
00000659: POP
0000065a: POP
0000065b: PUSH1 0x01
0000065d: PUSH1 0x00
0000065f: SSTORE
00000660: POP
00000661: POP
00000662: POP
00000663: POP
00000664: POP
00000665: POP
00000666: POP
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH1 0x09
0000066b: SLOAD
0000066c: PUSH1 0x01
0000066e: PUSH1 0x01
00000670: PUSH1 0xa0
00000672: SHL
00000673: SUB
00000674: AND
00000675: CALLER
00000676: EQ
00000677: PUSH2 0x0692
0000067a: JUMPI
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: PUSH3 0x461bcd
00000682: PUSH1 0xe5
00000684: SHL
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x04
00000689: ADD
0000068a: PUSH2 0x0374
0000068d: SWAP1
0000068e: PUSH2 0x21ab
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH1 0x00
00000695: JUMPDEST
00000696: DUP3
00000697: MLOAD
00000698: DUP2
00000699: LT
0000069a: ISZERO
0000069b: PUSH2 0x0750
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP4
000006a2: DUP3
000006a3: DUP2
000006a4: MLOAD
000006a5: DUP2
000006a6: LT
000006a7: PUSH2 0x06ac
000006aa: JUMPI
000006ab: INVALID
000006ac: JUMPDEST
000006ad: PUSH1 0x20
000006af: MUL
000006b0: PUSH1 0x20
000006b2: ADD
000006b3: ADD
000006b4: MLOAD
000006b5: SWAP1
000006b6: POP
000006b7: PUSH2 0x0747
000006ba: DUP4
000006bb: DUP3
000006bc: PUSH1 0x01
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: SHL
000006c3: SUB
000006c4: AND
000006c5: PUSH4 0x70a08231
000006ca: ADDRESS
000006cb: PUSH1 0x40
000006cd: MLOAD
000006ce: DUP3
000006cf: PUSH4 0xffffffff
000006d4: AND
000006d5: PUSH1 0xe0
000006d7: SHL
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x04
000006dc: ADD
000006dd: PUSH2 0x06e6
000006e0: SWAP2
000006e1: SWAP1
000006e2: PUSH2 0x1c63
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH1 0x20
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: DUP1
000006ed: DUP4
000006ee: SUB
000006ef: DUP2
000006f0: DUP7
000006f1: DUP1
000006f2: EXTCODESIZE
000006f3: ISZERO
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: GAS
00000701: STATICCALL
00000702: ISZERO
00000703: DUP1
00000704: ISZERO
00000705: PUSH2 0x0712
00000708: JUMPI
00000709: RETURNDATASIZE
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: RETURNDATACOPY
0000070e: RETURNDATASIZE
0000070f: PUSH1 0x00
00000711: REVERT
00000712: JUMPDEST
00000713: POP
00000714: POP
00000715: POP
00000716: POP
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: RETURNDATASIZE
0000071b: PUSH1 0x1f
0000071d: NOT
0000071e: PUSH1 0x1f
00000720: DUP3
00000721: ADD
00000722: AND
00000723: DUP3
00000724: ADD
00000725: DUP1
00000726: PUSH1 0x40
00000728: MSTORE
00000729: POP
0000072a: DUP2
0000072b: ADD
0000072c: SWAP1
0000072d: PUSH2 0x0736
00000730: SWAP2
00000731: SWAP1
00000732: PUSH2 0x1b42
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH1 0x01
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: SHL
0000073e: SUB
0000073f: DUP5
00000740: AND
00000741: SWAP2
00000742: SWAP1
00000743: PUSH2 0x0f91
00000746: JUMP
00000747: JUMPDEST
00000748: POP
00000749: PUSH1 0x01
0000074b: ADD
0000074c: PUSH2 0x0695
0000074f: JUMP
00000750: JUMPDEST
00000751: POP
00000752: POP
00000753: POP
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x09
00000758: SLOAD
00000759: PUSH1 0x01
0000075b: PUSH1 0x01
0000075d: PUSH1 0xa0
0000075f: SHL
00000760: SUB
00000761: AND
00000762: CALLER
00000763: EQ
00000764: PUSH2 0x077f
00000767: JUMPI
00000768: PUSH1 0x40
0000076a: MLOAD
0000076b: PUSH3 0x461bcd
0000076f: PUSH1 0xe5
00000771: SHL
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x04
00000776: ADD
00000777: PUSH2 0x0374
0000077a: SWAP1
0000077b: PUSH2 0x21ab
0000077e: JUMP
0000077f: JUMPDEST
00000780: PUSH1 0x09
00000782: DUP1
00000783: SLOAD
00000784: PUSH1 0x01
00000786: PUSH1 0x01
00000788: PUSH1 0xa0
0000078a: SHL
0000078b: SUB
0000078c: NOT
0000078d: AND
0000078e: PUSH1 0x01
00000790: PUSH1 0x01
00000792: PUSH1 0xa0
00000794: SHL
00000795: SUB
00000796: SWAP3
00000797: SWAP1
00000798: SWAP3
00000799: AND
0000079a: SWAP2
0000079b: SWAP1
0000079c: SWAP2
0000079d: OR
0000079e: SWAP1
0000079f: SSTORE
000007a0: JUMP
000007a1: JUMPDEST
000007a2: PUSH1 0x09
000007a4: SLOAD
000007a5: PUSH1 0x01
000007a7: PUSH1 0x01
000007a9: PUSH1 0xa0
000007ab: SHL
000007ac: SUB
000007ad: AND
000007ae: DUP2
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH1 0x08
000007b3: SLOAD
000007b4: PUSH1 0x01
000007b6: PUSH1 0x01
000007b8: PUSH1 0xa0
000007ba: SHL
000007bb: SUB
000007bc: AND
000007bd: DUP2
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH1 0x05
000007c2: SLOAD
000007c3: DUP2
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x03
000007c8: PUSH1 0x20
000007ca: MSTORE
000007cb: PUSH1 0x00
000007cd: SWAP1
000007ce: DUP2
000007cf: MSTORE
000007d0: PUSH1 0x40
000007d2: SWAP1
000007d3: KECCAK256
000007d4: SLOAD
000007d5: DUP2
000007d6: JUMP
000007d7: JUMPDEST
000007d8: PUSH1 0x02
000007da: PUSH1 0x00
000007dc: SLOAD
000007dd: EQ
000007de: ISZERO
000007df: PUSH2 0x07fa
000007e2: JUMPI
000007e3: PUSH1 0x40
000007e5: MLOAD
000007e6: PUSH3 0x461bcd
000007ea: PUSH1 0xe5
000007ec: SHL
000007ed: DUP2
000007ee: MSTORE
000007ef: PUSH1 0x04
000007f1: ADD
000007f2: PUSH2 0x0374
000007f5: SWAP1
000007f6: PUSH2 0x238b
000007f9: JUMP
000007fa: JUMPDEST
000007fb: PUSH1 0x02
000007fd: PUSH1 0x00
000007ff: SSTORE
00000800: PUSH2 0x0814
00000803: PUSH1 0x01
00000805: PUSH1 0x01
00000807: PUSH1 0xa0
00000809: SHL
0000080a: SUB
0000080b: DUP7
0000080c: AND
0000080d: CALLER
0000080e: ADDRESS
0000080f: DUP6
00000810: PUSH2 0x1057
00000813: JUMP
00000814: JUMPDEST
00000815: PUSH1 0x05
00000817: SLOAD
00000818: PUSH2 0x0822
0000081b: SWAP1
0000081c: PUSH1 0x01
0000081e: PUSH2 0x1032
00000821: JUMP
00000822: JUMPDEST
00000823: PUSH1 0x05
00000825: DUP2
00000826: SWAP1
00000827: SSTORE
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP6
0000082c: SWAP2
0000082d: CALLER
0000082e: SWAP2
0000082f: PUSH1 0x01
00000831: PUSH1 0x01
00000833: PUSH1 0xa0
00000835: SHL
00000836: SUB
00000837: DUP10
00000838: AND
00000839: SWAP2
0000083a: PUSH32 0x7f4f5725b195c7be189dc38c65df0483114975b57463ac93012ba3ede3b56a95
0000085b: SWAP2
0000085c: PUSH2 0x086a
0000085f: SWAP2
00000860: DUP10
00000861: SWAP2
00000862: DUP10
00000863: SWAP2
00000864: DUP10
00000865: SWAP2
00000866: PUSH2 0x1e76
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH1 0x40
0000086d: MLOAD
0000086e: DUP1
0000086f: SWAP2
00000870: SUB
00000871: SWAP1
00000872: LOG4
00000873: POP
00000874: POP
00000875: PUSH1 0x01
00000877: PUSH1 0x00
00000879: SSTORE
0000087a: POP
0000087b: POP
0000087c: POP
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH1 0x02
00000881: PUSH1 0x00
00000883: SLOAD
00000884: EQ
00000885: ISZERO
00000886: PUSH2 0x08a1
00000889: JUMPI
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: PUSH3 0x461bcd
00000891: PUSH1 0xe5
00000893: SHL
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x04
00000898: ADD
00000899: PUSH2 0x0374
0000089c: SWAP1
0000089d: PUSH2 0x238b
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x02
000008a4: PUSH1 0x00
000008a6: DUP2
000008a7: DUP2
000008a8: SSTORE
000008a9: PUSH1 0x01
000008ab: PUSH1 0x01
000008ad: PUSH1 0xa0
000008af: SHL
000008b0: SUB
000008b1: DUP5
000008b2: AND
000008b3: DUP2
000008b4: MSTORE
000008b5: PUSH1 0x20
000008b7: SWAP2
000008b8: SWAP1
000008b9: SWAP2
000008ba: MSTORE
000008bb: PUSH1 0x40
000008bd: SWAP1
000008be: KECCAK256
000008bf: SLOAD
000008c0: DUP4
000008c1: GT
000008c2: PUSH2 0x08dd
000008c5: JUMPI
000008c6: PUSH1 0x40
000008c8: MLOAD
000008c9: PUSH3 0x461bcd
000008cd: PUSH1 0xe5
000008cf: SHL
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x04
000008d4: ADD
000008d5: PUSH2 0x0374
000008d8: SWAP1
000008d9: PUSH2 0x1f4f
000008dc: JUMP
000008dd: JUMPDEST
000008de: DUP1
000008df: NUMBER
000008e0: LT
000008e1: PUSH2 0x08fc
000008e4: JUMPI
000008e5: PUSH1 0x40
000008e7: MLOAD
000008e8: PUSH3 0x461bcd
000008ec: PUSH1 0xe5
000008ee: SHL
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x04
000008f3: ADD
000008f4: PUSH2 0x0374
000008f7: SWAP1
000008f8: PUSH2 0x20d6
000008fb: JUMP
000008fc: JUMPDEST
000008fd: DUP11
000008fe: MLOAD
000008ff: DUP13
00000900: MLOAD
00000901: EQ
00000902: DUP1
00000903: ISZERO
00000904: PUSH2 0x090e
00000907: JUMPI
00000908: POP
00000909: DUP9
0000090a: MLOAD
0000090b: DUP13
0000090c: MLOAD
0000090d: EQ
0000090e: JUMPDEST
0000090f: DUP1
00000910: ISZERO
00000911: PUSH2 0x091b
00000914: JUMPI
00000915: POP
00000916: DUP8
00000917: MLOAD
00000918: DUP13
00000919: MLOAD
0000091a: EQ
0000091b: JUMPDEST
0000091c: DUP1
0000091d: ISZERO
0000091e: PUSH2 0x0928
00000921: JUMPI
00000922: POP
00000923: DUP7
00000924: MLOAD
00000925: DUP13
00000926: MLOAD
00000927: EQ
00000928: JUMPDEST
00000929: PUSH2 0x0944
0000092c: JUMPI
0000092d: PUSH1 0x40
0000092f: MLOAD
00000930: PUSH3 0x461bcd
00000934: PUSH1 0xe5
00000936: SHL
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x04
0000093b: ADD
0000093c: PUSH2 0x0374
0000093f: SWAP1
00000940: PUSH2 0x2354
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x01
00000947: SLOAD
00000948: PUSH2 0x0955
0000094b: DUP14
0000094c: DUP14
0000094d: DUP14
0000094e: PUSH1 0x06
00000950: SLOAD
00000951: PUSH2 0x0e48
00000954: JUMP
00000955: JUMPDEST
00000956: EQ
00000957: PUSH2 0x0972
0000095a: JUMPI
0000095b: PUSH1 0x40
0000095d: MLOAD
0000095e: PUSH3 0x461bcd
00000962: PUSH1 0xe5
00000964: SHL
00000965: DUP2
00000966: MSTORE
00000967: PUSH1 0x04
00000969: ADD
0000096a: PUSH2 0x0374
0000096d: SWAP1
0000096e: PUSH2 0x1ef2
00000971: JUMP
00000972: JUMPDEST
00000973: DUP5
00000974: MLOAD
00000975: DUP7
00000976: MLOAD
00000977: EQ
00000978: DUP1
00000979: ISZERO
0000097a: PUSH2 0x0984
0000097d: JUMPI
0000097e: POP
0000097f: DUP4
00000980: MLOAD
00000981: DUP7
00000982: MLOAD
00000983: EQ
00000984: JUMPDEST
00000985: PUSH2 0x09a0
00000988: JUMPI
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: PUSH3 0x461bcd
00000990: PUSH1 0xe5
00000992: SHL
00000993: DUP2
00000994: MSTORE
00000995: PUSH1 0x04
00000997: ADD
00000998: PUSH2 0x0374
0000099b: SWAP1
0000099c: PUSH2 0x1fa5
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH2 0x09fa
000009a4: DUP13
000009a5: DUP13
000009a6: DUP12
000009a7: DUP12
000009a8: DUP12
000009a9: PUSH1 0x06
000009ab: SLOAD
000009ac: PUSH16 0x0e8e4c2dce6c2c6e8d2dedc84c2e8c6d
000009bd: PUSH1 0x83
000009bf: SHL
000009c0: DUP14
000009c1: DUP14
000009c2: DUP14
000009c3: DUP14
000009c4: DUP14
000009c5: DUP14
000009c6: PUSH1 0x40
000009c8: MLOAD
000009c9: PUSH1 0x20
000009cb: ADD
000009cc: PUSH2 0x09dc
000009cf: SWAP9
000009d0: SWAP8
000009d1: SWAP7
000009d2: SWAP6
000009d3: SWAP5
000009d4: SWAP4
000009d5: SWAP3
000009d6: SWAP2
000009d7: SWAP1
000009d8: PUSH2 0x1da6
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: PUSH1 0x20
000009e2: DUP2
000009e3: DUP4
000009e4: SUB
000009e5: SUB
000009e6: DUP2
000009e7: MSTORE
000009e8: SWAP1
000009e9: PUSH1 0x40
000009eb: MSTORE
000009ec: DUP1
000009ed: MLOAD
000009ee: SWAP1
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: KECCAK256
000009f3: PUSH1 0x07
000009f5: SLOAD
000009f6: PUSH2 0x0e9a
000009f9: JUMP
000009fa: JUMPDEST
000009fb: PUSH1 0x01
000009fd: PUSH1 0x01
000009ff: PUSH1 0xa0
00000a01: SHL
00000a02: SUB
00000a03: DUP1
00000a04: DUP4
00000a05: AND
00000a06: PUSH1 0x00
00000a08: DUP2
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x02
00000a0d: PUSH1 0x20
00000a0f: MSTORE
00000a10: PUSH1 0x40
00000a12: SWAP1
00000a13: KECCAK256
00000a14: DUP6
00000a15: SWAP1
00000a16: SSTORE
00000a17: PUSH1 0x08
00000a19: SLOAD
00000a1a: SWAP1
00000a1b: SWAP2
00000a1c: AND
00000a1d: EQ
00000a1e: ISZERO
00000a1f: PUSH2 0x0ae5
00000a22: JUMPI
00000a23: PUSH1 0x00
00000a25: JUMPDEST
00000a26: DUP7
00000a27: MLOAD
00000a28: DUP2
00000a29: LT
00000a2a: ISZERO
00000a2b: PUSH2 0x0adf
00000a2e: JUMPI
00000a2f: PUSH1 0x08
00000a31: SLOAD
00000a32: DUP8
00000a33: MLOAD
00000a34: PUSH1 0x01
00000a36: PUSH1 0x01
00000a38: PUSH1 0xa0
00000a3a: SHL
00000a3b: SUB
00000a3c: SWAP1
00000a3d: SWAP2
00000a3e: AND
00000a3f: SWAP1
00000a40: PUSH4 0x2e1a7d4d
00000a45: SWAP1
00000a46: DUP10
00000a47: SWAP1
00000a48: DUP5
00000a49: SWAP1
00000a4a: DUP2
00000a4b: LT
00000a4c: PUSH2 0x0a51
00000a4f: JUMPI
00000a50: INVALID
00000a51: JUMPDEST
00000a52: PUSH1 0x20
00000a54: MUL
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: ADD
00000a59: MLOAD
00000a5a: PUSH1 0x40
00000a5c: MLOAD
00000a5d: DUP3
00000a5e: PUSH4 0xffffffff
00000a63: AND
00000a64: PUSH1 0xe0
00000a66: SHL
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x04
00000a6b: ADD
00000a6c: PUSH2 0x0a75
00000a6f: SWAP2
00000a70: SWAP1
00000a71: PUSH2 0x1cb4
00000a74: JUMP
00000a75: JUMPDEST
00000a76: PUSH1 0x00
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: DUP1
00000a7c: DUP4
00000a7d: SUB
00000a7e: DUP2
00000a7f: PUSH1 0x00
00000a81: DUP8
00000a82: DUP1
00000a83: EXTCODESIZE
00000a84: ISZERO
00000a85: DUP1
00000a86: ISZERO
00000a87: PUSH2 0x0a8f
00000a8a: JUMPI
00000a8b: PUSH1 0x00
00000a8d: DUP1
00000a8e: REVERT
00000a8f: JUMPDEST
00000a90: POP
00000a91: GAS
00000a92: CALL
00000a93: ISZERO
00000a94: DUP1
00000a95: ISZERO
00000a96: PUSH2 0x0aa3
00000a99: JUMPI
00000a9a: RETURNDATASIZE
00000a9b: PUSH1 0x00
00000a9d: DUP1
00000a9e: RETURNDATACOPY
00000a9f: RETURNDATASIZE
00000aa0: PUSH1 0x00
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: POP
00000aa5: POP
00000aa6: POP
00000aa7: POP
00000aa8: PUSH2 0x0ad7
00000aab: DUP7
00000aac: DUP3
00000aad: DUP2
00000aae: MLOAD
00000aaf: DUP2
00000ab0: LT
00000ab1: PUSH2 0x0ab6
00000ab4: JUMPI
00000ab5: INVALID
00000ab6: JUMPDEST
00000ab7: PUSH1 0x20
00000ab9: MUL
00000aba: PUSH1 0x20
00000abc: ADD
00000abd: ADD
00000abe: MLOAD
00000abf: DUP9
00000ac0: DUP4
00000ac1: DUP2
00000ac2: MLOAD
00000ac3: DUP2
00000ac4: LT
00000ac5: PUSH2 0x0aca
00000ac8: JUMPI
00000ac9: INVALID
00000aca: JUMPDEST
00000acb: PUSH1 0x20
00000acd: MUL
00000ace: PUSH1 0x20
00000ad0: ADD
00000ad1: ADD
00000ad2: MLOAD
00000ad3: PUSH2 0x107e
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH1 0x01
00000ada: ADD
00000adb: PUSH2 0x0a25
00000ade: JUMP
00000adf: JUMPDEST
00000ae0: POP
00000ae1: PUSH2 0x0b3f
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: PUSH1 0x00
00000ae8: JUMPDEST
00000ae9: DUP7
00000aea: MLOAD
00000aeb: DUP2
00000aec: LT
00000aed: ISZERO
00000aee: PUSH2 0x0b3d
00000af1: JUMPI
00000af2: PUSH2 0x0b35
00000af5: DUP7
00000af6: DUP3
00000af7: DUP2
00000af8: MLOAD
00000af9: DUP2
00000afa: LT
00000afb: PUSH2 0x0b00
00000afe: JUMPI
00000aff: INVALID
00000b00: JUMPDEST
00000b01: PUSH1 0x20
00000b03: MUL
00000b04: PUSH1 0x20
00000b06: ADD
00000b07: ADD
00000b08: MLOAD
00000b09: DUP9
00000b0a: DUP4
00000b0b: DUP2
00000b0c: MLOAD
00000b0d: DUP2
00000b0e: LT
00000b0f: PUSH2 0x0b14
00000b12: JUMPI
00000b13: INVALID
00000b14: JUMPDEST
00000b15: PUSH1 0x20
00000b17: MUL
00000b18: PUSH1 0x20
00000b1a: ADD
00000b1b: ADD
00000b1c: MLOAD
00000b1d: DUP6
00000b1e: PUSH1 0x01
00000b20: PUSH1 0x01
00000b22: PUSH1 0xa0
00000b24: SHL
00000b25: SUB
00000b26: AND
00000b27: PUSH2 0x0f91
00000b2a: SWAP1
00000b2b: SWAP3
00000b2c: SWAP2
00000b2d: SWAP1
00000b2e: PUSH4 0xffffffff
00000b33: AND
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x01
00000b38: ADD
00000b39: PUSH2 0x0ae8
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: POP
00000b3f: JUMPDEST
00000b40: PUSH1 0x05
00000b42: SLOAD
00000b43: PUSH2 0x0b4d
00000b46: SWAP1
00000b47: PUSH1 0x01
00000b49: PUSH2 0x1032
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: PUSH1 0x05
00000b50: DUP2
00000b51: SWAP1
00000b52: SSTORE
00000b53: PUSH1 0x40
00000b55: MLOAD
00000b56: PUSH1 0x01
00000b58: PUSH1 0x01
00000b5a: PUSH1 0xa0
00000b5c: SHL
00000b5d: SUB
00000b5e: DUP5
00000b5f: AND
00000b60: SWAP2
00000b61: DUP6
00000b62: SWAP2
00000b63: PUSH32 0x02c7e81975f8edb86e2a0c038b7b86a49c744236abf0f6177ff5afc6986ab708
00000b84: SWAP2
00000b85: PUSH2 0x0b8d
00000b88: SWAP2
00000b89: PUSH2 0x1cb4
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x40
00000b90: MLOAD
00000b91: DUP1
00000b92: SWAP2
00000b93: SUB
00000b94: SWAP1
00000b95: LOG3
00000b96: POP
00000b97: POP
00000b98: PUSH1 0x01
00000b9a: PUSH1 0x00
00000b9c: SSTORE
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: POP
00000ba2: POP
00000ba3: POP
00000ba4: POP
00000ba5: POP
00000ba6: POP
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH1 0x04
00000bab: SLOAD
00000bac: DUP2
00000bad: JUMP
00000bae: JUMPDEST
00000baf: PUSH1 0x06
00000bb1: SLOAD
00000bb2: DUP2
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x00
00000bb7: SWAP1
00000bb8: DUP2
00000bb9: MSTORE
00000bba: PUSH1 0x03
00000bbc: PUSH1 0x20
00000bbe: MSTORE
00000bbf: PUSH1 0x40
00000bc1: SWAP1
00000bc2: KECCAK256
00000bc3: SLOAD
00000bc4: SWAP1
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x02
00000bc9: PUSH1 0x20
00000bcb: MSTORE
00000bcc: PUSH1 0x00
00000bce: SWAP1
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x40
00000bd3: SWAP1
00000bd4: KECCAK256
00000bd5: SLOAD
00000bd6: DUP2
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: PUSH1 0x02
00000bdb: PUSH1 0x00
00000bdd: SLOAD
00000bde: EQ
00000bdf: ISZERO
00000be0: PUSH2 0x0bfb
00000be3: JUMPI
00000be4: PUSH1 0x40
00000be6: MLOAD
00000be7: PUSH3 0x461bcd
00000beb: PUSH1 0xe5
00000bed: SHL
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x04
00000bf2: ADD
00000bf3: PUSH2 0x0374
00000bf6: SWAP1
00000bf7: PUSH2 0x238b
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH1 0x02
00000bfe: PUSH1 0x00
00000c00: SWAP1
00000c01: DUP2
00000c02: SSTORE
00000c03: PUSH1 0x08
00000c05: SLOAD
00000c06: PUSH1 0x40
00000c08: DUP1
00000c09: MLOAD
00000c0a: PUSH4 0x0d0e30db
00000c0f: PUSH1 0xe4
00000c11: SHL
00000c12: DUP2
00000c13: MSTORE
00000c14: SWAP1
00000c15: MLOAD
00000c16: PUSH1 0x01
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: SHL
00000c1d: SUB
00000c1e: SWAP1
00000c1f: SWAP3
00000c20: AND
00000c21: SWAP3
00000c22: PUSH4 0xd0e30db0
00000c27: SWAP3
00000c28: CALLVALUE
00000c29: SWAP3
00000c2a: PUSH1 0x04
00000c2c: DUP1
00000c2d: DUP3
00000c2e: ADD
00000c2f: SWAP4
00000c30: SWAP3
00000c31: SWAP2
00000c32: DUP3
00000c33: SWAP1
00000c34: SUB
00000c35: ADD
00000c36: DUP2
00000c37: DUP6
00000c38: DUP9
00000c39: DUP1
00000c3a: EXTCODESIZE
00000c3b: ISZERO
00000c3c: DUP1
00000c3d: ISZERO
00000c3e: PUSH2 0x0c46
00000c41: JUMPI
00000c42: PUSH1 0x00
00000c44: DUP1
00000c45: REVERT
00000c46: JUMPDEST
00000c47: POP
00000c48: GAS
00000c49: CALL
00000c4a: ISZERO
00000c4b: DUP1
00000c4c: ISZERO
00000c4d: PUSH2 0x0c5a
00000c50: JUMPI
00000c51: RETURNDATASIZE
00000c52: PUSH1 0x00
00000c54: DUP1
00000c55: RETURNDATACOPY
00000c56: RETURNDATASIZE
00000c57: PUSH1 0x00
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: POP
00000c60: PUSH2 0x0c75
00000c63: PUSH1 0x01
00000c65: PUSH1 0x05
00000c67: SLOAD
00000c68: PUSH2 0x1032
00000c6b: SWAP1
00000c6c: SWAP2
00000c6d: SWAP1
00000c6e: PUSH4 0xffffffff
00000c73: AND
00000c74: JUMP
00000c75: JUMPDEST
00000c76: PUSH1 0x05
00000c78: DUP2
00000c79: SWAP1
00000c7a: SSTORE
00000c7b: PUSH1 0x08
00000c7d: SLOAD
00000c7e: PUSH1 0x40
00000c80: MLOAD
00000c81: DUP6
00000c82: SWAP3
00000c83: CALLER
00000c84: SWAP3
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: AND
00000c8e: SWAP2
00000c8f: PUSH32 0x7f4f5725b195c7be189dc38c65df0483114975b57463ac93012ba3ede3b56a95
00000cb0: SWAP2
00000cb1: PUSH2 0x0cc0
00000cb4: SWAP2
00000cb5: DUP9
00000cb6: SWAP2
00000cb7: CALLVALUE
00000cb8: SWAP2
00000cb9: DUP10
00000cba: SWAP2
00000cbb: SWAP1
00000cbc: PUSH2 0x1e76
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH1 0x40
00000cc3: MLOAD
00000cc4: DUP1
00000cc5: SWAP2
00000cc6: SUB
00000cc7: SWAP1
00000cc8: LOG4
00000cc9: POP
00000cca: POP
00000ccb: PUSH1 0x01
00000ccd: PUSH1 0x00
00000ccf: SSTORE
00000cd0: POP
00000cd1: JUMP
00000cd2: JUMPDEST
00000cd3: PUSH1 0x02
00000cd5: PUSH1 0x00
00000cd7: SLOAD
00000cd8: EQ
00000cd9: ISZERO
00000cda: PUSH2 0x0cf5
00000cdd: JUMPI
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: PUSH3 0x461bcd
00000ce5: PUSH1 0xe5
00000ce7: SHL
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x04
00000cec: ADD
00000ced: PUSH2 0x0374
00000cf0: SWAP1
00000cf1: PUSH2 0x238b
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x02
00000cf8: PUSH1 0x00
00000cfa: SSTORE
00000cfb: DUP4
00000cfc: DUP8
00000cfd: GT
00000cfe: PUSH2 0x0d19
00000d01: JUMPI
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: PUSH3 0x461bcd
00000d09: PUSH1 0xe5
00000d0b: SHL
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x04
00000d10: ADD
00000d11: PUSH2 0x0374
00000d14: SWAP1
00000d15: PUSH2 0x2233
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: DUP8
00000d1b: MLOAD
00000d1c: DUP10
00000d1d: MLOAD
00000d1e: EQ
00000d1f: PUSH2 0x0d3a
00000d22: JUMPI
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: PUSH3 0x461bcd
00000d2a: PUSH1 0xe5
00000d2c: SHL
00000d2d: DUP2
00000d2e: MSTORE
00000d2f: PUSH1 0x04
00000d31: ADD
00000d32: PUSH2 0x0374
00000d35: SWAP1
00000d36: PUSH2 0x2174
00000d39: JUMP
00000d3a: JUMPDEST
00000d3b: DUP5
00000d3c: MLOAD
00000d3d: DUP7
00000d3e: MLOAD
00000d3f: EQ
00000d40: DUP1
00000d41: ISZERO
00000d42: PUSH2 0x0d4c
00000d45: JUMPI
00000d46: POP
00000d47: DUP3
00000d48: MLOAD
00000d49: DUP7
00000d4a: MLOAD
00000d4b: EQ
00000d4c: JUMPDEST
00000d4d: DUP1
00000d4e: ISZERO
00000d4f: PUSH2 0x0d59
00000d52: JUMPI
00000d53: POP
00000d54: DUP2
00000d55: MLOAD
00000d56: DUP7
00000d57: MLOAD
00000d58: EQ
00000d59: JUMPDEST
00000d5a: DUP1
00000d5b: ISZERO
00000d5c: PUSH2 0x0d66
00000d5f: JUMPI
00000d60: POP
00000d61: DUP1
00000d62: MLOAD
00000d63: DUP7
00000d64: MLOAD
00000d65: EQ
00000d66: JUMPDEST
00000d67: PUSH2 0x0d82
00000d6a: JUMPI
00000d6b: PUSH1 0x40
00000d6d: MLOAD
00000d6e: PUSH3 0x461bcd
00000d72: PUSH1 0xe5
00000d74: SHL
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x04
00000d79: ADD
00000d7a: PUSH2 0x0374
00000d7d: SWAP1
00000d7e: PUSH2 0x2354
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x01
00000d85: SLOAD
00000d86: PUSH2 0x0d93
00000d89: DUP8
00000d8a: DUP8
00000d8b: DUP8
00000d8c: PUSH1 0x06
00000d8e: SLOAD
00000d8f: PUSH2 0x0e48
00000d92: JUMP
00000d93: JUMPDEST
00000d94: EQ
00000d95: PUSH2 0x0db0
00000d98: JUMPI
00000d99: PUSH1 0x40
00000d9b: MLOAD
00000d9c: PUSH3 0x461bcd
00000da0: PUSH1 0xe5
00000da2: SHL
00000da3: DUP2
00000da4: MSTORE
00000da5: PUSH1 0x04
00000da7: ADD
00000da8: PUSH2 0x0374
00000dab: SWAP1
00000dac: PUSH2 0x1ef2
00000daf: JUMP
00000db0: JUMPDEST
00000db1: PUSH1 0x00
00000db3: PUSH2 0x0dc0
00000db6: DUP11
00000db7: DUP11
00000db8: DUP11
00000db9: PUSH1 0x06
00000dbb: SLOAD
00000dbc: PUSH2 0x0e48
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: SWAP1
00000dc2: POP
00000dc3: PUSH2 0x0dd3
00000dc6: DUP8
00000dc7: DUP8
00000dc8: DUP7
00000dc9: DUP7
00000dca: DUP7
00000dcb: DUP7
00000dcc: PUSH1 0x07
00000dce: SLOAD
00000dcf: PUSH2 0x0e9a
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x01
00000dd6: DUP2
00000dd7: DUP2
00000dd8: SSTORE
00000dd9: PUSH1 0x04
00000ddb: DUP10
00000ddc: SWAP1
00000ddd: SSTORE
00000dde: PUSH1 0x05
00000de0: SLOAD
00000de1: PUSH2 0x0de9
00000de4: SWAP2
00000de5: PUSH2 0x1032
00000de8: JUMP
00000de9: JUMPDEST
00000dea: PUSH1 0x05
00000dec: DUP2
00000ded: SWAP1
00000dee: SSTORE
00000def: PUSH1 0x40
00000df1: MLOAD
00000df2: DUP10
00000df3: SWAP2
00000df4: PUSH32 0xb119f1f36224601586b5037da909ecf37e83864dddea5d32ad4e32ac1d97e62b
00000e15: SWAP2
00000e16: PUSH2 0x0e23
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: DUP15
00000e1c: SWAP1
00000e1d: DUP15
00000e1e: SWAP1
00000e1f: PUSH2 0x23c2
00000e22: JUMP
00000e23: JUMPDEST
00000e24: PUSH1 0x40
00000e26: MLOAD
00000e27: DUP1
00000e28: SWAP2
00000e29: SUB
00000e2a: SWAP1
00000e2b: LOG2
00000e2c: POP
00000e2d: POP
00000e2e: PUSH1 0x01
00000e30: PUSH1 0x00
00000e32: SSTORE
00000e33: POP
00000e34: POP
00000e35: POP
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: POP
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH1 0x07
00000e3f: SLOAD
00000e40: DUP2
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH1 0x01
00000e45: SLOAD
00000e46: DUP2
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: PUSH1 0x00
00000e4e: SWAP1
00000e4f: PUSH10 0x18da1958dadc1bda5b9d
00000e5a: PUSH1 0xb2
00000e5c: SHL
00000e5d: SWAP1
00000e5e: DUP3
00000e5f: SWAP1
00000e60: PUSH2 0x0e75
00000e63: SWAP1
00000e64: DUP6
00000e65: SWAP1
00000e66: DUP5
00000e67: SWAP1
00000e68: DUP9
00000e69: SWAP1
00000e6a: DUP12
00000e6b: SWAP1
00000e6c: DUP12
00000e6d: SWAP1
00000e6e: PUSH1 0x20
00000e70: ADD
00000e71: PUSH2 0x1cbd
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH1 0x40
00000e78: DUP1
00000e79: MLOAD
00000e7a: PUSH1 0x1f
00000e7c: NOT
00000e7d: DUP2
00000e7e: DUP5
00000e7f: SUB
00000e80: ADD
00000e81: DUP2
00000e82: MSTORE
00000e83: SWAP2
00000e84: SWAP1
00000e85: MSTORE
00000e86: DUP1
00000e87: MLOAD
00000e88: PUSH1 0x20
00000e8a: SWAP1
00000e8b: SWAP2
00000e8c: ADD
00000e8d: KECCAK256
00000e8e: SWAP3
00000e8f: POP
00000e90: POP
00000e91: POP
00000e92: JUMPDEST
00000e93: SWAP5
00000e94: SWAP4
00000e95: POP
00000e96: POP
00000e97: POP
00000e98: POP
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x00
00000e9d: DUP1
00000e9e: JUMPDEST
00000e9f: DUP9
00000ea0: MLOAD
00000ea1: DUP2
00000ea2: LT
00000ea3: ISZERO
00000ea4: PUSH2 0x0f67
00000ea7: JUMPI
00000ea8: DUP7
00000ea9: DUP2
00000eaa: DUP2
00000eab: MLOAD
00000eac: DUP2
00000ead: LT
00000eae: PUSH2 0x0eb3
00000eb1: JUMPI
00000eb2: INVALID
00000eb3: JUMPDEST
00000eb4: PUSH1 0x20
00000eb6: MUL
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: ADD
00000ebb: MLOAD
00000ebc: PUSH1 0xff
00000ebe: AND
00000ebf: PUSH1 0x00
00000ec1: EQ
00000ec2: PUSH2 0x0f5f
00000ec5: JUMPI
00000ec6: PUSH2 0x0f1e
00000ec9: DUP10
00000eca: DUP3
00000ecb: DUP2
00000ecc: MLOAD
00000ecd: DUP2
00000ece: LT
00000ecf: PUSH2 0x0ed4
00000ed2: JUMPI
00000ed3: INVALID
00000ed4: JUMPDEST
00000ed5: PUSH1 0x20
00000ed7: MUL
00000ed8: PUSH1 0x20
00000eda: ADD
00000edb: ADD
00000edc: MLOAD
00000edd: DUP6
00000ede: DUP10
00000edf: DUP5
00000ee0: DUP2
00000ee1: MLOAD
00000ee2: DUP2
00000ee3: LT
00000ee4: PUSH2 0x0ee9
00000ee7: JUMPI
00000ee8: INVALID
00000ee9: JUMPDEST
00000eea: PUSH1 0x20
00000eec: MUL
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: ADD
00000ef1: MLOAD
00000ef2: DUP10
00000ef3: DUP6
00000ef4: DUP2
00000ef5: MLOAD
00000ef6: DUP2
00000ef7: LT
00000ef8: PUSH2 0x0efd
00000efb: JUMPI
00000efc: INVALID
00000efd: JUMPDEST
00000efe: PUSH1 0x20
00000f00: MUL
00000f01: PUSH1 0x20
00000f03: ADD
00000f04: ADD
00000f05: MLOAD
00000f06: DUP10
00000f07: DUP7
00000f08: DUP2
00000f09: MLOAD
00000f0a: DUP2
00000f0b: LT
00000f0c: PUSH2 0x0f11
00000f0f: JUMPI
00000f10: INVALID
00000f11: JUMPDEST
00000f12: PUSH1 0x20
00000f14: MUL
00000f15: PUSH1 0x20
00000f17: ADD
00000f18: ADD
00000f19: MLOAD
00000f1a: PUSH2 0x110b
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH2 0x0f3a
00000f22: JUMPI
00000f23: PUSH1 0x40
00000f25: MLOAD
00000f26: PUSH3 0x461bcd
00000f2a: PUSH1 0xe5
00000f2c: SHL
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x04
00000f31: ADD
00000f32: PUSH2 0x0374
00000f35: SWAP1
00000f36: PUSH2 0x2093
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: DUP8
00000f3c: DUP2
00000f3d: DUP2
00000f3e: MLOAD
00000f3f: DUP2
00000f40: LT
00000f41: PUSH2 0x0f46
00000f44: JUMPI
00000f45: INVALID
00000f46: JUMPDEST
00000f47: PUSH1 0x20
00000f49: MUL
00000f4a: PUSH1 0x20
00000f4c: ADD
00000f4d: ADD
00000f4e: MLOAD
00000f4f: DUP3
00000f50: ADD
00000f51: SWAP2
00000f52: POP
00000f53: DUP3
00000f54: DUP3
00000f55: GT
00000f56: ISZERO
00000f57: PUSH2 0x0f5f
00000f5a: JUMPI
00000f5b: PUSH2 0x0f67
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x01
00000f62: ADD
00000f63: PUSH2 0x0e9e
00000f66: JUMP
00000f67: JUMPDEST
00000f68: POP
00000f69: DUP2
00000f6a: DUP2
00000f6b: GT
00000f6c: PUSH2 0x0f87
00000f6f: JUMPI
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: PUSH3 0x461bcd
00000f77: PUSH1 0xe5
00000f79: SHL
00000f7a: DUP2
00000f7b: MSTORE
00000f7c: PUSH1 0x04
00000f7e: ADD
00000f7f: PUSH2 0x0374
00000f82: SWAP1
00000f83: PUSH2 0x21d6
00000f86: JUMP
00000f87: JUMPDEST
00000f88: POP
00000f89: POP
00000f8a: POP
00000f8b: POP
00000f8c: POP
00000f8d: POP
00000f8e: POP
00000f8f: POP
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH2 0x0750
00000f95: DUP4
00000f96: PUSH4 0xa9059cbb
00000f9b: PUSH1 0xe0
00000f9d: SHL
00000f9e: DUP5
00000f9f: DUP5
00000fa0: PUSH1 0x40
00000fa2: MLOAD
00000fa3: PUSH1 0x24
00000fa5: ADD
00000fa6: PUSH2 0x0fb0
00000fa9: SWAP3
00000faa: SWAP2
00000fab: SWAP1
00000fac: PUSH2 0x1c9b
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x40
00000fb3: DUP1
00000fb4: MLOAD
00000fb5: PUSH1 0x1f
00000fb7: NOT
00000fb8: DUP2
00000fb9: DUP5
00000fba: SUB
00000fbb: ADD
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: SWAP2
00000fbf: SWAP1
00000fc0: MSTORE
00000fc1: PUSH1 0x20
00000fc3: DUP2
00000fc4: ADD
00000fc5: DUP1
00000fc6: MLOAD
00000fc7: PUSH1 0x01
00000fc9: PUSH1 0x01
00000fcb: PUSH1 0xe0
00000fcd: SHL
00000fce: SUB
00000fcf: AND
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0x01
00000fd4: PUSH1 0xe0
00000fd6: SHL
00000fd7: SUB
00000fd8: NOT
00000fd9: SWAP1
00000fda: SWAP4
00000fdb: AND
00000fdc: SWAP3
00000fdd: SWAP1
00000fde: SWAP3
00000fdf: OR
00000fe0: SWAP1
00000fe1: SWAP2
00000fe2: MSTORE
00000fe3: PUSH2 0x11a6
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: PUSH1 0x60
00000fea: PUSH2 0x1029
00000fed: DUP4
00000fee: DUP4
00000fef: PUSH1 0x40
00000ff1: MLOAD
00000ff2: DUP1
00000ff3: PUSH1 0x40
00000ff5: ADD
00000ff6: PUSH1 0x40
00000ff8: MSTORE
00000ff9: DUP1
00000ffa: PUSH1 0x1e
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x20
00001000: ADD
00001001: PUSH32 0x416464726573733a206c6f772d6c6576656c2063616c6c206661696c65640000
00001022: DUP2
00001023: MSTORE
00001024: POP
00001025: PUSH2 0x1235
00001028: JUMP
00001029: JUMPDEST
0000102a: SWAP1
0000102b: POP
0000102c: JUMPDEST
0000102d: SWAP3
0000102e: SWAP2
0000102f: POP
00001030: POP
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x00
00001035: DUP3
00001036: DUP3
00001037: ADD
00001038: DUP4
00001039: DUP2
0000103a: LT
0000103b: ISZERO
0000103c: PUSH2 0x1029
0000103f: JUMPI
00001040: PUSH1 0x40
00001042: MLOAD
00001043: PUSH3 0x461bcd
00001047: PUSH1 0xe5
00001049: SHL
0000104a: DUP2
0000104b: MSTORE
0000104c: PUSH1 0x04
0000104e: ADD
0000104f: PUSH2 0x0374
00001052: SWAP1
00001053: PUSH2 0x2039
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH2 0x1078
0000105b: DUP5
0000105c: PUSH4 0x23b872dd
00001061: PUSH1 0xe0
00001063: SHL
00001064: DUP6
00001065: DUP6
00001066: DUP6
00001067: PUSH1 0x40
00001069: MLOAD
0000106a: PUSH1 0x24
0000106c: ADD
0000106d: PUSH2 0x0fb0
00001070: SWAP4
00001071: SWAP3
00001072: SWAP2
00001073: SWAP1
00001074: PUSH2 0x1c77
00001077: JUMP
00001078: JUMPDEST
00001079: POP
0000107a: POP
0000107b: POP
0000107c: POP
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH1 0x40
00001081: DUP1
00001082: MLOAD
00001083: PUSH1 0x00
00001085: DUP1
00001086: DUP3
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: DUP3
0000108b: ADD
0000108c: SWAP1
0000108d: SWAP3
0000108e: MSTORE
0000108f: PUSH1 0x01
00001091: PUSH1 0x01
00001093: PUSH1 0xa0
00001095: SHL
00001096: SUB
00001097: DUP5
00001098: AND
00001099: SWAP1
0000109a: DUP4
0000109b: SWAP1
0000109c: PUSH1 0x40
0000109e: MLOAD
0000109f: PUSH2 0x10a8
000010a2: SWAP2
000010a3: SWAP1
000010a4: PUSH2 0x1c16
000010a7: JUMP
000010a8: JUMPDEST
000010a9: PUSH1 0x00
000010ab: PUSH1 0x40
000010ad: MLOAD
000010ae: DUP1
000010af: DUP4
000010b0: SUB
000010b1: DUP2
000010b2: DUP6
000010b3: DUP8
000010b4: GAS
000010b5: CALL
000010b6: SWAP3
000010b7: POP
000010b8: POP
000010b9: POP
000010ba: RETURNDATASIZE
000010bb: DUP1
000010bc: PUSH1 0x00
000010be: DUP2
000010bf: EQ
000010c0: PUSH2 0x10e5
000010c3: JUMPI
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: SWAP2
000010c8: POP
000010c9: PUSH1 0x1f
000010cb: NOT
000010cc: PUSH1 0x3f
000010ce: RETURNDATASIZE
000010cf: ADD
000010d0: AND
000010d1: DUP3
000010d2: ADD
000010d3: PUSH1 0x40
000010d5: MSTORE
000010d6: RETURNDATASIZE
000010d7: DUP3
000010d8: MSTORE
000010d9: RETURNDATASIZE
000010da: PUSH1 0x00
000010dc: PUSH1 0x20
000010de: DUP5
000010df: ADD
000010e0: RETURNDATACOPY
000010e1: PUSH2 0x10ea
000010e4: JUMP
000010e5: JUMPDEST
000010e6: PUSH1 0x60
000010e8: SWAP2
000010e9: POP
000010ea: JUMPDEST
000010eb: POP
000010ec: POP
000010ed: SWAP1
000010ee: POP
000010ef: DUP1
000010f0: PUSH2 0x0750
000010f3: JUMPI
000010f4: PUSH1 0x40
000010f6: MLOAD
000010f7: PUSH3 0x461bcd
000010fb: PUSH1 0xe5
000010fd: SHL
000010fe: DUP2
000010ff: MSTORE
00001100: PUSH1 0x04
00001102: ADD
00001103: PUSH2 0x0374
00001106: SWAP1
00001107: PUSH2 0x22c7
0000110a: JUMP
0000110b: JUMPDEST
0000110c: PUSH1 0x00
0000110e: DUP1
0000110f: DUP6
00001110: PUSH1 0x40
00001112: MLOAD
00001113: PUSH1 0x20
00001115: ADD
00001116: PUSH2 0x111f
00001119: SWAP2
0000111a: SWAP1
0000111b: PUSH2 0x1c32
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x40
00001122: MLOAD
00001123: PUSH1 0x20
00001125: DUP2
00001126: DUP4
00001127: SUB
00001128: SUB
00001129: DUP2
0000112a: MSTORE
0000112b: SWAP1
0000112c: PUSH1 0x40
0000112e: MSTORE
0000112f: DUP1
00001130: MLOAD
00001131: SWAP1
00001132: PUSH1 0x20
00001134: ADD
00001135: KECCAK256
00001136: SWAP1
00001137: POP
00001138: PUSH1 0x01
0000113a: DUP2
0000113b: DUP7
0000113c: DUP7
0000113d: DUP7
0000113e: PUSH1 0x40
00001140: MLOAD
00001141: PUSH1 0x00
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x20
00001147: ADD
00001148: PUSH1 0x40
0000114a: MSTORE
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: PUSH2 0x115a
00001151: SWAP5
00001152: SWAP4
00001153: SWAP3
00001154: SWAP2
00001155: SWAP1
00001156: PUSH2 0x1e91
00001159: JUMP
0000115a: JUMPDEST
0000115b: PUSH1 0x20
0000115d: PUSH1 0x40
0000115f: MLOAD
00001160: PUSH1 0x20
00001162: DUP2
00001163: SUB
00001164: SWAP1
00001165: DUP1
00001166: DUP5
00001167: SUB
00001168: SWAP1
00001169: DUP6
0000116a: GAS
0000116b: STATICCALL
0000116c: ISZERO
0000116d: DUP1
0000116e: ISZERO
0000116f: PUSH2 0x117c
00001172: JUMPI
00001173: RETURNDATASIZE
00001174: PUSH1 0x00
00001176: DUP1
00001177: RETURNDATACOPY
00001178: RETURNDATASIZE
00001179: PUSH1 0x00
0000117b: REVERT
0000117c: JUMPDEST
0000117d: POP
0000117e: POP
0000117f: POP
00001180: PUSH1 0x20
00001182: PUSH1 0x40
00001184: MLOAD
00001185: SUB
00001186: MLOAD
00001187: PUSH1 0x01
00001189: PUSH1 0x01
0000118b: PUSH1 0xa0
0000118d: SHL
0000118e: SUB
0000118f: AND
00001190: DUP8
00001191: PUSH1 0x01
00001193: PUSH1 0x01
00001195: PUSH1 0xa0
00001197: SHL
00001198: SUB
00001199: AND
0000119a: EQ
0000119b: SWAP2
0000119c: POP
0000119d: POP
0000119e: SWAP6
0000119f: SWAP5
000011a0: POP
000011a1: POP
000011a2: POP
000011a3: POP
000011a4: POP
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH1 0x60
000011a9: PUSH2 0x11fb
000011ac: DUP3
000011ad: PUSH1 0x40
000011af: MLOAD
000011b0: DUP1
000011b1: PUSH1 0x40
000011b3: ADD
000011b4: PUSH1 0x40
000011b6: MSTORE
000011b7: DUP1
000011b8: PUSH1 0x20
000011ba: DUP2
000011bb: MSTORE
000011bc: PUSH1 0x20
000011be: ADD
000011bf: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000011e0: DUP2
000011e1: MSTORE
000011e2: POP
000011e3: DUP6
000011e4: PUSH1 0x01
000011e6: PUSH1 0x01
000011e8: PUSH1 0xa0
000011ea: SHL
000011eb: SUB
000011ec: AND
000011ed: PUSH2 0x1235
000011f0: SWAP1
000011f1: SWAP3
000011f2: SWAP2
000011f3: SWAP1
000011f4: PUSH4 0xffffffff
000011f9: AND
000011fa: JUMP
000011fb: JUMPDEST
000011fc: DUP1
000011fd: MLOAD
000011fe: SWAP1
000011ff: SWAP2
00001200: POP
00001201: ISZERO
00001202: PUSH2 0x0750
00001205: JUMPI
00001206: DUP1
00001207: DUP1
00001208: PUSH1 0x20
0000120a: ADD
0000120b: SWAP1
0000120c: MLOAD
0000120d: DUP2
0000120e: ADD
0000120f: SWAP1
00001210: PUSH2 0x1219
00001213: SWAP2
00001214: SWAP1
00001215: PUSH2 0x1adf
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH2 0x0750
0000121d: JUMPI
0000121e: PUSH1 0x40
00001220: MLOAD
00001221: PUSH3 0x461bcd
00001225: PUSH1 0xe5
00001227: SHL
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x04
0000122c: ADD
0000122d: PUSH2 0x0374
00001230: SWAP1
00001231: PUSH2 0x230a
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH1 0x60
00001238: PUSH2 0x0e92
0000123b: DUP5
0000123c: DUP5
0000123d: PUSH1 0x00
0000123f: DUP6
00001240: PUSH1 0x60
00001242: PUSH2 0x124a
00001245: DUP6
00001246: PUSH2 0x1303
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH2 0x1266
0000124e: JUMPI
0000124f: PUSH1 0x40
00001251: MLOAD
00001252: PUSH3 0x461bcd
00001256: PUSH1 0xe5
00001258: SHL
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x04
0000125d: ADD
0000125e: PUSH2 0x0374
00001261: SWAP1
00001262: PUSH2 0x2290
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x00
00001269: PUSH1 0x60
0000126b: DUP7
0000126c: PUSH1 0x01
0000126e: PUSH1 0x01
00001270: PUSH1 0xa0
00001272: SHL
00001273: SUB
00001274: AND
00001275: DUP6
00001276: DUP8
00001277: PUSH1 0x40
00001279: MLOAD
0000127a: PUSH2 0x1283
0000127d: SWAP2
0000127e: SWAP1
0000127f: PUSH2 0x1c16
00001282: JUMP
00001283: JUMPDEST
00001284: PUSH1 0x00
00001286: PUSH1 0x40
00001288: MLOAD
00001289: DUP1
0000128a: DUP4
0000128b: SUB
0000128c: DUP2
0000128d: DUP6
0000128e: DUP8
0000128f: GAS
00001290: CALL
00001291: SWAP3
00001292: POP
00001293: POP
00001294: POP
00001295: RETURNDATASIZE
00001296: DUP1
00001297: PUSH1 0x00
00001299: DUP2
0000129a: EQ
0000129b: PUSH2 0x12c0
0000129e: JUMPI
0000129f: PUSH1 0x40
000012a1: MLOAD
000012a2: SWAP2
000012a3: POP
000012a4: PUSH1 0x1f
000012a6: NOT
000012a7: PUSH1 0x3f
000012a9: RETURNDATASIZE
000012aa: ADD
000012ab: AND
000012ac: DUP3
000012ad: ADD
000012ae: PUSH1 0x40
000012b0: MSTORE
000012b1: RETURNDATASIZE
000012b2: DUP3
000012b3: MSTORE
000012b4: RETURNDATASIZE
000012b5: PUSH1 0x00
000012b7: PUSH1 0x20
000012b9: DUP5
000012ba: ADD
000012bb: RETURNDATACOPY
000012bc: PUSH2 0x12c5
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x60
000012c3: SWAP2
000012c4: POP
000012c5: JUMPDEST
000012c6: POP
000012c7: SWAP2
000012c8: POP
000012c9: SWAP2
000012ca: POP
000012cb: DUP2
000012cc: ISZERO
000012cd: PUSH2 0x12d9
000012d0: JUMPI
000012d1: SWAP2
000012d2: POP
000012d3: PUSH2 0x0e92
000012d6: SWAP1
000012d7: POP
000012d8: JUMP
000012d9: JUMPDEST
000012da: DUP1
000012db: MLOAD
000012dc: ISZERO
000012dd: PUSH2 0x12e9
000012e0: JUMPI
000012e1: DUP1
000012e2: MLOAD
000012e3: DUP1
000012e4: DUP3
000012e5: PUSH1 0x20
000012e7: ADD
000012e8: REVERT
000012e9: JUMPDEST
000012ea: DUP4
000012eb: PUSH1 0x40
000012ed: MLOAD
000012ee: PUSH3 0x461bcd
000012f2: PUSH1 0xe5
000012f4: SHL
000012f5: DUP2
000012f6: MSTORE
000012f7: PUSH1 0x04
000012f9: ADD
000012fa: PUSH2 0x0374
000012fd: SWAP2
000012fe: SWAP1
000012ff: PUSH2 0x1eaf
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x00
00001306: DUP2
00001307: EXTCODEHASH
00001308: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00001329: DUP2
0000132a: DUP2
0000132b: EQ
0000132c: DUP1
0000132d: ISZERO
0000132e: SWAP1
0000132f: PUSH2 0x0e92
00001332: JUMPI
00001333: POP
00001334: POP
00001335: ISZERO
00001336: ISZERO
00001337: SWAP3
00001338: SWAP2
00001339: POP
0000133a: POP
0000133b: JUMP
0000133c: JUMPDEST
0000133d: DUP1
0000133e: CALLDATALOAD
0000133f: PUSH2 0x102c
00001342: DUP2
00001343: PUSH2 0x245e
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH1 0x00
0000134a: DUP3
0000134b: PUSH1 0x1f
0000134d: DUP4
0000134e: ADD
0000134f: SLT
00001350: PUSH2 0x1357
00001353: JUMPI
00001354: DUP1
00001355: DUP2
00001356: REVERT
00001357: JUMPDEST
00001358: DUP2
00001359: CALLDATALOAD
0000135a: PUSH2 0x136a
0000135d: PUSH2 0x1365
00001360: DUP3
00001361: PUSH2 0x2413
00001364: JUMP
00001365: JUMPDEST
00001366: PUSH2 0x23ed
00001369: JUMP
0000136a: JUMPDEST
0000136b: DUP2
0000136c: DUP2
0000136d: MSTORE
0000136e: SWAP2
0000136f: POP
00001370: PUSH1 0x20
00001372: DUP1
00001373: DUP4
00001374: ADD
00001375: SWAP1
00001376: DUP5
00001377: DUP2
00001378: ADD
00001379: DUP2
0000137a: DUP5
0000137b: MUL
0000137c: DUP7
0000137d: ADD
0000137e: DUP3
0000137f: ADD
00001380: DUP8
00001381: LT
00001382: ISZERO
00001383: PUSH2 0x138b
00001386: JUMPI
00001387: PUSH1 0x00
00001389: DUP1
0000138a: REVERT
0000138b: JUMPDEST
0000138c: PUSH1 0x00
0000138e: JUMPDEST
0000138f: DUP5
00001390: DUP2
00001391: LT
00001392: ISZERO
00001393: PUSH2 0x13b3
00001396: JUMPI
00001397: DUP2
00001398: CALLDATALOAD
00001399: PUSH2 0x13a1
0000139c: DUP2
0000139d: PUSH2 0x245e
000013a0: JUMP
000013a1: JUMPDEST
000013a2: DUP5
000013a3: MSTORE
000013a4: SWAP3
000013a5: DUP3
000013a6: ADD
000013a7: SWAP3
000013a8: SWAP1
000013a9: DUP3
000013aa: ADD
000013ab: SWAP1
000013ac: PUSH1 0x01
000013ae: ADD
000013af: PUSH2 0x138e
000013b2: JUMP
000013b3: JUMPDEST
000013b4: POP
000013b5: POP
000013b6: POP
000013b7: POP
000013b8: POP
000013b9: SWAP3
000013ba: SWAP2
000013bb: POP
000013bc: POP
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH1 0x00
000013c1: DUP3
000013c2: PUSH1 0x1f
000013c4: DUP4
000013c5: ADD
000013c6: SLT
000013c7: PUSH2 0x13ce
000013ca: JUMPI
000013cb: DUP1
000013cc: DUP2
000013cd: REVERT
000013ce: JUMPDEST
000013cf: DUP2
000013d0: CALLDATALOAD
000013d1: PUSH2 0x13dc
000013d4: PUSH2 0x1365
000013d7: DUP3
000013d8: PUSH2 0x2413
000013db: JUMP
000013dc: JUMPDEST
000013dd: DUP2
000013de: DUP2
000013df: MSTORE
000013e0: SWAP2
000013e1: POP
000013e2: PUSH1 0x20
000013e4: DUP1
000013e5: DUP4
000013e6: ADD
000013e7: SWAP1
000013e8: DUP5
000013e9: DUP2
000013ea: ADD
000013eb: DUP2
000013ec: DUP5
000013ed: MUL
000013ee: DUP7
000013ef: ADD
000013f0: DUP3
000013f1: ADD
000013f2: DUP8
000013f3: LT
000013f4: ISZERO
000013f5: PUSH2 0x13fd
000013f8: JUMPI
000013f9: PUSH1 0x00
000013fb: DUP1
000013fc: REVERT
000013fd: JUMPDEST
000013fe: PUSH1 0x00
00001400: JUMPDEST
00001401: DUP5
00001402: DUP2
00001403: LT
00001404: ISZERO
00001405: PUSH2 0x13b3
00001408: JUMPI
00001409: DUP2
0000140a: CALLDATALOAD
0000140b: PUSH2 0x1413
0000140e: DUP2
0000140f: PUSH2 0x245e
00001412: JUMP
00001413: JUMPDEST
00001414: DUP5
00001415: MSTORE
00001416: SWAP3
00001417: DUP3
00001418: ADD
00001419: SWAP3
0000141a: SWAP1
0000141b: DUP3
0000141c: ADD
0000141d: SWAP1
0000141e: PUSH1 0x01
00001420: ADD
00001421: PUSH2 0x1400
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH1 0x00
00001428: DUP3
00001429: PUSH1 0x1f
0000142b: DUP4
0000142c: ADD
0000142d: SLT
0000142e: PUSH2 0x1435
00001431: JUMPI
00001432: DUP1
00001433: DUP2
00001434: REVERT
00001435: JUMPDEST
00001436: DUP2
00001437: CALLDATALOAD
00001438: PUSH2 0x1443
0000143b: PUSH2 0x1365
0000143e: DUP3
0000143f: PUSH2 0x2413
00001442: JUMP
00001443: JUMPDEST
00001444: DUP2
00001445: DUP2
00001446: MSTORE
00001447: SWAP2
00001448: POP
00001449: PUSH1 0x20
0000144b: DUP1
0000144c: DUP4
0000144d: ADD
0000144e: SWAP1
0000144f: DUP5
00001450: DUP2
00001451: ADD
00001452: DUP2
00001453: DUP5
00001454: MUL
00001455: DUP7
00001456: ADD
00001457: DUP3
00001458: ADD
00001459: DUP8
0000145a: LT
0000145b: ISZERO
0000145c: PUSH2 0x1464
0000145f: JUMPI
00001460: PUSH1 0x00
00001462: DUP1
00001463: REVERT
00001464: JUMPDEST
00001465: PUSH1 0x00
00001467: JUMPDEST
00001468: DUP5
00001469: DUP2
0000146a: LT
0000146b: ISZERO
0000146c: PUSH2 0x13b3
0000146f: JUMPI
00001470: DUP2
00001471: CALLDATALOAD
00001472: DUP5
00001473: MSTORE
00001474: SWAP3
00001475: DUP3
00001476: ADD
00001477: SWAP3
00001478: SWAP1
00001479: DUP3
0000147a: ADD
0000147b: SWAP1
0000147c: PUSH1 0x01
0000147e: ADD
0000147f: PUSH2 0x1467
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x00
00001486: DUP3
00001487: PUSH1 0x1f
00001489: DUP4
0000148a: ADD
0000148b: SLT
0000148c: PUSH2 0x1493
0000148f: JUMPI
00001490: DUP1
00001491: DUP2
00001492: REVERT
00001493: JUMPDEST
00001494: DUP2
00001495: CALLDATALOAD
00001496: PUSH2 0x14a1
00001499: PUSH2 0x1365
0000149c: DUP3
0000149d: PUSH2 0x2413
000014a0: JUMP
000014a1: JUMPDEST
000014a2: DUP2
000014a3: DUP2
000014a4: MSTORE
000014a5: SWAP2
000014a6: POP
000014a7: PUSH1 0x20
000014a9: DUP1
000014aa: DUP4
000014ab: ADD
000014ac: SWAP1
000014ad: DUP5
000014ae: DUP2
000014af: ADD
000014b0: DUP2
000014b1: DUP5
000014b2: MUL
000014b3: DUP7
000014b4: ADD
000014b5: DUP3
000014b6: ADD
000014b7: DUP8
000014b8: LT
000014b9: ISZERO
000014ba: PUSH2 0x14c2
000014bd: JUMPI
000014be: PUSH1 0x00
000014c0: DUP1
000014c1: REVERT
000014c2: JUMPDEST
000014c3: PUSH1 0x00
000014c5: DUP1
000014c6: JUMPDEST
000014c7: DUP6
000014c8: DUP2
000014c9: LT
000014ca: ISZERO
000014cb: PUSH2 0x14f0
000014ce: JUMPI
000014cf: DUP3
000014d0: CALLDATALOAD
000014d1: PUSH1 0xff
000014d3: DUP2
000014d4: AND
000014d5: DUP2
000014d6: EQ
000014d7: PUSH2 0x14de
000014da: JUMPI
000014db: DUP3
000014dc: DUP4
000014dd: REVERT
000014de: JUMPDEST
000014df: DUP6
000014e0: MSTORE
000014e1: SWAP4
000014e2: DUP4
000014e3: ADD
000014e4: SWAP4
000014e5: SWAP2
000014e6: DUP4
000014e7: ADD
000014e8: SWAP2
000014e9: PUSH1 0x01
000014eb: ADD
000014ec: PUSH2 0x14c6
000014ef: JUMP
000014f0: JUMPDEST
000014f1: POP
000014f2: POP
000014f3: POP
000014f4: POP
000014f5: POP
000014f6: POP
000014f7: SWAP3
000014f8: SWAP2
000014f9: POP
000014fa: POP
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH1 0x00
000014ff: DUP3
00001500: PUSH1 0x1f
00001502: DUP4
00001503: ADD
00001504: SLT
00001505: PUSH2 0x150c
00001508: JUMPI
00001509: DUP1
0000150a: DUP2
0000150b: REVERT
0000150c: JUMPDEST
0000150d: DUP2
0000150e: CALLDATALOAD
0000150f: PUSH1 0x01
00001511: PUSH1 0x01
00001513: PUSH1 0x40
00001515: SHL
00001516: SUB
00001517: DUP2
00001518: GT
00001519: ISZERO
0000151a: PUSH2 0x1521
0000151d: JUMPI
0000151e: DUP2
0000151f: DUP3
00001520: REVERT
00001521: JUMPDEST
00001522: PUSH2 0x1534
00001525: PUSH1 0x1f
00001527: DUP3
00001528: ADD
00001529: PUSH1 0x1f
0000152b: NOT
0000152c: AND
0000152d: PUSH1 0x20
0000152f: ADD
00001530: PUSH2 0x23ed
00001533: JUMP
00001534: JUMPDEST
00001535: SWAP2
00001536: POP
00001537: DUP1
00001538: DUP3
00001539: MSTORE
0000153a: DUP4
0000153b: PUSH1 0x20
0000153d: DUP3
0000153e: DUP6
0000153f: ADD
00001540: ADD
00001541: GT
00001542: ISZERO
00001543: PUSH2 0x154b
00001546: JUMPI
00001547: PUSH1 0x00
00001549: DUP1
0000154a: REVERT
0000154b: JUMPDEST
0000154c: DUP1
0000154d: PUSH1 0x20
0000154f: DUP5
00001550: ADD
00001551: PUSH1 0x20
00001553: DUP5
00001554: ADD
00001555: CALLDATACOPY
00001556: PUSH1 0x00
00001558: SWAP1
00001559: DUP3
0000155a: ADD
0000155b: PUSH1 0x20
0000155d: ADD
0000155e: MSTORE
0000155f: SWAP3
00001560: SWAP2
00001561: POP
00001562: POP
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH1 0x00
00001567: PUSH2 0x0120
0000156a: DUP1
0000156b: DUP4
0000156c: DUP6
0000156d: SUB
0000156e: SLT
0000156f: ISZERO
00001570: PUSH2 0x1577
00001573: JUMPI
00001574: DUP2
00001575: DUP3
00001576: REVERT
00001577: JUMPDEST
00001578: PUSH2 0x1580
0000157b: DUP2
0000157c: PUSH2 0x23ed
0000157f: JUMP
00001580: JUMPDEST
00001581: SWAP2
00001582: POP
00001583: POP
00001584: DUP2
00001585: CALLDATALOAD
00001586: PUSH1 0x01
00001588: PUSH1 0x01
0000158a: PUSH1 0x40
0000158c: SHL
0000158d: SUB
0000158e: DUP1
0000158f: DUP3
00001590: GT
00001591: ISZERO
00001592: PUSH2 0x159a
00001595: JUMPI
00001596: PUSH1 0x00
00001598: DUP1
00001599: REVERT
0000159a: JUMPDEST
0000159b: PUSH2 0x15a6
0000159e: DUP6
0000159f: DUP4
000015a0: DUP7
000015a1: ADD
000015a2: PUSH2 0x1425
000015a5: JUMP
000015a6: JUMPDEST
000015a7: DUP4
000015a8: MSTORE
000015a9: PUSH1 0x20
000015ab: DUP5
000015ac: ADD
000015ad: CALLDATALOAD
000015ae: SWAP2
000015af: POP
000015b0: DUP1
000015b1: DUP3
000015b2: GT
000015b3: ISZERO
000015b4: PUSH2 0x15bc
000015b7: JUMPI
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: REVERT
000015bc: JUMPDEST
000015bd: PUSH2 0x15c8
000015c0: DUP6
000015c1: DUP4
000015c2: DUP7
000015c3: ADD
000015c4: PUSH2 0x1347
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH1 0x20
000015cb: DUP5
000015cc: ADD
000015cd: MSTORE
000015ce: PUSH1 0x40
000015d0: DUP5
000015d1: ADD
000015d2: CALLDATALOAD
000015d3: SWAP2
000015d4: POP
000015d5: DUP1
000015d6: DUP3
000015d7: GT
000015d8: ISZERO
000015d9: PUSH2 0x15e1
000015dc: JUMPI
000015dd: PUSH1 0x00
000015df: DUP1
000015e0: REVERT
000015e1: JUMPDEST
000015e2: PUSH2 0x15ed
000015e5: DUP6
000015e6: DUP4
000015e7: DUP7
000015e8: ADD
000015e9: PUSH2 0x1425
000015ec: JUMP
000015ed: JUMPDEST
000015ee: PUSH1 0x40
000015f0: DUP5
000015f1: ADD
000015f2: MSTORE
000015f3: PUSH1 0x60
000015f5: DUP5
000015f6: ADD
000015f7: CALLDATALOAD
000015f8: SWAP2
000015f9: POP
000015fa: DUP1
000015fb: DUP3
000015fc: GT
000015fd: ISZERO
000015fe: PUSH2 0x1606
00001601: JUMPI
00001602: PUSH1 0x00
00001604: DUP1
00001605: REVERT
00001606: JUMPDEST
00001607: PUSH2 0x1612
0000160a: DUP6
0000160b: DUP4
0000160c: DUP7
0000160d: ADD
0000160e: PUSH2 0x1347
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH1 0x60
00001615: DUP5
00001616: ADD
00001617: MSTORE
00001618: PUSH2 0x1624
0000161b: DUP6
0000161c: PUSH1 0x80
0000161e: DUP7
0000161f: ADD
00001620: PUSH2 0x133c
00001623: JUMP
00001624: JUMPDEST
00001625: PUSH1 0x80
00001627: DUP5
00001628: ADD
00001629: MSTORE
0000162a: PUSH1 0xa0
0000162c: DUP5
0000162d: ADD
0000162e: CALLDATALOAD
0000162f: SWAP2
00001630: POP
00001631: DUP1
00001632: DUP3
00001633: GT
00001634: ISZERO
00001635: PUSH2 0x163d
00001638: JUMPI
00001639: PUSH1 0x00
0000163b: DUP1
0000163c: REVERT
0000163d: JUMPDEST
0000163e: POP
0000163f: PUSH2 0x164a
00001642: DUP5
00001643: DUP3
00001644: DUP6
00001645: ADD
00001646: PUSH2 0x14fc
00001649: JUMP
0000164a: JUMPDEST
0000164b: PUSH1 0xa0
0000164d: DUP4
0000164e: ADD
0000164f: MSTORE
00001650: POP
00001651: PUSH1 0xc0
00001653: DUP3
00001654: ADD
00001655: CALLDATALOAD
00001656: PUSH1 0xc0
00001658: DUP3
00001659: ADD
0000165a: MSTORE
0000165b: PUSH1 0xe0
0000165d: DUP3
0000165e: ADD
0000165f: CALLDATALOAD
00001660: PUSH1 0xe0
00001662: DUP3
00001663: ADD
00001664: MSTORE
00001665: PUSH2 0x0100
00001668: DUP1
00001669: DUP4
0000166a: ADD
0000166b: CALLDATALOAD
0000166c: DUP2
0000166d: DUP4
0000166e: ADD
0000166f: MSTORE
00001670: POP
00001671: SWAP3
00001672: SWAP2
00001673: POP
00001674: POP
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH1 0x00
00001679: PUSH1 0x20
0000167b: DUP3
0000167c: DUP5
0000167d: SUB
0000167e: SLT
0000167f: ISZERO
00001680: PUSH2 0x1687
00001683: JUMPI
00001684: DUP1
00001685: DUP2
00001686: REVERT
00001687: JUMPDEST
00001688: DUP2
00001689: CALLDATALOAD
0000168a: PUSH2 0x1029
0000168d: DUP2
0000168e: PUSH2 0x245e
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH1 0x00
00001695: DUP1
00001696: PUSH1 0x00
00001698: DUP1
00001699: PUSH1 0x00
0000169b: PUSH1 0xa0
0000169d: DUP7
0000169e: DUP9
0000169f: SUB
000016a0: SLT
000016a1: ISZERO
000016a2: PUSH2 0x16a9
000016a5: JUMPI
000016a6: DUP1
000016a7: DUP2
000016a8: REVERT
000016a9: JUMPDEST
000016aa: DUP6
000016ab: CALLDATALOAD
000016ac: PUSH2 0x16b4
000016af: DUP2
000016b0: PUSH2 0x245e
000016b3: JUMP
000016b4: JUMPDEST
000016b5: SWAP8
000016b6: PUSH1 0x20
000016b8: DUP8
000016b9: ADD
000016ba: CALLDATALOAD
000016bb: SWAP8
000016bc: POP
000016bd: PUSH1 0x40
000016bf: DUP8
000016c0: ADD
000016c1: CALLDATALOAD
000016c2: SWAP7
000016c3: PUSH1 0x60
000016c5: DUP2
000016c6: ADD
000016c7: CALLDATALOAD
000016c8: SWAP7
000016c9: POP
000016ca: PUSH1 0x80
000016cc: ADD
000016cd: CALLDATALOAD
000016ce: SWAP5
000016cf: POP
000016d0: SWAP3
000016d1: POP
000016d2: POP
000016d3: POP
000016d4: JUMP
000016d5: JUMPDEST
000016d6: PUSH1 0x00
000016d8: DUP1
000016d9: PUSH1 0x40
000016db: DUP4
000016dc: DUP6
000016dd: SUB
000016de: SLT
000016df: ISZERO
000016e0: PUSH2 0x16e7
000016e3: JUMPI
000016e4: DUP2
000016e5: DUP3
000016e6: REVERT
000016e7: JUMPDEST
000016e8: DUP3
000016e9: CALLDATALOAD
000016ea: PUSH1 0x01
000016ec: PUSH1 0x01
000016ee: PUSH1 0x40
000016f0: SHL
000016f1: SUB
000016f2: DUP2
000016f3: GT
000016f4: ISZERO
000016f5: PUSH2 0x16fc
000016f8: JUMPI
000016f9: DUP3
000016fa: DUP4
000016fb: REVERT
000016fc: JUMPDEST
000016fd: PUSH2 0x1708
00001700: DUP6
00001701: DUP3
00001702: DUP7
00001703: ADD
00001704: PUSH2 0x1347
00001707: JUMP
00001708: JUMPDEST
00001709: SWAP3
0000170a: POP
0000170b: POP
0000170c: PUSH1 0x20
0000170e: DUP4
0000170f: ADD
00001710: CALLDATALOAD
00001711: PUSH2 0x1719
00001714: DUP2
00001715: PUSH2 0x245e
00001718: JUMP
00001719: JUMPDEST
0000171a: DUP1
0000171b: SWAP2
0000171c: POP
0000171d: POP
0000171e: SWAP3
0000171f: POP
00001720: SWAP3
00001721: SWAP1
00001722: POP
00001723: JUMP
00001724: JUMPDEST
00001725: PUSH1 0x00
00001727: DUP1
00001728: PUSH1 0x00
0000172a: DUP1
0000172b: PUSH1 0x00
0000172d: DUP1
0000172e: PUSH1 0x00
00001730: DUP1
00001731: PUSH1 0x00
00001733: PUSH2 0x0120
00001736: DUP11
00001737: DUP13
00001738: SUB
00001739: SLT
0000173a: ISZERO
0000173b: PUSH2 0x1742
0000173e: JUMPI
0000173f: DUP4
00001740: DUP5
00001741: REVERT
00001742: JUMPDEST
00001743: DUP10
00001744: CALLDATALOAD
00001745: PUSH1 0x01
00001747: PUSH1 0x01
00001749: PUSH1 0x40
0000174b: SHL
0000174c: SUB
0000174d: DUP1
0000174e: DUP3
0000174f: GT
00001750: ISZERO
00001751: PUSH2 0x1758
00001754: JUMPI
00001755: DUP6
00001756: DUP7
00001757: REVERT
00001758: JUMPDEST
00001759: PUSH2 0x1764
0000175c: DUP14
0000175d: DUP4
0000175e: DUP15
0000175f: ADD
00001760: PUSH2 0x1347
00001763: JUMP
00001764: JUMPDEST
00001765: SWAP11
00001766: POP
00001767: PUSH1 0x20
00001769: DUP13
0000176a: ADD
0000176b: CALLDATALOAD
0000176c: SWAP2
0000176d: POP
0000176e: DUP1
0000176f: DUP3
00001770: GT
00001771: ISZERO
00001772: PUSH2 0x1779
00001775: JUMPI
00001776: DUP6
00001777: DUP7
00001778: REVERT
00001779: JUMPDEST
0000177a: PUSH2 0x1785
0000177d: DUP14
0000177e: DUP4
0000177f: DUP15
00001780: ADD
00001781: PUSH2 0x1425
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP10
00001787: POP
00001788: PUSH1 0x40
0000178a: DUP13
0000178b: ADD
0000178c: CALLDATALOAD
0000178d: SWAP9
0000178e: POP
0000178f: PUSH1 0x60
00001791: DUP13
00001792: ADD
00001793: CALLDATALOAD
00001794: SWAP2
00001795: POP
00001796: DUP1
00001797: DUP3
00001798: GT
00001799: ISZERO
0000179a: PUSH2 0x17a1
0000179d: JUMPI
0000179e: DUP6
0000179f: DUP7
000017a0: REVERT
000017a1: JUMPDEST
000017a2: PUSH2 0x17ad
000017a5: DUP14
000017a6: DUP4
000017a7: DUP15
000017a8: ADD
000017a9: PUSH2 0x1347
000017ac: JUMP
000017ad: JUMPDEST
000017ae: SWAP8
000017af: POP
000017b0: PUSH1 0x80
000017b2: DUP13
000017b3: ADD
000017b4: CALLDATALOAD
000017b5: SWAP2
000017b6: POP
000017b7: DUP1
000017b8: DUP3
000017b9: GT
000017ba: ISZERO
000017bb: PUSH2 0x17c2
000017be: JUMPI
000017bf: DUP6
000017c0: DUP7
000017c1: REVERT
000017c2: JUMPDEST
000017c3: PUSH2 0x17ce
000017c6: DUP14
000017c7: DUP4
000017c8: DUP15
000017c9: ADD
000017ca: PUSH2 0x1425
000017cd: JUMP
000017ce: JUMPDEST
000017cf: SWAP7
000017d0: POP
000017d1: PUSH1 0xa0
000017d3: DUP13
000017d4: ADD
000017d5: CALLDATALOAD
000017d6: SWAP6
000017d7: POP
000017d8: PUSH1 0xc0
000017da: DUP13
000017db: ADD
000017dc: CALLDATALOAD
000017dd: SWAP2
000017de: POP
000017df: DUP1
000017e0: DUP3
000017e1: GT
000017e2: ISZERO
000017e3: PUSH2 0x17ea
000017e6: JUMPI
000017e7: DUP5
000017e8: DUP6
000017e9: REVERT
000017ea: JUMPDEST
000017eb: PUSH2 0x17f6
000017ee: DUP14
000017ef: DUP4
000017f0: DUP15
000017f1: ADD
000017f2: PUSH2 0x1483
000017f5: JUMP
000017f6: JUMPDEST
000017f7: SWAP5
000017f8: POP
000017f9: PUSH1 0xe0
000017fb: DUP13
000017fc: ADD
000017fd: CALLDATALOAD
000017fe: SWAP2
000017ff: POP
00001800: DUP1
00001801: DUP3
00001802: GT
00001803: ISZERO
00001804: PUSH2 0x180b
00001807: JUMPI
00001808: DUP4
00001809: DUP5
0000180a: REVERT
0000180b: JUMPDEST
0000180c: PUSH2 0x1817
0000180f: DUP14
00001810: DUP4
00001811: DUP15
00001812: ADD
00001813: PUSH2 0x1425
00001816: JUMP
00001817: JUMPDEST
00001818: SWAP4
00001819: POP
0000181a: PUSH2 0x0100
0000181d: DUP13
0000181e: ADD
0000181f: CALLDATALOAD
00001820: SWAP2
00001821: POP
00001822: DUP1
00001823: DUP3
00001824: GT
00001825: ISZERO
00001826: PUSH2 0x182d
00001829: JUMPI
0000182a: DUP3
0000182b: DUP4
0000182c: REVERT
0000182d: JUMPDEST
0000182e: POP
0000182f: PUSH2 0x183a
00001832: DUP13
00001833: DUP3
00001834: DUP14
00001835: ADD
00001836: PUSH2 0x1425
00001839: JUMP
0000183a: JUMPDEST
0000183b: SWAP2
0000183c: POP
0000183d: POP
0000183e: SWAP3
0000183f: SWAP6
00001840: SWAP9
00001841: POP
00001842: SWAP3
00001843: SWAP6
00001844: SWAP9
00001845: POP
00001846: SWAP3
00001847: SWAP6
00001848: SWAP9
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x00
0000184d: DUP1
0000184e: PUSH1 0x00
00001850: DUP1
00001851: PUSH1 0x00
00001853: DUP1
00001854: PUSH1 0x00
00001856: DUP1
00001857: PUSH1 0x00
00001859: DUP1
0000185a: PUSH1 0x00
0000185c: DUP1
0000185d: PUSH2 0x0180
00001860: DUP14
00001861: DUP16
00001862: SUB
00001863: SLT
00001864: ISZERO
00001865: PUSH2 0x186c
00001868: JUMPI
00001869: DUP6
0000186a: DUP7
0000186b: REVERT
0000186c: JUMPDEST
0000186d: PUSH1 0x01
0000186f: PUSH1 0x01
00001871: PUSH1 0x40
00001873: SHL
00001874: SUB
00001875: DUP14
00001876: CALLDATALOAD
00001877: GT
00001878: ISZERO
00001879: PUSH2 0x1880
0000187c: JUMPI
0000187d: DUP6
0000187e: DUP7
0000187f: REVERT
00001880: JUMPDEST
00001881: PUSH2 0x188d
00001884: DUP15
00001885: DUP15
00001886: CALLDATALOAD
00001887: DUP16
00001888: ADD
00001889: PUSH2 0x1347
0000188c: JUMP
0000188d: JUMPDEST
0000188e: SWAP12
0000188f: POP
00001890: PUSH1 0x01
00001892: PUSH1 0x01
00001894: PUSH1 0x40
00001896: SHL
00001897: SUB
00001898: PUSH1 0x20
0000189a: DUP15
0000189b: ADD
0000189c: CALLDATALOAD
0000189d: GT
0000189e: ISZERO
0000189f: PUSH2 0x18a6
000018a2: JUMPI
000018a3: DUP6
000018a4: DUP7
000018a5: REVERT
000018a6: JUMPDEST
000018a7: PUSH2 0x18b6
000018aa: DUP15
000018ab: PUSH1 0x20
000018ad: DUP16
000018ae: ADD
000018af: CALLDATALOAD
000018b0: DUP16
000018b1: ADD
000018b2: PUSH2 0x1425
000018b5: JUMP
000018b6: JUMPDEST
000018b7: SWAP11
000018b8: POP
000018b9: PUSH1 0x40
000018bb: DUP14
000018bc: ADD
000018bd: CALLDATALOAD
000018be: SWAP10
000018bf: POP
000018c0: PUSH1 0x01
000018c2: PUSH1 0x01
000018c4: PUSH1 0x40
000018c6: SHL
000018c7: SUB
000018c8: PUSH1 0x60
000018ca: DUP15
000018cb: ADD
000018cc: CALLDATALOAD
000018cd: GT
000018ce: ISZERO
000018cf: PUSH2 0x18d6
000018d2: JUMPI
000018d3: DUP6
000018d4: DUP7
000018d5: REVERT
000018d6: JUMPDEST
000018d7: PUSH2 0x18e6
000018da: DUP15
000018db: PUSH1 0x60
000018dd: DUP16
000018de: ADD
000018df: CALLDATALOAD
000018e0: DUP16
000018e1: ADD
000018e2: PUSH2 0x1483
000018e5: JUMP
000018e6: JUMPDEST
000018e7: SWAP9
000018e8: POP
000018e9: PUSH1 0x01
000018eb: PUSH1 0x01
000018ed: PUSH1 0x40
000018ef: SHL
000018f0: SUB
000018f1: PUSH1 0x80
000018f3: DUP15
000018f4: ADD
000018f5: CALLDATALOAD
000018f6: GT
000018f7: ISZERO
000018f8: PUSH2 0x18ff
000018fb: JUMPI
000018fc: DUP6
000018fd: DUP7
000018fe: REVERT
000018ff: JUMPDEST
00001900: PUSH2 0x190f
00001903: DUP15
00001904: PUSH1 0x80
00001906: DUP16
00001907: ADD
00001908: CALLDATALOAD
00001909: DUP16
0000190a: ADD
0000190b: PUSH2 0x1425
0000190e: JUMP
0000190f: JUMPDEST
00001910: SWAP8
00001911: POP
00001912: PUSH1 0x01
00001914: PUSH1 0x01
00001916: PUSH1 0x40
00001918: SHL
00001919: SUB
0000191a: PUSH1 0xa0
0000191c: DUP15
0000191d: ADD
0000191e: CALLDATALOAD
0000191f: GT
00001920: ISZERO
00001921: PUSH2 0x1928
00001924: JUMPI
00001925: DUP6
00001926: DUP7
00001927: REVERT
00001928: JUMPDEST
00001929: PUSH2 0x1938
0000192c: DUP15
0000192d: PUSH1 0xa0
0000192f: DUP16
00001930: ADD
00001931: CALLDATALOAD
00001932: DUP16
00001933: ADD
00001934: PUSH2 0x1425
00001937: JUMP
00001938: JUMPDEST
00001939: SWAP7
0000193a: POP
0000193b: PUSH1 0x01
0000193d: PUSH1 0x01
0000193f: PUSH1 0x40
00001941: SHL
00001942: SUB
00001943: PUSH1 0xc0
00001945: DUP15
00001946: ADD
00001947: CALLDATALOAD
00001948: GT
00001949: ISZERO
0000194a: PUSH2 0x1951
0000194d: JUMPI
0000194e: DUP6
0000194f: DUP7
00001950: REVERT
00001951: JUMPDEST
00001952: PUSH2 0x1961
00001955: DUP15
00001956: PUSH1 0xc0
00001958: DUP16
00001959: ADD
0000195a: CALLDATALOAD
0000195b: DUP16
0000195c: ADD
0000195d: PUSH2 0x1425
00001960: JUMP
00001961: JUMPDEST
00001962: SWAP6
00001963: POP
00001964: PUSH1 0x01
00001966: PUSH1 0x01
00001968: PUSH1 0x40
0000196a: SHL
0000196b: SUB
0000196c: PUSH1 0xe0
0000196e: DUP15
0000196f: ADD
00001970: CALLDATALOAD
00001971: GT
00001972: ISZERO
00001973: PUSH2 0x197a
00001976: JUMPI
00001977: DUP3
00001978: DUP4
00001979: REVERT
0000197a: JUMPDEST
0000197b: PUSH2 0x198a
0000197e: DUP15
0000197f: PUSH1 0xe0
00001981: DUP16
00001982: ADD
00001983: CALLDATALOAD
00001984: DUP16
00001985: ADD
00001986: PUSH2 0x13be
00001989: JUMP
0000198a: JUMPDEST
0000198b: SWAP5
0000198c: POP
0000198d: PUSH1 0x01
0000198f: PUSH1 0x01
00001991: PUSH1 0x40
00001993: SHL
00001994: SUB
00001995: PUSH2 0x0100
00001998: DUP15
00001999: ADD
0000199a: CALLDATALOAD
0000199b: GT
0000199c: ISZERO
0000199d: PUSH2 0x19a4
000019a0: JUMPI
000019a1: DUP3
000019a2: DUP4
000019a3: REVERT
000019a4: JUMPDEST
000019a5: PUSH2 0x19b5
000019a8: DUP15
000019a9: PUSH2 0x0100
000019ac: DUP16
000019ad: ADD
000019ae: CALLDATALOAD
000019af: DUP16
000019b0: ADD
000019b1: PUSH2 0x1425
000019b4: JUMP
000019b5: JUMPDEST
000019b6: SWAP4
000019b7: POP
000019b8: PUSH2 0x0120
000019bb: DUP14
000019bc: ADD
000019bd: CALLDATALOAD
000019be: SWAP3
000019bf: POP
000019c0: PUSH2 0x19cd
000019c3: DUP15
000019c4: PUSH2 0x0140
000019c7: DUP16
000019c8: ADD
000019c9: PUSH2 0x133c
000019cc: JUMP
000019cd: JUMPDEST
000019ce: SWAP2
000019cf: POP
000019d0: PUSH2 0x0160
000019d3: DUP14
000019d4: ADD
000019d5: CALLDATALOAD
000019d6: SWAP1
000019d7: POP
000019d8: SWAP3
000019d9: SWAP6
000019da: SWAP9
000019db: SWAP12
000019dc: POP
000019dd: SWAP3
000019de: SWAP6
000019df: SWAP9
000019e0: SWAP12
000019e1: POP
000019e2: SWAP3
000019e3: SWAP6
000019e4: SWAP9
000019e5: SWAP12
000019e6: JUMP
000019e7: JUMPDEST
000019e8: PUSH1 0x00
000019ea: DUP1
000019eb: PUSH1 0x00
000019ed: DUP1
000019ee: PUSH1 0x00
000019f0: DUP1
000019f1: PUSH1 0x00
000019f3: PUSH1 0xe0
000019f5: DUP9
000019f6: DUP11
000019f7: SUB
000019f8: SLT
000019f9: ISZERO
000019fa: PUSH2 0x1a01
000019fd: JUMPI
000019fe: DUP1
000019ff: DUP2
00001a00: REVERT
00001a01: JUMPDEST
00001a02: DUP8
00001a03: CALLDATALOAD
00001a04: PUSH1 0x01
00001a06: PUSH1 0x01
00001a08: PUSH1 0x40
00001a0a: SHL
00001a0b: SUB
00001a0c: DUP1
00001a0d: DUP3
00001a0e: GT
00001a0f: ISZERO
00001a10: PUSH2 0x1a17
00001a13: JUMPI
00001a14: DUP3
00001a15: DUP4
00001a16: REVERT
00001a17: JUMPDEST
00001a18: PUSH2 0x1a23
00001a1b: DUP12
00001a1c: DUP4
00001a1d: DUP13
00001a1e: ADD
00001a1f: PUSH2 0x1347
00001a22: JUMP
00001a23: JUMPDEST
00001a24: SWAP9
00001a25: POP
00001a26: PUSH1 0x20
00001a28: DUP11
00001a29: ADD
00001a2a: CALLDATALOAD
00001a2b: SWAP2
00001a2c: POP
00001a2d: DUP1
00001a2e: DUP3
00001a2f: GT
00001a30: ISZERO
00001a31: PUSH2 0x1a38
00001a34: JUMPI
00001a35: DUP3
00001a36: DUP4
00001a37: REVERT
00001a38: JUMPDEST
00001a39: PUSH2 0x1a44
00001a3c: DUP12
00001a3d: DUP4
00001a3e: DUP13
00001a3f: ADD
00001a40: PUSH2 0x1425
00001a43: JUMP
00001a44: JUMPDEST
00001a45: SWAP8
00001a46: POP
00001a47: PUSH1 0x40
00001a49: DUP11
00001a4a: ADD
00001a4b: CALLDATALOAD
00001a4c: SWAP7
00001a4d: POP
00001a4e: PUSH1 0x60
00001a50: DUP11
00001a51: ADD
00001a52: CALLDATALOAD
00001a53: SWAP2
00001a54: POP
00001a55: DUP1
00001a56: DUP3
00001a57: GT
00001a58: ISZERO
00001a59: PUSH2 0x1a60
00001a5c: JUMPI
00001a5d: DUP3
00001a5e: DUP4
00001a5f: REVERT
00001a60: JUMPDEST
00001a61: PUSH2 0x1a6c
00001a64: DUP12
00001a65: DUP4
00001a66: DUP13
00001a67: ADD
00001a68: PUSH2 0x1483
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: SWAP6
00001a6e: POP
00001a6f: PUSH1 0x80
00001a71: DUP11
00001a72: ADD
00001a73: CALLDATALOAD
00001a74: SWAP2
00001a75: POP
00001a76: DUP1
00001a77: DUP3
00001a78: GT
00001a79: ISZERO
00001a7a: PUSH2 0x1a81
00001a7d: JUMPI
00001a7e: DUP3
00001a7f: DUP4
00001a80: REVERT
00001a81: JUMPDEST
00001a82: PUSH2 0x1a8d
00001a85: DUP12
00001a86: DUP4
00001a87: DUP13
00001a88: ADD
00001a89: PUSH2 0x1425
00001a8c: JUMP
00001a8d: JUMPDEST
00001a8e: SWAP5
00001a8f: POP
00001a90: PUSH1 0xa0
00001a92: DUP11
00001a93: ADD
00001a94: CALLDATALOAD
00001a95: SWAP2
00001a96: POP
00001a97: DUP1
00001a98: DUP3
00001a99: GT
00001a9a: ISZERO
00001a9b: PUSH2 0x1aa2
00001a9e: JUMPI
00001a9f: DUP3
00001aa0: DUP4
00001aa1: REVERT
00001aa2: JUMPDEST
00001aa3: PUSH2 0x1aae
00001aa6: DUP12
00001aa7: DUP4
00001aa8: DUP13
00001aa9: ADD
00001aaa: PUSH2 0x1425
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: SWAP4
00001ab0: POP
00001ab1: PUSH1 0xc0
00001ab3: DUP11
00001ab4: ADD
00001ab5: CALLDATALOAD
00001ab6: SWAP2
00001ab7: POP
00001ab8: DUP1
00001ab9: DUP3
00001aba: GT
00001abb: ISZERO
00001abc: PUSH2 0x1ac3
00001abf: JUMPI
00001ac0: DUP3
00001ac1: DUP4
00001ac2: REVERT
00001ac3: JUMPDEST
00001ac4: POP
00001ac5: PUSH2 0x1ad0
00001ac8: DUP11
00001ac9: DUP3
00001aca: DUP12
00001acb: ADD
00001acc: PUSH2 0x1564
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: SWAP2
00001ad2: POP
00001ad3: POP
00001ad4: SWAP3
00001ad5: SWAP6
00001ad6: SWAP9
00001ad7: SWAP2
00001ad8: SWAP5
00001ad9: SWAP8
00001ada: POP
00001adb: SWAP3
00001adc: SWAP6
00001add: POP
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: PUSH1 0x00
00001ae2: PUSH1 0x20
00001ae4: DUP3
00001ae5: DUP5
00001ae6: SUB
00001ae7: SLT
00001ae8: ISZERO
00001ae9: PUSH2 0x1af0
00001aec: JUMPI
00001aed: DUP1
00001aee: DUP2
00001aef: REVERT
00001af0: JUMPDEST
00001af1: DUP2
00001af2: MLOAD
00001af3: DUP1
00001af4: ISZERO
00001af5: ISZERO
00001af6: DUP2
00001af7: EQ
00001af8: PUSH2 0x1029
00001afb: JUMPI
00001afc: DUP2
00001afd: DUP3
00001afe: REVERT
00001aff: JUMPDEST
00001b00: PUSH1 0x00
00001b02: PUSH1 0x20
00001b04: DUP3
00001b05: DUP5
00001b06: SUB
00001b07: SLT
00001b08: ISZERO
00001b09: PUSH2 0x1b10
00001b0c: JUMPI
00001b0d: DUP1
00001b0e: DUP2
00001b0f: REVERT
00001b10: JUMPDEST
00001b11: POP
00001b12: CALLDATALOAD
00001b13: SWAP2
00001b14: SWAP1
00001b15: POP
00001b16: JUMP
00001b17: JUMPDEST
00001b18: PUSH1 0x00
00001b1a: DUP1
00001b1b: PUSH1 0x00
00001b1d: PUSH1 0x60
00001b1f: DUP5
00001b20: DUP7
00001b21: SUB
00001b22: SLT
00001b23: ISZERO
00001b24: PUSH2 0x1b2b
00001b27: JUMPI
00001b28: DUP1
00001b29: DUP2
00001b2a: REVERT
00001b2b: JUMPDEST
00001b2c: POP
00001b2d: POP
00001b2e: DUP2
00001b2f: CALLDATALOAD
00001b30: SWAP4
00001b31: PUSH1 0x20
00001b33: DUP4
00001b34: ADD
00001b35: CALLDATALOAD
00001b36: SWAP4
00001b37: POP
00001b38: PUSH1 0x40
00001b3a: SWAP1
00001b3b: SWAP3
00001b3c: ADD
00001b3d: CALLDATALOAD
00001b3e: SWAP2
00001b3f: SWAP1
00001b40: POP
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH1 0x00
00001b45: PUSH1 0x20
00001b47: DUP3
00001b48: DUP5
00001b49: SUB
00001b4a: SLT
00001b4b: ISZERO
00001b4c: PUSH2 0x1b53
00001b4f: JUMPI
00001b50: DUP1
00001b51: DUP2
00001b52: REVERT
00001b53: JUMPDEST
00001b54: POP
00001b55: MLOAD
00001b56: SWAP2
00001b57: SWAP1
00001b58: POP
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: PUSH1 0x01
00001b5d: PUSH1 0x01
00001b5f: PUSH1 0xa0
00001b61: SHL
00001b62: SUB
00001b63: AND
00001b64: DUP2
00001b65: MSTORE
00001b66: PUSH1 0x20
00001b68: ADD
00001b69: SWAP1
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH1 0x01
00001b6e: PUSH1 0x01
00001b70: PUSH1 0xa0
00001b72: SHL
00001b73: SUB
00001b74: AND
00001b75: SWAP1
00001b76: MSTORE
00001b77: JUMP
00001b78: JUMPDEST
00001b79: PUSH1 0x00
00001b7b: DUP2
00001b7c: MLOAD
00001b7d: DUP1
00001b7e: DUP5
00001b7f: MSTORE
00001b80: PUSH1 0x20
00001b82: DUP1
00001b83: DUP6
00001b84: ADD
00001b85: SWAP5
00001b86: POP
00001b87: DUP1
00001b88: DUP5
00001b89: ADD
00001b8a: DUP4
00001b8b: JUMPDEST
00001b8c: DUP4
00001b8d: DUP2
00001b8e: LT
00001b8f: ISZERO
00001b90: PUSH2 0x1bb0
00001b93: JUMPI
00001b94: DUP2
00001b95: MLOAD
00001b96: PUSH1 0x01
00001b98: PUSH1 0x01
00001b9a: PUSH1 0xa0
00001b9c: SHL
00001b9d: SUB
00001b9e: AND
00001b9f: DUP8
00001ba0: MSTORE
00001ba1: SWAP6
00001ba2: DUP3
00001ba3: ADD
00001ba4: SWAP6
00001ba5: SWAP1
00001ba6: DUP3
00001ba7: ADD
00001ba8: SWAP1
00001ba9: PUSH1 0x01
00001bab: ADD
00001bac: PUSH2 0x1b8b
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: POP
00001bb2: SWAP5
00001bb3: SWAP6
00001bb4: SWAP5
00001bb5: POP
00001bb6: POP
00001bb7: POP
00001bb8: POP
00001bb9: POP
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH1 0x00
00001bbe: DUP2
00001bbf: MLOAD
00001bc0: DUP1
00001bc1: DUP5
00001bc2: MSTORE
00001bc3: PUSH1 0x20
00001bc5: DUP1
00001bc6: DUP6
00001bc7: ADD
00001bc8: SWAP5
00001bc9: POP
00001bca: DUP1
00001bcb: DUP5
00001bcc: ADD
00001bcd: DUP4
00001bce: JUMPDEST
00001bcf: DUP4
00001bd0: DUP2
00001bd1: LT
00001bd2: ISZERO
00001bd3: PUSH2 0x1bb0
00001bd6: JUMPI
00001bd7: DUP2
00001bd8: MLOAD
00001bd9: DUP8
00001bda: MSTORE
00001bdb: SWAP6
00001bdc: DUP3
00001bdd: ADD
00001bde: SWAP6
00001bdf: SWAP1
00001be0: DUP3
00001be1: ADD
00001be2: SWAP1
00001be3: PUSH1 0x01
00001be5: ADD
00001be6: PUSH2 0x1bce
00001be9: JUMP
00001bea: JUMPDEST
00001beb: PUSH1 0x00
00001bed: DUP2
00001bee: MLOAD
00001bef: DUP1
00001bf0: DUP5
00001bf1: MSTORE
00001bf2: PUSH2 0x1c02
00001bf5: DUP2
00001bf6: PUSH1 0x20
00001bf8: DUP7
00001bf9: ADD
00001bfa: PUSH1 0x20
00001bfc: DUP7
00001bfd: ADD
00001bfe: PUSH2 0x2432
00001c01: JUMP
00001c02: JUMPDEST
00001c03: PUSH1 0x1f
00001c05: ADD
00001c06: PUSH1 0x1f
00001c08: NOT
00001c09: AND
00001c0a: SWAP3
00001c0b: SWAP1
00001c0c: SWAP3
00001c0d: ADD
00001c0e: PUSH1 0x20
00001c10: ADD
00001c11: SWAP3
00001c12: SWAP2
00001c13: POP
00001c14: POP
00001c15: JUMP
00001c16: JUMPDEST
00001c17: PUSH1 0x00
00001c19: DUP3
00001c1a: MLOAD
00001c1b: PUSH2 0x1c28
00001c1e: DUP2
00001c1f: DUP5
00001c20: PUSH1 0x20
00001c22: DUP8
00001c23: ADD
00001c24: PUSH2 0x2432
00001c27: JUMP
00001c28: JUMPDEST
00001c29: SWAP2
00001c2a: SWAP1
00001c2b: SWAP2
00001c2c: ADD
00001c2d: SWAP3
00001c2e: SWAP2
00001c2f: POP
00001c30: POP
00001c31: JUMP
00001c32: JUMPDEST
00001c33: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001c54: DUP2
00001c55: MSTORE
00001c56: PUSH1 0x1c
00001c58: DUP2
00001c59: ADD
00001c5a: SWAP2
00001c5b: SWAP1
00001c5c: SWAP2
00001c5d: MSTORE
00001c5e: PUSH1 0x3c
00001c60: ADD
00001c61: SWAP1
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH1 0x01
00001c66: PUSH1 0x01
00001c68: PUSH1 0xa0
00001c6a: SHL
00001c6b: SUB
00001c6c: SWAP2
00001c6d: SWAP1
00001c6e: SWAP2
00001c6f: AND
00001c70: DUP2
00001c71: MSTORE
00001c72: PUSH1 0x20
00001c74: ADD
00001c75: SWAP1
00001c76: JUMP
00001c77: JUMPDEST
00001c78: PUSH1 0x01
00001c7a: PUSH1 0x01
00001c7c: PUSH1 0xa0
00001c7e: SHL
00001c7f: SUB
00001c80: SWAP4
00001c81: DUP5
00001c82: AND
00001c83: DUP2
00001c84: MSTORE
00001c85: SWAP2
00001c86: SWAP1
00001c87: SWAP3
00001c88: AND
00001c89: PUSH1 0x20
00001c8b: DUP3
00001c8c: ADD
00001c8d: MSTORE
00001c8e: PUSH1 0x40
00001c90: DUP2
00001c91: ADD
00001c92: SWAP2
00001c93: SWAP1
00001c94: SWAP2
00001c95: MSTORE
00001c96: PUSH1 0x60
00001c98: ADD
00001c99: SWAP1
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x01
00001c9e: PUSH1 0x01
00001ca0: PUSH1 0xa0
00001ca2: SHL
00001ca3: SUB
00001ca4: SWAP3
00001ca5: SWAP1
00001ca6: SWAP3
00001ca7: AND
00001ca8: DUP3
00001ca9: MSTORE
00001caa: PUSH1 0x20
00001cac: DUP3
00001cad: ADD
00001cae: MSTORE
00001caf: PUSH1 0x40
00001cb1: ADD
00001cb2: SWAP1
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: SWAP1
00001cb6: DUP2
00001cb7: MSTORE
00001cb8: PUSH1 0x20
00001cba: ADD
00001cbb: SWAP1
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: PUSH1 0x00
00001cc0: DUP7
00001cc1: DUP3
00001cc2: MSTORE
00001cc3: DUP6
00001cc4: PUSH1 0x20
00001cc6: DUP4
00001cc7: ADD
00001cc8: MSTORE
00001cc9: DUP5
00001cca: PUSH1 0x40
00001ccc: DUP4
00001ccd: ADD
00001cce: MSTORE
00001ccf: PUSH1 0xa0
00001cd1: PUSH1 0x60
00001cd3: DUP4
00001cd4: ADD
00001cd5: MSTORE
00001cd6: PUSH2 0x1ce2
00001cd9: PUSH1 0xa0
00001cdb: DUP4
00001cdc: ADD
00001cdd: DUP6
00001cde: PUSH2 0x1b78
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: DUP3
00001ce4: DUP2
00001ce5: SUB
00001ce6: PUSH1 0x80
00001ce8: DUP5
00001ce9: ADD
00001cea: MSTORE
00001ceb: PUSH2 0x1cf4
00001cee: DUP2
00001cef: DUP6
00001cf0: PUSH2 0x1bbb
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: SWAP9
00001cf6: SWAP8
00001cf7: POP
00001cf8: POP
00001cf9: POP
00001cfa: POP
00001cfb: POP
00001cfc: POP
00001cfd: POP
00001cfe: POP
00001cff: JUMP
00001d00: JUMPDEST
00001d01: PUSH1 0x00
00001d03: PUSH2 0x0160
00001d06: DUP14
00001d07: DUP4
00001d08: MSTORE
00001d09: DUP13
00001d0a: PUSH1 0x20
00001d0c: DUP5
00001d0d: ADD
00001d0e: MSTORE
00001d0f: DUP1
00001d10: PUSH1 0x40
00001d12: DUP5
00001d13: ADD
00001d14: MSTORE
00001d15: PUSH2 0x1d20
00001d18: DUP2
00001d19: DUP5
00001d1a: ADD
00001d1b: DUP14
00001d1c: PUSH2 0x1bbb
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: SWAP1
00001d22: POP
00001d23: DUP3
00001d24: DUP2
00001d25: SUB
00001d26: PUSH1 0x60
00001d28: DUP5
00001d29: ADD
00001d2a: MSTORE
00001d2b: PUSH2 0x1d34
00001d2e: DUP2
00001d2f: DUP13
00001d30: PUSH2 0x1b78
00001d33: JUMP
00001d34: JUMPDEST
00001d35: SWAP1
00001d36: POP
00001d37: DUP3
00001d38: DUP2
00001d39: SUB
00001d3a: PUSH1 0x80
00001d3c: DUP5
00001d3d: ADD
00001d3e: MSTORE
00001d3f: PUSH2 0x1d48
00001d42: DUP2
00001d43: DUP12
00001d44: PUSH2 0x1bbb
00001d47: JUMP
00001d48: JUMPDEST
00001d49: SWAP1
00001d4a: POP
00001d4b: DUP3
00001d4c: DUP2
00001d4d: SUB
00001d4e: PUSH1 0xa0
00001d50: DUP5
00001d51: ADD
00001d52: MSTORE
00001d53: PUSH2 0x1d5c
00001d56: DUP2
00001d57: DUP11
00001d58: PUSH2 0x1b78
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH1 0x01
00001d5f: PUSH1 0x01
00001d61: PUSH1 0xa0
00001d63: SHL
00001d64: SUB
00001d65: DUP10
00001d66: AND
00001d67: PUSH1 0xc0
00001d69: DUP6
00001d6a: ADD
00001d6b: MSTORE
00001d6c: DUP4
00001d6d: DUP2
00001d6e: SUB
00001d6f: PUSH1 0xe0
00001d71: DUP6
00001d72: ADD
00001d73: MSTORE
00001d74: SWAP1
00001d75: POP
00001d76: PUSH2 0x1d7f
00001d79: DUP2
00001d7a: DUP9
00001d7b: PUSH2 0x1bea
00001d7e: JUMP
00001d7f: JUMPDEST
00001d80: PUSH2 0x0100
00001d83: DUP5
00001d84: ADD
00001d85: SWAP7
00001d86: SWAP1
00001d87: SWAP7
00001d88: MSTORE
00001d89: POP
00001d8a: POP
00001d8b: PUSH2 0x0120
00001d8e: DUP2
00001d8f: ADD
00001d90: SWAP3
00001d91: SWAP1
00001d92: SWAP3
00001d93: MSTORE
00001d94: PUSH2 0x0140
00001d97: SWAP1
00001d98: SWAP2
00001d99: ADD
00001d9a: MSTORE
00001d9b: SWAP9
00001d9c: SWAP8
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: POP
00001da1: POP
00001da2: POP
00001da3: POP
00001da4: POP
00001da5: JUMP
00001da6: JUMPDEST
00001da7: PUSH1 0x00
00001da9: PUSH2 0x0100
00001dac: DUP11
00001dad: DUP4
00001dae: MSTORE
00001daf: PUSH1 0x20
00001db1: DUP11
00001db2: DUP2
00001db3: DUP6
00001db4: ADD
00001db5: MSTORE
00001db6: DUP2
00001db7: PUSH1 0x40
00001db9: DUP6
00001dba: ADD
00001dbb: MSTORE
00001dbc: PUSH2 0x1dc7
00001dbf: DUP3
00001dc0: DUP6
00001dc1: ADD
00001dc2: DUP12
00001dc3: PUSH2 0x1bbb
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: SWAP2
00001dc9: POP
00001dca: DUP4
00001dcb: DUP3
00001dcc: SUB
00001dcd: PUSH1 0x60
00001dcf: DUP6
00001dd0: ADD
00001dd1: MSTORE
00001dd2: DUP2
00001dd3: DUP10
00001dd4: MLOAD
00001dd5: PUSH2 0x1dde
00001dd8: DUP2
00001dd9: DUP6
00001dda: PUSH2 0x1cb4
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: SWAP2
00001de0: POP
00001de1: DUP3
00001de2: DUP12
00001de3: ADD
00001de4: SWAP4
00001de5: POP
00001de6: DUP5
00001de7: JUMPDEST
00001de8: DUP2
00001de9: DUP2
00001dea: LT
00001deb: ISZERO
00001dec: PUSH2 0x1e08
00001def: JUMPI
00001df0: PUSH2 0x1dfa
00001df3: DUP4
00001df4: DUP7
00001df5: MLOAD
00001df6: PUSH2 0x1b5a
00001df9: JUMP
00001dfa: JUMPDEST
00001dfb: SWAP5
00001dfc: DUP5
00001dfd: ADD
00001dfe: SWAP5
00001dff: SWAP3
00001e00: POP
00001e01: PUSH1 0x01
00001e03: ADD
00001e04: PUSH2 0x1de7
00001e07: JUMP
00001e08: JUMPDEST
00001e09: POP
00001e0a: POP
00001e0b: DUP5
00001e0c: DUP2
00001e0d: SUB
00001e0e: PUSH1 0x80
00001e10: DUP7
00001e11: ADD
00001e12: MSTORE
00001e13: PUSH2 0x1e1c
00001e16: DUP2
00001e17: DUP11
00001e18: PUSH2 0x1bbb
00001e1b: JUMP
00001e1c: JUMPDEST
00001e1d: SWAP4
00001e1e: POP
00001e1f: POP
00001e20: POP
00001e21: POP
00001e22: DUP5
00001e23: PUSH1 0xa0
00001e25: DUP4
00001e26: ADD
00001e27: MSTORE
00001e28: PUSH2 0x1e34
00001e2b: PUSH1 0xc0
00001e2d: DUP4
00001e2e: ADD
00001e2f: DUP6
00001e30: PUSH2 0x1b6b
00001e33: JUMP
00001e34: JUMPDEST
00001e35: DUP3
00001e36: PUSH1 0xe0
00001e38: DUP4
00001e39: ADD
00001e3a: MSTORE
00001e3b: SWAP10
00001e3c: SWAP9
00001e3d: POP
00001e3e: POP
00001e3f: POP
00001e40: POP
00001e41: POP
00001e42: POP
00001e43: POP
00001e44: POP
00001e45: POP
00001e46: JUMP
00001e47: JUMPDEST
00001e48: PUSH1 0x00
00001e4a: DUP6
00001e4b: DUP3
00001e4c: MSTORE
00001e4d: DUP5
00001e4e: PUSH1 0x20
00001e50: DUP4
00001e51: ADD
00001e52: MSTORE
00001e53: DUP4
00001e54: PUSH1 0x40
00001e56: DUP4
00001e57: ADD
00001e58: MSTORE
00001e59: PUSH1 0x80
00001e5b: PUSH1 0x60
00001e5d: DUP4
00001e5e: ADD
00001e5f: MSTORE
00001e60: PUSH2 0x1e6c
00001e63: PUSH1 0x80
00001e65: DUP4
00001e66: ADD
00001e67: DUP5
00001e68: PUSH2 0x1bea
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: SWAP7
00001e6e: SWAP6
00001e6f: POP
00001e70: POP
00001e71: POP
00001e72: POP
00001e73: POP
00001e74: POP
00001e75: JUMP
00001e76: JUMPDEST
00001e77: SWAP4
00001e78: DUP5
00001e79: MSTORE
00001e7a: PUSH1 0x20
00001e7c: DUP5
00001e7d: ADD
00001e7e: SWAP3
00001e7f: SWAP1
00001e80: SWAP3
00001e81: MSTORE
00001e82: PUSH1 0x40
00001e84: DUP4
00001e85: ADD
00001e86: MSTORE
00001e87: PUSH1 0x60
00001e89: DUP3
00001e8a: ADD
00001e8b: MSTORE
00001e8c: PUSH1 0x80
00001e8e: ADD
00001e8f: SWAP1
00001e90: JUMP
00001e91: JUMPDEST
00001e92: SWAP4
00001e93: DUP5
00001e94: MSTORE
00001e95: PUSH1 0xff
00001e97: SWAP3
00001e98: SWAP1
00001e99: SWAP3
00001e9a: AND
00001e9b: PUSH1 0x20
00001e9d: DUP5
00001e9e: ADD
00001e9f: MSTORE
00001ea0: PUSH1 0x40
00001ea2: DUP4
00001ea3: ADD
00001ea4: MSTORE
00001ea5: PUSH1 0x60
00001ea7: DUP3
00001ea8: ADD
00001ea9: MSTORE
00001eaa: PUSH1 0x80
00001eac: ADD
00001ead: SWAP1
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x00
00001eb2: PUSH1 0x20
00001eb4: DUP3
00001eb5: MSTORE
00001eb6: PUSH2 0x1029
00001eb9: PUSH1 0x20
00001ebb: DUP4
00001ebc: ADD
00001ebd: DUP5
00001ebe: PUSH2 0x1bea
00001ec1: JUMP
00001ec2: JUMPDEST
00001ec3: PUSH1 0x20
00001ec5: DUP1
00001ec6: DUP3
00001ec7: MSTORE
00001ec8: PUSH1 0x16
00001eca: SWAP1
00001ecb: DUP3
00001ecc: ADD
00001ecd: MSTORE
00001ece: PUSH22 0x4d616c666f726d6564206c697374206f662066656573
00001ee5: PUSH1 0x50
00001ee7: SHL
00001ee8: PUSH1 0x40
00001eea: DUP3
00001eeb: ADD
00001eec: MSTORE
00001eed: PUSH1 0x60
00001eef: ADD
00001ef0: SWAP1
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: PUSH1 0x20
00001ef5: DUP1
00001ef6: DUP3
00001ef7: MSTORE
00001ef8: PUSH1 0x3f
00001efa: SWAP1
00001efb: DUP3
00001efc: ADD
00001efd: MSTORE
00001efe: PUSH32 0x537570706c6965642063757272656e742076616c696461746f727320616e6420
00001f1f: PUSH1 0x40
00001f21: DUP3
00001f22: ADD
00001f23: MSTORE
00001f24: PUSH32 0x706f7765727320646f206e6f74206d6174636820636865636b706f696e742e00
00001f45: PUSH1 0x60
00001f47: DUP3
00001f48: ADD
00001f49: MSTORE
00001f4a: PUSH1 0x80
00001f4c: ADD
00001f4d: SWAP1
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: PUSH1 0x20
00001f52: DUP1
00001f53: DUP3
00001f54: MSTORE
00001f55: PUSH1 0x36
00001f57: SWAP1
00001f58: DUP3
00001f59: ADD
00001f5a: MSTORE
00001f5b: PUSH32 0x4e6577206261746368206e6f6e6365206d757374206265206772656174657220
00001f7c: PUSH1 0x40
00001f7e: DUP3
00001f7f: ADD
00001f80: MSTORE
00001f81: PUSH22 0x7468616e207468652063757272656e74206e6f6e6365
00001f98: PUSH1 0x50
00001f9a: SHL
00001f9b: PUSH1 0x60
00001f9d: DUP3
00001f9e: ADD
00001f9f: MSTORE
00001fa0: PUSH1 0x80
00001fa2: ADD
00001fa3: SWAP1
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: PUSH1 0x20
00001fa8: DUP1
00001fa9: DUP3
00001faa: MSTORE
00001fab: PUSH1 0x1f
00001fad: SWAP1
00001fae: DUP3
00001faf: ADD
00001fb0: MSTORE
00001fb1: PUSH32 0x4d616c666f726d6564206261746368206f66207472616e73616374696f6e7300
00001fd2: PUSH1 0x40
00001fd4: DUP3
00001fd5: ADD
00001fd6: MSTORE
00001fd7: PUSH1 0x60
00001fd9: ADD
00001fda: SWAP1
00001fdb: JUMP
00001fdc: JUMPDEST
00001fdd: PUSH1 0x20
00001fdf: DUP1
00001fe0: DUP3
00001fe1: MSTORE
00001fe2: PUSH1 0x3d
00001fe4: SWAP1
00001fe5: DUP3
00001fe6: ADD
00001fe7: MSTORE
00001fe8: PUSH32 0x4e657720696e76616c69646174696f6e206e6f6e6365206d7573742062652067
00002009: PUSH1 0x40
0000200b: DUP3
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH32 0x726561746572207468616e207468652063757272656e74206e6f6e6365000000
0000202f: PUSH1 0x60
00002031: DUP3
00002032: ADD
00002033: MSTORE
00002034: PUSH1 0x80
00002036: ADD
00002037: SWAP1
00002038: JUMP
00002039: JUMPDEST
0000203a: PUSH1 0x20
0000203c: DUP1
0000203d: DUP3
0000203e: MSTORE
0000203f: PUSH1 0x1b
00002041: SWAP1
00002042: DUP3
00002043: ADD
00002044: MSTORE
00002045: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002066: PUSH1 0x40
00002068: DUP3
00002069: ADD
0000206a: MSTORE
0000206b: PUSH1 0x60
0000206d: ADD
0000206e: SWAP1
0000206f: JUMP
00002070: JUMPDEST
00002071: PUSH1 0x20
00002073: DUP1
00002074: DUP3
00002075: MSTORE
00002076: PUSH1 0x09
00002078: SWAP1
00002079: DUP3
0000207a: ADD
0000207b: MSTORE
0000207c: PUSH9 0x151a5b5959081bdd5d
00002086: PUSH1 0xba
00002088: SHL
00002089: PUSH1 0x40
0000208b: DUP3
0000208c: ADD
0000208d: MSTORE
0000208e: PUSH1 0x60
00002090: ADD
00002091: SWAP1
00002092: JUMP
00002093: JUMPDEST
00002094: PUSH1 0x20
00002096: DUP1
00002097: DUP3
00002098: MSTORE
00002099: PUSH1 0x23
0000209b: SWAP1
0000209c: DUP3
0000209d: ADD
0000209e: MSTORE
0000209f: PUSH32 0x56616c696461746f72207369676e617475726520646f6573206e6f74206d6174
000020c0: PUSH1 0x40
000020c2: DUP3
000020c3: ADD
000020c4: MSTORE
000020c5: PUSH3 0x31b417
000020c9: PUSH1 0xe9
000020cb: SHL
000020cc: PUSH1 0x60
000020ce: DUP3
000020cf: ADD
000020d0: MSTORE
000020d1: PUSH1 0x80
000020d3: ADD
000020d4: SWAP1
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH1 0x20
000020d9: DUP1
000020da: DUP3
000020db: MSTORE
000020dc: PUSH1 0x3b
000020de: SWAP1
000020df: DUP3
000020e0: ADD
000020e1: MSTORE
000020e2: PUSH32 0x42617463682074696d656f7574206d7573742062652067726561746572207468
00002103: PUSH1 0x40
00002105: DUP3
00002106: ADD
00002107: MSTORE
00002108: PUSH32 0x616e207468652063757272656e7420626c6f636b206865696768740000000000
00002129: PUSH1 0x60
0000212b: DUP3
0000212c: ADD
0000212d: MSTORE
0000212e: PUSH1 0x80
00002130: ADD
00002131: SWAP1
00002132: JUMP
00002133: JUMPDEST
00002134: PUSH1 0x20
00002136: DUP1
00002137: DUP3
00002138: MSTORE
00002139: PUSH1 0x21
0000213b: SWAP1
0000213c: DUP3
0000213d: ADD
0000213e: MSTORE
0000213f: PUSH32 0x4d616c666f726d6564206c697374206f6620746f6b656e207472616e73666572
00002160: PUSH1 0x40
00002162: DUP3
00002163: ADD
00002164: MSTORE
00002165: PUSH1 0x73
00002167: PUSH1 0xf8
00002169: SHL
0000216a: PUSH1 0x60
0000216c: DUP3
0000216d: ADD
0000216e: MSTORE
0000216f: PUSH1 0x80
00002171: ADD
00002172: SWAP1
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH1 0x20
00002177: DUP1
00002178: DUP3
00002179: MSTORE
0000217a: PUSH1 0x1b
0000217c: SWAP1
0000217d: DUP3
0000217e: ADD
0000217f: MSTORE
00002180: PUSH32 0x4d616c666f726d6564206e65772076616c696461746f72207365740000000000
000021a1: PUSH1 0x40
000021a3: DUP3
000021a4: ADD
000021a5: MSTORE
000021a6: PUSH1 0x60
000021a8: ADD
000021a9: SWAP1
000021aa: JUMP
000021ab: JUMPDEST
000021ac: PUSH1 0x20
000021ae: DUP1
000021af: DUP3
000021b0: MSTORE
000021b1: PUSH1 0x11
000021b3: SWAP1
000021b4: DUP3
000021b5: ADD
000021b6: MSTORE
000021b7: PUSH17 0x1c195c9b5a5cdcda5bdb8819195b9a5959
000021c9: PUSH1 0x7a
000021cb: SHL
000021cc: PUSH1 0x40
000021ce: DUP3
000021cf: ADD
000021d0: MSTORE
000021d1: PUSH1 0x60
000021d3: ADD
000021d4: SWAP1
000021d5: JUMP
000021d6: JUMPDEST
000021d7: PUSH1 0x20
000021d9: DUP1
000021da: DUP3
000021db: MSTORE
000021dc: PUSH1 0x3c
000021de: SWAP1
000021df: DUP3
000021e0: ADD
000021e1: MSTORE
000021e2: PUSH32 0x5375626d69747465642076616c696461746f7220736574207369676e61747572
00002203: PUSH1 0x40
00002205: DUP3
00002206: ADD
00002207: MSTORE
00002208: PUSH32 0x657320646f206e6f74206861766520656e6f75676820706f7765722e00000000
00002229: PUSH1 0x60
0000222b: DUP3
0000222c: ADD
0000222d: MSTORE
0000222e: PUSH1 0x80
00002230: ADD
00002231: SWAP1
00002232: JUMP
00002233: JUMPDEST
00002234: PUSH1 0x20
00002236: DUP1
00002237: DUP3
00002238: MSTORE
00002239: PUSH1 0x37
0000223b: SWAP1
0000223c: DUP3
0000223d: ADD
0000223e: MSTORE
0000223f: PUSH32 0x4e65772076616c736574206e6f6e6365206d7573742062652067726561746572
00002260: PUSH1 0x40
00002262: DUP3
00002263: ADD
00002264: MSTORE
00002265: PUSH32 0x207468616e207468652063757272656e74206e6f6e6365000000000000000000
00002286: PUSH1 0x60
00002288: DUP3
00002289: ADD
0000228a: MSTORE
0000228b: PUSH1 0x80
0000228d: ADD
0000228e: SWAP1
0000228f: JUMP
00002290: JUMPDEST
00002291: PUSH1 0x20
00002293: DUP1
00002294: DUP3
00002295: MSTORE
00002296: PUSH1 0x1d
00002298: SWAP1
00002299: DUP3
0000229a: ADD
0000229b: MSTORE
0000229c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000022bd: PUSH1 0x40
000022bf: DUP3
000022c0: ADD
000022c1: MSTORE
000022c2: PUSH1 0x60
000022c4: ADD
000022c5: SWAP1
000022c6: JUMP
000022c7: JUMPDEST
000022c8: PUSH1 0x20
000022ca: DUP1
000022cb: DUP3
000022cc: MSTORE
000022cd: PUSH1 0x23
000022cf: SWAP1
000022d0: DUP3
000022d1: ADD
000022d2: MSTORE
000022d3: PUSH32 0x5472616e7366657248656c7065723a204554485f5452414e534645525f464149
000022f4: PUSH1 0x40
000022f6: DUP3
000022f7: ADD
000022f8: MSTORE
000022f9: PUSH3 0x131151
000022fd: PUSH1 0xea
000022ff: SHL
00002300: PUSH1 0x60
00002302: DUP3
00002303: ADD
00002304: MSTORE
00002305: PUSH1 0x80
00002307: ADD
00002308: SWAP1
00002309: JUMP
0000230a: JUMPDEST
0000230b: PUSH1 0x20
0000230d: DUP1
0000230e: DUP3
0000230f: MSTORE
00002310: PUSH1 0x2a
00002312: SWAP1
00002313: DUP3
00002314: ADD
00002315: MSTORE
00002316: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002337: PUSH1 0x40
00002339: DUP3
0000233a: ADD
0000233b: MSTORE
0000233c: PUSH10 0x1bdd081cdd58d8d95959
00002347: PUSH1 0xb2
00002349: SHL
0000234a: PUSH1 0x60
0000234c: DUP3
0000234d: ADD
0000234e: MSTORE
0000234f: PUSH1 0x80
00002351: ADD
00002352: SWAP1
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH1 0x20
00002357: DUP1
00002358: DUP3
00002359: MSTORE
0000235a: PUSH1 0x1f
0000235c: SWAP1
0000235d: DUP3
0000235e: ADD
0000235f: MSTORE
00002360: PUSH32 0x4d616c666f726d65642063757272656e742076616c696461746f722073657400
00002381: PUSH1 0x40
00002383: DUP3
00002384: ADD
00002385: MSTORE
00002386: PUSH1 0x60
00002388: ADD
00002389: SWAP1
0000238a: JUMP
0000238b: JUMPDEST
0000238c: PUSH1 0x20
0000238e: DUP1
0000238f: DUP3
00002390: MSTORE
00002391: PUSH1 0x1f
00002393: SWAP1
00002394: DUP3
00002395: ADD
00002396: MSTORE
00002397: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000023b8: PUSH1 0x40
000023ba: DUP3
000023bb: ADD
000023bc: MSTORE
000023bd: PUSH1 0x60
000023bf: ADD
000023c0: SWAP1
000023c1: JUMP
000023c2: JUMPDEST
000023c3: PUSH1 0x00
000023c5: DUP5
000023c6: DUP3
000023c7: MSTORE
000023c8: PUSH1 0x60
000023ca: PUSH1 0x20
000023cc: DUP4
000023cd: ADD
000023ce: MSTORE
000023cf: PUSH2 0x23db
000023d2: PUSH1 0x60
000023d4: DUP4
000023d5: ADD
000023d6: DUP6
000023d7: PUSH2 0x1b78
000023da: JUMP
000023db: JUMPDEST
000023dc: DUP3
000023dd: DUP2
000023de: SUB
000023df: PUSH1 0x40
000023e1: DUP5
000023e2: ADD
000023e3: MSTORE
000023e4: PUSH2 0x1e6c
000023e7: DUP2
000023e8: DUP6
000023e9: PUSH2 0x1bbb
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH1 0x40
000023f0: MLOAD
000023f1: DUP2
000023f2: DUP2
000023f3: ADD
000023f4: PUSH1 0x01
000023f6: PUSH1 0x01
000023f8: PUSH1 0x40
000023fa: SHL
000023fb: SUB
000023fc: DUP2
000023fd: GT
000023fe: DUP3
000023ff: DUP3
00002400: LT
00002401: OR
00002402: ISZERO
00002403: PUSH2 0x240b
00002406: JUMPI
00002407: PUSH1 0x00
00002409: DUP1
0000240a: REVERT
0000240b: JUMPDEST
0000240c: PUSH1 0x40
0000240e: MSTORE
0000240f: SWAP2
00002410: SWAP1
00002411: POP
00002412: JUMP
00002413: JUMPDEST
00002414: PUSH1 0x00
00002416: PUSH1 0x01
00002418: PUSH1 0x01
0000241a: PUSH1 0x40
0000241c: SHL
0000241d: SUB
0000241e: DUP3
0000241f: GT
00002420: ISZERO
00002421: PUSH2 0x2428
00002424: JUMPI
00002425: DUP1
00002426: DUP2
00002427: REVERT
00002428: JUMPDEST
00002429: POP
0000242a: PUSH1 0x20
0000242c: SWAP1
0000242d: DUP2
0000242e: MUL
0000242f: ADD
00002430: SWAP1
00002431: JUMP
00002432: JUMPDEST
00002433: PUSH1 0x00
00002435: JUMPDEST
00002436: DUP4
00002437: DUP2
00002438: LT
00002439: ISZERO
0000243a: PUSH2 0x244d
0000243d: JUMPI
0000243e: DUP2
0000243f: DUP2
00002440: ADD
00002441: MLOAD
00002442: DUP4
00002443: DUP3
00002444: ADD
00002445: MSTORE
00002446: PUSH1 0x20
00002448: ADD
00002449: PUSH2 0x2435
0000244c: JUMP
0000244d: JUMPDEST
0000244e: DUP4
0000244f: DUP2
00002450: GT
00002451: ISZERO
00002452: PUSH2 0x1078
00002455: JUMPI
00002456: POP
00002457: POP
00002458: PUSH1 0x00
0000245a: SWAP2
0000245b: ADD
0000245c: MSTORE
0000245d: JUMP
0000245e: JUMPDEST
0000245f: PUSH1 0x01
00002461: PUSH1 0x01
00002463: PUSH1 0xa0
00002465: SHL
00002466: SUB
00002467: DUP2
00002468: AND
00002469: DUP2
0000246a: EQ
0000246b: PUSH2 0x2473
0000246e: JUMPI
0000246f: PUSH1 0x00
00002471: DUP1
00002472: REVERT
00002473: JUMPDEST
00002474: POP
00002475: JUMP
00002476: INVALID
00002477: LOG2
00002478: PUSH5 0x6970667358
0000247e: UNKNOWN(0x22)
0000247f: SLT
00002480: KECCAK256
00002481: PUSH12 0xc6722725083ade04f749e952
0000248e: CALL
0000248f: UNKNOWN(0x28)
00002490: LOG0
00002491: UNKNOWN(0xC9)
00002492: LOG4
00002493: UNKNOWN(0x2A)
00002494: LOG4
00002495: SSTORE
00002496: PUSH0
00002497: MUL
00002498: UNKNOWN(0x23)
00002499: DUP1
0000249a: UNKNOWN(0xD8)
0000249b: UNKNOWN(0x29)
0000249c: UNKNOWN(0xB5)
0000249d: UNKNOWN(0xD0)
0000249e: UNKNOWN(0x25)
0000249f: DUP5
000024a0: PC
000024a1: PUSH5 0x736f6c6343
000024a7: STOP
000024a8: MOD
000024a9: UNKNOWN(0x0C)
000024aa: STOP
000024ab: 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: 0xed7a594b0757d5d79ba7f5ca773bb52755f68fa97d5e2f54d163a7d80ffe98d4 call_targets: 0x897c27fa372aa730d4c75b1243e7ea38879194e2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xed7a594b0757d5d79ba7f5ca773bb52755f68fa97d5e2f54d163a7d80ffe98d4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x897c27fa372aa730d4c75b1243e7ea38879194e2" ], "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": "0xdf97174b", "selector": "0xdf97174b", "calldata_variants": [ "0xdf97174b", "0xdf97174b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2d7c048", "selector": "0xe2d7c048", "calldata_variants": [ "0xe2d7c048", "0xe2d7c0480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3cb9f62", "selector": "0xe3cb9f62", "calldata_variants": [ "0xe3cb9f62", "0xe3cb9f620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5a2b5d2", "selector": "0xe5a2b5d2", "calldata_variants": [ "0xe5a2b5d2", "0xe5a2b5d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2b53307", "selector": "0xf2b53307", "calldata_variants": [ "0xf2b53307", "0xf2b533070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x83b435db", "selector": "0x83b435db", "calldata_variants": [ "0x83b435db", "0x83b435db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb56561fe", "selector": "0xb56561fe", "calldata_variants": [ "0xb56561fe", "0xb56561fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbdda81d4", "selector": "0xbdda81d4", "calldata_variants": [ "0xbdda81d4", "0xbdda81d40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2706, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3145, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4277, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xed7a594b0757d5d79ba7f5ca773bb52755f68fa97d5e2f54d163a7d80ffe98d4 call_targets: 0x897c27fa372aa730d4c75b1243e7ea38879194e2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xed7a594b0757d5d79ba7f5ca773bb52755f68fa97d5e2f54d163a7d80ffe98d4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x897c27fa372aa730d4c75b1243e7ea38879194e2" ], "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": "0xdf97174b", "selector": "0xdf97174b", "calldata_variants": [ "0xdf97174b", "0xdf97174b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe2d7c048", "selector": "0xe2d7c048", "calldata_variants": [ "0xe2d7c048", "0xe2d7c0480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe3cb9f62", "selector": "0xe3cb9f62", "calldata_variants": [ "0xe3cb9f62", "0xe3cb9f620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5a2b5d2", "selector": "0xe5a2b5d2", "calldata_variants": [ "0xe5a2b5d2", "0xe5a2b5d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2b53307", "selector": "0xf2b53307", "calldata_variants": [ "0xf2b53307", "0xf2b533070000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x83b435db", "selector": "0x83b435db", "calldata_variants": [ "0x83b435db", "0x83b435db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb56561fe", "selector": "0xb56561fe", "calldata_variants": [ "0xb56561fe", "0xb56561fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbdda81d4", "selector": "0xbdda81d4", "calldata_variants": [ "0xbdda81d4", "0xbdda81d40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2706, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3145, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4277, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }

Severity