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

Analysis Run

15984e80-2ad6-4751-9c3d-d36646f29220

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 6:27 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 proxy context implementation known
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
31714 report.consolidate complete 1 / 1 3 months ago
95707 artifact.fetch failed 1 / 3 1 week ago
95708 tool.cast_disasm complete 1 / 3 1 week ago
95709 analysis.bundle complete 1 / 3 1 week ago
95710 capability.graph complete 1 / 3 1 week ago
95711 detector.run complete 1 / 3 1 week ago
95712 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable value-extraction path identified in AUDIT_BUNDLE.txt under the provided assumptions (trusted libs/oz, admin keys secure). Residual risk: key implementations are out of scope (e.g., AccessControlManager, rswETH/rswEXIT, LST rate providers), so oracle/manipulation or access-control misuse there cannot be evaluated here.
View stderr
[codex:1052958] OpenAI Codex v0.77.0 (research preview)
[codex:1052958] --------
[codex:1052958] workdir: /tmp/codex-multi-p06p3fqz
[codex:1052958] model: gpt-5.2-codex
[codex:1052958] provider: openai
[codex:1052958] approval: never
[codex:1052958] sandbox: read-only
[codex:1052958] reasoning effort: xhigh
[codex:1052958] reasoning summaries: auto
[codex:1052958] session id: 019b8cd5-e1f8-78e1-abba-e34317be3de8
[codex:1052958] --------
[codex:1052958] user
[codex:1052958] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1052958] 
[codex:1052958] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1052958] 
[codex:1052958] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1052958] - Gas inefficiency, code quality, naming, or best practices
[codex:1052958] - Theoretical vulnerabilities without a clear extraction path
[codex:1052958] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1052958] - Front-running unless it enables theft beyond MEV
[codex:1052958] - DoS, griefing, or issues that don't result in attacker profit
[codex:1052958] - Missing events, view function issues, or informational findings
[codex:1052958] 
[codex:1052958] HIGH-VALUE PATTERNS TO HUNT:
[codex:1052958] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1052958] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1052958] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1052958] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1052958] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1052958] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1052958] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1052958] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1052958] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1052958] 
[codex:1052958] For each finding, you MUST provide:
[codex:1052958] 1. Exact file and line numbers of vulnerable code
[codex:1052958] 2. Step-by-step exploit transaction sequence
[codex:1052958] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1052958] 
[codex:1052958] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1052958] 
[codex:1052958] Output MUST be valid JSON matching the provided schema.
[codex:1052958] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1052958] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1052958] mcp startup: no servers
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Reading AUDIT_BUNDLE.txt**
[codex:1052958] exec
[codex:1052958] /bin/bash -lc ls in /tmp/codex-multi-p06p3fqz succeeded in 6ms:
[codex:1052958] AUDIT_BUNDLE.txt
[codex:1052958] codex-output-schema.json
[codex:1052958] contracts
[codex:1052958] exec
[codex:1052958] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-p06p3fqz succeeded in 6ms:
[codex:1052958] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1052958] 
[codex:1052958] ================================================================================
[codex:1052958] FILE: contracts/contracts/implementations/DepositManager.sol
[codex:1052958] ================================================================================
[codex:1052958] // SPDX-License-Identifier: UNLICENSED
[codex:1052958] pragma solidity 0.8.16;
[codex:1052958] 
[codex:1052958] import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1052958] import {AddressUpgradeable} from "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:1052958] import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1052958] import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1052958] 
[codex:1052958] import {IAccessControlManager} from "../interfaces/IAccessControlManager.sol";
[codex:1052958] import {IDepositManager} from "../interfaces/IDepositManager.sol";
[codex:1052958] import {ILstRateProvider} from "../interfaces/ILstRateProvider.sol";
[codex:1052958] import {INodeOperatorRegistry} from "../interfaces/INodeOperatorRegistry.sol";
[codex:1052958] import {IrswETH} from "../interfaces/IrswETH.sol";
[codex:1052958] import {IswETH} from "../interfaces/IswETH.sol";
[codex:1052958] import {IWhitelist} from "../interfaces/IWhitelist.sol";
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Searching for vulnerabilities in large file**
[codex:1052958] exec
[codex:1052958] /bin/bash -lc 'rg -n "withdraw|transfer|mint|burn|initialize|upgrade|delegate|permit|claim|redeem|deposit" AUDIT_BUNDLE.txt' in /tmp/codex-multi-p06p3fqz succeeded in 7ms:
[codex:1052958] 9:import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1052958] 10:import {AddressUpgradeable} from "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:1052958] 32: * @dev This contract is responsible for managing deposits of ETH into the ETH2 deposit contract, and ETH/ERC20s into EigenLayer.
[codex:1052958] 33: * @dev The following contracts are permissioned to withdraw from this contract: EigenLayerManager (ETH and tokens) for staking and rswEXIT (ETH) to satisfy withdrawals.
[codex:1052958] 41:      // Hardcoded address for the ETH2 deposit contract
[codex:1052958] 49:  // Validator setup in the deposit contract requires 32 ETH
[codex:1052958] 57:  /// @custom:oz-upgrades-unsafe-allow constructor
[codex:1052958] 99:  function initialize(
[codex:1052958] 104:    initializer
[codex:1052958] 115:  function withdrawERC20(
[codex:1052958] 139:    bytes32 _depositRoot
[codex:1052958] 150:    if (_depositRoot != DEPOSIT_CONTRACT.get_deposit_root()) {
[codex:1052958] 170:    // Cache the withdrawal credentials
[codex:1052958] 172:      memory withdrawalCredentials = generateWithdrawalCredentialsForEigenPod();
[codex:1052958] 175:      bytes32 depositDataRoot = DepositDataRoot.formatDepositDataRoot(
[codex:1052958] 177:        withdrawalCredentials,
[codex:1052958] 182:      DEPOSIT_CONTRACT.deposit{value: DEPOSIT_AMOUNT}(
[codex:1052958] 184:        withdrawalCredentials,
[codex:1052958] 186:        depositDataRoot
[codex:1052958] 193:  function depositLST(
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Searching key contract implementations**
[codex:1052958] exec
[codex:1052958] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-p06p3fqz succeeded in 6ms:
[codex:1052958] 4:FILE: contracts/contracts/implementations/DepositManager.sol
[codex:1052958] 335:FILE: contracts/contracts/implementations/EigenLayerManager.sol
[codex:1052958] 890:FILE: contracts/contracts/implementations/StakerProxy.sol
[codex:1052958] 1157:FILE: contracts/contracts/interfaces/IAccessControlManager.sol
[codex:1052958] 1433:FILE: contracts/contracts/interfaces/IDepositManager.sol
[codex:1052958] 1641:FILE: contracts/contracts/interfaces/IEigenLayerManager.sol
[codex:1052958] 2120:FILE: contracts/contracts/interfaces/ILstRateProvider.sol
[codex:1052958] 2137:FILE: contracts/contracts/interfaces/INodeOperatorRegistry.sol
[codex:1052958] 2570:FILE: contracts/contracts/interfaces/ISignatureVerification.sol
[codex:1052958] 2593:FILE: contracts/contracts/interfaces/IStakerProxy.sol
[codex:1052958] 2781:FILE: contracts/contracts/interfaces/IWhitelist.sol
[codex:1052958] 2896:FILE: contracts/contracts/interfaces/IrswETH.sol
[codex:1052958] 3246:FILE: contracts/contracts/interfaces/IrswEXIT.sol
[codex:1052958] 3498:FILE: contracts/contracts/interfaces/IswETH.sol
[codex:1052958] 3807:FILE: contracts/contracts/libraries/DepositDataRoot.sol
[codex:1052958] 3880:FILE: contracts/contracts/libraries/SwellLib.sol
[codex:1052958] 4012:FILE: contracts/contracts/vendors/IDepositContract.sol
[codex:1052958] 4062:FILE: contracts/contracts/vendors/IPoRAddresses.sol
[codex:1052958] 4100:FILE: contracts/contracts/vendors/contracts/interfaces/IBeaconChainOracle.sol
[codex:1052958] 4116:FILE: contracts/contracts/vendors/contracts/interfaces/IDelayedWithdrawalRouter.sol
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Inspecting StakerProxy implementation**
[codex:1052958] exec
[codex:1052958] /bin/bash -lc "sed -n '890,1156p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-p06p3fqz succeeded in 6ms:
[codex:1052958] FILE: contracts/contracts/implementations/StakerProxy.sol
[codex:1052958] ================================================================================
[codex:1052958] // SPDX-License-Identifier: UNLICENSED
[codex:1052958] pragma solidity 0.8.16;
[codex:1052958] 
[codex:1052958] import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1052958] import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1052958] 
[codex:1052958] import {IBeacon} from "@openzeppelin/contracts/proxy/beacon/IBeacon.sol";
[codex:1052958] import {ISignatureVerification} from "../interfaces/ISignatureVerification.sol";
[codex:1052958] import {IStakerProxy} from "../interfaces/IStakerProxy.sol";
[codex:1052958] import {IEigenPodManager} from "../vendors/contracts/interfaces/IEigenPodManager.sol";
[codex:1052958] import {IEigenPod} from "../vendors/contracts/interfaces/IEigenPod.sol";
[codex:1052958] import {IDelegationManager} from "../vendors/contracts/interfaces/IDelegationManager.sol";
[codex:1052958] import {IStrategy} from "../vendors/contracts/interfaces/IStrategy.sol";
[codex:1052958] import {IStrategyManager} from "../vendors/contracts/interfaces/IStrategyManager.sol";
[codex:1052958] import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1052958] 
[codex:1052958] import {DepositDataRoot} from "../libraries/DepositDataRoot.sol";
[codex:1052958] 
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Reviewing access control in StakerProxy**
[codex:1052958] exec
[codex:1052958] /bin/bash -lc "sed -n '3807,4011p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-p06p3fqz succeeded in 6ms:
[codex:1052958] FILE: contracts/contracts/libraries/DepositDataRoot.sol
[codex:1052958] ================================================================================
[codex:1052958] // SPDX-License-Identifier: UNLICENSED
[codex:1052958] pragma solidity 0.8.16;
[codex:1052958] 
[codex:1052958] import {BytesLib} from "solidity-bytes-utils/contracts/BytesLib.sol";
[codex:1052958] 
[codex:1052958] /**
[codex:1052958]  * @title DepositDataRoot
[codex:1052958]  * @author https://github.com/max-taylor
[codex:1052958]  * @notice This library helps to format the deposit data root for new validator setup
[codex:1052958]  */
[codex:1052958] library DepositDataRoot {
[codex:1052958]   using BytesLib for bytes;
[codex:1052958] 
[codex:1052958]   /**
[codex:1052958]    * @dev This method converts a uint64 value into a LE bytes array, this is required for compatibility with the beacon deposit contract
[codex:1052958]    * @dev Code was taken from: https://github.com/ethereum/consensus-specs/blob/dev/solidity_deposit_contract/deposit_contract.sol#L165
[codex:1052958]    * @param value The value to convert to the LE bytes array
[codex:1052958]    */
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Analyzing potential exploit routes**
[codex:1052958] 
[codex:1052958] I'm digging into how admin roles and external rate providers might be exploited, checking for missing access controls or reentrancy in DepositManager and related contracts. Since some implementations are missing, I'm focusing on reviewing callable functions in EigenLayerManager and StakerProxy for vulnerabilities linked to withdrawal or token handling.
[codex:1052958] exec
[codex:1052958] /bin/bash -lc "sed -n '335,889p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-p06p3fqz succeeded in 8ms:
[codex:1052958] FILE: contracts/contracts/implementations/EigenLayerManager.sol
[codex:1052958] ================================================================================
[codex:1052958] // SPDX-License-Identifier: Unlicensed
[codex:1052958] pragma solidity ^0.8.16;
[codex:1052958] 
[codex:1052958] import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1052958] import {BeaconProxy} from "@openzeppelin/contracts/proxy/beacon/BeaconProxy.sol";
[codex:1052958] import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1052958] import {UpgradeableBeacon} from "@openzeppelin/contracts/proxy/beacon/UpgradeableBeacon.sol";
[codex:1052958] import {ReentrancyGuardUpgradeable} from "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
[codex:1052958] 
[codex:1052958] import {SwellLib} from "../libraries/SwellLib.sol";
[codex:1052958] import {StakerProxy} from "../implementations/StakerProxy.sol";
[codex:1052958] import {IEigenLayerManager} from "../interfaces/IEigenLayerManager.sol";
[codex:1052958] import {INodeOperatorRegistry} from "../interfaces/INodeOperatorRegistry.sol";
[codex:1052958] import {IAccessControlManager} from "../interfaces/IAccessControlManager.sol";
[codex:1052958] import {IDelegationManager} from "../vendors/contracts/interfaces/IDelegationManager.sol";
[codex:1052958] import {BeaconChainProofs} from "../vendors/contracts/libraries/BeaconChainProofs.sol";
[codex:1052958] import {IDelayedWithdrawalRouter} from "../vendors/contracts/interfaces/IDelayedWithdrawalRouter.sol";
[codex:1052958] import {IEigenPodManager} from "../vendors/contracts/interfaces/IEigenPodManager.sol";
[codex:1052958] 
[codex:1052958] thinking
[codex:1052958] **Assessing potential vulnerabilities and summarizing results**
[codex:1052958] 
[codex:1052958] I've reviewed access controls, initialization patterns, proxy risks, signature uses, and reentrancy possibilities across contracts, finding no concrete exploit path given current assumptions. There are residual risks due to missing implementations and dependency on external secure components, so I’ll prepare a JSON report reflecting no findings but noting these assessment gaps.
[codex:1052958] codex
[codex:1052958] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path identified in AUDIT_BUNDLE.txt under the provided assumptions (trusted libs/oz, admin keys secure). Residual risk: key implementations are out of scope (e.g., AccessControlManager, rswETH/rswEXIT, LST rate providers), so oracle/manipulation or access-control misuse there cannot be evaluated here.","findings":[]}
[codex:1052958] tokens used
[codex:1052958] 40,836
[codex:1052958] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path identified in AUDIT_BUNDLE.txt under the provided assumptions (trusted libs/oz, admin keys secure). Residual risk: key implementations are out of scope (e.g., AccessControlManager, rswETH/rswEXIT, LST rate providers), so oracle/manipulation or access-control misuse there cannot be evaluated here.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-05T06:27:36.585812+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable value-extraction path identified in AUDIT_BUNDLE.txt under the provided assumptions (trusted libs/oz, admin keys secure). Residual risk: key implementations are out of scope (e.g., AccessControlManager, rswETH/rswEXIT, LST rate providers), so oracle/manipulation or access-control misuse there cannot be evaluated here.",
    "raw_final": {
        "summary": "No concrete, exploitable value-extraction path identified in AUDIT_BUNDLE.txt under the provided assumptions (trusted libs/oz, admin keys secure). Residual risk: key implementations are out of scope (e.g., AccessControlManager, rswETH/rswEXIT, LST rate providers), so oracle/manipulation or access-control misuse there cannot be evaluated here.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
41
EXT*/BALANCE
13
Total opcodes
8170
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0118
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d34ae60
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb79c64f8
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb79c64f8
0000002f: EQ
00000030: PUSH2 0x0357
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc8baaead
0000003a: EQ
0000003b: PUSH2 0x0379
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe5d098e0
00000045: EQ
00000046: PUSH2 0x03af
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe8ec1f79
00000050: EQ
00000051: PUSH2 0x03cf
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf4f3b200
0000005b: EQ
0000005c: PUSH2 0x03fc
0000005f: JUMPI
00000060: PUSH2 0x0154
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x7d34ae60
0000006b: EQ
0000006c: PUSH2 0x02bc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x902340a1
00000076: EQ
00000077: PUSH2 0x02dc
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x90b51625
00000081: EQ
00000082: PUSH2 0x0302
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x91c2c813
0000008c: EQ
0000008d: PUSH2 0x0317
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb449b7bc
00000097: EQ
00000098: PUSH2 0x0337
0000009b: JUMPI
0000009c: PUSH2 0x0154
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x3908f7f0
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x3908f7f0
000000b2: EQ
000000b3: PUSH2 0x01fb
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x485cc955
000000bd: EQ
000000be: PUSH2 0x0238
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x60d7faed
000000c8: EQ
000000c9: PUSH2 0x0258
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x65ac654b
000000d3: EQ
000000d4: PUSH2 0x0278
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x6b96736b
000000de: EQ
000000df: PUSH2 0x0298
000000e2: JUMPI
000000e3: PUSH2 0x0154
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x0dd8dd02
000000ee: EQ
000000ef: PUSH2 0x0179
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x1bc2399f
000000f9: EQ
000000fa: PUSH2 0x019b
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x2b8e227d
00000104: EQ
00000105: PUSH2 0x01bb
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x37c021c0
0000010f: EQ
00000110: PUSH2 0x01db
00000113: JUMPI
00000114: PUSH2 0x0154
00000117: JUMP
00000118: JUMPDEST
00000119: CALLDATASIZE
0000011a: PUSH2 0x0154
0000011d: JUMPI
0000011e: PUSH1 0x40
00000120: MLOAD
00000121: CALLVALUE
00000122: DUP2
00000123: MSTORE
00000124: CALLER
00000125: SWAP1
00000126: PUSH32 0xbfe611b001dfcd411432f7bf0d79b82b4b2ee81511edac123a3403c357fb972a
00000147: SWAP1
00000148: PUSH1 0x20
0000014a: ADD
0000014b: PUSH1 0x40
0000014d: MLOAD
0000014e: DUP1
0000014f: SWAP2
00000150: SUB
00000151: SWAP1
00000152: LOG2
00000153: STOP
00000154: JUMPDEST
00000155: CALLVALUE
00000156: DUP1
00000157: ISZERO
00000158: PUSH2 0x0160
0000015b: JUMPI
0000015c: PUSH1 0x00
0000015e: DUP1
0000015f: REVERT
00000160: JUMPDEST
00000161: POP
00000162: PUSH1 0x40
00000164: MLOAD
00000165: PUSH3 0x393b6d
00000169: PUSH1 0xe1
0000016b: SHL
0000016c: DUP2
0000016d: MSTORE
0000016e: PUSH1 0x04
00000170: ADD
00000171: PUSH1 0x40
00000173: MLOAD
00000174: DUP1
00000175: SWAP2
00000176: SUB
00000177: SWAP1
00000178: REVERT
00000179: JUMPDEST
0000017a: CALLVALUE
0000017b: DUP1
0000017c: ISZERO
0000017d: PUSH2 0x0185
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: POP
00000187: PUSH2 0x0199
0000018a: PUSH2 0x0194
0000018d: CALLDATASIZE
0000018e: PUSH1 0x04
00000190: PUSH2 0x24c8
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x041c
00000198: JUMP
00000199: JUMPDEST
0000019a: STOP
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH2 0x0199
000001ac: PUSH2 0x01b6
000001af: CALLDATASIZE
000001b0: PUSH1 0x04
000001b2: PUSH2 0x250a
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH2 0x0595
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x0199
000001cc: PUSH2 0x01d6
000001cf: CALLDATASIZE
000001d0: PUSH1 0x04
000001d2: PUSH2 0x2523
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH2 0x067e
000001da: JUMP
000001db: JUMPDEST
000001dc: CALLVALUE
000001dd: DUP1
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: PUSH2 0x0199
000001ec: PUSH2 0x01f6
000001ef: CALLDATASIZE
000001f0: PUSH1 0x04
000001f2: PUSH2 0x2594
000001f5: JUMP
000001f6: JUMPDEST
000001f7: PUSH2 0x0bf8
000001fa: JUMP
000001fb: JUMPDEST
000001fc: CALLVALUE
000001fd: DUP1
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: POP
00000209: PUSH1 0x03
0000020b: SLOAD
0000020c: PUSH2 0x021b
0000020f: SWAP1
00000210: PUSH1 0x01
00000212: PUSH1 0x01
00000214: PUSH1 0xa0
00000216: SHL
00000217: SUB
00000218: AND
00000219: DUP2
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: PUSH1 0x01
00000221: PUSH1 0x01
00000223: PUSH1 0xa0
00000225: SHL
00000226: SUB
00000227: SWAP1
00000228: SWAP2
00000229: AND
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: JUMPDEST
00000230: PUSH1 0x40
00000232: MLOAD
00000233: DUP1
00000234: SWAP2
00000235: SUB
00000236: SWAP1
00000237: RETURN
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x0199
00000249: PUSH2 0x0253
0000024c: CALLDATASIZE
0000024d: PUSH1 0x04
0000024f: PUSH2 0x25d6
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH2 0x0c38
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x0199
00000269: PUSH2 0x0273
0000026c: CALLDATASIZE
0000026d: PUSH1 0x04
0000026f: PUSH2 0x261d
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH2 0x0da0
00000277: JUMP
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH2 0x0199
00000289: PUSH2 0x0293
0000028c: CALLDATASIZE
0000028d: PUSH1 0x04
0000028f: PUSH2 0x26ad
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH2 0x0f0c
00000297: JUMP
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x021b
000002a9: PUSH16 0x219ab540356cbb839cbe05303d7705fa
000002ba: DUP2
000002bb: JUMP
000002bc: JUMPDEST
000002bd: CALLVALUE
000002be: DUP1
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: POP
000002ca: PUSH1 0x02
000002cc: SLOAD
000002cd: PUSH2 0x021b
000002d0: SWAP1
000002d1: PUSH1 0x01
000002d3: PUSH1 0x01
000002d5: PUSH1 0xa0
000002d7: SHL
000002d8: SUB
000002d9: AND
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: CALLVALUE
000002de: DUP1
000002df: ISZERO
000002e0: PUSH2 0x02e8
000002e3: JUMPI
000002e4: PUSH1 0x00
000002e6: DUP1
000002e7: REVERT
000002e8: JUMPDEST
000002e9: POP
000002ea: PUSH1 0x00
000002ec: SLOAD
000002ed: PUSH2 0x021b
000002f0: SWAP1
000002f1: PUSH3 0x010000
000002f5: SWAP1
000002f6: DIV
000002f7: PUSH1 0x01
000002f9: PUSH1 0x01
000002fb: PUSH1 0xa0
000002fd: SHL
000002fe: SUB
000002ff: AND
00000300: DUP2
00000301: JUMP
00000302: JUMPDEST
00000303: CALLVALUE
00000304: DUP1
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: POP
00000310: PUSH2 0x0199
00000313: PUSH2 0x0fec
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0199
00000328: PUSH2 0x0332
0000032b: CALLDATASIZE
0000032c: PUSH1 0x04
0000032e: PUSH2 0x25d6
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x10d5
00000336: JUMP
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: POP
00000345: PUSH2 0x0199
00000348: PUSH2 0x0352
0000034b: CALLDATASIZE
0000034c: PUSH1 0x04
0000034e: PUSH2 0x26d1
00000351: JUMP
00000352: JUMPDEST
00000353: PUSH2 0x11cb
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: DUP1
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: POP
00000365: PUSH2 0x036c
00000368: PUSH2 0x157f
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: PUSH2 0x022f
00000373: SWAP2
00000374: SWAP1
00000375: PUSH2 0x2756
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x0385
00000380: JUMPI
00000381: PUSH1 0x00
00000383: DUP1
00000384: REVERT
00000385: JUMPDEST
00000386: POP
00000387: PUSH2 0x021b
0000038a: PUSH2 0x0394
0000038d: CALLDATASIZE
0000038e: PUSH1 0x04
00000390: PUSH2 0x26ad
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x04
00000397: PUSH1 0x20
00000399: MSTORE
0000039a: PUSH1 0x00
0000039c: SWAP1
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x40
000003a1: SWAP1
000003a2: KECCAK256
000003a3: SLOAD
000003a4: PUSH1 0x01
000003a6: PUSH1 0x01
000003a8: PUSH1 0xa0
000003aa: SHL
000003ab: SUB
000003ac: AND
000003ad: DUP2
000003ae: JUMP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH1 0x01
000003bf: SLOAD
000003c0: PUSH2 0x021b
000003c3: SWAP1
000003c4: PUSH1 0x01
000003c6: PUSH1 0x01
000003c8: PUSH1 0xa0
000003ca: SHL
000003cb: SUB
000003cc: AND
000003cd: DUP2
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x03ef
000003e0: PUSH2 0x03ea
000003e3: CALLDATASIZE
000003e4: PUSH1 0x04
000003e6: PUSH2 0x2523
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH2 0x15c5
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH1 0x40
000003f2: MLOAD
000003f3: PUSH2 0x022f
000003f6: SWAP2
000003f7: SWAP1
000003f8: PUSH2 0x2769
000003fb: JUMP
000003fc: JUMPDEST
000003fd: CALLVALUE
000003fe: DUP1
000003ff: ISZERO
00000400: PUSH2 0x0408
00000403: JUMPI
00000404: PUSH1 0x00
00000406: DUP1
00000407: REVERT
00000408: JUMPDEST
00000409: POP
0000040a: PUSH2 0x0199
0000040d: PUSH2 0x0417
00000410: CALLDATASIZE
00000411: PUSH1 0x04
00000413: PUSH2 0x26ad
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH2 0x18f9
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x00
0000041f: SLOAD
00000420: PUSH1 0x40
00000422: MLOAD
00000423: PUSH4 0x12d9a6ad
00000428: PUSH1 0xe0
0000042a: SHL
0000042b: DUP2
0000042c: MSTORE
0000042d: PUSH32 0x68b5130048f4cc7cd384ada7c88f93239dc62916061e88762600cfc74cad4c3d
0000044e: PUSH1 0x04
00000450: DUP3
00000451: ADD
00000452: DUP2
00000453: SWAP1
00000454: MSTORE
00000455: CALLER
00000456: PUSH1 0x24
00000458: DUP4
00000459: ADD
0000045a: MSTORE
0000045b: SWAP2
0000045c: PUSH3 0x010000
00000460: SWAP1
00000461: DIV
00000462: PUSH1 0x01
00000464: PUSH1 0x01
00000466: PUSH1 0xa0
00000468: SHL
00000469: SUB
0000046a: AND
0000046b: SWAP1
0000046c: PUSH4 0x12d9a6ad
00000471: SWAP1
00000472: PUSH1 0x44
00000474: ADD
00000475: PUSH1 0x00
00000477: PUSH1 0x40
00000479: MLOAD
0000047a: DUP1
0000047b: DUP4
0000047c: SUB
0000047d: DUP2
0000047e: DUP7
0000047f: DUP1
00000480: EXTCODESIZE
00000481: ISZERO
00000482: DUP1
00000483: ISZERO
00000484: PUSH2 0x048c
00000487: JUMPI
00000488: PUSH1 0x00
0000048a: DUP1
0000048b: REVERT
0000048c: JUMPDEST
0000048d: POP
0000048e: GAS
0000048f: STATICCALL
00000490: ISZERO
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x04a0
00000496: JUMPI
00000497: RETURNDATASIZE
00000498: PUSH1 0x00
0000049a: DUP1
0000049b: RETURNDATACOPY
0000049c: RETURNDATASIZE
0000049d: PUSH1 0x00
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: POP
000004a3: POP
000004a4: POP
000004a5: PUSH1 0x03
000004a7: PUSH1 0x00
000004a9: SWAP1
000004aa: SLOAD
000004ab: SWAP1
000004ac: PUSH2 0x0100
000004af: EXP
000004b0: SWAP1
000004b1: DIV
000004b2: PUSH1 0x01
000004b4: PUSH1 0x01
000004b6: PUSH1 0xa0
000004b8: SHL
000004b9: SUB
000004ba: AND
000004bb: PUSH1 0x01
000004bd: PUSH1 0x01
000004bf: PUSH1 0xa0
000004c1: SHL
000004c2: SUB
000004c3: AND
000004c4: PUSH4 0x6155511a
000004c9: PUSH1 0x40
000004cb: MLOAD
000004cc: DUP2
000004cd: PUSH4 0xffffffff
000004d2: AND
000004d3: PUSH1 0xe0
000004d5: SHL
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x04
000004da: ADD
000004db: PUSH1 0x20
000004dd: PUSH1 0x40
000004df: MLOAD
000004e0: DUP1
000004e1: DUP4
000004e2: SUB
000004e3: DUP2
000004e4: DUP7
000004e5: GAS
000004e6: STATICCALL
000004e7: ISZERO
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f7
000004ed: JUMPI
000004ee: RETURNDATASIZE
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: RETURNDATACOPY
000004f3: RETURNDATASIZE
000004f4: PUSH1 0x00
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: RETURNDATASIZE
00000500: PUSH1 0x1f
00000502: NOT
00000503: PUSH1 0x1f
00000505: DUP3
00000506: ADD
00000507: AND
00000508: DUP3
00000509: ADD
0000050a: DUP1
0000050b: PUSH1 0x40
0000050d: MSTORE
0000050e: POP
0000050f: DUP2
00000510: ADD
00000511: SWAP1
00000512: PUSH2 0x051b
00000515: SWAP2
00000516: SWAP1
00000517: PUSH2 0x27ee
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x01
0000051e: PUSH1 0x01
00000520: PUSH1 0xa0
00000522: SHL
00000523: SUB
00000524: AND
00000525: PUSH4 0x0dd8dd02
0000052a: DUP5
0000052b: DUP5
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: DUP4
00000530: PUSH4 0xffffffff
00000535: AND
00000536: PUSH1 0xe0
00000538: SHL
00000539: DUP2
0000053a: MSTORE
0000053b: PUSH1 0x04
0000053d: ADD
0000053e: PUSH2 0x0548
00000541: SWAP3
00000542: SWAP2
00000543: SWAP1
00000544: PUSH2 0x28cf
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x00
0000054b: PUSH1 0x40
0000054d: MLOAD
0000054e: DUP1
0000054f: DUP4
00000550: SUB
00000551: DUP2
00000552: PUSH1 0x00
00000554: DUP8
00000555: GAS
00000556: CALL
00000557: ISZERO
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0567
0000055d: JUMPI
0000055e: RETURNDATASIZE
0000055f: PUSH1 0x00
00000561: DUP1
00000562: RETURNDATACOPY
00000563: RETURNDATASIZE
00000564: PUSH1 0x00
00000566: REVERT
00000567: JUMPDEST
00000568: POP
00000569: POP
0000056a: POP
0000056b: POP
0000056c: PUSH1 0x40
0000056e: MLOAD
0000056f: RETURNDATASIZE
00000570: PUSH1 0x00
00000572: DUP3
00000573: RETURNDATACOPY
00000574: PUSH1 0x1f
00000576: RETURNDATASIZE
00000577: SWAP1
00000578: DUP2
00000579: ADD
0000057a: PUSH1 0x1f
0000057c: NOT
0000057d: AND
0000057e: DUP3
0000057f: ADD
00000580: PUSH1 0x40
00000582: MSTORE
00000583: PUSH2 0x058f
00000586: SWAP2
00000587: SWAP1
00000588: DUP2
00000589: ADD
0000058a: SWAP1
0000058b: PUSH2 0x2a2d
0000058e: JUMP
0000058f: JUMPDEST
00000590: POP
00000591: POP
00000592: POP
00000593: POP
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x00
00000598: PUSH1 0x02
0000059a: SWAP1
0000059b: SLOAD
0000059c: SWAP1
0000059d: PUSH2 0x0100
000005a0: EXP
000005a1: SWAP1
000005a2: DIV
000005a3: PUSH1 0x01
000005a5: PUSH1 0x01
000005a7: PUSH1 0xa0
000005a9: SHL
000005aa: SUB
000005ab: AND
000005ac: PUSH1 0x01
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: SHL
000005b3: SUB
000005b4: AND
000005b5: PUSH4 0xfb2b37ff
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP2
000005be: PUSH4 0xffffffff
000005c3: AND
000005c4: PUSH1 0xe0
000005c6: SHL
000005c7: DUP2
000005c8: MSTORE
000005c9: PUSH1 0x04
000005cb: ADD
000005cc: PUSH1 0x20
000005ce: PUSH1 0x40
000005d0: MLOAD
000005d1: DUP1
000005d2: DUP4
000005d3: SUB
000005d4: DUP2
000005d5: DUP7
000005d6: GAS
000005d7: STATICCALL
000005d8: ISZERO
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e8
000005de: JUMPI
000005df: RETURNDATASIZE
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: RETURNDATACOPY
000005e4: RETURNDATASIZE
000005e5: PUSH1 0x00
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: POP
000005eb: POP
000005ec: POP
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: RETURNDATASIZE
000005f1: PUSH1 0x1f
000005f3: NOT
000005f4: PUSH1 0x1f
000005f6: DUP3
000005f7: ADD
000005f8: AND
000005f9: DUP3
000005fa: ADD
000005fb: DUP1
000005fc: PUSH1 0x40
000005fe: MSTORE
000005ff: POP
00000600: DUP2
00000601: ADD
00000602: SWAP1
00000603: PUSH2 0x060c
00000606: SWAP2
00000607: SWAP1
00000608: PUSH2 0x27ee
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH1 0x01
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: SHL
00000614: SUB
00000615: AND
00000616: CALLER
00000617: PUSH1 0x01
00000619: PUSH1 0x01
0000061b: PUSH1 0xa0
0000061d: SHL
0000061e: SUB
0000061f: AND
00000620: EQ
00000621: PUSH2 0x063c
00000624: JUMPI
00000625: PUSH1 0x40
00000627: MLOAD
00000628: PUSH3 0xaae97b
0000062c: PUSH1 0xe6
0000062e: SHL
0000062f: DUP2
00000630: MSTORE
00000631: PUSH1 0x04
00000633: ADD
00000634: PUSH1 0x40
00000636: MLOAD
00000637: DUP1
00000638: SWAP2
00000639: SUB
0000063a: SWAP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: PUSH2 0x0646
00000640: CALLER
00000641: DUP3
00000642: PUSH2 0x1a23
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x40
00000649: MLOAD
0000064a: DUP2
0000064b: DUP2
0000064c: MSTORE
0000064d: CALLER
0000064e: SWAP1
0000064f: PUSH32 0x78f5cdad99320ec2ba57132d7dffb1d125775c823239e60ff5e9300fd4ac898c
00000670: SWAP1
00000671: PUSH1 0x20
00000673: ADD
00000674: PUSH1 0x40
00000676: MLOAD
00000677: DUP1
00000678: SWAP2
00000679: SUB
0000067a: SWAP1
0000067b: LOG2
0000067c: POP
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH1 0x00
00000681: SLOAD
00000682: PUSH1 0x40
00000684: MLOAD
00000685: PUSH4 0x12d9a6ad
0000068a: PUSH1 0xe0
0000068c: SHL
0000068d: DUP2
0000068e: MSTORE
0000068f: PUSH32 0x902cbe3a02736af9827fb6a90bada39e955c0941e08f0c63b3a662a7b17a4e2b
000006b0: PUSH1 0x04
000006b2: DUP3
000006b3: ADD
000006b4: DUP2
000006b5: SWAP1
000006b6: MSTORE
000006b7: CALLER
000006b8: PUSH1 0x24
000006ba: DUP4
000006bb: ADD
000006bc: MSTORE
000006bd: SWAP2
000006be: PUSH3 0x010000
000006c2: SWAP1
000006c3: DIV
000006c4: PUSH1 0x01
000006c6: PUSH1 0x01
000006c8: PUSH1 0xa0
000006ca: SHL
000006cb: SUB
000006cc: AND
000006cd: SWAP1
000006ce: PUSH4 0x12d9a6ad
000006d3: SWAP1
000006d4: PUSH1 0x44
000006d6: ADD
000006d7: PUSH1 0x00
000006d9: PUSH1 0x40
000006db: MLOAD
000006dc: DUP1
000006dd: DUP4
000006de: SUB
000006df: DUP2
000006e0: DUP7
000006e1: DUP1
000006e2: EXTCODESIZE
000006e3: ISZERO
000006e4: DUP1
000006e5: ISZERO
000006e6: PUSH2 0x06ee
000006e9: JUMPI
000006ea: PUSH1 0x00
000006ec: DUP1
000006ed: REVERT
000006ee: JUMPDEST
000006ef: POP
000006f0: GAS
000006f1: STATICCALL
000006f2: ISZERO
000006f3: DUP1
000006f4: ISZERO
000006f5: PUSH2 0x0702
000006f8: JUMPI
000006f9: RETURNDATASIZE
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: RETURNDATACOPY
000006fe: RETURNDATASIZE
000006ff: PUSH1 0x00
00000701: REVERT
00000702: JUMPDEST
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: PUSH1 0x00
00000709: PUSH1 0x02
0000070b: SWAP1
0000070c: SLOAD
0000070d: SWAP1
0000070e: PUSH2 0x0100
00000711: EXP
00000712: SWAP1
00000713: DIV
00000714: PUSH1 0x01
00000716: PUSH1 0x01
00000718: PUSH1 0xa0
0000071a: SHL
0000071b: SUB
0000071c: AND
0000071d: PUSH1 0x01
0000071f: PUSH1 0x01
00000721: PUSH1 0xa0
00000723: SHL
00000724: SUB
00000725: AND
00000726: PUSH4 0xd19a8502
0000072b: PUSH1 0x40
0000072d: MLOAD
0000072e: DUP2
0000072f: PUSH4 0xffffffff
00000734: AND
00000735: PUSH1 0xe0
00000737: SHL
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x04
0000073c: ADD
0000073d: PUSH1 0x20
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: DUP1
00000743: DUP4
00000744: SUB
00000745: DUP2
00000746: DUP7
00000747: GAS
00000748: STATICCALL
00000749: ISZERO
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x0759
0000074f: JUMPI
00000750: RETURNDATASIZE
00000751: PUSH1 0x00
00000753: DUP1
00000754: RETURNDATACOPY
00000755: RETURNDATASIZE
00000756: PUSH1 0x00
00000758: REVERT
00000759: JUMPDEST
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: PUSH1 0x40
00000760: MLOAD
00000761: RETURNDATASIZE
00000762: PUSH1 0x1f
00000764: NOT
00000765: PUSH1 0x1f
00000767: DUP3
00000768: ADD
00000769: AND
0000076a: DUP3
0000076b: ADD
0000076c: DUP1
0000076d: PUSH1 0x40
0000076f: MSTORE
00000770: POP
00000771: DUP2
00000772: ADD
00000773: SWAP1
00000774: PUSH2 0x077d
00000777: SWAP2
00000778: SWAP1
00000779: PUSH2 0x2ab8
0000077c: JUMP
0000077d: JUMPDEST
0000077e: ISZERO
0000077f: PUSH2 0x079b
00000782: JUMPI
00000783: PUSH1 0x40
00000785: MLOAD
00000786: PUSH4 0xe014c4ff
0000078b: PUSH1 0xe0
0000078d: SHL
0000078e: DUP2
0000078f: MSTORE
00000790: PUSH1 0x04
00000792: ADD
00000793: PUSH1 0x40
00000795: MLOAD
00000796: DUP1
00000797: SWAP2
00000798: SUB
00000799: SWAP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: PUSH1 0x00
0000079e: DUP4
0000079f: SWAP1
000007a0: SUB
000007a1: PUSH2 0x07bd
000007a4: JUMPI
000007a5: PUSH1 0x40
000007a7: MLOAD
000007a8: PUSH4 0x1ec5a9df
000007ad: PUSH1 0xe0
000007af: SHL
000007b0: DUP2
000007b1: MSTORE
000007b2: PUSH1 0x04
000007b4: ADD
000007b5: PUSH1 0x40
000007b7: MLOAD
000007b8: DUP1
000007b9: SWAP2
000007ba: SUB
000007bb: SWAP1
000007bc: REVERT
000007bd: JUMPDEST
000007be: PUSH16 0x219ab540356cbb839cbe05303d7705fa
000007cf: PUSH1 0x01
000007d1: PUSH1 0x01
000007d3: PUSH1 0xa0
000007d5: SHL
000007d6: SUB
000007d7: AND
000007d8: PUSH4 0xc5f2892f
000007dd: PUSH1 0x40
000007df: MLOAD
000007e0: DUP2
000007e1: PUSH4 0xffffffff
000007e6: AND
000007e7: PUSH1 0xe0
000007e9: SHL
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x04
000007ee: ADD
000007ef: PUSH1 0x20
000007f1: PUSH1 0x40
000007f3: MLOAD
000007f4: DUP1
000007f5: DUP4
000007f6: SUB
000007f7: DUP2
000007f8: DUP7
000007f9: GAS
000007fa: STATICCALL
000007fb: ISZERO
000007fc: DUP1
000007fd: ISZERO
000007fe: PUSH2 0x080b
00000801: JUMPI
00000802: RETURNDATASIZE
00000803: PUSH1 0x00
00000805: DUP1
00000806: RETURNDATACOPY
00000807: RETURNDATASIZE
00000808: PUSH1 0x00
0000080a: REVERT
0000080b: JUMPDEST
0000080c: POP
0000080d: POP
0000080e: POP
0000080f: POP
00000810: PUSH1 0x40
00000812: MLOAD
00000813: RETURNDATASIZE
00000814: PUSH1 0x1f
00000816: NOT
00000817: PUSH1 0x1f
00000819: DUP3
0000081a: ADD
0000081b: AND
0000081c: DUP3
0000081d: ADD
0000081e: DUP1
0000081f: PUSH1 0x40
00000821: MSTORE
00000822: POP
00000823: DUP2
00000824: ADD
00000825: SWAP1
00000826: PUSH2 0x082f
00000829: SWAP2
0000082a: SWAP1
0000082b: PUSH2 0x2ad5
0000082e: JUMP
0000082f: JUMPDEST
00000830: DUP3
00000831: EQ
00000832: PUSH2 0x084e
00000835: JUMPI
00000836: PUSH1 0x40
00000838: MLOAD
00000839: PUSH4 0x511fc763
0000083e: PUSH1 0xe0
00000840: SHL
00000841: DUP2
00000842: MSTORE
00000843: PUSH1 0x04
00000845: ADD
00000846: PUSH1 0x40
00000848: MLOAD
00000849: DUP1
0000084a: SWAP2
0000084b: SUB
0000084c: SWAP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: PUSH1 0x00
00000851: DUP1
00000852: PUSH1 0x02
00000854: SWAP1
00000855: SLOAD
00000856: SWAP1
00000857: PUSH2 0x0100
0000085a: EXP
0000085b: SWAP1
0000085c: DIV
0000085d: PUSH1 0x01
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: SHL
00000864: SUB
00000865: AND
00000866: PUSH1 0x01
00000868: PUSH1 0x01
0000086a: PUSH1 0xa0
0000086c: SHL
0000086d: SUB
0000086e: AND
0000086f: PUSH4 0xfb2b37ff
00000874: PUSH1 0x40
00000876: MLOAD
00000877: DUP2
00000878: PUSH4 0xffffffff
0000087d: AND
0000087e: PUSH1 0xe0
00000880: SHL
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x04
00000885: ADD
00000886: PUSH1 0x20
00000888: PUSH1 0x40
0000088a: MLOAD
0000088b: DUP1
0000088c: DUP4
0000088d: SUB
0000088e: DUP2
0000088f: DUP7
00000890: GAS
00000891: STATICCALL
00000892: ISZERO
00000893: DUP1
00000894: ISZERO
00000895: PUSH2 0x08a2
00000898: JUMPI
00000899: RETURNDATASIZE
0000089a: PUSH1 0x00
0000089c: DUP1
0000089d: RETURNDATACOPY
0000089e: RETURNDATASIZE
0000089f: PUSH1 0x00
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: POP
000008a5: POP
000008a6: POP
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: RETURNDATASIZE
000008ab: PUSH1 0x1f
000008ad: NOT
000008ae: PUSH1 0x1f
000008b0: DUP3
000008b1: ADD
000008b2: AND
000008b3: DUP3
000008b4: ADD
000008b5: DUP1
000008b6: PUSH1 0x40
000008b8: MSTORE
000008b9: POP
000008ba: DUP2
000008bb: ADD
000008bc: SWAP1
000008bd: PUSH2 0x08c6
000008c0: SWAP2
000008c1: SWAP1
000008c2: PUSH2 0x27ee
000008c5: JUMP
000008c6: JUMPDEST
000008c7: PUSH1 0x01
000008c9: PUSH1 0x01
000008cb: PUSH1 0xa0
000008cd: SHL
000008ce: SUB
000008cf: AND
000008d0: PUSH4 0x8545f689
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP2
000008d9: PUSH4 0xffffffff
000008de: AND
000008df: PUSH1 0xe0
000008e1: SHL
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x04
000008e6: ADD
000008e7: PUSH1 0x20
000008e9: PUSH1 0x40
000008eb: MLOAD
000008ec: DUP1
000008ed: DUP4
000008ee: SUB
000008ef: DUP2
000008f0: DUP7
000008f1: GAS
000008f2: STATICCALL
000008f3: ISZERO
000008f4: DUP1
000008f5: ISZERO
000008f6: PUSH2 0x0903
000008f9: JUMPI
000008fa: RETURNDATASIZE
000008fb: PUSH1 0x00
000008fd: DUP1
000008fe: RETURNDATACOPY
000008ff: RETURNDATASIZE
00000900: PUSH1 0x00
00000902: REVERT
00000903: JUMPDEST
00000904: POP
00000905: POP
00000906: POP
00000907: POP
00000908: PUSH1 0x40
0000090a: MLOAD
0000090b: RETURNDATASIZE
0000090c: PUSH1 0x1f
0000090e: NOT
0000090f: PUSH1 0x1f
00000911: DUP3
00000912: ADD
00000913: AND
00000914: DUP3
00000915: ADD
00000916: DUP1
00000917: PUSH1 0x40
00000919: MSTORE
0000091a: POP
0000091b: DUP2
0000091c: ADD
0000091d: SWAP1
0000091e: PUSH2 0x0927
00000921: SWAP2
00000922: SWAP1
00000923: PUSH2 0x2ad5
00000926: JUMP
00000927: JUMPDEST
00000928: SWAP1
00000929: POP
0000092a: DUP1
0000092b: PUSH2 0x093d
0000092e: PUSH9 0x01bc16d674ec800000
00000938: DUP7
00000939: PUSH2 0x2b04
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH2 0x0947
00000941: SWAP2
00000942: SWAP1
00000943: PUSH2 0x2b23
00000946: JUMP
00000947: JUMPDEST
00000948: SELFBALANCE
00000949: LT
0000094a: ISZERO
0000094b: PUSH2 0x0967
0000094e: JUMPI
0000094f: PUSH1 0x40
00000951: MLOAD
00000952: PUSH4 0x5dd90557
00000957: PUSH1 0xe1
00000959: SHL
0000095a: DUP2
0000095b: MSTORE
0000095c: PUSH1 0x04
0000095e: ADD
0000095f: PUSH1 0x40
00000961: MLOAD
00000962: DUP1
00000963: SWAP2
00000964: SUB
00000965: SWAP1
00000966: REVERT
00000967: JUMPDEST
00000968: PUSH1 0x02
0000096a: SLOAD
0000096b: PUSH1 0x01
0000096d: PUSH1 0x01
0000096f: PUSH1 0xa0
00000971: SHL
00000972: SUB
00000973: AND
00000974: PUSH2 0x0990
00000977: JUMPI
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: PUSH4 0xc3edd793
00000980: PUSH1 0xe0
00000982: SHL
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x04
00000987: ADD
00000988: PUSH1 0x40
0000098a: MLOAD
0000098b: DUP1
0000098c: SWAP2
0000098d: SUB
0000098e: SWAP1
0000098f: REVERT
00000990: JUMPDEST
00000991: PUSH1 0x00
00000993: DUP1
00000994: PUSH1 0x02
00000996: SWAP1
00000997: SLOAD
00000998: SWAP1
00000999: PUSH2 0x0100
0000099c: EXP
0000099d: SWAP1
0000099e: DIV
0000099f: PUSH1 0x01
000009a1: PUSH1 0x01
000009a3: PUSH1 0xa0
000009a5: SHL
000009a6: SUB
000009a7: AND
000009a8: PUSH1 0x01
000009aa: PUSH1 0x01
000009ac: PUSH1 0xa0
000009ae: SHL
000009af: SUB
000009b0: AND
000009b1: PUSH4 0x9ffaaa3b
000009b6: PUSH1 0x40
000009b8: MLOAD
000009b9: DUP2
000009ba: PUSH4 0xffffffff
000009bf: AND
000009c0: PUSH1 0xe0
000009c2: SHL
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x04
000009c7: ADD
000009c8: PUSH1 0x20
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: DUP1
000009ce: DUP4
000009cf: SUB
000009d0: DUP2
000009d1: DUP7
000009d2: GAS
000009d3: STATICCALL
000009d4: ISZERO
000009d5: DUP1
000009d6: ISZERO
000009d7: PUSH2 0x09e4
000009da: JUMPI
000009db: RETURNDATASIZE
000009dc: PUSH1 0x00
000009de: DUP1
000009df: RETURNDATACOPY
000009e0: RETURNDATASIZE
000009e1: PUSH1 0x00
000009e3: REVERT
000009e4: JUMPDEST
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: PUSH1 0x40
000009eb: MLOAD
000009ec: RETURNDATASIZE
000009ed: PUSH1 0x1f
000009ef: NOT
000009f0: PUSH1 0x1f
000009f2: DUP3
000009f3: ADD
000009f4: AND
000009f5: DUP3
000009f6: ADD
000009f7: DUP1
000009f8: PUSH1 0x40
000009fa: MSTORE
000009fb: POP
000009fc: DUP2
000009fd: ADD
000009fe: SWAP1
000009ff: PUSH2 0x0a08
00000a02: SWAP2
00000a03: SWAP1
00000a04: PUSH2 0x27ee
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x01
00000a0b: PUSH1 0x01
00000a0d: PUSH1 0xa0
00000a0f: SHL
00000a10: SUB
00000a11: AND
00000a12: PUSH4 0xc3953502
00000a17: DUP8
00000a18: DUP8
00000a19: PUSH1 0x40
00000a1b: MLOAD
00000a1c: DUP4
00000a1d: PUSH4 0xffffffff
00000a22: AND
00000a23: PUSH1 0xe0
00000a25: SHL
00000a26: DUP2
00000a27: MSTORE
00000a28: PUSH1 0x04
00000a2a: ADD
00000a2b: PUSH2 0x0a35
00000a2e: SWAP3
00000a2f: SWAP2
00000a30: SWAP1
00000a31: PUSH2 0x2b65
00000a34: JUMP
00000a35: JUMPDEST
00000a36: PUSH1 0x00
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: DUP1
00000a3c: DUP4
00000a3d: SUB
00000a3e: DUP2
00000a3f: PUSH1 0x00
00000a41: DUP8
00000a42: GAS
00000a43: CALL
00000a44: ISZERO
00000a45: DUP1
00000a46: ISZERO
00000a47: PUSH2 0x0a54
00000a4a: JUMPI
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: RETURNDATACOPY
00000a50: RETURNDATASIZE
00000a51: PUSH1 0x00
00000a53: REVERT
00000a54: JUMPDEST
00000a55: POP
00000a56: POP
00000a57: POP
00000a58: POP
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: RETURNDATASIZE
00000a5d: PUSH1 0x00
00000a5f: DUP3
00000a60: RETURNDATACOPY
00000a61: PUSH1 0x1f
00000a63: RETURNDATASIZE
00000a64: SWAP1
00000a65: DUP2
00000a66: ADD
00000a67: PUSH1 0x1f
00000a69: NOT
00000a6a: AND
00000a6b: DUP3
00000a6c: ADD
00000a6d: PUSH1 0x40
00000a6f: MSTORE
00000a70: PUSH2 0x0a7c
00000a73: SWAP2
00000a74: SWAP1
00000a75: DUP2
00000a76: ADD
00000a77: SWAP1
00000a78: PUSH2 0x2c65
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: SWAP1
00000a7e: POP
00000a7f: PUSH1 0x00
00000a81: PUSH2 0x0a88
00000a84: PUSH2 0x157f
00000a87: JUMP
00000a88: JUMPDEST
00000a89: SWAP1
00000a8a: POP
00000a8b: PUSH1 0x00
00000a8d: JUMPDEST
00000a8e: DUP3
00000a8f: MLOAD
00000a90: DUP2
00000a91: LT
00000a92: ISZERO
00000a93: PUSH2 0x0bb5
00000a96: JUMPI
00000a97: PUSH1 0x00
00000a99: PUSH2 0x0ae7
00000a9c: DUP5
00000a9d: DUP4
00000a9e: DUP2
00000a9f: MLOAD
00000aa0: DUP2
00000aa1: LT
00000aa2: PUSH2 0x0aad
00000aa5: JUMPI
00000aa6: PUSH2 0x0aad
00000aa9: PUSH2 0x2d71
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x20
00000ab0: MUL
00000ab1: PUSH1 0x20
00000ab3: ADD
00000ab4: ADD
00000ab5: MLOAD
00000ab6: PUSH1 0x00
00000ab8: ADD
00000ab9: MLOAD
00000aba: DUP5
00000abb: DUP7
00000abc: DUP6
00000abd: DUP2
00000abe: MLOAD
00000abf: DUP2
00000ac0: LT
00000ac1: PUSH2 0x0acc
00000ac4: JUMPI
00000ac5: PUSH2 0x0acc
00000ac8: PUSH2 0x2d71
00000acb: JUMP
00000acc: JUMPDEST
00000acd: PUSH1 0x20
00000acf: MUL
00000ad0: PUSH1 0x20
00000ad2: ADD
00000ad3: ADD
00000ad4: MLOAD
00000ad5: PUSH1 0x20
00000ad7: ADD
00000ad8: MLOAD
00000ad9: PUSH9 0x01bc16d674ec800000
00000ae3: PUSH2 0x1b3c
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: SWAP1
00000ae9: POP
00000aea: PUSH16 0x219ab540356cbb839cbe05303d7705fa
00000afb: PUSH1 0x01
00000afd: PUSH1 0x01
00000aff: PUSH1 0xa0
00000b01: SHL
00000b02: SUB
00000b03: AND
00000b04: PUSH4 0x22895118
00000b09: PUSH9 0x01bc16d674ec800000
00000b13: DUP7
00000b14: DUP6
00000b15: DUP2
00000b16: MLOAD
00000b17: DUP2
00000b18: LT
00000b19: PUSH2 0x0b24
00000b1c: JUMPI
00000b1d: PUSH2 0x0b24
00000b20: PUSH2 0x2d71
00000b23: JUMP
00000b24: JUMPDEST
00000b25: PUSH1 0x20
00000b27: MUL
00000b28: PUSH1 0x20
00000b2a: ADD
00000b2b: ADD
00000b2c: MLOAD
00000b2d: PUSH1 0x00
00000b2f: ADD
00000b30: MLOAD
00000b31: DUP7
00000b32: DUP9
00000b33: DUP8
00000b34: DUP2
00000b35: MLOAD
00000b36: DUP2
00000b37: LT
00000b38: PUSH2 0x0b43
00000b3b: JUMPI
00000b3c: PUSH2 0x0b43
00000b3f: PUSH2 0x2d71
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH1 0x20
00000b46: MUL
00000b47: PUSH1 0x20
00000b49: ADD
00000b4a: ADD
00000b4b: MLOAD
00000b4c: PUSH1 0x20
00000b4e: ADD
00000b4f: MLOAD
00000b50: DUP7
00000b51: PUSH1 0x40
00000b53: MLOAD
00000b54: DUP7
00000b55: PUSH4 0xffffffff
00000b5a: AND
00000b5b: PUSH1 0xe0
00000b5d: SHL
00000b5e: DUP2
00000b5f: MSTORE
00000b60: PUSH1 0x04
00000b62: ADD
00000b63: PUSH2 0x0b6f
00000b66: SWAP5
00000b67: SWAP4
00000b68: SWAP3
00000b69: SWAP2
00000b6a: SWAP1
00000b6b: PUSH2 0x2d87
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH1 0x00
00000b72: PUSH1 0x40
00000b74: MLOAD
00000b75: DUP1
00000b76: DUP4
00000b77: SUB
00000b78: DUP2
00000b79: DUP6
00000b7a: DUP9
00000b7b: DUP1
00000b7c: EXTCODESIZE
00000b7d: ISZERO
00000b7e: DUP1
00000b7f: ISZERO
00000b80: PUSH2 0x0b88
00000b83: JUMPI
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: REVERT
00000b88: JUMPDEST
00000b89: POP
00000b8a: GAS
00000b8b: CALL
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: POP
00000ba2: POP
00000ba3: DUP1
00000ba4: DUP1
00000ba5: PUSH2 0x0bad
00000ba8: SWAP1
00000ba9: PUSH2 0x2dd2
00000bac: JUMP
00000bad: JUMPDEST
00000bae: SWAP2
00000baf: POP
00000bb0: POP
00000bb1: PUSH2 0x0a8d
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: PUSH32 0xffb1367626264d9733e4dcd7f14cd59fc3a2c15d50d1a41f1ee60c96f77a01dd
00000bd8: DUP8
00000bd9: DUP8
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH2 0x0be7
00000be0: SWAP3
00000be1: SWAP2
00000be2: SWAP1
00000be3: PUSH2 0x2b65
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x40
00000bea: MLOAD
00000beb: DUP1
00000bec: SWAP2
00000bed: SUB
00000bee: SWAP1
00000bef: LOG1
00000bf0: POP
00000bf1: POP
00000bf2: POP
00000bf3: POP
00000bf4: POP
00000bf5: POP
00000bf6: POP
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x03
00000bfb: SLOAD
00000bfc: PUSH1 0x01
00000bfe: PUSH1 0x01
00000c00: PUSH1 0xa0
00000c02: SHL
00000c03: SUB
00000c04: AND
00000c05: CALLER
00000c06: EQ
00000c07: PUSH2 0x0c23
00000c0a: JUMPI
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: PUSH4 0x20970eb7
00000c13: PUSH1 0xe0
00000c15: SHL
00000c16: DUP2
00000c17: MSTORE
00000c18: PUSH1 0x04
00000c1a: ADD
00000c1b: PUSH1 0x40
00000c1d: MLOAD
00000c1e: DUP1
00000c1f: SWAP2
00000c20: SUB
00000c21: SWAP1
00000c22: REVERT
00000c23: JUMPDEST
00000c24: DUP3
00000c25: PUSH2 0x058f
00000c28: PUSH1 0x01
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0xa0
00000c2e: SHL
00000c2f: SUB
00000c30: DUP3
00000c31: AND
00000c32: DUP4
00000c33: DUP6
00000c34: PUSH2 0x1e94
00000c37: JUMP
00000c38: JUMPDEST
00000c39: PUSH1 0x00
00000c3b: SLOAD
00000c3c: PUSH2 0x0100
00000c3f: SWAP1
00000c40: DIV
00000c41: PUSH1 0xff
00000c43: AND
00000c44: ISZERO
00000c45: DUP1
00000c46: DUP1
00000c47: ISZERO
00000c48: PUSH2 0x0c58
00000c4b: JUMPI
00000c4c: POP
00000c4d: PUSH1 0x00
00000c4f: SLOAD
00000c50: PUSH1 0x01
00000c52: PUSH1 0xff
00000c54: SWAP1
00000c55: SWAP2
00000c56: AND
00000c57: LT
00000c58: JUMPDEST
00000c59: DUP1
00000c5a: PUSH2 0x0c72
00000c5d: JUMPI
00000c5e: POP
00000c5f: ADDRESS
00000c60: EXTCODESIZE
00000c61: ISZERO
00000c62: DUP1
00000c63: ISZERO
00000c64: PUSH2 0x0c72
00000c67: JUMPI
00000c68: POP
00000c69: PUSH1 0x00
00000c6b: SLOAD
00000c6c: PUSH1 0xff
00000c6e: AND
00000c6f: PUSH1 0x01
00000c71: EQ
00000c72: JUMPDEST
00000c73: PUSH2 0x0cda
00000c76: JUMPI
00000c77: PUSH1 0x40
00000c79: MLOAD
00000c7a: PUSH3 0x461bcd
00000c7e: PUSH1 0xe5
00000c80: SHL
00000c81: DUP2
00000c82: MSTORE
00000c83: PUSH1 0x20
00000c85: PUSH1 0x04
00000c87: DUP3
00000c88: ADD
00000c89: MSTORE
00000c8a: PUSH1 0x2e
00000c8c: PUSH1 0x24
00000c8e: DUP3
00000c8f: ADD
00000c90: MSTORE
00000c91: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000cb2: PUSH1 0x44
00000cb4: DUP3
00000cb5: ADD
00000cb6: MSTORE
00000cb7: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00000cc6: PUSH1 0x92
00000cc8: SHL
00000cc9: PUSH1 0x64
00000ccb: DUP3
00000ccc: ADD
00000ccd: MSTORE
00000cce: PUSH1 0x84
00000cd0: ADD
00000cd1: JUMPDEST
00000cd2: PUSH1 0x40
00000cd4: MLOAD
00000cd5: DUP1
00000cd6: SWAP2
00000cd7: SUB
00000cd8: SWAP1
00000cd9: REVERT
00000cda: JUMPDEST
00000cdb: PUSH1 0x00
00000cdd: DUP1
00000cde: SLOAD
00000cdf: PUSH1 0xff
00000ce1: NOT
00000ce2: AND
00000ce3: PUSH1 0x01
00000ce5: OR
00000ce6: SWAP1
00000ce7: SSTORE
00000ce8: DUP1
00000ce9: ISZERO
00000cea: PUSH2 0x0cfd
00000ced: JUMPI
00000cee: PUSH1 0x00
00000cf0: DUP1
00000cf1: SLOAD
00000cf2: PUSH2 0xff00
00000cf5: NOT
00000cf6: AND
00000cf7: PUSH2 0x0100
00000cfa: OR
00000cfb: SWAP1
00000cfc: SSTORE
00000cfd: JUMPDEST
00000cfe: DUP3
00000cff: PUSH2 0x0d07
00000d02: DUP2
00000d03: PUSH2 0x1ef7
00000d06: JUMP
00000d07: JUMPDEST
00000d08: DUP3
00000d09: PUSH2 0x0d11
00000d0c: DUP2
00000d0d: PUSH2 0x1ef7
00000d10: JUMP
00000d11: JUMPDEST
00000d12: POP
00000d13: POP
00000d14: PUSH1 0x00
00000d16: DUP1
00000d17: SLOAD
00000d18: PUSH3 0x010000
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0xb0
00000d20: SHL
00000d21: SUB
00000d22: NOT
00000d23: AND
00000d24: PUSH3 0x010000
00000d28: PUSH1 0x01
00000d2a: PUSH1 0x01
00000d2c: PUSH1 0xa0
00000d2e: SHL
00000d2f: SUB
00000d30: DUP7
00000d31: DUP2
00000d32: AND
00000d33: SWAP2
00000d34: SWAP1
00000d35: SWAP2
00000d36: MUL
00000d37: SWAP2
00000d38: SWAP1
00000d39: SWAP2
00000d3a: OR
00000d3b: SWAP1
00000d3c: SWAP2
00000d3d: SSTORE
00000d3e: PUSH1 0x01
00000d40: DUP1
00000d41: SLOAD
00000d42: PUSH1 0x01
00000d44: PUSH1 0x01
00000d46: PUSH1 0xa0
00000d48: SHL
00000d49: SUB
00000d4a: NOT
00000d4b: AND
00000d4c: SWAP2
00000d4d: DUP5
00000d4e: AND
00000d4f: SWAP2
00000d50: SWAP1
00000d51: SWAP2
00000d52: OR
00000d53: SWAP1
00000d54: SSTORE
00000d55: DUP1
00000d56: ISZERO
00000d57: PUSH2 0x0d9b
00000d5a: JUMPI
00000d5b: PUSH1 0x00
00000d5d: DUP1
00000d5e: SLOAD
00000d5f: PUSH2 0xff00
00000d62: NOT
00000d63: AND
00000d64: SWAP1
00000d65: SSTORE
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: PUSH1 0x01
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000d8e: SWAP1
00000d8f: PUSH1 0x20
00000d91: ADD
00000d92: JUMPDEST
00000d93: PUSH1 0x40
00000d95: MLOAD
00000d96: DUP1
00000d97: SWAP2
00000d98: SUB
00000d99: SWAP1
00000d9a: LOG1
00000d9b: JUMPDEST
00000d9c: POP
00000d9d: POP
00000d9e: POP
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x00
00000da3: SLOAD
00000da4: PUSH1 0x40
00000da6: MLOAD
00000da7: PUSH4 0x12d9a6ad
00000dac: PUSH1 0xe0
00000dae: SHL
00000daf: DUP2
00000db0: MSTORE
00000db1: PUSH32 0x68b5130048f4cc7cd384ada7c88f93239dc62916061e88762600cfc74cad4c3d
00000dd2: PUSH1 0x04
00000dd4: DUP3
00000dd5: ADD
00000dd6: DUP2
00000dd7: SWAP1
00000dd8: MSTORE
00000dd9: CALLER
00000dda: PUSH1 0x24
00000ddc: DUP4
00000ddd: ADD
00000dde: MSTORE
00000ddf: SWAP2
00000de0: PUSH3 0x010000
00000de4: SWAP1
00000de5: DIV
00000de6: PUSH1 0x01
00000de8: PUSH1 0x01
00000dea: PUSH1 0xa0
00000dec: SHL
00000ded: SUB
00000dee: AND
00000def: SWAP1
00000df0: PUSH4 0x12d9a6ad
00000df5: SWAP1
00000df6: PUSH1 0x44
00000df8: ADD
00000df9: PUSH1 0x00
00000dfb: PUSH1 0x40
00000dfd: MLOAD
00000dfe: DUP1
00000dff: DUP4
00000e00: SUB
00000e01: DUP2
00000e02: DUP7
00000e03: DUP1
00000e04: EXTCODESIZE
00000e05: ISZERO
00000e06: DUP1
00000e07: ISZERO
00000e08: PUSH2 0x0e10
00000e0b: JUMPI
00000e0c: PUSH1 0x00
00000e0e: DUP1
00000e0f: REVERT
00000e10: JUMPDEST
00000e11: POP
00000e12: GAS
00000e13: STATICCALL
00000e14: ISZERO
00000e15: DUP1
00000e16: ISZERO
00000e17: PUSH2 0x0e24
00000e1a: JUMPI
00000e1b: RETURNDATASIZE
00000e1c: PUSH1 0x00
00000e1e: DUP1
00000e1f: RETURNDATACOPY
00000e20: RETURNDATASIZE
00000e21: PUSH1 0x00
00000e23: REVERT
00000e24: JUMPDEST
00000e25: POP
00000e26: POP
00000e27: POP
00000e28: POP
00000e29: PUSH1 0x03
00000e2b: PUSH1 0x00
00000e2d: SWAP1
00000e2e: SLOAD
00000e2f: SWAP1
00000e30: PUSH2 0x0100
00000e33: EXP
00000e34: SWAP1
00000e35: DIV
00000e36: PUSH1 0x01
00000e38: PUSH1 0x01
00000e3a: PUSH1 0xa0
00000e3c: SHL
00000e3d: SUB
00000e3e: AND
00000e3f: PUSH1 0x01
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: SHL
00000e46: SUB
00000e47: AND
00000e48: PUSH4 0x6155511a
00000e4d: PUSH1 0x40
00000e4f: MLOAD
00000e50: DUP2
00000e51: PUSH4 0xffffffff
00000e56: AND
00000e57: PUSH1 0xe0
00000e59: SHL
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x04
00000e5e: ADD
00000e5f: PUSH1 0x20
00000e61: PUSH1 0x40
00000e63: MLOAD
00000e64: DUP1
00000e65: DUP4
00000e66: SUB
00000e67: DUP2
00000e68: DUP7
00000e69: GAS
00000e6a: STATICCALL
00000e6b: ISZERO
00000e6c: DUP1
00000e6d: ISZERO
00000e6e: PUSH2 0x0e7b
00000e71: JUMPI
00000e72: RETURNDATASIZE
00000e73: PUSH1 0x00
00000e75: DUP1
00000e76: RETURNDATACOPY
00000e77: RETURNDATASIZE
00000e78: PUSH1 0x00
00000e7a: REVERT
00000e7b: JUMPDEST
00000e7c: POP
00000e7d: POP
00000e7e: POP
00000e7f: POP
00000e80: PUSH1 0x40
00000e82: MLOAD
00000e83: RETURNDATASIZE
00000e84: PUSH1 0x1f
00000e86: NOT
00000e87: PUSH1 0x1f
00000e89: DUP3
00000e8a: ADD
00000e8b: AND
00000e8c: DUP3
00000e8d: ADD
00000e8e: DUP1
00000e8f: PUSH1 0x40
00000e91: MSTORE
00000e92: POP
00000e93: DUP2
00000e94: ADD
00000e95: SWAP1
00000e96: PUSH2 0x0e9f
00000e99: SWAP2
00000e9a: SWAP1
00000e9b: PUSH2 0x27ee
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: PUSH1 0x01
00000ea2: PUSH1 0x01
00000ea4: PUSH1 0xa0
00000ea6: SHL
00000ea7: SUB
00000ea8: AND
00000ea9: PUSH4 0x60d7faed
00000eae: DUP8
00000eaf: DUP8
00000eb0: DUP8
00000eb1: DUP8
00000eb2: DUP8
00000eb3: PUSH1 0x40
00000eb5: MLOAD
00000eb6: DUP7
00000eb7: PUSH4 0xffffffff
00000ebc: AND
00000ebd: PUSH1 0xe0
00000ebf: SHL
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: PUSH1 0x04
00000ec4: ADD
00000ec5: PUSH2 0x0ed2
00000ec8: SWAP6
00000ec9: SWAP5
00000eca: SWAP4
00000ecb: SWAP3
00000ecc: SWAP2
00000ecd: SWAP1
00000ece: PUSH2 0x2dff
00000ed1: JUMP
00000ed2: JUMPDEST
00000ed3: PUSH1 0x00
00000ed5: PUSH1 0x40
00000ed7: MLOAD
00000ed8: DUP1
00000ed9: DUP4
00000eda: SUB
00000edb: DUP2
00000edc: PUSH1 0x00
00000ede: DUP8
00000edf: DUP1
00000ee0: EXTCODESIZE
00000ee1: ISZERO
00000ee2: DUP1
00000ee3: ISZERO
00000ee4: PUSH2 0x0eec
00000ee7: JUMPI
00000ee8: PUSH1 0x00
00000eea: DUP1
00000eeb: REVERT
00000eec: JUMPDEST
00000eed: POP
00000eee: GAS
00000eef: CALL
00000ef0: ISZERO
00000ef1: DUP1
00000ef2: ISZERO
00000ef3: PUSH2 0x0f00
00000ef6: JUMPI
00000ef7: RETURNDATASIZE
00000ef8: PUSH1 0x00
00000efa: DUP1
00000efb: RETURNDATACOPY
00000efc: RETURNDATASIZE
00000efd: PUSH1 0x00
00000eff: REVERT
00000f00: JUMPDEST
00000f01: POP
00000f02: POP
00000f03: POP
00000f04: POP
00000f05: POP
00000f06: POP
00000f07: POP
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH1 0x00
00000f0f: SLOAD
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: PUSH4 0x12d9a6ad
00000f18: PUSH1 0xe0
00000f1a: SHL
00000f1b: DUP2
00000f1c: MSTORE
00000f1d: PUSH32 0x4ff52032f36e32ac782042a01802e20394d4255c84a3c046490be98ab632691b
00000f3e: PUSH1 0x04
00000f40: DUP3
00000f41: ADD
00000f42: DUP2
00000f43: SWAP1
00000f44: MSTORE
00000f45: CALLER
00000f46: PUSH1 0x24
00000f48: DUP4
00000f49: ADD
00000f4a: MSTORE
00000f4b: SWAP2
00000f4c: PUSH3 0x010000
00000f50: SWAP1
00000f51: DIV
00000f52: PUSH1 0x01
00000f54: PUSH1 0x01
00000f56: PUSH1 0xa0
00000f58: SHL
00000f59: SUB
00000f5a: AND
00000f5b: SWAP1
00000f5c: PUSH4 0x12d9a6ad
00000f61: SWAP1
00000f62: PUSH1 0x44
00000f64: ADD
00000f65: PUSH1 0x00
00000f67: PUSH1 0x40
00000f69: MLOAD
00000f6a: DUP1
00000f6b: DUP4
00000f6c: SUB
00000f6d: DUP2
00000f6e: DUP7
00000f6f: DUP1
00000f70: EXTCODESIZE
00000f71: ISZERO
00000f72: DUP1
00000f73: ISZERO
00000f74: PUSH2 0x0f7c
00000f77: JUMPI
00000f78: PUSH1 0x00
00000f7a: DUP1
00000f7b: REVERT
00000f7c: JUMPDEST
00000f7d: POP
00000f7e: GAS
00000f7f: STATICCALL
00000f80: ISZERO
00000f81: DUP1
00000f82: ISZERO
00000f83: PUSH2 0x0f90
00000f86: JUMPI
00000f87: RETURNDATASIZE
00000f88: PUSH1 0x00
00000f8a: DUP1
00000f8b: RETURNDATACOPY
00000f8c: RETURNDATASIZE
00000f8d: PUSH1 0x00
00000f8f: REVERT
00000f90: JUMPDEST
00000f91: POP
00000f92: POP
00000f93: POP
00000f94: POP
00000f95: DUP2
00000f96: PUSH2 0x0f9e
00000f99: DUP2
00000f9a: PUSH2 0x1ef7
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x03
00000fa1: DUP1
00000fa2: SLOAD
00000fa3: PUSH1 0x01
00000fa5: PUSH1 0x01
00000fa7: PUSH1 0xa0
00000fa9: SHL
00000faa: SUB
00000fab: NOT
00000fac: AND
00000fad: PUSH1 0x01
00000faf: PUSH1 0x01
00000fb1: PUSH1 0xa0
00000fb3: SHL
00000fb4: SUB
00000fb5: DUP6
00000fb6: AND
00000fb7: SWAP1
00000fb8: DUP2
00000fb9: OR
00000fba: SWAP1
00000fbb: SWAP2
00000fbc: SSTORE
00000fbd: PUSH1 0x40
00000fbf: MLOAD
00000fc0: SWAP1
00000fc1: DUP2
00000fc2: MSTORE
00000fc3: PUSH32 0xfb42009b4e69d73d29f9a03298c022bf0f0e3defac0ef260c4d123d47021eabe
00000fe4: SWAP1
00000fe5: PUSH1 0x20
00000fe7: ADD
00000fe8: PUSH2 0x0d92
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH1 0x00
00000fef: SLOAD
00000ff0: PUSH1 0x40
00000ff2: MLOAD
00000ff3: PUSH4 0x12d9a6ad
00000ff8: PUSH1 0xe0
00000ffa: SHL
00000ffb: DUP2
00000ffc: MSTORE
00000ffd: PUSH32 0x68b5130048f4cc7cd384ada7c88f93239dc62916061e88762600cfc74cad4c3d
0000101e: PUSH1 0x04
00001020: DUP3
00001021: ADD
00001022: DUP2
00001023: SWAP1
00001024: MSTORE
00001025: CALLER
00001026: PUSH1 0x24
00001028: DUP4
00001029: ADD
0000102a: MSTORE
0000102b: SWAP2
0000102c: PUSH3 0x010000
00001030: SWAP1
00001031: DIV
00001032: PUSH1 0x01
00001034: PUSH1 0x01
00001036: PUSH1 0xa0
00001038: SHL
00001039: SUB
0000103a: AND
0000103b: SWAP1
0000103c: PUSH4 0x12d9a6ad
00001041: SWAP1
00001042: PUSH1 0x44
00001044: ADD
00001045: PUSH1 0x00
00001047: PUSH1 0x40
00001049: MLOAD
0000104a: DUP1
0000104b: DUP4
0000104c: SUB
0000104d: DUP2
0000104e: DUP7
0000104f: DUP1
00001050: EXTCODESIZE
00001051: ISZERO
00001052: DUP1
00001053: ISZERO
00001054: PUSH2 0x105c
00001057: JUMPI
00001058: PUSH1 0x00
0000105a: DUP1
0000105b: REVERT
0000105c: JUMPDEST
0000105d: POP
0000105e: GAS
0000105f: STATICCALL
00001060: ISZERO
00001061: DUP1
00001062: ISZERO
00001063: PUSH2 0x1070
00001066: JUMPI
00001067: RETURNDATASIZE
00001068: PUSH1 0x00
0000106a: DUP1
0000106b: RETURNDATACOPY
0000106c: RETURNDATASIZE
0000106d: PUSH1 0x00
0000106f: REVERT
00001070: JUMPDEST
00001071: POP
00001072: POP
00001073: PUSH1 0x02
00001075: SLOAD
00001076: PUSH1 0x40
00001078: MLOAD
00001079: PUSH4 0x88676cad
0000107e: PUSH1 0xe0
00001080: SHL
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x01
00001085: PUSH1 0x04
00001087: DUP3
00001088: ADD
00001089: MSTORE
0000108a: PUSH1 0x01
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: SHL
00001091: SUB
00001092: SWAP1
00001093: SWAP2
00001094: AND
00001095: SWAP3
00001096: POP
00001097: PUSH4 0x88676cad
0000109c: SWAP2
0000109d: POP
0000109e: PUSH1 0x24
000010a0: ADD
000010a1: PUSH1 0x00
000010a3: PUSH1 0x40
000010a5: MLOAD
000010a6: DUP1
000010a7: DUP4
000010a8: SUB
000010a9: DUP2
000010aa: PUSH1 0x00
000010ac: DUP8
000010ad: DUP1
000010ae: EXTCODESIZE
000010af: ISZERO
000010b0: DUP1
000010b1: ISZERO
000010b2: PUSH2 0x10ba
000010b5: JUMPI
000010b6: PUSH1 0x00
000010b8: DUP1
000010b9: REVERT
000010ba: JUMPDEST
000010bb: POP
000010bc: GAS
000010bd: CALL
000010be: ISZERO
000010bf: DUP1
000010c0: ISZERO
000010c1: PUSH2 0x10ce
000010c4: JUMPI
000010c5: RETURNDATASIZE
000010c6: PUSH1 0x00
000010c8: DUP1
000010c9: RETURNDATACOPY
000010ca: RETURNDATASIZE
000010cb: PUSH1 0x00
000010cd: REVERT
000010ce: JUMPDEST
000010cf: POP
000010d0: POP
000010d1: POP
000010d2: POP
000010d3: POP
000010d4: JUMP
000010d5: JUMPDEST
000010d6: PUSH1 0x00
000010d8: SLOAD
000010d9: PUSH1 0x40
000010db: MLOAD
000010dc: PUSH4 0x12d9a6ad
000010e1: PUSH1 0xe0
000010e3: SHL
000010e4: DUP2
000010e5: MSTORE
000010e6: PUSH32 0x4ff52032f36e32ac782042a01802e20394d4255c84a3c046490be98ab632691b
00001107: PUSH1 0x04
00001109: DUP3
0000110a: ADD
0000110b: DUP2
0000110c: SWAP1
0000110d: MSTORE
0000110e: CALLER
0000110f: PUSH1 0x24
00001111: DUP4
00001112: ADD
00001113: MSTORE
00001114: SWAP2
00001115: PUSH3 0x010000
00001119: SWAP1
0000111a: DIV
0000111b: PUSH1 0x01
0000111d: PUSH1 0x01
0000111f: PUSH1 0xa0
00001121: SHL
00001122: SUB
00001123: AND
00001124: SWAP1
00001125: PUSH4 0x12d9a6ad
0000112a: SWAP1
0000112b: PUSH1 0x44
0000112d: ADD
0000112e: PUSH1 0x00
00001130: PUSH1 0x40
00001132: MLOAD
00001133: DUP1
00001134: DUP4
00001135: SUB
00001136: DUP2
00001137: DUP7
00001138: DUP1
00001139: EXTCODESIZE
0000113a: ISZERO
0000113b: DUP1
0000113c: ISZERO
0000113d: PUSH2 0x1145
00001140: JUMPI
00001141: PUSH1 0x00
00001143: DUP1
00001144: REVERT
00001145: JUMPDEST
00001146: POP
00001147: GAS
00001148: STATICCALL
00001149: ISZERO
0000114a: DUP1
0000114b: ISZERO
0000114c: PUSH2 0x1159
0000114f: JUMPI
00001150: RETURNDATASIZE
00001151: PUSH1 0x00
00001153: DUP1
00001154: RETURNDATACOPY
00001155: RETURNDATASIZE
00001156: PUSH1 0x00
00001158: REVERT
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: DUP3
0000115f: PUSH2 0x1167
00001162: DUP2
00001163: PUSH2 0x1ef7
00001166: JUMP
00001167: JUMPDEST
00001168: DUP3
00001169: PUSH2 0x1171
0000116c: DUP2
0000116d: PUSH2 0x1ef7
00001170: JUMP
00001171: JUMPDEST
00001172: PUSH1 0x01
00001174: PUSH1 0x01
00001176: PUSH1 0xa0
00001178: SHL
00001179: SUB
0000117a: DUP6
0000117b: DUP2
0000117c: AND
0000117d: PUSH1 0x00
0000117f: DUP2
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x04
00001184: PUSH1 0x20
00001186: MSTORE
00001187: PUSH1 0x40
00001189: DUP1
0000118a: DUP3
0000118b: KECCAK256
0000118c: DUP1
0000118d: SLOAD
0000118e: PUSH1 0x01
00001190: PUSH1 0x01
00001192: PUSH1 0xa0
00001194: SHL
00001195: SUB
00001196: NOT
00001197: AND
00001198: SWAP5
00001199: DUP10
0000119a: AND
0000119b: SWAP5
0000119c: DUP6
0000119d: OR
0000119e: SWAP1
0000119f: SSTORE
000011a0: MLOAD
000011a1: PUSH32 0x4df2944881c689e13e000a3f783ac5276623e2714062fa0a3d8fa2ba351c4a8e
000011c2: SWAP2
000011c3: SWAP1
000011c4: LOG3
000011c5: POP
000011c6: POP
000011c7: POP
000011c8: POP
000011c9: POP
000011ca: JUMP
000011cb: JUMPDEST
000011cc: CALLER
000011cd: PUSH1 0x00
000011cf: DUP1
000011d0: PUSH1 0x02
000011d2: SWAP1
000011d3: SLOAD
000011d4: SWAP1
000011d5: PUSH2 0x0100
000011d8: EXP
000011d9: SWAP1
000011da: DIV
000011db: PUSH1 0x01
000011dd: PUSH1 0x01
000011df: PUSH1 0xa0
000011e1: SHL
000011e2: SUB
000011e3: AND
000011e4: PUSH1 0x01
000011e6: PUSH1 0x01
000011e8: PUSH1 0xa0
000011ea: SHL
000011eb: SUB
000011ec: AND
000011ed: PUSH4 0x780b44bd
000011f2: PUSH1 0x40
000011f4: MLOAD
000011f5: DUP2
000011f6: PUSH4 0xffffffff
000011fb: AND
000011fc: PUSH1 0xe0
000011fe: SHL
000011ff: DUP2
00001200: MSTORE
00001201: PUSH1 0x04
00001203: ADD
00001204: PUSH1 0x20
00001206: PUSH1 0x40
00001208: MLOAD
00001209: DUP1
0000120a: DUP4
0000120b: SUB
0000120c: DUP2
0000120d: DUP7
0000120e: GAS
0000120f: STATICCALL
00001210: ISZERO
00001211: DUP1
00001212: ISZERO
00001213: PUSH2 0x1220
00001216: JUMPI
00001217: RETURNDATASIZE
00001218: PUSH1 0x00
0000121a: DUP1
0000121b: RETURNDATACOPY
0000121c: RETURNDATASIZE
0000121d: PUSH1 0x00
0000121f: REVERT
00001220: JUMPDEST
00001221: POP
00001222: POP
00001223: POP
00001224: POP
00001225: PUSH1 0x40
00001227: MLOAD
00001228: RETURNDATASIZE
00001229: PUSH1 0x1f
0000122b: NOT
0000122c: PUSH1 0x1f
0000122e: DUP3
0000122f: ADD
00001230: AND
00001231: DUP3
00001232: ADD
00001233: DUP1
00001234: PUSH1 0x40
00001236: MSTORE
00001237: POP
00001238: DUP2
00001239: ADD
0000123a: SWAP1
0000123b: PUSH2 0x1244
0000123e: SWAP2
0000123f: SWAP1
00001240: PUSH2 0x27ee
00001243: JUMP
00001244: JUMPDEST
00001245: SWAP1
00001246: POP
00001247: DUP1
00001248: PUSH1 0x01
0000124a: PUSH1 0x01
0000124c: PUSH1 0xa0
0000124e: SHL
0000124f: SUB
00001250: AND
00001251: PUSH4 0x51fb012d
00001256: PUSH1 0x40
00001258: MLOAD
00001259: DUP2
0000125a: PUSH4 0xffffffff
0000125f: AND
00001260: PUSH1 0xe0
00001262: SHL
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x04
00001267: ADD
00001268: PUSH1 0x20
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: DUP1
0000126e: DUP4
0000126f: SUB
00001270: DUP2
00001271: PUSH1 0x00
00001273: DUP8
00001274: GAS
00001275: CALL
00001276: ISZERO
00001277: DUP1
00001278: ISZERO
00001279: PUSH2 0x1286
0000127c: JUMPI
0000127d: RETURNDATASIZE
0000127e: PUSH1 0x00
00001280: DUP1
00001281: RETURNDATACOPY
00001282: RETURNDATASIZE
00001283: PUSH1 0x00
00001285: REVERT
00001286: JUMPDEST
00001287: POP
00001288: POP
00001289: POP
0000128a: POP
0000128b: PUSH1 0x40
0000128d: MLOAD
0000128e: RETURNDATASIZE
0000128f: PUSH1 0x1f
00001291: NOT
00001292: PUSH1 0x1f
00001294: DUP3
00001295: ADD
00001296: AND
00001297: DUP3
00001298: ADD
00001299: DUP1
0000129a: PUSH1 0x40
0000129c: MSTORE
0000129d: POP
0000129e: DUP2
0000129f: ADD
000012a0: SWAP1
000012a1: PUSH2 0x12aa
000012a4: SWAP2
000012a5: SWAP1
000012a6: PUSH2 0x2ab8
000012a9: JUMP
000012aa: JUMPDEST
000012ab: DUP1
000012ac: ISZERO
000012ad: PUSH2 0x131e
000012b0: JUMPI
000012b1: POP
000012b2: PUSH1 0x40
000012b4: MLOAD
000012b5: PUSH3 0xd9267b
000012b9: PUSH1 0xe3
000012bb: SHL
000012bc: DUP2
000012bd: MSTORE
000012be: PUSH1 0x01
000012c0: PUSH1 0x01
000012c2: PUSH1 0xa0
000012c4: SHL
000012c5: SUB
000012c6: DUP4
000012c7: DUP2
000012c8: AND
000012c9: PUSH1 0x04
000012cb: DUP4
000012cc: ADD
000012cd: MSTORE
000012ce: DUP3
000012cf: AND
000012d0: SWAP1
000012d1: PUSH4 0x06c933d8
000012d6: SWAP1
000012d7: PUSH1 0x24
000012d9: ADD
000012da: PUSH1 0x20
000012dc: PUSH1 0x40
000012de: MLOAD
000012df: DUP1
000012e0: DUP4
000012e1: SUB
000012e2: DUP2
000012e3: PUSH1 0x00
000012e5: DUP8
000012e6: GAS
000012e7: CALL
000012e8: ISZERO
000012e9: DUP1
000012ea: ISZERO
000012eb: PUSH2 0x12f8
000012ee: JUMPI
000012ef: RETURNDATASIZE
000012f0: PUSH1 0x00
000012f2: DUP1
000012f3: RETURNDATACOPY
000012f4: RETURNDATASIZE
000012f5: PUSH1 0x00
000012f7: REVERT
000012f8: JUMPDEST
000012f9: POP
000012fa: POP
000012fb: POP
000012fc: POP
000012fd: PUSH1 0x40
000012ff: MLOAD
00001300: RETURNDATASIZE
00001301: PUSH1 0x1f
00001303: NOT
00001304: PUSH1 0x1f
00001306: DUP3
00001307: ADD
00001308: AND
00001309: DUP3
0000130a: ADD
0000130b: DUP1
0000130c: PUSH1 0x40
0000130e: MSTORE
0000130f: POP
00001310: DUP2
00001311: ADD
00001312: SWAP1
00001313: PUSH2 0x131c
00001316: SWAP2
00001317: SWAP1
00001318: PUSH2 0x2ab8
0000131b: JUMP
0000131c: JUMPDEST
0000131d: ISZERO
0000131e: JUMPDEST
0000131f: ISZERO
00001320: PUSH2 0x133c
00001323: JUMPI
00001324: PUSH1 0x40
00001326: MLOAD
00001327: PUSH4 0x2d85515d
0000132c: PUSH1 0xe1
0000132e: SHL
0000132f: DUP2
00001330: MSTORE
00001331: PUSH1 0x04
00001333: ADD
00001334: PUSH1 0x40
00001336: MLOAD
00001337: DUP1
00001338: SWAP2
00001339: SUB
0000133a: SWAP1
0000133b: REVERT
0000133c: JUMPDEST
0000133d: DUP5
0000133e: PUSH2 0x1346
00001341: DUP2
00001342: PUSH2 0x1ef7
00001345: JUMP
00001346: JUMPDEST
00001347: DUP5
00001348: PUSH1 0x00
0000134a: SUB
0000134b: PUSH2 0x1367
0000134e: JUMPI
0000134f: PUSH1 0x40
00001351: MLOAD
00001352: PUSH4 0x30d6375d
00001357: PUSH1 0xe1
00001359: SHL
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x04
0000135e: ADD
0000135f: PUSH1 0x40
00001361: MLOAD
00001362: DUP1
00001363: SWAP2
00001364: SUB
00001365: SWAP1
00001366: REVERT
00001367: JUMPDEST
00001368: PUSH1 0x01
0000136a: PUSH1 0x01
0000136c: PUSH1 0xa0
0000136e: SHL
0000136f: SUB
00001370: DUP7
00001371: DUP2
00001372: AND
00001373: PUSH1 0x00
00001375: SWAP1
00001376: DUP2
00001377: MSTORE
00001378: PUSH1 0x04
0000137a: PUSH1 0x20
0000137c: MSTORE
0000137d: PUSH1 0x40
0000137f: SWAP1
00001380: KECCAK256
00001381: SLOAD
00001382: AND
00001383: PUSH2 0x139f
00001386: JUMPI
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: PUSH4 0x20c7c875
0000138f: PUSH1 0xe0
00001391: SHL
00001392: DUP2
00001393: MSTORE
00001394: PUSH1 0x04
00001396: ADD
00001397: PUSH1 0x40
00001399: MLOAD
0000139a: DUP1
0000139b: SWAP2
0000139c: SUB
0000139d: SWAP1
0000139e: REVERT
0000139f: JUMPDEST
000013a0: PUSH2 0x13b4
000013a3: PUSH1 0x01
000013a5: PUSH1 0x01
000013a7: PUSH1 0xa0
000013a9: SHL
000013aa: SUB
000013ab: DUP8
000013ac: AND
000013ad: CALLER
000013ae: ADDRESS
000013af: DUP9
000013b0: PUSH2 0x1f21
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH1 0x01
000013b7: PUSH1 0x01
000013b9: PUSH1 0xa0
000013bb: SHL
000013bc: SUB
000013bd: DUP1
000013be: DUP8
000013bf: AND
000013c0: PUSH1 0x00
000013c2: SWAP1
000013c3: DUP2
000013c4: MSTORE
000013c5: PUSH1 0x04
000013c7: PUSH1 0x20
000013c9: DUP2
000013ca: DUP2
000013cb: MSTORE
000013cc: PUSH1 0x40
000013ce: DUP1
000013cf: DUP5
000013d0: KECCAK256
000013d1: SLOAD
000013d2: DUP2
000013d3: MLOAD
000013d4: PUSH4 0x33cd77e7
000013d9: PUSH1 0xe1
000013db: SHL
000013dc: DUP2
000013dd: MSTORE
000013de: SWAP2
000013df: MLOAD
000013e0: SWAP5
000013e1: SWAP6
000013e2: AND
000013e3: SWAP4
000013e4: PUSH4 0x679aefce
000013e9: SWAP4
000013ea: DUP3
000013eb: DUP2
000013ec: ADD
000013ed: SWAP4
000013ee: SWAP3
000013ef: DUP3
000013f0: SWAP1
000013f1: SUB
000013f2: ADD
000013f3: DUP2
000013f4: DUP8
000013f5: DUP8
000013f6: GAS
000013f7: CALL
000013f8: ISZERO
000013f9: DUP1
000013fa: ISZERO
000013fb: PUSH2 0x1408
000013fe: JUMPI
000013ff: RETURNDATASIZE
00001400: PUSH1 0x00
00001402: DUP1
00001403: RETURNDATACOPY
00001404: RETURNDATASIZE
00001405: PUSH1 0x00
00001407: REVERT
00001408: JUMPDEST
00001409: POP
0000140a: POP
0000140b: POP
0000140c: POP
0000140d: PUSH1 0x40
0000140f: MLOAD
00001410: RETURNDATASIZE
00001411: PUSH1 0x1f
00001413: NOT
00001414: PUSH1 0x1f
00001416: DUP3
00001417: ADD
00001418: AND
00001419: DUP3
0000141a: ADD
0000141b: DUP1
0000141c: PUSH1 0x40
0000141e: MSTORE
0000141f: POP
00001420: DUP2
00001421: ADD
00001422: SWAP1
00001423: PUSH2 0x142c
00001426: SWAP2
00001427: SWAP1
00001428: PUSH2 0x2ad5
0000142b: JUMP
0000142c: JUMPDEST
0000142d: SWAP1
0000142e: POP
0000142f: PUSH1 0x00
00001431: PUSH8 0x0de0b6b3a7640000
0000143a: PUSH2 0x1443
0000143d: DUP4
0000143e: DUP10
0000143f: PUSH2 0x2b04
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH2 0x144d
00001447: SWAP2
00001448: SWAP1
00001449: PUSH2 0x2efa
0000144c: JUMP
0000144d: JUMPDEST
0000144e: SWAP1
0000144f: POP
00001450: PUSH1 0x00
00001452: DUP1
00001453: PUSH1 0x02
00001455: SWAP1
00001456: SLOAD
00001457: SWAP1
00001458: PUSH2 0x0100
0000145b: EXP
0000145c: SWAP1
0000145d: DIV
0000145e: PUSH1 0x01
00001460: PUSH1 0x01
00001462: PUSH1 0xa0
00001464: SHL
00001465: SUB
00001466: AND
00001467: PUSH1 0x01
00001469: PUSH1 0x01
0000146b: PUSH1 0xa0
0000146d: SHL
0000146e: SUB
0000146f: AND
00001470: PUSH4 0x780b44bd
00001475: PUSH1 0x40
00001477: MLOAD
00001478: DUP2
00001479: PUSH4 0xffffffff
0000147e: AND
0000147f: PUSH1 0xe0
00001481: SHL
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x04
00001486: ADD
00001487: PUSH1 0x20
00001489: PUSH1 0x40
0000148b: MLOAD
0000148c: DUP1
0000148d: DUP4
0000148e: SUB
0000148f: DUP2
00001490: DUP7
00001491: GAS
00001492: STATICCALL
00001493: ISZERO
00001494: DUP1
00001495: ISZERO
00001496: PUSH2 0x14a3
00001499: JUMPI
0000149a: RETURNDATASIZE
0000149b: PUSH1 0x00
0000149d: DUP1
0000149e: RETURNDATACOPY
0000149f: RETURNDATASIZE
000014a0: PUSH1 0x00
000014a2: REVERT
000014a3: JUMPDEST
000014a4: POP
000014a5: POP
000014a6: POP
000014a7: POP
000014a8: PUSH1 0x40
000014aa: MLOAD
000014ab: RETURNDATASIZE
000014ac: PUSH1 0x1f
000014ae: NOT
000014af: PUSH1 0x1f
000014b1: DUP3
000014b2: ADD
000014b3: AND
000014b4: DUP3
000014b5: ADD
000014b6: DUP1
000014b7: PUSH1 0x40
000014b9: MSTORE
000014ba: POP
000014bb: DUP2
000014bc: ADD
000014bd: SWAP1
000014be: PUSH2 0x14c7
000014c1: SWAP2
000014c2: SWAP1
000014c3: PUSH2 0x27ee
000014c6: JUMP
000014c7: JUMPDEST
000014c8: PUSH1 0x40
000014ca: MLOAD
000014cb: PUSH4 0x98ec183f
000014d0: PUSH1 0xe0
000014d2: SHL
000014d3: DUP2
000014d4: MSTORE
000014d5: PUSH1 0x04
000014d7: DUP2
000014d8: ADD
000014d9: DUP5
000014da: SWAP1
000014db: MSTORE
000014dc: CALLER
000014dd: PUSH1 0x24
000014df: DUP3
000014e0: ADD
000014e1: MSTORE
000014e2: PUSH1 0x44
000014e4: DUP2
000014e5: ADD
000014e6: DUP10
000014e7: SWAP1
000014e8: MSTORE
000014e9: SWAP1
000014ea: SWAP2
000014eb: POP
000014ec: PUSH1 0x01
000014ee: PUSH1 0x01
000014f0: PUSH1 0xa0
000014f2: SHL
000014f3: SUB
000014f4: DUP3
000014f5: AND
000014f6: SWAP1
000014f7: PUSH4 0x98ec183f
000014fc: SWAP1
000014fd: PUSH1 0x64
000014ff: ADD
00001500: PUSH1 0x00
00001502: PUSH1 0x40
00001504: MLOAD
00001505: DUP1
00001506: DUP4
00001507: SUB
00001508: DUP2
00001509: PUSH1 0x00
0000150b: DUP8
0000150c: DUP1
0000150d: EXTCODESIZE
0000150e: ISZERO
0000150f: DUP1
00001510: ISZERO
00001511: PUSH2 0x1519
00001514: JUMPI
00001515: PUSH1 0x00
00001517: DUP1
00001518: REVERT
00001519: JUMPDEST
0000151a: POP
0000151b: GAS
0000151c: CALL
0000151d: ISZERO
0000151e: DUP1
0000151f: ISZERO
00001520: PUSH2 0x152d
00001523: JUMPI
00001524: RETURNDATASIZE
00001525: PUSH1 0x00
00001527: DUP1
00001528: RETURNDATACOPY
00001529: RETURNDATASIZE
0000152a: PUSH1 0x00
0000152c: REVERT
0000152d: JUMPDEST
0000152e: POP
0000152f: POP
00001530: POP
00001531: POP
00001532: DUP9
00001533: PUSH1 0x01
00001535: PUSH1 0x01
00001537: PUSH1 0xa0
00001539: SHL
0000153a: SUB
0000153b: AND
0000153c: PUSH32 0x0d73def4f5f7674f8d6ba2af55d2db1f0051d3197c06d2b0923940866580ad9e
0000155d: DUP10
0000155e: PUSH1 0x40
00001560: MLOAD
00001561: PUSH2 0x156c
00001564: SWAP2
00001565: DUP2
00001566: MSTORE
00001567: PUSH1 0x20
00001569: ADD
0000156a: SWAP1
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH1 0x40
0000156f: MLOAD
00001570: DUP1
00001571: SWAP2
00001572: SUB
00001573: SWAP1
00001574: LOG2
00001575: POP
00001576: POP
00001577: POP
00001578: POP
00001579: POP
0000157a: POP
0000157b: POP
0000157c: POP
0000157d: POP
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH1 0x02
00001582: SLOAD
00001583: PUSH1 0x40
00001585: DUP1
00001586: MLOAD
00001587: PUSH1 0x01
00001589: PUSH1 0xf8
0000158b: SHL
0000158c: PUSH1 0x20
0000158e: DUP3
0000158f: ADD
00001590: MSTORE
00001591: PUSH1 0x00
00001593: PUSH1 0x21
00001595: DUP3
00001596: ADD
00001597: MSTORE
00001598: PUSH12 0xffffffffffffffffffffffff
000015a5: NOT
000015a6: PUSH1 0x60
000015a8: SWAP4
000015a9: DUP5
000015aa: SHL
000015ab: AND
000015ac: PUSH1 0x2c
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: ADD
000015b2: PUSH1 0x40
000015b4: MLOAD
000015b5: PUSH1 0x20
000015b7: DUP2
000015b8: DUP4
000015b9: SUB
000015ba: SUB
000015bb: DUP2
000015bc: MSTORE
000015bd: SWAP1
000015be: PUSH1 0x40
000015c0: MSTORE
000015c1: SWAP1
000015c2: POP
000015c3: SWAP1
000015c4: JUMP
000015c5: JUMPDEST
000015c6: PUSH1 0x03
000015c8: SLOAD
000015c9: PUSH1 0x60
000015cb: SWAP1
000015cc: PUSH1 0x01
000015ce: PUSH1 0x01
000015d0: PUSH1 0xa0
000015d2: SHL
000015d3: SUB
000015d4: AND
000015d5: CALLER
000015d6: EQ
000015d7: PUSH2 0x15f3
000015da: JUMPI
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: PUSH4 0x017d048b
000015e3: PUSH1 0xe6
000015e5: SHL
000015e6: DUP2
000015e7: MSTORE
000015e8: PUSH1 0x04
000015ea: ADD
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: DUP1
000015ef: SWAP2
000015f0: SUB
000015f1: SWAP1
000015f2: REVERT
000015f3: JUMPDEST
000015f4: PUSH1 0x00
000015f6: DUP4
000015f7: SWAP1
000015f8: SUB
000015f9: PUSH2 0x1615
000015fc: JUMPI
000015fd: PUSH1 0x40
000015ff: MLOAD
00001600: PUSH4 0x1ec5a9df
00001605: PUSH1 0xe0
00001607: SHL
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x04
0000160c: ADD
0000160d: PUSH1 0x40
0000160f: MLOAD
00001610: DUP1
00001611: SWAP2
00001612: SUB
00001613: SWAP1
00001614: REVERT
00001615: JUMPDEST
00001616: PUSH16 0x219ab540356cbb839cbe05303d7705fa
00001627: PUSH1 0x01
00001629: PUSH1 0x01
0000162b: PUSH1 0xa0
0000162d: SHL
0000162e: SUB
0000162f: AND
00001630: PUSH4 0xc5f2892f
00001635: PUSH1 0x40
00001637: MLOAD
00001638: DUP2
00001639: PUSH4 0xffffffff
0000163e: AND
0000163f: PUSH1 0xe0
00001641: SHL
00001642: DUP2
00001643: MSTORE
00001644: PUSH1 0x04
00001646: ADD
00001647: PUSH1 0x20
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: DUP4
0000164e: SUB
0000164f: DUP2
00001650: DUP7
00001651: GAS
00001652: STATICCALL
00001653: ISZERO
00001654: DUP1
00001655: ISZERO
00001656: PUSH2 0x1663
00001659: JUMPI
0000165a: RETURNDATASIZE
0000165b: PUSH1 0x00
0000165d: DUP1
0000165e: RETURNDATACOPY
0000165f: RETURNDATASIZE
00001660: PUSH1 0x00
00001662: REVERT
00001663: JUMPDEST
00001664: POP
00001665: POP
00001666: POP
00001667: POP
00001668: PUSH1 0x40
0000166a: MLOAD
0000166b: RETURNDATASIZE
0000166c: PUSH1 0x1f
0000166e: NOT
0000166f: PUSH1 0x1f
00001671: DUP3
00001672: ADD
00001673: AND
00001674: DUP3
00001675: ADD
00001676: DUP1
00001677: PUSH1 0x40
00001679: MSTORE
0000167a: POP
0000167b: DUP2
0000167c: ADD
0000167d: SWAP1
0000167e: PUSH2 0x1687
00001681: SWAP2
00001682: SWAP1
00001683: PUSH2 0x2ad5
00001686: JUMP
00001687: JUMPDEST
00001688: DUP3
00001689: EQ
0000168a: PUSH2 0x16a6
0000168d: JUMPI
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: PUSH4 0x511fc763
00001696: PUSH1 0xe0
00001698: SHL
00001699: DUP2
0000169a: MSTORE
0000169b: PUSH1 0x04
0000169d: ADD
0000169e: PUSH1 0x40
000016a0: MLOAD
000016a1: DUP1
000016a2: SWAP2
000016a3: SUB
000016a4: SWAP1
000016a5: REVERT
000016a6: JUMPDEST
000016a7: PUSH1 0x00
000016a9: PUSH2 0x16bb
000016ac: PUSH9 0x01bc16d674ec800000
000016b6: DUP6
000016b7: PUSH2 0x2b04
000016ba: JUMP
000016bb: JUMPDEST
000016bc: SWAP1
000016bd: POP
000016be: PUSH1 0x00
000016c0: DUP1
000016c1: PUSH1 0x02
000016c3: SWAP1
000016c4: SLOAD
000016c5: SWAP1
000016c6: PUSH2 0x0100
000016c9: EXP
000016ca: SWAP1
000016cb: DIV
000016cc: PUSH1 0x01
000016ce: PUSH1 0x01
000016d0: PUSH1 0xa0
000016d2: SHL
000016d3: SUB
000016d4: AND
000016d5: PUSH1 0x01
000016d7: PUSH1 0x01
000016d9: PUSH1 0xa0
000016db: SHL
000016dc: SUB
000016dd: AND
000016de: PUSH4 0xfb2b37ff
000016e3: PUSH1 0x40
000016e5: MLOAD
000016e6: DUP2
000016e7: PUSH4 0xffffffff
000016ec: AND
000016ed: PUSH1 0xe0
000016ef: SHL
000016f0: DUP2
000016f1: MSTORE
000016f2: PUSH1 0x04
000016f4: ADD
000016f5: PUSH1 0x20
000016f7: PUSH1 0x40
000016f9: MLOAD
000016fa: DUP1
000016fb: DUP4
000016fc: SUB
000016fd: DUP2
000016fe: DUP7
000016ff: GAS
00001700: STATICCALL
00001701: ISZERO
00001702: DUP1
00001703: ISZERO
00001704: PUSH2 0x1711
00001707: JUMPI
00001708: RETURNDATASIZE
00001709: PUSH1 0x00
0000170b: DUP1
0000170c: RETURNDATACOPY
0000170d: RETURNDATASIZE
0000170e: PUSH1 0x00
00001710: REVERT
00001711: JUMPDEST
00001712: POP
00001713: POP
00001714: POP
00001715: POP
00001716: PUSH1 0x40
00001718: MLOAD
00001719: RETURNDATASIZE
0000171a: PUSH1 0x1f
0000171c: NOT
0000171d: PUSH1 0x1f
0000171f: DUP3
00001720: ADD
00001721: AND
00001722: DUP3
00001723: ADD
00001724: DUP1
00001725: PUSH1 0x40
00001727: MSTORE
00001728: POP
00001729: DUP2
0000172a: ADD
0000172b: SWAP1
0000172c: PUSH2 0x1735
0000172f: SWAP2
00001730: SWAP1
00001731: PUSH2 0x27ee
00001734: JUMP
00001735: JUMPDEST
00001736: PUSH1 0x01
00001738: PUSH1 0x01
0000173a: PUSH1 0xa0
0000173c: SHL
0000173d: SUB
0000173e: AND
0000173f: PUSH4 0x8545f689
00001744: PUSH1 0x40
00001746: MLOAD
00001747: DUP2
00001748: PUSH4 0xffffffff
0000174d: AND
0000174e: PUSH1 0xe0
00001750: SHL
00001751: DUP2
00001752: MSTORE
00001753: PUSH1 0x04
00001755: ADD
00001756: PUSH1 0x20
00001758: PUSH1 0x40
0000175a: MLOAD
0000175b: DUP1
0000175c: DUP4
0000175d: SUB
0000175e: DUP2
0000175f: DUP7
00001760: GAS
00001761: STATICCALL
00001762: ISZERO
00001763: DUP1
00001764: ISZERO
00001765: PUSH2 0x1772
00001768: JUMPI
00001769: RETURNDATASIZE
0000176a: PUSH1 0x00
0000176c: DUP1
0000176d: RETURNDATACOPY
0000176e: RETURNDATASIZE
0000176f: PUSH1 0x00
00001771: REVERT
00001772: JUMPDEST
00001773: POP
00001774: POP
00001775: POP
00001776: POP
00001777: PUSH1 0x40
00001779: MLOAD
0000177a: RETURNDATASIZE
0000177b: PUSH1 0x1f
0000177d: NOT
0000177e: PUSH1 0x1f
00001780: DUP3
00001781: ADD
00001782: AND
00001783: DUP3
00001784: ADD
00001785: DUP1
00001786: PUSH1 0x40
00001788: MSTORE
00001789: POP
0000178a: DUP2
0000178b: ADD
0000178c: SWAP1
0000178d: PUSH2 0x1796
00001790: SWAP2
00001791: SWAP1
00001792: PUSH2 0x2ad5
00001795: JUMP
00001796: JUMPDEST
00001797: SWAP1
00001798: POP
00001799: PUSH2 0x17a2
0000179c: DUP2
0000179d: DUP4
0000179e: PUSH2 0x2b23
000017a1: JUMP
000017a2: JUMPDEST
000017a3: SELFBALANCE
000017a4: LT
000017a5: ISZERO
000017a6: PUSH2 0x17c2
000017a9: JUMPI
000017aa: PUSH1 0x40
000017ac: MLOAD
000017ad: PUSH4 0x5dd90557
000017b2: PUSH1 0xe1
000017b4: SHL
000017b5: DUP2
000017b6: MSTORE
000017b7: PUSH1 0x04
000017b9: ADD
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: DUP1
000017be: SWAP2
000017bf: SUB
000017c0: SWAP1
000017c1: REVERT
000017c2: JUMPDEST
000017c3: PUSH1 0x00
000017c5: DUP1
000017c6: PUSH1 0x02
000017c8: SWAP1
000017c9: SLOAD
000017ca: SWAP1
000017cb: PUSH2 0x0100
000017ce: EXP
000017cf: SWAP1
000017d0: DIV
000017d1: PUSH1 0x01
000017d3: PUSH1 0x01
000017d5: PUSH1 0xa0
000017d7: SHL
000017d8: SUB
000017d9: AND
000017da: PUSH1 0x01
000017dc: PUSH1 0x01
000017de: PUSH1 0xa0
000017e0: SHL
000017e1: SUB
000017e2: AND
000017e3: PUSH4 0x9ffaaa3b
000017e8: PUSH1 0x40
000017ea: MLOAD
000017eb: DUP2
000017ec: PUSH4 0xffffffff
000017f1: AND
000017f2: PUSH1 0xe0
000017f4: SHL
000017f5: DUP2
000017f6: MSTORE
000017f7: PUSH1 0x04
000017f9: ADD
000017fa: PUSH1 0x20
000017fc: PUSH1 0x40
000017fe: MLOAD
000017ff: DUP1
00001800: DUP4
00001801: SUB
00001802: DUP2
00001803: DUP7
00001804: GAS
00001805: STATICCALL
00001806: ISZERO
00001807: DUP1
00001808: ISZERO
00001809: PUSH2 0x1816
0000180c: JUMPI
0000180d: RETURNDATASIZE
0000180e: PUSH1 0x00
00001810: DUP1
00001811: RETURNDATACOPY
00001812: RETURNDATASIZE
00001813: PUSH1 0x00
00001815: REVERT
00001816: JUMPDEST
00001817: POP
00001818: POP
00001819: POP
0000181a: POP
0000181b: PUSH1 0x40
0000181d: MLOAD
0000181e: RETURNDATASIZE
0000181f: PUSH1 0x1f
00001821: NOT
00001822: PUSH1 0x1f
00001824: DUP3
00001825: ADD
00001826: AND
00001827: DUP3
00001828: ADD
00001829: DUP1
0000182a: PUSH1 0x40
0000182c: MSTORE
0000182d: POP
0000182e: DUP2
0000182f: ADD
00001830: SWAP1
00001831: PUSH2 0x183a
00001834: SWAP2
00001835: SWAP1
00001836: PUSH2 0x27ee
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH1 0x01
0000183d: PUSH1 0x01
0000183f: PUSH1 0xa0
00001841: SHL
00001842: SUB
00001843: AND
00001844: PUSH4 0xc3953502
00001849: DUP9
0000184a: DUP9
0000184b: PUSH1 0x40
0000184d: MLOAD
0000184e: DUP4
0000184f: PUSH4 0xffffffff
00001854: AND
00001855: PUSH1 0xe0
00001857: SHL
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x04
0000185c: ADD
0000185d: PUSH2 0x1867
00001860: SWAP3
00001861: SWAP2
00001862: SWAP1
00001863: PUSH2 0x2b65
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH1 0x00
0000186a: PUSH1 0x40
0000186c: MLOAD
0000186d: DUP1
0000186e: DUP4
0000186f: SUB
00001870: DUP2
00001871: PUSH1 0x00
00001873: DUP8
00001874: GAS
00001875: CALL
00001876: ISZERO
00001877: DUP1
00001878: ISZERO
00001879: PUSH2 0x1886
0000187c: JUMPI
0000187d: RETURNDATASIZE
0000187e: PUSH1 0x00
00001880: DUP1
00001881: RETURNDATACOPY
00001882: RETURNDATASIZE
00001883: PUSH1 0x00
00001885: REVERT
00001886: JUMPDEST
00001887: POP
00001888: POP
00001889: POP
0000188a: POP
0000188b: PUSH1 0x40
0000188d: MLOAD
0000188e: RETURNDATASIZE
0000188f: PUSH1 0x00
00001891: DUP3
00001892: RETURNDATACOPY
00001893: PUSH1 0x1f
00001895: RETURNDATASIZE
00001896: SWAP1
00001897: DUP2
00001898: ADD
00001899: PUSH1 0x1f
0000189b: NOT
0000189c: AND
0000189d: DUP3
0000189e: ADD
0000189f: PUSH1 0x40
000018a1: MSTORE
000018a2: PUSH2 0x18ae
000018a5: SWAP2
000018a6: SWAP1
000018a7: DUP2
000018a8: ADD
000018a9: SWAP1
000018aa: PUSH2 0x2c65
000018ad: JUMP
000018ae: JUMPDEST
000018af: SWAP1
000018b0: POP
000018b1: PUSH2 0x18ba
000018b4: CALLER
000018b5: DUP5
000018b6: PUSH2 0x1a23
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH1 0x40
000018bd: MLOAD
000018be: DUP4
000018bf: DUP2
000018c0: MSTORE
000018c1: CALLER
000018c2: SWAP1
000018c3: PUSH32 0x78f5cdad99320ec2ba57132d7dffb1d125775c823239e60ff5e9300fd4ac898c
000018e4: SWAP1
000018e5: PUSH1 0x20
000018e7: ADD
000018e8: PUSH1 0x40
000018ea: MLOAD
000018eb: DUP1
000018ec: SWAP2
000018ed: SUB
000018ee: SWAP1
000018ef: LOG2
000018f0: SWAP7
000018f1: SWAP6
000018f2: POP
000018f3: POP
000018f4: POP
000018f5: POP
000018f6: POP
000018f7: POP
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: SLOAD
000018fd: PUSH1 0x40
000018ff: MLOAD
00001900: PUSH4 0x12d9a6ad
00001905: PUSH1 0xe0
00001907: SHL
00001908: DUP2
00001909: MSTORE
0000190a: PUSH32 0x4ff52032f36e32ac782042a01802e20394d4255c84a3c046490be98ab632691b
0000192b: PUSH1 0x04
0000192d: DUP3
0000192e: ADD
0000192f: DUP2
00001930: SWAP1
00001931: MSTORE
00001932: CALLER
00001933: PUSH1 0x24
00001935: DUP4
00001936: ADD
00001937: MSTORE
00001938: SWAP2
00001939: PUSH3 0x010000
0000193d: SWAP1
0000193e: DIV
0000193f: PUSH1 0x01
00001941: PUSH1 0x01
00001943: PUSH1 0xa0
00001945: SHL
00001946: SUB
00001947: AND
00001948: SWAP1
00001949: PUSH4 0x12d9a6ad
0000194e: SWAP1
0000194f: PUSH1 0x44
00001951: ADD
00001952: PUSH1 0x00
00001954: PUSH1 0x40
00001956: MLOAD
00001957: DUP1
00001958: DUP4
00001959: SUB
0000195a: DUP2
0000195b: DUP7
0000195c: DUP1
0000195d: EXTCODESIZE
0000195e: ISZERO
0000195f: DUP1
00001960: ISZERO
00001961: PUSH2 0x1969
00001964: JUMPI
00001965: PUSH1 0x00
00001967: DUP1
00001968: REVERT
00001969: JUMPDEST
0000196a: POP
0000196b: GAS
0000196c: STATICCALL
0000196d: ISZERO
0000196e: DUP1
0000196f: ISZERO
00001970: PUSH2 0x197d
00001973: JUMPI
00001974: RETURNDATASIZE
00001975: PUSH1 0x00
00001977: DUP1
00001978: RETURNDATACOPY
00001979: RETURNDATASIZE
0000197a: PUSH1 0x00
0000197c: REVERT
0000197d: JUMPDEST
0000197e: POP
0000197f: POP
00001980: PUSH1 0x40
00001982: MLOAD
00001983: PUSH4 0x70a08231
00001988: PUSH1 0xe0
0000198a: SHL
0000198b: DUP2
0000198c: MSTORE
0000198d: ADDRESS
0000198e: PUSH1 0x04
00001990: DUP3
00001991: ADD
00001992: MSTORE
00001993: PUSH1 0x00
00001995: SWAP3
00001996: POP
00001997: PUSH1 0x01
00001999: PUSH1 0x01
0000199b: PUSH1 0xa0
0000199d: SHL
0000199e: SUB
0000199f: DUP6
000019a0: AND
000019a1: SWAP2
000019a2: POP
000019a3: PUSH4 0x70a08231
000019a8: SWAP1
000019a9: PUSH1 0x24
000019ab: ADD
000019ac: PUSH1 0x20
000019ae: PUSH1 0x40
000019b0: MLOAD
000019b1: DUP1
000019b2: DUP4
000019b3: SUB
000019b4: DUP2
000019b5: DUP7
000019b6: GAS
000019b7: STATICCALL
000019b8: ISZERO
000019b9: DUP1
000019ba: ISZERO
000019bb: PUSH2 0x19c8
000019be: JUMPI
000019bf: RETURNDATASIZE
000019c0: PUSH1 0x00
000019c2: DUP1
000019c3: RETURNDATACOPY
000019c4: RETURNDATASIZE
000019c5: PUSH1 0x00
000019c7: REVERT
000019c8: JUMPDEST
000019c9: POP
000019ca: POP
000019cb: POP
000019cc: POP
000019cd: PUSH1 0x40
000019cf: MLOAD
000019d0: RETURNDATASIZE
000019d1: PUSH1 0x1f
000019d3: NOT
000019d4: PUSH1 0x1f
000019d6: DUP3
000019d7: ADD
000019d8: AND
000019d9: DUP3
000019da: ADD
000019db: DUP1
000019dc: PUSH1 0x40
000019de: MSTORE
000019df: POP
000019e0: DUP2
000019e1: ADD
000019e2: SWAP1
000019e3: PUSH2 0x19ec
000019e6: SWAP2
000019e7: SWAP1
000019e8: PUSH2 0x2ad5
000019eb: JUMP
000019ec: JUMPDEST
000019ed: SWAP1
000019ee: POP
000019ef: DUP1
000019f0: PUSH1 0x00
000019f2: SUB
000019f3: PUSH2 0x1a0f
000019f6: JUMPI
000019f7: PUSH1 0x40
000019f9: MLOAD
000019fa: PUSH4 0x7dd28aa7
000019ff: PUSH1 0xe1
00001a01: SHL
00001a02: DUP2
00001a03: MSTORE
00001a04: PUSH1 0x04
00001a06: ADD
00001a07: PUSH1 0x40
00001a09: MLOAD
00001a0a: DUP1
00001a0b: SWAP2
00001a0c: SUB
00001a0d: SWAP1
00001a0e: REVERT
00001a0f: JUMPDEST
00001a10: PUSH2 0x0d9b
00001a13: PUSH1 0x01
00001a15: PUSH1 0x01
00001a17: PUSH1 0xa0
00001a19: SHL
00001a1a: SUB
00001a1b: DUP5
00001a1c: AND
00001a1d: CALLER
00001a1e: DUP4
00001a1f: PUSH2 0x1e94
00001a22: JUMP
00001a23: JUMPDEST
00001a24: DUP1
00001a25: SELFBALANCE
00001a26: LT
00001a27: ISZERO
00001a28: PUSH2 0x1a73
00001a2b: JUMPI
00001a2c: PUSH1 0x40
00001a2e: MLOAD
00001a2f: PUSH3 0x461bcd
00001a33: PUSH1 0xe5
00001a35: SHL
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x20
00001a3a: PUSH1 0x04
00001a3c: DUP3
00001a3d: ADD
00001a3e: MSTORE
00001a3f: PUSH1 0x1d
00001a41: PUSH1 0x24
00001a43: DUP3
00001a44: ADD
00001a45: MSTORE
00001a46: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001a67: PUSH1 0x44
00001a69: DUP3
00001a6a: ADD
00001a6b: MSTORE
00001a6c: PUSH1 0x64
00001a6e: ADD
00001a6f: PUSH2 0x0cd1
00001a72: JUMP
00001a73: JUMPDEST
00001a74: PUSH1 0x00
00001a76: DUP3
00001a77: PUSH1 0x01
00001a79: PUSH1 0x01
00001a7b: PUSH1 0xa0
00001a7d: SHL
00001a7e: SUB
00001a7f: AND
00001a80: DUP3
00001a81: PUSH1 0x40
00001a83: MLOAD
00001a84: PUSH1 0x00
00001a86: PUSH1 0x40
00001a88: MLOAD
00001a89: DUP1
00001a8a: DUP4
00001a8b: SUB
00001a8c: DUP2
00001a8d: DUP6
00001a8e: DUP8
00001a8f: GAS
00001a90: CALL
00001a91: SWAP3
00001a92: POP
00001a93: POP
00001a94: POP
00001a95: RETURNDATASIZE
00001a96: DUP1
00001a97: PUSH1 0x00
00001a99: DUP2
00001a9a: EQ
00001a9b: PUSH2 0x1ac0
00001a9e: JUMPI
00001a9f: PUSH1 0x40
00001aa1: MLOAD
00001aa2: SWAP2
00001aa3: POP
00001aa4: PUSH1 0x1f
00001aa6: NOT
00001aa7: PUSH1 0x3f
00001aa9: RETURNDATASIZE
00001aaa: ADD
00001aab: AND
00001aac: DUP3
00001aad: ADD
00001aae: PUSH1 0x40
00001ab0: MSTORE
00001ab1: RETURNDATASIZE
00001ab2: DUP3
00001ab3: MSTORE
00001ab4: RETURNDATASIZE
00001ab5: PUSH1 0x00
00001ab7: PUSH1 0x20
00001ab9: DUP5
00001aba: ADD
00001abb: RETURNDATACOPY
00001abc: PUSH2 0x1ac5
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: PUSH1 0x60
00001ac3: SWAP2
00001ac4: POP
00001ac5: JUMPDEST
00001ac6: POP
00001ac7: POP
00001ac8: SWAP1
00001ac9: POP
00001aca: DUP1
00001acb: PUSH2 0x0d9b
00001ace: JUMPI
00001acf: PUSH1 0x40
00001ad1: MLOAD
00001ad2: PUSH3 0x461bcd
00001ad6: PUSH1 0xe5
00001ad8: SHL
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x20
00001add: PUSH1 0x04
00001adf: DUP3
00001ae0: ADD
00001ae1: MSTORE
00001ae2: PUSH1 0x3a
00001ae4: PUSH1 0x24
00001ae6: DUP3
00001ae7: ADD
00001ae8: MSTORE
00001ae9: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001b0a: PUSH1 0x44
00001b0c: DUP3
00001b0d: ADD
00001b0e: MSTORE
00001b0f: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001b30: PUSH1 0x64
00001b32: DUP3
00001b33: ADD
00001b34: MSTORE
00001b35: PUSH1 0x84
00001b37: ADD
00001b38: PUSH2 0x0cd1
00001b3b: JUMP
00001b3c: JUMPDEST
00001b3d: PUSH1 0x00
00001b3f: DUP1
00001b40: PUSH2 0x1b4d
00001b43: PUSH4 0x3b9aca00
00001b48: DUP5
00001b49: PUSH2 0x2efa
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: SWAP1
00001b4f: POP
00001b50: PUSH1 0x00
00001b52: PUSH2 0x1b5a
00001b55: DUP3
00001b56: PUSH2 0x1f59
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: SWAP1
00001b5c: POP
00001b5d: PUSH1 0x00
00001b5f: PUSH1 0x02
00001b61: DUP9
00001b62: PUSH1 0x00
00001b64: PUSH1 0x80
00001b66: SHL
00001b67: PUSH1 0x40
00001b69: MLOAD
00001b6a: PUSH1 0x20
00001b6c: ADD
00001b6d: PUSH2 0x1b77
00001b70: SWAP3
00001b71: SWAP2
00001b72: SWAP1
00001b73: PUSH2 0x2f1c
00001b76: JUMP
00001b77: JUMPDEST
00001b78: PUSH1 0x40
00001b7a: DUP1
00001b7b: MLOAD
00001b7c: PUSH1 0x1f
00001b7e: NOT
00001b7f: DUP2
00001b80: DUP5
00001b81: SUB
00001b82: ADD
00001b83: DUP2
00001b84: MSTORE
00001b85: SWAP1
00001b86: DUP3
00001b87: SWAP1
00001b88: MSTORE
00001b89: PUSH2 0x1b91
00001b8c: SWAP2
00001b8d: PUSH2 0x2f54
00001b90: JUMP
00001b91: JUMPDEST
00001b92: PUSH1 0x20
00001b94: PUSH1 0x40
00001b96: MLOAD
00001b97: DUP1
00001b98: DUP4
00001b99: SUB
00001b9a: DUP2
00001b9b: DUP6
00001b9c: GAS
00001b9d: STATICCALL
00001b9e: ISZERO
00001b9f: DUP1
00001ba0: ISZERO
00001ba1: PUSH2 0x1bae
00001ba4: JUMPI
00001ba5: RETURNDATASIZE
00001ba6: PUSH1 0x00
00001ba8: DUP1
00001ba9: RETURNDATACOPY
00001baa: RETURNDATASIZE
00001bab: PUSH1 0x00
00001bad: REVERT
00001bae: JUMPDEST
00001baf: POP
00001bb0: POP
00001bb1: POP
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: RETURNDATASIZE
00001bb6: PUSH1 0x1f
00001bb8: NOT
00001bb9: PUSH1 0x1f
00001bbb: DUP3
00001bbc: ADD
00001bbd: AND
00001bbe: DUP3
00001bbf: ADD
00001bc0: DUP1
00001bc1: PUSH1 0x40
00001bc3: MSTORE
00001bc4: POP
00001bc5: DUP2
00001bc6: ADD
00001bc7: SWAP1
00001bc8: PUSH2 0x1bd1
00001bcb: SWAP2
00001bcc: SWAP1
00001bcd: PUSH2 0x2ad5
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: SWAP1
00001bd3: POP
00001bd4: PUSH1 0x00
00001bd6: PUSH1 0x02
00001bd8: DUP1
00001bd9: PUSH2 0x1be4
00001bdc: DUP10
00001bdd: DUP5
00001bde: PUSH1 0x40
00001be0: PUSH2 0x210d
00001be3: JUMP
00001be4: JUMPDEST
00001be5: PUSH1 0x40
00001be7: MLOAD
00001be8: PUSH1 0x20
00001bea: ADD
00001beb: PUSH2 0x1bf4
00001bee: SWAP2
00001bef: SWAP1
00001bf0: PUSH2 0x2f54
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: PUSH1 0x40
00001bf7: DUP1
00001bf8: MLOAD
00001bf9: PUSH1 0x1f
00001bfb: NOT
00001bfc: DUP2
00001bfd: DUP5
00001bfe: SUB
00001bff: ADD
00001c00: DUP2
00001c01: MSTORE
00001c02: SWAP1
00001c03: DUP3
00001c04: SWAP1
00001c05: MSTORE
00001c06: PUSH2 0x1c0e
00001c09: SWAP2
00001c0a: PUSH2 0x2f54
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0x20
00001c11: PUSH1 0x40
00001c13: MLOAD
00001c14: DUP1
00001c15: DUP4
00001c16: SUB
00001c17: DUP2
00001c18: DUP6
00001c19: GAS
00001c1a: STATICCALL
00001c1b: ISZERO
00001c1c: DUP1
00001c1d: ISZERO
00001c1e: PUSH2 0x1c2b
00001c21: JUMPI
00001c22: RETURNDATASIZE
00001c23: PUSH1 0x00
00001c25: DUP1
00001c26: RETURNDATACOPY
00001c27: RETURNDATASIZE
00001c28: PUSH1 0x00
00001c2a: REVERT
00001c2b: JUMPDEST
00001c2c: POP
00001c2d: POP
00001c2e: POP
00001c2f: PUSH1 0x40
00001c31: MLOAD
00001c32: RETURNDATASIZE
00001c33: PUSH1 0x1f
00001c35: NOT
00001c36: PUSH1 0x1f
00001c38: DUP3
00001c39: ADD
00001c3a: AND
00001c3b: DUP3
00001c3c: ADD
00001c3d: DUP1
00001c3e: PUSH1 0x40
00001c40: MSTORE
00001c41: POP
00001c42: DUP2
00001c43: ADD
00001c44: SWAP1
00001c45: PUSH2 0x1c4e
00001c48: SWAP2
00001c49: SWAP1
00001c4a: PUSH2 0x2ad5
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x02
00001c51: PUSH2 0x1c5d
00001c54: DUP11
00001c55: PUSH1 0x40
00001c57: PUSH1 0x20
00001c59: PUSH2 0x210d
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH1 0x40
00001c60: MLOAD
00001c61: PUSH2 0x1c70
00001c64: SWAP2
00001c65: SWAP1
00001c66: PUSH1 0x00
00001c68: SWAP1
00001c69: PUSH1 0x20
00001c6b: ADD
00001c6c: PUSH2 0x2f70
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: PUSH1 0x40
00001c73: DUP1
00001c74: MLOAD
00001c75: PUSH1 0x1f
00001c77: NOT
00001c78: DUP2
00001c79: DUP5
00001c7a: SUB
00001c7b: ADD
00001c7c: DUP2
00001c7d: MSTORE
00001c7e: SWAP1
00001c7f: DUP3
00001c80: SWAP1
00001c81: MSTORE
00001c82: PUSH2 0x1c8a
00001c85: SWAP2
00001c86: PUSH2 0x2f54
00001c89: JUMP
00001c8a: JUMPDEST
00001c8b: PUSH1 0x20
00001c8d: PUSH1 0x40
00001c8f: MLOAD
00001c90: DUP1
00001c91: DUP4
00001c92: SUB
00001c93: DUP2
00001c94: DUP6
00001c95: GAS
00001c96: STATICCALL
00001c97: ISZERO
00001c98: DUP1
00001c99: ISZERO
00001c9a: PUSH2 0x1ca7
00001c9d: JUMPI
00001c9e: RETURNDATASIZE
00001c9f: PUSH1 0x00
00001ca1: DUP1
00001ca2: RETURNDATACOPY
00001ca3: RETURNDATASIZE
00001ca4: PUSH1 0x00
00001ca6: REVERT
00001ca7: JUMPDEST
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: PUSH1 0x40
00001cad: MLOAD
00001cae: RETURNDATASIZE
00001caf: PUSH1 0x1f
00001cb1: NOT
00001cb2: PUSH1 0x1f
00001cb4: DUP3
00001cb5: ADD
00001cb6: AND
00001cb7: DUP3
00001cb8: ADD
00001cb9: DUP1
00001cba: PUSH1 0x40
00001cbc: MSTORE
00001cbd: POP
00001cbe: DUP2
00001cbf: ADD
00001cc0: SWAP1
00001cc1: PUSH2 0x1cca
00001cc4: SWAP2
00001cc5: SWAP1
00001cc6: PUSH2 0x2ad5
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: PUSH1 0x40
00001ccd: DUP1
00001cce: MLOAD
00001ccf: PUSH1 0x20
00001cd1: DUP2
00001cd2: ADD
00001cd3: SWAP4
00001cd4: SWAP1
00001cd5: SWAP4
00001cd6: MSTORE
00001cd7: DUP3
00001cd8: ADD
00001cd9: MSTORE
00001cda: PUSH1 0x60
00001cdc: ADD
00001cdd: PUSH1 0x40
00001cdf: DUP1
00001ce0: MLOAD
00001ce1: PUSH1 0x1f
00001ce3: NOT
00001ce4: DUP2
00001ce5: DUP5
00001ce6: SUB
00001ce7: ADD
00001ce8: DUP2
00001ce9: MSTORE
00001cea: SWAP1
00001ceb: DUP3
00001cec: SWAP1
00001ced: MSTORE
00001cee: PUSH2 0x1cf6
00001cf1: SWAP2
00001cf2: PUSH2 0x2f54
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: PUSH1 0x20
00001cf9: PUSH1 0x40
00001cfb: MLOAD
00001cfc: DUP1
00001cfd: DUP4
00001cfe: SUB
00001cff: DUP2
00001d00: DUP6
00001d01: GAS
00001d02: STATICCALL
00001d03: ISZERO
00001d04: DUP1
00001d05: ISZERO
00001d06: PUSH2 0x1d13
00001d09: JUMPI
00001d0a: RETURNDATASIZE
00001d0b: PUSH1 0x00
00001d0d: DUP1
00001d0e: RETURNDATACOPY
00001d0f: RETURNDATASIZE
00001d10: PUSH1 0x00
00001d12: REVERT
00001d13: JUMPDEST
00001d14: POP
00001d15: POP
00001d16: POP
00001d17: PUSH1 0x40
00001d19: MLOAD
00001d1a: RETURNDATASIZE
00001d1b: PUSH1 0x1f
00001d1d: NOT
00001d1e: PUSH1 0x1f
00001d20: DUP3
00001d21: ADD
00001d22: AND
00001d23: DUP3
00001d24: ADD
00001d25: DUP1
00001d26: PUSH1 0x40
00001d28: MSTORE
00001d29: POP
00001d2a: DUP2
00001d2b: ADD
00001d2c: SWAP1
00001d2d: PUSH2 0x1d36
00001d30: SWAP2
00001d31: SWAP1
00001d32: PUSH2 0x2ad5
00001d35: JUMP
00001d36: JUMPDEST
00001d37: SWAP1
00001d38: POP
00001d39: PUSH1 0x02
00001d3b: DUP1
00001d3c: DUP4
00001d3d: DUP11
00001d3e: PUSH1 0x40
00001d40: MLOAD
00001d41: PUSH1 0x20
00001d43: ADD
00001d44: PUSH2 0x1d4e
00001d47: SWAP3
00001d48: SWAP2
00001d49: SWAP1
00001d4a: PUSH2 0x2f92
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH1 0x40
00001d51: DUP1
00001d52: MLOAD
00001d53: PUSH1 0x1f
00001d55: NOT
00001d56: DUP2
00001d57: DUP5
00001d58: SUB
00001d59: ADD
00001d5a: DUP2
00001d5b: MSTORE
00001d5c: SWAP1
00001d5d: DUP3
00001d5e: SWAP1
00001d5f: MSTORE
00001d60: PUSH2 0x1d68
00001d63: SWAP2
00001d64: PUSH2 0x2f54
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x20
00001d6b: PUSH1 0x40
00001d6d: MLOAD
00001d6e: DUP1
00001d6f: DUP4
00001d70: SUB
00001d71: DUP2
00001d72: DUP6
00001d73: GAS
00001d74: STATICCALL
00001d75: ISZERO
00001d76: DUP1
00001d77: ISZERO
00001d78: PUSH2 0x1d85
00001d7b: JUMPI
00001d7c: RETURNDATASIZE
00001d7d: PUSH1 0x00
00001d7f: DUP1
00001d80: RETURNDATACOPY
00001d81: RETURNDATASIZE
00001d82: PUSH1 0x00
00001d84: REVERT
00001d85: JUMPDEST
00001d86: POP
00001d87: POP
00001d88: POP
00001d89: PUSH1 0x40
00001d8b: MLOAD
00001d8c: RETURNDATASIZE
00001d8d: PUSH1 0x1f
00001d8f: NOT
00001d90: PUSH1 0x1f
00001d92: DUP3
00001d93: ADD
00001d94: AND
00001d95: DUP3
00001d96: ADD
00001d97: DUP1
00001d98: PUSH1 0x40
00001d9a: MSTORE
00001d9b: POP
00001d9c: DUP2
00001d9d: ADD
00001d9e: SWAP1
00001d9f: PUSH2 0x1da8
00001da2: SWAP2
00001da3: SWAP1
00001da4: PUSH2 0x2ad5
00001da7: JUMP
00001da8: JUMPDEST
00001da9: PUSH1 0x40
00001dab: MLOAD
00001dac: PUSH1 0x02
00001dae: SWAP1
00001daf: PUSH2 0x1dc1
00001db2: SWAP1
00001db3: DUP8
00001db4: SWAP1
00001db5: PUSH1 0x00
00001db7: SWAP1
00001db8: DUP8
00001db9: SWAP1
00001dba: PUSH1 0x20
00001dbc: ADD
00001dbd: PUSH2 0x2fb8
00001dc0: JUMP
00001dc1: JUMPDEST
00001dc2: PUSH1 0x40
00001dc4: DUP1
00001dc5: MLOAD
00001dc6: PUSH1 0x1f
00001dc8: NOT
00001dc9: DUP2
00001dca: DUP5
00001dcb: SUB
00001dcc: ADD
00001dcd: DUP2
00001dce: MSTORE
00001dcf: SWAP1
00001dd0: DUP3
00001dd1: SWAP1
00001dd2: MSTORE
00001dd3: PUSH2 0x1ddb
00001dd6: SWAP2
00001dd7: PUSH2 0x2f54
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: PUSH1 0x20
00001dde: PUSH1 0x40
00001de0: MLOAD
00001de1: DUP1
00001de2: DUP4
00001de3: SUB
00001de4: DUP2
00001de5: DUP6
00001de6: GAS
00001de7: STATICCALL
00001de8: ISZERO
00001de9: DUP1
00001dea: ISZERO
00001deb: PUSH2 0x1df8
00001dee: JUMPI
00001def: RETURNDATASIZE
00001df0: PUSH1 0x00
00001df2: DUP1
00001df3: RETURNDATACOPY
00001df4: RETURNDATASIZE
00001df5: PUSH1 0x00
00001df7: REVERT
00001df8: JUMPDEST
00001df9: POP
00001dfa: POP
00001dfb: POP
00001dfc: PUSH1 0x40
00001dfe: MLOAD
00001dff: RETURNDATASIZE
00001e00: PUSH1 0x1f
00001e02: NOT
00001e03: PUSH1 0x1f
00001e05: DUP3
00001e06: ADD
00001e07: AND
00001e08: DUP3
00001e09: ADD
00001e0a: DUP1
00001e0b: PUSH1 0x40
00001e0d: MSTORE
00001e0e: POP
00001e0f: DUP2
00001e10: ADD
00001e11: SWAP1
00001e12: PUSH2 0x1e1b
00001e15: SWAP2
00001e16: SWAP1
00001e17: PUSH2 0x2ad5
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH1 0x40
00001e1e: DUP1
00001e1f: MLOAD
00001e20: PUSH1 0x20
00001e22: DUP2
00001e23: ADD
00001e24: SWAP4
00001e25: SWAP1
00001e26: SWAP4
00001e27: MSTORE
00001e28: DUP3
00001e29: ADD
00001e2a: MSTORE
00001e2b: PUSH1 0x60
00001e2d: ADD
00001e2e: PUSH1 0x40
00001e30: DUP1
00001e31: MLOAD
00001e32: PUSH1 0x1f
00001e34: NOT
00001e35: DUP2
00001e36: DUP5
00001e37: SUB
00001e38: ADD
00001e39: DUP2
00001e3a: MSTORE
00001e3b: SWAP1
00001e3c: DUP3
00001e3d: SWAP1
00001e3e: MSTORE
00001e3f: PUSH2 0x1e47
00001e42: SWAP2
00001e43: PUSH2 0x2f54
00001e46: JUMP
00001e47: JUMPDEST
00001e48: PUSH1 0x20
00001e4a: PUSH1 0x40
00001e4c: MLOAD
00001e4d: DUP1
00001e4e: DUP4
00001e4f: SUB
00001e50: DUP2
00001e51: DUP6
00001e52: GAS
00001e53: STATICCALL
00001e54: ISZERO
00001e55: DUP1
00001e56: ISZERO
00001e57: PUSH2 0x1e64
00001e5a: JUMPI
00001e5b: RETURNDATASIZE
00001e5c: PUSH1 0x00
00001e5e: DUP1
00001e5f: RETURNDATACOPY
00001e60: RETURNDATASIZE
00001e61: PUSH1 0x00
00001e63: REVERT
00001e64: JUMPDEST
00001e65: POP
00001e66: POP
00001e67: POP
00001e68: PUSH1 0x40
00001e6a: MLOAD
00001e6b: RETURNDATASIZE
00001e6c: PUSH1 0x1f
00001e6e: NOT
00001e6f: PUSH1 0x1f
00001e71: DUP3
00001e72: ADD
00001e73: AND
00001e74: DUP3
00001e75: ADD
00001e76: DUP1
00001e77: PUSH1 0x40
00001e79: MSTORE
00001e7a: POP
00001e7b: DUP2
00001e7c: ADD
00001e7d: SWAP1
00001e7e: PUSH2 0x1e87
00001e81: SWAP2
00001e82: SWAP1
00001e83: PUSH2 0x2ad5
00001e86: JUMP
00001e87: JUMPDEST
00001e88: SWAP10
00001e89: SWAP9
00001e8a: POP
00001e8b: POP
00001e8c: POP
00001e8d: POP
00001e8e: POP
00001e8f: POP
00001e90: POP
00001e91: POP
00001e92: POP
00001e93: JUMP
00001e94: JUMPDEST
00001e95: PUSH1 0x40
00001e97: MLOAD
00001e98: PUSH1 0x01
00001e9a: PUSH1 0x01
00001e9c: PUSH1 0xa0
00001e9e: SHL
00001e9f: SUB
00001ea0: DUP4
00001ea1: AND
00001ea2: PUSH1 0x24
00001ea4: DUP3
00001ea5: ADD
00001ea6: MSTORE
00001ea7: PUSH1 0x44
00001ea9: DUP2
00001eaa: ADD
00001eab: DUP3
00001eac: SWAP1
00001ead: MSTORE
00001eae: PUSH2 0x0d9b
00001eb1: SWAP1
00001eb2: DUP5
00001eb3: SWAP1
00001eb4: PUSH4 0xa9059cbb
00001eb9: PUSH1 0xe0
00001ebb: SHL
00001ebc: SWAP1
00001ebd: PUSH1 0x64
00001ebf: ADD
00001ec0: JUMPDEST
00001ec1: PUSH1 0x40
00001ec3: DUP1
00001ec4: MLOAD
00001ec5: PUSH1 0x1f
00001ec7: NOT
00001ec8: DUP2
00001ec9: DUP5
00001eca: SUB
00001ecb: ADD
00001ecc: DUP2
00001ecd: MSTORE
00001ece: SWAP2
00001ecf: SWAP1
00001ed0: MSTORE
00001ed1: PUSH1 0x20
00001ed3: DUP2
00001ed4: ADD
00001ed5: DUP1
00001ed6: MLOAD
00001ed7: PUSH1 0x01
00001ed9: PUSH1 0x01
00001edb: PUSH1 0xe0
00001edd: SHL
00001ede: SUB
00001edf: AND
00001ee0: PUSH1 0x01
00001ee2: PUSH1 0x01
00001ee4: PUSH1 0xe0
00001ee6: SHL
00001ee7: SUB
00001ee8: NOT
00001ee9: SWAP1
00001eea: SWAP4
00001eeb: AND
00001eec: SWAP3
00001eed: SWAP1
00001eee: SWAP3
00001eef: OR
00001ef0: SWAP1
00001ef1: SWAP2
00001ef2: MSTORE
00001ef3: PUSH2 0x221a
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH1 0x01
00001efa: PUSH1 0x01
00001efc: PUSH1 0xa0
00001efe: SHL
00001eff: SUB
00001f00: DUP2
00001f01: AND
00001f02: PUSH2 0x1f1e
00001f05: JUMPI
00001f06: PUSH1 0x40
00001f08: MLOAD
00001f09: PUSH4 0x1e7d7387
00001f0e: PUSH1 0xe2
00001f10: SHL
00001f11: DUP2
00001f12: MSTORE
00001f13: PUSH1 0x04
00001f15: ADD
00001f16: PUSH1 0x40
00001f18: MLOAD
00001f19: DUP1
00001f1a: SWAP2
00001f1b: SUB
00001f1c: SWAP1
00001f1d: REVERT
00001f1e: JUMPDEST
00001f1f: POP
00001f20: JUMP
00001f21: JUMPDEST
00001f22: PUSH1 0x40
00001f24: MLOAD
00001f25: PUSH1 0x01
00001f27: PUSH1 0x01
00001f29: PUSH1 0xa0
00001f2b: SHL
00001f2c: SUB
00001f2d: DUP1
00001f2e: DUP6
00001f2f: AND
00001f30: PUSH1 0x24
00001f32: DUP4
00001f33: ADD
00001f34: MSTORE
00001f35: DUP4
00001f36: AND
00001f37: PUSH1 0x44
00001f39: DUP3
00001f3a: ADD
00001f3b: MSTORE
00001f3c: PUSH1 0x64
00001f3e: DUP2
00001f3f: ADD
00001f40: DUP3
00001f41: SWAP1
00001f42: MSTORE
00001f43: PUSH2 0x058f
00001f46: SWAP1
00001f47: DUP6
00001f48: SWAP1
00001f49: PUSH4 0x23b872dd
00001f4e: PUSH1 0xe0
00001f50: SHL
00001f51: SWAP1
00001f52: PUSH1 0x84
00001f54: ADD
00001f55: PUSH2 0x1ec0
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: PUSH1 0x40
00001f5c: DUP1
00001f5d: MLOAD
00001f5e: PUSH1 0x08
00001f60: DUP1
00001f61: DUP3
00001f62: MSTORE
00001f63: DUP2
00001f64: DUP4
00001f65: ADD
00001f66: SWAP1
00001f67: SWAP3
00001f68: MSTORE
00001f69: PUSH1 0x60
00001f6b: SWAP2
00001f6c: PUSH1 0x20
00001f6e: DUP3
00001f6f: ADD
00001f70: DUP2
00001f71: DUP1
00001f72: CALLDATASIZE
00001f73: DUP4
00001f74: CALLDATACOPY
00001f75: ADD
00001f76: SWAP1
00001f77: POP
00001f78: POP
00001f79: SWAP1
00001f7a: POP
00001f7b: PUSH1 0xc0
00001f7d: DUP3
00001f7e: SWAP1
00001f7f: SHL
00001f80: DUP1
00001f81: PUSH1 0x07
00001f83: BYTE
00001f84: PUSH1 0xf8
00001f86: SHL
00001f87: DUP3
00001f88: PUSH1 0x00
00001f8a: DUP2
00001f8b: MLOAD
00001f8c: DUP2
00001f8d: LT
00001f8e: PUSH2 0x1f99
00001f91: JUMPI
00001f92: PUSH2 0x1f99
00001f95: PUSH2 0x2d71
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: PUSH1 0x20
00001f9c: ADD
00001f9d: ADD
00001f9e: SWAP1
00001f9f: PUSH1 0x01
00001fa1: PUSH1 0x01
00001fa3: PUSH1 0xf8
00001fa5: SHL
00001fa6: SUB
00001fa7: NOT
00001fa8: AND
00001fa9: SWAP1
00001faa: DUP2
00001fab: PUSH1 0x00
00001fad: BYTE
00001fae: SWAP1
00001faf: MSTORE8
00001fb0: POP
00001fb1: DUP1
00001fb2: PUSH1 0x06
00001fb4: BYTE
00001fb5: PUSH1 0xf8
00001fb7: SHL
00001fb8: DUP3
00001fb9: PUSH1 0x01
00001fbb: DUP2
00001fbc: MLOAD
00001fbd: DUP2
00001fbe: LT
00001fbf: PUSH2 0x1fca
00001fc2: JUMPI
00001fc3: PUSH2 0x1fca
00001fc6: PUSH2 0x2d71
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH1 0x20
00001fcd: ADD
00001fce: ADD
00001fcf: SWAP1
00001fd0: PUSH1 0x01
00001fd2: PUSH1 0x01
00001fd4: PUSH1 0xf8
00001fd6: SHL
00001fd7: SUB
00001fd8: NOT
00001fd9: AND
00001fda: SWAP1
00001fdb: DUP2
00001fdc: PUSH1 0x00
00001fde: BYTE
00001fdf: SWAP1
00001fe0: MSTORE8
00001fe1: POP
00001fe2: DUP1
00001fe3: PUSH1 0x05
00001fe5: BYTE
00001fe6: PUSH1 0xf8
00001fe8: SHL
00001fe9: DUP3
00001fea: PUSH1 0x02
00001fec: DUP2
00001fed: MLOAD
00001fee: DUP2
00001fef: LT
00001ff0: PUSH2 0x1ffb
00001ff3: JUMPI
00001ff4: PUSH2 0x1ffb
00001ff7: PUSH2 0x2d71
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH1 0x20
00001ffe: ADD
00001fff: ADD
00002000: SWAP1
00002001: PUSH1 0x01
00002003: PUSH1 0x01
00002005: PUSH1 0xf8
00002007: SHL
00002008: SUB
00002009: NOT
0000200a: AND
0000200b: SWAP1
0000200c: DUP2
0000200d: PUSH1 0x00
0000200f: BYTE
00002010: SWAP1
00002011: MSTORE8
00002012: POP
00002013: DUP1
00002014: PUSH1 0x04
00002016: BYTE
00002017: PUSH1 0xf8
00002019: SHL
0000201a: DUP3
0000201b: PUSH1 0x03
0000201d: DUP2
0000201e: MLOAD
0000201f: DUP2
00002020: LT
00002021: PUSH2 0x202c
00002024: JUMPI
00002025: PUSH2 0x202c
00002028: PUSH2 0x2d71
0000202b: JUMP
0000202c: JUMPDEST
0000202d: PUSH1 0x20
0000202f: ADD
00002030: ADD
00002031: SWAP1
00002032: PUSH1 0x01
00002034: PUSH1 0x01
00002036: PUSH1 0xf8
00002038: SHL
00002039: SUB
0000203a: NOT
0000203b: AND
0000203c: SWAP1
0000203d: DUP2
0000203e: PUSH1 0x00
00002040: BYTE
00002041: SWAP1
00002042: MSTORE8
00002043: POP
00002044: DUP1
00002045: PUSH1 0x03
00002047: BYTE
00002048: PUSH1 0xf8
0000204a: SHL
0000204b: DUP3
0000204c: PUSH1 0x04
0000204e: DUP2
0000204f: MLOAD
00002050: DUP2
00002051: LT
00002052: PUSH2 0x205d
00002055: JUMPI
00002056: PUSH2 0x205d
00002059: PUSH2 0x2d71
0000205c: JUMP
0000205d: JUMPDEST
0000205e: PUSH1 0x20
00002060: ADD
00002061: ADD
00002062: SWAP1
00002063: PUSH1 0x01
00002065: PUSH1 0x01
00002067: PUSH1 0xf8
00002069: SHL
0000206a: SUB
0000206b: NOT
0000206c: AND
0000206d: SWAP1
0000206e: DUP2
0000206f: PUSH1 0x00
00002071: BYTE
00002072: SWAP1
00002073: MSTORE8
00002074: POP
00002075: DUP1
00002076: PUSH1 0x02
00002078: BYTE
00002079: PUSH1 0xf8
0000207b: SHL
0000207c: DUP3
0000207d: PUSH1 0x05
0000207f: DUP2
00002080: MLOAD
00002081: DUP2
00002082: LT
00002083: PUSH2 0x208e
00002086: JUMPI
00002087: PUSH2 0x208e
0000208a: PUSH2 0x2d71
0000208d: JUMP
0000208e: JUMPDEST
0000208f: PUSH1 0x20
00002091: ADD
00002092: ADD
00002093: SWAP1
00002094: PUSH1 0x01
00002096: PUSH1 0x01
00002098: PUSH1 0xf8
0000209a: SHL
0000209b: SUB
0000209c: NOT
0000209d: AND
0000209e: SWAP1
0000209f: DUP2
000020a0: PUSH1 0x00
000020a2: BYTE
000020a3: SWAP1
000020a4: MSTORE8
000020a5: POP
000020a6: DUP1
000020a7: PUSH1 0x01
000020a9: BYTE
000020aa: PUSH1 0xf8
000020ac: SHL
000020ad: DUP3
000020ae: PUSH1 0x06
000020b0: DUP2
000020b1: MLOAD
000020b2: DUP2
000020b3: LT
000020b4: PUSH2 0x20bf
000020b7: JUMPI
000020b8: PUSH2 0x20bf
000020bb: PUSH2 0x2d71
000020be: JUMP
000020bf: JUMPDEST
000020c0: PUSH1 0x20
000020c2: ADD
000020c3: ADD
000020c4: SWAP1
000020c5: PUSH1 0x01
000020c7: PUSH1 0x01
000020c9: PUSH1 0xf8
000020cb: SHL
000020cc: SUB
000020cd: NOT
000020ce: AND
000020cf: SWAP1
000020d0: DUP2
000020d1: PUSH1 0x00
000020d3: BYTE
000020d4: SWAP1
000020d5: MSTORE8
000020d6: POP
000020d7: DUP1
000020d8: PUSH1 0x00
000020da: BYTE
000020db: PUSH1 0xf8
000020dd: SHL
000020de: DUP3
000020df: PUSH1 0x07
000020e1: DUP2
000020e2: MLOAD
000020e3: DUP2
000020e4: LT
000020e5: PUSH2 0x20f0
000020e8: JUMPI
000020e9: PUSH2 0x20f0
000020ec: PUSH2 0x2d71
000020ef: JUMP
000020f0: JUMPDEST
000020f1: PUSH1 0x20
000020f3: ADD
000020f4: ADD
000020f5: SWAP1
000020f6: PUSH1 0x01
000020f8: PUSH1 0x01
000020fa: PUSH1 0xf8
000020fc: SHL
000020fd: SUB
000020fe: NOT
000020ff: AND
00002100: SWAP1
00002101: DUP2
00002102: PUSH1 0x00
00002104: BYTE
00002105: SWAP1
00002106: MSTORE8
00002107: POP
00002108: POP
00002109: SWAP2
0000210a: SWAP1
0000210b: POP
0000210c: JUMP
0000210d: JUMPDEST
0000210e: PUSH1 0x60
00002110: DUP2
00002111: PUSH2 0x211b
00002114: DUP2
00002115: PUSH1 0x1f
00002117: PUSH2 0x2b23
0000211a: JUMP
0000211b: JUMPDEST
0000211c: LT
0000211d: ISZERO
0000211e: PUSH2 0x215a
00002121: JUMPI
00002122: PUSH1 0x40
00002124: MLOAD
00002125: PUSH3 0x461bcd
00002129: PUSH1 0xe5
0000212b: SHL
0000212c: DUP2
0000212d: MSTORE
0000212e: PUSH1 0x20
00002130: PUSH1 0x04
00002132: DUP3
00002133: ADD
00002134: MSTORE
00002135: PUSH1 0x0e
00002137: PUSH1 0x24
00002139: DUP3
0000213a: ADD
0000213b: MSTORE
0000213c: PUSH14 0x736c6963655f6f766572666c6f77
0000214b: PUSH1 0x90
0000214d: SHL
0000214e: PUSH1 0x44
00002150: DUP3
00002151: ADD
00002152: MSTORE
00002153: PUSH1 0x64
00002155: ADD
00002156: PUSH2 0x0cd1
00002159: JUMP
0000215a: JUMPDEST
0000215b: PUSH2 0x2164
0000215e: DUP3
0000215f: DUP5
00002160: PUSH2 0x2b23
00002163: JUMP
00002164: JUMPDEST
00002165: DUP5
00002166: MLOAD
00002167: LT
00002168: ISZERO
00002169: PUSH2 0x21a8
0000216c: JUMPI
0000216d: PUSH1 0x40
0000216f: MLOAD
00002170: PUSH3 0x461bcd
00002174: PUSH1 0xe5
00002176: SHL
00002177: DUP2
00002178: MSTORE
00002179: PUSH1 0x20
0000217b: PUSH1 0x04
0000217d: DUP3
0000217e: ADD
0000217f: MSTORE
00002180: PUSH1 0x11
00002182: PUSH1 0x24
00002184: DUP3
00002185: ADD
00002186: MSTORE
00002187: PUSH17 0x736c6963655f6f75744f66426f756e6473
00002199: PUSH1 0x78
0000219b: SHL
0000219c: PUSH1 0x44
0000219e: DUP3
0000219f: ADD
000021a0: MSTORE
000021a1: PUSH1 0x64
000021a3: ADD
000021a4: PUSH2 0x0cd1
000021a7: JUMP
000021a8: JUMPDEST
000021a9: PUSH1 0x60
000021ab: DUP3
000021ac: ISZERO
000021ad: DUP1
000021ae: ISZERO
000021af: PUSH2 0x21c7
000021b2: JUMPI
000021b3: PUSH1 0x40
000021b5: MLOAD
000021b6: SWAP2
000021b7: POP
000021b8: PUSH1 0x00
000021ba: DUP3
000021bb: MSTORE
000021bc: PUSH1 0x20
000021be: DUP3
000021bf: ADD
000021c0: PUSH1 0x40
000021c2: MSTORE
000021c3: PUSH2 0x2211
000021c6: JUMP
000021c7: JUMPDEST
000021c8: PUSH1 0x40
000021ca: MLOAD
000021cb: SWAP2
000021cc: POP
000021cd: PUSH1 0x1f
000021cf: DUP5
000021d0: AND
000021d1: DUP1
000021d2: ISZERO
000021d3: PUSH1 0x20
000021d5: MUL
000021d6: DUP2
000021d7: DUP5
000021d8: ADD
000021d9: ADD
000021da: DUP6
000021db: DUP2
000021dc: ADD
000021dd: DUP8
000021de: DUP4
000021df: ISZERO
000021e0: PUSH1 0x20
000021e2: MUL
000021e3: DUP5
000021e4: DUP12
000021e5: ADD
000021e6: ADD
000021e7: ADD
000021e8: JUMPDEST
000021e9: DUP2
000021ea: DUP4
000021eb: LT
000021ec: ISZERO
000021ed: PUSH2 0x2200
000021f0: JUMPI
000021f1: DUP1
000021f2: MLOAD
000021f3: DUP4
000021f4: MSTORE
000021f5: PUSH1 0x20
000021f7: SWAP3
000021f8: DUP4
000021f9: ADD
000021fa: SWAP3
000021fb: ADD
000021fc: PUSH2 0x21e8
000021ff: JUMP
00002200: JUMPDEST
00002201: POP
00002202: POP
00002203: DUP6
00002204: DUP5
00002205: MSTORE
00002206: PUSH1 0x1f
00002208: ADD
00002209: PUSH1 0x1f
0000220b: NOT
0000220c: AND
0000220d: PUSH1 0x40
0000220f: MSTORE
00002210: POP
00002211: JUMPDEST
00002212: POP
00002213: SWAP5
00002214: SWAP4
00002215: POP
00002216: POP
00002217: POP
00002218: POP
00002219: JUMP
0000221a: JUMPDEST
0000221b: PUSH1 0x00
0000221d: PUSH2 0x226f
00002220: DUP3
00002221: PUSH1 0x40
00002223: MLOAD
00002224: DUP1
00002225: PUSH1 0x40
00002227: ADD
00002228: PUSH1 0x40
0000222a: MSTORE
0000222b: DUP1
0000222c: PUSH1 0x20
0000222e: DUP2
0000222f: MSTORE
00002230: PUSH1 0x20
00002232: ADD
00002233: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002254: DUP2
00002255: MSTORE
00002256: POP
00002257: DUP6
00002258: PUSH1 0x01
0000225a: PUSH1 0x01
0000225c: PUSH1 0xa0
0000225e: SHL
0000225f: SUB
00002260: AND
00002261: PUSH2 0x22ec
00002264: SWAP1
00002265: SWAP3
00002266: SWAP2
00002267: SWAP1
00002268: PUSH4 0xffffffff
0000226d: AND
0000226e: JUMP
0000226f: JUMPDEST
00002270: DUP1
00002271: MLOAD
00002272: SWAP1
00002273: SWAP2
00002274: POP
00002275: ISZERO
00002276: PUSH2 0x0d9b
00002279: JUMPI
0000227a: DUP1
0000227b: DUP1
0000227c: PUSH1 0x20
0000227e: ADD
0000227f: SWAP1
00002280: MLOAD
00002281: DUP2
00002282: ADD
00002283: SWAP1
00002284: PUSH2 0x228d
00002287: SWAP2
00002288: SWAP1
00002289: PUSH2 0x2ab8
0000228c: JUMP
0000228d: JUMPDEST
0000228e: PUSH2 0x0d9b
00002291: JUMPI
00002292: PUSH1 0x40
00002294: MLOAD
00002295: PUSH3 0x461bcd
00002299: PUSH1 0xe5
0000229b: SHL
0000229c: DUP2
0000229d: MSTORE
0000229e: PUSH1 0x20
000022a0: PUSH1 0x04
000022a2: DUP3
000022a3: ADD
000022a4: MSTORE
000022a5: PUSH1 0x2a
000022a7: PUSH1 0x24
000022a9: DUP3
000022aa: ADD
000022ab: MSTORE
000022ac: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022cd: PUSH1 0x44
000022cf: DUP3
000022d0: ADD
000022d1: MSTORE
000022d2: PUSH10 0x1bdd081cdd58d8d95959
000022dd: PUSH1 0xb2
000022df: SHL
000022e0: PUSH1 0x64
000022e2: DUP3
000022e3: ADD
000022e4: MSTORE
000022e5: PUSH1 0x84
000022e7: ADD
000022e8: PUSH2 0x0cd1
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH1 0x60
000022ef: PUSH2 0x22fb
000022f2: DUP5
000022f3: DUP5
000022f4: PUSH1 0x00
000022f6: DUP6
000022f7: PUSH2 0x2303
000022fa: JUMP
000022fb: JUMPDEST
000022fc: SWAP5
000022fd: SWAP4
000022fe: POP
000022ff: POP
00002300: POP
00002301: POP
00002302: JUMP
00002303: JUMPDEST
00002304: PUSH1 0x60
00002306: DUP3
00002307: SELFBALANCE
00002308: LT
00002309: ISZERO
0000230a: PUSH2 0x2364
0000230d: JUMPI
0000230e: PUSH1 0x40
00002310: MLOAD
00002311: PUSH3 0x461bcd
00002315: PUSH1 0xe5
00002317: SHL
00002318: DUP2
00002319: MSTORE
0000231a: PUSH1 0x20
0000231c: PUSH1 0x04
0000231e: DUP3
0000231f: ADD
00002320: MSTORE
00002321: PUSH1 0x26
00002323: PUSH1 0x24
00002325: DUP3
00002326: ADD
00002327: MSTORE
00002328: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002349: PUSH1 0x44
0000234b: DUP3
0000234c: ADD
0000234d: MSTORE
0000234e: PUSH6 0x1c8818d85b1b
00002355: PUSH1 0xd2
00002357: SHL
00002358: PUSH1 0x64
0000235a: DUP3
0000235b: ADD
0000235c: MSTORE
0000235d: PUSH1 0x84
0000235f: ADD
00002360: PUSH2 0x0cd1
00002363: JUMP
00002364: JUMPDEST
00002365: PUSH1 0x00
00002367: DUP1
00002368: DUP7
00002369: PUSH1 0x01
0000236b: PUSH1 0x01
0000236d: PUSH1 0xa0
0000236f: SHL
00002370: SUB
00002371: AND
00002372: DUP6
00002373: DUP8
00002374: PUSH1 0x40
00002376: MLOAD
00002377: PUSH2 0x2380
0000237a: SWAP2
0000237b: SWAP1
0000237c: PUSH2 0x2f54
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH1 0x00
00002383: PUSH1 0x40
00002385: MLOAD
00002386: DUP1
00002387: DUP4
00002388: SUB
00002389: DUP2
0000238a: DUP6
0000238b: DUP8
0000238c: GAS
0000238d: CALL
0000238e: SWAP3
0000238f: POP
00002390: POP
00002391: POP
00002392: RETURNDATASIZE
00002393: DUP1
00002394: PUSH1 0x00
00002396: DUP2
00002397: EQ
00002398: PUSH2 0x23bd
0000239b: JUMPI
0000239c: PUSH1 0x40
0000239e: MLOAD
0000239f: SWAP2
000023a0: POP
000023a1: PUSH1 0x1f
000023a3: NOT
000023a4: PUSH1 0x3f
000023a6: RETURNDATASIZE
000023a7: ADD
000023a8: AND
000023a9: DUP3
000023aa: ADD
000023ab: PUSH1 0x40
000023ad: MSTORE
000023ae: RETURNDATASIZE
000023af: DUP3
000023b0: MSTORE
000023b1: RETURNDATASIZE
000023b2: PUSH1 0x00
000023b4: PUSH1 0x20
000023b6: DUP5
000023b7: ADD
000023b8: RETURNDATACOPY
000023b9: PUSH2 0x23c2
000023bc: JUMP
000023bd: JUMPDEST
000023be: PUSH1 0x60
000023c0: SWAP2
000023c1: POP
000023c2: JUMPDEST
000023c3: POP
000023c4: SWAP2
000023c5: POP
000023c6: SWAP2
000023c7: POP
000023c8: PUSH2 0x23d3
000023cb: DUP8
000023cc: DUP4
000023cd: DUP4
000023ce: DUP8
000023cf: PUSH2 0x23de
000023d2: JUMP
000023d3: JUMPDEST
000023d4: SWAP8
000023d5: SWAP7
000023d6: POP
000023d7: POP
000023d8: POP
000023d9: POP
000023da: POP
000023db: POP
000023dc: POP
000023dd: JUMP
000023de: JUMPDEST
000023df: PUSH1 0x60
000023e1: DUP4
000023e2: ISZERO
000023e3: PUSH2 0x244d
000023e6: JUMPI
000023e7: DUP3
000023e8: MLOAD
000023e9: PUSH1 0x00
000023eb: SUB
000023ec: PUSH2 0x2446
000023ef: JUMPI
000023f0: PUSH1 0x01
000023f2: PUSH1 0x01
000023f4: PUSH1 0xa0
000023f6: SHL
000023f7: SUB
000023f8: DUP6
000023f9: AND
000023fa: EXTCODESIZE
000023fb: PUSH2 0x2446
000023fe: JUMPI
000023ff: PUSH1 0x40
00002401: MLOAD
00002402: PUSH3 0x461bcd
00002406: PUSH1 0xe5
00002408: SHL
00002409: DUP2
0000240a: MSTORE
0000240b: PUSH1 0x20
0000240d: PUSH1 0x04
0000240f: DUP3
00002410: ADD
00002411: MSTORE
00002412: PUSH1 0x1d
00002414: PUSH1 0x24
00002416: DUP3
00002417: ADD
00002418: MSTORE
00002419: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000243a: PUSH1 0x44
0000243c: DUP3
0000243d: ADD
0000243e: MSTORE
0000243f: PUSH1 0x64
00002441: ADD
00002442: PUSH2 0x0cd1
00002445: JUMP
00002446: JUMPDEST
00002447: POP
00002448: DUP2
00002449: PUSH2 0x22fb
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH2 0x22fb
00002451: DUP4
00002452: DUP4
00002453: DUP2
00002454: MLOAD
00002455: ISZERO
00002456: PUSH2 0x2462
00002459: JUMPI
0000245a: DUP2
0000245b: MLOAD
0000245c: DUP1
0000245d: DUP4
0000245e: PUSH1 0x20
00002460: ADD
00002461: REVERT
00002462: JUMPDEST
00002463: DUP1
00002464: PUSH1 0x40
00002466: MLOAD
00002467: PUSH3 0x461bcd
0000246b: PUSH1 0xe5
0000246d: SHL
0000246e: DUP2
0000246f: MSTORE
00002470: PUSH1 0x04
00002472: ADD
00002473: PUSH2 0x0cd1
00002476: SWAP2
00002477: SWAP1
00002478: PUSH2 0x2756
0000247b: JUMP
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: DUP1
00002480: DUP4
00002481: PUSH1 0x1f
00002483: DUP5
00002484: ADD
00002485: SLT
00002486: PUSH2 0x248e
00002489: JUMPI
0000248a: PUSH1 0x00
0000248c: DUP1
0000248d: REVERT
0000248e: JUMPDEST
0000248f: POP
00002490: DUP2
00002491: CALLDATALOAD
00002492: PUSH8 0xffffffffffffffff
0000249b: DUP2
0000249c: GT
0000249d: ISZERO
0000249e: PUSH2 0x24a6
000024a1: JUMPI
000024a2: PUSH1 0x00
000024a4: DUP1
000024a5: REVERT
000024a6: JUMPDEST
000024a7: PUSH1 0x20
000024a9: DUP4
000024aa: ADD
000024ab: SWAP2
000024ac: POP
000024ad: DUP4
000024ae: PUSH1 0x20
000024b0: DUP3
000024b1: PUSH1 0x05
000024b3: SHL
000024b4: DUP6
000024b5: ADD
000024b6: ADD
000024b7: GT
000024b8: ISZERO
000024b9: PUSH2 0x24c1
000024bc: JUMPI
000024bd: PUSH1 0x00
000024bf: DUP1
000024c0: REVERT
000024c1: JUMPDEST
000024c2: SWAP3
000024c3: POP
000024c4: SWAP3
000024c5: SWAP1
000024c6: POP
000024c7: JUMP
000024c8: JUMPDEST
000024c9: PUSH1 0x00
000024cb: DUP1
000024cc: PUSH1 0x20
000024ce: DUP4
000024cf: DUP6
000024d0: SUB
000024d1: SLT
000024d2: ISZERO
000024d3: PUSH2 0x24db
000024d6: JUMPI
000024d7: PUSH1 0x00
000024d9: DUP1
000024da: REVERT
000024db: JUMPDEST
000024dc: DUP3
000024dd: CALLDATALOAD
000024de: PUSH8 0xffffffffffffffff
000024e7: DUP2
000024e8: GT
000024e9: ISZERO
000024ea: PUSH2 0x24f2
000024ed: JUMPI
000024ee: PUSH1 0x00
000024f0: DUP1
000024f1: REVERT
000024f2: JUMPDEST
000024f3: PUSH2 0x24fe
000024f6: DUP6
000024f7: DUP3
000024f8: DUP7
000024f9: ADD
000024fa: PUSH2 0x247c
000024fd: JUMP
000024fe: JUMPDEST
000024ff: SWAP1
00002500: SWAP7
00002501: SWAP1
00002502: SWAP6
00002503: POP
00002504: SWAP4
00002505: POP
00002506: POP
00002507: POP
00002508: POP
00002509: JUMP
0000250a: JUMPDEST
0000250b: PUSH1 0x00
0000250d: PUSH1 0x20
0000250f: DUP3
00002510: DUP5
00002511: SUB
00002512: SLT
00002513: ISZERO
00002514: PUSH2 0x251c
00002517: JUMPI
00002518: PUSH1 0x00
0000251a: DUP1
0000251b: REVERT
0000251c: JUMPDEST
0000251d: POP
0000251e: CALLDATALOAD
0000251f: SWAP2
00002520: SWAP1
00002521: POP
00002522: JUMP
00002523: JUMPDEST
00002524: PUSH1 0x00
00002526: DUP1
00002527: PUSH1 0x00
00002529: PUSH1 0x40
0000252b: DUP5
0000252c: DUP7
0000252d: SUB
0000252e: SLT
0000252f: ISZERO
00002530: PUSH2 0x2538
00002533: JUMPI
00002534: PUSH1 0x00
00002536: DUP1
00002537: REVERT
00002538: JUMPDEST
00002539: DUP4
0000253a: CALLDATALOAD
0000253b: PUSH8 0xffffffffffffffff
00002544: DUP2
00002545: GT
00002546: ISZERO
00002547: PUSH2 0x254f
0000254a: JUMPI
0000254b: PUSH1 0x00
0000254d: DUP1
0000254e: REVERT
0000254f: JUMPDEST
00002550: PUSH2 0x255b
00002553: DUP7
00002554: DUP3
00002555: DUP8
00002556: ADD
00002557: PUSH2 0x247c
0000255a: JUMP
0000255b: JUMPDEST
0000255c: SWAP1
0000255d: SWAP8
0000255e: SWAP1
0000255f: SWAP7
00002560: POP
00002561: PUSH1 0x20
00002563: SWAP6
00002564: SWAP1
00002565: SWAP6
00002566: ADD
00002567: CALLDATALOAD
00002568: SWAP5
00002569: SWAP4
0000256a: POP
0000256b: POP
0000256c: POP
0000256d: POP
0000256e: JUMP
0000256f: JUMPDEST
00002570: PUSH1 0x01
00002572: PUSH1 0x01
00002574: PUSH1 0xa0
00002576: SHL
00002577: SUB
00002578: DUP2
00002579: AND
0000257a: DUP2
0000257b: EQ
0000257c: PUSH2 0x1f1e
0000257f: JUMPI
00002580: PUSH1 0x00
00002582: DUP1
00002583: REVERT
00002584: JUMPDEST
00002585: DUP1
00002586: CALLDATALOAD
00002587: PUSH2 0x258f
0000258a: DUP2
0000258b: PUSH2 0x256f
0000258e: JUMP
0000258f: JUMPDEST
00002590: SWAP2
00002591: SWAP1
00002592: POP
00002593: JUMP
00002594: JUMPDEST
00002595: PUSH1 0x00
00002597: DUP1
00002598: PUSH1 0x00
0000259a: PUSH1 0x60
0000259c: DUP5
0000259d: DUP7
0000259e: SUB
0000259f: SLT
000025a0: ISZERO
000025a1: PUSH2 0x25a9
000025a4: JUMPI
000025a5: PUSH1 0x00
000025a7: DUP1
000025a8: REVERT
000025a9: JUMPDEST
000025aa: DUP4
000025ab: CALLDATALOAD
000025ac: PUSH2 0x25b4
000025af: DUP2
000025b0: PUSH2 0x256f
000025b3: JUMP
000025b4: JUMPDEST
000025b5: SWAP3
000025b6: POP
000025b7: PUSH1 0x20
000025b9: DUP5
000025ba: ADD
000025bb: CALLDATALOAD
000025bc: SWAP2
000025bd: POP
000025be: PUSH1 0x40
000025c0: DUP5
000025c1: ADD
000025c2: CALLDATALOAD
000025c3: PUSH2 0x25cb
000025c6: DUP2
000025c7: PUSH2 0x256f
000025ca: JUMP
000025cb: JUMPDEST
000025cc: DUP1
000025cd: SWAP2
000025ce: POP
000025cf: POP
000025d0: SWAP3
000025d1: POP
000025d2: SWAP3
000025d3: POP
000025d4: SWAP3
000025d5: JUMP
000025d6: JUMPDEST
000025d7: PUSH1 0x00
000025d9: DUP1
000025da: PUSH1 0x40
000025dc: DUP4
000025dd: DUP6
000025de: SUB
000025df: SLT
000025e0: ISZERO
000025e1: PUSH2 0x25e9
000025e4: JUMPI
000025e5: PUSH1 0x00
000025e7: DUP1
000025e8: REVERT
000025e9: JUMPDEST
000025ea: DUP3
000025eb: CALLDATALOAD
000025ec: PUSH2 0x25f4
000025ef: DUP2
000025f0: PUSH2 0x256f
000025f3: JUMP
000025f4: JUMPDEST
000025f5: SWAP2
000025f6: POP
000025f7: PUSH1 0x20
000025f9: DUP4
000025fa: ADD
000025fb: CALLDATALOAD
000025fc: PUSH2 0x2604
000025ff: DUP2
00002600: PUSH2 0x256f
00002603: JUMP
00002604: JUMPDEST
00002605: DUP1
00002606: SWAP2
00002607: POP
00002608: POP
00002609: SWAP3
0000260a: POP
0000260b: SWAP3
0000260c: SWAP1
0000260d: POP
0000260e: JUMP
0000260f: JUMPDEST
00002610: DUP1
00002611: ISZERO
00002612: ISZERO
00002613: DUP2
00002614: EQ
00002615: PUSH2 0x1f1e
00002618: JUMPI
00002619: PUSH1 0x00
0000261b: DUP1
0000261c: REVERT
0000261d: JUMPDEST
0000261e: PUSH1 0x00
00002620: DUP1
00002621: PUSH1 0x00
00002623: DUP1
00002624: PUSH1 0x00
00002626: PUSH1 0x80
00002628: DUP7
00002629: DUP9
0000262a: SUB
0000262b: SLT
0000262c: ISZERO
0000262d: PUSH2 0x2635
00002630: JUMPI
00002631: PUSH1 0x00
00002633: DUP1
00002634: REVERT
00002635: JUMPDEST
00002636: DUP6
00002637: CALLDATALOAD
00002638: PUSH8 0xffffffffffffffff
00002641: DUP1
00002642: DUP3
00002643: GT
00002644: ISZERO
00002645: PUSH2 0x264d
00002648: JUMPI
00002649: PUSH1 0x00
0000264b: DUP1
0000264c: REVERT
0000264d: JUMPDEST
0000264e: SWAP1
0000264f: DUP8
00002650: ADD
00002651: SWAP1
00002652: PUSH1 0xe0
00002654: DUP3
00002655: DUP11
00002656: SUB
00002657: SLT
00002658: ISZERO
00002659: PUSH2 0x2661
0000265c: JUMPI
0000265d: PUSH1 0x00
0000265f: DUP1
00002660: REVERT
00002661: JUMPDEST
00002662: SWAP1
00002663: SWAP6
00002664: POP
00002665: PUSH1 0x20
00002667: DUP8
00002668: ADD
00002669: CALLDATALOAD
0000266a: SWAP1
0000266b: DUP1
0000266c: DUP3
0000266d: GT
0000266e: ISZERO
0000266f: PUSH2 0x2677
00002672: JUMPI
00002673: PUSH1 0x00
00002675: DUP1
00002676: REVERT
00002677: JUMPDEST
00002678: POP
00002679: PUSH2 0x2684
0000267c: DUP9
0000267d: DUP3
0000267e: DUP10
0000267f: ADD
00002680: PUSH2 0x247c
00002683: JUMP
00002684: JUMPDEST
00002685: SWAP1
00002686: SWAP6
00002687: POP
00002688: SWAP4
00002689: POP
0000268a: POP
0000268b: PUSH1 0x40
0000268d: DUP7
0000268e: ADD
0000268f: CALLDATALOAD
00002690: SWAP2
00002691: POP
00002692: PUSH1 0x60
00002694: DUP7
00002695: ADD
00002696: CALLDATALOAD
00002697: PUSH2 0x269f
0000269a: DUP2
0000269b: PUSH2 0x260f
0000269e: JUMP
0000269f: JUMPDEST
000026a0: DUP1
000026a1: SWAP2
000026a2: POP
000026a3: POP
000026a4: SWAP3
000026a5: SWAP6
000026a6: POP
000026a7: SWAP3
000026a8: SWAP6
000026a9: SWAP1
000026aa: SWAP4
000026ab: POP
000026ac: JUMP
000026ad: JUMPDEST
000026ae: PUSH1 0x00
000026b0: PUSH1 0x20
000026b2: DUP3
000026b3: DUP5
000026b4: SUB
000026b5: SLT
000026b6: ISZERO
000026b7: PUSH2 0x26bf
000026ba: JUMPI
000026bb: PUSH1 0x00
000026bd: DUP1
000026be: REVERT
000026bf: JUMPDEST
000026c0: DUP2
000026c1: CALLDATALOAD
000026c2: PUSH2 0x26ca
000026c5: DUP2
000026c6: PUSH2 0x256f
000026c9: JUMP
000026ca: JUMPDEST
000026cb: SWAP4
000026cc: SWAP3
000026cd: POP
000026ce: POP
000026cf: POP
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH1 0x00
000026d4: DUP1
000026d5: PUSH1 0x00
000026d7: PUSH1 0x60
000026d9: DUP5
000026da: DUP7
000026db: SUB
000026dc: SLT
000026dd: ISZERO
000026de: PUSH2 0x26e6
000026e1: JUMPI
000026e2: PUSH1 0x00
000026e4: DUP1
000026e5: REVERT
000026e6: JUMPDEST
000026e7: DUP4
000026e8: CALLDATALOAD
000026e9: PUSH2 0x26f1
000026ec: DUP2
000026ed: PUSH2 0x256f
000026f0: JUMP
000026f1: JUMPDEST
000026f2: SWAP6
000026f3: PUSH1 0x20
000026f5: DUP6
000026f6: ADD
000026f7: CALLDATALOAD
000026f8: SWAP6
000026f9: POP
000026fa: PUSH1 0x40
000026fc: SWAP1
000026fd: SWAP5
000026fe: ADD
000026ff: CALLDATALOAD
00002700: SWAP4
00002701: SWAP3
00002702: POP
00002703: POP
00002704: POP
00002705: JUMP
00002706: JUMPDEST
00002707: PUSH1 0x00
00002709: JUMPDEST
0000270a: DUP4
0000270b: DUP2
0000270c: LT
0000270d: ISZERO
0000270e: PUSH2 0x2721
00002711: JUMPI
00002712: DUP2
00002713: DUP2
00002714: ADD
00002715: MLOAD
00002716: DUP4
00002717: DUP3
00002718: ADD
00002719: MSTORE
0000271a: PUSH1 0x20
0000271c: ADD
0000271d: PUSH2 0x2709
00002720: JUMP
00002721: JUMPDEST
00002722: POP
00002723: POP
00002724: PUSH1 0x00
00002726: SWAP2
00002727: ADD
00002728: MSTORE
00002729: JUMP
0000272a: JUMPDEST
0000272b: PUSH1 0x00
0000272d: DUP2
0000272e: MLOAD
0000272f: DUP1
00002730: DUP5
00002731: MSTORE
00002732: PUSH2 0x2742
00002735: DUP2
00002736: PUSH1 0x20
00002738: DUP7
00002739: ADD
0000273a: PUSH1 0x20
0000273c: DUP7
0000273d: ADD
0000273e: PUSH2 0x2706
00002741: JUMP
00002742: JUMPDEST
00002743: PUSH1 0x1f
00002745: ADD
00002746: PUSH1 0x1f
00002748: NOT
00002749: AND
0000274a: SWAP3
0000274b: SWAP1
0000274c: SWAP3
0000274d: ADD
0000274e: PUSH1 0x20
00002750: ADD
00002751: SWAP3
00002752: SWAP2
00002753: POP
00002754: POP
00002755: JUMP
00002756: JUMPDEST
00002757: PUSH1 0x20
00002759: DUP2
0000275a: MSTORE
0000275b: PUSH1 0x00
0000275d: PUSH2 0x26ca
00002760: PUSH1 0x20
00002762: DUP4
00002763: ADD
00002764: DUP5
00002765: PUSH2 0x272a
00002768: JUMP
00002769: JUMPDEST
0000276a: PUSH1 0x00
0000276c: PUSH1 0x20
0000276e: DUP1
0000276f: DUP4
00002770: ADD
00002771: DUP2
00002772: DUP5
00002773: MSTORE
00002774: DUP1
00002775: DUP6
00002776: MLOAD
00002777: DUP1
00002778: DUP4
00002779: MSTORE
0000277a: PUSH1 0x40
0000277c: SWAP3
0000277d: POP
0000277e: DUP3
0000277f: DUP7
00002780: ADD
00002781: SWAP2
00002782: POP
00002783: DUP3
00002784: DUP2
00002785: PUSH1 0x05
00002787: SHL
00002788: DUP8
00002789: ADD
0000278a: ADD
0000278b: DUP5
0000278c: DUP9
0000278d: ADD
0000278e: PUSH1 0x00
00002790: JUMPDEST
00002791: DUP4
00002792: DUP2
00002793: LT
00002794: ISZERO
00002795: PUSH2 0x27e0
00002798: JUMPI
00002799: DUP9
0000279a: DUP4
0000279b: SUB
0000279c: PUSH1 0x3f
0000279e: NOT
0000279f: ADD
000027a0: DUP6
000027a1: MSTORE
000027a2: DUP2
000027a3: MLOAD
000027a4: DUP1
000027a5: MLOAD
000027a6: DUP8
000027a7: DUP6
000027a8: MSTORE
000027a9: PUSH2 0x27b4
000027ac: DUP9
000027ad: DUP7
000027ae: ADD
000027af: DUP3
000027b0: PUSH2 0x272a
000027b3: JUMP
000027b4: JUMPDEST
000027b5: SWAP2
000027b6: DUP10
000027b7: ADD
000027b8: MLOAD
000027b9: DUP6
000027ba: DUP4
000027bb: SUB
000027bc: DUP7
000027bd: DUP12
000027be: ADD
000027bf: MSTORE
000027c0: SWAP2
000027c1: SWAP1
000027c2: POP
000027c3: PUSH2 0x27cc
000027c6: DUP2
000027c7: DUP4
000027c8: PUSH2 0x272a
000027cb: JUMP
000027cc: JUMPDEST
000027cd: SWAP7
000027ce: DUP10
000027cf: ADD
000027d0: SWAP7
000027d1: SWAP5
000027d2: POP
000027d3: POP
000027d4: POP
000027d5: SWAP1
000027d6: DUP7
000027d7: ADD
000027d8: SWAP1
000027d9: PUSH1 0x01
000027db: ADD
000027dc: PUSH2 0x2790
000027df: JUMP
000027e0: JUMPDEST
000027e1: POP
000027e2: SWAP1
000027e3: SWAP9
000027e4: SWAP8
000027e5: POP
000027e6: POP
000027e7: POP
000027e8: POP
000027e9: POP
000027ea: POP
000027eb: POP
000027ec: POP
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x00
000027f1: PUSH1 0x20
000027f3: DUP3
000027f4: DUP5
000027f5: SUB
000027f6: SLT
000027f7: ISZERO
000027f8: PUSH2 0x2800
000027fb: JUMPI
000027fc: PUSH1 0x00
000027fe: DUP1
000027ff: REVERT
00002800: JUMPDEST
00002801: DUP2
00002802: MLOAD
00002803: PUSH2 0x26ca
00002806: DUP2
00002807: PUSH2 0x256f
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH1 0x00
0000280e: DUP1
0000280f: DUP4
00002810: CALLDATALOAD
00002811: PUSH1 0x1e
00002813: NOT
00002814: DUP5
00002815: CALLDATASIZE
00002816: SUB
00002817: ADD
00002818: DUP2
00002819: SLT
0000281a: PUSH2 0x2822
0000281d: JUMPI
0000281e: PUSH1 0x00
00002820: DUP1
00002821: REVERT
00002822: JUMPDEST
00002823: DUP4
00002824: ADD
00002825: PUSH1 0x20
00002827: DUP2
00002828: ADD
00002829: SWAP3
0000282a: POP
0000282b: CALLDATALOAD
0000282c: SWAP1
0000282d: POP
0000282e: PUSH8 0xffffffffffffffff
00002837: DUP2
00002838: GT
00002839: ISZERO
0000283a: PUSH2 0x2842
0000283d: JUMPI
0000283e: PUSH1 0x00
00002840: DUP1
00002841: REVERT
00002842: JUMPDEST
00002843: DUP1
00002844: PUSH1 0x05
00002846: SHL
00002847: CALLDATASIZE
00002848: SUB
00002849: DUP3
0000284a: SGT
0000284b: ISZERO
0000284c: PUSH2 0x24c1
0000284f: JUMPI
00002850: PUSH1 0x00
00002852: DUP1
00002853: REVERT
00002854: JUMPDEST
00002855: DUP2
00002856: DUP4
00002857: MSTORE
00002858: PUSH1 0x00
0000285a: PUSH1 0x20
0000285c: DUP1
0000285d: DUP6
0000285e: ADD
0000285f: SWAP5
00002860: POP
00002861: DUP3
00002862: PUSH1 0x00
00002864: JUMPDEST
00002865: DUP6
00002866: DUP2
00002867: LT
00002868: ISZERO
00002869: PUSH2 0x2892
0000286c: JUMPI
0000286d: DUP2
0000286e: CALLDATALOAD
0000286f: PUSH2 0x2877
00002872: DUP2
00002873: PUSH2 0x256f
00002876: JUMP
00002877: JUMPDEST
00002878: PUSH1 0x01
0000287a: PUSH1 0x01
0000287c: PUSH1 0xa0
0000287e: SHL
0000287f: SUB
00002880: AND
00002881: DUP8
00002882: MSTORE
00002883: SWAP6
00002884: DUP3
00002885: ADD
00002886: SWAP6
00002887: SWAP1
00002888: DUP3
00002889: ADD
0000288a: SWAP1
0000288b: PUSH1 0x01
0000288d: ADD
0000288e: PUSH2 0x2864
00002891: JUMP
00002892: JUMPDEST
00002893: POP
00002894: SWAP5
00002895: SWAP6
00002896: SWAP5
00002897: POP
00002898: POP
00002899: POP
0000289a: POP
0000289b: POP
0000289c: JUMP
0000289d: JUMPDEST
0000289e: DUP2
0000289f: DUP4
000028a0: MSTORE
000028a1: PUSH1 0x00
000028a3: PUSH1 0x01
000028a5: PUSH1 0x01
000028a7: PUSH1 0xfb
000028a9: SHL
000028aa: SUB
000028ab: DUP4
000028ac: GT
000028ad: ISZERO
000028ae: PUSH2 0x28b6
000028b1: JUMPI
000028b2: PUSH1 0x00
000028b4: DUP1
000028b5: REVERT
000028b6: JUMPDEST
000028b7: DUP3
000028b8: PUSH1 0x05
000028ba: SHL
000028bb: DUP1
000028bc: DUP4
000028bd: PUSH1 0x20
000028bf: DUP8
000028c0: ADD
000028c1: CALLDATACOPY
000028c2: SWAP4
000028c3: SWAP1
000028c4: SWAP4
000028c5: ADD
000028c6: PUSH1 0x20
000028c8: ADD
000028c9: SWAP4
000028ca: SWAP3
000028cb: POP
000028cc: POP
000028cd: POP
000028ce: JUMP
000028cf: JUMPDEST
000028d0: PUSH1 0x20
000028d2: DUP1
000028d3: DUP3
000028d4: MSTORE
000028d5: DUP2
000028d6: DUP2
000028d7: ADD
000028d8: DUP4
000028d9: SWAP1
000028da: MSTORE
000028db: PUSH1 0x00
000028dd: SWAP1
000028de: PUSH1 0x40
000028e0: DUP1
000028e1: DUP5
000028e2: ADD
000028e3: PUSH1 0x05
000028e5: DUP7
000028e6: SWAP1
000028e7: SHL
000028e8: DUP6
000028e9: ADD
000028ea: DUP3
000028eb: ADD
000028ec: DUP8
000028ed: DUP6
000028ee: DUP1
000028ef: JUMPDEST
000028f0: DUP10
000028f1: DUP2
000028f2: LT
000028f3: ISZERO
000028f4: PUSH2 0x298a
000028f7: JUMPI
000028f8: DUP9
000028f9: DUP5
000028fa: SUB
000028fb: PUSH1 0x3f
000028fd: NOT
000028fe: ADD
000028ff: DUP6
00002900: MSTORE
00002901: DUP3
00002902: CALLDATALOAD
00002903: CALLDATASIZE
00002904: DUP13
00002905: SWAP1
00002906: SUB
00002907: PUSH1 0x5e
00002909: NOT
0000290a: ADD
0000290b: DUP2
0000290c: SLT
0000290d: PUSH2 0x2914
00002910: JUMPI
00002911: DUP3
00002912: DUP4
00002913: REVERT
00002914: JUMPDEST
00002915: DUP12
00002916: ADD
00002917: PUSH1 0x60
00002919: PUSH2 0x2922
0000291c: DUP3
0000291d: DUP1
0000291e: PUSH2 0x280b
00002921: JUMP
00002922: JUMPDEST
00002923: DUP3
00002924: DUP9
00002925: MSTORE
00002926: PUSH2 0x2932
00002929: DUP4
0000292a: DUP10
0000292b: ADD
0000292c: DUP3
0000292d: DUP5
0000292e: PUSH2 0x2854
00002931: JUMP
00002932: JUMPDEST
00002933: SWAP3
00002934: POP
00002935: POP
00002936: POP
00002937: PUSH2 0x2942
0000293a: DUP10
0000293b: DUP4
0000293c: ADD
0000293d: DUP4
0000293e: PUSH2 0x280b
00002941: JUMP
00002942: JUMPDEST
00002943: DUP8
00002944: DUP4
00002945: SUB
00002946: DUP12
00002947: DUP10
00002948: ADD
00002949: MSTORE
0000294a: PUSH2 0x2954
0000294d: DUP4
0000294e: DUP3
0000294f: DUP5
00002950: PUSH2 0x289d
00002953: JUMP
00002954: JUMPDEST
00002955: SWAP3
00002956: POP
00002957: POP
00002958: POP
00002959: DUP8
0000295a: DUP3
0000295b: ADD
0000295c: CALLDATALOAD
0000295d: SWAP2
0000295e: POP
0000295f: PUSH2 0x2967
00002962: DUP3
00002963: PUSH2 0x256f
00002966: JUMP
00002967: JUMPDEST
00002968: PUSH1 0x01
0000296a: PUSH1 0x01
0000296c: PUSH1 0xa0
0000296e: SHL
0000296f: SUB
00002970: SWAP2
00002971: SWAP1
00002972: SWAP2
00002973: AND
00002974: SWAP5
00002975: DUP8
00002976: ADD
00002977: SWAP5
00002978: SWAP1
00002979: SWAP5
0000297a: MSTORE
0000297b: SWAP4
0000297c: DUP7
0000297d: ADD
0000297e: SWAP4
0000297f: SWAP2
00002980: DUP7
00002981: ADD
00002982: SWAP2
00002983: PUSH1 0x01
00002985: ADD
00002986: PUSH2 0x28ef
00002989: JUMP
0000298a: JUMPDEST
0000298b: POP
0000298c: SWAP2
0000298d: SWAP10
0000298e: SWAP9
0000298f: POP
00002990: POP
00002991: POP
00002992: POP
00002993: POP
00002994: POP
00002995: POP
00002996: POP
00002997: POP
00002998: JUMP
00002999: JUMPDEST
0000299a: PUSH4 0x4e487b71
0000299f: PUSH1 0xe0
000029a1: SHL
000029a2: PUSH1 0x00
000029a4: MSTORE
000029a5: PUSH1 0x41
000029a7: PUSH1 0x04
000029a9: MSTORE
000029aa: PUSH1 0x24
000029ac: PUSH1 0x00
000029ae: REVERT
000029af: JUMPDEST
000029b0: PUSH1 0x40
000029b2: DUP1
000029b3: MLOAD
000029b4: SWAP1
000029b5: DUP2
000029b6: ADD
000029b7: PUSH8 0xffffffffffffffff
000029c0: DUP2
000029c1: GT
000029c2: DUP3
000029c3: DUP3
000029c4: LT
000029c5: OR
000029c6: ISZERO
000029c7: PUSH2 0x29d2
000029ca: JUMPI
000029cb: PUSH2 0x29d2
000029ce: PUSH2 0x2999
000029d1: JUMP
000029d2: JUMPDEST
000029d3: PUSH1 0x40
000029d5: MSTORE
000029d6: SWAP1
000029d7: JUMP
000029d8: JUMPDEST
000029d9: PUSH1 0x40
000029db: MLOAD
000029dc: PUSH1 0x1f
000029de: DUP3
000029df: ADD
000029e0: PUSH1 0x1f
000029e2: NOT
000029e3: AND
000029e4: DUP2
000029e5: ADD
000029e6: PUSH8 0xffffffffffffffff
000029ef: DUP2
000029f0: GT
000029f1: DUP3
000029f2: DUP3
000029f3: LT
000029f4: OR
000029f5: ISZERO
000029f6: PUSH2 0x2a01
000029f9: JUMPI
000029fa: PUSH2 0x2a01
000029fd: PUSH2 0x2999
00002a00: JUMP
00002a01: JUMPDEST
00002a02: PUSH1 0x40
00002a04: MSTORE
00002a05: SWAP2
00002a06: SWAP1
00002a07: POP
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: PUSH1 0x00
00002a0c: PUSH8 0xffffffffffffffff
00002a15: DUP3
00002a16: GT
00002a17: ISZERO
00002a18: PUSH2 0x2a23
00002a1b: JUMPI
00002a1c: PUSH2 0x2a23
00002a1f: PUSH2 0x2999
00002a22: JUMP
00002a23: JUMPDEST
00002a24: POP
00002a25: PUSH1 0x05
00002a27: SHL
00002a28: PUSH1 0x20
00002a2a: ADD
00002a2b: SWAP1
00002a2c: JUMP
00002a2d: JUMPDEST
00002a2e: PUSH1 0x00
00002a30: PUSH1 0x20
00002a32: DUP1
00002a33: DUP4
00002a34: DUP6
00002a35: SUB
00002a36: SLT
00002a37: ISZERO
00002a38: PUSH2 0x2a40
00002a3b: JUMPI
00002a3c: PUSH1 0x00
00002a3e: DUP1
00002a3f: REVERT
00002a40: JUMPDEST
00002a41: DUP3
00002a42: MLOAD
00002a43: PUSH8 0xffffffffffffffff
00002a4c: DUP2
00002a4d: GT
00002a4e: ISZERO
00002a4f: PUSH2 0x2a57
00002a52: JUMPI
00002a53: PUSH1 0x00
00002a55: DUP1
00002a56: REVERT
00002a57: JUMPDEST
00002a58: DUP4
00002a59: ADD
00002a5a: PUSH1 0x1f
00002a5c: DUP2
00002a5d: ADD
00002a5e: DUP6
00002a5f: SGT
00002a60: PUSH2 0x2a68
00002a63: JUMPI
00002a64: PUSH1 0x00
00002a66: DUP1
00002a67: REVERT
00002a68: JUMPDEST
00002a69: DUP1
00002a6a: MLOAD
00002a6b: PUSH2 0x2a7b
00002a6e: PUSH2 0x2a76
00002a71: DUP3
00002a72: PUSH2 0x2a09
00002a75: JUMP
00002a76: JUMPDEST
00002a77: PUSH2 0x29d8
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: DUP2
00002a7d: DUP2
00002a7e: MSTORE
00002a7f: PUSH1 0x05
00002a81: SWAP2
00002a82: SWAP1
00002a83: SWAP2
00002a84: SHL
00002a85: DUP3
00002a86: ADD
00002a87: DUP4
00002a88: ADD
00002a89: SWAP1
00002a8a: DUP4
00002a8b: DUP2
00002a8c: ADD
00002a8d: SWAP1
00002a8e: DUP8
00002a8f: DUP4
00002a90: GT
00002a91: ISZERO
00002a92: PUSH2 0x2a9a
00002a95: JUMPI
00002a96: PUSH1 0x00
00002a98: DUP1
00002a99: REVERT
00002a9a: JUMPDEST
00002a9b: SWAP3
00002a9c: DUP5
00002a9d: ADD
00002a9e: SWAP3
00002a9f: JUMPDEST
00002aa0: DUP3
00002aa1: DUP5
00002aa2: LT
00002aa3: ISZERO
00002aa4: PUSH2 0x23d3
00002aa7: JUMPI
00002aa8: DUP4
00002aa9: MLOAD
00002aaa: DUP3
00002aab: MSTORE
00002aac: SWAP3
00002aad: DUP5
00002aae: ADD
00002aaf: SWAP3
00002ab0: SWAP1
00002ab1: DUP5
00002ab2: ADD
00002ab3: SWAP1
00002ab4: PUSH2 0x2a9f
00002ab7: JUMP
00002ab8: JUMPDEST
00002ab9: PUSH1 0x00
00002abb: PUSH1 0x20
00002abd: DUP3
00002abe: DUP5
00002abf: SUB
00002ac0: SLT
00002ac1: ISZERO
00002ac2: PUSH2 0x2aca
00002ac5: JUMPI
00002ac6: PUSH1 0x00
00002ac8: DUP1
00002ac9: REVERT
00002aca: JUMPDEST
00002acb: DUP2
00002acc: MLOAD
00002acd: PUSH2 0x26ca
00002ad0: DUP2
00002ad1: PUSH2 0x260f
00002ad4: JUMP
00002ad5: JUMPDEST
00002ad6: PUSH1 0x00
00002ad8: PUSH1 0x20
00002ada: DUP3
00002adb: DUP5
00002adc: SUB
00002add: SLT
00002ade: ISZERO
00002adf: PUSH2 0x2ae7
00002ae2: JUMPI
00002ae3: PUSH1 0x00
00002ae5: DUP1
00002ae6: REVERT
00002ae7: JUMPDEST
00002ae8: POP
00002ae9: MLOAD
00002aea: SWAP2
00002aeb: SWAP1
00002aec: POP
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH4 0x4e487b71
00002af4: PUSH1 0xe0
00002af6: SHL
00002af7: PUSH1 0x00
00002af9: MSTORE
00002afa: PUSH1 0x11
00002afc: PUSH1 0x04
00002afe: MSTORE
00002aff: PUSH1 0x24
00002b01: PUSH1 0x00
00002b03: REVERT
00002b04: JUMPDEST
00002b05: PUSH1 0x00
00002b07: DUP2
00002b08: PUSH1 0x00
00002b0a: NOT
00002b0b: DIV
00002b0c: DUP4
00002b0d: GT
00002b0e: DUP3
00002b0f: ISZERO
00002b10: ISZERO
00002b11: AND
00002b12: ISZERO
00002b13: PUSH2 0x2b1e
00002b16: JUMPI
00002b17: PUSH2 0x2b1e
00002b1a: PUSH2 0x2aee
00002b1d: JUMP
00002b1e: JUMPDEST
00002b1f: POP
00002b20: MUL
00002b21: SWAP1
00002b22: JUMP
00002b23: JUMPDEST
00002b24: DUP1
00002b25: DUP3
00002b26: ADD
00002b27: DUP1
00002b28: DUP3
00002b29: GT
00002b2a: ISZERO
00002b2b: PUSH2 0x2b36
00002b2e: JUMPI
00002b2f: PUSH2 0x2b36
00002b32: PUSH2 0x2aee
00002b35: JUMP
00002b36: JUMPDEST
00002b37: SWAP3
00002b38: SWAP2
00002b39: POP
00002b3a: POP
00002b3b: JUMP
00002b3c: JUMPDEST
00002b3d: DUP2
00002b3e: DUP4
00002b3f: MSTORE
00002b40: DUP2
00002b41: DUP2
00002b42: PUSH1 0x20
00002b44: DUP6
00002b45: ADD
00002b46: CALLDATACOPY
00002b47: POP
00002b48: PUSH1 0x00
00002b4a: DUP3
00002b4b: DUP3
00002b4c: ADD
00002b4d: PUSH1 0x20
00002b4f: SWAP1
00002b50: DUP2
00002b51: ADD
00002b52: SWAP2
00002b53: SWAP1
00002b54: SWAP2
00002b55: MSTORE
00002b56: PUSH1 0x1f
00002b58: SWAP1
00002b59: SWAP2
00002b5a: ADD
00002b5b: PUSH1 0x1f
00002b5d: NOT
00002b5e: AND
00002b5f: SWAP1
00002b60: SWAP2
00002b61: ADD
00002b62: ADD
00002b63: SWAP1
00002b64: JUMP
00002b65: JUMPDEST
00002b66: PUSH1 0x20
00002b68: DUP1
00002b69: DUP3
00002b6a: MSTORE
00002b6b: DUP2
00002b6c: DUP2
00002b6d: ADD
00002b6e: DUP4
00002b6f: SWAP1
00002b70: MSTORE
00002b71: PUSH1 0x00
00002b73: SWAP1
00002b74: PUSH1 0x40
00002b76: PUSH1 0x05
00002b78: DUP6
00002b79: SWAP1
00002b7a: SHL
00002b7b: DUP5
00002b7c: ADD
00002b7d: DUP2
00002b7e: ADD
00002b7f: SWAP1
00002b80: DUP5
00002b81: ADD
00002b82: DUP7
00002b83: DUP5
00002b84: JUMPDEST
00002b85: DUP8
00002b86: DUP2
00002b87: LT
00002b88: ISZERO
00002b89: PUSH2 0x2bf4
00002b8c: JUMPI
00002b8d: DUP7
00002b8e: DUP5
00002b8f: SUB
00002b90: PUSH1 0x3f
00002b92: NOT
00002b93: ADD
00002b94: DUP4
00002b95: MSTORE
00002b96: DUP2
00002b97: CALLDATALOAD
00002b98: CALLDATASIZE
00002b99: DUP11
00002b9a: SWAP1
00002b9b: SUB
00002b9c: PUSH1 0x1e
00002b9e: NOT
00002b9f: ADD
00002ba0: DUP2
00002ba1: SLT
00002ba2: PUSH2 0x2baa
00002ba5: JUMPI
00002ba6: PUSH1 0x00
00002ba8: DUP1
00002ba9: REVERT
00002baa: JUMPDEST
00002bab: DUP10
00002bac: ADD
00002bad: DUP6
00002bae: DUP2
00002baf: ADD
00002bb0: SWAP1
00002bb1: CALLDATALOAD
00002bb2: PUSH8 0xffffffffffffffff
00002bbb: DUP2
00002bbc: GT
00002bbd: ISZERO
00002bbe: PUSH2 0x2bc6
00002bc1: JUMPI
00002bc2: PUSH1 0x00
00002bc4: DUP1
00002bc5: REVERT
00002bc6: JUMPDEST
00002bc7: DUP1
00002bc8: CALLDATASIZE
00002bc9: SUB
00002bca: DUP3
00002bcb: SGT
00002bcc: ISZERO
00002bcd: PUSH2 0x2bd5
00002bd0: JUMPI
00002bd1: PUSH1 0x00
00002bd3: DUP1
00002bd4: REVERT
00002bd5: JUMPDEST
00002bd6: PUSH2 0x2be0
00002bd9: DUP7
00002bda: DUP3
00002bdb: DUP5
00002bdc: PUSH2 0x2b3c
00002bdf: JUMP
00002be0: JUMPDEST
00002be1: SWAP6
00002be2: POP
00002be3: POP
00002be4: POP
00002be5: SWAP2
00002be6: DUP5
00002be7: ADD
00002be8: SWAP2
00002be9: SWAP1
00002bea: DUP5
00002beb: ADD
00002bec: SWAP1
00002bed: PUSH1 0x01
00002bef: ADD
00002bf0: PUSH2 0x2b84
00002bf3: JUMP
00002bf4: JUMPDEST
00002bf5: POP
00002bf6: SWAP2
00002bf7: SWAP8
00002bf8: SWAP7
00002bf9: POP
00002bfa: POP
00002bfb: POP
00002bfc: POP
00002bfd: POP
00002bfe: POP
00002bff: POP
00002c00: JUMP
00002c01: JUMPDEST
00002c02: PUSH1 0x00
00002c04: DUP3
00002c05: PUSH1 0x1f
00002c07: DUP4
00002c08: ADD
00002c09: SLT
00002c0a: PUSH2 0x2c12
00002c0d: JUMPI
00002c0e: PUSH1 0x00
00002c10: DUP1
00002c11: REVERT
00002c12: JUMPDEST
00002c13: DUP2
00002c14: MLOAD
00002c15: PUSH8 0xffffffffffffffff
00002c1e: DUP2
00002c1f: GT
00002c20: ISZERO
00002c21: PUSH2 0x2c2c
00002c24: JUMPI
00002c25: PUSH2 0x2c2c
00002c28: PUSH2 0x2999
00002c2b: JUMP
00002c2c: JUMPDEST
00002c2d: PUSH2 0x2c3f
00002c30: PUSH1 0x1f
00002c32: DUP3
00002c33: ADD
00002c34: PUSH1 0x1f
00002c36: NOT
00002c37: AND
00002c38: PUSH1 0x20
00002c3a: ADD
00002c3b: PUSH2 0x29d8
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: DUP2
00002c41: DUP2
00002c42: MSTORE
00002c43: DUP5
00002c44: PUSH1 0x20
00002c46: DUP4
00002c47: DUP7
00002c48: ADD
00002c49: ADD
00002c4a: GT
00002c4b: ISZERO
00002c4c: PUSH2 0x2c54
00002c4f: JUMPI
00002c50: PUSH1 0x00
00002c52: DUP1
00002c53: REVERT
00002c54: JUMPDEST
00002c55: PUSH2 0x22fb
00002c58: DUP3
00002c59: PUSH1 0x20
00002c5b: DUP4
00002c5c: ADD
00002c5d: PUSH1 0x20
00002c5f: DUP8
00002c60: ADD
00002c61: PUSH2 0x2706
00002c64: JUMP
00002c65: JUMPDEST
00002c66: PUSH1 0x00
00002c68: PUSH1 0x20
00002c6a: DUP1
00002c6b: DUP4
00002c6c: DUP6
00002c6d: SUB
00002c6e: SLT
00002c6f: ISZERO
00002c70: PUSH2 0x2c78
00002c73: JUMPI
00002c74: PUSH1 0x00
00002c76: DUP1
00002c77: REVERT
00002c78: JUMPDEST
00002c79: DUP3
00002c7a: MLOAD
00002c7b: PUSH8 0xffffffffffffffff
00002c84: DUP1
00002c85: DUP3
00002c86: GT
00002c87: ISZERO
00002c88: PUSH2 0x2c90
00002c8b: JUMPI
00002c8c: PUSH1 0x00
00002c8e: DUP1
00002c8f: REVERT
00002c90: JUMPDEST
00002c91: DUP2
00002c92: DUP6
00002c93: ADD
00002c94: SWAP2
00002c95: POP
00002c96: DUP6
00002c97: PUSH1 0x1f
00002c99: DUP4
00002c9a: ADD
00002c9b: SLT
00002c9c: PUSH2 0x2ca4
00002c9f: JUMPI
00002ca0: PUSH1 0x00
00002ca2: DUP1
00002ca3: REVERT
00002ca4: JUMPDEST
00002ca5: DUP2
00002ca6: MLOAD
00002ca7: PUSH2 0x2cb2
00002caa: PUSH2 0x2a76
00002cad: DUP3
00002cae: PUSH2 0x2a09
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: DUP2
00002cb4: DUP2
00002cb5: MSTORE
00002cb6: PUSH1 0x05
00002cb8: SWAP2
00002cb9: SWAP1
00002cba: SWAP2
00002cbb: SHL
00002cbc: DUP4
00002cbd: ADD
00002cbe: DUP5
00002cbf: ADD
00002cc0: SWAP1
00002cc1: DUP5
00002cc2: DUP2
00002cc3: ADD
00002cc4: SWAP1
00002cc5: DUP9
00002cc6: DUP4
00002cc7: GT
00002cc8: ISZERO
00002cc9: PUSH2 0x2cd1
00002ccc: JUMPI
00002ccd: PUSH1 0x00
00002ccf: DUP1
00002cd0: REVERT
00002cd1: JUMPDEST
00002cd2: DUP6
00002cd3: DUP6
00002cd4: ADD
00002cd5: JUMPDEST
00002cd6: DUP4
00002cd7: DUP2
00002cd8: LT
00002cd9: ISZERO
00002cda: PUSH2 0x2d64
00002cdd: JUMPI
00002cde: DUP1
00002cdf: MLOAD
00002ce0: DUP6
00002ce1: DUP2
00002ce2: GT
00002ce3: ISZERO
00002ce4: PUSH2 0x2ced
00002ce7: JUMPI
00002ce8: PUSH1 0x00
00002cea: DUP1
00002ceb: DUP2
00002cec: REVERT
00002ced: JUMPDEST
00002cee: DUP7
00002cef: ADD
00002cf0: PUSH1 0x40
00002cf2: DUP2
00002cf3: DUP13
00002cf4: SUB
00002cf5: PUSH1 0x1f
00002cf7: NOT
00002cf8: ADD
00002cf9: DUP2
00002cfa: SGT
00002cfb: ISZERO
00002cfc: PUSH2 0x2d05
00002cff: JUMPI
00002d00: PUSH1 0x00
00002d02: DUP1
00002d03: DUP2
00002d04: REVERT
00002d05: JUMPDEST
00002d06: PUSH2 0x2d0d
00002d09: PUSH2 0x29af
00002d0c: JUMP
00002d0d: JUMPDEST
00002d0e: DUP10
00002d0f: DUP4
00002d10: ADD
00002d11: MLOAD
00002d12: DUP9
00002d13: DUP2
00002d14: GT
00002d15: ISZERO
00002d16: PUSH2 0x2d1f
00002d19: JUMPI
00002d1a: PUSH1 0x00
00002d1c: DUP1
00002d1d: DUP2
00002d1e: REVERT
00002d1f: JUMPDEST
00002d20: PUSH2 0x2d2d
00002d23: DUP15
00002d24: DUP13
00002d25: DUP4
00002d26: DUP8
00002d27: ADD
00002d28: ADD
00002d29: PUSH2 0x2c01
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: DUP3
00002d2f: MSTORE
00002d30: POP
00002d31: SWAP1
00002d32: DUP3
00002d33: ADD
00002d34: MLOAD
00002d35: SWAP1
00002d36: DUP8
00002d37: DUP3
00002d38: GT
00002d39: ISZERO
00002d3a: PUSH2 0x2d43
00002d3d: JUMPI
00002d3e: PUSH1 0x00
00002d40: DUP1
00002d41: DUP2
00002d42: REVERT
00002d43: JUMPDEST
00002d44: PUSH2 0x2d51
00002d47: DUP14
00002d48: DUP12
00002d49: DUP5
00002d4a: DUP7
00002d4b: ADD
00002d4c: ADD
00002d4d: PUSH2 0x2c01
00002d50: JUMP
00002d51: JUMPDEST
00002d52: DUP2
00002d53: DUP12
00002d54: ADD
00002d55: MSTORE
00002d56: DUP6
00002d57: MSTORE
00002d58: POP
00002d59: POP
00002d5a: SWAP2
00002d5b: DUP7
00002d5c: ADD
00002d5d: SWAP2
00002d5e: DUP7
00002d5f: ADD
00002d60: PUSH2 0x2cd5
00002d63: JUMP
00002d64: JUMPDEST
00002d65: POP
00002d66: SWAP9
00002d67: SWAP8
00002d68: POP
00002d69: POP
00002d6a: POP
00002d6b: POP
00002d6c: POP
00002d6d: POP
00002d6e: POP
00002d6f: POP
00002d70: JUMP
00002d71: JUMPDEST
00002d72: PUSH4 0x4e487b71
00002d77: PUSH1 0xe0
00002d79: SHL
00002d7a: PUSH1 0x00
00002d7c: MSTORE
00002d7d: PUSH1 0x32
00002d7f: PUSH1 0x04
00002d81: MSTORE
00002d82: PUSH1 0x24
00002d84: PUSH1 0x00
00002d86: REVERT
00002d87: JUMPDEST
00002d88: PUSH1 0x80
00002d8a: DUP2
00002d8b: MSTORE
00002d8c: PUSH1 0x00
00002d8e: PUSH2 0x2d9a
00002d91: PUSH1 0x80
00002d93: DUP4
00002d94: ADD
00002d95: DUP8
00002d96: PUSH2 0x272a
00002d99: JUMP
00002d9a: JUMPDEST
00002d9b: DUP3
00002d9c: DUP2
00002d9d: SUB
00002d9e: PUSH1 0x20
00002da0: DUP5
00002da1: ADD
00002da2: MSTORE
00002da3: PUSH2 0x2dac
00002da6: DUP2
00002da7: DUP8
00002da8: PUSH2 0x272a
00002dab: JUMP
00002dac: JUMPDEST
00002dad: SWAP1
00002dae: POP
00002daf: DUP3
00002db0: DUP2
00002db1: SUB
00002db2: PUSH1 0x40
00002db4: DUP5
00002db5: ADD
00002db6: MSTORE
00002db7: PUSH2 0x2dc0
00002dba: DUP2
00002dbb: DUP7
00002dbc: PUSH2 0x272a
00002dbf: JUMP
00002dc0: JUMPDEST
00002dc1: SWAP2
00002dc2: POP
00002dc3: POP
00002dc4: DUP3
00002dc5: PUSH1 0x60
00002dc7: DUP4
00002dc8: ADD
00002dc9: MSTORE
00002dca: SWAP6
00002dcb: SWAP5
00002dcc: POP
00002dcd: POP
00002dce: POP
00002dcf: POP
00002dd0: POP
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: PUSH1 0x00
00002dd5: PUSH1 0x01
00002dd7: DUP3
00002dd8: ADD
00002dd9: PUSH2 0x2de4
00002ddc: JUMPI
00002ddd: PUSH2 0x2de4
00002de0: PUSH2 0x2aee
00002de3: JUMP
00002de4: JUMPDEST
00002de5: POP
00002de6: PUSH1 0x01
00002de8: ADD
00002de9: SWAP1
00002dea: JUMP
00002deb: JUMPDEST
00002dec: DUP1
00002ded: CALLDATALOAD
00002dee: PUSH4 0xffffffff
00002df3: DUP2
00002df4: AND
00002df5: DUP2
00002df6: EQ
00002df7: PUSH2 0x258f
00002dfa: JUMPI
00002dfb: PUSH1 0x00
00002dfd: DUP1
00002dfe: REVERT
00002dff: JUMPDEST
00002e00: PUSH1 0x80
00002e02: DUP2
00002e03: MSTORE
00002e04: PUSH1 0x00
00002e06: DUP7
00002e07: CALLDATALOAD
00002e08: PUSH2 0x2e10
00002e0b: DUP2
00002e0c: PUSH2 0x256f
00002e0f: JUMP
00002e10: JUMPDEST
00002e11: PUSH1 0x01
00002e13: PUSH1 0x01
00002e15: PUSH1 0xa0
00002e17: SHL
00002e18: SUB
00002e19: AND
00002e1a: PUSH1 0x80
00002e1c: DUP4
00002e1d: ADD
00002e1e: MSTORE
00002e1f: PUSH1 0x20
00002e21: DUP8
00002e22: ADD
00002e23: CALLDATALOAD
00002e24: PUSH2 0x2e2c
00002e27: DUP2
00002e28: PUSH2 0x256f
00002e2b: JUMP
00002e2c: JUMPDEST
00002e2d: PUSH1 0x01
00002e2f: PUSH1 0x01
00002e31: PUSH1 0xa0
00002e33: SHL
00002e34: SUB
00002e35: AND
00002e36: PUSH1 0xa0
00002e38: DUP4
00002e39: ADD
00002e3a: MSTORE
00002e3b: PUSH2 0x2e46
00002e3e: PUSH1 0x40
00002e40: DUP9
00002e41: ADD
00002e42: PUSH2 0x2584
00002e45: JUMP
00002e46: JUMPDEST
00002e47: PUSH1 0x01
00002e49: PUSH1 0x01
00002e4b: PUSH1 0xa0
00002e4d: SHL
00002e4e: SUB
00002e4f: AND
00002e50: PUSH1 0xc0
00002e52: DUP4
00002e53: ADD
00002e54: MSTORE
00002e55: PUSH1 0x60
00002e57: DUP8
00002e58: ADD
00002e59: CALLDATALOAD
00002e5a: PUSH1 0xe0
00002e5c: DUP4
00002e5d: ADD
00002e5e: MSTORE
00002e5f: PUSH2 0x2e6a
00002e62: PUSH1 0x80
00002e64: DUP9
00002e65: ADD
00002e66: PUSH2 0x2deb
00002e69: JUMP
00002e6a: JUMPDEST
00002e6b: PUSH4 0xffffffff
00002e70: AND
00002e71: PUSH2 0x0100
00002e74: DUP4
00002e75: ADD
00002e76: MSTORE
00002e77: PUSH2 0x2e83
00002e7a: PUSH1 0xa0
00002e7c: DUP9
00002e7d: ADD
00002e7e: DUP9
00002e7f: PUSH2 0x280b
00002e82: JUMP
00002e83: JUMPDEST
00002e84: PUSH1 0xe0
00002e86: PUSH2 0x0120
00002e89: DUP6
00002e8a: ADD
00002e8b: MSTORE
00002e8c: PUSH2 0x2e9a
00002e8f: PUSH2 0x0160
00002e92: DUP6
00002e93: ADD
00002e94: DUP3
00002e95: DUP5
00002e96: PUSH2 0x2854
00002e99: JUMP
00002e9a: JUMPDEST
00002e9b: SWAP2
00002e9c: POP
00002e9d: POP
00002e9e: PUSH2 0x2eaa
00002ea1: PUSH1 0xc0
00002ea3: DUP10
00002ea4: ADD
00002ea5: DUP10
00002ea6: PUSH2 0x280b
00002ea9: JUMP
00002eaa: JUMPDEST
00002eab: DUP5
00002eac: DUP4
00002ead: SUB
00002eae: PUSH1 0x7f
00002eb0: NOT
00002eb1: ADD
00002eb2: PUSH2 0x0140
00002eb5: DUP7
00002eb6: ADD
00002eb7: MSTORE
00002eb8: PUSH2 0x2ec2
00002ebb: DUP4
00002ebc: DUP3
00002ebd: DUP5
00002ebe: PUSH2 0x289d
00002ec1: JUMP
00002ec2: JUMPDEST
00002ec3: SWAP3
00002ec4: POP
00002ec5: POP
00002ec6: POP
00002ec7: DUP3
00002ec8: DUP2
00002ec9: SUB
00002eca: PUSH1 0x20
00002ecc: DUP5
00002ecd: ADD
00002ece: MSTORE
00002ecf: PUSH2 0x2ed9
00002ed2: DUP2
00002ed3: DUP8
00002ed4: DUP10
00002ed5: PUSH2 0x2854
00002ed8: JUMP
00002ed9: JUMPDEST
00002eda: SWAP2
00002edb: POP
00002edc: POP
00002edd: DUP4
00002ede: PUSH1 0x40
00002ee0: DUP4
00002ee1: ADD
00002ee2: MSTORE
00002ee3: PUSH2 0x2ef0
00002ee6: PUSH1 0x60
00002ee8: DUP4
00002ee9: ADD
00002eea: DUP5
00002eeb: ISZERO
00002eec: ISZERO
00002eed: SWAP1
00002eee: MSTORE
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: SWAP7
00002ef2: SWAP6
00002ef3: POP
00002ef4: POP
00002ef5: POP
00002ef6: POP
00002ef7: POP
00002ef8: POP
00002ef9: JUMP
00002efa: JUMPDEST
00002efb: PUSH1 0x00
00002efd: DUP3
00002efe: PUSH2 0x2f17
00002f01: JUMPI
00002f02: PUSH4 0x4e487b71
00002f07: PUSH1 0xe0
00002f09: SHL
00002f0a: PUSH1 0x00
00002f0c: MSTORE
00002f0d: PUSH1 0x12
00002f0f: PUSH1 0x04
00002f11: MSTORE
00002f12: PUSH1 0x24
00002f14: PUSH1 0x00
00002f16: REVERT
00002f17: JUMPDEST
00002f18: POP
00002f19: DIV
00002f1a: SWAP1
00002f1b: JUMP
00002f1c: JUMPDEST
00002f1d: PUSH1 0x00
00002f1f: DUP4
00002f20: MLOAD
00002f21: PUSH2 0x2f2e
00002f24: DUP2
00002f25: DUP5
00002f26: PUSH1 0x20
00002f28: DUP9
00002f29: ADD
00002f2a: PUSH2 0x2706
00002f2d: JUMP
00002f2e: JUMPDEST
00002f2f: PUSH16 0xffffffffffffffffffffffffffffffff
00002f40: NOT
00002f41: SWAP4
00002f42: SWAP1
00002f43: SWAP4
00002f44: AND
00002f45: SWAP2
00002f46: SWAP1
00002f47: SWAP3
00002f48: ADD
00002f49: SWAP1
00002f4a: DUP2
00002f4b: MSTORE
00002f4c: PUSH1 0x10
00002f4e: ADD
00002f4f: SWAP3
00002f50: SWAP2
00002f51: POP
00002f52: POP
00002f53: JUMP
00002f54: JUMPDEST
00002f55: PUSH1 0x00
00002f57: DUP3
00002f58: MLOAD
00002f59: PUSH2 0x2f66
00002f5c: DUP2
00002f5d: DUP5
00002f5e: PUSH1 0x20
00002f60: DUP8
00002f61: ADD
00002f62: PUSH2 0x2706
00002f65: JUMP
00002f66: JUMPDEST
00002f67: SWAP2
00002f68: SWAP1
00002f69: SWAP2
00002f6a: ADD
00002f6b: SWAP3
00002f6c: SWAP2
00002f6d: POP
00002f6e: POP
00002f6f: JUMP
00002f70: JUMPDEST
00002f71: PUSH1 0x00
00002f73: DUP4
00002f74: MLOAD
00002f75: PUSH2 0x2f82
00002f78: DUP2
00002f79: DUP5
00002f7a: PUSH1 0x20
00002f7c: DUP9
00002f7d: ADD
00002f7e: PUSH2 0x2706
00002f81: JUMP
00002f82: JUMPDEST
00002f83: SWAP2
00002f84: SWAP1
00002f85: SWAP2
00002f86: ADD
00002f87: SWAP2
00002f88: DUP3
00002f89: MSTORE
00002f8a: POP
00002f8b: PUSH1 0x20
00002f8d: ADD
00002f8e: SWAP2
00002f8f: SWAP1
00002f90: POP
00002f91: JUMP
00002f92: JUMPDEST
00002f93: DUP3
00002f94: DUP2
00002f95: MSTORE
00002f96: PUSH1 0x00
00002f98: DUP3
00002f99: MLOAD
00002f9a: PUSH2 0x2faa
00002f9d: DUP2
00002f9e: PUSH1 0x20
00002fa0: DUP6
00002fa1: ADD
00002fa2: PUSH1 0x20
00002fa4: DUP8
00002fa5: ADD
00002fa6: PUSH2 0x2706
00002fa9: JUMP
00002faa: JUMPDEST
00002fab: SWAP2
00002fac: SWAP1
00002fad: SWAP2
00002fae: ADD
00002faf: PUSH1 0x20
00002fb1: ADD
00002fb2: SWAP4
00002fb3: SWAP3
00002fb4: POP
00002fb5: POP
00002fb6: POP
00002fb7: JUMP
00002fb8: JUMPDEST
00002fb9: PUSH1 0x00
00002fbb: DUP5
00002fbc: MLOAD
00002fbd: PUSH2 0x2fca
00002fc0: DUP2
00002fc1: DUP5
00002fc2: PUSH1 0x20
00002fc4: DUP10
00002fc5: ADD
00002fc6: PUSH2 0x2706
00002fc9: JUMP
00002fca: JUMPDEST
00002fcb: PUSH8 0xffffffffffffffff
00002fd4: NOT
00002fd5: SWAP5
00002fd6: SWAP1
00002fd7: SWAP5
00002fd8: AND
00002fd9: SWAP2
00002fda: SWAP1
00002fdb: SWAP4
00002fdc: ADD
00002fdd: SWAP1
00002fde: DUP2
00002fdf: MSTORE
00002fe0: PUSH1 0x18
00002fe2: DUP2
00002fe3: ADD
00002fe4: SWAP2
00002fe5: SWAP1
00002fe6: SWAP2
00002fe7: MSTORE
00002fe8: PUSH1 0x38
00002fea: ADD
00002feb: SWAP3
00002fec: SWAP2
00002fed: POP
00002fee: POP
00002fef: JUMP
00002ff0: INVALID
00002ff1: LOG2
00002ff2: PUSH5 0x6970667358
00002ff8: UNKNOWN(0x22)
00002ff9: SLT
00002ffa: KECCAK256
00002ffb: UNKNOWN(0xAB)
00002ffc: MULMOD
00002ffd: UNKNOWN(0xEB)
00002ffe: UNKNOWN(0xD3)
00002fff: POP
00003000: UNKNOWN(0xDA)
00003001: UNKNOWN(0xBD)
00003002: MOD
00003003: UNKNOWN(0x2D)
00003004: UNKNOWN(0x23)
00003005: UNKNOWN(0xE4)
00003006: UNKNOWN(0xEC)
00003007: PUSH3 0x44fe51
0000300b: DUP2
0000300c: PUSH24 0x3263b18478dfe0a439c48b6f4e1964736f6c634300081000
00003025: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x2fa3e63a75e7a8e4b1f4dfd5abea5370d94e3b70fbe38a67c5a7188937cd4a41
call_targets: 0xee33c44a30e6e8a79e33c45fe0deeaf069d33181
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2fa3e63a75e7a8e4b1f4dfd5abea5370d94e3b70fbe38a67c5a7188937cd4a41",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xee33c44a30e6e8a79e33c45fe0deeaf069d33181"
    ],
    "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": "0xb79c64f8",
            "selector": "0xb79c64f8",
            "calldata_variants": [
                "0xb79c64f8",
                "0xb79c64f80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8baaead",
            "selector": "0xc8baaead",
            "calldata_variants": [
                "0xc8baaead",
                "0xc8baaead0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5d098e0",
            "selector": "0xe5d098e0",
            "calldata_variants": [
                "0xe5d098e0",
                "0xe5d098e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8ec1f79",
            "selector": "0xe8ec1f79",
            "calldata_variants": [
                "0xe8ec1f79",
                "0xe8ec1f790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4f3b200",
            "selector": "0xf4f3b200",
            "calldata_variants": [
                "0xf4f3b200",
                "0xf4f3b2000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d34ae60",
            "selector": "0x7d34ae60",
            "calldata_variants": [
                "0x7d34ae60",
                "0x7d34ae600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x902340a1",
            "selector": "0x902340a1",
            "calldata_variants": [
                "0x902340a1",
                "0x902340a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90b51625",
            "selector": "0x90b51625",
            "calldata_variants": [
                "0x90b51625",
                "0x90b516250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1366,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2627,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2955,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 12,
    "guards_detected": [],
    "untrusted_call_count": 12
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x2fa3e63a75e7a8e4b1f4dfd5abea5370d94e3b70fbe38a67c5a7188937cd4a41
call_targets: 0xee33c44a30e6e8a79e33c45fe0deeaf069d33181
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2fa3e63a75e7a8e4b1f4dfd5abea5370d94e3b70fbe38a67c5a7188937cd4a41",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xee33c44a30e6e8a79e33c45fe0deeaf069d33181"
    ],
    "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": "0xb79c64f8",
            "selector": "0xb79c64f8",
            "calldata_variants": [
                "0xb79c64f8",
                "0xb79c64f80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8baaead",
            "selector": "0xc8baaead",
            "calldata_variants": [
                "0xc8baaead",
                "0xc8baaead0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe5d098e0",
            "selector": "0xe5d098e0",
            "calldata_variants": [
                "0xe5d098e0",
                "0xe5d098e00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8ec1f79",
            "selector": "0xe8ec1f79",
            "calldata_variants": [
                "0xe8ec1f79",
                "0xe8ec1f790000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4f3b200",
            "selector": "0xf4f3b200",
            "calldata_variants": [
                "0xf4f3b200",
                "0xf4f3b2000000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d34ae60",
            "selector": "0x7d34ae60",
            "calldata_variants": [
                "0x7d34ae60",
                "0x7d34ae600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x902340a1",
            "selector": "0x902340a1",
            "calldata_variants": [
                "0x902340a1",
                "0x902340a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90b51625",
            "selector": "0x90b51625",
            "calldata_variants": [
                "0x90b51625",
                "0x90b516250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1366,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2627,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2955,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 12,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 13
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 41
}