019bb50b-e165-73bb-b0ac-5421102f4e04
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 |
|---|---|---|---|---|
| 40380 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 40381 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 40382 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 40383 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 40384 | capability.graph | complete | 1 / 3 | 3 months ago |
| 40385 | detector.run | complete | 1 / 3 | 3 months ago |
| 40386 | validation.fork | complete | 1 / 3 | 3 months ago |
| 40491 | report.consolidate | complete | 1 / 6 | 3 months ago |
| 40492 | tool.slither | failed | 2 / 2 | 3 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-s3td6tjk)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-s3td6tjk)
'forge' returned non-zero exit code 1
[2m2026-01-13T03:06:48.538232Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/tmp/slither-s3td6tjk/lib/openzeppelin-contracts/contracts/math/SafeMath.sol": No such file or directory (os error 2)
stdout: [2m2026-01-13T03:06:48.538266Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/tmp/slither-s3td6tjk/lib/openzeppelin-contracts/contracts/math/SafeMath.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout: "@openzeppelin/contracts/math/SafeMath.sol" in "/tmp/slither-s3td6tjk/contracts/libs/SafeBEP20.sol"
stdout: "@openzeppelin/contracts/math/SafeMath.sol" in "/tmp/slither-s3td6tjk/contracts/DepoJungle.sol"
stdout: with remappings:
stdout: openzeppelin-contracts/=/tmp/slither-s3td6tjk/lib/openzeppelin-contracts/
stdout: @openzeppelin/contracts/=/tmp/slither-s3td6tjk/lib/openzeppelin-contracts/contracts/
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/access/Ownable.sol: No solc version exists that matches the version requirement: ^0.8.20
stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/utils/Address.sol: No solc version exists that matches the version requirement: ^0.8.20
Traceback (most recent call last):
File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
sys.exit(main())
~~~~^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
main_impl(all_detector_classes=detectors, all_printer_classes=printers)
~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
) = process_all(filename, args, detector_classes, printer_classes)
~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
compilations = compile_all(target, **vars(args))
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
compilations.append(CryticCompile(target, **kwargs))
~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
self._compile(**kwargs)
~~~~~~~~~~~~~^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
self._platform.compile(self, **kwargs)
~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
hardhat_like_parsing(
~~~~~~~~~~~~~~~~~~~~^
crytic_compile, str(self._target), build_directory, str(self._project_root)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-s3td6tjk/out/build-info is not a directory.
{"no_findings":false,"summary":"Identified an accounting incompatibility with fee-on-transfer staking tokens and a rewards-depletion lockup path caused by mandatory reward payouts combined with the withdrawal lock.","findings":[{"severity":"medium","category":"math","title":"Fee-on-transfer/rebasing staking tokens can break accounting and lock withdrawals","exploit_scenario":"If the staked token charges a transfer fee or rebases, `deposit` credits `user.amount` based on the requested `_amount` minus the configured `stakedTokenTransferFee`, not the actual tokens received. The contract then accrues rewards and allows withdrawals against this inflated balance, but its real balance is lower, causing `withdraw` or `emergencyWithdraw` to revert due to insufficient balance. Users can become unable to withdraw their credited stake, and reward calculations are skewed.","recommendation":"Measure the actual received amount with balance-before/after and credit `user.amount` and reward calculations based on that value, or explicitly reject fee-on-transfer/rebasing tokens with a hard check and document the restriction.","evidence":"`deposit` adds `_amount` (minus configured fee) to `user.amount` without verifying actual received tokens; rewards use `stakedToken.balanceOf(address(this))` for supply.","locations":["contracts/DepoJungle.sol:174","contracts/DepoJungle.sol:180","contracts/DepoJungle.sol:187","contracts/DepoJungle.sol:410","contracts/DepoJungle.sol:452"]},{"severity":"medium","category":"access_control","title":"Reward token depletion can freeze withdrawals during withdrawal interval","exploit_scenario":"`withdraw` always attempts to pay pending rewards; if the reward token balance is insufficient (e.g., owner drains rewards via `emergencyRewardWithdraw`, or rewards are exhausted), the transfer reverts and users cannot withdraw their stake. `emergencyWithdraw` is also blocked until `nextWithdrawalUntil` elapses, so users can be locked for up to 30 days even though they are trying to exit.","recommendation":"Allow users to withdraw stake even if reward transfer fails (e.g., pay rewards up to available balance or skip rewards), and/or remove the withdrawal lock from `emergencyWithdraw`. Consider restricting or time-locking `emergencyRewardWithdraw` to avoid draining rewards while users are locked.","evidence":"`withdraw` pays rewards unconditionally when `pending > 0`, and `emergencyWithdraw` enforces the withdrawal lock; owner can drain rewards at any time.","locations":["contracts/DepoJungle.sol:228","contracts/DepoJungle.sol:244","contracts/DepoJungle.sol:247","contracts/DepoJungle.sol:267"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-m5uzrzxt
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb529-2f4b-7ba1-a103-45f38368433d
--------
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 ls in /tmp/codex-m5uzrzxt succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-m5uzrzxt succeeded in 5ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.
================================================================================
FILE: contracts/DepoJungle.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity 0.6.12;
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
import "@openzeppelin/contracts/math/SafeMath.sol";
import "./libs/SafeBEP20.sol";
contract DepoJungleInitializable is Ownable, ReentrancyGuard {
using SafeMath for uint256;
using SafeBEP20 for IBEP20;
// The address of the depo jungle factory
thinking
**Analyzing security and accounting risks**
I'm carefully auditing the contract for vulnerabilities like reentrancy, fee-on-transfer token handling, access control issues, withdrawal timing logic, and reward token depletion. There is a notable risk that fee-on-transfer or rebasing tokens can cause accounting mismatches, potentially locking funds. Also, the owner’s ability to drain rewards and control withdrawal intervals could lead to users being unable to withdraw staked tokens temporarily. These points seem more like centralization or design risks rather than direct exploits, but they could impact user funds in practice. Let's explore how these interact and what mitigation might be prudent!
thinking
**Summarizing key findings and classification**
I'm consolidating the main issues: the fee-on-transfer accounting mismatch fits "other," the owner’s ability to drain rewards and lock funds aligns with access control or "other," and configuration risks with transfer fee validation fall under "other" or "math." Since precise line numbers are unavailable, I'll refer to file paths and function names, and might consider using line number approximations where feasible to give clearer references. This should help organize and communicate the findings effectively!
exec
/bin/bash -lc 'nl -ba contracts/DepoJungle.sol' in /tmp/codex-m5uzrzxt succeeded in 6ms:
1 // SPDX-License-Identifier: MIT
2
3 pragma solidity 0.6.12;
4
5 import "@openzeppelin/contracts/access/Ownable.sol";
6 import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
7 import "@openzeppelin/contracts/math/SafeMath.sol";
8 import "./libs/SafeBEP20.sol";
9
10 contract DepoJungleInitializable is Ownable, ReentrancyGuard {
11 using SafeMath for uint256;
12 using SafeBEP20 for IBEP20;
13
14 // The address of the depo jungle factory
15 address public DEPO_JUNGLE_FACTORY;
16
17 // The address of fee address
18 address public custodyAddress;
19
20 // Whether a limit is set for users
thinking
**Composing detailed JSON findings**
I'm crafting a JSON output with two main findings highlighting accounting issues with fee-on-transfer tokens and reward token depletion risks that can lock withdrawals. I'll include severity, categories, exploit scenarios, recommendations, and precise evidence locations from the contract. I want to clearly show the risks and fixes while ensuring the JSON schema is accurate and matches the user's requirements.
codex
{"no_findings":false,"summary":"Identified an accounting incompatibility with fee-on-transfer staking tokens and a rewards-depletion lockup path caused by mandatory reward payouts combined with the withdrawal lock.","findings":[{"severity":"medium","category":"math","title":"Fee-on-transfer/rebasing staking tokens can break accounting and lock withdrawals","exploit_scenario":"If the staked token charges a transfer fee or rebases, `deposit` credits `user.amount` based on the requested `_amount` minus the configured `stakedTokenTransferFee`, not the actual tokens received. The contract then accrues rewards and allows withdrawals against this inflated balance, but its real balance is lower, causing `withdraw` or `emergencyWithdraw` to revert due to insufficient balance. Users can become unable to withdraw their credited stake, and reward calculations are skewed.","recommendation":"Measure the actual received amount with balance-before/after and credit `user.amount` and reward calculations based on that value, or explicitly reject fee-on-transfer/rebasing tokens with a hard check and document the restriction.","evidence":"`deposit` adds `_amount` (minus configured fee) to `user.amount` without verifying actual received tokens; rewards use `stakedToken.balanceOf(address(this))` for supply.","locations":["contracts/DepoJungle.sol:174","contracts/DepoJungle.sol:180","contracts/DepoJungle.sol:187","contracts/DepoJungle.sol:410","contracts/DepoJungle.sol:452"]},{"severity":"medium","category":"access_control","title":"Reward token depletion can freeze withdrawals during withdrawal interval","exploit_scenario":"`withdraw` always attempts to pay pending rewards; if the reward token balance is insufficient (e.g., owner drains rewards via `emergencyRewardWithdraw`, or rewards are exhausted), the transfer reverts and users cannot withdraw their stake. `emergencyWithdraw` is also blocked until `nextWithdrawalUntil` elapses, so users can be locked for up to 30 days even though they are trying to exit.","recommendation":"Allow users to withdraw stake even if reward transfer fails (e.g., pay rewards up to available balance or skip rewards), and/or remove the withdrawal lock from `emergencyWithdraw`. Consider restricting or time-locking `emergencyRewardWithdraw` to avoid draining rewards while users are locked.","evidence":"`withdraw` pays rewards unconditionally when `pending > 0`, and `emergencyWithdraw` enforces the withdrawal lock; owner can drain rewards at any time.","locations":["contracts/DepoJungle.sol:228","contracts/DepoJungle.sol:244","contracts/DepoJungle.sol:247","contracts/DepoJungle.sol:267"]}]}
tokens used
21,008
{
"codex": {
"ran_at": "2026-01-13T02:24:10.676704+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 8,
"import_count": 7,
"first_party_contracts_count": 3
},
"summary": "Identified an accounting incompatibility with fee-on-transfer staking tokens and a rewards-depletion lockup path caused by mandatory reward payouts combined with the withdrawal lock.",
"raw_final": {
"summary": "Identified an accounting incompatibility with fee-on-transfer staking tokens and a rewards-depletion lockup path caused by mandatory reward payouts combined with the withdrawal lock.",
"findings": [
{
"title": "Fee-on-transfer/rebasing staking tokens can break accounting and lock withdrawals",
"category": "math",
"evidence": "`deposit` adds `_amount` (minus configured fee) to `user.amount` without verifying actual received tokens; rewards use `stakedToken.balanceOf(address(this))` for supply.",
"severity": "medium",
"locations": [
"contracts/DepoJungle.sol:174",
"contracts/DepoJungle.sol:180",
"contracts/DepoJungle.sol:187",
"contracts/DepoJungle.sol:410",
"contracts/DepoJungle.sol:452"
],
"recommendation": "Measure the actual received amount with balance-before/after and credit `user.amount` and reward calculations based on that value, or explicitly reject fee-on-transfer/rebasing tokens with a hard check and document the restriction.",
"exploit_scenario": "If the staked token charges a transfer fee or rebases, `deposit` credits `user.amount` based on the requested `_amount` minus the configured `stakedTokenTransferFee`, not the actual tokens received. The contract then accrues rewards and allows withdrawals against this inflated balance, but its real balance is lower, causing `withdraw` or `emergencyWithdraw` to revert due to insufficient balance. Users can become unable to withdraw their credited stake, and reward calculations are skewed."
},
{
"title": "Reward token depletion can freeze withdrawals during withdrawal interval",
"category": "access_control",
"evidence": "`withdraw` pays rewards unconditionally when `pending > 0`, and `emergencyWithdraw` enforces the withdrawal lock; owner can drain rewards at any time.",
"severity": "medium",
"locations": [
"contracts/DepoJungle.sol:228",
"contracts/DepoJungle.sol:244",
"contracts/DepoJungle.sol:247",
"contracts/DepoJungle.sol:267"
],
"recommendation": "Allow users to withdraw stake even if reward transfer fails (e.g., pay rewards up to available balance or skip rewards), and/or remove the withdrawal lock from `emergencyWithdraw`. Consider restricting or time-locking `emergencyRewardWithdraw` to avoid draining rewards while users are locked.",
"exploit_scenario": "`withdraw` always attempts to pay pending rewards; if the reward token balance is insufficient (e.g., owner drains rewards via `emergencyRewardWithdraw`, or rewards are exhausted), the transfer reverts and users cannot withdraw their stake. `emergencyWithdraw` is also blocked until `nextWithdrawalUntil` elapses, so users can be locked for up to 30 days even though they are trying to exit."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0211 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x875601eb 00000026: GT 00000027: PUSH2 0x0125 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xa9f8d181 00000031: GT 00000032: PUSH2 0x00ad 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xccd34cd5 0000003c: GT 0000003d: PUSH2 0x007c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xccd34cd5 00000047: EQ 00000048: PUSH2 0x07ed 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xdb2e21bc 00000052: EQ 00000053: PUSH2 0x080b 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf2fde38b 0000005d: EQ 0000005e: PUSH2 0x0815 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf40f0f52 00000068: EQ 00000069: PUSH2 0x0859 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xf7c618c1 00000073: EQ 00000074: PUSH2 0x08b1 00000077: JUMPI 00000078: PUSH2 0x0211 0000007b: JUMP 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0xa9f8d181 00000083: EQ 00000084: PUSH2 0x06a8 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xada1bd94 0000008e: EQ 0000008f: PUSH2 0x06c6 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xb6b55f25 00000099: EQ 0000009a: PUSH2 0x078b 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xcc7a262e 000000a4: EQ 000000a5: PUSH2 0x07b9 000000a8: JUMPI 000000a9: PUSH2 0x0211 000000ac: JUMP 000000ad: JUMPDEST 000000ae: DUP1 000000af: PUSH4 0x8f662915 000000b4: GT 000000b5: PUSH2 0x00f4 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8f662915 000000bf: EQ 000000c0: PUSH2 0x05d6 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x92e8990e 000000ca: EQ 000000cb: PUSH2 0x05f4 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x9513997f 000000d5: EQ 000000d6: PUSH2 0x0614 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa055baf8 000000e0: EQ 000000e1: PUSH2 0x064c 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa0b40905 000000eb: EQ 000000ec: PUSH2 0x066e 000000ef: JUMPI 000000f0: PUSH2 0x0211 000000f3: JUMP 000000f4: JUMPDEST 000000f5: DUP1 000000f6: PUSH4 0x875601eb 000000fb: EQ 000000fc: PUSH2 0x050c 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x8904b674 00000106: EQ 00000107: PUSH2 0x0540 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x8ae39cac 00000111: EQ 00000112: PUSH2 0x0584 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x8da5cb5b 0000011c: EQ 0000011d: PUSH2 0x05a2 00000120: JUMPI 00000121: PUSH2 0x0211 00000124: JUMP 00000125: JUMPDEST 00000126: DUP1 00000127: PUSH4 0x392e53cd 0000012c: GT 0000012d: PUSH2 0x01a8 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x66fe9f8a 00000137: GT 00000138: PUSH2 0x0177 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0x66fe9f8a 00000142: EQ 00000143: PUSH2 0x0478 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0x715018a6 0000014d: EQ 0000014e: PUSH2 0x0496 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0x72a18430 00000158: EQ 00000159: PUSH2 0x04a0 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0x7d0a75cc 00000163: EQ 00000164: PUSH2 0x04d4 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0x80dc0672 0000016e: EQ 0000016f: PUSH2 0x0502 00000172: JUMPI 00000173: PUSH2 0x0211 00000176: JUMP 00000177: JUMPDEST 00000178: DUP1 00000179: PUSH4 0x392e53cd 0000017e: EQ 0000017f: PUSH2 0x03ce 00000182: JUMPI 00000183: DUP1 00000184: PUSH4 0x3f138d4b 00000189: EQ 0000018a: PUSH2 0x03ee 0000018d: JUMPI 0000018e: DUP1 0000018f: PUSH4 0x48cd4cb1 00000194: EQ 00000195: PUSH2 0x043c 00000198: JUMPI 00000199: DUP1 0000019a: PUSH4 0x5cc6eee9 0000019f: EQ 000001a0: PUSH2 0x045a 000001a3: JUMPI 000001a4: PUSH2 0x0211 000001a7: JUMP 000001a8: JUMPDEST 000001a9: DUP1 000001aa: PUSH4 0x1aed6553 000001af: GT 000001b0: PUSH2 0x01e4 000001b3: JUMPI 000001b4: DUP1 000001b5: PUSH4 0x1aed6553 000001ba: EQ 000001bb: PUSH2 0x0336 000001be: JUMPI 000001bf: DUP1 000001c0: PUSH4 0x2e1a7d4d 000001c5: EQ 000001c6: PUSH2 0x0354 000001c9: JUMPI 000001ca: DUP1 000001cb: PUSH4 0x2f0c370e 000001d0: EQ 000001d1: PUSH2 0x0382 000001d4: JUMPI 000001d5: DUP1 000001d6: PUSH4 0x3279beab 000001db: EQ 000001dc: PUSH2 0x03a0 000001df: JUMPI 000001e0: PUSH2 0x0211 000001e3: JUMP 000001e4: JUMPDEST 000001e5: DUP1 000001e6: PUSH4 0x01f8a976 000001eb: EQ 000001ec: PUSH2 0x0216 000001ef: JUMPI 000001f0: DUP1 000001f1: PUSH4 0x0e61dec9 000001f6: EQ 000001f7: PUSH2 0x0244 000001fa: JUMPI 000001fb: DUP1 000001fc: PUSH4 0x19262d30 00000201: EQ 00000202: PUSH2 0x0276 00000205: JUMPI 00000206: DUP1 00000207: PUSH4 0x1959a002 0000020c: EQ 0000020d: PUSH2 0x02d0 00000210: JUMPI 00000211: JUMPDEST 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: PUSH2 0x0242 0000021a: PUSH1 0x04 0000021c: DUP1 0000021d: CALLDATASIZE 0000021e: SUB 0000021f: PUSH1 0x20 00000221: DUP2 00000222: LT 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: DUP2 0000022e: ADD 0000022f: SWAP1 00000230: DUP1 00000231: DUP1 00000232: CALLDATALOAD 00000233: SWAP1 00000234: PUSH1 0x20 00000236: ADD 00000237: SWAP1 00000238: SWAP3 00000239: SWAP2 0000023a: SWAP1 0000023b: POP 0000023c: POP 0000023d: POP 0000023e: PUSH2 0x08e5 00000241: JUMP 00000242: JUMPDEST 00000243: STOP 00000244: JUMPDEST 00000245: PUSH2 0x0274 00000248: PUSH1 0x04 0000024a: DUP1 0000024b: CALLDATASIZE 0000024c: SUB 0000024d: PUSH1 0x20 0000024f: DUP2 00000250: LT 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: DUP2 0000025c: ADD 0000025d: SWAP1 0000025e: DUP1 0000025f: DUP1 00000260: CALLDATALOAD 00000261: PUSH2 0xffff 00000264: AND 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP3 0000026b: SWAP2 0000026c: SWAP1 0000026d: POP 0000026e: POP 0000026f: POP 00000270: PUSH2 0x0a4c 00000273: JUMP 00000274: JUMPDEST 00000275: STOP 00000276: JUMPDEST 00000277: PUSH2 0x02b8 0000027a: PUSH1 0x04 0000027c: DUP1 0000027d: CALLDATASIZE 0000027e: SUB 0000027f: PUSH1 0x20 00000281: DUP2 00000282: LT 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: DUP2 0000028e: ADD 0000028f: SWAP1 00000290: DUP1 00000291: DUP1 00000292: CALLDATALOAD 00000293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a8: AND 000002a9: SWAP1 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: SWAP1 000002ae: SWAP3 000002af: SWAP2 000002b0: SWAP1 000002b1: POP 000002b2: POP 000002b3: POP 000002b4: PUSH2 0x0bb4 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: DUP3 000002be: ISZERO 000002bf: ISZERO 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP2 000002c6: POP 000002c7: POP 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: SWAP2 000002cd: SUB 000002ce: SWAP1 000002cf: RETURN 000002d0: JUMPDEST 000002d1: PUSH2 0x0312 000002d4: PUSH1 0x04 000002d6: DUP1 000002d7: CALLDATASIZE 000002d8: SUB 000002d9: PUSH1 0x20 000002db: DUP2 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x02e6 000002e1: JUMPI 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: REVERT 000002e6: JUMPDEST 000002e7: DUP2 000002e8: ADD 000002e9: SWAP1 000002ea: DUP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000302: AND 00000303: SWAP1 00000304: PUSH1 0x20 00000306: ADD 00000307: SWAP1 00000308: SWAP3 00000309: SWAP2 0000030a: SWAP1 0000030b: POP 0000030c: POP 0000030d: POP 0000030e: PUSH2 0x0c08 00000311: JUMP 00000312: JUMPDEST 00000313: PUSH1 0x40 00000315: MLOAD 00000316: DUP1 00000317: DUP5 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x20 0000031c: ADD 0000031d: DUP4 0000031e: DUP2 0000031f: MSTORE 00000320: PUSH1 0x20 00000322: ADD 00000323: DUP3 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP4 0000032a: POP 0000032b: POP 0000032c: POP 0000032d: POP 0000032e: PUSH1 0x40 00000330: MLOAD 00000331: DUP1 00000332: SWAP2 00000333: SUB 00000334: SWAP1 00000335: RETURN 00000336: JUMPDEST 00000337: PUSH2 0x033e 0000033a: PUSH2 0x0c32 0000033d: JUMP 0000033e: JUMPDEST 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: DUP1 00000343: DUP3 00000344: DUP2 00000345: MSTORE 00000346: PUSH1 0x20 00000348: ADD 00000349: SWAP2 0000034a: POP 0000034b: POP 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: SWAP2 00000351: SUB 00000352: SWAP1 00000353: RETURN 00000354: JUMPDEST 00000355: PUSH2 0x0380 00000358: PUSH1 0x04 0000035a: DUP1 0000035b: CALLDATASIZE 0000035c: SUB 0000035d: PUSH1 0x20 0000035f: DUP2 00000360: LT 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: DUP2 0000036c: ADD 0000036d: SWAP1 0000036e: DUP1 0000036f: DUP1 00000370: CALLDATALOAD 00000371: SWAP1 00000372: PUSH1 0x20 00000374: ADD 00000375: SWAP1 00000376: SWAP3 00000377: SWAP2 00000378: SWAP1 00000379: POP 0000037a: POP 0000037b: POP 0000037c: PUSH2 0x0c38 0000037f: JUMP 00000380: JUMPDEST 00000381: STOP 00000382: JUMPDEST 00000383: PUSH2 0x038a 00000386: PUSH2 0x0fb8 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: DUP3 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: SWAP2 00000396: POP 00000397: POP 00000398: PUSH1 0x40 0000039a: MLOAD 0000039b: DUP1 0000039c: SWAP2 0000039d: SUB 0000039e: SWAP1 0000039f: RETURN 000003a0: JUMPDEST 000003a1: PUSH2 0x03cc 000003a4: PUSH1 0x04 000003a6: DUP1 000003a7: CALLDATASIZE 000003a8: SUB 000003a9: PUSH1 0x20 000003ab: DUP2 000003ac: LT 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: DUP2 000003b8: ADD 000003b9: SWAP1 000003ba: DUP1 000003bb: DUP1 000003bc: CALLDATALOAD 000003bd: SWAP1 000003be: PUSH1 0x20 000003c0: ADD 000003c1: SWAP1 000003c2: SWAP3 000003c3: SWAP2 000003c4: SWAP1 000003c5: POP 000003c6: POP 000003c7: POP 000003c8: PUSH2 0x0fbe 000003cb: JUMP 000003cc: JUMPDEST 000003cd: STOP 000003ce: JUMPDEST 000003cf: PUSH2 0x03d6 000003d2: PUSH2 0x10bd 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: DUP1 000003db: DUP3 000003dc: ISZERO 000003dd: ISZERO 000003de: DUP2 000003df: MSTORE 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: SWAP2 000003e4: POP 000003e5: POP 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: DUP1 000003ea: SWAP2 000003eb: SUB 000003ec: SWAP1 000003ed: RETURN 000003ee: JUMPDEST 000003ef: PUSH2 0x043a 000003f2: PUSH1 0x04 000003f4: DUP1 000003f5: CALLDATASIZE 000003f6: SUB 000003f7: PUSH1 0x40 000003f9: DUP2 000003fa: LT 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: DUP2 00000406: ADD 00000407: SWAP1 00000408: DUP1 00000409: DUP1 0000040a: CALLDATALOAD 0000040b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000420: AND 00000421: SWAP1 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: SWAP3 00000427: SWAP2 00000428: SWAP1 00000429: DUP1 0000042a: CALLDATALOAD 0000042b: SWAP1 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP1 00000430: SWAP3 00000431: SWAP2 00000432: SWAP1 00000433: POP 00000434: POP 00000435: POP 00000436: PUSH2 0x10d0 00000439: JUMP 0000043a: JUMPDEST 0000043b: STOP 0000043c: JUMPDEST 0000043d: PUSH2 0x0444 00000440: PUSH2 0x138b 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x40 00000447: MLOAD 00000448: DUP1 00000449: DUP3 0000044a: DUP2 0000044b: MSTORE 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: SWAP2 00000450: POP 00000451: POP 00000452: PUSH1 0x40 00000454: MLOAD 00000455: DUP1 00000456: SWAP2 00000457: SUB 00000458: SWAP1 00000459: RETURN 0000045a: JUMPDEST 0000045b: PUSH2 0x0462 0000045e: PUSH2 0x1391 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x40 00000465: MLOAD 00000466: DUP1 00000467: DUP3 00000468: DUP2 00000469: MSTORE 0000046a: PUSH1 0x20 0000046c: ADD 0000046d: SWAP2 0000046e: POP 0000046f: POP 00000470: PUSH1 0x40 00000472: MLOAD 00000473: DUP1 00000474: SWAP2 00000475: SUB 00000476: SWAP1 00000477: RETURN 00000478: JUMPDEST 00000479: PUSH2 0x0480 0000047c: PUSH2 0x1398 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: DUP3 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP1 00000492: SWAP2 00000493: SUB 00000494: SWAP1 00000495: RETURN 00000496: JUMPDEST 00000497: PUSH2 0x049e 0000049a: PUSH2 0x139e 0000049d: JUMP 0000049e: JUMPDEST 0000049f: STOP 000004a0: JUMPDEST 000004a1: PUSH2 0x04a8 000004a4: PUSH2 0x150b 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: DUP1 000004ad: DUP3 000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c3: AND 000004c4: DUP2 000004c5: MSTORE 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP2 000004ca: POP 000004cb: POP 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: DUP1 000004d0: SWAP2 000004d1: SUB 000004d2: SWAP1 000004d3: RETURN 000004d4: JUMPDEST 000004d5: PUSH2 0x0500 000004d8: PUSH1 0x04 000004da: DUP1 000004db: CALLDATASIZE 000004dc: SUB 000004dd: PUSH1 0x20 000004df: DUP2 000004e0: LT 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: DUP2 000004ec: ADD 000004ed: SWAP1 000004ee: DUP1 000004ef: DUP1 000004f0: CALLDATALOAD 000004f1: SWAP1 000004f2: PUSH1 0x20 000004f4: ADD 000004f5: SWAP1 000004f6: SWAP3 000004f7: SWAP2 000004f8: SWAP1 000004f9: POP 000004fa: POP 000004fb: POP 000004fc: PUSH2 0x1531 000004ff: JUMP 00000500: JUMPDEST 00000501: STOP 00000502: JUMPDEST 00000503: PUSH2 0x050a 00000506: PUSH2 0x169a 00000509: JUMP 0000050a: JUMPDEST 0000050b: STOP 0000050c: JUMPDEST 0000050d: PUSH2 0x0514 00000510: PUSH2 0x1752 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: DUP3 0000051a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052f: AND 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x20 00000534: ADD 00000535: SWAP2 00000536: POP 00000537: POP 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: DUP1 0000053c: SWAP2 0000053d: SUB 0000053e: SWAP1 0000053f: RETURN 00000540: JUMPDEST 00000541: PUSH2 0x0582 00000544: PUSH1 0x04 00000546: DUP1 00000547: CALLDATASIZE 00000548: SUB 00000549: PUSH1 0x20 0000054b: DUP2 0000054c: LT 0000054d: ISZERO 0000054e: PUSH2 0x0556 00000551: JUMPI 00000552: PUSH1 0x00 00000554: DUP1 00000555: REVERT 00000556: JUMPDEST 00000557: DUP2 00000558: ADD 00000559: SWAP1 0000055a: DUP1 0000055b: DUP1 0000055c: CALLDATALOAD 0000055d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000572: AND 00000573: SWAP1 00000574: PUSH1 0x20 00000576: ADD 00000577: SWAP1 00000578: SWAP3 00000579: SWAP2 0000057a: SWAP1 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: PUSH2 0x1778 00000581: JUMP 00000582: JUMPDEST 00000583: STOP 00000584: JUMPDEST 00000585: PUSH2 0x058c 00000588: PUSH2 0x186b 0000058b: JUMP 0000058c: JUMPDEST 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: DUP1 00000591: DUP3 00000592: DUP2 00000593: MSTORE 00000594: PUSH1 0x20 00000596: ADD 00000597: SWAP2 00000598: POP 00000599: POP 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: SWAP2 0000059f: SUB 000005a0: SWAP1 000005a1: RETURN 000005a2: JUMPDEST 000005a3: PUSH2 0x05aa 000005a6: PUSH2 0x1871 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: DUP1 000005af: DUP3 000005b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c5: AND 000005c6: DUP2 000005c7: MSTORE 000005c8: PUSH1 0x20 000005ca: ADD 000005cb: SWAP2 000005cc: POP 000005cd: POP 000005ce: PUSH1 0x40 000005d0: MLOAD 000005d1: DUP1 000005d2: SWAP2 000005d3: SUB 000005d4: SWAP1 000005d5: RETURN 000005d6: JUMPDEST 000005d7: PUSH2 0x05de 000005da: PUSH2 0x189a 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x40 000005e1: MLOAD 000005e2: DUP1 000005e3: DUP3 000005e4: DUP2 000005e5: MSTORE 000005e6: PUSH1 0x20 000005e8: ADD 000005e9: SWAP2 000005ea: POP 000005eb: POP 000005ec: PUSH1 0x40 000005ee: MLOAD 000005ef: DUP1 000005f0: SWAP2 000005f1: SUB 000005f2: SWAP1 000005f3: RETURN 000005f4: JUMPDEST 000005f5: PUSH2 0x05fc 000005f8: PUSH2 0x18a0 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH1 0x40 000005ff: MLOAD 00000600: DUP1 00000601: DUP3 00000602: ISZERO 00000603: ISZERO 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x20 00000608: ADD 00000609: SWAP2 0000060a: POP 0000060b: POP 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: DUP1 00000610: SWAP2 00000611: SUB 00000612: SWAP1 00000613: RETURN 00000614: JUMPDEST 00000615: PUSH2 0x064a 00000618: PUSH1 0x04 0000061a: DUP1 0000061b: CALLDATASIZE 0000061c: SUB 0000061d: PUSH1 0x40 0000061f: DUP2 00000620: LT 00000621: ISZERO 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH1 0x00 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: DUP2 0000062c: ADD 0000062d: SWAP1 0000062e: DUP1 0000062f: DUP1 00000630: CALLDATALOAD 00000631: SWAP1 00000632: PUSH1 0x20 00000634: ADD 00000635: SWAP1 00000636: SWAP3 00000637: SWAP2 00000638: SWAP1 00000639: DUP1 0000063a: CALLDATALOAD 0000063b: SWAP1 0000063c: PUSH1 0x20 0000063e: ADD 0000063f: SWAP1 00000640: SWAP3 00000641: SWAP2 00000642: SWAP1 00000643: POP 00000644: POP 00000645: POP 00000646: PUSH2 0x18b3 00000649: JUMP 0000064a: JUMPDEST 0000064b: STOP 0000064c: JUMPDEST 0000064d: PUSH2 0x0654 00000650: PUSH2 0x1ae3 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x40 00000657: MLOAD 00000658: DUP1 00000659: DUP3 0000065a: PUSH2 0xffff 0000065d: AND 0000065e: DUP2 0000065f: MSTORE 00000660: PUSH1 0x20 00000662: ADD 00000663: SWAP2 00000664: POP 00000665: POP 00000666: PUSH1 0x40 00000668: MLOAD 00000669: DUP1 0000066a: SWAP2 0000066b: SUB 0000066c: SWAP1 0000066d: RETURN 0000066e: JUMPDEST 0000066f: PUSH2 0x06a6 00000672: PUSH1 0x04 00000674: DUP1 00000675: CALLDATASIZE 00000676: SUB 00000677: PUSH1 0x40 00000679: DUP2 0000067a: LT 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: DUP2 00000686: ADD 00000687: SWAP1 00000688: DUP1 00000689: DUP1 0000068a: CALLDATALOAD 0000068b: ISZERO 0000068c: ISZERO 0000068d: SWAP1 0000068e: PUSH1 0x20 00000690: ADD 00000691: SWAP1 00000692: SWAP3 00000693: SWAP2 00000694: SWAP1 00000695: DUP1 00000696: CALLDATALOAD 00000697: SWAP1 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP1 0000069c: SWAP3 0000069d: SWAP2 0000069e: SWAP1 0000069f: POP 000006a0: POP 000006a1: POP 000006a2: PUSH2 0x1af7 000006a5: JUMP 000006a6: JUMPDEST 000006a7: STOP 000006a8: JUMPDEST 000006a9: PUSH2 0x06b0 000006ac: PUSH2 0x1d11 000006af: JUMP 000006b0: JUMPDEST 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: DUP1 000006b5: DUP3 000006b6: DUP2 000006b7: MSTORE 000006b8: PUSH1 0x20 000006ba: ADD 000006bb: SWAP2 000006bc: POP 000006bd: POP 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: DUP1 000006c2: SWAP2 000006c3: SUB 000006c4: SWAP1 000006c5: RETURN 000006c6: JUMPDEST 000006c7: PUSH2 0x0789 000006ca: PUSH1 0x04 000006cc: DUP1 000006cd: CALLDATASIZE 000006ce: SUB 000006cf: PUSH2 0x0120 000006d2: DUP2 000006d3: LT 000006d4: ISZERO 000006d5: PUSH2 0x06dd 000006d8: JUMPI 000006d9: PUSH1 0x00 000006db: DUP1 000006dc: REVERT 000006dd: JUMPDEST 000006de: DUP2 000006df: ADD 000006e0: SWAP1 000006e1: DUP1 000006e2: DUP1 000006e3: CALLDATALOAD 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: SWAP1 000006fb: PUSH1 0x20 000006fd: ADD 000006fe: SWAP1 000006ff: SWAP3 00000700: SWAP2 00000701: SWAP1 00000702: DUP1 00000703: CALLDATALOAD 00000704: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000719: AND 0000071a: SWAP1 0000071b: PUSH1 0x20 0000071d: ADD 0000071e: SWAP1 0000071f: SWAP3 00000720: SWAP2 00000721: SWAP1 00000722: DUP1 00000723: CALLDATALOAD 00000724: SWAP1 00000725: PUSH1 0x20 00000727: ADD 00000728: SWAP1 00000729: SWAP3 0000072a: SWAP2 0000072b: SWAP1 0000072c: DUP1 0000072d: CALLDATALOAD 0000072e: SWAP1 0000072f: PUSH1 0x20 00000731: ADD 00000732: SWAP1 00000733: SWAP3 00000734: SWAP2 00000735: SWAP1 00000736: DUP1 00000737: CALLDATALOAD 00000738: SWAP1 00000739: PUSH1 0x20 0000073b: ADD 0000073c: SWAP1 0000073d: SWAP3 0000073e: SWAP2 0000073f: SWAP1 00000740: DUP1 00000741: CALLDATALOAD 00000742: SWAP1 00000743: PUSH1 0x20 00000745: ADD 00000746: SWAP1 00000747: SWAP3 00000748: SWAP2 00000749: SWAP1 0000074a: DUP1 0000074b: CALLDATALOAD 0000074c: PUSH2 0xffff 0000074f: AND 00000750: SWAP1 00000751: PUSH1 0x20 00000753: ADD 00000754: SWAP1 00000755: SWAP3 00000756: SWAP2 00000757: SWAP1 00000758: DUP1 00000759: CALLDATALOAD 0000075a: SWAP1 0000075b: PUSH1 0x20 0000075d: ADD 0000075e: SWAP1 0000075f: SWAP3 00000760: SWAP2 00000761: SWAP1 00000762: DUP1 00000763: CALLDATALOAD 00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000779: AND 0000077a: SWAP1 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: SWAP1 0000077f: SWAP3 00000780: SWAP2 00000781: SWAP1 00000782: POP 00000783: POP 00000784: POP 00000785: PUSH2 0x1d17 00000788: JUMP 00000789: JUMPDEST 0000078a: STOP 0000078b: JUMPDEST 0000078c: PUSH2 0x07b7 0000078f: PUSH1 0x04 00000791: DUP1 00000792: CALLDATASIZE 00000793: SUB 00000794: PUSH1 0x20 00000796: DUP2 00000797: LT 00000798: ISZERO 00000799: PUSH2 0x07a1 0000079c: JUMPI 0000079d: PUSH1 0x00 0000079f: DUP1 000007a0: REVERT 000007a1: JUMPDEST 000007a2: DUP2 000007a3: ADD 000007a4: SWAP1 000007a5: DUP1 000007a6: DUP1 000007a7: CALLDATALOAD 000007a8: SWAP1 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: SWAP1 000007ad: SWAP3 000007ae: SWAP2 000007af: SWAP1 000007b0: POP 000007b1: POP 000007b2: POP 000007b3: PUSH2 0x2133 000007b6: JUMP 000007b7: JUMPDEST 000007b8: STOP 000007b9: JUMPDEST 000007ba: PUSH2 0x07c1 000007bd: PUSH2 0x2580 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x40 000007c4: MLOAD 000007c5: DUP1 000007c6: DUP3 000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dc: AND 000007dd: DUP2 000007de: MSTORE 000007df: PUSH1 0x20 000007e1: ADD 000007e2: SWAP2 000007e3: POP 000007e4: POP 000007e5: PUSH1 0x40 000007e7: MLOAD 000007e8: DUP1 000007e9: SWAP2 000007ea: SUB 000007eb: SWAP1 000007ec: RETURN 000007ed: JUMPDEST 000007ee: PUSH2 0x07f5 000007f1: PUSH2 0x25a6 000007f4: JUMP 000007f5: JUMPDEST 000007f6: PUSH1 0x40 000007f8: MLOAD 000007f9: DUP1 000007fa: DUP3 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH1 0x20 000007ff: ADD 00000800: SWAP2 00000801: POP 00000802: POP 00000803: PUSH1 0x40 00000805: MLOAD 00000806: DUP1 00000807: SWAP2 00000808: SUB 00000809: SWAP1 0000080a: RETURN 0000080b: JUMPDEST 0000080c: PUSH2 0x0813 0000080f: PUSH2 0x25ac 00000812: JUMP 00000813: JUMPDEST 00000814: STOP 00000815: JUMPDEST 00000816: PUSH2 0x0857 00000819: PUSH1 0x04 0000081b: DUP1 0000081c: CALLDATASIZE 0000081d: SUB 0000081e: PUSH1 0x20 00000820: DUP2 00000821: LT 00000822: ISZERO 00000823: PUSH2 0x082b 00000826: JUMPI 00000827: PUSH1 0x00 00000829: DUP1 0000082a: REVERT 0000082b: JUMPDEST 0000082c: DUP2 0000082d: ADD 0000082e: SWAP1 0000082f: DUP1 00000830: DUP1 00000831: CALLDATALOAD 00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000847: AND 00000848: SWAP1 00000849: PUSH1 0x20 0000084b: ADD 0000084c: SWAP1 0000084d: SWAP3 0000084e: SWAP2 0000084f: SWAP1 00000850: POP 00000851: POP 00000852: POP 00000853: PUSH2 0x27c5 00000856: JUMP 00000857: JUMPDEST 00000858: STOP 00000859: JUMPDEST 0000085a: PUSH2 0x089b 0000085d: PUSH1 0x04 0000085f: DUP1 00000860: CALLDATASIZE 00000861: SUB 00000862: PUSH1 0x20 00000864: DUP2 00000865: LT 00000866: ISZERO 00000867: PUSH2 0x086f 0000086a: JUMPI 0000086b: PUSH1 0x00 0000086d: DUP1 0000086e: REVERT 0000086f: JUMPDEST 00000870: DUP2 00000871: ADD 00000872: SWAP1 00000873: DUP1 00000874: DUP1 00000875: CALLDATALOAD 00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088b: AND 0000088c: SWAP1 0000088d: PUSH1 0x20 0000088f: ADD 00000890: SWAP1 00000891: SWAP3 00000892: SWAP2 00000893: SWAP1 00000894: POP 00000895: POP 00000896: POP 00000897: PUSH2 0x29b7 0000089a: JUMP 0000089b: JUMPDEST 0000089c: PUSH1 0x40 0000089e: MLOAD 0000089f: DUP1 000008a0: DUP3 000008a1: DUP2 000008a2: MSTORE 000008a3: PUSH1 0x20 000008a5: ADD 000008a6: SWAP2 000008a7: POP 000008a8: POP 000008a9: PUSH1 0x40 000008ab: MLOAD 000008ac: DUP1 000008ad: SWAP2 000008ae: SUB 000008af: SWAP1 000008b0: RETURN 000008b1: JUMPDEST 000008b2: PUSH2 0x08b9 000008b5: PUSH2 0x2bdc 000008b8: JUMP 000008b9: JUMPDEST 000008ba: PUSH1 0x40 000008bc: MLOAD 000008bd: DUP1 000008be: DUP3 000008bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d4: AND 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x20 000008d9: ADD 000008da: SWAP2 000008db: POP 000008dc: POP 000008dd: PUSH1 0x40 000008df: MLOAD 000008e0: DUP1 000008e1: SWAP2 000008e2: SUB 000008e3: SWAP1 000008e4: RETURN 000008e5: JUMPDEST 000008e6: PUSH2 0x08ed 000008e9: PUSH2 0x2c02 000008ec: JUMP 000008ed: JUMPDEST 000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000903: AND 00000904: PUSH2 0x090b 00000907: PUSH2 0x1871 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000921: AND 00000922: EQ 00000923: PUSH2 0x0994 00000926: JUMPI 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x04 0000094f: ADD 00000950: DUP1 00000951: DUP1 00000952: PUSH1 0x20 00000954: ADD 00000955: DUP3 00000956: DUP2 00000957: SUB 00000958: DUP3 00000959: MSTORE 0000095a: PUSH1 0x20 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: ADD 00000961: DUP1 00000962: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000983: DUP2 00000984: MSTORE 00000985: POP 00000986: PUSH1 0x20 00000988: ADD 00000989: SWAP2 0000098a: POP 0000098b: POP 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: DUP1 00000990: SWAP2 00000991: SUB 00000992: SWAP1 00000993: REVERT 00000994: JUMPDEST 00000995: PUSH1 0x06 00000997: SLOAD 00000998: NUMBER 00000999: LT 0000099a: PUSH2 0x0a0b 0000099d: JUMPI 0000099e: PUSH1 0x40 000009a0: MLOAD 000009a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009c2: DUP2 000009c3: MSTORE 000009c4: PUSH1 0x04 000009c6: ADD 000009c7: DUP1 000009c8: DUP1 000009c9: PUSH1 0x20 000009cb: ADD 000009cc: DUP3 000009cd: DUP2 000009ce: SUB 000009cf: DUP3 000009d0: MSTORE 000009d1: PUSH1 0x10 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x20 000009d7: ADD 000009d8: DUP1 000009d9: PUSH32 0x506f6f6c20686173207374617274656400000000000000000000000000000000 000009fa: DUP2 000009fb: MSTORE 000009fc: POP 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: SWAP2 00000a01: POP 00000a02: POP 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: DUP1 00000a07: SWAP2 00000a08: SUB 00000a09: SWAP1 00000a0a: REVERT 00000a0b: JUMPDEST 00000a0c: DUP1 00000a0d: PUSH1 0x09 00000a0f: DUP2 00000a10: SWAP1 00000a11: SSTORE 00000a12: POP 00000a13: PUSH32 0x0c4d677eef92893ac7ec52faf8140fc6c851ab4736302b4f3a89dfb20696a0df 00000a34: DUP2 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: DUP1 00000a39: DUP3 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x20 00000a3e: ADD 00000a3f: SWAP2 00000a40: POP 00000a41: POP 00000a42: PUSH1 0x40 00000a44: MLOAD 00000a45: DUP1 00000a46: SWAP2 00000a47: SUB 00000a48: SWAP1 00000a49: LOG1 00000a4a: POP 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH2 0x0a54 00000a50: PUSH2 0x2c02 00000a53: JUMP 00000a54: JUMPDEST 00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6a: AND 00000a6b: PUSH2 0x0a72 00000a6e: PUSH2 0x1871 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a88: AND 00000a89: EQ 00000a8a: PUSH2 0x0afb 00000a8d: JUMPI 00000a8e: PUSH1 0x40 00000a90: MLOAD 00000a91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ab2: DUP2 00000ab3: MSTORE 00000ab4: PUSH1 0x04 00000ab6: ADD 00000ab7: DUP1 00000ab8: DUP1 00000ab9: PUSH1 0x20 00000abb: ADD 00000abc: DUP3 00000abd: DUP2 00000abe: SUB 00000abf: DUP3 00000ac0: MSTORE 00000ac1: PUSH1 0x20 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x20 00000ac7: ADD 00000ac8: DUP1 00000ac9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000aea: DUP2 00000aeb: MSTORE 00000aec: POP 00000aed: PUSH1 0x20 00000aef: ADD 00000af0: SWAP2 00000af1: POP 00000af2: POP 00000af3: PUSH1 0x40 00000af5: MLOAD 00000af6: DUP1 00000af7: SWAP2 00000af8: SUB 00000af9: SWAP1 00000afa: REVERT 00000afb: JUMPDEST 00000afc: PUSH2 0x2710 00000aff: DUP2 00000b00: PUSH2 0xffff 00000b03: AND 00000b04: LT 00000b05: PUSH2 0x0b59 00000b08: JUMPI 00000b09: PUSH1 0x40 00000b0b: MLOAD 00000b0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x04 00000b31: ADD 00000b32: DUP1 00000b33: DUP1 00000b34: PUSH1 0x20 00000b36: ADD 00000b37: DUP3 00000b38: DUP2 00000b39: SUB 00000b3a: DUP3 00000b3b: MSTORE 00000b3c: PUSH1 0x24 00000b3e: DUP2 00000b3f: MSTORE 00000b40: PUSH1 0x20 00000b42: ADD 00000b43: DUP1 00000b44: PUSH2 0x35c4 00000b47: PUSH1 0x24 00000b49: SWAP2 00000b4a: CODECOPY 00000b4b: PUSH1 0x40 00000b4d: ADD 00000b4e: SWAP2 00000b4f: POP 00000b50: POP 00000b51: PUSH1 0x40 00000b53: MLOAD 00000b54: DUP1 00000b55: SWAP2 00000b56: SUB 00000b57: SWAP1 00000b58: REVERT 00000b59: JUMPDEST 00000b5a: DUP1 00000b5b: PUSH1 0x0c 00000b5d: PUSH1 0x14 00000b5f: PUSH2 0x0100 00000b62: EXP 00000b63: DUP2 00000b64: SLOAD 00000b65: DUP2 00000b66: PUSH2 0xffff 00000b69: MUL 00000b6a: NOT 00000b6b: AND 00000b6c: SWAP1 00000b6d: DUP4 00000b6e: PUSH2 0xffff 00000b71: AND 00000b72: MUL 00000b73: OR 00000b74: SWAP1 00000b75: SSTORE 00000b76: POP 00000b77: PUSH32 0x7e027715184f6a1949fa9869334444260da6ea402170ab8d06d0fa992ff56fb1 00000b98: DUP2 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: DUP3 00000b9e: PUSH2 0xffff 00000ba1: AND 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x20 00000ba6: ADD 00000ba7: SWAP2 00000ba8: POP 00000ba9: POP 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: DUP1 00000bae: SWAP2 00000baf: SUB 00000bb0: SWAP1 00000bb1: LOG1 00000bb2: POP 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: PUSH1 0x00 00000bb7: DUP1 00000bb8: PUSH1 0x0e 00000bba: PUSH1 0x00 00000bbc: DUP5 00000bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd2: AND 00000bd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be8: AND 00000be9: DUP2 00000bea: MSTORE 00000beb: PUSH1 0x20 00000bed: ADD 00000bee: SWAP1 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x20 00000bf3: ADD 00000bf4: PUSH1 0x00 00000bf6: KECCAK256 00000bf7: SWAP1 00000bf8: POP 00000bf9: DUP1 00000bfa: PUSH1 0x02 00000bfc: ADD 00000bfd: SLOAD 00000bfe: TIMESTAMP 00000bff: LT 00000c00: ISZERO 00000c01: SWAP2 00000c02: POP 00000c03: POP 00000c04: SWAP2 00000c05: SWAP1 00000c06: POP 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x0e 00000c0b: PUSH1 0x20 00000c0d: MSTORE 00000c0e: DUP1 00000c0f: PUSH1 0x00 00000c11: MSTORE 00000c12: PUSH1 0x40 00000c14: PUSH1 0x00 00000c16: KECCAK256 00000c17: PUSH1 0x00 00000c19: SWAP2 00000c1a: POP 00000c1b: SWAP1 00000c1c: POP 00000c1d: DUP1 00000c1e: PUSH1 0x00 00000c20: ADD 00000c21: SLOAD 00000c22: SWAP1 00000c23: DUP1 00000c24: PUSH1 0x01 00000c26: ADD 00000c27: SLOAD 00000c28: SWAP1 00000c29: DUP1 00000c2a: PUSH1 0x02 00000c2c: ADD 00000c2d: SLOAD 00000c2e: SWAP1 00000c2f: POP 00000c30: DUP4 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x05 00000c35: SLOAD 00000c36: DUP2 00000c37: JUMP 00000c38: JUMPDEST 00000c39: PUSH1 0x02 00000c3b: PUSH1 0x01 00000c3d: SLOAD 00000c3e: EQ 00000c3f: ISZERO 00000c40: PUSH2 0x0cb1 00000c43: JUMPI 00000c44: PUSH1 0x40 00000c46: MLOAD 00000c47: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x04 00000c6c: ADD 00000c6d: DUP1 00000c6e: DUP1 00000c6f: PUSH1 0x20 00000c71: ADD 00000c72: DUP3 00000c73: DUP2 00000c74: SUB 00000c75: DUP3 00000c76: MSTORE 00000c77: PUSH1 0x1f 00000c79: DUP2 00000c7a: MSTORE 00000c7b: PUSH1 0x20 00000c7d: ADD 00000c7e: DUP1 00000c7f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: POP 00000ca3: PUSH1 0x20 00000ca5: ADD 00000ca6: SWAP2 00000ca7: POP 00000ca8: POP 00000ca9: PUSH1 0x40 00000cab: MLOAD 00000cac: DUP1 00000cad: SWAP2 00000cae: SUB 00000caf: SWAP1 00000cb0: REVERT 00000cb1: JUMPDEST 00000cb2: PUSH1 0x02 00000cb4: PUSH1 0x01 00000cb6: DUP2 00000cb7: SWAP1 00000cb8: SSTORE 00000cb9: POP 00000cba: PUSH1 0x00 00000cbc: PUSH1 0x0e 00000cbe: PUSH1 0x00 00000cc0: CALLER 00000cc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd6: AND 00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cec: AND 00000ced: DUP2 00000cee: MSTORE 00000cef: PUSH1 0x20 00000cf1: ADD 00000cf2: SWAP1 00000cf3: DUP2 00000cf4: MSTORE 00000cf5: PUSH1 0x20 00000cf7: ADD 00000cf8: PUSH1 0x00 00000cfa: KECCAK256 00000cfb: SWAP1 00000cfc: POP 00000cfd: DUP2 00000cfe: DUP2 00000cff: PUSH1 0x00 00000d01: ADD 00000d02: SLOAD 00000d03: LT 00000d04: ISZERO 00000d05: PUSH2 0x0d76 00000d08: JUMPI 00000d09: PUSH1 0x40 00000d0b: MLOAD 00000d0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d2d: DUP2 00000d2e: MSTORE 00000d2f: PUSH1 0x04 00000d31: ADD 00000d32: DUP1 00000d33: DUP1 00000d34: PUSH1 0x20 00000d36: ADD 00000d37: DUP3 00000d38: DUP2 00000d39: SUB 00000d3a: DUP3 00000d3b: MSTORE 00000d3c: PUSH1 0x1b 00000d3e: DUP2 00000d3f: MSTORE 00000d40: PUSH1 0x20 00000d42: ADD 00000d43: DUP1 00000d44: PUSH32 0x416d6f756e7420746f20776974686472617720746f6f20686967680000000000 00000d65: DUP2 00000d66: MSTORE 00000d67: POP 00000d68: PUSH1 0x20 00000d6a: ADD 00000d6b: SWAP2 00000d6c: POP 00000d6d: POP 00000d6e: PUSH1 0x40 00000d70: MLOAD 00000d71: DUP1 00000d72: SWAP2 00000d73: SUB 00000d74: SWAP1 00000d75: REVERT 00000d76: JUMPDEST 00000d77: TIMESTAMP 00000d78: DUP2 00000d79: PUSH1 0x02 00000d7b: ADD 00000d7c: SLOAD 00000d7d: GT 00000d7e: ISZERO 00000d7f: PUSH2 0x0df0 00000d82: JUMPI 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000da7: DUP2 00000da8: MSTORE 00000da9: PUSH1 0x04 00000dab: ADD 00000dac: DUP1 00000dad: DUP1 00000dae: PUSH1 0x20 00000db0: ADD 00000db1: DUP3 00000db2: DUP2 00000db3: SUB 00000db4: DUP3 00000db5: MSTORE 00000db6: PUSH1 0x11 00000db8: DUP2 00000db9: MSTORE 00000dba: PUSH1 0x20 00000dbc: ADD 00000dbd: DUP1 00000dbe: PUSH32 0x5769746864726177616c206c6f636b6564000000000000000000000000000000 00000ddf: DUP2 00000de0: MSTORE 00000de1: POP 00000de2: PUSH1 0x20 00000de4: ADD 00000de5: SWAP2 00000de6: POP 00000de7: POP 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: DUP1 00000dec: SWAP2 00000ded: SUB 00000dee: SWAP1 00000def: REVERT 00000df0: JUMPDEST 00000df1: PUSH2 0x0df8 00000df4: PUSH2 0x2c0a 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x00 00000dfb: PUSH2 0x0e3d 00000dfe: DUP3 00000dff: PUSH1 0x01 00000e01: ADD 00000e02: SLOAD 00000e03: PUSH2 0x0e2f 00000e06: PUSH1 0x0a 00000e08: SLOAD 00000e09: PUSH2 0x0e21 00000e0c: PUSH1 0x04 00000e0e: SLOAD 00000e0f: DUP8 00000e10: PUSH1 0x00 00000e12: ADD 00000e13: SLOAD 00000e14: PUSH2 0x2d6d 00000e17: SWAP1 00000e18: SWAP2 00000e19: SWAP1 00000e1a: PUSH4 0xffffffff 00000e1f: AND 00000e20: JUMP 00000e21: JUMPDEST 00000e22: PUSH2 0x2df3 00000e25: SWAP1 00000e26: SWAP2 00000e27: SWAP1 00000e28: PUSH4 0xffffffff 00000e2d: AND 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH2 0x2e7c 00000e33: SWAP1 00000e34: SWAP2 00000e35: SWAP1 00000e36: PUSH4 0xffffffff 00000e3b: AND 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: SWAP1 00000e3f: POP 00000e40: PUSH1 0x00 00000e42: DUP4 00000e43: GT 00000e44: ISZERO 00000e45: PUSH2 0x0eb5 00000e48: JUMPI 00000e49: PUSH2 0x0e5f 00000e4c: DUP4 00000e4d: DUP4 00000e4e: PUSH1 0x00 00000e50: ADD 00000e51: SLOAD 00000e52: PUSH2 0x2e7c 00000e55: SWAP1 00000e56: SWAP2 00000e57: SWAP1 00000e58: PUSH4 0xffffffff 00000e5d: AND 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: DUP3 00000e61: PUSH1 0x00 00000e63: ADD 00000e64: DUP2 00000e65: SWAP1 00000e66: SSTORE 00000e67: POP 00000e68: PUSH2 0x0eb4 00000e6b: CALLER 00000e6c: DUP5 00000e6d: PUSH1 0x0c 00000e6f: PUSH1 0x00 00000e71: SWAP1 00000e72: SLOAD 00000e73: SWAP1 00000e74: PUSH2 0x0100 00000e77: EXP 00000e78: SWAP1 00000e79: DIV 00000e7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8f: AND 00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea5: AND 00000ea6: PUSH2 0x2eff 00000ea9: SWAP1 00000eaa: SWAP3 00000eab: SWAP2 00000eac: SWAP1 00000ead: PUSH4 0xffffffff 00000eb2: AND 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: JUMPDEST 00000eb6: PUSH1 0x00 00000eb8: DUP2 00000eb9: GT 00000eba: ISZERO 00000ebb: PUSH2 0x0f29 00000ebe: JUMPI 00000ebf: PUSH2 0x0f0b 00000ec2: CALLER 00000ec3: DUP3 00000ec4: PUSH1 0x0b 00000ec6: PUSH1 0x00 00000ec8: SWAP1 00000ec9: SLOAD 00000eca: SWAP1 00000ecb: PUSH2 0x0100 00000ece: EXP 00000ecf: SWAP1 00000ed0: DIV 00000ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee6: AND 00000ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efc: AND 00000efd: PUSH2 0x2eff 00000f00: SWAP1 00000f01: SWAP3 00000f02: SWAP2 00000f03: SWAP1 00000f04: PUSH4 0xffffffff 00000f09: AND 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: PUSH2 0x0f20 00000f0f: PUSH1 0x0d 00000f11: SLOAD 00000f12: TIMESTAMP 00000f13: PUSH2 0x2fa1 00000f16: SWAP1 00000f17: SWAP2 00000f18: SWAP1 00000f19: PUSH4 0xffffffff 00000f1e: AND 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: DUP3 00000f22: PUSH1 0x02 00000f24: ADD 00000f25: DUP2 00000f26: SWAP1 00000f27: SSTORE 00000f28: POP 00000f29: JUMPDEST 00000f2a: PUSH2 0x0f56 00000f2d: PUSH1 0x0a 00000f2f: SLOAD 00000f30: PUSH2 0x0f48 00000f33: PUSH1 0x04 00000f35: SLOAD 00000f36: DUP6 00000f37: PUSH1 0x00 00000f39: ADD 00000f3a: SLOAD 00000f3b: PUSH2 0x2d6d 00000f3e: SWAP1 00000f3f: SWAP2 00000f40: SWAP1 00000f41: PUSH4 0xffffffff 00000f46: AND 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH2 0x2df3 00000f4c: SWAP1 00000f4d: SWAP2 00000f4e: SWAP1 00000f4f: PUSH4 0xffffffff 00000f54: AND 00000f55: JUMP 00000f56: JUMPDEST 00000f57: DUP3 00000f58: PUSH1 0x01 00000f5a: ADD 00000f5b: DUP2 00000f5c: SWAP1 00000f5d: SSTORE 00000f5e: POP 00000f5f: CALLER 00000f60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f75: AND 00000f76: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000f97: DUP5 00000f98: PUSH1 0x40 00000f9a: MLOAD 00000f9b: DUP1 00000f9c: DUP3 00000f9d: DUP2 00000f9e: MSTORE 00000f9f: PUSH1 0x20 00000fa1: ADD 00000fa2: SWAP2 00000fa3: POP 00000fa4: POP 00000fa5: PUSH1 0x40 00000fa7: MLOAD 00000fa8: DUP1 00000fa9: SWAP2 00000faa: SUB 00000fab: SWAP1 00000fac: LOG2 00000fad: POP 00000fae: POP 00000faf: PUSH1 0x01 00000fb1: DUP1 00000fb2: DUP2 00000fb3: SWAP1 00000fb4: SSTORE 00000fb5: POP 00000fb6: POP 00000fb7: JUMP 00000fb8: JUMPDEST 00000fb9: PUSH1 0x0d 00000fbb: SLOAD 00000fbc: DUP2 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH2 0x0fc6 00000fc2: PUSH2 0x2c02 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdc: AND 00000fdd: PUSH2 0x0fe4 00000fe0: PUSH2 0x1871 00000fe3: JUMP 00000fe4: JUMPDEST 00000fe5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffa: AND 00000ffb: EQ 00000ffc: PUSH2 0x106d 00000fff: JUMPI 00001000: PUSH1 0x40 00001002: MLOAD 00001003: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001024: DUP2 00001025: MSTORE 00001026: PUSH1 0x04 00001028: ADD 00001029: DUP1 0000102a: DUP1 0000102b: PUSH1 0x20 0000102d: ADD 0000102e: DUP3 0000102f: DUP2 00001030: SUB 00001031: DUP3 00001032: MSTORE 00001033: PUSH1 0x20 00001035: DUP2 00001036: MSTORE 00001037: PUSH1 0x20 00001039: ADD 0000103a: DUP1 0000103b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000105c: DUP2 0000105d: MSTORE 0000105e: POP 0000105f: PUSH1 0x20 00001061: ADD 00001062: SWAP2 00001063: POP 00001064: POP 00001065: PUSH1 0x40 00001067: MLOAD 00001068: DUP1 00001069: SWAP2 0000106a: SUB 0000106b: SWAP1 0000106c: REVERT 0000106d: JUMPDEST 0000106e: PUSH2 0x10ba 00001071: CALLER 00001072: DUP3 00001073: PUSH1 0x0b 00001075: PUSH1 0x00 00001077: SWAP1 00001078: SLOAD 00001079: SWAP1 0000107a: PUSH2 0x0100 0000107d: EXP 0000107e: SWAP1 0000107f: DIV 00001080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001095: AND 00001096: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ab: AND 000010ac: PUSH2 0x2eff 000010af: SWAP1 000010b0: SWAP3 000010b1: SWAP2 000010b2: SWAP1 000010b3: PUSH4 0xffffffff 000010b8: AND 000010b9: JUMP 000010ba: JUMPDEST 000010bb: POP 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0x03 000010c0: PUSH1 0x15 000010c2: SWAP1 000010c3: SLOAD 000010c4: SWAP1 000010c5: PUSH2 0x0100 000010c8: EXP 000010c9: SWAP1 000010ca: DIV 000010cb: PUSH1 0xff 000010cd: AND 000010ce: DUP2 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH2 0x10d8 000010d4: PUSH2 0x2c02 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ee: AND 000010ef: PUSH2 0x10f6 000010f2: PUSH2 0x1871 000010f5: JUMP 000010f6: JUMPDEST 000010f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110c: AND 0000110d: EQ 0000110e: PUSH2 0x117f 00001111: JUMPI 00001112: PUSH1 0x40 00001114: MLOAD 00001115: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001136: DUP2 00001137: MSTORE 00001138: PUSH1 0x04 0000113a: ADD 0000113b: DUP1 0000113c: DUP1 0000113d: PUSH1 0x20 0000113f: ADD 00001140: DUP3 00001141: DUP2 00001142: SUB 00001143: DUP3 00001144: MSTORE 00001145: PUSH1 0x20 00001147: DUP2 00001148: MSTORE 00001149: PUSH1 0x20 0000114b: ADD 0000114c: DUP1 0000114d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000116e: DUP2 0000116f: MSTORE 00001170: POP 00001171: PUSH1 0x20 00001173: ADD 00001174: SWAP2 00001175: POP 00001176: POP 00001177: PUSH1 0x40 00001179: MLOAD 0000117a: DUP1 0000117b: SWAP2 0000117c: SUB 0000117d: SWAP1 0000117e: REVERT 0000117f: JUMPDEST 00001180: PUSH1 0x0c 00001182: PUSH1 0x00 00001184: SWAP1 00001185: SLOAD 00001186: SWAP1 00001187: PUSH2 0x0100 0000118a: EXP 0000118b: SWAP1 0000118c: DIV 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b8: AND 000011b9: DUP3 000011ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cf: AND 000011d0: EQ 000011d1: ISZERO 000011d2: PUSH2 0x1243 000011d5: JUMPI 000011d6: PUSH1 0x40 000011d8: MLOAD 000011d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011fa: DUP2 000011fb: MSTORE 000011fc: PUSH1 0x04 000011fe: ADD 000011ff: DUP1 00001200: DUP1 00001201: PUSH1 0x20 00001203: ADD 00001204: DUP3 00001205: DUP2 00001206: SUB 00001207: DUP3 00001208: MSTORE 00001209: PUSH1 0x16 0000120b: DUP2 0000120c: MSTORE 0000120d: PUSH1 0x20 0000120f: ADD 00001210: DUP1 00001211: PUSH32 0x43616e6e6f74206265207374616b656420746f6b656e00000000000000000000 00001232: DUP2 00001233: MSTORE 00001234: POP 00001235: PUSH1 0x20 00001237: ADD 00001238: SWAP2 00001239: POP 0000123a: POP 0000123b: PUSH1 0x40 0000123d: MLOAD 0000123e: DUP1 0000123f: SWAP2 00001240: SUB 00001241: SWAP1 00001242: REVERT 00001243: JUMPDEST 00001244: PUSH1 0x0b 00001246: PUSH1 0x00 00001248: SWAP1 00001249: SLOAD 0000124a: SWAP1 0000124b: PUSH2 0x0100 0000124e: EXP 0000124f: SWAP1 00001250: DIV 00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001266: AND 00001267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000127c: AND 0000127d: DUP3 0000127e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001293: AND 00001294: EQ 00001295: ISZERO 00001296: PUSH2 0x1307 00001299: JUMPI 0000129a: PUSH1 0x40 0000129c: MLOAD 0000129d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012be: DUP2 000012bf: MSTORE 000012c0: PUSH1 0x04 000012c2: ADD 000012c3: DUP1 000012c4: DUP1 000012c5: PUSH1 0x20 000012c7: ADD 000012c8: DUP3 000012c9: DUP2 000012ca: SUB 000012cb: DUP3 000012cc: MSTORE 000012cd: PUSH1 0x16 000012cf: DUP2 000012d0: MSTORE 000012d1: PUSH1 0x20 000012d3: ADD 000012d4: DUP1 000012d5: PUSH32 0x43616e6e6f742062652072657761726420746f6b656e00000000000000000000 000012f6: DUP2 000012f7: MSTORE 000012f8: POP 000012f9: PUSH1 0x20 000012fb: ADD 000012fc: SWAP2 000012fd: POP 000012fe: POP 000012ff: PUSH1 0x40 00001301: MLOAD 00001302: DUP1 00001303: SWAP2 00001304: SUB 00001305: SWAP1 00001306: REVERT 00001307: JUMPDEST 00001308: PUSH2 0x1332 0000130b: CALLER 0000130c: DUP3 0000130d: DUP5 0000130e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001323: AND 00001324: PUSH2 0x2eff 00001327: SWAP1 00001328: SWAP3 00001329: SWAP2 0000132a: SWAP1 0000132b: PUSH4 0xffffffff 00001330: AND 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH32 0x74545154aac348a3eac92596bd1971957ca94795f4e954ec5f613b55fab78129 00001354: DUP3 00001355: DUP3 00001356: PUSH1 0x40 00001358: MLOAD 00001359: DUP1 0000135a: DUP4 0000135b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001370: AND 00001371: DUP2 00001372: MSTORE 00001373: PUSH1 0x20 00001375: ADD 00001376: DUP3 00001377: DUP2 00001378: MSTORE 00001379: PUSH1 0x20 0000137b: ADD 0000137c: SWAP3 0000137d: POP 0000137e: POP 0000137f: POP 00001380: PUSH1 0x40 00001382: MLOAD 00001383: DUP1 00001384: SWAP2 00001385: SUB 00001386: SWAP1 00001387: LOG1 00001388: POP 00001389: POP 0000138a: JUMP 0000138b: JUMPDEST 0000138c: PUSH1 0x06 0000138e: SLOAD 0000138f: DUP2 00001390: JUMP 00001391: JUMPDEST 00001392: PUSH3 0x278d00 00001396: DUP2 00001397: JUMP 00001398: JUMPDEST 00001399: PUSH1 0x08 0000139b: SLOAD 0000139c: DUP2 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH2 0x13a6 000013a2: PUSH2 0x2c02 000013a5: JUMP 000013a6: JUMPDEST 000013a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bc: AND 000013bd: PUSH2 0x13c4 000013c0: PUSH2 0x1871 000013c3: JUMP 000013c4: JUMPDEST 000013c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013da: AND 000013db: EQ 000013dc: PUSH2 0x144d 000013df: JUMPI 000013e0: PUSH1 0x40 000013e2: MLOAD 000013e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001404: DUP2 00001405: MSTORE 00001406: PUSH1 0x04 00001408: ADD 00001409: DUP1 0000140a: DUP1 0000140b: PUSH1 0x20 0000140d: ADD 0000140e: DUP3 0000140f: DUP2 00001410: SUB 00001411: DUP3 00001412: MSTORE 00001413: PUSH1 0x20 00001415: DUP2 00001416: MSTORE 00001417: PUSH1 0x20 00001419: ADD 0000141a: DUP1 0000141b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000143c: DUP2 0000143d: MSTORE 0000143e: POP 0000143f: PUSH1 0x20 00001441: ADD 00001442: SWAP2 00001443: POP 00001444: POP 00001445: PUSH1 0x40 00001447: MLOAD 00001448: DUP1 00001449: SWAP2 0000144a: SUB 0000144b: SWAP1 0000144c: REVERT 0000144d: JUMPDEST 0000144e: PUSH1 0x00 00001450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001465: AND 00001466: PUSH1 0x00 00001468: DUP1 00001469: SLOAD 0000146a: SWAP1 0000146b: PUSH2 0x0100 0000146e: EXP 0000146f: SWAP1 00001470: DIV 00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001486: AND 00001487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149c: AND 0000149d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000014be: PUSH1 0x40 000014c0: MLOAD 000014c1: PUSH1 0x40 000014c3: MLOAD 000014c4: DUP1 000014c5: SWAP2 000014c6: SUB 000014c7: SWAP1 000014c8: LOG3 000014c9: PUSH1 0x00 000014cb: DUP1 000014cc: PUSH1 0x00 000014ce: PUSH2 0x0100 000014d1: EXP 000014d2: DUP2 000014d3: SLOAD 000014d4: DUP2 000014d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ea: MUL 000014eb: NOT 000014ec: AND 000014ed: SWAP1 000014ee: DUP4 000014ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001504: AND 00001505: MUL 00001506: OR 00001507: SWAP1 00001508: SSTORE 00001509: POP 0000150a: JUMP 0000150b: JUMPDEST 0000150c: PUSH1 0x02 0000150e: PUSH1 0x00 00001510: SWAP1 00001511: SLOAD 00001512: SWAP1 00001513: PUSH2 0x0100 00001516: EXP 00001517: SWAP1 00001518: DIV 00001519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152e: AND 0000152f: DUP2 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH2 0x1539 00001535: PUSH2 0x2c02 00001538: JUMP 00001539: JUMPDEST 0000153a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000154f: AND 00001550: PUSH2 0x1557 00001553: PUSH2 0x1871 00001556: JUMP 00001557: JUMPDEST 00001558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156d: AND 0000156e: EQ 0000156f: PUSH2 0x15e0 00001572: JUMPI 00001573: PUSH1 0x40 00001575: MLOAD 00001576: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001597: DUP2 00001598: MSTORE 00001599: PUSH1 0x04 0000159b: ADD 0000159c: DUP1 0000159d: DUP1 0000159e: PUSH1 0x20 000015a0: ADD 000015a1: DUP3 000015a2: DUP2 000015a3: SUB 000015a4: DUP3 000015a5: MSTORE 000015a6: PUSH1 0x20 000015a8: DUP2 000015a9: MSTORE 000015aa: PUSH1 0x20 000015ac: ADD 000015ad: DUP1 000015ae: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000015cf: DUP2 000015d0: MSTORE 000015d1: POP 000015d2: PUSH1 0x20 000015d4: ADD 000015d5: SWAP2 000015d6: POP 000015d7: POP 000015d8: PUSH1 0x40 000015da: MLOAD 000015db: DUP1 000015dc: SWAP2 000015dd: SUB 000015de: SWAP1 000015df: REVERT 000015e0: JUMPDEST 000015e1: PUSH3 0x278d00 000015e5: DUP2 000015e6: GT 000015e7: ISZERO 000015e8: PUSH2 0x1659 000015eb: JUMPI 000015ec: PUSH1 0x40 000015ee: MLOAD 000015ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001610: DUP2 00001611: MSTORE 00001612: PUSH1 0x04 00001614: ADD 00001615: DUP1 00001616: DUP1 00001617: PUSH1 0x20 00001619: ADD 0000161a: DUP3 0000161b: DUP2 0000161c: SUB 0000161d: DUP3 0000161e: MSTORE 0000161f: PUSH1 0x1b 00001621: DUP2 00001622: MSTORE 00001623: PUSH1 0x20 00001625: ADD 00001626: DUP1 00001627: PUSH32 0x496e76616c6964207769746864726177616c20696e74657276616c0000000000 00001648: DUP2 00001649: MSTORE 0000164a: POP 0000164b: PUSH1 0x20 0000164d: ADD 0000164e: SWAP2 0000164f: POP 00001650: POP 00001651: PUSH1 0x40 00001653: MLOAD 00001654: DUP1 00001655: SWAP2 00001656: SUB 00001657: SWAP1 00001658: REVERT 00001659: JUMPDEST 0000165a: DUP1 0000165b: PUSH1 0x0d 0000165d: DUP2 0000165e: SWAP1 0000165f: SSTORE 00001660: POP 00001661: PUSH32 0x69fe3855170c10a3fc76e475c13958c74522b1a05679138e3bbfbd66413e9c22 00001682: DUP2 00001683: PUSH1 0x40 00001685: MLOAD 00001686: DUP1 00001687: DUP3 00001688: DUP2 00001689: MSTORE 0000168a: PUSH1 0x20 0000168c: ADD 0000168d: SWAP2 0000168e: POP 0000168f: POP 00001690: PUSH1 0x40 00001692: MLOAD 00001693: DUP1 00001694: SWAP2 00001695: SUB 00001696: SWAP1 00001697: LOG1 00001698: POP 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH2 0x16a2 0000169e: PUSH2 0x2c02 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b8: AND 000016b9: PUSH2 0x16c0 000016bc: PUSH2 0x1871 000016bf: JUMP 000016c0: JUMPDEST 000016c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d6: AND 000016d7: EQ 000016d8: PUSH2 0x1749 000016db: JUMPI 000016dc: PUSH1 0x40 000016de: MLOAD 000016df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001700: DUP2 00001701: MSTORE 00001702: PUSH1 0x04 00001704: ADD 00001705: DUP1 00001706: DUP1 00001707: PUSH1 0x20 00001709: ADD 0000170a: DUP3 0000170b: DUP2 0000170c: SUB 0000170d: DUP3 0000170e: MSTORE 0000170f: PUSH1 0x20 00001711: DUP2 00001712: MSTORE 00001713: PUSH1 0x20 00001715: ADD 00001716: DUP1 00001717: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001738: DUP2 00001739: MSTORE 0000173a: POP 0000173b: PUSH1 0x20 0000173d: ADD 0000173e: SWAP2 0000173f: POP 00001740: POP 00001741: PUSH1 0x40 00001743: MLOAD 00001744: DUP1 00001745: SWAP2 00001746: SUB 00001747: SWAP1 00001748: REVERT 00001749: JUMPDEST 0000174a: NUMBER 0000174b: PUSH1 0x05 0000174d: DUP2 0000174e: SWAP1 0000174f: SSTORE 00001750: POP 00001751: JUMP 00001752: JUMPDEST 00001753: PUSH1 0x03 00001755: PUSH1 0x00 00001757: SWAP1 00001758: SLOAD 00001759: SWAP1 0000175a: PUSH2 0x0100 0000175d: EXP 0000175e: SWAP1 0000175f: DIV 00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001775: AND 00001776: DUP2 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH2 0x1780 0000177c: PUSH2 0x2c02 0000177f: JUMP 00001780: JUMPDEST 00001781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001796: AND 00001797: PUSH2 0x179e 0000179a: PUSH2 0x1871 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b4: AND 000017b5: EQ 000017b6: PUSH2 0x1827 000017b9: JUMPI 000017ba: PUSH1 0x40 000017bc: MLOAD 000017bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017de: DUP2 000017df: MSTORE 000017e0: PUSH1 0x04 000017e2: ADD 000017e3: DUP1 000017e4: DUP1 000017e5: PUSH1 0x20 000017e7: ADD 000017e8: DUP3 000017e9: DUP2 000017ea: SUB 000017eb: DUP3 000017ec: MSTORE 000017ed: PUSH1 0x20 000017ef: DUP2 000017f0: MSTORE 000017f1: PUSH1 0x20 000017f3: ADD 000017f4: DUP1 000017f5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001816: DUP2 00001817: MSTORE 00001818: POP 00001819: PUSH1 0x20 0000181b: ADD 0000181c: SWAP2 0000181d: POP 0000181e: POP 0000181f: PUSH1 0x40 00001821: MLOAD 00001822: DUP1 00001823: SWAP2 00001824: SUB 00001825: SWAP1 00001826: REVERT 00001827: JUMPDEST 00001828: DUP1 00001829: PUSH1 0x03 0000182b: PUSH1 0x00 0000182d: PUSH2 0x0100 00001830: EXP 00001831: DUP2 00001832: SLOAD 00001833: DUP2 00001834: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001849: MUL 0000184a: NOT 0000184b: AND 0000184c: SWAP1 0000184d: DUP4 0000184e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001863: AND 00001864: MUL 00001865: OR 00001866: SWAP1 00001867: SSTORE 00001868: POP 00001869: POP 0000186a: JUMP 0000186b: JUMPDEST 0000186c: PUSH1 0x09 0000186e: SLOAD 0000186f: DUP2 00001870: JUMP 00001871: JUMPDEST 00001872: PUSH1 0x00 00001874: DUP1 00001875: PUSH1 0x00 00001877: SWAP1 00001878: SLOAD 00001879: SWAP1 0000187a: PUSH2 0x0100 0000187d: EXP 0000187e: SWAP1 0000187f: DIV 00001880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001895: AND 00001896: SWAP1 00001897: POP 00001898: SWAP1 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH1 0x04 0000189d: SLOAD 0000189e: DUP2 0000189f: JUMP 000018a0: JUMPDEST 000018a1: PUSH1 0x03 000018a3: PUSH1 0x14 000018a5: SWAP1 000018a6: SLOAD 000018a7: SWAP1 000018a8: PUSH2 0x0100 000018ab: EXP 000018ac: SWAP1 000018ad: DIV 000018ae: PUSH1 0xff 000018b0: AND 000018b1: DUP2 000018b2: JUMP 000018b3: JUMPDEST 000018b4: PUSH2 0x18bb 000018b7: PUSH2 0x2c02 000018ba: JUMP 000018bb: JUMPDEST 000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018d1: AND 000018d2: PUSH2 0x18d9 000018d5: PUSH2 0x1871 000018d8: JUMP 000018d9: JUMPDEST 000018da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ef: AND 000018f0: EQ 000018f1: PUSH2 0x1962 000018f4: JUMPI 000018f5: PUSH1 0x40 000018f7: MLOAD 000018f8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001919: DUP2 0000191a: MSTORE 0000191b: PUSH1 0x04 0000191d: ADD 0000191e: DUP1 0000191f: DUP1 00001920: PUSH1 0x20 00001922: ADD 00001923: DUP3 00001924: DUP2 00001925: SUB 00001926: DUP3 00001927: MSTORE 00001928: PUSH1 0x20 0000192a: DUP2 0000192b: MSTORE 0000192c: PUSH1 0x20 0000192e: ADD 0000192f: DUP1 00001930: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001951: DUP2 00001952: MSTORE 00001953: POP 00001954: PUSH1 0x20 00001956: ADD 00001957: SWAP2 00001958: POP 00001959: POP 0000195a: PUSH1 0x40 0000195c: MLOAD 0000195d: DUP1 0000195e: SWAP2 0000195f: SUB 00001960: SWAP1 00001961: REVERT 00001962: JUMPDEST 00001963: PUSH1 0x06 00001965: SLOAD 00001966: NUMBER 00001967: LT 00001968: PUSH2 0x19d9 0000196b: JUMPI 0000196c: PUSH1 0x40 0000196e: MLOAD 0000196f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001990: DUP2 00001991: MSTORE 00001992: PUSH1 0x04 00001994: ADD 00001995: DUP1 00001996: DUP1 00001997: PUSH1 0x20 00001999: ADD 0000199a: DUP3 0000199b: DUP2 0000199c: SUB 0000199d: DUP3 0000199e: MSTORE 0000199f: PUSH1 0x10 000019a1: DUP2 000019a2: MSTORE 000019a3: PUSH1 0x20 000019a5: ADD 000019a6: DUP1 000019a7: PUSH32 0x506f6f6c20686173207374617274656400000000000000000000000000000000 000019c8: DUP2 000019c9: MSTORE 000019ca: POP 000019cb: PUSH1 0x20 000019cd: ADD 000019ce: SWAP2 000019cf: POP 000019d0: POP 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: DUP1 000019d5: SWAP2 000019d6: SUB 000019d7: SWAP1 000019d8: REVERT 000019d9: JUMPDEST 000019da: DUP1 000019db: DUP3 000019dc: LT 000019dd: PUSH2 0x1a31 000019e0: JUMPI 000019e1: PUSH1 0x40 000019e3: MLOAD 000019e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a05: DUP2 00001a06: MSTORE 00001a07: PUSH1 0x04 00001a09: ADD 00001a0a: DUP1 00001a0b: DUP1 00001a0c: PUSH1 0x20 00001a0e: ADD 00001a0f: DUP3 00001a10: DUP2 00001a11: SUB 00001a12: DUP3 00001a13: MSTORE 00001a14: PUSH1 0x2e 00001a16: DUP2 00001a17: MSTORE 00001a18: PUSH1 0x20 00001a1a: ADD 00001a1b: DUP1 00001a1c: PUSH2 0x351f 00001a1f: PUSH1 0x2e 00001a21: SWAP2 00001a22: CODECOPY 00001a23: PUSH1 0x40 00001a25: ADD 00001a26: SWAP2 00001a27: POP 00001a28: POP 00001a29: PUSH1 0x40 00001a2b: MLOAD 00001a2c: DUP1 00001a2d: SWAP2 00001a2e: SUB 00001a2f: SWAP1 00001a30: REVERT 00001a31: JUMPDEST 00001a32: DUP2 00001a33: NUMBER 00001a34: LT 00001a35: PUSH2 0x1a89 00001a38: JUMPI 00001a39: PUSH1 0x40 00001a3b: MLOAD 00001a3c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a5d: DUP2 00001a5e: MSTORE 00001a5f: PUSH1 0x04 00001a61: ADD 00001a62: DUP1 00001a63: DUP1 00001a64: PUSH1 0x20 00001a66: ADD 00001a67: DUP3 00001a68: DUP2 00001a69: SUB 00001a6a: DUP3 00001a6b: MSTORE 00001a6c: PUSH1 0x30 00001a6e: DUP2 00001a6f: MSTORE 00001a70: PUSH1 0x20 00001a72: ADD 00001a73: DUP1 00001a74: PUSH2 0x3573 00001a77: PUSH1 0x30 00001a79: SWAP2 00001a7a: CODECOPY 00001a7b: PUSH1 0x40 00001a7d: ADD 00001a7e: SWAP2 00001a7f: POP 00001a80: POP 00001a81: PUSH1 0x40 00001a83: MLOAD 00001a84: DUP1 00001a85: SWAP2 00001a86: SUB 00001a87: SWAP1 00001a88: REVERT 00001a89: JUMPDEST 00001a8a: DUP2 00001a8b: PUSH1 0x06 00001a8d: DUP2 00001a8e: SWAP1 00001a8f: SSTORE 00001a90: POP 00001a91: DUP1 00001a92: PUSH1 0x05 00001a94: DUP2 00001a95: SWAP1 00001a96: SSTORE 00001a97: POP 00001a98: PUSH1 0x06 00001a9a: SLOAD 00001a9b: PUSH1 0x07 00001a9d: DUP2 00001a9e: SWAP1 00001a9f: SSTORE 00001aa0: POP 00001aa1: PUSH32 0x7cd0ab87d19036f3dfadadb232c78aa4879dda3f0c994a9d637532410ee2ce06 00001ac2: DUP3 00001ac3: DUP3 00001ac4: PUSH1 0x40 00001ac6: MLOAD 00001ac7: DUP1 00001ac8: DUP4 00001ac9: DUP2 00001aca: MSTORE 00001acb: PUSH1 0x20 00001acd: ADD 00001ace: DUP3 00001acf: DUP2 00001ad0: MSTORE 00001ad1: PUSH1 0x20 00001ad3: ADD 00001ad4: SWAP3 00001ad5: POP 00001ad6: POP 00001ad7: POP 00001ad8: PUSH1 0x40 00001ada: MLOAD 00001adb: DUP1 00001adc: SWAP2 00001add: SUB 00001ade: SWAP1 00001adf: LOG1 00001ae0: POP 00001ae1: POP 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: PUSH1 0x0c 00001ae6: PUSH1 0x14 00001ae8: SWAP1 00001ae9: SLOAD 00001aea: SWAP1 00001aeb: PUSH2 0x0100 00001aee: EXP 00001aef: SWAP1 00001af0: DIV 00001af1: PUSH2 0xffff 00001af4: AND 00001af5: DUP2 00001af6: JUMP 00001af7: JUMPDEST 00001af8: PUSH2 0x1aff 00001afb: PUSH2 0x2c02 00001afe: JUMP 00001aff: JUMPDEST 00001b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b15: AND 00001b16: PUSH2 0x1b1d 00001b19: PUSH2 0x1871 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b33: AND 00001b34: EQ 00001b35: PUSH2 0x1ba6 00001b38: JUMPI 00001b39: PUSH1 0x40 00001b3b: MLOAD 00001b3c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b5d: DUP2 00001b5e: MSTORE 00001b5f: PUSH1 0x04 00001b61: ADD 00001b62: DUP1 00001b63: DUP1 00001b64: PUSH1 0x20 00001b66: ADD 00001b67: DUP3 00001b68: DUP2 00001b69: SUB 00001b6a: DUP3 00001b6b: MSTORE 00001b6c: PUSH1 0x20 00001b6e: DUP2 00001b6f: MSTORE 00001b70: PUSH1 0x20 00001b72: ADD 00001b73: DUP1 00001b74: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001b95: DUP2 00001b96: MSTORE 00001b97: POP 00001b98: PUSH1 0x20 00001b9a: ADD 00001b9b: SWAP2 00001b9c: POP 00001b9d: POP 00001b9e: PUSH1 0x40 00001ba0: MLOAD 00001ba1: DUP1 00001ba2: SWAP2 00001ba3: SUB 00001ba4: SWAP1 00001ba5: REVERT 00001ba6: JUMPDEST 00001ba7: PUSH1 0x03 00001ba9: PUSH1 0x14 00001bab: SWAP1 00001bac: SLOAD 00001bad: SWAP1 00001bae: PUSH2 0x0100 00001bb1: EXP 00001bb2: SWAP1 00001bb3: DIV 00001bb4: PUSH1 0xff 00001bb6: AND 00001bb7: PUSH2 0x1c28 00001bba: JUMPI 00001bbb: PUSH1 0x40 00001bbd: MLOAD 00001bbe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bdf: DUP2 00001be0: MSTORE 00001be1: PUSH1 0x04 00001be3: ADD 00001be4: DUP1 00001be5: DUP1 00001be6: PUSH1 0x20 00001be8: ADD 00001be9: DUP3 00001bea: DUP2 00001beb: SUB 00001bec: DUP3 00001bed: MSTORE 00001bee: PUSH1 0x0b 00001bf0: DUP2 00001bf1: MSTORE 00001bf2: PUSH1 0x20 00001bf4: ADD 00001bf5: DUP1 00001bf6: PUSH32 0x4d75737420626520736574000000000000000000000000000000000000000000 00001c17: DUP2 00001c18: MSTORE 00001c19: POP 00001c1a: PUSH1 0x20 00001c1c: ADD 00001c1d: SWAP2 00001c1e: POP 00001c1f: POP 00001c20: PUSH1 0x40 00001c22: MLOAD 00001c23: DUP1 00001c24: SWAP2 00001c25: SUB 00001c26: SWAP1 00001c27: REVERT 00001c28: JUMPDEST 00001c29: DUP2 00001c2a: ISZERO 00001c2b: PUSH2 0x1cb1 00001c2e: JUMPI 00001c2f: PUSH1 0x08 00001c31: SLOAD 00001c32: DUP2 00001c33: GT 00001c34: PUSH2 0x1ca5 00001c37: JUMPI 00001c38: PUSH1 0x40 00001c3a: MLOAD 00001c3b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c5c: DUP2 00001c5d: MSTORE 00001c5e: PUSH1 0x04 00001c60: ADD 00001c61: DUP1 00001c62: DUP1 00001c63: PUSH1 0x20 00001c65: ADD 00001c66: DUP3 00001c67: DUP2 00001c68: SUB 00001c69: DUP3 00001c6a: MSTORE 00001c6b: PUSH1 0x18 00001c6d: DUP2 00001c6e: MSTORE 00001c6f: PUSH1 0x20 00001c71: ADD 00001c72: DUP1 00001c73: PUSH32 0x4e6577206c696d6974206d757374206265206869676865720000000000000000 00001c94: DUP2 00001c95: MSTORE 00001c96: POP 00001c97: PUSH1 0x20 00001c99: ADD 00001c9a: SWAP2 00001c9b: POP 00001c9c: POP 00001c9d: PUSH1 0x40 00001c9f: MLOAD 00001ca0: DUP1 00001ca1: SWAP2 00001ca2: SUB 00001ca3: SWAP1 00001ca4: REVERT 00001ca5: JUMPDEST 00001ca6: DUP1 00001ca7: PUSH1 0x08 00001ca9: DUP2 00001caa: SWAP1 00001cab: SSTORE 00001cac: POP 00001cad: PUSH2 0x1cd4 00001cb0: JUMP 00001cb1: JUMPDEST 00001cb2: DUP2 00001cb3: PUSH1 0x03 00001cb5: PUSH1 0x14 00001cb7: PUSH2 0x0100 00001cba: EXP 00001cbb: DUP2 00001cbc: SLOAD 00001cbd: DUP2 00001cbe: PUSH1 0xff 00001cc0: MUL 00001cc1: NOT 00001cc2: AND 00001cc3: SWAP1 00001cc4: DUP4 00001cc5: ISZERO 00001cc6: ISZERO 00001cc7: MUL 00001cc8: OR 00001cc9: SWAP1 00001cca: SSTORE 00001ccb: POP 00001ccc: PUSH1 0x00 00001cce: PUSH1 0x08 00001cd0: DUP2 00001cd1: SWAP1 00001cd2: SSTORE 00001cd3: POP 00001cd4: JUMPDEST 00001cd5: PUSH32 0x241f67ee5f41b7a5cabf911367329be7215900f602ebfc47f89dce2a6bcd847c 00001cf6: PUSH1 0x08 00001cf8: SLOAD 00001cf9: PUSH1 0x40 00001cfb: MLOAD 00001cfc: DUP1 00001cfd: DUP3 00001cfe: DUP2 00001cff: MSTORE 00001d00: PUSH1 0x20 00001d02: ADD 00001d03: SWAP2 00001d04: POP 00001d05: POP 00001d06: PUSH1 0x40 00001d08: MLOAD 00001d09: DUP1 00001d0a: SWAP2 00001d0b: SUB 00001d0c: SWAP1 00001d0d: LOG1 00001d0e: POP 00001d0f: POP 00001d10: JUMP 00001d11: JUMPDEST 00001d12: PUSH1 0x07 00001d14: SLOAD 00001d15: DUP2 00001d16: JUMP 00001d17: JUMPDEST 00001d18: PUSH1 0x03 00001d1a: PUSH1 0x15 00001d1c: SWAP1 00001d1d: SLOAD 00001d1e: SWAP1 00001d1f: PUSH2 0x0100 00001d22: EXP 00001d23: SWAP1 00001d24: DIV 00001d25: PUSH1 0xff 00001d27: AND 00001d28: ISZERO 00001d29: PUSH2 0x1d9a 00001d2c: JUMPI 00001d2d: PUSH1 0x40 00001d2f: MLOAD 00001d30: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d51: DUP2 00001d52: MSTORE 00001d53: PUSH1 0x04 00001d55: ADD 00001d56: DUP1 00001d57: DUP1 00001d58: PUSH1 0x20 00001d5a: ADD 00001d5b: DUP3 00001d5c: DUP2 00001d5d: SUB 00001d5e: DUP3 00001d5f: MSTORE 00001d60: PUSH1 0x13 00001d62: DUP2 00001d63: MSTORE 00001d64: PUSH1 0x20 00001d66: ADD 00001d67: DUP1 00001d68: PUSH32 0x416c726561647920696e697469616c697a656400000000000000000000000000 00001d89: DUP2 00001d8a: MSTORE 00001d8b: POP 00001d8c: PUSH1 0x20 00001d8e: ADD 00001d8f: SWAP2 00001d90: POP 00001d91: POP 00001d92: PUSH1 0x40 00001d94: MLOAD 00001d95: DUP1 00001d96: SWAP2 00001d97: SUB 00001d98: SWAP1 00001d99: REVERT 00001d9a: JUMPDEST 00001d9b: PUSH1 0x02 00001d9d: PUSH1 0x00 00001d9f: SWAP1 00001da0: SLOAD 00001da1: SWAP1 00001da2: PUSH2 0x0100 00001da5: EXP 00001da6: SWAP1 00001da7: DIV 00001da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dbd: AND 00001dbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dd3: AND 00001dd4: CALLER 00001dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dea: AND 00001deb: EQ 00001dec: PUSH2 0x1e5d 00001def: JUMPI 00001df0: PUSH1 0x40 00001df2: MLOAD 00001df3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e14: DUP2 00001e15: MSTORE 00001e16: PUSH1 0x04 00001e18: ADD 00001e19: DUP1 00001e1a: DUP1 00001e1b: PUSH1 0x20 00001e1d: ADD 00001e1e: DUP3 00001e1f: DUP2 00001e20: SUB 00001e21: DUP3 00001e22: MSTORE 00001e23: PUSH1 0x0b 00001e25: DUP2 00001e26: MSTORE 00001e27: PUSH1 0x20 00001e29: ADD 00001e2a: DUP1 00001e2b: PUSH32 0x4e6f7420666163746f7279000000000000000000000000000000000000000000 00001e4c: DUP2 00001e4d: MSTORE 00001e4e: POP 00001e4f: PUSH1 0x20 00001e51: ADD 00001e52: SWAP2 00001e53: POP 00001e54: POP 00001e55: PUSH1 0x40 00001e57: MLOAD 00001e58: DUP1 00001e59: SWAP2 00001e5a: SUB 00001e5b: SWAP1 00001e5c: REVERT 00001e5d: JUMPDEST 00001e5e: PUSH3 0x278d00 00001e62: DUP3 00001e63: GT 00001e64: ISZERO 00001e65: PUSH2 0x1ed6 00001e68: JUMPI 00001e69: PUSH1 0x40 00001e6b: MLOAD 00001e6c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e8d: DUP2 00001e8e: MSTORE 00001e8f: PUSH1 0x04 00001e91: ADD 00001e92: DUP1 00001e93: DUP1 00001e94: PUSH1 0x20 00001e96: ADD 00001e97: DUP3 00001e98: DUP2 00001e99: SUB 00001e9a: DUP3 00001e9b: MSTORE 00001e9c: PUSH1 0x1b 00001e9e: DUP2 00001e9f: MSTORE 00001ea0: PUSH1 0x20 00001ea2: ADD 00001ea3: DUP1 00001ea4: PUSH32 0x496e76616c6964207769746864726177616c20696e74657276616c0000000000 00001ec5: DUP2 00001ec6: MSTORE 00001ec7: POP 00001ec8: PUSH1 0x20 00001eca: ADD 00001ecb: SWAP2 00001ecc: POP 00001ecd: POP 00001ece: PUSH1 0x40 00001ed0: MLOAD 00001ed1: DUP1 00001ed2: SWAP2 00001ed3: SUB 00001ed4: SWAP1 00001ed5: REVERT 00001ed6: JUMPDEST 00001ed7: PUSH1 0x01 00001ed9: PUSH1 0x03 00001edb: PUSH1 0x15 00001edd: PUSH2 0x0100 00001ee0: EXP 00001ee1: DUP2 00001ee2: SLOAD 00001ee3: DUP2 00001ee4: PUSH1 0xff 00001ee6: MUL 00001ee7: NOT 00001ee8: AND 00001ee9: SWAP1 00001eea: DUP4 00001eeb: ISZERO 00001eec: ISZERO 00001eed: MUL 00001eee: OR 00001eef: SWAP1 00001ef0: SSTORE 00001ef1: POP 00001ef2: DUP9 00001ef3: PUSH1 0x0c 00001ef5: PUSH1 0x00 00001ef7: PUSH2 0x0100 00001efa: EXP 00001efb: DUP2 00001efc: SLOAD 00001efd: DUP2 00001efe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f13: MUL 00001f14: NOT 00001f15: AND 00001f16: SWAP1 00001f17: DUP4 00001f18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f2d: AND 00001f2e: MUL 00001f2f: OR 00001f30: SWAP1 00001f31: SSTORE 00001f32: POP 00001f33: DUP8 00001f34: PUSH1 0x0b 00001f36: PUSH1 0x00 00001f38: PUSH2 0x0100 00001f3b: EXP 00001f3c: DUP2 00001f3d: SLOAD 00001f3e: DUP2 00001f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f54: MUL 00001f55: NOT 00001f56: AND 00001f57: SWAP1 00001f58: DUP4 00001f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f6e: AND 00001f6f: MUL 00001f70: OR 00001f71: SWAP1 00001f72: SSTORE 00001f73: POP 00001f74: DUP7 00001f75: PUSH1 0x09 00001f77: DUP2 00001f78: SWAP1 00001f79: SSTORE 00001f7a: POP 00001f7b: DUP6 00001f7c: PUSH1 0x06 00001f7e: DUP2 00001f7f: SWAP1 00001f80: SSTORE 00001f81: POP 00001f82: DUP5 00001f83: PUSH1 0x05 00001f85: DUP2 00001f86: SWAP1 00001f87: SSTORE 00001f88: POP 00001f89: DUP3 00001f8a: PUSH1 0x0c 00001f8c: PUSH1 0x14 00001f8e: PUSH2 0x0100 00001f91: EXP 00001f92: DUP2 00001f93: SLOAD 00001f94: DUP2 00001f95: PUSH2 0xffff 00001f98: MUL 00001f99: NOT 00001f9a: AND 00001f9b: SWAP1 00001f9c: DUP4 00001f9d: PUSH2 0xffff 00001fa0: AND 00001fa1: MUL 00001fa2: OR 00001fa3: SWAP1 00001fa4: SSTORE 00001fa5: POP 00001fa6: DUP2 00001fa7: PUSH1 0x0d 00001fa9: DUP2 00001faa: SWAP1 00001fab: SSTORE 00001fac: POP 00001fad: PUSH1 0x00 00001faf: DUP5 00001fb0: GT 00001fb1: ISZERO 00001fb2: PUSH2 0x1fd8 00001fb5: JUMPI 00001fb6: PUSH1 0x01 00001fb8: PUSH1 0x03 00001fba: PUSH1 0x14 00001fbc: PUSH2 0x0100 00001fbf: EXP 00001fc0: DUP2 00001fc1: SLOAD 00001fc2: DUP2 00001fc3: PUSH1 0xff 00001fc5: MUL 00001fc6: NOT 00001fc7: AND 00001fc8: SWAP1 00001fc9: DUP4 00001fca: ISZERO 00001fcb: ISZERO 00001fcc: MUL 00001fcd: OR 00001fce: SWAP1 00001fcf: SSTORE 00001fd0: POP 00001fd1: DUP4 00001fd2: PUSH1 0x08 00001fd4: DUP2 00001fd5: SWAP1 00001fd6: SSTORE 00001fd7: POP 00001fd8: JUMPDEST 00001fd9: PUSH1 0x00 00001fdb: PUSH1 0x0b 00001fdd: PUSH1 0x00 00001fdf: SWAP1 00001fe0: SLOAD 00001fe1: SWAP1 00001fe2: PUSH2 0x0100 00001fe5: EXP 00001fe6: SWAP1 00001fe7: DIV 00001fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ffd: AND 00001ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002013: AND 00002014: PUSH4 0x313ce567 00002019: PUSH1 0x40 0000201b: MLOAD 0000201c: DUP2 0000201d: PUSH4 0xffffffff 00002022: AND 00002023: PUSH1 0xe0 00002025: SHL 00002026: DUP2 00002027: MSTORE 00002028: PUSH1 0x04 0000202a: ADD 0000202b: PUSH1 0x20 0000202d: PUSH1 0x40 0000202f: MLOAD 00002030: DUP1 00002031: DUP4 00002032: SUB 00002033: DUP2 00002034: DUP7 00002035: DUP1 00002036: EXTCODESIZE 00002037: ISZERO 00002038: DUP1 00002039: ISZERO 0000203a: PUSH2 0x2042 0000203d: JUMPI 0000203e: PUSH1 0x00 00002040: DUP1 00002041: REVERT 00002042: JUMPDEST 00002043: POP 00002044: GAS 00002045: STATICCALL 00002046: ISZERO 00002047: DUP1 00002048: ISZERO 00002049: PUSH2 0x2056 0000204c: JUMPI 0000204d: RETURNDATASIZE 0000204e: PUSH1 0x00 00002050: DUP1 00002051: RETURNDATACOPY 00002052: RETURNDATASIZE 00002053: PUSH1 0x00 00002055: REVERT 00002056: JUMPDEST 00002057: POP 00002058: POP 00002059: POP 0000205a: POP 0000205b: PUSH1 0x40 0000205d: MLOAD 0000205e: RETURNDATASIZE 0000205f: PUSH1 0x20 00002061: DUP2 00002062: LT 00002063: ISZERO 00002064: PUSH2 0x206c 00002067: JUMPI 00002068: PUSH1 0x00 0000206a: DUP1 0000206b: REVERT 0000206c: JUMPDEST 0000206d: DUP2 0000206e: ADD 0000206f: SWAP1 00002070: DUP1 00002071: DUP1 00002072: MLOAD 00002073: SWAP1 00002074: PUSH1 0x20 00002076: ADD 00002077: SWAP1 00002078: SWAP3 00002079: SWAP2 0000207a: SWAP1 0000207b: POP 0000207c: POP 0000207d: POP 0000207e: PUSH1 0xff 00002080: AND 00002081: SWAP1 00002082: POP 00002083: PUSH1 0x1e 00002085: DUP2 00002086: LT 00002087: PUSH2 0x20f8 0000208a: JUMPI 0000208b: PUSH1 0x40 0000208d: MLOAD 0000208e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020af: DUP2 000020b0: MSTORE 000020b1: PUSH1 0x04 000020b3: ADD 000020b4: DUP1 000020b5: DUP1 000020b6: PUSH1 0x20 000020b8: ADD 000020b9: DUP3 000020ba: DUP2 000020bb: SUB 000020bc: DUP3 000020bd: MSTORE 000020be: PUSH1 0x16 000020c0: DUP2 000020c1: MSTORE 000020c2: PUSH1 0x20 000020c4: ADD 000020c5: DUP1 000020c6: PUSH32 0x4d75737420626520696e666572696f7220746f20333000000000000000000000 000020e7: DUP2 000020e8: MSTORE 000020e9: POP 000020ea: PUSH1 0x20 000020ec: ADD 000020ed: SWAP2 000020ee: POP 000020ef: POP 000020f0: PUSH1 0x40 000020f2: MLOAD 000020f3: DUP1 000020f4: SWAP2 000020f5: SUB 000020f6: SWAP1 000020f7: REVERT 000020f8: JUMPDEST 000020f9: PUSH2 0x210c 000020fc: DUP2 000020fd: PUSH1 0x1e 000020ff: PUSH2 0x2e7c 00002102: SWAP1 00002103: SWAP2 00002104: SWAP1 00002105: PUSH4 0xffffffff 0000210a: AND 0000210b: JUMP 0000210c: JUMPDEST 0000210d: PUSH1 0x0a 0000210f: EXP 00002110: PUSH1 0x0a 00002112: DUP2 00002113: SWAP1 00002114: SSTORE 00002115: POP 00002116: PUSH1 0x06 00002118: SLOAD 00002119: PUSH1 0x07 0000211b: DUP2 0000211c: SWAP1 0000211d: SSTORE 0000211e: POP 0000211f: PUSH2 0x2127 00002122: DUP3 00002123: PUSH2 0x27c5 00002126: JUMP 00002127: JUMPDEST 00002128: POP 00002129: POP 0000212a: POP 0000212b: POP 0000212c: POP 0000212d: POP 0000212e: POP 0000212f: POP 00002130: POP 00002131: POP 00002132: JUMP 00002133: JUMPDEST 00002134: PUSH1 0x02 00002136: PUSH1 0x01 00002138: SLOAD 00002139: EQ 0000213a: ISZERO 0000213b: PUSH2 0x21ac 0000213e: JUMPI 0000213f: PUSH1 0x40 00002141: MLOAD 00002142: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002163: DUP2 00002164: MSTORE 00002165: PUSH1 0x04 00002167: ADD 00002168: DUP1 00002169: DUP1 0000216a: PUSH1 0x20 0000216c: ADD 0000216d: DUP3 0000216e: DUP2 0000216f: SUB 00002170: DUP3 00002171: MSTORE 00002172: PUSH1 0x1f 00002174: DUP2 00002175: MSTORE 00002176: PUSH1 0x20 00002178: ADD 00002179: DUP1 0000217a: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 0000219b: DUP2 0000219c: MSTORE 0000219d: POP 0000219e: PUSH1 0x20 000021a0: ADD 000021a1: SWAP2 000021a2: POP 000021a3: POP 000021a4: PUSH1 0x40 000021a6: MLOAD 000021a7: DUP1 000021a8: SWAP2 000021a9: SUB 000021aa: SWAP1 000021ab: REVERT 000021ac: JUMPDEST 000021ad: PUSH1 0x02 000021af: PUSH1 0x01 000021b1: DUP2 000021b2: SWAP1 000021b3: SSTORE 000021b4: POP 000021b5: PUSH1 0x00 000021b7: PUSH1 0x0e 000021b9: PUSH1 0x00 000021bb: CALLER 000021bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d1: AND 000021d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e7: AND 000021e8: DUP2 000021e9: MSTORE 000021ea: PUSH1 0x20 000021ec: ADD 000021ed: SWAP1 000021ee: DUP2 000021ef: MSTORE 000021f0: PUSH1 0x20 000021f2: ADD 000021f3: PUSH1 0x00 000021f5: KECCAK256 000021f6: SWAP1 000021f7: POP 000021f8: PUSH1 0x03 000021fa: PUSH1 0x14 000021fc: SWAP1 000021fd: SLOAD 000021fe: SWAP1 000021ff: PUSH2 0x0100 00002202: EXP 00002203: SWAP1 00002204: DIV 00002205: PUSH1 0xff 00002207: AND 00002208: ISZERO 00002209: PUSH2 0x229b 0000220c: JUMPI 0000220d: PUSH1 0x08 0000220f: SLOAD 00002210: PUSH2 0x2226 00002213: DUP3 00002214: PUSH1 0x00 00002216: ADD 00002217: SLOAD 00002218: DUP5 00002219: PUSH2 0x2fa1 0000221c: SWAP1 0000221d: SWAP2 0000221e: SWAP1 0000221f: PUSH4 0xffffffff 00002224: AND 00002225: JUMP 00002226: JUMPDEST 00002227: GT 00002228: ISZERO 00002229: PUSH2 0x229a 0000222c: JUMPI 0000222d: PUSH1 0x40 0000222f: MLOAD 00002230: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002251: DUP2 00002252: MSTORE 00002253: PUSH1 0x04 00002255: ADD 00002256: DUP1 00002257: DUP1 00002258: PUSH1 0x20 0000225a: ADD 0000225b: DUP3 0000225c: DUP2 0000225d: SUB 0000225e: DUP3 0000225f: MSTORE 00002260: PUSH1 0x17 00002262: DUP2 00002263: MSTORE 00002264: PUSH1 0x20 00002266: ADD 00002267: DUP1 00002268: PUSH32 0x5573657220616d6f756e742061626f7665206c696d6974000000000000000000 00002289: DUP2 0000228a: MSTORE 0000228b: POP 0000228c: PUSH1 0x20 0000228e: ADD 0000228f: SWAP2 00002290: POP 00002291: POP 00002292: PUSH1 0x40 00002294: MLOAD 00002295: DUP1 00002296: SWAP2 00002297: SUB 00002298: SWAP1 00002299: REVERT 0000229a: JUMPDEST 0000229b: JUMPDEST 0000229c: PUSH2 0x22a3 0000229f: PUSH2 0x2c0a 000022a2: JUMP 000022a3: JUMPDEST 000022a4: PUSH1 0x00 000022a6: DUP2 000022a7: PUSH1 0x00 000022a9: ADD 000022aa: SLOAD 000022ab: GT 000022ac: ISZERO 000022ad: PUSH2 0x236d 000022b0: JUMPI 000022b1: PUSH1 0x00 000022b3: PUSH2 0x22f5 000022b6: DUP3 000022b7: PUSH1 0x01 000022b9: ADD 000022ba: SLOAD 000022bb: PUSH2 0x22e7 000022be: PUSH1 0x0a 000022c0: SLOAD 000022c1: PUSH2 0x22d9 000022c4: PUSH1 0x04 000022c6: SLOAD 000022c7: DUP8 000022c8: PUSH1 0x00 000022ca: ADD 000022cb: SLOAD 000022cc: PUSH2 0x2d6d 000022cf: SWAP1 000022d0: SWAP2 000022d1: SWAP1 000022d2: PUSH4 0xffffffff 000022d7: AND 000022d8: JUMP 000022d9: JUMPDEST 000022da: PUSH2 0x2df3 000022dd: SWAP1 000022de: SWAP2 000022df: SWAP1 000022e0: PUSH4 0xffffffff 000022e5: AND 000022e6: JUMP 000022e7: JUMPDEST 000022e8: PUSH2 0x2e7c 000022eb: SWAP1 000022ec: SWAP2 000022ed: SWAP1 000022ee: PUSH4 0xffffffff 000022f3: AND 000022f4: JUMP 000022f5: JUMPDEST 000022f6: SWAP1 000022f7: POP 000022f8: PUSH1 0x00 000022fa: DUP2 000022fb: GT 000022fc: ISZERO 000022fd: PUSH2 0x236b 00002300: JUMPI 00002301: PUSH2 0x234d 00002304: CALLER 00002305: DUP3 00002306: PUSH1 0x0b 00002308: PUSH1 0x00 0000230a: SWAP1 0000230b: SLOAD 0000230c: SWAP1 0000230d: PUSH2 0x0100 00002310: EXP 00002311: SWAP1 00002312: DIV 00002313: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002328: AND 00002329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000233e: AND 0000233f: PUSH2 0x2eff 00002342: SWAP1 00002343: SWAP3 00002344: SWAP2 00002345: SWAP1 00002346: PUSH4 0xffffffff 0000234b: AND 0000234c: JUMP 0000234d: JUMPDEST 0000234e: PUSH2 0x2362 00002351: PUSH1 0x0d 00002353: SLOAD 00002354: TIMESTAMP 00002355: PUSH2 0x2fa1 00002358: SWAP1 00002359: SWAP2 0000235a: SWAP1 0000235b: PUSH4 0xffffffff 00002360: AND 00002361: JUMP 00002362: JUMPDEST 00002363: DUP3 00002364: PUSH1 0x02 00002366: ADD 00002367: DUP2 00002368: SWAP1 00002369: SSTORE 0000236a: POP 0000236b: JUMPDEST 0000236c: POP 0000236d: JUMPDEST 0000236e: PUSH1 0x00 00002370: DUP3 00002371: GT 00002372: ISZERO 00002373: PUSH2 0x24f2 00002376: JUMPI 00002377: PUSH2 0x23c5 0000237a: CALLER 0000237b: ADDRESS 0000237c: DUP5 0000237d: PUSH1 0x0c 0000237f: PUSH1 0x00 00002381: SWAP1 00002382: SLOAD 00002383: SWAP1 00002384: PUSH2 0x0100 00002387: EXP 00002388: SWAP1 00002389: DIV 0000238a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000239f: AND 000023a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023b5: AND 000023b6: PUSH2 0x3029 000023b9: SWAP1 000023ba: SWAP4 000023bb: SWAP3 000023bc: SWAP2 000023bd: SWAP1 000023be: PUSH4 0xffffffff 000023c3: AND 000023c4: JUMP 000023c5: JUMPDEST 000023c6: PUSH1 0x00 000023c8: PUSH1 0x0c 000023ca: PUSH1 0x14 000023cc: SWAP1 000023cd: SLOAD 000023ce: SWAP1 000023cf: PUSH2 0x0100 000023d2: EXP 000023d3: SWAP1 000023d4: DIV 000023d5: PUSH2 0xffff 000023d8: AND 000023d9: PUSH2 0xffff 000023dc: AND 000023dd: GT 000023de: ISZERO 000023df: PUSH2 0x24a7 000023e2: JUMPI 000023e3: PUSH1 0x00 000023e5: PUSH2 0x241f 000023e8: PUSH2 0x2710 000023eb: PUSH2 0x2411 000023ee: PUSH1 0x0c 000023f0: PUSH1 0x14 000023f2: SWAP1 000023f3: SLOAD 000023f4: SWAP1 000023f5: PUSH2 0x0100 000023f8: EXP 000023f9: SWAP1 000023fa: DIV 000023fb: PUSH2 0xffff 000023fe: AND 000023ff: PUSH2 0xffff 00002402: AND 00002403: DUP7 00002404: PUSH2 0x2d6d 00002407: SWAP1 00002408: SWAP2 00002409: SWAP1 0000240a: PUSH4 0xffffffff 0000240f: AND 00002410: JUMP 00002411: JUMPDEST 00002412: PUSH2 0x2df3 00002415: SWAP1 00002416: SWAP2 00002417: SWAP1 00002418: PUSH4 0xffffffff 0000241d: AND 0000241e: JUMP 0000241f: JUMPDEST 00002420: SWAP1 00002421: POP 00002422: PUSH2 0x2490 00002425: PUSH1 0x03 00002427: PUSH1 0x00 00002429: SWAP1 0000242a: SLOAD 0000242b: SWAP1 0000242c: PUSH2 0x0100 0000242f: EXP 00002430: SWAP1 00002431: DIV 00002432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002447: AND 00002448: DUP3 00002449: PUSH1 0x0c 0000244b: PUSH1 0x00 0000244d: SWAP1 0000244e: SLOAD 0000244f: SWAP1 00002450: PUSH2 0x0100 00002453: EXP 00002454: SWAP1 00002455: DIV 00002456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000246b: AND 0000246c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002481: AND 00002482: PUSH2 0x2eff 00002485: SWAP1 00002486: SWAP3 00002487: SWAP2 00002488: SWAP1 00002489: PUSH4 0xffffffff 0000248e: AND 0000248f: JUMP 00002490: JUMPDEST 00002491: PUSH2 0x24a3 00002494: DUP2 00002495: DUP5 00002496: PUSH2 0x2e7c 00002499: SWAP1 0000249a: SWAP2 0000249b: SWAP1 0000249c: PUSH4 0xffffffff 000024a1: AND 000024a2: JUMP 000024a3: JUMPDEST 000024a4: SWAP3 000024a5: POP 000024a6: POP 000024a7: JUMPDEST 000024a8: PUSH2 0x24be 000024ab: DUP3 000024ac: DUP3 000024ad: PUSH1 0x00 000024af: ADD 000024b0: SLOAD 000024b1: PUSH2 0x2fa1 000024b4: SWAP1 000024b5: SWAP2 000024b6: SWAP1 000024b7: PUSH4 0xffffffff 000024bc: AND 000024bd: JUMP 000024be: JUMPDEST 000024bf: DUP2 000024c0: PUSH1 0x00 000024c2: ADD 000024c3: DUP2 000024c4: SWAP1 000024c5: SSTORE 000024c6: POP 000024c7: PUSH1 0x00 000024c9: DUP2 000024ca: PUSH1 0x02 000024cc: ADD 000024cd: SLOAD 000024ce: EQ 000024cf: ISZERO 000024d0: PUSH2 0x24f1 000024d3: JUMPI 000024d4: PUSH2 0x24e8 000024d7: PUSH1 0x0d 000024d9: SLOAD 000024da: TIMESTAMP 000024db: PUSH2 0x2fa1 000024de: SWAP1 000024df: SWAP2 000024e0: SWAP1 000024e1: PUSH4 0xffffffff 000024e6: AND 000024e7: JUMP 000024e8: JUMPDEST 000024e9: DUP2 000024ea: PUSH1 0x02 000024ec: ADD 000024ed: DUP2 000024ee: SWAP1 000024ef: SSTORE 000024f0: POP 000024f1: JUMPDEST 000024f2: JUMPDEST 000024f3: PUSH2 0x251f 000024f6: PUSH1 0x0a 000024f8: SLOAD 000024f9: PUSH2 0x2511 000024fc: PUSH1 0x04 000024fe: SLOAD 000024ff: DUP5 00002500: PUSH1 0x00 00002502: ADD 00002503: SLOAD 00002504: PUSH2 0x2d6d 00002507: SWAP1 00002508: SWAP2 00002509: SWAP1 0000250a: PUSH4 0xffffffff 0000250f: AND 00002510: JUMP 00002511: JUMPDEST 00002512: PUSH2 0x2df3 00002515: SWAP1 00002516: SWAP2 00002517: SWAP1 00002518: PUSH4 0xffffffff 0000251d: AND 0000251e: JUMP 0000251f: JUMPDEST 00002520: DUP2 00002521: PUSH1 0x01 00002523: ADD 00002524: DUP2 00002525: SWAP1 00002526: SSTORE 00002527: POP 00002528: CALLER 00002529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000253e: AND 0000253f: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00002560: DUP4 00002561: PUSH1 0x40 00002563: MLOAD 00002564: DUP1 00002565: DUP3 00002566: DUP2 00002567: MSTORE 00002568: PUSH1 0x20 0000256a: ADD 0000256b: SWAP2 0000256c: POP 0000256d: POP 0000256e: PUSH1 0x40 00002570: MLOAD 00002571: DUP1 00002572: SWAP2 00002573: SUB 00002574: SWAP1 00002575: LOG2 00002576: POP 00002577: PUSH1 0x01 00002579: DUP1 0000257a: DUP2 0000257b: SWAP1 0000257c: SSTORE 0000257d: POP 0000257e: POP 0000257f: JUMP 00002580: JUMPDEST 00002581: PUSH1 0x0c 00002583: PUSH1 0x00 00002585: SWAP1 00002586: SLOAD 00002587: SWAP1 00002588: PUSH2 0x0100 0000258b: EXP 0000258c: SWAP1 0000258d: DIV 0000258e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025a3: AND 000025a4: DUP2 000025a5: JUMP 000025a6: JUMPDEST 000025a7: PUSH1 0x0a 000025a9: SLOAD 000025aa: DUP2 000025ab: JUMP 000025ac: JUMPDEST 000025ad: PUSH1 0x02 000025af: PUSH1 0x01 000025b1: SLOAD 000025b2: EQ 000025b3: ISZERO 000025b4: PUSH2 0x2625 000025b7: JUMPI 000025b8: PUSH1 0x40 000025ba: MLOAD 000025bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000025dc: DUP2 000025dd: MSTORE 000025de: PUSH1 0x04 000025e0: ADD 000025e1: DUP1 000025e2: DUP1 000025e3: PUSH1 0x20 000025e5: ADD 000025e6: DUP3 000025e7: DUP2 000025e8: SUB 000025e9: DUP3 000025ea: MSTORE 000025eb: PUSH1 0x1f 000025ed: DUP2 000025ee: MSTORE 000025ef: PUSH1 0x20 000025f1: ADD 000025f2: DUP1 000025f3: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00002614: DUP2 00002615: MSTORE 00002616: POP 00002617: PUSH1 0x20 00002619: ADD 0000261a: SWAP2 0000261b: POP 0000261c: POP 0000261d: PUSH1 0x40 0000261f: MLOAD 00002620: DUP1 00002621: SWAP2 00002622: SUB 00002623: SWAP1 00002624: REVERT 00002625: JUMPDEST 00002626: PUSH1 0x02 00002628: PUSH1 0x01 0000262a: DUP2 0000262b: SWAP1 0000262c: SSTORE 0000262d: POP 0000262e: PUSH1 0x00 00002630: PUSH1 0x0e 00002632: PUSH1 0x00 00002634: CALLER 00002635: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000264a: AND 0000264b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002660: AND 00002661: DUP2 00002662: MSTORE 00002663: PUSH1 0x20 00002665: ADD 00002666: SWAP1 00002667: DUP2 00002668: MSTORE 00002669: PUSH1 0x20 0000266b: ADD 0000266c: PUSH1 0x00 0000266e: KECCAK256 0000266f: SWAP1 00002670: POP 00002671: TIMESTAMP 00002672: DUP2 00002673: PUSH1 0x02 00002675: ADD 00002676: SLOAD 00002677: GT 00002678: ISZERO 00002679: PUSH2 0x26ea 0000267c: JUMPI 0000267d: PUSH1 0x40 0000267f: MLOAD 00002680: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000026a1: DUP2 000026a2: MSTORE 000026a3: PUSH1 0x04 000026a5: ADD 000026a6: DUP1 000026a7: DUP1 000026a8: PUSH1 0x20 000026aa: ADD 000026ab: DUP3 000026ac: DUP2 000026ad: SUB 000026ae: DUP3 000026af: MSTORE 000026b0: PUSH1 0x11 000026b2: DUP2 000026b3: MSTORE 000026b4: PUSH1 0x20 000026b6: ADD 000026b7: DUP1 000026b8: PUSH32 0x5769746864726177616c206c6f636b6564000000000000000000000000000000 000026d9: DUP2 000026da: MSTORE 000026db: POP 000026dc: PUSH1 0x20 000026de: ADD 000026df: SWAP2 000026e0: POP 000026e1: POP 000026e2: PUSH1 0x40 000026e4: MLOAD 000026e5: DUP1 000026e6: SWAP2 000026e7: SUB 000026e8: SWAP1 000026e9: REVERT 000026ea: JUMPDEST 000026eb: PUSH1 0x00 000026ed: DUP2 000026ee: PUSH1 0x00 000026f0: ADD 000026f1: SLOAD 000026f2: SWAP1 000026f3: POP 000026f4: PUSH1 0x00 000026f6: DUP3 000026f7: PUSH1 0x00 000026f9: ADD 000026fa: DUP2 000026fb: SWAP1 000026fc: SSTORE 000026fd: POP 000026fe: PUSH1 0x00 00002700: DUP3 00002701: PUSH1 0x01 00002703: ADD 00002704: DUP2 00002705: SWAP1 00002706: SSTORE 00002707: POP 00002708: PUSH1 0x00 0000270a: DUP3 0000270b: PUSH1 0x02 0000270d: ADD 0000270e: DUP2 0000270f: SWAP1 00002710: SSTORE 00002711: POP 00002712: PUSH1 0x00 00002714: DUP2 00002715: GT 00002716: ISZERO 00002717: PUSH2 0x2768 0000271a: JUMPI 0000271b: PUSH2 0x2767 0000271e: CALLER 0000271f: DUP3 00002720: PUSH1 0x0c 00002722: PUSH1 0x00 00002724: SWAP1 00002725: SLOAD 00002726: SWAP1 00002727: PUSH2 0x0100 0000272a: EXP 0000272b: SWAP1 0000272c: DIV 0000272d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002742: AND 00002743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002758: AND 00002759: PUSH2 0x2eff 0000275c: SWAP1 0000275d: SWAP3 0000275e: SWAP2 0000275f: SWAP1 00002760: PUSH4 0xffffffff 00002765: AND 00002766: JUMP 00002767: JUMPDEST 00002768: JUMPDEST 00002769: CALLER 0000276a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000277f: AND 00002780: PUSH32 0x5fafa99d0643513820be26656b45130b01e1c03062e1266bf36f88cbd3bd9695 000027a1: DUP4 000027a2: PUSH1 0x00 000027a4: ADD 000027a5: SLOAD 000027a6: PUSH1 0x40 000027a8: MLOAD 000027a9: DUP1 000027aa: DUP3 000027ab: DUP2 000027ac: MSTORE 000027ad: PUSH1 0x20 000027af: ADD 000027b0: SWAP2 000027b1: POP 000027b2: POP 000027b3: PUSH1 0x40 000027b5: MLOAD 000027b6: DUP1 000027b7: SWAP2 000027b8: SUB 000027b9: SWAP1 000027ba: LOG2 000027bb: POP 000027bc: POP 000027bd: PUSH1 0x01 000027bf: DUP1 000027c0: DUP2 000027c1: SWAP1 000027c2: SSTORE 000027c3: POP 000027c4: JUMP 000027c5: JUMPDEST 000027c6: PUSH2 0x27cd 000027c9: PUSH2 0x2c02 000027cc: JUMP 000027cd: JUMPDEST 000027ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e3: AND 000027e4: PUSH2 0x27eb 000027e7: PUSH2 0x1871 000027ea: JUMP 000027eb: JUMPDEST 000027ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002801: AND 00002802: EQ 00002803: PUSH2 0x2874 00002806: JUMPI 00002807: PUSH1 0x40 00002809: MLOAD 0000280a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000282b: DUP2 0000282c: MSTORE 0000282d: PUSH1 0x04 0000282f: ADD 00002830: DUP1 00002831: DUP1 00002832: PUSH1 0x20 00002834: ADD 00002835: DUP3 00002836: DUP2 00002837: SUB 00002838: DUP3 00002839: MSTORE 0000283a: PUSH1 0x20 0000283c: DUP2 0000283d: MSTORE 0000283e: PUSH1 0x20 00002840: ADD 00002841: DUP1 00002842: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002863: DUP2 00002864: MSTORE 00002865: POP 00002866: PUSH1 0x20 00002868: ADD 00002869: SWAP2 0000286a: POP 0000286b: POP 0000286c: PUSH1 0x40 0000286e: MLOAD 0000286f: DUP1 00002870: SWAP2 00002871: SUB 00002872: SWAP1 00002873: REVERT 00002874: JUMPDEST 00002875: PUSH1 0x00 00002877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000288c: AND 0000288d: DUP2 0000288e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a3: AND 000028a4: EQ 000028a5: ISZERO 000028a6: PUSH2 0x28fa 000028a9: JUMPI 000028aa: PUSH1 0x40 000028ac: MLOAD 000028ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000028ce: DUP2 000028cf: MSTORE 000028d0: PUSH1 0x04 000028d2: ADD 000028d3: DUP1 000028d4: DUP1 000028d5: PUSH1 0x20 000028d7: ADD 000028d8: DUP3 000028d9: DUP2 000028da: SUB 000028db: DUP3 000028dc: MSTORE 000028dd: PUSH1 0x26 000028df: DUP2 000028e0: MSTORE 000028e1: PUSH1 0x20 000028e3: ADD 000028e4: DUP1 000028e5: PUSH2 0x34f9 000028e8: PUSH1 0x26 000028ea: SWAP2 000028eb: CODECOPY 000028ec: PUSH1 0x40 000028ee: ADD 000028ef: SWAP2 000028f0: POP 000028f1: POP 000028f2: PUSH1 0x40 000028f4: MLOAD 000028f5: DUP1 000028f6: SWAP2 000028f7: SUB 000028f8: SWAP1 000028f9: REVERT 000028fa: JUMPDEST 000028fb: DUP1 000028fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002911: AND 00002912: PUSH1 0x00 00002914: DUP1 00002915: SLOAD 00002916: SWAP1 00002917: PUSH2 0x0100 0000291a: EXP 0000291b: SWAP1 0000291c: DIV 0000291d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002932: AND 00002933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002948: AND 00002949: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000296a: PUSH1 0x40 0000296c: MLOAD 0000296d: PUSH1 0x40 0000296f: MLOAD 00002970: DUP1 00002971: SWAP2 00002972: SUB 00002973: SWAP1 00002974: LOG3 00002975: DUP1 00002976: PUSH1 0x00 00002978: DUP1 00002979: PUSH2 0x0100 0000297c: EXP 0000297d: DUP2 0000297e: SLOAD 0000297f: DUP2 00002980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002995: MUL 00002996: NOT 00002997: AND 00002998: SWAP1 00002999: DUP4 0000299a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029af: AND 000029b0: MUL 000029b1: OR 000029b2: SWAP1 000029b3: SSTORE 000029b4: POP 000029b5: POP 000029b6: JUMP 000029b7: JUMPDEST 000029b8: PUSH1 0x00 000029ba: DUP1 000029bb: PUSH1 0x0e 000029bd: PUSH1 0x00 000029bf: DUP5 000029c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029d5: AND 000029d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029eb: AND 000029ec: DUP2 000029ed: MSTORE 000029ee: PUSH1 0x20 000029f0: ADD 000029f1: SWAP1 000029f2: DUP2 000029f3: MSTORE 000029f4: PUSH1 0x20 000029f6: ADD 000029f7: PUSH1 0x00 000029f9: KECCAK256 000029fa: SWAP1 000029fb: POP 000029fc: PUSH1 0x00 000029fe: PUSH1 0x0c 00002a00: PUSH1 0x00 00002a02: SWAP1 00002a03: SLOAD 00002a04: SWAP1 00002a05: PUSH2 0x0100 00002a08: EXP 00002a09: SWAP1 00002a0a: DIV 00002a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a20: AND 00002a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a36: AND 00002a37: PUSH4 0x70a08231 00002a3c: ADDRESS 00002a3d: PUSH1 0x40 00002a3f: MLOAD 00002a40: DUP3 00002a41: PUSH4 0xffffffff 00002a46: AND 00002a47: PUSH1 0xe0 00002a49: SHL 00002a4a: DUP2 00002a4b: MSTORE 00002a4c: PUSH1 0x04 00002a4e: ADD 00002a4f: DUP1 00002a50: DUP3 00002a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a66: AND 00002a67: DUP2 00002a68: MSTORE 00002a69: PUSH1 0x20 00002a6b: ADD 00002a6c: SWAP2 00002a6d: POP 00002a6e: POP 00002a6f: PUSH1 0x20 00002a71: PUSH1 0x40 00002a73: MLOAD 00002a74: DUP1 00002a75: DUP4 00002a76: SUB 00002a77: DUP2 00002a78: DUP7 00002a79: DUP1 00002a7a: EXTCODESIZE 00002a7b: ISZERO 00002a7c: DUP1 00002a7d: ISZERO 00002a7e: PUSH2 0x2a86 00002a81: JUMPI 00002a82: PUSH1 0x00 00002a84: DUP1 00002a85: REVERT 00002a86: JUMPDEST 00002a87: POP 00002a88: GAS 00002a89: STATICCALL 00002a8a: ISZERO 00002a8b: DUP1 00002a8c: ISZERO 00002a8d: PUSH2 0x2a9a 00002a90: JUMPI 00002a91: RETURNDATASIZE 00002a92: PUSH1 0x00 00002a94: DUP1 00002a95: RETURNDATACOPY 00002a96: RETURNDATASIZE 00002a97: PUSH1 0x00 00002a99: REVERT 00002a9a: JUMPDEST 00002a9b: POP 00002a9c: POP 00002a9d: POP 00002a9e: POP 00002a9f: PUSH1 0x40 00002aa1: MLOAD 00002aa2: RETURNDATASIZE 00002aa3: PUSH1 0x20 00002aa5: DUP2 00002aa6: LT 00002aa7: ISZERO 00002aa8: PUSH2 0x2ab0 00002aab: JUMPI 00002aac: PUSH1 0x00 00002aae: DUP1 00002aaf: REVERT 00002ab0: JUMPDEST 00002ab1: DUP2 00002ab2: ADD 00002ab3: SWAP1 00002ab4: DUP1 00002ab5: DUP1 00002ab6: MLOAD 00002ab7: SWAP1 00002ab8: PUSH1 0x20 00002aba: ADD 00002abb: SWAP1 00002abc: SWAP3 00002abd: SWAP2 00002abe: SWAP1 00002abf: POP 00002ac0: POP 00002ac1: POP 00002ac2: SWAP1 00002ac3: POP 00002ac4: PUSH1 0x07 00002ac6: SLOAD 00002ac7: NUMBER 00002ac8: GT 00002ac9: DUP1 00002aca: ISZERO 00002acb: PUSH2 0x2ad5 00002ace: JUMPI 00002acf: POP 00002ad0: PUSH1 0x00 00002ad2: DUP2 00002ad3: EQ 00002ad4: ISZERO 00002ad5: JUMPDEST 00002ad6: ISZERO 00002ad7: PUSH2 0x2b8f 00002ada: JUMPI 00002adb: PUSH1 0x00 00002add: PUSH2 0x2ae8 00002ae0: PUSH1 0x07 00002ae2: SLOAD 00002ae3: NUMBER 00002ae4: PUSH2 0x30ea 00002ae7: JUMP 00002ae8: JUMPDEST 00002ae9: SWAP1 00002aea: POP 00002aeb: PUSH1 0x00 00002aed: PUSH2 0x2b01 00002af0: PUSH1 0x09 00002af2: SLOAD 00002af3: DUP4 00002af4: PUSH2 0x2d6d 00002af7: SWAP1 00002af8: SWAP2 00002af9: SWAP1 00002afa: PUSH4 0xffffffff 00002aff: AND 00002b00: JUMP 00002b01: JUMPDEST 00002b02: SWAP1 00002b03: POP 00002b04: PUSH1 0x00 00002b06: PUSH2 0x2b40 00002b09: PUSH2 0x2b2f 00002b0c: DUP6 00002b0d: PUSH2 0x2b21 00002b10: PUSH1 0x0a 00002b12: SLOAD 00002b13: DUP7 00002b14: PUSH2 0x2d6d 00002b17: SWAP1 00002b18: SWAP2 00002b19: SWAP1 00002b1a: PUSH4 0xffffffff 00002b1f: AND 00002b20: JUMP 00002b21: JUMPDEST 00002b22: PUSH2 0x2df3 00002b25: SWAP1 00002b26: SWAP2 00002b27: SWAP1 00002b28: PUSH4 0xffffffff 00002b2d: AND 00002b2e: JUMP 00002b2f: JUMPDEST 00002b30: PUSH1 0x04 00002b32: SLOAD 00002b33: PUSH2 0x2fa1 00002b36: SWAP1 00002b37: SWAP2 00002b38: SWAP1 00002b39: PUSH4 0xffffffff 00002b3e: AND 00002b3f: JUMP 00002b40: JUMPDEST 00002b41: SWAP1 00002b42: POP 00002b43: PUSH2 0x2b83 00002b46: DUP6 00002b47: PUSH1 0x01 00002b49: ADD 00002b4a: SLOAD 00002b4b: PUSH2 0x2b75 00002b4e: PUSH1 0x0a 00002b50: SLOAD 00002b51: PUSH2 0x2b67 00002b54: DUP6 00002b55: DUP11 00002b56: PUSH1 0x00 00002b58: ADD 00002b59: SLOAD 00002b5a: PUSH2 0x2d6d 00002b5d: SWAP1 00002b5e: SWAP2 00002b5f: SWAP1 00002b60: PUSH4 0xffffffff 00002b65: AND 00002b66: JUMP 00002b67: JUMPDEST 00002b68: PUSH2 0x2df3 00002b6b: SWAP1 00002b6c: SWAP2 00002b6d: SWAP1 00002b6e: PUSH4 0xffffffff 00002b73: AND 00002b74: JUMP 00002b75: JUMPDEST 00002b76: PUSH2 0x2e7c 00002b79: SWAP1 00002b7a: SWAP2 00002b7b: SWAP1 00002b7c: PUSH4 0xffffffff 00002b81: AND 00002b82: JUMP 00002b83: JUMPDEST 00002b84: SWAP6 00002b85: POP 00002b86: POP 00002b87: POP 00002b88: POP 00002b89: POP 00002b8a: POP 00002b8b: PUSH2 0x2bd7 00002b8e: JUMP 00002b8f: JUMPDEST 00002b90: PUSH2 0x2bd2 00002b93: DUP3 00002b94: PUSH1 0x01 00002b96: ADD 00002b97: SLOAD 00002b98: PUSH2 0x2bc4 00002b9b: PUSH1 0x0a 00002b9d: SLOAD 00002b9e: PUSH2 0x2bb6 00002ba1: PUSH1 0x04 00002ba3: SLOAD 00002ba4: DUP8 00002ba5: PUSH1 0x00 00002ba7: ADD 00002ba8: SLOAD 00002ba9: PUSH2 0x2d6d 00002bac: SWAP1 00002bad: SWAP2 00002bae: SWAP1 00002baf: PUSH4 0xffffffff 00002bb4: AND 00002bb5: JUMP 00002bb6: JUMPDEST 00002bb7: PUSH2 0x2df3 00002bba: SWAP1 00002bbb: SWAP2 00002bbc: SWAP1 00002bbd: PUSH4 0xffffffff 00002bc2: AND 00002bc3: JUMP 00002bc4: JUMPDEST 00002bc5: PUSH2 0x2e7c 00002bc8: SWAP1 00002bc9: SWAP2 00002bca: SWAP1 00002bcb: PUSH4 0xffffffff 00002bd0: AND 00002bd1: JUMP 00002bd2: JUMPDEST 00002bd3: SWAP3 00002bd4: POP 00002bd5: POP 00002bd6: POP 00002bd7: JUMPDEST 00002bd8: SWAP2 00002bd9: SWAP1 00002bda: POP 00002bdb: JUMP 00002bdc: JUMPDEST 00002bdd: PUSH1 0x0b 00002bdf: PUSH1 0x00 00002be1: SWAP1 00002be2: SLOAD 00002be3: SWAP1 00002be4: PUSH2 0x0100 00002be7: EXP 00002be8: SWAP1 00002be9: DIV 00002bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bff: AND 00002c00: DUP2 00002c01: JUMP 00002c02: JUMPDEST 00002c03: PUSH1 0x00 00002c05: CALLER 00002c06: SWAP1 00002c07: POP 00002c08: SWAP1 00002c09: JUMP 00002c0a: JUMPDEST 00002c0b: PUSH1 0x07 00002c0d: SLOAD 00002c0e: NUMBER 00002c0f: GT 00002c10: PUSH2 0x2c18 00002c13: JUMPI 00002c14: PUSH2 0x2d6b 00002c17: JUMP 00002c18: JUMPDEST 00002c19: PUSH1 0x00 00002c1b: PUSH1 0x0c 00002c1d: PUSH1 0x00 00002c1f: SWAP1 00002c20: SLOAD 00002c21: SWAP1 00002c22: PUSH2 0x0100 00002c25: EXP 00002c26: SWAP1 00002c27: DIV 00002c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c3d: AND 00002c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c53: AND 00002c54: PUSH4 0x70a08231 00002c59: ADDRESS 00002c5a: PUSH1 0x40 00002c5c: MLOAD 00002c5d: DUP3 00002c5e: PUSH4 0xffffffff 00002c63: AND 00002c64: PUSH1 0xe0 00002c66: SHL 00002c67: DUP2 00002c68: MSTORE 00002c69: PUSH1 0x04 00002c6b: ADD 00002c6c: DUP1 00002c6d: DUP3 00002c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c83: AND 00002c84: DUP2 00002c85: MSTORE 00002c86: PUSH1 0x20 00002c88: ADD 00002c89: SWAP2 00002c8a: POP 00002c8b: POP 00002c8c: PUSH1 0x20 00002c8e: PUSH1 0x40 00002c90: MLOAD 00002c91: DUP1 00002c92: DUP4 00002c93: SUB 00002c94: DUP2 00002c95: DUP7 00002c96: DUP1 00002c97: EXTCODESIZE 00002c98: ISZERO 00002c99: DUP1 00002c9a: ISZERO 00002c9b: PUSH2 0x2ca3 00002c9e: JUMPI 00002c9f: PUSH1 0x00 00002ca1: DUP1 00002ca2: REVERT 00002ca3: JUMPDEST 00002ca4: POP 00002ca5: GAS 00002ca6: STATICCALL 00002ca7: ISZERO 00002ca8: DUP1 00002ca9: ISZERO 00002caa: PUSH2 0x2cb7 00002cad: JUMPI 00002cae: RETURNDATASIZE 00002caf: PUSH1 0x00 00002cb1: DUP1 00002cb2: RETURNDATACOPY 00002cb3: RETURNDATASIZE 00002cb4: PUSH1 0x00 00002cb6: REVERT 00002cb7: JUMPDEST 00002cb8: POP 00002cb9: POP 00002cba: POP 00002cbb: POP 00002cbc: PUSH1 0x40 00002cbe: MLOAD 00002cbf: RETURNDATASIZE 00002cc0: PUSH1 0x20 00002cc2: DUP2 00002cc3: LT 00002cc4: ISZERO 00002cc5: PUSH2 0x2ccd 00002cc8: JUMPI 00002cc9: PUSH1 0x00 00002ccb: DUP1 00002ccc: REVERT 00002ccd: JUMPDEST 00002cce: DUP2 00002ccf: ADD 00002cd0: SWAP1 00002cd1: DUP1 00002cd2: DUP1 00002cd3: MLOAD 00002cd4: SWAP1 00002cd5: PUSH1 0x20 00002cd7: ADD 00002cd8: SWAP1 00002cd9: SWAP3 00002cda: SWAP2 00002cdb: SWAP1 00002cdc: POP 00002cdd: POP 00002cde: POP 00002cdf: SWAP1 00002ce0: POP 00002ce1: PUSH1 0x00 00002ce3: DUP2 00002ce4: EQ 00002ce5: ISZERO 00002ce6: PUSH2 0x2cf6 00002ce9: JUMPI 00002cea: NUMBER 00002ceb: PUSH1 0x07 00002ced: DUP2 00002cee: SWAP1 00002cef: SSTORE 00002cf0: POP 00002cf1: POP 00002cf2: PUSH2 0x2d6b 00002cf5: JUMP 00002cf6: JUMPDEST 00002cf7: PUSH1 0x00 00002cf9: PUSH2 0x2d04 00002cfc: PUSH1 0x07 00002cfe: SLOAD 00002cff: NUMBER 00002d00: PUSH2 0x30ea 00002d03: JUMP 00002d04: JUMPDEST 00002d05: SWAP1 00002d06: POP 00002d07: PUSH1 0x00 00002d09: PUSH2 0x2d1d 00002d0c: PUSH1 0x09 00002d0e: SLOAD 00002d0f: DUP4 00002d10: PUSH2 0x2d6d 00002d13: SWAP1 00002d14: SWAP2 00002d15: SWAP1 00002d16: PUSH4 0xffffffff 00002d1b: AND 00002d1c: JUMP 00002d1d: JUMPDEST 00002d1e: SWAP1 00002d1f: POP 00002d20: PUSH2 0x2d5a 00002d23: PUSH2 0x2d49 00002d26: DUP5 00002d27: PUSH2 0x2d3b 00002d2a: PUSH1 0x0a 00002d2c: SLOAD 00002d2d: DUP6 00002d2e: PUSH2 0x2d6d 00002d31: SWAP1 00002d32: SWAP2 00002d33: SWAP1 00002d34: PUSH4 0xffffffff 00002d39: AND 00002d3a: JUMP 00002d3b: JUMPDEST 00002d3c: PUSH2 0x2df3 00002d3f: SWAP1 00002d40: SWAP2 00002d41: SWAP1 00002d42: PUSH4 0xffffffff 00002d47: AND 00002d48: JUMP 00002d49: JUMPDEST 00002d4a: PUSH1 0x04 00002d4c: SLOAD 00002d4d: PUSH2 0x2fa1 00002d50: SWAP1 00002d51: SWAP2 00002d52: SWAP1 00002d53: PUSH4 0xffffffff 00002d58: AND 00002d59: JUMP 00002d5a: JUMPDEST 00002d5b: PUSH1 0x04 00002d5d: DUP2 00002d5e: SWAP1 00002d5f: SSTORE 00002d60: POP 00002d61: NUMBER 00002d62: PUSH1 0x07 00002d64: DUP2 00002d65: SWAP1 00002d66: SSTORE 00002d67: POP 00002d68: POP 00002d69: POP 00002d6a: POP 00002d6b: JUMPDEST 00002d6c: JUMP 00002d6d: JUMPDEST 00002d6e: PUSH1 0x00 00002d70: DUP1 00002d71: DUP4 00002d72: EQ 00002d73: ISZERO 00002d74: PUSH2 0x2d80 00002d77: JUMPI 00002d78: PUSH1 0x00 00002d7a: SWAP1 00002d7b: POP 00002d7c: PUSH2 0x2ded 00002d7f: JUMP 00002d80: JUMPDEST 00002d81: PUSH1 0x00 00002d83: DUP3 00002d84: DUP5 00002d85: MUL 00002d86: SWAP1 00002d87: POP 00002d88: DUP3 00002d89: DUP5 00002d8a: DUP3 00002d8b: DUP2 00002d8c: PUSH2 0x2d91 00002d8f: JUMPI 00002d90: INVALID 00002d91: JUMPDEST 00002d92: DIV 00002d93: EQ 00002d94: PUSH2 0x2de8 00002d97: JUMPI 00002d98: PUSH1 0x40 00002d9a: MLOAD 00002d9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002dbc: DUP2 00002dbd: MSTORE 00002dbe: PUSH1 0x04 00002dc0: ADD 00002dc1: DUP1 00002dc2: DUP1 00002dc3: PUSH1 0x20 00002dc5: ADD 00002dc6: DUP3 00002dc7: DUP2 00002dc8: SUB 00002dc9: DUP3 00002dca: MSTORE 00002dcb: PUSH1 0x21 00002dcd: DUP2 00002dce: MSTORE 00002dcf: PUSH1 0x20 00002dd1: ADD 00002dd2: DUP1 00002dd3: PUSH2 0x35a3 00002dd6: PUSH1 0x21 00002dd8: SWAP2 00002dd9: CODECOPY 00002dda: PUSH1 0x40 00002ddc: ADD 00002ddd: SWAP2 00002dde: POP 00002ddf: POP 00002de0: PUSH1 0x40 00002de2: MLOAD 00002de3: DUP1 00002de4: SWAP2 00002de5: SUB 00002de6: SWAP1 00002de7: REVERT 00002de8: JUMPDEST 00002de9: DUP1 00002dea: SWAP2 00002deb: POP 00002dec: POP 00002ded: JUMPDEST 00002dee: SWAP3 00002def: SWAP2 00002df0: POP 00002df1: POP 00002df2: JUMP 00002df3: JUMPDEST 00002df4: PUSH1 0x00 00002df6: DUP1 00002df7: DUP3 00002df8: GT 00002df9: PUSH2 0x2e6a 00002dfc: JUMPI 00002dfd: PUSH1 0x40 00002dff: MLOAD 00002e00: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002e21: DUP2 00002e22: MSTORE 00002e23: PUSH1 0x04 00002e25: ADD 00002e26: DUP1 00002e27: DUP1 00002e28: PUSH1 0x20 00002e2a: ADD 00002e2b: DUP3 00002e2c: DUP2 00002e2d: SUB 00002e2e: DUP3 00002e2f: MSTORE 00002e30: PUSH1 0x1a 00002e32: DUP2 00002e33: MSTORE 00002e34: PUSH1 0x20 00002e36: ADD 00002e37: DUP1 00002e38: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002e59: DUP2 00002e5a: MSTORE 00002e5b: POP 00002e5c: PUSH1 0x20 00002e5e: ADD 00002e5f: SWAP2 00002e60: POP 00002e61: POP 00002e62: PUSH1 0x40 00002e64: MLOAD 00002e65: DUP1 00002e66: SWAP2 00002e67: SUB 00002e68: SWAP1 00002e69: REVERT 00002e6a: JUMPDEST 00002e6b: DUP2 00002e6c: DUP4 00002e6d: DUP2 00002e6e: PUSH2 0x2e73 00002e71: JUMPI 00002e72: INVALID 00002e73: JUMPDEST 00002e74: DIV 00002e75: SWAP1 00002e76: POP 00002e77: SWAP3 00002e78: SWAP2 00002e79: POP 00002e7a: POP 00002e7b: JUMP 00002e7c: JUMPDEST 00002e7d: PUSH1 0x00 00002e7f: DUP3 00002e80: DUP3 00002e81: GT 00002e82: ISZERO 00002e83: PUSH2 0x2ef4 00002e86: JUMPI 00002e87: PUSH1 0x40 00002e89: MLOAD 00002e8a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002eab: DUP2 00002eac: MSTORE 00002ead: PUSH1 0x04 00002eaf: ADD 00002eb0: DUP1 00002eb1: DUP1 00002eb2: PUSH1 0x20 00002eb4: ADD 00002eb5: DUP3 00002eb6: DUP2 00002eb7: SUB 00002eb8: DUP3 00002eb9: MSTORE 00002eba: PUSH1 0x1e 00002ebc: DUP2 00002ebd: MSTORE 00002ebe: PUSH1 0x20 00002ec0: ADD 00002ec1: DUP1 00002ec2: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002ee3: DUP2 00002ee4: MSTORE 00002ee5: POP 00002ee6: PUSH1 0x20 00002ee8: ADD 00002ee9: SWAP2 00002eea: POP 00002eeb: POP 00002eec: PUSH1 0x40 00002eee: MLOAD 00002eef: DUP1 00002ef0: SWAP2 00002ef1: SUB 00002ef2: SWAP1 00002ef3: REVERT 00002ef4: JUMPDEST 00002ef5: DUP2 00002ef6: DUP4 00002ef7: SUB 00002ef8: SWAP1 00002ef9: POP 00002efa: SWAP3 00002efb: SWAP2 00002efc: POP 00002efd: POP 00002efe: JUMP 00002eff: JUMPDEST 00002f00: PUSH2 0x2f9c 00002f03: DUP4 00002f04: PUSH4 0xa9059cbb 00002f09: PUSH1 0xe0 00002f0b: SHL 00002f0c: DUP5 00002f0d: DUP5 00002f0e: PUSH1 0x40 00002f10: MLOAD 00002f11: PUSH1 0x24 00002f13: ADD 00002f14: DUP1 00002f15: DUP4 00002f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f2b: AND 00002f2c: DUP2 00002f2d: MSTORE 00002f2e: PUSH1 0x20 00002f30: ADD 00002f31: DUP3 00002f32: DUP2 00002f33: MSTORE 00002f34: PUSH1 0x20 00002f36: ADD 00002f37: SWAP3 00002f38: POP 00002f39: POP 00002f3a: POP 00002f3b: PUSH1 0x40 00002f3d: MLOAD 00002f3e: PUSH1 0x20 00002f40: DUP2 00002f41: DUP4 00002f42: SUB 00002f43: SUB 00002f44: DUP2 00002f45: MSTORE 00002f46: SWAP1 00002f47: PUSH1 0x40 00002f49: MSTORE 00002f4a: SWAP1 00002f4b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002f68: NOT 00002f69: AND 00002f6a: PUSH1 0x20 00002f6c: DUP3 00002f6d: ADD 00002f6e: DUP1 00002f6f: MLOAD 00002f70: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002f8d: DUP4 00002f8e: DUP2 00002f8f: DUP4 00002f90: AND 00002f91: OR 00002f92: DUP4 00002f93: MSTORE 00002f94: POP 00002f95: POP 00002f96: POP 00002f97: POP 00002f98: PUSH2 0x313f 00002f9b: JUMP 00002f9c: JUMPDEST 00002f9d: POP 00002f9e: POP 00002f9f: POP 00002fa0: JUMP 00002fa1: JUMPDEST 00002fa2: PUSH1 0x00 00002fa4: DUP1 00002fa5: DUP3 00002fa6: DUP5 00002fa7: ADD 00002fa8: SWAP1 00002fa9: POP 00002faa: DUP4 00002fab: DUP2 00002fac: LT 00002fad: ISZERO 00002fae: PUSH2 0x301f 00002fb1: JUMPI 00002fb2: PUSH1 0x40 00002fb4: MLOAD 00002fb5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002fd6: DUP2 00002fd7: MSTORE 00002fd8: PUSH1 0x04 00002fda: ADD 00002fdb: DUP1 00002fdc: DUP1 00002fdd: PUSH1 0x20 00002fdf: ADD 00002fe0: DUP3 00002fe1: DUP2 00002fe2: SUB 00002fe3: DUP3 00002fe4: MSTORE 00002fe5: PUSH1 0x1b 00002fe7: DUP2 00002fe8: MSTORE 00002fe9: PUSH1 0x20 00002feb: ADD 00002fec: DUP1 00002fed: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000300e: DUP2 0000300f: MSTORE 00003010: POP 00003011: PUSH1 0x20 00003013: ADD 00003014: SWAP2 00003015: POP 00003016: POP 00003017: PUSH1 0x40 00003019: MLOAD 0000301a: DUP1 0000301b: SWAP2 0000301c: SUB 0000301d: SWAP1 0000301e: REVERT 0000301f: JUMPDEST 00003020: DUP1 00003021: SWAP2 00003022: POP 00003023: POP 00003024: SWAP3 00003025: SWAP2 00003026: POP 00003027: POP 00003028: JUMP 00003029: JUMPDEST 0000302a: PUSH2 0x30e4 0000302d: DUP5 0000302e: PUSH4 0x23b872dd 00003033: PUSH1 0xe0 00003035: SHL 00003036: DUP6 00003037: DUP6 00003038: DUP6 00003039: PUSH1 0x40 0000303b: MLOAD 0000303c: PUSH1 0x24 0000303e: ADD 0000303f: DUP1 00003040: DUP5 00003041: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003056: AND 00003057: DUP2 00003058: MSTORE 00003059: PUSH1 0x20 0000305b: ADD 0000305c: DUP4 0000305d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003072: AND 00003073: DUP2 00003074: MSTORE 00003075: PUSH1 0x20 00003077: ADD 00003078: DUP3 00003079: DUP2 0000307a: MSTORE 0000307b: PUSH1 0x20 0000307d: ADD 0000307e: SWAP4 0000307f: POP 00003080: POP 00003081: POP 00003082: POP 00003083: PUSH1 0x40 00003085: MLOAD 00003086: PUSH1 0x20 00003088: DUP2 00003089: DUP4 0000308a: SUB 0000308b: SUB 0000308c: DUP2 0000308d: MSTORE 0000308e: SWAP1 0000308f: PUSH1 0x40 00003091: MSTORE 00003092: SWAP1 00003093: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000030b0: NOT 000030b1: AND 000030b2: PUSH1 0x20 000030b4: DUP3 000030b5: ADD 000030b6: DUP1 000030b7: MLOAD 000030b8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000030d5: DUP4 000030d6: DUP2 000030d7: DUP4 000030d8: AND 000030d9: OR 000030da: DUP4 000030db: MSTORE 000030dc: POP 000030dd: POP 000030de: POP 000030df: POP 000030e0: PUSH2 0x313f 000030e3: JUMP 000030e4: JUMPDEST 000030e5: POP 000030e6: POP 000030e7: POP 000030e8: POP 000030e9: JUMP 000030ea: JUMPDEST 000030eb: PUSH1 0x00 000030ed: PUSH1 0x05 000030ef: SLOAD 000030f0: DUP3 000030f1: GT 000030f2: PUSH2 0x310f 000030f5: JUMPI 000030f6: PUSH2 0x3108 000030f9: DUP4 000030fa: DUP4 000030fb: PUSH2 0x2e7c 000030fe: SWAP1 000030ff: SWAP2 00003100: SWAP1 00003101: PUSH4 0xffffffff 00003106: AND 00003107: JUMP 00003108: JUMPDEST 00003109: SWAP1 0000310a: POP 0000310b: PUSH2 0x3139 0000310e: JUMP 0000310f: JUMPDEST 00003110: PUSH1 0x05 00003112: SLOAD 00003113: DUP4 00003114: LT 00003115: PUSH2 0x3121 00003118: JUMPI 00003119: PUSH1 0x00 0000311b: SWAP1 0000311c: POP 0000311d: PUSH2 0x3139 00003120: JUMP 00003121: JUMPDEST 00003122: PUSH2 0x3136 00003125: DUP4 00003126: PUSH1 0x05 00003128: SLOAD 00003129: PUSH2 0x2e7c 0000312c: SWAP1 0000312d: SWAP2 0000312e: SWAP1 0000312f: PUSH4 0xffffffff 00003134: AND 00003135: JUMP 00003136: JUMPDEST 00003137: SWAP1 00003138: POP 00003139: JUMPDEST 0000313a: SWAP3 0000313b: SWAP2 0000313c: POP 0000313d: POP 0000313e: JUMP 0000313f: JUMPDEST 00003140: PUSH1 0x60 00003142: PUSH2 0x31a1 00003145: DUP3 00003146: PUSH1 0x40 00003148: MLOAD 00003149: DUP1 0000314a: PUSH1 0x40 0000314c: ADD 0000314d: PUSH1 0x40 0000314f: MSTORE 00003150: DUP1 00003151: PUSH1 0x20 00003153: DUP2 00003154: MSTORE 00003155: PUSH1 0x20 00003157: ADD 00003158: PUSH32 0x5361666542455032303a206c6f772d6c6576656c2063616c6c206661696c6564 00003179: DUP2 0000317a: MSTORE 0000317b: POP 0000317c: DUP6 0000317d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003192: AND 00003193: PUSH2 0x322e 00003196: SWAP1 00003197: SWAP3 00003198: SWAP2 00003199: SWAP1 0000319a: PUSH4 0xffffffff 0000319f: AND 000031a0: JUMP 000031a1: JUMPDEST 000031a2: SWAP1 000031a3: POP 000031a4: PUSH1 0x00 000031a6: DUP2 000031a7: MLOAD 000031a8: GT 000031a9: ISZERO 000031aa: PUSH2 0x3229 000031ad: JUMPI 000031ae: DUP1 000031af: DUP1 000031b0: PUSH1 0x20 000031b2: ADD 000031b3: SWAP1 000031b4: MLOAD 000031b5: PUSH1 0x20 000031b7: DUP2 000031b8: LT 000031b9: ISZERO 000031ba: PUSH2 0x31c2 000031bd: JUMPI 000031be: PUSH1 0x00 000031c0: DUP1 000031c1: REVERT 000031c2: JUMPDEST 000031c3: DUP2 000031c4: ADD 000031c5: SWAP1 000031c6: DUP1 000031c7: DUP1 000031c8: MLOAD 000031c9: SWAP1 000031ca: PUSH1 0x20 000031cc: ADD 000031cd: SWAP1 000031ce: SWAP3 000031cf: SWAP2 000031d0: SWAP1 000031d1: POP 000031d2: POP 000031d3: POP 000031d4: PUSH2 0x3228 000031d7: JUMPI 000031d8: PUSH1 0x40 000031da: MLOAD 000031db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000031fc: DUP2 000031fd: MSTORE 000031fe: PUSH1 0x04 00003200: ADD 00003201: DUP1 00003202: DUP1 00003203: PUSH1 0x20 00003205: ADD 00003206: DUP3 00003207: DUP2 00003208: SUB 00003209: DUP3 0000320a: MSTORE 0000320b: PUSH1 0x2a 0000320d: DUP2 0000320e: MSTORE 0000320f: PUSH1 0x20 00003211: ADD 00003212: DUP1 00003213: PUSH2 0x34cf 00003216: PUSH1 0x2a 00003218: SWAP2 00003219: CODECOPY 0000321a: PUSH1 0x40 0000321c: ADD 0000321d: SWAP2 0000321e: POP 0000321f: POP 00003220: PUSH1 0x40 00003222: MLOAD 00003223: DUP1 00003224: SWAP2 00003225: SUB 00003226: SWAP1 00003227: REVERT 00003228: JUMPDEST 00003229: JUMPDEST 0000322a: POP 0000322b: POP 0000322c: POP 0000322d: JUMP 0000322e: JUMPDEST 0000322f: PUSH1 0x60 00003231: PUSH2 0x323d 00003234: DUP5 00003235: DUP5 00003236: PUSH1 0x00 00003238: DUP6 00003239: PUSH2 0x3246 0000323c: JUMP 0000323d: JUMPDEST 0000323e: SWAP1 0000323f: POP 00003240: SWAP4 00003241: SWAP3 00003242: POP 00003243: POP 00003244: POP 00003245: JUMP 00003246: JUMPDEST 00003247: PUSH1 0x60 00003249: DUP3 0000324a: SELFBALANCE 0000324b: LT 0000324c: ISZERO 0000324d: PUSH2 0x32a1 00003250: JUMPI 00003251: PUSH1 0x40 00003253: MLOAD 00003254: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003275: DUP2 00003276: MSTORE 00003277: PUSH1 0x04 00003279: ADD 0000327a: DUP1 0000327b: DUP1 0000327c: PUSH1 0x20 0000327e: ADD 0000327f: DUP3 00003280: DUP2 00003281: SUB 00003282: DUP3 00003283: MSTORE 00003284: PUSH1 0x26 00003286: DUP2 00003287: MSTORE 00003288: PUSH1 0x20 0000328a: ADD 0000328b: DUP1 0000328c: PUSH2 0x354d 0000328f: PUSH1 0x26 00003291: SWAP2 00003292: CODECOPY 00003293: PUSH1 0x40 00003295: ADD 00003296: SWAP2 00003297: POP 00003298: POP 00003299: PUSH1 0x40 0000329b: MLOAD 0000329c: DUP1 0000329d: SWAP2 0000329e: SUB 0000329f: SWAP1 000032a0: REVERT 000032a1: JUMPDEST 000032a2: PUSH2 0x32aa 000032a5: DUP6 000032a6: PUSH2 0x33ef 000032a9: JUMP 000032aa: JUMPDEST 000032ab: PUSH2 0x331c 000032ae: JUMPI 000032af: PUSH1 0x40 000032b1: MLOAD 000032b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000032d3: DUP2 000032d4: MSTORE 000032d5: PUSH1 0x04 000032d7: ADD 000032d8: DUP1 000032d9: DUP1 000032da: PUSH1 0x20 000032dc: ADD 000032dd: DUP3 000032de: DUP2 000032df: SUB 000032e0: DUP3 000032e1: MSTORE 000032e2: PUSH1 0x1d 000032e4: DUP2 000032e5: MSTORE 000032e6: PUSH1 0x20 000032e8: ADD 000032e9: DUP1 000032ea: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000330b: DUP2 0000330c: MSTORE 0000330d: POP 0000330e: PUSH1 0x20 00003310: ADD 00003311: SWAP2 00003312: POP 00003313: POP 00003314: PUSH1 0x40 00003316: MLOAD 00003317: DUP1 00003318: SWAP2 00003319: SUB 0000331a: SWAP1 0000331b: REVERT 0000331c: JUMPDEST 0000331d: PUSH1 0x00 0000331f: PUSH1 0x60 00003321: DUP7 00003322: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003337: AND 00003338: DUP6 00003339: DUP8 0000333a: PUSH1 0x40 0000333c: MLOAD 0000333d: DUP1 0000333e: DUP3 0000333f: DUP1 00003340: MLOAD 00003341: SWAP1 00003342: PUSH1 0x20 00003344: ADD 00003345: SWAP1 00003346: DUP1 00003347: DUP4 00003348: DUP4 00003349: JUMPDEST 0000334a: PUSH1 0x20 0000334c: DUP4 0000334d: LT 0000334e: PUSH2 0x336c 00003351: JUMPI 00003352: DUP1 00003353: MLOAD 00003354: DUP3 00003355: MSTORE 00003356: PUSH1 0x20 00003358: DUP3 00003359: ADD 0000335a: SWAP2 0000335b: POP 0000335c: PUSH1 0x20 0000335e: DUP2 0000335f: ADD 00003360: SWAP1 00003361: POP 00003362: PUSH1 0x20 00003364: DUP4 00003365: SUB 00003366: SWAP3 00003367: POP 00003368: PUSH2 0x3349 0000336b: JUMP 0000336c: JUMPDEST 0000336d: PUSH1 0x01 0000336f: DUP4 00003370: PUSH1 0x20 00003372: SUB 00003373: PUSH2 0x0100 00003376: EXP 00003377: SUB 00003378: DUP1 00003379: NOT 0000337a: DUP3 0000337b: MLOAD 0000337c: AND 0000337d: DUP2 0000337e: DUP5 0000337f: MLOAD 00003380: AND 00003381: DUP1 00003382: DUP3 00003383: OR 00003384: DUP6 00003385: MSTORE 00003386: POP 00003387: POP 00003388: POP 00003389: POP 0000338a: POP 0000338b: POP 0000338c: SWAP1 0000338d: POP 0000338e: ADD 0000338f: SWAP2 00003390: POP 00003391: POP 00003392: PUSH1 0x00 00003394: PUSH1 0x40 00003396: MLOAD 00003397: DUP1 00003398: DUP4 00003399: SUB 0000339a: DUP2 0000339b: DUP6 0000339c: DUP8 0000339d: GAS 0000339e: CALL 0000339f: SWAP3 000033a0: POP 000033a1: POP 000033a2: POP 000033a3: RETURNDATASIZE 000033a4: DUP1 000033a5: PUSH1 0x00 000033a7: DUP2 000033a8: EQ 000033a9: PUSH2 0x33ce 000033ac: JUMPI 000033ad: PUSH1 0x40 000033af: MLOAD 000033b0: SWAP2 000033b1: POP 000033b2: PUSH1 0x1f 000033b4: NOT 000033b5: PUSH1 0x3f 000033b7: RETURNDATASIZE 000033b8: ADD 000033b9: AND 000033ba: DUP3 000033bb: ADD 000033bc: PUSH1 0x40 000033be: MSTORE 000033bf: RETURNDATASIZE 000033c0: DUP3 000033c1: MSTORE 000033c2: RETURNDATASIZE 000033c3: PUSH1 0x00 000033c5: PUSH1 0x20 000033c7: DUP5 000033c8: ADD 000033c9: RETURNDATACOPY 000033ca: PUSH2 0x33d3 000033cd: JUMP 000033ce: JUMPDEST 000033cf: PUSH1 0x60 000033d1: SWAP2 000033d2: POP 000033d3: JUMPDEST 000033d4: POP 000033d5: SWAP2 000033d6: POP 000033d7: SWAP2 000033d8: POP 000033d9: PUSH2 0x33e3 000033dc: DUP3 000033dd: DUP3 000033de: DUP7 000033df: PUSH2 0x3402 000033e2: JUMP 000033e3: JUMPDEST 000033e4: SWAP3 000033e5: POP 000033e6: POP 000033e7: POP 000033e8: SWAP5 000033e9: SWAP4 000033ea: POP 000033eb: POP 000033ec: POP 000033ed: POP 000033ee: JUMP 000033ef: JUMPDEST 000033f0: PUSH1 0x00 000033f2: DUP1 000033f3: DUP3 000033f4: EXTCODESIZE 000033f5: SWAP1 000033f6: POP 000033f7: PUSH1 0x00 000033f9: DUP2 000033fa: GT 000033fb: SWAP2 000033fc: POP 000033fd: POP 000033fe: SWAP2 000033ff: SWAP1 00003400: POP 00003401: JUMP 00003402: JUMPDEST 00003403: PUSH1 0x60 00003405: DUP4 00003406: ISZERO 00003407: PUSH2 0x3412 0000340a: JUMPI 0000340b: DUP3 0000340c: SWAP1 0000340d: POP 0000340e: PUSH2 0x34c7 00003411: JUMP 00003412: JUMPDEST 00003413: PUSH1 0x00 00003415: DUP4 00003416: MLOAD 00003417: GT 00003418: ISZERO 00003419: PUSH2 0x3425 0000341c: JUMPI 0000341d: DUP3 0000341e: MLOAD 0000341f: DUP1 00003420: DUP5 00003421: PUSH1 0x20 00003423: ADD 00003424: REVERT 00003425: JUMPDEST 00003426: DUP2 00003427: PUSH1 0x40 00003429: MLOAD 0000342a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000344b: DUP2 0000344c: MSTORE 0000344d: PUSH1 0x04 0000344f: ADD 00003450: DUP1 00003451: DUP1 00003452: PUSH1 0x20 00003454: ADD 00003455: DUP3 00003456: DUP2 00003457: SUB 00003458: DUP3 00003459: MSTORE 0000345a: DUP4 0000345b: DUP2 0000345c: DUP2 0000345d: MLOAD 0000345e: DUP2 0000345f: MSTORE 00003460: PUSH1 0x20 00003462: ADD 00003463: SWAP2 00003464: POP 00003465: DUP1 00003466: MLOAD 00003467: SWAP1 00003468: PUSH1 0x20 0000346a: ADD 0000346b: SWAP1 0000346c: DUP1 0000346d: DUP4 0000346e: DUP4 0000346f: PUSH1 0x00 00003471: JUMPDEST 00003472: DUP4 00003473: DUP2 00003474: LT 00003475: ISZERO 00003476: PUSH2 0x348c 00003479: JUMPI 0000347a: DUP1 0000347b: DUP3 0000347c: ADD 0000347d: MLOAD 0000347e: DUP2 0000347f: DUP5 00003480: ADD 00003481: MSTORE 00003482: PUSH1 0x20 00003484: DUP2 00003485: ADD 00003486: SWAP1 00003487: POP 00003488: PUSH2 0x3471 0000348b: JUMP 0000348c: JUMPDEST 0000348d: POP 0000348e: POP 0000348f: POP 00003490: POP 00003491: SWAP1 00003492: POP 00003493: SWAP1 00003494: DUP2 00003495: ADD 00003496: SWAP1 00003497: PUSH1 0x1f 00003499: AND 0000349a: DUP1 0000349b: ISZERO 0000349c: PUSH2 0x34b9 0000349f: JUMPI 000034a0: DUP1 000034a1: DUP3 000034a2: SUB 000034a3: DUP1 000034a4: MLOAD 000034a5: PUSH1 0x01 000034a7: DUP4 000034a8: PUSH1 0x20 000034aa: SUB 000034ab: PUSH2 0x0100 000034ae: EXP 000034af: SUB 000034b0: NOT 000034b1: AND 000034b2: DUP2 000034b3: MSTORE 000034b4: PUSH1 0x20 000034b6: ADD 000034b7: SWAP2 000034b8: POP 000034b9: JUMPDEST 000034ba: POP 000034bb: SWAP3 000034bc: POP 000034bd: POP 000034be: POP 000034bf: PUSH1 0x40 000034c1: MLOAD 000034c2: DUP1 000034c3: SWAP2 000034c4: SUB 000034c5: SWAP1 000034c6: REVERT 000034c7: JUMPDEST 000034c8: SWAP4 000034c9: SWAP3 000034ca: POP 000034cb: POP 000034cc: POP 000034cd: JUMP 000034ce: INVALID 000034cf: MSTORE8 000034d0: PUSH2 0x6665 000034d3: TIMESTAMP 000034d4: GASLIMIT 000034d5: POP 000034d6: ORIGIN 000034d7: ADDRESS 000034d8: GASPRICE 000034d9: KECCAK256 000034da: TIMESTAMP 000034db: GASLIMIT 000034dc: POP 000034dd: ORIGIN 000034de: ADDRESS 000034df: KECCAK256 000034e0: PUSH16 0x7065726174696f6e20646964206e6f74 000034f1: KECCAK256 000034f2: PUSH20 0x7563636565644f776e61626c653a206e6577206f 00003507: PUSH24 0x6e657220697320746865207a65726f20616464726573734e 00003520: PUSH6 0x772073746172 00003527: PUSH21 0x426c6f636b206d757374206265206c6f7765722074 0000353d: PUSH9 0x616e206e657720656e 00003547: PUSH5 0x426c6f636b 0000354d: COINBASE 0000354e: PUSH5 0x6472657373 00003554: GASPRICE 00003555: KECCAK256 00003556: PUSH10 0x6e73756666696369656e 00003561: PUSH21 0x2062616c616e636520666f722063616c6c4e657720 00003577: PUSH20 0x74617274426c6f636b206d757374206265206869 0000358c: PUSH8 0x686572207468616e 00003595: KECCAK256 00003596: PUSH4 0x75727265 0000359b: PUSH15 0x7420626c6f636b536166654d617468 000035ab: GASPRICE 000035ac: KECCAK256 000035ad: PUSH14 0x756c7469706c69636174696f6e20 000035bc: PUSH16 0x766572666c6f77496e76616c69642074 000035cd: PUSH19 0x616e7366657220666565206f66207374616b65 000035e1: PUSH5 0x20746f6b65 000035e7: PUSH15 0xa26469706673582212206aa3e8a4f3 000035f7: CALLDATASIZE 000035f8: LOG4 000035f9: UNKNOWN(0xA7) 000035fa: UNKNOWN(0x0F) 000035fb: UNKNOWN(0xB6) 000035fc: UNKNOWN(0xF8) 000035fd: SIGNEXTEND 000035fe: UNKNOWN(0xE2) 000035ff: SWAP8 00003600: SWAP12 00003601: PUSH9 0xc19791e81e678f035b 0000360b: SWAP3 0000360c: BLOCKHASH 0000360d: ORIGIN 0000360e: UNKNOWN(0xCC) 0000360f: UNKNOWN(0x29) 00003610: TLOAD 00003611: UNKNOWN(0xD8) 00003612: PUSH5 0x736f6c6343 00003618: STOP 00003619: MOD 0000361a: UNKNOWN(0x0C) 0000361b: STOP 0000361c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xccd34cd5",
"selector": "0xccd34cd5",
"calldata_variants": [
"0xccd34cd5",
"0xccd34cd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf40f0f52",
"selector": "0xf40f0f52",
"calldata_variants": [
"0xf40f0f52",
"0xf40f0f520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9f8d181",
"selector": "0xa9f8d181",
"calldata_variants": [
"0xa9f8d181",
"0xa9f8d1810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xada1bd94",
"selector": "0xada1bd94",
"calldata_variants": [
"0xada1bd94",
"0xada1bd940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6b55f25",
"selector": "0xb6b55f25",
"calldata_variants": [
"0xb6b55f25",
"0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 7636,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13526,
"type": "tx_origin_used"
},
{
"pc": 13533,
"type": "tx_origin_used"
},
{
"pc": 13837,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc44affa6d43846d4e8537708a8d9a7ab2391bc8b47122e7200d6887ad3d795c0
call_targets:
0xe2557b81f2552f21580354e922c85e1499421297
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc44affa6d43846d4e8537708a8d9a7ab2391bc8b47122e7200d6887ad3d795c0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe2557b81f2552f21580354e922c85e1499421297"
],
"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": "0xccd34cd5",
"selector": "0xccd34cd5",
"calldata_variants": [
"0xccd34cd5",
"0xccd34cd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf40f0f52",
"selector": "0xf40f0f52",
"calldata_variants": [
"0xf40f0f52",
"0xf40f0f520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9f8d181",
"selector": "0xa9f8d181",
"calldata_variants": [
"0xa9f8d181",
"0xa9f8d1810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xada1bd94",
"selector": "0xada1bd94",
"calldata_variants": [
"0xada1bd94",
"0xada1bd940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6b55f25",
"selector": "0xb6b55f25",
"calldata_variants": [
"0xb6b55f25",
"0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 7636,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13526,
"type": "tx_origin_used"
},
{
"pc": 13533,
"type": "tx_origin_used"
},
{
"pc": 13837,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc44affa6d43846d4e8537708a8d9a7ab2391bc8b47122e7200d6887ad3d795c0
call_targets:
0xe2557b81f2552f21580354e922c85e1499421297
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc44affa6d43846d4e8537708a8d9a7ab2391bc8b47122e7200d6887ad3d795c0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe2557b81f2552f21580354e922c85e1499421297"
],
"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": "0xccd34cd5",
"selector": "0xccd34cd5",
"calldata_variants": [
"0xccd34cd5",
"0xccd34cd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb2e21bc",
"selector": "0xdb2e21bc",
"calldata_variants": [
"0xdb2e21bc",
"0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf40f0f52",
"selector": "0xf40f0f52",
"calldata_variants": [
"0xf40f0f52",
"0xf40f0f520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7c618c1",
"selector": "0xf7c618c1",
"calldata_variants": [
"0xf7c618c1",
"0xf7c618c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9f8d181",
"selector": "0xa9f8d181",
"calldata_variants": [
"0xa9f8d181",
"0xa9f8d1810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xada1bd94",
"selector": "0xada1bd94",
"calldata_variants": [
"0xada1bd94",
"0xada1bd940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb6b55f25",
"selector": "0xb6b55f25",
"calldata_variants": [
"0xb6b55f25",
"0xb6b55f250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 7636,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 13526,
"type": "tx_origin_used"
},
{
"pc": 13533,
"type": "tx_origin_used"
},
{
"pc": 13837,
"type": "tx_origin_used"
}
]
}
|
| medium | math | codex | Fee-on-transfer/rebasing staking tokens can break accounting and lock withdrawals | 75 | no | — |
viewevidence_json{
"evidence": "`deposit` adds `_amount` (minus configured fee) to `user.amount` without verifying actual received tokens; rewards use `stakedToken.balanceOf(address(this))` for supply.",
"locations": [
"contracts/DepoJungle.sol:174",
"contracts/DepoJungle.sol:180",
"contracts/DepoJungle.sol:187",
"contracts/DepoJungle.sol:410",
"contracts/DepoJungle.sol:452"
],
"recommendation": "Measure the actual received amount with balance-before/after and credit `user.amount` and reward calculations based on that value, or explicitly reject fee-on-transfer/rebasing tokens with a hard check and document the restriction.",
"exploit_scenario": "If the staked token charges a transfer fee or rebases, `deposit` credits `user.amount` based on the requested `_amount` minus the configured `stakedTokenTransferFee`, not the actual tokens received. The contract then accrues rewards and allows withdrawals against this inflated balance, but its real balance is lower, causing `withdraw` or `emergencyWithdraw` to revert due to insufficient balance. Users can become unable to withdraw their credited stake, and reward calculations are skewed."
}
|
| medium | access_control | codex | Reward token depletion can freeze withdrawals during withdrawal interval | 75 | no | — |
viewevidence_json{
"evidence": "`withdraw` pays rewards unconditionally when `pending > 0`, and `emergencyWithdraw` enforces the withdrawal lock; owner can drain rewards at any time.",
"locations": [
"contracts/DepoJungle.sol:228",
"contracts/DepoJungle.sol:244",
"contracts/DepoJungle.sol:247",
"contracts/DepoJungle.sol:267"
],
"recommendation": "Allow users to withdraw stake even if reward transfer fails (e.g., pay rewards up to available balance or skip rewards), and/or remove the withdrawal lock from `emergencyWithdraw`. Consider restricting or time-locking `emergencyRewardWithdraw` to avoid draining rewards while users are locked.",
"exploit_scenario": "`withdraw` always attempts to pay pending rewards; if the reward token balance is insufficient (e.g., owner drains rewards via `emergencyRewardWithdraw`, or rewards are exhausted), the transfer reverts and users cannot withdraw their stake. `emergencyWithdraw` is also blocked until `nextWithdrawalUntil` elapses, so users can be locked for up to 30 days even though they are trying to exit."
}
|