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

Analysis Run

33763f82-7c08-4a94-88f3-32d7c4c67297

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
SELFDESTRUCT present
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
31691 report.consolidate complete 1 / 1 3 months ago
95569 artifact.fetch failed 1 / 3 1 week ago
95570 tool.cast_disasm complete 1 / 3 1 week ago
95571 analysis.bundle complete 1 / 3 1 week ago
95572 capability.graph complete 1 / 3 1 week ago
95573 detector.run complete 1 / 3 1 week ago
95574 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 provided contracts.
View stderr
[codex:676288] OpenAI Codex v0.77.0 (research preview)
[codex:676288] --------
[codex:676288] workdir: /tmp/codex-multi-a4moz92m
[codex:676288] model: gpt-5.2-codex
[codex:676288] provider: openai
[codex:676288] approval: never
[codex:676288] sandbox: read-only
[codex:676288] reasoning effort: xhigh
[codex:676288] reasoning summaries: auto
[codex:676288] session id: 019b8c86-2a72-7ac0-9139-d6314c0e2009
[codex:676288] --------
[codex:676288] user
[codex:676288] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:676288] 
[codex:676288] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:676288] 
[codex:676288] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:676288] - Gas inefficiency, code quality, naming, or best practices
[codex:676288] - Theoretical vulnerabilities without a clear extraction path
[codex:676288] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:676288] - Front-running unless it enables theft beyond MEV
[codex:676288] - DoS, griefing, or issues that don't result in attacker profit
[codex:676288] - Missing events, view function issues, or informational findings
[codex:676288] 
[codex:676288] HIGH-VALUE PATTERNS TO HUNT:
[codex:676288] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:676288] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:676288] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:676288] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:676288] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:676288] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:676288] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:676288] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:676288] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:676288] 
[codex:676288] For each finding, you MUST provide:
[codex:676288] 1. Exact file and line numbers of vulnerable code
[codex:676288] 2. Step-by-step exploit transaction sequence
[codex:676288] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:676288] 
[codex:676288] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:676288] 
[codex:676288] Output MUST be valid JSON matching the provided schema.
[codex:676288] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:676288] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:676288] mcp startup: no servers
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Searching for AUDIT_BUNDLE files**
[codex:676288] exec
[codex:676288] /bin/bash -lc ls in /tmp/codex-multi-a4moz92m succeeded in 6ms:
[codex:676288] AUDIT_BUNDLE.txt
[codex:676288] codex-output-schema.json
[codex:676288] contracts
[codex:676288] exec
[codex:676288] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-a4moz92m succeeded in 7ms:
[codex:676288] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:676288] 
[codex:676288] ================================================================================
[codex:676288] FILE: contracts/Contract.sol
[codex:676288] ================================================================================
[codex:676288] // File: @openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:676288] 
[codex:676288] // SPDX-License-Identifier: MIT
[codex:676288] 
[codex:676288] pragma solidity >=0.6.0 <0.8.0;
[codex:676288] 
[codex:676288] /**
[codex:676288]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:676288]  */
[codex:676288] interface IERC20Upgradeable {
[codex:676288]     /**
[codex:676288]      * @dev Returns the amount of tokens in existence.
[codex:676288]      */
[codex:676288]     function totalSupply() external view returns (uint256);
[codex:676288] 
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Searching for contract declarations**
[codex:676288] exec
[codex:676288] /bin/bash -lc 'rg -n "contract" AUDIT_BUNDLE.txt' in /tmp/codex-multi-a4moz92m succeeded in 7ms:
[codex:676288] 4:FILE: contracts/Contract.sol
[codex:676288] 6:// File: @openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:676288] 86:// File: @openzeppelin/contracts-upgradeable/math/SafeMathUpgradeable.sol
[codex:676288] 135:        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
[codex:676288] 303:// File: @openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:676288] 314:     * @dev Returns true if `account` is a contract.
[codex:676288] 319:     * false is an externally-owned account (EOA) and not a contract.
[codex:676288] 325:     *  - a contract in construction
[codex:676288] 326:     *  - an address where a contract will be created
[codex:676288] 327:     *  - an address where a contract lived, but was destroyed
[codex:676288] 331:        // This method relies on extcodesize, which returns 0 for contracts in
[codex:676288] 346:     * of certain opcodes, possibly making contracts go over the 2300 gas limit
[codex:676288] 378:     * - `target` must be a contract.
[codex:676288] 403:     * - the calling contract must have an ETH balance of at least `value`.
[codex:676288] 420:        require(isContract(target), "Address: call to non-contract");
[codex:676288] 444:        require(isContract(target), "Address: static call to non-contract");
[codex:676288] 471:// File: @openzeppelin/contracts-upgradeable/proxy/Initializable.sol
[codex:676288] 479: * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:676288] 480: * behind a proxy. Since a proxied contract can't have a constructor, it's common to move constructor logic to an
[codex:676288] 482: * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Preparing to audit custom contract code**
[codex:676288] 
[codex:676288] I'm focusing on examining custom contract sections like interfaces, ERC20VotesUpgradeable, Converter, and AuctionHandler within the large Contract.sol file to identify potential vulnerabilities, making sure to track exact file and line numbers for precise reporting.
[codex:676288] exec
[codex:676288] /bin/bash -lc "sed -n '1800,2200p' contracts/Contract.sol" in /tmp/codex-multi-a4moz92m succeeded in 6ms:
[codex:676288]                 // decrease old representative
[codex:676288]                 uint32 srcRepNum = numCheckpoints[srcRep];
[codex:676288]                 uint256 srcRepOld = srcRepNum > 0 ? checkpoints[srcRep][srcRepNum - 1].votes : 0;
[codex:676288]                 uint256 srcRepNew = srcRepOld.sub(amount);
[codex:676288]                 _writeCheckpoint(srcRep, srcRepNum, srcRepOld, srcRepNew);
[codex:676288]             }
[codex:676288] 
[codex:676288]             if (dstRep != address(0)) {
[codex:676288]                 // increase new representative
[codex:676288]                 uint32 dstRepNum = numCheckpoints[dstRep];
[codex:676288]                 uint256 dstRepOld = dstRepNum > 0 ? checkpoints[dstRep][dstRepNum - 1].votes : 0;
[codex:676288]                 uint256 dstRepNew = dstRepOld.add(amount);
[codex:676288]                 _writeCheckpoint(dstRep, dstRepNum, dstRepOld, dstRepNew);
[codex:676288]             }
[codex:676288]         }
[codex:676288]     }
[codex:676288] 
[codex:676288]     function _writeCheckpoint(
[codex:676288]         address delegatee,
[codex:676288]         uint32 nCheckpoints,
[codex:676288] exec
[codex:676288] /bin/bash -lc "sed -n '2200,2600p' contracts/Contract.sol" in /tmp/codex-multi-a4moz92m succeeded in 6ms:
[codex:676288] 
[codex:676288]         auctionInfo.push(
[codex:676288]             AuctionInfo({
[codex:676288]                 startTime: getBlockTimestamp(),
[codex:676288]                 endTime: auctionEndTime,
[codex:676288]                 uToken: _uToken,
[codex:676288]                 nftIndexForUToken: _nftIndexForUToken,
[codex:676288]                 claimed: false
[codex:676288]             })
[codex:676288]         );
[codex:676288] 
[codex:676288]         auctionIndex[_uToken][_nftIndexForUToken] = currentIndex;
[codex:676288]         uint256 fee = msg.value.div(feeDivisor);
[codex:676288]         vaultBalances[_uToken] = vaultBalances[_uToken].add(msg.value.sub(fee));
[codex:676288]         bids[currentIndex] = Bid(msg.sender, msg.value);
[codex:676288]         sendFee(fee);
[codex:676288] 
[codex:676288]         emit AuctionCreated(currentIndex, _uToken, _nftIndexForUToken, getBlockTimestamp(), auctionEndTime);
[codex:676288]         emit BidCreated(currentIndex, msg.sender, msg.value, auctionEndTime);
[codex:676288]     }
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Examining custom interfaces and contracts**
[codex:676288] exec
[codex:676288] /bin/bash -lc "sed -n '630,1860p' contracts/Contract.sol" in /tmp/codex-multi-a4moz92m succeeded in 5ms:
[codex:676288]     uint256[49] private __gap;
[codex:676288] }
[codex:676288] 
[codex:676288] // File: contracts/interfaces/IUnicFactory.sol
[codex:676288] 
[codex:676288] pragma solidity >=0.5.0;
[codex:676288] 
[codex:676288] interface IUnicFactory {
[codex:676288]     event TokenCreated(address indexed caller, address indexed uToken);
[codex:676288] 
[codex:676288]     function feeTo() external view returns (address);
[codex:676288]     function feeToSetter() external view returns (address);
[codex:676288]     function converterImplementation() external view returns (address);
[codex:676288] 
[codex:676288]     function getUToken(address uToken) external view returns (uint);
[codex:676288]     function uTokens(uint) external view returns (address);
[codex:676288]     function uTokensLength() external view returns (uint);
[codex:676288]     function getGovernorAlpha(address uToken) external view returns (address);
[codex:676288]     function feeDivisor() external view returns (uint);
[codex:676288]     function auctionHandler() external view returns (address);
[codex:676288] 
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Analyzing contract interactions for vulnerabilities**
[codex:676288] thinking
[codex:676288] **Examining function access control and reentrancy risks**
[codex:676288] 
[codex:676288] I’m carefully checking if any functions lack proper access restrictions or allow unexpected reentrancy, especially around ERC1155 transfers, auctions, and redeeming tokens. I’m also considering whether manipulation of token supply or vault balances could lead to profit or exploits, and reviewing conditions on critical calls like `burnAndRedeem` and `forwardCall`. It’s a detailed look at state updates and external calls to identify any weak points.
[codex:676288] exec
[codex:676288] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-a4moz92m succeeded in 9ms:
[codex:676288] contracts/Contract.sol
[codex:676288] 
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Analyzing potential vulnerabilities and logic risks**
[codex:676288] thinking
[codex:676288] **Examining detailed edge cases and code completeness**
[codex:676288] 
[codex:676288] I’m checking for subtle issues like length mismatches, reentrancy possibilities, allowance logic, and edge cases around auction and token handling. Also, I’m considering instructions about fully reading the audit bundle to ensure no hidden risks remain, so I plan to systematically scan the entire file to comply carefully and not miss anything crucial.
[codex:676288] exec
[codex:676288] /bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-multi-a4moz92m succeeded in 6ms:
[codex:676288] 2336 AUDIT_BUNDLE.txt
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Preparing to output entire large file**
[codex:676288] exec
[codex:676288] /bin/bash -lc "sed -n '1,2336p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-a4moz92m succeeded in 6ms:
[codex:676288] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:676288] 
[codex:676288] ================================================================================
[codex:676288] FILE: contracts/Contract.sol
[codex:676288] ================================================================================
[codex:676288] // File: @openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:676288] 
[codex:676288] // SPDX-License-Identifier: MIT
[codex:676288] 
[codex:676288] pragma solidity >=0.6.0 <0.8.0;
[codex:676288] 
[codex:676288] /**
[codex:676288]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:676288]  */
[codex:676288] interface IERC20Upgradeable {
[codex:676288]     /**
[codex:676288]      * @dev Returns the amount of tokens in existence.
[codex:676288]      */
[codex:676288]     function totalSupply() external view returns (uint256);
[codex:676288] 
[codex:676288] 
[codex:676288] 
[codex:676288] thinking
[codex:676288] **Analyzing potential vulnerabilities and exploit paths**
[codex:676288] 
[codex:676288] I've carefully reviewed the whole file to find any concrete exploit for financial gain. I’m examining subtle issues like missing returns in ERC1155 handlers, reentrancy possibilities, auction logic edge cases, allowance flows, and signature nonce handling. After a thorough look, everything seems secure against profit-driven attacks, with potential problems mainly limited to possible denial-of-service or configuration errors rather than exploitable bugs. I’m confident no unauthorized profit can be extracted here.
[codex:676288] thinking
[codex:676288] **Preparing final JSON output**
[codex:676288] 
[codex:676288] I’m double-checking all potential subtle issues, including proxy initialization risks and reentrancy guards, to confirm no exploit paths exist before crafting the exact JSON output with no findings and a concise summary.
[codex:676288] codex
[codex:676288] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
[codex:676288] tokens used
[codex:676288] 55,919
[codex:676288] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-05T05:04:42.429577+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
9
Total opcodes
7773
Flags
selfdestruct_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01b7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xafb3e63e
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeba39dab
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeba39dab
0000003a: EQ
0000003b: PUSH2 0x090b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xefe114cf
00000045: EQ
00000046: PUSH2 0x097a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x09d5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf46901ed
0000005b: EQ
0000005c: PUSH2 0x0a26
0000005f: JUMPI
00000060: PUSH2 0x01b7
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xafb3e63e
0000006b: EQ
0000006c: PUSH2 0x083a
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xbceb4bdb
00000076: EQ
00000077: PUSH2 0x089f
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc45a0155
00000081: EQ
00000082: PUSH2 0x08ca
00000085: JUMPI
00000086: PUSH2 0x01b7
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x957a867c
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x957a867c
0000009c: EQ
0000009d: PUSH2 0x0679
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x9a36f932
000000a7: EQ
000000a8: PUSH2 0x06fc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x9dd886cf
000000b2: EQ
000000b3: PUSH2 0x072a
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa2e74af6
000000bd: EQ
000000be: PUSH2 0x07e9
000000c1: JUMPI
000000c2: PUSH2 0x01b7
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x715018a6
000000cd: EQ
000000ce: PUSH2 0x05b0
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x8da5cb5b
000000d8: EQ
000000d9: PUSH2 0x05c7
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x920605f5
000000e3: EQ
000000e4: PUSH2 0x0608
000000e7: JUMPI
000000e8: PUSH2 0x01b7
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x2788aeb2
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x379607f5
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x379607f5
00000109: EQ
0000010a: PUSH2 0x048a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x4423c5f1
00000114: EQ
00000115: PUSH2 0x04c5
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x454a2ab3
0000011f: EQ
00000120: PUSH2 0x0531
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x5bb47808
0000012a: EQ
0000012b: PUSH2 0x055f
0000012e: JUMPI
0000012f: PUSH2 0x01b7
00000132: JUMP
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x2788aeb2
0000013a: EQ
0000013b: PUSH2 0x0391
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x325c25a2
00000145: EQ
00000146: PUSH2 0x0400
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x34db264b
00000150: EQ
00000151: PUSH2 0x042b
00000154: JUMPI
00000155: PUSH2 0x01b7
00000158: JUMP
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH4 0x0e4cfe97
00000160: GT
00000161: PUSH2 0x0195
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x0e4cfe97
0000016b: EQ
0000016c: PUSH2 0x028c
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x0f9e39bf
00000176: EQ
00000177: PUSH2 0x02c7
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x0fb5a6b4
00000181: EQ
00000182: PUSH2 0x02f5
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x1e6871a9
0000018c: EQ
0000018d: PUSH2 0x0320
00000190: JUMPI
00000191: PUSH2 0x01b7
00000194: JUMP
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x017e7e58
0000019c: EQ
0000019d: PUSH2 0x01bc
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x02923878
000001a7: EQ
000001a8: PUSH2 0x01fd
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x094b7415
000001b2: EQ
000001b3: PUSH2 0x024b
000001b6: JUMPI
000001b7: JUMPDEST
000001b8: PUSH1 0x00
000001ba: DUP1
000001bb: REVERT
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x0a77
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: DUP1
000001d6: DUP3
000001d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ec: AND
000001ed: DUP2
000001ee: MSTORE
000001ef: PUSH1 0x20
000001f1: ADD
000001f2: SWAP2
000001f3: POP
000001f4: POP
000001f5: PUSH1 0x40
000001f7: MLOAD
000001f8: DUP1
000001f9: SWAP2
000001fa: SUB
000001fb: SWAP1
000001fc: RETURN
000001fd: JUMPDEST
000001fe: PUSH2 0x0249
00000201: PUSH1 0x04
00000203: DUP1
00000204: CALLDATASIZE
00000205: SUB
00000206: PUSH1 0x40
00000208: DUP2
00000209: LT
0000020a: ISZERO
0000020b: PUSH2 0x0213
0000020e: JUMPI
0000020f: PUSH1 0x00
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: DUP2
00000215: ADD
00000216: SWAP1
00000217: DUP1
00000218: DUP1
00000219: CALLDATALOAD
0000021a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000022f: AND
00000230: SWAP1
00000231: PUSH1 0x20
00000233: ADD
00000234: SWAP1
00000235: SWAP3
00000236: SWAP2
00000237: SWAP1
00000238: DUP1
00000239: CALLDATALOAD
0000023a: SWAP1
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP1
0000023f: SWAP3
00000240: SWAP2
00000241: SWAP1
00000242: POP
00000243: POP
00000244: POP
00000245: PUSH2 0x0a9d
00000248: JUMP
00000249: JUMPDEST
0000024a: STOP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x0260
0000025c: PUSH2 0x13be
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: MLOAD
00000264: DUP1
00000265: DUP3
00000266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027b: AND
0000027c: DUP2
0000027d: MSTORE
0000027e: PUSH1 0x20
00000280: ADD
00000281: SWAP2
00000282: POP
00000283: POP
00000284: PUSH1 0x40
00000286: MLOAD
00000287: DUP1
00000288: SWAP2
00000289: SUB
0000028a: SWAP1
0000028b: RETURN
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: DUP1
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH2 0x02c5
0000029d: PUSH1 0x04
0000029f: DUP1
000002a0: CALLDATASIZE
000002a1: SUB
000002a2: PUSH1 0x20
000002a4: DUP2
000002a5: LT
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: DUP2
000002b1: ADD
000002b2: SWAP1
000002b3: DUP1
000002b4: DUP1
000002b5: CALLDATALOAD
000002b6: SWAP1
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: SWAP1
000002bb: SWAP3
000002bc: SWAP2
000002bd: SWAP1
000002be: POP
000002bf: POP
000002c0: POP
000002c1: PUSH2 0x13e4
000002c4: JUMP
000002c5: JUMPDEST
000002c6: STOP
000002c7: JUMPDEST
000002c8: CALLVALUE
000002c9: DUP1
000002ca: ISZERO
000002cb: PUSH2 0x02d3
000002ce: JUMPI
000002cf: PUSH1 0x00
000002d1: DUP1
000002d2: REVERT
000002d3: JUMPDEST
000002d4: POP
000002d5: PUSH2 0x02dc
000002d8: PUSH2 0x1723
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: DUP1
000002e1: DUP3
000002e2: PUSH1 0xff
000002e4: AND
000002e5: DUP2
000002e6: MSTORE
000002e7: PUSH1 0x20
000002e9: ADD
000002ea: SWAP2
000002eb: POP
000002ec: POP
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x030a
00000306: PUSH2 0x1736
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: DUP1
0000030f: DUP3
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP2
00000316: POP
00000317: POP
00000318: PUSH1 0x40
0000031a: MLOAD
0000031b: DUP1
0000031c: SWAP2
0000031d: SUB
0000031e: SWAP1
0000031f: RETURN
00000320: JUMPDEST
00000321: CALLVALUE
00000322: DUP1
00000323: ISZERO
00000324: PUSH2 0x032c
00000327: JUMPI
00000328: PUSH1 0x00
0000032a: DUP1
0000032b: REVERT
0000032c: JUMPDEST
0000032d: POP
0000032e: PUSH2 0x0379
00000331: PUSH1 0x04
00000333: DUP1
00000334: CALLDATASIZE
00000335: SUB
00000336: PUSH1 0x40
00000338: DUP2
00000339: LT
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: DUP2
00000345: ADD
00000346: SWAP1
00000347: DUP1
00000348: DUP1
00000349: CALLDATALOAD
0000034a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000035f: AND
00000360: SWAP1
00000361: PUSH1 0x20
00000363: ADD
00000364: SWAP1
00000365: SWAP3
00000366: SWAP2
00000367: SWAP1
00000368: DUP1
00000369: CALLDATALOAD
0000036a: SWAP1
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: SWAP1
0000036f: SWAP3
00000370: SWAP2
00000371: SWAP1
00000372: POP
00000373: POP
00000374: POP
00000375: PUSH2 0x173c
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH1 0x40
0000037c: MLOAD
0000037d: DUP1
0000037e: DUP3
0000037f: ISZERO
00000380: ISZERO
00000381: DUP2
00000382: MSTORE
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP2
00000387: POP
00000388: POP
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: SWAP2
0000038e: SUB
0000038f: SWAP1
00000390: RETURN
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x03ea
000003a2: PUSH1 0x04
000003a4: DUP1
000003a5: CALLDATASIZE
000003a6: SUB
000003a7: PUSH1 0x40
000003a9: DUP2
000003aa: LT
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: DUP2
000003b6: ADD
000003b7: SWAP1
000003b8: DUP1
000003b9: DUP1
000003ba: CALLDATALOAD
000003bb: SWAP1
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP1
000003c0: SWAP3
000003c1: SWAP2
000003c2: SWAP1
000003c3: DUP1
000003c4: CALLDATALOAD
000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003da: AND
000003db: SWAP1
000003dc: PUSH1 0x20
000003de: ADD
000003df: SWAP1
000003e0: SWAP3
000003e1: SWAP2
000003e2: SWAP1
000003e3: POP
000003e4: POP
000003e5: POP
000003e6: PUSH2 0x176b
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH1 0x40
000003ed: MLOAD
000003ee: DUP1
000003ef: DUP3
000003f0: DUP2
000003f1: MSTORE
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: SWAP2
000003f6: POP
000003f7: POP
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: DUP1
000003fc: SWAP2
000003fd: SUB
000003fe: SWAP1
000003ff: RETURN
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0415
00000411: PUSH2 0x1790
00000414: JUMP
00000415: JUMPDEST
00000416: PUSH1 0x40
00000418: MLOAD
00000419: DUP1
0000041a: DUP3
0000041b: DUP2
0000041c: MSTORE
0000041d: PUSH1 0x20
0000041f: ADD
00000420: SWAP2
00000421: POP
00000422: POP
00000423: PUSH1 0x40
00000425: MLOAD
00000426: DUP1
00000427: SWAP2
00000428: SUB
00000429: SWAP1
0000042a: RETURN
0000042b: JUMPDEST
0000042c: CALLVALUE
0000042d: DUP1
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: POP
00000439: PUSH2 0x0488
0000043c: PUSH1 0x04
0000043e: DUP1
0000043f: CALLDATASIZE
00000440: SUB
00000441: PUSH1 0x80
00000443: DUP2
00000444: LT
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: DUP2
00000450: ADD
00000451: SWAP1
00000452: DUP1
00000453: DUP1
00000454: CALLDATALOAD
00000455: SWAP1
00000456: PUSH1 0x20
00000458: ADD
00000459: SWAP1
0000045a: SWAP3
0000045b: SWAP2
0000045c: SWAP1
0000045d: DUP1
0000045e: CALLDATALOAD
0000045f: PUSH1 0xff
00000461: AND
00000462: SWAP1
00000463: PUSH1 0x20
00000465: ADD
00000466: SWAP1
00000467: SWAP3
00000468: SWAP2
00000469: SWAP1
0000046a: DUP1
0000046b: CALLDATALOAD
0000046c: SWAP1
0000046d: PUSH1 0x20
0000046f: ADD
00000470: SWAP1
00000471: SWAP3
00000472: SWAP2
00000473: SWAP1
00000474: DUP1
00000475: CALLDATALOAD
00000476: PUSH1 0xff
00000478: AND
00000479: SWAP1
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP1
0000047e: SWAP3
0000047f: SWAP2
00000480: SWAP1
00000481: POP
00000482: POP
00000483: POP
00000484: PUSH2 0x179d
00000487: JUMP
00000488: JUMPDEST
00000489: STOP
0000048a: JUMPDEST
0000048b: CALLVALUE
0000048c: DUP1
0000048d: ISZERO
0000048e: PUSH2 0x0496
00000491: JUMPI
00000492: PUSH1 0x00
00000494: DUP1
00000495: REVERT
00000496: JUMPDEST
00000497: POP
00000498: PUSH2 0x04c3
0000049b: PUSH1 0x04
0000049d: DUP1
0000049e: CALLDATASIZE
0000049f: SUB
000004a0: PUSH1 0x20
000004a2: DUP2
000004a3: LT
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: DUP2
000004af: ADD
000004b0: SWAP1
000004b1: DUP1
000004b2: DUP1
000004b3: CALLDATALOAD
000004b4: SWAP1
000004b5: PUSH1 0x20
000004b7: ADD
000004b8: SWAP1
000004b9: SWAP3
000004ba: SWAP2
000004bb: SWAP1
000004bc: POP
000004bd: POP
000004be: POP
000004bf: PUSH2 0x1ac3
000004c2: JUMP
000004c3: JUMPDEST
000004c4: STOP
000004c5: JUMPDEST
000004c6: CALLVALUE
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: POP
000004d3: PUSH2 0x04fe
000004d6: PUSH1 0x04
000004d8: DUP1
000004d9: CALLDATASIZE
000004da: SUB
000004db: PUSH1 0x20
000004dd: DUP2
000004de: LT
000004df: ISZERO
000004e0: PUSH2 0x04e8
000004e3: JUMPI
000004e4: PUSH1 0x00
000004e6: DUP1
000004e7: REVERT
000004e8: JUMPDEST
000004e9: DUP2
000004ea: ADD
000004eb: SWAP1
000004ec: DUP1
000004ed: DUP1
000004ee: CALLDATALOAD
000004ef: SWAP1
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP1
000004f4: SWAP3
000004f5: SWAP2
000004f6: SWAP1
000004f7: POP
000004f8: POP
000004f9: POP
000004fa: PUSH2 0x1e8e
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x40
00000501: MLOAD
00000502: DUP1
00000503: DUP4
00000504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000519: AND
0000051a: DUP2
0000051b: MSTORE
0000051c: PUSH1 0x20
0000051e: ADD
0000051f: DUP3
00000520: DUP2
00000521: MSTORE
00000522: PUSH1 0x20
00000524: ADD
00000525: SWAP3
00000526: POP
00000527: POP
00000528: POP
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: DUP1
0000052d: SWAP2
0000052e: SUB
0000052f: SWAP1
00000530: RETURN
00000531: JUMPDEST
00000532: PUSH2 0x055d
00000535: PUSH1 0x04
00000537: DUP1
00000538: CALLDATASIZE
00000539: SUB
0000053a: PUSH1 0x20
0000053c: DUP2
0000053d: LT
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: DUP2
00000549: ADD
0000054a: SWAP1
0000054b: DUP1
0000054c: DUP1
0000054d: CALLDATALOAD
0000054e: SWAP1
0000054f: PUSH1 0x20
00000551: ADD
00000552: SWAP1
00000553: SWAP3
00000554: SWAP2
00000555: SWAP1
00000556: POP
00000557: POP
00000558: POP
00000559: PUSH2 0x1ed2
0000055c: JUMP
0000055d: JUMPDEST
0000055e: STOP
0000055f: JUMPDEST
00000560: CALLVALUE
00000561: DUP1
00000562: ISZERO
00000563: PUSH2 0x056b
00000566: JUMPI
00000567: PUSH1 0x00
00000569: DUP1
0000056a: REVERT
0000056b: JUMPDEST
0000056c: POP
0000056d: PUSH2 0x05ae
00000570: PUSH1 0x04
00000572: DUP1
00000573: CALLDATASIZE
00000574: SUB
00000575: PUSH1 0x20
00000577: DUP2
00000578: LT
00000579: ISZERO
0000057a: PUSH2 0x0582
0000057d: JUMPI
0000057e: PUSH1 0x00
00000580: DUP1
00000581: REVERT
00000582: JUMPDEST
00000583: DUP2
00000584: ADD
00000585: SWAP1
00000586: DUP1
00000587: DUP1
00000588: CALLDATALOAD
00000589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059e: AND
0000059f: SWAP1
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP1
000005a4: SWAP3
000005a5: SWAP2
000005a6: SWAP1
000005a7: POP
000005a8: POP
000005a9: POP
000005aa: PUSH2 0x2524
000005ad: JUMP
000005ae: JUMPDEST
000005af: STOP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH2 0x05c5
000005c1: PUSH2 0x2617
000005c4: JUMP
000005c5: JUMPDEST
000005c6: STOP
000005c7: JUMPDEST
000005c8: CALLVALUE
000005c9: DUP1
000005ca: ISZERO
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: PUSH1 0x00
000005d1: DUP1
000005d2: REVERT
000005d3: JUMPDEST
000005d4: POP
000005d5: PUSH2 0x05dc
000005d8: PUSH2 0x2787
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH1 0x40
000005df: MLOAD
000005e0: DUP1
000005e1: DUP3
000005e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f7: AND
000005f8: DUP2
000005f9: MSTORE
000005fa: PUSH1 0x20
000005fc: ADD
000005fd: SWAP2
000005fe: POP
000005ff: POP
00000600: PUSH1 0x40
00000602: MLOAD
00000603: DUP1
00000604: SWAP2
00000605: SUB
00000606: SWAP1
00000607: RETURN
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH2 0x0661
00000619: PUSH1 0x04
0000061b: DUP1
0000061c: CALLDATASIZE
0000061d: SUB
0000061e: PUSH1 0x40
00000620: DUP2
00000621: LT
00000622: ISZERO
00000623: PUSH2 0x062b
00000626: JUMPI
00000627: PUSH1 0x00
00000629: DUP1
0000062a: REVERT
0000062b: JUMPDEST
0000062c: DUP2
0000062d: ADD
0000062e: SWAP1
0000062f: DUP1
00000630: DUP1
00000631: CALLDATALOAD
00000632: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000647: AND
00000648: SWAP1
00000649: PUSH1 0x20
0000064b: ADD
0000064c: SWAP1
0000064d: SWAP3
0000064e: SWAP2
0000064f: SWAP1
00000650: DUP1
00000651: CALLDATALOAD
00000652: SWAP1
00000653: PUSH1 0x20
00000655: ADD
00000656: SWAP1
00000657: SWAP3
00000658: SWAP2
00000659: SWAP1
0000065a: POP
0000065b: POP
0000065c: POP
0000065d: PUSH2 0x27b1
00000660: JUMP
00000661: JUMPDEST
00000662: PUSH1 0x40
00000664: MLOAD
00000665: DUP1
00000666: DUP3
00000667: ISZERO
00000668: ISZERO
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: SWAP2
0000066f: POP
00000670: POP
00000671: PUSH1 0x40
00000673: MLOAD
00000674: DUP1
00000675: SWAP2
00000676: SUB
00000677: SWAP1
00000678: RETURN
00000679: JUMPDEST
0000067a: CALLVALUE
0000067b: DUP1
0000067c: ISZERO
0000067d: PUSH2 0x0685
00000680: JUMPI
00000681: PUSH1 0x00
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x06b2
0000068a: PUSH1 0x04
0000068c: DUP1
0000068d: CALLDATASIZE
0000068e: SUB
0000068f: PUSH1 0x20
00000691: DUP2
00000692: LT
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: DUP2
0000069e: ADD
0000069f: SWAP1
000006a0: DUP1
000006a1: DUP1
000006a2: CALLDATALOAD
000006a3: SWAP1
000006a4: PUSH1 0x20
000006a6: ADD
000006a7: SWAP1
000006a8: SWAP3
000006a9: SWAP2
000006aa: SWAP1
000006ab: POP
000006ac: POP
000006ad: POP
000006ae: PUSH2 0x2819
000006b1: JUMP
000006b2: JUMPDEST
000006b3: PUSH1 0x40
000006b5: MLOAD
000006b6: DUP1
000006b7: DUP7
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: DUP6
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x20
000006c2: ADD
000006c3: DUP5
000006c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d9: AND
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: ADD
000006df: DUP4
000006e0: DUP2
000006e1: MSTORE
000006e2: PUSH1 0x20
000006e4: ADD
000006e5: DUP3
000006e6: ISZERO
000006e7: ISZERO
000006e8: DUP2
000006e9: MSTORE
000006ea: PUSH1 0x20
000006ec: ADD
000006ed: SWAP6
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: DUP1
000006f8: SWAP2
000006f9: SUB
000006fa: SWAP1
000006fb: RETURN
000006fc: JUMPDEST
000006fd: CALLVALUE
000006fe: DUP1
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH1 0x00
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: PUSH2 0x0711
0000070d: PUSH2 0x2889
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x40
00000714: MLOAD
00000715: DUP1
00000716: DUP3
00000717: PUSH1 0xff
00000719: AND
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x20
0000071e: ADD
0000071f: SWAP2
00000720: POP
00000721: POP
00000722: PUSH1 0x40
00000724: MLOAD
00000725: DUP1
00000726: SWAP2
00000727: SUB
00000728: SWAP1
00000729: RETURN
0000072a: JUMPDEST
0000072b: CALLVALUE
0000072c: DUP1
0000072d: ISZERO
0000072e: PUSH2 0x0736
00000731: JUMPI
00000732: PUSH1 0x00
00000734: DUP1
00000735: REVERT
00000736: JUMPDEST
00000737: POP
00000738: PUSH2 0x07e7
0000073b: PUSH1 0x04
0000073d: DUP1
0000073e: CALLDATASIZE
0000073f: SUB
00000740: PUSH1 0xe0
00000742: DUP2
00000743: LT
00000744: ISZERO
00000745: PUSH2 0x074d
00000748: JUMPI
00000749: PUSH1 0x00
0000074b: DUP1
0000074c: REVERT
0000074d: JUMPDEST
0000074e: DUP2
0000074f: ADD
00000750: SWAP1
00000751: DUP1
00000752: DUP1
00000753: CALLDATALOAD
00000754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000769: AND
0000076a: SWAP1
0000076b: PUSH1 0x20
0000076d: ADD
0000076e: SWAP1
0000076f: SWAP3
00000770: SWAP2
00000771: SWAP1
00000772: DUP1
00000773: CALLDATALOAD
00000774: SWAP1
00000775: PUSH1 0x20
00000777: ADD
00000778: SWAP1
00000779: SWAP3
0000077a: SWAP2
0000077b: SWAP1
0000077c: DUP1
0000077d: CALLDATALOAD
0000077e: PUSH1 0xff
00000780: AND
00000781: SWAP1
00000782: PUSH1 0x20
00000784: ADD
00000785: SWAP1
00000786: SWAP3
00000787: SWAP2
00000788: SWAP1
00000789: DUP1
0000078a: CALLDATALOAD
0000078b: SWAP1
0000078c: PUSH1 0x20
0000078e: ADD
0000078f: SWAP1
00000790: SWAP3
00000791: SWAP2
00000792: SWAP1
00000793: DUP1
00000794: CALLDATALOAD
00000795: PUSH1 0xff
00000797: AND
00000798: SWAP1
00000799: PUSH1 0x20
0000079b: ADD
0000079c: SWAP1
0000079d: SWAP3
0000079e: SWAP2
0000079f: SWAP1
000007a0: DUP1
000007a1: CALLDATALOAD
000007a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b7: AND
000007b8: SWAP1
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: SWAP1
000007bd: SWAP3
000007be: SWAP2
000007bf: SWAP1
000007c0: DUP1
000007c1: CALLDATALOAD
000007c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d7: AND
000007d8: SWAP1
000007d9: PUSH1 0x20
000007db: ADD
000007dc: SWAP1
000007dd: SWAP3
000007de: SWAP2
000007df: SWAP1
000007e0: POP
000007e1: POP
000007e2: POP
000007e3: PUSH2 0x289c
000007e6: JUMP
000007e7: JUMPDEST
000007e8: STOP
000007e9: JUMPDEST
000007ea: CALLVALUE
000007eb: DUP1
000007ec: ISZERO
000007ed: PUSH2 0x07f5
000007f0: JUMPI
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: POP
000007f7: PUSH2 0x0838
000007fa: PUSH1 0x04
000007fc: DUP1
000007fd: CALLDATASIZE
000007fe: SUB
000007ff: PUSH1 0x20
00000801: DUP2
00000802: LT
00000803: ISZERO
00000804: PUSH2 0x080c
00000807: JUMPI
00000808: PUSH1 0x00
0000080a: DUP1
0000080b: REVERT
0000080c: JUMPDEST
0000080d: DUP2
0000080e: ADD
0000080f: SWAP1
00000810: DUP1
00000811: DUP1
00000812: CALLDATALOAD
00000813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000828: AND
00000829: SWAP1
0000082a: PUSH1 0x20
0000082c: ADD
0000082d: SWAP1
0000082e: SWAP3
0000082f: SWAP2
00000830: SWAP1
00000831: POP
00000832: POP
00000833: POP
00000834: PUSH2 0x2d8d
00000837: JUMP
00000838: JUMPDEST
00000839: STOP
0000083a: JUMPDEST
0000083b: CALLVALUE
0000083c: DUP1
0000083d: ISZERO
0000083e: PUSH2 0x0846
00000841: JUMPI
00000842: PUSH1 0x00
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: POP
00000848: PUSH2 0x0889
0000084b: PUSH1 0x04
0000084d: DUP1
0000084e: CALLDATASIZE
0000084f: SUB
00000850: PUSH1 0x20
00000852: DUP2
00000853: LT
00000854: ISZERO
00000855: PUSH2 0x085d
00000858: JUMPI
00000859: PUSH1 0x00
0000085b: DUP1
0000085c: REVERT
0000085d: JUMPDEST
0000085e: DUP2
0000085f: ADD
00000860: SWAP1
00000861: DUP1
00000862: DUP1
00000863: CALLDATALOAD
00000864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000879: AND
0000087a: SWAP1
0000087b: PUSH1 0x20
0000087d: ADD
0000087e: SWAP1
0000087f: SWAP3
00000880: SWAP2
00000881: SWAP1
00000882: POP
00000883: POP
00000884: POP
00000885: PUSH2 0x2e94
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: DUP1
0000088e: DUP3
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP2
00000895: POP
00000896: POP
00000897: PUSH1 0x40
00000899: MLOAD
0000089a: DUP1
0000089b: SWAP2
0000089c: SUB
0000089d: SWAP1
0000089e: RETURN
0000089f: JUMPDEST
000008a0: CALLVALUE
000008a1: DUP1
000008a2: ISZERO
000008a3: PUSH2 0x08ab
000008a6: JUMPI
000008a7: PUSH1 0x00
000008a9: DUP1
000008aa: REVERT
000008ab: JUMPDEST
000008ac: POP
000008ad: PUSH2 0x08b4
000008b0: PUSH2 0x2eac
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x40
000008b7: MLOAD
000008b8: DUP1
000008b9: DUP3
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x20
000008be: ADD
000008bf: SWAP2
000008c0: POP
000008c1: POP
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: DUP1
000008c6: SWAP2
000008c7: SUB
000008c8: SWAP1
000008c9: RETURN
000008ca: JUMPDEST
000008cb: CALLVALUE
000008cc: DUP1
000008cd: ISZERO
000008ce: PUSH2 0x08d6
000008d1: JUMPI
000008d2: PUSH1 0x00
000008d4: DUP1
000008d5: REVERT
000008d6: JUMPDEST
000008d7: POP
000008d8: PUSH2 0x08df
000008db: PUSH2 0x2eb2
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x40
000008e2: MLOAD
000008e3: DUP1
000008e4: DUP3
000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fa: AND
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x20
000008ff: ADD
00000900: SWAP2
00000901: POP
00000902: POP
00000903: PUSH1 0x40
00000905: MLOAD
00000906: DUP1
00000907: SWAP2
00000908: SUB
00000909: SWAP1
0000090a: RETURN
0000090b: JUMPDEST
0000090c: CALLVALUE
0000090d: DUP1
0000090e: ISZERO
0000090f: PUSH2 0x0917
00000912: JUMPI
00000913: PUSH1 0x00
00000915: DUP1
00000916: REVERT
00000917: JUMPDEST
00000918: POP
00000919: PUSH2 0x0964
0000091c: PUSH1 0x04
0000091e: DUP1
0000091f: CALLDATASIZE
00000920: SUB
00000921: PUSH1 0x40
00000923: DUP2
00000924: LT
00000925: ISZERO
00000926: PUSH2 0x092e
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: DUP2
00000930: ADD
00000931: SWAP1
00000932: DUP1
00000933: DUP1
00000934: CALLDATALOAD
00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094a: AND
0000094b: SWAP1
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: SWAP1
00000950: SWAP3
00000951: SWAP2
00000952: SWAP1
00000953: DUP1
00000954: CALLDATALOAD
00000955: SWAP1
00000956: PUSH1 0x20
00000958: ADD
00000959: SWAP1
0000095a: SWAP3
0000095b: SWAP2
0000095c: SWAP1
0000095d: POP
0000095e: POP
0000095f: POP
00000960: PUSH2 0x2ed8
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x40
00000967: MLOAD
00000968: DUP1
00000969: DUP3
0000096a: DUP2
0000096b: MSTORE
0000096c: PUSH1 0x20
0000096e: ADD
0000096f: SWAP2
00000970: POP
00000971: POP
00000972: PUSH1 0x40
00000974: MLOAD
00000975: DUP1
00000976: SWAP2
00000977: SUB
00000978: SWAP1
00000979: RETURN
0000097a: JUMPDEST
0000097b: CALLVALUE
0000097c: DUP1
0000097d: ISZERO
0000097e: PUSH2 0x0986
00000981: JUMPI
00000982: PUSH1 0x00
00000984: DUP1
00000985: REVERT
00000986: JUMPDEST
00000987: POP
00000988: PUSH2 0x09d3
0000098b: PUSH1 0x04
0000098d: DUP1
0000098e: CALLDATASIZE
0000098f: SUB
00000990: PUSH1 0x40
00000992: DUP2
00000993: LT
00000994: ISZERO
00000995: PUSH2 0x099d
00000998: JUMPI
00000999: PUSH1 0x00
0000099b: DUP1
0000099c: REVERT
0000099d: JUMPDEST
0000099e: DUP2
0000099f: ADD
000009a0: SWAP1
000009a1: DUP1
000009a2: DUP1
000009a3: CALLDATALOAD
000009a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b9: AND
000009ba: SWAP1
000009bb: PUSH1 0x20
000009bd: ADD
000009be: SWAP1
000009bf: SWAP3
000009c0: SWAP2
000009c1: SWAP1
000009c2: DUP1
000009c3: CALLDATALOAD
000009c4: SWAP1
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: SWAP1
000009c9: SWAP3
000009ca: SWAP2
000009cb: SWAP1
000009cc: POP
000009cd: POP
000009ce: POP
000009cf: PUSH2 0x2efd
000009d2: JUMP
000009d3: JUMPDEST
000009d4: STOP
000009d5: JUMPDEST
000009d6: CALLVALUE
000009d7: DUP1
000009d8: ISZERO
000009d9: PUSH2 0x09e1
000009dc: JUMPI
000009dd: PUSH1 0x00
000009df: DUP1
000009e0: REVERT
000009e1: JUMPDEST
000009e2: POP
000009e3: PUSH2 0x0a24
000009e6: PUSH1 0x04
000009e8: DUP1
000009e9: CALLDATASIZE
000009ea: SUB
000009eb: PUSH1 0x20
000009ed: DUP2
000009ee: LT
000009ef: ISZERO
000009f0: PUSH2 0x09f8
000009f3: JUMPI
000009f4: PUSH1 0x00
000009f6: DUP1
000009f7: REVERT
000009f8: JUMPDEST
000009f9: DUP2
000009fa: ADD
000009fb: SWAP1
000009fc: DUP1
000009fd: DUP1
000009fe: CALLDATALOAD
000009ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a14: AND
00000a15: SWAP1
00000a16: PUSH1 0x20
00000a18: ADD
00000a19: SWAP1
00000a1a: SWAP3
00000a1b: SWAP2
00000a1c: SWAP1
00000a1d: POP
00000a1e: POP
00000a1f: POP
00000a20: PUSH2 0x3264
00000a23: JUMP
00000a24: JUMPDEST
00000a25: STOP
00000a26: JUMPDEST
00000a27: CALLVALUE
00000a28: DUP1
00000a29: ISZERO
00000a2a: PUSH2 0x0a32
00000a2d: JUMPI
00000a2e: PUSH1 0x00
00000a30: DUP1
00000a31: REVERT
00000a32: JUMPDEST
00000a33: POP
00000a34: PUSH2 0x0a75
00000a37: PUSH1 0x04
00000a39: DUP1
00000a3a: CALLDATASIZE
00000a3b: SUB
00000a3c: PUSH1 0x20
00000a3e: DUP2
00000a3f: LT
00000a40: ISZERO
00000a41: PUSH2 0x0a49
00000a44: JUMPI
00000a45: PUSH1 0x00
00000a47: DUP1
00000a48: REVERT
00000a49: JUMPDEST
00000a4a: DUP2
00000a4b: ADD
00000a4c: SWAP1
00000a4d: DUP1
00000a4e: DUP1
00000a4f: CALLDATALOAD
00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a65: AND
00000a66: SWAP1
00000a67: PUSH1 0x20
00000a69: ADD
00000a6a: SWAP1
00000a6b: SWAP3
00000a6c: SWAP2
00000a6d: SWAP1
00000a6e: POP
00000a6f: POP
00000a70: POP
00000a71: PUSH2 0x3459
00000a74: JUMP
00000a75: JUMPDEST
00000a76: STOP
00000a77: JUMPDEST
00000a78: PUSH1 0x70
00000a7a: PUSH1 0x00
00000a7c: SWAP1
00000a7d: SLOAD
00000a7e: SWAP1
00000a7f: PUSH2 0x0100
00000a82: EXP
00000a83: SWAP1
00000a84: DIV
00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9a: AND
00000a9b: DUP2
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: PUSH1 0x00
00000aa0: PUSH1 0x6b
00000aa2: PUSH1 0x00
00000aa4: SWAP1
00000aa5: SLOAD
00000aa6: SWAP1
00000aa7: PUSH2 0x0100
00000aaa: EXP
00000aab: SWAP1
00000aac: DIV
00000aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac2: AND
00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad8: AND
00000ad9: PUSH4 0x25b26df6
00000ade: DUP5
00000adf: PUSH1 0x40
00000ae1: MLOAD
00000ae2: DUP3
00000ae3: PUSH4 0xffffffff
00000ae8: AND
00000ae9: PUSH1 0xe0
00000aeb: SHL
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x04
00000af0: ADD
00000af1: DUP1
00000af2: DUP3
00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b08: AND
00000b09: DUP2
00000b0a: MSTORE
00000b0b: PUSH1 0x20
00000b0d: ADD
00000b0e: SWAP2
00000b0f: POP
00000b10: POP
00000b11: PUSH1 0x20
00000b13: PUSH1 0x40
00000b15: MLOAD
00000b16: DUP1
00000b17: DUP4
00000b18: SUB
00000b19: DUP2
00000b1a: DUP7
00000b1b: DUP1
00000b1c: EXTCODESIZE
00000b1d: ISZERO
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: GAS
00000b2b: STATICCALL
00000b2c: ISZERO
00000b2d: DUP1
00000b2e: ISZERO
00000b2f: PUSH2 0x0b3c
00000b32: JUMPI
00000b33: RETURNDATASIZE
00000b34: PUSH1 0x00
00000b36: DUP1
00000b37: RETURNDATACOPY
00000b38: RETURNDATASIZE
00000b39: PUSH1 0x00
00000b3b: REVERT
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: RETURNDATASIZE
00000b45: PUSH1 0x20
00000b47: DUP2
00000b48: LT
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: DUP2
00000b54: ADD
00000b55: SWAP1
00000b56: DUP1
00000b57: DUP1
00000b58: MLOAD
00000b59: SWAP1
00000b5a: PUSH1 0x20
00000b5c: ADD
00000b5d: SWAP1
00000b5e: SWAP3
00000b5f: SWAP2
00000b60: SWAP1
00000b61: POP
00000b62: POP
00000b63: POP
00000b64: EQ
00000b65: ISZERO
00000b66: DUP1
00000b67: PUSH2 0x0c49
00000b6a: JUMPI
00000b6b: POP
00000b6c: DUP2
00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b82: AND
00000b83: PUSH1 0x6b
00000b85: PUSH1 0x00
00000b87: SWAP1
00000b88: SLOAD
00000b89: SWAP1
00000b8a: PUSH2 0x0100
00000b8d: EXP
00000b8e: SWAP1
00000b8f: DIV
00000b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba5: AND
00000ba6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbb: AND
00000bbc: PUSH4 0x3c402de9
00000bc1: PUSH1 0x00
00000bc3: PUSH1 0x40
00000bc5: MLOAD
00000bc6: DUP3
00000bc7: PUSH4 0xffffffff
00000bcc: AND
00000bcd: PUSH1 0xe0
00000bcf: SHL
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x04
00000bd4: ADD
00000bd5: DUP1
00000bd6: DUP3
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: PUSH1 0x20
00000bdb: ADD
00000bdc: SWAP2
00000bdd: POP
00000bde: POP
00000bdf: PUSH1 0x20
00000be1: PUSH1 0x40
00000be3: MLOAD
00000be4: DUP1
00000be5: DUP4
00000be6: SUB
00000be7: DUP2
00000be8: DUP7
00000be9: DUP1
00000bea: EXTCODESIZE
00000beb: ISZERO
00000bec: DUP1
00000bed: ISZERO
00000bee: PUSH2 0x0bf6
00000bf1: JUMPI
00000bf2: PUSH1 0x00
00000bf4: DUP1
00000bf5: REVERT
00000bf6: JUMPDEST
00000bf7: POP
00000bf8: GAS
00000bf9: STATICCALL
00000bfa: ISZERO
00000bfb: DUP1
00000bfc: ISZERO
00000bfd: PUSH2 0x0c0a
00000c00: JUMPI
00000c01: RETURNDATASIZE
00000c02: PUSH1 0x00
00000c04: DUP1
00000c05: RETURNDATACOPY
00000c06: RETURNDATASIZE
00000c07: PUSH1 0x00
00000c09: REVERT
00000c0a: JUMPDEST
00000c0b: POP
00000c0c: POP
00000c0d: POP
00000c0e: POP
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: RETURNDATASIZE
00000c13: PUSH1 0x20
00000c15: DUP2
00000c16: LT
00000c17: ISZERO
00000c18: PUSH2 0x0c20
00000c1b: JUMPI
00000c1c: PUSH1 0x00
00000c1e: DUP1
00000c1f: REVERT
00000c20: JUMPDEST
00000c21: DUP2
00000c22: ADD
00000c23: SWAP1
00000c24: DUP1
00000c25: DUP1
00000c26: MLOAD
00000c27: SWAP1
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: SWAP1
00000c2c: SWAP3
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: POP
00000c30: POP
00000c31: POP
00000c32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c47: AND
00000c48: EQ
00000c49: JUMPDEST
00000c4a: PUSH2 0x0c9e
00000c4d: JUMPI
00000c4e: PUSH1 0x40
00000c50: MLOAD
00000c51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c72: DUP2
00000c73: MSTORE
00000c74: PUSH1 0x04
00000c76: ADD
00000c77: DUP1
00000c78: DUP1
00000c79: PUSH1 0x20
00000c7b: ADD
00000c7c: DUP3
00000c7d: DUP2
00000c7e: SUB
00000c7f: DUP3
00000c80: MSTORE
00000c81: PUSH1 0x2d
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x20
00000c87: ADD
00000c88: DUP1
00000c89: PUSH2 0x3d26
00000c8c: PUSH1 0x2d
00000c8e: SWAP2
00000c8f: CODECOPY
00000c90: PUSH1 0x40
00000c92: ADD
00000c93: SWAP2
00000c94: POP
00000c95: POP
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: DUP1
00000c9a: SWAP2
00000c9b: SUB
00000c9c: SWAP1
00000c9d: REVERT
00000c9e: JUMPDEST
00000c9f: DUP2
00000ca0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb5: AND
00000cb6: PUSH4 0x02fb0c5e
00000cbb: PUSH1 0x40
00000cbd: MLOAD
00000cbe: DUP2
00000cbf: PUSH4 0xffffffff
00000cc4: AND
00000cc5: PUSH1 0xe0
00000cc7: SHL
00000cc8: DUP2
00000cc9: MSTORE
00000cca: PUSH1 0x04
00000ccc: ADD
00000ccd: PUSH1 0x20
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: DUP1
00000cd3: DUP4
00000cd4: SUB
00000cd5: DUP2
00000cd6: DUP7
00000cd7: DUP1
00000cd8: EXTCODESIZE
00000cd9: ISZERO
00000cda: DUP1
00000cdb: ISZERO
00000cdc: PUSH2 0x0ce4
00000cdf: JUMPI
00000ce0: PUSH1 0x00
00000ce2: DUP1
00000ce3: REVERT
00000ce4: JUMPDEST
00000ce5: POP
00000ce6: GAS
00000ce7: STATICCALL
00000ce8: ISZERO
00000ce9: DUP1
00000cea: ISZERO
00000ceb: PUSH2 0x0cf8
00000cee: JUMPI
00000cef: RETURNDATASIZE
00000cf0: PUSH1 0x00
00000cf2: DUP1
00000cf3: RETURNDATACOPY
00000cf4: RETURNDATASIZE
00000cf5: PUSH1 0x00
00000cf7: REVERT
00000cf8: JUMPDEST
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: POP
00000cfd: PUSH1 0x40
00000cff: MLOAD
00000d00: RETURNDATASIZE
00000d01: PUSH1 0x20
00000d03: DUP2
00000d04: LT
00000d05: ISZERO
00000d06: PUSH2 0x0d0e
00000d09: JUMPI
00000d0a: PUSH1 0x00
00000d0c: DUP1
00000d0d: REVERT
00000d0e: JUMPDEST
00000d0f: DUP2
00000d10: ADD
00000d11: SWAP1
00000d12: DUP1
00000d13: DUP1
00000d14: MLOAD
00000d15: SWAP1
00000d16: PUSH1 0x20
00000d18: ADD
00000d19: SWAP1
00000d1a: SWAP3
00000d1b: SWAP2
00000d1c: SWAP1
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: PUSH2 0x0d74
00000d23: JUMPI
00000d24: PUSH1 0x40
00000d26: MLOAD
00000d27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d48: DUP2
00000d49: MSTORE
00000d4a: PUSH1 0x04
00000d4c: ADD
00000d4d: DUP1
00000d4e: DUP1
00000d4f: PUSH1 0x20
00000d51: ADD
00000d52: DUP3
00000d53: DUP2
00000d54: SUB
00000d55: DUP3
00000d56: MSTORE
00000d57: PUSH1 0x2e
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x20
00000d5d: ADD
00000d5e: DUP1
00000d5f: PUSH2 0x3f42
00000d62: PUSH1 0x2e
00000d64: SWAP2
00000d65: CODECOPY
00000d66: PUSH1 0x40
00000d68: ADD
00000d69: SWAP2
00000d6a: POP
00000d6b: POP
00000d6c: PUSH1 0x40
00000d6e: MLOAD
00000d6f: DUP1
00000d70: SWAP2
00000d71: SUB
00000d72: SWAP1
00000d73: REVERT
00000d74: JUMPDEST
00000d75: PUSH1 0x00
00000d77: DUP1
00000d78: DUP4
00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8e: AND
00000d8f: PUSH4 0x265aa621
00000d94: DUP5
00000d95: PUSH1 0x40
00000d97: MLOAD
00000d98: DUP3
00000d99: PUSH4 0xffffffff
00000d9e: AND
00000d9f: PUSH1 0xe0
00000da1: SHL
00000da2: DUP2
00000da3: MSTORE
00000da4: PUSH1 0x04
00000da6: ADD
00000da7: DUP1
00000da8: DUP3
00000da9: DUP2
00000daa: MSTORE
00000dab: PUSH1 0x20
00000dad: ADD
00000dae: SWAP2
00000daf: POP
00000db0: POP
00000db1: PUSH1 0x80
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: DUP1
00000db7: DUP4
00000db8: SUB
00000db9: DUP2
00000dba: DUP7
00000dbb: DUP1
00000dbc: EXTCODESIZE
00000dbd: ISZERO
00000dbe: DUP1
00000dbf: ISZERO
00000dc0: PUSH2 0x0dc8
00000dc3: JUMPI
00000dc4: PUSH1 0x00
00000dc6: DUP1
00000dc7: REVERT
00000dc8: JUMPDEST
00000dc9: POP
00000dca: GAS
00000dcb: STATICCALL
00000dcc: ISZERO
00000dcd: DUP1
00000dce: ISZERO
00000dcf: PUSH2 0x0ddc
00000dd2: JUMPI
00000dd3: RETURNDATASIZE
00000dd4: PUSH1 0x00
00000dd6: DUP1
00000dd7: RETURNDATACOPY
00000dd8: RETURNDATASIZE
00000dd9: PUSH1 0x00
00000ddb: REVERT
00000ddc: JUMPDEST
00000ddd: POP
00000dde: POP
00000ddf: POP
00000de0: POP
00000de1: PUSH1 0x40
00000de3: MLOAD
00000de4: RETURNDATASIZE
00000de5: PUSH1 0x80
00000de7: DUP2
00000de8: LT
00000de9: ISZERO
00000dea: PUSH2 0x0df2
00000ded: JUMPI
00000dee: PUSH1 0x00
00000df0: DUP1
00000df1: REVERT
00000df2: JUMPDEST
00000df3: DUP2
00000df4: ADD
00000df5: SWAP1
00000df6: DUP1
00000df7: DUP1
00000df8: MLOAD
00000df9: SWAP1
00000dfa: PUSH1 0x20
00000dfc: ADD
00000dfd: SWAP1
00000dfe: SWAP3
00000dff: SWAP2
00000e00: SWAP1
00000e01: DUP1
00000e02: MLOAD
00000e03: SWAP1
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: SWAP1
00000e08: SWAP3
00000e09: SWAP2
00000e0a: SWAP1
00000e0b: DUP1
00000e0c: MLOAD
00000e0d: SWAP1
00000e0e: PUSH1 0x20
00000e10: ADD
00000e11: SWAP1
00000e12: SWAP3
00000e13: SWAP2
00000e14: SWAP1
00000e15: DUP1
00000e16: MLOAD
00000e17: SWAP1
00000e18: PUSH1 0x20
00000e1a: ADD
00000e1b: SWAP1
00000e1c: SWAP3
00000e1d: SWAP2
00000e1e: SWAP1
00000e1f: POP
00000e20: POP
00000e21: POP
00000e22: SWAP4
00000e23: POP
00000e24: POP
00000e25: POP
00000e26: SWAP2
00000e27: POP
00000e28: PUSH1 0x00
00000e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3f: AND
00000e40: DUP3
00000e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e56: AND
00000e57: EQ
00000e58: ISZERO
00000e59: PUSH2 0x0ead
00000e5c: JUMPI
00000e5d: PUSH1 0x40
00000e5f: MLOAD
00000e60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e81: DUP2
00000e82: MSTORE
00000e83: PUSH1 0x04
00000e85: ADD
00000e86: DUP1
00000e87: DUP1
00000e88: PUSH1 0x20
00000e8a: ADD
00000e8b: DUP3
00000e8c: DUP2
00000e8d: SUB
00000e8e: DUP3
00000e8f: MSTORE
00000e90: PUSH1 0x24
00000e92: DUP2
00000e93: MSTORE
00000e94: PUSH1 0x20
00000e96: ADD
00000e97: DUP1
00000e98: PUSH2 0x3de6
00000e9b: PUSH1 0x24
00000e9d: SWAP2
00000e9e: CODECOPY
00000e9f: PUSH1 0x40
00000ea1: ADD
00000ea2: SWAP2
00000ea3: POP
00000ea4: POP
00000ea5: PUSH1 0x40
00000ea7: MLOAD
00000ea8: DUP1
00000ea9: SWAP2
00000eaa: SUB
00000eab: SWAP1
00000eac: REVERT
00000ead: JUMPDEST
00000eae: CALLVALUE
00000eaf: DUP2
00000eb0: GT
00000eb1: ISZERO
00000eb2: PUSH2 0x0f06
00000eb5: JUMPI
00000eb6: PUSH1 0x40
00000eb8: MLOAD
00000eb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000eda: DUP2
00000edb: MSTORE
00000edc: PUSH1 0x04
00000ede: ADD
00000edf: DUP1
00000ee0: DUP1
00000ee1: PUSH1 0x20
00000ee3: ADD
00000ee4: DUP3
00000ee5: DUP2
00000ee6: SUB
00000ee7: DUP3
00000ee8: MSTORE
00000ee9: PUSH1 0x3e
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: DUP1
00000ef1: PUSH2 0x3eb1
00000ef4: PUSH1 0x3e
00000ef6: SWAP2
00000ef7: CODECOPY
00000ef8: PUSH1 0x40
00000efa: ADD
00000efb: SWAP2
00000efc: POP
00000efd: POP
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: DUP1
00000f02: SWAP2
00000f03: SUB
00000f04: SWAP1
00000f05: REVERT
00000f06: JUMPDEST
00000f07: PUSH1 0x69
00000f09: PUSH1 0x00
00000f0b: DUP6
00000f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f21: AND
00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f37: AND
00000f38: DUP2
00000f39: MSTORE
00000f3a: PUSH1 0x20
00000f3c: ADD
00000f3d: SWAP1
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x20
00000f42: ADD
00000f43: PUSH1 0x00
00000f45: KECCAK256
00000f46: PUSH1 0x00
00000f48: DUP5
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: SWAP1
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: PUSH1 0x00
00000f56: KECCAK256
00000f57: PUSH1 0x00
00000f59: SWAP1
00000f5a: SLOAD
00000f5b: SWAP1
00000f5c: PUSH2 0x0100
00000f5f: EXP
00000f60: SWAP1
00000f61: DIV
00000f62: PUSH1 0xff
00000f64: AND
00000f65: ISZERO
00000f66: PUSH2 0x0fba
00000f69: JUMPI
00000f6a: PUSH1 0x40
00000f6c: MLOAD
00000f6d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f8e: DUP2
00000f8f: MSTORE
00000f90: PUSH1 0x04
00000f92: ADD
00000f93: DUP1
00000f94: DUP1
00000f95: PUSH1 0x20
00000f97: ADD
00000f98: DUP3
00000f99: DUP2
00000f9a: SUB
00000f9b: DUP3
00000f9c: MSTORE
00000f9d: PUSH1 0x26
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: PUSH1 0x20
00000fa3: ADD
00000fa4: DUP1
00000fa5: PUSH2 0x3fbd
00000fa8: PUSH1 0x26
00000faa: SWAP2
00000fab: CODECOPY
00000fac: PUSH1 0x40
00000fae: ADD
00000faf: SWAP2
00000fb0: POP
00000fb1: POP
00000fb2: PUSH1 0x40
00000fb4: MLOAD
00000fb5: DUP1
00000fb6: SWAP2
00000fb7: SUB
00000fb8: SWAP1
00000fb9: REVERT
00000fba: JUMPDEST
00000fbb: PUSH1 0x01
00000fbd: PUSH1 0x69
00000fbf: PUSH1 0x00
00000fc1: DUP7
00000fc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd7: AND
00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fed: AND
00000fee: DUP2
00000fef: MSTORE
00000ff0: PUSH1 0x20
00000ff2: ADD
00000ff3: SWAP1
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x20
00000ff8: ADD
00000ff9: PUSH1 0x00
00000ffb: KECCAK256
00000ffc: PUSH1 0x00
00000ffe: DUP6
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x20
00001003: ADD
00001004: SWAP1
00001005: DUP2
00001006: MSTORE
00001007: PUSH1 0x20
00001009: ADD
0000100a: PUSH1 0x00
0000100c: KECCAK256
0000100d: PUSH1 0x00
0000100f: PUSH2 0x0100
00001012: EXP
00001013: DUP2
00001014: SLOAD
00001015: DUP2
00001016: PUSH1 0xff
00001018: MUL
00001019: NOT
0000101a: AND
0000101b: SWAP1
0000101c: DUP4
0000101d: ISZERO
0000101e: ISZERO
0000101f: MUL
00001020: OR
00001021: SWAP1
00001022: SSTORE
00001023: POP
00001024: PUSH1 0x00
00001026: PUSH1 0x65
00001028: DUP1
00001029: SLOAD
0000102a: SWAP1
0000102b: POP
0000102c: SWAP1
0000102d: POP
0000102e: PUSH1 0x00
00001030: PUSH2 0x104b
00001033: PUSH1 0x6c
00001035: SLOAD
00001036: PUSH2 0x103d
00001039: PUSH2 0x35e6
0000103c: JUMP
0000103d: JUMPDEST
0000103e: PUSH2 0x35ee
00001041: SWAP1
00001042: SWAP2
00001043: SWAP1
00001044: PUSH4 0xffffffff
00001049: AND
0000104a: JUMP
0000104b: JUMPDEST
0000104c: SWAP1
0000104d: POP
0000104e: PUSH1 0x65
00001050: PUSH1 0x40
00001052: MLOAD
00001053: DUP1
00001054: PUSH1 0xa0
00001056: ADD
00001057: PUSH1 0x40
00001059: MSTORE
0000105a: DUP1
0000105b: PUSH2 0x1062
0000105e: PUSH2 0x35e6
00001061: JUMP
00001062: JUMPDEST
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x20
00001067: ADD
00001068: DUP4
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: ADD
0000106e: DUP9
0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001084: AND
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x20
00001089: ADD
0000108a: DUP8
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: PUSH1 0x00
00001092: ISZERO
00001093: ISZERO
00001094: DUP2
00001095: MSTORE
00001096: POP
00001097: SWAP1
00001098: DUP1
00001099: PUSH1 0x01
0000109b: DUP2
0000109c: SLOAD
0000109d: ADD
0000109e: DUP1
0000109f: DUP3
000010a0: SSTORE
000010a1: DUP1
000010a2: SWAP2
000010a3: POP
000010a4: POP
000010a5: PUSH1 0x01
000010a7: SWAP1
000010a8: SUB
000010a9: SWAP1
000010aa: PUSH1 0x00
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: PUSH1 0x00
000010b1: KECCAK256
000010b2: SWAP1
000010b3: PUSH1 0x05
000010b5: MUL
000010b6: ADD
000010b7: PUSH1 0x00
000010b9: SWAP1
000010ba: SWAP2
000010bb: SWAP1
000010bc: SWAP2
000010bd: SWAP1
000010be: SWAP2
000010bf: POP
000010c0: PUSH1 0x00
000010c2: DUP3
000010c3: ADD
000010c4: MLOAD
000010c5: DUP2
000010c6: PUSH1 0x00
000010c8: ADD
000010c9: SSTORE
000010ca: PUSH1 0x20
000010cc: DUP3
000010cd: ADD
000010ce: MLOAD
000010cf: DUP2
000010d0: PUSH1 0x01
000010d2: ADD
000010d3: SSTORE
000010d4: PUSH1 0x40
000010d6: DUP3
000010d7: ADD
000010d8: MLOAD
000010d9: DUP2
000010da: PUSH1 0x02
000010dc: ADD
000010dd: PUSH1 0x00
000010df: PUSH2 0x0100
000010e2: EXP
000010e3: DUP2
000010e4: SLOAD
000010e5: DUP2
000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fb: MUL
000010fc: NOT
000010fd: AND
000010fe: SWAP1
000010ff: DUP4
00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001115: AND
00001116: MUL
00001117: OR
00001118: SWAP1
00001119: SSTORE
0000111a: POP
0000111b: PUSH1 0x60
0000111d: DUP3
0000111e: ADD
0000111f: MLOAD
00001120: DUP2
00001121: PUSH1 0x03
00001123: ADD
00001124: SSTORE
00001125: PUSH1 0x80
00001127: DUP3
00001128: ADD
00001129: MLOAD
0000112a: DUP2
0000112b: PUSH1 0x04
0000112d: ADD
0000112e: PUSH1 0x00
00001130: PUSH2 0x0100
00001133: EXP
00001134: DUP2
00001135: SLOAD
00001136: DUP2
00001137: PUSH1 0xff
00001139: MUL
0000113a: NOT
0000113b: AND
0000113c: SWAP1
0000113d: DUP4
0000113e: ISZERO
0000113f: ISZERO
00001140: MUL
00001141: OR
00001142: SWAP1
00001143: SSTORE
00001144: POP
00001145: POP
00001146: POP
00001147: DUP2
00001148: PUSH1 0x68
0000114a: PUSH1 0x00
0000114c: DUP9
0000114d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001162: AND
00001163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001178: AND
00001179: DUP2
0000117a: MSTORE
0000117b: PUSH1 0x20
0000117d: ADD
0000117e: SWAP1
0000117f: DUP2
00001180: MSTORE
00001181: PUSH1 0x20
00001183: ADD
00001184: PUSH1 0x00
00001186: KECCAK256
00001187: PUSH1 0x00
00001189: DUP8
0000118a: DUP2
0000118b: MSTORE
0000118c: PUSH1 0x20
0000118e: ADD
0000118f: SWAP1
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x20
00001194: ADD
00001195: PUSH1 0x00
00001197: KECCAK256
00001198: DUP2
00001199: SWAP1
0000119a: SSTORE
0000119b: POP
0000119c: PUSH1 0x00
0000119e: PUSH2 0x11c2
000011a1: PUSH1 0x6f
000011a3: PUSH1 0x00
000011a5: SWAP1
000011a6: SLOAD
000011a7: SWAP1
000011a8: PUSH2 0x0100
000011ab: EXP
000011ac: SWAP1
000011ad: DIV
000011ae: PUSH1 0xff
000011b0: AND
000011b1: PUSH1 0xff
000011b3: AND
000011b4: CALLVALUE
000011b5: PUSH2 0x3676
000011b8: SWAP1
000011b9: SWAP2
000011ba: SWAP1
000011bb: PUSH4 0xffffffff
000011c0: AND
000011c1: JUMP
000011c2: JUMPDEST
000011c3: SWAP1
000011c4: POP
000011c5: PUSH2 0x1228
000011c8: PUSH2 0x11da
000011cb: DUP3
000011cc: CALLVALUE
000011cd: PUSH2 0x36ff
000011d0: SWAP1
000011d1: SWAP2
000011d2: SWAP1
000011d3: PUSH4 0xffffffff
000011d8: AND
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH1 0x6a
000011dd: PUSH1 0x00
000011df: DUP11
000011e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f5: AND
000011f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120b: AND
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x20
00001210: ADD
00001211: SWAP1
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x20
00001216: ADD
00001217: PUSH1 0x00
00001219: KECCAK256
0000121a: SLOAD
0000121b: PUSH2 0x35ee
0000121e: SWAP1
0000121f: SWAP2
00001220: SWAP1
00001221: PUSH4 0xffffffff
00001226: AND
00001227: JUMP
00001228: JUMPDEST
00001229: PUSH1 0x6a
0000122b: PUSH1 0x00
0000122d: DUP10
0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001243: AND
00001244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001259: AND
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x20
0000125e: ADD
0000125f: SWAP1
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: PUSH1 0x00
00001267: KECCAK256
00001268: DUP2
00001269: SWAP1
0000126a: SSTORE
0000126b: POP
0000126c: PUSH1 0x40
0000126e: MLOAD
0000126f: DUP1
00001270: PUSH1 0x40
00001272: ADD
00001273: PUSH1 0x40
00001275: MSTORE
00001276: DUP1
00001277: CALLER
00001278: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128d: AND
0000128e: DUP2
0000128f: MSTORE
00001290: PUSH1 0x20
00001292: ADD
00001293: CALLVALUE
00001294: DUP2
00001295: MSTORE
00001296: POP
00001297: PUSH1 0x66
00001299: PUSH1 0x00
0000129b: DUP6
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x20
000012a0: ADD
000012a1: SWAP1
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: PUSH1 0x00
000012a9: KECCAK256
000012aa: PUSH1 0x00
000012ac: DUP3
000012ad: ADD
000012ae: MLOAD
000012af: DUP2
000012b0: PUSH1 0x00
000012b2: ADD
000012b3: PUSH1 0x00
000012b5: PUSH2 0x0100
000012b8: EXP
000012b9: DUP2
000012ba: SLOAD
000012bb: DUP2
000012bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d1: MUL
000012d2: NOT
000012d3: AND
000012d4: SWAP1
000012d5: DUP4
000012d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012eb: AND
000012ec: MUL
000012ed: OR
000012ee: SWAP1
000012ef: SSTORE
000012f0: POP
000012f1: PUSH1 0x20
000012f3: DUP3
000012f4: ADD
000012f5: MLOAD
000012f6: DUP2
000012f7: PUSH1 0x01
000012f9: ADD
000012fa: SSTORE
000012fb: SWAP1
000012fc: POP
000012fd: POP
000012fe: PUSH2 0x1306
00001301: DUP2
00001302: PUSH2 0x3782
00001305: JUMP
00001306: JUMPDEST
00001307: DUP2
00001308: DUP8
00001309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131e: AND
0000131f: DUP5
00001320: PUSH32 0x05f9bf100dd0ca9f37f08e0526690286d357ed7d6c5a4ac29730440b6e2dfd62
00001341: DUP10
00001342: PUSH2 0x1349
00001345: PUSH2 0x35e6
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: DUP1
0000134e: DUP4
0000134f: DUP2
00001350: MSTORE
00001351: PUSH1 0x20
00001353: ADD
00001354: DUP3
00001355: DUP2
00001356: MSTORE
00001357: PUSH1 0x20
00001359: ADD
0000135a: SWAP3
0000135b: POP
0000135c: POP
0000135d: POP
0000135e: PUSH1 0x40
00001360: MLOAD
00001361: DUP1
00001362: SWAP2
00001363: SUB
00001364: SWAP1
00001365: LOG4
00001366: DUP2
00001367: CALLER
00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137d: AND
0000137e: DUP5
0000137f: PUSH32 0x77689ebf788c0f9d9e045fa81e22903cc7a1e34686c3fa4874c9a6a4d8a239f5
000013a0: CALLVALUE
000013a1: PUSH1 0x40
000013a3: MLOAD
000013a4: DUP1
000013a5: DUP3
000013a6: DUP2
000013a7: MSTORE
000013a8: PUSH1 0x20
000013aa: ADD
000013ab: SWAP2
000013ac: POP
000013ad: POP
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: DUP1
000013b2: SWAP2
000013b3: SUB
000013b4: SWAP1
000013b5: LOG4
000013b6: POP
000013b7: POP
000013b8: POP
000013b9: POP
000013ba: POP
000013bb: POP
000013bc: POP
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH1 0x6f
000013c1: PUSH1 0x01
000013c3: SWAP1
000013c4: SLOAD
000013c5: SWAP1
000013c6: PUSH2 0x0100
000013c9: EXP
000013ca: SWAP1
000013cb: DIV
000013cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e1: AND
000013e2: DUP2
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH2 0x13ec
000013e8: PUSH2 0x3cd0
000013eb: JUMP
000013ec: JUMPDEST
000013ed: PUSH1 0x66
000013ef: PUSH1 0x00
000013f1: DUP4
000013f2: DUP2
000013f3: MSTORE
000013f4: PUSH1 0x20
000013f6: ADD
000013f7: SWAP1
000013f8: DUP2
000013f9: MSTORE
000013fa: PUSH1 0x20
000013fc: ADD
000013fd: PUSH1 0x00
000013ff: KECCAK256
00001400: PUSH1 0x40
00001402: MLOAD
00001403: DUP1
00001404: PUSH1 0x40
00001406: ADD
00001407: PUSH1 0x40
00001409: MSTORE
0000140a: SWAP1
0000140b: DUP2
0000140c: PUSH1 0x00
0000140e: DUP3
0000140f: ADD
00001410: PUSH1 0x00
00001412: SWAP1
00001413: SLOAD
00001414: SWAP1
00001415: PUSH2 0x0100
00001418: EXP
00001419: SWAP1
0000141a: DIV
0000141b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001430: AND
00001431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001446: AND
00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145c: AND
0000145d: DUP2
0000145e: MSTORE
0000145f: PUSH1 0x20
00001461: ADD
00001462: PUSH1 0x01
00001464: DUP3
00001465: ADD
00001466: SLOAD
00001467: DUP2
00001468: MSTORE
00001469: POP
0000146a: POP
0000146b: SWAP1
0000146c: POP
0000146d: CALLER
0000146e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001483: AND
00001484: DUP2
00001485: PUSH1 0x00
00001487: ADD
00001488: MLOAD
00001489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149e: AND
0000149f: EQ
000014a0: ISZERO
000014a1: PUSH2 0x14f5
000014a4: JUMPI
000014a5: PUSH1 0x40
000014a7: MLOAD
000014a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x04
000014cd: ADD
000014ce: DUP1
000014cf: DUP1
000014d0: PUSH1 0x20
000014d2: ADD
000014d3: DUP3
000014d4: DUP2
000014d5: SUB
000014d6: DUP3
000014d7: MSTORE
000014d8: PUSH1 0x28
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x20
000014de: ADD
000014df: DUP1
000014e0: PUSH2 0x3f70
000014e3: PUSH1 0x28
000014e5: SWAP2
000014e6: CODECOPY
000014e7: PUSH1 0x40
000014e9: ADD
000014ea: SWAP2
000014eb: POP
000014ec: POP
000014ed: PUSH1 0x40
000014ef: MLOAD
000014f0: DUP1
000014f1: SWAP2
000014f2: SUB
000014f3: SWAP1
000014f4: REVERT
000014f5: JUMPDEST
000014f6: PUSH1 0x00
000014f8: PUSH1 0x67
000014fa: PUSH1 0x00
000014fc: DUP5
000014fd: DUP2
000014fe: MSTORE
000014ff: PUSH1 0x20
00001501: ADD
00001502: SWAP1
00001503: DUP2
00001504: MSTORE
00001505: PUSH1 0x20
00001507: ADD
00001508: PUSH1 0x00
0000150a: KECCAK256
0000150b: PUSH1 0x00
0000150d: CALLER
0000150e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001523: AND
00001524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001539: AND
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: SWAP1
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x20
00001544: ADD
00001545: PUSH1 0x00
00001547: KECCAK256
00001548: SLOAD
00001549: SWAP1
0000154a: POP
0000154b: PUSH1 0x00
0000154d: DUP2
0000154e: GT
0000154f: PUSH2 0x15c0
00001552: JUMPI
00001553: PUSH1 0x40
00001555: MLOAD
00001556: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x04
0000157b: ADD
0000157c: DUP1
0000157d: DUP1
0000157e: PUSH1 0x20
00001580: ADD
00001581: DUP3
00001582: DUP2
00001583: SUB
00001584: DUP3
00001585: MSTORE
00001586: PUSH1 0x1c
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x20
0000158c: ADD
0000158d: DUP1
0000158e: PUSH32 0x41756374696f6e48616e646c65723a204e6f2062696420666f756e6400000000
000015af: DUP2
000015b0: MSTORE
000015b1: POP
000015b2: PUSH1 0x20
000015b4: ADD
000015b5: SWAP2
000015b6: POP
000015b7: POP
000015b8: PUSH1 0x40
000015ba: MLOAD
000015bb: DUP1
000015bc: SWAP2
000015bd: SUB
000015be: SWAP1
000015bf: REVERT
000015c0: JUMPDEST
000015c1: PUSH1 0x00
000015c3: PUSH1 0x67
000015c5: PUSH1 0x00
000015c7: DUP6
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x20
000015cc: ADD
000015cd: SWAP1
000015ce: DUP2
000015cf: MSTORE
000015d0: PUSH1 0x20
000015d2: ADD
000015d3: PUSH1 0x00
000015d5: KECCAK256
000015d6: PUSH1 0x00
000015d8: CALLER
000015d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ee: AND
000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001604: AND
00001605: DUP2
00001606: MSTORE
00001607: PUSH1 0x20
00001609: ADD
0000160a: SWAP1
0000160b: DUP2
0000160c: MSTORE
0000160d: PUSH1 0x20
0000160f: ADD
00001610: PUSH1 0x00
00001612: KECCAK256
00001613: DUP2
00001614: SWAP1
00001615: SSTORE
00001616: POP
00001617: PUSH1 0x00
00001619: PUSH1 0x60
0000161b: CALLER
0000161c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001631: AND
00001632: DUP4
00001633: PUSH1 0x40
00001635: MLOAD
00001636: DUP1
00001637: PUSH1 0x00
00001639: ADD
0000163a: SWAP1
0000163b: POP
0000163c: PUSH1 0x00
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: DUP1
00001642: DUP4
00001643: SUB
00001644: DUP2
00001645: DUP6
00001646: DUP8
00001647: GAS
00001648: CALL
00001649: SWAP3
0000164a: POP
0000164b: POP
0000164c: POP
0000164d: RETURNDATASIZE
0000164e: DUP1
0000164f: PUSH1 0x00
00001651: DUP2
00001652: EQ
00001653: PUSH2 0x1678
00001656: JUMPI
00001657: PUSH1 0x40
00001659: MLOAD
0000165a: SWAP2
0000165b: POP
0000165c: PUSH1 0x1f
0000165e: NOT
0000165f: PUSH1 0x3f
00001661: RETURNDATASIZE
00001662: ADD
00001663: AND
00001664: DUP3
00001665: ADD
00001666: PUSH1 0x40
00001668: MSTORE
00001669: RETURNDATASIZE
0000166a: DUP3
0000166b: MSTORE
0000166c: RETURNDATASIZE
0000166d: PUSH1 0x00
0000166f: PUSH1 0x20
00001671: DUP5
00001672: ADD
00001673: RETURNDATACOPY
00001674: PUSH2 0x167d
00001677: JUMP
00001678: JUMPDEST
00001679: PUSH1 0x60
0000167b: SWAP2
0000167c: POP
0000167d: JUMPDEST
0000167e: POP
0000167f: SWAP2
00001680: POP
00001681: SWAP2
00001682: POP
00001683: DUP2
00001684: PUSH2 0x16d8
00001687: JUMPI
00001688: PUSH1 0x40
0000168a: MLOAD
0000168b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x04
000016b0: ADD
000016b1: DUP1
000016b2: DUP1
000016b3: PUSH1 0x20
000016b5: ADD
000016b6: DUP3
000016b7: DUP2
000016b8: SUB
000016b9: DUP3
000016ba: MSTORE
000016bb: PUSH1 0x24
000016bd: DUP2
000016be: MSTORE
000016bf: PUSH1 0x20
000016c1: ADD
000016c2: DUP1
000016c3: PUSH2 0x3d53
000016c6: PUSH1 0x24
000016c8: SWAP2
000016c9: CODECOPY
000016ca: PUSH1 0x40
000016cc: ADD
000016cd: SWAP2
000016ce: POP
000016cf: POP
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: DUP1
000016d4: SWAP2
000016d5: SUB
000016d6: SWAP1
000016d7: REVERT
000016d8: JUMPDEST
000016d9: CALLER
000016da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ef: AND
000016f0: DUP6
000016f1: PUSH32 0xfb280d892235c44edc6a8f273938a4f3ad3b134cc20ff8b50d5ee2e13a1d27a2
00001712: PUSH1 0x40
00001714: MLOAD
00001715: PUSH1 0x40
00001717: MLOAD
00001718: DUP1
00001719: SWAP2
0000171a: SUB
0000171b: SWAP1
0000171c: LOG3
0000171d: POP
0000171e: POP
0000171f: POP
00001720: POP
00001721: POP
00001722: JUMP
00001723: JUMPDEST
00001724: PUSH1 0x6d
00001726: PUSH1 0x00
00001728: SWAP1
00001729: SLOAD
0000172a: SWAP1
0000172b: PUSH2 0x0100
0000172e: EXP
0000172f: SWAP1
00001730: DIV
00001731: PUSH1 0xff
00001733: AND
00001734: DUP2
00001735: JUMP
00001736: JUMPDEST
00001737: PUSH1 0x6c
00001739: SLOAD
0000173a: DUP2
0000173b: JUMP
0000173c: JUMPDEST
0000173d: PUSH1 0x69
0000173f: PUSH1 0x20
00001741: MSTORE
00001742: DUP2
00001743: PUSH1 0x00
00001745: MSTORE
00001746: PUSH1 0x40
00001748: PUSH1 0x00
0000174a: KECCAK256
0000174b: PUSH1 0x20
0000174d: MSTORE
0000174e: DUP1
0000174f: PUSH1 0x00
00001751: MSTORE
00001752: PUSH1 0x40
00001754: PUSH1 0x00
00001756: KECCAK256
00001757: PUSH1 0x00
00001759: SWAP2
0000175a: POP
0000175b: SWAP2
0000175c: POP
0000175d: SWAP1
0000175e: SLOAD
0000175f: SWAP1
00001760: PUSH2 0x0100
00001763: EXP
00001764: SWAP1
00001765: DIV
00001766: PUSH1 0xff
00001768: AND
00001769: DUP2
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0x67
0000176e: PUSH1 0x20
00001770: MSTORE
00001771: DUP2
00001772: PUSH1 0x00
00001774: MSTORE
00001775: PUSH1 0x40
00001777: PUSH1 0x00
00001779: KECCAK256
0000177a: PUSH1 0x20
0000177c: MSTORE
0000177d: DUP1
0000177e: PUSH1 0x00
00001780: MSTORE
00001781: PUSH1 0x40
00001783: PUSH1 0x00
00001785: KECCAK256
00001786: PUSH1 0x00
00001788: SWAP2
00001789: POP
0000178a: SWAP2
0000178b: POP
0000178c: POP
0000178d: SLOAD
0000178e: DUP2
0000178f: JUMP
00001790: JUMPDEST
00001791: PUSH1 0x00
00001793: PUSH1 0x65
00001795: DUP1
00001796: SLOAD
00001797: SWAP1
00001798: POP
00001799: SWAP1
0000179a: POP
0000179b: SWAP1
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH2 0x17a5
000017a1: PUSH2 0x386b
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bb: AND
000017bc: PUSH2 0x17c3
000017bf: PUSH2 0x2787
000017c2: JUMP
000017c3: JUMPDEST
000017c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d9: AND
000017da: EQ
000017db: PUSH2 0x184c
000017de: JUMPI
000017df: PUSH1 0x40
000017e1: MLOAD
000017e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001803: DUP2
00001804: MSTORE
00001805: PUSH1 0x04
00001807: ADD
00001808: DUP1
00001809: DUP1
0000180a: PUSH1 0x20
0000180c: ADD
0000180d: DUP3
0000180e: DUP2
0000180f: SUB
00001810: DUP3
00001811: MSTORE
00001812: PUSH1 0x20
00001814: DUP2
00001815: MSTORE
00001816: PUSH1 0x20
00001818: ADD
00001819: DUP1
0000181a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000183b: DUP2
0000183c: MSTORE
0000183d: POP
0000183e: PUSH1 0x20
00001840: ADD
00001841: SWAP2
00001842: POP
00001843: POP
00001844: PUSH1 0x40
00001846: MLOAD
00001847: DUP1
00001848: SWAP2
00001849: SUB
0000184a: SWAP1
0000184b: REVERT
0000184c: JUMPDEST
0000184d: PUSH1 0x00
0000184f: DUP5
00001850: GT
00001851: DUP1
00001852: ISZERO
00001853: PUSH2 0x185c
00001856: JUMPI
00001857: POP
00001858: PUSH1 0x00
0000185a: DUP3
0000185b: GT
0000185c: JUMPDEST
0000185d: PUSH2 0x18b1
00001860: JUMPI
00001861: PUSH1 0x40
00001863: MLOAD
00001864: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001885: DUP2
00001886: MSTORE
00001887: PUSH1 0x04
00001889: ADD
0000188a: DUP1
0000188b: DUP1
0000188c: PUSH1 0x20
0000188e: ADD
0000188f: DUP3
00001890: DUP2
00001891: SUB
00001892: DUP3
00001893: MSTORE
00001894: PUSH1 0x22
00001896: DUP2
00001897: MSTORE
00001898: PUSH1 0x20
0000189a: ADD
0000189b: DUP1
0000189c: PUSH2 0x3e60
0000189f: PUSH1 0x22
000018a1: SWAP2
000018a2: CODECOPY
000018a3: PUSH1 0x40
000018a5: ADD
000018a6: SWAP2
000018a7: POP
000018a8: POP
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: DUP1
000018ad: SWAP2
000018ae: SUB
000018af: SWAP1
000018b0: REVERT
000018b1: JUMPDEST
000018b2: PUSH1 0x64
000018b4: DUP4
000018b5: PUSH1 0xff
000018b7: AND
000018b8: GT
000018b9: DUP1
000018ba: ISZERO
000018bb: PUSH2 0x18c7
000018be: JUMPI
000018bf: POP
000018c0: PUSH1 0xc8
000018c2: DUP4
000018c3: PUSH1 0xff
000018c5: AND
000018c6: LT
000018c7: JUMPDEST
000018c8: PUSH2 0x1939
000018cb: JUMPI
000018cc: PUSH1 0x40
000018ce: MLOAD
000018cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018f0: DUP2
000018f1: MSTORE
000018f2: PUSH1 0x04
000018f4: ADD
000018f5: DUP1
000018f6: DUP1
000018f7: PUSH1 0x20
000018f9: ADD
000018fa: DUP3
000018fb: DUP2
000018fc: SUB
000018fd: DUP3
000018fe: MSTORE
000018ff: PUSH1 0x12
00001901: DUP2
00001902: MSTORE
00001903: PUSH1 0x20
00001905: ADD
00001906: DUP1
00001907: PUSH32 0x496e76616c6964206d756c7469706c6965720000000000000000000000000000
00001928: DUP2
00001929: MSTORE
0000192a: POP
0000192b: PUSH1 0x20
0000192d: ADD
0000192e: SWAP2
0000192f: POP
00001930: POP
00001931: PUSH1 0x40
00001933: MLOAD
00001934: DUP1
00001935: SWAP2
00001936: SUB
00001937: SWAP1
00001938: REVERT
00001939: JUMPDEST
0000193a: PUSH1 0x01
0000193c: DUP2
0000193d: PUSH1 0xff
0000193f: AND
00001940: GT
00001941: PUSH2 0x19b2
00001944: JUMPI
00001945: PUSH1 0x40
00001947: MLOAD
00001948: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001969: DUP2
0000196a: MSTORE
0000196b: PUSH1 0x04
0000196d: ADD
0000196e: DUP1
0000196f: DUP1
00001970: PUSH1 0x20
00001972: ADD
00001973: DUP3
00001974: DUP2
00001975: SUB
00001976: DUP3
00001977: MSTORE
00001978: PUSH1 0x13
0000197a: DUP2
0000197b: MSTORE
0000197c: PUSH1 0x20
0000197e: ADD
0000197f: DUP1
00001980: PUSH32 0x496e76616c6964206665652064697669736f7200000000000000000000000000
000019a1: DUP2
000019a2: MSTORE
000019a3: POP
000019a4: PUSH1 0x20
000019a6: ADD
000019a7: SWAP2
000019a8: POP
000019a9: POP
000019aa: PUSH1 0x40
000019ac: MLOAD
000019ad: DUP1
000019ae: SWAP2
000019af: SUB
000019b0: SWAP1
000019b1: REVERT
000019b2: JUMPDEST
000019b3: PUSH2 0x1a02
000019b6: PUSH2 0x19f2
000019b9: PUSH1 0x64
000019bb: PUSH2 0x19e4
000019be: PUSH1 0x64
000019c0: PUSH2 0x19d6
000019c3: DUP9
000019c4: PUSH1 0xff
000019c6: AND
000019c7: PUSH1 0x64
000019c9: PUSH2 0x3873
000019cc: SWAP1
000019cd: SWAP2
000019ce: SWAP1
000019cf: PUSH4 0xffffffff
000019d4: AND
000019d5: JUMP
000019d6: JUMPDEST
000019d7: PUSH2 0x3676
000019da: SWAP1
000019db: SWAP2
000019dc: SWAP1
000019dd: PUSH4 0xffffffff
000019e2: AND
000019e3: JUMP
000019e4: JUMPDEST
000019e5: PUSH2 0x36ff
000019e8: SWAP1
000019e9: SWAP2
000019ea: SWAP1
000019eb: PUSH4 0xffffffff
000019f0: AND
000019f1: JUMP
000019f2: JUMPDEST
000019f3: PUSH1 0x64
000019f5: PUSH2 0x3676
000019f8: SWAP1
000019f9: SWAP2
000019fa: SWAP1
000019fb: PUSH4 0xffffffff
00001a00: AND
00001a01: JUMP
00001a02: JUMPDEST
00001a03: DUP2
00001a04: PUSH1 0xff
00001a06: AND
00001a07: GT
00001a08: PUSH2 0x1a79
00001a0b: JUMPI
00001a0c: PUSH1 0x40
00001a0e: MLOAD
00001a0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a30: DUP2
00001a31: MSTORE
00001a32: PUSH1 0x04
00001a34: ADD
00001a35: DUP1
00001a36: DUP1
00001a37: PUSH1 0x20
00001a39: ADD
00001a3a: DUP3
00001a3b: DUP2
00001a3c: SUB
00001a3d: DUP3
00001a3e: MSTORE
00001a3f: PUSH1 0x19
00001a41: DUP2
00001a42: MSTORE
00001a43: PUSH1 0x20
00001a45: ADD
00001a46: DUP1
00001a47: PUSH32 0x496e76616c696420666565207673206d756c7469706c69657200000000000000
00001a68: DUP2
00001a69: MSTORE
00001a6a: POP
00001a6b: PUSH1 0x20
00001a6d: ADD
00001a6e: SWAP2
00001a6f: POP
00001a70: POP
00001a71: PUSH1 0x40
00001a73: MLOAD
00001a74: DUP1
00001a75: SWAP2
00001a76: SUB
00001a77: SWAP1
00001a78: REVERT
00001a79: JUMPDEST
00001a7a: DUP4
00001a7b: PUSH1 0x6c
00001a7d: DUP2
00001a7e: SWAP1
00001a7f: SSTORE
00001a80: POP
00001a81: DUP3
00001a82: PUSH1 0x6d
00001a84: PUSH1 0x00
00001a86: PUSH2 0x0100
00001a89: EXP
00001a8a: DUP2
00001a8b: SLOAD
00001a8c: DUP2
00001a8d: PUSH1 0xff
00001a8f: MUL
00001a90: NOT
00001a91: AND
00001a92: SWAP1
00001a93: DUP4
00001a94: PUSH1 0xff
00001a96: AND
00001a97: MUL
00001a98: OR
00001a99: SWAP1
00001a9a: SSTORE
00001a9b: POP
00001a9c: DUP2
00001a9d: PUSH1 0x6e
00001a9f: DUP2
00001aa0: SWAP1
00001aa1: SSTORE
00001aa2: POP
00001aa3: DUP1
00001aa4: PUSH1 0x6f
00001aa6: PUSH1 0x00
00001aa8: PUSH2 0x0100
00001aab: EXP
00001aac: DUP2
00001aad: SLOAD
00001aae: DUP2
00001aaf: PUSH1 0xff
00001ab1: MUL
00001ab2: NOT
00001ab3: AND
00001ab4: SWAP1
00001ab5: DUP4
00001ab6: PUSH1 0xff
00001ab8: AND
00001ab9: MUL
00001aba: OR
00001abb: SWAP1
00001abc: SSTORE
00001abd: POP
00001abe: POP
00001abf: POP
00001ac0: POP
00001ac1: POP
00001ac2: JUMP
00001ac3: JUMPDEST
00001ac4: PUSH1 0x00
00001ac6: PUSH1 0x65
00001ac8: DUP3
00001ac9: DUP2
00001aca: SLOAD
00001acb: DUP2
00001acc: LT
00001acd: PUSH2 0x1ad2
00001ad0: JUMPI
00001ad1: INVALID
00001ad2: JUMPDEST
00001ad3: SWAP1
00001ad4: PUSH1 0x00
00001ad6: MSTORE
00001ad7: PUSH1 0x20
00001ad9: PUSH1 0x00
00001adb: KECCAK256
00001adc: SWAP1
00001add: PUSH1 0x05
00001adf: MUL
00001ae0: ADD
00001ae1: SWAP1
00001ae2: POP
00001ae3: DUP1
00001ae4: PUSH1 0x01
00001ae6: ADD
00001ae7: SLOAD
00001ae8: PUSH2 0x1aef
00001aeb: PUSH2 0x35e6
00001aee: JUMP
00001aef: JUMPDEST
00001af0: GT
00001af1: PUSH2 0x1b45
00001af4: JUMPI
00001af5: PUSH1 0x40
00001af7: MLOAD
00001af8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b19: DUP2
00001b1a: MSTORE
00001b1b: PUSH1 0x04
00001b1d: ADD
00001b1e: DUP1
00001b1f: DUP1
00001b20: PUSH1 0x20
00001b22: ADD
00001b23: DUP3
00001b24: DUP2
00001b25: SUB
00001b26: DUP3
00001b27: MSTORE
00001b28: PUSH1 0x23
00001b2a: DUP2
00001b2b: MSTORE
00001b2c: PUSH1 0x20
00001b2e: ADD
00001b2f: DUP1
00001b30: PUSH2 0x3d9d
00001b33: PUSH1 0x23
00001b35: SWAP2
00001b36: CODECOPY
00001b37: PUSH1 0x40
00001b39: ADD
00001b3a: SWAP2
00001b3b: POP
00001b3c: POP
00001b3d: PUSH1 0x40
00001b3f: MLOAD
00001b40: DUP1
00001b41: SWAP2
00001b42: SUB
00001b43: SWAP1
00001b44: REVERT
00001b45: JUMPDEST
00001b46: DUP1
00001b47: PUSH1 0x04
00001b49: ADD
00001b4a: PUSH1 0x00
00001b4c: SWAP1
00001b4d: SLOAD
00001b4e: SWAP1
00001b4f: PUSH2 0x0100
00001b52: EXP
00001b53: SWAP1
00001b54: DIV
00001b55: PUSH1 0xff
00001b57: AND
00001b58: ISZERO
00001b59: PUSH2 0x1bca
00001b5c: JUMPI
00001b5d: PUSH1 0x40
00001b5f: MLOAD
00001b60: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x04
00001b85: ADD
00001b86: DUP1
00001b87: DUP1
00001b88: PUSH1 0x20
00001b8a: ADD
00001b8b: DUP3
00001b8c: DUP2
00001b8d: SUB
00001b8e: DUP3
00001b8f: MSTORE
00001b90: PUSH1 0x1f
00001b92: DUP2
00001b93: MSTORE
00001b94: PUSH1 0x20
00001b96: ADD
00001b97: DUP1
00001b98: PUSH32 0x41756374696f6e48616e646c65723a20416c726561647920636c61696d656400
00001bb9: DUP2
00001bba: MSTORE
00001bbb: POP
00001bbc: PUSH1 0x20
00001bbe: ADD
00001bbf: SWAP2
00001bc0: POP
00001bc1: POP
00001bc2: PUSH1 0x40
00001bc4: MLOAD
00001bc5: DUP1
00001bc6: SWAP2
00001bc7: SUB
00001bc8: SWAP1
00001bc9: REVERT
00001bca: JUMPDEST
00001bcb: PUSH2 0x1bd2
00001bce: PUSH2 0x3cd0
00001bd1: JUMP
00001bd2: JUMPDEST
00001bd3: PUSH1 0x66
00001bd5: PUSH1 0x00
00001bd7: DUP5
00001bd8: DUP2
00001bd9: MSTORE
00001bda: PUSH1 0x20
00001bdc: ADD
00001bdd: SWAP1
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x20
00001be2: ADD
00001be3: PUSH1 0x00
00001be5: KECCAK256
00001be6: PUSH1 0x40
00001be8: MLOAD
00001be9: DUP1
00001bea: PUSH1 0x40
00001bec: ADD
00001bed: PUSH1 0x40
00001bef: MSTORE
00001bf0: SWAP1
00001bf1: DUP2
00001bf2: PUSH1 0x00
00001bf4: DUP3
00001bf5: ADD
00001bf6: PUSH1 0x00
00001bf8: SWAP1
00001bf9: SLOAD
00001bfa: SWAP1
00001bfb: PUSH2 0x0100
00001bfe: EXP
00001bff: SWAP1
00001c00: DIV
00001c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c16: AND
00001c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2c: AND
00001c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c42: AND
00001c43: DUP2
00001c44: MSTORE
00001c45: PUSH1 0x20
00001c47: ADD
00001c48: PUSH1 0x01
00001c4a: DUP3
00001c4b: ADD
00001c4c: SLOAD
00001c4d: DUP2
00001c4e: MSTORE
00001c4f: POP
00001c50: POP
00001c51: SWAP1
00001c52: POP
00001c53: DUP1
00001c54: PUSH1 0x00
00001c56: ADD
00001c57: MLOAD
00001c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6d: AND
00001c6e: CALLER
00001c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c84: AND
00001c85: EQ
00001c86: PUSH2 0x1cda
00001c89: JUMPI
00001c8a: PUSH1 0x40
00001c8c: MLOAD
00001c8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x04
00001cb2: ADD
00001cb3: DUP1
00001cb4: DUP1
00001cb5: PUSH1 0x20
00001cb7: ADD
00001cb8: DUP3
00001cb9: DUP2
00001cba: SUB
00001cbb: DUP3
00001cbc: MSTORE
00001cbd: PUSH1 0x25
00001cbf: DUP2
00001cc0: MSTORE
00001cc1: PUSH1 0x20
00001cc3: ADD
00001cc4: DUP1
00001cc5: PUSH2 0x3d01
00001cc8: PUSH1 0x25
00001cca: SWAP2
00001ccb: CODECOPY
00001ccc: PUSH1 0x40
00001cce: ADD
00001ccf: SWAP2
00001cd0: POP
00001cd1: POP
00001cd2: PUSH1 0x40
00001cd4: MLOAD
00001cd5: DUP1
00001cd6: SWAP2
00001cd7: SUB
00001cd8: SWAP1
00001cd9: REVERT
00001cda: JUMPDEST
00001cdb: PUSH1 0x01
00001cdd: DUP3
00001cde: PUSH1 0x04
00001ce0: ADD
00001ce1: PUSH1 0x00
00001ce3: PUSH2 0x0100
00001ce6: EXP
00001ce7: DUP2
00001ce8: SLOAD
00001ce9: DUP2
00001cea: PUSH1 0xff
00001cec: MUL
00001ced: NOT
00001cee: AND
00001cef: SWAP1
00001cf0: DUP4
00001cf1: ISZERO
00001cf2: ISZERO
00001cf3: MUL
00001cf4: OR
00001cf5: SWAP1
00001cf6: SSTORE
00001cf7: POP
00001cf8: DUP2
00001cf9: PUSH1 0x02
00001cfb: ADD
00001cfc: PUSH1 0x00
00001cfe: SWAP1
00001cff: SLOAD
00001d00: SWAP1
00001d01: PUSH2 0x0100
00001d04: EXP
00001d05: SWAP1
00001d06: DIV
00001d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1c: AND
00001d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d32: AND
00001d33: PUSH4 0x62432b58
00001d38: DUP4
00001d39: PUSH1 0x03
00001d3b: ADD
00001d3c: SLOAD
00001d3d: DUP4
00001d3e: PUSH1 0x00
00001d40: ADD
00001d41: MLOAD
00001d42: PUSH1 0x40
00001d44: MLOAD
00001d45: DUP4
00001d46: PUSH4 0xffffffff
00001d4b: AND
00001d4c: PUSH1 0xe0
00001d4e: SHL
00001d4f: DUP2
00001d50: MSTORE
00001d51: PUSH1 0x04
00001d53: ADD
00001d54: DUP1
00001d55: DUP4
00001d56: DUP2
00001d57: MSTORE
00001d58: PUSH1 0x20
00001d5a: ADD
00001d5b: DUP3
00001d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d71: AND
00001d72: DUP2
00001d73: MSTORE
00001d74: PUSH1 0x20
00001d76: ADD
00001d77: SWAP3
00001d78: POP
00001d79: POP
00001d7a: POP
00001d7b: PUSH1 0x20
00001d7d: PUSH1 0x40
00001d7f: MLOAD
00001d80: DUP1
00001d81: DUP4
00001d82: SUB
00001d83: DUP2
00001d84: PUSH1 0x00
00001d86: DUP8
00001d87: DUP1
00001d88: EXTCODESIZE
00001d89: ISZERO
00001d8a: DUP1
00001d8b: ISZERO
00001d8c: PUSH2 0x1d94
00001d8f: JUMPI
00001d90: PUSH1 0x00
00001d92: DUP1
00001d93: REVERT
00001d94: JUMPDEST
00001d95: POP
00001d96: GAS
00001d97: CALL
00001d98: ISZERO
00001d99: DUP1
00001d9a: ISZERO
00001d9b: PUSH2 0x1da8
00001d9e: JUMPI
00001d9f: RETURNDATASIZE
00001da0: PUSH1 0x00
00001da2: DUP1
00001da3: RETURNDATACOPY
00001da4: RETURNDATASIZE
00001da5: PUSH1 0x00
00001da7: REVERT
00001da8: JUMPDEST
00001da9: POP
00001daa: POP
00001dab: POP
00001dac: POP
00001dad: PUSH1 0x40
00001daf: MLOAD
00001db0: RETURNDATASIZE
00001db1: PUSH1 0x20
00001db3: DUP2
00001db4: LT
00001db5: ISZERO
00001db6: PUSH2 0x1dbe
00001db9: JUMPI
00001dba: PUSH1 0x00
00001dbc: DUP1
00001dbd: REVERT
00001dbe: JUMPDEST
00001dbf: DUP2
00001dc0: ADD
00001dc1: SWAP1
00001dc2: DUP1
00001dc3: DUP1
00001dc4: MLOAD
00001dc5: SWAP1
00001dc6: PUSH1 0x20
00001dc8: ADD
00001dc9: SWAP1
00001dca: SWAP3
00001dcb: SWAP2
00001dcc: SWAP1
00001dcd: POP
00001dce: POP
00001dcf: POP
00001dd0: PUSH2 0x1e41
00001dd3: JUMPI
00001dd4: PUSH1 0x40
00001dd6: MLOAD
00001dd7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001df8: DUP2
00001df9: MSTORE
00001dfa: PUSH1 0x04
00001dfc: ADD
00001dfd: DUP1
00001dfe: DUP1
00001dff: PUSH1 0x20
00001e01: ADD
00001e02: DUP3
00001e03: DUP2
00001e04: SUB
00001e05: DUP3
00001e06: MSTORE
00001e07: PUSH1 0x1c
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: ADD
00001e0e: DUP1
00001e0f: PUSH32 0x41756374696f6e48616e646c65723a20436c61696d206661696c656400000000
00001e30: DUP2
00001e31: MSTORE
00001e32: POP
00001e33: PUSH1 0x20
00001e35: ADD
00001e36: SWAP2
00001e37: POP
00001e38: POP
00001e39: PUSH1 0x40
00001e3b: MLOAD
00001e3c: DUP1
00001e3d: SWAP2
00001e3e: SUB
00001e3f: SWAP1
00001e40: REVERT
00001e41: JUMPDEST
00001e42: DUP1
00001e43: PUSH1 0x00
00001e45: ADD
00001e46: MLOAD
00001e47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5c: AND
00001e5d: DUP4
00001e5e: PUSH32 0x6c31918c2dabe0275b23bef69f1a9e93053553a1e9fc048dde2389137628a8dd
00001e7f: PUSH1 0x40
00001e81: MLOAD
00001e82: PUSH1 0x40
00001e84: MLOAD
00001e85: DUP1
00001e86: SWAP2
00001e87: SUB
00001e88: SWAP1
00001e89: LOG3
00001e8a: POP
00001e8b: POP
00001e8c: POP
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: PUSH1 0x66
00001e91: PUSH1 0x20
00001e93: MSTORE
00001e94: DUP1
00001e95: PUSH1 0x00
00001e97: MSTORE
00001e98: PUSH1 0x40
00001e9a: PUSH1 0x00
00001e9c: KECCAK256
00001e9d: PUSH1 0x00
00001e9f: SWAP2
00001ea0: POP
00001ea1: SWAP1
00001ea2: POP
00001ea3: DUP1
00001ea4: PUSH1 0x00
00001ea6: ADD
00001ea7: PUSH1 0x00
00001ea9: SWAP1
00001eaa: SLOAD
00001eab: SWAP1
00001eac: PUSH2 0x0100
00001eaf: EXP
00001eb0: SWAP1
00001eb1: DIV
00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec7: AND
00001ec8: SWAP1
00001ec9: DUP1
00001eca: PUSH1 0x01
00001ecc: ADD
00001ecd: SLOAD
00001ece: SWAP1
00001ecf: POP
00001ed0: DUP3
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: PUSH1 0x00
00001ed5: PUSH1 0x65
00001ed7: DUP3
00001ed8: DUP2
00001ed9: SLOAD
00001eda: DUP2
00001edb: LT
00001edc: PUSH2 0x1ee1
00001edf: JUMPI
00001ee0: INVALID
00001ee1: JUMPDEST
00001ee2: SWAP1
00001ee3: PUSH1 0x00
00001ee5: MSTORE
00001ee6: PUSH1 0x20
00001ee8: PUSH1 0x00
00001eea: KECCAK256
00001eeb: SWAP1
00001eec: PUSH1 0x05
00001eee: MUL
00001eef: ADD
00001ef0: SWAP1
00001ef1: POP
00001ef2: DUP1
00001ef3: PUSH1 0x01
00001ef5: ADD
00001ef6: SLOAD
00001ef7: PUSH2 0x1efe
00001efa: PUSH2 0x35e6
00001efd: JUMP
00001efe: JUMPDEST
00001eff: LT
00001f00: PUSH2 0x1f54
00001f03: JUMPI
00001f04: PUSH1 0x40
00001f06: MLOAD
00001f07: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f28: DUP2
00001f29: MSTORE
00001f2a: PUSH1 0x04
00001f2c: ADD
00001f2d: DUP1
00001f2e: DUP1
00001f2f: PUSH1 0x20
00001f31: ADD
00001f32: DUP3
00001f33: DUP2
00001f34: SUB
00001f35: DUP3
00001f36: MSTORE
00001f37: PUSH1 0x25
00001f39: DUP2
00001f3a: MSTORE
00001f3b: PUSH1 0x20
00001f3d: ADD
00001f3e: DUP1
00001f3f: PUSH2 0x3f98
00001f42: PUSH1 0x25
00001f44: SWAP2
00001f45: CODECOPY
00001f46: PUSH1 0x40
00001f48: ADD
00001f49: SWAP2
00001f4a: POP
00001f4b: POP
00001f4c: PUSH1 0x40
00001f4e: MLOAD
00001f4f: DUP1
00001f50: SWAP2
00001f51: SUB
00001f52: SWAP1
00001f53: REVERT
00001f54: JUMPDEST
00001f55: DUP1
00001f56: PUSH1 0x02
00001f58: ADD
00001f59: PUSH1 0x00
00001f5b: SWAP1
00001f5c: SLOAD
00001f5d: SWAP1
00001f5e: PUSH2 0x0100
00001f61: EXP
00001f62: SWAP1
00001f63: DIV
00001f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f79: AND
00001f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8f: AND
00001f90: PUSH4 0x02fb0c5e
00001f95: PUSH1 0x40
00001f97: MLOAD
00001f98: DUP2
00001f99: PUSH4 0xffffffff
00001f9e: AND
00001f9f: PUSH1 0xe0
00001fa1: SHL
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x04
00001fa6: ADD
00001fa7: PUSH1 0x20
00001fa9: PUSH1 0x40
00001fab: MLOAD
00001fac: DUP1
00001fad: DUP4
00001fae: SUB
00001faf: DUP2
00001fb0: DUP7
00001fb1: DUP1
00001fb2: EXTCODESIZE
00001fb3: ISZERO
00001fb4: DUP1
00001fb5: ISZERO
00001fb6: PUSH2 0x1fbe
00001fb9: JUMPI
00001fba: PUSH1 0x00
00001fbc: DUP1
00001fbd: REVERT
00001fbe: JUMPDEST
00001fbf: POP
00001fc0: GAS
00001fc1: STATICCALL
00001fc2: ISZERO
00001fc3: DUP1
00001fc4: ISZERO
00001fc5: PUSH2 0x1fd2
00001fc8: JUMPI
00001fc9: RETURNDATASIZE
00001fca: PUSH1 0x00
00001fcc: DUP1
00001fcd: RETURNDATACOPY
00001fce: RETURNDATASIZE
00001fcf: PUSH1 0x00
00001fd1: REVERT
00001fd2: JUMPDEST
00001fd3: POP
00001fd4: POP
00001fd5: POP
00001fd6: POP
00001fd7: PUSH1 0x40
00001fd9: MLOAD
00001fda: RETURNDATASIZE
00001fdb: PUSH1 0x20
00001fdd: DUP2
00001fde: LT
00001fdf: ISZERO
00001fe0: PUSH2 0x1fe8
00001fe3: JUMPI
00001fe4: PUSH1 0x00
00001fe6: DUP1
00001fe7: REVERT
00001fe8: JUMPDEST
00001fe9: DUP2
00001fea: ADD
00001feb: SWAP1
00001fec: DUP1
00001fed: DUP1
00001fee: MLOAD
00001fef: SWAP1
00001ff0: PUSH1 0x20
00001ff2: ADD
00001ff3: SWAP1
00001ff4: SWAP3
00001ff5: SWAP2
00001ff6: SWAP1
00001ff7: POP
00001ff8: POP
00001ff9: POP
00001ffa: PUSH2 0x204e
00001ffd: JUMPI
00001ffe: PUSH1 0x40
00002000: MLOAD
00002001: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002022: DUP2
00002023: MSTORE
00002024: PUSH1 0x04
00002026: ADD
00002027: DUP1
00002028: DUP1
00002029: PUSH1 0x20
0000202b: ADD
0000202c: DUP3
0000202d: DUP2
0000202e: SUB
0000202f: DUP3
00002030: MSTORE
00002031: PUSH1 0x2e
00002033: DUP2
00002034: MSTORE
00002035: PUSH1 0x20
00002037: ADD
00002038: DUP1
00002039: PUSH2 0x3f42
0000203c: PUSH1 0x2e
0000203e: SWAP2
0000203f: CODECOPY
00002040: PUSH1 0x40
00002042: ADD
00002043: SWAP2
00002044: POP
00002045: POP
00002046: PUSH1 0x40
00002048: MLOAD
00002049: DUP1
0000204a: SWAP2
0000204b: SUB
0000204c: SWAP1
0000204d: REVERT
0000204e: JUMPDEST
0000204f: PUSH1 0x00
00002051: PUSH1 0x66
00002053: PUSH1 0x00
00002055: DUP5
00002056: DUP2
00002057: MSTORE
00002058: PUSH1 0x20
0000205a: ADD
0000205b: SWAP1
0000205c: DUP2
0000205d: MSTORE
0000205e: PUSH1 0x20
00002060: ADD
00002061: PUSH1 0x00
00002063: KECCAK256
00002064: SWAP1
00002065: POP
00002066: CALLER
00002067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207c: AND
0000207d: DUP2
0000207e: PUSH1 0x00
00002080: ADD
00002081: PUSH1 0x00
00002083: SWAP1
00002084: SLOAD
00002085: SWAP1
00002086: PUSH2 0x0100
00002089: EXP
0000208a: SWAP1
0000208b: DIV
0000208c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a1: AND
000020a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b7: AND
000020b8: EQ
000020b9: ISZERO
000020ba: PUSH2 0x210e
000020bd: JUMPI
000020be: PUSH1 0x40
000020c0: MLOAD
000020c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020e2: DUP2
000020e3: MSTORE
000020e4: PUSH1 0x04
000020e6: ADD
000020e7: DUP1
000020e8: DUP1
000020e9: PUSH1 0x20
000020eb: ADD
000020ec: DUP3
000020ed: DUP2
000020ee: SUB
000020ef: DUP3
000020f0: MSTORE
000020f1: PUSH1 0x26
000020f3: DUP2
000020f4: MSTORE
000020f5: PUSH1 0x20
000020f7: ADD
000020f8: DUP1
000020f9: PUSH2 0x3dc0
000020fc: PUSH1 0x26
000020fe: SWAP2
000020ff: CODECOPY
00002100: PUSH1 0x40
00002102: ADD
00002103: SWAP2
00002104: POP
00002105: POP
00002106: PUSH1 0x40
00002108: MLOAD
00002109: DUP1
0000210a: SWAP2
0000210b: SUB
0000210c: SWAP1
0000210d: REVERT
0000210e: JUMPDEST
0000210f: PUSH2 0x2122
00002112: PUSH1 0x64
00002114: CALLVALUE
00002115: PUSH2 0x3873
00002118: SWAP1
00002119: SWAP2
0000211a: SWAP1
0000211b: PUSH4 0xffffffff
00002120: AND
00002121: JUMP
00002122: JUMPDEST
00002123: PUSH2 0x214b
00002126: PUSH1 0x6d
00002128: PUSH1 0x00
0000212a: SWAP1
0000212b: SLOAD
0000212c: SWAP1
0000212d: PUSH2 0x0100
00002130: EXP
00002131: SWAP1
00002132: DIV
00002133: PUSH1 0xff
00002135: AND
00002136: PUSH1 0xff
00002138: AND
00002139: DUP4
0000213a: PUSH1 0x01
0000213c: ADD
0000213d: SLOAD
0000213e: PUSH2 0x3873
00002141: SWAP1
00002142: SWAP2
00002143: SWAP1
00002144: PUSH4 0xffffffff
00002149: AND
0000214a: JUMP
0000214b: JUMPDEST
0000214c: GT
0000214d: ISZERO
0000214e: PUSH2 0x21bf
00002151: JUMPI
00002152: PUSH1 0x40
00002154: MLOAD
00002155: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x04
0000217a: ADD
0000217b: DUP1
0000217c: DUP1
0000217d: PUSH1 0x20
0000217f: ADD
00002180: DUP3
00002181: DUP2
00002182: SUB
00002183: DUP3
00002184: MSTORE
00002185: PUSH1 0x1b
00002187: DUP2
00002188: MSTORE
00002189: PUSH1 0x20
0000218b: ADD
0000218c: DUP1
0000218d: PUSH32 0x41756374696f6e48616e646c65723a2042696420746f6f206c6f770000000000
000021ae: DUP2
000021af: MSTORE
000021b0: POP
000021b1: PUSH1 0x20
000021b3: ADD
000021b4: SWAP2
000021b5: POP
000021b6: POP
000021b7: PUSH1 0x40
000021b9: MLOAD
000021ba: DUP1
000021bb: SWAP2
000021bc: SUB
000021bd: SWAP1
000021be: REVERT
000021bf: JUMPDEST
000021c0: PUSH1 0x00
000021c2: PUSH1 0x67
000021c4: PUSH1 0x00
000021c6: DUP6
000021c7: DUP2
000021c8: MSTORE
000021c9: PUSH1 0x20
000021cb: ADD
000021cc: SWAP1
000021cd: DUP2
000021ce: MSTORE
000021cf: PUSH1 0x20
000021d1: ADD
000021d2: PUSH1 0x00
000021d4: KECCAK256
000021d5: PUSH1 0x00
000021d7: CALLER
000021d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ed: AND
000021ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002203: AND
00002204: DUP2
00002205: MSTORE
00002206: PUSH1 0x20
00002208: ADD
00002209: SWAP1
0000220a: DUP2
0000220b: MSTORE
0000220c: PUSH1 0x20
0000220e: ADD
0000220f: PUSH1 0x00
00002211: KECCAK256
00002212: SLOAD
00002213: EQ
00002214: PUSH2 0x2268
00002217: JUMPI
00002218: PUSH1 0x40
0000221a: MLOAD
0000221b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000223c: DUP2
0000223d: MSTORE
0000223e: PUSH1 0x04
00002240: ADD
00002241: DUP1
00002242: DUP1
00002243: PUSH1 0x20
00002245: ADD
00002246: DUP3
00002247: DUP2
00002248: SUB
00002249: DUP3
0000224a: MSTORE
0000224b: PUSH1 0x28
0000224d: DUP2
0000224e: MSTORE
0000224f: PUSH1 0x20
00002251: ADD
00002252: DUP1
00002253: PUSH2 0x3e0a
00002256: PUSH1 0x28
00002258: SWAP2
00002259: CODECOPY
0000225a: PUSH1 0x40
0000225c: ADD
0000225d: SWAP2
0000225e: POP
0000225f: POP
00002260: PUSH1 0x40
00002262: MLOAD
00002263: DUP1
00002264: SWAP2
00002265: SUB
00002266: SWAP1
00002267: REVERT
00002268: JUMPDEST
00002269: PUSH2 0x2281
0000226c: PUSH1 0x6e
0000226e: SLOAD
0000226f: DUP4
00002270: PUSH1 0x01
00002272: ADD
00002273: SLOAD
00002274: PUSH2 0x36ff
00002277: SWAP1
00002278: SWAP2
00002279: SWAP1
0000227a: PUSH4 0xffffffff
0000227f: AND
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH2 0x2289
00002285: PUSH2 0x35e6
00002288: JUMP
00002289: JUMPDEST
0000228a: GT
0000228b: ISZERO
0000228c: PUSH2 0x22b4
0000228f: JUMPI
00002290: PUSH2 0x22ab
00002293: PUSH1 0x6e
00002295: SLOAD
00002296: PUSH2 0x229d
00002299: PUSH2 0x35e6
0000229c: JUMP
0000229d: JUMPDEST
0000229e: PUSH2 0x35ee
000022a1: SWAP1
000022a2: SWAP2
000022a3: SWAP1
000022a4: PUSH4 0xffffffff
000022a9: AND
000022aa: JUMP
000022ab: JUMPDEST
000022ac: DUP3
000022ad: PUSH1 0x01
000022af: ADD
000022b0: DUP2
000022b1: SWAP1
000022b2: SSTORE
000022b3: POP
000022b4: JUMPDEST
000022b5: DUP1
000022b6: PUSH1 0x01
000022b8: ADD
000022b9: SLOAD
000022ba: PUSH1 0x67
000022bc: PUSH1 0x00
000022be: DUP6
000022bf: DUP2
000022c0: MSTORE
000022c1: PUSH1 0x20
000022c3: ADD
000022c4: SWAP1
000022c5: DUP2
000022c6: MSTORE
000022c7: PUSH1 0x20
000022c9: ADD
000022ca: PUSH1 0x00
000022cc: KECCAK256
000022cd: PUSH1 0x00
000022cf: DUP4
000022d0: PUSH1 0x00
000022d2: ADD
000022d3: PUSH1 0x00
000022d5: SWAP1
000022d6: SLOAD
000022d7: SWAP1
000022d8: PUSH2 0x0100
000022db: EXP
000022dc: SWAP1
000022dd: DIV
000022de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f3: AND
000022f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002309: AND
0000230a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231f: AND
00002320: DUP2
00002321: MSTORE
00002322: PUSH1 0x20
00002324: ADD
00002325: SWAP1
00002326: DUP2
00002327: MSTORE
00002328: PUSH1 0x20
0000232a: ADD
0000232b: PUSH1 0x00
0000232d: KECCAK256
0000232e: DUP2
0000232f: SWAP1
00002330: SSTORE
00002331: POP
00002332: PUSH1 0x00
00002334: PUSH2 0x236e
00002337: PUSH1 0x6f
00002339: PUSH1 0x00
0000233b: SWAP1
0000233c: SLOAD
0000233d: SWAP1
0000233e: PUSH2 0x0100
00002341: EXP
00002342: SWAP1
00002343: DIV
00002344: PUSH1 0xff
00002346: AND
00002347: PUSH1 0xff
00002349: AND
0000234a: PUSH2 0x2360
0000234d: DUP5
0000234e: PUSH1 0x01
00002350: ADD
00002351: SLOAD
00002352: CALLVALUE
00002353: PUSH2 0x36ff
00002356: SWAP1
00002357: SWAP2
00002358: SWAP1
00002359: PUSH4 0xffffffff
0000235e: AND
0000235f: JUMP
00002360: JUMPDEST
00002361: PUSH2 0x3676
00002364: SWAP1
00002365: SWAP2
00002366: SWAP1
00002367: PUSH4 0xffffffff
0000236c: AND
0000236d: JUMP
0000236e: JUMPDEST
0000236f: SWAP1
00002370: POP
00002371: PUSH2 0x240e
00002374: DUP2
00002375: PUSH2 0x2400
00002378: DUP5
00002379: PUSH1 0x01
0000237b: ADD
0000237c: SLOAD
0000237d: PUSH2 0x23f2
00002380: CALLVALUE
00002381: PUSH1 0x6a
00002383: PUSH1 0x00
00002385: DUP11
00002386: PUSH1 0x02
00002388: ADD
00002389: PUSH1 0x00
0000238b: SWAP1
0000238c: SLOAD
0000238d: SWAP1
0000238e: PUSH2 0x0100
00002391: EXP
00002392: SWAP1
00002393: DIV
00002394: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a9: AND
000023aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023bf: AND
000023c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d5: AND
000023d6: DUP2
000023d7: MSTORE
000023d8: PUSH1 0x20
000023da: ADD
000023db: SWAP1
000023dc: DUP2
000023dd: MSTORE
000023de: PUSH1 0x20
000023e0: ADD
000023e1: PUSH1 0x00
000023e3: KECCAK256
000023e4: SLOAD
000023e5: PUSH2 0x35ee
000023e8: SWAP1
000023e9: SWAP2
000023ea: SWAP1
000023eb: PUSH4 0xffffffff
000023f0: AND
000023f1: JUMP
000023f2: JUMPDEST
000023f3: PUSH2 0x36ff
000023f6: SWAP1
000023f7: SWAP2
000023f8: SWAP1
000023f9: PUSH4 0xffffffff
000023fe: AND
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH2 0x36ff
00002404: SWAP1
00002405: SWAP2
00002406: SWAP1
00002407: PUSH4 0xffffffff
0000240c: AND
0000240d: JUMP
0000240e: JUMPDEST
0000240f: PUSH1 0x6a
00002411: PUSH1 0x00
00002413: DUP6
00002414: PUSH1 0x02
00002416: ADD
00002417: PUSH1 0x00
00002419: SWAP1
0000241a: SLOAD
0000241b: SWAP1
0000241c: PUSH2 0x0100
0000241f: EXP
00002420: SWAP1
00002421: DIV
00002422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002437: AND
00002438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244d: AND
0000244e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002463: AND
00002464: DUP2
00002465: MSTORE
00002466: PUSH1 0x20
00002468: ADD
00002469: SWAP1
0000246a: DUP2
0000246b: MSTORE
0000246c: PUSH1 0x20
0000246e: ADD
0000246f: PUSH1 0x00
00002471: KECCAK256
00002472: DUP2
00002473: SWAP1
00002474: SSTORE
00002475: POP
00002476: CALLER
00002477: DUP3
00002478: PUSH1 0x00
0000247a: ADD
0000247b: PUSH1 0x00
0000247d: PUSH2 0x0100
00002480: EXP
00002481: DUP2
00002482: SLOAD
00002483: DUP2
00002484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002499: MUL
0000249a: NOT
0000249b: AND
0000249c: SWAP1
0000249d: DUP4
0000249e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b3: AND
000024b4: MUL
000024b5: OR
000024b6: SWAP1
000024b7: SSTORE
000024b8: POP
000024b9: CALLVALUE
000024ba: DUP3
000024bb: PUSH1 0x01
000024bd: ADD
000024be: DUP2
000024bf: SWAP1
000024c0: SSTORE
000024c1: POP
000024c2: PUSH2 0x24ca
000024c5: DUP2
000024c6: PUSH2 0x3782
000024c9: JUMP
000024ca: JUMPDEST
000024cb: DUP3
000024cc: PUSH1 0x01
000024ce: ADD
000024cf: SLOAD
000024d0: CALLER
000024d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e6: AND
000024e7: DUP6
000024e8: PUSH32 0x77689ebf788c0f9d9e045fa81e22903cc7a1e34686c3fa4874c9a6a4d8a239f5
00002509: CALLVALUE
0000250a: PUSH1 0x40
0000250c: MLOAD
0000250d: DUP1
0000250e: DUP3
0000250f: DUP2
00002510: MSTORE
00002511: PUSH1 0x20
00002513: ADD
00002514: SWAP2
00002515: POP
00002516: POP
00002517: PUSH1 0x40
00002519: MLOAD
0000251a: DUP1
0000251b: SWAP2
0000251c: SUB
0000251d: SWAP1
0000251e: LOG4
0000251f: POP
00002520: POP
00002521: POP
00002522: POP
00002523: JUMP
00002524: JUMPDEST
00002525: PUSH2 0x252c
00002528: PUSH2 0x386b
0000252b: JUMP
0000252c: JUMPDEST
0000252d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002542: AND
00002543: PUSH2 0x254a
00002546: PUSH2 0x2787
00002549: JUMP
0000254a: JUMPDEST
0000254b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002560: AND
00002561: EQ
00002562: PUSH2 0x25d3
00002565: JUMPI
00002566: PUSH1 0x40
00002568: MLOAD
00002569: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000258a: DUP2
0000258b: MSTORE
0000258c: PUSH1 0x04
0000258e: ADD
0000258f: DUP1
00002590: DUP1
00002591: PUSH1 0x20
00002593: ADD
00002594: DUP3
00002595: DUP2
00002596: SUB
00002597: DUP3
00002598: MSTORE
00002599: PUSH1 0x20
0000259b: DUP2
0000259c: MSTORE
0000259d: PUSH1 0x20
0000259f: ADD
000025a0: DUP1
000025a1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000025c2: DUP2
000025c3: MSTORE
000025c4: POP
000025c5: PUSH1 0x20
000025c7: ADD
000025c8: SWAP2
000025c9: POP
000025ca: POP
000025cb: PUSH1 0x40
000025cd: MLOAD
000025ce: DUP1
000025cf: SWAP2
000025d0: SUB
000025d1: SWAP1
000025d2: REVERT
000025d3: JUMPDEST
000025d4: DUP1
000025d5: PUSH1 0x6b
000025d7: PUSH1 0x00
000025d9: PUSH2 0x0100
000025dc: EXP
000025dd: DUP2
000025de: SLOAD
000025df: DUP2
000025e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f5: MUL
000025f6: NOT
000025f7: AND
000025f8: SWAP1
000025f9: DUP4
000025fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260f: AND
00002610: MUL
00002611: OR
00002612: SWAP1
00002613: SSTORE
00002614: POP
00002615: POP
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH2 0x261f
0000261b: PUSH2 0x386b
0000261e: JUMP
0000261f: JUMPDEST
00002620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002635: AND
00002636: PUSH2 0x263d
00002639: PUSH2 0x2787
0000263c: JUMP
0000263d: JUMPDEST
0000263e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002653: AND
00002654: EQ
00002655: PUSH2 0x26c6
00002658: JUMPI
00002659: PUSH1 0x40
0000265b: MLOAD
0000265c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000267d: DUP2
0000267e: MSTORE
0000267f: PUSH1 0x04
00002681: ADD
00002682: DUP1
00002683: DUP1
00002684: PUSH1 0x20
00002686: ADD
00002687: DUP3
00002688: DUP2
00002689: SUB
0000268a: DUP3
0000268b: MSTORE
0000268c: PUSH1 0x20
0000268e: DUP2
0000268f: MSTORE
00002690: PUSH1 0x20
00002692: ADD
00002693: DUP1
00002694: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000026b5: DUP2
000026b6: MSTORE
000026b7: POP
000026b8: PUSH1 0x20
000026ba: ADD
000026bb: SWAP2
000026bc: POP
000026bd: POP
000026be: PUSH1 0x40
000026c0: MLOAD
000026c1: DUP1
000026c2: SWAP2
000026c3: SUB
000026c4: SWAP1
000026c5: REVERT
000026c6: JUMPDEST
000026c7: PUSH1 0x00
000026c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026de: AND
000026df: PUSH1 0x33
000026e1: PUSH1 0x00
000026e3: SWAP1
000026e4: SLOAD
000026e5: SWAP1
000026e6: PUSH2 0x0100
000026e9: EXP
000026ea: SWAP1
000026eb: DIV
000026ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002701: AND
00002702: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002717: AND
00002718: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002739: PUSH1 0x40
0000273b: MLOAD
0000273c: PUSH1 0x40
0000273e: MLOAD
0000273f: DUP1
00002740: SWAP2
00002741: SUB
00002742: SWAP1
00002743: LOG3
00002744: PUSH1 0x00
00002746: PUSH1 0x33
00002748: PUSH1 0x00
0000274a: PUSH2 0x0100
0000274d: EXP
0000274e: DUP2
0000274f: SLOAD
00002750: DUP2
00002751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002766: MUL
00002767: NOT
00002768: AND
00002769: SWAP1
0000276a: DUP4
0000276b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002780: AND
00002781: MUL
00002782: OR
00002783: SWAP1
00002784: SSTORE
00002785: POP
00002786: JUMP
00002787: JUMPDEST
00002788: PUSH1 0x00
0000278a: PUSH1 0x33
0000278c: PUSH1 0x00
0000278e: SWAP1
0000278f: SLOAD
00002790: SWAP1
00002791: PUSH2 0x0100
00002794: EXP
00002795: SWAP1
00002796: DIV
00002797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ac: AND
000027ad: SWAP1
000027ae: POP
000027af: SWAP1
000027b0: JUMP
000027b1: JUMPDEST
000027b2: PUSH1 0x00
000027b4: PUSH1 0x69
000027b6: PUSH1 0x00
000027b8: DUP5
000027b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ce: AND
000027cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e4: AND
000027e5: DUP2
000027e6: MSTORE
000027e7: PUSH1 0x20
000027e9: ADD
000027ea: SWAP1
000027eb: DUP2
000027ec: MSTORE
000027ed: PUSH1 0x20
000027ef: ADD
000027f0: PUSH1 0x00
000027f2: KECCAK256
000027f3: PUSH1 0x00
000027f5: DUP4
000027f6: DUP2
000027f7: MSTORE
000027f8: PUSH1 0x20
000027fa: ADD
000027fb: SWAP1
000027fc: DUP2
000027fd: MSTORE
000027fe: PUSH1 0x20
00002800: ADD
00002801: PUSH1 0x00
00002803: KECCAK256
00002804: PUSH1 0x00
00002806: SWAP1
00002807: SLOAD
00002808: SWAP1
00002809: PUSH2 0x0100
0000280c: EXP
0000280d: SWAP1
0000280e: DIV
0000280f: PUSH1 0xff
00002811: AND
00002812: SWAP1
00002813: POP
00002814: SWAP3
00002815: SWAP2
00002816: POP
00002817: POP
00002818: JUMP
00002819: JUMPDEST
0000281a: PUSH1 0x65
0000281c: DUP2
0000281d: DUP2
0000281e: SLOAD
0000281f: DUP2
00002820: LT
00002821: PUSH2 0x2826
00002824: JUMPI
00002825: INVALID
00002826: JUMPDEST
00002827: SWAP1
00002828: PUSH1 0x00
0000282a: MSTORE
0000282b: PUSH1 0x20
0000282d: PUSH1 0x00
0000282f: KECCAK256
00002830: SWAP1
00002831: PUSH1 0x05
00002833: MUL
00002834: ADD
00002835: PUSH1 0x00
00002837: SWAP2
00002838: POP
00002839: SWAP1
0000283a: POP
0000283b: DUP1
0000283c: PUSH1 0x00
0000283e: ADD
0000283f: SLOAD
00002840: SWAP1
00002841: DUP1
00002842: PUSH1 0x01
00002844: ADD
00002845: SLOAD
00002846: SWAP1
00002847: DUP1
00002848: PUSH1 0x02
0000284a: ADD
0000284b: PUSH1 0x00
0000284d: SWAP1
0000284e: SLOAD
0000284f: SWAP1
00002850: PUSH2 0x0100
00002853: EXP
00002854: SWAP1
00002855: DIV
00002856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286b: AND
0000286c: SWAP1
0000286d: DUP1
0000286e: PUSH1 0x03
00002870: ADD
00002871: SLOAD
00002872: SWAP1
00002873: DUP1
00002874: PUSH1 0x04
00002876: ADD
00002877: PUSH1 0x00
00002879: SWAP1
0000287a: SLOAD
0000287b: SWAP1
0000287c: PUSH2 0x0100
0000287f: EXP
00002880: SWAP1
00002881: DIV
00002882: PUSH1 0xff
00002884: AND
00002885: SWAP1
00002886: POP
00002887: DUP6
00002888: JUMP
00002889: JUMPDEST
0000288a: PUSH1 0x6f
0000288c: PUSH1 0x00
0000288e: SWAP1
0000288f: SLOAD
00002890: SWAP1
00002891: PUSH2 0x0100
00002894: EXP
00002895: SWAP1
00002896: DIV
00002897: PUSH1 0xff
00002899: AND
0000289a: DUP2
0000289b: JUMP
0000289c: JUMPDEST
0000289d: PUSH1 0x00
0000289f: PUSH1 0x01
000028a1: SWAP1
000028a2: SLOAD
000028a3: SWAP1
000028a4: PUSH2 0x0100
000028a7: EXP
000028a8: SWAP1
000028a9: DIV
000028aa: PUSH1 0xff
000028ac: AND
000028ad: DUP1
000028ae: PUSH2 0x28bb
000028b1: JUMPI
000028b2: POP
000028b3: PUSH2 0x28ba
000028b6: PUSH2 0x38f9
000028b9: JUMP
000028ba: JUMPDEST
000028bb: JUMPDEST
000028bc: DUP1
000028bd: PUSH2 0x28d1
000028c0: JUMPI
000028c1: POP
000028c2: PUSH1 0x00
000028c4: DUP1
000028c5: SLOAD
000028c6: SWAP1
000028c7: PUSH2 0x0100
000028ca: EXP
000028cb: SWAP1
000028cc: DIV
000028cd: PUSH1 0xff
000028cf: AND
000028d0: ISZERO
000028d1: JUMPDEST
000028d2: PUSH2 0x2926
000028d5: JUMPI
000028d6: PUSH1 0x40
000028d8: MLOAD
000028d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028fa: DUP2
000028fb: MSTORE
000028fc: PUSH1 0x04
000028fe: ADD
000028ff: DUP1
00002900: DUP1
00002901: PUSH1 0x20
00002903: ADD
00002904: DUP3
00002905: DUP2
00002906: SUB
00002907: DUP3
00002908: MSTORE
00002909: PUSH1 0x2e
0000290b: DUP2
0000290c: MSTORE
0000290d: PUSH1 0x20
0000290f: ADD
00002910: DUP1
00002911: PUSH2 0x3e32
00002914: PUSH1 0x2e
00002916: SWAP2
00002917: CODECOPY
00002918: PUSH1 0x40
0000291a: ADD
0000291b: SWAP2
0000291c: POP
0000291d: POP
0000291e: PUSH1 0x40
00002920: MLOAD
00002921: DUP1
00002922: SWAP2
00002923: SUB
00002924: SWAP1
00002925: REVERT
00002926: JUMPDEST
00002927: PUSH1 0x00
00002929: DUP1
0000292a: PUSH1 0x01
0000292c: SWAP1
0000292d: SLOAD
0000292e: SWAP1
0000292f: PUSH2 0x0100
00002932: EXP
00002933: SWAP1
00002934: DIV
00002935: PUSH1 0xff
00002937: AND
00002938: ISZERO
00002939: SWAP1
0000293a: POP
0000293b: DUP1
0000293c: ISZERO
0000293d: PUSH2 0x2976
00002940: JUMPI
00002941: PUSH1 0x01
00002943: PUSH1 0x00
00002945: PUSH1 0x01
00002947: PUSH2 0x0100
0000294a: EXP
0000294b: DUP2
0000294c: SLOAD
0000294d: DUP2
0000294e: PUSH1 0xff
00002950: MUL
00002951: NOT
00002952: AND
00002953: SWAP1
00002954: DUP4
00002955: ISZERO
00002956: ISZERO
00002957: MUL
00002958: OR
00002959: SWAP1
0000295a: SSTORE
0000295b: POP
0000295c: PUSH1 0x01
0000295e: PUSH1 0x00
00002960: DUP1
00002961: PUSH2 0x0100
00002964: EXP
00002965: DUP2
00002966: SLOAD
00002967: DUP2
00002968: PUSH1 0xff
0000296a: MUL
0000296b: NOT
0000296c: AND
0000296d: SWAP1
0000296e: DUP4
0000296f: ISZERO
00002970: ISZERO
00002971: MUL
00002972: OR
00002973: SWAP1
00002974: SSTORE
00002975: POP
00002976: JUMPDEST
00002977: PUSH1 0x00
00002979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000298e: AND
0000298f: DUP9
00002990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a5: AND
000029a6: EQ
000029a7: ISZERO
000029a8: DUP1
000029a9: ISZERO
000029aa: PUSH2 0x29e0
000029ad: JUMPI
000029ae: POP
000029af: PUSH1 0x00
000029b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c6: AND
000029c7: DUP4
000029c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029dd: AND
000029de: EQ
000029df: ISZERO
000029e0: JUMPDEST
000029e1: DUP1
000029e2: ISZERO
000029e3: PUSH2 0x2a19
000029e6: JUMPI
000029e7: POP
000029e8: PUSH1 0x00
000029ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ff: AND
00002a00: DUP3
00002a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a16: AND
00002a17: EQ
00002a18: ISZERO
00002a19: JUMPDEST
00002a1a: PUSH2 0x2a8b
00002a1d: JUMPI
00002a1e: PUSH1 0x40
00002a20: MLOAD
00002a21: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a42: DUP2
00002a43: MSTORE
00002a44: PUSH1 0x04
00002a46: ADD
00002a47: DUP1
00002a48: DUP1
00002a49: PUSH1 0x20
00002a4b: ADD
00002a4c: DUP3
00002a4d: DUP2
00002a4e: SUB
00002a4f: DUP3
00002a50: MSTORE
00002a51: PUSH1 0x0f
00002a53: DUP2
00002a54: MSTORE
00002a55: PUSH1 0x20
00002a57: ADD
00002a58: DUP1
00002a59: PUSH32 0x496e76616c696420616464726573730000000000000000000000000000000000
00002a7a: DUP2
00002a7b: MSTORE
00002a7c: POP
00002a7d: PUSH1 0x20
00002a7f: ADD
00002a80: SWAP2
00002a81: POP
00002a82: POP
00002a83: PUSH1 0x40
00002a85: MLOAD
00002a86: DUP1
00002a87: SWAP2
00002a88: SUB
00002a89: SWAP1
00002a8a: REVERT
00002a8b: JUMPDEST
00002a8c: PUSH1 0x64
00002a8e: DUP7
00002a8f: PUSH1 0xff
00002a91: AND
00002a92: GT
00002a93: DUP1
00002a94: ISZERO
00002a95: PUSH2 0x2aa1
00002a98: JUMPI
00002a99: POP
00002a9a: PUSH1 0xc8
00002a9c: DUP7
00002a9d: PUSH1 0xff
00002a9f: AND
00002aa0: LT
00002aa1: JUMPDEST
00002aa2: PUSH2 0x2b13
00002aa5: JUMPI
00002aa6: PUSH1 0x40
00002aa8: MLOAD
00002aa9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002aca: DUP2
00002acb: MSTORE
00002acc: PUSH1 0x04
00002ace: ADD
00002acf: DUP1
00002ad0: DUP1
00002ad1: PUSH1 0x20
00002ad3: ADD
00002ad4: DUP3
00002ad5: DUP2
00002ad6: SUB
00002ad7: DUP3
00002ad8: MSTORE
00002ad9: PUSH1 0x12
00002adb: DUP2
00002adc: MSTORE
00002add: PUSH1 0x20
00002adf: ADD
00002ae0: DUP1
00002ae1: PUSH32 0x496e76616c6964206d756c7469706c6965720000000000000000000000000000
00002b02: DUP2
00002b03: MSTORE
00002b04: POP
00002b05: PUSH1 0x20
00002b07: ADD
00002b08: SWAP2
00002b09: POP
00002b0a: POP
00002b0b: PUSH1 0x40
00002b0d: MLOAD
00002b0e: DUP1
00002b0f: SWAP2
00002b10: SUB
00002b11: SWAP1
00002b12: REVERT
00002b13: JUMPDEST
00002b14: PUSH1 0x01
00002b16: DUP5
00002b17: PUSH1 0xff
00002b19: AND
00002b1a: GT
00002b1b: PUSH2 0x2b8c
00002b1e: JUMPI
00002b1f: PUSH1 0x40
00002b21: MLOAD
00002b22: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b43: DUP2
00002b44: MSTORE
00002b45: PUSH1 0x04
00002b47: ADD
00002b48: DUP1
00002b49: DUP1
00002b4a: PUSH1 0x20
00002b4c: ADD
00002b4d: DUP3
00002b4e: DUP2
00002b4f: SUB
00002b50: DUP3
00002b51: MSTORE
00002b52: PUSH1 0x13
00002b54: DUP2
00002b55: MSTORE
00002b56: PUSH1 0x20
00002b58: ADD
00002b59: DUP1
00002b5a: PUSH32 0x496e76616c6964206665652064697669736f7200000000000000000000000000
00002b7b: DUP2
00002b7c: MSTORE
00002b7d: POP
00002b7e: PUSH1 0x20
00002b80: ADD
00002b81: SWAP2
00002b82: POP
00002b83: POP
00002b84: PUSH1 0x40
00002b86: MLOAD
00002b87: DUP1
00002b88: SWAP2
00002b89: SUB
00002b8a: SWAP1
00002b8b: REVERT
00002b8c: JUMPDEST
00002b8d: PUSH2 0x2bdc
00002b90: PUSH2 0x2bcc
00002b93: PUSH1 0x64
00002b95: PUSH2 0x2bbe
00002b98: PUSH1 0x64
00002b9a: PUSH2 0x2bb0
00002b9d: DUP12
00002b9e: PUSH1 0xff
00002ba0: AND
00002ba1: PUSH1 0x64
00002ba3: PUSH2 0x3873
00002ba6: SWAP1
00002ba7: SWAP2
00002ba8: SWAP1
00002ba9: PUSH4 0xffffffff
00002bae: AND
00002baf: JUMP
00002bb0: JUMPDEST
00002bb1: PUSH2 0x3676
00002bb4: SWAP1
00002bb5: SWAP2
00002bb6: SWAP1
00002bb7: PUSH4 0xffffffff
00002bbc: AND
00002bbd: JUMP
00002bbe: JUMPDEST
00002bbf: PUSH2 0x36ff
00002bc2: SWAP1
00002bc3: SWAP2
00002bc4: SWAP1
00002bc5: PUSH4 0xffffffff
00002bca: AND
00002bcb: JUMP
00002bcc: JUMPDEST
00002bcd: PUSH1 0x64
00002bcf: PUSH2 0x3676
00002bd2: SWAP1
00002bd3: SWAP2
00002bd4: SWAP1
00002bd5: PUSH4 0xffffffff
00002bda: AND
00002bdb: JUMP
00002bdc: JUMPDEST
00002bdd: DUP5
00002bde: PUSH1 0xff
00002be0: AND
00002be1: GT
00002be2: PUSH2 0x2c53
00002be5: JUMPI
00002be6: PUSH1 0x40
00002be8: MLOAD
00002be9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c0a: DUP2
00002c0b: MSTORE
00002c0c: PUSH1 0x04
00002c0e: ADD
00002c0f: DUP1
00002c10: DUP1
00002c11: PUSH1 0x20
00002c13: ADD
00002c14: DUP3
00002c15: DUP2
00002c16: SUB
00002c17: DUP3
00002c18: MSTORE
00002c19: PUSH1 0x19
00002c1b: DUP2
00002c1c: MSTORE
00002c1d: PUSH1 0x20
00002c1f: ADD
00002c20: DUP1
00002c21: PUSH32 0x496e76616c696420666565207673206d756c7469706c69657200000000000000
00002c42: DUP2
00002c43: MSTORE
00002c44: POP
00002c45: PUSH1 0x20
00002c47: ADD
00002c48: SWAP2
00002c49: POP
00002c4a: POP
00002c4b: PUSH1 0x40
00002c4d: MLOAD
00002c4e: DUP1
00002c4f: SWAP2
00002c50: SUB
00002c51: SWAP1
00002c52: REVERT
00002c53: JUMPDEST
00002c54: PUSH2 0x2c5b
00002c57: PUSH2 0x390a
00002c5a: JUMP
00002c5b: JUMPDEST
00002c5c: DUP8
00002c5d: PUSH1 0x6b
00002c5f: PUSH1 0x00
00002c61: PUSH2 0x0100
00002c64: EXP
00002c65: DUP2
00002c66: SLOAD
00002c67: DUP2
00002c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c7d: MUL
00002c7e: NOT
00002c7f: AND
00002c80: SWAP1
00002c81: DUP4
00002c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c97: AND
00002c98: MUL
00002c99: OR
00002c9a: SWAP1
00002c9b: SSTORE
00002c9c: POP
00002c9d: DUP7
00002c9e: PUSH1 0x6c
00002ca0: DUP2
00002ca1: SWAP1
00002ca2: SSTORE
00002ca3: POP
00002ca4: DUP6
00002ca5: PUSH1 0x6d
00002ca7: PUSH1 0x00
00002ca9: PUSH2 0x0100
00002cac: EXP
00002cad: DUP2
00002cae: SLOAD
00002caf: DUP2
00002cb0: PUSH1 0xff
00002cb2: MUL
00002cb3: NOT
00002cb4: AND
00002cb5: SWAP1
00002cb6: DUP4
00002cb7: PUSH1 0xff
00002cb9: AND
00002cba: MUL
00002cbb: OR
00002cbc: SWAP1
00002cbd: SSTORE
00002cbe: POP
00002cbf: DUP5
00002cc0: PUSH1 0x6e
00002cc2: DUP2
00002cc3: SWAP1
00002cc4: SSTORE
00002cc5: POP
00002cc6: DUP4
00002cc7: PUSH1 0x6f
00002cc9: PUSH1 0x00
00002ccb: PUSH2 0x0100
00002cce: EXP
00002ccf: DUP2
00002cd0: SLOAD
00002cd1: DUP2
00002cd2: PUSH1 0xff
00002cd4: MUL
00002cd5: NOT
00002cd6: AND
00002cd7: SWAP1
00002cd8: DUP4
00002cd9: PUSH1 0xff
00002cdb: AND
00002cdc: MUL
00002cdd: OR
00002cde: SWAP1
00002cdf: SSTORE
00002ce0: POP
00002ce1: DUP3
00002ce2: PUSH1 0x6f
00002ce4: PUSH1 0x01
00002ce6: PUSH2 0x0100
00002ce9: EXP
00002cea: DUP2
00002ceb: SLOAD
00002cec: DUP2
00002ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d02: MUL
00002d03: NOT
00002d04: AND
00002d05: SWAP1
00002d06: DUP4
00002d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d1c: AND
00002d1d: MUL
00002d1e: OR
00002d1f: SWAP1
00002d20: SSTORE
00002d21: POP
00002d22: DUP2
00002d23: PUSH1 0x70
00002d25: PUSH1 0x00
00002d27: PUSH2 0x0100
00002d2a: EXP
00002d2b: DUP2
00002d2c: SLOAD
00002d2d: DUP2
00002d2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d43: MUL
00002d44: NOT
00002d45: AND
00002d46: SWAP1
00002d47: DUP4
00002d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5d: AND
00002d5e: MUL
00002d5f: OR
00002d60: SWAP1
00002d61: SSTORE
00002d62: POP
00002d63: DUP1
00002d64: ISZERO
00002d65: PUSH2 0x2d83
00002d68: JUMPI
00002d69: PUSH1 0x00
00002d6b: DUP1
00002d6c: PUSH1 0x01
00002d6e: PUSH2 0x0100
00002d71: EXP
00002d72: DUP2
00002d73: SLOAD
00002d74: DUP2
00002d75: PUSH1 0xff
00002d77: MUL
00002d78: NOT
00002d79: AND
00002d7a: SWAP1
00002d7b: DUP4
00002d7c: ISZERO
00002d7d: ISZERO
00002d7e: MUL
00002d7f: OR
00002d80: SWAP1
00002d81: SSTORE
00002d82: POP
00002d83: JUMPDEST
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: POP
00002d88: POP
00002d89: POP
00002d8a: POP
00002d8b: POP
00002d8c: JUMP
00002d8d: JUMPDEST
00002d8e: PUSH1 0x6f
00002d90: PUSH1 0x01
00002d92: SWAP1
00002d93: SLOAD
00002d94: SWAP1
00002d95: PUSH2 0x0100
00002d98: EXP
00002d99: SWAP1
00002d9a: DIV
00002d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002db0: AND
00002db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc6: AND
00002dc7: CALLER
00002dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ddd: AND
00002dde: EQ
00002ddf: PUSH2 0x2e50
00002de2: JUMPI
00002de3: PUSH1 0x40
00002de5: MLOAD
00002de6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e07: DUP2
00002e08: MSTORE
00002e09: PUSH1 0x04
00002e0b: ADD
00002e0c: DUP1
00002e0d: DUP1
00002e0e: PUSH1 0x20
00002e10: ADD
00002e11: DUP3
00002e12: DUP2
00002e13: SUB
00002e14: DUP3
00002e15: MSTORE
00002e16: PUSH1 0x1f
00002e18: DUP2
00002e19: MSTORE
00002e1a: PUSH1 0x20
00002e1c: ADD
00002e1d: DUP1
00002e1e: PUSH32 0x41756374696f6e48616e646c65723a204e6f7420666565546f53657474657200
00002e3f: DUP2
00002e40: MSTORE
00002e41: POP
00002e42: PUSH1 0x20
00002e44: ADD
00002e45: SWAP2
00002e46: POP
00002e47: POP
00002e48: PUSH1 0x40
00002e4a: MLOAD
00002e4b: DUP1
00002e4c: SWAP2
00002e4d: SUB
00002e4e: SWAP1
00002e4f: REVERT
00002e50: JUMPDEST
00002e51: DUP1
00002e52: PUSH1 0x6f
00002e54: PUSH1 0x01
00002e56: PUSH2 0x0100
00002e59: EXP
00002e5a: DUP2
00002e5b: SLOAD
00002e5c: DUP2
00002e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e72: MUL
00002e73: NOT
00002e74: AND
00002e75: SWAP1
00002e76: DUP4
00002e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e8c: AND
00002e8d: MUL
00002e8e: OR
00002e8f: SWAP1
00002e90: SSTORE
00002e91: POP
00002e92: POP
00002e93: JUMP
00002e94: JUMPDEST
00002e95: PUSH1 0x6a
00002e97: PUSH1 0x20
00002e99: MSTORE
00002e9a: DUP1
00002e9b: PUSH1 0x00
00002e9d: MSTORE
00002e9e: PUSH1 0x40
00002ea0: PUSH1 0x00
00002ea2: KECCAK256
00002ea3: PUSH1 0x00
00002ea5: SWAP2
00002ea6: POP
00002ea7: SWAP1
00002ea8: POP
00002ea9: SLOAD
00002eaa: DUP2
00002eab: JUMP
00002eac: JUMPDEST
00002ead: PUSH1 0x6e
00002eaf: SLOAD
00002eb0: DUP2
00002eb1: JUMP
00002eb2: JUMPDEST
00002eb3: PUSH1 0x6b
00002eb5: PUSH1 0x00
00002eb7: SWAP1
00002eb8: SLOAD
00002eb9: SWAP1
00002eba: PUSH2 0x0100
00002ebd: EXP
00002ebe: SWAP1
00002ebf: DIV
00002ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ed5: AND
00002ed6: DUP2
00002ed7: JUMP
00002ed8: JUMPDEST
00002ed9: PUSH1 0x68
00002edb: PUSH1 0x20
00002edd: MSTORE
00002ede: DUP2
00002edf: PUSH1 0x00
00002ee1: MSTORE
00002ee2: PUSH1 0x40
00002ee4: PUSH1 0x00
00002ee6: KECCAK256
00002ee7: PUSH1 0x20
00002ee9: MSTORE
00002eea: DUP1
00002eeb: PUSH1 0x00
00002eed: MSTORE
00002eee: PUSH1 0x40
00002ef0: PUSH1 0x00
00002ef2: KECCAK256
00002ef3: PUSH1 0x00
00002ef5: SWAP2
00002ef6: POP
00002ef7: SWAP2
00002ef8: POP
00002ef9: POP
00002efa: SLOAD
00002efb: DUP2
00002efc: JUMP
00002efd: JUMPDEST
00002efe: PUSH1 0x00
00002f00: PUSH1 0x6a
00002f02: PUSH1 0x00
00002f04: DUP5
00002f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f1a: AND
00002f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f30: AND
00002f31: DUP2
00002f32: MSTORE
00002f33: PUSH1 0x20
00002f35: ADD
00002f36: SWAP1
00002f37: DUP2
00002f38: MSTORE
00002f39: PUSH1 0x20
00002f3b: ADD
00002f3c: PUSH1 0x00
00002f3e: KECCAK256
00002f3f: SLOAD
00002f40: GT
00002f41: PUSH2 0x2f95
00002f44: JUMPI
00002f45: PUSH1 0x40
00002f47: MLOAD
00002f48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f69: DUP2
00002f6a: MSTORE
00002f6b: PUSH1 0x04
00002f6d: ADD
00002f6e: DUP1
00002f6f: DUP1
00002f70: PUSH1 0x20
00002f72: ADD
00002f73: DUP3
00002f74: DUP2
00002f75: SUB
00002f76: DUP3
00002f77: MSTORE
00002f78: PUSH1 0x2f
00002f7a: DUP2
00002f7b: MSTORE
00002f7c: PUSH1 0x20
00002f7e: ADD
00002f7f: DUP1
00002f80: PUSH2 0x3e82
00002f83: PUSH1 0x2f
00002f85: SWAP2
00002f86: CODECOPY
00002f87: PUSH1 0x40
00002f89: ADD
00002f8a: SWAP2
00002f8b: POP
00002f8c: POP
00002f8d: PUSH1 0x40
00002f8f: MLOAD
00002f90: DUP1
00002f91: SWAP2
00002f92: SUB
00002f93: SWAP1
00002f94: REVERT
00002f95: JUMPDEST
00002f96: PUSH1 0x00
00002f98: PUSH2 0x307b
00002f9b: DUP4
00002f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fb1: AND
00002fb2: PUSH4 0x18160ddd
00002fb7: PUSH1 0x40
00002fb9: MLOAD
00002fba: DUP2
00002fbb: PUSH4 0xffffffff
00002fc0: AND
00002fc1: PUSH1 0xe0
00002fc3: SHL
00002fc4: DUP2
00002fc5: MSTORE
00002fc6: PUSH1 0x04
00002fc8: ADD
00002fc9: PUSH1 0x20
00002fcb: PUSH1 0x40
00002fcd: MLOAD
00002fce: DUP1
00002fcf: DUP4
00002fd0: SUB
00002fd1: DUP2
00002fd2: DUP7
00002fd3: DUP1
00002fd4: EXTCODESIZE
00002fd5: ISZERO
00002fd6: DUP1
00002fd7: ISZERO
00002fd8: PUSH2 0x2fe0
00002fdb: JUMPI
00002fdc: PUSH1 0x00
00002fde: DUP1
00002fdf: REVERT
00002fe0: JUMPDEST
00002fe1: POP
00002fe2: GAS
00002fe3: STATICCALL
00002fe4: ISZERO
00002fe5: DUP1
00002fe6: ISZERO
00002fe7: PUSH2 0x2ff4
00002fea: JUMPI
00002feb: RETURNDATASIZE
00002fec: PUSH1 0x00
00002fee: DUP1
00002fef: RETURNDATACOPY
00002ff0: RETURNDATASIZE
00002ff1: PUSH1 0x00
00002ff3: REVERT
00002ff4: JUMPDEST
00002ff5: POP
00002ff6: POP
00002ff7: POP
00002ff8: POP
00002ff9: PUSH1 0x40
00002ffb: MLOAD
00002ffc: RETURNDATASIZE
00002ffd: PUSH1 0x20
00002fff: DUP2
00003000: LT
00003001: ISZERO
00003002: PUSH2 0x300a
00003005: JUMPI
00003006: PUSH1 0x00
00003008: DUP1
00003009: REVERT
0000300a: JUMPDEST
0000300b: DUP2
0000300c: ADD
0000300d: SWAP1
0000300e: DUP1
0000300f: DUP1
00003010: MLOAD
00003011: SWAP1
00003012: PUSH1 0x20
00003014: ADD
00003015: SWAP1
00003016: SWAP3
00003017: SWAP2
00003018: SWAP1
00003019: POP
0000301a: POP
0000301b: POP
0000301c: PUSH2 0x306d
0000301f: PUSH1 0x6a
00003021: PUSH1 0x00
00003023: DUP8
00003024: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003039: AND
0000303a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000304f: AND
00003050: DUP2
00003051: MSTORE
00003052: PUSH1 0x20
00003054: ADD
00003055: SWAP1
00003056: DUP2
00003057: MSTORE
00003058: PUSH1 0x20
0000305a: ADD
0000305b: PUSH1 0x00
0000305d: KECCAK256
0000305e: SLOAD
0000305f: DUP6
00003060: PUSH2 0x3873
00003063: SWAP1
00003064: SWAP2
00003065: SWAP1
00003066: PUSH4 0xffffffff
0000306b: AND
0000306c: JUMP
0000306d: JUMPDEST
0000306e: PUSH2 0x3676
00003071: SWAP1
00003072: SWAP2
00003073: SWAP1
00003074: PUSH4 0xffffffff
00003079: AND
0000307a: JUMP
0000307b: JUMPDEST
0000307c: SWAP1
0000307d: POP
0000307e: DUP3
0000307f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003094: AND
00003095: PUSH4 0x79cc6790
0000309a: CALLER
0000309b: DUP5
0000309c: PUSH1 0x40
0000309e: MLOAD
0000309f: DUP4
000030a0: PUSH4 0xffffffff
000030a5: AND
000030a6: PUSH1 0xe0
000030a8: SHL
000030a9: DUP2
000030aa: MSTORE
000030ab: PUSH1 0x04
000030ad: ADD
000030ae: DUP1
000030af: DUP4
000030b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030c5: AND
000030c6: DUP2
000030c7: MSTORE
000030c8: PUSH1 0x20
000030ca: ADD
000030cb: DUP3
000030cc: DUP2
000030cd: MSTORE
000030ce: PUSH1 0x20
000030d0: ADD
000030d1: SWAP3
000030d2: POP
000030d3: POP
000030d4: POP
000030d5: PUSH1 0x00
000030d7: PUSH1 0x40
000030d9: MLOAD
000030da: DUP1
000030db: DUP4
000030dc: SUB
000030dd: DUP2
000030de: PUSH1 0x00
000030e0: DUP8
000030e1: DUP1
000030e2: EXTCODESIZE
000030e3: ISZERO
000030e4: DUP1
000030e5: ISZERO
000030e6: PUSH2 0x30ee
000030e9: JUMPI
000030ea: PUSH1 0x00
000030ec: DUP1
000030ed: REVERT
000030ee: JUMPDEST
000030ef: POP
000030f0: GAS
000030f1: CALL
000030f2: ISZERO
000030f3: DUP1
000030f4: ISZERO
000030f5: PUSH2 0x3102
000030f8: JUMPI
000030f9: RETURNDATASIZE
000030fa: PUSH1 0x00
000030fc: DUP1
000030fd: RETURNDATACOPY
000030fe: RETURNDATASIZE
000030ff: PUSH1 0x00
00003101: REVERT
00003102: JUMPDEST
00003103: POP
00003104: POP
00003105: POP
00003106: POP
00003107: PUSH2 0x3158
0000310a: DUP2
0000310b: PUSH1 0x6a
0000310d: PUSH1 0x00
0000310f: DUP7
00003110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003125: AND
00003126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000313b: AND
0000313c: DUP2
0000313d: MSTORE
0000313e: PUSH1 0x20
00003140: ADD
00003141: SWAP1
00003142: DUP2
00003143: MSTORE
00003144: PUSH1 0x20
00003146: ADD
00003147: PUSH1 0x00
00003149: KECCAK256
0000314a: SLOAD
0000314b: PUSH2 0x36ff
0000314e: SWAP1
0000314f: SWAP2
00003150: SWAP1
00003151: PUSH4 0xffffffff
00003156: AND
00003157: JUMP
00003158: JUMPDEST
00003159: PUSH1 0x6a
0000315b: PUSH1 0x00
0000315d: DUP6
0000315e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003173: AND
00003174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003189: AND
0000318a: DUP2
0000318b: MSTORE
0000318c: PUSH1 0x20
0000318e: ADD
0000318f: SWAP1
00003190: DUP2
00003191: MSTORE
00003192: PUSH1 0x20
00003194: ADD
00003195: PUSH1 0x00
00003197: KECCAK256
00003198: DUP2
00003199: SWAP1
0000319a: SSTORE
0000319b: POP
0000319c: PUSH1 0x00
0000319e: PUSH1 0x60
000031a0: CALLER
000031a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031b6: AND
000031b7: DUP4
000031b8: PUSH1 0x40
000031ba: MLOAD
000031bb: DUP1
000031bc: PUSH1 0x00
000031be: ADD
000031bf: SWAP1
000031c0: POP
000031c1: PUSH1 0x00
000031c3: PUSH1 0x40
000031c5: MLOAD
000031c6: DUP1
000031c7: DUP4
000031c8: SUB
000031c9: DUP2
000031ca: DUP6
000031cb: DUP8
000031cc: GAS
000031cd: CALL
000031ce: SWAP3
000031cf: POP
000031d0: POP
000031d1: POP
000031d2: RETURNDATASIZE
000031d3: DUP1
000031d4: PUSH1 0x00
000031d6: DUP2
000031d7: EQ
000031d8: PUSH2 0x31fd
000031db: JUMPI
000031dc: PUSH1 0x40
000031de: MLOAD
000031df: SWAP2
000031e0: POP
000031e1: PUSH1 0x1f
000031e3: NOT
000031e4: PUSH1 0x3f
000031e6: RETURNDATASIZE
000031e7: ADD
000031e8: AND
000031e9: DUP3
000031ea: ADD
000031eb: PUSH1 0x40
000031ed: MSTORE
000031ee: RETURNDATASIZE
000031ef: DUP3
000031f0: MSTORE
000031f1: RETURNDATASIZE
000031f2: PUSH1 0x00
000031f4: PUSH1 0x20
000031f6: DUP5
000031f7: ADD
000031f8: RETURNDATACOPY
000031f9: PUSH2 0x3202
000031fc: JUMP
000031fd: JUMPDEST
000031fe: PUSH1 0x60
00003200: SWAP2
00003201: POP
00003202: JUMPDEST
00003203: POP
00003204: SWAP2
00003205: POP
00003206: SWAP2
00003207: POP
00003208: DUP2
00003209: PUSH2 0x325d
0000320c: JUMPI
0000320d: PUSH1 0x40
0000320f: MLOAD
00003210: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003231: DUP2
00003232: MSTORE
00003233: PUSH1 0x04
00003235: ADD
00003236: DUP1
00003237: DUP1
00003238: PUSH1 0x20
0000323a: ADD
0000323b: DUP3
0000323c: DUP2
0000323d: SUB
0000323e: DUP3
0000323f: MSTORE
00003240: PUSH1 0x24
00003242: DUP2
00003243: MSTORE
00003244: PUSH1 0x20
00003246: ADD
00003247: DUP1
00003248: PUSH2 0x3d53
0000324b: PUSH1 0x24
0000324d: SWAP2
0000324e: CODECOPY
0000324f: PUSH1 0x40
00003251: ADD
00003252: SWAP2
00003253: POP
00003254: POP
00003255: PUSH1 0x40
00003257: MLOAD
00003258: DUP1
00003259: SWAP2
0000325a: SUB
0000325b: SWAP1
0000325c: REVERT
0000325d: JUMPDEST
0000325e: POP
0000325f: POP
00003260: POP
00003261: POP
00003262: POP
00003263: JUMP
00003264: JUMPDEST
00003265: PUSH2 0x326c
00003268: PUSH2 0x386b
0000326b: JUMP
0000326c: JUMPDEST
0000326d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003282: AND
00003283: PUSH2 0x328a
00003286: PUSH2 0x2787
00003289: JUMP
0000328a: JUMPDEST
0000328b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032a0: AND
000032a1: EQ
000032a2: PUSH2 0x3313
000032a5: JUMPI
000032a6: PUSH1 0x40
000032a8: MLOAD
000032a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000032ca: DUP2
000032cb: MSTORE
000032cc: PUSH1 0x04
000032ce: ADD
000032cf: DUP1
000032d0: DUP1
000032d1: PUSH1 0x20
000032d3: ADD
000032d4: DUP3
000032d5: DUP2
000032d6: SUB
000032d7: DUP3
000032d8: MSTORE
000032d9: PUSH1 0x20
000032db: DUP2
000032dc: MSTORE
000032dd: PUSH1 0x20
000032df: ADD
000032e0: DUP1
000032e1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003302: DUP2
00003303: MSTORE
00003304: POP
00003305: PUSH1 0x20
00003307: ADD
00003308: SWAP2
00003309: POP
0000330a: POP
0000330b: PUSH1 0x40
0000330d: MLOAD
0000330e: DUP1
0000330f: SWAP2
00003310: SUB
00003311: SWAP1
00003312: REVERT
00003313: JUMPDEST
00003314: PUSH1 0x00
00003316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000332b: AND
0000332c: DUP2
0000332d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003342: AND
00003343: EQ
00003344: ISZERO
00003345: PUSH2 0x3399
00003348: JUMPI
00003349: PUSH1 0x40
0000334b: MLOAD
0000334c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000336d: DUP2
0000336e: MSTORE
0000336f: PUSH1 0x04
00003371: ADD
00003372: DUP1
00003373: DUP1
00003374: PUSH1 0x20
00003376: ADD
00003377: DUP3
00003378: DUP2
00003379: SUB
0000337a: DUP3
0000337b: MSTORE
0000337c: PUSH1 0x26
0000337e: DUP2
0000337f: MSTORE
00003380: PUSH1 0x20
00003382: ADD
00003383: DUP1
00003384: PUSH2 0x3d77
00003387: PUSH1 0x26
00003389: SWAP2
0000338a: CODECOPY
0000338b: PUSH1 0x40
0000338d: ADD
0000338e: SWAP2
0000338f: POP
00003390: POP
00003391: PUSH1 0x40
00003393: MLOAD
00003394: DUP1
00003395: SWAP2
00003396: SUB
00003397: SWAP1
00003398: REVERT
00003399: JUMPDEST
0000339a: DUP1
0000339b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033b0: AND
000033b1: PUSH1 0x33
000033b3: PUSH1 0x00
000033b5: SWAP1
000033b6: SLOAD
000033b7: SWAP1
000033b8: PUSH2 0x0100
000033bb: EXP
000033bc: SWAP1
000033bd: DIV
000033be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033d3: AND
000033d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033e9: AND
000033ea: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000340b: PUSH1 0x40
0000340d: MLOAD
0000340e: PUSH1 0x40
00003410: MLOAD
00003411: DUP1
00003412: SWAP2
00003413: SUB
00003414: SWAP1
00003415: LOG3
00003416: DUP1
00003417: PUSH1 0x33
00003419: PUSH1 0x00
0000341b: PUSH2 0x0100
0000341e: EXP
0000341f: DUP2
00003420: SLOAD
00003421: DUP2
00003422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003437: MUL
00003438: NOT
00003439: AND
0000343a: SWAP1
0000343b: DUP4
0000343c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003451: AND
00003452: MUL
00003453: OR
00003454: SWAP1
00003455: SSTORE
00003456: POP
00003457: POP
00003458: JUMP
00003459: JUMPDEST
0000345a: PUSH1 0x6f
0000345c: PUSH1 0x01
0000345e: SWAP1
0000345f: SLOAD
00003460: SWAP1
00003461: PUSH2 0x0100
00003464: EXP
00003465: SWAP1
00003466: DIV
00003467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000347c: AND
0000347d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003492: AND
00003493: CALLER
00003494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034a9: AND
000034aa: EQ
000034ab: PUSH2 0x351c
000034ae: JUMPI
000034af: PUSH1 0x40
000034b1: MLOAD
000034b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000034d3: DUP2
000034d4: MSTORE
000034d5: PUSH1 0x04
000034d7: ADD
000034d8: DUP1
000034d9: DUP1
000034da: PUSH1 0x20
000034dc: ADD
000034dd: DUP3
000034de: DUP2
000034df: SUB
000034e0: DUP3
000034e1: MSTORE
000034e2: PUSH1 0x1f
000034e4: DUP2
000034e5: MSTORE
000034e6: PUSH1 0x20
000034e8: ADD
000034e9: DUP1
000034ea: PUSH32 0x41756374696f6e48616e646c65723a204e6f7420666565546f53657474657200
0000350b: DUP2
0000350c: MSTORE
0000350d: POP
0000350e: PUSH1 0x20
00003510: ADD
00003511: SWAP2
00003512: POP
00003513: POP
00003514: PUSH1 0x40
00003516: MLOAD
00003517: DUP1
00003518: SWAP2
00003519: SUB
0000351a: SWAP1
0000351b: REVERT
0000351c: JUMPDEST
0000351d: PUSH1 0x00
0000351f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003534: AND
00003535: DUP2
00003536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000354b: AND
0000354c: EQ
0000354d: ISZERO
0000354e: PUSH2 0x35a2
00003551: JUMPI
00003552: PUSH1 0x40
00003554: MLOAD
00003555: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003576: DUP2
00003577: MSTORE
00003578: PUSH1 0x04
0000357a: ADD
0000357b: DUP1
0000357c: DUP1
0000357d: PUSH1 0x20
0000357f: ADD
00003580: DUP3
00003581: DUP2
00003582: SUB
00003583: DUP3
00003584: MSTORE
00003585: PUSH1 0x32
00003587: DUP2
00003588: MSTORE
00003589: PUSH1 0x20
0000358b: ADD
0000358c: DUP1
0000358d: PUSH2 0x3f10
00003590: PUSH1 0x32
00003592: SWAP2
00003593: CODECOPY
00003594: PUSH1 0x40
00003596: ADD
00003597: SWAP2
00003598: POP
00003599: POP
0000359a: PUSH1 0x40
0000359c: MLOAD
0000359d: DUP1
0000359e: SWAP2
0000359f: SUB
000035a0: SWAP1
000035a1: REVERT
000035a2: JUMPDEST
000035a3: DUP1
000035a4: PUSH1 0x70
000035a6: PUSH1 0x00
000035a8: PUSH2 0x0100
000035ab: EXP
000035ac: DUP2
000035ad: SLOAD
000035ae: DUP2
000035af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035c4: MUL
000035c5: NOT
000035c6: AND
000035c7: SWAP1
000035c8: DUP4
000035c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035de: AND
000035df: MUL
000035e0: OR
000035e1: SWAP1
000035e2: SSTORE
000035e3: POP
000035e4: POP
000035e5: JUMP
000035e6: JUMPDEST
000035e7: PUSH1 0x00
000035e9: TIMESTAMP
000035ea: SWAP1
000035eb: POP
000035ec: SWAP1
000035ed: JUMP
000035ee: JUMPDEST
000035ef: PUSH1 0x00
000035f1: DUP1
000035f2: DUP3
000035f3: DUP5
000035f4: ADD
000035f5: SWAP1
000035f6: POP
000035f7: DUP4
000035f8: DUP2
000035f9: LT
000035fa: ISZERO
000035fb: PUSH2 0x366c
000035fe: JUMPI
000035ff: PUSH1 0x40
00003601: MLOAD
00003602: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003623: DUP2
00003624: MSTORE
00003625: PUSH1 0x04
00003627: ADD
00003628: DUP1
00003629: DUP1
0000362a: PUSH1 0x20
0000362c: ADD
0000362d: DUP3
0000362e: DUP2
0000362f: SUB
00003630: DUP3
00003631: MSTORE
00003632: PUSH1 0x1b
00003634: DUP2
00003635: MSTORE
00003636: PUSH1 0x20
00003638: ADD
00003639: DUP1
0000363a: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
0000365b: DUP2
0000365c: MSTORE
0000365d: POP
0000365e: PUSH1 0x20
00003660: ADD
00003661: SWAP2
00003662: POP
00003663: POP
00003664: PUSH1 0x40
00003666: MLOAD
00003667: DUP1
00003668: SWAP2
00003669: SUB
0000366a: SWAP1
0000366b: REVERT
0000366c: JUMPDEST
0000366d: DUP1
0000366e: SWAP2
0000366f: POP
00003670: POP
00003671: SWAP3
00003672: SWAP2
00003673: POP
00003674: POP
00003675: JUMP
00003676: JUMPDEST
00003677: PUSH1 0x00
00003679: DUP1
0000367a: DUP3
0000367b: GT
0000367c: PUSH2 0x36ed
0000367f: JUMPI
00003680: PUSH1 0x40
00003682: MLOAD
00003683: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000036a4: DUP2
000036a5: MSTORE
000036a6: PUSH1 0x04
000036a8: ADD
000036a9: DUP1
000036aa: DUP1
000036ab: PUSH1 0x20
000036ad: ADD
000036ae: DUP3
000036af: DUP2
000036b0: SUB
000036b1: DUP3
000036b2: MSTORE
000036b3: PUSH1 0x1a
000036b5: DUP2
000036b6: MSTORE
000036b7: PUSH1 0x20
000036b9: ADD
000036ba: DUP1
000036bb: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
000036dc: DUP2
000036dd: MSTORE
000036de: POP
000036df: PUSH1 0x20
000036e1: ADD
000036e2: SWAP2
000036e3: POP
000036e4: POP
000036e5: PUSH1 0x40
000036e7: MLOAD
000036e8: DUP1
000036e9: SWAP2
000036ea: SUB
000036eb: SWAP1
000036ec: REVERT
000036ed: JUMPDEST
000036ee: DUP2
000036ef: DUP4
000036f0: DUP2
000036f1: PUSH2 0x36f6
000036f4: JUMPI
000036f5: INVALID
000036f6: JUMPDEST
000036f7: DIV
000036f8: SWAP1
000036f9: POP
000036fa: SWAP3
000036fb: SWAP2
000036fc: POP
000036fd: POP
000036fe: JUMP
000036ff: JUMPDEST
00003700: PUSH1 0x00
00003702: DUP3
00003703: DUP3
00003704: GT
00003705: ISZERO
00003706: PUSH2 0x3777
00003709: JUMPI
0000370a: PUSH1 0x40
0000370c: MLOAD
0000370d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000372e: DUP2
0000372f: MSTORE
00003730: PUSH1 0x04
00003732: ADD
00003733: DUP1
00003734: DUP1
00003735: PUSH1 0x20
00003737: ADD
00003738: DUP3
00003739: DUP2
0000373a: SUB
0000373b: DUP3
0000373c: MSTORE
0000373d: PUSH1 0x1e
0000373f: DUP2
00003740: MSTORE
00003741: PUSH1 0x20
00003743: ADD
00003744: DUP1
00003745: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00003766: DUP2
00003767: MSTORE
00003768: POP
00003769: PUSH1 0x20
0000376b: ADD
0000376c: SWAP2
0000376d: POP
0000376e: POP
0000376f: PUSH1 0x40
00003771: MLOAD
00003772: DUP1
00003773: SWAP2
00003774: SUB
00003775: SWAP1
00003776: REVERT
00003777: JUMPDEST
00003778: DUP2
00003779: DUP4
0000377a: SUB
0000377b: SWAP1
0000377c: POP
0000377d: SWAP3
0000377e: SWAP2
0000377f: POP
00003780: POP
00003781: JUMP
00003782: JUMPDEST
00003783: PUSH1 0x00
00003785: PUSH1 0x60
00003787: PUSH1 0x70
00003789: PUSH1 0x00
0000378b: SWAP1
0000378c: SLOAD
0000378d: SWAP1
0000378e: PUSH2 0x0100
00003791: EXP
00003792: SWAP1
00003793: DIV
00003794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037a9: AND
000037aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037bf: AND
000037c0: DUP4
000037c1: PUSH1 0x40
000037c3: MLOAD
000037c4: DUP1
000037c5: PUSH1 0x00
000037c7: ADD
000037c8: SWAP1
000037c9: POP
000037ca: PUSH1 0x00
000037cc: PUSH1 0x40
000037ce: MLOAD
000037cf: DUP1
000037d0: DUP4
000037d1: SUB
000037d2: DUP2
000037d3: DUP6
000037d4: DUP8
000037d5: GAS
000037d6: CALL
000037d7: SWAP3
000037d8: POP
000037d9: POP
000037da: POP
000037db: RETURNDATASIZE
000037dc: DUP1
000037dd: PUSH1 0x00
000037df: DUP2
000037e0: EQ
000037e1: PUSH2 0x3806
000037e4: JUMPI
000037e5: PUSH1 0x40
000037e7: MLOAD
000037e8: SWAP2
000037e9: POP
000037ea: PUSH1 0x1f
000037ec: NOT
000037ed: PUSH1 0x3f
000037ef: RETURNDATASIZE
000037f0: ADD
000037f1: AND
000037f2: DUP3
000037f3: ADD
000037f4: PUSH1 0x40
000037f6: MSTORE
000037f7: RETURNDATASIZE
000037f8: DUP3
000037f9: MSTORE
000037fa: RETURNDATASIZE
000037fb: PUSH1 0x00
000037fd: PUSH1 0x20
000037ff: DUP5
00003800: ADD
00003801: RETURNDATACOPY
00003802: PUSH2 0x380b
00003805: JUMP
00003806: JUMPDEST
00003807: PUSH1 0x60
00003809: SWAP2
0000380a: POP
0000380b: JUMPDEST
0000380c: POP
0000380d: SWAP2
0000380e: POP
0000380f: SWAP2
00003810: POP
00003811: DUP2
00003812: PUSH2 0x3866
00003815: JUMPI
00003816: PUSH1 0x40
00003818: MLOAD
00003819: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000383a: DUP2
0000383b: MSTORE
0000383c: PUSH1 0x04
0000383e: ADD
0000383f: DUP1
00003840: DUP1
00003841: PUSH1 0x20
00003843: ADD
00003844: DUP3
00003845: DUP2
00003846: SUB
00003847: DUP3
00003848: MSTORE
00003849: PUSH1 0x24
0000384b: DUP2
0000384c: MSTORE
0000384d: PUSH1 0x20
0000384f: ADD
00003850: DUP1
00003851: PUSH2 0x3d53
00003854: PUSH1 0x24
00003856: SWAP2
00003857: CODECOPY
00003858: PUSH1 0x40
0000385a: ADD
0000385b: SWAP2
0000385c: POP
0000385d: POP
0000385e: PUSH1 0x40
00003860: MLOAD
00003861: DUP1
00003862: SWAP2
00003863: SUB
00003864: SWAP1
00003865: REVERT
00003866: JUMPDEST
00003867: POP
00003868: POP
00003869: POP
0000386a: JUMP
0000386b: JUMPDEST
0000386c: PUSH1 0x00
0000386e: CALLER
0000386f: SWAP1
00003870: POP
00003871: SWAP1
00003872: JUMP
00003873: JUMPDEST
00003874: PUSH1 0x00
00003876: DUP1
00003877: DUP4
00003878: EQ
00003879: ISZERO
0000387a: PUSH2 0x3886
0000387d: JUMPI
0000387e: PUSH1 0x00
00003880: SWAP1
00003881: POP
00003882: PUSH2 0x38f3
00003885: JUMP
00003886: JUMPDEST
00003887: PUSH1 0x00
00003889: DUP3
0000388a: DUP5
0000388b: MUL
0000388c: SWAP1
0000388d: POP
0000388e: DUP3
0000388f: DUP5
00003890: DUP3
00003891: DUP2
00003892: PUSH2 0x3897
00003895: JUMPI
00003896: INVALID
00003897: JUMPDEST
00003898: DIV
00003899: EQ
0000389a: PUSH2 0x38ee
0000389d: JUMPI
0000389e: PUSH1 0x40
000038a0: MLOAD
000038a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000038c2: DUP2
000038c3: MSTORE
000038c4: PUSH1 0x04
000038c6: ADD
000038c7: DUP1
000038c8: DUP1
000038c9: PUSH1 0x20
000038cb: ADD
000038cc: DUP3
000038cd: DUP2
000038ce: SUB
000038cf: DUP3
000038d0: MSTORE
000038d1: PUSH1 0x21
000038d3: DUP2
000038d4: MSTORE
000038d5: PUSH1 0x20
000038d7: ADD
000038d8: DUP1
000038d9: PUSH2 0x3eef
000038dc: PUSH1 0x21
000038de: SWAP2
000038df: CODECOPY
000038e0: PUSH1 0x40
000038e2: ADD
000038e3: SWAP2
000038e4: POP
000038e5: POP
000038e6: PUSH1 0x40
000038e8: MLOAD
000038e9: DUP1
000038ea: SWAP2
000038eb: SUB
000038ec: SWAP1
000038ed: REVERT
000038ee: JUMPDEST
000038ef: DUP1
000038f0: SWAP2
000038f1: POP
000038f2: POP
000038f3: JUMPDEST
000038f4: SWAP3
000038f5: SWAP2
000038f6: POP
000038f7: POP
000038f8: JUMP
000038f9: JUMPDEST
000038fa: PUSH1 0x00
000038fc: PUSH2 0x3904
000038ff: ADDRESS
00003900: PUSH2 0x3a18
00003903: JUMP
00003904: JUMPDEST
00003905: ISZERO
00003906: SWAP1
00003907: POP
00003908: SWAP1
00003909: JUMP
0000390a: JUMPDEST
0000390b: PUSH1 0x00
0000390d: PUSH1 0x01
0000390f: SWAP1
00003910: SLOAD
00003911: SWAP1
00003912: PUSH2 0x0100
00003915: EXP
00003916: SWAP1
00003917: DIV
00003918: PUSH1 0xff
0000391a: AND
0000391b: DUP1
0000391c: PUSH2 0x3929
0000391f: JUMPI
00003920: POP
00003921: PUSH2 0x3928
00003924: PUSH2 0x38f9
00003927: JUMP
00003928: JUMPDEST
00003929: JUMPDEST
0000392a: DUP1
0000392b: PUSH2 0x393f
0000392e: JUMPI
0000392f: POP
00003930: PUSH1 0x00
00003932: DUP1
00003933: SLOAD
00003934: SWAP1
00003935: PUSH2 0x0100
00003938: EXP
00003939: SWAP1
0000393a: DIV
0000393b: PUSH1 0xff
0000393d: AND
0000393e: ISZERO
0000393f: JUMPDEST
00003940: PUSH2 0x3994
00003943: JUMPI
00003944: PUSH1 0x40
00003946: MLOAD
00003947: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003968: DUP2
00003969: MSTORE
0000396a: PUSH1 0x04
0000396c: ADD
0000396d: DUP1
0000396e: DUP1
0000396f: PUSH1 0x20
00003971: ADD
00003972: DUP3
00003973: DUP2
00003974: SUB
00003975: DUP3
00003976: MSTORE
00003977: PUSH1 0x2e
00003979: DUP2
0000397a: MSTORE
0000397b: PUSH1 0x20
0000397d: ADD
0000397e: DUP1
0000397f: PUSH2 0x3e32
00003982: PUSH1 0x2e
00003984: SWAP2
00003985: CODECOPY
00003986: PUSH1 0x40
00003988: ADD
00003989: SWAP2
0000398a: POP
0000398b: POP
0000398c: PUSH1 0x40
0000398e: MLOAD
0000398f: DUP1
00003990: SWAP2
00003991: SUB
00003992: SWAP1
00003993: REVERT
00003994: JUMPDEST
00003995: PUSH1 0x00
00003997: DUP1
00003998: PUSH1 0x01
0000399a: SWAP1
0000399b: SLOAD
0000399c: SWAP1
0000399d: PUSH2 0x0100
000039a0: EXP
000039a1: SWAP1
000039a2: DIV
000039a3: PUSH1 0xff
000039a5: AND
000039a6: ISZERO
000039a7: SWAP1
000039a8: POP
000039a9: DUP1
000039aa: ISZERO
000039ab: PUSH2 0x39e4
000039ae: JUMPI
000039af: PUSH1 0x01
000039b1: PUSH1 0x00
000039b3: PUSH1 0x01
000039b5: PUSH2 0x0100
000039b8: EXP
000039b9: DUP2
000039ba: SLOAD
000039bb: DUP2
000039bc: PUSH1 0xff
000039be: MUL
000039bf: NOT
000039c0: AND
000039c1: SWAP1
000039c2: DUP4
000039c3: ISZERO
000039c4: ISZERO
000039c5: MUL
000039c6: OR
000039c7: SWAP1
000039c8: SSTORE
000039c9: POP
000039ca: PUSH1 0x01
000039cc: PUSH1 0x00
000039ce: DUP1
000039cf: PUSH2 0x0100
000039d2: EXP
000039d3: DUP2
000039d4: SLOAD
000039d5: DUP2
000039d6: PUSH1 0xff
000039d8: MUL
000039d9: NOT
000039da: AND
000039db: SWAP1
000039dc: DUP4
000039dd: ISZERO
000039de: ISZERO
000039df: MUL
000039e0: OR
000039e1: SWAP1
000039e2: SSTORE
000039e3: POP
000039e4: JUMPDEST
000039e5: PUSH2 0x39ec
000039e8: PUSH2 0x3a2b
000039eb: JUMP
000039ec: JUMPDEST
000039ed: PUSH2 0x39f4
000039f0: PUSH2 0x3b29
000039f3: JUMP
000039f4: JUMPDEST
000039f5: DUP1
000039f6: ISZERO
000039f7: PUSH2 0x3a15
000039fa: JUMPI
000039fb: PUSH1 0x00
000039fd: DUP1
000039fe: PUSH1 0x01
00003a00: PUSH2 0x0100
00003a03: EXP
00003a04: DUP2
00003a05: SLOAD
00003a06: DUP2
00003a07: PUSH1 0xff
00003a09: MUL
00003a0a: NOT
00003a0b: AND
00003a0c: SWAP1
00003a0d: DUP4
00003a0e: ISZERO
00003a0f: ISZERO
00003a10: MUL
00003a11: OR
00003a12: SWAP1
00003a13: SSTORE
00003a14: POP
00003a15: JUMPDEST
00003a16: POP
00003a17: JUMP
00003a18: JUMPDEST
00003a19: PUSH1 0x00
00003a1b: DUP1
00003a1c: DUP3
00003a1d: EXTCODESIZE
00003a1e: SWAP1
00003a1f: POP
00003a20: PUSH1 0x00
00003a22: DUP2
00003a23: GT
00003a24: SWAP2
00003a25: POP
00003a26: POP
00003a27: SWAP2
00003a28: SWAP1
00003a29: POP
00003a2a: JUMP
00003a2b: JUMPDEST
00003a2c: PUSH1 0x00
00003a2e: PUSH1 0x01
00003a30: SWAP1
00003a31: SLOAD
00003a32: SWAP1
00003a33: PUSH2 0x0100
00003a36: EXP
00003a37: SWAP1
00003a38: DIV
00003a39: PUSH1 0xff
00003a3b: AND
00003a3c: DUP1
00003a3d: PUSH2 0x3a4a
00003a40: JUMPI
00003a41: POP
00003a42: PUSH2 0x3a49
00003a45: PUSH2 0x38f9
00003a48: JUMP
00003a49: JUMPDEST
00003a4a: JUMPDEST
00003a4b: DUP1
00003a4c: PUSH2 0x3a60
00003a4f: JUMPI
00003a50: POP
00003a51: PUSH1 0x00
00003a53: DUP1
00003a54: SLOAD
00003a55: SWAP1
00003a56: PUSH2 0x0100
00003a59: EXP
00003a5a: SWAP1
00003a5b: DIV
00003a5c: PUSH1 0xff
00003a5e: AND
00003a5f: ISZERO
00003a60: JUMPDEST
00003a61: PUSH2 0x3ab5
00003a64: JUMPI
00003a65: PUSH1 0x40
00003a67: MLOAD
00003a68: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003a89: DUP2
00003a8a: MSTORE
00003a8b: PUSH1 0x04
00003a8d: ADD
00003a8e: DUP1
00003a8f: DUP1
00003a90: PUSH1 0x20
00003a92: ADD
00003a93: DUP3
00003a94: DUP2
00003a95: SUB
00003a96: DUP3
00003a97: MSTORE
00003a98: PUSH1 0x2e
00003a9a: DUP2
00003a9b: MSTORE
00003a9c: PUSH1 0x20
00003a9e: ADD
00003a9f: DUP1
00003aa0: PUSH2 0x3e32
00003aa3: PUSH1 0x2e
00003aa5: SWAP2
00003aa6: CODECOPY
00003aa7: PUSH1 0x40
00003aa9: ADD
00003aaa: SWAP2
00003aab: POP
00003aac: POP
00003aad: PUSH1 0x40
00003aaf: MLOAD
00003ab0: DUP1
00003ab1: SWAP2
00003ab2: SUB
00003ab3: SWAP1
00003ab4: REVERT
00003ab5: JUMPDEST
00003ab6: PUSH1 0x00
00003ab8: DUP1
00003ab9: PUSH1 0x01
00003abb: SWAP1
00003abc: SLOAD
00003abd: SWAP1
00003abe: PUSH2 0x0100
00003ac1: EXP
00003ac2: SWAP1
00003ac3: DIV
00003ac4: PUSH1 0xff
00003ac6: AND
00003ac7: ISZERO
00003ac8: SWAP1
00003ac9: POP
00003aca: DUP1
00003acb: ISZERO
00003acc: PUSH2 0x3b05
00003acf: JUMPI
00003ad0: PUSH1 0x01
00003ad2: PUSH1 0x00
00003ad4: PUSH1 0x01
00003ad6: PUSH2 0x0100
00003ad9: EXP
00003ada: DUP2
00003adb: SLOAD
00003adc: DUP2
00003add: PUSH1 0xff
00003adf: MUL
00003ae0: NOT
00003ae1: AND
00003ae2: SWAP1
00003ae3: DUP4
00003ae4: ISZERO
00003ae5: ISZERO
00003ae6: MUL
00003ae7: OR
00003ae8: SWAP1
00003ae9: SSTORE
00003aea: POP
00003aeb: PUSH1 0x01
00003aed: PUSH1 0x00
00003aef: DUP1
00003af0: PUSH2 0x0100
00003af3: EXP
00003af4: DUP2
00003af5: SLOAD
00003af6: DUP2
00003af7: PUSH1 0xff
00003af9: MUL
00003afa: NOT
00003afb: AND
00003afc: SWAP1
00003afd: DUP4
00003afe: ISZERO
00003aff: ISZERO
00003b00: MUL
00003b01: OR
00003b02: SWAP1
00003b03: SSTORE
00003b04: POP
00003b05: JUMPDEST
00003b06: DUP1
00003b07: ISZERO
00003b08: PUSH2 0x3b26
00003b0b: JUMPI
00003b0c: PUSH1 0x00
00003b0e: DUP1
00003b0f: PUSH1 0x01
00003b11: PUSH2 0x0100
00003b14: EXP
00003b15: DUP2
00003b16: SLOAD
00003b17: DUP2
00003b18: PUSH1 0xff
00003b1a: MUL
00003b1b: NOT
00003b1c: AND
00003b1d: SWAP1
00003b1e: DUP4
00003b1f: ISZERO
00003b20: ISZERO
00003b21: MUL
00003b22: OR
00003b23: SWAP1
00003b24: SSTORE
00003b25: POP
00003b26: JUMPDEST
00003b27: POP
00003b28: JUMP
00003b29: JUMPDEST
00003b2a: PUSH1 0x00
00003b2c: PUSH1 0x01
00003b2e: SWAP1
00003b2f: SLOAD
00003b30: SWAP1
00003b31: PUSH2 0x0100
00003b34: EXP
00003b35: SWAP1
00003b36: DIV
00003b37: PUSH1 0xff
00003b39: AND
00003b3a: DUP1
00003b3b: PUSH2 0x3b48
00003b3e: JUMPI
00003b3f: POP
00003b40: PUSH2 0x3b47
00003b43: PUSH2 0x38f9
00003b46: JUMP
00003b47: JUMPDEST
00003b48: JUMPDEST
00003b49: DUP1
00003b4a: PUSH2 0x3b5e
00003b4d: JUMPI
00003b4e: POP
00003b4f: PUSH1 0x00
00003b51: DUP1
00003b52: SLOAD
00003b53: SWAP1
00003b54: PUSH2 0x0100
00003b57: EXP
00003b58: SWAP1
00003b59: DIV
00003b5a: PUSH1 0xff
00003b5c: AND
00003b5d: ISZERO
00003b5e: JUMPDEST
00003b5f: PUSH2 0x3bb3
00003b62: JUMPI
00003b63: PUSH1 0x40
00003b65: MLOAD
00003b66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003b87: DUP2
00003b88: MSTORE
00003b89: PUSH1 0x04
00003b8b: ADD
00003b8c: DUP1
00003b8d: DUP1
00003b8e: PUSH1 0x20
00003b90: ADD
00003b91: DUP3
00003b92: DUP2
00003b93: SUB
00003b94: DUP3
00003b95: MSTORE
00003b96: PUSH1 0x2e
00003b98: DUP2
00003b99: MSTORE
00003b9a: PUSH1 0x20
00003b9c: ADD
00003b9d: DUP1
00003b9e: PUSH2 0x3e32
00003ba1: PUSH1 0x2e
00003ba3: SWAP2
00003ba4: CODECOPY
00003ba5: PUSH1 0x40
00003ba7: ADD
00003ba8: SWAP2
00003ba9: POP
00003baa: POP
00003bab: PUSH1 0x40
00003bad: MLOAD
00003bae: DUP1
00003baf: SWAP2
00003bb0: SUB
00003bb1: SWAP1
00003bb2: REVERT
00003bb3: JUMPDEST
00003bb4: PUSH1 0x00
00003bb6: DUP1
00003bb7: PUSH1 0x01
00003bb9: SWAP1
00003bba: SLOAD
00003bbb: SWAP1
00003bbc: PUSH2 0x0100
00003bbf: EXP
00003bc0: SWAP1
00003bc1: DIV
00003bc2: PUSH1 0xff
00003bc4: AND
00003bc5: ISZERO
00003bc6: SWAP1
00003bc7: POP
00003bc8: DUP1
00003bc9: ISZERO
00003bca: PUSH2 0x3c03
00003bcd: JUMPI
00003bce: PUSH1 0x01
00003bd0: PUSH1 0x00
00003bd2: PUSH1 0x01
00003bd4: PUSH2 0x0100
00003bd7: EXP
00003bd8: DUP2
00003bd9: SLOAD
00003bda: DUP2
00003bdb: PUSH1 0xff
00003bdd: MUL
00003bde: NOT
00003bdf: AND
00003be0: SWAP1
00003be1: DUP4
00003be2: ISZERO
00003be3: ISZERO
00003be4: MUL
00003be5: OR
00003be6: SWAP1
00003be7: SSTORE
00003be8: POP
00003be9: PUSH1 0x01
00003beb: PUSH1 0x00
00003bed: DUP1
00003bee: PUSH2 0x0100
00003bf1: EXP
00003bf2: DUP2
00003bf3: SLOAD
00003bf4: DUP2
00003bf5: PUSH1 0xff
00003bf7: MUL
00003bf8: NOT
00003bf9: AND
00003bfa: SWAP1
00003bfb: DUP4
00003bfc: ISZERO
00003bfd: ISZERO
00003bfe: MUL
00003bff: OR
00003c00: SWAP1
00003c01: SSTORE
00003c02: POP
00003c03: JUMPDEST
00003c04: PUSH1 0x00
00003c06: PUSH2 0x3c0d
00003c09: PUSH2 0x386b
00003c0c: JUMP
00003c0d: JUMPDEST
00003c0e: SWAP1
00003c0f: POP
00003c10: DUP1
00003c11: PUSH1 0x33
00003c13: PUSH1 0x00
00003c15: PUSH2 0x0100
00003c18: EXP
00003c19: DUP2
00003c1a: SLOAD
00003c1b: DUP2
00003c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c31: MUL
00003c32: NOT
00003c33: AND
00003c34: SWAP1
00003c35: DUP4
00003c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c4b: AND
00003c4c: MUL
00003c4d: OR
00003c4e: SWAP1
00003c4f: SSTORE
00003c50: POP
00003c51: DUP1
00003c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c67: AND
00003c68: PUSH1 0x00
00003c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c7f: AND
00003c80: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00003ca1: PUSH1 0x40
00003ca3: MLOAD
00003ca4: PUSH1 0x40
00003ca6: MLOAD
00003ca7: DUP1
00003ca8: SWAP2
00003ca9: SUB
00003caa: SWAP1
00003cab: LOG3
00003cac: POP
00003cad: DUP1
00003cae: ISZERO
00003caf: PUSH2 0x3ccd
00003cb2: JUMPI
00003cb3: PUSH1 0x00
00003cb5: DUP1
00003cb6: PUSH1 0x01
00003cb8: PUSH2 0x0100
00003cbb: EXP
00003cbc: DUP2
00003cbd: SLOAD
00003cbe: DUP2
00003cbf: PUSH1 0xff
00003cc1: MUL
00003cc2: NOT
00003cc3: AND
00003cc4: SWAP1
00003cc5: DUP4
00003cc6: ISZERO
00003cc7: ISZERO
00003cc8: MUL
00003cc9: OR
00003cca: SWAP1
00003ccb: SSTORE
00003ccc: POP
00003ccd: JUMPDEST
00003cce: POP
00003ccf: JUMP
00003cd0: JUMPDEST
00003cd1: PUSH1 0x40
00003cd3: MLOAD
00003cd4: DUP1
00003cd5: PUSH1 0x40
00003cd7: ADD
00003cd8: PUSH1 0x40
00003cda: MSTORE
00003cdb: DUP1
00003cdc: PUSH1 0x00
00003cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cf3: AND
00003cf4: DUP2
00003cf5: MSTORE
00003cf6: PUSH1 0x20
00003cf8: ADD
00003cf9: PUSH1 0x00
00003cfb: DUP2
00003cfc: MSTORE
00003cfd: POP
00003cfe: SWAP1
00003cff: JUMP
00003d00: INVALID
00003d01: COINBASE
00003d02: PUSH22 0x6374696f6e48616e646c65723a204f6e6c792077696e
00003d19: PUSH15 0x65722063616e20636c61696d417563
00003d29: PUSH21 0x696f6e48616e646c65723a2075546f6b656e20636f
00003d3f: PUSH15 0x7472616374206d7573742062652076
00003d4f: PUSH2 0x6c69
00003d52: PUSH5 0x4175637469
00003d58: PUSH16 0x6e48616e646c65723a204661696c6564
00003d69: KECCAK256
00003d6a: PUSH21 0x6f2073656e642045746865724f776e61626c653a20
00003d80: PUSH15 0x6577206f776e657220697320746865
00003d90: KECCAK256
00003d91: PUSH27 0x65726f206164647265737341756374696f6e48616e646c65723a20
00003dad: COINBASE
00003dae: PUSH22 0x6374696f6e206973206e6f74206f7665724175637469
00003dc5: PUSH16 0x6e48616e646c65723a20596f75206861
00003dd6: PUSH23 0x6520616e206163746976652062696441756374696f6e48
00003dee: PUSH2 0x6e64
00003df1: PUSH13 0x65723a204e465420696e646578
00003dff: KECCAK256
00003e00: PUSH14 0x7573742065786973744175637469
00003e0f: PUSH16 0x6e48616e646c65723a20436f6c6c6563
00003e20: PUSH21 0x2062696420726566756e64206669727374496e6974
00003e36: PUSH10 0x616c697a61626c653a20
00003e41: PUSH4 0x6f6e7472
00003e46: PUSH2 0x6374
00003e49: KECCAK256
00003e4a: PUSH10 0x7320616c726561647920
00003e55: PUSH10 0x6e697469616c697a6564
00003e60: COINBASE
00003e61: PUSH22 0x6374696f6e48616e646c65723a20496e76616c696420
00003e78: PUSH17 0x6172616d657465727341756374696f6e48
00003e8a: PUSH2 0x6e64
00003e8d: PUSH13 0x65723a204e6f207661756c7420
00003e9b: PUSH3 0x616c61
00003e9f: PUSH15 0x636520746f2072656465656d206672
00003eaf: PUSH16 0x6d41756374696f6e48616e646c65723a
00003ec0: KECCAK256
00003ec1: MSTORE8
00003ec2: PUSH21 0x617274696e6720626964206d757374206265206869
00003ed8: PUSH8 0x686572207468616e
00003ee1: KECCAK256
00003ee2: PUSH21 0x726967676572207072696365536166654d6174683a
00003ef8: KECCAK256
00003ef9: PUSH14 0x756c7469706c69636174696f6e20
00003f08: PUSH16 0x766572666c6f7741756374696f6e4861
00003f19: PUSH15 0x646c65723a20466565206164647265
00003f29: PUSH20 0x732063616e6e6f74206265207a65726f20616464
00003f3e: PUSH19 0x65737341756374696f6e48616e646c65723a20
00003f52: NUMBER
00003f53: PUSH2 0x6e20
00003f56: PUSH15 0x6f7420626964206f6e20696e616374
00003f66: PUSH10 0x76652075546f6b656e41
00003f71: PUSH22 0x6374696f6e48616e646c65723a20546f702062696464
00003f88: PUSH6 0x722063616e20
00003f8f: PUSH15 0x6f7420756e62696441756374696f6e
00003f9f: BASEFEE
00003fa0: PUSH2 0x6e64
00003fa3: PUSH13 0x65723a2041756374696f6e2066
00003fb1: PUSH16 0x72204e465420656e6465644175637469
00003fc2: PUSH16 0x6e48616e646c65723a204e465420616c
00003fd3: PUSH19 0x65616479206f6e2061756374696f6ea2646970
00003fe7: PUSH7 0x735822122068a5
00003fef: UNKNOWN(0xDC)
00003ff0: DUP16
00003ff1: SAR
00003ff2: TLOAD
00003ff3: PUSH20 0x1cb2d11c35460edf6c5b7158f3fa2bbaab065310
00004008: XOR
00004009: CALLCODE
0000400a: UNKNOWN(0xA6)
0000400b: SELFDESTRUCT
0000400c: SWAP1
0000400d: PUSH5 0x736f6c6343
00004013: STOP
00004014: MOD
00004015: UNKNOWN(0x0C)
00004016: STOP
00004017: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other cast SELFDESTRUCT present 85 no
view
evidence_json
{
    "notes": "selfdestruct can remove contract code and send funds; review reachability",
    "selfdestruct_count": 1
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x4832b56ddddfdef8c6f4860b46b25ff4d0363ceae889c2e29d44df8f300a256a
call_targets: 0xd91ee91fd0f3fb15c9b9dd47f156396aa8c7c84b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4832b56ddddfdef8c6f4860b46b25ff4d0363ceae889c2e29d44df8f300a256a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd91ee91fd0f3fb15c9b9dd47f156396aa8c7c84b"
    ],
    "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": "0xeba39dab",
            "selector": "0xeba39dab",
            "calldata_variants": [
                "0xeba39dab",
                "0xeba39dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xefe114cf",
            "selector": "0xefe114cf",
            "calldata_variants": [
                "0xefe114cf",
                "0xefe114cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf46901ed",
            "selector": "0xf46901ed",
            "calldata_variants": [
                "0xf46901ed",
                "0xf46901ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xafb3e63e",
            "selector": "0xafb3e63e",
            "calldata_variants": [
                "0xafb3e63e",
                "0xafb3e63e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbceb4bdb",
            "selector": "0xbceb4bdb",
            "calldata_variants": [
                "0xbceb4bdb",
                "0xbceb4bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x957a867c",
            "selector": "0x957a867c",
            "calldata_variants": [
                "0x957a867c",
                "0x957a867c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12529,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 7278,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11719,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 13459,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x4832b56ddddfdef8c6f4860b46b25ff4d0363ceae889c2e29d44df8f300a256a
call_targets: 0xd91ee91fd0f3fb15c9b9dd47f156396aa8c7c84b
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4832b56ddddfdef8c6f4860b46b25ff4d0363ceae889c2e29d44df8f300a256a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd91ee91fd0f3fb15c9b9dd47f156396aa8c7c84b"
    ],
    "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": "0xeba39dab",
            "selector": "0xeba39dab",
            "calldata_variants": [
                "0xeba39dab",
                "0xeba39dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xefe114cf",
            "selector": "0xefe114cf",
            "calldata_variants": [
                "0xefe114cf",
                "0xefe114cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf46901ed",
            "selector": "0xf46901ed",
            "calldata_variants": [
                "0xf46901ed",
                "0xf46901ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xafb3e63e",
            "selector": "0xafb3e63e",
            "calldata_variants": [
                "0xafb3e63e",
                "0xafb3e63e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbceb4bdb",
            "selector": "0xbceb4bdb",
            "calldata_variants": [
                "0xbceb4bdb",
                "0xbceb4bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x957a867c",
            "selector": "0x957a867c",
            "calldata_variants": [
                "0x957a867c",
                "0x957a867c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7575,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12529,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 7278,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11719,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 13459,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x204db0861eaa5e7b9c725b4779bf62d939e89f371de74a55014af4741569b833
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x204db0861eaa5e7b9c725b4779bf62d939e89f371de74a55014af4741569b833",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xeba39dab",
            "selector": "0xeba39dab",
            "calldata_variants": [
                "0xeba39dab",
                "0xeba39dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xefe114cf",
            "selector": "0xefe114cf",
            "calldata_variants": [
                "0xefe114cf",
                "0xefe114cf0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf46901ed",
            "selector": "0xf46901ed",
            "calldata_variants": [
                "0xf46901ed",
                "0xf46901ed0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xafb3e63e",
            "selector": "0xafb3e63e",
            "calldata_variants": [
                "0xafb3e63e",
                "0xafb3e63e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbceb4bdb",
            "selector": "0xbceb4bdb",
            "calldata_variants": [
                "0xbceb4bdb",
                "0xbceb4bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc45a0155",
            "selector": "0xc45a0155",
            "calldata_variants": [
                "0xc45a0155",
                "0xc45a01550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x957a867c",
            "selector": "0x957a867c",
            "calldata_variants": [
                "0x957a867c",
                "0x957a867c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 7278,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11719,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 13459,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 9
}
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": 12
}