84ff0dad-46bd-4cdc-a575-0515acc1b2bd
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 30550 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 104159 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 104160 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 104161 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104162 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104163 | detector.run | complete | 1 / 3 | 1 week ago |
| 104164 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:786262] OpenAI Codex v0.77.0 (research preview)
[codex:786262] --------
[codex:786262] workdir: /tmp/codex-multi-35opxyg7
[codex:786262] model: gpt-5.2-codex
[codex:786262] provider: openai
[codex:786262] approval: never
[codex:786262] sandbox: read-only
[codex:786262] reasoning effort: xhigh
[codex:786262] reasoning summaries: auto
[codex:786262] session id: 019b6b50-935c-7123-8827-32d0b8ede3e3
[codex:786262] --------
[codex:786262] user
[codex:786262] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:786262] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:786262] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:786262]
[codex:786262] Scope rules:
[codex:786262] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:786262] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:786262]
[codex:786262] Output MUST be valid JSON matching the provided schema.
[codex:786262] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:786262] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:786262]
[codex:786262] Output constraints (IMPORTANT):
[codex:786262] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:786262] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:786262] mcp startup: no servers
[codex:786262]
[codex:786262] thinking
[codex:786262] **Reading AUDIT_BUNDLE file**
[codex:786262] exec
[codex:786262] /bin/bash -lc ls in /tmp/codex-multi-35opxyg7 succeeded in 5ms:
[codex:786262] AUDIT_BUNDLE.txt
[codex:786262] codex-output-schema.json
[codex:786262] contracts
[codex:786262] exec
[codex:786262] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-35opxyg7 succeeded in 5ms:
[codex:786262] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:786262]
[codex:786262] ================================================================================
[codex:786262] FILE: contracts/contracts/Pool.sol
[codex:786262] ================================================================================
[codex:786262] // SPDX-License-Identifier: BUSL-1.1
[codex:786262] pragma solidity 0.8.7;
[codex:786262]
[codex:786262] import { ERC20 } from "../modules/erc20/contracts/ERC20.sol";
[codex:786262] import { ERC20Helper } from "../modules/erc20-helper/src/ERC20Helper.sol";
[codex:786262]
[codex:786262] import { IPoolManagerLike } from "./interfaces/Interfaces.sol";
[codex:786262] import { IERC20, IPool } from "./interfaces/IPool.sol";
[codex:786262]
[codex:786262] /*
[codex:786262]
[codex:786262] ██████╗ ██████╗ ██████╗ ██╗
[codex:786262] ██╔══██╗██╔═══██╗██╔═══██╗██║
[codex:786262] ██████╔╝██║ ██║██║ ██║██║
[codex:786262] ██╔═══╝ ██║ ██║██║ ██║██║
[codex:786262]
[codex:786262] thinking
[codex:786262] **Examining Pool.sol for vulnerabilities**
[codex:786262] exec
[codex:786262] /bin/bash -lc 'rg "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-35opxyg7 succeeded in 6ms:
[codex:786262] 4:FILE: contracts/contracts/Pool.sol
[codex:786262] 345:FILE: contracts/contracts/interfaces/IERC4626.sol
[codex:786262] 547:FILE: contracts/contracts/interfaces/IPool.sol
[codex:786262] 716:FILE: contracts/contracts/interfaces/Interfaces.sol
[codex:786262] 1054:FILE: contracts/modules/erc20/contracts/ERC20.sol
[codex:786262] 1232:FILE: contracts/modules/erc20/contracts/interfaces/IERC20.sol
[codex:786262] 1388:FILE: contracts/modules/erc20-helper/src/ERC20Helper.sol
[codex:786262] 1435:FILE: contracts/modules/erc20-helper/src/interfaces/IERC20Like.sol
[codex:786262]
[codex:786262]
[codex:786262]
[codex:786262]
[codex:786262] thinking
[codex:786262] **Analyzing Pool contract for vulnerabilities**
[codex:786262] thinking
[codex:786262] **Examining reentrancy and token interaction risks**
[codex:786262]
[codex:786262] I'll explore potential reentrancy risks from manager callbacks during share transfers, especially involving ERC777-like hooks, and consider how state is updated before external asset calls. The main concern is that transfer/transferFrom lack nonReentrant protection, allowing nested calls during deposit or withdrawal. However, nonReentrant is applied on core functions, and token transfer failures revert the entire transaction, so immediate issues seem minimal. The bootstrap mint logic can cause first depositors to receive zero shares if depositing less than a threshold, which is an accounting quirk that might confuse users but isn't clearly exploitable by attackers. Overall, I'm weighing subtle behaviors in token approvals, permit usage, and manager trust boundaries but not seeing critical vulnerabilities in Pool itself.
[codex:786262] thinking
[codex:786262] **Reviewing permit and reentrancy complexities**
[codex:786262]
[codex:786262] This section analyzes subtle risks in permit usage, especially nonce handling and chain ID dynamics, and considers how missing nonReentrant on transfer/transferFrom could open reentrancy paths during withdraw or deposit flows. I’m focusing on interactions with ERC777-style hooks and how manager’s external calls might enable reentrant calls before balances update fully, potentially causing inconsistent state. There’s also reflection on how bootstrap mint logic might cause confusing edge cases for first deposits and how trusting the manager’s oracle-fed values can impact share calculations. Overall, these are nuanced behaviors that merit caution but don’t clearly amount to critical vulnerabilities in Pool itself.
[codex:786262] thinking
[codex:786262] **Examining reentrancy guard limitations**
[codex:786262]
[codex:786262] I’m digging into how the lack of nonReentrant on transfer/transferFrom could let reentrancy slip through during withdraw, especially via manager’s canCall and how msg.sender and caller parameters flow between Pool and manager. This may let manager bypass some state consistency assumptions, so I’m preparing to map relevant code lines for a low severity finding referencing these concerns.
[codex:786262] exec
[codex:786262] /bin/bash -lc "nl -ba contracts/contracts/Pool.sol | sed -n '110,220p'" in /tmp/codex-multi-35opxyg7 succeeded in 6ms:
[codex:786262] 110 external override nonReentrant checkCall("P:mintWithPermit") returns (uint256 assets_)
[codex:786262] 111 {
[codex:786262] 112 require((assets_ = previewMint(shares_)) <= maxAssets_, "P:MWP:INSUFFICIENT_PERMIT");
[codex:786262] 113
[codex:786262] 114 ERC20(asset).permit(msg.sender, address(this), maxAssets_, deadline_, v_, r_, s_);
[codex:786262] 115 _mint(shares_, assets_, receiver_, msg.sender);
[codex:786262] 116 }
[codex:786262] 117
[codex:786262] 118 function redeem(uint256 shares_, address receiver_, address owner_) external override nonReentrant checkCall("P:redeem") returns (uint256 assets_) {
[codex:786262] 119 uint256 redeemableShares_;
[codex:786262] 120 ( redeemableShares_, assets_ ) = IPoolManagerLike(manager).processRedeem(shares_, owner_, msg.sender);
[codex:786262] 121 _burn(redeemableShares_, assets_, receiver_, owner_, msg.sender);
[codex:786262] 122 }
[codex:786262] 123
[codex:786262] 124 function withdraw(uint256 assets_, address receiver_, address owner_) external override nonReentrant checkCall("P:withdraw") returns (uint256 shares_) {
[codex:786262] 125 ( shares_, assets_ ) = IPoolManagerLike(manager).processWithdraw(assets_, owner_, msg.sender);
[codex:786262] 126 _burn(shares_, assets_, receiver_, owner_, msg.sender);
[codex:786262] 127 }
[codex:786262] 128
[codex:786262] 129 /******************************************************************************************************************************/
[codex:786262]
[codex:786262] thinking
[codex:786262] **Analyzing bootstrap and mint edge cases**
[codex:786262] exec
[codex:786262] /bin/bash -lc "nl -ba contracts/contracts/Pool.sol | sed -n '250,360p'" in /tmp/codex-multi-35opxyg7 succeeded in 7ms:
[codex:786262] 250 if (escrowShares_ != 0 && destination_ != address(0)) {
[codex:786262] 251 _transfer(owner_, destination_, escrowShares_);
[codex:786262] 252 }
[codex:786262] 253
[codex:786262] 254 IPoolManagerLike(manager).requestWithdraw(escrowShares_, assets_, owner_, msg.sender);
[codex:786262] 255 }
[codex:786262] 256
[codex:786262] 257 /******************************************************************************************************************************/
[codex:786262] 258 /*** External View Functions ***/
[codex:786262] 259 /******************************************************************************************************************************/
[codex:786262] 260
[codex:786262] 261 function balanceOfAssets(address account_) external view override returns (uint256 balanceOfAssets_) {
[codex:786262] 262 balanceOfAssets_ = convertToAssets(balanceOf[account_]);
[codex:786262] 263 }
[codex:786262] 264
[codex:786262] 265 function maxDeposit(address receiver_) external view override returns (uint256 maxAssets_) {
[codex:786262] 266 maxAssets_ = IPoolManagerLike(manager).maxDeposit(receiver_);
[codex:786262] 267 }
[codex:786262] 268
[codex:786262] 269 function maxMint(address receiver_) external view override returns (uint256 maxShares_) {
[codex:786262]
[codex:786262] thinking
[codex:786262] **Analyzing potential vulnerabilities and line number references**
[codex:786262] exec
[codex:786262] /bin/bash -lc "nl -ba contracts/contracts/Pool.sol | sed -n '205,235p'" in /tmp/codex-multi-35opxyg7 succeeded in 7ms:
[codex:786262] 205 function _mint(uint256 shares_, uint256 assets_, address receiver_, address caller_) internal {
[codex:786262] 206 require(receiver_ != address(0), "P:M:ZERO_RECEIVER");
[codex:786262] 207 require(shares_ != uint256(0), "P:M:ZERO_SHARES");
[codex:786262] 208 require(assets_ != uint256(0), "P:M:ZERO_ASSETS");
[codex:786262] 209
[codex:786262] 210 if (totalSupply == 0 && BOOTSTRAP_MINT != 0) {
[codex:786262] 211 _mint(address(0), BOOTSTRAP_MINT);
[codex:786262] 212
[codex:786262] 213 emit BootstrapMintPerformed(caller_, receiver_, assets_, shares_, BOOTSTRAP_MINT);
[codex:786262] 214
[codex:786262] 215 shares_ -= BOOTSTRAP_MINT;
[codex:786262] 216 }
[codex:786262] 217
[codex:786262] 218 _mint(receiver_, shares_);
[codex:786262] 219
[codex:786262] 220 emit Deposit(caller_, receiver_, assets_, shares_);
[codex:786262] 221
[codex:786262] 222 require(ERC20Helper.transferFrom(asset, caller_, address(this), assets_), "P:M:TRANSFER_FROM");
[codex:786262] 223 }
[codex:786262] 224
[codex:786262]
[codex:786262] thinking
[codex:786262] **Preparing JSON output with skills check**
[codex:786262] exec
[codex:786262] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-35opxyg7 succeeded in 5ms:
[codex:786262] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:786262]
[codex:786262] thinking
[codex:786262] **Composing detailed vulnerability summary**
[codex:786262]
[codex:786262] I'm working on a detailed JSON summary for a potential low-severity math issue where the first depositor might lose assets due to a bootstrap mint edge case. I’m carefully including severity, category, title, exploit scenario, recommendation, evidence, and precise file locations with clickable line references. The goal is clear and concise vulnerability reporting aligned with the instructions.
[codex:786262] codex
[codex:786262] {"no_findings":false,"summary":"Found 1 low-severity accounting issue in Pool bootstrap minting that can cause the first depositor to receive zero shares while still transferring assets.","findings":[{"severity":"low","category":"math","title":"Bootstrap mint can zero out first depositor shares","exploit_scenario":"When totalSupply is 0 and BOOTSTRAP_MINT is set, a first depositor can call deposit/mint with shares_ equal to BOOTSTRAP_MINT (e.g., assets_ equals BOOTSTRAP_MINT in deposit). The contract mints BOOTSTRAP_MINT to address(0), subtracts BOOTSTRAP_MINT from shares_ (leaving 0), mints 0 shares to the depositor, and still transfers the assets. The depositor receives no shares and the assets become permanently locked backing burned shares.","recommendation":"Require the first mint/deposit to produce shares_ > BOOTSTRAP_MINT (or revert if shares_ <= BOOTSTRAP_MINT) before subtracting. Alternatively, compute the bootstrap mint after validating the post-bootstrap shares are nonzero, or adjust the bootstrap logic to avoid accepting deposits that would mint zero shares.","evidence":"_mint mints BOOTSTRAP_MINT to address(0) and subtracts it from shares_ without ensuring the result is nonzero, then proceeds to transfer assets regardless of the post-bootstrap share amount.","locations":["contracts/contracts/Pool.sol:205","contracts/contracts/Pool.sol:210","contracts/contracts/Pool.sol:215","contracts/contracts/Pool.sol:218","contracts/contracts/Pool.sol:222"]}]}
[codex:786262] tokens used
[codex:786262] 48,575
[codex:786262] {"no_findings":false,"summary":"Found 1 low-severity accounting issue in Pool bootstrap minting that can cause the first depositor to receive zero shares while still transferring assets.","findings":[{"severity":"low","category":"math","title":"Bootstrap mint can zero out first depositor shares","exploit_scenario":"When totalSupply is 0 and BOOTSTRAP_MINT is set, a first depositor can call deposit/mint with shares_ equal to BOOTSTRAP_MINT (e.g., assets_ equals BOOTSTRAP_MINT in deposit). The contract mints BOOTSTRAP_MINT to address(0), subtracts BOOTSTRAP_MINT from shares_ (leaving 0), mints 0 shares to the depositor, and still transfers the assets. The depositor receives no shares and the assets become permanently locked backing burned shares.","recommendation":"Require the first mint/deposit to produce shares_ > BOOTSTRAP_MINT (or revert if shares_ <= BOOTSTRAP_MINT) before subtracting. Alternatively, compute the bootstrap mint after validating the post-bootstrap shares are nonzero, or adjust the bootstrap logic to avoid accepting deposits that would mint zero shares.","evidence":"_mint mints BOOTSTRAP_MINT to address(0) and subtracts it from shares_ without ensuring the result is nonzero, then proceeds to transfer assets regardless of the post-bootstrap share amount.","locations":["contracts/contracts/Pool.sol:205","contracts/contracts/Pool.sol:210","contracts/contracts/Pool.sol:215","contracts/contracts/Pool.sol:218","contracts/contracts/Pool.sol:222"]}]}
{
"codex": {
"ran_at": "2025-12-29T18:18:52.469561+00:00",
"returncode": 0
},
"summary": "Found 1 low-severity accounting issue in Pool bootstrap minting that can cause the first depositor to receive zero shares while still transferring assets.",
"raw_final": {
"summary": "Found 1 low-severity accounting issue in Pool bootstrap minting that can cause the first depositor to receive zero shares while still transferring assets.",
"findings": [
{
"title": "Bootstrap mint can zero out first depositor shares",
"category": "math",
"evidence": "_mint mints BOOTSTRAP_MINT to address(0) and subtracts it from shares_ without ensuring the result is nonzero, then proceeds to transfer assets regardless of the post-bootstrap share amount.",
"severity": "low",
"locations": [
"contracts/contracts/Pool.sol:205",
"contracts/contracts/Pool.sol:210",
"contracts/contracts/Pool.sol:215",
"contracts/contracts/Pool.sol:218",
"contracts/contracts/Pool.sol:222"
],
"recommendation": "Require the first mint/deposit to produce shares_ > BOOTSTRAP_MINT (or revert if shares_ <= BOOTSTRAP_MINT) before subtracting. Alternatively, compute the bootstrap mint after validating the post-bootstrap shares are nonzero, or adjust the bootstrap logic to avoid accepting deposits that would mint zero shares.",
"exploit_scenario": "When totalSupply is 0 and BOOTSTRAP_MINT is set, a first depositor can call deposit/mint with shares_ equal to BOOTSTRAP_MINT (e.g., assets_ equals BOOTSTRAP_MINT in deposit). The contract mints BOOTSTRAP_MINT to address(0), subtracts BOOTSTRAP_MINT from shares_ (leaving 0), mints 0 shares to the depositor, and still transfers the assets. The depositor receives no shares and the assets become permanently locked backing burned shares."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x025e 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x6e553f65 00000026: GT 00000027: PUSH2 0x0146 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xb460af94 00000031: GT 00000032: PUSH2 0x00c3 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xce96cb77 0000003c: GT 0000003d: PUSH2 0x0087 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xce96cb77 00000047: EQ 00000048: PUSH2 0x056a 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xd505accf 00000052: EQ 00000053: PUSH2 0x057d 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xd905777e 0000005d: EQ 0000005e: PUSH2 0x0592 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xdd62ed3e 00000068: EQ 00000069: PUSH2 0x05a5 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xef8b30f7 00000073: EQ 00000074: PUSH2 0x05d0 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf1a0e4cb 0000007e: EQ 0000007f: PUSH2 0x05e3 00000082: JUMPI 00000083: PUSH1 0x00 00000085: DUP1 00000086: REVERT 00000087: JUMPDEST 00000088: DUP1 00000089: PUSH4 0xb460af94 0000008e: EQ 0000008f: PUSH2 0x050b 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xba087652 00000099: EQ 0000009a: PUSH2 0x051e 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xc63d75b6 000000a4: EQ 000000a5: PUSH2 0x0531 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0xc6e6f592 000000af: EQ 000000b0: PUSH2 0x0544 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0xccc143b8 000000ba: EQ 000000bb: PUSH2 0x0557 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: GT 000000cb: PUSH2 0x010a 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x95d89b41 000000d5: EQ 000000d6: PUSH2 0x04b7 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa457c2d7 000000e0: EQ 000000e1: PUSH2 0x04bf 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xa58c3eff 000000eb: EQ 000000ec: PUSH2 0x04d2 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xa9059cbb 000000f6: EQ 000000f7: PUSH2 0x04e5 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xb3d7f6b9 00000101: EQ 00000102: PUSH2 0x04f8 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: DUP1 0000010c: PUSH4 0x6e553f65 00000111: EQ 00000112: PUSH2 0x043e 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x70a08231 0000011c: EQ 0000011d: PUSH2 0x0451 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0x7ecebe00 00000127: EQ 00000128: PUSH2 0x0471 0000012b: JUMPI 0000012c: DUP1 0000012d: PUSH4 0x9159b206 00000132: EQ 00000133: PUSH2 0x0491 00000136: JUMPI 00000137: DUP1 00000138: PUSH4 0x94bf804d 0000013d: EQ 0000013e: PUSH2 0x04a4 00000141: JUMPI 00000142: PUSH1 0x00 00000144: DUP1 00000145: REVERT 00000146: JUMPDEST 00000147: DUP1 00000148: PUSH4 0x313ce567 0000014d: GT 0000014e: PUSH2 0x01df 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0x481c6a75 00000158: GT 00000159: PUSH2 0x01a3 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0x481c6a75 00000163: EQ 00000164: PUSH2 0x03d7 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0x4cdad506 0000016e: EQ 0000016f: PUSH2 0x03ea 00000172: JUMPI 00000173: DUP1 00000174: PUSH4 0x50496cbd 00000179: EQ 0000017a: PUSH2 0x03fd 0000017d: JUMPI 0000017e: DUP1 0000017f: PUSH4 0x50921b23 00000184: EQ 00000185: PUSH2 0x0410 00000188: JUMPI 00000189: DUP1 0000018a: PUSH4 0x60dd37d9 0000018f: EQ 00000190: PUSH2 0x0423 00000193: JUMPI 00000194: DUP1 00000195: PUSH4 0x67e2ba23 0000019a: EQ 0000019b: PUSH2 0x0436 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: DUP1 000001a5: PUSH4 0x313ce567 000001aa: EQ 000001ab: PUSH2 0x0345 000001ae: JUMPI 000001af: DUP1 000001b0: PUSH4 0x3644e515 000001b5: EQ 000001b6: PUSH2 0x037e 000001b9: JUMPI 000001ba: DUP1 000001bb: PUSH4 0x38d52e0f 000001c0: EQ 000001c1: PUSH2 0x0386 000001c4: JUMPI 000001c5: DUP1 000001c6: PUSH4 0x39509351 000001cb: EQ 000001cc: PUSH2 0x03b1 000001cf: JUMPI 000001d0: DUP1 000001d1: PUSH4 0x402d267d 000001d6: EQ 000001d7: PUSH2 0x03c4 000001da: JUMPI 000001db: PUSH1 0x00 000001dd: DUP1 000001de: REVERT 000001df: JUMPDEST 000001e0: DUP1 000001e1: PUSH4 0x107703ab 000001e6: GT 000001e7: PUSH2 0x0226 000001ea: JUMPI 000001eb: DUP1 000001ec: PUSH4 0x107703ab 000001f1: EQ 000001f2: PUSH2 0x02dc 000001f5: JUMPI 000001f6: DUP1 000001f7: PUSH4 0x18160ddd 000001fc: EQ 000001fd: PUSH2 0x02ef 00000200: JUMPI 00000201: DUP1 00000202: PUSH4 0x1b8f1830 00000207: EQ 00000208: PUSH2 0x02f8 0000020b: JUMPI 0000020c: DUP1 0000020d: PUSH4 0x23b872dd 00000212: EQ 00000213: PUSH2 0x030b 00000216: JUMPI 00000217: DUP1 00000218: PUSH4 0x30adf81f 0000021d: EQ 0000021e: PUSH2 0x031e 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: DUP1 00000228: PUSH4 0x01e1d114 0000022d: EQ 0000022e: PUSH2 0x0263 00000231: JUMPI 00000232: DUP1 00000233: PUSH4 0x06fdde03 00000238: EQ 00000239: PUSH2 0x027e 0000023c: JUMPI 0000023d: DUP1 0000023e: PUSH4 0x07a2d13a 00000243: EQ 00000244: PUSH2 0x0293 00000247: JUMPI 00000248: DUP1 00000249: PUSH4 0x095ea7b3 0000024e: EQ 0000024f: PUSH2 0x02a6 00000252: JUMPI 00000253: DUP1 00000254: PUSH4 0x0a28a477 00000259: EQ 0000025a: PUSH2 0x02c9 0000025d: JUMPI 0000025e: JUMPDEST 0000025f: PUSH1 0x00 00000261: DUP1 00000262: REVERT 00000263: JUMPDEST 00000264: PUSH2 0x026b 00000267: PUSH2 0x060a 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: SWAP1 00000270: DUP2 00000271: MSTORE 00000272: PUSH1 0x20 00000274: ADD 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: MLOAD 00000279: DUP1 0000027a: SWAP2 0000027b: SUB 0000027c: SWAP1 0000027d: RETURN 0000027e: JUMPDEST 0000027f: PUSH2 0x0286 00000282: PUSH2 0x068b 00000285: JUMP 00000286: JUMPDEST 00000287: PUSH1 0x40 00000289: MLOAD 0000028a: PUSH2 0x0275 0000028d: SWAP2 0000028e: SWAP1 0000028f: PUSH2 0x2bbc 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH2 0x026b 00000297: PUSH2 0x02a1 0000029a: CALLDATASIZE 0000029b: PUSH1 0x04 0000029d: PUSH2 0x2913 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH2 0x0719 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH2 0x02b9 000002aa: PUSH2 0x02b4 000002ad: CALLDATASIZE 000002ae: PUSH1 0x04 000002b0: PUSH2 0x280c 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH2 0x0750 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: SWAP1 000002be: ISZERO 000002bf: ISZERO 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: PUSH2 0x0275 000002c8: JUMP 000002c9: JUMPDEST 000002ca: PUSH2 0x026b 000002cd: PUSH2 0x02d7 000002d0: CALLDATASIZE 000002d1: PUSH1 0x04 000002d3: PUSH2 0x2913 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH2 0x0767 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH2 0x026b 000002e0: PUSH2 0x02ea 000002e3: CALLDATASIZE 000002e4: PUSH1 0x04 000002e6: PUSH2 0x2945 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x07eb 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH2 0x026b 000002f3: PUSH1 0x02 000002f5: SLOAD 000002f6: DUP2 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH2 0x026b 000002fc: PUSH2 0x0306 000002ff: CALLDATASIZE 00000300: PUSH1 0x04 00000302: PUSH2 0x2945 00000305: JUMP 00000306: JUMPDEST 00000307: PUSH2 0x094d 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH2 0x02b9 0000030f: PUSH2 0x0319 00000312: CALLDATASIZE 00000313: PUSH1 0x04 00000315: PUSH2 0x275d 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0b1c 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH2 0x026b 00000322: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 00000343: DUP2 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x036c 00000349: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000006 0000036a: DUP2 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: PUSH1 0xff 00000372: SWAP1 00000373: SWAP2 00000374: AND 00000375: DUP2 00000376: MSTORE 00000377: PUSH1 0x20 00000379: ADD 0000037a: PUSH2 0x0275 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x026b 00000382: PUSH2 0x0c04 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH1 0x06 00000389: SLOAD 0000038a: PUSH2 0x0399 0000038d: SWAP1 0000038e: PUSH1 0x01 00000390: PUSH1 0x01 00000392: PUSH1 0xa0 00000394: SHL 00000395: SUB 00000396: AND 00000397: DUP2 00000398: JUMP 00000399: JUMPDEST 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: PUSH1 0x01 0000039f: PUSH1 0x01 000003a1: PUSH1 0xa0 000003a3: SHL 000003a4: SUB 000003a5: SWAP1 000003a6: SWAP2 000003a7: AND 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: PUSH2 0x0275 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH2 0x02b9 000003b5: PUSH2 0x03bf 000003b8: CALLDATASIZE 000003b9: PUSH1 0x04 000003bb: PUSH2 0x280c 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH2 0x0cb3 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH2 0x026b 000003c8: PUSH2 0x03d2 000003cb: CALLDATASIZE 000003cc: PUSH1 0x04 000003ce: PUSH2 0x2707 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH2 0x0cef 000003d6: JUMP 000003d7: JUMPDEST 000003d8: PUSH1 0x07 000003da: SLOAD 000003db: PUSH2 0x0399 000003de: SWAP1 000003df: PUSH1 0x01 000003e1: PUSH1 0x01 000003e3: PUSH1 0xa0 000003e5: SHL 000003e6: SUB 000003e7: AND 000003e8: DUP2 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH2 0x026b 000003ee: PUSH2 0x03f8 000003f1: CALLDATASIZE 000003f2: PUSH1 0x04 000003f4: PUSH2 0x2913 000003f7: JUMP 000003f8: JUMPDEST 000003f9: PUSH2 0x0d22 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH2 0x026b 00000401: PUSH2 0x040b 00000404: CALLDATASIZE 00000405: PUSH1 0x04 00000407: PUSH2 0x2913 0000040a: JUMP 0000040b: JUMPDEST 0000040c: PUSH2 0x0d5a 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH2 0x026b 00000414: PUSH2 0x041e 00000417: CALLDATASIZE 00000418: PUSH1 0x04 0000041a: PUSH2 0x29fe 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH2 0x0d81 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH2 0x026b 00000427: PUSH2 0x0431 0000042a: CALLDATASIZE 0000042b: PUSH1 0x04 0000042d: PUSH2 0x29d1 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH2 0x0f16 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x026b 0000043a: PUSH2 0x10f9 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x026b 00000442: PUSH2 0x044c 00000445: CALLDATASIZE 00000446: PUSH1 0x04 00000448: PUSH2 0x2945 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH2 0x113e 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH2 0x026b 00000455: PUSH2 0x045f 00000458: CALLDATASIZE 00000459: PUSH1 0x04 0000045b: PUSH2 0x2707 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH1 0x03 00000462: PUSH1 0x20 00000464: MSTORE 00000465: PUSH1 0x00 00000467: SWAP1 00000468: DUP2 00000469: MSTORE 0000046a: PUSH1 0x40 0000046c: SWAP1 0000046d: KECCAK256 0000046e: SLOAD 0000046f: DUP2 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH2 0x026b 00000475: PUSH2 0x047f 00000478: CALLDATASIZE 00000479: PUSH1 0x04 0000047b: PUSH2 0x2707 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x05 00000482: PUSH1 0x20 00000484: MSTORE 00000485: PUSH1 0x00 00000487: SWAP1 00000488: DUP2 00000489: MSTORE 0000048a: PUSH1 0x40 0000048c: SWAP1 0000048d: KECCAK256 0000048e: SLOAD 0000048f: DUP2 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x026b 00000495: PUSH2 0x049f 00000498: CALLDATASIZE 00000499: PUSH1 0x04 0000049b: PUSH2 0x2707 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH2 0x1257 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH2 0x026b 000004a8: PUSH2 0x04b2 000004ab: CALLDATASIZE 000004ac: PUSH1 0x04 000004ae: PUSH2 0x2945 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x1279 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH2 0x0286 000004bb: PUSH2 0x1381 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH2 0x02b9 000004c3: PUSH2 0x04cd 000004c6: CALLDATASIZE 000004c7: PUSH1 0x04 000004c9: PUSH2 0x280c 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH2 0x138e 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH2 0x026b 000004d6: PUSH2 0x04e0 000004d9: CALLDATASIZE 000004da: PUSH1 0x04 000004dc: PUSH2 0x2913 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH2 0x139b 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH2 0x02b9 000004e9: PUSH2 0x04f3 000004ec: CALLDATASIZE 000004ed: PUSH1 0x04 000004ef: PUSH2 0x280c 000004f2: JUMP 000004f3: JUMPDEST 000004f4: PUSH2 0x13cd 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH2 0x026b 000004fc: PUSH2 0x0506 000004ff: CALLDATASIZE 00000500: PUSH1 0x04 00000502: PUSH2 0x2913 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x14af 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH2 0x026b 0000050f: PUSH2 0x0519 00000512: CALLDATASIZE 00000513: PUSH1 0x04 00000515: PUSH2 0x298f 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH2 0x14d6 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH2 0x026b 00000522: PUSH2 0x052c 00000525: CALLDATASIZE 00000526: PUSH1 0x04 00000528: PUSH2 0x298f 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH2 0x1676 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x026b 00000535: PUSH2 0x053f 00000538: CALLDATASIZE 00000539: PUSH1 0x04 0000053b: PUSH2 0x2707 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH2 0x1817 00000543: JUMP 00000544: JUMPDEST 00000545: PUSH2 0x026b 00000548: PUSH2 0x0552 0000054b: CALLDATASIZE 0000054c: PUSH1 0x04 0000054e: PUSH2 0x2913 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH2 0x184a 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH2 0x026b 0000055b: PUSH2 0x0565 0000055e: CALLDATASIZE 0000055f: PUSH1 0x04 00000561: PUSH2 0x2945 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH2 0x1868 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH2 0x026b 0000056e: PUSH2 0x0578 00000571: CALLDATASIZE 00000572: PUSH1 0x04 00000574: PUSH2 0x2707 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH2 0x199a 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH2 0x0590 00000581: PUSH2 0x058b 00000584: CALLDATASIZE 00000585: PUSH1 0x04 00000587: PUSH2 0x279e 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH2 0x19cd 0000058f: JUMP 00000590: JUMPDEST 00000591: STOP 00000592: JUMPDEST 00000593: PUSH2 0x026b 00000596: PUSH2 0x05a0 00000599: CALLDATASIZE 0000059a: PUSH1 0x04 0000059c: PUSH2 0x2707 0000059f: JUMP 000005a0: JUMPDEST 000005a1: PUSH2 0x1c49 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH2 0x026b 000005a9: PUSH2 0x05b3 000005ac: CALLDATASIZE 000005ad: PUSH1 0x04 000005af: PUSH2 0x2724 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x04 000005b6: PUSH1 0x20 000005b8: SWAP1 000005b9: DUP2 000005ba: MSTORE 000005bb: PUSH1 0x00 000005bd: SWAP3 000005be: DUP4 000005bf: MSTORE 000005c0: PUSH1 0x40 000005c2: DUP1 000005c3: DUP5 000005c4: KECCAK256 000005c5: SWAP1 000005c6: SWAP2 000005c7: MSTORE 000005c8: SWAP1 000005c9: DUP3 000005ca: MSTORE 000005cb: SWAP1 000005cc: KECCAK256 000005cd: SLOAD 000005ce: DUP2 000005cf: JUMP 000005d0: JUMPDEST 000005d1: PUSH2 0x026b 000005d4: PUSH2 0x05de 000005d7: CALLDATASIZE 000005d8: PUSH1 0x04 000005da: PUSH2 0x2913 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH2 0x1c7c 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH2 0x026b 000005e7: PUSH32 0x00000000000000000000000000000000000000000000000000000000000186a0 00000608: DUP2 00000609: JUMP 0000060a: JUMPDEST 0000060b: PUSH1 0x07 0000060d: SLOAD 0000060e: PUSH1 0x40 00000610: DUP1 00000611: MLOAD 00000612: PUSH3 0x787445 00000616: PUSH1 0xe2 00000618: SHL 00000619: DUP2 0000061a: MSTORE 0000061b: SWAP1 0000061c: MLOAD 0000061d: PUSH1 0x00 0000061f: SWAP3 00000620: PUSH1 0x01 00000622: PUSH1 0x01 00000624: PUSH1 0xa0 00000626: SHL 00000627: SUB 00000628: AND 00000629: SWAP2 0000062a: PUSH4 0x01e1d114 0000062f: SWAP2 00000630: PUSH1 0x04 00000632: DUP1 00000633: DUP4 00000634: ADD 00000635: SWAP3 00000636: PUSH1 0x20 00000638: SWAP3 00000639: SWAP2 0000063a: SWAP1 0000063b: DUP3 0000063c: SWAP1 0000063d: SUB 0000063e: ADD 0000063f: DUP2 00000640: DUP7 00000641: DUP1 00000642: EXTCODESIZE 00000643: ISZERO 00000644: DUP1 00000645: ISZERO 00000646: PUSH2 0x064e 00000649: JUMPI 0000064a: PUSH1 0x00 0000064c: DUP1 0000064d: REVERT 0000064e: JUMPDEST 0000064f: POP 00000650: GAS 00000651: STATICCALL 00000652: ISZERO 00000653: DUP1 00000654: ISZERO 00000655: PUSH2 0x0662 00000658: JUMPI 00000659: RETURNDATASIZE 0000065a: PUSH1 0x00 0000065c: DUP1 0000065d: RETURNDATACOPY 0000065e: RETURNDATASIZE 0000065f: PUSH1 0x00 00000661: REVERT 00000662: JUMPDEST 00000663: POP 00000664: POP 00000665: POP 00000666: POP 00000667: PUSH1 0x40 00000669: MLOAD 0000066a: RETURNDATASIZE 0000066b: PUSH1 0x1f 0000066d: NOT 0000066e: PUSH1 0x1f 00000670: DUP3 00000671: ADD 00000672: AND 00000673: DUP3 00000674: ADD 00000675: DUP1 00000676: PUSH1 0x40 00000678: MSTORE 00000679: POP 0000067a: DUP2 0000067b: ADD 0000067c: SWAP1 0000067d: PUSH2 0x0686 00000680: SWAP2 00000681: SWAP1 00000682: PUSH2 0x292c 00000685: JUMP 00000686: JUMPDEST 00000687: SWAP1 00000688: POP 00000689: SWAP1 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: SLOAD 00000690: PUSH2 0x0698 00000693: SWAP1 00000694: PUSH2 0x2cd7 00000697: JUMP 00000698: JUMPDEST 00000699: DUP1 0000069a: PUSH1 0x1f 0000069c: ADD 0000069d: PUSH1 0x20 0000069f: DUP1 000006a0: SWAP2 000006a1: DIV 000006a2: MUL 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: SWAP1 000006aa: DUP2 000006ab: ADD 000006ac: PUSH1 0x40 000006ae: MSTORE 000006af: DUP1 000006b0: SWAP3 000006b1: SWAP2 000006b2: SWAP1 000006b3: DUP2 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: ADD 000006b9: DUP3 000006ba: DUP1 000006bb: SLOAD 000006bc: PUSH2 0x06c4 000006bf: SWAP1 000006c0: PUSH2 0x2cd7 000006c3: JUMP 000006c4: JUMPDEST 000006c5: DUP1 000006c6: ISZERO 000006c7: PUSH2 0x0711 000006ca: JUMPI 000006cb: DUP1 000006cc: PUSH1 0x1f 000006ce: LT 000006cf: PUSH2 0x06e6 000006d2: JUMPI 000006d3: PUSH2 0x0100 000006d6: DUP1 000006d7: DUP4 000006d8: SLOAD 000006d9: DIV 000006da: MUL 000006db: DUP4 000006dc: MSTORE 000006dd: SWAP2 000006de: PUSH1 0x20 000006e0: ADD 000006e1: SWAP2 000006e2: PUSH2 0x0711 000006e5: JUMP 000006e6: JUMPDEST 000006e7: DUP3 000006e8: ADD 000006e9: SWAP2 000006ea: SWAP1 000006eb: PUSH1 0x00 000006ed: MSTORE 000006ee: PUSH1 0x20 000006f0: PUSH1 0x00 000006f2: KECCAK256 000006f3: SWAP1 000006f4: JUMPDEST 000006f5: DUP2 000006f6: SLOAD 000006f7: DUP2 000006f8: MSTORE 000006f9: SWAP1 000006fa: PUSH1 0x01 000006fc: ADD 000006fd: SWAP1 000006fe: PUSH1 0x20 00000700: ADD 00000701: DUP1 00000702: DUP4 00000703: GT 00000704: PUSH2 0x06f4 00000707: JUMPI 00000708: DUP3 00000709: SWAP1 0000070a: SUB 0000070b: PUSH1 0x1f 0000070d: AND 0000070e: DUP3 0000070f: ADD 00000710: SWAP2 00000711: JUMPDEST 00000712: POP 00000713: POP 00000714: POP 00000715: POP 00000716: POP 00000717: DUP2 00000718: JUMP 00000719: JUMPDEST 0000071a: PUSH1 0x02 0000071c: SLOAD 0000071d: PUSH1 0x00 0000071f: SWAP1 00000720: DUP1 00000721: ISZERO 00000722: PUSH2 0x0747 00000725: JUMPI 00000726: DUP1 00000727: PUSH2 0x072e 0000072a: PUSH2 0x060a 0000072d: JUMP 0000072e: JUMPDEST 0000072f: PUSH2 0x0738 00000732: SWAP1 00000733: DUP6 00000734: PUSH2 0x2c75 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH2 0x0742 0000073c: SWAP2 0000073d: SWAP1 0000073e: PUSH2 0x2c53 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH2 0x0749 00000746: JUMP 00000747: JUMPDEST 00000748: DUP3 00000749: JUMPDEST 0000074a: SWAP4 0000074b: SWAP3 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: JUMP 00000750: JUMPDEST 00000751: PUSH1 0x00 00000753: PUSH2 0x075d 00000756: CALLER 00000757: DUP5 00000758: DUP5 00000759: PUSH2 0x1d3e 0000075c: JUMP 0000075d: JUMPDEST 0000075e: POP 0000075f: PUSH1 0x01 00000761: JUMPDEST 00000762: SWAP3 00000763: SWAP2 00000764: POP 00000765: POP 00000766: JUMP 00000767: JUMPDEST 00000768: PUSH1 0x07 0000076a: SLOAD 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: PUSH4 0x2ef1bc77 00000773: PUSH1 0xe2 00000775: SHL 00000776: DUP2 00000777: MSTORE 00000778: CALLER 00000779: PUSH1 0x04 0000077b: DUP3 0000077c: ADD 0000077d: MSTORE 0000077e: PUSH1 0x24 00000780: DUP2 00000781: ADD 00000782: DUP4 00000783: SWAP1 00000784: MSTORE 00000785: PUSH1 0x00 00000787: SWAP2 00000788: PUSH1 0x01 0000078a: PUSH1 0x01 0000078c: PUSH1 0xa0 0000078e: SHL 0000078f: SUB 00000790: AND 00000791: SWAP1 00000792: PUSH4 0xbbc6f1dc 00000797: SWAP1 00000798: PUSH1 0x44 0000079a: ADD 0000079b: JUMPDEST 0000079c: PUSH1 0x20 0000079e: PUSH1 0x40 000007a0: MLOAD 000007a1: DUP1 000007a2: DUP4 000007a3: SUB 000007a4: DUP2 000007a5: DUP7 000007a6: DUP1 000007a7: EXTCODESIZE 000007a8: ISZERO 000007a9: DUP1 000007aa: ISZERO 000007ab: PUSH2 0x07b3 000007ae: JUMPI 000007af: PUSH1 0x00 000007b1: DUP1 000007b2: REVERT 000007b3: JUMPDEST 000007b4: POP 000007b5: GAS 000007b6: STATICCALL 000007b7: ISZERO 000007b8: DUP1 000007b9: ISZERO 000007ba: PUSH2 0x07c7 000007bd: JUMPI 000007be: RETURNDATASIZE 000007bf: PUSH1 0x00 000007c1: DUP1 000007c2: RETURNDATACOPY 000007c3: RETURNDATASIZE 000007c4: PUSH1 0x00 000007c6: REVERT 000007c7: JUMPDEST 000007c8: POP 000007c9: POP 000007ca: POP 000007cb: POP 000007cc: PUSH1 0x40 000007ce: MLOAD 000007cf: RETURNDATASIZE 000007d0: PUSH1 0x1f 000007d2: NOT 000007d3: PUSH1 0x1f 000007d5: DUP3 000007d6: ADD 000007d7: AND 000007d8: DUP3 000007d9: ADD 000007da: DUP1 000007db: PUSH1 0x40 000007dd: MSTORE 000007de: POP 000007df: DUP2 000007e0: ADD 000007e1: SWAP1 000007e2: PUSH2 0x0761 000007e5: SWAP2 000007e6: SWAP1 000007e7: PUSH2 0x292c 000007ea: JUMP 000007eb: JUMPDEST 000007ec: PUSH1 0x00 000007ee: PUSH1 0x08 000007f0: SLOAD 000007f1: PUSH1 0x01 000007f3: EQ 000007f4: PUSH2 0x0818 000007f7: JUMPI 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: PUSH3 0x461bcd 000007ff: PUSH1 0xe5 00000801: SHL 00000802: DUP2 00000803: MSTORE 00000804: PUSH1 0x04 00000806: ADD 00000807: PUSH2 0x080f 0000080a: SWAP1 0000080b: PUSH2 0x2bef 0000080e: JUMP 0000080f: JUMPDEST 00000810: PUSH1 0x40 00000812: MLOAD 00000813: DUP1 00000814: SWAP2 00000815: SUB 00000816: SWAP1 00000817: REVERT 00000818: JUMPDEST 00000819: PUSH1 0x02 0000081b: PUSH1 0x08 0000081d: SSTORE 0000081e: PUSH1 0x07 00000820: SLOAD 00000821: PUSH15 0x503a7265717565737452656465656d 00000831: PUSH1 0x88 00000833: SHL 00000834: SWAP1 00000835: PUSH1 0x00 00000837: SWAP1 00000838: DUP2 00000839: SWAP1 0000083a: PUSH1 0x01 0000083c: PUSH1 0x01 0000083e: PUSH1 0xa0 00000840: SHL 00000841: SUB 00000842: AND 00000843: PUSH4 0x7bd243de 00000848: DUP5 00000849: CALLER 0000084a: PUSH2 0x0856 0000084d: CALLDATASIZE 0000084e: PUSH1 0x04 00000850: DUP2 00000851: DUP9 00000852: PUSH2 0x2c11 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x40 00000859: MLOAD 0000085a: DUP6 0000085b: PUSH4 0xffffffff 00000860: AND 00000861: PUSH1 0xe0 00000863: SHL 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x04 00000868: ADD 00000869: PUSH2 0x0875 0000086c: SWAP5 0000086d: SWAP4 0000086e: SWAP3 0000086f: SWAP2 00000870: SWAP1 00000871: PUSH2 0x2b75 00000874: JUMP 00000875: JUMPDEST 00000876: PUSH1 0x00 00000878: PUSH1 0x40 0000087a: MLOAD 0000087b: DUP1 0000087c: DUP4 0000087d: SUB 0000087e: DUP2 0000087f: DUP7 00000880: DUP1 00000881: EXTCODESIZE 00000882: ISZERO 00000883: DUP1 00000884: ISZERO 00000885: PUSH2 0x088d 00000888: JUMPI 00000889: PUSH1 0x00 0000088b: DUP1 0000088c: REVERT 0000088d: JUMPDEST 0000088e: POP 0000088f: GAS 00000890: STATICCALL 00000891: ISZERO 00000892: DUP1 00000893: ISZERO 00000894: PUSH2 0x08a1 00000897: JUMPI 00000898: RETURNDATASIZE 00000899: PUSH1 0x00 0000089b: DUP1 0000089c: RETURNDATACOPY 0000089d: RETURNDATASIZE 0000089e: PUSH1 0x00 000008a0: REVERT 000008a1: JUMPDEST 000008a2: POP 000008a3: POP 000008a4: POP 000008a5: POP 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: RETURNDATASIZE 000008aa: PUSH1 0x00 000008ac: DUP3 000008ad: RETURNDATACOPY 000008ae: PUSH1 0x1f 000008b0: RETURNDATASIZE 000008b1: SWAP1 000008b2: DUP2 000008b3: ADD 000008b4: PUSH1 0x1f 000008b6: NOT 000008b7: AND 000008b8: DUP3 000008b9: ADD 000008ba: PUSH1 0x40 000008bc: MSTORE 000008bd: PUSH2 0x08c9 000008c0: SWAP2 000008c1: SWAP1 000008c2: DUP2 000008c3: ADD 000008c4: SWAP1 000008c5: PUSH2 0x2853 000008c8: JUMP 000008c9: JUMPDEST 000008ca: SWAP2 000008cb: POP 000008cc: SWAP2 000008cd: POP 000008ce: DUP2 000008cf: DUP2 000008d0: SWAP1 000008d1: PUSH2 0x08ed 000008d4: JUMPI 000008d5: PUSH1 0x40 000008d7: MLOAD 000008d8: PUSH3 0x461bcd 000008dc: PUSH1 0xe5 000008de: SHL 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x04 000008e3: ADD 000008e4: PUSH2 0x080f 000008e7: SWAP2 000008e8: SWAP1 000008e9: PUSH2 0x2bbc 000008ec: JUMP 000008ed: JUMPDEST 000008ee: POP 000008ef: DUP5 000008f0: PUSH1 0x01 000008f2: PUSH1 0x01 000008f4: PUSH1 0xa0 000008f6: SHL 000008f7: SUB 000008f8: AND 000008f9: PUSH32 0x46949ee51143d5b58e4df83122d6c382a04f7bffbe563f78cd7fa61ee519ec08 0000091a: DUP8 0000091b: PUSH2 0x0924 0000091e: DUP10 0000091f: DUP10 00000920: PUSH2 0x1da0 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH1 0x40 00000927: DUP1 00000928: MLOAD 00000929: SWAP3 0000092a: DUP4 0000092b: MSTORE 0000092c: PUSH1 0x20 0000092e: DUP4 0000092f: ADD 00000930: DUP3 00000931: SWAP1 00000932: MSTORE 00000933: SWAP1 00000934: SWAP8 00000935: POP 00000936: ADD 00000937: JUMPDEST 00000938: PUSH1 0x40 0000093a: MLOAD 0000093b: DUP1 0000093c: SWAP2 0000093d: SUB 0000093e: SWAP1 0000093f: LOG2 00000940: POP 00000941: POP 00000942: PUSH1 0x01 00000944: PUSH1 0x08 00000946: SSTORE 00000947: POP 00000948: SWAP3 00000949: SWAP2 0000094a: POP 0000094b: POP 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x00 00000950: PUSH1 0x08 00000952: SLOAD 00000953: PUSH1 0x01 00000955: EQ 00000956: PUSH2 0x0971 00000959: JUMPI 0000095a: PUSH1 0x40 0000095c: MLOAD 0000095d: PUSH3 0x461bcd 00000961: PUSH1 0xe5 00000963: SHL 00000964: DUP2 00000965: MSTORE 00000966: PUSH1 0x04 00000968: ADD 00000969: PUSH2 0x080f 0000096c: SWAP1 0000096d: PUSH2 0x2bef 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x02 00000974: PUSH1 0x08 00000976: SSTORE 00000977: PUSH1 0x07 00000979: SLOAD 0000097a: PUSH14 0x503a72656d6f7665536861726573 00000989: PUSH1 0x90 0000098b: SHL 0000098c: SWAP1 0000098d: PUSH1 0x00 0000098f: SWAP1 00000990: DUP2 00000991: SWAP1 00000992: PUSH1 0x01 00000994: PUSH1 0x01 00000996: PUSH1 0xa0 00000998: SHL 00000999: SUB 0000099a: AND 0000099b: PUSH4 0x7bd243de 000009a0: DUP5 000009a1: CALLER 000009a2: PUSH2 0x09ae 000009a5: CALLDATASIZE 000009a6: PUSH1 0x04 000009a8: DUP2 000009a9: DUP9 000009aa: PUSH2 0x2c11 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH1 0x40 000009b1: MLOAD 000009b2: DUP6 000009b3: PUSH4 0xffffffff 000009b8: AND 000009b9: PUSH1 0xe0 000009bb: SHL 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x04 000009c0: ADD 000009c1: PUSH2 0x09cd 000009c4: SWAP5 000009c5: SWAP4 000009c6: SWAP3 000009c7: SWAP2 000009c8: SWAP1 000009c9: PUSH2 0x2b75 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH1 0x00 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: DUP1 000009d4: DUP4 000009d5: SUB 000009d6: DUP2 000009d7: DUP7 000009d8: DUP1 000009d9: EXTCODESIZE 000009da: ISZERO 000009db: DUP1 000009dc: ISZERO 000009dd: PUSH2 0x09e5 000009e0: JUMPI 000009e1: PUSH1 0x00 000009e3: DUP1 000009e4: REVERT 000009e5: JUMPDEST 000009e6: POP 000009e7: GAS 000009e8: STATICCALL 000009e9: ISZERO 000009ea: DUP1 000009eb: ISZERO 000009ec: PUSH2 0x09f9 000009ef: JUMPI 000009f0: RETURNDATASIZE 000009f1: PUSH1 0x00 000009f3: DUP1 000009f4: RETURNDATACOPY 000009f5: RETURNDATASIZE 000009f6: PUSH1 0x00 000009f8: REVERT 000009f9: JUMPDEST 000009fa: POP 000009fb: POP 000009fc: POP 000009fd: POP 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: RETURNDATASIZE 00000a02: PUSH1 0x00 00000a04: DUP3 00000a05: RETURNDATACOPY 00000a06: PUSH1 0x1f 00000a08: RETURNDATASIZE 00000a09: SWAP1 00000a0a: DUP2 00000a0b: ADD 00000a0c: PUSH1 0x1f 00000a0e: NOT 00000a0f: AND 00000a10: DUP3 00000a11: ADD 00000a12: PUSH1 0x40 00000a14: MSTORE 00000a15: PUSH2 0x0a21 00000a18: SWAP2 00000a19: SWAP1 00000a1a: DUP2 00000a1b: ADD 00000a1c: SWAP1 00000a1d: PUSH2 0x2853 00000a20: JUMP 00000a21: JUMPDEST 00000a22: SWAP2 00000a23: POP 00000a24: SWAP2 00000a25: POP 00000a26: DUP2 00000a27: DUP2 00000a28: SWAP1 00000a29: PUSH2 0x0a45 00000a2c: JUMPI 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: PUSH3 0x461bcd 00000a34: PUSH1 0xe5 00000a36: SHL 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x04 00000a3b: ADD 00000a3c: PUSH2 0x080f 00000a3f: SWAP2 00000a40: SWAP1 00000a41: PUSH2 0x2bbc 00000a44: JUMP 00000a45: JUMPDEST 00000a46: POP 00000a47: CALLER 00000a48: PUSH1 0x01 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: SHL 00000a4f: SUB 00000a50: DUP7 00000a51: AND 00000a52: EQ 00000a53: PUSH2 0x0a61 00000a56: JUMPI 00000a57: PUSH2 0x0a61 00000a5a: DUP6 00000a5b: CALLER 00000a5c: DUP9 00000a5d: PUSH2 0x1ee2 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x07 00000a64: SLOAD 00000a65: PUSH1 0x40 00000a67: MLOAD 00000a68: PUSH4 0x01b8f183 00000a6d: PUSH1 0xe4 00000a6f: SHL 00000a70: DUP2 00000a71: MSTORE 00000a72: PUSH1 0x04 00000a74: DUP2 00000a75: ADD 00000a76: DUP9 00000a77: SWAP1 00000a78: MSTORE 00000a79: PUSH1 0x01 00000a7b: PUSH1 0x01 00000a7d: PUSH1 0xa0 00000a7f: SHL 00000a80: SUB 00000a81: DUP8 00000a82: DUP2 00000a83: AND 00000a84: PUSH1 0x24 00000a86: DUP4 00000a87: ADD 00000a88: DUP2 00000a89: SWAP1 00000a8a: MSTORE 00000a8b: SWAP3 00000a8c: PUSH32 0x4b171f7fc0550bd6b41ba56e9b2b88100206431510ba9427518f3485198db36d 00000aad: SWAP3 00000aae: SWAP2 00000aaf: AND 00000ab0: SWAP1 00000ab1: PUSH4 0x1b8f1830 00000ab6: SWAP1 00000ab7: PUSH1 0x44 00000ab9: ADD 00000aba: PUSH1 0x20 00000abc: PUSH1 0x40 00000abe: MLOAD 00000abf: DUP1 00000ac0: DUP4 00000ac1: SUB 00000ac2: DUP2 00000ac3: PUSH1 0x00 00000ac5: DUP8 00000ac6: DUP1 00000ac7: EXTCODESIZE 00000ac8: ISZERO 00000ac9: DUP1 00000aca: ISZERO 00000acb: PUSH2 0x0ad3 00000ace: JUMPI 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: REVERT 00000ad3: JUMPDEST 00000ad4: POP 00000ad5: GAS 00000ad6: CALL 00000ad7: ISZERO 00000ad8: DUP1 00000ad9: ISZERO 00000ada: PUSH2 0x0ae7 00000add: JUMPI 00000ade: RETURNDATASIZE 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: RETURNDATACOPY 00000ae3: RETURNDATASIZE 00000ae4: PUSH1 0x00 00000ae6: REVERT 00000ae7: JUMPDEST 00000ae8: POP 00000ae9: POP 00000aea: POP 00000aeb: POP 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: RETURNDATASIZE 00000af0: PUSH1 0x1f 00000af2: NOT 00000af3: PUSH1 0x1f 00000af5: DUP3 00000af6: ADD 00000af7: AND 00000af8: DUP3 00000af9: ADD 00000afa: DUP1 00000afb: PUSH1 0x40 00000afd: MSTORE 00000afe: POP 00000aff: DUP2 00000b00: ADD 00000b01: SWAP1 00000b02: PUSH2 0x0b0b 00000b05: SWAP2 00000b06: SWAP1 00000b07: PUSH2 0x292c 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: DUP2 00000b10: DUP2 00000b11: MSTORE 00000b12: SWAP1 00000b13: SWAP7 00000b14: POP 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: PUSH2 0x0937 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x07 00000b1f: SLOAD 00000b20: PUSH1 0x00 00000b22: SWAP1 00000b23: PUSH14 0x503a7472616e7366657246726f6d 00000b32: PUSH1 0x90 00000b34: SHL 00000b35: SWAP1 00000b36: DUP3 00000b37: SWAP1 00000b38: DUP2 00000b39: SWAP1 00000b3a: PUSH1 0x01 00000b3c: PUSH1 0x01 00000b3e: PUSH1 0xa0 00000b40: SHL 00000b41: SUB 00000b42: AND 00000b43: PUSH4 0x7bd243de 00000b48: DUP5 00000b49: CALLER 00000b4a: PUSH2 0x0b56 00000b4d: CALLDATASIZE 00000b4e: PUSH1 0x04 00000b50: DUP2 00000b51: DUP9 00000b52: PUSH2 0x2c11 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: DUP6 00000b5b: PUSH4 0xffffffff 00000b60: AND 00000b61: PUSH1 0xe0 00000b63: SHL 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x04 00000b68: ADD 00000b69: PUSH2 0x0b75 00000b6c: SWAP5 00000b6d: SWAP4 00000b6e: SWAP3 00000b6f: SWAP2 00000b70: SWAP1 00000b71: PUSH2 0x2b75 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x00 00000b78: PUSH1 0x40 00000b7a: MLOAD 00000b7b: DUP1 00000b7c: DUP4 00000b7d: SUB 00000b7e: DUP2 00000b7f: DUP7 00000b80: DUP1 00000b81: EXTCODESIZE 00000b82: ISZERO 00000b83: DUP1 00000b84: ISZERO 00000b85: PUSH2 0x0b8d 00000b88: JUMPI 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: REVERT 00000b8d: JUMPDEST 00000b8e: POP 00000b8f: GAS 00000b90: STATICCALL 00000b91: ISZERO 00000b92: DUP1 00000b93: ISZERO 00000b94: PUSH2 0x0ba1 00000b97: JUMPI 00000b98: RETURNDATASIZE 00000b99: PUSH1 0x00 00000b9b: DUP1 00000b9c: RETURNDATACOPY 00000b9d: RETURNDATASIZE 00000b9e: PUSH1 0x00 00000ba0: REVERT 00000ba1: JUMPDEST 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: PUSH1 0x40 00000ba8: MLOAD 00000ba9: RETURNDATASIZE 00000baa: PUSH1 0x00 00000bac: DUP3 00000bad: RETURNDATACOPY 00000bae: PUSH1 0x1f 00000bb0: RETURNDATASIZE 00000bb1: SWAP1 00000bb2: DUP2 00000bb3: ADD 00000bb4: PUSH1 0x1f 00000bb6: NOT 00000bb7: AND 00000bb8: DUP3 00000bb9: ADD 00000bba: PUSH1 0x40 00000bbc: MSTORE 00000bbd: PUSH2 0x0bc9 00000bc0: SWAP2 00000bc1: SWAP1 00000bc2: DUP2 00000bc3: ADD 00000bc4: SWAP1 00000bc5: PUSH2 0x2853 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: SWAP2 00000bcb: POP 00000bcc: SWAP2 00000bcd: POP 00000bce: DUP2 00000bcf: DUP2 00000bd0: SWAP1 00000bd1: PUSH2 0x0bed 00000bd4: JUMPI 00000bd5: PUSH1 0x40 00000bd7: MLOAD 00000bd8: PUSH3 0x461bcd 00000bdc: PUSH1 0xe5 00000bde: SHL 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x04 00000be3: ADD 00000be4: PUSH2 0x080f 00000be7: SWAP2 00000be8: SWAP1 00000be9: PUSH2 0x2bbc 00000bec: JUMP 00000bed: JUMPDEST 00000bee: POP 00000bef: PUSH2 0x0bf9 00000bf2: DUP8 00000bf3: DUP8 00000bf4: DUP8 00000bf5: PUSH2 0x1f26 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: SWAP8 00000bfb: SWAP7 00000bfc: POP 00000bfd: POP 00000bfe: POP 00000bff: POP 00000c00: POP 00000c01: POP 00000c02: POP 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x00 00000c07: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f 00000c28: PUSH1 0x00 00000c2a: PUSH1 0x40 00000c2c: MLOAD 00000c2d: PUSH2 0x0c36 00000c30: SWAP2 00000c31: SWAP1 00000c32: PUSH2 0x2a98 00000c35: JUMP 00000c36: JUMPDEST 00000c37: PUSH1 0x40 00000c39: DUP1 00000c3a: MLOAD 00000c3b: SWAP2 00000c3c: DUP3 00000c3d: SWAP1 00000c3e: SUB 00000c3f: DUP3 00000c40: KECCAK256 00000c41: DUP3 00000c42: DUP3 00000c43: ADD 00000c44: DUP3 00000c45: MSTORE 00000c46: PUSH1 0x01 00000c48: DUP4 00000c49: MSTORE 00000c4a: PUSH1 0x31 00000c4c: PUSH1 0xf8 00000c4e: SHL 00000c4f: PUSH1 0x20 00000c51: SWAP4 00000c52: DUP5 00000c53: ADD 00000c54: MSTORE 00000c55: DUP2 00000c56: MLOAD 00000c57: SWAP3 00000c58: DUP4 00000c59: ADD 00000c5a: SWAP4 00000c5b: SWAP1 00000c5c: SWAP4 00000c5d: MSTORE 00000c5e: DUP2 00000c5f: ADD 00000c60: SWAP2 00000c61: SWAP1 00000c62: SWAP2 00000c63: MSTORE 00000c64: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6 00000c85: PUSH1 0x60 00000c87: DUP3 00000c88: ADD 00000c89: MSTORE 00000c8a: CHAINID 00000c8b: PUSH1 0x80 00000c8d: DUP3 00000c8e: ADD 00000c8f: MSTORE 00000c90: ADDRESS 00000c91: PUSH1 0xa0 00000c93: DUP3 00000c94: ADD 00000c95: MSTORE 00000c96: PUSH1 0xc0 00000c98: ADD 00000c99: PUSH1 0x40 00000c9b: MLOAD 00000c9c: PUSH1 0x20 00000c9e: DUP2 00000c9f: DUP4 00000ca0: SUB 00000ca1: SUB 00000ca2: DUP2 00000ca3: MSTORE 00000ca4: SWAP1 00000ca5: PUSH1 0x40 00000ca7: MSTORE 00000ca8: DUP1 00000ca9: MLOAD 00000caa: SWAP1 00000cab: PUSH1 0x20 00000cad: ADD 00000cae: KECCAK256 00000caf: SWAP1 00000cb0: POP 00000cb1: SWAP1 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: CALLER 00000cb5: PUSH1 0x00 00000cb7: DUP2 00000cb8: DUP2 00000cb9: MSTORE 00000cba: PUSH1 0x04 00000cbc: PUSH1 0x20 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x40 00000cc3: DUP1 00000cc4: DUP4 00000cc5: KECCAK256 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0x01 00000cca: PUSH1 0xa0 00000ccc: SHL 00000ccd: SUB 00000cce: DUP8 00000ccf: AND 00000cd0: DUP5 00000cd1: MSTORE 00000cd2: SWAP1 00000cd3: SWAP2 00000cd4: MSTORE 00000cd5: DUP2 00000cd6: KECCAK256 00000cd7: SLOAD 00000cd8: SWAP1 00000cd9: SWAP2 00000cda: PUSH2 0x075d 00000cdd: SWAP2 00000cde: DUP6 00000cdf: SWAP1 00000ce0: PUSH2 0x0cea 00000ce3: SWAP1 00000ce4: DUP7 00000ce5: SWAP1 00000ce6: PUSH2 0x2c3b 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH2 0x1d3e 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH1 0x07 00000cf2: SLOAD 00000cf3: PUSH1 0x40 00000cf5: MLOAD 00000cf6: PUSH4 0x402d267d 00000cfb: PUSH1 0xe0 00000cfd: SHL 00000cfe: DUP2 00000cff: MSTORE 00000d00: PUSH1 0x01 00000d02: PUSH1 0x01 00000d04: PUSH1 0xa0 00000d06: SHL 00000d07: SUB 00000d08: DUP4 00000d09: DUP2 00000d0a: AND 00000d0b: PUSH1 0x04 00000d0d: DUP4 00000d0e: ADD 00000d0f: MSTORE 00000d10: PUSH1 0x00 00000d12: SWAP3 00000d13: AND 00000d14: SWAP1 00000d15: PUSH4 0x402d267d 00000d1a: SWAP1 00000d1b: PUSH1 0x24 00000d1d: ADD 00000d1e: PUSH2 0x079b 00000d21: JUMP 00000d22: JUMPDEST 00000d23: PUSH1 0x07 00000d25: SLOAD 00000d26: PUSH1 0x40 00000d28: MLOAD 00000d29: PUSH4 0xcbe52ae3 00000d2e: PUSH1 0xe0 00000d30: SHL 00000d31: DUP2 00000d32: MSTORE 00000d33: CALLER 00000d34: PUSH1 0x04 00000d36: DUP3 00000d37: ADD 00000d38: MSTORE 00000d39: PUSH1 0x24 00000d3b: DUP2 00000d3c: ADD 00000d3d: DUP4 00000d3e: SWAP1 00000d3f: MSTORE 00000d40: PUSH1 0x00 00000d42: SWAP2 00000d43: PUSH1 0x01 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: SHL 00000d4a: SUB 00000d4b: AND 00000d4c: SWAP1 00000d4d: PUSH4 0xcbe52ae3 00000d52: SWAP1 00000d53: PUSH1 0x44 00000d55: ADD 00000d56: PUSH2 0x079b 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x02 00000d5d: SLOAD 00000d5e: PUSH1 0x00 00000d60: SWAP1 00000d61: DUP1 00000d62: ISZERO 00000d63: PUSH2 0x0747 00000d66: JUMPI 00000d67: DUP1 00000d68: PUSH2 0x0d6f 00000d6b: PUSH2 0x10f9 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH2 0x0d77 00000d73: PUSH2 0x060a 00000d76: JUMP 00000d77: JUMPDEST 00000d78: PUSH2 0x072e 00000d7b: SWAP2 00000d7c: SWAP1 00000d7d: PUSH2 0x2c94 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH1 0x00 00000d84: PUSH1 0x08 00000d86: SLOAD 00000d87: PUSH1 0x01 00000d89: EQ 00000d8a: PUSH2 0x0da5 00000d8d: JUMPI 00000d8e: PUSH1 0x40 00000d90: MLOAD 00000d91: PUSH3 0x461bcd 00000d95: PUSH1 0xe5 00000d97: SHL 00000d98: DUP2 00000d99: MSTORE 00000d9a: PUSH1 0x04 00000d9c: ADD 00000d9d: PUSH2 0x080f 00000da0: SWAP1 00000da1: PUSH2 0x2bef 00000da4: JUMP 00000da5: JUMPDEST 00000da6: PUSH1 0x02 00000da8: PUSH1 0x08 00000daa: SSTORE 00000dab: PUSH1 0x07 00000dad: SLOAD 00000dae: PUSH19 0x140e99195c1bdcda5d15da5d1a14195c9b5a5d 00000dc2: PUSH1 0x6a 00000dc4: SHL 00000dc5: SWAP1 00000dc6: PUSH1 0x00 00000dc8: SWAP1 00000dc9: DUP2 00000dca: SWAP1 00000dcb: PUSH1 0x01 00000dcd: PUSH1 0x01 00000dcf: PUSH1 0xa0 00000dd1: SHL 00000dd2: SUB 00000dd3: AND 00000dd4: PUSH4 0x7bd243de 00000dd9: DUP5 00000dda: CALLER 00000ddb: PUSH2 0x0de7 00000dde: CALLDATASIZE 00000ddf: PUSH1 0x04 00000de1: DUP2 00000de2: DUP9 00000de3: PUSH2 0x2c11 00000de6: JUMP 00000de7: JUMPDEST 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: DUP6 00000dec: PUSH4 0xffffffff 00000df1: AND 00000df2: PUSH1 0xe0 00000df4: SHL 00000df5: DUP2 00000df6: MSTORE 00000df7: PUSH1 0x04 00000df9: ADD 00000dfa: PUSH2 0x0e06 00000dfd: SWAP5 00000dfe: SWAP4 00000dff: SWAP3 00000e00: SWAP2 00000e01: SWAP1 00000e02: PUSH2 0x2b75 00000e05: JUMP 00000e06: JUMPDEST 00000e07: PUSH1 0x00 00000e09: PUSH1 0x40 00000e0b: MLOAD 00000e0c: DUP1 00000e0d: DUP4 00000e0e: SUB 00000e0f: DUP2 00000e10: DUP7 00000e11: DUP1 00000e12: EXTCODESIZE 00000e13: ISZERO 00000e14: DUP1 00000e15: ISZERO 00000e16: PUSH2 0x0e1e 00000e19: JUMPI 00000e1a: PUSH1 0x00 00000e1c: DUP1 00000e1d: REVERT 00000e1e: JUMPDEST 00000e1f: POP 00000e20: GAS 00000e21: STATICCALL 00000e22: ISZERO 00000e23: DUP1 00000e24: ISZERO 00000e25: PUSH2 0x0e32 00000e28: JUMPI 00000e29: RETURNDATASIZE 00000e2a: PUSH1 0x00 00000e2c: DUP1 00000e2d: RETURNDATACOPY 00000e2e: RETURNDATASIZE 00000e2f: PUSH1 0x00 00000e31: REVERT 00000e32: JUMPDEST 00000e33: POP 00000e34: POP 00000e35: POP 00000e36: POP 00000e37: PUSH1 0x40 00000e39: MLOAD 00000e3a: RETURNDATASIZE 00000e3b: PUSH1 0x00 00000e3d: DUP3 00000e3e: RETURNDATACOPY 00000e3f: PUSH1 0x1f 00000e41: RETURNDATASIZE 00000e42: SWAP1 00000e43: DUP2 00000e44: ADD 00000e45: PUSH1 0x1f 00000e47: NOT 00000e48: AND 00000e49: DUP3 00000e4a: ADD 00000e4b: PUSH1 0x40 00000e4d: MSTORE 00000e4e: PUSH2 0x0e5a 00000e51: SWAP2 00000e52: SWAP1 00000e53: DUP2 00000e54: ADD 00000e55: SWAP1 00000e56: PUSH2 0x2853 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: SWAP2 00000e5c: POP 00000e5d: SWAP2 00000e5e: POP 00000e5f: DUP2 00000e60: DUP2 00000e61: SWAP1 00000e62: PUSH2 0x0e7e 00000e65: JUMPI 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: PUSH3 0x461bcd 00000e6d: PUSH1 0xe5 00000e6f: SHL 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x04 00000e74: ADD 00000e75: PUSH2 0x080f 00000e78: SWAP2 00000e79: SWAP1 00000e7a: PUSH2 0x2bbc 00000e7d: JUMP 00000e7e: JUMPDEST 00000e7f: POP 00000e80: PUSH1 0x06 00000e82: SLOAD 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: PUSH4 0xd505accf 00000e8b: PUSH1 0xe0 00000e8d: SHL 00000e8e: DUP2 00000e8f: MSTORE 00000e90: PUSH1 0x01 00000e92: PUSH1 0x01 00000e94: PUSH1 0xa0 00000e96: SHL 00000e97: SUB 00000e98: SWAP1 00000e99: SWAP2 00000e9a: AND 00000e9b: SWAP1 00000e9c: PUSH4 0xd505accf 00000ea1: SWAP1 00000ea2: PUSH2 0x0ebb 00000ea5: SWAP1 00000ea6: CALLER 00000ea7: SWAP1 00000ea8: ADDRESS 00000ea9: SWAP1 00000eaa: DUP16 00000eab: SWAP1 00000eac: DUP15 00000ead: SWAP1 00000eae: DUP15 00000eaf: SWAP1 00000eb0: DUP15 00000eb1: SWAP1 00000eb2: DUP15 00000eb3: SWAP1 00000eb4: PUSH1 0x04 00000eb6: ADD 00000eb7: PUSH2 0x2b34 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x00 00000ebe: PUSH1 0x40 00000ec0: MLOAD 00000ec1: DUP1 00000ec2: DUP4 00000ec3: SUB 00000ec4: DUP2 00000ec5: PUSH1 0x00 00000ec7: DUP8 00000ec8: DUP1 00000ec9: EXTCODESIZE 00000eca: ISZERO 00000ecb: DUP1 00000ecc: ISZERO 00000ecd: PUSH2 0x0ed5 00000ed0: JUMPI 00000ed1: PUSH1 0x00 00000ed3: DUP1 00000ed4: REVERT 00000ed5: JUMPDEST 00000ed6: POP 00000ed7: GAS 00000ed8: CALL 00000ed9: ISZERO 00000eda: DUP1 00000edb: ISZERO 00000edc: PUSH2 0x0ee9 00000edf: JUMPI 00000ee0: RETURNDATASIZE 00000ee1: PUSH1 0x00 00000ee3: DUP1 00000ee4: RETURNDATACOPY 00000ee5: RETURNDATASIZE 00000ee6: PUSH1 0x00 00000ee8: REVERT 00000ee9: JUMPDEST 00000eea: POP 00000eeb: POP 00000eec: POP 00000eed: POP 00000eee: PUSH2 0x0f04 00000ef1: PUSH2 0x0ef9 00000ef4: DUP12 00000ef5: PUSH2 0x1c7c 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: SWAP5 00000efb: POP 00000efc: DUP5 00000efd: DUP12 00000efe: DUP12 00000eff: CALLER 00000f00: PUSH2 0x1f48 00000f03: JUMP 00000f04: JUMPDEST 00000f05: POP 00000f06: POP 00000f07: PUSH1 0x01 00000f09: PUSH1 0x08 00000f0b: SSTORE 00000f0c: POP 00000f0d: SWAP7 00000f0e: SWAP6 00000f0f: POP 00000f10: POP 00000f11: POP 00000f12: POP 00000f13: POP 00000f14: POP 00000f15: JUMP 00000f16: JUMPDEST 00000f17: PUSH1 0x00 00000f19: PUSH1 0x08 00000f1b: SLOAD 00000f1c: PUSH1 0x01 00000f1e: EQ 00000f1f: PUSH2 0x0f3a 00000f22: JUMPI 00000f23: PUSH1 0x40 00000f25: MLOAD 00000f26: PUSH3 0x461bcd 00000f2a: PUSH1 0xe5 00000f2c: SHL 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x04 00000f31: ADD 00000f32: PUSH2 0x080f 00000f35: SWAP1 00000f36: PUSH2 0x2bef 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: PUSH1 0x02 00000f3d: PUSH1 0x08 00000f3f: SSTORE 00000f40: PUSH1 0x07 00000f42: SLOAD 00000f43: PUSH16 0x140e9b5a5b9d15da5d1a14195c9b5a5d 00000f54: PUSH1 0x82 00000f56: SHL 00000f57: SWAP1 00000f58: PUSH1 0x00 00000f5a: SWAP1 00000f5b: DUP2 00000f5c: SWAP1 00000f5d: PUSH1 0x01 00000f5f: PUSH1 0x01 00000f61: PUSH1 0xa0 00000f63: SHL 00000f64: SUB 00000f65: AND 00000f66: PUSH4 0x7bd243de 00000f6b: DUP5 00000f6c: CALLER 00000f6d: PUSH2 0x0f79 00000f70: CALLDATASIZE 00000f71: PUSH1 0x04 00000f73: DUP2 00000f74: DUP9 00000f75: PUSH2 0x2c11 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x40 00000f7c: MLOAD 00000f7d: DUP6 00000f7e: PUSH4 0xffffffff 00000f83: AND 00000f84: PUSH1 0xe0 00000f86: SHL 00000f87: DUP2 00000f88: MSTORE 00000f89: PUSH1 0x04 00000f8b: ADD 00000f8c: PUSH2 0x0f98 00000f8f: SWAP5 00000f90: SWAP4 00000f91: SWAP3 00000f92: SWAP2 00000f93: SWAP1 00000f94: PUSH2 0x2b75 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH1 0x00 00000f9b: PUSH1 0x40 00000f9d: MLOAD 00000f9e: DUP1 00000f9f: DUP4 00000fa0: SUB 00000fa1: DUP2 00000fa2: DUP7 00000fa3: DUP1 00000fa4: EXTCODESIZE 00000fa5: ISZERO 00000fa6: DUP1 00000fa7: ISZERO 00000fa8: PUSH2 0x0fb0 00000fab: JUMPI 00000fac: PUSH1 0x00 00000fae: DUP1 00000faf: REVERT 00000fb0: JUMPDEST 00000fb1: POP 00000fb2: GAS 00000fb3: STATICCALL 00000fb4: ISZERO 00000fb5: DUP1 00000fb6: ISZERO 00000fb7: PUSH2 0x0fc4 00000fba: JUMPI 00000fbb: RETURNDATASIZE 00000fbc: PUSH1 0x00 00000fbe: DUP1 00000fbf: RETURNDATACOPY 00000fc0: RETURNDATASIZE 00000fc1: PUSH1 0x00 00000fc3: REVERT 00000fc4: JUMPDEST 00000fc5: POP 00000fc6: POP 00000fc7: POP 00000fc8: POP 00000fc9: PUSH1 0x40 00000fcb: MLOAD 00000fcc: RETURNDATASIZE 00000fcd: PUSH1 0x00 00000fcf: DUP3 00000fd0: RETURNDATACOPY 00000fd1: PUSH1 0x1f 00000fd3: RETURNDATASIZE 00000fd4: SWAP1 00000fd5: DUP2 00000fd6: ADD 00000fd7: PUSH1 0x1f 00000fd9: NOT 00000fda: AND 00000fdb: DUP3 00000fdc: ADD 00000fdd: PUSH1 0x40 00000fdf: MSTORE 00000fe0: PUSH2 0x0fec 00000fe3: SWAP2 00000fe4: SWAP1 00000fe5: DUP2 00000fe6: ADD 00000fe7: SWAP1 00000fe8: PUSH2 0x2853 00000feb: JUMP 00000fec: JUMPDEST 00000fed: SWAP2 00000fee: POP 00000fef: SWAP2 00000ff0: POP 00000ff1: DUP2 00000ff2: DUP2 00000ff3: SWAP1 00000ff4: PUSH2 0x1010 00000ff7: JUMPI 00000ff8: PUSH1 0x40 00000ffa: MLOAD 00000ffb: PUSH3 0x461bcd 00000fff: PUSH1 0xe5 00001001: SHL 00001002: DUP2 00001003: MSTORE 00001004: PUSH1 0x04 00001006: ADD 00001007: PUSH2 0x080f 0000100a: SWAP2 0000100b: SWAP1 0000100c: PUSH2 0x2bbc 0000100f: JUMP 00001010: JUMPDEST 00001011: POP 00001012: DUP9 00001013: PUSH2 0x101b 00001016: DUP13 00001017: PUSH2 0x14af 0000101a: JUMP 0000101b: JUMPDEST 0000101c: SWAP5 0000101d: POP 0000101e: DUP5 0000101f: GT 00001020: ISZERO 00001021: PUSH2 0x106c 00001024: JUMPI 00001025: PUSH1 0x40 00001027: MLOAD 00001028: PUSH3 0x461bcd 0000102c: PUSH1 0xe5 0000102e: SHL 0000102f: DUP2 00001030: MSTORE 00001031: PUSH1 0x20 00001033: PUSH1 0x04 00001035: DUP3 00001036: ADD 00001037: MSTORE 00001038: PUSH1 0x19 0000103a: PUSH1 0x24 0000103c: DUP3 0000103d: ADD 0000103e: MSTORE 0000103f: PUSH32 0x503a4d57503a494e53554646494349454e545f5045524d495400000000000000 00001060: PUSH1 0x44 00001062: DUP3 00001063: ADD 00001064: MSTORE 00001065: PUSH1 0x64 00001067: ADD 00001068: PUSH2 0x080f 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x06 0000106f: SLOAD 00001070: PUSH1 0x40 00001072: MLOAD 00001073: PUSH4 0xd505accf 00001078: PUSH1 0xe0 0000107a: SHL 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x01 0000107f: PUSH1 0x01 00001081: PUSH1 0xa0 00001083: SHL 00001084: SUB 00001085: SWAP1 00001086: SWAP2 00001087: AND 00001088: SWAP1 00001089: PUSH4 0xd505accf 0000108e: SWAP1 0000108f: PUSH2 0x10a8 00001092: SWAP1 00001093: CALLER 00001094: SWAP1 00001095: ADDRESS 00001096: SWAP1 00001097: DUP15 00001098: SWAP1 00001099: DUP15 0000109a: SWAP1 0000109b: DUP15 0000109c: SWAP1 0000109d: DUP15 0000109e: SWAP1 0000109f: DUP15 000010a0: SWAP1 000010a1: PUSH1 0x04 000010a3: ADD 000010a4: PUSH2 0x2b34 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH1 0x00 000010ab: PUSH1 0x40 000010ad: MLOAD 000010ae: DUP1 000010af: DUP4 000010b0: SUB 000010b1: DUP2 000010b2: PUSH1 0x00 000010b4: DUP8 000010b5: DUP1 000010b6: EXTCODESIZE 000010b7: ISZERO 000010b8: DUP1 000010b9: ISZERO 000010ba: PUSH2 0x10c2 000010bd: JUMPI 000010be: PUSH1 0x00 000010c0: DUP1 000010c1: REVERT 000010c2: JUMPDEST 000010c3: POP 000010c4: GAS 000010c5: CALL 000010c6: ISZERO 000010c7: DUP1 000010c8: ISZERO 000010c9: PUSH2 0x10d6 000010cc: JUMPI 000010cd: RETURNDATASIZE 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: RETURNDATACOPY 000010d2: RETURNDATASIZE 000010d3: PUSH1 0x00 000010d5: REVERT 000010d6: JUMPDEST 000010d7: POP 000010d8: POP 000010d9: POP 000010da: POP 000010db: PUSH2 0x10e6 000010de: DUP12 000010df: DUP6 000010e0: DUP13 000010e1: CALLER 000010e2: PUSH2 0x1f48 000010e5: JUMP 000010e6: JUMPDEST 000010e7: POP 000010e8: POP 000010e9: PUSH1 0x01 000010eb: PUSH1 0x08 000010ed: SSTORE 000010ee: POP 000010ef: SWAP8 000010f0: SWAP7 000010f1: POP 000010f2: POP 000010f3: POP 000010f4: POP 000010f5: POP 000010f6: POP 000010f7: POP 000010f8: JUMP 000010f9: JUMPDEST 000010fa: PUSH1 0x07 000010fc: SLOAD 000010fd: PUSH1 0x40 000010ff: DUP1 00001100: MLOAD 00001101: PUSH4 0x67e2ba23 00001106: PUSH1 0xe0 00001108: SHL 00001109: DUP2 0000110a: MSTORE 0000110b: SWAP1 0000110c: MLOAD 0000110d: PUSH1 0x00 0000110f: SWAP3 00001110: PUSH1 0x01 00001112: PUSH1 0x01 00001114: PUSH1 0xa0 00001116: SHL 00001117: SUB 00001118: AND 00001119: SWAP2 0000111a: PUSH4 0x67e2ba23 0000111f: SWAP2 00001120: PUSH1 0x04 00001122: DUP1 00001123: DUP4 00001124: ADD 00001125: SWAP3 00001126: PUSH1 0x20 00001128: SWAP3 00001129: SWAP2 0000112a: SWAP1 0000112b: DUP3 0000112c: SWAP1 0000112d: SUB 0000112e: ADD 0000112f: DUP2 00001130: DUP7 00001131: DUP1 00001132: EXTCODESIZE 00001133: ISZERO 00001134: DUP1 00001135: ISZERO 00001136: PUSH2 0x064e 00001139: JUMPI 0000113a: PUSH1 0x00 0000113c: DUP1 0000113d: REVERT 0000113e: JUMPDEST 0000113f: PUSH1 0x00 00001141: PUSH1 0x08 00001143: SLOAD 00001144: PUSH1 0x01 00001146: EQ 00001147: PUSH2 0x1162 0000114a: JUMPI 0000114b: PUSH1 0x40 0000114d: MLOAD 0000114e: PUSH3 0x461bcd 00001152: PUSH1 0xe5 00001154: SHL 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x04 00001159: ADD 0000115a: PUSH2 0x080f 0000115d: SWAP1 0000115e: PUSH2 0x2bef 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH1 0x02 00001165: PUSH1 0x08 00001167: SSTORE 00001168: PUSH1 0x07 0000116a: SLOAD 0000116b: PUSH9 0x140e99195c1bdcda5d 00001175: PUSH1 0xba 00001177: SHL 00001178: SWAP1 00001179: PUSH1 0x00 0000117b: SWAP1 0000117c: DUP2 0000117d: SWAP1 0000117e: PUSH1 0x01 00001180: PUSH1 0x01 00001182: PUSH1 0xa0 00001184: SHL 00001185: SUB 00001186: AND 00001187: PUSH4 0x7bd243de 0000118c: DUP5 0000118d: CALLER 0000118e: PUSH2 0x119a 00001191: CALLDATASIZE 00001192: PUSH1 0x04 00001194: DUP2 00001195: DUP9 00001196: PUSH2 0x2c11 00001199: JUMP 0000119a: JUMPDEST 0000119b: PUSH1 0x40 0000119d: MLOAD 0000119e: DUP6 0000119f: PUSH4 0xffffffff 000011a4: AND 000011a5: PUSH1 0xe0 000011a7: SHL 000011a8: DUP2 000011a9: MSTORE 000011aa: PUSH1 0x04 000011ac: ADD 000011ad: PUSH2 0x11b9 000011b0: SWAP5 000011b1: SWAP4 000011b2: SWAP3 000011b3: SWAP2 000011b4: SWAP1 000011b5: PUSH2 0x2b75 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x00 000011bc: PUSH1 0x40 000011be: MLOAD 000011bf: DUP1 000011c0: DUP4 000011c1: SUB 000011c2: DUP2 000011c3: DUP7 000011c4: DUP1 000011c5: EXTCODESIZE 000011c6: ISZERO 000011c7: DUP1 000011c8: ISZERO 000011c9: PUSH2 0x11d1 000011cc: JUMPI 000011cd: PUSH1 0x00 000011cf: DUP1 000011d0: REVERT 000011d1: JUMPDEST 000011d2: POP 000011d3: GAS 000011d4: STATICCALL 000011d5: ISZERO 000011d6: DUP1 000011d7: ISZERO 000011d8: PUSH2 0x11e5 000011db: JUMPI 000011dc: RETURNDATASIZE 000011dd: PUSH1 0x00 000011df: DUP1 000011e0: RETURNDATACOPY 000011e1: RETURNDATASIZE 000011e2: PUSH1 0x00 000011e4: REVERT 000011e5: JUMPDEST 000011e6: POP 000011e7: POP 000011e8: POP 000011e9: POP 000011ea: PUSH1 0x40 000011ec: MLOAD 000011ed: RETURNDATASIZE 000011ee: PUSH1 0x00 000011f0: DUP3 000011f1: RETURNDATACOPY 000011f2: PUSH1 0x1f 000011f4: RETURNDATASIZE 000011f5: SWAP1 000011f6: DUP2 000011f7: ADD 000011f8: PUSH1 0x1f 000011fa: NOT 000011fb: AND 000011fc: DUP3 000011fd: ADD 000011fe: PUSH1 0x40 00001200: MSTORE 00001201: PUSH2 0x120d 00001204: SWAP2 00001205: SWAP1 00001206: DUP2 00001207: ADD 00001208: SWAP1 00001209: PUSH2 0x2853 0000120c: JUMP 0000120d: JUMPDEST 0000120e: SWAP2 0000120f: POP 00001210: SWAP2 00001211: POP 00001212: DUP2 00001213: DUP2 00001214: SWAP1 00001215: PUSH2 0x1231 00001218: JUMPI 00001219: PUSH1 0x40 0000121b: MLOAD 0000121c: PUSH3 0x461bcd 00001220: PUSH1 0xe5 00001222: SHL 00001223: DUP2 00001224: MSTORE 00001225: PUSH1 0x04 00001227: ADD 00001228: PUSH2 0x080f 0000122b: SWAP2 0000122c: SWAP1 0000122d: PUSH2 0x2bbc 00001230: JUMP 00001231: JUMPDEST 00001232: POP 00001233: PUSH2 0x1249 00001236: PUSH2 0x123e 00001239: DUP8 0000123a: PUSH2 0x1c7c 0000123d: JUMP 0000123e: JUMPDEST 0000123f: SWAP5 00001240: POP 00001241: DUP5 00001242: DUP8 00001243: DUP8 00001244: CALLER 00001245: PUSH2 0x1f48 00001248: JUMP 00001249: JUMPDEST 0000124a: POP 0000124b: POP 0000124c: PUSH1 0x01 0000124e: PUSH1 0x08 00001250: SSTORE 00001251: POP 00001252: SWAP3 00001253: SWAP2 00001254: POP 00001255: POP 00001256: JUMP 00001257: JUMPDEST 00001258: PUSH1 0x01 0000125a: PUSH1 0x01 0000125c: PUSH1 0xa0 0000125e: SHL 0000125f: SUB 00001260: DUP2 00001261: AND 00001262: PUSH1 0x00 00001264: SWAP1 00001265: DUP2 00001266: MSTORE 00001267: PUSH1 0x03 00001269: PUSH1 0x20 0000126b: MSTORE 0000126c: PUSH1 0x40 0000126e: DUP2 0000126f: KECCAK256 00001270: SLOAD 00001271: PUSH2 0x0761 00001274: SWAP1 00001275: PUSH2 0x0719 00001278: JUMP 00001279: JUMPDEST 0000127a: PUSH1 0x00 0000127c: PUSH1 0x08 0000127e: SLOAD 0000127f: PUSH1 0x01 00001281: EQ 00001282: PUSH2 0x129d 00001285: JUMPI 00001286: PUSH1 0x40 00001288: MLOAD 00001289: PUSH3 0x461bcd 0000128d: PUSH1 0xe5 0000128f: SHL 00001290: DUP2 00001291: MSTORE 00001292: PUSH1 0x04 00001294: ADD 00001295: PUSH2 0x080f 00001298: SWAP1 00001299: PUSH2 0x2bef 0000129c: JUMP 0000129d: JUMPDEST 0000129e: PUSH1 0x02 000012a0: PUSH1 0x08 000012a2: SSTORE 000012a3: PUSH1 0x07 000012a5: SLOAD 000012a6: PUSH6 0x140e9b5a5b9d 000012ad: PUSH1 0xd2 000012af: SHL 000012b0: SWAP1 000012b1: PUSH1 0x00 000012b3: SWAP1 000012b4: DUP2 000012b5: SWAP1 000012b6: PUSH1 0x01 000012b8: PUSH1 0x01 000012ba: PUSH1 0xa0 000012bc: SHL 000012bd: SUB 000012be: AND 000012bf: PUSH4 0x7bd243de 000012c4: DUP5 000012c5: CALLER 000012c6: PUSH2 0x12d2 000012c9: CALLDATASIZE 000012ca: PUSH1 0x04 000012cc: DUP2 000012cd: DUP9 000012ce: PUSH2 0x2c11 000012d1: JUMP 000012d2: JUMPDEST 000012d3: PUSH1 0x40 000012d5: MLOAD 000012d6: DUP6 000012d7: PUSH4 0xffffffff 000012dc: AND 000012dd: PUSH1 0xe0 000012df: SHL 000012e0: DUP2 000012e1: MSTORE 000012e2: PUSH1 0x04 000012e4: ADD 000012e5: PUSH2 0x12f1 000012e8: SWAP5 000012e9: SWAP4 000012ea: SWAP3 000012eb: SWAP2 000012ec: SWAP1 000012ed: PUSH2 0x2b75 000012f0: JUMP 000012f1: JUMPDEST 000012f2: PUSH1 0x00 000012f4: PUSH1 0x40 000012f6: MLOAD 000012f7: DUP1 000012f8: DUP4 000012f9: SUB 000012fa: DUP2 000012fb: DUP7 000012fc: DUP1 000012fd: EXTCODESIZE 000012fe: ISZERO 000012ff: DUP1 00001300: ISZERO 00001301: PUSH2 0x1309 00001304: JUMPI 00001305: PUSH1 0x00 00001307: DUP1 00001308: REVERT 00001309: JUMPDEST 0000130a: POP 0000130b: GAS 0000130c: STATICCALL 0000130d: ISZERO 0000130e: DUP1 0000130f: ISZERO 00001310: PUSH2 0x131d 00001313: JUMPI 00001314: RETURNDATASIZE 00001315: PUSH1 0x00 00001317: DUP1 00001318: RETURNDATACOPY 00001319: RETURNDATASIZE 0000131a: PUSH1 0x00 0000131c: REVERT 0000131d: JUMPDEST 0000131e: POP 0000131f: POP 00001320: POP 00001321: POP 00001322: PUSH1 0x40 00001324: MLOAD 00001325: RETURNDATASIZE 00001326: PUSH1 0x00 00001328: DUP3 00001329: RETURNDATACOPY 0000132a: PUSH1 0x1f 0000132c: RETURNDATASIZE 0000132d: SWAP1 0000132e: DUP2 0000132f: ADD 00001330: PUSH1 0x1f 00001332: NOT 00001333: AND 00001334: DUP3 00001335: ADD 00001336: PUSH1 0x40 00001338: MSTORE 00001339: PUSH2 0x1345 0000133c: SWAP2 0000133d: SWAP1 0000133e: DUP2 0000133f: ADD 00001340: SWAP1 00001341: PUSH2 0x2853 00001344: JUMP 00001345: JUMPDEST 00001346: SWAP2 00001347: POP 00001348: SWAP2 00001349: POP 0000134a: DUP2 0000134b: DUP2 0000134c: SWAP1 0000134d: PUSH2 0x1369 00001350: JUMPI 00001351: PUSH1 0x40 00001353: MLOAD 00001354: PUSH3 0x461bcd 00001358: PUSH1 0xe5 0000135a: SHL 0000135b: DUP2 0000135c: MSTORE 0000135d: PUSH1 0x04 0000135f: ADD 00001360: PUSH2 0x080f 00001363: SWAP2 00001364: SWAP1 00001365: PUSH2 0x2bbc 00001368: JUMP 00001369: JUMPDEST 0000136a: POP 0000136b: PUSH2 0x1249 0000136e: DUP7 0000136f: PUSH2 0x1377 00001372: DUP9 00001373: PUSH2 0x14af 00001376: JUMP 00001377: JUMPDEST 00001378: SWAP6 00001379: POP 0000137a: DUP6 0000137b: DUP8 0000137c: CALLER 0000137d: PUSH2 0x1f48 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x01 00001384: DUP1 00001385: SLOAD 00001386: PUSH2 0x0698 00001389: SWAP1 0000138a: PUSH2 0x2cd7 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH1 0x00 00001391: PUSH2 0x075d 00001394: CALLER 00001395: DUP5 00001396: DUP5 00001397: PUSH2 0x1ee2 0000139a: JUMP 0000139b: JUMPDEST 0000139c: PUSH1 0x00 0000139e: PUSH2 0x0761 000013a1: PUSH1 0x02 000013a3: SLOAD 000013a4: DUP4 000013a5: PUSH2 0x13ae 000013a8: SWAP2 000013a9: SWAP1 000013aa: PUSH2 0x2c75 000013ad: JUMP 000013ae: JUMPDEST 000013af: PUSH2 0x13b6 000013b2: PUSH2 0x10f9 000013b5: JUMP 000013b6: JUMPDEST 000013b7: PUSH2 0x13be 000013ba: PUSH2 0x060a 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH2 0x13c8 000013c2: SWAP2 000013c3: SWAP1 000013c4: PUSH2 0x2c94 000013c7: JUMP 000013c8: JUMPDEST 000013c9: PUSH2 0x21d4 000013cc: JUMP 000013cd: JUMPDEST 000013ce: PUSH1 0x07 000013d0: SLOAD 000013d1: PUSH1 0x00 000013d3: SWAP1 000013d4: PUSH10 0x281d3a3930b739b332b9 000013df: PUSH1 0xb1 000013e1: SHL 000013e2: SWAP1 000013e3: DUP3 000013e4: SWAP1 000013e5: DUP2 000013e6: SWAP1 000013e7: PUSH1 0x01 000013e9: PUSH1 0x01 000013eb: PUSH1 0xa0 000013ed: SHL 000013ee: SUB 000013ef: AND 000013f0: PUSH4 0x7bd243de 000013f5: DUP5 000013f6: CALLER 000013f7: PUSH2 0x1403 000013fa: CALLDATASIZE 000013fb: PUSH1 0x04 000013fd: DUP2 000013fe: DUP9 000013ff: PUSH2 0x2c11 00001402: JUMP 00001403: JUMPDEST 00001404: PUSH1 0x40 00001406: MLOAD 00001407: DUP6 00001408: PUSH4 0xffffffff 0000140d: AND 0000140e: PUSH1 0xe0 00001410: SHL 00001411: DUP2 00001412: MSTORE 00001413: PUSH1 0x04 00001415: ADD 00001416: PUSH2 0x1422 00001419: SWAP5 0000141a: SWAP4 0000141b: SWAP3 0000141c: SWAP2 0000141d: SWAP1 0000141e: PUSH2 0x2b75 00001421: JUMP 00001422: JUMPDEST 00001423: PUSH1 0x00 00001425: PUSH1 0x40 00001427: MLOAD 00001428: DUP1 00001429: DUP4 0000142a: SUB 0000142b: DUP2 0000142c: DUP7 0000142d: DUP1 0000142e: EXTCODESIZE 0000142f: ISZERO 00001430: DUP1 00001431: ISZERO 00001432: PUSH2 0x143a 00001435: JUMPI 00001436: PUSH1 0x00 00001438: DUP1 00001439: REVERT 0000143a: JUMPDEST 0000143b: POP 0000143c: GAS 0000143d: STATICCALL 0000143e: ISZERO 0000143f: DUP1 00001440: ISZERO 00001441: PUSH2 0x144e 00001444: JUMPI 00001445: RETURNDATASIZE 00001446: PUSH1 0x00 00001448: DUP1 00001449: RETURNDATACOPY 0000144a: RETURNDATASIZE 0000144b: PUSH1 0x00 0000144d: REVERT 0000144e: JUMPDEST 0000144f: POP 00001450: POP 00001451: POP 00001452: POP 00001453: PUSH1 0x40 00001455: MLOAD 00001456: RETURNDATASIZE 00001457: PUSH1 0x00 00001459: DUP3 0000145a: RETURNDATACOPY 0000145b: PUSH1 0x1f 0000145d: RETURNDATASIZE 0000145e: SWAP1 0000145f: DUP2 00001460: ADD 00001461: PUSH1 0x1f 00001463: NOT 00001464: AND 00001465: DUP3 00001466: ADD 00001467: PUSH1 0x40 00001469: MSTORE 0000146a: PUSH2 0x1476 0000146d: SWAP2 0000146e: SWAP1 0000146f: DUP2 00001470: ADD 00001471: SWAP1 00001472: PUSH2 0x2853 00001475: JUMP 00001476: JUMPDEST 00001477: SWAP2 00001478: POP 00001479: SWAP2 0000147a: POP 0000147b: DUP2 0000147c: DUP2 0000147d: SWAP1 0000147e: PUSH2 0x149a 00001481: JUMPI 00001482: PUSH1 0x40 00001484: MLOAD 00001485: PUSH3 0x461bcd 00001489: PUSH1 0xe5 0000148b: SHL 0000148c: DUP2 0000148d: MSTORE 0000148e: PUSH1 0x04 00001490: ADD 00001491: PUSH2 0x080f 00001494: SWAP2 00001495: SWAP1 00001496: PUSH2 0x2bbc 00001499: JUMP 0000149a: JUMPDEST 0000149b: POP 0000149c: PUSH2 0x14a5 0000149f: DUP7 000014a0: DUP7 000014a1: PUSH2 0x21f7 000014a4: JUMP 000014a5: JUMPDEST 000014a6: SWAP7 000014a7: SWAP6 000014a8: POP 000014a9: POP 000014aa: POP 000014ab: POP 000014ac: POP 000014ad: POP 000014ae: JUMP 000014af: JUMPDEST 000014b0: PUSH1 0x02 000014b2: SLOAD 000014b3: PUSH1 0x00 000014b5: SWAP1 000014b6: DUP1 000014b7: ISZERO 000014b8: PUSH2 0x0747 000014bb: JUMPI 000014bc: PUSH2 0x0742 000014bf: PUSH2 0x14c6 000014c2: PUSH2 0x060a 000014c5: JUMP 000014c6: JUMPDEST 000014c7: PUSH2 0x14d0 000014ca: SWAP1 000014cb: DUP6 000014cc: PUSH2 0x2c75 000014cf: JUMP 000014d0: JUMPDEST 000014d1: DUP3 000014d2: PUSH2 0x21d4 000014d5: JUMP 000014d6: JUMPDEST 000014d7: PUSH1 0x00 000014d9: PUSH1 0x08 000014db: SLOAD 000014dc: PUSH1 0x01 000014de: EQ 000014df: PUSH2 0x14fa 000014e2: JUMPI 000014e3: PUSH1 0x40 000014e5: MLOAD 000014e6: PUSH3 0x461bcd 000014ea: PUSH1 0xe5 000014ec: SHL 000014ed: DUP2 000014ee: MSTORE 000014ef: PUSH1 0x04 000014f1: ADD 000014f2: PUSH2 0x080f 000014f5: SWAP1 000014f6: PUSH2 0x2bef 000014f9: JUMP 000014fa: JUMPDEST 000014fb: PUSH1 0x02 000014fd: PUSH1 0x08 000014ff: SSTORE 00001500: PUSH1 0x07 00001502: SLOAD 00001503: PUSH10 0x503a7769746864726177 0000150e: PUSH1 0xb0 00001510: SHL 00001511: SWAP1 00001512: PUSH1 0x00 00001514: SWAP1 00001515: DUP2 00001516: SWAP1 00001517: PUSH1 0x01 00001519: PUSH1 0x01 0000151b: PUSH1 0xa0 0000151d: SHL 0000151e: SUB 0000151f: AND 00001520: PUSH4 0x7bd243de 00001525: DUP5 00001526: CALLER 00001527: PUSH2 0x1533 0000152a: CALLDATASIZE 0000152b: PUSH1 0x04 0000152d: DUP2 0000152e: DUP9 0000152f: PUSH2 0x2c11 00001532: JUMP 00001533: JUMPDEST 00001534: PUSH1 0x40 00001536: MLOAD 00001537: DUP6 00001538: PUSH4 0xffffffff 0000153d: AND 0000153e: PUSH1 0xe0 00001540: SHL 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x04 00001545: ADD 00001546: PUSH2 0x1552 00001549: SWAP5 0000154a: SWAP4 0000154b: SWAP3 0000154c: SWAP2 0000154d: SWAP1 0000154e: PUSH2 0x2b75 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH1 0x00 00001555: PUSH1 0x40 00001557: MLOAD 00001558: DUP1 00001559: DUP4 0000155a: SUB 0000155b: DUP2 0000155c: DUP7 0000155d: DUP1 0000155e: EXTCODESIZE 0000155f: ISZERO 00001560: DUP1 00001561: ISZERO 00001562: PUSH2 0x156a 00001565: JUMPI 00001566: PUSH1 0x00 00001568: DUP1 00001569: REVERT 0000156a: JUMPDEST 0000156b: POP 0000156c: GAS 0000156d: STATICCALL 0000156e: ISZERO 0000156f: DUP1 00001570: ISZERO 00001571: PUSH2 0x157e 00001574: JUMPI 00001575: RETURNDATASIZE 00001576: PUSH1 0x00 00001578: DUP1 00001579: RETURNDATACOPY 0000157a: RETURNDATASIZE 0000157b: PUSH1 0x00 0000157d: REVERT 0000157e: JUMPDEST 0000157f: POP 00001580: POP 00001581: POP 00001582: POP 00001583: PUSH1 0x40 00001585: MLOAD 00001586: RETURNDATASIZE 00001587: PUSH1 0x00 00001589: DUP3 0000158a: RETURNDATACOPY 0000158b: PUSH1 0x1f 0000158d: RETURNDATASIZE 0000158e: SWAP1 0000158f: DUP2 00001590: ADD 00001591: PUSH1 0x1f 00001593: NOT 00001594: AND 00001595: DUP3 00001596: ADD 00001597: PUSH1 0x40 00001599: MSTORE 0000159a: PUSH2 0x15a6 0000159d: SWAP2 0000159e: SWAP1 0000159f: DUP2 000015a0: ADD 000015a1: SWAP1 000015a2: PUSH2 0x2853 000015a5: JUMP 000015a6: JUMPDEST 000015a7: SWAP2 000015a8: POP 000015a9: SWAP2 000015aa: POP 000015ab: DUP2 000015ac: DUP2 000015ad: SWAP1 000015ae: PUSH2 0x15ca 000015b1: JUMPI 000015b2: PUSH1 0x40 000015b4: MLOAD 000015b5: PUSH3 0x461bcd 000015b9: PUSH1 0xe5 000015bb: SHL 000015bc: DUP2 000015bd: MSTORE 000015be: PUSH1 0x04 000015c0: ADD 000015c1: PUSH2 0x080f 000015c4: SWAP2 000015c5: SWAP1 000015c6: PUSH2 0x2bbc 000015c9: JUMP 000015ca: JUMPDEST 000015cb: POP 000015cc: PUSH1 0x07 000015ce: SLOAD 000015cf: PUSH1 0x40 000015d1: MLOAD 000015d2: PUSH4 0x71a2fa5b 000015d7: PUSH1 0xe1 000015d9: SHL 000015da: DUP2 000015db: MSTORE 000015dc: PUSH1 0x04 000015de: DUP2 000015df: ADD 000015e0: DUP10 000015e1: SWAP1 000015e2: MSTORE 000015e3: PUSH1 0x01 000015e5: PUSH1 0x01 000015e7: PUSH1 0xa0 000015e9: SHL 000015ea: SUB 000015eb: DUP8 000015ec: DUP2 000015ed: AND 000015ee: PUSH1 0x24 000015f0: DUP4 000015f1: ADD 000015f2: MSTORE 000015f3: CALLER 000015f4: PUSH1 0x44 000015f6: DUP4 000015f7: ADD 000015f8: MSTORE 000015f9: SWAP1 000015fa: SWAP2 000015fb: AND 000015fc: SWAP1 000015fd: PUSH4 0xe345f4b6 00001602: SWAP1 00001603: PUSH1 0x64 00001605: ADD 00001606: PUSH1 0x40 00001608: DUP1 00001609: MLOAD 0000160a: DUP1 0000160b: DUP4 0000160c: SUB 0000160d: DUP2 0000160e: PUSH1 0x00 00001610: DUP8 00001611: DUP1 00001612: EXTCODESIZE 00001613: ISZERO 00001614: DUP1 00001615: ISZERO 00001616: PUSH2 0x161e 00001619: JUMPI 0000161a: PUSH1 0x00 0000161c: DUP1 0000161d: REVERT 0000161e: JUMPDEST 0000161f: POP 00001620: GAS 00001621: CALL 00001622: ISZERO 00001623: DUP1 00001624: ISZERO 00001625: PUSH2 0x1632 00001628: JUMPI 00001629: RETURNDATASIZE 0000162a: PUSH1 0x00 0000162c: DUP1 0000162d: RETURNDATACOPY 0000162e: RETURNDATASIZE 0000162f: PUSH1 0x00 00001631: REVERT 00001632: JUMPDEST 00001633: POP 00001634: POP 00001635: POP 00001636: POP 00001637: PUSH1 0x40 00001639: MLOAD 0000163a: RETURNDATASIZE 0000163b: PUSH1 0x1f 0000163d: NOT 0000163e: PUSH1 0x1f 00001640: DUP3 00001641: ADD 00001642: AND 00001643: DUP3 00001644: ADD 00001645: DUP1 00001646: PUSH1 0x40 00001648: MSTORE 00001649: POP 0000164a: DUP2 0000164b: ADD 0000164c: SWAP1 0000164d: PUSH2 0x1656 00001650: SWAP2 00001651: SWAP1 00001652: PUSH2 0x2a58 00001655: JUMP 00001656: JUMPDEST 00001657: SWAP8 00001658: POP 00001659: SWAP4 0000165a: POP 0000165b: PUSH2 0x1667 0000165e: DUP5 0000165f: DUP9 00001660: DUP9 00001661: DUP9 00001662: CALLER 00001663: PUSH2 0x2204 00001666: JUMP 00001667: JUMPDEST 00001668: POP 00001669: POP 0000166a: PUSH1 0x01 0000166c: PUSH1 0x08 0000166e: SSTORE 0000166f: POP 00001670: SWAP4 00001671: SWAP3 00001672: POP 00001673: POP 00001674: POP 00001675: JUMP 00001676: JUMPDEST 00001677: PUSH1 0x00 00001679: PUSH1 0x08 0000167b: SLOAD 0000167c: PUSH1 0x01 0000167e: EQ 0000167f: PUSH2 0x169a 00001682: JUMPI 00001683: PUSH1 0x40 00001685: MLOAD 00001686: PUSH3 0x461bcd 0000168a: PUSH1 0xe5 0000168c: SHL 0000168d: DUP2 0000168e: MSTORE 0000168f: PUSH1 0x04 00001691: ADD 00001692: PUSH2 0x080f 00001695: SWAP1 00001696: PUSH2 0x2bef 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH1 0x02 0000169d: PUSH1 0x08 0000169f: SSTORE 000016a0: PUSH1 0x07 000016a2: SLOAD 000016a3: PUSH8 0x503a72656465656d 000016ac: PUSH1 0xc0 000016ae: SHL 000016af: SWAP1 000016b0: PUSH1 0x00 000016b2: SWAP1 000016b3: DUP2 000016b4: SWAP1 000016b5: PUSH1 0x01 000016b7: PUSH1 0x01 000016b9: PUSH1 0xa0 000016bb: SHL 000016bc: SUB 000016bd: AND 000016be: PUSH4 0x7bd243de 000016c3: DUP5 000016c4: CALLER 000016c5: PUSH2 0x16d1 000016c8: CALLDATASIZE 000016c9: PUSH1 0x04 000016cb: DUP2 000016cc: DUP9 000016cd: PUSH2 0x2c11 000016d0: JUMP 000016d1: JUMPDEST 000016d2: PUSH1 0x40 000016d4: MLOAD 000016d5: DUP6 000016d6: PUSH4 0xffffffff 000016db: AND 000016dc: PUSH1 0xe0 000016de: SHL 000016df: DUP2 000016e0: MSTORE 000016e1: PUSH1 0x04 000016e3: ADD 000016e4: PUSH2 0x16f0 000016e7: SWAP5 000016e8: SWAP4 000016e9: SWAP3 000016ea: SWAP2 000016eb: SWAP1 000016ec: PUSH2 0x2b75 000016ef: JUMP 000016f0: JUMPDEST 000016f1: PUSH1 0x00 000016f3: PUSH1 0x40 000016f5: MLOAD 000016f6: DUP1 000016f7: DUP4 000016f8: SUB 000016f9: DUP2 000016fa: DUP7 000016fb: DUP1 000016fc: EXTCODESIZE 000016fd: ISZERO 000016fe: DUP1 000016ff: ISZERO 00001700: PUSH2 0x1708 00001703: JUMPI 00001704: PUSH1 0x00 00001706: DUP1 00001707: REVERT 00001708: JUMPDEST 00001709: POP 0000170a: GAS 0000170b: STATICCALL 0000170c: ISZERO 0000170d: DUP1 0000170e: ISZERO 0000170f: PUSH2 0x171c 00001712: JUMPI 00001713: RETURNDATASIZE 00001714: PUSH1 0x00 00001716: DUP1 00001717: RETURNDATACOPY 00001718: RETURNDATASIZE 00001719: PUSH1 0x00 0000171b: REVERT 0000171c: JUMPDEST 0000171d: POP 0000171e: POP 0000171f: POP 00001720: POP 00001721: PUSH1 0x40 00001723: MLOAD 00001724: RETURNDATASIZE 00001725: PUSH1 0x00 00001727: DUP3 00001728: RETURNDATACOPY 00001729: PUSH1 0x1f 0000172b: RETURNDATASIZE 0000172c: SWAP1 0000172d: DUP2 0000172e: ADD 0000172f: PUSH1 0x1f 00001731: NOT 00001732: AND 00001733: DUP3 00001734: ADD 00001735: PUSH1 0x40 00001737: MSTORE 00001738: PUSH2 0x1744 0000173b: SWAP2 0000173c: SWAP1 0000173d: DUP2 0000173e: ADD 0000173f: SWAP1 00001740: PUSH2 0x2853 00001743: JUMP 00001744: JUMPDEST 00001745: SWAP2 00001746: POP 00001747: SWAP2 00001748: POP 00001749: DUP2 0000174a: DUP2 0000174b: SWAP1 0000174c: PUSH2 0x1768 0000174f: JUMPI 00001750: PUSH1 0x40 00001752: MLOAD 00001753: PUSH3 0x461bcd 00001757: PUSH1 0xe5 00001759: SHL 0000175a: DUP2 0000175b: MSTORE 0000175c: PUSH1 0x04 0000175e: ADD 0000175f: PUSH2 0x080f 00001762: SWAP2 00001763: SWAP1 00001764: PUSH2 0x2bbc 00001767: JUMP 00001768: JUMPDEST 00001769: POP 0000176a: PUSH1 0x07 0000176c: SLOAD 0000176d: PUSH1 0x40 0000176f: MLOAD 00001770: PUSH4 0x60af6ad3 00001775: PUSH1 0xe0 00001777: SHL 00001778: DUP2 00001779: MSTORE 0000177a: PUSH1 0x04 0000177c: DUP2 0000177d: ADD 0000177e: DUP10 0000177f: SWAP1 00001780: MSTORE 00001781: PUSH1 0x01 00001783: PUSH1 0x01 00001785: PUSH1 0xa0 00001787: SHL 00001788: SUB 00001789: DUP8 0000178a: DUP2 0000178b: AND 0000178c: PUSH1 0x24 0000178e: DUP4 0000178f: ADD 00001790: MSTORE 00001791: CALLER 00001792: PUSH1 0x44 00001794: DUP4 00001795: ADD 00001796: MSTORE 00001797: PUSH1 0x00 00001799: SWAP3 0000179a: AND 0000179b: SWAP1 0000179c: PUSH4 0x60af6ad3 000017a1: SWAP1 000017a2: PUSH1 0x64 000017a4: ADD 000017a5: PUSH1 0x40 000017a7: DUP1 000017a8: MLOAD 000017a9: DUP1 000017aa: DUP4 000017ab: SUB 000017ac: DUP2 000017ad: PUSH1 0x00 000017af: DUP8 000017b0: DUP1 000017b1: EXTCODESIZE 000017b2: ISZERO 000017b3: DUP1 000017b4: ISZERO 000017b5: PUSH2 0x17bd 000017b8: JUMPI 000017b9: PUSH1 0x00 000017bb: DUP1 000017bc: REVERT 000017bd: JUMPDEST 000017be: POP 000017bf: GAS 000017c0: CALL 000017c1: ISZERO 000017c2: DUP1 000017c3: ISZERO 000017c4: PUSH2 0x17d1 000017c7: JUMPI 000017c8: RETURNDATASIZE 000017c9: PUSH1 0x00 000017cb: DUP1 000017cc: RETURNDATACOPY 000017cd: RETURNDATASIZE 000017ce: PUSH1 0x00 000017d0: REVERT 000017d1: JUMPDEST 000017d2: POP 000017d3: POP 000017d4: POP 000017d5: POP 000017d6: PUSH1 0x40 000017d8: MLOAD 000017d9: RETURNDATASIZE 000017da: PUSH1 0x1f 000017dc: NOT 000017dd: PUSH1 0x1f 000017df: DUP3 000017e0: ADD 000017e1: AND 000017e2: DUP3 000017e3: ADD 000017e4: DUP1 000017e5: PUSH1 0x40 000017e7: MSTORE 000017e8: POP 000017e9: DUP2 000017ea: ADD 000017eb: SWAP1 000017ec: PUSH2 0x17f5 000017ef: SWAP2 000017f0: SWAP1 000017f1: PUSH2 0x2a58 000017f4: JUMP 000017f5: JUMPDEST 000017f6: SWAP6 000017f7: POP 000017f8: SWAP1 000017f9: POP 000017fa: PUSH2 0x1806 000017fd: DUP2 000017fe: DUP7 000017ff: DUP10 00001800: DUP10 00001801: CALLER 00001802: PUSH2 0x2204 00001805: JUMP 00001806: JUMPDEST 00001807: POP 00001808: POP 00001809: PUSH1 0x01 0000180b: PUSH1 0x08 0000180d: SSTORE 0000180e: POP 0000180f: SWAP1 00001810: SWAP5 00001811: SWAP4 00001812: POP 00001813: POP 00001814: POP 00001815: POP 00001816: JUMP 00001817: JUMPDEST 00001818: PUSH1 0x07 0000181a: SLOAD 0000181b: PUSH1 0x40 0000181d: MLOAD 0000181e: PUSH4 0x631ebadb 00001823: PUSH1 0xe1 00001825: SHL 00001826: DUP2 00001827: MSTORE 00001828: PUSH1 0x01 0000182a: PUSH1 0x01 0000182c: PUSH1 0xa0 0000182e: SHL 0000182f: SUB 00001830: DUP4 00001831: DUP2 00001832: AND 00001833: PUSH1 0x04 00001835: DUP4 00001836: ADD 00001837: MSTORE 00001838: PUSH1 0x00 0000183a: SWAP3 0000183b: AND 0000183c: SWAP1 0000183d: PUSH4 0xc63d75b6 00001842: SWAP1 00001843: PUSH1 0x24 00001845: ADD 00001846: PUSH2 0x079b 00001849: JUMP 0000184a: JUMPDEST 0000184b: PUSH1 0x02 0000184d: SLOAD 0000184e: PUSH1 0x00 00001850: SWAP1 00001851: DUP1 00001852: ISZERO 00001853: PUSH2 0x0747 00001856: JUMPI 00001857: PUSH2 0x185e 0000185a: PUSH2 0x060a 0000185d: JUMP 0000185e: JUMPDEST 0000185f: PUSH2 0x0738 00001862: DUP3 00001863: DUP6 00001864: PUSH2 0x2c75 00001867: JUMP 00001868: JUMPDEST 00001869: PUSH1 0x00 0000186b: PUSH1 0x08 0000186d: SLOAD 0000186e: PUSH1 0x01 00001870: EQ 00001871: PUSH2 0x188c 00001874: JUMPI 00001875: PUSH1 0x40 00001877: MLOAD 00001878: PUSH3 0x461bcd 0000187c: PUSH1 0xe5 0000187e: SHL 0000187f: DUP2 00001880: MSTORE 00001881: PUSH1 0x04 00001883: ADD 00001884: PUSH2 0x080f 00001887: SWAP1 00001888: PUSH2 0x2bef 0000188b: JUMP 0000188c: JUMPDEST 0000188d: PUSH1 0x02 0000188f: PUSH1 0x08 00001891: SSTORE 00001892: PUSH1 0x07 00001894: SLOAD 00001895: PUSH17 0x503a726571756573745769746864726177 000018a7: PUSH1 0x78 000018a9: SHL 000018aa: SWAP1 000018ab: PUSH1 0x00 000018ad: SWAP1 000018ae: DUP2 000018af: SWAP1 000018b0: PUSH1 0x01 000018b2: PUSH1 0x01 000018b4: PUSH1 0xa0 000018b6: SHL 000018b7: SUB 000018b8: AND 000018b9: PUSH4 0x7bd243de 000018be: DUP5 000018bf: CALLER 000018c0: PUSH2 0x18cc 000018c3: CALLDATASIZE 000018c4: PUSH1 0x04 000018c6: DUP2 000018c7: DUP9 000018c8: PUSH2 0x2c11 000018cb: JUMP 000018cc: JUMPDEST 000018cd: PUSH1 0x40 000018cf: MLOAD 000018d0: DUP6 000018d1: PUSH4 0xffffffff 000018d6: AND 000018d7: PUSH1 0xe0 000018d9: SHL 000018da: DUP2 000018db: MSTORE 000018dc: PUSH1 0x04 000018de: ADD 000018df: PUSH2 0x18eb 000018e2: SWAP5 000018e3: SWAP4 000018e4: SWAP3 000018e5: SWAP2 000018e6: SWAP1 000018e7: PUSH2 0x2b75 000018ea: JUMP 000018eb: JUMPDEST 000018ec: PUSH1 0x00 000018ee: PUSH1 0x40 000018f0: MLOAD 000018f1: DUP1 000018f2: DUP4 000018f3: SUB 000018f4: DUP2 000018f5: DUP7 000018f6: DUP1 000018f7: EXTCODESIZE 000018f8: ISZERO 000018f9: DUP1 000018fa: ISZERO 000018fb: PUSH2 0x1903 000018fe: JUMPI 000018ff: PUSH1 0x00 00001901: DUP1 00001902: REVERT 00001903: JUMPDEST 00001904: POP 00001905: GAS 00001906: STATICCALL 00001907: ISZERO 00001908: DUP1 00001909: ISZERO 0000190a: PUSH2 0x1917 0000190d: JUMPI 0000190e: RETURNDATASIZE 0000190f: PUSH1 0x00 00001911: DUP1 00001912: RETURNDATACOPY 00001913: RETURNDATASIZE 00001914: PUSH1 0x00 00001916: REVERT 00001917: JUMPDEST 00001918: POP 00001919: POP 0000191a: POP 0000191b: POP 0000191c: PUSH1 0x40 0000191e: MLOAD 0000191f: RETURNDATASIZE 00001920: PUSH1 0x00 00001922: DUP3 00001923: RETURNDATACOPY 00001924: PUSH1 0x1f 00001926: RETURNDATASIZE 00001927: SWAP1 00001928: DUP2 00001929: ADD 0000192a: PUSH1 0x1f 0000192c: NOT 0000192d: AND 0000192e: DUP3 0000192f: ADD 00001930: PUSH1 0x40 00001932: MSTORE 00001933: PUSH2 0x193f 00001936: SWAP2 00001937: SWAP1 00001938: DUP2 00001939: ADD 0000193a: SWAP1 0000193b: PUSH2 0x2853 0000193e: JUMP 0000193f: JUMPDEST 00001940: SWAP2 00001941: POP 00001942: SWAP2 00001943: POP 00001944: DUP2 00001945: DUP2 00001946: SWAP1 00001947: PUSH2 0x1963 0000194a: JUMPI 0000194b: PUSH1 0x40 0000194d: MLOAD 0000194e: PUSH3 0x461bcd 00001952: PUSH1 0xe5 00001954: SHL 00001955: DUP2 00001956: MSTORE 00001957: PUSH1 0x04 00001959: ADD 0000195a: PUSH2 0x080f 0000195d: SWAP2 0000195e: SWAP1 0000195f: PUSH2 0x2bbc 00001962: JUMP 00001963: JUMPDEST 00001964: POP 00001965: DUP5 00001966: PUSH1 0x01 00001968: PUSH1 0x01 0000196a: PUSH1 0xa0 0000196c: SHL 0000196d: SUB 0000196e: AND 0000196f: PUSH32 0xd72eb5d043f24a0168ae744d5c44f9596fd673a26bf74d9646bff4b844882d14 00001990: DUP8 00001991: PUSH2 0x0924 00001994: DUP10 00001995: DUP10 00001996: PUSH2 0x233f 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH1 0x07 0000199d: SLOAD 0000199e: PUSH1 0x40 000019a0: MLOAD 000019a1: PUSH4 0xce96cb77 000019a6: PUSH1 0xe0 000019a8: SHL 000019a9: DUP2 000019aa: MSTORE 000019ab: PUSH1 0x01 000019ad: PUSH1 0x01 000019af: PUSH1 0xa0 000019b1: SHL 000019b2: SUB 000019b3: DUP4 000019b4: DUP2 000019b5: AND 000019b6: PUSH1 0x04 000019b8: DUP4 000019b9: ADD 000019ba: MSTORE 000019bb: PUSH1 0x00 000019bd: SWAP3 000019be: AND 000019bf: SWAP1 000019c0: PUSH4 0xce96cb77 000019c5: SWAP1 000019c6: PUSH1 0x24 000019c8: ADD 000019c9: PUSH2 0x079b 000019cc: JUMP 000019cd: JUMPDEST 000019ce: TIMESTAMP 000019cf: DUP5 000019d0: LT 000019d1: ISZERO 000019d2: PUSH2 0x1a0f 000019d5: JUMPI 000019d6: PUSH1 0x40 000019d8: MLOAD 000019d9: PUSH3 0x461bcd 000019dd: PUSH1 0xe5 000019df: SHL 000019e0: DUP2 000019e1: MSTORE 000019e2: PUSH1 0x20 000019e4: PUSH1 0x04 000019e6: DUP3 000019e7: ADD 000019e8: MSTORE 000019e9: PUSH1 0x0f 000019eb: PUSH1 0x24 000019ed: DUP3 000019ee: ADD 000019ef: MSTORE 000019f0: PUSH15 0x115490cc8c0e940e91561412549151 00001a00: PUSH1 0x8a 00001a02: SHL 00001a03: PUSH1 0x44 00001a05: DUP3 00001a06: ADD 00001a07: MSTORE 00001a08: PUSH1 0x64 00001a0a: ADD 00001a0b: PUSH2 0x080f 00001a0e: JUMP 00001a0f: JUMPDEST 00001a10: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00001a31: DUP2 00001a32: GT 00001a33: DUP1 00001a34: ISZERO 00001a35: SWAP1 00001a36: PUSH2 0x1a4f 00001a39: JUMPI 00001a3a: POP 00001a3b: DUP3 00001a3c: PUSH1 0xff 00001a3e: AND 00001a3f: PUSH1 0x1b 00001a41: EQ 00001a42: DUP1 00001a43: PUSH2 0x1a4f 00001a46: JUMPI 00001a47: POP 00001a48: DUP3 00001a49: PUSH1 0xff 00001a4b: AND 00001a4c: PUSH1 0x1c 00001a4e: EQ 00001a4f: JUMPDEST 00001a50: PUSH2 0x1a8f 00001a53: JUMPI 00001a54: PUSH1 0x40 00001a56: MLOAD 00001a57: PUSH3 0x461bcd 00001a5b: PUSH1 0xe5 00001a5d: SHL 00001a5e: DUP2 00001a5f: MSTORE 00001a60: PUSH1 0x20 00001a62: PUSH1 0x04 00001a64: DUP3 00001a65: ADD 00001a66: MSTORE 00001a67: PUSH1 0x11 00001a69: PUSH1 0x24 00001a6b: DUP3 00001a6c: ADD 00001a6d: MSTORE 00001a6e: PUSH17 0x45524332303a503a4d414c4c4541424c45 00001a80: PUSH1 0x78 00001a82: SHL 00001a83: PUSH1 0x44 00001a85: DUP3 00001a86: ADD 00001a87: MSTORE 00001a88: PUSH1 0x64 00001a8a: ADD 00001a8b: PUSH2 0x080f 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: PUSH1 0x00 00001a92: PUSH2 0x1a99 00001a95: PUSH2 0x0c04 00001a98: JUMP 00001a99: JUMPDEST 00001a9a: PUSH1 0x01 00001a9c: PUSH1 0x01 00001a9e: PUSH1 0xa0 00001aa0: SHL 00001aa1: SUB 00001aa2: DUP10 00001aa3: DUP2 00001aa4: AND 00001aa5: PUSH1 0x00 00001aa7: DUP2 00001aa8: DUP2 00001aa9: MSTORE 00001aaa: PUSH1 0x05 00001aac: PUSH1 0x20 00001aae: SWAP1 00001aaf: DUP2 00001ab0: MSTORE 00001ab1: PUSH1 0x40 00001ab3: SWAP2 00001ab4: DUP3 00001ab5: SWAP1 00001ab6: KECCAK256 00001ab7: DUP1 00001ab8: SLOAD 00001ab9: PUSH1 0x01 00001abb: DUP2 00001abc: ADD 00001abd: SWAP1 00001abe: SWAP2 00001abf: SSTORE 00001ac0: DUP3 00001ac1: MLOAD 00001ac2: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9 00001ae3: DUP2 00001ae4: DUP5 00001ae5: ADD 00001ae6: MSTORE 00001ae7: DUP1 00001ae8: DUP5 00001ae9: ADD 00001aea: SWAP5 00001aeb: SWAP1 00001aec: SWAP5 00001aed: MSTORE 00001aee: SWAP4 00001aef: DUP13 00001af0: AND 00001af1: PUSH1 0x60 00001af3: DUP5 00001af4: ADD 00001af5: MSTORE 00001af6: PUSH1 0x80 00001af8: DUP4 00001af9: ADD 00001afa: DUP12 00001afb: SWAP1 00001afc: MSTORE 00001afd: PUSH1 0xa0 00001aff: DUP4 00001b00: ADD 00001b01: SWAP4 00001b02: SWAP1 00001b03: SWAP4 00001b04: MSTORE 00001b05: PUSH1 0xc0 00001b07: DUP1 00001b08: DUP4 00001b09: ADD 00001b0a: DUP11 00001b0b: SWAP1 00001b0c: MSTORE 00001b0d: DUP2 00001b0e: MLOAD 00001b0f: DUP1 00001b10: DUP5 00001b11: SUB 00001b12: SWAP1 00001b13: SWAP2 00001b14: ADD 00001b15: DUP2 00001b16: MSTORE 00001b17: PUSH1 0xe0 00001b19: DUP4 00001b1a: ADD 00001b1b: SWAP1 00001b1c: SWAP2 00001b1d: MSTORE 00001b1e: DUP1 00001b1f: MLOAD 00001b20: SWAP3 00001b21: ADD 00001b22: SWAP2 00001b23: SWAP1 00001b24: SWAP2 00001b25: KECCAK256 00001b26: PUSH2 0x1901 00001b29: PUSH1 0xf0 00001b2b: SHL 00001b2c: PUSH2 0x0100 00001b2f: DUP4 00001b30: ADD 00001b31: MSTORE 00001b32: PUSH2 0x0102 00001b35: DUP3 00001b36: ADD 00001b37: SWAP3 00001b38: SWAP1 00001b39: SWAP3 00001b3a: MSTORE 00001b3b: PUSH2 0x0122 00001b3e: DUP2 00001b3f: ADD 00001b40: SWAP2 00001b41: SWAP1 00001b42: SWAP2 00001b43: MSTORE 00001b44: PUSH2 0x0142 00001b47: ADD 00001b48: PUSH1 0x40 00001b4a: DUP1 00001b4b: MLOAD 00001b4c: PUSH1 0x1f 00001b4e: NOT 00001b4f: DUP2 00001b50: DUP5 00001b51: SUB 00001b52: ADD 00001b53: DUP2 00001b54: MSTORE 00001b55: DUP3 00001b56: DUP3 00001b57: MSTORE 00001b58: DUP1 00001b59: MLOAD 00001b5a: PUSH1 0x20 00001b5c: SWAP2 00001b5d: DUP3 00001b5e: ADD 00001b5f: KECCAK256 00001b60: PUSH1 0x00 00001b62: DUP1 00001b63: DUP6 00001b64: MSTORE 00001b65: SWAP2 00001b66: DUP5 00001b67: ADD 00001b68: DUP1 00001b69: DUP5 00001b6a: MSTORE 00001b6b: DUP2 00001b6c: SWAP1 00001b6d: MSTORE 00001b6e: PUSH1 0xff 00001b70: DUP9 00001b71: AND 00001b72: SWAP3 00001b73: DUP5 00001b74: ADD 00001b75: SWAP3 00001b76: SWAP1 00001b77: SWAP3 00001b78: MSTORE 00001b79: PUSH1 0x60 00001b7b: DUP4 00001b7c: ADD 00001b7d: DUP7 00001b7e: SWAP1 00001b7f: MSTORE 00001b80: PUSH1 0x80 00001b82: DUP4 00001b83: ADD 00001b84: DUP6 00001b85: SWAP1 00001b86: MSTORE 00001b87: SWAP1 00001b88: SWAP3 00001b89: POP 00001b8a: SWAP1 00001b8b: PUSH1 0x01 00001b8d: SWAP1 00001b8e: PUSH1 0xa0 00001b90: ADD 00001b91: PUSH1 0x20 00001b93: PUSH1 0x40 00001b95: MLOAD 00001b96: PUSH1 0x20 00001b98: DUP2 00001b99: SUB 00001b9a: SWAP1 00001b9b: DUP1 00001b9c: DUP5 00001b9d: SUB 00001b9e: SWAP1 00001b9f: DUP6 00001ba0: GAS 00001ba1: STATICCALL 00001ba2: ISZERO 00001ba3: DUP1 00001ba4: ISZERO 00001ba5: PUSH2 0x1bb2 00001ba8: JUMPI 00001ba9: RETURNDATASIZE 00001baa: PUSH1 0x00 00001bac: DUP1 00001bad: RETURNDATACOPY 00001bae: RETURNDATASIZE 00001baf: PUSH1 0x00 00001bb1: REVERT 00001bb2: JUMPDEST 00001bb3: POP 00001bb4: POP 00001bb5: POP 00001bb6: PUSH1 0x20 00001bb8: PUSH1 0x40 00001bba: MLOAD 00001bbb: SUB 00001bbc: MLOAD 00001bbd: SWAP1 00001bbe: POP 00001bbf: DUP9 00001bc0: PUSH1 0x01 00001bc2: PUSH1 0x01 00001bc4: PUSH1 0xa0 00001bc6: SHL 00001bc7: SUB 00001bc8: AND 00001bc9: DUP2 00001bca: PUSH1 0x01 00001bcc: PUSH1 0x01 00001bce: PUSH1 0xa0 00001bd0: SHL 00001bd1: SUB 00001bd2: AND 00001bd3: EQ 00001bd4: DUP1 00001bd5: ISZERO 00001bd6: PUSH2 0x1be7 00001bd9: JUMPI 00001bda: POP 00001bdb: PUSH1 0x01 00001bdd: PUSH1 0x01 00001bdf: PUSH1 0xa0 00001be1: SHL 00001be2: SUB 00001be3: DUP10 00001be4: AND 00001be5: ISZERO 00001be6: ISZERO 00001be7: JUMPDEST 00001be8: PUSH2 0x1c33 00001beb: JUMPI 00001bec: PUSH1 0x40 00001bee: MLOAD 00001bef: PUSH3 0x461bcd 00001bf3: PUSH1 0xe5 00001bf5: SHL 00001bf6: DUP2 00001bf7: MSTORE 00001bf8: PUSH1 0x20 00001bfa: PUSH1 0x04 00001bfc: DUP3 00001bfd: ADD 00001bfe: MSTORE 00001bff: PUSH1 0x19 00001c01: PUSH1 0x24 00001c03: DUP3 00001c04: ADD 00001c05: MSTORE 00001c06: PUSH32 0x45524332303a503a494e56414c49445f5349474e415455524500000000000000 00001c27: PUSH1 0x44 00001c29: DUP3 00001c2a: ADD 00001c2b: MSTORE 00001c2c: PUSH1 0x64 00001c2e: ADD 00001c2f: PUSH2 0x080f 00001c32: JUMP 00001c33: JUMPDEST 00001c34: POP 00001c35: POP 00001c36: PUSH2 0x1c40 00001c39: DUP8 00001c3a: DUP8 00001c3b: DUP8 00001c3c: PUSH2 0x1d3e 00001c3f: JUMP 00001c40: JUMPDEST 00001c41: POP 00001c42: POP 00001c43: POP 00001c44: POP 00001c45: POP 00001c46: POP 00001c47: POP 00001c48: JUMP 00001c49: JUMPDEST 00001c4a: PUSH1 0x07 00001c4c: SLOAD 00001c4d: PUSH1 0x40 00001c4f: MLOAD 00001c50: PUSH4 0x6c82bbbf 00001c55: PUSH1 0xe1 00001c57: SHL 00001c58: DUP2 00001c59: MSTORE 00001c5a: PUSH1 0x01 00001c5c: PUSH1 0x01 00001c5e: PUSH1 0xa0 00001c60: SHL 00001c61: SUB 00001c62: DUP4 00001c63: DUP2 00001c64: AND 00001c65: PUSH1 0x04 00001c67: DUP4 00001c68: ADD 00001c69: MSTORE 00001c6a: PUSH1 0x00 00001c6c: SWAP3 00001c6d: AND 00001c6e: SWAP1 00001c6f: PUSH4 0xd905777e 00001c74: SWAP1 00001c75: PUSH1 0x24 00001c77: ADD 00001c78: PUSH2 0x079b 00001c7b: JUMP 00001c7c: JUMPDEST 00001c7d: PUSH1 0x00 00001c7f: PUSH2 0x0761 00001c82: DUP3 00001c83: PUSH2 0x184a 00001c86: JUMP 00001c87: JUMPDEST 00001c88: PUSH1 0x40 00001c8a: MLOAD 00001c8b: PUSH1 0x01 00001c8d: PUSH1 0x01 00001c8f: PUSH1 0xa0 00001c91: SHL 00001c92: SUB 00001c93: DUP4 00001c94: AND 00001c95: PUSH1 0x24 00001c97: DUP3 00001c98: ADD 00001c99: MSTORE 00001c9a: PUSH1 0x00 00001c9c: PUSH1 0x44 00001c9e: DUP3 00001c9f: ADD 00001ca0: DUP2 00001ca1: SWAP1 00001ca2: MSTORE 00001ca3: SWAP1 00001ca4: PUSH2 0x1ced 00001ca7: SWAP1 00001ca8: DUP6 00001ca9: SWAP1 00001caa: PUSH4 0x095ea7b3 00001caf: PUSH1 0xe0 00001cb1: SHL 00001cb2: SWAP1 00001cb3: PUSH1 0x64 00001cb5: ADD 00001cb6: JUMPDEST 00001cb7: PUSH1 0x40 00001cb9: DUP1 00001cba: MLOAD 00001cbb: PUSH1 0x1f 00001cbd: NOT 00001cbe: DUP2 00001cbf: DUP5 00001cc0: SUB 00001cc1: ADD 00001cc2: DUP2 00001cc3: MSTORE 00001cc4: SWAP2 00001cc5: SWAP1 00001cc6: MSTORE 00001cc7: PUSH1 0x20 00001cc9: DUP2 00001cca: ADD 00001ccb: DUP1 00001ccc: MLOAD 00001ccd: PUSH1 0x01 00001ccf: PUSH1 0x01 00001cd1: PUSH1 0xe0 00001cd3: SHL 00001cd4: SUB 00001cd5: AND 00001cd6: PUSH1 0x01 00001cd8: PUSH1 0x01 00001cda: PUSH1 0xe0 00001cdc: SHL 00001cdd: SUB 00001cde: NOT 00001cdf: SWAP1 00001ce0: SWAP4 00001ce1: AND 00001ce2: SWAP3 00001ce3: SWAP1 00001ce4: SWAP3 00001ce5: OR 00001ce6: SWAP1 00001ce7: SWAP2 00001ce8: MSTORE 00001ce9: PUSH2 0x2467 00001cec: JUMP 00001ced: JUMPDEST 00001cee: PUSH2 0x1cf9 00001cf1: JUMPI 00001cf2: POP 00001cf3: PUSH1 0x00 00001cf5: PUSH2 0x0749 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: DUP2 00001cfb: PUSH2 0x1d06 00001cfe: JUMPI 00001cff: POP 00001d00: PUSH1 0x01 00001d02: PUSH2 0x0749 00001d05: JUMP 00001d06: JUMPDEST 00001d07: PUSH1 0x40 00001d09: MLOAD 00001d0a: PUSH1 0x01 00001d0c: PUSH1 0x01 00001d0e: PUSH1 0xa0 00001d10: SHL 00001d11: SUB 00001d12: DUP5 00001d13: AND 00001d14: PUSH1 0x24 00001d16: DUP3 00001d17: ADD 00001d18: MSTORE 00001d19: PUSH1 0x44 00001d1b: DUP2 00001d1c: ADD 00001d1d: DUP4 00001d1e: SWAP1 00001d1f: MSTORE 00001d20: PUSH2 0x1d36 00001d23: SWAP1 00001d24: DUP6 00001d25: SWAP1 00001d26: PUSH4 0x095ea7b3 00001d2b: PUSH1 0xe0 00001d2d: SHL 00001d2e: SWAP1 00001d2f: PUSH1 0x64 00001d31: ADD 00001d32: PUSH2 0x1cb6 00001d35: JUMP 00001d36: JUMPDEST 00001d37: SWAP5 00001d38: SWAP4 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: POP 00001d3d: JUMP 00001d3e: JUMPDEST 00001d3f: PUSH1 0x01 00001d41: PUSH1 0x01 00001d43: PUSH1 0xa0 00001d45: SHL 00001d46: SUB 00001d47: DUP4 00001d48: DUP2 00001d49: AND 00001d4a: PUSH1 0x00 00001d4c: DUP2 00001d4d: DUP2 00001d4e: MSTORE 00001d4f: PUSH1 0x04 00001d51: PUSH1 0x20 00001d53: SWAP1 00001d54: DUP2 00001d55: MSTORE 00001d56: PUSH1 0x40 00001d58: DUP1 00001d59: DUP4 00001d5a: KECCAK256 00001d5b: SWAP5 00001d5c: DUP8 00001d5d: AND 00001d5e: DUP1 00001d5f: DUP5 00001d60: MSTORE 00001d61: SWAP5 00001d62: DUP3 00001d63: MSTORE 00001d64: SWAP2 00001d65: DUP3 00001d66: SWAP1 00001d67: KECCAK256 00001d68: DUP6 00001d69: SWAP1 00001d6a: SSTORE 00001d6b: SWAP1 00001d6c: MLOAD 00001d6d: DUP5 00001d6e: DUP2 00001d6f: MSTORE 00001d70: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001d91: SWAP2 00001d92: ADD 00001d93: JUMPDEST 00001d94: PUSH1 0x40 00001d96: MLOAD 00001d97: DUP1 00001d98: SWAP2 00001d99: SUB 00001d9a: SWAP1 00001d9b: LOG3 00001d9c: POP 00001d9d: POP 00001d9e: POP 00001d9f: JUMP 00001da0: JUMPDEST 00001da1: PUSH1 0x07 00001da3: SLOAD 00001da4: PUSH1 0x40 00001da6: MLOAD 00001da7: PUSH4 0x5cf2ed57 00001dac: PUSH1 0xe0 00001dae: SHL 00001daf: DUP2 00001db0: MSTORE 00001db1: PUSH1 0x01 00001db3: PUSH1 0x01 00001db5: PUSH1 0xa0 00001db7: SHL 00001db8: SUB 00001db9: DUP4 00001dba: DUP2 00001dbb: AND 00001dbc: PUSH1 0x04 00001dbe: DUP4 00001dbf: ADD 00001dc0: MSTORE 00001dc1: PUSH1 0x24 00001dc3: DUP3 00001dc4: ADD 00001dc5: DUP6 00001dc6: SWAP1 00001dc7: MSTORE 00001dc8: PUSH1 0x00 00001dca: SWAP3 00001dcb: DUP4 00001dcc: SWAP3 00001dcd: SWAP2 00001dce: AND 00001dcf: SWAP1 00001dd0: PUSH4 0x5cf2ed57 00001dd5: SWAP1 00001dd6: PUSH1 0x44 00001dd8: ADD 00001dd9: PUSH1 0x40 00001ddb: DUP1 00001ddc: MLOAD 00001ddd: DUP1 00001dde: DUP4 00001ddf: SUB 00001de0: DUP2 00001de1: DUP7 00001de2: DUP1 00001de3: EXTCODESIZE 00001de4: ISZERO 00001de5: DUP1 00001de6: ISZERO 00001de7: PUSH2 0x1def 00001dea: JUMPI 00001deb: PUSH1 0x00 00001ded: DUP1 00001dee: REVERT 00001def: JUMPDEST 00001df0: POP 00001df1: GAS 00001df2: STATICCALL 00001df3: ISZERO 00001df4: DUP1 00001df5: ISZERO 00001df6: PUSH2 0x1e03 00001df9: JUMPI 00001dfa: RETURNDATASIZE 00001dfb: PUSH1 0x00 00001dfd: DUP1 00001dfe: RETURNDATACOPY 00001dff: RETURNDATASIZE 00001e00: PUSH1 0x00 00001e02: REVERT 00001e03: JUMPDEST 00001e04: POP 00001e05: POP 00001e06: POP 00001e07: POP 00001e08: PUSH1 0x40 00001e0a: MLOAD 00001e0b: RETURNDATASIZE 00001e0c: PUSH1 0x1f 00001e0e: NOT 00001e0f: PUSH1 0x1f 00001e11: DUP3 00001e12: ADD 00001e13: AND 00001e14: DUP3 00001e15: ADD 00001e16: DUP1 00001e17: PUSH1 0x40 00001e19: MSTORE 00001e1a: POP 00001e1b: DUP2 00001e1c: ADD 00001e1d: SWAP1 00001e1e: PUSH2 0x1e27 00001e21: SWAP2 00001e22: SWAP1 00001e23: PUSH2 0x296a 00001e26: JUMP 00001e27: JUMPDEST 00001e28: SWAP1 00001e29: SWAP3 00001e2a: POP 00001e2b: SWAP1 00001e2c: POP 00001e2d: CALLER 00001e2e: PUSH1 0x01 00001e30: PUSH1 0x01 00001e32: PUSH1 0xa0 00001e34: SHL 00001e35: SUB 00001e36: DUP5 00001e37: AND 00001e38: EQ 00001e39: PUSH2 0x1e47 00001e3c: JUMPI 00001e3d: PUSH2 0x1e47 00001e40: DUP4 00001e41: CALLER 00001e42: DUP5 00001e43: PUSH2 0x1ee2 00001e46: JUMP 00001e47: JUMPDEST 00001e48: DUP2 00001e49: ISZERO 00001e4a: DUP1 00001e4b: ISZERO 00001e4c: SWAP1 00001e4d: PUSH2 0x1e5e 00001e50: JUMPI 00001e51: POP 00001e52: PUSH1 0x01 00001e54: PUSH1 0x01 00001e56: PUSH1 0xa0 00001e58: SHL 00001e59: SUB 00001e5a: DUP2 00001e5b: AND 00001e5c: ISZERO 00001e5d: ISZERO 00001e5e: JUMPDEST 00001e5f: ISZERO 00001e60: PUSH2 0x1e6e 00001e63: JUMPI 00001e64: PUSH2 0x1e6e 00001e67: DUP4 00001e68: DUP3 00001e69: DUP5 00001e6a: PUSH2 0x2507 00001e6d: JUMP 00001e6e: JUMPDEST 00001e6f: PUSH1 0x07 00001e71: SLOAD 00001e72: PUSH1 0x40 00001e74: MLOAD 00001e75: PUSH4 0x3ea0e437 00001e7a: PUSH1 0xe1 00001e7c: SHL 00001e7d: DUP2 00001e7e: MSTORE 00001e7f: PUSH1 0x04 00001e81: DUP2 00001e82: ADD 00001e83: DUP5 00001e84: SWAP1 00001e85: MSTORE 00001e86: PUSH1 0x01 00001e88: PUSH1 0x01 00001e8a: PUSH1 0xa0 00001e8c: SHL 00001e8d: SUB 00001e8e: DUP6 00001e8f: DUP2 00001e90: AND 00001e91: PUSH1 0x24 00001e93: DUP4 00001e94: ADD 00001e95: MSTORE 00001e96: CALLER 00001e97: PUSH1 0x44 00001e99: DUP4 00001e9a: ADD 00001e9b: MSTORE 00001e9c: SWAP1 00001e9d: SWAP2 00001e9e: AND 00001e9f: SWAP1 00001ea0: PUSH4 0x7d41c86e 00001ea5: SWAP1 00001ea6: PUSH1 0x64 00001ea8: ADD 00001ea9: JUMPDEST 00001eaa: PUSH1 0x00 00001eac: PUSH1 0x40 00001eae: MLOAD 00001eaf: DUP1 00001eb0: DUP4 00001eb1: SUB 00001eb2: DUP2 00001eb3: PUSH1 0x00 00001eb5: DUP8 00001eb6: DUP1 00001eb7: EXTCODESIZE 00001eb8: ISZERO 00001eb9: DUP1 00001eba: ISZERO 00001ebb: PUSH2 0x1ec3 00001ebe: JUMPI 00001ebf: PUSH1 0x00 00001ec1: DUP1 00001ec2: REVERT 00001ec3: JUMPDEST 00001ec4: POP 00001ec5: GAS 00001ec6: CALL 00001ec7: ISZERO 00001ec8: DUP1 00001ec9: ISZERO 00001eca: PUSH2 0x1ed7 00001ecd: JUMPI 00001ece: RETURNDATASIZE 00001ecf: PUSH1 0x00 00001ed1: DUP1 00001ed2: RETURNDATACOPY 00001ed3: RETURNDATASIZE 00001ed4: PUSH1 0x00 00001ed6: REVERT 00001ed7: JUMPDEST 00001ed8: POP 00001ed9: POP 00001eda: POP 00001edb: POP 00001edc: POP 00001edd: SWAP3 00001ede: SWAP2 00001edf: POP 00001ee0: POP 00001ee1: JUMP 00001ee2: JUMPDEST 00001ee3: PUSH1 0x01 00001ee5: PUSH1 0x01 00001ee7: PUSH1 0xa0 00001ee9: SHL 00001eea: SUB 00001eeb: DUP1 00001eec: DUP5 00001eed: AND 00001eee: PUSH1 0x00 00001ef0: SWAP1 00001ef1: DUP2 00001ef2: MSTORE 00001ef3: PUSH1 0x04 00001ef5: PUSH1 0x20 00001ef7: SWAP1 00001ef8: DUP2 00001ef9: MSTORE 00001efa: PUSH1 0x40 00001efc: DUP1 00001efd: DUP4 00001efe: KECCAK256 00001eff: SWAP4 00001f00: DUP7 00001f01: AND 00001f02: DUP4 00001f03: MSTORE 00001f04: SWAP3 00001f05: SWAP1 00001f06: MSTORE 00001f07: KECCAK256 00001f08: SLOAD 00001f09: PUSH1 0x00 00001f0b: NOT 00001f0c: DUP2 00001f0d: EQ 00001f0e: PUSH2 0x1f20 00001f11: JUMPI 00001f12: PUSH2 0x1f20 00001f15: DUP5 00001f16: DUP5 00001f17: PUSH2 0x0cea 00001f1a: DUP6 00001f1b: DUP6 00001f1c: PUSH2 0x2c94 00001f1f: JUMP 00001f20: JUMPDEST 00001f21: POP 00001f22: POP 00001f23: POP 00001f24: POP 00001f25: JUMP 00001f26: JUMPDEST 00001f27: PUSH1 0x00 00001f29: PUSH2 0x1f33 00001f2c: DUP5 00001f2d: CALLER 00001f2e: DUP5 00001f2f: PUSH2 0x1ee2 00001f32: JUMP 00001f33: JUMPDEST 00001f34: PUSH2 0x1f3e 00001f37: DUP5 00001f38: DUP5 00001f39: DUP5 00001f3a: PUSH2 0x2507 00001f3d: JUMP 00001f3e: JUMPDEST 00001f3f: POP 00001f40: PUSH1 0x01 00001f42: SWAP4 00001f43: SWAP3 00001f44: POP 00001f45: POP 00001f46: POP 00001f47: JUMP 00001f48: JUMPDEST 00001f49: PUSH1 0x01 00001f4b: PUSH1 0x01 00001f4d: PUSH1 0xa0 00001f4f: SHL 00001f50: SUB 00001f51: DUP3 00001f52: AND 00001f53: PUSH2 0x1f92 00001f56: JUMPI 00001f57: PUSH1 0x40 00001f59: MLOAD 00001f5a: PUSH3 0x461bcd 00001f5e: PUSH1 0xe5 00001f60: SHL 00001f61: DUP2 00001f62: MSTORE 00001f63: PUSH1 0x20 00001f65: PUSH1 0x04 00001f67: DUP3 00001f68: ADD 00001f69: MSTORE 00001f6a: PUSH1 0x11 00001f6c: PUSH1 0x24 00001f6e: DUP3 00001f6f: ADD 00001f70: MSTORE 00001f71: PUSH17 0x281d269d2d22a927afa922a1a2a4ab22a9 00001f83: PUSH1 0x79 00001f85: SHL 00001f86: PUSH1 0x44 00001f88: DUP3 00001f89: ADD 00001f8a: MSTORE 00001f8b: PUSH1 0x64 00001f8d: ADD 00001f8e: PUSH2 0x080f 00001f91: JUMP 00001f92: JUMPDEST 00001f93: DUP4 00001f94: PUSH2 0x1fd1 00001f97: JUMPI 00001f98: PUSH1 0x40 00001f9a: MLOAD 00001f9b: PUSH3 0x461bcd 00001f9f: PUSH1 0xe5 00001fa1: SHL 00001fa2: DUP2 00001fa3: MSTORE 00001fa4: PUSH1 0x20 00001fa6: PUSH1 0x04 00001fa8: DUP3 00001fa9: ADD 00001faa: MSTORE 00001fab: PUSH1 0x0f 00001fad: PUSH1 0x24 00001faf: DUP3 00001fb0: ADD 00001fb1: MSTORE 00001fb2: PUSH15 0x503a4d3a5a45524f5f534841524553 00001fc2: PUSH1 0x88 00001fc4: SHL 00001fc5: PUSH1 0x44 00001fc7: DUP3 00001fc8: ADD 00001fc9: MSTORE 00001fca: PUSH1 0x64 00001fcc: ADD 00001fcd: PUSH2 0x080f 00001fd0: JUMP 00001fd1: JUMPDEST 00001fd2: DUP3 00001fd3: PUSH2 0x2010 00001fd6: JUMPI 00001fd7: PUSH1 0x40 00001fd9: MLOAD 00001fda: PUSH3 0x461bcd 00001fde: PUSH1 0xe5 00001fe0: SHL 00001fe1: DUP2 00001fe2: MSTORE 00001fe3: PUSH1 0x20 00001fe5: PUSH1 0x04 00001fe7: DUP3 00001fe8: ADD 00001fe9: MSTORE 00001fea: PUSH1 0x0f 00001fec: PUSH1 0x24 00001fee: DUP3 00001fef: ADD 00001ff0: MSTORE 00001ff1: PUSH15 0x503a4d3a5a45524f5f415353455453 00002001: PUSH1 0x88 00002003: SHL 00002004: PUSH1 0x44 00002006: DUP3 00002007: ADD 00002008: MSTORE 00002009: PUSH1 0x64 0000200b: ADD 0000200c: PUSH2 0x080f 0000200f: JUMP 00002010: JUMPDEST 00002011: PUSH1 0x02 00002013: SLOAD 00002014: ISZERO 00002015: DUP1 00002016: ISZERO 00002017: PUSH2 0x203f 0000201a: JUMPI 0000201b: POP 0000201c: PUSH32 0x00000000000000000000000000000000000000000000000000000000000186a0 0000203d: ISZERO 0000203e: ISZERO 0000203f: JUMPDEST 00002040: ISZERO 00002041: PUSH2 0x211c 00002044: JUMPI 00002045: PUSH2 0x206f 00002048: PUSH1 0x00 0000204a: PUSH32 0x00000000000000000000000000000000000000000000000000000000000186a0 0000206b: PUSH2 0x258a 0000206e: JUMP 0000206f: JUMPDEST 00002070: DUP2 00002071: PUSH1 0x01 00002073: PUSH1 0x01 00002075: PUSH1 0xa0 00002077: SHL 00002078: SUB 00002079: AND 0000207a: DUP2 0000207b: PUSH1 0x01 0000207d: PUSH1 0x01 0000207f: PUSH1 0xa0 00002081: SHL 00002082: SUB 00002083: AND 00002084: PUSH32 0xc5e0c49c290d3bf655c61fddb46eb9fd8d635737c3119287c40c1c1dd78e771e 000020a5: DUP6 000020a6: DUP8 000020a7: PUSH32 0x00000000000000000000000000000000000000000000000000000000000186a0 000020c8: PUSH1 0x40 000020ca: MLOAD 000020cb: PUSH2 0x20e7 000020ce: SWAP4 000020cf: SWAP3 000020d0: SWAP2 000020d1: SWAP1 000020d2: SWAP3 000020d3: DUP4 000020d4: MSTORE 000020d5: PUSH1 0x20 000020d7: DUP4 000020d8: ADD 000020d9: SWAP2 000020da: SWAP1 000020db: SWAP2 000020dc: MSTORE 000020dd: PUSH1 0x40 000020df: DUP3 000020e0: ADD 000020e1: MSTORE 000020e2: PUSH1 0x60 000020e4: ADD 000020e5: SWAP1 000020e6: JUMP 000020e7: JUMPDEST 000020e8: PUSH1 0x40 000020ea: MLOAD 000020eb: DUP1 000020ec: SWAP2 000020ed: SUB 000020ee: SWAP1 000020ef: LOG3 000020f0: PUSH2 0x2119 000020f3: PUSH32 0x00000000000000000000000000000000000000000000000000000000000186a0 00002114: DUP6 00002115: PUSH2 0x2c94 00002118: JUMP 00002119: JUMPDEST 0000211a: SWAP4 0000211b: POP 0000211c: JUMPDEST 0000211d: PUSH2 0x2126 00002120: DUP3 00002121: DUP6 00002122: PUSH2 0x258a 00002125: JUMP 00002126: JUMPDEST 00002127: DUP2 00002128: PUSH1 0x01 0000212a: PUSH1 0x01 0000212c: PUSH1 0xa0 0000212e: SHL 0000212f: SUB 00002130: AND 00002131: DUP2 00002132: PUSH1 0x01 00002134: PUSH1 0x01 00002136: PUSH1 0xa0 00002138: SHL 00002139: SUB 0000213a: AND 0000213b: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 0000215c: DUP6 0000215d: DUP8 0000215e: PUSH1 0x40 00002160: MLOAD 00002161: PUSH2 0x2174 00002164: SWAP3 00002165: SWAP2 00002166: SWAP1 00002167: SWAP2 00002168: DUP3 00002169: MSTORE 0000216a: PUSH1 0x20 0000216c: DUP3 0000216d: ADD 0000216e: MSTORE 0000216f: PUSH1 0x40 00002171: ADD 00002172: SWAP1 00002173: JUMP 00002174: JUMPDEST 00002175: PUSH1 0x40 00002177: MLOAD 00002178: DUP1 00002179: SWAP2 0000217a: SUB 0000217b: SWAP1 0000217c: LOG3 0000217d: PUSH1 0x06 0000217f: SLOAD 00002180: PUSH2 0x2194 00002183: SWAP1 00002184: PUSH1 0x01 00002186: PUSH1 0x01 00002188: PUSH1 0xa0 0000218a: SHL 0000218b: SUB 0000218c: AND 0000218d: DUP3 0000218e: ADDRESS 0000218f: DUP7 00002190: PUSH2 0x25f6 00002193: JUMP 00002194: JUMPDEST 00002195: PUSH2 0x1f20 00002198: JUMPI 00002199: PUSH1 0x40 0000219b: MLOAD 0000219c: PUSH3 0x461bcd 000021a0: PUSH1 0xe5 000021a2: SHL 000021a3: DUP2 000021a4: MSTORE 000021a5: PUSH1 0x20 000021a7: PUSH1 0x04 000021a9: DUP3 000021aa: ADD 000021ab: MSTORE 000021ac: PUSH1 0x11 000021ae: PUSH1 0x24 000021b0: DUP3 000021b1: ADD 000021b2: MSTORE 000021b3: PUSH17 0x503a4d3a5452414e534645525f46524f4d 000021c5: PUSH1 0x78 000021c7: SHL 000021c8: PUSH1 0x44 000021ca: DUP3 000021cb: ADD 000021cc: MSTORE 000021cd: PUSH1 0x64 000021cf: ADD 000021d0: PUSH2 0x080f 000021d3: JUMP 000021d4: JUMPDEST 000021d5: PUSH1 0x00 000021d7: DUP2 000021d8: PUSH1 0x01 000021da: PUSH2 0x21e3 000021dd: DUP3 000021de: DUP7 000021df: PUSH2 0x2c3b 000021e2: JUMP 000021e3: JUMPDEST 000021e4: PUSH2 0x21ed 000021e7: SWAP2 000021e8: SWAP1 000021e9: PUSH2 0x2c94 000021ec: JUMP 000021ed: JUMPDEST 000021ee: PUSH2 0x0749 000021f1: SWAP2 000021f2: SWAP1 000021f3: PUSH2 0x2c53 000021f6: JUMP 000021f7: JUMPDEST 000021f8: PUSH1 0x00 000021fa: PUSH2 0x075d 000021fd: CALLER 000021fe: DUP5 000021ff: DUP5 00002200: PUSH2 0x2507 00002203: JUMP 00002204: JUMPDEST 00002205: PUSH1 0x01 00002207: PUSH1 0x01 00002209: PUSH1 0xa0 0000220b: SHL 0000220c: SUB 0000220d: DUP4 0000220e: AND 0000220f: PUSH2 0x224e 00002212: JUMPI 00002213: PUSH1 0x40 00002215: MLOAD 00002216: PUSH3 0x461bcd 0000221a: PUSH1 0xe5 0000221c: SHL 0000221d: DUP2 0000221e: MSTORE 0000221f: PUSH1 0x20 00002221: PUSH1 0x04 00002223: DUP3 00002224: ADD 00002225: MSTORE 00002226: PUSH1 0x11 00002228: PUSH1 0x24 0000222a: DUP3 0000222b: ADD 0000222c: MSTORE 0000222d: PUSH17 0x281d211d2d22a927afa922a1a2a4ab22a9 0000223f: PUSH1 0x79 00002241: SHL 00002242: PUSH1 0x44 00002244: DUP3 00002245: ADD 00002246: MSTORE 00002247: PUSH1 0x64 00002249: ADD 0000224a: PUSH2 0x080f 0000224d: JUMP 0000224e: JUMPDEST 0000224f: DUP5 00002250: PUSH2 0x2258 00002253: JUMPI 00002254: PUSH2 0x2338 00002257: JUMP 00002258: JUMPDEST 00002259: DUP2 0000225a: PUSH1 0x01 0000225c: PUSH1 0x01 0000225e: PUSH1 0xa0 00002260: SHL 00002261: SUB 00002262: AND 00002263: DUP2 00002264: PUSH1 0x01 00002266: PUSH1 0x01 00002268: PUSH1 0xa0 0000226a: SHL 0000226b: SUB 0000226c: AND 0000226d: EQ 0000226e: PUSH2 0x227c 00002271: JUMPI 00002272: PUSH2 0x227c 00002275: DUP3 00002276: DUP3 00002277: DUP8 00002278: PUSH2 0x1ee2 0000227b: JUMP 0000227c: JUMPDEST 0000227d: PUSH2 0x2286 00002280: DUP3 00002281: DUP7 00002282: PUSH2 0x263a 00002285: JUMP 00002286: JUMPDEST 00002287: DUP2 00002288: PUSH1 0x01 0000228a: PUSH1 0x01 0000228c: PUSH1 0xa0 0000228e: SHL 0000228f: SUB 00002290: AND 00002291: DUP4 00002292: PUSH1 0x01 00002294: PUSH1 0x01 00002296: PUSH1 0xa0 00002298: SHL 00002299: SUB 0000229a: AND 0000229b: DUP3 0000229c: PUSH1 0x01 0000229e: PUSH1 0x01 000022a0: PUSH1 0xa0 000022a2: SHL 000022a3: SUB 000022a4: AND 000022a5: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db 000022c6: DUP8 000022c7: DUP10 000022c8: PUSH1 0x40 000022ca: MLOAD 000022cb: PUSH2 0x22de 000022ce: SWAP3 000022cf: SWAP2 000022d0: SWAP1 000022d1: SWAP2 000022d2: DUP3 000022d3: MSTORE 000022d4: PUSH1 0x20 000022d6: DUP3 000022d7: ADD 000022d8: MSTORE 000022d9: PUSH1 0x40 000022db: ADD 000022dc: SWAP1 000022dd: JUMP 000022de: JUMPDEST 000022df: PUSH1 0x40 000022e1: MLOAD 000022e2: DUP1 000022e3: SWAP2 000022e4: SUB 000022e5: SWAP1 000022e6: LOG4 000022e7: PUSH1 0x06 000022e9: SLOAD 000022ea: PUSH2 0x22fd 000022ed: SWAP1 000022ee: PUSH1 0x01 000022f0: PUSH1 0x01 000022f2: PUSH1 0xa0 000022f4: SHL 000022f5: SUB 000022f6: AND 000022f7: DUP5 000022f8: DUP7 000022f9: PUSH2 0x26ae 000022fc: JUMP 000022fd: JUMPDEST 000022fe: PUSH2 0x2338 00002301: JUMPI 00002302: PUSH1 0x40 00002304: MLOAD 00002305: PUSH3 0x461bcd 00002309: PUSH1 0xe5 0000230b: SHL 0000230c: DUP2 0000230d: MSTORE 0000230e: PUSH1 0x20 00002310: PUSH1 0x04 00002312: DUP3 00002313: ADD 00002314: MSTORE 00002315: PUSH1 0x0c 00002317: PUSH1 0x24 00002319: DUP3 0000231a: ADD 0000231b: MSTORE 0000231c: PUSH12 0x281d211d2a2920a729a322a9 00002329: PUSH1 0xa1 0000232b: SHL 0000232c: PUSH1 0x44 0000232e: DUP3 0000232f: ADD 00002330: MSTORE 00002331: PUSH1 0x64 00002333: ADD 00002334: PUSH2 0x080f 00002337: JUMP 00002338: JUMPDEST 00002339: POP 0000233a: POP 0000233b: POP 0000233c: POP 0000233d: POP 0000233e: JUMP 0000233f: JUMPDEST 00002340: PUSH1 0x07 00002342: SLOAD 00002343: PUSH1 0x00 00002345: SWAP1 00002346: DUP2 00002347: SWAP1 00002348: PUSH1 0x01 0000234a: PUSH1 0x01 0000234c: PUSH1 0xa0 0000234e: SHL 0000234f: SUB 00002350: AND 00002351: PUSH4 0x5cf2ed57 00002356: DUP5 00002357: PUSH2 0x235f 0000235a: DUP8 0000235b: PUSH2 0x139b 0000235e: JUMP 0000235f: JUMPDEST 00002360: PUSH1 0x40 00002362: MLOAD 00002363: PUSH1 0x01 00002365: PUSH1 0x01 00002367: PUSH1 0xe0 00002369: SHL 0000236a: SUB 0000236b: NOT 0000236c: PUSH1 0xe0 0000236e: DUP6 0000236f: SWAP1 00002370: SHL 00002371: AND 00002372: DUP2 00002373: MSTORE 00002374: PUSH1 0x01 00002376: PUSH1 0x01 00002378: PUSH1 0xa0 0000237a: SHL 0000237b: SUB 0000237c: SWAP1 0000237d: SWAP3 0000237e: AND 0000237f: PUSH1 0x04 00002381: DUP4 00002382: ADD 00002383: MSTORE 00002384: PUSH1 0x24 00002386: DUP3 00002387: ADD 00002388: MSTORE 00002389: PUSH1 0x44 0000238b: ADD 0000238c: PUSH1 0x40 0000238e: DUP1 0000238f: MLOAD 00002390: DUP1 00002391: DUP4 00002392: SUB 00002393: DUP2 00002394: DUP7 00002395: DUP1 00002396: EXTCODESIZE 00002397: ISZERO 00002398: DUP1 00002399: ISZERO 0000239a: PUSH2 0x23a2 0000239d: JUMPI 0000239e: PUSH1 0x00 000023a0: DUP1 000023a1: REVERT 000023a2: JUMPDEST 000023a3: POP 000023a4: GAS 000023a5: STATICCALL 000023a6: ISZERO 000023a7: DUP1 000023a8: ISZERO 000023a9: PUSH2 0x23b6 000023ac: JUMPI 000023ad: RETURNDATASIZE 000023ae: PUSH1 0x00 000023b0: DUP1 000023b1: RETURNDATACOPY 000023b2: RETURNDATASIZE 000023b3: PUSH1 0x00 000023b5: REVERT 000023b6: JUMPDEST 000023b7: POP 000023b8: POP 000023b9: POP 000023ba: POP 000023bb: PUSH1 0x40 000023bd: MLOAD 000023be: RETURNDATASIZE 000023bf: PUSH1 0x1f 000023c1: NOT 000023c2: PUSH1 0x1f 000023c4: DUP3 000023c5: ADD 000023c6: AND 000023c7: DUP3 000023c8: ADD 000023c9: DUP1 000023ca: PUSH1 0x40 000023cc: MSTORE 000023cd: POP 000023ce: DUP2 000023cf: ADD 000023d0: SWAP1 000023d1: PUSH2 0x23da 000023d4: SWAP2 000023d5: SWAP1 000023d6: PUSH2 0x296a 000023d9: JUMP 000023da: JUMPDEST 000023db: SWAP1 000023dc: SWAP3 000023dd: POP 000023de: SWAP1 000023df: POP 000023e0: CALLER 000023e1: PUSH1 0x01 000023e3: PUSH1 0x01 000023e5: PUSH1 0xa0 000023e7: SHL 000023e8: SUB 000023e9: DUP5 000023ea: AND 000023eb: EQ 000023ec: PUSH2 0x23fa 000023ef: JUMPI 000023f0: PUSH2 0x23fa 000023f3: DUP4 000023f4: CALLER 000023f5: DUP5 000023f6: PUSH2 0x1ee2 000023f9: JUMP 000023fa: JUMPDEST 000023fb: DUP2 000023fc: ISZERO 000023fd: DUP1 000023fe: ISZERO 000023ff: SWAP1 00002400: PUSH2 0x2411 00002403: JUMPI 00002404: POP 00002405: PUSH1 0x01 00002407: PUSH1 0x01 00002409: PUSH1 0xa0 0000240b: SHL 0000240c: SUB 0000240d: DUP2 0000240e: AND 0000240f: ISZERO 00002410: ISZERO 00002411: JUMPDEST 00002412: ISZERO 00002413: PUSH2 0x2421 00002416: JUMPI 00002417: PUSH2 0x2421 0000241a: DUP4 0000241b: DUP3 0000241c: DUP5 0000241d: PUSH2 0x2507 00002420: JUMP 00002421: JUMPDEST 00002422: PUSH1 0x07 00002424: SLOAD 00002425: PUSH1 0x40 00002427: MLOAD 00002428: PUSH4 0x1a9ba087 0000242d: PUSH1 0xe3 0000242f: SHL 00002430: DUP2 00002431: MSTORE 00002432: PUSH1 0x04 00002434: DUP2 00002435: ADD 00002436: DUP5 00002437: SWAP1 00002438: MSTORE 00002439: PUSH1 0x24 0000243b: DUP2 0000243c: ADD 0000243d: DUP7 0000243e: SWAP1 0000243f: MSTORE 00002440: PUSH1 0x01 00002442: PUSH1 0x01 00002444: PUSH1 0xa0 00002446: SHL 00002447: SUB 00002448: DUP6 00002449: DUP2 0000244a: AND 0000244b: PUSH1 0x44 0000244d: DUP4 0000244e: ADD 0000244f: MSTORE 00002450: CALLER 00002451: PUSH1 0x64 00002453: DUP4 00002454: ADD 00002455: MSTORE 00002456: SWAP1 00002457: SWAP2 00002458: AND 00002459: SWAP1 0000245a: PUSH4 0xd4dd0438 0000245f: SWAP1 00002460: PUSH1 0x84 00002462: ADD 00002463: PUSH2 0x1ea9 00002466: JUMP 00002467: JUMPDEST 00002468: PUSH1 0x00 0000246a: PUSH1 0x01 0000246c: PUSH1 0x01 0000246e: PUSH1 0xa0 00002470: SHL 00002471: SUB 00002472: DUP4 00002473: AND 00002474: EXTCODESIZE 00002475: PUSH2 0x2480 00002478: JUMPI 00002479: POP 0000247a: PUSH1 0x00 0000247c: PUSH2 0x0761 0000247f: JUMP 00002480: JUMPDEST 00002481: PUSH1 0x60 00002483: DUP4 00002484: PUSH1 0x01 00002486: PUSH1 0x01 00002488: PUSH1 0xa0 0000248a: SHL 0000248b: SUB 0000248c: AND 0000248d: DUP4 0000248e: PUSH1 0x40 00002490: MLOAD 00002491: PUSH2 0x249a 00002494: SWAP2 00002495: SWAP1 00002496: PUSH2 0x2a7c 00002499: JUMP 0000249a: JUMPDEST 0000249b: PUSH1 0x00 0000249d: PUSH1 0x40 0000249f: MLOAD 000024a0: DUP1 000024a1: DUP4 000024a2: SUB 000024a3: DUP2 000024a4: PUSH1 0x00 000024a6: DUP7 000024a7: GAS 000024a8: CALL 000024a9: SWAP2 000024aa: POP 000024ab: POP 000024ac: RETURNDATASIZE 000024ad: DUP1 000024ae: PUSH1 0x00 000024b0: DUP2 000024b1: EQ 000024b2: PUSH2 0x24d7 000024b5: JUMPI 000024b6: PUSH1 0x40 000024b8: MLOAD 000024b9: SWAP2 000024ba: POP 000024bb: PUSH1 0x1f 000024bd: NOT 000024be: PUSH1 0x3f 000024c0: RETURNDATASIZE 000024c1: ADD 000024c2: AND 000024c3: DUP3 000024c4: ADD 000024c5: PUSH1 0x40 000024c7: MSTORE 000024c8: RETURNDATASIZE 000024c9: DUP3 000024ca: MSTORE 000024cb: RETURNDATASIZE 000024cc: PUSH1 0x00 000024ce: PUSH1 0x20 000024d0: DUP5 000024d1: ADD 000024d2: RETURNDATACOPY 000024d3: PUSH2 0x24dc 000024d6: JUMP 000024d7: JUMPDEST 000024d8: PUSH1 0x60 000024da: SWAP2 000024db: POP 000024dc: JUMPDEST 000024dd: POP 000024de: SWAP1 000024df: SWAP3 000024e0: POP 000024e1: SWAP1 000024e2: POP 000024e3: DUP2 000024e4: DUP1 000024e5: ISZERO 000024e6: PUSH2 0x1d36 000024e9: JUMPI 000024ea: POP 000024eb: DUP1 000024ec: MLOAD 000024ed: ISZERO 000024ee: DUP1 000024ef: PUSH2 0x1d36 000024f2: JUMPI 000024f3: POP 000024f4: DUP1 000024f5: DUP1 000024f6: PUSH1 0x20 000024f8: ADD 000024f9: SWAP1 000024fa: MLOAD 000024fb: DUP2 000024fc: ADD 000024fd: SWAP1 000024fe: PUSH2 0x1d36 00002501: SWAP2 00002502: SWAP1 00002503: PUSH2 0x2838 00002506: JUMP 00002507: JUMPDEST 00002508: PUSH1 0x01 0000250a: PUSH1 0x01 0000250c: PUSH1 0xa0 0000250e: SHL 0000250f: SUB 00002510: DUP4 00002511: AND 00002512: PUSH1 0x00 00002514: SWAP1 00002515: DUP2 00002516: MSTORE 00002517: PUSH1 0x03 00002519: PUSH1 0x20 0000251b: MSTORE 0000251c: PUSH1 0x40 0000251e: DUP2 0000251f: KECCAK256 00002520: DUP1 00002521: SLOAD 00002522: DUP4 00002523: SWAP3 00002524: SWAP1 00002525: PUSH2 0x252f 00002528: SWAP1 00002529: DUP5 0000252a: SWAP1 0000252b: PUSH2 0x2c94 0000252e: JUMP 0000252f: JUMPDEST 00002530: SWAP1 00002531: SWAP2 00002532: SSTORE 00002533: POP 00002534: POP 00002535: PUSH1 0x01 00002537: PUSH1 0x01 00002539: PUSH1 0xa0 0000253b: SHL 0000253c: SUB 0000253d: DUP1 0000253e: DUP4 0000253f: AND 00002540: PUSH1 0x00 00002542: DUP2 00002543: DUP2 00002544: MSTORE 00002545: PUSH1 0x03 00002547: PUSH1 0x20 00002549: MSTORE 0000254a: PUSH1 0x40 0000254c: SWAP1 0000254d: DUP2 0000254e: SWAP1 0000254f: KECCAK256 00002550: DUP1 00002551: SLOAD 00002552: DUP6 00002553: ADD 00002554: SWAP1 00002555: SSTORE 00002556: MLOAD 00002557: SWAP1 00002558: SWAP2 00002559: DUP6 0000255a: AND 0000255b: SWAP1 0000255c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000257d: SWAP1 0000257e: PUSH2 0x1d93 00002581: SWAP1 00002582: DUP6 00002583: DUP2 00002584: MSTORE 00002585: PUSH1 0x20 00002587: ADD 00002588: SWAP1 00002589: JUMP 0000258a: JUMPDEST 0000258b: DUP1 0000258c: PUSH1 0x02 0000258e: PUSH1 0x00 00002590: DUP3 00002591: DUP3 00002592: SLOAD 00002593: PUSH2 0x259c 00002596: SWAP2 00002597: SWAP1 00002598: PUSH2 0x2c3b 0000259b: JUMP 0000259c: JUMPDEST 0000259d: SWAP1 0000259e: SWAP2 0000259f: SSTORE 000025a0: POP 000025a1: POP 000025a2: PUSH1 0x01 000025a4: PUSH1 0x01 000025a6: PUSH1 0xa0 000025a8: SHL 000025a9: SUB 000025aa: DUP3 000025ab: AND 000025ac: PUSH1 0x00 000025ae: DUP2 000025af: DUP2 000025b0: MSTORE 000025b1: PUSH1 0x03 000025b3: PUSH1 0x20 000025b5: SWAP1 000025b6: DUP2 000025b7: MSTORE 000025b8: PUSH1 0x40 000025ba: DUP1 000025bb: DUP4 000025bc: KECCAK256 000025bd: DUP1 000025be: SLOAD 000025bf: DUP7 000025c0: ADD 000025c1: SWAP1 000025c2: SSTORE 000025c3: MLOAD 000025c4: DUP5 000025c5: DUP2 000025c6: MSTORE 000025c7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000025e8: SWAP2 000025e9: ADD 000025ea: JUMPDEST 000025eb: PUSH1 0x40 000025ed: MLOAD 000025ee: DUP1 000025ef: SWAP2 000025f0: SUB 000025f1: SWAP1 000025f2: LOG3 000025f3: POP 000025f4: POP 000025f5: JUMP 000025f6: JUMPDEST 000025f7: PUSH1 0x40 000025f9: MLOAD 000025fa: PUSH1 0x01 000025fc: PUSH1 0x01 000025fe: PUSH1 0xa0 00002600: SHL 00002601: SUB 00002602: DUP1 00002603: DUP6 00002604: AND 00002605: PUSH1 0x24 00002607: DUP4 00002608: ADD 00002609: MSTORE 0000260a: DUP4 0000260b: AND 0000260c: PUSH1 0x44 0000260e: DUP3 0000260f: ADD 00002610: MSTORE 00002611: PUSH1 0x64 00002613: DUP2 00002614: ADD 00002615: DUP3 00002616: SWAP1 00002617: MSTORE 00002618: PUSH1 0x00 0000261a: SWAP1 0000261b: PUSH2 0x2631 0000261e: SWAP1 0000261f: DUP7 00002620: SWAP1 00002621: PUSH4 0x23b872dd 00002626: PUSH1 0xe0 00002628: SHL 00002629: SWAP1 0000262a: PUSH1 0x84 0000262c: ADD 0000262d: PUSH2 0x1cb6 00002630: JUMP 00002631: JUMPDEST 00002632: SWAP6 00002633: SWAP5 00002634: POP 00002635: POP 00002636: POP 00002637: POP 00002638: POP 00002639: JUMP 0000263a: JUMPDEST 0000263b: PUSH1 0x01 0000263d: PUSH1 0x01 0000263f: PUSH1 0xa0 00002641: SHL 00002642: SUB 00002643: DUP3 00002644: AND 00002645: PUSH1 0x00 00002647: SWAP1 00002648: DUP2 00002649: MSTORE 0000264a: PUSH1 0x03 0000264c: PUSH1 0x20 0000264e: MSTORE 0000264f: PUSH1 0x40 00002651: DUP2 00002652: KECCAK256 00002653: DUP1 00002654: SLOAD 00002655: DUP4 00002656: SWAP3 00002657: SWAP1 00002658: PUSH2 0x2662 0000265b: SWAP1 0000265c: DUP5 0000265d: SWAP1 0000265e: PUSH2 0x2c94 00002661: JUMP 00002662: JUMPDEST 00002663: SWAP1 00002664: SWAP2 00002665: SSTORE 00002666: POP 00002667: POP 00002668: PUSH1 0x02 0000266a: DUP1 0000266b: SLOAD 0000266c: DUP3 0000266d: SWAP1 0000266e: SUB 0000266f: SWAP1 00002670: SSTORE 00002671: PUSH1 0x40 00002673: MLOAD 00002674: DUP2 00002675: DUP2 00002676: MSTORE 00002677: PUSH1 0x00 00002679: SWAP1 0000267a: PUSH1 0x01 0000267c: PUSH1 0x01 0000267e: PUSH1 0xa0 00002680: SHL 00002681: SUB 00002682: DUP5 00002683: AND 00002684: SWAP1 00002685: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000026a6: SWAP1 000026a7: PUSH1 0x20 000026a9: ADD 000026aa: PUSH2 0x25ea 000026ad: JUMP 000026ae: JUMPDEST 000026af: PUSH1 0x40 000026b1: MLOAD 000026b2: PUSH1 0x01 000026b4: PUSH1 0x01 000026b6: PUSH1 0xa0 000026b8: SHL 000026b9: SUB 000026ba: DUP4 000026bb: AND 000026bc: PUSH1 0x24 000026be: DUP3 000026bf: ADD 000026c0: MSTORE 000026c1: PUSH1 0x44 000026c3: DUP2 000026c4: ADD 000026c5: DUP3 000026c6: SWAP1 000026c7: MSTORE 000026c8: PUSH1 0x00 000026ca: SWAP1 000026cb: PUSH2 0x1d36 000026ce: SWAP1 000026cf: DUP6 000026d0: SWAP1 000026d1: PUSH4 0xa9059cbb 000026d6: PUSH1 0xe0 000026d8: SHL 000026d9: SWAP1 000026da: PUSH1 0x64 000026dc: ADD 000026dd: PUSH2 0x1cb6 000026e0: JUMP 000026e1: JUMPDEST 000026e2: DUP1 000026e3: MLOAD 000026e4: DUP1 000026e5: ISZERO 000026e6: ISZERO 000026e7: DUP2 000026e8: EQ 000026e9: PUSH2 0x26f1 000026ec: JUMPI 000026ed: PUSH1 0x00 000026ef: DUP1 000026f0: REVERT 000026f1: JUMPDEST 000026f2: SWAP2 000026f3: SWAP1 000026f4: POP 000026f5: JUMP 000026f6: JUMPDEST 000026f7: DUP1 000026f8: CALLDATALOAD 000026f9: PUSH1 0xff 000026fb: DUP2 000026fc: AND 000026fd: DUP2 000026fe: EQ 000026ff: PUSH2 0x26f1 00002702: JUMPI 00002703: PUSH1 0x00 00002705: DUP1 00002706: REVERT 00002707: JUMPDEST 00002708: PUSH1 0x00 0000270a: PUSH1 0x20 0000270c: DUP3 0000270d: DUP5 0000270e: SUB 0000270f: SLT 00002710: ISZERO 00002711: PUSH2 0x2719 00002714: JUMPI 00002715: PUSH1 0x00 00002717: DUP1 00002718: REVERT 00002719: JUMPDEST 0000271a: DUP2 0000271b: CALLDATALOAD 0000271c: PUSH2 0x0749 0000271f: DUP2 00002720: PUSH2 0x2d3e 00002723: JUMP 00002724: JUMPDEST 00002725: PUSH1 0x00 00002727: DUP1 00002728: PUSH1 0x40 0000272a: DUP4 0000272b: DUP6 0000272c: SUB 0000272d: SLT 0000272e: ISZERO 0000272f: PUSH2 0x2737 00002732: JUMPI 00002733: PUSH1 0x00 00002735: DUP1 00002736: REVERT 00002737: JUMPDEST 00002738: DUP3 00002739: CALLDATALOAD 0000273a: PUSH2 0x2742 0000273d: DUP2 0000273e: PUSH2 0x2d3e 00002741: JUMP 00002742: JUMPDEST 00002743: SWAP2 00002744: POP 00002745: PUSH1 0x20 00002747: DUP4 00002748: ADD 00002749: CALLDATALOAD 0000274a: PUSH2 0x2752 0000274d: DUP2 0000274e: PUSH2 0x2d3e 00002751: JUMP 00002752: JUMPDEST 00002753: DUP1 00002754: SWAP2 00002755: POP 00002756: POP 00002757: SWAP3 00002758: POP 00002759: SWAP3 0000275a: SWAP1 0000275b: POP 0000275c: JUMP 0000275d: JUMPDEST 0000275e: PUSH1 0x00 00002760: DUP1 00002761: PUSH1 0x00 00002763: PUSH1 0x60 00002765: DUP5 00002766: DUP7 00002767: SUB 00002768: SLT 00002769: ISZERO 0000276a: PUSH2 0x2772 0000276d: JUMPI 0000276e: PUSH1 0x00 00002770: DUP1 00002771: REVERT 00002772: JUMPDEST 00002773: DUP4 00002774: CALLDATALOAD 00002775: PUSH2 0x277d 00002778: DUP2 00002779: PUSH2 0x2d3e 0000277c: JUMP 0000277d: JUMPDEST 0000277e: SWAP3 0000277f: POP 00002780: PUSH1 0x20 00002782: DUP5 00002783: ADD 00002784: CALLDATALOAD 00002785: PUSH2 0x278d 00002788: DUP2 00002789: PUSH2 0x2d3e 0000278c: JUMP 0000278d: JUMPDEST 0000278e: SWAP3 0000278f: SWAP6 00002790: SWAP3 00002791: SWAP5 00002792: POP 00002793: POP 00002794: POP 00002795: PUSH1 0x40 00002797: SWAP2 00002798: SWAP1 00002799: SWAP2 0000279a: ADD 0000279b: CALLDATALOAD 0000279c: SWAP1 0000279d: JUMP 0000279e: JUMPDEST 0000279f: PUSH1 0x00 000027a1: DUP1 000027a2: PUSH1 0x00 000027a4: DUP1 000027a5: PUSH1 0x00 000027a7: DUP1 000027a8: PUSH1 0x00 000027aa: PUSH1 0xe0 000027ac: DUP9 000027ad: DUP11 000027ae: SUB 000027af: SLT 000027b0: ISZERO 000027b1: PUSH2 0x27b9 000027b4: JUMPI 000027b5: PUSH1 0x00 000027b7: DUP1 000027b8: REVERT 000027b9: JUMPDEST 000027ba: DUP8 000027bb: CALLDATALOAD 000027bc: PUSH2 0x27c4 000027bf: DUP2 000027c0: PUSH2 0x2d3e 000027c3: JUMP 000027c4: JUMPDEST 000027c5: SWAP7 000027c6: POP 000027c7: PUSH1 0x20 000027c9: DUP9 000027ca: ADD 000027cb: CALLDATALOAD 000027cc: PUSH2 0x27d4 000027cf: DUP2 000027d0: PUSH2 0x2d3e 000027d3: JUMP 000027d4: JUMPDEST 000027d5: SWAP6 000027d6: POP 000027d7: PUSH1 0x40 000027d9: DUP9 000027da: ADD 000027db: CALLDATALOAD 000027dc: SWAP5 000027dd: POP 000027de: PUSH1 0x60 000027e0: DUP9 000027e1: ADD 000027e2: CALLDATALOAD 000027e3: SWAP4 000027e4: POP 000027e5: PUSH2 0x27f0 000027e8: PUSH1 0x80 000027ea: DUP10 000027eb: ADD 000027ec: PUSH2 0x26f6 000027ef: JUMP 000027f0: JUMPDEST 000027f1: SWAP3 000027f2: POP 000027f3: PUSH1 0xa0 000027f5: DUP9 000027f6: ADD 000027f7: CALLDATALOAD 000027f8: SWAP2 000027f9: POP 000027fa: PUSH1 0xc0 000027fc: DUP9 000027fd: ADD 000027fe: CALLDATALOAD 000027ff: SWAP1 00002800: POP 00002801: SWAP3 00002802: SWAP6 00002803: SWAP9 00002804: SWAP2 00002805: SWAP5 00002806: SWAP8 00002807: POP 00002808: SWAP3 00002809: SWAP6 0000280a: POP 0000280b: JUMP 0000280c: JUMPDEST 0000280d: PUSH1 0x00 0000280f: DUP1 00002810: PUSH1 0x40 00002812: DUP4 00002813: DUP6 00002814: SUB 00002815: SLT 00002816: ISZERO 00002817: PUSH2 0x281f 0000281a: JUMPI 0000281b: PUSH1 0x00 0000281d: DUP1 0000281e: REVERT 0000281f: JUMPDEST 00002820: DUP3 00002821: CALLDATALOAD 00002822: PUSH2 0x282a 00002825: DUP2 00002826: PUSH2 0x2d3e 00002829: JUMP 0000282a: JUMPDEST 0000282b: SWAP5 0000282c: PUSH1 0x20 0000282e: SWAP4 0000282f: SWAP1 00002830: SWAP4 00002831: ADD 00002832: CALLDATALOAD 00002833: SWAP4 00002834: POP 00002835: POP 00002836: POP 00002837: JUMP 00002838: JUMPDEST 00002839: PUSH1 0x00 0000283b: PUSH1 0x20 0000283d: DUP3 0000283e: DUP5 0000283f: SUB 00002840: SLT 00002841: ISZERO 00002842: PUSH2 0x284a 00002845: JUMPI 00002846: PUSH1 0x00 00002848: DUP1 00002849: REVERT 0000284a: JUMPDEST 0000284b: PUSH2 0x0749 0000284e: DUP3 0000284f: PUSH2 0x26e1 00002852: JUMP 00002853: JUMPDEST 00002854: PUSH1 0x00 00002856: DUP1 00002857: PUSH1 0x40 00002859: DUP4 0000285a: DUP6 0000285b: SUB 0000285c: SLT 0000285d: ISZERO 0000285e: PUSH2 0x2866 00002861: JUMPI 00002862: PUSH1 0x00 00002864: DUP1 00002865: REVERT 00002866: JUMPDEST 00002867: PUSH2 0x286f 0000286a: DUP4 0000286b: PUSH2 0x26e1 0000286e: JUMP 0000286f: JUMPDEST 00002870: SWAP2 00002871: POP 00002872: PUSH1 0x20 00002874: DUP4 00002875: ADD 00002876: MLOAD 00002877: PUSH8 0xffffffffffffffff 00002880: DUP1 00002881: DUP3 00002882: GT 00002883: ISZERO 00002884: PUSH2 0x288c 00002887: JUMPI 00002888: PUSH1 0x00 0000288a: DUP1 0000288b: REVERT 0000288c: JUMPDEST 0000288d: DUP2 0000288e: DUP6 0000288f: ADD 00002890: SWAP2 00002891: POP 00002892: DUP6 00002893: PUSH1 0x1f 00002895: DUP4 00002896: ADD 00002897: SLT 00002898: PUSH2 0x28a0 0000289b: JUMPI 0000289c: PUSH1 0x00 0000289e: DUP1 0000289f: REVERT 000028a0: JUMPDEST 000028a1: DUP2 000028a2: MLOAD 000028a3: DUP2 000028a4: DUP2 000028a5: GT 000028a6: ISZERO 000028a7: PUSH2 0x28b2 000028aa: JUMPI 000028ab: PUSH2 0x28b2 000028ae: PUSH2 0x2d28 000028b1: JUMP 000028b2: JUMPDEST 000028b3: PUSH1 0x40 000028b5: MLOAD 000028b6: PUSH1 0x1f 000028b8: DUP3 000028b9: ADD 000028ba: PUSH1 0x1f 000028bc: NOT 000028bd: SWAP1 000028be: DUP2 000028bf: AND 000028c0: PUSH1 0x3f 000028c2: ADD 000028c3: AND 000028c4: DUP2 000028c5: ADD 000028c6: SWAP1 000028c7: DUP4 000028c8: DUP3 000028c9: GT 000028ca: DUP2 000028cb: DUP4 000028cc: LT 000028cd: OR 000028ce: ISZERO 000028cf: PUSH2 0x28da 000028d2: JUMPI 000028d3: PUSH2 0x28da 000028d6: PUSH2 0x2d28 000028d9: JUMP 000028da: JUMPDEST 000028db: DUP2 000028dc: PUSH1 0x40 000028de: MSTORE 000028df: DUP3 000028e0: DUP2 000028e1: MSTORE 000028e2: DUP9 000028e3: PUSH1 0x20 000028e5: DUP5 000028e6: DUP8 000028e7: ADD 000028e8: ADD 000028e9: GT 000028ea: ISZERO 000028eb: PUSH2 0x28f3 000028ee: JUMPI 000028ef: PUSH1 0x00 000028f1: DUP1 000028f2: REVERT 000028f3: JUMPDEST 000028f4: PUSH2 0x2904 000028f7: DUP4 000028f8: PUSH1 0x20 000028fa: DUP4 000028fb: ADD 000028fc: PUSH1 0x20 000028fe: DUP9 000028ff: ADD 00002900: PUSH2 0x2cab 00002903: JUMP 00002904: JUMPDEST 00002905: DUP1 00002906: SWAP6 00002907: POP 00002908: POP 00002909: POP 0000290a: POP 0000290b: POP 0000290c: POP 0000290d: SWAP3 0000290e: POP 0000290f: SWAP3 00002910: SWAP1 00002911: POP 00002912: JUMP 00002913: JUMPDEST 00002914: PUSH1 0x00 00002916: PUSH1 0x20 00002918: DUP3 00002919: DUP5 0000291a: SUB 0000291b: SLT 0000291c: ISZERO 0000291d: PUSH2 0x2925 00002920: JUMPI 00002921: PUSH1 0x00 00002923: DUP1 00002924: REVERT 00002925: JUMPDEST 00002926: POP 00002927: CALLDATALOAD 00002928: SWAP2 00002929: SWAP1 0000292a: POP 0000292b: JUMP 0000292c: JUMPDEST 0000292d: PUSH1 0x00 0000292f: PUSH1 0x20 00002931: DUP3 00002932: DUP5 00002933: SUB 00002934: SLT 00002935: ISZERO 00002936: PUSH2 0x293e 00002939: JUMPI 0000293a: PUSH1 0x00 0000293c: DUP1 0000293d: REVERT 0000293e: JUMPDEST 0000293f: POP 00002940: MLOAD 00002941: SWAP2 00002942: SWAP1 00002943: POP 00002944: JUMP 00002945: JUMPDEST 00002946: PUSH1 0x00 00002948: DUP1 00002949: PUSH1 0x40 0000294b: DUP4 0000294c: DUP6 0000294d: SUB 0000294e: SLT 0000294f: ISZERO 00002950: PUSH2 0x2958 00002953: JUMPI 00002954: PUSH1 0x00 00002956: DUP1 00002957: REVERT 00002958: JUMPDEST 00002959: DUP3 0000295a: CALLDATALOAD 0000295b: SWAP2 0000295c: POP 0000295d: PUSH1 0x20 0000295f: DUP4 00002960: ADD 00002961: CALLDATALOAD 00002962: PUSH2 0x2752 00002965: DUP2 00002966: PUSH2 0x2d3e 00002969: JUMP 0000296a: JUMPDEST 0000296b: PUSH1 0x00 0000296d: DUP1 0000296e: PUSH1 0x40 00002970: DUP4 00002971: DUP6 00002972: SUB 00002973: SLT 00002974: ISZERO 00002975: PUSH2 0x297d 00002978: JUMPI 00002979: PUSH1 0x00 0000297b: DUP1 0000297c: REVERT 0000297d: JUMPDEST 0000297e: DUP3 0000297f: MLOAD 00002980: SWAP2 00002981: POP 00002982: PUSH1 0x20 00002984: DUP4 00002985: ADD 00002986: MLOAD 00002987: PUSH2 0x2752 0000298a: DUP2 0000298b: PUSH2 0x2d3e 0000298e: JUMP 0000298f: JUMPDEST 00002990: PUSH1 0x00 00002992: DUP1 00002993: PUSH1 0x00 00002995: PUSH1 0x60 00002997: DUP5 00002998: DUP7 00002999: SUB 0000299a: SLT 0000299b: ISZERO 0000299c: PUSH2 0x29a4 0000299f: JUMPI 000029a0: PUSH1 0x00 000029a2: DUP1 000029a3: REVERT 000029a4: JUMPDEST 000029a5: DUP4 000029a6: CALLDATALOAD 000029a7: SWAP3 000029a8: POP 000029a9: PUSH1 0x20 000029ab: DUP5 000029ac: ADD 000029ad: CALLDATALOAD 000029ae: PUSH2 0x29b6 000029b1: DUP2 000029b2: PUSH2 0x2d3e 000029b5: JUMP 000029b6: JUMPDEST 000029b7: SWAP2 000029b8: POP 000029b9: PUSH1 0x40 000029bb: DUP5 000029bc: ADD 000029bd: CALLDATALOAD 000029be: PUSH2 0x29c6 000029c1: DUP2 000029c2: PUSH2 0x2d3e 000029c5: JUMP 000029c6: JUMPDEST 000029c7: DUP1 000029c8: SWAP2 000029c9: POP 000029ca: POP 000029cb: SWAP3 000029cc: POP 000029cd: SWAP3 000029ce: POP 000029cf: SWAP3 000029d0: JUMP 000029d1: JUMPDEST 000029d2: PUSH1 0x00 000029d4: DUP1 000029d5: PUSH1 0x00 000029d7: DUP1 000029d8: PUSH1 0x00 000029da: DUP1 000029db: PUSH1 0x00 000029dd: PUSH1 0xe0 000029df: DUP9 000029e0: DUP11 000029e1: SUB 000029e2: SLT 000029e3: ISZERO 000029e4: PUSH2 0x29ec 000029e7: JUMPI 000029e8: PUSH1 0x00 000029ea: DUP1 000029eb: REVERT 000029ec: JUMPDEST 000029ed: DUP8 000029ee: CALLDATALOAD 000029ef: SWAP7 000029f0: POP 000029f1: PUSH1 0x20 000029f3: DUP9 000029f4: ADD 000029f5: CALLDATALOAD 000029f6: PUSH2 0x27d4 000029f9: DUP2 000029fa: PUSH2 0x2d3e 000029fd: JUMP 000029fe: JUMPDEST 000029ff: PUSH1 0x00 00002a01: DUP1 00002a02: PUSH1 0x00 00002a04: DUP1 00002a05: PUSH1 0x00 00002a07: DUP1 00002a08: PUSH1 0xc0 00002a0a: DUP8 00002a0b: DUP10 00002a0c: SUB 00002a0d: SLT 00002a0e: ISZERO 00002a0f: PUSH2 0x2a17 00002a12: JUMPI 00002a13: PUSH1 0x00 00002a15: DUP1 00002a16: REVERT 00002a17: JUMPDEST 00002a18: DUP7 00002a19: CALLDATALOAD 00002a1a: SWAP6 00002a1b: POP 00002a1c: PUSH1 0x20 00002a1e: DUP8 00002a1f: ADD 00002a20: CALLDATALOAD 00002a21: PUSH2 0x2a29 00002a24: DUP2 00002a25: PUSH2 0x2d3e 00002a28: JUMP 00002a29: JUMPDEST 00002a2a: SWAP5 00002a2b: POP 00002a2c: PUSH1 0x40 00002a2e: DUP8 00002a2f: ADD 00002a30: CALLDATALOAD 00002a31: SWAP4 00002a32: POP 00002a33: PUSH2 0x2a3e 00002a36: PUSH1 0x60 00002a38: DUP9 00002a39: ADD 00002a3a: PUSH2 0x26f6 00002a3d: JUMP 00002a3e: JUMPDEST 00002a3f: SWAP3 00002a40: POP 00002a41: PUSH1 0x80 00002a43: DUP8 00002a44: ADD 00002a45: CALLDATALOAD 00002a46: SWAP2 00002a47: POP 00002a48: PUSH1 0xa0 00002a4a: DUP8 00002a4b: ADD 00002a4c: CALLDATALOAD 00002a4d: SWAP1 00002a4e: POP 00002a4f: SWAP3 00002a50: SWAP6 00002a51: POP 00002a52: SWAP3 00002a53: SWAP6 00002a54: POP 00002a55: SWAP3 00002a56: SWAP6 00002a57: JUMP 00002a58: JUMPDEST 00002a59: PUSH1 0x00 00002a5b: DUP1 00002a5c: PUSH1 0x40 00002a5e: DUP4 00002a5f: DUP6 00002a60: SUB 00002a61: SLT 00002a62: ISZERO 00002a63: PUSH2 0x2a6b 00002a66: JUMPI 00002a67: PUSH1 0x00 00002a69: DUP1 00002a6a: REVERT 00002a6b: JUMPDEST 00002a6c: POP 00002a6d: POP 00002a6e: DUP1 00002a6f: MLOAD 00002a70: PUSH1 0x20 00002a72: SWAP1 00002a73: SWAP2 00002a74: ADD 00002a75: MLOAD 00002a76: SWAP1 00002a77: SWAP3 00002a78: SWAP1 00002a79: SWAP2 00002a7a: POP 00002a7b: JUMP 00002a7c: JUMPDEST 00002a7d: PUSH1 0x00 00002a7f: DUP3 00002a80: MLOAD 00002a81: PUSH2 0x2a8e 00002a84: DUP2 00002a85: DUP5 00002a86: PUSH1 0x20 00002a88: DUP8 00002a89: ADD 00002a8a: PUSH2 0x2cab 00002a8d: JUMP 00002a8e: JUMPDEST 00002a8f: SWAP2 00002a90: SWAP1 00002a91: SWAP2 00002a92: ADD 00002a93: SWAP3 00002a94: SWAP2 00002a95: POP 00002a96: POP 00002a97: JUMP 00002a98: JUMPDEST 00002a99: PUSH1 0x00 00002a9b: DUP1 00002a9c: DUP4 00002a9d: SLOAD 00002a9e: DUP2 00002a9f: PUSH1 0x01 00002aa1: DUP3 00002aa2: DUP2 00002aa3: SHR 00002aa4: SWAP2 00002aa5: POP 00002aa6: DUP1 00002aa7: DUP4 00002aa8: AND 00002aa9: DUP1 00002aaa: PUSH2 0x2ab4 00002aad: JUMPI 00002aae: PUSH1 0x7f 00002ab0: DUP4 00002ab1: AND 00002ab2: SWAP3 00002ab3: POP 00002ab4: JUMPDEST 00002ab5: PUSH1 0x20 00002ab7: DUP1 00002ab8: DUP5 00002ab9: LT 00002aba: DUP3 00002abb: EQ 00002abc: ISZERO 00002abd: PUSH2 0x2ad4 00002ac0: JUMPI 00002ac1: PUSH4 0x4e487b71 00002ac6: PUSH1 0xe0 00002ac8: SHL 00002ac9: DUP7 00002aca: MSTORE 00002acb: PUSH1 0x22 00002acd: PUSH1 0x04 00002acf: MSTORE 00002ad0: PUSH1 0x24 00002ad2: DUP7 00002ad3: REVERT 00002ad4: JUMPDEST 00002ad5: DUP2 00002ad6: DUP1 00002ad7: ISZERO 00002ad8: PUSH2 0x2ae8 00002adb: JUMPI 00002adc: PUSH1 0x01 00002ade: DUP2 00002adf: EQ 00002ae0: PUSH2 0x2af9 00002ae3: JUMPI 00002ae4: PUSH2 0x2b26 00002ae7: JUMP 00002ae8: JUMPDEST 00002ae9: PUSH1 0xff 00002aeb: NOT 00002aec: DUP7 00002aed: AND 00002aee: DUP10 00002aef: MSTORE 00002af0: DUP5 00002af1: DUP10 00002af2: ADD 00002af3: SWAP7 00002af4: POP 00002af5: PUSH2 0x2b26 00002af8: JUMP 00002af9: JUMPDEST 00002afa: PUSH1 0x00 00002afc: DUP11 00002afd: DUP2 00002afe: MSTORE 00002aff: PUSH1 0x20 00002b01: SWAP1 00002b02: KECCAK256 00002b03: PUSH1 0x00 00002b05: JUMPDEST 00002b06: DUP7 00002b07: DUP2 00002b08: LT 00002b09: ISZERO 00002b0a: PUSH2 0x2b1e 00002b0d: JUMPI 00002b0e: DUP2 00002b0f: SLOAD 00002b10: DUP12 00002b11: DUP3 00002b12: ADD 00002b13: MSTORE 00002b14: SWAP1 00002b15: DUP6 00002b16: ADD 00002b17: SWAP1 00002b18: DUP4 00002b19: ADD 00002b1a: PUSH2 0x2b05 00002b1d: JUMP 00002b1e: JUMPDEST 00002b1f: POP 00002b20: POP 00002b21: DUP5 00002b22: DUP10 00002b23: ADD 00002b24: SWAP7 00002b25: POP 00002b26: JUMPDEST 00002b27: POP 00002b28: SWAP5 00002b29: SWAP9 00002b2a: SWAP8 00002b2b: POP 00002b2c: POP 00002b2d: POP 00002b2e: POP 00002b2f: POP 00002b30: POP 00002b31: POP 00002b32: POP 00002b33: JUMP 00002b34: JUMPDEST 00002b35: PUSH1 0x01 00002b37: PUSH1 0x01 00002b39: PUSH1 0xa0 00002b3b: SHL 00002b3c: SUB 00002b3d: SWAP8 00002b3e: DUP9 00002b3f: AND 00002b40: DUP2 00002b41: MSTORE 00002b42: SWAP6 00002b43: SWAP1 00002b44: SWAP7 00002b45: AND 00002b46: PUSH1 0x20 00002b48: DUP7 00002b49: ADD 00002b4a: MSTORE 00002b4b: PUSH1 0x40 00002b4d: DUP6 00002b4e: ADD 00002b4f: SWAP4 00002b50: SWAP1 00002b51: SWAP4 00002b52: MSTORE 00002b53: PUSH1 0x60 00002b55: DUP5 00002b56: ADD 00002b57: SWAP2 00002b58: SWAP1 00002b59: SWAP2 00002b5a: MSTORE 00002b5b: PUSH1 0xff 00002b5d: AND 00002b5e: PUSH1 0x80 00002b60: DUP4 00002b61: ADD 00002b62: MSTORE 00002b63: PUSH1 0xa0 00002b65: DUP3 00002b66: ADD 00002b67: MSTORE 00002b68: PUSH1 0xc0 00002b6a: DUP2 00002b6b: ADD 00002b6c: SWAP2 00002b6d: SWAP1 00002b6e: SWAP2 00002b6f: MSTORE 00002b70: PUSH1 0xe0 00002b72: ADD 00002b73: SWAP1 00002b74: JUMP 00002b75: JUMPDEST 00002b76: DUP5 00002b77: DUP2 00002b78: MSTORE 00002b79: PUSH1 0x01 00002b7b: PUSH1 0x01 00002b7d: PUSH1 0xa0 00002b7f: SHL 00002b80: SUB 00002b81: DUP5 00002b82: AND 00002b83: PUSH1 0x20 00002b85: DUP3 00002b86: ADD 00002b87: MSTORE 00002b88: PUSH1 0x60 00002b8a: PUSH1 0x40 00002b8c: DUP3 00002b8d: ADD 00002b8e: DUP2 00002b8f: SWAP1 00002b90: MSTORE 00002b91: DUP2 00002b92: ADD 00002b93: DUP3 00002b94: SWAP1 00002b95: MSTORE 00002b96: DUP2 00002b97: DUP4 00002b98: PUSH1 0x80 00002b9a: DUP4 00002b9b: ADD 00002b9c: CALLDATACOPY 00002b9d: PUSH1 0x00 00002b9f: DUP2 00002ba0: DUP4 00002ba1: ADD 00002ba2: PUSH1 0x80 00002ba4: SWAP1 00002ba5: DUP2 00002ba6: ADD 00002ba7: SWAP2 00002ba8: SWAP1 00002ba9: SWAP2 00002baa: MSTORE 00002bab: PUSH1 0x1f 00002bad: SWAP1 00002bae: SWAP3 00002baf: ADD 00002bb0: PUSH1 0x1f 00002bb2: NOT 00002bb3: AND 00002bb4: ADD 00002bb5: ADD 00002bb6: SWAP4 00002bb7: SWAP3 00002bb8: POP 00002bb9: POP 00002bba: POP 00002bbb: JUMP 00002bbc: JUMPDEST 00002bbd: PUSH1 0x20 00002bbf: DUP2 00002bc0: MSTORE 00002bc1: PUSH1 0x00 00002bc3: DUP3 00002bc4: MLOAD 00002bc5: DUP1 00002bc6: PUSH1 0x20 00002bc8: DUP5 00002bc9: ADD 00002bca: MSTORE 00002bcb: PUSH2 0x2bdb 00002bce: DUP2 00002bcf: PUSH1 0x40 00002bd1: DUP6 00002bd2: ADD 00002bd3: PUSH1 0x20 00002bd5: DUP8 00002bd6: ADD 00002bd7: PUSH2 0x2cab 00002bda: JUMP 00002bdb: JUMPDEST 00002bdc: PUSH1 0x1f 00002bde: ADD 00002bdf: PUSH1 0x1f 00002be1: NOT 00002be2: AND 00002be3: SWAP2 00002be4: SWAP1 00002be5: SWAP2 00002be6: ADD 00002be7: PUSH1 0x40 00002be9: ADD 00002bea: SWAP3 00002beb: SWAP2 00002bec: POP 00002bed: POP 00002bee: JUMP 00002bef: JUMPDEST 00002bf0: PUSH1 0x20 00002bf2: DUP1 00002bf3: DUP3 00002bf4: MSTORE 00002bf5: PUSH1 0x08 00002bf7: SWAP1 00002bf8: DUP3 00002bf9: ADD 00002bfa: MSTORE 00002bfb: PUSH8 0x140e9313d0d2d151 00002c04: PUSH1 0xc2 00002c06: SHL 00002c07: PUSH1 0x40 00002c09: DUP3 00002c0a: ADD 00002c0b: MSTORE 00002c0c: PUSH1 0x60 00002c0e: ADD 00002c0f: SWAP1 00002c10: JUMP 00002c11: JUMPDEST 00002c12: PUSH1 0x00 00002c14: DUP1 00002c15: DUP6 00002c16: DUP6 00002c17: GT 00002c18: ISZERO 00002c19: PUSH2 0x2c21 00002c1c: JUMPI 00002c1d: PUSH1 0x00 00002c1f: DUP1 00002c20: REVERT 00002c21: JUMPDEST 00002c22: DUP4 00002c23: DUP7 00002c24: GT 00002c25: ISZERO 00002c26: PUSH2 0x2c2e 00002c29: JUMPI 00002c2a: PUSH1 0x00 00002c2c: DUP1 00002c2d: REVERT 00002c2e: JUMPDEST 00002c2f: POP 00002c30: POP 00002c31: DUP3 00002c32: ADD 00002c33: SWAP4 00002c34: SWAP2 00002c35: SWAP1 00002c36: SWAP3 00002c37: SUB 00002c38: SWAP2 00002c39: POP 00002c3a: JUMP 00002c3b: JUMPDEST 00002c3c: PUSH1 0x00 00002c3e: DUP3 00002c3f: NOT 00002c40: DUP3 00002c41: GT 00002c42: ISZERO 00002c43: PUSH2 0x2c4e 00002c46: JUMPI 00002c47: PUSH2 0x2c4e 00002c4a: PUSH2 0x2d12 00002c4d: JUMP 00002c4e: JUMPDEST 00002c4f: POP 00002c50: ADD 00002c51: SWAP1 00002c52: JUMP 00002c53: JUMPDEST 00002c54: PUSH1 0x00 00002c56: DUP3 00002c57: PUSH2 0x2c70 00002c5a: JUMPI 00002c5b: PUSH4 0x4e487b71 00002c60: PUSH1 0xe0 00002c62: SHL 00002c63: PUSH1 0x00 00002c65: MSTORE 00002c66: PUSH1 0x12 00002c68: PUSH1 0x04 00002c6a: MSTORE 00002c6b: PUSH1 0x24 00002c6d: PUSH1 0x00 00002c6f: REVERT 00002c70: JUMPDEST 00002c71: POP 00002c72: DIV 00002c73: SWAP1 00002c74: JUMP 00002c75: JUMPDEST 00002c76: PUSH1 0x00 00002c78: DUP2 00002c79: PUSH1 0x00 00002c7b: NOT 00002c7c: DIV 00002c7d: DUP4 00002c7e: GT 00002c7f: DUP3 00002c80: ISZERO 00002c81: ISZERO 00002c82: AND 00002c83: ISZERO 00002c84: PUSH2 0x2c8f 00002c87: JUMPI 00002c88: PUSH2 0x2c8f 00002c8b: PUSH2 0x2d12 00002c8e: JUMP 00002c8f: JUMPDEST 00002c90: POP 00002c91: MUL 00002c92: SWAP1 00002c93: JUMP 00002c94: JUMPDEST 00002c95: PUSH1 0x00 00002c97: DUP3 00002c98: DUP3 00002c99: LT 00002c9a: ISZERO 00002c9b: PUSH2 0x2ca6 00002c9e: JUMPI 00002c9f: PUSH2 0x2ca6 00002ca2: PUSH2 0x2d12 00002ca5: JUMP 00002ca6: JUMPDEST 00002ca7: POP 00002ca8: SUB 00002ca9: SWAP1 00002caa: JUMP 00002cab: JUMPDEST 00002cac: PUSH1 0x00 00002cae: JUMPDEST 00002caf: DUP4 00002cb0: DUP2 00002cb1: LT 00002cb2: ISZERO 00002cb3: PUSH2 0x2cc6 00002cb6: JUMPI 00002cb7: DUP2 00002cb8: DUP2 00002cb9: ADD 00002cba: MLOAD 00002cbb: DUP4 00002cbc: DUP3 00002cbd: ADD 00002cbe: MSTORE 00002cbf: PUSH1 0x20 00002cc1: ADD 00002cc2: PUSH2 0x2cae 00002cc5: JUMP 00002cc6: JUMPDEST 00002cc7: DUP4 00002cc8: DUP2 00002cc9: GT 00002cca: ISZERO 00002ccb: PUSH2 0x1f20 00002cce: JUMPI 00002ccf: POP 00002cd0: POP 00002cd1: PUSH1 0x00 00002cd3: SWAP2 00002cd4: ADD 00002cd5: MSTORE 00002cd6: JUMP 00002cd7: JUMPDEST 00002cd8: PUSH1 0x01 00002cda: DUP2 00002cdb: DUP2 00002cdc: SHR 00002cdd: SWAP1 00002cde: DUP3 00002cdf: AND 00002ce0: DUP1 00002ce1: PUSH2 0x2ceb 00002ce4: JUMPI 00002ce5: PUSH1 0x7f 00002ce7: DUP3 00002ce8: AND 00002ce9: SWAP2 00002cea: POP 00002ceb: JUMPDEST 00002cec: PUSH1 0x20 00002cee: DUP3 00002cef: LT 00002cf0: DUP2 00002cf1: EQ 00002cf2: ISZERO 00002cf3: PUSH2 0x2d0c 00002cf6: JUMPI 00002cf7: PUSH4 0x4e487b71 00002cfc: PUSH1 0xe0 00002cfe: SHL 00002cff: PUSH1 0x00 00002d01: MSTORE 00002d02: PUSH1 0x22 00002d04: PUSH1 0x04 00002d06: MSTORE 00002d07: PUSH1 0x24 00002d09: PUSH1 0x00 00002d0b: REVERT 00002d0c: JUMPDEST 00002d0d: POP 00002d0e: SWAP2 00002d0f: SWAP1 00002d10: POP 00002d11: JUMP 00002d12: JUMPDEST 00002d13: PUSH4 0x4e487b71 00002d18: PUSH1 0xe0 00002d1a: SHL 00002d1b: PUSH1 0x00 00002d1d: MSTORE 00002d1e: PUSH1 0x11 00002d20: PUSH1 0x04 00002d22: MSTORE 00002d23: PUSH1 0x24 00002d25: PUSH1 0x00 00002d27: REVERT 00002d28: JUMPDEST 00002d29: PUSH4 0x4e487b71 00002d2e: PUSH1 0xe0 00002d30: SHL 00002d31: PUSH1 0x00 00002d33: MSTORE 00002d34: PUSH1 0x41 00002d36: PUSH1 0x04 00002d38: MSTORE 00002d39: PUSH1 0x24 00002d3b: PUSH1 0x00 00002d3d: REVERT 00002d3e: JUMPDEST 00002d3f: PUSH1 0x01 00002d41: PUSH1 0x01 00002d43: PUSH1 0xa0 00002d45: SHL 00002d46: SUB 00002d47: DUP2 00002d48: AND 00002d49: DUP2 00002d4a: EQ 00002d4b: PUSH2 0x2d53 00002d4e: JUMPI 00002d4f: PUSH1 0x00 00002d51: DUP1 00002d52: REVERT 00002d53: JUMPDEST 00002d54: POP 00002d55: JUMP 00002d56: INVALID 00002d57: LOG2 00002d58: PUSH5 0x6970667358 00002d5e: UNKNOWN(0x22) 00002d5f: SLT 00002d60: KECCAK256 00002d61: UNKNOWN(0xB7) 00002d62: UNKNOWN(0xD7) 00002d63: PUSH9 0x01fa0b81c05a152ecd 00002d6d: UNKNOWN(0xAE) 00002d6e: UNKNOWN(0xE4) 00002d6f: UNKNOWN(0xAE) 00002d70: PUSH26 0x3603b8e9d4db32bf834cf811e56c5c8a64736f6c634300080700 00002d8b: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x18e3cfc40320387b6d0df57a62f919e32c68d35bbc249c5a205824e2a93d376b
call_targets:
0x79400a2c9a5e2431419cac98bf46893c86e8bdd7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x18e3cfc40320387b6d0df57a62f919e32c68d35bbc249c5a205824e2a93d376b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x79400a2c9a5e2431419cac98bf46893c86e8bdd7"
],
"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": "0xce96cb77",
"selector": "0xce96cb77",
"calldata_variants": [
"0xce96cb77",
"0xce96cb770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd905777e",
"selector": "0xd905777e",
"calldata_variants": [
"0xd905777e",
"0xd905777e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef8b30f7",
"selector": "0xef8b30f7",
"calldata_variants": [
"0xef8b30f7",
"0xef8b30f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1a0e4cb",
"selector": "0xf1a0e4cb",
"calldata_variants": [
"0xf1a0e4cb",
"0xf1a0e4cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb460af94",
"selector": "0xb460af94",
"calldata_variants": [
"0xb460af94",
"0xb460af940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba087652",
"selector": "0xba087652",
"calldata_variants": [
"0xba087652",
"0xba0876520000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3800,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4293,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x18e3cfc40320387b6d0df57a62f919e32c68d35bbc249c5a205824e2a93d376b
call_targets:
0x79400a2c9a5e2431419cac98bf46893c86e8bdd7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x18e3cfc40320387b6d0df57a62f919e32c68d35bbc249c5a205824e2a93d376b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x79400a2c9a5e2431419cac98bf46893c86e8bdd7"
],
"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": "0xce96cb77",
"selector": "0xce96cb77",
"calldata_variants": [
"0xce96cb77",
"0xce96cb770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd505accf",
"selector": "0xd505accf",
"calldata_variants": [
"0xd505accf",
"0xd505accf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd905777e",
"selector": "0xd905777e",
"calldata_variants": [
"0xd905777e",
"0xd905777e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef8b30f7",
"selector": "0xef8b30f7",
"calldata_variants": [
"0xef8b30f7",
"0xef8b30f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1a0e4cb",
"selector": "0xf1a0e4cb",
"calldata_variants": [
"0xf1a0e4cb",
"0xf1a0e4cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb460af94",
"selector": "0xb460af94",
"calldata_variants": [
"0xb460af94",
"0xb460af940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba087652",
"selector": "0xba087652",
"calldata_variants": [
"0xba087652",
"0xba0876520000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3800,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4293,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| low | math | codex | Bootstrap mint can zero out first depositor shares | 65 | no | — |
viewevidence_json{
"evidence": "_mint mints BOOTSTRAP_MINT to address(0) and subtracts it from shares_ without ensuring the result is nonzero, then proceeds to transfer assets regardless of the post-bootstrap share amount.",
"locations": [
"contracts/contracts/Pool.sol:205",
"contracts/contracts/Pool.sol:210",
"contracts/contracts/Pool.sol:215",
"contracts/contracts/Pool.sol:218",
"contracts/contracts/Pool.sol:222"
],
"recommendation": "Require the first mint/deposit to produce shares_ > BOOTSTRAP_MINT (or revert if shares_ <= BOOTSTRAP_MINT) before subtracting. Alternatively, compute the bootstrap mint after validating the post-bootstrap shares are nonzero, or adjust the bootstrap logic to avoid accepting deposits that would mint zero shares.",
"exploit_scenario": "When totalSupply is 0 and BOOTSTRAP_MINT is set, a first depositor can call deposit/mint with shares_ equal to BOOTSTRAP_MINT (e.g., assets_ equals BOOTSTRAP_MINT in deposit). The contract mints BOOTSTRAP_MINT to address(0), subtracts BOOTSTRAP_MINT from shares_ (leaving 0), mints 0 shares to the depositor, and still transfers the assets. The depositor receives no shares and the assets become permanently locked backing burned shares."
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 23
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 23
}
|