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

Analysis Run

9e36f906-3e05-4113-8226-98bdb7978998

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 8:50 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31766 report.consolidate complete 1 / 1 3 months ago
96019 artifact.fetch failed 1 / 3 1 week ago
96020 tool.cast_disasm complete 1 / 3 1 week ago
96021 analysis.bundle complete 1 / 3 1 week ago
96022 capability.graph complete 1 / 3 1 week ago
96023 detector.run complete 1 / 3 1 week ago
96024 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete exploitable profit paths found in the scoped contracts under the given assumptions.
View stderr
[codex:1136250] OpenAI Codex v0.77.0 (research preview)
[codex:1136250] --------
[codex:1136250] workdir: /tmp/codex-multi-pcw63we4
[codex:1136250] model: gpt-5.2-codex
[codex:1136250] provider: openai
[codex:1136250] approval: never
[codex:1136250] sandbox: read-only
[codex:1136250] reasoning effort: xhigh
[codex:1136250] reasoning summaries: auto
[codex:1136250] session id: 019b8fec-3e91-7322-b248-597caf1c4527
[codex:1136250] --------
[codex:1136250] user
[codex:1136250] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1136250] 
[codex:1136250] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1136250] 
[codex:1136250] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1136250] - Gas inefficiency, code quality, naming, or best practices
[codex:1136250] - Theoretical vulnerabilities without a clear extraction path
[codex:1136250] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1136250] - Front-running unless it enables theft beyond MEV
[codex:1136250] - DoS, griefing, or issues that don't result in attacker profit
[codex:1136250] - Missing events, view function issues, or informational findings
[codex:1136250] 
[codex:1136250] HIGH-VALUE PATTERNS TO HUNT:
[codex:1136250] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1136250] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1136250] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1136250] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1136250] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1136250] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1136250] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1136250] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1136250] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1136250] 
[codex:1136250] For each finding, you MUST provide:
[codex:1136250] 1. Exact file and line numbers of vulnerable code
[codex:1136250] 2. Step-by-step exploit transaction sequence
[codex:1136250] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1136250] 
[codex:1136250] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1136250] 
[codex:1136250] Output MUST be valid JSON matching the provided schema.
[codex:1136250] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1136250] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1136250] mcp startup: no servers
[codex:1136250] 
[codex:1136250] thinking
[codex:1136250] **Reading AUDIT_BUNDLE.txt**
[codex:1136250] exec
[codex:1136250] /bin/bash -lc ls in /tmp/codex-multi-pcw63we4 succeeded in 8ms:
[codex:1136250] AUDIT_BUNDLE.txt
[codex:1136250] codex-output-schema.json
[codex:1136250] contracts
[codex:1136250] exec
[codex:1136250] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-pcw63we4 succeeded in 9ms:
[codex:1136250] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1136250] 
[codex:1136250] 
[codex:1136250] thinking
[codex:1136250] **Searching for contract files**
[codex:1136250] exec
[codex:1136250] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-pcw63we4 succeeded in 30ms:
[codex:1136250] contracts/lib/zivoe-core-foundry/src/ZivoeDAO.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/src/libraries/OwnableLocked.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/access/Ownable.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/utils/Address.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/utils/Context.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/utils/introspection/ERC165.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/utils/introspection/IERC165.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC721/IERC721.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC721/IERC721Receiver.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC721/utils/ERC721Holder.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC20/extensions/draft-IERC20Permit.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155Receiver.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC1155/utils/ERC1155Holder.sol
[codex:1136250] contracts/lib/zivoe-core-foundry/lib/openzeppelin-contracts/contracts/token/ERC1155/utils/ERC1155Receiver.sol
[codex:1136250] 
[codex:1136250] thinking
[codex:1136250] **Focusing on core contract files**
[codex:1136250] exec
[codex:1136250] /bin/bash -lc "sed -n '1,200p' contracts/lib/zivoe-core-foundry/src/ZivoeDAO.sol" in /tmp/codex-multi-pcw63we4 succeeded in 10ms:
[codex:1136250] // SPDX-License-Identifier: UNLICENSED
[codex:1136250] pragma solidity ^0.8.17;
[codex:1136250] 
[codex:1136250] import "./libraries/OwnableLocked.sol";
[codex:1136250] 
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC721/IERC721.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC721/utils/ERC721Holder.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC1155/IERC1155.sol";
[codex:1136250] import "../lib/openzeppelin-contracts/contracts/token/ERC1155/utils/ERC1155Holder.sol";
[codex:1136250] 
[codex:1136250] interface ILocker_DAO {
[codex:1136250]     /// @notice Migrates specific amount of ERC20 from owner() to locker.
[codex:1136250]     /// @param  asset   The asset to migrate.
[codex:1136250]     /// @param  amount  The amount of "asset" to migrate.
[codex:1136250]     /// @param  data    Accompanying transaction data.
[codex:1136250]     function pushToLocker(address asset, uint256 amount, bytes calldata data) external;
[codex:1136250] 
[codex:1136250] exec
[codex:1136250] /bin/bash -lc "sed -n '200,400p' contracts/lib/zivoe-core-foundry/src/ZivoeDAO.sol" in /tmp/codex-multi-pcw63we4 succeeded in 14ms:
[codex:1136250]     /// @param  tokenId The ID for a given "asset" / NFT.
[codex:1136250]     /// @param  data    Accompanying data for the transaction.
[codex:1136250]     event PushedERC721(address indexed locker, address indexed asset, uint256 indexed tokenId, bytes data);
[codex:1136250]     
[codex:1136250]     /// @notice Emitted during pullERC721() and pullMultiERC721().
[codex:1136250]     /// @param  locker  The locker "assets" are pulled from.
[codex:1136250]     /// @param  asset   The ERC721 contract.
[codex:1136250]     /// @param  tokenId The ID for a given "asset" / NFT.
[codex:1136250]     /// @param  data    Accompanying data for the transaction.
[codex:1136250]     event PulledERC721(address indexed locker, address indexed asset, uint256 indexed tokenId, bytes data);
[codex:1136250]     
[codex:1136250]     /// @notice Emitted during pushERC1155().
[codex:1136250]     /// @param  locker  The locker receiving "asset".
[codex:1136250]     /// @param  asset   The ERC1155 contract.
[codex:1136250]     /// @param  ids     The IDs for a given "asset" (ERC1155), corresponds to "amounts".
[codex:1136250]     /// @param  amounts The amount of "id" to transfer.
[codex:1136250]     /// @param  data    Accompanying data for the transaction.
[codex:1136250]     event PushedERC1155(address indexed locker, address indexed asset, uint256[] ids, uint256[] amounts, bytes data);
[codex:1136250] 
[codex:1136250]     /// @notice Emitted during pullERC1155().
[codex:1136250] exec
[codex:1136250] /bin/bash -lc "sed -n '400,800p' contracts/lib/zivoe-core-foundry/src/ZivoeDAO.sol" in /tmp/codex-multi-pcw63we4 succeeded in 10ms:
[codex:1136250]         address locker, address asset, uint256 tokenId, bytes calldata data
[codex:1136250]     ) external onlyOwner nonReentrant {
[codex:1136250]         require(ILocker_DAO(locker).canPullERC721(), "ZivoeDAO::pullERC721() !ILocker_DAO(locker).canPullERC721()");
[codex:1136250]         emit PulledERC721(locker, asset, tokenId, data);
[codex:1136250]         ILocker_DAO(locker).pullFromLockerERC721(asset, tokenId, data);
[codex:1136250]     }
[codex:1136250] 
[codex:1136250]     /// @notice Pulls NFT(s) from locker to ZivoeDAO.
[codex:1136250]     /// @dev    Only the owner (TimelockController) can call this. MUST be marked onlyOwner and nonReentrant.
[codex:1136250]     /// @param  locker      The locker to pull from.
[codex:1136250]     /// @param  assets      The NFT contract(s).
[codex:1136250]     /// @param  tokenIds    The NFT tokenId(s) to pull.
[codex:1136250]     /// @param  data        Accompanying data for the transaction(s).
[codex:1136250]     function pullMultiERC721(
[codex:1136250]         address locker, address[] calldata assets, uint256[] calldata tokenIds, bytes[] calldata data
[codex:1136250]     ) external onlyOwner nonReentrant {
[codex:1136250]         require(
[codex:1136250]             ILocker_DAO(locker).canPullMultiERC721(), 
[codex:1136250]             "ZivoeDAO::pullMultiERC721() !ILocker_DAO(locker).canPullMultiERC721()"
[codex:1136250]         );
[codex:1136250] 
[codex:1136250] thinking
[codex:1136250] **Identifying need for OwnableLocked**
[codex:1136250] exec
[codex:1136250] /bin/bash -lc "sed -n '1,200p' contracts/lib/zivoe-core-foundry/src/libraries/OwnableLocked.sol" in /tmp/codex-multi-pcw63we4 succeeded in 21ms:
[codex:1136250] // SPDX-License-Identifier: UNLICENSED
[codex:1136250] pragma solidity ^0.8.17;
[codex:1136250] 
[codex:1136250] import "../../lib/openzeppelin-contracts/contracts/access/Ownable.sol";
[codex:1136250] 
[codex:1136250] abstract contract OwnableLocked is Ownable {
[codex:1136250]     
[codex:1136250]     bool public locked; /// @dev A variable "locked" that prevents future ownership transfer.
[codex:1136250] 
[codex:1136250]     /**
[codex:1136250]      * @dev Throws if called by any account other than the owner.
[codex:1136250]      */
[codex:1136250]     modifier unlocked() {
[codex:1136250]         require(!locked, "OwnableLocked::unlocked() locked");
[codex:1136250]         _;
[codex:1136250]     }
[codex:1136250] 
[codex:1136250]     /**
[codex:1136250]      * @dev Leaves the contract without owner. It will not be possible to call
[codex:1136250]      * `onlyOwner` functions anymore. Can only be called by the current owner and if !locked.
[codex:1136250] 
[codex:1136250] thinking
[codex:1136250] **Analyzing ZivoeDAO exploit possibilities**
[codex:1136250] codex
[codex:1136250] {"no_findings":true,"summary":"No concrete exploitable profit paths found in the scoped contracts under the given assumptions.","findings":[]}
[codex:1136250] tokens used
[codex:1136250] 24,455
[codex:1136250] {"no_findings":true,"summary":"No concrete exploitable profit paths found in the scoped contracts under the given assumptions.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-05T20:50:08.894075+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploitable profit paths found in the scoped contracts under the given assumptions.",
    "raw_final": {
        "summary": "No concrete exploitable profit paths found in the scoped contracts under the given assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
39
EXT*/BALANCE
13
Total opcodes
8826
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
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 0x0112
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x01ffc9a7
00000026: EQ
00000027: PUSH2 0x0117
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x150b7a02
00000031: EQ
00000032: PUSH2 0x013f
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x3ce8d432
0000003c: EQ
0000003d: PUSH2 0x016b
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x406df6bb
00000047: EQ
00000048: PUSH2 0x019f
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x4828e137
00000052: EQ
00000053: PUSH2 0x01b4
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x58289c7e
0000005d: EQ
0000005e: PUSH2 0x01c7
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x70240769
00000068: EQ
00000069: PUSH2 0x01da
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x70defbad
00000073: EQ
00000074: PUSH2 0x01ed
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x715018a6
0000007e: EQ
0000007f: PUSH2 0x0200
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x74c011b1
00000089: EQ
0000008a: PUSH2 0x0208
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x86595bb0
00000094: EQ
00000095: PUSH2 0x021b
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8a000836
0000009f: EQ
000000a0: PUSH2 0x022e
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x8da5cb5b
000000aa: EQ
000000ab: PUSH2 0x0241
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0xaeb34087
000000b5: EQ
000000b6: PUSH2 0x0249
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0xbbe10bad
000000c0: EQ
000000c1: PUSH2 0x025c
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xbc197c81
000000cb: EQ
000000cc: PUSH2 0x026f
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xc6017313
000000d6: EQ
000000d7: PUSH2 0x028e
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xc73f43e7
000000e1: EQ
000000e2: PUSH2 0x02a1
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xcf309012
000000ec: EQ
000000ed: PUSH2 0x02b4
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xcf57f922
000000f7: EQ
000000f8: PUSH2 0x02c8
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xf23a6e61
00000102: EQ
00000103: PUSH2 0x02db
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xf2fde38b
0000010d: EQ
0000010e: PUSH2 0x02fa
00000111: JUMPI
00000112: JUMPDEST
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: PUSH2 0x012a
0000011b: PUSH2 0x0125
0000011e: CALLDATASIZE
0000011f: PUSH1 0x04
00000121: PUSH2 0x2e2b
00000124: JUMP
00000125: JUMPDEST
00000126: PUSH2 0x030d
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: SWAP1
0000012f: ISZERO
00000130: ISZERO
00000131: DUP2
00000132: MSTORE
00000133: PUSH1 0x20
00000135: ADD
00000136: JUMPDEST
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: DUP1
0000013b: SWAP2
0000013c: SUB
0000013d: SWAP1
0000013e: RETURN
0000013f: JUMPDEST
00000140: PUSH2 0x0152
00000143: PUSH2 0x014d
00000146: CALLDATASIZE
00000147: PUSH1 0x04
00000149: PUSH2 0x2f26
0000014c: JUMP
0000014d: JUMPDEST
0000014e: PUSH2 0x0344
00000151: JUMP
00000152: JUMPDEST
00000153: PUSH1 0x40
00000155: MLOAD
00000156: PUSH1 0x01
00000158: PUSH1 0x01
0000015a: PUSH1 0xe0
0000015c: SHL
0000015d: SUB
0000015e: NOT
0000015f: SWAP1
00000160: SWAP2
00000161: AND
00000162: DUP2
00000163: MSTORE
00000164: PUSH1 0x20
00000166: ADD
00000167: PUSH2 0x0136
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH2 0x0192
0000016f: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
00000190: DUP2
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x40
00000195: MLOAD
00000196: PUSH2 0x0136
00000199: SWAP2
0000019a: SWAP1
0000019b: PUSH2 0x2f91
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x01b2
000001a3: PUSH2 0x01ad
000001a6: CALLDATASIZE
000001a7: PUSH1 0x04
000001a9: PUSH2 0x2ff0
000001ac: JUMP
000001ad: JUMPDEST
000001ae: PUSH2 0x0355
000001b1: JUMP
000001b2: JUMPDEST
000001b3: STOP
000001b4: JUMPDEST
000001b5: PUSH2 0x01b2
000001b8: PUSH2 0x01c2
000001bb: CALLDATASIZE
000001bc: PUSH1 0x04
000001be: PUSH2 0x2ff0
000001c1: JUMP
000001c2: JUMPDEST
000001c3: PUSH2 0x0669
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH2 0x01b2
000001cb: PUSH2 0x01d5
000001ce: CALLDATASIZE
000001cf: PUSH1 0x04
000001d1: PUSH2 0x309c
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH2 0x0c2b
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH2 0x01b2
000001de: PUSH2 0x01e8
000001e1: CALLDATASIZE
000001e2: PUSH1 0x04
000001e4: PUSH2 0x30fa
000001e7: JUMP
000001e8: JUMPDEST
000001e9: PUSH2 0x0ce8
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH2 0x01b2
000001f1: PUSH2 0x01fb
000001f4: CALLDATASIZE
000001f5: PUSH1 0x04
000001f7: PUSH2 0x2ff0
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH2 0x105b
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH2 0x01b2
00000204: PUSH2 0x15e2
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x01b2
0000020c: PUSH2 0x0216
0000020f: CALLDATASIZE
00000210: PUSH1 0x04
00000212: PUSH2 0x316c
00000215: JUMP
00000216: JUMPDEST
00000217: PUSH2 0x1620
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH2 0x01b2
0000021f: PUSH2 0x0229
00000222: CALLDATASIZE
00000223: PUSH1 0x04
00000225: PUSH2 0x316c
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH2 0x1842
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x01b2
00000232: PUSH2 0x023c
00000235: CALLDATASIZE
00000236: PUSH1 0x04
00000238: PUSH2 0x2ff0
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH2 0x1be2
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x0192
00000245: PUSH2 0x1eaa
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x01b2
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x30fa
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x1eb9
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x01b2
00000260: PUSH2 0x026a
00000263: CALLDATASIZE
00000264: PUSH1 0x04
00000266: PUSH2 0x322a
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH2 0x2044
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH2 0x0152
00000273: PUSH2 0x027d
00000276: CALLDATASIZE
00000277: PUSH1 0x04
00000279: PUSH2 0x330f
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH4 0xbc197c81
00000283: PUSH1 0xe0
00000285: SHL
00000286: SWAP6
00000287: SWAP5
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: POP
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x01b2
00000292: PUSH2 0x029c
00000295: CALLDATASIZE
00000296: PUSH1 0x04
00000298: PUSH2 0x33bc
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x2261
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH2 0x01b2
000002a5: PUSH2 0x02af
000002a8: CALLDATASIZE
000002a9: PUSH1 0x04
000002ab: PUSH2 0x30fa
000002ae: JUMP
000002af: JUMPDEST
000002b0: PUSH2 0x23e3
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH1 0x00
000002b7: SLOAD
000002b8: PUSH2 0x012a
000002bb: SWAP1
000002bc: PUSH1 0x01
000002be: PUSH1 0xa0
000002c0: SHL
000002c1: SWAP1
000002c2: DIV
000002c3: PUSH1 0xff
000002c5: AND
000002c6: DUP2
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH2 0x01b2
000002cc: PUSH2 0x02d6
000002cf: CALLDATASIZE
000002d0: PUSH1 0x04
000002d2: PUSH2 0x30fa
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH2 0x2765
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x0152
000002df: PUSH2 0x02e9
000002e2: CALLDATASIZE
000002e3: PUSH1 0x04
000002e5: PUSH2 0x3420
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH4 0xf23a6e61
000002ef: PUSH1 0xe0
000002f1: SHL
000002f2: SWAP6
000002f3: SWAP5
000002f4: POP
000002f5: POP
000002f6: POP
000002f7: POP
000002f8: POP
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH2 0x01b2
000002fe: PUSH2 0x0308
00000301: CALLDATASIZE
00000302: PUSH1 0x04
00000304: PUSH2 0x309c
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH2 0x28b8
0000030c: JUMP
0000030d: JUMPDEST
0000030e: PUSH1 0x00
00000310: PUSH1 0x01
00000312: PUSH1 0x01
00000314: PUSH1 0xe0
00000316: SHL
00000317: SUB
00000318: NOT
00000319: DUP3
0000031a: AND
0000031b: PUSH4 0x02711897
00000320: PUSH1 0xe5
00000322: SHL
00000323: EQ
00000324: DUP1
00000325: PUSH2 0x033e
00000328: JUMPI
00000329: POP
0000032a: PUSH4 0x01ffc9a7
0000032f: PUSH1 0xe0
00000331: SHL
00000332: PUSH1 0x01
00000334: PUSH1 0x01
00000336: PUSH1 0xe0
00000338: SHL
00000339: SUB
0000033a: NOT
0000033b: DUP4
0000033c: AND
0000033d: EQ
0000033e: JUMPDEST
0000033f: SWAP3
00000340: SWAP2
00000341: POP
00000342: POP
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH4 0x0a85bd01
0000034a: PUSH1 0xe1
0000034c: SHL
0000034d: JUMPDEST
0000034e: SWAP5
0000034f: SWAP4
00000350: POP
00000351: POP
00000352: POP
00000353: POP
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x035d
00000359: PUSH2 0x2959
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x0365
00000361: PUSH2 0x29b8
00000364: JUMP
00000365: JUMPDEST
00000366: DUP7
00000367: PUSH1 0x01
00000369: PUSH1 0x01
0000036b: PUSH1 0xa0
0000036d: SHL
0000036e: SUB
0000036f: AND
00000370: PUSH4 0x2f08d48b
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP2
00000379: PUSH4 0xffffffff
0000037e: AND
0000037f: PUSH1 0xe0
00000381: SHL
00000382: DUP2
00000383: MSTORE
00000384: PUSH1 0x04
00000386: ADD
00000387: PUSH1 0x20
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: DUP4
0000038e: SUB
0000038f: DUP2
00000390: DUP7
00000391: GAS
00000392: STATICCALL
00000393: ISZERO
00000394: DUP1
00000395: ISZERO
00000396: PUSH2 0x03a3
00000399: JUMPI
0000039a: RETURNDATASIZE
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: RETURNDATACOPY
0000039f: RETURNDATASIZE
000003a0: PUSH1 0x00
000003a2: REVERT
000003a3: JUMPDEST
000003a4: POP
000003a5: POP
000003a6: POP
000003a7: POP
000003a8: PUSH1 0x40
000003aa: MLOAD
000003ab: RETURNDATASIZE
000003ac: PUSH1 0x1f
000003ae: NOT
000003af: PUSH1 0x1f
000003b1: DUP3
000003b2: ADD
000003b3: AND
000003b4: DUP3
000003b5: ADD
000003b6: DUP1
000003b7: PUSH1 0x40
000003b9: MSTORE
000003ba: POP
000003bb: DUP2
000003bc: ADD
000003bd: SWAP1
000003be: PUSH2 0x03c7
000003c1: SWAP2
000003c2: SWAP1
000003c3: PUSH2 0x3488
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH2 0x044e
000003cb: JUMPI
000003cc: PUSH1 0x40
000003ce: MLOAD
000003cf: PUSH3 0x461bcd
000003d3: PUSH1 0xe5
000003d5: SHL
000003d6: DUP2
000003d7: MSTORE
000003d8: PUSH1 0x20
000003da: PUSH1 0x04
000003dc: DUP3
000003dd: ADD
000003de: MSTORE
000003df: PUSH1 0x47
000003e1: PUSH1 0x24
000003e3: DUP3
000003e4: ADD
000003e5: MSTORE
000003e6: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c74695061727469616c28292021494c
00000407: PUSH1 0x44
00000409: DUP3
0000040a: ADD
0000040b: MSTORE
0000040c: PUSH32 0x6f636b65725f44414f286c6f636b6572292e63616e50756c6c4d756c74695061
0000042d: PUSH1 0x64
0000042f: DUP3
00000430: ADD
00000431: MSTORE
00000432: PUSH7 0x727469616c2829
0000043a: PUSH1 0xc8
0000043c: SHL
0000043d: PUSH1 0x84
0000043f: DUP3
00000440: ADD
00000441: MSTORE
00000442: PUSH1 0xa4
00000444: ADD
00000445: JUMPDEST
00000446: PUSH1 0x40
00000448: MLOAD
00000449: DUP1
0000044a: SWAP2
0000044b: SUB
0000044c: SWAP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: DUP5
00000450: DUP4
00000451: EQ
00000452: PUSH2 0x04c2
00000455: JUMPI
00000456: PUSH1 0x40
00000458: MLOAD
00000459: PUSH3 0x461bcd
0000045d: PUSH1 0xe5
0000045f: SHL
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x20
00000464: PUSH1 0x04
00000466: DUP3
00000467: ADD
00000468: MSTORE
00000469: PUSH1 0x3c
0000046b: PUSH1 0x24
0000046d: DUP3
0000046e: ADD
0000046f: MSTORE
00000470: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c74695061727469616c282920617373
00000491: PUSH1 0x44
00000493: DUP3
00000494: ADD
00000495: MSTORE
00000496: PUSH28 0x0cae8e65cd8cadccee8d040427a40c2dadeeadce8e65cd8cadccee8d
000004b3: PUSH1 0x23
000004b5: SHL
000004b6: PUSH1 0x64
000004b8: DUP3
000004b9: ADD
000004ba: MSTORE
000004bb: PUSH1 0x84
000004bd: ADD
000004be: PUSH2 0x0445
000004c1: JUMP
000004c2: JUMPDEST
000004c3: DUP3
000004c4: DUP2
000004c5: EQ
000004c6: PUSH2 0x0534
000004c9: JUMPI
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH3 0x461bcd
000004d1: PUSH1 0xe5
000004d3: SHL
000004d4: DUP2
000004d5: MSTORE
000004d6: PUSH1 0x20
000004d8: PUSH1 0x04
000004da: DUP3
000004db: ADD
000004dc: MSTORE
000004dd: PUSH1 0x3a
000004df: PUSH1 0x24
000004e1: DUP3
000004e2: ADD
000004e3: MSTORE
000004e4: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c74695061727469616c282920616d6f
00000505: PUSH1 0x44
00000507: DUP3
00000508: ADD
00000509: MSTORE
0000050a: PUSH26 0x0eadce8e65cd8cadccee8d040427a40c8c2e8c25cd8cadccee8d
00000525: PUSH1 0x33
00000527: SHL
00000528: PUSH1 0x64
0000052a: DUP3
0000052b: ADD
0000052c: MSTORE
0000052d: PUSH1 0x84
0000052f: ADD
00000530: PUSH2 0x0445
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x00
00000537: JUMPDEST
00000538: DUP6
00000539: DUP2
0000053a: LT
0000053b: ISZERO
0000053c: PUSH2 0x05ee
0000053f: JUMPI
00000540: DUP7
00000541: DUP7
00000542: DUP3
00000543: DUP2
00000544: DUP2
00000545: LT
00000546: PUSH2 0x0551
00000549: JUMPI
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x34aa
00000550: JUMP
00000551: JUMPDEST
00000552: SWAP1
00000553: POP
00000554: PUSH1 0x20
00000556: MUL
00000557: ADD
00000558: PUSH1 0x20
0000055a: DUP2
0000055b: ADD
0000055c: SWAP1
0000055d: PUSH2 0x0566
00000560: SWAP2
00000561: SWAP1
00000562: PUSH2 0x309c
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x01
00000569: PUSH1 0x01
0000056b: PUSH1 0xa0
0000056d: SHL
0000056e: SUB
0000056f: AND
00000570: DUP9
00000571: PUSH1 0x01
00000573: PUSH1 0x01
00000575: PUSH1 0xa0
00000577: SHL
00000578: SUB
00000579: AND
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: MLOAD
0000057e: PUSH1 0x20
00000580: PUSH2 0x3975
00000583: DUP4
00000584: CODECOPY
00000585: DUP2
00000586: MLOAD
00000587: SWAP2
00000588: MSTORE
00000589: DUP8
0000058a: DUP8
0000058b: DUP6
0000058c: DUP2
0000058d: DUP2
0000058e: LT
0000058f: PUSH2 0x059a
00000592: JUMPI
00000593: PUSH2 0x059a
00000596: PUSH2 0x34aa
00000599: JUMP
0000059a: JUMPDEST
0000059b: SWAP1
0000059c: POP
0000059d: PUSH1 0x20
0000059f: MUL
000005a0: ADD
000005a1: CALLDATALOAD
000005a2: DUP7
000005a3: DUP7
000005a4: DUP7
000005a5: DUP2
000005a6: DUP2
000005a7: LT
000005a8: PUSH2 0x05b3
000005ab: JUMPI
000005ac: PUSH2 0x05b3
000005af: PUSH2 0x34aa
000005b2: JUMP
000005b3: JUMPDEST
000005b4: SWAP1
000005b5: POP
000005b6: PUSH1 0x20
000005b8: MUL
000005b9: DUP2
000005ba: ADD
000005bb: SWAP1
000005bc: PUSH2 0x05c5
000005bf: SWAP2
000005c0: SWAP1
000005c1: PUSH2 0x34c0
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: PUSH2 0x05d4
000005cc: SWAP4
000005cd: SWAP3
000005ce: SWAP2
000005cf: SWAP1
000005d0: PUSH2 0x352f
000005d3: JUMP
000005d4: JUMPDEST
000005d5: PUSH1 0x40
000005d7: MLOAD
000005d8: DUP1
000005d9: SWAP2
000005da: SUB
000005db: SWAP1
000005dc: LOG3
000005dd: DUP1
000005de: PUSH2 0x05e6
000005e1: DUP2
000005e2: PUSH2 0x3568
000005e5: JUMP
000005e6: JUMPDEST
000005e7: SWAP2
000005e8: POP
000005e9: POP
000005ea: PUSH2 0x0537
000005ed: JUMP
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: PUSH4 0x34a12be5
000005f8: PUSH1 0xe2
000005fa: SHL
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x01
000005ff: PUSH1 0x01
00000601: PUSH1 0xa0
00000603: SHL
00000604: SUB
00000605: DUP9
00000606: AND
00000607: SWAP1
00000608: PUSH4 0xd284af94
0000060d: SWAP1
0000060e: PUSH2 0x0625
00000611: SWAP1
00000612: DUP10
00000613: SWAP1
00000614: DUP10
00000615: SWAP1
00000616: DUP10
00000617: SWAP1
00000618: DUP10
00000619: SWAP1
0000061a: DUP10
0000061b: SWAP1
0000061c: DUP10
0000061d: SWAP1
0000061e: PUSH1 0x04
00000620: ADD
00000621: PUSH2 0x368d
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x00
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: DUP1
0000062c: DUP4
0000062d: SUB
0000062e: DUP2
0000062f: PUSH1 0x00
00000631: DUP8
00000632: DUP1
00000633: EXTCODESIZE
00000634: ISZERO
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: GAS
00000642: CALL
00000643: ISZERO
00000644: DUP1
00000645: ISZERO
00000646: PUSH2 0x0653
00000649: JUMPI
0000064a: RETURNDATASIZE
0000064b: PUSH1 0x00
0000064d: DUP1
0000064e: RETURNDATACOPY
0000064f: RETURNDATASIZE
00000650: PUSH1 0x00
00000652: REVERT
00000653: JUMPDEST
00000654: POP
00000655: POP
00000656: POP
00000657: POP
00000658: PUSH2 0x0660
0000065b: PUSH1 0x01
0000065d: DUP1
0000065e: SSTORE
0000065f: JUMP
00000660: JUMPDEST
00000661: POP
00000662: POP
00000663: POP
00000664: POP
00000665: POP
00000666: POP
00000667: POP
00000668: JUMP
00000669: JUMPDEST
0000066a: PUSH2 0x0671
0000066d: PUSH2 0x2959
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH2 0x0679
00000675: PUSH2 0x29b8
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: PUSH4 0x0bb18f5f
00000682: PUSH1 0xe2
00000684: SHL
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x01
00000689: PUSH1 0x01
0000068b: PUSH1 0xa0
0000068d: SHL
0000068e: SUB
0000068f: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
000006b0: AND
000006b1: SWAP1
000006b2: PUSH4 0x2ec63d7c
000006b7: SWAP1
000006b8: PUSH2 0x06c5
000006bb: SWAP1
000006bc: DUP11
000006bd: SWAP1
000006be: PUSH1 0x04
000006c0: ADD
000006c1: PUSH2 0x2f91
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH1 0x20
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: DUP1
000006cc: DUP4
000006cd: SUB
000006ce: DUP2
000006cf: DUP7
000006d0: GAS
000006d1: STATICCALL
000006d2: ISZERO
000006d3: DUP1
000006d4: ISZERO
000006d5: PUSH2 0x06e2
000006d8: JUMPI
000006d9: RETURNDATASIZE
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: RETURNDATACOPY
000006de: RETURNDATASIZE
000006df: PUSH1 0x00
000006e1: REVERT
000006e2: JUMPDEST
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: POP
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: RETURNDATASIZE
000006eb: PUSH1 0x1f
000006ed: NOT
000006ee: PUSH1 0x1f
000006f0: DUP3
000006f1: ADD
000006f2: AND
000006f3: DUP3
000006f4: ADD
000006f5: DUP1
000006f6: PUSH1 0x40
000006f8: MSTORE
000006f9: POP
000006fa: DUP2
000006fb: ADD
000006fc: SWAP1
000006fd: PUSH2 0x0706
00000700: SWAP2
00000701: SWAP1
00000702: PUSH2 0x3488
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH2 0x0778
0000070a: JUMPI
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: PUSH3 0x461bcd
00000712: PUSH1 0xe5
00000714: SHL
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: PUSH1 0x04
0000071b: DUP3
0000071c: ADD
0000071d: MSTORE
0000071e: PUSH1 0x3e
00000720: PUSH1 0x24
00000722: DUP3
00000723: ADD
00000724: MSTORE
00000725: PUSH32 0x5a69766f6544414f3a3a707573684d756c746928292021495a69766f65476c6f
00000746: PUSH1 0x44
00000748: DUP3
00000749: ADD
0000074a: MSTORE
0000074b: PUSH32 0x62616c735f44414f2847424c292e69734c6f636b6572286c6f636b6572290000
0000076c: PUSH1 0x64
0000076e: DUP3
0000076f: ADD
00000770: MSTORE
00000771: PUSH1 0x84
00000773: ADD
00000774: PUSH2 0x0445
00000777: JUMP
00000778: JUMPDEST
00000779: DUP5
0000077a: DUP4
0000077b: EQ
0000077c: PUSH2 0x07e5
0000077f: JUMPI
00000780: PUSH1 0x40
00000782: MLOAD
00000783: PUSH3 0x461bcd
00000787: PUSH1 0xe5
00000789: SHL
0000078a: DUP2
0000078b: MSTORE
0000078c: PUSH1 0x20
0000078e: PUSH1 0x04
00000790: DUP3
00000791: ADD
00000792: MSTORE
00000793: PUSH1 0x35
00000795: PUSH1 0x24
00000797: DUP3
00000798: ADD
00000799: MSTORE
0000079a: PUSH32 0x5a69766f6544414f3a3a707573684d756c74692829206173736574732e6c656e
000007bb: PUSH1 0x44
000007bd: DUP3
000007be: ADD
000007bf: MSTORE
000007c0: PUSH21 0x0cee8d040427a40c2dadeeadce8e65cd8cadccee8d
000007d6: PUSH1 0x5b
000007d8: SHL
000007d9: PUSH1 0x64
000007db: DUP3
000007dc: ADD
000007dd: MSTORE
000007de: PUSH1 0x84
000007e0: ADD
000007e1: PUSH2 0x0445
000007e4: JUMP
000007e5: JUMPDEST
000007e6: DUP3
000007e7: DUP2
000007e8: EQ
000007e9: PUSH2 0x0850
000007ec: JUMPI
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: PUSH3 0x461bcd
000007f4: PUSH1 0xe5
000007f6: SHL
000007f7: DUP2
000007f8: MSTORE
000007f9: PUSH1 0x20
000007fb: PUSH1 0x04
000007fd: DUP3
000007fe: ADD
000007ff: MSTORE
00000800: PUSH1 0x33
00000802: PUSH1 0x24
00000804: DUP3
00000805: ADD
00000806: MSTORE
00000807: PUSH32 0x5a69766f6544414f3a3a707573684d756c7469282920616d6f756e74732e6c65
00000828: PUSH1 0x44
0000082a: DUP3
0000082b: ADD
0000082c: MSTORE
0000082d: PUSH19 0x0dccee8d040427a40c8c2e8c25cd8cadccee8d
00000841: PUSH1 0x6b
00000843: SHL
00000844: PUSH1 0x64
00000846: DUP3
00000847: ADD
00000848: MSTORE
00000849: PUSH1 0x84
0000084b: ADD
0000084c: PUSH2 0x0445
0000084f: JUMP
00000850: JUMPDEST
00000851: DUP7
00000852: PUSH1 0x01
00000854: PUSH1 0x01
00000856: PUSH1 0xa0
00000858: SHL
00000859: SUB
0000085a: AND
0000085b: PUSH4 0xa4a3e79d
00000860: PUSH1 0x40
00000862: MLOAD
00000863: DUP2
00000864: PUSH4 0xffffffff
00000869: AND
0000086a: PUSH1 0xe0
0000086c: SHL
0000086d: DUP2
0000086e: MSTORE
0000086f: PUSH1 0x04
00000871: ADD
00000872: PUSH1 0x20
00000874: PUSH1 0x40
00000876: MLOAD
00000877: DUP1
00000878: DUP4
00000879: SUB
0000087a: DUP2
0000087b: DUP7
0000087c: GAS
0000087d: STATICCALL
0000087e: ISZERO
0000087f: DUP1
00000880: ISZERO
00000881: PUSH2 0x088e
00000884: JUMPI
00000885: RETURNDATASIZE
00000886: PUSH1 0x00
00000888: DUP1
00000889: RETURNDATACOPY
0000088a: RETURNDATASIZE
0000088b: PUSH1 0x00
0000088d: REVERT
0000088e: JUMPDEST
0000088f: POP
00000890: POP
00000891: POP
00000892: POP
00000893: PUSH1 0x40
00000895: MLOAD
00000896: RETURNDATASIZE
00000897: PUSH1 0x1f
00000899: NOT
0000089a: PUSH1 0x1f
0000089c: DUP3
0000089d: ADD
0000089e: AND
0000089f: DUP3
000008a0: ADD
000008a1: DUP1
000008a2: PUSH1 0x40
000008a4: MSTORE
000008a5: POP
000008a6: DUP2
000008a7: ADD
000008a8: SWAP1
000008a9: PUSH2 0x08b2
000008ac: SWAP2
000008ad: SWAP1
000008ae: PUSH2 0x3488
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH2 0x0920
000008b6: JUMPI
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: PUSH3 0x461bcd
000008be: PUSH1 0xe5
000008c0: SHL
000008c1: DUP2
000008c2: MSTORE
000008c3: PUSH1 0x20
000008c5: PUSH1 0x04
000008c7: DUP3
000008c8: ADD
000008c9: MSTORE
000008ca: PUSH1 0x39
000008cc: PUSH1 0x24
000008ce: DUP3
000008cf: ADD
000008d0: MSTORE
000008d1: PUSH32 0x5a69766f6544414f3a3a707573684d756c746928292021494c6f636b65725f44
000008f2: PUSH1 0x44
000008f4: DUP3
000008f5: ADD
000008f6: MSTORE
000008f7: PUSH25 0x414f286c6f636b6572292e63616e507573684d756c74692829
00000911: PUSH1 0x38
00000913: SHL
00000914: PUSH1 0x64
00000916: DUP3
00000917: ADD
00000918: MSTORE
00000919: PUSH1 0x84
0000091b: ADD
0000091c: PUSH2 0x0445
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x00
00000923: JUMPDEST
00000924: DUP6
00000925: DUP2
00000926: LT
00000927: ISZERO
00000928: PUSH2 0x0a2e
0000092b: JUMPI
0000092c: PUSH2 0x097f
0000092f: DUP9
00000930: DUP7
00000931: DUP7
00000932: DUP5
00000933: DUP2
00000934: DUP2
00000935: LT
00000936: PUSH2 0x0941
00000939: JUMPI
0000093a: PUSH2 0x0941
0000093d: PUSH2 0x34aa
00000940: JUMP
00000941: JUMPDEST
00000942: SWAP1
00000943: POP
00000944: PUSH1 0x20
00000946: MUL
00000947: ADD
00000948: CALLDATALOAD
00000949: DUP10
0000094a: DUP10
0000094b: DUP6
0000094c: DUP2
0000094d: DUP2
0000094e: LT
0000094f: PUSH2 0x095a
00000952: JUMPI
00000953: PUSH2 0x095a
00000956: PUSH2 0x34aa
00000959: JUMP
0000095a: JUMPDEST
0000095b: SWAP1
0000095c: POP
0000095d: PUSH1 0x20
0000095f: MUL
00000960: ADD
00000961: PUSH1 0x20
00000963: DUP2
00000964: ADD
00000965: SWAP1
00000966: PUSH2 0x096f
00000969: SWAP2
0000096a: SWAP1
0000096b: PUSH2 0x309c
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x01
00000972: PUSH1 0x01
00000974: PUSH1 0xa0
00000976: SHL
00000977: SUB
00000978: AND
00000979: SWAP2
0000097a: SWAP1
0000097b: PUSH2 0x2a11
0000097e: JUMP
0000097f: JUMPDEST
00000980: DUP7
00000981: DUP7
00000982: DUP3
00000983: DUP2
00000984: DUP2
00000985: LT
00000986: PUSH2 0x0991
00000989: JUMPI
0000098a: PUSH2 0x0991
0000098d: PUSH2 0x34aa
00000990: JUMP
00000991: JUMPDEST
00000992: SWAP1
00000993: POP
00000994: PUSH1 0x20
00000996: MUL
00000997: ADD
00000998: PUSH1 0x20
0000099a: DUP2
0000099b: ADD
0000099c: SWAP1
0000099d: PUSH2 0x09a6
000009a0: SWAP2
000009a1: SWAP1
000009a2: PUSH2 0x309c
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x01
000009a9: PUSH1 0x01
000009ab: PUSH1 0xa0
000009ad: SHL
000009ae: SUB
000009af: AND
000009b0: DUP9
000009b1: PUSH1 0x01
000009b3: PUSH1 0x01
000009b5: PUSH1 0xa0
000009b7: SHL
000009b8: SUB
000009b9: AND
000009ba: PUSH1 0x00
000009bc: DUP1
000009bd: MLOAD
000009be: PUSH1 0x20
000009c0: PUSH2 0x39b5
000009c3: DUP4
000009c4: CODECOPY
000009c5: DUP2
000009c6: MLOAD
000009c7: SWAP2
000009c8: MSTORE
000009c9: DUP8
000009ca: DUP8
000009cb: DUP6
000009cc: DUP2
000009cd: DUP2
000009ce: LT
000009cf: PUSH2 0x09da
000009d2: JUMPI
000009d3: PUSH2 0x09da
000009d6: PUSH2 0x34aa
000009d9: JUMP
000009da: JUMPDEST
000009db: SWAP1
000009dc: POP
000009dd: PUSH1 0x20
000009df: MUL
000009e0: ADD
000009e1: CALLDATALOAD
000009e2: DUP7
000009e3: DUP7
000009e4: DUP7
000009e5: DUP2
000009e6: DUP2
000009e7: LT
000009e8: PUSH2 0x09f3
000009eb: JUMPI
000009ec: PUSH2 0x09f3
000009ef: PUSH2 0x34aa
000009f2: JUMP
000009f3: JUMPDEST
000009f4: SWAP1
000009f5: POP
000009f6: PUSH1 0x20
000009f8: MUL
000009f9: DUP2
000009fa: ADD
000009fb: SWAP1
000009fc: PUSH2 0x0a05
000009ff: SWAP2
00000a00: SWAP1
00000a01: PUSH2 0x34c0
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x40
00000a08: MLOAD
00000a09: PUSH2 0x0a14
00000a0c: SWAP4
00000a0d: SWAP3
00000a0e: SWAP2
00000a0f: SWAP1
00000a10: PUSH2 0x352f
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: DUP1
00000a19: SWAP2
00000a1a: SUB
00000a1b: SWAP1
00000a1c: LOG3
00000a1d: DUP1
00000a1e: PUSH2 0x0a26
00000a21: DUP2
00000a22: PUSH2 0x3568
00000a25: JUMP
00000a26: JUMPDEST
00000a27: SWAP2
00000a28: POP
00000a29: POP
00000a2a: PUSH2 0x0923
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: POP
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: PUSH4 0x6a7ab9af
00000a38: PUSH1 0xe0
00000a3a: SHL
00000a3b: DUP2
00000a3c: MSTORE
00000a3d: PUSH1 0x01
00000a3f: PUSH1 0x01
00000a41: PUSH1 0xa0
00000a43: SHL
00000a44: SUB
00000a45: DUP9
00000a46: AND
00000a47: SWAP1
00000a48: PUSH4 0x6a7ab9af
00000a4d: SWAP1
00000a4e: PUSH2 0x0a65
00000a51: SWAP1
00000a52: DUP10
00000a53: SWAP1
00000a54: DUP10
00000a55: SWAP1
00000a56: DUP10
00000a57: SWAP1
00000a58: DUP10
00000a59: SWAP1
00000a5a: DUP10
00000a5b: SWAP1
00000a5c: DUP10
00000a5d: SWAP1
00000a5e: PUSH1 0x04
00000a60: ADD
00000a61: PUSH2 0x368d
00000a64: JUMP
00000a65: JUMPDEST
00000a66: PUSH1 0x00
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: DUP1
00000a6c: DUP4
00000a6d: SUB
00000a6e: DUP2
00000a6f: PUSH1 0x00
00000a71: DUP8
00000a72: DUP1
00000a73: EXTCODESIZE
00000a74: ISZERO
00000a75: DUP1
00000a76: ISZERO
00000a77: PUSH2 0x0a7f
00000a7a: JUMPI
00000a7b: PUSH1 0x00
00000a7d: DUP1
00000a7e: REVERT
00000a7f: JUMPDEST
00000a80: POP
00000a81: GAS
00000a82: CALL
00000a83: ISZERO
00000a84: DUP1
00000a85: ISZERO
00000a86: PUSH2 0x0a93
00000a89: JUMPI
00000a8a: RETURNDATASIZE
00000a8b: PUSH1 0x00
00000a8d: DUP1
00000a8e: RETURNDATACOPY
00000a8f: RETURNDATASIZE
00000a90: PUSH1 0x00
00000a92: REVERT
00000a93: JUMPDEST
00000a94: POP
00000a95: POP
00000a96: POP
00000a97: POP
00000a98: PUSH1 0x00
00000a9a: JUMPDEST
00000a9b: DUP6
00000a9c: DUP2
00000a9d: LT
00000a9e: ISZERO
00000a9f: PUSH2 0x0c21
00000aa2: JUMPI
00000aa3: PUSH1 0x00
00000aa5: DUP8
00000aa6: DUP8
00000aa7: DUP4
00000aa8: DUP2
00000aa9: DUP2
00000aaa: LT
00000aab: PUSH2 0x0ab6
00000aae: JUMPI
00000aaf: PUSH2 0x0ab6
00000ab2: PUSH2 0x34aa
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: SWAP1
00000ab8: POP
00000ab9: PUSH1 0x20
00000abb: MUL
00000abc: ADD
00000abd: PUSH1 0x20
00000abf: DUP2
00000ac0: ADD
00000ac1: SWAP1
00000ac2: PUSH2 0x0acb
00000ac5: SWAP2
00000ac6: SWAP1
00000ac7: PUSH2 0x309c
00000aca: JUMP
00000acb: JUMPDEST
00000acc: PUSH1 0x01
00000ace: PUSH1 0x01
00000ad0: PUSH1 0xa0
00000ad2: SHL
00000ad3: SUB
00000ad4: AND
00000ad5: PUSH4 0xdd62ed3e
00000ada: ADDRESS
00000adb: DUP12
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: DUP4
00000ae0: PUSH4 0xffffffff
00000ae5: AND
00000ae6: PUSH1 0xe0
00000ae8: SHL
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x04
00000aed: ADD
00000aee: PUSH2 0x0af8
00000af1: SWAP3
00000af2: SWAP2
00000af3: SWAP1
00000af4: PUSH2 0x36d6
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x20
00000afb: PUSH1 0x40
00000afd: MLOAD
00000afe: DUP1
00000aff: DUP4
00000b00: SUB
00000b01: DUP2
00000b02: DUP7
00000b03: GAS
00000b04: STATICCALL
00000b05: ISZERO
00000b06: DUP1
00000b07: ISZERO
00000b08: PUSH2 0x0b15
00000b0b: JUMPI
00000b0c: RETURNDATASIZE
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: RETURNDATACOPY
00000b11: RETURNDATASIZE
00000b12: PUSH1 0x00
00000b14: REVERT
00000b15: JUMPDEST
00000b16: POP
00000b17: POP
00000b18: POP
00000b19: POP
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: RETURNDATASIZE
00000b1e: PUSH1 0x1f
00000b20: NOT
00000b21: PUSH1 0x1f
00000b23: DUP3
00000b24: ADD
00000b25: AND
00000b26: DUP3
00000b27: ADD
00000b28: DUP1
00000b29: PUSH1 0x40
00000b2b: MSTORE
00000b2c: POP
00000b2d: DUP2
00000b2e: ADD
00000b2f: SWAP1
00000b30: PUSH2 0x0b39
00000b33: SWAP2
00000b34: SWAP1
00000b35: PUSH2 0x36f0
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: GT
00000b3b: ISZERO
00000b3c: PUSH2 0x0c0f
00000b3f: JUMPI
00000b40: PUSH2 0x0c0f
00000b43: DUP9
00000b44: DUP9
00000b45: DUP9
00000b46: DUP5
00000b47: DUP2
00000b48: DUP2
00000b49: LT
00000b4a: PUSH2 0x0b55
00000b4d: JUMPI
00000b4e: PUSH2 0x0b55
00000b51: PUSH2 0x34aa
00000b54: JUMP
00000b55: JUMPDEST
00000b56: SWAP1
00000b57: POP
00000b58: PUSH1 0x20
00000b5a: MUL
00000b5b: ADD
00000b5c: PUSH1 0x20
00000b5e: DUP2
00000b5f: ADD
00000b60: SWAP1
00000b61: PUSH2 0x0b6a
00000b64: SWAP2
00000b65: SWAP1
00000b66: PUSH2 0x309c
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH1 0x01
00000b6d: PUSH1 0x01
00000b6f: PUSH1 0xa0
00000b71: SHL
00000b72: SUB
00000b73: AND
00000b74: PUSH4 0xdd62ed3e
00000b79: ADDRESS
00000b7a: DUP13
00000b7b: PUSH1 0x40
00000b7d: MLOAD
00000b7e: DUP4
00000b7f: PUSH4 0xffffffff
00000b84: AND
00000b85: PUSH1 0xe0
00000b87: SHL
00000b88: DUP2
00000b89: MSTORE
00000b8a: PUSH1 0x04
00000b8c: ADD
00000b8d: PUSH2 0x0b97
00000b90: SWAP3
00000b91: SWAP2
00000b92: SWAP1
00000b93: PUSH2 0x36d6
00000b96: JUMP
00000b97: JUMPDEST
00000b98: PUSH1 0x20
00000b9a: PUSH1 0x40
00000b9c: MLOAD
00000b9d: DUP1
00000b9e: DUP4
00000b9f: SUB
00000ba0: DUP2
00000ba1: DUP7
00000ba2: GAS
00000ba3: STATICCALL
00000ba4: ISZERO
00000ba5: DUP1
00000ba6: ISZERO
00000ba7: PUSH2 0x0bb4
00000baa: JUMPI
00000bab: RETURNDATASIZE
00000bac: PUSH1 0x00
00000bae: DUP1
00000baf: RETURNDATACOPY
00000bb0: RETURNDATASIZE
00000bb1: PUSH1 0x00
00000bb3: REVERT
00000bb4: JUMPDEST
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: POP
00000bb9: PUSH1 0x40
00000bbb: MLOAD
00000bbc: RETURNDATASIZE
00000bbd: PUSH1 0x1f
00000bbf: NOT
00000bc0: PUSH1 0x1f
00000bc2: DUP3
00000bc3: ADD
00000bc4: AND
00000bc5: DUP3
00000bc6: ADD
00000bc7: DUP1
00000bc8: PUSH1 0x40
00000bca: MSTORE
00000bcb: POP
00000bcc: DUP2
00000bcd: ADD
00000bce: SWAP1
00000bcf: PUSH2 0x0bd8
00000bd2: SWAP2
00000bd3: SWAP1
00000bd4: PUSH2 0x36f0
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: DUP10
00000bda: DUP10
00000bdb: DUP6
00000bdc: DUP2
00000bdd: DUP2
00000bde: LT
00000bdf: PUSH2 0x0bea
00000be2: JUMPI
00000be3: PUSH2 0x0bea
00000be6: PUSH2 0x34aa
00000be9: JUMP
00000bea: JUMPDEST
00000beb: SWAP1
00000bec: POP
00000bed: PUSH1 0x20
00000bef: MUL
00000bf0: ADD
00000bf1: PUSH1 0x20
00000bf3: DUP2
00000bf4: ADD
00000bf5: SWAP1
00000bf6: PUSH2 0x0bff
00000bf9: SWAP2
00000bfa: SWAP1
00000bfb: PUSH2 0x309c
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: PUSH1 0x01
00000c02: PUSH1 0x01
00000c04: PUSH1 0xa0
00000c06: SHL
00000c07: SUB
00000c08: AND
00000c09: SWAP2
00000c0a: SWAP1
00000c0b: PUSH2 0x2ae5
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: DUP1
00000c11: PUSH2 0x0c19
00000c14: DUP2
00000c15: PUSH2 0x3568
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP2
00000c1b: POP
00000c1c: POP
00000c1d: PUSH2 0x0a9a
00000c20: JUMP
00000c21: JUMPDEST
00000c22: POP
00000c23: PUSH2 0x0660
00000c26: PUSH1 0x01
00000c28: DUP1
00000c29: SSTORE
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH2 0x0c33
00000c2f: PUSH2 0x2959
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x00
00000c36: SLOAD
00000c37: PUSH1 0x01
00000c39: PUSH1 0xa0
00000c3b: SHL
00000c3c: SWAP1
00000c3d: DIV
00000c3e: PUSH1 0xff
00000c40: AND
00000c41: ISZERO
00000c42: PUSH2 0x0c5d
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: MLOAD
00000c49: PUSH3 0x461bcd
00000c4d: PUSH1 0xe5
00000c4f: SHL
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x04
00000c54: ADD
00000c55: PUSH2 0x0445
00000c58: SWAP1
00000c59: PUSH2 0x3709
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x01
00000c60: PUSH1 0x01
00000c62: PUSH1 0xa0
00000c64: SHL
00000c65: SUB
00000c66: DUP2
00000c67: AND
00000c68: PUSH2 0x0cc9
00000c6b: JUMPI
00000c6c: PUSH1 0x40
00000c6e: DUP1
00000c6f: MLOAD
00000c70: PUSH3 0x461bcd
00000c74: PUSH1 0xe5
00000c76: SHL
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: PUSH1 0x04
00000c7d: DUP3
00000c7e: ADD
00000c7f: MSTORE
00000c80: PUSH1 0x24
00000c82: DUP2
00000c83: ADD
00000c84: SWAP2
00000c85: SWAP1
00000c86: SWAP2
00000c87: MSTORE
00000c88: PUSH1 0x00
00000c8a: DUP1
00000c8b: MLOAD
00000c8c: PUSH1 0x20
00000c8e: PUSH2 0x39d5
00000c91: DUP4
00000c92: CODECOPY
00000c93: DUP2
00000c94: MLOAD
00000c95: SWAP2
00000c96: MSTORE
00000c97: PUSH1 0x44
00000c99: DUP3
00000c9a: ADD
00000c9b: MSTORE
00000c9c: PUSH32 0x416e644c6f636b2829206e65774f776e6572203d3d2061646472657373283029
00000cbd: PUSH1 0x64
00000cbf: DUP3
00000cc0: ADD
00000cc1: MSTORE
00000cc2: PUSH1 0x84
00000cc4: ADD
00000cc5: PUSH2 0x0445
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x00
00000ccc: DUP1
00000ccd: SLOAD
00000cce: PUSH1 0xff
00000cd0: PUSH1 0xa0
00000cd2: SHL
00000cd3: NOT
00000cd4: AND
00000cd5: PUSH1 0x01
00000cd7: PUSH1 0xa0
00000cd9: SHL
00000cda: OR
00000cdb: SWAP1
00000cdc: SSTORE
00000cdd: PUSH2 0x0ce5
00000ce0: DUP2
00000ce1: PUSH2 0x2be1
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: POP
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH2 0x0cf0
00000cec: PUSH2 0x2959
00000cef: JUMP
00000cf0: JUMPDEST
00000cf1: PUSH2 0x0cf8
00000cf4: PUSH2 0x29b8
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: PUSH1 0x40
00000cfb: MLOAD
00000cfc: PUSH4 0x0bb18f5f
00000d01: PUSH1 0xe2
00000d03: SHL
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x01
00000d08: PUSH1 0x01
00000d0a: PUSH1 0xa0
00000d0c: SHL
00000d0d: SUB
00000d0e: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
00000d2f: AND
00000d30: SWAP1
00000d31: PUSH4 0x2ec63d7c
00000d36: SWAP1
00000d37: PUSH2 0x0d44
00000d3a: SWAP1
00000d3b: DUP9
00000d3c: SWAP1
00000d3d: PUSH1 0x04
00000d3f: ADD
00000d40: PUSH2 0x2f91
00000d43: JUMP
00000d44: JUMPDEST
00000d45: PUSH1 0x20
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: DUP1
00000d4b: DUP4
00000d4c: SUB
00000d4d: DUP2
00000d4e: DUP7
00000d4f: GAS
00000d50: STATICCALL
00000d51: ISZERO
00000d52: DUP1
00000d53: ISZERO
00000d54: PUSH2 0x0d61
00000d57: JUMPI
00000d58: RETURNDATASIZE
00000d59: PUSH1 0x00
00000d5b: DUP1
00000d5c: RETURNDATACOPY
00000d5d: RETURNDATASIZE
00000d5e: PUSH1 0x00
00000d60: REVERT
00000d61: JUMPDEST
00000d62: POP
00000d63: POP
00000d64: POP
00000d65: POP
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: RETURNDATASIZE
00000d6a: PUSH1 0x1f
00000d6c: NOT
00000d6d: PUSH1 0x1f
00000d6f: DUP3
00000d70: ADD
00000d71: AND
00000d72: DUP3
00000d73: ADD
00000d74: DUP1
00000d75: PUSH1 0x40
00000d77: MSTORE
00000d78: POP
00000d79: DUP2
00000d7a: ADD
00000d7b: SWAP1
00000d7c: PUSH2 0x0d85
00000d7f: SWAP2
00000d80: SWAP1
00000d81: PUSH2 0x3488
00000d84: JUMP
00000d85: JUMPDEST
00000d86: PUSH2 0x0df7
00000d89: JUMPI
00000d8a: PUSH1 0x40
00000d8c: MLOAD
00000d8d: PUSH3 0x461bcd
00000d91: PUSH1 0xe5
00000d93: SHL
00000d94: DUP2
00000d95: MSTORE
00000d96: PUSH1 0x20
00000d98: PUSH1 0x04
00000d9a: DUP3
00000d9b: ADD
00000d9c: MSTORE
00000d9d: PUSH1 0x3f
00000d9f: PUSH1 0x24
00000da1: DUP3
00000da2: ADD
00000da3: MSTORE
00000da4: PUSH32 0x5a69766f6544414f3a3a7075736845524337323128292021495a69766f65476c
00000dc5: PUSH1 0x44
00000dc7: DUP3
00000dc8: ADD
00000dc9: MSTORE
00000dca: PUSH32 0x6f62616c735f44414f2847424c292e69734c6f636b6572286c6f636b65722900
00000deb: PUSH1 0x64
00000ded: DUP3
00000dee: ADD
00000def: MSTORE
00000df0: PUSH1 0x84
00000df2: ADD
00000df3: PUSH2 0x0445
00000df6: JUMP
00000df7: JUMPDEST
00000df8: DUP5
00000df9: PUSH1 0x01
00000dfb: PUSH1 0x01
00000dfd: PUSH1 0xa0
00000dff: SHL
00000e00: SUB
00000e01: AND
00000e02: PUSH4 0x8b648ee2
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP2
00000e0b: PUSH4 0xffffffff
00000e10: AND
00000e11: PUSH1 0xe0
00000e13: SHL
00000e14: DUP2
00000e15: MSTORE
00000e16: PUSH1 0x04
00000e18: ADD
00000e19: PUSH1 0x20
00000e1b: PUSH1 0x40
00000e1d: MLOAD
00000e1e: DUP1
00000e1f: DUP4
00000e20: SUB
00000e21: DUP2
00000e22: DUP7
00000e23: GAS
00000e24: STATICCALL
00000e25: ISZERO
00000e26: DUP1
00000e27: ISZERO
00000e28: PUSH2 0x0e35
00000e2b: JUMPI
00000e2c: RETURNDATASIZE
00000e2d: PUSH1 0x00
00000e2f: DUP1
00000e30: RETURNDATACOPY
00000e31: RETURNDATASIZE
00000e32: PUSH1 0x00
00000e34: REVERT
00000e35: JUMPDEST
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: PUSH1 0x40
00000e3c: MLOAD
00000e3d: RETURNDATASIZE
00000e3e: PUSH1 0x1f
00000e40: NOT
00000e41: PUSH1 0x1f
00000e43: DUP3
00000e44: ADD
00000e45: AND
00000e46: DUP3
00000e47: ADD
00000e48: DUP1
00000e49: PUSH1 0x40
00000e4b: MSTORE
00000e4c: POP
00000e4d: DUP2
00000e4e: ADD
00000e4f: SWAP1
00000e50: PUSH2 0x0e59
00000e53: SWAP2
00000e54: SWAP1
00000e55: PUSH2 0x3488
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: PUSH2 0x0ec9
00000e5d: JUMPI
00000e5e: PUSH1 0x40
00000e60: MLOAD
00000e61: PUSH3 0x461bcd
00000e65: PUSH1 0xe5
00000e67: SHL
00000e68: DUP2
00000e69: MSTORE
00000e6a: PUSH1 0x20
00000e6c: PUSH1 0x04
00000e6e: DUP3
00000e6f: ADD
00000e70: MSTORE
00000e71: PUSH1 0x3b
00000e73: PUSH1 0x24
00000e75: DUP3
00000e76: ADD
00000e77: MSTORE
00000e78: PUSH32 0x5a69766f6544414f3a3a7075736845524337323128292021494c6f636b65725f
00000e99: PUSH1 0x44
00000e9b: DUP3
00000e9c: ADD
00000e9d: MSTORE
00000e9e: PUSH27 0x44414f286c6f636b6572292e63616e507573684552433732312829
00000eba: PUSH1 0x28
00000ebc: SHL
00000ebd: PUSH1 0x64
00000ebf: DUP3
00000ec0: ADD
00000ec1: MSTORE
00000ec2: PUSH1 0x84
00000ec4: ADD
00000ec5: PUSH2 0x0445
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: DUP3
00000ecb: DUP5
00000ecc: PUSH1 0x01
00000ece: PUSH1 0x01
00000ed0: PUSH1 0xa0
00000ed2: SHL
00000ed3: SUB
00000ed4: AND
00000ed5: DUP7
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0x01
00000eda: PUSH1 0xa0
00000edc: SHL
00000edd: SUB
00000ede: AND
00000edf: PUSH1 0x00
00000ee1: DUP1
00000ee2: MLOAD
00000ee3: PUSH1 0x20
00000ee5: PUSH2 0x39f5
00000ee8: DUP4
00000ee9: CODECOPY
00000eea: DUP2
00000eeb: MLOAD
00000eec: SWAP2
00000eed: MSTORE
00000eee: DUP6
00000eef: DUP6
00000ef0: PUSH1 0x40
00000ef2: MLOAD
00000ef3: PUSH2 0x0efd
00000ef6: SWAP3
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: PUSH2 0x373e
00000efc: JUMP
00000efd: JUMPDEST
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: DUP1
00000f02: SWAP2
00000f03: SUB
00000f04: SWAP1
00000f05: LOG4
00000f06: PUSH1 0x40
00000f08: MLOAD
00000f09: PUSH4 0x095ea7b3
00000f0e: PUSH1 0xe0
00000f10: SHL
00000f11: DUP2
00000f12: MSTORE
00000f13: PUSH1 0x01
00000f15: PUSH1 0x01
00000f17: PUSH1 0xa0
00000f19: SHL
00000f1a: SUB
00000f1b: DUP6
00000f1c: AND
00000f1d: SWAP1
00000f1e: PUSH4 0x095ea7b3
00000f23: SWAP1
00000f24: PUSH2 0x0f33
00000f27: SWAP1
00000f28: DUP9
00000f29: SWAP1
00000f2a: DUP8
00000f2b: SWAP1
00000f2c: PUSH1 0x04
00000f2e: ADD
00000f2f: PUSH2 0x3752
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x00
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: DUP1
00000f3a: DUP4
00000f3b: SUB
00000f3c: DUP2
00000f3d: PUSH1 0x00
00000f3f: DUP8
00000f40: DUP1
00000f41: EXTCODESIZE
00000f42: ISZERO
00000f43: DUP1
00000f44: ISZERO
00000f45: PUSH2 0x0f4d
00000f48: JUMPI
00000f49: PUSH1 0x00
00000f4b: DUP1
00000f4c: REVERT
00000f4d: JUMPDEST
00000f4e: POP
00000f4f: GAS
00000f50: CALL
00000f51: ISZERO
00000f52: DUP1
00000f53: ISZERO
00000f54: PUSH2 0x0f61
00000f57: JUMPI
00000f58: RETURNDATASIZE
00000f59: PUSH1 0x00
00000f5b: DUP1
00000f5c: RETURNDATACOPY
00000f5d: RETURNDATASIZE
00000f5e: PUSH1 0x00
00000f60: REVERT
00000f61: JUMPDEST
00000f62: POP
00000f63: POP
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: PUSH4 0x1d9389e9
00000f6c: PUSH1 0xe0
00000f6e: SHL
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x01
00000f73: PUSH1 0x01
00000f75: PUSH1 0xa0
00000f77: SHL
00000f78: SUB
00000f79: DUP9
00000f7a: AND
00000f7b: SWAP3
00000f7c: POP
00000f7d: PUSH4 0x1d9389e9
00000f82: SWAP2
00000f83: POP
00000f84: PUSH2 0x0f97
00000f87: SWAP1
00000f88: DUP8
00000f89: SWAP1
00000f8a: DUP8
00000f8b: SWAP1
00000f8c: DUP8
00000f8d: SWAP1
00000f8e: DUP8
00000f8f: SWAP1
00000f90: PUSH1 0x04
00000f92: ADD
00000f93: PUSH2 0x376b
00000f96: JUMP
00000f97: JUMPDEST
00000f98: PUSH1 0x00
00000f9a: PUSH1 0x40
00000f9c: MLOAD
00000f9d: DUP1
00000f9e: DUP4
00000f9f: SUB
00000fa0: DUP2
00000fa1: PUSH1 0x00
00000fa3: DUP8
00000fa4: DUP1
00000fa5: EXTCODESIZE
00000fa6: ISZERO
00000fa7: DUP1
00000fa8: ISZERO
00000fa9: PUSH2 0x0fb1
00000fac: JUMPI
00000fad: PUSH1 0x00
00000faf: DUP1
00000fb0: REVERT
00000fb1: JUMPDEST
00000fb2: POP
00000fb3: GAS
00000fb4: CALL
00000fb5: ISZERO
00000fb6: DUP1
00000fb7: ISZERO
00000fb8: PUSH2 0x0fc5
00000fbb: JUMPI
00000fbc: RETURNDATASIZE
00000fbd: PUSH1 0x00
00000fbf: DUP1
00000fc0: RETURNDATACOPY
00000fc1: RETURNDATASIZE
00000fc2: PUSH1 0x00
00000fc4: REVERT
00000fc5: JUMPDEST
00000fc6: POP
00000fc7: POP
00000fc8: PUSH1 0x40
00000fca: MLOAD
00000fcb: PUSH4 0x020604bf
00000fd0: PUSH1 0xe2
00000fd2: SHL
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x04
00000fd7: DUP2
00000fd8: ADD
00000fd9: DUP7
00000fda: SWAP1
00000fdb: MSTORE
00000fdc: PUSH1 0x00
00000fde: SWAP3
00000fdf: POP
00000fe0: PUSH1 0x01
00000fe2: PUSH1 0x01
00000fe4: PUSH1 0xa0
00000fe6: SHL
00000fe7: SUB
00000fe8: DUP8
00000fe9: AND
00000fea: SWAP2
00000feb: POP
00000fec: PUSH4 0x081812fc
00000ff1: SWAP1
00000ff2: PUSH1 0x24
00000ff4: ADD
00000ff5: PUSH1 0x20
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: DUP1
00000ffb: DUP4
00000ffc: SUB
00000ffd: DUP2
00000ffe: DUP7
00000fff: GAS
00001000: STATICCALL
00001001: ISZERO
00001002: DUP1
00001003: ISZERO
00001004: PUSH2 0x1011
00001007: JUMPI
00001008: RETURNDATASIZE
00001009: PUSH1 0x00
0000100b: DUP1
0000100c: RETURNDATACOPY
0000100d: RETURNDATASIZE
0000100e: PUSH1 0x00
00001010: REVERT
00001011: JUMPDEST
00001012: POP
00001013: POP
00001014: POP
00001015: POP
00001016: PUSH1 0x40
00001018: MLOAD
00001019: RETURNDATASIZE
0000101a: PUSH1 0x1f
0000101c: NOT
0000101d: PUSH1 0x1f
0000101f: DUP3
00001020: ADD
00001021: AND
00001022: DUP3
00001023: ADD
00001024: DUP1
00001025: PUSH1 0x40
00001027: MSTORE
00001028: POP
00001029: DUP2
0000102a: ADD
0000102b: SWAP1
0000102c: PUSH2 0x1035
0000102f: SWAP2
00001030: SWAP1
00001031: PUSH2 0x379d
00001034: JUMP
00001035: JUMPDEST
00001036: PUSH1 0x01
00001038: PUSH1 0x01
0000103a: PUSH1 0xa0
0000103c: SHL
0000103d: SUB
0000103e: AND
0000103f: EQ
00001040: PUSH2 0x104b
00001043: JUMPI
00001044: PUSH2 0x104b
00001047: PUSH2 0x37ba
0000104a: JUMP
0000104b: JUMPDEST
0000104c: PUSH2 0x1054
0000104f: PUSH1 0x01
00001051: DUP1
00001052: SSTORE
00001053: JUMP
00001054: JUMPDEST
00001055: POP
00001056: POP
00001057: POP
00001058: POP
00001059: POP
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH2 0x1063
0000105f: PUSH2 0x2959
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH2 0x106b
00001067: PUSH2 0x29b8
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: PUSH4 0x0bb18f5f
00001074: PUSH1 0xe2
00001076: SHL
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x01
0000107b: PUSH1 0x01
0000107d: PUSH1 0xa0
0000107f: SHL
00001080: SUB
00001081: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
000010a2: AND
000010a3: SWAP1
000010a4: PUSH4 0x2ec63d7c
000010a9: SWAP1
000010aa: PUSH2 0x10b7
000010ad: SWAP1
000010ae: DUP11
000010af: SWAP1
000010b0: PUSH1 0x04
000010b2: ADD
000010b3: PUSH2 0x2f91
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x20
000010ba: PUSH1 0x40
000010bc: MLOAD
000010bd: DUP1
000010be: DUP4
000010bf: SUB
000010c0: DUP2
000010c1: DUP7
000010c2: GAS
000010c3: STATICCALL
000010c4: ISZERO
000010c5: DUP1
000010c6: ISZERO
000010c7: PUSH2 0x10d4
000010ca: JUMPI
000010cb: RETURNDATASIZE
000010cc: PUSH1 0x00
000010ce: DUP1
000010cf: RETURNDATACOPY
000010d0: RETURNDATASIZE
000010d1: PUSH1 0x00
000010d3: REVERT
000010d4: JUMPDEST
000010d5: POP
000010d6: POP
000010d7: POP
000010d8: POP
000010d9: PUSH1 0x40
000010db: MLOAD
000010dc: RETURNDATASIZE
000010dd: PUSH1 0x1f
000010df: NOT
000010e0: PUSH1 0x1f
000010e2: DUP3
000010e3: ADD
000010e4: AND
000010e5: DUP3
000010e6: ADD
000010e7: DUP1
000010e8: PUSH1 0x40
000010ea: MSTORE
000010eb: POP
000010ec: DUP2
000010ed: ADD
000010ee: SWAP1
000010ef: PUSH2 0x10f8
000010f2: SWAP2
000010f3: SWAP1
000010f4: PUSH2 0x3488
000010f7: JUMP
000010f8: JUMPDEST
000010f9: PUSH2 0x1178
000010fc: JUMPI
000010fd: PUSH1 0x40
000010ff: MLOAD
00001100: PUSH3 0x461bcd
00001104: PUSH1 0xe5
00001106: SHL
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: PUSH1 0x04
0000110d: DUP3
0000110e: ADD
0000110f: MSTORE
00001110: PUSH1 0x44
00001112: PUSH1 0x24
00001114: DUP3
00001115: ADD
00001116: DUP2
00001117: SWAP1
00001118: MSTORE
00001119: PUSH32 0x5a69766f6544414f3a3a707573684d756c746945524337323128292021495a69
0000113a: SWAP1
0000113b: DUP3
0000113c: ADD
0000113d: MSTORE
0000113e: PUSH32 0x766f65476c6f62616c735f44414f2847424c292e69734c6f636b6572286c6f63
0000115f: PUSH1 0x64
00001161: DUP3
00001162: ADD
00001163: MSTORE
00001164: PUSH4 0x6b657229
00001169: PUSH1 0xe0
0000116b: SHL
0000116c: PUSH1 0x84
0000116e: DUP3
0000116f: ADD
00001170: MSTORE
00001171: PUSH1 0xa4
00001173: ADD
00001174: PUSH2 0x0445
00001177: JUMP
00001178: JUMPDEST
00001179: DUP5
0000117a: DUP4
0000117b: EQ
0000117c: PUSH2 0x11ec
0000117f: JUMPI
00001180: PUSH1 0x40
00001182: MLOAD
00001183: PUSH3 0x461bcd
00001187: PUSH1 0xe5
00001189: SHL
0000118a: DUP2
0000118b: MSTORE
0000118c: PUSH1 0x20
0000118e: PUSH1 0x04
00001190: DUP3
00001191: ADD
00001192: MSTORE
00001193: PUSH1 0x3c
00001195: PUSH1 0x24
00001197: DUP3
00001198: ADD
00001199: MSTORE
0000119a: PUSH32 0x5a69766f6544414f3a3a707573684d756c746945524337323128292061737365
000011bb: PUSH1 0x44
000011bd: DUP3
000011be: ADD
000011bf: MSTORE
000011c0: PUSH28 0x0e8e65cd8cadccee8d040427a40e8ded6cadc92c8e65cd8cadccee8d
000011dd: PUSH1 0x23
000011df: SHL
000011e0: PUSH1 0x64
000011e2: DUP3
000011e3: ADD
000011e4: MSTORE
000011e5: PUSH1 0x84
000011e7: ADD
000011e8: PUSH2 0x0445
000011eb: JUMP
000011ec: JUMPDEST
000011ed: DUP3
000011ee: DUP2
000011ef: EQ
000011f0: PUSH2 0x125e
000011f3: JUMPI
000011f4: PUSH1 0x40
000011f6: MLOAD
000011f7: PUSH3 0x461bcd
000011fb: PUSH1 0xe5
000011fd: SHL
000011fe: DUP2
000011ff: MSTORE
00001200: PUSH1 0x20
00001202: PUSH1 0x04
00001204: DUP3
00001205: ADD
00001206: MSTORE
00001207: PUSH1 0x3a
00001209: PUSH1 0x24
0000120b: DUP3
0000120c: ADD
0000120d: MSTORE
0000120e: PUSH32 0x5a69766f6544414f3a3a707573684d756c7469455243373231282920746f6b65
0000122f: PUSH1 0x44
00001231: DUP3
00001232: ADD
00001233: MSTORE
00001234: PUSH26 0x0dc92c8e65cd8cadccee8d040427a40c8c2e8c25cd8cadccee8d
0000124f: PUSH1 0x33
00001251: SHL
00001252: PUSH1 0x64
00001254: DUP3
00001255: ADD
00001256: MSTORE
00001257: PUSH1 0x84
00001259: ADD
0000125a: PUSH2 0x0445
0000125d: JUMP
0000125e: JUMPDEST
0000125f: DUP7
00001260: PUSH1 0x01
00001262: PUSH1 0x01
00001264: PUSH1 0xa0
00001266: SHL
00001267: SUB
00001268: AND
00001269: PUSH4 0xdd913bdb
0000126e: PUSH1 0x40
00001270: MLOAD
00001271: DUP2
00001272: PUSH4 0xffffffff
00001277: AND
00001278: PUSH1 0xe0
0000127a: SHL
0000127b: DUP2
0000127c: MSTORE
0000127d: PUSH1 0x04
0000127f: ADD
00001280: PUSH1 0x20
00001282: PUSH1 0x40
00001284: MLOAD
00001285: DUP1
00001286: DUP4
00001287: SUB
00001288: DUP2
00001289: DUP7
0000128a: GAS
0000128b: STATICCALL
0000128c: ISZERO
0000128d: DUP1
0000128e: ISZERO
0000128f: PUSH2 0x129c
00001292: JUMPI
00001293: RETURNDATASIZE
00001294: PUSH1 0x00
00001296: DUP1
00001297: RETURNDATACOPY
00001298: RETURNDATASIZE
00001299: PUSH1 0x00
0000129b: REVERT
0000129c: JUMPDEST
0000129d: POP
0000129e: POP
0000129f: POP
000012a0: POP
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: RETURNDATASIZE
000012a5: PUSH1 0x1f
000012a7: NOT
000012a8: PUSH1 0x1f
000012aa: DUP3
000012ab: ADD
000012ac: AND
000012ad: DUP3
000012ae: ADD
000012af: DUP1
000012b0: PUSH1 0x40
000012b2: MSTORE
000012b3: POP
000012b4: DUP2
000012b5: ADD
000012b6: SWAP1
000012b7: PUSH2 0x12c0
000012ba: SWAP2
000012bb: SWAP1
000012bc: PUSH2 0x3488
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH2 0x1340
000012c4: JUMPI
000012c5: PUSH1 0x40
000012c7: MLOAD
000012c8: PUSH3 0x461bcd
000012cc: PUSH1 0xe5
000012ce: SHL
000012cf: DUP2
000012d0: MSTORE
000012d1: PUSH1 0x20
000012d3: PUSH1 0x04
000012d5: DUP3
000012d6: ADD
000012d7: MSTORE
000012d8: PUSH1 0x45
000012da: PUSH1 0x24
000012dc: DUP3
000012dd: ADD
000012de: MSTORE
000012df: PUSH32 0x5a69766f6544414f3a3a707573684d756c746945524337323128292021494c6f
00001300: PUSH1 0x44
00001302: DUP3
00001303: ADD
00001304: MSTORE
00001305: PUSH32 0x636b65725f44414f286c6f636b6572292e63616e507573684d756c7469455243
00001326: PUSH1 0x64
00001328: DUP3
00001329: ADD
0000132a: MSTORE
0000132b: PUSH5 0x3732312829
00001331: PUSH1 0xd8
00001333: SHL
00001334: PUSH1 0x84
00001336: DUP3
00001337: ADD
00001338: MSTORE
00001339: PUSH1 0xa4
0000133b: ADD
0000133c: PUSH2 0x0445
0000133f: JUMP
00001340: JUMPDEST
00001341: PUSH1 0x00
00001343: JUMPDEST
00001344: DUP6
00001345: DUP2
00001346: LT
00001347: ISZERO
00001348: PUSH2 0x1497
0000134b: JUMPI
0000134c: DUP7
0000134d: DUP7
0000134e: DUP3
0000134f: DUP2
00001350: DUP2
00001351: LT
00001352: PUSH2 0x135d
00001355: JUMPI
00001356: PUSH2 0x135d
00001359: PUSH2 0x34aa
0000135c: JUMP
0000135d: JUMPDEST
0000135e: SWAP1
0000135f: POP
00001360: PUSH1 0x20
00001362: MUL
00001363: ADD
00001364: PUSH1 0x20
00001366: DUP2
00001367: ADD
00001368: SWAP1
00001369: PUSH2 0x1372
0000136c: SWAP2
0000136d: SWAP1
0000136e: PUSH2 0x309c
00001371: JUMP
00001372: JUMPDEST
00001373: PUSH1 0x01
00001375: PUSH1 0x01
00001377: PUSH1 0xa0
00001379: SHL
0000137a: SUB
0000137b: AND
0000137c: PUSH4 0x095ea7b3
00001381: DUP10
00001382: DUP8
00001383: DUP8
00001384: DUP6
00001385: DUP2
00001386: DUP2
00001387: LT
00001388: PUSH2 0x1393
0000138b: JUMPI
0000138c: PUSH2 0x1393
0000138f: PUSH2 0x34aa
00001392: JUMP
00001393: JUMPDEST
00001394: SWAP1
00001395: POP
00001396: PUSH1 0x20
00001398: MUL
00001399: ADD
0000139a: CALLDATALOAD
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: DUP4
0000139f: PUSH4 0xffffffff
000013a4: AND
000013a5: PUSH1 0xe0
000013a7: SHL
000013a8: DUP2
000013a9: MSTORE
000013aa: PUSH1 0x04
000013ac: ADD
000013ad: PUSH2 0x13b7
000013b0: SWAP3
000013b1: SWAP2
000013b2: SWAP1
000013b3: PUSH2 0x3752
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x00
000013ba: PUSH1 0x40
000013bc: MLOAD
000013bd: DUP1
000013be: DUP4
000013bf: SUB
000013c0: DUP2
000013c1: PUSH1 0x00
000013c3: DUP8
000013c4: DUP1
000013c5: EXTCODESIZE
000013c6: ISZERO
000013c7: DUP1
000013c8: ISZERO
000013c9: PUSH2 0x13d1
000013cc: JUMPI
000013cd: PUSH1 0x00
000013cf: DUP1
000013d0: REVERT
000013d1: JUMPDEST
000013d2: POP
000013d3: GAS
000013d4: CALL
000013d5: ISZERO
000013d6: DUP1
000013d7: ISZERO
000013d8: PUSH2 0x13e5
000013db: JUMPI
000013dc: RETURNDATASIZE
000013dd: PUSH1 0x00
000013df: DUP1
000013e0: RETURNDATACOPY
000013e1: RETURNDATASIZE
000013e2: PUSH1 0x00
000013e4: REVERT
000013e5: JUMPDEST
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: POP
000013ea: DUP5
000013eb: DUP5
000013ec: DUP3
000013ed: DUP2
000013ee: DUP2
000013ef: LT
000013f0: PUSH2 0x13fb
000013f3: JUMPI
000013f4: PUSH2 0x13fb
000013f7: PUSH2 0x34aa
000013fa: JUMP
000013fb: JUMPDEST
000013fc: SWAP1
000013fd: POP
000013fe: PUSH1 0x20
00001400: MUL
00001401: ADD
00001402: CALLDATALOAD
00001403: DUP8
00001404: DUP8
00001405: DUP4
00001406: DUP2
00001407: DUP2
00001408: LT
00001409: PUSH2 0x1414
0000140c: JUMPI
0000140d: PUSH2 0x1414
00001410: PUSH2 0x34aa
00001413: JUMP
00001414: JUMPDEST
00001415: SWAP1
00001416: POP
00001417: PUSH1 0x20
00001419: MUL
0000141a: ADD
0000141b: PUSH1 0x20
0000141d: DUP2
0000141e: ADD
0000141f: SWAP1
00001420: PUSH2 0x1429
00001423: SWAP2
00001424: SWAP1
00001425: PUSH2 0x309c
00001428: JUMP
00001429: JUMPDEST
0000142a: PUSH1 0x01
0000142c: PUSH1 0x01
0000142e: PUSH1 0xa0
00001430: SHL
00001431: SUB
00001432: AND
00001433: DUP10
00001434: PUSH1 0x01
00001436: PUSH1 0x01
00001438: PUSH1 0xa0
0000143a: SHL
0000143b: SUB
0000143c: AND
0000143d: PUSH1 0x00
0000143f: DUP1
00001440: MLOAD
00001441: PUSH1 0x20
00001443: PUSH2 0x39f5
00001446: DUP4
00001447: CODECOPY
00001448: DUP2
00001449: MLOAD
0000144a: SWAP2
0000144b: MSTORE
0000144c: DUP7
0000144d: DUP7
0000144e: DUP7
0000144f: DUP2
00001450: DUP2
00001451: LT
00001452: PUSH2 0x145d
00001455: JUMPI
00001456: PUSH2 0x145d
00001459: PUSH2 0x34aa
0000145c: JUMP
0000145d: JUMPDEST
0000145e: SWAP1
0000145f: POP
00001460: PUSH1 0x20
00001462: MUL
00001463: DUP2
00001464: ADD
00001465: SWAP1
00001466: PUSH2 0x146f
00001469: SWAP2
0000146a: SWAP1
0000146b: PUSH2 0x34c0
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x40
00001472: MLOAD
00001473: PUSH2 0x147d
00001476: SWAP3
00001477: SWAP2
00001478: SWAP1
00001479: PUSH2 0x373e
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x40
00001480: MLOAD
00001481: DUP1
00001482: SWAP2
00001483: SUB
00001484: SWAP1
00001485: LOG4
00001486: DUP1
00001487: PUSH2 0x148f
0000148a: DUP2
0000148b: PUSH2 0x3568
0000148e: JUMP
0000148f: JUMPDEST
00001490: SWAP2
00001491: POP
00001492: POP
00001493: PUSH2 0x1343
00001496: JUMP
00001497: JUMPDEST
00001498: POP
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: PUSH4 0x02e24af3
000014a1: PUSH1 0xe6
000014a3: SHL
000014a4: DUP2
000014a5: MSTORE
000014a6: PUSH1 0x01
000014a8: PUSH1 0x01
000014aa: PUSH1 0xa0
000014ac: SHL
000014ad: SUB
000014ae: DUP9
000014af: AND
000014b0: SWAP1
000014b1: PUSH4 0xb892bcc0
000014b6: SWAP1
000014b7: PUSH2 0x14ce
000014ba: SWAP1
000014bb: DUP10
000014bc: SWAP1
000014bd: DUP10
000014be: SWAP1
000014bf: DUP10
000014c0: SWAP1
000014c1: DUP10
000014c2: SWAP1
000014c3: DUP10
000014c4: SWAP1
000014c5: DUP10
000014c6: SWAP1
000014c7: PUSH1 0x04
000014c9: ADD
000014ca: PUSH2 0x368d
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH1 0x00
000014d1: PUSH1 0x40
000014d3: MLOAD
000014d4: DUP1
000014d5: DUP4
000014d6: SUB
000014d7: DUP2
000014d8: PUSH1 0x00
000014da: DUP8
000014db: DUP1
000014dc: EXTCODESIZE
000014dd: ISZERO
000014de: DUP1
000014df: ISZERO
000014e0: PUSH2 0x14e8
000014e3: JUMPI
000014e4: PUSH1 0x00
000014e6: DUP1
000014e7: REVERT
000014e8: JUMPDEST
000014e9: POP
000014ea: GAS
000014eb: CALL
000014ec: ISZERO
000014ed: DUP1
000014ee: ISZERO
000014ef: PUSH2 0x14fc
000014f2: JUMPI
000014f3: RETURNDATASIZE
000014f4: PUSH1 0x00
000014f6: DUP1
000014f7: RETURNDATACOPY
000014f8: RETURNDATASIZE
000014f9: PUSH1 0x00
000014fb: REVERT
000014fc: JUMPDEST
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: PUSH1 0x00
00001503: JUMPDEST
00001504: DUP6
00001505: DUP2
00001506: LT
00001507: ISZERO
00001508: PUSH2 0x0c21
0000150b: JUMPI
0000150c: PUSH1 0x00
0000150e: DUP8
0000150f: DUP8
00001510: DUP4
00001511: DUP2
00001512: DUP2
00001513: LT
00001514: PUSH2 0x151f
00001517: JUMPI
00001518: PUSH2 0x151f
0000151b: PUSH2 0x34aa
0000151e: JUMP
0000151f: JUMPDEST
00001520: SWAP1
00001521: POP
00001522: PUSH1 0x20
00001524: MUL
00001525: ADD
00001526: PUSH1 0x20
00001528: DUP2
00001529: ADD
0000152a: SWAP1
0000152b: PUSH2 0x1534
0000152e: SWAP2
0000152f: SWAP1
00001530: PUSH2 0x309c
00001533: JUMP
00001534: JUMPDEST
00001535: PUSH1 0x01
00001537: PUSH1 0x01
00001539: PUSH1 0xa0
0000153b: SHL
0000153c: SUB
0000153d: AND
0000153e: PUSH4 0x081812fc
00001543: DUP8
00001544: DUP8
00001545: DUP6
00001546: DUP2
00001547: DUP2
00001548: LT
00001549: PUSH2 0x1554
0000154c: JUMPI
0000154d: PUSH2 0x1554
00001550: PUSH2 0x34aa
00001553: JUMP
00001554: JUMPDEST
00001555: SWAP1
00001556: POP
00001557: PUSH1 0x20
00001559: MUL
0000155a: ADD
0000155b: CALLDATALOAD
0000155c: PUSH1 0x40
0000155e: MLOAD
0000155f: DUP3
00001560: PUSH4 0xffffffff
00001565: AND
00001566: PUSH1 0xe0
00001568: SHL
00001569: DUP2
0000156a: MSTORE
0000156b: PUSH1 0x04
0000156d: ADD
0000156e: PUSH2 0x1579
00001571: SWAP2
00001572: DUP2
00001573: MSTORE
00001574: PUSH1 0x20
00001576: ADD
00001577: SWAP1
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x20
0000157c: PUSH1 0x40
0000157e: MLOAD
0000157f: DUP1
00001580: DUP4
00001581: SUB
00001582: DUP2
00001583: DUP7
00001584: GAS
00001585: STATICCALL
00001586: ISZERO
00001587: DUP1
00001588: ISZERO
00001589: PUSH2 0x1596
0000158c: JUMPI
0000158d: RETURNDATASIZE
0000158e: PUSH1 0x00
00001590: DUP1
00001591: RETURNDATACOPY
00001592: RETURNDATASIZE
00001593: PUSH1 0x00
00001595: REVERT
00001596: JUMPDEST
00001597: POP
00001598: POP
00001599: POP
0000159a: POP
0000159b: PUSH1 0x40
0000159d: MLOAD
0000159e: RETURNDATASIZE
0000159f: PUSH1 0x1f
000015a1: NOT
000015a2: PUSH1 0x1f
000015a4: DUP3
000015a5: ADD
000015a6: AND
000015a7: DUP3
000015a8: ADD
000015a9: DUP1
000015aa: PUSH1 0x40
000015ac: MSTORE
000015ad: POP
000015ae: DUP2
000015af: ADD
000015b0: SWAP1
000015b1: PUSH2 0x15ba
000015b4: SWAP2
000015b5: SWAP1
000015b6: PUSH2 0x379d
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH1 0x01
000015bd: PUSH1 0x01
000015bf: PUSH1 0xa0
000015c1: SHL
000015c2: SUB
000015c3: AND
000015c4: EQ
000015c5: PUSH2 0x15d0
000015c8: JUMPI
000015c9: PUSH2 0x15d0
000015cc: PUSH2 0x37ba
000015cf: JUMP
000015d0: JUMPDEST
000015d1: DUP1
000015d2: PUSH2 0x15da
000015d5: DUP2
000015d6: PUSH2 0x3568
000015d9: JUMP
000015da: JUMPDEST
000015db: SWAP2
000015dc: POP
000015dd: POP
000015de: PUSH2 0x1503
000015e1: JUMP
000015e2: JUMPDEST
000015e3: PUSH2 0x15ea
000015e6: PUSH2 0x2959
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x00
000015ed: SLOAD
000015ee: PUSH1 0x01
000015f0: PUSH1 0xa0
000015f2: SHL
000015f3: SWAP1
000015f4: DIV
000015f5: PUSH1 0xff
000015f7: AND
000015f8: ISZERO
000015f9: PUSH2 0x1614
000015fc: JUMPI
000015fd: PUSH1 0x40
000015ff: MLOAD
00001600: PUSH3 0x461bcd
00001604: PUSH1 0xe5
00001606: SHL
00001607: DUP2
00001608: MSTORE
00001609: PUSH1 0x04
0000160b: ADD
0000160c: PUSH2 0x0445
0000160f: SWAP1
00001610: PUSH2 0x3709
00001613: JUMP
00001614: JUMPDEST
00001615: PUSH2 0x161e
00001618: PUSH1 0x00
0000161a: PUSH2 0x2be1
0000161d: JUMP
0000161e: JUMPDEST
0000161f: JUMP
00001620: JUMPDEST
00001621: PUSH2 0x1628
00001624: PUSH2 0x2959
00001627: JUMP
00001628: JUMPDEST
00001629: PUSH2 0x1630
0000162c: PUSH2 0x29b8
0000162f: JUMP
00001630: JUMPDEST
00001631: DUP8
00001632: PUSH1 0x01
00001634: PUSH1 0x01
00001636: PUSH1 0xa0
00001638: SHL
00001639: SUB
0000163a: AND
0000163b: PUSH4 0xb0607cf8
00001640: PUSH1 0x40
00001642: MLOAD
00001643: DUP2
00001644: PUSH4 0xffffffff
00001649: AND
0000164a: PUSH1 0xe0
0000164c: SHL
0000164d: DUP2
0000164e: MSTORE
0000164f: PUSH1 0x04
00001651: ADD
00001652: PUSH1 0x20
00001654: PUSH1 0x40
00001656: MLOAD
00001657: DUP1
00001658: DUP4
00001659: SUB
0000165a: DUP2
0000165b: DUP7
0000165c: GAS
0000165d: STATICCALL
0000165e: ISZERO
0000165f: DUP1
00001660: ISZERO
00001661: PUSH2 0x166e
00001664: JUMPI
00001665: RETURNDATASIZE
00001666: PUSH1 0x00
00001668: DUP1
00001669: RETURNDATACOPY
0000166a: RETURNDATASIZE
0000166b: PUSH1 0x00
0000166d: REVERT
0000166e: JUMPDEST
0000166f: POP
00001670: POP
00001671: POP
00001672: POP
00001673: PUSH1 0x40
00001675: MLOAD
00001676: RETURNDATASIZE
00001677: PUSH1 0x1f
00001679: NOT
0000167a: PUSH1 0x1f
0000167c: DUP3
0000167d: ADD
0000167e: AND
0000167f: DUP3
00001680: ADD
00001681: DUP1
00001682: PUSH1 0x40
00001684: MSTORE
00001685: POP
00001686: DUP2
00001687: ADD
00001688: SWAP1
00001689: PUSH2 0x1692
0000168c: SWAP2
0000168d: SWAP1
0000168e: PUSH2 0x3488
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH2 0x1704
00001696: JUMPI
00001697: PUSH1 0x40
00001699: MLOAD
0000169a: PUSH3 0x461bcd
0000169e: PUSH1 0xe5
000016a0: SHL
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x20
000016a5: PUSH1 0x04
000016a7: DUP3
000016a8: ADD
000016a9: MSTORE
000016aa: PUSH1 0x3d
000016ac: PUSH1 0x24
000016ae: DUP3
000016af: ADD
000016b0: MSTORE
000016b1: PUSH32 0x5a69766f6544414f3a3a70756c6c4552433131353528292021494c6f636b6572
000016d2: PUSH1 0x44
000016d4: DUP3
000016d5: ADD
000016d6: MSTORE
000016d7: PUSH32 0x5f44414f286c6f636b6572292e63616e50756c6c455243313135352829000000
000016f8: PUSH1 0x64
000016fa: DUP3
000016fb: ADD
000016fc: MSTORE
000016fd: PUSH1 0x84
000016ff: ADD
00001700: PUSH2 0x0445
00001703: JUMP
00001704: JUMPDEST
00001705: DUP5
00001706: DUP4
00001707: EQ
00001708: PUSH2 0x1770
0000170b: JUMPI
0000170c: PUSH1 0x40
0000170e: MLOAD
0000170f: PUSH3 0x461bcd
00001713: PUSH1 0xe5
00001715: SHL
00001716: DUP2
00001717: MSTORE
00001718: PUSH1 0x20
0000171a: PUSH1 0x04
0000171c: DUP3
0000171d: ADD
0000171e: MSTORE
0000171f: PUSH1 0x34
00001721: PUSH1 0x24
00001723: DUP3
00001724: ADD
00001725: MSTORE
00001726: PUSH32 0x5a69766f6544414f3a3a70756c6c455243313135352829206964732e6c656e67
00001747: PUSH1 0x44
00001749: DUP3
0000174a: ADD
0000174b: MSTORE
0000174c: PUSH20 0x0e8d040427a40c2dadeeadce8e65cd8cadccee8d
00001761: PUSH1 0x63
00001763: SHL
00001764: PUSH1 0x64
00001766: DUP3
00001767: ADD
00001768: MSTORE
00001769: PUSH1 0x84
0000176b: ADD
0000176c: PUSH2 0x0445
0000176f: JUMP
00001770: JUMPDEST
00001771: DUP7
00001772: PUSH1 0x01
00001774: PUSH1 0x01
00001776: PUSH1 0xa0
00001778: SHL
00001779: SUB
0000177a: AND
0000177b: DUP9
0000177c: PUSH1 0x01
0000177e: PUSH1 0x01
00001780: PUSH1 0xa0
00001782: SHL
00001783: SUB
00001784: AND
00001785: PUSH32 0xb84de6f38f3772af791fe710e181e9fae3fdfbe871593408d624cefdc818e5e4
000017a6: DUP9
000017a7: DUP9
000017a8: DUP9
000017a9: DUP9
000017aa: DUP9
000017ab: DUP9
000017ac: PUSH1 0x40
000017ae: MLOAD
000017af: PUSH2 0x17bd
000017b2: SWAP7
000017b3: SWAP6
000017b4: SWAP5
000017b5: SWAP4
000017b6: SWAP3
000017b7: SWAP2
000017b8: SWAP1
000017b9: PUSH2 0x37d0
000017bc: JUMP
000017bd: JUMPDEST
000017be: PUSH1 0x40
000017c0: MLOAD
000017c1: DUP1
000017c2: SWAP2
000017c3: SUB
000017c4: SWAP1
000017c5: LOG3
000017c6: PUSH1 0x40
000017c8: MLOAD
000017c9: PUSH4 0x08456403
000017ce: PUSH1 0xe3
000017d0: SHL
000017d1: DUP2
000017d2: MSTORE
000017d3: PUSH1 0x01
000017d5: PUSH1 0x01
000017d7: PUSH1 0xa0
000017d9: SHL
000017da: SUB
000017db: DUP10
000017dc: AND
000017dd: SWAP1
000017de: PUSH4 0x422b2018
000017e3: SWAP1
000017e4: PUSH2 0x17fd
000017e7: SWAP1
000017e8: DUP11
000017e9: SWAP1
000017ea: DUP11
000017eb: SWAP1
000017ec: DUP11
000017ed: SWAP1
000017ee: DUP11
000017ef: SWAP1
000017f0: DUP11
000017f1: SWAP1
000017f2: DUP11
000017f3: SWAP1
000017f4: DUP11
000017f5: SWAP1
000017f6: PUSH1 0x04
000017f8: ADD
000017f9: PUSH2 0x380c
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH1 0x00
00001800: PUSH1 0x40
00001802: MLOAD
00001803: DUP1
00001804: DUP4
00001805: SUB
00001806: DUP2
00001807: PUSH1 0x00
00001809: DUP8
0000180a: DUP1
0000180b: EXTCODESIZE
0000180c: ISZERO
0000180d: DUP1
0000180e: ISZERO
0000180f: PUSH2 0x1817
00001812: JUMPI
00001813: PUSH1 0x00
00001815: DUP1
00001816: REVERT
00001817: JUMPDEST
00001818: POP
00001819: GAS
0000181a: CALL
0000181b: ISZERO
0000181c: DUP1
0000181d: ISZERO
0000181e: PUSH2 0x182b
00001821: JUMPI
00001822: RETURNDATASIZE
00001823: PUSH1 0x00
00001825: DUP1
00001826: RETURNDATACOPY
00001827: RETURNDATASIZE
00001828: PUSH1 0x00
0000182a: REVERT
0000182b: JUMPDEST
0000182c: POP
0000182d: POP
0000182e: POP
0000182f: POP
00001830: PUSH2 0x1838
00001833: PUSH1 0x01
00001835: DUP1
00001836: SSTORE
00001837: JUMP
00001838: JUMPDEST
00001839: POP
0000183a: POP
0000183b: POP
0000183c: POP
0000183d: POP
0000183e: POP
0000183f: POP
00001840: POP
00001841: JUMP
00001842: JUMPDEST
00001843: PUSH2 0x184a
00001846: PUSH2 0x2959
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH2 0x1852
0000184e: PUSH2 0x29b8
00001851: JUMP
00001852: JUMPDEST
00001853: PUSH1 0x40
00001855: MLOAD
00001856: PUSH4 0x0bb18f5f
0000185b: PUSH1 0xe2
0000185d: SHL
0000185e: DUP2
0000185f: MSTORE
00001860: PUSH1 0x01
00001862: PUSH1 0x01
00001864: PUSH1 0xa0
00001866: SHL
00001867: SUB
00001868: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
00001889: AND
0000188a: SWAP1
0000188b: PUSH4 0x2ec63d7c
00001890: SWAP1
00001891: PUSH2 0x189e
00001894: SWAP1
00001895: DUP12
00001896: SWAP1
00001897: PUSH1 0x04
00001899: ADD
0000189a: PUSH2 0x2f91
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH1 0x20
000018a1: PUSH1 0x40
000018a3: MLOAD
000018a4: DUP1
000018a5: DUP4
000018a6: SUB
000018a7: DUP2
000018a8: DUP7
000018a9: GAS
000018aa: STATICCALL
000018ab: ISZERO
000018ac: DUP1
000018ad: ISZERO
000018ae: PUSH2 0x18bb
000018b1: JUMPI
000018b2: RETURNDATASIZE
000018b3: PUSH1 0x00
000018b5: DUP1
000018b6: RETURNDATACOPY
000018b7: RETURNDATASIZE
000018b8: PUSH1 0x00
000018ba: REVERT
000018bb: JUMPDEST
000018bc: POP
000018bd: POP
000018be: POP
000018bf: POP
000018c0: PUSH1 0x40
000018c2: MLOAD
000018c3: RETURNDATASIZE
000018c4: PUSH1 0x1f
000018c6: NOT
000018c7: PUSH1 0x1f
000018c9: DUP3
000018ca: ADD
000018cb: AND
000018cc: DUP3
000018cd: ADD
000018ce: DUP1
000018cf: PUSH1 0x40
000018d1: MSTORE
000018d2: POP
000018d3: DUP2
000018d4: ADD
000018d5: SWAP1
000018d6: PUSH2 0x18df
000018d9: SWAP2
000018da: SWAP1
000018db: PUSH2 0x3488
000018de: JUMP
000018df: JUMPDEST
000018e0: PUSH2 0x1953
000018e3: JUMPI
000018e4: PUSH1 0x40
000018e6: DUP1
000018e7: MLOAD
000018e8: PUSH3 0x461bcd
000018ec: PUSH1 0xe5
000018ee: SHL
000018ef: DUP2
000018f0: MSTORE
000018f1: PUSH1 0x20
000018f3: PUSH1 0x04
000018f5: DUP3
000018f6: ADD
000018f7: MSTORE
000018f8: PUSH1 0x24
000018fa: DUP2
000018fb: ADD
000018fc: SWAP2
000018fd: SWAP1
000018fe: SWAP2
000018ff: MSTORE
00001900: PUSH32 0x5a69766f6544414f3a3a707573684552433131353528292021495a69766f6547
00001921: PUSH1 0x44
00001923: DUP3
00001924: ADD
00001925: MSTORE
00001926: PUSH32 0x6c6f62616c735f44414f2847424c292e69734c6f636b6572286c6f636b657229
00001947: PUSH1 0x64
00001949: DUP3
0000194a: ADD
0000194b: MSTORE
0000194c: PUSH1 0x84
0000194e: ADD
0000194f: PUSH2 0x0445
00001952: JUMP
00001953: JUMPDEST
00001954: DUP8
00001955: PUSH1 0x01
00001957: PUSH1 0x01
00001959: PUSH1 0xa0
0000195b: SHL
0000195c: SUB
0000195d: AND
0000195e: PUSH4 0xcf10b7ab
00001963: PUSH1 0x40
00001965: MLOAD
00001966: DUP2
00001967: PUSH4 0xffffffff
0000196c: AND
0000196d: PUSH1 0xe0
0000196f: SHL
00001970: DUP2
00001971: MSTORE
00001972: PUSH1 0x04
00001974: ADD
00001975: PUSH1 0x20
00001977: PUSH1 0x40
00001979: MLOAD
0000197a: DUP1
0000197b: DUP4
0000197c: SUB
0000197d: DUP2
0000197e: DUP7
0000197f: GAS
00001980: STATICCALL
00001981: ISZERO
00001982: DUP1
00001983: ISZERO
00001984: PUSH2 0x1991
00001987: JUMPI
00001988: RETURNDATASIZE
00001989: PUSH1 0x00
0000198b: DUP1
0000198c: RETURNDATACOPY
0000198d: RETURNDATASIZE
0000198e: PUSH1 0x00
00001990: REVERT
00001991: JUMPDEST
00001992: POP
00001993: POP
00001994: POP
00001995: POP
00001996: PUSH1 0x40
00001998: MLOAD
00001999: RETURNDATASIZE
0000199a: PUSH1 0x1f
0000199c: NOT
0000199d: PUSH1 0x1f
0000199f: DUP3
000019a0: ADD
000019a1: AND
000019a2: DUP3
000019a3: ADD
000019a4: DUP1
000019a5: PUSH1 0x40
000019a7: MSTORE
000019a8: POP
000019a9: DUP2
000019aa: ADD
000019ab: SWAP1
000019ac: PUSH2 0x19b5
000019af: SWAP2
000019b0: SWAP1
000019b1: PUSH2 0x3488
000019b4: JUMP
000019b5: JUMPDEST
000019b6: PUSH2 0x1a27
000019b9: JUMPI
000019ba: PUSH1 0x40
000019bc: MLOAD
000019bd: PUSH3 0x461bcd
000019c1: PUSH1 0xe5
000019c3: SHL
000019c4: DUP2
000019c5: MSTORE
000019c6: PUSH1 0x20
000019c8: PUSH1 0x04
000019ca: DUP3
000019cb: ADD
000019cc: MSTORE
000019cd: PUSH1 0x3d
000019cf: PUSH1 0x24
000019d1: DUP3
000019d2: ADD
000019d3: MSTORE
000019d4: PUSH32 0x5a69766f6544414f3a3a707573684552433131353528292021494c6f636b6572
000019f5: PUSH1 0x44
000019f7: DUP3
000019f8: ADD
000019f9: MSTORE
000019fa: PUSH32 0x5f44414f286c6f636b6572292e63616e50757368455243313135352829000000
00001a1b: PUSH1 0x64
00001a1d: DUP3
00001a1e: ADD
00001a1f: MSTORE
00001a20: PUSH1 0x84
00001a22: ADD
00001a23: PUSH2 0x0445
00001a26: JUMP
00001a27: JUMPDEST
00001a28: DUP5
00001a29: DUP4
00001a2a: EQ
00001a2b: PUSH2 0x1a93
00001a2e: JUMPI
00001a2f: PUSH1 0x40
00001a31: MLOAD
00001a32: PUSH3 0x461bcd
00001a36: PUSH1 0xe5
00001a38: SHL
00001a39: DUP2
00001a3a: MSTORE
00001a3b: PUSH1 0x20
00001a3d: PUSH1 0x04
00001a3f: DUP3
00001a40: ADD
00001a41: MSTORE
00001a42: PUSH1 0x34
00001a44: PUSH1 0x24
00001a46: DUP3
00001a47: ADD
00001a48: MSTORE
00001a49: PUSH32 0x5a69766f6544414f3a3a70757368455243313135352829206964732e6c656e67
00001a6a: PUSH1 0x44
00001a6c: DUP3
00001a6d: ADD
00001a6e: MSTORE
00001a6f: PUSH20 0x0e8d040427a40c2dadeeadce8e65cd8cadccee8d
00001a84: PUSH1 0x63
00001a86: SHL
00001a87: PUSH1 0x64
00001a89: DUP3
00001a8a: ADD
00001a8b: MSTORE
00001a8c: PUSH1 0x84
00001a8e: ADD
00001a8f: PUSH2 0x0445
00001a92: JUMP
00001a93: JUMPDEST
00001a94: DUP7
00001a95: PUSH1 0x01
00001a97: PUSH1 0x01
00001a99: PUSH1 0xa0
00001a9b: SHL
00001a9c: SUB
00001a9d: AND
00001a9e: DUP9
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0xa0
00001aa5: SHL
00001aa6: SUB
00001aa7: AND
00001aa8: PUSH32 0x57fb18048adcacd0dbc30815547d4f9d7c564e0e63dfa2a2b27999bcf941bbe0
00001ac9: DUP9
00001aca: DUP9
00001acb: DUP9
00001acc: DUP9
00001acd: DUP9
00001ace: DUP9
00001acf: PUSH1 0x40
00001ad1: MLOAD
00001ad2: PUSH2 0x1ae0
00001ad5: SWAP7
00001ad6: SWAP6
00001ad7: SWAP5
00001ad8: SWAP4
00001ad9: SWAP3
00001ada: SWAP2
00001adb: SWAP1
00001adc: PUSH2 0x37d0
00001adf: JUMP
00001ae0: JUMPDEST
00001ae1: PUSH1 0x40
00001ae3: MLOAD
00001ae4: DUP1
00001ae5: SWAP2
00001ae6: SUB
00001ae7: SWAP1
00001ae8: LOG3
00001ae9: PUSH1 0x40
00001aeb: MLOAD
00001aec: PUSH4 0xa22cb465
00001af1: PUSH1 0xe0
00001af3: SHL
00001af4: DUP2
00001af5: MSTORE
00001af6: PUSH1 0x01
00001af8: PUSH1 0x01
00001afa: PUSH1 0xa0
00001afc: SHL
00001afd: SUB
00001afe: DUP9
00001aff: AND
00001b00: SWAP1
00001b01: PUSH4 0xa22cb465
00001b06: SWAP1
00001b07: PUSH2 0x1b17
00001b0a: SWAP1
00001b0b: DUP12
00001b0c: SWAP1
00001b0d: PUSH1 0x01
00001b0f: SWAP1
00001b10: PUSH1 0x04
00001b12: ADD
00001b13: PUSH2 0x3867
00001b16: JUMP
00001b17: JUMPDEST
00001b18: PUSH1 0x00
00001b1a: PUSH1 0x40
00001b1c: MLOAD
00001b1d: DUP1
00001b1e: DUP4
00001b1f: SUB
00001b20: DUP2
00001b21: PUSH1 0x00
00001b23: DUP8
00001b24: DUP1
00001b25: EXTCODESIZE
00001b26: ISZERO
00001b27: DUP1
00001b28: ISZERO
00001b29: PUSH2 0x1b31
00001b2c: JUMPI
00001b2d: PUSH1 0x00
00001b2f: DUP1
00001b30: REVERT
00001b31: JUMPDEST
00001b32: POP
00001b33: GAS
00001b34: CALL
00001b35: ISZERO
00001b36: DUP1
00001b37: ISZERO
00001b38: PUSH2 0x1b45
00001b3b: JUMPI
00001b3c: RETURNDATASIZE
00001b3d: PUSH1 0x00
00001b3f: DUP1
00001b40: RETURNDATACOPY
00001b41: RETURNDATASIZE
00001b42: PUSH1 0x00
00001b44: REVERT
00001b45: JUMPDEST
00001b46: POP
00001b47: POP
00001b48: PUSH1 0x40
00001b4a: MLOAD
00001b4b: PUSH4 0xfd76f59d
00001b50: PUSH1 0xe0
00001b52: SHL
00001b53: DUP2
00001b54: MSTORE
00001b55: PUSH1 0x01
00001b57: PUSH1 0x01
00001b59: PUSH1 0xa0
00001b5b: SHL
00001b5c: SUB
00001b5d: DUP12
00001b5e: AND
00001b5f: SWAP3
00001b60: POP
00001b61: PUSH4 0xfd76f59d
00001b66: SWAP2
00001b67: POP
00001b68: PUSH2 0x1b81
00001b6b: SWAP1
00001b6c: DUP11
00001b6d: SWAP1
00001b6e: DUP11
00001b6f: SWAP1
00001b70: DUP11
00001b71: SWAP1
00001b72: DUP11
00001b73: SWAP1
00001b74: DUP11
00001b75: SWAP1
00001b76: DUP11
00001b77: SWAP1
00001b78: DUP11
00001b79: SWAP1
00001b7a: PUSH1 0x04
00001b7c: ADD
00001b7d: PUSH2 0x380c
00001b80: JUMP
00001b81: JUMPDEST
00001b82: PUSH1 0x00
00001b84: PUSH1 0x40
00001b86: MLOAD
00001b87: DUP1
00001b88: DUP4
00001b89: SUB
00001b8a: DUP2
00001b8b: PUSH1 0x00
00001b8d: DUP8
00001b8e: DUP1
00001b8f: EXTCODESIZE
00001b90: ISZERO
00001b91: DUP1
00001b92: ISZERO
00001b93: PUSH2 0x1b9b
00001b96: JUMPI
00001b97: PUSH1 0x00
00001b99: DUP1
00001b9a: REVERT
00001b9b: JUMPDEST
00001b9c: POP
00001b9d: GAS
00001b9e: CALL
00001b9f: ISZERO
00001ba0: DUP1
00001ba1: ISZERO
00001ba2: PUSH2 0x1baf
00001ba5: JUMPI
00001ba6: RETURNDATASIZE
00001ba7: PUSH1 0x00
00001ba9: DUP1
00001baa: RETURNDATACOPY
00001bab: RETURNDATASIZE
00001bac: PUSH1 0x00
00001bae: REVERT
00001baf: JUMPDEST
00001bb0: POP
00001bb1: POP
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: PUSH4 0xa22cb465
00001bba: PUSH1 0xe0
00001bbc: SHL
00001bbd: DUP2
00001bbe: MSTORE
00001bbf: PUSH1 0x01
00001bc1: PUSH1 0x01
00001bc3: PUSH1 0xa0
00001bc5: SHL
00001bc6: SUB
00001bc7: DUP11
00001bc8: AND
00001bc9: SWAP3
00001bca: POP
00001bcb: PUSH4 0xa22cb465
00001bd0: SWAP2
00001bd1: POP
00001bd2: PUSH2 0x17fd
00001bd5: SWAP1
00001bd6: DUP12
00001bd7: SWAP1
00001bd8: PUSH1 0x00
00001bda: SWAP1
00001bdb: PUSH1 0x04
00001bdd: ADD
00001bde: PUSH2 0x3867
00001be1: JUMP
00001be2: JUMPDEST
00001be3: PUSH2 0x1bea
00001be6: PUSH2 0x2959
00001be9: JUMP
00001bea: JUMPDEST
00001beb: PUSH2 0x1bf2
00001bee: PUSH2 0x29b8
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: DUP7
00001bf4: PUSH1 0x01
00001bf6: PUSH1 0x01
00001bf8: PUSH1 0xa0
00001bfa: SHL
00001bfb: SUB
00001bfc: AND
00001bfd: PUSH4 0x1852b383
00001c02: PUSH1 0x40
00001c04: MLOAD
00001c05: DUP2
00001c06: PUSH4 0xffffffff
00001c0b: AND
00001c0c: PUSH1 0xe0
00001c0e: SHL
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x04
00001c13: ADD
00001c14: PUSH1 0x20
00001c16: PUSH1 0x40
00001c18: MLOAD
00001c19: DUP1
00001c1a: DUP4
00001c1b: SUB
00001c1c: DUP2
00001c1d: DUP7
00001c1e: GAS
00001c1f: STATICCALL
00001c20: ISZERO
00001c21: DUP1
00001c22: ISZERO
00001c23: PUSH2 0x1c30
00001c26: JUMPI
00001c27: RETURNDATASIZE
00001c28: PUSH1 0x00
00001c2a: DUP1
00001c2b: RETURNDATACOPY
00001c2c: RETURNDATASIZE
00001c2d: PUSH1 0x00
00001c2f: REVERT
00001c30: JUMPDEST
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: POP
00001c35: PUSH1 0x40
00001c37: MLOAD
00001c38: RETURNDATASIZE
00001c39: PUSH1 0x1f
00001c3b: NOT
00001c3c: PUSH1 0x1f
00001c3e: DUP3
00001c3f: ADD
00001c40: AND
00001c41: DUP3
00001c42: ADD
00001c43: DUP1
00001c44: PUSH1 0x40
00001c46: MSTORE
00001c47: POP
00001c48: DUP2
00001c49: ADD
00001c4a: SWAP1
00001c4b: PUSH2 0x1c54
00001c4e: SWAP2
00001c4f: SWAP1
00001c50: PUSH2 0x3488
00001c53: JUMP
00001c54: JUMPDEST
00001c55: PUSH2 0x1cd4
00001c58: JUMPI
00001c59: PUSH1 0x40
00001c5b: MLOAD
00001c5c: PUSH3 0x461bcd
00001c60: PUSH1 0xe5
00001c62: SHL
00001c63: DUP2
00001c64: MSTORE
00001c65: PUSH1 0x20
00001c67: PUSH1 0x04
00001c69: DUP3
00001c6a: ADD
00001c6b: MSTORE
00001c6c: PUSH1 0x45
00001c6e: PUSH1 0x24
00001c70: DUP3
00001c71: ADD
00001c72: MSTORE
00001c73: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c746945524337323128292021494c6f
00001c94: PUSH1 0x44
00001c96: DUP3
00001c97: ADD
00001c98: MSTORE
00001c99: PUSH32 0x636b65725f44414f286c6f636b6572292e63616e50756c6c4d756c7469455243
00001cba: PUSH1 0x64
00001cbc: DUP3
00001cbd: ADD
00001cbe: MSTORE
00001cbf: PUSH5 0x3732312829
00001cc5: PUSH1 0xd8
00001cc7: SHL
00001cc8: PUSH1 0x84
00001cca: DUP3
00001ccb: ADD
00001ccc: MSTORE
00001ccd: PUSH1 0xa4
00001ccf: ADD
00001cd0: PUSH2 0x0445
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: DUP5
00001cd6: DUP4
00001cd7: EQ
00001cd8: PUSH2 0x1d48
00001cdb: JUMPI
00001cdc: PUSH1 0x40
00001cde: MLOAD
00001cdf: PUSH3 0x461bcd
00001ce3: PUSH1 0xe5
00001ce5: SHL
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x20
00001cea: PUSH1 0x04
00001cec: DUP3
00001ced: ADD
00001cee: MSTORE
00001cef: PUSH1 0x3c
00001cf1: PUSH1 0x24
00001cf3: DUP3
00001cf4: ADD
00001cf5: MSTORE
00001cf6: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c746945524337323128292061737365
00001d17: PUSH1 0x44
00001d19: DUP3
00001d1a: ADD
00001d1b: MSTORE
00001d1c: PUSH28 0x0e8e65cd8cadccee8d040427a40e8ded6cadc92c8e65cd8cadccee8d
00001d39: PUSH1 0x23
00001d3b: SHL
00001d3c: PUSH1 0x64
00001d3e: DUP3
00001d3f: ADD
00001d40: MSTORE
00001d41: PUSH1 0x84
00001d43: ADD
00001d44: PUSH2 0x0445
00001d47: JUMP
00001d48: JUMPDEST
00001d49: DUP3
00001d4a: DUP2
00001d4b: EQ
00001d4c: PUSH2 0x1dba
00001d4f: JUMPI
00001d50: PUSH1 0x40
00001d52: MLOAD
00001d53: PUSH3 0x461bcd
00001d57: PUSH1 0xe5
00001d59: SHL
00001d5a: DUP2
00001d5b: MSTORE
00001d5c: PUSH1 0x20
00001d5e: PUSH1 0x04
00001d60: DUP3
00001d61: ADD
00001d62: MSTORE
00001d63: PUSH1 0x3a
00001d65: PUSH1 0x24
00001d67: DUP3
00001d68: ADD
00001d69: MSTORE
00001d6a: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c7469455243373231282920746f6b65
00001d8b: PUSH1 0x44
00001d8d: DUP3
00001d8e: ADD
00001d8f: MSTORE
00001d90: PUSH26 0x0dc92c8e65cd8cadccee8d040427a40c8c2e8c25cd8cadccee8d
00001dab: PUSH1 0x33
00001dad: SHL
00001dae: PUSH1 0x64
00001db0: DUP3
00001db1: ADD
00001db2: MSTORE
00001db3: PUSH1 0x84
00001db5: ADD
00001db6: PUSH2 0x0445
00001db9: JUMP
00001dba: JUMPDEST
00001dbb: PUSH1 0x00
00001dbd: JUMPDEST
00001dbe: DUP6
00001dbf: DUP2
00001dc0: LT
00001dc1: ISZERO
00001dc2: PUSH2 0x1e73
00001dc5: JUMPI
00001dc6: DUP5
00001dc7: DUP5
00001dc8: DUP3
00001dc9: DUP2
00001dca: DUP2
00001dcb: LT
00001dcc: PUSH2 0x1dd7
00001dcf: JUMPI
00001dd0: PUSH2 0x1dd7
00001dd3: PUSH2 0x34aa
00001dd6: JUMP
00001dd7: JUMPDEST
00001dd8: SWAP1
00001dd9: POP
00001dda: PUSH1 0x20
00001ddc: MUL
00001ddd: ADD
00001dde: CALLDATALOAD
00001ddf: DUP8
00001de0: DUP8
00001de1: DUP4
00001de2: DUP2
00001de3: DUP2
00001de4: LT
00001de5: PUSH2 0x1df0
00001de8: JUMPI
00001de9: PUSH2 0x1df0
00001dec: PUSH2 0x34aa
00001def: JUMP
00001df0: JUMPDEST
00001df1: SWAP1
00001df2: POP
00001df3: PUSH1 0x20
00001df5: MUL
00001df6: ADD
00001df7: PUSH1 0x20
00001df9: DUP2
00001dfa: ADD
00001dfb: SWAP1
00001dfc: PUSH2 0x1e05
00001dff: SWAP2
00001e00: SWAP1
00001e01: PUSH2 0x309c
00001e04: JUMP
00001e05: JUMPDEST
00001e06: PUSH1 0x01
00001e08: PUSH1 0x01
00001e0a: PUSH1 0xa0
00001e0c: SHL
00001e0d: SUB
00001e0e: AND
00001e0f: DUP10
00001e10: PUSH1 0x01
00001e12: PUSH1 0x01
00001e14: PUSH1 0xa0
00001e16: SHL
00001e17: SUB
00001e18: AND
00001e19: PUSH1 0x00
00001e1b: DUP1
00001e1c: MLOAD
00001e1d: PUSH1 0x20
00001e1f: PUSH2 0x3955
00001e22: DUP4
00001e23: CODECOPY
00001e24: DUP2
00001e25: MLOAD
00001e26: SWAP2
00001e27: MSTORE
00001e28: DUP7
00001e29: DUP7
00001e2a: DUP7
00001e2b: DUP2
00001e2c: DUP2
00001e2d: LT
00001e2e: PUSH2 0x1e39
00001e31: JUMPI
00001e32: PUSH2 0x1e39
00001e35: PUSH2 0x34aa
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: SWAP1
00001e3b: POP
00001e3c: PUSH1 0x20
00001e3e: MUL
00001e3f: DUP2
00001e40: ADD
00001e41: SWAP1
00001e42: PUSH2 0x1e4b
00001e45: SWAP2
00001e46: SWAP1
00001e47: PUSH2 0x34c0
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: PUSH1 0x40
00001e4e: MLOAD
00001e4f: PUSH2 0x1e59
00001e52: SWAP3
00001e53: SWAP2
00001e54: SWAP1
00001e55: PUSH2 0x373e
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH1 0x40
00001e5c: MLOAD
00001e5d: DUP1
00001e5e: SWAP2
00001e5f: SUB
00001e60: SWAP1
00001e61: LOG4
00001e62: DUP1
00001e63: PUSH2 0x1e6b
00001e66: DUP2
00001e67: PUSH2 0x3568
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: SWAP2
00001e6d: POP
00001e6e: POP
00001e6f: PUSH2 0x1dbd
00001e72: JUMP
00001e73: JUMPDEST
00001e74: POP
00001e75: PUSH1 0x40
00001e77: MLOAD
00001e78: PUSH4 0x057a61d1
00001e7d: PUSH1 0xe2
00001e7f: SHL
00001e80: DUP2
00001e81: MSTORE
00001e82: PUSH1 0x01
00001e84: PUSH1 0x01
00001e86: PUSH1 0xa0
00001e88: SHL
00001e89: SUB
00001e8a: DUP9
00001e8b: AND
00001e8c: SWAP1
00001e8d: PUSH4 0x15e98744
00001e92: SWAP1
00001e93: PUSH2 0x0625
00001e96: SWAP1
00001e97: DUP10
00001e98: SWAP1
00001e99: DUP10
00001e9a: SWAP1
00001e9b: DUP10
00001e9c: SWAP1
00001e9d: DUP10
00001e9e: SWAP1
00001e9f: DUP10
00001ea0: SWAP1
00001ea1: DUP10
00001ea2: SWAP1
00001ea3: PUSH1 0x04
00001ea5: ADD
00001ea6: PUSH2 0x368d
00001ea9: JUMP
00001eaa: JUMPDEST
00001eab: PUSH1 0x00
00001ead: SLOAD
00001eae: PUSH1 0x01
00001eb0: PUSH1 0x01
00001eb2: PUSH1 0xa0
00001eb4: SHL
00001eb5: SUB
00001eb6: AND
00001eb7: SWAP1
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: PUSH2 0x1ec1
00001ebd: PUSH2 0x2959
00001ec0: JUMP
00001ec1: JUMPDEST
00001ec2: PUSH2 0x1ec9
00001ec5: PUSH2 0x29b8
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: DUP5
00001ecb: PUSH1 0x01
00001ecd: PUSH1 0x01
00001ecf: PUSH1 0xa0
00001ed1: SHL
00001ed2: SUB
00001ed3: AND
00001ed4: PUSH4 0x3c117244
00001ed9: PUSH1 0x40
00001edb: MLOAD
00001edc: DUP2
00001edd: PUSH4 0xffffffff
00001ee2: AND
00001ee3: PUSH1 0xe0
00001ee5: SHL
00001ee6: DUP2
00001ee7: MSTORE
00001ee8: PUSH1 0x04
00001eea: ADD
00001eeb: PUSH1 0x20
00001eed: PUSH1 0x40
00001eef: MLOAD
00001ef0: DUP1
00001ef1: DUP4
00001ef2: SUB
00001ef3: DUP2
00001ef4: DUP7
00001ef5: GAS
00001ef6: STATICCALL
00001ef7: ISZERO
00001ef8: DUP1
00001ef9: ISZERO
00001efa: PUSH2 0x1f07
00001efd: JUMPI
00001efe: RETURNDATASIZE
00001eff: PUSH1 0x00
00001f01: DUP1
00001f02: RETURNDATACOPY
00001f03: RETURNDATASIZE
00001f04: PUSH1 0x00
00001f06: REVERT
00001f07: JUMPDEST
00001f08: POP
00001f09: POP
00001f0a: POP
00001f0b: POP
00001f0c: PUSH1 0x40
00001f0e: MLOAD
00001f0f: RETURNDATASIZE
00001f10: PUSH1 0x1f
00001f12: NOT
00001f13: PUSH1 0x1f
00001f15: DUP3
00001f16: ADD
00001f17: AND
00001f18: DUP3
00001f19: ADD
00001f1a: DUP1
00001f1b: PUSH1 0x40
00001f1d: MSTORE
00001f1e: POP
00001f1f: DUP2
00001f20: ADD
00001f21: SWAP1
00001f22: PUSH2 0x1f2b
00001f25: SWAP2
00001f26: SWAP1
00001f27: PUSH2 0x3488
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: PUSH2 0x1f9b
00001f2f: JUMPI
00001f30: PUSH1 0x40
00001f32: MLOAD
00001f33: PUSH3 0x461bcd
00001f37: PUSH1 0xe5
00001f39: SHL
00001f3a: DUP2
00001f3b: MSTORE
00001f3c: PUSH1 0x20
00001f3e: PUSH1 0x04
00001f40: DUP3
00001f41: ADD
00001f42: MSTORE
00001f43: PUSH1 0x3b
00001f45: PUSH1 0x24
00001f47: DUP3
00001f48: ADD
00001f49: MSTORE
00001f4a: PUSH32 0x5a69766f6544414f3a3a70756c6c45524337323128292021494c6f636b65725f
00001f6b: PUSH1 0x44
00001f6d: DUP3
00001f6e: ADD
00001f6f: MSTORE
00001f70: PUSH27 0x44414f286c6f636b6572292e63616e50756c6c4552433732312829
00001f8c: PUSH1 0x28
00001f8e: SHL
00001f8f: PUSH1 0x64
00001f91: DUP3
00001f92: ADD
00001f93: MSTORE
00001f94: PUSH1 0x84
00001f96: ADD
00001f97: PUSH2 0x0445
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: DUP3
00001f9d: DUP5
00001f9e: PUSH1 0x01
00001fa0: PUSH1 0x01
00001fa2: PUSH1 0xa0
00001fa4: SHL
00001fa5: SUB
00001fa6: AND
00001fa7: DUP7
00001fa8: PUSH1 0x01
00001faa: PUSH1 0x01
00001fac: PUSH1 0xa0
00001fae: SHL
00001faf: SUB
00001fb0: AND
00001fb1: PUSH1 0x00
00001fb3: DUP1
00001fb4: MLOAD
00001fb5: PUSH1 0x20
00001fb7: PUSH2 0x3955
00001fba: DUP4
00001fbb: CODECOPY
00001fbc: DUP2
00001fbd: MLOAD
00001fbe: SWAP2
00001fbf: MSTORE
00001fc0: DUP6
00001fc1: DUP6
00001fc2: PUSH1 0x40
00001fc4: MLOAD
00001fc5: PUSH2 0x1fcf
00001fc8: SWAP3
00001fc9: SWAP2
00001fca: SWAP1
00001fcb: PUSH2 0x373e
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: DUP1
00001fd4: SWAP2
00001fd5: SUB
00001fd6: SWAP1
00001fd7: LOG4
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: PUSH4 0x090290bb
00001fe0: PUSH1 0xe1
00001fe2: SHL
00001fe3: DUP2
00001fe4: MSTORE
00001fe5: PUSH1 0x01
00001fe7: PUSH1 0x01
00001fe9: PUSH1 0xa0
00001feb: SHL
00001fec: SUB
00001fed: DUP7
00001fee: AND
00001fef: SWAP1
00001ff0: PUSH4 0x12052176
00001ff5: SWAP1
00001ff6: PUSH2 0x2009
00001ff9: SWAP1
00001ffa: DUP8
00001ffb: SWAP1
00001ffc: DUP8
00001ffd: SWAP1
00001ffe: DUP8
00001fff: SWAP1
00002000: DUP8
00002001: SWAP1
00002002: PUSH1 0x04
00002004: ADD
00002005: PUSH2 0x376b
00002008: JUMP
00002009: JUMPDEST
0000200a: PUSH1 0x00
0000200c: PUSH1 0x40
0000200e: MLOAD
0000200f: DUP1
00002010: DUP4
00002011: SUB
00002012: DUP2
00002013: PUSH1 0x00
00002015: DUP8
00002016: DUP1
00002017: EXTCODESIZE
00002018: ISZERO
00002019: DUP1
0000201a: ISZERO
0000201b: PUSH2 0x2023
0000201e: JUMPI
0000201f: PUSH1 0x00
00002021: DUP1
00002022: REVERT
00002023: JUMPDEST
00002024: POP
00002025: GAS
00002026: CALL
00002027: ISZERO
00002028: DUP1
00002029: ISZERO
0000202a: PUSH2 0x2037
0000202d: JUMPI
0000202e: RETURNDATASIZE
0000202f: PUSH1 0x00
00002031: DUP1
00002032: RETURNDATACOPY
00002033: RETURNDATASIZE
00002034: PUSH1 0x00
00002036: REVERT
00002037: JUMPDEST
00002038: POP
00002039: POP
0000203a: POP
0000203b: POP
0000203c: PUSH2 0x1054
0000203f: PUSH1 0x01
00002041: DUP1
00002042: SSTORE
00002043: JUMP
00002044: JUMPDEST
00002045: PUSH2 0x204c
00002048: PUSH2 0x2959
0000204b: JUMP
0000204c: JUMPDEST
0000204d: PUSH2 0x2054
00002050: PUSH2 0x29b8
00002053: JUMP
00002054: JUMPDEST
00002055: DUP5
00002056: PUSH1 0x01
00002058: PUSH1 0x01
0000205a: PUSH1 0xa0
0000205c: SHL
0000205d: SUB
0000205e: AND
0000205f: PUSH4 0x3eda81ad
00002064: PUSH1 0x40
00002066: MLOAD
00002067: DUP2
00002068: PUSH4 0xffffffff
0000206d: AND
0000206e: PUSH1 0xe0
00002070: SHL
00002071: DUP2
00002072: MSTORE
00002073: PUSH1 0x04
00002075: ADD
00002076: PUSH1 0x20
00002078: PUSH1 0x40
0000207a: MLOAD
0000207b: DUP1
0000207c: DUP4
0000207d: SUB
0000207e: DUP2
0000207f: DUP7
00002080: GAS
00002081: STATICCALL
00002082: ISZERO
00002083: DUP1
00002084: ISZERO
00002085: PUSH2 0x2092
00002088: JUMPI
00002089: RETURNDATASIZE
0000208a: PUSH1 0x00
0000208c: DUP1
0000208d: RETURNDATACOPY
0000208e: RETURNDATASIZE
0000208f: PUSH1 0x00
00002091: REVERT
00002092: JUMPDEST
00002093: POP
00002094: POP
00002095: POP
00002096: POP
00002097: PUSH1 0x40
00002099: MLOAD
0000209a: RETURNDATASIZE
0000209b: PUSH1 0x1f
0000209d: NOT
0000209e: PUSH1 0x1f
000020a0: DUP3
000020a1: ADD
000020a2: AND
000020a3: DUP3
000020a4: ADD
000020a5: DUP1
000020a6: PUSH1 0x40
000020a8: MSTORE
000020a9: POP
000020aa: DUP2
000020ab: ADD
000020ac: SWAP1
000020ad: PUSH2 0x20b6
000020b0: SWAP2
000020b1: SWAP1
000020b2: PUSH2 0x3488
000020b5: JUMP
000020b6: JUMPDEST
000020b7: PUSH2 0x2124
000020ba: JUMPI
000020bb: PUSH1 0x40
000020bd: MLOAD
000020be: PUSH3 0x461bcd
000020c2: PUSH1 0xe5
000020c4: SHL
000020c5: DUP2
000020c6: MSTORE
000020c7: PUSH1 0x20
000020c9: PUSH1 0x04
000020cb: DUP3
000020cc: ADD
000020cd: MSTORE
000020ce: PUSH1 0x39
000020d0: PUSH1 0x24
000020d2: DUP3
000020d3: ADD
000020d4: MSTORE
000020d5: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c746928292021494c6f636b65725f44
000020f6: PUSH1 0x44
000020f8: DUP3
000020f9: ADD
000020fa: MSTORE
000020fb: PUSH25 0x414f286c6f636b6572292e63616e50756c6c4d756c74692829
00002115: PUSH1 0x38
00002117: SHL
00002118: PUSH1 0x64
0000211a: DUP3
0000211b: ADD
0000211c: MSTORE
0000211d: PUSH1 0x84
0000211f: ADD
00002120: PUSH2 0x0445
00002123: JUMP
00002124: JUMPDEST
00002125: DUP3
00002126: DUP2
00002127: EQ
00002128: PUSH2 0x218e
0000212b: JUMPI
0000212c: PUSH1 0x40
0000212e: MLOAD
0000212f: PUSH3 0x461bcd
00002133: PUSH1 0xe5
00002135: SHL
00002136: DUP2
00002137: MSTORE
00002138: PUSH1 0x20
0000213a: PUSH1 0x04
0000213c: DUP3
0000213d: ADD
0000213e: MSTORE
0000213f: PUSH1 0x32
00002141: PUSH1 0x24
00002143: DUP3
00002144: ADD
00002145: MSTORE
00002146: PUSH32 0x5a69766f6544414f3a3a70756c6c4d756c74692829206173736574732e6c656e
00002167: PUSH1 0x44
00002169: DUP3
0000216a: ADD
0000216b: MSTORE
0000216c: PUSH18 0x0cee8d040427a40c8c2e8c25cd8cadccee8d
0000217f: PUSH1 0x73
00002181: SHL
00002182: PUSH1 0x64
00002184: DUP3
00002185: ADD
00002186: MSTORE
00002187: PUSH1 0x84
00002189: ADD
0000218a: PUSH2 0x0445
0000218d: JUMP
0000218e: JUMPDEST
0000218f: PUSH1 0x00
00002191: JUMPDEST
00002192: DUP4
00002193: DUP2
00002194: LT
00002195: ISZERO
00002196: PUSH2 0x222e
00002199: JUMPI
0000219a: DUP5
0000219b: DUP5
0000219c: DUP3
0000219d: DUP2
0000219e: DUP2
0000219f: LT
000021a0: PUSH2 0x21ab
000021a3: JUMPI
000021a4: PUSH2 0x21ab
000021a7: PUSH2 0x34aa
000021aa: JUMP
000021ab: JUMPDEST
000021ac: SWAP1
000021ad: POP
000021ae: PUSH1 0x20
000021b0: MUL
000021b1: ADD
000021b2: PUSH1 0x20
000021b4: DUP2
000021b5: ADD
000021b6: SWAP1
000021b7: PUSH2 0x21c0
000021ba: SWAP2
000021bb: SWAP1
000021bc: PUSH2 0x309c
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x01
000021c3: PUSH1 0x01
000021c5: PUSH1 0xa0
000021c7: SHL
000021c8: SUB
000021c9: AND
000021ca: DUP7
000021cb: PUSH1 0x01
000021cd: PUSH1 0x01
000021cf: PUSH1 0xa0
000021d1: SHL
000021d2: SUB
000021d3: AND
000021d4: PUSH1 0x00
000021d6: DUP1
000021d7: MLOAD
000021d8: PUSH1 0x20
000021da: PUSH2 0x3995
000021dd: DUP4
000021de: CODECOPY
000021df: DUP2
000021e0: MLOAD
000021e1: SWAP2
000021e2: MSTORE
000021e3: DUP6
000021e4: DUP6
000021e5: DUP6
000021e6: DUP2
000021e7: DUP2
000021e8: LT
000021e9: PUSH2 0x21f4
000021ec: JUMPI
000021ed: PUSH2 0x21f4
000021f0: PUSH2 0x34aa
000021f3: JUMP
000021f4: JUMPDEST
000021f5: SWAP1
000021f6: POP
000021f7: PUSH1 0x20
000021f9: MUL
000021fa: DUP2
000021fb: ADD
000021fc: SWAP1
000021fd: PUSH2 0x2206
00002200: SWAP2
00002201: SWAP1
00002202: PUSH2 0x34c0
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x40
00002209: MLOAD
0000220a: PUSH2 0x2214
0000220d: SWAP3
0000220e: SWAP2
0000220f: SWAP1
00002210: PUSH2 0x373e
00002213: JUMP
00002214: JUMPDEST
00002215: PUSH1 0x40
00002217: MLOAD
00002218: DUP1
00002219: SWAP2
0000221a: SUB
0000221b: SWAP1
0000221c: LOG3
0000221d: DUP1
0000221e: PUSH2 0x2226
00002221: DUP2
00002222: PUSH2 0x3568
00002225: JUMP
00002226: JUMPDEST
00002227: SWAP2
00002228: POP
00002229: POP
0000222a: PUSH2 0x2191
0000222d: JUMP
0000222e: JUMPDEST
0000222f: POP
00002230: PUSH1 0x40
00002232: MLOAD
00002233: PUSH4 0x0645961d
00002238: PUSH1 0xe2
0000223a: SHL
0000223b: DUP2
0000223c: MSTORE
0000223d: PUSH1 0x01
0000223f: PUSH1 0x01
00002241: PUSH1 0xa0
00002243: SHL
00002244: SUB
00002245: DUP7
00002246: AND
00002247: SWAP1
00002248: PUSH4 0x19165874
0000224d: SWAP1
0000224e: PUSH2 0x2009
00002251: SWAP1
00002252: DUP8
00002253: SWAP1
00002254: DUP8
00002255: SWAP1
00002256: DUP8
00002257: SWAP1
00002258: DUP8
00002259: SWAP1
0000225a: PUSH1 0x04
0000225c: ADD
0000225d: PUSH2 0x3882
00002260: JUMP
00002261: JUMPDEST
00002262: PUSH2 0x2269
00002265: PUSH2 0x2959
00002268: JUMP
00002269: JUMPDEST
0000226a: PUSH2 0x2271
0000226d: PUSH2 0x29b8
00002270: JUMP
00002271: JUMPDEST
00002272: DUP4
00002273: PUSH1 0x01
00002275: PUSH1 0x01
00002277: PUSH1 0xa0
00002279: SHL
0000227a: SUB
0000227b: AND
0000227c: PUSH4 0x215cccdd
00002281: PUSH1 0x40
00002283: MLOAD
00002284: DUP2
00002285: PUSH4 0xffffffff
0000228a: AND
0000228b: PUSH1 0xe0
0000228d: SHL
0000228e: DUP2
0000228f: MSTORE
00002290: PUSH1 0x04
00002292: ADD
00002293: PUSH1 0x20
00002295: PUSH1 0x40
00002297: MLOAD
00002298: DUP1
00002299: DUP4
0000229a: SUB
0000229b: DUP2
0000229c: DUP7
0000229d: GAS
0000229e: STATICCALL
0000229f: ISZERO
000022a0: DUP1
000022a1: ISZERO
000022a2: PUSH2 0x22af
000022a5: JUMPI
000022a6: RETURNDATASIZE
000022a7: PUSH1 0x00
000022a9: DUP1
000022aa: RETURNDATACOPY
000022ab: RETURNDATASIZE
000022ac: PUSH1 0x00
000022ae: REVERT
000022af: JUMPDEST
000022b0: POP
000022b1: POP
000022b2: POP
000022b3: POP
000022b4: PUSH1 0x40
000022b6: MLOAD
000022b7: RETURNDATASIZE
000022b8: PUSH1 0x1f
000022ba: NOT
000022bb: PUSH1 0x1f
000022bd: DUP3
000022be: ADD
000022bf: AND
000022c0: DUP3
000022c1: ADD
000022c2: DUP1
000022c3: PUSH1 0x40
000022c5: MSTORE
000022c6: POP
000022c7: DUP2
000022c8: ADD
000022c9: SWAP1
000022ca: PUSH2 0x22d3
000022cd: SWAP2
000022ce: SWAP1
000022cf: PUSH2 0x3488
000022d2: JUMP
000022d3: JUMPDEST
000022d4: PUSH2 0x2337
000022d7: JUMPI
000022d8: PUSH1 0x40
000022da: MLOAD
000022db: PUSH3 0x461bcd
000022df: PUSH1 0xe5
000022e1: SHL
000022e2: DUP2
000022e3: MSTORE
000022e4: PUSH1 0x20
000022e6: PUSH1 0x04
000022e8: DUP3
000022e9: ADD
000022ea: MSTORE
000022eb: PUSH1 0x2f
000022ed: PUSH1 0x24
000022ef: DUP3
000022f0: ADD
000022f1: MSTORE
000022f2: PUSH32 0x5a69766f6544414f3a3a70756c6c28292021494c6f636b65725f44414f286c6f
00002313: PUSH1 0x44
00002315: DUP3
00002316: ADD
00002317: MSTORE
00002318: PUSH15 0x636b6572292e63616e50756c6c2829
00002328: PUSH1 0x88
0000232a: SHL
0000232b: PUSH1 0x64
0000232d: DUP3
0000232e: ADD
0000232f: MSTORE
00002330: PUSH1 0x84
00002332: ADD
00002333: PUSH2 0x0445
00002336: JUMP
00002337: JUMPDEST
00002338: DUP3
00002339: PUSH1 0x01
0000233b: PUSH1 0x01
0000233d: PUSH1 0xa0
0000233f: SHL
00002340: SUB
00002341: AND
00002342: DUP5
00002343: PUSH1 0x01
00002345: PUSH1 0x01
00002347: PUSH1 0xa0
00002349: SHL
0000234a: SUB
0000234b: AND
0000234c: PUSH1 0x00
0000234e: DUP1
0000234f: MLOAD
00002350: PUSH1 0x20
00002352: PUSH2 0x3995
00002355: DUP4
00002356: CODECOPY
00002357: DUP2
00002358: MLOAD
00002359: SWAP2
0000235a: MSTORE
0000235b: DUP5
0000235c: DUP5
0000235d: PUSH1 0x40
0000235f: MLOAD
00002360: PUSH2 0x236a
00002363: SWAP3
00002364: SWAP2
00002365: SWAP1
00002366: PUSH2 0x373e
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x40
0000236d: MLOAD
0000236e: DUP1
0000236f: SWAP2
00002370: SUB
00002371: SWAP1
00002372: LOG3
00002373: PUSH1 0x40
00002375: MLOAD
00002376: PUSH4 0xcd45e1fb
0000237b: PUSH1 0xe0
0000237d: SHL
0000237e: DUP2
0000237f: MSTORE
00002380: PUSH1 0x01
00002382: PUSH1 0x01
00002384: PUSH1 0xa0
00002386: SHL
00002387: SUB
00002388: DUP6
00002389: AND
0000238a: SWAP1
0000238b: PUSH4 0xcd45e1fb
00002390: SWAP1
00002391: PUSH2 0x23a2
00002394: SWAP1
00002395: DUP7
00002396: SWAP1
00002397: DUP7
00002398: SWAP1
00002399: DUP7
0000239a: SWAP1
0000239b: PUSH1 0x04
0000239d: ADD
0000239e: PUSH2 0x38a9
000023a1: JUMP
000023a2: JUMPDEST
000023a3: PUSH1 0x00
000023a5: PUSH1 0x40
000023a7: MLOAD
000023a8: DUP1
000023a9: DUP4
000023aa: SUB
000023ab: DUP2
000023ac: PUSH1 0x00
000023ae: DUP8
000023af: DUP1
000023b0: EXTCODESIZE
000023b1: ISZERO
000023b2: DUP1
000023b3: ISZERO
000023b4: PUSH2 0x23bc
000023b7: JUMPI
000023b8: PUSH1 0x00
000023ba: DUP1
000023bb: REVERT
000023bc: JUMPDEST
000023bd: POP
000023be: GAS
000023bf: CALL
000023c0: ISZERO
000023c1: DUP1
000023c2: ISZERO
000023c3: PUSH2 0x23d0
000023c6: JUMPI
000023c7: RETURNDATASIZE
000023c8: PUSH1 0x00
000023ca: DUP1
000023cb: RETURNDATACOPY
000023cc: RETURNDATASIZE
000023cd: PUSH1 0x00
000023cf: REVERT
000023d0: JUMPDEST
000023d1: POP
000023d2: POP
000023d3: POP
000023d4: POP
000023d5: PUSH2 0x23dd
000023d8: PUSH1 0x01
000023da: DUP1
000023db: SSTORE
000023dc: JUMP
000023dd: JUMPDEST
000023de: POP
000023df: POP
000023e0: POP
000023e1: POP
000023e2: JUMP
000023e3: JUMPDEST
000023e4: PUSH2 0x23eb
000023e7: PUSH2 0x2959
000023ea: JUMP
000023eb: JUMPDEST
000023ec: PUSH2 0x23f3
000023ef: PUSH2 0x29b8
000023f2: JUMP
000023f3: JUMPDEST
000023f4: PUSH1 0x40
000023f6: MLOAD
000023f7: PUSH4 0x0bb18f5f
000023fc: PUSH1 0xe2
000023fe: SHL
000023ff: DUP2
00002400: MSTORE
00002401: PUSH1 0x01
00002403: PUSH1 0x01
00002405: PUSH1 0xa0
00002407: SHL
00002408: SUB
00002409: PUSH32 0x000000000000000000000000ea537eb0bbcc7783bdf7c595bf9371984583da66
0000242a: AND
0000242b: SWAP1
0000242c: PUSH4 0x2ec63d7c
00002431: SWAP1
00002432: PUSH2 0x243f
00002435: SWAP1
00002436: DUP9
00002437: SWAP1
00002438: PUSH1 0x04
0000243a: ADD
0000243b: PUSH2 0x2f91
0000243e: JUMP
0000243f: JUMPDEST
00002440: PUSH1 0x20
00002442: PUSH1 0x40
00002444: MLOAD
00002445: DUP1
00002446: DUP4
00002447: SUB
00002448: DUP2
00002449: DUP7
0000244a: GAS
0000244b: STATICCALL
0000244c: ISZERO
0000244d: DUP1
0000244e: ISZERO
0000244f: PUSH2 0x245c
00002452: JUMPI
00002453: RETURNDATASIZE
00002454: PUSH1 0x00
00002456: DUP1
00002457: RETURNDATACOPY
00002458: RETURNDATASIZE
00002459: PUSH1 0x00
0000245b: REVERT
0000245c: JUMPDEST
0000245d: POP
0000245e: POP
0000245f: POP
00002460: POP
00002461: PUSH1 0x40
00002463: MLOAD
00002464: RETURNDATASIZE
00002465: PUSH1 0x1f
00002467: NOT
00002468: PUSH1 0x1f
0000246a: DUP3
0000246b: ADD
0000246c: AND
0000246d: DUP3
0000246e: ADD
0000246f: DUP1
00002470: PUSH1 0x40
00002472: MSTORE
00002473: POP
00002474: DUP2
00002475: ADD
00002476: SWAP1
00002477: PUSH2 0x2480
0000247a: SWAP2
0000247b: SWAP1
0000247c: PUSH2 0x3488
0000247f: JUMP
00002480: JUMPDEST
00002481: PUSH2 0x24ee
00002484: JUMPI
00002485: PUSH1 0x40
00002487: MLOAD
00002488: PUSH3 0x461bcd
0000248c: PUSH1 0xe5
0000248e: SHL
0000248f: DUP2
00002490: MSTORE
00002491: PUSH1 0x20
00002493: PUSH1 0x04
00002495: DUP3
00002496: ADD
00002497: MSTORE
00002498: PUSH1 0x39
0000249a: PUSH1 0x24
0000249c: DUP3
0000249d: ADD
0000249e: MSTORE
0000249f: PUSH32 0x5a69766f6544414f3a3a7075736828292021495a69766f65476c6f62616c735f
000024c0: PUSH1 0x44
000024c2: DUP3
000024c3: ADD
000024c4: MSTORE
000024c5: PUSH25 0x44414f2847424c292e69734c6f636b6572286c6f636b657229
000024df: PUSH1 0x38
000024e1: SHL
000024e2: PUSH1 0x64
000024e4: DUP3
000024e5: ADD
000024e6: MSTORE
000024e7: PUSH1 0x84
000024e9: ADD
000024ea: PUSH2 0x0445
000024ed: JUMP
000024ee: JUMPDEST
000024ef: DUP5
000024f0: PUSH1 0x01
000024f2: PUSH1 0x01
000024f4: PUSH1 0xa0
000024f6: SHL
000024f7: SUB
000024f8: AND
000024f9: PUSH4 0xe7f44629
000024fe: PUSH1 0x40
00002500: MLOAD
00002501: DUP2
00002502: PUSH4 0xffffffff
00002507: AND
00002508: PUSH1 0xe0
0000250a: SHL
0000250b: DUP2
0000250c: MSTORE
0000250d: PUSH1 0x04
0000250f: ADD
00002510: PUSH1 0x20
00002512: PUSH1 0x40
00002514: MLOAD
00002515: DUP1
00002516: DUP4
00002517: SUB
00002518: DUP2
00002519: DUP7
0000251a: GAS
0000251b: STATICCALL
0000251c: ISZERO
0000251d: DUP1
0000251e: ISZERO
0000251f: PUSH2 0x252c
00002522: JUMPI
00002523: RETURNDATASIZE
00002524: PUSH1 0x00
00002526: DUP1
00002527: RETURNDATACOPY
00002528: RETURNDATASIZE
00002529: PUSH1 0x00
0000252b: REVERT
0000252c: JUMPDEST
0000252d: POP
0000252e: POP
0000252f: POP
00002530: POP
00002531: PUSH1 0x40
00002533: MLOAD
00002534: RETURNDATASIZE
00002535: PUSH1 0x1f
00002537: NOT
00002538: PUSH1 0x1f
0000253a: DUP3
0000253b: ADD
0000253c: AND
0000253d: DUP3
0000253e: ADD
0000253f: DUP1
00002540: PUSH1 0x40
00002542: MSTORE
00002543: POP
00002544: DUP2
00002545: ADD
00002546: SWAP1
00002547: PUSH2 0x2550
0000254a: SWAP2
0000254b: SWAP1
0000254c: PUSH2 0x3488
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH2 0x25b4
00002554: JUMPI
00002555: PUSH1 0x40
00002557: MLOAD
00002558: PUSH3 0x461bcd
0000255c: PUSH1 0xe5
0000255e: SHL
0000255f: DUP2
00002560: MSTORE
00002561: PUSH1 0x20
00002563: PUSH1 0x04
00002565: DUP3
00002566: ADD
00002567: MSTORE
00002568: PUSH1 0x2f
0000256a: PUSH1 0x24
0000256c: DUP3
0000256d: ADD
0000256e: MSTORE
0000256f: PUSH32 0x5a69766f6544414f3a3a7075736828292021494c6f636b65725f44414f286c6f
00002590: PUSH1 0x44
00002592: DUP3
00002593: ADD
00002594: MSTORE
00002595: PUSH15 0x636b6572292e63616e507573682829
000025a5: PUSH1 0x88
000025a7: SHL
000025a8: PUSH1 0x64
000025aa: DUP3
000025ab: ADD
000025ac: MSTORE
000025ad: PUSH1 0x84
000025af: ADD
000025b0: PUSH2 0x0445
000025b3: JUMP
000025b4: JUMPDEST
000025b5: DUP4
000025b6: PUSH1 0x01
000025b8: PUSH1 0x01
000025ba: PUSH1 0xa0
000025bc: SHL
000025bd: SUB
000025be: AND
000025bf: DUP6
000025c0: PUSH1 0x01
000025c2: PUSH1 0x01
000025c4: PUSH1 0xa0
000025c6: SHL
000025c7: SUB
000025c8: AND
000025c9: PUSH1 0x00
000025cb: DUP1
000025cc: MLOAD
000025cd: PUSH1 0x20
000025cf: PUSH2 0x39b5
000025d2: DUP4
000025d3: CODECOPY
000025d4: DUP2
000025d5: MLOAD
000025d6: SWAP2
000025d7: MSTORE
000025d8: DUP6
000025d9: DUP6
000025da: DUP6
000025db: PUSH1 0x40
000025dd: MLOAD
000025de: PUSH2 0x25e9
000025e1: SWAP4
000025e2: SWAP3
000025e3: SWAP2
000025e4: SWAP1
000025e5: PUSH2 0x352f
000025e8: JUMP
000025e9: JUMPDEST
000025ea: PUSH1 0x40
000025ec: MLOAD
000025ed: DUP1
000025ee: SWAP2
000025ef: SUB
000025f0: SWAP1
000025f1: LOG3
000025f2: PUSH2 0x2605
000025f5: PUSH1 0x01
000025f7: PUSH1 0x01
000025f9: PUSH1 0xa0
000025fb: SHL
000025fc: SUB
000025fd: DUP6
000025fe: AND
000025ff: DUP7
00002600: DUP6
00002601: PUSH2 0x2a11
00002604: JUMP
00002605: JUMPDEST
00002606: PUSH1 0x40
00002608: MLOAD
00002609: PUSH4 0x2118ab19
0000260e: PUSH1 0xe1
00002610: SHL
00002611: DUP2
00002612: MSTORE
00002613: PUSH1 0x01
00002615: PUSH1 0x01
00002617: PUSH1 0xa0
00002619: SHL
0000261a: SUB
0000261b: DUP7
0000261c: AND
0000261d: SWAP1
0000261e: PUSH4 0x42315632
00002623: SWAP1
00002624: PUSH2 0x2637
00002627: SWAP1
00002628: DUP8
00002629: SWAP1
0000262a: DUP8
0000262b: SWAP1
0000262c: DUP8
0000262d: SWAP1
0000262e: DUP8
0000262f: SWAP1
00002630: PUSH1 0x04
00002632: ADD
00002633: PUSH2 0x376b
00002636: JUMP
00002637: JUMPDEST
00002638: PUSH1 0x00
0000263a: PUSH1 0x40
0000263c: MLOAD
0000263d: DUP1
0000263e: DUP4
0000263f: SUB
00002640: DUP2
00002641: PUSH1 0x00
00002643: DUP8
00002644: DUP1
00002645: EXTCODESIZE
00002646: ISZERO
00002647: DUP1
00002648: ISZERO
00002649: PUSH2 0x2651
0000264c: JUMPI
0000264d: PUSH1 0x00
0000264f: DUP1
00002650: REVERT
00002651: JUMPDEST
00002652: POP
00002653: GAS
00002654: CALL
00002655: ISZERO
00002656: DUP1
00002657: ISZERO
00002658: PUSH2 0x2665
0000265b: JUMPI
0000265c: RETURNDATASIZE
0000265d: PUSH1 0x00
0000265f: DUP1
00002660: RETURNDATACOPY
00002661: RETURNDATASIZE
00002662: PUSH1 0x00
00002664: REVERT
00002665: JUMPDEST
00002666: POP
00002667: POP
00002668: PUSH1 0x40
0000266a: MLOAD
0000266b: PUSH4 0x6eb1769f
00002670: PUSH1 0xe1
00002672: SHL
00002673: DUP2
00002674: MSTORE
00002675: PUSH1 0x00
00002677: SWAP3
00002678: POP
00002679: PUSH1 0x01
0000267b: PUSH1 0x01
0000267d: PUSH1 0xa0
0000267f: SHL
00002680: SUB
00002681: DUP8
00002682: AND
00002683: SWAP2
00002684: POP
00002685: PUSH4 0xdd62ed3e
0000268a: SWAP1
0000268b: PUSH2 0x269a
0000268e: SWAP1
0000268f: ADDRESS
00002690: SWAP1
00002691: DUP11
00002692: SWAP1
00002693: PUSH1 0x04
00002695: ADD
00002696: PUSH2 0x36d6
00002699: JUMP
0000269a: JUMPDEST
0000269b: PUSH1 0x20
0000269d: PUSH1 0x40
0000269f: MLOAD
000026a0: DUP1
000026a1: DUP4
000026a2: SUB
000026a3: DUP2
000026a4: DUP7
000026a5: GAS
000026a6: STATICCALL
000026a7: ISZERO
000026a8: DUP1
000026a9: ISZERO
000026aa: PUSH2 0x26b7
000026ad: JUMPI
000026ae: RETURNDATASIZE
000026af: PUSH1 0x00
000026b1: DUP1
000026b2: RETURNDATACOPY
000026b3: RETURNDATASIZE
000026b4: PUSH1 0x00
000026b6: REVERT
000026b7: JUMPDEST
000026b8: POP
000026b9: POP
000026ba: POP
000026bb: POP
000026bc: PUSH1 0x40
000026be: MLOAD
000026bf: RETURNDATASIZE
000026c0: PUSH1 0x1f
000026c2: NOT
000026c3: PUSH1 0x1f
000026c5: DUP3
000026c6: ADD
000026c7: AND
000026c8: DUP3
000026c9: ADD
000026ca: DUP1
000026cb: PUSH1 0x40
000026cd: MSTORE
000026ce: POP
000026cf: DUP2
000026d0: ADD
000026d1: SWAP1
000026d2: PUSH2 0x26db
000026d5: SWAP2
000026d6: SWAP1
000026d7: PUSH2 0x36f0
000026da: JUMP
000026db: JUMPDEST
000026dc: GT
000026dd: ISZERO
000026de: PUSH2 0x104b
000026e1: JUMPI
000026e2: PUSH2 0x104b
000026e5: DUP6
000026e6: DUP6
000026e7: PUSH1 0x01
000026e9: PUSH1 0x01
000026eb: PUSH1 0xa0
000026ed: SHL
000026ee: SUB
000026ef: AND
000026f0: PUSH4 0xdd62ed3e
000026f5: ADDRESS
000026f6: DUP10
000026f7: PUSH1 0x40
000026f9: MLOAD
000026fa: DUP4
000026fb: PUSH4 0xffffffff
00002700: AND
00002701: PUSH1 0xe0
00002703: SHL
00002704: DUP2
00002705: MSTORE
00002706: PUSH1 0x04
00002708: ADD
00002709: PUSH2 0x2713
0000270c: SWAP3
0000270d: SWAP2
0000270e: SWAP1
0000270f: PUSH2 0x36d6
00002712: JUMP
00002713: JUMPDEST
00002714: PUSH1 0x20
00002716: PUSH1 0x40
00002718: MLOAD
00002719: DUP1
0000271a: DUP4
0000271b: SUB
0000271c: DUP2
0000271d: DUP7
0000271e: GAS
0000271f: STATICCALL
00002720: ISZERO
00002721: DUP1
00002722: ISZERO
00002723: PUSH2 0x2730
00002726: JUMPI
00002727: RETURNDATASIZE
00002728: PUSH1 0x00
0000272a: DUP1
0000272b: RETURNDATACOPY
0000272c: RETURNDATASIZE
0000272d: PUSH1 0x00
0000272f: REVERT
00002730: JUMPDEST
00002731: POP
00002732: POP
00002733: POP
00002734: POP
00002735: PUSH1 0x40
00002737: MLOAD
00002738: RETURNDATASIZE
00002739: PUSH1 0x1f
0000273b: NOT
0000273c: PUSH1 0x1f
0000273e: DUP3
0000273f: ADD
00002740: AND
00002741: DUP3
00002742: ADD
00002743: DUP1
00002744: PUSH1 0x40
00002746: MSTORE
00002747: POP
00002748: DUP2
00002749: ADD
0000274a: SWAP1
0000274b: PUSH2 0x2754
0000274e: SWAP2
0000274f: SWAP1
00002750: PUSH2 0x36f0
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH1 0x01
00002757: PUSH1 0x01
00002759: PUSH1 0xa0
0000275b: SHL
0000275c: SUB
0000275d: DUP8
0000275e: AND
0000275f: SWAP2
00002760: SWAP1
00002761: PUSH2 0x2ae5
00002764: JUMP
00002765: JUMPDEST
00002766: PUSH2 0x276d
00002769: PUSH2 0x2959
0000276c: JUMP
0000276d: JUMPDEST
0000276e: PUSH2 0x2775
00002771: PUSH2 0x29b8
00002774: JUMP
00002775: JUMPDEST
00002776: DUP5
00002777: PUSH1 0x01
00002779: PUSH1 0x01
0000277b: PUSH1 0xa0
0000277d: SHL
0000277e: SUB
0000277f: AND
00002780: PUSH4 0x64c77735
00002785: PUSH1 0x40
00002787: MLOAD
00002788: DUP2
00002789: PUSH4 0xffffffff
0000278e: AND
0000278f: PUSH1 0xe0
00002791: SHL
00002792: DUP2
00002793: MSTORE
00002794: PUSH1 0x04
00002796: ADD
00002797: PUSH1 0x20
00002799: PUSH1 0x40
0000279b: MLOAD
0000279c: DUP1
0000279d: DUP4
0000279e: SUB
0000279f: DUP2
000027a0: DUP7
000027a1: GAS
000027a2: STATICCALL
000027a3: ISZERO
000027a4: DUP1
000027a5: ISZERO
000027a6: PUSH2 0x27b3
000027a9: JUMPI
000027aa: RETURNDATASIZE
000027ab: PUSH1 0x00
000027ad: DUP1
000027ae: RETURNDATACOPY
000027af: RETURNDATASIZE
000027b0: PUSH1 0x00
000027b2: REVERT
000027b3: JUMPDEST
000027b4: POP
000027b5: POP
000027b6: POP
000027b7: POP
000027b8: PUSH1 0x40
000027ba: MLOAD
000027bb: RETURNDATASIZE
000027bc: PUSH1 0x1f
000027be: NOT
000027bf: PUSH1 0x1f
000027c1: DUP3
000027c2: ADD
000027c3: AND
000027c4: DUP3
000027c5: ADD
000027c6: DUP1
000027c7: PUSH1 0x40
000027c9: MSTORE
000027ca: POP
000027cb: DUP2
000027cc: ADD
000027cd: SWAP1
000027ce: PUSH2 0x27d7
000027d1: SWAP2
000027d2: SWAP1
000027d3: PUSH2 0x3488
000027d6: JUMP
000027d7: JUMPDEST
000027d8: PUSH2 0x2849
000027db: JUMPI
000027dc: PUSH1 0x40
000027de: MLOAD
000027df: PUSH3 0x461bcd
000027e3: PUSH1 0xe5
000027e5: SHL
000027e6: DUP2
000027e7: MSTORE
000027e8: PUSH1 0x20
000027ea: PUSH1 0x04
000027ec: DUP3
000027ed: ADD
000027ee: MSTORE
000027ef: PUSH1 0x3d
000027f1: PUSH1 0x24
000027f3: DUP3
000027f4: ADD
000027f5: MSTORE
000027f6: PUSH32 0x5a69766f6544414f3a3a70756c6c5061727469616c28292021494c6f636b6572
00002817: PUSH1 0x44
00002819: DUP3
0000281a: ADD
0000281b: MSTORE
0000281c: PUSH32 0x5f44414f286c6f636b6572292e63616e50756c6c5061727469616c2829000000
0000283d: PUSH1 0x64
0000283f: DUP3
00002840: ADD
00002841: MSTORE
00002842: PUSH1 0x84
00002844: ADD
00002845: PUSH2 0x0445
00002848: JUMP
00002849: JUMPDEST
0000284a: DUP4
0000284b: PUSH1 0x01
0000284d: PUSH1 0x01
0000284f: PUSH1 0xa0
00002851: SHL
00002852: SUB
00002853: AND
00002854: DUP6
00002855: PUSH1 0x01
00002857: PUSH1 0x01
00002859: PUSH1 0xa0
0000285b: SHL
0000285c: SUB
0000285d: AND
0000285e: PUSH1 0x00
00002860: DUP1
00002861: MLOAD
00002862: PUSH1 0x20
00002864: PUSH2 0x3975
00002867: DUP4
00002868: CODECOPY
00002869: DUP2
0000286a: MLOAD
0000286b: SWAP2
0000286c: MSTORE
0000286d: DUP6
0000286e: DUP6
0000286f: DUP6
00002870: PUSH1 0x40
00002872: MLOAD
00002873: PUSH2 0x287e
00002876: SWAP4
00002877: SWAP3
00002878: SWAP2
00002879: SWAP1
0000287a: PUSH2 0x352f
0000287d: JUMP
0000287e: JUMPDEST
0000287f: PUSH1 0x40
00002881: MLOAD
00002882: DUP1
00002883: SWAP2
00002884: SUB
00002885: SWAP1
00002886: LOG3
00002887: PUSH1 0x40
00002889: MLOAD
0000288a: PUSH4 0xd8f2a78b
0000288f: PUSH1 0xe0
00002891: SHL
00002892: DUP2
00002893: MSTORE
00002894: PUSH1 0x01
00002896: PUSH1 0x01
00002898: PUSH1 0xa0
0000289a: SHL
0000289b: SUB
0000289c: DUP7
0000289d: AND
0000289e: SWAP1
0000289f: PUSH4 0xd8f2a78b
000028a4: SWAP1
000028a5: PUSH2 0x2009
000028a8: SWAP1
000028a9: DUP8
000028aa: SWAP1
000028ab: DUP8
000028ac: SWAP1
000028ad: DUP8
000028ae: SWAP1
000028af: DUP8
000028b0: SWAP1
000028b1: PUSH1 0x04
000028b3: ADD
000028b4: PUSH2 0x376b
000028b7: JUMP
000028b8: JUMPDEST
000028b9: PUSH2 0x28c0
000028bc: PUSH2 0x2959
000028bf: JUMP
000028c0: JUMPDEST
000028c1: PUSH1 0x00
000028c3: SLOAD
000028c4: PUSH1 0x01
000028c6: PUSH1 0xa0
000028c8: SHL
000028c9: SWAP1
000028ca: DIV
000028cb: PUSH1 0xff
000028cd: AND
000028ce: ISZERO
000028cf: PUSH2 0x28ea
000028d2: JUMPI
000028d3: PUSH1 0x40
000028d5: MLOAD
000028d6: PUSH3 0x461bcd
000028da: PUSH1 0xe5
000028dc: SHL
000028dd: DUP2
000028de: MSTORE
000028df: PUSH1 0x04
000028e1: ADD
000028e2: PUSH2 0x0445
000028e5: SWAP1
000028e6: PUSH2 0x3709
000028e9: JUMP
000028ea: JUMPDEST
000028eb: PUSH1 0x01
000028ed: PUSH1 0x01
000028ef: PUSH1 0xa0
000028f1: SHL
000028f2: SUB
000028f3: DUP2
000028f4: AND
000028f5: PUSH2 0x2950
000028f8: JUMPI
000028f9: PUSH1 0x40
000028fb: MLOAD
000028fc: PUSH3 0x461bcd
00002900: PUSH1 0xe5
00002902: SHL
00002903: DUP2
00002904: MSTORE
00002905: PUSH1 0x20
00002907: PUSH1 0x04
00002909: DUP3
0000290a: ADD
0000290b: MSTORE
0000290c: PUSH1 0x39
0000290e: PUSH1 0x24
00002910: DUP3
00002911: ADD
00002912: MSTORE
00002913: PUSH1 0x00
00002915: DUP1
00002916: MLOAD
00002917: PUSH1 0x20
00002919: PUSH2 0x39d5
0000291c: DUP4
0000291d: CODECOPY
0000291e: DUP2
0000291f: MLOAD
00002920: SWAP2
00002921: MSTORE
00002922: PUSH1 0x44
00002924: DUP3
00002925: ADD
00002926: MSTORE
00002927: PUSH25 0x2829206e65774f776e6572203d3d2061646472657373283029
00002941: PUSH1 0x38
00002943: SHL
00002944: PUSH1 0x64
00002946: DUP3
00002947: ADD
00002948: MSTORE
00002949: PUSH1 0x84
0000294b: ADD
0000294c: PUSH2 0x0445
0000294f: JUMP
00002950: JUMPDEST
00002951: PUSH2 0x0ce5
00002954: DUP2
00002955: PUSH2 0x2be1
00002958: JUMP
00002959: JUMPDEST
0000295a: CALLER
0000295b: PUSH2 0x2962
0000295e: PUSH2 0x1eaa
00002961: JUMP
00002962: JUMPDEST
00002963: PUSH1 0x01
00002965: PUSH1 0x01
00002967: PUSH1 0xa0
00002969: SHL
0000296a: SUB
0000296b: AND
0000296c: EQ
0000296d: PUSH2 0x161e
00002970: JUMPI
00002971: PUSH1 0x40
00002973: MLOAD
00002974: PUSH3 0x461bcd
00002978: PUSH1 0xe5
0000297a: SHL
0000297b: DUP2
0000297c: MSTORE
0000297d: PUSH1 0x20
0000297f: PUSH1 0x04
00002981: DUP3
00002982: ADD
00002983: DUP2
00002984: SWAP1
00002985: MSTORE
00002986: PUSH1 0x24
00002988: DUP3
00002989: ADD
0000298a: MSTORE
0000298b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000029ac: PUSH1 0x44
000029ae: DUP3
000029af: ADD
000029b0: MSTORE
000029b1: PUSH1 0x64
000029b3: ADD
000029b4: PUSH2 0x0445
000029b7: JUMP
000029b8: JUMPDEST
000029b9: PUSH1 0x02
000029bb: PUSH1 0x01
000029bd: SLOAD
000029be: SUB
000029bf: PUSH2 0x2a0a
000029c2: JUMPI
000029c3: PUSH1 0x40
000029c5: MLOAD
000029c6: PUSH3 0x461bcd
000029ca: PUSH1 0xe5
000029cc: SHL
000029cd: DUP2
000029ce: MSTORE
000029cf: PUSH1 0x20
000029d1: PUSH1 0x04
000029d3: DUP3
000029d4: ADD
000029d5: MSTORE
000029d6: PUSH1 0x1f
000029d8: PUSH1 0x24
000029da: DUP3
000029db: ADD
000029dc: MSTORE
000029dd: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000029fe: PUSH1 0x44
00002a00: DUP3
00002a01: ADD
00002a02: MSTORE
00002a03: PUSH1 0x64
00002a05: ADD
00002a06: PUSH2 0x0445
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH1 0x02
00002a0d: PUSH1 0x01
00002a0f: SSTORE
00002a10: JUMP
00002a11: JUMPDEST
00002a12: PUSH1 0x00
00002a14: DUP2
00002a15: DUP5
00002a16: PUSH1 0x01
00002a18: PUSH1 0x01
00002a1a: PUSH1 0xa0
00002a1c: SHL
00002a1d: SUB
00002a1e: AND
00002a1f: PUSH4 0xdd62ed3e
00002a24: ADDRESS
00002a25: DUP7
00002a26: PUSH1 0x40
00002a28: MLOAD
00002a29: DUP4
00002a2a: PUSH4 0xffffffff
00002a2f: AND
00002a30: PUSH1 0xe0
00002a32: SHL
00002a33: DUP2
00002a34: MSTORE
00002a35: PUSH1 0x04
00002a37: ADD
00002a38: PUSH2 0x2a42
00002a3b: SWAP3
00002a3c: SWAP2
00002a3d: SWAP1
00002a3e: PUSH2 0x36d6
00002a41: JUMP
00002a42: JUMPDEST
00002a43: PUSH1 0x20
00002a45: PUSH1 0x40
00002a47: MLOAD
00002a48: DUP1
00002a49: DUP4
00002a4a: SUB
00002a4b: DUP2
00002a4c: DUP7
00002a4d: GAS
00002a4e: STATICCALL
00002a4f: ISZERO
00002a50: DUP1
00002a51: ISZERO
00002a52: PUSH2 0x2a5f
00002a55: JUMPI
00002a56: RETURNDATASIZE
00002a57: PUSH1 0x00
00002a59: DUP1
00002a5a: RETURNDATACOPY
00002a5b: RETURNDATASIZE
00002a5c: PUSH1 0x00
00002a5e: REVERT
00002a5f: JUMPDEST
00002a60: POP
00002a61: POP
00002a62: POP
00002a63: POP
00002a64: PUSH1 0x40
00002a66: MLOAD
00002a67: RETURNDATASIZE
00002a68: PUSH1 0x1f
00002a6a: NOT
00002a6b: PUSH1 0x1f
00002a6d: DUP3
00002a6e: ADD
00002a6f: AND
00002a70: DUP3
00002a71: ADD
00002a72: DUP1
00002a73: PUSH1 0x40
00002a75: MSTORE
00002a76: POP
00002a77: DUP2
00002a78: ADD
00002a79: SWAP1
00002a7a: PUSH2 0x2a83
00002a7d: SWAP2
00002a7e: SWAP1
00002a7f: PUSH2 0x36f0
00002a82: JUMP
00002a83: JUMPDEST
00002a84: PUSH2 0x2a8d
00002a87: SWAP2
00002a88: SWAP1
00002a89: PUSH2 0x38ce
00002a8c: JUMP
00002a8d: JUMPDEST
00002a8e: SWAP1
00002a8f: POP
00002a90: PUSH2 0x23dd
00002a93: DUP5
00002a94: PUSH4 0x095ea7b3
00002a99: PUSH1 0xe0
00002a9b: SHL
00002a9c: DUP6
00002a9d: DUP5
00002a9e: PUSH1 0x40
00002aa0: MLOAD
00002aa1: PUSH1 0x24
00002aa3: ADD
00002aa4: PUSH2 0x2aae
00002aa7: SWAP3
00002aa8: SWAP2
00002aa9: SWAP1
00002aaa: PUSH2 0x3752
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x40
00002ab1: DUP1
00002ab2: MLOAD
00002ab3: PUSH1 0x1f
00002ab5: NOT
00002ab6: DUP2
00002ab7: DUP5
00002ab8: SUB
00002ab9: ADD
00002aba: DUP2
00002abb: MSTORE
00002abc: SWAP2
00002abd: SWAP1
00002abe: MSTORE
00002abf: PUSH1 0x20
00002ac1: DUP2
00002ac2: ADD
00002ac3: DUP1
00002ac4: MLOAD
00002ac5: PUSH1 0x01
00002ac7: PUSH1 0x01
00002ac9: PUSH1 0xe0
00002acb: SHL
00002acc: SUB
00002acd: AND
00002ace: PUSH1 0x01
00002ad0: PUSH1 0x01
00002ad2: PUSH1 0xe0
00002ad4: SHL
00002ad5: SUB
00002ad6: NOT
00002ad7: SWAP1
00002ad8: SWAP4
00002ad9: AND
00002ada: SWAP3
00002adb: SWAP1
00002adc: SWAP3
00002add: OR
00002ade: SWAP1
00002adf: SWAP2
00002ae0: MSTORE
00002ae1: PUSH2 0x2c31
00002ae4: JUMP
00002ae5: JUMPDEST
00002ae6: PUSH1 0x40
00002ae8: MLOAD
00002ae9: PUSH4 0x6eb1769f
00002aee: PUSH1 0xe1
00002af0: SHL
00002af1: DUP2
00002af2: MSTORE
00002af3: PUSH1 0x00
00002af5: SWAP1
00002af6: PUSH1 0x01
00002af8: PUSH1 0x01
00002afa: PUSH1 0xa0
00002afc: SHL
00002afd: SUB
00002afe: DUP6
00002aff: AND
00002b00: SWAP1
00002b01: PUSH4 0xdd62ed3e
00002b06: SWAP1
00002b07: PUSH2 0x2b16
00002b0a: SWAP1
00002b0b: ADDRESS
00002b0c: SWAP1
00002b0d: DUP8
00002b0e: SWAP1
00002b0f: PUSH1 0x04
00002b11: ADD
00002b12: PUSH2 0x36d6
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH1 0x20
00002b19: PUSH1 0x40
00002b1b: MLOAD
00002b1c: DUP1
00002b1d: DUP4
00002b1e: SUB
00002b1f: DUP2
00002b20: DUP7
00002b21: GAS
00002b22: STATICCALL
00002b23: ISZERO
00002b24: DUP1
00002b25: ISZERO
00002b26: PUSH2 0x2b33
00002b29: JUMPI
00002b2a: RETURNDATASIZE
00002b2b: PUSH1 0x00
00002b2d: DUP1
00002b2e: RETURNDATACOPY
00002b2f: RETURNDATASIZE
00002b30: PUSH1 0x00
00002b32: REVERT
00002b33: JUMPDEST
00002b34: POP
00002b35: POP
00002b36: POP
00002b37: POP
00002b38: PUSH1 0x40
00002b3a: MLOAD
00002b3b: RETURNDATASIZE
00002b3c: PUSH1 0x1f
00002b3e: NOT
00002b3f: PUSH1 0x1f
00002b41: DUP3
00002b42: ADD
00002b43: AND
00002b44: DUP3
00002b45: ADD
00002b46: DUP1
00002b47: PUSH1 0x40
00002b49: MSTORE
00002b4a: POP
00002b4b: DUP2
00002b4c: ADD
00002b4d: SWAP1
00002b4e: PUSH2 0x2b57
00002b51: SWAP2
00002b52: SWAP1
00002b53: PUSH2 0x36f0
00002b56: JUMP
00002b57: JUMPDEST
00002b58: SWAP1
00002b59: POP
00002b5a: DUP2
00002b5b: DUP2
00002b5c: LT
00002b5d: ISZERO
00002b5e: PUSH2 0x2bbb
00002b61: JUMPI
00002b62: PUSH1 0x40
00002b64: MLOAD
00002b65: PUSH3 0x461bcd
00002b69: PUSH1 0xe5
00002b6b: SHL
00002b6c: DUP2
00002b6d: MSTORE
00002b6e: PUSH1 0x20
00002b70: PUSH1 0x04
00002b72: DUP3
00002b73: ADD
00002b74: MSTORE
00002b75: PUSH1 0x29
00002b77: PUSH1 0x24
00002b79: DUP3
00002b7a: ADD
00002b7b: MSTORE
00002b7c: PUSH32 0x5361666545524332303a2064656372656173656420616c6c6f77616e63652062
00002b9d: PUSH1 0x44
00002b9f: DUP3
00002ba0: ADD
00002ba1: MSTORE
00002ba2: PUSH9 0x656c6f77207a65726f
00002bac: PUSH1 0xb8
00002bae: SHL
00002baf: PUSH1 0x64
00002bb1: DUP3
00002bb2: ADD
00002bb3: MSTORE
00002bb4: PUSH1 0x84
00002bb6: ADD
00002bb7: PUSH2 0x0445
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: PUSH1 0x40
00002bbe: MLOAD
00002bbf: DUP3
00002bc0: DUP3
00002bc1: SUB
00002bc2: SWAP1
00002bc3: PUSH2 0x1054
00002bc6: SWAP1
00002bc7: DUP7
00002bc8: SWAP1
00002bc9: PUSH4 0x095ea7b3
00002bce: PUSH1 0xe0
00002bd0: SHL
00002bd1: SWAP1
00002bd2: PUSH2 0x2aae
00002bd5: SWAP1
00002bd6: DUP9
00002bd7: SWAP1
00002bd8: DUP7
00002bd9: SWAP1
00002bda: PUSH1 0x24
00002bdc: ADD
00002bdd: PUSH2 0x3752
00002be0: JUMP
00002be1: JUMPDEST
00002be2: PUSH1 0x00
00002be4: DUP1
00002be5: SLOAD
00002be6: PUSH1 0x01
00002be8: PUSH1 0x01
00002bea: PUSH1 0xa0
00002bec: SHL
00002bed: SUB
00002bee: DUP4
00002bef: DUP2
00002bf0: AND
00002bf1: PUSH1 0x01
00002bf3: PUSH1 0x01
00002bf5: PUSH1 0xa0
00002bf7: SHL
00002bf8: SUB
00002bf9: NOT
00002bfa: DUP4
00002bfb: AND
00002bfc: DUP2
00002bfd: OR
00002bfe: DUP5
00002bff: SSTORE
00002c00: PUSH1 0x40
00002c02: MLOAD
00002c03: SWAP2
00002c04: SWAP1
00002c05: SWAP3
00002c06: AND
00002c07: SWAP3
00002c08: DUP4
00002c09: SWAP2
00002c0a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002c2b: SWAP2
00002c2c: SWAP1
00002c2d: LOG3
00002c2e: POP
00002c2f: POP
00002c30: JUMP
00002c31: JUMPDEST
00002c32: PUSH1 0x00
00002c34: PUSH2 0x2c86
00002c37: DUP3
00002c38: PUSH1 0x40
00002c3a: MLOAD
00002c3b: DUP1
00002c3c: PUSH1 0x40
00002c3e: ADD
00002c3f: PUSH1 0x40
00002c41: MSTORE
00002c42: DUP1
00002c43: PUSH1 0x20
00002c45: DUP2
00002c46: MSTORE
00002c47: PUSH1 0x20
00002c49: ADD
00002c4a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002c6b: DUP2
00002c6c: MSTORE
00002c6d: POP
00002c6e: DUP6
00002c6f: PUSH1 0x01
00002c71: PUSH1 0x01
00002c73: PUSH1 0xa0
00002c75: SHL
00002c76: SUB
00002c77: AND
00002c78: PUSH2 0x2d08
00002c7b: SWAP1
00002c7c: SWAP3
00002c7d: SWAP2
00002c7e: SWAP1
00002c7f: PUSH4 0xffffffff
00002c84: AND
00002c85: JUMP
00002c86: JUMPDEST
00002c87: DUP1
00002c88: MLOAD
00002c89: SWAP1
00002c8a: SWAP2
00002c8b: POP
00002c8c: ISZERO
00002c8d: PUSH2 0x2d03
00002c90: JUMPI
00002c91: DUP1
00002c92: DUP1
00002c93: PUSH1 0x20
00002c95: ADD
00002c96: SWAP1
00002c97: MLOAD
00002c98: DUP2
00002c99: ADD
00002c9a: SWAP1
00002c9b: PUSH2 0x2ca4
00002c9e: SWAP2
00002c9f: SWAP1
00002ca0: PUSH2 0x3488
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: PUSH2 0x2d03
00002ca8: JUMPI
00002ca9: PUSH1 0x40
00002cab: MLOAD
00002cac: PUSH3 0x461bcd
00002cb0: PUSH1 0xe5
00002cb2: SHL
00002cb3: DUP2
00002cb4: MSTORE
00002cb5: PUSH1 0x20
00002cb7: PUSH1 0x04
00002cb9: DUP3
00002cba: ADD
00002cbb: MSTORE
00002cbc: PUSH1 0x2a
00002cbe: PUSH1 0x24
00002cc0: DUP3
00002cc1: ADD
00002cc2: MSTORE
00002cc3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002ce4: PUSH1 0x44
00002ce6: DUP3
00002ce7: ADD
00002ce8: MSTORE
00002ce9: PUSH10 0x1bdd081cdd58d8d95959
00002cf4: PUSH1 0xb2
00002cf6: SHL
00002cf7: PUSH1 0x64
00002cf9: DUP3
00002cfa: ADD
00002cfb: MSTORE
00002cfc: PUSH1 0x84
00002cfe: ADD
00002cff: PUSH2 0x0445
00002d02: JUMP
00002d03: JUMPDEST
00002d04: POP
00002d05: POP
00002d06: POP
00002d07: JUMP
00002d08: JUMPDEST
00002d09: PUSH1 0x60
00002d0b: PUSH2 0x034d
00002d0e: DUP5
00002d0f: DUP5
00002d10: PUSH1 0x00
00002d12: DUP6
00002d13: DUP6
00002d14: PUSH1 0x00
00002d16: DUP1
00002d17: DUP7
00002d18: PUSH1 0x01
00002d1a: PUSH1 0x01
00002d1c: PUSH1 0xa0
00002d1e: SHL
00002d1f: SUB
00002d20: AND
00002d21: DUP6
00002d22: DUP8
00002d23: PUSH1 0x40
00002d25: MLOAD
00002d26: PUSH2 0x2d2f
00002d29: SWAP2
00002d2a: SWAP1
00002d2b: PUSH2 0x3905
00002d2e: JUMP
00002d2f: JUMPDEST
00002d30: PUSH1 0x00
00002d32: PUSH1 0x40
00002d34: MLOAD
00002d35: DUP1
00002d36: DUP4
00002d37: SUB
00002d38: DUP2
00002d39: DUP6
00002d3a: DUP8
00002d3b: GAS
00002d3c: CALL
00002d3d: SWAP3
00002d3e: POP
00002d3f: POP
00002d40: POP
00002d41: RETURNDATASIZE
00002d42: DUP1
00002d43: PUSH1 0x00
00002d45: DUP2
00002d46: EQ
00002d47: PUSH2 0x2d6c
00002d4a: JUMPI
00002d4b: PUSH1 0x40
00002d4d: MLOAD
00002d4e: SWAP2
00002d4f: POP
00002d50: PUSH1 0x1f
00002d52: NOT
00002d53: PUSH1 0x3f
00002d55: RETURNDATASIZE
00002d56: ADD
00002d57: AND
00002d58: DUP3
00002d59: ADD
00002d5a: PUSH1 0x40
00002d5c: MSTORE
00002d5d: RETURNDATASIZE
00002d5e: DUP3
00002d5f: MSTORE
00002d60: RETURNDATASIZE
00002d61: PUSH1 0x00
00002d63: PUSH1 0x20
00002d65: DUP5
00002d66: ADD
00002d67: RETURNDATACOPY
00002d68: PUSH2 0x2d71
00002d6b: JUMP
00002d6c: JUMPDEST
00002d6d: PUSH1 0x60
00002d6f: SWAP2
00002d70: POP
00002d71: JUMPDEST
00002d72: POP
00002d73: SWAP2
00002d74: POP
00002d75: SWAP2
00002d76: POP
00002d77: PUSH2 0x2d82
00002d7a: DUP8
00002d7b: DUP4
00002d7c: DUP4
00002d7d: DUP8
00002d7e: PUSH2 0x2d8d
00002d81: JUMP
00002d82: JUMPDEST
00002d83: SWAP8
00002d84: SWAP7
00002d85: POP
00002d86: POP
00002d87: POP
00002d88: POP
00002d89: POP
00002d8a: POP
00002d8b: POP
00002d8c: JUMP
00002d8d: JUMPDEST
00002d8e: PUSH1 0x60
00002d90: DUP4
00002d91: ISZERO
00002d92: PUSH2 0x2dfc
00002d95: JUMPI
00002d96: DUP3
00002d97: MLOAD
00002d98: PUSH1 0x00
00002d9a: SUB
00002d9b: PUSH2 0x2df5
00002d9e: JUMPI
00002d9f: PUSH1 0x01
00002da1: PUSH1 0x01
00002da3: PUSH1 0xa0
00002da5: SHL
00002da6: SUB
00002da7: DUP6
00002da8: AND
00002da9: EXTCODESIZE
00002daa: PUSH2 0x2df5
00002dad: JUMPI
00002dae: PUSH1 0x40
00002db0: MLOAD
00002db1: PUSH3 0x461bcd
00002db5: PUSH1 0xe5
00002db7: SHL
00002db8: DUP2
00002db9: MSTORE
00002dba: PUSH1 0x20
00002dbc: PUSH1 0x04
00002dbe: DUP3
00002dbf: ADD
00002dc0: MSTORE
00002dc1: PUSH1 0x1d
00002dc3: PUSH1 0x24
00002dc5: DUP3
00002dc6: ADD
00002dc7: MSTORE
00002dc8: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002de9: PUSH1 0x44
00002deb: DUP3
00002dec: ADD
00002ded: MSTORE
00002dee: PUSH1 0x64
00002df0: ADD
00002df1: PUSH2 0x0445
00002df4: JUMP
00002df5: JUMPDEST
00002df6: POP
00002df7: DUP2
00002df8: PUSH2 0x034d
00002dfb: JUMP
00002dfc: JUMPDEST
00002dfd: PUSH2 0x034d
00002e00: DUP4
00002e01: DUP4
00002e02: DUP2
00002e03: MLOAD
00002e04: ISZERO
00002e05: PUSH2 0x2e11
00002e08: JUMPI
00002e09: DUP2
00002e0a: MLOAD
00002e0b: DUP1
00002e0c: DUP4
00002e0d: PUSH1 0x20
00002e0f: ADD
00002e10: REVERT
00002e11: JUMPDEST
00002e12: DUP1
00002e13: PUSH1 0x40
00002e15: MLOAD
00002e16: PUSH3 0x461bcd
00002e1a: PUSH1 0xe5
00002e1c: SHL
00002e1d: DUP2
00002e1e: MSTORE
00002e1f: PUSH1 0x04
00002e21: ADD
00002e22: PUSH2 0x0445
00002e25: SWAP2
00002e26: SWAP1
00002e27: PUSH2 0x3921
00002e2a: JUMP
00002e2b: JUMPDEST
00002e2c: PUSH1 0x00
00002e2e: PUSH1 0x20
00002e30: DUP3
00002e31: DUP5
00002e32: SUB
00002e33: SLT
00002e34: ISZERO
00002e35: PUSH2 0x2e3d
00002e38: JUMPI
00002e39: PUSH1 0x00
00002e3b: DUP1
00002e3c: REVERT
00002e3d: JUMPDEST
00002e3e: DUP2
00002e3f: CALLDATALOAD
00002e40: PUSH1 0x01
00002e42: PUSH1 0x01
00002e44: PUSH1 0xe0
00002e46: SHL
00002e47: SUB
00002e48: NOT
00002e49: DUP2
00002e4a: AND
00002e4b: DUP2
00002e4c: EQ
00002e4d: PUSH2 0x2e55
00002e50: JUMPI
00002e51: PUSH1 0x00
00002e53: DUP1
00002e54: REVERT
00002e55: JUMPDEST
00002e56: SWAP4
00002e57: SWAP3
00002e58: POP
00002e59: POP
00002e5a: POP
00002e5b: JUMP
00002e5c: JUMPDEST
00002e5d: PUSH1 0x01
00002e5f: PUSH1 0x01
00002e61: PUSH1 0xa0
00002e63: SHL
00002e64: SUB
00002e65: DUP2
00002e66: AND
00002e67: DUP2
00002e68: EQ
00002e69: PUSH2 0x0ce5
00002e6c: JUMPI
00002e6d: PUSH1 0x00
00002e6f: DUP1
00002e70: REVERT
00002e71: JUMPDEST
00002e72: PUSH4 0x4e487b71
00002e77: PUSH1 0xe0
00002e79: SHL
00002e7a: PUSH1 0x00
00002e7c: MSTORE
00002e7d: PUSH1 0x41
00002e7f: PUSH1 0x04
00002e81: MSTORE
00002e82: PUSH1 0x24
00002e84: PUSH1 0x00
00002e86: REVERT
00002e87: JUMPDEST
00002e88: PUSH1 0x40
00002e8a: MLOAD
00002e8b: PUSH1 0x1f
00002e8d: DUP3
00002e8e: ADD
00002e8f: PUSH1 0x1f
00002e91: NOT
00002e92: AND
00002e93: DUP2
00002e94: ADD
00002e95: PUSH1 0x01
00002e97: PUSH1 0x01
00002e99: PUSH1 0x40
00002e9b: SHL
00002e9c: SUB
00002e9d: DUP2
00002e9e: GT
00002e9f: DUP3
00002ea0: DUP3
00002ea1: LT
00002ea2: OR
00002ea3: ISZERO
00002ea4: PUSH2 0x2eaf
00002ea7: JUMPI
00002ea8: PUSH2 0x2eaf
00002eab: PUSH2 0x2e71
00002eae: JUMP
00002eaf: JUMPDEST
00002eb0: PUSH1 0x40
00002eb2: MSTORE
00002eb3: SWAP2
00002eb4: SWAP1
00002eb5: POP
00002eb6: JUMP
00002eb7: JUMPDEST
00002eb8: PUSH1 0x00
00002eba: DUP3
00002ebb: PUSH1 0x1f
00002ebd: DUP4
00002ebe: ADD
00002ebf: SLT
00002ec0: PUSH2 0x2ec8
00002ec3: JUMPI
00002ec4: PUSH1 0x00
00002ec6: DUP1
00002ec7: REVERT
00002ec8: JUMPDEST
00002ec9: DUP2
00002eca: CALLDATALOAD
00002ecb: PUSH1 0x01
00002ecd: PUSH1 0x01
00002ecf: PUSH1 0x40
00002ed1: SHL
00002ed2: SUB
00002ed3: DUP2
00002ed4: GT
00002ed5: ISZERO
00002ed6: PUSH2 0x2ee1
00002ed9: JUMPI
00002eda: PUSH2 0x2ee1
00002edd: PUSH2 0x2e71
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: PUSH2 0x2ef4
00002ee5: PUSH1 0x1f
00002ee7: DUP3
00002ee8: ADD
00002ee9: PUSH1 0x1f
00002eeb: NOT
00002eec: AND
00002eed: PUSH1 0x20
00002eef: ADD
00002ef0: PUSH2 0x2e87
00002ef3: JUMP
00002ef4: JUMPDEST
00002ef5: DUP2
00002ef6: DUP2
00002ef7: MSTORE
00002ef8: DUP5
00002ef9: PUSH1 0x20
00002efb: DUP4
00002efc: DUP7
00002efd: ADD
00002efe: ADD
00002eff: GT
00002f00: ISZERO
00002f01: PUSH2 0x2f09
00002f04: JUMPI
00002f05: PUSH1 0x00
00002f07: DUP1
00002f08: REVERT
00002f09: JUMPDEST
00002f0a: DUP2
00002f0b: PUSH1 0x20
00002f0d: DUP6
00002f0e: ADD
00002f0f: PUSH1 0x20
00002f11: DUP4
00002f12: ADD
00002f13: CALLDATACOPY
00002f14: PUSH1 0x00
00002f16: SWAP2
00002f17: DUP2
00002f18: ADD
00002f19: PUSH1 0x20
00002f1b: ADD
00002f1c: SWAP2
00002f1d: SWAP1
00002f1e: SWAP2
00002f1f: MSTORE
00002f20: SWAP4
00002f21: SWAP3
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: JUMP
00002f26: JUMPDEST
00002f27: PUSH1 0x00
00002f29: DUP1
00002f2a: PUSH1 0x00
00002f2c: DUP1
00002f2d: PUSH1 0x80
00002f2f: DUP6
00002f30: DUP8
00002f31: SUB
00002f32: SLT
00002f33: ISZERO
00002f34: PUSH2 0x2f3c
00002f37: JUMPI
00002f38: PUSH1 0x00
00002f3a: DUP1
00002f3b: REVERT
00002f3c: JUMPDEST
00002f3d: DUP5
00002f3e: CALLDATALOAD
00002f3f: PUSH2 0x2f47
00002f42: DUP2
00002f43: PUSH2 0x2e5c
00002f46: JUMP
00002f47: JUMPDEST
00002f48: SWAP4
00002f49: POP
00002f4a: PUSH1 0x20
00002f4c: DUP6
00002f4d: ADD
00002f4e: CALLDATALOAD
00002f4f: PUSH2 0x2f57
00002f52: DUP2
00002f53: PUSH2 0x2e5c
00002f56: JUMP
00002f57: JUMPDEST
00002f58: SWAP3
00002f59: POP
00002f5a: PUSH1 0x40
00002f5c: DUP6
00002f5d: ADD
00002f5e: CALLDATALOAD
00002f5f: SWAP2
00002f60: POP
00002f61: PUSH1 0x60
00002f63: DUP6
00002f64: ADD
00002f65: CALLDATALOAD
00002f66: PUSH1 0x01
00002f68: PUSH1 0x01
00002f6a: PUSH1 0x40
00002f6c: SHL
00002f6d: SUB
00002f6e: DUP2
00002f6f: GT
00002f70: ISZERO
00002f71: PUSH2 0x2f79
00002f74: JUMPI
00002f75: PUSH1 0x00
00002f77: DUP1
00002f78: REVERT
00002f79: JUMPDEST
00002f7a: PUSH2 0x2f85
00002f7d: DUP8
00002f7e: DUP3
00002f7f: DUP9
00002f80: ADD
00002f81: PUSH2 0x2eb7
00002f84: JUMP
00002f85: JUMPDEST
00002f86: SWAP2
00002f87: POP
00002f88: POP
00002f89: SWAP3
00002f8a: SWAP6
00002f8b: SWAP2
00002f8c: SWAP5
00002f8d: POP
00002f8e: SWAP3
00002f8f: POP
00002f90: JUMP
00002f91: JUMPDEST
00002f92: PUSH1 0x01
00002f94: PUSH1 0x01
00002f96: PUSH1 0xa0
00002f98: SHL
00002f99: SUB
00002f9a: SWAP2
00002f9b: SWAP1
00002f9c: SWAP2
00002f9d: AND
00002f9e: DUP2
00002f9f: MSTORE
00002fa0: PUSH1 0x20
00002fa2: ADD
00002fa3: SWAP1
00002fa4: JUMP
00002fa5: JUMPDEST
00002fa6: PUSH1 0x00
00002fa8: DUP1
00002fa9: DUP4
00002faa: PUSH1 0x1f
00002fac: DUP5
00002fad: ADD
00002fae: SLT
00002faf: PUSH2 0x2fb7
00002fb2: JUMPI
00002fb3: PUSH1 0x00
00002fb5: DUP1
00002fb6: REVERT
00002fb7: JUMPDEST
00002fb8: POP
00002fb9: DUP2
00002fba: CALLDATALOAD
00002fbb: PUSH1 0x01
00002fbd: PUSH1 0x01
00002fbf: PUSH1 0x40
00002fc1: SHL
00002fc2: SUB
00002fc3: DUP2
00002fc4: GT
00002fc5: ISZERO
00002fc6: PUSH2 0x2fce
00002fc9: JUMPI
00002fca: PUSH1 0x00
00002fcc: DUP1
00002fcd: REVERT
00002fce: JUMPDEST
00002fcf: PUSH1 0x20
00002fd1: DUP4
00002fd2: ADD
00002fd3: SWAP2
00002fd4: POP
00002fd5: DUP4
00002fd6: PUSH1 0x20
00002fd8: DUP3
00002fd9: PUSH1 0x05
00002fdb: SHL
00002fdc: DUP6
00002fdd: ADD
00002fde: ADD
00002fdf: GT
00002fe0: ISZERO
00002fe1: PUSH2 0x2fe9
00002fe4: JUMPI
00002fe5: PUSH1 0x00
00002fe7: DUP1
00002fe8: REVERT
00002fe9: JUMPDEST
00002fea: SWAP3
00002feb: POP
00002fec: SWAP3
00002fed: SWAP1
00002fee: POP
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: PUSH1 0x00
00002ff3: DUP1
00002ff4: PUSH1 0x00
00002ff6: DUP1
00002ff7: PUSH1 0x00
00002ff9: DUP1
00002ffa: PUSH1 0x00
00002ffc: PUSH1 0x80
00002ffe: DUP9
00002fff: DUP11
00003000: SUB
00003001: SLT
00003002: ISZERO
00003003: PUSH2 0x300b
00003006: JUMPI
00003007: PUSH1 0x00
00003009: DUP1
0000300a: REVERT
0000300b: JUMPDEST
0000300c: DUP8
0000300d: CALLDATALOAD
0000300e: PUSH2 0x3016
00003011: DUP2
00003012: PUSH2 0x2e5c
00003015: JUMP
00003016: JUMPDEST
00003017: SWAP7
00003018: POP
00003019: PUSH1 0x20
0000301b: DUP9
0000301c: ADD
0000301d: CALLDATALOAD
0000301e: PUSH1 0x01
00003020: PUSH1 0x01
00003022: PUSH1 0x40
00003024: SHL
00003025: SUB
00003026: DUP1
00003027: DUP3
00003028: GT
00003029: ISZERO
0000302a: PUSH2 0x3032
0000302d: JUMPI
0000302e: PUSH1 0x00
00003030: DUP1
00003031: REVERT
00003032: JUMPDEST
00003033: PUSH2 0x303e
00003036: DUP12
00003037: DUP4
00003038: DUP13
00003039: ADD
0000303a: PUSH2 0x2fa5
0000303d: JUMP
0000303e: JUMPDEST
0000303f: SWAP1
00003040: SWAP9
00003041: POP
00003042: SWAP7
00003043: POP
00003044: PUSH1 0x40
00003046: DUP11
00003047: ADD
00003048: CALLDATALOAD
00003049: SWAP2
0000304a: POP
0000304b: DUP1
0000304c: DUP3
0000304d: GT
0000304e: ISZERO
0000304f: PUSH2 0x3057
00003052: JUMPI
00003053: PUSH1 0x00
00003055: DUP1
00003056: REVERT
00003057: JUMPDEST
00003058: PUSH2 0x3063
0000305b: DUP12
0000305c: DUP4
0000305d: DUP13
0000305e: ADD
0000305f: PUSH2 0x2fa5
00003062: JUMP
00003063: JUMPDEST
00003064: SWAP1
00003065: SWAP7
00003066: POP
00003067: SWAP5
00003068: POP
00003069: PUSH1 0x60
0000306b: DUP11
0000306c: ADD
0000306d: CALLDATALOAD
0000306e: SWAP2
0000306f: POP
00003070: DUP1
00003071: DUP3
00003072: GT
00003073: ISZERO
00003074: PUSH2 0x307c
00003077: JUMPI
00003078: PUSH1 0x00
0000307a: DUP1
0000307b: REVERT
0000307c: JUMPDEST
0000307d: POP
0000307e: PUSH2 0x3089
00003081: DUP11
00003082: DUP3
00003083: DUP12
00003084: ADD
00003085: PUSH2 0x2fa5
00003088: JUMP
00003089: JUMPDEST
0000308a: SWAP9
0000308b: SWAP12
0000308c: SWAP8
0000308d: SWAP11
0000308e: POP
0000308f: SWAP6
00003090: SWAP9
00003091: POP
00003092: SWAP4
00003093: SWAP7
00003094: SWAP3
00003095: SWAP6
00003096: SWAP3
00003097: SWAP4
00003098: POP
00003099: POP
0000309a: POP
0000309b: JUMP
0000309c: JUMPDEST
0000309d: PUSH1 0x00
0000309f: PUSH1 0x20
000030a1: DUP3
000030a2: DUP5
000030a3: SUB
000030a4: SLT
000030a5: ISZERO
000030a6: PUSH2 0x30ae
000030a9: JUMPI
000030aa: PUSH1 0x00
000030ac: DUP1
000030ad: REVERT
000030ae: JUMPDEST
000030af: DUP2
000030b0: CALLDATALOAD
000030b1: PUSH2 0x2e55
000030b4: DUP2
000030b5: PUSH2 0x2e5c
000030b8: JUMP
000030b9: JUMPDEST
000030ba: PUSH1 0x00
000030bc: DUP1
000030bd: DUP4
000030be: PUSH1 0x1f
000030c0: DUP5
000030c1: ADD
000030c2: SLT
000030c3: PUSH2 0x30cb
000030c6: JUMPI
000030c7: PUSH1 0x00
000030c9: DUP1
000030ca: REVERT
000030cb: JUMPDEST
000030cc: POP
000030cd: DUP2
000030ce: CALLDATALOAD
000030cf: PUSH1 0x01
000030d1: PUSH1 0x01
000030d3: PUSH1 0x40
000030d5: SHL
000030d6: SUB
000030d7: DUP2
000030d8: GT
000030d9: ISZERO
000030da: PUSH2 0x30e2
000030dd: JUMPI
000030de: PUSH1 0x00
000030e0: DUP1
000030e1: REVERT
000030e2: JUMPDEST
000030e3: PUSH1 0x20
000030e5: DUP4
000030e6: ADD
000030e7: SWAP2
000030e8: POP
000030e9: DUP4
000030ea: PUSH1 0x20
000030ec: DUP3
000030ed: DUP6
000030ee: ADD
000030ef: ADD
000030f0: GT
000030f1: ISZERO
000030f2: PUSH2 0x2fe9
000030f5: JUMPI
000030f6: PUSH1 0x00
000030f8: DUP1
000030f9: REVERT
000030fa: JUMPDEST
000030fb: PUSH1 0x00
000030fd: DUP1
000030fe: PUSH1 0x00
00003100: DUP1
00003101: PUSH1 0x00
00003103: PUSH1 0x80
00003105: DUP7
00003106: DUP9
00003107: SUB
00003108: SLT
00003109: ISZERO
0000310a: PUSH2 0x3112
0000310d: JUMPI
0000310e: PUSH1 0x00
00003110: DUP1
00003111: REVERT
00003112: JUMPDEST
00003113: DUP6
00003114: CALLDATALOAD
00003115: PUSH2 0x311d
00003118: DUP2
00003119: PUSH2 0x2e5c
0000311c: JUMP
0000311d: JUMPDEST
0000311e: SWAP5
0000311f: POP
00003120: PUSH1 0x20
00003122: DUP7
00003123: ADD
00003124: CALLDATALOAD
00003125: PUSH2 0x312d
00003128: DUP2
00003129: PUSH2 0x2e5c
0000312c: JUMP
0000312d: JUMPDEST
0000312e: SWAP4
0000312f: POP
00003130: PUSH1 0x40
00003132: DUP7
00003133: ADD
00003134: CALLDATALOAD
00003135: SWAP3
00003136: POP
00003137: PUSH1 0x60
00003139: DUP7
0000313a: ADD
0000313b: CALLDATALOAD
0000313c: PUSH1 0x01
0000313e: PUSH1 0x01
00003140: PUSH1 0x40
00003142: SHL
00003143: SUB
00003144: DUP2
00003145: GT
00003146: ISZERO
00003147: PUSH2 0x314f
0000314a: JUMPI
0000314b: PUSH1 0x00
0000314d: DUP1
0000314e: REVERT
0000314f: JUMPDEST
00003150: PUSH2 0x315b
00003153: DUP9
00003154: DUP3
00003155: DUP10
00003156: ADD
00003157: PUSH2 0x30b9
0000315a: JUMP
0000315b: JUMPDEST
0000315c: SWAP7
0000315d: SWAP10
0000315e: SWAP6
0000315f: SWAP9
00003160: POP
00003161: SWAP4
00003162: SWAP7
00003163: POP
00003164: SWAP3
00003165: SWAP5
00003166: SWAP4
00003167: SWAP3
00003168: POP
00003169: POP
0000316a: POP
0000316b: JUMP
0000316c: JUMPDEST
0000316d: PUSH1 0x00
0000316f: DUP1
00003170: PUSH1 0x00
00003172: DUP1
00003173: PUSH1 0x00
00003175: DUP1
00003176: PUSH1 0x00
00003178: DUP1
00003179: PUSH1 0xa0
0000317b: DUP10
0000317c: DUP12
0000317d: SUB
0000317e: SLT
0000317f: ISZERO
00003180: PUSH2 0x3188
00003183: JUMPI
00003184: PUSH1 0x00
00003186: DUP1
00003187: REVERT
00003188: JUMPDEST
00003189: DUP9
0000318a: CALLDATALOAD
0000318b: PUSH2 0x3193
0000318e: DUP2
0000318f: PUSH2 0x2e5c
00003192: JUMP
00003193: JUMPDEST
00003194: SWAP8
00003195: POP
00003196: PUSH1 0x20
00003198: DUP10
00003199: ADD
0000319a: CALLDATALOAD
0000319b: PUSH2 0x31a3
0000319e: DUP2
0000319f: PUSH2 0x2e5c
000031a2: JUMP
000031a3: JUMPDEST
000031a4: SWAP7
000031a5: POP
000031a6: PUSH1 0x40
000031a8: DUP10
000031a9: ADD
000031aa: CALLDATALOAD
000031ab: PUSH1 0x01
000031ad: PUSH1 0x01
000031af: PUSH1 0x40
000031b1: SHL
000031b2: SUB
000031b3: DUP1
000031b4: DUP3
000031b5: GT
000031b6: ISZERO
000031b7: PUSH2 0x31bf
000031ba: JUMPI
000031bb: PUSH1 0x00
000031bd: DUP1
000031be: REVERT
000031bf: JUMPDEST
000031c0: PUSH2 0x31cb
000031c3: DUP13
000031c4: DUP4
000031c5: DUP14
000031c6: ADD
000031c7: PUSH2 0x2fa5
000031ca: JUMP
000031cb: JUMPDEST
000031cc: SWAP1
000031cd: SWAP9
000031ce: POP
000031cf: SWAP7
000031d0: POP
000031d1: PUSH1 0x60
000031d3: DUP12
000031d4: ADD
000031d5: CALLDATALOAD
000031d6: SWAP2
000031d7: POP
000031d8: DUP1
000031d9: DUP3
000031da: GT
000031db: ISZERO
000031dc: PUSH2 0x31e4
000031df: JUMPI
000031e0: PUSH1 0x00
000031e2: DUP1
000031e3: REVERT
000031e4: JUMPDEST
000031e5: PUSH2 0x31f0
000031e8: DUP13
000031e9: DUP4
000031ea: DUP14
000031eb: ADD
000031ec: PUSH2 0x2fa5
000031ef: JUMP
000031f0: JUMPDEST
000031f1: SWAP1
000031f2: SWAP7
000031f3: POP
000031f4: SWAP5
000031f5: POP
000031f6: PUSH1 0x80
000031f8: DUP12
000031f9: ADD
000031fa: CALLDATALOAD
000031fb: SWAP2
000031fc: POP
000031fd: DUP1
000031fe: DUP3
000031ff: GT
00003200: ISZERO
00003201: PUSH2 0x3209
00003204: JUMPI
00003205: PUSH1 0x00
00003207: DUP1
00003208: REVERT
00003209: JUMPDEST
0000320a: POP
0000320b: PUSH2 0x3216
0000320e: DUP12
0000320f: DUP3
00003210: DUP13
00003211: ADD
00003212: PUSH2 0x30b9
00003215: JUMP
00003216: JUMPDEST
00003217: SWAP10
00003218: SWAP13
00003219: SWAP9
0000321a: SWAP12
0000321b: POP
0000321c: SWAP7
0000321d: SWAP10
0000321e: POP
0000321f: SWAP5
00003220: SWAP8
00003221: SWAP4
00003222: SWAP7
00003223: SWAP3
00003224: SWAP6
00003225: SWAP5
00003226: POP
00003227: POP
00003228: POP
00003229: JUMP
0000322a: JUMPDEST
0000322b: PUSH1 0x00
0000322d: DUP1
0000322e: PUSH1 0x00
00003230: DUP1
00003231: PUSH1 0x00
00003233: PUSH1 0x60
00003235: DUP7
00003236: DUP9
00003237: SUB
00003238: SLT
00003239: ISZERO
0000323a: PUSH2 0x3242
0000323d: JUMPI
0000323e: PUSH1 0x00
00003240: DUP1
00003241: REVERT
00003242: JUMPDEST
00003243: DUP6
00003244: CALLDATALOAD
00003245: PUSH2 0x324d
00003248: DUP2
00003249: PUSH2 0x2e5c
0000324c: JUMP
0000324d: JUMPDEST
0000324e: SWAP5
0000324f: POP
00003250: PUSH1 0x20
00003252: DUP7
00003253: ADD
00003254: CALLDATALOAD
00003255: PUSH1 0x01
00003257: PUSH1 0x01
00003259: PUSH1 0x40
0000325b: SHL
0000325c: SUB
0000325d: DUP1
0000325e: DUP3
0000325f: GT
00003260: ISZERO
00003261: PUSH2 0x3269
00003264: JUMPI
00003265: PUSH1 0x00
00003267: DUP1
00003268: REVERT
00003269: JUMPDEST
0000326a: PUSH2 0x3275
0000326d: DUP10
0000326e: DUP4
0000326f: DUP11
00003270: ADD
00003271: PUSH2 0x2fa5
00003274: JUMP
00003275: JUMPDEST
00003276: SWAP1
00003277: SWAP7
00003278: POP
00003279: SWAP5
0000327a: POP
0000327b: PUSH1 0x40
0000327d: DUP9
0000327e: ADD
0000327f: CALLDATALOAD
00003280: SWAP2
00003281: POP
00003282: DUP1
00003283: DUP3
00003284: GT
00003285: ISZERO
00003286: PUSH2 0x328e
00003289: JUMPI
0000328a: PUSH1 0x00
0000328c: DUP1
0000328d: REVERT
0000328e: JUMPDEST
0000328f: POP
00003290: PUSH2 0x315b
00003293: DUP9
00003294: DUP3
00003295: DUP10
00003296: ADD
00003297: PUSH2 0x2fa5
0000329a: JUMP
0000329b: JUMPDEST
0000329c: PUSH1 0x00
0000329e: DUP3
0000329f: PUSH1 0x1f
000032a1: DUP4
000032a2: ADD
000032a3: SLT
000032a4: PUSH2 0x32ac
000032a7: JUMPI
000032a8: PUSH1 0x00
000032aa: DUP1
000032ab: REVERT
000032ac: JUMPDEST
000032ad: DUP2
000032ae: CALLDATALOAD
000032af: PUSH1 0x20
000032b1: PUSH1 0x01
000032b3: PUSH1 0x01
000032b5: PUSH1 0x40
000032b7: SHL
000032b8: SUB
000032b9: DUP3
000032ba: GT
000032bb: ISZERO
000032bc: PUSH2 0x32c7
000032bf: JUMPI
000032c0: PUSH2 0x32c7
000032c3: PUSH2 0x2e71
000032c6: JUMP
000032c7: JUMPDEST
000032c8: DUP2
000032c9: PUSH1 0x05
000032cb: SHL
000032cc: PUSH2 0x32d6
000032cf: DUP3
000032d0: DUP3
000032d1: ADD
000032d2: PUSH2 0x2e87
000032d5: JUMP
000032d6: JUMPDEST
000032d7: SWAP3
000032d8: DUP4
000032d9: MSTORE
000032da: DUP5
000032db: DUP2
000032dc: ADD
000032dd: DUP3
000032de: ADD
000032df: SWAP3
000032e0: DUP3
000032e1: DUP2
000032e2: ADD
000032e3: SWAP1
000032e4: DUP8
000032e5: DUP6
000032e6: GT
000032e7: ISZERO
000032e8: PUSH2 0x32f0
000032eb: JUMPI
000032ec: PUSH1 0x00
000032ee: DUP1
000032ef: REVERT
000032f0: JUMPDEST
000032f1: DUP4
000032f2: DUP8
000032f3: ADD
000032f4: SWAP3
000032f5: POP
000032f6: JUMPDEST
000032f7: DUP5
000032f8: DUP4
000032f9: LT
000032fa: ISZERO
000032fb: PUSH2 0x2d82
000032fe: JUMPI
000032ff: DUP3
00003300: CALLDATALOAD
00003301: DUP3
00003302: MSTORE
00003303: SWAP2
00003304: DUP4
00003305: ADD
00003306: SWAP2
00003307: SWAP1
00003308: DUP4
00003309: ADD
0000330a: SWAP1
0000330b: PUSH2 0x32f6
0000330e: JUMP
0000330f: JUMPDEST
00003310: PUSH1 0x00
00003312: DUP1
00003313: PUSH1 0x00
00003315: DUP1
00003316: PUSH1 0x00
00003318: PUSH1 0xa0
0000331a: DUP7
0000331b: DUP9
0000331c: SUB
0000331d: SLT
0000331e: ISZERO
0000331f: PUSH2 0x3327
00003322: JUMPI
00003323: PUSH1 0x00
00003325: DUP1
00003326: REVERT
00003327: JUMPDEST
00003328: DUP6
00003329: CALLDATALOAD
0000332a: PUSH2 0x3332
0000332d: DUP2
0000332e: PUSH2 0x2e5c
00003331: JUMP
00003332: JUMPDEST
00003333: SWAP5
00003334: POP
00003335: PUSH1 0x20
00003337: DUP7
00003338: ADD
00003339: CALLDATALOAD
0000333a: PUSH2 0x3342
0000333d: DUP2
0000333e: PUSH2 0x2e5c
00003341: JUMP
00003342: JUMPDEST
00003343: SWAP4
00003344: POP
00003345: PUSH1 0x40
00003347: DUP7
00003348: ADD
00003349: CALLDATALOAD
0000334a: PUSH1 0x01
0000334c: PUSH1 0x01
0000334e: PUSH1 0x40
00003350: SHL
00003351: SUB
00003352: DUP1
00003353: DUP3
00003354: GT
00003355: ISZERO
00003356: PUSH2 0x335e
00003359: JUMPI
0000335a: PUSH1 0x00
0000335c: DUP1
0000335d: REVERT
0000335e: JUMPDEST
0000335f: PUSH2 0x336a
00003362: DUP10
00003363: DUP4
00003364: DUP11
00003365: ADD
00003366: PUSH2 0x329b
00003369: JUMP
0000336a: JUMPDEST
0000336b: SWAP5
0000336c: POP
0000336d: PUSH1 0x60
0000336f: DUP9
00003370: ADD
00003371: CALLDATALOAD
00003372: SWAP2
00003373: POP
00003374: DUP1
00003375: DUP3
00003376: GT
00003377: ISZERO
00003378: PUSH2 0x3380
0000337b: JUMPI
0000337c: PUSH1 0x00
0000337e: DUP1
0000337f: REVERT
00003380: JUMPDEST
00003381: PUSH2 0x338c
00003384: DUP10
00003385: DUP4
00003386: DUP11
00003387: ADD
00003388: PUSH2 0x329b
0000338b: JUMP
0000338c: JUMPDEST
0000338d: SWAP4
0000338e: POP
0000338f: PUSH1 0x80
00003391: DUP9
00003392: ADD
00003393: CALLDATALOAD
00003394: SWAP2
00003395: POP
00003396: DUP1
00003397: DUP3
00003398: GT
00003399: ISZERO
0000339a: PUSH2 0x33a2
0000339d: JUMPI
0000339e: PUSH1 0x00
000033a0: DUP1
000033a1: REVERT
000033a2: JUMPDEST
000033a3: POP
000033a4: PUSH2 0x33af
000033a7: DUP9
000033a8: DUP3
000033a9: DUP10
000033aa: ADD
000033ab: PUSH2 0x2eb7
000033ae: JUMP
000033af: JUMPDEST
000033b0: SWAP2
000033b1: POP
000033b2: POP
000033b3: SWAP3
000033b4: SWAP6
000033b5: POP
000033b6: SWAP3
000033b7: SWAP6
000033b8: SWAP1
000033b9: SWAP4
000033ba: POP
000033bb: JUMP
000033bc: JUMPDEST
000033bd: PUSH1 0x00
000033bf: DUP1
000033c0: PUSH1 0x00
000033c2: DUP1
000033c3: PUSH1 0x60
000033c5: DUP6
000033c6: DUP8
000033c7: SUB
000033c8: SLT
000033c9: ISZERO
000033ca: PUSH2 0x33d2
000033cd: JUMPI
000033ce: PUSH1 0x00
000033d0: DUP1
000033d1: REVERT
000033d2: JUMPDEST
000033d3: DUP5
000033d4: CALLDATALOAD
000033d5: PUSH2 0x33dd
000033d8: DUP2
000033d9: PUSH2 0x2e5c
000033dc: JUMP
000033dd: JUMPDEST
000033de: SWAP4
000033df: POP
000033e0: PUSH1 0x20
000033e2: DUP6
000033e3: ADD
000033e4: CALLDATALOAD
000033e5: PUSH2 0x33ed
000033e8: DUP2
000033e9: PUSH2 0x2e5c
000033ec: JUMP
000033ed: JUMPDEST
000033ee: SWAP3
000033ef: POP
000033f0: PUSH1 0x40
000033f2: DUP6
000033f3: ADD
000033f4: CALLDATALOAD
000033f5: PUSH1 0x01
000033f7: PUSH1 0x01
000033f9: PUSH1 0x40
000033fb: SHL
000033fc: SUB
000033fd: DUP2
000033fe: GT
000033ff: ISZERO
00003400: PUSH2 0x3408
00003403: JUMPI
00003404: PUSH1 0x00
00003406: DUP1
00003407: REVERT
00003408: JUMPDEST
00003409: PUSH2 0x3414
0000340c: DUP8
0000340d: DUP3
0000340e: DUP9
0000340f: ADD
00003410: PUSH2 0x30b9
00003413: JUMP
00003414: JUMPDEST
00003415: SWAP6
00003416: SWAP9
00003417: SWAP5
00003418: SWAP8
00003419: POP
0000341a: SWAP6
0000341b: POP
0000341c: POP
0000341d: POP
0000341e: POP
0000341f: JUMP
00003420: JUMPDEST
00003421: PUSH1 0x00
00003423: DUP1
00003424: PUSH1 0x00
00003426: DUP1
00003427: PUSH1 0x00
00003429: PUSH1 0xa0
0000342b: DUP7
0000342c: DUP9
0000342d: SUB
0000342e: SLT
0000342f: ISZERO
00003430: PUSH2 0x3438
00003433: JUMPI
00003434: PUSH1 0x00
00003436: DUP1
00003437: REVERT
00003438: JUMPDEST
00003439: DUP6
0000343a: CALLDATALOAD
0000343b: PUSH2 0x3443
0000343e: DUP2
0000343f: PUSH2 0x2e5c
00003442: JUMP
00003443: JUMPDEST
00003444: SWAP5
00003445: POP
00003446: PUSH1 0x20
00003448: DUP7
00003449: ADD
0000344a: CALLDATALOAD
0000344b: PUSH2 0x3453
0000344e: DUP2
0000344f: PUSH2 0x2e5c
00003452: JUMP
00003453: JUMPDEST
00003454: SWAP4
00003455: POP
00003456: PUSH1 0x40
00003458: DUP7
00003459: ADD
0000345a: CALLDATALOAD
0000345b: SWAP3
0000345c: POP
0000345d: PUSH1 0x60
0000345f: DUP7
00003460: ADD
00003461: CALLDATALOAD
00003462: SWAP2
00003463: POP
00003464: PUSH1 0x80
00003466: DUP7
00003467: ADD
00003468: CALLDATALOAD
00003469: PUSH1 0x01
0000346b: PUSH1 0x01
0000346d: PUSH1 0x40
0000346f: SHL
00003470: SUB
00003471: DUP2
00003472: GT
00003473: ISZERO
00003474: PUSH2 0x347c
00003477: JUMPI
00003478: PUSH1 0x00
0000347a: DUP1
0000347b: REVERT
0000347c: JUMPDEST
0000347d: PUSH2 0x33af
00003480: DUP9
00003481: DUP3
00003482: DUP10
00003483: ADD
00003484: PUSH2 0x2eb7
00003487: JUMP
00003488: JUMPDEST
00003489: PUSH1 0x00
0000348b: PUSH1 0x20
0000348d: DUP3
0000348e: DUP5
0000348f: SUB
00003490: SLT
00003491: ISZERO
00003492: PUSH2 0x349a
00003495: JUMPI
00003496: PUSH1 0x00
00003498: DUP1
00003499: REVERT
0000349a: JUMPDEST
0000349b: DUP2
0000349c: MLOAD
0000349d: DUP1
0000349e: ISZERO
0000349f: ISZERO
000034a0: DUP2
000034a1: EQ
000034a2: PUSH2 0x2e55
000034a5: JUMPI
000034a6: PUSH1 0x00
000034a8: DUP1
000034a9: REVERT
000034aa: JUMPDEST
000034ab: PUSH4 0x4e487b71
000034b0: PUSH1 0xe0
000034b2: SHL
000034b3: PUSH1 0x00
000034b5: MSTORE
000034b6: PUSH1 0x32
000034b8: PUSH1 0x04
000034ba: MSTORE
000034bb: PUSH1 0x24
000034bd: PUSH1 0x00
000034bf: REVERT
000034c0: JUMPDEST
000034c1: PUSH1 0x00
000034c3: DUP1
000034c4: DUP4
000034c5: CALLDATALOAD
000034c6: PUSH1 0x1e
000034c8: NOT
000034c9: DUP5
000034ca: CALLDATASIZE
000034cb: SUB
000034cc: ADD
000034cd: DUP2
000034ce: SLT
000034cf: PUSH2 0x34d7
000034d2: JUMPI
000034d3: PUSH1 0x00
000034d5: DUP1
000034d6: REVERT
000034d7: JUMPDEST
000034d8: DUP4
000034d9: ADD
000034da: DUP1
000034db: CALLDATALOAD
000034dc: SWAP2
000034dd: POP
000034de: PUSH1 0x01
000034e0: PUSH1 0x01
000034e2: PUSH1 0x40
000034e4: SHL
000034e5: SUB
000034e6: DUP3
000034e7: GT
000034e8: ISZERO
000034e9: PUSH2 0x34f1
000034ec: JUMPI
000034ed: PUSH1 0x00
000034ef: DUP1
000034f0: REVERT
000034f1: JUMPDEST
000034f2: PUSH1 0x20
000034f4: ADD
000034f5: SWAP2
000034f6: POP
000034f7: CALLDATASIZE
000034f8: DUP2
000034f9: SWAP1
000034fa: SUB
000034fb: DUP3
000034fc: SGT
000034fd: ISZERO
000034fe: PUSH2 0x2fe9
00003501: JUMPI
00003502: PUSH1 0x00
00003504: DUP1
00003505: REVERT
00003506: JUMPDEST
00003507: DUP2
00003508: DUP4
00003509: MSTORE
0000350a: DUP2
0000350b: DUP2
0000350c: PUSH1 0x20
0000350e: DUP6
0000350f: ADD
00003510: CALLDATACOPY
00003511: POP
00003512: PUSH1 0x00
00003514: DUP3
00003515: DUP3
00003516: ADD
00003517: PUSH1 0x20
00003519: SWAP1
0000351a: DUP2
0000351b: ADD
0000351c: SWAP2
0000351d: SWAP1
0000351e: SWAP2
0000351f: MSTORE
00003520: PUSH1 0x1f
00003522: SWAP1
00003523: SWAP2
00003524: ADD
00003525: PUSH1 0x1f
00003527: NOT
00003528: AND
00003529: SWAP1
0000352a: SWAP2
0000352b: ADD
0000352c: ADD
0000352d: SWAP1
0000352e: JUMP
0000352f: JUMPDEST
00003530: DUP4
00003531: DUP2
00003532: MSTORE
00003533: PUSH1 0x40
00003535: PUSH1 0x20
00003537: DUP3
00003538: ADD
00003539: MSTORE
0000353a: PUSH1 0x00
0000353c: PUSH2 0x3549
0000353f: PUSH1 0x40
00003541: DUP4
00003542: ADD
00003543: DUP5
00003544: DUP7
00003545: PUSH2 0x3506
00003548: JUMP
00003549: JUMPDEST
0000354a: SWAP6
0000354b: SWAP5
0000354c: POP
0000354d: POP
0000354e: POP
0000354f: POP
00003550: POP
00003551: JUMP
00003552: JUMPDEST
00003553: PUSH4 0x4e487b71
00003558: PUSH1 0xe0
0000355a: SHL
0000355b: PUSH1 0x00
0000355d: MSTORE
0000355e: PUSH1 0x11
00003560: PUSH1 0x04
00003562: MSTORE
00003563: PUSH1 0x24
00003565: PUSH1 0x00
00003567: REVERT
00003568: JUMPDEST
00003569: PUSH1 0x00
0000356b: PUSH1 0x01
0000356d: DUP3
0000356e: ADD
0000356f: PUSH2 0x357a
00003572: JUMPI
00003573: PUSH2 0x357a
00003576: PUSH2 0x3552
00003579: JUMP
0000357a: JUMPDEST
0000357b: POP
0000357c: PUSH1 0x01
0000357e: ADD
0000357f: SWAP1
00003580: JUMP
00003581: JUMPDEST
00003582: DUP2
00003583: DUP4
00003584: MSTORE
00003585: PUSH1 0x00
00003587: PUSH1 0x20
00003589: DUP1
0000358a: DUP6
0000358b: ADD
0000358c: SWAP5
0000358d: POP
0000358e: DUP3
0000358f: PUSH1 0x00
00003591: JUMPDEST
00003592: DUP6
00003593: DUP2
00003594: LT
00003595: ISZERO
00003596: PUSH2 0x35bf
00003599: JUMPI
0000359a: DUP2
0000359b: CALLDATALOAD
0000359c: PUSH2 0x35a4
0000359f: DUP2
000035a0: PUSH2 0x2e5c
000035a3: JUMP
000035a4: JUMPDEST
000035a5: PUSH1 0x01
000035a7: PUSH1 0x01
000035a9: PUSH1 0xa0
000035ab: SHL
000035ac: SUB
000035ad: AND
000035ae: DUP8
000035af: MSTORE
000035b0: SWAP6
000035b1: DUP3
000035b2: ADD
000035b3: SWAP6
000035b4: SWAP1
000035b5: DUP3
000035b6: ADD
000035b7: SWAP1
000035b8: PUSH1 0x01
000035ba: ADD
000035bb: PUSH2 0x3591
000035be: JUMP
000035bf: JUMPDEST
000035c0: POP
000035c1: SWAP5
000035c2: SWAP6
000035c3: SWAP5
000035c4: POP
000035c5: POP
000035c6: POP
000035c7: POP
000035c8: POP
000035c9: JUMP
000035ca: JUMPDEST
000035cb: DUP2
000035cc: DUP4
000035cd: MSTORE
000035ce: PUSH1 0x00
000035d0: PUSH1 0x01
000035d2: PUSH1 0x01
000035d4: PUSH1 0xfb
000035d6: SHL
000035d7: SUB
000035d8: DUP4
000035d9: GT
000035da: ISZERO
000035db: PUSH2 0x35e3
000035de: JUMPI
000035df: PUSH1 0x00
000035e1: DUP1
000035e2: REVERT
000035e3: JUMPDEST
000035e4: DUP3
000035e5: PUSH1 0x05
000035e7: SHL
000035e8: DUP1
000035e9: DUP4
000035ea: PUSH1 0x20
000035ec: DUP8
000035ed: ADD
000035ee: CALLDATACOPY
000035ef: SWAP4
000035f0: SWAP1
000035f1: SWAP4
000035f2: ADD
000035f3: PUSH1 0x20
000035f5: ADD
000035f6: SWAP4
000035f7: SWAP3
000035f8: POP
000035f9: POP
000035fa: POP
000035fb: JUMP
000035fc: JUMPDEST
000035fd: DUP2
000035fe: DUP4
000035ff: MSTORE
00003600: PUSH1 0x00
00003602: PUSH1 0x20
00003604: DUP1
00003605: DUP6
00003606: ADD
00003607: DUP1
00003608: DUP2
00003609: SWAP7
0000360a: POP
0000360b: DUP6
0000360c: PUSH1 0x05
0000360e: SHL
0000360f: DUP2
00003610: ADD
00003611: SWAP2
00003612: POP
00003613: DUP5
00003614: PUSH1 0x00
00003616: JUMPDEST
00003617: DUP8
00003618: DUP2
00003619: LT
0000361a: ISZERO
0000361b: PUSH2 0x3680
0000361e: JUMPI
0000361f: DUP3
00003620: DUP5
00003621: SUB
00003622: DUP10
00003623: MSTORE
00003624: DUP2
00003625: CALLDATALOAD
00003626: PUSH1 0x1e
00003628: NOT
00003629: DUP9
0000362a: CALLDATASIZE
0000362b: SUB
0000362c: ADD
0000362d: DUP2
0000362e: SLT
0000362f: PUSH2 0x3637
00003632: JUMPI
00003633: PUSH1 0x00
00003635: DUP1
00003636: REVERT
00003637: JUMPDEST
00003638: DUP8
00003639: ADD
0000363a: DUP6
0000363b: DUP2
0000363c: ADD
0000363d: SWAP1
0000363e: CALLDATALOAD
0000363f: PUSH1 0x01
00003641: PUSH1 0x01
00003643: PUSH1 0x40
00003645: SHL
00003646: SUB
00003647: DUP2
00003648: GT
00003649: ISZERO
0000364a: PUSH2 0x3652
0000364d: JUMPI
0000364e: PUSH1 0x00
00003650: DUP1
00003651: REVERT
00003652: JUMPDEST
00003653: DUP1
00003654: CALLDATASIZE
00003655: SUB
00003656: DUP3
00003657: SGT
00003658: ISZERO
00003659: PUSH2 0x3661
0000365c: JUMPI
0000365d: PUSH1 0x00
0000365f: DUP1
00003660: REVERT
00003661: JUMPDEST
00003662: PUSH2 0x366c
00003665: DUP7
00003666: DUP3
00003667: DUP5
00003668: PUSH2 0x3506
0000366b: JUMP
0000366c: JUMPDEST
0000366d: SWAP11
0000366e: DUP8
0000366f: ADD
00003670: SWAP11
00003671: SWAP6
00003672: POP
00003673: POP
00003674: POP
00003675: SWAP1
00003676: DUP5
00003677: ADD
00003678: SWAP1
00003679: PUSH1 0x01
0000367b: ADD
0000367c: PUSH2 0x3616
0000367f: JUMP
00003680: JUMPDEST
00003681: POP
00003682: SWAP2
00003683: SWAP8
00003684: SWAP7
00003685: POP
00003686: POP
00003687: POP
00003688: POP
00003689: POP
0000368a: POP
0000368b: POP
0000368c: JUMP
0000368d: JUMPDEST
0000368e: PUSH1 0x60
00003690: DUP2
00003691: MSTORE
00003692: PUSH1 0x00
00003694: PUSH2 0x36a1
00003697: PUSH1 0x60
00003699: DUP4
0000369a: ADD
0000369b: DUP9
0000369c: DUP11
0000369d: PUSH2 0x3581
000036a0: JUMP
000036a1: JUMPDEST
000036a2: DUP3
000036a3: DUP2
000036a4: SUB
000036a5: PUSH1 0x20
000036a7: DUP5
000036a8: ADD
000036a9: MSTORE
000036aa: PUSH2 0x36b4
000036ad: DUP2
000036ae: DUP8
000036af: DUP10
000036b0: PUSH2 0x35ca
000036b3: JUMP
000036b4: JUMPDEST
000036b5: SWAP1
000036b6: POP
000036b7: DUP3
000036b8: DUP2
000036b9: SUB
000036ba: PUSH1 0x40
000036bc: DUP5
000036bd: ADD
000036be: MSTORE
000036bf: PUSH2 0x36c9
000036c2: DUP2
000036c3: DUP6
000036c4: DUP8
000036c5: PUSH2 0x35fc
000036c8: JUMP
000036c9: JUMPDEST
000036ca: SWAP10
000036cb: SWAP9
000036cc: POP
000036cd: POP
000036ce: POP
000036cf: POP
000036d0: POP
000036d1: POP
000036d2: POP
000036d3: POP
000036d4: POP
000036d5: JUMP
000036d6: JUMPDEST
000036d7: PUSH1 0x01
000036d9: PUSH1 0x01
000036db: PUSH1 0xa0
000036dd: SHL
000036de: SUB
000036df: SWAP3
000036e0: DUP4
000036e1: AND
000036e2: DUP2
000036e3: MSTORE
000036e4: SWAP2
000036e5: AND
000036e6: PUSH1 0x20
000036e8: DUP3
000036e9: ADD
000036ea: MSTORE
000036eb: PUSH1 0x40
000036ed: ADD
000036ee: SWAP1
000036ef: JUMP
000036f0: JUMPDEST
000036f1: PUSH1 0x00
000036f3: PUSH1 0x20
000036f5: DUP3
000036f6: DUP5
000036f7: SUB
000036f8: SLT
000036f9: ISZERO
000036fa: PUSH2 0x3702
000036fd: JUMPI
000036fe: PUSH1 0x00
00003700: DUP1
00003701: REVERT
00003702: JUMPDEST
00003703: POP
00003704: MLOAD
00003705: SWAP2
00003706: SWAP1
00003707: POP
00003708: JUMP
00003709: JUMPDEST
0000370a: PUSH1 0x20
0000370c: DUP1
0000370d: DUP3
0000370e: MSTORE
0000370f: DUP2
00003710: DUP2
00003711: ADD
00003712: MSTORE
00003713: PUSH32 0x4f776e61626c654c6f636b65643a3a756e6c6f636b65642829206c6f636b6564
00003734: PUSH1 0x40
00003736: DUP3
00003737: ADD
00003738: MSTORE
00003739: PUSH1 0x60
0000373b: ADD
0000373c: SWAP1
0000373d: JUMP
0000373e: JUMPDEST
0000373f: PUSH1 0x20
00003741: DUP2
00003742: MSTORE
00003743: PUSH1 0x00
00003745: PUSH2 0x034d
00003748: PUSH1 0x20
0000374a: DUP4
0000374b: ADD
0000374c: DUP5
0000374d: DUP7
0000374e: PUSH2 0x3506
00003751: JUMP
00003752: JUMPDEST
00003753: PUSH1 0x01
00003755: PUSH1 0x01
00003757: PUSH1 0xa0
00003759: SHL
0000375a: SUB
0000375b: SWAP3
0000375c: SWAP1
0000375d: SWAP3
0000375e: AND
0000375f: DUP3
00003760: MSTORE
00003761: PUSH1 0x20
00003763: DUP3
00003764: ADD
00003765: MSTORE
00003766: PUSH1 0x40
00003768: ADD
00003769: SWAP1
0000376a: JUMP
0000376b: JUMPDEST
0000376c: PUSH1 0x01
0000376e: DUP1
0000376f: PUSH1 0xa0
00003771: SHL
00003772: SUB
00003773: DUP6
00003774: AND
00003775: DUP2
00003776: MSTORE
00003777: DUP4
00003778: PUSH1 0x20
0000377a: DUP3
0000377b: ADD
0000377c: MSTORE
0000377d: PUSH1 0x60
0000377f: PUSH1 0x40
00003781: DUP3
00003782: ADD
00003783: MSTORE
00003784: PUSH1 0x00
00003786: PUSH2 0x3793
00003789: PUSH1 0x60
0000378b: DUP4
0000378c: ADD
0000378d: DUP5
0000378e: DUP7
0000378f: PUSH2 0x3506
00003792: JUMP
00003793: JUMPDEST
00003794: SWAP7
00003795: SWAP6
00003796: POP
00003797: POP
00003798: POP
00003799: POP
0000379a: POP
0000379b: POP
0000379c: JUMP
0000379d: JUMPDEST
0000379e: PUSH1 0x00
000037a0: PUSH1 0x20
000037a2: DUP3
000037a3: DUP5
000037a4: SUB
000037a5: SLT
000037a6: ISZERO
000037a7: PUSH2 0x37af
000037aa: JUMPI
000037ab: PUSH1 0x00
000037ad: DUP1
000037ae: REVERT
000037af: JUMPDEST
000037b0: DUP2
000037b1: MLOAD
000037b2: PUSH2 0x2e55
000037b5: DUP2
000037b6: PUSH2 0x2e5c
000037b9: JUMP
000037ba: JUMPDEST
000037bb: PUSH4 0x4e487b71
000037c0: PUSH1 0xe0
000037c2: SHL
000037c3: PUSH1 0x00
000037c5: MSTORE
000037c6: PUSH1 0x01
000037c8: PUSH1 0x04
000037ca: MSTORE
000037cb: PUSH1 0x24
000037cd: PUSH1 0x00
000037cf: REVERT
000037d0: JUMPDEST
000037d1: PUSH1 0x60
000037d3: DUP2
000037d4: MSTORE
000037d5: PUSH1 0x00
000037d7: PUSH2 0x37e4
000037da: PUSH1 0x60
000037dc: DUP4
000037dd: ADD
000037de: DUP9
000037df: DUP11
000037e0: PUSH2 0x35ca
000037e3: JUMP
000037e4: JUMPDEST
000037e5: DUP3
000037e6: DUP2
000037e7: SUB
000037e8: PUSH1 0x20
000037ea: DUP5
000037eb: ADD
000037ec: MSTORE
000037ed: PUSH2 0x37f7
000037f0: DUP2
000037f1: DUP8
000037f2: DUP10
000037f3: PUSH2 0x35ca
000037f6: JUMP
000037f7: JUMPDEST
000037f8: SWAP1
000037f9: POP
000037fa: DUP3
000037fb: DUP2
000037fc: SUB
000037fd: PUSH1 0x40
000037ff: DUP5
00003800: ADD
00003801: MSTORE
00003802: PUSH2 0x36c9
00003805: DUP2
00003806: DUP6
00003807: DUP8
00003808: PUSH2 0x3506
0000380b: JUMP
0000380c: JUMPDEST
0000380d: PUSH1 0x01
0000380f: PUSH1 0x01
00003811: PUSH1 0xa0
00003813: SHL
00003814: SUB
00003815: DUP9
00003816: AND
00003817: DUP2
00003818: MSTORE
00003819: PUSH1 0x80
0000381b: PUSH1 0x20
0000381d: DUP3
0000381e: ADD
0000381f: DUP2
00003820: SWAP1
00003821: MSTORE
00003822: PUSH1 0x00
00003824: SWAP1
00003825: PUSH2 0x3831
00003828: SWAP1
00003829: DUP4
0000382a: ADD
0000382b: DUP9
0000382c: DUP11
0000382d: PUSH2 0x35ca
00003830: JUMP
00003831: JUMPDEST
00003832: DUP3
00003833: DUP2
00003834: SUB
00003835: PUSH1 0x40
00003837: DUP5
00003838: ADD
00003839: MSTORE
0000383a: PUSH2 0x3844
0000383d: DUP2
0000383e: DUP8
0000383f: DUP10
00003840: PUSH2 0x35ca
00003843: JUMP
00003844: JUMPDEST
00003845: SWAP1
00003846: POP
00003847: DUP3
00003848: DUP2
00003849: SUB
0000384a: PUSH1 0x60
0000384c: DUP5
0000384d: ADD
0000384e: MSTORE
0000384f: PUSH2 0x3859
00003852: DUP2
00003853: DUP6
00003854: DUP8
00003855: PUSH2 0x3506
00003858: JUMP
00003859: JUMPDEST
0000385a: SWAP11
0000385b: SWAP10
0000385c: POP
0000385d: POP
0000385e: POP
0000385f: POP
00003860: POP
00003861: POP
00003862: POP
00003863: POP
00003864: POP
00003865: POP
00003866: JUMP
00003867: JUMPDEST
00003868: PUSH1 0x01
0000386a: PUSH1 0x01
0000386c: PUSH1 0xa0
0000386e: SHL
0000386f: SUB
00003870: SWAP3
00003871: SWAP1
00003872: SWAP3
00003873: AND
00003874: DUP3
00003875: MSTORE
00003876: ISZERO
00003877: ISZERO
00003878: PUSH1 0x20
0000387a: DUP3
0000387b: ADD
0000387c: MSTORE
0000387d: PUSH1 0x40
0000387f: ADD
00003880: SWAP1
00003881: JUMP
00003882: JUMPDEST
00003883: PUSH1 0x40
00003885: DUP2
00003886: MSTORE
00003887: PUSH1 0x00
00003889: PUSH2 0x3896
0000388c: PUSH1 0x40
0000388e: DUP4
0000388f: ADD
00003890: DUP7
00003891: DUP9
00003892: PUSH2 0x3581
00003895: JUMP
00003896: JUMPDEST
00003897: DUP3
00003898: DUP2
00003899: SUB
0000389a: PUSH1 0x20
0000389c: DUP5
0000389d: ADD
0000389e: MSTORE
0000389f: PUSH2 0x2d82
000038a2: DUP2
000038a3: DUP6
000038a4: DUP8
000038a5: PUSH2 0x35fc
000038a8: JUMP
000038a9: JUMPDEST
000038aa: PUSH1 0x01
000038ac: PUSH1 0x01
000038ae: PUSH1 0xa0
000038b0: SHL
000038b1: SUB
000038b2: DUP5
000038b3: AND
000038b4: DUP2
000038b5: MSTORE
000038b6: PUSH1 0x40
000038b8: PUSH1 0x20
000038ba: DUP3
000038bb: ADD
000038bc: DUP2
000038bd: SWAP1
000038be: MSTORE
000038bf: PUSH1 0x00
000038c1: SWAP1
000038c2: PUSH2 0x3549
000038c5: SWAP1
000038c6: DUP4
000038c7: ADD
000038c8: DUP5
000038c9: DUP7
000038ca: PUSH2 0x3506
000038cd: JUMP
000038ce: JUMPDEST
000038cf: DUP1
000038d0: DUP3
000038d1: ADD
000038d2: DUP1
000038d3: DUP3
000038d4: GT
000038d5: ISZERO
000038d6: PUSH2 0x033e
000038d9: JUMPI
000038da: PUSH2 0x033e
000038dd: PUSH2 0x3552
000038e0: JUMP
000038e1: JUMPDEST
000038e2: PUSH1 0x00
000038e4: JUMPDEST
000038e5: DUP4
000038e6: DUP2
000038e7: LT
000038e8: ISZERO
000038e9: PUSH2 0x38fc
000038ec: JUMPI
000038ed: DUP2
000038ee: DUP2
000038ef: ADD
000038f0: MLOAD
000038f1: DUP4
000038f2: DUP3
000038f3: ADD
000038f4: MSTORE
000038f5: PUSH1 0x20
000038f7: ADD
000038f8: PUSH2 0x38e4
000038fb: JUMP
000038fc: JUMPDEST
000038fd: POP
000038fe: POP
000038ff: PUSH1 0x00
00003901: SWAP2
00003902: ADD
00003903: MSTORE
00003904: JUMP
00003905: JUMPDEST
00003906: PUSH1 0x00
00003908: DUP3
00003909: MLOAD
0000390a: PUSH2 0x3917
0000390d: DUP2
0000390e: DUP5
0000390f: PUSH1 0x20
00003911: DUP8
00003912: ADD
00003913: PUSH2 0x38e1
00003916: JUMP
00003917: JUMPDEST
00003918: SWAP2
00003919: SWAP1
0000391a: SWAP2
0000391b: ADD
0000391c: SWAP3
0000391d: SWAP2
0000391e: POP
0000391f: POP
00003920: JUMP
00003921: JUMPDEST
00003922: PUSH1 0x20
00003924: DUP2
00003925: MSTORE
00003926: PUSH1 0x00
00003928: DUP3
00003929: MLOAD
0000392a: DUP1
0000392b: PUSH1 0x20
0000392d: DUP5
0000392e: ADD
0000392f: MSTORE
00003930: PUSH2 0x3940
00003933: DUP2
00003934: PUSH1 0x40
00003936: DUP6
00003937: ADD
00003938: PUSH1 0x20
0000393a: DUP8
0000393b: ADD
0000393c: PUSH2 0x38e1
0000393f: JUMP
00003940: JUMPDEST
00003941: PUSH1 0x1f
00003943: ADD
00003944: PUSH1 0x1f
00003946: NOT
00003947: AND
00003948: SWAP2
00003949: SWAP1
0000394a: SWAP2
0000394b: ADD
0000394c: PUSH1 0x40
0000394e: ADD
0000394f: SWAP3
00003950: SWAP2
00003951: POP
00003952: POP
00003953: JUMP
00003954: INVALID
00003955: AND
00003956: UNKNOWN(0xC8)
00003957: UNKNOWN(0xE5)
00003958: UNKNOWN(0xE1)
00003959: UNKNOWN(0xE7)
0000395a: UNKNOWN(0xBD)
0000395b: PUSH13 0xa58a21983a6d3e782beecebb9a
00003969: GASPRICE
0000396a: SWAP7
0000396b: UNKNOWN(0xB8)
0000396c: DIV
0000396d: MSTORE8
0000396e: ISZERO
0000396f: GT
00003970: DIFFICULTY
00003971: TIMESTAMP
00003972: CALL
00003973: UNKNOWN(0xE2)
00003974: PUSH9 0x1194c210bf0fe9671e
0000397e: GASPRICE
0000397f: UNKNOWN(0x2B)
00003980: MSTORE8
00003981: UNKNOWN(0x0C)
00003982: GASLIMIT
00003983: DIFFICULTY
00003984: PUSH22 0xd11448b442cc22aa0771ad587dc42dbc36e2c0c53dfd
0000399b: ADDRESS
0000399c: INVALID
0000399d: SWAP14
0000399e: UNKNOWN(0xD5)
0000399f: UNKNOWN(0xD2)
000039a0: EXP
000039a1: SWAP1
000039a2: BLOBBASEFEE
000039a3: UNKNOWN(0xBF)
000039a4: LOG4
000039a5: UNKNOWN(0x2A)
000039a6: JUMPDEST
000039a7: PUSH4 0x86c54065
000039ac: UNKNOWN(0x26)
000039ad: DIV
000039ae: UNKNOWN(0xD8)
000039af: CALLDATALOAD
000039b0: UNKNOWN(0xA8)
000039b1: SSTORE
000039b2: UNKNOWN(0xBF)
000039b3: DUP13
000039b4: UNKNOWN(0x4F)
000039b5: UNKNOWN(0x0F)
000039b6: UNKNOWN(0x1F)
000039b7: PUSH30 0x4ae7fe91e4751ad2feb1831c86c59e214c817fde6b93cf8f042ba6490d4f
000039d6: PUSH24 0x6e61626c654c6f636b65643a3a7472616e736665724f776e
000039ef: PUSH6 0x7273686970cc
000039f6: UNKNOWN(0xEB)
000039f7: PUSH16 0x80504f6106e3c6300bbfad14fee29305
00003a08: SIGNEXTEND
00003a09: POP
00003a0a: RETURNDATACOPY
00003a0b: UNKNOWN(0xA5)
00003a0c: TLOAD
00003a0d: TSTORE
00003a0e: UNKNOWN(0x0E)
00003a0f: PUSH12 0xea39771749a2646970667358
00003a1c: UNKNOWN(0x22)
00003a1d: SLT
00003a1e: KECCAK256
00003a1f: AND
00003a20: SWAP3
00003a21: UNKNOWN(0xB7)
00003a22: UNKNOWN(0x0F)
00003a23: UNKNOWN(0x2C)
00003a24: EQ
00003a25: GASLIMIT
00003a26: UNKNOWN(0xAF)
00003a27: UNKNOWN(0xD9)
00003a28: DUP14
00003a29: PUSH9 0x46ee3aa63c4f329922
00003a33: CALLDATACOPY
00003a34: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xed0152e4703a12aed8e63fc6a3ecadd8ea7481bf3f08c59330046bd6918a5c1d
call_targets: 0xb65a66621d7de34afec9b9ac0755133051550dd7
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xed0152e4703a12aed8e63fc6a3ecadd8ea7481bf3f08c59330046bd6918a5c1d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb65a66621d7de34afec9b9ac0755133051550dd7"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x150b7a02",
            "selector": "0x150b7a02",
            "calldata_variants": [
                "0x150b7a02",
                "0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ce8d432",
            "selector": "0x3ce8d432",
            "calldata_variants": [
                "0x3ce8d432",
                "0x3ce8d4320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406df6bb",
            "selector": "0x406df6bb",
            "calldata_variants": [
                "0x406df6bb",
                "0x406df6bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4828e137",
            "selector": "0x4828e137",
            "calldata_variants": [
                "0x4828e137",
                "0x4828e1370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58289c7e",
            "selector": "0x58289c7e",
            "calldata_variants": [
                "0x58289c7e",
                "0x58289c7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70240769",
            "selector": "0x70240769",
            "calldata_variants": [
                "0x70240769",
                "0x702407690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70defbad",
            "selector": "0x70defbad",
            "calldata_variants": [
                "0x70defbad",
                "0x70defbad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2690,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3920,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 14,
    "guards_detected": [],
    "untrusted_call_count": 14
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xed0152e4703a12aed8e63fc6a3ecadd8ea7481bf3f08c59330046bd6918a5c1d
call_targets: 0xb65a66621d7de34afec9b9ac0755133051550dd7
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xed0152e4703a12aed8e63fc6a3ecadd8ea7481bf3f08c59330046bd6918a5c1d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb65a66621d7de34afec9b9ac0755133051550dd7"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x150b7a02",
            "selector": "0x150b7a02",
            "calldata_variants": [
                "0x150b7a02",
                "0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ce8d432",
            "selector": "0x3ce8d432",
            "calldata_variants": [
                "0x3ce8d432",
                "0x3ce8d4320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x406df6bb",
            "selector": "0x406df6bb",
            "calldata_variants": [
                "0x406df6bb",
                "0x406df6bb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4828e137",
            "selector": "0x4828e137",
            "calldata_variants": [
                "0x4828e137",
                "0x4828e1370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58289c7e",
            "selector": "0x58289c7e",
            "calldata_variants": [
                "0x58289c7e",
                "0x58289c7e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70240769",
            "selector": "0x70240769",
            "calldata_variants": [
                "0x70240769",
                "0x702407690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70defbad",
            "selector": "0x70defbad",
            "calldata_variants": [
                "0x70defbad",
                "0x70defbad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1602,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2690,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3920,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 14,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 13
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 39
}