Analysis Run

[codex:1522018] OpenAI Codex v0.77.0 (research preview)
[codex:1522018] --------
[codex:1522018] workdir: /tmp/codex-multi-j7vhb8bd
[codex:1522018] model: gpt-5.2-codex
[codex:1522018] provider: openai
[codex:1522018] approval: never
[codex:1522018] sandbox: read-only
[codex:1522018] reasoning effort: xhigh
[codex:1522018] reasoning summaries: auto
[codex:1522018] session id: 019b8717-6a0d-78d3-a650-a0983e7643ae
[codex:1522018] --------
[codex:1522018] user
[codex:1522018] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1522018] 
[codex:1522018] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1522018] 
[codex:1522018] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1522018] - Gas inefficiency, code quality, naming, or best practices
[codex:1522018] - Theoretical vulnerabilities without a clear extraction path
[codex:1522018] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1522018] - Front-running unless it enables theft beyond MEV
[codex:1522018] - DoS, griefing, or issues that don't result in attacker profit
[codex:1522018] - Missing events, view function issues, or informational findings
[codex:1522018] 
[codex:1522018] HIGH-VALUE PATTERNS TO HUNT:
[codex:1522018] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1522018] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1522018] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1522018] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1522018] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1522018] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1522018] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1522018] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1522018] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1522018] 
[codex:1522018] For each finding, you MUST provide:
[codex:1522018] 1. Exact file and line numbers of vulnerable code
[codex:1522018] 2. Step-by-step exploit transaction sequence
[codex:1522018] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1522018] 
[codex:1522018] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1522018] 
[codex:1522018] Output MUST be valid JSON matching the provided schema.
[codex:1522018] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1522018] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1522018] mcp startup: no servers
[codex:1522018] 
[codex:1522018] thinking
[codex:1522018] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1522018] exec
[codex:1522018] /bin/bash -lc ls in /tmp/codex-multi-j7vhb8bd succeeded in 6ms:
[codex:1522018] AUDIT_BUNDLE.txt
[codex:1522018] codex-output-schema.json
[codex:1522018] contracts
[codex:1522018] exec
[codex:1522018] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-j7vhb8bd succeeded in 6ms:
[codex:1522018] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1522018] 
[codex:1522018] ================================================================================
[codex:1522018] FILE: contracts/Contract.sol
[codex:1522018] ================================================================================
[codex:1522018] // SPDX-License-Identifier: MIT
[codex:1522018] 
[codex:1522018] pragma solidity ^0.8.0;
[codex:1522018] 
[codex:1522018] /// [MIT License]
[codex:1522018] /// @title Base64
[codex:1522018] /// @notice Provides a function for encoding some bytes in base64
[codex:1522018] /// @author Brecht Devos <brecht@loopring.org>
[codex:1522018] library Base64 {
[codex:1522018]     bytes internal constant TABLE = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
[codex:1522018] 
[codex:1522018]     /// @notice Encodes some bytes to the base64 representation
[codex:1522018]     function encode(bytes memory data) internal pure returns (string memory) {
[codex:1522018]         uint256 len = data.length;
[codex:1522018]         if (len == 0) return "";
[codex:1522018] 
[codex:1522018] thinking
[codex:1522018] **Continuing to review content**
[codex:1522018] exec
[codex:1522018] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-j7vhb8bd succeeded in 7ms:
[codex:1522018]     event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
[codex:1522018] 
[codex:1522018]     /**
[codex:1522018]      * @dev Initializes the contract setting the deployer as the initial owner.
[codex:1522018]      */
[codex:1522018]     constructor() {
[codex:1522018]         _transferOwnership(_msgSender());
[codex:1522018]     }
[codex:1522018] 
[codex:1522018]     /**
[codex:1522018]      * @dev Throws if called by any account other than the owner.
[codex:1522018]      */
[codex:1522018]     modifier onlyOwner() {
[codex:1522018]         _checkOwner();
[codex:1522018]         _;
[codex:1522018]     }
[codex:1522018] 
[codex:1522018]     /**
[codex:1522018]      * @dev Returns the address of the current owner.
[codex:1522018]      */
[codex:1522018] 
[codex:1522018] thinking
[codex:1522018] **Navigating to contract file**
[codex:1522018] exec
[codex:1522018] /bin/bash -lc 'rg -n "contract" AUDIT_BUNDLE.txt' in /tmp/codex-multi-j7vhb8bd succeeded in 16ms:
[codex:1522018] 4:FILE: contracts/Contract.sol
[codex:1522018] 72:// File: @openzeppelin/contracts/utils/Strings.sol
[codex:1522018] 150:// File: @openzeppelin/contracts/utils/Context.sol
[codex:1522018] 165: * This contract is only required for intermediate, library-like contracts.
[codex:1522018] 167:abstract contract Context {
[codex:1522018] 177:// File: @openzeppelin/contracts/access/Ownable.sol
[codex:1522018] 190: * By default, the owner account will be the one that deploys the contract. This
[codex:1522018] 197:abstract contract Ownable is Context {
[codex:1522018] 203:     * @dev Initializes the contract setting the deployer as the initial owner.
[codex:1522018] 232:     * @dev Leaves the contract without owner. It will not be possible to call
[codex:1522018] 235:     * NOTE: Renouncing ownership will leave the contract without an owner,
[codex:1522018] 243:     * @dev Transfers ownership of the contract to a new account (`newOwner`).
[codex:1522018] 252:     * @dev Transfers ownership of the contract to a new account (`newOwner`).
[codex:1522018] 279:abstract contract ReentrancyGuard {
[codex:1522018] 283:    // back. This is the compiler's defense against contract upgrades and
[codex:1522018] 301:     * @dev Prevents a contract from calling itself, directly or indirectly.
[codex:1522018] 324:// File: @openzeppelin/contracts/utils/Address.sol
[codex:1522018] 336:     * @dev Returns true if `account` is a contract.
[codex:1522018] 341:     * false is an externally-owned account (EOA) and not a contract.
[codex:1522018] 347:     *  - a contract in construction
[codex:1522018] 
[codex:1522018] thinking
[codex:1522018] **Continuing contract inspection from block 1510**
[codex:1522018] exec
[codex:1522018] /bin/bash -lc "sed -n '1480,1700p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-j7vhb8bd succeeded in 6ms:
[codex:1522018]      *
[codex:1522018]      * - The contract must not be paused.
[codex:1522018]      */
[codex:1522018]     function _pause() internal virtual whenNotPaused {
[codex:1522018]         _paused = true;
[codex:1522018]         emit Paused(_msgSender());
[codex:1522018]     }
[codex:1522018] 
[codex:1522018]     /**
[codex:1522018]      * @dev Returns to normal state.
[codex:1522018]      *
[codex:1522018]      * Requirements:
[codex:1522018]      *
[codex:1522018]      * - The contract must be paused.
[codex:1522018]      */
[codex:1522018]     function _unpause() internal virtual whenPaused {
[codex:1522018]         _paused = false;
[codex:1522018]         emit Unpaused(_msgSender());
[codex:1522018]     }
[codex:1522018] }
[codex:1522018] 
[codex:1522018] thinking
[codex:1522018] **Reviewing NFT contract for vulnerabilities**
[codex:1522018] 
[codex:1522018] I explored the NFT contract for any exploitable code paths, especially around minting and reentrancy risks. The mint function has a nonReentrant guard and checks msg.value against price, so no reentrancy profit is feasible. The supply cap logic isn’t enforced but the token ID range limits total mints to 999. Withdraw is onlyOwner and there's no refund logic to abuse. Overall, no concrete exploit or profit path surfaced, so I’ll produce a JSON report stating no findings alongside a brief summary.
[codex:1522018] codex
[codex:1522018] {"no_findings":true,"summary":"No concrete, exploitable profit path found in AUDIT_BUNDLE.txt; only standard ERC721 minting/owner-withdraw flows. Residual risk: not assessed against any off-chain components or deployment-specific configuration.","findings":[]}
[codex:1522018] tokens used
[codex:1522018] 18,819
[codex:1522018] {"no_findings":true,"summary":"No concrete, exploitable profit path found in AUDIT_BUNDLE.txt; only standard ERC721 minting/owner-withdraw flows. Residual risk: not assessed against any off-chain components or deployment-specific configuration.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T03:40:41.503556+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in AUDIT_BUNDLE.txt; only standard ERC721 minting/owner-withdraw flows. Residual risk: not assessed against any off-chain components or deployment-specific configuration.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in AUDIT_BUNDLE.txt; only standard ERC721 minting/owner-withdraw flows. Residual risk: not assessed against any off-chain components or deployment-specific configuration.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0166
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa035b1fe
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb88d4fde
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb88d4fde
0000003a: EQ
0000003b: PUSH2 0x03f4
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xc87b56dd
00000045: EQ
00000046: PUSH2 0x0414
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x0434
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x047d
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa035b1fe
0000006b: EQ
0000006c: PUSH2 0x03ab
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa0712d68
00000076: EQ
00000077: PUSH2 0x03c1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa22cb465
00000081: EQ
00000082: PUSH2 0x03d4
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x6352211e
00000091: EQ
00000092: PUSH2 0x0308
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x70a08231
0000009c: EQ
0000009d: PUSH2 0x0328
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x715018a6
000000a7: EQ
000000a8: PUSH2 0x0348
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8da5cb5b
000000b2: EQ
000000b3: PUSH2 0x035d
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8f770ad0
000000bd: EQ
000000be: PUSH2 0x0380
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x0396
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x23b872dd
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x23b872dd
000000e3: EQ
000000e4: PUSH2 0x025b
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x2f745c59
000000ee: EQ
000000ef: PUSH2 0x027b
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x3ccfd60b
000000f9: EQ
000000fa: PUSH2 0x029b
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x42842e0e
00000104: EQ
00000105: PUSH2 0x02b0
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x4f6ccce7
0000010f: EQ
00000110: PUSH2 0x02d0
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x5c975abb
0000011a: EQ
0000011b: PUSH2 0x02f0
0000011e: JUMPI
0000011f: PUSH1 0x00
00000121: DUP1
00000122: REVERT
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x01ffc9a7
0000012a: EQ
0000012b: PUSH2 0x016b
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x02329a29
00000135: EQ
00000136: PUSH2 0x01a0
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x06fdde03
00000140: EQ
00000141: PUSH2 0x01c2
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x081812fc
0000014b: EQ
0000014c: PUSH2 0x01e4
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x095ea7b3
00000156: EQ
00000157: PUSH2 0x021c
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x18160ddd
00000161: EQ
00000162: PUSH2 0x023c
00000165: JUMPI
00000166: JUMPDEST
00000167: PUSH1 0x00
00000169: DUP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x018b
0000017c: PUSH2 0x0186
0000017f: CALLDATASIZE
00000180: PUSH1 0x04
00000182: PUSH2 0x19a2
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH2 0x049d
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: SWAP1
00000190: ISZERO
00000191: ISZERO
00000192: DUP2
00000193: MSTORE
00000194: PUSH1 0x20
00000196: ADD
00000197: JUMPDEST
00000198: PUSH1 0x40
0000019a: MLOAD
0000019b: DUP1
0000019c: SWAP2
0000019d: SUB
0000019e: SWAP1
0000019f: RETURN
000001a0: JUMPDEST
000001a1: CALLVALUE
000001a2: DUP1
000001a3: ISZERO
000001a4: PUSH2 0x01ac
000001a7: JUMPI
000001a8: PUSH1 0x00
000001aa: DUP1
000001ab: REVERT
000001ac: JUMPDEST
000001ad: POP
000001ae: PUSH2 0x01c0
000001b1: PUSH2 0x01bb
000001b4: CALLDATASIZE
000001b5: PUSH1 0x04
000001b7: PUSH2 0x19db
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH2 0x04c8
000001bf: JUMP
000001c0: JUMPDEST
000001c1: STOP
000001c2: JUMPDEST
000001c3: CALLVALUE
000001c4: DUP1
000001c5: ISZERO
000001c6: PUSH2 0x01ce
000001c9: JUMPI
000001ca: PUSH1 0x00
000001cc: DUP1
000001cd: REVERT
000001ce: JUMPDEST
000001cf: POP
000001d0: PUSH2 0x01d7
000001d3: PUSH2 0x04ed
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: PUSH2 0x0197
000001de: SWAP2
000001df: SWAP1
000001e0: PUSH2 0x1a46
000001e3: JUMP
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01f0
000001eb: JUMPI
000001ec: PUSH1 0x00
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x0204
000001f5: PUSH2 0x01ff
000001f8: CALLDATASIZE
000001f9: PUSH1 0x04
000001fb: PUSH2 0x1a59
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH2 0x057f
00000203: JUMP
00000204: JUMPDEST
00000205: PUSH1 0x40
00000207: MLOAD
00000208: PUSH1 0x01
0000020a: PUSH1 0x01
0000020c: PUSH1 0xa0
0000020e: SHL
0000020f: SUB
00000210: SWAP1
00000211: SWAP2
00000212: AND
00000213: DUP2
00000214: MSTORE
00000215: PUSH1 0x20
00000217: ADD
00000218: PUSH2 0x0197
0000021b: JUMP
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x01c0
0000022d: PUSH2 0x0237
00000230: CALLDATASIZE
00000231: PUSH1 0x04
00000233: PUSH2 0x1a89
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH2 0x05a6
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: POP
0000024a: PUSH1 0x08
0000024c: SLOAD
0000024d: JUMPDEST
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: SWAP1
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x20
00000256: ADD
00000257: PUSH2 0x0197
0000025a: JUMP
0000025b: JUMPDEST
0000025c: CALLVALUE
0000025d: DUP1
0000025e: ISZERO
0000025f: PUSH2 0x0267
00000262: JUMPI
00000263: PUSH1 0x00
00000265: DUP1
00000266: REVERT
00000267: JUMPDEST
00000268: POP
00000269: PUSH2 0x01c0
0000026c: PUSH2 0x0276
0000026f: CALLDATASIZE
00000270: PUSH1 0x04
00000272: PUSH2 0x1ab3
00000275: JUMP
00000276: JUMPDEST
00000277: PUSH2 0x06c0
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x024d
0000028c: PUSH2 0x0296
0000028f: CALLDATASIZE
00000290: PUSH1 0x04
00000292: PUSH2 0x1a89
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x06f1
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH2 0x01c0
000002ac: PUSH2 0x0787
000002af: JUMP
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: DUP1
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: PUSH2 0x01c0
000002c1: PUSH2 0x02cb
000002c4: CALLDATASIZE
000002c5: PUSH1 0x04
000002c7: PUSH2 0x1ab3
000002ca: JUMP
000002cb: JUMPDEST
000002cc: PUSH2 0x07bb
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x024d
000002e1: PUSH2 0x02eb
000002e4: CALLDATASIZE
000002e5: PUSH1 0x04
000002e7: PUSH2 0x1a59
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x07d6
000002ef: JUMP
000002f0: JUMPDEST
000002f1: CALLVALUE
000002f2: DUP1
000002f3: ISZERO
000002f4: PUSH2 0x02fc
000002f7: JUMPI
000002f8: PUSH1 0x00
000002fa: DUP1
000002fb: REVERT
000002fc: JUMPDEST
000002fd: POP
000002fe: PUSH1 0x0b
00000300: SLOAD
00000301: PUSH1 0xff
00000303: AND
00000304: PUSH2 0x018b
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x0204
00000319: PUSH2 0x0323
0000031c: CALLDATASIZE
0000031d: PUSH1 0x04
0000031f: PUSH2 0x1a59
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x0869
00000327: JUMP
00000328: JUMPDEST
00000329: CALLVALUE
0000032a: DUP1
0000032b: ISZERO
0000032c: PUSH2 0x0334
0000032f: JUMPI
00000330: PUSH1 0x00
00000332: DUP1
00000333: REVERT
00000334: JUMPDEST
00000335: POP
00000336: PUSH2 0x024d
00000339: PUSH2 0x0343
0000033c: CALLDATASIZE
0000033d: PUSH1 0x04
0000033f: PUSH2 0x1aef
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x08c9
00000347: JUMP
00000348: JUMPDEST
00000349: CALLVALUE
0000034a: DUP1
0000034b: ISZERO
0000034c: PUSH2 0x0354
0000034f: JUMPI
00000350: PUSH1 0x00
00000352: DUP1
00000353: REVERT
00000354: JUMPDEST
00000355: POP
00000356: PUSH2 0x01c0
00000359: PUSH2 0x094f
0000035c: JUMP
0000035d: JUMPDEST
0000035e: CALLVALUE
0000035f: DUP1
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: POP
0000036b: PUSH1 0x0b
0000036d: SLOAD
0000036e: PUSH2 0x0100
00000371: SWAP1
00000372: DIV
00000373: PUSH1 0x01
00000375: PUSH1 0x01
00000377: PUSH1 0xa0
00000379: SHL
0000037a: SUB
0000037b: AND
0000037c: PUSH2 0x0204
0000037f: JUMP
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x024d
00000391: PUSH2 0x03e7
00000394: DUP2
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x01d7
000003a7: PUSH2 0x0963
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: POP
000003b9: PUSH2 0x024d
000003bc: PUSH1 0x0c
000003be: SLOAD
000003bf: DUP2
000003c0: JUMP
000003c1: JUMPDEST
000003c2: PUSH2 0x01c0
000003c5: PUSH2 0x03cf
000003c8: CALLDATASIZE
000003c9: PUSH1 0x04
000003cb: PUSH2 0x1a59
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH2 0x0972
000003d3: JUMP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x01c0
000003e5: PUSH2 0x03ef
000003e8: CALLDATASIZE
000003e9: PUSH1 0x04
000003eb: PUSH2 0x1b0a
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH2 0x0ac3
000003f3: JUMP
000003f4: JUMPDEST
000003f5: CALLVALUE
000003f6: DUP1
000003f7: ISZERO
000003f8: PUSH2 0x0400
000003fb: JUMPI
000003fc: PUSH1 0x00
000003fe: DUP1
000003ff: REVERT
00000400: JUMPDEST
00000401: POP
00000402: PUSH2 0x01c0
00000405: PUSH2 0x040f
00000408: CALLDATASIZE
00000409: PUSH1 0x04
0000040b: PUSH2 0x1b53
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH2 0x0ad2
00000413: JUMP
00000414: JUMPDEST
00000415: CALLVALUE
00000416: DUP1
00000417: ISZERO
00000418: PUSH2 0x0420
0000041b: JUMPI
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: POP
00000422: PUSH2 0x01d7
00000425: PUSH2 0x042f
00000428: CALLDATASIZE
00000429: PUSH1 0x04
0000042b: PUSH2 0x1a59
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH2 0x0b0a
00000433: JUMP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x018b
00000445: PUSH2 0x044f
00000448: CALLDATASIZE
00000449: PUSH1 0x04
0000044b: PUSH2 0x1c2f
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH1 0x01
00000452: PUSH1 0x01
00000454: PUSH1 0xa0
00000456: SHL
00000457: SUB
00000458: SWAP2
00000459: DUP3
0000045a: AND
0000045b: PUSH1 0x00
0000045d: SWAP1
0000045e: DUP2
0000045f: MSTORE
00000460: PUSH1 0x05
00000462: PUSH1 0x20
00000464: SWAP1
00000465: DUP2
00000466: MSTORE
00000467: PUSH1 0x40
00000469: DUP1
0000046a: DUP4
0000046b: KECCAK256
0000046c: SWAP4
0000046d: SWAP1
0000046e: SWAP5
0000046f: AND
00000470: DUP3
00000471: MSTORE
00000472: SWAP2
00000473: SWAP1
00000474: SWAP2
00000475: MSTORE
00000476: KECCAK256
00000477: SLOAD
00000478: PUSH1 0xff
0000047a: AND
0000047b: SWAP1
0000047c: JUMP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x01c0
0000048e: PUSH2 0x0498
00000491: CALLDATASIZE
00000492: PUSH1 0x04
00000494: PUSH2 0x1aef
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH2 0x0bb7
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x00
000004a0: PUSH1 0x01
000004a2: PUSH1 0x01
000004a4: PUSH1 0xe0
000004a6: SHL
000004a7: SUB
000004a8: NOT
000004a9: DUP3
000004aa: AND
000004ab: PUSH4 0x780e9d63
000004b0: PUSH1 0xe0
000004b2: SHL
000004b3: EQ
000004b4: DUP1
000004b5: PUSH2 0x04c2
000004b8: JUMPI
000004b9: POP
000004ba: PUSH2 0x04c2
000004bd: DUP3
000004be: PUSH2 0x0c2d
000004c1: JUMP
000004c2: JUMPDEST
000004c3: SWAP3
000004c4: SWAP2
000004c5: POP
000004c6: POP
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x04d0
000004cc: PUSH2 0x0c7d
000004cf: JUMP
000004d0: JUMPDEST
000004d1: DUP1
000004d2: ISZERO
000004d3: ISZERO
000004d4: PUSH1 0x01
000004d6: SUB
000004d7: PUSH2 0x04e5
000004da: JUMPI
000004db: PUSH2 0x04e2
000004de: PUSH2 0x0cdd
000004e1: JUMP
000004e2: JUMPDEST
000004e3: POP
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH2 0x04e2
000004e9: PUSH2 0x0d75
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x60
000004f0: PUSH1 0x00
000004f2: DUP1
000004f3: SLOAD
000004f4: PUSH2 0x04fc
000004f7: SWAP1
000004f8: PUSH2 0x1c59
000004fb: JUMP
000004fc: JUMPDEST
000004fd: DUP1
000004fe: PUSH1 0x1f
00000500: ADD
00000501: PUSH1 0x20
00000503: DUP1
00000504: SWAP2
00000505: DIV
00000506: MUL
00000507: PUSH1 0x20
00000509: ADD
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: SWAP1
0000050e: DUP2
0000050f: ADD
00000510: PUSH1 0x40
00000512: MSTORE
00000513: DUP1
00000514: SWAP3
00000515: SWAP2
00000516: SWAP1
00000517: DUP2
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: DUP3
0000051e: DUP1
0000051f: SLOAD
00000520: PUSH2 0x0528
00000523: SWAP1
00000524: PUSH2 0x1c59
00000527: JUMP
00000528: JUMPDEST
00000529: DUP1
0000052a: ISZERO
0000052b: PUSH2 0x0575
0000052e: JUMPI
0000052f: DUP1
00000530: PUSH1 0x1f
00000532: LT
00000533: PUSH2 0x054a
00000536: JUMPI
00000537: PUSH2 0x0100
0000053a: DUP1
0000053b: DUP4
0000053c: SLOAD
0000053d: DIV
0000053e: MUL
0000053f: DUP4
00000540: MSTORE
00000541: SWAP2
00000542: PUSH1 0x20
00000544: ADD
00000545: SWAP2
00000546: PUSH2 0x0575
00000549: JUMP
0000054a: JUMPDEST
0000054b: DUP3
0000054c: ADD
0000054d: SWAP2
0000054e: SWAP1
0000054f: PUSH1 0x00
00000551: MSTORE
00000552: PUSH1 0x20
00000554: PUSH1 0x00
00000556: KECCAK256
00000557: SWAP1
00000558: JUMPDEST
00000559: DUP2
0000055a: SLOAD
0000055b: DUP2
0000055c: MSTORE
0000055d: SWAP1
0000055e: PUSH1 0x01
00000560: ADD
00000561: SWAP1
00000562: PUSH1 0x20
00000564: ADD
00000565: DUP1
00000566: DUP4
00000567: GT
00000568: PUSH2 0x0558
0000056b: JUMPI
0000056c: DUP3
0000056d: SWAP1
0000056e: SUB
0000056f: PUSH1 0x1f
00000571: AND
00000572: DUP3
00000573: ADD
00000574: SWAP2
00000575: JUMPDEST
00000576: POP
00000577: POP
00000578: POP
00000579: POP
0000057a: POP
0000057b: SWAP1
0000057c: POP
0000057d: SWAP1
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0x00
00000582: PUSH2 0x058a
00000585: DUP3
00000586: PUSH2 0x0def
00000589: JUMP
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH1 0x00
0000058e: SWAP1
0000058f: DUP2
00000590: MSTORE
00000591: PUSH1 0x04
00000593: PUSH1 0x20
00000595: MSTORE
00000596: PUSH1 0x40
00000598: SWAP1
00000599: KECCAK256
0000059a: SLOAD
0000059b: PUSH1 0x01
0000059d: PUSH1 0x01
0000059f: PUSH1 0xa0
000005a1: SHL
000005a2: SUB
000005a3: AND
000005a4: SWAP1
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x00
000005a9: PUSH2 0x05b1
000005ac: DUP3
000005ad: PUSH2 0x0869
000005b0: JUMP
000005b1: JUMPDEST
000005b2: SWAP1
000005b3: POP
000005b4: DUP1
000005b5: PUSH1 0x01
000005b7: PUSH1 0x01
000005b9: PUSH1 0xa0
000005bb: SHL
000005bc: SUB
000005bd: AND
000005be: DUP4
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: AND
000005c8: SUB
000005c9: PUSH2 0x0623
000005cc: JUMPI
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: PUSH3 0x461bcd
000005d4: PUSH1 0xe5
000005d6: SHL
000005d7: DUP2
000005d8: MSTORE
000005d9: PUSH1 0x20
000005db: PUSH1 0x04
000005dd: DUP3
000005de: ADD
000005df: MSTORE
000005e0: PUSH1 0x21
000005e2: PUSH1 0x24
000005e4: DUP3
000005e5: ADD
000005e6: MSTORE
000005e7: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00000608: PUSH1 0x44
0000060a: DUP3
0000060b: ADD
0000060c: MSTORE
0000060d: PUSH1 0x39
0000060f: PUSH1 0xf9
00000611: SHL
00000612: PUSH1 0x64
00000614: DUP3
00000615: ADD
00000616: MSTORE
00000617: PUSH1 0x84
00000619: ADD
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: SWAP2
00000620: SUB
00000621: SWAP1
00000622: REVERT
00000623: JUMPDEST
00000624: CALLER
00000625: PUSH1 0x01
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: SHL
0000062c: SUB
0000062d: DUP3
0000062e: AND
0000062f: EQ
00000630: DUP1
00000631: PUSH2 0x063f
00000634: JUMPI
00000635: POP
00000636: PUSH2 0x063f
00000639: DUP2
0000063a: CALLER
0000063b: PUSH2 0x044f
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH2 0x06b1
00000643: JUMPI
00000644: PUSH1 0x40
00000646: MLOAD
00000647: PUSH3 0x461bcd
0000064b: PUSH1 0xe5
0000064d: SHL
0000064e: DUP2
0000064f: MSTORE
00000650: PUSH1 0x20
00000652: PUSH1 0x04
00000654: DUP3
00000655: ADD
00000656: MSTORE
00000657: PUSH1 0x3e
00000659: PUSH1 0x24
0000065b: DUP3
0000065c: ADD
0000065d: MSTORE
0000065e: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f
0000067f: PUSH1 0x44
00000681: DUP3
00000682: ADD
00000683: MSTORE
00000684: PUSH32 0x6b656e206f776e6572206e6f7220617070726f76656420666f7220616c6c0000
000006a5: PUSH1 0x64
000006a7: DUP3
000006a8: ADD
000006a9: MSTORE
000006aa: PUSH1 0x84
000006ac: ADD
000006ad: PUSH2 0x061a
000006b0: JUMP
000006b1: JUMPDEST
000006b2: PUSH2 0x06bb
000006b5: DUP4
000006b6: DUP4
000006b7: PUSH2 0x0e4e
000006ba: JUMP
000006bb: JUMPDEST
000006bc: POP
000006bd: POP
000006be: POP
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH2 0x06ca
000006c4: CALLER
000006c5: DUP3
000006c6: PUSH2 0x0ebc
000006c9: JUMP
000006ca: JUMPDEST
000006cb: PUSH2 0x06e6
000006ce: JUMPI
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: PUSH3 0x461bcd
000006d6: PUSH1 0xe5
000006d8: SHL
000006d9: DUP2
000006da: MSTORE
000006db: PUSH1 0x04
000006dd: ADD
000006de: PUSH2 0x061a
000006e1: SWAP1
000006e2: PUSH2 0x1c93
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH2 0x06bb
000006ea: DUP4
000006eb: DUP4
000006ec: DUP4
000006ed: PUSH2 0x0f3b
000006f0: JUMP
000006f1: JUMPDEST
000006f2: PUSH1 0x00
000006f4: PUSH2 0x06fc
000006f7: DUP4
000006f8: PUSH2 0x08c9
000006fb: JUMP
000006fc: JUMPDEST
000006fd: DUP3
000006fe: LT
000006ff: PUSH2 0x075e
00000702: JUMPI
00000703: PUSH1 0x40
00000705: MLOAD
00000706: PUSH3 0x461bcd
0000070a: PUSH1 0xe5
0000070c: SHL
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: PUSH1 0x04
00000713: DUP3
00000714: ADD
00000715: MSTORE
00000716: PUSH1 0x2b
00000718: PUSH1 0x24
0000071a: DUP3
0000071b: ADD
0000071c: MSTORE
0000071d: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
0000073e: PUSH1 0x44
00000740: DUP3
00000741: ADD
00000742: MSTORE
00000743: PUSH11 0x74206f6620626f756e6473
0000074f: PUSH1 0xa8
00000751: SHL
00000752: PUSH1 0x64
00000754: DUP3
00000755: ADD
00000756: MSTORE
00000757: PUSH1 0x84
00000759: ADD
0000075a: PUSH2 0x061a
0000075d: JUMP
0000075e: JUMPDEST
0000075f: POP
00000760: PUSH1 0x01
00000762: PUSH1 0x01
00000764: PUSH1 0xa0
00000766: SHL
00000767: SUB
00000768: SWAP2
00000769: SWAP1
0000076a: SWAP2
0000076b: AND
0000076c: PUSH1 0x00
0000076e: SWAP1
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x06
00000773: PUSH1 0x20
00000775: SWAP1
00000776: DUP2
00000777: MSTORE
00000778: PUSH1 0x40
0000077a: DUP1
0000077b: DUP4
0000077c: KECCAK256
0000077d: SWAP4
0000077e: DUP4
0000077f: MSTORE
00000780: SWAP3
00000781: SWAP1
00000782: MSTORE
00000783: KECCAK256
00000784: SLOAD
00000785: SWAP1
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH2 0x078f
0000078b: PUSH2 0x0c7d
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x40
00000792: MLOAD
00000793: CALLER
00000794: SWAP1
00000795: SELFBALANCE
00000796: DUP1
00000797: ISZERO
00000798: PUSH2 0x08fc
0000079b: MUL
0000079c: SWAP2
0000079d: PUSH1 0x00
0000079f: DUP2
000007a0: DUP2
000007a1: DUP2
000007a2: DUP6
000007a3: DUP9
000007a4: DUP9
000007a5: CALL
000007a6: SWAP4
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: POP
000007ab: ISZERO
000007ac: DUP1
000007ad: ISZERO
000007ae: PUSH2 0x04e2
000007b1: JUMPI
000007b2: RETURNDATASIZE
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: RETURNDATACOPY
000007b7: RETURNDATASIZE
000007b8: PUSH1 0x00
000007ba: REVERT
000007bb: JUMPDEST
000007bc: PUSH2 0x06bb
000007bf: DUP4
000007c0: DUP4
000007c1: DUP4
000007c2: PUSH1 0x40
000007c4: MLOAD
000007c5: DUP1
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: PUSH1 0x40
000007cb: MSTORE
000007cc: DUP1
000007cd: PUSH1 0x00
000007cf: DUP2
000007d0: MSTORE
000007d1: POP
000007d2: PUSH2 0x0ad2
000007d5: JUMP
000007d6: JUMPDEST
000007d7: PUSH1 0x00
000007d9: PUSH2 0x07e1
000007dc: PUSH1 0x08
000007de: SLOAD
000007df: SWAP1
000007e0: JUMP
000007e1: JUMPDEST
000007e2: DUP3
000007e3: LT
000007e4: PUSH2 0x0844
000007e7: JUMPI
000007e8: PUSH1 0x40
000007ea: MLOAD
000007eb: PUSH3 0x461bcd
000007ef: PUSH1 0xe5
000007f1: SHL
000007f2: DUP2
000007f3: MSTORE
000007f4: PUSH1 0x20
000007f6: PUSH1 0x04
000007f8: DUP3
000007f9: ADD
000007fa: MSTORE
000007fb: PUSH1 0x2c
000007fd: PUSH1 0x24
000007ff: DUP3
00000800: ADD
00000801: MSTORE
00000802: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000823: PUSH1 0x44
00000825: DUP3
00000826: ADD
00000827: MSTORE
00000828: PUSH12 0x7574206f6620626f756e6473
00000835: PUSH1 0xa0
00000837: SHL
00000838: PUSH1 0x64
0000083a: DUP3
0000083b: ADD
0000083c: MSTORE
0000083d: PUSH1 0x84
0000083f: ADD
00000840: PUSH2 0x061a
00000843: JUMP
00000844: JUMPDEST
00000845: PUSH1 0x08
00000847: DUP3
00000848: DUP2
00000849: SLOAD
0000084a: DUP2
0000084b: LT
0000084c: PUSH2 0x0857
0000084f: JUMPI
00000850: PUSH2 0x0857
00000853: PUSH2 0x1ce1
00000856: JUMP
00000857: JUMPDEST
00000858: SWAP1
00000859: PUSH1 0x00
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: PUSH1 0x00
00000860: KECCAK256
00000861: ADD
00000862: SLOAD
00000863: SWAP1
00000864: POP
00000865: SWAP2
00000866: SWAP1
00000867: POP
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH1 0x00
0000086c: DUP2
0000086d: DUP2
0000086e: MSTORE
0000086f: PUSH1 0x02
00000871: PUSH1 0x20
00000873: MSTORE
00000874: PUSH1 0x40
00000876: DUP2
00000877: KECCAK256
00000878: SLOAD
00000879: PUSH1 0x01
0000087b: PUSH1 0x01
0000087d: PUSH1 0xa0
0000087f: SHL
00000880: SUB
00000881: AND
00000882: DUP1
00000883: PUSH2 0x04c2
00000886: JUMPI
00000887: PUSH1 0x40
00000889: MLOAD
0000088a: PUSH3 0x461bcd
0000088e: PUSH1 0xe5
00000890: SHL
00000891: DUP2
00000892: MSTORE
00000893: PUSH1 0x20
00000895: PUSH1 0x04
00000897: DUP3
00000898: ADD
00000899: MSTORE
0000089a: PUSH1 0x18
0000089c: PUSH1 0x24
0000089e: DUP3
0000089f: ADD
000008a0: MSTORE
000008a1: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251
000008ba: PUSH1 0x42
000008bc: SHL
000008bd: PUSH1 0x44
000008bf: DUP3
000008c0: ADD
000008c1: MSTORE
000008c2: PUSH1 0x64
000008c4: ADD
000008c5: PUSH2 0x061a
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x00
000008cc: PUSH1 0x01
000008ce: PUSH1 0x01
000008d0: PUSH1 0xa0
000008d2: SHL
000008d3: SUB
000008d4: DUP3
000008d5: AND
000008d6: PUSH2 0x0933
000008d9: JUMPI
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: PUSH3 0x461bcd
000008e1: PUSH1 0xe5
000008e3: SHL
000008e4: DUP2
000008e5: MSTORE
000008e6: PUSH1 0x20
000008e8: PUSH1 0x04
000008ea: DUP3
000008eb: ADD
000008ec: MSTORE
000008ed: PUSH1 0x29
000008ef: PUSH1 0x24
000008f1: DUP3
000008f2: ADD
000008f3: MSTORE
000008f4: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661
00000915: PUSH1 0x44
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: PUSH9 0x3634b21037bbb732b9
00000924: PUSH1 0xb9
00000926: SHL
00000927: PUSH1 0x64
00000929: DUP3
0000092a: ADD
0000092b: MSTORE
0000092c: PUSH1 0x84
0000092e: ADD
0000092f: PUSH2 0x061a
00000932: JUMP
00000933: JUMPDEST
00000934: POP
00000935: PUSH1 0x01
00000937: PUSH1 0x01
00000939: PUSH1 0xa0
0000093b: SHL
0000093c: SUB
0000093d: AND
0000093e: PUSH1 0x00
00000940: SWAP1
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x03
00000945: PUSH1 0x20
00000947: MSTORE
00000948: PUSH1 0x40
0000094a: SWAP1
0000094b: KECCAK256
0000094c: SLOAD
0000094d: SWAP1
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH2 0x0957
00000953: PUSH2 0x0c7d
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH2 0x0961
0000095b: PUSH1 0x00
0000095d: PUSH2 0x10e2
00000960: JUMP
00000961: JUMPDEST
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x60
00000966: PUSH1 0x01
00000968: DUP1
00000969: SLOAD
0000096a: PUSH2 0x04fc
0000096d: SWAP1
0000096e: PUSH2 0x1c59
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x02
00000975: PUSH1 0x0a
00000977: SLOAD
00000978: SUB
00000979: PUSH2 0x09c4
0000097c: JUMPI
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: PUSH3 0x461bcd
00000984: PUSH1 0xe5
00000986: SHL
00000987: DUP2
00000988: MSTORE
00000989: PUSH1 0x20
0000098b: PUSH1 0x04
0000098d: DUP3
0000098e: ADD
0000098f: MSTORE
00000990: PUSH1 0x1f
00000992: PUSH1 0x24
00000994: DUP3
00000995: ADD
00000996: MSTORE
00000997: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000009b8: PUSH1 0x44
000009ba: DUP3
000009bb: ADD
000009bc: MSTORE
000009bd: PUSH1 0x64
000009bf: ADD
000009c0: PUSH2 0x061a
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH1 0x02
000009c7: PUSH1 0x0a
000009c9: SSTORE
000009ca: DUP1
000009cb: ISZERO
000009cc: DUP1
000009cd: ISZERO
000009ce: SWAP1
000009cf: PUSH2 0x09da
000009d2: JUMPI
000009d3: POP
000009d4: PUSH2 0x03e7
000009d7: DUP2
000009d8: GT
000009d9: ISZERO
000009da: JUMPDEST
000009db: PUSH2 0x0a19
000009de: JUMPI
000009df: PUSH1 0x40
000009e1: MLOAD
000009e2: PUSH3 0x461bcd
000009e6: PUSH1 0xe5
000009e8: SHL
000009e9: DUP2
000009ea: MSTORE
000009eb: PUSH1 0x20
000009ed: PUSH1 0x04
000009ef: DUP3
000009f0: ADD
000009f1: MSTORE
000009f2: PUSH1 0x10
000009f4: PUSH1 0x24
000009f6: DUP3
000009f7: ADD
000009f8: MSTORE
000009f9: PUSH16 0x151bdad95b881251081a5b9d985b1a59
00000a0a: PUSH1 0x82
00000a0c: SHL
00000a0d: PUSH1 0x44
00000a0f: DUP3
00000a10: ADD
00000a11: MSTORE
00000a12: PUSH1 0x64
00000a14: ADD
00000a15: PUSH2 0x061a
00000a18: JUMP
00000a19: JUMPDEST
00000a1a: CALLVALUE
00000a1b: PUSH1 0x0c
00000a1d: SLOAD
00000a1e: GT
00000a1f: ISZERO
00000a20: PUSH2 0x0a6b
00000a23: JUMPI
00000a24: PUSH1 0x40
00000a26: MLOAD
00000a27: PUSH3 0x461bcd
00000a2b: PUSH1 0xe5
00000a2d: SHL
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x20
00000a32: PUSH1 0x04
00000a34: DUP3
00000a35: ADD
00000a36: MSTORE
00000a37: PUSH1 0x1f
00000a39: PUSH1 0x24
00000a3b: DUP3
00000a3c: ADD
00000a3d: MSTORE
00000a3e: PUSH32 0x45746865722076616c75652073656e74206973206e6f7420636f727265637400
00000a5f: PUSH1 0x44
00000a61: DUP3
00000a62: ADD
00000a63: MSTORE
00000a64: PUSH1 0x64
00000a66: ADD
00000a67: PUSH2 0x061a
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x0b
00000a6e: SLOAD
00000a6f: PUSH1 0xff
00000a71: AND
00000a72: ISZERO
00000a73: PUSH2 0x0ab1
00000a76: JUMPI
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: PUSH3 0x461bcd
00000a7e: PUSH1 0xe5
00000a80: SHL
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: PUSH1 0x04
00000a87: DUP3
00000a88: ADD
00000a89: MSTORE
00000a8a: PUSH1 0x10
00000a8c: PUSH1 0x24
00000a8e: DUP3
00000a8f: ADD
00000a90: MSTORE
00000a91: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000aa2: PUSH1 0x82
00000aa4: SHL
00000aa5: PUSH1 0x44
00000aa7: DUP3
00000aa8: ADD
00000aa9: MSTORE
00000aaa: PUSH1 0x64
00000aac: ADD
00000aad: PUSH2 0x061a
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH2 0x0abb
00000ab5: CALLER
00000ab6: DUP3
00000ab7: PUSH2 0x113c
00000aba: JUMP
00000abb: JUMPDEST
00000abc: POP
00000abd: PUSH1 0x01
00000abf: PUSH1 0x0a
00000ac1: SSTORE
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: PUSH2 0x0ace
00000ac7: CALLER
00000ac8: DUP4
00000ac9: DUP4
00000aca: PUSH2 0x1156
00000acd: JUMP
00000ace: JUMPDEST
00000acf: POP
00000ad0: POP
00000ad1: JUMP
00000ad2: JUMPDEST
00000ad3: PUSH2 0x0adc
00000ad6: CALLER
00000ad7: DUP4
00000ad8: PUSH2 0x0ebc
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH2 0x0af8
00000ae0: JUMPI
00000ae1: PUSH1 0x40
00000ae3: MLOAD
00000ae4: PUSH3 0x461bcd
00000ae8: PUSH1 0xe5
00000aea: SHL
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x04
00000aef: ADD
00000af0: PUSH2 0x061a
00000af3: SWAP1
00000af4: PUSH2 0x1c93
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH2 0x0b04
00000afc: DUP5
00000afd: DUP5
00000afe: DUP5
00000aff: DUP5
00000b00: PUSH2 0x1224
00000b03: JUMP
00000b04: JUMPDEST
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: POP
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH1 0x60
00000b0d: DUP1
00000b0e: PUSH1 0x40
00000b10: MLOAD
00000b11: DUP1
00000b12: PUSH2 0x0e00
00000b15: ADD
00000b16: PUSH1 0x40
00000b18: MSTORE
00000b19: DUP1
00000b1a: PUSH2 0x0ddc
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH1 0x20
00000b21: ADD
00000b22: PUSH2 0x1fad
00000b25: PUSH2 0x0ddc
00000b28: SWAP2
00000b29: CODECOPY
00000b2a: SWAP1
00000b2b: POP
00000b2c: PUSH1 0x00
00000b2e: DUP2
00000b2f: PUSH1 0x40
00000b31: MLOAD
00000b32: PUSH1 0x20
00000b34: ADD
00000b35: PUSH2 0x0b3e
00000b38: SWAP2
00000b39: SWAP1
00000b3a: PUSH2 0x1cf7
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x40
00000b41: MLOAD
00000b42: PUSH1 0x20
00000b44: DUP2
00000b45: DUP4
00000b46: SUB
00000b47: SUB
00000b48: DUP2
00000b49: MSTORE
00000b4a: SWAP1
00000b4b: PUSH1 0x40
00000b4d: MSTORE
00000b4e: SWAP1
00000b4f: POP
00000b50: PUSH1 0x00
00000b52: PUSH2 0x0b8b
00000b55: PUSH2 0x0b5d
00000b58: DUP7
00000b59: PUSH2 0x1257
00000b5c: JUMP
00000b5d: JUMPDEST
00000b5e: PUSH2 0x0b66
00000b61: DUP5
00000b62: PUSH2 0x1358
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x40
00000b69: MLOAD
00000b6a: PUSH1 0x20
00000b6c: ADD
00000b6d: PUSH2 0x0b77
00000b70: SWAP3
00000b71: SWAP2
00000b72: SWAP1
00000b73: PUSH2 0x1d13
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x40
00000b7a: MLOAD
00000b7b: PUSH1 0x20
00000b7d: DUP2
00000b7e: DUP4
00000b7f: SUB
00000b80: SUB
00000b81: DUP2
00000b82: MSTORE
00000b83: SWAP1
00000b84: PUSH1 0x40
00000b86: MSTORE
00000b87: PUSH2 0x1358
00000b8a: JUMP
00000b8b: JUMPDEST
00000b8c: SWAP1
00000b8d: POP
00000b8e: DUP1
00000b8f: PUSH1 0x40
00000b91: MLOAD
00000b92: PUSH1 0x20
00000b94: ADD
00000b95: PUSH2 0x0b9e
00000b98: SWAP2
00000b99: SWAP1
00000b9a: PUSH2 0x1dbb
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x40
00000ba1: DUP1
00000ba2: MLOAD
00000ba3: PUSH1 0x1f
00000ba5: NOT
00000ba6: DUP2
00000ba7: DUP5
00000ba8: SUB
00000ba9: ADD
00000baa: DUP2
00000bab: MSTORE
00000bac: SWAP2
00000bad: SWAP1
00000bae: MSTORE
00000baf: SWAP6
00000bb0: SWAP5
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: JUMP
00000bb7: JUMPDEST
00000bb8: PUSH2 0x0bbf
00000bbb: PUSH2 0x0c7d
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x01
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0xa0
00000bc6: SHL
00000bc7: SUB
00000bc8: DUP2
00000bc9: AND
00000bca: PUSH2 0x0c24
00000bcd: JUMPI
00000bce: PUSH1 0x40
00000bd0: MLOAD
00000bd1: PUSH3 0x461bcd
00000bd5: PUSH1 0xe5
00000bd7: SHL
00000bd8: DUP2
00000bd9: MSTORE
00000bda: PUSH1 0x20
00000bdc: PUSH1 0x04
00000bde: DUP3
00000bdf: ADD
00000be0: MSTORE
00000be1: PUSH1 0x26
00000be3: PUSH1 0x24
00000be5: DUP3
00000be6: ADD
00000be7: MSTORE
00000be8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000c09: PUSH1 0x44
00000c0b: DUP3
00000c0c: ADD
00000c0d: MSTORE
00000c0e: PUSH6 0x646472657373
00000c15: PUSH1 0xd0
00000c17: SHL
00000c18: PUSH1 0x64
00000c1a: DUP3
00000c1b: ADD
00000c1c: MSTORE
00000c1d: PUSH1 0x84
00000c1f: ADD
00000c20: PUSH2 0x061a
00000c23: JUMP
00000c24: JUMPDEST
00000c25: PUSH2 0x04e2
00000c28: DUP2
00000c29: PUSH2 0x10e2
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: PUSH1 0x00
00000c30: PUSH1 0x01
00000c32: PUSH1 0x01
00000c34: PUSH1 0xe0
00000c36: SHL
00000c37: SUB
00000c38: NOT
00000c39: DUP3
00000c3a: AND
00000c3b: PUSH4 0x80ac58cd
00000c40: PUSH1 0xe0
00000c42: SHL
00000c43: EQ
00000c44: DUP1
00000c45: PUSH2 0x0c5e
00000c48: JUMPI
00000c49: POP
00000c4a: PUSH1 0x01
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0xe0
00000c50: SHL
00000c51: SUB
00000c52: NOT
00000c53: DUP3
00000c54: AND
00000c55: PUSH4 0x5b5e139f
00000c5a: PUSH1 0xe0
00000c5c: SHL
00000c5d: EQ
00000c5e: JUMPDEST
00000c5f: DUP1
00000c60: PUSH2 0x04c2
00000c63: JUMPI
00000c64: POP
00000c65: PUSH4 0x01ffc9a7
00000c6a: PUSH1 0xe0
00000c6c: SHL
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0x01
00000c71: PUSH1 0xe0
00000c73: SHL
00000c74: SUB
00000c75: NOT
00000c76: DUP4
00000c77: AND
00000c78: EQ
00000c79: PUSH2 0x04c2
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x0b
00000c80: SLOAD
00000c81: PUSH1 0x01
00000c83: PUSH1 0x01
00000c85: PUSH1 0xa0
00000c87: SHL
00000c88: SUB
00000c89: PUSH2 0x0100
00000c8c: SWAP1
00000c8d: SWAP2
00000c8e: DIV
00000c8f: AND
00000c90: CALLER
00000c91: EQ
00000c92: PUSH2 0x0961
00000c95: JUMPI
00000c96: PUSH1 0x40
00000c98: MLOAD
00000c99: PUSH3 0x461bcd
00000c9d: PUSH1 0xe5
00000c9f: SHL
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: PUSH1 0x04
00000ca6: DUP3
00000ca7: ADD
00000ca8: DUP2
00000ca9: SWAP1
00000caa: MSTORE
00000cab: PUSH1 0x24
00000cad: DUP3
00000cae: ADD
00000caf: MSTORE
00000cb0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000cd1: PUSH1 0x44
00000cd3: DUP3
00000cd4: ADD
00000cd5: MSTORE
00000cd6: PUSH1 0x64
00000cd8: ADD
00000cd9: PUSH2 0x061a
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x0b
00000ce0: SLOAD
00000ce1: PUSH1 0xff
00000ce3: AND
00000ce4: ISZERO
00000ce5: PUSH2 0x0d23
00000ce8: JUMPI
00000ce9: PUSH1 0x40
00000ceb: MLOAD
00000cec: PUSH3 0x461bcd
00000cf0: PUSH1 0xe5
00000cf2: SHL
00000cf3: DUP2
00000cf4: MSTORE
00000cf5: PUSH1 0x20
00000cf7: PUSH1 0x04
00000cf9: DUP3
00000cfa: ADD
00000cfb: MSTORE
00000cfc: PUSH1 0x10
00000cfe: PUSH1 0x24
00000d00: DUP3
00000d01: ADD
00000d02: MSTORE
00000d03: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000d14: PUSH1 0x82
00000d16: SHL
00000d17: PUSH1 0x44
00000d19: DUP3
00000d1a: ADD
00000d1b: MSTORE
00000d1c: PUSH1 0x64
00000d1e: ADD
00000d1f: PUSH2 0x061a
00000d22: JUMP
00000d23: JUMPDEST
00000d24: PUSH1 0x0b
00000d26: DUP1
00000d27: SLOAD
00000d28: PUSH1 0xff
00000d2a: NOT
00000d2b: AND
00000d2c: PUSH1 0x01
00000d2e: OR
00000d2f: SWAP1
00000d30: SSTORE
00000d31: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000d52: PUSH2 0x0d58
00000d55: CALLER
00000d56: SWAP1
00000d57: JUMP
00000d58: JUMPDEST
00000d59: PUSH1 0x40
00000d5b: MLOAD
00000d5c: PUSH1 0x01
00000d5e: PUSH1 0x01
00000d60: PUSH1 0xa0
00000d62: SHL
00000d63: SUB
00000d64: SWAP1
00000d65: SWAP2
00000d66: AND
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: ADD
00000d6c: PUSH1 0x40
00000d6e: MLOAD
00000d6f: DUP1
00000d70: SWAP2
00000d71: SUB
00000d72: SWAP1
00000d73: LOG1
00000d74: JUMP
00000d75: JUMPDEST
00000d76: PUSH1 0x0b
00000d78: SLOAD
00000d79: PUSH1 0xff
00000d7b: AND
00000d7c: PUSH2 0x0dbe
00000d7f: JUMPI
00000d80: PUSH1 0x40
00000d82: MLOAD
00000d83: PUSH3 0x461bcd
00000d87: PUSH1 0xe5
00000d89: SHL
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: PUSH1 0x20
00000d8e: PUSH1 0x04
00000d90: DUP3
00000d91: ADD
00000d92: MSTORE
00000d93: PUSH1 0x14
00000d95: PUSH1 0x24
00000d97: DUP3
00000d98: ADD
00000d99: MSTORE
00000d9a: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00000daf: PUSH1 0x62
00000db1: SHL
00000db2: PUSH1 0x44
00000db4: DUP3
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH1 0x64
00000db9: ADD
00000dba: PUSH2 0x061a
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: PUSH1 0x0b
00000dc1: DUP1
00000dc2: SLOAD
00000dc3: PUSH1 0xff
00000dc5: NOT
00000dc6: AND
00000dc7: SWAP1
00000dc8: SSTORE
00000dc9: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000dea: CALLER
00000deb: PUSH2 0x0d58
00000dee: JUMP
00000def: JUMPDEST
00000df0: PUSH1 0x00
00000df2: DUP2
00000df3: DUP2
00000df4: MSTORE
00000df5: PUSH1 0x02
00000df7: PUSH1 0x20
00000df9: MSTORE
00000dfa: PUSH1 0x40
00000dfc: SWAP1
00000dfd: KECCAK256
00000dfe: SLOAD
00000dff: PUSH1 0x01
00000e01: PUSH1 0x01
00000e03: PUSH1 0xa0
00000e05: SHL
00000e06: SUB
00000e07: AND
00000e08: PUSH2 0x04e2
00000e0b: JUMPI
00000e0c: PUSH1 0x40
00000e0e: MLOAD
00000e0f: PUSH3 0x461bcd
00000e13: PUSH1 0xe5
00000e15: SHL
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH1 0x20
00000e1a: PUSH1 0x04
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: PUSH1 0x18
00000e21: PUSH1 0x24
00000e23: DUP3
00000e24: ADD
00000e25: MSTORE
00000e26: PUSH24 0x115490cdcc8c4e881a5b9d985b1a59081d1bdad95b881251
00000e3f: PUSH1 0x42
00000e41: SHL
00000e42: PUSH1 0x44
00000e44: DUP3
00000e45: ADD
00000e46: MSTORE
00000e47: PUSH1 0x64
00000e49: ADD
00000e4a: PUSH2 0x061a
00000e4d: JUMP
00000e4e: JUMPDEST
00000e4f: PUSH1 0x00
00000e51: DUP2
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x04
00000e56: PUSH1 0x20
00000e58: MSTORE
00000e59: PUSH1 0x40
00000e5b: SWAP1
00000e5c: KECCAK256
00000e5d: DUP1
00000e5e: SLOAD
00000e5f: PUSH1 0x01
00000e61: PUSH1 0x01
00000e63: PUSH1 0xa0
00000e65: SHL
00000e66: SUB
00000e67: NOT
00000e68: AND
00000e69: PUSH1 0x01
00000e6b: PUSH1 0x01
00000e6d: PUSH1 0xa0
00000e6f: SHL
00000e70: SUB
00000e71: DUP5
00000e72: AND
00000e73: SWAP1
00000e74: DUP2
00000e75: OR
00000e76: SWAP1
00000e77: SWAP2
00000e78: SSTORE
00000e79: DUP2
00000e7a: SWAP1
00000e7b: PUSH2 0x0e83
00000e7e: DUP3
00000e7f: PUSH2 0x0869
00000e82: JUMP
00000e83: JUMPDEST
00000e84: PUSH1 0x01
00000e86: PUSH1 0x01
00000e88: PUSH1 0xa0
00000e8a: SHL
00000e8b: SUB
00000e8c: AND
00000e8d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: PUSH1 0x40
00000eb3: MLOAD
00000eb4: DUP1
00000eb5: SWAP2
00000eb6: SUB
00000eb7: SWAP1
00000eb8: LOG4
00000eb9: POP
00000eba: POP
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: PUSH1 0x00
00000ebf: DUP1
00000ec0: PUSH2 0x0ec8
00000ec3: DUP4
00000ec4: PUSH2 0x0869
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: SWAP1
00000eca: POP
00000ecb: DUP1
00000ecc: PUSH1 0x01
00000ece: PUSH1 0x01
00000ed0: PUSH1 0xa0
00000ed2: SHL
00000ed3: SUB
00000ed4: AND
00000ed5: DUP5
00000ed6: PUSH1 0x01
00000ed8: PUSH1 0x01
00000eda: PUSH1 0xa0
00000edc: SHL
00000edd: SUB
00000ede: AND
00000edf: EQ
00000ee0: DUP1
00000ee1: PUSH2 0x0f0f
00000ee4: JUMPI
00000ee5: POP
00000ee6: PUSH1 0x01
00000ee8: PUSH1 0x01
00000eea: PUSH1 0xa0
00000eec: SHL
00000eed: SUB
00000eee: DUP1
00000eef: DUP3
00000ef0: AND
00000ef1: PUSH1 0x00
00000ef3: SWAP1
00000ef4: DUP2
00000ef5: MSTORE
00000ef6: PUSH1 0x05
00000ef8: PUSH1 0x20
00000efa: SWAP1
00000efb: DUP2
00000efc: MSTORE
00000efd: PUSH1 0x40
00000eff: DUP1
00000f00: DUP4
00000f01: KECCAK256
00000f02: SWAP4
00000f03: DUP9
00000f04: AND
00000f05: DUP4
00000f06: MSTORE
00000f07: SWAP3
00000f08: SWAP1
00000f09: MSTORE
00000f0a: KECCAK256
00000f0b: SLOAD
00000f0c: PUSH1 0xff
00000f0e: AND
00000f0f: JUMPDEST
00000f10: DUP1
00000f11: PUSH2 0x0f33
00000f14: JUMPI
00000f15: POP
00000f16: DUP4
00000f17: PUSH1 0x01
00000f19: PUSH1 0x01
00000f1b: PUSH1 0xa0
00000f1d: SHL
00000f1e: SUB
00000f1f: AND
00000f20: PUSH2 0x0f28
00000f23: DUP5
00000f24: PUSH2 0x057f
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x01
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0xa0
00000f2f: SHL
00000f30: SUB
00000f31: AND
00000f32: EQ
00000f33: JUMPDEST
00000f34: SWAP5
00000f35: SWAP4
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: POP
00000f3a: JUMP
00000f3b: JUMPDEST
00000f3c: DUP3
00000f3d: PUSH1 0x01
00000f3f: PUSH1 0x01
00000f41: PUSH1 0xa0
00000f43: SHL
00000f44: SUB
00000f45: AND
00000f46: PUSH2 0x0f4e
00000f49: DUP3
00000f4a: PUSH2 0x0869
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH1 0x01
00000f51: PUSH1 0x01
00000f53: PUSH1 0xa0
00000f55: SHL
00000f56: SUB
00000f57: AND
00000f58: EQ
00000f59: PUSH2 0x0fb2
00000f5c: JUMPI
00000f5d: PUSH1 0x40
00000f5f: MLOAD
00000f60: PUSH3 0x461bcd
00000f64: PUSH1 0xe5
00000f66: SHL
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x20
00000f6b: PUSH1 0x04
00000f6d: DUP3
00000f6e: ADD
00000f6f: MSTORE
00000f70: PUSH1 0x25
00000f72: PUSH1 0x24
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
00000f98: PUSH1 0x44
00000f9a: DUP3
00000f9b: ADD
00000f9c: MSTORE
00000f9d: PUSH5 0x37bbb732b9
00000fa3: PUSH1 0xd9
00000fa5: SHL
00000fa6: PUSH1 0x64
00000fa8: DUP3
00000fa9: ADD
00000faa: MSTORE
00000fab: PUSH1 0x84
00000fad: ADD
00000fae: PUSH2 0x061a
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0x01
00000fb7: PUSH1 0xa0
00000fb9: SHL
00000fba: SUB
00000fbb: DUP3
00000fbc: AND
00000fbd: PUSH2 0x1014
00000fc0: JUMPI
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: PUSH3 0x461bcd
00000fc8: PUSH1 0xe5
00000fca: SHL
00000fcb: DUP2
00000fcc: MSTORE
00000fcd: PUSH1 0x20
00000fcf: PUSH1 0x04
00000fd1: DUP3
00000fd2: ADD
00000fd3: MSTORE
00000fd4: PUSH1 0x24
00000fd6: DUP1
00000fd7: DUP3
00000fd8: ADD
00000fd9: MSTORE
00000fda: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00000ffb: PUSH1 0x44
00000ffd: DUP3
00000ffe: ADD
00000fff: MSTORE
00001000: PUSH4 0x72657373
00001005: PUSH1 0xe0
00001007: SHL
00001008: PUSH1 0x64
0000100a: DUP3
0000100b: ADD
0000100c: MSTORE
0000100d: PUSH1 0x84
0000100f: ADD
00001010: PUSH2 0x061a
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH2 0x101f
00001018: DUP4
00001019: DUP4
0000101a: DUP4
0000101b: PUSH2 0x14c2
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH2 0x102a
00001023: PUSH1 0x00
00001025: DUP3
00001026: PUSH2 0x0e4e
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x01
0000102d: PUSH1 0x01
0000102f: PUSH1 0xa0
00001031: SHL
00001032: SUB
00001033: DUP4
00001034: AND
00001035: PUSH1 0x00
00001037: SWAP1
00001038: DUP2
00001039: MSTORE
0000103a: PUSH1 0x03
0000103c: PUSH1 0x20
0000103e: MSTORE
0000103f: PUSH1 0x40
00001041: DUP2
00001042: KECCAK256
00001043: DUP1
00001044: SLOAD
00001045: PUSH1 0x01
00001047: SWAP3
00001048: SWAP1
00001049: PUSH2 0x1053
0000104c: SWAP1
0000104d: DUP5
0000104e: SWAP1
0000104f: PUSH2 0x1e16
00001052: JUMP
00001053: JUMPDEST
00001054: SWAP1
00001055: SWAP2
00001056: SSTORE
00001057: POP
00001058: POP
00001059: PUSH1 0x01
0000105b: PUSH1 0x01
0000105d: PUSH1 0xa0
0000105f: SHL
00001060: SUB
00001061: DUP3
00001062: AND
00001063: PUSH1 0x00
00001065: SWAP1
00001066: DUP2
00001067: MSTORE
00001068: PUSH1 0x03
0000106a: PUSH1 0x20
0000106c: MSTORE
0000106d: PUSH1 0x40
0000106f: DUP2
00001070: KECCAK256
00001071: DUP1
00001072: SLOAD
00001073: PUSH1 0x01
00001075: SWAP3
00001076: SWAP1
00001077: PUSH2 0x1081
0000107a: SWAP1
0000107b: DUP5
0000107c: SWAP1
0000107d: PUSH2 0x1e29
00001080: JUMP
00001081: JUMPDEST
00001082: SWAP1
00001083: SWAP2
00001084: SSTORE
00001085: POP
00001086: POP
00001087: PUSH1 0x00
00001089: DUP2
0000108a: DUP2
0000108b: MSTORE
0000108c: PUSH1 0x02
0000108e: PUSH1 0x20
00001090: MSTORE
00001091: PUSH1 0x40
00001093: DUP1
00001094: DUP3
00001095: KECCAK256
00001096: DUP1
00001097: SLOAD
00001098: PUSH1 0x01
0000109a: PUSH1 0x01
0000109c: PUSH1 0xa0
0000109e: SHL
0000109f: SUB
000010a0: NOT
000010a1: AND
000010a2: PUSH1 0x01
000010a4: PUSH1 0x01
000010a6: PUSH1 0xa0
000010a8: SHL
000010a9: SUB
000010aa: DUP7
000010ab: DUP2
000010ac: AND
000010ad: SWAP2
000010ae: DUP3
000010af: OR
000010b0: SWAP1
000010b1: SWAP3
000010b2: SSTORE
000010b3: SWAP2
000010b4: MLOAD
000010b5: DUP5
000010b6: SWAP4
000010b7: SWAP2
000010b8: DUP8
000010b9: AND
000010ba: SWAP2
000010bb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000010dc: SWAP2
000010dd: LOG4
000010de: POP
000010df: POP
000010e0: POP
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH1 0x0b
000010e5: DUP1
000010e6: SLOAD
000010e7: PUSH1 0x01
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: SHL
000010ee: SUB
000010ef: DUP4
000010f0: DUP2
000010f1: AND
000010f2: PUSH2 0x0100
000010f5: DUP2
000010f6: DUP2
000010f7: MUL
000010f8: PUSH2 0x0100
000010fb: PUSH1 0x01
000010fd: PUSH1 0xa8
000010ff: SHL
00001100: SUB
00001101: NOT
00001102: DUP6
00001103: AND
00001104: OR
00001105: SWAP1
00001106: SWAP5
00001107: SSTORE
00001108: PUSH1 0x40
0000110a: MLOAD
0000110b: SWAP4
0000110c: SWAP1
0000110d: SWAP3
0000110e: DIV
0000110f: AND
00001110: SWAP2
00001111: DUP3
00001112: SWAP1
00001113: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001134: SWAP1
00001135: PUSH1 0x00
00001137: SWAP1
00001138: LOG3
00001139: POP
0000113a: POP
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH2 0x0ace
00001140: DUP3
00001141: DUP3
00001142: PUSH1 0x40
00001144: MLOAD
00001145: DUP1
00001146: PUSH1 0x20
00001148: ADD
00001149: PUSH1 0x40
0000114b: MSTORE
0000114c: DUP1
0000114d: PUSH1 0x00
0000114f: DUP2
00001150: MSTORE
00001151: POP
00001152: PUSH2 0x157a
00001155: JUMP
00001156: JUMPDEST
00001157: DUP2
00001158: PUSH1 0x01
0000115a: PUSH1 0x01
0000115c: PUSH1 0xa0
0000115e: SHL
0000115f: SUB
00001160: AND
00001161: DUP4
00001162: PUSH1 0x01
00001164: PUSH1 0x01
00001166: PUSH1 0xa0
00001168: SHL
00001169: SUB
0000116a: AND
0000116b: SUB
0000116c: PUSH2 0x11b7
0000116f: JUMPI
00001170: PUSH1 0x40
00001172: MLOAD
00001173: PUSH3 0x461bcd
00001177: PUSH1 0xe5
00001179: SHL
0000117a: DUP2
0000117b: MSTORE
0000117c: PUSH1 0x20
0000117e: PUSH1 0x04
00001180: DUP3
00001181: ADD
00001182: MSTORE
00001183: PUSH1 0x19
00001185: PUSH1 0x24
00001187: DUP3
00001188: ADD
00001189: MSTORE
0000118a: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
000011ab: PUSH1 0x44
000011ad: DUP3
000011ae: ADD
000011af: MSTORE
000011b0: PUSH1 0x64
000011b2: ADD
000011b3: PUSH2 0x061a
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH1 0x01
000011ba: PUSH1 0x01
000011bc: PUSH1 0xa0
000011be: SHL
000011bf: SUB
000011c0: DUP4
000011c1: DUP2
000011c2: AND
000011c3: PUSH1 0x00
000011c5: DUP2
000011c6: DUP2
000011c7: MSTORE
000011c8: PUSH1 0x05
000011ca: PUSH1 0x20
000011cc: SWAP1
000011cd: DUP2
000011ce: MSTORE
000011cf: PUSH1 0x40
000011d1: DUP1
000011d2: DUP4
000011d3: KECCAK256
000011d4: SWAP5
000011d5: DUP8
000011d6: AND
000011d7: DUP1
000011d8: DUP5
000011d9: MSTORE
000011da: SWAP5
000011db: DUP3
000011dc: MSTORE
000011dd: SWAP2
000011de: DUP3
000011df: SWAP1
000011e0: KECCAK256
000011e1: DUP1
000011e2: SLOAD
000011e3: PUSH1 0xff
000011e5: NOT
000011e6: AND
000011e7: DUP7
000011e8: ISZERO
000011e9: ISZERO
000011ea: SWAP1
000011eb: DUP2
000011ec: OR
000011ed: SWAP1
000011ee: SWAP2
000011ef: SSTORE
000011f0: SWAP2
000011f1: MLOAD
000011f2: SWAP2
000011f3: DUP3
000011f4: MSTORE
000011f5: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001216: SWAP2
00001217: ADD
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: DUP1
0000121c: SWAP2
0000121d: SUB
0000121e: SWAP1
0000121f: LOG3
00001220: POP
00001221: POP
00001222: POP
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH2 0x122f
00001228: DUP5
00001229: DUP5
0000122a: DUP5
0000122b: PUSH2 0x0f3b
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH2 0x123b
00001233: DUP5
00001234: DUP5
00001235: DUP5
00001236: DUP5
00001237: PUSH2 0x15ad
0000123a: JUMP
0000123b: JUMPDEST
0000123c: PUSH2 0x0b04
0000123f: JUMPI
00001240: PUSH1 0x40
00001242: MLOAD
00001243: PUSH3 0x461bcd
00001247: PUSH1 0xe5
00001249: SHL
0000124a: DUP2
0000124b: MSTORE
0000124c: PUSH1 0x04
0000124e: ADD
0000124f: PUSH2 0x061a
00001252: SWAP1
00001253: PUSH2 0x1e3c
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH1 0x60
0000125a: DUP2
0000125b: PUSH1 0x00
0000125d: SUB
0000125e: PUSH2 0x127e
00001261: JUMPI
00001262: POP
00001263: POP
00001264: PUSH1 0x40
00001266: DUP1
00001267: MLOAD
00001268: DUP1
00001269: DUP3
0000126a: ADD
0000126b: SWAP1
0000126c: SWAP2
0000126d: MSTORE
0000126e: PUSH1 0x01
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x03
00001274: PUSH1 0xfc
00001276: SHL
00001277: PUSH1 0x20
00001279: DUP3
0000127a: ADD
0000127b: MSTORE
0000127c: SWAP1
0000127d: JUMP
0000127e: JUMPDEST
0000127f: DUP2
00001280: PUSH1 0x00
00001282: JUMPDEST
00001283: DUP2
00001284: ISZERO
00001285: PUSH2 0x12a8
00001288: JUMPI
00001289: DUP1
0000128a: PUSH2 0x1292
0000128d: DUP2
0000128e: PUSH2 0x1e8e
00001291: JUMP
00001292: JUMPDEST
00001293: SWAP2
00001294: POP
00001295: PUSH2 0x12a1
00001298: SWAP1
00001299: POP
0000129a: PUSH1 0x0a
0000129c: DUP4
0000129d: PUSH2 0x1ebd
000012a0: JUMP
000012a1: JUMPDEST
000012a2: SWAP2
000012a3: POP
000012a4: PUSH2 0x1282
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH1 0x00
000012ab: DUP2
000012ac: PUSH8 0xffffffffffffffff
000012b5: DUP2
000012b6: GT
000012b7: ISZERO
000012b8: PUSH2 0x12c3
000012bb: JUMPI
000012bc: PUSH2 0x12c3
000012bf: PUSH2 0x1b3d
000012c2: JUMP
000012c3: JUMPDEST
000012c4: PUSH1 0x40
000012c6: MLOAD
000012c7: SWAP1
000012c8: DUP1
000012c9: DUP3
000012ca: MSTORE
000012cb: DUP1
000012cc: PUSH1 0x1f
000012ce: ADD
000012cf: PUSH1 0x1f
000012d1: NOT
000012d2: AND
000012d3: PUSH1 0x20
000012d5: ADD
000012d6: DUP3
000012d7: ADD
000012d8: PUSH1 0x40
000012da: MSTORE
000012db: DUP1
000012dc: ISZERO
000012dd: PUSH2 0x12ed
000012e0: JUMPI
000012e1: PUSH1 0x20
000012e3: DUP3
000012e4: ADD
000012e5: DUP2
000012e6: DUP1
000012e7: CALLDATASIZE
000012e8: DUP4
000012e9: CALLDATACOPY
000012ea: ADD
000012eb: SWAP1
000012ec: POP
000012ed: JUMPDEST
000012ee: POP
000012ef: SWAP1
000012f0: POP
000012f1: JUMPDEST
000012f2: DUP5
000012f3: ISZERO
000012f4: PUSH2 0x0f33
000012f7: JUMPI
000012f8: PUSH2 0x1302
000012fb: PUSH1 0x01
000012fd: DUP4
000012fe: PUSH2 0x1e16
00001301: JUMP
00001302: JUMPDEST
00001303: SWAP2
00001304: POP
00001305: PUSH2 0x130f
00001308: PUSH1 0x0a
0000130a: DUP7
0000130b: PUSH2 0x1ed1
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH2 0x131a
00001313: SWAP1
00001314: PUSH1 0x30
00001316: PUSH2 0x1e29
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0xf8
0000131d: SHL
0000131e: DUP2
0000131f: DUP4
00001320: DUP2
00001321: MLOAD
00001322: DUP2
00001323: LT
00001324: PUSH2 0x132f
00001327: JUMPI
00001328: PUSH2 0x132f
0000132b: PUSH2 0x1ce1
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH1 0x20
00001332: ADD
00001333: ADD
00001334: SWAP1
00001335: PUSH1 0x01
00001337: PUSH1 0x01
00001339: PUSH1 0xf8
0000133b: SHL
0000133c: SUB
0000133d: NOT
0000133e: AND
0000133f: SWAP1
00001340: DUP2
00001341: PUSH1 0x00
00001343: BYTE
00001344: SWAP1
00001345: MSTORE8
00001346: POP
00001347: PUSH2 0x1351
0000134a: PUSH1 0x0a
0000134c: DUP7
0000134d: PUSH2 0x1ebd
00001350: JUMP
00001351: JUMPDEST
00001352: SWAP5
00001353: POP
00001354: PUSH2 0x12f1
00001357: JUMP
00001358: JUMPDEST
00001359: DUP1
0000135a: MLOAD
0000135b: PUSH1 0x60
0000135d: SWAP1
0000135e: PUSH1 0x00
00001360: DUP2
00001361: SWAP1
00001362: SUB
00001363: PUSH2 0x137c
00001366: JUMPI
00001367: POP
00001368: POP
00001369: PUSH1 0x40
0000136b: DUP1
0000136c: MLOAD
0000136d: PUSH1 0x20
0000136f: DUP2
00001370: ADD
00001371: SWAP1
00001372: SWAP2
00001373: MSTORE
00001374: PUSH1 0x00
00001376: DUP2
00001377: MSTORE
00001378: SWAP2
00001379: SWAP1
0000137a: POP
0000137b: JUMP
0000137c: JUMPDEST
0000137d: PUSH1 0x00
0000137f: PUSH1 0x03
00001381: PUSH2 0x138b
00001384: DUP4
00001385: PUSH1 0x02
00001387: PUSH2 0x1e29
0000138a: JUMP
0000138b: JUMPDEST
0000138c: PUSH2 0x1395
0000138f: SWAP2
00001390: SWAP1
00001391: PUSH2 0x1ebd
00001394: JUMP
00001395: JUMPDEST
00001396: PUSH2 0x13a0
00001399: SWAP1
0000139a: PUSH1 0x04
0000139c: PUSH2 0x1ee5
0000139f: JUMP
000013a0: JUMPDEST
000013a1: SWAP1
000013a2: POP
000013a3: PUSH1 0x00
000013a5: PUSH2 0x13af
000013a8: DUP3
000013a9: PUSH1 0x20
000013ab: PUSH2 0x1e29
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH8 0xffffffffffffffff
000013b9: DUP2
000013ba: GT
000013bb: ISZERO
000013bc: PUSH2 0x13c7
000013bf: JUMPI
000013c0: PUSH2 0x13c7
000013c3: PUSH2 0x1b3d
000013c6: JUMP
000013c7: JUMPDEST
000013c8: PUSH1 0x40
000013ca: MLOAD
000013cb: SWAP1
000013cc: DUP1
000013cd: DUP3
000013ce: MSTORE
000013cf: DUP1
000013d0: PUSH1 0x1f
000013d2: ADD
000013d3: PUSH1 0x1f
000013d5: NOT
000013d6: AND
000013d7: PUSH1 0x20
000013d9: ADD
000013da: DUP3
000013db: ADD
000013dc: PUSH1 0x40
000013de: MSTORE
000013df: DUP1
000013e0: ISZERO
000013e1: PUSH2 0x13f1
000013e4: JUMPI
000013e5: PUSH1 0x20
000013e7: DUP3
000013e8: ADD
000013e9: DUP2
000013ea: DUP1
000013eb: CALLDATASIZE
000013ec: DUP4
000013ed: CALLDATACOPY
000013ee: ADD
000013ef: SWAP1
000013f0: POP
000013f1: JUMPDEST
000013f2: POP
000013f3: SWAP1
000013f4: POP
000013f5: PUSH1 0x00
000013f7: PUSH1 0x40
000013f9: MLOAD
000013fa: DUP1
000013fb: PUSH1 0x60
000013fd: ADD
000013fe: PUSH1 0x40
00001400: MSTORE
00001401: DUP1
00001402: PUSH1 0x40
00001404: DUP2
00001405: MSTORE
00001406: PUSH1 0x20
00001408: ADD
00001409: PUSH2 0x1f6d
0000140c: PUSH1 0x40
0000140e: SWAP2
0000140f: CODECOPY
00001410: SWAP1
00001411: POP
00001412: PUSH1 0x01
00001414: DUP2
00001415: ADD
00001416: PUSH1 0x20
00001418: DUP4
00001419: ADD
0000141a: PUSH1 0x00
0000141c: JUMPDEST
0000141d: DUP7
0000141e: DUP2
0000141f: LT
00001420: ISZERO
00001421: PUSH2 0x147d
00001424: JUMPI
00001425: PUSH1 0x03
00001427: DUP2
00001428: DUP11
00001429: ADD
0000142a: DUP2
0000142b: ADD
0000142c: MLOAD
0000142d: PUSH1 0x3f
0000142f: PUSH1 0x12
00001431: DUP3
00001432: SWAP1
00001433: SHR
00001434: DUP2
00001435: AND
00001436: DUP7
00001437: ADD
00001438: MLOAD
00001439: PUSH1 0x0c
0000143b: DUP4
0000143c: SWAP1
0000143d: SHR
0000143e: DUP3
0000143f: AND
00001440: DUP8
00001441: ADD
00001442: MLOAD
00001443: PUSH1 0x06
00001445: DUP5
00001446: SWAP1
00001447: SHR
00001448: DUP4
00001449: AND
0000144a: DUP9
0000144b: ADD
0000144c: MLOAD
0000144d: SWAP3
0000144e: SWAP1
0000144f: SWAP4
00001450: AND
00001451: DUP8
00001452: ADD
00001453: MLOAD
00001454: PUSH1 0x08
00001456: SWAP2
00001457: DUP3
00001458: SHL
00001459: PUSH1 0xff
0000145b: SWAP5
0000145c: DUP6
0000145d: AND
0000145e: ADD
0000145f: DUP3
00001460: SHL
00001461: SWAP3
00001462: DUP5
00001463: AND
00001464: SWAP3
00001465: SWAP1
00001466: SWAP3
00001467: ADD
00001468: SWAP1
00001469: SHL
0000146a: SWAP2
0000146b: AND
0000146c: ADD
0000146d: PUSH1 0xe0
0000146f: SHL
00001470: DUP4
00001471: MSTORE
00001472: PUSH1 0x04
00001474: SWAP1
00001475: SWAP3
00001476: ADD
00001477: SWAP2
00001478: ADD
00001479: PUSH2 0x141c
0000147c: JUMP
0000147d: JUMPDEST
0000147e: POP
0000147f: PUSH1 0x03
00001481: DUP7
00001482: MOD
00001483: PUSH1 0x01
00001485: DUP2
00001486: EQ
00001487: PUSH2 0x1497
0000148a: JUMPI
0000148b: PUSH1 0x02
0000148d: DUP2
0000148e: EQ
0000148f: PUSH2 0x14a8
00001492: JUMPI
00001493: PUSH2 0x14b4
00001496: JUMP
00001497: JUMPDEST
00001498: PUSH2 0x3d3d
0000149b: PUSH1 0xf0
0000149d: SHL
0000149e: PUSH1 0x01
000014a0: NOT
000014a1: DUP4
000014a2: ADD
000014a3: MSTORE
000014a4: PUSH2 0x14b4
000014a7: JUMP
000014a8: JUMPDEST
000014a9: PUSH1 0x3d
000014ab: PUSH1 0xf8
000014ad: SHL
000014ae: PUSH1 0x00
000014b0: NOT
000014b1: DUP4
000014b2: ADD
000014b3: MSTORE
000014b4: JUMPDEST
000014b5: POP
000014b6: POP
000014b7: POP
000014b8: SWAP2
000014b9: DUP2
000014ba: MSTORE
000014bb: SWAP5
000014bc: SWAP4
000014bd: POP
000014be: POP
000014bf: POP
000014c0: POP
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH1 0x01
000014c5: PUSH1 0x01
000014c7: PUSH1 0xa0
000014c9: SHL
000014ca: SUB
000014cb: DUP4
000014cc: AND
000014cd: PUSH2 0x151d
000014d0: JUMPI
000014d1: PUSH2 0x1518
000014d4: DUP2
000014d5: PUSH1 0x08
000014d7: DUP1
000014d8: SLOAD
000014d9: PUSH1 0x00
000014db: DUP4
000014dc: DUP2
000014dd: MSTORE
000014de: PUSH1 0x09
000014e0: PUSH1 0x20
000014e2: MSTORE
000014e3: PUSH1 0x40
000014e5: DUP2
000014e6: KECCAK256
000014e7: DUP3
000014e8: SWAP1
000014e9: SSTORE
000014ea: PUSH1 0x01
000014ec: DUP3
000014ed: ADD
000014ee: DUP4
000014ef: SSTORE
000014f0: SWAP2
000014f1: SWAP1
000014f2: SWAP2
000014f3: MSTORE
000014f4: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00001515: ADD
00001516: SSTORE
00001517: JUMP
00001518: JUMPDEST
00001519: PUSH2 0x1540
0000151c: JUMP
0000151d: JUMPDEST
0000151e: DUP2
0000151f: PUSH1 0x01
00001521: PUSH1 0x01
00001523: PUSH1 0xa0
00001525: SHL
00001526: SUB
00001527: AND
00001528: DUP4
00001529: PUSH1 0x01
0000152b: PUSH1 0x01
0000152d: PUSH1 0xa0
0000152f: SHL
00001530: SUB
00001531: AND
00001532: EQ
00001533: PUSH2 0x1540
00001536: JUMPI
00001537: PUSH2 0x1540
0000153a: DUP4
0000153b: DUP3
0000153c: PUSH2 0x16ae
0000153f: JUMP
00001540: JUMPDEST
00001541: PUSH1 0x01
00001543: PUSH1 0x01
00001545: PUSH1 0xa0
00001547: SHL
00001548: SUB
00001549: DUP3
0000154a: AND
0000154b: PUSH2 0x1557
0000154e: JUMPI
0000154f: PUSH2 0x06bb
00001552: DUP2
00001553: PUSH2 0x174b
00001556: JUMP
00001557: JUMPDEST
00001558: DUP3
00001559: PUSH1 0x01
0000155b: PUSH1 0x01
0000155d: PUSH1 0xa0
0000155f: SHL
00001560: SUB
00001561: AND
00001562: DUP3
00001563: PUSH1 0x01
00001565: PUSH1 0x01
00001567: PUSH1 0xa0
00001569: SHL
0000156a: SUB
0000156b: AND
0000156c: EQ
0000156d: PUSH2 0x06bb
00001570: JUMPI
00001571: PUSH2 0x06bb
00001574: DUP3
00001575: DUP3
00001576: PUSH2 0x17fa
00001579: JUMP
0000157a: JUMPDEST
0000157b: PUSH2 0x1584
0000157e: DUP4
0000157f: DUP4
00001580: PUSH2 0x183e
00001583: JUMP
00001584: JUMPDEST
00001585: PUSH2 0x1591
00001588: PUSH1 0x00
0000158a: DUP5
0000158b: DUP5
0000158c: DUP5
0000158d: PUSH2 0x15ad
00001590: JUMP
00001591: JUMPDEST
00001592: PUSH2 0x06bb
00001595: JUMPI
00001596: PUSH1 0x40
00001598: MLOAD
00001599: PUSH3 0x461bcd
0000159d: PUSH1 0xe5
0000159f: SHL
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x04
000015a4: ADD
000015a5: PUSH2 0x061a
000015a8: SWAP1
000015a9: PUSH2 0x1e3c
000015ac: JUMP
000015ad: JUMPDEST
000015ae: PUSH1 0x00
000015b0: PUSH1 0x01
000015b2: PUSH1 0x01
000015b4: PUSH1 0xa0
000015b6: SHL
000015b7: SUB
000015b8: DUP5
000015b9: AND
000015ba: EXTCODESIZE
000015bb: ISZERO
000015bc: PUSH2 0x16a3
000015bf: JUMPI
000015c0: PUSH1 0x40
000015c2: MLOAD
000015c3: PUSH4 0x0a85bd01
000015c8: PUSH1 0xe1
000015ca: SHL
000015cb: DUP2
000015cc: MSTORE
000015cd: PUSH1 0x01
000015cf: PUSH1 0x01
000015d1: PUSH1 0xa0
000015d3: SHL
000015d4: SUB
000015d5: DUP6
000015d6: AND
000015d7: SWAP1
000015d8: PUSH4 0x150b7a02
000015dd: SWAP1
000015de: PUSH2 0x15f1
000015e1: SWAP1
000015e2: CALLER
000015e3: SWAP1
000015e4: DUP10
000015e5: SWAP1
000015e6: DUP9
000015e7: SWAP1
000015e8: DUP9
000015e9: SWAP1
000015ea: PUSH1 0x04
000015ec: ADD
000015ed: PUSH2 0x1efc
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x20
000015f4: PUSH1 0x40
000015f6: MLOAD
000015f7: DUP1
000015f8: DUP4
000015f9: SUB
000015fa: DUP2
000015fb: PUSH1 0x00
000015fd: DUP8
000015fe: GAS
000015ff: CALL
00001600: SWAP3
00001601: POP
00001602: POP
00001603: POP
00001604: DUP1
00001605: ISZERO
00001606: PUSH2 0x162c
00001609: JUMPI
0000160a: POP
0000160b: PUSH1 0x40
0000160d: DUP1
0000160e: MLOAD
0000160f: PUSH1 0x1f
00001611: RETURNDATASIZE
00001612: SWAP1
00001613: DUP2
00001614: ADD
00001615: PUSH1 0x1f
00001617: NOT
00001618: AND
00001619: DUP3
0000161a: ADD
0000161b: SWAP1
0000161c: SWAP3
0000161d: MSTORE
0000161e: PUSH2 0x1629
00001621: SWAP2
00001622: DUP2
00001623: ADD
00001624: SWAP1
00001625: PUSH2 0x1f39
00001628: JUMP
00001629: JUMPDEST
0000162a: PUSH1 0x01
0000162c: JUMPDEST
0000162d: PUSH2 0x1689
00001630: JUMPI
00001631: RETURNDATASIZE
00001632: DUP1
00001633: DUP1
00001634: ISZERO
00001635: PUSH2 0x165a
00001638: JUMPI
00001639: PUSH1 0x40
0000163b: MLOAD
0000163c: SWAP2
0000163d: POP
0000163e: PUSH1 0x1f
00001640: NOT
00001641: PUSH1 0x3f
00001643: RETURNDATASIZE
00001644: ADD
00001645: AND
00001646: DUP3
00001647: ADD
00001648: PUSH1 0x40
0000164a: MSTORE
0000164b: RETURNDATASIZE
0000164c: DUP3
0000164d: MSTORE
0000164e: RETURNDATASIZE
0000164f: PUSH1 0x00
00001651: PUSH1 0x20
00001653: DUP5
00001654: ADD
00001655: RETURNDATACOPY
00001656: PUSH2 0x165f
00001659: JUMP
0000165a: JUMPDEST
0000165b: PUSH1 0x60
0000165d: SWAP2
0000165e: POP
0000165f: JUMPDEST
00001660: POP
00001661: DUP1
00001662: MLOAD
00001663: PUSH1 0x00
00001665: SUB
00001666: PUSH2 0x1681
00001669: JUMPI
0000166a: PUSH1 0x40
0000166c: MLOAD
0000166d: PUSH3 0x461bcd
00001671: PUSH1 0xe5
00001673: SHL
00001674: DUP2
00001675: MSTORE
00001676: PUSH1 0x04
00001678: ADD
00001679: PUSH2 0x061a
0000167c: SWAP1
0000167d: PUSH2 0x1e3c
00001680: JUMP
00001681: JUMPDEST
00001682: DUP1
00001683: MLOAD
00001684: DUP2
00001685: PUSH1 0x20
00001687: ADD
00001688: REVERT
00001689: JUMPDEST
0000168a: PUSH1 0x01
0000168c: PUSH1 0x01
0000168e: PUSH1 0xe0
00001690: SHL
00001691: SUB
00001692: NOT
00001693: AND
00001694: PUSH4 0x0a85bd01
00001699: PUSH1 0xe1
0000169b: SHL
0000169c: EQ
0000169d: SWAP1
0000169e: POP
0000169f: PUSH2 0x0f33
000016a2: JUMP
000016a3: JUMPDEST
000016a4: POP
000016a5: PUSH1 0x01
000016a7: SWAP5
000016a8: SWAP4
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH1 0x00
000016b1: PUSH1 0x01
000016b3: PUSH2 0x16bb
000016b6: DUP5
000016b7: PUSH2 0x08c9
000016ba: JUMP
000016bb: JUMPDEST
000016bc: PUSH2 0x16c5
000016bf: SWAP2
000016c0: SWAP1
000016c1: PUSH2 0x1e16
000016c4: JUMP
000016c5: JUMPDEST
000016c6: PUSH1 0x00
000016c8: DUP4
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x07
000016cd: PUSH1 0x20
000016cf: MSTORE
000016d0: PUSH1 0x40
000016d2: SWAP1
000016d3: KECCAK256
000016d4: SLOAD
000016d5: SWAP1
000016d6: SWAP2
000016d7: POP
000016d8: DUP1
000016d9: DUP3
000016da: EQ
000016db: PUSH2 0x1718
000016de: JUMPI
000016df: PUSH1 0x01
000016e1: PUSH1 0x01
000016e3: PUSH1 0xa0
000016e5: SHL
000016e6: SUB
000016e7: DUP5
000016e8: AND
000016e9: PUSH1 0x00
000016eb: SWAP1
000016ec: DUP2
000016ed: MSTORE
000016ee: PUSH1 0x06
000016f0: PUSH1 0x20
000016f2: SWAP1
000016f3: DUP2
000016f4: MSTORE
000016f5: PUSH1 0x40
000016f7: DUP1
000016f8: DUP4
000016f9: KECCAK256
000016fa: DUP6
000016fb: DUP5
000016fc: MSTORE
000016fd: DUP3
000016fe: MSTORE
000016ff: DUP1
00001700: DUP4
00001701: KECCAK256
00001702: SLOAD
00001703: DUP5
00001704: DUP5
00001705: MSTORE
00001706: DUP2
00001707: DUP5
00001708: KECCAK256
00001709: DUP2
0000170a: SWAP1
0000170b: SSTORE
0000170c: DUP4
0000170d: MSTORE
0000170e: PUSH1 0x07
00001710: SWAP1
00001711: SWAP2
00001712: MSTORE
00001713: SWAP1
00001714: KECCAK256
00001715: DUP2
00001716: SWAP1
00001717: SSTORE
00001718: JUMPDEST
00001719: POP
0000171a: PUSH1 0x00
0000171c: SWAP2
0000171d: DUP3
0000171e: MSTORE
0000171f: PUSH1 0x07
00001721: PUSH1 0x20
00001723: SWAP1
00001724: DUP2
00001725: MSTORE
00001726: PUSH1 0x40
00001728: DUP1
00001729: DUP5
0000172a: KECCAK256
0000172b: DUP5
0000172c: SWAP1
0000172d: SSTORE
0000172e: PUSH1 0x01
00001730: PUSH1 0x01
00001732: PUSH1 0xa0
00001734: SHL
00001735: SUB
00001736: SWAP1
00001737: SWAP5
00001738: AND
00001739: DUP4
0000173a: MSTORE
0000173b: PUSH1 0x06
0000173d: DUP2
0000173e: MSTORE
0000173f: DUP4
00001740: DUP4
00001741: KECCAK256
00001742: SWAP2
00001743: DUP4
00001744: MSTORE
00001745: MSTORE
00001746: SWAP1
00001747: DUP2
00001748: KECCAK256
00001749: SSTORE
0000174a: JUMP
0000174b: JUMPDEST
0000174c: PUSH1 0x08
0000174e: SLOAD
0000174f: PUSH1 0x00
00001751: SWAP1
00001752: PUSH2 0x175d
00001755: SWAP1
00001756: PUSH1 0x01
00001758: SWAP1
00001759: PUSH2 0x1e16
0000175c: JUMP
0000175d: JUMPDEST
0000175e: PUSH1 0x00
00001760: DUP4
00001761: DUP2
00001762: MSTORE
00001763: PUSH1 0x09
00001765: PUSH1 0x20
00001767: MSTORE
00001768: PUSH1 0x40
0000176a: DUP2
0000176b: KECCAK256
0000176c: SLOAD
0000176d: PUSH1 0x08
0000176f: DUP1
00001770: SLOAD
00001771: SWAP4
00001772: SWAP5
00001773: POP
00001774: SWAP1
00001775: SWAP3
00001776: DUP5
00001777: SWAP1
00001778: DUP2
00001779: LT
0000177a: PUSH2 0x1785
0000177d: JUMPI
0000177e: PUSH2 0x1785
00001781: PUSH2 0x1ce1
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP1
00001787: PUSH1 0x00
00001789: MSTORE
0000178a: PUSH1 0x20
0000178c: PUSH1 0x00
0000178e: KECCAK256
0000178f: ADD
00001790: SLOAD
00001791: SWAP1
00001792: POP
00001793: DUP1
00001794: PUSH1 0x08
00001796: DUP4
00001797: DUP2
00001798: SLOAD
00001799: DUP2
0000179a: LT
0000179b: PUSH2 0x17a6
0000179e: JUMPI
0000179f: PUSH2 0x17a6
000017a2: PUSH2 0x1ce1
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH1 0x00
000017a9: SWAP2
000017aa: DUP3
000017ab: MSTORE
000017ac: PUSH1 0x20
000017ae: DUP1
000017af: DUP4
000017b0: KECCAK256
000017b1: SWAP1
000017b2: SWAP2
000017b3: ADD
000017b4: SWAP3
000017b5: SWAP1
000017b6: SWAP3
000017b7: SSTORE
000017b8: DUP3
000017b9: DUP2
000017ba: MSTORE
000017bb: PUSH1 0x09
000017bd: SWAP1
000017be: SWAP2
000017bf: MSTORE
000017c0: PUSH1 0x40
000017c2: DUP1
000017c3: DUP3
000017c4: KECCAK256
000017c5: DUP5
000017c6: SWAP1
000017c7: SSTORE
000017c8: DUP6
000017c9: DUP3
000017ca: MSTORE
000017cb: DUP2
000017cc: KECCAK256
000017cd: SSTORE
000017ce: PUSH1 0x08
000017d0: DUP1
000017d1: SLOAD
000017d2: DUP1
000017d3: PUSH2 0x17de
000017d6: JUMPI
000017d7: PUSH2 0x17de
000017da: PUSH2 0x1f56
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH1 0x01
000017e1: SWAP1
000017e2: SUB
000017e3: DUP2
000017e4: DUP2
000017e5: SWAP1
000017e6: PUSH1 0x00
000017e8: MSTORE
000017e9: PUSH1 0x20
000017eb: PUSH1 0x00
000017ed: KECCAK256
000017ee: ADD
000017ef: PUSH1 0x00
000017f1: SWAP1
000017f2: SSTORE
000017f3: SWAP1
000017f4: SSTORE
000017f5: POP
000017f6: POP
000017f7: POP
000017f8: POP
000017f9: JUMP
000017fa: JUMPDEST
000017fb: PUSH1 0x00
000017fd: PUSH2 0x1805
00001800: DUP4
00001801: PUSH2 0x08c9
00001804: JUMP
00001805: JUMPDEST
00001806: PUSH1 0x01
00001808: PUSH1 0x01
0000180a: PUSH1 0xa0
0000180c: SHL
0000180d: SUB
0000180e: SWAP1
0000180f: SWAP4
00001810: AND
00001811: PUSH1 0x00
00001813: SWAP1
00001814: DUP2
00001815: MSTORE
00001816: PUSH1 0x06
00001818: PUSH1 0x20
0000181a: SWAP1
0000181b: DUP2
0000181c: MSTORE
0000181d: PUSH1 0x40
0000181f: DUP1
00001820: DUP4
00001821: KECCAK256
00001822: DUP7
00001823: DUP5
00001824: MSTORE
00001825: DUP3
00001826: MSTORE
00001827: DUP1
00001828: DUP4
00001829: KECCAK256
0000182a: DUP6
0000182b: SWAP1
0000182c: SSTORE
0000182d: SWAP4
0000182e: DUP3
0000182f: MSTORE
00001830: PUSH1 0x07
00001832: SWAP1
00001833: MSTORE
00001834: SWAP2
00001835: SWAP1
00001836: SWAP2
00001837: KECCAK256
00001838: SWAP2
00001839: SWAP1
0000183a: SWAP2
0000183b: SSTORE
0000183c: POP
0000183d: JUMP
0000183e: JUMPDEST
0000183f: PUSH1 0x01
00001841: PUSH1 0x01
00001843: PUSH1 0xa0
00001845: SHL
00001846: SUB
00001847: DUP3
00001848: AND
00001849: PUSH2 0x1894
0000184c: JUMPI
0000184d: PUSH1 0x40
0000184f: MLOAD
00001850: PUSH3 0x461bcd
00001854: PUSH1 0xe5
00001856: SHL
00001857: DUP2
00001858: MSTORE
00001859: PUSH1 0x20
0000185b: PUSH1 0x04
0000185d: DUP3
0000185e: ADD
0000185f: DUP2
00001860: SWAP1
00001861: MSTORE
00001862: PUSH1 0x24
00001864: DUP3
00001865: ADD
00001866: MSTORE
00001867: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001888: PUSH1 0x44
0000188a: DUP3
0000188b: ADD
0000188c: MSTORE
0000188d: PUSH1 0x64
0000188f: ADD
00001890: PUSH2 0x061a
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x00
00001897: DUP2
00001898: DUP2
00001899: MSTORE
0000189a: PUSH1 0x02
0000189c: PUSH1 0x20
0000189e: MSTORE
0000189f: PUSH1 0x40
000018a1: SWAP1
000018a2: KECCAK256
000018a3: SLOAD
000018a4: PUSH1 0x01
000018a6: PUSH1 0x01
000018a8: PUSH1 0xa0
000018aa: SHL
000018ab: SUB
000018ac: AND
000018ad: ISZERO
000018ae: PUSH2 0x18f9
000018b1: JUMPI
000018b2: PUSH1 0x40
000018b4: MLOAD
000018b5: PUSH3 0x461bcd
000018b9: PUSH1 0xe5
000018bb: SHL
000018bc: DUP2
000018bd: MSTORE
000018be: PUSH1 0x20
000018c0: PUSH1 0x04
000018c2: DUP3
000018c3: ADD
000018c4: MSTORE
000018c5: PUSH1 0x1c
000018c7: PUSH1 0x24
000018c9: DUP3
000018ca: ADD
000018cb: MSTORE
000018cc: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
000018ed: PUSH1 0x44
000018ef: DUP3
000018f0: ADD
000018f1: MSTORE
000018f2: PUSH1 0x64
000018f4: ADD
000018f5: PUSH2 0x061a
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH2 0x1905
000018fd: PUSH1 0x00
000018ff: DUP4
00001900: DUP4
00001901: PUSH2 0x14c2
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH1 0x01
00001908: PUSH1 0x01
0000190a: PUSH1 0xa0
0000190c: SHL
0000190d: SUB
0000190e: DUP3
0000190f: AND
00001910: PUSH1 0x00
00001912: SWAP1
00001913: DUP2
00001914: MSTORE
00001915: PUSH1 0x03
00001917: PUSH1 0x20
00001919: MSTORE
0000191a: PUSH1 0x40
0000191c: DUP2
0000191d: KECCAK256
0000191e: DUP1
0000191f: SLOAD
00001920: PUSH1 0x01
00001922: SWAP3
00001923: SWAP1
00001924: PUSH2 0x192e
00001927: SWAP1
00001928: DUP5
00001929: SWAP1
0000192a: PUSH2 0x1e29
0000192d: JUMP
0000192e: JUMPDEST
0000192f: SWAP1
00001930: SWAP2
00001931: SSTORE
00001932: POP
00001933: POP
00001934: PUSH1 0x00
00001936: DUP2
00001937: DUP2
00001938: MSTORE
00001939: PUSH1 0x02
0000193b: PUSH1 0x20
0000193d: MSTORE
0000193e: PUSH1 0x40
00001940: DUP1
00001941: DUP3
00001942: KECCAK256
00001943: DUP1
00001944: SLOAD
00001945: PUSH1 0x01
00001947: PUSH1 0x01
00001949: PUSH1 0xa0
0000194b: SHL
0000194c: SUB
0000194d: NOT
0000194e: AND
0000194f: PUSH1 0x01
00001951: PUSH1 0x01
00001953: PUSH1 0xa0
00001955: SHL
00001956: SUB
00001957: DUP7
00001958: AND
00001959: SWAP1
0000195a: DUP2
0000195b: OR
0000195c: SWAP1
0000195d: SWAP2
0000195e: SSTORE
0000195f: SWAP1
00001960: MLOAD
00001961: DUP4
00001962: SWAP3
00001963: SWAP1
00001964: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001985: SWAP1
00001986: DUP3
00001987: SWAP1
00001988: LOG4
00001989: POP
0000198a: POP
0000198b: JUMP
0000198c: JUMPDEST
0000198d: PUSH1 0x01
0000198f: PUSH1 0x01
00001991: PUSH1 0xe0
00001993: SHL
00001994: SUB
00001995: NOT
00001996: DUP2
00001997: AND
00001998: DUP2
00001999: EQ
0000199a: PUSH2 0x04e2
0000199d: JUMPI
0000199e: PUSH1 0x00
000019a0: DUP1
000019a1: REVERT
000019a2: JUMPDEST
000019a3: PUSH1 0x00
000019a5: PUSH1 0x20
000019a7: DUP3
000019a8: DUP5
000019a9: SUB
000019aa: SLT
000019ab: ISZERO
000019ac: PUSH2 0x19b4
000019af: JUMPI
000019b0: PUSH1 0x00
000019b2: DUP1
000019b3: REVERT
000019b4: JUMPDEST
000019b5: DUP2
000019b6: CALLDATALOAD
000019b7: PUSH2 0x19bf
000019ba: DUP2
000019bb: PUSH2 0x198c
000019be: JUMP
000019bf: JUMPDEST
000019c0: SWAP4
000019c1: SWAP3
000019c2: POP
000019c3: POP
000019c4: POP
000019c5: JUMP
000019c6: JUMPDEST
000019c7: DUP1
000019c8: CALLDATALOAD
000019c9: DUP1
000019ca: ISZERO
000019cb: ISZERO
000019cc: DUP2
000019cd: EQ
000019ce: PUSH2 0x19d6
000019d1: JUMPI
000019d2: PUSH1 0x00
000019d4: DUP1
000019d5: REVERT
000019d6: JUMPDEST
000019d7: SWAP2
000019d8: SWAP1
000019d9: POP
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH1 0x00
000019de: PUSH1 0x20
000019e0: DUP3
000019e1: DUP5
000019e2: SUB
000019e3: SLT
000019e4: ISZERO
000019e5: PUSH2 0x19ed
000019e8: JUMPI
000019e9: PUSH1 0x00
000019eb: DUP1
000019ec: REVERT
000019ed: JUMPDEST
000019ee: PUSH2 0x19bf
000019f1: DUP3
000019f2: PUSH2 0x19c6
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH1 0x00
000019f9: JUMPDEST
000019fa: DUP4
000019fb: DUP2
000019fc: LT
000019fd: ISZERO
000019fe: PUSH2 0x1a11
00001a01: JUMPI
00001a02: DUP2
00001a03: DUP2
00001a04: ADD
00001a05: MLOAD
00001a06: DUP4
00001a07: DUP3
00001a08: ADD
00001a09: MSTORE
00001a0a: PUSH1 0x20
00001a0c: ADD
00001a0d: PUSH2 0x19f9
00001a10: JUMP
00001a11: JUMPDEST
00001a12: POP
00001a13: POP
00001a14: PUSH1 0x00
00001a16: SWAP2
00001a17: ADD
00001a18: MSTORE
00001a19: JUMP
00001a1a: JUMPDEST
00001a1b: PUSH1 0x00
00001a1d: DUP2
00001a1e: MLOAD
00001a1f: DUP1
00001a20: DUP5
00001a21: MSTORE
00001a22: PUSH2 0x1a32
00001a25: DUP2
00001a26: PUSH1 0x20
00001a28: DUP7
00001a29: ADD
00001a2a: PUSH1 0x20
00001a2c: DUP7
00001a2d: ADD
00001a2e: PUSH2 0x19f6
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x1f
00001a35: ADD
00001a36: PUSH1 0x1f
00001a38: NOT
00001a39: AND
00001a3a: SWAP3
00001a3b: SWAP1
00001a3c: SWAP3
00001a3d: ADD
00001a3e: PUSH1 0x20
00001a40: ADD
00001a41: SWAP3
00001a42: SWAP2
00001a43: POP
00001a44: POP
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH1 0x20
00001a49: DUP2
00001a4a: MSTORE
00001a4b: PUSH1 0x00
00001a4d: PUSH2 0x19bf
00001a50: PUSH1 0x20
00001a52: DUP4
00001a53: ADD
00001a54: DUP5
00001a55: PUSH2 0x1a1a
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: PUSH1 0x00
00001a5c: PUSH1 0x20
00001a5e: DUP3
00001a5f: DUP5
00001a60: SUB
00001a61: SLT
00001a62: ISZERO
00001a63: PUSH2 0x1a6b
00001a66: JUMPI
00001a67: PUSH1 0x00
00001a69: DUP1
00001a6a: REVERT
00001a6b: JUMPDEST
00001a6c: POP
00001a6d: CALLDATALOAD
00001a6e: SWAP2
00001a6f: SWAP1
00001a70: POP
00001a71: JUMP
00001a72: JUMPDEST
00001a73: DUP1
00001a74: CALLDATALOAD
00001a75: PUSH1 0x01
00001a77: PUSH1 0x01
00001a79: PUSH1 0xa0
00001a7b: SHL
00001a7c: SUB
00001a7d: DUP2
00001a7e: AND
00001a7f: DUP2
00001a80: EQ
00001a81: PUSH2 0x19d6
00001a84: JUMPI
00001a85: PUSH1 0x00
00001a87: DUP1
00001a88: REVERT
00001a89: JUMPDEST
00001a8a: PUSH1 0x00
00001a8c: DUP1
00001a8d: PUSH1 0x40
00001a8f: DUP4
00001a90: DUP6
00001a91: SUB
00001a92: SLT
00001a93: ISZERO
00001a94: PUSH2 0x1a9c
00001a97: JUMPI
00001a98: PUSH1 0x00
00001a9a: DUP1
00001a9b: REVERT
00001a9c: JUMPDEST
00001a9d: PUSH2 0x1aa5
00001aa0: DUP4
00001aa1: PUSH2 0x1a72
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: SWAP5
00001aa7: PUSH1 0x20
00001aa9: SWAP4
00001aaa: SWAP1
00001aab: SWAP4
00001aac: ADD
00001aad: CALLDATALOAD
00001aae: SWAP4
00001aaf: POP
00001ab0: POP
00001ab1: POP
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x00
00001ab6: DUP1
00001ab7: PUSH1 0x00
00001ab9: PUSH1 0x60
00001abb: DUP5
00001abc: DUP7
00001abd: SUB
00001abe: SLT
00001abf: ISZERO
00001ac0: PUSH2 0x1ac8
00001ac3: JUMPI
00001ac4: PUSH1 0x00
00001ac6: DUP1
00001ac7: REVERT
00001ac8: JUMPDEST
00001ac9: PUSH2 0x1ad1
00001acc: DUP5
00001acd: PUSH2 0x1a72
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: SWAP3
00001ad3: POP
00001ad4: PUSH2 0x1adf
00001ad7: PUSH1 0x20
00001ad9: DUP6
00001ada: ADD
00001adb: PUSH2 0x1a72
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: SWAP2
00001ae1: POP
00001ae2: PUSH1 0x40
00001ae4: DUP5
00001ae5: ADD
00001ae6: CALLDATALOAD
00001ae7: SWAP1
00001ae8: POP
00001ae9: SWAP3
00001aea: POP
00001aeb: SWAP3
00001aec: POP
00001aed: SWAP3
00001aee: JUMP
00001aef: JUMPDEST
00001af0: PUSH1 0x00
00001af2: PUSH1 0x20
00001af4: DUP3
00001af5: DUP5
00001af6: SUB
00001af7: SLT
00001af8: ISZERO
00001af9: PUSH2 0x1b01
00001afc: JUMPI
00001afd: PUSH1 0x00
00001aff: DUP1
00001b00: REVERT
00001b01: JUMPDEST
00001b02: PUSH2 0x19bf
00001b05: DUP3
00001b06: PUSH2 0x1a72
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: DUP1
00001b0e: PUSH1 0x40
00001b10: DUP4
00001b11: DUP6
00001b12: SUB
00001b13: SLT
00001b14: ISZERO
00001b15: PUSH2 0x1b1d
00001b18: JUMPI
00001b19: PUSH1 0x00
00001b1b: DUP1
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: PUSH2 0x1b26
00001b21: DUP4
00001b22: PUSH2 0x1a72
00001b25: JUMP
00001b26: JUMPDEST
00001b27: SWAP2
00001b28: POP
00001b29: PUSH2 0x1b34
00001b2c: PUSH1 0x20
00001b2e: DUP5
00001b2f: ADD
00001b30: PUSH2 0x19c6
00001b33: JUMP
00001b34: JUMPDEST
00001b35: SWAP1
00001b36: POP
00001b37: SWAP3
00001b38: POP
00001b39: SWAP3
00001b3a: SWAP1
00001b3b: POP
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH4 0x4e487b71
00001b43: PUSH1 0xe0
00001b45: SHL
00001b46: PUSH1 0x00
00001b48: MSTORE
00001b49: PUSH1 0x41
00001b4b: PUSH1 0x04
00001b4d: MSTORE
00001b4e: PUSH1 0x24
00001b50: PUSH1 0x00
00001b52: REVERT
00001b53: JUMPDEST
00001b54: PUSH1 0x00
00001b56: DUP1
00001b57: PUSH1 0x00
00001b59: DUP1
00001b5a: PUSH1 0x80
00001b5c: DUP6
00001b5d: DUP8
00001b5e: SUB
00001b5f: SLT
00001b60: ISZERO
00001b61: PUSH2 0x1b69
00001b64: JUMPI
00001b65: PUSH1 0x00
00001b67: DUP1
00001b68: REVERT
00001b69: JUMPDEST
00001b6a: PUSH2 0x1b72
00001b6d: DUP6
00001b6e: PUSH2 0x1a72
00001b71: JUMP
00001b72: JUMPDEST
00001b73: SWAP4
00001b74: POP
00001b75: PUSH2 0x1b80
00001b78: PUSH1 0x20
00001b7a: DUP7
00001b7b: ADD
00001b7c: PUSH2 0x1a72
00001b7f: JUMP
00001b80: JUMPDEST
00001b81: SWAP3
00001b82: POP
00001b83: PUSH1 0x40
00001b85: DUP6
00001b86: ADD
00001b87: CALLDATALOAD
00001b88: SWAP2
00001b89: POP
00001b8a: PUSH1 0x60
00001b8c: DUP6
00001b8d: ADD
00001b8e: CALLDATALOAD
00001b8f: PUSH8 0xffffffffffffffff
00001b98: DUP1
00001b99: DUP3
00001b9a: GT
00001b9b: ISZERO
00001b9c: PUSH2 0x1ba4
00001b9f: JUMPI
00001ba0: PUSH1 0x00
00001ba2: DUP1
00001ba3: REVERT
00001ba4: JUMPDEST
00001ba5: DUP2
00001ba6: DUP8
00001ba7: ADD
00001ba8: SWAP2
00001ba9: POP
00001baa: DUP8
00001bab: PUSH1 0x1f
00001bad: DUP4
00001bae: ADD
00001baf: SLT
00001bb0: PUSH2 0x1bb8
00001bb3: JUMPI
00001bb4: PUSH1 0x00
00001bb6: DUP1
00001bb7: REVERT
00001bb8: JUMPDEST
00001bb9: DUP2
00001bba: CALLDATALOAD
00001bbb: DUP2
00001bbc: DUP2
00001bbd: GT
00001bbe: ISZERO
00001bbf: PUSH2 0x1bca
00001bc2: JUMPI
00001bc3: PUSH2 0x1bca
00001bc6: PUSH2 0x1b3d
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: PUSH1 0x40
00001bcd: MLOAD
00001bce: PUSH1 0x1f
00001bd0: DUP3
00001bd1: ADD
00001bd2: PUSH1 0x1f
00001bd4: NOT
00001bd5: SWAP1
00001bd6: DUP2
00001bd7: AND
00001bd8: PUSH1 0x3f
00001bda: ADD
00001bdb: AND
00001bdc: DUP2
00001bdd: ADD
00001bde: SWAP1
00001bdf: DUP4
00001be0: DUP3
00001be1: GT
00001be2: DUP2
00001be3: DUP4
00001be4: LT
00001be5: OR
00001be6: ISZERO
00001be7: PUSH2 0x1bf2
00001bea: JUMPI
00001beb: PUSH2 0x1bf2
00001bee: PUSH2 0x1b3d
00001bf1: JUMP
00001bf2: JUMPDEST
00001bf3: DUP2
00001bf4: PUSH1 0x40
00001bf6: MSTORE
00001bf7: DUP3
00001bf8: DUP2
00001bf9: MSTORE
00001bfa: DUP11
00001bfb: PUSH1 0x20
00001bfd: DUP5
00001bfe: DUP8
00001bff: ADD
00001c00: ADD
00001c01: GT
00001c02: ISZERO
00001c03: PUSH2 0x1c0b
00001c06: JUMPI
00001c07: PUSH1 0x00
00001c09: DUP1
00001c0a: REVERT
00001c0b: JUMPDEST
00001c0c: DUP3
00001c0d: PUSH1 0x20
00001c0f: DUP7
00001c10: ADD
00001c11: PUSH1 0x20
00001c13: DUP4
00001c14: ADD
00001c15: CALLDATACOPY
00001c16: PUSH1 0x00
00001c18: PUSH1 0x20
00001c1a: DUP5
00001c1b: DUP4
00001c1c: ADD
00001c1d: ADD
00001c1e: MSTORE
00001c1f: DUP1
00001c20: SWAP6
00001c21: POP
00001c22: POP
00001c23: POP
00001c24: POP
00001c25: POP
00001c26: POP
00001c27: SWAP3
00001c28: SWAP6
00001c29: SWAP2
00001c2a: SWAP5
00001c2b: POP
00001c2c: SWAP3
00001c2d: POP
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: PUSH1 0x00
00001c32: DUP1
00001c33: PUSH1 0x40
00001c35: DUP4
00001c36: DUP6
00001c37: SUB
00001c38: SLT
00001c39: ISZERO
00001c3a: PUSH2 0x1c42
00001c3d: JUMPI
00001c3e: PUSH1 0x00
00001c40: DUP1
00001c41: REVERT
00001c42: JUMPDEST
00001c43: PUSH2 0x1c4b
00001c46: DUP4
00001c47: PUSH2 0x1a72
00001c4a: JUMP
00001c4b: JUMPDEST
00001c4c: SWAP2
00001c4d: POP
00001c4e: PUSH2 0x1b34
00001c51: PUSH1 0x20
00001c53: DUP5
00001c54: ADD
00001c55: PUSH2 0x1a72
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: PUSH1 0x01
00001c5c: DUP2
00001c5d: DUP2
00001c5e: SHR
00001c5f: SWAP1
00001c60: DUP3
00001c61: AND
00001c62: DUP1
00001c63: PUSH2 0x1c6d
00001c66: JUMPI
00001c67: PUSH1 0x7f
00001c69: DUP3
00001c6a: AND
00001c6b: SWAP2
00001c6c: POP
00001c6d: JUMPDEST
00001c6e: PUSH1 0x20
00001c70: DUP3
00001c71: LT
00001c72: DUP2
00001c73: SUB
00001c74: PUSH2 0x1c8d
00001c77: JUMPI
00001c78: PUSH4 0x4e487b71
00001c7d: PUSH1 0xe0
00001c7f: SHL
00001c80: PUSH1 0x00
00001c82: MSTORE
00001c83: PUSH1 0x22
00001c85: PUSH1 0x04
00001c87: MSTORE
00001c88: PUSH1 0x24
00001c8a: PUSH1 0x00
00001c8c: REVERT
00001c8d: JUMPDEST
00001c8e: POP
00001c8f: SWAP2
00001c90: SWAP1
00001c91: POP
00001c92: JUMP
00001c93: JUMPDEST
00001c94: PUSH1 0x20
00001c96: DUP1
00001c97: DUP3
00001c98: MSTORE
00001c99: PUSH1 0x2e
00001c9b: SWAP1
00001c9c: DUP3
00001c9d: ADD
00001c9e: MSTORE
00001c9f: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00001cc0: PUSH1 0x40
00001cc2: DUP3
00001cc3: ADD
00001cc4: MSTORE
00001cc5: PUSH14 0x1c881b9bdc88185c1c1c9bdd9959
00001cd4: PUSH1 0x92
00001cd6: SHL
00001cd7: PUSH1 0x60
00001cd9: DUP3
00001cda: ADD
00001cdb: MSTORE
00001cdc: PUSH1 0x80
00001cde: ADD
00001cdf: SWAP1
00001ce0: JUMP
00001ce1: JUMPDEST
00001ce2: PUSH4 0x4e487b71
00001ce7: PUSH1 0xe0
00001ce9: SHL
00001cea: PUSH1 0x00
00001cec: MSTORE
00001ced: PUSH1 0x32
00001cef: PUSH1 0x04
00001cf1: MSTORE
00001cf2: PUSH1 0x24
00001cf4: PUSH1 0x00
00001cf6: REVERT
00001cf7: JUMPDEST
00001cf8: PUSH1 0x00
00001cfa: DUP3
00001cfb: MLOAD
00001cfc: PUSH2 0x1d09
00001cff: DUP2
00001d00: DUP5
00001d01: PUSH1 0x20
00001d03: DUP8
00001d04: ADD
00001d05: PUSH2 0x19f6
00001d08: JUMP
00001d09: JUMPDEST
00001d0a: SWAP2
00001d0b: SWAP1
00001d0c: SWAP2
00001d0d: ADD
00001d0e: SWAP3
00001d0f: SWAP2
00001d10: POP
00001d11: POP
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH14 0x7b226e616d65223a2022454f2023
00001d23: PUSH1 0x90
00001d25: SHL
00001d26: DUP2
00001d27: MSTORE
00001d28: DUP3
00001d29: MLOAD
00001d2a: PUSH1 0x00
00001d2c: SWAP1
00001d2d: PUSH2 0x1d3d
00001d30: DUP2
00001d31: PUSH1 0x0e
00001d33: DUP6
00001d34: ADD
00001d35: PUSH1 0x20
00001d37: DUP9
00001d38: ADD
00001d39: PUSH2 0x19f6
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH32 0x222c20226465736372697074696f6e223a2022222c2022696d616765223a2022
00001d5f: PUSH1 0x0e
00001d61: SWAP2
00001d62: DUP5
00001d63: ADD
00001d64: SWAP2
00001d65: DUP3
00001d66: ADD
00001d67: MSTORE
00001d68: PUSH32 0x646174613a696d6167652f7376672b786d6c3b6261736536342c000000000000
00001d89: PUSH1 0x2e
00001d8b: DUP3
00001d8c: ADD
00001d8d: MSTORE
00001d8e: DUP4
00001d8f: MLOAD
00001d90: PUSH2 0x1da0
00001d93: DUP2
00001d94: PUSH1 0x48
00001d96: DUP5
00001d97: ADD
00001d98: PUSH1 0x20
00001d9a: DUP9
00001d9b: ADD
00001d9c: PUSH2 0x19f6
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH2 0x227d
00001da4: PUSH1 0xf0
00001da6: SHL
00001da7: PUSH1 0x48
00001da9: SWAP3
00001daa: SWAP1
00001dab: SWAP2
00001dac: ADD
00001dad: SWAP2
00001dae: DUP3
00001daf: ADD
00001db0: MSTORE
00001db1: PUSH1 0x4a
00001db3: ADD
00001db4: SWAP5
00001db5: SWAP4
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: POP
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000
00001ddd: DUP2
00001dde: MSTORE
00001ddf: PUSH1 0x00
00001de1: DUP3
00001de2: MLOAD
00001de3: PUSH2 0x1df3
00001de6: DUP2
00001de7: PUSH1 0x1d
00001de9: DUP6
00001dea: ADD
00001deb: PUSH1 0x20
00001ded: DUP8
00001dee: ADD
00001def: PUSH2 0x19f6
00001df2: JUMP
00001df3: JUMPDEST
00001df4: SWAP2
00001df5: SWAP1
00001df6: SWAP2
00001df7: ADD
00001df8: PUSH1 0x1d
00001dfa: ADD
00001dfb: SWAP3
00001dfc: SWAP2
00001dfd: POP
00001dfe: POP
00001dff: JUMP
00001e00: JUMPDEST
00001e01: PUSH4 0x4e487b71
00001e06: PUSH1 0xe0
00001e08: SHL
00001e09: PUSH1 0x00
00001e0b: MSTORE
00001e0c: PUSH1 0x11
00001e0e: PUSH1 0x04
00001e10: MSTORE
00001e11: PUSH1 0x24
00001e13: PUSH1 0x00
00001e15: REVERT
00001e16: JUMPDEST
00001e17: DUP2
00001e18: DUP2
00001e19: SUB
00001e1a: DUP2
00001e1b: DUP2
00001e1c: GT
00001e1d: ISZERO
00001e1e: PUSH2 0x04c2
00001e21: JUMPI
00001e22: PUSH2 0x04c2
00001e25: PUSH2 0x1e00
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: DUP1
00001e2b: DUP3
00001e2c: ADD
00001e2d: DUP1
00001e2e: DUP3
00001e2f: GT
00001e30: ISZERO
00001e31: PUSH2 0x04c2
00001e34: JUMPI
00001e35: PUSH2 0x04c2
00001e38: PUSH2 0x1e00
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH1 0x20
00001e3f: DUP1
00001e40: DUP3
00001e41: MSTORE
00001e42: PUSH1 0x32
00001e44: SWAP1
00001e45: DUP3
00001e46: ADD
00001e47: MSTORE
00001e48: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001e69: PUSH1 0x40
00001e6b: DUP3
00001e6c: ADD
00001e6d: MSTORE
00001e6e: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00001e81: PUSH1 0x71
00001e83: SHL
00001e84: PUSH1 0x60
00001e86: DUP3
00001e87: ADD
00001e88: MSTORE
00001e89: PUSH1 0x80
00001e8b: ADD
00001e8c: SWAP1
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: PUSH1 0x00
00001e91: PUSH1 0x01
00001e93: DUP3
00001e94: ADD
00001e95: PUSH2 0x1ea0
00001e98: JUMPI
00001e99: PUSH2 0x1ea0
00001e9c: PUSH2 0x1e00
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: POP
00001ea2: PUSH1 0x01
00001ea4: ADD
00001ea5: SWAP1
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: PUSH4 0x4e487b71
00001ead: PUSH1 0xe0
00001eaf: SHL
00001eb0: PUSH1 0x00
00001eb2: MSTORE
00001eb3: PUSH1 0x12
00001eb5: PUSH1 0x04
00001eb7: MSTORE
00001eb8: PUSH1 0x24
00001eba: PUSH1 0x00
00001ebc: REVERT
00001ebd: JUMPDEST
00001ebe: PUSH1 0x00
00001ec0: DUP3
00001ec1: PUSH2 0x1ecc
00001ec4: JUMPI
00001ec5: PUSH2 0x1ecc
00001ec8: PUSH2 0x1ea7
00001ecb: JUMP
00001ecc: JUMPDEST
00001ecd: POP
00001ece: DIV
00001ecf: SWAP1
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x00
00001ed4: DUP3
00001ed5: PUSH2 0x1ee0
00001ed8: JUMPI
00001ed9: PUSH2 0x1ee0
00001edc: PUSH2 0x1ea7
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: POP
00001ee2: MOD
00001ee3: SWAP1
00001ee4: JUMP
00001ee5: JUMPDEST
00001ee6: DUP1
00001ee7: DUP3
00001ee8: MUL
00001ee9: DUP2
00001eea: ISZERO
00001eeb: DUP3
00001eec: DUP3
00001eed: DIV
00001eee: DUP5
00001eef: EQ
00001ef0: OR
00001ef1: PUSH2 0x04c2
00001ef4: JUMPI
00001ef5: PUSH2 0x04c2
00001ef8: PUSH2 0x1e00
00001efb: JUMP
00001efc: JUMPDEST
00001efd: PUSH1 0x01
00001eff: PUSH1 0x01
00001f01: PUSH1 0xa0
00001f03: SHL
00001f04: SUB
00001f05: DUP6
00001f06: DUP2
00001f07: AND
00001f08: DUP3
00001f09: MSTORE
00001f0a: DUP5
00001f0b: AND
00001f0c: PUSH1 0x20
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH1 0x40
00001f13: DUP2
00001f14: ADD
00001f15: DUP4
00001f16: SWAP1
00001f17: MSTORE
00001f18: PUSH1 0x80
00001f1a: PUSH1 0x60
00001f1c: DUP3
00001f1d: ADD
00001f1e: DUP2
00001f1f: SWAP1
00001f20: MSTORE
00001f21: PUSH1 0x00
00001f23: SWAP1
00001f24: PUSH2 0x1f2f
00001f27: SWAP1
00001f28: DUP4
00001f29: ADD
00001f2a: DUP5
00001f2b: PUSH2 0x1a1a
00001f2e: JUMP
00001f2f: JUMPDEST
00001f30: SWAP7
00001f31: SWAP6
00001f32: POP
00001f33: POP
00001f34: POP
00001f35: POP
00001f36: POP
00001f37: POP
00001f38: JUMP
00001f39: JUMPDEST
00001f3a: PUSH1 0x00
00001f3c: PUSH1 0x20
00001f3e: DUP3
00001f3f: DUP5
00001f40: SUB
00001f41: SLT
00001f42: ISZERO
00001f43: PUSH2 0x1f4b
00001f46: JUMPI
00001f47: PUSH1 0x00
00001f49: DUP1
00001f4a: REVERT
00001f4b: JUMPDEST
00001f4c: DUP2
00001f4d: MLOAD
00001f4e: PUSH2 0x19bf
00001f51: DUP2
00001f52: PUSH2 0x198c
00001f55: JUMP
00001f56: JUMPDEST
00001f57: PUSH4 0x4e487b71
00001f5c: PUSH1 0xe0
00001f5e: SHL
00001f5f: PUSH1 0x00
00001f61: MSTORE
00001f62: PUSH1 0x31
00001f64: PUSH1 0x04
00001f66: MSTORE
00001f67: PUSH1 0x24
00001f69: PUSH1 0x00
00001f6b: REVERT
00001f6c: INVALID
00001f6d: COINBASE
00001f6e: TIMESTAMP
00001f6f: NUMBER
00001f70: DIFFICULTY
00001f71: GASLIMIT
00001f72: CHAINID
00001f73: SELFBALANCE
00001f74: BASEFEE
00001f75: BLOBHASH
00001f76: BLOBBASEFEE
00001f77: UNKNOWN(0x4B)
00001f78: UNKNOWN(0x4C)
00001f79: UNKNOWN(0x4D)
00001f7a: UNKNOWN(0x4E)
00001f7b: UNKNOWN(0x4F)
00001f7c: POP
00001f7d: MLOAD
00001f7e: MSTORE
00001f7f: MSTORE8
00001f80: SLOAD
00001f81: SSTORE
00001f82: JUMP
00001f83: JUMPI
00001f84: PC
00001f85: MSIZE
00001f86: GAS
00001f87: PUSH2 0x6263
00001f8a: PUSH5 0x6566676869
00001f90: PUSH11 0x6b6c6d6e6f707172737475
00001f9c: PUSH23 0x7778797a303132333435363738392b2f3c737667207769
00001fb4: PUSH5 0x74683d2231
00001fba: CODESIZE
00001fbb: CALLVALUE
00001fbc: CALLER
00001fbd: UNKNOWN(0x22)
00001fbe: KECCAK256
00001fbf: PUSH9 0x65696768743d223138
00001fc9: CALLVALUE
00001fca: CALLER
00001fcb: UNKNOWN(0x22)
00001fcc: KECCAK256
00001fcd: PUSH23 0x696577426f783d22302030203138343320313834332220
00001fe5: PUSH7 0x696c6c3d226e6f
00001fed: PUSH15 0x652220786d6c6e733d22687474703a
00001ffd: UNKNOWN(0x2F)
00001ffe: UNKNOWN(0x2F)
00001fff: PUSH24 0x77772e77332e6f72672f323030302f737667223e3c706174
00002018: PUSH9 0x2066696c6c3d222339
00002022: PUSH6 0x396539652220
00002029: PUSH5 0x3d224d2d2e
0000202f: BALANCE
00002030: CALLDATASIZE
00002031: CALLVALUE
00002032: KECCAK256
00002033: BALANCE
00002034: CODESIZE
00002035: CALLVALUE
00002036: CALLER
00002037: UNKNOWN(0x2E)
00002038: CALLVALUE
00002039: BALANCE
0000203a: PUSH9 0x31383434562d2e3539
00002044: PUSH9 0x2d313834347a222f3e
0000204e: EXTCODECOPY
0000204f: PUSH17 0x61746820643d224d3535382e3936332031
00002061: CALLER
00002062: CALLDATACOPY
00002063: CALLVALUE
00002064: UNKNOWN(0x2E)
00002065: ORIGIN
00002066: BALANCE
00002067: KECCAK256
00002068: BALANCE
00002069: CODESIZE
0000206a: CALLVALUE
0000206b: CALLER
0000206c: UNKNOWN(0x2E)
0000206d: CODESIZE
0000206e: CALLVALUE
0000206f: UNKNOWN(0x2D)
00002070: UNKNOWN(0x2E)
00002071: CALLDATALOAD
00002072: CODESIZE
00002073: CODESIZE
00002074: BASEFEE
00002075: CALLER
00002076: BALANCE
00002077: ORIGIN
00002078: UNKNOWN(0x2E)
00002079: ADDRESS
0000207a: ADDRESS
0000207b: CALLDATACOPY
0000207c: PUSH27 0x222066696c6c3d2223633763376337222f3e3c7061746820643d22
00002098: UNKNOWN(0x4D)
00002099: BALANCE
0000209a: CODESIZE
0000209b: CALLVALUE
0000209c: CALLER
0000209d: UNKNOWN(0x2E)
0000209e: CALLDATALOAD
0000209f: CALLDATALOAD
000020a0: UNKNOWN(0x2D)
000020a1: UNKNOWN(0x2E)
000020a2: CALLER
000020a3: CALLDATACOPY
000020a4: CALLDATALOAD
000020a5: JUMP
000020a6: BALANCE
000020a7: CODESIZE
000020a8: CALLVALUE
000020a9: ORIGIN
000020aa: UNKNOWN(0x2E)
000020ab: CALLDATALOAD
000020ac: UNKNOWN(0x4C)
000020ad: CALLDATALOAD
000020ae: CALLDATALOAD
000020af: CODECOPY
000020b0: KECCAK256
000020b1: BALANCE
000020b2: CALLER
000020b3: CALLDATACOPY
000020b4: CALLVALUE
000020b5: UNKNOWN(0x2E)
000020b6: CALLDATALOAD
000020b7: PUSH27 0x4d3331322d2e353632203535382e373520313337342e352d2e3135
000020d3: CALLDATASIZE
000020d4: KECCAK256
000020d5: BALANCE
000020d6: CODESIZE
000020d7: CALLVALUE
000020d8: CALLER
000020d9: UNKNOWN(0x2E)
000020da: CALLER
000020db: CALLVALUE
000020dc: PUSH27 0x222066696c6c3d2223616161222f3e3c6720786d6c6e733d226874
000020f8: PUSH21 0x703a2f2f7777772e77332e6f72672f323030302f73
0000210e: PUSH23 0x67223e3c706174682066696c6c3d222338373166323322
00002126: KECCAK256
00002127: PUSH5 0x3d224d3132
0000212d: CALLVALUE
0000212e: UNKNOWN(0x2E)
0000212f: CALLDATACOPY
00002130: ORIGIN
00002131: CALLDATASIZE
00002132: KECCAK256
00002133: BALANCE
00002134: ORIGIN
00002135: CALLDATALOAD
00002136: UNKNOWN(0x2E)
00002137: CALLDATACOPY
00002138: CODECOPY
00002139: PUSH9 0x392e36763130352e36
00002143: PUSH9 0x2d392e367a6d31392e
0000214d: ORIGIN
0000214e: KECCAK256
0000214f: BALANCE
00002150: CODECOPY
00002151: UNKNOWN(0x2E)
00002152: ORIGIN
00002153: PUSH9 0x392e367638362e3468
0000215d: UNKNOWN(0x2D)
0000215e: CODECOPY
0000215f: UNKNOWN(0x2E)
00002160: CALLDATASIZE
00002161: PUSH27 0x6d31392e322031392e3268392e36763438682d392e367a6d35372e
0000217d: CALLDATASIZE
0000217e: ADDRESS
0000217f: BALANCE
00002180: UNKNOWN(0x2D)
00002181: CALLER
00002182: CODESIZE
00002183: UNKNOWN(0x2E)
00002184: CALLVALUE
00002185: PUSH9 0x392e36763130352e36
0000218f: PUSH9 0x2d392e367a6d2d3139
00002199: UNKNOWN(0x2E)
0000219a: ORIGIN
0000219b: KECCAK256
0000219c: BALANCE
0000219d: CODECOPY
0000219e: UNKNOWN(0x2E)
0000219f: ORIGIN
000021a0: PUSH9 0x392e367636372e3268
000021aa: UNKNOWN(0x2D)
000021ab: CODECOPY
000021ac: UNKNOWN(0x2E)
000021ad: CALLDATASIZE
000021ae: PUSH27 0x6d2d31392e3230312031392e3268392e367632382e38682d392e36
000021ca: PUSH27 0x222f3e3c706174682066696c6c3d22233837316632332220643d22
000021e6: UNKNOWN(0x4D)
000021e7: ORIGIN
000021e8: CALLER
000021e9: ADDRESS
000021ea: UNKNOWN(0x2E)
000021eb: CALLER
000021ec: ORIGIN
000021ed: CALLDATASIZE
000021ee: KECCAK256
000021ef: BALANCE
000021f0: ORIGIN
000021f1: CALLDATALOAD
000021f2: UNKNOWN(0x2E)
000021f3: CALLDATACOPY
000021f4: CODESIZE
000021f5: CODESIZE
000021f6: PUSH23 0x392e36682d3130352e36762d392e367a6d2d31392e3220
0000220e: BALANCE
0000220f: CODECOPY
00002210: UNKNOWN(0x2E)
00002211: ORIGIN
00002212: PUSH23 0x392e36682d36372e32762d392e367a6d2d31392e323031
0000222a: KECCAK256
0000222b: BALANCE
0000222c: CODECOPY
0000222d: UNKNOWN(0x2E)
0000222e: ORIGIN
0000222f: PUSH23 0x392e36682d32382e38762d392e367a6d33382e34303120
00002247: CALLDATALOAD
00002248: CALLDATACOPY
00002249: UNKNOWN(0x2E)
0000224a: CALLDATASIZE
0000224b: PUSH23 0x392e36682d38362e34762d392e367a6d2d31392e322d31
00002263: CODECOPY
00002264: UNKNOWN(0x2E)
00002265: ORIGIN
00002266: PUSH23 0x392e36682d3438762d392e367a222f3e3c706174682064
0000227e: RETURNDATASIZE
0000227f: UNKNOWN(0x22)
00002280: UNKNOWN(0x4D)
00002281: ORIGIN
00002282: CALLDATASIZE
00002283: CALLDATASIZE
00002284: UNKNOWN(0x2E)
00002285: BALANCE
00002286: CODESIZE
00002287: CALLDATASIZE
00002288: KECCAK256
00002289: ORIGIN
0000228a: BALANCE
0000228b: CALLER
0000228c: UNKNOWN(0x2E)
0000228d: CODECOPY
0000228e: CODESIZE
0000228f: CODESIZE
00002290: PUSH23 0x2d37312e3536326834362e3534347631302e383637682d
000022a8: CALLER
000022a9: CALLER
000022aa: UNKNOWN(0x2E)
000022ab: CALLDATALOAD
000022ac: CODESIZE
000022ad: PUSH23 0x31392e3432376833312e3136387631302e383638682d33
000022c5: BALANCE
000022c6: UNKNOWN(0x2E)
000022c7: BALANCE
000022c8: CALLDATASIZE
000022c9: CODECOPY
000022ca: PUSH23 0x31392e3533346833332e38367631302e3836377a6d3638
000022e2: UNKNOWN(0x2E)
000022e3: CODECOPY
000022e4: ADDRESS
000022e5: CALLDATACOPY
000022e6: UNKNOWN(0x2D)
000022e7: CALLDATACOPY
000022e8: BALANCE
000022e9: UNKNOWN(0x2E)
000022ea: CALLDATALOAD
000022eb: CALLDATASIZE
000022ec: CALLER
000022ed: PUSH23 0x37312e353634682d31322e363439762d37312e3536347a
00002305: PUSH14 0x33332e3831372037322e36313271
00002314: UNKNOWN(0x2D)
00002315: CODESIZE
00002316: UNKNOWN(0x2E)
00002317: ADDRESS
00002318: CALLDATACOPY
00002319: KECCAK256
0000231a: ADDRESS
0000231b: UNKNOWN(0x2D)
0000231c: BALANCE
0000231d: CALLER
0000231e: UNKNOWN(0x2E)
0000231f: CODECOPY
00002320: CALLVALUE
00002321: BALANCE
00002322: UNKNOWN(0x2D)
00002323: CALLER
00002324: UNKNOWN(0x2E)
00002325: CALLER
00002326: CALLDATALOAD
00002327: CALLVALUE
00002328: UNKNOWN(0x2D)
00002329: CALLDATALOAD
0000232a: UNKNOWN(0x2E)
0000232b: CODESIZE
0000232c: CALLER
0000232d: CALLDATASIZE
0000232e: UNKNOWN(0x2D)
0000232f: CALLER
00002330: UNKNOWN(0x2E)
00002331: CALLER
00002332: CODECOPY
00002333: UNKNOWN(0x2D)
00002334: CODESIZE
00002335: UNKNOWN(0x2E)
00002336: CODECOPY
00002337: CODESIZE
00002338: BALANCE
00002339: UNKNOWN(0x2D)
0000233a: CODECOPY
0000233b: UNKNOWN(0x2E)
0000233c: CALLDATALOAD
0000233d: CALLDATACOPY
0000233e: CALLDATALOAD
0000233f: UNKNOWN(0x2D)
00002340: CALLER
00002341: UNKNOWN(0x2E)
00002342: BALANCE
00002343: CALLVALUE
00002344: CALLVALUE
00002345: UNKNOWN(0x2D)
00002346: CALLDATASIZE
00002347: UNKNOWN(0x2E)
00002348: ORIGIN
00002349: ORIGIN
0000234a: UNKNOWN(0x2D)
0000234b: CALLER
0000234c: UNKNOWN(0x2E)
0000234d: BALANCE
0000234e: CALLVALUE
0000234f: CALLDATALOAD
00002350: UNKNOWN(0x2D)
00002351: BALANCE
00002352: CALLVALUE
00002353: UNKNOWN(0x2E)
00002354: CALLDATASIZE
00002355: CALLVALUE
00002356: BALANCE
00002357: KECCAK256
00002358: ADDRESS
00002359: UNKNOWN(0x2D)
0000235a: CODESIZE
0000235b: UNKNOWN(0x2E)
0000235c: ORIGIN
0000235d: CODESIZE
0000235e: KECCAK256
0000235f: CALLER
00002360: UNKNOWN(0x2E)
00002361: BALANCE
00002362: CALLVALUE
00002363: CALLDATALOAD
00002364: UNKNOWN(0x2D)
00002365: BALANCE
00002366: CALLVALUE
00002367: UNKNOWN(0x2E)
00002368: CALLDATALOAD
00002369: CALLER
0000236a: CALLDATACOPY
0000236b: KECCAK256
0000236c: CALLER
0000236d: UNKNOWN(0x2E)
0000236e: BALANCE
0000236f: CODESIZE
00002370: UNKNOWN(0x2D)
00002371: CALLDATASIZE
00002372: UNKNOWN(0x2E)
00002373: ORIGIN
00002374: CODECOPY
00002375: KECCAK256
00002376: CODESIZE
00002377: UNKNOWN(0x2E)
00002378: CODESIZE
00002379: CALLDATACOPY
0000237a: CALLDATALOAD
0000237b: UNKNOWN(0x2D)
0000237c: CODECOPY
0000237d: UNKNOWN(0x2E)
0000237e: CALLDATACOPY
0000237f: CODESIZE
00002380: CALLVALUE
00002381: KECCAK256
00002382: CALLDATALOAD
00002383: UNKNOWN(0x2E)
00002384: CALLDATASIZE
00002385: CODECOPY
00002386: CALLDATACOPY
00002387: UNKNOWN(0x2D)
00002388: CALLER
00002389: UNKNOWN(0x2E)
0000238a: CALLDATALOAD
0000238b: ORIGIN
0000238c: CODESIZE
0000238d: KECCAK256
0000238e: BALANCE
0000238f: CALLER
00002390: UNKNOWN(0x2E)
00002391: CALLER
00002392: CODESIZE
00002393: CALLVALUE
00002394: UNKNOWN(0x2D)
00002395: CALLER
00002396: UNKNOWN(0x2E)
00002397: CALLDATALOAD
00002398: ORIGIN
00002399: CODECOPY
0000239a: KECCAK256
0000239b: CALLVALUE
0000239c: UNKNOWN(0x2E)
0000239d: CODECOPY
0000239e: CALLDATASIZE
0000239f: ORIGIN
000023a0: KECCAK256
000023a1: ADDRESS
000023a2: KECCAK256
000023a3: CODECOPY
000023a4: UNKNOWN(0x2E)
000023a5: CALLER
000023a6: CALLDATASIZE
000023a7: CALLDATALOAD
000023a8: KECCAK256
000023a9: BALANCE
000023aa: UNKNOWN(0x2E)
000023ab: CALLDATASIZE
000023ac: ADDRESS
000023ad: CODESIZE
000023ae: PUSH2 0x3231
000023b1: UNKNOWN(0x2E)
000023b2: BALANCE
000023b3: KECCAK256
000023b4: ORIGIN
000023b5: BALANCE
000023b6: UNKNOWN(0x2E)
000023b7: BALANCE
000023b8: KECCAK256
000023b9: ADDRESS
000023ba: KECCAK256
000023bb: ADDRESS
000023bc: KECCAK256
000023bd: BALANCE
000023be: KECCAK256
000023bf: CALLDATACOPY
000023c0: UNKNOWN(0x2E)
000023c1: CODESIZE
000023c2: ORIGIN
000023c3: CALLDATACOPY
000023c4: KECCAK256
000023c5: CALLVALUE
000023c6: UNKNOWN(0x2E)
000023c7: CODESIZE
000023c8: CODECOPY
000023c9: BALANCE
000023ca: PUSH18 0x332e34323420332e333220352e3338312038
000023dd: UNKNOWN(0x2E)
000023de: CALLVALUE
000023df: CALLDATALOAD
000023e0: CALLDATACOPY
000023e1: KECCAK256
000023e2: BALANCE
000023e3: UNKNOWN(0x2E)
000023e4: CODECOPY
000023e5: CALLDATALOAD
000023e6: CALLDATASIZE
000023e7: KECCAK256
000023e8: CALLDATALOAD
000023e9: UNKNOWN(0x2E)
000023ea: BALANCE
000023eb: ADDRESS
000023ec: BALANCE
000023ed: KECCAK256
000023ee: BALANCE
000023ef: UNKNOWN(0x2E)
000023f0: CODECOPY
000023f1: CALLDATALOAD
000023f2: CALLDATACOPY
000023f3: KECCAK256
000023f4: BALANCE
000023f5: ORIGIN
000023f6: UNKNOWN(0x2E)
000023f7: BALANCE
000023f8: CALLDATASIZE
000023f9: PUSH23 0x332e383739682d34332e393933762d382e353236683331
00002411: UNKNOWN(0x2E)
00002412: CODESIZE
00002413: CALLDATASIZE
00002414: CALLDATACOPY
00002415: PUSH18 0x2d2e3033352d332e3633362d312e3537322d
00002428: CALLDATASIZE
00002429: UNKNOWN(0x2E)
0000242a: CALLVALUE
0000242b: CALLDATASIZE
0000242c: CALLVALUE
0000242d: PUSH2 0x3131
00002430: UNKNOWN(0x2E)
00002431: CALLVALUE
00002432: KECCAK256
00002433: BALANCE
00002434: BALANCE
00002435: UNKNOWN(0x2E)
00002436: CALLVALUE
00002437: KECCAK256
00002438: ADDRESS
00002439: KECCAK256
0000243a: ADDRESS
0000243b: KECCAK256
0000243c: ADDRESS
0000243d: UNKNOWN(0x2D)
0000243e: CALLVALUE
0000243f: UNKNOWN(0x2E)
00002440: ORIGIN
00002441: CODECOPY
00002442: CODESIZE
00002443: UNKNOWN(0x2D)
00002444: CALLVALUE
00002445: UNKNOWN(0x2E)
00002446: CALLDATALOAD
00002447: ADDRESS
00002448: CODECOPY
00002449: PUSH18 0x2d322e3732342d312e3634312d362e333539
0000245c: UNKNOWN(0x2D)
0000245d: BALANCE
0000245e: UNKNOWN(0x2E)
0000245f: CALLDATASIZE
00002460: CALLVALUE
00002461: BALANCE
00002462: UNKNOWN(0x2D)
00002463: CALLER
00002464: UNKNOWN(0x2E)
00002465: CODESIZE
00002466: CALLDATACOPY
00002467: CODESIZE
00002468: KECCAK256
00002469: ADDRESS
0000246a: UNKNOWN(0x2D)
0000246b: CALLDATASIZE
0000246c: UNKNOWN(0x2E)
0000246d: CODESIZE
0000246e: BALANCE
0000246f: CALLDATALOAD
00002470: KECCAK256
00002471: BALANCE
00002472: UNKNOWN(0x2E)
00002473: CODESIZE
00002474: CODESIZE
00002475: CALLDATASIZE
00002476: PUSH2 0x3133
00002479: KECCAK256
0000247a: BALANCE
0000247b: CALLER
0000247c: KECCAK256
0000247d: ADDRESS
0000247e: KECCAK256
0000247f: ADDRESS
00002480: KECCAK256
00002481: ADDRESS
00002482: UNKNOWN(0x2D)
00002483: CALLVALUE
00002484: UNKNOWN(0x2E)
00002485: CALLDATALOAD
00002486: CALLDATACOPY
00002487: CALLDATACOPY
00002488: KECCAK256
00002489: CALLVALUE
0000248a: UNKNOWN(0x2E)
0000248b: CODESIZE
0000248c: CODECOPY
0000248d: ORIGIN
0000248e: PUSH18 0x2d312e36303820332e3030362d312e363432
000024a1: KECCAK256
000024a2: CALLDATASIZE
000024a3: UNKNOWN(0x2E)
000024a4: CALLDATASIZE
000024a5: ADDRESS
000024a6: CALLVALUE
000024a7: PUSH23 0x372e343434713020342e36383220312e37313220382e30
000024bf: CALLER
000024c0: CALLDATASIZE
000024c1: KECCAK256
000024c2: BALANCE
000024c3: UNKNOWN(0x2E)
000024c4: CALLDATACOPY
000024c5: BALANCE
000024c6: ORIGIN
000024c7: KECCAK256
000024c8: CALLER
000024c9: UNKNOWN(0x2E)
000024ca: CALLER
000024cb: ORIGIN
000024cc: KECCAK256
000024cd: CALLVALUE
000024ce: UNKNOWN(0x2E)
000024cf: CALLDATACOPY
000024d0: CODESIZE
000024d1: CALLDATACOPY
000024d2: KECCAK256
000024d3: CALLDATALOAD
000024d4: UNKNOWN(0x2E)
000024d5: BALANCE
000024d6: ADDRESS
000024d7: ORIGIN
000024d8: KECCAK256
000024d9: CALLER
000024da: UNKNOWN(0x2E)
000024db: ADDRESS
000024dc: CALLDATACOPY
000024dd: CALLDATALOAD
000024de: KECCAK256
000024df: BALANCE
000024e0: UNKNOWN(0x2E)
000024e1: CALLDATACOPY
000024e2: CALLVALUE
000024e3: CODESIZE
000024e4: KECCAK256
000024e5: CALLDATACOPY
000024e6: UNKNOWN(0x2E)
000024e7: BALANCE
000024e8: CODECOPY
000024e9: CODECOPY
000024ea: KECCAK256
000024eb: BALANCE
000024ec: UNKNOWN(0x2E)
000024ed: CALLDATACOPY
000024ee: CALLVALUE
000024ef: CODESIZE
000024f0: KECCAK256
000024f1: ORIGIN
000024f2: UNKNOWN(0x2E)
000024f3: CALLDATACOPY
000024f4: CALLDATASIZE
000024f5: KECCAK256
000024f6: ADDRESS
000024f7: KECCAK256
000024f8: CALLVALUE
000024f9: UNKNOWN(0x2E)
000024fa: CODECOPY
000024fb: CODECOPY
000024fc: CALLDATASIZE
000024fd: UNKNOWN(0x2D)
000024fe: UNKNOWN(0x2E)
000024ff: CALLDATACOPY
00002500: CALLDATACOPY
00002501: KECCAK256
00002502: ORIGIN
00002503: UNKNOWN(0x2E)
00002504: ORIGIN
00002505: CALLER
00002506: CALLDATASIZE
00002507: UNKNOWN(0x2D)
00002508: UNKNOWN(0x2E)
00002509: CODESIZE
0000250a: ADDRESS
0000250b: CALLVALUE
0000250c: KECCAK256
0000250d: CALLER
0000250e: UNKNOWN(0x2E)
0000250f: CODESIZE
00002510: CALLDATACOPY
00002511: CODECOPY
00002512: UNKNOWN(0x2D)
00002513: ORIGIN
00002514: UNKNOWN(0x2E)
00002515: CALLER
00002516: CALLVALUE
00002517: PUSH21 0x322e3438312d332e38316c31312e383120312e3332
0000252d: CODESIZE
0000252e: PUSH18 0x2d312e31313620342e3638332d342e323633
00002541: KECCAK256
00002542: CODESIZE
00002543: UNKNOWN(0x2E)
00002544: BALANCE
00002545: CALLDATACOPY
00002546: CALLDATASIZE
00002547: UNKNOWN(0x2D)
00002548: CALLER
00002549: UNKNOWN(0x2E)
0000254a: BALANCE
0000254b: ADDRESS
0000254c: CODESIZE
0000254d: KECCAK256
0000254e: CALLER
0000254f: UNKNOWN(0x2E)
00002550: CALLVALUE
00002551: CALLDATASIZE
00002552: UNKNOWN(0x2D)
00002553: CALLDATACOPY
00002554: UNKNOWN(0x2E)
00002555: CODECOPY
00002556: CALLDATASIZE
00002557: CALLDATACOPY
00002558: KECCAK256
00002559: CALLDATALOAD
0000255a: UNKNOWN(0x2E)
0000255b: CALLER
0000255c: CODESIZE
0000255d: ORIGIN
0000255e: UNKNOWN(0x2D)
0000255f: CALLVALUE
00002560: UNKNOWN(0x2E)
00002561: CODESIZE
00002562: CALLDATALOAD
00002563: CALLDATASIZE
00002564: KECCAK256
00002565: BALANCE
00002566: UNKNOWN(0x2E)
00002567: CODESIZE
00002568: CODESIZE
00002569: CALLDATACOPY
0000256a: UNKNOWN(0x2D)
0000256b: BALANCE
0000256c: BALANCE
0000256d: UNKNOWN(0x2E)
0000256e: BALANCE
0000256f: BALANCE
00002570: ORIGIN
00002571: KECCAK256
00002572: BALANCE
00002573: UNKNOWN(0x2E)
00002574: CODESIZE
00002575: CODESIZE
00002576: CALLDATACOPY
00002577: PUSH14 0x37382e30322d35342e37322d3139
00002586: UNKNOWN(0x2E)
00002587: BALANCE
00002588: BALANCE
00002589: CALLER
0000258a: KECCAK256
0000258b: CALLDATALOAD
0000258c: CALLER
0000258d: UNKNOWN(0x2E)
0000258e: CALLDATASIZE
0000258f: CALLDATACOPY
00002590: BALANCE
00002591: BASEFEE
00002592: CALLVALUE
00002593: BALANCE
00002594: CALLER
00002595: UNKNOWN(0x2E)
00002596: CODESIZE
00002597: CALLVALUE
00002598: PUSH13 0x2d31392e3131342d35332e3637
000025a6: CALLVALUE
000025a7: PUSH9 0x31332e3438386c3132
000025b1: UNKNOWN(0x2E)
000025b2: CALLER
000025b3: CALLER
000025b4: CALLDATALOAD
000025b5: KECCAK256
000025b6: CALLER
000025b7: CODECOPY
000025b8: UNKNOWN(0x2E)
000025b9: CODESIZE
000025ba: CALLDATACOPY
000025bb: ORIGIN
000025bc: PUSH9 0x2e3535396c31322e33
000025c6: CALLDATACOPY
000025c7: UNKNOWN(0x2D)
000025c8: CALLER
000025c9: CODECOPY
000025ca: UNKNOWN(0x2E)
000025cb: CODESIZE
000025cc: CALLDATACOPY
000025cd: ORIGIN
000025ce: PUSH27 0x6d31392e37312035342e373536712d352e31303220302d392e3139
000025ea: BALANCE
000025eb: UNKNOWN(0x2D)
000025ec: BALANCE
000025ed: UNKNOWN(0x2E)
000025ee: CODESIZE
000025ef: BALANCE
000025f0: CODESIZE
000025f1: UNKNOWN(0x2D)
000025f2: CALLVALUE
000025f3: UNKNOWN(0x2E)
000025f4: ADDRESS
000025f5: CALLDATALOAD
000025f6: CALLER
000025f7: UNKNOWN(0x2D)
000025f8: BALANCE
000025f9: UNKNOWN(0x2E)
000025fa: CODESIZE
000025fb: CALLDATALOAD
000025fc: ORIGIN
000025fd: UNKNOWN(0x2D)
000025fe: CALLDATASIZE
000025ff: UNKNOWN(0x2E)
00002600: CALLVALUE
00002601: ORIGIN
00002602: CODECOPY
00002603: UNKNOWN(0x2D)
00002604: CALLDATALOAD
00002605: UNKNOWN(0x2E)
00002606: CALLVALUE
00002607: CALLDATALOAD
00002608: ORIGIN
00002609: UNKNOWN(0x2D)
0000260a: ORIGIN
0000260b: UNKNOWN(0x2E)
0000260c: CALLER
0000260d: CALLVALUE
0000260e: UNKNOWN(0x2D)
0000260f: CALLER
00002610: UNKNOWN(0x2E)
00002611: CALLDATALOAD
00002612: CODECOPY
00002613: CODECOPY
00002614: UNKNOWN(0x2D)
00002615: ORIGIN
00002616: UNKNOWN(0x2E)
00002617: CALLER
00002618: CALLVALUE
00002619: UNKNOWN(0x2D)
0000261a: CODESIZE
0000261b: UNKNOWN(0x2E)
0000261c: CODESIZE
0000261d: CALLDATACOPY
0000261e: CALLDATALOAD
0000261f: KECCAK256
00002620: ADDRESS
00002621: UNKNOWN(0x2D)
00002622: CALLVALUE
00002623: UNKNOWN(0x2E)
00002624: CALLDATALOAD
00002625: CALLVALUE
00002626: ORIGIN
00002627: KECCAK256
00002628: BALANCE
00002629: UNKNOWN(0x2E)
0000262a: CALLDATASIZE
0000262b: CALLDATACOPY
0000262c: CALLDATASIZE
0000262d: UNKNOWN(0x2D)
0000262e: CALLDATACOPY
0000262f: UNKNOWN(0x2E)
00002630: CALLDATALOAD
00002631: BALANCE
00002632: ORIGIN
00002633: PUSH2 0x3132
00002636: UNKNOWN(0x2E)
00002637: CODECOPY
00002638: CALLDATASIZE
00002639: KECCAK256
0000263a: BALANCE
0000263b: ORIGIN
0000263c: UNKNOWN(0x2E)
0000263d: CODECOPY
0000263e: CALLDATASIZE
0000263f: KECCAK256
00002640: ADDRESS
00002641: KECCAK256
00002642: ADDRESS
00002643: KECCAK256
00002644: BALANCE
00002645: KECCAK256
00002646: CALLVALUE
00002647: UNKNOWN(0x2E)
00002648: CALLDATALOAD
00002649: CALLDATACOPY
0000264a: CODESIZE
0000264b: UNKNOWN(0x2D)
0000264c: CALLVALUE
0000264d: UNKNOWN(0x2E)
0000264e: CALLDATACOPY
0000264f: CALLDATALOAD
00002650: ORIGIN
00002651: PUSH18 0x322e392d312e37383220362e3533342d322e
00002664: CALLDATASIZE
00002665: CODECOPY
00002666: ORIGIN
00002667: PUSH2 0x3533
0000266a: KECCAK256
0000266b: CALLDATALOAD
0000266c: CALLER
0000266d: KECCAK256
0000266e: ADDRESS
0000266f: KECCAK256
00002670: ADDRESS
00002671: KECCAK256
00002672: BALANCE
00002673: KECCAK256
00002674: CALLDATACOPY
00002675: UNKNOWN(0x2E)
00002676: CALLDATALOAD
00002677: CODESIZE
00002678: ORIGIN
00002679: UNKNOWN(0x2D)
0000267a: BALANCE
0000267b: UNKNOWN(0x2E)
0000267c: CALLER
0000267d: CALLDATASIZE
0000267e: ORIGIN
0000267f: KECCAK256
00002680: ORIGIN
00002681: CODECOPY
00002682: CODECOPY
00002683: KECCAK256
00002684: ORIGIN
00002685: CODECOPY
00002686: CODECOPY
00002687: KECCAK256
00002688: ADDRESS
00002689: KECCAK256
0000268a: ADDRESS
0000268b: KECCAK256
0000268c: ADDRESS
0000268d: KECCAK256
0000268e: CALLDATACOPY
0000268f: UNKNOWN(0x2E)
00002690: CALLDATASIZE
00002691: CALLDATALOAD
00002692: CALLER
00002693: UNKNOWN(0x2D)
00002694: UNKNOWN(0x2E)
00002695: CODESIZE
00002696: CALLDATACOPY
00002697: CALLER
00002698: PUSH18 0x322e3933352d2e343220342e3236332d312e
000026ab: ORIGIN
000026ac: CALLDATALOAD
000026ad: CODECOPY
000026ae: KECCAK256
000026af: BALANCE
000026b0: UNKNOWN(0x2E)
000026b1: CALLER
000026b2: CALLDATASIZE
000026b3: ORIGIN
000026b4: UNKNOWN(0x2D)
000026b5: UNKNOWN(0x2E)
000026b6: CODESIZE
000026b7: CALLDATACOPY
000026b8: ORIGIN
000026b9: KECCAK256
000026ba: BALANCE
000026bb: UNKNOWN(0x2E)
000026bc: CALLER
000026bd: CALLDATASIZE
000026be: ORIGIN
000026bf: UNKNOWN(0x2D)
000026c0: ORIGIN
000026c1: UNKNOWN(0x2E)
000026c2: CALLDATASIZE
000026c3: CODECOPY
000026c4: PUSH23 0x2d2e323171302d332e3934382d322e33342d362e313136
000026dc: UNKNOWN(0x2D)
000026dd: ORIGIN
000026de: UNKNOWN(0x2E)
000026df: CALLER
000026e0: CALLVALUE
000026e1: UNKNOWN(0x2D)
000026e2: ORIGIN
000026e3: UNKNOWN(0x2E)
000026e4: BALANCE
000026e5: CALLDATASIZE
000026e6: CALLDATASIZE
000026e7: UNKNOWN(0x2D)
000026e8: CALLDATASIZE
000026e9: UNKNOWN(0x2E)
000026ea: CALLDATACOPY
000026eb: CALLVALUE
000026ec: CALLDATALOAD
000026ed: UNKNOWN(0x2D)
000026ee: ORIGIN
000026ef: UNKNOWN(0x2E)
000026f0: BALANCE
000026f1: CALLDATASIZE
000026f2: CALLDATASIZE
000026f3: UNKNOWN(0x2D)
000026f4: CALLVALUE
000026f5: UNKNOWN(0x2E)
000026f6: CALLDATASIZE
000026f7: CALLVALUE
000026f8: CALLDATASIZE
000026f9: KECCAK256
000026fa: ADDRESS
000026fb: UNKNOWN(0x2D)
000026fc: CALLDATACOPY
000026fd: UNKNOWN(0x2E)
000026fe: CALLER
000026ff: CALLDATACOPY
00002700: CALLER
00002701: KECCAK256
00002702: ORIGIN
00002703: UNKNOWN(0x2E)
00002704: ADDRESS
00002705: ORIGIN
00002706: CALLDATACOPY
00002707: UNKNOWN(0x2D)
00002708: ORIGIN
00002709: UNKNOWN(0x2E)
0000270a: CALLDATASIZE
0000270b: CODECOPY
0000270c: KECCAK256
0000270d: ORIGIN
0000270e: UNKNOWN(0x2E)
0000270f: ADDRESS
00002710: ORIGIN
00002711: CALLDATACOPY
00002712: UNKNOWN(0x2D)
00002713: CALLER
00002714: UNKNOWN(0x2E)
00002715: CALLDATASIZE
00002716: CALLER
00002717: CALLER
00002718: KECCAK256
00002719: CALLVALUE
0000271a: UNKNOWN(0x2E)
0000271b: CALLDATACOPY
0000271c: CODESIZE
0000271d: CODESIZE
0000271e: PUSH13 0x2d31312e38312d312e36373771
0000272c: BALANCE
0000272d: UNKNOWN(0x2E)
0000272e: CALLER
0000272f: CODECOPY
00002730: CALLDATASIZE
00002731: UNKNOWN(0x2D)
00002732: CALLVALUE
00002733: UNKNOWN(0x2E)
00002734: CODESIZE
00002735: CODECOPY
00002736: CALLVALUE
00002737: KECCAK256
00002738: CALLVALUE
00002739: UNKNOWN(0x2E)
0000273a: CALLDATASIZE
0000273b: BALANCE
0000273c: BALANCE
0000273d: UNKNOWN(0x2D)
0000273e: CODESIZE
0000273f: UNKNOWN(0x2E)
00002740: BALANCE
00002741: CALLDATACOPY
00002742: CALLDATACOPY
00002743: KECCAK256
00002744: CALLER
00002745: UNKNOWN(0x2E)
00002746: ORIGIN
00002747: BALANCE
00002748: CALLDATALOAD
00002749: UNKNOWN(0x2D)
0000274a: CALLER
0000274b: UNKNOWN(0x2E)
0000274c: CALLER
0000274d: ORIGIN
0000274e: KECCAK256
0000274f: CALLDATACOPY
00002750: UNKNOWN(0x2E)
00002751: CODESIZE
00002752: CALLDATASIZE
00002753: ORIGIN
00002754: UNKNOWN(0x2D)
00002755: CALLVALUE
00002756: UNKNOWN(0x2E)
00002757: CODECOPY
00002758: CALLDATASIZE
00002759: ORIGIN
0000275a: KECCAK256
0000275b: CALLVALUE
0000275c: UNKNOWN(0x2E)
0000275d: CALLDATASIZE
0000275e: CALLVALUE
0000275f: CODESIZE
00002760: UNKNOWN(0x2D)
00002761: BALANCE
00002762: UNKNOWN(0x2E)
00002763: CALLDATASIZE
00002764: CALLDATACOPY
00002765: CODESIZE
00002766: KECCAK256
00002767: BALANCE
00002768: ADDRESS
00002769: UNKNOWN(0x2E)
0000276a: ORIGIN
0000276b: CALLDATACOPY
0000276c: CALLVALUE
0000276d: UNKNOWN(0x2D)
0000276e: BALANCE
0000276f: UNKNOWN(0x2E)
00002770: CALLDATASIZE
00002771: CALLDATACOPY
00002772: CODESIZE
00002773: KECCAK256
00002774: CALLER
00002775: UNKNOWN(0x2E)
00002776: CODESIZE
00002777: CALLDATACOPY
00002778: CODESIZE
00002779: KECCAK256
0000277a: ADDRESS
0000277b: KECCAK256
0000277c: CALLDATACOPY
0000277d: UNKNOWN(0x2E)
0000277e: CALLDATACOPY
0000277f: ORIGIN
00002780: CALLER
00002781: UNKNOWN(0x2E)
00002782: CODECOPY
00002783: ADDRESS
00002784: CODECOPY
00002785: PUSH2 0x3231
00002788: UNKNOWN(0x2E)
00002789: CALLDATACOPY
0000278a: KECCAK256
0000278b: ORIGIN
0000278c: BALANCE
0000278d: UNKNOWN(0x2E)
0000278e: CALLDATACOPY
0000278f: KECCAK256
00002790: ADDRESS
00002791: KECCAK256
00002792: ADDRESS
00002793: KECCAK256
00002794: BALANCE
00002795: KECCAK256
00002796: CALLDATACOPY
00002797: UNKNOWN(0x2E)
00002798: ADDRESS
00002799: ORIGIN
0000279a: CALLER
0000279b: KECCAK256
0000279c: CALLER
0000279d: UNKNOWN(0x2E)
0000279e: ADDRESS
0000279f: ADDRESS
000027a0: CALLVALUE
000027a1: PUSH18 0x332e313820322e30363220352e3130322035
000027b4: UNKNOWN(0x2E)
000027b5: CALLDATASIZE
000027b6: ORIGIN
000027b7: CALLDATASIZE
000027b8: KECCAK256
000027b9: BALANCE
000027ba: UNKNOWN(0x2E)
000027bb: CODECOPY
000027bc: CALLDATALOAD
000027bd: CALLDATASIZE
000027be: KECCAK256
000027bf: CALLER
000027c0: UNKNOWN(0x2E)
000027c1: CALLDATALOAD
000027c2: CALLDATASIZE
000027c3: CALLVALUE
000027c4: KECCAK256
000027c5: BALANCE
000027c6: UNKNOWN(0x2E)
000027c7: CODECOPY
000027c8: CALLDATALOAD
000027c9: CALLDATACOPY
000027ca: KECCAK256
000027cb: CODESIZE
000027cc: UNKNOWN(0x2E)
000027cd: CODECOPY
000027ce: BALANCE
000027cf: BALANCE
000027d0: PUSH23 0x33352e393231682d31322e313631762d372e333734682d
000027e8: UNKNOWN(0x2E)
000027e9: CALLVALUE
000027ea: BALANCE
000027eb: CODECOPY
000027ec: PUSH18 0x2d312e31353420322e3233372d332e323520
000027ff: CALLVALUE
00002800: UNKNOWN(0x2E)
00002801: BALANCE
00002802: CODECOPY
00002803: CALLVALUE
00002804: UNKNOWN(0x2D)
00002805: ORIGIN
00002806: UNKNOWN(0x2E)
00002807: ADDRESS
00002808: CALLDATASIZE
00002809: ORIGIN
0000280a: KECCAK256
0000280b: BALANCE
0000280c: UNKNOWN(0x2E)
0000280d: CODECOPY
0000280e: ORIGIN
0000280f: BALANCE
00002810: UNKNOWN(0x2D)
00002811: CALLDATALOAD
00002812: UNKNOWN(0x2E)
00002813: ORIGIN
00002814: ADDRESS
00002815: CALLDATASIZE
00002816: KECCAK256
00002817: CALLER
00002818: UNKNOWN(0x2E)
00002819: BALANCE
0000281a: BALANCE
0000281b: UNKNOWN(0x2D)
0000281c: CALLER
0000281d: UNKNOWN(0x2E)
0000281e: BALANCE
0000281f: BALANCE
00002820: KECCAK256
00002821: BALANCE
00002822: UNKNOWN(0x2E)
00002823: BALANCE
00002824: CALLDATALOAD
00002825: ORIGIN
00002826: UNKNOWN(0x2D)
00002827: CALLDATACOPY
00002828: UNKNOWN(0x2E)
00002829: CALLER
0000282a: ADDRESS
0000282b: CALLER
0000282c: KECCAK256
0000282d: BALANCE
0000282e: UNKNOWN(0x2E)
0000282f: BALANCE
00002830: CALLDATALOAD
00002831: ORIGIN
00002832: PUSH14 0x332e3238342d392e32393571332e
00002841: CODESIZE
00002842: ADDRESS
00002843: CODECOPY
00002844: KECCAK256
00002845: ADDRESS
00002846: KECCAK256
00002847: CALLDATASIZE
00002848: UNKNOWN(0x2E)
00002849: CALLDATASIZE
0000284a: ADDRESS
0000284b: CALLDATALOAD
0000284c: UNKNOWN(0x2D)
0000284d: BALANCE
0000284e: UNKNOWN(0x2E)
0000284f: CALLDATALOAD
00002850: ADDRESS
00002851: CALLER
00002852: KECCAK256
00002853: ORIGIN
00002854: UNKNOWN(0x2E)
00002855: CALLDATACOPY
00002856: CODECOPY
00002857: CALLDATASIZE
00002858: UNKNOWN(0x2D)
00002859: BALANCE
0000285a: UNKNOWN(0x2E)
0000285b: CALLDATALOAD
0000285c: CALLER
0000285d: CODESIZE
0000285e: KECCAK256
0000285f: CALLVALUE
00002860: UNKNOWN(0x2E)
00002861: ORIGIN
00002862: CODECOPY
00002863: CALLDATACOPY
00002864: UNKNOWN(0x2D)
00002865: CALLVALUE
00002866: UNKNOWN(0x2E)
00002867: ADDRESS
00002868: CALLDATALOAD
00002869: CALLER
0000286a: PUSH2 0x3130
0000286d: UNKNOWN(0x2E)
0000286e: CALLER
0000286f: KECCAK256
00002870: BALANCE
00002871: ADDRESS
00002872: UNKNOWN(0x2E)
00002873: CALLER
00002874: KECCAK256
00002875: ADDRESS
00002876: KECCAK256
00002877: ADDRESS
00002878: KECCAK256
00002879: ADDRESS
0000287a: KECCAK256
0000287b: BALANCE
0000287c: UNKNOWN(0x2E)
0000287d: CALLDATALOAD
0000287e: CALLER
0000287f: CODESIZE
00002880: UNKNOWN(0x2D)
00002881: CALLDATALOAD
00002882: UNKNOWN(0x2E)
00002883: CALLVALUE
00002884: CODESIZE
00002885: CALLDATASIZE
00002886: PUSH23 0x2d362e333234712d2e3539342e3438382d322e3032362e
0000289e: CODECOPY
0000289f: ADDRESS
000028a0: CALLDATACOPY
000028a1: UNKNOWN(0x2D)
000028a2: BALANCE
000028a3: UNKNOWN(0x2E)
000028a4: CALLER
000028a5: CODECOPY
000028a6: CODESIZE
000028a7: UNKNOWN(0x2E)
000028a8: CALLVALUE
000028a9: ORIGIN
000028aa: UNKNOWN(0x2D)
000028ab: CALLER
000028ac: UNKNOWN(0x2E)
000028ad: BALANCE
000028ae: CALLVALUE
000028af: CALLDATASIZE
000028b0: UNKNOWN(0x2E)
000028b1: CALLDATACOPY
000028b2: CALLER
000028b3: CALLVALUE
000028b4: PUSH2 0x3937
000028b7: KECCAK256
000028b8: CODECOPY
000028b9: CALLDATACOPY
000028ba: KECCAK256
000028bb: ADDRESS
000028bc: KECCAK256
000028bd: ADDRESS
000028be: KECCAK256
000028bf: BALANCE
000028c0: UNKNOWN(0x2D)
000028c1: CALLER
000028c2: UNKNOWN(0x2E)
000028c3: CALLVALUE
000028c4: CALLDATASIZE
000028c5: UNKNOWN(0x2E)
000028c6: CALLDATALOAD
000028c7: CALLDATASIZE
000028c8: KECCAK256
000028c9: CALLDATACOPY
000028ca: CALLDATACOPY
000028cb: CODESIZE
000028cc: KECCAK256
000028cd: CALLDATACOPY
000028ce: CALLDATACOPY
000028cf: CODESIZE
000028d0: KECCAK256
000028d1: ADDRESS
000028d2: KECCAK256
000028d3: ADDRESS
000028d4: KECCAK256
000028d5: BALANCE
000028d6: UNKNOWN(0x2D)
000028d7: ORIGIN
000028d8: UNKNOWN(0x2E)
000028d9: CODECOPY
000028da: CALLDATACOPY
000028db: UNKNOWN(0x2E)
000028dc: CALLVALUE
000028dd: ORIGIN
000028de: PUSH18 0x2d322e38332e3338342d352e30363620312e
000028f1: ORIGIN
000028f2: CALLDATALOAD
000028f3: CALLDATASIZE
000028f4: UNKNOWN(0x2D)
000028f5: ORIGIN
000028f6: UNKNOWN(0x2E)
000028f7: ORIGIN
000028f8: CALLER
000028f9: CALLDATASIZE
000028fa: UNKNOWN(0x2E)
000028fb: CODESIZE
000028fc: CALLDATACOPY
000028fd: CALLVALUE
000028fe: UNKNOWN(0x2D)
000028ff: CALLER
00002900: UNKNOWN(0x2E)
00002901: CALLDATALOAD
00002902: ORIGIN
00002903: CODECOPY
00002904: KECCAK256
00002905: ORIGIN
00002906: UNKNOWN(0x2E)
00002907: CALLVALUE
00002908: CALLVALUE
00002909: CALLDATACOPY
0000290a: UNKNOWN(0x2D)
0000290b: BALANCE
0000290c: UNKNOWN(0x2E)
0000290d: ORIGIN
0000290e: CODECOPY
0000290f: CALLER
00002910: KECCAK256
00002911: BALANCE
00002912: UNKNOWN(0x2E)
00002913: CALLDATALOAD
00002914: CALLER
00002915: CALLDATASIZE
00002916: UNKNOWN(0x2D)
00002917: BALANCE
00002918: UNKNOWN(0x2E)
00002919: ORIGIN
0000291a: CODECOPY
0000291b: CALLER
0000291c: KECCAK256
0000291d: CALLER
0000291e: UNKNOWN(0x2E)
0000291f: CODECOPY
00002920: CODESIZE
00002921: CALLVALUE
00002922: KECCAK256
00002923: ADDRESS
00002924: KECCAK256
00002925: CALLER
00002926: UNKNOWN(0x2E)
00002927: CALLVALUE
00002928: CODECOPY
00002929: ORIGIN
0000292a: KECCAK256
0000292b: ORIGIN
0000292c: UNKNOWN(0x2E)
0000292d: CALLDATALOAD
0000292e: CALLDATALOAD
0000292f: KECCAK256
00002930: CALLDATALOAD
00002931: UNKNOWN(0x2E)
00002932: ORIGIN
00002933: CALLDATACOPY
00002934: CALLDATALOAD
00002935: PUSH21 0x362e3520312e3738336d35342e373420392e313535
0000294b: PUSH18 0x2d362e33323620302d31312e3332332d332e
0000295e: ORIGIN
0000295f: CALLDATALOAD
00002960: UNKNOWN(0x2D)
00002961: CALLVALUE
00002962: UNKNOWN(0x2E)
00002963: CODECOPY
00002964: CODECOPY
00002965: CALLDATALOAD
00002966: UNKNOWN(0x2D)
00002967: CALLER
00002968: UNKNOWN(0x2E)
00002969: ORIGIN
0000296a: CALLDATALOAD
0000296b: UNKNOWN(0x2D)
0000296c: CALLDATACOPY
0000296d: UNKNOWN(0x2E)
0000296e: CODESIZE
0000296f: CODECOPY
00002970: CALLDATACOPY
00002971: UNKNOWN(0x2D)
00002972: CODECOPY
00002973: UNKNOWN(0x2E)
00002974: CALLVALUE
00002975: CALLER
00002976: CALLVALUE
00002977: UNKNOWN(0x2D)
00002978: ORIGIN
00002979: UNKNOWN(0x2E)
0000297a: CODECOPY
0000297b: UNKNOWN(0x2D)
0000297c: CALLDATASIZE
0000297d: UNKNOWN(0x2E)
0000297e: BALANCE
0000297f: CODESIZE
00002980: CALLDATASIZE
00002981: UNKNOWN(0x2D)
00002982: ORIGIN
00002983: UNKNOWN(0x2E)
00002984: CODECOPY
00002985: UNKNOWN(0x2D)
00002986: BALANCE
00002987: CALLDATALOAD
00002988: UNKNOWN(0x2E)
00002989: ADDRESS
0000298a: ORIGIN
0000298b: CALLDATASIZE
0000298c: KECCAK256
0000298d: ADDRESS
0000298e: UNKNOWN(0x2D)
0000298f: CODESIZE
00002990: UNKNOWN(0x2E)
00002991: CODECOPY
00002992: CALLVALUE
00002993: CALLDATASIZE
00002994: KECCAK256
00002995: ORIGIN
00002996: UNKNOWN(0x2E)
00002997: CODECOPY
00002998: CALLER
00002999: CALLDATASIZE
0000299a: UNKNOWN(0x2D)
0000299b: BALANCE
0000299c: CALLDATALOAD
0000299d: UNKNOWN(0x2E)
0000299e: ADDRESS
0000299f: CODECOPY
000029a0: CALLDATASIZE
000029a1: KECCAK256
000029a2: ORIGIN
000029a3: UNKNOWN(0x2E)
000029a4: CODECOPY
000029a5: CALLDATACOPY
000029a6: UNKNOWN(0x2D)
000029a7: CALLDATASIZE
000029a8: UNKNOWN(0x2E)
000029a9: BALANCE
000029aa: CODESIZE
000029ab: CALLVALUE
000029ac: KECCAK256
000029ad: CODESIZE
000029ae: UNKNOWN(0x2E)
000029af: ADDRESS
000029b0: ADDRESS
000029b1: ORIGIN
000029b2: UNKNOWN(0x2D)
000029b3: CODECOPY
000029b4: UNKNOWN(0x2E)
000029b5: CALLER
000029b6: CALLER
000029b7: KECCAK256
000029b8: CALLDATALOAD
000029b9: UNKNOWN(0x2E)
000029ba: ADDRESS
000029bb: CALLER
000029bc: BALANCE
000029bd: UNKNOWN(0x2D)
000029be: CALLER
000029bf: UNKNOWN(0x2E)
000029c0: BALANCE
000029c1: CODESIZE
000029c2: KECCAK256
000029c3: BALANCE
000029c4: BALANCE
000029c5: UNKNOWN(0x2E)
000029c6: ORIGIN
000029c7: BALANCE
000029c8: CALLDATASIZE
000029c9: UNKNOWN(0x2D)
000029ca: CALLER
000029cb: UNKNOWN(0x2E)
000029cc: BALANCE
000029cd: CODESIZE
000029ce: KECCAK256
000029cf: CALLVALUE
000029d0: UNKNOWN(0x2E)
000029d1: CALLDATACOPY
000029d2: BALANCE
000029d3: CALLDATACOPY
000029d4: KECCAK256
000029d5: ADDRESS
000029d6: KECCAK256
000029d7: CALLDATACOPY
000029d8: UNKNOWN(0x2E)
000029d9: CALLDATACOPY
000029da: CALLDATALOAD
000029db: CODESIZE
000029dc: KECCAK256
000029dd: BALANCE
000029de: UNKNOWN(0x2E)
000029df: CALLDATASIZE
000029e0: ADDRESS
000029e1: CODECOPY
000029e2: KECCAK256
000029e3: CALLER
000029e4: UNKNOWN(0x2E)
000029e5: ADDRESS
000029e6: CALLVALUE
000029e7: KECCAK256
000029e8: BALANCE
000029e9: UNKNOWN(0x2E)
000029ea: CALLDATALOAD
000029eb: CALLDATACOPY
000029ec: ORIGIN
000029ed: KECCAK256
000029ee: CALLVALUE
000029ef: UNKNOWN(0x2E)
000029f0: CODESIZE
000029f1: ORIGIN
000029f2: ORIGIN
000029f3: KECCAK256
000029f4: CALLER
000029f5: UNKNOWN(0x2E)
000029f6: CODESIZE
000029f7: ADDRESS
000029f8: CALLDATACOPY
000029f9: KECCAK256
000029fa: BALANCE
000029fb: UNKNOWN(0x2E)
000029fc: CALLDATACOPY
000029fd: CODESIZE
000029fe: ORIGIN
000029ff: KECCAK256
00002a00: ORIGIN
00002a01: UNKNOWN(0x2E)
00002a02: ORIGIN
00002a03: ADDRESS
00002a04: BALANCE
00002a05: KECCAK256
00002a06: ORIGIN
00002a07: UNKNOWN(0x2E)
00002a08: CALLDATACOPY
00002a09: CALLDATASIZE
00002a0a: KECCAK256
00002a0b: CALLVALUE
00002a0c: UNKNOWN(0x2E)
00002a0d: BALANCE
00002a0e: CALLDATASIZE
00002a0f: PUSH9 0x2e353234762d32362e
00002a19: CALLDATACOPY
00002a1a: CALLDATASIZE
00002a1b: CALLDATALOAD
00002a1c: PUSH9 0x31322e363835763731
00002a26: UNKNOWN(0x2E)
00002a27: CALLDATALOAD
00002a28: CALLDATASIZE
00002a29: CALLVALUE
00002a2a: PUSH9 0x2d31322e3434762d38
00002a34: UNKNOWN(0x2E)
00002a35: CALLVALUE
00002a36: CALLDATALOAD
00002a37: CALLDATASIZE
00002a38: PUSH9 0x2d2e373638712d2e39
00002a42: CODESIZE
00002a43: KECCAK256
00002a44: BALANCE
00002a45: UNKNOWN(0x2E)
00002a46: CODECOPY
00002a47: CALLDATALOAD
00002a48: CALLDATASIZE
00002a49: UNKNOWN(0x2D)
00002a4a: ORIGIN
00002a4b: UNKNOWN(0x2E)
00002a4c: CODESIZE
00002a4d: CALLER
00002a4e: BALANCE
00002a4f: KECCAK256
00002a50: CALLVALUE
00002a51: UNKNOWN(0x2E)
00002a52: BALANCE
00002a53: CALLDATALOAD
00002a54: CODESIZE
00002a55: UNKNOWN(0x2D)
00002a56: BALANCE
00002a57: UNKNOWN(0x2E)
00002a58: CODESIZE
00002a59: CALLDATALOAD
00002a5a: ORIGIN
00002a5b: KECCAK256
00002a5c: ORIGIN
00002a5d: UNKNOWN(0x2E)
00002a5e: BALANCE
00002a5f: CALLDATASIZE
00002a60: CALLDATASIZE
00002a61: UNKNOWN(0x2D)
00002a62: CALLVALUE
00002a63: UNKNOWN(0x2E)
00002a64: CODESIZE
00002a65: CODECOPY
00002a66: ORIGIN
00002a67: KECCAK256
00002a68: CALLER
00002a69: UNKNOWN(0x2E)
00002a6a: CALLDATACOPY
00002a6b: ADDRESS
00002a6c: CALLVALUE
00002a6d: UNKNOWN(0x2D)
00002a6e: CALLER
00002a6f: UNKNOWN(0x2E)
00002a70: ADDRESS
00002a71: CALLVALUE
00002a72: KECCAK256
00002a73: BALANCE
00002a74: UNKNOWN(0x2E)
00002a75: CALLDATALOAD
00002a76: CALLER
00002a77: CALLDATASIZE
00002a78: UNKNOWN(0x2D)
00002a79: CALLDATACOPY
00002a7a: UNKNOWN(0x2E)
00002a7b: CALLDATASIZE
00002a7c: CALLDATALOAD
00002a7d: CALLER
00002a7e: KECCAK256
00002a7f: BALANCE
00002a80: UNKNOWN(0x2E)
00002a81: CALLDATALOAD
00002a82: CALLER
00002a83: CALLDATASIZE
00002a84: PUSH14 0x332e35332d31302e33373971342e
00002a93: ADDRESS
00002a94: BALANCE
00002a95: CODESIZE
00002a96: KECCAK256
00002a97: ADDRESS
00002a98: KECCAK256
00002a99: CALLDATASIZE
00002a9a: UNKNOWN(0x2E)
00002a9b: CODESIZE
00002a9c: CALLVALUE
00002a9d: CODECOPY
00002a9e: UNKNOWN(0x2D)
00002a9f: ORIGIN
00002aa0: UNKNOWN(0x2E)
00002aa1: BALANCE
00002aa2: CALLDATASIZE
00002aa3: CALLDATASIZE
00002aa4: KECCAK256
00002aa5: ORIGIN
00002aa6: UNKNOWN(0x2E)
00002aa7: CODESIZE
00002aa8: CALLER
00002aa9: UNKNOWN(0x2D)
00002aaa: ORIGIN
00002aab: UNKNOWN(0x2E)
00002aac: ORIGIN
00002aad: ADDRESS
00002aae: ORIGIN
00002aaf: KECCAK256
00002ab0: CALLVALUE
00002ab1: UNKNOWN(0x2E)
00002ab2: ORIGIN
00002ab3: CODECOPY
00002ab4: CALLDATACOPY
00002ab5: UNKNOWN(0x2D)
00002ab6: CALLDATASIZE
00002ab7: UNKNOWN(0x2E)
00002ab8: BALANCE
00002ab9: BALANCE
00002aba: CALLDATALOAD
00002abb: KECCAK256
00002abc: BALANCE
00002abd: UNKNOWN(0x2E)
00002abe: CALLVALUE
00002abf: CALLDATASIZE
00002ac0: CODECOPY
00002ac1: UNKNOWN(0x2D)
00002ac2: CALLER
00002ac3: UNKNOWN(0x2E)
00002ac4: CODECOPY
00002ac5: BALANCE
00002ac6: CALLER
00002ac7: KECCAK256
00002ac8: BALANCE
00002ac9: UNKNOWN(0x2E)
00002aca: CALLVALUE
00002acb: CALLDATASIZE
00002acc: CODESIZE
00002acd: UNKNOWN(0x2D)
00002ace: CODECOPY
00002acf: UNKNOWN(0x2E)
00002ad0: BALANCE
00002ad1: ORIGIN
00002ad2: KECCAK256
00002ad3: ADDRESS
00002ad4: UNKNOWN(0x2D)
00002ad5: CALLDATALOAD
00002ad6: UNKNOWN(0x2E)
00002ad7: ORIGIN
00002ad8: ADDRESS
00002ad9: CODESIZE
00002ada: UNKNOWN(0x2D)
00002adb: BALANCE
00002adc: UNKNOWN(0x2E)
00002add: CALLVALUE
00002ade: CALLDATASIZE
00002adf: CODESIZE
00002ae0: UNKNOWN(0x2D)
00002ae1: CODECOPY
00002ae2: UNKNOWN(0x2E)
00002ae3: ADDRESS
00002ae4: CALLDATALOAD
00002ae5: UNKNOWN(0x2D)
00002ae6: BALANCE
00002ae7: UNKNOWN(0x2E)
00002ae8: CALLVALUE
00002ae9: CALLER
00002aea: CALLER
00002aeb: UNKNOWN(0x2D)
00002aec: CALLER
00002aed: UNKNOWN(0x2E)
00002aee: CODESIZE
00002aef: CALLVALUE
00002af0: CALLVALUE
00002af1: UNKNOWN(0x2D)
00002af2: CALLVALUE
00002af3: UNKNOWN(0x2E)
00002af4: ORIGIN
00002af5: CALLDATASIZE
00002af6: ORIGIN
00002af7: UNKNOWN(0x2D)
00002af8: CALLDATALOAD
00002af9: UNKNOWN(0x2E)
00002afa: CODECOPY
00002afb: CALLDATACOPY
00002afc: CALLDATASIZE
00002afd: UNKNOWN(0x2D)
00002afe: ORIGIN
00002aff: UNKNOWN(0x2E)
00002b00: CALLDATACOPY
00002b01: CODECOPY
00002b02: CALLDATASIZE
00002b03: UNKNOWN(0x2D)
00002b04: ORIGIN
00002b05: UNKNOWN(0x2E)
00002b06: BALANCE
00002b07: CALLER
00002b08: UNKNOWN(0x2D)
00002b09: CALLDATASIZE
00002b0a: UNKNOWN(0x2E)
00002b0b: CODESIZE
00002b0c: CODESIZE
00002b0d: CALLDATALOAD
00002b0e: UNKNOWN(0x2D)
00002b0f: ORIGIN
00002b10: UNKNOWN(0x2E)
00002b11: BALANCE
00002b12: CALLER
00002b13: BALANCE
00002b14: UNKNOWN(0x2D)
00002b15: CALLVALUE
00002b16: UNKNOWN(0x2E)
00002b17: ORIGIN
00002b18: ORIGIN
00002b19: CODESIZE
00002b1a: KECCAK256
00002b1b: ADDRESS
00002b1c: UNKNOWN(0x2D)
00002b1d: CALLDATACOPY
00002b1e: UNKNOWN(0x2E)
00002b1f: ADDRESS
00002b20: CALLDATALOAD
00002b21: CODESIZE
00002b22: KECCAK256
00002b23: ORIGIN
00002b24: UNKNOWN(0x2E)
00002b25: ORIGIN
00002b26: ADDRESS
00002b27: ORIGIN
00002b28: PUSH21 0x2d342e32363420362e3038712d312e34333120332e
00002b3e: CODESIZE
00002b3f: CALLDATACOPY
00002b40: CALLDATACOPY
00002b41: UNKNOWN(0x2D)
00002b42: BALANCE
00002b43: UNKNOWN(0x2E)
00002b44: CALLVALUE
00002b45: CALLER
00002b46: BALANCE
00002b47: KECCAK256
00002b48: CODESIZE
00002b49: UNKNOWN(0x2E)
00002b4a: CODESIZE
00002b4b: CALLDATACOPY
00002b4c: CALLDATALOAD
00002b4d: KECCAK256
00002b4e: ADDRESS
00002b4f: KECCAK256
00002b50: CALLDATALOAD
00002b51: UNKNOWN(0x2E)
00002b52: ADDRESS
00002b53: CALLER
00002b54: ORIGIN
00002b55: KECCAK256
00002b56: BALANCE
00002b57: UNKNOWN(0x2E)
00002b58: CALLVALUE
00002b59: CALLER
00002b5a: BALANCE
00002b5b: KECCAK256
00002b5c: CODESIZE
00002b5d: UNKNOWN(0x2E)
00002b5e: CODECOPY
00002b5f: CODESIZE
00002b60: BALANCE
00002b61: KECCAK256
00002b62: BALANCE
00002b63: UNKNOWN(0x2E)
00002b64: CALLVALUE
00002b65: CALLDATACOPY
00002b66: KECCAK256
00002b67: CALLER
00002b68: UNKNOWN(0x2E)
00002b69: CODECOPY
00002b6a: BALANCE
00002b6b: CALLER
00002b6c: KECCAK256
00002b6d: CALLVALUE
00002b6e: UNKNOWN(0x2E)
00002b6f: ORIGIN
00002b70: CODECOPY
00002b71: CODECOPY
00002b72: KECCAK256
00002b73: CALLDATASIZE
00002b74: UNKNOWN(0x2E)
00002b75: BALANCE
00002b76: CODESIZE
00002b77: CALLDATALOAD
00002b78: KECCAK256
00002b79: ORIGIN
00002b7a: UNKNOWN(0x2E)
00002b7b: CODESIZE
00002b7c: CALLDATASIZE
00002b7d: CALLDATALOAD
00002b7e: KECCAK256
00002b7f: ORIGIN
00002b80: UNKNOWN(0x2E)
00002b81: ORIGIN
00002b82: CALLER
00002b83: CALLDATALOAD
00002b84: KECCAK256
00002b85: CALLDATACOPY
00002b86: UNKNOWN(0x2E)
00002b87: ADDRESS
00002b88: ORIGIN
00002b89: CALLER
00002b8a: KECCAK256
00002b8b: ORIGIN
00002b8c: UNKNOWN(0x2E)
00002b8d: ORIGIN
00002b8e: CALLER
00002b8f: CALLDATALOAD
00002b90: PUSH14 0x35382e3939342031302e34383471
00002b9f: UNKNOWN(0x2D)
00002ba0: CALLDATACOPY
00002ba1: UNKNOWN(0x2E)
00002ba2: CODESIZE
00002ba3: CALLDATASIZE
00002ba4: ORIGIN
00002ba5: KECCAK256
00002ba6: ADDRESS
00002ba7: UNKNOWN(0x2D)
00002ba8: BALANCE
00002ba9: CALLER
00002baa: UNKNOWN(0x2E)
00002bab: CALLDATASIZE
00002bac: ORIGIN
00002bad: CODESIZE
00002bae: UNKNOWN(0x2D)
00002baf: CALLER
00002bb0: UNKNOWN(0x2E)
00002bb1: CALLVALUE
00002bb2: CALLDATASIZE
00002bb3: PUSH21 0x2d382e3934362d392e3638712d332e3134342d362e
00002bc9: ORIGIN
00002bca: BALANCE
00002bcb: CODECOPY
00002bcc: UNKNOWN(0x2D)
00002bcd: CALLER
00002bce: UNKNOWN(0x2E)
00002bcf: BALANCE
00002bd0: CALLVALUE
00002bd1: CALLVALUE
00002bd2: UNKNOWN(0x2D)
00002bd3: BALANCE
00002bd4: CALLVALUE
00002bd5: UNKNOWN(0x2E)
00002bd6: CALLDATALOAD
00002bd7: CALLER
00002bd8: CALLDATALOAD
00002bd9: PUSH21 0x332e3134342d31342e35373171332e31382d362e32
00002bef: CALLDATALOAD
00002bf0: CALLDATALOAD
00002bf1: KECCAK256
00002bf2: CODESIZE
00002bf3: UNKNOWN(0x2E)
00002bf4: CODECOPY
00002bf5: CALLVALUE
00002bf6: CALLDATASIZE
00002bf7: UNKNOWN(0x2D)
00002bf8: CODECOPY
00002bf9: UNKNOWN(0x2E)
00002bfa: CALLDATACOPY
00002bfb: BALANCE
00002bfc: CALLVALUE
00002bfd: PUSH21 0x31332e3632382d332e34362031332e36323820332e
00002c13: CALLVALUE
00002c14: CALLDATASIZE
00002c15: KECCAK256
00002c16: CODESIZE
00002c17: UNKNOWN(0x2E)
00002c18: CODECOPY
00002c19: BALANCE
00002c1a: KECCAK256
00002c1b: CODECOPY
00002c1c: UNKNOWN(0x2E)
00002c1d: CALLDATACOPY
00002c1e: BALANCE
00002c1f: CALLVALUE
00002c20: PUSH18 0x332e313820362e32353420332e3138203134
00002c33: UNKNOWN(0x2E)
00002c34: CALLDATALOAD
00002c35: CALLDATACOPY
00002c36: BALANCE
00002c37: PUSH21 0x2d332e31382031342e353336712d332e3134342036
00002c4d: UNKNOWN(0x2E)
00002c4e: ORIGIN
00002c4f: ORIGIN
00002c50: UNKNOWN(0x2D)
00002c51: CODESIZE
00002c52: UNKNOWN(0x2E)
00002c53: CODECOPY
00002c54: BALANCE
00002c55: KECCAK256
00002c56: CODECOPY
00002c57: UNKNOWN(0x2E)
00002c58: CALLDATASIZE
00002c59: CALLDATACOPY
00002c5a: CODECOPY
00002c5b: PUSH21 0x2d31332e36323820332e34366d2e30372d31302e31
00002c71: CALLER
00002c72: CALLER
00002c73: PUSH18 0x342e323633203020372e3132382d322e3334
00002c86: BALANCE
00002c87: KECCAK256
00002c88: ORIGIN
00002c89: UNKNOWN(0x2E)
00002c8a: CODESIZE
00002c8b: CALLDATASIZE
00002c8c: CALLDATASIZE
00002c8d: UNKNOWN(0x2D)
00002c8e: ORIGIN
00002c8f: UNKNOWN(0x2E)
00002c90: CALLER
00002c91: CALLDATACOPY
00002c92: CALLDATASIZE
00002c93: KECCAK256
00002c94: CALLVALUE
00002c95: UNKNOWN(0x2E)
00002c96: ORIGIN
00002c97: CALLDATASIZE
00002c98: CALLVALUE
00002c99: UNKNOWN(0x2D)
00002c9a: CALLDATASIZE
00002c9b: UNKNOWN(0x2E)
00002c9c: CALLER
00002c9d: CALLDATASIZE
00002c9e: KECCAK256
00002c9f: BALANCE
00002ca0: UNKNOWN(0x2E)
00002ca1: CALLVALUE
00002ca2: CALLER
00002ca3: ORIGIN
00002ca4: UNKNOWN(0x2D)
00002ca5: CALLER
00002ca6: UNKNOWN(0x2E)
00002ca7: CODECOPY
00002ca8: CODESIZE
00002ca9: CALLVALUE
00002caa: KECCAK256
00002cab: BALANCE
00002cac: UNKNOWN(0x2E)
00002cad: CALLVALUE
00002cae: CALLER
00002caf: ORIGIN
00002cb0: UNKNOWN(0x2D)
00002cb1: CODESIZE
00002cb2: UNKNOWN(0x2E)
00002cb3: CODESIZE
00002cb4: CALLDATACOPY
00002cb5: CALLDATASIZE
00002cb6: KECCAK256
00002cb7: ADDRESS
00002cb8: UNKNOWN(0x2D)
00002cb9: CALLVALUE
00002cba: UNKNOWN(0x2E)
00002cbb: CODECOPY
00002cbc: ORIGIN
00002cbd: CODESIZE
00002cbe: UNKNOWN(0x2D)
00002cbf: BALANCE
00002cc0: UNKNOWN(0x2E)
00002cc1: CALLVALUE
00002cc2: CALLER
00002cc3: ORIGIN
00002cc4: UNKNOWN(0x2D)
00002cc5: CODESIZE
00002cc6: UNKNOWN(0x2E)
00002cc7: CODECOPY
00002cc8: BALANCE
00002cc9: UNKNOWN(0x2D)
00002cca: BALANCE
00002ccb: UNKNOWN(0x2E)
00002ccc: CALLER
00002ccd: CODECOPY
00002cce: CODESIZE
00002ccf: UNKNOWN(0x2D)
00002cd0: CALLVALUE
00002cd1: UNKNOWN(0x2E)
00002cd2: ADDRESS
00002cd3: ORIGIN
00002cd4: UNKNOWN(0x2D)
00002cd5: CALLVALUE
00002cd6: UNKNOWN(0x2E)
00002cd7: ORIGIN
00002cd8: CALLDATASIZE
00002cd9: CALLVALUE
00002cda: UNKNOWN(0x2D)
00002cdb: CALLDATASIZE
00002cdc: UNKNOWN(0x2E)
00002cdd: CALLER
00002cde: CODECOPY
00002cdf: CALLDATASIZE
00002ce0: PUSH21 0x2d372e3132382d322e333736712d342e3336382030
00002cf6: UNKNOWN(0x2D)
00002cf7: CALLDATACOPY
00002cf8: UNKNOWN(0x2E)
00002cf9: ORIGIN
00002cfa: CALLDATASIZE
00002cfb: CODESIZE
00002cfc: KECCAK256
00002cfd: ORIGIN
00002cfe: UNKNOWN(0x2E)
00002cff: CALLER
00002d00: CALLDATACOPY
00002d01: CALLDATASIZE
00002d02: UNKNOWN(0x2D)
00002d03: ORIGIN
00002d04: UNKNOWN(0x2E)
00002d05: CODESIZE
00002d06: CALLDATASIZE
00002d07: CALLDATASIZE
00002d08: KECCAK256
00002d09: ORIGIN
00002d0a: UNKNOWN(0x2E)
00002d0b: CALLER
00002d0c: CALLDATACOPY
00002d0d: CALLDATASIZE
00002d0e: UNKNOWN(0x2D)
00002d0f: CALLVALUE
00002d10: UNKNOWN(0x2E)
00002d11: ORIGIN
00002d12: CODECOPY
00002d13: CODESIZE
00002d14: KECCAK256
00002d15: CALLDATASIZE
00002d16: UNKNOWN(0x2E)
00002d17: CALLER
00002d18: CODECOPY
00002d19: CALLDATASIZE
00002d1a: UNKNOWN(0x2D)
00002d1b: BALANCE
00002d1c: UNKNOWN(0x2E)
00002d1d: CALLER
00002d1e: CODECOPY
00002d1f: CALLDATACOPY
00002d20: KECCAK256
00002d21: CALLER
00002d22: UNKNOWN(0x2E)
00002d23: CODECOPY
00002d24: CODESIZE
00002d25: ORIGIN
00002d26: UNKNOWN(0x2D)
00002d27: BALANCE
00002d28: UNKNOWN(0x2E)
00002d29: CALLER
00002d2a: CODECOPY
00002d2b: CODESIZE
00002d2c: KECCAK256
00002d2d: CODESIZE
00002d2e: UNKNOWN(0x2E)
00002d2f: CODECOPY
00002d30: BALANCE
00002d31: KECCAK256
00002d32: ADDRESS
00002d33: KECCAK256
00002d34: CALLVALUE
00002d35: UNKNOWN(0x2E)
00002d36: CODESIZE
00002d37: CODECOPY
00002d38: ORIGIN
00002d39: KECCAK256
00002d3a: BALANCE
00002d3b: UNKNOWN(0x2E)
00002d3c: CALLER
00002d3d: CODECOPY
00002d3e: CODESIZE
00002d3f: KECCAK256
00002d40: CODESIZE
00002d41: UNKNOWN(0x2E)
00002d42: CODESIZE
00002d43: CALLDATACOPY
00002d44: CALLDATASIZE
00002d45: KECCAK256
00002d46: BALANCE
00002d47: UNKNOWN(0x2E)
00002d48: CALLVALUE
00002d49: CALLER
00002d4a: ORIGIN
00002d4b: KECCAK256
00002d4c: CALLER
00002d4d: UNKNOWN(0x2E)
00002d4e: CODECOPY
00002d4f: CODESIZE
00002d50: CALLVALUE
00002d51: KECCAK256
00002d52: CALLVALUE
00002d53: UNKNOWN(0x2E)
00002d54: ORIGIN
00002d55: CODECOPY
00002d56: CODESIZE
00002d57: KECCAK256
00002d58: CALLDATASIZE
00002d59: UNKNOWN(0x2E)
00002d5a: CALLER
00002d5b: CALLDATASIZE
00002d5c: KECCAK256
00002d5d: ORIGIN
00002d5e: UNKNOWN(0x2E)
00002d5f: CODECOPY
00002d60: KECCAK256
00002d61: ORIGIN
00002d62: UNKNOWN(0x2E)
00002d63: CALLER
00002d64: CALLVALUE
00002d65: KECCAK256
00002d66: CALLDATACOPY
00002d67: UNKNOWN(0x2E)
00002d68: ORIGIN
00002d69: CALLDATASIZE
00002d6a: CODESIZE
00002d6b: KECCAK256
00002d6c: ORIGIN
00002d6d: UNKNOWN(0x2E)
00002d6e: CALLER
00002d6f: CALLVALUE
00002d70: UNKNOWN(0x22)
00002d71: KECCAK256
00002d72: PUSH7 0x696c6c3d222330
00002d7a: ADDRESS
00002d7b: ADDRESS
00002d7c: UNKNOWN(0x22)
00002d7d: UNKNOWN(0x2F)
00002d7e: RETURNDATACOPY
00002d7f: EXTCODECOPY
00002d80: UNKNOWN(0x2F)
00002d81: PUSH8 0x3e3c2f7376673ea2
00002d8a: PUSH5 0x6970667358
00002d90: UNKNOWN(0x22)
00002d91: SLT
00002d92: KECCAK256
00002d93: SHL
00002d94: UNKNOWN(0xD7)
00002d95: UNKNOWN(0xB6)
00002d96: BLOBBASEFEE
00002d97: PUSH6 0x138779cd5d2b
00002d9e: LT
00002d9f: DIFFICULTY
00002da0: MCOPY
00002da1: UNKNOWN(0x25)
00002da2: CREATE2
00002da3: UNKNOWN(0xEF)
00002da4: UNKNOWN(0xC0)
00002da5: SUB
00002da6: SELFDESTRUCT
00002da7: UNKNOWN(0xD7)
00002da8: MUL
00002da9: UNKNOWN(0x21)
00002daa: SWAP4
00002dab: PUSH25