Analysis Run

[codex:992720] OpenAI Codex v0.77.0 (research preview)
[codex:992720] --------
[codex:992720] workdir: /tmp/codex-multi-l9eun1_c
[codex:992720] model: gpt-5.2-codex
[codex:992720] provider: openai
[codex:992720] approval: never
[codex:992720] sandbox: read-only
[codex:992720] reasoning effort: xhigh
[codex:992720] reasoning summaries: auto
[codex:992720] session id: 019b754f-31b5-7a41-986b-97e05bae5e07
[codex:992720] --------
[codex:992720] user
[codex:992720] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:992720] 
[codex:992720] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:992720] 
[codex:992720] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:992720] - Gas inefficiency, code quality, naming, or best practices
[codex:992720] - Theoretical vulnerabilities without a clear extraction path
[codex:992720] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:992720] - Front-running unless it enables theft beyond MEV
[codex:992720] - DoS, griefing, or issues that don't result in attacker profit
[codex:992720] - Missing events, view function issues, or informational findings
[codex:992720] 
[codex:992720] HIGH-VALUE PATTERNS TO HUNT:
[codex:992720] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:992720] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:992720] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:992720] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:992720] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:992720] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:992720] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:992720] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:992720] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:992720] 
[codex:992720] For each finding, you MUST provide:
[codex:992720] 1. Exact file and line numbers of vulnerable code
[codex:992720] 2. Step-by-step exploit transaction sequence
[codex:992720] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:992720] 
[codex:992720] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:992720] 
[codex:992720] Output MUST be valid JSON matching the provided schema.
[codex:992720] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:992720] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:992720] mcp startup: no servers
[codex:992720] 
[codex:992720] thinking
[codex:992720] **Preparing to read AUDIT_BUNDLE.txt**
[codex:992720] exec
[codex:992720] /bin/bash -lc ls in /tmp/codex-multi-l9eun1_c succeeded in 5ms:
[codex:992720] AUDIT_BUNDLE.txt
[codex:992720] codex-output-schema.json
[codex:992720] contracts
[codex:992720] exec
[codex:992720] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-l9eun1_c succeeded in 7ms:
[codex:992720] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:992720] 
[codex:992720] ================================================================================
[codex:992720] FILE: contracts/src/L1/IL1ScrollMessenger.sol
[codex:992720] ================================================================================
[codex:992720] // SPDX-License-Identifier: MIT
[codex:992720] 
[codex:992720] pragma solidity ^0.8.16;
[codex:992720] 
[codex:992720] import {IScrollMessenger} from "../libraries/IScrollMessenger.sol";
[codex:992720] 
[codex:992720] interface IL1ScrollMessenger is IScrollMessenger {
[codex:992720]     /**********
[codex:992720]      * Events *
[codex:992720]      **********/
[codex:992720] 
[codex:992720]     /// @notice Emitted when the maximum number of times each message can be replayed is updated.
[codex:992720]     /// @param oldMaxReplayTimes The old maximum number of times each message can be replayed.
[codex:992720]     /// @param newMaxReplayTimes The new maximum number of times each message can be replayed.
[codex:992720]     event UpdateMaxReplayTimes(uint256 oldMaxReplayTimes, uint256 newMaxReplayTimes);
[codex:992720] 
[codex:992720] thinking
[codex:992720] **Locating potential vulnerabilities in audit bundle**
[codex:992720] exec
[codex:992720] /bin/bash -lc 'rg --files contracts/src' in /tmp/codex-multi-l9eun1_c succeeded in 11ms:
[codex:992720] contracts/src/interfaces/IFiatToken.sol
[codex:992720] contracts/src/interfaces/IUSDCBurnableSourceBridge.sol
[codex:992720] contracts/src/rate-limiter/ITokenRateLimiter.sol
[codex:992720] contracts/src/L2/gateways/IL2ERC20Gateway.sol
[codex:992720] contracts/src/L1/IL1ScrollMessenger.sol
[codex:992720] contracts/src/libraries/IScrollMessenger.sol
[codex:992720] contracts/src/L1/gateways/IL1ERC20Gateway.sol
[codex:992720] contracts/src/libraries/constants/ScrollConstants.sol
[codex:992720] contracts/src/L1/gateways/usdc/L1USDCGateway.sol
[codex:992720] contracts/src/L1/gateways/IL1GatewayRouter.sol
[codex:992720] contracts/src/L1/gateways/IL1ETHGateway.sol
[codex:992720] contracts/src/L1/gateways/L1ERC20Gateway.sol
[codex:992720] contracts/src/libraries/gateway/ScrollGatewayBase.sol
[codex:992720] contracts/src/libraries/gateway/IScrollGateway.sol
[codex:992720] contracts/src/libraries/callbacks/IMessageDropCallback.sol
[codex:992720] contracts/src/libraries/callbacks/IScrollGatewayCallback.sol
[codex:992720] 
[codex:992720] thinking
[codex:992720] **Checking L1USDCGateway file**
[codex:992720] exec
[codex:992720] /bin/bash -lc "sed -n '1,240p' contracts/src/L1/gateways/usdc/L1USDCGateway.sol" in /tmp/codex-multi-l9eun1_c succeeded in 6ms:
[codex:992720] // SPDX-License-Identifier: MIT
[codex:992720] 
[codex:992720] pragma solidity =0.8.16;
[codex:992720] 
[codex:992720] import {IFiatToken} from "../../../interfaces/IFiatToken.sol";
[codex:992720] import {IUSDCBurnableSourceBridge} from "../../../interfaces/IUSDCBurnableSourceBridge.sol";
[codex:992720] import {IL2ERC20Gateway} from "../../../L2/gateways/IL2ERC20Gateway.sol";
[codex:992720] import {IL1ScrollMessenger} from "../../IL1ScrollMessenger.sol";
[codex:992720] import {IL1ERC20Gateway} from "../IL1ERC20Gateway.sol";
[codex:992720] 
[codex:992720] import {ScrollGatewayBase} from "../../../libraries/gateway/ScrollGatewayBase.sol";
[codex:992720] import {L1ERC20Gateway} from "../L1ERC20Gateway.sol";
[codex:992720] 
[codex:992720] /// @title L1USDCGateway
[codex:992720] /// @notice The `L1USDCGateway` contract is used to deposit `USDC` token in layer 1 and
[codex:992720] /// finalize withdraw `USDC` from layer 2, before USDC become native in layer 2.
[codex:992720] contract L1USDCGateway is L1ERC20Gateway, IUSDCBurnableSourceBridge {
[codex:992720]     /*************
[codex:992720]      * Constants *
[codex:992720]      *************/
[codex:992720] 
[codex:992720] thinking
[codex:992720] **Reviewing L1ERC20Gateway contract**
[codex:992720] exec
[codex:992720] /bin/bash -lc "sed -n '1,260p' contracts/src/L1/gateways/L1ERC20Gateway.sol" in /tmp/codex-multi-l9eun1_c succeeded in 5ms:
[codex:992720] // SPDX-License-Identifier: MIT
[codex:992720] 
[codex:992720] pragma solidity ^0.8.16;
[codex:992720] 
[codex:992720] import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:992720] import {SafeERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:992720] 
[codex:992720] import {IL1ERC20Gateway} from "./IL1ERC20Gateway.sol";
[codex:992720] import {IL1GatewayRouter} from "./IL1GatewayRouter.sol";
[codex:992720] 
[codex:992720] import {IL2ERC20Gateway} from "../../L2/gateways/IL2ERC20Gateway.sol";
[codex:992720] import {ScrollGatewayBase} from "../../libraries/gateway/ScrollGatewayBase.sol";
[codex:992720] import {IMessageDropCallback} from "../../libraries/callbacks/IMessageDropCallback.sol";
[codex:992720] 
[codex:992720] /// @title L1ERC20Gateway
[codex:992720] /// @notice The `L1ERC20Gateway` as a base contract for ERC20 gateways in L1.
[codex:992720] /// It has implementation of common used functions for ERC20 gateways.
[codex:992720] abstract contract L1ERC20Gateway is IL1ERC20Gateway, IMessageDropCallback, ScrollGatewayBase {
[codex:992720]     using SafeERC20Upgradeable for IERC20Upgradeable;
[codex:992720] 
[codex:992720] 
[codex:992720] thinking
[codex:992720] **Evaluating L1USDCGateway for exploits**
[codex:992720] 
[codex:992720] I’m carefully examining the L1USDCGateway and related contracts to spot any exploitable paths for profit, focusing on message dropping, initialization, access controls, and token transfers. I’m considering trusted and untrusted components, reentrancy protections, and interactions with the external messenger. After detailed analysis, I see no concrete ways to steal or profit from funds within these contracts alone, though this relies on trusting the messenger’s correctness.
[codex:992720] codex
[codex:992720] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path found in the provided contracts under the stated trust assumptions.","findings":[]}
[codex:992720] tokens used
[codex:992720] 21,393
[codex:992720] {"no_findings":true,"summary":"No concrete, exploitable value-extraction path found in the provided contracts under the stated trust assumptions.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-31T16:49:21.165643+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable value-extraction path found in the provided contracts under the stated trust assumptions.",
    "raw_final": {
        "summary": "No concrete, exploitable value-extraction path found in the provided contracts under the stated trust assumptions.",
        "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 0x0140
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x797594b0
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc676ad29
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc676ad29
0000002f: EQ
00000030: PUSH2 0x039e
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xebd462cb
0000003a: EQ
0000003b: PUSH2 0x03de
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf0d7c29c
00000045: EQ
00000046: PUSH2 0x03fe
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf219fa66
00000050: EQ
00000051: PUSH2 0x041e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0431
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf887ea40
00000066: EQ
00000067: PUSH2 0x0451
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x797594b0
00000076: EQ
00000077: PUSH2 0x02c1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x84bd13b0
00000081: EQ
00000082: PUSH2 0x02f5
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8da5cb5b
0000008c: EQ
0000008d: PUSH2 0x0308
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xa2604596
00000097: EQ
00000098: PUSH2 0x0326
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xa6f73669
000000a2: EQ
000000a3: PUSH2 0x034a
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xc0c53b8b
000000ad: EQ
000000ae: PUSH2 0x037e
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x21846ebb
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x21846ebb
000000c8: EQ
000000c9: PUSH2 0x01ee
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x29e96f9e
000000d3: EQ
000000d4: PUSH2 0x0203
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x2f3ffb9f
000000de: EQ
000000df: PUSH2 0x0237
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x3cb747bf
000000e9: EQ
000000ea: PUSH2 0x0258
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x415855d6
000000f4: EQ
000000f5: PUSH2 0x028c
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x715018a6
000000ff: EQ
00000100: PUSH2 0x02ac
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x02befd24
0000010f: EQ
00000110: PUSH2 0x0145
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x0aea8c26
0000011a: EQ
0000011b: PUSH2 0x017b
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x14298c51
00000125: EQ
00000126: PUSH2 0x0190
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x1f878ae6
00000130: EQ
00000131: PUSH2 0x01a3
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x21425ee0
0000013b: EQ
0000013c: PUSH2 0x01db
0000013f: JUMPI
00000140: JUMPDEST
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH1 0xfb
00000155: SLOAD
00000156: PUSH2 0x0166
00000159: SWAP1
0000015a: PUSH1 0x01
0000015c: PUSH1 0xa0
0000015e: SHL
0000015f: SWAP1
00000160: DIV
00000161: PUSH1 0xff
00000163: AND
00000164: DUP2
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH1 0x40
00000169: MLOAD
0000016a: SWAP1
0000016b: ISZERO
0000016c: ISZERO
0000016d: DUP2
0000016e: MSTORE
0000016f: PUSH1 0x20
00000171: ADD
00000172: JUMPDEST
00000173: PUSH1 0x40
00000175: MLOAD
00000176: DUP1
00000177: SWAP2
00000178: SUB
00000179: SWAP1
0000017a: RETURN
0000017b: JUMPDEST
0000017c: PUSH2 0x018e
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1952
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x0485
0000018d: JUMP
0000018e: JUMPDEST
0000018f: STOP
00000190: JUMPDEST
00000191: PUSH2 0x018e
00000194: PUSH2 0x019e
00000197: CALLDATASIZE
00000198: PUSH1 0x04
0000019a: PUSH2 0x1a0f
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH2 0x0499
000001a2: JUMP
000001a3: JUMPDEST
000001a4: CALLVALUE
000001a5: DUP1
000001a6: ISZERO
000001a7: PUSH2 0x01af
000001aa: JUMPI
000001ab: PUSH1 0x00
000001ad: DUP1
000001ae: REVERT
000001af: JUMPDEST
000001b0: POP
000001b1: PUSH1 0xfb
000001b3: SLOAD
000001b4: PUSH2 0x01c3
000001b7: SWAP1
000001b8: PUSH1 0x01
000001ba: PUSH1 0x01
000001bc: PUSH1 0xa0
000001be: SHL
000001bf: SUB
000001c0: AND
000001c1: DUP2
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH1 0x40
000001c6: MLOAD
000001c7: PUSH1 0x01
000001c9: PUSH1 0x01
000001cb: PUSH1 0xa0
000001cd: SHL
000001ce: SUB
000001cf: SWAP1
000001d0: SWAP2
000001d1: AND
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: PUSH2 0x0172
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH2 0x018e
000001df: PUSH2 0x01e9
000001e2: CALLDATASIZE
000001e3: PUSH1 0x04
000001e5: PUSH2 0x1a51
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH2 0x06c2
000001ed: JUMP
000001ee: JUMPDEST
000001ef: CALLVALUE
000001f0: DUP1
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: POP
000001fc: PUSH2 0x018e
000001ff: PUSH2 0x0701
00000202: JUMP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x01c3
00000214: PUSH32 0x00000000000000000000000006efdbff2a14a7c8e15944d1f4a48f9f95f663a4
00000235: DUP2
00000236: JUMP
00000237: JUMPDEST
00000238: CALLVALUE
00000239: DUP1
0000023a: ISZERO
0000023b: PUSH2 0x0243
0000023e: JUMPI
0000023f: PUSH1 0x00
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: PUSH1 0xfb
00000247: SLOAD
00000248: PUSH2 0x0166
0000024b: SWAP1
0000024c: PUSH1 0x01
0000024e: PUSH1 0xa8
00000250: SHL
00000251: SWAP1
00000252: DIV
00000253: PUSH1 0xff
00000255: AND
00000256: DUP2
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x01c3
00000269: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
0000028a: DUP2
0000028b: JUMP
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: DUP1
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH2 0x018e
0000029d: PUSH2 0x02a7
000002a0: CALLDATASIZE
000002a1: PUSH1 0x04
000002a3: PUSH2 0x1a94
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH2 0x07d8
000002ab: JUMP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x018e
000002bd: PUSH2 0x07fe
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x01c3
000002d2: PUSH32 0x00000000000000000000000033b60d5dd260d453cac3782b0bdc01ce84672142
000002f3: DUP2
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x018e
000002f9: PUSH2 0x0303
000002fc: CALLDATASIZE
000002fd: PUSH1 0x04
000002ff: PUSH2 0x1ab8
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH2 0x0812
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH1 0x65
00000318: SLOAD
00000319: PUSH1 0x01
0000031b: PUSH1 0x01
0000031d: PUSH1 0xa0
0000031f: SHL
00000320: SUB
00000321: AND
00000322: PUSH2 0x01c3
00000325: JUMP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x033c
00000337: PUSH1 0xfc
00000339: SLOAD
0000033a: DUP2
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: SWAP1
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x20
00000345: ADD
00000346: PUSH2 0x0172
00000349: JUMP
0000034a: JUMPDEST
0000034b: CALLVALUE
0000034c: DUP1
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH2 0x01c3
0000035b: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000037c: DUP2
0000037d: JUMP
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038a
00000385: JUMPI
00000386: PUSH1 0x00
00000388: DUP1
00000389: REVERT
0000038a: JUMPDEST
0000038b: POP
0000038c: PUSH2 0x018e
0000038f: PUSH2 0x0399
00000392: CALLDATASIZE
00000393: PUSH1 0x04
00000395: PUSH2 0x1b50
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH2 0x0a06
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x01c3
000003af: PUSH2 0x03b9
000003b2: CALLDATASIZE
000003b3: PUSH1 0x04
000003b5: PUSH2 0x1b9b
000003b8: JUMP
000003b9: JUMPDEST
000003ba: POP
000003bb: PUSH32 0x00000000000000000000000006efdbff2a14a7c8e15944d1f4a48f9f95f663a4
000003dc: SWAP1
000003dd: JUMP
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: DUP1
000003e1: ISZERO
000003e2: PUSH2 0x03ea
000003e5: JUMPI
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: POP
000003ec: PUSH2 0x018e
000003ef: PUSH2 0x03f9
000003f2: CALLDATASIZE
000003f3: PUSH1 0x04
000003f5: PUSH2 0x1a94
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH2 0x0b1d
000003fd: JUMP
000003fe: JUMPDEST
000003ff: CALLVALUE
00000400: DUP1
00000401: ISZERO
00000402: PUSH2 0x040a
00000405: JUMPI
00000406: PUSH1 0x00
00000408: DUP1
00000409: REVERT
0000040a: JUMPDEST
0000040b: POP
0000040c: PUSH2 0x018e
0000040f: PUSH2 0x0419
00000412: CALLDATASIZE
00000413: PUSH1 0x04
00000415: PUSH2 0x1b9b
00000418: JUMP
00000419: JUMPDEST
0000041a: PUSH2 0x0b43
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x018e
00000422: PUSH2 0x042c
00000425: CALLDATASIZE
00000426: PUSH1 0x04
00000428: PUSH2 0x1bb8
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH2 0x0b6d
00000430: JUMP
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: POP
0000043f: PUSH2 0x018e
00000442: PUSH2 0x044c
00000445: CALLDATASIZE
00000446: PUSH1 0x04
00000448: PUSH2 0x1b9b
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH2 0x0b7a
00000450: JUMP
00000451: JUMPDEST
00000452: CALLVALUE
00000453: DUP1
00000454: ISZERO
00000455: PUSH2 0x045d
00000458: JUMPI
00000459: PUSH1 0x00
0000045b: DUP1
0000045c: REVERT
0000045d: JUMPDEST
0000045e: POP
0000045f: PUSH2 0x01c3
00000462: PUSH32 0x000000000000000000000000f8b1378579659d8f7ee5f3c929c2f3e332e41fd6
00000483: DUP2
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH2 0x0492
00000489: DUP6
0000048a: DUP6
0000048b: DUP6
0000048c: DUP6
0000048d: DUP6
0000048e: PUSH2 0x0bf3
00000491: JUMP
00000492: JUMPDEST
00000493: POP
00000494: POP
00000495: POP
00000496: POP
00000497: POP
00000498: JUMP
00000499: JUMPDEST
0000049a: CALLER
0000049b: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
000004bc: PUSH1 0x01
000004be: PUSH1 0x01
000004c0: PUSH1 0xa0
000004c2: SHL
000004c3: SUB
000004c4: AND
000004c5: EQ
000004c6: PUSH2 0x04e2
000004c9: JUMPI
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH4 0x85bd908d
000004d2: PUSH1 0xe0
000004d4: SHL
000004d5: DUP2
000004d6: MSTORE
000004d7: PUSH1 0x04
000004d9: ADD
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: DUP1
000004de: SWAP2
000004df: SUB
000004e0: SWAP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
00000504: PUSH1 0x01
00000506: PUSH1 0x01
00000508: PUSH1 0xa0
0000050a: SHL
0000050b: SUB
0000050c: AND
0000050d: PUSH4 0x6e296e45
00000512: PUSH1 0x40
00000514: MLOAD
00000515: DUP2
00000516: PUSH4 0xffffffff
0000051b: AND
0000051c: PUSH1 0xe0
0000051e: SHL
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x04
00000523: ADD
00000524: PUSH1 0x20
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: DUP4
0000052b: SUB
0000052c: DUP2
0000052d: DUP7
0000052e: GAS
0000052f: STATICCALL
00000530: ISZERO
00000531: DUP1
00000532: ISZERO
00000533: PUSH2 0x0540
00000536: JUMPI
00000537: RETURNDATASIZE
00000538: PUSH1 0x00
0000053a: DUP1
0000053b: RETURNDATACOPY
0000053c: RETURNDATASIZE
0000053d: PUSH1 0x00
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: POP
00000543: POP
00000544: POP
00000545: PUSH1 0x40
00000547: MLOAD
00000548: RETURNDATASIZE
00000549: PUSH1 0x1f
0000054b: NOT
0000054c: PUSH1 0x1f
0000054e: DUP3
0000054f: ADD
00000550: AND
00000551: DUP3
00000552: ADD
00000553: DUP1
00000554: PUSH1 0x40
00000556: MSTORE
00000557: POP
00000558: DUP2
00000559: ADD
0000055a: SWAP1
0000055b: PUSH2 0x0564
0000055e: SWAP2
0000055f: SWAP1
00000560: PUSH2 0x1bfe
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH1 0x01
00000567: PUSH1 0x01
00000569: PUSH1 0xa0
0000056b: SHL
0000056c: SUB
0000056d: AND
0000056e: PUSH20 0x6f297c61b5c92ef107ffd30cd56affe5a273e841
00000583: PUSH1 0x01
00000585: PUSH1 0x01
00000587: PUSH1 0xa0
00000589: SHL
0000058a: SUB
0000058b: AND
0000058c: EQ
0000058d: PUSH2 0x05a9
00000590: JUMPI
00000591: PUSH1 0x40
00000593: MLOAD
00000594: PUSH4 0x0d08b8ff
00000599: PUSH1 0xe0
0000059b: SHL
0000059c: DUP2
0000059d: MSTORE
0000059e: PUSH1 0x04
000005a0: ADD
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: DUP1
000005a5: SWAP2
000005a6: SUB
000005a7: SWAP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: PUSH2 0x05b1
000005ad: PUSH2 0x0f0b
000005b0: JUMP
000005b1: JUMPDEST
000005b2: PUSH4 0x8431f5c1
000005b7: PUSH1 0xe0
000005b9: SHL
000005ba: PUSH2 0x05c7
000005bd: PUSH1 0x04
000005bf: PUSH1 0x00
000005c1: DUP5
000005c2: DUP7
000005c3: PUSH2 0x1c1b
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x05d0
000005cb: SWAP2
000005cc: PUSH2 0x1c45
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH1 0x01
000005d3: PUSH1 0x01
000005d5: PUSH1 0xe0
000005d7: SHL
000005d8: SUB
000005d9: NOT
000005da: AND
000005db: EQ
000005dc: PUSH2 0x061f
000005df: JUMPI
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: PUSH3 0x461bcd
000005e7: PUSH1 0xe5
000005e9: SHL
000005ea: DUP2
000005eb: MSTORE
000005ec: PUSH1 0x20
000005ee: PUSH1 0x04
000005f0: DUP3
000005f1: ADD
000005f2: MSTORE
000005f3: PUSH1 0x10
000005f5: PUSH1 0x24
000005f7: DUP3
000005f8: ADD
000005f9: MSTORE
000005fa: PUSH16 0x34b73b30b634b21039b2b632b1ba37b9
0000060b: PUSH1 0x81
0000060d: SHL
0000060e: PUSH1 0x44
00000610: DUP3
00000611: ADD
00000612: MSTORE
00000613: PUSH1 0x64
00000615: ADD
00000616: JUMPDEST
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: DUP1
0000061b: SWAP2
0000061c: SUB
0000061d: SWAP1
0000061e: REVERT
0000061f: JUMPDEST
00000620: PUSH1 0x00
00000622: DUP1
00000623: DUP1
00000624: PUSH2 0x0630
00000627: DUP5
00000628: PUSH1 0x04
0000062a: DUP2
0000062b: DUP9
0000062c: PUSH2 0x1c1b
0000062f: JUMP
00000630: JUMPDEST
00000631: DUP2
00000632: ADD
00000633: SWAP1
00000634: PUSH2 0x063d
00000637: SWAP2
00000638: SWAP1
00000639: PUSH2 0x1c75
0000063c: JUMP
0000063d: JUMPDEST
0000063e: POP
0000063f: SWAP5
00000640: POP
00000641: POP
00000642: SWAP4
00000643: POP
00000644: POP
00000645: SWAP3
00000646: POP
00000647: PUSH2 0x0651
0000064a: DUP4
0000064b: DUP4
0000064c: DUP4
0000064d: PUSH2 0x0f64
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH2 0x0665
00000655: PUSH1 0x01
00000657: PUSH1 0x01
00000659: PUSH1 0xa0
0000065b: SHL
0000065c: SUB
0000065d: DUP5
0000065e: AND
0000065f: DUP4
00000660: DUP4
00000661: PUSH2 0x0fc2
00000664: JUMP
00000665: JUMPDEST
00000666: DUP2
00000667: PUSH1 0x01
00000669: PUSH1 0x01
0000066b: PUSH1 0xa0
0000066d: SHL
0000066e: SUB
0000066f: AND
00000670: DUP4
00000671: PUSH1 0x01
00000673: PUSH1 0x01
00000675: PUSH1 0xa0
00000677: SHL
00000678: SUB
00000679: AND
0000067a: PUSH32 0xdbdf8eb487847e4c0f22847f5dac07f2d3690f96f581a6ae4b102769917645a8
0000069b: DUP4
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: PUSH2 0x06aa
000006a2: SWAP2
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: SWAP1
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH1 0x40
000006ad: MLOAD
000006ae: DUP1
000006af: SWAP2
000006b0: SUB
000006b1: SWAP1
000006b2: LOG3
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: PUSH2 0x06be
000006b9: PUSH1 0x01
000006bb: DUP1
000006bc: SSTORE
000006bd: JUMP
000006be: JUMPDEST
000006bf: POP
000006c0: POP
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH2 0x06fc
000006c6: DUP4
000006c7: CALLER
000006c8: DUP5
000006c9: PUSH1 0x00
000006cb: JUMPDEST
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: SWAP1
000006d0: DUP1
000006d1: DUP3
000006d2: MSTORE
000006d3: DUP1
000006d4: PUSH1 0x1f
000006d6: ADD
000006d7: PUSH1 0x1f
000006d9: NOT
000006da: AND
000006db: PUSH1 0x20
000006dd: ADD
000006de: DUP3
000006df: ADD
000006e0: PUSH1 0x40
000006e2: MSTORE
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06f5
000006e8: JUMPI
000006e9: PUSH1 0x20
000006eb: DUP3
000006ec: ADD
000006ed: DUP2
000006ee: DUP1
000006ef: CALLDATASIZE
000006f0: DUP4
000006f1: CALLDATACOPY
000006f2: ADD
000006f3: SWAP1
000006f4: POP
000006f5: JUMPDEST
000006f6: POP
000006f7: DUP6
000006f8: PUSH2 0x0bf3
000006fb: JUMP
000006fc: JUMPDEST
000006fd: POP
000006fe: POP
000006ff: POP
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH1 0xfb
00000704: SLOAD
00000705: PUSH1 0x01
00000707: PUSH1 0x01
00000709: PUSH1 0xa0
0000070b: SHL
0000070c: SUB
0000070d: AND
0000070e: CALLER
0000070f: PUSH1 0x01
00000711: PUSH1 0x01
00000713: PUSH1 0xa0
00000715: SHL
00000716: SUB
00000717: AND
00000718: EQ
00000719: PUSH2 0x0759
0000071c: JUMPI
0000071d: PUSH1 0x40
0000071f: MLOAD
00000720: PUSH3 0x461bcd
00000724: PUSH1 0xe5
00000726: SHL
00000727: DUP2
00000728: MSTORE
00000729: PUSH1 0x20
0000072b: PUSH1 0x04
0000072d: DUP3
0000072e: ADD
0000072f: MSTORE
00000730: PUSH1 0x12
00000732: PUSH1 0x24
00000734: DUP3
00000735: ADD
00000736: MSTORE
00000737: PUSH18 0x37b7363c9031b4b931b6329031b0b63632b9
0000074a: PUSH1 0x71
0000074c: SHL
0000074d: PUSH1 0x44
0000074f: DUP3
00000750: ADD
00000751: MSTORE
00000752: PUSH1 0x64
00000754: ADD
00000755: PUSH2 0x0616
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0xfc
0000075c: DUP1
0000075d: SLOAD
0000075e: PUSH1 0x00
00000760: SWAP1
00000761: SWAP2
00000762: SSTORE
00000763: PUSH1 0x40
00000765: MLOAD
00000766: PUSH4 0x0852cd8d
0000076b: PUSH1 0xe3
0000076d: SHL
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH1 0x04
00000772: DUP2
00000773: ADD
00000774: DUP3
00000775: SWAP1
00000776: MSTORE
00000777: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000798: PUSH1 0x01
0000079a: PUSH1 0x01
0000079c: PUSH1 0xa0
0000079e: SHL
0000079f: SUB
000007a0: AND
000007a1: SWAP1
000007a2: PUSH4 0x42966c68
000007a7: SWAP1
000007a8: PUSH1 0x24
000007aa: ADD
000007ab: PUSH1 0x00
000007ad: PUSH1 0x40
000007af: MLOAD
000007b0: DUP1
000007b1: DUP4
000007b2: SUB
000007b3: DUP2
000007b4: PUSH1 0x00
000007b6: DUP8
000007b7: DUP1
000007b8: EXTCODESIZE
000007b9: ISZERO
000007ba: DUP1
000007bb: ISZERO
000007bc: PUSH2 0x07c4
000007bf: JUMPI
000007c0: PUSH1 0x00
000007c2: DUP1
000007c3: REVERT
000007c4: JUMPDEST
000007c5: POP
000007c6: GAS
000007c7: CALL
000007c8: ISZERO
000007c9: DUP1
000007ca: ISZERO
000007cb: PUSH2 0x0492
000007ce: JUMPI
000007cf: RETURNDATASIZE
000007d0: PUSH1 0x00
000007d2: DUP1
000007d3: RETURNDATACOPY
000007d4: RETURNDATASIZE
000007d5: PUSH1 0x00
000007d7: REVERT
000007d8: JUMPDEST
000007d9: PUSH2 0x07e0
000007dc: PUSH2 0x102b
000007df: JUMP
000007e0: JUMPDEST
000007e1: PUSH1 0xfb
000007e3: DUP1
000007e4: SLOAD
000007e5: SWAP2
000007e6: ISZERO
000007e7: ISZERO
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: SHL
000007ed: MUL
000007ee: PUSH1 0xff
000007f0: PUSH1 0xa0
000007f2: SHL
000007f3: NOT
000007f4: SWAP1
000007f5: SWAP3
000007f6: AND
000007f7: SWAP2
000007f8: SWAP1
000007f9: SWAP2
000007fa: OR
000007fb: SWAP1
000007fc: SSTORE
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH2 0x0806
00000802: PUSH2 0x102b
00000805: JUMP
00000806: JUMPDEST
00000807: PUSH2 0x0810
0000080a: PUSH1 0x00
0000080c: PUSH2 0x1085
0000080f: JUMP
00000810: JUMPDEST
00000811: JUMP
00000812: JUMPDEST
00000813: CALLER
00000814: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
00000835: PUSH1 0x01
00000837: PUSH1 0x01
00000839: PUSH1 0xa0
0000083b: SHL
0000083c: SUB
0000083d: AND
0000083e: EQ
0000083f: PUSH2 0x085b
00000842: JUMPI
00000843: PUSH1 0x40
00000845: MLOAD
00000846: PUSH4 0x85bd908d
0000084b: PUSH1 0xe0
0000084d: SHL
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x04
00000852: ADD
00000853: PUSH1 0x40
00000855: MLOAD
00000856: DUP1
00000857: SWAP2
00000858: SUB
00000859: SWAP1
0000085a: REVERT
0000085b: JUMPDEST
0000085c: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
0000087d: PUSH1 0x01
0000087f: PUSH1 0x01
00000881: PUSH1 0xa0
00000883: SHL
00000884: SUB
00000885: AND
00000886: PUSH4 0x6e296e45
0000088b: PUSH1 0x40
0000088d: MLOAD
0000088e: DUP2
0000088f: PUSH4 0xffffffff
00000894: AND
00000895: PUSH1 0xe0
00000897: SHL
00000898: DUP2
00000899: MSTORE
0000089a: PUSH1 0x04
0000089c: ADD
0000089d: PUSH1 0x20
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: DUP1
000008a3: DUP4
000008a4: SUB
000008a5: DUP2
000008a6: DUP7
000008a7: GAS
000008a8: STATICCALL
000008a9: ISZERO
000008aa: DUP1
000008ab: ISZERO
000008ac: PUSH2 0x08b9
000008af: JUMPI
000008b0: RETURNDATASIZE
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: RETURNDATACOPY
000008b5: RETURNDATASIZE
000008b6: PUSH1 0x00
000008b8: REVERT
000008b9: JUMPDEST
000008ba: POP
000008bb: POP
000008bc: POP
000008bd: POP
000008be: PUSH1 0x40
000008c0: MLOAD
000008c1: RETURNDATASIZE
000008c2: PUSH1 0x1f
000008c4: NOT
000008c5: PUSH1 0x1f
000008c7: DUP3
000008c8: ADD
000008c9: AND
000008ca: DUP3
000008cb: ADD
000008cc: DUP1
000008cd: PUSH1 0x40
000008cf: MSTORE
000008d0: POP
000008d1: DUP2
000008d2: ADD
000008d3: SWAP1
000008d4: PUSH2 0x08dd
000008d7: SWAP2
000008d8: SWAP1
000008d9: PUSH2 0x1bfe
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH1 0x01
000008e0: PUSH1 0x01
000008e2: PUSH1 0xa0
000008e4: SHL
000008e5: SUB
000008e6: AND
000008e7: PUSH32 0x00000000000000000000000033b60d5dd260d453cac3782b0bdc01ce84672142
00000908: PUSH1 0x01
0000090a: PUSH1 0x01
0000090c: PUSH1 0xa0
0000090e: SHL
0000090f: SUB
00000910: AND
00000911: EQ
00000912: PUSH2 0x092e
00000915: JUMPI
00000916: PUSH1 0x40
00000918: MLOAD
00000919: PUSH4 0x07b140f3
0000091e: PUSH1 0xe5
00000920: SHL
00000921: DUP2
00000922: MSTORE
00000923: PUSH1 0x04
00000925: ADD
00000926: PUSH1 0x40
00000928: MLOAD
00000929: DUP1
0000092a: SWAP2
0000092b: SUB
0000092c: SWAP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: PUSH2 0x0936
00000932: PUSH2 0x0f0b
00000935: JUMP
00000936: JUMPDEST
00000937: PUSH2 0x0945
0000093a: DUP8
0000093b: DUP8
0000093c: DUP8
0000093d: DUP8
0000093e: DUP8
0000093f: DUP8
00000940: DUP8
00000941: PUSH2 0x10d7
00000944: JUMP
00000945: JUMPDEST
00000946: PUSH2 0x0959
00000949: PUSH1 0x01
0000094b: PUSH1 0x01
0000094d: PUSH1 0xa0
0000094f: SHL
00000950: SUB
00000951: DUP9
00000952: AND
00000953: DUP6
00000954: DUP6
00000955: PUSH2 0x0fc2
00000958: JUMP
00000959: JUMPDEST
0000095a: PUSH2 0x0999
0000095d: DUP5
0000095e: DUP4
0000095f: DUP4
00000960: DUP1
00000961: DUP1
00000962: PUSH1 0x1f
00000964: ADD
00000965: PUSH1 0x20
00000967: DUP1
00000968: SWAP2
00000969: DIV
0000096a: MUL
0000096b: PUSH1 0x20
0000096d: ADD
0000096e: PUSH1 0x40
00000970: MLOAD
00000971: SWAP1
00000972: DUP2
00000973: ADD
00000974: PUSH1 0x40
00000976: MSTORE
00000977: DUP1
00000978: SWAP4
00000979: SWAP3
0000097a: SWAP2
0000097b: SWAP1
0000097c: DUP2
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: ADD
00000982: DUP4
00000983: DUP4
00000984: DUP1
00000985: DUP3
00000986: DUP5
00000987: CALLDATACOPY
00000988: PUSH1 0x00
0000098a: SWAP3
0000098b: ADD
0000098c: SWAP2
0000098d: SWAP1
0000098e: SWAP2
0000098f: MSTORE
00000990: POP
00000991: PUSH2 0x126f
00000994: SWAP3
00000995: POP
00000996: POP
00000997: POP
00000998: JUMP
00000999: JUMPDEST
0000099a: DUP5
0000099b: PUSH1 0x01
0000099d: PUSH1 0x01
0000099f: PUSH1 0xa0
000009a1: SHL
000009a2: SUB
000009a3: AND
000009a4: DUP7
000009a5: PUSH1 0x01
000009a7: PUSH1 0x01
000009a9: PUSH1 0xa0
000009ab: SHL
000009ac: SUB
000009ad: AND
000009ae: DUP9
000009af: PUSH1 0x01
000009b1: PUSH1 0x01
000009b3: PUSH1 0xa0
000009b5: SHL
000009b6: SUB
000009b7: AND
000009b8: PUSH32 0xc6f985873b37805705f6bce756dce3d1ff4b603e298d506288cce499926846a7
000009d9: DUP8
000009da: DUP8
000009db: DUP8
000009dc: DUP8
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: PUSH2 0x09ec
000009e3: SWAP5
000009e4: SWAP4
000009e5: SWAP3
000009e6: SWAP2
000009e7: SWAP1
000009e8: PUSH2 0x1d05
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: DUP1
000009f1: SWAP2
000009f2: SUB
000009f3: SWAP1
000009f4: LOG4
000009f5: PUSH2 0x09fd
000009f8: PUSH1 0x01
000009fa: DUP1
000009fb: SSTORE
000009fc: JUMP
000009fd: JUMPDEST
000009fe: POP
000009ff: POP
00000a00: POP
00000a01: POP
00000a02: POP
00000a03: POP
00000a04: POP
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH1 0x00
00000a09: SLOAD
00000a0a: PUSH2 0x0100
00000a0d: SWAP1
00000a0e: DIV
00000a0f: PUSH1 0xff
00000a11: AND
00000a12: ISZERO
00000a13: DUP1
00000a14: DUP1
00000a15: ISZERO
00000a16: PUSH2 0x0a26
00000a19: JUMPI
00000a1a: POP
00000a1b: PUSH1 0x00
00000a1d: SLOAD
00000a1e: PUSH1 0x01
00000a20: PUSH1 0xff
00000a22: SWAP1
00000a23: SWAP2
00000a24: AND
00000a25: LT
00000a26: JUMPDEST
00000a27: DUP1
00000a28: PUSH2 0x0a40
00000a2b: JUMPI
00000a2c: POP
00000a2d: ADDRESS
00000a2e: EXTCODESIZE
00000a2f: ISZERO
00000a30: DUP1
00000a31: ISZERO
00000a32: PUSH2 0x0a40
00000a35: JUMPI
00000a36: POP
00000a37: PUSH1 0x00
00000a39: SLOAD
00000a3a: PUSH1 0xff
00000a3c: AND
00000a3d: PUSH1 0x01
00000a3f: EQ
00000a40: JUMPDEST
00000a41: PUSH2 0x0aa3
00000a44: JUMPI
00000a45: PUSH1 0x40
00000a47: MLOAD
00000a48: PUSH3 0x461bcd
00000a4c: PUSH1 0xe5
00000a4e: SHL
00000a4f: DUP2
00000a50: MSTORE
00000a51: PUSH1 0x20
00000a53: PUSH1 0x04
00000a55: DUP3
00000a56: ADD
00000a57: MSTORE
00000a58: PUSH1 0x2e
00000a5a: PUSH1 0x24
00000a5c: DUP3
00000a5d: ADD
00000a5e: MSTORE
00000a5f: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000a80: PUSH1 0x44
00000a82: DUP3
00000a83: ADD
00000a84: MSTORE
00000a85: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00000a94: PUSH1 0x92
00000a96: SHL
00000a97: PUSH1 0x64
00000a99: DUP3
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x84
00000a9e: ADD
00000a9f: PUSH2 0x0616
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x00
00000aa6: DUP1
00000aa7: SLOAD
00000aa8: PUSH1 0xff
00000aaa: NOT
00000aab: AND
00000aac: PUSH1 0x01
00000aae: OR
00000aaf: SWAP1
00000ab0: SSTORE
00000ab1: DUP1
00000ab2: ISZERO
00000ab3: PUSH2 0x0ac6
00000ab6: JUMPI
00000ab7: PUSH1 0x00
00000ab9: DUP1
00000aba: SLOAD
00000abb: PUSH2 0xff00
00000abe: NOT
00000abf: AND
00000ac0: PUSH2 0x0100
00000ac3: OR
00000ac4: SWAP1
00000ac5: SSTORE
00000ac6: JUMPDEST
00000ac7: PUSH2 0x0ad1
00000aca: DUP5
00000acb: DUP5
00000acc: DUP5
00000acd: PUSH2 0x12f1
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: DUP1
00000ad3: ISZERO
00000ad4: PUSH2 0x0b17
00000ad7: JUMPI
00000ad8: PUSH1 0x00
00000ada: DUP1
00000adb: SLOAD
00000adc: PUSH2 0xff00
00000adf: NOT
00000ae0: AND
00000ae1: SWAP1
00000ae2: SSTORE
00000ae3: PUSH1 0x40
00000ae5: MLOAD
00000ae6: PUSH1 0x01
00000ae8: DUP2
00000ae9: MSTORE
00000aea: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000b0b: SWAP1
00000b0c: PUSH1 0x20
00000b0e: ADD
00000b0f: PUSH1 0x40
00000b11: MLOAD
00000b12: DUP1
00000b13: SWAP2
00000b14: SUB
00000b15: SWAP1
00000b16: LOG1
00000b17: JUMPDEST
00000b18: POP
00000b19: POP
00000b1a: POP
00000b1b: POP
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: PUSH2 0x0b25
00000b21: PUSH2 0x102b
00000b24: JUMP
00000b25: JUMPDEST
00000b26: PUSH1 0xfb
00000b28: DUP1
00000b29: SLOAD
00000b2a: SWAP2
00000b2b: ISZERO
00000b2c: ISZERO
00000b2d: PUSH1 0x01
00000b2f: PUSH1 0xa8
00000b31: SHL
00000b32: MUL
00000b33: PUSH1 0xff
00000b35: PUSH1 0xa8
00000b37: SHL
00000b38: NOT
00000b39: SWAP1
00000b3a: SWAP3
00000b3b: AND
00000b3c: SWAP2
00000b3d: SWAP1
00000b3e: SWAP2
00000b3f: OR
00000b40: SWAP1
00000b41: SSTORE
00000b42: JUMP
00000b43: JUMPDEST
00000b44: PUSH2 0x0b4b
00000b47: PUSH2 0x102b
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0xfb
00000b4e: DUP1
00000b4f: SLOAD
00000b50: PUSH1 0x01
00000b52: PUSH1 0x01
00000b54: PUSH1 0xa0
00000b56: SHL
00000b57: SUB
00000b58: NOT
00000b59: AND
00000b5a: PUSH1 0x01
00000b5c: PUSH1 0x01
00000b5e: PUSH1 0xa0
00000b60: SHL
00000b61: SUB
00000b62: SWAP3
00000b63: SWAP1
00000b64: SWAP3
00000b65: AND
00000b66: SWAP2
00000b67: SWAP1
00000b68: SWAP2
00000b69: OR
00000b6a: SWAP1
00000b6b: SSTORE
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: PUSH2 0x0b17
00000b71: DUP5
00000b72: DUP5
00000b73: DUP5
00000b74: PUSH1 0x00
00000b76: PUSH2 0x06cb
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH2 0x0b82
00000b7e: PUSH2 0x102b
00000b81: JUMP
00000b82: JUMPDEST
00000b83: PUSH1 0x01
00000b85: PUSH1 0x01
00000b87: PUSH1 0xa0
00000b89: SHL
00000b8a: SUB
00000b8b: DUP2
00000b8c: AND
00000b8d: PUSH2 0x0be7
00000b90: JUMPI
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: PUSH3 0x461bcd
00000b98: PUSH1 0xe5
00000b9a: SHL
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x20
00000b9f: PUSH1 0x04
00000ba1: DUP3
00000ba2: ADD
00000ba3: MSTORE
00000ba4: PUSH1 0x26
00000ba6: PUSH1 0x24
00000ba8: DUP3
00000ba9: ADD
00000baa: MSTORE
00000bab: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000bcc: PUSH1 0x44
00000bce: DUP3
00000bcf: ADD
00000bd0: MSTORE
00000bd1: PUSH6 0x646472657373
00000bd8: PUSH1 0xd0
00000bda: SHL
00000bdb: PUSH1 0x64
00000bdd: DUP3
00000bde: ADD
00000bdf: MSTORE
00000be0: PUSH1 0x84
00000be2: ADD
00000be3: PUSH2 0x0616
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH2 0x0bf0
00000beb: DUP2
00000bec: PUSH2 0x1085
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: POP
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH2 0x0bfb
00000bf7: PUSH2 0x0f0b
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: PUSH1 0x00
00000bfe: DUP4
00000bff: GT
00000c00: PUSH2 0x0c41
00000c03: JUMPI
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: PUSH3 0x461bcd
00000c0b: PUSH1 0xe5
00000c0d: SHL
00000c0e: DUP2
00000c0f: MSTORE
00000c10: PUSH1 0x20
00000c12: PUSH1 0x04
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH1 0x13
00000c19: PUSH1 0x24
00000c1b: DUP3
00000c1c: ADD
00000c1d: MSTORE
00000c1e: PUSH19 0x19195c1bdcda5d081e995c9bc8185b5bdd5b9d
00000c32: PUSH1 0x6a
00000c34: SHL
00000c35: PUSH1 0x44
00000c37: DUP3
00000c38: ADD
00000c39: MSTORE
00000c3a: PUSH1 0x64
00000c3c: ADD
00000c3d: PUSH2 0x0616
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c63: PUSH1 0x01
00000c65: PUSH1 0x01
00000c67: PUSH1 0xa0
00000c69: SHL
00000c6a: SUB
00000c6b: AND
00000c6c: DUP6
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0x01
00000c71: PUSH1 0xa0
00000c73: SHL
00000c74: SUB
00000c75: AND
00000c76: EQ
00000c77: PUSH2 0x0cb9
00000c7a: JUMPI
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: PUSH3 0x461bcd
00000c82: PUSH1 0xe5
00000c84: SHL
00000c85: DUP2
00000c86: MSTORE
00000c87: PUSH1 0x20
00000c89: PUSH1 0x04
00000c8b: DUP3
00000c8c: ADD
00000c8d: MSTORE
00000c8e: PUSH1 0x14
00000c90: PUSH1 0x24
00000c92: DUP3
00000c93: ADD
00000c94: MSTORE
00000c95: PUSH20 0x1bdb9b1e481554d110c81a5cc8185b1b1bddd959
00000caa: PUSH1 0x62
00000cac: SHL
00000cad: PUSH1 0x44
00000caf: DUP3
00000cb0: ADD
00000cb1: MSTORE
00000cb2: PUSH1 0x64
00000cb4: ADD
00000cb5: PUSH2 0x0616
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: PUSH1 0xfb
00000cbc: SLOAD
00000cbd: PUSH1 0x01
00000cbf: PUSH1 0xa0
00000cc1: SHL
00000cc2: SWAP1
00000cc3: DIV
00000cc4: PUSH1 0xff
00000cc6: AND
00000cc7: ISZERO
00000cc8: PUSH2 0x0d04
00000ccb: JUMPI
00000ccc: PUSH1 0x40
00000cce: MLOAD
00000ccf: PUSH3 0x461bcd
00000cd3: PUSH1 0xe5
00000cd5: SHL
00000cd6: DUP2
00000cd7: MSTORE
00000cd8: PUSH1 0x20
00000cda: PUSH1 0x04
00000cdc: DUP3
00000cdd: ADD
00000cde: MSTORE
00000cdf: PUSH1 0x0e
00000ce1: PUSH1 0x24
00000ce3: DUP3
00000ce4: ADD
00000ce5: MSTORE
00000ce6: PUSH14 0x19195c1bdcda5d081c185d5cd959
00000cf5: PUSH1 0x92
00000cf7: SHL
00000cf8: PUSH1 0x44
00000cfa: DUP3
00000cfb: ADD
00000cfc: MSTORE
00000cfd: PUSH1 0x64
00000cff: ADD
00000d00: PUSH2 0x0616
00000d03: JUMP
00000d04: JUMPDEST
00000d05: PUSH1 0x00
00000d07: PUSH2 0x0d11
00000d0a: DUP7
00000d0b: DUP6
00000d0c: DUP6
00000d0d: PUSH2 0x1301
00000d10: JUMP
00000d11: JUMPDEST
00000d12: DUP1
00000d13: MLOAD
00000d14: SWAP2
00000d15: SWAP7
00000d16: POP
00000d17: SWAP5
00000d18: POP
00000d19: SWAP1
00000d1a: SWAP2
00000d1b: POP
00000d1c: ISZERO
00000d1d: PUSH2 0x0d5e
00000d20: JUMPI
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: PUSH3 0x461bcd
00000d28: PUSH1 0xe5
00000d2a: SHL
00000d2b: DUP2
00000d2c: MSTORE
00000d2d: PUSH1 0x20
00000d2f: PUSH1 0x04
00000d31: DUP3
00000d32: ADD
00000d33: MSTORE
00000d34: PUSH1 0x13
00000d36: PUSH1 0x24
00000d38: DUP3
00000d39: ADD
00000d3a: MSTORE
00000d3b: PUSH19 0x18d85b1b081a5cc81b9bdd08185b1b1bddd959
00000d4f: PUSH1 0x6a
00000d51: SHL
00000d52: PUSH1 0x44
00000d54: DUP3
00000d55: ADD
00000d56: MSTORE
00000d57: PUSH1 0x64
00000d59: ADD
00000d5a: PUSH2 0x0616
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: DUP4
00000d60: PUSH1 0xfc
00000d62: PUSH1 0x00
00000d64: DUP3
00000d65: DUP3
00000d66: SLOAD
00000d67: PUSH2 0x0d70
00000d6a: SWAP2
00000d6b: SWAP1
00000d6c: PUSH2 0x1d63
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: SWAP1
00000d72: SWAP2
00000d73: SSTORE
00000d74: POP
00000d75: POP
00000d76: PUSH1 0x40
00000d78: MLOAD
00000d79: PUSH1 0x00
00000d7b: SWAP1
00000d7c: PUSH2 0x0db3
00000d7f: SWAP1
00000d80: DUP9
00000d81: SWAP1
00000d82: PUSH32 0x00000000000000000000000006efdbff2a14a7c8e15944d1f4a48f9f95f663a4
00000da3: SWAP1
00000da4: DUP6
00000da5: SWAP1
00000da6: DUP11
00000da7: SWAP1
00000da8: DUP11
00000da9: SWAP1
00000daa: DUP11
00000dab: SWAP1
00000dac: PUSH1 0x24
00000dae: ADD
00000daf: PUSH2 0x1dcc
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH1 0x40
00000db6: DUP1
00000db7: MLOAD
00000db8: PUSH1 0x1f
00000dba: NOT
00000dbb: DUP2
00000dbc: DUP5
00000dbd: SUB
00000dbe: ADD
00000dbf: DUP2
00000dc0: MSTORE
00000dc1: SWAP2
00000dc2: DUP2
00000dc3: MSTORE
00000dc4: PUSH1 0x20
00000dc6: DUP3
00000dc7: ADD
00000dc8: DUP1
00000dc9: MLOAD
00000dca: PUSH1 0x01
00000dcc: PUSH1 0x01
00000dce: PUSH1 0xe0
00000dd0: SHL
00000dd1: SUB
00000dd2: AND
00000dd3: PUSH4 0x8431f5c1
00000dd8: PUSH1 0xe0
00000dda: SHL
00000ddb: OR
00000ddc: SWAP1
00000ddd: MSTORE
00000dde: MLOAD
00000ddf: PUSH4 0x5f7b1577
00000de4: PUSH1 0xe0
00000de6: SHL
00000de7: DUP2
00000de8: MSTORE
00000de9: SWAP1
00000dea: SWAP2
00000deb: POP
00000dec: PUSH1 0x01
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: SHL
00000df3: SUB
00000df4: PUSH32 0x0000000000000000000000006774bcbd5cecef1336b5300fb5186a12ddd8b367
00000e15: AND
00000e16: SWAP1
00000e17: PUSH4 0x5f7b1577
00000e1c: SWAP1
00000e1d: CALLVALUE
00000e1e: SWAP1
00000e1f: PUSH2 0x0e55
00000e22: SWAP1
00000e23: PUSH32 0x00000000000000000000000033b60d5dd260d453cac3782b0bdc01ce84672142
00000e44: SWAP1
00000e45: PUSH1 0x00
00000e47: SWAP1
00000e48: DUP8
00000e49: SWAP1
00000e4a: DUP11
00000e4b: SWAP1
00000e4c: DUP11
00000e4d: SWAP1
00000e4e: PUSH1 0x04
00000e50: ADD
00000e51: PUSH2 0x1e1b
00000e54: JUMP
00000e55: JUMPDEST
00000e56: PUSH1 0x00
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: DUP1
00000e5c: DUP4
00000e5d: SUB
00000e5e: DUP2
00000e5f: DUP6
00000e60: DUP9
00000e61: DUP1
00000e62: EXTCODESIZE
00000e63: ISZERO
00000e64: DUP1
00000e65: ISZERO
00000e66: PUSH2 0x0e6e
00000e69: JUMPI
00000e6a: PUSH1 0x00
00000e6c: DUP1
00000e6d: REVERT
00000e6e: JUMPDEST
00000e6f: POP
00000e70: GAS
00000e71: CALL
00000e72: ISZERO
00000e73: DUP1
00000e74: ISZERO
00000e75: PUSH2 0x0e82
00000e78: JUMPI
00000e79: RETURNDATASIZE
00000e7a: PUSH1 0x00
00000e7c: DUP1
00000e7d: RETURNDATACOPY
00000e7e: RETURNDATASIZE
00000e7f: PUSH1 0x00
00000e81: REVERT
00000e82: JUMPDEST
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: POP
00000e88: DUP2
00000e89: PUSH1 0x01
00000e8b: PUSH1 0x01
00000e8d: PUSH1 0xa0
00000e8f: SHL
00000e90: SUB
00000e91: AND
00000e92: PUSH32 0x00000000000000000000000006efdbff2a14a7c8e15944d1f4a48f9f95f663a4
00000eb3: PUSH1 0x01
00000eb5: PUSH1 0x01
00000eb7: PUSH1 0xa0
00000eb9: SHL
00000eba: SUB
00000ebb: AND
00000ebc: DUP9
00000ebd: PUSH1 0x01
00000ebf: PUSH1 0x01
00000ec1: PUSH1 0xa0
00000ec3: SHL
00000ec4: SUB
00000ec5: AND
00000ec6: PUSH32 0x31cd3b976e4d654022bf95c68a2ce53f1d5d94afabe0454d2832208eeb40af25
00000ee7: DUP10
00000ee8: DUP10
00000ee9: DUP10
00000eea: PUSH1 0x40
00000eec: MLOAD
00000eed: PUSH2 0x0ef8
00000ef0: SWAP4
00000ef1: SWAP3
00000ef2: SWAP2
00000ef3: SWAP1
00000ef4: PUSH2 0x1e5d
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: DUP1
00000efd: SWAP2
00000efe: SUB
00000eff: SWAP1
00000f00: LOG4
00000f01: POP
00000f02: POP
00000f03: PUSH2 0x0492
00000f06: PUSH1 0x01
00000f08: DUP1
00000f09: SSTORE
00000f0a: JUMP
00000f0b: JUMPDEST
00000f0c: PUSH1 0x02
00000f0e: PUSH1 0x01
00000f10: SLOAD
00000f11: SUB
00000f12: PUSH2 0x0f5d
00000f15: JUMPI
00000f16: PUSH1 0x40
00000f18: MLOAD
00000f19: PUSH3 0x461bcd
00000f1d: PUSH1 0xe5
00000f1f: SHL
00000f20: DUP2
00000f21: MSTORE
00000f22: PUSH1 0x20
00000f24: PUSH1 0x04
00000f26: DUP3
00000f27: ADD
00000f28: MSTORE
00000f29: PUSH1 0x1f
00000f2b: PUSH1 0x24
00000f2d: DUP3
00000f2e: ADD
00000f2f: MSTORE
00000f30: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000f51: PUSH1 0x44
00000f53: DUP3
00000f54: ADD
00000f55: MSTORE
00000f56: PUSH1 0x64
00000f58: ADD
00000f59: PUSH2 0x0616
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: PUSH1 0x02
00000f60: PUSH1 0x01
00000f62: SSTORE
00000f63: JUMP
00000f64: JUMPDEST
00000f65: CALLVALUE
00000f66: ISZERO
00000f67: PUSH2 0x0fa6
00000f6a: JUMPI
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: PUSH3 0x461bcd
00000f72: PUSH1 0xe5
00000f74: SHL
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: PUSH1 0x04
00000f7b: DUP3
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH1 0x11
00000f80: PUSH1 0x24
00000f82: DUP3
00000f83: ADD
00000f84: MSTORE
00000f85: PUSH17 0x6e6f6e7a65726f206d73672e76616c7565
00000f97: PUSH1 0x78
00000f99: SHL
00000f9a: PUSH1 0x44
00000f9c: DUP3
00000f9d: ADD
00000f9e: MSTORE
00000f9f: PUSH1 0x64
00000fa1: ADD
00000fa2: PUSH2 0x0616
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: DUP1
00000fa8: PUSH1 0xfc
00000faa: PUSH1 0x00
00000fac: DUP3
00000fad: DUP3
00000fae: SLOAD
00000faf: PUSH2 0x0fb8
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: PUSH2 0x1e8d
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: SWAP1
00000fba: SWAP2
00000fbb: SSTORE
00000fbc: POP
00000fbd: POP
00000fbe: POP
00000fbf: POP
00000fc0: POP
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH1 0x40
00000fc5: MLOAD
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: SHL
00000fcd: SUB
00000fce: DUP4
00000fcf: AND
00000fd0: PUSH1 0x24
00000fd2: DUP3
00000fd3: ADD
00000fd4: MSTORE
00000fd5: PUSH1 0x44
00000fd7: DUP2
00000fd8: ADD
00000fd9: DUP3
00000fda: SWAP1
00000fdb: MSTORE
00000fdc: PUSH2 0x06fc
00000fdf: SWAP1
00000fe0: DUP5
00000fe1: SWAP1
00000fe2: PUSH4 0xa9059cbb
00000fe7: PUSH1 0xe0
00000fe9: SHL
00000fea: SWAP1
00000feb: PUSH1 0x64
00000fed: ADD
00000fee: JUMPDEST
00000fef: PUSH1 0x40
00000ff1: DUP1
00000ff2: MLOAD
00000ff3: PUSH1 0x1f
00000ff5: NOT
00000ff6: DUP2
00000ff7: DUP5
00000ff8: SUB
00000ff9: ADD
00000ffa: DUP2
00000ffb: MSTORE
00000ffc: SWAP2
00000ffd: SWAP1
00000ffe: MSTORE
00000fff: PUSH1 0x20
00001001: DUP2
00001002: ADD
00001003: DUP1
00001004: MLOAD
00001005: PUSH1 0x01
00001007: PUSH1 0x01
00001009: PUSH1 0xe0
0000100b: SHL
0000100c: SUB
0000100d: AND
0000100e: PUSH1 0x01
00001010: PUSH1 0x01
00001012: PUSH1 0xe0
00001014: SHL
00001015: SUB
00001016: NOT
00001017: SWAP1
00001018: SWAP4
00001019: AND
0000101a: SWAP3
0000101b: SWAP1
0000101c: SWAP3
0000101d: OR
0000101e: SWAP1
0000101f: SWAP2
00001020: MSTORE
00001021: PUSH2 0x1526
00001024: JUMP
00001025: JUMPDEST
00001026: PUSH1 0x01
00001028: DUP1
00001029: SSTORE
0000102a: JUMP
0000102b: JUMPDEST
0000102c: PUSH1 0x65
0000102e: SLOAD
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0xa0
00001035: SHL
00001036: SUB
00001037: AND
00001038: CALLER
00001039: EQ
0000103a: PUSH2 0x0810
0000103d: JUMPI
0000103e: PUSH1 0x40
00001040: MLOAD
00001041: PUSH3 0x461bcd
00001045: PUSH1 0xe5
00001047: SHL
00001048: DUP2
00001049: MSTORE
0000104a: PUSH1 0x20
0000104c: PUSH1 0x04
0000104e: DUP3
0000104f: ADD
00001050: DUP2
00001051: SWAP1
00001052: MSTORE
00001053: PUSH1 0x24
00001055: DUP3
00001056: ADD
00001057: MSTORE
00001058: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001079: PUSH1 0x44
0000107b: DUP3
0000107c: ADD
0000107d: MSTORE
0000107e: PUSH1 0x64
00001080: ADD
00001081: PUSH2 0x0616
00001084: JUMP
00001085: JUMPDEST
00001086: PUSH1 0x65
00001088: DUP1
00001089: SLOAD
0000108a: PUSH1 0x01
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: SHL
00001091: SUB
00001092: DUP4
00001093: DUP2
00001094: AND
00001095: PUSH1 0x01
00001097: PUSH1 0x01
00001099: PUSH1 0xa0
0000109b: SHL
0000109c: SUB
0000109d: NOT
0000109e: DUP4
0000109f: AND
000010a0: DUP2
000010a1: OR
000010a2: SWAP1
000010a3: SWAP4
000010a4: SSTORE
000010a5: PUSH1 0x40
000010a7: MLOAD
000010a8: SWAP2
000010a9: AND
000010aa: SWAP2
000010ab: SWAP1
000010ac: DUP3
000010ad: SWAP1
000010ae: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000010cf: SWAP1
000010d0: PUSH1 0x00
000010d2: SWAP1
000010d3: LOG3
000010d4: POP
000010d5: POP
000010d6: JUMP
000010d7: JUMPDEST
000010d8: CALLVALUE
000010d9: ISZERO
000010da: PUSH2 0x1119
000010dd: JUMPI
000010de: PUSH1 0x40
000010e0: MLOAD
000010e1: PUSH3 0x461bcd
000010e5: PUSH1 0xe5
000010e7: SHL
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x20
000010ec: PUSH1 0x04
000010ee: DUP3
000010ef: ADD
000010f0: MSTORE
000010f1: PUSH1 0x11
000010f3: PUSH1 0x24
000010f5: DUP3
000010f6: ADD
000010f7: MSTORE
000010f8: PUSH17 0x6e6f6e7a65726f206d73672e76616c7565
0000110a: PUSH1 0x78
0000110c: SHL
0000110d: PUSH1 0x44
0000110f: DUP3
00001110: ADD
00001111: MSTORE
00001112: PUSH1 0x64
00001114: ADD
00001115: PUSH2 0x0616
00001118: JUMP
00001119: JUMPDEST
0000111a: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000113b: PUSH1 0x01
0000113d: PUSH1 0x01
0000113f: PUSH1 0xa0
00001141: SHL
00001142: SUB
00001143: AND
00001144: DUP8
00001145: PUSH1 0x01
00001147: PUSH1 0x01
00001149: PUSH1 0xa0
0000114b: SHL
0000114c: SUB
0000114d: AND
0000114e: EQ
0000114f: PUSH2 0x118e
00001152: JUMPI
00001153: PUSH1 0x40
00001155: MLOAD
00001156: PUSH3 0x461bcd
0000115a: PUSH1 0xe5
0000115c: SHL
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: PUSH1 0x04
00001163: DUP3
00001164: ADD
00001165: MSTORE
00001166: PUSH1 0x11
00001168: PUSH1 0x24
0000116a: DUP3
0000116b: ADD
0000116c: MSTORE
0000116d: PUSH17 0x6c3120746f6b656e206e6f742055534443
0000117f: PUSH1 0x78
00001181: SHL
00001182: PUSH1 0x44
00001184: DUP3
00001185: ADD
00001186: MSTORE
00001187: PUSH1 0x64
00001189: ADD
0000118a: PUSH2 0x0616
0000118d: JUMP
0000118e: JUMPDEST
0000118f: PUSH32 0x00000000000000000000000006efdbff2a14a7c8e15944d1f4a48f9f95f663a4
000011b0: PUSH1 0x01
000011b2: PUSH1 0x01
000011b4: PUSH1 0xa0
000011b6: SHL
000011b7: SUB
000011b8: AND
000011b9: DUP7
000011ba: PUSH1 0x01
000011bc: PUSH1 0x01
000011be: PUSH1 0xa0
000011c0: SHL
000011c1: SUB
000011c2: AND
000011c3: EQ
000011c4: PUSH2 0x1203
000011c7: JUMPI
000011c8: PUSH1 0x40
000011ca: MLOAD
000011cb: PUSH3 0x461bcd
000011cf: PUSH1 0xe5
000011d1: SHL
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: PUSH1 0x04
000011d8: DUP3
000011d9: ADD
000011da: MSTORE
000011db: PUSH1 0x11
000011dd: PUSH1 0x24
000011df: DUP3
000011e0: ADD
000011e1: MSTORE
000011e2: PUSH17 0x6c3220746f6b656e206e6f742055534443
000011f4: PUSH1 0x78
000011f6: SHL
000011f7: PUSH1 0x44
000011f9: DUP3
000011fa: ADD
000011fb: MSTORE
000011fc: PUSH1 0x64
000011fe: ADD
000011ff: PUSH2 0x0616
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0xfb
00001206: SLOAD
00001207: PUSH1 0x01
00001209: PUSH1 0xa8
0000120b: SHL
0000120c: SWAP1
0000120d: DIV
0000120e: PUSH1 0xff
00001210: AND
00001211: ISZERO
00001212: PUSH2 0x124f
00001215: JUMPI
00001216: PUSH1 0x40
00001218: MLOAD
00001219: PUSH3 0x461bcd
0000121d: PUSH1 0xe5
0000121f: SHL
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x20
00001224: PUSH1 0x04
00001226: DUP3
00001227: ADD
00001228: MSTORE
00001229: PUSH1 0x0f
0000122b: PUSH1 0x24
0000122d: DUP3
0000122e: ADD
0000122f: MSTORE
00001230: PUSH15 0x1dda5d1a191c985dc81c185d5cd959
00001240: PUSH1 0x8a
00001242: SHL
00001243: PUSH1 0x44
00001245: DUP3
00001246: ADD
00001247: MSTORE
00001248: PUSH1 0x64
0000124a: ADD
0000124b: PUSH2 0x0616
0000124e: JUMP
0000124f: JUMPDEST
00001250: DUP3
00001251: PUSH1 0xfc
00001253: PUSH1 0x00
00001255: DUP3
00001256: DUP3
00001257: SLOAD
00001258: PUSH2 0x1261
0000125b: SWAP2
0000125c: SWAP1
0000125d: PUSH2 0x1e8d
00001260: JUMP
00001261: JUMPDEST
00001262: SWAP1
00001263: SWAP2
00001264: SSTORE
00001265: POP
00001266: POP
00001267: POP
00001268: POP
00001269: POP
0000126a: POP
0000126b: POP
0000126c: POP
0000126d: POP
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH1 0x00
00001272: DUP2
00001273: MLOAD
00001274: GT
00001275: DUP1
00001276: ISZERO
00001277: PUSH2 0x128a
0000127a: JUMPI
0000127b: POP
0000127c: PUSH1 0x00
0000127e: DUP3
0000127f: PUSH1 0x01
00001281: PUSH1 0x01
00001283: PUSH1 0xa0
00001285: SHL
00001286: SUB
00001287: AND
00001288: EXTCODESIZE
00001289: GT
0000128a: JUMPDEST
0000128b: ISZERO
0000128c: PUSH2 0x06be
0000128f: JUMPI
00001290: PUSH1 0x40
00001292: MLOAD
00001293: PUSH4 0x109b9531
00001298: PUSH1 0xe0
0000129a: SHL
0000129b: DUP2
0000129c: MSTORE
0000129d: PUSH1 0x01
0000129f: PUSH1 0x01
000012a1: PUSH1 0xa0
000012a3: SHL
000012a4: SUB
000012a5: DUP4
000012a6: AND
000012a7: SWAP1
000012a8: PUSH4 0x109b9531
000012ad: SWAP1
000012ae: PUSH2 0x12bb
000012b1: SWAP1
000012b2: DUP5
000012b3: SWAP1
000012b4: PUSH1 0x04
000012b6: ADD
000012b7: PUSH2 0x1ea0
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH1 0x00
000012be: PUSH1 0x40
000012c0: MLOAD
000012c1: DUP1
000012c2: DUP4
000012c3: SUB
000012c4: DUP2
000012c5: PUSH1 0x00
000012c7: DUP8
000012c8: DUP1
000012c9: EXTCODESIZE
000012ca: ISZERO
000012cb: DUP1
000012cc: ISZERO
000012cd: PUSH2 0x12d5
000012d0: JUMPI
000012d1: PUSH1 0x00
000012d3: DUP1
000012d4: REVERT
000012d5: JUMPDEST
000012d6: POP
000012d7: GAS
000012d8: CALL
000012d9: ISZERO
000012da: DUP1
000012db: ISZERO
000012dc: PUSH2 0x12e9
000012df: JUMPI
000012e0: RETURNDATASIZE
000012e1: PUSH1 0x00
000012e3: DUP1
000012e4: RETURNDATACOPY
000012e5: RETURNDATASIZE
000012e6: PUSH1 0x00
000012e8: REVERT
000012e9: JUMPDEST
000012ea: POP
000012eb: POP
000012ec: POP
000012ed: POP
000012ee: POP
000012ef: POP
000012f0: JUMP
000012f1: JUMPDEST
000012f2: PUSH2 0x12f9
000012f5: PUSH2 0x15fb
000012f8: JUMP
000012f9: JUMPDEST
000012fa: PUSH2 0x06fc
000012fd: PUSH2 0x162a
00001300: JUMP
00001301: JUMPDEST
00001302: PUSH1 0x00
00001304: DUP1
00001305: PUSH1 0x60
00001307: CALLER
00001308: DUP1
00001309: PUSH32 0x000000000000000000000000f8b1378579659d8f7ee5f3c929c2f3e332e41fd6
0000132a: PUSH1 0x01
0000132c: PUSH1 0x01
0000132e: PUSH1 0xa0
00001330: SHL
00001331: SUB
00001332: AND
00001333: DUP2
00001334: SWAP1
00001335: SUB
00001336: PUSH2 0x13d5
00001339: JUMPI
0000133a: DUP6
0000133b: DUP1
0000133c: PUSH1 0x20
0000133e: ADD
0000133f: SWAP1
00001340: MLOAD
00001341: DUP2
00001342: ADD
00001343: SWAP1
00001344: PUSH2 0x134d
00001347: SWAP2
00001348: SWAP1
00001349: PUSH2 0x1eb3
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x40
00001350: MLOAD
00001351: PUSH4 0x314a8eef
00001356: PUSH1 0xe2
00001358: SHL
00001359: DUP2
0000135a: MSTORE
0000135b: PUSH1 0x01
0000135d: PUSH1 0x01
0000135f: PUSH1 0xa0
00001361: SHL
00001362: SUB
00001363: DUP1
00001364: DUP5
00001365: AND
00001366: PUSH1 0x04
00001368: DUP4
00001369: ADD
0000136a: MSTORE
0000136b: DUP12
0000136c: DUP2
0000136d: AND
0000136e: PUSH1 0x24
00001370: DUP4
00001371: ADD
00001372: MSTORE
00001373: PUSH1 0x44
00001375: DUP3
00001376: ADD
00001377: DUP12
00001378: SWAP1
00001379: MSTORE
0000137a: SWAP2
0000137b: SWAP9
0000137c: POP
0000137d: SWAP2
0000137e: SWAP3
0000137f: POP
00001380: DUP4
00001381: AND
00001382: SWAP1
00001383: PUSH4 0xc52a3bbc
00001388: SWAP1
00001389: PUSH1 0x64
0000138b: ADD
0000138c: PUSH1 0x20
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: DUP1
00001392: DUP4
00001393: SUB
00001394: DUP2
00001395: PUSH1 0x00
00001397: DUP8
00001398: GAS
00001399: CALL
0000139a: ISZERO
0000139b: DUP1
0000139c: ISZERO
0000139d: PUSH2 0x13aa
000013a0: JUMPI
000013a1: RETURNDATASIZE
000013a2: PUSH1 0x00
000013a4: DUP1
000013a5: RETURNDATACOPY
000013a6: RETURNDATASIZE
000013a7: PUSH1 0x00
000013a9: REVERT
000013aa: JUMPDEST
000013ab: POP
000013ac: POP
000013ad: POP
000013ae: POP
000013af: PUSH1 0x40
000013b1: MLOAD
000013b2: RETURNDATASIZE
000013b3: PUSH1 0x1f
000013b5: NOT
000013b6: PUSH1 0x1f
000013b8: DUP3
000013b9: ADD
000013ba: AND
000013bb: DUP3
000013bc: ADD
000013bd: DUP1
000013be: PUSH1 0x40
000013c0: MSTORE
000013c1: POP
000013c2: DUP2
000013c3: ADD
000013c4: SWAP1
000013c5: PUSH2 0x13ce
000013c8: SWAP2
000013c9: SWAP1
000013ca: PUSH2 0x1f40
000013cd: JUMP
000013ce: JUMPDEST
000013cf: SWAP7
000013d0: POP
000013d1: PUSH2 0x14d3
000013d4: JUMP
000013d5: JUMPDEST
000013d6: PUSH1 0x40
000013d8: MLOAD
000013d9: PUSH4 0x70a08231
000013de: PUSH1 0xe0
000013e0: SHL
000013e1: DUP2
000013e2: MSTORE
000013e3: ADDRESS
000013e4: PUSH1 0x04
000013e6: DUP3
000013e7: ADD
000013e8: MSTORE
000013e9: PUSH1 0x00
000013eb: SWAP1
000013ec: PUSH1 0x01
000013ee: PUSH1 0x01
000013f0: PUSH1 0xa0
000013f2: SHL
000013f3: SUB
000013f4: DUP11
000013f5: AND
000013f6: SWAP1
000013f7: PUSH4 0x70a08231
000013fc: SWAP1
000013fd: PUSH1 0x24
000013ff: ADD
00001400: PUSH1 0x20
00001402: PUSH1 0x40
00001404: MLOAD
00001405: DUP1
00001406: DUP4
00001407: SUB
00001408: DUP2
00001409: DUP7
0000140a: GAS
0000140b: STATICCALL
0000140c: ISZERO
0000140d: DUP1
0000140e: ISZERO
0000140f: PUSH2 0x141c
00001412: JUMPI
00001413: RETURNDATASIZE
00001414: PUSH1 0x00
00001416: DUP1
00001417: RETURNDATACOPY
00001418: RETURNDATASIZE
00001419: PUSH1 0x00
0000141b: REVERT
0000141c: JUMPDEST
0000141d: POP
0000141e: POP
0000141f: POP
00001420: POP
00001421: PUSH1 0x40
00001423: MLOAD
00001424: RETURNDATASIZE
00001425: PUSH1 0x1f
00001427: NOT
00001428: PUSH1 0x1f
0000142a: DUP3
0000142b: ADD
0000142c: AND
0000142d: DUP3
0000142e: ADD
0000142f: DUP1
00001430: PUSH1 0x40
00001432: MSTORE
00001433: POP
00001434: DUP2
00001435: ADD
00001436: SWAP1
00001437: PUSH2 0x1440
0000143a: SWAP2
0000143b: SWAP1
0000143c: PUSH2 0x1f40
0000143f: JUMP
00001440: JUMPDEST
00001441: SWAP1
00001442: POP
00001443: PUSH2 0x1457
00001446: PUSH1 0x01
00001448: PUSH1 0x01
0000144a: PUSH1 0xa0
0000144c: SHL
0000144d: SUB
0000144e: DUP11
0000144f: AND
00001450: DUP4
00001451: ADDRESS
00001452: DUP12
00001453: PUSH2 0x1659
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH1 0x40
0000145a: MLOAD
0000145b: PUSH4 0x70a08231
00001460: PUSH1 0xe0
00001462: SHL
00001463: DUP2
00001464: MSTORE
00001465: ADDRESS
00001466: PUSH1 0x04
00001468: DUP3
00001469: ADD
0000146a: MSTORE
0000146b: PUSH1 0x00
0000146d: SWAP1
0000146e: PUSH1 0x01
00001470: PUSH1 0x01
00001472: PUSH1 0xa0
00001474: SHL
00001475: SUB
00001476: DUP12
00001477: AND
00001478: SWAP1
00001479: PUSH4 0x70a08231
0000147e: SWAP1
0000147f: PUSH1 0x24
00001481: ADD
00001482: PUSH1 0x20
00001484: PUSH1 0x40
00001486: MLOAD
00001487: DUP1
00001488: DUP4
00001489: SUB
0000148a: DUP2
0000148b: DUP7
0000148c: GAS
0000148d: STATICCALL
0000148e: ISZERO
0000148f: DUP1
00001490: ISZERO
00001491: PUSH2 0x149e
00001494: JUMPI
00001495: RETURNDATASIZE
00001496: PUSH1 0x00
00001498: DUP1
00001499: RETURNDATACOPY
0000149a: RETURNDATASIZE
0000149b: PUSH1 0x00
0000149d: REVERT
0000149e: JUMPDEST
0000149f: POP
000014a0: POP
000014a1: POP
000014a2: POP
000014a3: PUSH1 0x40
000014a5: MLOAD
000014a6: RETURNDATASIZE
000014a7: PUSH1 0x1f
000014a9: NOT
000014aa: PUSH1 0x1f
000014ac: DUP3
000014ad: ADD
000014ae: AND
000014af: DUP3
000014b0: ADD
000014b1: DUP1
000014b2: PUSH1 0x40
000014b4: MSTORE
000014b5: POP
000014b6: DUP2
000014b7: ADD
000014b8: SWAP1
000014b9: PUSH2 0x14c2
000014bc: SWAP2
000014bd: SWAP1
000014be: PUSH2 0x1f40
000014c1: JUMP
000014c2: JUMPDEST
000014c3: SWAP1
000014c4: POP
000014c5: PUSH2 0x14ce
000014c8: DUP3
000014c9: DUP3
000014ca: PUSH2 0x1e8d
000014cd: JUMP
000014ce: JUMPDEST
000014cf: SWAP9
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: JUMPDEST
000014d4: PUSH1 0x00
000014d6: DUP8
000014d7: GT
000014d8: PUSH2 0x1519
000014db: JUMPI
000014dc: PUSH1 0x40
000014de: MLOAD
000014df: PUSH3 0x461bcd
000014e3: PUSH1 0xe5
000014e5: SHL
000014e6: DUP2
000014e7: MSTORE
000014e8: PUSH1 0x20
000014ea: PUSH1 0x04
000014ec: DUP3
000014ed: ADD
000014ee: MSTORE
000014ef: PUSH1 0x13
000014f1: PUSH1 0x24
000014f3: DUP3
000014f4: ADD
000014f5: MSTORE
000014f6: PUSH19 0x19195c1bdcda5d081e995c9bc8185b5bdd5b9d
0000150a: PUSH1 0x6a
0000150c: SHL
0000150d: PUSH1 0x44
0000150f: DUP3
00001510: ADD
00001511: MSTORE
00001512: PUSH1 0x64
00001514: ADD
00001515: PUSH2 0x0616
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP8
0000151b: SWAP6
0000151c: SWAP7
0000151d: POP
0000151e: SWAP4
0000151f: SWAP5
00001520: SWAP4
00001521: POP
00001522: POP
00001523: POP
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x00
00001529: PUSH2 0x157b
0000152c: DUP3
0000152d: PUSH1 0x40
0000152f: MLOAD
00001530: DUP1
00001531: PUSH1 0x40
00001533: ADD
00001534: PUSH1 0x40
00001536: MSTORE
00001537: DUP1
00001538: PUSH1 0x20
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001560: DUP2
00001561: MSTORE
00001562: POP
00001563: DUP6
00001564: PUSH1 0x01
00001566: PUSH1 0x01
00001568: PUSH1 0xa0
0000156a: SHL
0000156b: SUB
0000156c: AND
0000156d: PUSH2 0x1691
00001570: SWAP1
00001571: SWAP3
00001572: SWAP2
00001573: SWAP1
00001574: PUSH4 0xffffffff
00001579: AND
0000157a: JUMP
0000157b: JUMPDEST
0000157c: SWAP1
0000157d: POP
0000157e: DUP1
0000157f: MLOAD
00001580: PUSH1 0x00
00001582: EQ
00001583: DUP1
00001584: PUSH2 0x159c
00001587: JUMPI
00001588: POP
00001589: DUP1
0000158a: DUP1
0000158b: PUSH1 0x20
0000158d: ADD
0000158e: SWAP1
0000158f: MLOAD
00001590: DUP2
00001591: ADD
00001592: SWAP1
00001593: PUSH2 0x159c
00001596: SWAP2
00001597: SWAP1
00001598: PUSH2 0x1f59
0000159b: JUMP
0000159c: JUMPDEST
0000159d: PUSH2 0x06fc
000015a0: JUMPI
000015a1: PUSH1 0x40
000015a3: MLOAD
000015a4: PUSH3 0x461bcd
000015a8: PUSH1 0xe5
000015aa: SHL
000015ab: DUP2
000015ac: MSTORE
000015ad: PUSH1 0x20
000015af: PUSH1 0x04
000015b1: DUP3
000015b2: ADD
000015b3: MSTORE
000015b4: PUSH1 0x2a
000015b6: PUSH1 0x24
000015b8: DUP3
000015b9: ADD
000015ba: MSTORE
000015bb: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000015dc: PUSH1 0x44
000015de: DUP3
000015df: ADD
000015e0: MSTORE
000015e1: PUSH10 0x1bdd081cdd58d8d95959
000015ec: PUSH1 0xb2
000015ee: SHL
000015ef: PUSH1 0x64
000015f1: DUP3
000015f2: ADD
000015f3: MSTORE
000015f4: PUSH1 0x84
000015f6: ADD
000015f7: PUSH2 0x0616
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH1 0x00
000015fe: SLOAD
000015ff: PUSH2 0x0100
00001602: SWAP1
00001603: DIV
00001604: PUSH1 0xff
00001606: AND
00001607: PUSH2 0x1622
0000160a: JUMPI
0000160b: PUSH1 0x40
0000160d: MLOAD
0000160e: PUSH3 0x461bcd
00001612: PUSH1 0xe5
00001614: SHL
00001615: DUP2
00001616: MSTORE
00001617: PUSH1 0x04
00001619: ADD
0000161a: PUSH2 0x0616
0000161d: SWAP1
0000161e: PUSH2 0x1f76
00001621: JUMP
00001622: JUMPDEST
00001623: PUSH2 0x0810
00001626: PUSH2 0x16a8
00001629: JUMP
0000162a: JUMPDEST
0000162b: PUSH1 0x00
0000162d: SLOAD
0000162e: PUSH2 0x0100
00001631: SWAP1
00001632: DIV
00001633: PUSH1 0xff
00001635: AND
00001636: PUSH2 0x1651
00001639: JUMPI
0000163a: PUSH1 0x40
0000163c: MLOAD
0000163d: PUSH3 0x461bcd
00001641: PUSH1 0xe5
00001643: SHL
00001644: DUP2
00001645: MSTORE
00001646: PUSH1 0x04
00001648: ADD
00001649: PUSH2 0x0616
0000164c: SWAP1
0000164d: PUSH2 0x1f76
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH2 0x0810
00001655: PUSH2 0x16cf
00001658: JUMP
00001659: JUMPDEST
0000165a: PUSH1 0x40
0000165c: MLOAD
0000165d: PUSH1 0x01
0000165f: PUSH1 0x01
00001661: PUSH1 0xa0
00001663: SHL
00001664: SUB
00001665: DUP1
00001666: DUP6
00001667: AND
00001668: PUSH1 0x24
0000166a: DUP4
0000166b: ADD
0000166c: MSTORE
0000166d: DUP4
0000166e: AND
0000166f: PUSH1 0x44
00001671: DUP3
00001672: ADD
00001673: MSTORE
00001674: PUSH1 0x64
00001676: DUP2
00001677: ADD
00001678: DUP3
00001679: SWAP1
0000167a: MSTORE
0000167b: PUSH2 0x0b17
0000167e: SWAP1
0000167f: DUP6
00001680: SWAP1
00001681: PUSH4 0x23b872dd
00001686: PUSH1 0xe0
00001688: SHL
00001689: SWAP1
0000168a: PUSH1 0x84
0000168c: ADD
0000168d: PUSH2 0x0fee
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH1 0x60
00001694: PUSH2 0x16a0
00001697: DUP5
00001698: DUP5
00001699: PUSH1 0x00
0000169b: DUP6
0000169c: PUSH2 0x16ff
0000169f: JUMP
000016a0: JUMPDEST
000016a1: SWAP5
000016a2: SWAP4
000016a3: POP
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: JUMP
000016a8: JUMPDEST
000016a9: PUSH1 0x00
000016ab: SLOAD
000016ac: PUSH2 0x0100
000016af: SWAP1
000016b0: DIV
000016b1: PUSH1 0xff
000016b3: AND
000016b4: PUSH2 0x1025
000016b7: JUMPI
000016b8: PUSH1 0x40
000016ba: MLOAD
000016bb: PUSH3 0x461bcd
000016bf: PUSH1 0xe5
000016c1: SHL
000016c2: DUP2
000016c3: MSTORE
000016c4: PUSH1 0x04
000016c6: ADD
000016c7: PUSH2 0x0616
000016ca: SWAP1
000016cb: PUSH2 0x1f76
000016ce: JUMP
000016cf: JUMPDEST
000016d0: PUSH1 0x00
000016d2: SLOAD
000016d3: PUSH2 0x0100
000016d6: SWAP1
000016d7: DIV
000016d8: PUSH1 0xff
000016da: AND
000016db: PUSH2 0x16f6
000016de: JUMPI
000016df: PUSH1 0x40
000016e1: MLOAD
000016e2: PUSH3 0x461bcd
000016e6: PUSH1 0xe5
000016e8: SHL
000016e9: DUP2
000016ea: MSTORE
000016eb: PUSH1 0x04
000016ed: ADD
000016ee: PUSH2 0x0616
000016f1: SWAP1
000016f2: PUSH2 0x1f76
000016f5: JUMP
000016f6: JUMPDEST
000016f7: PUSH2 0x0810
000016fa: CALLER
000016fb: PUSH2 0x1085
000016fe: JUMP
000016ff: JUMPDEST
00001700: PUSH1 0x60
00001702: DUP3
00001703: SELFBALANCE
00001704: LT
00001705: ISZERO
00001706: PUSH2 0x1760
00001709: JUMPI
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: PUSH3 0x461bcd
00001711: PUSH1 0xe5
00001713: SHL
00001714: DUP2
00001715: MSTORE
00001716: PUSH1 0x20
00001718: PUSH1 0x04
0000171a: DUP3
0000171b: ADD
0000171c: MSTORE
0000171d: PUSH1 0x26
0000171f: PUSH1 0x24
00001721: DUP3
00001722: ADD
00001723: MSTORE
00001724: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001745: PUSH1 0x44
00001747: DUP3
00001748: ADD
00001749: MSTORE
0000174a: PUSH6 0x1c8818d85b1b
00001751: PUSH1 0xd2
00001753: SHL
00001754: PUSH1 0x64
00001756: DUP3
00001757: ADD
00001758: MSTORE
00001759: PUSH1 0x84
0000175b: ADD
0000175c: PUSH2 0x0616
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH1 0x00
00001763: DUP1
00001764: DUP7
00001765: PUSH1 0x01
00001767: PUSH1 0x01
00001769: PUSH1 0xa0
0000176b: SHL
0000176c: SUB
0000176d: AND
0000176e: DUP6
0000176f: DUP8
00001770: PUSH1 0x40
00001772: MLOAD
00001773: PUSH2 0x177c
00001776: SWAP2
00001777: SWAP1
00001778: PUSH2 0x1fc1
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x00
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: DUP1
00001783: DUP4
00001784: SUB
00001785: DUP2
00001786: DUP6
00001787: DUP8
00001788: GAS
00001789: CALL
0000178a: SWAP3
0000178b: POP
0000178c: POP
0000178d: POP
0000178e: RETURNDATASIZE
0000178f: DUP1
00001790: PUSH1 0x00
00001792: DUP2
00001793: EQ
00001794: PUSH2 0x17b9
00001797: JUMPI
00001798: PUSH1 0x40
0000179a: MLOAD
0000179b: SWAP2
0000179c: POP
0000179d: PUSH1 0x1f
0000179f: NOT
000017a0: PUSH1 0x3f
000017a2: RETURNDATASIZE
000017a3: ADD
000017a4: AND
000017a5: DUP3
000017a6: ADD
000017a7: PUSH1 0x40
000017a9: MSTORE
000017aa: RETURNDATASIZE
000017ab: DUP3
000017ac: MSTORE
000017ad: RETURNDATASIZE
000017ae: PUSH1 0x00
000017b0: PUSH1 0x20
000017b2: DUP5
000017b3: ADD
000017b4: RETURNDATACOPY
000017b5: PUSH2 0x17be
000017b8: JUMP
000017b9: JUMPDEST
000017ba: PUSH1 0x60
000017bc: SWAP2
000017bd: POP
000017be: JUMPDEST
000017bf: POP
000017c0: SWAP2
000017c1: POP
000017c2: SWAP2
000017c3: POP
000017c4: PUSH2 0x17cf
000017c7: DUP8
000017c8: DUP4
000017c9: DUP4
000017ca: DUP8
000017cb: PUSH2 0x17da
000017ce: JUMP
000017cf: JUMPDEST
000017d0: SWAP8
000017d1: SWAP7
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: POP
000017d6: POP
000017d7: POP
000017d8: POP
000017d9: JUMP
000017da: JUMPDEST
000017db: PUSH1 0x60
000017dd: DUP4
000017de: ISZERO
000017df: PUSH2 0x1849
000017e2: JUMPI
000017e3: DUP3
000017e4: MLOAD
000017e5: PUSH1 0x00
000017e7: SUB
000017e8: PUSH2 0x1842
000017eb: JUMPI
000017ec: PUSH1 0x01
000017ee: PUSH1 0x01
000017f0: PUSH1 0xa0
000017f2: SHL
000017f3: SUB
000017f4: DUP6
000017f5: AND
000017f6: EXTCODESIZE
000017f7: PUSH2 0x1842
000017fa: JUMPI
000017fb: PUSH1 0x40
000017fd: MLOAD
000017fe: PUSH3 0x461bcd
00001802: PUSH1 0xe5
00001804: SHL
00001805: DUP2
00001806: MSTORE
00001807: PUSH1 0x20
00001809: PUSH1 0x04
0000180b: DUP3
0000180c: ADD
0000180d: MSTORE
0000180e: PUSH1 0x1d
00001810: PUSH1 0x24
00001812: DUP3
00001813: ADD
00001814: MSTORE
00001815: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001836: PUSH1 0x44
00001838: DUP3
00001839: ADD
0000183a: MSTORE
0000183b: PUSH1 0x64
0000183d: ADD
0000183e: PUSH2 0x0616
00001841: JUMP
00001842: JUMPDEST
00001843: POP
00001844: DUP2
00001845: PUSH2 0x16a0
00001848: JUMP
00001849: JUMPDEST
0000184a: PUSH2 0x16a0
0000184d: DUP4
0000184e: DUP4
0000184f: DUP2
00001850: MLOAD
00001851: ISZERO
00001852: PUSH2 0x185e
00001855: JUMPI
00001856: DUP2
00001857: MLOAD
00001858: DUP1
00001859: DUP4
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: REVERT
0000185e: JUMPDEST
0000185f: DUP1
00001860: PUSH1 0x40
00001862: MLOAD
00001863: PUSH3 0x461bcd
00001867: PUSH1 0xe5
00001869: SHL
0000186a: DUP2
0000186b: MSTORE
0000186c: PUSH1 0x04
0000186e: ADD
0000186f: PUSH2 0x0616
00001872: SWAP2
00001873: SWAP1
00001874: PUSH2 0x1ea0
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x01
0000187b: PUSH1 0x01
0000187d: PUSH1 0xa0
0000187f: SHL
00001880: SUB
00001881: DUP2
00001882: AND
00001883: DUP2
00001884: EQ
00001885: PUSH2 0x0bf0
00001888: JUMPI
00001889: PUSH1 0x00
0000188b: DUP1
0000188c: REVERT
0000188d: JUMPDEST
0000188e: PUSH4 0x4e487b71
00001893: PUSH1 0xe0
00001895: SHL
00001896: PUSH1 0x00
00001898: MSTORE
00001899: PUSH1 0x41
0000189b: PUSH1 0x04
0000189d: MSTORE
0000189e: PUSH1 0x24
000018a0: PUSH1 0x00
000018a2: REVERT
000018a3: JUMPDEST
000018a4: PUSH1 0x40
000018a6: MLOAD
000018a7: PUSH1 0x1f
000018a9: DUP3
000018aa: ADD
000018ab: PUSH1 0x1f
000018ad: NOT
000018ae: AND
000018af: DUP2
000018b0: ADD
000018b1: PUSH8 0xffffffffffffffff
000018ba: DUP2
000018bb: GT
000018bc: DUP3
000018bd: DUP3
000018be: LT
000018bf: OR
000018c0: ISZERO
000018c1: PUSH2 0x18cc
000018c4: JUMPI
000018c5: PUSH2 0x18cc
000018c8: PUSH2 0x188d
000018cb: JUMP
000018cc: JUMPDEST
000018cd: PUSH1 0x40
000018cf: MSTORE
000018d0: SWAP2
000018d1: SWAP1
000018d2: POP
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH1 0x00
000018d7: PUSH8 0xffffffffffffffff
000018e0: DUP3
000018e1: GT
000018e2: ISZERO
000018e3: PUSH2 0x18ee
000018e6: JUMPI
000018e7: PUSH2 0x18ee
000018ea: PUSH2 0x188d
000018ed: JUMP
000018ee: JUMPDEST
000018ef: POP
000018f0: PUSH1 0x1f
000018f2: ADD
000018f3: PUSH1 0x1f
000018f5: NOT
000018f6: AND
000018f7: PUSH1 0x20
000018f9: ADD
000018fa: SWAP1
000018fb: JUMP
000018fc: JUMPDEST
000018fd: PUSH1 0x00
000018ff: DUP3
00001900: PUSH1 0x1f
00001902: DUP4
00001903: ADD
00001904: SLT
00001905: PUSH2 0x190d
00001908: JUMPI
00001909: PUSH1 0x00
0000190b: DUP1
0000190c: REVERT
0000190d: JUMPDEST
0000190e: DUP2
0000190f: CALLDATALOAD
00001910: PUSH2 0x1920
00001913: PUSH2 0x191b
00001916: DUP3
00001917: PUSH2 0x18d4
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH2 0x18a3
0000191f: JUMP
00001920: JUMPDEST
00001921: DUP2
00001922: DUP2
00001923: MSTORE
00001924: DUP5
00001925: PUSH1 0x20
00001927: DUP4
00001928: DUP7
00001929: ADD
0000192a: ADD
0000192b: GT
0000192c: ISZERO
0000192d: PUSH2 0x1935
00001930: JUMPI
00001931: PUSH1 0x00
00001933: DUP1
00001934: REVERT
00001935: JUMPDEST
00001936: DUP2
00001937: PUSH1 0x20
00001939: DUP6
0000193a: ADD
0000193b: PUSH1 0x20
0000193d: DUP4
0000193e: ADD
0000193f: CALLDATACOPY
00001940: PUSH1 0x00
00001942: SWAP2
00001943: DUP2
00001944: ADD
00001945: PUSH1 0x20
00001947: ADD
00001948: SWAP2
00001949: SWAP1
0000194a: SWAP2
0000194b: MSTORE
0000194c: SWAP4
0000194d: SWAP3
0000194e: POP
0000194f: POP
00001950: POP
00001951: JUMP
00001952: JUMPDEST
00001953: PUSH1 0x00
00001955: DUP1
00001956: PUSH1 0x00
00001958: DUP1
00001959: PUSH1 0x00
0000195b: PUSH1 0xa0
0000195d: DUP7
0000195e: DUP9
0000195f: SUB
00001960: SLT
00001961: ISZERO
00001962: PUSH2 0x196a
00001965: JUMPI
00001966: PUSH1 0x00
00001968: DUP1
00001969: REVERT
0000196a: JUMPDEST
0000196b: DUP6
0000196c: CALLDATALOAD
0000196d: PUSH2 0x1975
00001970: DUP2
00001971: PUSH2 0x1878
00001974: JUMP
00001975: JUMPDEST
00001976: SWAP5
00001977: POP
00001978: PUSH1 0x20
0000197a: DUP7
0000197b: ADD
0000197c: CALLDATALOAD
0000197d: PUSH2 0x1985
00001980: DUP2
00001981: PUSH2 0x1878
00001984: JUMP
00001985: JUMPDEST
00001986: SWAP4
00001987: POP
00001988: PUSH1 0x40
0000198a: DUP7
0000198b: ADD
0000198c: CALLDATALOAD
0000198d: SWAP3
0000198e: POP
0000198f: PUSH1 0x60
00001991: DUP7
00001992: ADD
00001993: CALLDATALOAD
00001994: PUSH8 0xffffffffffffffff
0000199d: DUP2
0000199e: GT
0000199f: ISZERO
000019a0: PUSH2 0x19a8
000019a3: JUMPI
000019a4: PUSH1 0x00
000019a6: DUP1
000019a7: REVERT
000019a8: JUMPDEST
000019a9: PUSH2 0x19b4
000019ac: DUP9
000019ad: DUP3
000019ae: DUP10
000019af: ADD
000019b0: PUSH2 0x18fc
000019b3: JUMP
000019b4: JUMPDEST
000019b5: SWAP6
000019b6: SWAP9
000019b7: SWAP5
000019b8: SWAP8
000019b9: POP
000019ba: SWAP3
000019bb: SWAP6
000019bc: PUSH1 0x80
000019be: ADD
000019bf: CALLDATALOAD
000019c0: SWAP4
000019c1: SWAP3
000019c2: POP
000019c3: POP
000019c4: POP
000019c5: JUMP
000019c6: JUMPDEST
000019c7: PUSH1 0x00
000019c9: DUP1
000019ca: DUP4
000019cb: PUSH1 0x1f
000019cd: DUP5
000019ce: ADD
000019cf: SLT
000019d0: PUSH2 0x19d8
000019d3: JUMPI
000019d4: PUSH1 0x00
000019d6: DUP1
000019d7: REVERT
000019d8: JUMPDEST
000019d9: POP
000019da: DUP2
000019db: CALLDATALOAD
000019dc: PUSH8 0xffffffffffffffff
000019e5: DUP2
000019e6: GT
000019e7: ISZERO
000019e8: PUSH2 0x19f0
000019eb: JUMPI
000019ec: PUSH1 0x00
000019ee: DUP1
000019ef: REVERT
000019f0: JUMPDEST
000019f1: PUSH1 0x20
000019f3: DUP4
000019f4: ADD
000019f5: SWAP2
000019f6: POP
000019f7: DUP4
000019f8: PUSH1 0x20
000019fa: DUP3
000019fb: DUP6
000019fc: ADD
000019fd: ADD
000019fe: GT
000019ff: ISZERO
00001a00: PUSH2 0x1a08
00001a03: JUMPI
00001a04: PUSH1 0x00
00001a06: DUP1
00001a07: REVERT
00001a08: JUMPDEST
00001a09: SWAP3
00001a0a: POP
00001a0b: SWAP3
00001a0c: SWAP1
00001a0d: POP
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: PUSH1 0x00
00001a12: DUP1
00001a13: PUSH1 0x20
00001a15: DUP4
00001a16: DUP6
00001a17: SUB
00001a18: SLT
00001a19: ISZERO
00001a1a: PUSH2 0x1a22
00001a1d: JUMPI
00001a1e: PUSH1 0x00
00001a20: DUP1
00001a21: REVERT
00001a22: JUMPDEST
00001a23: DUP3
00001a24: CALLDATALOAD
00001a25: PUSH8 0xffffffffffffffff
00001a2e: DUP2
00001a2f: GT
00001a30: ISZERO
00001a31: PUSH2 0x1a39
00001a34: JUMPI
00001a35: PUSH1 0x00
00001a37: DUP1
00001a38: REVERT
00001a39: JUMPDEST
00001a3a: PUSH2 0x1a45
00001a3d: DUP6
00001a3e: DUP3
00001a3f: DUP7
00001a40: ADD
00001a41: PUSH2 0x19c6
00001a44: JUMP
00001a45: JUMPDEST
00001a46: SWAP1
00001a47: SWAP7
00001a48: SWAP1
00001a49: SWAP6
00001a4a: POP
00001a4b: SWAP4
00001a4c: POP
00001a4d: POP
00001a4e: POP
00001a4f: POP
00001a50: JUMP
00001a51: JUMPDEST
00001a52: PUSH1 0x00
00001a54: DUP1
00001a55: PUSH1 0x00
00001a57: PUSH1 0x60
00001a59: DUP5
00001a5a: DUP7
00001a5b: SUB
00001a5c: SLT
00001a5d: ISZERO
00001a5e: PUSH2 0x1a66
00001a61: JUMPI
00001a62: PUSH1 0x00
00001a64: DUP1
00001a65: REVERT
00001a66: JUMPDEST
00001a67: DUP4
00001a68: CALLDATALOAD
00001a69: PUSH2 0x1a71
00001a6c: DUP2
00001a6d: PUSH2 0x1878
00001a70: JUMP
00001a71: JUMPDEST
00001a72: SWAP6
00001a73: PUSH1 0x20
00001a75: DUP6
00001a76: ADD
00001a77: CALLDATALOAD
00001a78: SWAP6
00001a79: POP
00001a7a: PUSH1 0x40
00001a7c: SWAP1
00001a7d: SWAP5
00001a7e: ADD
00001a7f: CALLDATALOAD
00001a80: SWAP4
00001a81: SWAP3
00001a82: POP
00001a83: POP
00001a84: POP
00001a85: JUMP
00001a86: JUMPDEST
00001a87: DUP1
00001a88: ISZERO
00001a89: ISZERO
00001a8a: DUP2
00001a8b: EQ
00001a8c: PUSH2 0x0bf0
00001a8f: JUMPI
00001a90: PUSH1 0x00
00001a92: DUP1
00001a93: REVERT
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: PUSH1 0x20
00001a99: DUP3
00001a9a: DUP5
00001a9b: SUB
00001a9c: SLT
00001a9d: ISZERO
00001a9e: PUSH2 0x1aa6
00001aa1: JUMPI
00001aa2: PUSH1 0x00
00001aa4: DUP1
00001aa5: REVERT
00001aa6: JUMPDEST
00001aa7: DUP2
00001aa8: CALLDATALOAD
00001aa9: PUSH2 0x1ab1
00001aac: DUP2
00001aad: PUSH2 0x1a86
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: SWAP4
00001ab3: SWAP3
00001ab4: POP
00001ab5: POP
00001ab6: POP
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH1 0x00
00001abb: DUP1
00001abc: PUSH1 0x00
00001abe: DUP1
00001abf: PUSH1 0x00
00001ac1: DUP1
00001ac2: PUSH1 0x00
00001ac4: PUSH1 0xc0
00001ac6: DUP9
00001ac7: DUP11
00001ac8: SUB
00001ac9: SLT
00001aca: ISZERO
00001acb: PUSH2 0x1ad3
00001ace: JUMPI
00001acf: PUSH1 0x00
00001ad1: DUP1
00001ad2: REVERT
00001ad3: JUMPDEST
00001ad4: DUP8
00001ad5: CALLDATALOAD
00001ad6: PUSH2 0x1ade
00001ad9: DUP2
00001ada: PUSH2 0x1878
00001add: JUMP
00001ade: JUMPDEST
00001adf: SWAP7
00001ae0: POP
00001ae1: PUSH1 0x20
00001ae3: DUP9
00001ae4: ADD
00001ae5: CALLDATALOAD
00001ae6: PUSH2 0x1aee
00001ae9: DUP2
00001aea: PUSH2 0x1878
00001aed: JUMP
00001aee: JUMPDEST
00001aef: SWAP6
00001af0: POP
00001af1: PUSH1 0x40
00001af3: DUP9
00001af4: ADD
00001af5: CALLDATALOAD
00001af6: PUSH2 0x1afe
00001af9: DUP2
00001afa: PUSH2 0x1878
00001afd: JUMP
00001afe: JUMPDEST
00001aff: SWAP5
00001b00: POP
00001b01: PUSH1 0x60
00001b03: DUP9
00001b04: ADD
00001b05: CALLDATALOAD
00001b06: PUSH2 0x1b0e
00001b09: DUP2
00001b0a: PUSH2 0x1878
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: SWAP4
00001b10: POP
00001b11: PUSH1 0x80
00001b13: DUP9
00001b14: ADD
00001b15: CALLDATALOAD
00001b16: SWAP3
00001b17: POP
00001b18: PUSH1 0xa0
00001b1a: DUP9
00001b1b: ADD
00001b1c: CALLDATALOAD
00001b1d: PUSH8 0xffffffffffffffff
00001b26: DUP2
00001b27: GT
00001b28: ISZERO
00001b29: PUSH2 0x1b31
00001b2c: JUMPI
00001b2d: PUSH1 0x00
00001b2f: DUP1
00001b30: REVERT
00001b31: JUMPDEST
00001b32: PUSH2 0x1b3d
00001b35: DUP11
00001b36: DUP3
00001b37: DUP12
00001b38: ADD
00001b39: PUSH2 0x19c6
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: SWAP9
00001b3f: SWAP12
00001b40: SWAP8
00001b41: SWAP11
00001b42: POP
00001b43: SWAP6
00001b44: SWAP9
00001b45: POP
00001b46: SWAP4
00001b47: SWAP7
00001b48: SWAP3
00001b49: SWAP6
00001b4a: SWAP3
00001b4b: SWAP4
00001b4c: POP
00001b4d: POP
00001b4e: POP
00001b4f: JUMP
00001b50: JUMPDEST
00001b51: PUSH1 0x00
00001b53: DUP1
00001b54: PUSH1 0x00
00001b56: PUSH1 0x60
00001b58: DUP5
00001b59: DUP7
00001b5a: SUB
00001b5b: SLT
00001b5c: ISZERO
00001b5d: PUSH2 0x1b65
00001b60: JUMPI
00001b61: PUSH1 0x00
00001b63: DUP1
00001b64: REVERT
00001b65: JUMPDEST
00001b66: DUP4
00001b67: CALLDATALOAD
00001b68: PUSH2 0x1b70
00001b6b: DUP2
00001b6c: PUSH2 0x1878
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: SWAP3
00001b72: POP
00001b73: PUSH1 0x20
00001b75: DUP5
00001b76: ADD
00001b77: CALLDATALOAD
00001b78: PUSH2 0x1b80
00001b7b: DUP2
00001b7c: PUSH2 0x1878
00001b7f: JUMP
00001b80: JUMPDEST
00001b81: SWAP2
00001b82: POP
00001b83: PUSH1 0x40
00001b85: DUP5
00001b86: ADD
00001b87: CALLDATALOAD
00001b88: PUSH2 0x1b90
00001b8b: DUP2
00001b8c: PUSH2 0x1878
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: DUP1
00001b92: SWAP2
00001b93: POP
00001b94: POP
00001b95: SWAP3
00001b96: POP
00001b97: SWAP3
00001b98: POP
00001b99: SWAP3
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x00
00001b9e: PUSH1 0x20
00001ba0: DUP3
00001ba1: DUP5
00001ba2: SUB
00001ba3: SLT
00001ba4: ISZERO
00001ba5: PUSH2 0x1bad
00001ba8: JUMPI
00001ba9: PUSH1 0x00
00001bab: DUP1
00001bac: REVERT
00001bad: JUMPDEST
00001bae: DUP2
00001baf: CALLDATALOAD
00001bb0: PUSH2 0x1ab1
00001bb3: DUP2
00001bb4: PUSH2 0x1878
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: PUSH1 0x00
00001bbb: DUP1
00001bbc: PUSH1 0x00
00001bbe: DUP1
00001bbf: PUSH1 0x80
00001bc1: DUP6
00001bc2: DUP8
00001bc3: SUB
00001bc4: SLT
00001bc5: ISZERO
00001bc6: PUSH2 0x1bce
00001bc9: JUMPI
00001bca: PUSH1 0x00
00001bcc: DUP1
00001bcd: REVERT
00001bce: JUMPDEST
00001bcf: DUP5
00001bd0: CALLDATALOAD
00001bd1: PUSH2 0x1bd9
00001bd4: DUP2
00001bd5: PUSH2 0x1878
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: SWAP4
00001bdb: POP
00001bdc: PUSH1 0x20
00001bde: DUP6
00001bdf: ADD
00001be0: CALLDATALOAD
00001be1: PUSH2 0x1be9
00001be4: DUP2
00001be5: PUSH2 0x1878
00001be8: JUMP
00001be9: JUMPDEST
00001bea: SWAP4
00001beb: SWAP7
00001bec: SWAP4
00001bed: SWAP6
00001bee: POP
00001bef: POP
00001bf0: POP
00001bf1: POP
00001bf2: PUSH1 0x40
00001bf4: DUP3
00001bf5: ADD
00001bf6: CALLDATALOAD
00001bf7: SWAP2
00001bf8: PUSH1 0x60
00001bfa: ADD
00001bfb: CALLDATALOAD
00001bfc: SWAP1
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: PUSH1 0x00
00001c01: PUSH1 0x20
00001c03: DUP3
00001c04: DUP5
00001c05: SUB
00001c06: SLT
00001c07: ISZERO
00001c08: PUSH2 0x1c10
00001c0b: JUMPI
00001c0c: PUSH1 0x00
00001c0e: DUP1
00001c0f: REVERT
00001c10: JUMPDEST
00001c11: DUP2
00001c12: MLOAD
00001c13: PUSH2 0x1ab1
00001c16: DUP2
00001c17: PUSH2 0x1878
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH1 0x00
00001c1e: DUP1
00001c1f: DUP6
00001c20: DUP6
00001c21: GT
00001c22: ISZERO
00001c23: PUSH2 0x1c2b
00001c26: JUMPI
00001c27: PUSH1 0x00
00001c29: DUP1
00001c2a: REVERT
00001c2b: JUMPDEST
00001c2c: DUP4
00001c2d: DUP7
00001c2e: GT
00001c2f: ISZERO
00001c30: PUSH2 0x1c38
00001c33: JUMPI
00001c34: PUSH1 0x00
00001c36: DUP1
00001c37: REVERT
00001c38: JUMPDEST
00001c39: POP
00001c3a: POP
00001c3b: DUP3
00001c3c: ADD
00001c3d: SWAP4
00001c3e: SWAP2
00001c3f: SWAP1
00001c40: SWAP3
00001c41: SUB
00001c42: SWAP2
00001c43: POP
00001c44: JUMP
00001c45: JUMPDEST
00001c46: PUSH1 0x01
00001c48: PUSH1 0x01
00001c4a: PUSH1 0xe0
00001c4c: SHL
00001c4d: SUB
00001c4e: NOT
00001c4f: DUP2
00001c50: CALLDATALOAD
00001c51: DUP2
00001c52: DUP2
00001c53: AND
00001c54: SWAP2
00001c55: PUSH1 0x04
00001c57: DUP6
00001c58: LT
00001c59: ISZERO
00001c5a: PUSH2 0x1c6d
00001c5d: JUMPI
00001c5e: DUP1
00001c5f: DUP2
00001c60: DUP7
00001c61: PUSH1 0x04
00001c63: SUB
00001c64: PUSH1 0x03
00001c66: SHL
00001c67: SHL
00001c68: DUP4
00001c69: AND
00001c6a: AND
00001c6b: SWAP3
00001c6c: POP
00001c6d: JUMPDEST
00001c6e: POP
00001c6f: POP
00001c70: SWAP3
00001c71: SWAP2
00001c72: POP
00001c73: POP
00001c74: JUMP
00001c75: JUMPDEST
00001c76: PUSH1 0x00
00001c78: DUP1
00001c79: PUSH1 0x00
00001c7b: DUP1
00001c7c: PUSH1 0x00
00001c7e: DUP1
00001c7f: PUSH1 0xc0
00001c81: DUP8
00001c82: DUP10
00001c83: SUB
00001c84: SLT
00001c85: ISZERO
00001c86: PUSH2 0x1c8e
00001c89: JUMPI
00001c8a: PUSH1 0x00
00001c8c: DUP1
00001c8d: REVERT
00001c8e: JUMPDEST
00001c8f: DUP7
00001c90: CALLDATALOAD
00001c91: PUSH2 0x1c99
00001c94: DUP2
00001c95: PUSH2 0x1878
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: SWAP6
00001c9b: POP
00001c9c: PUSH1 0x20
00001c9e: DUP8
00001c9f: ADD
00001ca0: CALLDATALOAD
00001ca1: PUSH2 0x1ca9
00001ca4: DUP2
00001ca5: PUSH2 0x1878
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: SWAP5
00001cab: POP
00001cac: PUSH1 0x40
00001cae: DUP8
00001caf: ADD
00001cb0: CALLDATALOAD
00001cb1: PUSH2 0x1cb9
00001cb4: DUP2
00001cb5: PUSH2 0x1878
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: SWAP4
00001cbb: POP
00001cbc: PUSH1 0x60
00001cbe: DUP8
00001cbf: ADD
00001cc0: CALLDATALOAD
00001cc1: PUSH2 0x1cc9
00001cc4: DUP2
00001cc5: PUSH2 0x1878
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: SWAP3
00001ccb: POP
00001ccc: PUSH1 0x80
00001cce: DUP8
00001ccf: ADD
00001cd0: CALLDATALOAD
00001cd1: SWAP2
00001cd2: POP
00001cd3: PUSH1 0xa0
00001cd5: DUP8
00001cd6: ADD
00001cd7: CALLDATALOAD
00001cd8: PUSH8 0xffffffffffffffff
00001ce1: DUP2
00001ce2: GT
00001ce3: ISZERO
00001ce4: PUSH2 0x1cec
00001ce7: JUMPI
00001ce8: PUSH1 0x00
00001cea: DUP1
00001ceb: REVERT
00001cec: JUMPDEST
00001ced: PUSH2 0x1cf8
00001cf0: DUP10
00001cf1: DUP3
00001cf2: DUP11
00001cf3: ADD
00001cf4: PUSH2 0x18fc
00001cf7: JUMP
00001cf8: JUMPDEST
00001cf9: SWAP2
00001cfa: POP
00001cfb: POP
00001cfc: SWAP3
00001cfd: SWAP6
00001cfe: POP
00001cff: SWAP3
00001d00: SWAP6
00001d01: POP
00001d02: SWAP3
00001d03: SWAP6
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH1 0x01
00001d08: PUSH1 0x01
00001d0a: PUSH1 0xa0
00001d0c: SHL
00001d0d: SUB
00001d0e: DUP6
00001d0f: AND
00001d10: DUP2
00001d11: MSTORE
00001d12: PUSH1 0x20
00001d14: DUP2
00001d15: ADD
00001d16: DUP5
00001d17: SWAP1
00001d18: MSTORE
00001d19: PUSH1 0x60
00001d1b: PUSH1 0x40
00001d1d: DUP3
00001d1e: ADD
00001d1f: DUP2
00001d20: SWAP1
00001d21: MSTORE
00001d22: DUP2
00001d23: ADD
00001d24: DUP3
00001d25: SWAP1
00001d26: MSTORE
00001d27: DUP2
00001d28: DUP4
00001d29: PUSH1 0x80
00001d2b: DUP4
00001d2c: ADD
00001d2d: CALLDATACOPY
00001d2e: PUSH1 0x00
00001d30: DUP2
00001d31: DUP4
00001d32: ADD
00001d33: PUSH1 0x80
00001d35: SWAP1
00001d36: DUP2
00001d37: ADD
00001d38: SWAP2
00001d39: SWAP1
00001d3a: SWAP2
00001d3b: MSTORE
00001d3c: PUSH1 0x1f
00001d3e: SWAP1
00001d3f: SWAP3
00001d40: ADD
00001d41: PUSH1 0x1f
00001d43: NOT
00001d44: AND
00001d45: ADD
00001d46: ADD
00001d47: SWAP4
00001d48: SWAP3
00001d49: POP
00001d4a: POP
00001d4b: POP
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: PUSH4 0x4e487b71
00001d53: PUSH1 0xe0
00001d55: SHL
00001d56: PUSH1 0x00
00001d58: MSTORE
00001d59: PUSH1 0x11
00001d5b: PUSH1 0x04
00001d5d: MSTORE
00001d5e: PUSH1 0x24
00001d60: PUSH1 0x00
00001d62: REVERT
00001d63: JUMPDEST
00001d64: DUP1
00001d65: DUP3
00001d66: ADD
00001d67: DUP1
00001d68: DUP3
00001d69: GT
00001d6a: ISZERO
00001d6b: PUSH2 0x1d76
00001d6e: JUMPI
00001d6f: PUSH2 0x1d76
00001d72: PUSH2 0x1d4d
00001d75: JUMP
00001d76: JUMPDEST
00001d77: SWAP3
00001d78: SWAP2
00001d79: POP
00001d7a: POP
00001d7b: JUMP
00001d7c: JUMPDEST
00001d7d: PUSH1 0x00
00001d7f: JUMPDEST
00001d80: DUP4
00001d81: DUP2
00001d82: LT
00001d83: ISZERO
00001d84: PUSH2 0x1d97
00001d87: JUMPI
00001d88: DUP2
00001d89: DUP2
00001d8a: ADD
00001d8b: MLOAD
00001d8c: DUP4
00001d8d: DUP3
00001d8e: ADD
00001d8f: MSTORE
00001d90: PUSH1 0x20
00001d92: ADD
00001d93: PUSH2 0x1d7f
00001d96: JUMP
00001d97: JUMPDEST
00001d98: POP
00001d99: POP
00001d9a: PUSH1 0x00
00001d9c: SWAP2
00001d9d: ADD
00001d9e: MSTORE
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH1 0x00
00001da3: DUP2
00001da4: MLOAD
00001da5: DUP1
00001da6: DUP5
00001da7: MSTORE
00001da8: PUSH2 0x1db8
00001dab: DUP2
00001dac: PUSH1 0x20
00001dae: DUP7
00001daf: ADD
00001db0: PUSH1 0x20
00001db2: DUP7
00001db3: ADD
00001db4: PUSH2 0x1d7c
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH1 0x1f
00001dbb: ADD
00001dbc: PUSH1 0x1f
00001dbe: NOT
00001dbf: AND
00001dc0: SWAP3
00001dc1: SWAP1
00001dc2: SWAP3
00001dc3: ADD
00001dc4: PUSH1 0x20
00001dc6: ADD
00001dc7: SWAP3
00001dc8: SWAP2
00001dc9: POP
00001dca: POP
00001dcb: JUMP
00001dcc: JUMPDEST
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0x01
00001dd1: PUSH1 0xa0
00001dd3: SHL
00001dd4: SUB
00001dd5: DUP8
00001dd6: DUP2
00001dd7: AND
00001dd8: DUP3
00001dd9: MSTORE
00001dda: DUP7
00001ddb: DUP2
00001ddc: AND
00001ddd: PUSH1 0x20
00001ddf: DUP4
00001de0: ADD
00001de1: MSTORE
00001de2: DUP6
00001de3: DUP2
00001de4: AND
00001de5: PUSH1 0x40
00001de7: DUP4
00001de8: ADD
00001de9: MSTORE
00001dea: DUP5
00001deb: AND
00001dec: PUSH1 0x60
00001dee: DUP3
00001def: ADD
00001df0: MSTORE
00001df1: PUSH1 0x80
00001df3: DUP2
00001df4: ADD
00001df5: DUP4
00001df6: SWAP1
00001df7: MSTORE
00001df8: PUSH1 0xc0
00001dfa: PUSH1 0xa0
00001dfc: DUP3
00001dfd: ADD
00001dfe: DUP2
00001dff: SWAP1
00001e00: MSTORE
00001e01: PUSH1 0x00
00001e03: SWAP1
00001e04: PUSH2 0x1e0f
00001e07: SWAP1
00001e08: DUP4
00001e09: ADD
00001e0a: DUP5
00001e0b: PUSH2 0x1da0
00001e0e: JUMP
00001e0f: JUMPDEST
00001e10: SWAP9
00001e11: SWAP8
00001e12: POP
00001e13: POP
00001e14: POP
00001e15: POP
00001e16: POP
00001e17: POP
00001e18: POP
00001e19: POP
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH1 0x00
00001e1e: PUSH1 0x01
00001e20: DUP1
00001e21: PUSH1 0xa0
00001e23: SHL
00001e24: SUB
00001e25: DUP1
00001e26: DUP9
00001e27: AND
00001e28: DUP4
00001e29: MSTORE
00001e2a: DUP7
00001e2b: PUSH1 0x20
00001e2d: DUP5
00001e2e: ADD
00001e2f: MSTORE
00001e30: PUSH1 0xa0
00001e32: PUSH1 0x40
00001e34: DUP5
00001e35: ADD
00001e36: MSTORE
00001e37: PUSH2 0x1e43
00001e3a: PUSH1 0xa0
00001e3c: DUP5
00001e3d: ADD
00001e3e: DUP8
00001e3f: PUSH2 0x1da0
00001e42: JUMP
00001e43: JUMPDEST
00001e44: PUSH1 0x60
00001e46: DUP5
00001e47: ADD
00001e48: SWAP6
00001e49: SWAP1
00001e4a: SWAP6
00001e4b: MSTORE
00001e4c: SWAP3
00001e4d: SWAP1
00001e4e: SWAP3
00001e4f: AND
00001e50: PUSH1 0x80
00001e52: SWAP1
00001e53: SWAP2
00001e54: ADD
00001e55: MSTORE
00001e56: POP
00001e57: SWAP4
00001e58: SWAP3
00001e59: POP
00001e5a: POP
00001e5b: POP
00001e5c: JUMP
00001e5d: JUMPDEST
00001e5e: PUSH1 0x01
00001e60: DUP1
00001e61: PUSH1 0xa0
00001e63: SHL
00001e64: SUB
00001e65: DUP5
00001e66: AND
00001e67: DUP2
00001e68: MSTORE
00001e69: DUP3
00001e6a: PUSH1 0x20
00001e6c: DUP3
00001e6d: ADD
00001e6e: MSTORE
00001e6f: PUSH1 0x60
00001e71: PUSH1 0x40
00001e73: DUP3
00001e74: ADD
00001e75: MSTORE
00001e76: PUSH1 0x00
00001e78: PUSH2 0x1e84
00001e7b: PUSH1 0x60
00001e7d: DUP4
00001e7e: ADD
00001e7f: DUP5
00001e80: PUSH2 0x1da0
00001e83: JUMP
00001e84: JUMPDEST
00001e85: SWAP6
00001e86: SWAP5
00001e87: POP
00001e88: POP
00001e89: POP
00001e8a: POP
00001e8b: POP
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: DUP2
00001e8f: DUP2
00001e90: SUB
00001e91: DUP2
00001e92: DUP2
00001e93: GT
00001e94: ISZERO
00001e95: PUSH2 0x1d76
00001e98: JUMPI
00001e99: PUSH2 0x1d76
00001e9c: PUSH2 0x1d4d
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH1 0x20
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x00
00001ea7: PUSH2 0x1ab1
00001eaa: PUSH1 0x20
00001eac: DUP4
00001ead: ADD
00001eae: DUP5
00001eaf: PUSH2 0x1da0
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH1 0x00
00001eb6: DUP1
00001eb7: PUSH1 0x40
00001eb9: DUP4
00001eba: DUP6
00001ebb: SUB
00001ebc: SLT
00001ebd: ISZERO
00001ebe: PUSH2 0x1ec6
00001ec1: JUMPI
00001ec2: PUSH1 0x00
00001ec4: DUP1
00001ec5: REVERT
00001ec6: JUMPDEST
00001ec7: DUP3
00001ec8: MLOAD
00001ec9: PUSH2 0x1ed1
00001ecc: DUP2
00001ecd: PUSH2 0x1878
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x20
00001ed4: DUP5
00001ed5: ADD
00001ed6: MLOAD
00001ed7: SWAP1
00001ed8: SWAP3
00001ed9: POP
00001eda: PUSH8 0xffffffffffffffff
00001ee3: DUP2
00001ee4: GT
00001ee5: ISZERO
00001ee6: PUSH2 0x1eee
00001ee9: JUMPI
00001eea: PUSH1 0x00
00001eec: DUP1
00001eed: REVERT
00001eee: JUMPDEST
00001eef: DUP4
00001ef0: ADD
00001ef1: PUSH1 0x1f
00001ef3: DUP2
00001ef4: ADD
00001ef5: DUP6
00001ef6: SGT
00001ef7: PUSH2 0x1eff
00001efa: JUMPI
00001efb: PUSH1 0x00
00001efd: DUP1
00001efe: REVERT
00001eff: JUMPDEST
00001f00: DUP1
00001f01: MLOAD
00001f02: PUSH2 0x1f0d
00001f05: PUSH2 0x191b
00001f08: DUP3
00001f09: PUSH2 0x18d4
00001f0c: JUMP
00001f0d: JUMPDEST
00001f0e: DUP2
00001f0f: DUP2
00001f10: MSTORE
00001f11: DUP7
00001f12: PUSH1 0x20
00001f14: DUP4
00001f15: DUP6
00001f16: ADD
00001f17: ADD
00001f18: GT
00001f19: ISZERO
00001f1a: PUSH2 0x1f22
00001f1d: JUMPI
00001f1e: PUSH1 0x00
00001f20: DUP1
00001f21: REVERT
00001f22: JUMPDEST
00001f23: PUSH2 0x1f33
00001f26: DUP3
00001f27: PUSH1 0x20
00001f29: DUP4
00001f2a: ADD
00001f2b: PUSH1 0x20
00001f2d: DUP7
00001f2e: ADD
00001f2f: PUSH2 0x1d7c
00001f32: JUMP
00001f33: JUMPDEST
00001f34: DUP1
00001f35: SWAP4
00001f36: POP
00001f37: POP
00001f38: POP
00001f39: POP
00001f3a: SWAP3
00001f3b: POP
00001f3c: SWAP3
00001f3d: SWAP1
00001f3e: POP
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: PUSH1 0x00
00001f43: PUSH1 0x20
00001f45: DUP3
00001f46: DUP5
00001f47: SUB
00001f48: SLT
00001f49: ISZERO
00001f4a: PUSH2 0x1f52
00001f4d: JUMPI
00001f4e: PUSH1 0x00
00001f50: DUP1
00001f51: REVERT
00001f52: JUMPDEST
00001f53: POP
00001f54: MLOAD
00001f55: SWAP2
00001f56: SWAP1
00001f57: POP
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: PUSH1 0x00
00001f5c: PUSH1 0x20
00001f5e: DUP3
00001f5f: DUP5
00001f60: SUB
00001f61: SLT
00001f62: ISZERO
00001f63: PUSH2 0x1f6b
00001f66: JUMPI
00001f67: PUSH1 0x00
00001f69: DUP1
00001f6a: REVERT
00001f6b: JUMPDEST
00001f6c: DUP2
00001f6d: MLOAD
00001f6e: PUSH2 0x1ab1
00001f71: DUP2
00001f72: PUSH2 0x1a86
00001f75: JUMP
00001f76: JUMPDEST
00001f77: PUSH1 0x20
00001f79: DUP1
00001f7a: DUP3
00001f7b: MSTORE
00001f7c: PUSH1 0x2b
00001f7e: SWAP1
00001f7f: DUP3
00001f80: ADD
00001f81: MSTORE
00001f82: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001fa3: PUSH1 0x40
00001fa5: DUP3
00001fa6: ADD
00001fa7: MSTORE
00001fa8: PUSH11 0x6e697469616c697a696e67
00001fb4: PUSH1 0xa8
00001fb6: SHL
00001fb7: PUSH1 0x60
00001fb9: DUP3
00001fba: ADD
00001fbb: MSTORE
00001fbc: PUSH1 0x80
00001fbe: ADD
00001fbf: SWAP1
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH1 0x00
00001fc4: DUP3
00001fc5: MLOAD
00001fc6: PUSH2 0x1fd3
00001fc9: DUP2
00001fca: DUP5
00001fcb: PUSH1 0x20
00001fcd: DUP8
00001fce: ADD
00001fcf: PUSH2 0x1d7c
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: SWAP2
00001fd5: SWAP1
00001fd6: SWAP2
00001fd7: ADD
00001fd8: SWAP3
00001fd9: SWAP2
00001fda: POP
00001fdb: POP
00001fdc: JUMP
00001fdd: INVALID
00001fde: LOG2
00001fdf: PUSH5 0x6970667358
00001fe5: UNKNOWN(0x22)
00001fe6: SLT
00001fe7: KECCAK256
00001fe8: SWAP2
00001fe9: JUMPDEST
00001fea: UNKNOWN(0xEF)
00001feb: CALLDATASIZE
00001fec: UNKNOWN(0xDA)
00001fed: MULMOD
00001fee: SWAP9
00001fef: UNKNOWN(0x26)
00001ff0: UNKNOWN(0xAD)
00001ff1: DUP3
00001ff2: UNKNOWN(0xFB)
00001ff3: SIGNEXTEND
00001ff4: UNKNOWN(0xE4)
00001ff5: UNKNOWN(0xEB)
00001ff6: UNKNOWN(0xC0)
00001ff7: UNKNOWN(0x28)
00001ff8: STOP
00001ff9: UNKNOWN(0x25)
00001ffa: UNKNOWN(0xEB)
00001ffb: SUB
00001ffc: DUP8
00001ffd: MUL
00001ffe: SMOD
00001fff: PUSH6 0x89507e6d480f
00002006: PUSH29