Analysis Run

[codex:497147] OpenAI Codex v0.77.0 (research preview)
[codex:497147] --------
[codex:497147] workdir: /tmp/codex-multi-fwb2nepg
[codex:497147] model: gpt-5.2-codex
[codex:497147] provider: openai
[codex:497147] approval: never
[codex:497147] sandbox: read-only
[codex:497147] reasoning effort: xhigh
[codex:497147] reasoning summaries: auto
[codex:497147] session id: 019b87af-3bb6-7103-8f5c-e67f219083c9
[codex:497147] --------
[codex:497147] user
[codex:497147] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:497147] 
[codex:497147] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:497147] 
[codex:497147] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:497147] - Gas inefficiency, code quality, naming, or best practices
[codex:497147] - Theoretical vulnerabilities without a clear extraction path
[codex:497147] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:497147] - Front-running unless it enables theft beyond MEV
[codex:497147] - DoS, griefing, or issues that don't result in attacker profit
[codex:497147] - Missing events, view function issues, or informational findings
[codex:497147] 
[codex:497147] HIGH-VALUE PATTERNS TO HUNT:
[codex:497147] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:497147] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:497147] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:497147] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:497147] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:497147] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:497147] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:497147] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:497147] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:497147] 
[codex:497147] For each finding, you MUST provide:
[codex:497147] 1. Exact file and line numbers of vulnerable code
[codex:497147] 2. Step-by-step exploit transaction sequence
[codex:497147] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:497147] 
[codex:497147] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:497147] 
[codex:497147] Output MUST be valid JSON matching the provided schema.
[codex:497147] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:497147] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:497147] mcp startup: no servers
[codex:497147] 
[codex:497147] thinking
[codex:497147] **Reviewing instructions and AUDIT_BUNDLE.txt**
[codex:497147] exec
[codex:497147] /bin/bash -lc ls in /tmp/codex-multi-fwb2nepg succeeded in 5ms:
[codex:497147] AUDIT_BUNDLE.txt
[codex:497147] codex-output-schema.json
[codex:497147] contracts
[codex:497147] exec
[codex:497147] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-fwb2nepg succeeded in 5ms:
[codex:497147] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:497147] 
[codex:497147] ================================================================================
[codex:497147] FILE: contracts/Contract.sol
[codex:497147] ================================================================================
[codex:497147] // File: @openzeppelin/contracts/GSN/Context.sol
[codex:497147] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:497147] 
[codex:497147] pragma solidity ^0.6.0;
[codex:497147] 
[codex:497147] /*
[codex:497147]  * @dev Provides information about the current execution context, including the
[codex:497147]  * sender of the transaction and its data. While these are generally available
[codex:497147]  * via msg.sender and msg.data, they should not be accessed in such a direct
[codex:497147]  * manner, since when dealing with GSN meta-transactions the account sending and
[codex:497147]  * paying for execution may not be the actual sender (as far as an application
[codex:497147]  * is concerned).
[codex:497147]  *
[codex:497147]  * This contract is only required for intermediate, library-like contracts.
[codex:497147]  */
[codex:497147] 
[codex:497147] thinking
[codex:497147] **Reviewing smart contract architecture and potential exploits**
[codex:497147] 
[codex:497147] I'm analyzing the HegicETHOptions and HegicETHPool contracts for real exploit paths to extract funds, focusing on ownership, fund flows, locked premiums, and reentrancy. The complex minting formula and option premium locking could enable share inflation attacks or profit extraction, but careful checks around external calls and transfer gas limits suggest limited reentrancy risk. I’m planning to deeper inspect contract arrangement and external calls for any overlooked vulnerabilities.
[codex:497147] exec
[codex:497147] /bin/bash -lc 'rg -n "contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-fwb2nepg succeeded in 8ms:
[codex:497147] 19: * This contract is only required for intermediate, library-like contracts.
[codex:497147] 21:abstract contract Context {
[codex:497147] 293:     *  - a contract in construction
[codex:497147] 294:     *  - an address where a contract will be created
[codex:497147] 295:     *  - an address where a contract lived, but was destroyed
[codex:497147] 371:     * - the calling contract must have an ETH balance of at least `value`.
[codex:497147] 428: * that a supply mechanism has to be added in a derived contract using {_mint}.
[codex:497147] 448:contract ERC20 is Context, IERC20 {
[codex:497147] 734: * contract returns false). Tokens that return no value (and instead revert or
[codex:497147] 789:        // the target address contains contract code and also asserts for success in the low-level call.
[codex:497147] 816:contract Ownable is Context {
[codex:497147] 822:     * @dev Initializes the contract setting the deployer as the initial owner.
[codex:497147] 846:     * @dev Leaves the contract without owner. It will not be possible to call
[codex:497147] 849:     * NOTE: Renouncing ownership will leave the contract without an owner,
[codex:497147] 858:     * @dev Transfers ownership of the contract to a new account (`newOwner`).
[codex:497147] 1162:contract HegicETHPool is
[codex:497147] 1378:contract HegicETHOptions is Ownable, IHegicOptions {
[codex:497147] 1402:     * @notice Can be used to update the contract in critical situations
[codex:497147] 1650:     * @param optionID A specific option contract id
[codex:497147] 
[codex:497147] thinking
[codex:497147] **Analyzing contract security and potential exploits**
[codex:497147] exec
[codex:497147] /bin/bash -lc 'tail -n 20 AUDIT_BUNDLE.txt' in /tmp/codex-multi-fwb2nepg succeeded in 6ms:
[codex:497147]             require(option.strike >= currentPrice, "Current price is too high");
[codex:497147]             profit = option.strike.sub(currentPrice).mul(option.amount).div(currentPrice);
[codex:497147]         }
[codex:497147]         if (profit > option.lockedAmount)
[codex:497147]             profit = option.lockedAmount;
[codex:497147]         pool.send(optionID, option.holder, profit);
[codex:497147]     }
[codex:497147] 
[codex:497147] 
[codex:497147] 
[codex:497147]     /**
[codex:497147]      * @return result Square root of the number
[codex:497147]      */
[codex:497147]     function sqrt(uint256 x) private pure returns (uint256 result) {
[codex:497147]         result = x;
[codex:497147]         uint256 k = x.div(2).add(1);
[codex:497147]         while (k < result) (result, k) = (k, x.div(k).add(k).div(2));
[codex:497147]     }
[codex:497147] }
[codex:497147] 
[codex:497147] 
[codex:497147] thinking
[codex:497147] **Analyzing potential profit exploits**
[codex:497147] 
[codex:497147] I'm carefully checking for any exploitable profit paths or vulnerabilities related to pricing, ownership controls, or reentrancy in the options and pool contracts. After thorough review, I see no concrete ways to profit unfairly or bypass protections, so I’ll produce a JSON summary indicating no findings.
[codex:497147] codex
[codex:497147] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in `AUDIT_BUNDLE.txt`.","findings":[]}
[codex:497147] tokens used
[codex:497147] 18,903
[codex:497147] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in `AUDIT_BUNDLE.txt`.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T06:28:36.325477+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path identified in `AUDIT_BUNDLE.txt`.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path identified in `AUDIT_BUNDLE.txt`.",
        "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 0x01d8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6ab28bc8
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc771c390
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc771c390
0000003a: EQ
0000003b: PUSH2 0x06d5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x06ff
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xee947a7c
00000050: EQ
00000051: PUSH2 0x073a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x074f
0000005f: JUMPI
00000060: PUSH2 0x01d8
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa457c2d7
0000006b: EQ
0000006c: PUSH2 0x0639
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa9059cbb
00000076: EQ
00000077: PUSH2 0x0672
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xab2f0e51
00000081: EQ
00000082: PUSH2 0x06ab
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xad7a672f
0000008c: EQ
0000008d: PUSH2 0x06c0
00000090: JUMPI
00000091: PUSH2 0x01d8
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x7d4b1130
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x7d4b1130
000000a7: EQ
000000a8: PUSH2 0x0581
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x81b34f15
000000b2: EQ
000000b3: PUSH2 0x05b4
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8da5cb5b
000000bd: EQ
000000be: PUSH2 0x05f3
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x0624
000000cc: JUMPI
000000cd: PUSH2 0x01d8
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x6ab28bc8
000000d8: EQ
000000d9: PUSH2 0x050f
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x70a08231
000000e3: EQ
000000e4: PUSH2 0x0524
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x715018a6
000000ee: EQ
000000ef: PUSH2 0x0557
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x797be55e
000000f9: EQ
000000fa: PUSH2 0x056c
000000fd: JUMPI
000000fe: PUSH2 0x01d8
00000101: JUMP
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x2e2ebe06
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x3f40406c
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x3f40406c
0000011f: EQ
00000120: PUSH2 0x046d
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x441a3e70
0000012a: EQ
0000012b: PUSH2 0x04a0
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x4dbac733
00000135: EQ
00000136: PUSH2 0x04d0
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6198e339
00000140: EQ
00000141: PUSH2 0x04e5
00000144: JUMPI
00000145: PUSH2 0x01d8
00000148: JUMP
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x2e2ebe06
00000150: EQ
00000151: PUSH2 0x03a2
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x313ce567
0000015b: EQ
0000015c: PUSH2 0x03bf
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x3755269b
00000166: EQ
00000167: PUSH2 0x03ea
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x39509351
00000171: EQ
00000172: PUSH2 0x0434
00000175: JUMPI
00000176: PUSH2 0x01d8
00000179: JUMP
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x18160ddd
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x18160ddd
0000018c: EQ
0000018d: PUSH2 0x02d9
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x21e5e2c4
00000197: EQ
00000198: PUSH2 0x0300
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x23b872dd
000001a2: EQ
000001a3: PUSH2 0x0333
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x2ba59175
000001ad: EQ
000001ae: PUSH2 0x0376
000001b1: JUMPI
000001b2: PUSH2 0x01d8
000001b5: JUMP
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x06fdde03
000001bd: EQ
000001be: PUSH2 0x01dd
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x095ea7b3
000001c8: EQ
000001c9: PUSH2 0x0267
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x1338736f
000001d3: EQ
000001d4: PUSH2 0x02b4
000001d7: JUMPI
000001d8: JUMPDEST
000001d9: PUSH1 0x00
000001db: DUP1
000001dc: REVERT
000001dd: JUMPDEST
000001de: CALLVALUE
000001df: DUP1
000001e0: ISZERO
000001e1: PUSH2 0x01e9
000001e4: JUMPI
000001e5: PUSH1 0x00
000001e7: DUP1
000001e8: REVERT
000001e9: JUMPDEST
000001ea: POP
000001eb: PUSH2 0x01f2
000001ee: PUSH2 0x0782
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH1 0x40
000001f5: DUP1
000001f6: MLOAD
000001f7: PUSH1 0x20
000001f9: DUP1
000001fa: DUP3
000001fb: MSTORE
000001fc: DUP4
000001fd: MLOAD
000001fe: DUP2
000001ff: DUP4
00000200: ADD
00000201: MSTORE
00000202: DUP4
00000203: MLOAD
00000204: SWAP2
00000205: SWAP3
00000206: DUP4
00000207: SWAP3
00000208: SWAP1
00000209: DUP4
0000020a: ADD
0000020b: SWAP2
0000020c: DUP6
0000020d: ADD
0000020e: SWAP1
0000020f: DUP1
00000210: DUP4
00000211: DUP4
00000212: PUSH1 0x00
00000214: JUMPDEST
00000215: DUP4
00000216: DUP2
00000217: LT
00000218: ISZERO
00000219: PUSH2 0x022c
0000021c: JUMPI
0000021d: DUP2
0000021e: DUP2
0000021f: ADD
00000220: MLOAD
00000221: DUP4
00000222: DUP3
00000223: ADD
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: PUSH2 0x0214
0000022b: JUMP
0000022c: JUMPDEST
0000022d: POP
0000022e: POP
0000022f: POP
00000230: POP
00000231: SWAP1
00000232: POP
00000233: SWAP1
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: PUSH1 0x1f
00000239: AND
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0259
0000023f: JUMPI
00000240: DUP1
00000241: DUP3
00000242: SUB
00000243: DUP1
00000244: MLOAD
00000245: PUSH1 0x01
00000247: DUP4
00000248: PUSH1 0x20
0000024a: SUB
0000024b: PUSH2 0x0100
0000024e: EXP
0000024f: SUB
00000250: NOT
00000251: AND
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x20
00000256: ADD
00000257: SWAP2
00000258: POP
00000259: JUMPDEST
0000025a: POP
0000025b: SWAP3
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: DUP1
00000263: SWAP2
00000264: SUB
00000265: SWAP1
00000266: RETURN
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x02a0
00000278: PUSH1 0x04
0000027a: DUP1
0000027b: CALLDATASIZE
0000027c: SUB
0000027d: PUSH1 0x40
0000027f: DUP2
00000280: LT
00000281: ISZERO
00000282: PUSH2 0x028a
00000285: JUMPI
00000286: PUSH1 0x00
00000288: DUP1
00000289: REVERT
0000028a: JUMPDEST
0000028b: POP
0000028c: PUSH1 0x01
0000028e: PUSH1 0x01
00000290: PUSH1 0xa0
00000292: SHL
00000293: SUB
00000294: DUP2
00000295: CALLDATALOAD
00000296: AND
00000297: SWAP1
00000298: PUSH1 0x20
0000029a: ADD
0000029b: CALLDATALOAD
0000029c: PUSH2 0x0818
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: DUP1
000002a4: MLOAD
000002a5: SWAP2
000002a6: ISZERO
000002a7: ISZERO
000002a8: DUP3
000002a9: MSTORE
000002aa: MLOAD
000002ab: SWAP1
000002ac: DUP2
000002ad: SWAP1
000002ae: SUB
000002af: PUSH1 0x20
000002b1: ADD
000002b2: SWAP1
000002b3: RETURN
000002b4: JUMPDEST
000002b5: PUSH2 0x02d7
000002b8: PUSH1 0x04
000002ba: DUP1
000002bb: CALLDATASIZE
000002bc: SUB
000002bd: PUSH1 0x40
000002bf: DUP2
000002c0: LT
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: DUP1
000002cd: CALLDATALOAD
000002ce: SWAP1
000002cf: PUSH1 0x20
000002d1: ADD
000002d2: CALLDATALOAD
000002d3: PUSH2 0x0836
000002d6: JUMP
000002d7: JUMPDEST
000002d8: STOP
000002d9: JUMPDEST
000002da: CALLVALUE
000002db: DUP1
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: POP
000002e7: PUSH2 0x02ee
000002ea: PUSH2 0x0a2c
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: DUP1
000002f2: MLOAD
000002f3: SWAP2
000002f4: DUP3
000002f5: MSTORE
000002f6: MLOAD
000002f7: SWAP1
000002f8: DUP2
000002f9: SWAP1
000002fa: SUB
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP1
000002ff: RETURN
00000300: JUMPDEST
00000301: CALLVALUE
00000302: DUP1
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: POP
0000030e: PUSH2 0x02ee
00000311: PUSH1 0x04
00000313: DUP1
00000314: CALLDATASIZE
00000315: SUB
00000316: PUSH1 0x20
00000318: DUP2
00000319: LT
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: CALLDATALOAD
00000326: PUSH1 0x01
00000328: PUSH1 0x01
0000032a: PUSH1 0xa0
0000032c: SHL
0000032d: SUB
0000032e: AND
0000032f: PUSH2 0x0a32
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x02a0
00000344: PUSH1 0x04
00000346: DUP1
00000347: CALLDATASIZE
00000348: SUB
00000349: PUSH1 0x60
0000034b: DUP2
0000034c: LT
0000034d: ISZERO
0000034e: PUSH2 0x0356
00000351: JUMPI
00000352: PUSH1 0x00
00000354: DUP1
00000355: REVERT
00000356: JUMPDEST
00000357: POP
00000358: PUSH1 0x01
0000035a: PUSH1 0x01
0000035c: PUSH1 0xa0
0000035e: SHL
0000035f: SUB
00000360: DUP2
00000361: CALLDATALOAD
00000362: DUP2
00000363: AND
00000364: SWAP2
00000365: PUSH1 0x20
00000367: DUP2
00000368: ADD
00000369: CALLDATALOAD
0000036a: SWAP1
0000036b: SWAP2
0000036c: AND
0000036d: SWAP1
0000036e: PUSH1 0x40
00000370: ADD
00000371: CALLDATALOAD
00000372: PUSH2 0x0a78
00000375: JUMP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH2 0x02d7
00000387: PUSH1 0x04
00000389: DUP1
0000038a: CALLDATASIZE
0000038b: SUB
0000038c: PUSH1 0x20
0000038e: DUP2
0000038f: LT
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: CALLDATALOAD
0000039c: ISZERO
0000039d: ISZERO
0000039e: PUSH2 0x0aff
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x02ee
000003a6: PUSH1 0x04
000003a8: DUP1
000003a9: CALLDATASIZE
000003aa: SUB
000003ab: PUSH1 0x20
000003ad: DUP2
000003ae: LT
000003af: ISZERO
000003b0: PUSH2 0x03b8
000003b3: JUMPI
000003b4: PUSH1 0x00
000003b6: DUP1
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: CALLDATALOAD
000003bb: PUSH2 0x0b1f
000003be: JUMP
000003bf: JUMPDEST
000003c0: CALLVALUE
000003c1: DUP1
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: PUSH2 0x03d4
000003d0: PUSH2 0x0c7b
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x40
000003d7: DUP1
000003d8: MLOAD
000003d9: PUSH1 0xff
000003db: SWAP1
000003dc: SWAP3
000003dd: AND
000003de: DUP3
000003df: MSTORE
000003e0: MLOAD
000003e1: SWAP1
000003e2: DUP2
000003e3: SWAP1
000003e4: SUB
000003e5: PUSH1 0x20
000003e7: ADD
000003e8: SWAP1
000003e9: RETURN
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0414
000003fb: PUSH1 0x04
000003fd: DUP1
000003fe: CALLDATASIZE
000003ff: SUB
00000400: PUSH1 0x20
00000402: DUP2
00000403: LT
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: POP
0000040f: CALLDATALOAD
00000410: PUSH2 0x0c84
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH1 0x40
00000417: DUP1
00000418: MLOAD
00000419: SWAP4
0000041a: DUP5
0000041b: MSTORE
0000041c: PUSH1 0x20
0000041e: DUP5
0000041f: ADD
00000420: SWAP3
00000421: SWAP1
00000422: SWAP3
00000423: MSTORE
00000424: ISZERO
00000425: ISZERO
00000426: DUP3
00000427: DUP3
00000428: ADD
00000429: MSTORE
0000042a: MLOAD
0000042b: SWAP1
0000042c: DUP2
0000042d: SWAP1
0000042e: SUB
0000042f: PUSH1 0x60
00000431: ADD
00000432: SWAP1
00000433: RETURN
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x02a0
00000445: PUSH1 0x04
00000447: DUP1
00000448: CALLDATASIZE
00000449: SUB
0000044a: PUSH1 0x40
0000044c: DUP2
0000044d: LT
0000044e: ISZERO
0000044f: PUSH2 0x0457
00000452: JUMPI
00000453: PUSH1 0x00
00000455: DUP1
00000456: REVERT
00000457: JUMPDEST
00000458: POP
00000459: PUSH1 0x01
0000045b: PUSH1 0x01
0000045d: PUSH1 0xa0
0000045f: SHL
00000460: SUB
00000461: DUP2
00000462: CALLDATALOAD
00000463: AND
00000464: SWAP1
00000465: PUSH1 0x20
00000467: ADD
00000468: CALLDATALOAD
00000469: PUSH2 0x0cb7
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x02a0
0000047e: PUSH1 0x04
00000480: DUP1
00000481: CALLDATASIZE
00000482: SUB
00000483: PUSH1 0x20
00000485: DUP2
00000486: LT
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: CALLDATALOAD
00000493: PUSH1 0x01
00000495: PUSH1 0x01
00000497: PUSH1 0xa0
00000499: SHL
0000049a: SUB
0000049b: AND
0000049c: PUSH2 0x0d05
0000049f: JUMP
000004a0: JUMPDEST
000004a1: CALLVALUE
000004a2: DUP1
000004a3: ISZERO
000004a4: PUSH2 0x04ac
000004a7: JUMPI
000004a8: PUSH1 0x00
000004aa: DUP1
000004ab: REVERT
000004ac: JUMPDEST
000004ad: POP
000004ae: PUSH2 0x02ee
000004b1: PUSH1 0x04
000004b3: DUP1
000004b4: CALLDATASIZE
000004b5: SUB
000004b6: PUSH1 0x40
000004b8: DUP2
000004b9: LT
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: DUP1
000004c6: CALLDATALOAD
000004c7: SWAP1
000004c8: PUSH1 0x20
000004ca: ADD
000004cb: CALLDATALOAD
000004cc: PUSH2 0x0d1a
000004cf: JUMP
000004d0: JUMPDEST
000004d1: CALLVALUE
000004d2: DUP1
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: PUSH2 0x02ee
000004e1: PUSH2 0x0f72
000004e4: JUMP
000004e5: JUMPDEST
000004e6: CALLVALUE
000004e7: DUP1
000004e8: ISZERO
000004e9: PUSH2 0x04f1
000004ec: JUMPI
000004ed: PUSH1 0x00
000004ef: DUP1
000004f0: REVERT
000004f1: JUMPDEST
000004f2: POP
000004f3: PUSH2 0x02d7
000004f6: PUSH1 0x04
000004f8: DUP1
000004f9: CALLDATASIZE
000004fa: SUB
000004fb: PUSH1 0x20
000004fd: DUP2
000004fe: LT
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: CALLDATALOAD
0000050b: PUSH2 0x0f78
0000050e: JUMP
0000050f: JUMPDEST
00000510: CALLVALUE
00000511: DUP1
00000512: ISZERO
00000513: PUSH2 0x051b
00000516: JUMPI
00000517: PUSH1 0x00
00000519: DUP1
0000051a: REVERT
0000051b: JUMPDEST
0000051c: POP
0000051d: PUSH2 0x02ee
00000520: PUSH2 0x10a4
00000523: JUMP
00000524: JUMPDEST
00000525: CALLVALUE
00000526: DUP1
00000527: ISZERO
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: POP
00000532: PUSH2 0x02ee
00000535: PUSH1 0x04
00000537: DUP1
00000538: CALLDATASIZE
00000539: SUB
0000053a: PUSH1 0x20
0000053c: DUP2
0000053d: LT
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: CALLDATALOAD
0000054a: PUSH1 0x01
0000054c: PUSH1 0x01
0000054e: PUSH1 0xa0
00000550: SHL
00000551: SUB
00000552: AND
00000553: PUSH2 0x10aa
00000556: JUMP
00000557: JUMPDEST
00000558: CALLVALUE
00000559: DUP1
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: PUSH2 0x02d7
00000568: PUSH2 0x10c5
0000056b: JUMP
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x02ee
0000057d: PUSH2 0x1167
00000580: JUMP
00000581: JUMPDEST
00000582: CALLVALUE
00000583: DUP1
00000584: ISZERO
00000585: PUSH2 0x058d
00000588: JUMPI
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: REVERT
0000058d: JUMPDEST
0000058e: POP
0000058f: PUSH2 0x02ee
00000592: PUSH1 0x04
00000594: DUP1
00000595: CALLDATASIZE
00000596: SUB
00000597: PUSH1 0x20
00000599: DUP2
0000059a: LT
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: CALLDATALOAD
000005a7: PUSH1 0x01
000005a9: PUSH1 0x01
000005ab: PUSH1 0xa0
000005ad: SHL
000005ae: SUB
000005af: AND
000005b0: PUSH2 0x116d
000005b3: JUMP
000005b4: JUMPDEST
000005b5: CALLVALUE
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c0
000005bb: JUMPI
000005bc: PUSH1 0x00
000005be: DUP1
000005bf: REVERT
000005c0: JUMPDEST
000005c1: POP
000005c2: PUSH2 0x02d7
000005c5: PUSH1 0x04
000005c7: DUP1
000005c8: CALLDATASIZE
000005c9: SUB
000005ca: PUSH1 0x60
000005cc: DUP2
000005cd: LT
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: DUP1
000005da: CALLDATALOAD
000005db: SWAP1
000005dc: PUSH1 0x01
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: SHL
000005e3: SUB
000005e4: PUSH1 0x20
000005e6: DUP3
000005e7: ADD
000005e8: CALLDATALOAD
000005e9: AND
000005ea: SWAP1
000005eb: PUSH1 0x40
000005ed: ADD
000005ee: CALLDATALOAD
000005ef: PUSH2 0x117f
000005f2: JUMP
000005f3: JUMPDEST
000005f4: CALLVALUE
000005f5: DUP1
000005f6: ISZERO
000005f7: PUSH2 0x05ff
000005fa: JUMPI
000005fb: PUSH1 0x00
000005fd: DUP1
000005fe: REVERT
000005ff: JUMPDEST
00000600: POP
00000601: PUSH2 0x0608
00000604: PUSH2 0x1360
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH1 0x40
0000060b: DUP1
0000060c: MLOAD
0000060d: PUSH1 0x01
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: SHL
00000614: SUB
00000615: SWAP1
00000616: SWAP3
00000617: AND
00000618: DUP3
00000619: MSTORE
0000061a: MLOAD
0000061b: SWAP1
0000061c: DUP2
0000061d: SWAP1
0000061e: SUB
0000061f: PUSH1 0x20
00000621: ADD
00000622: SWAP1
00000623: RETURN
00000624: JUMPDEST
00000625: CALLVALUE
00000626: DUP1
00000627: ISZERO
00000628: PUSH2 0x0630
0000062b: JUMPI
0000062c: PUSH1 0x00
0000062e: DUP1
0000062f: REVERT
00000630: JUMPDEST
00000631: POP
00000632: PUSH2 0x01f2
00000635: PUSH2 0x136f
00000638: JUMP
00000639: JUMPDEST
0000063a: CALLVALUE
0000063b: DUP1
0000063c: ISZERO
0000063d: PUSH2 0x0645
00000640: JUMPI
00000641: PUSH1 0x00
00000643: DUP1
00000644: REVERT
00000645: JUMPDEST
00000646: POP
00000647: PUSH2 0x02a0
0000064a: PUSH1 0x04
0000064c: DUP1
0000064d: CALLDATASIZE
0000064e: SUB
0000064f: PUSH1 0x40
00000651: DUP2
00000652: LT
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH1 0x01
00000660: PUSH1 0x01
00000662: PUSH1 0xa0
00000664: SHL
00000665: SUB
00000666: DUP2
00000667: CALLDATALOAD
00000668: AND
00000669: SWAP1
0000066a: PUSH1 0x20
0000066c: ADD
0000066d: CALLDATALOAD
0000066e: PUSH2 0x13d0
00000671: JUMP
00000672: JUMPDEST
00000673: CALLVALUE
00000674: DUP1
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: PUSH2 0x02a0
00000683: PUSH1 0x04
00000685: DUP1
00000686: CALLDATASIZE
00000687: SUB
00000688: PUSH1 0x40
0000068a: DUP2
0000068b: LT
0000068c: ISZERO
0000068d: PUSH2 0x0695
00000690: JUMPI
00000691: PUSH1 0x00
00000693: DUP1
00000694: REVERT
00000695: JUMPDEST
00000696: POP
00000697: PUSH1 0x01
00000699: PUSH1 0x01
0000069b: PUSH1 0xa0
0000069d: SHL
0000069e: SUB
0000069f: DUP2
000006a0: CALLDATALOAD
000006a1: AND
000006a2: SWAP1
000006a3: PUSH1 0x20
000006a5: ADD
000006a6: CALLDATALOAD
000006a7: PUSH2 0x1438
000006aa: JUMP
000006ab: JUMPDEST
000006ac: CALLVALUE
000006ad: DUP1
000006ae: ISZERO
000006af: PUSH2 0x06b7
000006b2: JUMPI
000006b3: PUSH1 0x00
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH2 0x02ee
000006bc: PUSH2 0x144c
000006bf: JUMP
000006c0: JUMPDEST
000006c1: CALLVALUE
000006c2: DUP1
000006c3: ISZERO
000006c4: PUSH2 0x06cc
000006c7: JUMPI
000006c8: PUSH1 0x00
000006ca: DUP1
000006cb: REVERT
000006cc: JUMPDEST
000006cd: POP
000006ce: PUSH2 0x02ee
000006d1: PUSH2 0x1461
000006d4: JUMP
000006d5: JUMPDEST
000006d6: CALLVALUE
000006d7: DUP1
000006d8: ISZERO
000006d9: PUSH2 0x06e1
000006dc: JUMPI
000006dd: PUSH1 0x00
000006df: DUP1
000006e0: REVERT
000006e1: JUMPDEST
000006e2: POP
000006e3: PUSH2 0x02d7
000006e6: PUSH1 0x04
000006e8: DUP1
000006e9: CALLDATASIZE
000006ea: SUB
000006eb: PUSH1 0x20
000006ed: DUP2
000006ee: LT
000006ef: ISZERO
000006f0: PUSH2 0x06f8
000006f3: JUMPI
000006f4: PUSH1 0x00
000006f6: DUP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: POP
000006fa: CALLDATALOAD
000006fb: PUSH2 0x1478
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x02ee
00000710: PUSH1 0x04
00000712: DUP1
00000713: CALLDATASIZE
00000714: SUB
00000715: PUSH1 0x40
00000717: DUP2
00000718: LT
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH1 0x01
00000726: PUSH1 0x01
00000728: PUSH1 0xa0
0000072a: SHL
0000072b: SUB
0000072c: DUP2
0000072d: CALLDATALOAD
0000072e: DUP2
0000072f: AND
00000730: SWAP2
00000731: PUSH1 0x20
00000733: ADD
00000734: CALLDATALOAD
00000735: AND
00000736: PUSH2 0x152d
00000739: JUMP
0000073a: JUMPDEST
0000073b: CALLVALUE
0000073c: DUP1
0000073d: ISZERO
0000073e: PUSH2 0x0746
00000741: JUMPI
00000742: PUSH1 0x00
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: POP
00000748: PUSH2 0x02ee
0000074b: PUSH2 0x1558
0000074e: JUMP
0000074f: JUMPDEST
00000750: CALLVALUE
00000751: DUP1
00000752: ISZERO
00000753: PUSH2 0x075b
00000756: JUMPI
00000757: PUSH1 0x00
00000759: DUP1
0000075a: REVERT
0000075b: JUMPDEST
0000075c: POP
0000075d: PUSH2 0x02d7
00000760: PUSH1 0x04
00000762: DUP1
00000763: CALLDATASIZE
00000764: SUB
00000765: PUSH1 0x20
00000767: DUP2
00000768: LT
00000769: ISZERO
0000076a: PUSH2 0x0772
0000076d: JUMPI
0000076e: PUSH1 0x00
00000770: DUP1
00000771: REVERT
00000772: JUMPDEST
00000773: POP
00000774: CALLDATALOAD
00000775: PUSH1 0x01
00000777: PUSH1 0x01
00000779: PUSH1 0xa0
0000077b: SHL
0000077c: SUB
0000077d: AND
0000077e: PUSH2 0x155e
00000781: JUMP
00000782: JUMPDEST
00000783: PUSH1 0x04
00000785: DUP1
00000786: SLOAD
00000787: PUSH1 0x40
00000789: DUP1
0000078a: MLOAD
0000078b: PUSH1 0x20
0000078d: PUSH1 0x1f
0000078f: PUSH1 0x02
00000791: PUSH1 0x00
00000793: NOT
00000794: PUSH2 0x0100
00000797: PUSH1 0x01
00000799: DUP9
0000079a: AND
0000079b: ISZERO
0000079c: MUL
0000079d: ADD
0000079e: SWAP1
0000079f: SWAP6
000007a0: AND
000007a1: SWAP5
000007a2: SWAP1
000007a3: SWAP5
000007a4: DIV
000007a5: SWAP4
000007a6: DUP5
000007a7: ADD
000007a8: DUP2
000007a9: SWAP1
000007aa: DIV
000007ab: DUP2
000007ac: MUL
000007ad: DUP3
000007ae: ADD
000007af: DUP2
000007b0: ADD
000007b1: SWAP1
000007b2: SWAP3
000007b3: MSTORE
000007b4: DUP3
000007b5: DUP2
000007b6: MSTORE
000007b7: PUSH1 0x60
000007b9: SWAP4
000007ba: SWAP1
000007bb: SWAP3
000007bc: SWAP1
000007bd: SWAP2
000007be: DUP4
000007bf: ADD
000007c0: DUP3
000007c1: DUP3
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x080e
000007c7: JUMPI
000007c8: DUP1
000007c9: PUSH1 0x1f
000007cb: LT
000007cc: PUSH2 0x07e3
000007cf: JUMPI
000007d0: PUSH2 0x0100
000007d3: DUP1
000007d4: DUP4
000007d5: SLOAD
000007d6: DIV
000007d7: MUL
000007d8: DUP4
000007d9: MSTORE
000007da: SWAP2
000007db: PUSH1 0x20
000007dd: ADD
000007de: SWAP2
000007df: PUSH2 0x080e
000007e2: JUMP
000007e3: JUMPDEST
000007e4: DUP3
000007e5: ADD
000007e6: SWAP2
000007e7: SWAP1
000007e8: PUSH1 0x00
000007ea: MSTORE
000007eb: PUSH1 0x20
000007ed: PUSH1 0x00
000007ef: KECCAK256
000007f0: SWAP1
000007f1: JUMPDEST
000007f2: DUP2
000007f3: SLOAD
000007f4: DUP2
000007f5: MSTORE
000007f6: SWAP1
000007f7: PUSH1 0x01
000007f9: ADD
000007fa: SWAP1
000007fb: PUSH1 0x20
000007fd: ADD
000007fe: DUP1
000007ff: DUP4
00000800: GT
00000801: PUSH2 0x07f1
00000804: JUMPI
00000805: DUP3
00000806: SWAP1
00000807: SUB
00000808: PUSH1 0x1f
0000080a: AND
0000080b: DUP3
0000080c: ADD
0000080d: SWAP2
0000080e: JUMPDEST
0000080f: POP
00000810: POP
00000811: POP
00000812: POP
00000813: POP
00000814: SWAP1
00000815: POP
00000816: SWAP1
00000817: JUMP
00000818: JUMPDEST
00000819: PUSH1 0x00
0000081b: PUSH2 0x082c
0000081e: PUSH2 0x0825
00000821: PUSH2 0x1656
00000824: JUMP
00000825: JUMPDEST
00000826: DUP5
00000827: DUP5
00000828: PUSH2 0x165a
0000082b: JUMP
0000082c: JUMPDEST
0000082d: POP
0000082e: PUSH1 0x01
00000830: JUMPDEST
00000831: SWAP3
00000832: SWAP2
00000833: POP
00000834: POP
00000835: JUMP
00000836: JUMPDEST
00000837: PUSH2 0x083e
0000083a: PUSH2 0x1656
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH1 0x00
00000841: SLOAD
00000842: PUSH1 0x01
00000844: PUSH1 0x01
00000846: PUSH1 0xa0
00000848: SHL
00000849: SUB
0000084a: SWAP1
0000084b: DUP2
0000084c: AND
0000084d: SWAP2
0000084e: AND
0000084f: EQ
00000850: PUSH2 0x088e
00000853: JUMPI
00000854: PUSH1 0x40
00000856: DUP1
00000857: MLOAD
00000858: PUSH3 0x461bcd
0000085c: PUSH1 0xe5
0000085e: SHL
0000085f: DUP2
00000860: MSTORE
00000861: PUSH1 0x20
00000863: PUSH1 0x04
00000865: DUP3
00000866: ADD
00000867: DUP2
00000868: SWAP1
00000869: MSTORE
0000086a: PUSH1 0x24
0000086c: DUP3
0000086d: ADD
0000086e: MSTORE
0000086f: PUSH1 0x00
00000871: DUP1
00000872: MLOAD
00000873: PUSH1 0x20
00000875: PUSH2 0x1f54
00000878: DUP4
00000879: CODECOPY
0000087a: DUP2
0000087b: MLOAD
0000087c: SWAP2
0000087d: MSTORE
0000087e: PUSH1 0x44
00000880: DUP3
00000881: ADD
00000882: MSTORE
00000883: SWAP1
00000884: MLOAD
00000885: SWAP1
00000886: DUP2
00000887: SWAP1
00000888: SUB
00000889: PUSH1 0x64
0000088b: ADD
0000088c: SWAP1
0000088d: REVERT
0000088e: JUMPDEST
0000088f: PUSH1 0x0c
00000891: SLOAD
00000892: DUP3
00000893: EQ
00000894: PUSH2 0x08cf
00000897: JUMPI
00000898: PUSH1 0x40
0000089a: DUP1
0000089b: MLOAD
0000089c: PUSH3 0x461bcd
000008a0: PUSH1 0xe5
000008a2: SHL
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x20
000008a7: PUSH1 0x04
000008a9: DUP3
000008aa: ADD
000008ab: MSTORE
000008ac: PUSH1 0x08
000008ae: PUSH1 0x24
000008b0: DUP3
000008b1: ADD
000008b2: MSTORE
000008b3: PUSH8 0x15dc9bdb99c81a59
000008bc: PUSH1 0xc2
000008be: SHL
000008bf: PUSH1 0x44
000008c1: DUP3
000008c2: ADD
000008c3: MSTORE
000008c4: SWAP1
000008c5: MLOAD
000008c6: SWAP1
000008c7: DUP2
000008c8: SWAP1
000008c9: SUB
000008ca: PUSH1 0x64
000008cc: ADD
000008cd: SWAP1
000008ce: REVERT
000008cf: JUMPDEST
000008d0: PUSH2 0x08ec
000008d3: PUSH1 0x08
000008d5: PUSH2 0x08e6
000008d8: CALLVALUE
000008d9: PUSH2 0x08e0
000008dc: PUSH2 0x1461
000008df: JUMP
000008e0: JUMPDEST
000008e1: SWAP1
000008e2: PUSH2 0x1746
000008e5: JUMP
000008e6: JUMPDEST
000008e7: SWAP1
000008e8: PUSH2 0x178f
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH2 0x0906
000008f0: PUSH1 0x0a
000008f2: PUSH2 0x08e6
000008f5: DUP5
000008f6: PUSH1 0x08
000008f8: SLOAD
000008f9: PUSH2 0x17e8
000008fc: SWAP1
000008fd: SWAP2
000008fe: SWAP1
000008ff: PUSH4 0xffffffff
00000904: AND
00000905: JUMP
00000906: JUMPDEST
00000907: GT
00000908: ISZERO
00000909: PUSH2 0x0959
0000090c: JUMPI
0000090d: PUSH1 0x40
0000090f: DUP1
00000910: MLOAD
00000911: PUSH3 0x461bcd
00000915: PUSH1 0xe5
00000917: SHL
00000918: DUP2
00000919: MSTORE
0000091a: PUSH1 0x20
0000091c: PUSH1 0x04
0000091e: DUP3
0000091f: ADD
00000920: DUP2
00000921: SWAP1
00000922: MSTORE
00000923: PUSH1 0x24
00000925: DUP3
00000926: ADD
00000927: MSTORE
00000928: PUSH32 0x506f6f6c204572726f723a20416d6f756e7420697320746f6f206c617267652e
00000949: PUSH1 0x44
0000094b: DUP3
0000094c: ADD
0000094d: MSTORE
0000094e: SWAP1
0000094f: MLOAD
00000950: SWAP1
00000951: DUP2
00000952: SWAP1
00000953: SUB
00000954: PUSH1 0x64
00000956: ADD
00000957: SWAP1
00000958: REVERT
00000959: JUMPDEST
0000095a: PUSH1 0x40
0000095c: DUP1
0000095d: MLOAD
0000095e: PUSH1 0x60
00000960: DUP2
00000961: ADD
00000962: DUP3
00000963: MSTORE
00000964: DUP3
00000965: DUP2
00000966: MSTORE
00000967: CALLVALUE
00000968: PUSH1 0x20
0000096a: DUP3
0000096b: ADD
0000096c: DUP2
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x01
00000971: SWAP4
00000972: DUP4
00000973: ADD
00000974: DUP5
00000975: DUP2
00000976: MSTORE
00000977: PUSH1 0x0c
00000979: DUP1
0000097a: SLOAD
0000097b: SWAP6
0000097c: DUP7
0000097d: ADD
0000097e: DUP2
0000097f: SSTORE
00000980: PUSH1 0x00
00000982: MSTORE
00000983: SWAP3
00000984: MLOAD
00000985: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7
000009a6: PUSH1 0x03
000009a8: SWAP1
000009a9: SWAP6
000009aa: MUL
000009ab: SWAP5
000009ac: DUP6
000009ad: ADD
000009ae: SSTORE
000009af: MLOAD
000009b0: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c8
000009d1: DUP5
000009d2: ADD
000009d3: SSTORE
000009d4: SWAP1
000009d5: MLOAD
000009d6: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c9
000009f7: SWAP1
000009f8: SWAP3
000009f9: ADD
000009fa: DUP1
000009fb: SLOAD
000009fc: PUSH1 0xff
000009fe: NOT
000009ff: AND
00000a00: SWAP3
00000a01: ISZERO
00000a02: ISZERO
00000a03: SWAP3
00000a04: SWAP1
00000a05: SWAP3
00000a06: OR
00000a07: SWAP1
00000a08: SWAP2
00000a09: SSTORE
00000a0a: PUSH1 0x09
00000a0c: SLOAD
00000a0d: PUSH2 0x0a15
00000a10: SWAP2
00000a11: PUSH2 0x17e8
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH1 0x09
00000a18: SSTORE
00000a19: PUSH1 0x08
00000a1b: SLOAD
00000a1c: PUSH2 0x0a25
00000a1f: SWAP1
00000a20: DUP3
00000a21: PUSH2 0x17e8
00000a24: JUMP
00000a25: JUMPDEST
00000a26: PUSH1 0x08
00000a28: SSTORE
00000a29: POP
00000a2a: POP
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH1 0x03
00000a2f: SLOAD
00000a30: SWAP1
00000a31: JUMP
00000a32: JUMPDEST
00000a33: PUSH1 0x00
00000a35: DUP1
00000a36: PUSH2 0x0a3d
00000a39: PUSH2 0x0a2c
00000a3c: JUMP
00000a3d: JUMPDEST
00000a3e: GT
00000a3f: ISZERO
00000a40: PUSH2 0x0a6f
00000a43: JUMPI
00000a44: PUSH2 0x0a68
00000a47: PUSH2 0x0a4e
00000a4a: PUSH2 0x0a2c
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH2 0x0a62
00000a52: PUSH2 0x0a5a
00000a55: DUP6
00000a56: PUSH2 0x10aa
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH2 0x08e6
00000a5e: PUSH2 0x1461
00000a61: JUMP
00000a62: JUMPDEST
00000a63: SWAP1
00000a64: PUSH2 0x1842
00000a67: JUMP
00000a68: JUMPDEST
00000a69: SWAP1
00000a6a: POP
00000a6b: PUSH2 0x0a73
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: POP
00000a71: PUSH1 0x00
00000a73: JUMPDEST
00000a74: SWAP2
00000a75: SWAP1
00000a76: POP
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x00
00000a7b: PUSH2 0x0a85
00000a7e: DUP5
00000a7f: DUP5
00000a80: DUP5
00000a81: PUSH2 0x1884
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH2 0x0af5
00000a89: DUP5
00000a8a: PUSH2 0x0a91
00000a8d: PUSH2 0x1656
00000a90: JUMP
00000a91: JUMPDEST
00000a92: PUSH2 0x0af0
00000a95: DUP6
00000a96: PUSH1 0x40
00000a98: MLOAD
00000a99: DUP1
00000a9a: PUSH1 0x60
00000a9c: ADD
00000a9d: PUSH1 0x40
00000a9f: MSTORE
00000aa0: DUP1
00000aa1: PUSH1 0x28
00000aa3: DUP2
00000aa4: MSTORE
00000aa5: PUSH1 0x20
00000aa7: ADD
00000aa8: PUSH2 0x1f2c
00000aab: PUSH1 0x28
00000aad: SWAP2
00000aae: CODECOPY
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0xa0
00000ab5: SHL
00000ab6: SUB
00000ab7: DUP11
00000ab8: AND
00000ab9: PUSH1 0x00
00000abb: SWAP1
00000abc: DUP2
00000abd: MSTORE
00000abe: PUSH1 0x02
00000ac0: PUSH1 0x20
00000ac2: MSTORE
00000ac3: PUSH1 0x40
00000ac5: DUP2
00000ac6: KECCAK256
00000ac7: SWAP1
00000ac8: PUSH2 0x0acf
00000acb: PUSH2 0x1656
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0xa0
00000ad6: SHL
00000ad7: SUB
00000ad8: AND
00000ad9: DUP2
00000ada: MSTORE
00000adb: PUSH1 0x20
00000add: DUP2
00000ade: ADD
00000adf: SWAP2
00000ae0: SWAP1
00000ae1: SWAP2
00000ae2: MSTORE
00000ae3: PUSH1 0x40
00000ae5: ADD
00000ae6: PUSH1 0x00
00000ae8: KECCAK256
00000ae9: SLOAD
00000aea: SWAP2
00000aeb: SWAP1
00000aec: PUSH2 0x19e1
00000aef: JUMP
00000af0: JUMPDEST
00000af1: PUSH2 0x165a
00000af4: JUMP
00000af5: JUMPDEST
00000af6: POP
00000af7: PUSH1 0x01
00000af9: SWAP4
00000afa: SWAP3
00000afb: POP
00000afc: POP
00000afd: POP
00000afe: JUMP
00000aff: JUMPDEST
00000b00: CALLER
00000b01: PUSH1 0x00
00000b03: SWAP1
00000b04: DUP2
00000b05: MSTORE
00000b06: PUSH1 0x0b
00000b08: PUSH1 0x20
00000b0a: MSTORE
00000b0b: PUSH1 0x40
00000b0d: SWAP1
00000b0e: KECCAK256
00000b0f: DUP1
00000b10: SLOAD
00000b11: PUSH1 0xff
00000b13: NOT
00000b14: AND
00000b15: SWAP2
00000b16: ISZERO
00000b17: ISZERO
00000b18: SWAP2
00000b19: SWAP1
00000b1a: SWAP2
00000b1b: OR
00000b1c: SWAP1
00000b1d: SSTORE
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: CALLER
00000b21: PUSH1 0x00
00000b23: SWAP1
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x0a
00000b28: PUSH1 0x20
00000b2a: MSTORE
00000b2b: PUSH1 0x40
00000b2d: DUP2
00000b2e: KECCAK256
00000b2f: TIMESTAMP
00000b30: SWAP1
00000b31: SSTORE
00000b32: DUP1
00000b33: PUSH2 0x0b3a
00000b36: PUSH2 0x0a2c
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: SWAP1
00000b3c: POP
00000b3d: PUSH1 0x00
00000b3f: PUSH2 0x0b46
00000b42: PUSH2 0x1461
00000b45: JUMP
00000b46: JUMPDEST
00000b47: SWAP1
00000b48: POP
00000b49: PUSH1 0x00
00000b4b: DUP3
00000b4c: GT
00000b4d: DUP1
00000b4e: ISZERO
00000b4f: PUSH2 0x0b58
00000b52: JUMPI
00000b53: POP
00000b54: PUSH1 0x00
00000b56: DUP2
00000b57: GT
00000b58: JUMPDEST
00000b59: ISZERO
00000b5a: PUSH2 0x0b7b
00000b5d: JUMPI
00000b5e: PUSH2 0x0b74
00000b61: PUSH2 0x0b6a
00000b64: DUP3
00000b65: CALLVALUE
00000b66: PUSH2 0x1746
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH2 0x0a62
00000b6e: CALLVALUE
00000b6f: DUP6
00000b70: PUSH2 0x178f
00000b73: JUMP
00000b74: JUMPDEST
00000b75: SWAP3
00000b76: POP
00000b77: PUSH2 0x0b8a
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: PUSH2 0x0b87
00000b7f: CALLVALUE
00000b80: PUSH2 0x03e8
00000b83: PUSH2 0x178f
00000b86: JUMP
00000b87: JUMPDEST
00000b88: SWAP3
00000b89: POP
00000b8a: JUMPDEST
00000b8b: DUP4
00000b8c: DUP4
00000b8d: LT
00000b8e: ISZERO
00000b8f: PUSH2 0x0bdf
00000b92: JUMPI
00000b93: PUSH1 0x40
00000b95: DUP1
00000b96: MLOAD
00000b97: PUSH3 0x461bcd
00000b9b: PUSH1 0xe5
00000b9d: SHL
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH1 0x20
00000ba2: PUSH1 0x04
00000ba4: DUP3
00000ba5: ADD
00000ba6: MSTORE
00000ba7: PUSH1 0x1d
00000ba9: PUSH1 0x24
00000bab: DUP3
00000bac: ADD
00000bad: MSTORE
00000bae: PUSH32 0x506f6f6c3a204d696e74206c696d697420697320746f6f206c61726765000000
00000bcf: PUSH1 0x44
00000bd1: DUP3
00000bd2: ADD
00000bd3: MSTORE
00000bd4: SWAP1
00000bd5: MLOAD
00000bd6: SWAP1
00000bd7: DUP2
00000bd8: SWAP1
00000bd9: SUB
00000bda: PUSH1 0x64
00000bdc: ADD
00000bdd: SWAP1
00000bde: REVERT
00000bdf: JUMPDEST
00000be0: PUSH1 0x00
00000be2: DUP4
00000be3: GT
00000be4: PUSH2 0x0c30
00000be7: JUMPI
00000be8: PUSH1 0x40
00000bea: DUP1
00000beb: MLOAD
00000bec: PUSH3 0x461bcd
00000bf0: PUSH1 0xe5
00000bf2: SHL
00000bf3: DUP2
00000bf4: MSTORE
00000bf5: PUSH1 0x20
00000bf7: PUSH1 0x04
00000bf9: DUP3
00000bfa: ADD
00000bfb: MSTORE
00000bfc: PUSH1 0x19
00000bfe: PUSH1 0x24
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH25 0x141bdbdb0e88105b5bdd5b9d081a5cc81d1bdbc81cdb585b1b
00000c1d: PUSH1 0x3a
00000c1f: SHL
00000c20: PUSH1 0x44
00000c22: DUP3
00000c23: ADD
00000c24: MSTORE
00000c25: SWAP1
00000c26: MLOAD
00000c27: SWAP1
00000c28: DUP2
00000c29: SWAP1
00000c2a: SUB
00000c2b: PUSH1 0x64
00000c2d: ADD
00000c2e: SWAP1
00000c2f: REVERT
00000c30: JUMPDEST
00000c31: PUSH2 0x0c3a
00000c34: CALLER
00000c35: DUP5
00000c36: PUSH2 0x1a78
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x40
00000c3d: DUP1
00000c3e: MLOAD
00000c3f: CALLVALUE
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: DUP2
00000c45: ADD
00000c46: DUP6
00000c47: SWAP1
00000c48: MSTORE
00000c49: DUP2
00000c4a: MLOAD
00000c4b: CALLER
00000c4c: SWAP3
00000c4d: PUSH32 0x4089141ea5e4c16575f5ebf65f1786497ea07c175846fc7745ef8d8986a4ff65
00000c6e: SWAP3
00000c6f: DUP3
00000c70: SWAP1
00000c71: SUB
00000c72: ADD
00000c73: SWAP1
00000c74: LOG2
00000c75: POP
00000c76: POP
00000c77: SWAP2
00000c78: SWAP1
00000c79: POP
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x06
00000c7e: SLOAD
00000c7f: PUSH1 0xff
00000c81: AND
00000c82: SWAP1
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x0c
00000c87: DUP2
00000c88: DUP2
00000c89: SLOAD
00000c8a: DUP2
00000c8b: LT
00000c8c: PUSH2 0x0c91
00000c8f: JUMPI
00000c90: INVALID
00000c91: JUMPDEST
00000c92: PUSH1 0x00
00000c94: SWAP2
00000c95: DUP3
00000c96: MSTORE
00000c97: PUSH1 0x20
00000c99: SWAP1
00000c9a: SWAP2
00000c9b: KECCAK256
00000c9c: PUSH1 0x03
00000c9e: SWAP1
00000c9f: SWAP2
00000ca0: MUL
00000ca1: ADD
00000ca2: DUP1
00000ca3: SLOAD
00000ca4: PUSH1 0x01
00000ca6: DUP3
00000ca7: ADD
00000ca8: SLOAD
00000ca9: PUSH1 0x02
00000cab: SWAP1
00000cac: SWAP3
00000cad: ADD
00000cae: SLOAD
00000caf: SWAP1
00000cb0: SWAP3
00000cb1: POP
00000cb2: PUSH1 0xff
00000cb4: AND
00000cb5: DUP4
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x00
00000cba: PUSH2 0x082c
00000cbd: PUSH2 0x0cc4
00000cc0: PUSH2 0x1656
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: DUP5
00000cc6: PUSH2 0x0af0
00000cc9: DUP6
00000cca: PUSH1 0x02
00000ccc: PUSH1 0x00
00000cce: PUSH2 0x0cd5
00000cd1: PUSH2 0x1656
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: PUSH1 0x01
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: SHL
00000cdd: SUB
00000cde: SWAP1
00000cdf: DUP2
00000ce0: AND
00000ce1: DUP3
00000ce2: MSTORE
00000ce3: PUSH1 0x20
00000ce5: DUP1
00000ce6: DUP4
00000ce7: ADD
00000ce8: SWAP4
00000ce9: SWAP1
00000cea: SWAP4
00000ceb: MSTORE
00000cec: PUSH1 0x40
00000cee: SWAP2
00000cef: DUP3
00000cf0: ADD
00000cf1: PUSH1 0x00
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: KECCAK256
00000cf6: SWAP2
00000cf7: DUP13
00000cf8: AND
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: SWAP3
00000cfc: MSTORE
00000cfd: SWAP1
00000cfe: KECCAK256
00000cff: SLOAD
00000d00: SWAP1
00000d01: PUSH2 0x17e8
00000d04: JUMP
00000d05: JUMPDEST
00000d06: PUSH1 0x0b
00000d08: PUSH1 0x20
00000d0a: MSTORE
00000d0b: PUSH1 0x00
00000d0d: SWAP1
00000d0e: DUP2
00000d0f: MSTORE
00000d10: PUSH1 0x40
00000d12: SWAP1
00000d13: KECCAK256
00000d14: SLOAD
00000d15: PUSH1 0xff
00000d17: AND
00000d18: DUP2
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: PUSH1 0x07
00000d1d: SLOAD
00000d1e: CALLER
00000d1f: PUSH1 0x00
00000d21: SWAP1
00000d22: DUP2
00000d23: MSTORE
00000d24: PUSH1 0x0a
00000d26: PUSH1 0x20
00000d28: MSTORE
00000d29: PUSH1 0x40
00000d2b: DUP2
00000d2c: KECCAK256
00000d2d: SLOAD
00000d2e: SWAP1
00000d2f: SWAP2
00000d30: TIMESTAMP
00000d31: SWAP2
00000d32: PUSH2 0x0d3a
00000d35: SWAP2
00000d36: PUSH2 0x17e8
00000d39: JUMP
00000d3a: JUMPDEST
00000d3b: GT
00000d3c: ISZERO
00000d3d: PUSH2 0x0d8d
00000d40: JUMPI
00000d41: PUSH1 0x40
00000d43: DUP1
00000d44: MLOAD
00000d45: PUSH3 0x461bcd
00000d49: PUSH1 0xe5
00000d4b: SHL
00000d4c: DUP2
00000d4d: MSTORE
00000d4e: PUSH1 0x20
00000d50: PUSH1 0x04
00000d52: DUP3
00000d53: ADD
00000d54: MSTORE
00000d55: PUSH1 0x1d
00000d57: PUSH1 0x24
00000d59: DUP3
00000d5a: ADD
00000d5b: MSTORE
00000d5c: PUSH32 0x506f6f6c3a205769746864726177616c206973206c6f636b6564207570000000
00000d7d: PUSH1 0x44
00000d7f: DUP3
00000d80: ADD
00000d81: MSTORE
00000d82: SWAP1
00000d83: MLOAD
00000d84: SWAP1
00000d85: DUP2
00000d86: SWAP1
00000d87: SUB
00000d88: PUSH1 0x64
00000d8a: ADD
00000d8b: SWAP1
00000d8c: REVERT
00000d8d: JUMPDEST
00000d8e: PUSH2 0x0d95
00000d91: PUSH2 0x144c
00000d94: JUMP
00000d95: JUMPDEST
00000d96: DUP4
00000d97: GT
00000d98: ISZERO
00000d99: PUSH2 0x0dd3
00000d9c: JUMPI
00000d9d: PUSH1 0x40
00000d9f: MLOAD
00000da0: PUSH3 0x461bcd
00000da4: PUSH1 0xe5
00000da6: SHL
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x04
00000dab: ADD
00000dac: DUP1
00000dad: DUP1
00000dae: PUSH1 0x20
00000db0: ADD
00000db1: DUP3
00000db2: DUP2
00000db3: SUB
00000db4: DUP3
00000db5: MSTORE
00000db6: PUSH1 0x4b
00000db8: DUP2
00000db9: MSTORE
00000dba: PUSH1 0x20
00000dbc: ADD
00000dbd: DUP1
00000dbe: PUSH2 0x1dff
00000dc1: PUSH1 0x4b
00000dc3: SWAP2
00000dc4: CODECOPY
00000dc5: PUSH1 0x60
00000dc7: ADD
00000dc8: SWAP2
00000dc9: POP
00000dca: POP
00000dcb: PUSH1 0x40
00000dcd: MLOAD
00000dce: DUP1
00000dcf: SWAP2
00000dd0: SUB
00000dd1: SWAP1
00000dd2: REVERT
00000dd3: JUMPDEST
00000dd4: PUSH2 0x0df5
00000dd7: PUSH2 0x0de8
00000dda: PUSH2 0x0de1
00000ddd: PUSH2 0x0a2c
00000de0: JUMP
00000de1: JUMPDEST
00000de2: DUP6
00000de3: SWAP1
00000de4: PUSH2 0x178f
00000de7: JUMP
00000de8: JUMPDEST
00000de9: PUSH2 0x0df0
00000dec: PUSH2 0x1461
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH2 0x1b6a
00000df4: JUMP
00000df5: JUMPDEST
00000df6: SWAP1
00000df7: POP
00000df8: DUP2
00000df9: DUP2
00000dfa: GT
00000dfb: ISZERO
00000dfc: PUSH2 0x0e4c
00000dff: JUMPI
00000e00: PUSH1 0x40
00000e02: DUP1
00000e03: MLOAD
00000e04: PUSH3 0x461bcd
00000e08: PUSH1 0xe5
00000e0a: SHL
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: PUSH1 0x04
00000e11: DUP3
00000e12: ADD
00000e13: MSTORE
00000e14: PUSH1 0x1d
00000e16: PUSH1 0x24
00000e18: DUP3
00000e19: ADD
00000e1a: MSTORE
00000e1b: PUSH32 0x506f6f6c3a204275726e206c696d697420697320746f6f20736d616c6c000000
00000e3c: PUSH1 0x44
00000e3e: DUP3
00000e3f: ADD
00000e40: MSTORE
00000e41: SWAP1
00000e42: MLOAD
00000e43: SWAP1
00000e44: DUP2
00000e45: SWAP1
00000e46: SUB
00000e47: PUSH1 0x64
00000e49: ADD
00000e4a: SWAP1
00000e4b: REVERT
00000e4c: JUMPDEST
00000e4d: PUSH2 0x0e55
00000e50: CALLER
00000e51: PUSH2 0x10aa
00000e54: JUMP
00000e55: JUMPDEST
00000e56: DUP2
00000e57: GT
00000e58: ISZERO
00000e59: PUSH2 0x0ea9
00000e5c: JUMPI
00000e5d: PUSH1 0x40
00000e5f: DUP1
00000e60: MLOAD
00000e61: PUSH3 0x461bcd
00000e65: PUSH1 0xe5
00000e67: SHL
00000e68: DUP2
00000e69: MSTORE
00000e6a: PUSH1 0x20
00000e6c: PUSH1 0x04
00000e6e: DUP3
00000e6f: ADD
00000e70: MSTORE
00000e71: PUSH1 0x19
00000e73: PUSH1 0x24
00000e75: DUP3
00000e76: ADD
00000e77: MSTORE
00000e78: PUSH32 0x506f6f6c3a20416d6f756e7420697320746f6f206c6172676500000000000000
00000e99: PUSH1 0x44
00000e9b: DUP3
00000e9c: ADD
00000e9d: MSTORE
00000e9e: SWAP1
00000e9f: MLOAD
00000ea0: SWAP1
00000ea1: DUP2
00000ea2: SWAP1
00000ea3: SUB
00000ea4: PUSH1 0x64
00000ea6: ADD
00000ea7: SWAP1
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: PUSH1 0x00
00000eac: DUP2
00000ead: GT
00000eae: PUSH2 0x0efa
00000eb1: JUMPI
00000eb2: PUSH1 0x40
00000eb4: DUP1
00000eb5: MLOAD
00000eb6: PUSH3 0x461bcd
00000eba: PUSH1 0xe5
00000ebc: SHL
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: PUSH1 0x04
00000ec3: DUP3
00000ec4: ADD
00000ec5: MSTORE
00000ec6: PUSH1 0x19
00000ec8: PUSH1 0x24
00000eca: DUP3
00000ecb: ADD
00000ecc: MSTORE
00000ecd: PUSH25 0x141bdbdb0e88105b5bdd5b9d081a5cc81d1bdbc81cdb585b1b
00000ee7: PUSH1 0x3a
00000ee9: SHL
00000eea: PUSH1 0x44
00000eec: DUP3
00000eed: ADD
00000eee: MSTORE
00000eef: SWAP1
00000ef0: MLOAD
00000ef1: SWAP1
00000ef2: DUP2
00000ef3: SWAP1
00000ef4: SUB
00000ef5: PUSH1 0x64
00000ef7: ADD
00000ef8: SWAP1
00000ef9: REVERT
00000efa: JUMPDEST
00000efb: PUSH2 0x0f04
00000efe: CALLER
00000eff: DUP3
00000f00: PUSH2 0x1b9f
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x40
00000f07: DUP1
00000f08: MLOAD
00000f09: DUP5
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: PUSH1 0x20
00000f0e: DUP2
00000f0f: ADD
00000f10: DUP4
00000f11: SWAP1
00000f12: MSTORE
00000f13: DUP2
00000f14: MLOAD
00000f15: CALLER
00000f16: SWAP3
00000f17: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568
00000f38: SWAP3
00000f39: DUP3
00000f3a: SWAP1
00000f3b: SUB
00000f3c: ADD
00000f3d: SWAP1
00000f3e: LOG2
00000f3f: PUSH1 0x40
00000f41: MLOAD
00000f42: CALLER
00000f43: SWAP1
00000f44: DUP5
00000f45: ISZERO
00000f46: PUSH2 0x08fc
00000f49: MUL
00000f4a: SWAP1
00000f4b: DUP6
00000f4c: SWAP1
00000f4d: PUSH1 0x00
00000f4f: DUP2
00000f50: DUP2
00000f51: DUP2
00000f52: DUP6
00000f53: DUP9
00000f54: DUP9
00000f55: CALL
00000f56: SWAP4
00000f57: POP
00000f58: POP
00000f59: POP
00000f5a: POP
00000f5b: ISZERO
00000f5c: DUP1
00000f5d: ISZERO
00000f5e: PUSH2 0x0f6b
00000f61: JUMPI
00000f62: RETURNDATASIZE
00000f63: PUSH1 0x00
00000f65: DUP1
00000f66: RETURNDATACOPY
00000f67: RETURNDATASIZE
00000f68: PUSH1 0x00
00000f6a: REVERT
00000f6b: JUMPDEST
00000f6c: POP
00000f6d: SWAP3
00000f6e: SWAP2
00000f6f: POP
00000f70: POP
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH2 0x03e8
00000f76: DUP2
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH2 0x0f80
00000f7c: PUSH2 0x1656
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x00
00000f83: SLOAD
00000f84: PUSH1 0x01
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: SHL
00000f8b: SUB
00000f8c: SWAP1
00000f8d: DUP2
00000f8e: AND
00000f8f: SWAP2
00000f90: AND
00000f91: EQ
00000f92: PUSH2 0x0fd0
00000f95: JUMPI
00000f96: PUSH1 0x40
00000f98: DUP1
00000f99: MLOAD
00000f9a: PUSH3 0x461bcd
00000f9e: PUSH1 0xe5
00000fa0: SHL
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x20
00000fa5: PUSH1 0x04
00000fa7: DUP3
00000fa8: ADD
00000fa9: DUP2
00000faa: SWAP1
00000fab: MSTORE
00000fac: PUSH1 0x24
00000fae: DUP3
00000faf: ADD
00000fb0: MSTORE
00000fb1: PUSH1 0x00
00000fb3: DUP1
00000fb4: MLOAD
00000fb5: PUSH1 0x20
00000fb7: PUSH2 0x1f54
00000fba: DUP4
00000fbb: CODECOPY
00000fbc: DUP2
00000fbd: MLOAD
00000fbe: SWAP2
00000fbf: MSTORE
00000fc0: PUSH1 0x44
00000fc2: DUP3
00000fc3: ADD
00000fc4: MSTORE
00000fc5: SWAP1
00000fc6: MLOAD
00000fc7: SWAP1
00000fc8: DUP2
00000fc9: SWAP1
00000fca: SUB
00000fcb: PUSH1 0x64
00000fcd: ADD
00000fce: SWAP1
00000fcf: REVERT
00000fd0: JUMPDEST
00000fd1: PUSH1 0x00
00000fd3: PUSH1 0x0c
00000fd5: DUP3
00000fd6: DUP2
00000fd7: SLOAD
00000fd8: DUP2
00000fd9: LT
00000fda: PUSH2 0x0fdf
00000fdd: JUMPI
00000fde: INVALID
00000fdf: JUMPDEST
00000fe0: PUSH1 0x00
00000fe2: SWAP2
00000fe3: DUP3
00000fe4: MSTORE
00000fe5: PUSH1 0x20
00000fe7: SWAP1
00000fe8: SWAP2
00000fe9: KECCAK256
00000fea: PUSH1 0x03
00000fec: SWAP1
00000fed: SWAP2
00000fee: MUL
00000fef: ADD
00000ff0: PUSH1 0x02
00000ff2: DUP2
00000ff3: ADD
00000ff4: SLOAD
00000ff5: SWAP1
00000ff6: SWAP2
00000ff7: POP
00000ff8: PUSH1 0xff
00000ffa: AND
00000ffb: PUSH2 0x1035
00000ffe: JUMPI
00000fff: PUSH1 0x40
00001001: MLOAD
00001002: PUSH3 0x461bcd
00001006: PUSH1 0xe5
00001008: SHL
00001009: DUP2
0000100a: MSTORE
0000100b: PUSH1 0x04
0000100d: ADD
0000100e: DUP1
0000100f: DUP1
00001010: PUSH1 0x20
00001012: ADD
00001013: DUP3
00001014: DUP2
00001015: SUB
00001016: DUP3
00001017: MSTORE
00001018: PUSH1 0x31
0000101a: DUP2
0000101b: MSTORE
0000101c: PUSH1 0x20
0000101e: ADD
0000101f: DUP1
00001020: PUSH2 0x1e4a
00001023: PUSH1 0x31
00001025: SWAP2
00001026: CODECOPY
00001027: PUSH1 0x40
00001029: ADD
0000102a: SWAP2
0000102b: POP
0000102c: POP
0000102d: PUSH1 0x40
0000102f: MLOAD
00001030: DUP1
00001031: SWAP2
00001032: SUB
00001033: SWAP1
00001034: REVERT
00001035: JUMPDEST
00001036: PUSH1 0x02
00001038: DUP2
00001039: ADD
0000103a: DUP1
0000103b: SLOAD
0000103c: PUSH1 0xff
0000103e: NOT
0000103f: AND
00001040: SWAP1
00001041: SSTORE
00001042: PUSH1 0x01
00001044: DUP2
00001045: ADD
00001046: SLOAD
00001047: PUSH1 0x09
00001049: SLOAD
0000104a: PUSH2 0x1052
0000104d: SWAP2
0000104e: PUSH2 0x1746
00001051: JUMP
00001052: JUMPDEST
00001053: PUSH1 0x09
00001055: SSTORE
00001056: DUP1
00001057: SLOAD
00001058: PUSH1 0x08
0000105a: SLOAD
0000105b: PUSH2 0x1063
0000105e: SWAP2
0000105f: PUSH2 0x1746
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH1 0x08
00001066: SSTORE
00001067: PUSH1 0x01
00001069: DUP2
0000106a: ADD
0000106b: SLOAD
0000106c: PUSH1 0x40
0000106e: DUP1
0000106f: MLOAD
00001070: SWAP2
00001071: DUP3
00001072: MSTORE
00001073: MLOAD
00001074: DUP4
00001075: SWAP2
00001076: PUSH32 0x9f78baa7a8e3640efadcbedc2d00f5930ade7a7bb66038dbf88684d49972957a
00001097: SWAP2
00001098: SWAP1
00001099: DUP2
0000109a: SWAP1
0000109b: SUB
0000109c: PUSH1 0x20
0000109e: ADD
0000109f: SWAP1
000010a0: LOG2
000010a1: POP
000010a2: POP
000010a3: JUMP
000010a4: JUMPDEST
000010a5: PUSH1 0x08
000010a7: SLOAD
000010a8: DUP2
000010a9: JUMP
000010aa: JUMPDEST
000010ab: PUSH1 0x01
000010ad: PUSH1 0x01
000010af: PUSH1 0xa0
000010b1: SHL
000010b2: SUB
000010b3: AND
000010b4: PUSH1 0x00
000010b6: SWAP1
000010b7: DUP2
000010b8: MSTORE
000010b9: PUSH1 0x01
000010bb: PUSH1 0x20
000010bd: MSTORE
000010be: PUSH1 0x40
000010c0: SWAP1
000010c1: KECCAK256
000010c2: SLOAD
000010c3: SWAP1
000010c4: JUMP
000010c5: JUMPDEST
000010c6: PUSH2 0x10cd
000010c9: PUSH2 0x1656
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH1 0x00
000010d0: SLOAD
000010d1: PUSH1 0x01
000010d3: PUSH1 0x01
000010d5: PUSH1 0xa0
000010d7: SHL
000010d8: SUB
000010d9: SWAP1
000010da: DUP2
000010db: AND
000010dc: SWAP2
000010dd: AND
000010de: EQ
000010df: PUSH2 0x111d
000010e2: JUMPI
000010e3: PUSH1 0x40
000010e5: DUP1
000010e6: MLOAD
000010e7: PUSH3 0x461bcd
000010eb: PUSH1 0xe5
000010ed: SHL
000010ee: DUP2
000010ef: MSTORE
000010f0: PUSH1 0x20
000010f2: PUSH1 0x04
000010f4: DUP3
000010f5: ADD
000010f6: DUP2
000010f7: SWAP1
000010f8: MSTORE
000010f9: PUSH1 0x24
000010fb: DUP3
000010fc: ADD
000010fd: MSTORE
000010fe: PUSH1 0x00
00001100: DUP1
00001101: MLOAD
00001102: PUSH1 0x20
00001104: PUSH2 0x1f54
00001107: DUP4
00001108: CODECOPY
00001109: DUP2
0000110a: MLOAD
0000110b: SWAP2
0000110c: MSTORE
0000110d: PUSH1 0x44
0000110f: DUP3
00001110: ADD
00001111: MSTORE
00001112: SWAP1
00001113: MLOAD
00001114: SWAP1
00001115: DUP2
00001116: SWAP1
00001117: SUB
00001118: PUSH1 0x64
0000111a: ADD
0000111b: SWAP1
0000111c: REVERT
0000111d: JUMPDEST
0000111e: PUSH1 0x00
00001120: DUP1
00001121: SLOAD
00001122: PUSH1 0x40
00001124: MLOAD
00001125: PUSH1 0x01
00001127: PUSH1 0x01
00001129: PUSH1 0xa0
0000112b: SHL
0000112c: SUB
0000112d: SWAP1
0000112e: SWAP2
0000112f: AND
00001130: SWAP1
00001131: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001152: SWAP1
00001153: DUP4
00001154: SWAP1
00001155: LOG3
00001156: PUSH1 0x00
00001158: DUP1
00001159: SLOAD
0000115a: PUSH1 0x01
0000115c: PUSH1 0x01
0000115e: PUSH1 0xa0
00001160: SHL
00001161: SUB
00001162: NOT
00001163: AND
00001164: SWAP1
00001165: SSTORE
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH1 0x09
0000116a: SLOAD
0000116b: DUP2
0000116c: JUMP
0000116d: JUMPDEST
0000116e: PUSH1 0x0a
00001170: PUSH1 0x20
00001172: MSTORE
00001173: PUSH1 0x00
00001175: SWAP1
00001176: DUP2
00001177: MSTORE
00001178: PUSH1 0x40
0000117a: SWAP1
0000117b: KECCAK256
0000117c: SLOAD
0000117d: DUP2
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH2 0x1187
00001183: PUSH2 0x1656
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH1 0x00
0000118a: SLOAD
0000118b: PUSH1 0x01
0000118d: PUSH1 0x01
0000118f: PUSH1 0xa0
00001191: SHL
00001192: SUB
00001193: SWAP1
00001194: DUP2
00001195: AND
00001196: SWAP2
00001197: AND
00001198: EQ
00001199: PUSH2 0x11d7
0000119c: JUMPI
0000119d: PUSH1 0x40
0000119f: DUP1
000011a0: MLOAD
000011a1: PUSH3 0x461bcd
000011a5: PUSH1 0xe5
000011a7: SHL
000011a8: DUP2
000011a9: MSTORE
000011aa: PUSH1 0x20
000011ac: PUSH1 0x04
000011ae: DUP3
000011af: ADD
000011b0: DUP2
000011b1: SWAP1
000011b2: MSTORE
000011b3: PUSH1 0x24
000011b5: DUP3
000011b6: ADD
000011b7: MSTORE
000011b8: PUSH1 0x00
000011ba: DUP1
000011bb: MLOAD
000011bc: PUSH1 0x20
000011be: PUSH2 0x1f54
000011c1: DUP4
000011c2: CODECOPY
000011c3: DUP2
000011c4: MLOAD
000011c5: SWAP2
000011c6: MSTORE
000011c7: PUSH1 0x44
000011c9: DUP3
000011ca: ADD
000011cb: MSTORE
000011cc: SWAP1
000011cd: MLOAD
000011ce: SWAP1
000011cf: DUP2
000011d0: SWAP1
000011d1: SUB
000011d2: PUSH1 0x64
000011d4: ADD
000011d5: SWAP1
000011d6: REVERT
000011d7: JUMPDEST
000011d8: PUSH1 0x00
000011da: PUSH1 0x0c
000011dc: DUP5
000011dd: DUP2
000011de: SLOAD
000011df: DUP2
000011e0: LT
000011e1: PUSH2 0x11e6
000011e4: JUMPI
000011e5: INVALID
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: SWAP2
000011ea: DUP3
000011eb: MSTORE
000011ec: PUSH1 0x20
000011ee: SWAP1
000011ef: SWAP2
000011f0: KECCAK256
000011f1: PUSH1 0x03
000011f3: SWAP1
000011f4: SWAP2
000011f5: MUL
000011f6: ADD
000011f7: PUSH1 0x02
000011f9: DUP2
000011fa: ADD
000011fb: SLOAD
000011fc: SWAP1
000011fd: SWAP2
000011fe: POP
000011ff: PUSH1 0xff
00001201: AND
00001202: PUSH2 0x123c
00001205: JUMPI
00001206: PUSH1 0x40
00001208: MLOAD
00001209: PUSH3 0x461bcd
0000120d: PUSH1 0xe5
0000120f: SHL
00001210: DUP2
00001211: MSTORE
00001212: PUSH1 0x04
00001214: ADD
00001215: DUP1
00001216: DUP1
00001217: PUSH1 0x20
00001219: ADD
0000121a: DUP3
0000121b: DUP2
0000121c: SUB
0000121d: DUP3
0000121e: MSTORE
0000121f: PUSH1 0x31
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x20
00001225: ADD
00001226: DUP1
00001227: PUSH2 0x1e4a
0000122a: PUSH1 0x31
0000122c: SWAP2
0000122d: CODECOPY
0000122e: PUSH1 0x40
00001230: ADD
00001231: SWAP2
00001232: POP
00001233: POP
00001234: PUSH1 0x40
00001236: MLOAD
00001237: DUP1
00001238: SWAP2
00001239: SUB
0000123a: SWAP1
0000123b: REVERT
0000123c: JUMPDEST
0000123d: PUSH1 0x01
0000123f: PUSH1 0x01
00001241: PUSH1 0xa0
00001243: SHL
00001244: SUB
00001245: DUP4
00001246: AND
00001247: PUSH2 0x124f
0000124a: JUMPI
0000124b: PUSH1 0x00
0000124d: DUP1
0000124e: REVERT
0000124f: JUMPDEST
00001250: PUSH1 0x02
00001252: DUP2
00001253: ADD
00001254: DUP1
00001255: SLOAD
00001256: PUSH1 0xff
00001258: NOT
00001259: AND
0000125a: SWAP1
0000125b: SSTORE
0000125c: PUSH1 0x01
0000125e: DUP2
0000125f: ADD
00001260: SLOAD
00001261: PUSH1 0x09
00001263: SLOAD
00001264: PUSH2 0x126c
00001267: SWAP2
00001268: PUSH2 0x1746
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x09
0000126f: SSTORE
00001270: DUP1
00001271: SLOAD
00001272: PUSH1 0x08
00001274: SLOAD
00001275: PUSH2 0x127d
00001278: SWAP2
00001279: PUSH2 0x1746
0000127c: JUMP
0000127d: JUMPDEST
0000127e: PUSH1 0x08
00001280: SSTORE
00001281: DUP1
00001282: SLOAD
00001283: PUSH1 0x00
00001285: SWAP1
00001286: DUP4
00001287: GT
00001288: PUSH2 0x1291
0000128b: JUMPI
0000128c: DUP3
0000128d: PUSH2 0x1294
00001290: JUMP
00001291: JUMPDEST
00001292: DUP2
00001293: SLOAD
00001294: JUMPDEST
00001295: PUSH1 0x40
00001297: MLOAD
00001298: SWAP1
00001299: SWAP2
0000129a: POP
0000129b: PUSH1 0x01
0000129d: PUSH1 0x01
0000129f: PUSH1 0xa0
000012a1: SHL
000012a2: SUB
000012a3: DUP6
000012a4: AND
000012a5: SWAP1
000012a6: DUP3
000012a7: ISZERO
000012a8: PUSH2 0x08fc
000012ab: MUL
000012ac: SWAP1
000012ad: DUP4
000012ae: SWAP1
000012af: PUSH1 0x00
000012b1: DUP2
000012b2: DUP2
000012b3: DUP2
000012b4: DUP6
000012b5: DUP9
000012b6: DUP9
000012b7: CALL
000012b8: SWAP4
000012b9: POP
000012ba: POP
000012bb: POP
000012bc: POP
000012bd: ISZERO
000012be: DUP1
000012bf: ISZERO
000012c0: PUSH2 0x12cd
000012c3: JUMPI
000012c4: RETURNDATASIZE
000012c5: PUSH1 0x00
000012c7: DUP1
000012c8: RETURNDATACOPY
000012c9: RETURNDATASIZE
000012ca: PUSH1 0x00
000012cc: REVERT
000012cd: JUMPDEST
000012ce: POP
000012cf: DUP2
000012d0: PUSH1 0x01
000012d2: ADD
000012d3: SLOAD
000012d4: DUP2
000012d5: GT
000012d6: PUSH2 0x131c
000012d9: JUMPI
000012da: DUP5
000012db: PUSH32 0x9f78baa7a8e3640efadcbedc2d00f5930ade7a7bb66038dbf88684d49972957a
000012fc: DUP3
000012fd: DUP5
000012fe: PUSH1 0x01
00001300: ADD
00001301: SLOAD
00001302: SUB
00001303: PUSH1 0x40
00001305: MLOAD
00001306: DUP1
00001307: DUP3
00001308: DUP2
00001309: MSTORE
0000130a: PUSH1 0x20
0000130c: ADD
0000130d: SWAP2
0000130e: POP
0000130f: POP
00001310: PUSH1 0x40
00001312: MLOAD
00001313: DUP1
00001314: SWAP2
00001315: SUB
00001316: SWAP1
00001317: LOG2
00001318: PUSH2 0x1359
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x01
0000131f: DUP3
00001320: ADD
00001321: SLOAD
00001322: PUSH1 0x40
00001324: DUP1
00001325: MLOAD
00001326: SWAP2
00001327: DUP4
00001328: SUB
00001329: DUP3
0000132a: MSTORE
0000132b: MLOAD
0000132c: DUP7
0000132d: SWAP2
0000132e: PUSH32 0x86f83f021a5ecb92d6dcaec11be9da0e65b5401ce748ac3c1f0ddbae029f55ce
0000134f: SWAP2
00001350: SWAP1
00001351: DUP2
00001352: SWAP1
00001353: SUB
00001354: PUSH1 0x20
00001356: ADD
00001357: SWAP1
00001358: LOG2
00001359: JUMPDEST
0000135a: POP
0000135b: POP
0000135c: POP
0000135d: POP
0000135e: POP
0000135f: JUMP
00001360: JUMPDEST
00001361: PUSH1 0x00
00001363: SLOAD
00001364: PUSH1 0x01
00001366: PUSH1 0x01
00001368: PUSH1 0xa0
0000136a: SHL
0000136b: SUB
0000136c: AND
0000136d: SWAP1
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x05
00001372: DUP1
00001373: SLOAD
00001374: PUSH1 0x40
00001376: DUP1
00001377: MLOAD
00001378: PUSH1 0x20
0000137a: PUSH1 0x1f
0000137c: PUSH1 0x02
0000137e: PUSH1 0x00
00001380: NOT
00001381: PUSH2 0x0100
00001384: PUSH1 0x01
00001386: DUP9
00001387: AND
00001388: ISZERO
00001389: MUL
0000138a: ADD
0000138b: SWAP1
0000138c: SWAP6
0000138d: AND
0000138e: SWAP5
0000138f: SWAP1
00001390: SWAP5
00001391: DIV
00001392: SWAP4
00001393: DUP5
00001394: ADD
00001395: DUP2
00001396: SWAP1
00001397: DIV
00001398: DUP2
00001399: MUL
0000139a: DUP3
0000139b: ADD
0000139c: DUP2
0000139d: ADD
0000139e: SWAP1
0000139f: SWAP3
000013a0: MSTORE
000013a1: DUP3
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x60
000013a6: SWAP4
000013a7: SWAP1
000013a8: SWAP3
000013a9: SWAP1
000013aa: SWAP2
000013ab: DUP4
000013ac: ADD
000013ad: DUP3
000013ae: DUP3
000013af: DUP1
000013b0: ISZERO
000013b1: PUSH2 0x080e
000013b4: JUMPI
000013b5: DUP1
000013b6: PUSH1 0x1f
000013b8: LT
000013b9: PUSH2 0x07e3
000013bc: JUMPI
000013bd: PUSH2 0x0100
000013c0: DUP1
000013c1: DUP4
000013c2: SLOAD
000013c3: DIV
000013c4: MUL
000013c5: DUP4
000013c6: MSTORE
000013c7: SWAP2
000013c8: PUSH1 0x20
000013ca: ADD
000013cb: SWAP2
000013cc: PUSH2 0x080e
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH1 0x00
000013d3: PUSH2 0x082c
000013d6: PUSH2 0x13dd
000013d9: PUSH2 0x1656
000013dc: JUMP
000013dd: JUMPDEST
000013de: DUP5
000013df: PUSH2 0x0af0
000013e2: DUP6
000013e3: PUSH1 0x40
000013e5: MLOAD
000013e6: DUP1
000013e7: PUSH1 0x60
000013e9: ADD
000013ea: PUSH1 0x40
000013ec: MSTORE
000013ed: DUP1
000013ee: PUSH1 0x25
000013f0: DUP2
000013f1: MSTORE
000013f2: PUSH1 0x20
000013f4: ADD
000013f5: PUSH2 0x2009
000013f8: PUSH1 0x25
000013fa: SWAP2
000013fb: CODECOPY
000013fc: PUSH1 0x02
000013fe: PUSH1 0x00
00001400: PUSH2 0x1407
00001403: PUSH2 0x1656
00001406: JUMP
00001407: JUMPDEST
00001408: PUSH1 0x01
0000140a: PUSH1 0x01
0000140c: PUSH1 0xa0
0000140e: SHL
0000140f: SUB
00001410: SWAP1
00001411: DUP2
00001412: AND
00001413: DUP3
00001414: MSTORE
00001415: PUSH1 0x20
00001417: DUP1
00001418: DUP4
00001419: ADD
0000141a: SWAP4
0000141b: SWAP1
0000141c: SWAP4
0000141d: MSTORE
0000141e: PUSH1 0x40
00001420: SWAP2
00001421: DUP3
00001422: ADD
00001423: PUSH1 0x00
00001425: SWAP1
00001426: DUP2
00001427: KECCAK256
00001428: SWAP2
00001429: DUP14
0000142a: AND
0000142b: DUP2
0000142c: MSTORE
0000142d: SWAP3
0000142e: MSTORE
0000142f: SWAP1
00001430: KECCAK256
00001431: SLOAD
00001432: SWAP2
00001433: SWAP1
00001434: PUSH2 0x19e1
00001437: JUMP
00001438: JUMPDEST
00001439: PUSH1 0x00
0000143b: PUSH2 0x082c
0000143e: PUSH2 0x1445
00001441: PUSH2 0x1656
00001444: JUMP
00001445: JUMPDEST
00001446: DUP5
00001447: DUP5
00001448: PUSH2 0x1884
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH1 0x00
0000144f: PUSH2 0x145c
00001452: PUSH1 0x08
00001454: SLOAD
00001455: PUSH2 0x08e0
00001458: PUSH2 0x1461
0000145b: JUMP
0000145c: JUMPDEST
0000145d: SWAP1
0000145e: POP
0000145f: SWAP1
00001460: JUMP
00001461: JUMPDEST
00001462: PUSH1 0x00
00001464: PUSH2 0x145c
00001467: PUSH1 0x09
00001469: SLOAD
0000146a: SELFBALANCE
0000146b: PUSH2 0x1746
0000146e: SWAP1
0000146f: SWAP2
00001470: SWAP1
00001471: PUSH4 0xffffffff
00001476: AND
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH2 0x1480
0000147c: PUSH2 0x1656
0000147f: JUMP
00001480: JUMPDEST
00001481: PUSH1 0x00
00001483: SLOAD
00001484: PUSH1 0x01
00001486: PUSH1 0x01
00001488: PUSH1 0xa0
0000148a: SHL
0000148b: SUB
0000148c: SWAP1
0000148d: DUP2
0000148e: AND
0000148f: SWAP2
00001490: AND
00001491: EQ
00001492: PUSH2 0x14d0
00001495: JUMPI
00001496: PUSH1 0x40
00001498: DUP1
00001499: MLOAD
0000149a: PUSH3 0x461bcd
0000149e: PUSH1 0xe5
000014a0: SHL
000014a1: DUP2
000014a2: MSTORE
000014a3: PUSH1 0x20
000014a5: PUSH1 0x04
000014a7: DUP3
000014a8: ADD
000014a9: DUP2
000014aa: SWAP1
000014ab: MSTORE
000014ac: PUSH1 0x24
000014ae: DUP3
000014af: ADD
000014b0: MSTORE
000014b1: PUSH1 0x00
000014b3: DUP1
000014b4: MLOAD
000014b5: PUSH1 0x20
000014b7: PUSH2 0x1f54
000014ba: DUP4
000014bb: CODECOPY
000014bc: DUP2
000014bd: MLOAD
000014be: SWAP2
000014bf: MSTORE
000014c0: PUSH1 0x44
000014c2: DUP3
000014c3: ADD
000014c4: MSTORE
000014c5: SWAP1
000014c6: MLOAD
000014c7: SWAP1
000014c8: DUP2
000014c9: SWAP1
000014ca: SUB
000014cb: PUSH1 0x64
000014cd: ADD
000014ce: SWAP1
000014cf: REVERT
000014d0: JUMPDEST
000014d1: PUSH3 0x4f1a00
000014d5: DUP2
000014d6: GT
000014d7: ISZERO
000014d8: PUSH2 0x1528
000014db: JUMPI
000014dc: PUSH1 0x40
000014de: DUP1
000014df: MLOAD
000014e0: PUSH3 0x461bcd
000014e4: PUSH1 0xe5
000014e6: SHL
000014e7: DUP2
000014e8: MSTORE
000014e9: PUSH1 0x20
000014eb: PUSH1 0x04
000014ed: DUP3
000014ee: ADD
000014ef: MSTORE
000014f0: PUSH1 0x1a
000014f2: PUSH1 0x24
000014f4: DUP3
000014f5: ADD
000014f6: MSTORE
000014f7: PUSH32 0x4c6f636b757020706572696f6420697320746f6f206c61726765000000000000
00001518: PUSH1 0x44
0000151a: DUP3
0000151b: ADD
0000151c: MSTORE
0000151d: SWAP1
0000151e: MLOAD
0000151f: SWAP1
00001520: DUP2
00001521: SWAP1
00001522: SUB
00001523: PUSH1 0x64
00001525: ADD
00001526: SWAP1
00001527: REVERT
00001528: JUMPDEST
00001529: PUSH1 0x07
0000152b: SSTORE
0000152c: JUMP
0000152d: JUMPDEST
0000152e: PUSH1 0x01
00001530: PUSH1 0x01
00001532: PUSH1 0xa0
00001534: SHL
00001535: SUB
00001536: SWAP2
00001537: DUP3
00001538: AND
00001539: PUSH1 0x00
0000153b: SWAP1
0000153c: DUP2
0000153d: MSTORE
0000153e: PUSH1 0x02
00001540: PUSH1 0x20
00001542: SWAP1
00001543: DUP2
00001544: MSTORE
00001545: PUSH1 0x40
00001547: DUP1
00001548: DUP4
00001549: KECCAK256
0000154a: SWAP4
0000154b: SWAP1
0000154c: SWAP5
0000154d: AND
0000154e: DUP3
0000154f: MSTORE
00001550: SWAP2
00001551: SWAP1
00001552: SWAP2
00001553: MSTORE
00001554: KECCAK256
00001555: SLOAD
00001556: SWAP1
00001557: JUMP
00001558: JUMPDEST
00001559: PUSH1 0x07
0000155b: SLOAD
0000155c: DUP2
0000155d: JUMP
0000155e: JUMPDEST
0000155f: PUSH2 0x1566
00001562: PUSH2 0x1656
00001565: JUMP
00001566: JUMPDEST
00001567: PUSH1 0x00
00001569: SLOAD
0000156a: PUSH1 0x01
0000156c: PUSH1 0x01
0000156e: PUSH1 0xa0
00001570: SHL
00001571: SUB
00001572: SWAP1
00001573: DUP2
00001574: AND
00001575: SWAP2
00001576: AND
00001577: EQ
00001578: PUSH2 0x15b6
0000157b: JUMPI
0000157c: PUSH1 0x40
0000157e: DUP1
0000157f: MLOAD
00001580: PUSH3 0x461bcd
00001584: PUSH1 0xe5
00001586: SHL
00001587: DUP2
00001588: MSTORE
00001589: PUSH1 0x20
0000158b: PUSH1 0x04
0000158d: DUP3
0000158e: ADD
0000158f: DUP2
00001590: SWAP1
00001591: MSTORE
00001592: PUSH1 0x24
00001594: DUP3
00001595: ADD
00001596: MSTORE
00001597: PUSH1 0x00
00001599: DUP1
0000159a: MLOAD
0000159b: PUSH1 0x20
0000159d: PUSH2 0x1f54
000015a0: DUP4
000015a1: CODECOPY
000015a2: DUP2
000015a3: MLOAD
000015a4: SWAP2
000015a5: MSTORE
000015a6: PUSH1 0x44
000015a8: DUP3
000015a9: ADD
000015aa: MSTORE
000015ab: SWAP1
000015ac: MLOAD
000015ad: SWAP1
000015ae: DUP2
000015af: SWAP1
000015b0: SUB
000015b1: PUSH1 0x64
000015b3: ADD
000015b4: SWAP1
000015b5: REVERT
000015b6: JUMPDEST
000015b7: PUSH1 0x01
000015b9: PUSH1 0x01
000015bb: PUSH1 0xa0
000015bd: SHL
000015be: SUB
000015bf: DUP2
000015c0: AND
000015c1: PUSH2 0x15fb
000015c4: JUMPI
000015c5: PUSH1 0x40
000015c7: MLOAD
000015c8: PUSH3 0x461bcd
000015cc: PUSH1 0xe5
000015ce: SHL
000015cf: DUP2
000015d0: MSTORE
000015d1: PUSH1 0x04
000015d3: ADD
000015d4: DUP1
000015d5: DUP1
000015d6: PUSH1 0x20
000015d8: ADD
000015d9: DUP3
000015da: DUP2
000015db: SUB
000015dc: DUP3
000015dd: MSTORE
000015de: PUSH1 0x26
000015e0: DUP2
000015e1: MSTORE
000015e2: PUSH1 0x20
000015e4: ADD
000015e5: DUP1
000015e6: PUSH2 0x1e9d
000015e9: PUSH1 0x26
000015eb: SWAP2
000015ec: CODECOPY
000015ed: PUSH1 0x40
000015ef: ADD
000015f0: SWAP2
000015f1: POP
000015f2: POP
000015f3: PUSH1 0x40
000015f5: MLOAD
000015f6: DUP1
000015f7: SWAP2
000015f8: SUB
000015f9: SWAP1
000015fa: REVERT
000015fb: JUMPDEST
000015fc: PUSH1 0x00
000015fe: DUP1
000015ff: SLOAD
00001600: PUSH1 0x40
00001602: MLOAD
00001603: PUSH1 0x01
00001605: PUSH1 0x01
00001607: PUSH1 0xa0
00001609: SHL
0000160a: SUB
0000160b: DUP1
0000160c: DUP6
0000160d: AND
0000160e: SWAP4
0000160f: SWAP3
00001610: AND
00001611: SWAP2
00001612: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001633: SWAP2
00001634: LOG3
00001635: PUSH1 0x00
00001637: DUP1
00001638: SLOAD
00001639: PUSH1 0x01
0000163b: PUSH1 0x01
0000163d: PUSH1 0xa0
0000163f: SHL
00001640: SUB
00001641: NOT
00001642: AND
00001643: PUSH1 0x01
00001645: PUSH1 0x01
00001647: PUSH1 0xa0
00001649: SHL
0000164a: SUB
0000164b: SWAP3
0000164c: SWAP1
0000164d: SWAP3
0000164e: AND
0000164f: SWAP2
00001650: SWAP1
00001651: SWAP2
00001652: OR
00001653: SWAP1
00001654: SSTORE
00001655: JUMP
00001656: JUMPDEST
00001657: CALLER
00001658: SWAP1
00001659: JUMP
0000165a: JUMPDEST
0000165b: PUSH1 0x01
0000165d: PUSH1 0x01
0000165f: PUSH1 0xa0
00001661: SHL
00001662: SUB
00001663: DUP4
00001664: AND
00001665: PUSH2 0x169f
00001668: JUMPI
00001669: PUSH1 0x40
0000166b: MLOAD
0000166c: PUSH3 0x461bcd
00001670: PUSH1 0xe5
00001672: SHL
00001673: DUP2
00001674: MSTORE
00001675: PUSH1 0x04
00001677: ADD
00001678: DUP1
00001679: DUP1
0000167a: PUSH1 0x20
0000167c: ADD
0000167d: DUP3
0000167e: DUP2
0000167f: SUB
00001680: DUP3
00001681: MSTORE
00001682: PUSH1 0x24
00001684: DUP2
00001685: MSTORE
00001686: PUSH1 0x20
00001688: ADD
00001689: DUP1
0000168a: PUSH2 0x1fe5
0000168d: PUSH1 0x24
0000168f: SWAP2
00001690: CODECOPY
00001691: PUSH1 0x40
00001693: ADD
00001694: SWAP2
00001695: POP
00001696: POP
00001697: PUSH1 0x40
00001699: MLOAD
0000169a: DUP1
0000169b: SWAP2
0000169c: SUB
0000169d: SWAP1
0000169e: REVERT
0000169f: JUMPDEST
000016a0: PUSH1 0x01
000016a2: PUSH1 0x01
000016a4: PUSH1 0xa0
000016a6: SHL
000016a7: SUB
000016a8: DUP3
000016a9: AND
000016aa: PUSH2 0x16e4
000016ad: JUMPI
000016ae: PUSH1 0x40
000016b0: MLOAD
000016b1: PUSH3 0x461bcd
000016b5: PUSH1 0xe5
000016b7: SHL
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x04
000016bc: ADD
000016bd: DUP1
000016be: DUP1
000016bf: PUSH1 0x20
000016c1: ADD
000016c2: DUP3
000016c3: DUP2
000016c4: SUB
000016c5: DUP3
000016c6: MSTORE
000016c7: PUSH1 0x22
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x20
000016cd: ADD
000016ce: DUP1
000016cf: PUSH2 0x1ec3
000016d2: PUSH1 0x22
000016d4: SWAP2
000016d5: CODECOPY
000016d6: PUSH1 0x40
000016d8: ADD
000016d9: SWAP2
000016da: POP
000016db: POP
000016dc: PUSH1 0x40
000016de: MLOAD
000016df: DUP1
000016e0: SWAP2
000016e1: SUB
000016e2: SWAP1
000016e3: REVERT
000016e4: JUMPDEST
000016e5: PUSH1 0x01
000016e7: PUSH1 0x01
000016e9: PUSH1 0xa0
000016eb: SHL
000016ec: SUB
000016ed: DUP1
000016ee: DUP5
000016ef: AND
000016f0: PUSH1 0x00
000016f2: DUP2
000016f3: DUP2
000016f4: MSTORE
000016f5: PUSH1 0x02
000016f7: PUSH1 0x20
000016f9: SWAP1
000016fa: DUP2
000016fb: MSTORE
000016fc: PUSH1 0x40
000016fe: DUP1
000016ff: DUP4
00001700: KECCAK256
00001701: SWAP5
00001702: DUP8
00001703: AND
00001704: DUP1
00001705: DUP5
00001706: MSTORE
00001707: SWAP5
00001708: DUP3
00001709: MSTORE
0000170a: SWAP2
0000170b: DUP3
0000170c: SWAP1
0000170d: KECCAK256
0000170e: DUP6
0000170f: SWAP1
00001710: SSTORE
00001711: DUP2
00001712: MLOAD
00001713: DUP6
00001714: DUP2
00001715: MSTORE
00001716: SWAP2
00001717: MLOAD
00001718: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001739: SWAP3
0000173a: DUP2
0000173b: SWAP1
0000173c: SUB
0000173d: SWAP1
0000173e: SWAP2
0000173f: ADD
00001740: SWAP1
00001741: LOG3
00001742: POP
00001743: POP
00001744: POP
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH1 0x00
00001749: PUSH2 0x1788
0000174c: DUP4
0000174d: DUP4
0000174e: PUSH1 0x40
00001750: MLOAD
00001751: DUP1
00001752: PUSH1 0x40
00001754: ADD
00001755: PUSH1 0x40
00001757: MSTORE
00001758: DUP1
00001759: PUSH1 0x1e
0000175b: DUP2
0000175c: MSTORE
0000175d: PUSH1 0x20
0000175f: ADD
00001760: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001781: DUP2
00001782: MSTORE
00001783: POP
00001784: PUSH2 0x19e1
00001787: JUMP
00001788: JUMPDEST
00001789: SWAP4
0000178a: SWAP3
0000178b: POP
0000178c: POP
0000178d: POP
0000178e: JUMP
0000178f: JUMPDEST
00001790: PUSH1 0x00
00001792: DUP3
00001793: PUSH2 0x179e
00001796: JUMPI
00001797: POP
00001798: PUSH1 0x00
0000179a: PUSH2 0x0830
0000179d: JUMP
0000179e: JUMPDEST
0000179f: DUP3
000017a0: DUP3
000017a1: MUL
000017a2: DUP3
000017a3: DUP5
000017a4: DUP3
000017a5: DUP2
000017a6: PUSH2 0x17ab
000017a9: JUMPI
000017aa: INVALID
000017ab: JUMPDEST
000017ac: DIV
000017ad: EQ
000017ae: PUSH2 0x1788
000017b1: JUMPI
000017b2: PUSH1 0x40
000017b4: MLOAD
000017b5: PUSH3 0x461bcd
000017b9: PUSH1 0xe5
000017bb: SHL
000017bc: DUP2
000017bd: MSTORE
000017be: PUSH1 0x04
000017c0: ADD
000017c1: DUP1
000017c2: DUP1
000017c3: PUSH1 0x20
000017c5: ADD
000017c6: DUP3
000017c7: DUP2
000017c8: SUB
000017c9: DUP3
000017ca: MSTORE
000017cb: PUSH1 0x21
000017cd: DUP2
000017ce: MSTORE
000017cf: PUSH1 0x20
000017d1: ADD
000017d2: DUP1
000017d3: PUSH2 0x1f0b
000017d6: PUSH1 0x21
000017d8: SWAP2
000017d9: CODECOPY
000017da: PUSH1 0x40
000017dc: ADD
000017dd: SWAP2
000017de: POP
000017df: POP
000017e0: PUSH1 0x40
000017e2: MLOAD
000017e3: DUP1
000017e4: SWAP2
000017e5: SUB
000017e6: SWAP1
000017e7: REVERT
000017e8: JUMPDEST
000017e9: PUSH1 0x00
000017eb: DUP3
000017ec: DUP3
000017ed: ADD
000017ee: DUP4
000017ef: DUP2
000017f0: LT
000017f1: ISZERO
000017f2: PUSH2 0x1788
000017f5: JUMPI
000017f6: PUSH1 0x40
000017f8: DUP1
000017f9: MLOAD
000017fa: PUSH3 0x461bcd
000017fe: PUSH1 0xe5
00001800: SHL
00001801: DUP2
00001802: MSTORE
00001803: PUSH1 0x20
00001805: PUSH1 0x04
00001807: DUP3
00001808: ADD
00001809: MSTORE
0000180a: PUSH1 0x1b
0000180c: PUSH1 0x24
0000180e: DUP3
0000180f: ADD
00001810: MSTORE
00001811: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001832: PUSH1 0x44
00001834: DUP3
00001835: ADD
00001836: MSTORE
00001837: SWAP1
00001838: MLOAD
00001839: SWAP1
0000183a: DUP2
0000183b: SWAP1
0000183c: SUB
0000183d: PUSH1 0x64
0000183f: ADD
00001840: SWAP1
00001841: REVERT
00001842: JUMPDEST
00001843: PUSH1 0x00
00001845: PUSH2 0x1788
00001848: DUP4
00001849: DUP4
0000184a: PUSH1 0x40
0000184c: MLOAD
0000184d: DUP1
0000184e: PUSH1 0x40
00001850: ADD
00001851: PUSH1 0x40
00001853: MSTORE
00001854: DUP1
00001855: PUSH1 0x1a
00001857: DUP2
00001858: MSTORE
00001859: PUSH1 0x20
0000185b: ADD
0000185c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
0000187d: DUP2
0000187e: MSTORE
0000187f: POP
00001880: PUSH2 0x1c9b
00001883: JUMP
00001884: JUMPDEST
00001885: PUSH1 0x01
00001887: PUSH1 0x01
00001889: PUSH1 0xa0
0000188b: SHL
0000188c: SUB
0000188d: DUP4
0000188e: AND
0000188f: PUSH2 0x18c9
00001892: JUMPI
00001893: PUSH1 0x40
00001895: MLOAD
00001896: PUSH3 0x461bcd
0000189a: PUSH1 0xe5
0000189c: SHL
0000189d: DUP2
0000189e: MSTORE
0000189f: PUSH1 0x04
000018a1: ADD
000018a2: DUP1
000018a3: DUP1
000018a4: PUSH1 0x20
000018a6: ADD
000018a7: DUP3
000018a8: DUP2
000018a9: SUB
000018aa: DUP3
000018ab: MSTORE
000018ac: PUSH1 0x25
000018ae: DUP2
000018af: MSTORE
000018b0: PUSH1 0x20
000018b2: ADD
000018b3: DUP1
000018b4: PUSH2 0x1fc0
000018b7: PUSH1 0x25
000018b9: SWAP2
000018ba: CODECOPY
000018bb: PUSH1 0x40
000018bd: ADD
000018be: SWAP2
000018bf: POP
000018c0: POP
000018c1: PUSH1 0x40
000018c3: MLOAD
000018c4: DUP1
000018c5: SWAP2
000018c6: SUB
000018c7: SWAP1
000018c8: REVERT
000018c9: JUMPDEST
000018ca: PUSH1 0x01
000018cc: PUSH1 0x01
000018ce: PUSH1 0xa0
000018d0: SHL
000018d1: SUB
000018d2: DUP3
000018d3: AND
000018d4: PUSH2 0x190e
000018d7: JUMPI
000018d8: PUSH1 0x40
000018da: MLOAD
000018db: PUSH3 0x461bcd
000018df: PUSH1 0xe5
000018e1: SHL
000018e2: DUP2
000018e3: MSTORE
000018e4: PUSH1 0x04
000018e6: ADD
000018e7: DUP1
000018e8: DUP1
000018e9: PUSH1 0x20
000018eb: ADD
000018ec: DUP3
000018ed: DUP2
000018ee: SUB
000018ef: DUP3
000018f0: MSTORE
000018f1: PUSH1 0x23
000018f3: DUP2
000018f4: MSTORE
000018f5: PUSH1 0x20
000018f7: ADD
000018f8: DUP1
000018f9: PUSH2 0x1ddc
000018fc: PUSH1 0x23
000018fe: SWAP2
000018ff: CODECOPY
00001900: PUSH1 0x40
00001902: ADD
00001903: SWAP2
00001904: POP
00001905: POP
00001906: PUSH1 0x40
00001908: MLOAD
00001909: DUP1
0000190a: SWAP2
0000190b: SUB
0000190c: SWAP1
0000190d: REVERT
0000190e: JUMPDEST
0000190f: PUSH2 0x1919
00001912: DUP4
00001913: DUP4
00001914: DUP4
00001915: PUSH2 0x1d00
00001918: JUMP
00001919: JUMPDEST
0000191a: PUSH2 0x1956
0000191d: DUP2
0000191e: PUSH1 0x40
00001920: MLOAD
00001921: DUP1
00001922: PUSH1 0x60
00001924: ADD
00001925: PUSH1 0x40
00001927: MSTORE
00001928: DUP1
00001929: PUSH1 0x26
0000192b: DUP2
0000192c: MSTORE
0000192d: PUSH1 0x20
0000192f: ADD
00001930: PUSH2 0x1ee5
00001933: PUSH1 0x26
00001935: SWAP2
00001936: CODECOPY
00001937: PUSH1 0x01
00001939: PUSH1 0x01
0000193b: PUSH1 0xa0
0000193d: SHL
0000193e: SUB
0000193f: DUP7
00001940: AND
00001941: PUSH1 0x00
00001943: SWAP1
00001944: DUP2
00001945: MSTORE
00001946: PUSH1 0x01
00001948: PUSH1 0x20
0000194a: MSTORE
0000194b: PUSH1 0x40
0000194d: SWAP1
0000194e: KECCAK256
0000194f: SLOAD
00001950: SWAP2
00001951: SWAP1
00001952: PUSH2 0x19e1
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH1 0x01
00001959: PUSH1 0x01
0000195b: PUSH1 0xa0
0000195d: SHL
0000195e: SUB
0000195f: DUP1
00001960: DUP6
00001961: AND
00001962: PUSH1 0x00
00001964: SWAP1
00001965: DUP2
00001966: MSTORE
00001967: PUSH1 0x01
00001969: PUSH1 0x20
0000196b: MSTORE
0000196c: PUSH1 0x40
0000196e: DUP1
0000196f: DUP3
00001970: KECCAK256
00001971: SWAP4
00001972: SWAP1
00001973: SWAP4
00001974: SSTORE
00001975: SWAP1
00001976: DUP5
00001977: AND
00001978: DUP2
00001979: MSTORE
0000197a: KECCAK256
0000197b: SLOAD
0000197c: PUSH2 0x1985
0000197f: SWAP1
00001980: DUP3
00001981: PUSH2 0x17e8
00001984: JUMP
00001985: JUMPDEST
00001986: PUSH1 0x01
00001988: PUSH1 0x01
0000198a: PUSH1 0xa0
0000198c: SHL
0000198d: SUB
0000198e: DUP1
0000198f: DUP5
00001990: AND
00001991: PUSH1 0x00
00001993: DUP2
00001994: DUP2
00001995: MSTORE
00001996: PUSH1 0x01
00001998: PUSH1 0x20
0000199a: SWAP1
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x40
0000199f: SWAP2
000019a0: DUP3
000019a1: SWAP1
000019a2: KECCAK256
000019a3: SWAP5
000019a4: SWAP1
000019a5: SWAP5
000019a6: SSTORE
000019a7: DUP1
000019a8: MLOAD
000019a9: DUP6
000019aa: DUP2
000019ab: MSTORE
000019ac: SWAP1
000019ad: MLOAD
000019ae: SWAP2
000019af: SWAP4
000019b0: SWAP3
000019b1: DUP8
000019b2: AND
000019b3: SWAP3
000019b4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019d5: SWAP3
000019d6: SWAP2
000019d7: DUP3
000019d8: SWAP1
000019d9: SUB
000019da: ADD
000019db: SWAP1
000019dc: LOG3
000019dd: POP
000019de: POP
000019df: POP
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH1 0x00
000019e4: DUP2
000019e5: DUP5
000019e6: DUP5
000019e7: GT
000019e8: ISZERO
000019e9: PUSH2 0x1a70
000019ec: JUMPI
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: PUSH3 0x461bcd
000019f4: PUSH1 0xe5
000019f6: SHL
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x04
000019fb: ADD
000019fc: DUP1
000019fd: DUP1
000019fe: PUSH1 0x20
00001a00: ADD
00001a01: DUP3
00001a02: DUP2
00001a03: SUB
00001a04: DUP3
00001a05: MSTORE
00001a06: DUP4
00001a07: DUP2
00001a08: DUP2
00001a09: MLOAD
00001a0a: DUP2
00001a0b: MSTORE
00001a0c: PUSH1 0x20
00001a0e: ADD
00001a0f: SWAP2
00001a10: POP
00001a11: DUP1
00001a12: MLOAD
00001a13: SWAP1
00001a14: PUSH1 0x20
00001a16: ADD
00001a17: SWAP1
00001a18: DUP1
00001a19: DUP4
00001a1a: DUP4
00001a1b: PUSH1 0x00
00001a1d: JUMPDEST
00001a1e: DUP4
00001a1f: DUP2
00001a20: LT
00001a21: ISZERO
00001a22: PUSH2 0x1a35
00001a25: JUMPI
00001a26: DUP2
00001a27: DUP2
00001a28: ADD
00001a29: MLOAD
00001a2a: DUP4
00001a2b: DUP3
00001a2c: ADD
00001a2d: MSTORE
00001a2e: PUSH1 0x20
00001a30: ADD
00001a31: PUSH2 0x1a1d
00001a34: JUMP
00001a35: JUMPDEST
00001a36: POP
00001a37: POP
00001a38: POP
00001a39: POP
00001a3a: SWAP1
00001a3b: POP
00001a3c: SWAP1
00001a3d: DUP2
00001a3e: ADD
00001a3f: SWAP1
00001a40: PUSH1 0x1f
00001a42: AND
00001a43: DUP1
00001a44: ISZERO
00001a45: PUSH2 0x1a62
00001a48: JUMPI
00001a49: DUP1
00001a4a: DUP3
00001a4b: SUB
00001a4c: DUP1
00001a4d: MLOAD
00001a4e: PUSH1 0x01
00001a50: DUP4
00001a51: PUSH1 0x20
00001a53: SUB
00001a54: PUSH2 0x0100
00001a57: EXP
00001a58: SUB
00001a59: NOT
00001a5a: AND
00001a5b: DUP2
00001a5c: MSTORE
00001a5d: PUSH1 0x20
00001a5f: ADD
00001a60: SWAP2
00001a61: POP
00001a62: JUMPDEST
00001a63: POP
00001a64: SWAP3
00001a65: POP
00001a66: POP
00001a67: POP
00001a68: PUSH1 0x40
00001a6a: MLOAD
00001a6b: DUP1
00001a6c: SWAP2
00001a6d: SUB
00001a6e: SWAP1
00001a6f: REVERT
00001a70: JUMPDEST
00001a71: POP
00001a72: POP
00001a73: POP
00001a74: SWAP1
00001a75: SUB
00001a76: SWAP1
00001a77: JUMP
00001a78: JUMPDEST
00001a79: PUSH1 0x01
00001a7b: PUSH1 0x01
00001a7d: PUSH1 0xa0
00001a7f: SHL
00001a80: SUB
00001a81: DUP3
00001a82: AND
00001a83: PUSH2 0x1ad3
00001a86: JUMPI
00001a87: PUSH1 0x40
00001a89: DUP1
00001a8a: MLOAD
00001a8b: PUSH3 0x461bcd
00001a8f: PUSH1 0xe5
00001a91: SHL
00001a92: DUP2
00001a93: MSTORE
00001a94: PUSH1 0x20
00001a96: PUSH1 0x04
00001a98: DUP3
00001a99: ADD
00001a9a: MSTORE
00001a9b: PUSH1 0x1f
00001a9d: PUSH1 0x24
00001a9f: DUP3
00001aa0: ADD
00001aa1: MSTORE
00001aa2: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001ac3: PUSH1 0x44
00001ac5: DUP3
00001ac6: ADD
00001ac7: MSTORE
00001ac8: SWAP1
00001ac9: MLOAD
00001aca: SWAP1
00001acb: DUP2
00001acc: SWAP1
00001acd: SUB
00001ace: PUSH1 0x64
00001ad0: ADD
00001ad1: SWAP1
00001ad2: REVERT
00001ad3: JUMPDEST
00001ad4: PUSH2 0x1adf
00001ad7: PUSH1 0x00
00001ad9: DUP4
00001ada: DUP4
00001adb: PUSH2 0x1d00
00001ade: JUMP
00001adf: JUMPDEST
00001ae0: PUSH1 0x03
00001ae2: SLOAD
00001ae3: PUSH2 0x1aec
00001ae6: SWAP1
00001ae7: DUP3
00001ae8: PUSH2 0x17e8
00001aeb: JUMP
00001aec: JUMPDEST
00001aed: PUSH1 0x03
00001aef: SSTORE
00001af0: PUSH1 0x01
00001af2: PUSH1 0x01
00001af4: PUSH1 0xa0
00001af6: SHL
00001af7: SUB
00001af8: DUP3
00001af9: AND
00001afa: PUSH1 0x00
00001afc: SWAP1
00001afd: DUP2
00001afe: MSTORE
00001aff: PUSH1 0x01
00001b01: PUSH1 0x20
00001b03: MSTORE
00001b04: PUSH1 0x40
00001b06: SWAP1
00001b07: KECCAK256
00001b08: SLOAD
00001b09: PUSH2 0x1b12
00001b0c: SWAP1
00001b0d: DUP3
00001b0e: PUSH2 0x17e8
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH1 0x01
00001b15: PUSH1 0x01
00001b17: PUSH1 0xa0
00001b19: SHL
00001b1a: SUB
00001b1b: DUP4
00001b1c: AND
00001b1d: PUSH1 0x00
00001b1f: DUP2
00001b20: DUP2
00001b21: MSTORE
00001b22: PUSH1 0x01
00001b24: PUSH1 0x20
00001b26: SWAP1
00001b27: DUP2
00001b28: MSTORE
00001b29: PUSH1 0x40
00001b2b: DUP1
00001b2c: DUP4
00001b2d: KECCAK256
00001b2e: SWAP5
00001b2f: SWAP1
00001b30: SWAP5
00001b31: SSTORE
00001b32: DUP4
00001b33: MLOAD
00001b34: DUP6
00001b35: DUP2
00001b36: MSTORE
00001b37: SWAP4
00001b38: MLOAD
00001b39: SWAP3
00001b3a: SWAP4
00001b3b: SWAP2
00001b3c: SWAP3
00001b3d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b5e: SWAP3
00001b5f: DUP2
00001b60: SWAP1
00001b61: SUB
00001b62: SWAP1
00001b63: SWAP2
00001b64: ADD
00001b65: SWAP1
00001b66: LOG3
00001b67: POP
00001b68: POP
00001b69: JUMP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x00
00001b6d: DUP1
00001b6e: DUP3
00001b6f: GT
00001b70: PUSH2 0x1b78
00001b73: JUMPI
00001b74: PUSH1 0x00
00001b76: DUP1
00001b77: REVERT
00001b78: JUMPDEST
00001b79: PUSH1 0x00
00001b7b: DUP3
00001b7c: DUP5
00001b7d: DUP2
00001b7e: PUSH2 0x1b83
00001b81: JUMPI
00001b82: INVALID
00001b83: JUMPDEST
00001b84: DIV
00001b85: SWAP1
00001b86: POP
00001b87: DUP3
00001b88: DUP5
00001b89: DUP2
00001b8a: PUSH2 0x1b8f
00001b8d: JUMPI
00001b8e: INVALID
00001b8f: JUMPDEST
00001b90: MOD
00001b91: ISZERO
00001b92: PUSH2 0x1788
00001b95: JUMPI
00001b96: PUSH1 0x01
00001b98: ADD
00001b99: SWAP4
00001b9a: SWAP3
00001b9b: POP
00001b9c: POP
00001b9d: POP
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: PUSH1 0x01
00001ba2: PUSH1 0x01
00001ba4: PUSH1 0xa0
00001ba6: SHL
00001ba7: SUB
00001ba8: DUP3
00001ba9: AND
00001baa: PUSH2 0x1be4
00001bad: JUMPI
00001bae: PUSH1 0x40
00001bb0: MLOAD
00001bb1: PUSH3 0x461bcd
00001bb5: PUSH1 0xe5
00001bb7: SHL
00001bb8: DUP2
00001bb9: MSTORE
00001bba: PUSH1 0x04
00001bbc: ADD
00001bbd: DUP1
00001bbe: DUP1
00001bbf: PUSH1 0x20
00001bc1: ADD
00001bc2: DUP3
00001bc3: DUP2
00001bc4: SUB
00001bc5: DUP3
00001bc6: MSTORE
00001bc7: PUSH1 0x21
00001bc9: DUP2
00001bca: MSTORE
00001bcb: PUSH1 0x20
00001bcd: ADD
00001bce: DUP1
00001bcf: PUSH2 0x1f74
00001bd2: PUSH1 0x21
00001bd4: SWAP2
00001bd5: CODECOPY
00001bd6: PUSH1 0x40
00001bd8: ADD
00001bd9: SWAP2
00001bda: POP
00001bdb: POP
00001bdc: PUSH1 0x40
00001bde: MLOAD
00001bdf: DUP1
00001be0: SWAP2
00001be1: SUB
00001be2: SWAP1
00001be3: REVERT
00001be4: JUMPDEST
00001be5: PUSH2 0x1bf0
00001be8: DUP3
00001be9: PUSH1 0x00
00001beb: DUP4
00001bec: PUSH2 0x1d00
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH2 0x1c2d
00001bf4: DUP2
00001bf5: PUSH1 0x40
00001bf7: MLOAD
00001bf8: DUP1
00001bf9: PUSH1 0x60
00001bfb: ADD
00001bfc: PUSH1 0x40
00001bfe: MSTORE
00001bff: DUP1
00001c00: PUSH1 0x22
00001c02: DUP2
00001c03: MSTORE
00001c04: PUSH1 0x20
00001c06: ADD
00001c07: PUSH2 0x1e7b
00001c0a: PUSH1 0x22
00001c0c: SWAP2
00001c0d: CODECOPY
00001c0e: PUSH1 0x01
00001c10: PUSH1 0x01
00001c12: PUSH1 0xa0
00001c14: SHL
00001c15: SUB
00001c16: DUP6
00001c17: AND
00001c18: PUSH1 0x00
00001c1a: SWAP1
00001c1b: DUP2
00001c1c: MSTORE
00001c1d: PUSH1 0x01
00001c1f: PUSH1 0x20
00001c21: MSTORE
00001c22: PUSH1 0x40
00001c24: SWAP1
00001c25: KECCAK256
00001c26: SLOAD
00001c27: SWAP2
00001c28: SWAP1
00001c29: PUSH2 0x19e1
00001c2c: JUMP
00001c2d: JUMPDEST
00001c2e: PUSH1 0x01
00001c30: PUSH1 0x01
00001c32: PUSH1 0xa0
00001c34: SHL
00001c35: SUB
00001c36: DUP4
00001c37: AND
00001c38: PUSH1 0x00
00001c3a: SWAP1
00001c3b: DUP2
00001c3c: MSTORE
00001c3d: PUSH1 0x01
00001c3f: PUSH1 0x20
00001c41: MSTORE
00001c42: PUSH1 0x40
00001c44: SWAP1
00001c45: KECCAK256
00001c46: SSTORE
00001c47: PUSH1 0x03
00001c49: SLOAD
00001c4a: PUSH2 0x1c53
00001c4d: SWAP1
00001c4e: DUP3
00001c4f: PUSH2 0x1746
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH1 0x03
00001c56: SSTORE
00001c57: PUSH1 0x40
00001c59: DUP1
00001c5a: MLOAD
00001c5b: DUP3
00001c5c: DUP2
00001c5d: MSTORE
00001c5e: SWAP1
00001c5f: MLOAD
00001c60: PUSH1 0x00
00001c62: SWAP2
00001c63: PUSH1 0x01
00001c65: PUSH1 0x01
00001c67: PUSH1 0xa0
00001c69: SHL
00001c6a: SUB
00001c6b: DUP6
00001c6c: AND
00001c6d: SWAP2
00001c6e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c8f: SWAP2
00001c90: DUP2
00001c91: SWAP1
00001c92: SUB
00001c93: PUSH1 0x20
00001c95: ADD
00001c96: SWAP1
00001c97: LOG3
00001c98: POP
00001c99: POP
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x00
00001c9e: DUP2
00001c9f: DUP4
00001ca0: PUSH2 0x1cea
00001ca3: JUMPI
00001ca4: PUSH1 0x40
00001ca6: MLOAD
00001ca7: PUSH3 0x461bcd
00001cab: PUSH1 0xe5
00001cad: SHL
00001cae: DUP2
00001caf: MSTORE
00001cb0: PUSH1 0x20
00001cb2: PUSH1 0x04
00001cb4: DUP3
00001cb5: ADD
00001cb6: DUP2
00001cb7: DUP2
00001cb8: MSTORE
00001cb9: DUP4
00001cba: MLOAD
00001cbb: PUSH1 0x24
00001cbd: DUP5
00001cbe: ADD
00001cbf: MSTORE
00001cc0: DUP4
00001cc1: MLOAD
00001cc2: SWAP1
00001cc3: SWAP3
00001cc4: DUP4
00001cc5: SWAP3
00001cc6: PUSH1 0x44
00001cc8: SWAP1
00001cc9: SWAP2
00001cca: ADD
00001ccb: SWAP2
00001ccc: SWAP1
00001ccd: DUP6
00001cce: ADD
00001ccf: SWAP1
00001cd0: DUP1
00001cd1: DUP4
00001cd2: DUP4
00001cd3: PUSH1 0x00
00001cd5: DUP4
00001cd6: ISZERO
00001cd7: PUSH2 0x1a35
00001cda: JUMPI
00001cdb: DUP2
00001cdc: DUP2
00001cdd: ADD
00001cde: MLOAD
00001cdf: DUP4
00001ce0: DUP3
00001ce1: ADD
00001ce2: MSTORE
00001ce3: PUSH1 0x20
00001ce5: ADD
00001ce6: PUSH2 0x1a1d
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: POP
00001cec: PUSH1 0x00
00001cee: DUP4
00001cef: DUP6
00001cf0: DUP2
00001cf1: PUSH2 0x1cf6
00001cf4: JUMPI
00001cf5: INVALID
00001cf6: JUMPDEST
00001cf7: DIV
00001cf8: SWAP6
00001cf9: SWAP5
00001cfa: POP
00001cfb: POP
00001cfc: POP
00001cfd: POP
00001cfe: POP
00001cff: JUMP
00001d00: JUMPDEST
00001d01: PUSH1 0x07
00001d03: SLOAD
00001d04: PUSH1 0x01
00001d06: PUSH1 0x01
00001d08: PUSH1 0xa0
00001d0a: SHL
00001d0b: SUB
00001d0c: DUP5
00001d0d: AND
00001d0e: PUSH1 0x00
00001d10: SWAP1
00001d11: DUP2
00001d12: MSTORE
00001d13: PUSH1 0x0a
00001d15: PUSH1 0x20
00001d17: MSTORE
00001d18: PUSH1 0x40
00001d1a: SWAP1
00001d1b: KECCAK256
00001d1c: SLOAD
00001d1d: TIMESTAMP
00001d1e: SWAP2
00001d1f: PUSH2 0x1d28
00001d22: SWAP2
00001d23: SWAP1
00001d24: PUSH2 0x17e8
00001d27: JUMP
00001d28: JUMPDEST
00001d29: GT
00001d2a: DUP1
00001d2b: ISZERO
00001d2c: PUSH2 0x1d55
00001d2f: JUMPI
00001d30: POP
00001d31: PUSH1 0x01
00001d33: PUSH1 0x01
00001d35: PUSH1 0xa0
00001d37: SHL
00001d38: SUB
00001d39: DUP1
00001d3a: DUP4
00001d3b: AND
00001d3c: PUSH1 0x00
00001d3e: SWAP1
00001d3f: DUP2
00001d40: MSTORE
00001d41: PUSH1 0x0a
00001d43: PUSH1 0x20
00001d45: MSTORE
00001d46: PUSH1 0x40
00001d48: DUP1
00001d49: DUP3
00001d4a: KECCAK256
00001d4b: SLOAD
00001d4c: SWAP3
00001d4d: DUP7
00001d4e: AND
00001d4f: DUP3
00001d50: MSTORE
00001d51: SWAP1
00001d52: KECCAK256
00001d53: SLOAD
00001d54: GT
00001d55: JUMPDEST
00001d56: ISZERO
00001d57: PUSH2 0x1dd6
00001d5a: JUMPI
00001d5b: PUSH1 0x01
00001d5d: PUSH1 0x01
00001d5f: PUSH1 0xa0
00001d61: SHL
00001d62: SUB
00001d63: DUP3
00001d64: AND
00001d65: PUSH1 0x00
00001d67: SWAP1
00001d68: DUP2
00001d69: MSTORE
00001d6a: PUSH1 0x0b
00001d6c: PUSH1 0x20
00001d6e: MSTORE
00001d6f: PUSH1 0x40
00001d71: SWAP1
00001d72: KECCAK256
00001d73: SLOAD
00001d74: PUSH1 0xff
00001d76: AND
00001d77: ISZERO
00001d78: PUSH2 0x1db2
00001d7b: JUMPI
00001d7c: PUSH1 0x40
00001d7e: MLOAD
00001d7f: PUSH3 0x461bcd
00001d83: PUSH1 0xe5
00001d85: SHL
00001d86: DUP2
00001d87: MSTORE
00001d88: PUSH1 0x04
00001d8a: ADD
00001d8b: DUP1
00001d8c: DUP1
00001d8d: PUSH1 0x20
00001d8f: ADD
00001d90: DUP3
00001d91: DUP2
00001d92: SUB
00001d93: DUP3
00001d94: MSTORE
00001d95: PUSH1 0x2b
00001d97: DUP2
00001d98: MSTORE
00001d99: PUSH1 0x20
00001d9b: ADD
00001d9c: DUP1
00001d9d: PUSH2 0x1f95
00001da0: PUSH1 0x2b
00001da2: SWAP2
00001da3: CODECOPY
00001da4: PUSH1 0x40
00001da6: ADD
00001da7: SWAP2
00001da8: POP
00001da9: POP
00001daa: PUSH1 0x40
00001dac: MLOAD
00001dad: DUP1
00001dae: SWAP2
00001daf: SUB
00001db0: SWAP1
00001db1: REVERT
00001db2: JUMPDEST
00001db3: PUSH1 0x01
00001db5: PUSH1 0x01
00001db7: PUSH1 0xa0
00001db9: SHL
00001dba: SUB
00001dbb: DUP1
00001dbc: DUP5
00001dbd: AND
00001dbe: PUSH1 0x00
00001dc0: SWAP1
00001dc1: DUP2
00001dc2: MSTORE
00001dc3: PUSH1 0x0a
00001dc5: PUSH1 0x20
00001dc7: MSTORE
00001dc8: PUSH1 0x40
00001dca: DUP1
00001dcb: DUP3
00001dcc: KECCAK256
00001dcd: SLOAD
00001dce: SWAP3
00001dcf: DUP6
00001dd0: AND
00001dd1: DUP3
00001dd2: MSTORE
00001dd3: SWAP1
00001dd4: KECCAK256
00001dd5: SSTORE
00001dd6: JUMPDEST
00001dd7: POP
00001dd8: POP
00001dd9: POP
00001dda: JUMP
00001ddb: INVALID
00001ddc: GASLIMIT
00001ddd: MSTORE
00001dde: NUMBER
00001ddf: ORIGIN
00001de0: ADDRESS
00001de1: GASPRICE
00001de2: KECCAK256
00001de3: PUSH21 0x72616e7366657220746f20746865207a65726f2061
00001df9: PUSH5 0x6472657373
00001dff: POP
00001e00: PUSH16 0x6f6c204572726f723a204e6f7420656e
00001e11: PUSH16 0x7567682066756e6473206f6e20746865
00001e22: KECCAK256
00001e23: PUSH17 0x6f6f6c20636f6e74726163742e20506c65
00001e35: PUSH2 0x7365
00001e38: KECCAK256
00001e39: PUSH13 0x6f7765722074686520616d6f75
00001e47: PUSH15 0x742e4c6f636b65644c697175696469
00001e57: PUSH21 0x79207769746820737563682069642068617320616c
00001e6d: PUSH19 0x6561647920756e6c6f636b656445524332303a
00001e81: KECCAK256
00001e82: PUSH3 0x75726e
00001e86: KECCAK256
00001e87: PUSH2 0x6d6f
00001e8a: PUSH22 0x6e7420657863656564732062616c616e63654f776e61
00001ea1: PUSH3 0x6c653a
00001ea5: KECCAK256
00001ea6: PUSH15 0x6577206f776e657220697320746865
00001eb6: KECCAK256
00001eb7: PUSH27 0x65726f206164647265737345524332303a20617070726f76652074
00001ed3: PUSH16 0x20746865207a65726f20616464726573
00001ee4: PUSH20 0x45524332303a207472616e7366657220616d6f75
00001ef9: PUSH15 0x7420657863656564732062616c616e
00001f09: PUSH4 0x65536166
00001f0e: PUSH6 0x4d6174683a20
00001f15: PUSH14 0x756c7469706c69636174696f6e20
00001f24: PUSH16 0x766572666c6f7745524332303a207472
00001f35: PUSH2 0x6e73
00001f38: PUSH7 0x657220616d6f75
00001f40: PUSH15 0x74206578636565647320616c6c6f77
00001f50: PUSH2 0x6e63
00001f53: PUSH6 0x4f776e61626c
00001f5a: PUSH6 0x3a2063616c6c
00001f61: PUSH6 0x72206973206e
00001f68: PUSH16 0x7420746865206f776e65724552433230
00001f79: GASPRICE
00001f7a: KECCAK256
00001f7b: PUSH3 0x75726e
00001f7f: KECCAK256
00001f80: PUSH7 0x726f6d20746865
00001f88: KECCAK256
00001f89: PUSH27 0x65726f206164647265737374686520726563697069656e7420646f
00001fa5: PUSH6 0x73206e6f7420
00001fac: PUSH2 0x6363
00001faf: PUSH6 0x707420626c6f
00001fb6: PUSH4 0x6b656420
00001fbb: PUSH7 0x756e6473455243
00001fc3: ORIGIN
00001fc4: ADDRESS
00001fc5: GASPRICE
00001fc6: KECCAK256
00001fc7: PUSH21 0x72616e736665722066726f6d20746865207a65726f
00001fdd: KECCAK256
00001fde: PUSH2 0x6464
00001fe1: PUSH19 0x65737345524332303a20617070726f76652066
00001ff5: PUSH19 0x6f6d20746865207a65726f2061646472657373
00002009: GASLIMIT
0000200a: MSTORE
0000200b: NUMBER
0000200c: ORIGIN
0000200d: ADDRESS
0000200e: GASPRICE
0000200f: KECCAK256
00002010: PUSH5 0x6563726561
00002016: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
0000202b: PUSH6 0x726fa2646970
00002032: PUSH7 0x7358221220ad17
0000203a: UNKNOWN(0xC5)
0000203b: UNKNOWN(0x4C)
0000203c: MSTORE
0000203d: UNKNOWN(0xC7)
0000203e: UNKNOWN(0xA8)
0000203f: UNKNOWN(0xE7)
00002040: LOG0
00002041: SLT
00002042: PUSH17 0xb8f63a1a2d7d9d827bc3228f8dea16a5c1
00002054: UNKNOWN(0xB4)
00002055: BALANCE
00002056: UNKNOWN(0xD1)
00002057: UNKNOWN(0xF7)
00002058: PUSH5 0x736f6c6343
0000205e: STOP
0000205f: MOD
00002060: UNKNOWN(0x0C)
00002061: STOP
00002062: CALLER