Analysis Run

019c0ea9-08b4-71da-b1cb-0a3294685f27

complete

Chain ID

1

Address

0x1ca2007a81f8a7491bb6e11d8e357fd810896454

Block Number

—

Created

Fri, Jan 30, 2026 11:28 AM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Present

Best current signal

Untrusted DELEGATECALL target reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
41893	artifact.fetch	complete	1 / 3	2 months ago
41894	proxy.resolve	complete	1 / 3	2 months ago
41895	tool.cast_disasm	complete	1 / 3	2 months ago
41896	analysis.bundle	complete	1 / 3	2 months ago
41897	capability.graph	complete	1 / 3	2 months ago
41898	detector.run	complete	1 / 3	2 months ago
41899	validation.fork	complete	1 / 3	2 months ago
42354	report.consolidate	complete	1 / 6	2 months ago
42355	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

2

Solc

0.8.17 (solc-select)

View stderr

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

TokenDistributor.emergencyExecute(address,bytes) (contracts/distribution/TokenDistributor.sol#306-319) uses delegatecall to a input-controlled function id
	- (success,res) = targetAddress.delegatecall(targetCallData) (contracts/distribution/TokenDistributor.sol#314)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#controlled-delegatecall

TokenDistributor._createDistribution(TokenDistributor.CreateDistributionArgs) (contracts/distribution/TokenDistributor.sol#321-359) uses a dangerous strict equality:
	- supply == 0 (contracts/distribution/TokenDistributor.sol#334)
TokenDistributor._getBalanceId(ITokenDistributor.TokenType,address) (contracts/distribution/TokenDistributor.sol#401-411) uses a dangerous strict equality:
	- tokenType == TokenType.Native (contracts/distribution/TokenDistributor.sol#406)
TokenDistributor._getBalanceId(ITokenDistributor.TokenType,address) (contracts/distribution/TokenDistributor.sol#401-411) uses a dangerous strict equality:
	- assert(bool)(tokenType == TokenType.Erc20) (contracts/distribution/TokenDistributor.sol#409)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities

Reentrancy in TokenDistributor._transfer(ITokenDistributor.TokenType,address,address,uint256) (contracts/distribution/TokenDistributor.sol#361-389):
	External calls:
	- recipient.transferEth(amount) (contracts/distribution/TokenDistributor.sol#383)
	- IERC20(token).compatTransfer(recipient,amount) (contracts/distribution/TokenDistributor.sol#386)
	State variables written after the call(s):
	- _storedBalances[balanceId] = storedBalance (contracts/distribution/TokenDistributor.sol#388)
	TokenDistributor._storedBalances (contracts/distribution/TokenDistributor.sol#70) can be used in cross function reentrancies:
	- TokenDistributor._createDistribution(TokenDistributor.CreateDistributionArgs) (contracts/distribution/TokenDistributor.sol#321-359)
	- TokenDistributor._transfer(ITokenDistributor.TokenType,address,address,uint256) (contracts/distribution/TokenDistributor.sol#361-389)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-1

IERC20.approve(address,uint256).allowance (contracts/tokens/IERC20.sol#11) shadows:
	- IERC20.allowance(address,address) (contracts/tokens/IERC20.sol#12) (function)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#local-variable-shadowing

TokenDistributor.emergencyExecute(address,bytes).targetAddress (contracts/distribution/TokenDistributor.sol#307) lacks a zero-check on :
		- (success,res) = targetAddress.delegatecall(targetCallData) (contracts/distribution/TokenDistributor.sol#314)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#missing-zero-address-validation

TokenDistributor.claim(ITokenDistributor.DistributionInfo,uint256) (contracts/distribution/TokenDistributor.sol#140-189) has external calls inside a loop: ownerOfPartyToken = info.party.ownerOf(partyTokenId) (contracts/distribution/TokenDistributor.sol#146)
	Calls stack containing the loop:
		TokenDistributor.batchClaim(ITokenDistributor.DistributionInfo[],uint256[])
TokenDistributor.getClaimAmount(ITokenDistributorParty,uint256,uint256) (contracts/distribution/TokenDistributor.sol#247-267) has external calls inside a loop: ((uint256(party.getDistributionShareOf(partyTokenId)) * memberSupply + (1e18 - 1)) / 1e18).safeCastUint256ToUint128() (contracts/distribution/TokenDistributor.sol#259-266)
	Calls stack containing the loop:
		TokenDistributor.batchClaim(ITokenDistributor.DistributionInfo[],uint256[])
		TokenDistributor.claim(ITokenDistributor.DistributionInfo,uint256)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop

Reentrancy in TokenDistributor.claim(ITokenDistributor.DistributionInfo,uint256) (contracts/distribution/TokenDistributor.sol#140-189):
	External calls:
	- _transfer(info.tokenType,info.token,address(msg.sender),amountClaimed) (contracts/distribution/TokenDistributor.sol#175-180)
		- (s,r) = address(token).call(abi.encodeCall(IERC20.transfer,(to,amount))) (contracts/utils/LibERC20Compat.sol#15-16)
		- recipient.transferEth(amount) (contracts/distribution/TokenDistributor.sol#383)
		- (s,r) = receiver.call{value: amount}() (contracts/utils/LibAddress.sol#13)
		- IERC20(token).compatTransfer(recipient,amount) (contracts/distribution/TokenDistributor.sol#386)
	External calls sending eth:
	- _transfer(info.tokenType,info.token,address(msg.sender),amountClaimed) (contracts/distribution/TokenDistributor.sol#175-180)
		- (s,r) = receiver.call{value: amount}() (contracts/utils/LibAddress.sol#13)
	Event emitted after the call(s):
	- DistributionClaimedByPartyToken(info.party,partyTokenId,msg.sender,info.tokenType,info.token,amountClaimed) (contracts/distribution/TokenDistributor.sol#181-188)
Reentrancy in TokenDistributor.claimFee(ITokenDistributor.DistributionInfo,address) (contracts/distribution/TokenDistributor.sol#192-224):
	External calls:
	- _transfer(info.tokenType,info.token,recipient,info.fee) (contracts/distribution/TokenDistributor.sol#211-216)
		- (s,r) = address(token).call(abi.encodeCall(IERC20.transfer,(to,amount))) (contracts/utils/LibERC20Compat.sol#15-16)
		- recipient.transferEth(amount) (contracts/distribution/TokenDistributor.sol#383)
		- (s,r) = receiver.call{value: amount}() (contracts/utils/LibAddress.sol#13)
		- IERC20(token).compatTransfer(recipient,amount) (contracts/distribution/TokenDistributor.sol#386)
	External calls sending eth:
	- _transfer(info.tokenType,info.token,recipient,info.fee) (contracts/distribution/TokenDistributor.sol#211-216)
		- (s,r) = receiver.call{value: amount}() (contracts/utils/LibAddress.sol#13)
	Event emitted after the call(s):
	- DistributionFeeClaimed(info.party,info.feeRecipient,info.tokenType,info.token,info.fee) (contracts/distribution/TokenDistributor.sol#217-223)
Reentrancy in TokenDistributor.emergencyExecute(address,bytes) (contracts/distribution/TokenDistributor.sol#306-319):
	External calls:
	- (success,res) = targetAddress.delegatecall(targetCallData) (contracts/distribution/TokenDistributor.sol#314)
	Event emitted after the call(s):
	- EmergencyExecute(targetAddress,targetCallData) (contracts/distribution/TokenDistributor.sol#318)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-3

TokenDistributor._getDistributionHash(ITokenDistributor.DistributionInfo) (contracts/distribution/TokenDistributor.sol#391-399) uses assembly
	- INLINE ASM (contracts/distribution/TokenDistributor.sol#396-398)
LibERC20Compat.compatTransfer(IERC20,address,uint256) (contracts/utils/LibERC20Compat.sol#12-31) uses assembly
	- INLINE ASM (contracts/utils/LibERC20Compat.sol#20)
LibRawResult.rawRevert(bytes) (contracts/utils/LibRawResult.sol#6-11) uses assembly
	- INLINE ASM (contracts/utils/LibRawResult.sol#10)
LibRawResult.rawReturn(bytes) (contracts/utils/LibRawResult.sol#14-19) uses assembly
	- INLINE ASM (contracts/utils/LibRawResult.sol#18)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage

2 different versions of Solidity are used:
	- Version constraint 0.8.17 is used by:
		-0.8.17 (contracts/distribution/ITokenDistributor.sol#2)
		-0.8.17 (contracts/distribution/ITokenDistributorParty.sol#2)
		-0.8.17 (contracts/distribution/TokenDistributor.sol#2)
		-0.8.17 (contracts/globals/IGlobals.sol#2)
		-0.8.17 (contracts/globals/LibGlobals.sol#2)
		-0.8.17 (contracts/utils/Implementation.sol#2)
		-0.8.17 (contracts/utils/LibAddress.sol#2)
		-0.8.17 (contracts/utils/LibERC20Compat.sol#2)
		-0.8.17 (contracts/utils/LibRawResult.sol#2)
		-0.8.17 (contracts/utils/LibSafeCast.sol#2)
	- Version constraint ^0.8 is used by:
		-^0.8 (contracts/tokens/IERC20.sol#2)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used

Version constraint 0.8.17 contains known severe issues (https://solidity.readthedocs.io/en/latest/bugs.html)
	- VerbatimInvalidDeduplication
	- FullInlinerNonExpressionSplitArgumentEvaluationOrder
	- MissingSideEffectsOnSelectorAccess.
It is used by:
	- 0.8.17 (contracts/distribution/ITokenDistributor.sol#2)
	- 0.8.17 (contracts/distribution/ITokenDistributorParty.sol#2)
	- 0.8.17 (contracts/distribution/TokenDistributor.sol#2)
	- 0.8.17 (contracts/globals/IGlobals.sol#2)
	- 0.8.17 (contracts/globals/LibGlobals.sol#2)
	- 0.8.17 (contracts/utils/Implementation.sol#2)
	- 0.8.17 (contracts/utils/LibAddress.sol#2)
	- 0.8.17 (contracts/utils/LibERC20Compat.sol#2)
	- 0.8.17 (contracts/utils/LibRawResult.sol#2)
	- 0.8.17 (contracts/utils/LibSafeCast.sol#2)
Version constraint ^0.8 is too complex.
It is used by:
	- ^0.8 (contracts/tokens/IERC20.sol#2)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity

Low level call in TokenDistributor.emergencyExecute(address,bytes) (contracts/distribution/TokenDistributor.sol#306-319):
	- (success,res) = targetAddress.delegatecall(targetCallData) (contracts/distribution/TokenDistributor.sol#314)
Low level call in LibAddress.transferEth(address,uint256) (contracts/utils/LibAddress.sol#8-17):
	- (s,r) = receiver.call{value: amount}() (contracts/utils/LibAddress.sol#13)
Low level call in LibERC20Compat.compatTransfer(IERC20,address,uint256) (contracts/utils/LibERC20Compat.sol#12-31):
	- (s,r) = address(token).call(abi.encodeCall(IERC20.transfer,(to,amount))) (contracts/utils/LibERC20Compat.sol#15-16)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#low-level-calls

Variable TokenDistributor.GLOBALS (contracts/distribution/TokenDistributor.sol#60) is not in mixedCase
Variable TokenDistributor.EMERGENCY_DISABLED_TIMESTAMP (contracts/distribution/TokenDistributor.sol#62) is not in mixedCase
Variable Implementation.IMPL (contracts/utils/Implementation.sol#9) is not in mixedCase
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions
. analyzed (11 contracts with 100 detectors), 25 result(s) found

Metadata

{
    "solc": {
        "status": "ok",
        "use_rc": 0,
        "version": "0.8.17",
        "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.17",
        "install_stderr": null,
        "install_stdout": "Version '0.8.17' is already installed, skipping..."
    },
    "solc_args": "--base-path /tmp/slither-nr29sz8r --allow-paths /tmp/slither-nr29sz8r,/tmp/slither-nr29sz8r/lib,/tmp/slither-nr29sz8r/src",
    "remappings": [
        "ds-test/=lib/solmate/lib/ds-test/src/",
        "forge-std/=lib/forge-std/src/",
        "openzeppelin/=lib/openzeppelin-contracts/",
        "solmate/=lib/solmate/src/"
    ],
    "source_files": [
        "contracts/distribution/ITokenDistributor.sol",
        "contracts/distribution/ITokenDistributorParty.sol",
        "contracts/distribution/TokenDistributor.sol",
        "contracts/globals/IGlobals.sol",
        "contracts/globals/LibGlobals.sol",
        "contracts/tokens/IERC20.sol",
        "contracts/utils/Implementation.sol",
        "contracts/utils/LibAddress.sol",
        "contracts/utils/LibERC20Compat.sol",
        "contracts/utils/LibRawResult.sol",
        "contracts/utils/LibSafeCast.sol"
    ],
    "contract_count": 0,
    "contract_names": [],
    "detector_count": 25,
    "workspace_hash": "e710ccdb887b3d27a55bf67ae3b86a8aba7b7a31b8572bbc9897d7ccae8e9036",
    "duration_seconds": 1.0040442943572998,
    "solc_version_requested": "0.8.17"
}

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

1

No findings?

no

Summary

One access-control/accounting issue allows anyone to create distributions from unaccounted token balances, enabling front‑running theft of deposits if not created in the same transaction.

View stdout

{"no_findings":false,"summary":"One access-control/accounting issue allows anyone to create distributions from unaccounted token balances, enabling front‑running theft of deposits if not created in the same transaction.","findings":[{"severity":"medium","category":"access_control","title":"Anyone can create a distribution for any party using global unaccounted balances, enabling front‑running theft of deposits","exploit_scenario":"Alice transfers ERC20 tokens to `TokenDistributor` intending to distribute to Party A, but does not call `createErc20Distribution` in the same transaction (or uses a separate tx). Before Alice’s call, an attacker calls `createErc20Distribution` for Party B. Because `_createDistribution` uses `currentTokenBalance - _storedBalances[balanceId]` without tying the new balance to the caller or party, the attacker’s distribution captures Alice’s deposited tokens. The attacker (or their party members) can then claim the funds.","recommendation":"Bind distribution creation to an authorized party/caller (e.g., only the party contract or DAO), or require the creator to specify and transfer in the exact distribution amount via `transferFrom` in the same call. Alternatively, track balances per party or require a signed authorization from the party before creating a distribution from the global balance delta.","evidence":"`createNativeDistribution` and `createErc20Distribution` are externally callable by anyone and `_createDistribution` computes supply from the global balance delta for the token, not per party or caller.","locations":["contracts/distribution/TokenDistributor.sol"]}]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-76lbzmqc
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0f3b-a982-7042-b620-9bdd565e664d
--------
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
exec
/bin/bash -lc ls in /tmp/codex-76lbzmqc succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-76lbzmqc succeeded in 5ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: contracts/distribution/ITokenDistributor.sol
================================================================================
// SPDX-License-Identifier: GPL-3.0
pragma solidity 0.8.17;

import "../tokens/IERC20.sol";

import "./ITokenDistributorParty.sol";

/// @notice Creates token distributions for parties.
interface ITokenDistributor {
    enum TokenType {
        Native,
        Erc20
    }

codex
{"no_findings":false,"summary":"One access-control/accounting issue allows anyone to create distributions from unaccounted token balances, enabling front‑running theft of deposits if not created in the same transaction.","findings":[{"severity":"medium","category":"access_control","title":"Anyone can create a distribution for any party using global unaccounted balances, enabling front‑running theft of deposits","exploit_scenario":"Alice transfers ERC20 tokens to `TokenDistributor` intending to distribute to Party A, but does not call `createErc20Distribution` in the same transaction (or uses a separate tx). Before Alice’s call, an attacker calls `createErc20Distribution` for Party B. Because `_createDistribution` uses `currentTokenBalance - _storedBalances[balanceId]` without tying the new balance to the caller or party, the attacker’s distribution captures Alice’s deposited tokens. The attacker (or their party members) can then claim the funds.","recommendation":"Bind distribution creation to an authorized party/caller (e.g., only the party contract or DAO), or require the creator to specify and transfer in the exact distribution amount via `transferFrom` in the same call. Alternatively, track balances per party or require a signed authorization from the party before creating a distribution from the global balance delta.","evidence":"`createNativeDistribution` and `createErc20Distribution` are externally callable by anyone and `_createDistribution` computes supply from the global balance delta for the token, not per party or caller.","locations":["contracts/distribution/TokenDistributor.sol"]}]}
tokens used
16,919

Metadata

{
    "codex": {
        "ran_at": "2026-01-30T14:10:32.231031+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 11,
        "import_count": 10,
        "first_party_contracts_count": 11
    },
    "summary": "One access-control/accounting issue allows anyone to create distributions from unaccounted token balances, enabling front\u2011running theft of deposits if not created in the same transaction.",
    "raw_final": {
        "summary": "One access-control/accounting issue allows anyone to create distributions from unaccounted token balances, enabling front\u2011running theft of deposits if not created in the same transaction.",
        "findings": [
            {
                "title": "Anyone can create a distribution for any party using global unaccounted balances, enabling front\u2011running theft of deposits",
                "category": "access_control",
                "evidence": "`createNativeDistribution` and `createErc20Distribution` are externally callable by anyone and `_createDistribution` computes supply from the global balance delta for the token, not per party or caller.",
                "severity": "medium",
                "locations": [
                    "contracts/distribution/TokenDistributor.sol"
                ],
                "recommendation": "Bind distribution creation to an authorized party/caller (e.g., only the party contract or DAO), or require the creator to specify and transfer in the exact distribution amount via `transferFrom` in the same call. Alternatively, track balances per party or require a signed authorization from the party before creating a distribution from the global balance delta.",
                "exploit_scenario": "Alice transfers ERC20 tokens to `TokenDistributor` intending to distribute to Party A, but does not call `createErc20Distribution` in the same transaction (or uses a separate tx). Before Alice\u2019s call, an attacker calls `createErc20Distribution` for Party B. Because `_createDistribution` uses `currentTokenBalance - _storedBalances[balanceId]` without tying the new balance to the caller or party, the attacker\u2019s distribution captures Alice\u2019s deposited tokens. The attacker (or their party members) can then claim the funds."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

7

EXT*/BALANCE

1

Total opcodes

4875

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00dd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa73bf89e
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe3a7ef55
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe3a7ef55
0000002f: EQ
00000030: PUSH2 0x02f1
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe81140ad
0000003a: EQ
0000003b: PUSH2 0x0342
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xeedaf00d
00000045: EQ
00000046: PUSH2 0x0362
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xff7c0eea
00000050: EQ
00000051: PUSH2 0x0382
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa73bf89e
00000060: EQ
00000061: PUSH2 0x0247
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xbd717111
0000006b: EQ
0000006c: PUSH2 0x0267
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe0af030c
00000076: EQ
00000077: PUSH2 0x02a2
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x52800e82
00000086: GT
00000087: PUSH2 0x00bb
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x52800e82
00000091: EQ
00000092: PUSH2 0x019d
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x57f72496
0000009c: EQ
0000009d: PUSH2 0x01d5
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x6984c669
000000a7: EQ
000000a8: PUSH2 0x01f7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa0321a53
000000b2: EQ
000000b3: PUSH2 0x0227
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x074ae6f1
000000c2: EQ
000000c3: PUSH2 0x00e2
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x3a32e54e
000000cd: EQ
000000ce: PUSH2 0x0131
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x476f5125
000000d8: EQ
000000d9: PUSH2 0x0151
000000dc: JUMPI
000000dd: JUMPDEST
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x0116
000000f3: PUSH32 0x00000000000000000000000000000000000000000000000000000000654edef3
00000114: DUP2
00000115: JUMP
00000116: JUMPDEST
00000117: PUSH1 0x40
00000119: MLOAD
0000011a: PUSH5 0xffffffffff
00000120: SWAP1
00000121: SWAP2
00000122: AND
00000123: DUP2
00000124: MSTORE
00000125: PUSH1 0x20
00000127: ADD
00000128: JUMPDEST
00000129: PUSH1 0x40
0000012b: MLOAD
0000012c: DUP1
0000012d: SWAP2
0000012e: SUB
0000012f: SWAP1
00000130: RETURN
00000131: JUMPDEST
00000132: PUSH2 0x0144
00000135: PUSH2 0x013f
00000138: CALLDATASIZE
00000139: PUSH1 0x04
0000013b: PUSH2 0x1362
0000013e: JUMP
0000013f: JUMPDEST
00000140: PUSH2 0x03af
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH1 0x40
00000147: MLOAD
00000148: PUSH2 0x0128
0000014b: SWAP2
0000014c: SWAP1
0000014d: PUSH2 0x13e1
00000150: JUMP
00000151: JUMPDEST
00000152: CALLVALUE
00000153: DUP1
00000154: ISZERO
00000155: PUSH2 0x015d
00000158: JUMPI
00000159: PUSH1 0x00
0000015b: DUP1
0000015c: REVERT
0000015d: JUMPDEST
0000015e: POP
0000015f: PUSH2 0x0185
00000162: PUSH32 0x0000000000000000000000001ca20040ce6ad406bc2a6c89976388829e7fbade
00000183: DUP2
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH1 0x40
00000188: MLOAD
00000189: PUSH1 0x01
0000018b: PUSH1 0x01
0000018d: PUSH1 0xa0
0000018f: SHL
00000190: SUB
00000191: SWAP1
00000192: SWAP2
00000193: AND
00000194: DUP2
00000195: MSTORE
00000196: PUSH1 0x20
00000198: ADD
00000199: PUSH2 0x0128
0000019c: JUMP
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: PUSH2 0x01bd
000001ae: PUSH2 0x01b8
000001b1: CALLDATASIZE
000001b2: PUSH1 0x04
000001b4: PUSH2 0x146d
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH2 0x0421
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: PUSH1 0x01
000001c3: PUSH1 0x01
000001c5: PUSH1 0x80
000001c7: SHL
000001c8: SUB
000001c9: SWAP1
000001ca: SWAP2
000001cb: AND
000001cc: DUP2
000001cd: MSTORE
000001ce: PUSH1 0x20
000001d0: ADD
000001d1: PUSH2 0x0128
000001d4: JUMP
000001d5: JUMPDEST
000001d6: CALLVALUE
000001d7: DUP1
000001d8: ISZERO
000001d9: PUSH2 0x01e1
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: POP
000001e3: PUSH2 0x01f5
000001e6: PUSH2 0x01f0
000001e9: CALLDATASIZE
000001ea: PUSH1 0x04
000001ec: PUSH2 0x152a
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH2 0x06f0
000001f4: JUMP
000001f5: JUMPDEST
000001f6: STOP
000001f7: JUMPDEST
000001f8: CALLVALUE
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0203
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: POP
00000205: PUSH2 0x0217
00000208: PUSH2 0x0212
0000020b: CALLDATASIZE
0000020c: PUSH1 0x04
0000020e: PUSH2 0x1596
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH2 0x0754
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: SWAP1
0000021c: ISZERO
0000021d: ISZERO
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH2 0x0128
00000226: JUMP
00000227: JUMPDEST
00000228: CALLVALUE
00000229: DUP1
0000022a: ISZERO
0000022b: PUSH2 0x0233
0000022e: JUMPI
0000022f: PUSH1 0x00
00000231: DUP1
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x01f5
00000238: PUSH2 0x0242
0000023b: CALLDATASIZE
0000023c: PUSH1 0x04
0000023e: PUSH2 0x15c2
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH2 0x078c
00000246: JUMP
00000247: JUMPDEST
00000248: CALLVALUE
00000249: DUP1
0000024a: ISZERO
0000024b: PUSH2 0x0253
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: POP
00000255: PUSH2 0x01f5
00000258: PUSH2 0x0262
0000025b: CALLDATASIZE
0000025c: PUSH1 0x04
0000025e: PUSH2 0x1647
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x094f
00000266: JUMP
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x0294
00000278: PUSH2 0x0282
0000027b: CALLDATASIZE
0000027c: PUSH1 0x04
0000027e: PUSH2 0x1680
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x00
00000285: PUSH1 0x20
00000287: DUP2
00000288: SWAP1
00000289: MSTORE
0000028a: SWAP1
0000028b: DUP2
0000028c: MSTORE
0000028d: PUSH1 0x40
0000028f: SWAP1
00000290: KECCAK256
00000291: SLOAD
00000292: DUP2
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: SWAP1
00000299: DUP2
0000029a: MSTORE
0000029b: PUSH1 0x20
0000029d: ADD
0000029e: PUSH2 0x0128
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x01bd
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x1596
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x01
000002c0: PUSH1 0x01
000002c2: PUSH1 0xa0
000002c4: SHL
000002c5: SUB
000002c6: SWAP2
000002c7: SWAP1
000002c8: SWAP2
000002c9: AND
000002ca: PUSH1 0x00
000002cc: SWAP1
000002cd: DUP2
000002ce: MSTORE
000002cf: PUSH1 0x02
000002d1: PUSH1 0x20
000002d3: SWAP1
000002d4: DUP2
000002d5: MSTORE
000002d6: PUSH1 0x40
000002d8: DUP1
000002d9: DUP4
000002da: KECCAK256
000002db: SWAP4
000002dc: DUP4
000002dd: MSTORE
000002de: SWAP3
000002df: SWAP1
000002e0: MSTORE
000002e1: KECCAK256
000002e2: PUSH1 0x01
000002e4: ADD
000002e5: SLOAD
000002e6: PUSH1 0x01
000002e8: PUSH1 0x01
000002ea: PUSH1 0x80
000002ec: SHL
000002ed: SUB
000002ee: AND
000002ef: SWAP1
000002f0: JUMP
000002f1: JUMPDEST
000002f2: CALLVALUE
000002f3: DUP1
000002f4: ISZERO
000002f5: PUSH2 0x02fd
000002f8: JUMPI
000002f9: PUSH1 0x00
000002fb: DUP1
000002fc: REVERT
000002fd: JUMPDEST
000002fe: POP
000002ff: PUSH2 0x0217
00000302: PUSH2 0x030c
00000305: CALLDATASIZE
00000306: PUSH1 0x04
00000308: PUSH2 0x16a4
0000030b: JUMP
0000030c: JUMPDEST
0000030d: PUSH1 0x01
0000030f: PUSH1 0x01
00000311: PUSH1 0xa0
00000313: SHL
00000314: SUB
00000315: SWAP3
00000316: SWAP1
00000317: SWAP3
00000318: AND
00000319: PUSH1 0x00
0000031b: SWAP1
0000031c: DUP2
0000031d: MSTORE
0000031e: PUSH1 0x02
00000320: PUSH1 0x20
00000322: DUP2
00000323: DUP2
00000324: MSTORE
00000325: PUSH1 0x40
00000327: DUP1
00000328: DUP5
00000329: KECCAK256
0000032a: SWAP6
0000032b: DUP5
0000032c: MSTORE
0000032d: SWAP5
0000032e: DUP2
0000032f: MSTORE
00000330: DUP5
00000331: DUP4
00000332: KECCAK256
00000333: SWAP4
00000334: DUP4
00000335: MSTORE
00000336: SWAP3
00000337: ADD
00000338: SWAP1
00000339: SWAP2
0000033a: MSTORE
0000033b: KECCAK256
0000033c: SLOAD
0000033d: PUSH1 0xff
0000033f: AND
00000340: SWAP1
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 0x01bd
00000353: PUSH2 0x035d
00000356: CALLDATASIZE
00000357: PUSH1 0x04
00000359: PUSH2 0x16a4
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x0b42
00000361: JUMP
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: POP
00000370: PUSH2 0x0144
00000373: PUSH2 0x037d
00000376: CALLDATASIZE
00000377: PUSH1 0x04
00000379: PUSH2 0x16d9
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH2 0x0beb
00000381: JUMP
00000382: JUMPDEST
00000383: CALLVALUE
00000384: DUP1
00000385: ISZERO
00000386: PUSH2 0x038e
00000389: JUMPI
0000038a: PUSH1 0x00
0000038c: DUP1
0000038d: REVERT
0000038e: JUMPDEST
0000038f: POP
00000390: PUSH2 0x03a2
00000393: PUSH2 0x039d
00000396: CALLDATASIZE
00000397: PUSH1 0x04
00000399: PUSH2 0x152a
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH2 0x0ca8
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: PUSH2 0x0128
000003a9: SWAP2
000003aa: SWAP1
000003ab: PUSH2 0x1733
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x03b7
000003b3: PUSH2 0x12ea
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: DUP1
000003bb: MLOAD
000003bc: PUSH1 0xc0
000003be: DUP2
000003bf: ADD
000003c0: SWAP1
000003c1: SWAP2
000003c2: MSTORE
000003c3: PUSH1 0x01
000003c5: PUSH1 0x01
000003c7: PUSH1 0xa0
000003c9: SHL
000003ca: SUB
000003cb: DUP6
000003cc: AND
000003cd: DUP2
000003ce: MSTORE
000003cf: PUSH2 0x0419
000003d2: SWAP1
000003d3: PUSH1 0x20
000003d5: DUP2
000003d6: ADD
000003d7: PUSH1 0x00
000003d9: DUP2
000003da: MSTORE
000003db: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000003f0: PUSH1 0x20
000003f2: DUP3
000003f3: ADD
000003f4: MSTORE
000003f5: SELFBALANCE
000003f6: PUSH1 0x40
000003f8: DUP3
000003f9: ADD
000003fa: MSTORE
000003fb: PUSH1 0x01
000003fd: PUSH1 0x01
000003ff: PUSH1 0xa0
00000401: SHL
00000402: SUB
00000403: DUP7
00000404: AND
00000405: PUSH1 0x60
00000407: DUP3
00000408: ADD
00000409: MSTORE
0000040a: PUSH2 0xffff
0000040d: DUP6
0000040e: AND
0000040f: PUSH1 0x80
00000411: SWAP1
00000412: SWAP2
00000413: ADD
00000414: MSTORE
00000415: PUSH2 0x0d76
00000418: JUMP
00000419: JUMPDEST
0000041a: SWAP5
0000041b: SWAP4
0000041c: POP
0000041d: POP
0000041e: POP
0000041f: POP
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x00
00000424: DUP1
00000425: PUSH2 0x0434
00000428: PUSH1 0x60
0000042a: DUP6
0000042b: ADD
0000042c: PUSH1 0x40
0000042e: DUP7
0000042f: ADD
00000430: PUSH2 0x1680
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x01
00000437: PUSH1 0x01
00000439: PUSH1 0xa0
0000043b: SHL
0000043c: SUB
0000043d: AND
0000043e: PUSH4 0x6352211e
00000443: DUP5
00000444: PUSH1 0x40
00000446: MLOAD
00000447: DUP3
00000448: PUSH4 0xffffffff
0000044d: AND
0000044e: PUSH1 0xe0
00000450: SHL
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x04
00000455: ADD
00000456: PUSH2 0x0461
00000459: SWAP2
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: ADD
0000045f: SWAP1
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH1 0x20
00000464: PUSH1 0x40
00000466: MLOAD
00000467: DUP1
00000468: DUP4
00000469: SUB
0000046a: DUP2
0000046b: DUP7
0000046c: GAS
0000046d: STATICCALL
0000046e: ISZERO
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x047e
00000474: JUMPI
00000475: RETURNDATASIZE
00000476: PUSH1 0x00
00000478: DUP1
00000479: RETURNDATACOPY
0000047a: RETURNDATASIZE
0000047b: PUSH1 0x00
0000047d: REVERT
0000047e: JUMPDEST
0000047f: POP
00000480: POP
00000481: POP
00000482: POP
00000483: PUSH1 0x40
00000485: MLOAD
00000486: RETURNDATASIZE
00000487: PUSH1 0x1f
00000489: NOT
0000048a: PUSH1 0x1f
0000048c: DUP3
0000048d: ADD
0000048e: AND
0000048f: DUP3
00000490: ADD
00000491: DUP1
00000492: PUSH1 0x40
00000494: MSTORE
00000495: POP
00000496: DUP2
00000497: ADD
00000498: SWAP1
00000499: PUSH2 0x04a2
0000049c: SWAP2
0000049d: SWAP1
0000049e: PUSH2 0x1780
000004a1: JUMP
000004a2: JUMPDEST
000004a3: SWAP1
000004a4: POP
000004a5: CALLER
000004a6: PUSH1 0x01
000004a8: PUSH1 0x01
000004aa: PUSH1 0xa0
000004ac: SHL
000004ad: SUB
000004ae: DUP3
000004af: AND
000004b0: EQ
000004b1: PUSH2 0x04ea
000004b4: JUMPI
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: PUSH4 0x2a48cd05
000004bd: PUSH1 0xe0
000004bf: SHL
000004c0: DUP2
000004c1: MSTORE
000004c2: CALLER
000004c3: PUSH1 0x04
000004c5: DUP3
000004c6: ADD
000004c7: MSTORE
000004c8: PUSH1 0x01
000004ca: PUSH1 0x01
000004cc: PUSH1 0xa0
000004ce: SHL
000004cf: SUB
000004d0: DUP3
000004d1: AND
000004d2: PUSH1 0x24
000004d4: DUP3
000004d5: ADD
000004d6: MSTORE
000004d7: PUSH1 0x44
000004d9: DUP2
000004da: ADD
000004db: DUP5
000004dc: SWAP1
000004dd: MSTORE
000004de: PUSH1 0x64
000004e0: ADD
000004e1: JUMPDEST
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: DUP1
000004e6: SWAP2
000004e7: SUB
000004e8: SWAP1
000004e9: REVERT
000004ea: JUMPDEST
000004eb: POP
000004ec: PUSH1 0x00
000004ee: PUSH1 0x02
000004f0: DUP2
000004f1: PUSH2 0x0500
000004f4: PUSH1 0x60
000004f6: DUP8
000004f7: ADD
000004f8: PUSH1 0x40
000004fa: DUP9
000004fb: ADD
000004fc: PUSH2 0x1680
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x01
00000503: PUSH1 0x01
00000505: PUSH1 0xa0
00000507: SHL
00000508: SUB
00000509: AND
0000050a: DUP2
0000050b: MSTORE
0000050c: PUSH1 0x20
0000050e: DUP1
0000050f: DUP3
00000510: ADD
00000511: SWAP3
00000512: SWAP1
00000513: SWAP3
00000514: MSTORE
00000515: PUSH1 0x40
00000517: SWAP1
00000518: DUP2
00000519: ADD
0000051a: PUSH1 0x00
0000051c: SWAP1
0000051d: DUP2
0000051e: KECCAK256
0000051f: DUP8
00000520: DUP5
00000521: ADD
00000522: CALLDATALOAD
00000523: DUP3
00000524: MSTORE
00000525: SWAP1
00000526: SWAP3
00000527: MSTORE
00000528: SWAP1
00000529: KECCAK256
0000052a: SWAP1
0000052b: POP
0000052c: PUSH2 0x0544
0000052f: PUSH2 0x053d
00000532: CALLDATASIZE
00000533: DUP7
00000534: SWAP1
00000535: SUB
00000536: DUP7
00000537: ADD
00000538: DUP7
00000539: PUSH2 0x17d9
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH1 0xe0
00000540: SWAP1
00000541: KECCAK256
00000542: SWAP1
00000543: JUMP
00000544: JUMPDEST
00000545: DUP2
00000546: SLOAD
00000547: EQ
00000548: PUSH2 0x0566
0000054b: JUMPI
0000054c: DUP4
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: PUSH4 0x5b367183
00000555: PUSH1 0xe1
00000557: SHL
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x04
0000055c: ADD
0000055d: PUSH2 0x04e1
00000560: SWAP2
00000561: SWAP1
00000562: PUSH2 0x1890
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x00
00000569: DUP4
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x02
0000056e: DUP3
0000056f: ADD
00000570: PUSH1 0x20
00000572: MSTORE
00000573: PUSH1 0x40
00000575: SWAP1
00000576: KECCAK256
00000577: SLOAD
00000578: PUSH1 0xff
0000057a: AND
0000057b: ISZERO
0000057c: PUSH2 0x05a5
0000057f: JUMPI
00000580: PUSH1 0x40
00000582: MLOAD
00000583: PUSH4 0x671e4309
00000588: PUSH1 0xe0
0000058a: SHL
0000058b: DUP2
0000058c: MSTORE
0000058d: PUSH1 0x20
0000058f: DUP6
00000590: ADD
00000591: CALLDATALOAD
00000592: PUSH1 0x04
00000594: DUP3
00000595: ADD
00000596: MSTORE
00000597: PUSH1 0x24
00000599: DUP2
0000059a: ADD
0000059b: DUP5
0000059c: SWAP1
0000059d: MSTORE
0000059e: PUSH1 0x44
000005a0: ADD
000005a1: PUSH2 0x04e1
000005a4: JUMP
000005a5: JUMPDEST
000005a6: PUSH1 0x00
000005a8: DUP4
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x02
000005ad: DUP3
000005ae: ADD
000005af: PUSH1 0x20
000005b1: MSTORE
000005b2: PUSH1 0x40
000005b4: SWAP1
000005b5: DUP2
000005b6: SWAP1
000005b7: KECCAK256
000005b8: DUP1
000005b9: SLOAD
000005ba: PUSH1 0xff
000005bc: NOT
000005bd: AND
000005be: PUSH1 0x01
000005c0: OR
000005c1: SWAP1
000005c2: SSTORE
000005c3: PUSH2 0x05f5
000005c6: SWAP1
000005c7: PUSH2 0x05d6
000005ca: SWAP1
000005cb: PUSH1 0x60
000005cd: DUP8
000005ce: ADD
000005cf: SWAP1
000005d0: DUP8
000005d1: ADD
000005d2: PUSH2 0x1680
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH2 0x05e6
000005da: PUSH1 0xc0
000005dc: DUP8
000005dd: ADD
000005de: PUSH1 0xa0
000005e0: DUP9
000005e1: ADD
000005e2: PUSH2 0x1931
000005e5: JUMP
000005e6: JUMPDEST
000005e7: PUSH1 0x01
000005e9: PUSH1 0x01
000005eb: PUSH1 0x80
000005ed: SHL
000005ee: SUB
000005ef: AND
000005f0: DUP6
000005f1: PUSH2 0x0b42
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x01
000005f8: DUP3
000005f9: ADD
000005fa: SLOAD
000005fb: SWAP1
000005fc: SWAP3
000005fd: POP
000005fe: PUSH1 0x01
00000600: PUSH1 0x01
00000602: PUSH1 0x80
00000604: SHL
00000605: SUB
00000606: SWAP1
00000607: DUP2
00000608: AND
00000609: SWAP1
0000060a: DUP4
0000060b: AND
0000060c: DUP2
0000060d: LT
0000060e: PUSH2 0x0617
00000611: JUMPI
00000612: DUP3
00000613: PUSH2 0x0619
00000616: JUMP
00000617: JUMPDEST
00000618: DUP1
00000619: JUMPDEST
0000061a: SWAP3
0000061b: POP
0000061c: PUSH2 0x0625
0000061f: DUP4
00000620: DUP3
00000621: PUSH2 0x1962
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x01
00000628: DUP4
00000629: ADD
0000062a: DUP1
0000062b: SLOAD
0000062c: PUSH1 0x01
0000062e: PUSH1 0x01
00000630: PUSH1 0x80
00000632: SHL
00000633: SUB
00000634: NOT
00000635: AND
00000636: PUSH1 0x01
00000638: PUSH1 0x01
0000063a: PUSH1 0x80
0000063c: SHL
0000063d: SUB
0000063e: SWAP3
0000063f: SWAP1
00000640: SWAP3
00000641: AND
00000642: SWAP2
00000643: SWAP1
00000644: SWAP2
00000645: OR
00000646: SWAP1
00000647: SSTORE
00000648: PUSH2 0x0677
0000064b: PUSH2 0x0657
0000064e: PUSH1 0x20
00000650: DUP8
00000651: ADD
00000652: DUP8
00000653: PUSH2 0x1989
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH2 0x0667
0000065b: PUSH1 0xa0
0000065d: DUP9
0000065e: ADD
0000065f: PUSH1 0x80
00000661: DUP10
00000662: ADD
00000663: PUSH2 0x1680
00000666: JUMP
00000667: JUMPDEST
00000668: CALLER
00000669: DUP7
0000066a: PUSH1 0x01
0000066c: PUSH1 0x01
0000066e: PUSH1 0x80
00000670: SHL
00000671: SUB
00000672: AND
00000673: PUSH2 0x0fcc
00000676: JUMP
00000677: JUMPDEST
00000678: CALLER
00000679: DUP5
0000067a: PUSH2 0x0689
0000067d: PUSH1 0x60
0000067f: DUP9
00000680: ADD
00000681: PUSH1 0x40
00000683: DUP10
00000684: ADD
00000685: PUSH2 0x1680
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x01
0000068c: PUSH1 0x01
0000068e: PUSH1 0xa0
00000690: SHL
00000691: SUB
00000692: AND
00000693: PUSH32 0x1ef0986161a82a71426dec04dd3ef55fbf8e44e3cfebccb087acb2f97839c05d
000006b4: PUSH2 0x06c0
000006b7: PUSH1 0x20
000006b9: DUP11
000006ba: ADD
000006bb: DUP11
000006bc: PUSH2 0x1989
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH2 0x06d0
000006c4: PUSH1 0xa0
000006c6: DUP12
000006c7: ADD
000006c8: PUSH1 0x80
000006ca: DUP13
000006cb: ADD
000006cc: PUSH2 0x1680
000006cf: JUMP
000006d0: JUMPDEST
000006d1: DUP9
000006d2: PUSH1 0x40
000006d4: MLOAD
000006d5: PUSH2 0x06e0
000006d8: SWAP4
000006d9: SWAP3
000006da: SWAP2
000006db: SWAP1
000006dc: PUSH2 0x19a4
000006df: JUMP
000006e0: JUMPDEST
000006e1: PUSH1 0x40
000006e3: MLOAD
000006e4: DUP1
000006e5: SWAP2
000006e6: SUB
000006e7: SWAP1
000006e8: LOG4
000006e9: POP
000006ea: POP
000006eb: SWAP3
000006ec: SWAP2
000006ed: POP
000006ee: POP
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH1 0x00
000006f3: JUMPDEST
000006f4: DUP4
000006f5: DUP2
000006f6: LT
000006f7: ISZERO
000006f8: PUSH2 0x074d
000006fb: JUMPI
000006fc: PUSH2 0x073d
000006ff: DUP6
00000700: DUP6
00000701: DUP4
00000702: DUP2
00000703: DUP2
00000704: LT
00000705: PUSH2 0x0710
00000708: JUMPI
00000709: PUSH2 0x0710
0000070c: PUSH2 0x19da
0000070f: JUMP
00000710: JUMPDEST
00000711: SWAP1
00000712: POP
00000713: PUSH1 0xe0
00000715: MUL
00000716: ADD
00000717: DUP5
00000718: DUP5
00000719: DUP5
0000071a: DUP2
0000071b: DUP2
0000071c: LT
0000071d: PUSH2 0x0728
00000720: JUMPI
00000721: PUSH2 0x0728
00000724: PUSH2 0x19da
00000727: JUMP
00000728: JUMPDEST
00000729: SWAP1
0000072a: POP
0000072b: PUSH1 0x20
0000072d: MUL
0000072e: ADD
0000072f: PUSH1 0x20
00000731: DUP2
00000732: ADD
00000733: SWAP1
00000734: PUSH2 0x0262
00000737: SWAP2
00000738: SWAP1
00000739: PUSH2 0x1680
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH2 0x0746
00000741: DUP2
00000742: PUSH2 0x19f0
00000745: JUMP
00000746: JUMPDEST
00000747: SWAP1
00000748: POP
00000749: PUSH2 0x06f3
0000074c: JUMP
0000074d: JUMPDEST
0000074e: POP
0000074f: POP
00000750: POP
00000751: POP
00000752: POP
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH1 0x01
00000757: PUSH1 0x01
00000759: PUSH1 0xa0
0000075b: SHL
0000075c: SUB
0000075d: DUP3
0000075e: AND
0000075f: PUSH1 0x00
00000761: SWAP1
00000762: DUP2
00000763: MSTORE
00000764: PUSH1 0x02
00000766: PUSH1 0x20
00000768: SWAP1
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x40
0000076d: DUP1
0000076e: DUP4
0000076f: KECCAK256
00000770: DUP5
00000771: DUP5
00000772: MSTORE
00000773: SWAP1
00000774: SWAP2
00000775: MSTORE
00000776: SWAP1
00000777: KECCAK256
00000778: PUSH1 0x01
0000077a: ADD
0000077b: SLOAD
0000077c: PUSH1 0x01
0000077e: PUSH1 0x80
00000780: SHL
00000781: SWAP1
00000782: DIV
00000783: PUSH1 0xff
00000785: AND
00000786: JUMPDEST
00000787: SWAP3
00000788: SWAP2
00000789: POP
0000078a: POP
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: PUSH4 0x5c9fcd85
00000795: PUSH1 0xe1
00000797: SHL
00000798: DUP2
00000799: MSTORE
0000079a: PUSH1 0x0b
0000079c: PUSH1 0x04
0000079e: DUP3
0000079f: ADD
000007a0: MSTORE
000007a1: PUSH1 0x00
000007a3: SWAP1
000007a4: PUSH32 0x0000000000000000000000001ca20040ce6ad406bc2a6c89976388829e7fbade
000007c5: PUSH1 0x01
000007c7: PUSH1 0x01
000007c9: PUSH1 0xa0
000007cb: SHL
000007cc: SUB
000007cd: AND
000007ce: SWAP1
000007cf: PUSH4 0xb93f9b0a
000007d4: SWAP1
000007d5: PUSH1 0x24
000007d7: ADD
000007d8: PUSH1 0x20
000007da: PUSH1 0x40
000007dc: MLOAD
000007dd: DUP1
000007de: DUP4
000007df: SUB
000007e0: DUP2
000007e1: DUP7
000007e2: GAS
000007e3: STATICCALL
000007e4: ISZERO
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07f4
000007ea: JUMPI
000007eb: RETURNDATASIZE
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: RETURNDATACOPY
000007f0: RETURNDATASIZE
000007f1: PUSH1 0x00
000007f3: REVERT
000007f4: JUMPDEST
000007f5: POP
000007f6: POP
000007f7: POP
000007f8: POP
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: RETURNDATASIZE
000007fd: PUSH1 0x1f
000007ff: NOT
00000800: PUSH1 0x1f
00000802: DUP3
00000803: ADD
00000804: AND
00000805: DUP3
00000806: ADD
00000807: DUP1
00000808: PUSH1 0x40
0000080a: MSTORE
0000080b: POP
0000080c: DUP2
0000080d: ADD
0000080e: SWAP1
0000080f: PUSH2 0x0818
00000812: SWAP2
00000813: SWAP1
00000814: PUSH2 0x1780
00000817: JUMP
00000818: JUMPDEST
00000819: SWAP1
0000081a: POP
0000081b: CALLER
0000081c: PUSH1 0x01
0000081e: PUSH1 0x01
00000820: PUSH1 0xa0
00000822: SHL
00000823: SUB
00000824: DUP3
00000825: AND
00000826: EQ
00000827: PUSH2 0x0854
0000082a: JUMPI
0000082b: PUSH1 0x40
0000082d: MLOAD
0000082e: PUSH4 0x520b6b75
00000833: PUSH1 0xe0
00000835: SHL
00000836: DUP2
00000837: MSTORE
00000838: CALLER
00000839: PUSH1 0x04
0000083b: DUP3
0000083c: ADD
0000083d: MSTORE
0000083e: PUSH1 0x01
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: SHL
00000845: SUB
00000846: DUP3
00000847: AND
00000848: PUSH1 0x24
0000084a: DUP3
0000084b: ADD
0000084c: MSTORE
0000084d: PUSH1 0x44
0000084f: ADD
00000850: PUSH2 0x04e1
00000853: JUMP
00000854: JUMPDEST
00000855: POP
00000856: PUSH32 0x00000000000000000000000000000000000000000000000000000000654edef3
00000877: PUSH5 0xffffffffff
0000087d: AND
0000087e: TIMESTAMP
0000087f: GT
00000880: ISZERO
00000881: PUSH2 0x089d
00000884: JUMPI
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH4 0x024780c7
0000088d: PUSH1 0xe1
0000088f: SHL
00000890: DUP2
00000891: MSTORE
00000892: PUSH1 0x04
00000894: ADD
00000895: PUSH1 0x40
00000897: MLOAD
00000898: DUP1
00000899: SWAP2
0000089a: SUB
0000089b: SWAP1
0000089c: REVERT
0000089d: JUMPDEST
0000089e: PUSH1 0x00
000008a0: DUP1
000008a1: DUP5
000008a2: PUSH1 0x01
000008a4: PUSH1 0x01
000008a6: PUSH1 0xa0
000008a8: SHL
000008a9: SUB
000008aa: AND
000008ab: DUP5
000008ac: DUP5
000008ad: PUSH1 0x40
000008af: MLOAD
000008b0: PUSH2 0x08ba
000008b3: SWAP3
000008b4: SWAP2
000008b5: SWAP1
000008b6: PUSH2 0x1a09
000008b9: JUMP
000008ba: JUMPDEST
000008bb: PUSH1 0x00
000008bd: PUSH1 0x40
000008bf: MLOAD
000008c0: DUP1
000008c1: DUP4
000008c2: SUB
000008c3: DUP2
000008c4: DUP6
000008c5: GAS
000008c6: DELEGATECALL
000008c7: SWAP2
000008c8: POP
000008c9: POP
000008ca: RETURNDATASIZE
000008cb: DUP1
000008cc: PUSH1 0x00
000008ce: DUP2
000008cf: EQ
000008d0: PUSH2 0x08f5
000008d3: JUMPI
000008d4: PUSH1 0x40
000008d6: MLOAD
000008d7: SWAP2
000008d8: POP
000008d9: PUSH1 0x1f
000008db: NOT
000008dc: PUSH1 0x3f
000008de: RETURNDATASIZE
000008df: ADD
000008e0: AND
000008e1: DUP3
000008e2: ADD
000008e3: PUSH1 0x40
000008e5: MSTORE
000008e6: RETURNDATASIZE
000008e7: DUP3
000008e8: MSTORE
000008e9: RETURNDATASIZE
000008ea: PUSH1 0x00
000008ec: PUSH1 0x20
000008ee: DUP5
000008ef: ADD
000008f0: RETURNDATACOPY
000008f1: PUSH2 0x08fa
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x60
000008f8: SWAP2
000008f9: POP
000008fa: JUMPDEST
000008fb: POP
000008fc: SWAP2
000008fd: POP
000008fe: SWAP2
000008ff: POP
00000900: DUP2
00000901: PUSH2 0x090d
00000904: JUMPI
00000905: PUSH2 0x090d
00000908: DUP2
00000909: PUSH2 0x1086
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH32 0x14558cdd2442ce65f94cbb821f6ab6b96098fb84a9b0e73fb770ecf12402823c
0000092f: DUP6
00000930: DUP6
00000931: DUP6
00000932: PUSH1 0x40
00000934: MLOAD
00000935: PUSH2 0x0940
00000938: SWAP4
00000939: SWAP3
0000093a: SWAP2
0000093b: SWAP1
0000093c: PUSH2 0x1a19
0000093f: JUMP
00000940: JUMPDEST
00000941: PUSH1 0x40
00000943: MLOAD
00000944: DUP1
00000945: SWAP2
00000946: SUB
00000947: SWAP1
00000948: LOG1
00000949: POP
0000094a: POP
0000094b: POP
0000094c: POP
0000094d: POP
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH1 0x00
00000952: PUSH1 0x02
00000954: DUP2
00000955: PUSH2 0x0964
00000958: PUSH1 0x60
0000095a: DUP7
0000095b: ADD
0000095c: PUSH1 0x40
0000095e: DUP8
0000095f: ADD
00000960: PUSH2 0x1680
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x01
00000967: PUSH1 0x01
00000969: PUSH1 0xa0
0000096b: SHL
0000096c: SUB
0000096d: AND
0000096e: DUP2
0000096f: MSTORE
00000970: PUSH1 0x20
00000972: DUP1
00000973: DUP3
00000974: ADD
00000975: SWAP3
00000976: SWAP1
00000977: SWAP3
00000978: MSTORE
00000979: PUSH1 0x40
0000097b: SWAP1
0000097c: DUP2
0000097d: ADD
0000097e: PUSH1 0x00
00000980: SWAP1
00000981: DUP2
00000982: KECCAK256
00000983: DUP7
00000984: DUP5
00000985: ADD
00000986: CALLDATALOAD
00000987: DUP3
00000988: MSTORE
00000989: SWAP1
0000098a: SWAP3
0000098b: MSTORE
0000098c: SWAP1
0000098d: KECCAK256
0000098e: SWAP1
0000098f: POP
00000990: PUSH2 0x09a1
00000993: PUSH2 0x053d
00000996: CALLDATASIZE
00000997: DUP6
00000998: SWAP1
00000999: SUB
0000099a: DUP6
0000099b: ADD
0000099c: DUP6
0000099d: PUSH2 0x17d9
000009a0: JUMP
000009a1: JUMPDEST
000009a2: DUP2
000009a3: SLOAD
000009a4: EQ
000009a5: PUSH2 0x09c3
000009a8: JUMPI
000009a9: DUP3
000009aa: PUSH1 0x40
000009ac: MLOAD
000009ad: PUSH4 0x5b367183
000009b2: PUSH1 0xe1
000009b4: SHL
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x04
000009b9: ADD
000009ba: PUSH2 0x04e1
000009bd: SWAP2
000009be: SWAP1
000009bf: PUSH2 0x1890
000009c2: JUMP
000009c3: JUMPDEST
000009c4: CALLER
000009c5: PUSH2 0x09d4
000009c8: PUSH1 0x80
000009ca: DUP6
000009cb: ADD
000009cc: PUSH1 0x60
000009ce: DUP7
000009cf: ADD
000009d0: PUSH2 0x1680
000009d3: JUMP
000009d4: JUMPDEST
000009d5: PUSH1 0x01
000009d7: PUSH1 0x01
000009d9: PUSH1 0xa0
000009db: SHL
000009dc: SUB
000009dd: AND
000009de: EQ
000009df: PUSH2 0x0a1f
000009e2: JUMPI
000009e3: CALLER
000009e4: PUSH2 0x09f3
000009e7: PUSH1 0x80
000009e9: DUP6
000009ea: ADD
000009eb: PUSH1 0x60
000009ed: DUP7
000009ee: ADD
000009ef: PUSH2 0x1680
000009f2: JUMP
000009f3: JUMPDEST
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: PUSH4 0x16fcee07
000009fc: PUSH1 0xe3
000009fe: SHL
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x01
00000a03: PUSH1 0x01
00000a05: PUSH1 0xa0
00000a07: SHL
00000a08: SUB
00000a09: SWAP3
00000a0a: DUP4
00000a0b: AND
00000a0c: PUSH1 0x04
00000a0e: DUP3
00000a0f: ADD
00000a10: MSTORE
00000a11: SWAP2
00000a12: AND
00000a13: PUSH1 0x24
00000a15: DUP3
00000a16: ADD
00000a17: MSTORE
00000a18: PUSH1 0x44
00000a1a: ADD
00000a1b: PUSH2 0x04e1
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x01
00000a22: DUP2
00000a23: ADD
00000a24: SLOAD
00000a25: PUSH1 0x01
00000a27: PUSH1 0x80
00000a29: SHL
00000a2a: SWAP1
00000a2b: DIV
00000a2c: PUSH1 0xff
00000a2e: AND
00000a2f: ISZERO
00000a30: PUSH2 0x0a52
00000a33: JUMPI
00000a34: PUSH1 0x40
00000a36: MLOAD
00000a37: PUSH4 0x08a63473
00000a3c: PUSH1 0xe1
00000a3e: SHL
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x20
00000a43: DUP5
00000a44: ADD
00000a45: CALLDATALOAD
00000a46: PUSH1 0x04
00000a48: DUP3
00000a49: ADD
00000a4a: MSTORE
00000a4b: PUSH1 0x24
00000a4d: ADD
00000a4e: PUSH2 0x04e1
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH1 0x01
00000a55: DUP2
00000a56: ADD
00000a57: DUP1
00000a58: SLOAD
00000a59: PUSH1 0xff
00000a5b: PUSH1 0x80
00000a5d: SHL
00000a5e: NOT
00000a5f: AND
00000a60: PUSH1 0x01
00000a62: PUSH1 0x80
00000a64: SHL
00000a65: OR
00000a66: SWAP1
00000a67: SSTORE
00000a68: PUSH2 0x0aa6
00000a6b: PUSH2 0x0a77
00000a6e: PUSH1 0x20
00000a70: DUP6
00000a71: ADD
00000a72: DUP6
00000a73: PUSH2 0x1989
00000a76: JUMP
00000a77: JUMPDEST
00000a78: PUSH2 0x0a87
00000a7b: PUSH1 0xa0
00000a7d: DUP7
00000a7e: ADD
00000a7f: PUSH1 0x80
00000a81: DUP8
00000a82: ADD
00000a83: PUSH2 0x1680
00000a86: JUMP
00000a87: JUMPDEST
00000a88: DUP5
00000a89: PUSH2 0x0a98
00000a8c: PUSH1 0xe0
00000a8e: DUP9
00000a8f: ADD
00000a90: PUSH1 0xc0
00000a92: DUP10
00000a93: ADD
00000a94: PUSH2 0x1931
00000a97: JUMP
00000a98: JUMPDEST
00000a99: PUSH1 0x01
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x80
00000a9f: SHL
00000aa0: SUB
00000aa1: AND
00000aa2: PUSH2 0x0fcc
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH2 0x0ab6
00000aaa: PUSH1 0x80
00000aac: DUP5
00000aad: ADD
00000aae: PUSH1 0x60
00000ab0: DUP6
00000ab1: ADD
00000ab2: PUSH2 0x1680
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0x01
00000abb: PUSH1 0xa0
00000abd: SHL
00000abe: SUB
00000abf: AND
00000ac0: PUSH2 0x0acf
00000ac3: PUSH1 0x60
00000ac5: DUP6
00000ac6: ADD
00000ac7: PUSH1 0x40
00000ac9: DUP7
00000aca: ADD
00000acb: PUSH2 0x1680
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: SHL
00000ad7: SUB
00000ad8: AND
00000ad9: PUSH32 0x9ee811b8d470c07207b34bef36a0706a357a2e82032798c9bf96dd3d5b7f637c
00000afa: PUSH2 0x0b06
00000afd: PUSH1 0x20
00000aff: DUP8
00000b00: ADD
00000b01: DUP8
00000b02: PUSH2 0x1989
00000b05: JUMP
00000b06: JUMPDEST
00000b07: PUSH2 0x0b16
00000b0a: PUSH1 0xa0
00000b0c: DUP9
00000b0d: ADD
00000b0e: PUSH1 0x80
00000b10: DUP10
00000b11: ADD
00000b12: PUSH2 0x1680
00000b15: JUMP
00000b16: JUMPDEST
00000b17: PUSH2 0x0b26
00000b1a: PUSH1 0xe0
00000b1c: DUP10
00000b1d: ADD
00000b1e: PUSH1 0xc0
00000b20: DUP11
00000b21: ADD
00000b22: PUSH2 0x1931
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH1 0x40
00000b29: MLOAD
00000b2a: PUSH2 0x0b35
00000b2d: SWAP4
00000b2e: SWAP3
00000b2f: SWAP2
00000b30: SWAP1
00000b31: PUSH2 0x19a4
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: DUP1
00000b3a: SWAP2
00000b3b: SUB
00000b3c: SWAP1
00000b3d: LOG3
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x00
00000b45: PUSH2 0x0419
00000b48: PUSH8 0x0de0b6b3a7640000
00000b51: DUP5
00000b52: DUP7
00000b53: PUSH1 0x01
00000b55: PUSH1 0x01
00000b57: PUSH1 0xa0
00000b59: SHL
00000b5a: SUB
00000b5b: AND
00000b5c: PUSH4 0x78cfabac
00000b61: DUP7
00000b62: PUSH1 0x40
00000b64: MLOAD
00000b65: DUP3
00000b66: PUSH4 0xffffffff
00000b6b: AND
00000b6c: PUSH1 0xe0
00000b6e: SHL
00000b6f: DUP2
00000b70: MSTORE
00000b71: PUSH1 0x04
00000b73: ADD
00000b74: PUSH2 0x0b7f
00000b77: SWAP2
00000b78: DUP2
00000b79: MSTORE
00000b7a: PUSH1 0x20
00000b7c: ADD
00000b7d: SWAP1
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x20
00000b82: PUSH1 0x40
00000b84: MLOAD
00000b85: DUP1
00000b86: DUP4
00000b87: SUB
00000b88: DUP2
00000b89: DUP7
00000b8a: GAS
00000b8b: STATICCALL
00000b8c: ISZERO
00000b8d: DUP1
00000b8e: ISZERO
00000b8f: PUSH2 0x0b9c
00000b92: JUMPI
00000b93: RETURNDATASIZE
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: RETURNDATACOPY
00000b98: RETURNDATASIZE
00000b99: PUSH1 0x00
00000b9b: REVERT
00000b9c: JUMPDEST
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: PUSH1 0x40
00000ba3: MLOAD
00000ba4: RETURNDATASIZE
00000ba5: PUSH1 0x1f
00000ba7: NOT
00000ba8: PUSH1 0x1f
00000baa: DUP3
00000bab: ADD
00000bac: AND
00000bad: DUP3
00000bae: ADD
00000baf: DUP1
00000bb0: PUSH1 0x40
00000bb2: MSTORE
00000bb3: POP
00000bb4: DUP2
00000bb5: ADD
00000bb6: SWAP1
00000bb7: PUSH2 0x0bc0
00000bba: SWAP2
00000bbb: SWAP1
00000bbc: PUSH2 0x1a59
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH2 0x0bca
00000bc4: SWAP2
00000bc5: SWAP1
00000bc6: PUSH2 0x1a72
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH2 0x0bdc
00000bce: SWAP1
00000bcf: PUSH8 0x0de0b6b3a763ffff
00000bd8: PUSH2 0x1a89
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH2 0x0be6
00000be0: SWAP2
00000be1: SWAP1
00000be2: PUSH2 0x1ab2
00000be5: JUMP
00000be6: JUMPDEST
00000be7: PUSH2 0x108e
00000bea: JUMP
00000beb: JUMPDEST
00000bec: PUSH2 0x0bf3
00000bef: PUSH2 0x12ea
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x40
00000bf6: DUP1
00000bf7: MLOAD
00000bf8: PUSH1 0xc0
00000bfa: DUP2
00000bfb: ADD
00000bfc: DUP3
00000bfd: MSTORE
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x01
00000c02: PUSH1 0xa0
00000c04: SHL
00000c05: SUB
00000c06: DUP7
00000c07: DUP2
00000c08: AND
00000c09: DUP3
00000c0a: MSTORE
00000c0b: PUSH1 0x01
00000c0d: PUSH1 0x20
00000c0f: DUP4
00000c10: ADD
00000c11: MSTORE
00000c12: DUP8
00000c13: AND
00000c14: DUP2
00000c15: DUP4
00000c16: ADD
00000c17: DUP2
00000c18: SWAP1
00000c19: MSTORE
00000c1a: SWAP2
00000c1b: MLOAD
00000c1c: PUSH4 0x70a08231
00000c21: PUSH1 0xe0
00000c23: SHL
00000c24: DUP2
00000c25: MSTORE
00000c26: ADDRESS
00000c27: PUSH1 0x04
00000c29: DUP3
00000c2a: ADD
00000c2b: MSTORE
00000c2c: PUSH2 0x0c9f
00000c2f: SWAP3
00000c30: PUSH1 0x60
00000c32: DUP4
00000c33: ADD
00000c34: SWAP2
00000c35: PUSH4 0x70a08231
00000c3a: SWAP1
00000c3b: PUSH1 0x24
00000c3d: ADD
00000c3e: PUSH1 0x20
00000c40: PUSH1 0x40
00000c42: MLOAD
00000c43: DUP1
00000c44: DUP4
00000c45: SUB
00000c46: DUP2
00000c47: DUP7
00000c48: GAS
00000c49: STATICCALL
00000c4a: ISZERO
00000c4b: DUP1
00000c4c: ISZERO
00000c4d: PUSH2 0x0c5a
00000c50: JUMPI
00000c51: RETURNDATASIZE
00000c52: PUSH1 0x00
00000c54: DUP1
00000c55: RETURNDATACOPY
00000c56: RETURNDATASIZE
00000c57: PUSH1 0x00
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: RETURNDATASIZE
00000c63: PUSH1 0x1f
00000c65: NOT
00000c66: PUSH1 0x1f
00000c68: DUP3
00000c69: ADD
00000c6a: AND
00000c6b: DUP3
00000c6c: ADD
00000c6d: DUP1
00000c6e: PUSH1 0x40
00000c70: MSTORE
00000c71: POP
00000c72: DUP2
00000c73: ADD
00000c74: SWAP1
00000c75: PUSH2 0x0c7e
00000c78: SWAP2
00000c79: SWAP1
00000c7a: PUSH2 0x1a59
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: DUP2
00000c80: MSTORE
00000c81: PUSH1 0x20
00000c83: ADD
00000c84: DUP6
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: AND
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x20
00000c92: ADD
00000c93: DUP5
00000c94: PUSH2 0xffff
00000c97: AND
00000c98: DUP2
00000c99: MSTORE
00000c9a: POP
00000c9b: PUSH2 0x0d76
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: SWAP6
00000ca1: SWAP5
00000ca2: POP
00000ca3: POP
00000ca4: POP
00000ca5: POP
00000ca6: POP
00000ca7: JUMP
00000ca8: JUMPDEST
00000ca9: PUSH1 0x60
00000cab: DUP4
00000cac: PUSH8 0xffffffffffffffff
00000cb5: DUP2
00000cb6: GT
00000cb7: ISZERO
00000cb8: PUSH2 0x0cc3
00000cbb: JUMPI
00000cbc: PUSH2 0x0cc3
00000cbf: PUSH2 0x179d
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH1 0x40
00000cc6: MLOAD
00000cc7: SWAP1
00000cc8: DUP1
00000cc9: DUP3
00000cca: MSTORE
00000ccb: DUP1
00000ccc: PUSH1 0x20
00000cce: MUL
00000ccf: PUSH1 0x20
00000cd1: ADD
00000cd2: DUP3
00000cd3: ADD
00000cd4: PUSH1 0x40
00000cd6: MSTORE
00000cd7: DUP1
00000cd8: ISZERO
00000cd9: PUSH2 0x0cec
00000cdc: JUMPI
00000cdd: DUP2
00000cde: PUSH1 0x20
00000ce0: ADD
00000ce1: PUSH1 0x20
00000ce3: DUP3
00000ce4: MUL
00000ce5: DUP1
00000ce6: CALLDATASIZE
00000ce7: DUP4
00000ce8: CALLDATACOPY
00000ce9: ADD
00000cea: SWAP1
00000ceb: POP
00000cec: JUMPDEST
00000ced: POP
00000cee: SWAP1
00000cef: POP
00000cf0: PUSH1 0x00
00000cf2: JUMPDEST
00000cf3: DUP5
00000cf4: DUP2
00000cf5: LT
00000cf6: ISZERO
00000cf7: PUSH2 0x0d6d
00000cfa: JUMPI
00000cfb: PUSH2 0x0d33
00000cfe: DUP7
00000cff: DUP7
00000d00: DUP4
00000d01: DUP2
00000d02: DUP2
00000d03: LT
00000d04: PUSH2 0x0d0f
00000d07: JUMPI
00000d08: PUSH2 0x0d0f
00000d0b: PUSH2 0x19da
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: SWAP1
00000d11: POP
00000d12: PUSH1 0xe0
00000d14: MUL
00000d15: ADD
00000d16: DUP6
00000d17: DUP6
00000d18: DUP5
00000d19: DUP2
00000d1a: DUP2
00000d1b: LT
00000d1c: PUSH2 0x0d27
00000d1f: JUMPI
00000d20: PUSH2 0x0d27
00000d23: PUSH2 0x19da
00000d26: JUMP
00000d27: JUMPDEST
00000d28: SWAP1
00000d29: POP
00000d2a: PUSH1 0x20
00000d2c: MUL
00000d2d: ADD
00000d2e: CALLDATALOAD
00000d2f: PUSH2 0x0421
00000d32: JUMP
00000d33: JUMPDEST
00000d34: DUP3
00000d35: DUP3
00000d36: DUP2
00000d37: MLOAD
00000d38: DUP2
00000d39: LT
00000d3a: PUSH2 0x0d45
00000d3d: JUMPI
00000d3e: PUSH2 0x0d45
00000d41: PUSH2 0x19da
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH1 0x01
00000d48: PUSH1 0x01
00000d4a: PUSH1 0x80
00000d4c: SHL
00000d4d: SUB
00000d4e: SWAP1
00000d4f: SWAP3
00000d50: AND
00000d51: PUSH1 0x20
00000d53: SWAP3
00000d54: DUP4
00000d55: MUL
00000d56: SWAP2
00000d57: SWAP1
00000d58: SWAP2
00000d59: ADD
00000d5a: SWAP1
00000d5b: SWAP2
00000d5c: ADD
00000d5d: MSTORE
00000d5e: PUSH2 0x0d66
00000d61: DUP2
00000d62: PUSH2 0x19f0
00000d65: JUMP
00000d66: JUMPDEST
00000d67: SWAP1
00000d68: POP
00000d69: PUSH2 0x0cf2
00000d6c: JUMP
00000d6d: JUMPDEST
00000d6e: POP
00000d6f: SWAP5
00000d70: SWAP4
00000d71: POP
00000d72: POP
00000d73: POP
00000d74: POP
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH2 0x0d7e
00000d7a: PUSH2 0x12ea
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH2 0x2710
00000d82: DUP3
00000d83: PUSH1 0xa0
00000d85: ADD
00000d86: MLOAD
00000d87: PUSH2 0xffff
00000d8a: AND
00000d8b: GT
00000d8c: ISZERO
00000d8d: PUSH2 0x0db5
00000d90: JUMPI
00000d91: PUSH1 0xa0
00000d93: DUP3
00000d94: ADD
00000d95: MLOAD
00000d96: PUSH1 0x40
00000d98: MLOAD
00000d99: PUSH4 0x1c5d6947
00000d9e: PUSH1 0xe2
00000da0: SHL
00000da1: DUP2
00000da2: MSTORE
00000da3: PUSH2 0xffff
00000da6: SWAP1
00000da7: SWAP2
00000da8: AND
00000da9: PUSH1 0x04
00000dab: DUP3
00000dac: ADD
00000dad: MSTORE
00000dae: PUSH1 0x24
00000db0: ADD
00000db1: PUSH2 0x04e1
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH1 0x00
00000db8: DUP1
00000db9: PUSH2 0x0dca
00000dbc: DUP5
00000dbd: PUSH1 0x20
00000dbf: ADD
00000dc0: MLOAD
00000dc1: DUP6
00000dc2: PUSH1 0x40
00000dc4: ADD
00000dc5: MLOAD
00000dc6: PUSH2 0x10bf
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: PUSH1 0x00
00000dcd: DUP2
00000dce: DUP2
00000dcf: MSTORE
00000dd0: PUSH1 0x01
00000dd2: PUSH1 0x20
00000dd4: MSTORE
00000dd5: PUSH1 0x40
00000dd7: SWAP1
00000dd8: KECCAK256
00000dd9: SLOAD
00000dda: PUSH1 0x60
00000ddc: DUP7
00000ddd: ADD
00000dde: MLOAD
00000ddf: SWAP2
00000de0: SWAP3
00000de1: POP
00000de2: PUSH2 0x0def
00000de5: SWAP2
00000de6: PUSH2 0x0be6
00000de9: SWAP2
00000dea: SWAP1
00000deb: PUSH2 0x1ac6
00000dee: JUMP
00000def: JUMPDEST
00000df0: SWAP2
00000df1: POP
00000df2: DUP2
00000df3: PUSH1 0x01
00000df5: PUSH1 0x01
00000df7: PUSH1 0x80
00000df9: SHL
00000dfa: SUB
00000dfb: AND
00000dfc: PUSH1 0x00
00000dfe: SUB
00000dff: PUSH2 0x0e26
00000e02: JUMPI
00000e03: PUSH1 0x40
00000e05: MLOAD
00000e06: PUSH4 0x971d978d
00000e0b: PUSH1 0xe0
00000e0d: SHL
00000e0e: DUP2
00000e0f: MSTORE
00000e10: PUSH1 0x01
00000e12: PUSH1 0x01
00000e14: PUSH1 0x80
00000e16: SHL
00000e17: SUB
00000e18: DUP4
00000e19: AND
00000e1a: PUSH1 0x04
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: PUSH1 0x24
00000e21: ADD
00000e22: PUSH2 0x04e1
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x60
00000e29: DUP5
00000e2a: ADD
00000e2b: MLOAD
00000e2c: PUSH1 0x00
00000e2e: SWAP2
00000e2f: DUP3
00000e30: MSTORE
00000e31: PUSH1 0x01
00000e33: PUSH1 0x20
00000e35: MSTORE
00000e36: PUSH1 0x40
00000e38: DUP3
00000e39: KECCAK256
00000e3a: SSTORE
00000e3b: PUSH1 0xa0
00000e3d: DUP5
00000e3e: ADD
00000e3f: MLOAD
00000e40: PUSH2 0x2710
00000e43: SWAP1
00000e44: PUSH2 0x0e51
00000e47: SWAP1
00000e48: PUSH2 0xffff
00000e4b: AND
00000e4c: DUP5
00000e4d: PUSH2 0x1ad9
00000e50: JUMP
00000e51: JUMPDEST
00000e52: PUSH2 0x0e5b
00000e55: SWAP2
00000e56: SWAP1
00000e57: PUSH2 0x1b04
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: SWAP1
00000e5d: POP
00000e5e: PUSH1 0x00
00000e60: PUSH2 0x0e69
00000e63: DUP3
00000e64: DUP5
00000e65: PUSH2 0x1962
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: SWAP1
00000e6b: POP
00000e6c: PUSH1 0x40
00000e6e: MLOAD
00000e6f: DUP1
00000e70: PUSH1 0xe0
00000e72: ADD
00000e73: PUSH1 0x40
00000e75: MSTORE
00000e76: DUP1
00000e77: DUP7
00000e78: PUSH1 0x20
00000e7a: ADD
00000e7b: MLOAD
00000e7c: PUSH1 0x01
00000e7e: DUP2
00000e7f: GT
00000e80: ISZERO
00000e81: PUSH2 0x0e8c
00000e84: JUMPI
00000e85: PUSH2 0x0e8c
00000e88: PUSH2 0x13a9
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: DUP7
00000e90: MLOAD
00000e91: PUSH1 0x01
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: SHL
00000e98: SUB
00000e99: AND
00000e9a: PUSH1 0x00
00000e9c: SWAP1
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x20
00000ea1: DUP2
00000ea2: DUP2
00000ea3: MSTORE
00000ea4: PUSH1 0x40
00000ea6: DUP3
00000ea7: KECCAK256
00000ea8: DUP1
00000ea9: SLOAD
00000eaa: SWAP2
00000eab: SWAP1
00000eac: SWAP4
00000ead: ADD
00000eae: SWAP3
00000eaf: SWAP2
00000eb0: SWAP1
00000eb1: PUSH2 0x0eb9
00000eb4: SWAP1
00000eb5: PUSH2 0x19f0
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: SWAP2
00000ebb: SWAP1
00000ebc: POP
00000ebd: DUP2
00000ebe: SWAP1
00000ebf: SSTORE
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: PUSH1 0x20
00000ec4: ADD
00000ec5: DUP7
00000ec6: PUSH1 0x00
00000ec8: ADD
00000ec9: MLOAD
00000eca: PUSH1 0x01
00000ecc: PUSH1 0x01
00000ece: PUSH1 0xa0
00000ed0: SHL
00000ed1: SUB
00000ed2: AND
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x20
00000ed7: ADD
00000ed8: DUP7
00000ed9: PUSH1 0x80
00000edb: ADD
00000edc: MLOAD
00000edd: PUSH1 0x01
00000edf: PUSH1 0x01
00000ee1: PUSH1 0xa0
00000ee3: SHL
00000ee4: SUB
00000ee5: AND
00000ee6: DUP2
00000ee7: MSTORE
00000ee8: PUSH1 0x20
00000eea: ADD
00000eeb: DUP7
00000eec: PUSH1 0x40
00000eee: ADD
00000eef: MLOAD
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0x01
00000ef4: PUSH1 0xa0
00000ef6: SHL
00000ef7: SUB
00000ef8: AND
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: ADD
00000efe: DUP3
00000eff: PUSH1 0x01
00000f01: PUSH1 0x01
00000f03: PUSH1 0x80
00000f05: SHL
00000f06: SUB
00000f07: AND
00000f08: DUP2
00000f09: MSTORE
00000f0a: PUSH1 0x20
00000f0c: ADD
00000f0d: DUP4
00000f0e: PUSH1 0x01
00000f10: PUSH1 0x01
00000f12: PUSH1 0x80
00000f14: SHL
00000f15: SUB
00000f16: AND
00000f17: DUP2
00000f18: MSTORE
00000f19: POP
00000f1a: SWAP4
00000f1b: POP
00000f1c: PUSH2 0x0f26
00000f1f: DUP5
00000f20: PUSH1 0xe0
00000f22: SWAP1
00000f23: KECCAK256
00000f24: SWAP1
00000f25: JUMP
00000f26: JUMPDEST
00000f27: DUP6
00000f28: MLOAD
00000f29: PUSH1 0x01
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0xa0
00000f2f: SHL
00000f30: SUB
00000f31: SWAP1
00000f32: DUP2
00000f33: AND
00000f34: PUSH1 0x00
00000f36: SWAP1
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x02
00000f3b: PUSH1 0x20
00000f3d: DUP2
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x40
00000f42: DUP1
00000f43: DUP5
00000f44: KECCAK256
00000f45: DUP11
00000f46: DUP4
00000f47: ADD
00000f48: DUP1
00000f49: MLOAD
00000f4a: DUP7
00000f4b: MSTORE
00000f4c: SWAP1
00000f4d: DUP4
00000f4e: MSTORE
00000f4f: DUP2
00000f50: DUP6
00000f51: KECCAK256
00000f52: DUP13
00000f53: MLOAD
00000f54: DUP8
00000f55: AND
00000f56: DUP7
00000f57: MSTORE
00000f58: SWAP4
00000f59: DUP4
00000f5a: MSTORE
00000f5b: DUP2
00000f5c: DUP6
00000f5d: KECCAK256
00000f5e: SWAP1
00000f5f: MLOAD
00000f60: DUP6
00000f61: MSTORE
00000f62: SWAP1
00000f63: SWAP2
00000f64: MSTORE
00000f65: SWAP2
00000f66: DUP3
00000f67: SWAP1
00000f68: KECCAK256
00000f69: PUSH1 0x01
00000f6b: ADD
00000f6c: DUP1
00000f6d: SLOAD
00000f6e: PUSH1 0x01
00000f70: PUSH1 0x01
00000f72: PUSH1 0x80
00000f74: SHL
00000f75: SUB
00000f76: NOT
00000f77: AND
00000f78: PUSH1 0x01
00000f7a: PUSH1 0x01
00000f7c: PUSH1 0x80
00000f7e: SHL
00000f7f: SUB
00000f80: DUP8
00000f81: AND
00000f82: OR
00000f83: SWAP1
00000f84: SSTORE
00000f85: SWAP3
00000f86: SWAP1
00000f87: SWAP3
00000f88: SSTORE
00000f89: DUP7
00000f8a: MLOAD
00000f8b: SWAP2
00000f8c: MLOAD
00000f8d: SWAP2
00000f8e: AND
00000f8f: SWAP1
00000f90: PUSH32 0x5e656a37d8709548ee29faf0fcd7bf0f875b4c291ee8e184df9e0de4634bb813
00000fb1: SWAP1
00000fb2: PUSH2 0x0fbc
00000fb5: SWAP1
00000fb6: DUP8
00000fb7: SWAP1
00000fb8: PUSH2 0x13e1
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH1 0x40
00000fbf: MLOAD
00000fc0: DUP1
00000fc1: SWAP2
00000fc2: SUB
00000fc3: SWAP1
00000fc4: LOG2
00000fc5: POP
00000fc6: POP
00000fc7: POP
00000fc8: SWAP2
00000fc9: SWAP1
00000fca: POP
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH1 0x00
00000fcf: PUSH2 0x0fd8
00000fd2: DUP6
00000fd3: DUP6
00000fd4: PUSH2 0x10bf
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH1 0x00
00000fdb: DUP2
00000fdc: DUP2
00000fdd: MSTORE
00000fde: PUSH1 0x01
00000fe0: PUSH1 0x20
00000fe2: MSTORE
00000fe3: PUSH1 0x40
00000fe5: DUP2
00000fe6: KECCAK256
00000fe7: SLOAD
00000fe8: SWAP2
00000fe9: SWAP3
00000fea: POP
00000feb: SWAP1
00000fec: PUSH2 0x0ff6
00000fef: SWAP1
00000ff0: DUP5
00000ff1: SWAP1
00000ff2: PUSH2 0x1ac6
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: PUSH1 0x00
00000ff9: DUP4
00000ffa: DUP2
00000ffb: MSTORE
00000ffc: PUSH1 0x01
00000ffe: PUSH1 0x20
00001000: MSTORE
00001001: PUSH1 0x40
00001003: DUP2
00001004: KECCAK256
00001005: PUSH1 0x00
00001007: NOT
00001008: SWAP1
00001009: SSTORE
0000100a: SWAP1
0000100b: SWAP2
0000100c: POP
0000100d: DUP7
0000100e: PUSH1 0x01
00001010: DUP2
00001011: GT
00001012: ISZERO
00001013: PUSH2 0x101e
00001016: JUMPI
00001017: PUSH2 0x101e
0000101a: PUSH2 0x13a9
0000101d: JUMP
0000101e: JUMPDEST
0000101f: SUB
00001020: PUSH2 0x103b
00001023: JUMPI
00001024: PUSH2 0x1036
00001027: PUSH1 0x01
00001029: PUSH1 0x01
0000102b: PUSH1 0xa0
0000102d: SHL
0000102e: SUB
0000102f: DUP6
00001030: AND
00001031: DUP5
00001032: PUSH2 0x1124
00001035: JUMP
00001036: JUMPDEST
00001037: PUSH2 0x1070
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH1 0x01
0000103e: DUP7
0000103f: PUSH1 0x01
00001041: DUP2
00001042: GT
00001043: ISZERO
00001044: PUSH2 0x104f
00001047: JUMPI
00001048: PUSH2 0x104f
0000104b: PUSH2 0x13a9
0000104e: JUMP
0000104f: JUMPDEST
00001050: EQ
00001051: PUSH2 0x105c
00001054: JUMPI
00001055: PUSH2 0x105c
00001058: PUSH2 0x1b2a
0000105b: JUMP
0000105c: JUMPDEST
0000105d: PUSH2 0x1070
00001060: PUSH1 0x01
00001062: PUSH1 0x01
00001064: PUSH1 0xa0
00001066: SHL
00001067: SUB
00001068: DUP7
00001069: AND
0000106a: DUP6
0000106b: DUP6
0000106c: PUSH2 0x11b0
0000106f: JUMP
00001070: JUMPDEST
00001071: PUSH1 0x00
00001073: SWAP2
00001074: DUP3
00001075: MSTORE
00001076: PUSH1 0x01
00001078: PUSH1 0x20
0000107a: MSTORE
0000107b: PUSH1 0x40
0000107d: SWAP1
0000107e: SWAP2
0000107f: KECCAK256
00001080: SSTORE
00001081: POP
00001082: POP
00001083: POP
00001084: POP
00001085: JUMP
00001086: JUMPDEST
00001087: DUP1
00001088: MLOAD
00001089: PUSH1 0x20
0000108b: DUP3
0000108c: ADD
0000108d: REVERT
0000108e: JUMPDEST
0000108f: PUSH1 0x00
00001091: PUSH1 0x01
00001093: PUSH1 0x01
00001095: PUSH1 0x80
00001097: SHL
00001098: SUB
00001099: DUP3
0000109a: GT
0000109b: ISZERO
0000109c: PUSH2 0x10bb
0000109f: JUMPI
000010a0: PUSH1 0x40
000010a2: MLOAD
000010a3: PUSH4 0x2dc9adf3
000010a8: PUSH1 0xe0
000010aa: SHL
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x04
000010af: DUP2
000010b0: ADD
000010b1: DUP4
000010b2: SWAP1
000010b3: MSTORE
000010b4: PUSH1 0x24
000010b6: ADD
000010b7: PUSH2 0x04e1
000010ba: JUMP
000010bb: JUMPDEST
000010bc: POP
000010bd: SWAP1
000010be: JUMP
000010bf: JUMPDEST
000010c0: PUSH1 0x00
000010c2: DUP1
000010c3: DUP4
000010c4: PUSH1 0x01
000010c6: DUP2
000010c7: GT
000010c8: ISZERO
000010c9: PUSH2 0x10d4
000010cc: JUMPI
000010cd: PUSH2 0x10d4
000010d0: PUSH2 0x13a9
000010d3: JUMP
000010d4: JUMPDEST
000010d5: SUB
000010d6: PUSH2 0x10f4
000010d9: JUMPI
000010da: POP
000010db: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000010f0: PUSH2 0x0786
000010f3: JUMP
000010f4: JUMPDEST
000010f5: PUSH1 0x01
000010f7: DUP4
000010f8: PUSH1 0x01
000010fa: DUP2
000010fb: GT
000010fc: ISZERO
000010fd: PUSH2 0x1108
00001100: JUMPI
00001101: PUSH2 0x1108
00001104: PUSH2 0x13a9
00001107: JUMP
00001108: JUMPDEST
00001109: EQ
0000110a: PUSH2 0x1115
0000110d: JUMPI
0000110e: PUSH2 0x1115
00001111: PUSH2 0x1b2a
00001114: JUMP
00001115: JUMPDEST
00001116: POP
00001117: PUSH1 0x01
00001119: PUSH1 0x01
0000111b: PUSH1 0xa0
0000111d: SHL
0000111e: SUB
0000111f: AND
00001120: SWAP2
00001121: SWAP1
00001122: POP
00001123: JUMP
00001124: JUMPDEST
00001125: DUP1
00001126: PUSH1 0x00
00001128: SUB
00001129: PUSH2 0x1130
0000112c: JUMPI
0000112d: POP
0000112e: POP
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x00
00001133: DUP1
00001134: DUP4
00001135: PUSH1 0x01
00001137: PUSH1 0x01
00001139: PUSH1 0xa0
0000113b: SHL
0000113c: SUB
0000113d: AND
0000113e: DUP4
0000113f: PUSH1 0x40
00001141: MLOAD
00001142: PUSH1 0x00
00001144: PUSH1 0x40
00001146: MLOAD
00001147: DUP1
00001148: DUP4
00001149: SUB
0000114a: DUP2
0000114b: DUP6
0000114c: DUP8
0000114d: GAS
0000114e: CALL
0000114f: SWAP3
00001150: POP
00001151: POP
00001152: POP
00001153: RETURNDATASIZE
00001154: DUP1
00001155: PUSH1 0x00
00001157: DUP2
00001158: EQ
00001159: PUSH2 0x117e
0000115c: JUMPI
0000115d: PUSH1 0x40
0000115f: MLOAD
00001160: SWAP2
00001161: POP
00001162: PUSH1 0x1f
00001164: NOT
00001165: PUSH1 0x3f
00001167: RETURNDATASIZE
00001168: ADD
00001169: AND
0000116a: DUP3
0000116b: ADD
0000116c: PUSH1 0x40
0000116e: MSTORE
0000116f: RETURNDATASIZE
00001170: DUP3
00001171: MSTORE
00001172: RETURNDATASIZE
00001173: PUSH1 0x00
00001175: PUSH1 0x20
00001177: DUP5
00001178: ADD
00001179: RETURNDATACOPY
0000117a: PUSH2 0x1183
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x60
00001181: SWAP2
00001182: POP
00001183: JUMPDEST
00001184: POP
00001185: SWAP2
00001186: POP
00001187: SWAP2
00001188: POP
00001189: DUP2
0000118a: PUSH2 0x11aa
0000118d: JUMPI
0000118e: DUP4
0000118f: DUP2
00001190: PUSH1 0x40
00001192: MLOAD
00001193: PUSH4 0x354db697
00001198: PUSH1 0xe0
0000119a: SHL
0000119b: DUP2
0000119c: MSTORE
0000119d: PUSH1 0x04
0000119f: ADD
000011a0: PUSH2 0x04e1
000011a3: SWAP3
000011a4: SWAP2
000011a5: SWAP1
000011a6: PUSH2 0x1b64
000011a9: JUMP
000011aa: JUMPDEST
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: POP
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x40
000011b3: MLOAD
000011b4: PUSH1 0x01
000011b6: PUSH1 0x01
000011b8: PUSH1 0xa0
000011ba: SHL
000011bb: SUB
000011bc: DUP4
000011bd: DUP2
000011be: AND
000011bf: PUSH1 0x24
000011c1: DUP4
000011c2: ADD
000011c3: MSTORE
000011c4: PUSH1 0x44
000011c6: DUP3
000011c7: ADD
000011c8: DUP4
000011c9: SWAP1
000011ca: MSTORE
000011cb: PUSH1 0x00
000011cd: SWAP2
000011ce: DUP3
000011cf: SWAP2
000011d0: DUP7
000011d1: AND
000011d2: SWAP1
000011d3: PUSH1 0x64
000011d5: ADD
000011d6: PUSH1 0x40
000011d8: DUP1
000011d9: MLOAD
000011da: PUSH1 0x1f
000011dc: NOT
000011dd: DUP2
000011de: DUP5
000011df: SUB
000011e0: ADD
000011e1: DUP2
000011e2: MSTORE
000011e3: SWAP2
000011e4: DUP2
000011e5: MSTORE
000011e6: PUSH1 0x20
000011e8: DUP3
000011e9: ADD
000011ea: DUP1
000011eb: MLOAD
000011ec: PUSH1 0x01
000011ee: PUSH1 0x01
000011f0: PUSH1 0xe0
000011f2: SHL
000011f3: SUB
000011f4: AND
000011f5: PUSH4 0xa9059cbb
000011fa: PUSH1 0xe0
000011fc: SHL
000011fd: OR
000011fe: SWAP1
000011ff: MSTORE
00001200: MLOAD
00001201: PUSH2 0x120a
00001204: SWAP2
00001205: SWAP1
00001206: PUSH2 0x1ba6
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH1 0x00
0000120d: PUSH1 0x40
0000120f: MLOAD
00001210: DUP1
00001211: DUP4
00001212: SUB
00001213: DUP2
00001214: PUSH1 0x00
00001216: DUP7
00001217: GAS
00001218: CALL
00001219: SWAP2
0000121a: POP
0000121b: POP
0000121c: RETURNDATASIZE
0000121d: DUP1
0000121e: PUSH1 0x00
00001220: DUP2
00001221: EQ
00001222: PUSH2 0x1247
00001225: JUMPI
00001226: PUSH1 0x40
00001228: MLOAD
00001229: SWAP2
0000122a: POP
0000122b: PUSH1 0x1f
0000122d: NOT
0000122e: PUSH1 0x3f
00001230: RETURNDATASIZE
00001231: ADD
00001232: AND
00001233: DUP3
00001234: ADD
00001235: PUSH1 0x40
00001237: MSTORE
00001238: RETURNDATASIZE
00001239: DUP3
0000123a: MSTORE
0000123b: RETURNDATASIZE
0000123c: PUSH1 0x00
0000123e: PUSH1 0x20
00001240: DUP5
00001241: ADD
00001242: RETURNDATACOPY
00001243: PUSH2 0x124c
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x60
0000124a: SWAP2
0000124b: POP
0000124c: JUMPDEST
0000124d: POP
0000124e: SWAP2
0000124f: POP
00001250: SWAP2
00001251: POP
00001252: DUP2
00001253: ISZERO
00001254: PUSH2 0x12b7
00001257: JUMPI
00001258: DUP1
00001259: MLOAD
0000125a: PUSH1 0x00
0000125c: SUB
0000125d: PUSH2 0x1297
00001260: JUMPI
00001261: DUP5
00001262: EXTCODESIZE
00001263: PUSH1 0x00
00001265: DUP2
00001266: SWAP1
00001267: SUB
00001268: PUSH2 0x128f
0000126b: JUMPI
0000126c: PUSH1 0x40
0000126e: MLOAD
0000126f: PUSH4 0x9fe23a39
00001274: PUSH1 0xe0
00001276: SHL
00001277: DUP2
00001278: MSTORE
00001279: PUSH1 0x01
0000127b: PUSH1 0x01
0000127d: PUSH1 0xa0
0000127f: SHL
00001280: SUB
00001281: DUP8
00001282: AND
00001283: PUSH1 0x04
00001285: DUP3
00001286: ADD
00001287: MSTORE
00001288: PUSH1 0x24
0000128a: ADD
0000128b: PUSH2 0x04e1
0000128e: JUMP
0000128f: JUMPDEST
00001290: POP
00001291: POP
00001292: POP
00001293: POP
00001294: POP
00001295: POP
00001296: JUMP
00001297: JUMPDEST
00001298: DUP1
00001299: DUP1
0000129a: PUSH1 0x20
0000129c: ADD
0000129d: SWAP1
0000129e: MLOAD
0000129f: DUP2
000012a0: ADD
000012a1: SWAP1
000012a2: PUSH2 0x12ab
000012a5: SWAP2
000012a6: SWAP1
000012a7: PUSH2 0x1bc2
000012aa: JUMP
000012ab: JUMPDEST
000012ac: ISZERO
000012ad: PUSH2 0x12b7
000012b0: JUMPI
000012b1: POP
000012b2: POP
000012b3: POP
000012b4: POP
000012b5: POP
000012b6: JUMP
000012b7: JUMPDEST
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH4 0x1702a987
000012c0: PUSH1 0xe1
000012c2: SHL
000012c3: DUP2
000012c4: MSTORE
000012c5: PUSH1 0x01
000012c7: PUSH1 0x01
000012c9: PUSH1 0xa0
000012cb: SHL
000012cc: SUB
000012cd: DUP1
000012ce: DUP8
000012cf: AND
000012d0: PUSH1 0x04
000012d2: DUP4
000012d3: ADD
000012d4: MSTORE
000012d5: DUP6
000012d6: AND
000012d7: PUSH1 0x24
000012d9: DUP3
000012da: ADD
000012db: MSTORE
000012dc: PUSH1 0x44
000012de: DUP2
000012df: ADD
000012e0: DUP5
000012e1: SWAP1
000012e2: MSTORE
000012e3: PUSH1 0x64
000012e5: ADD
000012e6: PUSH2 0x04e1
000012e9: JUMP
000012ea: JUMPDEST
000012eb: PUSH1 0x40
000012ed: DUP1
000012ee: MLOAD
000012ef: PUSH1 0xe0
000012f1: DUP2
000012f2: ADD
000012f3: SWAP1
000012f4: SWAP2
000012f5: MSTORE
000012f6: DUP1
000012f7: PUSH1 0x00
000012f9: DUP2
000012fa: MSTORE
000012fb: PUSH1 0x00
000012fd: PUSH1 0x20
000012ff: DUP3
00001300: ADD
00001301: DUP2
00001302: SWAP1
00001303: MSTORE
00001304: PUSH1 0x40
00001306: DUP3
00001307: ADD
00001308: DUP2
00001309: SWAP1
0000130a: MSTORE
0000130b: PUSH1 0x60
0000130d: DUP3
0000130e: ADD
0000130f: DUP2
00001310: SWAP1
00001311: MSTORE
00001312: PUSH1 0x80
00001314: DUP3
00001315: ADD
00001316: DUP2
00001317: SWAP1
00001318: MSTORE
00001319: PUSH1 0xa0
0000131b: DUP3
0000131c: ADD
0000131d: DUP2
0000131e: SWAP1
0000131f: MSTORE
00001320: PUSH1 0xc0
00001322: SWAP1
00001323: SWAP2
00001324: ADD
00001325: MSTORE
00001326: SWAP1
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH1 0x01
0000132b: PUSH1 0x01
0000132d: PUSH1 0xa0
0000132f: SHL
00001330: SUB
00001331: DUP2
00001332: AND
00001333: DUP2
00001334: EQ
00001335: PUSH2 0x133d
00001338: JUMPI
00001339: PUSH1 0x00
0000133b: DUP1
0000133c: REVERT
0000133d: JUMPDEST
0000133e: POP
0000133f: JUMP
00001340: JUMPDEST
00001341: DUP1
00001342: CALLDATALOAD
00001343: PUSH2 0x134b
00001346: DUP2
00001347: PUSH2 0x1328
0000134a: JUMP
0000134b: JUMPDEST
0000134c: SWAP2
0000134d: SWAP1
0000134e: POP
0000134f: JUMP
00001350: JUMPDEST
00001351: DUP1
00001352: CALLDATALOAD
00001353: PUSH2 0xffff
00001356: DUP2
00001357: AND
00001358: DUP2
00001359: EQ
0000135a: PUSH2 0x134b
0000135d: JUMPI
0000135e: PUSH1 0x00
00001360: DUP1
00001361: REVERT
00001362: JUMPDEST
00001363: PUSH1 0x00
00001365: DUP1
00001366: PUSH1 0x00
00001368: PUSH1 0x60
0000136a: DUP5
0000136b: DUP7
0000136c: SUB
0000136d: SLT
0000136e: ISZERO
0000136f: PUSH2 0x1377
00001372: JUMPI
00001373: PUSH1 0x00
00001375: DUP1
00001376: REVERT
00001377: JUMPDEST
00001378: DUP4
00001379: CALLDATALOAD
0000137a: PUSH2 0x1382
0000137d: DUP2
0000137e: PUSH2 0x1328
00001381: JUMP
00001382: JUMPDEST
00001383: SWAP3
00001384: POP
00001385: PUSH1 0x20
00001387: DUP5
00001388: ADD
00001389: CALLDATALOAD
0000138a: PUSH2 0x1392
0000138d: DUP2
0000138e: PUSH2 0x1328
00001391: JUMP
00001392: JUMPDEST
00001393: SWAP2
00001394: POP
00001395: PUSH2 0x13a0
00001398: PUSH1 0x40
0000139a: DUP6
0000139b: ADD
0000139c: PUSH2 0x1350
0000139f: JUMP
000013a0: JUMPDEST
000013a1: SWAP1
000013a2: POP
000013a3: SWAP3
000013a4: POP
000013a5: SWAP3
000013a6: POP
000013a7: SWAP3
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH4 0x4e487b71
000013af: PUSH1 0xe0
000013b1: SHL
000013b2: PUSH1 0x00
000013b4: MSTORE
000013b5: PUSH1 0x21
000013b7: PUSH1 0x04
000013b9: MSTORE
000013ba: PUSH1 0x24
000013bc: PUSH1 0x00
000013be: REVERT
000013bf: JUMPDEST
000013c0: PUSH1 0x02
000013c2: DUP2
000013c3: LT
000013c4: PUSH2 0x13dd
000013c7: JUMPI
000013c8: PUSH4 0x4e487b71
000013cd: PUSH1 0xe0
000013cf: SHL
000013d0: PUSH1 0x00
000013d2: MSTORE
000013d3: PUSH1 0x21
000013d5: PUSH1 0x04
000013d7: MSTORE
000013d8: PUSH1 0x24
000013da: PUSH1 0x00
000013dc: REVERT
000013dd: JUMPDEST
000013de: SWAP1
000013df: MSTORE
000013e0: JUMP
000013e1: JUMPDEST
000013e2: PUSH1 0x00
000013e4: PUSH1 0xe0
000013e6: DUP3
000013e7: ADD
000013e8: SWAP1
000013e9: POP
000013ea: PUSH2 0x13f4
000013ed: DUP3
000013ee: DUP5
000013ef: MLOAD
000013f0: PUSH2 0x13bf
000013f3: JUMP
000013f4: JUMPDEST
000013f5: PUSH1 0x20
000013f7: DUP4
000013f8: ADD
000013f9: MLOAD
000013fa: PUSH1 0x20
000013fc: DUP4
000013fd: ADD
000013fe: MSTORE
000013ff: PUSH1 0x40
00001401: DUP4
00001402: ADD
00001403: MLOAD
00001404: PUSH1 0x01
00001406: DUP1
00001407: PUSH1 0xa0
00001409: SHL
0000140a: SUB
0000140b: DUP1
0000140c: DUP3
0000140d: AND
0000140e: PUSH1 0x40
00001410: DUP6
00001411: ADD
00001412: MSTORE
00001413: DUP1
00001414: PUSH1 0x60
00001416: DUP7
00001417: ADD
00001418: MLOAD
00001419: AND
0000141a: PUSH1 0x60
0000141c: DUP6
0000141d: ADD
0000141e: MSTORE
0000141f: DUP1
00001420: PUSH1 0x80
00001422: DUP7
00001423: ADD
00001424: MLOAD
00001425: AND
00001426: PUSH1 0x80
00001428: DUP6
00001429: ADD
0000142a: MSTORE
0000142b: POP
0000142c: POP
0000142d: PUSH1 0xa0
0000142f: DUP4
00001430: ADD
00001431: MLOAD
00001432: PUSH1 0x01
00001434: PUSH1 0x01
00001436: PUSH1 0x80
00001438: SHL
00001439: SUB
0000143a: DUP1
0000143b: DUP3
0000143c: AND
0000143d: PUSH1 0xa0
0000143f: DUP6
00001440: ADD
00001441: MSTORE
00001442: DUP1
00001443: PUSH1 0xc0
00001445: DUP7
00001446: ADD
00001447: MLOAD
00001448: AND
00001449: PUSH1 0xc0
0000144b: DUP6
0000144c: ADD
0000144d: MSTORE
0000144e: POP
0000144f: POP
00001450: SWAP3
00001451: SWAP2
00001452: POP
00001453: POP
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH1 0x00
00001458: PUSH1 0xe0
0000145a: DUP3
0000145b: DUP5
0000145c: SUB
0000145d: SLT
0000145e: ISZERO
0000145f: PUSH2 0x1467
00001462: JUMPI
00001463: PUSH1 0x00
00001465: DUP1
00001466: REVERT
00001467: JUMPDEST
00001468: POP
00001469: SWAP2
0000146a: SWAP1
0000146b: POP
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH1 0x00
00001470: DUP1
00001471: PUSH2 0x0100
00001474: DUP4
00001475: DUP6
00001476: SUB
00001477: SLT
00001478: ISZERO
00001479: PUSH2 0x1481
0000147c: JUMPI
0000147d: PUSH1 0x00
0000147f: DUP1
00001480: REVERT
00001481: JUMPDEST
00001482: PUSH2 0x148b
00001485: DUP5
00001486: DUP5
00001487: PUSH2 0x1455
0000148a: JUMP
0000148b: JUMPDEST
0000148c: SWAP5
0000148d: PUSH1 0xe0
0000148f: SWAP4
00001490: SWAP1
00001491: SWAP4
00001492: ADD
00001493: CALLDATALOAD
00001494: SWAP4
00001495: POP
00001496: POP
00001497: POP
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x00
0000149c: DUP1
0000149d: DUP4
0000149e: PUSH1 0x1f
000014a0: DUP5
000014a1: ADD
000014a2: SLT
000014a3: PUSH2 0x14ab
000014a6: JUMPI
000014a7: PUSH1 0x00
000014a9: DUP1
000014aa: REVERT
000014ab: JUMPDEST
000014ac: POP
000014ad: DUP2
000014ae: CALLDATALOAD
000014af: PUSH8 0xffffffffffffffff
000014b8: DUP2
000014b9: GT
000014ba: ISZERO
000014bb: PUSH2 0x14c3
000014be: JUMPI
000014bf: PUSH1 0x00
000014c1: DUP1
000014c2: REVERT
000014c3: JUMPDEST
000014c4: PUSH1 0x20
000014c6: DUP4
000014c7: ADD
000014c8: SWAP2
000014c9: POP
000014ca: DUP4
000014cb: PUSH1 0x20
000014cd: PUSH1 0xe0
000014cf: DUP4
000014d0: MUL
000014d1: DUP6
000014d2: ADD
000014d3: ADD
000014d4: GT
000014d5: ISZERO
000014d6: PUSH2 0x14de
000014d9: JUMPI
000014da: PUSH1 0x00
000014dc: DUP1
000014dd: REVERT
000014de: JUMPDEST
000014df: SWAP3
000014e0: POP
000014e1: SWAP3
000014e2: SWAP1
000014e3: POP
000014e4: JUMP
000014e5: JUMPDEST
000014e6: PUSH1 0x00
000014e8: DUP1
000014e9: DUP4
000014ea: PUSH1 0x1f
000014ec: DUP5
000014ed: ADD
000014ee: SLT
000014ef: PUSH2 0x14f7
000014f2: JUMPI
000014f3: PUSH1 0x00
000014f5: DUP1
000014f6: REVERT
000014f7: JUMPDEST
000014f8: POP
000014f9: DUP2
000014fa: CALLDATALOAD
000014fb: PUSH8 0xffffffffffffffff
00001504: DUP2
00001505: GT
00001506: ISZERO
00001507: PUSH2 0x150f
0000150a: JUMPI
0000150b: PUSH1 0x00
0000150d: DUP1
0000150e: REVERT
0000150f: JUMPDEST
00001510: PUSH1 0x20
00001512: DUP4
00001513: ADD
00001514: SWAP2
00001515: POP
00001516: DUP4
00001517: PUSH1 0x20
00001519: DUP3
0000151a: PUSH1 0x05
0000151c: SHL
0000151d: DUP6
0000151e: ADD
0000151f: ADD
00001520: GT
00001521: ISZERO
00001522: PUSH2 0x14de
00001525: JUMPI
00001526: PUSH1 0x00
00001528: DUP1
00001529: REVERT
0000152a: JUMPDEST
0000152b: PUSH1 0x00
0000152d: DUP1
0000152e: PUSH1 0x00
00001530: DUP1
00001531: PUSH1 0x40
00001533: DUP6
00001534: DUP8
00001535: SUB
00001536: SLT
00001537: ISZERO
00001538: PUSH2 0x1540
0000153b: JUMPI
0000153c: PUSH1 0x00
0000153e: DUP1
0000153f: REVERT
00001540: JUMPDEST
00001541: DUP5
00001542: CALLDATALOAD
00001543: PUSH8 0xffffffffffffffff
0000154c: DUP1
0000154d: DUP3
0000154e: GT
0000154f: ISZERO
00001550: PUSH2 0x1558
00001553: JUMPI
00001554: PUSH1 0x00
00001556: DUP1
00001557: REVERT
00001558: JUMPDEST
00001559: PUSH2 0x1564
0000155c: DUP9
0000155d: DUP4
0000155e: DUP10
0000155f: ADD
00001560: PUSH2 0x1499
00001563: JUMP
00001564: JUMPDEST
00001565: SWAP1
00001566: SWAP7
00001567: POP
00001568: SWAP5
00001569: POP
0000156a: PUSH1 0x20
0000156c: DUP8
0000156d: ADD
0000156e: CALLDATALOAD
0000156f: SWAP2
00001570: POP
00001571: DUP1
00001572: DUP3
00001573: GT
00001574: ISZERO
00001575: PUSH2 0x157d
00001578: JUMPI
00001579: PUSH1 0x00
0000157b: DUP1
0000157c: REVERT
0000157d: JUMPDEST
0000157e: POP
0000157f: PUSH2 0x158a
00001582: DUP8
00001583: DUP3
00001584: DUP9
00001585: ADD
00001586: PUSH2 0x14e5
00001589: JUMP
0000158a: JUMPDEST
0000158b: SWAP6
0000158c: SWAP9
0000158d: SWAP5
0000158e: SWAP8
0000158f: POP
00001590: SWAP6
00001591: POP
00001592: POP
00001593: POP
00001594: POP
00001595: JUMP
00001596: JUMPDEST
00001597: PUSH1 0x00
00001599: DUP1
0000159a: PUSH1 0x40
0000159c: DUP4
0000159d: DUP6
0000159e: SUB
0000159f: SLT
000015a0: ISZERO
000015a1: PUSH2 0x15a9
000015a4: JUMPI
000015a5: PUSH1 0x00
000015a7: DUP1
000015a8: REVERT
000015a9: JUMPDEST
000015aa: DUP3
000015ab: CALLDATALOAD
000015ac: PUSH2 0x15b4
000015af: DUP2
000015b0: PUSH2 0x1328
000015b3: JUMP
000015b4: JUMPDEST
000015b5: SWAP5
000015b6: PUSH1 0x20
000015b8: SWAP4
000015b9: SWAP1
000015ba: SWAP4
000015bb: ADD
000015bc: CALLDATALOAD
000015bd: SWAP4
000015be: POP
000015bf: POP
000015c0: POP
000015c1: JUMP
000015c2: JUMPDEST
000015c3: PUSH1 0x00
000015c5: DUP1
000015c6: PUSH1 0x00
000015c8: PUSH1 0x40
000015ca: DUP5
000015cb: DUP7
000015cc: SUB
000015cd: SLT
000015ce: ISZERO
000015cf: PUSH2 0x15d7
000015d2: JUMPI
000015d3: PUSH1 0x00
000015d5: DUP1
000015d6: REVERT
000015d7: JUMPDEST
000015d8: DUP4
000015d9: CALLDATALOAD
000015da: PUSH2 0x15e2
000015dd: DUP2
000015de: PUSH2 0x1328
000015e1: JUMP
000015e2: JUMPDEST
000015e3: SWAP3
000015e4: POP
000015e5: PUSH1 0x20
000015e7: DUP5
000015e8: ADD
000015e9: CALLDATALOAD
000015ea: PUSH8 0xffffffffffffffff
000015f3: DUP1
000015f4: DUP3
000015f5: GT
000015f6: ISZERO
000015f7: PUSH2 0x15ff
000015fa: JUMPI
000015fb: PUSH1 0x00
000015fd: DUP1
000015fe: REVERT
000015ff: JUMPDEST
00001600: DUP2
00001601: DUP7
00001602: ADD
00001603: SWAP2
00001604: POP
00001605: DUP7
00001606: PUSH1 0x1f
00001608: DUP4
00001609: ADD
0000160a: SLT
0000160b: PUSH2 0x1613
0000160e: JUMPI
0000160f: PUSH1 0x00
00001611: DUP1
00001612: REVERT
00001613: JUMPDEST
00001614: DUP2
00001615: CALLDATALOAD
00001616: DUP2
00001617: DUP2
00001618: GT
00001619: ISZERO
0000161a: PUSH2 0x1622
0000161d: JUMPI
0000161e: PUSH1 0x00
00001620: DUP1
00001621: REVERT
00001622: JUMPDEST
00001623: DUP8
00001624: PUSH1 0x20
00001626: DUP3
00001627: DUP6
00001628: ADD
00001629: ADD
0000162a: GT
0000162b: ISZERO
0000162c: PUSH2 0x1634
0000162f: JUMPI
00001630: PUSH1 0x00
00001632: DUP1
00001633: REVERT
00001634: JUMPDEST
00001635: PUSH1 0x20
00001637: DUP4
00001638: ADD
00001639: SWAP5
0000163a: POP
0000163b: DUP1
0000163c: SWAP4
0000163d: POP
0000163e: POP
0000163f: POP
00001640: POP
00001641: SWAP3
00001642: POP
00001643: SWAP3
00001644: POP
00001645: SWAP3
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH1 0x00
0000164a: DUP1
0000164b: PUSH2 0x0100
0000164e: DUP4
0000164f: DUP6
00001650: SUB
00001651: SLT
00001652: ISZERO
00001653: PUSH2 0x165b
00001656: JUMPI
00001657: PUSH1 0x00
00001659: DUP1
0000165a: REVERT
0000165b: JUMPDEST
0000165c: PUSH2 0x1665
0000165f: DUP5
00001660: DUP5
00001661: PUSH2 0x1455
00001664: JUMP
00001665: JUMPDEST
00001666: SWAP2
00001667: POP
00001668: PUSH1 0xe0
0000166a: DUP4
0000166b: ADD
0000166c: CALLDATALOAD
0000166d: PUSH2 0x1675
00001670: DUP2
00001671: PUSH2 0x1328
00001674: JUMP
00001675: JUMPDEST
00001676: DUP1
00001677: SWAP2
00001678: POP
00001679: POP
0000167a: SWAP3
0000167b: POP
0000167c: SWAP3
0000167d: SWAP1
0000167e: POP
0000167f: JUMP
00001680: JUMPDEST
00001681: PUSH1 0x00
00001683: PUSH1 0x20
00001685: DUP3
00001686: DUP5
00001687: SUB
00001688: SLT
00001689: ISZERO
0000168a: PUSH2 0x1692
0000168d: JUMPI
0000168e: PUSH1 0x00
00001690: DUP1
00001691: REVERT
00001692: JUMPDEST
00001693: DUP2
00001694: CALLDATALOAD
00001695: PUSH2 0x169d
00001698: DUP2
00001699: PUSH2 0x1328
0000169c: JUMP
0000169d: JUMPDEST
0000169e: SWAP4
0000169f: SWAP3
000016a0: POP
000016a1: POP
000016a2: POP
000016a3: JUMP
000016a4: JUMPDEST
000016a5: PUSH1 0x00
000016a7: DUP1
000016a8: PUSH1 0x00
000016aa: PUSH1 0x60
000016ac: DUP5
000016ad: DUP7
000016ae: SUB
000016af: SLT
000016b0: ISZERO
000016b1: PUSH2 0x16b9
000016b4: JUMPI
000016b5: PUSH1 0x00
000016b7: DUP1
000016b8: REVERT
000016b9: JUMPDEST
000016ba: DUP4
000016bb: CALLDATALOAD
000016bc: PUSH2 0x16c4
000016bf: DUP2
000016c0: PUSH2 0x1328
000016c3: JUMP
000016c4: JUMPDEST
000016c5: SWAP6
000016c6: PUSH1 0x20
000016c8: DUP6
000016c9: ADD
000016ca: CALLDATALOAD
000016cb: SWAP6
000016cc: POP
000016cd: PUSH1 0x40
000016cf: SWAP1
000016d0: SWAP5
000016d1: ADD
000016d2: CALLDATALOAD
000016d3: SWAP4
000016d4: SWAP3
000016d5: POP
000016d6: POP
000016d7: POP
000016d8: JUMP
000016d9: JUMPDEST
000016da: PUSH1 0x00
000016dc: DUP1
000016dd: PUSH1 0x00
000016df: DUP1
000016e0: PUSH1 0x80
000016e2: DUP6
000016e3: DUP8
000016e4: SUB
000016e5: SLT
000016e6: ISZERO
000016e7: PUSH2 0x16ef
000016ea: JUMPI
000016eb: PUSH1 0x00
000016ed: DUP1
000016ee: REVERT
000016ef: JUMPDEST
000016f0: DUP5
000016f1: CALLDATALOAD
000016f2: PUSH2 0x16fa
000016f5: DUP2
000016f6: PUSH2 0x1328
000016f9: JUMP
000016fa: JUMPDEST
000016fb: SWAP4
000016fc: POP
000016fd: PUSH1 0x20
000016ff: DUP6
00001700: ADD
00001701: CALLDATALOAD
00001702: PUSH2 0x170a
00001705: DUP2
00001706: PUSH2 0x1328
00001709: JUMP
0000170a: JUMPDEST
0000170b: SWAP3
0000170c: POP
0000170d: PUSH1 0x40
0000170f: DUP6
00001710: ADD
00001711: CALLDATALOAD
00001712: PUSH2 0x171a
00001715: DUP2
00001716: PUSH2 0x1328
00001719: JUMP
0000171a: JUMPDEST
0000171b: SWAP2
0000171c: POP
0000171d: PUSH2 0x1728
00001720: PUSH1 0x60
00001722: DUP7
00001723: ADD
00001724: PUSH2 0x1350
00001727: JUMP
00001728: JUMPDEST
00001729: SWAP1
0000172a: POP
0000172b: SWAP3
0000172c: SWAP6
0000172d: SWAP2
0000172e: SWAP5
0000172f: POP
00001730: SWAP3
00001731: POP
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH1 0x20
00001736: DUP1
00001737: DUP3
00001738: MSTORE
00001739: DUP3
0000173a: MLOAD
0000173b: DUP3
0000173c: DUP3
0000173d: ADD
0000173e: DUP2
0000173f: SWAP1
00001740: MSTORE
00001741: PUSH1 0x00
00001743: SWAP2
00001744: SWAP1
00001745: DUP5
00001746: DUP3
00001747: ADD
00001748: SWAP1
00001749: PUSH1 0x40
0000174b: DUP6
0000174c: ADD
0000174d: SWAP1
0000174e: DUP5
0000174f: JUMPDEST
00001750: DUP2
00001751: DUP2
00001752: LT
00001753: ISZERO
00001754: PUSH2 0x1774
00001757: JUMPI
00001758: DUP4
00001759: MLOAD
0000175a: PUSH1 0x01
0000175c: PUSH1 0x01
0000175e: PUSH1 0x80
00001760: SHL
00001761: SUB
00001762: AND
00001763: DUP4
00001764: MSTORE
00001765: SWAP3
00001766: DUP5
00001767: ADD
00001768: SWAP3
00001769: SWAP2
0000176a: DUP5
0000176b: ADD
0000176c: SWAP2
0000176d: PUSH1 0x01
0000176f: ADD
00001770: PUSH2 0x174f
00001773: JUMP
00001774: JUMPDEST
00001775: POP
00001776: SWAP1
00001777: SWAP7
00001778: SWAP6
00001779: POP
0000177a: POP
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: POP
0000177f: JUMP
00001780: JUMPDEST
00001781: PUSH1 0x00
00001783: PUSH1 0x20
00001785: DUP3
00001786: DUP5
00001787: SUB
00001788: SLT
00001789: ISZERO
0000178a: PUSH2 0x1792
0000178d: JUMPI
0000178e: PUSH1 0x00
00001790: DUP1
00001791: REVERT
00001792: JUMPDEST
00001793: DUP2
00001794: MLOAD
00001795: PUSH2 0x169d
00001798: DUP2
00001799: PUSH2 0x1328
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH4 0x4e487b71
000017a3: PUSH1 0xe0
000017a5: SHL
000017a6: PUSH1 0x00
000017a8: MSTORE
000017a9: PUSH1 0x41
000017ab: PUSH1 0x04
000017ad: MSTORE
000017ae: PUSH1 0x24
000017b0: PUSH1 0x00
000017b2: REVERT
000017b3: JUMPDEST
000017b4: DUP1
000017b5: CALLDATALOAD
000017b6: PUSH1 0x02
000017b8: DUP2
000017b9: LT
000017ba: PUSH2 0x134b
000017bd: JUMPI
000017be: PUSH1 0x00
000017c0: DUP1
000017c1: REVERT
000017c2: JUMPDEST
000017c3: DUP1
000017c4: CALLDATALOAD
000017c5: PUSH1 0x01
000017c7: PUSH1 0x01
000017c9: PUSH1 0x80
000017cb: SHL
000017cc: SUB
000017cd: DUP2
000017ce: AND
000017cf: DUP2
000017d0: EQ
000017d1: PUSH2 0x134b
000017d4: JUMPI
000017d5: PUSH1 0x00
000017d7: DUP1
000017d8: REVERT
000017d9: JUMPDEST
000017da: PUSH1 0x00
000017dc: PUSH1 0xe0
000017de: DUP3
000017df: DUP5
000017e0: SUB
000017e1: SLT
000017e2: ISZERO
000017e3: PUSH2 0x17eb
000017e6: JUMPI
000017e7: PUSH1 0x00
000017e9: DUP1
000017ea: REVERT
000017eb: JUMPDEST
000017ec: PUSH1 0x40
000017ee: MLOAD
000017ef: PUSH1 0xe0
000017f1: DUP2
000017f2: ADD
000017f3: DUP2
000017f4: DUP2
000017f5: LT
000017f6: PUSH8 0xffffffffffffffff
000017ff: DUP3
00001800: GT
00001801: OR
00001802: ISZERO
00001803: PUSH2 0x181c
00001806: JUMPI
00001807: PUSH4 0x4e487b71
0000180c: PUSH1 0xe0
0000180e: SHL
0000180f: PUSH1 0x00
00001811: MSTORE
00001812: PUSH1 0x41
00001814: PUSH1 0x04
00001816: MSTORE
00001817: PUSH1 0x24
00001819: PUSH1 0x00
0000181b: REVERT
0000181c: JUMPDEST
0000181d: PUSH1 0x40
0000181f: MSTORE
00001820: PUSH2 0x1828
00001823: DUP4
00001824: PUSH2 0x17b3
00001827: JUMP
00001828: JUMPDEST
00001829: DUP2
0000182a: MSTORE
0000182b: PUSH1 0x20
0000182d: DUP4
0000182e: ADD
0000182f: CALLDATALOAD
00001830: PUSH1 0x20
00001832: DUP3
00001833: ADD
00001834: MSTORE
00001835: PUSH2 0x1840
00001838: PUSH1 0x40
0000183a: DUP5
0000183b: ADD
0000183c: PUSH2 0x1340
0000183f: JUMP
00001840: JUMPDEST
00001841: PUSH1 0x40
00001843: DUP3
00001844: ADD
00001845: MSTORE
00001846: PUSH2 0x1851
00001849: PUSH1 0x60
0000184b: DUP5
0000184c: ADD
0000184d: PUSH2 0x1340
00001850: JUMP
00001851: JUMPDEST
00001852: PUSH1 0x60
00001854: DUP3
00001855: ADD
00001856: MSTORE
00001857: PUSH2 0x1862
0000185a: PUSH1 0x80
0000185c: DUP5
0000185d: ADD
0000185e: PUSH2 0x1340
00001861: JUMP
00001862: JUMPDEST
00001863: PUSH1 0x80
00001865: DUP3
00001866: ADD
00001867: MSTORE
00001868: PUSH2 0x1873
0000186b: PUSH1 0xa0
0000186d: DUP5
0000186e: ADD
0000186f: PUSH2 0x17c2
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH1 0xa0
00001876: DUP3
00001877: ADD
00001878: MSTORE
00001879: PUSH2 0x1884
0000187c: PUSH1 0xc0
0000187e: DUP5
0000187f: ADD
00001880: PUSH2 0x17c2
00001883: JUMP
00001884: JUMPDEST
00001885: PUSH1 0xc0
00001887: DUP3
00001888: ADD
00001889: MSTORE
0000188a: SWAP4
0000188b: SWAP3
0000188c: POP
0000188d: POP
0000188e: POP
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH1 0xe0
00001893: DUP2
00001894: ADD
00001895: PUSH2 0x18a6
00001898: DUP3
00001899: PUSH2 0x18a1
0000189c: DUP6
0000189d: PUSH2 0x17b3
000018a0: JUMP
000018a1: JUMPDEST
000018a2: PUSH2 0x13bf
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH1 0x20
000018a9: DUP4
000018aa: ADD
000018ab: CALLDATALOAD
000018ac: PUSH1 0x20
000018ae: DUP4
000018af: ADD
000018b0: MSTORE
000018b1: PUSH1 0x40
000018b3: DUP4
000018b4: ADD
000018b5: CALLDATALOAD
000018b6: PUSH2 0x18be
000018b9: DUP2
000018ba: PUSH2 0x1328
000018bd: JUMP
000018be: JUMPDEST
000018bf: PUSH1 0x01
000018c1: PUSH1 0x01
000018c3: PUSH1 0xa0
000018c5: SHL
000018c6: SUB
000018c7: SWAP1
000018c8: DUP2
000018c9: AND
000018ca: PUSH1 0x40
000018cc: DUP5
000018cd: ADD
000018ce: MSTORE
000018cf: PUSH1 0x60
000018d1: DUP5
000018d2: ADD
000018d3: CALLDATALOAD
000018d4: SWAP1
000018d5: PUSH2 0x18dd
000018d8: DUP3
000018d9: PUSH2 0x1328
000018dc: JUMP
000018dd: JUMPDEST
000018de: SWAP1
000018df: DUP2
000018e0: AND
000018e1: PUSH1 0x60
000018e3: DUP5
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH1 0x80
000018e8: DUP5
000018e9: ADD
000018ea: CALLDATALOAD
000018eb: SWAP1
000018ec: PUSH2 0x18f4
000018ef: DUP3
000018f0: PUSH2 0x1328
000018f3: JUMP
000018f4: JUMPDEST
000018f5: AND
000018f6: PUSH1 0x80
000018f8: DUP4
000018f9: ADD
000018fa: MSTORE
000018fb: PUSH2 0x1906
000018fe: PUSH1 0xa0
00001900: DUP5
00001901: ADD
00001902: PUSH2 0x17c2
00001905: JUMP
00001906: JUMPDEST
00001907: PUSH1 0x01
00001909: PUSH1 0x01
0000190b: PUSH1 0x80
0000190d: SHL
0000190e: SUB
0000190f: DUP1
00001910: DUP3
00001911: AND
00001912: PUSH1 0xa0
00001914: DUP6
00001915: ADD
00001916: MSTORE
00001917: DUP1
00001918: PUSH2 0x1923
0000191b: PUSH1 0xc0
0000191d: DUP8
0000191e: ADD
0000191f: PUSH2 0x17c2
00001922: JUMP
00001923: JUMPDEST
00001924: AND
00001925: PUSH1 0xc0
00001927: DUP6
00001928: ADD
00001929: MSTORE
0000192a: POP
0000192b: POP
0000192c: SWAP3
0000192d: SWAP2
0000192e: POP
0000192f: POP
00001930: JUMP
00001931: JUMPDEST
00001932: PUSH1 0x00
00001934: PUSH1 0x20
00001936: DUP3
00001937: DUP5
00001938: SUB
00001939: SLT
0000193a: ISZERO
0000193b: PUSH2 0x1943
0000193e: JUMPI
0000193f: PUSH1 0x00
00001941: DUP1
00001942: REVERT
00001943: JUMPDEST
00001944: PUSH2 0x169d
00001947: DUP3
00001948: PUSH2 0x17c2
0000194b: JUMP
0000194c: JUMPDEST
0000194d: PUSH4 0x4e487b71
00001952: PUSH1 0xe0
00001954: SHL
00001955: PUSH1 0x00
00001957: MSTORE
00001958: PUSH1 0x11
0000195a: PUSH1 0x04
0000195c: MSTORE
0000195d: PUSH1 0x24
0000195f: PUSH1 0x00
00001961: REVERT
00001962: JUMPDEST
00001963: PUSH1 0x01
00001965: PUSH1 0x01
00001967: PUSH1 0x80
00001969: SHL
0000196a: SUB
0000196b: DUP3
0000196c: DUP2
0000196d: AND
0000196e: DUP3
0000196f: DUP3
00001970: AND
00001971: SUB
00001972: SWAP1
00001973: DUP1
00001974: DUP3
00001975: GT
00001976: ISZERO
00001977: PUSH2 0x1982
0000197a: JUMPI
0000197b: PUSH2 0x1982
0000197e: PUSH2 0x194c
00001981: JUMP
00001982: JUMPDEST
00001983: POP
00001984: SWAP3
00001985: SWAP2
00001986: POP
00001987: POP
00001988: JUMP
00001989: JUMPDEST
0000198a: PUSH1 0x00
0000198c: PUSH1 0x20
0000198e: DUP3
0000198f: DUP5
00001990: SUB
00001991: SLT
00001992: ISZERO
00001993: PUSH2 0x199b
00001996: JUMPI
00001997: PUSH1 0x00
00001999: DUP1
0000199a: REVERT
0000199b: JUMPDEST
0000199c: PUSH2 0x169d
0000199f: DUP3
000019a0: PUSH2 0x17b3
000019a3: JUMP
000019a4: JUMPDEST
000019a5: PUSH1 0x60
000019a7: DUP2
000019a8: ADD
000019a9: PUSH2 0x19b2
000019ac: DUP3
000019ad: DUP7
000019ae: PUSH2 0x13bf
000019b1: JUMP
000019b2: JUMPDEST
000019b3: PUSH1 0x01
000019b5: PUSH1 0x01
000019b7: PUSH1 0xa0
000019b9: SHL
000019ba: SUB
000019bb: SWAP4
000019bc: SWAP1
000019bd: SWAP4
000019be: AND
000019bf: PUSH1 0x20
000019c1: DUP3
000019c2: ADD
000019c3: MSTORE
000019c4: PUSH1 0x01
000019c6: PUSH1 0x01
000019c8: PUSH1 0x80
000019ca: SHL
000019cb: SUB
000019cc: SWAP2
000019cd: SWAP1
000019ce: SWAP2
000019cf: AND
000019d0: PUSH1 0x40
000019d2: SWAP1
000019d3: SWAP2
000019d4: ADD
000019d5: MSTORE
000019d6: SWAP2
000019d7: SWAP1
000019d8: POP
000019d9: JUMP
000019da: JUMPDEST
000019db: PUSH4 0x4e487b71
000019e0: PUSH1 0xe0
000019e2: SHL
000019e3: PUSH1 0x00
000019e5: MSTORE
000019e6: PUSH1 0x32
000019e8: PUSH1 0x04
000019ea: MSTORE
000019eb: PUSH1 0x24
000019ed: PUSH1 0x00
000019ef: REVERT
000019f0: JUMPDEST
000019f1: PUSH1 0x00
000019f3: PUSH1 0x01
000019f5: DUP3
000019f6: ADD
000019f7: PUSH2 0x1a02
000019fa: JUMPI
000019fb: PUSH2 0x1a02
000019fe: PUSH2 0x194c
00001a01: JUMP
00001a02: JUMPDEST
00001a03: POP
00001a04: PUSH1 0x01
00001a06: ADD
00001a07: SWAP1
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: DUP2
00001a0b: DUP4
00001a0c: DUP3
00001a0d: CALLDATACOPY
00001a0e: PUSH1 0x00
00001a10: SWAP2
00001a11: ADD
00001a12: SWAP1
00001a13: DUP2
00001a14: MSTORE
00001a15: SWAP2
00001a16: SWAP1
00001a17: POP
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: PUSH1 0x01
00001a1c: PUSH1 0x01
00001a1e: PUSH1 0xa0
00001a20: SHL
00001a21: SUB
00001a22: DUP5
00001a23: AND
00001a24: DUP2
00001a25: MSTORE
00001a26: PUSH1 0x40
00001a28: PUSH1 0x20
00001a2a: DUP3
00001a2b: ADD
00001a2c: DUP2
00001a2d: SWAP1
00001a2e: MSTORE
00001a2f: DUP2
00001a30: ADD
00001a31: DUP3
00001a32: SWAP1
00001a33: MSTORE
00001a34: DUP2
00001a35: DUP4
00001a36: PUSH1 0x60
00001a38: DUP4
00001a39: ADD
00001a3a: CALLDATACOPY
00001a3b: PUSH1 0x00
00001a3d: DUP2
00001a3e: DUP4
00001a3f: ADD
00001a40: PUSH1 0x60
00001a42: SWAP1
00001a43: DUP2
00001a44: ADD
00001a45: SWAP2
00001a46: SWAP1
00001a47: SWAP2
00001a48: MSTORE
00001a49: PUSH1 0x1f
00001a4b: SWAP1
00001a4c: SWAP3
00001a4d: ADD
00001a4e: PUSH1 0x1f
00001a50: NOT
00001a51: AND
00001a52: ADD
00001a53: ADD
00001a54: SWAP3
00001a55: SWAP2
00001a56: POP
00001a57: POP
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: PUSH1 0x00
00001a5c: PUSH1 0x20
00001a5e: DUP3
00001a5f: DUP5
00001a60: SUB
00001a61: SLT
00001a62: ISZERO
00001a63: PUSH2 0x1a6b
00001a66: JUMPI
00001a67: PUSH1 0x00
00001a69: DUP1
00001a6a: REVERT
00001a6b: JUMPDEST
00001a6c: POP
00001a6d: MLOAD
00001a6e: SWAP2
00001a6f: SWAP1
00001a70: POP
00001a71: JUMP
00001a72: JUMPDEST
00001a73: DUP1
00001a74: DUP3
00001a75: MUL
00001a76: DUP2
00001a77: ISZERO
00001a78: DUP3
00001a79: DUP3
00001a7a: DIV
00001a7b: DUP5
00001a7c: EQ
00001a7d: OR
00001a7e: PUSH2 0x0786
00001a81: JUMPI
00001a82: PUSH2 0x0786
00001a85: PUSH2 0x194c
00001a88: JUMP
00001a89: JUMPDEST
00001a8a: DUP1
00001a8b: DUP3
00001a8c: ADD
00001a8d: DUP1
00001a8e: DUP3
00001a8f: GT
00001a90: ISZERO
00001a91: PUSH2 0x0786
00001a94: JUMPI
00001a95: PUSH2 0x0786
00001a98: PUSH2 0x194c
00001a9b: JUMP
00001a9c: JUMPDEST
00001a9d: PUSH4 0x4e487b71
00001aa2: PUSH1 0xe0
00001aa4: SHL
00001aa5: PUSH1 0x00
00001aa7: MSTORE
00001aa8: PUSH1 0x12
00001aaa: PUSH1 0x04
00001aac: MSTORE
00001aad: PUSH1 0x24
00001aaf: PUSH1 0x00
00001ab1: REVERT
00001ab2: JUMPDEST
00001ab3: PUSH1 0x00
00001ab5: DUP3
00001ab6: PUSH2 0x1ac1
00001ab9: JUMPI
00001aba: PUSH2 0x1ac1
00001abd: PUSH2 0x1a9c
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: POP
00001ac3: DIV
00001ac4: SWAP1
00001ac5: JUMP
00001ac6: JUMPDEST
00001ac7: DUP2
00001ac8: DUP2
00001ac9: SUB
00001aca: DUP2
00001acb: DUP2
00001acc: GT
00001acd: ISZERO
00001ace: PUSH2 0x0786
00001ad1: JUMPI
00001ad2: PUSH2 0x0786
00001ad5: PUSH2 0x194c
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH1 0x01
00001adc: PUSH1 0x01
00001ade: PUSH1 0x80
00001ae0: SHL
00001ae1: SUB
00001ae2: DUP2
00001ae3: DUP2
00001ae4: AND
00001ae5: DUP4
00001ae6: DUP3
00001ae7: AND
00001ae8: MUL
00001ae9: DUP1
00001aea: DUP3
00001aeb: AND
00001aec: SWAP2
00001aed: SWAP1
00001aee: DUP3
00001aef: DUP2
00001af0: EQ
00001af1: PUSH2 0x1afc
00001af4: JUMPI
00001af5: PUSH2 0x1afc
00001af8: PUSH2 0x194c
00001afb: JUMP
00001afc: JUMPDEST
00001afd: POP
00001afe: POP
00001aff: SWAP3
00001b00: SWAP2
00001b01: POP
00001b02: POP
00001b03: JUMP
00001b04: JUMPDEST
00001b05: PUSH1 0x00
00001b07: PUSH1 0x01
00001b09: PUSH1 0x01
00001b0b: PUSH1 0x80
00001b0d: SHL
00001b0e: SUB
00001b0f: DUP1
00001b10: DUP5
00001b11: AND
00001b12: DUP1
00001b13: PUSH2 0x1b1e
00001b16: JUMPI
00001b17: PUSH2 0x1b1e
00001b1a: PUSH2 0x1a9c
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: SWAP3
00001b20: AND
00001b21: SWAP2
00001b22: SWAP1
00001b23: SWAP2
00001b24: DIV
00001b25: SWAP3
00001b26: SWAP2
00001b27: POP
00001b28: POP
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: PUSH4 0x4e487b71
00001b30: PUSH1 0xe0
00001b32: SHL
00001b33: PUSH1 0x00
00001b35: MSTORE
00001b36: PUSH1 0x01
00001b38: PUSH1 0x04
00001b3a: MSTORE
00001b3b: PUSH1 0x24
00001b3d: PUSH1 0x00
00001b3f: REVERT
00001b40: JUMPDEST
00001b41: PUSH1 0x00
00001b43: JUMPDEST
00001b44: DUP4
00001b45: DUP2
00001b46: LT
00001b47: ISZERO
00001b48: PUSH2 0x1b5b
00001b4b: JUMPI
00001b4c: DUP2
00001b4d: DUP2
00001b4e: ADD
00001b4f: MLOAD
00001b50: DUP4
00001b51: DUP3
00001b52: ADD
00001b53: MSTORE
00001b54: PUSH1 0x20
00001b56: ADD
00001b57: PUSH2 0x1b43
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: POP
00001b5d: POP
00001b5e: PUSH1 0x00
00001b60: SWAP2
00001b61: ADD
00001b62: MSTORE
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x01
00001b67: DUP1
00001b68: PUSH1 0xa0
00001b6a: SHL
00001b6b: SUB
00001b6c: DUP4
00001b6d: AND
00001b6e: DUP2
00001b6f: MSTORE
00001b70: PUSH1 0x40
00001b72: PUSH1 0x20
00001b74: DUP3
00001b75: ADD
00001b76: MSTORE
00001b77: PUSH1 0x00
00001b79: DUP3
00001b7a: MLOAD
00001b7b: DUP1
00001b7c: PUSH1 0x40
00001b7e: DUP5
00001b7f: ADD
00001b80: MSTORE
00001b81: PUSH2 0x1b91
00001b84: DUP2
00001b85: PUSH1 0x60
00001b87: DUP6
00001b88: ADD
00001b89: PUSH1 0x20
00001b8b: DUP8
00001b8c: ADD
00001b8d: PUSH2 0x1b40
00001b90: JUMP
00001b91: JUMPDEST
00001b92: PUSH1 0x1f
00001b94: ADD
00001b95: PUSH1 0x1f
00001b97: NOT
00001b98: AND
00001b99: SWAP2
00001b9a: SWAP1
00001b9b: SWAP2
00001b9c: ADD
00001b9d: PUSH1 0x60
00001b9f: ADD
00001ba0: SWAP4
00001ba1: SWAP3
00001ba2: POP
00001ba3: POP
00001ba4: POP
00001ba5: JUMP
00001ba6: JUMPDEST
00001ba7: PUSH1 0x00
00001ba9: DUP3
00001baa: MLOAD
00001bab: PUSH2 0x1bb8
00001bae: DUP2
00001baf: DUP5
00001bb0: PUSH1 0x20
00001bb2: DUP8
00001bb3: ADD
00001bb4: PUSH2 0x1b40
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: SWAP2
00001bba: SWAP1
00001bbb: SWAP2
00001bbc: ADD
00001bbd: SWAP3
00001bbe: SWAP2
00001bbf: POP
00001bc0: POP
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH1 0x00
00001bc5: PUSH1 0x20
00001bc7: DUP3
00001bc8: DUP5
00001bc9: SUB
00001bca: SLT
00001bcb: ISZERO
00001bcc: PUSH2 0x1bd4
00001bcf: JUMPI
00001bd0: PUSH1 0x00
00001bd2: DUP1
00001bd3: REVERT
00001bd4: JUMPDEST
00001bd5: DUP2
00001bd6: MLOAD
00001bd7: DUP1
00001bd8: ISZERO
00001bd9: ISZERO
00001bda: DUP2
00001bdb: EQ
00001bdc: PUSH2 0x169d
00001bdf: JUMPI
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: REVERT
00001be4: INVALID
00001be5: LOG2
00001be6: PUSH5 0x6970667358
00001bec: UNKNOWN(0x22)
00001bed: SLT
00001bee: KECCAK256
00001bef: UNKNOWN(0xEF)
00001bf0: MSTORE8
00001bf1: UNKNOWN(0xBA)
00001bf2: ADDRESS
00001bf3: UNKNOWN(0xB9)
00001bf4: SHR
00001bf5: NOT
00001bf6: STATICCALL
00001bf7: MCOPY
00001bf8: LOG0
00001bf9: UNKNOWN(0x0C)
00001bfa: UNKNOWN(0xBB)
00001bfb: BLOBBASEFEE
00001bfc: UNKNOWN(0xDD)
00001bfd: SWAP2
00001bfe: AND
00001bff: PUSH1 0xb6
00001c01: PUSH18 0xfd6d79382cd2826ffdee78fc0764736f6c63
00001c14: NUMBER
00001c15: STOP
00001c16: ADDMOD
00001c17: GT
00001c18: STOP
00001c19: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x6c7e835dfcc72e9978eb987545ebe1cdbff7a0302883c6fdad3b5d9e64cce3e5 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 168, "trace_id": "0x6c7e835dfcc72e9978eb987545ebe1cdbff7a0302883c6fdad3b5d9e64cce3e5", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xe3a7ef55", "selector": "0xe3a7ef55", "calldata_variants": [ "0xe3a7ef55", "0xe3a7ef550000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe81140ad", "selector": "0xe81140ad", "calldata_variants": [ "0xe81140ad", "0xe81140ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeedaf00d", "selector": "0xeedaf00d", "calldata_variants": [ "0xeedaf00d", "0xeedaf00d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c0eea", "selector": "0xff7c0eea", "calldata_variants": [ "0xff7c0eea", "0xff7c0eea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa73bf89e", "selector": "0xa73bf89e", "calldata_variants": [ "0xa73bf89e", "0xa73bf89e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd717111", "selector": "0xbd717111", "calldata_variants": [ "0xbd717111", "0xbd7171110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0af030c", "selector": "0xe0af030c", "calldata_variants": [ "0xe0af030c", "0xe0af030c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52800e82", "selector": "0x52800e82", "calldata_variants": [ "0x52800e82", "0x52800e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2246, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	upgradeability	slither	TokenDistributor.emergencyExecute(address,bytes) (contracts/distribution/TokenDistributor.sol#306-319) uses delegatecall to a input-controlled function id	85	no	—	view evidence_json { "impact": "High", "detector": "controlled-delegatecall", "elements": [ { "name": "emergencyExecute", "type": "function", "source_mapping": { "lines": [ 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319 ], "start": 10880, "length": 401, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "emergencyExecute(address,bytes)" } }, { "name": "(success,res) = targetAddress.delegatecall(targetCallData)", "type": "node", "source_mapping": { "lines": [ 314 ], "start": 11072, "length": 77, "ending_column": 86, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 9, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "emergencyExecute", "type": "function", "source_mapping": { "lines": [ 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319 ], "start": 10880, "length": 401, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "emergencyExecute(address,bytes)" } } } } ], "locations": [ { "file": "contracts/distribution/TokenDistributor.sol", "name": "emergencyExecute", "type": "function", "lines": [ 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319 ] }, { "file": "contracts/distribution/TokenDistributor.sol", "name": "(success,res) = targetAddress.delegatecall(targetCallData)", "type": "node", "lines": [ 314 ] } ], "description": "TokenDistributor.emergencyExecute(address,bytes) (contracts/distribution/TokenDistributor.sol#306-319) uses delegatecall to a input-controlled function id\n\t- (success,res) = targetAddress.delegatecall(targetCallData) (contracts/distribution/TokenDistributor.sol#314)" }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x7eb76aa37693b139fbf79f01c0b3e4598b96449db1d8d9e53792b158874f98e0 call_targets: 0x1ca2007a81f8a7491bb6e11d8e357fd810896454 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7eb76aa37693b139fbf79f01c0b3e4598b96449db1d8d9e53792b158874f98e0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1ca2007a81f8a7491bb6e11d8e357fd810896454" ], "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": "0xe3a7ef55", "selector": "0xe3a7ef55", "calldata_variants": [ "0xe3a7ef55", "0xe3a7ef550000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe81140ad", "selector": "0xe81140ad", "calldata_variants": [ "0xe81140ad", "0xe81140ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeedaf00d", "selector": "0xeedaf00d", "calldata_variants": [ "0xeedaf00d", "0xeedaf00d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c0eea", "selector": "0xff7c0eea", "calldata_variants": [ "0xff7c0eea", "0xff7c0eea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa73bf89e", "selector": "0xa73bf89e", "calldata_variants": [ "0xa73bf89e", "0xa73bf89e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd717111", "selector": "0xbd717111", "calldata_variants": [ "0xbd717111", "0xbd7171110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0af030c", "selector": "0xe0af030c", "calldata_variants": [ "0xe0af030c", "0xe0af030c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52800e82", "selector": "0x52800e82", "calldata_variants": [ "0x52800e82", "0x52800e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4632, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7eb76aa37693b139fbf79f01c0b3e4598b96449db1d8d9e53792b158874f98e0 call_targets: 0x1ca2007a81f8a7491bb6e11d8e357fd810896454 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7eb76aa37693b139fbf79f01c0b3e4598b96449db1d8d9e53792b158874f98e0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1ca2007a81f8a7491bb6e11d8e357fd810896454" ], "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": "0xe3a7ef55", "selector": "0xe3a7ef55", "calldata_variants": [ "0xe3a7ef55", "0xe3a7ef550000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe81140ad", "selector": "0xe81140ad", "calldata_variants": [ "0xe81140ad", "0xe81140ad0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeedaf00d", "selector": "0xeedaf00d", "calldata_variants": [ "0xeedaf00d", "0xeedaf00d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff7c0eea", "selector": "0xff7c0eea", "calldata_variants": [ "0xff7c0eea", "0xff7c0eea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa73bf89e", "selector": "0xa73bf89e", "calldata_variants": [ "0xa73bf89e", "0xa73bf89e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbd717111", "selector": "0xbd717111", "calldata_variants": [ "0xbd717111", "0xbd7171110000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0af030c", "selector": "0xe0af030c", "calldata_variants": [ "0xe0af030c", "0xe0af030c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52800e82", "selector": "0x52800e82", "calldata_variants": [ "0x52800e82", "0x52800e820000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4632, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
medium	upgradeability	cast	DELEGATECALL present	80	no	—	view evidence_json { "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns", "delegatecall_count": 1 }
medium	access_control	codex	Anyone can create a distribution for any party using global unaccounted balances, enabling front‑running theft of deposits	75	no	—	view evidence_json { "evidence": "`createNativeDistribution` and `createErc20Distribution` are externally callable by anyone and `_createDistribution` computes supply from the global balance delta for the token, not per party or caller.", "locations": [ "contracts/distribution/TokenDistributor.sol" ], "recommendation": "Bind distribution creation to an authorized party/caller (e.g., only the party contract or DAO), or require the creator to specify and transfer in the exact distribution amount via `transferFrom` in the same call. Alternatively, track balances per party or require a signed authorization from the party before creating a distribution from the global balance delta.", "exploit_scenario": "Alice transfers ERC20 tokens to `TokenDistributor` intending to distribute to Party A, but does not call `createErc20Distribution` in the same transaction (or uses a separate tx). Before Alice\u2019s call, an attacker calls `createErc20Distribution` for Party B. Because `_createDistribution` uses `currentTokenBalance - _storedBalances[balanceId]` without tying the new balance to the caller or party, the attacker\u2019s distribution captures Alice\u2019s deposited tokens. The attacker (or their party members) can then claim the funds." }
medium	reentrancy	slither	Reentrancy in TokenDistributor._transfer(ITokenDistributor.TokenType,address,address,uint256) (contracts/distribution/TokenDistributor.sol#361-389):	75	no	—	view evidence_json { "impact": "Medium", "detector": "reentrancy-no-eth", "elements": [ { "name": "_transfer", "type": "function", "source_mapping": { "lines": [ 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389 ], "start": 12762, "length": 1342, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "_transfer(ITokenDistributor.TokenType,address,address,uint256)" } }, { "name": "recipient.transferEth(amount)", "type": "node", "source_mapping": { "lines": [ 383 ], "start": 13878, "length": 29, "ending_column": 42, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 13, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "additional_fields": { "underlying_type": "external_calls" }, "type_specific_fields": { "parent": { "name": "_transfer", "type": "function", "source_mapping": { "lines": [ 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389 ], "start": 12762, "length": 1342, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "_transfer(ITokenDistributor.TokenType,address,address,uint256)" } } } }, { "name": "IERC20(token).compatTransfer(recipient,amount)", "type": "node", "source_mapping": { "lines": [ 386 ], "start": 13988, "length": 47, "ending_column": 60, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 13, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "additional_fields": { "underlying_type": "external_calls" }, "type_specific_fields": { "parent": { "name": "_transfer", "type": "function", "source_mapping": { "lines": [ 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389 ], "start": 12762, "length": 1342, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "_transfer(ITokenDistributor.TokenType,address,address,uint256)" } } } }, { "name": "_storedBalances[balanceId] = storedBalance", "type": "node", "source_mapping": { "lines": [ 388 ], "start": 14055, "length": 42, "ending_column": 51, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 9, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "additional_fields": { "variable_name": "_storedBalances", "underlying_type": "variables_written" }, "type_specific_fields": { "parent": { "name": "_transfer", "type": "function", "source_mapping": { "lines": [ 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389 ], "start": 12762, "length": 1342, "ending_column": 6, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 5, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" }, "type_specific_fields": { "parent": { "name": "TokenDistributor", "type": "contract", "source_mapping": { "lines": [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412 ], "start": 465, "length": 14209, "ending_column": 2, "is_dependency": false, "filename_short": "contracts/distribution/TokenDistributor.sol", "starting_column": 1, "filename_absolute": "/tmp/slither-nr29sz8r/contracts/distribution/TokenDistributor.sol", "filename_relative": "contracts/distribution/TokenDistributor.sol" } }, "signature": "_transfer(ITokenDistributor.TokenType,address,address,uint256)" } } } } ], "locations": [ { "file": "contracts/distribution/TokenDistributor.sol", "name": "_transfer", "type": "function", "lines": [ 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389 ] }, { "file": "contracts/distribution/TokenDistributor.sol", "name": "recipient.transferEth(amount)", "type": "node", "lines": [ 383 ] }, { "file": "contracts/distribution/TokenDistributor.sol", "name": "IERC20(token).compatTransfer(recipient,amount)", "type": "node", "lines": [ 386 ] }, { "file": "contracts/distribution/TokenDistributor.sol", "name": "_storedBalances[balanceId] = storedBalance", "type": "node", "lines": [ 388 ] } ], "description": "Reentrancy in TokenDistributor._transfer(ITokenDistributor.TokenType,address,address,uint256) (contracts/distribution/TokenDistributor.sol#361-389):\n\tExternal calls:\n\t- recipient.transferEth(amount) (contracts/distribution/TokenDistributor.sol#383)\n\t- IERC20(token).compatTransfer(recipient,amount) (contracts/distribution/TokenDistributor.sol#386)\n\tState variables written after the call(s):\n\t- _storedBalances[balanceId] = storedBalance (contracts/distribution/TokenDistributor.sol#388)\n\tTokenDistributor._storedBalances (contracts/distribution/TokenDistributor.sol#70) can be used in cross function reentrancies:\n\t- TokenDistributor._createDistribution(TokenDistributor.CreateDistributionArgs) (contracts/distribution/TokenDistributor.sol#321-359)\n\t- TokenDistributor._transfer(ITokenDistributor.TokenType,address,address,uint256) (contracts/distribution/TokenDistributor.sol#361-389)" }