Analysis Run

[codex:903152] OpenAI Codex v0.77.0 (research preview)
[codex:903152] --------
[codex:903152] workdir: /tmp/codex-multi-5hb5m9qg
[codex:903152] model: gpt-5.2-codex
[codex:903152] provider: openai
[codex:903152] approval: never
[codex:903152] sandbox: read-only
[codex:903152] reasoning effort: xhigh
[codex:903152] reasoning summaries: auto
[codex:903152] session id: 019b8bcb-0504-73b1-a740-5d59d6172ea7
[codex:903152] --------
[codex:903152] user
[codex:903152] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:903152] 
[codex:903152] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:903152] 
[codex:903152] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:903152] - Gas inefficiency, code quality, naming, or best practices
[codex:903152] - Theoretical vulnerabilities without a clear extraction path
[codex:903152] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:903152] - Front-running unless it enables theft beyond MEV
[codex:903152] - DoS, griefing, or issues that don't result in attacker profit
[codex:903152] - Missing events, view function issues, or informational findings
[codex:903152] 
[codex:903152] HIGH-VALUE PATTERNS TO HUNT:
[codex:903152] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:903152] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:903152] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:903152] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:903152] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:903152] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:903152] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:903152] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:903152] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:903152] 
[codex:903152] For each finding, you MUST provide:
[codex:903152] 1. Exact file and line numbers of vulnerable code
[codex:903152] 2. Step-by-step exploit transaction sequence
[codex:903152] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:903152] 
[codex:903152] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:903152] 
[codex:903152] Output MUST be valid JSON matching the provided schema.
[codex:903152] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:903152] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:903152] mcp startup: no servers
[codex:903152] 
[codex:903152] thinking
[codex:903152] **Following read-only constraints**
[codex:903152] exec
[codex:903152] /bin/bash -lc ls in /tmp/codex-multi-5hb5m9qg succeeded in 5ms:
[codex:903152] AUDIT_BUNDLE.txt
[codex:903152] codex-output-schema.json
[codex:903152] contracts
[codex:903152] exec
[codex:903152] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5hb5m9qg succeeded in 5ms:
[codex:903152] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:903152] 
[codex:903152] ================================================================================
[codex:903152] FILE: contracts/Address.sol
[codex:903152] ================================================================================
[codex:903152] // SPDX-License-Identifier: MIT
[codex:903152] // OpenZeppelin Contracts (last updated v4.5.0) (utils/Address.sol)
[codex:903152] 
[codex:903152] pragma solidity ^0.8.1;
[codex:903152] 
[codex:903152] /**
[codex:903152]  * @dev Collection of functions related to the address type
[codex:903152]  */
[codex:903152] library Address {
[codex:903152]     /**
[codex:903152]      * @dev Returns true if `account` is a contract.
[codex:903152]      *
[codex:903152]      * [IMPORTANT]
[codex:903152]      * ====
[codex:903152]      * It is unsafe to assume that an address for which this function returns
[codex:903152] 
[codex:903152] thinking
[codex:903152] **Locating contract source files**
[codex:903152] exec
[codex:903152] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-5hb5m9qg succeeded in 15ms:
[codex:903152] contracts/ConfirmedOwner.sol
[codex:903152] contracts/AutomationCompatibleInterface.sol
[codex:903152] contracts/OwnableInterface.sol
[codex:903152] contracts/KeeperCompatibleInterface.sol
[codex:903152] contracts/Address.sol
[codex:903152] contracts/GasStationExact.sol
[codex:903152] contracts/EnumerableSet.sol
[codex:903152] contracts/SafeERC20.sol
[codex:903152] contracts/Context.sol
[codex:903152] contracts/Pausable.sol
[codex:903152] contracts/IERC20.sol
[codex:903152] contracts/ConfirmedOwnerWithProposal.sol
[codex:903152] 
[codex:903152] thinking
[codex:903152] **Checking GasStationExact**
[codex:903152] exec
[codex:903152] /bin/bash -lc "sed -n '1,220p' contracts/GasStationExact.sol" in /tmp/codex-multi-5hb5m9qg succeeded in 5ms:
[codex:903152] // SPDX-License-Identifier: MIT
[codex:903152] 
[codex:903152] pragma solidity 0.8.6;
[codex:903152] 
[codex:903152] import "ConfirmedOwner.sol";
[codex:903152] import "KeeperCompatibleInterface.sol";
[codex:903152] import "Pausable.sol";
[codex:903152] import "SafeERC20.sol";
[codex:903152] import "Address.sol";
[codex:903152] import "EnumerableSet.sol";
[codex:903152] 
[codex:903152] /**
[codex:903152]  * @title The GasStationV2 Contract
[codex:903152]  * @author 0xtritium.eth
[codex:903152]  * @notice Custom implementation of Chainlink's EthBalanceMonitor. Ether
[codex:903152]  * transferred is not limited anymore by topUpAmountWei, and a sweep function
[codex:903152]  * makes it possible to retrieve ERC-20 tokens.  Allows better recipient management.
[codex:903152]  * see https://docs.chain.link/chainlink-automation/utility-contracts/
[codex:903152]  */
[codex:903152] contract GasStationV2 is ConfirmedOwner, Pausable, KeeperCompatibleInterface {
[codex:903152] exec
[codex:903152] /bin/bash -lc "sed -n '220,440p' contracts/GasStationExact.sol" in /tmp/codex-multi-5hb5m9qg succeeded in 5ms:
[codex:903152]      * @notice Sets the keeper registry address
[codex:903152]    */
[codex:903152]     function setKeeperAddress(address keeperAddress) public onlyOwner {
[codex:903152]         emit KeeperUpdated(KeeperAddress, keeperAddress);
[codex:903152]         KeeperAddress = keeperAddress;
[codex:903152]     }
[codex:903152] 
[codex:903152]     /**
[codex:903152]      * @notice Sets the minimum wait period (in seconds) for addresses between funding
[codex:903152]    */
[codex:903152]     function setMinWaitPeriodSeconds(uint256 period) public onlyOwner {
[codex:903152]         emit MinWaitPeriodUpdated(MinWaitPeriodSeconds, period);
[codex:903152]         MinWaitPeriodSeconds = period;
[codex:903152]     }
[codex:903152] 
[codex:903152]     /**
[codex:903152]      * @notice Gets the keeper registry address
[codex:903152]    */
[codex:903152]     function getKeeperAddress() external view returns (address keeperAddress) {
[codex:903152]         return KeeperAddress;
[codex:903152] 
[codex:903152] thinking
[codex:903152] **Analyzing GasStationExact exploit potential**
[codex:903152] 
[codex:903152] I'm carefully reviewing the GasStationExact contract for any exploitable profit paths, focusing on reentrancy risks, access control, and arithmetic underflow scenarios. Despite considering attack vectors like forced reentrancy, selfdestruct fallback manipulation, and incorrect recipient states, I find no concrete vulnerabilities that would allow profit exploitation, so I'll prepare a JSON response indicating no findings.
[codex:903152] codex
[codex:903152] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the reviewed contracts.","findings":[]}
[codex:903152] tokens used
[codex:903152] 19,176
[codex:903152] {"no_findings":true,"summary":"No concrete, exploitable profit path found in the reviewed contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T01:35:45.108419+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in the reviewed contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in the reviewed contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0122
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x79ba5097
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbbc9e99a
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbbc9e99a
0000002f: EQ
00000030: PUSH2 0x035b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbf6b15f4
0000003a: EQ
0000003b: PUSH2 0x0379
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xcc272660
00000045: EQ
00000046: PUSH2 0x0412
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0432
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa08bd17
0000005b: EQ
0000005c: PUSH2 0x0452
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x79ba5097
0000006b: EQ
0000006c: PUSH2 0x02bf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8456cb59
00000076: EQ
00000077: PUSH2 0x02d4
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8da5cb5b
00000081: EQ
00000082: PUSH2 0x02e9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa5dd4686
0000008c: EQ
0000008d: PUSH2 0x031b
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xb8dc491b
00000097: EQ
00000098: PUSH2 0x033b
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x5c975abb
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x5c975abb
000000b2: EQ
000000b3: PUSH2 0x020e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x639ab82f
000000bd: EQ
000000be: PUSH2 0x0238
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x697dbaf4
000000c8: EQ
000000c9: PUSH2 0x0258
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x6e04ff0d
000000d3: EQ
000000d4: PUSH2 0x027c
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x72e18a5e
000000de: EQ
000000df: PUSH2 0x02aa
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH3 0xf714ce
000000ed: EQ
000000ee: PUSH2 0x016c
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x0b67ddce
000000f8: EQ
000000f9: PUSH2 0x018e
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x3f4ba83a
00000103: EQ
00000104: PUSH2 0x01b9
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x3f85861f
0000010e: EQ
0000010f: PUSH2 0x01ce
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x4585e33b
00000119: EQ
0000011a: PUSH2 0x01ee
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: CALLDATASIZE
00000124: PUSH2 0x0167
00000127: JUMPI
00000128: PUSH1 0x40
0000012a: DUP1
0000012b: MLOAD
0000012c: CALLVALUE
0000012d: DUP2
0000012e: MSTORE
0000012f: SELFBALANCE
00000130: PUSH1 0x20
00000132: DUP3
00000133: ADD
00000134: MSTORE
00000135: CALLER
00000136: DUP2
00000137: DUP4
00000138: ADD
00000139: MSTORE
0000013a: SWAP1
0000013b: MLOAD
0000013c: PUSH32 0xc6f3fb0fec49e4877342d4625d77a632541f55b7aae0f9d0b34c69b3478706dc
0000015d: SWAP2
0000015e: DUP2
0000015f: SWAP1
00000160: SUB
00000161: PUSH1 0x60
00000163: ADD
00000164: SWAP1
00000165: LOG1
00000166: STOP
00000167: JUMPDEST
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: DUP1
0000016f: ISZERO
00000170: PUSH2 0x0178
00000173: JUMPI
00000174: PUSH1 0x00
00000176: DUP1
00000177: REVERT
00000178: JUMPDEST
00000179: POP
0000017a: PUSH2 0x018c
0000017d: PUSH2 0x0187
00000180: CALLDATASIZE
00000181: PUSH1 0x04
00000183: PUSH2 0x1bcc
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH2 0x0472
0000018b: JUMP
0000018c: JUMPDEST
0000018d: STOP
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: PUSH2 0x01a3
0000019f: PUSH2 0x051d
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: PUSH2 0x01b0
000001aa: SWAP2
000001ab: SWAP1
000001ac: PUSH2 0x1c39
000001af: JUMP
000001b0: JUMPDEST
000001b1: PUSH1 0x40
000001b3: MLOAD
000001b4: DUP1
000001b5: SWAP2
000001b6: SUB
000001b7: SWAP1
000001b8: RETURN
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: DUP1
000001bc: ISZERO
000001bd: PUSH2 0x01c5
000001c0: JUMPI
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: POP
000001c7: PUSH2 0x018c
000001ca: PUSH2 0x0714
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x018c
000001df: PUSH2 0x01e9
000001e2: CALLDATASIZE
000001e3: PUSH1 0x04
000001e5: PUSH2 0x1b9a
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH2 0x0726
000001ed: JUMP
000001ee: JUMPDEST
000001ef: CALLVALUE
000001f0: DUP1
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: POP
000001fc: PUSH2 0x018c
000001ff: PUSH2 0x0209
00000202: CALLDATASIZE
00000203: PUSH1 0x04
00000205: PUSH2 0x1b28
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH2 0x076f
0000020d: JUMP
0000020e: JUMPDEST
0000020f: CALLVALUE
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: PUSH1 0x01
0000021e: SLOAD
0000021f: PUSH1 0x01
00000221: PUSH1 0xa0
00000223: SHL
00000224: SWAP1
00000225: DIV
00000226: PUSH1 0xff
00000228: AND
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: SWAP1
0000022d: ISZERO
0000022e: ISZERO
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x20
00000233: ADD
00000234: PUSH2 0x01b0
00000237: JUMP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: PUSH2 0x018c
00000249: PUSH2 0x0253
0000024c: CALLDATASIZE
0000024d: PUSH1 0x04
0000024f: PUSH2 0x1993
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH2 0x07e6
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x026e
00000269: PUSH1 0x03
0000026b: SLOAD
0000026c: DUP2
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: SWAP1
00000273: DUP2
00000274: MSTORE
00000275: PUSH1 0x20
00000277: ADD
00000278: PUSH2 0x01b0
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x029c
0000028d: PUSH2 0x0297
00000290: CALLDATASIZE
00000291: PUSH1 0x04
00000293: PUSH2 0x1b28
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x0963
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: PUSH2 0x01b0
000002a3: SWAP3
000002a4: SWAP2
000002a5: SWAP1
000002a6: PUSH2 0x1c86
000002a9: JUMP
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x01a3
000002bb: PUSH2 0x09d6
000002be: JUMP
000002bf: JUMPDEST
000002c0: CALLVALUE
000002c1: DUP1
000002c2: ISZERO
000002c3: PUSH2 0x02cb
000002c6: JUMPI
000002c7: PUSH1 0x00
000002c9: DUP1
000002ca: REVERT
000002cb: JUMPDEST
000002cc: POP
000002cd: PUSH2 0x018c
000002d0: PUSH2 0x0a86
000002d3: JUMP
000002d4: JUMPDEST
000002d5: CALLVALUE
000002d6: DUP1
000002d7: ISZERO
000002d8: PUSH2 0x02e0
000002db: JUMPI
000002dc: PUSH1 0x00
000002de: DUP1
000002df: REVERT
000002e0: JUMPDEST
000002e1: POP
000002e2: PUSH2 0x018c
000002e5: PUSH2 0x0b30
000002e8: JUMP
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: DUP1
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH1 0x00
000002f9: SLOAD
000002fa: PUSH1 0x01
000002fc: PUSH1 0x01
000002fe: PUSH1 0xa0
00000300: SHL
00000301: SUB
00000302: AND
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: PUSH1 0x01
00000309: PUSH1 0x01
0000030b: PUSH1 0xa0
0000030d: SHL
0000030e: SUB
0000030f: SWAP1
00000310: SWAP2
00000311: AND
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: PUSH2 0x01b0
0000031a: JUMP
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: DUP1
0000031e: ISZERO
0000031f: PUSH2 0x0327
00000322: JUMPI
00000323: PUSH1 0x00
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH2 0x018c
0000032c: PUSH2 0x0336
0000032f: CALLDATASIZE
00000330: PUSH1 0x04
00000332: PUSH2 0x193d
00000335: JUMP
00000336: JUMPDEST
00000337: PUSH2 0x0b40
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x018c
0000034c: PUSH2 0x0356
0000034f: CALLDATASIZE
00000350: PUSH1 0x04
00000352: PUSH2 0x195a
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x0bb1
0000035a: JUMP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: DUP1
0000035e: ISZERO
0000035f: PUSH2 0x0367
00000362: JUMPI
00000363: PUSH1 0x00
00000365: DUP1
00000366: REVERT
00000367: JUMPDEST
00000368: POP
00000369: PUSH1 0x02
0000036b: SLOAD
0000036c: PUSH1 0x01
0000036e: PUSH1 0x01
00000370: PUSH1 0xa0
00000372: SHL
00000373: SUB
00000374: AND
00000375: PUSH2 0x0303
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x0385
00000380: JUMPI
00000381: PUSH1 0x00
00000383: DUP1
00000384: REVERT
00000385: JUMPDEST
00000386: POP
00000387: PUSH2 0x03d7
0000038a: PUSH2 0x0394
0000038d: CALLDATASIZE
0000038e: PUSH1 0x04
00000390: PUSH2 0x193d
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x06
00000397: PUSH1 0x20
00000399: MSTORE
0000039a: PUSH1 0x00
0000039c: SWAP1
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x40
000003a1: SWAP1
000003a2: KECCAK256
000003a3: SLOAD
000003a4: PUSH1 0xff
000003a6: DUP2
000003a7: AND
000003a8: SWAP1
000003a9: PUSH1 0x01
000003ab: PUSH1 0x01
000003ad: PUSH1 0x60
000003af: SHL
000003b0: SUB
000003b1: PUSH2 0x0100
000003b4: DUP3
000003b5: DIV
000003b6: DUP2
000003b7: AND
000003b8: SWAP2
000003b9: PUSH1 0x01
000003bb: PUSH1 0x68
000003bd: SHL
000003be: DUP2
000003bf: DIV
000003c0: SWAP1
000003c1: SWAP2
000003c2: AND
000003c3: SWAP1
000003c4: PUSH7 0xffffffffffffff
000003cc: PUSH1 0x01
000003ce: PUSH1 0xc8
000003d0: SHL
000003d1: SWAP1
000003d2: SWAP2
000003d3: DIV
000003d4: AND
000003d5: DUP5
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: PUSH2 0x01b0
000003de: SWAP5
000003df: SWAP4
000003e0: SWAP3
000003e1: SWAP2
000003e2: SWAP1
000003e3: SWAP4
000003e4: ISZERO
000003e5: ISZERO
000003e6: DUP5
000003e7: MSTORE
000003e8: PUSH1 0x01
000003ea: PUSH1 0x01
000003ec: PUSH1 0x60
000003ee: SHL
000003ef: SUB
000003f0: SWAP3
000003f1: DUP4
000003f2: AND
000003f3: PUSH1 0x20
000003f5: DUP6
000003f6: ADD
000003f7: MSTORE
000003f8: SWAP2
000003f9: AND
000003fa: PUSH1 0x40
000003fc: DUP4
000003fd: ADD
000003fe: MSTORE
000003ff: PUSH7 0xffffffffffffff
00000407: AND
00000408: PUSH1 0x60
0000040a: DUP3
0000040b: ADD
0000040c: MSTORE
0000040d: PUSH1 0x80
0000040f: ADD
00000410: SWAP1
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x018c
00000423: PUSH2 0x042d
00000426: CALLDATASIZE
00000427: PUSH1 0x04
00000429: PUSH2 0x19d5
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH2 0x0c88
00000431: JUMP
00000432: JUMPDEST
00000433: CALLVALUE
00000434: DUP1
00000435: ISZERO
00000436: PUSH2 0x043e
00000439: JUMPI
0000043a: PUSH1 0x00
0000043c: DUP1
0000043d: REVERT
0000043e: JUMPDEST
0000043f: POP
00000440: PUSH2 0x018c
00000443: PUSH2 0x044d
00000446: CALLDATASIZE
00000447: PUSH1 0x04
00000449: PUSH2 0x193d
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH2 0x0e82
00000451: JUMP
00000452: JUMPDEST
00000453: CALLVALUE
00000454: DUP1
00000455: ISZERO
00000456: PUSH2 0x045e
00000459: JUMPI
0000045a: PUSH1 0x00
0000045c: DUP1
0000045d: REVERT
0000045e: JUMPDEST
0000045f: POP
00000460: PUSH1 0x02
00000462: SLOAD
00000463: PUSH2 0x0303
00000466: SWAP1
00000467: PUSH1 0x01
00000469: PUSH1 0x01
0000046b: PUSH1 0xa0
0000046d: SHL
0000046e: SUB
0000046f: AND
00000470: DUP2
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH2 0x047a
00000476: PUSH2 0x0e96
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH1 0x01
0000047d: PUSH1 0x01
0000047f: PUSH1 0xa0
00000481: SHL
00000482: SUB
00000483: DUP2
00000484: AND
00000485: PUSH2 0x04a1
00000488: JUMPI
00000489: PUSH1 0x40
0000048b: MLOAD
0000048c: PUSH4 0xd92e233d
00000491: PUSH1 0xe0
00000493: SHL
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x04
00000498: ADD
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: SWAP2
0000049e: SUB
0000049f: SWAP1
000004a0: REVERT
000004a1: JUMPDEST
000004a2: PUSH1 0x40
000004a4: DUP1
000004a5: MLOAD
000004a6: DUP4
000004a7: DUP2
000004a8: MSTORE
000004a9: PUSH1 0x01
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: SHL
000004b0: SUB
000004b1: DUP4
000004b2: AND
000004b3: PUSH1 0x20
000004b5: DUP3
000004b6: ADD
000004b7: MSTORE
000004b8: PUSH32 0x6141b54b56b8a52a8c6f5cd2a857f6117b18ffbf4d46bd3106f300a839cbf5ea
000004d9: SWAP2
000004da: ADD
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP1
000004df: SWAP2
000004e0: SUB
000004e1: SWAP1
000004e2: LOG1
000004e3: PUSH1 0x40
000004e5: MLOAD
000004e6: PUSH1 0x01
000004e8: PUSH1 0x01
000004ea: PUSH1 0xa0
000004ec: SHL
000004ed: SUB
000004ee: DUP3
000004ef: AND
000004f0: SWAP1
000004f1: DUP4
000004f2: ISZERO
000004f3: PUSH2 0x08fc
000004f6: MUL
000004f7: SWAP1
000004f8: DUP5
000004f9: SWAP1
000004fa: PUSH1 0x00
000004fc: DUP2
000004fd: DUP2
000004fe: DUP2
000004ff: DUP6
00000500: DUP9
00000501: DUP9
00000502: CALL
00000503: SWAP4
00000504: POP
00000505: POP
00000506: POP
00000507: POP
00000508: ISZERO
00000509: DUP1
0000050a: ISZERO
0000050b: PUSH2 0x0518
0000050e: JUMPI
0000050f: RETURNDATASIZE
00000510: PUSH1 0x00
00000512: DUP1
00000513: RETURNDATACOPY
00000514: RETURNDATASIZE
00000515: PUSH1 0x00
00000517: REVERT
00000518: JUMPDEST
00000519: POP
0000051a: POP
0000051b: POP
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH1 0x60
00000520: PUSH1 0x00
00000522: PUSH2 0x0529
00000525: PUSH2 0x09d6
00000528: JUMP
00000529: JUMPDEST
0000052a: SWAP1
0000052b: POP
0000052c: PUSH1 0x00
0000052e: DUP2
0000052f: MLOAD
00000530: PUSH8 0xffffffffffffffff
00000539: DUP2
0000053a: GT
0000053b: ISZERO
0000053c: PUSH2 0x0547
0000053f: JUMPI
00000540: PUSH2 0x0547
00000543: PUSH2 0x1d96
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: SWAP1
0000054c: DUP1
0000054d: DUP3
0000054e: MSTORE
0000054f: DUP1
00000550: PUSH1 0x20
00000552: MUL
00000553: PUSH1 0x20
00000555: ADD
00000556: DUP3
00000557: ADD
00000558: PUSH1 0x40
0000055a: MSTORE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0570
00000560: JUMPI
00000561: DUP2
00000562: PUSH1 0x20
00000564: ADD
00000565: PUSH1 0x20
00000567: DUP3
00000568: MUL
00000569: DUP1
0000056a: CALLDATASIZE
0000056b: DUP4
0000056c: CALLDATACOPY
0000056d: ADD
0000056e: SWAP1
0000056f: POP
00000570: JUMPDEST
00000571: POP
00000572: PUSH1 0x03
00000574: SLOAD
00000575: PUSH1 0x40
00000577: DUP1
00000578: MLOAD
00000579: PUSH1 0x80
0000057b: DUP2
0000057c: ADD
0000057d: DUP3
0000057e: MSTORE
0000057f: PUSH1 0x00
00000581: DUP1
00000582: DUP3
00000583: MSTORE
00000584: PUSH1 0x20
00000586: DUP3
00000587: ADD
00000588: DUP2
00000589: SWAP1
0000058a: MSTORE
0000058b: SWAP2
0000058c: DUP2
0000058d: ADD
0000058e: DUP3
0000058f: SWAP1
00000590: MSTORE
00000591: PUSH1 0x60
00000593: DUP2
00000594: ADD
00000595: DUP3
00000596: SWAP1
00000597: MSTORE
00000598: SWAP3
00000599: SWAP4
0000059a: POP
0000059b: SWAP2
0000059c: SELFBALANCE
0000059d: SWAP1
0000059e: PUSH1 0x00
000005a0: JUMPDEST
000005a1: PUSH2 0x05aa
000005a4: PUSH1 0x04
000005a6: PUSH2 0x0ee9
000005a9: JUMP
000005aa: JUMPDEST
000005ab: DUP2
000005ac: LT
000005ad: ISZERO
000005ae: PUSH2 0x06fc
000005b1: JUMPI
000005b2: PUSH1 0x00
000005b4: PUSH2 0x05be
000005b7: PUSH1 0x04
000005b9: DUP4
000005ba: PUSH2 0x0ef9
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: DUP2
000005c8: AND
000005c9: PUSH1 0x00
000005cb: DUP2
000005cc: DUP2
000005cd: MSTORE
000005ce: PUSH1 0x06
000005d0: PUSH1 0x20
000005d2: SWAP1
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x40
000005d7: SWAP2
000005d8: DUP3
000005d9: SWAP1
000005da: KECCAK256
000005db: DUP3
000005dc: MLOAD
000005dd: PUSH1 0x80
000005df: DUP2
000005e0: ADD
000005e1: DUP5
000005e2: MSTORE
000005e3: SWAP1
000005e4: SLOAD
000005e5: PUSH1 0xff
000005e7: DUP2
000005e8: AND
000005e9: ISZERO
000005ea: ISZERO
000005eb: DUP3
000005ec: MSTORE
000005ed: PUSH2 0x0100
000005f0: DUP2
000005f1: DIV
000005f2: PUSH1 0x01
000005f4: PUSH1 0x01
000005f6: PUSH1 0x60
000005f8: SHL
000005f9: SUB
000005fa: SWAP1
000005fb: DUP2
000005fc: AND
000005fd: SWAP4
000005fe: DUP4
000005ff: ADD
00000600: DUP5
00000601: SWAP1
00000602: MSTORE
00000603: PUSH1 0x01
00000605: PUSH1 0x68
00000607: SHL
00000608: DUP3
00000609: DIV
0000060a: AND
0000060b: SWAP4
0000060c: DUP3
0000060d: ADD
0000060e: SWAP4
0000060f: SWAP1
00000610: SWAP4
00000611: MSTORE
00000612: PUSH1 0x01
00000614: PUSH1 0xc8
00000616: SHL
00000617: SWAP1
00000618: SWAP3
00000619: DIV
0000061a: PUSH7 0xffffffffffffff
00000622: AND
00000623: PUSH1 0x60
00000625: DUP4
00000626: ADD
00000627: MSTORE
00000628: SWAP1
00000629: SWAP6
0000062a: POP
0000062b: SWAP2
0000062c: SWAP3
0000062d: POP
0000062e: BALANCE
0000062f: LT
00000630: ISZERO
00000631: PUSH2 0x06e9
00000634: JUMPI
00000635: PUSH1 0x00
00000637: DUP2
00000638: PUSH1 0x01
0000063a: PUSH1 0x01
0000063c: PUSH1 0xa0
0000063e: SHL
0000063f: SUB
00000640: AND
00000641: BALANCE
00000642: DUP5
00000643: PUSH1 0x40
00000645: ADD
00000646: MLOAD
00000647: PUSH1 0x01
00000649: PUSH1 0x01
0000064b: PUSH1 0x60
0000064d: SHL
0000064e: SUB
0000064f: AND
00000650: PUSH2 0x0659
00000653: SWAP2
00000654: SWAP1
00000655: PUSH2 0x1cf6
00000658: JUMP
00000659: JUMPDEST
0000065a: SWAP1
0000065b: POP
0000065c: TIMESTAMP
0000065d: DUP7
0000065e: DUP6
0000065f: PUSH1 0x60
00000661: ADD
00000662: MLOAD
00000663: PUSH7 0xffffffffffffff
0000066b: AND
0000066c: PUSH2 0x0675
0000066f: SWAP2
00000670: SWAP1
00000671: PUSH2 0x1cde
00000674: JUMP
00000675: JUMPDEST
00000676: GT
00000677: ISZERO
00000678: DUP1
00000679: ISZERO
0000067a: PUSH2 0x0683
0000067d: JUMPI
0000067e: POP
0000067f: DUP1
00000680: DUP6
00000681: LT
00000682: ISZERO
00000683: JUMPDEST
00000684: ISZERO
00000685: PUSH2 0x06e7
00000688: JUMPI
00000689: DUP9
0000068a: DUP4
0000068b: DUP2
0000068c: MLOAD
0000068d: DUP2
0000068e: LT
0000068f: PUSH2 0x069a
00000692: JUMPI
00000693: PUSH2 0x069a
00000696: PUSH2 0x1d80
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH1 0x20
0000069d: MUL
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: ADD
000006a2: MLOAD
000006a3: DUP9
000006a4: DUP9
000006a5: DUP2
000006a6: MLOAD
000006a7: DUP2
000006a8: LT
000006a9: PUSH2 0x06b4
000006ac: JUMPI
000006ad: PUSH2 0x06b4
000006b0: PUSH2 0x1d80
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH1 0x01
000006b7: PUSH1 0x01
000006b9: PUSH1 0xa0
000006bb: SHL
000006bc: SUB
000006bd: SWAP1
000006be: SWAP3
000006bf: AND
000006c0: PUSH1 0x20
000006c2: SWAP3
000006c3: DUP4
000006c4: MUL
000006c5: SWAP2
000006c6: SWAP1
000006c7: SWAP2
000006c8: ADD
000006c9: SWAP1
000006ca: SWAP2
000006cb: ADD
000006cc: MSTORE
000006cd: DUP7
000006ce: PUSH2 0x06d6
000006d1: DUP2
000006d2: PUSH2 0x1d39
000006d5: JUMP
000006d6: JUMPDEST
000006d7: SWAP8
000006d8: POP
000006d9: PUSH2 0x06e4
000006dc: SWAP1
000006dd: POP
000006de: DUP2
000006df: DUP7
000006e0: PUSH2 0x1cf6
000006e3: JUMP
000006e4: JUMPDEST
000006e5: SWAP5
000006e6: POP
000006e7: JUMPDEST
000006e8: POP
000006e9: JUMPDEST
000006ea: POP
000006eb: DUP1
000006ec: PUSH2 0x06f4
000006ef: DUP2
000006f0: PUSH2 0x1d39
000006f3: JUMP
000006f4: JUMPDEST
000006f5: SWAP2
000006f6: POP
000006f7: POP
000006f8: PUSH2 0x05a0
000006fb: JUMP
000006fc: JUMPDEST
000006fd: POP
000006fe: DUP6
000006ff: MLOAD
00000700: DUP5
00000701: EQ
00000702: PUSH2 0x0709
00000705: JUMPI
00000706: DUP4
00000707: DUP6
00000708: MSTORE
00000709: JUMPDEST
0000070a: POP
0000070b: SWAP3
0000070c: SWAP6
0000070d: SWAP5
0000070e: POP
0000070f: POP
00000710: POP
00000711: POP
00000712: POP
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH2 0x071c
00000718: PUSH2 0x0e96
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH2 0x0724
00000720: PUSH2 0x0f0c
00000723: JUMP
00000724: JUMPDEST
00000725: JUMP
00000726: JUMPDEST
00000727: PUSH2 0x072e
0000072a: PUSH2 0x0e96
0000072d: JUMP
0000072e: JUMPDEST
0000072f: PUSH1 0x03
00000731: SLOAD
00000732: PUSH1 0x40
00000734: DUP1
00000735: MLOAD
00000736: SWAP2
00000737: DUP3
00000738: MSTORE
00000739: PUSH1 0x20
0000073b: DUP3
0000073c: ADD
0000073d: DUP4
0000073e: SWAP1
0000073f: MSTORE
00000740: PUSH32 0x04330086c73b1fe1e13cd47a61c692e7c4399b5de08ed94b7ab824684af09323
00000761: SWAP2
00000762: ADD
00000763: PUSH1 0x40
00000765: MLOAD
00000766: DUP1
00000767: SWAP2
00000768: SUB
00000769: SWAP1
0000076a: LOG1
0000076b: PUSH1 0x03
0000076d: SSTORE
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH1 0x02
00000772: SLOAD
00000773: PUSH1 0x01
00000775: PUSH1 0x01
00000777: PUSH1 0xa0
00000779: SHL
0000077a: SUB
0000077b: AND
0000077c: CALLER
0000077d: EQ
0000077e: PUSH2 0x079a
00000781: JUMPI
00000782: PUSH1 0x40
00000784: MLOAD
00000785: PUSH4 0x34e9a00d
0000078a: PUSH1 0xe2
0000078c: SHL
0000078d: DUP2
0000078e: MSTORE
0000078f: PUSH1 0x04
00000791: ADD
00000792: PUSH1 0x40
00000794: MLOAD
00000795: DUP1
00000796: SWAP2
00000797: SUB
00000798: SWAP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: PUSH1 0x01
0000079d: SLOAD
0000079e: PUSH1 0x01
000007a0: PUSH1 0xa0
000007a2: SHL
000007a3: SWAP1
000007a4: DIV
000007a5: PUSH1 0xff
000007a7: AND
000007a8: ISZERO
000007a9: PUSH2 0x07cd
000007ac: JUMPI
000007ad: PUSH1 0x40
000007af: MLOAD
000007b0: PUSH3 0x461bcd
000007b4: PUSH1 0xe5
000007b6: SHL
000007b7: DUP2
000007b8: MSTORE
000007b9: PUSH1 0x04
000007bb: ADD
000007bc: PUSH2 0x07c4
000007bf: SWAP1
000007c0: PUSH2 0x1cb4
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: DUP1
000007c9: SWAP2
000007ca: SUB
000007cb: SWAP1
000007cc: REVERT
000007cd: JUMPDEST
000007ce: PUSH1 0x00
000007d0: PUSH2 0x07db
000007d3: DUP3
000007d4: DUP5
000007d5: ADD
000007d6: DUP5
000007d7: PUSH2 0x1a3a
000007da: JUMP
000007db: JUMPDEST
000007dc: SWAP1
000007dd: POP
000007de: PUSH2 0x0518
000007e1: DUP2
000007e2: PUSH2 0x0fa9
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH2 0x07ee
000007ea: PUSH2 0x0e96
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH1 0x00
000007f1: JUMPDEST
000007f2: DUP2
000007f3: DUP2
000007f4: LT
000007f5: ISZERO
000007f6: PUSH2 0x0518
000007f9: JUMPI
000007fa: PUSH2 0x082b
000007fd: DUP4
000007fe: DUP4
000007ff: DUP4
00000800: DUP2
00000801: DUP2
00000802: LT
00000803: PUSH2 0x080e
00000806: JUMPI
00000807: PUSH2 0x080e
0000080a: PUSH2 0x1d80
0000080d: JUMP
0000080e: JUMPDEST
0000080f: SWAP1
00000810: POP
00000811: PUSH1 0x20
00000813: MUL
00000814: ADD
00000815: PUSH1 0x20
00000817: DUP2
00000818: ADD
00000819: SWAP1
0000081a: PUSH2 0x0823
0000081d: SWAP2
0000081e: SWAP1
0000081f: PUSH2 0x193d
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x04
00000826: SWAP1
00000827: PUSH2 0x1387
0000082a: JUMP
0000082b: JUMPDEST
0000082c: ISZERO
0000082d: PUSH2 0x08ed
00000830: JUMPI
00000831: PUSH1 0x00
00000833: PUSH1 0x06
00000835: PUSH1 0x00
00000837: DUP6
00000838: DUP6
00000839: DUP6
0000083a: DUP2
0000083b: DUP2
0000083c: LT
0000083d: PUSH2 0x0848
00000840: JUMPI
00000841: PUSH2 0x0848
00000844: PUSH2 0x1d80
00000847: JUMP
00000848: JUMPDEST
00000849: SWAP1
0000084a: POP
0000084b: PUSH1 0x20
0000084d: MUL
0000084e: ADD
0000084f: PUSH1 0x20
00000851: DUP2
00000852: ADD
00000853: SWAP1
00000854: PUSH2 0x085d
00000857: SWAP2
00000858: SWAP1
00000859: PUSH2 0x193d
0000085c: JUMP
0000085d: JUMPDEST
0000085e: PUSH1 0x01
00000860: PUSH1 0x01
00000862: PUSH1 0xa0
00000864: SHL
00000865: SUB
00000866: AND
00000867: DUP2
00000868: MSTORE
00000869: PUSH1 0x20
0000086b: DUP2
0000086c: ADD
0000086d: SWAP2
0000086e: SWAP1
0000086f: SWAP2
00000870: MSTORE
00000871: PUSH1 0x40
00000873: ADD
00000874: PUSH1 0x00
00000876: KECCAK256
00000877: DUP1
00000878: SLOAD
00000879: PUSH1 0xff
0000087b: NOT
0000087c: AND
0000087d: SWAP2
0000087e: ISZERO
0000087f: ISZERO
00000880: SWAP2
00000881: SWAP1
00000882: SWAP2
00000883: OR
00000884: SWAP1
00000885: SSTORE
00000886: PUSH32 0x8176fc5412eb5076fee7f1a264915b808c24d495c2698c189030e5200e707d25
000008a7: DUP4
000008a8: DUP4
000008a9: DUP4
000008aa: DUP2
000008ab: DUP2
000008ac: LT
000008ad: PUSH2 0x08b8
000008b0: JUMPI
000008b1: PUSH2 0x08b8
000008b4: PUSH2 0x1d80
000008b7: JUMP
000008b8: JUMPDEST
000008b9: SWAP1
000008ba: POP
000008bb: PUSH1 0x20
000008bd: MUL
000008be: ADD
000008bf: PUSH1 0x20
000008c1: DUP2
000008c2: ADD
000008c3: SWAP1
000008c4: PUSH2 0x08cd
000008c7: SWAP2
000008c8: SWAP1
000008c9: PUSH2 0x193d
000008cc: JUMP
000008cd: JUMPDEST
000008ce: PUSH1 0x40
000008d0: MLOAD
000008d1: PUSH1 0x01
000008d3: PUSH1 0x01
000008d5: PUSH1 0xa0
000008d7: SHL
000008d8: SUB
000008d9: SWAP1
000008da: SWAP2
000008db: AND
000008dc: DUP2
000008dd: MSTORE
000008de: PUSH1 0x20
000008e0: ADD
000008e1: PUSH1 0x40
000008e3: MLOAD
000008e4: DUP1
000008e5: SWAP2
000008e6: SUB
000008e7: SWAP1
000008e8: LOG1
000008e9: PUSH2 0x0951
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH32 0x9d81cdfd170fed3eed3737f18032acb610ce1fbf3d3cd9722d5a4633468892be
0000090f: DUP4
00000910: DUP4
00000911: DUP4
00000912: DUP2
00000913: DUP2
00000914: LT
00000915: PUSH2 0x0920
00000918: JUMPI
00000919: PUSH2 0x0920
0000091c: PUSH2 0x1d80
0000091f: JUMP
00000920: JUMPDEST
00000921: SWAP1
00000922: POP
00000923: PUSH1 0x20
00000925: MUL
00000926: ADD
00000927: PUSH1 0x20
00000929: DUP2
0000092a: ADD
0000092b: SWAP1
0000092c: PUSH2 0x0935
0000092f: SWAP2
00000930: SWAP1
00000931: PUSH2 0x193d
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x40
00000938: MLOAD
00000939: PUSH1 0x01
0000093b: PUSH1 0x01
0000093d: PUSH1 0xa0
0000093f: SHL
00000940: SUB
00000941: SWAP1
00000942: SWAP2
00000943: AND
00000944: DUP2
00000945: MSTORE
00000946: PUSH1 0x20
00000948: ADD
00000949: PUSH1 0x40
0000094b: MLOAD
0000094c: DUP1
0000094d: SWAP2
0000094e: SUB
0000094f: SWAP1
00000950: LOG1
00000951: JUMPDEST
00000952: DUP1
00000953: PUSH2 0x095b
00000956: DUP2
00000957: PUSH2 0x1d39
0000095a: JUMP
0000095b: JUMPDEST
0000095c: SWAP2
0000095d: POP
0000095e: POP
0000095f: PUSH2 0x07f1
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x00
00000966: PUSH1 0x60
00000968: PUSH2 0x097b
0000096b: PUSH1 0x01
0000096d: SLOAD
0000096e: PUSH1 0xff
00000970: PUSH1 0x01
00000972: PUSH1 0xa0
00000974: SHL
00000975: SWAP1
00000976: SWAP2
00000977: DIV
00000978: AND
00000979: SWAP1
0000097a: JUMP
0000097b: JUMPDEST
0000097c: ISZERO
0000097d: PUSH2 0x0998
00000980: JUMPI
00000981: PUSH1 0x40
00000983: MLOAD
00000984: PUSH3 0x461bcd
00000988: PUSH1 0xe5
0000098a: SHL
0000098b: DUP2
0000098c: MSTORE
0000098d: PUSH1 0x04
0000098f: ADD
00000990: PUSH2 0x07c4
00000993: SWAP1
00000994: PUSH2 0x1cb4
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH1 0x00
0000099b: PUSH2 0x09a2
0000099e: PUSH2 0x051d
000009a1: JUMP
000009a2: JUMPDEST
000009a3: SWAP1
000009a4: POP
000009a5: PUSH1 0x00
000009a7: DUP2
000009a8: MLOAD
000009a9: GT
000009aa: SWAP3
000009ab: POP
000009ac: DUP1
000009ad: PUSH1 0x40
000009af: MLOAD
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: PUSH2 0x09bc
000009b6: SWAP2
000009b7: SWAP1
000009b8: PUSH2 0x1c39
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x40
000009bf: MLOAD
000009c0: PUSH1 0x20
000009c2: DUP2
000009c3: DUP4
000009c4: SUB
000009c5: SUB
000009c6: DUP2
000009c7: MSTORE
000009c8: SWAP1
000009c9: PUSH1 0x40
000009cb: MSTORE
000009cc: SWAP2
000009cd: POP
000009ce: POP
000009cf: JUMPDEST
000009d0: SWAP3
000009d1: POP
000009d2: SWAP3
000009d3: SWAP1
000009d4: POP
000009d5: JUMP
000009d6: JUMPDEST
000009d7: PUSH1 0x60
000009d9: PUSH1 0x00
000009db: PUSH2 0x09e4
000009de: PUSH1 0x04
000009e0: PUSH2 0x0ee9
000009e3: JUMP
000009e4: JUMPDEST
000009e5: SWAP1
000009e6: POP
000009e7: PUSH1 0x00
000009e9: DUP2
000009ea: PUSH8 0xffffffffffffffff
000009f3: DUP2
000009f4: GT
000009f5: ISZERO
000009f6: PUSH2 0x0a01
000009f9: JUMPI
000009fa: PUSH2 0x0a01
000009fd: PUSH2 0x1d96
00000a00: JUMP
00000a01: JUMPDEST
00000a02: PUSH1 0x40
00000a04: MLOAD
00000a05: SWAP1
00000a06: DUP1
00000a07: DUP3
00000a08: MSTORE
00000a09: DUP1
00000a0a: PUSH1 0x20
00000a0c: MUL
00000a0d: PUSH1 0x20
00000a0f: ADD
00000a10: DUP3
00000a11: ADD
00000a12: PUSH1 0x40
00000a14: MSTORE
00000a15: DUP1
00000a16: ISZERO
00000a17: PUSH2 0x0a2a
00000a1a: JUMPI
00000a1b: DUP2
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: PUSH1 0x20
00000a21: DUP3
00000a22: MUL
00000a23: DUP1
00000a24: CALLDATASIZE
00000a25: DUP4
00000a26: CALLDATACOPY
00000a27: ADD
00000a28: SWAP1
00000a29: POP
00000a2a: JUMPDEST
00000a2b: POP
00000a2c: SWAP1
00000a2d: POP
00000a2e: PUSH1 0x00
00000a30: JUMPDEST
00000a31: DUP3
00000a32: DUP2
00000a33: LT
00000a34: ISZERO
00000a35: PUSH2 0x0a7f
00000a38: JUMPI
00000a39: PUSH2 0x0a43
00000a3c: PUSH1 0x04
00000a3e: DUP3
00000a3f: PUSH2 0x0ef9
00000a42: JUMP
00000a43: JUMPDEST
00000a44: DUP3
00000a45: DUP3
00000a46: DUP2
00000a47: MLOAD
00000a48: DUP2
00000a49: LT
00000a4a: PUSH2 0x0a55
00000a4d: JUMPI
00000a4e: PUSH2 0x0a55
00000a51: PUSH2 0x1d80
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH1 0x01
00000a58: PUSH1 0x01
00000a5a: PUSH1 0xa0
00000a5c: SHL
00000a5d: SUB
00000a5e: SWAP1
00000a5f: SWAP3
00000a60: AND
00000a61: PUSH1 0x20
00000a63: SWAP3
00000a64: DUP4
00000a65: MUL
00000a66: SWAP2
00000a67: SWAP1
00000a68: SWAP2
00000a69: ADD
00000a6a: SWAP1
00000a6b: SWAP2
00000a6c: ADD
00000a6d: MSTORE
00000a6e: DUP1
00000a6f: PUSH2 0x0a77
00000a72: DUP2
00000a73: PUSH2 0x1d39
00000a76: JUMP
00000a77: JUMPDEST
00000a78: SWAP2
00000a79: POP
00000a7a: POP
00000a7b: PUSH2 0x0a30
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: POP
00000a81: SWAP3
00000a82: SWAP2
00000a83: POP
00000a84: POP
00000a85: JUMP
00000a86: JUMPDEST
00000a87: PUSH1 0x01
00000a89: SLOAD
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0xa0
00000a90: SHL
00000a91: SUB
00000a92: AND
00000a93: CALLER
00000a94: EQ
00000a95: PUSH2 0x0ad9
00000a98: JUMPI
00000a99: PUSH1 0x40
00000a9b: MLOAD
00000a9c: PUSH3 0x461bcd
00000aa0: PUSH1 0xe5
00000aa2: SHL
00000aa3: DUP2
00000aa4: MSTORE
00000aa5: PUSH1 0x20
00000aa7: PUSH1 0x04
00000aa9: DUP3
00000aaa: ADD
00000aab: MSTORE
00000aac: PUSH1 0x16
00000aae: PUSH1 0x24
00000ab0: DUP3
00000ab1: ADD
00000ab2: MSTORE
00000ab3: PUSH22 0x26bab9ba10313290383937b837b9b2b21037bbb732b9
00000aca: PUSH1 0x51
00000acc: SHL
00000acd: PUSH1 0x44
00000acf: DUP3
00000ad0: ADD
00000ad1: MSTORE
00000ad2: PUSH1 0x64
00000ad4: ADD
00000ad5: PUSH2 0x07c4
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH1 0x00
00000adc: DUP1
00000add: SLOAD
00000ade: CALLER
00000adf: PUSH1 0x01
00000ae1: PUSH1 0x01
00000ae3: PUSH1 0xa0
00000ae5: SHL
00000ae6: SUB
00000ae7: NOT
00000ae8: DUP1
00000ae9: DUP4
00000aea: AND
00000aeb: DUP3
00000aec: OR
00000aed: DUP5
00000aee: SSTORE
00000aef: PUSH1 0x01
00000af1: DUP1
00000af2: SLOAD
00000af3: SWAP1
00000af4: SWAP2
00000af5: AND
00000af6: SWAP1
00000af7: SSTORE
00000af8: PUSH1 0x40
00000afa: MLOAD
00000afb: PUSH1 0x01
00000afd: PUSH1 0x01
00000aff: PUSH1 0xa0
00000b01: SHL
00000b02: SUB
00000b03: SWAP1
00000b04: SWAP3
00000b05: AND
00000b06: SWAP3
00000b07: SWAP1
00000b08: SWAP2
00000b09: DUP4
00000b0a: SWAP2
00000b0b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000b2c: SWAP2
00000b2d: LOG3
00000b2e: POP
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x0b38
00000b34: PUSH2 0x0e96
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH2 0x0724
00000b3c: PUSH2 0x139c
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH2 0x0b48
00000b44: PUSH2 0x0e96
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH1 0x02
00000b4b: SLOAD
00000b4c: PUSH1 0x40
00000b4e: DUP1
00000b4f: MLOAD
00000b50: PUSH1 0x01
00000b52: PUSH1 0x01
00000b54: PUSH1 0xa0
00000b56: SHL
00000b57: SUB
00000b58: SWAP3
00000b59: DUP4
00000b5a: AND
00000b5b: DUP2
00000b5c: MSTORE
00000b5d: SWAP2
00000b5e: DUP4
00000b5f: AND
00000b60: PUSH1 0x20
00000b62: DUP4
00000b63: ADD
00000b64: MSTORE
00000b65: PUSH32 0x53d3703fe259def57584466f32d1b94c30278008c683c21b04501c4966f13a69
00000b86: SWAP2
00000b87: ADD
00000b88: PUSH1 0x40
00000b8a: MLOAD
00000b8b: DUP1
00000b8c: SWAP2
00000b8d: SUB
00000b8e: SWAP1
00000b8f: LOG1
00000b90: PUSH1 0x02
00000b92: DUP1
00000b93: SLOAD
00000b94: PUSH1 0x01
00000b96: PUSH1 0x01
00000b98: PUSH1 0xa0
00000b9a: SHL
00000b9b: SUB
00000b9c: NOT
00000b9d: AND
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0x01
00000ba2: PUSH1 0xa0
00000ba4: SHL
00000ba5: SUB
00000ba6: SWAP3
00000ba7: SWAP1
00000ba8: SWAP3
00000ba9: AND
00000baa: SWAP2
00000bab: SWAP1
00000bac: SWAP2
00000bad: OR
00000bae: SWAP1
00000baf: SSTORE
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH2 0x0bb9
00000bb5: PUSH2 0x0e96
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: PUSH4 0x70a08231
00000bc2: PUSH1 0xe0
00000bc4: SHL
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: ADDRESS
00000bc8: PUSH1 0x04
00000bca: DUP3
00000bcb: ADD
00000bcc: MSTORE
00000bcd: PUSH1 0x00
00000bcf: SWAP1
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0x01
00000bd4: PUSH1 0xa0
00000bd6: SHL
00000bd7: SUB
00000bd8: DUP5
00000bd9: AND
00000bda: SWAP1
00000bdb: PUSH4 0x70a08231
00000be0: SWAP1
00000be1: PUSH1 0x24
00000be3: ADD
00000be4: PUSH1 0x20
00000be6: PUSH1 0x40
00000be8: MLOAD
00000be9: DUP1
00000bea: DUP4
00000beb: SUB
00000bec: DUP2
00000bed: DUP7
00000bee: DUP1
00000bef: EXTCODESIZE
00000bf0: ISZERO
00000bf1: DUP1
00000bf2: ISZERO
00000bf3: PUSH2 0x0bfb
00000bf6: JUMPI
00000bf7: PUSH1 0x00
00000bf9: DUP1
00000bfa: REVERT
00000bfb: JUMPDEST
00000bfc: POP
00000bfd: GAS
00000bfe: STATICCALL
00000bff: ISZERO
00000c00: DUP1
00000c01: ISZERO
00000c02: PUSH2 0x0c0f
00000c05: JUMPI
00000c06: RETURNDATASIZE
00000c07: PUSH1 0x00
00000c09: DUP1
00000c0a: RETURNDATACOPY
00000c0b: RETURNDATASIZE
00000c0c: PUSH1 0x00
00000c0e: REVERT
00000c0f: JUMPDEST
00000c10: POP
00000c11: POP
00000c12: POP
00000c13: POP
00000c14: PUSH1 0x40
00000c16: MLOAD
00000c17: RETURNDATASIZE
00000c18: PUSH1 0x1f
00000c1a: NOT
00000c1b: PUSH1 0x1f
00000c1d: DUP3
00000c1e: ADD
00000c1f: AND
00000c20: DUP3
00000c21: ADD
00000c22: DUP1
00000c23: PUSH1 0x40
00000c25: MSTORE
00000c26: POP
00000c27: DUP2
00000c28: ADD
00000c29: SWAP1
00000c2a: PUSH2 0x0c33
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: PUSH2 0x1bb3
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x40
00000c36: DUP1
00000c37: MLOAD
00000c38: PUSH1 0x01
00000c3a: PUSH1 0x01
00000c3c: PUSH1 0xa0
00000c3e: SHL
00000c3f: SUB
00000c40: DUP6
00000c41: DUP2
00000c42: AND
00000c43: DUP3
00000c44: MSTORE
00000c45: PUSH1 0x20
00000c47: DUP3
00000c48: ADD
00000c49: DUP5
00000c4a: SWAP1
00000c4b: MSTORE
00000c4c: SWAP3
00000c4d: SWAP4
00000c4e: POP
00000c4f: SWAP2
00000c50: DUP6
00000c51: AND
00000c52: SWAP2
00000c53: PUSH32 0x17ebca81c5f7ed9c553f76ca3f4a03b93af7d9ea1f3348a879306375452ca46f
00000c74: SWAP2
00000c75: ADD
00000c76: PUSH1 0x40
00000c78: MLOAD
00000c79: DUP1
00000c7a: SWAP2
00000c7b: SUB
00000c7c: SWAP1
00000c7d: LOG2
00000c7e: PUSH2 0x0518
00000c81: DUP4
00000c82: DUP4
00000c83: DUP4
00000c84: PUSH2 0x1401
00000c87: JUMP
00000c88: JUMPDEST
00000c89: PUSH2 0x0c90
00000c8c: PUSH2 0x0e96
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x00
00000c93: JUMPDEST
00000c94: DUP4
00000c95: DUP2
00000c96: LT
00000c97: ISZERO
00000c98: PUSH2 0x0e7b
00000c9b: JUMPI
00000c9c: PUSH1 0x00
00000c9e: PUSH2 0x0ccf
00000ca1: DUP7
00000ca2: DUP7
00000ca3: DUP5
00000ca4: DUP2
00000ca5: DUP2
00000ca6: LT
00000ca7: PUSH2 0x0cb2
00000caa: JUMPI
00000cab: PUSH2 0x0cb2
00000cae: PUSH2 0x1d80
00000cb1: JUMP
00000cb2: JUMPDEST
00000cb3: SWAP1
00000cb4: POP
00000cb5: PUSH1 0x20
00000cb7: MUL
00000cb8: ADD
00000cb9: PUSH1 0x20
00000cbb: DUP2
00000cbc: ADD
00000cbd: SWAP1
00000cbe: PUSH2 0x0cc7
00000cc1: SWAP2
00000cc2: SWAP1
00000cc3: PUSH2 0x193d
00000cc6: JUMP
00000cc7: JUMPDEST
00000cc8: PUSH1 0x04
00000cca: SWAP1
00000ccb: PUSH2 0x1453
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: SWAP1
00000cd1: POP
00000cd2: PUSH2 0x0cfb
00000cd5: PUSH1 0x40
00000cd7: DUP1
00000cd8: MLOAD
00000cd9: PUSH1 0x80
00000cdb: DUP2
00000cdc: ADD
00000cdd: DUP3
00000cde: MSTORE
00000cdf: PUSH1 0x00
00000ce1: DUP1
00000ce2: DUP3
00000ce3: MSTORE
00000ce4: PUSH1 0x20
00000ce6: DUP3
00000ce7: ADD
00000ce8: DUP2
00000ce9: SWAP1
00000cea: MSTORE
00000ceb: SWAP2
00000cec: DUP2
00000ced: ADD
00000cee: DUP3
00000cef: SWAP1
00000cf0: MSTORE
00000cf1: PUSH1 0x60
00000cf3: DUP2
00000cf4: ADD
00000cf5: SWAP2
00000cf6: SWAP1
00000cf7: SWAP2
00000cf8: MSTORE
00000cf9: SWAP1
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: PUSH1 0x01
00000cfe: DUP2
00000cff: MSTORE
00000d00: PUSH1 0x01
00000d02: PUSH1 0x01
00000d04: PUSH1 0x60
00000d06: SHL
00000d07: SUB
00000d08: DUP1
00000d09: DUP7
00000d0a: AND
00000d0b: PUSH1 0x20
00000d0d: DUP4
00000d0e: ADD
00000d0f: MSTORE
00000d10: DUP5
00000d11: AND
00000d12: PUSH1 0x40
00000d14: DUP3
00000d15: ADD
00000d16: MSTORE
00000d17: DUP1
00000d18: PUSH1 0x06
00000d1a: PUSH1 0x00
00000d1c: DUP10
00000d1d: DUP10
00000d1e: DUP8
00000d1f: DUP2
00000d20: DUP2
00000d21: LT
00000d22: PUSH2 0x0d2d
00000d25: JUMPI
00000d26: PUSH2 0x0d2d
00000d29: PUSH2 0x1d80
00000d2c: JUMP
00000d2d: JUMPDEST
00000d2e: SWAP1
00000d2f: POP
00000d30: PUSH1 0x20
00000d32: MUL
00000d33: ADD
00000d34: PUSH1 0x20
00000d36: DUP2
00000d37: ADD
00000d38: SWAP1
00000d39: PUSH2 0x0d42
00000d3c: SWAP2
00000d3d: SWAP1
00000d3e: PUSH2 0x193d
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x01
00000d45: PUSH1 0x01
00000d47: PUSH1 0xa0
00000d49: SHL
00000d4a: SUB
00000d4b: AND
00000d4c: DUP2
00000d4d: MSTORE
00000d4e: PUSH1 0x20
00000d50: DUP1
00000d51: DUP3
00000d52: ADD
00000d53: SWAP3
00000d54: SWAP1
00000d55: SWAP3
00000d56: MSTORE
00000d57: PUSH1 0x40
00000d59: SWAP1
00000d5a: DUP2
00000d5b: ADD
00000d5c: PUSH1 0x00
00000d5e: KECCAK256
00000d5f: DUP4
00000d60: MLOAD
00000d61: DUP2
00000d62: SLOAD
00000d63: SWAP4
00000d64: DUP6
00000d65: ADD
00000d66: MLOAD
00000d67: SWAP3
00000d68: DUP6
00000d69: ADD
00000d6a: MLOAD
00000d6b: PUSH1 0x60
00000d6d: SWAP1
00000d6e: SWAP6
00000d6f: ADD
00000d70: MLOAD
00000d71: PUSH7 0xffffffffffffff
00000d79: AND
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0xc8
00000d7e: SHL
00000d7f: MUL
00000d80: PUSH1 0x01
00000d82: PUSH1 0x01
00000d84: PUSH1 0xc8
00000d86: SHL
00000d87: SUB
00000d88: PUSH1 0x01
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0x60
00000d8e: SHL
00000d8f: SUB
00000d90: SWAP7
00000d91: DUP8
00000d92: AND
00000d93: PUSH1 0x01
00000d95: PUSH1 0x68
00000d97: SHL
00000d98: MUL
00000d99: AND
00000d9a: PUSH13 0xffffffffffffffffffffffffff
00000da8: SWAP7
00000da9: SWAP1
00000daa: SWAP5
00000dab: AND
00000dac: PUSH2 0x0100
00000daf: MUL
00000db0: PUSH13 0xffffffffffffffffffffffff00
00000dbe: NOT
00000dbf: SWAP3
00000dc0: ISZERO
00000dc1: ISZERO
00000dc2: SWAP3
00000dc3: SWAP1
00000dc4: SWAP3
00000dc5: AND
00000dc6: PUSH13 0xffffffffffffffffffffffffff
00000dd4: NOT
00000dd5: SWAP1
00000dd6: SWAP6
00000dd7: AND
00000dd8: SWAP5
00000dd9: SWAP1
00000dda: SWAP5
00000ddb: OR
00000ddc: OR
00000ddd: SWAP4
00000dde: SWAP1
00000ddf: SWAP4
00000de0: AND
00000de1: OR
00000de2: OR
00000de3: SWAP1
00000de4: SSTORE
00000de5: PUSH32 0x698c88db362de824950717c96f6a931e52181cb387a486af5232d34415099868
00000e06: DUP8
00000e07: DUP8
00000e08: DUP6
00000e09: DUP2
00000e0a: DUP2
00000e0b: LT
00000e0c: PUSH2 0x0e17
00000e0f: JUMPI
00000e10: PUSH2 0x0e17
00000e13: PUSH2 0x1d80
00000e16: JUMP
00000e17: JUMPDEST
00000e18: SWAP1
00000e19: POP
00000e1a: PUSH1 0x20
00000e1c: MUL
00000e1d: ADD
00000e1e: PUSH1 0x20
00000e20: DUP2
00000e21: ADD
00000e22: SWAP1
00000e23: PUSH2 0x0e2c
00000e26: SWAP2
00000e27: SWAP1
00000e28: PUSH2 0x193d
00000e2b: JUMP
00000e2c: JUMPDEST
00000e2d: PUSH1 0x40
00000e2f: DUP1
00000e30: MLOAD
00000e31: PUSH1 0x01
00000e33: PUSH1 0x01
00000e35: PUSH1 0xa0
00000e37: SHL
00000e38: SUB
00000e39: SWAP1
00000e3a: SWAP3
00000e3b: AND
00000e3c: DUP3
00000e3d: MSTORE
00000e3e: PUSH1 0x01
00000e40: PUSH1 0x01
00000e42: PUSH1 0x60
00000e44: SHL
00000e45: SUB
00000e46: DUP1
00000e47: DUP10
00000e48: AND
00000e49: PUSH1 0x20
00000e4b: DUP5
00000e4c: ADD
00000e4d: MSTORE
00000e4e: DUP8
00000e4f: AND
00000e50: SWAP1
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: DUP4
00000e55: ISZERO
00000e56: ISZERO
00000e57: PUSH1 0x60
00000e59: DUP3
00000e5a: ADD
00000e5b: MSTORE
00000e5c: PUSH1 0x80
00000e5e: ADD
00000e5f: PUSH1 0x40
00000e61: MLOAD
00000e62: DUP1
00000e63: SWAP2
00000e64: SUB
00000e65: SWAP1
00000e66: LOG1
00000e67: POP
00000e68: POP
00000e69: DUP1
00000e6a: DUP1
00000e6b: PUSH2 0x0e73
00000e6e: SWAP1
00000e6f: PUSH2 0x1d39
00000e72: JUMP
00000e73: JUMPDEST
00000e74: SWAP2
00000e75: POP
00000e76: POP
00000e77: PUSH2 0x0c93
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: POP
00000e7d: POP
00000e7e: POP
00000e7f: POP
00000e80: POP
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH2 0x0e8a
00000e86: PUSH2 0x0e96
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH2 0x0e93
00000e8e: DUP2
00000e8f: PUSH2 0x1468
00000e92: JUMP
00000e93: JUMPDEST
00000e94: POP
00000e95: JUMP
00000e96: JUMPDEST
00000e97: PUSH1 0x00
00000e99: SLOAD
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0x01
00000e9e: PUSH1 0xa0
00000ea0: SHL
00000ea1: SUB
00000ea2: AND
00000ea3: CALLER
00000ea4: EQ
00000ea5: PUSH2 0x0724
00000ea8: JUMPI
00000ea9: PUSH1 0x40
00000eab: MLOAD
00000eac: PUSH3 0x461bcd
00000eb0: PUSH1 0xe5
00000eb2: SHL
00000eb3: DUP2
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: PUSH1 0x04
00000eb9: DUP3
00000eba: ADD
00000ebb: MSTORE
00000ebc: PUSH1 0x16
00000ebe: PUSH1 0x24
00000ec0: DUP3
00000ec1: ADD
00000ec2: MSTORE
00000ec3: PUSH22 0x27b7363c9031b0b63630b1363290313c9037bbb732b9
00000eda: PUSH1 0x51
00000edc: SHL
00000edd: PUSH1 0x44
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH1 0x64
00000ee4: ADD
00000ee5: PUSH2 0x07c4
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: PUSH1 0x00
00000eec: PUSH2 0x0ef3
00000eef: DUP3
00000ef0: SLOAD
00000ef1: SWAP1
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: SWAP3
00000ef5: SWAP2
00000ef6: POP
00000ef7: POP
00000ef8: JUMP
00000ef9: JUMPDEST
00000efa: PUSH1 0x00
00000efc: PUSH2 0x0f05
00000eff: DUP4
00000f00: DUP4
00000f01: PUSH2 0x1512
00000f04: JUMP
00000f05: JUMPDEST
00000f06: SWAP4
00000f07: SWAP3
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH1 0x01
00000f0f: SLOAD
00000f10: PUSH1 0x01
00000f12: PUSH1 0xa0
00000f14: SHL
00000f15: SWAP1
00000f16: DIV
00000f17: PUSH1 0xff
00000f19: AND
00000f1a: PUSH2 0x0f5c
00000f1d: JUMPI
00000f1e: PUSH1 0x40
00000f20: MLOAD
00000f21: PUSH3 0x461bcd
00000f25: PUSH1 0xe5
00000f27: SHL
00000f28: DUP2
00000f29: MSTORE
00000f2a: PUSH1 0x20
00000f2c: PUSH1 0x04
00000f2e: DUP3
00000f2f: ADD
00000f30: MSTORE
00000f31: PUSH1 0x14
00000f33: PUSH1 0x24
00000f35: DUP3
00000f36: ADD
00000f37: MSTORE
00000f38: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00000f4d: PUSH1 0x62
00000f4f: SHL
00000f50: PUSH1 0x44
00000f52: DUP3
00000f53: ADD
00000f54: MSTORE
00000f55: PUSH1 0x64
00000f57: ADD
00000f58: PUSH2 0x07c4
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: PUSH1 0x01
00000f5f: DUP1
00000f60: SLOAD
00000f61: PUSH1 0xff
00000f63: PUSH1 0xa0
00000f65: SHL
00000f66: NOT
00000f67: AND
00000f68: SWAP1
00000f69: SSTORE
00000f6a: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000f8b: CALLER
00000f8c: JUMPDEST
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: PUSH1 0x01
00000f92: PUSH1 0x01
00000f94: PUSH1 0xa0
00000f96: SHL
00000f97: SUB
00000f98: SWAP1
00000f99: SWAP2
00000f9a: AND
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: ADD
00000fa0: PUSH1 0x40
00000fa2: MLOAD
00000fa3: DUP1
00000fa4: SWAP2
00000fa5: SUB
00000fa6: SWAP1
00000fa7: LOG1
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: PUSH1 0x01
00000fac: SLOAD
00000fad: PUSH1 0x01
00000faf: PUSH1 0xa0
00000fb1: SHL
00000fb2: SWAP1
00000fb3: DIV
00000fb4: PUSH1 0xff
00000fb6: AND
00000fb7: ISZERO
00000fb8: PUSH2 0x0fd3
00000fbb: JUMPI
00000fbc: PUSH1 0x40
00000fbe: MLOAD
00000fbf: PUSH3 0x461bcd
00000fc3: PUSH1 0xe5
00000fc5: SHL
00000fc6: DUP2
00000fc7: MSTORE
00000fc8: PUSH1 0x04
00000fca: ADD
00000fcb: PUSH2 0x07c4
00000fce: SWAP1
00000fcf: PUSH2 0x1cb4
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH1 0x03
00000fd6: SLOAD
00000fd7: PUSH1 0x40
00000fd9: DUP1
00000fda: MLOAD
00000fdb: PUSH1 0x80
00000fdd: DUP2
00000fde: ADD
00000fdf: DUP3
00000fe0: MSTORE
00000fe1: PUSH1 0x00
00000fe3: DUP1
00000fe4: DUP3
00000fe5: MSTORE
00000fe6: PUSH1 0x20
00000fe8: DUP3
00000fe9: ADD
00000fea: DUP2
00000feb: SWAP1
00000fec: MSTORE
00000fed: SWAP2
00000fee: DUP2
00000fef: ADD
00000ff0: DUP3
00000ff1: SWAP1
00000ff2: MSTORE
00000ff3: PUSH1 0x60
00000ff5: DUP2
00000ff6: ADD
00000ff7: DUP3
00000ff8: SWAP1
00000ff9: MSTORE
00000ffa: SWAP1
00000ffb: JUMPDEST
00000ffc: DUP4
00000ffd: MLOAD
00000ffe: DUP2
00000fff: LT
00001000: ISZERO
00001001: PUSH2 0x1381
00001004: JUMPI
00001005: PUSH1 0x06
00001007: PUSH1 0x00
00001009: DUP6
0000100a: DUP4
0000100b: DUP2
0000100c: MLOAD
0000100d: DUP2
0000100e: LT
0000100f: PUSH2 0x101a
00001012: JUMPI
00001013: PUSH2 0x101a
00001016: PUSH2 0x1d80
00001019: JUMP
0000101a: JUMPDEST
0000101b: PUSH1 0x20
0000101d: SWAP1
0000101e: DUP2
0000101f: MUL
00001020: SWAP2
00001021: SWAP1
00001022: SWAP2
00001023: ADD
00001024: DUP2
00001025: ADD
00001026: MLOAD
00001027: PUSH1 0x01
00001029: PUSH1 0x01
0000102b: PUSH1 0xa0
0000102d: SHL
0000102e: SUB
0000102f: AND
00001030: DUP3
00001031: MSTORE
00001032: DUP2
00001033: DUP2
00001034: ADD
00001035: SWAP3
00001036: SWAP1
00001037: SWAP3
00001038: MSTORE
00001039: PUSH1 0x40
0000103b: SWAP1
0000103c: DUP2
0000103d: ADD
0000103e: PUSH1 0x00
00001040: SWAP1
00001041: DUP2
00001042: KECCAK256
00001043: DUP3
00001044: MLOAD
00001045: PUSH1 0x80
00001047: DUP2
00001048: ADD
00001049: DUP5
0000104a: MSTORE
0000104b: SWAP1
0000104c: SLOAD
0000104d: PUSH1 0xff
0000104f: DUP2
00001050: AND
00001051: ISZERO
00001052: ISZERO
00001053: DUP3
00001054: MSTORE
00001055: PUSH2 0x0100
00001058: DUP2
00001059: DIV
0000105a: PUSH1 0x01
0000105c: PUSH1 0x01
0000105e: PUSH1 0x60
00001060: SHL
00001061: SUB
00001062: SWAP1
00001063: DUP2
00001064: AND
00001065: SWAP6
00001066: DUP4
00001067: ADD
00001068: SWAP6
00001069: SWAP1
0000106a: SWAP6
0000106b: MSTORE
0000106c: PUSH1 0x01
0000106e: PUSH1 0x68
00001070: SHL
00001071: DUP2
00001072: DIV
00001073: SWAP1
00001074: SWAP5
00001075: AND
00001076: SWAP3
00001077: DUP2
00001078: ADD
00001079: SWAP3
0000107a: SWAP1
0000107b: SWAP3
0000107c: MSTORE
0000107d: PUSH1 0x01
0000107f: PUSH1 0xc8
00001081: SHL
00001082: SWAP1
00001083: SWAP3
00001084: DIV
00001085: PUSH7 0xffffffffffffff
0000108d: AND
0000108e: PUSH1 0x60
00001090: DUP3
00001091: ADD
00001092: MSTORE
00001093: DUP6
00001094: MLOAD
00001095: SWAP1
00001096: SWAP4
00001097: POP
00001098: DUP6
00001099: SWAP1
0000109a: DUP4
0000109b: SWAP1
0000109c: DUP2
0000109d: LT
0000109e: PUSH2 0x10a9
000010a1: JUMPI
000010a2: PUSH2 0x10a9
000010a5: PUSH2 0x1d80
000010a8: JUMP
000010a9: JUMPDEST
000010aa: PUSH1 0x20
000010ac: MUL
000010ad: PUSH1 0x20
000010af: ADD
000010b0: ADD
000010b1: MLOAD
000010b2: PUSH1 0x01
000010b4: PUSH1 0x01
000010b6: PUSH1 0xa0
000010b8: SHL
000010b9: SUB
000010ba: AND
000010bb: BALANCE
000010bc: DUP4
000010bd: PUSH1 0x40
000010bf: ADD
000010c0: MLOAD
000010c1: PUSH1 0x01
000010c3: PUSH1 0x01
000010c5: PUSH1 0x60
000010c7: SHL
000010c8: SUB
000010c9: AND
000010ca: PUSH2 0x10d3
000010cd: SWAP2
000010ce: SWAP1
000010cf: PUSH2 0x1cf6
000010d2: JUMP
000010d3: JUMPDEST
000010d4: DUP4
000010d5: MLOAD
000010d6: SWAP1
000010d7: SWAP2
000010d8: POP
000010d9: DUP1
000010da: ISZERO
000010db: PUSH2 0x10fc
000010de: JUMPI
000010df: POP
000010e0: TIMESTAMP
000010e1: DUP5
000010e2: DUP5
000010e3: PUSH1 0x60
000010e5: ADD
000010e6: MLOAD
000010e7: PUSH7 0xffffffffffffff
000010ef: AND
000010f0: PUSH2 0x10f9
000010f3: SWAP2
000010f4: SWAP1
000010f5: PUSH2 0x1cde
000010f8: JUMP
000010f9: JUMPDEST
000010fa: GT
000010fb: ISZERO
000010fc: JUMPDEST
000010fd: ISZERO
000010fe: PUSH2 0x1301
00001101: JUMPI
00001102: PUSH1 0x00
00001104: DUP6
00001105: DUP4
00001106: DUP2
00001107: MLOAD
00001108: DUP2
00001109: LT
0000110a: PUSH2 0x1115
0000110d: JUMPI
0000110e: PUSH2 0x1115
00001111: PUSH2 0x1d80
00001114: JUMP
00001115: JUMPDEST
00001116: PUSH1 0x20
00001118: MUL
00001119: PUSH1 0x20
0000111b: ADD
0000111c: ADD
0000111d: MLOAD
0000111e: PUSH1 0x01
00001120: PUSH1 0x01
00001122: PUSH1 0xa0
00001124: SHL
00001125: SUB
00001126: AND
00001127: PUSH2 0x08fc
0000112a: DUP4
0000112b: SWAP1
0000112c: DUP2
0000112d: ISZERO
0000112e: MUL
0000112f: SWAP1
00001130: PUSH1 0x40
00001132: MLOAD
00001133: PUSH1 0x00
00001135: PUSH1 0x40
00001137: MLOAD
00001138: DUP1
00001139: DUP4
0000113a: SUB
0000113b: DUP2
0000113c: DUP6
0000113d: DUP9
0000113e: DUP9
0000113f: CALL
00001140: SWAP4
00001141: POP
00001142: POP
00001143: POP
00001144: POP
00001145: SWAP1
00001146: POP
00001147: DUP4
00001148: PUSH1 0x40
0000114a: ADD
0000114b: MLOAD
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0x60
00001152: SHL
00001153: SUB
00001154: AND
00001155: DUP7
00001156: DUP5
00001157: DUP2
00001158: MLOAD
00001159: DUP2
0000115a: LT
0000115b: PUSH2 0x1166
0000115e: JUMPI
0000115f: PUSH2 0x1166
00001162: PUSH2 0x1d80
00001165: JUMP
00001166: JUMPDEST
00001167: PUSH1 0x20
00001169: MUL
0000116a: PUSH1 0x20
0000116c: ADD
0000116d: ADD
0000116e: MLOAD
0000116f: PUSH1 0x01
00001171: PUSH1 0x01
00001173: PUSH1 0xa0
00001175: SHL
00001176: SUB
00001177: AND
00001178: BALANCE
00001179: GT
0000117a: ISZERO
0000117b: PUSH2 0x11e2
0000117e: JUMPI
0000117f: DUP6
00001180: DUP4
00001181: DUP2
00001182: MLOAD
00001183: DUP2
00001184: LT
00001185: PUSH2 0x1190
00001188: JUMPI
00001189: PUSH2 0x1190
0000118c: PUSH2 0x1d80
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x20
00001193: MUL
00001194: PUSH1 0x20
00001196: ADD
00001197: ADD
00001198: MLOAD
00001199: DUP7
0000119a: DUP5
0000119b: DUP2
0000119c: MLOAD
0000119d: DUP2
0000119e: LT
0000119f: PUSH2 0x11aa
000011a2: JUMPI
000011a3: PUSH2 0x11aa
000011a6: PUSH2 0x1d80
000011a9: JUMP
000011aa: JUMPDEST
000011ab: PUSH1 0x20
000011ad: SWAP1
000011ae: DUP2
000011af: MUL
000011b0: SWAP2
000011b1: SWAP1
000011b2: SWAP2
000011b3: ADD
000011b4: ADD
000011b5: MLOAD
000011b6: PUSH1 0x40
000011b8: MLOAD
000011b9: PUSH4 0x38d5b277
000011be: PUSH1 0xe2
000011c0: SHL
000011c1: DUP2
000011c2: MSTORE
000011c3: PUSH1 0x01
000011c5: PUSH1 0x01
000011c7: PUSH1 0xa0
000011c9: SHL
000011ca: SUB
000011cb: SWAP3
000011cc: DUP4
000011cd: AND
000011ce: PUSH1 0x04
000011d0: DUP3
000011d1: ADD
000011d2: MSTORE
000011d3: SWAP2
000011d4: AND
000011d5: BALANCE
000011d6: PUSH1 0x24
000011d8: DUP3
000011d9: ADD
000011da: MSTORE
000011db: PUSH1 0x44
000011dd: ADD
000011de: PUSH2 0x07c4
000011e1: JUMP
000011e2: JUMPDEST
000011e3: DUP1
000011e4: ISZERO
000011e5: PUSH2 0x12a2
000011e8: JUMPI
000011e9: TIMESTAMP
000011ea: PUSH1 0x06
000011ec: PUSH1 0x00
000011ee: DUP9
000011ef: DUP7
000011f0: DUP2
000011f1: MLOAD
000011f2: DUP2
000011f3: LT
000011f4: PUSH2 0x11ff
000011f7: JUMPI
000011f8: PUSH2 0x11ff
000011fb: PUSH2 0x1d80
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH1 0x20
00001202: MUL
00001203: PUSH1 0x20
00001205: ADD
00001206: ADD
00001207: MLOAD
00001208: PUSH1 0x01
0000120a: PUSH1 0x01
0000120c: PUSH1 0xa0
0000120e: SHL
0000120f: SUB
00001210: AND
00001211: PUSH1 0x01
00001213: PUSH1 0x01
00001215: PUSH1 0xa0
00001217: SHL
00001218: SUB
00001219: AND
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x20
0000121e: ADD
0000121f: SWAP1
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x20
00001224: ADD
00001225: PUSH1 0x00
00001227: KECCAK256
00001228: PUSH1 0x00
0000122a: ADD
0000122b: PUSH1 0x19
0000122d: PUSH2 0x0100
00001230: EXP
00001231: DUP2
00001232: SLOAD
00001233: DUP2
00001234: PUSH7 0xffffffffffffff
0000123c: MUL
0000123d: NOT
0000123e: AND
0000123f: SWAP1
00001240: DUP4
00001241: PUSH7 0xffffffffffffff
00001249: AND
0000124a: MUL
0000124b: OR
0000124c: SWAP1
0000124d: SSTORE
0000124e: POP
0000124f: DUP6
00001250: DUP4
00001251: DUP2
00001252: MLOAD
00001253: DUP2
00001254: LT
00001255: PUSH2 0x1260
00001258: JUMPI
00001259: PUSH2 0x1260
0000125c: PUSH2 0x1d80
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH1 0x20
00001263: MUL
00001264: PUSH1 0x20
00001266: ADD
00001267: ADD
00001268: MLOAD
00001269: PUSH1 0x01
0000126b: PUSH1 0x01
0000126d: PUSH1 0xa0
0000126f: SHL
00001270: SUB
00001271: AND
00001272: PUSH32 0x9eec55c371a49ce19e0a5792787c79b32dcf7d3490aa737436b49c0978ce9ce9
00001293: PUSH1 0x40
00001295: MLOAD
00001296: PUSH1 0x40
00001298: MLOAD
00001299: DUP1
0000129a: SWAP2
0000129b: SUB
0000129c: SWAP1
0000129d: LOG2
0000129e: PUSH2 0x12ff
000012a1: JUMP
000012a2: JUMPDEST
000012a3: DUP6
000012a4: DUP4
000012a5: DUP2
000012a6: MLOAD
000012a7: DUP2
000012a8: LT
000012a9: PUSH2 0x12b4
000012ac: JUMPI
000012ad: PUSH2 0x12b4
000012b0: PUSH2 0x1d80
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH1 0x20
000012b7: MUL
000012b8: PUSH1 0x20
000012ba: ADD
000012bb: ADD
000012bc: MLOAD
000012bd: PUSH1 0x01
000012bf: PUSH1 0x01
000012c1: PUSH1 0xa0
000012c3: SHL
000012c4: SUB
000012c5: AND
000012c6: PUSH32 0xaf0c05f44f98dc52254c3ab990478d7b335b0f4851807d972ad5e0126d57938e
000012e7: DUP4
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: PUSH2 0x12f6
000012ee: SWAP2
000012ef: DUP2
000012f0: MSTORE
000012f1: PUSH1 0x20
000012f3: ADD
000012f4: SWAP1
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH1 0x40
000012f9: MLOAD
000012fa: DUP1
000012fb: SWAP2
000012fc: SUB
000012fd: SWAP1
000012fe: LOG2
000012ff: JUMPDEST
00001300: POP
00001301: JUMPDEST
00001302: PUSH2 0xd6d8
00001305: GAS
00001306: LT
00001307: ISZERO
00001308: PUSH2 0x136e
0000130b: JUMPI
0000130c: DUP5
0000130d: DUP3
0000130e: DUP2
0000130f: MLOAD
00001310: DUP2
00001311: LT
00001312: PUSH2 0x131d
00001315: JUMPI
00001316: PUSH2 0x131d
00001319: PUSH2 0x1d80
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x20
00001320: MUL
00001321: PUSH1 0x20
00001323: ADD
00001324: ADD
00001325: MLOAD
00001326: PUSH1 0x01
00001328: PUSH1 0x01
0000132a: PUSH1 0xa0
0000132c: SHL
0000132d: SUB
0000132e: AND
0000132f: PUSH32 0xaf0c05f44f98dc52254c3ab990478d7b335b0f4851807d972ad5e0126d57938e
00001350: DUP3
00001351: PUSH1 0x40
00001353: MLOAD
00001354: PUSH2 0x135f
00001357: SWAP2
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: SWAP1
0000135e: JUMP
0000135f: JUMPDEST
00001360: PUSH1 0x40
00001362: MLOAD
00001363: DUP1
00001364: SWAP2
00001365: SUB
00001366: SWAP1
00001367: LOG2
00001368: POP
00001369: POP
0000136a: POP
0000136b: POP
0000136c: POP
0000136d: JUMP
0000136e: JUMPDEST
0000136f: POP
00001370: DUP1
00001371: PUSH2 0x1379
00001374: DUP2
00001375: PUSH2 0x1d39
00001378: JUMP
00001379: JUMPDEST
0000137a: SWAP2
0000137b: POP
0000137c: POP
0000137d: PUSH2 0x0ffb
00001380: JUMP
00001381: JUMPDEST
00001382: POP
00001383: POP
00001384: POP
00001385: POP
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH1 0x00
0000138a: PUSH2 0x0f05
0000138d: DUP4
0000138e: PUSH1 0x01
00001390: PUSH1 0x01
00001392: PUSH1 0xa0
00001394: SHL
00001395: SUB
00001396: DUP5
00001397: AND
00001398: PUSH2 0x153c
0000139b: JUMP
0000139c: JUMPDEST
0000139d: PUSH1 0x01
0000139f: SLOAD
000013a0: PUSH1 0x01
000013a2: PUSH1 0xa0
000013a4: SHL
000013a5: SWAP1
000013a6: DIV
000013a7: PUSH1 0xff
000013a9: AND
000013aa: ISZERO
000013ab: PUSH2 0x13c6
000013ae: JUMPI
000013af: PUSH1 0x40
000013b1: MLOAD
000013b2: PUSH3 0x461bcd
000013b6: PUSH1 0xe5
000013b8: SHL
000013b9: DUP2
000013ba: MSTORE
000013bb: PUSH1 0x04
000013bd: ADD
000013be: PUSH2 0x07c4
000013c1: SWAP1
000013c2: PUSH2 0x1cb4
000013c5: JUMP
000013c6: JUMPDEST
000013c7: PUSH1 0x01
000013c9: DUP1
000013ca: SLOAD
000013cb: PUSH1 0xff
000013cd: PUSH1 0xa0
000013cf: SHL
000013d0: NOT
000013d1: AND
000013d2: PUSH1 0x01
000013d4: PUSH1 0xa0
000013d6: SHL
000013d7: OR
000013d8: SWAP1
000013d9: SSTORE
000013da: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000013fb: PUSH2 0x0f8c
000013fe: CALLER
000013ff: SWAP1
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH1 0x40
00001404: DUP1
00001405: MLOAD
00001406: PUSH1 0x01
00001408: PUSH1 0x01
0000140a: PUSH1 0xa0
0000140c: SHL
0000140d: SUB
0000140e: DUP5
0000140f: AND
00001410: PUSH1 0x24
00001412: DUP3
00001413: ADD
00001414: MSTORE
00001415: PUSH1 0x44
00001417: DUP1
00001418: DUP3
00001419: ADD
0000141a: DUP5
0000141b: SWAP1
0000141c: MSTORE
0000141d: DUP3
0000141e: MLOAD
0000141f: DUP1
00001420: DUP4
00001421: SUB
00001422: SWAP1
00001423: SWAP2
00001424: ADD
00001425: DUP2
00001426: MSTORE
00001427: PUSH1 0x64
00001429: SWAP1
0000142a: SWAP2
0000142b: ADD
0000142c: SWAP1
0000142d: SWAP2
0000142e: MSTORE
0000142f: PUSH1 0x20
00001431: DUP2
00001432: ADD
00001433: DUP1
00001434: MLOAD
00001435: PUSH1 0x01
00001437: PUSH1 0x01
00001439: PUSH1 0xe0
0000143b: SHL
0000143c: SUB
0000143d: AND
0000143e: PUSH4 0xa9059cbb
00001443: PUSH1 0xe0
00001445: SHL
00001446: OR
00001447: SWAP1
00001448: MSTORE
00001449: PUSH2 0x0518
0000144c: SWAP1
0000144d: DUP5
0000144e: SWAP1
0000144f: PUSH2 0x162f
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH1 0x00
00001456: PUSH2 0x0f05
00001459: DUP4
0000145a: PUSH1 0x01
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: SHL
00001461: SUB
00001462: DUP5
00001463: AND
00001464: PUSH2 0x1701
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH1 0x01
0000146b: PUSH1 0x01
0000146d: PUSH1 0xa0
0000146f: SHL
00001470: SUB
00001471: DUP2
00001472: AND
00001473: CALLER
00001474: EQ
00001475: ISZERO
00001476: PUSH2 0x14c1
00001479: JUMPI
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: PUSH3 0x461bcd
00001481: PUSH1 0xe5
00001483: SHL
00001484: DUP2
00001485: MSTORE
00001486: PUSH1 0x20
00001488: PUSH1 0x04
0000148a: DUP3
0000148b: ADD
0000148c: MSTORE
0000148d: PUSH1 0x17
0000148f: PUSH1 0x24
00001491: DUP3
00001492: ADD
00001493: MSTORE
00001494: PUSH32 0x43616e6e6f74207472616e7366657220746f2073656c66000000000000000000
000014b5: PUSH1 0x44
000014b7: DUP3
000014b8: ADD
000014b9: MSTORE
000014ba: PUSH1 0x64
000014bc: ADD
000014bd: PUSH2 0x07c4
000014c0: JUMP
000014c1: JUMPDEST
000014c2: PUSH1 0x01
000014c4: DUP1
000014c5: SLOAD
000014c6: PUSH1 0x01
000014c8: PUSH1 0x01
000014ca: PUSH1 0xa0
000014cc: SHL
000014cd: SUB
000014ce: NOT
000014cf: AND
000014d0: PUSH1 0x01
000014d2: PUSH1 0x01
000014d4: PUSH1 0xa0
000014d6: SHL
000014d7: SUB
000014d8: DUP4
000014d9: DUP2
000014da: AND
000014db: SWAP2
000014dc: DUP3
000014dd: OR
000014de: SWAP1
000014df: SWAP3
000014e0: SSTORE
000014e1: PUSH1 0x00
000014e3: DUP1
000014e4: SLOAD
000014e5: PUSH1 0x40
000014e7: MLOAD
000014e8: SWAP3
000014e9: SWAP4
000014ea: AND
000014eb: SWAP2
000014ec: PUSH32 0xed8889f560326eb138920d842192f0eb3dd22b4f139c87a2c57538e05bae1278
0000150d: SWAP2
0000150e: SWAP1
0000150f: LOG3
00001510: POP
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH1 0x00
00001515: DUP3
00001516: PUSH1 0x00
00001518: ADD
00001519: DUP3
0000151a: DUP2
0000151b: SLOAD
0000151c: DUP2
0000151d: LT
0000151e: PUSH2 0x1529
00001521: JUMPI
00001522: PUSH2 0x1529
00001525: PUSH2 0x1d80
00001528: JUMP
00001529: JUMPDEST
0000152a: SWAP1
0000152b: PUSH1 0x00
0000152d: MSTORE
0000152e: PUSH1 0x20
00001530: PUSH1 0x00
00001532: KECCAK256
00001533: ADD
00001534: SLOAD
00001535: SWAP1
00001536: POP
00001537: SWAP3
00001538: SWAP2
00001539: POP
0000153a: POP
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x00
0000153f: DUP2
00001540: DUP2
00001541: MSTORE
00001542: PUSH1 0x01
00001544: DUP4
00001545: ADD
00001546: PUSH1 0x20
00001548: MSTORE
00001549: PUSH1 0x40
0000154b: DUP2
0000154c: KECCAK256
0000154d: SLOAD
0000154e: DUP1
0000154f: ISZERO
00001550: PUSH2 0x1625
00001553: JUMPI
00001554: PUSH1 0x00
00001556: PUSH2 0x1560
00001559: PUSH1 0x01
0000155b: DUP4
0000155c: PUSH2 0x1cf6
0000155f: JUMP
00001560: JUMPDEST
00001561: DUP6
00001562: SLOAD
00001563: SWAP1
00001564: SWAP2
00001565: POP
00001566: PUSH1 0x00
00001568: SWAP1
00001569: PUSH2 0x1574
0000156c: SWAP1
0000156d: PUSH1 0x01
0000156f: SWAP1
00001570: PUSH2 0x1cf6
00001573: JUMP
00001574: JUMPDEST
00001575: SWAP1
00001576: POP
00001577: DUP2
00001578: DUP2
00001579: EQ
0000157a: PUSH2 0x15d9
0000157d: JUMPI
0000157e: PUSH1 0x00
00001580: DUP7
00001581: PUSH1 0x00
00001583: ADD
00001584: DUP3
00001585: DUP2
00001586: SLOAD
00001587: DUP2
00001588: LT
00001589: PUSH2 0x1594
0000158c: JUMPI
0000158d: PUSH2 0x1594
00001590: PUSH2 0x1d80
00001593: JUMP
00001594: JUMPDEST
00001595: SWAP1
00001596: PUSH1 0x00
00001598: MSTORE
00001599: PUSH1 0x20
0000159b: PUSH1 0x00
0000159d: KECCAK256
0000159e: ADD
0000159f: SLOAD
000015a0: SWAP1
000015a1: POP
000015a2: DUP1
000015a3: DUP8
000015a4: PUSH1 0x00
000015a6: ADD
000015a7: DUP5
000015a8: DUP2
000015a9: SLOAD
000015aa: DUP2
000015ab: LT
000015ac: PUSH2 0x15b7
000015af: JUMPI
000015b0: PUSH2 0x15b7
000015b3: PUSH2 0x1d80
000015b6: JUMP
000015b7: JUMPDEST
000015b8: PUSH1 0x00
000015ba: SWAP2
000015bb: DUP3
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: DUP1
000015c0: DUP4
000015c1: KECCAK256
000015c2: SWAP1
000015c3: SWAP2
000015c4: ADD
000015c5: SWAP3
000015c6: SWAP1
000015c7: SWAP3
000015c8: SSTORE
000015c9: SWAP2
000015ca: DUP3
000015cb: MSTORE
000015cc: PUSH1 0x01
000015ce: DUP9
000015cf: ADD
000015d0: SWAP1
000015d1: MSTORE
000015d2: PUSH1 0x40
000015d4: SWAP1
000015d5: KECCAK256
000015d6: DUP4
000015d7: SWAP1
000015d8: SSTORE
000015d9: JUMPDEST
000015da: DUP6
000015db: SLOAD
000015dc: DUP7
000015dd: SWAP1
000015de: DUP1
000015df: PUSH2 0x15ea
000015e2: JUMPI
000015e3: PUSH2 0x15ea
000015e6: PUSH2 0x1d6a
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x01
000015ed: SWAP1
000015ee: SUB
000015ef: DUP2
000015f0: DUP2
000015f1: SWAP1
000015f2: PUSH1 0x00
000015f4: MSTORE
000015f5: PUSH1 0x20
000015f7: PUSH1 0x00
000015f9: KECCAK256
000015fa: ADD
000015fb: PUSH1 0x00
000015fd: SWAP1
000015fe: SSTORE
000015ff: SWAP1
00001600: SSTORE
00001601: DUP6
00001602: PUSH1 0x01
00001604: ADD
00001605: PUSH1 0x00
00001607: DUP7
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x20
0000160c: ADD
0000160d: SWAP1
0000160e: DUP2
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: ADD
00001613: PUSH1 0x00
00001615: KECCAK256
00001616: PUSH1 0x00
00001618: SWAP1
00001619: SSTORE
0000161a: PUSH1 0x01
0000161c: SWAP4
0000161d: POP
0000161e: POP
0000161f: POP
00001620: POP
00001621: PUSH2 0x0ef3
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x00
00001628: SWAP2
00001629: POP
0000162a: POP
0000162b: PUSH2 0x0ef3
0000162e: JUMP
0000162f: JUMPDEST
00001630: PUSH1 0x00
00001632: PUSH2 0x1684
00001635: DUP3
00001636: PUSH1 0x40
00001638: MLOAD
00001639: DUP1
0000163a: PUSH1 0x40
0000163c: ADD
0000163d: PUSH1 0x40
0000163f: MSTORE
00001640: DUP1
00001641: PUSH1 0x20
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x20
00001647: ADD
00001648: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001669: DUP2
0000166a: MSTORE
0000166b: POP
0000166c: DUP6
0000166d: PUSH1 0x01
0000166f: PUSH1 0x01
00001671: PUSH1 0xa0
00001673: SHL
00001674: SUB
00001675: AND
00001676: PUSH2 0x1750
00001679: SWAP1
0000167a: SWAP3
0000167b: SWAP2
0000167c: SWAP1
0000167d: PUSH4 0xffffffff
00001682: AND
00001683: JUMP
00001684: JUMPDEST
00001685: DUP1
00001686: MLOAD
00001687: SWAP1
00001688: SWAP2
00001689: POP
0000168a: ISZERO
0000168b: PUSH2 0x0518
0000168e: JUMPI
0000168f: DUP1
00001690: DUP1
00001691: PUSH1 0x20
00001693: ADD
00001694: SWAP1
00001695: MLOAD
00001696: DUP2
00001697: ADD
00001698: SWAP1
00001699: PUSH2 0x16a2
0000169c: SWAP2
0000169d: SWAP1
0000169e: PUSH2 0x1b06
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH2 0x0518
000016a6: JUMPI
000016a7: PUSH1 0x40
000016a9: MLOAD
000016aa: PUSH3 0x461bcd
000016ae: PUSH1 0xe5
000016b0: SHL
000016b1: DUP2
000016b2: MSTORE
000016b3: PUSH1 0x20
000016b5: PUSH1 0x04
000016b7: DUP3
000016b8: ADD
000016b9: MSTORE
000016ba: PUSH1 0x2a
000016bc: PUSH1 0x24
000016be: DUP3
000016bf: ADD
000016c0: MSTORE
000016c1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000016e2: PUSH1 0x44
000016e4: DUP3
000016e5: ADD
000016e6: MSTORE
000016e7: PUSH10 0x1bdd081cdd58d8d95959
000016f2: PUSH1 0xb2
000016f4: SHL
000016f5: PUSH1 0x64
000016f7: DUP3
000016f8: ADD
000016f9: MSTORE
000016fa: PUSH1 0x84
000016fc: ADD
000016fd: PUSH2 0x07c4
00001700: JUMP
00001701: JUMPDEST
00001702: PUSH1 0x00
00001704: DUP2
00001705: DUP2
00001706: MSTORE
00001707: PUSH1 0x01
00001709: DUP4
0000170a: ADD
0000170b: PUSH1 0x20
0000170d: MSTORE
0000170e: PUSH1 0x40
00001710: DUP2
00001711: KECCAK256
00001712: SLOAD
00001713: PUSH2 0x1748
00001716: JUMPI
00001717: POP
00001718: DUP2
00001719: SLOAD
0000171a: PUSH1 0x01
0000171c: DUP2
0000171d: DUP2
0000171e: ADD
0000171f: DUP5
00001720: SSTORE
00001721: PUSH1 0x00
00001723: DUP5
00001724: DUP2
00001725: MSTORE
00001726: PUSH1 0x20
00001728: DUP1
00001729: DUP3
0000172a: KECCAK256
0000172b: SWAP1
0000172c: SWAP4
0000172d: ADD
0000172e: DUP5
0000172f: SWAP1
00001730: SSTORE
00001731: DUP5
00001732: SLOAD
00001733: DUP5
00001734: DUP3
00001735: MSTORE
00001736: DUP3
00001737: DUP7
00001738: ADD
00001739: SWAP1
0000173a: SWAP4
0000173b: MSTORE
0000173c: PUSH1 0x40
0000173e: SWAP1
0000173f: KECCAK256
00001740: SWAP2
00001741: SWAP1
00001742: SWAP2
00001743: SSTORE
00001744: PUSH2 0x0ef3
00001747: JUMP
00001748: JUMPDEST
00001749: POP
0000174a: PUSH1 0x00
0000174c: PUSH2 0x0ef3
0000174f: JUMP
00001750: JUMPDEST
00001751: PUSH1 0x60
00001753: PUSH2 0x175f
00001756: DUP5
00001757: DUP5
00001758: PUSH1 0x00
0000175a: DUP6
0000175b: PUSH2 0x1767
0000175e: JUMP
0000175f: JUMPDEST
00001760: SWAP5
00001761: SWAP4
00001762: POP
00001763: POP
00001764: POP
00001765: POP
00001766: JUMP
00001767: JUMPDEST
00001768: PUSH1 0x60
0000176a: DUP3
0000176b: SELFBALANCE
0000176c: LT
0000176d: ISZERO
0000176e: PUSH2 0x17c8
00001771: JUMPI
00001772: PUSH1 0x40
00001774: MLOAD
00001775: PUSH3 0x461bcd
00001779: PUSH1 0xe5
0000177b: SHL
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x20
00001780: PUSH1 0x04
00001782: DUP3
00001783: ADD
00001784: MSTORE
00001785: PUSH1 0x26
00001787: PUSH1 0x24
00001789: DUP3
0000178a: ADD
0000178b: MSTORE
0000178c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000017ad: PUSH1 0x44
000017af: DUP3
000017b0: ADD
000017b1: MSTORE
000017b2: PUSH6 0x1c8818d85b1b
000017b9: PUSH1 0xd2
000017bb: SHL
000017bc: PUSH1 0x64
000017be: DUP3
000017bf: ADD
000017c0: MSTORE
000017c1: PUSH1 0x84
000017c3: ADD
000017c4: PUSH2 0x07c4
000017c7: JUMP
000017c8: JUMPDEST
000017c9: PUSH1 0x01
000017cb: PUSH1 0x01
000017cd: PUSH1 0xa0
000017cf: SHL
000017d0: SUB
000017d1: DUP6
000017d2: AND
000017d3: EXTCODESIZE
000017d4: PUSH2 0x181f
000017d7: JUMPI
000017d8: PUSH1 0x40
000017da: MLOAD
000017db: PUSH3 0x461bcd
000017df: PUSH1 0xe5
000017e1: SHL
000017e2: DUP2
000017e3: MSTORE
000017e4: PUSH1 0x20
000017e6: PUSH1 0x04
000017e8: DUP3
000017e9: ADD
000017ea: MSTORE
000017eb: PUSH1 0x1d
000017ed: PUSH1 0x24
000017ef: DUP3
000017f0: ADD
000017f1: MSTORE
000017f2: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001813: PUSH1 0x44
00001815: DUP3
00001816: ADD
00001817: MSTORE
00001818: PUSH1 0x64
0000181a: ADD
0000181b: PUSH2 0x07c4
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH1 0x00
00001822: DUP1
00001823: DUP7
00001824: PUSH1 0x01
00001826: PUSH1 0x01
00001828: PUSH1 0xa0
0000182a: SHL
0000182b: SUB
0000182c: AND
0000182d: DUP6
0000182e: DUP8
0000182f: PUSH1 0x40
00001831: MLOAD
00001832: PUSH2 0x183b
00001835: SWAP2
00001836: SWAP1
00001837: PUSH2 0x1c1d
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH1 0x00
0000183e: PUSH1 0x40
00001840: MLOAD
00001841: DUP1
00001842: DUP4
00001843: SUB
00001844: DUP2
00001845: DUP6
00001846: DUP8
00001847: GAS
00001848: CALL
00001849: SWAP3
0000184a: POP
0000184b: POP
0000184c: POP
0000184d: RETURNDATASIZE
0000184e: DUP1
0000184f: PUSH1 0x00
00001851: DUP2
00001852: EQ
00001853: PUSH2 0x1878
00001856: JUMPI
00001857: PUSH1 0x40
00001859: MLOAD
0000185a: SWAP2
0000185b: POP
0000185c: PUSH1 0x1f
0000185e: NOT
0000185f: PUSH1 0x3f
00001861: RETURNDATASIZE
00001862: ADD
00001863: AND
00001864: DUP3
00001865: ADD
00001866: PUSH1 0x40
00001868: MSTORE
00001869: RETURNDATASIZE
0000186a: DUP3
0000186b: MSTORE
0000186c: RETURNDATASIZE
0000186d: PUSH1 0x00
0000186f: PUSH1 0x20
00001871: DUP5
00001872: ADD
00001873: RETURNDATACOPY
00001874: PUSH2 0x187d
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x60
0000187b: SWAP2
0000187c: POP
0000187d: JUMPDEST
0000187e: POP
0000187f: SWAP2
00001880: POP
00001881: SWAP2
00001882: POP
00001883: PUSH2 0x188d
00001886: DUP3
00001887: DUP3
00001888: DUP7
00001889: PUSH2 0x1898
0000188c: JUMP
0000188d: JUMPDEST
0000188e: SWAP8
0000188f: SWAP7
00001890: POP
00001891: POP
00001892: POP
00001893: POP
00001894: POP
00001895: POP
00001896: POP
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x60
0000189b: DUP4
0000189c: ISZERO
0000189d: PUSH2 0x18a7
000018a0: JUMPI
000018a1: POP
000018a2: DUP2
000018a3: PUSH2 0x0f05
000018a6: JUMP
000018a7: JUMPDEST
000018a8: DUP3
000018a9: MLOAD
000018aa: ISZERO
000018ab: PUSH2 0x18b7
000018ae: JUMPI
000018af: DUP3
000018b0: MLOAD
000018b1: DUP1
000018b2: DUP5
000018b3: PUSH1 0x20
000018b5: ADD
000018b6: REVERT
000018b7: JUMPDEST
000018b8: DUP2
000018b9: PUSH1 0x40
000018bb: MLOAD
000018bc: PUSH3 0x461bcd
000018c0: PUSH1 0xe5
000018c2: SHL
000018c3: DUP2
000018c4: MSTORE
000018c5: PUSH1 0x04
000018c7: ADD
000018c8: PUSH2 0x07c4
000018cb: SWAP2
000018cc: SWAP1
000018cd: PUSH2 0x1ca1
000018d0: JUMP
000018d1: JUMPDEST
000018d2: DUP1
000018d3: CALLDATALOAD
000018d4: PUSH2 0x18dc
000018d7: DUP2
000018d8: PUSH2 0x1dac
000018db: JUMP
000018dc: JUMPDEST
000018dd: SWAP2
000018de: SWAP1
000018df: POP
000018e0: JUMP
000018e1: JUMPDEST
000018e2: PUSH1 0x00
000018e4: DUP1
000018e5: DUP4
000018e6: PUSH1 0x1f
000018e8: DUP5
000018e9: ADD
000018ea: SLT
000018eb: PUSH2 0x18f3
000018ee: JUMPI
000018ef: PUSH1 0x00
000018f1: DUP1
000018f2: REVERT
000018f3: JUMPDEST
000018f4: POP
000018f5: DUP2
000018f6: CALLDATALOAD
000018f7: PUSH8 0xffffffffffffffff
00001900: DUP2
00001901: GT
00001902: ISZERO
00001903: PUSH2 0x190b
00001906: JUMPI
00001907: PUSH1 0x00
00001909: DUP1
0000190a: REVERT
0000190b: JUMPDEST
0000190c: PUSH1 0x20
0000190e: DUP4
0000190f: ADD
00001910: SWAP2
00001911: POP
00001912: DUP4
00001913: PUSH1 0x20
00001915: DUP3
00001916: PUSH1 0x05
00001918: SHL
00001919: DUP6
0000191a: ADD
0000191b: ADD
0000191c: GT
0000191d: ISZERO
0000191e: PUSH2 0x09cf
00001921: JUMPI
00001922: PUSH1 0x00
00001924: DUP1
00001925: REVERT
00001926: JUMPDEST
00001927: DUP1
00001928: CALLDATALOAD
00001929: PUSH1 0x01
0000192b: PUSH1 0x01
0000192d: PUSH1 0x60
0000192f: SHL
00001930: SUB
00001931: DUP2
00001932: AND
00001933: DUP2
00001934: EQ
00001935: PUSH2 0x18dc
00001938: JUMPI
00001939: PUSH1 0x00
0000193b: DUP1
0000193c: REVERT
0000193d: JUMPDEST
0000193e: PUSH1 0x00
00001940: PUSH1 0x20
00001942: DUP3
00001943: DUP5
00001944: SUB
00001945: SLT
00001946: ISZERO
00001947: PUSH2 0x194f
0000194a: JUMPI
0000194b: PUSH1 0x00
0000194d: DUP1
0000194e: REVERT
0000194f: JUMPDEST
00001950: DUP2
00001951: CALLDATALOAD
00001952: PUSH2 0x0f05
00001955: DUP2
00001956: PUSH2 0x1dac
00001959: JUMP
0000195a: JUMPDEST
0000195b: PUSH1 0x00
0000195d: DUP1
0000195e: PUSH1 0x40
00001960: DUP4
00001961: DUP6
00001962: SUB
00001963: SLT
00001964: ISZERO
00001965: PUSH2 0x196d
00001968: JUMPI
00001969: PUSH1 0x00
0000196b: DUP1
0000196c: REVERT
0000196d: JUMPDEST
0000196e: DUP3
0000196f: CALLDATALOAD
00001970: PUSH2 0x1978
00001973: DUP2
00001974: PUSH2 0x1dac
00001977: JUMP
00001978: JUMPDEST
00001979: SWAP2
0000197a: POP
0000197b: PUSH1 0x20
0000197d: DUP4
0000197e: ADD
0000197f: CALLDATALOAD
00001980: PUSH2 0x1988
00001983: DUP2
00001984: PUSH2 0x1dac
00001987: JUMP
00001988: JUMPDEST
00001989: DUP1
0000198a: SWAP2
0000198b: POP
0000198c: POP
0000198d: SWAP3
0000198e: POP
0000198f: SWAP3
00001990: SWAP1
00001991: POP
00001992: JUMP
00001993: JUMPDEST
00001994: PUSH1 0x00
00001996: DUP1
00001997: PUSH1 0x20
00001999: DUP4
0000199a: DUP6
0000199b: SUB
0000199c: SLT
0000199d: ISZERO
0000199e: PUSH2 0x19a6
000019a1: JUMPI
000019a2: PUSH1 0x00
000019a4: DUP1
000019a5: REVERT
000019a6: JUMPDEST
000019a7: DUP3
000019a8: CALLDATALOAD
000019a9: PUSH8 0xffffffffffffffff
000019b2: DUP2
000019b3: GT
000019b4: ISZERO
000019b5: PUSH2 0x19bd
000019b8: JUMPI
000019b9: PUSH1 0x00
000019bb: DUP1
000019bc: REVERT
000019bd: JUMPDEST
000019be: PUSH2 0x19c9
000019c1: DUP6
000019c2: DUP3
000019c3: DUP7
000019c4: ADD
000019c5: PUSH2 0x18e1
000019c8: JUMP
000019c9: JUMPDEST
000019ca: SWAP1
000019cb: SWAP7
000019cc: SWAP1
000019cd: SWAP6
000019ce: POP
000019cf: SWAP4
000019d0: POP
000019d1: POP
000019d2: POP
000019d3: POP
000019d4: JUMP
000019d5: JUMPDEST
000019d6: PUSH1 0x00
000019d8: DUP1
000019d9: PUSH1 0x00
000019db: DUP1
000019dc: PUSH1 0x60
000019de: DUP6
000019df: DUP8
000019e0: SUB
000019e1: SLT
000019e2: ISZERO
000019e3: PUSH2 0x19eb
000019e6: JUMPI
000019e7: PUSH1 0x00
000019e9: DUP1
000019ea: REVERT
000019eb: JUMPDEST
000019ec: DUP5
000019ed: CALLDATALOAD
000019ee: PUSH8 0xffffffffffffffff
000019f7: DUP2
000019f8: GT
000019f9: ISZERO
000019fa: PUSH2 0x1a02
000019fd: JUMPI
000019fe: PUSH1 0x00
00001a00: DUP1
00001a01: REVERT
00001a02: JUMPDEST
00001a03: PUSH2 0x1a0e
00001a06: DUP8
00001a07: DUP3
00001a08: DUP9
00001a09: ADD
00001a0a: PUSH2 0x18e1
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: SWAP1
00001a10: SWAP6
00001a11: POP
00001a12: SWAP4
00001a13: POP
00001a14: PUSH2 0x1a21
00001a17: SWAP1
00001a18: POP
00001a19: PUSH1 0x20
00001a1b: DUP7
00001a1c: ADD
00001a1d: PUSH2 0x1926
00001a20: JUMP
00001a21: JUMPDEST
00001a22: SWAP2
00001a23: POP
00001a24: PUSH2 0x1a2f
00001a27: PUSH1 0x40
00001a29: DUP7
00001a2a: ADD
00001a2b: PUSH2 0x1926
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: SWAP1
00001a31: POP
00001a32: SWAP3
00001a33: SWAP6
00001a34: SWAP2
00001a35: SWAP5
00001a36: POP
00001a37: SWAP3
00001a38: POP
00001a39: JUMP
00001a3a: JUMPDEST
00001a3b: PUSH1 0x00
00001a3d: PUSH1 0x20
00001a3f: DUP1
00001a40: DUP4
00001a41: DUP6
00001a42: SUB
00001a43: SLT
00001a44: ISZERO
00001a45: PUSH2 0x1a4d
00001a48: JUMPI
00001a49: PUSH1 0x00
00001a4b: DUP1
00001a4c: REVERT
00001a4d: JUMPDEST
00001a4e: DUP3
00001a4f: CALLDATALOAD
00001a50: PUSH8 0xffffffffffffffff
00001a59: DUP1
00001a5a: DUP3
00001a5b: GT
00001a5c: ISZERO
00001a5d: PUSH2 0x1a65
00001a60: JUMPI
00001a61: PUSH1 0x00
00001a63: DUP1
00001a64: REVERT
00001a65: JUMPDEST
00001a66: DUP2
00001a67: DUP6
00001a68: ADD
00001a69: SWAP2
00001a6a: POP
00001a6b: DUP6
00001a6c: PUSH1 0x1f
00001a6e: DUP4
00001a6f: ADD
00001a70: SLT
00001a71: PUSH2 0x1a79
00001a74: JUMPI
00001a75: PUSH1 0x00
00001a77: DUP1
00001a78: REVERT
00001a79: JUMPDEST
00001a7a: DUP2
00001a7b: CALLDATALOAD
00001a7c: DUP2
00001a7d: DUP2
00001a7e: GT
00001a7f: ISZERO
00001a80: PUSH2 0x1a8b
00001a83: JUMPI
00001a84: PUSH2 0x1a8b
00001a87: PUSH2 0x1d96
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: DUP1
00001a8d: PUSH1 0x05
00001a8f: SHL
00001a90: PUSH1 0x40
00001a92: MLOAD
00001a93: PUSH1 0x1f
00001a95: NOT
00001a96: PUSH1 0x3f
00001a98: DUP4
00001a99: ADD
00001a9a: AND
00001a9b: DUP2
00001a9c: ADD
00001a9d: DUP2
00001a9e: DUP2
00001a9f: LT
00001aa0: DUP6
00001aa1: DUP3
00001aa2: GT
00001aa3: OR
00001aa4: ISZERO
00001aa5: PUSH2 0x1ab0
00001aa8: JUMPI
00001aa9: PUSH2 0x1ab0
00001aac: PUSH2 0x1d96
00001aaf: JUMP
00001ab0: JUMPDEST
00001ab1: PUSH1 0x40
00001ab3: MSTORE
00001ab4: DUP3
00001ab5: DUP2
00001ab6: MSTORE
00001ab7: DUP6
00001ab8: DUP2
00001ab9: ADD
00001aba: SWAP4
00001abb: POP
00001abc: DUP5
00001abd: DUP7
00001abe: ADD
00001abf: DUP3
00001ac0: DUP7
00001ac1: ADD
00001ac2: DUP8
00001ac3: ADD
00001ac4: DUP11
00001ac5: LT
00001ac6: ISZERO
00001ac7: PUSH2 0x1acf
00001aca: JUMPI
00001acb: PUSH1 0x00
00001acd: DUP1
00001ace: REVERT
00001acf: JUMPDEST
00001ad0: PUSH1 0x00
00001ad2: SWAP6
00001ad3: POP
00001ad4: JUMPDEST
00001ad5: DUP4
00001ad6: DUP7
00001ad7: LT
00001ad8: ISZERO
00001ad9: PUSH2 0x1af9
00001adc: JUMPI
00001add: PUSH2 0x1ae5
00001ae0: DUP2
00001ae1: PUSH2 0x18d1
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: DUP6
00001ae7: MSTORE
00001ae8: PUSH1 0x01
00001aea: SWAP6
00001aeb: SWAP1
00001aec: SWAP6
00001aed: ADD
00001aee: SWAP5
00001aef: SWAP4
00001af0: DUP7
00001af1: ADD
00001af2: SWAP4
00001af3: DUP7
00001af4: ADD
00001af5: PUSH2 0x1ad4
00001af8: JUMP
00001af9: JUMPDEST
00001afa: POP
00001afb: SWAP9
00001afc: SWAP8
00001afd: POP
00001afe: POP
00001aff: POP
00001b00: POP
00001b01: POP
00001b02: POP
00001b03: POP
00001b04: POP
00001b05: JUMP
00001b06: JUMPDEST
00001b07: PUSH1 0x00
00001b09: PUSH1 0x20
00001b0b: DUP3
00001b0c: DUP5
00001b0d: SUB
00001b0e: SLT
00001b0f: ISZERO
00001b10: PUSH2 0x1b18
00001b13: JUMPI
00001b14: PUSH1 0x00
00001b16: DUP1
00001b17: REVERT
00001b18: JUMPDEST
00001b19: DUP2
00001b1a: MLOAD
00001b1b: DUP1
00001b1c: ISZERO
00001b1d: ISZERO
00001b1e: DUP2
00001b1f: EQ
00001b20: PUSH2 0x0f05
00001b23: JUMPI
00001b24: PUSH1 0x00
00001b26: DUP1
00001b27: REVERT
00001b28: JUMPDEST
00001b29: PUSH1 0x00
00001b2b: DUP1
00001b2c: PUSH1 0x20
00001b2e: DUP4
00001b2f: DUP6
00001b30: SUB
00001b31: SLT
00001b32: ISZERO
00001b33: PUSH2 0x1b3b
00001b36: JUMPI
00001b37: PUSH1 0x00
00001b39: DUP1
00001b3a: REVERT
00001b3b: JUMPDEST
00001b3c: DUP3
00001b3d: CALLDATALOAD
00001b3e: PUSH8 0xffffffffffffffff
00001b47: DUP1
00001b48: DUP3
00001b49: GT
00001b4a: ISZERO
00001b4b: PUSH2 0x1b53
00001b4e: JUMPI
00001b4f: PUSH1 0x00
00001b51: DUP1
00001b52: REVERT
00001b53: JUMPDEST
00001b54: DUP2
00001b55: DUP6
00001b56: ADD
00001b57: SWAP2
00001b58: POP
00001b59: DUP6
00001b5a: PUSH1 0x1f
00001b5c: DUP4
00001b5d: ADD
00001b5e: SLT
00001b5f: PUSH2 0x1b67
00001b62: JUMPI
00001b63: PUSH1 0x00
00001b65: DUP1
00001b66: REVERT
00001b67: JUMPDEST
00001b68: DUP2
00001b69: CALLDATALOAD
00001b6a: DUP2
00001b6b: DUP2
00001b6c: GT
00001b6d: ISZERO
00001b6e: PUSH2 0x1b76
00001b71: JUMPI
00001b72: PUSH1 0x00
00001b74: DUP1
00001b75: REVERT
00001b76: JUMPDEST
00001b77: DUP7
00001b78: PUSH1 0x20
00001b7a: DUP3
00001b7b: DUP6
00001b7c: ADD
00001b7d: ADD
00001b7e: GT
00001b7f: ISZERO
00001b80: PUSH2 0x1b88
00001b83: JUMPI
00001b84: PUSH1 0x00
00001b86: DUP1
00001b87: REVERT
00001b88: JUMPDEST
00001b89: PUSH1 0x20
00001b8b: SWAP3
00001b8c: SWAP1
00001b8d: SWAP3
00001b8e: ADD
00001b8f: SWAP7
00001b90: SWAP2
00001b91: SWAP6
00001b92: POP
00001b93: SWAP1
00001b94: SWAP4
00001b95: POP
00001b96: POP
00001b97: POP
00001b98: POP
00001b99: JUMP
00001b9a: JUMPDEST
00001b9b: PUSH1 0x00
00001b9d: PUSH1 0x20
00001b9f: DUP3
00001ba0: DUP5
00001ba1: SUB
00001ba2: SLT
00001ba3: ISZERO
00001ba4: PUSH2 0x1bac
00001ba7: JUMPI
00001ba8: PUSH1 0x00
00001baa: DUP1
00001bab: REVERT
00001bac: JUMPDEST
00001bad: POP
00001bae: CALLDATALOAD
00001baf: SWAP2
00001bb0: SWAP1
00001bb1: POP
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: PUSH1 0x00
00001bb6: PUSH1 0x20
00001bb8: DUP3
00001bb9: DUP5
00001bba: SUB
00001bbb: SLT
00001bbc: ISZERO
00001bbd: PUSH2 0x1bc5
00001bc0: JUMPI
00001bc1: PUSH1 0x00
00001bc3: DUP1
00001bc4: REVERT
00001bc5: JUMPDEST
00001bc6: POP
00001bc7: MLOAD
00001bc8: SWAP2
00001bc9: SWAP1
00001bca: POP
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: PUSH1 0x00
00001bcf: DUP1
00001bd0: PUSH1 0x40
00001bd2: DUP4
00001bd3: DUP6
00001bd4: SUB
00001bd5: SLT
00001bd6: ISZERO
00001bd7: PUSH2 0x1bdf
00001bda: JUMPI
00001bdb: PUSH1 0x00
00001bdd: DUP1
00001bde: REVERT
00001bdf: JUMPDEST
00001be0: DUP3
00001be1: CALLDATALOAD
00001be2: SWAP2
00001be3: POP
00001be4: PUSH1 0x20
00001be6: DUP4
00001be7: ADD
00001be8: CALLDATALOAD
00001be9: PUSH2 0x1988
00001bec: DUP2
00001bed: PUSH2 0x1dac
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x00
00001bf4: DUP2
00001bf5: MLOAD
00001bf6: DUP1
00001bf7: DUP5
00001bf8: MSTORE
00001bf9: PUSH2 0x1c09
00001bfc: DUP2
00001bfd: PUSH1 0x20
00001bff: DUP7
00001c00: ADD
00001c01: PUSH1 0x20
00001c03: DUP7
00001c04: ADD
00001c05: PUSH2 0x1d0d
00001c08: JUMP
00001c09: JUMPDEST
00001c0a: PUSH1 0x1f
00001c0c: ADD
00001c0d: PUSH1 0x1f
00001c0f: NOT
00001c10: AND
00001c11: SWAP3
00001c12: SWAP1
00001c13: SWAP3
00001c14: ADD
00001c15: PUSH1 0x20
00001c17: ADD
00001c18: SWAP3
00001c19: SWAP2
00001c1a: POP
00001c1b: POP
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: PUSH1 0x00
00001c20: DUP3
00001c21: MLOAD
00001c22: PUSH2 0x1c2f
00001c25: DUP2
00001c26: DUP5
00001c27: PUSH1 0x20
00001c29: DUP8
00001c2a: ADD
00001c2b: PUSH2 0x1d0d
00001c2e: JUMP
00001c2f: JUMPDEST
00001c30: SWAP2
00001c31: SWAP1
00001c32: SWAP2
00001c33: ADD
00001c34: SWAP3
00001c35: SWAP2
00001c36: POP
00001c37: POP
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH1 0x20
00001c3c: DUP1
00001c3d: DUP3
00001c3e: MSTORE
00001c3f: DUP3
00001c40: MLOAD
00001c41: DUP3
00001c42: DUP3
00001c43: ADD
00001c44: DUP2
00001c45: SWAP1
00001c46: MSTORE
00001c47: PUSH1 0x00
00001c49: SWAP2
00001c4a: SWAP1
00001c4b: DUP5
00001c4c: DUP3
00001c4d: ADD
00001c4e: SWAP1
00001c4f: PUSH1 0x40
00001c51: DUP6
00001c52: ADD
00001c53: SWAP1
00001c54: DUP5
00001c55: JUMPDEST
00001c56: DUP2
00001c57: DUP2
00001c58: LT
00001c59: ISZERO
00001c5a: PUSH2 0x1c7a
00001c5d: JUMPI
00001c5e: DUP4
00001c5f: MLOAD
00001c60: PUSH1 0x01
00001c62: PUSH1 0x01
00001c64: PUSH1 0xa0
00001c66: SHL
00001c67: SUB
00001c68: AND
00001c69: DUP4
00001c6a: MSTORE
00001c6b: SWAP3
00001c6c: DUP5
00001c6d: ADD
00001c6e: SWAP3
00001c6f: SWAP2
00001c70: DUP5
00001c71: ADD
00001c72: SWAP2
00001c73: PUSH1 0x01
00001c75: ADD
00001c76: PUSH2 0x1c55
00001c79: JUMP
00001c7a: JUMPDEST
00001c7b: POP
00001c7c: SWAP1
00001c7d: SWAP7
00001c7e: SWAP6
00001c7f: POP
00001c80: POP
00001c81: POP
00001c82: POP
00001c83: POP
00001c84: POP
00001c85: JUMP
00001c86: JUMPDEST
00001c87: DUP3
00001c88: ISZERO
00001c89: ISZERO
00001c8a: DUP2
00001c8b: MSTORE
00001c8c: PUSH1 0x40
00001c8e: PUSH1 0x20
00001c90: DUP3
00001c91: ADD
00001c92: MSTORE
00001c93: PUSH1 0x00
00001c95: PUSH2 0x175f
00001c98: PUSH1 0x40
00001c9a: DUP4
00001c9b: ADD
00001c9c: DUP5
00001c9d: PUSH2 0x1bf1
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: PUSH1 0x20
00001ca4: DUP2
00001ca5: MSTORE
00001ca6: PUSH1 0x00
00001ca8: PUSH2 0x0f05
00001cab: PUSH1 0x20
00001cad: DUP4
00001cae: ADD
00001caf: DUP5
00001cb0: PUSH2 0x1bf1
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x20
00001cb7: DUP1
00001cb8: DUP3
00001cb9: MSTORE
00001cba: PUSH1 0x10
00001cbc: SWAP1
00001cbd: DUP3
00001cbe: ADD
00001cbf: MSTORE
00001cc0: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001cd1: PUSH1 0x82
00001cd3: SHL
00001cd4: PUSH1 0x40
00001cd6: DUP3
00001cd7: ADD
00001cd8: MSTORE
00001cd9: PUSH1 0x60
00001cdb: ADD
00001cdc: SWAP1
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH1 0x00
00001ce1: DUP3
00001ce2: NOT
00001ce3: DUP3
00001ce4: GT
00001ce5: ISZERO
00001ce6: PUSH2 0x1cf1
00001ce9: JUMPI
00001cea: PUSH2 0x1cf1
00001ced: PUSH2 0x1d54
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: POP
00001cf3: ADD
00001cf4: SWAP1
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: PUSH1 0x00
00001cf9: DUP3
00001cfa: DUP3
00001cfb: LT
00001cfc: ISZERO
00001cfd: PUSH2 0x1d08
00001d00: JUMPI
00001d01: PUSH2 0x1d08
00001d04: PUSH2 0x1d54
00001d07: JUMP
00001d08: JUMPDEST
00001d09: POP
00001d0a: SUB
00001d0b: SWAP1
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x00
00001d10: JUMPDEST
00001d11: DUP4
00001d12: DUP2
00001d13: LT
00001d14: ISZERO
00001d15: PUSH2 0x1d28
00001d18: JUMPI
00001d19: DUP2
00001d1a: DUP2
00001d1b: ADD
00001d1c: MLOAD
00001d1d: DUP4
00001d1e: DUP3
00001d1f: ADD
00001d20: MSTORE
00001d21: PUSH1 0x20
00001d23: ADD
00001d24: PUSH2 0x1d10
00001d27: JUMP
00001d28: JUMPDEST
00001d29: DUP4
00001d2a: DUP2
00001d2b: GT
00001d2c: ISZERO
00001d2d: PUSH2 0x1381
00001d30: JUMPI
00001d31: POP
00001d32: POP
00001d33: PUSH1 0x00
00001d35: SWAP2
00001d36: ADD
00001d37: MSTORE
00001d38: JUMP
00001d39: JUMPDEST
00001d3a: PUSH1 0x00
00001d3c: PUSH1 0x00
00001d3e: NOT
00001d3f: DUP3
00001d40: EQ
00001d41: ISZERO
00001d42: PUSH2 0x1d4d
00001d45: JUMPI
00001d46: PUSH2 0x1d4d
00001d49: PUSH2 0x1d54
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: POP
00001d4f: PUSH1 0x01
00001d51: ADD
00001d52: SWAP1
00001d53: JUMP
00001d54: JUMPDEST
00001d55: PUSH4 0x4e487b71
00001d5a: PUSH1 0xe0
00001d5c: SHL
00001d5d: PUSH1 0x00
00001d5f: MSTORE
00001d60: PUSH1 0x11
00001d62: PUSH1 0x04
00001d64: MSTORE
00001d65: PUSH1 0x24
00001d67: PUSH1 0x00
00001d69: REVERT
00001d6a: JUMPDEST
00001d6b: PUSH4 0x4e487b71
00001d70: PUSH1 0xe0
00001d72: SHL
00001d73: PUSH1 0x00
00001d75: MSTORE
00001d76: PUSH1 0x31
00001d78: PUSH1 0x04
00001d7a: MSTORE
00001d7b: PUSH1 0x24
00001d7d: PUSH1 0x00
00001d7f: REVERT
00001d80: JUMPDEST
00001d81: PUSH4 0x4e487b71
00001d86: PUSH1 0xe0
00001d88: SHL
00001d89: PUSH1 0x00
00001d8b: MSTORE
00001d8c: PUSH1 0x32
00001d8e: PUSH1 0x04
00001d90: MSTORE
00001d91: PUSH1 0x24
00001d93: PUSH1 0x00
00001d95: REVERT
00001d96: JUMPDEST
00001d97: PUSH4 0x4e487b71
00001d9c: PUSH1 0xe0
00001d9e: SHL
00001d9f: PUSH1 0x00
00001da1: MSTORE
00001da2: PUSH1 0x41
00001da4: PUSH1 0x04
00001da6: MSTORE
00001da7: PUSH1 0x24
00001da9: PUSH1 0x00
00001dab: REVERT
00001dac: JUMPDEST
00001dad: PUSH1 0x01
00001daf: PUSH1 0x01
00001db1: PUSH1 0xa0
00001db3: SHL
00001db4: SUB
00001db5: DUP2
00001db6: AND
00001db7: DUP2
00001db8: EQ
00001db9: PUSH2 0x0e93
00001dbc: JUMPI
00001dbd: PUSH1 0x00
00001dbf: DUP1
00001dc0: REVERT
00001dc1: INVALID
00001dc2: LOG2
00001dc3: PUSH5 0x6970667358
00001dc9: UNKNOWN(0x22)
00001dca: SLT
00001dcb: KECCAK256
00001dcc: UNKNOWN(0xFC)
00001dcd: PUSH15 0xe0226d7d4acb9d3ea1f683d34aaaca
00001ddd: PUSH5 0x5e8cce068e
00001de3: UNKNOWN(0xD6)
00001de4: DUP13
00001de5: BLOCKHASH
00001de6: SSTORE
00001de7: GASPRICE
00001de8: SWAP11
00001de9: CALLDATALOAD
00001dea: SWAP6
00001deb: MSIZE
00001dec: PUSH5 0x736f6c6343
00001df2: STOP
00001df3: ADDMOD
00001df4: MOD
00001df5: STOP
00001df6: CALLER