Analysis Run

[codex:517006] OpenAI Codex v0.77.0 (research preview)
[codex:517006] --------
[codex:517006] workdir: /tmp/codex-multi-ia9im7b8
[codex:517006] model: gpt-5.2-codex
[codex:517006] provider: openai
[codex:517006] approval: never
[codex:517006] sandbox: read-only
[codex:517006] reasoning effort: xhigh
[codex:517006] reasoning summaries: auto
[codex:517006] session id: 019b81c1-1de2-7f13-92c7-748833d5f79a
[codex:517006] --------
[codex:517006] user
[codex:517006] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:517006] 
[codex:517006] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:517006] 
[codex:517006] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:517006] - Gas inefficiency, code quality, naming, or best practices
[codex:517006] - Theoretical vulnerabilities without a clear extraction path
[codex:517006] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:517006] - Front-running unless it enables theft beyond MEV
[codex:517006] - DoS, griefing, or issues that don't result in attacker profit
[codex:517006] - Missing events, view function issues, or informational findings
[codex:517006] 
[codex:517006] HIGH-VALUE PATTERNS TO HUNT:
[codex:517006] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:517006] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:517006] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:517006] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:517006] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:517006] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:517006] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:517006] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:517006] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:517006] 
[codex:517006] For each finding, you MUST provide:
[codex:517006] 1. Exact file and line numbers of vulnerable code
[codex:517006] 2. Step-by-step exploit transaction sequence
[codex:517006] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:517006] 
[codex:517006] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:517006] 
[codex:517006] Output MUST be valid JSON matching the provided schema.
[codex:517006] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:517006] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:517006] mcp startup: no servers
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Preparing to read AUDIT_BUNDLE.txt**
[codex:517006] exec
[codex:517006] /bin/bash -lc ls in /tmp/codex-multi-ia9im7b8 succeeded in 5ms:
[codex:517006] AUDIT_BUNDLE.txt
[codex:517006] codex-output-schema.json
[codex:517006] contracts
[codex:517006] exec
[codex:517006] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ia9im7b8 succeeded in 7ms:
[codex:517006] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:517006] 
[codex:517006] ================================================================================
[codex:517006] FILE: contracts/Contract.sol
[codex:517006] ================================================================================
[codex:517006] // SPDX-License-Identifier: MIT
[codex:517006] // File: @openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:517006] 
[codex:517006] 
[codex:517006] pragma solidity ^0.6.0;
[codex:517006] 
[codex:517006] /**
[codex:517006]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:517006]  */
[codex:517006] interface IERC20 {
[codex:517006]     /**
[codex:517006]      * @dev Returns the amount of tokens in existence.
[codex:517006]      */
[codex:517006]     function totalSupply() external view returns (uint256);
[codex:517006] 
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing potential PMM exploit paths**
[codex:517006] exec
[codex:517006] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-ia9im7b8 succeeded in 14ms:
[codex:517006] 4:FILE: contracts/Contract.sol
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing contract for vulnerabilities**
[codex:517006] exec
[codex:517006] /bin/bash -lc 'rg -n "function readAddress" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-ia9im7b8 succeeded in 8ms:
[codex:517006] 824:  function readAddress(
[codex:517006] exec
[codex:517006] /bin/bash -lc "sed -n '780,860p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ia9im7b8 succeeded in 6ms:
[codex:517006]   limitations under the License.
[codex:517006]   This is a truncated version of the original LibBytes.sol library from ZeroEx.
[codex:517006] */
[codex:517006] 
[codex:517006] pragma solidity ^0.6.0;
[codex:517006] 
[codex:517006] 
[codex:517006] library LibBytes {
[codex:517006]   using LibBytes for bytes;
[codex:517006] 
[codex:517006]   /***********************************|
[codex:517006]   |        Pop Bytes Functions        |
[codex:517006]   |__________________________________*/
[codex:517006] 
[codex:517006]   /**
[codex:517006]    * @dev Pops the last byte off of a byte array by modifying its length.
[codex:517006]    * @param b Byte array that will be modified.
[codex:517006]    * @return result The byte that was popped off.
[codex:517006]    */
[codex:517006]   function popLastByte(bytes memory b)
[codex:517006] 
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing memory offset bug in decodeFillOrder**
[codex:517006] thinking
[codex:517006] **Evaluating potential token payout discrepancy**
[codex:517006] 
[codex:517006] I'm considering whether the misdecoded makerAssetAmount might cause PMM to transfer more tokens than it actually received from 0x, potentially draining any accumulated fees held by PMM if an attacker crafts data cleverly. I'll need to check the order struct definition to see how feasible controlling the decoded amount is.
[codex:517006] exec
[codex:517006] /bin/bash -lc 'rg -n "struct Order" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-ia9im7b8 succeeded in 7ms:
[codex:517006] 679:    struct Order {
[codex:517006] 695:    struct OrderInfo {
[codex:517006] exec
[codex:517006] /bin/bash -lc "sed -n '640,740p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ia9im7b8 succeeded in 5ms:
[codex:517006] 
[codex:517006] pragma solidity ^0.6.0;
[codex:517006] 
[codex:517006] 
[codex:517006] 
[codex:517006] contract LibOrder is
[codex:517006]     LibEIP712
[codex:517006] {
[codex:517006]     // Hash for the EIP712 Order Schema
[codex:517006]     bytes32 constant internal EIP712_ORDER_SCHEMA_HASH = keccak256(abi.encodePacked(
[codex:517006]         "Order(",
[codex:517006]         "address makerAddress,",
[codex:517006]         "address takerAddress,",
[codex:517006]         "address feeRecipientAddress,",
[codex:517006]         "address senderAddress,",
[codex:517006]         "uint256 makerAssetAmount,",
[codex:517006]         "uint256 takerAssetAmount,",
[codex:517006]         "uint256 makerFee,",
[codex:517006]         "uint256 takerFee,",
[codex:517006]         "uint256 expirationTimeSeconds,",
[codex:517006] 
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing ABI decode misalignment and potential exploits**
[codex:517006] 
[codex:517006] I'm carefully examining how a 4-byte misalignment in ABI decoding affects parsing of the order struct with dynamic fields, especially how skipping the selector works in memory. I'm considering whether crafted call data could manipulate decoded amounts to exploit PMM, but the decoding logic seems correct despite the unusual data length setting, so a direct exploit seems unlikely here.
[codex:517006] thinking
[codex:517006] **Verifying ABI decode length and fee factor logic**
[codex:517006] 
[codex:517006] I'm confirming that adjusting the data pointer to skip the selector works safely despite the incorrect length word, and checking if the fee factor derived from salt could be exploited for profit; everything seems constrained and typical, so no immediate exploit emerges here.
[codex:517006] exec
[codex:517006] /bin/bash -lc 'rg -n "contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-ia9im7b8 succeeded in 6ms:
[codex:517006] 268:     *  - a contract in construction
[codex:517006] 269:     *  - an address where a contract will be created
[codex:517006] 270:     *  - an address where a contract lived, but was destroyed
[codex:517006] 346:     * - the calling contract must have an ETH balance of at least `value`.
[codex:517006] 401: * contract returns false). Tokens that return no value (and instead revert or
[codex:517006] 456:        // the target address contains contract code and also asserts for success in the low-level call.
[codex:517006] 487:contract ReentrancyGuard {
[codex:517006] 491:    // back. This is the compiler's defense against contract upgrades and
[codex:517006] 509:     * @dev Prevents a contract from calling itself, directly or indirectly.
[codex:517006] 553:contract LibEIP712 {
[codex:517006] 645:contract LibOrder is
[codex:517006] 683:        address senderAddress;          // Address that is allowed to call Exchange contract methods that affect this order. If set to 0, any address is allowed to call these methods.
[codex:517006] 690:        bytes makerAssetData;           // Encoded data that can be decoded by a specified proxy contract when transferring makerAsset. The last byte references the id of this proxy.
[codex:517006] 691:        bytes takerAssetData;           // Encoded data that can be decoded by a specified proxy contract when transferring takerAsset. The last byte references the id of this proxy.
[codex:517006] 949:contract LibDecoder {
[codex:517006] 1016:contract LibEncoder is
[codex:517006] 1206:contract PMM is
[codex:517006] 1430:                "PMM: invalid contract address"
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing token transfer risks in PMM**
[codex:517006] 
[codex:517006] I'm exploring whether malicious ERC20 tokens that return true from transferFrom without actual balance changes could let attackers cheat PMM by obtaining real assets without paying. This hinges on assumptions about token compliance and SafeERC20 handling return values but not balances; it seems more of a general token risk than a direct PMM flaw. I’m also checking signature replay risk by reviewing EIP712 domain details in LibEIP712 next.
[codex:517006] exec
[codex:517006] /bin/bash -lc "sed -n '520,640p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ia9im7b8 succeeded in 6ms:
[codex:517006]         _status = _ENTERED;
[codex:517006] 
[codex:517006]         _;
[codex:517006] 
[codex:517006]         // By storing the original value once again, a refund is triggered (see
[codex:517006]         // https://eips.ethereum.org/EIPS/eip-2200)
[codex:517006]         _status = _NOT_ENTERED;
[codex:517006]     }
[codex:517006] }
[codex:517006] 
[codex:517006] // File: contracts/pmm/0xLibs/LibEIP712.sol
[codex:517006] 
[codex:517006] /*
[codex:517006] 
[codex:517006]   Copyright 2018 ZeroEx Intl.
[codex:517006] 
[codex:517006]   Licensed under the Apache License, Version 2.0 (the "License");
[codex:517006]   you may not use this file except in compliance with the License.
[codex:517006]   You may obtain a copy of the License at
[codex:517006] 
[codex:517006] 
[codex:517006] 
[codex:517006] thinking
[codex:517006] **Analyzing cross-chain replay and signature verification risks**
[codex:517006] thinking
[codex:517006] **Preparing final audit JSON output**
[codex:517006] 
[codex:517006] I'm wrapping up by confirming no exploitable profit paths were found and getting ready to produce the final JSON with no findings and a clear summary.
[codex:517006] codex
[codex:517006] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts.","findings":[]}
[codex:517006] tokens used
[codex:517006] 38,792
[codex:517006] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T02:54:36.866266+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the provided contracts.",
        "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 0x00d6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8a36486b
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe7605b79
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe7605b79
0000002f: EQ
00000030: PUSH2 0x01e5
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8edc816
0000003a: EQ
0000003b: PUSH2 0x01fa
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf230b4c2
00000045: EQ
00000046: PUSH2 0x020f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0224
00000054: JUMPI
00000055: PUSH2 0x00dd
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8a36486b
00000060: EQ
00000061: PUSH2 0x01a6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc49e4fd9
0000006b: EQ
0000006c: PUSH2 0x01bb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe306f779
00000076: EQ
00000077: PUSH2 0x01d0
0000007a: JUMPI
0000007b: PUSH2 0x00dd
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x54fd4d50
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x54fd4d50
00000091: EQ
00000092: PUSH2 0x014f
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x570ca735
0000009c: EQ
0000009d: PUSH2 0x0171
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x645a55b6
000000a7: EQ
000000a8: PUSH2 0x0186
000000ab: JUMPI
000000ac: PUSH2 0x00dd
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x30db4580
000000b7: EQ
000000b8: PUSH2 0x00e2
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x3ec63216
000000c2: EQ
000000c3: PUSH2 0x0104
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x46920bad
000000cd: EQ
000000ce: PUSH2 0x012f
000000d1: JUMPI
000000d2: PUSH2 0x00dd
000000d5: JUMP
000000d6: JUMPDEST
000000d7: CALLDATASIZE
000000d8: PUSH2 0x00dd
000000db: JUMPI
000000dc: STOP
000000dd: JUMPDEST
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x0102
000000f3: PUSH2 0x00fd
000000f6: CALLDATASIZE
000000f7: PUSH1 0x04
000000f9: PUSH2 0x16cc
000000fc: JUMP
000000fd: JUMPDEST
000000fe: PUSH2 0x0244
00000101: JUMP
00000102: JUMPDEST
00000103: STOP
00000104: JUMPDEST
00000105: CALLVALUE
00000106: DUP1
00000107: ISZERO
00000108: PUSH2 0x0110
0000010b: JUMPI
0000010c: PUSH1 0x00
0000010e: DUP1
0000010f: REVERT
00000110: JUMPDEST
00000111: POP
00000112: PUSH2 0x0119
00000115: PUSH2 0x02c7
00000118: JUMP
00000119: JUMPDEST
0000011a: PUSH1 0x40
0000011c: MLOAD
0000011d: PUSH2 0x0126
00000120: SWAP2
00000121: SWAP1
00000122: PUSH2 0x1c62
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH1 0x40
00000129: MLOAD
0000012a: DUP1
0000012b: SWAP2
0000012c: SUB
0000012d: SWAP1
0000012e: RETURN
0000012f: JUMPDEST
00000130: CALLVALUE
00000131: DUP1
00000132: ISZERO
00000133: PUSH2 0x013b
00000136: JUMPI
00000137: PUSH1 0x00
00000139: DUP1
0000013a: REVERT
0000013b: JUMPDEST
0000013c: POP
0000013d: PUSH2 0x0102
00000140: PUSH2 0x014a
00000143: CALLDATASIZE
00000144: PUSH1 0x04
00000146: PUSH2 0x16cc
00000149: JUMP
0000014a: JUMPDEST
0000014b: PUSH2 0x02eb
0000014e: JUMP
0000014f: JUMPDEST
00000150: CALLVALUE
00000151: DUP1
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: POP
0000015d: PUSH2 0x0164
00000160: PUSH2 0x033b
00000163: JUMP
00000164: JUMPDEST
00000165: PUSH1 0x40
00000167: MLOAD
00000168: PUSH2 0x0126
0000016b: SWAP2
0000016c: SWAP1
0000016d: PUSH2 0x1d0d
00000170: JUMP
00000171: JUMPDEST
00000172: CALLVALUE
00000173: DUP1
00000174: ISZERO
00000175: PUSH2 0x017d
00000178: JUMPI
00000179: PUSH1 0x00
0000017b: DUP1
0000017c: REVERT
0000017d: JUMPDEST
0000017e: POP
0000017f: PUSH2 0x0119
00000182: PUSH2 0x0374
00000185: JUMP
00000186: JUMPDEST
00000187: PUSH2 0x0199
0000018a: PUSH2 0x0194
0000018d: CALLDATASIZE
0000018e: PUSH1 0x04
00000190: PUSH2 0x18f9
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH2 0x0383
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: PUSH2 0x0126
000001a0: SWAP2
000001a1: SWAP1
000001a2: PUSH2 0x1ccd
000001a5: JUMP
000001a6: JUMPDEST
000001a7: CALLVALUE
000001a8: DUP1
000001a9: ISZERO
000001aa: PUSH2 0x01b2
000001ad: JUMPI
000001ae: PUSH1 0x00
000001b0: DUP1
000001b1: REVERT
000001b2: JUMPDEST
000001b3: POP
000001b4: PUSH2 0x0119
000001b7: PUSH2 0x07cf
000001ba: JUMP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x0119
000001cc: PUSH2 0x07f3
000001cf: JUMP
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x0199
000001e1: PUSH2 0x0817
000001e4: JUMP
000001e5: JUMPDEST
000001e6: CALLVALUE
000001e7: DUP1
000001e8: ISZERO
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: PUSH2 0x0119
000001f6: PUSH2 0x081d
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x0119
0000020b: PUSH2 0x0841
0000020e: JUMP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x0164
00000220: PUSH2 0x0865
00000223: JUMP
00000224: JUMPDEST
00000225: CALLVALUE
00000226: DUP1
00000227: ISZERO
00000228: PUSH2 0x0230
0000022b: JUMPI
0000022c: PUSH1 0x00
0000022e: DUP1
0000022f: REVERT
00000230: JUMPDEST
00000231: POP
00000232: PUSH2 0x0102
00000235: PUSH2 0x023f
00000238: CALLDATASIZE
00000239: PUSH1 0x04
0000023b: PUSH2 0x1694
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH2 0x0886
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH1 0x02
00000247: SLOAD
00000248: PUSH1 0x01
0000024a: PUSH1 0x01
0000024c: PUSH1 0xa0
0000024e: SHL
0000024f: SUB
00000250: AND
00000251: CALLER
00000252: EQ
00000253: PUSH2 0x0277
00000256: JUMPI
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: PUSH3 0x461bcd
0000025e: PUSH1 0xe5
00000260: SHL
00000261: DUP2
00000262: MSTORE
00000263: PUSH1 0x04
00000265: ADD
00000266: PUSH2 0x026e
00000269: SWAP1
0000026a: PUSH2 0x1e56
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: DUP1
00000273: SWAP2
00000274: SUB
00000275: SWAP1
00000276: REVERT
00000277: JUMPDEST
00000278: PUSH1 0x00
0000027a: JUMPDEST
0000027b: DUP3
0000027c: DUP2
0000027d: LT
0000027e: ISZERO
0000027f: PUSH2 0x02c1
00000282: JUMPI
00000283: PUSH2 0x02b9
00000286: DUP3
00000287: PUSH1 0x00
00000289: DUP7
0000028a: DUP7
0000028b: DUP6
0000028c: DUP2
0000028d: DUP2
0000028e: LT
0000028f: PUSH2 0x0294
00000292: JUMPI
00000293: INVALID
00000294: JUMPDEST
00000295: SWAP1
00000296: POP
00000297: PUSH1 0x20
00000299: MUL
0000029a: ADD
0000029b: PUSH1 0x20
0000029d: DUP2
0000029e: ADD
0000029f: SWAP1
000002a0: PUSH2 0x02a9
000002a3: SWAP2
000002a4: SWAP1
000002a5: PUSH2 0x1694
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x01
000002ac: PUSH1 0x01
000002ae: PUSH1 0xa0
000002b0: SHL
000002b1: SUB
000002b2: AND
000002b3: SWAP2
000002b4: SWAP1
000002b5: PUSH2 0x0910
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x01
000002bc: ADD
000002bd: PUSH2 0x027a
000002c0: JUMP
000002c1: JUMPDEST
000002c2: POP
000002c3: POP
000002c4: POP
000002c5: POP
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH32 0x00000000000000000000000003f34be1bf910116595db1b11e9d1b2ca5d59659
000002e9: DUP2
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH1 0x02
000002ee: SLOAD
000002ef: PUSH1 0x01
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: SHL
000002f6: SUB
000002f7: AND
000002f8: CALLER
000002f9: EQ
000002fa: PUSH2 0x0315
000002fd: JUMPI
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH3 0x461bcd
00000305: PUSH1 0xe5
00000307: SHL
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x04
0000030c: ADD
0000030d: PUSH2 0x026e
00000310: SWAP1
00000311: PUSH2 0x1e56
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH1 0x00
00000318: JUMPDEST
00000319: DUP3
0000031a: DUP2
0000031b: LT
0000031c: ISZERO
0000031d: PUSH2 0x02c1
00000320: JUMPI
00000321: PUSH2 0x0333
00000324: DUP3
00000325: PUSH1 0x00
00000327: NOT
00000328: DUP7
00000329: DUP7
0000032a: DUP6
0000032b: DUP2
0000032c: DUP2
0000032d: LT
0000032e: PUSH2 0x0294
00000331: JUMPI
00000332: INVALID
00000333: JUMPDEST
00000334: PUSH1 0x01
00000336: ADD
00000337: PUSH2 0x0318
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: MLOAD
0000033f: DUP1
00000340: PUSH1 0x40
00000342: ADD
00000343: PUSH1 0x40
00000345: MSTORE
00000346: DUP1
00000347: PUSH1 0x05
00000349: DUP2
0000034a: MSTORE
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: PUSH32 0x352e302e30000000000000000000000000000000000000000000000000000000
0000036f: DUP2
00000370: MSTORE
00000371: POP
00000372: DUP2
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x02
00000377: SLOAD
00000378: PUSH1 0x01
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: SHL
0000037f: SUB
00000380: AND
00000381: DUP2
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH1 0x00
00000386: PUSH32 0x00000000000000000000000003f34be1bf910116595db1b11e9d1b2ca5d59659
000003a7: PUSH1 0x01
000003a9: PUSH1 0x01
000003ab: PUSH1 0xa0
000003ad: SHL
000003ae: SUB
000003af: AND
000003b0: CALLER
000003b1: EQ
000003b2: PUSH2 0x03cd
000003b5: JUMPI
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: PUSH3 0x461bcd
000003bd: PUSH1 0xe5
000003bf: SHL
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x04
000003c4: ADD
000003c5: PUSH2 0x026e
000003c8: SWAP1
000003c9: PUSH2 0x1ec4
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x02
000003d0: PUSH1 0x00
000003d2: SLOAD
000003d3: EQ
000003d4: ISZERO
000003d5: PUSH2 0x03f0
000003d8: JUMPI
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: PUSH3 0x461bcd
000003e0: PUSH1 0xe5
000003e2: SHL
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x04
000003e7: ADD
000003e8: PUSH2 0x026e
000003eb: SWAP1
000003ec: PUSH2 0x22f2
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH1 0x02
000003f3: PUSH1 0x00
000003f5: SSTORE
000003f6: PUSH2 0x03fd
000003f9: PUSH2 0x1528
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0405
00000401: PUSH2 0x15ad
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH2 0x0410
00000409: DUP7
0000040a: DUP7
0000040b: DUP7
0000040c: PUSH2 0x0a3d
0000040f: JUMP
00000410: JUMPDEST
00000411: SWAP2
00000412: POP
00000413: SWAP2
00000414: POP
00000415: PUSH1 0x00
00000417: PUSH32 0x0000000000000000000000006d9cc14a1d36e6ff13fc6efa9e9326fcd12e7903
00000438: PUSH1 0x01
0000043a: PUSH1 0x01
0000043c: PUSH1 0xa0
0000043e: SHL
0000043f: SUB
00000440: AND
00000441: PUSH4 0x7d5aa5f4
00000446: PUSH1 0x40
00000448: MLOAD
00000449: DUP2
0000044a: PUSH4 0xffffffff
0000044f: AND
00000450: PUSH1 0xe0
00000452: SHL
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x04
00000457: ADD
00000458: PUSH1 0x20
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP4
0000045f: SUB
00000460: DUP2
00000461: DUP7
00000462: DUP1
00000463: EXTCODESIZE
00000464: ISZERO
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: GAS
00000472: STATICCALL
00000473: ISZERO
00000474: DUP1
00000475: ISZERO
00000476: PUSH2 0x0483
00000479: JUMPI
0000047a: RETURNDATASIZE
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: RETURNDATACOPY
0000047f: RETURNDATASIZE
00000480: PUSH1 0x00
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: POP
00000486: POP
00000487: POP
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: RETURNDATASIZE
0000048c: PUSH1 0x1f
0000048e: NOT
0000048f: PUSH1 0x1f
00000491: DUP3
00000492: ADD
00000493: AND
00000494: DUP3
00000495: ADD
00000496: DUP1
00000497: PUSH1 0x40
00000499: MSTORE
0000049a: POP
0000049b: DUP2
0000049c: ADD
0000049d: SWAP1
0000049e: PUSH2 0x04a7
000004a1: SWAP2
000004a2: SWAP1
000004a3: PUSH2 0x16b0
000004a6: JUMP
000004a7: JUMPDEST
000004a8: SWAP1
000004a9: POP
000004aa: DUP2
000004ab: PUSH1 0x80
000004ad: ADD
000004ae: MLOAD
000004af: PUSH1 0x01
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: SHL
000004b6: SUB
000004b7: AND
000004b8: DUP2
000004b9: PUSH1 0x01
000004bb: PUSH1 0x01
000004bd: PUSH1 0xa0
000004bf: SHL
000004c0: SUB
000004c1: AND
000004c2: EQ
000004c3: ISZERO
000004c4: PUSH2 0x0543
000004c7: JUMPI
000004c8: DUP3
000004c9: PUSH1 0xa0
000004cb: ADD
000004cc: MLOAD
000004cd: CALLVALUE
000004ce: EQ
000004cf: PUSH2 0x04ea
000004d2: JUMPI
000004d3: PUSH1 0x40
000004d5: MLOAD
000004d6: PUSH3 0x461bcd
000004da: PUSH1 0xe5
000004dc: SHL
000004dd: DUP2
000004de: MSTORE
000004df: PUSH1 0x04
000004e1: ADD
000004e2: PUSH2 0x026e
000004e5: SWAP1
000004e6: PUSH2 0x2201
000004e9: JUMP
000004ea: JUMPDEST
000004eb: DUP1
000004ec: PUSH1 0x01
000004ee: PUSH1 0x01
000004f0: PUSH1 0xa0
000004f2: SHL
000004f3: SUB
000004f4: AND
000004f5: PUSH4 0xd0e30db0
000004fa: CALLVALUE
000004fb: PUSH1 0x40
000004fd: MLOAD
000004fe: DUP3
000004ff: PUSH4 0xffffffff
00000504: AND
00000505: PUSH1 0xe0
00000507: SHL
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x04
0000050c: ADD
0000050d: PUSH1 0x00
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: DUP1
00000513: DUP4
00000514: SUB
00000515: DUP2
00000516: DUP6
00000517: DUP9
00000518: DUP1
00000519: EXTCODESIZE
0000051a: ISZERO
0000051b: DUP1
0000051c: ISZERO
0000051d: PUSH2 0x0525
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: GAS
00000528: CALL
00000529: ISZERO
0000052a: DUP1
0000052b: ISZERO
0000052c: PUSH2 0x0539
0000052f: JUMPI
00000530: RETURNDATASIZE
00000531: PUSH1 0x00
00000533: DUP1
00000534: RETURNDATACOPY
00000535: RETURNDATASIZE
00000536: PUSH1 0x00
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: POP
0000053c: POP
0000053d: POP
0000053e: POP
0000053f: PUSH2 0x05ea
00000542: JUMP
00000543: JUMPDEST
00000544: DUP2
00000545: MLOAD
00000546: PUSH1 0x80
00000548: DUP4
00000549: ADD
0000054a: MLOAD
0000054b: PUSH1 0xa0
0000054d: DUP6
0000054e: ADD
0000054f: MLOAD
00000550: PUSH1 0x40
00000552: MLOAD
00000553: PUSH32 0x3474ad1a00000000000000000000000000000000000000000000000000000000
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x01
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: SHL
0000057d: SUB
0000057e: PUSH32 0x0000000000000000000000003c68dfc45dc92c9c605d92b49858073e10b857a6
0000059f: AND
000005a0: SWAP4
000005a1: PUSH4 0x3474ad1a
000005a6: SWAP4
000005a7: PUSH2 0x05b7
000005aa: SWAP4
000005ab: SWAP2
000005ac: SWAP3
000005ad: SWAP1
000005ae: SWAP2
000005af: SWAP1
000005b0: PUSH1 0x04
000005b2: ADD
000005b3: PUSH2 0x1c90
000005b6: JUMP
000005b7: JUMPDEST
000005b8: PUSH1 0x00
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: DUP4
000005bf: SUB
000005c0: DUP2
000005c1: PUSH1 0x00
000005c3: DUP8
000005c4: DUP1
000005c5: EXTCODESIZE
000005c6: ISZERO
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: GAS
000005d4: CALL
000005d5: ISZERO
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e5
000005db: JUMPI
000005dc: RETURNDATASIZE
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: RETURNDATACOPY
000005e1: RETURNDATASIZE
000005e2: PUSH1 0x00
000005e4: REVERT
000005e5: JUMPDEST
000005e6: POP
000005e7: POP
000005e8: POP
000005e9: POP
000005ea: JUMPDEST
000005eb: PUSH2 0x0630
000005ee: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
0000060f: DUP5
00000610: PUSH1 0xa0
00000612: ADD
00000613: MLOAD
00000614: DUP5
00000615: PUSH1 0x80
00000617: ADD
00000618: MLOAD
00000619: PUSH1 0x01
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: SHL
00000620: SUB
00000621: AND
00000622: PUSH2 0x0cc6
00000625: SWAP1
00000626: SWAP3
00000627: SWAP2
00000628: SWAP1
00000629: PUSH4 0xffffffff
0000062e: AND
0000062f: JUMP
00000630: JUMPDEST
00000631: PUSH1 0x40
00000633: MLOAD
00000634: PUSH32 0xbfc8bfce00000000000000000000000000000000000000000000000000000000
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x01
00000659: PUSH1 0x01
0000065b: PUSH1 0xa0
0000065d: SHL
0000065e: SUB
0000065f: PUSH32 0x000000000000000000000000080bf510fcbf18b91105470639e9561022937712
00000680: AND
00000681: SWAP1
00000682: PUSH4 0xbfc8bfce
00000687: SWAP1
00000688: PUSH2 0x0699
0000068b: SWAP1
0000068c: DUP11
0000068d: SWAP1
0000068e: ADDRESS
0000068f: SWAP1
00000690: DUP12
00000691: SWAP1
00000692: PUSH1 0x04
00000694: ADD
00000695: PUSH2 0x2386
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH1 0x00
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: DUP1
000006a0: DUP4
000006a1: SUB
000006a2: DUP2
000006a3: PUSH1 0x00
000006a5: DUP8
000006a6: DUP1
000006a7: EXTCODESIZE
000006a8: ISZERO
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: GAS
000006b6: CALL
000006b7: ISZERO
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06c7
000006bd: JUMPI
000006be: RETURNDATASIZE
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: RETURNDATACOPY
000006c3: RETURNDATASIZE
000006c4: PUSH1 0x00
000006c6: REVERT
000006c7: JUMPDEST
000006c8: POP
000006c9: POP
000006ca: POP
000006cb: POP
000006cc: PUSH1 0x00
000006ce: PUSH2 0x06ea
000006d1: DUP3
000006d2: DUP5
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: MLOAD
000006d7: DUP6
000006d8: PUSH1 0x60
000006da: ADD
000006db: MLOAD
000006dc: DUP8
000006dd: PUSH1 0x80
000006df: ADD
000006e0: MLOAD
000006e1: DUP8
000006e2: PUSH1 0x40
000006e4: ADD
000006e5: MLOAD
000006e6: PUSH2 0x0d71
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x80
000006ed: DUP5
000006ee: ADD
000006ef: MLOAD
000006f0: SWAP1
000006f1: SWAP2
000006f2: POP
000006f3: PUSH2 0x0727
000006f6: SWAP1
000006f7: PUSH1 0x01
000006f9: PUSH1 0x01
000006fb: PUSH1 0xa0
000006fd: SHL
000006fe: SUB
000006ff: AND
00000700: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
00000721: PUSH1 0x00
00000723: PUSH2 0x0910
00000726: JUMP
00000727: JUMPDEST
00000728: DUP3
00000729: PUSH1 0x00
0000072b: ADD
0000072c: MLOAD
0000072d: PUSH1 0x01
0000072f: PUSH1 0x01
00000731: PUSH1 0xa0
00000733: SHL
00000734: SUB
00000735: AND
00000736: DUP4
00000737: PUSH1 0xc0
00000739: ADD
0000073a: MLOAD
0000073b: DUP5
0000073c: PUSH1 0xa0
0000073e: ADD
0000073f: MLOAD
00000740: PUSH32 0x75d58426b26ab641a6a6a46f12fe35e17c570a1cd264c7248a73d90e3a8682ff
00000761: PUSH1 0x40
00000763: MLOAD
00000764: DUP1
00000765: PUSH1 0x40
00000767: ADD
00000768: PUSH1 0x40
0000076a: MSTORE
0000076b: DUP1
0000076c: PUSH1 0x05
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH1 0x20
00000772: ADD
00000773: PUSH5 0x183c103b19
00000779: PUSH1 0xd9
0000077b: SHL
0000077c: DUP2
0000077d: MSTORE
0000077e: POP
0000077f: DUP8
00000780: PUSH1 0x80
00000782: ADD
00000783: MLOAD
00000784: DUP10
00000785: PUSH1 0xa0
00000787: ADD
00000788: MLOAD
00000789: DUP11
0000078a: PUSH1 0x00
0000078c: ADD
0000078d: MLOAD
0000078e: DUP11
0000078f: PUSH1 0x60
00000791: ADD
00000792: MLOAD
00000793: DUP13
00000794: PUSH1 0x80
00000796: ADD
00000797: MLOAD
00000798: DUP13
00000799: PUSH1 0x20
0000079b: ADD
0000079c: MLOAD
0000079d: DUP12
0000079e: DUP15
0000079f: PUSH1 0x40
000007a1: ADD
000007a2: MLOAD
000007a3: PUSH1 0x40
000007a5: MLOAD
000007a6: PUSH2 0x07b7
000007a9: SWAP10
000007aa: SWAP9
000007ab: SWAP8
000007ac: SWAP7
000007ad: SWAP6
000007ae: SWAP5
000007af: SWAP4
000007b0: SWAP3
000007b1: SWAP2
000007b2: SWAP1
000007b3: PUSH2 0x1d20
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH1 0x40
000007ba: MLOAD
000007bb: DUP1
000007bc: SWAP2
000007bd: SUB
000007be: SWAP1
000007bf: LOG4
000007c0: PUSH1 0x01
000007c2: PUSH1 0x00
000007c4: SSTORE
000007c5: SWAP8
000007c6: SWAP7
000007c7: POP
000007c8: POP
000007c9: POP
000007ca: POP
000007cb: POP
000007cc: POP
000007cd: POP
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH32 0x000000000000000000000000080bf510fcbf18b91105470639e9561022937712
000007f1: DUP2
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH32 0x0000000000000000000000006d9cc14a1d36e6ff13fc6efa9e9326fcd12e7903
00000815: DUP2
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x01
0000081a: SLOAD
0000081b: DUP2
0000081c: JUMP
0000081d: JUMPDEST
0000081e: PUSH32 0x00000000000000000000000095e6f48254609a6ee006f7d493c8e5fb97094cef
0000083f: DUP2
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH32 0x0000000000000000000000003c68dfc45dc92c9c605d92b49858073e10b857a6
00000863: DUP2
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP1
0000086a: PUSH1 0x40
0000086c: ADD
0000086d: PUSH1 0x40
0000086f: MSTORE
00000870: DUP1
00000871: PUSH1 0x05
00000873: DUP2
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: PUSH5 0x183c103b19
0000087e: PUSH1 0xd9
00000880: SHL
00000881: DUP2
00000882: MSTORE
00000883: POP
00000884: DUP2
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x02
00000889: SLOAD
0000088a: PUSH1 0x01
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: SHL
00000891: SUB
00000892: AND
00000893: CALLER
00000894: EQ
00000895: PUSH2 0x08b0
00000898: JUMPI
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: PUSH3 0x461bcd
000008a0: PUSH1 0xe5
000008a2: SHL
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x04
000008a7: ADD
000008a8: PUSH2 0x026e
000008ab: SWAP1
000008ac: PUSH2 0x1e56
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x01
000008b3: PUSH1 0x01
000008b5: PUSH1 0xa0
000008b7: SHL
000008b8: SUB
000008b9: DUP2
000008ba: AND
000008bb: PUSH2 0x08d6
000008be: JUMPI
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: PUSH3 0x461bcd
000008c6: PUSH1 0xe5
000008c8: SHL
000008c9: DUP2
000008ca: MSTORE
000008cb: PUSH1 0x04
000008cd: ADD
000008ce: PUSH2 0x026e
000008d1: SWAP1
000008d2: PUSH2 0x1d8b
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x02
000008d9: DUP1
000008da: SLOAD
000008db: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000008fc: AND
000008fd: PUSH1 0x01
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: SHL
00000904: SUB
00000905: SWAP3
00000906: SWAP1
00000907: SWAP3
00000908: AND
00000909: SWAP2
0000090a: SWAP1
0000090b: SWAP2
0000090c: OR
0000090d: SWAP1
0000090e: SSTORE
0000090f: JUMP
00000910: JUMPDEST
00000911: DUP1
00000912: ISZERO
00000913: DUP1
00000914: PUSH2 0x09b1
00000917: JUMPI
00000918: POP
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
0000093d: DUP2
0000093e: MSTORE
0000093f: PUSH1 0x01
00000941: PUSH1 0x01
00000943: PUSH1 0xa0
00000945: SHL
00000946: SUB
00000947: DUP5
00000948: AND
00000949: SWAP1
0000094a: PUSH4 0xdd62ed3e
0000094f: SWAP1
00000950: PUSH2 0x095f
00000953: SWAP1
00000954: ADDRESS
00000955: SWAP1
00000956: DUP7
00000957: SWAP1
00000958: PUSH1 0x04
0000095a: ADD
0000095b: PUSH2 0x1c76
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x20
00000962: PUSH1 0x40
00000964: MLOAD
00000965: DUP1
00000966: DUP4
00000967: SUB
00000968: DUP2
00000969: DUP7
0000096a: DUP1
0000096b: EXTCODESIZE
0000096c: ISZERO
0000096d: DUP1
0000096e: ISZERO
0000096f: PUSH2 0x0977
00000972: JUMPI
00000973: PUSH1 0x00
00000975: DUP1
00000976: REVERT
00000977: JUMPDEST
00000978: POP
00000979: GAS
0000097a: STATICCALL
0000097b: ISZERO
0000097c: DUP1
0000097d: ISZERO
0000097e: PUSH2 0x098b
00000981: JUMPI
00000982: RETURNDATASIZE
00000983: PUSH1 0x00
00000985: DUP1
00000986: RETURNDATACOPY
00000987: RETURNDATASIZE
00000988: PUSH1 0x00
0000098a: REVERT
0000098b: JUMPDEST
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: POP
00000990: PUSH1 0x40
00000992: MLOAD
00000993: RETURNDATASIZE
00000994: PUSH1 0x1f
00000996: NOT
00000997: PUSH1 0x1f
00000999: DUP3
0000099a: ADD
0000099b: AND
0000099c: DUP3
0000099d: ADD
0000099e: DUP1
0000099f: PUSH1 0x40
000009a1: MSTORE
000009a2: POP
000009a3: DUP2
000009a4: ADD
000009a5: SWAP1
000009a6: PUSH2 0x09af
000009a9: SWAP2
000009aa: SWAP1
000009ab: PUSH2 0x18e1
000009ae: JUMP
000009af: JUMPDEST
000009b0: ISZERO
000009b1: JUMPDEST
000009b2: PUSH2 0x09cd
000009b5: JUMPI
000009b6: PUSH1 0x40
000009b8: MLOAD
000009b9: PUSH3 0x461bcd
000009bd: PUSH1 0xe5
000009bf: SHL
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x04
000009c4: ADD
000009c5: PUSH2 0x026e
000009c8: SWAP1
000009c9: PUSH2 0x2329
000009cc: JUMP
000009cd: JUMPDEST
000009ce: PUSH2 0x0a38
000009d1: DUP4
000009d2: PUSH4 0x095ea7b3
000009d7: PUSH1 0xe0
000009d9: SHL
000009da: DUP5
000009db: DUP5
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: PUSH1 0x24
000009e1: ADD
000009e2: PUSH2 0x09ec
000009e5: SWAP3
000009e6: SWAP2
000009e7: SWAP1
000009e8: PUSH2 0x1cb4
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x40
000009ef: DUP1
000009f0: MLOAD
000009f1: PUSH1 0x1f
000009f3: NOT
000009f4: DUP2
000009f5: DUP5
000009f6: SUB
000009f7: ADD
000009f8: DUP2
000009f9: MSTORE
000009fa: SWAP2
000009fb: SWAP1
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: DUP2
00000a00: ADD
00000a01: DUP1
00000a02: MLOAD
00000a03: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: PUSH1 0x01
00000a23: PUSH1 0x01
00000a25: PUSH1 0xe0
00000a27: SHL
00000a28: SUB
00000a29: NOT
00000a2a: SWAP1
00000a2b: SWAP4
00000a2c: AND
00000a2d: SWAP3
00000a2e: SWAP1
00000a2f: SWAP3
00000a30: OR
00000a31: SWAP1
00000a32: SWAP2
00000a33: MSTORE
00000a34: PUSH2 0x0e90
00000a37: JUMP
00000a38: JUMPDEST
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: PUSH2 0x0a45
00000a41: PUSH2 0x1528
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH2 0x0a4d
00000a49: PUSH2 0x15ad
00000a4c: JUMP
00000a4d: JUMPDEST
00000a4e: PUSH1 0x00
00000a50: PUSH1 0x60
00000a52: PUSH2 0x0a5a
00000a55: DUP7
00000a56: PUSH2 0x0f1f
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x20
00000a5d: DUP4
00000a5e: ADD
00000a5f: MLOAD
00000a60: SWAP3
00000a61: SWAP7
00000a62: POP
00000a63: SWAP1
00000a64: SWAP4
00000a65: POP
00000a66: SWAP2
00000a67: POP
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: AND
00000a71: ADDRESS
00000a72: EQ
00000a73: PUSH2 0x0a8e
00000a76: JUMPI
00000a77: PUSH1 0x40
00000a79: MLOAD
00000a7a: PUSH3 0x461bcd
00000a7e: PUSH1 0xe5
00000a80: SHL
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x04
00000a85: ADD
00000a86: PUSH2 0x026e
00000a89: SWAP1
00000a8a: PUSH2 0x1e8d
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: DUP2
00000a90: DUP5
00000a91: PUSH1 0xa0
00000a93: ADD
00000a94: MLOAD
00000a95: EQ
00000a96: PUSH2 0x0ab1
00000a99: JUMPI
00000a9a: PUSH1 0x40
00000a9c: MLOAD
00000a9d: PUSH3 0x461bcd
00000aa1: PUSH1 0xe5
00000aa3: SHL
00000aa4: DUP2
00000aa5: MSTORE
00000aa6: PUSH1 0x04
00000aa8: ADD
00000aa9: PUSH2 0x026e
00000aac: SWAP1
00000aad: PUSH2 0x1f32
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH2 0x0abc
00000ab5: DUP8
00000ab6: ADDRESS
00000ab7: DUP9
00000ab8: PUSH2 0x0fc3
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH1 0xa0
00000abf: DUP5
00000ac0: ADD
00000ac1: MSTORE
00000ac2: PUSH2 0x0aca
00000ac5: DUP5
00000ac6: PUSH2 0x102a
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0xc0
00000acd: DUP5
00000ace: ADD
00000acf: MSTORE
00000ad0: PUSH2 0x0120
00000ad3: DUP5
00000ad4: ADD
00000ad5: MLOAD
00000ad6: PUSH2 0xffff
00000ad9: AND
00000ada: PUSH1 0x40
00000adc: DUP5
00000add: ADD
00000ade: MSTORE
00000adf: PUSH2 0x0ae7
00000ae2: DUP6
00000ae3: PUSH2 0x1043
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH1 0x01
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: SHL
00000aef: SUB
00000af0: AND
00000af1: PUSH1 0x20
00000af3: DUP5
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH1 0xa0
00000af8: DUP4
00000af9: ADD
00000afa: MLOAD
00000afb: PUSH2 0x0b04
00000afe: SWAP1
00000aff: DUP7
00000b00: PUSH2 0x107d
00000b03: JUMP
00000b04: JUMPDEST
00000b05: PUSH1 0x01
00000b07: PUSH1 0x01
00000b09: PUSH1 0xa0
00000b0b: SHL
00000b0c: SUB
00000b0d: SWAP1
00000b0e: DUP2
00000b0f: AND
00000b10: DUP1
00000b11: DUP6
00000b12: MSTORE
00000b13: PUSH1 0x40
00000b15: DUP7
00000b16: ADD
00000b17: MLOAD
00000b18: SWAP1
00000b19: SWAP2
00000b1a: AND
00000b1b: EQ
00000b1c: PUSH2 0x0c30
00000b1f: JUMPI
00000b20: PUSH2 0x0b35
00000b23: DUP5
00000b24: PUSH1 0x40
00000b26: ADD
00000b27: MLOAD
00000b28: PUSH1 0x01
00000b2a: PUSH1 0x01
00000b2c: PUSH1 0xa0
00000b2e: SHL
00000b2f: SUB
00000b30: AND
00000b31: PUSH2 0x1119
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH2 0x0b51
00000b39: JUMPI
00000b3a: PUSH1 0x40
00000b3c: MLOAD
00000b3d: PUSH3 0x461bcd
00000b41: PUSH1 0xe5
00000b43: SHL
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x04
00000b48: ADD
00000b49: PUSH2 0x026e
00000b4c: SWAP1
00000b4d: PUSH2 0x1ffd
00000b50: JUMP
00000b51: JUMPDEST
00000b52: DUP4
00000b53: PUSH1 0x40
00000b55: ADD
00000b56: MLOAD
00000b57: PUSH1 0x01
00000b59: PUSH1 0x01
00000b5b: PUSH1 0xa0
00000b5d: SHL
00000b5e: SUB
00000b5f: AND
00000b60: PUSH4 0x1626ba7e
00000b65: DUP5
00000b66: PUSH1 0xa0
00000b68: ADD
00000b69: MLOAD
00000b6a: DUP8
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: DUP4
00000b6f: PUSH4 0xffffffff
00000b74: AND
00000b75: PUSH1 0xe0
00000b77: SHL
00000b78: DUP2
00000b79: MSTORE
00000b7a: PUSH1 0x04
00000b7c: ADD
00000b7d: PUSH2 0x0b87
00000b80: SWAP3
00000b81: SWAP2
00000b82: SWAP1
00000b83: PUSH2 0x1cd6
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH1 0x20
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: DUP1
00000b8e: DUP4
00000b8f: SUB
00000b90: DUP2
00000b91: DUP7
00000b92: DUP1
00000b93: EXTCODESIZE
00000b94: ISZERO
00000b95: DUP1
00000b96: ISZERO
00000b97: PUSH2 0x0b9f
00000b9a: JUMPI
00000b9b: PUSH1 0x00
00000b9d: DUP1
00000b9e: REVERT
00000b9f: JUMPDEST
00000ba0: POP
00000ba1: GAS
00000ba2: STATICCALL
00000ba3: ISZERO
00000ba4: DUP1
00000ba5: ISZERO
00000ba6: PUSH2 0x0bb3
00000ba9: JUMPI
00000baa: RETURNDATASIZE
00000bab: PUSH1 0x00
00000bad: DUP1
00000bae: RETURNDATACOPY
00000baf: RETURNDATASIZE
00000bb0: PUSH1 0x00
00000bb2: REVERT
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: POP
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: RETURNDATASIZE
00000bbc: PUSH1 0x1f
00000bbe: NOT
00000bbf: PUSH1 0x1f
00000bc1: DUP3
00000bc2: ADD
00000bc3: AND
00000bc4: DUP3
00000bc5: ADD
00000bc6: DUP1
00000bc7: PUSH1 0x40
00000bc9: MSTORE
00000bca: POP
00000bcb: DUP2
00000bcc: ADD
00000bcd: SWAP1
00000bce: PUSH2 0x0bd7
00000bd1: SWAP2
00000bd2: SWAP1
00000bd3: PUSH2 0x176c
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH1 0x01
00000bda: PUSH1 0x01
00000bdc: PUSH1 0xe0
00000bde: SHL
00000bdf: SUB
00000be0: NOT
00000be1: AND
00000be2: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000
00000c03: EQ
00000c04: PUSH2 0x0c1f
00000c07: JUMPI
00000c08: PUSH1 0x40
00000c0a: MLOAD
00000c0b: PUSH3 0x461bcd
00000c0f: PUSH1 0xe5
00000c11: SHL
00000c12: DUP2
00000c13: MSTORE
00000c14: PUSH1 0x04
00000c16: ADD
00000c17: PUSH2 0x026e
00000c1a: SWAP1
00000c1b: PUSH2 0x1efb
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x40
00000c22: DUP5
00000c23: ADD
00000c24: MLOAD
00000c25: PUSH1 0x01
00000c27: PUSH1 0x01
00000c29: PUSH1 0xa0
00000c2b: SHL
00000c2c: SUB
00000c2d: AND
00000c2e: DUP4
00000c2f: MSTORE
00000c30: JUMPDEST
00000c31: PUSH2 0x2710
00000c34: DUP4
00000c35: PUSH1 0x40
00000c37: ADD
00000c38: MLOAD
00000c39: PUSH2 0xffff
00000c3c: AND
00000c3d: LT
00000c3e: PUSH2 0x0c59
00000c41: JUMPI
00000c42: PUSH1 0x40
00000c44: MLOAD
00000c45: PUSH3 0x461bcd
00000c49: PUSH1 0xe5
00000c4b: SHL
00000c4c: DUP2
00000c4d: MSTORE
00000c4e: PUSH1 0x04
00000c50: ADD
00000c51: PUSH2 0x026e
00000c54: SWAP1
00000c55: PUSH2 0x21ca
00000c58: JUMP
00000c59: JUMPDEST
00000c5a: PUSH1 0x20
00000c5c: DUP4
00000c5d: ADD
00000c5e: MLOAD
00000c5f: PUSH1 0x01
00000c61: PUSH1 0x01
00000c63: PUSH1 0xa0
00000c65: SHL
00000c66: SUB
00000c67: AND
00000c68: PUSH2 0x0c83
00000c6b: JUMPI
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: PUSH3 0x461bcd
00000c73: PUSH1 0xe5
00000c75: SHL
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x04
00000c7a: ADD
00000c7b: PUSH2 0x026e
00000c7e: SWAP1
00000c7f: PUSH2 0x1f69
00000c82: JUMP
00000c83: JUMPDEST
00000c84: PUSH2 0x0c91
00000c87: DUP5
00000c88: PUSH2 0x0140
00000c8b: ADD
00000c8c: MLOAD
00000c8d: PUSH2 0x111f
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: AND
00000c9b: PUSH1 0x60
00000c9d: DUP5
00000c9e: ADD
00000c9f: MSTORE
00000ca0: PUSH2 0x0160
00000ca3: DUP5
00000ca4: ADD
00000ca5: MLOAD
00000ca6: PUSH2 0x0cae
00000ca9: SWAP1
00000caa: PUSH2 0x111f
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x01
00000cb1: PUSH1 0x01
00000cb3: PUSH1 0xa0
00000cb5: SHL
00000cb6: SUB
00000cb7: AND
00000cb8: PUSH1 0x80
00000cba: DUP5
00000cbb: ADD
00000cbc: MSTORE
00000cbd: POP
00000cbe: POP
00000cbf: SWAP4
00000cc0: POP
00000cc1: SWAP4
00000cc2: SWAP2
00000cc3: POP
00000cc4: POP
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0x00
00000cc9: PUSH2 0x0d50
00000ccc: DUP3
00000ccd: DUP6
00000cce: PUSH1 0x01
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0xa0
00000cd4: SHL
00000cd5: SUB
00000cd6: AND
00000cd7: PUSH4 0xdd62ed3e
00000cdc: ADDRESS
00000cdd: DUP8
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: DUP4
00000ce2: PUSH4 0xffffffff
00000ce7: AND
00000ce8: PUSH1 0xe0
00000cea: SHL
00000ceb: DUP2
00000cec: MSTORE
00000ced: PUSH1 0x04
00000cef: ADD
00000cf0: PUSH2 0x0cfa
00000cf3: SWAP3
00000cf4: SWAP2
00000cf5: SWAP1
00000cf6: PUSH2 0x1c76
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x20
00000cfd: PUSH1 0x40
00000cff: MLOAD
00000d00: DUP1
00000d01: DUP4
00000d02: SUB
00000d03: DUP2
00000d04: DUP7
00000d05: DUP1
00000d06: EXTCODESIZE
00000d07: ISZERO
00000d08: DUP1
00000d09: ISZERO
00000d0a: PUSH2 0x0d12
00000d0d: JUMPI
00000d0e: PUSH1 0x00
00000d10: DUP1
00000d11: REVERT
00000d12: JUMPDEST
00000d13: POP
00000d14: GAS
00000d15: STATICCALL
00000d16: ISZERO
00000d17: DUP1
00000d18: ISZERO
00000d19: PUSH2 0x0d26
00000d1c: JUMPI
00000d1d: RETURNDATASIZE
00000d1e: PUSH1 0x00
00000d20: DUP1
00000d21: RETURNDATACOPY
00000d22: RETURNDATASIZE
00000d23: PUSH1 0x00
00000d25: REVERT
00000d26: JUMPDEST
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: PUSH1 0x40
00000d2d: MLOAD
00000d2e: RETURNDATASIZE
00000d2f: PUSH1 0x1f
00000d31: NOT
00000d32: PUSH1 0x1f
00000d34: DUP3
00000d35: ADD
00000d36: AND
00000d37: DUP3
00000d38: ADD
00000d39: DUP1
00000d3a: PUSH1 0x40
00000d3c: MSTORE
00000d3d: POP
00000d3e: DUP2
00000d3f: ADD
00000d40: SWAP1
00000d41: PUSH2 0x0d4a
00000d44: SWAP2
00000d45: SWAP1
00000d46: PUSH2 0x18e1
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: SWAP1
00000d4c: PUSH2 0x114d
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: SWAP1
00000d52: POP
00000d53: PUSH2 0x02c1
00000d56: DUP5
00000d57: PUSH4 0x095ea7b3
00000d5c: PUSH1 0xe0
00000d5e: SHL
00000d5f: DUP6
00000d60: DUP5
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: PUSH1 0x24
00000d66: ADD
00000d67: PUSH2 0x09ec
00000d6a: SWAP3
00000d6b: SWAP2
00000d6c: SWAP1
00000d6d: PUSH2 0x1cb4
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH1 0x00
00000d74: DUP3
00000d75: PUSH2 0xffff
00000d78: DUP4
00000d79: AND
00000d7a: ISZERO
00000d7b: PUSH2 0x0da5
00000d7e: JUMPI
00000d7f: PUSH2 0x0da2
00000d82: PUSH2 0x2710
00000d85: PUSH2 0x0d9c
00000d88: PUSH2 0x0d95
00000d8b: DUP3
00000d8c: PUSH2 0xffff
00000d8f: DUP9
00000d90: AND
00000d91: PUSH2 0x1179
00000d94: JUMP
00000d95: JUMPDEST
00000d96: DUP5
00000d97: SWAP1
00000d98: PUSH2 0x11bb
00000d9b: JUMP
00000d9c: JUMPDEST
00000d9d: SWAP1
00000d9e: PUSH2 0x11f5
00000da1: JUMP
00000da2: JUMPDEST
00000da3: SWAP1
00000da4: POP
00000da5: JUMPDEST
00000da6: DUP7
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: AND
00000db0: DUP6
00000db1: PUSH1 0x01
00000db3: PUSH1 0x01
00000db5: PUSH1 0xa0
00000db7: SHL
00000db8: SUB
00000db9: AND
00000dba: EQ
00000dbb: ISZERO
00000dbc: PUSH2 0x0e72
00000dbf: JUMPI
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x01
00000de8: PUSH1 0x01
00000dea: PUSH1 0xa0
00000dec: SHL
00000ded: SUB
00000dee: DUP9
00000def: AND
00000df0: SWAP1
00000df1: PUSH4 0x2e1a7d4d
00000df6: SWAP1
00000df7: PUSH2 0x0e04
00000dfa: SWAP1
00000dfb: DUP5
00000dfc: SWAP1
00000dfd: PUSH1 0x04
00000dff: ADD
00000e00: PUSH2 0x1ccd
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x00
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP1
00000e0b: DUP4
00000e0c: SUB
00000e0d: DUP2
00000e0e: PUSH1 0x00
00000e10: DUP8
00000e11: DUP1
00000e12: EXTCODESIZE
00000e13: ISZERO
00000e14: DUP1
00000e15: ISZERO
00000e16: PUSH2 0x0e1e
00000e19: JUMPI
00000e1a: PUSH1 0x00
00000e1c: DUP1
00000e1d: REVERT
00000e1e: JUMPDEST
00000e1f: POP
00000e20: GAS
00000e21: CALL
00000e22: ISZERO
00000e23: DUP1
00000e24: ISZERO
00000e25: PUSH2 0x0e32
00000e28: JUMPI
00000e29: RETURNDATASIZE
00000e2a: PUSH1 0x00
00000e2c: DUP1
00000e2d: RETURNDATACOPY
00000e2e: RETURNDATASIZE
00000e2f: PUSH1 0x00
00000e31: REVERT
00000e32: JUMPDEST
00000e33: POP
00000e34: POP
00000e35: PUSH1 0x40
00000e37: MLOAD
00000e38: PUSH1 0x01
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0xa0
00000e3e: SHL
00000e3f: SUB
00000e40: DUP10
00000e41: AND
00000e42: SWAP3
00000e43: POP
00000e44: DUP4
00000e45: ISZERO
00000e46: PUSH2 0x08fc
00000e49: MUL
00000e4a: SWAP2
00000e4b: POP
00000e4c: DUP4
00000e4d: SWAP1
00000e4e: PUSH1 0x00
00000e50: DUP2
00000e51: DUP2
00000e52: DUP2
00000e53: DUP6
00000e54: DUP9
00000e55: DUP9
00000e56: CALL
00000e57: SWAP4
00000e58: POP
00000e59: POP
00000e5a: POP
00000e5b: POP
00000e5c: ISZERO
00000e5d: DUP1
00000e5e: ISZERO
00000e5f: PUSH2 0x0e6c
00000e62: JUMPI
00000e63: RETURNDATASIZE
00000e64: PUSH1 0x00
00000e66: DUP1
00000e67: RETURNDATACOPY
00000e68: RETURNDATASIZE
00000e69: PUSH1 0x00
00000e6b: REVERT
00000e6c: JUMPDEST
00000e6d: POP
00000e6e: PUSH2 0x0e86
00000e71: JUMP
00000e72: JUMPDEST
00000e73: PUSH2 0x0e86
00000e76: PUSH1 0x01
00000e78: PUSH1 0x01
00000e7a: PUSH1 0xa0
00000e7c: SHL
00000e7d: SUB
00000e7e: DUP7
00000e7f: AND
00000e80: DUP8
00000e81: DUP4
00000e82: PUSH2 0x1237
00000e85: JUMP
00000e86: JUMPDEST
00000e87: SWAP7
00000e88: SWAP6
00000e89: POP
00000e8a: POP
00000e8b: POP
00000e8c: POP
00000e8d: POP
00000e8e: POP
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x60
00000e93: PUSH2 0x0ee5
00000e96: DUP3
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: DUP1
00000e9b: PUSH1 0x40
00000e9d: ADD
00000e9e: PUSH1 0x40
00000ea0: MSTORE
00000ea1: DUP1
00000ea2: PUSH1 0x20
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x20
00000ea8: ADD
00000ea9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000eca: DUP2
00000ecb: MSTORE
00000ecc: POP
00000ecd: DUP6
00000ece: PUSH1 0x01
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0xa0
00000ed4: SHL
00000ed5: SUB
00000ed6: AND
00000ed7: PUSH2 0x1256
00000eda: SWAP1
00000edb: SWAP3
00000edc: SWAP2
00000edd: SWAP1
00000ede: PUSH4 0xffffffff
00000ee3: AND
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: DUP1
00000ee7: MLOAD
00000ee8: SWAP1
00000ee9: SWAP2
00000eea: POP
00000eeb: ISZERO
00000eec: PUSH2 0x0a38
00000eef: JUMPI
00000ef0: DUP1
00000ef1: DUP1
00000ef2: PUSH1 0x20
00000ef4: ADD
00000ef5: SWAP1
00000ef6: MLOAD
00000ef7: DUP2
00000ef8: ADD
00000ef9: SWAP1
00000efa: PUSH2 0x0f03
00000efd: SWAP2
00000efe: SWAP1
00000eff: PUSH2 0x174c
00000f02: JUMP
00000f03: JUMPDEST
00000f04: PUSH2 0x0a38
00000f07: JUMPI
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: PUSH3 0x461bcd
00000f0f: PUSH1 0xe5
00000f11: SHL
00000f12: DUP2
00000f13: MSTORE
00000f14: PUSH1 0x04
00000f16: ADD
00000f17: PUSH2 0x026e
00000f1a: SWAP1
00000f1b: PUSH2 0x2295
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH2 0x0f27
00000f23: PUSH2 0x1528
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x00
00000f2a: PUSH1 0x60
00000f2c: PUSH2 0x0320
00000f2f: DUP5
00000f30: MLOAD
00000f31: GT
00000f32: PUSH2 0x0f4d
00000f35: JUMPI
00000f36: PUSH1 0x40
00000f38: MLOAD
00000f39: PUSH3 0x461bcd
00000f3d: PUSH1 0xe5
00000f3f: SHL
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x04
00000f44: ADD
00000f45: PUSH2 0x026e
00000f48: SWAP1
00000f49: PUSH2 0x1de8
00000f4c: JUMP
00000f4d: JUMPDEST
00000f4e: PUSH2 0x0f58
00000f51: DUP5
00000f52: PUSH1 0x00
00000f54: PUSH2 0x126d
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f76: NOT
00000f77: AND
00000f78: PUSH4 0x64a3bc15
00000f7d: PUSH1 0xe0
00000f7f: SHL
00000f80: EQ
00000f81: PUSH2 0x0f9c
00000f84: JUMPI
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: PUSH3 0x461bcd
00000f8c: PUSH1 0xe5
00000f8e: SHL
00000f8f: DUP2
00000f90: MSTORE
00000f91: PUSH1 0x04
00000f93: ADD
00000f94: PUSH2 0x026e
00000f97: SWAP1
00000f98: PUSH2 0x206b
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: PUSH1 0x04
00000f9f: DUP5
00000fa0: ADD
00000fa1: DUP1
00000fa2: MLOAD
00000fa3: PUSH2 0x0fb5
00000fa6: SWAP1
00000fa7: DUP7
00000fa8: ADD
00000fa9: PUSH1 0x24
00000fab: SWAP1
00000fac: DUP2
00000fad: ADD
00000fae: SWAP1
00000faf: DUP8
00000fb0: ADD
00000fb1: PUSH2 0x1794
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: SWAP4
00000fb7: POP
00000fb8: SWAP4
00000fb9: POP
00000fba: SWAP4
00000fbb: POP
00000fbc: POP
00000fbd: SWAP2
00000fbe: SWAP4
00000fbf: SWAP1
00000fc0: SWAP3
00000fc1: POP
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x00
00000fc6: DUP1
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH2 0x0fd5
00000fd0: SWAP1
00000fd1: PUSH2 0x1a20
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: PUSH1 0x20
00000fdb: DUP2
00000fdc: DUP4
00000fdd: SUB
00000fde: SUB
00000fdf: DUP2
00000fe0: MSTORE
00000fe1: SWAP1
00000fe2: PUSH1 0x40
00000fe4: MSTORE
00000fe5: DUP1
00000fe6: MLOAD
00000fe7: SWAP1
00000fe8: PUSH1 0x20
00000fea: ADD
00000feb: KECCAK256
00000fec: SWAP1
00000fed: POP
00000fee: PUSH1 0x00
00000ff0: DUP4
00000ff1: DUP1
00000ff2: MLOAD
00000ff3: SWAP1
00000ff4: PUSH1 0x20
00000ff6: ADD
00000ff7: KECCAK256
00000ff8: SWAP1
00000ff9: POP
00000ffa: PUSH1 0x40
00000ffc: MLOAD
00000ffd: DUP3
00000ffe: DUP2
00000fff: MSTORE
00001000: DUP7
00001001: PUSH1 0x20
00001003: DUP3
00001004: ADD
00001005: MSTORE
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: DUP7
0000100f: AND
00001010: PUSH1 0x40
00001012: DUP3
00001013: ADD
00001014: MSTORE
00001015: DUP2
00001016: PUSH1 0x60
00001018: DUP3
00001019: ADD
0000101a: MSTORE
0000101b: PUSH1 0x80
0000101d: DUP2
0000101e: KECCAK256
0000101f: SWAP4
00001020: POP
00001021: POP
00001022: PUSH2 0x0e86
00001025: DUP4
00001026: PUSH2 0x12a6
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x00
0000102d: PUSH2 0x103d
00001030: PUSH2 0x1038
00001033: DUP4
00001034: PUSH2 0x12e6
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH2 0x12a6
0000103c: JUMP
0000103d: JUMPDEST
0000103e: SWAP3
0000103f: SWAP2
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH1 0x00
00001046: DUP2
00001047: MLOAD
00001048: PUSH1 0x55
0000104a: EQ
0000104b: DUP1
0000104c: PUSH2 0x1056
0000104f: JUMPI
00001050: POP
00001051: DUP2
00001052: MLOAD
00001053: PUSH1 0x56
00001055: EQ
00001056: JUMPDEST
00001057: PUSH2 0x1072
0000105a: JUMPI
0000105b: PUSH1 0x40
0000105d: MLOAD
0000105e: PUSH3 0x461bcd
00001062: PUSH1 0xe5
00001064: SHL
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x04
00001069: ADD
0000106a: PUSH2 0x026e
0000106d: SWAP1
0000106e: PUSH2 0x20ff
00001071: JUMP
00001072: JUMPDEST
00001073: PUSH2 0x103d
00001076: DUP3
00001077: PUSH1 0x41
00001079: PUSH2 0x1351
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH1 0x00
00001080: DUP1
00001081: PUSH1 0x00
00001083: DUP1
00001084: PUSH1 0x00
00001086: PUSH2 0x108e
00001089: DUP7
0000108a: PUSH2 0x1389
0000108d: JUMP
0000108e: JUMPDEST
0000108f: SWAP4
00001090: POP
00001091: SWAP4
00001092: POP
00001093: SWAP4
00001094: POP
00001095: SWAP4
00001096: POP
00001097: PUSH1 0x01
00001099: DUP8
0000109a: DUP3
0000109b: PUSH1 0x40
0000109d: MLOAD
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: PUSH2 0x10ab
000010a4: SWAP3
000010a5: SWAP2
000010a6: SWAP1
000010a7: PUSH2 0x19e4
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: PUSH1 0x20
000010b1: DUP2
000010b2: DUP4
000010b3: SUB
000010b4: SUB
000010b5: DUP2
000010b6: MSTORE
000010b7: SWAP1
000010b8: PUSH1 0x40
000010ba: MSTORE
000010bb: DUP1
000010bc: MLOAD
000010bd: SWAP1
000010be: PUSH1 0x20
000010c0: ADD
000010c1: KECCAK256
000010c2: DUP6
000010c3: DUP6
000010c4: DUP6
000010c5: PUSH1 0x40
000010c7: MLOAD
000010c8: PUSH1 0x00
000010ca: DUP2
000010cb: MSTORE
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: PUSH1 0x40
000010d1: MSTORE
000010d2: PUSH1 0x40
000010d4: MLOAD
000010d5: PUSH2 0x10e1
000010d8: SWAP5
000010d9: SWAP4
000010da: SWAP3
000010db: SWAP2
000010dc: SWAP1
000010dd: PUSH2 0x1cef
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH1 0x20
000010e4: PUSH1 0x40
000010e6: MLOAD
000010e7: PUSH1 0x20
000010e9: DUP2
000010ea: SUB
000010eb: SWAP1
000010ec: DUP1
000010ed: DUP5
000010ee: SUB
000010ef: SWAP1
000010f0: DUP6
000010f1: GAS
000010f2: STATICCALL
000010f3: ISZERO
000010f4: DUP1
000010f5: ISZERO
000010f6: PUSH2 0x1103
000010f9: JUMPI
000010fa: RETURNDATASIZE
000010fb: PUSH1 0x00
000010fd: DUP1
000010fe: RETURNDATACOPY
000010ff: RETURNDATASIZE
00001100: PUSH1 0x00
00001102: REVERT
00001103: JUMPDEST
00001104: POP
00001105: POP
00001106: PUSH1 0x40
00001108: MLOAD
00001109: PUSH1 0x1f
0000110b: NOT
0000110c: ADD
0000110d: MLOAD
0000110e: SWAP9
0000110f: SWAP8
00001110: POP
00001111: POP
00001112: POP
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: POP
00001118: JUMP
00001119: JUMPDEST
0000111a: EXTCODESIZE
0000111b: ISZERO
0000111c: ISZERO
0000111d: SWAP1
0000111e: JUMP
0000111f: JUMPDEST
00001120: PUSH1 0x00
00001122: DUP2
00001123: MLOAD
00001124: PUSH1 0x24
00001126: EQ
00001127: PUSH2 0x1142
0000112a: JUMPI
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: PUSH3 0x461bcd
00001132: PUSH1 0xe5
00001134: SHL
00001135: DUP2
00001136: MSTORE
00001137: PUSH1 0x04
00001139: ADD
0000113a: PUSH2 0x026e
0000113d: SWAP1
0000113e: PUSH2 0x2034
00001141: JUMP
00001142: JUMPDEST
00001143: PUSH2 0x103d
00001146: DUP3
00001147: PUSH1 0x10
00001149: PUSH2 0x1351
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x00
00001150: DUP3
00001151: DUP3
00001152: ADD
00001153: DUP4
00001154: DUP2
00001155: LT
00001156: ISZERO
00001157: PUSH2 0x1172
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: PUSH3 0x461bcd
00001162: PUSH1 0xe5
00001164: SHL
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x04
00001169: ADD
0000116a: PUSH2 0x026e
0000116d: SWAP1
0000116e: PUSH2 0x1e1f
00001171: JUMP
00001172: JUMPDEST
00001173: SWAP4
00001174: SWAP3
00001175: POP
00001176: POP
00001177: POP
00001178: JUMP
00001179: JUMPDEST
0000117a: PUSH1 0x00
0000117c: PUSH2 0x1172
0000117f: DUP4
00001180: DUP4
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: PUSH1 0x40
00001187: ADD
00001188: PUSH1 0x40
0000118a: MSTORE
0000118b: DUP1
0000118c: PUSH1 0x1e
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x20
00001192: ADD
00001193: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000011b4: DUP2
000011b5: MSTORE
000011b6: POP
000011b7: PUSH2 0x13d2
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x00
000011be: DUP3
000011bf: PUSH2 0x11ca
000011c2: JUMPI
000011c3: POP
000011c4: PUSH1 0x00
000011c6: PUSH2 0x103d
000011c9: JUMP
000011ca: JUMPDEST
000011cb: DUP3
000011cc: DUP3
000011cd: MUL
000011ce: DUP3
000011cf: DUP5
000011d0: DUP3
000011d1: DUP2
000011d2: PUSH2 0x11d7
000011d5: JUMPI
000011d6: INVALID
000011d7: JUMPDEST
000011d8: DIV
000011d9: EQ
000011da: PUSH2 0x1172
000011dd: JUMPI
000011de: PUSH1 0x40
000011e0: MLOAD
000011e1: PUSH3 0x461bcd
000011e5: PUSH1 0xe5
000011e7: SHL
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x04
000011ec: ADD
000011ed: PUSH2 0x026e
000011f0: SWAP1
000011f1: PUSH2 0x1fa0
000011f4: JUMP
000011f5: JUMPDEST
000011f6: PUSH1 0x00
000011f8: PUSH2 0x1172
000011fb: DUP4
000011fc: DUP4
000011fd: PUSH1 0x40
000011ff: MLOAD
00001200: DUP1
00001201: PUSH1 0x40
00001203: ADD
00001204: PUSH1 0x40
00001206: MSTORE
00001207: DUP1
00001208: PUSH1 0x1a
0000120a: DUP2
0000120b: MSTORE
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001230: DUP2
00001231: MSTORE
00001232: POP
00001233: PUSH2 0x13fe
00001236: JUMP
00001237: JUMPDEST
00001238: PUSH2 0x0a38
0000123b: DUP4
0000123c: PUSH4 0xa9059cbb
00001241: PUSH1 0xe0
00001243: SHL
00001244: DUP5
00001245: DUP5
00001246: PUSH1 0x40
00001248: MLOAD
00001249: PUSH1 0x24
0000124b: ADD
0000124c: PUSH2 0x09ec
0000124f: SWAP3
00001250: SWAP2
00001251: SWAP1
00001252: PUSH2 0x1cb4
00001255: JUMP
00001256: JUMPDEST
00001257: PUSH1 0x60
00001259: PUSH2 0x1265
0000125c: DUP5
0000125d: DUP5
0000125e: PUSH1 0x00
00001260: DUP6
00001261: PUSH2 0x1435
00001264: JUMP
00001265: JUMPDEST
00001266: SWAP5
00001267: SWAP4
00001268: POP
00001269: POP
0000126a: POP
0000126b: POP
0000126c: JUMP
0000126d: JUMPDEST
0000126e: PUSH1 0x00
00001270: DUP2
00001271: PUSH1 0x04
00001273: ADD
00001274: DUP4
00001275: MLOAD
00001276: LT
00001277: ISZERO
00001278: PUSH2 0x1293
0000127b: JUMPI
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: PUSH3 0x461bcd
00001283: PUSH1 0xe5
00001285: SHL
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x04
0000128a: ADD
0000128b: PUSH2 0x026e
0000128e: SWAP1
0000128f: PUSH2 0x2238
00001292: JUMP
00001293: JUMPDEST
00001294: POP
00001295: ADD
00001296: PUSH1 0x20
00001298: ADD
00001299: MLOAD
0000129a: PUSH1 0x01
0000129c: PUSH1 0x01
0000129e: PUSH1 0xe0
000012a0: SHL
000012a1: SUB
000012a2: NOT
000012a3: AND
000012a4: SWAP1
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x01
000012a9: SLOAD
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
000012ce: DUP2
000012cf: MSTORE
000012d0: PUSH1 0x02
000012d2: DUP2
000012d3: ADD
000012d4: SWAP2
000012d5: SWAP1
000012d6: SWAP2
000012d7: MSTORE
000012d8: PUSH1 0x22
000012da: DUP2
000012db: ADD
000012dc: SWAP2
000012dd: SWAP1
000012de: SWAP2
000012df: MSTORE
000012e0: PUSH1 0x42
000012e2: SWAP1
000012e3: KECCAK256
000012e4: SWAP1
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH1 0x00
000012e9: DUP1
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: PUSH2 0x12f8
000012f3: SWAP1
000012f4: PUSH2 0x1ab5
000012f7: JUMP
000012f8: JUMPDEST
000012f9: PUSH1 0x40
000012fb: DUP1
000012fc: MLOAD
000012fd: PUSH1 0x1f
000012ff: NOT
00001300: DUP2
00001301: DUP5
00001302: SUB
00001303: DUP2
00001304: ADD
00001305: DUP3
00001306: MSTORE
00001307: SWAP3
00001308: SWAP1
00001309: SWAP2
0000130a: MSTORE
0000130b: DUP1
0000130c: MLOAD
0000130d: PUSH1 0x20
0000130f: SWAP2
00001310: DUP3
00001311: ADD
00001312: KECCAK256
00001313: PUSH2 0x0140
00001316: DUP7
00001317: ADD
00001318: DUP1
00001319: MLOAD
0000131a: DUP1
0000131b: MLOAD
0000131c: DUP2
0000131d: DUP6
0000131e: ADD
0000131f: KECCAK256
00001320: PUSH2 0x0160
00001323: DUP10
00001324: ADD
00001325: DUP1
00001326: MLOAD
00001327: DUP1
00001328: MLOAD
00001329: SWAP7
0000132a: DUP2
0000132b: ADD
0000132c: SWAP7
0000132d: SWAP1
0000132e: SWAP7
0000132f: KECCAK256
00001330: SWAP7
00001331: DUP11
00001332: ADD
00001333: DUP1
00001334: MLOAD
00001335: SWAP6
00001336: DUP2
00001337: MSTORE
00001338: SWAP2
00001339: DUP5
0000133a: MSTORE
0000133b: SWAP6
0000133c: DUP7
0000133d: MSTORE
0000133e: PUSH2 0x01a0
00001341: DUP2
00001342: KECCAK256
00001343: SWAP4
00001344: SWAP1
00001345: MSTORE
00001346: SWAP1
00001347: MSTORE
00001348: SWAP2
00001349: MSTORE
0000134a: SWAP2
0000134b: POP
0000134c: POP
0000134d: SWAP2
0000134e: SWAP1
0000134f: POP
00001350: JUMP
00001351: JUMPDEST
00001352: PUSH1 0x00
00001354: DUP2
00001355: PUSH1 0x14
00001357: ADD
00001358: DUP4
00001359: MLOAD
0000135a: LT
0000135b: ISZERO
0000135c: PUSH2 0x1377
0000135f: JUMPI
00001360: PUSH1 0x40
00001362: MLOAD
00001363: PUSH3 0x461bcd
00001367: PUSH1 0xe5
00001369: SHL
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x04
0000136e: ADD
0000136f: PUSH2 0x026e
00001372: SWAP1
00001373: PUSH2 0x20a2
00001376: JUMP
00001377: JUMPDEST
00001378: POP
00001379: ADD
0000137a: PUSH1 0x14
0000137c: ADD
0000137d: MLOAD
0000137e: PUSH1 0x01
00001380: PUSH1 0x01
00001382: PUSH1 0xa0
00001384: SHL
00001385: SUB
00001386: AND
00001387: SWAP1
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x00
0000138c: DUP1
0000138d: PUSH1 0x00
0000138f: DUP1
00001390: PUSH2 0x1398
00001393: DUP6
00001394: PUSH2 0x1043
00001397: JUMP
00001398: JUMPDEST
00001399: SWAP1
0000139a: POP
0000139b: DUP5
0000139c: PUSH1 0x00
0000139e: DUP2
0000139f: MLOAD
000013a0: DUP2
000013a1: LT
000013a2: PUSH2 0x13a7
000013a5: JUMPI
000013a6: INVALID
000013a7: JUMPDEST
000013a8: ADD
000013a9: PUSH1 0x20
000013ab: ADD
000013ac: MLOAD
000013ad: PUSH1 0xf8
000013af: SHR
000013b0: SWAP4
000013b1: POP
000013b2: PUSH2 0x13bc
000013b5: DUP6
000013b6: PUSH1 0x01
000013b8: PUSH2 0x14f9
000013bb: JUMP
000013bc: JUMPDEST
000013bd: SWAP3
000013be: POP
000013bf: PUSH2 0x13c9
000013c2: DUP6
000013c3: PUSH1 0x21
000013c5: PUSH2 0x14f9
000013c8: JUMP
000013c9: JUMPDEST
000013ca: SWAP2
000013cb: POP
000013cc: SWAP2
000013cd: SWAP4
000013ce: POP
000013cf: SWAP2
000013d0: SWAP4
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH1 0x00
000013d5: DUP2
000013d6: DUP5
000013d7: DUP5
000013d8: GT
000013d9: ISZERO
000013da: PUSH2 0x13f6
000013dd: JUMPI
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: PUSH3 0x461bcd
000013e5: PUSH1 0xe5
000013e7: SHL
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x04
000013ec: ADD
000013ed: PUSH2 0x026e
000013f0: SWAP2
000013f1: SWAP1
000013f2: PUSH2 0x1d0d
000013f5: JUMP
000013f6: JUMPDEST
000013f7: POP
000013f8: POP
000013f9: POP
000013fa: SWAP1
000013fb: SUB
000013fc: SWAP1
000013fd: JUMP
000013fe: JUMPDEST
000013ff: PUSH1 0x00
00001401: DUP2
00001402: DUP4
00001403: PUSH2 0x141f
00001406: JUMPI
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: PUSH3 0x461bcd
0000140e: PUSH1 0xe5
00001410: SHL
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x04
00001415: ADD
00001416: PUSH2 0x026e
00001419: SWAP2
0000141a: SWAP1
0000141b: PUSH2 0x1d0d
0000141e: JUMP
0000141f: JUMPDEST
00001420: POP
00001421: PUSH1 0x00
00001423: DUP4
00001424: DUP6
00001425: DUP2
00001426: PUSH2 0x142b
00001429: JUMPI
0000142a: INVALID
0000142b: JUMPDEST
0000142c: DIV
0000142d: SWAP6
0000142e: SWAP5
0000142f: POP
00001430: POP
00001431: POP
00001432: POP
00001433: POP
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x60
00001438: PUSH2 0x1440
0000143b: DUP6
0000143c: PUSH2 0x1119
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH2 0x145c
00001444: JUMPI
00001445: PUSH1 0x40
00001447: MLOAD
00001448: PUSH3 0x461bcd
0000144c: PUSH1 0xe5
0000144e: SHL
0000144f: DUP2
00001450: MSTORE
00001451: PUSH1 0x04
00001453: ADD
00001454: PUSH2 0x026e
00001457: SWAP1
00001458: PUSH2 0x2193
0000145b: JUMP
0000145c: JUMPDEST
0000145d: PUSH1 0x00
0000145f: PUSH1 0x60
00001461: DUP7
00001462: PUSH1 0x01
00001464: PUSH1 0x01
00001466: PUSH1 0xa0
00001468: SHL
00001469: SUB
0000146a: AND
0000146b: DUP6
0000146c: DUP8
0000146d: PUSH1 0x40
0000146f: MLOAD
00001470: PUSH2 0x1479
00001473: SWAP2
00001474: SWAP1
00001475: PUSH2 0x1a04
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH1 0x00
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: DUP1
00001480: DUP4
00001481: SUB
00001482: DUP2
00001483: DUP6
00001484: DUP8
00001485: GAS
00001486: CALL
00001487: SWAP3
00001488: POP
00001489: POP
0000148a: POP
0000148b: RETURNDATASIZE
0000148c: DUP1
0000148d: PUSH1 0x00
0000148f: DUP2
00001490: EQ
00001491: PUSH2 0x14b6
00001494: JUMPI
00001495: PUSH1 0x40
00001497: MLOAD
00001498: SWAP2
00001499: POP
0000149a: PUSH1 0x1f
0000149c: NOT
0000149d: PUSH1 0x3f
0000149f: RETURNDATASIZE
000014a0: ADD
000014a1: AND
000014a2: DUP3
000014a3: ADD
000014a4: PUSH1 0x40
000014a6: MSTORE
000014a7: RETURNDATASIZE
000014a8: DUP3
000014a9: MSTORE
000014aa: RETURNDATASIZE
000014ab: PUSH1 0x00
000014ad: PUSH1 0x20
000014af: DUP5
000014b0: ADD
000014b1: RETURNDATACOPY
000014b2: PUSH2 0x14bb
000014b5: JUMP
000014b6: JUMPDEST
000014b7: PUSH1 0x60
000014b9: SWAP2
000014ba: POP
000014bb: JUMPDEST
000014bc: POP
000014bd: SWAP2
000014be: POP
000014bf: SWAP2
000014c0: POP
000014c1: DUP2
000014c2: ISZERO
000014c3: PUSH2 0x14cf
000014c6: JUMPI
000014c7: SWAP2
000014c8: POP
000014c9: PUSH2 0x1265
000014cc: SWAP1
000014cd: POP
000014ce: JUMP
000014cf: JUMPDEST
000014d0: DUP1
000014d1: MLOAD
000014d2: ISZERO
000014d3: PUSH2 0x14df
000014d6: JUMPI
000014d7: DUP1
000014d8: MLOAD
000014d9: DUP1
000014da: DUP3
000014db: PUSH1 0x20
000014dd: ADD
000014de: REVERT
000014df: JUMPDEST
000014e0: DUP4
000014e1: PUSH1 0x40
000014e3: MLOAD
000014e4: PUSH3 0x461bcd
000014e8: PUSH1 0xe5
000014ea: SHL
000014eb: DUP2
000014ec: MSTORE
000014ed: PUSH1 0x04
000014ef: ADD
000014f0: PUSH2 0x026e
000014f3: SWAP2
000014f4: SWAP1
000014f5: PUSH2 0x1d0d
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH1 0x00
000014fc: DUP2
000014fd: PUSH1 0x20
000014ff: ADD
00001500: DUP4
00001501: MLOAD
00001502: LT
00001503: ISZERO
00001504: PUSH2 0x151f
00001507: JUMPI
00001508: PUSH1 0x40
0000150a: MLOAD
0000150b: PUSH3 0x461bcd
0000150f: PUSH1 0xe5
00001511: SHL
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x04
00001516: ADD
00001517: PUSH2 0x026e
0000151a: SWAP1
0000151b: PUSH2 0x2136
0000151e: JUMP
0000151f: JUMPDEST
00001520: POP
00001521: ADD
00001522: PUSH1 0x20
00001524: ADD
00001525: MLOAD
00001526: SWAP1
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x40
0000152b: MLOAD
0000152c: DUP1
0000152d: PUSH2 0x0180
00001530: ADD
00001531: PUSH1 0x40
00001533: MSTORE
00001534: DUP1
00001535: PUSH1 0x00
00001537: PUSH1 0x01
00001539: PUSH1 0x01
0000153b: PUSH1 0xa0
0000153d: SHL
0000153e: SUB
0000153f: AND
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x20
00001544: ADD
00001545: PUSH1 0x00
00001547: PUSH1 0x01
00001549: PUSH1 0x01
0000154b: PUSH1 0xa0
0000154d: SHL
0000154e: SUB
0000154f: AND
00001550: DUP2
00001551: MSTORE
00001552: PUSH1 0x20
00001554: ADD
00001555: PUSH1 0x00
00001557: PUSH1 0x01
00001559: PUSH1 0x01
0000155b: PUSH1 0xa0
0000155d: SHL
0000155e: SUB
0000155f: AND
00001560: DUP2
00001561: MSTORE
00001562: PUSH1 0x20
00001564: ADD
00001565: PUSH1 0x00
00001567: PUSH1 0x01
00001569: PUSH1 0x01
0000156b: PUSH1 0xa0
0000156d: SHL
0000156e: SUB
0000156f: AND
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x20
00001574: ADD
00001575: PUSH1 0x00
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x20
0000157b: ADD
0000157c: PUSH1 0x00
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x20
00001582: ADD
00001583: PUSH1 0x00
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x20
00001589: ADD
0000158a: PUSH1 0x00
0000158c: DUP2
0000158d: MSTORE
0000158e: PUSH1 0x20
00001590: ADD
00001591: PUSH1 0x00
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: ADD
00001598: PUSH1 0x00
0000159a: DUP2
0000159b: MSTORE
0000159c: PUSH1 0x20
0000159e: ADD
0000159f: PUSH1 0x60
000015a1: DUP2
000015a2: MSTORE
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: PUSH1 0x60
000015a8: DUP2
000015a9: MSTORE
000015aa: POP
000015ab: SWAP1
000015ac: JUMP
000015ad: JUMPDEST
000015ae: PUSH1 0x40
000015b0: DUP1
000015b1: MLOAD
000015b2: PUSH1 0xe0
000015b4: DUP2
000015b5: ADD
000015b6: DUP3
000015b7: MSTORE
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: DUP3
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: DUP3
000015c0: ADD
000015c1: DUP2
000015c2: SWAP1
000015c3: MSTORE
000015c4: SWAP2
000015c5: DUP2
000015c6: ADD
000015c7: DUP3
000015c8: SWAP1
000015c9: MSTORE
000015ca: PUSH1 0x60
000015cc: DUP2
000015cd: ADD
000015ce: DUP3
000015cf: SWAP1
000015d0: MSTORE
000015d1: PUSH1 0x80
000015d3: DUP2
000015d4: ADD
000015d5: DUP3
000015d6: SWAP1
000015d7: MSTORE
000015d8: PUSH1 0xa0
000015da: DUP2
000015db: ADD
000015dc: DUP3
000015dd: SWAP1
000015de: MSTORE
000015df: PUSH1 0xc0
000015e1: DUP2
000015e2: ADD
000015e3: SWAP2
000015e4: SWAP1
000015e5: SWAP2
000015e6: MSTORE
000015e7: SWAP1
000015e8: JUMP
000015e9: JUMPDEST
000015ea: DUP1
000015eb: MLOAD
000015ec: PUSH2 0x103d
000015ef: DUP2
000015f0: PUSH2 0x243d
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x00
000015f7: DUP3
000015f8: PUSH1 0x1f
000015fa: DUP4
000015fb: ADD
000015fc: SLT
000015fd: PUSH2 0x1604
00001600: JUMPI
00001601: DUP1
00001602: DUP2
00001603: REVERT
00001604: JUMPDEST
00001605: DUP2
00001606: CALLDATALOAD
00001607: PUSH2 0x1617
0000160a: PUSH2 0x1612
0000160d: DUP3
0000160e: PUSH2 0x23ed
00001611: JUMP
00001612: JUMPDEST
00001613: PUSH2 0x23c6
00001616: JUMP
00001617: JUMPDEST
00001618: SWAP2
00001619: POP
0000161a: DUP1
0000161b: DUP3
0000161c: MSTORE
0000161d: DUP4
0000161e: PUSH1 0x20
00001620: DUP3
00001621: DUP6
00001622: ADD
00001623: ADD
00001624: GT
00001625: ISZERO
00001626: PUSH2 0x162e
00001629: JUMPI
0000162a: PUSH1 0x00
0000162c: DUP1
0000162d: REVERT
0000162e: JUMPDEST
0000162f: DUP1
00001630: PUSH1 0x20
00001632: DUP5
00001633: ADD
00001634: PUSH1 0x20
00001636: DUP5
00001637: ADD
00001638: CALLDATACOPY
00001639: PUSH1 0x00
0000163b: SWAP1
0000163c: DUP3
0000163d: ADD
0000163e: PUSH1 0x20
00001640: ADD
00001641: MSTORE
00001642: SWAP3
00001643: SWAP2
00001644: POP
00001645: POP
00001646: JUMP
00001647: JUMPDEST
00001648: PUSH1 0x00
0000164a: DUP3
0000164b: PUSH1 0x1f
0000164d: DUP4
0000164e: ADD
0000164f: SLT
00001650: PUSH2 0x1657
00001653: JUMPI
00001654: DUP1
00001655: DUP2
00001656: REVERT
00001657: JUMPDEST
00001658: DUP2
00001659: MLOAD
0000165a: PUSH2 0x1665
0000165d: PUSH2 0x1612
00001660: DUP3
00001661: PUSH2 0x23ed
00001664: JUMP
00001665: JUMPDEST
00001666: SWAP2
00001667: POP
00001668: DUP1
00001669: DUP3
0000166a: MSTORE
0000166b: DUP4
0000166c: PUSH1 0x20
0000166e: DUP3
0000166f: DUP6
00001670: ADD
00001671: ADD
00001672: GT
00001673: ISZERO
00001674: PUSH2 0x167c
00001677: JUMPI
00001678: PUSH1 0x00
0000167a: DUP1
0000167b: REVERT
0000167c: JUMPDEST
0000167d: PUSH2 0x168d
00001680: DUP2
00001681: PUSH1 0x20
00001683: DUP5
00001684: ADD
00001685: PUSH1 0x20
00001687: DUP7
00001688: ADD
00001689: PUSH2 0x2411
0000168c: JUMP
0000168d: JUMPDEST
0000168e: POP
0000168f: SWAP3
00001690: SWAP2
00001691: POP
00001692: POP
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH1 0x00
00001697: PUSH1 0x20
00001699: DUP3
0000169a: DUP5
0000169b: SUB
0000169c: SLT
0000169d: ISZERO
0000169e: PUSH2 0x16a5
000016a1: JUMPI
000016a2: DUP1
000016a3: DUP2
000016a4: REVERT
000016a5: JUMPDEST
000016a6: DUP2
000016a7: CALLDATALOAD
000016a8: PUSH2 0x1172
000016ab: DUP2
000016ac: PUSH2 0x243d
000016af: JUMP
000016b0: JUMPDEST
000016b1: PUSH1 0x00
000016b3: PUSH1 0x20
000016b5: DUP3
000016b6: DUP5
000016b7: SUB
000016b8: SLT
000016b9: ISZERO
000016ba: PUSH2 0x16c1
000016bd: JUMPI
000016be: DUP1
000016bf: DUP2
000016c0: REVERT
000016c1: JUMPDEST
000016c2: DUP2
000016c3: MLOAD
000016c4: PUSH2 0x1172
000016c7: DUP2
000016c8: PUSH2 0x243d
000016cb: JUMP
000016cc: JUMPDEST
000016cd: PUSH1 0x00
000016cf: DUP1
000016d0: PUSH1 0x00
000016d2: PUSH1 0x40
000016d4: DUP5
000016d5: DUP7
000016d6: SUB
000016d7: SLT
000016d8: ISZERO
000016d9: PUSH2 0x16e0
000016dc: JUMPI
000016dd: DUP2
000016de: DUP3
000016df: REVERT
000016e0: JUMPDEST
000016e1: DUP4
000016e2: CALLDATALOAD
000016e3: PUSH8 0xffffffffffffffff
000016ec: DUP1
000016ed: DUP3
000016ee: GT
000016ef: ISZERO
000016f0: PUSH2 0x16f7
000016f3: JUMPI
000016f4: DUP4
000016f5: DUP5
000016f6: REVERT
000016f7: JUMPDEST
000016f8: DUP2
000016f9: DUP7
000016fa: ADD
000016fb: SWAP2
000016fc: POP
000016fd: DUP7
000016fe: PUSH1 0x1f
00001700: DUP4
00001701: ADD
00001702: SLT
00001703: PUSH2 0x170a
00001706: JUMPI
00001707: DUP4
00001708: DUP5
00001709: REVERT
0000170a: JUMPDEST
0000170b: DUP2
0000170c: CALLDATALOAD
0000170d: DUP2
0000170e: DUP2
0000170f: GT
00001710: ISZERO
00001711: PUSH2 0x1718
00001714: JUMPI
00001715: DUP5
00001716: DUP6
00001717: REVERT
00001718: JUMPDEST
00001719: DUP8
0000171a: PUSH1 0x20
0000171c: DUP1
0000171d: DUP4
0000171e: MUL
0000171f: DUP6
00001720: ADD
00001721: ADD
00001722: GT
00001723: ISZERO
00001724: PUSH2 0x172b
00001727: JUMPI
00001728: DUP5
00001729: DUP6
0000172a: REVERT
0000172b: JUMPDEST
0000172c: PUSH1 0x20
0000172e: SWAP3
0000172f: DUP4
00001730: ADD
00001731: SWAP6
00001732: POP
00001733: SWAP4
00001734: POP
00001735: POP
00001736: DUP5
00001737: ADD
00001738: CALLDATALOAD
00001739: PUSH2 0x1741
0000173c: DUP2
0000173d: PUSH2 0x243d
00001740: JUMP
00001741: JUMPDEST
00001742: DUP1
00001743: SWAP2
00001744: POP
00001745: POP
00001746: SWAP3
00001747: POP
00001748: SWAP3
00001749: POP
0000174a: SWAP3
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x00
0000174f: PUSH1 0x20
00001751: DUP3
00001752: DUP5
00001753: SUB
00001754: SLT
00001755: ISZERO
00001756: PUSH2 0x175d
00001759: JUMPI
0000175a: DUP1
0000175b: DUP2
0000175c: REVERT
0000175d: JUMPDEST
0000175e: DUP2
0000175f: MLOAD
00001760: DUP1
00001761: ISZERO
00001762: ISZERO
00001763: DUP2
00001764: EQ
00001765: PUSH2 0x1172
00001768: JUMPI
00001769: DUP2
0000176a: DUP3
0000176b: REVERT
0000176c: JUMPDEST
0000176d: PUSH1 0x00
0000176f: PUSH1 0x20
00001771: DUP3
00001772: DUP5
00001773: SUB
00001774: SLT
00001775: ISZERO
00001776: PUSH2 0x177d
00001779: JUMPI
0000177a: DUP1
0000177b: DUP2
0000177c: REVERT
0000177d: JUMPDEST
0000177e: DUP2
0000177f: MLOAD
00001780: PUSH1 0x01
00001782: PUSH1 0x01
00001784: PUSH1 0xe0
00001786: SHL
00001787: SUB
00001788: NOT
00001789: DUP2
0000178a: AND
0000178b: DUP2
0000178c: EQ
0000178d: PUSH2 0x1172
00001790: JUMPI
00001791: DUP2
00001792: DUP3
00001793: REVERT
00001794: JUMPDEST
00001795: PUSH1 0x00
00001797: DUP1
00001798: PUSH1 0x00
0000179a: PUSH1 0x60
0000179c: DUP5
0000179d: DUP7
0000179e: SUB
0000179f: SLT
000017a0: ISZERO
000017a1: PUSH2 0x17a8
000017a4: JUMPI
000017a5: DUP3
000017a6: DUP4
000017a7: REVERT
000017a8: JUMPDEST
000017a9: DUP4
000017aa: MLOAD
000017ab: PUSH8 0xffffffffffffffff
000017b4: DUP1
000017b5: DUP3
000017b6: GT
000017b7: ISZERO
000017b8: PUSH2 0x17bf
000017bb: JUMPI
000017bc: DUP5
000017bd: DUP6
000017be: REVERT
000017bf: JUMPDEST
000017c0: DUP2
000017c1: DUP7
000017c2: ADD
000017c3: SWAP2
000017c4: POP
000017c5: PUSH2 0x0180
000017c8: DUP1
000017c9: DUP4
000017ca: DUP10
000017cb: SUB
000017cc: SLT
000017cd: ISZERO
000017ce: PUSH2 0x17d5
000017d1: JUMPI
000017d2: DUP6
000017d3: DUP7
000017d4: REVERT
000017d5: JUMPDEST
000017d6: PUSH2 0x17de
000017d9: DUP2
000017da: PUSH2 0x23c6
000017dd: JUMP
000017de: JUMPDEST
000017df: SWAP1
000017e0: POP
000017e1: PUSH2 0x17ea
000017e4: DUP9
000017e5: DUP5
000017e6: PUSH2 0x15e9
000017e9: JUMP
000017ea: JUMPDEST
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH2 0x17f9
000017f0: DUP9
000017f1: PUSH1 0x20
000017f3: DUP6
000017f4: ADD
000017f5: PUSH2 0x15e9
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH1 0x20
000017fc: DUP3
000017fd: ADD
000017fe: MSTORE
000017ff: PUSH2 0x180b
00001802: DUP9
00001803: PUSH1 0x40
00001805: DUP6
00001806: ADD
00001807: PUSH2 0x15e9
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH1 0x40
0000180e: DUP3
0000180f: ADD
00001810: MSTORE
00001811: PUSH2 0x181d
00001814: DUP9
00001815: PUSH1 0x60
00001817: DUP6
00001818: ADD
00001819: PUSH2 0x15e9
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH1 0x60
00001820: DUP3
00001821: ADD
00001822: MSTORE
00001823: PUSH1 0x80
00001825: DUP4
00001826: ADD
00001827: MLOAD
00001828: PUSH1 0x80
0000182a: DUP3
0000182b: ADD
0000182c: MSTORE
0000182d: PUSH1 0xa0
0000182f: DUP4
00001830: ADD
00001831: MLOAD
00001832: PUSH1 0xa0
00001834: DUP3
00001835: ADD
00001836: MSTORE
00001837: PUSH1 0xc0
00001839: DUP4
0000183a: ADD
0000183b: MLOAD
0000183c: PUSH1 0xc0
0000183e: DUP3
0000183f: ADD
00001840: MSTORE
00001841: PUSH1 0xe0
00001843: DUP4
00001844: ADD
00001845: MLOAD
00001846: PUSH1 0xe0
00001848: DUP3
00001849: ADD
0000184a: MSTORE
0000184b: PUSH2 0x0100
0000184e: DUP1
0000184f: DUP5
00001850: ADD
00001851: MLOAD
00001852: DUP2
00001853: DUP4
00001854: ADD
00001855: MSTORE
00001856: POP
00001857: PUSH2 0x0120
0000185a: DUP1
0000185b: DUP5
0000185c: ADD
0000185d: MLOAD
0000185e: DUP2
0000185f: DUP4
00001860: ADD
00001861: MSTORE
00001862: POP
00001863: PUSH2 0x0140
00001866: DUP1
00001867: DUP5
00001868: ADD
00001869: MLOAD
0000186a: DUP4
0000186b: DUP2
0000186c: GT
0000186d: ISZERO
0000186e: PUSH2 0x1875
00001871: JUMPI
00001872: DUP8
00001873: DUP9
00001874: REVERT
00001875: JUMPDEST
00001876: PUSH2 0x1881
00001879: DUP11
0000187a: DUP3
0000187b: DUP8
0000187c: ADD
0000187d: PUSH2 0x1647
00001880: JUMP
00001881: JUMPDEST
00001882: DUP3
00001883: DUP5
00001884: ADD
00001885: MSTORE
00001886: POP
00001887: POP
00001888: PUSH2 0x0160
0000188b: DUP1
0000188c: DUP5
0000188d: ADD
0000188e: MLOAD
0000188f: DUP4
00001890: DUP2
00001891: GT
00001892: ISZERO
00001893: PUSH2 0x189a
00001896: JUMPI
00001897: DUP8
00001898: DUP9
00001899: REVERT
0000189a: JUMPDEST
0000189b: PUSH2 0x18a6
0000189e: DUP11
0000189f: DUP3
000018a0: DUP8
000018a1: ADD
000018a2: PUSH2 0x1647
000018a5: JUMP
000018a6: JUMPDEST
000018a7: DUP3
000018a8: DUP5
000018a9: ADD
000018aa: MSTORE
000018ab: POP
000018ac: POP
000018ad: DUP1
000018ae: SWAP6
000018af: POP
000018b0: POP
000018b1: PUSH1 0x20
000018b3: DUP7
000018b4: ADD
000018b5: MLOAD
000018b6: SWAP4
000018b7: POP
000018b8: PUSH1 0x40
000018ba: DUP7
000018bb: ADD
000018bc: MLOAD
000018bd: SWAP2
000018be: POP
000018bf: DUP1
000018c0: DUP3
000018c1: GT
000018c2: ISZERO
000018c3: PUSH2 0x18ca
000018c6: JUMPI
000018c7: DUP3
000018c8: DUP4
000018c9: REVERT
000018ca: JUMPDEST
000018cb: POP
000018cc: PUSH2 0x18d7
000018cf: DUP7
000018d0: DUP3
000018d1: DUP8
000018d2: ADD
000018d3: PUSH2 0x1647
000018d6: JUMP
000018d7: JUMPDEST
000018d8: SWAP2
000018d9: POP
000018da: POP
000018db: SWAP3
000018dc: POP
000018dd: SWAP3
000018de: POP
000018df: SWAP3
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: PUSH1 0x20
000018e6: DUP3
000018e7: DUP5
000018e8: SUB
000018e9: SLT
000018ea: ISZERO
000018eb: PUSH2 0x18f2
000018ee: JUMPI
000018ef: DUP1
000018f0: DUP2
000018f1: REVERT
000018f2: JUMPDEST
000018f3: POP
000018f4: MLOAD
000018f5: SWAP2
000018f6: SWAP1
000018f7: POP
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: DUP1
000018fd: PUSH1 0x00
000018ff: PUSH1 0x60
00001901: DUP5
00001902: DUP7
00001903: SUB
00001904: SLT
00001905: ISZERO
00001906: PUSH2 0x190d
00001909: JUMPI
0000190a: DUP3
0000190b: DUP4
0000190c: REVERT
0000190d: JUMPDEST
0000190e: DUP4
0000190f: CALLDATALOAD
00001910: SWAP3
00001911: POP
00001912: PUSH1 0x20
00001914: DUP5
00001915: ADD
00001916: CALLDATALOAD
00001917: PUSH8 0xffffffffffffffff
00001920: DUP1
00001921: DUP3
00001922: GT
00001923: ISZERO
00001924: PUSH2 0x192b
00001927: JUMPI
00001928: DUP4
00001929: DUP5
0000192a: REVERT
0000192b: JUMPDEST
0000192c: PUSH2 0x1937
0000192f: DUP8
00001930: DUP4
00001931: DUP9
00001932: ADD
00001933: PUSH2 0x15f4
00001936: JUMP
00001937: JUMPDEST
00001938: SWAP4
00001939: POP
0000193a: PUSH1 0x40
0000193c: DUP7
0000193d: ADD
0000193e: CALLDATALOAD
0000193f: SWAP2
00001940: POP
00001941: DUP1
00001942: DUP3
00001943: GT
00001944: ISZERO
00001945: PUSH2 0x194c
00001948: JUMPI
00001949: DUP3
0000194a: DUP4
0000194b: REVERT
0000194c: JUMPDEST
0000194d: POP
0000194e: PUSH2 0x18d7
00001951: DUP7
00001952: DUP3
00001953: DUP8
00001954: ADD
00001955: PUSH2 0x15f4
00001958: JUMP
00001959: JUMPDEST
0000195a: PUSH1 0x00
0000195c: DUP2
0000195d: MLOAD
0000195e: DUP1
0000195f: DUP5
00001960: MSTORE
00001961: PUSH2 0x1971
00001964: DUP2
00001965: PUSH1 0x20
00001967: DUP7
00001968: ADD
00001969: PUSH1 0x20
0000196b: DUP7
0000196c: ADD
0000196d: PUSH2 0x2411
00001970: JUMP
00001971: JUMPDEST
00001972: PUSH1 0x1f
00001974: ADD
00001975: PUSH1 0x1f
00001977: NOT
00001978: AND
00001979: SWAP3
0000197a: SWAP1
0000197b: SWAP3
0000197c: ADD
0000197d: PUSH1 0x20
0000197f: ADD
00001980: SWAP3
00001981: SWAP2
00001982: POP
00001983: POP
00001984: JUMP
00001985: JUMPDEST
00001986: PUSH32 0x6279746573206d616b65724173736574446174612c0000000000000000000000
000019a7: DUP2
000019a8: MSTORE
000019a9: PUSH1 0x15
000019ab: ADD
000019ac: SWAP1
000019ad: JUMP
000019ae: JUMPDEST
000019af: PUSH32 0x62797465732074616b6572417373657444617461000000000000000000000000
000019d0: DUP2
000019d1: MSTORE
000019d2: PUSH1 0x14
000019d4: ADD
000019d5: SWAP1
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x29
000019da: PUSH1 0xf8
000019dc: SHL
000019dd: DUP2
000019de: MSTORE
000019df: PUSH1 0x01
000019e1: ADD
000019e2: SWAP1
000019e3: JUMP
000019e4: JUMPDEST
000019e5: SWAP2
000019e6: DUP3
000019e7: MSTORE
000019e8: PUSH1 0x60
000019ea: SHL
000019eb: PUSH12 0xffffffffffffffffffffffff
000019f8: NOT
000019f9: AND
000019fa: PUSH1 0x20
000019fc: DUP3
000019fd: ADD
000019fe: MSTORE
000019ff: PUSH1 0x34
00001a01: ADD
00001a02: SWAP1
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: DUP3
00001a08: MLOAD
00001a09: PUSH2 0x1a16
00001a0c: DUP2
00001a0d: DUP5
00001a0e: PUSH1 0x20
00001a10: DUP8
00001a11: ADD
00001a12: PUSH2 0x2411
00001a15: JUMP
00001a16: JUMPDEST
00001a17: SWAP2
00001a18: SWAP1
00001a19: SWAP2
00001a1a: ADD
00001a1b: SWAP3
00001a1c: SWAP2
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH32 0x5a65726f45785472616e73616374696f6e280000000000000000000000000000
00001a42: DUP2
00001a43: MSTORE
00001a44: PUSH13 0x1d5a5b9d0c8d4d881cd85b1d0b
00001a52: PUSH1 0x9a
00001a54: SHL
00001a55: PUSH1 0x12
00001a57: DUP3
00001a58: ADD
00001a59: MSTORE
00001a5a: PUSH32 0x61646472657373207369676e6572416464726573732c00000000000000000000
00001a7b: PUSH1 0x1f
00001a7d: DUP3
00001a7e: ADD
00001a7f: MSTORE
00001a80: PUSH32 0x6279746573206461746100000000000000000000000000000000000000000000
00001aa1: PUSH1 0x35
00001aa3: DUP3
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH1 0x29
00001aa8: PUSH1 0xf8
00001aaa: SHL
00001aab: PUSH1 0x3f
00001aad: DUP3
00001aae: ADD
00001aaf: MSTORE
00001ab0: PUSH1 0x40
00001ab2: ADD
00001ab3: SWAP1
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH1 0x00
00001ab8: PUSH32 0x4f72646572280000000000000000000000000000000000000000000000000000
00001ad9: DUP3
00001ada: MSTORE
00001adb: PUSH32 0x61646472657373206d616b6572416464726573732c0000000000000000000000
00001afc: PUSH1 0x06
00001afe: DUP4
00001aff: ADD
00001b00: MSTORE
00001b01: PUSH32 0x616464726573732074616b6572416464726573732c0000000000000000000000
00001b22: PUSH1 0x1b
00001b24: DUP4
00001b25: ADD
00001b26: MSTORE
00001b27: PUSH32 0x6164647265737320666565526563697069656e74416464726573732c00000000
00001b48: PUSH1 0x30
00001b4a: DUP4
00001b4b: ADD
00001b4c: MSTORE
00001b4d: PUSH32 0x616464726573732073656e646572416464726573732c00000000000000000000
00001b6e: PUSH1 0x4c
00001b70: DUP4
00001b71: ADD
00001b72: MSTORE
00001b73: PUSH32 0x75696e74323536206d616b65724173736574416d6f756e742c00000000000000
00001b94: PUSH1 0x62
00001b96: DUP4
00001b97: ADD
00001b98: MSTORE
00001b99: PUSH32 0x75696e743235362074616b65724173736574416d6f756e742c00000000000000
00001bba: PUSH1 0x7b
00001bbc: DUP4
00001bbd: ADD
00001bbe: MSTORE
00001bbf: PUSH32 0x75696e74323536206d616b65724665652c000000000000000000000000000000
00001be0: PUSH1 0x94
00001be2: DUP4
00001be3: ADD
00001be4: MSTORE
00001be5: PUSH32 0x75696e743235362074616b65724665652c000000000000000000000000000000
00001c06: PUSH1 0xa5
00001c08: DUP4
00001c09: ADD
00001c0a: MSTORE
00001c0b: PUSH32 0x75696e743235362065787069726174696f6e54696d655365636f6e64732c0000
00001c2c: PUSH1 0xb6
00001c2e: DUP4
00001c2f: ADD
00001c30: MSTORE
00001c31: PUSH13 0x1d5a5b9d0c8d4d881cd85b1d0b
00001c3f: PUSH1 0x9a
00001c41: SHL
00001c42: PUSH1 0xd4
00001c44: DUP4
00001c45: ADD
00001c46: MSTORE
00001c47: PUSH2 0x103d
00001c4a: PUSH2 0x1c5d
00001c4d: PUSH2 0x1c58
00001c50: PUSH1 0xe1
00001c52: DUP6
00001c53: ADD
00001c54: PUSH2 0x1985
00001c57: JUMP
00001c58: JUMPDEST
00001c59: PUSH2 0x19ae
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: PUSH2 0x19d7
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x01
00001c65: PUSH1 0x01
00001c67: PUSH1 0xa0
00001c69: SHL
00001c6a: SUB
00001c6b: SWAP2
00001c6c: SWAP1
00001c6d: SWAP2
00001c6e: AND
00001c6f: DUP2
00001c70: MSTORE
00001c71: PUSH1 0x20
00001c73: ADD
00001c74: SWAP1
00001c75: JUMP
00001c76: JUMPDEST
00001c77: PUSH1 0x01
00001c79: PUSH1 0x01
00001c7b: PUSH1 0xa0
00001c7d: SHL
00001c7e: SUB
00001c7f: SWAP3
00001c80: DUP4
00001c81: AND
00001c82: DUP2
00001c83: MSTORE
00001c84: SWAP2
00001c85: AND
00001c86: PUSH1 0x20
00001c88: DUP3
00001c89: ADD
00001c8a: MSTORE
00001c8b: PUSH1 0x40
00001c8d: ADD
00001c8e: SWAP1
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH1 0x01
00001c93: PUSH1 0x01
00001c95: PUSH1 0xa0
00001c97: SHL
00001c98: SUB
00001c99: SWAP4
00001c9a: DUP5
00001c9b: AND
00001c9c: DUP2
00001c9d: MSTORE
00001c9e: SWAP2
00001c9f: SWAP1
00001ca0: SWAP3
00001ca1: AND
00001ca2: PUSH1 0x20
00001ca4: DUP3
00001ca5: ADD
00001ca6: MSTORE
00001ca7: PUSH1 0x40
00001ca9: DUP2
00001caa: ADD
00001cab: SWAP2
00001cac: SWAP1
00001cad: SWAP2
00001cae: MSTORE
00001caf: PUSH1 0x60
00001cb1: ADD
00001cb2: SWAP1
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x01
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0xa0
00001cbb: SHL
00001cbc: SUB
00001cbd: SWAP3
00001cbe: SWAP1
00001cbf: SWAP3
00001cc0: AND
00001cc1: DUP3
00001cc2: MSTORE
00001cc3: PUSH1 0x20
00001cc5: DUP3
00001cc6: ADD
00001cc7: MSTORE
00001cc8: PUSH1 0x40
00001cca: ADD
00001ccb: SWAP1
00001ccc: JUMP
00001ccd: JUMPDEST
00001cce: SWAP1
00001ccf: DUP2
00001cd0: MSTORE
00001cd1: PUSH1 0x20
00001cd3: ADD
00001cd4: SWAP1
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: PUSH1 0x00
00001cd9: DUP4
00001cda: DUP3
00001cdb: MSTORE
00001cdc: PUSH1 0x40
00001cde: PUSH1 0x20
00001ce0: DUP4
00001ce1: ADD
00001ce2: MSTORE
00001ce3: PUSH2 0x1265
00001ce6: PUSH1 0x40
00001ce8: DUP4
00001ce9: ADD
00001cea: DUP5
00001ceb: PUSH2 0x1959
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: SWAP4
00001cf1: DUP5
00001cf2: MSTORE
00001cf3: PUSH1 0xff
00001cf5: SWAP3
00001cf6: SWAP1
00001cf7: SWAP3
00001cf8: AND
00001cf9: PUSH1 0x20
00001cfb: DUP5
00001cfc: ADD
00001cfd: MSTORE
00001cfe: PUSH1 0x40
00001d00: DUP4
00001d01: ADD
00001d02: MSTORE
00001d03: PUSH1 0x60
00001d05: DUP3
00001d06: ADD
00001d07: MSTORE
00001d08: PUSH1 0x80
00001d0a: ADD
00001d0b: SWAP1
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x00
00001d10: PUSH1 0x20
00001d12: DUP3
00001d13: MSTORE
00001d14: PUSH2 0x1172
00001d17: PUSH1 0x20
00001d19: DUP4
00001d1a: ADD
00001d1b: DUP5
00001d1c: PUSH2 0x1959
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: PUSH2 0x0120
00001d26: DUP1
00001d27: DUP4
00001d28: MSTORE
00001d29: PUSH2 0x1d34
00001d2c: DUP2
00001d2d: DUP5
00001d2e: ADD
00001d2f: DUP14
00001d30: PUSH2 0x1959
00001d33: JUMP
00001d34: JUMPDEST
00001d35: SWAP2
00001d36: POP
00001d37: POP
00001d38: PUSH1 0x01
00001d3a: PUSH1 0x01
00001d3c: PUSH1 0xa0
00001d3e: SHL
00001d3f: SUB
00001d40: DUP1
00001d41: DUP12
00001d42: AND
00001d43: PUSH1 0x20
00001d45: DUP5
00001d46: ADD
00001d47: MSTORE
00001d48: DUP10
00001d49: PUSH1 0x40
00001d4b: DUP5
00001d4c: ADD
00001d4d: MSTORE
00001d4e: DUP1
00001d4f: DUP10
00001d50: AND
00001d51: PUSH1 0x60
00001d53: DUP5
00001d54: ADD
00001d55: MSTORE
00001d56: DUP1
00001d57: DUP9
00001d58: AND
00001d59: PUSH1 0x80
00001d5b: DUP5
00001d5c: ADD
00001d5d: MSTORE
00001d5e: DUP7
00001d5f: PUSH1 0xa0
00001d61: DUP5
00001d62: ADD
00001d63: MSTORE
00001d64: DUP1
00001d65: DUP7
00001d66: AND
00001d67: PUSH1 0xc0
00001d69: DUP5
00001d6a: ADD
00001d6b: MSTORE
00001d6c: POP
00001d6d: DUP4
00001d6e: PUSH1 0xe0
00001d70: DUP4
00001d71: ADD
00001d72: MSTORE
00001d73: PUSH2 0xffff
00001d76: DUP4
00001d77: AND
00001d78: PUSH2 0x0100
00001d7b: DUP4
00001d7c: ADD
00001d7d: MSTORE
00001d7e: SWAP11
00001d7f: SWAP10
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: POP
00001d84: POP
00001d85: POP
00001d86: POP
00001d87: POP
00001d88: POP
00001d89: POP
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: PUSH1 0x20
00001d8e: DUP1
00001d8f: DUP3
00001d90: MSTORE
00001d91: PUSH1 0x2c
00001d93: SWAP1
00001d94: DUP3
00001d95: ADD
00001d96: MSTORE
00001d97: PUSH32 0x414d4d577261707065723a206f70657261746f722063616e206e6f7420626520
00001db8: PUSH1 0x40
00001dba: DUP3
00001dbb: ADD
00001dbc: MSTORE
00001dbd: PUSH32 0x7a65726f20616464726573730000000000000000000000000000000000000000
00001dde: PUSH1 0x60
00001de0: DUP3
00001de1: ADD
00001de2: MSTORE
00001de3: PUSH1 0x80
00001de5: ADD
00001de6: SWAP1
00001de7: JUMP
00001de8: JUMPDEST
00001de9: PUSH1 0x20
00001deb: DUP1
00001dec: DUP3
00001ded: MSTORE
00001dee: PUSH1 0x1b
00001df0: SWAP1
00001df1: DUP3
00001df2: ADD
00001df3: MSTORE
00001df4: PUSH32 0x4c69624465636f6465723a204c454e4754485f4c4553535f3830300000000000
00001e15: PUSH1 0x40
00001e17: DUP3
00001e18: ADD
00001e19: MSTORE
00001e1a: PUSH1 0x60
00001e1c: ADD
00001e1d: SWAP1
00001e1e: JUMP
00001e1f: JUMPDEST
00001e20: PUSH1 0x20
00001e22: DUP1
00001e23: DUP3
00001e24: MSTORE
00001e25: PUSH1 0x1b
00001e27: SWAP1
00001e28: DUP3
00001e29: ADD
00001e2a: MSTORE
00001e2b: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001e4c: PUSH1 0x40
00001e4e: DUP3
00001e4f: ADD
00001e50: MSTORE
00001e51: PUSH1 0x60
00001e53: ADD
00001e54: SWAP1
00001e55: JUMP
00001e56: JUMPDEST
00001e57: PUSH1 0x20
00001e59: DUP1
00001e5a: DUP3
00001e5b: MSTORE
00001e5c: PUSH1 0x11
00001e5e: SWAP1
00001e5f: DUP3
00001e60: ADD
00001e61: MSTORE
00001e62: PUSH32 0x504d4d3a206e6f74206f70657261746f72000000000000000000000000000000
00001e83: PUSH1 0x40
00001e85: DUP3
00001e86: ADD
00001e87: MSTORE
00001e88: PUSH1 0x60
00001e8a: ADD
00001e8b: SWAP1
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: PUSH1 0x20
00001e90: DUP1
00001e91: DUP3
00001e92: MSTORE
00001e93: PUSH1 0x14
00001e95: SWAP1
00001e96: DUP3
00001e97: ADD
00001e98: MSTORE
00001e99: PUSH32 0x504d4d3a20696e636f72726563742074616b6572000000000000000000000000
00001eba: PUSH1 0x40
00001ebc: DUP3
00001ebd: ADD
00001ebe: MSTORE
00001ebf: PUSH1 0x60
00001ec1: ADD
00001ec2: SWAP1
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH1 0x20
00001ec7: DUP1
00001ec8: DUP3
00001ec9: MSTORE
00001eca: PUSH1 0x1f
00001ecc: SWAP1
00001ecd: DUP3
00001ece: ADD
00001ecf: MSTORE
00001ed0: PUSH32 0x504d4d3a206e6f7420746865205573657250726f787920636f6e747261637400
00001ef1: PUSH1 0x40
00001ef3: DUP3
00001ef4: ADD
00001ef5: MSTORE
00001ef6: PUSH1 0x60
00001ef8: ADD
00001ef9: SWAP1
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x20
00001efe: DUP1
00001eff: DUP3
00001f00: MSTORE
00001f01: PUSH1 0x1b
00001f03: SWAP1
00001f04: DUP3
00001f05: ADD
00001f06: MSTORE
00001f07: PUSH32 0x504d4d3a20696e76616c69642045524331323731207369676e65720000000000
00001f28: PUSH1 0x40
00001f2a: DUP3
00001f2b: ADD
00001f2c: MSTORE
00001f2d: PUSH1 0x60
00001f2f: ADD
00001f30: SWAP1
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x20
00001f35: DUP1
00001f36: DUP3
00001f37: MSTORE
00001f38: PUSH1 0x1a
00001f3a: SWAP1
00001f3b: DUP3
00001f3c: ADD
00001f3d: MSTORE
00001f3e: PUSH32 0x504d4d3a20696e636f72726563742066696c6c20616d6f756e74000000000000
00001f5f: PUSH1 0x40
00001f61: DUP3
00001f62: ADD
00001f63: MSTORE
00001f64: PUSH1 0x60
00001f66: ADD
00001f67: SWAP1
00001f68: JUMP
00001f69: JUMPDEST
00001f6a: PUSH1 0x20
00001f6c: DUP1
00001f6d: DUP3
00001f6e: MSTORE
00001f6f: PUSH1 0x15
00001f71: SWAP1
00001f72: DUP3
00001f73: ADD
00001f74: MSTORE
00001f75: PUSH32 0x504d4d3a20696e76616c69642072656365697665720000000000000000000000
00001f96: PUSH1 0x40
00001f98: DUP3
00001f99: ADD
00001f9a: MSTORE
00001f9b: PUSH1 0x60
00001f9d: ADD
00001f9e: SWAP1
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH1 0x20
00001fa3: DUP1
00001fa4: DUP3
00001fa5: MSTORE
00001fa6: PUSH1 0x21
00001fa8: SWAP1
00001fa9: DUP3
00001faa: ADD
00001fab: MSTORE
00001fac: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001fcd: PUSH1 0x40
00001fcf: DUP3
00001fd0: ADD
00001fd1: MSTORE
00001fd2: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00001ff3: PUSH1 0x60
00001ff5: DUP3
00001ff6: ADD
00001ff7: MSTORE
00001ff8: PUSH1 0x80
00001ffa: ADD
00001ffb: SWAP1
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x20
00002000: DUP1
00002001: DUP3
00002002: MSTORE
00002003: PUSH1 0x1d
00002005: SWAP1
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: PUSH32 0x504d4d3a20696e76616c696420636f6e74726163742061646472657373000000
0000202a: PUSH1 0x40
0000202c: DUP3
0000202d: ADD
0000202e: MSTORE
0000202f: PUSH1 0x60
00002031: ADD
00002032: SWAP1
00002033: JUMP
00002034: JUMPDEST
00002035: PUSH1 0x20
00002037: DUP1
00002038: DUP3
00002039: MSTORE
0000203a: PUSH1 0x1e
0000203c: SWAP1
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH32 0x4c69624465636f6465723a204c454e4754485f33365f52455155495245440000
00002061: PUSH1 0x40
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: PUSH1 0x60
00002068: ADD
00002069: SWAP1
0000206a: JUMP
0000206b: JUMPDEST
0000206c: PUSH1 0x20
0000206e: DUP1
0000206f: DUP3
00002070: MSTORE
00002071: PUSH1 0x1b
00002073: SWAP1
00002074: DUP3
00002075: ADD
00002076: MSTORE
00002077: PUSH32 0x4c69624465636f6465723a2057524f4e475f4d4554484f445f49440000000000
00002098: PUSH1 0x40
0000209a: DUP3
0000209b: ADD
0000209c: MSTORE
0000209d: PUSH1 0x60
0000209f: ADD
000020a0: SWAP1
000020a1: JUMP
000020a2: JUMPDEST
000020a3: PUSH1 0x20
000020a5: DUP1
000020a6: DUP3
000020a7: MSTORE
000020a8: PUSH1 0x3b
000020aa: SWAP1
000020ab: DUP3
000020ac: ADD
000020ad: MSTORE
000020ae: PUSH32 0x4c696242797465732372656164416464726573732067726561746572206f7220
000020cf: PUSH1 0x40
000020d1: DUP3
000020d2: ADD
000020d3: MSTORE
000020d4: PUSH32 0x657175616c20746f203230206c656e6774682072657175697265640000000000
000020f5: PUSH1 0x60
000020f7: DUP3
000020f8: ADD
000020f9: MSTORE
000020fa: PUSH1 0x80
000020fc: ADD
000020fd: SWAP1
000020fe: JUMP
000020ff: JUMPDEST
00002100: PUSH1 0x20
00002102: DUP1
00002103: DUP3
00002104: MSTORE
00002105: PUSH1 0x1e
00002107: SWAP1
00002108: DUP3
00002109: ADD
0000210a: MSTORE
0000210b: PUSH32 0x4c69624465636f6465723a204c454e4754485f38355f52455155495245440000
0000212c: PUSH1 0x40
0000212e: DUP3
0000212f: ADD
00002130: MSTORE
00002131: PUSH1 0x60
00002133: ADD
00002134: SWAP1
00002135: JUMP
00002136: JUMPDEST
00002137: PUSH1 0x20
00002139: DUP1
0000213a: DUP3
0000213b: MSTORE
0000213c: PUSH1 0x3b
0000213e: SWAP1
0000213f: DUP3
00002140: ADD
00002141: MSTORE
00002142: PUSH32 0x4c696242797465732372656164427974657333322067726561746572206f7220
00002163: PUSH1 0x40
00002165: DUP3
00002166: ADD
00002167: MSTORE
00002168: PUSH32 0x657175616c20746f203332206c656e6774682072657175697265640000000000
00002189: PUSH1 0x60
0000218b: DUP3
0000218c: ADD
0000218d: MSTORE
0000218e: PUSH1 0x80
00002190: ADD
00002191: SWAP1
00002192: JUMP
00002193: JUMPDEST
00002194: PUSH1 0x20
00002196: DUP1
00002197: DUP3
00002198: MSTORE
00002199: PUSH1 0x1d
0000219b: SWAP1
0000219c: DUP3
0000219d: ADD
0000219e: MSTORE
0000219f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000021c0: PUSH1 0x40
000021c2: DUP3
000021c3: ADD
000021c4: MSTORE
000021c5: PUSH1 0x60
000021c7: ADD
000021c8: SWAP1
000021c9: JUMP
000021ca: JUMPDEST
000021cb: PUSH1 0x20
000021cd: DUP1
000021ce: DUP3
000021cf: MSTORE
000021d0: PUSH1 0x17
000021d2: SWAP1
000021d3: DUP3
000021d4: ADD
000021d5: MSTORE
000021d6: PUSH32 0x504d4d3a20696e76616c69642066656520666163746f72000000000000000000
000021f7: PUSH1 0x40
000021f9: DUP3
000021fa: ADD
000021fb: MSTORE
000021fc: PUSH1 0x60
000021fe: ADD
000021ff: SWAP1
00002200: JUMP
00002201: JUMPDEST
00002202: PUSH1 0x20
00002204: DUP1
00002205: DUP3
00002206: MSTORE
00002207: PUSH1 0x15
00002209: SWAP1
0000220a: DUP3
0000220b: ADD
0000220c: MSTORE
0000220d: PUSH32 0x504d4d3a20696e73756666696369656e74204554480000000000000000000000
0000222e: PUSH1 0x40
00002230: DUP3
00002231: ADD
00002232: MSTORE
00002233: PUSH1 0x60
00002235: ADD
00002236: SWAP1
00002237: JUMP
00002238: JUMPDEST
00002239: PUSH1 0x20
0000223b: DUP1
0000223c: DUP3
0000223d: MSTORE
0000223e: PUSH1 0x39
00002240: SWAP1
00002241: DUP3
00002242: ADD
00002243: MSTORE
00002244: PUSH32 0x4c6962427974657323726561644279746573342067726561746572206f722065
00002265: PUSH1 0x40
00002267: DUP3
00002268: ADD
00002269: MSTORE
0000226a: PUSH32 0x7175616c20746f2034206c656e67746820726571756972656400000000000000
0000228b: PUSH1 0x60
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: PUSH1 0x80
00002292: ADD
00002293: SWAP1
00002294: JUMP
00002295: JUMPDEST
00002296: PUSH1 0x20
00002298: DUP1
00002299: DUP3
0000229a: MSTORE
0000229b: PUSH1 0x2a
0000229d: SWAP1
0000229e: DUP3
0000229f: ADD
000022a0: MSTORE
000022a1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022c2: PUSH1 0x40
000022c4: DUP3
000022c5: ADD
000022c6: MSTORE
000022c7: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000022e8: PUSH1 0x60
000022ea: DUP3
000022eb: ADD
000022ec: MSTORE
000022ed: PUSH1 0x80
000022ef: ADD
000022f0: SWAP1
000022f1: JUMP
000022f2: JUMPDEST
000022f3: PUSH1 0x20
000022f5: DUP1
000022f6: DUP3
000022f7: MSTORE
000022f8: PUSH1 0x1f
000022fa: SWAP1
000022fb: DUP3
000022fc: ADD
000022fd: MSTORE
000022fe: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000231f: PUSH1 0x40
00002321: DUP3
00002322: ADD
00002323: MSTORE
00002324: PUSH1 0x60
00002326: ADD
00002327: SWAP1
00002328: JUMP
00002329: JUMPDEST
0000232a: PUSH1 0x20
0000232c: DUP1
0000232d: DUP3
0000232e: MSTORE
0000232f: PUSH1 0x36
00002331: SWAP1
00002332: DUP3
00002333: ADD
00002334: MSTORE
00002335: PUSH32 0x5361666545524332303a20617070726f76652066726f6d206e6f6e2d7a65726f
00002356: PUSH1 0x40
00002358: DUP3
00002359: ADD
0000235a: MSTORE
0000235b: PUSH32 0x20746f206e6f6e2d7a65726f20616c6c6f77616e636500000000000000000000
0000237c: PUSH1 0x60
0000237e: DUP3
0000237f: ADD
00002380: MSTORE
00002381: PUSH1 0x80
00002383: ADD
00002384: SWAP1
00002385: JUMP
00002386: JUMPDEST
00002387: PUSH1 0x00
00002389: DUP5
0000238a: DUP3
0000238b: MSTORE
0000238c: PUSH1 0x01
0000238e: PUSH1 0x01
00002390: PUSH1 0xa0
00002392: SHL
00002393: SUB
00002394: DUP5
00002395: AND
00002396: PUSH1 0x20
00002398: DUP4
00002399: ADD
0000239a: MSTORE
0000239b: PUSH1 0x80
0000239d: PUSH1 0x40
0000239f: DUP4
000023a0: ADD
000023a1: MSTORE
000023a2: PUSH2 0x23ae
000023a5: PUSH1 0x80
000023a7: DUP4
000023a8: ADD
000023a9: DUP5
000023aa: PUSH2 0x1959
000023ad: JUMP
000023ae: JUMPDEST
000023af: DUP3
000023b0: DUP2
000023b1: SUB
000023b2: PUSH1 0x60
000023b4: SWAP1
000023b5: SWAP4
000023b6: ADD
000023b7: SWAP3
000023b8: SWAP1
000023b9: SWAP3
000023ba: MSTORE
000023bb: DUP2
000023bc: MSTORE
000023bd: PUSH1 0x20
000023bf: ADD
000023c0: SWAP4
000023c1: SWAP3
000023c2: POP
000023c3: POP
000023c4: POP
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x40
000023c9: MLOAD
000023ca: DUP2
000023cb: DUP2
000023cc: ADD
000023cd: PUSH8 0xffffffffffffffff
000023d6: DUP2
000023d7: GT
000023d8: DUP3
000023d9: DUP3
000023da: LT
000023db: OR
000023dc: ISZERO
000023dd: PUSH2 0x23e5
000023e0: JUMPI
000023e1: PUSH1 0x00
000023e3: DUP1
000023e4: REVERT
000023e5: JUMPDEST
000023e6: PUSH1 0x40
000023e8: MSTORE
000023e9: SWAP2
000023ea: SWAP1
000023eb: POP
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH1 0x00
000023f0: PUSH8 0xffffffffffffffff
000023f9: DUP3
000023fa: GT
000023fb: ISZERO
000023fc: PUSH2 0x2403
000023ff: JUMPI
00002400: DUP1
00002401: DUP2
00002402: REVERT
00002403: JUMPDEST
00002404: POP
00002405: PUSH1 0x1f
00002407: ADD
00002408: PUSH1 0x1f
0000240a: NOT
0000240b: AND
0000240c: PUSH1 0x20
0000240e: ADD
0000240f: SWAP1
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x00
00002414: JUMPDEST
00002415: DUP4
00002416: DUP2
00002417: LT
00002418: ISZERO
00002419: PUSH2 0x242c
0000241c: JUMPI
0000241d: DUP2
0000241e: DUP2
0000241f: ADD
00002420: MLOAD
00002421: DUP4
00002422: DUP3
00002423: ADD
00002424: MSTORE
00002425: PUSH1 0x20
00002427: ADD
00002428: PUSH2 0x2414
0000242b: JUMP
0000242c: JUMPDEST
0000242d: DUP4
0000242e: DUP2
0000242f: GT
00002430: ISZERO
00002431: PUSH2 0x02c1
00002434: JUMPI
00002435: POP
00002436: POP
00002437: PUSH1 0x00
00002439: SWAP2
0000243a: ADD
0000243b: MSTORE
0000243c: JUMP
0000243d: JUMPDEST
0000243e: PUSH1 0x01
00002440: PUSH1 0x01
00002442: PUSH1 0xa0
00002444: SHL
00002445: SUB
00002446: DUP2
00002447: AND
00002448: DUP2
00002449: EQ
0000244a: PUSH2 0x2452
0000244d: JUMPI
0000244e: PUSH1 0x00
00002450: DUP1
00002451: REVERT
00002452: JUMPDEST
00002453: POP
00002454: JUMP
00002455: INVALID
00002456: LOG2
00002457: PUSH5 0x6970667358
0000245d: UNKNOWN(0x22)
0000245e: SLT
0000245f: KECCAK256
00002460: SWAP7
00002461: UNKNOWN(0xA6)
00002462: UNKNOWN(0xD5)
00002463: MSIZE
00002464: UNKNOWN(0xA6)
00002465: DIV
00002466: SELFBALANCE
00002467: EXP
00002468: SWAP6
00002469: INVALID
0000246a: UNKNOWN(0xC4)
0000246b: UNKNOWN(0xCD)
0000246c: UNKNOWN(0x0F)
0000246d: RETURNDATASIZE
0000246e: UNKNOWN(0xB1)
0000246f: AND
00002470: UNKNOWN(0xAE)
00002471: UNKNOWN(0xE5)
00002472: SWAP10
00002473: UNKNOWN(0xCF)
00002474: UNKNOWN(0xE0)
00002475: PUSH9 0x6671594f670fb5debf
0000247f: UNKNOWN(0xAA)
00002480: PUSH5 0x736f6c6343
00002486: STOP
00002487: MOD
00002488: UNKNOWN(0x0C)
00002489: STOP
0000248a: CALLER