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

Analysis Run

019be3d6-81c4-7091-b835-57b1fa52d217

failed
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
40526 artifact.fetch complete 1 / 3 2 months ago
40527 proxy.resolve complete 1 / 3 2 months ago
40528 tool.cast_disasm complete 1 / 3 2 months ago
40529 analysis.bundle complete 1 / 3 2 months ago
40530 capability.graph complete 1 / 3 2 months ago
40531 detector.run complete 1 / 3 2 months ago
40532 validation.fork complete 1 / 3 2 months ago
41216 report.consolidate complete 1 / 6 2 months ago
41217 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-jhc3ytdg) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-jhc3ytdg) 'forge' returned non-zero exit code 1 2026-01-22T08:06:46.438223Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2) stdout: Unable to resolve imports: stdout: "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-jhc3ytdg/contracts/RICE.sol" stdout: with remappings: stdout: openzeppelin-contracts/=/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/ stdout: @openzeppelin/contracts/=/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/contracts/ stdout: Compiling 11 files with Solc 0.8.20 stdout: Solc 0.8.20 finished in 22.13ms Error: Compiler run failed: stderr: Error (6275): Source "lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol" not found: File not found. Searched the following locations: "/tmp/slither-jhc3ytdg". stderr: ParserError: Source "lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol" not found: File not found. Searched the following locations: "/tmp/slither-jhc3ytdg". stderr: --> contracts/RICE.sol:6:1: stderr: | stderr: 6 | import '@openzeppelin/contracts/security/ReentrancyGuard.sol'; stderr: | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Traceback (most recent call last): File "/var/www/tripwire/.venv/bin/slither", line 10, in <module> sys.exit(main()) ~~~~^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main main_impl(all_detector_classes=detectors, all_printer_classes=printers) ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl ) = process_all(filename, args, detector_classes, printer_classes) ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all compilations = compile_all(target, **vars(args)) File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all compilations.append(CryticCompile(target, **kwargs)) ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__ self._compile(**kwargs) ~~~~~~~~~~~~~^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile self._platform.compile(self, **kwargs) ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile hardhat_like_parsing( ~~~~~~~~~~~~~~~~~~~~^ crytic_compile, str(self._target), build_directory, str(self._project_root) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ) ^ File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing raise InvalidCompilation(txt) crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command? /tmp/slither-jhc3ytdg/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-jhc3ytdg)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-jhc3ytdg)
'forge' returned non-zero exit code 1
2026-01-22T08:06:46.438223Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout:       "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-jhc3ytdg/contracts/RICE.sol"
stdout: with remappings:
stdout:       openzeppelin-contracts/=/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/
stdout:       @openzeppelin/contracts/=/tmp/slither-jhc3ytdg/lib/openzeppelin-contracts/contracts/
stdout: Compiling 11 files with Solc 0.8.20
stdout: Solc 0.8.20 finished in 22.13ms
Error: Compiler run failed:
stderr: Error (6275): Source "lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol" not found: File not found. Searched the following locations: "/tmp/slither-jhc3ytdg".
stderr: ParserError: Source "lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol" not found: File not found. Searched the following locations: "/tmp/slither-jhc3ytdg".
stderr:  --> contracts/RICE.sol:6:1:
stderr:   |
stderr: 6 | import '@openzeppelin/contracts/security/ReentrancyGuard.sol';
stderr:   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Traceback (most recent call last):
  File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
    sys.exit(main())
             ~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
    compilations = compile_all(target, **vars(args))
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
                        ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
    self._compile(**kwargs)
    ~~~~~~~~~~~~~^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
    self._platform.compile(self, **kwargs)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
    hardhat_like_parsing(
    ~~~~~~~~~~~~~~~~~~~~^
        crytic_compile, str(self._target), build_directory, str(self._project_root)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
    raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-jhc3ytdg/out/build-info is not a directory.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
2
No findings?
no
Summary
Found two issues in RICE’s liquidity deployment: a refund-triggered DoS due to missing ETH receive, and attacker-controlled pool price/slippage when a preexisting pair exists.
View stdout
{"no_findings":false,"summary":"Found two issues in RICE’s liquidity deployment: a refund-triggered DoS due to missing ETH receive, and attacker-controlled pool price/slippage when a preexisting pair exists.","findings":[{"severity":"medium","category":"other","title":"Liquidity deployment can be DoS’d by forcing ETH refunds to a contract with no receive()","exploit_scenario":"An attacker pre-creates a RICE/WETH pair with a token/ETH ratio where `amountTokenDesired/amountETHDesired` is below pool ratio. `addLiquidityETH` then refunds excess ETH to `msg.sender` (this contract). Because `RICE` lacks a payable `receive`/`fallback`, the refund reverts, causing `deployLiquidity()` to revert and blocking `claim()` until the 1‑day emergency path (which skips token distribution).","recommendation":"Add a payable `receive()` or `fallback()` to accept ETH refunds, or pre-check pair existence/reserves and enforce amounts that avoid refunds (or revert early if pair exists).","evidence":"`deployLiquidity()` calls `router.addLiquidityETH{value: liquidityEthAmount}(..., 0, 0, address(0), ...)` and the contract defines no payable receive/fallback to accept potential ETH refunds.","locations":["contracts/RICE.sol:257","contracts/RICE.sol:268"]},{"severity":"medium","category":"oracle","title":"Liquidity deploys at attacker-controlled ratio if a pair already exists (no slippage / reserve checks)","exploit_scenario":"A malicious actor can create and seed the RICE/WETH pool before bonding ends, setting an extreme reserve ratio. Because `deployLiquidity()` uses `amountAMin/amountBMin = 0` and doesn’t verify that the pair is empty, it adds liquidity at that manipulated price. The resulting mispriced liquidity can be arbitraged, effectively extracting value from the permanently locked LP position.","recommendation":"Require that the pair does not exist or has zero reserves before adding liquidity, or enforce minimum amounts based on expected price bounds (or a TWAP) to prevent manipulated ratios.","evidence":"`deployLiquidity()` calls `addLiquidityETH` with min amounts set to 0 and only checks/creates the pair after liquidity is added.","locations":["contracts/RICE.sol:257","contracts/RICE.sol:268"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-vko12z7v
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be3da-1884-71f0-8088-06fde089fc18
--------
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 file**
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-vko12z7v succeeded in 8ms:
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: @uniswap/v2-core/contracts/interfaces/IUniswapV2Factory.sol
================================================================================
pragma solidity >=0.5.0;

interface IUniswapV2Factory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function allPairs(uint) external view returns (address pair);
    function allPairsLength() external view returns (uint);

    function createPair(address tokenA, address tokenB) external returns (address pair);




thinking
**Analyzing bonding claim logic**

The claim function enforces bonding period by requiring deployLiquidity to have run first, preventing early claims, and uses nonReentrant for safety. The liquidity tokens are sent to the zero address intentionally, but the contract must ensure it holds enough ETH to return 90% to bonders after deploying 10% as liquidity.
thinking
**Identifying DoS via liquidity refund revert**

The contract lacks a receive fallback, causing deployLiquidity to revert if Uniswap router tries refunding excess ETH during addLiquidityETH when a manipulated pair exists, enabling a DoS that blocks claims by forcing ETH refunds that the contract can't accept.
thinking
**Confirming reentrancy protection and clarifying DoS impact**

Reentrancy is fully protected across key functions despite external calls, and the main DoS risk from deployLiquidity refund revert causes at worst a delay up to 1 day before emergencyClaim can release funds without tokens, impacting token distribution timing but not permanent loss.
exec
/bin/bash -lc "rg -n \"deployLiquidity|addLiquidityETH|claim\\(|emergencyClaim\" contracts/RICE.sol" in /tmp/codex-vko12z7v succeeded in 21ms:
171:  function claim() external nonReentrant {
172:    if (!liquidityDeployed) deployLiquidity();
257:  function deployLiquidity() private {
268:    router.addLiquidityETH{value: liquidityEthAmount}(
295:  function emergencyClaim() public nonReentrant {


thinking
**Highlighting transfer usage and liquidity risks**

Noting that using `transfer` can cause DoS in some contracts due to gas changes, posing a low-severity risk here. Also flagging that deploying liquidity with zero minimum amounts might expose the pool to price manipulation if the pair is pre-seeded, which is exploitable beyond oracle scope.
thinking
**Detailing liquidity add risks and missing receive fallback**

Clarifying that adding liquidity to a pre-existing pair with manipulated reserves can economically harm the contract by locking assets at skewed prices and enabling arbitrage-based value extraction. Highlighting that missing a payable receive function causes deployLiquidity to revert on ETH refunds, blocking claims. Both deserve distinct medium-severity findings focusing on external call and oracle manipulation categories.
codex
{"no_findings":false,"summary":"Found two issues in RICE’s liquidity deployment: a refund-triggered DoS due to missing ETH receive, and attacker-controlled pool price/slippage when a preexisting pair exists.","findings":[{"severity":"medium","category":"other","title":"Liquidity deployment can be DoS’d by forcing ETH refunds to a contract with no receive()","exploit_scenario":"An attacker pre-creates a RICE/WETH pair with a token/ETH ratio where `amountTokenDesired/amountETHDesired` is below pool ratio. `addLiquidityETH` then refunds excess ETH to `msg.sender` (this contract). Because `RICE` lacks a payable `receive`/`fallback`, the refund reverts, causing `deployLiquidity()` to revert and blocking `claim()` until the 1‑day emergency path (which skips token distribution).","recommendation":"Add a payable `receive()` or `fallback()` to accept ETH refunds, or pre-check pair existence/reserves and enforce amounts that avoid refunds (or revert early if pair exists).","evidence":"`deployLiquidity()` calls `router.addLiquidityETH{value: liquidityEthAmount}(..., 0, 0, address(0), ...)` and the contract defines no payable receive/fallback to accept potential ETH refunds.","locations":["contracts/RICE.sol:257","contracts/RICE.sol:268"]},{"severity":"medium","category":"oracle","title":"Liquidity deploys at attacker-controlled ratio if a pair already exists (no slippage / reserve checks)","exploit_scenario":"A malicious actor can create and seed the RICE/WETH pool before bonding ends, setting an extreme reserve ratio. Because `deployLiquidity()` uses `amountAMin/amountBMin = 0` and doesn’t verify that the pair is empty, it adds liquidity at that manipulated price. The resulting mispriced liquidity can be arbitraged, effectively extracting value from the permanently locked LP position.","recommendation":"Require that the pair does not exist or has zero reserves before adding liquidity, or enforce minimum amounts based on expected price bounds (or a TWAP) to prevent manipulated ratios.","evidence":"`deployLiquidity()` calls `addLiquidityETH` with min amounts set to 0 and only checks/creates the pair after liquidity is added.","locations":["contracts/RICE.sol:257","contracts/RICE.sol:268"]}]}
tokens used
17,421
Metadata
{
    "codex": {
        "ran_at": "2026-01-22T04:00:20.425733+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 11,
        "import_count": 11,
        "first_party_contracts_count": 6
    },
    "summary": "Found two issues in RICE\u2019s liquidity deployment: a refund-triggered DoS due to missing ETH receive, and attacker-controlled pool price/slippage when a preexisting pair exists.",
    "raw_final": {
        "summary": "Found two issues in RICE\u2019s liquidity deployment: a refund-triggered DoS due to missing ETH receive, and attacker-controlled pool price/slippage when a preexisting pair exists.",
        "findings": [
            {
                "title": "Liquidity deployment can be DoS\u2019d by forcing ETH refunds to a contract with no receive()",
                "category": "other",
                "evidence": "`deployLiquidity()` calls `router.addLiquidityETH{value: liquidityEthAmount}(..., 0, 0, address(0), ...)` and the contract defines no payable receive/fallback to accept potential ETH refunds.",
                "severity": "medium",
                "locations": [
                    "contracts/RICE.sol:257",
                    "contracts/RICE.sol:268"
                ],
                "recommendation": "Add a payable `receive()` or `fallback()` to accept ETH refunds, or pre-check pair existence/reserves and enforce amounts that avoid refunds (or revert early if pair exists).",
                "exploit_scenario": "An attacker pre-creates a RICE/WETH pair with a token/ETH ratio where `amountTokenDesired/amountETHDesired` is below pool ratio. `addLiquidityETH` then refunds excess ETH to `msg.sender` (this contract). Because `RICE` lacks a payable `receive`/`fallback`, the refund reverts, causing `deployLiquidity()` to revert and blocking `claim()` until the 1\u2011day emergency path (which skips token distribution)."
            },
            {
                "title": "Liquidity deploys at attacker-controlled ratio if a pair already exists (no slippage / reserve checks)",
                "category": "oracle",
                "evidence": "`deployLiquidity()` calls `addLiquidityETH` with min amounts set to 0 and only checks/creates the pair after liquidity is added.",
                "severity": "medium",
                "locations": [
                    "contracts/RICE.sol:257",
                    "contracts/RICE.sol:268"
                ],
                "recommendation": "Require that the pair does not exist or has zero reserves before adding liquidity, or enforce minimum amounts based on expected price bounds (or a TWAP) to prevent manipulated ratios.",
                "exploit_scenario": "A malicious actor can create and seed the RICE/WETH pool before bonding ends, setting an extreme reserve ratio. Because `deployLiquidity()` uses `amountAMin/amountBMin = 0` and doesn\u2019t verify that the pair is empty, it adds liquidity at that manipulated price. The resulting mispriced liquidity can be arbitraged, effectively extracting value from the permanently locked LP position."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
1
Total opcodes
7136
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0203
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x7b4fb680
00000018: GT
00000019: PUSH2 0x0117
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xc31c6fb9
00000023: GT
00000024: PUSH2 0x009f
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xdd62ed3e
0000002e: GT
0000002f: PUSH2 0x006e
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xdd62ed3e
00000039: EQ
0000003a: PUSH2 0x0729
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf011bb9c
00000044: EQ
00000045: PUSH2 0x0765
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf887ea40
0000004f: EQ
00000050: PUSH2 0x078f
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xfe10d774
0000005a: EQ
0000005b: PUSH2 0x07b9
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xffdd5cf1
00000065: EQ
00000066: PUSH2 0x07f7
00000069: JUMPI
0000006a: PUSH2 0x0203
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0xc31c6fb9
00000075: EQ
00000076: PUSH2 0x0681
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0xc4f0cc82
00000080: EQ
00000081: PUSH2 0x06ab
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0xc816841b
0000008b: EQ
0000008c: PUSH2 0x06d5
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0xd545e0a2
00000096: EQ
00000097: PUSH2 0x06ff
0000009a: JUMPI
0000009b: PUSH2 0x0203
0000009e: JUMP
0000009f: JUMPDEST
000000a0: DUP1
000000a1: PUSH4 0x95d89b41
000000a6: GT
000000a7: PUSH2 0x00e6
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x95d89b41
000000b1: EQ
000000b2: PUSH2 0x058b
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x9c5913cc
000000bc: EQ
000000bd: PUSH2 0x05b5
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0xa457c2d7
000000c7: EQ
000000c8: PUSH2 0x05df
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0xa9059cbb
000000d2: EQ
000000d3: PUSH2 0x061b
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xaaf5eb68
000000dd: EQ
000000de: PUSH2 0x0657
000000e1: JUMPI
000000e2: PUSH2 0x0203
000000e5: JUMP
000000e6: JUMPDEST
000000e7: DUP1
000000e8: PUSH4 0x7b4fb680
000000ed: EQ
000000ee: PUSH2 0x04d1
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x8d427e25
000000f8: EQ
000000f9: PUSH2 0x04fb
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x8ea42976
00000103: EQ
00000104: PUSH2 0x0525
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x902d55a5
0000010e: EQ
0000010f: PUSH2 0x0561
00000112: JUMPI
00000113: PUSH2 0x0203
00000116: JUMP
00000117: JUMPDEST
00000118: DUP1
00000119: PUSH4 0x36e9332d
0000011e: GT
0000011f: PUSH2 0x019a
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x4d8d9e92
00000129: GT
0000012a: PUSH2 0x0169
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x4d8d9e92
00000134: EQ
00000135: PUSH2 0x0421
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x4e71d92d
0000013f: EQ
00000140: PUSH2 0x044b
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x64c9ec6f
0000014a: EQ
0000014b: PUSH2 0x0461
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x67fc6dea
00000155: EQ
00000156: PUSH2 0x046b
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x70a08231
00000160: EQ
00000161: PUSH2 0x0495
00000164: JUMPI
00000165: PUSH2 0x0203
00000168: JUMP
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x36e9332d
00000170: EQ
00000171: PUSH2 0x0367
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x39509351
0000017b: EQ
0000017c: PUSH2 0x0391
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x3ccfbabf
00000186: EQ
00000187: PUSH2 0x03cd
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x44d96e95
00000191: EQ
00000192: PUSH2 0x03f7
00000195: JUMPI
00000196: PUSH2 0x0203
00000199: JUMP
0000019a: JUMPDEST
0000019b: DUP1
0000019c: PUSH4 0x18160ddd
000001a1: GT
000001a2: PUSH2 0x01d6
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x18160ddd
000001ac: EQ
000001ad: PUSH2 0x02c1
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x23b872dd
000001b7: EQ
000001b8: PUSH2 0x02eb
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x2b8278ca
000001c2: EQ
000001c3: PUSH2 0x0327
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x313ce567
000001cd: EQ
000001ce: PUSH2 0x033d
000001d1: JUMPI
000001d2: PUSH2 0x0203
000001d5: JUMP
000001d6: JUMPDEST
000001d7: DUP1
000001d8: PUSH4 0x06fdde03
000001dd: EQ
000001de: PUSH2 0x0207
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x095ea7b3
000001e8: EQ
000001e9: PUSH2 0x0231
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x0cc678c9
000001f3: EQ
000001f4: PUSH2 0x026d
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0x16ce6cc1
000001fe: EQ
000001ff: PUSH2 0x0297
00000202: JUMPI
00000203: JUMPDEST
00000204: PUSH0
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: CALLVALUE
00000209: DUP1
0000020a: ISZERO
0000020b: PUSH2 0x0212
0000020e: JUMPI
0000020f: PUSH0
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: POP
00000214: PUSH2 0x021b
00000217: PUSH2 0x0833
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: PUSH2 0x0228
00000222: SWAP2
00000223: SWAP1
00000224: PUSH2 0x240a
00000227: JUMP
00000228: JUMPDEST
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: DUP1
0000022d: SWAP2
0000022e: SUB
0000022f: SWAP1
00000230: RETURN
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023c
00000238: JUMPI
00000239: PUSH0
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x0257
00000241: PUSH1 0x04
00000243: DUP1
00000244: CALLDATASIZE
00000245: SUB
00000246: DUP2
00000247: ADD
00000248: SWAP1
00000249: PUSH2 0x0252
0000024c: SWAP2
0000024d: SWAP1
0000024e: PUSH2 0x24bb
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x08c3
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: PUSH2 0x0264
0000025e: SWAP2
0000025f: SWAP1
00000260: PUSH2 0x2513
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0278
00000274: JUMPI
00000275: PUSH0
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: POP
0000027a: PUSH2 0x0281
0000027d: PUSH2 0x08e5
00000280: JUMP
00000281: JUMPDEST
00000282: PUSH1 0x40
00000284: MLOAD
00000285: PUSH2 0x028e
00000288: SWAP2
00000289: SWAP1
0000028a: PUSH2 0x253b
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: DUP1
00000293: SWAP2
00000294: SUB
00000295: SWAP1
00000296: RETURN
00000297: JUMPDEST
00000298: CALLVALUE
00000299: DUP1
0000029a: ISZERO
0000029b: PUSH2 0x02a2
0000029e: JUMPI
0000029f: PUSH0
000002a0: DUP1
000002a1: REVERT
000002a2: JUMPDEST
000002a3: POP
000002a4: PUSH2 0x02ab
000002a7: PUSH2 0x08eb
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: PUSH2 0x02b8
000002b2: SWAP2
000002b3: SWAP1
000002b4: PUSH2 0x253b
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: SWAP2
000002be: SUB
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cc
000002c8: JUMPI
000002c9: PUSH0
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: POP
000002ce: PUSH2 0x02d5
000002d1: PUSH2 0x0915
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: PUSH2 0x02e2
000002dc: SWAP2
000002dd: SWAP1
000002de: PUSH2 0x253b
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: DUP1
000002e7: SWAP2
000002e8: SUB
000002e9: SWAP1
000002ea: RETURN
000002eb: JUMPDEST
000002ec: CALLVALUE
000002ed: DUP1
000002ee: ISZERO
000002ef: PUSH2 0x02f6
000002f2: JUMPI
000002f3: PUSH0
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: POP
000002f8: PUSH2 0x0311
000002fb: PUSH1 0x04
000002fd: DUP1
000002fe: CALLDATASIZE
000002ff: SUB
00000300: DUP2
00000301: ADD
00000302: SWAP1
00000303: PUSH2 0x030c
00000306: SWAP2
00000307: SWAP1
00000308: PUSH2 0x2554
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH2 0x092a
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH2 0x031e
00000318: SWAP2
00000319: SWAP1
0000031a: PUSH2 0x2513
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0332
0000032e: JUMPI
0000032f: PUSH0
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x033b
00000337: PUSH2 0x0958
0000033a: JUMP
0000033b: JUMPDEST
0000033c: STOP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0348
00000344: JUMPI
00000345: PUSH0
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x0351
0000034d: PUSH2 0x0b55
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x40
00000354: MLOAD
00000355: PUSH2 0x035e
00000358: SWAP2
00000359: SWAP1
0000035a: PUSH2 0x25bf
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x40
00000361: MLOAD
00000362: DUP1
00000363: SWAP2
00000364: SUB
00000365: SWAP1
00000366: RETURN
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0372
0000036e: JUMPI
0000036f: PUSH0
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x037b
00000377: PUSH2 0x0b5d
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: PUSH2 0x0388
00000382: SWAP2
00000383: SWAP1
00000384: PUSH2 0x25e7
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: SWAP2
0000038e: SUB
0000038f: SWAP1
00000390: RETURN
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039c
00000398: JUMPI
00000399: PUSH0
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x03b7
000003a1: PUSH1 0x04
000003a3: DUP1
000003a4: CALLDATASIZE
000003a5: SUB
000003a6: DUP2
000003a7: ADD
000003a8: SWAP1
000003a9: PUSH2 0x03b2
000003ac: SWAP2
000003ad: SWAP1
000003ae: PUSH2 0x24bb
000003b1: JUMP
000003b2: JUMPDEST
000003b3: PUSH2 0x0b82
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: PUSH2 0x03c4
000003be: SWAP2
000003bf: SWAP1
000003c0: PUSH2 0x2513
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH1 0x40
000003c7: MLOAD
000003c8: DUP1
000003c9: SWAP2
000003ca: SUB
000003cb: SWAP1
000003cc: RETURN
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d8
000003d4: JUMPI
000003d5: PUSH0
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: POP
000003da: PUSH2 0x03e1
000003dd: PUSH2 0x0bb8
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: PUSH2 0x03ee
000003e8: SWAP2
000003e9: SWAP1
000003ea: PUSH2 0x253b
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: DUP1
000003f3: SWAP2
000003f4: SUB
000003f5: SWAP1
000003f6: RETURN
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0402
000003fe: JUMPI
000003ff: PUSH0
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x040b
00000407: PUSH2 0x0bbd
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: PUSH2 0x0418
00000412: SWAP2
00000413: SWAP1
00000414: PUSH2 0x253b
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: DUP1
0000041d: SWAP2
0000041e: SUB
0000041f: SWAP1
00000420: RETURN
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042c
00000428: JUMPI
00000429: PUSH0
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x0435
00000431: PUSH2 0x0bc3
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH1 0x40
00000438: MLOAD
00000439: PUSH2 0x0442
0000043c: SWAP2
0000043d: SWAP1
0000043e: PUSH2 0x253b
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH1 0x40
00000445: MLOAD
00000446: DUP1
00000447: SWAP2
00000448: SUB
00000449: SWAP1
0000044a: RETURN
0000044b: JUMPDEST
0000044c: CALLVALUE
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x0456
00000452: JUMPI
00000453: PUSH0
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x045f
0000045b: PUSH2 0x0bc9
0000045e: JUMP
0000045f: JUMPDEST
00000460: STOP
00000461: JUMPDEST
00000462: PUSH2 0x0469
00000465: PUSH2 0x0d72
00000468: JUMP
00000469: JUMPDEST
0000046a: STOP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0476
00000472: JUMPI
00000473: PUSH0
00000474: DUP1
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: PUSH2 0x047f
0000047b: PUSH2 0x0feb
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH1 0x40
00000482: MLOAD
00000483: PUSH2 0x048c
00000486: SWAP2
00000487: SWAP1
00000488: PUSH2 0x253b
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x40
0000048f: MLOAD
00000490: DUP1
00000491: SWAP2
00000492: SUB
00000493: SWAP1
00000494: RETURN
00000495: JUMPDEST
00000496: CALLVALUE
00000497: DUP1
00000498: ISZERO
00000499: PUSH2 0x04a0
0000049c: JUMPI
0000049d: PUSH0
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: PUSH2 0x04bb
000004a5: PUSH1 0x04
000004a7: DUP1
000004a8: CALLDATASIZE
000004a9: SUB
000004aa: DUP2
000004ab: ADD
000004ac: SWAP1
000004ad: PUSH2 0x04b6
000004b0: SWAP2
000004b1: SWAP1
000004b2: PUSH2 0x2600
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x0fff
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH1 0x40
000004be: MLOAD
000004bf: PUSH2 0x04c8
000004c2: SWAP2
000004c3: SWAP1
000004c4: PUSH2 0x253b
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH1 0x40
000004cb: MLOAD
000004cc: DUP1
000004cd: SWAP2
000004ce: SUB
000004cf: SWAP1
000004d0: RETURN
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: DUP1
000004d4: ISZERO
000004d5: PUSH2 0x04dc
000004d8: JUMPI
000004d9: PUSH0
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: PUSH2 0x04e5
000004e1: PUSH2 0x1044
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: PUSH2 0x04f2
000004ec: SWAP2
000004ed: SWAP1
000004ee: PUSH2 0x253b
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: DUP1
000004f7: SWAP2
000004f8: SUB
000004f9: SWAP1
000004fa: RETURN
000004fb: JUMPDEST
000004fc: CALLVALUE
000004fd: DUP1
000004fe: ISZERO
000004ff: PUSH2 0x0506
00000502: JUMPI
00000503: PUSH0
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: PUSH2 0x050f
0000050b: PUSH2 0x104a
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH1 0x40
00000512: MLOAD
00000513: PUSH2 0x051c
00000516: SWAP2
00000517: SWAP1
00000518: PUSH2 0x253b
0000051b: JUMP
0000051c: JUMPDEST
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: DUP1
00000521: SWAP2
00000522: SUB
00000523: SWAP1
00000524: RETURN
00000525: JUMPDEST
00000526: CALLVALUE
00000527: DUP1
00000528: ISZERO
00000529: PUSH2 0x0530
0000052c: JUMPI
0000052d: PUSH0
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: POP
00000532: PUSH2 0x054b
00000535: PUSH1 0x04
00000537: DUP1
00000538: CALLDATASIZE
00000539: SUB
0000053a: DUP2
0000053b: ADD
0000053c: SWAP1
0000053d: PUSH2 0x0546
00000540: SWAP2
00000541: SWAP1
00000542: PUSH2 0x2600
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH2 0x1074
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH1 0x40
0000054e: MLOAD
0000054f: PUSH2 0x0558
00000552: SWAP2
00000553: SWAP1
00000554: PUSH2 0x253b
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH1 0x40
0000055b: MLOAD
0000055c: DUP1
0000055d: SWAP2
0000055e: SUB
0000055f: SWAP1
00000560: RETURN
00000561: JUMPDEST
00000562: CALLVALUE
00000563: DUP1
00000564: ISZERO
00000565: PUSH2 0x056c
00000568: JUMPI
00000569: PUSH0
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0575
00000571: PUSH2 0x11ba
00000574: JUMP
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: MLOAD
00000579: PUSH2 0x0582
0000057c: SWAP2
0000057d: SWAP1
0000057e: PUSH2 0x253b
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH1 0x40
00000585: MLOAD
00000586: DUP1
00000587: SWAP2
00000588: SUB
00000589: SWAP1
0000058a: RETURN
0000058b: JUMPDEST
0000058c: CALLVALUE
0000058d: DUP1
0000058e: ISZERO
0000058f: PUSH2 0x0596
00000592: JUMPI
00000593: PUSH0
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH2 0x059f
0000059b: PUSH2 0x11cc
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH1 0x40
000005a2: MLOAD
000005a3: PUSH2 0x05ac
000005a6: SWAP2
000005a7: SWAP1
000005a8: PUSH2 0x240a
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x40
000005af: MLOAD
000005b0: DUP1
000005b1: SWAP2
000005b2: SUB
000005b3: SWAP1
000005b4: RETURN
000005b5: JUMPDEST
000005b6: CALLVALUE
000005b7: DUP1
000005b8: ISZERO
000005b9: PUSH2 0x05c0
000005bc: JUMPI
000005bd: PUSH0
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x05c9
000005c5: PUSH2 0x125c
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: PUSH2 0x05d6
000005d0: SWAP2
000005d1: SWAP1
000005d2: PUSH2 0x2513
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: MLOAD
000005da: DUP1
000005db: SWAP2
000005dc: SUB
000005dd: SWAP1
000005de: RETURN
000005df: JUMPDEST
000005e0: CALLVALUE
000005e1: DUP1
000005e2: ISZERO
000005e3: PUSH2 0x05ea
000005e6: JUMPI
000005e7: PUSH0
000005e8: DUP1
000005e9: REVERT
000005ea: JUMPDEST
000005eb: POP
000005ec: PUSH2 0x0605
000005ef: PUSH1 0x04
000005f1: DUP1
000005f2: CALLDATASIZE
000005f3: SUB
000005f4: DUP2
000005f5: ADD
000005f6: SWAP1
000005f7: PUSH2 0x0600
000005fa: SWAP2
000005fb: SWAP1
000005fc: PUSH2 0x24bb
000005ff: JUMP
00000600: JUMPDEST
00000601: PUSH2 0x126f
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH1 0x40
00000608: MLOAD
00000609: PUSH2 0x0612
0000060c: SWAP2
0000060d: SWAP1
0000060e: PUSH2 0x2513
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH1 0x40
00000615: MLOAD
00000616: DUP1
00000617: SWAP2
00000618: SUB
00000619: SWAP1
0000061a: RETURN
0000061b: JUMPDEST
0000061c: CALLVALUE
0000061d: DUP1
0000061e: ISZERO
0000061f: PUSH2 0x0626
00000622: JUMPI
00000623: PUSH0
00000624: DUP1
00000625: REVERT
00000626: JUMPDEST
00000627: POP
00000628: PUSH2 0x0641
0000062b: PUSH1 0x04
0000062d: DUP1
0000062e: CALLDATASIZE
0000062f: SUB
00000630: DUP2
00000631: ADD
00000632: SWAP1
00000633: PUSH2 0x063c
00000636: SWAP2
00000637: SWAP1
00000638: PUSH2 0x24bb
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH2 0x12e4
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x40
00000644: MLOAD
00000645: PUSH2 0x064e
00000648: SWAP2
00000649: SWAP1
0000064a: PUSH2 0x2513
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: DUP1
00000653: SWAP2
00000654: SUB
00000655: SWAP1
00000656: RETURN
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0662
0000065e: JUMPI
0000065f: PUSH0
00000660: DUP1
00000661: REVERT
00000662: JUMPDEST
00000663: POP
00000664: PUSH2 0x066b
00000667: PUSH2 0x1306
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH1 0x40
0000066e: MLOAD
0000066f: PUSH2 0x0678
00000672: SWAP2
00000673: SWAP1
00000674: PUSH2 0x253b
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: SWAP2
0000067e: SUB
0000067f: SWAP1
00000680: RETURN
00000681: JUMPDEST
00000682: CALLVALUE
00000683: DUP1
00000684: ISZERO
00000685: PUSH2 0x068c
00000688: JUMPI
00000689: PUSH0
0000068a: DUP1
0000068b: REVERT
0000068c: JUMPDEST
0000068d: POP
0000068e: PUSH2 0x0695
00000691: PUSH2 0x1312
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH1 0x40
00000698: MLOAD
00000699: PUSH2 0x06a2
0000069c: SWAP2
0000069d: SWAP1
0000069e: PUSH2 0x253b
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH1 0x40
000006a5: MLOAD
000006a6: DUP1
000006a7: SWAP2
000006a8: SUB
000006a9: SWAP1
000006aa: RETURN
000006ab: JUMPDEST
000006ac: CALLVALUE
000006ad: DUP1
000006ae: ISZERO
000006af: PUSH2 0x06b6
000006b2: JUMPI
000006b3: PUSH0
000006b4: DUP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: POP
000006b8: PUSH2 0x06bf
000006bb: PUSH2 0x1318
000006be: JUMP
000006bf: JUMPDEST
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: PUSH2 0x06cc
000006c6: SWAP2
000006c7: SWAP1
000006c8: PUSH2 0x253b
000006cb: JUMP
000006cc: JUMPDEST
000006cd: PUSH1 0x40
000006cf: MLOAD
000006d0: DUP1
000006d1: SWAP2
000006d2: SUB
000006d3: SWAP1
000006d4: RETURN
000006d5: JUMPDEST
000006d6: CALLVALUE
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e0
000006dc: JUMPI
000006dd: PUSH0
000006de: DUP1
000006df: REVERT
000006e0: JUMPDEST
000006e1: POP
000006e2: PUSH2 0x06e9
000006e5: PUSH2 0x131e
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: PUSH2 0x06f6
000006f0: SWAP2
000006f1: SWAP1
000006f2: PUSH2 0x25e7
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: DUP1
000006fb: SWAP2
000006fc: SUB
000006fd: SWAP1
000006fe: RETURN
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070a
00000706: JUMPI
00000707: PUSH0
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: POP
0000070c: PUSH2 0x0713
0000070f: PUSH2 0x1343
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH1 0x40
00000716: MLOAD
00000717: PUSH2 0x0720
0000071a: SWAP2
0000071b: SWAP1
0000071c: PUSH2 0x253b
0000071f: JUMP
00000720: JUMPDEST
00000721: PUSH1 0x40
00000723: MLOAD
00000724: DUP1
00000725: SWAP2
00000726: SUB
00000727: SWAP1
00000728: RETURN
00000729: JUMPDEST
0000072a: CALLVALUE
0000072b: DUP1
0000072c: ISZERO
0000072d: PUSH2 0x0734
00000730: JUMPI
00000731: PUSH0
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: POP
00000736: PUSH2 0x074f
00000739: PUSH1 0x04
0000073b: DUP1
0000073c: CALLDATASIZE
0000073d: SUB
0000073e: DUP2
0000073f: ADD
00000740: SWAP1
00000741: PUSH2 0x074a
00000744: SWAP2
00000745: SWAP1
00000746: PUSH2 0x262b
00000749: JUMP
0000074a: JUMPDEST
0000074b: PUSH2 0x1379
0000074e: JUMP
0000074f: JUMPDEST
00000750: PUSH1 0x40
00000752: MLOAD
00000753: PUSH2 0x075c
00000756: SWAP2
00000757: SWAP1
00000758: PUSH2 0x253b
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x40
0000075f: MLOAD
00000760: DUP1
00000761: SWAP2
00000762: SUB
00000763: SWAP1
00000764: RETURN
00000765: JUMPDEST
00000766: CALLVALUE
00000767: DUP1
00000768: ISZERO
00000769: PUSH2 0x0770
0000076c: JUMPI
0000076d: PUSH0
0000076e: DUP1
0000076f: REVERT
00000770: JUMPDEST
00000771: POP
00000772: PUSH2 0x0779
00000775: PUSH2 0x13fb
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: PUSH2 0x0786
00000780: SWAP2
00000781: SWAP1
00000782: PUSH2 0x253b
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH1 0x40
00000789: MLOAD
0000078a: DUP1
0000078b: SWAP2
0000078c: SUB
0000078d: SWAP1
0000078e: RETURN
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079a
00000796: JUMPI
00000797: PUSH0
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: POP
0000079c: PUSH2 0x07a3
0000079f: PUSH2 0x1401
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH1 0x40
000007a6: MLOAD
000007a7: PUSH2 0x07b0
000007aa: SWAP2
000007ab: SWAP1
000007ac: PUSH2 0x26c4
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: DUP1
000007b5: SWAP2
000007b6: SUB
000007b7: SWAP1
000007b8: RETURN
000007b9: JUMPDEST
000007ba: CALLVALUE
000007bb: DUP1
000007bc: ISZERO
000007bd: PUSH2 0x07c4
000007c0: JUMPI
000007c1: PUSH0
000007c2: DUP1
000007c3: REVERT
000007c4: JUMPDEST
000007c5: POP
000007c6: PUSH2 0x07df
000007c9: PUSH1 0x04
000007cb: DUP1
000007cc: CALLDATASIZE
000007cd: SUB
000007ce: DUP2
000007cf: ADD
000007d0: SWAP1
000007d1: PUSH2 0x07da
000007d4: SWAP2
000007d5: SWAP1
000007d6: PUSH2 0x2600
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH2 0x1426
000007de: JUMP
000007df: JUMPDEST
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: PUSH2 0x07ee
000007e6: SWAP4
000007e7: SWAP3
000007e8: SWAP2
000007e9: SWAP1
000007ea: PUSH2 0x26dd
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: DUP1
000007f3: SWAP2
000007f4: SUB
000007f5: SWAP1
000007f6: RETURN
000007f7: JUMPDEST
000007f8: CALLVALUE
000007f9: DUP1
000007fa: ISZERO
000007fb: PUSH2 0x0802
000007fe: JUMPI
000007ff: PUSH0
00000800: DUP1
00000801: REVERT
00000802: JUMPDEST
00000803: POP
00000804: PUSH2 0x081d
00000807: PUSH1 0x04
00000809: DUP1
0000080a: CALLDATASIZE
0000080b: SUB
0000080c: DUP2
0000080d: ADD
0000080e: SWAP1
0000080f: PUSH2 0x0818
00000812: SWAP2
00000813: SWAP1
00000814: PUSH2 0x2600
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH2 0x1458
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH1 0x40
00000820: MLOAD
00000821: PUSH2 0x082a
00000824: SWAP2
00000825: SWAP1
00000826: PUSH2 0x27b7
00000829: JUMP
0000082a: JUMPDEST
0000082b: PUSH1 0x40
0000082d: MLOAD
0000082e: DUP1
0000082f: SWAP2
00000830: SUB
00000831: SWAP1
00000832: RETURN
00000833: JUMPDEST
00000834: PUSH1 0x60
00000836: PUSH1 0x03
00000838: DUP1
00000839: SLOAD
0000083a: PUSH2 0x0842
0000083d: SWAP1
0000083e: PUSH2 0x27fe
00000841: JUMP
00000842: JUMPDEST
00000843: DUP1
00000844: PUSH1 0x1f
00000846: ADD
00000847: PUSH1 0x20
00000849: DUP1
0000084a: SWAP2
0000084b: DIV
0000084c: MUL
0000084d: PUSH1 0x20
0000084f: ADD
00000850: PUSH1 0x40
00000852: MLOAD
00000853: SWAP1
00000854: DUP2
00000855: ADD
00000856: PUSH1 0x40
00000858: MSTORE
00000859: DUP1
0000085a: SWAP3
0000085b: SWAP2
0000085c: SWAP1
0000085d: DUP2
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x20
00000862: ADD
00000863: DUP3
00000864: DUP1
00000865: SLOAD
00000866: PUSH2 0x086e
00000869: SWAP1
0000086a: PUSH2 0x27fe
0000086d: JUMP
0000086e: JUMPDEST
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x08b9
00000874: JUMPI
00000875: DUP1
00000876: PUSH1 0x1f
00000878: LT
00000879: PUSH2 0x0890
0000087c: JUMPI
0000087d: PUSH2 0x0100
00000880: DUP1
00000881: DUP4
00000882: SLOAD
00000883: DIV
00000884: MUL
00000885: DUP4
00000886: MSTORE
00000887: SWAP2
00000888: PUSH1 0x20
0000088a: ADD
0000088b: SWAP2
0000088c: PUSH2 0x08b9
0000088f: JUMP
00000890: JUMPDEST
00000891: DUP3
00000892: ADD
00000893: SWAP2
00000894: SWAP1
00000895: PUSH0
00000896: MSTORE
00000897: PUSH1 0x20
00000899: PUSH0
0000089a: KECCAK256
0000089b: SWAP1
0000089c: JUMPDEST
0000089d: DUP2
0000089e: SLOAD
0000089f: DUP2
000008a0: MSTORE
000008a1: SWAP1
000008a2: PUSH1 0x01
000008a4: ADD
000008a5: SWAP1
000008a6: PUSH1 0x20
000008a8: ADD
000008a9: DUP1
000008aa: DUP4
000008ab: GT
000008ac: PUSH2 0x089c
000008af: JUMPI
000008b0: DUP3
000008b1: SWAP1
000008b2: SUB
000008b3: PUSH1 0x1f
000008b5: AND
000008b6: DUP3
000008b7: ADD
000008b8: SWAP2
000008b9: JUMPDEST
000008ba: POP
000008bb: POP
000008bc: POP
000008bd: POP
000008be: POP
000008bf: SWAP1
000008c0: POP
000008c1: SWAP1
000008c2: JUMP
000008c3: JUMPDEST
000008c4: PUSH0
000008c5: DUP1
000008c6: PUSH2 0x08cd
000008c9: PUSH2 0x1665
000008cc: JUMP
000008cd: JUMPDEST
000008ce: SWAP1
000008cf: POP
000008d0: PUSH2 0x08da
000008d3: DUP2
000008d4: DUP6
000008d5: DUP6
000008d6: PUSH2 0x166c
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x01
000008dd: SWAP2
000008de: POP
000008df: POP
000008e0: SWAP3
000008e1: SWAP2
000008e2: POP
000008e3: POP
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x0c
000008e8: SLOAD
000008e9: DUP2
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x64
000008ee: PUSH1 0x14
000008f0: PUSH14 0x057a6b5cf3493da72eb442bc0000
000008ff: PUSH2 0x0908
00000902: SWAP2
00000903: SWAP1
00000904: PUSH2 0x285b
00000907: JUMP
00000908: JUMPDEST
00000909: PUSH2 0x0912
0000090c: SWAP2
0000090d: SWAP1
0000090e: PUSH2 0x28c9
00000911: JUMP
00000912: JUMPDEST
00000913: DUP2
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH0
00000917: PUSH14 0x057a6b5cf3493da72eb442bc0000
00000926: SWAP1
00000927: POP
00000928: SWAP1
00000929: JUMP
0000092a: JUMPDEST
0000092b: PUSH0
0000092c: DUP1
0000092d: PUSH2 0x0934
00000930: PUSH2 0x1665
00000933: JUMP
00000934: JUMPDEST
00000935: SWAP1
00000936: POP
00000937: PUSH2 0x0941
0000093a: DUP6
0000093b: DUP3
0000093c: DUP6
0000093d: PUSH2 0x182f
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH2 0x094c
00000945: DUP6
00000946: DUP6
00000947: DUP6
00000948: PUSH2 0x18ba
0000094b: JUMP
0000094c: JUMPDEST
0000094d: PUSH1 0x01
0000094f: SWAP2
00000950: POP
00000951: POP
00000952: SWAP4
00000953: SWAP3
00000954: POP
00000955: POP
00000956: POP
00000957: JUMP
00000958: JUMPDEST
00000959: PUSH2 0x0960
0000095c: PUSH2 0x1b26
0000095f: JUMP
00000960: JUMPDEST
00000961: PUSH3 0x015180
00000965: PUSH1 0x0c
00000967: SLOAD
00000968: PUSH2 0x0971
0000096b: SWAP2
0000096c: SWAP1
0000096d: PUSH2 0x28f9
00000970: JUMP
00000971: JUMPDEST
00000972: TIMESTAMP
00000973: GT
00000974: PUSH2 0x09b2
00000977: JUMPI
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000099c: DUP2
0000099d: MSTORE
0000099e: PUSH1 0x04
000009a0: ADD
000009a1: PUSH2 0x09a9
000009a4: SWAP1
000009a5: PUSH2 0x29c2
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x40
000009ac: MLOAD
000009ad: DUP1
000009ae: SWAP2
000009af: SUB
000009b0: SWAP1
000009b1: REVERT
000009b2: JUMPDEST
000009b3: PUSH1 0x10
000009b5: PUSH1 0x14
000009b7: SWAP1
000009b8: SLOAD
000009b9: SWAP1
000009ba: PUSH2 0x0100
000009bd: EXP
000009be: SWAP1
000009bf: DIV
000009c0: PUSH1 0xff
000009c2: AND
000009c3: ISZERO
000009c4: PUSH2 0x0a02
000009c7: JUMPI
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ec: DUP2
000009ed: MSTORE
000009ee: PUSH1 0x04
000009f0: ADD
000009f1: PUSH2 0x09f9
000009f4: SWAP1
000009f5: PUSH2 0x2a76
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH1 0x40
000009fc: MLOAD
000009fd: DUP1
000009fe: SWAP2
000009ff: SUB
00000a00: SWAP1
00000a01: REVERT
00000a02: JUMPDEST
00000a03: PUSH0
00000a04: PUSH1 0x0a
00000a06: PUSH0
00000a07: CALLER
00000a08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1d: AND
00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a33: AND
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x20
00000a38: ADD
00000a39: SWAP1
00000a3a: DUP2
00000a3b: MSTORE
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: PUSH0
00000a40: KECCAK256
00000a41: SWAP1
00000a42: POP
00000a43: DUP1
00000a44: PUSH1 0x02
00000a46: ADD
00000a47: PUSH0
00000a48: SWAP1
00000a49: SLOAD
00000a4a: SWAP1
00000a4b: PUSH2 0x0100
00000a4e: EXP
00000a4f: SWAP1
00000a50: DIV
00000a51: PUSH1 0xff
00000a53: AND
00000a54: ISZERO
00000a55: PUSH2 0x0a93
00000a58: JUMPI
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a7d: DUP2
00000a7e: MSTORE
00000a7f: PUSH1 0x04
00000a81: ADD
00000a82: PUSH2 0x0a8a
00000a85: SWAP1
00000a86: PUSH2 0x2ade
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x40
00000a8d: MLOAD
00000a8e: DUP1
00000a8f: SWAP2
00000a90: SUB
00000a91: SWAP1
00000a92: REVERT
00000a93: JUMPDEST
00000a94: PUSH1 0x01
00000a96: DUP2
00000a97: PUSH1 0x02
00000a99: ADD
00000a9a: PUSH0
00000a9b: PUSH2 0x0100
00000a9e: EXP
00000a9f: DUP2
00000aa0: SLOAD
00000aa1: DUP2
00000aa2: PUSH1 0xff
00000aa4: MUL
00000aa5: NOT
00000aa6: AND
00000aa7: SWAP1
00000aa8: DUP4
00000aa9: ISZERO
00000aaa: ISZERO
00000aab: MUL
00000aac: OR
00000aad: SWAP1
00000aae: SSTORE
00000aaf: POP
00000ab0: PUSH0
00000ab1: DUP2
00000ab2: PUSH1 0x01
00000ab4: ADD
00000ab5: SLOAD
00000ab6: SWAP1
00000ab7: POP
00000ab8: CALLER
00000ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ace: AND
00000acf: PUSH2 0x08fc
00000ad2: DUP3
00000ad3: SWAP1
00000ad4: DUP2
00000ad5: ISZERO
00000ad6: MUL
00000ad7: SWAP1
00000ad8: PUSH1 0x40
00000ada: MLOAD
00000adb: PUSH0
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: DUP1
00000ae0: DUP4
00000ae1: SUB
00000ae2: DUP2
00000ae3: DUP6
00000ae4: DUP9
00000ae5: DUP9
00000ae6: CALL
00000ae7: SWAP4
00000ae8: POP
00000ae9: POP
00000aea: POP
00000aeb: POP
00000aec: ISZERO
00000aed: DUP1
00000aee: ISZERO
00000aef: PUSH2 0x0afa
00000af2: JUMPI
00000af3: RETURNDATASIZE
00000af4: PUSH0
00000af5: DUP1
00000af6: RETURNDATACOPY
00000af7: RETURNDATASIZE
00000af8: PUSH0
00000af9: REVERT
00000afa: JUMPDEST
00000afb: POP
00000afc: CALLER
00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b12: AND
00000b13: PUSH32 0x07181ceaa5c61f1818da3a082bd8f1f5a85817f2f0ff49e19e3b6a8b30822f55
00000b34: DUP3
00000b35: PUSH1 0x40
00000b37: MLOAD
00000b38: PUSH2 0x0b41
00000b3b: SWAP2
00000b3c: SWAP1
00000b3d: PUSH2 0x253b
00000b40: JUMP
00000b41: JUMPDEST
00000b42: PUSH1 0x40
00000b44: MLOAD
00000b45: DUP1
00000b46: SWAP2
00000b47: SUB
00000b48: SWAP1
00000b49: LOG2
00000b4a: POP
00000b4b: POP
00000b4c: PUSH2 0x0b53
00000b4f: PUSH2 0x1b75
00000b52: JUMP
00000b53: JUMPDEST
00000b54: JUMP
00000b55: JUMPDEST
00000b56: PUSH0
00000b57: PUSH1 0x12
00000b59: SWAP1
00000b5a: POP
00000b5b: SWAP1
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: PUSH1 0x10
00000b60: PUSH0
00000b61: SWAP1
00000b62: SLOAD
00000b63: SWAP1
00000b64: PUSH2 0x0100
00000b67: EXP
00000b68: SWAP1
00000b69: DIV
00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7f: AND
00000b80: DUP2
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH0
00000b84: DUP1
00000b85: PUSH2 0x0b8c
00000b88: PUSH2 0x1665
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: SWAP1
00000b8e: POP
00000b8f: PUSH2 0x0bad
00000b92: DUP2
00000b93: DUP6
00000b94: DUP6
00000b95: PUSH2 0x0b9e
00000b98: DUP6
00000b99: DUP10
00000b9a: PUSH2 0x1379
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH2 0x0ba8
00000ba2: SWAP2
00000ba3: SWAP1
00000ba4: PUSH2 0x28f9
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH2 0x166c
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH1 0x01
00000bb0: SWAP2
00000bb1: POP
00000bb2: POP
00000bb3: SWAP3
00000bb4: SWAP2
00000bb5: POP
00000bb6: POP
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH1 0x0a
00000bbb: DUP2
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH1 0x0f
00000bc0: SLOAD
00000bc1: DUP2
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x07
00000bc6: SLOAD
00000bc7: DUP2
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH2 0x0bd1
00000bcd: PUSH2 0x1b26
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH1 0x10
00000bd4: PUSH1 0x14
00000bd6: SWAP1
00000bd7: SLOAD
00000bd8: SWAP1
00000bd9: PUSH2 0x0100
00000bdc: EXP
00000bdd: SWAP1
00000bde: DIV
00000bdf: PUSH1 0xff
00000be1: AND
00000be2: PUSH2 0x0bee
00000be5: JUMPI
00000be6: PUSH2 0x0bed
00000be9: PUSH2 0x1b7f
00000bec: JUMP
00000bed: JUMPDEST
00000bee: JUMPDEST
00000bef: PUSH0
00000bf0: PUSH1 0x0a
00000bf2: PUSH0
00000bf3: CALLER
00000bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c09: AND
00000c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1f: AND
00000c20: DUP2
00000c21: MSTORE
00000c22: PUSH1 0x20
00000c24: ADD
00000c25: SWAP1
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: PUSH0
00000c2c: KECCAK256
00000c2d: SWAP1
00000c2e: POP
00000c2f: DUP1
00000c30: PUSH1 0x02
00000c32: ADD
00000c33: PUSH0
00000c34: SWAP1
00000c35: SLOAD
00000c36: SWAP1
00000c37: PUSH2 0x0100
00000c3a: EXP
00000c3b: SWAP1
00000c3c: DIV
00000c3d: PUSH1 0xff
00000c3f: AND
00000c40: ISZERO
00000c41: PUSH2 0x0c7f
00000c44: JUMPI
00000c45: PUSH1 0x40
00000c47: MLOAD
00000c48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x04
00000c6d: ADD
00000c6e: PUSH2 0x0c76
00000c71: SWAP1
00000c72: PUSH2 0x2ade
00000c75: JUMP
00000c76: JUMPDEST
00000c77: PUSH1 0x40
00000c79: MLOAD
00000c7a: DUP1
00000c7b: SWAP2
00000c7c: SUB
00000c7d: SWAP1
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: PUSH1 0x01
00000c82: DUP2
00000c83: PUSH1 0x02
00000c85: ADD
00000c86: PUSH0
00000c87: PUSH2 0x0100
00000c8a: EXP
00000c8b: DUP2
00000c8c: SLOAD
00000c8d: DUP2
00000c8e: PUSH1 0xff
00000c90: MUL
00000c91: NOT
00000c92: AND
00000c93: SWAP1
00000c94: DUP4
00000c95: ISZERO
00000c96: ISZERO
00000c97: MUL
00000c98: OR
00000c99: SWAP1
00000c9a: SSTORE
00000c9b: POP
00000c9c: PUSH0
00000c9d: PUSH2 0x0ca5
00000ca0: CALLER
00000ca1: PUSH2 0x1074
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: SWAP1
00000ca7: POP
00000ca8: PUSH0
00000ca9: PUSH1 0x64
00000cab: PUSH1 0x5a
00000cad: DUP5
00000cae: PUSH1 0x01
00000cb0: ADD
00000cb1: SLOAD
00000cb2: PUSH2 0x0cbb
00000cb5: SWAP2
00000cb6: SWAP1
00000cb7: PUSH2 0x285b
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH2 0x0cc5
00000cbf: SWAP2
00000cc0: SWAP1
00000cc1: PUSH2 0x28c9
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: SWAP1
00000cc7: POP
00000cc8: PUSH2 0x0cd1
00000ccb: CALLER
00000ccc: DUP4
00000ccd: PUSH2 0x21e6
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: CALLER
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: PUSH2 0x08fc
00000cec: DUP3
00000ced: SWAP1
00000cee: DUP2
00000cef: ISZERO
00000cf0: MUL
00000cf1: SWAP1
00000cf2: PUSH1 0x40
00000cf4: MLOAD
00000cf5: PUSH0
00000cf6: PUSH1 0x40
00000cf8: MLOAD
00000cf9: DUP1
00000cfa: DUP4
00000cfb: SUB
00000cfc: DUP2
00000cfd: DUP6
00000cfe: DUP9
00000cff: DUP9
00000d00: CALL
00000d01: SWAP4
00000d02: POP
00000d03: POP
00000d04: POP
00000d05: POP
00000d06: ISZERO
00000d07: DUP1
00000d08: ISZERO
00000d09: PUSH2 0x0d14
00000d0c: JUMPI
00000d0d: RETURNDATASIZE
00000d0e: PUSH0
00000d0f: DUP1
00000d10: RETURNDATACOPY
00000d11: RETURNDATASIZE
00000d12: PUSH0
00000d13: REVERT
00000d14: JUMPDEST
00000d15: POP
00000d16: CALLER
00000d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2c: AND
00000d2d: PUSH32 0x34fcbac0073d7c3d388e51312faf357774904998eeb8fca628b9e6f65ee1cbf7
00000d4e: DUP4
00000d4f: DUP4
00000d50: PUSH1 0x40
00000d52: MLOAD
00000d53: PUSH2 0x0d5d
00000d56: SWAP3
00000d57: SWAP2
00000d58: SWAP1
00000d59: PUSH2 0x2afc
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH1 0x40
00000d60: MLOAD
00000d61: DUP1
00000d62: SWAP2
00000d63: SUB
00000d64: SWAP1
00000d65: LOG2
00000d66: POP
00000d67: POP
00000d68: POP
00000d69: PUSH2 0x0d70
00000d6c: PUSH2 0x1b75
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: JUMP
00000d72: JUMPDEST
00000d73: PUSH2 0x0d7a
00000d76: PUSH2 0x1b26
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH0
00000d7c: PUSH1 0x0b
00000d7e: SLOAD
00000d7f: SUB
00000d80: PUSH2 0x0d8c
00000d83: JUMPI
00000d84: PUSH2 0x0d8b
00000d87: PUSH2 0x2334
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: JUMPDEST
00000d8d: PUSH1 0x0c
00000d8f: SLOAD
00000d90: TIMESTAMP
00000d91: GT
00000d92: ISZERO
00000d93: PUSH2 0x0dd1
00000d96: JUMPI
00000d97: PUSH1 0x40
00000d99: MLOAD
00000d9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dbb: DUP2
00000dbc: MSTORE
00000dbd: PUSH1 0x04
00000dbf: ADD
00000dc0: PUSH2 0x0dc8
00000dc3: SWAP1
00000dc4: PUSH2 0x2b6d
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH1 0x40
00000dcb: MLOAD
00000dcc: DUP1
00000dcd: SWAP2
00000dce: SUB
00000dcf: SWAP1
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: PUSH0
00000dd3: PUSH1 0x0a
00000dd5: PUSH0
00000dd6: CALLER
00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dec: AND
00000ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e02: AND
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH1 0x20
00000e07: ADD
00000e08: SWAP1
00000e09: DUP2
00000e0a: MSTORE
00000e0b: PUSH1 0x20
00000e0d: ADD
00000e0e: PUSH0
00000e0f: KECCAK256
00000e10: PUSH1 0x01
00000e12: ADD
00000e13: SLOAD
00000e14: EQ
00000e15: PUSH2 0x0e53
00000e18: JUMPI
00000e19: PUSH1 0x40
00000e1b: MLOAD
00000e1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x04
00000e41: ADD
00000e42: PUSH2 0x0e4a
00000e45: SWAP1
00000e46: PUSH2 0x2bd5
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH1 0x40
00000e4d: MLOAD
00000e4e: DUP1
00000e4f: SWAP2
00000e50: SUB
00000e51: SWAP1
00000e52: REVERT
00000e53: JUMPDEST
00000e54: PUSH0
00000e55: CALLVALUE
00000e56: GT
00000e57: PUSH2 0x0e95
00000e5a: JUMPI
00000e5b: PUSH1 0x40
00000e5d: MLOAD
00000e5e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x04
00000e83: ADD
00000e84: PUSH2 0x0e8c
00000e87: SWAP1
00000e88: PUSH2 0x2c3d
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: PUSH1 0x40
00000e8f: MLOAD
00000e90: DUP1
00000e91: SWAP2
00000e92: SUB
00000e93: SWAP1
00000e94: REVERT
00000e95: JUMPDEST
00000e96: PUSH0
00000e97: PUSH1 0x0e
00000e99: SLOAD
00000e9a: GT
00000e9b: ISZERO
00000e9c: PUSH2 0x0ee4
00000e9f: JUMPI
00000ea0: PUSH0
00000ea1: PUSH1 0x0e
00000ea3: SLOAD
00000ea4: TIMESTAMP
00000ea5: PUSH2 0x0eae
00000ea8: SWAP2
00000ea9: SWAP1
00000eaa: PUSH2 0x2c5b
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP1
00000eb0: POP
00000eb1: PUSH1 0x0f
00000eb3: SLOAD
00000eb4: PUSH1 0x07
00000eb6: SLOAD
00000eb7: DUP3
00000eb8: PUSH2 0x0ec1
00000ebb: SWAP2
00000ebc: SWAP1
00000ebd: PUSH2 0x285b
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: PUSH2 0x0ecb
00000ec5: SWAP2
00000ec6: SWAP1
00000ec7: PUSH2 0x28c9
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH1 0x0d
00000ece: PUSH0
00000ecf: DUP3
00000ed0: DUP3
00000ed1: SLOAD
00000ed2: PUSH2 0x0edb
00000ed5: SWAP2
00000ed6: SWAP1
00000ed7: PUSH2 0x28f9
00000eda: JUMP
00000edb: JUMPDEST
00000edc: SWAP3
00000edd: POP
00000ede: POP
00000edf: DUP2
00000ee0: SWAP1
00000ee1: SSTORE
00000ee2: POP
00000ee3: POP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x40
00000ee7: MLOAD
00000ee8: DUP1
00000ee9: PUSH1 0x60
00000eeb: ADD
00000eec: PUSH1 0x40
00000eee: MSTORE
00000eef: DUP1
00000ef0: PUSH1 0x0d
00000ef2: SLOAD
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: ADD
00000ef8: CALLVALUE
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: ADD
00000efe: PUSH0
00000eff: ISZERO
00000f00: ISZERO
00000f01: DUP2
00000f02: MSTORE
00000f03: POP
00000f04: PUSH1 0x0a
00000f06: PUSH0
00000f07: CALLER
00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1d: AND
00000f1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f33: AND
00000f34: DUP2
00000f35: MSTORE
00000f36: PUSH1 0x20
00000f38: ADD
00000f39: SWAP1
00000f3a: DUP2
00000f3b: MSTORE
00000f3c: PUSH1 0x20
00000f3e: ADD
00000f3f: PUSH0
00000f40: KECCAK256
00000f41: PUSH0
00000f42: DUP3
00000f43: ADD
00000f44: MLOAD
00000f45: DUP2
00000f46: PUSH0
00000f47: ADD
00000f48: SSTORE
00000f49: PUSH1 0x20
00000f4b: DUP3
00000f4c: ADD
00000f4d: MLOAD
00000f4e: DUP2
00000f4f: PUSH1 0x01
00000f51: ADD
00000f52: SSTORE
00000f53: PUSH1 0x40
00000f55: DUP3
00000f56: ADD
00000f57: MLOAD
00000f58: DUP2
00000f59: PUSH1 0x02
00000f5b: ADD
00000f5c: PUSH0
00000f5d: PUSH2 0x0100
00000f60: EXP
00000f61: DUP2
00000f62: SLOAD
00000f63: DUP2
00000f64: PUSH1 0xff
00000f66: MUL
00000f67: NOT
00000f68: AND
00000f69: SWAP1
00000f6a: DUP4
00000f6b: ISZERO
00000f6c: ISZERO
00000f6d: MUL
00000f6e: OR
00000f6f: SWAP1
00000f70: SSTORE
00000f71: POP
00000f72: SWAP1
00000f73: POP
00000f74: POP
00000f75: CALLVALUE
00000f76: PUSH1 0x0f
00000f78: PUSH0
00000f79: DUP3
00000f7a: DUP3
00000f7b: SLOAD
00000f7c: PUSH2 0x0f85
00000f7f: SWAP2
00000f80: SWAP1
00000f81: PUSH2 0x28f9
00000f84: JUMP
00000f85: JUMPDEST
00000f86: SWAP3
00000f87: POP
00000f88: POP
00000f89: DUP2
00000f8a: SWAP1
00000f8b: SSTORE
00000f8c: POP
00000f8d: TIMESTAMP
00000f8e: PUSH1 0x0e
00000f90: DUP2
00000f91: SWAP1
00000f92: SSTORE
00000f93: POP
00000f94: CALLER
00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faa: AND
00000fab: PUSH32 0xd0a009034e24a39106653c4903cf28b1947b8a9964d03206648e0f0a5de74a46
00000fcc: CALLVALUE
00000fcd: PUSH1 0x40
00000fcf: MLOAD
00000fd0: PUSH2 0x0fd9
00000fd3: SWAP2
00000fd4: SWAP1
00000fd5: PUSH2 0x253b
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: PUSH1 0x40
00000fdc: MLOAD
00000fdd: DUP1
00000fde: SWAP2
00000fdf: SUB
00000fe0: SWAP1
00000fe1: LOG2
00000fe2: PUSH2 0x0fe9
00000fe5: PUSH2 0x1b75
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: JUMP
00000feb: JUMPDEST
00000fec: PUSH0
00000fed: PUSH1 0x0b
00000fef: SLOAD
00000ff0: TIMESTAMP
00000ff1: PUSH2 0x0ffa
00000ff4: SWAP2
00000ff5: SWAP1
00000ff6: PUSH2 0x2c5b
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: SWAP1
00000ffc: POP
00000ffd: SWAP1
00000ffe: JUMP
00000fff: JUMPDEST
00001000: PUSH0
00001001: DUP1
00001002: PUSH0
00001003: DUP4
00001004: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001019: AND
0000101a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102f: AND
00001030: DUP2
00001031: MSTORE
00001032: PUSH1 0x20
00001034: ADD
00001035: SWAP1
00001036: DUP2
00001037: MSTORE
00001038: PUSH1 0x20
0000103a: ADD
0000103b: PUSH0
0000103c: KECCAK256
0000103d: SLOAD
0000103e: SWAP1
0000103f: POP
00001040: SWAP2
00001041: SWAP1
00001042: POP
00001043: JUMP
00001044: JUMPDEST
00001045: PUSH1 0x0e
00001047: SLOAD
00001048: DUP2
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH1 0x64
0000104d: PUSH1 0x28
0000104f: PUSH14 0x057a6b5cf3493da72eb442bc0000
0000105e: PUSH2 0x1067
00001061: SWAP2
00001062: SWAP1
00001063: PUSH2 0x285b
00001066: JUMP
00001067: JUMPDEST
00001068: PUSH2 0x1071
0000106b: SWAP2
0000106c: SWAP1
0000106d: PUSH2 0x28c9
00001070: JUMP
00001071: JUMPDEST
00001072: DUP2
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH0
00001076: DUP1
00001077: PUSH1 0x0f
00001079: SLOAD
0000107a: SUB
0000107b: PUSH2 0x1086
0000107e: JUMPI
0000107f: PUSH0
00001080: SWAP1
00001081: POP
00001082: PUSH2 0x11b5
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH0
00001088: PUSH1 0x0f
0000108a: SLOAD
0000108b: PUSH1 0x0a
0000108d: PUSH0
0000108e: DUP6
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ba: AND
000010bb: DUP2
000010bc: MSTORE
000010bd: PUSH1 0x20
000010bf: ADD
000010c0: SWAP1
000010c1: DUP2
000010c2: MSTORE
000010c3: PUSH1 0x20
000010c5: ADD
000010c6: PUSH0
000010c7: KECCAK256
000010c8: PUSH1 0x01
000010ca: ADD
000010cb: SLOAD
000010cc: PUSH1 0x07
000010ce: SLOAD
000010cf: PUSH2 0x10d6
000010d2: PUSH2 0x1343
000010d5: JUMP
000010d6: JUMPDEST
000010d7: PUSH2 0x10e0
000010da: SWAP2
000010db: SWAP1
000010dc: PUSH2 0x285b
000010df: JUMP
000010e0: JUMPDEST
000010e1: PUSH2 0x10ea
000010e4: SWAP2
000010e5: SWAP1
000010e6: PUSH2 0x285b
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH2 0x10f4
000010ee: SWAP2
000010ef: SWAP1
000010f0: PUSH2 0x28c9
000010f3: JUMP
000010f4: JUMPDEST
000010f5: SWAP1
000010f6: POP
000010f7: PUSH0
000010f8: PUSH1 0x0a
000010fa: PUSH0
000010fb: DUP6
000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001111: AND
00001112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001127: AND
00001128: DUP2
00001129: MSTORE
0000112a: PUSH1 0x20
0000112c: ADD
0000112d: SWAP1
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x20
00001132: ADD
00001133: PUSH0
00001134: KECCAK256
00001135: PUSH0
00001136: ADD
00001137: SLOAD
00001138: PUSH1 0x0d
0000113a: SLOAD
0000113b: PUSH2 0x1144
0000113e: SWAP2
0000113f: SWAP1
00001140: PUSH2 0x2c5b
00001143: JUMP
00001144: JUMPDEST
00001145: PUSH1 0x0a
00001147: PUSH0
00001148: DUP7
00001149: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115e: AND
0000115f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001174: AND
00001175: DUP2
00001176: MSTORE
00001177: PUSH1 0x20
00001179: ADD
0000117a: SWAP1
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x20
0000117f: ADD
00001180: PUSH0
00001181: KECCAK256
00001182: PUSH1 0x01
00001184: ADD
00001185: SLOAD
00001186: PUSH2 0x118f
00001189: SWAP2
0000118a: SWAP1
0000118b: PUSH2 0x285b
0000118e: JUMP
0000118f: JUMPDEST
00001190: SWAP1
00001191: POP
00001192: PUSH8 0x0de0b6b3a7640000
0000119b: DUP3
0000119c: DUP3
0000119d: PUSH2 0x11a6
000011a0: SWAP2
000011a1: SWAP1
000011a2: PUSH2 0x28f9
000011a5: JUMP
000011a6: JUMPDEST
000011a7: PUSH2 0x11b0
000011aa: SWAP2
000011ab: SWAP1
000011ac: PUSH2 0x28c9
000011af: JUMP
000011b0: JUMPDEST
000011b1: SWAP3
000011b2: POP
000011b3: POP
000011b4: POP
000011b5: JUMPDEST
000011b6: SWAP2
000011b7: SWAP1
000011b8: POP
000011b9: JUMP
000011ba: JUMPDEST
000011bb: PUSH14 0x057a6b5cf3493da72eb442bc0000
000011ca: DUP2
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH1 0x60
000011cf: PUSH1 0x04
000011d1: DUP1
000011d2: SLOAD
000011d3: PUSH2 0x11db
000011d6: SWAP1
000011d7: PUSH2 0x27fe
000011da: JUMP
000011db: JUMPDEST
000011dc: DUP1
000011dd: PUSH1 0x1f
000011df: ADD
000011e0: PUSH1 0x20
000011e2: DUP1
000011e3: SWAP2
000011e4: DIV
000011e5: MUL
000011e6: PUSH1 0x20
000011e8: ADD
000011e9: PUSH1 0x40
000011eb: MLOAD
000011ec: SWAP1
000011ed: DUP2
000011ee: ADD
000011ef: PUSH1 0x40
000011f1: MSTORE
000011f2: DUP1
000011f3: SWAP3
000011f4: SWAP2
000011f5: SWAP1
000011f6: DUP2
000011f7: DUP2
000011f8: MSTORE
000011f9: PUSH1 0x20
000011fb: ADD
000011fc: DUP3
000011fd: DUP1
000011fe: SLOAD
000011ff: PUSH2 0x1207
00001202: SWAP1
00001203: PUSH2 0x27fe
00001206: JUMP
00001207: JUMPDEST
00001208: DUP1
00001209: ISZERO
0000120a: PUSH2 0x1252
0000120d: JUMPI
0000120e: DUP1
0000120f: PUSH1 0x1f
00001211: LT
00001212: PUSH2 0x1229
00001215: JUMPI
00001216: PUSH2 0x0100
00001219: DUP1
0000121a: DUP4
0000121b: SLOAD
0000121c: DIV
0000121d: MUL
0000121e: DUP4
0000121f: MSTORE
00001220: SWAP2
00001221: PUSH1 0x20
00001223: ADD
00001224: SWAP2
00001225: PUSH2 0x1252
00001228: JUMP
00001229: JUMPDEST
0000122a: DUP3
0000122b: ADD
0000122c: SWAP2
0000122d: SWAP1
0000122e: PUSH0
0000122f: MSTORE
00001230: PUSH1 0x20
00001232: PUSH0
00001233: KECCAK256
00001234: SWAP1
00001235: JUMPDEST
00001236: DUP2
00001237: SLOAD
00001238: DUP2
00001239: MSTORE
0000123a: SWAP1
0000123b: PUSH1 0x01
0000123d: ADD
0000123e: SWAP1
0000123f: PUSH1 0x20
00001241: ADD
00001242: DUP1
00001243: DUP4
00001244: GT
00001245: PUSH2 0x1235
00001248: JUMPI
00001249: DUP3
0000124a: SWAP1
0000124b: SUB
0000124c: PUSH1 0x1f
0000124e: AND
0000124f: DUP3
00001250: ADD
00001251: SWAP2
00001252: JUMPDEST
00001253: POP
00001254: POP
00001255: POP
00001256: POP
00001257: POP
00001258: SWAP1
00001259: POP
0000125a: SWAP1
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x10
0000125f: PUSH1 0x14
00001261: SWAP1
00001262: SLOAD
00001263: SWAP1
00001264: PUSH2 0x0100
00001267: EXP
00001268: SWAP1
00001269: DIV
0000126a: PUSH1 0xff
0000126c: AND
0000126d: DUP2
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH0
00001271: DUP1
00001272: PUSH2 0x1279
00001275: PUSH2 0x1665
00001278: JUMP
00001279: JUMPDEST
0000127a: SWAP1
0000127b: POP
0000127c: PUSH0
0000127d: PUSH2 0x1286
00001280: DUP3
00001281: DUP7
00001282: PUSH2 0x1379
00001285: JUMP
00001286: JUMPDEST
00001287: SWAP1
00001288: POP
00001289: DUP4
0000128a: DUP2
0000128b: LT
0000128c: ISZERO
0000128d: PUSH2 0x12cb
00001290: JUMPI
00001291: PUSH1 0x40
00001293: MLOAD
00001294: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x04
000012b9: ADD
000012ba: PUSH2 0x12c2
000012bd: SWAP1
000012be: PUSH2 0x2cfe
000012c1: JUMP
000012c2: JUMPDEST
000012c3: PUSH1 0x40
000012c5: MLOAD
000012c6: DUP1
000012c7: SWAP2
000012c8: SUB
000012c9: SWAP1
000012ca: REVERT
000012cb: JUMPDEST
000012cc: PUSH2 0x12d8
000012cf: DUP3
000012d0: DUP7
000012d1: DUP7
000012d2: DUP5
000012d3: SUB
000012d4: PUSH2 0x166c
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x01
000012db: SWAP3
000012dc: POP
000012dd: POP
000012de: POP
000012df: SWAP3
000012e0: SWAP2
000012e1: POP
000012e2: POP
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH0
000012e6: DUP1
000012e7: PUSH2 0x12ee
000012ea: PUSH2 0x1665
000012ed: JUMP
000012ee: JUMPDEST
000012ef: SWAP1
000012f0: POP
000012f1: PUSH2 0x12fb
000012f4: DUP2
000012f5: DUP6
000012f6: DUP6
000012f7: PUSH2 0x18ba
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH1 0x01
000012fe: SWAP2
000012ff: POP
00001300: POP
00001301: SWAP3
00001302: SWAP2
00001303: POP
00001304: POP
00001305: JUMP
00001306: JUMPDEST
00001307: PUSH8 0x0de0b6b3a7640000
00001310: DUP2
00001311: JUMP
00001312: JUMPDEST
00001313: PUSH1 0x08
00001315: SLOAD
00001316: DUP2
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH1 0x0b
0000131b: SLOAD
0000131c: DUP2
0000131d: JUMP
0000131e: JUMPDEST
0000131f: PUSH1 0x09
00001321: PUSH0
00001322: SWAP1
00001323: SLOAD
00001324: SWAP1
00001325: PUSH2 0x0100
00001328: EXP
00001329: SWAP1
0000132a: DIV
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: DUP2
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH0
00001345: TIMESTAMP
00001346: PUSH1 0x0c
00001348: SLOAD
00001349: LT
0000134a: ISZERO
0000134b: PUSH2 0x1365
0000134e: JUMPI
0000134f: PUSH1 0x0e
00001351: SLOAD
00001352: PUSH1 0x0c
00001354: SLOAD
00001355: PUSH2 0x135e
00001358: SWAP2
00001359: SWAP1
0000135a: PUSH2 0x2c5b
0000135d: JUMP
0000135e: JUMPDEST
0000135f: SWAP1
00001360: POP
00001361: PUSH2 0x1376
00001364: JUMP
00001365: JUMPDEST
00001366: PUSH1 0x0e
00001368: SLOAD
00001369: TIMESTAMP
0000136a: PUSH2 0x1373
0000136d: SWAP2
0000136e: SWAP1
0000136f: PUSH2 0x2c5b
00001372: JUMP
00001373: JUMPDEST
00001374: SWAP1
00001375: POP
00001376: JUMPDEST
00001377: SWAP1
00001378: JUMP
00001379: JUMPDEST
0000137a: PUSH0
0000137b: PUSH1 0x01
0000137d: PUSH0
0000137e: DUP5
0000137f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001394: AND
00001395: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013aa: AND
000013ab: DUP2
000013ac: MSTORE
000013ad: PUSH1 0x20
000013af: ADD
000013b0: SWAP1
000013b1: DUP2
000013b2: MSTORE
000013b3: PUSH1 0x20
000013b5: ADD
000013b6: PUSH0
000013b7: KECCAK256
000013b8: PUSH0
000013b9: DUP4
000013ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cf: AND
000013d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e5: AND
000013e6: DUP2
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: SWAP1
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: PUSH0
000013f2: KECCAK256
000013f3: SLOAD
000013f4: SWAP1
000013f5: POP
000013f6: SWAP3
000013f7: SWAP2
000013f8: POP
000013f9: POP
000013fa: JUMP
000013fb: JUMPDEST
000013fc: PUSH1 0x0d
000013fe: SLOAD
000013ff: DUP2
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH1 0x06
00001404: PUSH0
00001405: SWAP1
00001406: SLOAD
00001407: SWAP1
00001408: PUSH2 0x0100
0000140b: EXP
0000140c: SWAP1
0000140d: DIV
0000140e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001423: AND
00001424: DUP2
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x0a
00001429: PUSH1 0x20
0000142b: MSTORE
0000142c: DUP1
0000142d: PUSH0
0000142e: MSTORE
0000142f: PUSH1 0x40
00001431: PUSH0
00001432: KECCAK256
00001433: PUSH0
00001434: SWAP2
00001435: POP
00001436: SWAP1
00001437: POP
00001438: DUP1
00001439: PUSH0
0000143a: ADD
0000143b: SLOAD
0000143c: SWAP1
0000143d: DUP1
0000143e: PUSH1 0x01
00001440: ADD
00001441: SLOAD
00001442: SWAP1
00001443: DUP1
00001444: PUSH1 0x02
00001446: ADD
00001447: PUSH0
00001448: SWAP1
00001449: SLOAD
0000144a: SWAP1
0000144b: PUSH2 0x0100
0000144e: EXP
0000144f: SWAP1
00001450: DIV
00001451: PUSH1 0xff
00001453: AND
00001454: SWAP1
00001455: POP
00001456: DUP4
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH2 0x1460
0000145c: PUSH2 0x235d
0000145f: JUMP
00001460: JUMPDEST
00001461: PUSH2 0x1468
00001464: PUSH2 0x235d
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH1 0x0f
0000146b: SLOAD
0000146c: DUP2
0000146d: PUSH0
0000146e: PUSH1 0x09
00001470: DUP2
00001471: LT
00001472: PUSH2 0x147e
00001475: JUMPI
00001476: PUSH2 0x147d
00001479: PUSH2 0x2d1c
0000147c: JUMP
0000147d: JUMPDEST
0000147e: JUMPDEST
0000147f: PUSH1 0x20
00001481: MUL
00001482: ADD
00001483: DUP2
00001484: DUP2
00001485: MSTORE
00001486: POP
00001487: POP
00001488: PUSH1 0x0b
0000148a: SLOAD
0000148b: DUP2
0000148c: PUSH1 0x01
0000148e: PUSH1 0x09
00001490: DUP2
00001491: LT
00001492: PUSH2 0x149e
00001495: JUMPI
00001496: PUSH2 0x149d
00001499: PUSH2 0x2d1c
0000149c: JUMP
0000149d: JUMPDEST
0000149e: JUMPDEST
0000149f: PUSH1 0x20
000014a1: MUL
000014a2: ADD
000014a3: DUP2
000014a4: DUP2
000014a5: MSTORE
000014a6: POP
000014a7: POP
000014a8: PUSH1 0x0c
000014aa: SLOAD
000014ab: DUP2
000014ac: PUSH1 0x02
000014ae: PUSH1 0x09
000014b0: DUP2
000014b1: LT
000014b2: PUSH2 0x14be
000014b5: JUMPI
000014b6: PUSH2 0x14bd
000014b9: PUSH2 0x2d1c
000014bc: JUMP
000014bd: JUMPDEST
000014be: JUMPDEST
000014bf: PUSH1 0x20
000014c1: MUL
000014c2: ADD
000014c3: DUP2
000014c4: DUP2
000014c5: MSTORE
000014c6: POP
000014c7: POP
000014c8: PUSH1 0x07
000014ca: SLOAD
000014cb: DUP2
000014cc: PUSH1 0x03
000014ce: PUSH1 0x09
000014d0: DUP2
000014d1: LT
000014d2: PUSH2 0x14de
000014d5: JUMPI
000014d6: PUSH2 0x14dd
000014d9: PUSH2 0x2d1c
000014dc: JUMP
000014dd: JUMPDEST
000014de: JUMPDEST
000014df: PUSH1 0x20
000014e1: MUL
000014e2: ADD
000014e3: DUP2
000014e4: DUP2
000014e5: MSTORE
000014e6: POP
000014e7: POP
000014e8: PUSH2 0x14ef
000014eb: PUSH2 0x0915
000014ee: JUMP
000014ef: JUMPDEST
000014f0: DUP2
000014f1: PUSH1 0x04
000014f3: PUSH1 0x09
000014f5: DUP2
000014f6: LT
000014f7: PUSH2 0x1503
000014fa: JUMPI
000014fb: PUSH2 0x1502
000014fe: PUSH2 0x2d1c
00001501: JUMP
00001502: JUMPDEST
00001503: JUMPDEST
00001504: PUSH1 0x20
00001506: MUL
00001507: ADD
00001508: DUP2
00001509: DUP2
0000150a: MSTORE
0000150b: POP
0000150c: POP
0000150d: TIMESTAMP
0000150e: DUP2
0000150f: PUSH1 0x05
00001511: PUSH1 0x09
00001513: DUP2
00001514: LT
00001515: PUSH2 0x1521
00001518: JUMPI
00001519: PUSH2 0x1520
0000151c: PUSH2 0x2d1c
0000151f: JUMP
00001520: JUMPDEST
00001521: JUMPDEST
00001522: PUSH1 0x20
00001524: MUL
00001525: ADD
00001526: DUP2
00001527: DUP2
00001528: MSTORE
00001529: POP
0000152a: POP
0000152b: PUSH0
0000152c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001541: AND
00001542: DUP4
00001543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001558: AND
00001559: EQ
0000155a: PUSH2 0x165c
0000155d: JUMPI
0000155e: PUSH1 0x0a
00001560: PUSH0
00001561: DUP5
00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001577: AND
00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158d: AND
0000158e: DUP2
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: ADD
00001593: SWAP1
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH0
0000159a: KECCAK256
0000159b: PUSH1 0x01
0000159d: ADD
0000159e: SLOAD
0000159f: DUP2
000015a0: PUSH1 0x06
000015a2: PUSH1 0x09
000015a4: DUP2
000015a5: LT
000015a6: PUSH2 0x15b2
000015a9: JUMPI
000015aa: PUSH2 0x15b1
000015ad: PUSH2 0x2d1c
000015b0: JUMP
000015b1: JUMPDEST
000015b2: JUMPDEST
000015b3: PUSH1 0x20
000015b5: MUL
000015b6: ADD
000015b7: DUP2
000015b8: DUP2
000015b9: MSTORE
000015ba: POP
000015bb: POP
000015bc: PUSH2 0x15c4
000015bf: DUP4
000015c0: PUSH2 0x1074
000015c3: JUMP
000015c4: JUMPDEST
000015c5: DUP2
000015c6: PUSH1 0x07
000015c8: PUSH1 0x09
000015ca: DUP2
000015cb: LT
000015cc: PUSH2 0x15d8
000015cf: JUMPI
000015d0: PUSH2 0x15d7
000015d3: PUSH2 0x2d1c
000015d6: JUMP
000015d7: JUMPDEST
000015d8: JUMPDEST
000015d9: PUSH1 0x20
000015db: MUL
000015dc: ADD
000015dd: DUP2
000015de: DUP2
000015df: MSTORE
000015e0: POP
000015e1: POP
000015e2: PUSH1 0x0a
000015e4: PUSH0
000015e5: DUP5
000015e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fb: AND
000015fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001611: AND
00001612: DUP2
00001613: MSTORE
00001614: PUSH1 0x20
00001616: ADD
00001617: SWAP1
00001618: DUP2
00001619: MSTORE
0000161a: PUSH1 0x20
0000161c: ADD
0000161d: PUSH0
0000161e: KECCAK256
0000161f: PUSH1 0x02
00001621: ADD
00001622: PUSH0
00001623: SWAP1
00001624: SLOAD
00001625: SWAP1
00001626: PUSH2 0x0100
00001629: EXP
0000162a: SWAP1
0000162b: DIV
0000162c: PUSH1 0xff
0000162e: AND
0000162f: PUSH2 0x1638
00001632: JUMPI
00001633: PUSH0
00001634: PUSH2 0x163b
00001637: JUMP
00001638: JUMPDEST
00001639: PUSH1 0x01
0000163b: JUMPDEST
0000163c: PUSH1 0xff
0000163e: AND
0000163f: DUP2
00001640: PUSH1 0x08
00001642: PUSH1 0x09
00001644: DUP2
00001645: LT
00001646: PUSH2 0x1652
00001649: JUMPI
0000164a: PUSH2 0x1651
0000164d: PUSH2 0x2d1c
00001650: JUMP
00001651: JUMPDEST
00001652: JUMPDEST
00001653: PUSH1 0x20
00001655: MUL
00001656: ADD
00001657: DUP2
00001658: DUP2
00001659: MSTORE
0000165a: POP
0000165b: POP
0000165c: JUMPDEST
0000165d: DUP1
0000165e: SWAP2
0000165f: POP
00001660: POP
00001661: SWAP2
00001662: SWAP1
00001663: POP
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH0
00001667: CALLER
00001668: SWAP1
00001669: POP
0000166a: SWAP1
0000166b: JUMP
0000166c: JUMPDEST
0000166d: PUSH0
0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001683: AND
00001684: DUP4
00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169a: AND
0000169b: SUB
0000169c: PUSH2 0x16da
0000169f: JUMPI
000016a0: PUSH1 0x40
000016a2: MLOAD
000016a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x04
000016c8: ADD
000016c9: PUSH2 0x16d1
000016cc: SWAP1
000016cd: PUSH2 0x2db9
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH1 0x40
000016d4: MLOAD
000016d5: DUP1
000016d6: SWAP2
000016d7: SUB
000016d8: SWAP1
000016d9: REVERT
000016da: JUMPDEST
000016db: PUSH0
000016dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f1: AND
000016f2: DUP3
000016f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001708: AND
00001709: SUB
0000170a: PUSH2 0x1748
0000170d: JUMPI
0000170e: PUSH1 0x40
00001710: MLOAD
00001711: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001732: DUP2
00001733: MSTORE
00001734: PUSH1 0x04
00001736: ADD
00001737: PUSH2 0x173f
0000173a: SWAP1
0000173b: PUSH2 0x2e47
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH1 0x40
00001742: MLOAD
00001743: DUP1
00001744: SWAP2
00001745: SUB
00001746: SWAP1
00001747: REVERT
00001748: JUMPDEST
00001749: DUP1
0000174a: PUSH1 0x01
0000174c: PUSH0
0000174d: DUP6
0000174e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001763: AND
00001764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001779: AND
0000177a: DUP2
0000177b: MSTORE
0000177c: PUSH1 0x20
0000177e: ADD
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x20
00001784: ADD
00001785: PUSH0
00001786: KECCAK256
00001787: PUSH0
00001788: DUP5
00001789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179e: AND
0000179f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b4: AND
000017b5: DUP2
000017b6: MSTORE
000017b7: PUSH1 0x20
000017b9: ADD
000017ba: SWAP1
000017bb: DUP2
000017bc: MSTORE
000017bd: PUSH1 0x20
000017bf: ADD
000017c0: PUSH0
000017c1: KECCAK256
000017c2: DUP2
000017c3: SWAP1
000017c4: SSTORE
000017c5: POP
000017c6: DUP2
000017c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017dc: AND
000017dd: DUP4
000017de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f3: AND
000017f4: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001815: DUP4
00001816: PUSH1 0x40
00001818: MLOAD
00001819: PUSH2 0x1822
0000181c: SWAP2
0000181d: SWAP1
0000181e: PUSH2 0x253b
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0x40
00001825: MLOAD
00001826: DUP1
00001827: SWAP2
00001828: SUB
00001829: SWAP1
0000182a: LOG3
0000182b: POP
0000182c: POP
0000182d: POP
0000182e: JUMP
0000182f: JUMPDEST
00001830: PUSH0
00001831: PUSH2 0x183a
00001834: DUP5
00001835: DUP5
00001836: PUSH2 0x1379
00001839: JUMP
0000183a: JUMPDEST
0000183b: SWAP1
0000183c: POP
0000183d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000185e: DUP2
0000185f: EQ
00001860: PUSH2 0x18b4
00001863: JUMPI
00001864: DUP2
00001865: DUP2
00001866: LT
00001867: ISZERO
00001868: PUSH2 0x18a6
0000186b: JUMPI
0000186c: PUSH1 0x40
0000186e: MLOAD
0000186f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001890: DUP2
00001891: MSTORE
00001892: PUSH1 0x04
00001894: ADD
00001895: PUSH2 0x189d
00001898: SWAP1
00001899: PUSH2 0x2eaf
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH1 0x40
000018a0: MLOAD
000018a1: DUP1
000018a2: SWAP2
000018a3: SUB
000018a4: SWAP1
000018a5: REVERT
000018a6: JUMPDEST
000018a7: PUSH2 0x18b3
000018aa: DUP5
000018ab: DUP5
000018ac: DUP5
000018ad: DUP5
000018ae: SUB
000018af: PUSH2 0x166c
000018b2: JUMP
000018b3: JUMPDEST
000018b4: JUMPDEST
000018b5: POP
000018b6: POP
000018b7: POP
000018b8: POP
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH0
000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d1: AND
000018d2: DUP4
000018d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e8: AND
000018e9: SUB
000018ea: PUSH2 0x1928
000018ed: JUMPI
000018ee: PUSH1 0x40
000018f0: MLOAD
000018f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x04
00001916: ADD
00001917: PUSH2 0x191f
0000191a: SWAP1
0000191b: PUSH2 0x2f3d
0000191e: JUMP
0000191f: JUMPDEST
00001920: PUSH1 0x40
00001922: MLOAD
00001923: DUP1
00001924: SWAP2
00001925: SUB
00001926: SWAP1
00001927: REVERT
00001928: JUMPDEST
00001929: PUSH0
0000192a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000193f: AND
00001940: DUP3
00001941: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001956: AND
00001957: SUB
00001958: PUSH2 0x1996
0000195b: JUMPI
0000195c: PUSH1 0x40
0000195e: MLOAD
0000195f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001980: DUP2
00001981: MSTORE
00001982: PUSH1 0x04
00001984: ADD
00001985: PUSH2 0x198d
00001988: SWAP1
00001989: PUSH2 0x2fcb
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP1
00001992: SWAP2
00001993: SUB
00001994: SWAP1
00001995: REVERT
00001996: JUMPDEST
00001997: PUSH2 0x19a1
0000199a: DUP4
0000199b: DUP4
0000199c: DUP4
0000199d: PUSH2 0x2353
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH0
000019a3: DUP1
000019a4: PUSH0
000019a5: DUP6
000019a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bb: AND
000019bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d1: AND
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x20
000019d6: ADD
000019d7: SWAP1
000019d8: DUP2
000019d9: MSTORE
000019da: PUSH1 0x20
000019dc: ADD
000019dd: PUSH0
000019de: KECCAK256
000019df: SLOAD
000019e0: SWAP1
000019e1: POP
000019e2: DUP2
000019e3: DUP2
000019e4: LT
000019e5: ISZERO
000019e6: PUSH2 0x1a24
000019e9: JUMPI
000019ea: PUSH1 0x40
000019ec: MLOAD
000019ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a0e: DUP2
00001a0f: MSTORE
00001a10: PUSH1 0x04
00001a12: ADD
00001a13: PUSH2 0x1a1b
00001a16: SWAP1
00001a17: PUSH2 0x3059
00001a1a: JUMP
00001a1b: JUMPDEST
00001a1c: PUSH1 0x40
00001a1e: MLOAD
00001a1f: DUP1
00001a20: SWAP2
00001a21: SUB
00001a22: SWAP1
00001a23: REVERT
00001a24: JUMPDEST
00001a25: DUP2
00001a26: DUP2
00001a27: SUB
00001a28: PUSH0
00001a29: DUP1
00001a2a: DUP7
00001a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a40: AND
00001a41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a56: AND
00001a57: DUP2
00001a58: MSTORE
00001a59: PUSH1 0x20
00001a5b: ADD
00001a5c: SWAP1
00001a5d: DUP2
00001a5e: MSTORE
00001a5f: PUSH1 0x20
00001a61: ADD
00001a62: PUSH0
00001a63: KECCAK256
00001a64: DUP2
00001a65: SWAP1
00001a66: SSTORE
00001a67: POP
00001a68: DUP2
00001a69: PUSH0
00001a6a: DUP1
00001a6b: DUP6
00001a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a81: AND
00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a97: AND
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x20
00001a9c: ADD
00001a9d: SWAP1
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: PUSH0
00001aa4: KECCAK256
00001aa5: PUSH0
00001aa6: DUP3
00001aa7: DUP3
00001aa8: SLOAD
00001aa9: ADD
00001aaa: SWAP3
00001aab: POP
00001aac: POP
00001aad: DUP2
00001aae: SWAP1
00001aaf: SSTORE
00001ab0: POP
00001ab1: DUP3
00001ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac7: AND
00001ac8: DUP5
00001ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ade: AND
00001adf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b00: DUP5
00001b01: PUSH1 0x40
00001b03: MLOAD
00001b04: PUSH2 0x1b0d
00001b07: SWAP2
00001b08: SWAP1
00001b09: PUSH2 0x253b
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH1 0x40
00001b10: MLOAD
00001b11: DUP1
00001b12: SWAP2
00001b13: SUB
00001b14: SWAP1
00001b15: LOG3
00001b16: PUSH2 0x1b20
00001b19: DUP5
00001b1a: DUP5
00001b1b: DUP5
00001b1c: PUSH2 0x2358
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: POP
00001b22: POP
00001b23: POP
00001b24: POP
00001b25: JUMP
00001b26: JUMPDEST
00001b27: PUSH1 0x02
00001b29: PUSH1 0x05
00001b2b: SLOAD
00001b2c: SUB
00001b2d: PUSH2 0x1b6b
00001b30: JUMPI
00001b31: PUSH1 0x40
00001b33: MLOAD
00001b34: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b55: DUP2
00001b56: MSTORE
00001b57: PUSH1 0x04
00001b59: ADD
00001b5a: PUSH2 0x1b62
00001b5d: SWAP1
00001b5e: PUSH2 0x30c1
00001b61: JUMP
00001b62: JUMPDEST
00001b63: PUSH1 0x40
00001b65: MLOAD
00001b66: DUP1
00001b67: SWAP2
00001b68: SUB
00001b69: SWAP1
00001b6a: REVERT
00001b6b: JUMPDEST
00001b6c: PUSH1 0x02
00001b6e: PUSH1 0x05
00001b70: DUP2
00001b71: SWAP1
00001b72: SSTORE
00001b73: POP
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH1 0x01
00001b78: PUSH1 0x05
00001b7a: DUP2
00001b7b: SWAP1
00001b7c: SSTORE
00001b7d: POP
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH1 0x0c
00001b82: SLOAD
00001b83: TIMESTAMP
00001b84: GT
00001b85: PUSH2 0x1bc3
00001b88: JUMPI
00001b89: PUSH1 0x40
00001b8b: MLOAD
00001b8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bad: DUP2
00001bae: MSTORE
00001baf: PUSH1 0x04
00001bb1: ADD
00001bb2: PUSH2 0x1bba
00001bb5: SWAP1
00001bb6: PUSH2 0x3129
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH1 0x40
00001bbd: MLOAD
00001bbe: DUP1
00001bbf: SWAP2
00001bc0: SUB
00001bc1: SWAP1
00001bc2: REVERT
00001bc3: JUMPDEST
00001bc4: PUSH1 0x10
00001bc6: PUSH1 0x14
00001bc8: SWAP1
00001bc9: SLOAD
00001bca: SWAP1
00001bcb: PUSH2 0x0100
00001bce: EXP
00001bcf: SWAP1
00001bd0: DIV
00001bd1: PUSH1 0xff
00001bd3: AND
00001bd4: ISZERO
00001bd5: PUSH2 0x1c13
00001bd8: JUMPI
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bfd: DUP2
00001bfe: MSTORE
00001bff: PUSH1 0x04
00001c01: ADD
00001c02: PUSH2 0x1c0a
00001c05: SWAP1
00001c06: PUSH2 0x31b7
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: PUSH1 0x40
00001c0d: MLOAD
00001c0e: DUP1
00001c0f: SWAP2
00001c10: SUB
00001c11: SWAP1
00001c12: REVERT
00001c13: JUMPDEST
00001c14: PUSH1 0x01
00001c16: PUSH1 0x10
00001c18: PUSH1 0x14
00001c1a: PUSH2 0x0100
00001c1d: EXP
00001c1e: DUP2
00001c1f: SLOAD
00001c20: DUP2
00001c21: PUSH1 0xff
00001c23: MUL
00001c24: NOT
00001c25: AND
00001c26: SWAP1
00001c27: DUP4
00001c28: ISZERO
00001c29: ISZERO
00001c2a: MUL
00001c2b: OR
00001c2c: SWAP1
00001c2d: SSTORE
00001c2e: POP
00001c2f: PUSH0
00001c30: PUSH1 0x64
00001c32: PUSH1 0x0a
00001c34: PUSH1 0x0f
00001c36: SLOAD
00001c37: PUSH2 0x1c40
00001c3a: SWAP2
00001c3b: SWAP1
00001c3c: PUSH2 0x285b
00001c3f: JUMP
00001c40: JUMPDEST
00001c41: PUSH2 0x1c4a
00001c44: SWAP2
00001c45: SWAP1
00001c46: PUSH2 0x28c9
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: SWAP1
00001c4c: POP
00001c4d: PUSH0
00001c4e: PUSH1 0x64
00001c50: PUSH1 0x28
00001c52: PUSH14 0x057a6b5cf3493da72eb442bc0000
00001c61: PUSH2 0x1c6a
00001c64: SWAP2
00001c65: SWAP1
00001c66: PUSH2 0x285b
00001c69: JUMP
00001c6a: JUMPDEST
00001c6b: PUSH2 0x1c74
00001c6e: SWAP2
00001c6f: SWAP1
00001c70: PUSH2 0x28c9
00001c73: JUMP
00001c74: JUMPDEST
00001c75: PUSH1 0x64
00001c77: PUSH1 0x14
00001c79: PUSH14 0x057a6b5cf3493da72eb442bc0000
00001c88: PUSH2 0x1c91
00001c8b: SWAP2
00001c8c: SWAP1
00001c8d: PUSH2 0x285b
00001c90: JUMP
00001c91: JUMPDEST
00001c92: PUSH2 0x1c9b
00001c95: SWAP2
00001c96: SWAP1
00001c97: PUSH2 0x28c9
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH14 0x057a6b5cf3493da72eb442bc0000
00001cab: PUSH2 0x1cb4
00001cae: SWAP2
00001caf: SWAP1
00001cb0: PUSH2 0x2c5b
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH2 0x1cbe
00001cb8: SWAP2
00001cb9: SWAP1
00001cba: PUSH2 0x2c5b
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: SWAP1
00001cc0: POP
00001cc1: PUSH2 0x1cca
00001cc4: ADDRESS
00001cc5: DUP3
00001cc6: PUSH2 0x21e6
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: PUSH2 0x1cf6
00001cce: ADDRESS
00001ccf: PUSH1 0x06
00001cd1: PUSH0
00001cd2: SWAP1
00001cd3: SLOAD
00001cd4: SWAP1
00001cd5: PUSH2 0x0100
00001cd8: EXP
00001cd9: SWAP1
00001cda: DIV
00001cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf0: AND
00001cf1: DUP4
00001cf2: PUSH2 0x166c
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: PUSH1 0x06
00001cf9: PUSH0
00001cfa: SWAP1
00001cfb: SLOAD
00001cfc: SWAP1
00001cfd: PUSH2 0x0100
00001d00: EXP
00001d01: SWAP1
00001d02: DIV
00001d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d18: AND
00001d19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2e: AND
00001d2f: PUSH4 0xf305d719
00001d34: DUP4
00001d35: ADDRESS
00001d36: DUP5
00001d37: PUSH0
00001d38: DUP1
00001d39: PUSH0
00001d3a: TIMESTAMP
00001d3b: PUSH1 0x40
00001d3d: MLOAD
00001d3e: DUP9
00001d3f: PUSH4 0xffffffff
00001d44: AND
00001d45: PUSH1 0xe0
00001d47: SHL
00001d48: DUP2
00001d49: MSTORE
00001d4a: PUSH1 0x04
00001d4c: ADD
00001d4d: PUSH2 0x1d5b
00001d50: SWAP7
00001d51: SWAP6
00001d52: SWAP5
00001d53: SWAP4
00001d54: SWAP3
00001d55: SWAP2
00001d56: SWAP1
00001d57: PUSH2 0x320e
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH1 0x60
00001d5e: PUSH1 0x40
00001d60: MLOAD
00001d61: DUP1
00001d62: DUP4
00001d63: SUB
00001d64: DUP2
00001d65: DUP6
00001d66: DUP9
00001d67: GAS
00001d68: CALL
00001d69: ISZERO
00001d6a: DUP1
00001d6b: ISZERO
00001d6c: PUSH2 0x1d77
00001d6f: JUMPI
00001d70: RETURNDATASIZE
00001d71: PUSH0
00001d72: DUP1
00001d73: RETURNDATACOPY
00001d74: RETURNDATASIZE
00001d75: PUSH0
00001d76: REVERT
00001d77: JUMPDEST
00001d78: POP
00001d79: POP
00001d7a: POP
00001d7b: POP
00001d7c: POP
00001d7d: PUSH1 0x40
00001d7f: MLOAD
00001d80: RETURNDATASIZE
00001d81: PUSH1 0x1f
00001d83: NOT
00001d84: PUSH1 0x1f
00001d86: DUP3
00001d87: ADD
00001d88: AND
00001d89: DUP3
00001d8a: ADD
00001d8b: DUP1
00001d8c: PUSH1 0x40
00001d8e: MSTORE
00001d8f: POP
00001d90: DUP2
00001d91: ADD
00001d92: SWAP1
00001d93: PUSH2 0x1d9c
00001d96: SWAP2
00001d97: SWAP1
00001d98: PUSH2 0x3281
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: PUSH2 0x1df0
00001da3: PUSH1 0x10
00001da5: PUSH0
00001da6: SWAP1
00001da7: SLOAD
00001da8: SWAP1
00001da9: PUSH2 0x0100
00001dac: EXP
00001dad: SWAP1
00001dae: DIV
00001daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc4: AND
00001dc5: PUSH1 0x64
00001dc7: PUSH1 0x14
00001dc9: PUSH14 0x057a6b5cf3493da72eb442bc0000
00001dd8: PUSH2 0x1de1
00001ddb: SWAP2
00001ddc: SWAP1
00001ddd: PUSH2 0x285b
00001de0: JUMP
00001de1: JUMPDEST
00001de2: PUSH2 0x1deb
00001de5: SWAP2
00001de6: SWAP1
00001de7: PUSH2 0x28c9
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH2 0x21e6
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH0
00001df2: PUSH1 0x06
00001df4: PUSH0
00001df5: SWAP1
00001df6: SLOAD
00001df7: SWAP1
00001df8: PUSH2 0x0100
00001dfb: EXP
00001dfc: SWAP1
00001dfd: DIV
00001dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e13: AND
00001e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e29: AND
00001e2a: PUSH4 0xad5c4648
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: DUP2
00001e33: PUSH4 0xffffffff
00001e38: AND
00001e39: PUSH1 0xe0
00001e3b: SHL
00001e3c: DUP2
00001e3d: MSTORE
00001e3e: PUSH1 0x04
00001e40: ADD
00001e41: PUSH1 0x20
00001e43: PUSH1 0x40
00001e45: MLOAD
00001e46: DUP1
00001e47: DUP4
00001e48: SUB
00001e49: DUP2
00001e4a: DUP7
00001e4b: GAS
00001e4c: STATICCALL
00001e4d: ISZERO
00001e4e: DUP1
00001e4f: ISZERO
00001e50: PUSH2 0x1e5b
00001e53: JUMPI
00001e54: RETURNDATASIZE
00001e55: PUSH0
00001e56: DUP1
00001e57: RETURNDATACOPY
00001e58: RETURNDATASIZE
00001e59: PUSH0
00001e5a: REVERT
00001e5b: JUMPDEST
00001e5c: POP
00001e5d: POP
00001e5e: POP
00001e5f: POP
00001e60: PUSH1 0x40
00001e62: MLOAD
00001e63: RETURNDATASIZE
00001e64: PUSH1 0x1f
00001e66: NOT
00001e67: PUSH1 0x1f
00001e69: DUP3
00001e6a: ADD
00001e6b: AND
00001e6c: DUP3
00001e6d: ADD
00001e6e: DUP1
00001e6f: PUSH1 0x40
00001e71: MSTORE
00001e72: POP
00001e73: DUP2
00001e74: ADD
00001e75: SWAP1
00001e76: PUSH2 0x1e7f
00001e79: SWAP2
00001e7a: SWAP1
00001e7b: PUSH2 0x32e5
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: SWAP1
00001e81: POP
00001e82: PUSH0
00001e83: PUSH1 0x06
00001e85: PUSH0
00001e86: SWAP1
00001e87: SLOAD
00001e88: SWAP1
00001e89: PUSH2 0x0100
00001e8c: EXP
00001e8d: SWAP1
00001e8e: DIV
00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea4: AND
00001ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eba: AND
00001ebb: PUSH4 0xc45a0155
00001ec0: PUSH1 0x40
00001ec2: MLOAD
00001ec3: DUP2
00001ec4: PUSH4 0xffffffff
00001ec9: AND
00001eca: PUSH1 0xe0
00001ecc: SHL
00001ecd: DUP2
00001ece: MSTORE
00001ecf: PUSH1 0x04
00001ed1: ADD
00001ed2: PUSH1 0x20
00001ed4: PUSH1 0x40
00001ed6: MLOAD
00001ed7: DUP1
00001ed8: DUP4
00001ed9: SUB
00001eda: DUP2
00001edb: DUP7
00001edc: GAS
00001edd: STATICCALL
00001ede: ISZERO
00001edf: DUP1
00001ee0: ISZERO
00001ee1: PUSH2 0x1eec
00001ee4: JUMPI
00001ee5: RETURNDATASIZE
00001ee6: PUSH0
00001ee7: DUP1
00001ee8: RETURNDATACOPY
00001ee9: RETURNDATASIZE
00001eea: PUSH0
00001eeb: REVERT
00001eec: JUMPDEST
00001eed: POP
00001eee: POP
00001eef: POP
00001ef0: POP
00001ef1: PUSH1 0x40
00001ef3: MLOAD
00001ef4: RETURNDATASIZE
00001ef5: PUSH1 0x1f
00001ef7: NOT
00001ef8: PUSH1 0x1f
00001efa: DUP3
00001efb: ADD
00001efc: AND
00001efd: DUP3
00001efe: ADD
00001eff: DUP1
00001f00: PUSH1 0x40
00001f02: MSTORE
00001f03: POP
00001f04: DUP2
00001f05: ADD
00001f06: SWAP1
00001f07: PUSH2 0x1f10
00001f0a: SWAP2
00001f0b: SWAP1
00001f0c: PUSH2 0x32e5
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: SWAP1
00001f12: POP
00001f13: DUP1
00001f14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f29: AND
00001f2a: PUSH4 0xe6a43905
00001f2f: ADDRESS
00001f30: DUP5
00001f31: PUSH1 0x40
00001f33: MLOAD
00001f34: DUP4
00001f35: PUSH4 0xffffffff
00001f3a: AND
00001f3b: PUSH1 0xe0
00001f3d: SHL
00001f3e: DUP2
00001f3f: MSTORE
00001f40: PUSH1 0x04
00001f42: ADD
00001f43: PUSH2 0x1f4d
00001f46: SWAP3
00001f47: SWAP2
00001f48: SWAP1
00001f49: PUSH2 0x3310
00001f4c: JUMP
00001f4d: JUMPDEST
00001f4e: PUSH1 0x20
00001f50: PUSH1 0x40
00001f52: MLOAD
00001f53: DUP1
00001f54: DUP4
00001f55: SUB
00001f56: DUP2
00001f57: DUP7
00001f58: GAS
00001f59: STATICCALL
00001f5a: ISZERO
00001f5b: DUP1
00001f5c: ISZERO
00001f5d: PUSH2 0x1f68
00001f60: JUMPI
00001f61: RETURNDATASIZE
00001f62: PUSH0
00001f63: DUP1
00001f64: RETURNDATACOPY
00001f65: RETURNDATASIZE
00001f66: PUSH0
00001f67: REVERT
00001f68: JUMPDEST
00001f69: POP
00001f6a: POP
00001f6b: POP
00001f6c: POP
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: RETURNDATASIZE
00001f71: PUSH1 0x1f
00001f73: NOT
00001f74: PUSH1 0x1f
00001f76: DUP3
00001f77: ADD
00001f78: AND
00001f79: DUP3
00001f7a: ADD
00001f7b: DUP1
00001f7c: PUSH1 0x40
00001f7e: MSTORE
00001f7f: POP
00001f80: DUP2
00001f81: ADD
00001f82: SWAP1
00001f83: PUSH2 0x1f8c
00001f86: SWAP2
00001f87: SWAP1
00001f88: PUSH2 0x32e5
00001f8b: JUMP
00001f8c: JUMPDEST
00001f8d: PUSH1 0x09
00001f8f: PUSH0
00001f90: PUSH2 0x0100
00001f93: EXP
00001f94: DUP2
00001f95: SLOAD
00001f96: DUP2
00001f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fac: MUL
00001fad: NOT
00001fae: AND
00001faf: SWAP1
00001fb0: DUP4
00001fb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc6: AND
00001fc7: MUL
00001fc8: OR
00001fc9: SWAP1
00001fca: SSTORE
00001fcb: POP
00001fcc: PUSH0
00001fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe2: AND
00001fe3: PUSH1 0x09
00001fe5: PUSH0
00001fe6: SWAP1
00001fe7: SLOAD
00001fe8: SWAP1
00001fe9: PUSH2 0x0100
00001fec: EXP
00001fed: SWAP1
00001fee: DIV
00001fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002004: AND
00002005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201a: AND
0000201b: SUB
0000201c: PUSH2 0x20da
0000201f: JUMPI
00002020: DUP1
00002021: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002036: AND
00002037: PUSH4 0xc9c65396
0000203c: ADDRESS
0000203d: DUP5
0000203e: PUSH1 0x40
00002040: MLOAD
00002041: DUP4
00002042: PUSH4 0xffffffff
00002047: AND
00002048: PUSH1 0xe0
0000204a: SHL
0000204b: DUP2
0000204c: MSTORE
0000204d: PUSH1 0x04
0000204f: ADD
00002050: PUSH2 0x205a
00002053: SWAP3
00002054: SWAP2
00002055: SWAP1
00002056: PUSH2 0x3310
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x20
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: DUP1
00002061: DUP4
00002062: SUB
00002063: DUP2
00002064: PUSH0
00002065: DUP8
00002066: GAS
00002067: CALL
00002068: ISZERO
00002069: DUP1
0000206a: ISZERO
0000206b: PUSH2 0x2076
0000206e: JUMPI
0000206f: RETURNDATASIZE
00002070: PUSH0
00002071: DUP1
00002072: RETURNDATACOPY
00002073: RETURNDATASIZE
00002074: PUSH0
00002075: REVERT
00002076: JUMPDEST
00002077: POP
00002078: POP
00002079: POP
0000207a: POP
0000207b: PUSH1 0x40
0000207d: MLOAD
0000207e: RETURNDATASIZE
0000207f: PUSH1 0x1f
00002081: NOT
00002082: PUSH1 0x1f
00002084: DUP3
00002085: ADD
00002086: AND
00002087: DUP3
00002088: ADD
00002089: DUP1
0000208a: PUSH1 0x40
0000208c: MSTORE
0000208d: POP
0000208e: DUP2
0000208f: ADD
00002090: SWAP1
00002091: PUSH2 0x209a
00002094: SWAP2
00002095: SWAP1
00002096: PUSH2 0x32e5
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x09
0000209d: PUSH0
0000209e: PUSH2 0x0100
000020a1: EXP
000020a2: DUP2
000020a3: SLOAD
000020a4: DUP2
000020a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ba: MUL
000020bb: NOT
000020bc: AND
000020bd: SWAP1
000020be: DUP4
000020bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d4: AND
000020d5: MUL
000020d6: OR
000020d7: SWAP1
000020d8: SSTORE
000020d9: POP
000020da: JUMPDEST
000020db: PUSH1 0x10
000020dd: PUSH0
000020de: SWAP1
000020df: SLOAD
000020e0: SWAP1
000020e1: PUSH2 0x0100
000020e4: EXP
000020e5: SWAP1
000020e6: DIV
000020e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fc: AND
000020fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002112: AND
00002113: PUSH4 0x9d5c9fa4
00002118: PUSH1 0x09
0000211a: PUSH0
0000211b: SWAP1
0000211c: SLOAD
0000211d: SWAP1
0000211e: PUSH2 0x0100
00002121: EXP
00002122: SWAP1
00002123: DIV
00002124: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002139: AND
0000213a: DUP5
0000213b: PUSH1 0x06
0000213d: PUSH0
0000213e: SWAP1
0000213f: SLOAD
00002140: SWAP1
00002141: PUSH2 0x0100
00002144: EXP
00002145: SWAP1
00002146: DIV
00002147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215c: AND
0000215d: PUSH1 0x40
0000215f: MLOAD
00002160: DUP5
00002161: PUSH4 0xffffffff
00002166: AND
00002167: PUSH1 0xe0
00002169: SHL
0000216a: DUP2
0000216b: MSTORE
0000216c: PUSH1 0x04
0000216e: ADD
0000216f: PUSH2 0x217a
00002172: SWAP4
00002173: SWAP3
00002174: SWAP2
00002175: SWAP1
00002176: PUSH2 0x3337
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH0
0000217c: PUSH1 0x40
0000217e: MLOAD
0000217f: DUP1
00002180: DUP4
00002181: SUB
00002182: DUP2
00002183: PUSH0
00002184: DUP8
00002185: DUP1
00002186: EXTCODESIZE
00002187: ISZERO
00002188: DUP1
00002189: ISZERO
0000218a: PUSH2 0x2191
0000218d: JUMPI
0000218e: PUSH0
0000218f: DUP1
00002190: REVERT
00002191: JUMPDEST
00002192: POP
00002193: GAS
00002194: CALL
00002195: ISZERO
00002196: DUP1
00002197: ISZERO
00002198: PUSH2 0x21a3
0000219b: JUMPI
0000219c: RETURNDATASIZE
0000219d: PUSH0
0000219e: DUP1
0000219f: RETURNDATACOPY
000021a0: RETURNDATASIZE
000021a1: PUSH0
000021a2: REVERT
000021a3: JUMPDEST
000021a4: POP
000021a5: POP
000021a6: POP
000021a7: POP
000021a8: PUSH32 0x38f8a0c92f4c5b0b6877f878cb4c0c8d348a47b76d716c8e78f425043df9515b
000021c9: DUP4
000021ca: DUP6
000021cb: PUSH1 0x40
000021cd: MLOAD
000021ce: PUSH2 0x21d8
000021d1: SWAP3
000021d2: SWAP2
000021d3: SWAP1
000021d4: PUSH2 0x2afc
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x40
000021db: MLOAD
000021dc: DUP1
000021dd: SWAP2
000021de: SUB
000021df: SWAP1
000021e0: LOG1
000021e1: POP
000021e2: POP
000021e3: POP
000021e4: POP
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH0
000021e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fd: AND
000021fe: DUP3
000021ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002214: AND
00002215: SUB
00002216: PUSH2 0x2254
00002219: JUMPI
0000221a: PUSH1 0x40
0000221c: MLOAD
0000221d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000223e: DUP2
0000223f: MSTORE
00002240: PUSH1 0x04
00002242: ADD
00002243: PUSH2 0x224b
00002246: SWAP1
00002247: PUSH2 0x33b6
0000224a: JUMP
0000224b: JUMPDEST
0000224c: PUSH1 0x40
0000224e: MLOAD
0000224f: DUP1
00002250: SWAP2
00002251: SUB
00002252: SWAP1
00002253: REVERT
00002254: JUMPDEST
00002255: PUSH2 0x225f
00002258: PUSH0
00002259: DUP4
0000225a: DUP4
0000225b: PUSH2 0x2353
0000225e: JUMP
0000225f: JUMPDEST
00002260: DUP1
00002261: PUSH1 0x02
00002263: PUSH0
00002264: DUP3
00002265: DUP3
00002266: SLOAD
00002267: PUSH2 0x2270
0000226a: SWAP2
0000226b: SWAP1
0000226c: PUSH2 0x28f9
0000226f: JUMP
00002270: JUMPDEST
00002271: SWAP3
00002272: POP
00002273: POP
00002274: DUP2
00002275: SWAP1
00002276: SSTORE
00002277: POP
00002278: DUP1
00002279: PUSH0
0000227a: DUP1
0000227b: DUP5
0000227c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002291: AND
00002292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a7: AND
000022a8: DUP2
000022a9: MSTORE
000022aa: PUSH1 0x20
000022ac: ADD
000022ad: SWAP1
000022ae: DUP2
000022af: MSTORE
000022b0: PUSH1 0x20
000022b2: ADD
000022b3: PUSH0
000022b4: KECCAK256
000022b5: PUSH0
000022b6: DUP3
000022b7: DUP3
000022b8: SLOAD
000022b9: ADD
000022ba: SWAP3
000022bb: POP
000022bc: POP
000022bd: DUP2
000022be: SWAP1
000022bf: SSTORE
000022c0: POP
000022c1: DUP2
000022c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d7: AND
000022d8: PUSH0
000022d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ee: AND
000022ef: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002310: DUP4
00002311: PUSH1 0x40
00002313: MLOAD
00002314: PUSH2 0x231d
00002317: SWAP2
00002318: SWAP1
00002319: PUSH2 0x253b
0000231c: JUMP
0000231d: JUMPDEST
0000231e: PUSH1 0x40
00002320: MLOAD
00002321: DUP1
00002322: SWAP2
00002323: SUB
00002324: SWAP1
00002325: LOG3
00002326: PUSH2 0x2330
00002329: PUSH0
0000232a: DUP4
0000232b: DUP4
0000232c: PUSH2 0x2358
0000232f: JUMP
00002330: JUMPDEST
00002331: POP
00002332: POP
00002333: JUMP
00002334: JUMPDEST
00002335: TIMESTAMP
00002336: PUSH1 0x0b
00002338: DUP2
00002339: SWAP1
0000233a: SSTORE
0000233b: POP
0000233c: PUSH1 0x08
0000233e: SLOAD
0000233f: PUSH1 0x0b
00002341: SLOAD
00002342: PUSH2 0x234b
00002345: SWAP2
00002346: SWAP1
00002347: PUSH2 0x28f9
0000234a: JUMP
0000234b: JUMPDEST
0000234c: PUSH1 0x0c
0000234e: DUP2
0000234f: SWAP1
00002350: SSTORE
00002351: POP
00002352: JUMP
00002353: JUMPDEST
00002354: POP
00002355: POP
00002356: POP
00002357: JUMP
00002358: JUMPDEST
00002359: POP
0000235a: POP
0000235b: POP
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x40
00002360: MLOAD
00002361: DUP1
00002362: PUSH2 0x0120
00002365: ADD
00002366: PUSH1 0x40
00002368: MSTORE
00002369: DUP1
0000236a: PUSH1 0x09
0000236c: SWAP1
0000236d: PUSH1 0x20
0000236f: DUP3
00002370: MUL
00002371: DUP1
00002372: CALLDATASIZE
00002373: DUP4
00002374: CALLDATACOPY
00002375: DUP1
00002376: DUP3
00002377: ADD
00002378: SWAP2
00002379: POP
0000237a: POP
0000237b: SWAP1
0000237c: POP
0000237d: POP
0000237e: SWAP1
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH0
00002382: DUP2
00002383: MLOAD
00002384: SWAP1
00002385: POP
00002386: SWAP2
00002387: SWAP1
00002388: POP
00002389: JUMP
0000238a: JUMPDEST
0000238b: PUSH0
0000238c: DUP3
0000238d: DUP3
0000238e: MSTORE
0000238f: PUSH1 0x20
00002391: DUP3
00002392: ADD
00002393: SWAP1
00002394: POP
00002395: SWAP3
00002396: SWAP2
00002397: POP
00002398: POP
00002399: JUMP
0000239a: JUMPDEST
0000239b: PUSH0
0000239c: JUMPDEST
0000239d: DUP4
0000239e: DUP2
0000239f: LT
000023a0: ISZERO
000023a1: PUSH2 0x23b7
000023a4: JUMPI
000023a5: DUP1
000023a6: DUP3
000023a7: ADD
000023a8: MLOAD
000023a9: DUP2
000023aa: DUP5
000023ab: ADD
000023ac: MSTORE
000023ad: PUSH1 0x20
000023af: DUP2
000023b0: ADD
000023b1: SWAP1
000023b2: POP
000023b3: PUSH2 0x239c
000023b6: JUMP
000023b7: JUMPDEST
000023b8: PUSH0
000023b9: DUP5
000023ba: DUP5
000023bb: ADD
000023bc: MSTORE
000023bd: POP
000023be: POP
000023bf: POP
000023c0: POP
000023c1: JUMP
000023c2: JUMPDEST
000023c3: PUSH0
000023c4: PUSH1 0x1f
000023c6: NOT
000023c7: PUSH1 0x1f
000023c9: DUP4
000023ca: ADD
000023cb: AND
000023cc: SWAP1
000023cd: POP
000023ce: SWAP2
000023cf: SWAP1
000023d0: POP
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH0
000023d4: PUSH2 0x23dc
000023d7: DUP3
000023d8: PUSH2 0x2380
000023db: JUMP
000023dc: JUMPDEST
000023dd: PUSH2 0x23e6
000023e0: DUP2
000023e1: DUP6
000023e2: PUSH2 0x238a
000023e5: JUMP
000023e6: JUMPDEST
000023e7: SWAP4
000023e8: POP
000023e9: PUSH2 0x23f6
000023ec: DUP2
000023ed: DUP6
000023ee: PUSH1 0x20
000023f0: DUP7
000023f1: ADD
000023f2: PUSH2 0x239a
000023f5: JUMP
000023f6: JUMPDEST
000023f7: PUSH2 0x23ff
000023fa: DUP2
000023fb: PUSH2 0x23c2
000023fe: JUMP
000023ff: JUMPDEST
00002400: DUP5
00002401: ADD
00002402: SWAP2
00002403: POP
00002404: POP
00002405: SWAP3
00002406: SWAP2
00002407: POP
00002408: POP
00002409: JUMP
0000240a: JUMPDEST
0000240b: PUSH0
0000240c: PUSH1 0x20
0000240e: DUP3
0000240f: ADD
00002410: SWAP1
00002411: POP
00002412: DUP2
00002413: DUP2
00002414: SUB
00002415: PUSH0
00002416: DUP4
00002417: ADD
00002418: MSTORE
00002419: PUSH2 0x2422
0000241c: DUP2
0000241d: DUP5
0000241e: PUSH2 0x23d2
00002421: JUMP
00002422: JUMPDEST
00002423: SWAP1
00002424: POP
00002425: SWAP3
00002426: SWAP2
00002427: POP
00002428: POP
00002429: JUMP
0000242a: JUMPDEST
0000242b: PUSH0
0000242c: DUP1
0000242d: REVERT
0000242e: JUMPDEST
0000242f: PUSH0
00002430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002445: DUP3
00002446: AND
00002447: SWAP1
00002448: POP
00002449: SWAP2
0000244a: SWAP1
0000244b: POP
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH0
0000244f: PUSH2 0x2457
00002452: DUP3
00002453: PUSH2 0x242e
00002456: JUMP
00002457: JUMPDEST
00002458: SWAP1
00002459: POP
0000245a: SWAP2
0000245b: SWAP1
0000245c: POP
0000245d: JUMP
0000245e: JUMPDEST
0000245f: PUSH2 0x2467
00002462: DUP2
00002463: PUSH2 0x244d
00002466: JUMP
00002467: JUMPDEST
00002468: DUP2
00002469: EQ
0000246a: PUSH2 0x2471
0000246d: JUMPI
0000246e: PUSH0
0000246f: DUP1
00002470: REVERT
00002471: JUMPDEST
00002472: POP
00002473: JUMP
00002474: JUMPDEST
00002475: PUSH0
00002476: DUP2
00002477: CALLDATALOAD
00002478: SWAP1
00002479: POP
0000247a: PUSH2 0x2482
0000247d: DUP2
0000247e: PUSH2 0x245e
00002481: JUMP
00002482: JUMPDEST
00002483: SWAP3
00002484: SWAP2
00002485: POP
00002486: POP
00002487: JUMP
00002488: JUMPDEST
00002489: PUSH0
0000248a: DUP2
0000248b: SWAP1
0000248c: POP
0000248d: SWAP2
0000248e: SWAP1
0000248f: POP
00002490: JUMP
00002491: JUMPDEST
00002492: PUSH2 0x249a
00002495: DUP2
00002496: PUSH2 0x2488
00002499: JUMP
0000249a: JUMPDEST
0000249b: DUP2
0000249c: EQ
0000249d: PUSH2 0x24a4
000024a0: JUMPI
000024a1: PUSH0
000024a2: DUP1
000024a3: REVERT
000024a4: JUMPDEST
000024a5: POP
000024a6: JUMP
000024a7: JUMPDEST
000024a8: PUSH0
000024a9: DUP2
000024aa: CALLDATALOAD
000024ab: SWAP1
000024ac: POP
000024ad: PUSH2 0x24b5
000024b0: DUP2
000024b1: PUSH2 0x2491
000024b4: JUMP
000024b5: JUMPDEST
000024b6: SWAP3
000024b7: SWAP2
000024b8: POP
000024b9: POP
000024ba: JUMP
000024bb: JUMPDEST
000024bc: PUSH0
000024bd: DUP1
000024be: PUSH1 0x40
000024c0: DUP4
000024c1: DUP6
000024c2: SUB
000024c3: SLT
000024c4: ISZERO
000024c5: PUSH2 0x24d1
000024c8: JUMPI
000024c9: PUSH2 0x24d0
000024cc: PUSH2 0x242a
000024cf: JUMP
000024d0: JUMPDEST
000024d1: JUMPDEST
000024d2: PUSH0
000024d3: PUSH2 0x24de
000024d6: DUP6
000024d7: DUP3
000024d8: DUP7
000024d9: ADD
000024da: PUSH2 0x2474
000024dd: JUMP
000024de: JUMPDEST
000024df: SWAP3
000024e0: POP
000024e1: POP
000024e2: PUSH1 0x20
000024e4: PUSH2 0x24ef
000024e7: DUP6
000024e8: DUP3
000024e9: DUP7
000024ea: ADD
000024eb: PUSH2 0x24a7
000024ee: JUMP
000024ef: JUMPDEST
000024f0: SWAP2
000024f1: POP
000024f2: POP
000024f3: SWAP3
000024f4: POP
000024f5: SWAP3
000024f6: SWAP1
000024f7: POP
000024f8: JUMP
000024f9: JUMPDEST
000024fa: PUSH0
000024fb: DUP2
000024fc: ISZERO
000024fd: ISZERO
000024fe: SWAP1
000024ff: POP
00002500: SWAP2
00002501: SWAP1
00002502: POP
00002503: JUMP
00002504: JUMPDEST
00002505: PUSH2 0x250d
00002508: DUP2
00002509: PUSH2 0x24f9
0000250c: JUMP
0000250d: JUMPDEST
0000250e: DUP3
0000250f: MSTORE
00002510: POP
00002511: POP
00002512: JUMP
00002513: JUMPDEST
00002514: PUSH0
00002515: PUSH1 0x20
00002517: DUP3
00002518: ADD
00002519: SWAP1
0000251a: POP
0000251b: PUSH2 0x2526
0000251e: PUSH0
0000251f: DUP4
00002520: ADD
00002521: DUP5
00002522: PUSH2 0x2504
00002525: JUMP
00002526: JUMPDEST
00002527: SWAP3
00002528: SWAP2
00002529: POP
0000252a: POP
0000252b: JUMP
0000252c: JUMPDEST
0000252d: PUSH2 0x2535
00002530: DUP2
00002531: PUSH2 0x2488
00002534: JUMP
00002535: JUMPDEST
00002536: DUP3
00002537: MSTORE
00002538: POP
00002539: POP
0000253a: JUMP
0000253b: JUMPDEST
0000253c: PUSH0
0000253d: PUSH1 0x20
0000253f: DUP3
00002540: ADD
00002541: SWAP1
00002542: POP
00002543: PUSH2 0x254e
00002546: PUSH0
00002547: DUP4
00002548: ADD
00002549: DUP5
0000254a: PUSH2 0x252c
0000254d: JUMP
0000254e: JUMPDEST
0000254f: SWAP3
00002550: SWAP2
00002551: POP
00002552: POP
00002553: JUMP
00002554: JUMPDEST
00002555: PUSH0
00002556: DUP1
00002557: PUSH0
00002558: PUSH1 0x60
0000255a: DUP5
0000255b: DUP7
0000255c: SUB
0000255d: SLT
0000255e: ISZERO
0000255f: PUSH2 0x256b
00002562: JUMPI
00002563: PUSH2 0x256a
00002566: PUSH2 0x242a
00002569: JUMP
0000256a: JUMPDEST
0000256b: JUMPDEST
0000256c: PUSH0
0000256d: PUSH2 0x2578
00002570: DUP7
00002571: DUP3
00002572: DUP8
00002573: ADD
00002574: PUSH2 0x2474
00002577: JUMP
00002578: JUMPDEST
00002579: SWAP4
0000257a: POP
0000257b: POP
0000257c: PUSH1 0x20
0000257e: PUSH2 0x2589
00002581: DUP7
00002582: DUP3
00002583: DUP8
00002584: ADD
00002585: PUSH2 0x2474
00002588: JUMP
00002589: JUMPDEST
0000258a: SWAP3
0000258b: POP
0000258c: POP
0000258d: PUSH1 0x40
0000258f: PUSH2 0x259a
00002592: DUP7
00002593: DUP3
00002594: DUP8
00002595: ADD
00002596: PUSH2 0x24a7
00002599: JUMP
0000259a: JUMPDEST
0000259b: SWAP2
0000259c: POP
0000259d: POP
0000259e: SWAP3
0000259f: POP
000025a0: SWAP3
000025a1: POP
000025a2: SWAP3
000025a3: JUMP
000025a4: JUMPDEST
000025a5: PUSH0
000025a6: PUSH1 0xff
000025a8: DUP3
000025a9: AND
000025aa: SWAP1
000025ab: POP
000025ac: SWAP2
000025ad: SWAP1
000025ae: POP
000025af: JUMP
000025b0: JUMPDEST
000025b1: PUSH2 0x25b9
000025b4: DUP2
000025b5: PUSH2 0x25a4
000025b8: JUMP
000025b9: JUMPDEST
000025ba: DUP3
000025bb: MSTORE
000025bc: POP
000025bd: POP
000025be: JUMP
000025bf: JUMPDEST
000025c0: PUSH0
000025c1: PUSH1 0x20
000025c3: DUP3
000025c4: ADD
000025c5: SWAP1
000025c6: POP
000025c7: PUSH2 0x25d2
000025ca: PUSH0
000025cb: DUP4
000025cc: ADD
000025cd: DUP5
000025ce: PUSH2 0x25b0
000025d1: JUMP
000025d2: JUMPDEST
000025d3: SWAP3
000025d4: SWAP2
000025d5: POP
000025d6: POP
000025d7: JUMP
000025d8: JUMPDEST
000025d9: PUSH2 0x25e1
000025dc: DUP2
000025dd: PUSH2 0x244d
000025e0: JUMP
000025e1: JUMPDEST
000025e2: DUP3
000025e3: MSTORE
000025e4: POP
000025e5: POP
000025e6: JUMP
000025e7: JUMPDEST
000025e8: PUSH0
000025e9: PUSH1 0x20
000025eb: DUP3
000025ec: ADD
000025ed: SWAP1
000025ee: POP
000025ef: PUSH2 0x25fa
000025f2: PUSH0
000025f3: DUP4
000025f4: ADD
000025f5: DUP5
000025f6: PUSH2 0x25d8
000025f9: JUMP
000025fa: JUMPDEST
000025fb: SWAP3
000025fc: SWAP2
000025fd: POP
000025fe: POP
000025ff: JUMP
00002600: JUMPDEST
00002601: PUSH0
00002602: PUSH1 0x20
00002604: DUP3
00002605: DUP5
00002606: SUB
00002607: SLT
00002608: ISZERO
00002609: PUSH2 0x2615
0000260c: JUMPI
0000260d: PUSH2 0x2614
00002610: PUSH2 0x242a
00002613: JUMP
00002614: JUMPDEST
00002615: JUMPDEST
00002616: PUSH0
00002617: PUSH2 0x2622
0000261a: DUP5
0000261b: DUP3
0000261c: DUP6
0000261d: ADD
0000261e: PUSH2 0x2474
00002621: JUMP
00002622: JUMPDEST
00002623: SWAP2
00002624: POP
00002625: POP
00002626: SWAP3
00002627: SWAP2
00002628: POP
00002629: POP
0000262a: JUMP
0000262b: JUMPDEST
0000262c: PUSH0
0000262d: DUP1
0000262e: PUSH1 0x40
00002630: DUP4
00002631: DUP6
00002632: SUB
00002633: SLT
00002634: ISZERO
00002635: PUSH2 0x2641
00002638: JUMPI
00002639: PUSH2 0x2640
0000263c: PUSH2 0x242a
0000263f: JUMP
00002640: JUMPDEST
00002641: JUMPDEST
00002642: PUSH0
00002643: PUSH2 0x264e
00002646: DUP6
00002647: DUP3
00002648: DUP7
00002649: ADD
0000264a: PUSH2 0x2474
0000264d: JUMP
0000264e: JUMPDEST
0000264f: SWAP3
00002650: POP
00002651: POP
00002652: PUSH1 0x20
00002654: PUSH2 0x265f
00002657: DUP6
00002658: DUP3
00002659: DUP7
0000265a: ADD
0000265b: PUSH2 0x2474
0000265e: JUMP
0000265f: JUMPDEST
00002660: SWAP2
00002661: POP
00002662: POP
00002663: SWAP3
00002664: POP
00002665: SWAP3
00002666: SWAP1
00002667: POP
00002668: JUMP
00002669: JUMPDEST
0000266a: PUSH0
0000266b: DUP2
0000266c: SWAP1
0000266d: POP
0000266e: SWAP2
0000266f: SWAP1
00002670: POP
00002671: JUMP
00002672: JUMPDEST
00002673: PUSH0
00002674: PUSH2 0x268c
00002677: PUSH2 0x2687
0000267a: PUSH2 0x2682
0000267d: DUP5
0000267e: PUSH2 0x242e
00002681: JUMP
00002682: JUMPDEST
00002683: PUSH2 0x2669
00002686: JUMP
00002687: JUMPDEST
00002688: PUSH2 0x242e
0000268b: JUMP
0000268c: JUMPDEST
0000268d: SWAP1
0000268e: POP
0000268f: SWAP2
00002690: SWAP1
00002691: POP
00002692: JUMP
00002693: JUMPDEST
00002694: PUSH0
00002695: PUSH2 0x269d
00002698: DUP3
00002699: PUSH2 0x2672
0000269c: JUMP
0000269d: JUMPDEST
0000269e: SWAP1
0000269f: POP
000026a0: SWAP2
000026a1: SWAP1
000026a2: POP
000026a3: JUMP
000026a4: JUMPDEST
000026a5: PUSH0
000026a6: PUSH2 0x26ae
000026a9: DUP3
000026aa: PUSH2 0x2693
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP1
000026b0: POP
000026b1: SWAP2
000026b2: SWAP1
000026b3: POP
000026b4: JUMP
000026b5: JUMPDEST
000026b6: PUSH2 0x26be
000026b9: DUP2
000026ba: PUSH2 0x26a4
000026bd: JUMP
000026be: JUMPDEST
000026bf: DUP3
000026c0: MSTORE
000026c1: POP
000026c2: POP
000026c3: JUMP
000026c4: JUMPDEST
000026c5: PUSH0
000026c6: PUSH1 0x20
000026c8: DUP3
000026c9: ADD
000026ca: SWAP1
000026cb: POP
000026cc: PUSH2 0x26d7
000026cf: PUSH0
000026d0: DUP4
000026d1: ADD
000026d2: DUP5
000026d3: PUSH2 0x26b5
000026d6: JUMP
000026d7: JUMPDEST
000026d8: SWAP3
000026d9: SWAP2
000026da: POP
000026db: POP
000026dc: JUMP
000026dd: JUMPDEST
000026de: PUSH0
000026df: PUSH1 0x60
000026e1: DUP3
000026e2: ADD
000026e3: SWAP1
000026e4: POP
000026e5: PUSH2 0x26f0
000026e8: PUSH0
000026e9: DUP4
000026ea: ADD
000026eb: DUP7
000026ec: PUSH2 0x252c
000026ef: JUMP
000026f0: JUMPDEST
000026f1: PUSH2 0x26fd
000026f4: PUSH1 0x20
000026f6: DUP4
000026f7: ADD
000026f8: DUP6
000026f9: PUSH2 0x252c
000026fc: JUMP
000026fd: JUMPDEST
000026fe: PUSH2 0x270a
00002701: PUSH1 0x40
00002703: DUP4
00002704: ADD
00002705: DUP5
00002706: PUSH2 0x2504
00002709: JUMP
0000270a: JUMPDEST
0000270b: SWAP5
0000270c: SWAP4
0000270d: POP
0000270e: POP
0000270f: POP
00002710: POP
00002711: JUMP
00002712: JUMPDEST
00002713: PUSH0
00002714: PUSH1 0x09
00002716: SWAP1
00002717: POP
00002718: SWAP2
00002719: SWAP1
0000271a: POP
0000271b: JUMP
0000271c: JUMPDEST
0000271d: PUSH0
0000271e: DUP2
0000271f: SWAP1
00002720: POP
00002721: SWAP3
00002722: SWAP2
00002723: POP
00002724: POP
00002725: JUMP
00002726: JUMPDEST
00002727: PUSH0
00002728: DUP2
00002729: SWAP1
0000272a: POP
0000272b: SWAP2
0000272c: SWAP1
0000272d: POP
0000272e: JUMP
0000272f: JUMPDEST
00002730: PUSH2 0x2738
00002733: DUP2
00002734: PUSH2 0x2488
00002737: JUMP
00002738: JUMPDEST
00002739: DUP3
0000273a: MSTORE
0000273b: POP
0000273c: POP
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH0
00002740: PUSH2 0x2749
00002743: DUP4
00002744: DUP4
00002745: PUSH2 0x272f
00002748: JUMP
00002749: JUMPDEST
0000274a: PUSH1 0x20
0000274c: DUP4
0000274d: ADD
0000274e: SWAP1
0000274f: POP
00002750: SWAP3
00002751: SWAP2
00002752: POP
00002753: POP
00002754: JUMP
00002755: JUMPDEST
00002756: PUSH0
00002757: PUSH1 0x20
00002759: DUP3
0000275a: ADD
0000275b: SWAP1
0000275c: POP
0000275d: SWAP2
0000275e: SWAP1
0000275f: POP
00002760: JUMP
00002761: JUMPDEST
00002762: PUSH2 0x276a
00002765: DUP2
00002766: PUSH2 0x2712
00002769: JUMP
0000276a: JUMPDEST
0000276b: PUSH2 0x2774
0000276e: DUP2
0000276f: DUP5
00002770: PUSH2 0x271c
00002773: JUMP
00002774: JUMPDEST
00002775: SWAP3
00002776: POP
00002777: PUSH2 0x277f
0000277a: DUP3
0000277b: PUSH2 0x2726
0000277e: JUMP
0000277f: JUMPDEST
00002780: DUP1
00002781: PUSH0
00002782: JUMPDEST
00002783: DUP4
00002784: DUP2
00002785: LT
00002786: ISZERO
00002787: PUSH2 0x27af
0000278a: JUMPI
0000278b: DUP2
0000278c: MLOAD
0000278d: PUSH2 0x2796
00002790: DUP8
00002791: DUP3
00002792: PUSH2 0x273e
00002795: JUMP
00002796: JUMPDEST
00002797: SWAP7
00002798: POP
00002799: PUSH2 0x27a1
0000279c: DUP4
0000279d: PUSH2 0x2755
000027a0: JUMP
000027a1: JUMPDEST
000027a2: SWAP3
000027a3: POP
000027a4: POP
000027a5: PUSH1 0x01
000027a7: DUP2
000027a8: ADD
000027a9: SWAP1
000027aa: POP
000027ab: PUSH2 0x2782
000027ae: JUMP
000027af: JUMPDEST
000027b0: POP
000027b1: POP
000027b2: POP
000027b3: POP
000027b4: POP
000027b5: POP
000027b6: JUMP
000027b7: JUMPDEST
000027b8: PUSH0
000027b9: PUSH2 0x0120
000027bc: DUP3
000027bd: ADD
000027be: SWAP1
000027bf: POP
000027c0: PUSH2 0x27cb
000027c3: PUSH0
000027c4: DUP4
000027c5: ADD
000027c6: DUP5
000027c7: PUSH2 0x2761
000027ca: JUMP
000027cb: JUMPDEST
000027cc: SWAP3
000027cd: SWAP2
000027ce: POP
000027cf: POP
000027d0: JUMP
000027d1: JUMPDEST
000027d2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000027f3: PUSH0
000027f4: MSTORE
000027f5: PUSH1 0x22
000027f7: PUSH1 0x04
000027f9: MSTORE
000027fa: PUSH1 0x24
000027fc: PUSH0
000027fd: REVERT
000027fe: JUMPDEST
000027ff: PUSH0
00002800: PUSH1 0x02
00002802: DUP3
00002803: DIV
00002804: SWAP1
00002805: POP
00002806: PUSH1 0x01
00002808: DUP3
00002809: AND
0000280a: DUP1
0000280b: PUSH2 0x2815
0000280e: JUMPI
0000280f: PUSH1 0x7f
00002811: DUP3
00002812: AND
00002813: SWAP2
00002814: POP
00002815: JUMPDEST
00002816: PUSH1 0x20
00002818: DUP3
00002819: LT
0000281a: DUP2
0000281b: SUB
0000281c: PUSH2 0x2828
0000281f: JUMPI
00002820: PUSH2 0x2827
00002823: PUSH2 0x27d1
00002826: JUMP
00002827: JUMPDEST
00002828: JUMPDEST
00002829: POP
0000282a: SWAP2
0000282b: SWAP1
0000282c: POP
0000282d: JUMP
0000282e: JUMPDEST
0000282f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002850: PUSH0
00002851: MSTORE
00002852: PUSH1 0x11
00002854: PUSH1 0x04
00002856: MSTORE
00002857: PUSH1 0x24
00002859: PUSH0
0000285a: REVERT
0000285b: JUMPDEST
0000285c: PUSH0
0000285d: PUSH2 0x2865
00002860: DUP3
00002861: PUSH2 0x2488
00002864: JUMP
00002865: JUMPDEST
00002866: SWAP2
00002867: POP
00002868: PUSH2 0x2870
0000286b: DUP4
0000286c: PUSH2 0x2488
0000286f: JUMP
00002870: JUMPDEST
00002871: SWAP3
00002872: POP
00002873: DUP3
00002874: DUP3
00002875: MUL
00002876: PUSH2 0x287e
00002879: DUP2
0000287a: PUSH2 0x2488
0000287d: JUMP
0000287e: JUMPDEST
0000287f: SWAP2
00002880: POP
00002881: DUP3
00002882: DUP3
00002883: DIV
00002884: DUP5
00002885: EQ
00002886: DUP4
00002887: ISZERO
00002888: OR
00002889: PUSH2 0x2895
0000288c: JUMPI
0000288d: PUSH2 0x2894
00002890: PUSH2 0x282e
00002893: JUMP
00002894: JUMPDEST
00002895: JUMPDEST
00002896: POP
00002897: SWAP3
00002898: SWAP2
00002899: POP
0000289a: POP
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000028be: PUSH0
000028bf: MSTORE
000028c0: PUSH1 0x12
000028c2: PUSH1 0x04
000028c4: MSTORE
000028c5: PUSH1 0x24
000028c7: PUSH0
000028c8: REVERT
000028c9: JUMPDEST
000028ca: PUSH0
000028cb: PUSH2 0x28d3
000028ce: DUP3
000028cf: PUSH2 0x2488
000028d2: JUMP
000028d3: JUMPDEST
000028d4: SWAP2
000028d5: POP
000028d6: PUSH2 0x28de
000028d9: DUP4
000028da: PUSH2 0x2488
000028dd: JUMP
000028de: JUMPDEST
000028df: SWAP3
000028e0: POP
000028e1: DUP3
000028e2: PUSH2 0x28ee
000028e5: JUMPI
000028e6: PUSH2 0x28ed
000028e9: PUSH2 0x289c
000028ec: JUMP
000028ed: JUMPDEST
000028ee: JUMPDEST
000028ef: DUP3
000028f0: DUP3
000028f1: DIV
000028f2: SWAP1
000028f3: POP
000028f4: SWAP3
000028f5: SWAP2
000028f6: POP
000028f7: POP
000028f8: JUMP
000028f9: JUMPDEST
000028fa: PUSH0
000028fb: PUSH2 0x2903
000028fe: DUP3
000028ff: PUSH2 0x2488
00002902: JUMP
00002903: JUMPDEST
00002904: SWAP2
00002905: POP
00002906: PUSH2 0x290e
00002909: DUP4
0000290a: PUSH2 0x2488
0000290d: JUMP
0000290e: JUMPDEST
0000290f: SWAP3
00002910: POP
00002911: DUP3
00002912: DUP3
00002913: ADD
00002914: SWAP1
00002915: POP
00002916: DUP1
00002917: DUP3
00002918: GT
00002919: ISZERO
0000291a: PUSH2 0x2926
0000291d: JUMPI
0000291e: PUSH2 0x2925
00002921: PUSH2 0x282e
00002924: JUMP
00002925: JUMPDEST
00002926: JUMPDEST
00002927: SWAP3
00002928: SWAP2
00002929: POP
0000292a: POP
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH32 0x656d657267656e637920636c61696d206e6f7420616c6c6f77656420756e7469
0000294e: PUSH0
0000294f: DUP3
00002950: ADD
00002951: MSTORE
00002952: PUSH32 0x6c2031206461792061667465722074686520626f6e64696e6720706572696f64
00002973: PUSH1 0x20
00002975: DUP3
00002976: ADD
00002977: MSTORE
00002978: PUSH32 0x20656e6473000000000000000000000000000000000000000000000000000000
00002999: PUSH1 0x40
0000299b: DUP3
0000299c: ADD
0000299d: MSTORE
0000299e: POP
0000299f: JUMP
000029a0: JUMPDEST
000029a1: PUSH0
000029a2: PUSH2 0x29ac
000029a5: PUSH1 0x45
000029a7: DUP4
000029a8: PUSH2 0x238a
000029ab: JUMP
000029ac: JUMPDEST
000029ad: SWAP2
000029ae: POP
000029af: PUSH2 0x29b7
000029b2: DUP3
000029b3: PUSH2 0x292c
000029b6: JUMP
000029b7: JUMPDEST
000029b8: PUSH1 0x60
000029ba: DUP3
000029bb: ADD
000029bc: SWAP1
000029bd: POP
000029be: SWAP2
000029bf: SWAP1
000029c0: POP
000029c1: JUMP
000029c2: JUMPDEST
000029c3: PUSH0
000029c4: PUSH1 0x20
000029c6: DUP3
000029c7: ADD
000029c8: SWAP1
000029c9: POP
000029ca: DUP2
000029cb: DUP2
000029cc: SUB
000029cd: PUSH0
000029ce: DUP4
000029cf: ADD
000029d0: MSTORE
000029d1: PUSH2 0x29d9
000029d4: DUP2
000029d5: PUSH2 0x29a0
000029d8: JUMP
000029d9: JUMPDEST
000029da: SWAP1
000029db: POP
000029dc: SWAP2
000029dd: SWAP1
000029de: POP
000029df: JUMP
000029e0: JUMPDEST
000029e1: PUSH32 0x6c697175696469747920686173206265656e206465706c6f7965642073756363
00002a02: PUSH0
00002a03: DUP3
00002a04: ADD
00002a05: MSTORE
00002a06: PUSH32 0x657366756c6c792c20656d657267656e637920636c61696d2077696c6c206e65
00002a27: PUSH1 0x20
00002a29: DUP3
00002a2a: ADD
00002a2b: MSTORE
00002a2c: PUSH32 0x76657220626520706f737369626c650000000000000000000000000000000000
00002a4d: PUSH1 0x40
00002a4f: DUP3
00002a50: ADD
00002a51: MSTORE
00002a52: POP
00002a53: JUMP
00002a54: JUMPDEST
00002a55: PUSH0
00002a56: PUSH2 0x2a60
00002a59: PUSH1 0x4f
00002a5b: DUP4
00002a5c: PUSH2 0x238a
00002a5f: JUMP
00002a60: JUMPDEST
00002a61: SWAP2
00002a62: POP
00002a63: PUSH2 0x2a6b
00002a66: DUP3
00002a67: PUSH2 0x29e0
00002a6a: JUMP
00002a6b: JUMPDEST
00002a6c: PUSH1 0x60
00002a6e: DUP3
00002a6f: ADD
00002a70: SWAP1
00002a71: POP
00002a72: SWAP2
00002a73: SWAP1
00002a74: POP
00002a75: JUMP
00002a76: JUMPDEST
00002a77: PUSH0
00002a78: PUSH1 0x20
00002a7a: DUP3
00002a7b: ADD
00002a7c: SWAP1
00002a7d: POP
00002a7e: DUP2
00002a7f: DUP2
00002a80: SUB
00002a81: PUSH0
00002a82: DUP4
00002a83: ADD
00002a84: MSTORE
00002a85: PUSH2 0x2a8d
00002a88: DUP2
00002a89: PUSH2 0x2a54
00002a8c: JUMP
00002a8d: JUMPDEST
00002a8e: SWAP1
00002a8f: POP
00002a90: SWAP2
00002a91: SWAP1
00002a92: POP
00002a93: JUMP
00002a94: JUMPDEST
00002a95: PUSH32 0x416c726561647920636c61696d65640000000000000000000000000000000000
00002ab6: PUSH0
00002ab7: DUP3
00002ab8: ADD
00002ab9: MSTORE
00002aba: POP
00002abb: JUMP
00002abc: JUMPDEST
00002abd: PUSH0
00002abe: PUSH2 0x2ac8
00002ac1: PUSH1 0x0f
00002ac3: DUP4
00002ac4: PUSH2 0x238a
00002ac7: JUMP
00002ac8: JUMPDEST
00002ac9: SWAP2
00002aca: POP
00002acb: PUSH2 0x2ad3
00002ace: DUP3
00002acf: PUSH2 0x2a94
00002ad2: JUMP
00002ad3: JUMPDEST
00002ad4: PUSH1 0x20
00002ad6: DUP3
00002ad7: ADD
00002ad8: SWAP1
00002ad9: POP
00002ada: SWAP2
00002adb: SWAP1
00002adc: POP
00002add: JUMP
00002ade: JUMPDEST
00002adf: PUSH0
00002ae0: PUSH1 0x20
00002ae2: DUP3
00002ae3: ADD
00002ae4: SWAP1
00002ae5: POP
00002ae6: DUP2
00002ae7: DUP2
00002ae8: SUB
00002ae9: PUSH0
00002aea: DUP4
00002aeb: ADD
00002aec: MSTORE
00002aed: PUSH2 0x2af5
00002af0: DUP2
00002af1: PUSH2 0x2abc
00002af4: JUMP
00002af5: JUMPDEST
00002af6: SWAP1
00002af7: POP
00002af8: SWAP2
00002af9: SWAP1
00002afa: POP
00002afb: JUMP
00002afc: JUMPDEST
00002afd: PUSH0
00002afe: PUSH1 0x40
00002b00: DUP3
00002b01: ADD
00002b02: SWAP1
00002b03: POP
00002b04: PUSH2 0x2b0f
00002b07: PUSH0
00002b08: DUP4
00002b09: ADD
00002b0a: DUP6
00002b0b: PUSH2 0x252c
00002b0e: JUMP
00002b0f: JUMPDEST
00002b10: PUSH2 0x2b1c
00002b13: PUSH1 0x20
00002b15: DUP4
00002b16: ADD
00002b17: DUP5
00002b18: PUSH2 0x252c
00002b1b: JUMP
00002b1c: JUMPDEST
00002b1d: SWAP4
00002b1e: SWAP3
00002b1f: POP
00002b20: POP
00002b21: POP
00002b22: JUMP
00002b23: JUMPDEST
00002b24: PUSH32 0x426f6e64696e6720706572696f642068617320656e6465640000000000000000
00002b45: PUSH0
00002b46: DUP3
00002b47: ADD
00002b48: MSTORE
00002b49: POP
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: PUSH0
00002b4d: PUSH2 0x2b57
00002b50: PUSH1 0x18
00002b52: DUP4
00002b53: PUSH2 0x238a
00002b56: JUMP
00002b57: JUMPDEST
00002b58: SWAP2
00002b59: POP
00002b5a: PUSH2 0x2b62
00002b5d: DUP3
00002b5e: PUSH2 0x2b23
00002b61: JUMP
00002b62: JUMPDEST
00002b63: PUSH1 0x20
00002b65: DUP3
00002b66: ADD
00002b67: SWAP1
00002b68: POP
00002b69: SWAP2
00002b6a: SWAP1
00002b6b: POP
00002b6c: JUMP
00002b6d: JUMPDEST
00002b6e: PUSH0
00002b6f: PUSH1 0x20
00002b71: DUP3
00002b72: ADD
00002b73: SWAP1
00002b74: POP
00002b75: DUP2
00002b76: DUP2
00002b77: SUB
00002b78: PUSH0
00002b79: DUP4
00002b7a: ADD
00002b7b: MSTORE
00002b7c: PUSH2 0x2b84
00002b7f: DUP2
00002b80: PUSH2 0x2b4b
00002b83: JUMP
00002b84: JUMPDEST
00002b85: SWAP1
00002b86: POP
00002b87: SWAP2
00002b88: SWAP1
00002b89: POP
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH32 0x43616e206f6e6c7920626f6e64206f6e63650000000000000000000000000000
00002bad: PUSH0
00002bae: DUP3
00002baf: ADD
00002bb0: MSTORE
00002bb1: POP
00002bb2: JUMP
00002bb3: JUMPDEST
00002bb4: PUSH0
00002bb5: PUSH2 0x2bbf
00002bb8: PUSH1 0x12
00002bba: DUP4
00002bbb: PUSH2 0x238a
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: SWAP2
00002bc1: POP
00002bc2: PUSH2 0x2bca
00002bc5: DUP3
00002bc6: PUSH2 0x2b8b
00002bc9: JUMP
00002bca: JUMPDEST
00002bcb: PUSH1 0x20
00002bcd: DUP3
00002bce: ADD
00002bcf: SWAP1
00002bd0: POP
00002bd1: SWAP2
00002bd2: SWAP1
00002bd3: POP
00002bd4: JUMP
00002bd5: JUMPDEST
00002bd6: PUSH0
00002bd7: PUSH1 0x20
00002bd9: DUP3
00002bda: ADD
00002bdb: SWAP1
00002bdc: POP
00002bdd: DUP2
00002bde: DUP2
00002bdf: SUB
00002be0: PUSH0
00002be1: DUP4
00002be2: ADD
00002be3: MSTORE
00002be4: PUSH2 0x2bec
00002be7: DUP2
00002be8: PUSH2 0x2bb3
00002beb: JUMP
00002bec: JUMPDEST
00002bed: SWAP1
00002bee: POP
00002bef: SWAP2
00002bf0: SWAP1
00002bf1: POP
00002bf2: JUMP
00002bf3: JUMPDEST
00002bf4: PUSH32 0x43616e6e6f7420626f6e64207a65726f20657468000000000000000000000000
00002c15: PUSH0
00002c16: DUP3
00002c17: ADD
00002c18: MSTORE
00002c19: POP
00002c1a: JUMP
00002c1b: JUMPDEST
00002c1c: PUSH0
00002c1d: PUSH2 0x2c27
00002c20: PUSH1 0x14
00002c22: DUP4
00002c23: PUSH2 0x238a
00002c26: JUMP
00002c27: JUMPDEST
00002c28: SWAP2
00002c29: POP
00002c2a: PUSH2 0x2c32
00002c2d: DUP3
00002c2e: PUSH2 0x2bf3
00002c31: JUMP
00002c32: JUMPDEST
00002c33: PUSH1 0x20
00002c35: DUP3
00002c36: ADD
00002c37: SWAP1
00002c38: POP
00002c39: SWAP2
00002c3a: SWAP1
00002c3b: POP
00002c3c: JUMP
00002c3d: JUMPDEST
00002c3e: PUSH0
00002c3f: PUSH1 0x20
00002c41: DUP3
00002c42: ADD
00002c43: SWAP1
00002c44: POP
00002c45: DUP2
00002c46: DUP2
00002c47: SUB
00002c48: PUSH0
00002c49: DUP4
00002c4a: ADD
00002c4b: MSTORE
00002c4c: PUSH2 0x2c54
00002c4f: DUP2
00002c50: PUSH2 0x2c1b
00002c53: JUMP
00002c54: JUMPDEST
00002c55: SWAP1
00002c56: POP
00002c57: SWAP2
00002c58: SWAP1
00002c59: POP
00002c5a: JUMP
00002c5b: JUMPDEST
00002c5c: PUSH0
00002c5d: PUSH2 0x2c65
00002c60: DUP3
00002c61: PUSH2 0x2488
00002c64: JUMP
00002c65: JUMPDEST
00002c66: SWAP2
00002c67: POP
00002c68: PUSH2 0x2c70
00002c6b: DUP4
00002c6c: PUSH2 0x2488
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: SWAP3
00002c72: POP
00002c73: DUP3
00002c74: DUP3
00002c75: SUB
00002c76: SWAP1
00002c77: POP
00002c78: DUP2
00002c79: DUP2
00002c7a: GT
00002c7b: ISZERO
00002c7c: PUSH2 0x2c88
00002c7f: JUMPI
00002c80: PUSH2 0x2c87
00002c83: PUSH2 0x282e
00002c86: JUMP
00002c87: JUMPDEST
00002c88: JUMPDEST
00002c89: SWAP3
00002c8a: SWAP2
00002c8b: POP
00002c8c: POP
00002c8d: JUMP
00002c8e: JUMPDEST
00002c8f: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00002cb0: PUSH0
00002cb1: DUP3
00002cb2: ADD
00002cb3: MSTORE
00002cb4: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
00002cd5: PUSH1 0x20
00002cd7: DUP3
00002cd8: ADD
00002cd9: MSTORE
00002cda: POP
00002cdb: JUMP
00002cdc: JUMPDEST
00002cdd: PUSH0
00002cde: PUSH2 0x2ce8
00002ce1: PUSH1 0x25
00002ce3: DUP4
00002ce4: PUSH2 0x238a
00002ce7: JUMP
00002ce8: JUMPDEST
00002ce9: SWAP2
00002cea: POP
00002ceb: PUSH2 0x2cf3
00002cee: DUP3
00002cef: PUSH2 0x2c8e
00002cf2: JUMP
00002cf3: JUMPDEST
00002cf4: PUSH1 0x40
00002cf6: DUP3
00002cf7: ADD
00002cf8: SWAP1
00002cf9: POP
00002cfa: SWAP2
00002cfb: SWAP1
00002cfc: POP
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: PUSH0
00002d00: PUSH1 0x20
00002d02: DUP3
00002d03: ADD
00002d04: SWAP1
00002d05: POP
00002d06: DUP2
00002d07: DUP2
00002d08: SUB
00002d09: PUSH0
00002d0a: DUP4
00002d0b: ADD
00002d0c: MSTORE
00002d0d: PUSH2 0x2d15
00002d10: DUP2
00002d11: PUSH2 0x2cdc
00002d14: JUMP
00002d15: JUMPDEST
00002d16: SWAP1
00002d17: POP
00002d18: SWAP2
00002d19: SWAP1
00002d1a: POP
00002d1b: JUMP
00002d1c: JUMPDEST
00002d1d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d3e: PUSH0
00002d3f: MSTORE
00002d40: PUSH1 0x32
00002d42: PUSH1 0x04
00002d44: MSTORE
00002d45: PUSH1 0x24
00002d47: PUSH0
00002d48: REVERT
00002d49: JUMPDEST
00002d4a: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00002d6b: PUSH0
00002d6c: DUP3
00002d6d: ADD
00002d6e: MSTORE
00002d6f: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002d90: PUSH1 0x20
00002d92: DUP3
00002d93: ADD
00002d94: MSTORE
00002d95: POP
00002d96: JUMP
00002d97: JUMPDEST
00002d98: PUSH0
00002d99: PUSH2 0x2da3
00002d9c: PUSH1 0x24
00002d9e: DUP4
00002d9f: PUSH2 0x238a
00002da2: JUMP
00002da3: JUMPDEST
00002da4: SWAP2
00002da5: POP
00002da6: PUSH2 0x2dae
00002da9: DUP3
00002daa: PUSH2 0x2d49
00002dad: JUMP
00002dae: JUMPDEST
00002daf: PUSH1 0x40
00002db1: DUP3
00002db2: ADD
00002db3: SWAP1
00002db4: POP
00002db5: SWAP2
00002db6: SWAP1
00002db7: POP
00002db8: JUMP
00002db9: JUMPDEST
00002dba: PUSH0
00002dbb: PUSH1 0x20
00002dbd: DUP3
00002dbe: ADD
00002dbf: SWAP1
00002dc0: POP
00002dc1: DUP2
00002dc2: DUP2
00002dc3: SUB
00002dc4: PUSH0
00002dc5: DUP4
00002dc6: ADD
00002dc7: MSTORE
00002dc8: PUSH2 0x2dd0
00002dcb: DUP2
00002dcc: PUSH2 0x2d97
00002dcf: JUMP
00002dd0: JUMPDEST
00002dd1: SWAP1
00002dd2: POP
00002dd3: SWAP2
00002dd4: SWAP1
00002dd5: POP
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002df9: PUSH0
00002dfa: DUP3
00002dfb: ADD
00002dfc: MSTORE
00002dfd: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002e1e: PUSH1 0x20
00002e20: DUP3
00002e21: ADD
00002e22: MSTORE
00002e23: POP
00002e24: JUMP
00002e25: JUMPDEST
00002e26: PUSH0
00002e27: PUSH2 0x2e31
00002e2a: PUSH1 0x22
00002e2c: DUP4
00002e2d: PUSH2 0x238a
00002e30: JUMP
00002e31: JUMPDEST
00002e32: SWAP2
00002e33: POP
00002e34: PUSH2 0x2e3c
00002e37: DUP3
00002e38: PUSH2 0x2dd7
00002e3b: JUMP
00002e3c: JUMPDEST
00002e3d: PUSH1 0x40
00002e3f: DUP3
00002e40: ADD
00002e41: SWAP1
00002e42: POP
00002e43: SWAP2
00002e44: SWAP1
00002e45: POP
00002e46: JUMP
00002e47: JUMPDEST
00002e48: PUSH0
00002e49: PUSH1 0x20
00002e4b: DUP3
00002e4c: ADD
00002e4d: SWAP1
00002e4e: POP
00002e4f: DUP2
00002e50: DUP2
00002e51: SUB
00002e52: PUSH0
00002e53: DUP4
00002e54: ADD
00002e55: MSTORE
00002e56: PUSH2 0x2e5e
00002e59: DUP2
00002e5a: PUSH2 0x2e25
00002e5d: JUMP
00002e5e: JUMPDEST
00002e5f: SWAP1
00002e60: POP
00002e61: SWAP2
00002e62: SWAP1
00002e63: POP
00002e64: JUMP
00002e65: JUMPDEST
00002e66: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00002e87: PUSH0
00002e88: DUP3
00002e89: ADD
00002e8a: MSTORE
00002e8b: POP
00002e8c: JUMP
00002e8d: JUMPDEST
00002e8e: PUSH0
00002e8f: PUSH2 0x2e99
00002e92: PUSH1 0x1d
00002e94: DUP4
00002e95: PUSH2 0x238a
00002e98: JUMP
00002e99: JUMPDEST
00002e9a: SWAP2
00002e9b: POP
00002e9c: PUSH2 0x2ea4
00002e9f: DUP3
00002ea0: PUSH2 0x2e65
00002ea3: JUMP
00002ea4: JUMPDEST
00002ea5: PUSH1 0x20
00002ea7: DUP3
00002ea8: ADD
00002ea9: SWAP1
00002eaa: POP
00002eab: SWAP2
00002eac: SWAP1
00002ead: POP
00002eae: JUMP
00002eaf: JUMPDEST
00002eb0: PUSH0
00002eb1: PUSH1 0x20
00002eb3: DUP3
00002eb4: ADD
00002eb5: SWAP1
00002eb6: POP
00002eb7: DUP2
00002eb8: DUP2
00002eb9: SUB
00002eba: PUSH0
00002ebb: DUP4
00002ebc: ADD
00002ebd: MSTORE
00002ebe: PUSH2 0x2ec6
00002ec1: DUP2
00002ec2: PUSH2 0x2e8d
00002ec5: JUMP
00002ec6: JUMPDEST
00002ec7: SWAP1
00002ec8: POP
00002ec9: SWAP2
00002eca: SWAP1
00002ecb: POP
00002ecc: JUMP
00002ecd: JUMPDEST
00002ece: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00002eef: PUSH0
00002ef0: DUP3
00002ef1: ADD
00002ef2: MSTORE
00002ef3: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002f14: PUSH1 0x20
00002f16: DUP3
00002f17: ADD
00002f18: MSTORE
00002f19: POP
00002f1a: JUMP
00002f1b: JUMPDEST
00002f1c: PUSH0
00002f1d: PUSH2 0x2f27
00002f20: PUSH1 0x25
00002f22: DUP4
00002f23: PUSH2 0x238a
00002f26: JUMP
00002f27: JUMPDEST
00002f28: SWAP2
00002f29: POP
00002f2a: PUSH2 0x2f32
00002f2d: DUP3
00002f2e: PUSH2 0x2ecd
00002f31: JUMP
00002f32: JUMPDEST
00002f33: PUSH1 0x40
00002f35: DUP3
00002f36: ADD
00002f37: SWAP1
00002f38: POP
00002f39: SWAP2
00002f3a: SWAP1
00002f3b: POP
00002f3c: JUMP
00002f3d: JUMPDEST
00002f3e: PUSH0
00002f3f: PUSH1 0x20
00002f41: DUP3
00002f42: ADD
00002f43: SWAP1
00002f44: POP
00002f45: DUP2
00002f46: DUP2
00002f47: SUB
00002f48: PUSH0
00002f49: DUP4
00002f4a: ADD
00002f4b: MSTORE
00002f4c: PUSH2 0x2f54
00002f4f: DUP2
00002f50: PUSH2 0x2f1b
00002f53: JUMP
00002f54: JUMPDEST
00002f55: SWAP1
00002f56: POP
00002f57: SWAP2
00002f58: SWAP1
00002f59: POP
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002f7d: PUSH0
00002f7e: DUP3
00002f7f: ADD
00002f80: MSTORE
00002f81: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002fa2: PUSH1 0x20
00002fa4: DUP3
00002fa5: ADD
00002fa6: MSTORE
00002fa7: POP
00002fa8: JUMP
00002fa9: JUMPDEST
00002faa: PUSH0
00002fab: PUSH2 0x2fb5
00002fae: PUSH1 0x23
00002fb0: DUP4
00002fb1: PUSH2 0x238a
00002fb4: JUMP
00002fb5: JUMPDEST
00002fb6: SWAP2
00002fb7: POP
00002fb8: PUSH2 0x2fc0
00002fbb: DUP3
00002fbc: PUSH2 0x2f5b
00002fbf: JUMP
00002fc0: JUMPDEST
00002fc1: PUSH1 0x40
00002fc3: DUP3
00002fc4: ADD
00002fc5: SWAP1
00002fc6: POP
00002fc7: SWAP2
00002fc8: SWAP1
00002fc9: POP
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: PUSH0
00002fcd: PUSH1 0x20
00002fcf: DUP3
00002fd0: ADD
00002fd1: SWAP1
00002fd2: POP
00002fd3: DUP2
00002fd4: DUP2
00002fd5: SUB
00002fd6: PUSH0
00002fd7: DUP4
00002fd8: ADD
00002fd9: MSTORE
00002fda: PUSH2 0x2fe2
00002fdd: DUP2
00002fde: PUSH2 0x2fa9
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: SWAP1
00002fe4: POP
00002fe5: SWAP2
00002fe6: SWAP1
00002fe7: POP
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000300b: PUSH0
0000300c: DUP3
0000300d: ADD
0000300e: MSTORE
0000300f: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00003030: PUSH1 0x20
00003032: DUP3
00003033: ADD
00003034: MSTORE
00003035: POP
00003036: JUMP
00003037: JUMPDEST
00003038: PUSH0
00003039: PUSH2 0x3043
0000303c: PUSH1 0x26
0000303e: DUP4
0000303f: PUSH2 0x238a
00003042: JUMP
00003043: JUMPDEST
00003044: SWAP2
00003045: POP
00003046: PUSH2 0x304e
00003049: DUP3
0000304a: PUSH2 0x2fe9
0000304d: JUMP
0000304e: JUMPDEST
0000304f: PUSH1 0x40
00003051: DUP3
00003052: ADD
00003053: SWAP1
00003054: POP
00003055: SWAP2
00003056: SWAP1
00003057: POP
00003058: JUMP
00003059: JUMPDEST
0000305a: PUSH0
0000305b: PUSH1 0x20
0000305d: DUP3
0000305e: ADD
0000305f: SWAP1
00003060: POP
00003061: DUP2
00003062: DUP2
00003063: SUB
00003064: PUSH0
00003065: DUP4
00003066: ADD
00003067: MSTORE
00003068: PUSH2 0x3070
0000306b: DUP2
0000306c: PUSH2 0x3037
0000306f: JUMP
00003070: JUMPDEST
00003071: SWAP1
00003072: POP
00003073: SWAP2
00003074: SWAP1
00003075: POP
00003076: JUMP
00003077: JUMPDEST
00003078: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00003099: PUSH0
0000309a: DUP3
0000309b: ADD
0000309c: MSTORE
0000309d: POP
0000309e: JUMP
0000309f: JUMPDEST
000030a0: PUSH0
000030a1: PUSH2 0x30ab
000030a4: PUSH1 0x1f
000030a6: DUP4
000030a7: PUSH2 0x238a
000030aa: JUMP
000030ab: JUMPDEST
000030ac: SWAP2
000030ad: POP
000030ae: PUSH2 0x30b6
000030b1: DUP3
000030b2: PUSH2 0x3077
000030b5: JUMP
000030b6: JUMPDEST
000030b7: PUSH1 0x20
000030b9: DUP3
000030ba: ADD
000030bb: SWAP1
000030bc: POP
000030bd: SWAP2
000030be: SWAP1
000030bf: POP
000030c0: JUMP
000030c1: JUMPDEST
000030c2: PUSH0
000030c3: PUSH1 0x20
000030c5: DUP3
000030c6: ADD
000030c7: SWAP1
000030c8: POP
000030c9: DUP2
000030ca: DUP2
000030cb: SUB
000030cc: PUSH0
000030cd: DUP4
000030ce: ADD
000030cf: MSTORE
000030d0: PUSH2 0x30d8
000030d3: DUP2
000030d4: PUSH2 0x309f
000030d7: JUMP
000030d8: JUMPDEST
000030d9: SWAP1
000030da: POP
000030db: SWAP2
000030dc: SWAP1
000030dd: POP
000030de: JUMP
000030df: JUMPDEST
000030e0: PUSH32 0x426f6e64696e6720706572696f64206973206e6f74206f766572207965740000
00003101: PUSH0
00003102: DUP3
00003103: ADD
00003104: MSTORE
00003105: POP
00003106: JUMP
00003107: JUMPDEST
00003108: PUSH0
00003109: PUSH2 0x3113
0000310c: PUSH1 0x1e
0000310e: DUP4
0000310f: PUSH2 0x238a
00003112: JUMP
00003113: JUMPDEST
00003114: SWAP2
00003115: POP
00003116: PUSH2 0x311e
00003119: DUP3
0000311a: PUSH2 0x30df
0000311d: JUMP
0000311e: JUMPDEST
0000311f: PUSH1 0x20
00003121: DUP3
00003122: ADD
00003123: SWAP1
00003124: POP
00003125: SWAP2
00003126: SWAP1
00003127: POP
00003128: JUMP
00003129: JUMPDEST
0000312a: PUSH0
0000312b: PUSH1 0x20
0000312d: DUP3
0000312e: ADD
0000312f: SWAP1
00003130: POP
00003131: DUP2
00003132: DUP2
00003133: SUB
00003134: PUSH0
00003135: DUP4
00003136: ADD
00003137: MSTORE
00003138: PUSH2 0x3140
0000313b: DUP2
0000313c: PUSH2 0x3107
0000313f: JUMP
00003140: JUMPDEST
00003141: SWAP1
00003142: POP
00003143: SWAP2
00003144: SWAP1
00003145: POP
00003146: JUMP
00003147: JUMPDEST
00003148: PUSH32 0x6c69717569646974792068617320616c7265616479206265656e206465706c6f
00003169: PUSH0
0000316a: DUP3
0000316b: ADD
0000316c: MSTORE
0000316d: PUSH32 0x7965640000000000000000000000000000000000000000000000000000000000
0000318e: PUSH1 0x20
00003190: DUP3
00003191: ADD
00003192: MSTORE
00003193: POP
00003194: JUMP
00003195: JUMPDEST
00003196: PUSH0
00003197: PUSH2 0x31a1
0000319a: PUSH1 0x23
0000319c: DUP4
0000319d: PUSH2 0x238a
000031a0: JUMP
000031a1: JUMPDEST
000031a2: SWAP2
000031a3: POP
000031a4: PUSH2 0x31ac
000031a7: DUP3
000031a8: PUSH2 0x3147
000031ab: JUMP
000031ac: JUMPDEST
000031ad: PUSH1 0x40
000031af: DUP3
000031b0: ADD
000031b1: SWAP1
000031b2: POP
000031b3: SWAP2
000031b4: SWAP1
000031b5: POP
000031b6: JUMP
000031b7: JUMPDEST
000031b8: PUSH0
000031b9: PUSH1 0x20
000031bb: DUP3
000031bc: ADD
000031bd: SWAP1
000031be: POP
000031bf: DUP2
000031c0: DUP2
000031c1: SUB
000031c2: PUSH0
000031c3: DUP4
000031c4: ADD
000031c5: MSTORE
000031c6: PUSH2 0x31ce
000031c9: DUP2
000031ca: PUSH2 0x3195
000031cd: JUMP
000031ce: JUMPDEST
000031cf: SWAP1
000031d0: POP
000031d1: SWAP2
000031d2: SWAP1
000031d3: POP
000031d4: JUMP
000031d5: JUMPDEST
000031d6: PUSH0
000031d7: DUP2
000031d8: SWAP1
000031d9: POP
000031da: SWAP2
000031db: SWAP1
000031dc: POP
000031dd: JUMP
000031de: JUMPDEST
000031df: PUSH0
000031e0: PUSH2 0x31f8
000031e3: PUSH2 0x31f3
000031e6: PUSH2 0x31ee
000031e9: DUP5
000031ea: PUSH2 0x31d5
000031ed: JUMP
000031ee: JUMPDEST
000031ef: PUSH2 0x2669
000031f2: JUMP
000031f3: JUMPDEST
000031f4: PUSH2 0x2488
000031f7: JUMP
000031f8: JUMPDEST
000031f9: SWAP1
000031fa: POP
000031fb: SWAP2
000031fc: SWAP1
000031fd: POP
000031fe: JUMP
000031ff: JUMPDEST
00003200: PUSH2 0x3208
00003203: DUP2
00003204: PUSH2 0x31de
00003207: JUMP
00003208: JUMPDEST
00003209: DUP3
0000320a: MSTORE
0000320b: POP
0000320c: POP
0000320d: JUMP
0000320e: JUMPDEST
0000320f: PUSH0
00003210: PUSH1 0xc0
00003212: DUP3
00003213: ADD
00003214: SWAP1
00003215: POP
00003216: PUSH2 0x3221
00003219: PUSH0
0000321a: DUP4
0000321b: ADD
0000321c: DUP10
0000321d: PUSH2 0x25d8
00003220: JUMP
00003221: JUMPDEST
00003222: PUSH2 0x322e
00003225: PUSH1 0x20
00003227: DUP4
00003228: ADD
00003229: DUP9
0000322a: PUSH2 0x252c
0000322d: JUMP
0000322e: JUMPDEST
0000322f: PUSH2 0x323b
00003232: PUSH1 0x40
00003234: DUP4
00003235: ADD
00003236: DUP8
00003237: PUSH2 0x31ff
0000323a: JUMP
0000323b: JUMPDEST
0000323c: PUSH2 0x3248
0000323f: PUSH1 0x60
00003241: DUP4
00003242: ADD
00003243: DUP7
00003244: PUSH2 0x31ff
00003247: JUMP
00003248: JUMPDEST
00003249: PUSH2 0x3255
0000324c: PUSH1 0x80
0000324e: DUP4
0000324f: ADD
00003250: DUP6
00003251: PUSH2 0x25d8
00003254: JUMP
00003255: JUMPDEST
00003256: PUSH2 0x3262
00003259: PUSH1 0xa0
0000325b: DUP4
0000325c: ADD
0000325d: DUP5
0000325e: PUSH2 0x252c
00003261: JUMP
00003262: JUMPDEST
00003263: SWAP8
00003264: SWAP7
00003265: POP
00003266: POP
00003267: POP
00003268: POP
00003269: POP
0000326a: POP
0000326b: POP
0000326c: JUMP
0000326d: JUMPDEST
0000326e: PUSH0
0000326f: DUP2
00003270: MLOAD
00003271: SWAP1
00003272: POP
00003273: PUSH2 0x327b
00003276: DUP2
00003277: PUSH2 0x2491
0000327a: JUMP
0000327b: JUMPDEST
0000327c: SWAP3
0000327d: SWAP2
0000327e: POP
0000327f: POP
00003280: JUMP
00003281: JUMPDEST
00003282: PUSH0
00003283: DUP1
00003284: PUSH0
00003285: PUSH1 0x60
00003287: DUP5
00003288: DUP7
00003289: SUB
0000328a: SLT
0000328b: ISZERO
0000328c: PUSH2 0x3298
0000328f: JUMPI
00003290: PUSH2 0x3297
00003293: PUSH2 0x242a
00003296: JUMP
00003297: JUMPDEST
00003298: JUMPDEST
00003299: PUSH0
0000329a: PUSH2 0x32a5
0000329d: DUP7
0000329e: DUP3
0000329f: DUP8
000032a0: ADD
000032a1: PUSH2 0x326d
000032a4: JUMP
000032a5: JUMPDEST
000032a6: SWAP4
000032a7: POP
000032a8: POP
000032a9: PUSH1 0x20
000032ab: PUSH2 0x32b6
000032ae: DUP7
000032af: DUP3
000032b0: DUP8
000032b1: ADD
000032b2: PUSH2 0x326d
000032b5: JUMP
000032b6: JUMPDEST
000032b7: SWAP3
000032b8: POP
000032b9: POP
000032ba: PUSH1 0x40
000032bc: PUSH2 0x32c7
000032bf: DUP7
000032c0: DUP3
000032c1: DUP8
000032c2: ADD
000032c3: PUSH2 0x326d
000032c6: JUMP
000032c7: JUMPDEST
000032c8: SWAP2
000032c9: POP
000032ca: POP
000032cb: SWAP3
000032cc: POP
000032cd: SWAP3
000032ce: POP
000032cf: SWAP3
000032d0: JUMP
000032d1: JUMPDEST
000032d2: PUSH0
000032d3: DUP2
000032d4: MLOAD
000032d5: SWAP1
000032d6: POP
000032d7: PUSH2 0x32df
000032da: DUP2
000032db: PUSH2 0x245e
000032de: JUMP
000032df: JUMPDEST
000032e0: SWAP3
000032e1: SWAP2
000032e2: POP
000032e3: POP
000032e4: JUMP
000032e5: JUMPDEST
000032e6: PUSH0
000032e7: PUSH1 0x20
000032e9: DUP3
000032ea: DUP5
000032eb: SUB
000032ec: SLT
000032ed: ISZERO
000032ee: PUSH2 0x32fa
000032f1: JUMPI
000032f2: PUSH2 0x32f9
000032f5: PUSH2 0x242a
000032f8: JUMP
000032f9: JUMPDEST
000032fa: JUMPDEST
000032fb: PUSH0
000032fc: PUSH2 0x3307
000032ff: DUP5
00003300: DUP3
00003301: DUP6
00003302: ADD
00003303: PUSH2 0x32d1
00003306: JUMP
00003307: JUMPDEST
00003308: SWAP2
00003309: POP
0000330a: POP
0000330b: SWAP3
0000330c: SWAP2
0000330d: POP
0000330e: POP
0000330f: JUMP
00003310: JUMPDEST
00003311: PUSH0
00003312: PUSH1 0x40
00003314: DUP3
00003315: ADD
00003316: SWAP1
00003317: POP
00003318: PUSH2 0x3323
0000331b: PUSH0
0000331c: DUP4
0000331d: ADD
0000331e: DUP6
0000331f: PUSH2 0x25d8
00003322: JUMP
00003323: JUMPDEST
00003324: PUSH2 0x3330
00003327: PUSH1 0x20
00003329: DUP4
0000332a: ADD
0000332b: DUP5
0000332c: PUSH2 0x25d8
0000332f: JUMP
00003330: JUMPDEST
00003331: SWAP4
00003332: SWAP3
00003333: POP
00003334: POP
00003335: POP
00003336: JUMP
00003337: JUMPDEST
00003338: PUSH0
00003339: PUSH1 0x60
0000333b: DUP3
0000333c: ADD
0000333d: SWAP1
0000333e: POP
0000333f: PUSH2 0x334a
00003342: PUSH0
00003343: DUP4
00003344: ADD
00003345: DUP7
00003346: PUSH2 0x25d8
00003349: JUMP
0000334a: JUMPDEST
0000334b: PUSH2 0x3357
0000334e: PUSH1 0x20
00003350: DUP4
00003351: ADD
00003352: DUP6
00003353: PUSH2 0x25d8
00003356: JUMP
00003357: JUMPDEST
00003358: PUSH2 0x3364
0000335b: PUSH1 0x40
0000335d: DUP4
0000335e: ADD
0000335f: DUP5
00003360: PUSH2 0x25d8
00003363: JUMP
00003364: JUMPDEST
00003365: SWAP5
00003366: SWAP4
00003367: POP
00003368: POP
00003369: POP
0000336a: POP
0000336b: JUMP
0000336c: JUMPDEST
0000336d: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
0000338e: PUSH0
0000338f: DUP3
00003390: ADD
00003391: MSTORE
00003392: POP
00003393: JUMP
00003394: JUMPDEST
00003395: PUSH0
00003396: PUSH2 0x33a0
00003399: PUSH1 0x1f
0000339b: DUP4
0000339c: PUSH2 0x238a
0000339f: JUMP
000033a0: JUMPDEST
000033a1: SWAP2
000033a2: POP
000033a3: PUSH2 0x33ab
000033a6: DUP3
000033a7: PUSH2 0x336c
000033aa: JUMP
000033ab: JUMPDEST
000033ac: PUSH1 0x20
000033ae: DUP3
000033af: ADD
000033b0: SWAP1
000033b1: POP
000033b2: SWAP2
000033b3: SWAP1
000033b4: POP
000033b5: JUMP
000033b6: JUMPDEST
000033b7: PUSH0
000033b8: PUSH1 0x20
000033ba: DUP3
000033bb: ADD
000033bc: SWAP1
000033bd: POP
000033be: DUP2
000033bf: DUP2
000033c0: SUB
000033c1: PUSH0
000033c2: DUP4
000033c3: ADD
000033c4: MSTORE
000033c5: PUSH2 0x33cd
000033c8: DUP2
000033c9: PUSH2 0x3394
000033cc: JUMP
000033cd: JUMPDEST
000033ce: SWAP1
000033cf: POP
000033d0: SWAP2
000033d1: SWAP1
000033d2: POP
000033d3: JUMP
000033d4: INVALID
000033d5: LOG2
000033d6: PUSH5 0x6970667358
000033dc: UNKNOWN(0x22)
000033dd: SLT
000033de: KECCAK256
000033df: UNKNOWN(0xCC)
000033e0: BASEFEE
000033e1: UNKNOWN(0xDF)
000033e2: PUSH20 0x2762e09e1ace060f686be6e828e6723d0537dd89
000033f7: UNKNOWN(0x22)
000033f8: UNKNOWN(0xF8)
000033f9: BLOBHASH
000033fa: MSIZE
000033fb: JUMP
000033fc: UNKNOWN(0x2F)
000033fd: OR
000033fe: DELEGATECALL
000033ff: PUSH5 0x736f6c6343
00003405: STOP
00003406: ADDMOD
00003407: EQ
00003408: STOP
00003409: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x9f882dc01767b1fdfb606b35603e6b64f6c1d636ea469a2b294bd875a0f4fd34
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x9f882dc01767b1fdfb606b35603e6b64f6c1d636ea469a2b294bd875a0f4fd34",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf011bb9c",
            "selector": "0xf011bb9c",
            "calldata_variants": [
                "0xf011bb9c",
                "0xf011bb9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe10d774",
            "selector": "0xfe10d774",
            "calldata_variants": [
                "0xfe10d774",
                "0xfe10d7740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffdd5cf1",
            "selector": "0xffdd5cf1",
            "calldata_variants": [
                "0xffdd5cf1",
                "0xffdd5cf10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc31c6fb9",
            "selector": "0xc31c6fb9",
            "calldata_variants": [
                "0xc31c6fb9",
                "0xc31c6fb90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4f0cc82",
            "selector": "0xc4f0cc82",
            "calldata_variants": [
                "0xc4f0cc82",
                "0xc4f0cc820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc816841b",
            "selector": "0xc816841b",
            "calldata_variants": [
                "0xc816841b",
                "0xc816841b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 13310,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x1318f5e36a9dc8083f8470b4b098e8c66158928a38dd465096c934a3f745aae6
call_targets: 0x15d94ec1c8e98812dac23bf6a341bd6c83e4cb11
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1318f5e36a9dc8083f8470b4b098e8c66158928a38dd465096c934a3f745aae6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x15d94ec1c8e98812dac23bf6a341bd6c83e4cb11"
    ],
    "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": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf011bb9c",
            "selector": "0xf011bb9c",
            "calldata_variants": [
                "0xf011bb9c",
                "0xf011bb9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe10d774",
            "selector": "0xfe10d774",
            "calldata_variants": [
                "0xfe10d774",
                "0xfe10d7740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffdd5cf1",
            "selector": "0xffdd5cf1",
            "calldata_variants": [
                "0xffdd5cf1",
                "0xffdd5cf10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc31c6fb9",
            "selector": "0xc31c6fb9",
            "calldata_variants": [
                "0xc31c6fb9",
                "0xc31c6fb90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4f0cc82",
            "selector": "0xc4f0cc82",
            "calldata_variants": [
                "0xc4f0cc82",
                "0xc4f0cc820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc816841b",
            "selector": "0xc816841b",
            "calldata_variants": [
                "0xc816841b",
                "0xc816841b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2790,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3328,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7528,
            "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: 0x1318f5e36a9dc8083f8470b4b098e8c66158928a38dd465096c934a3f745aae6
call_targets: 0x15d94ec1c8e98812dac23bf6a341bd6c83e4cb11
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1318f5e36a9dc8083f8470b4b098e8c66158928a38dd465096c934a3f745aae6",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x15d94ec1c8e98812dac23bf6a341bd6c83e4cb11"
    ],
    "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": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf011bb9c",
            "selector": "0xf011bb9c",
            "calldata_variants": [
                "0xf011bb9c",
                "0xf011bb9c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf887ea40",
            "selector": "0xf887ea40",
            "calldata_variants": [
                "0xf887ea40",
                "0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe10d774",
            "selector": "0xfe10d774",
            "calldata_variants": [
                "0xfe10d774",
                "0xfe10d7740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffdd5cf1",
            "selector": "0xffdd5cf1",
            "calldata_variants": [
                "0xffdd5cf1",
                "0xffdd5cf10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc31c6fb9",
            "selector": "0xc31c6fb9",
            "calldata_variants": [
                "0xc31c6fb9",
                "0xc31c6fb90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4f0cc82",
            "selector": "0xc4f0cc82",
            "calldata_variants": [
                "0xc4f0cc82",
                "0xc4f0cc820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc816841b",
            "selector": "0xc816841b",
            "calldata_variants": [
                "0xc816841b",
                "0xc816841b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2790,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3328,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7528,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
medium other codex Liquidity deployment can be DoS’d by forcing ETH refunds to a contract with no receive() 75 no
view
evidence_json
{
    "evidence": "`deployLiquidity()` calls `router.addLiquidityETH{value: liquidityEthAmount}(..., 0, 0, address(0), ...)` and the contract defines no payable receive/fallback to accept potential ETH refunds.",
    "locations": [
        "contracts/RICE.sol:257",
        "contracts/RICE.sol:268"
    ],
    "recommendation": "Add a payable `receive()` or `fallback()` to accept ETH refunds, or pre-check pair existence/reserves and enforce amounts that avoid refunds (or revert early if pair exists).",
    "exploit_scenario": "An attacker pre-creates a RICE/WETH pair with a token/ETH ratio where `amountTokenDesired/amountETHDesired` is below pool ratio. `addLiquidityETH` then refunds excess ETH to `msg.sender` (this contract). Because `RICE` lacks a payable `receive`/`fallback`, the refund reverts, causing `deployLiquidity()` to revert and blocking `claim()` until the 1\u2011day emergency path (which skips token distribution)."
}
medium oracle codex Liquidity deploys at attacker-controlled ratio if a pair already exists (no slippage / reserve checks) 75 no
view
evidence_json
{
    "evidence": "`deployLiquidity()` calls `addLiquidityETH` with min amounts set to 0 and only checks/creates the pair after liquidity is added.",
    "locations": [
        "contracts/RICE.sol:257",
        "contracts/RICE.sol:268"
    ],
    "recommendation": "Require that the pair does not exist or has zero reserves before adding liquidity, or enforce minimum amounts based on expected price bounds (or a TWAP) to prevent manipulated ratios.",
    "exploit_scenario": "A malicious actor can create and seed the RICE/WETH pool before bonding ends, setting an extreme reserve ratio. Because `deployLiquidity()` uses `amountAMin/amountBMin = 0` and doesn\u2019t verify that the pair is empty, it adds liquidity at that manipulated price. The resulting mispriced liquidity can be arbitraged, effectively extracting value from the permanently locked LP position."
}