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

Analysis Run

4081bbb3-84c7-40ae-bbd1-eed209f6c414

failed
Chain ID
1
Address
Block Number
Created
Fri, Jan 2, 2026 3:57 PM
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 DELEGATECALL target 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
31283 report.consolidate complete 1 / 1 3 months ago
110696 artifact.fetch failed 1 / 3 1 week ago
110697 tool.cast_disasm complete 1 / 3 1 week ago
110698 analysis.bundle complete 1 / 3 1 week ago
110699 capability.graph complete 1 / 3 1 week ago
110700 detector.run complete 1 / 3 1 week ago
110701 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 profit paths identified in the provided contracts.
View stderr
[codex:1180285] OpenAI Codex v0.77.0 (research preview)
[codex:1180285] --------
[codex:1180285] workdir: /tmp/codex-multi-jim4rjh7
[codex:1180285] model: gpt-5.2-codex
[codex:1180285] provider: openai
[codex:1180285] approval: never
[codex:1180285] sandbox: read-only
[codex:1180285] reasoning effort: xhigh
[codex:1180285] reasoning summaries: auto
[codex:1180285] session id: 019b7f66-c37b-7530-a913-16c3e0a17224
[codex:1180285] --------
[codex:1180285] user
[codex:1180285] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1180285] 
[codex:1180285] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1180285] 
[codex:1180285] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1180285] - Gas inefficiency, code quality, naming, or best practices
[codex:1180285] - Theoretical vulnerabilities without a clear extraction path
[codex:1180285] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1180285] - Front-running unless it enables theft beyond MEV
[codex:1180285] - DoS, griefing, or issues that don't result in attacker profit
[codex:1180285] - Missing events, view function issues, or informational findings
[codex:1180285] 
[codex:1180285] HIGH-VALUE PATTERNS TO HUNT:
[codex:1180285] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1180285] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1180285] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1180285] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1180285] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1180285] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1180285] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1180285] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1180285] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1180285] 
[codex:1180285] For each finding, you MUST provide:
[codex:1180285] 1. Exact file and line numbers of vulnerable code
[codex:1180285] 2. Step-by-step exploit transaction sequence
[codex:1180285] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1180285] 
[codex:1180285] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1180285] 
[codex:1180285] Output MUST be valid JSON matching the provided schema.
[codex:1180285] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1180285] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1180285] mcp startup: no servers
[codex:1180285] 
[codex:1180285] thinking
[codex:1180285] **Preparing to read instructions**
[codex:1180285] exec
[codex:1180285] /bin/bash -lc ls in /tmp/codex-multi-jim4rjh7 succeeded in 7ms:
[codex:1180285] AUDIT_BUNDLE.txt
[codex:1180285] codex-output-schema.json
[codex:1180285] contracts
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1180285] 
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/Errors.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285] 
[codex:1180285] /**
[codex:1180285]  * @notice Thrown when the operation is not authorized
[codex:1180285]  * @dev Signature "0x82b42900"
[codex:1180285]  */
[codex:1180285] error Unauthorized();
[codex:1180285] 
[codex:1180285] /**
[codex:1180285]  * @notice Thrown if the address supplied is not valid
[codex:1180285]  * @dev Signature "0xe6c4247b"
[codex:1180285]  */
[codex:1180285] error InvalidAddress();
[codex:1180285] 
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285]         return lockedAmount + pendingWithdrawalAmount;
[codex:1180285]     }
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @notice Returns the amount of ETH that is pending withdrawal from Lido
[codex:1180285]      * @return The amount of ETH pending withdrawal
[codex:1180285]      */
[codex:1180285]     function getPendingLidoETHAmount() public view virtual returns (uint256) {
[codex:1180285]         VaultStorage storage $ = _getPufferVaultStorage();
[codex:1180285]         return $.lidoLockedETH;
[codex:1180285]     }
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @notice Deposits stETH into `stETH EigenLayer strategy`
[codex:1180285]      * Restricted access
[codex:1180285]      * @param amount the amount of stETH to deposit
[codex:1180285]      */
[codex:1180285]     function depositToEigenLayer(uint256 amount) external virtual restricted {
[codex:1180285]         SafeERC20.safeIncreaseAllowance(_ST_ETH, address(_EIGEN_STRATEGY_MANAGER), amount);
[codex:1180285]         _EIGEN_STRATEGY_MANAGER.depositIntoStrategy({ strategy: _EIGEN_STETH_STRATEGY, token: _ST_ETH, amount: amount });
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285] import { IStrategy } from "./interface/EigenLayer/IStrategy.sol";
[codex:1180285] import { IDelegationManager } from "./interface/EigenLayer/IDelegationManager.sol";
[codex:1180285] import { IWETH } from "./interface/Other/IWETH.sol";
[codex:1180285] import { IPufferVaultV2 } from "./interface/IPufferVaultV2.sol";
[codex:1180285] import { IPufferOracle } from "./interface/IPufferOracle.sol";
[codex:1180285] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1180285] import { EnumerableMap } from "@openzeppelin/contracts/utils/structs/EnumerableMap.sol";
[codex:1180285] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:1180285] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1180285] import { EnumerableSet } from "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:1180285] 
[codex:1180285] /**
[codex:1180285]  * @title PufferVaultV2
[codex:1180285]  * @author Puffer Finance
[codex:1180285]  * @custom:security-contact security@puffer.fi
[codex:1180285]  */
[codex:1180285] contract PufferVaultV2 is PufferVault, IPufferVaultV2 {
[codex:1180285]     using SafeERC20 for address;
[codex:1180285]     using EnumerableMap for EnumerableMap.UintToUintMap;
[codex:1180285]     using EnumerableSet for EnumerableSet.Bytes32Set;
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285]     /**
[codex:1180285]      * @notice Calculates the maximum amount of assets (WETH) that can be withdrawn by the `owner`.
[codex:1180285]      * @dev This function considers both the remaining daily withdrawal limit and the `owner`'s balance.
[codex:1180285]      * See {IERC4626-maxWithdraw}
[codex:1180285]      * @param owner The address of the owner for which the maximum withdrawal amount is calculated.
[codex:1180285]      * @return maxAssets The maximum amount of assets that can be withdrawn by the `owner`.
[codex:1180285]      */
[codex:1180285]     function maxWithdraw(address owner) public view virtual override returns (uint256 maxAssets) {
[codex:1180285]         uint256 remainingAssets = getRemainingAssetsDailyWithdrawalLimit();
[codex:1180285]         uint256 maxUserAssets = previewRedeem(balanceOf(owner));
[codex:1180285]         return remainingAssets < maxUserAssets ? remainingAssets : maxUserAssets;
[codex:1180285]     }
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @notice Calculates the maximum amount of shares (pufETH) that can be redeemed by the `owner`.
[codex:1180285]      * @dev This function considers both the remaining daily withdrawal limit in terms of assets and converts it to shares, and the `owner`'s share balance.
[codex:1180285]      * See {IERC4626-maxRedeem}
[codex:1180285]      * @param owner The address of the owner for which the maximum redeemable shares are calculated.
[codex:1180285]      * @return maxShares The maximum amount of shares that can be redeemed by the `owner`.
[codex:1180285]      */
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285]     /**
[codex:1180285]      * @notice The batch size for the withdrawal manager
[codex:1180285]      * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285]      */
[codex:1180285]     PufferVaultV3 public immutable PUFFER_VAULT;
[codex:1180285]     /**
[codex:1180285]      * @notice The minimum withdrawal amount
[codex:1180285]      * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285]      */
[codex:1180285]     uint256 public constant MIN_WITHDRAWAL_AMOUNT = 0.01 ether;
[codex:1180285]     /**
[codex:1180285]      * @notice The WETH contract
[codex:1180285]      * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285]      */
[codex:1180285]     IWETH public immutable WETH;
[codex:1180285]     /**
[codex:1180285]      * @notice The batch size for the withdrawal manager
[codex:1180285]      * @custom:oz-upgrades-unsafe-allow state-variable-immutable
[codex:1180285]      */
[codex:1180285]     uint256 public immutable BATCH_SIZE;
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 6ms:
[codex:1180285]      * @dev +-----------------------------------------------------------+
[codex:1180285]      *      |                                                           |
[codex:1180285]      *      | DO NOT CHANGE, REORDER, REMOVE EXISTING STORAGE VARIABLES |
[codex:1180285]      *      |                                                           |
[codex:1180285]      *      +-----------------------------------------------------------+
[codex:1180285]      */
[codex:1180285]     struct WithdrawalBatch {
[codex:1180285]         uint64 pufETHToETHExchangeRate; // packed slot 0
[codex:1180285]         uint88 toBurn; // packed slot 0
[codex:1180285]         uint96 toTransfer; // packed slot 0
[codex:1180285]         uint128 withdrawalsClaimed; // packed slot 1
[codex:1180285]         uint128 amountClaimed; // packed slot 1
[codex:1180285]     }
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @custom:storage-location erc7201:WithdrawalManager.storage
[codex:1180285]      * @dev +-----------------------------------------------------------+
[codex:1180285]      *      |                                                           |
[codex:1180285]      *      | DO NOT CHANGE, REORDER, REMOVE EXISTING STORAGE VARIABLES |
[codex:1180285]      *      |                                                           |
[codex:1180285] 
[codex:1180285] thinking
[codex:1180285] **Completing audit file review**
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '2000,2400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @dev Thrown when a withdrawal attempt is made with invalid parameters
[codex:1180285]      */
[codex:1180285]     error InvalidWithdrawal();
[codex:1180285] }
[codex:1180285] 
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/interface/IPufferVaultV2.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285] 
[codex:1180285] import { IPufferVault } from "./IPufferVault.sol";
[codex:1180285] 
[codex:1180285] /**
[codex:1180285]  * @title IPufferVaultV2
[codex:1180285]  * @author Puffer Finance
[codex:1180285]  * @custom:security-contact security@puffer.fi
[codex:1180285]  */
[codex:1180285] exec
[codex:1180285] /bin/bash -lc "sed -n '2400,2800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-jim4rjh7 succeeded in 5ms:
[codex:1180285]     /**
[codex:1180285]      * @dev Process user deposit, mints liquid tokens and increase the pool buffer
[codex:1180285]      * @param _referral address of referral.
[codex:1180285]      * @return amount of StETH shares generated
[codex:1180285]      */
[codex:1180285]     function submit(address _referral) external payable returns (uint256);
[codex:1180285] 
[codex:1180285]     /**
[codex:1180285]      * @notice Returns the number of shares owned by `_account`
[codex:1180285]      */
[codex:1180285]     function sharesOf(address _account) external view returns (uint256);
[codex:1180285] }
[codex:1180285] 
[codex:1180285] ================================================================================
[codex:1180285] FILE: contracts/src/interface/Other/IWETH.sol
[codex:1180285] ================================================================================
[codex:1180285] // SPDX-License-Identifier: GPL-3.0
[codex:1180285] pragma solidity >=0.8.0 <0.9.0;
[codex:1180285] 
[codex:1180285] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1180285] 
[codex:1180285] 
[codex:1180285] 
[codex:1180285] 
[codex:1180285] 
[codex:1180285] 
[codex:1180285] thinking
[codex:1180285] **Analyzing potential exploit vectors**
[codex:1180285] thinking
[codex:1180285] **Evaluating withdrawal and oracle edge cases**
[codex:1180285] 
[codex:1180285] I'm considering various edge cases around withdrawal limits, oracle-influenced totalAssets, and reentrancy—especially how locking, balances, and reward accounting interact. There’s interesting potential with manipulating totalAssets via lidoLockedETH adjustments during Lido withdrawals, but external calls restrict attacker influence. I’m closely examining timing, access control, and whether deposit-withdraw combos or share price rounding might offer profit, though none clearly yield exploitable gains yet.
[codex:1180285] thinking
[codex:1180285] **Analyzing asset valuation and fee handling nuances**
[codex:1180285] 
[codex:1180285] I’m investigating how totalAssets valuation—especially oracle influence—affects request and finalization rates, and whether that can be manipulated to inflate withdrawal value. I’m also checking fee implementation in withdraw/redeem versus ETH wrapping to see if mismatches create issues. The complex interplay of access restrictions, transient storage, and ERC4626 overrides raises many possibilities, but no clear exploit emerges yet.
[codex:1180285] thinking
[codex:1180285] **Evaluating withdrawal rates and share minting edge cases**
[codex:1180285] 
[codex:1180285] I’m exploring if differences between request and batch rates in withdrawals create leftover ETH and how restricted functions guard against misuse. The “first depositor” scenario with pre-existing assets caught my eye as a plausible edge case, especially involving locked ETH and share calculation during upgrades. I’m also analyzing potential integer truncation in batch transfers, depositETH rounding nuances, and underflow risks in totalAssets calculations to assess subtle vulnerabilities or denial-of-service conditions.
[codex:1180285] thinking
[codex:1180285] **Analyzing reentrancy and permission nuances**
[codex:1180285] 
[codex:1180285] I’m sifting through potential reentrancy around WETH withdrawals and the interplay of deposit and withdrawal functions with access restrictions. The claim functions for Lido and EigenLayer caught my attention for their open calls, though they seem safe as ETH or tokens go to the vault, not the caller. I’m also checking upgrade initialization, allowance handling, and storage layout to spot subtle permission or logic gaps but finding no clear profit path.
[codex:1180285] thinking
[codex:1180285] **Preparing final results and output format**
[codex:1180285] 
[codex:1180285] I’m wrapping up the analysis by confirming no concrete profit exploits exist and ensuring the final output matches the requested JSON schema with a minimal summary and empty findings array.
[codex:1180285] codex
[codex:1180285] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
[codex:1180285] tokens used
[codex:1180285] 49,759
[codex:1180285] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contracts.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-02T15:57:11.064799+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
13
EXT*/BALANCE
10
Total opcodes
6494
Flags
delegatecall_present 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 0x0134
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x9ce7f670
00000018: GT
00000019: PUSH2 0x00a8
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xbb21fd3d
00000023: GT
00000024: PUSH2 0x006d
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xbb21fd3d
0000002e: EQ
0000002f: PUSH2 0x0479
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xbf7e214f
00000039: EQ
0000003a: PUSH2 0x0498
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xc4d66de8
00000044: EQ
00000045: PUSH2 0x04ac
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xd3e5792b
0000004f: EQ
00000050: PUSH2 0x04cb
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xecb613ff
0000005a: EQ
0000005b: PUSH2 0x04e5
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xef027fbf
00000065: EQ
00000066: PUSH2 0x0504
00000069: JUMPI
0000006a: PUSH0
0000006b: PUSH0
0000006c: REVERT
0000006d: JUMPDEST
0000006e: DUP1
0000006f: PUSH4 0x9ce7f670
00000074: EQ
00000075: PUSH2 0x03ab
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xa231d21b
0000007f: EQ
00000080: PUSH2 0x03cb
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0xad3cb1cc
0000008a: EQ
0000008b: PUSH2 0x03ea
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0xad5c4648
00000095: EQ
00000096: PUSH2 0x0427
00000099: JUMPI
0000009a: DUP1
0000009b: PUSH4 0xb3a6cf6c
000000a0: EQ
000000a1: PUSH2 0x045a
000000a4: JUMPI
000000a5: PUSH0
000000a6: PUSH0
000000a7: REVERT
000000a8: JUMPDEST
000000a9: DUP1
000000aa: PUSH4 0x5ac44282
000000af: GT
000000b0: PUSH2 0x00f9
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x5ac44282
000000ba: EQ
000000bb: PUSH2 0x0228
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x6a4800a4
000000c5: EQ
000000c6: PUSH2 0x02b5
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x7a9e5e4b
000000d0: EQ
000000d1: PUSH2 0x02d4
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x8a4fb16a
000000db: EQ
000000dc: PUSH2 0x02f3
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x8fb36037
000000e6: EQ
000000e7: PUSH2 0x034b
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x90294b42
000000f1: EQ
000000f2: PUSH2 0x0378
000000f5: JUMPI
000000f6: PUSH0
000000f7: PUSH0
000000f8: REVERT
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x2d9b7f4d
00000100: EQ
00000101: PUSH2 0x013f
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3e68b094
0000010b: EQ
0000010c: PUSH2 0x0181
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x49faa4d4
00000116: EQ
00000117: PUSH2 0x01cc
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x4f1ef286
00000121: EQ
00000122: PUSH2 0x01ff
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x52d1902d
0000012c: EQ
0000012d: PUSH2 0x0214
00000130: JUMPI
00000131: PUSH0
00000132: PUSH0
00000133: REVERT
00000134: JUMPDEST
00000135: CALLDATASIZE
00000136: PUSH2 0x013b
00000139: JUMPI
0000013a: STOP
0000013b: JUMPDEST
0000013c: PUSH0
0000013d: PUSH0
0000013e: REVERT
0000013f: JUMPDEST
00000140: CALLVALUE
00000141: DUP1
00000142: ISZERO
00000143: PUSH2 0x014a
00000146: JUMPI
00000147: PUSH0
00000148: PUSH0
00000149: REVERT
0000014a: JUMPDEST
0000014b: POP
0000014c: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102
0000016d: SLOAD
0000016e: JUMPDEST
0000016f: PUSH1 0x40
00000171: MLOAD
00000172: SWAP1
00000173: DUP2
00000174: MSTORE
00000175: PUSH1 0x20
00000177: ADD
00000178: JUMPDEST
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: CALLVALUE
00000183: DUP1
00000184: ISZERO
00000185: PUSH2 0x018c
00000188: JUMPI
00000189: PUSH0
0000018a: PUSH0
0000018b: REVERT
0000018c: JUMPDEST
0000018d: POP
0000018e: PUSH2 0x01b4
00000191: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
000001b2: DUP2
000001b3: JUMP
000001b4: JUMPDEST
000001b5: PUSH1 0x40
000001b7: MLOAD
000001b8: PUSH1 0x01
000001ba: PUSH1 0x01
000001bc: PUSH1 0xa0
000001be: SHL
000001bf: SUB
000001c0: SWAP1
000001c1: SWAP2
000001c2: AND
000001c3: DUP2
000001c4: MSTORE
000001c5: PUSH1 0x20
000001c7: ADD
000001c8: PUSH2 0x0178
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d7
000001d3: JUMPI
000001d4: PUSH0
000001d5: PUSH0
000001d6: REVERT
000001d7: JUMPDEST
000001d8: POP
000001d9: PUSH2 0x016e
000001dc: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
000001fd: DUP2
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH2 0x0212
00000203: PUSH2 0x020d
00000206: CALLDATASIZE
00000207: PUSH1 0x04
00000209: PUSH2 0x2249
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH2 0x0523
00000211: JUMP
00000212: JUMPDEST
00000213: STOP
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x021f
0000021b: JUMPI
0000021c: PUSH0
0000021d: PUSH0
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x016e
00000224: PUSH2 0x0542
00000227: JUMP
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0233
0000022f: JUMPI
00000230: PUSH0
00000231: PUSH0
00000232: REVERT
00000233: JUMPDEST
00000234: POP
00000235: PUSH2 0x0247
00000238: PUSH2 0x0242
0000023b: CALLDATASIZE
0000023c: PUSH1 0x04
0000023e: PUSH2 0x230a
00000241: JUMP
00000242: JUMPDEST
00000243: PUSH2 0x055d
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: PUSH2 0x0178
0000024e: SWAP2
0000024f: SWAP1
00000250: PUSH0
00000251: PUSH1 0xa0
00000253: DUP3
00000254: ADD
00000255: SWAP1
00000256: POP
00000257: PUSH1 0x01
00000259: PUSH1 0x01
0000025b: PUSH1 0x40
0000025d: SHL
0000025e: SUB
0000025f: DUP4
00000260: MLOAD
00000261: AND
00000262: DUP3
00000263: MSTORE
00000264: PUSH1 0x01
00000266: PUSH1 0x01
00000268: PUSH1 0x58
0000026a: SHL
0000026b: SUB
0000026c: PUSH1 0x20
0000026e: DUP5
0000026f: ADD
00000270: MLOAD
00000271: AND
00000272: PUSH1 0x20
00000274: DUP4
00000275: ADD
00000276: MSTORE
00000277: PUSH1 0x01
00000279: PUSH1 0x01
0000027b: PUSH1 0x60
0000027d: SHL
0000027e: SUB
0000027f: PUSH1 0x40
00000281: DUP5
00000282: ADD
00000283: MLOAD
00000284: AND
00000285: PUSH1 0x40
00000287: DUP4
00000288: ADD
00000289: MSTORE
0000028a: PUSH1 0x01
0000028c: PUSH1 0x01
0000028e: PUSH1 0x80
00000290: SHL
00000291: SUB
00000292: PUSH1 0x60
00000294: DUP5
00000295: ADD
00000296: MLOAD
00000297: AND
00000298: PUSH1 0x60
0000029a: DUP4
0000029b: ADD
0000029c: MSTORE
0000029d: PUSH1 0x01
0000029f: PUSH1 0x01
000002a1: PUSH1 0x80
000002a3: SHL
000002a4: SUB
000002a5: PUSH1 0x80
000002a7: DUP5
000002a8: ADD
000002a9: MLOAD
000002aa: AND
000002ab: PUSH1 0x80
000002ad: DUP4
000002ae: ADD
000002af: MSTORE
000002b0: SWAP3
000002b1: SWAP2
000002b2: POP
000002b3: POP
000002b4: JUMP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c0
000002bc: JUMPI
000002bd: PUSH0
000002be: PUSH0
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x0212
000002c5: PUSH2 0x02cf
000002c8: CALLDATASIZE
000002c9: PUSH1 0x04
000002cb: PUSH2 0x230a
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x0686
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02df
000002db: JUMPI
000002dc: PUSH0
000002dd: PUSH0
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x0212
000002e4: PUSH2 0x02ee
000002e7: CALLDATASIZE
000002e8: PUSH1 0x04
000002ea: PUSH2 0x2321
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH2 0x0a39
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02fe
000002fa: JUMPI
000002fb: PUSH0
000002fc: PUSH0
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH2 0x0312
00000303: PUSH2 0x030d
00000306: CALLDATASIZE
00000307: PUSH1 0x04
00000309: PUSH2 0x230a
0000030c: JUMP
0000030d: JUMPDEST
0000030e: PUSH2 0x0ac0
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH1 0x40
00000315: DUP1
00000316: MLOAD
00000317: DUP3
00000318: MLOAD
00000319: PUSH1 0x01
0000031b: PUSH1 0x01
0000031d: PUSH1 0x80
0000031f: SHL
00000320: SUB
00000321: SWAP1
00000322: DUP2
00000323: AND
00000324: DUP3
00000325: MSTORE
00000326: PUSH1 0x20
00000328: DUP1
00000329: DUP6
0000032a: ADD
0000032b: MLOAD
0000032c: SWAP1
0000032d: SWAP2
0000032e: AND
0000032f: SWAP1
00000330: DUP3
00000331: ADD
00000332: MSTORE
00000333: SWAP2
00000334: DUP2
00000335: ADD
00000336: MLOAD
00000337: PUSH1 0x01
00000339: PUSH1 0x01
0000033b: PUSH1 0xa0
0000033d: SHL
0000033e: SUB
0000033f: AND
00000340: SWAP1
00000341: DUP3
00000342: ADD
00000343: MSTORE
00000344: PUSH1 0x60
00000346: ADD
00000347: PUSH2 0x0178
0000034a: JUMP
0000034b: JUMPDEST
0000034c: CALLVALUE
0000034d: DUP1
0000034e: ISZERO
0000034f: PUSH2 0x0356
00000352: JUMPI
00000353: PUSH0
00000354: PUSH0
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH2 0x035f
0000035b: PUSH2 0x0ba3
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH1 0x40
00000362: MLOAD
00000363: PUSH1 0x01
00000365: PUSH1 0x01
00000367: PUSH1 0xe0
00000369: SHL
0000036a: SUB
0000036b: NOT
0000036c: SWAP1
0000036d: SWAP2
0000036e: AND
0000036f: DUP2
00000370: MSTORE
00000371: PUSH1 0x20
00000373: ADD
00000374: PUSH2 0x0178
00000377: JUMP
00000378: JUMPDEST
00000379: CALLVALUE
0000037a: DUP1
0000037b: ISZERO
0000037c: PUSH2 0x0383
0000037f: JUMPI
00000380: PUSH0
00000381: PUSH0
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e101
000003a6: SLOAD
000003a7: PUSH2 0x016e
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b6
000003b2: JUMPI
000003b3: PUSH0
000003b4: PUSH0
000003b5: REVERT
000003b6: JUMPDEST
000003b7: POP
000003b8: PUSH0
000003b9: MLOAD
000003ba: PUSH1 0x20
000003bc: PUSH2 0x273b
000003bf: PUSH0
000003c0: CODECOPY
000003c1: PUSH0
000003c2: MLOAD
000003c3: SWAP1
000003c4: PUSH0
000003c5: MSTORE
000003c6: SLOAD
000003c7: PUSH2 0x016e
000003ca: JUMP
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d6
000003d2: JUMPI
000003d3: PUSH0
000003d4: PUSH0
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH2 0x0212
000003db: PUSH2 0x03e5
000003de: CALLDATASIZE
000003df: PUSH1 0x04
000003e1: PUSH2 0x233a
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH2 0x0bd9
000003e9: JUMP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f5
000003f1: JUMPI
000003f2: PUSH0
000003f3: PUSH0
000003f4: REVERT
000003f5: JUMPDEST
000003f6: POP
000003f7: PUSH2 0x041a
000003fa: PUSH1 0x40
000003fc: MLOAD
000003fd: DUP1
000003fe: PUSH1 0x40
00000400: ADD
00000401: PUSH1 0x40
00000403: MSTORE
00000404: DUP1
00000405: PUSH1 0x05
00000407: DUP2
00000408: MSTORE
00000409: PUSH1 0x20
0000040b: ADD
0000040c: PUSH5 0x0352e302e3
00000412: PUSH1 0xdc
00000414: SHL
00000415: DUP2
00000416: MSTORE
00000417: POP
00000418: DUP2
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH1 0x40
0000041d: MLOAD
0000041e: PUSH2 0x0178
00000421: SWAP2
00000422: SWAP1
00000423: PUSH2 0x2372
00000426: JUMP
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0432
0000042e: JUMPI
0000042f: PUSH0
00000430: PUSH0
00000431: REVERT
00000432: JUMPDEST
00000433: POP
00000434: PUSH2 0x01b4
00000437: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000458: DUP2
00000459: JUMP
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0465
00000461: JUMPI
00000462: PUSH0
00000463: PUSH0
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x0212
0000046a: PUSH2 0x0474
0000046d: CALLDATASIZE
0000046e: PUSH1 0x04
00000470: PUSH2 0x230a
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH2 0x0cba
00000478: JUMP
00000479: JUMPDEST
0000047a: CALLVALUE
0000047b: DUP1
0000047c: ISZERO
0000047d: PUSH2 0x0484
00000480: JUMPI
00000481: PUSH0
00000482: PUSH0
00000483: REVERT
00000484: JUMPDEST
00000485: POP
00000486: PUSH2 0x0212
00000489: PUSH2 0x0493
0000048c: CALLDATASIZE
0000048d: PUSH1 0x04
0000048f: PUSH2 0x230a
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH2 0x0fe1
00000497: JUMP
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a3
0000049f: JUMPI
000004a0: PUSH0
000004a1: PUSH0
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x01b4
000004a8: PUSH2 0x105d
000004ab: JUMP
000004ac: JUMPDEST
000004ad: CALLVALUE
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04b7
000004b3: JUMPI
000004b4: PUSH0
000004b5: PUSH0
000004b6: REVERT
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH2 0x0212
000004bc: PUSH2 0x04c6
000004bf: CALLDATASIZE
000004c0: PUSH1 0x04
000004c2: PUSH2 0x2321
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH2 0x1078
000004ca: JUMP
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: DUP1
000004ce: ISZERO
000004cf: PUSH2 0x04d6
000004d2: JUMPI
000004d3: PUSH0
000004d4: PUSH0
000004d5: REVERT
000004d6: JUMPDEST
000004d7: POP
000004d8: PUSH2 0x016e
000004db: PUSH7 0x2386f26fc10000
000004e3: DUP2
000004e4: JUMP
000004e5: JUMPDEST
000004e6: CALLVALUE
000004e7: DUP1
000004e8: ISZERO
000004e9: PUSH2 0x04f0
000004ec: JUMPI
000004ed: PUSH0
000004ee: PUSH0
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x0212
000004f5: PUSH2 0x04ff
000004f8: CALLDATASIZE
000004f9: PUSH1 0x04
000004fb: PUSH2 0x23a7
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH2 0x130a
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x050f
0000050b: JUMPI
0000050c: PUSH0
0000050d: PUSH0
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x0212
00000514: PUSH2 0x051e
00000517: CALLDATASIZE
00000518: PUSH1 0x04
0000051a: PUSH2 0x2416
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH2 0x1586
00000522: JUMP
00000523: JUMPDEST
00000524: PUSH2 0x052b
00000527: PUSH2 0x1599
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH2 0x0534
0000052f: DUP3
00000530: PUSH2 0x163f
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x053e
00000538: DUP3
00000539: DUP3
0000053a: PUSH2 0x16eb
0000053d: JUMP
0000053e: JUMPDEST
0000053f: POP
00000540: POP
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH0
00000544: PUSH2 0x054b
00000547: PUSH2 0x17ac
0000054a: JUMP
0000054b: JUMPDEST
0000054c: POP
0000054d: PUSH0
0000054e: MLOAD
0000054f: PUSH1 0x20
00000551: PUSH2 0x271b
00000554: PUSH0
00000555: CODECOPY
00000556: PUSH0
00000557: MLOAD
00000558: SWAP1
00000559: PUSH0
0000055a: MSTORE
0000055b: SWAP1
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH1 0x40
00000560: DUP1
00000561: MLOAD
00000562: PUSH1 0xa0
00000564: DUP2
00000565: ADD
00000566: DUP3
00000567: MSTORE
00000568: PUSH0
00000569: DUP1
0000056a: DUP3
0000056b: MSTORE
0000056c: PUSH1 0x20
0000056e: DUP3
0000056f: ADD
00000570: DUP2
00000571: SWAP1
00000572: MSTORE
00000573: SWAP2
00000574: DUP2
00000575: ADD
00000576: DUP3
00000577: SWAP1
00000578: MSTORE
00000579: PUSH1 0x60
0000057b: DUP2
0000057c: ADD
0000057d: DUP3
0000057e: SWAP1
0000057f: MSTORE
00000580: PUSH1 0x80
00000582: DUP2
00000583: ADD
00000584: SWAP2
00000585: SWAP1
00000586: SWAP2
00000587: MSTORE
00000588: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e103
000005a9: SLOAD
000005aa: PUSH0
000005ab: MLOAD
000005ac: PUSH1 0x20
000005ae: PUSH2 0x273b
000005b1: PUSH0
000005b2: CODECOPY
000005b3: PUSH0
000005b4: MLOAD
000005b5: SWAP1
000005b6: PUSH0
000005b7: MSTORE
000005b8: SWAP1
000005b9: DUP4
000005ba: LT
000005bb: PUSH2 0x05ef
000005be: JUMPI
000005bf: POP
000005c0: POP
000005c1: PUSH1 0x40
000005c3: DUP1
000005c4: MLOAD
000005c5: PUSH1 0xa0
000005c7: DUP2
000005c8: ADD
000005c9: DUP3
000005ca: MSTORE
000005cb: PUSH0
000005cc: DUP1
000005cd: DUP3
000005ce: MSTORE
000005cf: PUSH1 0x20
000005d1: DUP3
000005d2: ADD
000005d3: DUP2
000005d4: SWAP1
000005d5: MSTORE
000005d6: SWAP2
000005d7: DUP2
000005d8: ADD
000005d9: DUP3
000005da: SWAP1
000005db: MSTORE
000005dc: PUSH1 0x60
000005de: DUP2
000005df: ADD
000005e0: DUP3
000005e1: SWAP1
000005e2: MSTORE
000005e3: PUSH1 0x80
000005e5: DUP2
000005e6: ADD
000005e7: SWAP2
000005e8: SWAP1
000005e9: SWAP2
000005ea: MSTORE
000005eb: SWAP2
000005ec: SWAP1
000005ed: POP
000005ee: JUMP
000005ef: JUMPDEST
000005f0: DUP1
000005f1: PUSH1 0x03
000005f3: ADD
000005f4: DUP4
000005f5: DUP2
000005f6: SLOAD
000005f7: DUP2
000005f8: LT
000005f9: PUSH2 0x0604
000005fc: JUMPI
000005fd: PUSH2 0x0604
00000600: PUSH2 0x244b
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH0
00000606: SWAP2
00000607: DUP3
00000608: MSTORE
00000609: PUSH1 0x20
0000060b: SWAP2
0000060c: DUP3
0000060d: SWAP1
0000060e: KECCAK256
0000060f: PUSH1 0x40
00000611: DUP1
00000612: MLOAD
00000613: PUSH1 0xa0
00000615: DUP2
00000616: ADD
00000617: DUP3
00000618: MSTORE
00000619: PUSH1 0x02
0000061b: SWAP4
0000061c: SWAP1
0000061d: SWAP4
0000061e: MUL
0000061f: SWAP1
00000620: SWAP2
00000621: ADD
00000622: DUP1
00000623: SLOAD
00000624: PUSH1 0x01
00000626: PUSH1 0x01
00000628: PUSH1 0x40
0000062a: SHL
0000062b: SUB
0000062c: DUP2
0000062d: AND
0000062e: DUP5
0000062f: MSTORE
00000630: PUSH1 0x01
00000632: PUSH1 0x40
00000634: SHL
00000635: DUP2
00000636: DIV
00000637: PUSH1 0x01
00000639: PUSH1 0x01
0000063b: PUSH1 0x58
0000063d: SHL
0000063e: SUB
0000063f: AND
00000640: SWAP5
00000641: DUP5
00000642: ADD
00000643: SWAP5
00000644: SWAP1
00000645: SWAP5
00000646: MSTORE
00000647: PUSH1 0x01
00000649: PUSH1 0x98
0000064b: SHL
0000064c: SWAP1
0000064d: SWAP4
0000064e: DIV
0000064f: PUSH1 0x01
00000651: PUSH1 0x01
00000653: PUSH1 0x60
00000655: SHL
00000656: SUB
00000657: AND
00000658: SWAP1
00000659: DUP3
0000065a: ADD
0000065b: MSTORE
0000065c: PUSH1 0x01
0000065e: SWAP1
0000065f: SWAP2
00000660: ADD
00000661: SLOAD
00000662: PUSH1 0x01
00000664: PUSH1 0x01
00000666: PUSH1 0x80
00000668: SHL
00000669: SUB
0000066a: DUP1
0000066b: DUP3
0000066c: AND
0000066d: PUSH1 0x60
0000066f: DUP5
00000670: ADD
00000671: MSTORE
00000672: PUSH1 0x01
00000674: PUSH1 0x80
00000676: SHL
00000677: SWAP1
00000678: SWAP2
00000679: DIV
0000067a: AND
0000067b: PUSH1 0x80
0000067d: DUP3
0000067e: ADD
0000067f: MSTORE
00000680: SWAP4
00000681: SWAP3
00000682: POP
00000683: POP
00000684: POP
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH2 0x0692
0000068a: CALLER
0000068b: JUMPDEST
0000068c: PUSH0
0000068d: CALLDATASIZE
0000068e: PUSH2 0x17f5
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH0
00000694: MLOAD
00000695: PUSH1 0x20
00000697: PUSH2 0x273b
0000069a: PUSH0
0000069b: CODECOPY
0000069c: PUSH0
0000069d: MLOAD
0000069e: SWAP1
0000069f: PUSH0
000006a0: MSTORE
000006a1: PUSH0
000006a2: PUSH2 0x06cb
000006a5: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
000006c6: DUP5
000006c7: PUSH2 0x2473
000006ca: JUMP
000006cb: JUMPDEST
000006cc: SWAP1
000006cd: POP
000006ce: DUP2
000006cf: PUSH1 0x01
000006d1: ADD
000006d2: SLOAD
000006d3: DUP2
000006d4: GT
000006d5: ISZERO
000006d6: PUSH2 0x06f2
000006d9: JUMPI
000006da: PUSH1 0x40
000006dc: MLOAD
000006dd: PUSH4 0x0df706ad
000006e2: PUSH1 0xe1
000006e4: SHL
000006e5: DUP2
000006e6: MSTORE
000006e7: PUSH1 0x04
000006e9: ADD
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: DUP1
000006ee: SWAP2
000006ef: SUB
000006f0: SWAP1
000006f1: REVERT
000006f2: JUMPDEST
000006f3: PUSH0
000006f4: DUP3
000006f5: PUSH1 0x02
000006f7: ADD
000006f8: DUP5
000006f9: DUP2
000006fa: SLOAD
000006fb: DUP2
000006fc: LT
000006fd: PUSH2 0x0708
00000700: JUMPI
00000701: PUSH2 0x0708
00000704: PUSH2 0x244b
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH0
0000070a: SWAP2
0000070b: DUP3
0000070c: MSTORE
0000070d: PUSH1 0x20
0000070f: SWAP1
00000710: SWAP2
00000711: KECCAK256
00000712: PUSH1 0x02
00000714: SWAP1
00000715: SWAP2
00000716: MUL
00000717: ADD
00000718: PUSH1 0x01
0000071a: DUP2
0000071b: ADD
0000071c: SLOAD
0000071d: SWAP1
0000071e: SWAP2
0000071f: POP
00000720: PUSH1 0x01
00000722: PUSH1 0x01
00000724: PUSH1 0xa0
00000726: SHL
00000727: SUB
00000728: AND
00000729: PUSH2 0x0745
0000072c: JUMPI
0000072d: PUSH1 0x40
0000072f: MLOAD
00000730: PUSH4 0x55780d0f
00000735: PUSH1 0xe1
00000737: SHL
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x04
0000073c: ADD
0000073d: PUSH1 0x40
0000073f: MLOAD
00000740: DUP1
00000741: SWAP2
00000742: SUB
00000743: SWAP1
00000744: REVERT
00000745: JUMPDEST
00000746: PUSH0
00000747: DUP4
00000748: PUSH1 0x03
0000074a: ADD
0000074b: DUP4
0000074c: DUP2
0000074d: SLOAD
0000074e: DUP2
0000074f: LT
00000750: PUSH2 0x075b
00000753: JUMPI
00000754: PUSH2 0x075b
00000757: PUSH2 0x244b
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH0
0000075d: SWAP2
0000075e: DUP3
0000075f: MSTORE
00000760: PUSH1 0x20
00000762: DUP3
00000763: KECCAK256
00000764: PUSH1 0x02
00000766: SWAP1
00000767: SWAP2
00000768: MUL
00000769: ADD
0000076a: SLOAD
0000076b: DUP4
0000076c: SLOAD
0000076d: PUSH1 0x01
0000076f: PUSH1 0x01
00000771: PUSH1 0x40
00000773: SHL
00000774: SUB
00000775: SWAP1
00000776: SWAP2
00000777: AND
00000778: SWAP3
00000779: POP
0000077a: PUSH2 0x0794
0000077d: SWAP1
0000077e: PUSH1 0x01
00000780: PUSH1 0x01
00000782: PUSH1 0x80
00000784: SHL
00000785: SUB
00000786: PUSH1 0x01
00000788: PUSH1 0x80
0000078a: SHL
0000078b: SWAP1
0000078c: SWAP2
0000078d: DIV
0000078e: AND
0000078f: DUP4
00000790: PUSH2 0x18eb
00000793: JUMP
00000794: JUMPDEST
00000795: DUP4
00000796: SLOAD
00000797: SWAP1
00000798: SWAP2
00000799: POP
0000079a: PUSH0
0000079b: SWAP1
0000079c: PUSH8 0x0de0b6b3a7640000
000007a5: SWAP1
000007a6: PUSH2 0x07b9
000007a9: SWAP1
000007aa: DUP5
000007ab: SWAP1
000007ac: PUSH1 0x01
000007ae: PUSH1 0x01
000007b0: PUSH1 0x80
000007b2: SHL
000007b3: SUB
000007b4: AND
000007b5: PUSH2 0x2492
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH2 0x07c3
000007bd: SWAP2
000007be: SWAP1
000007bf: PUSH2 0x2473
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x01
000007c6: DUP6
000007c7: ADD
000007c8: SLOAD
000007c9: PUSH1 0x03
000007cb: DUP9
000007cc: ADD
000007cd: DUP1
000007ce: SLOAD
000007cf: SWAP3
000007d0: SWAP4
000007d1: POP
000007d2: PUSH1 0x01
000007d4: PUSH1 0x01
000007d6: PUSH1 0xa0
000007d8: SHL
000007d9: SUB
000007da: SWAP1
000007db: SWAP2
000007dc: AND
000007dd: SWAP2
000007de: DUP8
000007df: SWAP1
000007e0: DUP2
000007e1: LT
000007e2: PUSH2 0x07ed
000007e5: JUMPI
000007e6: PUSH2 0x07ed
000007e9: PUSH2 0x244b
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH0
000007ef: SWAP2
000007f0: DUP3
000007f1: MSTORE
000007f2: PUSH1 0x20
000007f4: DUP3
000007f5: KECCAK256
000007f6: PUSH1 0x01
000007f8: PUSH1 0x02
000007fa: SWAP1
000007fb: SWAP3
000007fc: MUL
000007fd: ADD
000007fe: ADD
000007ff: DUP1
00000800: SLOAD
00000801: SWAP1
00000802: SWAP2
00000803: SWAP1
00000804: PUSH2 0x0815
00000807: SWAP1
00000808: PUSH1 0x01
0000080a: PUSH1 0x01
0000080c: PUSH1 0x80
0000080e: SHL
0000080f: SUB
00000810: AND
00000811: PUSH2 0x24a9
00000814: JUMP
00000815: JUMPDEST
00000816: SWAP2
00000817: SWAP1
00000818: PUSH2 0x0100
0000081b: EXP
0000081c: DUP2
0000081d: SLOAD
0000081e: DUP2
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0x80
00000825: SHL
00000826: SUB
00000827: MUL
00000828: NOT
00000829: AND
0000082a: SWAP1
0000082b: DUP4
0000082c: PUSH1 0x01
0000082e: PUSH1 0x01
00000830: PUSH1 0x80
00000832: SHL
00000833: SUB
00000834: AND
00000835: MUL
00000836: OR
00000837: SWAP1
00000838: SSTORE
00000839: POP
0000083a: PUSH2 0x0842
0000083d: DUP3
0000083e: PUSH2 0x1904
00000841: JUMP
00000842: JUMPDEST
00000843: DUP8
00000844: PUSH1 0x03
00000846: ADD
00000847: DUP8
00000848: DUP2
00000849: SLOAD
0000084a: DUP2
0000084b: LT
0000084c: PUSH2 0x0857
0000084f: JUMPI
00000850: PUSH2 0x0857
00000853: PUSH2 0x244b
00000856: JUMP
00000857: JUMPDEST
00000858: SWAP1
00000859: PUSH0
0000085a: MSTORE
0000085b: PUSH1 0x20
0000085d: PUSH0
0000085e: KECCAK256
0000085f: SWAP1
00000860: PUSH1 0x02
00000862: MUL
00000863: ADD
00000864: PUSH1 0x01
00000866: ADD
00000867: PUSH1 0x10
00000869: DUP3
0000086a: DUP3
0000086b: DUP3
0000086c: SWAP1
0000086d: SLOAD
0000086e: SWAP1
0000086f: PUSH2 0x0100
00000872: EXP
00000873: SWAP1
00000874: DIV
00000875: PUSH1 0x01
00000877: PUSH1 0x01
00000879: PUSH1 0x80
0000087b: SHL
0000087c: SUB
0000087d: AND
0000087e: PUSH2 0x0887
00000881: SWAP2
00000882: SWAP1
00000883: PUSH2 0x24d3
00000886: JUMP
00000887: JUMPDEST
00000888: SWAP3
00000889: POP
0000088a: PUSH2 0x0100
0000088d: EXP
0000088e: DUP2
0000088f: SLOAD
00000890: DUP2
00000891: PUSH1 0x01
00000893: PUSH1 0x01
00000895: PUSH1 0x80
00000897: SHL
00000898: SUB
00000899: MUL
0000089a: NOT
0000089b: AND
0000089c: SWAP1
0000089d: DUP4
0000089e: PUSH1 0x01
000008a0: PUSH1 0x01
000008a2: PUSH1 0x80
000008a4: SHL
000008a5: SUB
000008a6: AND
000008a7: MUL
000008a8: OR
000008a9: SWAP1
000008aa: SSTORE
000008ab: POP
000008ac: DUP7
000008ad: PUSH1 0x02
000008af: ADD
000008b0: DUP9
000008b1: DUP2
000008b2: SLOAD
000008b3: DUP2
000008b4: LT
000008b5: PUSH2 0x08c0
000008b8: JUMPI
000008b9: PUSH2 0x08c0
000008bc: PUSH2 0x244b
000008bf: JUMP
000008c0: JUMPDEST
000008c1: PUSH0
000008c2: SWAP2
000008c3: DUP3
000008c4: MSTORE
000008c5: PUSH1 0x20
000008c7: DUP3
000008c8: KECCAK256
000008c9: PUSH1 0x02
000008cb: SWAP1
000008cc: SWAP2
000008cd: MUL
000008ce: ADD
000008cf: DUP2
000008d0: DUP2
000008d1: SSTORE
000008d2: PUSH1 0x01
000008d4: ADD
000008d5: DUP1
000008d6: SLOAD
000008d7: PUSH1 0x01
000008d9: PUSH1 0x01
000008db: PUSH1 0xa0
000008dd: SHL
000008de: SUB
000008df: NOT
000008e0: AND
000008e1: SWAP1
000008e2: SSTORE
000008e3: PUSH1 0x40
000008e5: DUP1
000008e6: MLOAD
000008e7: PUSH4 0x0d0e30db
000008ec: PUSH1 0xe4
000008ee: SHL
000008ef: DUP2
000008f0: MSTORE
000008f1: SWAP1
000008f2: MLOAD
000008f3: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000914: PUSH1 0x01
00000916: PUSH1 0x01
00000918: PUSH1 0xa0
0000091a: SHL
0000091b: SUB
0000091c: AND
0000091d: SWAP3
0000091e: PUSH4 0xd0e30db0
00000923: SWAP3
00000924: DUP7
00000925: SWAP3
00000926: PUSH1 0x04
00000928: DUP1
00000929: DUP4
0000092a: ADD
0000092b: SWAP4
0000092c: SWAP3
0000092d: DUP3
0000092e: SWAP1
0000092f: SUB
00000930: ADD
00000931: DUP2
00000932: DUP6
00000933: DUP9
00000934: DUP1
00000935: EXTCODESIZE
00000936: ISZERO
00000937: DUP1
00000938: ISZERO
00000939: PUSH2 0x0940
0000093c: JUMPI
0000093d: PUSH0
0000093e: PUSH0
0000093f: REVERT
00000940: JUMPDEST
00000941: POP
00000942: GAS
00000943: CALL
00000944: ISZERO
00000945: DUP1
00000946: ISZERO
00000947: PUSH2 0x0952
0000094a: JUMPI
0000094b: RETURNDATASIZE
0000094c: PUSH0
0000094d: PUSH0
0000094e: RETURNDATACOPY
0000094f: RETURNDATASIZE
00000950: PUSH0
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: POP
00000955: PUSH1 0x40
00000957: MLOAD
00000958: PUSH4 0xa9059cbb
0000095d: PUSH1 0xe0
0000095f: SHL
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x01
00000964: PUSH1 0x01
00000966: PUSH1 0xa0
00000968: SHL
00000969: SUB
0000096a: DUP6
0000096b: DUP2
0000096c: AND
0000096d: PUSH1 0x04
0000096f: DUP4
00000970: ADD
00000971: MSTORE
00000972: PUSH1 0x24
00000974: DUP3
00000975: ADD
00000976: DUP8
00000977: SWAP1
00000978: MSTORE
00000979: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
0000099a: AND
0000099b: SWAP4
0000099c: POP
0000099d: PUSH4 0xa9059cbb
000009a2: SWAP3
000009a3: POP
000009a4: PUSH1 0x44
000009a6: ADD
000009a7: SWAP1
000009a8: POP
000009a9: PUSH1 0x20
000009ab: PUSH1 0x40
000009ad: MLOAD
000009ae: DUP1
000009af: DUP4
000009b0: SUB
000009b1: DUP2
000009b2: PUSH0
000009b3: DUP8
000009b4: GAS
000009b5: CALL
000009b6: ISZERO
000009b7: DUP1
000009b8: ISZERO
000009b9: PUSH2 0x09c4
000009bc: JUMPI
000009bd: RETURNDATASIZE
000009be: PUSH0
000009bf: PUSH0
000009c0: RETURNDATACOPY
000009c1: RETURNDATASIZE
000009c2: PUSH0
000009c3: REVERT
000009c4: JUMPDEST
000009c5: POP
000009c6: POP
000009c7: POP
000009c8: POP
000009c9: PUSH1 0x40
000009cb: MLOAD
000009cc: RETURNDATASIZE
000009cd: PUSH1 0x1f
000009cf: NOT
000009d0: PUSH1 0x1f
000009d2: DUP3
000009d3: ADD
000009d4: AND
000009d5: DUP3
000009d6: ADD
000009d7: DUP1
000009d8: PUSH1 0x40
000009da: MSTORE
000009db: POP
000009dc: DUP2
000009dd: ADD
000009de: SWAP1
000009df: PUSH2 0x09e8
000009e2: SWAP2
000009e3: SWAP1
000009e4: PUSH2 0x2501
000009e7: JUMP
000009e8: JUMPDEST
000009e9: POP
000009ea: PUSH1 0x40
000009ec: DUP1
000009ed: MLOAD
000009ee: DUP4
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: DUP2
000009f4: ADD
000009f5: DUP6
000009f6: SWAP1
000009f7: MSTORE
000009f8: PUSH1 0x01
000009fa: PUSH1 0x01
000009fc: PUSH1 0xa0
000009fe: SHL
000009ff: SUB
00000a00: DUP4
00000a01: AND
00000a02: SWAP2
00000a03: DUP11
00000a04: SWAP2
00000a05: PUSH32 0x0c2a147edace3ecd219b47541b15983312439ba5097047dba3affdaef156f19b
00000a26: SWAP2
00000a27: ADD
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: SWAP2
00000a2d: SUB
00000a2e: SWAP1
00000a2f: LOG3
00000a30: POP
00000a31: POP
00000a32: POP
00000a33: POP
00000a34: POP
00000a35: POP
00000a36: POP
00000a37: POP
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: CALLER
00000a3b: PUSH2 0x0a42
00000a3e: PUSH2 0x105d
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH1 0x01
00000a45: PUSH1 0x01
00000a47: PUSH1 0xa0
00000a49: SHL
00000a4a: SUB
00000a4b: AND
00000a4c: DUP2
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: SHL
00000a54: SUB
00000a55: AND
00000a56: EQ
00000a57: PUSH2 0x0a82
00000a5a: JUMPI
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: PUSH3 0xd1953b
00000a62: PUSH1 0xe3
00000a64: SHL
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x01
00000a69: PUSH1 0x01
00000a6b: PUSH1 0xa0
00000a6d: SHL
00000a6e: SUB
00000a6f: DUP3
00000a70: AND
00000a71: PUSH1 0x04
00000a73: DUP3
00000a74: ADD
00000a75: MSTORE
00000a76: PUSH1 0x24
00000a78: ADD
00000a79: JUMPDEST
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: DUP1
00000a7e: SWAP2
00000a7f: SUB
00000a80: SWAP1
00000a81: REVERT
00000a82: JUMPDEST
00000a83: DUP2
00000a84: PUSH1 0x01
00000a86: PUSH1 0x01
00000a88: PUSH1 0xa0
00000a8a: SHL
00000a8b: SUB
00000a8c: AND
00000a8d: EXTCODESIZE
00000a8e: PUSH0
00000a8f: SUB
00000a90: PUSH2 0x0ab7
00000a93: JUMPI
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: PUSH4 0x61798f2f
00000a9c: PUSH1 0xe1
00000a9e: SHL
00000a9f: DUP2
00000aa0: MSTORE
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x01
00000aa5: PUSH1 0xa0
00000aa7: SHL
00000aa8: SUB
00000aa9: DUP4
00000aaa: AND
00000aab: PUSH1 0x04
00000aad: DUP3
00000aae: ADD
00000aaf: MSTORE
00000ab0: PUSH1 0x24
00000ab2: ADD
00000ab3: PUSH2 0x0a79
00000ab6: JUMP
00000ab7: JUMPDEST
00000ab8: PUSH2 0x053e
00000abb: DUP3
00000abc: PUSH2 0x193b
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: PUSH1 0x40
00000ac3: DUP1
00000ac4: MLOAD
00000ac5: PUSH1 0x60
00000ac7: DUP2
00000ac8: ADD
00000ac9: DUP3
00000aca: MSTORE
00000acb: PUSH0
00000acc: DUP1
00000acd: DUP3
00000ace: MSTORE
00000acf: PUSH1 0x20
00000ad1: DUP3
00000ad2: ADD
00000ad3: DUP2
00000ad4: SWAP1
00000ad5: MSTORE
00000ad6: SWAP2
00000ad7: DUP2
00000ad8: ADD
00000ad9: SWAP2
00000ada: SWAP1
00000adb: SWAP2
00000adc: MSTORE
00000add: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102
00000afe: SLOAD
00000aff: PUSH0
00000b00: MLOAD
00000b01: PUSH1 0x20
00000b03: PUSH2 0x273b
00000b06: PUSH0
00000b07: CODECOPY
00000b08: PUSH0
00000b09: MLOAD
00000b0a: SWAP1
00000b0b: PUSH0
00000b0c: MSTORE
00000b0d: SWAP1
00000b0e: DUP4
00000b0f: LT
00000b10: PUSH2 0x0b36
00000b13: JUMPI
00000b14: POP
00000b15: POP
00000b16: PUSH1 0x40
00000b18: DUP1
00000b19: MLOAD
00000b1a: PUSH1 0x60
00000b1c: DUP2
00000b1d: ADD
00000b1e: DUP3
00000b1f: MSTORE
00000b20: PUSH0
00000b21: DUP1
00000b22: DUP3
00000b23: MSTORE
00000b24: PUSH1 0x20
00000b26: DUP3
00000b27: ADD
00000b28: DUP2
00000b29: SWAP1
00000b2a: MSTORE
00000b2b: SWAP2
00000b2c: DUP2
00000b2d: ADD
00000b2e: SWAP2
00000b2f: SWAP1
00000b30: SWAP2
00000b31: MSTORE
00000b32: SWAP2
00000b33: SWAP1
00000b34: POP
00000b35: JUMP
00000b36: JUMPDEST
00000b37: DUP1
00000b38: PUSH1 0x02
00000b3a: ADD
00000b3b: DUP4
00000b3c: DUP2
00000b3d: SLOAD
00000b3e: DUP2
00000b3f: LT
00000b40: PUSH2 0x0b4b
00000b43: JUMPI
00000b44: PUSH2 0x0b4b
00000b47: PUSH2 0x244b
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH0
00000b4d: SWAP2
00000b4e: DUP3
00000b4f: MSTORE
00000b50: PUSH1 0x20
00000b52: SWAP2
00000b53: DUP3
00000b54: SWAP1
00000b55: KECCAK256
00000b56: PUSH1 0x40
00000b58: DUP1
00000b59: MLOAD
00000b5a: PUSH1 0x60
00000b5c: DUP2
00000b5d: ADD
00000b5e: DUP3
00000b5f: MSTORE
00000b60: PUSH1 0x02
00000b62: SWAP1
00000b63: SWAP4
00000b64: MUL
00000b65: SWAP1
00000b66: SWAP2
00000b67: ADD
00000b68: DUP1
00000b69: SLOAD
00000b6a: PUSH1 0x01
00000b6c: PUSH1 0x01
00000b6e: PUSH1 0x80
00000b70: SHL
00000b71: SUB
00000b72: DUP1
00000b73: DUP3
00000b74: AND
00000b75: DUP6
00000b76: MSTORE
00000b77: PUSH1 0x01
00000b79: PUSH1 0x80
00000b7b: SHL
00000b7c: SWAP1
00000b7d: SWAP2
00000b7e: DIV
00000b7f: AND
00000b80: SWAP4
00000b81: DUP4
00000b82: ADD
00000b83: SWAP4
00000b84: SWAP1
00000b85: SWAP4
00000b86: MSTORE
00000b87: PUSH1 0x01
00000b89: SWAP1
00000b8a: SWAP3
00000b8b: ADD
00000b8c: SLOAD
00000b8d: PUSH1 0x01
00000b8f: PUSH1 0x01
00000b91: PUSH1 0xa0
00000b93: SHL
00000b94: SUB
00000b95: AND
00000b96: SWAP2
00000b97: DUP2
00000b98: ADD
00000b99: SWAP2
00000b9a: SWAP1
00000b9b: SWAP2
00000b9c: MSTORE
00000b9d: SWAP4
00000b9e: SWAP3
00000b9f: POP
00000ba0: POP
00000ba1: POP
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH0
00000ba5: MLOAD
00000ba6: PUSH1 0x20
00000ba8: PUSH2 0x26fb
00000bab: PUSH0
00000bac: CODECOPY
00000bad: PUSH0
00000bae: MLOAD
00000baf: SWAP1
00000bb0: PUSH0
00000bb1: MSTORE
00000bb2: DUP1
00000bb3: SLOAD
00000bb4: PUSH0
00000bb5: SWAP2
00000bb6: SWAP1
00000bb7: PUSH1 0x01
00000bb9: PUSH1 0xa0
00000bbb: SHL
00000bbc: SWAP1
00000bbd: DIV
00000bbe: PUSH1 0xff
00000bc0: AND
00000bc1: PUSH2 0x0bca
00000bc4: JUMPI
00000bc5: PUSH0
00000bc6: PUSH2 0x0bd3
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH4 0x8fb36037
00000bd0: PUSH1 0xe0
00000bd2: SHL
00000bd3: JUMPDEST
00000bd4: SWAP2
00000bd5: POP
00000bd6: POP
00000bd7: SWAP1
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH2 0x0be2
00000bdd: CALLER
00000bde: PUSH2 0x068b
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x01
00000be5: PUSH1 0x01
00000be7: PUSH1 0xa0
00000be9: SHL
00000bea: SUB
00000beb: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00000c0c: AND
00000c0d: PUSH4 0xd505accf
00000c12: CALLER
00000c13: ADDRESS
00000c14: PUSH1 0x20
00000c16: DUP7
00000c17: ADD
00000c18: CALLDATALOAD
00000c19: DUP7
00000c1a: CALLDATALOAD
00000c1b: PUSH2 0x0c2a
00000c1e: PUSH1 0x60
00000c20: DUP10
00000c21: ADD
00000c22: PUSH1 0x40
00000c24: DUP11
00000c25: ADD
00000c26: PUSH2 0x251a
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0x40
00000c2d: MLOAD
00000c2e: PUSH1 0x01
00000c30: PUSH1 0x01
00000c32: PUSH1 0xe0
00000c34: SHL
00000c35: SUB
00000c36: NOT
00000c37: PUSH1 0xe0
00000c39: DUP9
00000c3a: SWAP1
00000c3b: SHL
00000c3c: AND
00000c3d: DUP2
00000c3e: MSTORE
00000c3f: PUSH1 0x01
00000c41: PUSH1 0x01
00000c43: PUSH1 0xa0
00000c45: SHL
00000c46: SUB
00000c47: SWAP6
00000c48: DUP7
00000c49: AND
00000c4a: PUSH1 0x04
00000c4c: DUP3
00000c4d: ADD
00000c4e: MSTORE
00000c4f: SWAP5
00000c50: SWAP1
00000c51: SWAP4
00000c52: AND
00000c53: PUSH1 0x24
00000c55: DUP6
00000c56: ADD
00000c57: MSTORE
00000c58: PUSH1 0x44
00000c5a: DUP5
00000c5b: ADD
00000c5c: SWAP2
00000c5d: SWAP1
00000c5e: SWAP2
00000c5f: MSTORE
00000c60: PUSH1 0x64
00000c62: DUP4
00000c63: ADD
00000c64: MSTORE
00000c65: PUSH1 0xff
00000c67: AND
00000c68: PUSH1 0x84
00000c6a: DUP3
00000c6b: ADD
00000c6c: MSTORE
00000c6d: PUSH1 0x60
00000c6f: DUP6
00000c70: ADD
00000c71: CALLDATALOAD
00000c72: PUSH1 0xa4
00000c74: DUP3
00000c75: ADD
00000c76: MSTORE
00000c77: PUSH1 0x80
00000c79: DUP6
00000c7a: ADD
00000c7b: CALLDATALOAD
00000c7c: PUSH1 0xc4
00000c7e: DUP3
00000c7f: ADD
00000c80: MSTORE
00000c81: PUSH1 0xe4
00000c83: ADD
00000c84: PUSH0
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: DUP1
00000c89: DUP4
00000c8a: SUB
00000c8b: DUP2
00000c8c: PUSH0
00000c8d: DUP8
00000c8e: DUP1
00000c8f: EXTCODESIZE
00000c90: ISZERO
00000c91: DUP1
00000c92: ISZERO
00000c93: PUSH2 0x0c9a
00000c96: JUMPI
00000c97: PUSH0
00000c98: PUSH0
00000c99: REVERT
00000c9a: JUMPDEST
00000c9b: POP
00000c9c: GAS
00000c9d: CALL
00000c9e: SWAP3
00000c9f: POP
00000ca0: POP
00000ca1: POP
00000ca2: DUP1
00000ca3: ISZERO
00000ca4: PUSH2 0x0cab
00000ca7: JUMPI
00000ca8: POP
00000ca9: PUSH1 0x01
00000cab: JUMPDEST
00000cac: POP
00000cad: PUSH2 0x053e
00000cb0: DUP3
00000cb1: PUSH1 0x20
00000cb3: ADD
00000cb4: CALLDATALOAD
00000cb5: DUP3
00000cb6: PUSH2 0x199b
00000cb9: JUMP
00000cba: JUMPDEST
00000cbb: PUSH2 0x0cc3
00000cbe: CALLER
00000cbf: PUSH2 0x068b
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: PUSH32 0x2cc4e591e9323af22eeee6c9b0444863dad4345eb452e3c71b610fffca87e102
00000ce5: SLOAD
00000ce6: PUSH0
00000ce7: MLOAD
00000ce8: PUSH1 0x20
00000cea: PUSH2 0x273b
00000ced: PUSH0
00000cee: CODECOPY
00000cef: PUSH0
00000cf0: MLOAD
00000cf1: SWAP1
00000cf2: PUSH0
00000cf3: MSTORE
00000cf4: SWAP1
00000cf5: PUSH2 0x0d1f
00000cf8: SWAP1
00000cf9: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
00000d1a: SWAP1
00000d1b: PUSH2 0x2473
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: DUP3
00000d21: LT
00000d22: PUSH2 0x0d3e
00000d25: JUMPI
00000d26: PUSH1 0x40
00000d28: MLOAD
00000d29: PUSH4 0x8b923bcf
00000d2e: PUSH1 0xe0
00000d30: SHL
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x04
00000d35: ADD
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: DUP1
00000d3a: SWAP2
00000d3b: SUB
00000d3c: SWAP1
00000d3d: REVERT
00000d3e: JUMPDEST
00000d3f: PUSH1 0x01
00000d41: DUP2
00000d42: ADD
00000d43: SLOAD
00000d44: DUP3
00000d45: DUP2
00000d46: DUP2
00000d47: GT
00000d48: PUSH2 0x0d67
00000d4b: JUMPI
00000d4c: PUSH1 0x40
00000d4e: MLOAD
00000d4f: PUSH4 0xa99bd781
00000d54: PUSH1 0xe0
00000d56: SHL
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x04
00000d5b: ADD
00000d5c: PUSH2 0x0a79
00000d5f: SWAP2
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x20
00000d64: ADD
00000d65: SWAP1
00000d66: JUMP
00000d67: JUMPDEST
00000d68: POP
00000d69: PUSH0
00000d6a: PUSH2 0x0d74
00000d6d: DUP3
00000d6e: PUSH1 0x01
00000d70: PUSH2 0x253a
00000d73: JUMP
00000d74: JUMPDEST
00000d75: SWAP1
00000d76: POP
00000d77: JUMPDEST
00000d78: DUP4
00000d79: DUP2
00000d7a: GT
00000d7b: PUSH2 0x0fd9
00000d7e: JUMPI
00000d7f: PUSH1 0x40
00000d81: MLOAD
00000d82: PUSH4 0x03d1689d
00000d87: PUSH1 0xe1
00000d89: SHL
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: PUSH8 0x0de0b6b3a7640000
00000d95: PUSH1 0x04
00000d97: DUP3
00000d98: ADD
00000d99: MSTORE
00000d9a: PUSH0
00000d9b: SWAP1
00000d9c: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00000dbd: PUSH1 0x01
00000dbf: PUSH1 0x01
00000dc1: PUSH1 0xa0
00000dc3: SHL
00000dc4: SUB
00000dc5: AND
00000dc6: SWAP1
00000dc7: PUSH4 0x07a2d13a
00000dcc: SWAP1
00000dcd: PUSH1 0x24
00000dcf: ADD
00000dd0: PUSH1 0x20
00000dd2: PUSH1 0x40
00000dd4: MLOAD
00000dd5: DUP1
00000dd6: DUP4
00000dd7: SUB
00000dd8: DUP2
00000dd9: DUP7
00000dda: GAS
00000ddb: STATICCALL
00000ddc: ISZERO
00000ddd: DUP1
00000dde: ISZERO
00000ddf: PUSH2 0x0dea
00000de2: JUMPI
00000de3: RETURNDATASIZE
00000de4: PUSH0
00000de5: PUSH0
00000de6: RETURNDATACOPY
00000de7: RETURNDATASIZE
00000de8: PUSH0
00000de9: REVERT
00000dea: JUMPDEST
00000deb: POP
00000dec: POP
00000ded: POP
00000dee: POP
00000def: PUSH1 0x40
00000df1: MLOAD
00000df2: RETURNDATASIZE
00000df3: PUSH1 0x1f
00000df5: NOT
00000df6: PUSH1 0x1f
00000df8: DUP3
00000df9: ADD
00000dfa: AND
00000dfb: DUP3
00000dfc: ADD
00000dfd: DUP1
00000dfe: PUSH1 0x40
00000e00: MSTORE
00000e01: POP
00000e02: DUP2
00000e03: ADD
00000e04: SWAP1
00000e05: PUSH2 0x0e0e
00000e08: SWAP2
00000e09: SWAP1
00000e0a: PUSH2 0x254d
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: SWAP1
00000e10: POP
00000e11: PUSH0
00000e12: DUP5
00000e13: PUSH1 0x03
00000e15: ADD
00000e16: DUP4
00000e17: DUP2
00000e18: SLOAD
00000e19: DUP2
00000e1a: LT
00000e1b: PUSH2 0x0e26
00000e1e: JUMPI
00000e1f: PUSH2 0x0e26
00000e22: PUSH2 0x244b
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH0
00000e28: SWAP2
00000e29: DUP3
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: DUP3
00000e2e: KECCAK256
00000e2f: PUSH1 0x02
00000e31: SWAP2
00000e32: SWAP1
00000e33: SWAP2
00000e34: MUL
00000e35: ADD
00000e36: DUP1
00000e37: SLOAD
00000e38: SWAP1
00000e39: SWAP3
00000e3a: POP
00000e3b: PUSH1 0x01
00000e3d: PUSH1 0x98
00000e3f: SHL
00000e40: DUP2
00000e41: DIV
00000e42: PUSH1 0x01
00000e44: PUSH1 0x01
00000e46: PUSH1 0x60
00000e48: SHL
00000e49: SUB
00000e4a: AND
00000e4b: SWAP2
00000e4c: PUSH1 0x01
00000e4e: PUSH1 0x40
00000e50: SHL
00000e51: SWAP1
00000e52: SWAP2
00000e53: DIV
00000e54: PUSH1 0x01
00000e56: PUSH1 0x01
00000e58: PUSH1 0x58
00000e5a: SHL
00000e5b: SUB
00000e5c: AND
00000e5d: SWAP1
00000e5e: PUSH2 0x0e68
00000e61: DUP3
00000e62: DUP7
00000e63: DUP6
00000e64: PUSH2 0x1e6b
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x40
00000e6b: MLOAD
00000e6c: PUSH4 0x7b1a4909
00000e71: PUSH1 0xe0
00000e73: SHL
00000e74: DUP2
00000e75: MSTORE
00000e76: ADDRESS
00000e77: PUSH1 0x04
00000e79: DUP3
00000e7a: ADD
00000e7b: MSTORE
00000e7c: PUSH1 0x24
00000e7e: DUP2
00000e7f: ADD
00000e80: DUP3
00000e81: SWAP1
00000e82: MSTORE
00000e83: SWAP1
00000e84: SWAP2
00000e85: POP
00000e86: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00000ea7: PUSH1 0x01
00000ea9: PUSH1 0x01
00000eab: PUSH1 0xa0
00000ead: SHL
00000eae: SUB
00000eaf: AND
00000eb0: SWAP1
00000eb1: PUSH4 0x7b1a4909
00000eb6: SWAP1
00000eb7: PUSH1 0x44
00000eb9: ADD
00000eba: PUSH0
00000ebb: PUSH1 0x40
00000ebd: MLOAD
00000ebe: DUP1
00000ebf: DUP4
00000ec0: SUB
00000ec1: DUP2
00000ec2: PUSH0
00000ec3: DUP8
00000ec4: DUP1
00000ec5: EXTCODESIZE
00000ec6: ISZERO
00000ec7: DUP1
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed0
00000ecc: JUMPI
00000ecd: PUSH0
00000ece: PUSH0
00000ecf: REVERT
00000ed0: JUMPDEST
00000ed1: POP
00000ed2: GAS
00000ed3: CALL
00000ed4: ISZERO
00000ed5: DUP1
00000ed6: ISZERO
00000ed7: PUSH2 0x0ee2
00000eda: JUMPI
00000edb: RETURNDATASIZE
00000edc: PUSH0
00000edd: PUSH0
00000ede: RETURNDATACOPY
00000edf: RETURNDATASIZE
00000ee0: PUSH0
00000ee1: REVERT
00000ee2: JUMPDEST
00000ee3: POP
00000ee4: POP
00000ee5: PUSH1 0x40
00000ee7: MLOAD
00000ee8: PUSH4 0x0852cd8d
00000eed: PUSH1 0xe3
00000eef: SHL
00000ef0: DUP2
00000ef1: MSTORE
00000ef2: PUSH1 0x04
00000ef4: DUP2
00000ef5: ADD
00000ef6: DUP6
00000ef7: SWAP1
00000ef8: MSTORE
00000ef9: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0x01
00000f1e: PUSH1 0xa0
00000f20: SHL
00000f21: SUB
00000f22: AND
00000f23: SWAP3
00000f24: POP
00000f25: PUSH4 0x42966c68
00000f2a: SWAP2
00000f2b: POP
00000f2c: PUSH1 0x24
00000f2e: ADD
00000f2f: PUSH0
00000f30: PUSH1 0x40
00000f32: MLOAD
00000f33: DUP1
00000f34: DUP4
00000f35: SUB
00000f36: DUP2
00000f37: PUSH0
00000f38: DUP8
00000f39: DUP1
00000f3a: EXTCODESIZE
00000f3b: ISZERO
00000f3c: DUP1
00000f3d: ISZERO
00000f3e: PUSH2 0x0f45
00000f41: JUMPI
00000f42: PUSH0
00000f43: PUSH0
00000f44: REVERT
00000f45: JUMPDEST
00000f46: POP
00000f47: GAS
00000f48: CALL
00000f49: ISZERO
00000f4a: DUP1
00000f4b: ISZERO
00000f4c: PUSH2 0x0f57
00000f4f: JUMPI
00000f50: RETURNDATASIZE
00000f51: PUSH0
00000f52: PUSH0
00000f53: RETURNDATACOPY
00000f54: RETURNDATASIZE
00000f55: PUSH0
00000f56: REVERT
00000f57: JUMPDEST
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: POP
00000f5c: PUSH2 0x0f64
00000f5f: DUP6
00000f60: PUSH2 0x1ea1
00000f63: JUMP
00000f64: JUMPDEST
00000f65: DUP5
00000f66: SLOAD
00000f67: PUSH8 0xffffffffffffffff
00000f70: NOT
00000f71: AND
00000f72: PUSH1 0x01
00000f74: PUSH1 0x01
00000f76: PUSH1 0x40
00000f78: SHL
00000f79: SUB
00000f7a: SWAP2
00000f7b: SWAP1
00000f7c: SWAP2
00000f7d: AND
00000f7e: OR
00000f7f: DUP5
00000f80: SSTORE
00000f81: PUSH1 0x40
00000f83: DUP1
00000f84: MLOAD
00000f85: DUP5
00000f86: DUP2
00000f87: MSTORE
00000f88: PUSH1 0x20
00000f8a: DUP2
00000f8b: ADD
00000f8c: DUP4
00000f8d: SWAP1
00000f8e: MSTORE
00000f8f: SWAP1
00000f90: DUP2
00000f91: ADD
00000f92: DUP4
00000f93: SWAP1
00000f94: MSTORE
00000f95: DUP7
00000f96: SWAP1
00000f97: PUSH32 0xdbf5480ceeeae3e5602bc1ea462e9976902866b38caf585679d5cebe0594dd9e
00000fb8: SWAP1
00000fb9: PUSH1 0x60
00000fbb: ADD
00000fbc: PUSH1 0x40
00000fbe: MLOAD
00000fbf: DUP1
00000fc0: SWAP2
00000fc1: SUB
00000fc2: SWAP1
00000fc3: LOG2
00000fc4: POP
00000fc5: POP
00000fc6: POP
00000fc7: POP
00000fc8: POP
00000fc9: DUP1
00000fca: PUSH2 0x0fd2
00000fcd: SWAP1
00000fce: PUSH2 0x2564
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: SWAP1
00000fd4: POP
00000fd5: PUSH2 0x0d77
00000fd8: JUMP
00000fd9: JUMPDEST
00000fda: POP
00000fdb: POP
00000fdc: PUSH1 0x01
00000fde: ADD
00000fdf: SSTORE
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: PUSH2 0x0fea
00000fe5: CALLER
00000fe6: PUSH2 0x068b
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH0
00000fec: MLOAD
00000fed: PUSH1 0x20
00000fef: PUSH2 0x273b
00000ff2: PUSH0
00000ff3: CODECOPY
00000ff4: PUSH0
00000ff5: MLOAD
00000ff6: SWAP1
00000ff7: PUSH0
00000ff8: MSTORE
00000ff9: PUSH7 0x2386f26fc10000
00001001: DUP3
00001002: GT
00001003: PUSH2 0x101f
00001006: JUMPI
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: PUSH4 0x1d14ca83
0000100f: PUSH1 0xe2
00001011: SHL
00001012: DUP2
00001013: MSTORE
00001014: PUSH1 0x04
00001016: ADD
00001017: PUSH1 0x40
00001019: MLOAD
0000101a: DUP1
0000101b: SWAP2
0000101c: SUB
0000101d: SWAP1
0000101e: REVERT
0000101f: JUMPDEST
00001020: DUP1
00001021: SLOAD
00001022: PUSH1 0x40
00001024: DUP1
00001025: MLOAD
00001026: SWAP2
00001027: DUP3
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: DUP3
0000102c: ADD
0000102d: DUP5
0000102e: SWAP1
0000102f: MSTORE
00001030: PUSH32 0x3e431ca134400a33fe0cfb866ec9047e25ee5689045d5d184497a9fdd912bd52
00001051: SWAP2
00001052: ADD
00001053: PUSH1 0x40
00001055: MLOAD
00001056: DUP1
00001057: SWAP2
00001058: SUB
00001059: SWAP1
0000105a: LOG1
0000105b: SSTORE
0000105c: JUMP
0000105d: JUMPDEST
0000105e: PUSH0
0000105f: MLOAD
00001060: PUSH1 0x20
00001062: PUSH2 0x26fb
00001065: PUSH0
00001066: CODECOPY
00001067: PUSH0
00001068: MLOAD
00001069: SWAP1
0000106a: PUSH0
0000106b: MSTORE
0000106c: SLOAD
0000106d: PUSH1 0x01
0000106f: PUSH1 0x01
00001071: PUSH1 0xa0
00001073: SHL
00001074: SUB
00001075: AND
00001076: SWAP1
00001077: JUMP
00001078: JUMPDEST
00001079: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
0000109a: DUP1
0000109b: SLOAD
0000109c: PUSH1 0x01
0000109e: PUSH1 0x40
000010a0: SHL
000010a1: DUP2
000010a2: DIV
000010a3: PUSH1 0xff
000010a5: AND
000010a6: ISZERO
000010a7: SWAP1
000010a8: PUSH1 0x01
000010aa: PUSH1 0x01
000010ac: PUSH1 0x40
000010ae: SHL
000010af: SUB
000010b0: AND
000010b1: PUSH0
000010b2: DUP2
000010b3: ISZERO
000010b4: DUP1
000010b5: ISZERO
000010b6: PUSH2 0x10bc
000010b9: JUMPI
000010ba: POP
000010bb: DUP3
000010bc: JUMPDEST
000010bd: SWAP1
000010be: POP
000010bf: PUSH0
000010c0: DUP3
000010c1: PUSH1 0x01
000010c3: PUSH1 0x01
000010c5: PUSH1 0x40
000010c7: SHL
000010c8: SUB
000010c9: AND
000010ca: PUSH1 0x01
000010cc: EQ
000010cd: DUP1
000010ce: ISZERO
000010cf: PUSH2 0x10d7
000010d2: JUMPI
000010d3: POP
000010d4: ADDRESS
000010d5: EXTCODESIZE
000010d6: ISZERO
000010d7: JUMPDEST
000010d8: SWAP1
000010d9: POP
000010da: DUP2
000010db: ISZERO
000010dc: DUP1
000010dd: ISZERO
000010de: PUSH2 0x10e5
000010e1: JUMPI
000010e2: POP
000010e3: DUP1
000010e4: ISZERO
000010e5: JUMPDEST
000010e6: ISZERO
000010e7: PUSH2 0x1103
000010ea: JUMPI
000010eb: PUSH1 0x40
000010ed: MLOAD
000010ee: PUSH4 0xf92ee8a9
000010f3: PUSH1 0xe0
000010f5: SHL
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x04
000010fa: ADD
000010fb: PUSH1 0x40
000010fd: MLOAD
000010fe: DUP1
000010ff: SWAP2
00001100: SUB
00001101: SWAP1
00001102: REVERT
00001103: JUMPDEST
00001104: DUP5
00001105: SLOAD
00001106: PUSH8 0xffffffffffffffff
0000110f: NOT
00001110: AND
00001111: PUSH1 0x01
00001113: OR
00001114: DUP6
00001115: SSTORE
00001116: DUP4
00001117: ISZERO
00001118: PUSH2 0x112d
0000111b: JUMPI
0000111c: DUP5
0000111d: SLOAD
0000111e: PUSH1 0xff
00001120: PUSH1 0x40
00001122: SHL
00001123: NOT
00001124: AND
00001125: PUSH1 0x01
00001127: PUSH1 0x40
00001129: SHL
0000112a: OR
0000112b: DUP6
0000112c: SSTORE
0000112d: JUMPDEST
0000112e: PUSH2 0x1136
00001131: DUP7
00001132: PUSH2 0x1ed6
00001135: JUMP
00001136: JUMPDEST
00001137: PUSH0
00001138: MLOAD
00001139: PUSH1 0x20
0000113b: PUSH2 0x273b
0000113e: PUSH0
0000113f: CODECOPY
00001140: PUSH0
00001141: MLOAD
00001142: SWAP1
00001143: PUSH0
00001144: MSTORE
00001145: PUSH0
00001146: JUMPDEST
00001147: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
00001168: DUP2
00001169: LT
0000116a: ISZERO
0000116b: PUSH2 0x11ef
0000116e: JUMPI
0000116f: PUSH1 0x40
00001171: DUP1
00001172: MLOAD
00001173: PUSH1 0x60
00001175: DUP2
00001176: ADD
00001177: DUP3
00001178: MSTORE
00001179: PUSH0
0000117a: DUP1
0000117b: DUP3
0000117c: MSTORE
0000117d: PUSH1 0x20
0000117f: DUP1
00001180: DUP4
00001181: ADD
00001182: DUP3
00001183: DUP2
00001184: MSTORE
00001185: SWAP4
00001186: DUP4
00001187: ADD
00001188: DUP3
00001189: DUP2
0000118a: MSTORE
0000118b: PUSH1 0x02
0000118d: DUP1
0000118e: DUP9
0000118f: ADD
00001190: DUP1
00001191: SLOAD
00001192: PUSH1 0x01
00001194: DUP2
00001195: DUP2
00001196: ADD
00001197: DUP4
00001198: SSTORE
00001199: SWAP2
0000119a: DUP7
0000119b: MSTORE
0000119c: SWAP4
0000119d: SWAP1
0000119e: SWAP5
0000119f: KECCAK256
000011a0: SWAP5
000011a1: MLOAD
000011a2: SWAP6
000011a3: MLOAD
000011a4: PUSH1 0x01
000011a6: PUSH1 0x01
000011a8: PUSH1 0x80
000011aa: SHL
000011ab: SUB
000011ac: SWAP1
000011ad: DUP2
000011ae: AND
000011af: PUSH1 0x01
000011b1: PUSH1 0x80
000011b3: SHL
000011b4: MUL
000011b5: SWAP7
000011b6: AND
000011b7: SWAP6
000011b8: SWAP1
000011b9: SWAP6
000011ba: OR
000011bb: SWAP2
000011bc: SWAP1
000011bd: SWAP5
000011be: MUL
000011bf: SWAP1
000011c0: SWAP3
000011c1: ADD
000011c2: SWAP2
000011c3: DUP3
000011c4: SSTORE
000011c5: SWAP2
000011c6: MLOAD
000011c7: SWAP1
000011c8: DUP3
000011c9: ADD
000011ca: DUP1
000011cb: SLOAD
000011cc: PUSH1 0x01
000011ce: PUSH1 0x01
000011d0: PUSH1 0xa0
000011d2: SHL
000011d3: SUB
000011d4: SWAP3
000011d5: SWAP1
000011d6: SWAP3
000011d7: AND
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0xa0
000011de: SHL
000011df: SUB
000011e0: NOT
000011e1: SWAP1
000011e2: SWAP3
000011e3: AND
000011e4: SWAP2
000011e5: SWAP1
000011e6: SWAP2
000011e7: OR
000011e8: SWAP1
000011e9: SSTORE
000011ea: ADD
000011eb: PUSH2 0x1146
000011ee: JUMP
000011ef: JUMPDEST
000011f0: POP
000011f1: PUSH1 0x40
000011f3: DUP1
000011f4: MLOAD
000011f5: PUSH1 0xa0
000011f7: DUP2
000011f8: ADD
000011f9: DUP3
000011fa: MSTORE
000011fb: PUSH0
000011fc: DUP1
000011fd: DUP3
000011fe: MSTORE
000011ff: PUSH1 0x20
00001201: DUP1
00001202: DUP4
00001203: ADD
00001204: DUP3
00001205: DUP2
00001206: MSTORE
00001207: SWAP4
00001208: DUP4
00001209: ADD
0000120a: DUP3
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x60
0000120f: DUP5
00001210: ADD
00001211: DUP4
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x80
00001216: DUP6
00001217: ADD
00001218: DUP5
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x03
0000121d: DUP9
0000121e: ADD
0000121f: DUP1
00001220: SLOAD
00001221: PUSH1 0x01
00001223: DUP2
00001224: DUP2
00001225: ADD
00001226: DUP4
00001227: SSTORE
00001228: SWAP2
00001229: DUP8
0000122a: MSTORE
0000122b: SWAP5
0000122c: DUP7
0000122d: KECCAK256
0000122e: SWAP7
0000122f: MLOAD
00001230: PUSH1 0x02
00001232: SWAP1
00001233: SWAP6
00001234: MUL
00001235: SWAP1
00001236: SWAP7
00001237: ADD
00001238: DUP1
00001239: SLOAD
0000123a: SWAP8
0000123b: MLOAD
0000123c: SWAP4
0000123d: MLOAD
0000123e: PUSH1 0x01
00001240: PUSH1 0x01
00001242: PUSH1 0x60
00001244: SHL
00001245: SUB
00001246: AND
00001247: PUSH1 0x01
00001249: PUSH1 0x98
0000124b: SHL
0000124c: MUL
0000124d: PUSH12 0xffffffffffffffffffffffff
0000125a: PUSH1 0x98
0000125c: SHL
0000125d: NOT
0000125e: PUSH1 0x01
00001260: PUSH1 0x01
00001262: PUSH1 0x58
00001264: SHL
00001265: SUB
00001266: SWAP6
00001267: SWAP1
00001268: SWAP6
00001269: AND
0000126a: PUSH1 0x01
0000126c: PUSH1 0x40
0000126e: SHL
0000126f: MUL
00001270: PUSH1 0x01
00001272: PUSH1 0x01
00001274: PUSH1 0x98
00001276: SHL
00001277: SUB
00001278: NOT
00001279: SWAP1
0000127a: SWAP10
0000127b: AND
0000127c: PUSH1 0x01
0000127e: PUSH1 0x01
00001280: PUSH1 0x40
00001282: SHL
00001283: SUB
00001284: SWAP7
00001285: SWAP1
00001286: SWAP7
00001287: AND
00001288: SWAP6
00001289: SWAP1
0000128a: SWAP6
0000128b: OR
0000128c: SWAP8
0000128d: SWAP1
0000128e: SWAP8
0000128f: OR
00001290: SWAP3
00001291: SWAP1
00001292: SWAP3
00001293: AND
00001294: SWAP3
00001295: SWAP1
00001296: SWAP3
00001297: OR
00001298: DUP6
00001299: SSTORE
0000129a: SWAP1
0000129b: MLOAD
0000129c: SWAP1
0000129d: MLOAD
0000129e: PUSH1 0x01
000012a0: PUSH1 0x01
000012a2: PUSH1 0x80
000012a4: SHL
000012a5: SUB
000012a6: SWAP1
000012a7: DUP2
000012a8: AND
000012a9: PUSH1 0x01
000012ab: PUSH1 0x80
000012ad: SHL
000012ae: MUL
000012af: SWAP2
000012b0: AND
000012b1: OR
000012b2: SWAP3
000012b3: DUP3
000012b4: ADD
000012b5: SWAP3
000012b6: SWAP1
000012b7: SWAP3
000012b8: SSTORE
000012b9: SWAP1
000012ba: SWAP2
000012bb: ADD
000012bc: SSTORE
000012bd: DUP4
000012be: ISZERO
000012bf: PUSH2 0x1302
000012c2: JUMPI
000012c3: DUP5
000012c4: SLOAD
000012c5: PUSH1 0xff
000012c7: PUSH1 0x40
000012c9: SHL
000012ca: NOT
000012cb: AND
000012cc: DUP6
000012cd: SSTORE
000012ce: PUSH1 0x40
000012d0: MLOAD
000012d1: PUSH1 0x01
000012d3: DUP2
000012d4: MSTORE
000012d5: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
000012f6: SWAP1
000012f7: PUSH1 0x20
000012f9: ADD
000012fa: PUSH1 0x40
000012fc: MLOAD
000012fd: DUP1
000012fe: SWAP2
000012ff: SUB
00001300: SWAP1
00001301: LOG1
00001302: JUMPDEST
00001303: POP
00001304: POP
00001305: POP
00001306: POP
00001307: POP
00001308: POP
00001309: JUMP
0000130a: JUMPDEST
0000130b: PUSH2 0x1313
0000130e: CALLER
0000130f: PUSH2 0x068b
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH0
00001315: MLOAD
00001316: PUSH1 0x20
00001318: PUSH2 0x273b
0000131b: PUSH0
0000131c: CODECOPY
0000131d: PUSH0
0000131e: MLOAD
0000131f: SWAP1
00001320: PUSH0
00001321: MSTORE
00001322: PUSH0
00001323: DUP1
00001324: JUMPDEST
00001325: DUP4
00001326: DUP2
00001327: LT
00001328: ISZERO
00001329: PUSH2 0x14ac
0000132c: JUMPI
0000132d: PUSH0
0000132e: DUP4
0000132f: PUSH1 0x03
00001331: ADD
00001332: DUP7
00001333: DUP7
00001334: DUP5
00001335: DUP2
00001336: DUP2
00001337: LT
00001338: PUSH2 0x1343
0000133b: JUMPI
0000133c: PUSH2 0x1343
0000133f: PUSH2 0x244b
00001342: JUMP
00001343: JUMPDEST
00001344: SWAP1
00001345: POP
00001346: PUSH1 0x20
00001348: MUL
00001349: ADD
0000134a: CALLDATALOAD
0000134b: DUP2
0000134c: SLOAD
0000134d: DUP2
0000134e: LT
0000134f: PUSH2 0x135a
00001352: JUMPI
00001353: PUSH2 0x135a
00001356: PUSH2 0x244b
00001359: JUMP
0000135a: JUMPDEST
0000135b: PUSH0
0000135c: SWAP2
0000135d: DUP3
0000135e: MSTORE
0000135f: PUSH1 0x20
00001361: SWAP1
00001362: SWAP2
00001363: KECCAK256
00001364: PUSH1 0x01
00001366: PUSH1 0x02
00001368: SWAP1
00001369: SWAP3
0000136a: MUL
0000136b: ADD
0000136c: SWAP1
0000136d: DUP2
0000136e: ADD
0000136f: SLOAD
00001370: SWAP1
00001371: SWAP2
00001372: POP
00001373: PUSH1 0x01
00001375: PUSH1 0x01
00001377: PUSH1 0x80
00001379: SHL
0000137a: SUB
0000137b: AND
0000137c: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
0000139d: EQ
0000139e: PUSH2 0x13ba
000013a1: JUMPI
000013a2: PUSH1 0x40
000013a4: MLOAD
000013a5: PUSH4 0x18af2883
000013aa: PUSH1 0xe2
000013ac: SHL
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x04
000013b1: ADD
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: DUP1
000013b6: SWAP2
000013b7: SUB
000013b8: SWAP1
000013b9: REVERT
000013ba: JUMPDEST
000013bb: DUP1
000013bc: SLOAD
000013bd: PUSH1 0x01
000013bf: DUP3
000013c0: ADD
000013c1: SLOAD
000013c2: PUSH1 0x01
000013c4: PUSH1 0x98
000013c6: SHL
000013c7: SWAP1
000013c8: SWAP2
000013c9: DIV
000013ca: PUSH1 0x01
000013cc: PUSH1 0x01
000013ce: PUSH1 0x60
000013d0: SHL
000013d1: SUB
000013d2: AND
000013d3: PUSH1 0x01
000013d5: PUSH1 0x80
000013d7: SHL
000013d8: SWAP1
000013d9: SWAP2
000013da: DIV
000013db: PUSH1 0x01
000013dd: PUSH1 0x01
000013df: PUSH1 0x80
000013e1: SHL
000013e2: SUB
000013e3: AND
000013e4: SUB
000013e5: PUSH2 0x1401
000013e8: JUMPI
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: PUSH4 0x6d6a4f9f
000013f1: PUSH1 0xe0
000013f3: SHL
000013f4: DUP2
000013f5: MSTORE
000013f6: PUSH1 0x04
000013f8: ADD
000013f9: PUSH1 0x40
000013fb: MLOAD
000013fc: DUP1
000013fd: SWAP2
000013fe: SUB
000013ff: SWAP1
00001400: REVERT
00001401: JUMPDEST
00001402: DUP1
00001403: SLOAD
00001404: PUSH1 0x01
00001406: PUSH1 0x01
00001408: PUSH1 0x60
0000140a: SHL
0000140b: SUB
0000140c: PUSH1 0x01
0000140e: PUSH1 0x98
00001410: SHL
00001411: DUP3
00001412: DIV
00001413: AND
00001414: SWAP1
00001415: PUSH1 0x01
00001417: PUSH1 0x01
00001419: PUSH1 0x58
0000141b: SHL
0000141c: SUB
0000141d: PUSH1 0x01
0000141f: PUSH1 0x40
00001421: SHL
00001422: DUP3
00001423: DIV
00001424: AND
00001425: SWAP1
00001426: PUSH0
00001427: SWAP1
00001428: PUSH2 0x143c
0000142b: SWAP1
0000142c: DUP4
0000142d: SWAP1
0000142e: PUSH1 0x01
00001430: PUSH1 0x01
00001432: PUSH1 0x40
00001434: SHL
00001435: SUB
00001436: AND
00001437: DUP6
00001438: PUSH2 0x1e6b
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH1 0x01
0000143f: DUP6
00001440: ADD
00001441: SLOAD
00001442: SWAP1
00001443: SWAP2
00001444: POP
00001445: PUSH0
00001446: SWAP1
00001447: PUSH2 0x1460
0000144a: SWAP1
0000144b: PUSH1 0x01
0000144d: PUSH1 0x80
0000144f: SHL
00001450: SWAP1
00001451: DIV
00001452: PUSH1 0x01
00001454: PUSH1 0x01
00001456: PUSH1 0x80
00001458: SHL
00001459: SUB
0000145a: AND
0000145b: DUP4
0000145c: PUSH2 0x257c
0000145f: JUMP
00001460: JUMPDEST
00001461: SWAP1
00001462: POP
00001463: PUSH2 0x146c
00001466: DUP2
00001467: DUP9
00001468: PUSH2 0x253a
0000146b: JUMP
0000146c: JUMPDEST
0000146d: DUP6
0000146e: SLOAD
0000146f: PUSH1 0x01
00001471: SWAP7
00001472: DUP8
00001473: ADD
00001474: DUP1
00001475: SLOAD
00001476: PUSH1 0x01
00001478: PUSH1 0x01
0000147a: PUSH1 0x80
0000147c: SHL
0000147d: SUB
0000147e: AND
0000147f: PUSH1 0x01
00001481: PUSH1 0x98
00001483: SHL
00001484: SWAP1
00001485: SWAP3
00001486: DIV
00001487: PUSH1 0x01
00001489: PUSH1 0x01
0000148b: PUSH1 0x60
0000148d: SHL
0000148e: SUB
0000148f: AND
00001490: PUSH1 0x01
00001492: PUSH1 0x80
00001494: SHL
00001495: MUL
00001496: SWAP2
00001497: SWAP1
00001498: SWAP2
00001499: OR
0000149a: SWAP1
0000149b: SSTORE
0000149c: SWAP7
0000149d: POP
0000149e: POP
0000149f: POP
000014a0: SWAP3
000014a1: SWAP1
000014a2: SWAP2
000014a3: ADD
000014a4: SWAP2
000014a5: POP
000014a6: PUSH2 0x1324
000014a9: SWAP1
000014aa: POP
000014ab: JUMP
000014ac: JUMPDEST
000014ad: POP
000014ae: DUP1
000014af: ISZERO
000014b0: PUSH2 0x1580
000014b3: JUMPI
000014b4: PUSH0
000014b5: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
000014d6: PUSH1 0x01
000014d8: PUSH1 0x01
000014da: PUSH1 0xa0
000014dc: SHL
000014dd: SUB
000014de: AND
000014df: DUP3
000014e0: PUSH1 0x40
000014e2: MLOAD
000014e3: PUSH0
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: DUP1
000014e8: DUP4
000014e9: SUB
000014ea: DUP2
000014eb: DUP6
000014ec: DUP8
000014ed: GAS
000014ee: CALL
000014ef: SWAP3
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: RETURNDATASIZE
000014f4: DUP1
000014f5: PUSH0
000014f6: DUP2
000014f7: EQ
000014f8: PUSH2 0x151c
000014fb: JUMPI
000014fc: PUSH1 0x40
000014fe: MLOAD
000014ff: SWAP2
00001500: POP
00001501: PUSH1 0x1f
00001503: NOT
00001504: PUSH1 0x3f
00001506: RETURNDATASIZE
00001507: ADD
00001508: AND
00001509: DUP3
0000150a: ADD
0000150b: PUSH1 0x40
0000150d: MSTORE
0000150e: RETURNDATASIZE
0000150f: DUP3
00001510: MSTORE
00001511: RETURNDATASIZE
00001512: PUSH0
00001513: PUSH1 0x20
00001515: DUP5
00001516: ADD
00001517: RETURNDATACOPY
00001518: PUSH2 0x1521
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH1 0x60
0000151f: SWAP2
00001520: POP
00001521: JUMPDEST
00001522: POP
00001523: POP
00001524: SWAP1
00001525: POP
00001526: DUP1
00001527: PUSH2 0x1543
0000152a: JUMPI
0000152b: PUSH1 0x40
0000152d: MLOAD
0000152e: PUSH4 0x12171d83
00001533: PUSH1 0xe3
00001535: SHL
00001536: DUP2
00001537: MSTORE
00001538: PUSH1 0x04
0000153a: ADD
0000153b: PUSH1 0x40
0000153d: MLOAD
0000153e: DUP1
0000153f: SWAP2
00001540: SUB
00001541: SWAP1
00001542: REVERT
00001543: JUMPDEST
00001544: PUSH32 0xe7ebe2f99689b40ec52f7d9f3b43da813a21d7f2f68f186da901ceb6bdbcb7d8
00001565: DUP6
00001566: DUP6
00001567: DUP5
00001568: PUSH1 0x40
0000156a: MLOAD
0000156b: PUSH2 0x1576
0000156e: SWAP4
0000156f: SWAP3
00001570: SWAP2
00001571: SWAP1
00001572: PUSH2 0x258f
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x40
00001579: MLOAD
0000157a: DUP1
0000157b: SWAP2
0000157c: SUB
0000157d: SWAP1
0000157e: LOG1
0000157f: POP
00001580: JUMPDEST
00001581: POP
00001582: POP
00001583: POP
00001584: POP
00001585: JUMP
00001586: JUMPDEST
00001587: PUSH2 0x158f
0000158a: CALLER
0000158b: PUSH2 0x068b
0000158e: JUMP
0000158f: JUMPDEST
00001590: PUSH2 0x053e
00001593: DUP3
00001594: DUP3
00001595: PUSH2 0x199b
00001598: JUMP
00001599: JUMPDEST
0000159a: ADDRESS
0000159b: PUSH1 0x01
0000159d: PUSH1 0x01
0000159f: PUSH1 0xa0
000015a1: SHL
000015a2: SUB
000015a3: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1
000015c4: AND
000015c5: EQ
000015c6: DUP1
000015c7: PUSH2 0x161f
000015ca: JUMPI
000015cb: POP
000015cc: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1
000015ed: PUSH1 0x01
000015ef: PUSH1 0x01
000015f1: PUSH1 0xa0
000015f3: SHL
000015f4: SUB
000015f5: AND
000015f6: PUSH2 0x1613
000015f9: PUSH0
000015fa: MLOAD
000015fb: PUSH1 0x20
000015fd: PUSH2 0x271b
00001600: PUSH0
00001601: CODECOPY
00001602: PUSH0
00001603: MLOAD
00001604: SWAP1
00001605: PUSH0
00001606: MSTORE
00001607: SLOAD
00001608: PUSH1 0x01
0000160a: PUSH1 0x01
0000160c: PUSH1 0xa0
0000160e: SHL
0000160f: SUB
00001610: AND
00001611: SWAP1
00001612: JUMP
00001613: JUMPDEST
00001614: PUSH1 0x01
00001616: PUSH1 0x01
00001618: PUSH1 0xa0
0000161a: SHL
0000161b: SUB
0000161c: AND
0000161d: EQ
0000161e: ISZERO
0000161f: JUMPDEST
00001620: ISZERO
00001621: PUSH2 0x163d
00001624: JUMPI
00001625: PUSH1 0x40
00001627: MLOAD
00001628: PUSH4 0x703e46dd
0000162d: PUSH1 0xe1
0000162f: SHL
00001630: DUP2
00001631: MSTORE
00001632: PUSH1 0x04
00001634: ADD
00001635: PUSH1 0x40
00001637: MLOAD
00001638: DUP1
00001639: SWAP2
0000163a: SUB
0000163b: SWAP1
0000163c: REVERT
0000163d: JUMPDEST
0000163e: JUMP
0000163f: JUMPDEST
00001640: PUSH2 0x1648
00001643: CALLER
00001644: PUSH2 0x068b
00001647: JUMP
00001648: JUMPDEST
00001649: PUSH0
0000164a: DUP2
0000164b: SWAP1
0000164c: POP
0000164d: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
0000166e: DUP2
0000166f: PUSH1 0x01
00001671: PUSH1 0x01
00001673: PUSH1 0xa0
00001675: SHL
00001676: SUB
00001677: AND
00001678: PUSH4 0x49faa4d4
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: DUP2
00001681: PUSH4 0xffffffff
00001686: AND
00001687: PUSH1 0xe0
00001689: SHL
0000168a: DUP2
0000168b: MSTORE
0000168c: PUSH1 0x04
0000168e: ADD
0000168f: PUSH1 0x20
00001691: PUSH1 0x40
00001693: MLOAD
00001694: DUP1
00001695: DUP4
00001696: SUB
00001697: DUP2
00001698: DUP7
00001699: GAS
0000169a: STATICCALL
0000169b: ISZERO
0000169c: DUP1
0000169d: ISZERO
0000169e: PUSH2 0x16a9
000016a1: JUMPI
000016a2: RETURNDATASIZE
000016a3: PUSH0
000016a4: PUSH0
000016a5: RETURNDATACOPY
000016a6: RETURNDATASIZE
000016a7: PUSH0
000016a8: REVERT
000016a9: JUMPDEST
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: PUSH1 0x40
000016b0: MLOAD
000016b1: RETURNDATASIZE
000016b2: PUSH1 0x1f
000016b4: NOT
000016b5: PUSH1 0x1f
000016b7: DUP3
000016b8: ADD
000016b9: AND
000016ba: DUP3
000016bb: ADD
000016bc: DUP1
000016bd: PUSH1 0x40
000016bf: MSTORE
000016c0: POP
000016c1: DUP2
000016c2: ADD
000016c3: SWAP1
000016c4: PUSH2 0x16cd
000016c7: SWAP2
000016c8: SWAP1
000016c9: PUSH2 0x254d
000016cc: JUMP
000016cd: JUMPDEST
000016ce: EQ
000016cf: PUSH2 0x053e
000016d2: JUMPI
000016d3: PUSH1 0x40
000016d5: MLOAD
000016d6: PUSH4 0xc3944823
000016db: PUSH1 0xe0
000016dd: SHL
000016de: DUP2
000016df: MSTORE
000016e0: PUSH1 0x04
000016e2: ADD
000016e3: PUSH1 0x40
000016e5: MLOAD
000016e6: DUP1
000016e7: SWAP2
000016e8: SUB
000016e9: SWAP1
000016ea: REVERT
000016eb: JUMPDEST
000016ec: DUP2
000016ed: PUSH1 0x01
000016ef: PUSH1 0x01
000016f1: PUSH1 0xa0
000016f3: SHL
000016f4: SUB
000016f5: AND
000016f6: PUSH4 0x52d1902d
000016fb: PUSH1 0x40
000016fd: MLOAD
000016fe: DUP2
000016ff: PUSH4 0xffffffff
00001704: AND
00001705: PUSH1 0xe0
00001707: SHL
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x04
0000170c: ADD
0000170d: PUSH1 0x20
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: DUP1
00001713: DUP4
00001714: SUB
00001715: DUP2
00001716: DUP7
00001717: GAS
00001718: STATICCALL
00001719: SWAP3
0000171a: POP
0000171b: POP
0000171c: POP
0000171d: DUP1
0000171e: ISZERO
0000171f: PUSH2 0x1745
00001722: JUMPI
00001723: POP
00001724: PUSH1 0x40
00001726: DUP1
00001727: MLOAD
00001728: PUSH1 0x1f
0000172a: RETURNDATASIZE
0000172b: SWAP1
0000172c: DUP2
0000172d: ADD
0000172e: PUSH1 0x1f
00001730: NOT
00001731: AND
00001732: DUP3
00001733: ADD
00001734: SWAP1
00001735: SWAP3
00001736: MSTORE
00001737: PUSH2 0x1742
0000173a: SWAP2
0000173b: DUP2
0000173c: ADD
0000173d: SWAP1
0000173e: PUSH2 0x254d
00001741: JUMP
00001742: JUMPDEST
00001743: PUSH1 0x01
00001745: JUMPDEST
00001746: PUSH2 0x176d
00001749: JUMPI
0000174a: PUSH1 0x40
0000174c: MLOAD
0000174d: PUSH4 0x4c9c8ce3
00001752: PUSH1 0xe0
00001754: SHL
00001755: DUP2
00001756: MSTORE
00001757: PUSH1 0x01
00001759: PUSH1 0x01
0000175b: PUSH1 0xa0
0000175d: SHL
0000175e: SUB
0000175f: DUP4
00001760: AND
00001761: PUSH1 0x04
00001763: DUP3
00001764: ADD
00001765: MSTORE
00001766: PUSH1 0x24
00001768: ADD
00001769: PUSH2 0x0a79
0000176c: JUMP
0000176d: JUMPDEST
0000176e: PUSH0
0000176f: MLOAD
00001770: PUSH1 0x20
00001772: PUSH2 0x271b
00001775: PUSH0
00001776: CODECOPY
00001777: PUSH0
00001778: MLOAD
00001779: SWAP1
0000177a: PUSH0
0000177b: MSTORE
0000177c: DUP2
0000177d: EQ
0000177e: PUSH2 0x179d
00001781: JUMPI
00001782: PUSH1 0x40
00001784: MLOAD
00001785: PUSH4 0x2a875269
0000178a: PUSH1 0xe2
0000178c: SHL
0000178d: DUP2
0000178e: MSTORE
0000178f: PUSH1 0x04
00001791: DUP2
00001792: ADD
00001793: DUP3
00001794: SWAP1
00001795: MSTORE
00001796: PUSH1 0x24
00001798: ADD
00001799: PUSH2 0x0a79
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH2 0x17a7
000017a1: DUP4
000017a2: DUP4
000017a3: PUSH2 0x1eea
000017a6: JUMP
000017a7: JUMPDEST
000017a8: POP
000017a9: POP
000017aa: POP
000017ab: JUMP
000017ac: JUMPDEST
000017ad: ADDRESS
000017ae: PUSH1 0x01
000017b0: PUSH1 0x01
000017b2: PUSH1 0xa0
000017b4: SHL
000017b5: SUB
000017b6: PUSH32 0x00000000000000000000000098e1d95b4b3a5a082642e17274d67d62691288f1
000017d7: AND
000017d8: EQ
000017d9: PUSH2 0x163d
000017dc: JUMPI
000017dd: PUSH1 0x40
000017df: MLOAD
000017e0: PUSH4 0x703e46dd
000017e5: PUSH1 0xe1
000017e7: SHL
000017e8: DUP2
000017e9: MSTORE
000017ea: PUSH1 0x04
000017ec: ADD
000017ed: PUSH1 0x40
000017ef: MLOAD
000017f0: DUP1
000017f1: SWAP2
000017f2: SUB
000017f3: SWAP1
000017f4: REVERT
000017f5: JUMPDEST
000017f6: PUSH0
000017f7: MLOAD
000017f8: PUSH1 0x20
000017fa: PUSH2 0x26fb
000017fd: PUSH0
000017fe: CODECOPY
000017ff: PUSH0
00001800: MLOAD
00001801: SWAP1
00001802: PUSH0
00001803: MSTORE
00001804: PUSH0
00001805: DUP1
00001806: PUSH2 0x182d
00001809: PUSH2 0x1810
0000180c: PUSH2 0x105d
0000180f: JUMP
00001810: JUMPDEST
00001811: DUP8
00001812: ADDRESS
00001813: PUSH2 0x181f
00001816: PUSH1 0x04
00001818: PUSH0
00001819: DUP11
0000181a: DUP13
0000181b: PUSH2 0x25cb
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH2 0x1828
00001823: SWAP2
00001824: PUSH2 0x25f2
00001827: JUMP
00001828: JUMPDEST
00001829: PUSH2 0x1f3f
0000182c: JUMP
0000182d: JUMPDEST
0000182e: SWAP2
0000182f: POP
00001830: SWAP2
00001831: POP
00001832: DUP2
00001833: PUSH2 0x1302
00001836: JUMPI
00001837: PUSH4 0xffffffff
0000183c: DUP2
0000183d: AND
0000183e: ISZERO
0000183f: PUSH2 0x18c8
00001842: JUMPI
00001843: DUP3
00001844: SLOAD
00001845: PUSH1 0xff
00001847: PUSH1 0xa0
00001849: SHL
0000184a: NOT
0000184b: AND
0000184c: PUSH1 0x01
0000184e: PUSH1 0xa0
00001850: SHL
00001851: OR
00001852: DUP4
00001853: SSTORE
00001854: PUSH2 0x185b
00001857: PUSH2 0x105d
0000185a: JUMP
0000185b: JUMPDEST
0000185c: PUSH1 0x01
0000185e: PUSH1 0x01
00001860: PUSH1 0xa0
00001862: SHL
00001863: SUB
00001864: AND
00001865: PUSH4 0x94c7d7ee
0000186a: DUP8
0000186b: DUP8
0000186c: DUP8
0000186d: PUSH1 0x40
0000186f: MLOAD
00001870: DUP5
00001871: PUSH4 0xffffffff
00001876: AND
00001877: PUSH1 0xe0
00001879: SHL
0000187a: DUP2
0000187b: MSTORE
0000187c: PUSH1 0x04
0000187e: ADD
0000187f: PUSH2 0x188a
00001882: SWAP4
00001883: SWAP3
00001884: SWAP2
00001885: SWAP1
00001886: PUSH2 0x262a
00001889: JUMP
0000188a: JUMPDEST
0000188b: PUSH0
0000188c: PUSH1 0x40
0000188e: MLOAD
0000188f: DUP1
00001890: DUP4
00001891: SUB
00001892: DUP2
00001893: PUSH0
00001894: DUP8
00001895: DUP1
00001896: EXTCODESIZE
00001897: ISZERO
00001898: DUP1
00001899: ISZERO
0000189a: PUSH2 0x18a1
0000189d: JUMPI
0000189e: PUSH0
0000189f: PUSH0
000018a0: REVERT
000018a1: JUMPDEST
000018a2: POP
000018a3: GAS
000018a4: CALL
000018a5: ISZERO
000018a6: DUP1
000018a7: ISZERO
000018a8: PUSH2 0x18b3
000018ab: JUMPI
000018ac: RETURNDATASIZE
000018ad: PUSH0
000018ae: PUSH0
000018af: RETURNDATACOPY
000018b0: RETURNDATASIZE
000018b1: PUSH0
000018b2: REVERT
000018b3: JUMPDEST
000018b4: POP
000018b5: POP
000018b6: DUP5
000018b7: SLOAD
000018b8: PUSH1 0xff
000018ba: PUSH1 0xa0
000018bc: SHL
000018bd: NOT
000018be: AND
000018bf: DUP6
000018c0: SSTORE
000018c1: POP
000018c2: PUSH2 0x1302
000018c5: SWAP1
000018c6: POP
000018c7: JUMP
000018c8: JUMPDEST
000018c9: PUSH1 0x40
000018cb: MLOAD
000018cc: PUSH3 0xd1953b
000018d0: PUSH1 0xe3
000018d2: SHL
000018d3: DUP2
000018d4: MSTORE
000018d5: PUSH1 0x01
000018d7: PUSH1 0x01
000018d9: PUSH1 0xa0
000018db: SHL
000018dc: SUB
000018dd: DUP8
000018de: AND
000018df: PUSH1 0x04
000018e1: DUP3
000018e2: ADD
000018e3: MSTORE
000018e4: PUSH1 0x24
000018e6: ADD
000018e7: PUSH2 0x0a79
000018ea: JUMP
000018eb: JUMPDEST
000018ec: PUSH0
000018ed: DUP2
000018ee: DUP4
000018ef: LT
000018f0: PUSH2 0x18f9
000018f3: JUMPI
000018f4: DUP2
000018f5: PUSH2 0x18fb
000018f8: JUMP
000018f9: JUMPDEST
000018fa: DUP3
000018fb: JUMPDEST
000018fc: SWAP1
000018fd: POP
000018fe: JUMPDEST
000018ff: SWAP3
00001900: SWAP2
00001901: POP
00001902: POP
00001903: JUMP
00001904: JUMPDEST
00001905: PUSH0
00001906: PUSH1 0x01
00001908: PUSH1 0x01
0000190a: PUSH1 0x80
0000190c: SHL
0000190d: SUB
0000190e: DUP3
0000190f: GT
00001910: ISZERO
00001911: PUSH2 0x1937
00001914: JUMPI
00001915: PUSH1 0x40
00001917: MLOAD
00001918: PUSH4 0x06dfcc65
0000191d: PUSH1 0xe4
0000191f: SHL
00001920: DUP2
00001921: MSTORE
00001922: PUSH1 0x80
00001924: PUSH1 0x04
00001926: DUP3
00001927: ADD
00001928: MSTORE
00001929: PUSH1 0x24
0000192b: DUP2
0000192c: ADD
0000192d: DUP4
0000192e: SWAP1
0000192f: MSTORE
00001930: PUSH1 0x44
00001932: ADD
00001933: PUSH2 0x0a79
00001936: JUMP
00001937: JUMPDEST
00001938: POP
00001939: SWAP1
0000193a: JUMP
0000193b: JUMPDEST
0000193c: PUSH0
0000193d: MLOAD
0000193e: PUSH1 0x20
00001940: PUSH2 0x26fb
00001943: PUSH0
00001944: CODECOPY
00001945: PUSH0
00001946: MLOAD
00001947: SWAP1
00001948: PUSH0
00001949: MSTORE
0000194a: DUP1
0000194b: SLOAD
0000194c: PUSH1 0x01
0000194e: PUSH1 0x01
00001950: PUSH1 0xa0
00001952: SHL
00001953: SUB
00001954: DUP4
00001955: AND
00001956: PUSH1 0x01
00001958: PUSH1 0x01
0000195a: PUSH1 0xa0
0000195c: SHL
0000195d: SUB
0000195e: NOT
0000195f: SWAP1
00001960: SWAP2
00001961: AND
00001962: DUP2
00001963: OR
00001964: DUP3
00001965: SSTORE
00001966: PUSH1 0x40
00001968: DUP1
00001969: MLOAD
0000196a: SWAP2
0000196b: DUP3
0000196c: MSTORE
0000196d: MLOAD
0000196e: PUSH32 0x2f658b440c35314f52658ea8a740e05b284cdc84dc9ae01e891f21b8933e7cad
0000198f: SWAP2
00001990: DUP2
00001991: SWAP1
00001992: SUB
00001993: PUSH1 0x20
00001995: ADD
00001996: SWAP1
00001997: LOG1
00001998: POP
00001999: POP
0000199a: JUMP
0000199b: JUMPDEST
0000199c: PUSH32 0xa4e2950800ad48b89d951842a006c666c0b29f755b9face41cad0b8d83328900
000019bd: TLOAD
000019be: ISZERO
000019bf: PUSH2 0x19cf
000019c2: JUMPI
000019c3: PUSH4 0x0eca04b2
000019c8: PUSH0
000019c9: MSTORE
000019ca: PUSH1 0x04
000019cc: PUSH1 0x1c
000019ce: REVERT
000019cf: JUMPDEST
000019d0: PUSH1 0x01
000019d2: PUSH32 0xa4e2950800ad48b89d951842a006c666c0b29f755b9face41cad0b8d83328900
000019f3: TSTORE
000019f4: PUSH0
000019f5: MLOAD
000019f6: PUSH1 0x20
000019f8: PUSH2 0x273b
000019fb: PUSH0
000019fc: CODECOPY
000019fd: PUSH0
000019fe: MLOAD
000019ff: SWAP1
00001a00: PUSH0
00001a01: MSTORE
00001a02: PUSH7 0x2386f26fc10000
00001a0a: PUSH1 0x01
00001a0c: PUSH1 0x01
00001a0e: PUSH1 0x80
00001a10: SHL
00001a11: SUB
00001a12: DUP5
00001a13: AND
00001a14: LT
00001a15: ISZERO
00001a16: PUSH2 0x1a32
00001a19: JUMPI
00001a1a: PUSH1 0x40
00001a1c: MLOAD
00001a1d: PUSH4 0x74c51ccb
00001a22: PUSH1 0xe1
00001a24: SHL
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x04
00001a29: ADD
00001a2a: PUSH1 0x40
00001a2c: MLOAD
00001a2d: DUP1
00001a2e: SWAP2
00001a2f: SUB
00001a30: SWAP1
00001a31: REVERT
00001a32: JUMPDEST
00001a33: DUP1
00001a34: SLOAD
00001a35: PUSH1 0x01
00001a37: PUSH1 0x01
00001a39: PUSH1 0x80
00001a3b: SHL
00001a3c: SUB
00001a3d: DUP5
00001a3e: AND
00001a3f: GT
00001a40: ISZERO
00001a41: PUSH2 0x1a5d
00001a44: JUMPI
00001a45: PUSH1 0x40
00001a47: MLOAD
00001a48: PUSH4 0x4afeaa93
00001a4d: PUSH1 0xe1
00001a4f: SHL
00001a50: DUP2
00001a51: MSTORE
00001a52: PUSH1 0x04
00001a54: ADD
00001a55: PUSH1 0x40
00001a57: MLOAD
00001a58: DUP1
00001a59: SWAP2
00001a5a: SUB
00001a5b: SWAP1
00001a5c: REVERT
00001a5d: JUMPDEST
00001a5e: PUSH1 0x01
00001a60: PUSH1 0x01
00001a62: PUSH1 0xa0
00001a64: SHL
00001a65: SUB
00001a66: DUP3
00001a67: AND
00001a68: PUSH2 0x1a84
00001a6b: JUMPI
00001a6c: PUSH1 0x40
00001a6e: MLOAD
00001a6f: PUSH4 0x54f7ed33
00001a74: PUSH1 0xe0
00001a76: SHL
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x04
00001a7b: ADD
00001a7c: PUSH1 0x40
00001a7e: MLOAD
00001a7f: DUP1
00001a80: SWAP2
00001a81: SUB
00001a82: SWAP1
00001a83: REVERT
00001a84: JUMPDEST
00001a85: PUSH1 0x40
00001a87: MLOAD
00001a88: PUSH4 0x23b872dd
00001a8d: PUSH1 0xe0
00001a8f: SHL
00001a90: DUP2
00001a91: MSTORE
00001a92: CALLER
00001a93: PUSH1 0x04
00001a95: DUP3
00001a96: ADD
00001a97: MSTORE
00001a98: ADDRESS
00001a99: PUSH1 0x24
00001a9b: DUP3
00001a9c: ADD
00001a9d: MSTORE
00001a9e: PUSH1 0x01
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0x80
00001aa4: SHL
00001aa5: SUB
00001aa6: DUP5
00001aa7: AND
00001aa8: PUSH1 0x44
00001aaa: DUP3
00001aab: ADD
00001aac: MSTORE
00001aad: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00001ace: PUSH1 0x01
00001ad0: PUSH1 0x01
00001ad2: PUSH1 0xa0
00001ad4: SHL
00001ad5: SUB
00001ad6: AND
00001ad7: SWAP1
00001ad8: PUSH4 0x23b872dd
00001add: SWAP1
00001ade: PUSH1 0x64
00001ae0: ADD
00001ae1: PUSH1 0x20
00001ae3: PUSH1 0x40
00001ae5: MLOAD
00001ae6: DUP1
00001ae7: DUP4
00001ae8: SUB
00001ae9: DUP2
00001aea: PUSH0
00001aeb: DUP8
00001aec: GAS
00001aed: CALL
00001aee: ISZERO
00001aef: DUP1
00001af0: ISZERO
00001af1: PUSH2 0x1afc
00001af4: JUMPI
00001af5: RETURNDATASIZE
00001af6: PUSH0
00001af7: PUSH0
00001af8: RETURNDATACOPY
00001af9: RETURNDATASIZE
00001afa: PUSH0
00001afb: REVERT
00001afc: JUMPDEST
00001afd: POP
00001afe: POP
00001aff: POP
00001b00: POP
00001b01: PUSH1 0x40
00001b03: MLOAD
00001b04: RETURNDATASIZE
00001b05: PUSH1 0x1f
00001b07: NOT
00001b08: PUSH1 0x1f
00001b0a: DUP3
00001b0b: ADD
00001b0c: AND
00001b0d: DUP3
00001b0e: ADD
00001b0f: DUP1
00001b10: PUSH1 0x40
00001b12: MSTORE
00001b13: POP
00001b14: DUP2
00001b15: ADD
00001b16: SWAP1
00001b17: PUSH2 0x1b20
00001b1a: SWAP2
00001b1b: SWAP1
00001b1c: PUSH2 0x2501
00001b1f: JUMP
00001b20: JUMPDEST
00001b21: POP
00001b22: PUSH1 0x02
00001b24: DUP2
00001b25: ADD
00001b26: SLOAD
00001b27: PUSH0
00001b28: PUSH2 0x1b51
00001b2b: PUSH32 0x000000000000000000000000000000000000000000000000000000000000000a
00001b4c: DUP4
00001b4d: PUSH2 0x2473
00001b50: JUMP
00001b51: JUMPDEST
00001b52: PUSH1 0x03
00001b54: DUP5
00001b55: ADD
00001b56: SLOAD
00001b57: SWAP1
00001b58: SWAP2
00001b59: POP
00001b5a: DUP2
00001b5b: SUB
00001b5c: PUSH2 0x1c27
00001b5f: JUMPI
00001b60: PUSH1 0x40
00001b62: DUP1
00001b63: MLOAD
00001b64: PUSH1 0xa0
00001b66: DUP2
00001b67: ADD
00001b68: DUP3
00001b69: MSTORE
00001b6a: PUSH0
00001b6b: DUP1
00001b6c: DUP3
00001b6d: MSTORE
00001b6e: PUSH1 0x20
00001b70: DUP1
00001b71: DUP4
00001b72: ADD
00001b73: DUP3
00001b74: DUP2
00001b75: MSTORE
00001b76: SWAP4
00001b77: DUP4
00001b78: ADD
00001b79: DUP3
00001b7a: DUP2
00001b7b: MSTORE
00001b7c: PUSH1 0x60
00001b7e: DUP5
00001b7f: ADD
00001b80: DUP4
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x80
00001b85: DUP6
00001b86: ADD
00001b87: DUP5
00001b88: DUP2
00001b89: MSTORE
00001b8a: PUSH1 0x03
00001b8c: DUP11
00001b8d: ADD
00001b8e: DUP1
00001b8f: SLOAD
00001b90: PUSH1 0x01
00001b92: DUP2
00001b93: DUP2
00001b94: ADD
00001b95: DUP4
00001b96: SSTORE
00001b97: SWAP2
00001b98: DUP8
00001b99: MSTORE
00001b9a: SWAP5
00001b9b: SWAP1
00001b9c: SWAP6
00001b9d: KECCAK256
00001b9e: SWAP6
00001b9f: MLOAD
00001ba0: PUSH1 0x02
00001ba2: SWAP1
00001ba3: SWAP5
00001ba4: MUL
00001ba5: SWAP1
00001ba6: SWAP6
00001ba7: ADD
00001ba8: DUP1
00001ba9: SLOAD
00001baa: SWAP7
00001bab: MLOAD
00001bac: SWAP3
00001bad: MLOAD
00001bae: PUSH1 0x01
00001bb0: PUSH1 0x01
00001bb2: PUSH1 0x60
00001bb4: SHL
00001bb5: SUB
00001bb6: AND
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0x98
00001bbb: SHL
00001bbc: MUL
00001bbd: PUSH12 0xffffffffffffffffffffffff
00001bca: PUSH1 0x98
00001bcc: SHL
00001bcd: NOT
00001bce: PUSH1 0x01
00001bd0: PUSH1 0x01
00001bd2: PUSH1 0x58
00001bd4: SHL
00001bd5: SUB
00001bd6: SWAP5
00001bd7: SWAP1
00001bd8: SWAP5
00001bd9: AND
00001bda: PUSH1 0x01
00001bdc: PUSH1 0x40
00001bde: SHL
00001bdf: MUL
00001be0: PUSH1 0x01
00001be2: PUSH1 0x01
00001be4: PUSH1 0x98
00001be6: SHL
00001be7: SUB
00001be8: NOT
00001be9: SWAP1
00001bea: SWAP9
00001beb: AND
00001bec: PUSH1 0x01
00001bee: PUSH1 0x01
00001bf0: PUSH1 0x40
00001bf2: SHL
00001bf3: SUB
00001bf4: SWAP6
00001bf5: SWAP1
00001bf6: SWAP6
00001bf7: AND
00001bf8: SWAP5
00001bf9: SWAP1
00001bfa: SWAP5
00001bfb: OR
00001bfc: SWAP7
00001bfd: SWAP1
00001bfe: SWAP7
00001bff: OR
00001c00: SWAP2
00001c01: SWAP1
00001c02: SWAP2
00001c03: AND
00001c04: SWAP2
00001c05: SWAP1
00001c06: SWAP2
00001c07: OR
00001c08: DUP5
00001c09: SSTORE
00001c0a: MLOAD
00001c0b: SWAP2
00001c0c: MLOAD
00001c0d: PUSH1 0x01
00001c0f: PUSH1 0x01
00001c11: PUSH1 0x80
00001c13: SHL
00001c14: SUB
00001c15: SWAP1
00001c16: DUP2
00001c17: AND
00001c18: PUSH1 0x01
00001c1a: PUSH1 0x80
00001c1c: SHL
00001c1d: MUL
00001c1e: SWAP3
00001c1f: AND
00001c20: SWAP2
00001c21: SWAP1
00001c22: SWAP2
00001c23: OR
00001c24: SWAP2
00001c25: ADD
00001c26: SSTORE
00001c27: JUMPDEST
00001c28: PUSH1 0x40
00001c2a: MLOAD
00001c2b: PUSH4 0x03d1689d
00001c30: PUSH1 0xe1
00001c32: SHL
00001c33: DUP2
00001c34: MSTORE
00001c35: PUSH8 0x0de0b6b3a7640000
00001c3e: PUSH1 0x04
00001c40: DUP3
00001c41: ADD
00001c42: MSTORE
00001c43: PUSH0
00001c44: SWAP1
00001c45: PUSH32 0x000000000000000000000000d9a442856c234a39a81a089c06451ebaa4306a72
00001c66: PUSH1 0x01
00001c68: PUSH1 0x01
00001c6a: PUSH1 0xa0
00001c6c: SHL
00001c6d: SUB
00001c6e: AND
00001c6f: SWAP1
00001c70: PUSH4 0x07a2d13a
00001c75: SWAP1
00001c76: PUSH1 0x24
00001c78: ADD
00001c79: PUSH1 0x20
00001c7b: PUSH1 0x40
00001c7d: MLOAD
00001c7e: DUP1
00001c7f: DUP4
00001c80: SUB
00001c81: DUP2
00001c82: DUP7
00001c83: GAS
00001c84: STATICCALL
00001c85: ISZERO
00001c86: DUP1
00001c87: ISZERO
00001c88: PUSH2 0x1c93
00001c8b: JUMPI
00001c8c: RETURNDATASIZE
00001c8d: PUSH0
00001c8e: PUSH0
00001c8f: RETURNDATACOPY
00001c90: RETURNDATASIZE
00001c91: PUSH0
00001c92: REVERT
00001c93: JUMPDEST
00001c94: POP
00001c95: POP
00001c96: POP
00001c97: POP
00001c98: PUSH1 0x40
00001c9a: MLOAD
00001c9b: RETURNDATASIZE
00001c9c: PUSH1 0x1f
00001c9e: NOT
00001c9f: PUSH1 0x1f
00001ca1: DUP3
00001ca2: ADD
00001ca3: AND
00001ca4: DUP3
00001ca5: ADD
00001ca6: DUP1
00001ca7: PUSH1 0x40
00001ca9: MSTORE
00001caa: POP
00001cab: DUP2
00001cac: ADD
00001cad: SWAP1
00001cae: PUSH2 0x1cb7
00001cb1: SWAP2
00001cb2: SWAP1
00001cb3: PUSH2 0x254d
00001cb6: JUMP
00001cb7: JUMPDEST
00001cb8: SWAP1
00001cb9: POP
00001cba: PUSH0
00001cbb: PUSH8 0x0de0b6b3a7640000
00001cc4: PUSH2 0x1cd6
00001cc7: DUP4
00001cc8: PUSH1 0x01
00001cca: PUSH1 0x01
00001ccc: PUSH1 0x80
00001cce: SHL
00001ccf: SUB
00001cd0: DUP11
00001cd1: AND
00001cd2: PUSH2 0x2492
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: PUSH2 0x1ce0
00001cda: SWAP2
00001cdb: SWAP1
00001cdc: PUSH2 0x2473
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: SWAP1
00001ce2: POP
00001ce3: PUSH0
00001ce4: DUP6
00001ce5: PUSH1 0x03
00001ce7: ADD
00001ce8: DUP5
00001ce9: DUP2
00001cea: SLOAD
00001ceb: DUP2
00001cec: LT
00001ced: PUSH2 0x1cf8
00001cf0: JUMPI
00001cf1: PUSH2 0x1cf8
00001cf4: PUSH2 0x244b
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: SWAP1
00001cfa: PUSH0
00001cfb: MSTORE
00001cfc: PUSH1 0x20
00001cfe: PUSH0
00001cff: KECCAK256
00001d00: SWAP1
00001d01: PUSH1 0x02
00001d03: MUL
00001d04: ADD
00001d05: SWAP1
00001d06: POP
00001d07: DUP8
00001d08: DUP2
00001d09: PUSH0
00001d0a: ADD
00001d0b: PUSH1 0x08
00001d0d: DUP3
00001d0e: DUP3
00001d0f: DUP3
00001d10: SWAP1
00001d11: SLOAD
00001d12: SWAP1
00001d13: PUSH2 0x0100
00001d16: EXP
00001d17: SWAP1
00001d18: DIV
00001d19: PUSH1 0x01
00001d1b: PUSH1 0x01
00001d1d: PUSH1 0x58
00001d1f: SHL
00001d20: SUB
00001d21: AND
00001d22: PUSH2 0x1d2b
00001d25: SWAP2
00001d26: SWAP1
00001d27: PUSH2 0x2669
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: SWAP3
00001d2d: POP
00001d2e: PUSH2 0x0100
00001d31: EXP
00001d32: DUP2
00001d33: SLOAD
00001d34: DUP2
00001d35: PUSH1 0x01
00001d37: PUSH1 0x01
00001d39: PUSH1 0x58
00001d3b: SHL
00001d3c: SUB
00001d3d: MUL
00001d3e: NOT
00001d3f: AND
00001d40: SWAP1
00001d41: DUP4
00001d42: PUSH1 0x01
00001d44: PUSH1 0x01
00001d46: PUSH1 0x58
00001d48: SHL
00001d49: SUB
00001d4a: AND
00001d4b: MUL
00001d4c: OR
00001d4d: SWAP1
00001d4e: SSTORE
00001d4f: POP
00001d50: DUP2
00001d51: DUP2
00001d52: PUSH0
00001d53: ADD
00001d54: PUSH1 0x13
00001d56: DUP3
00001d57: DUP3
00001d58: DUP3
00001d59: SWAP1
00001d5a: SLOAD
00001d5b: SWAP1
00001d5c: PUSH2 0x0100
00001d5f: EXP
00001d60: SWAP1
00001d61: DIV
00001d62: PUSH1 0x01
00001d64: PUSH1 0x01
00001d66: PUSH1 0x60
00001d68: SHL
00001d69: SUB
00001d6a: AND
00001d6b: PUSH2 0x1d74
00001d6e: SWAP2
00001d6f: SWAP1
00001d70: PUSH2 0x2688
00001d73: JUMP
00001d74: JUMPDEST
00001d75: SWAP3
00001d76: POP
00001d77: PUSH2 0x0100
00001d7a: EXP
00001d7b: DUP2
00001d7c: SLOAD
00001d7d: DUP2
00001d7e: PUSH1 0x01
00001d80: PUSH1 0x01
00001d82: PUSH1 0x60
00001d84: SHL
00001d85: SUB
00001d86: MUL
00001d87: NOT
00001d88: AND
00001d89: SWAP1
00001d8a: DUP4
00001d8b: PUSH1 0x01
00001d8d: PUSH1 0x01
00001d8f: PUSH1 0x60
00001d91: SHL
00001d92: SUB
00001d93: AND
00001d94: MUL
00001d95: OR
00001d96: SWAP1
00001d97: SSTORE
00001d98: POP
00001d99: DUP6
00001d9a: PUSH1 0x02
00001d9c: ADD
00001d9d: PUSH1 0x40
00001d9f: MLOAD
00001da0: DUP1
00001da1: PUSH1 0x60
00001da3: ADD
00001da4: PUSH1 0x40
00001da6: MSTORE
00001da7: DUP1
00001da8: DUP11
00001da9: PUSH1 0x01
00001dab: PUSH1 0x01
00001dad: PUSH1 0x80
00001daf: SHL
00001db0: SUB
00001db1: AND
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: ADD
00001db7: PUSH2 0x1dbf
00001dba: DUP7
00001dbb: PUSH2 0x1904
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x01
00001dc2: PUSH1 0x01
00001dc4: PUSH1 0x80
00001dc6: SHL
00001dc7: SUB
00001dc8: SWAP1
00001dc9: DUP2
00001dca: AND
00001dcb: DUP3
00001dcc: MSTORE
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0x01
00001dd1: PUSH1 0xa0
00001dd3: SHL
00001dd4: SUB
00001dd5: DUP12
00001dd6: DUP2
00001dd7: AND
00001dd8: PUSH1 0x20
00001dda: SWAP4
00001ddb: DUP5
00001ddc: ADD
00001ddd: DUP2
00001dde: SWAP1
00001ddf: MSTORE
00001de0: DUP6
00001de1: SLOAD
00001de2: PUSH1 0x01
00001de4: DUP1
00001de5: DUP3
00001de6: ADD
00001de7: DUP9
00001de8: SSTORE
00001de9: PUSH0
00001dea: SWAP8
00001deb: DUP9
00001dec: MSTORE
00001ded: SWAP7
00001dee: DUP6
00001def: SWAP1
00001df0: KECCAK256
00001df1: DUP7
00001df2: MLOAD
00001df3: DUP8
00001df4: DUP8
00001df5: ADD
00001df6: MLOAD
00001df7: DUP7
00001df8: AND
00001df9: PUSH1 0x01
00001dfb: PUSH1 0x80
00001dfd: SHL
00001dfe: MUL
00001dff: SWAP1
00001e00: DUP7
00001e01: AND
00001e02: OR
00001e03: PUSH1 0x02
00001e05: SWAP1
00001e06: SWAP3
00001e07: MUL
00001e08: ADD
00001e09: SWAP1
00001e0a: DUP2
00001e0b: SSTORE
00001e0c: PUSH1 0x40
00001e0e: SWAP6
00001e0f: DUP7
00001e10: ADD
00001e11: MLOAD
00001e12: SWAP7
00001e13: ADD
00001e14: DUP1
00001e15: SLOAD
00001e16: SWAP7
00001e17: SWAP1
00001e18: SWAP3
00001e19: AND
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0x01
00001e1e: PUSH1 0xa0
00001e20: SHL
00001e21: SUB
00001e22: NOT
00001e23: SWAP1
00001e24: SWAP7
00001e25: AND
00001e26: SWAP6
00001e27: SWAP1
00001e28: SWAP6
00001e29: OR
00001e2a: SWAP1
00001e2b: SSTORE
00001e2c: SWAP2
00001e2d: MLOAD
00001e2e: SWAP2
00001e2f: DUP12
00001e30: AND
00001e31: DUP3
00001e32: MSTORE
00001e33: DUP7
00001e34: SWAP2
00001e35: DUP9
00001e36: SWAP2
00001e37: PUSH32 0x18b30bd1409a6a29a2f7518298686a8e7fff748e461a0143a8c772ed29015ece
00001e58: SWAP2
00001e59: ADD
00001e5a: PUSH1 0x40
00001e5c: MLOAD
00001e5d: DUP1
00001e5e: SWAP2
00001e5f: SUB
00001e60: SWAP1
00001e61: LOG4
00001e62: POP
00001e63: POP
00001e64: POP
00001e65: POP
00001e66: POP
00001e67: POP
00001e68: POP
00001e69: POP
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: PUSH0
00001e6d: DUP1
00001e6e: PUSH8 0x0de0b6b3a7640000
00001e77: PUSH2 0x1e80
00001e7a: DUP6
00001e7b: DUP8
00001e7c: PUSH2 0x2492
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH2 0x1e8a
00001e84: SWAP2
00001e85: SWAP1
00001e86: PUSH2 0x2473
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: SWAP1
00001e8c: POP
00001e8d: PUSH2 0x1e96
00001e90: DUP4
00001e91: DUP3
00001e92: PUSH2 0x18eb
00001e95: JUMP
00001e96: JUMPDEST
00001e97: SWAP2
00001e98: POP
00001e99: POP
00001e9a: JUMPDEST
00001e9b: SWAP4
00001e9c: SWAP3
00001e9d: POP
00001e9e: POP
00001e9f: POP
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH0
00001ea3: PUSH1 0x01
00001ea5: PUSH1 0x01
00001ea7: PUSH1 0x40
00001ea9: SHL
00001eaa: SUB
00001eab: DUP3
00001eac: GT
00001ead: ISZERO
00001eae: PUSH2 0x1937
00001eb1: JUMPI
00001eb2: PUSH1 0x40
00001eb4: DUP1
00001eb5: MLOAD
00001eb6: PUSH4 0x06dfcc65
00001ebb: PUSH1 0xe4
00001ebd: SHL
00001ebe: DUP2
00001ebf: MSTORE
00001ec0: PUSH1 0x04
00001ec2: DUP2
00001ec3: ADD
00001ec4: SWAP2
00001ec5: SWAP1
00001ec6: SWAP2
00001ec7: MSTORE
00001ec8: PUSH1 0x24
00001eca: DUP2
00001ecb: ADD
00001ecc: DUP4
00001ecd: SWAP1
00001ece: MSTORE
00001ecf: PUSH1 0x44
00001ed1: ADD
00001ed2: PUSH2 0x0a79
00001ed5: JUMP
00001ed6: JUMPDEST
00001ed7: PUSH2 0x1ede
00001eda: PUSH2 0x2047
00001edd: JUMP
00001ede: JUMPDEST
00001edf: PUSH2 0x1ee7
00001ee2: DUP2
00001ee3: PUSH2 0x2090
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: POP
00001ee9: JUMP
00001eea: JUMPDEST
00001eeb: PUSH2 0x1ef3
00001eee: DUP3
00001eef: PUSH2 0x20a1
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: PUSH1 0x01
00001ef9: PUSH1 0x01
00001efb: PUSH1 0xa0
00001efd: SHL
00001efe: SUB
00001eff: DUP4
00001f00: AND
00001f01: SWAP1
00001f02: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b
00001f23: SWAP1
00001f24: PUSH0
00001f25: SWAP1
00001f26: LOG2
00001f27: DUP1
00001f28: MLOAD
00001f29: ISZERO
00001f2a: PUSH2 0x1f37
00001f2d: JUMPI
00001f2e: PUSH2 0x17a7
00001f31: DUP3
00001f32: DUP3
00001f33: PUSH2 0x2104
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH2 0x053e
00001f3b: PUSH2 0x2176
00001f3e: JUMP
00001f3f: JUMPDEST
00001f40: PUSH1 0x40
00001f42: MLOAD
00001f43: PUSH1 0x01
00001f45: PUSH1 0x01
00001f47: PUSH1 0xa0
00001f49: SHL
00001f4a: SUB
00001f4b: DUP5
00001f4c: DUP2
00001f4d: AND
00001f4e: PUSH1 0x24
00001f50: DUP4
00001f51: ADD
00001f52: MSTORE
00001f53: DUP4
00001f54: DUP2
00001f55: AND
00001f56: PUSH1 0x44
00001f58: DUP4
00001f59: ADD
00001f5a: MSTORE
00001f5b: PUSH1 0x01
00001f5d: PUSH1 0x01
00001f5f: PUSH1 0xe0
00001f61: SHL
00001f62: SUB
00001f63: NOT
00001f64: DUP4
00001f65: AND
00001f66: PUSH1 0x64
00001f68: DUP4
00001f69: ADD
00001f6a: MSTORE
00001f6b: PUSH0
00001f6c: SWAP2
00001f6d: DUP3
00001f6e: SWAP2
00001f6f: DUP3
00001f70: SWAP2
00001f71: DUP3
00001f72: SWAP2
00001f73: DUP10
00001f74: AND
00001f75: SWAP1
00001f76: PUSH1 0x84
00001f78: ADD
00001f79: PUSH1 0x40
00001f7b: DUP1
00001f7c: MLOAD
00001f7d: PUSH1 0x1f
00001f7f: NOT
00001f80: DUP2
00001f81: DUP5
00001f82: SUB
00001f83: ADD
00001f84: DUP2
00001f85: MSTORE
00001f86: SWAP2
00001f87: DUP2
00001f88: MSTORE
00001f89: PUSH1 0x20
00001f8b: DUP3
00001f8c: ADD
00001f8d: DUP1
00001f8e: MLOAD
00001f8f: PUSH1 0x01
00001f91: PUSH1 0x01
00001f93: PUSH1 0xe0
00001f95: SHL
00001f96: SUB
00001f97: AND
00001f98: PUSH4 0xb7009613
00001f9d: PUSH1 0xe0
00001f9f: SHL
00001fa0: OR
00001fa1: SWAP1
00001fa2: MSTORE
00001fa3: MLOAD
00001fa4: PUSH2 0x1fad
00001fa7: SWAP2
00001fa8: SWAP1
00001fa9: PUSH2 0x26a7
00001fac: JUMP
00001fad: JUMPDEST
00001fae: PUSH0
00001faf: PUSH1 0x40
00001fb1: MLOAD
00001fb2: DUP1
00001fb3: DUP4
00001fb4: SUB
00001fb5: DUP2
00001fb6: DUP6
00001fb7: GAS
00001fb8: STATICCALL
00001fb9: SWAP2
00001fba: POP
00001fbb: POP
00001fbc: RETURNDATASIZE
00001fbd: DUP1
00001fbe: PUSH0
00001fbf: DUP2
00001fc0: EQ
00001fc1: PUSH2 0x1fe5
00001fc4: JUMPI
00001fc5: PUSH1 0x40
00001fc7: MLOAD
00001fc8: SWAP2
00001fc9: POP
00001fca: PUSH1 0x1f
00001fcc: NOT
00001fcd: PUSH1 0x3f
00001fcf: RETURNDATASIZE
00001fd0: ADD
00001fd1: AND
00001fd2: DUP3
00001fd3: ADD
00001fd4: PUSH1 0x40
00001fd6: MSTORE
00001fd7: RETURNDATASIZE
00001fd8: DUP3
00001fd9: MSTORE
00001fda: RETURNDATASIZE
00001fdb: PUSH0
00001fdc: PUSH1 0x20
00001fde: DUP5
00001fdf: ADD
00001fe0: RETURNDATACOPY
00001fe1: PUSH2 0x1fea
00001fe4: JUMP
00001fe5: JUMPDEST
00001fe6: PUSH1 0x60
00001fe8: SWAP2
00001fe9: POP
00001fea: JUMPDEST
00001feb: POP
00001fec: SWAP2
00001fed: POP
00001fee: SWAP2
00001fef: POP
00001ff0: DUP2
00001ff1: ISZERO
00001ff2: PUSH2 0x203c
00001ff5: JUMPI
00001ff6: PUSH1 0x40
00001ff8: DUP2
00001ff9: MLOAD
00001ffa: LT
00001ffb: PUSH2 0x201c
00001ffe: JUMPI
00001fff: DUP1
00002000: DUP1
00002001: PUSH1 0x20
00002003: ADD
00002004: SWAP1
00002005: MLOAD
00002006: DUP2
00002007: ADD
00002008: SWAP1
00002009: PUSH2 0x2012
0000200c: SWAP2
0000200d: SWAP1
0000200e: PUSH2 0x26bd
00002011: JUMP
00002012: JUMPDEST
00002013: SWAP1
00002014: SWAP5
00002015: POP
00002016: SWAP3
00002017: POP
00002018: PUSH2 0x203c
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH1 0x20
0000201f: DUP2
00002020: MLOAD
00002021: LT
00002022: PUSH2 0x203c
00002025: JUMPI
00002026: DUP1
00002027: DUP1
00002028: PUSH1 0x20
0000202a: ADD
0000202b: SWAP1
0000202c: MLOAD
0000202d: DUP2
0000202e: ADD
0000202f: SWAP1
00002030: PUSH2 0x2039
00002033: SWAP2
00002034: SWAP1
00002035: PUSH2 0x2501
00002038: JUMP
00002039: JUMPDEST
0000203a: SWAP4
0000203b: POP
0000203c: JUMPDEST
0000203d: POP
0000203e: POP
0000203f: SWAP5
00002040: POP
00002041: SWAP5
00002042: SWAP3
00002043: POP
00002044: POP
00002045: POP
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00002069: SLOAD
0000206a: PUSH1 0x01
0000206c: PUSH1 0x40
0000206e: SHL
0000206f: SWAP1
00002070: DIV
00002071: PUSH1 0xff
00002073: AND
00002074: PUSH2 0x163d
00002077: JUMPI
00002078: PUSH1 0x40
0000207a: MLOAD
0000207b: PUSH4 0x1afcd79f
00002080: PUSH1 0xe3
00002082: SHL
00002083: DUP2
00002084: MSTORE
00002085: PUSH1 0x04
00002087: ADD
00002088: PUSH1 0x40
0000208a: MLOAD
0000208b: DUP1
0000208c: SWAP2
0000208d: SUB
0000208e: SWAP1
0000208f: REVERT
00002090: JUMPDEST
00002091: PUSH2 0x2098
00002094: PUSH2 0x2047
00002097: JUMP
00002098: JUMPDEST
00002099: PUSH2 0x1ee7
0000209c: DUP2
0000209d: PUSH2 0x193b
000020a0: JUMP
000020a1: JUMPDEST
000020a2: DUP1
000020a3: PUSH1 0x01
000020a5: PUSH1 0x01
000020a7: PUSH1 0xa0
000020a9: SHL
000020aa: SUB
000020ab: AND
000020ac: EXTCODESIZE
000020ad: PUSH0
000020ae: SUB
000020af: PUSH2 0x20d6
000020b2: JUMPI
000020b3: PUSH1 0x40
000020b5: MLOAD
000020b6: PUSH4 0x4c9c8ce3
000020bb: PUSH1 0xe0
000020bd: SHL
000020be: DUP2
000020bf: MSTORE
000020c0: PUSH1 0x01
000020c2: PUSH1 0x01
000020c4: PUSH1 0xa0
000020c6: SHL
000020c7: SUB
000020c8: DUP3
000020c9: AND
000020ca: PUSH1 0x04
000020cc: DUP3
000020cd: ADD
000020ce: MSTORE
000020cf: PUSH1 0x24
000020d1: ADD
000020d2: PUSH2 0x0a79
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH0
000020d8: MLOAD
000020d9: PUSH1 0x20
000020db: PUSH2 0x271b
000020de: PUSH0
000020df: CODECOPY
000020e0: PUSH0
000020e1: MLOAD
000020e2: SWAP1
000020e3: PUSH0
000020e4: MSTORE
000020e5: DUP1
000020e6: SLOAD
000020e7: PUSH1 0x01
000020e9: PUSH1 0x01
000020eb: PUSH1 0xa0
000020ed: SHL
000020ee: SUB
000020ef: NOT
000020f0: AND
000020f1: PUSH1 0x01
000020f3: PUSH1 0x01
000020f5: PUSH1 0xa0
000020f7: SHL
000020f8: SUB
000020f9: SWAP3
000020fa: SWAP1
000020fb: SWAP3
000020fc: AND
000020fd: SWAP2
000020fe: SWAP1
000020ff: SWAP2
00002100: OR
00002101: SWAP1
00002102: SSTORE
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH1 0x60
00002107: PUSH0
00002108: PUSH0
00002109: DUP5
0000210a: PUSH1 0x01
0000210c: PUSH1 0x01
0000210e: PUSH1 0xa0
00002110: SHL
00002111: SUB
00002112: AND
00002113: DUP5
00002114: PUSH1 0x40
00002116: MLOAD
00002117: PUSH2 0x2120
0000211a: SWAP2
0000211b: SWAP1
0000211c: PUSH2 0x26a7
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH0
00002122: PUSH1 0x40
00002124: MLOAD
00002125: DUP1
00002126: DUP4
00002127: SUB
00002128: DUP2
00002129: DUP6
0000212a: GAS
0000212b: DELEGATECALL
0000212c: SWAP2
0000212d: POP
0000212e: POP
0000212f: RETURNDATASIZE
00002130: DUP1
00002131: PUSH0
00002132: DUP2
00002133: EQ
00002134: PUSH2 0x2158
00002137: JUMPI
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: SWAP2
0000213c: POP
0000213d: PUSH1 0x1f
0000213f: NOT
00002140: PUSH1 0x3f
00002142: RETURNDATASIZE
00002143: ADD
00002144: AND
00002145: DUP3
00002146: ADD
00002147: PUSH1 0x40
00002149: MSTORE
0000214a: RETURNDATASIZE
0000214b: DUP3
0000214c: MSTORE
0000214d: RETURNDATASIZE
0000214e: PUSH0
0000214f: PUSH1 0x20
00002151: DUP5
00002152: ADD
00002153: RETURNDATACOPY
00002154: PUSH2 0x215d
00002157: JUMP
00002158: JUMPDEST
00002159: PUSH1 0x60
0000215b: SWAP2
0000215c: POP
0000215d: JUMPDEST
0000215e: POP
0000215f: SWAP2
00002160: POP
00002161: SWAP2
00002162: POP
00002163: PUSH2 0x216d
00002166: DUP6
00002167: DUP4
00002168: DUP4
00002169: PUSH2 0x2195
0000216c: JUMP
0000216d: JUMPDEST
0000216e: SWAP6
0000216f: SWAP5
00002170: POP
00002171: POP
00002172: POP
00002173: POP
00002174: POP
00002175: JUMP
00002176: JUMPDEST
00002177: CALLVALUE
00002178: ISZERO
00002179: PUSH2 0x163d
0000217c: JUMPI
0000217d: PUSH1 0x40
0000217f: MLOAD
00002180: PUSH4 0xb398979f
00002185: PUSH1 0xe0
00002187: SHL
00002188: DUP2
00002189: MSTORE
0000218a: PUSH1 0x04
0000218c: ADD
0000218d: PUSH1 0x40
0000218f: MLOAD
00002190: DUP1
00002191: SWAP2
00002192: SUB
00002193: SWAP1
00002194: REVERT
00002195: JUMPDEST
00002196: PUSH1 0x60
00002198: DUP3
00002199: PUSH2 0x21aa
0000219c: JUMPI
0000219d: PUSH2 0x21a5
000021a0: DUP3
000021a1: PUSH2 0x21f1
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH2 0x1e9a
000021a9: JUMP
000021aa: JUMPDEST
000021ab: DUP2
000021ac: MLOAD
000021ad: ISZERO
000021ae: DUP1
000021af: ISZERO
000021b0: PUSH2 0x21c1
000021b3: JUMPI
000021b4: POP
000021b5: PUSH1 0x01
000021b7: PUSH1 0x01
000021b9: PUSH1 0xa0
000021bb: SHL
000021bc: SUB
000021bd: DUP5
000021be: AND
000021bf: EXTCODESIZE
000021c0: ISZERO
000021c1: JUMPDEST
000021c2: ISZERO
000021c3: PUSH2 0x21ea
000021c6: JUMPI
000021c7: PUSH1 0x40
000021c9: MLOAD
000021ca: PUSH4 0x9996b315
000021cf: PUSH1 0xe0
000021d1: SHL
000021d2: DUP2
000021d3: MSTORE
000021d4: PUSH1 0x01
000021d6: PUSH1 0x01
000021d8: PUSH1 0xa0
000021da: SHL
000021db: SUB
000021dc: DUP6
000021dd: AND
000021de: PUSH1 0x04
000021e0: DUP3
000021e1: ADD
000021e2: MSTORE
000021e3: PUSH1 0x24
000021e5: ADD
000021e6: PUSH2 0x0a79
000021e9: JUMP
000021ea: JUMPDEST
000021eb: POP
000021ec: DUP1
000021ed: PUSH2 0x1e9a
000021f0: JUMP
000021f1: JUMPDEST
000021f2: DUP1
000021f3: MLOAD
000021f4: ISZERO
000021f5: PUSH2 0x2201
000021f8: JUMPI
000021f9: DUP1
000021fa: MLOAD
000021fb: DUP1
000021fc: DUP3
000021fd: PUSH1 0x20
000021ff: ADD
00002200: REVERT
00002201: JUMPDEST
00002202: PUSH1 0x40
00002204: MLOAD
00002205: PUSH4 0x0a12f521
0000220a: PUSH1 0xe1
0000220c: SHL
0000220d: DUP2
0000220e: MSTORE
0000220f: PUSH1 0x04
00002211: ADD
00002212: PUSH1 0x40
00002214: MLOAD
00002215: DUP1
00002216: SWAP2
00002217: SUB
00002218: SWAP1
00002219: REVERT
0000221a: JUMPDEST
0000221b: DUP1
0000221c: CALLDATALOAD
0000221d: PUSH1 0x01
0000221f: PUSH1 0x01
00002221: PUSH1 0xa0
00002223: SHL
00002224: SUB
00002225: DUP2
00002226: AND
00002227: DUP2
00002228: EQ
00002229: PUSH2 0x2230
0000222c: JUMPI
0000222d: PUSH0
0000222e: PUSH0
0000222f: REVERT
00002230: JUMPDEST
00002231: SWAP2
00002232: SWAP1
00002233: POP
00002234: JUMP
00002235: JUMPDEST
00002236: PUSH4 0x4e487b71
0000223b: PUSH1 0xe0
0000223d: SHL
0000223e: PUSH0
0000223f: MSTORE
00002240: PUSH1 0x41
00002242: PUSH1 0x04
00002244: MSTORE
00002245: PUSH1 0x24
00002247: PUSH0
00002248: REVERT
00002249: JUMPDEST
0000224a: PUSH0
0000224b: PUSH0
0000224c: PUSH1 0x40
0000224e: DUP4
0000224f: DUP6
00002250: SUB
00002251: SLT
00002252: ISZERO
00002253: PUSH2 0x225a
00002256: JUMPI
00002257: PUSH0
00002258: PUSH0
00002259: REVERT
0000225a: JUMPDEST
0000225b: PUSH2 0x2263
0000225e: DUP4
0000225f: PUSH2 0x221a
00002262: JUMP
00002263: JUMPDEST
00002264: SWAP2
00002265: POP
00002266: PUSH1 0x20
00002268: DUP4
00002269: ADD
0000226a: CALLDATALOAD
0000226b: PUSH1 0x01
0000226d: PUSH1 0x01
0000226f: PUSH1 0x40
00002271: SHL
00002272: SUB
00002273: DUP2
00002274: GT
00002275: ISZERO
00002276: PUSH2 0x227d
00002279: JUMPI
0000227a: PUSH0
0000227b: PUSH0
0000227c: REVERT
0000227d: JUMPDEST
0000227e: DUP4
0000227f: ADD
00002280: PUSH1 0x1f
00002282: DUP2
00002283: ADD
00002284: DUP6
00002285: SGT
00002286: PUSH2 0x228d
00002289: JUMPI
0000228a: PUSH0
0000228b: PUSH0
0000228c: REVERT
0000228d: JUMPDEST
0000228e: DUP1
0000228f: CALLDATALOAD
00002290: PUSH1 0x01
00002292: PUSH1 0x01
00002294: PUSH1 0x40
00002296: SHL
00002297: SUB
00002298: DUP2
00002299: GT
0000229a: ISZERO
0000229b: PUSH2 0x22a6
0000229e: JUMPI
0000229f: PUSH2 0x22a6
000022a2: PUSH2 0x2235
000022a5: JUMP
000022a6: JUMPDEST
000022a7: PUSH1 0x40
000022a9: MLOAD
000022aa: PUSH1 0x1f
000022ac: DUP3
000022ad: ADD
000022ae: PUSH1 0x1f
000022b0: NOT
000022b1: SWAP1
000022b2: DUP2
000022b3: AND
000022b4: PUSH1 0x3f
000022b6: ADD
000022b7: AND
000022b8: DUP2
000022b9: ADD
000022ba: PUSH1 0x01
000022bc: PUSH1 0x01
000022be: PUSH1 0x40
000022c0: SHL
000022c1: SUB
000022c2: DUP2
000022c3: GT
000022c4: DUP3
000022c5: DUP3
000022c6: LT
000022c7: OR
000022c8: ISZERO
000022c9: PUSH2 0x22d4
000022cc: JUMPI
000022cd: PUSH2 0x22d4
000022d0: PUSH2 0x2235
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH1 0x40
000022d7: MSTORE
000022d8: DUP2
000022d9: DUP2
000022da: MSTORE
000022db: DUP3
000022dc: DUP3
000022dd: ADD
000022de: PUSH1 0x20
000022e0: ADD
000022e1: DUP8
000022e2: LT
000022e3: ISZERO
000022e4: PUSH2 0x22eb
000022e7: JUMPI
000022e8: PUSH0
000022e9: PUSH0
000022ea: REVERT
000022eb: JUMPDEST
000022ec: DUP2
000022ed: PUSH1 0x20
000022ef: DUP5
000022f0: ADD
000022f1: PUSH1 0x20
000022f3: DUP4
000022f4: ADD
000022f5: CALLDATACOPY
000022f6: PUSH0
000022f7: PUSH1 0x20
000022f9: DUP4
000022fa: DUP4
000022fb: ADD
000022fc: ADD
000022fd: MSTORE
000022fe: DUP1
000022ff: SWAP4
00002300: POP
00002301: POP
00002302: POP
00002303: POP
00002304: SWAP3
00002305: POP
00002306: SWAP3
00002307: SWAP1
00002308: POP
00002309: JUMP
0000230a: JUMPDEST
0000230b: PUSH0
0000230c: PUSH1 0x20
0000230e: DUP3
0000230f: DUP5
00002310: SUB
00002311: SLT
00002312: ISZERO
00002313: PUSH2 0x231a
00002316: JUMPI
00002317: PUSH0
00002318: PUSH0
00002319: REVERT
0000231a: JUMPDEST
0000231b: POP
0000231c: CALLDATALOAD
0000231d: SWAP2
0000231e: SWAP1
0000231f: POP
00002320: JUMP
00002321: JUMPDEST
00002322: PUSH0
00002323: PUSH1 0x20
00002325: DUP3
00002326: DUP5
00002327: SUB
00002328: SLT
00002329: ISZERO
0000232a: PUSH2 0x2331
0000232d: JUMPI
0000232e: PUSH0
0000232f: PUSH0
00002330: REVERT
00002331: JUMPDEST
00002332: PUSH2 0x18fb
00002335: DUP3
00002336: PUSH2 0x221a
00002339: JUMP
0000233a: JUMPDEST
0000233b: PUSH0
0000233c: PUSH0
0000233d: DUP3
0000233e: DUP5
0000233f: SUB
00002340: PUSH1 0xc0
00002342: DUP2
00002343: SLT
00002344: ISZERO
00002345: PUSH2 0x234c
00002348: JUMPI
00002349: PUSH0
0000234a: PUSH0
0000234b: REVERT
0000234c: JUMPDEST
0000234d: PUSH1 0xa0
0000234f: DUP2
00002350: SLT
00002351: ISZERO
00002352: PUSH2 0x2359
00002355: JUMPI
00002356: PUSH0
00002357: PUSH0
00002358: REVERT
00002359: JUMPDEST
0000235a: POP
0000235b: DUP3
0000235c: SWAP2
0000235d: POP
0000235e: PUSH2 0x2369
00002361: PUSH1 0xa0
00002363: DUP5
00002364: ADD
00002365: PUSH2 0x221a
00002368: JUMP
00002369: JUMPDEST
0000236a: SWAP1
0000236b: POP
0000236c: SWAP3
0000236d: POP
0000236e: SWAP3
0000236f: SWAP1
00002370: POP
00002371: JUMP
00002372: JUMPDEST
00002373: PUSH1 0x20
00002375: DUP2
00002376: MSTORE
00002377: PUSH0
00002378: DUP3
00002379: MLOAD
0000237a: DUP1
0000237b: PUSH1 0x20
0000237d: DUP5
0000237e: ADD
0000237f: MSTORE
00002380: DUP1
00002381: PUSH1 0x20
00002383: DUP6
00002384: ADD
00002385: PUSH1 0x40
00002387: DUP6
00002388: ADD
00002389: MCOPY
0000238a: PUSH0
0000238b: PUSH1 0x40
0000238d: DUP3
0000238e: DUP6
0000238f: ADD
00002390: ADD
00002391: MSTORE
00002392: PUSH1 0x40
00002394: PUSH1 0x1f
00002396: NOT
00002397: PUSH1 0x1f
00002399: DUP4
0000239a: ADD
0000239b: AND
0000239c: DUP5
0000239d: ADD
0000239e: ADD
0000239f: SWAP2
000023a0: POP
000023a1: POP
000023a2: SWAP3
000023a3: SWAP2
000023a4: POP
000023a5: POP
000023a6: JUMP
000023a7: JUMPDEST
000023a8: PUSH0
000023a9: PUSH0
000023aa: PUSH1 0x20
000023ac: DUP4
000023ad: DUP6
000023ae: SUB
000023af: SLT
000023b0: ISZERO
000023b1: PUSH2 0x23b8
000023b4: JUMPI
000023b5: PUSH0
000023b6: PUSH0
000023b7: REVERT
000023b8: JUMPDEST
000023b9: DUP3
000023ba: CALLDATALOAD
000023bb: PUSH1 0x01
000023bd: PUSH1 0x01
000023bf: PUSH1 0x40
000023c1: SHL
000023c2: SUB
000023c3: DUP2
000023c4: GT
000023c5: ISZERO
000023c6: PUSH2 0x23cd
000023c9: JUMPI
000023ca: PUSH0
000023cb: PUSH0
000023cc: REVERT
000023cd: JUMPDEST
000023ce: DUP4
000023cf: ADD
000023d0: PUSH1 0x1f
000023d2: DUP2
000023d3: ADD
000023d4: DUP6
000023d5: SGT
000023d6: PUSH2 0x23dd
000023d9: JUMPI
000023da: PUSH0
000023db: PUSH0
000023dc: REVERT
000023dd: JUMPDEST
000023de: DUP1
000023df: CALLDATALOAD
000023e0: PUSH1 0x01
000023e2: PUSH1 0x01
000023e4: PUSH1 0x40
000023e6: SHL
000023e7: SUB
000023e8: DUP2
000023e9: GT
000023ea: ISZERO
000023eb: PUSH2 0x23f2
000023ee: JUMPI
000023ef: PUSH0
000023f0: PUSH0
000023f1: REVERT
000023f2: JUMPDEST
000023f3: DUP6
000023f4: PUSH1 0x20
000023f6: DUP3
000023f7: PUSH1 0x05
000023f9: SHL
000023fa: DUP5
000023fb: ADD
000023fc: ADD
000023fd: GT
000023fe: ISZERO
000023ff: PUSH2 0x2406
00002402: JUMPI
00002403: PUSH0
00002404: PUSH0
00002405: REVERT
00002406: JUMPDEST
00002407: PUSH1 0x20
00002409: SWAP2
0000240a: SWAP1
0000240b: SWAP2
0000240c: ADD
0000240d: SWAP6
0000240e: SWAP1
0000240f: SWAP5
00002410: POP
00002411: SWAP3
00002412: POP
00002413: POP
00002414: POP
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH0
00002418: PUSH0
00002419: PUSH1 0x40
0000241b: DUP4
0000241c: DUP6
0000241d: SUB
0000241e: SLT
0000241f: ISZERO
00002420: PUSH2 0x2427
00002423: JUMPI
00002424: PUSH0
00002425: PUSH0
00002426: REVERT
00002427: JUMPDEST
00002428: DUP3
00002429: CALLDATALOAD
0000242a: PUSH1 0x01
0000242c: PUSH1 0x01
0000242e: PUSH1 0x80
00002430: SHL
00002431: SUB
00002432: DUP2
00002433: AND
00002434: DUP2
00002435: EQ
00002436: PUSH2 0x243d
00002439: JUMPI
0000243a: PUSH0
0000243b: PUSH0
0000243c: REVERT
0000243d: JUMPDEST
0000243e: SWAP2
0000243f: POP
00002440: PUSH2 0x2369
00002443: PUSH1 0x20
00002445: DUP5
00002446: ADD
00002447: PUSH2 0x221a
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH4 0x4e487b71
00002451: PUSH1 0xe0
00002453: SHL
00002454: PUSH0
00002455: MSTORE
00002456: PUSH1 0x32
00002458: PUSH1 0x04
0000245a: MSTORE
0000245b: PUSH1 0x24
0000245d: PUSH0
0000245e: REVERT
0000245f: JUMPDEST
00002460: PUSH4 0x4e487b71
00002465: PUSH1 0xe0
00002467: SHL
00002468: PUSH0
00002469: MSTORE
0000246a: PUSH1 0x11
0000246c: PUSH1 0x04
0000246e: MSTORE
0000246f: PUSH1 0x24
00002471: PUSH0
00002472: REVERT
00002473: JUMPDEST
00002474: PUSH0
00002475: DUP3
00002476: PUSH2 0x248d
00002479: JUMPI
0000247a: PUSH4 0x4e487b71
0000247f: PUSH1 0xe0
00002481: SHL
00002482: PUSH0
00002483: MSTORE
00002484: PUSH1 0x12
00002486: PUSH1 0x04
00002488: MSTORE
00002489: PUSH1 0x24
0000248b: PUSH0
0000248c: REVERT
0000248d: JUMPDEST
0000248e: POP
0000248f: DIV
00002490: SWAP1
00002491: JUMP
00002492: JUMPDEST
00002493: DUP1
00002494: DUP3
00002495: MUL
00002496: DUP2
00002497: ISZERO
00002498: DUP3
00002499: DUP3
0000249a: DIV
0000249b: DUP5
0000249c: EQ
0000249d: OR
0000249e: PUSH2 0x18fe
000024a1: JUMPI
000024a2: PUSH2 0x18fe
000024a5: PUSH2 0x245f
000024a8: JUMP
000024a9: JUMPDEST
000024aa: PUSH0
000024ab: PUSH1 0x01
000024ad: PUSH1 0x01
000024af: PUSH1 0x80
000024b1: SHL
000024b2: SUB
000024b3: DUP3
000024b4: AND
000024b5: PUSH1 0x01
000024b7: PUSH1 0x01
000024b9: PUSH1 0x80
000024bb: SHL
000024bc: SUB
000024bd: DUP2
000024be: SUB
000024bf: PUSH2 0x24ca
000024c2: JUMPI
000024c3: PUSH2 0x24ca
000024c6: PUSH2 0x245f
000024c9: JUMP
000024ca: JUMPDEST
000024cb: PUSH1 0x01
000024cd: ADD
000024ce: SWAP3
000024cf: SWAP2
000024d0: POP
000024d1: POP
000024d2: JUMP
000024d3: JUMPDEST
000024d4: PUSH1 0x01
000024d6: PUSH1 0x01
000024d8: PUSH1 0x80
000024da: SHL
000024db: SUB
000024dc: DUP2
000024dd: DUP2
000024de: AND
000024df: DUP4
000024e0: DUP3
000024e1: AND
000024e2: ADD
000024e3: SWAP1
000024e4: DUP2
000024e5: GT
000024e6: ISZERO
000024e7: PUSH2 0x18fe
000024ea: JUMPI
000024eb: PUSH2 0x18fe
000024ee: PUSH2 0x245f
000024f1: JUMP
000024f2: JUMPDEST
000024f3: DUP1
000024f4: MLOAD
000024f5: DUP1
000024f6: ISZERO
000024f7: ISZERO
000024f8: DUP2
000024f9: EQ
000024fa: PUSH2 0x2230
000024fd: JUMPI
000024fe: PUSH0
000024ff: PUSH0
00002500: REVERT
00002501: JUMPDEST
00002502: PUSH0
00002503: PUSH1 0x20
00002505: DUP3
00002506: DUP5
00002507: SUB
00002508: SLT
00002509: ISZERO
0000250a: PUSH2 0x2511
0000250d: JUMPI
0000250e: PUSH0
0000250f: PUSH0
00002510: REVERT
00002511: JUMPDEST
00002512: PUSH2 0x18fb
00002515: DUP3
00002516: PUSH2 0x24f2
00002519: JUMP
0000251a: JUMPDEST
0000251b: PUSH0
0000251c: PUSH1 0x20
0000251e: DUP3
0000251f: DUP5
00002520: SUB
00002521: SLT
00002522: ISZERO
00002523: PUSH2 0x252a
00002526: JUMPI
00002527: PUSH0
00002528: PUSH0
00002529: REVERT
0000252a: JUMPDEST
0000252b: DUP2
0000252c: CALLDATALOAD
0000252d: PUSH1 0xff
0000252f: DUP2
00002530: AND
00002531: DUP2
00002532: EQ
00002533: PUSH2 0x1e9a
00002536: JUMPI
00002537: PUSH0
00002538: PUSH0
00002539: REVERT
0000253a: JUMPDEST
0000253b: DUP1
0000253c: DUP3
0000253d: ADD
0000253e: DUP1
0000253f: DUP3
00002540: GT
00002541: ISZERO
00002542: PUSH2 0x18fe
00002545: JUMPI
00002546: PUSH2 0x18fe
00002549: PUSH2 0x245f
0000254c: JUMP
0000254d: JUMPDEST
0000254e: PUSH0
0000254f: PUSH1 0x20
00002551: DUP3
00002552: DUP5
00002553: SUB
00002554: SLT
00002555: ISZERO
00002556: PUSH2 0x255d
00002559: JUMPI
0000255a: PUSH0
0000255b: PUSH0
0000255c: REVERT
0000255d: JUMPDEST
0000255e: POP
0000255f: MLOAD
00002560: SWAP2
00002561: SWAP1
00002562: POP
00002563: JUMP
00002564: JUMPDEST
00002565: PUSH0
00002566: PUSH1 0x01
00002568: DUP3
00002569: ADD
0000256a: PUSH2 0x2575
0000256d: JUMPI
0000256e: PUSH2 0x2575
00002571: PUSH2 0x245f
00002574: JUMP
00002575: JUMPDEST
00002576: POP
00002577: PUSH1 0x01
00002579: ADD
0000257a: SWAP1
0000257b: JUMP
0000257c: JUMPDEST
0000257d: DUP2
0000257e: DUP2
0000257f: SUB
00002580: DUP2
00002581: DUP2
00002582: GT
00002583: ISZERO
00002584: PUSH2 0x18fe
00002587: JUMPI
00002588: PUSH2 0x18fe
0000258b: PUSH2 0x245f
0000258e: JUMP
0000258f: JUMPDEST
00002590: PUSH1 0x40
00002592: DUP1
00002593: DUP3
00002594: MSTORE
00002595: DUP2
00002596: ADD
00002597: DUP4
00002598: SWAP1
00002599: MSTORE
0000259a: PUSH0
0000259b: PUSH1 0x01
0000259d: PUSH1 0x01
0000259f: PUSH1 0xfb
000025a1: SHL
000025a2: SUB
000025a3: DUP5
000025a4: GT
000025a5: ISZERO
000025a6: PUSH2 0x25ad
000025a9: JUMPI
000025aa: PUSH0
000025ab: PUSH0
000025ac: REVERT
000025ad: JUMPDEST
000025ae: DUP4
000025af: PUSH1 0x05
000025b1: SHL
000025b2: DUP1
000025b3: DUP7
000025b4: PUSH1 0x60
000025b6: DUP6
000025b7: ADD
000025b8: CALLDATACOPY
000025b9: PUSH1 0x20
000025bb: DUP4
000025bc: ADD
000025bd: SWAP4
000025be: SWAP1
000025bf: SWAP4
000025c0: MSTORE
000025c1: POP
000025c2: ADD
000025c3: PUSH1 0x60
000025c5: ADD
000025c6: SWAP3
000025c7: SWAP2
000025c8: POP
000025c9: POP
000025ca: JUMP
000025cb: JUMPDEST
000025cc: PUSH0
000025cd: PUSH0
000025ce: DUP6
000025cf: DUP6
000025d0: GT
000025d1: ISZERO
000025d2: PUSH2 0x25d9
000025d5: JUMPI
000025d6: PUSH0
000025d7: PUSH0
000025d8: REVERT
000025d9: JUMPDEST
000025da: DUP4
000025db: DUP7
000025dc: GT
000025dd: ISZERO
000025de: PUSH2 0x25e5
000025e1: JUMPI
000025e2: PUSH0
000025e3: PUSH0
000025e4: REVERT
000025e5: JUMPDEST
000025e6: POP
000025e7: POP
000025e8: DUP3
000025e9: ADD
000025ea: SWAP4
000025eb: SWAP2
000025ec: SWAP1
000025ed: SWAP3
000025ee: SUB
000025ef: SWAP2
000025f0: POP
000025f1: JUMP
000025f2: JUMPDEST
000025f3: DUP1
000025f4: CALLDATALOAD
000025f5: PUSH1 0x01
000025f7: PUSH1 0x01
000025f9: PUSH1 0xe0
000025fb: SHL
000025fc: SUB
000025fd: NOT
000025fe: DUP2
000025ff: AND
00002600: SWAP1
00002601: PUSH1 0x04
00002603: DUP5
00002604: LT
00002605: ISZERO
00002606: PUSH2 0x2623
00002609: JUMPI
0000260a: PUSH1 0x01
0000260c: PUSH1 0x01
0000260e: PUSH1 0xe0
00002610: SHL
00002611: SUB
00002612: NOT
00002613: PUSH1 0x04
00002615: DUP6
00002616: SWAP1
00002617: SUB
00002618: PUSH1 0x03
0000261a: SHL
0000261b: DUP2
0000261c: SWAP1
0000261d: SHL
0000261e: DUP3
0000261f: AND
00002620: AND
00002621: SWAP2
00002622: POP
00002623: JUMPDEST
00002624: POP
00002625: SWAP3
00002626: SWAP2
00002627: POP
00002628: POP
00002629: JUMP
0000262a: JUMPDEST
0000262b: PUSH1 0x01
0000262d: PUSH1 0x01
0000262f: PUSH1 0xa0
00002631: SHL
00002632: SUB
00002633: DUP5
00002634: AND
00002635: DUP2
00002636: MSTORE
00002637: PUSH1 0x40
00002639: PUSH1 0x20
0000263b: DUP3
0000263c: ADD
0000263d: DUP2
0000263e: SWAP1
0000263f: MSTORE
00002640: DUP2
00002641: ADD
00002642: DUP3
00002643: SWAP1
00002644: MSTORE
00002645: DUP2
00002646: DUP4
00002647: PUSH1 0x60
00002649: DUP4
0000264a: ADD
0000264b: CALLDATACOPY
0000264c: PUSH0
0000264d: DUP2
0000264e: DUP4
0000264f: ADD
00002650: PUSH1 0x60
00002652: SWAP1
00002653: DUP2
00002654: ADD
00002655: SWAP2
00002656: SWAP1
00002657: SWAP2
00002658: MSTORE
00002659: PUSH1 0x1f
0000265b: SWAP1
0000265c: SWAP3
0000265d: ADD
0000265e: PUSH1 0x1f
00002660: NOT
00002661: AND
00002662: ADD
00002663: ADD
00002664: SWAP3
00002665: SWAP2
00002666: POP
00002667: POP
00002668: JUMP
00002669: JUMPDEST
0000266a: PUSH1 0x01
0000266c: PUSH1 0x01
0000266e: PUSH1 0x58
00002670: SHL
00002671: SUB
00002672: DUP2
00002673: DUP2
00002674: AND
00002675: DUP4
00002676: DUP3
00002677: AND
00002678: ADD
00002679: SWAP1
0000267a: DUP2
0000267b: GT
0000267c: ISZERO
0000267d: PUSH2 0x18fe
00002680: JUMPI
00002681: PUSH2 0x18fe
00002684: PUSH2 0x245f
00002687: JUMP
00002688: JUMPDEST
00002689: PUSH1 0x01
0000268b: PUSH1 0x01
0000268d: PUSH1 0x60
0000268f: SHL
00002690: SUB
00002691: DUP2
00002692: DUP2
00002693: AND
00002694: DUP4
00002695: DUP3
00002696: AND
00002697: ADD
00002698: SWAP1
00002699: DUP2
0000269a: GT
0000269b: ISZERO
0000269c: PUSH2 0x18fe
0000269f: JUMPI
000026a0: PUSH2 0x18fe
000026a3: PUSH2 0x245f
000026a6: JUMP
000026a7: JUMPDEST
000026a8: PUSH0
000026a9: DUP3
000026aa: MLOAD
000026ab: DUP1
000026ac: PUSH1 0x20
000026ae: DUP6
000026af: ADD
000026b0: DUP5
000026b1: MCOPY
000026b2: PUSH0
000026b3: SWAP3
000026b4: ADD
000026b5: SWAP2
000026b6: DUP3
000026b7: MSTORE
000026b8: POP
000026b9: SWAP2
000026ba: SWAP1
000026bb: POP
000026bc: JUMP
000026bd: JUMPDEST
000026be: PUSH0
000026bf: PUSH0
000026c0: PUSH1 0x40
000026c2: DUP4
000026c3: DUP6
000026c4: SUB
000026c5: SLT
000026c6: ISZERO
000026c7: PUSH2 0x26ce
000026ca: JUMPI
000026cb: PUSH0
000026cc: PUSH0
000026cd: REVERT
000026ce: JUMPDEST
000026cf: PUSH2 0x26d7
000026d2: DUP4
000026d3: PUSH2 0x24f2
000026d6: JUMP
000026d7: JUMPDEST
000026d8: SWAP2
000026d9: POP
000026da: PUSH1 0x20
000026dc: DUP4
000026dd: ADD
000026de: MLOAD
000026df: PUSH4 0xffffffff
000026e4: DUP2
000026e5: AND
000026e6: DUP2
000026e7: EQ
000026e8: PUSH2 0x26ef
000026eb: JUMPI
000026ec: PUSH0
000026ed: PUSH0
000026ee: REVERT
000026ef: JUMPDEST
000026f0: DUP1
000026f1: SWAP2
000026f2: POP
000026f3: POP
000026f4: SWAP3
000026f5: POP
000026f6: SWAP3
000026f7: SWAP1
000026f8: POP
000026f9: JUMP
000026fa: INVALID
000026fb: RETURN
000026fc: OR
000026fd: PUSH20 0x57ab46d8af007ab3fdb9af81da189e1068fefdc0
00002712: SMOD
00002713: RETURNDATASIZE
00002714: UNKNOWN(0xCA)
00002715: DUP9
00002716: LOG2
00002717: UNKNOWN(0xCA)
00002718: UNKNOWN(0xB4)
00002719: EXP
0000271a: STOP
0000271b: CALLDATASIZE
0000271c: ADDMOD
0000271d: SWAP5
0000271e: LOG1
0000271f: EXTCODESIZE
00002720: LOG1
00002721: LOG3
00002722: UNKNOWN(0x21)
00002723: MOD
00002724: PUSH8 0xc828492db98dca3e
0000272d: KECCAK256
0000272e: PUSH23 0xcc3735a920a3ca505d382bbc2cc4e591e9323af22eeee6
00002746: UNKNOWN(0xC9)
00002747: UNKNOWN(0xB0)
00002748: DIFFICULTY
00002749: BASEFEE
0000274a: PUSH4 0xdad4345e
0000274f: UNKNOWN(0xB4)
00002750: MSTORE
00002751: UNKNOWN(0xE3)
00002752: UNKNOWN(0xC7)
00002753: SHL
00002754: PUSH2 0x0fff
00002757: UNKNOWN(0xCA)
00002758: DUP8
00002759: UNKNOWN(0xE1)
0000275a: STOP
0000275b: LOG2
0000275c: PUSH5 0x6970667358
00002762: UNKNOWN(0x22)
00002763: SLT
00002764: KECCAK256
00002765: REVERT
00002766: LOG2
00002767: UNKNOWN(0xC0)
00002768: PUSH28 0x57026c6e77d03d35fe8f7fe5bda62afe12e3f31d1102d8092938f525
00002785: PUSH5 0x736f6c6343
0000278b: STOP
0000278c: ADDMOD
0000278d: SHL
0000278e: STOP
0000278f: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x1637a91a8531145ee6e965afeade35e24c8316b27c8b096af3c0b9f66f3e3b95
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x1637a91a8531145ee6e965afeade35e24c8316b27c8b096af3c0b9f66f3e3b95",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xbb21fd3d",
            "selector": "0xbb21fd3d",
            "calldata_variants": [
                "0xbb21fd3d",
                "0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf7e214f",
            "selector": "0xbf7e214f",
            "calldata_variants": [
                "0xbf7e214f",
                "0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3e5792b",
            "selector": "0xd3e5792b",
            "calldata_variants": [
                "0xd3e5792b",
                "0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecb613ff",
            "selector": "0xecb613ff",
            "calldata_variants": [
                "0xecb613ff",
                "0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef027fbf",
            "selector": "0xef027fbf",
            "calldata_variants": [
                "0xef027fbf",
                "0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ce7f670",
            "selector": "0x9ce7f670",
            "calldata_variants": [
                "0x9ce7f670",
                "0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa231d21b",
            "selector": "0xa231d21b",
            "calldata_variants": [
                "0xa231d21b",
                "0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8491,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b
call_targets: 0x98e1d95b4b3a5a082642e17274d67d62691288f1
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x98e1d95b4b3a5a082642e17274d67d62691288f1"
    ],
    "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": "0xbb21fd3d",
            "selector": "0xbb21fd3d",
            "calldata_variants": [
                "0xbb21fd3d",
                "0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf7e214f",
            "selector": "0xbf7e214f",
            "calldata_variants": [
                "0xbf7e214f",
                "0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3e5792b",
            "selector": "0xd3e5792b",
            "calldata_variants": [
                "0xd3e5792b",
                "0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecb613ff",
            "selector": "0xecb613ff",
            "calldata_variants": [
                "0xecb613ff",
                "0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef027fbf",
            "selector": "0xef027fbf",
            "calldata_variants": [
                "0xef027fbf",
                "0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ce7f670",
            "selector": "0x9ce7f670",
            "calldata_variants": [
                "0x9ce7f670",
                "0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa231d21b",
            "selector": "0xa231d21b",
            "calldata_variants": [
                "0xa231d21b",
                "0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2371,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2485,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b
call_targets: 0x98e1d95b4b3a5a082642e17274d67d62691288f1
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa322aad9f6e8b5559168250766581f01070322b42e57ab9033182756e4cc850b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x98e1d95b4b3a5a082642e17274d67d62691288f1"
    ],
    "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": "0xbb21fd3d",
            "selector": "0xbb21fd3d",
            "calldata_variants": [
                "0xbb21fd3d",
                "0xbb21fd3d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbf7e214f",
            "selector": "0xbf7e214f",
            "calldata_variants": [
                "0xbf7e214f",
                "0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3e5792b",
            "selector": "0xd3e5792b",
            "calldata_variants": [
                "0xd3e5792b",
                "0xd3e5792b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecb613ff",
            "selector": "0xecb613ff",
            "calldata_variants": [
                "0xecb613ff",
                "0xecb613ff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xef027fbf",
            "selector": "0xef027fbf",
            "calldata_variants": [
                "0xef027fbf",
                "0xef027fbf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ce7f670",
            "selector": "0x9ce7f670",
            "calldata_variants": [
                "0x9ce7f670",
                "0x9ce7f6700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa231d21b",
            "selector": "0xa231d21b",
            "calldata_variants": [
                "0xa231d21b",
                "0xa231d21b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2371,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2485,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
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": 10
}
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": 13
}