Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019be3d7-168b-7122-9efc-7b635b193209

complete

Chain ID

Address

0x40b45c2a9b30927292db21625de50de38f577c66

Block Number

—

Created

Thu, Jan 22, 2026 3:54 AM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

Validated

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
41254	artifact.fetch	complete	1 / 3	2 months ago
41255	proxy.resolve	complete	1 / 3	2 months ago
41256	tool.cast_disasm	complete	1 / 3	2 months ago
41257	analysis.bundle	complete	1 / 3	2 months ago
41258	capability.graph	complete	1 / 3	2 months ago
41259	detector.run	complete	1 / 3	2 months ago
41260	validation.fork	complete	1 / 3	2 months ago
41458	report.consolidate	complete	1 / 6	2 months ago
41459	tool.slither	complete	1 / 2	2 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

Status

complete

Attempts

1 / 2

Findings

Solc

0.8.24 (solc-select)

View stderr

'forge clean' running (wd: /tmp/slither-nrknmnf4)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-nrknmnf4)

Pool._deposit(address,ValidatorList.ValidatorListElement,bytes,bytes) (contracts/Pool.sol#231-235) has external calls inside a loop: IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	Calls stack containing the loop:
		Pool.stake(uint64)
Pool._deposit(address,ValidatorList.ValidatorListElement,bytes,bytes) (contracts/Pool.sol#231-235) has external calls inside a loop: IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	Calls stack containing the loop:
		Pool.restake(uint256)
Pool.setPendingValidators(ValidatorList.DepositData[]) (contracts/Pool.sol#238-271) has external calls inside a loop: IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidators[i].pubkey,withdrawAuthority,pendingValidators[i].signature,pendingValidators[i].deposit_data_root) (contracts/Pool.sol#248)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop

Reentrancy in Pool._deposit(address,ValidatorList.ValidatorListElement,bytes,bytes) (contracts/Pool.sol#231-235):
	External calls:
	- IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	Event emitted after the call(s):
	- StakeDeposited(pendingValidatorPubKey) (contracts/Pool.sol#234)
Reentrancy in Pool.activateStake() (contracts/Pool.sol#191-197):
	External calls:
	- activatedAmount = IAccounting(ACCOUNTING_CONTRACT_SLOT.getStorageAsAddress()).activateBalance(msg.sender) (contracts/Pool.sol#192)
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),activatedAmount) (contracts/Pool.sol#194)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	External calls sending eth:
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),activatedAmount) (contracts/Pool.sol#194)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	Event emitted after the call(s):
	- StakeActivated(msg.sender,activatedAmount) (contracts/Pool.sol#196)
Reentrancy in Pool.restake(uint256) (contracts/Pool.sol#204-229):
	External calls:
	- _deposit(depositContract,validator,pendingValidatorPubKey,withdrawAuthority) (contracts/Pool.sol#223)
		- IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	Event emitted after the call(s):
	- Restake(msg.value) (contracts/Pool.sol#228)
Reentrancy in Pool.setPendingValidators(ValidatorList.DepositData[]) (contracts/Pool.sol#238-271):
	External calls:
	- IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidators[i].pubkey,withdrawAuthority,pendingValidators[i].signature,pendingValidators[i].deposit_data_root) (contracts/Pool.sol#248)
	Event emitted after the call(s):
	- PendingValidatorsAdded() (contracts/Pool.sol#268)
	- StakeDeposited(pendingValidators[i].pubkey) (contracts/Pool.sol#249)
Reentrancy in Pool.stake(uint64) (contracts/Pool.sol#116-148):
	External calls:
	- (interchangedAmount,activatedSlots) = IAccounting(ACCOUNTING_CONTRACT_SLOT.getStorageAsAddress()).deposit(msg.sender,msg.value) (contracts/Pool.sol#120)
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),interchangedAmount) (contracts/Pool.sol#123)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	External calls sending eth:
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),interchangedAmount) (contracts/Pool.sol#123)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	Event emitted after the call(s):
	- StakeAdded(msg.sender,msg.value,source) (contracts/Pool.sol#126)
Reentrancy in Pool.stake(uint64) (contracts/Pool.sol#116-148):
	External calls:
	- (interchangedAmount,activatedSlots) = IAccounting(ACCOUNTING_CONTRACT_SLOT.getStorageAsAddress()).deposit(msg.sender,msg.value) (contracts/Pool.sol#120)
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),interchangedAmount) (contracts/Pool.sol#123)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	- _deposit(depositContract,validator,pendingValidatorPubKey,withdrawAuthority) (contracts/Pool.sol#143)
		- IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	External calls sending eth:
	- _safeEthSend(WITHDRAW_TREASURY_SLOT.getStorageAsAddress(),interchangedAmount) (contracts/Pool.sol#123)
		- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
	- _deposit(depositContract,validator,pendingValidatorPubKey,withdrawAuthority) (contracts/Pool.sol#143)
		- IDepositContract(depositContract).deposit{value: BEACON_AMOUNT}(pendingValidatorPubKey,withdrawAuthority,validator.signature,validator.deposit_data_root) (contracts/Pool.sol#232)
	Event emitted after the call(s):
	- StakeDeposited(pendingValidatorPubKey) (contracts/Pool.sol#234)
		- _deposit(depositContract,validator,pendingValidatorPubKey,withdrawAuthority) (contracts/Pool.sol#143)
Reentrancy in Pool.unstake(uint256,uint16,uint64) (contracts/Pool.sol#171-185):
	External calls:
	- unstakeFromPendingValue = IAccounting(ACCOUNTING_CONTRACT_SLOT.getStorageAsAddress()).withdraw(msg.sender,value,allowedInterchangeNum) (contracts/Pool.sol#173)
	Event emitted after the call(s):
	- Unstake(msg.sender,value,source) (contracts/Pool.sol#175)
Reentrancy in Pool.unstakePending(uint256) (contracts/Pool.sol#154-161):
	External calls:
	- pendingBalance = IAccounting(ACCOUNTING_CONTRACT_SLOT.getStorageAsAddress()).withdrawPending(msg.sender,amount) (contracts/Pool.sol#156)
	Event emitted after the call(s):
	- StakeCanceled(msg.sender,amount) (contracts/Pool.sol#159)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-3

AddressUpgradeable._revert(bytes,string) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#231-243) uses assembly
	- INLINE ASM (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#236-239)
Pool.initialize(address,address,address,address,address) (contracts/Pool.sol#66-88) uses assembly
	- INLINE ASM (contracts/Pool.sol#83-85)
Pool._validatorsRegistry() (contracts/Pool.sol#365-370) uses assembly
	- INLINE ASM (contracts/Pool.sol#367-369)
UnstructuredStorage.getStorageAsBool(bytes32) (contracts/lib/UnstructuredStorage.sol#11-15) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#12-14)
UnstructuredStorage.getStorageAsAddress(bytes32) (contracts/lib/UnstructuredStorage.sol#17-21) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#18-20)
UnstructuredStorage.getStorageAsBytes32(bytes32) (contracts/lib/UnstructuredStorage.sol#23-27) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#24-26)
UnstructuredStorage.getStorageAsUint256(bytes32) (contracts/lib/UnstructuredStorage.sol#29-33) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#30-32)
UnstructuredStorage.setStorageAsBool(bytes32,bool) (contracts/lib/UnstructuredStorage.sol#35-39) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#36-38)
UnstructuredStorage.setStorageAsAddress(bytes32,address) (contracts/lib/UnstructuredStorage.sol#41-45) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#42-44)
UnstructuredStorage.setStorageAsBytes32(bytes32,bytes32) (contracts/lib/UnstructuredStorage.sol#47-51) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#48-50)
UnstructuredStorage.setStorageAsUint256(bytes32,uint256) (contracts/lib/UnstructuredStorage.sol#53-57) uses assembly
	- INLINE ASM (contracts/lib/UnstructuredStorage.sol#54-56)
ValidatorList._pendingValidatorsPubKeys() (contracts/structs/ValidatorList.sol#194-199) uses assembly
	- INLINE ASM (contracts/structs/ValidatorList.sol#196-198)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage

4 different versions of Solidity are used:
	- Version constraint ^0.8.2 is used by:
		-^0.8.2 (@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol#4)
	- Version constraint ^0.8.1 is used by:
		-^0.8.1 (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#4)
	- Version constraint ^0.8.0 is used by:
		-^0.8.0 (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#4)
	- Version constraint 0.8.24 is used by:
		-0.8.24 (contracts/Governor.sol#2)
		-0.8.24 (contracts/Pool.sol#2)
		-0.8.24 (contracts/common/Errors.sol#2)
		-0.8.24 (contracts/interfaces/IAccounting.sol#2)
		-0.8.24 (contracts/interfaces/IDepositContract.sol#2)
		-0.8.24 (contracts/interfaces/IPool.sol#2)
		-0.8.24 (contracts/lib/UnstructuredStorage.sol#5)
		-0.8.24 (contracts/structs/ValidatorList.sol#2)
		-0.8.24 (contracts/utils/Ownable.sol#2)
		-0.8.24 (contracts/utils/OwnableWithSuperAdmin.sol#2)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used

ContextUpgradeable.__Context_init() (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#18-19) is never used and should be removed
ContextUpgradeable._contextSuffixLength() (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#31-33) is never used and should be removed
ContextUpgradeable._msgData() (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#27-29) is never used and should be removed
Initializable._getInitializedVersion() (@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol#156-158) is never used and should be removed
Initializable._isInitializing() (@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol#163-165) is never used and should be removed
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code

Version constraint ^0.8.2 contains known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
	- MissingSideEffectsOnSelectorAccess
	- AbiReencodingHeadOverflowWithStaticArrayCleanup
	- DirtyBytesArrayToStorage
	- DataLocationChangeInInternalOverride
	- NestedCalldataArrayAbiReencodingSizeValidation
	- SignedImmutables
	- ABIDecodeTwoDimensionalArrayMemory
	- KeccakCaching.
It is used by:
	- ^0.8.2 (@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol#4)
Version constraint ^0.8.1 contains known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
	- MissingSideEffectsOnSelectorAccess
	- AbiReencodingHeadOverflowWithStaticArrayCleanup
	- DirtyBytesArrayToStorage
	- DataLocationChangeInInternalOverride
	- NestedCalldataArrayAbiReencodingSizeValidation
	- SignedImmutables
	- ABIDecodeTwoDimensionalArrayMemory
	- KeccakCaching.
It is used by:
	- ^0.8.1 (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#4)
Version constraint ^0.8.0 contains known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
	- MissingSideEffectsOnSelectorAccess
	- AbiReencodingHeadOverflowWithStaticArrayCleanup
	- DirtyBytesArrayToStorage
	- DataLocationChangeInInternalOverride
	- NestedCalldataArrayAbiReencodingSizeValidation
	- SignedImmutables
	- ABIDecodeTwoDimensionalArrayMemory
	- KeccakCaching.
It is used by:
	- ^0.8.0 (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#4)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity

Low level call in AddressUpgradeable.sendValue(address,uint256) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#64-69):
	- (success,None) = recipient.call{value: amount}() (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#67)
Low level call in AddressUpgradeable.functionCallWithValue(address,bytes,uint256,string) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#128-137):
	- (success,returndata) = target.call{value: value}(data) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#135)
Low level call in AddressUpgradeable.functionStaticCall(address,bytes,string) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#155-162):
	- (success,returndata) = target.staticcall(data) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#160)
Low level call in AddressUpgradeable.functionDelegateCall(address,bytes,string) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#180-187):
	- (success,returndata) = target.delegatecall(data) (@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol#185)
Low level call in Pool._safeEthSend(address,uint256) (contracts/Pool.sol#360-363):
	- (success,None) = to.call{value: amount}() (contracts/Pool.sol#361)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#low-level-calls

Function ContextUpgradeable.__Context_init() (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#18-19) is not in mixedCase
Function ContextUpgradeable.__Context_init_unchained() (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#21-22) is not in mixedCase
Variable ContextUpgradeable.__gap (@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol#40) is not in mixedCase
Parameter IDepositContract.deposit(bytes,bytes,bytes,bytes32).withdrawal_credentials (contracts/interfaces/IDepositContract.sol#17) is not in mixedCase
Parameter IDepositContract.deposit(bytes,bytes,bytes,bytes32).deposit_data_root (contracts/interfaces/IDepositContract.sol#17) is not in mixedCase
Function IDepositContract.get_deposit_root() (contracts/interfaces/IDepositContract.sol#21) is not in mixedCase
Function IDepositContract.get_deposit_count() (contracts/interfaces/IDepositContract.sol#25) is not in mixedCase
Function Ownable.__Ownable_init() (contracts/utils/Ownable.sol#16-18) is not in mixedCase
Function Ownable.__Ownable_init_unchained() (contracts/utils/Ownable.sol#20-24) is not in mixedCase
Function OwnableWithSuperAdmin.__OwnableWithSuperAdmin_init() (contracts/utils/OwnableWithSuperAdmin.sol#16-20) is not in mixedCase
Function OwnableWithSuperAdmin.__OwnableWithSuperAdmin_init_unchained() (contracts/utils/OwnableWithSuperAdmin.sol#22-26) is not in mixedCase
Variable OwnableWithSuperAdmin.__gap (contracts/utils/OwnableWithSuperAdmin.sol#57) is not in mixedCase
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions
. analyzed (13 contracts with 100 detectors), 49 result(s) found

Metadata

{
    "solc": {
        "status": "ok",
        "use_rc": 0,
        "version": "0.8.24",
        "strategy": "solc-select",
        "solc_path": "/var/www/tripwire/.venv/bin/solc",
        "install_rc": 0,
        "use_stderr": null,
        "use_stdout": "Switched global version to 0.8.24",
        "install_stderr": null,
        "install_stdout": "Version '0.8.24' is already installed, skipping..."
    },
    "solc_args": "--base-path /tmp/slither-nrknmnf4 --include-path /tmp/slither-nrknmnf4/lib --include-path /tmp/slither-nrknmnf4/lib/openzeppelin-contracts --allow-paths /tmp/slither-nrknmnf4,/tmp/slither-nrknmnf4/lib,/tmp/slither-nrknmnf4/lib/openzeppelin-contracts,/tmp/slither-nrknmnf4/src",
    "remappings": [
        "openzeppelin-contracts/=lib/openzeppelin-contracts/"
    ],
    "source_files": [
        "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol",
        "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol",
        "@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol",
        "contracts/common/Errors.sol",
        "contracts/Governor.sol",
        "contracts/interfaces/IAccounting.sol",
        "contracts/interfaces/IDepositContract.sol",
        "contracts/interfaces/IPool.sol",
        "contracts/lib/UnstructuredStorage.sol",
        "contracts/Pool.sol",
        "contracts/structs/ValidatorList.sol",
        "contracts/utils/Ownable.sol",
        "contracts/utils/OwnableWithSuperAdmin.sol"
    ],
    "contract_count": 0,
    "contract_names": [],
    "detector_count": 49,
    "workspace_hash": "0aa8f83a7578b9e40c64d158dfffa5a7b898778ec870ac97886790430785912c",
    "duration_seconds": 1.2090561389923096,
    "solc_version_requested": "0.8.24"
}

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

No findings?

yes

Summary

No exploitable issues found in first-party contracts; core flows rely on trusted accounting behavior and proper proxy initialization.

View stdout

{"no_findings":true,"summary":"No exploitable issues found in first-party contracts; core flows rely on trusted accounting behavior and proper proxy initialization.","findings":[]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-14ivmgw_
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be4c3-a63f-7531-b6fb-db1788ded9ec
--------
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 instructions**
exec
/bin/bash -lc ls in /tmp/codex-14ivmgw_ succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-14ivmgw_ succeeded in 16ms:
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/Governor.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity 0.8.24;

import "./common/Errors.sol";
import "./lib/UnstructuredStorage.sol";

abstract contract Governor {
    using UnstructuredStorage for bytes32;

    event GovernorChanged(address oldGovernor, address newGovernor);

    bytes32 internal constant GOVERNOR_SLOT = keccak256("governor.governor");

    function governor() external view returns (address) {




thinking
**Auditing upgradeability and access control**

Pool appears upgradeable using unstructured storage but lacks explicit UUPS or admin patterns; Ownable uses regular storage which may pose upgrade risks. Access control has checks but some internal state updates lack full validation. Potential reentrancy exists in _safeEthSend when sending to treasury after external accounting calls without reentrancy guards.
thinking
**Highlighting external call reentrancy and storage layout nuances**

Reentrancy risks arise from external calls to accounting and treasury contracts without guards, though Pool's internal state updates occur before these calls, reducing impact. Using unstructured storage alongside regular storage in inherited contracts appears safe but requires careful upgrade management to avoid collisions. Signature validation and oracle components are absent, and some validator deposit data lacks length checks, which may cause revert but not security flaws.
thinking
**Flagging reentrancy risks and initialization exposure**

Reentrancy is possible via external calls to accounting and treasury contracts without guards, relying on external contracts to prevent misuse. The public initialize function allows anyone to initialize proxies if not done immediately on deployment, posing takeover risk if misused. Validator deposit data length checks may be bypassed during stash deposits but only governor can trigger, limiting impact.
thinking
```json
{
  "no_findings": true,
  "summary": "No exploitable issues found in first-party contracts; core flows depend on trusted accounting contract and proper proxy initialization.",
  "findings": []
}
```
codex
{"no_findings":true,"summary":"No exploitable issues found in first-party contracts; core flows rely on trusted accounting behavior and proper proxy initialization.","findings":[]}
tokens used
27,296

Metadata

{
    "codex": {
        "ran_at": "2026-01-22T08:16:39.582820+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 13,
        "import_count": 13,
        "first_party_contracts_count": 10
    },
    "summary": "No exploitable issues found in first-party contracts; core flows rely on trusted accounting behavior and proper proxy initialization.",
    "raw_final": {
        "summary": "No exploitable issues found in first-party contracts; core flows rely on trusted accounting behavior and proper proxy initialization.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

8367

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0196
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe30c3978
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xed0723d4
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed0723d4
0000003a: EQ
0000003b: PUSH2 0x0420
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1887684
00000045: EQ
00000046: PUSH2 0x0440
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf18e1d7b
00000050: EQ
00000051: PUSH2 0x0455
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0475
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe30c3978
0000006b: EQ
0000006c: PUSH2 0x03c2
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xeb4af045
00000076: EQ
00000077: PUSH2 0x03e0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xebd462cb
00000081: EQ
00000082: PUSH2 0x0400
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xa956c7b9
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa956c7b9
0000009c: EQ
0000009d: PUSH2 0x035f
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xbce1b520
000000a7: EQ
000000a8: PUSH2 0x038f
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc42cf535
000000b2: EQ
000000b3: PUSH2 0x03a2
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x8da5cb5b
000000c2: EQ
000000c3: PUSH2 0x02f7
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x9085b4c1
000000cd: EQ
000000ce: PUSH2 0x0315
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xa3764ef6
000000d8: EQ
000000d9: PUSH2 0x0342
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x55c1bbef
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x76ec871c
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x76ec871c
000000fe: EQ
000000ff: PUSH2 0x02ad
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x79ba5097
00000109: EQ
0000010a: PUSH2 0x02cd
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8274ba38
00000114: EQ
00000115: PUSH2 0x02e2
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x55c1bbef
00000124: EQ
00000125: PUSH2 0x0263
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x5769848c
0000012f: EQ
00000130: PUSH2 0x0278
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x715018a6
0000013a: EQ
0000013b: PUSH2 0x0298
0000013e: JUMPI
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x24522c63
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x24522c63
00000155: EQ
00000156: PUSH2 0x020f
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x29575f6a
00000160: EQ
00000161: PUSH2 0x0232
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x3a29dbae
0000016b: EQ
0000016c: PUSH2 0x0250
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x0c340a24
0000017b: EQ
0000017c: PUSH2 0x019b
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x1459457a
00000186: EQ
00000187: PUSH2 0x01cd
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x15700052
00000191: EQ
00000192: PUSH2 0x01ef
00000195: JUMPI
00000196: JUMPDEST
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH2 0x01b0
000001ac: PUSH2 0x0495
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH1 0x40
000001b3: MLOAD
000001b4: PUSH1 0x01
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: SHL
000001bb: SUB
000001bc: SWAP1
000001bd: SWAP2
000001be: AND
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: JUMPDEST
000001c5: PUSH1 0x40
000001c7: MLOAD
000001c8: DUP1
000001c9: SWAP2
000001ca: SUB
000001cb: SWAP1
000001cc: RETURN
000001cd: JUMPDEST
000001ce: CALLVALUE
000001cf: DUP1
000001d0: ISZERO
000001d1: PUSH2 0x01d9
000001d4: JUMPI
000001d5: PUSH1 0x00
000001d7: DUP1
000001d8: REVERT
000001d9: JUMPDEST
000001da: POP
000001db: PUSH2 0x01ed
000001de: PUSH2 0x01e8
000001e1: CALLDATASIZE
000001e2: PUSH1 0x04
000001e4: PUSH2 0x353d
000001e7: JUMP
000001e8: JUMPDEST
000001e9: PUSH2 0x04c4
000001ec: JUMP
000001ed: JUMPDEST
000001ee: STOP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: DUP1
000001f2: ISZERO
000001f3: PUSH2 0x01fb
000001f6: JUMPI
000001f7: PUSH1 0x00
000001f9: DUP1
000001fa: REVERT
000001fb: JUMPDEST
000001fc: POP
000001fd: PUSH2 0x01ed
00000200: PUSH2 0x020a
00000203: CALLDATASIZE
00000204: PUSH1 0x04
00000206: PUSH2 0x35a2
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH2 0x08ca
0000020e: JUMP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x0224
00000220: PUSH2 0x09c4
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: SWAP1
00000229: DUP2
0000022a: MSTORE
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: PUSH2 0x01c4
00000231: JUMP
00000232: JUMPDEST
00000233: CALLVALUE
00000234: DUP1
00000235: ISZERO
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: POP
00000240: PUSH1 0x35
00000242: SLOAD
00000243: PUSH1 0x01
00000245: PUSH1 0x01
00000247: PUSH1 0xa0
00000249: SHL
0000024a: SUB
0000024b: AND
0000024c: PUSH2 0x01b0
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x0224
00000254: PUSH2 0x025e
00000257: CALLDATASIZE
00000258: PUSH1 0x04
0000025a: PUSH2 0x35d5
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x0a02
00000262: JUMP
00000263: JUMPDEST
00000264: CALLVALUE
00000265: DUP1
00000266: ISZERO
00000267: PUSH2 0x026f
0000026a: JUMPI
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: POP
00000271: PUSH2 0x0224
00000274: PUSH2 0x0d97
00000277: JUMP
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH2 0x01ed
00000289: PUSH2 0x0293
0000028c: CALLDATASIZE
0000028d: PUSH1 0x04
0000028f: PUSH2 0x35f0
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH2 0x0dc2
00000297: JUMP
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x01ed
000002a9: PUSH2 0x0ed5
000002ac: JUMP
000002ad: JUMPDEST
000002ae: CALLVALUE
000002af: DUP1
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: POP
000002bb: PUSH2 0x0224
000002be: PUSH2 0x02c8
000002c1: CALLDATASIZE
000002c2: PUSH1 0x04
000002c4: PUSH2 0x3612
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH2 0x0f81
000002cc: JUMP
000002cd: JUMPDEST
000002ce: CALLVALUE
000002cf: DUP1
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: PUSH2 0x01ed
000002de: PUSH2 0x1104
000002e1: JUMP
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x02ee
000002e9: JUMPI
000002ea: PUSH1 0x00
000002ec: DUP1
000002ed: REVERT
000002ee: JUMPDEST
000002ef: POP
000002f0: PUSH2 0x01ed
000002f3: PUSH2 0x1164
000002f6: JUMP
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: DUP1
000002fa: ISZERO
000002fb: PUSH2 0x0303
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: POP
00000305: PUSH1 0x33
00000307: SLOAD
00000308: PUSH1 0x01
0000030a: PUSH1 0x01
0000030c: PUSH1 0xa0
0000030e: SHL
0000030f: SUB
00000310: AND
00000311: PUSH2 0x01b0
00000314: JUMP
00000315: JUMPDEST
00000316: CALLVALUE
00000317: DUP1
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: POP
00000323: PUSH2 0x0335
00000326: PUSH2 0x0330
00000329: CALLDATASIZE
0000032a: PUSH1 0x04
0000032c: PUSH2 0x3657
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH2 0x12d8
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x40
00000338: MLOAD
00000339: PUSH2 0x01c4
0000033c: SWAP2
0000033d: SWAP1
0000033e: PUSH2 0x36c0
00000341: JUMP
00000342: JUMPDEST
00000343: CALLVALUE
00000344: DUP1
00000345: ISZERO
00000346: PUSH2 0x034e
00000349: JUMPI
0000034a: PUSH1 0x00
0000034c: DUP1
0000034d: REVERT
0000034e: JUMPDEST
0000034f: POP
00000350: PUSH2 0x0224
00000353: PUSH9 0x01bc16d674ec800000
0000035d: DUP2
0000035e: JUMP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x037f
00000370: PUSH2 0x037a
00000373: CALLDATASIZE
00000374: PUSH1 0x04
00000376: PUSH2 0x36d3
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH2 0x1345
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH1 0x40
00000382: MLOAD
00000383: SWAP1
00000384: ISZERO
00000385: ISZERO
00000386: DUP2
00000387: MSTORE
00000388: PUSH1 0x20
0000038a: ADD
0000038b: PUSH2 0x01c4
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x01ed
00000393: PUSH2 0x039d
00000396: CALLDATASIZE
00000397: PUSH1 0x04
00000399: PUSH2 0x3657
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH2 0x149c
000003a1: JUMP
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x01ed
000003b3: PUSH2 0x03bd
000003b6: CALLDATASIZE
000003b7: PUSH1 0x04
000003b9: PUSH2 0x35a2
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH2 0x166a
000003c1: JUMP
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: DUP1
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH1 0x34
000003d2: SLOAD
000003d3: PUSH1 0x01
000003d5: PUSH1 0x01
000003d7: PUSH1 0xa0
000003d9: SHL
000003da: SUB
000003db: AND
000003dc: PUSH2 0x01b0
000003df: JUMP
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x01ed
000003f1: PUSH2 0x03fb
000003f4: CALLDATASIZE
000003f5: PUSH1 0x04
000003f7: PUSH2 0x3657
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x177b
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x01ed
00000411: PUSH2 0x041b
00000414: CALLDATASIZE
00000415: PUSH1 0x04
00000417: PUSH2 0x35f0
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH2 0x1885
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x01ed
00000431: PUSH2 0x043b
00000434: CALLDATASIZE
00000435: PUSH1 0x04
00000437: PUSH2 0x3657
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH2 0x1991
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x0224
00000451: PUSH2 0x1bb6
00000454: JUMP
00000455: JUMPDEST
00000456: CALLVALUE
00000457: DUP1
00000458: ISZERO
00000459: PUSH2 0x0461
0000045c: JUMPI
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: REVERT
00000461: JUMPDEST
00000462: POP
00000463: PUSH2 0x037f
00000466: PUSH2 0x0470
00000469: CALLDATASIZE
0000046a: PUSH1 0x04
0000046c: PUSH2 0x3721
0000046f: JUMP
00000470: JUMPDEST
00000471: PUSH2 0x1be0
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x01ed
00000486: PUSH2 0x0490
00000489: CALLDATASIZE
0000048a: PUSH1 0x04
0000048c: PUSH2 0x35a2
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH2 0x2095
00000494: JUMP
00000495: JUMPDEST
00000496: PUSH1 0x00
00000498: PUSH2 0x04bf
0000049b: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
000004bc: SLOAD
000004bd: SWAP1
000004be: JUMP
000004bf: JUMPDEST
000004c0: SWAP1
000004c1: POP
000004c2: SWAP1
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x00
000004c7: SLOAD
000004c8: PUSH2 0x0100
000004cb: SWAP1
000004cc: DIV
000004cd: PUSH1 0xff
000004cf: AND
000004d0: ISZERO
000004d1: DUP1
000004d2: DUP1
000004d3: ISZERO
000004d4: PUSH2 0x04e4
000004d7: JUMPI
000004d8: POP
000004d9: PUSH1 0x00
000004db: SLOAD
000004dc: PUSH1 0x01
000004de: PUSH1 0xff
000004e0: SWAP1
000004e1: SWAP2
000004e2: AND
000004e3: LT
000004e4: JUMPDEST
000004e5: DUP1
000004e6: PUSH2 0x04fe
000004e9: JUMPI
000004ea: POP
000004eb: ADDRESS
000004ec: EXTCODESIZE
000004ed: ISZERO
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x04fe
000004f3: JUMPI
000004f4: POP
000004f5: PUSH1 0x00
000004f7: SLOAD
000004f8: PUSH1 0xff
000004fa: AND
000004fb: PUSH1 0x01
000004fd: EQ
000004fe: JUMPDEST
000004ff: PUSH2 0x0575
00000502: JUMPI
00000503: PUSH1 0x40
00000505: MLOAD
00000506: PUSH3 0x461bcd
0000050a: PUSH1 0xe5
0000050c: SHL
0000050d: DUP2
0000050e: MSTORE
0000050f: PUSH1 0x20
00000511: PUSH1 0x04
00000513: DUP3
00000514: ADD
00000515: MSTORE
00000516: PUSH1 0x2e
00000518: PUSH1 0x24
0000051a: DUP3
0000051b: ADD
0000051c: MSTORE
0000051d: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
0000053e: PUSH1 0x44
00000540: DUP3
00000541: ADD
00000542: MSTORE
00000543: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00000564: PUSH1 0x64
00000566: DUP3
00000567: ADD
00000568: MSTORE
00000569: PUSH1 0x84
0000056b: ADD
0000056c: JUMPDEST
0000056d: PUSH1 0x40
0000056f: MLOAD
00000570: DUP1
00000571: SWAP2
00000572: SUB
00000573: SWAP1
00000574: REVERT
00000575: JUMPDEST
00000576: PUSH1 0x00
00000578: DUP1
00000579: SLOAD
0000057a: PUSH1 0xff
0000057c: NOT
0000057d: AND
0000057e: PUSH1 0x01
00000580: OR
00000581: SWAP1
00000582: SSTORE
00000583: DUP1
00000584: ISZERO
00000585: PUSH2 0x0598
00000588: JUMPI
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: SLOAD
0000058d: PUSH2 0xff00
00000590: NOT
00000591: AND
00000592: PUSH2 0x0100
00000595: OR
00000596: SWAP1
00000597: SSTORE
00000598: JUMPDEST
00000599: PUSH2 0x05a0
0000059c: PUSH2 0x21a8
0000059f: JUMP
000005a0: JUMPDEST
000005a1: PUSH1 0x01
000005a3: PUSH1 0x01
000005a5: PUSH1 0xa0
000005a7: SHL
000005a8: SUB
000005a9: DUP5
000005aa: AND
000005ab: PUSH2 0x05f7
000005ae: JUMPI
000005af: PUSH1 0x40
000005b1: MLOAD
000005b2: PUSH4 0x046c82ad
000005b7: PUSH1 0xe4
000005b9: SHL
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: PUSH1 0x04
000005c0: DUP3
000005c1: ADD
000005c2: MSTORE
000005c3: PUSH1 0x10
000005c5: PUSH1 0x24
000005c7: DUP3
000005c8: ADD
000005c9: MSTORE
000005ca: PUSH32 0x7769746864726177547265617375727900000000000000000000000000000000
000005eb: PUSH1 0x44
000005ed: DUP3
000005ee: ADD
000005ef: MSTORE
000005f0: PUSH1 0x64
000005f2: ADD
000005f3: PUSH2 0x056c
000005f6: JUMP
000005f7: JUMPDEST
000005f8: PUSH1 0x01
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: SHL
000005ff: SUB
00000600: DUP7
00000601: AND
00000602: PUSH2 0x064e
00000605: JUMPI
00000606: PUSH1 0x40
00000608: MLOAD
00000609: PUSH4 0x046c82ad
0000060e: PUSH1 0xe4
00000610: SHL
00000611: DUP2
00000612: MSTORE
00000613: PUSH1 0x20
00000615: PUSH1 0x04
00000617: DUP3
00000618: ADD
00000619: MSTORE
0000061a: PUSH1 0x0f
0000061c: PUSH1 0x24
0000061e: DUP3
0000061f: ADD
00000620: MSTORE
00000621: PUSH32 0x6465706f736974436f6e74726163740000000000000000000000000000000000
00000642: PUSH1 0x44
00000644: DUP3
00000645: ADD
00000646: MSTORE
00000647: PUSH1 0x64
00000649: ADD
0000064a: PUSH2 0x056c
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH1 0x01
00000651: PUSH1 0x01
00000653: PUSH1 0xa0
00000655: SHL
00000656: SUB
00000657: DUP6
00000658: AND
00000659: PUSH2 0x06a5
0000065c: JUMPI
0000065d: PUSH1 0x40
0000065f: MLOAD
00000660: PUSH4 0x046c82ad
00000665: PUSH1 0xe4
00000667: SHL
00000668: DUP2
00000669: MSTORE
0000066a: PUSH1 0x20
0000066c: PUSH1 0x04
0000066e: DUP3
0000066f: ADD
00000670: MSTORE
00000671: PUSH1 0x12
00000673: PUSH1 0x24
00000675: DUP3
00000676: ADD
00000677: MSTORE
00000678: PUSH32 0x6163636f756e74696e67436f6e74726163740000000000000000000000000000
00000699: PUSH1 0x44
0000069b: DUP3
0000069c: ADD
0000069d: MSTORE
0000069e: PUSH1 0x64
000006a0: ADD
000006a1: PUSH2 0x056c
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0x01
000006a8: PUSH1 0x01
000006aa: PUSH1 0xa0
000006ac: SHL
000006ad: SUB
000006ae: DUP4
000006af: AND
000006b0: PUSH2 0x06fc
000006b3: JUMPI
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: PUSH4 0x046c82ad
000006bc: PUSH1 0xe4
000006be: SHL
000006bf: DUP2
000006c0: MSTORE
000006c1: PUSH1 0x20
000006c3: PUSH1 0x04
000006c5: DUP3
000006c6: ADD
000006c7: MSTORE
000006c8: PUSH1 0x0f
000006ca: PUSH1 0x24
000006cc: DUP3
000006cd: ADD
000006ce: MSTORE
000006cf: PUSH32 0x7265776172647354726561737572790000000000000000000000000000000000
000006f0: PUSH1 0x44
000006f2: DUP3
000006f3: ADD
000006f4: MSTORE
000006f5: PUSH1 0x64
000006f7: ADD
000006f8: PUSH2 0x056c
000006fb: JUMP
000006fc: JUMPDEST
000006fd: PUSH1 0x01
000006ff: PUSH1 0x01
00000701: PUSH1 0xa0
00000703: SHL
00000704: SUB
00000705: DUP3
00000706: AND
00000707: PUSH2 0x0753
0000070a: JUMPI
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: PUSH4 0x046c82ad
00000713: PUSH1 0xe4
00000715: SHL
00000716: DUP2
00000717: MSTORE
00000718: PUSH1 0x20
0000071a: PUSH1 0x04
0000071c: DUP3
0000071d: ADD
0000071e: MSTORE
0000071f: PUSH1 0x0c
00000721: PUSH1 0x24
00000723: DUP3
00000724: ADD
00000725: MSTORE
00000726: PUSH32 0x706f6f6c476f7665726e6f720000000000000000000000000000000000000000
00000747: PUSH1 0x44
00000749: DUP3
0000074a: ADD
0000074b: MSTORE
0000074c: PUSH1 0x64
0000074e: ADD
0000074f: PUSH2 0x056c
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH2 0x077c
00000757: PUSH32 0xb1399a09495aba8f00ce65d9f6b9ffcef55f684246e8fbb326c258236016cd31
00000778: DUP8
00000779: SWAP1
0000077a: SSTORE
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH2 0x07a5
00000780: PUSH32 0xb3d51046fe5d9d351b4a270093d51b49b21c8a6a3dc3c6229cf28e3166cbcfb3
000007a1: DUP6
000007a2: SWAP1
000007a3: SSTORE
000007a4: JUMP
000007a5: JUMPDEST
000007a6: PUSH2 0x07ce
000007a9: PUSH32 0x8c0e2db797ff4a05022b33d34a8792e8c75a7f9d1aa653051604d15ffb01912f
000007ca: DUP7
000007cb: SWAP1
000007cc: SSTORE
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH2 0x07d7
000007d2: DUP3
000007d3: PUSH2 0x222d
000007d6: JUMP
000007d7: JUMPDEST
000007d8: PUSH8 0x016345785d8a0000
000007e1: PUSH32 0xb6341bc4c05a5b3e2d413394f9f3774e9880966128451ed4f4d4c9409b105fbd
00000802: SSTORE
00000803: PUSH1 0x40
00000805: DUP1
00000806: MLOAD
00000807: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00000828: PUSH1 0x20
0000082a: DUP1
0000082b: DUP4
0000082c: ADD
0000082d: SWAP2
0000082e: SWAP1
0000082f: SWAP2
00000830: MSTORE
00000831: PUSH12 0xffffffffffffffffffffffff
0000083e: NOT
0000083f: PUSH1 0x60
00000841: DUP8
00000842: SWAP1
00000843: SHL
00000844: AND
00000845: PUSH1 0x2c
00000847: DUP4
00000848: ADD
00000849: MSTORE
0000084a: DUP3
0000084b: MLOAD
0000084c: DUP1
0000084d: DUP4
0000084e: SUB
0000084f: DUP3
00000850: ADD
00000851: DUP2
00000852: MSTORE
00000853: SWAP2
00000854: DUP4
00000855: ADD
00000856: SWAP1
00000857: SWAP3
00000858: MSTORE
00000859: ADD
0000085a: MLOAD
0000085b: PUSH32 0xde3366780b9ae90b92e704a9be23ed2eb887d03a5c35fab419b092799e289780
0000087c: SSTORE
0000087d: DUP1
0000087e: ISZERO
0000087f: PUSH2 0x08c2
00000882: JUMPI
00000883: PUSH1 0x00
00000885: DUP1
00000886: SLOAD
00000887: PUSH2 0xff00
0000088a: NOT
0000088b: AND
0000088c: SWAP1
0000088d: SSTORE
0000088e: PUSH1 0x40
00000890: MLOAD
00000891: PUSH1 0x01
00000893: DUP2
00000894: MSTORE
00000895: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
000008b6: SWAP1
000008b7: PUSH1 0x20
000008b9: ADD
000008ba: PUSH1 0x40
000008bc: MLOAD
000008bd: DUP1
000008be: SWAP2
000008bf: SUB
000008c0: SWAP1
000008c1: LOG1
000008c2: JUMPDEST
000008c3: POP
000008c4: POP
000008c5: POP
000008c6: POP
000008c7: POP
000008c8: POP
000008c9: JUMP
000008ca: JUMPDEST
000008cb: PUSH1 0x33
000008cd: SLOAD
000008ce: PUSH1 0x01
000008d0: PUSH1 0x01
000008d2: PUSH1 0xa0
000008d4: SHL
000008d5: SUB
000008d6: AND
000008d7: CALLER
000008d8: EQ
000008d9: DUP1
000008da: PUSH2 0x08ed
000008dd: JUMPI
000008de: POP
000008df: PUSH1 0x35
000008e1: SLOAD
000008e2: PUSH1 0x01
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: SHL
000008e9: SUB
000008ea: AND
000008eb: CALLER
000008ec: EQ
000008ed: JUMPDEST
000008ee: PUSH2 0x0923
000008f1: JUMPI
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: PUSH4 0x4389d5ab
000008fa: PUSH1 0xe0
000008fc: SHL
000008fd: DUP2
000008fe: MSTORE
000008ff: PUSH1 0x20
00000901: PUSH1 0x04
00000903: DUP3
00000904: ADD
00000905: MSTORE
00000906: PUSH1 0x06
00000908: PUSH1 0x24
0000090a: DUP3
0000090b: ADD
0000090c: MSTORE
0000090d: PUSH6 0x39b2b73232b9
00000914: PUSH1 0xd1
00000916: SHL
00000917: PUSH1 0x44
00000919: DUP3
0000091a: ADD
0000091b: MSTORE
0000091c: PUSH1 0x64
0000091e: ADD
0000091f: PUSH2 0x056c
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x01
00000926: PUSH1 0x01
00000928: PUSH1 0xa0
0000092a: SHL
0000092b: SUB
0000092c: DUP2
0000092d: AND
0000092e: PUSH2 0x097a
00000931: JUMPI
00000932: PUSH1 0x40
00000934: MLOAD
00000935: PUSH4 0x046c82ad
0000093a: PUSH1 0xe4
0000093c: SHL
0000093d: DUP2
0000093e: MSTORE
0000093f: PUSH1 0x20
00000941: PUSH1 0x04
00000943: DUP3
00000944: ADD
00000945: MSTORE
00000946: PUSH1 0x08
00000948: PUSH1 0x24
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: PUSH32 0x6e65775375706572000000000000000000000000000000000000000000000000
0000096e: PUSH1 0x44
00000970: DUP3
00000971: ADD
00000972: MSTORE
00000973: PUSH1 0x64
00000975: ADD
00000976: PUSH2 0x056c
00000979: JUMP
0000097a: JUMPDEST
0000097b: PUSH1 0x35
0000097d: DUP1
0000097e: SLOAD
0000097f: PUSH1 0x01
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: SHL
00000986: SUB
00000987: NOT
00000988: AND
00000989: PUSH1 0x01
0000098b: PUSH1 0x01
0000098d: PUSH1 0xa0
0000098f: SHL
00000990: SUB
00000991: DUP4
00000992: AND
00000993: SWAP1
00000994: DUP2
00000995: OR
00000996: SWAP1
00000997: SWAP2
00000998: SSTORE
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: PUSH32 0xc39dd12e8ea4ff977240df8813655534b06b4b21a267e283fe82b2219034afbe
000009bd: SWAP1
000009be: PUSH1 0x00
000009c0: SWAP1
000009c1: LOG2
000009c2: POP
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x00
000009c7: PUSH9 0x01bc16d674ec800000
000009d1: PUSH2 0x09f8
000009d4: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
000009f5: SLOAD
000009f6: SWAP1
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH2 0x04bf
000009fc: SWAP2
000009fd: SWAP1
000009fe: PUSH2 0x37ac
00000a01: JUMP
00000a02: JUMPDEST
00000a03: PUSH1 0x00
00000a05: PUSH2 0x0a2c
00000a08: PUSH32 0x58fed418bb6e9690ec164767cdf71260bf56285e25e7af81723e255f91d08e5a
00000a29: SLOAD
00000a2a: SWAP1
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: ISZERO
00000a2e: PUSH2 0x0a64
00000a31: JUMPI
00000a32: PUSH1 0x40
00000a34: MLOAD
00000a35: PUSH4 0xc32e6d5d
00000a3a: PUSH1 0xe0
00000a3c: SHL
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x20
00000a41: PUSH1 0x04
00000a43: DUP3
00000a44: ADD
00000a45: MSTORE
00000a46: PUSH1 0x07
00000a48: PUSH1 0x24
00000a4a: DUP3
00000a4b: ADD
00000a4c: MSTORE
00000a4d: PUSH7 0x7374616b696e67
00000a55: PUSH1 0xc8
00000a57: SHL
00000a58: PUSH1 0x44
00000a5a: DUP3
00000a5b: ADD
00000a5c: MSTORE
00000a5d: PUSH1 0x64
00000a5f: ADD
00000a60: PUSH2 0x056c
00000a63: JUMP
00000a64: JUMPDEST
00000a65: PUSH32 0xb6341bc4c05a5b3e2d413394f9f3774e9880966128451ed4f4d4c9409b105fbd
00000a86: SLOAD
00000a87: CALLVALUE
00000a88: LT
00000a89: ISZERO
00000a8a: PUSH2 0x0aef
00000a8d: JUMPI
00000a8e: PUSH1 0x40
00000a90: MLOAD
00000a91: PUSH32 0xb132ad4a00000000000000000000000000000000000000000000000000000000
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x20
00000ab6: PUSH1 0x04
00000ab8: DUP3
00000ab9: ADD
00000aba: MSTORE
00000abb: PUSH1 0x0b
00000abd: PUSH1 0x24
00000abf: DUP3
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH32 0x736d616c6c207374616b65000000000000000000000000000000000000000000
00000ae3: PUSH1 0x44
00000ae5: DUP3
00000ae6: ADD
00000ae7: MSTORE
00000ae8: PUSH1 0x64
00000aea: ADD
00000aeb: PUSH2 0x056c
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x00
00000af2: PUSH2 0x0b19
00000af5: PUSH32 0x8c0e2db797ff4a05022b33d34a8792e8c75a7f9d1aa653051604d15ffb01912f
00000b16: SLOAD
00000b17: SWAP1
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: PUSH32 0x47e7ef2400000000000000000000000000000000000000000000000000000000
00000b3e: DUP2
00000b3f: MSTORE
00000b40: CALLER
00000b41: PUSH1 0x04
00000b43: DUP3
00000b44: ADD
00000b45: MSTORE
00000b46: CALLVALUE
00000b47: PUSH1 0x24
00000b49: DUP3
00000b4a: ADD
00000b4b: MSTORE
00000b4c: PUSH1 0x01
00000b4e: PUSH1 0x01
00000b50: PUSH1 0xa0
00000b52: SHL
00000b53: SUB
00000b54: SWAP2
00000b55: SWAP1
00000b56: SWAP2
00000b57: AND
00000b58: SWAP1
00000b59: PUSH4 0x47e7ef24
00000b5e: SWAP1
00000b5f: PUSH1 0x44
00000b61: ADD
00000b62: PUSH1 0x40
00000b64: DUP1
00000b65: MLOAD
00000b66: DUP1
00000b67: DUP4
00000b68: SUB
00000b69: DUP2
00000b6a: PUSH1 0x00
00000b6c: DUP8
00000b6d: GAS
00000b6e: CALL
00000b6f: ISZERO
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0b7f
00000b75: JUMPI
00000b76: RETURNDATASIZE
00000b77: PUSH1 0x00
00000b79: DUP1
00000b7a: RETURNDATACOPY
00000b7b: RETURNDATASIZE
00000b7c: PUSH1 0x00
00000b7e: REVERT
00000b7f: JUMPDEST
00000b80: POP
00000b81: POP
00000b82: POP
00000b83: POP
00000b84: PUSH1 0x40
00000b86: MLOAD
00000b87: RETURNDATASIZE
00000b88: PUSH1 0x1f
00000b8a: NOT
00000b8b: PUSH1 0x1f
00000b8d: DUP3
00000b8e: ADD
00000b8f: AND
00000b90: DUP3
00000b91: ADD
00000b92: DUP1
00000b93: PUSH1 0x40
00000b95: MSTORE
00000b96: POP
00000b97: DUP2
00000b98: ADD
00000b99: SWAP1
00000b9a: PUSH2 0x0ba3
00000b9d: SWAP2
00000b9e: SWAP1
00000b9f: PUSH2 0x37c3
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: SWAP1
00000ba5: SWAP3
00000ba6: POP
00000ba7: SWAP1
00000ba8: POP
00000ba9: DUP2
00000baa: ISZERO
00000bab: PUSH2 0x0bdf
00000bae: JUMPI
00000baf: PUSH2 0x0bdf
00000bb2: PUSH2 0x0bd9
00000bb5: PUSH32 0xb3d51046fe5d9d351b4a270093d51b49b21c8a6a3dc3c6229cf28e3166cbcfb3
00000bd6: SLOAD
00000bd7: SWAP1
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: DUP4
00000bdb: PUSH2 0x22c9
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: PUSH1 0x40
00000be2: DUP1
00000be3: MLOAD
00000be4: CALLVALUE
00000be5: DUP2
00000be6: MSTORE
00000be7: PUSH8 0xffffffffffffffff
00000bf0: DUP6
00000bf1: AND
00000bf2: PUSH1 0x20
00000bf4: DUP3
00000bf5: ADD
00000bf6: MSTORE
00000bf7: CALLER
00000bf8: SWAP2
00000bf9: PUSH32 0x7d194e8dc0f902cdc51bde00649039561dbd0b01574d671bad333436fdac7692
00000c1a: SWAP2
00000c1b: ADD
00000c1c: PUSH1 0x40
00000c1e: MLOAD
00000c1f: DUP1
00000c20: SWAP2
00000c21: SUB
00000c22: SWAP1
00000c23: LOG2
00000c24: DUP1
00000c25: PUSH1 0x00
00000c27: SUB
00000c28: PUSH2 0x0c31
00000c2b: JUMPI
00000c2c: POP
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: DUP1
00000c33: PUSH2 0x0c5b
00000c36: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00000c57: PUSH2 0x2371
00000c5a: JUMP
00000c5b: JUMPDEST
00000c5c: LT
00000c5d: ISZERO
00000c5e: PUSH2 0x0cc1
00000c61: JUMPI
00000c62: PUSH2 0x0cbb
00000c65: DUP2
00000c66: PUSH2 0x0c8d
00000c69: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
00000c8a: SLOAD
00000c8b: SWAP1
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH2 0x0c97
00000c91: SWAP2
00000c92: SWAP1
00000c93: PUSH2 0x37e7
00000c96: JUMP
00000c97: JUMPDEST
00000c98: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
00000cb9: SSTORE
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: POP
00000cbd: SWAP2
00000cbe: SWAP1
00000cbf: POP
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x00
00000cc4: PUSH1 0x60
00000cc6: PUSH1 0x00
00000cc8: PUSH2 0x0cef
00000ccb: PUSH32 0xde3366780b9ae90b92e704a9be23ed2eb887d03a5c35fab419b092799e289780
00000cec: SLOAD
00000ced: SWAP1
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: PUSH1 0x20
00000cf5: ADD
00000cf6: PUSH2 0x0d01
00000cf9: SWAP2
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x20
00000cfe: ADD
00000cff: SWAP1
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: PUSH1 0x20
00000d07: DUP2
00000d08: DUP4
00000d09: SUB
00000d0a: SUB
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: SWAP1
00000d0e: PUSH1 0x40
00000d10: MSTORE
00000d11: SWAP1
00000d12: POP
00000d13: PUSH1 0x00
00000d15: PUSH2 0x0d3c
00000d18: PUSH32 0xb1399a09495aba8f00ce65d9f6b9ffcef55f684246e8fbb326c258236016cd31
00000d39: SLOAD
00000d3a: SWAP1
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: SWAP1
00000d3e: POP
00000d3f: PUSH1 0x00
00000d41: JUMPDEST
00000d42: DUP6
00000d43: DUP2
00000d44: LT
00000d45: ISZERO
00000d46: PUSH2 0x0d8b
00000d49: JUMPI
00000d4a: PUSH2 0x0d72
00000d4d: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00000d6e: PUSH2 0x2384
00000d71: JUMP
00000d72: JUMPDEST
00000d73: SWAP1
00000d74: SWAP6
00000d75: POP
00000d76: SWAP4
00000d77: POP
00000d78: PUSH2 0x0d83
00000d7b: DUP3
00000d7c: DUP7
00000d7d: DUP7
00000d7e: DUP7
00000d7f: PUSH2 0x2608
00000d82: JUMP
00000d83: JUMPDEST
00000d84: PUSH1 0x01
00000d86: ADD
00000d87: PUSH2 0x0d41
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: POP
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: POP
00000d91: POP
00000d92: JUMPDEST
00000d93: SWAP2
00000d94: SWAP1
00000d95: POP
00000d96: JUMP
00000d97: JUMPDEST
00000d98: PUSH1 0x00
00000d9a: PUSH2 0x04bf
00000d9d: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00000dbe: PUSH2 0x2371
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: CALLER
00000dc4: PUSH2 0x0deb
00000dc7: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
00000de8: SLOAD
00000de9: SWAP1
00000dea: JUMP
00000deb: JUMPDEST
00000dec: PUSH1 0x01
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: SHL
00000df3: SUB
00000df4: AND
00000df5: EQ
00000df6: DUP1
00000df7: PUSH2 0x0e19
00000dfa: JUMPI
00000dfb: POP
00000dfc: CALLER
00000dfd: PUSH2 0x0e0e
00000e00: PUSH1 0x35
00000e02: SLOAD
00000e03: PUSH1 0x01
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: SHL
00000e0a: SUB
00000e0b: AND
00000e0c: SWAP1
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: PUSH1 0x01
00000e11: PUSH1 0x01
00000e13: PUSH1 0xa0
00000e15: SHL
00000e16: SUB
00000e17: AND
00000e18: EQ
00000e19: JUMPDEST
00000e1a: DUP1
00000e1b: PUSH2 0x0e3d
00000e1e: JUMPI
00000e1f: POP
00000e20: CALLER
00000e21: PUSH2 0x0e32
00000e24: PUSH1 0x33
00000e26: SLOAD
00000e27: PUSH1 0x01
00000e29: PUSH1 0x01
00000e2b: PUSH1 0xa0
00000e2d: SHL
00000e2e: SUB
00000e2f: AND
00000e30: SWAP1
00000e31: JUMP
00000e32: JUMPDEST
00000e33: PUSH1 0x01
00000e35: PUSH1 0x01
00000e37: PUSH1 0xa0
00000e39: SHL
00000e3a: SUB
00000e3b: AND
00000e3c: EQ
00000e3d: JUMPDEST
00000e3e: PUSH2 0x0e73
00000e41: JUMPI
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: PUSH4 0x4389d5ab
00000e4a: PUSH1 0xe0
00000e4c: SHL
00000e4d: DUP2
00000e4e: MSTORE
00000e4f: PUSH1 0x20
00000e51: PUSH1 0x04
00000e53: DUP3
00000e54: ADD
00000e55: MSTORE
00000e56: PUSH1 0x06
00000e58: PUSH1 0x24
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: PUSH6 0x31b0b63632b9
00000e64: PUSH1 0xd1
00000e66: SHL
00000e67: PUSH1 0x44
00000e69: DUP3
00000e6a: ADD
00000e6b: MSTORE
00000e6c: PUSH1 0x64
00000e6e: ADD
00000e6f: PUSH2 0x056c
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH2 0x0e9c
00000e77: PUSH32 0x58fed418bb6e9690ec164767cdf71260bf56285e25e7af81723e255f91d08e5a
00000e98: DUP3
00000e99: SWAP1
00000e9a: SSTORE
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x40
00000e9f: MLOAD
00000ea0: DUP2
00000ea1: ISZERO
00000ea2: ISZERO
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH32 0x20d6a3b66a3568b3657edf0bc90da12f7c6bad8320b89aaa938d89c76cfe7b4d
00000ec6: SWAP1
00000ec7: PUSH1 0x20
00000ec9: ADD
00000eca: JUMPDEST
00000ecb: PUSH1 0x40
00000ecd: MLOAD
00000ece: DUP1
00000ecf: SWAP2
00000ed0: SUB
00000ed1: SWAP1
00000ed2: LOG1
00000ed3: POP
00000ed4: JUMP
00000ed5: JUMPDEST
00000ed6: CALLER
00000ed7: PUSH2 0x0ee8
00000eda: PUSH1 0x33
00000edc: SLOAD
00000edd: PUSH1 0x01
00000edf: PUSH1 0x01
00000ee1: PUSH1 0xa0
00000ee3: SHL
00000ee4: SUB
00000ee5: AND
00000ee6: SWAP1
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH1 0x01
00000eeb: PUSH1 0x01
00000eed: PUSH1 0xa0
00000eef: SHL
00000ef0: SUB
00000ef1: AND
00000ef2: EQ
00000ef3: PUSH2 0x0f28
00000ef6: JUMPI
00000ef7: PUSH1 0x40
00000ef9: MLOAD
00000efa: PUSH4 0x4389d5ab
00000eff: PUSH1 0xe0
00000f01: SHL
00000f02: DUP2
00000f03: MSTORE
00000f04: PUSH1 0x20
00000f06: PUSH1 0x04
00000f08: DUP3
00000f09: ADD
00000f0a: MSTORE
00000f0b: PUSH1 0x06
00000f0d: PUSH1 0x24
00000f0f: DUP3
00000f10: ADD
00000f11: MSTORE
00000f12: PUSH6 0x39b2b73232b9
00000f19: PUSH1 0xd1
00000f1b: SHL
00000f1c: PUSH1 0x44
00000f1e: DUP3
00000f1f: ADD
00000f20: MSTORE
00000f21: PUSH1 0x64
00000f23: ADD
00000f24: PUSH2 0x056c
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x33
00000f2b: DUP1
00000f2c: SLOAD
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0x01
00000f31: PUSH1 0xa0
00000f33: SHL
00000f34: SUB
00000f35: NOT
00000f36: DUP1
00000f37: DUP3
00000f38: AND
00000f39: SWAP1
00000f3a: SWAP3
00000f3b: SSTORE
00000f3c: PUSH1 0x34
00000f3e: DUP1
00000f3f: SLOAD
00000f40: SWAP1
00000f41: SWAP3
00000f42: AND
00000f43: SWAP1
00000f44: SWAP2
00000f45: SSTORE
00000f46: PUSH1 0x40
00000f48: MLOAD
00000f49: PUSH1 0x01
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0xa0
00000f4f: SHL
00000f50: SUB
00000f51: SWAP1
00000f52: SWAP2
00000f53: AND
00000f54: SWAP1
00000f55: PUSH1 0x00
00000f57: SWAP1
00000f58: DUP3
00000f59: SWAP1
00000f5a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000f7b: SWAP1
00000f7c: DUP4
00000f7d: SWAP1
00000f7e: LOG3
00000f7f: POP
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH1 0x00
00000f84: PUSH2 0x0fab
00000f87: PUSH32 0x6aea3ad05a5defb269715efb9c48fd6f09e5deaa8b03172f65c929495dbac44c
00000fa8: SLOAD
00000fa9: SWAP1
00000faa: JUMP
00000fab: JUMPDEST
00000fac: ISZERO
00000fad: PUSH2 0x0fe4
00000fb0: JUMPI
00000fb1: PUSH1 0x40
00000fb3: MLOAD
00000fb4: PUSH4 0xc32e6d5d
00000fb9: PUSH1 0xe0
00000fbb: SHL
00000fbc: DUP2
00000fbd: MSTORE
00000fbe: PUSH1 0x20
00000fc0: PUSH1 0x04
00000fc2: DUP3
00000fc3: ADD
00000fc4: MSTORE
00000fc5: PUSH1 0x08
00000fc7: PUSH1 0x24
00000fc9: DUP3
00000fca: ADD
00000fcb: MSTORE
00000fcc: PUSH8 0x7769746864726177
00000fd5: PUSH1 0xc0
00000fd7: SHL
00000fd8: PUSH1 0x44
00000fda: DUP3
00000fdb: ADD
00000fdc: MSTORE
00000fdd: PUSH1 0x64
00000fdf: ADD
00000fe0: PUSH2 0x056c
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: PUSH32 0x8c0e2db797ff4a05022b33d34a8792e8c75a7f9d1aa653051604d15ffb01912f
00001006: SLOAD
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: PUSH32 0x17fe784c00000000000000000000000000000000000000000000000000000000
0000102b: DUP2
0000102c: MSTORE
0000102d: CALLER
0000102e: PUSH1 0x04
00001030: DUP3
00001031: ADD
00001032: MSTORE
00001033: PUSH1 0x24
00001035: DUP2
00001036: ADD
00001037: DUP7
00001038: SWAP1
00001039: MSTORE
0000103a: PUSH2 0xffff
0000103d: DUP6
0000103e: AND
0000103f: PUSH1 0x44
00001041: DUP3
00001042: ADD
00001043: MSTORE
00001044: PUSH1 0x01
00001046: PUSH1 0x01
00001048: PUSH1 0xa0
0000104a: SHL
0000104b: SUB
0000104c: SWAP2
0000104d: SWAP1
0000104e: SWAP2
0000104f: AND
00001050: SWAP1
00001051: PUSH4 0x17fe784c
00001056: SWAP1
00001057: PUSH1 0x64
00001059: ADD
0000105a: PUSH1 0x20
0000105c: PUSH1 0x40
0000105e: MLOAD
0000105f: DUP1
00001060: DUP4
00001061: SUB
00001062: DUP2
00001063: PUSH1 0x00
00001065: DUP8
00001066: GAS
00001067: CALL
00001068: ISZERO
00001069: DUP1
0000106a: ISZERO
0000106b: PUSH2 0x1078
0000106e: JUMPI
0000106f: RETURNDATASIZE
00001070: PUSH1 0x00
00001072: DUP1
00001073: RETURNDATACOPY
00001074: RETURNDATASIZE
00001075: PUSH1 0x00
00001077: REVERT
00001078: JUMPDEST
00001079: POP
0000107a: POP
0000107b: POP
0000107c: POP
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: RETURNDATASIZE
00001081: PUSH1 0x1f
00001083: NOT
00001084: PUSH1 0x1f
00001086: DUP3
00001087: ADD
00001088: AND
00001089: DUP3
0000108a: ADD
0000108b: DUP1
0000108c: PUSH1 0x40
0000108e: MSTORE
0000108f: POP
00001090: DUP2
00001091: ADD
00001092: SWAP1
00001093: PUSH2 0x109c
00001096: SWAP2
00001097: SWAP1
00001098: PUSH2 0x37fa
0000109b: JUMP
0000109c: JUMPDEST
0000109d: PUSH1 0x40
0000109f: DUP1
000010a0: MLOAD
000010a1: DUP7
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH8 0xffffffffffffffff
000010ad: DUP6
000010ae: AND
000010af: PUSH1 0x20
000010b1: DUP3
000010b2: ADD
000010b3: MSTORE
000010b4: SWAP2
000010b5: SWAP3
000010b6: POP
000010b7: CALLER
000010b8: SWAP2
000010b9: PUSH32 0x0750a71dce555de583ab0225a108df42b9402d22123d7cc9cd95793e43e7db0e
000010da: SWAP2
000010db: ADD
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: DUP1
000010e0: SWAP2
000010e1: SUB
000010e2: SWAP1
000010e3: LOG2
000010e4: DUP1
000010e5: PUSH1 0x00
000010e7: SUB
000010e8: PUSH2 0x10f3
000010eb: JUMPI
000010ec: POP
000010ed: PUSH1 0x00
000010ef: PUSH2 0x10fd
000010f2: JUMP
000010f3: JUMPDEST
000010f4: PUSH2 0x10fd
000010f7: CALLER
000010f8: DUP3
000010f9: PUSH2 0x22c9
000010fc: JUMP
000010fd: JUMPDEST
000010fe: SWAP4
000010ff: SWAP3
00001100: POP
00001101: POP
00001102: POP
00001103: JUMP
00001104: JUMPDEST
00001105: CALLER
00001106: DUP1
00001107: PUSH2 0x1118
0000110a: PUSH1 0x34
0000110c: SLOAD
0000110d: PUSH1 0x01
0000110f: PUSH1 0x01
00001111: PUSH1 0xa0
00001113: SHL
00001114: SUB
00001115: AND
00001116: SWAP1
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH1 0x01
0000111b: PUSH1 0x01
0000111d: PUSH1 0xa0
0000111f: SHL
00001120: SUB
00001121: AND
00001122: EQ
00001123: PUSH2 0x1158
00001126: JUMPI
00001127: PUSH1 0x40
00001129: MLOAD
0000112a: PUSH4 0x4389d5ab
0000112f: PUSH1 0xe0
00001131: SHL
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x20
00001136: PUSH1 0x04
00001138: DUP3
00001139: ADD
0000113a: MSTORE
0000113b: PUSH1 0x06
0000113d: PUSH1 0x24
0000113f: DUP3
00001140: ADD
00001141: MSTORE
00001142: PUSH6 0x39b2b73232b9
00001149: PUSH1 0xd1
0000114b: SHL
0000114c: PUSH1 0x44
0000114e: DUP3
0000114f: ADD
00001150: MSTORE
00001151: PUSH1 0x64
00001153: ADD
00001154: PUSH2 0x056c
00001157: JUMP
00001158: JUMPDEST
00001159: PUSH2 0x1161
0000115c: DUP2
0000115d: PUSH2 0x26d4
00001160: JUMP
00001161: JUMPDEST
00001162: POP
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH32 0x58fed418bb6e9690ec164767cdf71260bf56285e25e7af81723e255f91d08e5a
00001186: SLOAD
00001187: ISZERO
00001188: PUSH2 0x11be
0000118b: JUMPI
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: PUSH4 0xc32e6d5d
00001194: PUSH1 0xe0
00001196: SHL
00001197: DUP2
00001198: MSTORE
00001199: PUSH1 0x20
0000119b: PUSH1 0x04
0000119d: DUP3
0000119e: ADD
0000119f: MSTORE
000011a0: PUSH1 0x07
000011a2: PUSH1 0x24
000011a4: DUP3
000011a5: ADD
000011a6: MSTORE
000011a7: PUSH7 0x7374616b696e67
000011af: PUSH1 0xc8
000011b1: SHL
000011b2: PUSH1 0x44
000011b4: DUP3
000011b5: ADD
000011b6: MSTORE
000011b7: PUSH1 0x64
000011b9: ADD
000011ba: PUSH2 0x056c
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH1 0x00
000011c1: PUSH2 0x11e8
000011c4: PUSH32 0x8c0e2db797ff4a05022b33d34a8792e8c75a7f9d1aa653051604d15ffb01912f
000011e5: SLOAD
000011e6: SWAP1
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x40
000011eb: MLOAD
000011ec: PUSH32 0x0651844e00000000000000000000000000000000000000000000000000000000
0000120d: DUP2
0000120e: MSTORE
0000120f: CALLER
00001210: PUSH1 0x04
00001212: DUP3
00001213: ADD
00001214: MSTORE
00001215: PUSH1 0x01
00001217: PUSH1 0x01
00001219: PUSH1 0xa0
0000121b: SHL
0000121c: SUB
0000121d: SWAP2
0000121e: SWAP1
0000121f: SWAP2
00001220: AND
00001221: SWAP1
00001222: PUSH4 0x0651844e
00001227: SWAP1
00001228: PUSH1 0x24
0000122a: ADD
0000122b: PUSH1 0x20
0000122d: PUSH1 0x40
0000122f: MLOAD
00001230: DUP1
00001231: DUP4
00001232: SUB
00001233: DUP2
00001234: PUSH1 0x00
00001236: DUP8
00001237: GAS
00001238: CALL
00001239: ISZERO
0000123a: DUP1
0000123b: ISZERO
0000123c: PUSH2 0x1249
0000123f: JUMPI
00001240: RETURNDATASIZE
00001241: PUSH1 0x00
00001243: DUP1
00001244: RETURNDATACOPY
00001245: RETURNDATASIZE
00001246: PUSH1 0x00
00001248: REVERT
00001249: JUMPDEST
0000124a: POP
0000124b: POP
0000124c: POP
0000124d: POP
0000124e: PUSH1 0x40
00001250: MLOAD
00001251: RETURNDATASIZE
00001252: PUSH1 0x1f
00001254: NOT
00001255: PUSH1 0x1f
00001257: DUP3
00001258: ADD
00001259: AND
0000125a: DUP3
0000125b: ADD
0000125c: DUP1
0000125d: PUSH1 0x40
0000125f: MSTORE
00001260: POP
00001261: DUP2
00001262: ADD
00001263: SWAP1
00001264: PUSH2 0x126d
00001267: SWAP2
00001268: SWAP1
00001269: PUSH2 0x37fa
0000126c: JUMP
0000126d: JUMPDEST
0000126e: SWAP1
0000126f: POP
00001270: PUSH2 0x12a0
00001273: PUSH2 0x129a
00001276: PUSH32 0xb3d51046fe5d9d351b4a270093d51b49b21c8a6a3dc3c6229cf28e3166cbcfb3
00001297: SLOAD
00001298: SWAP1
00001299: JUMP
0000129a: JUMPDEST
0000129b: DUP3
0000129c: PUSH2 0x22c9
0000129f: JUMP
000012a0: JUMPDEST
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: DUP2
000012a5: DUP2
000012a6: MSTORE
000012a7: CALLER
000012a8: SWAP1
000012a9: PUSH32 0x90aa42af5b05005c0caf7c48ac144734b352d1ae35feadabba0590fd01f955d4
000012ca: SWAP1
000012cb: PUSH1 0x20
000012cd: ADD
000012ce: PUSH1 0x40
000012d0: MLOAD
000012d1: DUP1
000012d2: SWAP2
000012d3: SUB
000012d4: SWAP1
000012d5: LOG2
000012d6: POP
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x60
000012db: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
000012fc: PUSH2 0x1304
000012ff: DUP2
00001300: PUSH2 0x2371
00001303: JUMP
00001304: JUMPDEST
00001305: DUP4
00001306: LT
00001307: PUSH2 0x133b
0000130a: JUMPI
0000130b: PUSH1 0x40
0000130d: MLOAD
0000130e: PUSH4 0x4389d5ab
00001313: PUSH1 0xe0
00001315: SHL
00001316: DUP2
00001317: MSTORE
00001318: PUSH1 0x20
0000131a: PUSH1 0x04
0000131c: DUP3
0000131d: ADD
0000131e: MSTORE
0000131f: PUSH1 0x05
00001321: PUSH1 0x24
00001323: DUP3
00001324: ADD
00001325: MSTORE
00001326: PUSH5 0x0d2dcc8caf
0000132c: PUSH1 0xdb
0000132e: SHL
0000132f: PUSH1 0x44
00001331: DUP3
00001332: ADD
00001333: MSTORE
00001334: PUSH1 0x64
00001336: ADD
00001337: PUSH2 0x056c
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH2 0x10fd
0000133f: DUP2
00001340: DUP5
00001341: PUSH2 0x2731
00001344: JUMP
00001345: JUMPDEST
00001346: PUSH1 0x00
00001348: CALLER
00001349: PUSH2 0x1370
0000134c: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
0000136d: SLOAD
0000136e: SWAP1
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x01
00001373: PUSH1 0x01
00001375: PUSH1 0xa0
00001377: SHL
00001378: SUB
00001379: AND
0000137a: EQ
0000137b: DUP1
0000137c: PUSH2 0x139e
0000137f: JUMPI
00001380: POP
00001381: CALLER
00001382: PUSH2 0x1393
00001385: PUSH1 0x35
00001387: SLOAD
00001388: PUSH1 0x01
0000138a: PUSH1 0x01
0000138c: PUSH1 0xa0
0000138e: SHL
0000138f: SUB
00001390: AND
00001391: SWAP1
00001392: JUMP
00001393: JUMPDEST
00001394: PUSH1 0x01
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: SHL
0000139b: SUB
0000139c: AND
0000139d: EQ
0000139e: JUMPDEST
0000139f: DUP1
000013a0: PUSH2 0x13c2
000013a3: JUMPI
000013a4: POP
000013a5: CALLER
000013a6: PUSH2 0x13b7
000013a9: PUSH1 0x33
000013ab: SLOAD
000013ac: PUSH1 0x01
000013ae: PUSH1 0x01
000013b0: PUSH1 0xa0
000013b2: SHL
000013b3: SUB
000013b4: AND
000013b5: SWAP1
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x01
000013ba: PUSH1 0x01
000013bc: PUSH1 0xa0
000013be: SHL
000013bf: SUB
000013c0: AND
000013c1: EQ
000013c2: JUMPDEST
000013c3: PUSH2 0x13f8
000013c6: JUMPI
000013c7: PUSH1 0x40
000013c9: MLOAD
000013ca: PUSH4 0x4389d5ab
000013cf: PUSH1 0xe0
000013d1: SHL
000013d2: DUP2
000013d3: MSTORE
000013d4: PUSH1 0x20
000013d6: PUSH1 0x04
000013d8: DUP3
000013d9: ADD
000013da: MSTORE
000013db: PUSH1 0x06
000013dd: PUSH1 0x24
000013df: DUP3
000013e0: ADD
000013e1: MSTORE
000013e2: PUSH6 0x31b0b63632b9
000013e9: PUSH1 0xd1
000013eb: SHL
000013ec: PUSH1 0x44
000013ee: DUP3
000013ef: ADD
000013f0: MSTORE
000013f1: PUSH1 0x64
000013f3: ADD
000013f4: PUSH2 0x056c
000013f7: JUMP
000013f8: JUMPDEST
000013f9: PUSH2 0x1402
000013fc: DUP3
000013fd: DUP1
000013fe: PUSH2 0x3813
00001401: JUMP
00001402: JUMPDEST
00001403: SWAP1
00001404: POP
00001405: PUSH1 0x30
00001407: EQ
00001408: PUSH2 0x143d
0000140b: JUMPI
0000140c: PUSH1 0x40
0000140e: MLOAD
0000140f: PUSH4 0x4389d5ab
00001414: PUSH1 0xe0
00001416: SHL
00001417: DUP2
00001418: MSTORE
00001419: PUSH1 0x20
0000141b: PUSH1 0x04
0000141d: DUP3
0000141e: ADD
0000141f: MSTORE
00001420: PUSH1 0x06
00001422: PUSH1 0x24
00001424: DUP3
00001425: ADD
00001426: MSTORE
00001427: PUSH6 0x7075626b6579
0000142e: PUSH1 0xd0
00001430: SHL
00001431: PUSH1 0x44
00001433: DUP3
00001434: ADD
00001435: MSTORE
00001436: PUSH1 0x64
00001438: ADD
00001439: PUSH2 0x056c
0000143c: JUMP
0000143d: JUMPDEST
0000143e: PUSH2 0x144a
00001441: PUSH1 0x20
00001443: DUP4
00001444: ADD
00001445: DUP4
00001446: PUSH2 0x3813
00001449: JUMP
0000144a: JUMPDEST
0000144b: SWAP1
0000144c: POP
0000144d: PUSH1 0x60
0000144f: EQ
00001450: PUSH2 0x1488
00001453: JUMPI
00001454: PUSH1 0x40
00001456: MLOAD
00001457: PUSH4 0x4389d5ab
0000145c: PUSH1 0xe0
0000145e: SHL
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x20
00001463: PUSH1 0x04
00001465: DUP3
00001466: ADD
00001467: MSTORE
00001468: PUSH1 0x09
0000146a: PUSH1 0x24
0000146c: DUP3
0000146d: ADD
0000146e: MSTORE
0000146f: PUSH9 0x7369676e6174757265
00001479: PUSH1 0xb8
0000147b: SHL
0000147c: PUSH1 0x44
0000147e: DUP3
0000147f: ADD
00001480: MSTORE
00001481: PUSH1 0x64
00001483: ADD
00001484: PUSH2 0x056c
00001487: JUMP
00001488: JUMPDEST
00001489: PUSH2 0x1492
0000148c: DUP4
0000148d: DUP4
0000148e: PUSH2 0x2883
00001491: JUMP
00001492: JUMPDEST
00001493: POP
00001494: PUSH1 0x01
00001496: JUMPDEST
00001497: SWAP3
00001498: SWAP2
00001499: POP
0000149a: POP
0000149b: JUMP
0000149c: JUMPDEST
0000149d: PUSH32 0xde3366780b9ae90b92e704a9be23ed2eb887d03a5c35fab419b092799e289780
000014be: SLOAD
000014bf: PUSH1 0x01
000014c1: PUSH1 0x01
000014c3: PUSH1 0xa0
000014c5: SHL
000014c6: SUB
000014c7: AND
000014c8: CALLER
000014c9: EQ
000014ca: PUSH2 0x14ff
000014cd: JUMPI
000014ce: PUSH1 0x40
000014d0: MLOAD
000014d1: PUSH4 0x4389d5ab
000014d6: PUSH1 0xe0
000014d8: SHL
000014d9: DUP2
000014da: MSTORE
000014db: PUSH1 0x20
000014dd: PUSH1 0x04
000014df: DUP3
000014e0: ADD
000014e1: MSTORE
000014e2: PUSH1 0x06
000014e4: PUSH1 0x24
000014e6: DUP3
000014e7: ADD
000014e8: MSTORE
000014e9: PUSH6 0x31b0b63632b9
000014f0: PUSH1 0xd1
000014f2: SHL
000014f3: PUSH1 0x44
000014f5: DUP3
000014f6: ADD
000014f7: MSTORE
000014f8: PUSH1 0x64
000014fa: ADD
000014fb: PUSH2 0x056c
000014fe: JUMP
000014ff: JUMPDEST
00001500: DUP1
00001501: PUSH1 0x00
00001503: SUB
00001504: PUSH2 0x150a
00001507: JUMPI
00001508: POP
00001509: JUMP
0000150a: JUMPDEST
0000150b: DUP1
0000150c: PUSH2 0x1534
0000150f: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00001530: PUSH2 0x2371
00001533: JUMP
00001534: JUMPDEST
00001535: LT
00001536: ISZERO
00001537: PUSH2 0x1566
0000153a: JUMPI
0000153b: PUSH2 0x1161
0000153e: DUP2
0000153f: PUSH2 0x0c8d
00001542: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
00001563: SLOAD
00001564: SWAP1
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x00
00001569: PUSH2 0x1590
0000156c: PUSH32 0xde3366780b9ae90b92e704a9be23ed2eb887d03a5c35fab419b092799e289780
0000158d: SLOAD
0000158e: SWAP1
0000158f: JUMP
00001590: JUMPDEST
00001591: PUSH1 0x40
00001593: MLOAD
00001594: PUSH1 0x20
00001596: ADD
00001597: PUSH2 0x15a2
0000159a: SWAP2
0000159b: DUP2
0000159c: MSTORE
0000159d: PUSH1 0x20
0000159f: ADD
000015a0: SWAP1
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x40
000015a5: MLOAD
000015a6: PUSH1 0x20
000015a8: DUP2
000015a9: DUP4
000015aa: SUB
000015ab: SUB
000015ac: DUP2
000015ad: MSTORE
000015ae: SWAP1
000015af: PUSH1 0x40
000015b1: MSTORE
000015b2: SWAP1
000015b3: POP
000015b4: PUSH1 0x00
000015b6: DUP1
000015b7: PUSH2 0x15de
000015ba: PUSH32 0xb1399a09495aba8f00ce65d9f6b9ffcef55f684246e8fbb326c258236016cd31
000015db: SLOAD
000015dc: SWAP1
000015dd: JUMP
000015de: JUMPDEST
000015df: SWAP1
000015e0: POP
000015e1: PUSH1 0x60
000015e3: PUSH1 0x00
000015e5: JUMPDEST
000015e6: DUP6
000015e7: DUP2
000015e8: LT
000015e9: ISZERO
000015ea: PUSH2 0x162f
000015ed: JUMPI
000015ee: PUSH2 0x1616
000015f1: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00001612: PUSH2 0x2384
00001615: JUMP
00001616: JUMPDEST
00001617: SWAP1
00001618: SWAP5
00001619: POP
0000161a: SWAP2
0000161b: POP
0000161c: PUSH2 0x1627
0000161f: DUP4
00001620: DUP6
00001621: DUP5
00001622: DUP9
00001623: PUSH2 0x2608
00001626: JUMP
00001627: JUMPDEST
00001628: PUSH1 0x01
0000162a: ADD
0000162b: PUSH2 0x15e5
0000162e: JUMP
0000162f: JUMPDEST
00001630: POP
00001631: PUSH1 0x40
00001633: MLOAD
00001634: CALLVALUE
00001635: DUP2
00001636: MSTORE
00001637: PUSH32 0x1bc201e4af7db3920321d93a156625fd62f7898907c2fb30f5a1c3266a5527c6
00001658: SWAP1
00001659: PUSH1 0x20
0000165b: ADD
0000165c: PUSH1 0x40
0000165e: MLOAD
0000165f: DUP1
00001660: SWAP2
00001661: SUB
00001662: SWAP1
00001663: LOG1
00001664: POP
00001665: POP
00001666: POP
00001667: POP
00001668: POP
00001669: JUMP
0000166a: JUMPDEST
0000166b: CALLER
0000166c: PUSH2 0x1693
0000166f: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
00001690: SLOAD
00001691: SWAP1
00001692: JUMP
00001693: JUMPDEST
00001694: PUSH1 0x01
00001696: PUSH1 0x01
00001698: PUSH1 0xa0
0000169a: SHL
0000169b: SUB
0000169c: AND
0000169d: EQ
0000169e: DUP1
0000169f: PUSH2 0x16c1
000016a2: JUMPI
000016a3: POP
000016a4: CALLER
000016a5: PUSH2 0x16b6
000016a8: PUSH1 0x35
000016aa: SLOAD
000016ab: PUSH1 0x01
000016ad: PUSH1 0x01
000016af: PUSH1 0xa0
000016b1: SHL
000016b2: SUB
000016b3: AND
000016b4: SWAP1
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH1 0x01
000016b9: PUSH1 0x01
000016bb: PUSH1 0xa0
000016bd: SHL
000016be: SUB
000016bf: AND
000016c0: EQ
000016c1: JUMPDEST
000016c2: DUP1
000016c3: PUSH2 0x16e5
000016c6: JUMPI
000016c7: POP
000016c8: CALLER
000016c9: PUSH2 0x16da
000016cc: PUSH1 0x33
000016ce: SLOAD
000016cf: PUSH1 0x01
000016d1: PUSH1 0x01
000016d3: PUSH1 0xa0
000016d5: SHL
000016d6: SUB
000016d7: AND
000016d8: SWAP1
000016d9: JUMP
000016da: JUMPDEST
000016db: PUSH1 0x01
000016dd: PUSH1 0x01
000016df: PUSH1 0xa0
000016e1: SHL
000016e2: SUB
000016e3: AND
000016e4: EQ
000016e5: JUMPDEST
000016e6: PUSH2 0x171b
000016e9: JUMPI
000016ea: PUSH1 0x40
000016ec: MLOAD
000016ed: PUSH4 0x4389d5ab
000016f2: PUSH1 0xe0
000016f4: SHL
000016f5: DUP2
000016f6: MSTORE
000016f7: PUSH1 0x20
000016f9: PUSH1 0x04
000016fb: DUP3
000016fc: ADD
000016fd: MSTORE
000016fe: PUSH1 0x06
00001700: PUSH1 0x24
00001702: DUP3
00001703: ADD
00001704: MSTORE
00001705: PUSH6 0x31b0b63632b9
0000170c: PUSH1 0xd1
0000170e: SHL
0000170f: PUSH1 0x44
00001711: DUP3
00001712: ADD
00001713: MSTORE
00001714: PUSH1 0x64
00001716: ADD
00001717: PUSH2 0x056c
0000171a: JUMP
0000171b: JUMPDEST
0000171c: PUSH1 0x01
0000171e: PUSH1 0x01
00001720: PUSH1 0xa0
00001722: SHL
00001723: SUB
00001724: DUP2
00001725: AND
00001726: PUSH2 0x1772
00001729: JUMPI
0000172a: PUSH1 0x40
0000172c: MLOAD
0000172d: PUSH4 0x046c82ad
00001732: PUSH1 0xe4
00001734: SHL
00001735: DUP2
00001736: MSTORE
00001737: PUSH1 0x20
00001739: PUSH1 0x04
0000173b: DUP3
0000173c: ADD
0000173d: MSTORE
0000173e: PUSH1 0x0b
00001740: PUSH1 0x24
00001742: DUP3
00001743: ADD
00001744: MSTORE
00001745: PUSH32 0x6e6577476f7665726e6f72000000000000000000000000000000000000000000
00001766: PUSH1 0x44
00001768: DUP3
00001769: ADD
0000176a: MSTORE
0000176b: PUSH1 0x64
0000176d: ADD
0000176e: PUSH2 0x056c
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH2 0x1161
00001776: DUP2
00001777: PUSH2 0x222d
0000177a: JUMP
0000177b: JUMPDEST
0000177c: CALLER
0000177d: PUSH2 0x17a4
00001780: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
000017a1: SLOAD
000017a2: SWAP1
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH1 0x01
000017a7: PUSH1 0x01
000017a9: PUSH1 0xa0
000017ab: SHL
000017ac: SUB
000017ad: AND
000017ae: EQ
000017af: DUP1
000017b0: PUSH2 0x17d2
000017b3: JUMPI
000017b4: POP
000017b5: CALLER
000017b6: PUSH2 0x17c7
000017b9: PUSH1 0x35
000017bb: SLOAD
000017bc: PUSH1 0x01
000017be: PUSH1 0x01
000017c0: PUSH1 0xa0
000017c2: SHL
000017c3: SUB
000017c4: AND
000017c5: SWAP1
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH1 0x01
000017ca: PUSH1 0x01
000017cc: PUSH1 0xa0
000017ce: SHL
000017cf: SUB
000017d0: AND
000017d1: EQ
000017d2: JUMPDEST
000017d3: DUP1
000017d4: PUSH2 0x17f6
000017d7: JUMPI
000017d8: POP
000017d9: CALLER
000017da: PUSH2 0x17eb
000017dd: PUSH1 0x33
000017df: SLOAD
000017e0: PUSH1 0x01
000017e2: PUSH1 0x01
000017e4: PUSH1 0xa0
000017e6: SHL
000017e7: SUB
000017e8: AND
000017e9: SWAP1
000017ea: JUMP
000017eb: JUMPDEST
000017ec: PUSH1 0x01
000017ee: PUSH1 0x01
000017f0: PUSH1 0xa0
000017f2: SHL
000017f3: SUB
000017f4: AND
000017f5: EQ
000017f6: JUMPDEST
000017f7: PUSH2 0x182c
000017fa: JUMPI
000017fb: PUSH1 0x40
000017fd: MLOAD
000017fe: PUSH4 0x4389d5ab
00001803: PUSH1 0xe0
00001805: SHL
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x20
0000180a: PUSH1 0x04
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH1 0x06
00001811: PUSH1 0x24
00001813: DUP3
00001814: ADD
00001815: MSTORE
00001816: PUSH6 0x31b0b63632b9
0000181d: PUSH1 0xd1
0000181f: SHL
00001820: PUSH1 0x44
00001822: DUP3
00001823: ADD
00001824: MSTORE
00001825: PUSH1 0x64
00001827: ADD
00001828: PUSH2 0x056c
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH2 0x1855
00001830: PUSH32 0xb6341bc4c05a5b3e2d413394f9f3774e9880966128451ed4f4d4c9409b105fbd
00001851: DUP3
00001852: SWAP1
00001853: SSTORE
00001854: JUMP
00001855: JUMPDEST
00001856: PUSH1 0x40
00001858: MLOAD
00001859: DUP2
0000185a: DUP2
0000185b: MSTORE
0000185c: PUSH32 0x6e4bcc82cb4b918df6b911c8092c49f027b7d409733e2c97bb0a4b5a367e19db
0000187d: SWAP1
0000187e: PUSH1 0x20
00001880: ADD
00001881: PUSH2 0x0eca
00001884: JUMP
00001885: JUMPDEST
00001886: CALLER
00001887: PUSH2 0x18ae
0000188a: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
000018ab: SLOAD
000018ac: SWAP1
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH1 0x01
000018b1: PUSH1 0x01
000018b3: PUSH1 0xa0
000018b5: SHL
000018b6: SUB
000018b7: AND
000018b8: EQ
000018b9: DUP1
000018ba: PUSH2 0x18dc
000018bd: JUMPI
000018be: POP
000018bf: CALLER
000018c0: PUSH2 0x18d1
000018c3: PUSH1 0x35
000018c5: SLOAD
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: AND
000018cf: SWAP1
000018d0: JUMP
000018d1: JUMPDEST
000018d2: PUSH1 0x01
000018d4: PUSH1 0x01
000018d6: PUSH1 0xa0
000018d8: SHL
000018d9: SUB
000018da: AND
000018db: EQ
000018dc: JUMPDEST
000018dd: DUP1
000018de: PUSH2 0x1900
000018e1: JUMPI
000018e2: POP
000018e3: CALLER
000018e4: PUSH2 0x18f5
000018e7: PUSH1 0x33
000018e9: SLOAD
000018ea: PUSH1 0x01
000018ec: PUSH1 0x01
000018ee: PUSH1 0xa0
000018f0: SHL
000018f1: SUB
000018f2: AND
000018f3: SWAP1
000018f4: JUMP
000018f5: JUMPDEST
000018f6: PUSH1 0x01
000018f8: PUSH1 0x01
000018fa: PUSH1 0xa0
000018fc: SHL
000018fd: SUB
000018fe: AND
000018ff: EQ
00001900: JUMPDEST
00001901: PUSH2 0x1936
00001904: JUMPI
00001905: PUSH1 0x40
00001907: MLOAD
00001908: PUSH4 0x4389d5ab
0000190d: PUSH1 0xe0
0000190f: SHL
00001910: DUP2
00001911: MSTORE
00001912: PUSH1 0x20
00001914: PUSH1 0x04
00001916: DUP3
00001917: ADD
00001918: MSTORE
00001919: PUSH1 0x06
0000191b: PUSH1 0x24
0000191d: DUP3
0000191e: ADD
0000191f: MSTORE
00001920: PUSH6 0x31b0b63632b9
00001927: PUSH1 0xd1
00001929: SHL
0000192a: PUSH1 0x44
0000192c: DUP3
0000192d: ADD
0000192e: MSTORE
0000192f: PUSH1 0x64
00001931: ADD
00001932: PUSH2 0x056c
00001935: JUMP
00001936: JUMPDEST
00001937: PUSH2 0x195f
0000193a: PUSH32 0x6aea3ad05a5defb269715efb9c48fd6f09e5deaa8b03172f65c929495dbac44c
0000195b: DUP3
0000195c: SWAP1
0000195d: SSTORE
0000195e: JUMP
0000195f: JUMPDEST
00001960: PUSH1 0x40
00001962: MLOAD
00001963: DUP2
00001964: ISZERO
00001965: ISZERO
00001966: DUP2
00001967: MSTORE
00001968: PUSH32 0xc56dd3e14f5af3a74c61b7cdf855a3d8ab4401c78c0622a4d312de8a8f8736a2
00001989: SWAP1
0000198a: PUSH1 0x20
0000198c: ADD
0000198d: PUSH2 0x0eca
00001990: JUMP
00001991: JUMPDEST
00001992: PUSH32 0x6aea3ad05a5defb269715efb9c48fd6f09e5deaa8b03172f65c929495dbac44c
000019b3: SLOAD
000019b4: ISZERO
000019b5: PUSH2 0x19ec
000019b8: JUMPI
000019b9: PUSH1 0x40
000019bb: MLOAD
000019bc: PUSH4 0xc32e6d5d
000019c1: PUSH1 0xe0
000019c3: SHL
000019c4: DUP2
000019c5: MSTORE
000019c6: PUSH1 0x20
000019c8: PUSH1 0x04
000019ca: DUP3
000019cb: ADD
000019cc: MSTORE
000019cd: PUSH1 0x08
000019cf: PUSH1 0x24
000019d1: DUP3
000019d2: ADD
000019d3: MSTORE
000019d4: PUSH8 0x7769746864726177
000019dd: PUSH1 0xc0
000019df: SHL
000019e0: PUSH1 0x44
000019e2: DUP3
000019e3: ADD
000019e4: MSTORE
000019e5: PUSH1 0x64
000019e7: ADD
000019e8: PUSH2 0x056c
000019eb: JUMP
000019ec: JUMPDEST
000019ed: DUP1
000019ee: PUSH1 0x00
000019f0: SUB
000019f1: PUSH2 0x1a3d
000019f4: JUMPI
000019f5: PUSH1 0x40
000019f7: MLOAD
000019f8: PUSH4 0x046c82ad
000019fd: PUSH1 0xe4
000019ff: SHL
00001a00: DUP2
00001a01: MSTORE
00001a02: PUSH1 0x20
00001a04: PUSH1 0x04
00001a06: DUP3
00001a07: ADD
00001a08: MSTORE
00001a09: PUSH1 0x06
00001a0b: PUSH1 0x24
00001a0d: DUP3
00001a0e: ADD
00001a0f: MSTORE
00001a10: PUSH32 0x616d6f756e740000000000000000000000000000000000000000000000000000
00001a31: PUSH1 0x44
00001a33: DUP3
00001a34: ADD
00001a35: MSTORE
00001a36: PUSH1 0x64
00001a38: ADD
00001a39: PUSH2 0x056c
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: PUSH1 0x00
00001a40: PUSH2 0x1a67
00001a43: PUSH32 0x8c0e2db797ff4a05022b33d34a8792e8c75a7f9d1aa653051604d15ffb01912f
00001a64: SLOAD
00001a65: SWAP1
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: PUSH32 0x8033b09f00000000000000000000000000000000000000000000000000000000
00001a8c: DUP2
00001a8d: MSTORE
00001a8e: CALLER
00001a8f: PUSH1 0x04
00001a91: DUP3
00001a92: ADD
00001a93: MSTORE
00001a94: PUSH1 0x24
00001a96: DUP2
00001a97: ADD
00001a98: DUP5
00001a99: SWAP1
00001a9a: MSTORE
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0x01
00001a9f: PUSH1 0xa0
00001aa1: SHL
00001aa2: SUB
00001aa3: SWAP2
00001aa4: SWAP1
00001aa5: SWAP2
00001aa6: AND
00001aa7: SWAP1
00001aa8: PUSH4 0x8033b09f
00001aad: SWAP1
00001aae: PUSH1 0x44
00001ab0: ADD
00001ab1: PUSH1 0x20
00001ab3: PUSH1 0x40
00001ab5: MLOAD
00001ab6: DUP1
00001ab7: DUP4
00001ab8: SUB
00001ab9: DUP2
00001aba: PUSH1 0x00
00001abc: DUP8
00001abd: GAS
00001abe: CALL
00001abf: ISZERO
00001ac0: DUP1
00001ac1: ISZERO
00001ac2: PUSH2 0x1acf
00001ac5: JUMPI
00001ac6: RETURNDATASIZE
00001ac7: PUSH1 0x00
00001ac9: DUP1
00001aca: RETURNDATACOPY
00001acb: RETURNDATASIZE
00001acc: PUSH1 0x00
00001ace: REVERT
00001acf: JUMPDEST
00001ad0: POP
00001ad1: POP
00001ad2: POP
00001ad3: POP
00001ad4: PUSH1 0x40
00001ad6: MLOAD
00001ad7: RETURNDATASIZE
00001ad8: PUSH1 0x1f
00001ada: NOT
00001adb: PUSH1 0x1f
00001add: DUP3
00001ade: ADD
00001adf: AND
00001ae0: DUP3
00001ae1: ADD
00001ae2: DUP1
00001ae3: PUSH1 0x40
00001ae5: MSTORE
00001ae6: POP
00001ae7: DUP2
00001ae8: ADD
00001ae9: SWAP1
00001aea: PUSH2 0x1af3
00001aed: SWAP2
00001aee: SWAP1
00001aef: PUSH2 0x37fa
00001af2: JUMP
00001af3: JUMPDEST
00001af4: SWAP1
00001af5: POP
00001af6: PUSH1 0x00
00001af8: DUP2
00001af9: GT
00001afa: DUP1
00001afb: ISZERO
00001afc: PUSH2 0x1b25
00001aff: JUMPI
00001b00: POP
00001b01: PUSH32 0xb6341bc4c05a5b3e2d413394f9f3774e9880966128451ed4f4d4c9409b105fbd
00001b22: SLOAD
00001b23: DUP2
00001b24: LT
00001b25: JUMPDEST
00001b26: ISZERO
00001b27: PUSH2 0x1b73
00001b2a: JUMPI
00001b2b: PUSH1 0x40
00001b2d: MLOAD
00001b2e: PUSH4 0x2197ada5
00001b33: PUSH1 0xe1
00001b35: SHL
00001b36: DUP2
00001b37: MSTORE
00001b38: PUSH1 0x20
00001b3a: PUSH1 0x04
00001b3c: DUP3
00001b3d: ADD
00001b3e: MSTORE
00001b3f: PUSH1 0x09
00001b41: PUSH1 0x24
00001b43: DUP3
00001b44: ADD
00001b45: MSTORE
00001b46: PUSH32 0x72656d61696e6465720000000000000000000000000000000000000000000000
00001b67: PUSH1 0x44
00001b69: DUP3
00001b6a: ADD
00001b6b: MSTORE
00001b6c: PUSH1 0x64
00001b6e: ADD
00001b6f: PUSH2 0x056c
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH1 0x40
00001b76: MLOAD
00001b77: DUP3
00001b78: DUP2
00001b79: MSTORE
00001b7a: CALLER
00001b7b: SWAP1
00001b7c: PUSH32 0x54e9536cd034f3df0a8d955ac91a16ad1658352edd5d61d9d7c98616a80ad73f
00001b9d: SWAP1
00001b9e: PUSH1 0x20
00001ba0: ADD
00001ba1: PUSH1 0x40
00001ba3: MLOAD
00001ba4: DUP1
00001ba5: SWAP2
00001ba6: SUB
00001ba7: SWAP1
00001ba8: LOG2
00001ba9: PUSH2 0x1bb2
00001bac: CALLER
00001bad: DUP4
00001bae: PUSH2 0x22c9
00001bb1: JUMP
00001bb2: JUMPDEST
00001bb3: POP
00001bb4: POP
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: PUSH1 0x00
00001bb9: PUSH2 0x04bf
00001bbc: PUSH32 0xb6341bc4c05a5b3e2d413394f9f3774e9880966128451ed4f4d4c9409b105fbd
00001bdd: SLOAD
00001bde: SWAP1
00001bdf: JUMP
00001be0: JUMPDEST
00001be1: PUSH1 0x00
00001be3: CALLER
00001be4: PUSH2 0x1c0b
00001be7: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
00001c08: SLOAD
00001c09: SWAP1
00001c0a: JUMP
00001c0b: JUMPDEST
00001c0c: PUSH1 0x01
00001c0e: PUSH1 0x01
00001c10: PUSH1 0xa0
00001c12: SHL
00001c13: SUB
00001c14: AND
00001c15: EQ
00001c16: DUP1
00001c17: PUSH2 0x1c39
00001c1a: JUMPI
00001c1b: POP
00001c1c: CALLER
00001c1d: PUSH2 0x1c2e
00001c20: PUSH1 0x35
00001c22: SLOAD
00001c23: PUSH1 0x01
00001c25: PUSH1 0x01
00001c27: PUSH1 0xa0
00001c29: SHL
00001c2a: SUB
00001c2b: AND
00001c2c: SWAP1
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: PUSH1 0x01
00001c31: PUSH1 0x01
00001c33: PUSH1 0xa0
00001c35: SHL
00001c36: SUB
00001c37: AND
00001c38: EQ
00001c39: JUMPDEST
00001c3a: DUP1
00001c3b: PUSH2 0x1c5d
00001c3e: JUMPI
00001c3f: POP
00001c40: CALLER
00001c41: PUSH2 0x1c52
00001c44: PUSH1 0x33
00001c46: SLOAD
00001c47: PUSH1 0x01
00001c49: PUSH1 0x01
00001c4b: PUSH1 0xa0
00001c4d: SHL
00001c4e: SUB
00001c4f: AND
00001c50: SWAP1
00001c51: JUMP
00001c52: JUMPDEST
00001c53: PUSH1 0x01
00001c55: PUSH1 0x01
00001c57: PUSH1 0xa0
00001c59: SHL
00001c5a: SUB
00001c5b: AND
00001c5c: EQ
00001c5d: JUMPDEST
00001c5e: PUSH2 0x1c93
00001c61: JUMPI
00001c62: PUSH1 0x40
00001c64: MLOAD
00001c65: PUSH4 0x4389d5ab
00001c6a: PUSH1 0xe0
00001c6c: SHL
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x20
00001c71: PUSH1 0x04
00001c73: DUP3
00001c74: ADD
00001c75: MSTORE
00001c76: PUSH1 0x06
00001c78: PUSH1 0x24
00001c7a: DUP3
00001c7b: ADD
00001c7c: MSTORE
00001c7d: PUSH6 0x31b0b63632b9
00001c84: PUSH1 0xd1
00001c86: SHL
00001c87: PUSH1 0x44
00001c89: DUP3
00001c8a: ADD
00001c8b: MSTORE
00001c8c: PUSH1 0x64
00001c8e: ADD
00001c8f: PUSH2 0x056c
00001c92: JUMP
00001c93: JUMPDEST
00001c94: PUSH1 0x00
00001c96: PUSH2 0x1cbd
00001c99: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
00001cba: SLOAD
00001cbb: SWAP1
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: SWAP1
00001cbf: POP
00001cc0: PUSH1 0x00
00001cc2: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
00001ce3: DUP3
00001ce4: ISZERO
00001ce5: PUSH2 0x1f46
00001ce8: JUMPI
00001ce9: PUSH1 0x00
00001ceb: PUSH2 0x1d12
00001cee: PUSH32 0xb1399a09495aba8f00ce65d9f6b9ffcef55f684246e8fbb326c258236016cd31
00001d0f: SLOAD
00001d10: SWAP1
00001d11: JUMP
00001d12: JUMPDEST
00001d13: SWAP1
00001d14: POP
00001d15: PUSH1 0x00
00001d17: PUSH2 0x1d3e
00001d1a: PUSH32 0xde3366780b9ae90b92e704a9be23ed2eb887d03a5c35fab419b092799e289780
00001d3b: SLOAD
00001d3c: SWAP1
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: PUSH1 0x40
00001d41: MLOAD
00001d42: PUSH1 0x20
00001d44: ADD
00001d45: PUSH2 0x1d50
00001d48: SWAP2
00001d49: DUP2
00001d4a: MSTORE
00001d4b: PUSH1 0x20
00001d4d: ADD
00001d4e: SWAP1
00001d4f: JUMP
00001d50: JUMPDEST
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: PUSH1 0x20
00001d56: DUP2
00001d57: DUP4
00001d58: SUB
00001d59: SUB
00001d5a: DUP2
00001d5b: MSTORE
00001d5c: SWAP1
00001d5d: PUSH1 0x40
00001d5f: MSTORE
00001d60: SWAP1
00001d61: POP
00001d62: JUMPDEST
00001d63: PUSH1 0x00
00001d65: DUP6
00001d66: GT
00001d67: DUP1
00001d68: ISZERO
00001d69: PUSH2 0x1d71
00001d6c: JUMPI
00001d6d: POP
00001d6e: DUP7
00001d6f: DUP5
00001d70: LT
00001d71: JUMPDEST
00001d72: ISZERO
00001d73: PUSH2 0x1f1a
00001d76: JUMPI
00001d77: PUSH2 0x1daf
00001d7a: DUP9
00001d7b: DUP9
00001d7c: DUP7
00001d7d: DUP2
00001d7e: DUP2
00001d7f: LT
00001d80: PUSH2 0x1d8b
00001d83: JUMPI
00001d84: PUSH2 0x1d8b
00001d87: PUSH2 0x3861
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: SWAP1
00001d8d: POP
00001d8e: PUSH1 0x20
00001d90: MUL
00001d91: DUP2
00001d92: ADD
00001d93: SWAP1
00001d94: PUSH2 0x1d9d
00001d97: SWAP2
00001d98: SWAP1
00001d99: PUSH2 0x3877
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH2 0x1da7
00001da1: SWAP1
00001da2: DUP1
00001da3: PUSH2 0x3813
00001da6: JUMP
00001da7: JUMPDEST
00001da8: DUP6
00001da9: SWAP2
00001daa: SWAP1
00001dab: PUSH2 0x2938
00001dae: JUMP
00001daf: JUMPDEST
00001db0: DUP2
00001db1: PUSH1 0x01
00001db3: PUSH1 0x01
00001db5: PUSH1 0xa0
00001db7: SHL
00001db8: SUB
00001db9: AND
00001dba: PUSH4 0x22895118
00001dbf: PUSH9 0x01bc16d674ec800000
00001dc9: DUP11
00001dca: DUP11
00001dcb: DUP9
00001dcc: DUP2
00001dcd: DUP2
00001dce: LT
00001dcf: PUSH2 0x1dda
00001dd2: JUMPI
00001dd3: PUSH2 0x1dda
00001dd6: PUSH2 0x3861
00001dd9: JUMP
00001dda: JUMPDEST
00001ddb: SWAP1
00001ddc: POP
00001ddd: PUSH1 0x20
00001ddf: MUL
00001de0: DUP2
00001de1: ADD
00001de2: SWAP1
00001de3: PUSH2 0x1dec
00001de6: SWAP2
00001de7: SWAP1
00001de8: PUSH2 0x3877
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH2 0x1df6
00001df0: SWAP1
00001df1: DUP1
00001df2: PUSH2 0x3813
00001df5: JUMP
00001df6: JUMPDEST
00001df7: DUP6
00001df8: DUP14
00001df9: DUP14
00001dfa: DUP12
00001dfb: DUP2
00001dfc: DUP2
00001dfd: LT
00001dfe: PUSH2 0x1e09
00001e01: JUMPI
00001e02: PUSH2 0x1e09
00001e05: PUSH2 0x3861
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: SWAP1
00001e0b: POP
00001e0c: PUSH1 0x20
00001e0e: MUL
00001e0f: DUP2
00001e10: ADD
00001e11: SWAP1
00001e12: PUSH2 0x1e1b
00001e15: SWAP2
00001e16: SWAP1
00001e17: PUSH2 0x3877
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH2 0x1e29
00001e1f: SWAP1
00001e20: PUSH1 0x20
00001e22: DUP2
00001e23: ADD
00001e24: SWAP1
00001e25: PUSH2 0x3813
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: DUP16
00001e2b: DUP16
00001e2c: DUP14
00001e2d: DUP2
00001e2e: DUP2
00001e2f: LT
00001e30: PUSH2 0x1e3b
00001e33: JUMPI
00001e34: PUSH2 0x1e3b
00001e37: PUSH2 0x3861
00001e3a: JUMP
00001e3b: JUMPDEST
00001e3c: SWAP1
00001e3d: POP
00001e3e: PUSH1 0x20
00001e40: MUL
00001e41: DUP2
00001e42: ADD
00001e43: SWAP1
00001e44: PUSH2 0x1e4d
00001e47: SWAP2
00001e48: SWAP1
00001e49: PUSH2 0x3877
00001e4c: JUMP
00001e4d: JUMPDEST
00001e4e: PUSH1 0x40
00001e50: ADD
00001e51: CALLDATALOAD
00001e52: PUSH1 0x40
00001e54: MLOAD
00001e55: DUP9
00001e56: PUSH4 0xffffffff
00001e5b: AND
00001e5c: PUSH1 0xe0
00001e5e: SHL
00001e5f: DUP2
00001e60: MSTORE
00001e61: PUSH1 0x04
00001e63: ADD
00001e64: PUSH2 0x1e72
00001e67: SWAP7
00001e68: SWAP6
00001e69: SWAP5
00001e6a: SWAP4
00001e6b: SWAP3
00001e6c: SWAP2
00001e6d: SWAP1
00001e6e: PUSH2 0x38c0
00001e71: JUMP
00001e72: JUMPDEST
00001e73: PUSH1 0x00
00001e75: PUSH1 0x40
00001e77: MLOAD
00001e78: DUP1
00001e79: DUP4
00001e7a: SUB
00001e7b: DUP2
00001e7c: DUP6
00001e7d: DUP9
00001e7e: DUP1
00001e7f: EXTCODESIZE
00001e80: ISZERO
00001e81: DUP1
00001e82: ISZERO
00001e83: PUSH2 0x1e8b
00001e86: JUMPI
00001e87: PUSH1 0x00
00001e89: DUP1
00001e8a: REVERT
00001e8b: JUMPDEST
00001e8c: POP
00001e8d: GAS
00001e8e: CALL
00001e8f: ISZERO
00001e90: DUP1
00001e91: ISZERO
00001e92: PUSH2 0x1e9f
00001e95: JUMPI
00001e96: RETURNDATASIZE
00001e97: PUSH1 0x00
00001e99: DUP1
00001e9a: RETURNDATACOPY
00001e9b: RETURNDATASIZE
00001e9c: PUSH1 0x00
00001e9e: REVERT
00001e9f: JUMPDEST
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: POP
00001ea4: POP
00001ea5: PUSH32 0x8a5870564f37775f0bcb9ed25b4f2651ff8a60a4f9b6d54704add554a6ffb49a
00001ec6: DUP9
00001ec7: DUP9
00001ec8: DUP7
00001ec9: DUP2
00001eca: DUP2
00001ecb: LT
00001ecc: PUSH2 0x1ed7
00001ecf: JUMPI
00001ed0: PUSH2 0x1ed7
00001ed3: PUSH2 0x3861
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: SWAP1
00001ed9: POP
00001eda: PUSH1 0x20
00001edc: MUL
00001edd: DUP2
00001ede: ADD
00001edf: SWAP1
00001ee0: PUSH2 0x1ee9
00001ee3: SWAP2
00001ee4: SWAP1
00001ee5: PUSH2 0x3877
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: PUSH2 0x1ef3
00001eed: SWAP1
00001eee: DUP1
00001eef: PUSH2 0x3813
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: PUSH2 0x1f01
00001efa: SWAP3
00001efb: SWAP2
00001efc: SWAP1
00001efd: PUSH2 0x390f
00001f00: JUMP
00001f01: JUMPDEST
00001f02: PUSH1 0x40
00001f04: MLOAD
00001f05: DUP1
00001f06: SWAP2
00001f07: SUB
00001f08: SWAP1
00001f09: LOG1
00001f0a: PUSH1 0x01
00001f0c: DUP5
00001f0d: ADD
00001f0e: SWAP4
00001f0f: POP
00001f10: PUSH1 0x01
00001f12: DUP6
00001f13: SUB
00001f14: SWAP5
00001f15: POP
00001f16: PUSH2 0x1d62
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: PUSH2 0x1f43
00001f1e: PUSH32 0xcdffb96be280c3a893f6b04e8b51054f1e78c261546eef79aa0e6a05312772d7
00001f3f: DUP7
00001f40: SWAP1
00001f41: SSTORE
00001f42: JUMP
00001f43: JUMPDEST
00001f44: POP
00001f45: POP
00001f46: JUMPDEST
00001f47: DUP5
00001f48: DUP3
00001f49: LT
00001f4a: ISZERO
00001f4b: PUSH2 0x2060
00001f4e: JUMPI
00001f4f: DUP6
00001f50: DUP6
00001f51: DUP4
00001f52: DUP2
00001f53: DUP2
00001f54: LT
00001f55: PUSH2 0x1f60
00001f58: JUMPI
00001f59: PUSH2 0x1f60
00001f5c: PUSH2 0x3861
00001f5f: JUMP
00001f60: JUMPDEST
00001f61: SWAP1
00001f62: POP
00001f63: PUSH1 0x20
00001f65: MUL
00001f66: DUP2
00001f67: ADD
00001f68: SWAP1
00001f69: PUSH2 0x1f72
00001f6c: SWAP2
00001f6d: SWAP1
00001f6e: PUSH2 0x3877
00001f71: JUMP
00001f72: JUMPDEST
00001f73: PUSH2 0x1f7c
00001f76: SWAP1
00001f77: DUP1
00001f78: PUSH2 0x3813
00001f7b: JUMP
00001f7c: JUMPDEST
00001f7d: SWAP1
00001f7e: POP
00001f7f: PUSH1 0x30
00001f81: EQ
00001f82: PUSH2 0x1fb7
00001f85: JUMPI
00001f86: PUSH1 0x40
00001f88: MLOAD
00001f89: PUSH4 0x4389d5ab
00001f8e: PUSH1 0xe0
00001f90: SHL
00001f91: DUP2
00001f92: MSTORE
00001f93: PUSH1 0x20
00001f95: PUSH1 0x04
00001f97: DUP3
00001f98: ADD
00001f99: MSTORE
00001f9a: PUSH1 0x06
00001f9c: PUSH1 0x24
00001f9e: DUP3
00001f9f: ADD
00001fa0: MSTORE
00001fa1: PUSH6 0x7075626b6579
00001fa8: PUSH1 0xd0
00001faa: SHL
00001fab: PUSH1 0x44
00001fad: DUP3
00001fae: ADD
00001faf: MSTORE
00001fb0: PUSH1 0x64
00001fb2: ADD
00001fb3: PUSH2 0x056c
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: DUP6
00001fb9: DUP6
00001fba: DUP4
00001fbb: DUP2
00001fbc: DUP2
00001fbd: LT
00001fbe: PUSH2 0x1fc9
00001fc1: JUMPI
00001fc2: PUSH2 0x1fc9
00001fc5: PUSH2 0x3861
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: SWAP1
00001fcb: POP
00001fcc: PUSH1 0x20
00001fce: MUL
00001fcf: DUP2
00001fd0: ADD
00001fd1: SWAP1
00001fd2: PUSH2 0x1fdb
00001fd5: SWAP2
00001fd6: SWAP1
00001fd7: PUSH2 0x3877
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: PUSH2 0x1fe9
00001fdf: SWAP1
00001fe0: PUSH1 0x20
00001fe2: DUP2
00001fe3: ADD
00001fe4: SWAP1
00001fe5: PUSH2 0x3813
00001fe8: JUMP
00001fe9: JUMPDEST
00001fea: SWAP1
00001feb: POP
00001fec: PUSH1 0x60
00001fee: EQ
00001fef: PUSH2 0x2027
00001ff2: JUMPI
00001ff3: PUSH1 0x40
00001ff5: MLOAD
00001ff6: PUSH4 0x4389d5ab
00001ffb: PUSH1 0xe0
00001ffd: SHL
00001ffe: DUP2
00001fff: MSTORE
00002000: PUSH1 0x20
00002002: PUSH1 0x04
00002004: DUP3
00002005: ADD
00002006: MSTORE
00002007: PUSH1 0x09
00002009: PUSH1 0x24
0000200b: DUP3
0000200c: ADD
0000200d: MSTORE
0000200e: PUSH9 0x7369676e6174757265
00002018: PUSH1 0xb8
0000201a: SHL
0000201b: PUSH1 0x44
0000201d: DUP3
0000201e: ADD
0000201f: MSTORE
00002020: PUSH1 0x64
00002022: ADD
00002023: PUSH2 0x056c
00002026: JUMP
00002027: JUMPDEST
00002028: PUSH2 0x2055
0000202b: DUP7
0000202c: DUP7
0000202d: DUP5
0000202e: DUP2
0000202f: DUP2
00002030: LT
00002031: PUSH2 0x203c
00002034: JUMPI
00002035: PUSH2 0x203c
00002038: PUSH2 0x3861
0000203b: JUMP
0000203c: JUMPDEST
0000203d: SWAP1
0000203e: POP
0000203f: PUSH1 0x20
00002041: MUL
00002042: DUP2
00002043: ADD
00002044: SWAP1
00002045: PUSH2 0x204e
00002048: SWAP2
00002049: SWAP1
0000204a: PUSH2 0x3877
0000204d: JUMP
0000204e: JUMPDEST
0000204f: DUP3
00002050: SWAP1
00002051: PUSH2 0x2a23
00002054: JUMP
00002055: JUMPDEST
00002056: PUSH1 0x01
00002058: DUP3
00002059: ADD
0000205a: SWAP2
0000205b: POP
0000205c: PUSH2 0x1f46
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH1 0x40
00002063: MLOAD
00002064: PUSH32 0xf495d0ef21a0b3e032a0d82938fb05e420ab7266bb4cef28b66246dfd59b0e15
00002085: SWAP1
00002086: PUSH1 0x00
00002088: SWAP1
00002089: LOG1
0000208a: POP
0000208b: PUSH1 0x01
0000208d: SWAP6
0000208e: SWAP5
0000208f: POP
00002090: POP
00002091: POP
00002092: POP
00002093: POP
00002094: JUMP
00002095: JUMPDEST
00002096: CALLER
00002097: PUSH2 0x20a8
0000209a: PUSH1 0x33
0000209c: SLOAD
0000209d: PUSH1 0x01
0000209f: PUSH1 0x01
000020a1: PUSH1 0xa0
000020a3: SHL
000020a4: SUB
000020a5: AND
000020a6: SWAP1
000020a7: JUMP
000020a8: JUMPDEST
000020a9: PUSH1 0x01
000020ab: PUSH1 0x01
000020ad: PUSH1 0xa0
000020af: SHL
000020b0: SUB
000020b1: AND
000020b2: EQ
000020b3: PUSH2 0x20e8
000020b6: JUMPI
000020b7: PUSH1 0x40
000020b9: MLOAD
000020ba: PUSH4 0x4389d5ab
000020bf: PUSH1 0xe0
000020c1: SHL
000020c2: DUP2
000020c3: MSTORE
000020c4: PUSH1 0x20
000020c6: PUSH1 0x04
000020c8: DUP3
000020c9: ADD
000020ca: MSTORE
000020cb: PUSH1 0x06
000020cd: PUSH1 0x24
000020cf: DUP3
000020d0: ADD
000020d1: MSTORE
000020d2: PUSH6 0x39b2b73232b9
000020d9: PUSH1 0xd1
000020db: SHL
000020dc: PUSH1 0x44
000020de: DUP3
000020df: ADD
000020e0: MSTORE
000020e1: PUSH1 0x64
000020e3: ADD
000020e4: PUSH2 0x056c
000020e7: JUMP
000020e8: JUMPDEST
000020e9: PUSH1 0x01
000020eb: PUSH1 0x01
000020ed: PUSH1 0xa0
000020ef: SHL
000020f0: SUB
000020f1: DUP2
000020f2: AND
000020f3: PUSH2 0x213f
000020f6: JUMPI
000020f7: PUSH1 0x40
000020f9: MLOAD
000020fa: PUSH4 0x046c82ad
000020ff: PUSH1 0xe4
00002101: SHL
00002102: DUP2
00002103: MSTORE
00002104: PUSH1 0x20
00002106: PUSH1 0x04
00002108: DUP3
00002109: ADD
0000210a: MSTORE
0000210b: PUSH1 0x08
0000210d: PUSH1 0x24
0000210f: DUP3
00002110: ADD
00002111: MSTORE
00002112: PUSH32 0x6e65774f776e6572000000000000000000000000000000000000000000000000
00002133: PUSH1 0x44
00002135: DUP3
00002136: ADD
00002137: MSTORE
00002138: PUSH1 0x64
0000213a: ADD
0000213b: PUSH2 0x056c
0000213e: JUMP
0000213f: JUMPDEST
00002140: PUSH1 0x34
00002142: DUP1
00002143: SLOAD
00002144: PUSH1 0x01
00002146: PUSH1 0x01
00002148: PUSH1 0xa0
0000214a: SHL
0000214b: SUB
0000214c: DUP4
0000214d: AND
0000214e: PUSH1 0x01
00002150: PUSH1 0x01
00002152: PUSH1 0xa0
00002154: SHL
00002155: SUB
00002156: NOT
00002157: SWAP1
00002158: SWAP2
00002159: AND
0000215a: DUP2
0000215b: OR
0000215c: SWAP1
0000215d: SWAP2
0000215e: SSTORE
0000215f: PUSH2 0x2170
00002162: PUSH1 0x33
00002164: SLOAD
00002165: PUSH1 0x01
00002167: PUSH1 0x01
00002169: PUSH1 0xa0
0000216b: SHL
0000216c: SUB
0000216d: AND
0000216e: SWAP1
0000216f: JUMP
00002170: JUMPDEST
00002171: PUSH1 0x01
00002173: PUSH1 0x01
00002175: PUSH1 0xa0
00002177: SHL
00002178: SUB
00002179: AND
0000217a: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
0000219b: PUSH1 0x40
0000219d: MLOAD
0000219e: PUSH1 0x40
000021a0: MLOAD
000021a1: DUP1
000021a2: SWAP2
000021a3: SUB
000021a4: SWAP1
000021a5: LOG3
000021a6: POP
000021a7: JUMP
000021a8: JUMPDEST
000021a9: PUSH1 0x00
000021ab: SLOAD
000021ac: PUSH2 0x0100
000021af: SWAP1
000021b0: DIV
000021b1: PUSH1 0xff
000021b3: AND
000021b4: PUSH2 0x2213
000021b7: JUMPI
000021b8: PUSH1 0x40
000021ba: MLOAD
000021bb: PUSH3 0x461bcd
000021bf: PUSH1 0xe5
000021c1: SHL
000021c2: DUP2
000021c3: MSTORE
000021c4: PUSH1 0x20
000021c6: PUSH1 0x04
000021c8: DUP3
000021c9: ADD
000021ca: MSTORE
000021cb: PUSH1 0x2b
000021cd: PUSH1 0x24
000021cf: DUP3
000021d0: ADD
000021d1: MSTORE
000021d2: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000021f3: PUSH1 0x44
000021f5: DUP3
000021f6: ADD
000021f7: MSTORE
000021f8: PUSH11 0x6e697469616c697a696e67
00002204: PUSH1 0xa8
00002206: SHL
00002207: PUSH1 0x64
00002209: DUP3
0000220a: ADD
0000220b: MSTORE
0000220c: PUSH1 0x84
0000220e: ADD
0000220f: PUSH2 0x056c
00002212: JUMP
00002213: JUMPDEST
00002214: PUSH2 0x221b
00002217: PUSH2 0x2d44
0000221a: JUMP
0000221b: JUMPDEST
0000221c: PUSH2 0x2223
0000221f: PUSH2 0x2daf
00002222: JUMP
00002223: JUMPDEST
00002224: PUSH2 0x222b
00002227: PUSH2 0x2e22
0000222a: JUMP
0000222b: JUMPDEST
0000222c: JUMP
0000222d: JUMPDEST
0000222e: PUSH1 0x00
00002230: PUSH2 0x2257
00002233: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
00002254: SLOAD
00002255: SWAP1
00002256: JUMP
00002257: JUMPDEST
00002258: SWAP1
00002259: POP
0000225a: PUSH2 0x2282
0000225d: PUSH32 0xe2402d11864fa093837c72c1e18072778bfaef25e15dbf863da236b8e8a68792
0000227e: DUP4
0000227f: SWAP1
00002280: SSTORE
00002281: JUMP
00002282: JUMPDEST
00002283: PUSH1 0x40
00002285: DUP1
00002286: MLOAD
00002287: PUSH1 0x01
00002289: PUSH1 0x01
0000228b: PUSH1 0xa0
0000228d: SHL
0000228e: SUB
0000228f: DUP1
00002290: DUP5
00002291: AND
00002292: DUP3
00002293: MSTORE
00002294: DUP5
00002295: AND
00002296: PUSH1 0x20
00002298: DUP3
00002299: ADD
0000229a: MSTORE
0000229b: PUSH32 0xde4b3f61490b74c0ed6237523974fe299126bbbf8a8a7482fd220104c59b0c84
000022bc: SWAP2
000022bd: ADD
000022be: PUSH1 0x40
000022c0: MLOAD
000022c1: DUP1
000022c2: SWAP2
000022c3: SUB
000022c4: SWAP1
000022c5: LOG1
000022c6: POP
000022c7: POP
000022c8: JUMP
000022c9: JUMPDEST
000022ca: PUSH1 0x00
000022cc: DUP3
000022cd: PUSH1 0x01
000022cf: PUSH1 0x01
000022d1: PUSH1 0xa0
000022d3: SHL
000022d4: SUB
000022d5: AND
000022d6: DUP3
000022d7: PUSH1 0x40
000022d9: MLOAD
000022da: PUSH1 0x00
000022dc: PUSH1 0x40
000022de: MLOAD
000022df: DUP1
000022e0: DUP4
000022e1: SUB
000022e2: DUP2
000022e3: DUP6
000022e4: DUP8
000022e5: GAS
000022e6: CALL
000022e7: SWAP3
000022e8: POP
000022e9: POP
000022ea: POP
000022eb: RETURNDATASIZE
000022ec: DUP1
000022ed: PUSH1 0x00
000022ef: DUP2
000022f0: EQ
000022f1: PUSH2 0x2316
000022f4: JUMPI
000022f5: PUSH1 0x40
000022f7: MLOAD
000022f8: SWAP2
000022f9: POP
000022fa: PUSH1 0x1f
000022fc: NOT
000022fd: PUSH1 0x3f
000022ff: RETURNDATASIZE
00002300: ADD
00002301: AND
00002302: DUP3
00002303: ADD
00002304: PUSH1 0x40
00002306: MSTORE
00002307: RETURNDATASIZE
00002308: DUP3
00002309: MSTORE
0000230a: RETURNDATASIZE
0000230b: PUSH1 0x00
0000230d: PUSH1 0x20
0000230f: DUP5
00002310: ADD
00002311: RETURNDATACOPY
00002312: PUSH2 0x231b
00002315: JUMP
00002316: JUMPDEST
00002317: PUSH1 0x60
00002319: SWAP2
0000231a: POP
0000231b: JUMPDEST
0000231c: POP
0000231d: POP
0000231e: SWAP1
0000231f: POP
00002320: DUP1
00002321: PUSH2 0x236c
00002324: JUMPI
00002325: PUSH1 0x40
00002327: MLOAD
00002328: PUSH3 0x461bcd
0000232c: PUSH1 0xe5
0000232e: SHL
0000232f: DUP2
00002330: MSTORE
00002331: PUSH1 0x20
00002333: PUSH1 0x04
00002335: DUP3
00002336: ADD
00002337: MSTORE
00002338: PUSH1 0x0c
0000233a: PUSH1 0x24
0000233c: DUP3
0000233d: ADD
0000233e: MSTORE
0000233f: PUSH32 0x6574682077697468647261770000000000000000000000000000000000000000
00002360: PUSH1 0x44
00002362: DUP3
00002363: ADD
00002364: MSTORE
00002365: PUSH1 0x64
00002367: ADD
00002368: PUSH2 0x056c
0000236b: JUMP
0000236c: JUMPDEST
0000236d: POP
0000236e: POP
0000236f: POP
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH1 0x01
00002374: DUP2
00002375: ADD
00002376: SLOAD
00002377: DUP2
00002378: SLOAD
00002379: PUSH1 0x00
0000237b: SWAP2
0000237c: PUSH2 0x1496
0000237f: SWAP2
00002380: PUSH2 0x392b
00002383: JUMP
00002384: JUMPDEST
00002385: PUSH1 0x01
00002387: DUP2
00002388: ADD
00002389: SLOAD
0000238a: DUP2
0000238b: SLOAD
0000238c: PUSH1 0x00
0000238e: SWAP2
0000238f: PUSH1 0x60
00002391: SWAP2
00002392: DUP2
00002393: SUB
00002394: PUSH2 0x23df
00002397: JUMPI
00002398: PUSH1 0x40
0000239a: MLOAD
0000239b: PUSH3 0x461bcd
0000239f: PUSH1 0xe5
000023a1: SHL
000023a2: DUP2
000023a3: MSTORE
000023a4: PUSH1 0x20
000023a6: PUSH1 0x04
000023a8: DUP3
000023a9: ADD
000023aa: MSTORE
000023ab: PUSH1 0x11
000023ad: PUSH1 0x24
000023af: DUP3
000023b0: ADD
000023b1: MSTORE
000023b2: PUSH32 0x50656e64696e672076616c696461746f72000000000000000000000000000000
000023d3: PUSH1 0x44
000023d5: DUP3
000023d6: ADD
000023d7: MSTORE
000023d8: PUSH1 0x64
000023da: ADD
000023db: PUSH2 0x056c
000023de: JUMP
000023df: JUMPDEST
000023e0: DUP4
000023e1: PUSH1 0x00
000023e3: ADD
000023e4: DUP2
000023e5: DUP2
000023e6: SLOAD
000023e7: DUP2
000023e8: LT
000023e9: PUSH2 0x23f4
000023ec: JUMPI
000023ed: PUSH2 0x23f4
000023f0: PUSH2 0x3861
000023f3: JUMP
000023f4: JUMPDEST
000023f5: SWAP1
000023f6: PUSH1 0x00
000023f8: MSTORE
000023f9: PUSH1 0x20
000023fb: PUSH1 0x00
000023fd: KECCAK256
000023fe: SWAP1
000023ff: PUSH1 0x03
00002401: MUL
00002402: ADD
00002403: SWAP3
00002404: POP
00002405: DUP1
00002406: PUSH1 0x01
00002408: PUSH2 0x2411
0000240b: SWAP2
0000240c: SWAP1
0000240d: PUSH2 0x37e7
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x01
00002414: DUP6
00002415: ADD
00002416: SSTORE
00002417: PUSH1 0x00
00002419: DUP2
0000241a: DUP2
0000241b: MSTORE
0000241c: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
0000243d: PUSH1 0x20
0000243f: MSTORE
00002440: PUSH1 0x40
00002442: SWAP1
00002443: KECCAK256
00002444: SLOAD
00002445: PUSH2 0x24fb
00002448: JUMPI
00002449: DUP4
0000244a: PUSH1 0x02
0000244c: ADD
0000244d: DUP4
0000244e: PUSH1 0x00
00002450: ADD
00002451: SLOAD
00002452: DUP2
00002453: SLOAD
00002454: DUP2
00002455: LT
00002456: PUSH2 0x2461
00002459: JUMPI
0000245a: PUSH2 0x2461
0000245d: PUSH2 0x3861
00002460: JUMP
00002461: JUMPDEST
00002462: SWAP1
00002463: PUSH1 0x00
00002465: MSTORE
00002466: PUSH1 0x20
00002468: PUSH1 0x00
0000246a: KECCAK256
0000246b: ADD
0000246c: DUP1
0000246d: SLOAD
0000246e: PUSH2 0x2476
00002471: SWAP1
00002472: PUSH2 0x393e
00002475: JUMP
00002476: JUMPDEST
00002477: DUP1
00002478: PUSH1 0x1f
0000247a: ADD
0000247b: PUSH1 0x20
0000247d: DUP1
0000247e: SWAP2
0000247f: DIV
00002480: MUL
00002481: PUSH1 0x20
00002483: ADD
00002484: PUSH1 0x40
00002486: MLOAD
00002487: SWAP1
00002488: DUP2
00002489: ADD
0000248a: PUSH1 0x40
0000248c: MSTORE
0000248d: DUP1
0000248e: SWAP3
0000248f: SWAP2
00002490: SWAP1
00002491: DUP2
00002492: DUP2
00002493: MSTORE
00002494: PUSH1 0x20
00002496: ADD
00002497: DUP3
00002498: DUP1
00002499: SLOAD
0000249a: PUSH2 0x24a2
0000249d: SWAP1
0000249e: PUSH2 0x393e
000024a1: JUMP
000024a2: JUMPDEST
000024a3: DUP1
000024a4: ISZERO
000024a5: PUSH2 0x24ef
000024a8: JUMPI
000024a9: DUP1
000024aa: PUSH1 0x1f
000024ac: LT
000024ad: PUSH2 0x24c4
000024b0: JUMPI
000024b1: PUSH2 0x0100
000024b4: DUP1
000024b5: DUP4
000024b6: SLOAD
000024b7: DIV
000024b8: MUL
000024b9: DUP4
000024ba: MSTORE
000024bb: SWAP2
000024bc: PUSH1 0x20
000024be: ADD
000024bf: SWAP2
000024c0: PUSH2 0x24ef
000024c3: JUMP
000024c4: JUMPDEST
000024c5: DUP3
000024c6: ADD
000024c7: SWAP2
000024c8: SWAP1
000024c9: PUSH1 0x00
000024cb: MSTORE
000024cc: PUSH1 0x20
000024ce: PUSH1 0x00
000024d0: KECCAK256
000024d1: SWAP1
000024d2: JUMPDEST
000024d3: DUP2
000024d4: SLOAD
000024d5: DUP2
000024d6: MSTORE
000024d7: SWAP1
000024d8: PUSH1 0x01
000024da: ADD
000024db: SWAP1
000024dc: PUSH1 0x20
000024de: ADD
000024df: DUP1
000024e0: DUP4
000024e1: GT
000024e2: PUSH2 0x24d2
000024e5: JUMPI
000024e6: DUP3
000024e7: SWAP1
000024e8: SUB
000024e9: PUSH1 0x1f
000024eb: AND
000024ec: DUP3
000024ed: ADD
000024ee: SWAP2
000024ef: JUMPDEST
000024f0: POP
000024f1: POP
000024f2: POP
000024f3: POP
000024f4: POP
000024f5: SWAP2
000024f6: POP
000024f7: PUSH2 0x2534
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH1 0x00
000024fe: DUP2
000024ff: DUP2
00002500: MSTORE
00002501: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
00002522: PUSH1 0x20
00002524: MSTORE
00002525: PUSH1 0x40
00002527: SWAP1
00002528: KECCAK256
00002529: PUSH2 0x2531
0000252c: SWAP1
0000252d: PUSH2 0x2ed0
00002530: JUMP
00002531: JUMPDEST
00002532: SWAP2
00002533: POP
00002534: JUMPDEST
00002535: PUSH1 0x00
00002537: PUSH1 0x02
00002539: DUP4
0000253a: PUSH1 0x40
0000253c: MLOAD
0000253d: PUSH2 0x2546
00002540: SWAP2
00002541: SWAP1
00002542: PUSH2 0x3972
00002545: JUMP
00002546: JUMPDEST
00002547: PUSH1 0x20
00002549: PUSH1 0x40
0000254b: MLOAD
0000254c: DUP1
0000254d: DUP4
0000254e: SUB
0000254f: DUP2
00002550: DUP6
00002551: GAS
00002552: STATICCALL
00002553: ISZERO
00002554: DUP1
00002555: ISZERO
00002556: PUSH2 0x2563
00002559: JUMPI
0000255a: RETURNDATASIZE
0000255b: PUSH1 0x00
0000255d: DUP1
0000255e: RETURNDATACOPY
0000255f: RETURNDATASIZE
00002560: PUSH1 0x00
00002562: REVERT
00002563: JUMPDEST
00002564: POP
00002565: POP
00002566: POP
00002567: PUSH1 0x40
00002569: MLOAD
0000256a: RETURNDATASIZE
0000256b: PUSH1 0x1f
0000256d: NOT
0000256e: PUSH1 0x1f
00002570: DUP3
00002571: ADD
00002572: AND
00002573: DUP3
00002574: ADD
00002575: DUP1
00002576: PUSH1 0x40
00002578: MSTORE
00002579: POP
0000257a: DUP2
0000257b: ADD
0000257c: SWAP1
0000257d: PUSH2 0x2586
00002580: SWAP2
00002581: SWAP1
00002582: PUSH2 0x37fa
00002585: JUMP
00002586: JUMPDEST
00002587: SWAP1
00002588: POP
00002589: PUSH1 0x01
0000258b: PUSH1 0x00
0000258d: DUP3
0000258e: DUP2
0000258f: MSTORE
00002590: PUSH1 0x04
00002592: DUP8
00002593: ADD
00002594: PUSH1 0x20
00002596: MSTORE
00002597: PUSH1 0x40
00002599: SWAP1
0000259a: KECCAK256
0000259b: SLOAD
0000259c: PUSH1 0xff
0000259e: AND
0000259f: PUSH1 0x03
000025a1: DUP2
000025a2: GT
000025a3: ISZERO
000025a4: PUSH2 0x25af
000025a7: JUMPI
000025a8: PUSH2 0x25af
000025ab: PUSH2 0x3984
000025ae: JUMP
000025af: JUMPDEST
000025b0: EQ
000025b1: PUSH2 0x25e6
000025b4: JUMPI
000025b5: PUSH1 0x40
000025b7: MLOAD
000025b8: PUSH4 0x2197ada5
000025bd: PUSH1 0xe1
000025bf: SHL
000025c0: DUP2
000025c1: MSTORE
000025c2: PUSH1 0x20
000025c4: PUSH1 0x04
000025c6: DUP3
000025c7: ADD
000025c8: MSTORE
000025c9: PUSH1 0x06
000025cb: PUSH1 0x24
000025cd: DUP3
000025ce: ADD
000025cf: MSTORE
000025d0: PUSH6 0x737461747573
000025d7: PUSH1 0xd0
000025d9: SHL
000025da: PUSH1 0x44
000025dc: DUP3
000025dd: ADD
000025de: MSTORE
000025df: PUSH1 0x64
000025e1: ADD
000025e2: PUSH2 0x056c
000025e5: JUMP
000025e6: JUMPDEST
000025e7: PUSH1 0x00
000025e9: SWAP1
000025ea: DUP2
000025eb: MSTORE
000025ec: PUSH1 0x04
000025ee: SWAP5
000025ef: SWAP1
000025f0: SWAP5
000025f1: ADD
000025f2: PUSH1 0x20
000025f4: MSTORE
000025f5: POP
000025f6: PUSH1 0x40
000025f8: SWAP1
000025f9: SWAP3
000025fa: KECCAK256
000025fb: DUP1
000025fc: SLOAD
000025fd: PUSH1 0xff
000025ff: NOT
00002600: AND
00002601: PUSH1 0x02
00002603: OR
00002604: SWAP1
00002605: SSTORE
00002606: SWAP2
00002607: JUMP
00002608: JUMPDEST
00002609: PUSH1 0x02
0000260b: DUP4
0000260c: ADD
0000260d: SLOAD
0000260e: PUSH1 0x40
00002610: MLOAD
00002611: PUSH32 0x2289511800000000000000000000000000000000000000000000000000000000
00002632: DUP2
00002633: MSTORE
00002634: PUSH1 0x01
00002636: PUSH1 0x01
00002638: PUSH1 0xa0
0000263a: SHL
0000263b: SUB
0000263c: DUP7
0000263d: AND
0000263e: SWAP2
0000263f: PUSH4 0x22895118
00002644: SWAP2
00002645: PUSH9 0x01bc16d674ec800000
0000264f: SWAP2
00002650: PUSH2 0x2665
00002653: SWAP2
00002654: DUP8
00002655: SWAP2
00002656: DUP8
00002657: SWAP2
00002658: PUSH1 0x01
0000265a: DUP12
0000265b: ADD
0000265c: SWAP2
0000265d: SWAP1
0000265e: PUSH1 0x04
00002660: ADD
00002661: PUSH2 0x399a
00002664: JUMP
00002665: JUMPDEST
00002666: PUSH1 0x00
00002668: PUSH1 0x40
0000266a: MLOAD
0000266b: DUP1
0000266c: DUP4
0000266d: SUB
0000266e: DUP2
0000266f: DUP6
00002670: DUP9
00002671: DUP1
00002672: EXTCODESIZE
00002673: ISZERO
00002674: DUP1
00002675: ISZERO
00002676: PUSH2 0x267e
00002679: JUMPI
0000267a: PUSH1 0x00
0000267c: DUP1
0000267d: REVERT
0000267e: JUMPDEST
0000267f: POP
00002680: GAS
00002681: CALL
00002682: ISZERO
00002683: DUP1
00002684: ISZERO
00002685: PUSH2 0x2692
00002688: JUMPI
00002689: RETURNDATASIZE
0000268a: PUSH1 0x00
0000268c: DUP1
0000268d: RETURNDATACOPY
0000268e: RETURNDATASIZE
0000268f: PUSH1 0x00
00002691: REVERT
00002692: JUMPDEST
00002693: POP
00002694: POP
00002695: POP
00002696: POP
00002697: POP
00002698: PUSH32 0x8a5870564f37775f0bcb9ed25b4f2651ff8a60a4f9b6d54704add554a6ffb49a
000026b9: DUP3
000026ba: PUSH1 0x40
000026bc: MLOAD
000026bd: PUSH2 0x26c6
000026c0: SWAP2
000026c1: SWAP1
000026c2: PUSH2 0x36c0
000026c5: JUMP
000026c6: JUMPDEST
000026c7: PUSH1 0x40
000026c9: MLOAD
000026ca: DUP1
000026cb: SWAP2
000026cc: SUB
000026cd: SWAP1
000026ce: LOG1
000026cf: POP
000026d0: POP
000026d1: POP
000026d2: POP
000026d3: JUMP
000026d4: JUMPDEST
000026d5: PUSH1 0x34
000026d7: DUP1
000026d8: SLOAD
000026d9: PUSH1 0x01
000026db: PUSH1 0x01
000026dd: PUSH1 0xa0
000026df: SHL
000026e0: SUB
000026e1: NOT
000026e2: SWAP1
000026e3: DUP2
000026e4: AND
000026e5: SWAP1
000026e6: SWAP2
000026e7: SSTORE
000026e8: PUSH1 0x33
000026ea: DUP1
000026eb: SLOAD
000026ec: PUSH1 0x01
000026ee: PUSH1 0x01
000026f0: PUSH1 0xa0
000026f2: SHL
000026f3: SUB
000026f4: DUP5
000026f5: DUP2
000026f6: AND
000026f7: SWAP4
000026f8: DUP3
000026f9: AND
000026fa: DUP5
000026fb: OR
000026fc: SWAP1
000026fd: SWAP3
000026fe: SSTORE
000026ff: PUSH1 0x40
00002701: MLOAD
00002702: SWAP2
00002703: AND
00002704: SWAP2
00002705: SWAP1
00002706: DUP3
00002707: SWAP1
00002708: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002729: SWAP1
0000272a: PUSH1 0x00
0000272c: SWAP1
0000272d: LOG3
0000272e: POP
0000272f: POP
00002730: JUMP
00002731: JUMPDEST
00002732: PUSH1 0x60
00002734: DUP3
00002735: PUSH1 0x01
00002737: ADD
00002738: SLOAD
00002739: DUP3
0000273a: PUSH2 0x2743
0000273d: SWAP2
0000273e: SWAP1
0000273f: PUSH2 0x37e7
00002742: JUMP
00002743: JUMPDEST
00002744: PUSH1 0x00
00002746: DUP2
00002747: DUP2
00002748: MSTORE
00002749: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
0000276a: PUSH1 0x20
0000276c: MSTORE
0000276d: PUSH1 0x40
0000276f: SWAP1
00002770: KECCAK256
00002771: SLOAD
00002772: SWAP1
00002773: SWAP3
00002774: POP
00002775: PUSH2 0x284d
00002778: JUMPI
00002779: DUP3
0000277a: PUSH1 0x02
0000277c: ADD
0000277d: DUP4
0000277e: PUSH1 0x00
00002780: ADD
00002781: DUP4
00002782: DUP2
00002783: SLOAD
00002784: DUP2
00002785: LT
00002786: PUSH2 0x2791
00002789: JUMPI
0000278a: PUSH2 0x2791
0000278d: PUSH2 0x3861
00002790: JUMP
00002791: JUMPDEST
00002792: SWAP1
00002793: PUSH1 0x00
00002795: MSTORE
00002796: PUSH1 0x20
00002798: PUSH1 0x00
0000279a: KECCAK256
0000279b: SWAP1
0000279c: PUSH1 0x03
0000279e: MUL
0000279f: ADD
000027a0: PUSH1 0x00
000027a2: ADD
000027a3: SLOAD
000027a4: DUP2
000027a5: SLOAD
000027a6: DUP2
000027a7: LT
000027a8: PUSH2 0x27b3
000027ab: JUMPI
000027ac: PUSH2 0x27b3
000027af: PUSH2 0x3861
000027b2: JUMP
000027b3: JUMPDEST
000027b4: SWAP1
000027b5: PUSH1 0x00
000027b7: MSTORE
000027b8: PUSH1 0x20
000027ba: PUSH1 0x00
000027bc: KECCAK256
000027bd: ADD
000027be: DUP1
000027bf: SLOAD
000027c0: PUSH2 0x27c8
000027c3: SWAP1
000027c4: PUSH2 0x393e
000027c7: JUMP
000027c8: JUMPDEST
000027c9: DUP1
000027ca: PUSH1 0x1f
000027cc: ADD
000027cd: PUSH1 0x20
000027cf: DUP1
000027d0: SWAP2
000027d1: DIV
000027d2: MUL
000027d3: PUSH1 0x20
000027d5: ADD
000027d6: PUSH1 0x40
000027d8: MLOAD
000027d9: SWAP1
000027da: DUP2
000027db: ADD
000027dc: PUSH1 0x40
000027de: MSTORE
000027df: DUP1
000027e0: SWAP3
000027e1: SWAP2
000027e2: SWAP1
000027e3: DUP2
000027e4: DUP2
000027e5: MSTORE
000027e6: PUSH1 0x20
000027e8: ADD
000027e9: DUP3
000027ea: DUP1
000027eb: SLOAD
000027ec: PUSH2 0x27f4
000027ef: SWAP1
000027f0: PUSH2 0x393e
000027f3: JUMP
000027f4: JUMPDEST
000027f5: DUP1
000027f6: ISZERO
000027f7: PUSH2 0x2841
000027fa: JUMPI
000027fb: DUP1
000027fc: PUSH1 0x1f
000027fe: LT
000027ff: PUSH2 0x2816
00002802: JUMPI
00002803: PUSH2 0x0100
00002806: DUP1
00002807: DUP4
00002808: SLOAD
00002809: DIV
0000280a: MUL
0000280b: DUP4
0000280c: MSTORE
0000280d: SWAP2
0000280e: PUSH1 0x20
00002810: ADD
00002811: SWAP2
00002812: PUSH2 0x2841
00002815: JUMP
00002816: JUMPDEST
00002817: DUP3
00002818: ADD
00002819: SWAP2
0000281a: SWAP1
0000281b: PUSH1 0x00
0000281d: MSTORE
0000281e: PUSH1 0x20
00002820: PUSH1 0x00
00002822: KECCAK256
00002823: SWAP1
00002824: JUMPDEST
00002825: DUP2
00002826: SLOAD
00002827: DUP2
00002828: MSTORE
00002829: SWAP1
0000282a: PUSH1 0x01
0000282c: ADD
0000282d: SWAP1
0000282e: PUSH1 0x20
00002830: ADD
00002831: DUP1
00002832: DUP4
00002833: GT
00002834: PUSH2 0x2824
00002837: JUMPI
00002838: DUP3
00002839: SWAP1
0000283a: SUB
0000283b: PUSH1 0x1f
0000283d: AND
0000283e: DUP3
0000283f: ADD
00002840: SWAP2
00002841: JUMPDEST
00002842: POP
00002843: POP
00002844: POP
00002845: POP
00002846: POP
00002847: SWAP1
00002848: POP
00002849: PUSH2 0x1496
0000284c: JUMP
0000284d: JUMPDEST
0000284e: PUSH1 0x00
00002850: DUP3
00002851: DUP2
00002852: MSTORE
00002853: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
00002874: PUSH1 0x20
00002876: MSTORE
00002877: PUSH1 0x40
00002879: SWAP1
0000287a: KECCAK256
0000287b: PUSH2 0x10fd
0000287e: SWAP1
0000287f: PUSH2 0x2ed0
00002882: JUMP
00002883: JUMPDEST
00002884: PUSH32 0x67dd2e4cf111dd67f306c694cb6a0c5354599ff0127696453f8b231c6a8ed5db
000028a5: PUSH2 0x28ad
000028a8: DUP2
000028a9: PUSH2 0x2371
000028ac: JUMP
000028ad: JUMPDEST
000028ae: DUP4
000028af: LT
000028b0: PUSH2 0x28e4
000028b3: JUMPI
000028b4: PUSH1 0x40
000028b6: MLOAD
000028b7: PUSH4 0x4389d5ab
000028bc: PUSH1 0xe0
000028be: SHL
000028bf: DUP2
000028c0: MSTORE
000028c1: PUSH1 0x20
000028c3: PUSH1 0x04
000028c5: DUP3
000028c6: ADD
000028c7: MSTORE
000028c8: PUSH1 0x05
000028ca: PUSH1 0x24
000028cc: DUP3
000028cd: ADD
000028ce: MSTORE
000028cf: PUSH5 0x0d2dcc8caf
000028d5: PUSH1 0xdb
000028d7: SHL
000028d8: PUSH1 0x44
000028da: DUP3
000028db: ADD
000028dc: MSTORE
000028dd: PUSH1 0x64
000028df: ADD
000028e0: PUSH2 0x056c
000028e3: JUMP
000028e4: JUMPDEST
000028e5: PUSH1 0x00
000028e7: PUSH2 0x28f0
000028ea: DUP3
000028eb: DUP6
000028ec: PUSH2 0x2731
000028ef: JUMP
000028f0: JUMPDEST
000028f1: SWAP1
000028f2: POP
000028f3: PUSH2 0x28fd
000028f6: DUP3
000028f7: DUP6
000028f8: DUP6
000028f9: PUSH2 0x2f19
000028fc: JUMP
000028fd: JUMPDEST
000028fe: PUSH32 0xb42849c383f952bc8748012d962c3cef7a6005d493a37d170b36f430028e237f
0000291f: DUP2
00002920: PUSH2 0x2929
00002923: DUP6
00002924: DUP1
00002925: PUSH2 0x3813
00002928: JUMP
00002929: JUMPDEST
0000292a: PUSH1 0x40
0000292c: MLOAD
0000292d: PUSH2 0x26c6
00002930: SWAP4
00002931: SWAP3
00002932: SWAP2
00002933: SWAP1
00002934: PUSH2 0x3a53
00002937: JUMP
00002938: JUMPDEST
00002939: PUSH1 0x00
0000293b: PUSH1 0x02
0000293d: DUP4
0000293e: DUP4
0000293f: PUSH1 0x40
00002941: MLOAD
00002942: PUSH2 0x294c
00002945: SWAP3
00002946: SWAP2
00002947: SWAP1
00002948: PUSH2 0x3a83
0000294b: JUMP
0000294c: JUMPDEST
0000294d: PUSH1 0x20
0000294f: PUSH1 0x40
00002951: MLOAD
00002952: DUP1
00002953: DUP4
00002954: SUB
00002955: DUP2
00002956: DUP6
00002957: GAS
00002958: STATICCALL
00002959: ISZERO
0000295a: DUP1
0000295b: ISZERO
0000295c: PUSH2 0x2969
0000295f: JUMPI
00002960: RETURNDATASIZE
00002961: PUSH1 0x00
00002963: DUP1
00002964: RETURNDATACOPY
00002965: RETURNDATASIZE
00002966: PUSH1 0x00
00002968: REVERT
00002969: JUMPDEST
0000296a: POP
0000296b: POP
0000296c: POP
0000296d: PUSH1 0x40
0000296f: MLOAD
00002970: RETURNDATASIZE
00002971: PUSH1 0x1f
00002973: NOT
00002974: PUSH1 0x1f
00002976: DUP3
00002977: ADD
00002978: AND
00002979: DUP3
0000297a: ADD
0000297b: DUP1
0000297c: PUSH1 0x40
0000297e: MSTORE
0000297f: POP
00002980: DUP2
00002981: ADD
00002982: SWAP1
00002983: PUSH2 0x298c
00002986: SWAP2
00002987: SWAP1
00002988: PUSH2 0x37fa
0000298b: JUMP
0000298c: JUMPDEST
0000298d: SWAP1
0000298e: POP
0000298f: PUSH1 0x00
00002991: DUP1
00002992: DUP3
00002993: DUP2
00002994: MSTORE
00002995: PUSH1 0x04
00002997: DUP7
00002998: ADD
00002999: PUSH1 0x20
0000299b: MSTORE
0000299c: PUSH1 0x40
0000299e: SWAP1
0000299f: KECCAK256
000029a0: SLOAD
000029a1: PUSH1 0xff
000029a3: AND
000029a4: PUSH1 0x03
000029a6: DUP2
000029a7: GT
000029a8: ISZERO
000029a9: PUSH2 0x29b4
000029ac: JUMPI
000029ad: PUSH2 0x29b4
000029b0: PUSH2 0x3984
000029b3: JUMP
000029b4: JUMPDEST
000029b5: EQ
000029b6: PUSH2 0x2a02
000029b9: JUMPI
000029ba: PUSH1 0x40
000029bc: MLOAD
000029bd: PUSH4 0x4389d5ab
000029c2: PUSH1 0xe0
000029c4: SHL
000029c5: DUP2
000029c6: MSTORE
000029c7: PUSH1 0x20
000029c9: PUSH1 0x04
000029cb: DUP3
000029cc: ADD
000029cd: MSTORE
000029ce: PUSH1 0x0f
000029d0: PUSH1 0x24
000029d2: DUP3
000029d3: ADD
000029d4: MSTORE
000029d5: PUSH32 0x76616c696461746f72206b6e6f776e0000000000000000000000000000000000
000029f6: PUSH1 0x44
000029f8: DUP3
000029f9: ADD
000029fa: MSTORE
000029fb: PUSH1 0x64
000029fd: ADD
000029fe: PUSH2 0x056c
00002a01: JUMP
00002a02: JUMPDEST
00002a03: PUSH1 0x00
00002a05: SWAP1
00002a06: DUP2
00002a07: MSTORE
00002a08: PUSH1 0x04
00002a0a: SWAP4
00002a0b: SWAP1
00002a0c: SWAP4
00002a0d: ADD
00002a0e: PUSH1 0x20
00002a10: MSTORE
00002a11: POP
00002a12: POP
00002a13: PUSH1 0x40
00002a15: SWAP1
00002a16: KECCAK256
00002a17: DUP1
00002a18: SLOAD
00002a19: PUSH1 0xff
00002a1b: NOT
00002a1c: AND
00002a1d: PUSH1 0x02
00002a1f: OR
00002a20: SWAP1
00002a21: SSTORE
00002a22: JUMP
00002a23: JUMPDEST
00002a24: PUSH1 0x00
00002a26: PUSH1 0x02
00002a28: PUSH2 0x2a31
00002a2b: DUP4
00002a2c: DUP1
00002a2d: PUSH2 0x3813
00002a30: JUMP
00002a31: JUMPDEST
00002a32: PUSH1 0x40
00002a34: MLOAD
00002a35: PUSH2 0x2a3f
00002a38: SWAP3
00002a39: SWAP2
00002a3a: SWAP1
00002a3b: PUSH2 0x3a83
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x20
00002a42: PUSH1 0x40
00002a44: MLOAD
00002a45: DUP1
00002a46: DUP4
00002a47: SUB
00002a48: DUP2
00002a49: DUP6
00002a4a: GAS
00002a4b: STATICCALL
00002a4c: ISZERO
00002a4d: DUP1
00002a4e: ISZERO
00002a4f: PUSH2 0x2a5c
00002a52: JUMPI
00002a53: RETURNDATASIZE
00002a54: PUSH1 0x00
00002a56: DUP1
00002a57: RETURNDATACOPY
00002a58: RETURNDATASIZE
00002a59: PUSH1 0x00
00002a5b: REVERT
00002a5c: JUMPDEST
00002a5d: POP
00002a5e: POP
00002a5f: POP
00002a60: PUSH1 0x40
00002a62: MLOAD
00002a63: RETURNDATASIZE
00002a64: PUSH1 0x1f
00002a66: NOT
00002a67: PUSH1 0x1f
00002a69: DUP3
00002a6a: ADD
00002a6b: AND
00002a6c: DUP3
00002a6d: ADD
00002a6e: DUP1
00002a6f: PUSH1 0x40
00002a71: MSTORE
00002a72: POP
00002a73: DUP2
00002a74: ADD
00002a75: SWAP1
00002a76: PUSH2 0x2a7f
00002a79: SWAP2
00002a7a: SWAP1
00002a7b: PUSH2 0x37fa
00002a7e: JUMP
00002a7f: JUMPDEST
00002a80: SWAP1
00002a81: POP
00002a82: PUSH1 0x00
00002a84: DUP1
00002a85: DUP3
00002a86: DUP2
00002a87: MSTORE
00002a88: PUSH1 0x04
00002a8a: DUP6
00002a8b: ADD
00002a8c: PUSH1 0x20
00002a8e: MSTORE
00002a8f: PUSH1 0x40
00002a91: SWAP1
00002a92: KECCAK256
00002a93: SLOAD
00002a94: PUSH1 0xff
00002a96: AND
00002a97: PUSH1 0x03
00002a99: DUP2
00002a9a: GT
00002a9b: ISZERO
00002a9c: PUSH2 0x2aa7
00002a9f: JUMPI
00002aa0: PUSH2 0x2aa7
00002aa3: PUSH2 0x3984
00002aa6: JUMP
00002aa7: JUMPDEST
00002aa8: EQ
00002aa9: PUSH2 0x2af5
00002aac: JUMPI
00002aad: PUSH1 0x40
00002aaf: MLOAD
00002ab0: PUSH4 0x4389d5ab
00002ab5: PUSH1 0xe0
00002ab7: SHL
00002ab8: DUP2
00002ab9: MSTORE
00002aba: PUSH1 0x20
00002abc: PUSH1 0x04
00002abe: DUP3
00002abf: ADD
00002ac0: MSTORE
00002ac1: PUSH1 0x0f
00002ac3: PUSH1 0x24
00002ac5: DUP3
00002ac6: ADD
00002ac7: MSTORE
00002ac8: PUSH32 0x76616c696461746f72206b6e6f776e0000000000000000000000000000000000
00002ae9: PUSH1 0x44
00002aeb: DUP3
00002aec: ADD
00002aed: MSTORE
00002aee: PUSH1 0x64
00002af0: ADD
00002af1: PUSH2 0x056c
00002af4: JUMP
00002af5: JUMPDEST
00002af6: PUSH1 0x00
00002af8: DUP2
00002af9: DUP2
00002afa: MSTORE
00002afb: PUSH1 0x04
00002afd: DUP5
00002afe: ADD
00002aff: PUSH1 0x20
00002b01: MSTORE
00002b02: PUSH1 0x40
00002b04: DUP2
00002b05: KECCAK256
00002b06: DUP1
00002b07: SLOAD
00002b08: PUSH1 0xff
00002b0a: NOT
00002b0b: AND
00002b0c: PUSH1 0x01
00002b0e: SWAP1
00002b0f: DUP2
00002b10: OR
00002b11: SWAP1
00002b12: SWAP2
00002b13: SSTORE
00002b14: DUP5
00002b15: ADD
00002b16: SLOAD
00002b17: SWAP1
00002b18: DUP2
00002b19: SWAP1
00002b1a: SUB
00002b1b: PUSH2 0x2c2c
00002b1e: JUMPI
00002b1f: DUP4
00002b20: PUSH1 0x00
00002b22: ADD
00002b23: PUSH1 0x40
00002b25: MLOAD
00002b26: DUP1
00002b27: PUSH1 0x60
00002b29: ADD
00002b2a: PUSH1 0x40
00002b2c: MSTORE
00002b2d: DUP1
00002b2e: PUSH1 0x00
00002b30: DUP2
00002b31: MSTORE
00002b32: PUSH1 0x20
00002b34: ADD
00002b35: DUP6
00002b36: DUP1
00002b37: PUSH1 0x20
00002b39: ADD
00002b3a: SWAP1
00002b3b: PUSH2 0x2b44
00002b3e: SWAP2
00002b3f: SWAP1
00002b40: PUSH2 0x3813
00002b43: JUMP
00002b44: JUMPDEST
00002b45: DUP1
00002b46: DUP1
00002b47: PUSH1 0x1f
00002b49: ADD
00002b4a: PUSH1 0x20
00002b4c: DUP1
00002b4d: SWAP2
00002b4e: DIV
00002b4f: MUL
00002b50: PUSH1 0x20
00002b52: ADD
00002b53: PUSH1 0x40
00002b55: MLOAD
00002b56: SWAP1
00002b57: DUP2
00002b58: ADD
00002b59: PUSH1 0x40
00002b5b: MSTORE
00002b5c: DUP1
00002b5d: SWAP4
00002b5e: SWAP3
00002b5f: SWAP2
00002b60: SWAP1
00002b61: DUP2
00002b62: DUP2
00002b63: MSTORE
00002b64: PUSH1 0x20
00002b66: ADD
00002b67: DUP4
00002b68: DUP4
00002b69: DUP1
00002b6a: DUP3
00002b6b: DUP5
00002b6c: CALLDATACOPY
00002b6d: PUSH1 0x00
00002b6f: SWAP3
00002b70: ADD
00002b71: DUP3
00002b72: SWAP1
00002b73: MSTORE
00002b74: POP
00002b75: SWAP4
00002b76: DUP6
00002b77: MSTORE
00002b78: POP
00002b79: POP
00002b7a: POP
00002b7b: PUSH1 0x40
00002b7d: DUP8
00002b7e: ADD
00002b7f: CALLDATALOAD
00002b80: PUSH1 0x20
00002b82: SWAP3
00002b83: DUP4
00002b84: ADD
00002b85: MSTORE
00002b86: DUP4
00002b87: SLOAD
00002b88: PUSH1 0x01
00002b8a: DUP2
00002b8b: DUP2
00002b8c: ADD
00002b8d: DUP7
00002b8e: SSTORE
00002b8f: SWAP5
00002b90: DUP3
00002b91: MSTORE
00002b92: SWAP1
00002b93: DUP3
00002b94: SWAP1
00002b95: KECCAK256
00002b96: DUP4
00002b97: MLOAD
00002b98: PUSH1 0x03
00002b9a: SWAP1
00002b9b: SWAP3
00002b9c: MUL
00002b9d: ADD
00002b9e: SWAP1
00002b9f: DUP2
00002ba0: SSTORE
00002ba1: SWAP1
00002ba2: DUP3
00002ba3: ADD
00002ba4: MLOAD
00002ba5: SWAP2
00002ba6: SWAP3
00002ba7: SWAP1
00002ba8: SWAP2
00002ba9: SWAP1
00002baa: DUP3
00002bab: ADD
00002bac: SWAP1
00002bad: PUSH2 0x2bb6
00002bb0: SWAP1
00002bb1: DUP3
00002bb2: PUSH2 0x3af1
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: POP
00002bb8: PUSH1 0x40
00002bba: SWAP2
00002bbb: SWAP1
00002bbc: SWAP2
00002bbd: ADD
00002bbe: MLOAD
00002bbf: PUSH1 0x02
00002bc1: SWAP1
00002bc2: SWAP2
00002bc3: ADD
00002bc4: SSTORE
00002bc5: PUSH2 0x2bd6
00002bc8: PUSH2 0x2bd1
00002bcb: DUP5
00002bcc: DUP1
00002bcd: PUSH2 0x3813
00002bd0: JUMP
00002bd1: JUMPDEST
00002bd2: PUSH2 0x32a9
00002bd5: JUMP
00002bd6: JUMPDEST
00002bd7: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
00002bf8: DUP6
00002bf9: SLOAD
00002bfa: PUSH1 0x00
00002bfc: SWAP1
00002bfd: PUSH2 0x2c08
00002c00: SWAP1
00002c01: PUSH1 0x01
00002c03: SWAP1
00002c04: PUSH2 0x392b
00002c07: JUMP
00002c08: JUMPDEST
00002c09: DUP2
00002c0a: MSTORE
00002c0b: PUSH1 0x20
00002c0d: DUP1
00002c0e: DUP3
00002c0f: ADD
00002c10: SWAP3
00002c11: SWAP1
00002c12: SWAP3
00002c13: MSTORE
00002c14: PUSH1 0x40
00002c16: ADD
00002c17: PUSH1 0x00
00002c19: KECCAK256
00002c1a: DUP3
00002c1b: MLOAD
00002c1c: DUP2
00002c1d: SSTORE
00002c1e: SWAP2
00002c1f: ADD
00002c20: MLOAD
00002c21: PUSH1 0x01
00002c23: SWAP1
00002c24: SWAP2
00002c25: ADD
00002c26: SSTORE
00002c27: POP
00002c28: POP
00002c29: POP
00002c2a: POP
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: DUP1
00002c2e: PUSH2 0x2c36
00002c31: DUP2
00002c32: PUSH2 0x3bb1
00002c35: JUMP
00002c36: JUMPDEST
00002c37: SWAP2
00002c38: POP
00002c39: POP
00002c3a: DUP1
00002c3b: DUP5
00002c3c: PUSH1 0x01
00002c3e: ADD
00002c3f: DUP2
00002c40: SWAP1
00002c41: SSTORE
00002c42: POP
00002c43: PUSH1 0x40
00002c45: MLOAD
00002c46: DUP1
00002c47: PUSH1 0x60
00002c49: ADD
00002c4a: PUSH1 0x40
00002c4c: MSTORE
00002c4d: DUP1
00002c4e: PUSH1 0x00
00002c50: DUP2
00002c51: MSTORE
00002c52: PUSH1 0x20
00002c54: ADD
00002c55: DUP5
00002c56: DUP1
00002c57: PUSH1 0x20
00002c59: ADD
00002c5a: SWAP1
00002c5b: PUSH2 0x2c64
00002c5e: SWAP2
00002c5f: SWAP1
00002c60: PUSH2 0x3813
00002c63: JUMP
00002c64: JUMPDEST
00002c65: DUP1
00002c66: DUP1
00002c67: PUSH1 0x1f
00002c69: ADD
00002c6a: PUSH1 0x20
00002c6c: DUP1
00002c6d: SWAP2
00002c6e: DIV
00002c6f: MUL
00002c70: PUSH1 0x20
00002c72: ADD
00002c73: PUSH1 0x40
00002c75: MLOAD
00002c76: SWAP1
00002c77: DUP2
00002c78: ADD
00002c79: PUSH1 0x40
00002c7b: MSTORE
00002c7c: DUP1
00002c7d: SWAP4
00002c7e: SWAP3
00002c7f: SWAP2
00002c80: SWAP1
00002c81: DUP2
00002c82: DUP2
00002c83: MSTORE
00002c84: PUSH1 0x20
00002c86: ADD
00002c87: DUP4
00002c88: DUP4
00002c89: DUP1
00002c8a: DUP3
00002c8b: DUP5
00002c8c: CALLDATACOPY
00002c8d: PUSH1 0x00
00002c8f: SWAP3
00002c90: ADD
00002c91: SWAP2
00002c92: SWAP1
00002c93: SWAP2
00002c94: MSTORE
00002c95: POP
00002c96: POP
00002c97: POP
00002c98: SWAP1
00002c99: DUP3
00002c9a: MSTORE
00002c9b: POP
00002c9c: PUSH1 0x40
00002c9e: DUP6
00002c9f: ADD
00002ca0: CALLDATALOAD
00002ca1: PUSH1 0x20
00002ca3: SWAP1
00002ca4: SWAP2
00002ca5: ADD
00002ca6: MSTORE
00002ca7: DUP5
00002ca8: SLOAD
00002ca9: DUP6
00002caa: SWAP1
00002cab: DUP4
00002cac: SWAP1
00002cad: DUP2
00002cae: LT
00002caf: PUSH2 0x2cba
00002cb2: JUMPI
00002cb3: PUSH2 0x2cba
00002cb6: PUSH2 0x3861
00002cb9: JUMP
00002cba: JUMPDEST
00002cbb: SWAP1
00002cbc: PUSH1 0x00
00002cbe: MSTORE
00002cbf: PUSH1 0x20
00002cc1: PUSH1 0x00
00002cc3: KECCAK256
00002cc4: SWAP1
00002cc5: PUSH1 0x03
00002cc7: MUL
00002cc8: ADD
00002cc9: PUSH1 0x00
00002ccb: DUP3
00002ccc: ADD
00002ccd: MLOAD
00002cce: DUP2
00002ccf: PUSH1 0x00
00002cd1: ADD
00002cd2: SSTORE
00002cd3: PUSH1 0x20
00002cd5: DUP3
00002cd6: ADD
00002cd7: MLOAD
00002cd8: DUP2
00002cd9: PUSH1 0x01
00002cdb: ADD
00002cdc: SWAP1
00002cdd: DUP2
00002cde: PUSH2 0x2ce7
00002ce1: SWAP2
00002ce2: SWAP1
00002ce3: PUSH2 0x3af1
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: POP
00002ce9: PUSH1 0x40
00002ceb: SWAP2
00002cec: SWAP1
00002ced: SWAP2
00002cee: ADD
00002cef: MLOAD
00002cf0: PUSH1 0x02
00002cf2: SWAP1
00002cf3: SWAP2
00002cf4: ADD
00002cf5: SSTORE
00002cf6: PUSH2 0x2d02
00002cf9: PUSH2 0x2bd1
00002cfc: DUP5
00002cfd: DUP1
00002cfe: PUSH2 0x3813
00002d01: JUMP
00002d02: JUMPDEST
00002d03: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
00002d24: PUSH1 0x00
00002d26: SWAP3
00002d27: DUP4
00002d28: MSTORE
00002d29: PUSH1 0x20
00002d2b: SWAP1
00002d2c: DUP2
00002d2d: MSTORE
00002d2e: PUSH1 0x40
00002d30: SWAP1
00002d31: SWAP3
00002d32: KECCAK256
00002d33: DUP2
00002d34: MLOAD
00002d35: DUP2
00002d36: SSTORE
00002d37: SWAP2
00002d38: ADD
00002d39: MLOAD
00002d3a: PUSH1 0x01
00002d3c: SWAP1
00002d3d: SWAP2
00002d3e: ADD
00002d3f: SSTORE
00002d40: POP
00002d41: POP
00002d42: POP
00002d43: JUMP
00002d44: JUMPDEST
00002d45: PUSH1 0x00
00002d47: SLOAD
00002d48: PUSH2 0x0100
00002d4b: SWAP1
00002d4c: DIV
00002d4d: PUSH1 0xff
00002d4f: AND
00002d50: PUSH2 0x222b
00002d53: JUMPI
00002d54: PUSH1 0x40
00002d56: MLOAD
00002d57: PUSH3 0x461bcd
00002d5b: PUSH1 0xe5
00002d5d: SHL
00002d5e: DUP2
00002d5f: MSTORE
00002d60: PUSH1 0x20
00002d62: PUSH1 0x04
00002d64: DUP3
00002d65: ADD
00002d66: MSTORE
00002d67: PUSH1 0x2b
00002d69: PUSH1 0x24
00002d6b: DUP3
00002d6c: ADD
00002d6d: MSTORE
00002d6e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002d8f: PUSH1 0x44
00002d91: DUP3
00002d92: ADD
00002d93: MSTORE
00002d94: PUSH11 0x6e697469616c697a696e67
00002da0: PUSH1 0xa8
00002da2: SHL
00002da3: PUSH1 0x64
00002da5: DUP3
00002da6: ADD
00002da7: MSTORE
00002da8: PUSH1 0x84
00002daa: ADD
00002dab: PUSH2 0x056c
00002dae: JUMP
00002daf: JUMPDEST
00002db0: PUSH1 0x00
00002db2: SLOAD
00002db3: PUSH2 0x0100
00002db6: SWAP1
00002db7: DIV
00002db8: PUSH1 0xff
00002dba: AND
00002dbb: PUSH2 0x2e1a
00002dbe: JUMPI
00002dbf: PUSH1 0x40
00002dc1: MLOAD
00002dc2: PUSH3 0x461bcd
00002dc6: PUSH1 0xe5
00002dc8: SHL
00002dc9: DUP2
00002dca: MSTORE
00002dcb: PUSH1 0x20
00002dcd: PUSH1 0x04
00002dcf: DUP3
00002dd0: ADD
00002dd1: MSTORE
00002dd2: PUSH1 0x2b
00002dd4: PUSH1 0x24
00002dd6: DUP3
00002dd7: ADD
00002dd8: MSTORE
00002dd9: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002dfa: PUSH1 0x44
00002dfc: DUP3
00002dfd: ADD
00002dfe: MSTORE
00002dff: PUSH11 0x6e697469616c697a696e67
00002e0b: PUSH1 0xa8
00002e0d: SHL
00002e0e: PUSH1 0x64
00002e10: DUP3
00002e11: ADD
00002e12: MSTORE
00002e13: PUSH1 0x84
00002e15: ADD
00002e16: PUSH2 0x056c
00002e19: JUMP
00002e1a: JUMPDEST
00002e1b: PUSH2 0x222b
00002e1e: PUSH2 0x3356
00002e21: JUMP
00002e22: JUMPDEST
00002e23: PUSH1 0x00
00002e25: SLOAD
00002e26: PUSH2 0x0100
00002e29: SWAP1
00002e2a: DIV
00002e2b: PUSH1 0xff
00002e2d: AND
00002e2e: PUSH2 0x2e8d
00002e31: JUMPI
00002e32: PUSH1 0x40
00002e34: MLOAD
00002e35: PUSH3 0x461bcd
00002e39: PUSH1 0xe5
00002e3b: SHL
00002e3c: DUP2
00002e3d: MSTORE
00002e3e: PUSH1 0x20
00002e40: PUSH1 0x04
00002e42: DUP3
00002e43: ADD
00002e44: MSTORE
00002e45: PUSH1 0x2b
00002e47: PUSH1 0x24
00002e49: DUP3
00002e4a: ADD
00002e4b: MSTORE
00002e4c: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002e6d: PUSH1 0x44
00002e6f: DUP3
00002e70: ADD
00002e71: MSTORE
00002e72: PUSH11 0x6e697469616c697a696e67
00002e7e: PUSH1 0xa8
00002e80: SHL
00002e81: PUSH1 0x64
00002e83: DUP3
00002e84: ADD
00002e85: MSTORE
00002e86: PUSH1 0x84
00002e88: ADD
00002e89: PUSH2 0x056c
00002e8c: JUMP
00002e8d: JUMPDEST
00002e8e: PUSH1 0x35
00002e90: DUP1
00002e91: SLOAD
00002e92: PUSH1 0x01
00002e94: PUSH1 0x01
00002e96: PUSH1 0xa0
00002e98: SHL
00002e99: SUB
00002e9a: NOT
00002e9b: AND
00002e9c: CALLER
00002e9d: SWAP1
00002e9e: DUP2
00002e9f: OR
00002ea0: SWAP1
00002ea1: SWAP2
00002ea2: SSTORE
00002ea3: PUSH1 0x40
00002ea5: MLOAD
00002ea6: DUP2
00002ea7: SWAP1
00002ea8: PUSH32 0xc39dd12e8ea4ff977240df8813655534b06b4b21a267e283fe82b2219034afbe
00002ec9: SWAP1
00002eca: PUSH1 0x00
00002ecc: SWAP1
00002ecd: LOG2
00002ece: POP
00002ecf: JUMP
00002ed0: JUMPDEST
00002ed1: DUP1
00002ed2: SLOAD
00002ed3: PUSH1 0x01
00002ed5: DUP3
00002ed6: ADD
00002ed7: SLOAD
00002ed8: PUSH1 0x60
00002eda: SWAP2
00002edb: SWAP1
00002edc: PUSH2 0x2ef2
00002edf: SWAP1
00002ee0: PUSH1 0x00
00002ee2: PUSH2 0x2eed
00002ee5: PUSH1 0x20
00002ee7: PUSH1 0x30
00002ee9: PUSH2 0x392b
00002eec: JUMP
00002eed: JUMPDEST
00002eee: PUSH2 0x3406
00002ef1: JUMP
00002ef2: JUMPDEST
00002ef3: PUSH1 0x40
00002ef5: MLOAD
00002ef6: PUSH1 0x20
00002ef8: ADD
00002ef9: PUSH2 0x2f03
00002efc: SWAP3
00002efd: SWAP2
00002efe: SWAP1
00002eff: PUSH2 0x3bc8
00002f02: JUMP
00002f03: JUMPDEST
00002f04: PUSH1 0x40
00002f06: MLOAD
00002f07: PUSH1 0x20
00002f09: DUP2
00002f0a: DUP4
00002f0b: SUB
00002f0c: SUB
00002f0d: DUP2
00002f0e: MSTORE
00002f0f: SWAP1
00002f10: PUSH1 0x40
00002f12: MSTORE
00002f13: SWAP1
00002f14: POP
00002f15: SWAP2
00002f16: SWAP1
00002f17: POP
00002f18: JUMP
00002f19: JUMPDEST
00002f1a: PUSH1 0x01
00002f1c: DUP4
00002f1d: ADD
00002f1e: SLOAD
00002f1f: PUSH2 0x2f28
00002f22: SWAP1
00002f23: DUP4
00002f24: PUSH2 0x37e7
00002f27: JUMP
00002f28: JUMPDEST
00002f29: PUSH1 0x00
00002f2b: DUP2
00002f2c: DUP2
00002f2d: MSTORE
00002f2e: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
00002f4f: PUSH1 0x20
00002f51: MSTORE
00002f52: PUSH1 0x40
00002f54: SWAP1
00002f55: KECCAK256
00002f56: SLOAD
00002f57: SWAP1
00002f58: SWAP3
00002f59: POP
00002f5a: PUSH1 0x60
00002f5c: SWAP1
00002f5d: PUSH2 0x3035
00002f60: JUMPI
00002f61: DUP4
00002f62: PUSH1 0x02
00002f64: ADD
00002f65: DUP5
00002f66: PUSH1 0x00
00002f68: ADD
00002f69: DUP5
00002f6a: DUP2
00002f6b: SLOAD
00002f6c: DUP2
00002f6d: LT
00002f6e: PUSH2 0x2f79
00002f71: JUMPI
00002f72: PUSH2 0x2f79
00002f75: PUSH2 0x3861
00002f78: JUMP
00002f79: JUMPDEST
00002f7a: SWAP1
00002f7b: PUSH1 0x00
00002f7d: MSTORE
00002f7e: PUSH1 0x20
00002f80: PUSH1 0x00
00002f82: KECCAK256
00002f83: SWAP1
00002f84: PUSH1 0x03
00002f86: MUL
00002f87: ADD
00002f88: PUSH1 0x00
00002f8a: ADD
00002f8b: SLOAD
00002f8c: DUP2
00002f8d: SLOAD
00002f8e: DUP2
00002f8f: LT
00002f90: PUSH2 0x2f9b
00002f93: JUMPI
00002f94: PUSH2 0x2f9b
00002f97: PUSH2 0x3861
00002f9a: JUMP
00002f9b: JUMPDEST
00002f9c: SWAP1
00002f9d: PUSH1 0x00
00002f9f: MSTORE
00002fa0: PUSH1 0x20
00002fa2: PUSH1 0x00
00002fa4: KECCAK256
00002fa5: ADD
00002fa6: DUP1
00002fa7: SLOAD
00002fa8: PUSH2 0x2fb0
00002fab: SWAP1
00002fac: PUSH2 0x393e
00002faf: JUMP
00002fb0: JUMPDEST
00002fb1: DUP1
00002fb2: PUSH1 0x1f
00002fb4: ADD
00002fb5: PUSH1 0x20
00002fb7: DUP1
00002fb8: SWAP2
00002fb9: DIV
00002fba: MUL
00002fbb: PUSH1 0x20
00002fbd: ADD
00002fbe: PUSH1 0x40
00002fc0: MLOAD
00002fc1: SWAP1
00002fc2: DUP2
00002fc3: ADD
00002fc4: PUSH1 0x40
00002fc6: MSTORE
00002fc7: DUP1
00002fc8: SWAP3
00002fc9: SWAP2
00002fca: SWAP1
00002fcb: DUP2
00002fcc: DUP2
00002fcd: MSTORE
00002fce: PUSH1 0x20
00002fd0: ADD
00002fd1: DUP3
00002fd2: DUP1
00002fd3: SLOAD
00002fd4: PUSH2 0x2fdc
00002fd7: SWAP1
00002fd8: PUSH2 0x393e
00002fdb: JUMP
00002fdc: JUMPDEST
00002fdd: DUP1
00002fde: ISZERO
00002fdf: PUSH2 0x3029
00002fe2: JUMPI
00002fe3: DUP1
00002fe4: PUSH1 0x1f
00002fe6: LT
00002fe7: PUSH2 0x2ffe
00002fea: JUMPI
00002feb: PUSH2 0x0100
00002fee: DUP1
00002fef: DUP4
00002ff0: SLOAD
00002ff1: DIV
00002ff2: MUL
00002ff3: DUP4
00002ff4: MSTORE
00002ff5: SWAP2
00002ff6: PUSH1 0x20
00002ff8: ADD
00002ff9: SWAP2
00002ffa: PUSH2 0x3029
00002ffd: JUMP
00002ffe: JUMPDEST
00002fff: DUP3
00003000: ADD
00003001: SWAP2
00003002: SWAP1
00003003: PUSH1 0x00
00003005: MSTORE
00003006: PUSH1 0x20
00003008: PUSH1 0x00
0000300a: KECCAK256
0000300b: SWAP1
0000300c: JUMPDEST
0000300d: DUP2
0000300e: SLOAD
0000300f: DUP2
00003010: MSTORE
00003011: SWAP1
00003012: PUSH1 0x01
00003014: ADD
00003015: SWAP1
00003016: PUSH1 0x20
00003018: ADD
00003019: DUP1
0000301a: DUP4
0000301b: GT
0000301c: PUSH2 0x300c
0000301f: JUMPI
00003020: DUP3
00003021: SWAP1
00003022: SUB
00003023: PUSH1 0x1f
00003025: AND
00003026: DUP3
00003027: ADD
00003028: SWAP2
00003029: JUMPDEST
0000302a: POP
0000302b: POP
0000302c: POP
0000302d: POP
0000302e: POP
0000302f: SWAP1
00003030: POP
00003031: PUSH2 0x306e
00003034: JUMP
00003035: JUMPDEST
00003036: PUSH1 0x00
00003038: DUP4
00003039: DUP2
0000303a: MSTORE
0000303b: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
0000305c: PUSH1 0x20
0000305e: MSTORE
0000305f: PUSH1 0x40
00003061: SWAP1
00003062: KECCAK256
00003063: PUSH2 0x306b
00003066: SWAP1
00003067: PUSH2 0x2ed0
0000306a: JUMP
0000306b: JUMPDEST
0000306c: SWAP1
0000306d: POP
0000306e: JUMPDEST
0000306f: PUSH1 0x00
00003071: PUSH1 0x02
00003073: DUP3
00003074: PUSH1 0x40
00003076: MLOAD
00003077: PUSH2 0x3080
0000307a: SWAP2
0000307b: SWAP1
0000307c: PUSH2 0x3972
0000307f: JUMP
00003080: JUMPDEST
00003081: PUSH1 0x20
00003083: PUSH1 0x40
00003085: MLOAD
00003086: DUP1
00003087: DUP4
00003088: SUB
00003089: DUP2
0000308a: DUP6
0000308b: GAS
0000308c: STATICCALL
0000308d: ISZERO
0000308e: DUP1
0000308f: ISZERO
00003090: PUSH2 0x309d
00003093: JUMPI
00003094: RETURNDATASIZE
00003095: PUSH1 0x00
00003097: DUP1
00003098: RETURNDATACOPY
00003099: RETURNDATASIZE
0000309a: PUSH1 0x00
0000309c: REVERT
0000309d: JUMPDEST
0000309e: POP
0000309f: POP
000030a0: POP
000030a1: PUSH1 0x40
000030a3: MLOAD
000030a4: RETURNDATASIZE
000030a5: PUSH1 0x1f
000030a7: NOT
000030a8: PUSH1 0x1f
000030aa: DUP3
000030ab: ADD
000030ac: AND
000030ad: DUP3
000030ae: ADD
000030af: DUP1
000030b0: PUSH1 0x40
000030b2: MSTORE
000030b3: POP
000030b4: DUP2
000030b5: ADD
000030b6: SWAP1
000030b7: PUSH2 0x30c0
000030ba: SWAP2
000030bb: SWAP1
000030bc: PUSH2 0x37fa
000030bf: JUMP
000030c0: JUMPDEST
000030c1: SWAP1
000030c2: POP
000030c3: PUSH1 0x00
000030c5: PUSH1 0x02
000030c7: PUSH2 0x30d0
000030ca: DUP6
000030cb: DUP1
000030cc: PUSH2 0x3813
000030cf: JUMP
000030d0: JUMPDEST
000030d1: PUSH1 0x40
000030d3: MLOAD
000030d4: PUSH2 0x30de
000030d7: SWAP3
000030d8: SWAP2
000030d9: SWAP1
000030da: PUSH2 0x3a83
000030dd: JUMP
000030de: JUMPDEST
000030df: PUSH1 0x20
000030e1: PUSH1 0x40
000030e3: MLOAD
000030e4: DUP1
000030e5: DUP4
000030e6: SUB
000030e7: DUP2
000030e8: DUP6
000030e9: GAS
000030ea: STATICCALL
000030eb: ISZERO
000030ec: DUP1
000030ed: ISZERO
000030ee: PUSH2 0x30fb
000030f1: JUMPI
000030f2: RETURNDATASIZE
000030f3: PUSH1 0x00
000030f5: DUP1
000030f6: RETURNDATACOPY
000030f7: RETURNDATASIZE
000030f8: PUSH1 0x00
000030fa: REVERT
000030fb: JUMPDEST
000030fc: POP
000030fd: POP
000030fe: POP
000030ff: PUSH1 0x40
00003101: MLOAD
00003102: RETURNDATASIZE
00003103: PUSH1 0x1f
00003105: NOT
00003106: PUSH1 0x1f
00003108: DUP3
00003109: ADD
0000310a: AND
0000310b: DUP3
0000310c: ADD
0000310d: DUP1
0000310e: PUSH1 0x40
00003110: MSTORE
00003111: POP
00003112: DUP2
00003113: ADD
00003114: SWAP1
00003115: PUSH2 0x311e
00003118: SWAP2
00003119: SWAP1
0000311a: PUSH2 0x37fa
0000311d: JUMP
0000311e: JUMPDEST
0000311f: SWAP1
00003120: POP
00003121: PUSH1 0x01
00003123: PUSH1 0x00
00003125: DUP4
00003126: DUP2
00003127: MSTORE
00003128: PUSH1 0x04
0000312a: DUP9
0000312b: ADD
0000312c: PUSH1 0x20
0000312e: MSTORE
0000312f: PUSH1 0x40
00003131: SWAP1
00003132: KECCAK256
00003133: SLOAD
00003134: PUSH1 0xff
00003136: AND
00003137: PUSH1 0x03
00003139: DUP2
0000313a: GT
0000313b: ISZERO
0000313c: PUSH2 0x3147
0000313f: JUMPI
00003140: PUSH2 0x3147
00003143: PUSH2 0x3984
00003146: JUMP
00003147: JUMPDEST
00003148: EQ
00003149: ISZERO
0000314a: DUP1
0000314b: PUSH2 0x3177
0000314e: JUMPI
0000314f: POP
00003150: PUSH1 0x00
00003152: DUP2
00003153: DUP2
00003154: MSTORE
00003155: PUSH1 0x04
00003157: DUP8
00003158: ADD
00003159: PUSH1 0x20
0000315b: MSTORE
0000315c: PUSH1 0x40
0000315e: DUP2
0000315f: KECCAK256
00003160: SLOAD
00003161: PUSH1 0xff
00003163: AND
00003164: PUSH1 0x03
00003166: DUP2
00003167: GT
00003168: ISZERO
00003169: PUSH2 0x3174
0000316c: JUMPI
0000316d: PUSH2 0x3174
00003170: PUSH2 0x3984
00003173: JUMP
00003174: JUMPDEST
00003175: EQ
00003176: ISZERO
00003177: JUMPDEST
00003178: ISZERO
00003179: PUSH2 0x31ae
0000317c: JUMPI
0000317d: PUSH1 0x40
0000317f: MLOAD
00003180: PUSH4 0x2197ada5
00003185: PUSH1 0xe1
00003187: SHL
00003188: DUP2
00003189: MSTORE
0000318a: PUSH1 0x20
0000318c: PUSH1 0x04
0000318e: DUP3
0000318f: ADD
00003190: MSTORE
00003191: PUSH1 0x06
00003193: PUSH1 0x24
00003195: DUP3
00003196: ADD
00003197: MSTORE
00003198: PUSH6 0x737461747573
0000319f: PUSH1 0xd0
000031a1: SHL
000031a2: PUSH1 0x44
000031a4: DUP3
000031a5: ADD
000031a6: MSTORE
000031a7: PUSH1 0x64
000031a9: ADD
000031aa: PUSH2 0x056c
000031ad: JUMP
000031ae: JUMPDEST
000031af: PUSH1 0x00
000031b1: DUP3
000031b2: DUP2
000031b3: MSTORE
000031b4: PUSH1 0x04
000031b6: DUP8
000031b7: ADD
000031b8: PUSH1 0x20
000031ba: MSTORE
000031bb: PUSH1 0x40
000031bd: SWAP1
000031be: KECCAK256
000031bf: DUP1
000031c0: SLOAD
000031c1: PUSH1 0xff
000031c3: NOT
000031c4: AND
000031c5: SWAP1
000031c6: SSTORE
000031c7: PUSH2 0x31d3
000031ca: PUSH2 0x2bd1
000031cd: DUP6
000031ce: DUP1
000031cf: PUSH2 0x3813
000031d2: JUMP
000031d3: JUMPDEST
000031d4: PUSH32 0x31d1610f1038f9892ed9fcb6ed3957835e5ea0e0cc830269181decc7dbf05fe2
000031f5: PUSH1 0x00
000031f7: DUP8
000031f8: DUP2
000031f9: MSTORE
000031fa: PUSH1 0x20
000031fc: SWAP2
000031fd: DUP3
000031fe: MSTORE
000031ff: PUSH1 0x40
00003201: SWAP1
00003202: KECCAK256
00003203: DUP3
00003204: MLOAD
00003205: DUP2
00003206: SSTORE
00003207: SWAP2
00003208: DUP2
00003209: ADD
0000320a: MLOAD
0000320b: PUSH1 0x01
0000320d: SWAP1
0000320e: SWAP3
0000320f: ADD
00003210: SWAP2
00003211: SWAP1
00003212: SWAP2
00003213: SSTORE
00003214: PUSH2 0x321f
00003217: SWAP1
00003218: DUP6
00003219: ADD
0000321a: DUP6
0000321b: PUSH2 0x3813
0000321e: JUMP
0000321f: JUMPDEST
00003220: DUP8
00003221: PUSH1 0x00
00003223: ADD
00003224: DUP8
00003225: DUP2
00003226: SLOAD
00003227: DUP2
00003228: LT
00003229: PUSH2 0x3234
0000322c: JUMPI
0000322d: PUSH2 0x3234
00003230: PUSH2 0x3861
00003233: JUMP
00003234: JUMPDEST
00003235: SWAP1
00003236: PUSH1 0x00
00003238: MSTORE
00003239: PUSH1 0x20
0000323b: PUSH1 0x00
0000323d: KECCAK256
0000323e: SWAP1
0000323f: PUSH1 0x03
00003241: MUL
00003242: ADD
00003243: PUSH1 0x01
00003245: ADD
00003246: SWAP2
00003247: DUP3
00003248: PUSH2 0x3252
0000324b: SWAP3
0000324c: SWAP2
0000324d: SWAP1
0000324e: PUSH2 0x3bee
00003251: JUMP
00003252: JUMPDEST
00003253: POP
00003254: DUP4
00003255: PUSH1 0x40
00003257: ADD
00003258: CALLDATALOAD
00003259: DUP7
0000325a: PUSH1 0x00
0000325c: ADD
0000325d: DUP7
0000325e: DUP2
0000325f: SLOAD
00003260: DUP2
00003261: LT
00003262: PUSH2 0x326d
00003265: JUMPI
00003266: PUSH2 0x326d
00003269: PUSH2 0x3861
0000326c: JUMP
0000326d: JUMPDEST
0000326e: PUSH1 0x00
00003270: SWAP2
00003271: DUP3
00003272: MSTORE
00003273: PUSH1 0x20
00003275: DUP1
00003276: DUP4
00003277: KECCAK256
00003278: PUSH1 0x03
0000327a: SWAP3
0000327b: SWAP1
0000327c: SWAP3
0000327d: MUL
0000327e: SWAP1
0000327f: SWAP2
00003280: ADD
00003281: PUSH1 0x02
00003283: ADD
00003284: SWAP3
00003285: SWAP1
00003286: SWAP3
00003287: SSTORE
00003288: SWAP2
00003289: DUP3
0000328a: MSTORE
0000328b: PUSH1 0x04
0000328d: SWAP7
0000328e: SWAP1
0000328f: SWAP7
00003290: ADD
00003291: SWAP1
00003292: SWAP6
00003293: MSTORE
00003294: POP
00003295: POP
00003296: PUSH1 0x40
00003298: SWAP1
00003299: SWAP3
0000329a: KECCAK256
0000329b: DUP1
0000329c: SLOAD
0000329d: PUSH1 0xff
0000329f: NOT
000032a0: AND
000032a1: PUSH1 0x01
000032a3: OR
000032a4: SWAP1
000032a5: SSTORE
000032a6: POP
000032a7: POP
000032a8: JUMP
000032a9: JUMPDEST
000032aa: PUSH1 0x40
000032ac: DUP1
000032ad: MLOAD
000032ae: DUP1
000032af: DUP3
000032b0: ADD
000032b1: SWAP1
000032b2: SWAP2
000032b3: MSTORE
000032b4: PUSH1 0x00
000032b6: DUP1
000032b7: DUP3
000032b8: MSTORE
000032b9: PUSH1 0x20
000032bb: DUP3
000032bc: ADD
000032bd: MSTORE
000032be: PUSH1 0x30
000032c0: DUP3
000032c1: EQ
000032c2: PUSH2 0x330d
000032c5: JUMPI
000032c6: PUSH1 0x40
000032c8: MLOAD
000032c9: PUSH3 0x461bcd
000032cd: PUSH1 0xe5
000032cf: SHL
000032d0: DUP2
000032d1: MSTORE
000032d2: PUSH1 0x20
000032d4: PUSH1 0x04
000032d6: DUP3
000032d7: ADD
000032d8: MSTORE
000032d9: PUSH1 0x0c
000032db: PUSH1 0x24
000032dd: DUP3
000032de: ADD
000032df: MSTORE
000032e0: PUSH32 0x57726f6e67206c656e6774680000000000000000000000000000000000000000
00003301: PUSH1 0x44
00003303: DUP3
00003304: ADD
00003305: MSTORE
00003306: PUSH1 0x64
00003308: ADD
00003309: PUSH2 0x056c
0000330c: JUMP
0000330d: JUMPDEST
0000330e: PUSH1 0x40
00003310: DUP1
00003311: MLOAD
00003312: DUP1
00003313: DUP3
00003314: ADD
00003315: SWAP1
00003316: SWAP2
00003317: MSTORE
00003318: DUP1
00003319: PUSH2 0x3326
0000331c: PUSH1 0x20
0000331e: PUSH1 0x00
00003320: DUP7
00003321: DUP9
00003322: PUSH2 0x3caf
00003325: JUMP
00003326: JUMPDEST
00003327: PUSH2 0x332f
0000332a: SWAP2
0000332b: PUSH2 0x3cd9
0000332e: JUMP
0000332f: JUMPDEST
00003330: DUP2
00003331: MSTORE
00003332: PUSH1 0x20
00003334: SWAP1
00003335: DUP2
00003336: ADD
00003337: SWAP1
00003338: PUSH2 0x3344
0000333b: SWAP1
0000333c: DUP6
0000333d: SWAP1
0000333e: DUP2
0000333f: DUP9
00003340: PUSH2 0x3caf
00003343: JUMP
00003344: JUMPDEST
00003345: PUSH2 0x334d
00003348: SWAP2
00003349: PUSH2 0x3cd9
0000334c: JUMP
0000334d: JUMPDEST
0000334e: SWAP1
0000334f: MSTORE
00003350: SWAP4
00003351: SWAP3
00003352: POP
00003353: POP
00003354: POP
00003355: JUMP
00003356: JUMPDEST
00003357: PUSH1 0x00
00003359: SLOAD
0000335a: PUSH2 0x0100
0000335d: SWAP1
0000335e: DIV
0000335f: PUSH1 0xff
00003361: AND
00003362: PUSH2 0x33c1
00003365: JUMPI
00003366: PUSH1 0x40
00003368: MLOAD
00003369: PUSH3 0x461bcd
0000336d: PUSH1 0xe5
0000336f: SHL
00003370: DUP2
00003371: MSTORE
00003372: PUSH1 0x20
00003374: PUSH1 0x04
00003376: DUP3
00003377: ADD
00003378: MSTORE
00003379: PUSH1 0x2b
0000337b: PUSH1 0x24
0000337d: DUP3
0000337e: ADD
0000337f: MSTORE
00003380: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000033a1: PUSH1 0x44
000033a3: DUP3
000033a4: ADD
000033a5: MSTORE
000033a6: PUSH11 0x6e697469616c697a696e67
000033b2: PUSH1 0xa8
000033b4: SHL
000033b5: PUSH1 0x64
000033b7: DUP3
000033b8: ADD
000033b9: MSTORE
000033ba: PUSH1 0x84
000033bc: ADD
000033bd: PUSH2 0x056c
000033c0: JUMP
000033c1: JUMPDEST
000033c2: PUSH1 0x33
000033c4: DUP1
000033c5: SLOAD
000033c6: PUSH1 0x01
000033c8: PUSH1 0x01
000033ca: PUSH1 0xa0
000033cc: SHL
000033cd: SUB
000033ce: NOT
000033cf: AND
000033d0: CALLER
000033d1: SWAP1
000033d2: DUP2
000033d3: OR
000033d4: SWAP1
000033d5: SWAP2
000033d6: SSTORE
000033d7: PUSH1 0x40
000033d9: MLOAD
000033da: DUP2
000033db: SWAP1
000033dc: PUSH1 0x00
000033de: SWAP1
000033df: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00003400: SWAP1
00003401: DUP3
00003402: SWAP1
00003403: LOG3
00003404: POP
00003405: JUMP
00003406: JUMPDEST
00003407: PUSH1 0x60
00003409: PUSH1 0x20
0000340b: PUSH2 0x3414
0000340e: DUP4
0000340f: DUP6
00003410: PUSH2 0x37e7
00003413: JUMP
00003414: JUMPDEST
00003415: GT
00003416: ISZERO
00003417: PUSH2 0x3462
0000341a: JUMPI
0000341b: PUSH1 0x40
0000341d: MLOAD
0000341e: PUSH3 0x461bcd
00003422: PUSH1 0xe5
00003424: SHL
00003425: DUP2
00003426: MSTORE
00003427: PUSH1 0x20
00003429: PUSH1 0x04
0000342b: DUP3
0000342c: ADD
0000342d: MSTORE
0000342e: PUSH1 0x0d
00003430: PUSH1 0x24
00003432: DUP3
00003433: ADD
00003434: MSTORE
00003435: PUSH32 0x4f7574206f6620626f756e647300000000000000000000000000000000000000
00003456: PUSH1 0x44
00003458: DUP3
00003459: ADD
0000345a: MSTORE
0000345b: PUSH1 0x64
0000345d: ADD
0000345e: PUSH2 0x056c
00003461: JUMP
00003462: JUMPDEST
00003463: PUSH1 0x00
00003465: DUP3
00003466: PUSH8 0xffffffffffffffff
0000346f: DUP2
00003470: GT
00003471: ISZERO
00003472: PUSH2 0x347d
00003475: JUMPI
00003476: PUSH2 0x347d
00003479: PUSH2 0x3a93
0000347c: JUMP
0000347d: JUMPDEST
0000347e: PUSH1 0x40
00003480: MLOAD
00003481: SWAP1
00003482: DUP1
00003483: DUP3
00003484: MSTORE
00003485: DUP1
00003486: PUSH1 0x1f
00003488: ADD
00003489: PUSH1 0x1f
0000348b: NOT
0000348c: AND
0000348d: PUSH1 0x20
0000348f: ADD
00003490: DUP3
00003491: ADD
00003492: PUSH1 0x40
00003494: MSTORE
00003495: DUP1
00003496: ISZERO
00003497: PUSH2 0x34a7
0000349a: JUMPI
0000349b: PUSH1 0x20
0000349d: DUP3
0000349e: ADD
0000349f: DUP2
000034a0: DUP1
000034a1: CALLDATASIZE
000034a2: DUP4
000034a3: CALLDATACOPY
000034a4: ADD
000034a5: SWAP1
000034a6: POP
000034a7: JUMPDEST
000034a8: POP
000034a9: SWAP1
000034aa: POP
000034ab: PUSH1 0x00
000034ad: JUMPDEST
000034ae: DUP4
000034af: DUP2
000034b0: LT
000034b1: ISZERO
000034b2: PUSH2 0x351d
000034b5: JUMPI
000034b6: DUP6
000034b7: PUSH2 0x34c0
000034ba: DUP3
000034bb: DUP8
000034bc: PUSH2 0x37e7
000034bf: JUMP
000034c0: JUMPDEST
000034c1: PUSH1 0x20
000034c3: DUP2
000034c4: LT
000034c5: PUSH2 0x34d0
000034c8: JUMPI
000034c9: PUSH2 0x34d0
000034cc: PUSH2 0x3861
000034cf: JUMP
000034d0: JUMPDEST
000034d1: BYTE
000034d2: PUSH1 0xf8
000034d4: SHL
000034d5: DUP3
000034d6: DUP3
000034d7: DUP2
000034d8: MLOAD
000034d9: DUP2
000034da: LT
000034db: PUSH2 0x34e6
000034de: JUMPI
000034df: PUSH2 0x34e6
000034e2: PUSH2 0x3861
000034e5: JUMP
000034e6: JUMPDEST
000034e7: PUSH1 0x20
000034e9: ADD
000034ea: ADD
000034eb: SWAP1
000034ec: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000350c: NOT
0000350d: AND
0000350e: SWAP1
0000350f: DUP2
00003510: PUSH1 0x00
00003512: BYTE
00003513: SWAP1
00003514: MSTORE8
00003515: POP
00003516: PUSH1 0x01
00003518: ADD
00003519: PUSH2 0x34ad
0000351c: JUMP
0000351d: JUMPDEST
0000351e: POP
0000351f: SWAP5
00003520: SWAP4
00003521: POP
00003522: POP
00003523: POP
00003524: POP
00003525: JUMP
00003526: JUMPDEST
00003527: DUP1
00003528: CALLDATALOAD
00003529: PUSH1 0x01
0000352b: PUSH1 0x01
0000352d: PUSH1 0xa0
0000352f: SHL
00003530: SUB
00003531: DUP2
00003532: AND
00003533: DUP2
00003534: EQ
00003535: PUSH2 0x0d92
00003538: JUMPI
00003539: PUSH1 0x00
0000353b: DUP1
0000353c: REVERT
0000353d: JUMPDEST
0000353e: PUSH1 0x00
00003540: DUP1
00003541: PUSH1 0x00
00003543: DUP1
00003544: PUSH1 0x00
00003546: PUSH1 0xa0
00003548: DUP7
00003549: DUP9
0000354a: SUB
0000354b: SLT
0000354c: ISZERO
0000354d: PUSH2 0x3555
00003550: JUMPI
00003551: PUSH1 0x00
00003553: DUP1
00003554: REVERT
00003555: JUMPDEST
00003556: PUSH2 0x355e
00003559: DUP7
0000355a: PUSH2 0x3526
0000355d: JUMP
0000355e: JUMPDEST
0000355f: SWAP5
00003560: POP
00003561: PUSH2 0x356c
00003564: PUSH1 0x20
00003566: DUP8
00003567: ADD
00003568: PUSH2 0x3526
0000356b: JUMP
0000356c: JUMPDEST
0000356d: SWAP4
0000356e: POP
0000356f: PUSH2 0x357a
00003572: PUSH1 0x40
00003574: DUP8
00003575: ADD
00003576: PUSH2 0x3526
00003579: JUMP
0000357a: JUMPDEST
0000357b: SWAP3
0000357c: POP
0000357d: PUSH2 0x3588
00003580: PUSH1 0x60
00003582: DUP8
00003583: ADD
00003584: PUSH2 0x3526
00003587: JUMP
00003588: JUMPDEST
00003589: SWAP2
0000358a: POP
0000358b: PUSH2 0x3596
0000358e: PUSH1 0x80
00003590: DUP8
00003591: ADD
00003592: PUSH2 0x3526
00003595: JUMP
00003596: JUMPDEST
00003597: SWAP1
00003598: POP
00003599: SWAP3
0000359a: SWAP6
0000359b: POP
0000359c: SWAP3
0000359d: SWAP6
0000359e: SWAP1
0000359f: SWAP4
000035a0: POP
000035a1: JUMP
000035a2: JUMPDEST
000035a3: PUSH1 0x00
000035a5: PUSH1 0x20
000035a7: DUP3
000035a8: DUP5
000035a9: SUB
000035aa: SLT
000035ab: ISZERO
000035ac: PUSH2 0x35b4
000035af: JUMPI
000035b0: PUSH1 0x00
000035b2: DUP1
000035b3: REVERT
000035b4: JUMPDEST
000035b5: PUSH2 0x10fd
000035b8: DUP3
000035b9: PUSH2 0x3526
000035bc: JUMP
000035bd: JUMPDEST
000035be: DUP1
000035bf: CALLDATALOAD
000035c0: PUSH8 0xffffffffffffffff
000035c9: DUP2
000035ca: AND
000035cb: DUP2
000035cc: EQ
000035cd: PUSH2 0x0d92
000035d0: JUMPI
000035d1: PUSH1 0x00
000035d3: DUP1
000035d4: REVERT
000035d5: JUMPDEST
000035d6: PUSH1 0x00
000035d8: PUSH1 0x20
000035da: DUP3
000035db: DUP5
000035dc: SUB
000035dd: SLT
000035de: ISZERO
000035df: PUSH2 0x35e7
000035e2: JUMPI
000035e3: PUSH1 0x00
000035e5: DUP1
000035e6: REVERT
000035e7: JUMPDEST
000035e8: PUSH2 0x10fd
000035eb: DUP3
000035ec: PUSH2 0x35bd
000035ef: JUMP
000035f0: JUMPDEST
000035f1: PUSH1 0x00
000035f3: PUSH1 0x20
000035f5: DUP3
000035f6: DUP5
000035f7: SUB
000035f8: SLT
000035f9: ISZERO
000035fa: PUSH2 0x3602
000035fd: JUMPI
000035fe: PUSH1 0x00
00003600: DUP1
00003601: REVERT
00003602: JUMPDEST
00003603: DUP2
00003604: CALLDATALOAD
00003605: DUP1
00003606: ISZERO
00003607: ISZERO
00003608: DUP2
00003609: EQ
0000360a: PUSH2 0x10fd
0000360d: JUMPI
0000360e: PUSH1 0x00
00003610: DUP1
00003611: REVERT
00003612: JUMPDEST
00003613: PUSH1 0x00
00003615: DUP1
00003616: PUSH1 0x00
00003618: PUSH1 0x60
0000361a: DUP5
0000361b: DUP7
0000361c: SUB
0000361d: SLT
0000361e: ISZERO
0000361f: PUSH2 0x3627
00003622: JUMPI
00003623: PUSH1 0x00
00003625: DUP1
00003626: REVERT
00003627: JUMPDEST
00003628: DUP4
00003629: CALLDATALOAD
0000362a: SWAP3
0000362b: POP
0000362c: PUSH1 0x20
0000362e: DUP5
0000362f: ADD
00003630: CALLDATALOAD
00003631: PUSH2 0xffff
00003634: DUP2
00003635: AND
00003636: DUP2
00003637: EQ
00003638: PUSH2 0x3640
0000363b: JUMPI
0000363c: PUSH1 0x00
0000363e: DUP1
0000363f: REVERT
00003640: JUMPDEST
00003641: SWAP2
00003642: POP
00003643: PUSH2 0x364e
00003646: PUSH1 0x40
00003648: DUP6
00003649: ADD
0000364a: PUSH2 0x35bd
0000364d: JUMP
0000364e: JUMPDEST
0000364f: SWAP1
00003650: POP
00003651: SWAP3
00003652: POP
00003653: SWAP3
00003654: POP
00003655: SWAP3
00003656: JUMP
00003657: JUMPDEST
00003658: PUSH1 0x00
0000365a: PUSH1 0x20
0000365c: DUP3
0000365d: DUP5
0000365e: SUB
0000365f: SLT
00003660: ISZERO
00003661: PUSH2 0x3669
00003664: JUMPI
00003665: PUSH1 0x00
00003667: DUP1
00003668: REVERT
00003669: JUMPDEST
0000366a: POP
0000366b: CALLDATALOAD
0000366c: SWAP2
0000366d: SWAP1
0000366e: POP
0000366f: JUMP
00003670: JUMPDEST
00003671: PUSH1 0x00
00003673: JUMPDEST
00003674: DUP4
00003675: DUP2
00003676: LT
00003677: ISZERO
00003678: PUSH2 0x368b
0000367b: JUMPI
0000367c: DUP2
0000367d: DUP2
0000367e: ADD
0000367f: MLOAD
00003680: DUP4
00003681: DUP3
00003682: ADD
00003683: MSTORE
00003684: PUSH1 0x20
00003686: ADD
00003687: PUSH2 0x3673
0000368a: JUMP
0000368b: JUMPDEST
0000368c: POP
0000368d: POP
0000368e: PUSH1 0x00
00003690: SWAP2
00003691: ADD
00003692: MSTORE
00003693: JUMP
00003694: JUMPDEST
00003695: PUSH1 0x00
00003697: DUP2
00003698: MLOAD
00003699: DUP1
0000369a: DUP5
0000369b: MSTORE
0000369c: PUSH2 0x36ac
0000369f: DUP2
000036a0: PUSH1 0x20
000036a2: DUP7
000036a3: ADD
000036a4: PUSH1 0x20
000036a6: DUP7
000036a7: ADD
000036a8: PUSH2 0x3670
000036ab: JUMP
000036ac: JUMPDEST
000036ad: PUSH1 0x1f
000036af: ADD
000036b0: PUSH1 0x1f
000036b2: NOT
000036b3: AND
000036b4: SWAP3
000036b5: SWAP1
000036b6: SWAP3
000036b7: ADD
000036b8: PUSH1 0x20
000036ba: ADD
000036bb: SWAP3
000036bc: SWAP2
000036bd: POP
000036be: POP
000036bf: JUMP
000036c0: JUMPDEST
000036c1: PUSH1 0x20
000036c3: DUP2
000036c4: MSTORE
000036c5: PUSH1 0x00
000036c7: PUSH2 0x10fd
000036ca: PUSH1 0x20
000036cc: DUP4
000036cd: ADD
000036ce: DUP5
000036cf: PUSH2 0x3694
000036d2: JUMP
000036d3: JUMPDEST
000036d4: PUSH1 0x00
000036d6: DUP1
000036d7: PUSH1 0x40
000036d9: DUP4
000036da: DUP6
000036db: SUB
000036dc: SLT
000036dd: ISZERO
000036de: PUSH2 0x36e6
000036e1: JUMPI
000036e2: PUSH1 0x00
000036e4: DUP1
000036e5: REVERT
000036e6: JUMPDEST
000036e7: DUP3
000036e8: CALLDATALOAD
000036e9: SWAP2
000036ea: POP
000036eb: PUSH1 0x20
000036ed: DUP4
000036ee: ADD
000036ef: CALLDATALOAD
000036f0: PUSH8 0xffffffffffffffff
000036f9: DUP2
000036fa: GT
000036fb: ISZERO
000036fc: PUSH2 0x3704
000036ff: JUMPI
00003700: PUSH1 0x00
00003702: DUP1
00003703: REVERT
00003704: JUMPDEST
00003705: DUP4
00003706: ADD
00003707: PUSH1 0x60
00003709: DUP2
0000370a: DUP7
0000370b: SUB
0000370c: SLT
0000370d: ISZERO
0000370e: PUSH2 0x3716
00003711: JUMPI
00003712: PUSH1 0x00
00003714: DUP1
00003715: REVERT
00003716: JUMPDEST
00003717: DUP1
00003718: SWAP2
00003719: POP
0000371a: POP
0000371b: SWAP3
0000371c: POP
0000371d: SWAP3
0000371e: SWAP1
0000371f: POP
00003720: JUMP
00003721: JUMPDEST
00003722: PUSH1 0x00
00003724: DUP1
00003725: PUSH1 0x20
00003727: DUP4
00003728: DUP6
00003729: SUB
0000372a: SLT
0000372b: ISZERO
0000372c: PUSH2 0x3734
0000372f: JUMPI
00003730: PUSH1 0x00
00003732: DUP1
00003733: REVERT
00003734: JUMPDEST
00003735: DUP3
00003736: CALLDATALOAD
00003737: PUSH8 0xffffffffffffffff
00003740: DUP1
00003741: DUP3
00003742: GT
00003743: ISZERO
00003744: PUSH2 0x374c
00003747: JUMPI
00003748: PUSH1 0x00
0000374a: DUP1
0000374b: REVERT
0000374c: JUMPDEST
0000374d: DUP2
0000374e: DUP6
0000374f: ADD
00003750: SWAP2
00003751: POP
00003752: DUP6
00003753: PUSH1 0x1f
00003755: DUP4
00003756: ADD
00003757: SLT
00003758: PUSH2 0x3760
0000375b: JUMPI
0000375c: PUSH1 0x00
0000375e: DUP1
0000375f: REVERT
00003760: JUMPDEST
00003761: DUP2
00003762: CALLDATALOAD
00003763: DUP2
00003764: DUP2
00003765: GT
00003766: ISZERO
00003767: PUSH2 0x376f
0000376a: JUMPI
0000376b: PUSH1 0x00
0000376d: DUP1
0000376e: REVERT
0000376f: JUMPDEST
00003770: DUP7
00003771: PUSH1 0x20
00003773: DUP3
00003774: PUSH1 0x05
00003776: SHL
00003777: DUP6
00003778: ADD
00003779: ADD
0000377a: GT
0000377b: ISZERO
0000377c: PUSH2 0x3784
0000377f: JUMPI
00003780: PUSH1 0x00
00003782: DUP1
00003783: REVERT
00003784: JUMPDEST
00003785: PUSH1 0x20
00003787: SWAP3
00003788: SWAP1
00003789: SWAP3
0000378a: ADD
0000378b: SWAP7
0000378c: SWAP2
0000378d: SWAP6
0000378e: POP
0000378f: SWAP1
00003790: SWAP4
00003791: POP
00003792: POP
00003793: POP
00003794: POP
00003795: JUMP
00003796: JUMPDEST
00003797: PUSH4 0x4e487b71
0000379c: PUSH1 0xe0
0000379e: SHL
0000379f: PUSH1 0x00
000037a1: MSTORE
000037a2: PUSH1 0x11
000037a4: PUSH1 0x04
000037a6: MSTORE
000037a7: PUSH1 0x24
000037a9: PUSH1 0x00
000037ab: REVERT
000037ac: JUMPDEST
000037ad: DUP1
000037ae: DUP3
000037af: MUL
000037b0: DUP2
000037b1: ISZERO
000037b2: DUP3
000037b3: DUP3
000037b4: DIV
000037b5: DUP5
000037b6: EQ
000037b7: OR
000037b8: PUSH2 0x1496
000037bb: JUMPI
000037bc: PUSH2 0x1496
000037bf: PUSH2 0x3796
000037c2: JUMP
000037c3: JUMPDEST
000037c4: PUSH1 0x00
000037c6: DUP1
000037c7: PUSH1 0x40
000037c9: DUP4
000037ca: DUP6
000037cb: SUB
000037cc: SLT
000037cd: ISZERO
000037ce: PUSH2 0x37d6
000037d1: JUMPI
000037d2: PUSH1 0x00
000037d4: DUP1
000037d5: REVERT
000037d6: JUMPDEST
000037d7: POP
000037d8: POP
000037d9: DUP1
000037da: MLOAD
000037db: PUSH1 0x20
000037dd: SWAP1
000037de: SWAP2
000037df: ADD
000037e0: MLOAD
000037e1: SWAP1
000037e2: SWAP3
000037e3: SWAP1
000037e4: SWAP2
000037e5: POP
000037e6: JUMP
000037e7: JUMPDEST
000037e8: DUP1
000037e9: DUP3
000037ea: ADD
000037eb: DUP1
000037ec: DUP3
000037ed: GT
000037ee: ISZERO
000037ef: PUSH2 0x1496
000037f2: JUMPI
000037f3: PUSH2 0x1496
000037f6: PUSH2 0x3796
000037f9: JUMP
000037fa: JUMPDEST
000037fb: PUSH1 0x00
000037fd: PUSH1 0x20
000037ff: DUP3
00003800: DUP5
00003801: SUB
00003802: SLT
00003803: ISZERO
00003804: PUSH2 0x380c
00003807: JUMPI
00003808: PUSH1 0x00
0000380a: DUP1
0000380b: REVERT
0000380c: JUMPDEST
0000380d: POP
0000380e: MLOAD
0000380f: SWAP2
00003810: SWAP1
00003811: POP
00003812: JUMP
00003813: JUMPDEST
00003814: PUSH1 0x00
00003816: DUP1
00003817: DUP4
00003818: CALLDATALOAD
00003819: PUSH1 0x1e
0000381b: NOT
0000381c: DUP5
0000381d: CALLDATASIZE
0000381e: SUB
0000381f: ADD
00003820: DUP2
00003821: SLT
00003822: PUSH2 0x382a
00003825: JUMPI
00003826: PUSH1 0x00
00003828: DUP1
00003829: REVERT
0000382a: JUMPDEST
0000382b: DUP4
0000382c: ADD
0000382d: DUP1
0000382e: CALLDATALOAD
0000382f: SWAP2
00003830: POP
00003831: PUSH8 0xffffffffffffffff
0000383a: DUP3
0000383b: GT
0000383c: ISZERO
0000383d: PUSH2 0x3845
00003840: JUMPI
00003841: PUSH1 0x00
00003843: DUP1
00003844: REVERT
00003845: JUMPDEST
00003846: PUSH1 0x20
00003848: ADD
00003849: SWAP2
0000384a: POP
0000384b: CALLDATASIZE
0000384c: DUP2
0000384d: SWAP1
0000384e: SUB
0000384f: DUP3
00003850: SGT
00003851: ISZERO
00003852: PUSH2 0x385a
00003855: JUMPI
00003856: PUSH1 0x00
00003858: DUP1
00003859: REVERT
0000385a: JUMPDEST
0000385b: SWAP3
0000385c: POP
0000385d: SWAP3
0000385e: SWAP1
0000385f: POP
00003860: JUMP
00003861: JUMPDEST
00003862: PUSH4 0x4e487b71
00003867: PUSH1 0xe0
00003869: SHL
0000386a: PUSH1 0x00
0000386c: MSTORE
0000386d: PUSH1 0x32
0000386f: PUSH1 0x04
00003871: MSTORE
00003872: PUSH1 0x24
00003874: PUSH1 0x00
00003876: REVERT
00003877: JUMPDEST
00003878: PUSH1 0x00
0000387a: DUP3
0000387b: CALLDATALOAD
0000387c: PUSH1 0x5e
0000387e: NOT
0000387f: DUP4
00003880: CALLDATASIZE
00003881: SUB
00003882: ADD
00003883: DUP2
00003884: SLT
00003885: PUSH2 0x388d
00003888: JUMPI
00003889: PUSH1 0x00
0000388b: DUP1
0000388c: REVERT
0000388d: JUMPDEST
0000388e: SWAP2
0000388f: SWAP1
00003890: SWAP2
00003891: ADD
00003892: SWAP3
00003893: SWAP2
00003894: POP
00003895: POP
00003896: JUMP
00003897: JUMPDEST
00003898: DUP2
00003899: DUP4
0000389a: MSTORE
0000389b: DUP2
0000389c: DUP2
0000389d: PUSH1 0x20
0000389f: DUP6
000038a0: ADD
000038a1: CALLDATACOPY
000038a2: POP
000038a3: PUSH1 0x00
000038a5: DUP3
000038a6: DUP3
000038a7: ADD
000038a8: PUSH1 0x20
000038aa: SWAP1
000038ab: DUP2
000038ac: ADD
000038ad: SWAP2
000038ae: SWAP1
000038af: SWAP2
000038b0: MSTORE
000038b1: PUSH1 0x1f
000038b3: SWAP1
000038b4: SWAP2
000038b5: ADD
000038b6: PUSH1 0x1f
000038b8: NOT
000038b9: AND
000038ba: SWAP1
000038bb: SWAP2
000038bc: ADD
000038bd: ADD
000038be: SWAP1
000038bf: JUMP
000038c0: JUMPDEST
000038c1: PUSH1 0x80
000038c3: DUP2
000038c4: MSTORE
000038c5: PUSH1 0x00
000038c7: PUSH2 0x38d4
000038ca: PUSH1 0x80
000038cc: DUP4
000038cd: ADD
000038ce: DUP9
000038cf: DUP11
000038d0: PUSH2 0x3897
000038d3: JUMP
000038d4: JUMPDEST
000038d5: DUP3
000038d6: DUP2
000038d7: SUB
000038d8: PUSH1 0x20
000038da: DUP5
000038db: ADD
000038dc: MSTORE
000038dd: PUSH2 0x38e6
000038e0: DUP2
000038e1: DUP9
000038e2: PUSH2 0x3694
000038e5: JUMP
000038e6: JUMPDEST
000038e7: SWAP1
000038e8: POP
000038e9: DUP3
000038ea: DUP2
000038eb: SUB
000038ec: PUSH1 0x40
000038ee: DUP5
000038ef: ADD
000038f0: MSTORE
000038f1: PUSH2 0x38fb
000038f4: DUP2
000038f5: DUP7
000038f6: DUP9
000038f7: PUSH2 0x3897
000038fa: JUMP
000038fb: JUMPDEST
000038fc: SWAP2
000038fd: POP
000038fe: POP
000038ff: DUP3
00003900: PUSH1 0x60
00003902: DUP4
00003903: ADD
00003904: MSTORE
00003905: SWAP8
00003906: SWAP7
00003907: POP
00003908: POP
00003909: POP
0000390a: POP
0000390b: POP
0000390c: POP
0000390d: POP
0000390e: JUMP
0000390f: JUMPDEST
00003910: PUSH1 0x20
00003912: DUP2
00003913: MSTORE
00003914: PUSH1 0x00
00003916: PUSH2 0x3923
00003919: PUSH1 0x20
0000391b: DUP4
0000391c: ADD
0000391d: DUP5
0000391e: DUP7
0000391f: PUSH2 0x3897
00003922: JUMP
00003923: JUMPDEST
00003924: SWAP5
00003925: SWAP4
00003926: POP
00003927: POP
00003928: POP
00003929: POP
0000392a: JUMP
0000392b: JUMPDEST
0000392c: DUP2
0000392d: DUP2
0000392e: SUB
0000392f: DUP2
00003930: DUP2
00003931: GT
00003932: ISZERO
00003933: PUSH2 0x1496
00003936: JUMPI
00003937: PUSH2 0x1496
0000393a: PUSH2 0x3796
0000393d: JUMP
0000393e: JUMPDEST
0000393f: PUSH1 0x01
00003941: DUP2
00003942: DUP2
00003943: SHR
00003944: SWAP1
00003945: DUP3
00003946: AND
00003947: DUP1
00003948: PUSH2 0x3952
0000394b: JUMPI
0000394c: PUSH1 0x7f
0000394e: DUP3
0000394f: AND
00003950: SWAP2
00003951: POP
00003952: JUMPDEST
00003953: PUSH1 0x20
00003955: DUP3
00003956: LT
00003957: DUP2
00003958: SUB
00003959: PUSH2 0x0cbb
0000395c: JUMPI
0000395d: PUSH4 0x4e487b71
00003962: PUSH1 0xe0
00003964: SHL
00003965: PUSH1 0x00
00003967: MSTORE
00003968: PUSH1 0x22
0000396a: PUSH1 0x04
0000396c: MSTORE
0000396d: PUSH1 0x24
0000396f: PUSH1 0x00
00003971: REVERT
00003972: JUMPDEST
00003973: PUSH1 0x00
00003975: DUP3
00003976: MLOAD
00003977: PUSH2 0x388d
0000397a: DUP2
0000397b: DUP5
0000397c: PUSH1 0x20
0000397e: DUP8
0000397f: ADD
00003980: PUSH2 0x3670
00003983: JUMP
00003984: JUMPDEST
00003985: PUSH4 0x4e487b71
0000398a: PUSH1 0xe0
0000398c: SHL
0000398d: PUSH1 0x00
0000398f: MSTORE
00003990: PUSH1 0x21
00003992: PUSH1 0x04
00003994: MSTORE
00003995: PUSH1 0x24
00003997: PUSH1 0x00
00003999: REVERT
0000399a: JUMPDEST
0000399b: PUSH1 0x80
0000399d: DUP2
0000399e: MSTORE
0000399f: PUSH1 0x00
000039a1: PUSH2 0x39ad
000039a4: PUSH1 0x80
000039a6: DUP4
000039a7: ADD
000039a8: DUP8
000039a9: PUSH2 0x3694
000039ac: JUMP
000039ad: JUMPDEST
000039ae: PUSH1 0x20
000039b0: DUP4
000039b1: DUP3
000039b2: SUB
000039b3: DUP2
000039b4: DUP6
000039b5: ADD
000039b6: MSTORE
000039b7: PUSH2 0x39c0
000039ba: DUP3
000039bb: DUP9
000039bc: PUSH2 0x3694
000039bf: JUMP
000039c0: JUMPDEST
000039c1: SWAP2
000039c2: POP
000039c3: DUP4
000039c4: DUP3
000039c5: SUB
000039c6: PUSH1 0x40
000039c8: DUP6
000039c9: ADD
000039ca: MSTORE
000039cb: PUSH1 0x00
000039cd: DUP7
000039ce: SLOAD
000039cf: PUSH2 0x39d7
000039d2: DUP2
000039d3: PUSH2 0x393e
000039d6: JUMP
000039d7: JUMPDEST
000039d8: DUP1
000039d9: DUP6
000039da: MSTORE
000039db: PUSH1 0x01
000039dd: DUP3
000039de: DUP2
000039df: AND
000039e0: DUP1
000039e1: ISZERO
000039e2: PUSH2 0x39f2
000039e5: JUMPI
000039e6: PUSH1 0x01
000039e8: DUP2
000039e9: EQ
000039ea: PUSH2 0x3a0c
000039ed: JUMPI
000039ee: PUSH2 0x3a3a
000039f1: JUMP
000039f2: JUMPDEST
000039f3: PUSH1 0xff
000039f5: NOT
000039f6: DUP5
000039f7: AND
000039f8: DUP8
000039f9: DUP8
000039fa: ADD
000039fb: MSTORE
000039fc: DUP3
000039fd: ISZERO
000039fe: ISZERO
000039ff: PUSH1 0x05
00003a01: SHL
00003a02: DUP8
00003a03: ADD
00003a04: DUP7
00003a05: ADD
00003a06: SWAP5
00003a07: POP
00003a08: PUSH2 0x3a3a
00003a0b: JUMP
00003a0c: JUMPDEST
00003a0d: DUP11
00003a0e: PUSH1 0x00
00003a10: MSTORE
00003a11: DUP6
00003a12: PUSH1 0x00
00003a14: KECCAK256
00003a15: PUSH1 0x00
00003a17: JUMPDEST
00003a18: DUP5
00003a19: DUP2
00003a1a: LT
00003a1b: ISZERO
00003a1c: PUSH2 0x3a32
00003a1f: JUMPI
00003a20: DUP2
00003a21: SLOAD
00003a22: DUP10
00003a23: DUP3
00003a24: ADD
00003a25: DUP10
00003a26: ADD
00003a27: MSTORE
00003a28: SWAP1
00003a29: DUP4
00003a2a: ADD
00003a2b: SWAP1
00003a2c: DUP8
00003a2d: ADD
00003a2e: PUSH2 0x3a17
00003a31: JUMP
00003a32: JUMPDEST
00003a33: DUP9
00003a34: ADD
00003a35: DUP8
00003a36: ADD
00003a37: SWAP6
00003a38: POP
00003a39: POP
00003a3a: JUMPDEST
00003a3b: POP
00003a3c: POP
00003a3d: POP
00003a3e: POP
00003a3f: DUP1
00003a40: SWAP4
00003a41: POP
00003a42: POP
00003a43: POP
00003a44: POP
00003a45: DUP3
00003a46: PUSH1 0x60
00003a48: DUP4
00003a49: ADD
00003a4a: MSTORE
00003a4b: SWAP6
00003a4c: SWAP5
00003a4d: POP
00003a4e: POP
00003a4f: POP
00003a50: POP
00003a51: POP
00003a52: JUMP
00003a53: JUMPDEST
00003a54: PUSH1 0x40
00003a56: DUP2
00003a57: MSTORE
00003a58: PUSH1 0x00
00003a5a: PUSH2 0x3a66
00003a5d: PUSH1 0x40
00003a5f: DUP4
00003a60: ADD
00003a61: DUP7
00003a62: PUSH2 0x3694
00003a65: JUMP
00003a66: JUMPDEST
00003a67: DUP3
00003a68: DUP2
00003a69: SUB
00003a6a: PUSH1 0x20
00003a6c: DUP5
00003a6d: ADD
00003a6e: MSTORE
00003a6f: PUSH2 0x3a79
00003a72: DUP2
00003a73: DUP6
00003a74: DUP8
00003a75: PUSH2 0x3897
00003a78: JUMP
00003a79: JUMPDEST
00003a7a: SWAP7
00003a7b: SWAP6
00003a7c: POP
00003a7d: POP
00003a7e: POP
00003a7f: POP
00003a80: POP
00003a81: POP
00003a82: JUMP
00003a83: JUMPDEST
00003a84: DUP2
00003a85: DUP4
00003a86: DUP3
00003a87: CALLDATACOPY
00003a88: PUSH1 0x00
00003a8a: SWAP2
00003a8b: ADD
00003a8c: SWAP1
00003a8d: DUP2
00003a8e: MSTORE
00003a8f: SWAP2
00003a90: SWAP1
00003a91: POP
00003a92: JUMP
00003a93: JUMPDEST
00003a94: PUSH4 0x4e487b71
00003a99: PUSH1 0xe0
00003a9b: SHL
00003a9c: PUSH1 0x00
00003a9e: MSTORE
00003a9f: PUSH1 0x41
00003aa1: PUSH1 0x04
00003aa3: MSTORE
00003aa4: PUSH1 0x24
00003aa6: PUSH1 0x00
00003aa8: REVERT
00003aa9: JUMPDEST
00003aaa: PUSH1 0x1f
00003aac: DUP3
00003aad: GT
00003aae: ISZERO
00003aaf: PUSH2 0x236c
00003ab2: JUMPI
00003ab3: PUSH1 0x00
00003ab5: DUP2
00003ab6: PUSH1 0x00
00003ab8: MSTORE
00003ab9: PUSH1 0x20
00003abb: PUSH1 0x00
00003abd: KECCAK256
00003abe: PUSH1 0x1f
00003ac0: DUP6
00003ac1: ADD
00003ac2: PUSH1 0x05
00003ac4: SHR
00003ac5: DUP2
00003ac6: ADD
00003ac7: PUSH1 0x20
00003ac9: DUP7
00003aca: LT
00003acb: ISZERO
00003acc: PUSH2 0x3ad2
00003acf: JUMPI
00003ad0: POP
00003ad1: DUP1
00003ad2: JUMPDEST
00003ad3: PUSH1 0x1f
00003ad5: DUP6
00003ad6: ADD
00003ad7: PUSH1 0x05
00003ad9: SHR
00003ada: DUP3
00003adb: ADD
00003adc: SWAP2
00003add: POP
00003ade: JUMPDEST
00003adf: DUP2
00003ae0: DUP2
00003ae1: LT
00003ae2: ISZERO
00003ae3: PUSH2 0x08c2
00003ae6: JUMPI
00003ae7: DUP3
00003ae8: DUP2
00003ae9: SSTORE
00003aea: PUSH1 0x01
00003aec: ADD
00003aed: PUSH2 0x3ade
00003af0: JUMP
00003af1: JUMPDEST
00003af2: DUP2
00003af3: MLOAD
00003af4: PUSH8 0xffffffffffffffff
00003afd: DUP2
00003afe: GT
00003aff: ISZERO
00003b00: PUSH2 0x3b0b
00003b03: JUMPI
00003b04: PUSH2 0x3b0b
00003b07: PUSH2 0x3a93
00003b0a: JUMP
00003b0b: JUMPDEST
00003b0c: PUSH2 0x3b1f
00003b0f: DUP2
00003b10: PUSH2 0x3b19
00003b13: DUP5
00003b14: SLOAD
00003b15: PUSH2 0x393e
00003b18: JUMP
00003b19: JUMPDEST
00003b1a: DUP5
00003b1b: PUSH2 0x3aa9
00003b1e: JUMP
00003b1f: JUMPDEST
00003b20: PUSH1 0x20
00003b22: DUP1
00003b23: PUSH1 0x1f
00003b25: DUP4
00003b26: GT
00003b27: PUSH1 0x01
00003b29: DUP2
00003b2a: EQ
00003b2b: PUSH2 0x3b54
00003b2e: JUMPI
00003b2f: PUSH1 0x00
00003b31: DUP5
00003b32: ISZERO
00003b33: PUSH2 0x3b3c
00003b36: JUMPI
00003b37: POP
00003b38: DUP6
00003b39: DUP4
00003b3a: ADD
00003b3b: MLOAD
00003b3c: JUMPDEST
00003b3d: PUSH1 0x00
00003b3f: NOT
00003b40: PUSH1 0x03
00003b42: DUP7
00003b43: SWAP1
00003b44: SHL
00003b45: SHR
00003b46: NOT
00003b47: AND
00003b48: PUSH1 0x01
00003b4a: DUP6
00003b4b: SWAP1
00003b4c: SHL
00003b4d: OR
00003b4e: DUP6
00003b4f: SSTORE
00003b50: PUSH2 0x08c2
00003b53: JUMP
00003b54: JUMPDEST
00003b55: PUSH1 0x00
00003b57: DUP6
00003b58: DUP2
00003b59: MSTORE
00003b5a: PUSH1 0x20
00003b5c: DUP2
00003b5d: KECCAK256
00003b5e: PUSH1 0x1f
00003b60: NOT
00003b61: DUP7
00003b62: AND
00003b63: SWAP2
00003b64: JUMPDEST
00003b65: DUP3
00003b66: DUP2
00003b67: LT
00003b68: ISZERO
00003b69: PUSH2 0x3b83
00003b6c: JUMPI
00003b6d: DUP9
00003b6e: DUP7
00003b6f: ADD
00003b70: MLOAD
00003b71: DUP3
00003b72: SSTORE
00003b73: SWAP5
00003b74: DUP5
00003b75: ADD
00003b76: SWAP5
00003b77: PUSH1 0x01
00003b79: SWAP1
00003b7a: SWAP2
00003b7b: ADD
00003b7c: SWAP1
00003b7d: DUP5
00003b7e: ADD
00003b7f: PUSH2 0x3b64
00003b82: JUMP
00003b83: JUMPDEST
00003b84: POP
00003b85: DUP6
00003b86: DUP3
00003b87: LT
00003b88: ISZERO
00003b89: PUSH2 0x3ba1
00003b8c: JUMPI
00003b8d: DUP8
00003b8e: DUP6
00003b8f: ADD
00003b90: MLOAD
00003b91: PUSH1 0x00
00003b93: NOT
00003b94: PUSH1 0x03
00003b96: DUP9
00003b97: SWAP1
00003b98: SHL
00003b99: PUSH1 0xf8
00003b9b: AND
00003b9c: SHR
00003b9d: NOT
00003b9e: AND
00003b9f: DUP2
00003ba0: SSTORE
00003ba1: JUMPDEST
00003ba2: POP
00003ba3: POP
00003ba4: POP
00003ba5: POP
00003ba6: POP
00003ba7: PUSH1 0x01
00003ba9: SWAP1
00003baa: DUP2
00003bab: SHL
00003bac: ADD
00003bad: SWAP1
00003bae: SSTORE
00003baf: POP
00003bb0: JUMP
00003bb1: JUMPDEST
00003bb2: PUSH1 0x00
00003bb4: DUP2
00003bb5: PUSH2 0x3bc0
00003bb8: JUMPI
00003bb9: PUSH2 0x3bc0
00003bbc: PUSH2 0x3796
00003bbf: JUMP
00003bc0: JUMPDEST
00003bc1: POP
00003bc2: PUSH1 0x00
00003bc4: NOT
00003bc5: ADD
00003bc6: SWAP1
00003bc7: JUMP
00003bc8: JUMPDEST
00003bc9: DUP3
00003bca: DUP2
00003bcb: MSTORE
00003bcc: PUSH1 0x00
00003bce: DUP3
00003bcf: MLOAD
00003bd0: PUSH2 0x3be0
00003bd3: DUP2
00003bd4: PUSH1 0x20
00003bd6: DUP6
00003bd7: ADD
00003bd8: PUSH1 0x20
00003bda: DUP8
00003bdb: ADD
00003bdc: PUSH2 0x3670
00003bdf: JUMP
00003be0: JUMPDEST
00003be1: SWAP2
00003be2: SWAP1
00003be3: SWAP2
00003be4: ADD
00003be5: PUSH1 0x20
00003be7: ADD
00003be8: SWAP4
00003be9: SWAP3
00003bea: POP
00003beb: POP
00003bec: POP
00003bed: JUMP
00003bee: JUMPDEST
00003bef: PUSH8 0xffffffffffffffff
00003bf8: DUP4
00003bf9: GT
00003bfa: ISZERO
00003bfb: PUSH2 0x3c06
00003bfe: JUMPI
00003bff: PUSH2 0x3c06
00003c02: PUSH2 0x3a93
00003c05: JUMP
00003c06: JUMPDEST
00003c07: PUSH2 0x3c1a
00003c0a: DUP4
00003c0b: PUSH2 0x3c14
00003c0e: DUP4
00003c0f: SLOAD
00003c10: PUSH2 0x393e
00003c13: JUMP
00003c14: JUMPDEST
00003c15: DUP4
00003c16: PUSH2 0x3aa9
00003c19: JUMP
00003c1a: JUMPDEST
00003c1b: PUSH1 0x00
00003c1d: PUSH1 0x1f
00003c1f: DUP5
00003c20: GT
00003c21: PUSH1 0x01
00003c23: DUP2
00003c24: EQ
00003c25: PUSH2 0x3c4e
00003c28: JUMPI
00003c29: PUSH1 0x00
00003c2b: DUP6
00003c2c: ISZERO
00003c2d: PUSH2 0x3c36
00003c30: JUMPI
00003c31: POP
00003c32: DUP4
00003c33: DUP3
00003c34: ADD
00003c35: CALLDATALOAD
00003c36: JUMPDEST
00003c37: PUSH1 0x00
00003c39: NOT
00003c3a: PUSH1 0x03
00003c3c: DUP8
00003c3d: SWAP1
00003c3e: SHL
00003c3f: SHR
00003c40: NOT
00003c41: AND
00003c42: PUSH1 0x01
00003c44: DUP7
00003c45: SWAP1
00003c46: SHL
00003c47: OR
00003c48: DUP4
00003c49: SSTORE
00003c4a: PUSH2 0x3ca8
00003c4d: JUMP
00003c4e: JUMPDEST
00003c4f: PUSH1 0x00
00003c51: DUP4
00003c52: DUP2
00003c53: MSTORE
00003c54: PUSH1 0x20
00003c56: SWAP1
00003c57: KECCAK256
00003c58: PUSH1 0x1f
00003c5a: NOT
00003c5b: DUP7
00003c5c: AND
00003c5d: SWAP1
00003c5e: DUP4
00003c5f: JUMPDEST
00003c60: DUP3
00003c61: DUP2
00003c62: LT
00003c63: ISZERO
00003c64: PUSH2 0x3c7f
00003c67: JUMPI
00003c68: DUP7
00003c69: DUP6
00003c6a: ADD
00003c6b: CALLDATALOAD
00003c6c: DUP3
00003c6d: SSTORE
00003c6e: PUSH1 0x20
00003c70: SWAP5
00003c71: DUP6
00003c72: ADD
00003c73: SWAP5
00003c74: PUSH1 0x01
00003c76: SWAP1
00003c77: SWAP3
00003c78: ADD
00003c79: SWAP2
00003c7a: ADD
00003c7b: PUSH2 0x3c5f
00003c7e: JUMP
00003c7f: JUMPDEST
00003c80: POP
00003c81: DUP7
00003c82: DUP3
00003c83: LT
00003c84: ISZERO
00003c85: PUSH2 0x3c9c
00003c88: JUMPI
00003c89: PUSH1 0x00
00003c8b: NOT
00003c8c: PUSH1 0xf8
00003c8e: DUP9
00003c8f: PUSH1 0x03
00003c91: SHL
00003c92: AND
00003c93: SHR
00003c94: NOT
00003c95: DUP5
00003c96: DUP8
00003c97: ADD
00003c98: CALLDATALOAD
00003c99: AND
00003c9a: DUP2
00003c9b: SSTORE
00003c9c: JUMPDEST
00003c9d: POP
00003c9e: POP
00003c9f: PUSH1 0x01
00003ca1: DUP6
00003ca2: PUSH1 0x01
00003ca4: SHL
00003ca5: ADD
00003ca6: DUP4
00003ca7: SSTORE
00003ca8: JUMPDEST
00003ca9: POP
00003caa: POP
00003cab: POP
00003cac: POP
00003cad: POP
00003cae: JUMP
00003caf: JUMPDEST
00003cb0: PUSH1 0x00
00003cb2: DUP1
00003cb3: DUP6
00003cb4: DUP6
00003cb5: GT
00003cb6: ISZERO
00003cb7: PUSH2 0x3cbf
00003cba: JUMPI
00003cbb: PUSH1 0x00
00003cbd: DUP1
00003cbe: REVERT
00003cbf: JUMPDEST
00003cc0: DUP4
00003cc1: DUP7
00003cc2: GT
00003cc3: ISZERO
00003cc4: PUSH2 0x3ccc
00003cc7: JUMPI
00003cc8: PUSH1 0x00
00003cca: DUP1
00003ccb: REVERT
00003ccc: JUMPDEST
00003ccd: POP
00003cce: POP
00003ccf: DUP3
00003cd0: ADD
00003cd1: SWAP4
00003cd2: SWAP2
00003cd3: SWAP1
00003cd4: SWAP3
00003cd5: SUB
00003cd6: SWAP2
00003cd7: POP
00003cd8: JUMP
00003cd9: JUMPDEST
00003cda: DUP1
00003cdb: CALLDATALOAD
00003cdc: PUSH1 0x20
00003cde: DUP4
00003cdf: LT
00003ce0: ISZERO
00003ce1: PUSH2 0x1496
00003ce4: JUMPI
00003ce5: PUSH1 0x00
00003ce7: NOT
00003ce8: PUSH1 0x20
00003cea: DUP5
00003ceb: SWAP1
00003cec: SUB
00003ced: PUSH1 0x03
00003cef: SHL
00003cf0: SHL
00003cf1: AND
00003cf2: SWAP3
00003cf3: SWAP2
00003cf4: POP
00003cf5: POP
00003cf6: JUMP
00003cf7: INVALID
00003cf8: LOG2
00003cf9: PUSH5 0x6970667358
00003cff: UNKNOWN(0x22)
00003d00: SLT
00003d01: KECCAK256
00003d02: SWAP6
00003d03: SWAP3
00003d04: SWAP6
00003d05: SWAP10
00003d06: DUP12
00003d07: DUP10
00003d08: PUSH0
00003d09: UNKNOWN(0xC3)
00003d0a: PUSH25 0xb0c8f2342d542be7a5238002a7d310f1ce202237de717f6473
00003d24: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x719df390f4c2b1eeb73e6a241875333b0b9652d0688f42d91ce8ceaa66ce2c80 call_targets: 0x40b45c2a9b30927292db21625de50de38f577c66 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x719df390f4c2b1eeb73e6a241875333b0b9652d0688f42d91ce8ceaa66ce2c80", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x40b45c2a9b30927292db21625de50de38f577c66" ], "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": "0xed0723d4", "selector": "0xed0723d4", "calldata_variants": [ "0xed0723d4", "0xed0723d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1887684", "selector": "0xf1887684", "calldata_variants": [ "0xf1887684", "0xf18876840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf18e1d7b", "selector": "0xf18e1d7b", "calldata_variants": [ "0xf18e1d7b", "0xf18e1d7b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb4af045", "selector": "0xeb4af045", "calldata_variants": [ "0xeb4af045", "0xeb4af0450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebd462cb", "selector": "0xebd462cb", "calldata_variants": [ "0xebd462cb", "0xebd462cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa956c7b9", "selector": "0xa956c7b9", "calldata_variants": [ "0xa956c7b9", "0xa956c7b90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2926, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4199, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4664, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [], "untrusted_call_count": 7 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x719df390f4c2b1eeb73e6a241875333b0b9652d0688f42d91ce8ceaa66ce2c80 call_targets: 0x40b45c2a9b30927292db21625de50de38f577c66 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x719df390f4c2b1eeb73e6a241875333b0b9652d0688f42d91ce8ceaa66ce2c80", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x40b45c2a9b30927292db21625de50de38f577c66" ], "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": "0xed0723d4", "selector": "0xed0723d4", "calldata_variants": [ "0xed0723d4", "0xed0723d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1887684", "selector": "0xf1887684", "calldata_variants": [ "0xf1887684", "0xf18876840000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf18e1d7b", "selector": "0xf18e1d7b", "calldata_variants": [ "0xf18e1d7b", "0xf18e1d7b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe30c3978", "selector": "0xe30c3978", "calldata_variants": [ "0xe30c3978", "0xe30c39780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeb4af045", "selector": "0xeb4af045", "calldata_variants": [ "0xeb4af045", "0xeb4af0450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xebd462cb", "selector": "0xebd462cb", "calldata_variants": [ "0xebd462cb", "0xebd462cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa956c7b9", "selector": "0xa956c7b9", "calldata_variants": [ "0xa956c7b9", "0xa956c7b90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2926, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4199, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4664, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [] }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 12 }

Severity