Analysis Run

[codex:581869] OpenAI Codex v0.77.0 (research preview)
[codex:581869] --------
[codex:581869] workdir: /tmp/codex-multi-gcvn3oem
[codex:581869] model: gpt-5.2-codex
[codex:581869] provider: openai
[codex:581869] approval: never
[codex:581869] sandbox: read-only
[codex:581869] reasoning effort: xhigh
[codex:581869] reasoning summaries: auto
[codex:581869] session id: 019b668a-9f3d-7e21-964d-b9e918bb986e
[codex:581869] --------
[codex:581869] user
[codex:581869] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:581869] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:581869] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:581869] 
[codex:581869] Scope rules:
[codex:581869] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:581869] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:581869] 
[codex:581869] Output MUST be valid JSON matching the provided schema.
[codex:581869] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:581869] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:581869] 
[codex:581869] Output constraints (IMPORTANT):
[codex:581869] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:581869] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:581869] mcp startup: no servers
[codex:581869] 
[codex:581869] thinking
[codex:581869] **Preparing to audit the AUDIT_BUNDLE file**
[codex:581869] exec
[codex:581869] /bin/bash -lc ls in /tmp/codex-multi-gcvn3oem succeeded in 7ms:
[codex:581869] AUDIT_BUNDLE.txt
[codex:581869] codex-output-schema.json
[codex:581869] contracts
[codex:581869] exec
[codex:581869] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-gcvn3oem succeeded in 6ms:
[codex:581869] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:581869] 
[codex:581869] ================================================================================
[codex:581869] FILE: contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol
[codex:581869] ================================================================================
[codex:581869] // SPDX-License-Identifier: MIT
[codex:581869] 
[codex:581869] pragma solidity >=0.6.0 <0.8.0;
[codex:581869] 
[codex:581869] import "../utils/ContextUpgradeable.sol";
[codex:581869] import "../proxy/Initializable.sol";
[codex:581869] /**
[codex:581869]  * @dev Contract module which provides a basic access control mechanism, where
[codex:581869]  * there is an account (an owner) that can be granted exclusive access to
[codex:581869]  * specific functions.
[codex:581869]  *
[codex:581869]  * By default, the owner account will be the one that deploys the contract. This
[codex:581869]  * can later be changed with {transferOwnership}.
[codex:581869]  *
[codex:581869]  * This module is used through inheritance. It will make available the modifier
[codex:581869] 
[codex:581869] thinking
[codex:581869] **Planning full file inspection**
[codex:581869] exec
[codex:581869] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-gcvn3oem succeeded in 7ms:
[codex:581869] 4:FILE: contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol
[codex:581869] 83:FILE: contracts/@openzeppelin/contracts-upgradeable/math/MathUpgradeable.sol
[codex:581869] 118:FILE: contracts/@openzeppelin/contracts-upgradeable/math/SafeMathUpgradeable.sol
[codex:581869] 336:FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/Initializable.sol
[codex:581869] 395:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:581869] 712:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:581869] 793:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/SafeERC20Upgradeable.sol
[codex:581869] 872:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:581869] 1041:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:581869] 1077:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/PausableUpgradeable.sol
[codex:581869] 1178:FILE: contracts/contracts/fxPortal/IFxStateSender.sol
[codex:581869] 1188:FILE: contracts/contracts/interfaces/ILiquidityEthPool.sol
[codex:581869] 1263:FILE: contracts/contracts/interfaces/IManager.sol
[codex:581869] 1382:FILE: contracts/contracts/interfaces/IWETH.sol
[codex:581869] 1397:FILE: contracts/contracts/interfaces/events/BalanceUpdateEvent.sol
[codex:581869] 1411:FILE: contracts/contracts/interfaces/events/Destinations.sol
[codex:581869] 1423:FILE: contracts/contracts/pools/EthPool.sol
[codex:581869] 
[codex:581869] thinking
[codex:581869] **Continuing to read EthPool file end**
[codex:581869] exec
[codex:581869] /bin/bash -lc "sed -n '1170,1705p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-gcvn3oem succeeded in 6ms:
[codex:581869]     function _unpause() internal virtual whenPaused {
[codex:581869]         _paused = false;
[codex:581869]         emit Unpaused(_msgSender());
[codex:581869]     }
[codex:581869]     uint256[49] private __gap;
[codex:581869] }
[codex:581869] 
[codex:581869] ================================================================================
[codex:581869] FILE: contracts/contracts/fxPortal/IFxStateSender.sol
[codex:581869] ================================================================================
[codex:581869] // SPDX-License-Identifier: MIT
[codex:581869] pragma solidity >=0.6.0;
[codex:581869] 
[codex:581869] interface IFxStateSender {
[codex:581869]     function sendMessageToChild(address _receiver, bytes calldata _data) external;
[codex:581869] }
[codex:581869] 
[codex:581869] ================================================================================
[codex:581869] FILE: contracts/contracts/interfaces/ILiquidityEthPool.sol
[codex:581869] ================================================================================
[codex:581869] 
[codex:581869] 
[codex:581869] 
[codex:581869] thinking
[codex:581869] **Analyzing reentrancy and state consistency risks**
[codex:581869] thinking
[codex:581869] **Evaluating external calls and update ordering risks**
[codex:581869] 
[codex:581869] There is a subtle risk from external calls to the manager contract between state updates that could allow reentrancy before full state is set, so I’m carefully checking if that might lead to inconsistent state or exploit. I’m also exploring access control, upgradeable contract patterns, and how event sending on transfers might affect reentrancy and DoS possibilities. Let’s see how token minting and external calls interplay, especially with trusted vs. malicious tokens, and whether any gaps in reentrancy guards or pausing logic might cause issues.
[codex:581869] thinking
[codex:581869] **Reviewing safeDecreaseAllowance behavior**
[codex:581869] exec
[codex:581869] /bin/bash -lc "sed -n '793,872p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-gcvn3oem succeeded in 6ms:
[codex:581869] FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/SafeERC20Upgradeable.sol
[codex:581869] ================================================================================
[codex:581869] // SPDX-License-Identifier: MIT
[codex:581869] 
[codex:581869] pragma solidity >=0.6.0 <0.8.0;
[codex:581869] 
[codex:581869] import "./IERC20Upgradeable.sol";
[codex:581869] import "../../math/SafeMathUpgradeable.sol";
[codex:581869] import "../../utils/AddressUpgradeable.sol";
[codex:581869] 
[codex:581869] /**
[codex:581869]  * @title SafeERC20
[codex:581869]  * @dev Wrappers around ERC20 operations that throw on failure (when the token
[codex:581869]  * contract returns false). Tokens that return no value (and instead revert or
[codex:581869]  * throw on failure) are also supported, non-reverting calls are assumed to be
[codex:581869]  * successful.
[codex:581869]  * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
[codex:581869]  * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
[codex:581869]  */
[codex:581869] library SafeERC20Upgradeable {
[codex:581869] 
[codex:581869] 
[codex:581869] thinking
[codex:581869] **Analyzing upgradeability and reentrancy risks**
[codex:581869] thinking
[codex:581869] **Evaluating deployment and initialization risks**
[codex:581869] 
[codex:581869] I'll confirm there are no exploitable vulnerabilities in the first-party contracts, noting the typical upgradeable pattern risks if initialization is missed during deployment. I’ll highlight that no critical issues were found, but that proper proxy initialization and trusted components remain important for security.
[codex:581869] codex
[codex:581869] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts within scope; review assumes trusted WETH/manager endpoints and correct proxy initialization.","findings":[]}
[codex:581869] tokens used
[codex:581869] 59,263
[codex:581869] {"no_findings":true,"summary":"No exploitable vulnerabilities found in first-party contracts within scope; review assumes trusted WETH/manager endpoints and correct proxy initialization.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-28T20:03:06.248386+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in first-party contracts within scope; review assumes trusted WETH/manager endpoints and correct proxy initialization.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in first-party contracts within scope; review assumes trusted WETH/manager endpoints and correct proxy initialization.",
        "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 0x01e7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9ee679e8
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbb582d80
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbb582d80
0000003a: EQ
0000003b: PUSH2 0x050e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x053c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe912b5ee
00000050: EQ
00000051: PUSH2 0x055c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x057c
0000005f: JUMPI
00000060: PUSH2 0x01ee
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9ee679e8
0000006b: EQ
0000006c: PUSH2 0x049b
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa457c2d7
00000076: EQ
00000077: PUSH2 0x04bb
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa9059cbb
00000081: EQ
00000082: PUSH2 0x04db
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb6b55f25
0000008c: EQ
0000008d: PUSH2 0x04fb
00000090: JUMPI
00000091: PUSH2 0x01ee
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8456cb59
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8456cb59
000000a7: EQ
000000a8: PUSH2 0x0439
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8d17b383
000000b2: EQ
000000b3: PUSH2 0x044e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH2 0x0471
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x0486
000000cc: JUMPI
000000cd: PUSH2 0x01ee
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x715018a6
000000d8: EQ
000000d9: PUSH2 0x03da
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7758f3fa
000000e3: EQ
000000e4: PUSH2 0x03ef
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x7d6eae72
000000ee: EQ
000000ef: PUSH2 0x0404
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x80e702da
000000f9: EQ
000000fa: PUSH2 0x0424
000000fd: JUMPI
000000fe: PUSH2 0x01ee
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x38d07436
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x481c6a75
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x481c6a75
0000011f: EQ
00000120: PUSH2 0x037b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x5842f88c
0000012a: EQ
0000012b: PUSH2 0x0390
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x5c975abb
00000135: EQ
00000136: PUSH2 0x03a5
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x70a08231
00000140: EQ
00000141: PUSH2 0x03ba
00000144: JUMPI
00000145: PUSH2 0x01ee
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x38d07436
00000150: EQ
00000151: PUSH2 0x0304
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x39509351
0000015b: EQ
0000015c: PUSH2 0x0324
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x3f4ba83a
00000166: EQ
00000167: PUSH2 0x0344
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x3fc8cef3
00000171: EQ
00000172: PUSH2 0x0359
00000175: JUMPI
00000176: PUSH2 0x01ee
00000179: JUMP
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x2016a0d2
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x2016a0d2
0000018c: EQ
0000018d: PUSH2 0x028f
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x23b872dd
00000197: EQ
00000198: PUSH2 0x02af
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x2f4f21e2
000001a2: EQ
000001a3: PUSH2 0x02cf
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x313ce567
000001ad: EQ
000001ae: PUSH2 0x02e2
000001b1: JUMPI
000001b2: PUSH2 0x01ee
000001b5: JUMP
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x020935c5
000001bd: EQ
000001be: PUSH2 0x01f3
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x06fdde03
000001c8: EQ
000001c9: PUSH2 0x0215
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x095ea7b3
000001d3: EQ
000001d4: PUSH2 0x0240
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x18160ddd
000001de: EQ
000001df: PUSH2 0x026d
000001e2: JUMPI
000001e3: PUSH2 0x01ee
000001e6: JUMP
000001e7: JUMPDEST
000001e8: CALLDATASIZE
000001e9: PUSH2 0x01ee
000001ec: JUMPI
000001ed: STOP
000001ee: JUMPDEST
000001ef: PUSH1 0x00
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0213
00000204: PUSH2 0x020e
00000207: CALLDATASIZE
00000208: PUSH1 0x04
0000020a: PUSH2 0x3464
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH2 0x059c
00000212: JUMP
00000213: JUMPDEST
00000214: STOP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH2 0x022a
00000226: PUSH2 0x0766
00000229: JUMP
0000022a: JUMPDEST
0000022b: PUSH1 0x40
0000022d: MLOAD
0000022e: PUSH2 0x0237
00000231: SWAP2
00000232: SWAP1
00000233: PUSH2 0x35f7
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x40
0000023a: MLOAD
0000023b: DUP1
0000023c: SWAP2
0000023d: SUB
0000023e: SWAP1
0000023f: RETURN
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0260
00000251: PUSH2 0x025b
00000254: CALLDATASIZE
00000255: PUSH1 0x04
00000257: PUSH2 0x337b
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH2 0x081b
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: MLOAD
00000264: PUSH2 0x0237
00000267: SWAP2
00000268: SWAP1
00000269: PUSH2 0x35ec
0000026c: JUMP
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0282
0000027e: PUSH2 0x0838
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x40
00000285: MLOAD
00000286: PUSH2 0x0237
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x3e0b
0000028e: JUMP
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: POP
0000029d: PUSH2 0x0213
000002a0: PUSH2 0x02aa
000002a3: CALLDATASIZE
000002a4: PUSH1 0x04
000002a6: PUSH2 0x33de
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH2 0x083e
000002ae: JUMP
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: POP
000002bd: PUSH2 0x0260
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x333b
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH2 0x0a4d
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x0213
000002d3: PUSH2 0x02dd
000002d6: CALLDATASIZE
000002d7: PUSH1 0x04
000002d9: PUSH2 0x337b
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH2 0x0aa8
000002e1: JUMP
000002e2: JUMPDEST
000002e3: CALLVALUE
000002e4: DUP1
000002e5: ISZERO
000002e6: PUSH2 0x02ee
000002e9: JUMPI
000002ea: PUSH1 0x00
000002ec: DUP1
000002ed: REVERT
000002ee: JUMPDEST
000002ef: POP
000002f0: PUSH2 0x02f7
000002f3: PUSH2 0x0af3
000002f6: JUMP
000002f7: JUMPDEST
000002f8: PUSH1 0x40
000002fa: MLOAD
000002fb: PUSH2 0x0237
000002fe: SWAP2
000002ff: SWAP1
00000300: PUSH2 0x3e22
00000303: JUMP
00000304: JUMPDEST
00000305: CALLVALUE
00000306: DUP1
00000307: ISZERO
00000308: PUSH2 0x0310
0000030b: JUMPI
0000030c: PUSH1 0x00
0000030e: DUP1
0000030f: REVERT
00000310: JUMPDEST
00000311: POP
00000312: PUSH2 0x0213
00000315: PUSH2 0x031f
00000318: CALLDATASIZE
00000319: PUSH1 0x04
0000031b: PUSH2 0x3494
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH2 0x0afc
00000323: JUMP
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x0260
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x337b
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x0f8b
00000343: JUMP
00000344: JUMPDEST
00000345: CALLVALUE
00000346: DUP1
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: PUSH2 0x0213
00000355: PUSH2 0x0ff1
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x036e
0000036a: PUSH2 0x106e
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH1 0x40
00000371: MLOAD
00000372: PUSH2 0x0237
00000375: SWAP2
00000376: SWAP1
00000377: PUSH2 0x351e
0000037a: JUMP
0000037b: JUMPDEST
0000037c: CALLVALUE
0000037d: DUP1
0000037e: ISZERO
0000037f: PUSH2 0x0387
00000382: JUMPI
00000383: PUSH1 0x00
00000385: DUP1
00000386: REVERT
00000387: JUMPDEST
00000388: POP
00000389: PUSH2 0x036e
0000038c: PUSH2 0x108a
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x0282
000003a1: PUSH2 0x10a6
000003a4: JUMP
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH2 0x0260
000003b6: PUSH2 0x10ac
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: DUP1
000003bd: ISZERO
000003be: PUSH2 0x03c6
000003c1: JUMPI
000003c2: PUSH1 0x00
000003c4: DUP1
000003c5: REVERT
000003c6: JUMPDEST
000003c7: POP
000003c8: PUSH2 0x0282
000003cb: PUSH2 0x03d5
000003ce: CALLDATASIZE
000003cf: PUSH1 0x04
000003d1: PUSH2 0x32e7
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH2 0x10b5
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x0213
000003eb: PUSH2 0x10dd
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x036e
00000400: PUSH2 0x11bf
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x0213
00000415: PUSH2 0x041f
00000418: CALLDATASIZE
00000419: PUSH1 0x04
0000041b: PUSH2 0x3303
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH2 0x11db
00000423: JUMP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x0260
00000435: PUSH2 0x137b
00000438: JUMP
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: DUP1
0000043c: ISZERO
0000043d: PUSH2 0x0445
00000440: JUMPI
00000441: PUSH1 0x00
00000443: DUP1
00000444: REVERT
00000445: JUMPDEST
00000446: POP
00000447: PUSH2 0x0213
0000044a: PUSH2 0x1389
0000044d: JUMP
0000044e: JUMPDEST
0000044f: CALLVALUE
00000450: DUP1
00000451: ISZERO
00000452: PUSH2 0x045a
00000455: JUMPI
00000456: PUSH1 0x00
00000458: DUP1
00000459: REVERT
0000045a: JUMPDEST
0000045b: POP
0000045c: PUSH2 0x0463
0000045f: PUSH2 0x1404
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: MLOAD
00000467: PUSH2 0x0237
0000046a: SWAP3
0000046b: SWAP2
0000046c: SWAP1
0000046d: PUSH2 0x353f
00000470: JUMP
00000471: JUMPDEST
00000472: CALLVALUE
00000473: DUP1
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x036e
00000482: PUSH2 0x1427
00000485: JUMP
00000486: JUMPDEST
00000487: CALLVALUE
00000488: DUP1
00000489: ISZERO
0000048a: PUSH2 0x0492
0000048d: JUMPI
0000048e: PUSH1 0x00
00000490: DUP1
00000491: REVERT
00000492: JUMPDEST
00000493: POP
00000494: PUSH2 0x022a
00000497: PUSH2 0x1443
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x0213
000004ac: PUSH2 0x04b6
000004af: CALLDATASIZE
000004b0: PUSH1 0x04
000004b2: PUSH2 0x3464
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH2 0x14c2
000004ba: JUMP
000004bb: JUMPDEST
000004bc: CALLVALUE
000004bd: DUP1
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: POP
000004c9: PUSH2 0x0260
000004cc: PUSH2 0x04d6
000004cf: CALLDATASIZE
000004d0: PUSH1 0x04
000004d2: PUSH2 0x337b
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH2 0x17a7
000004da: JUMP
000004db: JUMPDEST
000004dc: CALLVALUE
000004dd: DUP1
000004de: ISZERO
000004df: PUSH2 0x04e7
000004e2: JUMPI
000004e3: PUSH1 0x00
000004e5: DUP1
000004e6: REVERT
000004e7: JUMPDEST
000004e8: POP
000004e9: PUSH2 0x0260
000004ec: PUSH2 0x04f6
000004ef: CALLDATASIZE
000004f0: PUSH1 0x04
000004f2: PUSH2 0x337b
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x1822
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH2 0x0213
000004ff: PUSH2 0x0509
00000502: CALLDATASIZE
00000503: PUSH1 0x04
00000505: PUSH2 0x3464
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH2 0x1879
0000050d: JUMP
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x052e
0000051f: PUSH2 0x0529
00000522: CALLDATASIZE
00000523: PUSH1 0x04
00000525: PUSH2 0x32e7
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH2 0x18c7
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: PUSH2 0x0237
00000535: SWAP3
00000536: SWAP2
00000537: SWAP1
00000538: PUSH2 0x3e14
0000053b: JUMP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x0282
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: PUSH1 0x04
00000553: PUSH2 0x3303
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH2 0x18e0
0000055b: JUMP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: POP
0000056a: PUSH2 0x0213
0000056d: PUSH2 0x0577
00000570: CALLDATASIZE
00000571: PUSH1 0x04
00000573: PUSH2 0x33a6
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH2 0x1918
0000057b: JUMP
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x0213
0000058d: PUSH2 0x0597
00000590: CALLDATASIZE
00000591: PUSH1 0x04
00000593: PUSH2 0x32e7
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH2 0x19eb
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH2 0x05a4
000005a0: PUSH2 0x1b39
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ba: AND
000005bb: PUSH2 0x05c2
000005be: PUSH2 0x1427
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d8: AND
000005d9: EQ
000005da: PUSH2 0x0618
000005dd: JUMPI
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x04
00000606: ADD
00000607: PUSH2 0x060f
0000060a: SWAP1
0000060b: PUSH2 0x3b3a
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH1 0x40
00000612: MLOAD
00000613: DUP1
00000614: SWAP2
00000615: SUB
00000616: SWAP1
00000617: REVERT
00000618: JUMPDEST
00000619: PUSH1 0xc9
0000061b: SLOAD
0000061c: PUSH1 0xca
0000061e: SLOAD
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00000643: DUP2
00000644: MSTORE
00000645: PUSH1 0x00
00000647: SWAP3
00000648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000065d: SWAP1
0000065e: DUP2
0000065f: AND
00000660: SWAP3
00000661: PUSH4 0xdd62ed3e
00000666: SWAP3
00000667: PUSH2 0x0676
0000066a: SWAP3
0000066b: ADDRESS
0000066c: SWAP3
0000066d: AND
0000066e: SWAP1
0000066f: PUSH1 0x04
00000671: ADD
00000672: PUSH2 0x353f
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x20
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: DUP4
0000067e: SUB
0000067f: DUP2
00000680: DUP7
00000681: DUP1
00000682: EXTCODESIZE
00000683: ISZERO
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: GAS
00000691: STATICCALL
00000692: ISZERO
00000693: DUP1
00000694: ISZERO
00000695: PUSH2 0x06a2
00000698: JUMPI
00000699: RETURNDATASIZE
0000069a: PUSH1 0x00
0000069c: DUP1
0000069d: RETURNDATACOPY
0000069e: RETURNDATASIZE
0000069f: PUSH1 0x00
000006a1: REVERT
000006a2: JUMPDEST
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: PUSH1 0x40
000006a9: MLOAD
000006aa: RETURNDATASIZE
000006ab: PUSH1 0x1f
000006ad: NOT
000006ae: PUSH1 0x1f
000006b0: DUP3
000006b1: ADD
000006b2: AND
000006b3: DUP3
000006b4: ADD
000006b5: DUP1
000006b6: PUSH1 0x40
000006b8: MSTORE
000006b9: POP
000006ba: DUP2
000006bb: ADD
000006bc: SWAP1
000006bd: PUSH2 0x06c6
000006c0: SWAP2
000006c1: SWAP1
000006c2: PUSH2 0x347c
000006c5: JUMP
000006c6: JUMPDEST
000006c7: SWAP1
000006c8: POP
000006c9: DUP2
000006ca: DUP2
000006cb: LT
000006cc: ISZERO
000006cd: PUSH2 0x071b
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: PUSH2 0x06e2
000006d6: DUP4
000006d7: DUP4
000006d8: PUSH4 0xffffffff
000006dd: PUSH2 0x1b3d
000006e0: AND
000006e1: JUMP
000006e2: JUMPDEST
000006e3: PUSH1 0xca
000006e5: SLOAD
000006e6: PUSH1 0xc9
000006e8: SLOAD
000006e9: SWAP2
000006ea: SWAP3
000006eb: POP
000006ec: PUSH2 0x0715
000006ef: SWAP2
000006f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000705: SWAP1
00000706: DUP2
00000707: AND
00000708: SWAP2
00000709: AND
0000070a: DUP4
0000070b: PUSH4 0xffffffff
00000710: PUSH2 0x1b7f
00000713: AND
00000714: JUMP
00000715: JUMPDEST
00000716: POP
00000717: PUSH2 0x0762
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH1 0x00
0000071e: PUSH2 0x072d
00000721: DUP3
00000722: DUP5
00000723: PUSH4 0xffffffff
00000728: PUSH2 0x1b3d
0000072b: AND
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0xca
00000730: SLOAD
00000731: PUSH1 0xc9
00000733: SLOAD
00000734: SWAP2
00000735: SWAP3
00000736: POP
00000737: PUSH2 0x0760
0000073a: SWAP2
0000073b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000750: SWAP1
00000751: DUP2
00000752: AND
00000753: SWAP2
00000754: AND
00000755: DUP4
00000756: PUSH4 0xffffffff
0000075b: PUSH2 0x1c81
0000075e: AND
0000075f: JUMP
00000760: JUMPDEST
00000761: POP
00000762: JUMPDEST
00000763: POP
00000764: POP
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x36
00000769: DUP1
0000076a: SLOAD
0000076b: PUSH1 0x40
0000076d: DUP1
0000076e: MLOAD
0000076f: PUSH1 0x20
00000771: PUSH1 0x1f
00000773: PUSH1 0x02
00000775: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000796: PUSH2 0x0100
00000799: PUSH1 0x01
0000079b: DUP9
0000079c: AND
0000079d: ISZERO
0000079e: MUL
0000079f: ADD
000007a0: SWAP1
000007a1: SWAP6
000007a2: AND
000007a3: SWAP5
000007a4: SWAP1
000007a5: SWAP5
000007a6: DIV
000007a7: SWAP4
000007a8: DUP5
000007a9: ADD
000007aa: DUP2
000007ab: SWAP1
000007ac: DIV
000007ad: DUP2
000007ae: MUL
000007af: DUP3
000007b0: ADD
000007b1: DUP2
000007b2: ADD
000007b3: SWAP1
000007b4: SWAP3
000007b5: MSTORE
000007b6: DUP3
000007b7: DUP2
000007b8: MSTORE
000007b9: PUSH1 0x60
000007bb: SWAP4
000007bc: SWAP1
000007bd: SWAP3
000007be: SWAP1
000007bf: SWAP2
000007c0: DUP4
000007c1: ADD
000007c2: DUP3
000007c3: DUP3
000007c4: DUP1
000007c5: ISZERO
000007c6: PUSH2 0x0810
000007c9: JUMPI
000007ca: DUP1
000007cb: PUSH1 0x1f
000007cd: LT
000007ce: PUSH2 0x07e5
000007d1: JUMPI
000007d2: PUSH2 0x0100
000007d5: DUP1
000007d6: DUP4
000007d7: SLOAD
000007d8: DIV
000007d9: MUL
000007da: DUP4
000007db: MSTORE
000007dc: SWAP2
000007dd: PUSH1 0x20
000007df: ADD
000007e0: SWAP2
000007e1: PUSH2 0x0810
000007e4: JUMP
000007e5: JUMPDEST
000007e6: DUP3
000007e7: ADD
000007e8: SWAP2
000007e9: SWAP1
000007ea: PUSH1 0x00
000007ec: MSTORE
000007ed: PUSH1 0x20
000007ef: PUSH1 0x00
000007f1: KECCAK256
000007f2: SWAP1
000007f3: JUMPDEST
000007f4: DUP2
000007f5: SLOAD
000007f6: DUP2
000007f7: MSTORE
000007f8: SWAP1
000007f9: PUSH1 0x01
000007fb: ADD
000007fc: SWAP1
000007fd: PUSH1 0x20
000007ff: ADD
00000800: DUP1
00000801: DUP4
00000802: GT
00000803: PUSH2 0x07f3
00000806: JUMPI
00000807: DUP3
00000808: SWAP1
00000809: SUB
0000080a: PUSH1 0x1f
0000080c: AND
0000080d: DUP3
0000080e: ADD
0000080f: SWAP2
00000810: JUMPDEST
00000811: POP
00000812: POP
00000813: POP
00000814: POP
00000815: POP
00000816: SWAP1
00000817: POP
00000818: JUMPDEST
00000819: SWAP1
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x00
0000081e: PUSH2 0x082f
00000821: PUSH2 0x0828
00000824: PUSH2 0x1b39
00000827: JUMP
00000828: JUMPDEST
00000829: DUP5
0000082a: DUP5
0000082b: PUSH2 0x1d51
0000082e: JUMP
0000082f: JUMPDEST
00000830: POP
00000831: PUSH1 0x01
00000833: SWAP3
00000834: SWAP2
00000835: POP
00000836: POP
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x35
0000083b: SLOAD
0000083c: SWAP1
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x00
00000841: SLOAD
00000842: PUSH2 0x0100
00000845: SWAP1
00000846: DIV
00000847: PUSH1 0xff
00000849: AND
0000084a: DUP1
0000084b: PUSH2 0x0857
0000084e: JUMPI
0000084f: POP
00000850: PUSH2 0x0857
00000853: PUSH2 0x1e60
00000856: JUMP
00000857: JUMPDEST
00000858: DUP1
00000859: PUSH2 0x0865
0000085c: JUMPI
0000085d: POP
0000085e: PUSH1 0x00
00000860: SLOAD
00000861: PUSH1 0xff
00000863: AND
00000864: ISZERO
00000865: JUMPDEST
00000866: PUSH2 0x089b
00000869: JUMPI
0000086a: PUSH1 0x40
0000086c: MLOAD
0000086d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x04
00000892: ADD
00000893: PUSH2 0x060f
00000896: SWAP1
00000897: PUSH2 0x3a38
0000089a: JUMP
0000089b: JUMPDEST
0000089c: PUSH1 0x00
0000089e: SLOAD
0000089f: PUSH2 0x0100
000008a2: SWAP1
000008a3: DIV
000008a4: PUSH1 0xff
000008a6: AND
000008a7: ISZERO
000008a8: DUP1
000008a9: ISZERO
000008aa: PUSH2 0x0901
000008ad: JUMPI
000008ae: PUSH1 0x00
000008b0: DUP1
000008b1: SLOAD
000008b2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000008d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000008f4: SWAP1
000008f5: SWAP2
000008f6: AND
000008f7: PUSH2 0x0100
000008fa: OR
000008fb: AND
000008fc: PUSH1 0x01
000008fe: OR
000008ff: SWAP1
00000900: SSTORE
00000901: JUMPDEST
00000902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000917: DUP6
00000918: AND
00000919: PUSH2 0x094e
0000091c: JUMPI
0000091d: PUSH1 0x40
0000091f: MLOAD
00000920: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000941: DUP2
00000942: MSTORE
00000943: PUSH1 0x04
00000945: ADD
00000946: PUSH2 0x060f
00000949: SWAP1
0000094a: PUSH2 0x3a01
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000964: DUP5
00000965: AND
00000966: PUSH2 0x099b
00000969: JUMPI
0000096a: PUSH1 0x40
0000096c: MLOAD
0000096d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x04
00000992: ADD
00000993: PUSH2 0x060f
00000996: SWAP1
00000997: PUSH2 0x3a01
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH2 0x09a3
0000099f: PUSH2 0x1e71
000009a2: JUMP
000009a3: JUMPDEST
000009a4: PUSH2 0x09ab
000009a7: PUSH2 0x1f65
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH2 0x09b3
000009af: PUSH2 0x20d6
000009b2: JUMP
000009b3: JUMPDEST
000009b4: PUSH2 0x09bd
000009b7: DUP4
000009b8: DUP4
000009b9: PUSH2 0x21f2
000009bc: JUMP
000009bd: JUMPDEST
000009be: PUSH1 0xc9
000009c0: DUP1
000009c1: SLOAD
000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d7: DUP1
000009d8: DUP9
000009d9: AND
000009da: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000009fb: SWAP3
000009fc: DUP4
000009fd: AND
000009fe: OR
000009ff: SWAP1
00000a00: SWAP3
00000a01: SSTORE
00000a02: PUSH1 0xca
00000a04: DUP1
00000a05: SLOAD
00000a06: SWAP3
00000a07: DUP8
00000a08: AND
00000a09: SWAP3
00000a0a: SWAP1
00000a0b: SWAP2
00000a0c: AND
00000a0d: SWAP2
00000a0e: SWAP1
00000a0f: SWAP2
00000a10: OR
00000a11: SWAP1
00000a12: SSTORE
00000a13: PUSH1 0x00
00000a15: PUSH1 0xcb
00000a17: SSTORE
00000a18: DUP1
00000a19: ISZERO
00000a1a: PUSH2 0x0a46
00000a1d: JUMPI
00000a1e: PUSH1 0x00
00000a20: DUP1
00000a21: SLOAD
00000a22: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00000a43: AND
00000a44: SWAP1
00000a45: SSTORE
00000a46: JUMPDEST
00000a47: POP
00000a48: POP
00000a49: POP
00000a4a: POP
00000a4b: POP
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x00
00000a50: PUSH2 0x0a59
00000a53: DUP5
00000a54: DUP4
00000a55: PUSH2 0x233b
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x00
00000a5c: PUSH2 0x0a66
00000a5f: DUP6
00000a60: DUP6
00000a61: DUP6
00000a62: PUSH2 0x2487
00000a65: JUMP
00000a66: JUMPDEST
00000a67: SWAP1
00000a68: POP
00000a69: PUSH32 0x5472616e73666572000000000000000000000000000000000000000000000000
00000a8a: PUSH2 0x0a93
00000a8d: DUP2
00000a8e: DUP8
00000a8f: PUSH2 0x2529
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH2 0x0a9d
00000a97: DUP2
00000a98: DUP7
00000a99: PUSH2 0x2529
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: POP
00000a9f: SWAP1
00000aa0: POP
00000aa1: JUMPDEST
00000aa2: SWAP4
00000aa3: SWAP3
00000aa4: POP
00000aa5: POP
00000aa6: POP
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: PUSH2 0x0ab0
00000aac: PUSH2 0x10ac
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: ISZERO
00000ab2: PUSH2 0x0ae7
00000ab5: JUMPI
00000ab6: PUSH1 0x40
00000ab8: MLOAD
00000ab9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x04
00000ade: ADD
00000adf: PUSH2 0x060f
00000ae2: SWAP1
00000ae3: PUSH2 0x3993
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH2 0x0762
00000aeb: CALLER
00000aec: DUP4
00000aed: DUP4
00000aee: CALLVALUE
00000aef: PUSH2 0x2705
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x38
00000af6: SLOAD
00000af7: PUSH1 0xff
00000af9: AND
00000afa: SWAP1
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH2 0x0b04
00000b00: PUSH2 0x10ac
00000b03: JUMP
00000b04: JUMPDEST
00000b05: ISZERO
00000b06: PUSH2 0x0b3b
00000b09: JUMPI
00000b0a: PUSH1 0x40
00000b0c: MLOAD
00000b0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x04
00000b32: ADD
00000b33: PUSH2 0x060f
00000b36: SWAP1
00000b37: PUSH2 0x3993
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH1 0xcd
00000b3e: SLOAD
00000b3f: PUSH1 0xff
00000b41: AND
00000b42: ISZERO
00000b43: PUSH2 0x0b78
00000b46: JUMPI
00000b47: PUSH1 0x40
00000b49: MLOAD
00000b4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x04
00000b6f: ADD
00000b70: PUSH2 0x060f
00000b73: SWAP1
00000b74: PUSH2 0x3d51
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH1 0xcd
00000b7b: DUP1
00000b7c: SLOAD
00000b7d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b9e: AND
00000b9f: PUSH1 0x01
00000ba1: SWAP1
00000ba2: DUP2
00000ba3: OR
00000ba4: SWAP1
00000ba5: SWAP2
00000ba6: SSTORE
00000ba7: CALLER
00000ba8: PUSH1 0x00
00000baa: SWAP1
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0xcc
00000baf: PUSH1 0x20
00000bb1: MSTORE
00000bb2: PUSH1 0x40
00000bb4: SWAP1
00000bb5: KECCAK256
00000bb6: ADD
00000bb7: SLOAD
00000bb8: DUP3
00000bb9: GT
00000bba: ISZERO
00000bbb: PUSH2 0x0bf0
00000bbe: JUMPI
00000bbf: PUSH1 0x40
00000bc1: MLOAD
00000bc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000be3: DUP2
00000be4: MSTORE
00000be5: PUSH1 0x04
00000be7: ADD
00000be8: PUSH2 0x060f
00000beb: SWAP1
00000bec: PUSH2 0x3b03
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH1 0x00
00000bf3: DUP3
00000bf4: GT
00000bf5: PUSH2 0x0c2a
00000bf8: JUMPI
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c1d: DUP2
00000c1e: MSTORE
00000c1f: PUSH1 0x04
00000c21: ADD
00000c22: PUSH2 0x060f
00000c25: SWAP1
00000c26: PUSH2 0x3925
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0xc9
00000c2d: SLOAD
00000c2e: PUSH1 0x40
00000c30: MLOAD
00000c31: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00000c52: DUP2
00000c53: MSTORE
00000c54: DUP4
00000c55: SWAP2
00000c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6b: AND
00000c6c: SWAP1
00000c6d: PUSH4 0x70a08231
00000c72: SWAP1
00000c73: PUSH2 0x0c80
00000c76: SWAP1
00000c77: ADDRESS
00000c78: SWAP1
00000c79: PUSH1 0x04
00000c7b: ADD
00000c7c: PUSH2 0x351e
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x20
00000c83: PUSH1 0x40
00000c85: MLOAD
00000c86: DUP1
00000c87: DUP4
00000c88: SUB
00000c89: DUP2
00000c8a: DUP7
00000c8b: DUP1
00000c8c: EXTCODESIZE
00000c8d: ISZERO
00000c8e: DUP1
00000c8f: ISZERO
00000c90: PUSH2 0x0c98
00000c93: JUMPI
00000c94: PUSH1 0x00
00000c96: DUP1
00000c97: REVERT
00000c98: JUMPDEST
00000c99: POP
00000c9a: GAS
00000c9b: STATICCALL
00000c9c: ISZERO
00000c9d: DUP1
00000c9e: ISZERO
00000c9f: PUSH2 0x0cac
00000ca2: JUMPI
00000ca3: RETURNDATASIZE
00000ca4: PUSH1 0x00
00000ca6: DUP1
00000ca7: RETURNDATACOPY
00000ca8: RETURNDATASIZE
00000ca9: PUSH1 0x00
00000cab: REVERT
00000cac: JUMPDEST
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: POP
00000cb1: PUSH1 0x40
00000cb3: MLOAD
00000cb4: RETURNDATASIZE
00000cb5: PUSH1 0x1f
00000cb7: NOT
00000cb8: PUSH1 0x1f
00000cba: DUP3
00000cbb: ADD
00000cbc: AND
00000cbd: DUP3
00000cbe: ADD
00000cbf: DUP1
00000cc0: PUSH1 0x40
00000cc2: MSTORE
00000cc3: POP
00000cc4: DUP2
00000cc5: ADD
00000cc6: SWAP1
00000cc7: PUSH2 0x0cd0
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: PUSH2 0x347c
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: LT
00000cd2: ISZERO
00000cd3: PUSH2 0x0d08
00000cd6: JUMPI
00000cd7: PUSH1 0x40
00000cd9: MLOAD
00000cda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cfb: DUP2
00000cfc: MSTORE
00000cfd: PUSH1 0x04
00000cff: ADD
00000d00: PUSH2 0x060f
00000d03: SWAP1
00000d04: PUSH2 0x3a95
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0xca
00000d0b: PUSH1 0x00
00000d0d: SWAP1
00000d0e: SLOAD
00000d0f: SWAP1
00000d10: PUSH2 0x0100
00000d13: EXP
00000d14: SWAP1
00000d15: DIV
00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2b: AND
00000d2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d41: AND
00000d42: PUSH4 0x85790945
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: DUP2
00000d4b: PUSH4 0xffffffff
00000d50: AND
00000d51: PUSH1 0xe0
00000d53: SHL
00000d54: DUP2
00000d55: MSTORE
00000d56: PUSH1 0x04
00000d58: ADD
00000d59: PUSH1 0x20
00000d5b: PUSH1 0x40
00000d5d: MLOAD
00000d5e: DUP1
00000d5f: DUP4
00000d60: SUB
00000d61: DUP2
00000d62: DUP7
00000d63: DUP1
00000d64: EXTCODESIZE
00000d65: ISZERO
00000d66: DUP1
00000d67: ISZERO
00000d68: PUSH2 0x0d70
00000d6b: JUMPI
00000d6c: PUSH1 0x00
00000d6e: DUP1
00000d6f: REVERT
00000d70: JUMPDEST
00000d71: POP
00000d72: GAS
00000d73: STATICCALL
00000d74: ISZERO
00000d75: DUP1
00000d76: ISZERO
00000d77: PUSH2 0x0d84
00000d7a: JUMPI
00000d7b: RETURNDATASIZE
00000d7c: PUSH1 0x00
00000d7e: DUP1
00000d7f: RETURNDATACOPY
00000d80: RETURNDATASIZE
00000d81: PUSH1 0x00
00000d83: REVERT
00000d84: JUMPDEST
00000d85: POP
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: PUSH1 0x40
00000d8b: MLOAD
00000d8c: RETURNDATASIZE
00000d8d: PUSH1 0x1f
00000d8f: NOT
00000d90: PUSH1 0x1f
00000d92: DUP3
00000d93: ADD
00000d94: AND
00000d95: DUP3
00000d96: ADD
00000d97: DUP1
00000d98: PUSH1 0x40
00000d9a: MSTORE
00000d9b: POP
00000d9c: DUP2
00000d9d: ADD
00000d9e: SWAP1
00000d9f: PUSH2 0x0da8
00000da2: SWAP2
00000da3: SWAP1
00000da4: PUSH2 0x347c
00000da7: JUMP
00000da8: JUMPDEST
00000da9: CALLER
00000daa: PUSH1 0x00
00000dac: SWAP1
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0xcc
00000db1: PUSH1 0x20
00000db3: MSTORE
00000db4: PUSH1 0x40
00000db6: SWAP1
00000db7: KECCAK256
00000db8: SLOAD
00000db9: GT
00000dba: ISZERO
00000dbb: PUSH2 0x0df0
00000dbe: JUMPI
00000dbf: PUSH1 0x40
00000dc1: MLOAD
00000dc2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000de3: DUP2
00000de4: MSTORE
00000de5: PUSH1 0x04
00000de7: ADD
00000de8: PUSH2 0x060f
00000deb: SWAP1
00000dec: PUSH2 0x395c
00000def: JUMP
00000df0: JUMPDEST
00000df1: CALLER
00000df2: PUSH1 0x00
00000df4: SWAP1
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0xcc
00000df9: PUSH1 0x20
00000dfb: MSTORE
00000dfc: PUSH1 0x40
00000dfe: SWAP1
00000dff: KECCAK256
00000e00: PUSH1 0x01
00000e02: ADD
00000e03: SLOAD
00000e04: PUSH2 0x0e13
00000e07: SWAP1
00000e08: DUP4
00000e09: PUSH4 0xffffffff
00000e0e: PUSH2 0x1b3d
00000e11: AND
00000e12: JUMP
00000e13: JUMPDEST
00000e14: CALLER
00000e15: PUSH1 0x00
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0xcc
00000e1c: PUSH1 0x20
00000e1e: MSTORE
00000e1f: PUSH1 0x40
00000e21: SWAP1
00000e22: KECCAK256
00000e23: PUSH1 0x01
00000e25: ADD
00000e26: DUP2
00000e27: SWAP1
00000e28: SSTORE
00000e29: PUSH2 0x0e43
00000e2c: JUMPI
00000e2d: CALLER
00000e2e: PUSH1 0x00
00000e30: SWAP1
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0xcc
00000e35: PUSH1 0x20
00000e37: MSTORE
00000e38: PUSH1 0x40
00000e3a: DUP2
00000e3b: KECCAK256
00000e3c: DUP2
00000e3d: DUP2
00000e3e: SSTORE
00000e3f: PUSH1 0x01
00000e41: ADD
00000e42: SSTORE
00000e43: JUMPDEST
00000e44: PUSH1 0xcb
00000e46: SLOAD
00000e47: PUSH2 0x0e56
00000e4a: SWAP1
00000e4b: DUP4
00000e4c: PUSH4 0xffffffff
00000e51: PUSH2 0x1b3d
00000e54: AND
00000e55: JUMP
00000e56: JUMPDEST
00000e57: PUSH1 0xcb
00000e59: SSTORE
00000e5a: PUSH2 0x0e63
00000e5d: CALLER
00000e5e: DUP4
00000e5f: PUSH2 0x28b3
00000e62: JUMP
00000e63: JUMPDEST
00000e64: PUSH32 0x5769746864726177000000000000000000000000000000000000000000000000
00000e85: PUSH2 0x0e8e
00000e88: DUP2
00000e89: CALLER
00000e8a: PUSH2 0x2529
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: DUP2
00000e90: ISZERO
00000e91: PUSH2 0x0f34
00000e94: JUMPI
00000e95: PUSH1 0xc9
00000e97: SLOAD
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed3: SWAP1
00000ed4: SWAP2
00000ed5: AND
00000ed6: SWAP1
00000ed7: PUSH4 0x2e1a7d4d
00000edc: SWAP1
00000edd: PUSH2 0x0eea
00000ee0: SWAP1
00000ee1: DUP7
00000ee2: SWAP1
00000ee3: PUSH1 0x04
00000ee5: ADD
00000ee6: PUSH2 0x3e0b
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: PUSH1 0x00
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: DUP1
00000ef1: DUP4
00000ef2: SUB
00000ef3: DUP2
00000ef4: PUSH1 0x00
00000ef6: DUP8
00000ef7: DUP1
00000ef8: EXTCODESIZE
00000ef9: ISZERO
00000efa: DUP1
00000efb: ISZERO
00000efc: PUSH2 0x0f04
00000eff: JUMPI
00000f00: PUSH1 0x00
00000f02: DUP1
00000f03: REVERT
00000f04: JUMPDEST
00000f05: POP
00000f06: GAS
00000f07: CALL
00000f08: ISZERO
00000f09: DUP1
00000f0a: ISZERO
00000f0b: PUSH2 0x0f18
00000f0e: JUMPI
00000f0f: RETURNDATASIZE
00000f10: PUSH1 0x00
00000f12: DUP1
00000f13: RETURNDATACOPY
00000f14: RETURNDATASIZE
00000f15: PUSH1 0x00
00000f17: REVERT
00000f18: JUMPDEST
00000f19: POP
00000f1a: PUSH2 0x0f2f
00000f1d: SWAP3
00000f1e: POP
00000f1f: CALLER
00000f20: SWAP2
00000f21: POP
00000f22: DUP6
00000f23: SWAP1
00000f24: POP
00000f25: PUSH4 0xffffffff
00000f2a: PUSH2 0x29ef
00000f2d: AND
00000f2e: JUMP
00000f2f: JUMPDEST
00000f30: PUSH2 0x0f5e
00000f33: JUMP
00000f34: JUMPDEST
00000f35: PUSH1 0xc9
00000f37: SLOAD
00000f38: PUSH2 0x0f5e
00000f3b: SWAP1
00000f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f51: AND
00000f52: CALLER
00000f53: DUP6
00000f54: PUSH4 0xffffffff
00000f59: PUSH2 0x2acc
00000f5c: AND
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: POP
00000f60: POP
00000f61: PUSH1 0xcd
00000f63: DUP1
00000f64: SLOAD
00000f65: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000f86: AND
00000f87: SWAP1
00000f88: SSTORE
00000f89: POP
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: PUSH1 0x00
00000f8e: PUSH2 0x082f
00000f91: PUSH2 0x0f98
00000f94: PUSH2 0x1b39
00000f97: JUMP
00000f98: JUMPDEST
00000f99: DUP5
00000f9a: PUSH2 0x0fec
00000f9d: DUP6
00000f9e: PUSH1 0x34
00000fa0: PUSH1 0x00
00000fa2: PUSH2 0x0fa9
00000fa5: PUSH2 0x1b39
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbf: SWAP1
00000fc0: DUP2
00000fc1: AND
00000fc2: DUP3
00000fc3: MSTORE
00000fc4: PUSH1 0x20
00000fc6: DUP1
00000fc7: DUP4
00000fc8: ADD
00000fc9: SWAP4
00000fca: SWAP1
00000fcb: SWAP4
00000fcc: MSTORE
00000fcd: PUSH1 0x40
00000fcf: SWAP2
00000fd0: DUP3
00000fd1: ADD
00000fd2: PUSH1 0x00
00000fd4: SWAP1
00000fd5: DUP2
00000fd6: KECCAK256
00000fd7: SWAP2
00000fd8: DUP13
00000fd9: AND
00000fda: DUP2
00000fdb: MSTORE
00000fdc: SWAP3
00000fdd: MSTORE
00000fde: SWAP1
00000fdf: KECCAK256
00000fe0: SLOAD
00000fe1: SWAP1
00000fe2: PUSH4 0xffffffff
00000fe7: PUSH2 0x2aeb
00000fea: AND
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH2 0x1d51
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH2 0x0ff9
00000ff5: PUSH2 0x1b39
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100f: AND
00001010: PUSH2 0x1017
00001013: PUSH2 0x1427
00001016: JUMP
00001017: JUMPDEST
00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102d: AND
0000102e: EQ
0000102f: PUSH2 0x1064
00001032: JUMPI
00001033: PUSH1 0x40
00001035: MLOAD
00001036: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001057: DUP2
00001058: MSTORE
00001059: PUSH1 0x04
0000105b: ADD
0000105c: PUSH2 0x060f
0000105f: SWAP1
00001060: PUSH2 0x3b3a
00001063: JUMP
00001064: JUMPDEST
00001065: PUSH2 0x106c
00001068: PUSH2 0x2b2a
0000106b: JUMP
0000106c: JUMPDEST
0000106d: JUMP
0000106e: JUMPDEST
0000106f: PUSH1 0xc9
00001071: SLOAD
00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001087: AND
00001088: DUP2
00001089: JUMP
0000108a: JUMPDEST
0000108b: PUSH1 0xca
0000108d: SLOAD
0000108e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a3: AND
000010a4: DUP2
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH1 0xcb
000010a9: SLOAD
000010aa: DUP2
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x97
000010af: SLOAD
000010b0: PUSH1 0xff
000010b2: AND
000010b3: SWAP1
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cb: AND
000010cc: PUSH1 0x00
000010ce: SWAP1
000010cf: DUP2
000010d0: MSTORE
000010d1: PUSH1 0x33
000010d3: PUSH1 0x20
000010d5: MSTORE
000010d6: PUSH1 0x40
000010d8: SWAP1
000010d9: KECCAK256
000010da: SLOAD
000010db: SWAP1
000010dc: JUMP
000010dd: JUMPDEST
000010de: PUSH2 0x10e5
000010e1: PUSH2 0x1b39
000010e4: JUMP
000010e5: JUMPDEST
000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fb: AND
000010fc: PUSH2 0x1103
000010ff: PUSH2 0x1427
00001102: JUMP
00001103: JUMPDEST
00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001119: AND
0000111a: EQ
0000111b: PUSH2 0x1150
0000111e: JUMPI
0000111f: PUSH1 0x40
00001121: MLOAD
00001122: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x04
00001147: ADD
00001148: PUSH2 0x060f
0000114b: SWAP1
0000114c: PUSH2 0x3b3a
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x65
00001153: SLOAD
00001154: PUSH1 0x40
00001156: MLOAD
00001157: PUSH1 0x00
00001159: SWAP2
0000115a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116f: AND
00001170: SWAP1
00001171: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001192: SWAP1
00001193: DUP4
00001194: SWAP1
00001195: LOG3
00001196: PUSH1 0x65
00001198: DUP1
00001199: SLOAD
0000119a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000011bb: AND
000011bc: SWAP1
000011bd: SSTORE
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0xc9
000011c2: SLOAD
000011c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d8: AND
000011d9: SWAP1
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH2 0x11e3
000011df: PUSH2 0x1b39
000011e2: JUMP
000011e3: JUMPDEST
000011e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f9: AND
000011fa: PUSH2 0x1201
000011fd: PUSH2 0x1427
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: EQ
00001219: PUSH2 0x124e
0000121c: JUMPI
0000121d: PUSH1 0x40
0000121f: MLOAD
00001220: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001241: DUP2
00001242: MSTORE
00001243: PUSH1 0x04
00001245: ADD
00001246: PUSH2 0x060f
00001249: SWAP1
0000124a: PUSH2 0x3b3a
0000124d: JUMP
0000124e: JUMPDEST
0000124f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001264: DUP3
00001265: AND
00001266: PUSH2 0x129b
00001269: JUMPI
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000128e: DUP2
0000128f: MSTORE
00001290: PUSH1 0x04
00001292: ADD
00001293: PUSH2 0x060f
00001296: SWAP1
00001297: PUSH2 0x3667
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b1: DUP2
000012b2: AND
000012b3: PUSH2 0x12e8
000012b6: JUMPI
000012b7: PUSH1 0x40
000012b9: MLOAD
000012ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012db: DUP2
000012dc: MSTORE
000012dd: PUSH1 0x04
000012df: ADD
000012e0: PUSH2 0x060f
000012e3: SWAP1
000012e4: PUSH2 0x3667
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH1 0xce
000012eb: DUP1
000012ec: SLOAD
000012ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001302: DUP1
00001303: DUP6
00001304: AND
00001305: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001326: SWAP3
00001327: DUP4
00001328: AND
00001329: OR
0000132a: SWAP1
0000132b: SWAP3
0000132c: SSTORE
0000132d: PUSH1 0xcf
0000132f: DUP1
00001330: SLOAD
00001331: SWAP3
00001332: DUP5
00001333: AND
00001334: SWAP3
00001335: SWAP1
00001336: SWAP2
00001337: AND
00001338: SWAP2
00001339: SWAP1
0000133a: SWAP2
0000133b: OR
0000133c: SWAP1
0000133d: SSTORE
0000133e: PUSH1 0x40
00001340: MLOAD
00001341: PUSH32 0xdd38196ae61206d6b7c944929ca054465eec5bbec09f0d942bd3f5569601e4e5
00001362: SWAP1
00001363: PUSH2 0x136f
00001366: SWAP1
00001367: DUP5
00001368: SWAP1
00001369: DUP5
0000136a: SWAP1
0000136b: PUSH2 0x353f
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x40
00001372: MLOAD
00001373: DUP1
00001374: SWAP2
00001375: SUB
00001376: SWAP1
00001377: LOG1
00001378: POP
00001379: POP
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0xcd
0000137e: SLOAD
0000137f: PUSH2 0x0100
00001382: SWAP1
00001383: DIV
00001384: PUSH1 0xff
00001386: AND
00001387: DUP2
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH2 0x1391
0000138d: PUSH2 0x1b39
00001390: JUMP
00001391: JUMPDEST
00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a7: AND
000013a8: PUSH2 0x13af
000013ab: PUSH2 0x1427
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c5: AND
000013c6: EQ
000013c7: PUSH2 0x13fc
000013ca: JUMPI
000013cb: PUSH1 0x40
000013cd: MLOAD
000013ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x04
000013f3: ADD
000013f4: PUSH2 0x060f
000013f7: SWAP1
000013f8: PUSH2 0x3b3a
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH2 0x106c
00001400: PUSH2 0x2bd0
00001403: JUMP
00001404: JUMPDEST
00001405: PUSH1 0xce
00001407: SLOAD
00001408: PUSH1 0xcf
0000140a: SLOAD
0000140b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001420: SWAP2
00001421: DUP3
00001422: AND
00001423: SWAP2
00001424: AND
00001425: DUP3
00001426: JUMP
00001427: JUMPDEST
00001428: PUSH1 0x65
0000142a: SLOAD
0000142b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001440: AND
00001441: SWAP1
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH1 0x37
00001446: DUP1
00001447: SLOAD
00001448: PUSH1 0x40
0000144a: DUP1
0000144b: MLOAD
0000144c: PUSH1 0x20
0000144e: PUSH1 0x1f
00001450: PUSH1 0x02
00001452: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001473: PUSH2 0x0100
00001476: PUSH1 0x01
00001478: DUP9
00001479: AND
0000147a: ISZERO
0000147b: MUL
0000147c: ADD
0000147d: SWAP1
0000147e: SWAP6
0000147f: AND
00001480: SWAP5
00001481: SWAP1
00001482: SWAP5
00001483: DIV
00001484: SWAP4
00001485: DUP5
00001486: ADD
00001487: DUP2
00001488: SWAP1
00001489: DIV
0000148a: DUP2
0000148b: MUL
0000148c: DUP3
0000148d: ADD
0000148e: DUP2
0000148f: ADD
00001490: SWAP1
00001491: SWAP3
00001492: MSTORE
00001493: DUP3
00001494: DUP2
00001495: MSTORE
00001496: PUSH1 0x60
00001498: SWAP4
00001499: SWAP1
0000149a: SWAP3
0000149b: SWAP1
0000149c: SWAP2
0000149d: DUP4
0000149e: ADD
0000149f: DUP3
000014a0: DUP3
000014a1: DUP1
000014a2: ISZERO
000014a3: PUSH2 0x0810
000014a6: JUMPI
000014a7: DUP1
000014a8: PUSH1 0x1f
000014aa: LT
000014ab: PUSH2 0x07e5
000014ae: JUMPI
000014af: PUSH2 0x0100
000014b2: DUP1
000014b3: DUP4
000014b4: SLOAD
000014b5: DIV
000014b6: MUL
000014b7: DUP4
000014b8: MSTORE
000014b9: SWAP2
000014ba: PUSH1 0x20
000014bc: ADD
000014bd: SWAP2
000014be: PUSH2 0x0810
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH1 0x00
000014c5: DUP2
000014c6: GT
000014c7: PUSH2 0x14fc
000014ca: JUMPI
000014cb: PUSH1 0x40
000014cd: MLOAD
000014ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x04
000014f3: ADD
000014f4: PUSH2 0x060f
000014f7: SWAP1
000014f8: PUSH2 0x3d1a
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH2 0x1505
00001500: CALLER
00001501: PUSH2 0x10b5
00001504: JUMP
00001505: JUMPDEST
00001506: DUP2
00001507: GT
00001508: ISZERO
00001509: PUSH2 0x153e
0000150c: JUMPI
0000150d: PUSH1 0x40
0000150f: MLOAD
00001510: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001531: DUP2
00001532: MSTORE
00001533: PUSH1 0x04
00001535: ADD
00001536: PUSH2 0x060f
00001539: SWAP1
0000153a: PUSH2 0x36d5
0000153d: JUMP
0000153e: JUMPDEST
0000153f: CALLER
00001540: PUSH1 0x00
00001542: SWAP1
00001543: DUP2
00001544: MSTORE
00001545: PUSH1 0xcc
00001547: PUSH1 0x20
00001549: MSTORE
0000154a: PUSH1 0x40
0000154c: SWAP1
0000154d: KECCAK256
0000154e: PUSH1 0x01
00001550: ADD
00001551: SLOAD
00001552: PUSH1 0xcb
00001554: SLOAD
00001555: PUSH2 0x1575
00001558: SWAP2
00001559: DUP4
0000155a: SWAP2
0000155b: PUSH2 0x1569
0000155e: SWAP2
0000155f: PUSH4 0xffffffff
00001564: PUSH2 0x1b3d
00001567: AND
00001568: JUMP
00001569: JUMPDEST
0000156a: SWAP1
0000156b: PUSH4 0xffffffff
00001570: PUSH2 0x2aeb
00001573: AND
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0xcb
00001578: SSTORE
00001579: CALLER
0000157a: PUSH1 0x00
0000157c: SWAP1
0000157d: DUP2
0000157e: MSTORE
0000157f: PUSH1 0xcc
00001581: PUSH1 0x20
00001583: SWAP1
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x40
00001588: SWAP2
00001589: DUP3
0000158a: SWAP1
0000158b: KECCAK256
0000158c: PUSH1 0x01
0000158e: ADD
0000158f: DUP4
00001590: SWAP1
00001591: SSTORE
00001592: PUSH1 0xca
00001594: SLOAD
00001595: DUP3
00001596: MLOAD
00001597: PUSH32 0xf99476c900000000000000000000000000000000000000000000000000000000
000015b8: DUP2
000015b9: MSTORE
000015ba: SWAP3
000015bb: MLOAD
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: SWAP1
000015d2: SWAP2
000015d3: AND
000015d4: SWAP3
000015d5: PUSH4 0xf99476c9
000015da: SWAP3
000015db: PUSH1 0x04
000015dd: DUP1
000015de: DUP4
000015df: ADD
000015e0: SWAP4
000015e1: SWAP2
000015e2: SWAP3
000015e3: DUP3
000015e4: SWAP1
000015e5: SUB
000015e6: ADD
000015e7: DUP2
000015e8: DUP7
000015e9: DUP1
000015ea: EXTCODESIZE
000015eb: ISZERO
000015ec: DUP1
000015ed: ISZERO
000015ee: PUSH2 0x15f6
000015f1: JUMPI
000015f2: PUSH1 0x00
000015f4: DUP1
000015f5: REVERT
000015f6: JUMPDEST
000015f7: POP
000015f8: GAS
000015f9: STATICCALL
000015fa: ISZERO
000015fb: DUP1
000015fc: ISZERO
000015fd: PUSH2 0x160a
00001600: JUMPI
00001601: RETURNDATASIZE
00001602: PUSH1 0x00
00001604: DUP1
00001605: RETURNDATACOPY
00001606: RETURNDATASIZE
00001607: PUSH1 0x00
00001609: REVERT
0000160a: JUMPDEST
0000160b: POP
0000160c: POP
0000160d: POP
0000160e: POP
0000160f: PUSH1 0x40
00001611: MLOAD
00001612: RETURNDATASIZE
00001613: PUSH1 0x1f
00001615: NOT
00001616: PUSH1 0x1f
00001618: DUP3
00001619: ADD
0000161a: AND
0000161b: DUP3
0000161c: ADD
0000161d: DUP1
0000161e: PUSH1 0x40
00001620: MSTORE
00001621: POP
00001622: DUP2
00001623: ADD
00001624: SWAP1
00001625: PUSH2 0x162e
00001628: SWAP2
00001629: SWAP1
0000162a: PUSH2 0x33c2
0000162d: JUMP
0000162e: JUMPDEST
0000162f: ISZERO
00001630: PUSH2 0x16ed
00001633: JUMPI
00001634: PUSH2 0x16d8
00001637: PUSH1 0x02
00001639: PUSH1 0xca
0000163b: PUSH1 0x00
0000163d: SWAP1
0000163e: SLOAD
0000163f: SWAP1
00001640: PUSH2 0x0100
00001643: EXP
00001644: SWAP1
00001645: DIV
00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165b: AND
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: PUSH4 0x85790945
00001677: PUSH1 0x40
00001679: MLOAD
0000167a: DUP2
0000167b: PUSH4 0xffffffff
00001680: AND
00001681: PUSH1 0xe0
00001683: SHL
00001684: DUP2
00001685: MSTORE
00001686: PUSH1 0x04
00001688: ADD
00001689: PUSH1 0x20
0000168b: PUSH1 0x40
0000168d: MLOAD
0000168e: DUP1
0000168f: DUP4
00001690: SUB
00001691: DUP2
00001692: DUP7
00001693: DUP1
00001694: EXTCODESIZE
00001695: ISZERO
00001696: DUP1
00001697: ISZERO
00001698: PUSH2 0x16a0
0000169b: JUMPI
0000169c: PUSH1 0x00
0000169e: DUP1
0000169f: REVERT
000016a0: JUMPDEST
000016a1: POP
000016a2: GAS
000016a3: STATICCALL
000016a4: ISZERO
000016a5: DUP1
000016a6: ISZERO
000016a7: PUSH2 0x16b4
000016aa: JUMPI
000016ab: RETURNDATASIZE
000016ac: PUSH1 0x00
000016ae: DUP1
000016af: RETURNDATACOPY
000016b0: RETURNDATASIZE
000016b1: PUSH1 0x00
000016b3: REVERT
000016b4: JUMPDEST
000016b5: POP
000016b6: POP
000016b7: POP
000016b8: POP
000016b9: PUSH1 0x40
000016bb: MLOAD
000016bc: RETURNDATASIZE
000016bd: PUSH1 0x1f
000016bf: NOT
000016c0: PUSH1 0x1f
000016c2: DUP3
000016c3: ADD
000016c4: AND
000016c5: DUP3
000016c6: ADD
000016c7: DUP1
000016c8: PUSH1 0x40
000016ca: MSTORE
000016cb: POP
000016cc: DUP2
000016cd: ADD
000016ce: SWAP1
000016cf: PUSH2 0x1569
000016d2: SWAP2
000016d3: SWAP1
000016d4: PUSH2 0x347c
000016d7: JUMP
000016d8: JUMPDEST
000016d9: CALLER
000016da: PUSH1 0x00
000016dc: SWAP1
000016dd: DUP2
000016de: MSTORE
000016df: PUSH1 0xcc
000016e1: PUSH1 0x20
000016e3: MSTORE
000016e4: PUSH1 0x40
000016e6: SWAP1
000016e7: KECCAK256
000016e8: SSTORE
000016e9: PUSH2 0x176b
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH2 0x175a
000016f1: PUSH1 0x01
000016f3: PUSH1 0xca
000016f5: PUSH1 0x00
000016f7: SWAP1
000016f8: SLOAD
000016f9: SWAP1
000016fa: PUSH2 0x0100
000016fd: EXP
000016fe: SWAP1
000016ff: DIV
00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001715: AND
00001716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172b: AND
0000172c: PUSH4 0x85790945
00001731: PUSH1 0x40
00001733: MLOAD
00001734: DUP2
00001735: PUSH4 0xffffffff
0000173a: AND
0000173b: PUSH1 0xe0
0000173d: SHL
0000173e: DUP2
0000173f: MSTORE
00001740: PUSH1 0x04
00001742: ADD
00001743: PUSH1 0x20
00001745: PUSH1 0x40
00001747: MLOAD
00001748: DUP1
00001749: DUP4
0000174a: SUB
0000174b: DUP2
0000174c: DUP7
0000174d: DUP1
0000174e: EXTCODESIZE
0000174f: ISZERO
00001750: DUP1
00001751: ISZERO
00001752: PUSH2 0x16a0
00001755: JUMPI
00001756: PUSH1 0x00
00001758: DUP1
00001759: REVERT
0000175a: JUMPDEST
0000175b: CALLER
0000175c: PUSH1 0x00
0000175e: SWAP1
0000175f: DUP2
00001760: MSTORE
00001761: PUSH1 0xcc
00001763: PUSH1 0x20
00001765: MSTORE
00001766: PUSH1 0x40
00001768: SWAP1
00001769: KECCAK256
0000176a: SSTORE
0000176b: JUMPDEST
0000176c: PUSH32 0xe670e4e82118d22a1f9ee18920455ebc958bae26a90a05d31d3378788b1b0e44
0000178d: CALLER
0000178e: DUP3
0000178f: PUSH1 0x40
00001791: MLOAD
00001792: PUSH2 0x179c
00001795: SWAP3
00001796: SWAP2
00001797: SWAP1
00001798: PUSH2 0x3566
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x40
0000179f: MLOAD
000017a0: DUP1
000017a1: SWAP2
000017a2: SUB
000017a3: SWAP1
000017a4: LOG1
000017a5: POP
000017a6: JUMP
000017a7: JUMPDEST
000017a8: PUSH1 0x00
000017aa: PUSH2 0x082f
000017ad: PUSH2 0x17b4
000017b0: PUSH2 0x1b39
000017b3: JUMP
000017b4: JUMPDEST
000017b5: DUP5
000017b6: PUSH2 0x0fec
000017b9: DUP6
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: DUP1
000017be: PUSH1 0x60
000017c0: ADD
000017c1: PUSH1 0x40
000017c3: MSTORE
000017c4: DUP1
000017c5: PUSH1 0x25
000017c7: DUP2
000017c8: MSTORE
000017c9: PUSH1 0x20
000017cb: ADD
000017cc: PUSH2 0x3f26
000017cf: PUSH1 0x25
000017d1: SWAP2
000017d2: CODECOPY
000017d3: PUSH1 0x34
000017d5: PUSH1 0x00
000017d7: PUSH2 0x17de
000017da: PUSH2 0x1b39
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f4: SWAP1
000017f5: DUP2
000017f6: AND
000017f7: DUP3
000017f8: MSTORE
000017f9: PUSH1 0x20
000017fb: DUP1
000017fc: DUP4
000017fd: ADD
000017fe: SWAP4
000017ff: SWAP1
00001800: SWAP4
00001801: MSTORE
00001802: PUSH1 0x40
00001804: SWAP2
00001805: DUP3
00001806: ADD
00001807: PUSH1 0x00
00001809: SWAP1
0000180a: DUP2
0000180b: KECCAK256
0000180c: SWAP2
0000180d: DUP14
0000180e: AND
0000180f: DUP2
00001810: MSTORE
00001811: SWAP3
00001812: MSTORE
00001813: SWAP1
00001814: KECCAK256
00001815: SLOAD
00001816: SWAP2
00001817: SWAP1
00001818: PUSH4 0xffffffff
0000181d: PUSH2 0x2c63
00001820: AND
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0x00
00001825: PUSH2 0x182e
00001828: CALLER
00001829: DUP4
0000182a: PUSH2 0x233b
0000182d: JUMP
0000182e: JUMPDEST
0000182f: PUSH1 0x00
00001831: PUSH2 0x183a
00001834: DUP5
00001835: DUP5
00001836: PUSH2 0x2ca9
00001839: JUMP
0000183a: JUMPDEST
0000183b: SWAP1
0000183c: POP
0000183d: PUSH32 0x5472616e73666572000000000000000000000000000000000000000000000000
0000185e: PUSH2 0x1867
00001861: DUP2
00001862: CALLER
00001863: PUSH2 0x2529
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH2 0x1871
0000186b: DUP2
0000186c: DUP7
0000186d: PUSH2 0x2529
00001870: JUMP
00001871: JUMPDEST
00001872: POP
00001873: SWAP4
00001874: SWAP3
00001875: POP
00001876: POP
00001877: POP
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH2 0x1881
0000187d: PUSH2 0x10ac
00001880: JUMP
00001881: JUMPDEST
00001882: ISZERO
00001883: PUSH2 0x18b8
00001886: JUMPI
00001887: PUSH1 0x40
00001889: MLOAD
0000188a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ab: DUP2
000018ac: MSTORE
000018ad: PUSH1 0x04
000018af: ADD
000018b0: PUSH2 0x060f
000018b3: SWAP1
000018b4: PUSH2 0x3993
000018b7: JUMP
000018b8: JUMPDEST
000018b9: PUSH2 0x18c4
000018bc: CALLER
000018bd: CALLER
000018be: DUP4
000018bf: CALLVALUE
000018c0: PUSH2 0x2705
000018c3: JUMP
000018c4: JUMPDEST
000018c5: POP
000018c6: JUMP
000018c7: JUMPDEST
000018c8: PUSH1 0xcc
000018ca: PUSH1 0x20
000018cc: MSTORE
000018cd: PUSH1 0x00
000018cf: SWAP1
000018d0: DUP2
000018d1: MSTORE
000018d2: PUSH1 0x40
000018d4: SWAP1
000018d5: KECCAK256
000018d6: DUP1
000018d7: SLOAD
000018d8: PUSH1 0x01
000018da: SWAP1
000018db: SWAP2
000018dc: ADD
000018dd: SLOAD
000018de: DUP3
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f6: SWAP2
000018f7: DUP3
000018f8: AND
000018f9: PUSH1 0x00
000018fb: SWAP1
000018fc: DUP2
000018fd: MSTORE
000018fe: PUSH1 0x34
00001900: PUSH1 0x20
00001902: SWAP1
00001903: DUP2
00001904: MSTORE
00001905: PUSH1 0x40
00001907: DUP1
00001908: DUP4
00001909: KECCAK256
0000190a: SWAP4
0000190b: SWAP1
0000190c: SWAP5
0000190d: AND
0000190e: DUP3
0000190f: MSTORE
00001910: SWAP2
00001911: SWAP1
00001912: SWAP2
00001913: MSTORE
00001914: KECCAK256
00001915: SLOAD
00001916: SWAP1
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH2 0x1920
0000191c: PUSH2 0x1b39
0000191f: JUMP
00001920: JUMPDEST
00001921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001936: AND
00001937: PUSH2 0x193e
0000193a: PUSH2 0x1427
0000193d: JUMP
0000193e: JUMPDEST
0000193f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001954: AND
00001955: EQ
00001956: PUSH2 0x198b
00001959: JUMPI
0000195a: PUSH1 0x40
0000195c: MLOAD
0000195d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000197e: DUP2
0000197f: MSTORE
00001980: PUSH1 0x04
00001982: ADD
00001983: PUSH2 0x060f
00001986: SWAP1
00001987: PUSH2 0x3b3a
0000198a: JUMP
0000198b: JUMPDEST
0000198c: PUSH1 0xcd
0000198e: DUP1
0000198f: SLOAD
00001990: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000019b1: AND
000019b2: PUSH2 0x0100
000019b5: DUP4
000019b6: ISZERO
000019b7: ISZERO
000019b8: MUL
000019b9: OR
000019ba: SWAP1
000019bb: SSTORE
000019bc: PUSH1 0x40
000019be: MLOAD
000019bf: PUSH32 0xe7123337c95757f19d69c6dcdd015734e22a7750c921506a2d02f487678e8aea
000019e0: SWAP1
000019e1: PUSH2 0x179c
000019e4: SWAP1
000019e5: DUP4
000019e6: SWAP1
000019e7: PUSH2 0x35ec
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH2 0x19f3
000019ef: PUSH2 0x1b39
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a09: AND
00001a0a: PUSH2 0x1a11
00001a0d: PUSH2 0x1427
00001a10: JUMP
00001a11: JUMPDEST
00001a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a27: AND
00001a28: EQ
00001a29: PUSH2 0x1a5e
00001a2c: JUMPI
00001a2d: PUSH1 0x40
00001a2f: MLOAD
00001a30: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a51: DUP2
00001a52: MSTORE
00001a53: PUSH1 0x04
00001a55: ADD
00001a56: PUSH2 0x060f
00001a59: SWAP1
00001a5a: PUSH2 0x3b3a
00001a5d: JUMP
00001a5e: JUMPDEST
00001a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a74: DUP2
00001a75: AND
00001a76: PUSH2 0x1aab
00001a79: JUMPI
00001a7a: PUSH1 0x40
00001a7c: MLOAD
00001a7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x04
00001aa2: ADD
00001aa3: PUSH2 0x060f
00001aa6: SWAP1
00001aa7: PUSH2 0x370c
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: PUSH1 0x65
00001aae: SLOAD
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac7: DUP1
00001ac8: DUP5
00001ac9: AND
00001aca: SWAP3
00001acb: AND
00001acc: SWAP1
00001acd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001aee: SWAP1
00001aef: PUSH1 0x00
00001af1: SWAP1
00001af2: LOG3
00001af3: PUSH1 0x65
00001af5: DUP1
00001af6: SLOAD
00001af7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001b18: AND
00001b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2e: SWAP3
00001b2f: SWAP1
00001b30: SWAP3
00001b31: AND
00001b32: SWAP2
00001b33: SWAP1
00001b34: SWAP2
00001b35: OR
00001b36: SWAP1
00001b37: SSTORE
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: CALLER
00001b3b: SWAP1
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH1 0x00
00001b40: DUP3
00001b41: DUP3
00001b42: GT
00001b43: ISZERO
00001b44: PUSH2 0x1b79
00001b47: JUMPI
00001b48: PUSH1 0x40
00001b4a: MLOAD
00001b4b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b6c: DUP2
00001b6d: MSTORE
00001b6e: PUSH1 0x04
00001b70: ADD
00001b71: PUSH2 0x060f
00001b74: SWAP1
00001b75: PUSH2 0x37fd
00001b78: JUMP
00001b79: JUMPDEST
00001b7a: POP
00001b7b: SWAP1
00001b7c: SUB
00001b7d: SWAP1
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH1 0x00
00001b82: PUSH2 0x1bd8
00001b85: DUP3
00001b86: DUP6
00001b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9c: AND
00001b9d: PUSH4 0xdd62ed3e
00001ba2: ADDRESS
00001ba3: DUP8
00001ba4: PUSH1 0x40
00001ba6: MLOAD
00001ba7: DUP4
00001ba8: PUSH4 0xffffffff
00001bad: AND
00001bae: PUSH1 0xe0
00001bb0: SHL
00001bb1: DUP2
00001bb2: MSTORE
00001bb3: PUSH1 0x04
00001bb5: ADD
00001bb6: PUSH2 0x1bc0
00001bb9: SWAP3
00001bba: SWAP2
00001bbb: SWAP1
00001bbc: PUSH2 0x353f
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: PUSH1 0x20
00001bc3: PUSH1 0x40
00001bc5: MLOAD
00001bc6: DUP1
00001bc7: DUP4
00001bc8: SUB
00001bc9: DUP2
00001bca: DUP7
00001bcb: DUP1
00001bcc: EXTCODESIZE
00001bcd: ISZERO
00001bce: DUP1
00001bcf: ISZERO
00001bd0: PUSH2 0x16a0
00001bd3: JUMPI
00001bd4: PUSH1 0x00
00001bd6: DUP1
00001bd7: REVERT
00001bd8: JUMPDEST
00001bd9: SWAP1
00001bda: POP
00001bdb: PUSH2 0x1c7b
00001bde: DUP5
00001bdf: PUSH4 0x095ea7b3
00001be4: PUSH1 0xe0
00001be6: SHL
00001be7: DUP6
00001be8: DUP5
00001be9: PUSH1 0x40
00001beb: MLOAD
00001bec: PUSH1 0x24
00001bee: ADD
00001bef: PUSH2 0x1bf9
00001bf2: SWAP3
00001bf3: SWAP2
00001bf4: SWAP1
00001bf5: PUSH2 0x3566
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: PUSH1 0x40
00001bfc: DUP1
00001bfd: MLOAD
00001bfe: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c1f: DUP2
00001c20: DUP5
00001c21: SUB
00001c22: ADD
00001c23: DUP2
00001c24: MSTORE
00001c25: SWAP2
00001c26: SWAP1
00001c27: MSTORE
00001c28: PUSH1 0x20
00001c2a: DUP2
00001c2b: ADD
00001c2c: DUP1
00001c2d: MLOAD
00001c2e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c4b: AND
00001c4c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001c6d: SWAP1
00001c6e: SWAP4
00001c6f: AND
00001c70: SWAP3
00001c71: SWAP1
00001c72: SWAP3
00001c73: OR
00001c74: SWAP1
00001c75: SWAP2
00001c76: MSTORE
00001c77: PUSH2 0x2cbd
00001c7a: JUMP
00001c7b: JUMPDEST
00001c7c: POP
00001c7d: POP
00001c7e: POP
00001c7f: POP
00001c80: JUMP
00001c81: JUMPDEST
00001c82: PUSH1 0x00
00001c84: PUSH2 0x1bd8
00001c87: DUP3
00001c88: PUSH1 0x40
00001c8a: MLOAD
00001c8b: DUP1
00001c8c: PUSH1 0x60
00001c8e: ADD
00001c8f: PUSH1 0x40
00001c91: MSTORE
00001c92: DUP1
00001c93: PUSH1 0x29
00001c95: DUP2
00001c96: MSTORE
00001c97: PUSH1 0x20
00001c99: ADD
00001c9a: PUSH2 0x3eaf
00001c9d: PUSH1 0x29
00001c9f: SWAP2
00001ca0: CODECOPY
00001ca1: PUSH1 0x40
00001ca3: MLOAD
00001ca4: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00001cc5: DUP2
00001cc6: MSTORE
00001cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cdc: DUP9
00001cdd: AND
00001cde: SWAP1
00001cdf: PUSH4 0xdd62ed3e
00001ce4: SWAP1
00001ce5: PUSH2 0x1cf4
00001ce8: SWAP1
00001ce9: ADDRESS
00001cea: SWAP1
00001ceb: DUP11
00001cec: SWAP1
00001ced: PUSH1 0x04
00001cef: ADD
00001cf0: PUSH2 0x353f
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: PUSH1 0x20
00001cf7: PUSH1 0x40
00001cf9: MLOAD
00001cfa: DUP1
00001cfb: DUP4
00001cfc: SUB
00001cfd: DUP2
00001cfe: DUP7
00001cff: DUP1
00001d00: EXTCODESIZE
00001d01: ISZERO
00001d02: DUP1
00001d03: ISZERO
00001d04: PUSH2 0x1d0c
00001d07: JUMPI
00001d08: PUSH1 0x00
00001d0a: DUP1
00001d0b: REVERT
00001d0c: JUMPDEST
00001d0d: POP
00001d0e: GAS
00001d0f: STATICCALL
00001d10: ISZERO
00001d11: DUP1
00001d12: ISZERO
00001d13: PUSH2 0x1d20
00001d16: JUMPI
00001d17: RETURNDATASIZE
00001d18: PUSH1 0x00
00001d1a: DUP1
00001d1b: RETURNDATACOPY
00001d1c: RETURNDATASIZE
00001d1d: PUSH1 0x00
00001d1f: REVERT
00001d20: JUMPDEST
00001d21: POP
00001d22: POP
00001d23: POP
00001d24: POP
00001d25: PUSH1 0x40
00001d27: MLOAD
00001d28: RETURNDATASIZE
00001d29: PUSH1 0x1f
00001d2b: NOT
00001d2c: PUSH1 0x1f
00001d2e: DUP3
00001d2f: ADD
00001d30: AND
00001d31: DUP3
00001d32: ADD
00001d33: DUP1
00001d34: PUSH1 0x40
00001d36: MSTORE
00001d37: POP
00001d38: DUP2
00001d39: ADD
00001d3a: SWAP1
00001d3b: PUSH2 0x1d44
00001d3e: SWAP2
00001d3f: SWAP1
00001d40: PUSH2 0x347c
00001d43: JUMP
00001d44: JUMPDEST
00001d45: SWAP2
00001d46: SWAP1
00001d47: PUSH4 0xffffffff
00001d4c: PUSH2 0x2c63
00001d4f: AND
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d67: DUP4
00001d68: AND
00001d69: PUSH2 0x1d9e
00001d6c: JUMPI
00001d6d: PUSH1 0x40
00001d6f: MLOAD
00001d70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d91: DUP2
00001d92: MSTORE
00001d93: PUSH1 0x04
00001d95: ADD
00001d96: PUSH2 0x060f
00001d99: SWAP1
00001d9a: PUSH2 0x3c29
00001d9d: JUMP
00001d9e: JUMPDEST
00001d9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db4: DUP3
00001db5: AND
00001db6: PUSH2 0x1deb
00001db9: JUMPI
00001dba: PUSH1 0x40
00001dbc: MLOAD
00001dbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dde: DUP2
00001ddf: MSTORE
00001de0: PUSH1 0x04
00001de2: ADD
00001de3: PUSH2 0x060f
00001de6: SWAP1
00001de7: PUSH2 0x3769
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e01: DUP1
00001e02: DUP5
00001e03: AND
00001e04: PUSH1 0x00
00001e06: DUP2
00001e07: DUP2
00001e08: MSTORE
00001e09: PUSH1 0x34
00001e0b: PUSH1 0x20
00001e0d: SWAP1
00001e0e: DUP2
00001e0f: MSTORE
00001e10: PUSH1 0x40
00001e12: DUP1
00001e13: DUP4
00001e14: KECCAK256
00001e15: SWAP5
00001e16: DUP8
00001e17: AND
00001e18: DUP1
00001e19: DUP5
00001e1a: MSTORE
00001e1b: SWAP5
00001e1c: SWAP1
00001e1d: SWAP2
00001e1e: MSTORE
00001e1f: SWAP1
00001e20: DUP2
00001e21: SWAP1
00001e22: KECCAK256
00001e23: DUP5
00001e24: SWAP1
00001e25: SSTORE
00001e26: MLOAD
00001e27: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001e48: SWAP1
00001e49: PUSH2 0x1e53
00001e4c: SWAP1
00001e4d: DUP6
00001e4e: SWAP1
00001e4f: PUSH2 0x3e0b
00001e52: JUMP
00001e53: JUMPDEST
00001e54: PUSH1 0x40
00001e56: MLOAD
00001e57: DUP1
00001e58: SWAP2
00001e59: SUB
00001e5a: SWAP1
00001e5b: LOG3
00001e5c: POP
00001e5d: POP
00001e5e: POP
00001e5f: JUMP
00001e60: JUMPDEST
00001e61: PUSH1 0x00
00001e63: PUSH2 0x1e6b
00001e66: ADDRESS
00001e67: PUSH2 0x2d73
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: ISZERO
00001e6d: SWAP1
00001e6e: POP
00001e6f: SWAP1
00001e70: JUMP
00001e71: JUMPDEST
00001e72: PUSH1 0x00
00001e74: SLOAD
00001e75: PUSH2 0x0100
00001e78: SWAP1
00001e79: DIV
00001e7a: PUSH1 0xff
00001e7c: AND
00001e7d: DUP1
00001e7e: PUSH2 0x1e8a
00001e81: JUMPI
00001e82: POP
00001e83: PUSH2 0x1e8a
00001e86: PUSH2 0x1e60
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: DUP1
00001e8c: PUSH2 0x1e98
00001e8f: JUMPI
00001e90: POP
00001e91: PUSH1 0x00
00001e93: SLOAD
00001e94: PUSH1 0xff
00001e96: AND
00001e97: ISZERO
00001e98: JUMPDEST
00001e99: PUSH2 0x1ece
00001e9c: JUMPI
00001e9d: PUSH1 0x40
00001e9f: MLOAD
00001ea0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ec1: DUP2
00001ec2: MSTORE
00001ec3: PUSH1 0x04
00001ec5: ADD
00001ec6: PUSH2 0x060f
00001ec9: SWAP1
00001eca: PUSH2 0x3a38
00001ecd: JUMP
00001ece: JUMPDEST
00001ecf: PUSH1 0x00
00001ed1: SLOAD
00001ed2: PUSH2 0x0100
00001ed5: SWAP1
00001ed6: DIV
00001ed7: PUSH1 0xff
00001ed9: AND
00001eda: ISZERO
00001edb: DUP1
00001edc: ISZERO
00001edd: PUSH2 0x1f34
00001ee0: JUMPI
00001ee1: PUSH1 0x00
00001ee3: DUP1
00001ee4: SLOAD
00001ee5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001f06: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00001f27: SWAP1
00001f28: SWAP2
00001f29: AND
00001f2a: PUSH2 0x0100
00001f2d: OR
00001f2e: AND
00001f2f: PUSH1 0x01
00001f31: OR
00001f32: SWAP1
00001f33: SSTORE
00001f34: JUMPDEST
00001f35: DUP1
00001f36: ISZERO
00001f37: PUSH2 0x18c4
00001f3a: JUMPI
00001f3b: PUSH1 0x00
00001f3d: DUP1
00001f3e: SLOAD
00001f3f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00001f60: AND
00001f61: SWAP1
00001f62: SSTORE
00001f63: POP
00001f64: JUMP
00001f65: JUMPDEST
00001f66: PUSH1 0x00
00001f68: SLOAD
00001f69: PUSH2 0x0100
00001f6c: SWAP1
00001f6d: DIV
00001f6e: PUSH1 0xff
00001f70: AND
00001f71: DUP1
00001f72: PUSH2 0x1f7e
00001f75: JUMPI
00001f76: POP
00001f77: PUSH2 0x1f7e
00001f7a: PUSH2 0x1e60
00001f7d: JUMP
00001f7e: JUMPDEST
00001f7f: DUP1
00001f80: PUSH2 0x1f8c
00001f83: JUMPI
00001f84: POP
00001f85: PUSH1 0x00
00001f87: SLOAD
00001f88: PUSH1 0xff
00001f8a: AND
00001f8b: ISZERO
00001f8c: JUMPDEST
00001f8d: PUSH2 0x1fc2
00001f90: JUMPI
00001f91: PUSH1 0x40
00001f93: MLOAD
00001f94: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fb5: DUP2
00001fb6: MSTORE
00001fb7: PUSH1 0x04
00001fb9: ADD
00001fba: PUSH2 0x060f
00001fbd: SWAP1
00001fbe: PUSH2 0x3a38
00001fc1: JUMP
00001fc2: JUMPDEST
00001fc3: PUSH1 0x00
00001fc5: SLOAD
00001fc6: PUSH2 0x0100
00001fc9: SWAP1
00001fca: DIV
00001fcb: PUSH1 0xff
00001fcd: AND
00001fce: ISZERO
00001fcf: DUP1
00001fd0: ISZERO
00001fd1: PUSH2 0x2028
00001fd4: JUMPI
00001fd5: PUSH1 0x00
00001fd7: DUP1
00001fd8: SLOAD
00001fd9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001ffa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000201b: SWAP1
0000201c: SWAP2
0000201d: AND
0000201e: PUSH2 0x0100
00002021: OR
00002022: AND
00002023: PUSH1 0x01
00002025: OR
00002026: SWAP1
00002027: SSTORE
00002028: JUMPDEST
00002029: PUSH1 0x00
0000202b: PUSH2 0x2032
0000202e: PUSH2 0x1b39
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH1 0x65
00002035: DUP1
00002036: SLOAD
00002037: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002058: AND
00002059: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000206e: DUP4
0000206f: AND
00002070: SWAP1
00002071: DUP2
00002072: OR
00002073: SWAP1
00002074: SWAP2
00002075: SSTORE
00002076: PUSH1 0x40
00002078: MLOAD
00002079: SWAP2
0000207a: SWAP3
0000207b: POP
0000207c: SWAP1
0000207d: PUSH1 0x00
0000207f: SWAP1
00002080: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000020a1: SWAP1
000020a2: DUP3
000020a3: SWAP1
000020a4: LOG3
000020a5: POP
000020a6: DUP1
000020a7: ISZERO
000020a8: PUSH2 0x18c4
000020ab: JUMPI
000020ac: PUSH1 0x00
000020ae: DUP1
000020af: SLOAD
000020b0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000020d1: AND
000020d2: SWAP1
000020d3: SSTORE
000020d4: POP
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH1 0x00
000020d9: SLOAD
000020da: PUSH2 0x0100
000020dd: SWAP1
000020de: DIV
000020df: PUSH1 0xff
000020e1: AND
000020e2: DUP1
000020e3: PUSH2 0x20ef
000020e6: JUMPI
000020e7: POP
000020e8: PUSH2 0x20ef
000020eb: PUSH2 0x1e60
000020ee: JUMP
000020ef: JUMPDEST
000020f0: DUP1
000020f1: PUSH2 0x20fd
000020f4: JUMPI
000020f5: POP
000020f6: PUSH1 0x00
000020f8: SLOAD
000020f9: PUSH1 0xff
000020fb: AND
000020fc: ISZERO
000020fd: JUMPDEST
000020fe: PUSH2 0x2133
00002101: JUMPI
00002102: PUSH1 0x40
00002104: MLOAD
00002105: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002126: DUP2
00002127: MSTORE
00002128: PUSH1 0x04
0000212a: ADD
0000212b: PUSH2 0x060f
0000212e: SWAP1
0000212f: PUSH2 0x3a38
00002132: JUMP
00002133: JUMPDEST
00002134: PUSH1 0x00
00002136: SLOAD
00002137: PUSH2 0x0100
0000213a: SWAP1
0000213b: DIV
0000213c: PUSH1 0xff
0000213e: AND
0000213f: ISZERO
00002140: DUP1
00002141: ISZERO
00002142: PUSH2 0x2199
00002145: JUMPI
00002146: PUSH1 0x00
00002148: DUP1
00002149: SLOAD
0000214a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000216b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
0000218c: SWAP1
0000218d: SWAP2
0000218e: AND
0000218f: PUSH2 0x0100
00002192: OR
00002193: AND
00002194: PUSH1 0x01
00002196: OR
00002197: SWAP1
00002198: SSTORE
00002199: JUMPDEST
0000219a: PUSH1 0x97
0000219c: DUP1
0000219d: SLOAD
0000219e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000021bf: AND
000021c0: SWAP1
000021c1: SSTORE
000021c2: DUP1
000021c3: ISZERO
000021c4: PUSH2 0x18c4
000021c7: JUMPI
000021c8: PUSH1 0x00
000021ca: DUP1
000021cb: SLOAD
000021cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000021ed: AND
000021ee: SWAP1
000021ef: SSTORE
000021f0: POP
000021f1: JUMP
000021f2: JUMPDEST
000021f3: PUSH1 0x00
000021f5: SLOAD
000021f6: PUSH2 0x0100
000021f9: SWAP1
000021fa: DIV
000021fb: PUSH1 0xff
000021fd: AND
000021fe: DUP1
000021ff: PUSH2 0x220b
00002202: JUMPI
00002203: POP
00002204: PUSH2 0x220b
00002207: PUSH2 0x1e60
0000220a: JUMP
0000220b: JUMPDEST
0000220c: DUP1
0000220d: PUSH2 0x2219
00002210: JUMPI
00002211: POP
00002212: PUSH1 0x00
00002214: SLOAD
00002215: PUSH1 0xff
00002217: AND
00002218: ISZERO
00002219: JUMPDEST
0000221a: PUSH2 0x224f
0000221d: JUMPI
0000221e: PUSH1 0x40
00002220: MLOAD
00002221: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002242: DUP2
00002243: MSTORE
00002244: PUSH1 0x04
00002246: ADD
00002247: PUSH2 0x060f
0000224a: SWAP1
0000224b: PUSH2 0x3a38
0000224e: JUMP
0000224f: JUMPDEST
00002250: PUSH1 0x00
00002252: SLOAD
00002253: PUSH2 0x0100
00002256: SWAP1
00002257: DIV
00002258: PUSH1 0xff
0000225a: AND
0000225b: ISZERO
0000225c: DUP1
0000225d: ISZERO
0000225e: PUSH2 0x22b5
00002261: JUMPI
00002262: PUSH1 0x00
00002264: DUP1
00002265: SLOAD
00002266: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002287: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
000022a8: SWAP1
000022a9: SWAP2
000022aa: AND
000022ab: PUSH2 0x0100
000022ae: OR
000022af: AND
000022b0: PUSH1 0x01
000022b2: OR
000022b3: SWAP1
000022b4: SSTORE
000022b5: JUMPDEST
000022b6: DUP3
000022b7: MLOAD
000022b8: PUSH2 0x22c8
000022bb: SWAP1
000022bc: PUSH1 0x36
000022be: SWAP1
000022bf: PUSH1 0x20
000022c1: DUP7
000022c2: ADD
000022c3: SWAP1
000022c4: PUSH2 0x31b3
000022c7: JUMP
000022c8: JUMPDEST
000022c9: POP
000022ca: DUP2
000022cb: MLOAD
000022cc: PUSH2 0x22dc
000022cf: SWAP1
000022d0: PUSH1 0x37
000022d2: SWAP1
000022d3: PUSH1 0x20
000022d5: DUP6
000022d6: ADD
000022d7: SWAP1
000022d8: PUSH2 0x31b3
000022db: JUMP
000022dc: JUMPDEST
000022dd: POP
000022de: PUSH1 0x38
000022e0: DUP1
000022e1: SLOAD
000022e2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002303: AND
00002304: PUSH1 0x12
00002306: OR
00002307: SWAP1
00002308: SSTORE
00002309: DUP1
0000230a: ISZERO
0000230b: PUSH2 0x0760
0000230e: JUMPI
0000230f: PUSH1 0x00
00002311: DUP1
00002312: SLOAD
00002313: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff
00002334: AND
00002335: SWAP1
00002336: SSTORE
00002337: POP
00002338: POP
00002339: POP
0000233a: JUMP
0000233b: JUMPDEST
0000233c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002351: DUP3
00002352: AND
00002353: PUSH1 0x00
00002355: SWAP1
00002356: DUP2
00002357: MSTORE
00002358: PUSH1 0xcc
0000235a: PUSH1 0x20
0000235c: MSTORE
0000235d: PUSH1 0x40
0000235f: SWAP1
00002360: KECCAK256
00002361: PUSH1 0x01
00002363: ADD
00002364: SLOAD
00002365: ISZERO
00002366: PUSH2 0x0762
00002369: JUMPI
0000236a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000237f: DUP3
00002380: AND
00002381: PUSH1 0x00
00002383: SWAP1
00002384: DUP2
00002385: MSTORE
00002386: PUSH1 0xcc
00002388: PUSH1 0x20
0000238a: MSTORE
0000238b: PUSH1 0x40
0000238d: DUP2
0000238e: KECCAK256
0000238f: PUSH1 0x01
00002391: ADD
00002392: SLOAD
00002393: PUSH2 0x23d6
00002396: SWAP1
00002397: PUSH2 0x23a1
0000239a: SWAP1
0000239b: DUP5
0000239c: SWAP1
0000239d: PUSH2 0x2d79
000023a0: JUMP
000023a1: JUMPDEST
000023a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b7: DUP6
000023b8: AND
000023b9: PUSH1 0x00
000023bb: SWAP1
000023bc: DUP2
000023bd: MSTORE
000023be: PUSH1 0xcc
000023c0: PUSH1 0x20
000023c2: MSTORE
000023c3: PUSH1 0x40
000023c5: SWAP1
000023c6: KECCAK256
000023c7: PUSH1 0x01
000023c9: ADD
000023ca: SLOAD
000023cb: SWAP1
000023cc: PUSH4 0xffffffff
000023d1: PUSH2 0x1b3d
000023d4: AND
000023d5: JUMP
000023d6: JUMPDEST
000023d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ec: DUP5
000023ed: AND
000023ee: PUSH1 0x00
000023f0: SWAP1
000023f1: DUP2
000023f2: MSTORE
000023f3: PUSH1 0xcc
000023f5: PUSH1 0x20
000023f7: MSTORE
000023f8: PUSH1 0x40
000023fa: SWAP1
000023fb: KECCAK256
000023fc: PUSH1 0x01
000023fe: ADD
000023ff: SLOAD
00002400: SWAP1
00002401: SWAP2
00002402: POP
00002403: PUSH2 0x2425
00002406: SWAP1
00002407: PUSH2 0x2416
0000240a: SWAP1
0000240b: DUP4
0000240c: PUSH4 0xffffffff
00002411: PUSH2 0x1b3d
00002414: AND
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH1 0xcb
00002419: SLOAD
0000241a: SWAP1
0000241b: PUSH4 0xffffffff
00002420: PUSH2 0x1b3d
00002423: AND
00002424: JUMP
00002425: JUMPDEST
00002426: PUSH1 0xcb
00002428: SSTORE
00002429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243e: DUP4
0000243f: AND
00002440: PUSH1 0x00
00002442: SWAP1
00002443: DUP2
00002444: MSTORE
00002445: PUSH1 0xcc
00002447: PUSH1 0x20
00002449: MSTORE
0000244a: PUSH1 0x40
0000244c: SWAP1
0000244d: KECCAK256
0000244e: PUSH1 0x01
00002450: ADD
00002451: DUP2
00002452: SWAP1
00002453: SSTORE
00002454: DUP1
00002455: PUSH2 0x0760
00002458: JUMPI
00002459: POP
0000245a: POP
0000245b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002470: AND
00002471: PUSH1 0x00
00002473: SWAP1
00002474: DUP2
00002475: MSTORE
00002476: PUSH1 0xcc
00002478: PUSH1 0x20
0000247a: MSTORE
0000247b: PUSH1 0x40
0000247d: DUP2
0000247e: KECCAK256
0000247f: DUP2
00002480: DUP2
00002481: SSTORE
00002482: PUSH1 0x01
00002484: ADD
00002485: SSTORE
00002486: JUMP
00002487: JUMPDEST
00002488: PUSH1 0x00
0000248a: PUSH2 0x2494
0000248d: DUP5
0000248e: DUP5
0000248f: DUP5
00002490: PUSH2 0x2d8f
00002493: JUMP
00002494: JUMPDEST
00002495: PUSH2 0x251f
00002498: DUP5
00002499: PUSH2 0x24a0
0000249c: PUSH2 0x1b39
0000249f: JUMP
000024a0: JUMPDEST
000024a1: PUSH2 0x0fec
000024a4: DUP6
000024a5: PUSH1 0x40
000024a7: MLOAD
000024a8: DUP1
000024a9: PUSH1 0x60
000024ab: ADD
000024ac: PUSH1 0x40
000024ae: MSTORE
000024af: DUP1
000024b0: PUSH1 0x28
000024b2: DUP2
000024b3: MSTORE
000024b4: PUSH1 0x20
000024b6: ADD
000024b7: PUSH2 0x3efe
000024ba: PUSH1 0x28
000024bc: SWAP2
000024bd: CODECOPY
000024be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d3: DUP11
000024d4: AND
000024d5: PUSH1 0x00
000024d7: SWAP1
000024d8: DUP2
000024d9: MSTORE
000024da: PUSH1 0x34
000024dc: PUSH1 0x20
000024de: MSTORE
000024df: PUSH1 0x40
000024e1: DUP2
000024e2: KECCAK256
000024e3: SWAP1
000024e4: PUSH2 0x24eb
000024e7: PUSH2 0x1b39
000024ea: JUMP
000024eb: JUMPDEST
000024ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002501: AND
00002502: DUP2
00002503: MSTORE
00002504: PUSH1 0x20
00002506: DUP2
00002507: ADD
00002508: SWAP2
00002509: SWAP1
0000250a: SWAP2
0000250b: MSTORE
0000250c: PUSH1 0x40
0000250e: ADD
0000250f: PUSH1 0x00
00002511: KECCAK256
00002512: SLOAD
00002513: SWAP2
00002514: SWAP1
00002515: PUSH4 0xffffffff
0000251a: PUSH2 0x2c63
0000251d: AND
0000251e: JUMP
0000251f: JUMPDEST
00002520: POP
00002521: PUSH1 0x01
00002523: SWAP4
00002524: SWAP3
00002525: POP
00002526: POP
00002527: POP
00002528: JUMP
00002529: JUMPDEST
0000252a: PUSH1 0xcd
0000252c: SLOAD
0000252d: PUSH2 0x0100
00002530: SWAP1
00002531: DIV
00002532: PUSH1 0xff
00002534: AND
00002535: ISZERO
00002536: PUSH2 0x0762
00002539: JUMPI
0000253a: PUSH1 0xce
0000253c: SLOAD
0000253d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002552: AND
00002553: PUSH2 0x2588
00002556: JUMPI
00002557: PUSH1 0x40
00002559: MLOAD
0000255a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000257b: DUP2
0000257c: MSTORE
0000257d: PUSH1 0x04
0000257f: ADD
00002580: PUSH2 0x060f
00002583: SWAP1
00002584: PUSH2 0x3acc
00002587: JUMP
00002588: JUMPDEST
00002589: PUSH1 0xcf
0000258b: SLOAD
0000258c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a1: AND
000025a2: PUSH2 0x25d7
000025a5: JUMPI
000025a6: PUSH1 0x40
000025a8: MLOAD
000025a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025ca: DUP2
000025cb: MSTORE
000025cc: PUSH1 0x04
000025ce: ADD
000025cf: PUSH2 0x060f
000025d2: SWAP1
000025d3: PUSH2 0x3acc
000025d6: JUMP
000025d7: JUMPDEST
000025d8: PUSH1 0x00
000025da: PUSH2 0x25e2
000025dd: DUP3
000025de: PUSH2 0x10b5
000025e1: JUMP
000025e2: JUMPDEST
000025e3: SWAP1
000025e4: POP
000025e5: PUSH1 0x60
000025e7: PUSH1 0x40
000025e9: MLOAD
000025ea: DUP1
000025eb: PUSH1 0x80
000025ed: ADD
000025ee: PUSH1 0x40
000025f0: MSTORE
000025f1: DUP1
000025f2: DUP6
000025f3: DUP2
000025f4: MSTORE
000025f5: PUSH1 0x20
000025f7: ADD
000025f8: DUP5
000025f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000260e: AND
0000260f: DUP2
00002610: MSTORE
00002611: PUSH1 0x20
00002613: ADD
00002614: ADDRESS
00002615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000262a: AND
0000262b: DUP2
0000262c: MSTORE
0000262d: PUSH1 0x20
0000262f: ADD
00002630: DUP4
00002631: DUP2
00002632: MSTORE
00002633: POP
00002634: PUSH1 0x40
00002636: MLOAD
00002637: PUSH1 0x20
00002639: ADD
0000263a: PUSH2 0x2643
0000263d: SWAP2
0000263e: SWAP1
0000263f: PUSH2 0x3dbf
00002642: JUMP
00002643: JUMPDEST
00002644: PUSH1 0x40
00002646: DUP1
00002647: MLOAD
00002648: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002669: DUP2
0000266a: DUP5
0000266b: SUB
0000266c: ADD
0000266d: DUP2
0000266e: MSTORE
0000266f: SWAP1
00002670: DUP3
00002671: SWAP1
00002672: MSTORE
00002673: PUSH1 0xce
00002675: SLOAD
00002676: PUSH1 0xcf
00002678: SLOAD
00002679: PUSH32 0xb472047700000000000000000000000000000000000000000000000000000000
0000269a: DUP5
0000269b: MSTORE
0000269c: SWAP2
0000269d: SWAP4
0000269e: POP
0000269f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026b4: SWAP1
000026b5: DUP2
000026b6: AND
000026b7: SWAP3
000026b8: PUSH4 0xb4720477
000026bd: SWAP3
000026be: PUSH2 0x26cd
000026c1: SWAP3
000026c2: AND
000026c3: SWAP1
000026c4: DUP6
000026c5: SWAP1
000026c6: PUSH1 0x04
000026c8: ADD
000026c9: PUSH2 0x35bd
000026cc: JUMP
000026cd: JUMPDEST
000026ce: PUSH1 0x00
000026d0: PUSH1 0x40
000026d2: MLOAD
000026d3: DUP1
000026d4: DUP4
000026d5: SUB
000026d6: DUP2
000026d7: PUSH1 0x00
000026d9: DUP8
000026da: DUP1
000026db: EXTCODESIZE
000026dc: ISZERO
000026dd: DUP1
000026de: ISZERO
000026df: PUSH2 0x26e7
000026e2: JUMPI
000026e3: PUSH1 0x00
000026e5: DUP1
000026e6: REVERT
000026e7: JUMPDEST
000026e8: POP
000026e9: GAS
000026ea: CALL
000026eb: ISZERO
000026ec: DUP1
000026ed: ISZERO
000026ee: PUSH2 0x26fb
000026f1: JUMPI
000026f2: RETURNDATASIZE
000026f3: PUSH1 0x00
000026f5: DUP1
000026f6: RETURNDATACOPY
000026f7: RETURNDATASIZE
000026f8: PUSH1 0x00
000026fa: REVERT
000026fb: JUMPDEST
000026fc: POP
000026fd: POP
000026fe: POP
000026ff: POP
00002700: POP
00002701: POP
00002702: POP
00002703: POP
00002704: JUMP
00002705: JUMPDEST
00002706: PUSH1 0x00
00002708: DUP3
00002709: GT
0000270a: PUSH2 0x273f
0000270d: JUMPI
0000270e: PUSH1 0x40
00002710: MLOAD
00002711: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002732: DUP2
00002733: MSTORE
00002734: PUSH1 0x04
00002736: ADD
00002737: PUSH2 0x060f
0000273a: SWAP1
0000273b: PUSH2 0x3d1a
0000273e: JUMP
0000273f: JUMPDEST
00002740: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002755: DUP4
00002756: AND
00002757: PUSH2 0x278c
0000275a: JUMPI
0000275b: PUSH1 0x40
0000275d: MLOAD
0000275e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000277f: DUP2
00002780: MSTORE
00002781: PUSH1 0x04
00002783: ADD
00002784: PUSH2 0x060f
00002787: SWAP1
00002788: PUSH2 0x3667
0000278b: JUMP
0000278c: JUMPDEST
0000278d: PUSH2 0x2796
00002790: DUP4
00002791: DUP4
00002792: PUSH2 0x2f25
00002795: JUMP
00002796: JUMPDEST
00002797: DUP1
00002798: ISZERO
00002799: PUSH2 0x285d
0000279c: JUMPI
0000279d: DUP2
0000279e: DUP2
0000279f: EQ
000027a0: PUSH2 0x27d5
000027a3: JUMPI
000027a4: PUSH1 0x40
000027a6: MLOAD
000027a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027c8: DUP2
000027c9: MSTORE
000027ca: PUSH1 0x04
000027cc: ADD
000027cd: PUSH2 0x060f
000027d0: SWAP1
000027d1: PUSH2 0x39ca
000027d4: JUMP
000027d5: JUMPDEST
000027d6: PUSH1 0xc9
000027d8: PUSH1 0x00
000027da: SWAP1
000027db: SLOAD
000027dc: SWAP1
000027dd: PUSH2 0x0100
000027e0: EXP
000027e1: SWAP1
000027e2: DIV
000027e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f8: AND
000027f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280e: AND
0000280f: PUSH4 0xd0e30db0
00002814: DUP4
00002815: PUSH1 0x40
00002817: MLOAD
00002818: DUP3
00002819: PUSH4 0xffffffff
0000281e: AND
0000281f: PUSH1 0xe0
00002821: SHL
00002822: DUP2
00002823: MSTORE
00002824: PUSH1 0x04
00002826: ADD
00002827: PUSH1 0x00
00002829: PUSH1 0x40
0000282b: MLOAD
0000282c: DUP1
0000282d: DUP4
0000282e: SUB
0000282f: DUP2
00002830: DUP6
00002831: DUP9
00002832: DUP1
00002833: EXTCODESIZE
00002834: ISZERO
00002835: DUP1
00002836: ISZERO
00002837: PUSH2 0x283f
0000283a: JUMPI
0000283b: PUSH1 0x00
0000283d: DUP1
0000283e: REVERT
0000283f: JUMPDEST
00002840: POP
00002841: GAS
00002842: CALL
00002843: ISZERO
00002844: DUP1
00002845: ISZERO
00002846: PUSH2 0x2853
00002849: JUMPI
0000284a: RETURNDATASIZE
0000284b: PUSH1 0x00
0000284d: DUP1
0000284e: RETURNDATACOPY
0000284f: RETURNDATASIZE
00002850: PUSH1 0x00
00002852: REVERT
00002853: JUMPDEST
00002854: POP
00002855: POP
00002856: POP
00002857: POP
00002858: POP
00002859: PUSH2 0x2888
0000285c: JUMP
0000285d: JUMPDEST
0000285e: PUSH1 0xc9
00002860: SLOAD
00002861: PUSH2 0x2888
00002864: SWAP1
00002865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000287a: AND
0000287b: DUP6
0000287c: ADDRESS
0000287d: DUP6
0000287e: PUSH4 0xffffffff
00002883: PUSH2 0x3026
00002886: AND
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH32 0x4465706f73697400000000000000000000000000000000000000000000000000
000028aa: PUSH2 0x0a46
000028ad: DUP2
000028ae: DUP6
000028af: PUSH2 0x2529
000028b2: JUMP
000028b3: JUMPDEST
000028b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028c9: DUP3
000028ca: AND
000028cb: PUSH2 0x2900
000028ce: JUMPI
000028cf: PUSH1 0x40
000028d1: MLOAD
000028d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000028f3: DUP2
000028f4: MSTORE
000028f5: PUSH1 0x04
000028f7: ADD
000028f8: PUSH2 0x060f
000028fb: SWAP1
000028fc: PUSH2 0x3b6f
000028ff: JUMP
00002900: JUMPDEST
00002901: PUSH2 0x290c
00002904: DUP3
00002905: PUSH1 0x00
00002907: DUP4
00002908: PUSH2 0x0760
0000290b: JUMP
0000290c: JUMPDEST
0000290d: PUSH2 0x295c
00002910: DUP2
00002911: PUSH1 0x40
00002913: MLOAD
00002914: DUP1
00002915: PUSH1 0x60
00002917: ADD
00002918: PUSH1 0x40
0000291a: MSTORE
0000291b: DUP1
0000291c: PUSH1 0x22
0000291e: DUP2
0000291f: MSTORE
00002920: PUSH1 0x20
00002922: ADD
00002923: PUSH2 0x3e8d
00002926: PUSH1 0x22
00002928: SWAP2
00002929: CODECOPY
0000292a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293f: DUP6
00002940: AND
00002941: PUSH1 0x00
00002943: SWAP1
00002944: DUP2
00002945: MSTORE
00002946: PUSH1 0x33
00002948: PUSH1 0x20
0000294a: MSTORE
0000294b: PUSH1 0x40
0000294d: SWAP1
0000294e: KECCAK256
0000294f: SLOAD
00002950: SWAP2
00002951: SWAP1
00002952: PUSH4 0xffffffff
00002957: PUSH2 0x2c63
0000295a: AND
0000295b: JUMP
0000295c: JUMPDEST
0000295d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002972: DUP4
00002973: AND
00002974: PUSH1 0x00
00002976: SWAP1
00002977: DUP2
00002978: MSTORE
00002979: PUSH1 0x33
0000297b: PUSH1 0x20
0000297d: MSTORE
0000297e: PUSH1 0x40
00002980: SWAP1
00002981: KECCAK256
00002982: SSTORE
00002983: PUSH1 0x35
00002985: SLOAD
00002986: PUSH2 0x2995
00002989: SWAP1
0000298a: DUP3
0000298b: PUSH4 0xffffffff
00002990: PUSH2 0x1b3d
00002993: AND
00002994: JUMP
00002995: JUMPDEST
00002996: PUSH1 0x35
00002998: SSTORE
00002999: PUSH1 0x40
0000299b: MLOAD
0000299c: PUSH1 0x00
0000299e: SWAP1
0000299f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b4: DUP5
000029b5: AND
000029b6: SWAP1
000029b7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000029d8: SWAP1
000029d9: PUSH2 0x29e3
000029dc: SWAP1
000029dd: DUP6
000029de: SWAP1
000029df: PUSH2 0x3e0b
000029e2: JUMP
000029e3: JUMPDEST
000029e4: PUSH1 0x40
000029e6: MLOAD
000029e7: DUP1
000029e8: SWAP2
000029e9: SUB
000029ea: SWAP1
000029eb: LOG3
000029ec: POP
000029ed: POP
000029ee: JUMP
000029ef: JUMPDEST
000029f0: DUP1
000029f1: SELFBALANCE
000029f2: LT
000029f3: ISZERO
000029f4: PUSH2 0x2a29
000029f7: JUMPI
000029f8: PUSH1 0x40
000029fa: MLOAD
000029fb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a1c: DUP2
00002a1d: MSTORE
00002a1e: PUSH1 0x04
00002a20: ADD
00002a21: PUSH2 0x060f
00002a24: SWAP1
00002a25: PUSH2 0x3891
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: PUSH1 0x00
00002a2c: DUP3
00002a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a42: AND
00002a43: DUP3
00002a44: PUSH1 0x40
00002a46: MLOAD
00002a47: PUSH2 0x2a4f
00002a4a: SWAP1
00002a4b: PUSH2 0x0818
00002a4e: JUMP
00002a4f: JUMPDEST
00002a50: PUSH1 0x00
00002a52: PUSH1 0x40
00002a54: MLOAD
00002a55: DUP1
00002a56: DUP4
00002a57: SUB
00002a58: DUP2
00002a59: DUP6
00002a5a: DUP8
00002a5b: GAS
00002a5c: CALL
00002a5d: SWAP3
00002a5e: POP
00002a5f: POP
00002a60: POP
00002a61: RETURNDATASIZE
00002a62: DUP1
00002a63: PUSH1 0x00
00002a65: DUP2
00002a66: EQ
00002a67: PUSH2 0x2a8c
00002a6a: JUMPI
00002a6b: PUSH1 0x40
00002a6d: MLOAD
00002a6e: SWAP2
00002a6f: POP
00002a70: PUSH1 0x1f
00002a72: NOT
00002a73: PUSH1 0x3f
00002a75: RETURNDATASIZE
00002a76: ADD
00002a77: AND
00002a78: DUP3
00002a79: ADD
00002a7a: PUSH1 0x40
00002a7c: MSTORE
00002a7d: RETURNDATASIZE
00002a7e: DUP3
00002a7f: MSTORE
00002a80: RETURNDATASIZE
00002a81: PUSH1 0x00
00002a83: PUSH1 0x20
00002a85: DUP5
00002a86: ADD
00002a87: RETURNDATACOPY
00002a88: PUSH2 0x2a91
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: PUSH1 0x60
00002a8f: SWAP2
00002a90: POP
00002a91: JUMPDEST
00002a92: POP
00002a93: POP
00002a94: SWAP1
00002a95: POP
00002a96: DUP1
00002a97: PUSH2 0x0760
00002a9a: JUMPI
00002a9b: PUSH1 0x40
00002a9d: MLOAD
00002a9e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002abf: DUP2
00002ac0: MSTORE
00002ac1: PUSH1 0x04
00002ac3: ADD
00002ac4: PUSH2 0x060f
00002ac7: SWAP1
00002ac8: PUSH2 0x3834
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH2 0x0760
00002ad0: DUP4
00002ad1: PUSH4 0xa9059cbb
00002ad6: PUSH1 0xe0
00002ad8: SHL
00002ad9: DUP5
00002ada: DUP5
00002adb: PUSH1 0x40
00002add: MLOAD
00002ade: PUSH1 0x24
00002ae0: ADD
00002ae1: PUSH2 0x1bf9
00002ae4: SWAP3
00002ae5: SWAP2
00002ae6: SWAP1
00002ae7: PUSH2 0x3566
00002aea: JUMP
00002aeb: JUMPDEST
00002aec: PUSH1 0x00
00002aee: DUP3
00002aef: DUP3
00002af0: ADD
00002af1: DUP4
00002af2: DUP2
00002af3: LT
00002af4: ISZERO
00002af5: PUSH2 0x0aa1
00002af8: JUMPI
00002af9: PUSH1 0x40
00002afb: MLOAD
00002afc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b1d: DUP2
00002b1e: MSTORE
00002b1f: PUSH1 0x04
00002b21: ADD
00002b22: PUSH2 0x060f
00002b25: SWAP1
00002b26: PUSH2 0x37c6
00002b29: JUMP
00002b2a: JUMPDEST
00002b2b: PUSH2 0x2b32
00002b2e: PUSH2 0x10ac
00002b31: JUMP
00002b32: JUMPDEST
00002b33: PUSH2 0x2b68
00002b36: JUMPI
00002b37: PUSH1 0x40
00002b39: MLOAD
00002b3a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002b5b: DUP2
00002b5c: MSTORE
00002b5d: PUSH1 0x04
00002b5f: ADD
00002b60: PUSH2 0x060f
00002b63: SWAP1
00002b64: PUSH2 0x369e
00002b67: JUMP
00002b68: JUMPDEST
00002b69: PUSH1 0x97
00002b6b: DUP1
00002b6c: SLOAD
00002b6d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002b8e: AND
00002b8f: SWAP1
00002b90: SSTORE
00002b91: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00002bb2: PUSH2 0x2bb9
00002bb5: PUSH2 0x1b39
00002bb8: JUMP
00002bb9: JUMPDEST
00002bba: PUSH1 0x40
00002bbc: MLOAD
00002bbd: PUSH2 0x2bc6
00002bc0: SWAP2
00002bc1: SWAP1
00002bc2: PUSH2 0x351e
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: PUSH1 0x40
00002bc9: MLOAD
00002bca: DUP1
00002bcb: SWAP2
00002bcc: SUB
00002bcd: SWAP1
00002bce: LOG1
00002bcf: JUMP
00002bd0: JUMPDEST
00002bd1: PUSH2 0x2bd8
00002bd4: PUSH2 0x10ac
00002bd7: JUMP
00002bd8: JUMPDEST
00002bd9: ISZERO
00002bda: PUSH2 0x2c0f
00002bdd: JUMPI
00002bde: PUSH1 0x40
00002be0: MLOAD
00002be1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c02: DUP2
00002c03: MSTORE
00002c04: PUSH1 0x04
00002c06: ADD
00002c07: PUSH2 0x060f
00002c0a: SWAP1
00002c0b: PUSH2 0x3993
00002c0e: JUMP
00002c0f: JUMPDEST
00002c10: PUSH1 0x97
00002c12: DUP1
00002c13: SLOAD
00002c14: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002c35: AND
00002c36: PUSH1 0x01
00002c38: OR
00002c39: SWAP1
00002c3a: SSTORE
00002c3b: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00002c5c: PUSH2 0x2bb9
00002c5f: PUSH2 0x1b39
00002c62: JUMP
00002c63: JUMPDEST
00002c64: PUSH1 0x00
00002c66: DUP2
00002c67: DUP5
00002c68: DUP5
00002c69: GT
00002c6a: ISZERO
00002c6b: PUSH2 0x2ca1
00002c6e: JUMPI
00002c6f: PUSH1 0x40
00002c71: MLOAD
00002c72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c93: DUP2
00002c94: MSTORE
00002c95: PUSH1 0x04
00002c97: ADD
00002c98: PUSH2 0x060f
00002c9b: SWAP2
00002c9c: SWAP1
00002c9d: PUSH2 0x35f7
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: POP
00002ca3: POP
00002ca4: POP
00002ca5: SWAP1
00002ca6: SUB
00002ca7: SWAP1
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: PUSH1 0x00
00002cac: PUSH2 0x082f
00002caf: PUSH2 0x2cb6
00002cb2: PUSH2 0x1b39
00002cb5: JUMP
00002cb6: JUMPDEST
00002cb7: DUP5
00002cb8: DUP5
00002cb9: PUSH2 0x2d8f
00002cbc: JUMP
00002cbd: JUMPDEST
00002cbe: PUSH1 0x60
00002cc0: PUSH2 0x2d1f
00002cc3: DUP3
00002cc4: PUSH1 0x40
00002cc6: MLOAD
00002cc7: DUP1
00002cc8: PUSH1 0x40
00002cca: ADD
00002ccb: PUSH1 0x40
00002ccd: MSTORE
00002cce: DUP1
00002ccf: PUSH1 0x20
00002cd1: DUP2
00002cd2: MSTORE
00002cd3: PUSH1 0x20
00002cd5: ADD
00002cd6: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002cf7: DUP2
00002cf8: MSTORE
00002cf9: POP
00002cfa: DUP6
00002cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d10: AND
00002d11: PUSH2 0x3047
00002d14: SWAP1
00002d15: SWAP3
00002d16: SWAP2
00002d17: SWAP1
00002d18: PUSH4 0xffffffff
00002d1d: AND
00002d1e: JUMP
00002d1f: JUMPDEST
00002d20: DUP1
00002d21: MLOAD
00002d22: SWAP1
00002d23: SWAP2
00002d24: POP
00002d25: ISZERO
00002d26: PUSH2 0x0760
00002d29: JUMPI
00002d2a: DUP1
00002d2b: DUP1
00002d2c: PUSH1 0x20
00002d2e: ADD
00002d2f: SWAP1
00002d30: MLOAD
00002d31: DUP2
00002d32: ADD
00002d33: SWAP1
00002d34: PUSH2 0x2d3d
00002d37: SWAP2
00002d38: SWAP1
00002d39: PUSH2 0x33c2
00002d3c: JUMP
00002d3d: JUMPDEST
00002d3e: PUSH2 0x0760
00002d41: JUMPI
00002d42: PUSH1 0x40
00002d44: MLOAD
00002d45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002d66: DUP2
00002d67: MSTORE
00002d68: PUSH1 0x04
00002d6a: ADD
00002d6b: PUSH2 0x060f
00002d6e: SWAP1
00002d6f: PUSH2 0x3cbd
00002d72: JUMP
00002d73: JUMPDEST
00002d74: EXTCODESIZE
00002d75: ISZERO
00002d76: ISZERO
00002d77: SWAP1
00002d78: JUMP
00002d79: JUMPDEST
00002d7a: PUSH1 0x00
00002d7c: DUP2
00002d7d: DUP4
00002d7e: LT
00002d7f: PUSH2 0x2d88
00002d82: JUMPI
00002d83: DUP2
00002d84: PUSH2 0x0aa1
00002d87: JUMP
00002d88: JUMPDEST
00002d89: POP
00002d8a: SWAP1
00002d8b: SWAP2
00002d8c: SWAP1
00002d8d: POP
00002d8e: JUMP
00002d8f: JUMPDEST
00002d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002da5: DUP4
00002da6: AND
00002da7: PUSH2 0x2ddc
00002daa: JUMPI
00002dab: PUSH1 0x40
00002dad: MLOAD
00002dae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002dcf: DUP2
00002dd0: MSTORE
00002dd1: PUSH1 0x04
00002dd3: ADD
00002dd4: PUSH2 0x060f
00002dd7: SWAP1
00002dd8: PUSH2 0x3bcc
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df2: DUP3
00002df3: AND
00002df4: PUSH2 0x2e29
00002df7: JUMPI
00002df8: PUSH1 0x40
00002dfa: MLOAD
00002dfb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002e1c: DUP2
00002e1d: MSTORE
00002e1e: PUSH1 0x04
00002e20: ADD
00002e21: PUSH2 0x060f
00002e24: SWAP1
00002e25: PUSH2 0x360a
00002e28: JUMP
00002e29: JUMPDEST
00002e2a: PUSH2 0x2e34
00002e2d: DUP4
00002e2e: DUP4
00002e2f: DUP4
00002e30: PUSH2 0x0760
00002e33: JUMP
00002e34: JUMPDEST
00002e35: PUSH2 0x2e84
00002e38: DUP2
00002e39: PUSH1 0x40
00002e3b: MLOAD
00002e3c: DUP1
00002e3d: PUSH1 0x60
00002e3f: ADD
00002e40: PUSH1 0x40
00002e42: MSTORE
00002e43: DUP1
00002e44: PUSH1 0x26
00002e46: DUP2
00002e47: MSTORE
00002e48: PUSH1 0x20
00002e4a: ADD
00002e4b: PUSH2 0x3ed8
00002e4e: PUSH1 0x26
00002e50: SWAP2
00002e51: CODECOPY
00002e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e67: DUP7
00002e68: AND
00002e69: PUSH1 0x00
00002e6b: SWAP1
00002e6c: DUP2
00002e6d: MSTORE
00002e6e: PUSH1 0x33
00002e70: PUSH1 0x20
00002e72: MSTORE
00002e73: PUSH1 0x40
00002e75: SWAP1
00002e76: KECCAK256
00002e77: SLOAD
00002e78: SWAP2
00002e79: SWAP1
00002e7a: PUSH4 0xffffffff
00002e7f: PUSH2 0x2c63
00002e82: AND
00002e83: JUMP
00002e84: JUMPDEST
00002e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e9a: DUP1
00002e9b: DUP6
00002e9c: AND
00002e9d: PUSH1 0x00
00002e9f: SWAP1
00002ea0: DUP2
00002ea1: MSTORE
00002ea2: PUSH1 0x33
00002ea4: PUSH1 0x20
00002ea6: MSTORE
00002ea7: PUSH1 0x40
00002ea9: DUP1
00002eaa: DUP3
00002eab: KECCAK256
00002eac: SWAP4
00002ead: SWAP1
00002eae: SWAP4
00002eaf: SSTORE
00002eb0: SWAP1
00002eb1: DUP5
00002eb2: AND
00002eb3: DUP2
00002eb4: MSTORE
00002eb5: KECCAK256
00002eb6: SLOAD
00002eb7: PUSH2 0x2ec6
00002eba: SWAP1
00002ebb: DUP3
00002ebc: PUSH4 0xffffffff
00002ec1: PUSH2 0x2aeb
00002ec4: AND
00002ec5: JUMP
00002ec6: JUMPDEST
00002ec7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002edc: DUP1
00002edd: DUP5
00002ede: AND
00002edf: PUSH1 0x00
00002ee1: DUP2
00002ee2: DUP2
00002ee3: MSTORE
00002ee4: PUSH1 0x33
00002ee6: PUSH1 0x20
00002ee8: MSTORE
00002ee9: PUSH1 0x40
00002eeb: SWAP1
00002eec: DUP2
00002eed: SWAP1
00002eee: KECCAK256
00002eef: SWAP4
00002ef0: SWAP1
00002ef1: SWAP4
00002ef2: SSTORE
00002ef3: SWAP2
00002ef4: MLOAD
00002ef5: SWAP1
00002ef6: DUP6
00002ef7: AND
00002ef8: SWAP1
00002ef9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f1a: SWAP1
00002f1b: PUSH2 0x1e53
00002f1e: SWAP1
00002f1f: DUP6
00002f20: SWAP1
00002f21: PUSH2 0x3e0b
00002f24: JUMP
00002f25: JUMPDEST
00002f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f3b: DUP3
00002f3c: AND
00002f3d: PUSH2 0x2f72
00002f40: JUMPI
00002f41: PUSH1 0x40
00002f43: MLOAD
00002f44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002f65: DUP2
00002f66: MSTORE
00002f67: PUSH1 0x04
00002f69: ADD
00002f6a: PUSH2 0x060f
00002f6d: SWAP1
00002f6e: PUSH2 0x3d88
00002f71: JUMP
00002f72: JUMPDEST
00002f73: PUSH2 0x2f7e
00002f76: PUSH1 0x00
00002f78: DUP4
00002f79: DUP4
00002f7a: PUSH2 0x0760
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: PUSH1 0x35
00002f81: SLOAD
00002f82: PUSH2 0x2f91
00002f85: SWAP1
00002f86: DUP3
00002f87: PUSH4 0xffffffff
00002f8c: PUSH2 0x2aeb
00002f8f: AND
00002f90: JUMP
00002f91: JUMPDEST
00002f92: PUSH1 0x35
00002f94: SSTORE
00002f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002faa: DUP3
00002fab: AND
00002fac: PUSH1 0x00
00002fae: SWAP1
00002faf: DUP2
00002fb0: MSTORE
00002fb1: PUSH1 0x33
00002fb3: PUSH1 0x20
00002fb5: MSTORE
00002fb6: PUSH1 0x40
00002fb8: SWAP1
00002fb9: KECCAK256
00002fba: SLOAD
00002fbb: PUSH2 0x2fca
00002fbe: SWAP1
00002fbf: DUP3
00002fc0: PUSH4 0xffffffff
00002fc5: PUSH2 0x2aeb
00002fc8: AND
00002fc9: JUMP
00002fca: JUMPDEST
00002fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fe0: DUP4
00002fe1: AND
00002fe2: PUSH1 0x00
00002fe4: DUP2
00002fe5: DUP2
00002fe6: MSTORE
00002fe7: PUSH1 0x33
00002fe9: PUSH1 0x20
00002feb: MSTORE
00002fec: PUSH1 0x40
00002fee: DUP1
00002fef: DUP3
00002ff0: KECCAK256
00002ff1: SWAP4
00002ff2: SWAP1
00002ff3: SWAP4
00002ff4: SSTORE
00002ff5: SWAP2
00002ff6: MLOAD
00002ff7: SWAP1
00002ff8: SWAP2
00002ff9: SWAP1
00002ffa: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000301b: SWAP1
0000301c: PUSH2 0x29e3
0000301f: SWAP1
00003020: DUP6
00003021: SWAP1
00003022: PUSH2 0x3e0b
00003025: JUMP
00003026: JUMPDEST
00003027: PUSH2 0x1c7b
0000302a: DUP5
0000302b: PUSH4 0x23b872dd
00003030: PUSH1 0xe0
00003032: SHL
00003033: DUP6
00003034: DUP6
00003035: DUP6
00003036: PUSH1 0x40
00003038: MLOAD
00003039: PUSH1 0x24
0000303b: ADD
0000303c: PUSH2 0x1bf9
0000303f: SWAP4
00003040: SWAP3
00003041: SWAP2
00003042: SWAP1
00003043: PUSH2 0x358c
00003046: JUMP
00003047: JUMPDEST
00003048: PUSH1 0x60
0000304a: PUSH2 0x3056
0000304d: DUP5
0000304e: DUP5
0000304f: PUSH1 0x00
00003051: DUP6
00003052: PUSH2 0x305e
00003055: JUMP
00003056: JUMPDEST
00003057: SWAP5
00003058: SWAP4
00003059: POP
0000305a: POP
0000305b: POP
0000305c: POP
0000305d: JUMP
0000305e: JUMPDEST
0000305f: PUSH1 0x60
00003061: DUP3
00003062: SELFBALANCE
00003063: LT
00003064: ISZERO
00003065: PUSH2 0x309a
00003068: JUMPI
00003069: PUSH1 0x40
0000306b: MLOAD
0000306c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000308d: DUP2
0000308e: MSTORE
0000308f: PUSH1 0x04
00003091: ADD
00003092: PUSH2 0x060f
00003095: SWAP1
00003096: PUSH2 0x38c8
00003099: JUMP
0000309a: JUMPDEST
0000309b: PUSH2 0x30a3
0000309e: DUP6
0000309f: PUSH2 0x2d73
000030a2: JUMP
000030a3: JUMPDEST
000030a4: PUSH2 0x30d9
000030a7: JUMPI
000030a8: PUSH1 0x40
000030aa: MLOAD
000030ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030cc: DUP2
000030cd: MSTORE
000030ce: PUSH1 0x04
000030d0: ADD
000030d1: PUSH2 0x060f
000030d4: SWAP1
000030d5: PUSH2 0x3c86
000030d8: JUMP
000030d9: JUMPDEST
000030da: PUSH1 0x00
000030dc: PUSH1 0x60
000030de: DUP7
000030df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030f4: AND
000030f5: DUP6
000030f6: DUP8
000030f7: PUSH1 0x40
000030f9: MLOAD
000030fa: PUSH2 0x3103
000030fd: SWAP2
000030fe: SWAP1
000030ff: PUSH2 0x3502
00003102: JUMP
00003103: JUMPDEST
00003104: PUSH1 0x00
00003106: PUSH1 0x40
00003108: MLOAD
00003109: DUP1
0000310a: DUP4
0000310b: SUB
0000310c: DUP2
0000310d: DUP6
0000310e: DUP8
0000310f: GAS
00003110: CALL
00003111: SWAP3
00003112: POP
00003113: POP
00003114: POP
00003115: RETURNDATASIZE
00003116: DUP1
00003117: PUSH1 0x00
00003119: DUP2
0000311a: EQ
0000311b: PUSH2 0x3140
0000311e: JUMPI
0000311f: PUSH1 0x40
00003121: MLOAD
00003122: SWAP2
00003123: POP
00003124: PUSH1 0x1f
00003126: NOT
00003127: PUSH1 0x3f
00003129: RETURNDATASIZE
0000312a: ADD
0000312b: AND
0000312c: DUP3
0000312d: ADD
0000312e: PUSH1 0x40
00003130: MSTORE
00003131: RETURNDATASIZE
00003132: DUP3
00003133: MSTORE
00003134: RETURNDATASIZE
00003135: PUSH1 0x00
00003137: PUSH1 0x20
00003139: DUP5
0000313a: ADD
0000313b: RETURNDATACOPY
0000313c: PUSH2 0x3145
0000313f: JUMP
00003140: JUMPDEST
00003141: PUSH1 0x60
00003143: SWAP2
00003144: POP
00003145: JUMPDEST
00003146: POP
00003147: SWAP2
00003148: POP
00003149: SWAP2
0000314a: POP
0000314b: PUSH2 0x3155
0000314e: DUP3
0000314f: DUP3
00003150: DUP7
00003151: PUSH2 0x3160
00003154: JUMP
00003155: JUMPDEST
00003156: SWAP8
00003157: SWAP7
00003158: POP
00003159: POP
0000315a: POP
0000315b: POP
0000315c: POP
0000315d: POP
0000315e: POP
0000315f: JUMP
00003160: JUMPDEST
00003161: PUSH1 0x60
00003163: DUP4
00003164: ISZERO
00003165: PUSH2 0x316f
00003168: JUMPI
00003169: POP
0000316a: DUP2
0000316b: PUSH2 0x0aa1
0000316e: JUMP
0000316f: JUMPDEST
00003170: DUP3
00003171: MLOAD
00003172: ISZERO
00003173: PUSH2 0x317f
00003176: JUMPI
00003177: DUP3
00003178: MLOAD
00003179: DUP1
0000317a: DUP5
0000317b: PUSH1 0x20
0000317d: ADD
0000317e: REVERT
0000317f: JUMPDEST
00003180: DUP2
00003181: PUSH1 0x40
00003183: MLOAD
00003184: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000031a5: DUP2
000031a6: MSTORE
000031a7: PUSH1 0x04
000031a9: ADD
000031aa: PUSH2 0x060f
000031ad: SWAP2
000031ae: SWAP1
000031af: PUSH2 0x35f7
000031b2: JUMP
000031b3: JUMPDEST
000031b4: DUP3
000031b5: DUP1
000031b6: SLOAD
000031b7: PUSH1 0x01
000031b9: DUP2
000031ba: PUSH1 0x01
000031bc: AND
000031bd: ISZERO
000031be: PUSH2 0x0100
000031c1: MUL
000031c2: SUB
000031c3: AND
000031c4: PUSH1 0x02
000031c6: SWAP1
000031c7: DIV
000031c8: SWAP1
000031c9: PUSH1 0x00
000031cb: MSTORE
000031cc: PUSH1 0x20
000031ce: PUSH1 0x00
000031d0: KECCAK256
000031d1: SWAP1
000031d2: PUSH1 0x1f
000031d4: ADD
000031d5: PUSH1 0x20
000031d7: SWAP1
000031d8: DIV
000031d9: DUP2
000031da: ADD
000031db: SWAP3
000031dc: DUP3
000031dd: PUSH1 0x1f
000031df: LT
000031e0: PUSH2 0x31f4
000031e3: JUMPI
000031e4: DUP1
000031e5: MLOAD
000031e6: PUSH1 0xff
000031e8: NOT
000031e9: AND
000031ea: DUP4
000031eb: DUP1
000031ec: ADD
000031ed: OR
000031ee: DUP6
000031ef: SSTORE
000031f0: PUSH2 0x3221
000031f3: JUMP
000031f4: JUMPDEST
000031f5: DUP3
000031f6: DUP1
000031f7: ADD
000031f8: PUSH1 0x01
000031fa: ADD
000031fb: DUP6
000031fc: SSTORE
000031fd: DUP3
000031fe: ISZERO
000031ff: PUSH2 0x3221
00003202: JUMPI
00003203: SWAP2
00003204: DUP3
00003205: ADD
00003206: JUMPDEST
00003207: DUP3
00003208: DUP2
00003209: GT
0000320a: ISZERO
0000320b: PUSH2 0x3221
0000320e: JUMPI
0000320f: DUP3
00003210: MLOAD
00003211: DUP3
00003212: SSTORE
00003213: SWAP2
00003214: PUSH1 0x20
00003216: ADD
00003217: SWAP2
00003218: SWAP1
00003219: PUSH1 0x01
0000321b: ADD
0000321c: SWAP1
0000321d: PUSH2 0x3206
00003220: JUMP
00003221: JUMPDEST
00003222: POP
00003223: PUSH2 0x322d
00003226: SWAP3
00003227: SWAP2
00003228: POP
00003229: PUSH2 0x3231
0000322c: JUMP
0000322d: JUMPDEST
0000322e: POP
0000322f: SWAP1
00003230: JUMP
00003231: JUMPDEST
00003232: PUSH2 0x0818
00003235: SWAP2
00003236: SWAP1
00003237: JUMPDEST
00003238: DUP1
00003239: DUP3
0000323a: GT
0000323b: ISZERO
0000323c: PUSH2 0x322d
0000323f: JUMPI
00003240: PUSH1 0x00
00003242: DUP2
00003243: SSTORE
00003244: PUSH1 0x01
00003246: ADD
00003247: PUSH2 0x3237
0000324a: JUMP
0000324b: JUMPDEST
0000324c: PUSH1 0x00
0000324e: DUP3
0000324f: PUSH1 0x1f
00003251: DUP4
00003252: ADD
00003253: SLT
00003254: PUSH2 0x325b
00003257: JUMPI
00003258: DUP1
00003259: DUP2
0000325a: REVERT
0000325b: JUMPDEST
0000325c: DUP2
0000325d: CALLDATALOAD
0000325e: PUSH8 0xffffffffffffffff
00003267: DUP1
00003268: DUP3
00003269: GT
0000326a: ISZERO
0000326b: PUSH2 0x3272
0000326e: JUMPI
0000326f: DUP3
00003270: DUP4
00003271: REVERT
00003272: JUMPDEST
00003273: PUSH1 0x40
00003275: MLOAD
00003276: PUSH1 0x20
00003278: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003299: PUSH1 0x1f
0000329b: DUP6
0000329c: ADD
0000329d: AND
0000329e: DUP3
0000329f: ADD
000032a0: ADD
000032a1: DUP2
000032a2: DUP2
000032a3: LT
000032a4: DUP4
000032a5: DUP3
000032a6: GT
000032a7: OR
000032a8: ISZERO
000032a9: PUSH2 0x32b0
000032ac: JUMPI
000032ad: DUP5
000032ae: DUP6
000032af: REVERT
000032b0: JUMPDEST
000032b1: PUSH1 0x40
000032b3: MSTORE
000032b4: DUP3
000032b5: DUP2
000032b6: MSTORE
000032b7: SWAP3
000032b8: POP
000032b9: DUP3
000032ba: DUP5
000032bb: DUP4
000032bc: ADD
000032bd: PUSH1 0x20
000032bf: ADD
000032c0: DUP7
000032c1: LT
000032c2: ISZERO
000032c3: PUSH2 0x32cb
000032c6: JUMPI
000032c7: PUSH1 0x00
000032c9: DUP1
000032ca: REVERT
000032cb: JUMPDEST
000032cc: DUP3
000032cd: PUSH1 0x20
000032cf: DUP7
000032d0: ADD
000032d1: PUSH1 0x20
000032d3: DUP4
000032d4: ADD
000032d5: CALLDATACOPY
000032d6: PUSH1 0x00
000032d8: PUSH1 0x20
000032da: DUP5
000032db: DUP4
000032dc: ADD
000032dd: ADD
000032de: MSTORE
000032df: POP
000032e0: POP
000032e1: POP
000032e2: SWAP3
000032e3: SWAP2
000032e4: POP
000032e5: POP
000032e6: JUMP
000032e7: JUMPDEST
000032e8: PUSH1 0x00
000032ea: PUSH1 0x20
000032ec: DUP3
000032ed: DUP5
000032ee: SUB
000032ef: SLT
000032f0: ISZERO
000032f1: PUSH2 0x32f8
000032f4: JUMPI
000032f5: DUP1
000032f6: DUP2
000032f7: REVERT
000032f8: JUMPDEST
000032f9: DUP2
000032fa: CALLDATALOAD
000032fb: PUSH2 0x0aa1
000032fe: DUP2
000032ff: PUSH2 0x3e5c
00003302: JUMP
00003303: JUMPDEST
00003304: PUSH1 0x00
00003306: DUP1
00003307: PUSH1 0x40
00003309: DUP4
0000330a: DUP6
0000330b: SUB
0000330c: SLT
0000330d: ISZERO
0000330e: PUSH2 0x3315
00003311: JUMPI
00003312: DUP1
00003313: DUP2
00003314: REVERT
00003315: JUMPDEST
00003316: DUP3
00003317: CALLDATALOAD
00003318: PUSH2 0x3320
0000331b: DUP2
0000331c: PUSH2 0x3e5c
0000331f: JUMP
00003320: JUMPDEST
00003321: SWAP2
00003322: POP
00003323: PUSH1 0x20
00003325: DUP4
00003326: ADD
00003327: CALLDATALOAD
00003328: PUSH2 0x3330
0000332b: DUP2
0000332c: PUSH2 0x3e5c
0000332f: JUMP
00003330: JUMPDEST
00003331: DUP1
00003332: SWAP2
00003333: POP
00003334: POP
00003335: SWAP3
00003336: POP
00003337: SWAP3
00003338: SWAP1
00003339: POP
0000333a: JUMP
0000333b: JUMPDEST
0000333c: PUSH1 0x00
0000333e: DUP1
0000333f: PUSH1 0x00
00003341: PUSH1 0x60
00003343: DUP5
00003344: DUP7
00003345: SUB
00003346: SLT
00003347: ISZERO
00003348: PUSH2 0x334f
0000334b: JUMPI
0000334c: DUP1
0000334d: DUP2
0000334e: REVERT
0000334f: JUMPDEST
00003350: DUP4
00003351: CALLDATALOAD
00003352: PUSH2 0x335a
00003355: DUP2
00003356: PUSH2 0x3e5c
00003359: JUMP
0000335a: JUMPDEST
0000335b: SWAP3
0000335c: POP
0000335d: PUSH1 0x20
0000335f: DUP5
00003360: ADD
00003361: CALLDATALOAD
00003362: PUSH2 0x336a
00003365: DUP2
00003366: PUSH2 0x3e5c
00003369: JUMP
0000336a: JUMPDEST
0000336b: SWAP3
0000336c: SWAP6
0000336d: SWAP3
0000336e: SWAP5
0000336f: POP
00003370: POP
00003371: POP
00003372: PUSH1 0x40
00003374: SWAP2
00003375: SWAP1
00003376: SWAP2
00003377: ADD
00003378: CALLDATALOAD
00003379: SWAP1
0000337a: JUMP
0000337b: JUMPDEST
0000337c: PUSH1 0x00
0000337e: DUP1
0000337f: PUSH1 0x40
00003381: DUP4
00003382: DUP6
00003383: SUB
00003384: SLT
00003385: ISZERO
00003386: PUSH2 0x338d
00003389: JUMPI
0000338a: DUP2
0000338b: DUP3
0000338c: REVERT
0000338d: JUMPDEST
0000338e: DUP3
0000338f: CALLDATALOAD
00003390: PUSH2 0x3398
00003393: DUP2
00003394: PUSH2 0x3e5c
00003397: JUMP
00003398: JUMPDEST
00003399: SWAP5
0000339a: PUSH1 0x20
0000339c: SWAP4
0000339d: SWAP1
0000339e: SWAP4
0000339f: ADD
000033a0: CALLDATALOAD
000033a1: SWAP4
000033a2: POP
000033a3: POP
000033a4: POP
000033a5: JUMP
000033a6: JUMPDEST
000033a7: PUSH1 0x00
000033a9: PUSH1 0x20
000033ab: DUP3
000033ac: DUP5
000033ad: SUB
000033ae: SLT
000033af: ISZERO
000033b0: PUSH2 0x33b7
000033b3: JUMPI
000033b4: DUP1
000033b5: DUP2
000033b6: REVERT
000033b7: JUMPDEST
000033b8: DUP2
000033b9: CALLDATALOAD
000033ba: PUSH2 0x0aa1
000033bd: DUP2
000033be: PUSH2 0x3e7e
000033c1: JUMP
000033c2: JUMPDEST
000033c3: PUSH1 0x00
000033c5: PUSH1 0x20
000033c7: DUP3
000033c8: DUP5
000033c9: SUB
000033ca: SLT
000033cb: ISZERO
000033cc: PUSH2 0x33d3
000033cf: JUMPI
000033d0: DUP1
000033d1: DUP2
000033d2: REVERT
000033d3: JUMPDEST
000033d4: DUP2
000033d5: MLOAD
000033d6: PUSH2 0x0aa1
000033d9: DUP2
000033da: PUSH2 0x3e7e
000033dd: JUMP
000033de: JUMPDEST
000033df: PUSH1 0x00
000033e1: DUP1
000033e2: PUSH1 0x00
000033e4: DUP1
000033e5: PUSH1 0x80
000033e7: DUP6
000033e8: DUP8
000033e9: SUB
000033ea: SLT
000033eb: ISZERO
000033ec: PUSH2 0x33f3
000033ef: JUMPI
000033f0: DUP1
000033f1: DUP2
000033f2: REVERT
000033f3: JUMPDEST
000033f4: DUP5
000033f5: CALLDATALOAD
000033f6: PUSH2 0x33fe
000033f9: DUP2
000033fa: PUSH2 0x3e5c
000033fd: JUMP
000033fe: JUMPDEST
000033ff: SWAP4
00003400: POP
00003401: PUSH1 0x20
00003403: DUP6
00003404: ADD
00003405: CALLDATALOAD
00003406: PUSH2 0x340e
00003409: DUP2
0000340a: PUSH2 0x3e5c
0000340d: JUMP
0000340e: JUMPDEST
0000340f: SWAP3
00003410: POP
00003411: PUSH1 0x40
00003413: DUP6
00003414: ADD
00003415: CALLDATALOAD
00003416: PUSH8 0xffffffffffffffff
0000341f: DUP1
00003420: DUP3
00003421: GT
00003422: ISZERO
00003423: PUSH2 0x342a
00003426: JUMPI
00003427: DUP3
00003428: DUP4
00003429: REVERT
0000342a: JUMPDEST
0000342b: PUSH2 0x3436
0000342e: DUP9
0000342f: DUP4
00003430: DUP10
00003431: ADD
00003432: PUSH2 0x324b
00003435: JUMP
00003436: JUMPDEST
00003437: SWAP4
00003438: POP
00003439: PUSH1 0x60
0000343b: DUP8
0000343c: ADD
0000343d: CALLDATALOAD
0000343e: SWAP2
0000343f: POP
00003440: DUP1
00003441: DUP3
00003442: GT
00003443: ISZERO
00003444: PUSH2 0x344b
00003447: JUMPI
00003448: DUP3
00003449: DUP4
0000344a: REVERT
0000344b: JUMPDEST
0000344c: POP
0000344d: PUSH2 0x3458
00003450: DUP8
00003451: DUP3
00003452: DUP9
00003453: ADD
00003454: PUSH2 0x324b
00003457: JUMP
00003458: JUMPDEST
00003459: SWAP2
0000345a: POP
0000345b: POP
0000345c: SWAP3
0000345d: SWAP6
0000345e: SWAP2
0000345f: SWAP5
00003460: POP
00003461: SWAP3
00003462: POP
00003463: JUMP
00003464: JUMPDEST
00003465: PUSH1 0x00
00003467: PUSH1 0x20
00003469: DUP3
0000346a: DUP5
0000346b: SUB
0000346c: SLT
0000346d: ISZERO
0000346e: PUSH2 0x3475
00003471: JUMPI
00003472: DUP1
00003473: DUP2
00003474: REVERT
00003475: JUMPDEST
00003476: POP
00003477: CALLDATALOAD
00003478: SWAP2
00003479: SWAP1
0000347a: POP
0000347b: JUMP
0000347c: JUMPDEST
0000347d: PUSH1 0x00
0000347f: PUSH1 0x20
00003481: DUP3
00003482: DUP5
00003483: SUB
00003484: SLT
00003485: ISZERO
00003486: PUSH2 0x348d
00003489: JUMPI
0000348a: DUP1
0000348b: DUP2
0000348c: REVERT
0000348d: JUMPDEST
0000348e: POP
0000348f: MLOAD
00003490: SWAP2
00003491: SWAP1
00003492: POP
00003493: JUMP
00003494: JUMPDEST
00003495: PUSH1 0x00
00003497: DUP1
00003498: PUSH1 0x40
0000349a: DUP4
0000349b: DUP6
0000349c: SUB
0000349d: SLT
0000349e: ISZERO
0000349f: PUSH2 0x34a6
000034a2: JUMPI
000034a3: DUP2
000034a4: DUP3
000034a5: REVERT
000034a6: JUMPDEST
000034a7: DUP3
000034a8: CALLDATALOAD
000034a9: SWAP2
000034aa: POP
000034ab: PUSH1 0x20
000034ad: DUP4
000034ae: ADD
000034af: CALLDATALOAD
000034b0: PUSH2 0x3330
000034b3: DUP2
000034b4: PUSH2 0x3e7e
000034b7: JUMP
000034b8: JUMPDEST
000034b9: PUSH1 0x00
000034bb: DUP2
000034bc: MLOAD
000034bd: DUP1
000034be: DUP5
000034bf: MSTORE
000034c0: PUSH2 0x34d0
000034c3: DUP2
000034c4: PUSH1 0x20
000034c6: DUP7
000034c7: ADD
000034c8: PUSH1 0x20
000034ca: DUP7
000034cb: ADD
000034cc: PUSH2 0x3e30
000034cf: JUMP
000034d0: JUMPDEST
000034d1: PUSH1 0x1f
000034d3: ADD
000034d4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000034f5: AND
000034f6: SWAP3
000034f7: SWAP1
000034f8: SWAP3
000034f9: ADD
000034fa: PUSH1 0x20
000034fc: ADD
000034fd: SWAP3
000034fe: SWAP2
000034ff: POP
00003500: POP
00003501: JUMP
00003502: JUMPDEST
00003503: PUSH1 0x00
00003505: DUP3
00003506: MLOAD
00003507: PUSH2 0x3514
0000350a: DUP2
0000350b: DUP5
0000350c: PUSH1 0x20
0000350e: DUP8
0000350f: ADD
00003510: PUSH2 0x3e30
00003513: JUMP
00003514: JUMPDEST
00003515: SWAP2
00003516: SWAP1
00003517: SWAP2
00003518: ADD
00003519: SWAP3
0000351a: SWAP2
0000351b: POP
0000351c: POP
0000351d: JUMP
0000351e: JUMPDEST
0000351f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003534: SWAP2
00003535: SWAP1
00003536: SWAP2
00003537: AND
00003538: DUP2
00003539: MSTORE
0000353a: PUSH1 0x20
0000353c: ADD
0000353d: SWAP1
0000353e: JUMP
0000353f: JUMPDEST
00003540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003555: SWAP3
00003556: DUP4
00003557: AND
00003558: DUP2
00003559: MSTORE
0000355a: SWAP2
0000355b: AND
0000355c: PUSH1 0x20
0000355e: DUP3
0000355f: ADD
00003560: MSTORE
00003561: PUSH1 0x40
00003563: ADD
00003564: SWAP1
00003565: JUMP
00003566: JUMPDEST
00003567: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000357c: SWAP3
0000357d: SWAP1
0000357e: SWAP3
0000357f: AND
00003580: DUP3
00003581: MSTORE
00003582: PUSH1 0x20
00003584: DUP3
00003585: ADD
00003586: MSTORE
00003587: PUSH1 0x40
00003589: ADD
0000358a: SWAP1
0000358b: JUMP
0000358c: JUMPDEST
0000358d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035a2: SWAP4
000035a3: DUP5
000035a4: AND
000035a5: DUP2
000035a6: MSTORE
000035a7: SWAP2
000035a8: SWAP1
000035a9: SWAP3
000035aa: AND
000035ab: PUSH1 0x20
000035ad: DUP3
000035ae: ADD
000035af: MSTORE
000035b0: PUSH1 0x40
000035b2: DUP2
000035b3: ADD
000035b4: SWAP2
000035b5: SWAP1
000035b6: SWAP2
000035b7: MSTORE
000035b8: PUSH1 0x60
000035ba: ADD
000035bb: SWAP1
000035bc: JUMP
000035bd: JUMPDEST
000035be: PUSH1 0x00
000035c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d5: DUP5
000035d6: AND
000035d7: DUP3
000035d8: MSTORE
000035d9: PUSH1 0x40
000035db: PUSH1 0x20
000035dd: DUP4
000035de: ADD
000035df: MSTORE
000035e0: PUSH2 0x3056
000035e3: PUSH1 0x40
000035e5: DUP4
000035e6: ADD
000035e7: DUP5
000035e8: PUSH2 0x34b8
000035eb: JUMP
000035ec: JUMPDEST
000035ed: SWAP1
000035ee: ISZERO
000035ef: ISZERO
000035f0: DUP2
000035f1: MSTORE
000035f2: PUSH1 0x20
000035f4: ADD
000035f5: SWAP1
000035f6: JUMP
000035f7: JUMPDEST
000035f8: PUSH1 0x00
000035fa: PUSH1 0x20
000035fc: DUP3
000035fd: MSTORE
000035fe: PUSH2 0x0aa1
00003601: PUSH1 0x20
00003603: DUP4
00003604: ADD
00003605: DUP5
00003606: PUSH2 0x34b8
00003609: JUMP
0000360a: JUMPDEST
0000360b: PUSH1 0x20
0000360d: DUP1
0000360e: DUP3
0000360f: MSTORE
00003610: PUSH1 0x23
00003612: SWAP1
00003613: DUP3
00003614: ADD
00003615: MSTORE
00003616: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00003637: PUSH1 0x40
00003639: DUP3
0000363a: ADD
0000363b: MSTORE
0000363c: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
0000365d: PUSH1 0x60
0000365f: DUP3
00003660: ADD
00003661: MSTORE
00003662: PUSH1 0x80
00003664: ADD
00003665: SWAP1
00003666: JUMP
00003667: JUMPDEST
00003668: PUSH1 0x20
0000366a: DUP1
0000366b: DUP3
0000366c: MSTORE
0000366d: PUSH1 0x0f
0000366f: SWAP1
00003670: DUP3
00003671: ADD
00003672: MSTORE
00003673: PUSH32 0x494e56414c49445f414444524553530000000000000000000000000000000000
00003694: PUSH1 0x40
00003696: DUP3
00003697: ADD
00003698: MSTORE
00003699: PUSH1 0x60
0000369b: ADD
0000369c: SWAP1
0000369d: JUMP
0000369e: JUMPDEST
0000369f: PUSH1 0x20
000036a1: DUP1
000036a2: DUP3
000036a3: MSTORE
000036a4: PUSH1 0x14
000036a6: SWAP1
000036a7: DUP3
000036a8: ADD
000036a9: MSTORE
000036aa: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
000036cb: PUSH1 0x40
000036cd: DUP3
000036ce: ADD
000036cf: MSTORE
000036d0: PUSH1 0x60
000036d2: ADD
000036d3: SWAP1
000036d4: JUMP
000036d5: JUMPDEST
000036d6: PUSH1 0x20
000036d8: DUP1
000036d9: DUP3
000036da: MSTORE
000036db: PUSH1 0x14
000036dd: SWAP1
000036de: DUP3
000036df: ADD
000036e0: MSTORE
000036e1: PUSH32 0x494e53554646494349454e545f42414c414e4345000000000000000000000000
00003702: PUSH1 0x40
00003704: DUP3
00003705: ADD
00003706: MSTORE
00003707: PUSH1 0x60
00003709: ADD
0000370a: SWAP1
0000370b: JUMP
0000370c: JUMPDEST
0000370d: PUSH1 0x20
0000370f: DUP1
00003710: DUP3
00003711: MSTORE
00003712: PUSH1 0x26
00003714: SWAP1
00003715: DUP3
00003716: ADD
00003717: MSTORE
00003718: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003739: PUSH1 0x40
0000373b: DUP3
0000373c: ADD
0000373d: MSTORE
0000373e: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000375f: PUSH1 0x60
00003761: DUP3
00003762: ADD
00003763: MSTORE
00003764: PUSH1 0x80
00003766: ADD
00003767: SWAP1
00003768: JUMP
00003769: JUMPDEST
0000376a: PUSH1 0x20
0000376c: DUP1
0000376d: DUP3
0000376e: MSTORE
0000376f: PUSH1 0x22
00003771: SWAP1
00003772: DUP3
00003773: ADD
00003774: MSTORE
00003775: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00003796: PUSH1 0x40
00003798: DUP3
00003799: ADD
0000379a: MSTORE
0000379b: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
000037bc: PUSH1 0x60
000037be: DUP3
000037bf: ADD
000037c0: MSTORE
000037c1: PUSH1 0x80
000037c3: ADD
000037c4: SWAP1
000037c5: JUMP
000037c6: JUMPDEST
000037c7: PUSH1 0x20
000037c9: DUP1
000037ca: DUP3
000037cb: MSTORE
000037cc: PUSH1 0x1b
000037ce: SWAP1
000037cf: DUP3
000037d0: ADD
000037d1: MSTORE
000037d2: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000037f3: PUSH1 0x40
000037f5: DUP3
000037f6: ADD
000037f7: MSTORE
000037f8: PUSH1 0x60
000037fa: ADD
000037fb: SWAP1
000037fc: JUMP
000037fd: JUMPDEST
000037fe: PUSH1 0x20
00003800: DUP1
00003801: DUP3
00003802: MSTORE
00003803: PUSH1 0x1e
00003805: SWAP1
00003806: DUP3
00003807: ADD
00003808: MSTORE
00003809: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000382a: PUSH1 0x40
0000382c: DUP3
0000382d: ADD
0000382e: MSTORE
0000382f: PUSH1 0x60
00003831: ADD
00003832: SWAP1
00003833: JUMP
00003834: JUMPDEST
00003835: PUSH1 0x20
00003837: DUP1
00003838: DUP3
00003839: MSTORE
0000383a: PUSH1 0x3a
0000383c: SWAP1
0000383d: DUP3
0000383e: ADD
0000383f: MSTORE
00003840: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00003861: PUSH1 0x40
00003863: DUP3
00003864: ADD
00003865: MSTORE
00003866: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00003887: PUSH1 0x60
00003889: DUP3
0000388a: ADD
0000388b: MSTORE
0000388c: PUSH1 0x80
0000388e: ADD
0000388f: SWAP1
00003890: JUMP
00003891: JUMPDEST
00003892: PUSH1 0x20
00003894: DUP1
00003895: DUP3
00003896: MSTORE
00003897: PUSH1 0x1d
00003899: SWAP1
0000389a: DUP3
0000389b: ADD
0000389c: MSTORE
0000389d: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000038be: PUSH1 0x40
000038c0: DUP3
000038c1: ADD
000038c2: MSTORE
000038c3: PUSH1 0x60
000038c5: ADD
000038c6: SWAP1
000038c7: JUMP
000038c8: JUMPDEST
000038c9: PUSH1 0x20
000038cb: DUP1
000038cc: DUP3
000038cd: MSTORE
000038ce: PUSH1 0x26
000038d0: SWAP1
000038d1: DUP3
000038d2: ADD
000038d3: MSTORE
000038d4: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000038f5: PUSH1 0x40
000038f7: DUP3
000038f8: ADD
000038f9: MSTORE
000038fa: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
0000391b: PUSH1 0x60
0000391d: DUP3
0000391e: ADD
0000391f: MSTORE
00003920: PUSH1 0x80
00003922: ADD
00003923: SWAP1
00003924: JUMP
00003925: JUMPDEST
00003926: PUSH1 0x20
00003928: DUP1
00003929: DUP3
0000392a: MSTORE
0000392b: PUSH1 0x0d
0000392d: SWAP1
0000392e: DUP3
0000392f: ADD
00003930: MSTORE
00003931: PUSH32 0x4e4f5f5749544844524157414c00000000000000000000000000000000000000
00003952: PUSH1 0x40
00003954: DUP3
00003955: ADD
00003956: MSTORE
00003957: PUSH1 0x60
00003959: ADD
0000395a: SWAP1
0000395b: JUMP
0000395c: JUMPDEST
0000395d: PUSH1 0x20
0000395f: DUP1
00003960: DUP3
00003961: MSTORE
00003962: PUSH1 0x0d
00003964: SWAP1
00003965: DUP3
00003966: ADD
00003967: MSTORE
00003968: PUSH32 0x494e56414c49445f4359434c4500000000000000000000000000000000000000
00003989: PUSH1 0x40
0000398b: DUP3
0000398c: ADD
0000398d: MSTORE
0000398e: PUSH1 0x60
00003990: ADD
00003991: SWAP1
00003992: JUMP
00003993: JUMPDEST
00003994: PUSH1 0x20
00003996: DUP1
00003997: DUP3
00003998: MSTORE
00003999: PUSH1 0x10
0000399b: SWAP1
0000399c: DUP3
0000399d: ADD
0000399e: MSTORE
0000399f: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
000039c0: PUSH1 0x40
000039c2: DUP3
000039c3: ADD
000039c4: MSTORE
000039c5: PUSH1 0x60
000039c7: ADD
000039c8: SWAP1
000039c9: JUMP
000039ca: JUMPDEST
000039cb: PUSH1 0x20
000039cd: DUP1
000039ce: DUP3
000039cf: MSTORE
000039d0: PUSH1 0x12
000039d2: SWAP1
000039d3: DUP3
000039d4: ADD
000039d5: MSTORE
000039d6: PUSH32 0x414d545f56414c55455f4d49534d415443480000000000000000000000000000
000039f7: PUSH1 0x40
000039f9: DUP3
000039fa: ADD
000039fb: MSTORE
000039fc: PUSH1 0x60
000039fe: ADD
000039ff: SWAP1
00003a00: JUMP
00003a01: JUMPDEST
00003a02: PUSH1 0x20
00003a04: DUP1
00003a05: DUP3
00003a06: MSTORE
00003a07: PUSH1 0x0c
00003a09: SWAP1
00003a0a: DUP3
00003a0b: ADD
00003a0c: MSTORE
00003a0d: PUSH32 0x5a45524f5f414444524553530000000000000000000000000000000000000000
00003a2e: PUSH1 0x40
00003a30: DUP3
00003a31: ADD
00003a32: MSTORE
00003a33: PUSH1 0x60
00003a35: ADD
00003a36: SWAP1
00003a37: JUMP
00003a38: JUMPDEST
00003a39: PUSH1 0x20
00003a3b: DUP1
00003a3c: DUP3
00003a3d: MSTORE
00003a3e: PUSH1 0x2e
00003a40: SWAP1
00003a41: DUP3
00003a42: ADD
00003a43: MSTORE
00003a44: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00003a65: PUSH1 0x40
00003a67: DUP3
00003a68: ADD
00003a69: MSTORE
00003a6a: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00003a8b: PUSH1 0x60
00003a8d: DUP3
00003a8e: ADD
00003a8f: MSTORE
00003a90: PUSH1 0x80
00003a92: ADD
00003a93: SWAP1
00003a94: JUMP
00003a95: JUMPDEST
00003a96: PUSH1 0x20
00003a98: DUP1
00003a99: DUP3
00003a9a: MSTORE
00003a9b: PUSH1 0x19
00003a9d: SWAP1
00003a9e: DUP3
00003a9f: ADD
00003aa0: MSTORE
00003aa1: PUSH32 0x494e53554646494349454e545f504f4f4c5f42414c414e434500000000000000
00003ac2: PUSH1 0x40
00003ac4: DUP3
00003ac5: ADD
00003ac6: MSTORE
00003ac7: PUSH1 0x60
00003ac9: ADD
00003aca: SWAP1
00003acb: JUMP
00003acc: JUMPDEST
00003acd: PUSH1 0x20
00003acf: DUP1
00003ad0: DUP3
00003ad1: MSTORE
00003ad2: PUSH1 0x0f
00003ad4: SWAP1
00003ad5: DUP3
00003ad6: ADD
00003ad7: MSTORE
00003ad8: PUSH32 0x414444524553535f4e4f545f5345540000000000000000000000000000000000
00003af9: PUSH1 0x40
00003afb: DUP3
00003afc: ADD
00003afd: MSTORE
00003afe: PUSH1 0x60
00003b00: ADD
00003b01: SWAP1
00003b02: JUMP
00003b03: JUMPDEST
00003b04: PUSH1 0x20
00003b06: DUP1
00003b07: DUP3
00003b08: MSTORE
00003b09: PUSH1 0x1d
00003b0b: SWAP1
00003b0c: DUP3
00003b0d: ADD
00003b0e: MSTORE
00003b0f: PUSH32 0x57495448445241575f494e53554646494349454e545f42414c414e4345000000
00003b30: PUSH1 0x40
00003b32: DUP3
00003b33: ADD
00003b34: MSTORE
00003b35: PUSH1 0x60
00003b37: ADD
00003b38: SWAP1
00003b39: JUMP
00003b3a: JUMPDEST
00003b3b: PUSH1 0x20
00003b3d: DUP1
00003b3e: DUP3
00003b3f: MSTORE
00003b40: DUP2
00003b41: DUP2
00003b42: ADD
00003b43: MSTORE
00003b44: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00003b65: PUSH1 0x40
00003b67: DUP3
00003b68: ADD
00003b69: MSTORE
00003b6a: PUSH1 0x60
00003b6c: ADD
00003b6d: SWAP1
00003b6e: JUMP
00003b6f: JUMPDEST
00003b70: PUSH1 0x20
00003b72: DUP1
00003b73: DUP3
00003b74: MSTORE
00003b75: PUSH1 0x21
00003b77: SWAP1
00003b78: DUP3
00003b79: ADD
00003b7a: MSTORE
00003b7b: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00003b9c: PUSH1 0x40
00003b9e: DUP3
00003b9f: ADD
00003ba0: MSTORE
00003ba1: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00003bc2: PUSH1 0x60
00003bc4: DUP3
00003bc5: ADD
00003bc6: MSTORE
00003bc7: PUSH1 0x80
00003bc9: ADD
00003bca: SWAP1
00003bcb: JUMP
00003bcc: JUMPDEST
00003bcd: PUSH1 0x20
00003bcf: DUP1
00003bd0: DUP3
00003bd1: MSTORE
00003bd2: PUSH1 0x25
00003bd4: SWAP1
00003bd5: DUP3
00003bd6: ADD
00003bd7: MSTORE
00003bd8: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003bf9: PUSH1 0x40
00003bfb: DUP3
00003bfc: ADD
00003bfd: MSTORE
00003bfe: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003c1f: PUSH1 0x60
00003c21: DUP3
00003c22: ADD
00003c23: MSTORE
00003c24: PUSH1 0x80
00003c26: ADD
00003c27: SWAP1
00003c28: JUMP
00003c29: JUMPDEST
00003c2a: PUSH1 0x20
00003c2c: DUP1
00003c2d: DUP3
00003c2e: MSTORE
00003c2f: PUSH1 0x24
00003c31: SWAP1
00003c32: DUP3
00003c33: ADD
00003c34: MSTORE
00003c35: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00003c56: PUSH1 0x40
00003c58: DUP3
00003c59: ADD
00003c5a: MSTORE
00003c5b: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00003c7c: PUSH1 0x60
00003c7e: DUP3
00003c7f: ADD
00003c80: MSTORE
00003c81: PUSH1 0x80
00003c83: ADD
00003c84: SWAP1
00003c85: JUMP
00003c86: JUMPDEST
00003c87: PUSH1 0x20
00003c89: DUP1
00003c8a: DUP3
00003c8b: MSTORE
00003c8c: PUSH1 0x1d
00003c8e: SWAP1
00003c8f: DUP3
00003c90: ADD
00003c91: MSTORE
00003c92: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00003cb3: PUSH1 0x40
00003cb5: DUP3
00003cb6: ADD
00003cb7: MSTORE
00003cb8: PUSH1 0x60
00003cba: ADD
00003cbb: SWAP1
00003cbc: JUMP
00003cbd: JUMPDEST
00003cbe: PUSH1 0x20
00003cc0: DUP1
00003cc1: DUP3
00003cc2: MSTORE
00003cc3: PUSH1 0x2a
00003cc5: SWAP1
00003cc6: DUP3
00003cc7: ADD
00003cc8: MSTORE
00003cc9: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00003cea: PUSH1 0x40
00003cec: DUP3
00003ced: ADD
00003cee: MSTORE
00003cef: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00003d10: PUSH1 0x60
00003d12: DUP3
00003d13: ADD
00003d14: MSTORE
00003d15: PUSH1 0x80
00003d17: ADD
00003d18: SWAP1
00003d19: JUMP
00003d1a: JUMPDEST
00003d1b: PUSH1 0x20
00003d1d: DUP1
00003d1e: DUP3
00003d1f: MSTORE
00003d20: PUSH1 0x0e
00003d22: SWAP1
00003d23: DUP3
00003d24: ADD
00003d25: MSTORE
00003d26: PUSH32 0x494e56414c49445f414d4f554e54000000000000000000000000000000000000
00003d47: PUSH1 0x40
00003d49: DUP3
00003d4a: ADD
00003d4b: MSTORE
00003d4c: PUSH1 0x60
00003d4e: ADD
00003d4f: SWAP1
00003d50: JUMP
00003d51: JUMPDEST
00003d52: PUSH1 0x20
00003d54: DUP1
00003d55: DUP3
00003d56: MSTORE
00003d57: PUSH1 0x1f
00003d59: SWAP1
00003d5a: DUP3
00003d5b: ADD
00003d5c: MSTORE
00003d5d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00003d7e: PUSH1 0x40
00003d80: DUP3
00003d81: ADD
00003d82: MSTORE
00003d83: PUSH1 0x60
00003d85: ADD
00003d86: SWAP1
00003d87: JUMP
00003d88: JUMPDEST
00003d89: PUSH1 0x20
00003d8b: DUP1
00003d8c: DUP3
00003d8d: MSTORE
00003d8e: PUSH1 0x1f
00003d90: SWAP1
00003d91: DUP3
00003d92: ADD
00003d93: MSTORE
00003d94: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00003db5: PUSH1 0x40
00003db7: DUP3
00003db8: ADD
00003db9: MSTORE
00003dba: PUSH1 0x60
00003dbc: ADD
00003dbd: SWAP1
00003dbe: JUMP
00003dbf: JUMPDEST
00003dc0: PUSH1 0x00
00003dc2: PUSH1 0x80
00003dc4: DUP3
00003dc5: ADD
00003dc6: SWAP1
00003dc7: POP
00003dc8: DUP3
00003dc9: MLOAD
00003dca: DUP3
00003dcb: MSTORE
00003dcc: PUSH1 0x20
00003dce: DUP4
00003dcf: ADD
00003dd0: MLOAD
00003dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003de6: DUP1
00003de7: DUP3
00003de8: AND
00003de9: PUSH1 0x20
00003deb: DUP6
00003dec: ADD
00003ded: MSTORE
00003dee: DUP1
00003def: PUSH1 0x40
00003df1: DUP7
00003df2: ADD
00003df3: MLOAD
00003df4: AND
00003df5: PUSH1 0x40
00003df7: DUP6
00003df8: ADD
00003df9: MSTORE
00003dfa: POP
00003dfb: POP
00003dfc: PUSH1 0x60
00003dfe: DUP4
00003dff: ADD
00003e00: MLOAD
00003e01: PUSH1 0x60
00003e03: DUP4
00003e04: ADD
00003e05: MSTORE
00003e06: SWAP3
00003e07: SWAP2
00003e08: POP
00003e09: POP
00003e0a: JUMP
00003e0b: JUMPDEST
00003e0c: SWAP1
00003e0d: DUP2
00003e0e: MSTORE
00003e0f: PUSH1 0x20
00003e11: ADD
00003e12: SWAP1
00003e13: JUMP
00003e14: JUMPDEST
00003e15: SWAP2
00003e16: DUP3
00003e17: MSTORE
00003e18: PUSH1 0x20
00003e1a: DUP3
00003e1b: ADD
00003e1c: MSTORE
00003e1d: PUSH1 0x40
00003e1f: ADD
00003e20: SWAP1
00003e21: JUMP
00003e22: JUMPDEST
00003e23: PUSH1 0xff
00003e25: SWAP2
00003e26: SWAP1
00003e27: SWAP2
00003e28: AND
00003e29: DUP2
00003e2a: MSTORE
00003e2b: PUSH1 0x20
00003e2d: ADD
00003e2e: SWAP1
00003e2f: JUMP
00003e30: JUMPDEST
00003e31: PUSH1 0x00
00003e33: JUMPDEST
00003e34: DUP4
00003e35: DUP2
00003e36: LT
00003e37: ISZERO
00003e38: PUSH2 0x3e4b
00003e3b: JUMPI
00003e3c: DUP2
00003e3d: DUP2
00003e3e: ADD
00003e3f: MLOAD
00003e40: DUP4
00003e41: DUP3
00003e42: ADD
00003e43: MSTORE
00003e44: PUSH1 0x20
00003e46: ADD
00003e47: PUSH2 0x3e33
00003e4a: JUMP
00003e4b: JUMPDEST
00003e4c: DUP4
00003e4d: DUP2
00003e4e: GT
00003e4f: ISZERO
00003e50: PUSH2 0x1c7b
00003e53: JUMPI
00003e54: POP
00003e55: POP
00003e56: PUSH1 0x00
00003e58: SWAP2
00003e59: ADD
00003e5a: MSTORE
00003e5b: JUMP
00003e5c: JUMPDEST
00003e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e72: DUP2
00003e73: AND
00003e74: DUP2
00003e75: EQ
00003e76: PUSH2 0x18c4
00003e79: JUMPI
00003e7a: PUSH1 0x00
00003e7c: DUP1
00003e7d: REVERT
00003e7e: JUMPDEST
00003e7f: DUP1
00003e80: ISZERO
00003e81: ISZERO
00003e82: DUP2
00003e83: EQ
00003e84: PUSH2 0x18c4
00003e87: JUMPI
00003e88: PUSH1 0x00
00003e8a: DUP1
00003e8b: REVERT
00003e8c: INVALID
00003e8d: GASLIMIT
00003e8e: MSTORE
00003e8f: NUMBER
00003e90: ORIGIN
00003e91: ADDRESS
00003e92: GASPRICE
00003e93: KECCAK256
00003e94: PUSH3 0x75726e
00003e98: KECCAK256
00003e99: PUSH2 0x6d6f
00003e9c: PUSH22 0x6e7420657863656564732062616c616e636553616665
00003eb3: GASLIMIT
00003eb4: MSTORE
00003eb5: NUMBER
00003eb6: ORIGIN
00003eb7: ADDRESS
00003eb8: GASPRICE
00003eb9: KECCAK256
00003eba: PUSH5 0x6563726561
00003ec0: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00003ed5: PUSH6 0x726f45524332
00003edc: ADDRESS
00003edd: GASPRICE
00003ede: KECCAK256
00003edf: PUSH21 0x72616e7366657220616d6f756e7420657863656564
00003ef5: PUSH20 0x2062616c616e636545524332303a207472616e73
00003f0a: PUSH7 0x657220616d6f75
00003f12: PUSH15 0x74206578636565647320616c6c6f77
00003f22: PUSH2 0x6e63
00003f25: PUSH6 0x45524332303a
00003f2c: KECCAK256
00003f2d: PUSH5 0x6563726561
00003f33: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00003f48: PUSH6 0x726fa2646970
00003f4f: PUSH7 0x7358221220141d
00003f57: UNKNOWN(0xC0)
00003f58: SHL
00003f59: SWAP2
00003f5a: UNKNOWN(0xA6)
00003f5b: UNKNOWN(0xCD)
00003f5c: EXTCODECOPY
00003f5d: UNKNOWN(0xB6)
00003f5e: LOG2
00003f5f: UNKNOWN(0xBE)
00003f60: DUP7
00003f61: UNKNOWN(0xE7)
00003f62: UNKNOWN(0xAA)
00003f63: PUSH0
00003f64: UNKNOWN(0x25)
00003f65: UNKNOWN(0xB2)
00003f66: PUSH15 0x555647057509ff1e720290a2583164
00003f76: PUSH20