019be3d6-81c4-7091-b835-57b1fa52d217
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 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 |
{
"status": "not_proxy"
}
Traceback (most recent call last):
File "/var/www/tripwire/worker/worker.py", line 198, in main
payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
stdout_text, stderr_text, result_json = _run_slither(
~~~~~~~~~~~~^
workspace,
^^^^^^^^^^
...<4 lines>...
target_path=target_path,
^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-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
[2m2026-01-22T08:06:46.438223Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/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.
{"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"]}]}
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
{
"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
}
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
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_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 |
viewtrace_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 |
viewtrace_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 | — |
viewevidence_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 | — |
viewevidence_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 | — |
viewevidence_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."
}
|