Analysis Run

[codex:656464] OpenAI Codex v0.77.0 (research preview)
[codex:656464] --------
[codex:656464] workdir: /tmp/codex-multi-9y7613v6
[codex:656464] model: gpt-5.2-codex
[codex:656464] provider: openai
[codex:656464] approval: never
[codex:656464] sandbox: read-only
[codex:656464] reasoning effort: xhigh
[codex:656464] reasoning summaries: auto
[codex:656464] session id: 019b771b-a798-74e3-b6cf-a5d1e98ca9dc
[codex:656464] --------
[codex:656464] user
[codex:656464] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:656464] 
[codex:656464] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:656464] 
[codex:656464] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:656464] - Gas inefficiency, code quality, naming, or best practices
[codex:656464] - Theoretical vulnerabilities without a clear extraction path
[codex:656464] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:656464] - Front-running unless it enables theft beyond MEV
[codex:656464] - DoS, griefing, or issues that don't result in attacker profit
[codex:656464] - Missing events, view function issues, or informational findings
[codex:656464] 
[codex:656464] HIGH-VALUE PATTERNS TO HUNT:
[codex:656464] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:656464] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:656464] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:656464] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:656464] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:656464] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:656464] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:656464] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:656464] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:656464] 
[codex:656464] For each finding, you MUST provide:
[codex:656464] 1. Exact file and line numbers of vulnerable code
[codex:656464] 2. Step-by-step exploit transaction sequence
[codex:656464] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:656464] 
[codex:656464] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:656464] 
[codex:656464] Output MUST be valid JSON matching the provided schema.
[codex:656464] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:656464] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:656464] mcp startup: no servers
[codex:656464] 
[codex:656464] thinking
[codex:656464] **Preparing to read AUDIT_BUNDLE.txt**
[codex:656464] exec
[codex:656464] /bin/bash -lc ls in /tmp/codex-multi-9y7613v6 succeeded in 6ms:
[codex:656464] AUDIT_BUNDLE.txt
[codex:656464] codex-output-schema.json
[codex:656464] contracts
[codex:656464] exec
[codex:656464] /bin/bash -lc 'rg -n "" AUDIT_BUNDLE.txt' in /tmp/codex-multi-9y7613v6 succeeded in 6ms:
[codex:656464] 1:This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:656464] 2:
[codex:656464] 3:================================================================================
[codex:656464] 4:FILE: contracts/contracts/incentives/FeeDistributor.sol
[codex:656464] 5:================================================================================
[codex:656464] 6:// SPDX-License-Identifier: agpl-3.0
[codex:656464] 7:pragma solidity 0.8.4;
[codex:656464] 8:
[codex:656464] 9:import {IERC20Upgradeable, SafeERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:656464] 10:import {ReentrancyGuardUpgradeable} from "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
[codex:656464] 11:import {OwnableUpgradeable} from "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:656464] 12:import {Math} from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:656464] 13:
[codex:656464] 14:import {IVeBend} from "../vote/interfaces/IVeBend.sol";
[codex:656464] 15:import {IWETH} from "./interfaces/IWETH.sol";
[codex:656464] 16:import {ILendPool} from "./interfaces/ILendPool.sol";
[codex:656464] 17:import {IFeeDistributor} from "./interfaces/IFeeDistributor.sol";
[codex:656464] 18:import {ILendPoolAddressesProvider} from "./interfaces/ILendPoolAddressesProvider.sol";
[codex:656464] 19:
[codex:656464] 20:contract FeeDistributor is
[codex:656464] 
[codex:656464] thinking
[codex:656464] **Analyzing FeeDistributor for exploits**
[codex:656464] 
[codex:656464] I've carefully reviewed the entire FeeDistributor contract, focusing on access control, reentrancy, and state manipulations that could lead to profit theft. Everything points to proper safeguards like nonReentrant on critical functions and trusted external contracts. Although some external calls and state updates occur in a complex sequence, I don't see a concrete exploit that would allow unfair profit extraction or fund draining based on the provided code and context.
[codex:656464] codex
[codex:656464] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:656464] tokens used
[codex:656464] 10,179
[codex:656464] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T01:11:54.024065+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided sources.",
        "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 0x01bb
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x902f64d5
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcb08e559
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf2fde38b
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: EQ
0000003b: PUSH2 0x051b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf4359ce5
00000045: EQ
00000046: PUSH2 0x053b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfa60b4ac
00000050: EQ
00000051: PUSH2 0x0552
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x0572
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xcb08e559
0000006b: EQ
0000006c: PUSH2 0x04b9
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xe4fc6b6d
00000076: EQ
00000077: PUSH2 0x04d9
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xef5d9ae8
00000081: EQ
00000082: PUSH2 0x04ee
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xa5420e98
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa5420e98
0000009c: EQ
0000009d: PUSH2 0x0435
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xad5c4648
000000a7: EQ
000000a8: PUSH2 0x044c
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xc72c4d10
000000b2: EQ
000000b3: PUSH2 0x046c
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xc7f1ec50
000000bd: EQ
000000be: PUSH2 0x048c
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x902f64d5
000000cd: EQ
000000ce: PUSH2 0x03ea
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x91d32eb1
000000d8: EQ
000000d9: PUSH2 0x03ff
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0xa53af586
000000e3: EQ
000000e4: PUSH2 0x041f
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x715018a6
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x8736659b
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8736659b
00000109: EQ
0000010a: PUSH2 0x035f
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x899519be
00000114: EQ
00000115: PUSH2 0x0375
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8da5cb5b
0000011f: EQ
00000120: PUSH2 0x03a2
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8ec8468a
0000012a: EQ
0000012b: PUSH2 0x03d4
0000012e: JUMPI
0000012f: PUSH1 0x00
00000131: DUP1
00000132: REVERT
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x715018a6
0000013a: EQ
0000013b: PUSH2 0x0307
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x786479cd
00000145: EQ
00000146: PUSH2 0x031c
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x78e97925
00000150: EQ
00000151: PUSH2 0x0349
00000154: JUMPI
00000155: PUSH1 0x00
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH4 0x326a9407
00000160: GT
00000161: PUSH2 0x0195
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x326a9407
0000016b: EQ
0000016c: PUSH2 0x029c
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x3277ccb2
00000176: EQ
00000177: PUSH2 0x02b1
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x3cf6bcfe
00000181: EQ
00000182: PUSH2 0x02d1
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x402914f5
0000018c: EQ
0000018d: PUSH2 0x02e7
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: DUP1
00000197: PUSH4 0x0f6592ef
0000019c: EQ
0000019d: PUSH2 0x021c
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x1459457a
000001a7: EQ
000001a8: PUSH2 0x025c
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x2d81a78e
000001b2: EQ
000001b3: PUSH2 0x027c
000001b6: JUMPI
000001b7: PUSH1 0x00
000001b9: DUP1
000001ba: REVERT
000001bb: JUMPDEST
000001bc: CALLDATASIZE
000001bd: PUSH2 0x0217
000001c0: JUMPI
000001c1: PUSH1 0xa1
000001c3: SLOAD
000001c4: PUSH1 0x01
000001c6: PUSH1 0x01
000001c8: PUSH1 0xa0
000001ca: SHL
000001cb: SUB
000001cc: AND
000001cd: CALLER
000001ce: EQ
000001cf: PUSH2 0x0215
000001d2: JUMPI
000001d3: PUSH1 0x40
000001d5: MLOAD
000001d6: PUSH3 0x461bcd
000001da: PUSH1 0xe5
000001dc: SHL
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: PUSH1 0x04
000001e3: DUP3
000001e4: ADD
000001e5: MSTORE
000001e6: PUSH1 0x13
000001e8: PUSH1 0x24
000001ea: DUP3
000001eb: ADD
000001ec: MSTORE
000001ed: PUSH19 0x149958d95a5d99481b9bdd08185b1b1bddd959
00000201: PUSH1 0x6a
00000203: SHL
00000204: PUSH1 0x44
00000206: DUP3
00000207: ADD
00000208: MSTORE
00000209: PUSH1 0x64
0000020b: ADD
0000020c: JUMPDEST
0000020d: PUSH1 0x40
0000020f: MLOAD
00000210: DUP1
00000211: SWAP2
00000212: SUB
00000213: SWAP1
00000214: REVERT
00000215: JUMPDEST
00000216: STOP
00000217: JUMPDEST
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x0249
0000022d: PUSH2 0x0237
00000230: CALLDATASIZE
00000231: PUSH1 0x04
00000233: PUSH2 0x19a7
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x9e
0000023a: PUSH1 0x20
0000023c: MSTORE
0000023d: PUSH1 0x00
0000023f: SWAP1
00000240: DUP2
00000241: MSTORE
00000242: PUSH1 0x40
00000244: SWAP1
00000245: KECCAK256
00000246: SLOAD
00000247: DUP2
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: SWAP1
0000024e: DUP2
0000024f: MSTORE
00000250: PUSH1 0x20
00000252: ADD
00000253: JUMPDEST
00000254: PUSH1 0x40
00000256: MLOAD
00000257: DUP1
00000258: SWAP2
00000259: SUB
0000025a: SWAP1
0000025b: RETURN
0000025c: JUMPDEST
0000025d: CALLVALUE
0000025e: DUP1
0000025f: ISZERO
00000260: PUSH2 0x0268
00000263: JUMPI
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: POP
0000026a: PUSH2 0x0215
0000026d: PUSH2 0x0277
00000270: CALLDATASIZE
00000271: PUSH1 0x04
00000273: PUSH2 0x18c6
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH2 0x0592
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 0x0249
0000028d: PUSH2 0x0297
00000290: CALLDATASIZE
00000291: PUSH1 0x04
00000293: PUSH2 0x188e
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x072f
0000029b: JUMP
0000029c: JUMPDEST
0000029d: CALLVALUE
0000029e: DUP1
0000029f: ISZERO
000002a0: PUSH2 0x02a8
000002a3: JUMPI
000002a4: PUSH1 0x00
000002a6: DUP1
000002a7: REVERT
000002a8: JUMPDEST
000002a9: POP
000002aa: PUSH2 0x0215
000002ad: PUSH2 0x09a1
000002b0: JUMP
000002b1: JUMPDEST
000002b2: CALLVALUE
000002b3: DUP1
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: POP
000002bf: PUSH2 0x0249
000002c2: PUSH2 0x02cc
000002c5: CALLDATASIZE
000002c6: PUSH1 0x04
000002c8: PUSH2 0x19d7
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x09ab
000002d0: JUMP
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x0249
000002e2: PUSH1 0x9b
000002e4: SLOAD
000002e5: DUP2
000002e6: JUMP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x0249
000002f8: PUSH2 0x0302
000002fb: CALLDATASIZE
000002fc: PUSH1 0x04
000002fe: PUSH2 0x1872
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x0a2b
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x0215
00000318: PUSH2 0x0a40
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x0249
0000032d: PUSH2 0x0337
00000330: CALLDATASIZE
00000331: PUSH1 0x04
00000333: PUSH2 0x1872
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH1 0x9a
0000033a: PUSH1 0x20
0000033c: MSTORE
0000033d: PUSH1 0x00
0000033f: SWAP1
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x40
00000344: SWAP1
00000345: KECCAK256
00000346: SLOAD
00000347: DUP2
00000348: JUMP
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: DUP1
0000034c: ISZERO
0000034d: PUSH2 0x0355
00000350: JUMPI
00000351: PUSH1 0x00
00000353: DUP1
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x0249
0000035a: PUSH1 0x97
0000035c: SLOAD
0000035d: DUP2
0000035e: JUMP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x0249
00000370: PUSH1 0x98
00000372: SLOAD
00000373: DUP2
00000374: JUMP
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x0249
00000386: PUSH2 0x0390
00000389: CALLDATASIZE
0000038a: PUSH1 0x04
0000038c: PUSH2 0x19a7
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x9c
00000393: PUSH1 0x20
00000395: MSTORE
00000396: PUSH1 0x00
00000398: SWAP1
00000399: DUP2
0000039a: MSTORE
0000039b: PUSH1 0x40
0000039d: SWAP1
0000039e: KECCAK256
0000039f: SLOAD
000003a0: DUP2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH1 0x65
000003b2: SLOAD
000003b3: PUSH1 0x01
000003b5: PUSH1 0x01
000003b7: PUSH1 0xa0
000003b9: SHL
000003ba: SUB
000003bb: AND
000003bc: JUMPDEST
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: PUSH1 0x01
000003c2: PUSH1 0x01
000003c4: PUSH1 0xa0
000003c6: SHL
000003c7: SUB
000003c8: SWAP1
000003c9: SWAP2
000003ca: AND
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: PUSH2 0x0253
000003d3: JUMP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x0249
000003e5: PUSH1 0x9d
000003e7: SLOAD
000003e8: DUP2
000003e9: JUMP
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH1 0xa5
000003fa: SLOAD
000003fb: PUSH2 0x0249
000003fe: JUMP
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: PUSH1 0xa4
0000040f: SLOAD
00000410: PUSH2 0x03bc
00000413: SWAP1
00000414: PUSH1 0x01
00000416: PUSH1 0x01
00000418: PUSH1 0xa0
0000041a: SHL
0000041b: SUB
0000041c: AND
0000041d: DUP2
0000041e: JUMP
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: DUP1
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: POP
0000042d: PUSH2 0x0249
00000430: PUSH1 0xa5
00000432: SLOAD
00000433: DUP2
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x0249
00000446: PUSH3 0x015180
0000044a: DUP2
0000044b: JUMP
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH1 0xa1
0000045c: SLOAD
0000045d: PUSH2 0x03bc
00000460: SWAP1
00000461: PUSH1 0x01
00000463: PUSH1 0x01
00000465: PUSH1 0xa0
00000467: SHL
00000468: SUB
00000469: AND
0000046a: DUP2
0000046b: JUMP
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH1 0xa2
0000047c: SLOAD
0000047d: PUSH2 0x03bc
00000480: SWAP1
00000481: PUSH1 0x01
00000483: PUSH1 0x01
00000485: PUSH1 0xa0
00000487: SHL
00000488: SUB
00000489: AND
0000048a: DUP2
0000048b: JUMP
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: DUP1
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: POP
0000049a: PUSH2 0x0249
0000049d: PUSH2 0x04a7
000004a0: CALLDATASIZE
000004a1: PUSH1 0x04
000004a3: PUSH2 0x1872
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x99
000004aa: PUSH1 0x20
000004ac: MSTORE
000004ad: PUSH1 0x00
000004af: SWAP1
000004b0: DUP2
000004b1: MSTORE
000004b2: PUSH1 0x40
000004b4: SWAP1
000004b5: KECCAK256
000004b6: SLOAD
000004b7: DUP2
000004b8: JUMP
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH1 0xa0
000004c9: SLOAD
000004ca: PUSH2 0x03bc
000004cd: SWAP1
000004ce: PUSH1 0x01
000004d0: PUSH1 0x01
000004d2: PUSH1 0xa0
000004d4: SHL
000004d5: SUB
000004d6: AND
000004d7: DUP2
000004d8: JUMP
000004d9: JUMPDEST
000004da: CALLVALUE
000004db: DUP1
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x0215
000004ea: PUSH2 0x0a52
000004ed: JUMP
000004ee: JUMPDEST
000004ef: CALLVALUE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: POP
000004fc: PUSH2 0x0249
000004ff: PUSH2 0x0509
00000502: CALLDATASIZE
00000503: PUSH1 0x04
00000505: PUSH2 0x1872
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x9f
0000050c: PUSH1 0x20
0000050e: MSTORE
0000050f: PUSH1 0x00
00000511: SWAP1
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x40
00000516: SWAP1
00000517: KECCAK256
00000518: SLOAD
00000519: DUP2
0000051a: JUMP
0000051b: JUMPDEST
0000051c: CALLVALUE
0000051d: DUP1
0000051e: ISZERO
0000051f: PUSH2 0x0527
00000522: JUMPI
00000523: PUSH1 0x00
00000525: DUP1
00000526: REVERT
00000527: JUMPDEST
00000528: POP
00000529: PUSH2 0x0215
0000052c: PUSH2 0x0536
0000052f: CALLDATASIZE
00000530: PUSH1 0x04
00000532: PUSH2 0x1872
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH2 0x0a62
0000053a: JUMP
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x0249
0000054c: PUSH3 0x093a80
00000550: DUP2
00000551: JUMP
00000552: JUMPDEST
00000553: CALLVALUE
00000554: DUP1
00000555: ISZERO
00000556: PUSH2 0x055e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP1
0000055d: REVERT
0000055e: JUMPDEST
0000055f: POP
00000560: PUSH2 0x0215
00000563: PUSH2 0x056d
00000566: CALLDATASIZE
00000567: PUSH1 0x04
00000569: PUSH2 0x19a7
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x0adb
00000571: JUMP
00000572: JUMPDEST
00000573: CALLVALUE
00000574: DUP1
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH1 0xa3
00000582: SLOAD
00000583: PUSH2 0x03bc
00000586: SWAP1
00000587: PUSH1 0x01
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: SHL
0000058e: SUB
0000058f: AND
00000590: DUP2
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH1 0x00
00000595: SLOAD
00000596: PUSH2 0x0100
00000599: SWAP1
0000059a: DIV
0000059b: PUSH1 0xff
0000059d: AND
0000059e: ISZERO
0000059f: DUP1
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05b2
000005a5: JUMPI
000005a6: POP
000005a7: PUSH1 0x00
000005a9: SLOAD
000005aa: PUSH1 0x01
000005ac: PUSH1 0xff
000005ae: SWAP1
000005af: SWAP2
000005b0: AND
000005b1: LT
000005b2: JUMPDEST
000005b3: DUP1
000005b4: PUSH2 0x05cc
000005b7: JUMPI
000005b8: POP
000005b9: ADDRESS
000005ba: EXTCODESIZE
000005bb: ISZERO
000005bc: DUP1
000005bd: ISZERO
000005be: PUSH2 0x05cc
000005c1: JUMPI
000005c2: POP
000005c3: PUSH1 0x00
000005c5: SLOAD
000005c6: PUSH1 0xff
000005c8: AND
000005c9: PUSH1 0x01
000005cb: EQ
000005cc: JUMPDEST
000005cd: PUSH2 0x062f
000005d0: JUMPI
000005d1: PUSH1 0x40
000005d3: MLOAD
000005d4: PUSH3 0x461bcd
000005d8: PUSH1 0xe5
000005da: SHL
000005db: DUP2
000005dc: MSTORE
000005dd: PUSH1 0x20
000005df: PUSH1 0x04
000005e1: DUP3
000005e2: ADD
000005e3: MSTORE
000005e4: PUSH1 0x2e
000005e6: PUSH1 0x24
000005e8: DUP3
000005e9: ADD
000005ea: MSTORE
000005eb: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
0000060c: PUSH1 0x44
0000060e: DUP3
0000060f: ADD
00000610: MSTORE
00000611: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00000620: PUSH1 0x92
00000622: SHL
00000623: PUSH1 0x64
00000625: DUP3
00000626: ADD
00000627: MSTORE
00000628: PUSH1 0x84
0000062a: ADD
0000062b: PUSH2 0x020c
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x00
00000632: DUP1
00000633: SLOAD
00000634: PUSH1 0xff
00000636: NOT
00000637: AND
00000638: PUSH1 0x01
0000063a: OR
0000063b: SWAP1
0000063c: SSTORE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0652
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: SLOAD
00000647: PUSH2 0xff00
0000064a: NOT
0000064b: AND
0000064c: PUSH2 0x0100
0000064f: OR
00000650: SWAP1
00000651: SSTORE
00000652: JUMPDEST
00000653: PUSH2 0x065a
00000656: PUSH2 0x0ae8
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH2 0x0662
0000065e: PUSH2 0x0b17
00000661: JUMP
00000662: JUMPDEST
00000663: PUSH1 0xa2
00000665: DUP1
00000666: SLOAD
00000667: PUSH1 0x01
00000669: PUSH1 0x01
0000066b: PUSH1 0xa0
0000066d: SHL
0000066e: SUB
0000066f: NOT
00000670: SWAP1
00000671: DUP2
00000672: AND
00000673: PUSH1 0x01
00000675: PUSH1 0x01
00000677: PUSH1 0xa0
00000679: SHL
0000067a: SUB
0000067b: DUP7
0000067c: DUP2
0000067d: AND
0000067e: SWAP2
0000067f: SWAP1
00000680: SWAP2
00000681: OR
00000682: SWAP1
00000683: SWAP3
00000684: SSTORE
00000685: PUSH1 0xa0
00000687: DUP1
00000688: SLOAD
00000689: DUP3
0000068a: AND
0000068b: DUP8
0000068c: DUP5
0000068d: AND
0000068e: OR
0000068f: SWAP1
00000690: SSTORE
00000691: PUSH1 0xa1
00000693: DUP1
00000694: SLOAD
00000695: DUP3
00000696: AND
00000697: DUP10
00000698: DUP5
00000699: AND
0000069a: OR
0000069b: SWAP1
0000069c: SSTORE
0000069d: PUSH1 0xa4
0000069f: DUP1
000006a0: SLOAD
000006a1: DUP3
000006a2: AND
000006a3: DUP6
000006a4: DUP5
000006a5: AND
000006a6: OR
000006a7: SWAP1
000006a8: SSTORE
000006a9: PUSH1 0xa3
000006ab: DUP1
000006ac: SLOAD
000006ad: SWAP1
000006ae: SWAP2
000006af: AND
000006b0: SWAP2
000006b1: DUP8
000006b2: AND
000006b3: SWAP2
000006b4: SWAP1
000006b5: SWAP2
000006b6: OR
000006b7: SWAP1
000006b8: SSTORE
000006b9: PUSH1 0x00
000006bb: PUSH3 0x093a80
000006bf: PUSH2 0x06c8
000006c2: DUP2
000006c3: TIMESTAMP
000006c4: PUSH2 0x1a94
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH2 0x06d2
000006cc: SWAP2
000006cd: SWAP1
000006ce: PUSH2 0x1b37
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x97
000006d5: DUP2
000006d6: SWAP1
000006d7: SSTORE
000006d8: PUSH1 0x9b
000006da: DUP2
000006db: SWAP1
000006dc: SSTORE
000006dd: PUSH1 0x98
000006df: SSTORE
000006e0: POP
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x0727
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: SLOAD
000006eb: PUSH2 0xff00
000006ee: NOT
000006ef: AND
000006f0: SWAP1
000006f1: SSTORE
000006f2: PUSH1 0x40
000006f4: MLOAD
000006f5: PUSH1 0x01
000006f7: DUP2
000006f8: MSTORE
000006f9: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
0000071a: SWAP1
0000071b: PUSH1 0x20
0000071d: ADD
0000071e: JUMPDEST
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: DUP1
00000723: SWAP2
00000724: SUB
00000725: SWAP1
00000726: LOG1
00000727: JUMPDEST
00000728: POP
00000729: POP
0000072a: POP
0000072b: POP
0000072c: POP
0000072d: POP
0000072e: JUMP
0000072f: JUMPDEST
00000730: PUSH1 0x00
00000732: PUSH1 0x02
00000734: PUSH1 0x01
00000736: SLOAD
00000737: EQ
00000738: ISZERO
00000739: PUSH2 0x0784
0000073c: JUMPI
0000073d: PUSH1 0x40
0000073f: MLOAD
00000740: PUSH3 0x461bcd
00000744: PUSH1 0xe5
00000746: SHL
00000747: DUP2
00000748: MSTORE
00000749: PUSH1 0x20
0000074b: PUSH1 0x04
0000074d: DUP3
0000074e: ADD
0000074f: MSTORE
00000750: PUSH1 0x1f
00000752: PUSH1 0x24
00000754: DUP3
00000755: ADD
00000756: MSTORE
00000757: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000778: PUSH1 0x44
0000077a: DUP3
0000077b: ADD
0000077c: MSTORE
0000077d: PUSH1 0x64
0000077f: ADD
00000780: PUSH2 0x020c
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH1 0x02
00000787: PUSH1 0x01
00000789: SSTORE
0000078a: PUSH1 0x98
0000078c: SLOAD
0000078d: CALLER
0000078e: SWAP1
0000078f: TIMESTAMP
00000790: LT
00000791: PUSH2 0x079c
00000794: JUMPI
00000795: PUSH2 0x079c
00000798: PUSH2 0x0b46
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH3 0x015180
000007a1: PUSH1 0x9b
000007a3: SLOAD
000007a4: PUSH2 0x07ad
000007a7: SWAP2
000007a8: SWAP1
000007a9: PUSH2 0x1a7c
000007ac: JUMP
000007ad: JUMPDEST
000007ae: TIMESTAMP
000007af: GT
000007b0: ISZERO
000007b1: PUSH2 0x07bc
000007b4: JUMPI
000007b5: PUSH2 0x07bc
000007b8: PUSH2 0x0d0c
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x00
000007bf: PUSH2 0x07ca
000007c2: DUP3
000007c3: PUSH1 0x9b
000007c5: SLOAD
000007c6: PUSH2 0x0d14
000007c9: JUMP
000007ca: JUMPDEST
000007cb: DUP1
000007cc: MLOAD
000007cd: PUSH1 0x20
000007cf: DUP1
000007d0: DUP4
000007d1: ADD
000007d2: MLOAD
000007d3: PUSH1 0x01
000007d5: PUSH1 0x01
000007d7: PUSH1 0xa0
000007d9: SHL
000007da: SUB
000007db: DUP7
000007dc: AND
000007dd: PUSH1 0x00
000007df: SWAP1
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x9a
000007e4: DUP4
000007e5: MSTORE
000007e6: PUSH1 0x40
000007e8: DUP1
000007e9: DUP3
000007ea: KECCAK256
000007eb: SWAP3
000007ec: SWAP1
000007ed: SWAP3
000007ee: SSTORE
000007ef: PUSH1 0x60
000007f1: DUP6
000007f2: ADD
000007f3: MLOAD
000007f4: PUSH1 0x99
000007f6: SWAP1
000007f7: SWAP4
000007f8: MSTORE
000007f9: KECCAK256
000007fa: SSTORE
000007fb: SWAP1
000007fc: SWAP2
000007fd: POP
000007fe: DUP1
000007ff: ISZERO
00000800: PUSH2 0x0995
00000803: JUMPI
00000804: DUP1
00000805: PUSH1 0x9d
00000807: PUSH1 0x00
00000809: DUP3
0000080a: DUP3
0000080b: SLOAD
0000080c: PUSH2 0x0815
0000080f: SWAP2
00000810: SWAP1
00000811: PUSH2 0x1b95
00000814: JUMP
00000815: JUMPDEST
00000816: SWAP1
00000817: SWAP2
00000818: SSTORE
00000819: POP
0000081a: POP
0000081b: DUP5
0000081c: ISZERO
0000081d: PUSH2 0x08ac
00000820: JUMPI
00000821: PUSH1 0xa1
00000823: SLOAD
00000824: PUSH1 0x40
00000826: MLOAD
00000827: PUSH4 0xa9059cbb
0000082c: PUSH1 0xe0
0000082e: SHL
0000082f: DUP2
00000830: MSTORE
00000831: PUSH1 0x01
00000833: PUSH1 0x01
00000835: PUSH1 0xa0
00000837: SHL
00000838: SUB
00000839: DUP6
0000083a: DUP2
0000083b: AND
0000083c: PUSH1 0x04
0000083e: DUP4
0000083f: ADD
00000840: MSTORE
00000841: PUSH1 0x24
00000843: DUP3
00000844: ADD
00000845: DUP5
00000846: SWAP1
00000847: MSTORE
00000848: SWAP1
00000849: SWAP2
0000084a: AND
0000084b: SWAP1
0000084c: PUSH4 0xa9059cbb
00000851: SWAP1
00000852: PUSH1 0x44
00000854: ADD
00000855: PUSH1 0x20
00000857: PUSH1 0x40
00000859: MLOAD
0000085a: DUP1
0000085b: DUP4
0000085c: SUB
0000085d: DUP2
0000085e: PUSH1 0x00
00000860: DUP8
00000861: DUP1
00000862: EXTCODESIZE
00000863: ISZERO
00000864: DUP1
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: GAS
00000871: CALL
00000872: ISZERO
00000873: DUP1
00000874: ISZERO
00000875: PUSH2 0x0882
00000878: JUMPI
00000879: RETURNDATASIZE
0000087a: PUSH1 0x00
0000087c: DUP1
0000087d: RETURNDATACOPY
0000087e: RETURNDATASIZE
0000087f: PUSH1 0x00
00000881: REVERT
00000882: JUMPDEST
00000883: POP
00000884: POP
00000885: POP
00000886: POP
00000887: PUSH1 0x40
00000889: MLOAD
0000088a: RETURNDATASIZE
0000088b: PUSH1 0x1f
0000088d: NOT
0000088e: PUSH1 0x1f
00000890: DUP3
00000891: ADD
00000892: AND
00000893: DUP3
00000894: ADD
00000895: DUP1
00000896: PUSH1 0x40
00000898: MSTORE
00000899: POP
0000089a: DUP2
0000089b: ADD
0000089c: SWAP1
0000089d: PUSH2 0x08a6
000008a0: SWAP2
000008a1: SWAP1
000008a2: PUSH2 0x18aa
000008a5: JUMP
000008a6: JUMPDEST
000008a7: POP
000008a8: PUSH2 0x0914
000008ab: JUMP
000008ac: JUMPDEST
000008ad: PUSH1 0xa1
000008af: SLOAD
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: PUSH4 0x2e1a7d4d
000008b8: PUSH1 0xe0
000008ba: SHL
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x04
000008bf: DUP2
000008c0: ADD
000008c1: DUP4
000008c2: SWAP1
000008c3: MSTORE
000008c4: PUSH1 0x01
000008c6: PUSH1 0x01
000008c8: PUSH1 0xa0
000008ca: SHL
000008cb: SUB
000008cc: SWAP1
000008cd: SWAP2
000008ce: AND
000008cf: SWAP1
000008d0: PUSH4 0x2e1a7d4d
000008d5: SWAP1
000008d6: PUSH1 0x24
000008d8: ADD
000008d9: PUSH1 0x00
000008db: PUSH1 0x40
000008dd: MLOAD
000008de: DUP1
000008df: DUP4
000008e0: SUB
000008e1: DUP2
000008e2: PUSH1 0x00
000008e4: DUP8
000008e5: DUP1
000008e6: EXTCODESIZE
000008e7: ISZERO
000008e8: DUP1
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: POP
000008f4: GAS
000008f5: CALL
000008f6: ISZERO
000008f7: DUP1
000008f8: ISZERO
000008f9: PUSH2 0x0906
000008fc: JUMPI
000008fd: RETURNDATASIZE
000008fe: PUSH1 0x00
00000900: DUP1
00000901: RETURNDATACOPY
00000902: RETURNDATASIZE
00000903: PUSH1 0x00
00000905: REVERT
00000906: JUMPDEST
00000907: POP
00000908: POP
00000909: POP
0000090a: POP
0000090b: PUSH2 0x0914
0000090e: DUP4
0000090f: DUP3
00000910: PUSH2 0x11b8
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x01
00000917: PUSH1 0x01
00000919: PUSH1 0xa0
0000091b: SHL
0000091c: SUB
0000091d: DUP4
0000091e: AND
0000091f: PUSH1 0x00
00000921: SWAP1
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x9f
00000926: PUSH1 0x20
00000928: MSTORE
00000929: PUSH1 0x40
0000092b: DUP2
0000092c: KECCAK256
0000092d: DUP1
0000092e: SLOAD
0000092f: DUP4
00000930: SWAP3
00000931: SWAP1
00000932: PUSH2 0x093c
00000935: SWAP1
00000936: DUP5
00000937: SWAP1
00000938: PUSH2 0x1a7c
0000093b: JUMP
0000093c: JUMPDEST
0000093d: SWAP1
0000093e: SWAP2
0000093f: SSTORE
00000940: POP
00000941: POP
00000942: PUSH1 0x20
00000944: DUP1
00000945: DUP4
00000946: ADD
00000947: MLOAD
00000948: PUSH1 0x40
0000094a: DUP1
0000094b: DUP6
0000094c: ADD
0000094d: MLOAD
0000094e: DUP2
0000094f: MLOAD
00000950: DUP6
00000951: DUP2
00000952: MSTORE
00000953: SWAP4
00000954: DUP5
00000955: ADD
00000956: SWAP3
00000957: SWAP1
00000958: SWAP3
00000959: MSTORE
0000095a: DUP3
0000095b: ADD
0000095c: MSTORE
0000095d: PUSH1 0x01
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: SHL
00000964: SUB
00000965: DUP5
00000966: AND
00000967: SWAP1
00000968: PUSH32 0x9cdcf2f7714cca3508c7f0110b04a90a80a3a8dd0e35de99689db74d28c5383e
00000989: SWAP1
0000098a: PUSH1 0x60
0000098c: ADD
0000098d: PUSH1 0x40
0000098f: MLOAD
00000990: DUP1
00000991: SWAP2
00000992: SUB
00000993: SWAP1
00000994: LOG2
00000995: JUMPDEST
00000996: PUSH1 0x01
00000998: DUP1
00000999: SSTORE
0000099a: SWAP5
0000099b: SWAP4
0000099c: POP
0000099d: POP
0000099e: POP
0000099f: POP
000009a0: JUMP
000009a1: JUMPDEST
000009a2: PUSH2 0x09a9
000009a5: PUSH2 0x0b46
000009a8: JUMP
000009a9: JUMPDEST
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH1 0x00
000009ae: DUP1
000009af: PUSH3 0x093a80
000009b3: PUSH2 0x09bc
000009b6: DUP2
000009b7: DUP7
000009b8: PUSH2 0x1a94
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH2 0x09c6
000009c0: SWAP2
000009c1: SWAP1
000009c2: PUSH2 0x1b37
000009c5: JUMP
000009c6: JUMPDEST
000009c7: SWAP1
000009c8: POP
000009c9: PUSH1 0x00
000009cb: PUSH3 0x093a80
000009cf: PUSH2 0x09d8
000009d2: DUP2
000009d3: DUP7
000009d4: PUSH2 0x1a94
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH2 0x09e2
000009dc: SWAP2
000009dd: SWAP1
000009de: PUSH2 0x1b37
000009e1: JUMP
000009e2: JUMPDEST
000009e3: SWAP1
000009e4: POP
000009e5: PUSH1 0x00
000009e7: DUP3
000009e8: JUMPDEST
000009e9: DUP3
000009ea: DUP2
000009eb: LT
000009ec: ISZERO
000009ed: PUSH2 0x0a1f
000009f0: JUMPI
000009f1: PUSH1 0x00
000009f3: DUP2
000009f4: DUP2
000009f5: MSTORE
000009f6: PUSH1 0x9c
000009f8: PUSH1 0x20
000009fa: MSTORE
000009fb: PUSH1 0x40
000009fd: SWAP1
000009fe: KECCAK256
000009ff: SLOAD
00000a00: PUSH2 0x0a09
00000a03: SWAP1
00000a04: DUP4
00000a05: PUSH2 0x1a7c
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: SWAP2
00000a0b: POP
00000a0c: PUSH2 0x0a18
00000a0f: PUSH3 0x093a80
00000a13: DUP3
00000a14: PUSH2 0x1a7c
00000a17: JUMP
00000a18: JUMPDEST
00000a19: SWAP1
00000a1a: POP
00000a1b: PUSH2 0x09e8
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: POP
00000a21: SWAP3
00000a22: POP
00000a23: POP
00000a24: POP
00000a25: JUMPDEST
00000a26: SWAP3
00000a27: SWAP2
00000a28: POP
00000a29: POP
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: PUSH1 0x00
00000a2e: PUSH2 0x0a39
00000a31: DUP3
00000a32: PUSH1 0x9b
00000a34: SLOAD
00000a35: PUSH2 0x0d14
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: MLOAD
00000a3b: SWAP3
00000a3c: SWAP2
00000a3d: POP
00000a3e: POP
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH2 0x0a48
00000a44: PUSH2 0x1270
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH2 0x09a9
00000a4c: PUSH1 0x00
00000a4e: PUSH2 0x12ca
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH2 0x0a5a
00000a56: PUSH2 0x0b46
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH2 0x09a9
00000a5e: PUSH2 0x0d0c
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH2 0x0a6a
00000a66: PUSH2 0x1270
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0xa0
00000a71: SHL
00000a72: SUB
00000a73: DUP2
00000a74: AND
00000a75: PUSH2 0x0acf
00000a78: JUMPI
00000a79: PUSH1 0x40
00000a7b: MLOAD
00000a7c: PUSH3 0x461bcd
00000a80: PUSH1 0xe5
00000a82: SHL
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: PUSH1 0x04
00000a89: DUP3
00000a8a: ADD
00000a8b: MSTORE
00000a8c: PUSH1 0x26
00000a8e: PUSH1 0x24
00000a90: DUP3
00000a91: ADD
00000a92: MSTORE
00000a93: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000ab4: PUSH1 0x44
00000ab6: DUP3
00000ab7: ADD
00000ab8: MSTORE
00000ab9: PUSH6 0x646472657373
00000ac0: PUSH1 0xd0
00000ac2: SHL
00000ac3: PUSH1 0x64
00000ac5: DUP3
00000ac6: ADD
00000ac7: MSTORE
00000ac8: PUSH1 0x84
00000aca: ADD
00000acb: PUSH2 0x020c
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH2 0x0ad8
00000ad3: DUP2
00000ad4: PUSH2 0x12ca
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH2 0x0ae3
00000adf: PUSH2 0x1270
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: PUSH1 0xa5
00000ae6: SSTORE
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH1 0x00
00000aeb: SLOAD
00000aec: PUSH2 0x0100
00000aef: SWAP1
00000af0: DIV
00000af1: PUSH1 0xff
00000af3: AND
00000af4: PUSH2 0x0b0f
00000af7: JUMPI
00000af8: PUSH1 0x40
00000afa: MLOAD
00000afb: PUSH3 0x461bcd
00000aff: PUSH1 0xe5
00000b01: SHL
00000b02: DUP2
00000b03: MSTORE
00000b04: PUSH1 0x04
00000b06: ADD
00000b07: PUSH2 0x020c
00000b0a: SWAP1
00000b0b: PUSH2 0x1a31
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: PUSH2 0x09a9
00000b13: PUSH2 0x131c
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH1 0x00
00000b1a: SLOAD
00000b1b: PUSH2 0x0100
00000b1e: SWAP1
00000b1f: DIV
00000b20: PUSH1 0xff
00000b22: AND
00000b23: PUSH2 0x0b3e
00000b26: JUMPI
00000b27: PUSH1 0x40
00000b29: MLOAD
00000b2a: PUSH3 0x461bcd
00000b2e: PUSH1 0xe5
00000b30: SHL
00000b31: DUP2
00000b32: MSTORE
00000b33: PUSH1 0x04
00000b35: ADD
00000b36: PUSH2 0x020c
00000b39: SWAP1
00000b3a: PUSH2 0x1a31
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH2 0x09a9
00000b42: PUSH2 0x134c
00000b45: JUMP
00000b46: JUMPDEST
00000b47: PUSH1 0x98
00000b49: SLOAD
00000b4a: PUSH1 0x00
00000b4c: PUSH3 0x093a80
00000b50: PUSH2 0x0b59
00000b53: DUP2
00000b54: TIMESTAMP
00000b55: PUSH2 0x1a94
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: PUSH2 0x0b63
00000b5d: SWAP2
00000b5e: SWAP1
00000b5f: PUSH2 0x1b37
00000b62: JUMP
00000b63: JUMPDEST
00000b64: SWAP1
00000b65: POP
00000b66: PUSH1 0xa0
00000b68: PUSH1 0x00
00000b6a: SWAP1
00000b6b: SLOAD
00000b6c: SWAP1
00000b6d: PUSH2 0x0100
00000b70: EXP
00000b71: SWAP1
00000b72: DIV
00000b73: PUSH1 0x01
00000b75: PUSH1 0x01
00000b77: PUSH1 0xa0
00000b79: SHL
00000b7a: SUB
00000b7b: AND
00000b7c: PUSH1 0x01
00000b7e: PUSH1 0x01
00000b80: PUSH1 0xa0
00000b82: SHL
00000b83: SUB
00000b84: AND
00000b85: PUSH4 0x7b7933b4
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: DUP2
00000b8e: PUSH4 0xffffffff
00000b93: AND
00000b94: PUSH1 0xe0
00000b96: SHL
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x04
00000b9b: ADD
00000b9c: PUSH1 0x00
00000b9e: PUSH1 0x40
00000ba0: MLOAD
00000ba1: DUP1
00000ba2: DUP4
00000ba3: SUB
00000ba4: DUP2
00000ba5: PUSH1 0x00
00000ba7: DUP8
00000ba8: DUP1
00000ba9: EXTCODESIZE
00000baa: ISZERO
00000bab: DUP1
00000bac: ISZERO
00000bad: PUSH2 0x0bb5
00000bb0: JUMPI
00000bb1: PUSH1 0x00
00000bb3: DUP1
00000bb4: REVERT
00000bb5: JUMPDEST
00000bb6: POP
00000bb7: GAS
00000bb8: CALL
00000bb9: ISZERO
00000bba: DUP1
00000bbb: ISZERO
00000bbc: PUSH2 0x0bc9
00000bbf: JUMPI
00000bc0: RETURNDATASIZE
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: RETURNDATACOPY
00000bc5: RETURNDATASIZE
00000bc6: PUSH1 0x00
00000bc8: REVERT
00000bc9: JUMPDEST
00000bca: POP
00000bcb: POP
00000bcc: POP
00000bcd: POP
00000bce: PUSH1 0x00
00000bd0: JUMPDEST
00000bd1: PUSH1 0x34
00000bd3: DUP2
00000bd4: LT
00000bd5: ISZERO
00000bd6: PUSH2 0x0d05
00000bd9: JUMPI
00000bda: DUP2
00000bdb: DUP4
00000bdc: GT
00000bdd: ISZERO
00000bde: PUSH2 0x0be6
00000be1: JUMPI
00000be2: PUSH2 0x0d05
00000be5: JUMP
00000be6: JUMPDEST
00000be7: PUSH1 0x00
00000be9: PUSH2 0x0bf1
00000bec: DUP5
00000bed: PUSH2 0x1379
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: PUSH1 0xa0
00000bf4: SLOAD
00000bf5: PUSH1 0x40
00000bf7: MLOAD
00000bf8: PUSH4 0x06b0f1b1
00000bfd: PUSH1 0xe3
00000bff: SHL
00000c00: DUP2
00000c01: MSTORE
00000c02: PUSH1 0x04
00000c04: DUP2
00000c05: ADD
00000c06: DUP4
00000c07: SWAP1
00000c08: MSTORE
00000c09: SWAP2
00000c0a: SWAP3
00000c0b: POP
00000c0c: PUSH1 0x00
00000c0e: SWAP2
00000c0f: PUSH1 0x01
00000c11: PUSH1 0x01
00000c13: PUSH1 0xa0
00000c15: SHL
00000c16: SUB
00000c17: SWAP1
00000c18: SWAP2
00000c19: AND
00000c1a: SWAP1
00000c1b: PUSH4 0x35878d88
00000c20: SWAP1
00000c21: PUSH1 0x24
00000c23: ADD
00000c24: PUSH1 0x80
00000c26: PUSH1 0x40
00000c28: MLOAD
00000c29: DUP1
00000c2a: DUP4
00000c2b: SUB
00000c2c: DUP2
00000c2d: DUP7
00000c2e: DUP1
00000c2f: EXTCODESIZE
00000c30: ISZERO
00000c31: DUP1
00000c32: ISZERO
00000c33: PUSH2 0x0c3b
00000c36: JUMPI
00000c37: PUSH1 0x00
00000c39: DUP1
00000c3a: REVERT
00000c3b: JUMPDEST
00000c3c: POP
00000c3d: GAS
00000c3e: STATICCALL
00000c3f: ISZERO
00000c40: DUP1
00000c41: ISZERO
00000c42: PUSH2 0x0c4f
00000c45: JUMPI
00000c46: RETURNDATASIZE
00000c47: PUSH1 0x00
00000c49: DUP1
00000c4a: RETURNDATACOPY
00000c4b: RETURNDATASIZE
00000c4c: PUSH1 0x00
00000c4e: REVERT
00000c4f: JUMPDEST
00000c50: POP
00000c51: POP
00000c52: POP
00000c53: POP
00000c54: PUSH1 0x40
00000c56: MLOAD
00000c57: RETURNDATASIZE
00000c58: PUSH1 0x1f
00000c5a: NOT
00000c5b: PUSH1 0x1f
00000c5d: DUP3
00000c5e: ADD
00000c5f: AND
00000c60: DUP3
00000c61: ADD
00000c62: DUP1
00000c63: PUSH1 0x40
00000c65: MSTORE
00000c66: POP
00000c67: DUP2
00000c68: ADD
00000c69: SWAP1
00000c6a: PUSH2 0x0c73
00000c6d: SWAP2
00000c6e: SWAP1
00000c6f: PUSH2 0x1936
00000c72: JUMP
00000c73: JUMPDEST
00000c74: SWAP1
00000c75: POP
00000c76: PUSH1 0x00
00000c78: DUP2
00000c79: PUSH1 0x40
00000c7b: ADD
00000c7c: MLOAD
00000c7d: DUP7
00000c7e: GT
00000c7f: ISZERO
00000c80: PUSH2 0x0c95
00000c83: JUMPI
00000c84: PUSH1 0x40
00000c86: DUP3
00000c87: ADD
00000c88: MLOAD
00000c89: PUSH2 0x0c92
00000c8c: SWAP1
00000c8d: DUP8
00000c8e: PUSH2 0x1b95
00000c91: JUMP
00000c92: JUMPDEST
00000c93: SWAP1
00000c94: POP
00000c95: JUMPDEST
00000c96: PUSH1 0x00
00000c98: DUP2
00000c99: DUP4
00000c9a: PUSH1 0x20
00000c9c: ADD
00000c9d: MLOAD
00000c9e: PUSH2 0x0ca7
00000ca1: SWAP2
00000ca2: SWAP1
00000ca3: PUSH2 0x1ab4
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: DUP4
00000ca9: MLOAD
00000caa: PUSH2 0x0cb3
00000cad: SWAP2
00000cae: SWAP1
00000caf: PUSH2 0x1b56
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH1 0x00
00000cb6: DUP9
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x9e
00000cbb: PUSH1 0x20
00000cbd: MSTORE
00000cbe: PUSH1 0x40
00000cc0: DUP2
00000cc1: KECCAK256
00000cc2: DUP2
00000cc3: SWAP1
00000cc4: SSTORE
00000cc5: SWAP1
00000cc6: SWAP2
00000cc7: POP
00000cc8: DUP2
00000cc9: SGT
00000cca: ISZERO
00000ccb: PUSH2 0x0ce0
00000cce: JUMPI
00000ccf: PUSH1 0x00
00000cd1: DUP8
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x9e
00000cd6: PUSH1 0x20
00000cd8: MSTORE
00000cd9: PUSH1 0x40
00000cdb: SWAP1
00000cdc: KECCAK256
00000cdd: DUP2
00000cde: SWAP1
00000cdf: SSTORE
00000ce0: JUMPDEST
00000ce1: POP
00000ce2: POP
00000ce3: POP
00000ce4: POP
00000ce5: PUSH2 0x0cf1
00000ce8: PUSH3 0x093a80
00000cec: DUP5
00000ced: PUSH2 0x1a7c
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: SWAP3
00000cf3: POP
00000cf4: DUP1
00000cf5: PUSH2 0x0cfd
00000cf8: DUP2
00000cf9: PUSH2 0x1bac
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: SWAP2
00000cff: POP
00000d00: POP
00000d01: PUSH2 0x0bd0
00000d04: JUMP
00000d05: JUMPDEST
00000d06: POP
00000d07: POP
00000d08: PUSH1 0x98
00000d0a: SSTORE
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH2 0x09a9
00000d10: PUSH2 0x1508
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH2 0x0d3f
00000d18: PUSH1 0x40
00000d1a: MLOAD
00000d1b: DUP1
00000d1c: PUSH1 0x80
00000d1e: ADD
00000d1f: PUSH1 0x40
00000d21: MSTORE
00000d22: DUP1
00000d23: PUSH1 0x00
00000d25: DUP2
00000d26: MSTORE
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: PUSH1 0x00
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: PUSH1 0x20
00000d30: ADD
00000d31: PUSH1 0x00
00000d33: DUP2
00000d34: MSTORE
00000d35: PUSH1 0x20
00000d37: ADD
00000d38: PUSH1 0x00
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: POP
00000d3d: SWAP1
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH1 0x00
00000d42: PUSH3 0x093a80
00000d46: PUSH2 0x0d4f
00000d49: DUP2
00000d4a: DUP6
00000d4b: PUSH2 0x1a94
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH2 0x0d59
00000d53: SWAP2
00000d54: SWAP1
00000d55: PUSH2 0x1b37
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0xa0
00000d5c: SLOAD
00000d5d: PUSH1 0x40
00000d5f: MLOAD
00000d60: PUSH4 0x8c71e5d1
00000d65: PUSH1 0xe0
00000d67: SHL
00000d68: DUP2
00000d69: MSTORE
00000d6a: PUSH1 0x01
00000d6c: PUSH1 0x01
00000d6e: PUSH1 0xa0
00000d70: SHL
00000d71: SUB
00000d72: DUP8
00000d73: DUP2
00000d74: AND
00000d75: PUSH1 0x04
00000d77: DUP4
00000d78: ADD
00000d79: MSTORE
00000d7a: SWAP3
00000d7b: SWAP4
00000d7c: POP
00000d7d: PUSH1 0x00
00000d7f: SWAP3
00000d80: DUP4
00000d81: SWAP3
00000d82: DUP4
00000d83: SWAP3
00000d84: SWAP2
00000d85: AND
00000d86: SWAP1
00000d87: PUSH4 0x8c71e5d1
00000d8c: SWAP1
00000d8d: PUSH1 0x24
00000d8f: ADD
00000d90: PUSH1 0x20
00000d92: PUSH1 0x40
00000d94: MLOAD
00000d95: DUP1
00000d96: DUP4
00000d97: SUB
00000d98: DUP2
00000d99: DUP7
00000d9a: DUP1
00000d9b: EXTCODESIZE
00000d9c: ISZERO
00000d9d: DUP1
00000d9e: ISZERO
00000d9f: PUSH2 0x0da7
00000da2: JUMPI
00000da3: PUSH1 0x00
00000da5: DUP1
00000da6: REVERT
00000da7: JUMPDEST
00000da8: POP
00000da9: GAS
00000daa: STATICCALL
00000dab: ISZERO
00000dac: DUP1
00000dad: ISZERO
00000dae: PUSH2 0x0dbb
00000db1: JUMPI
00000db2: RETURNDATASIZE
00000db3: PUSH1 0x00
00000db5: DUP1
00000db6: RETURNDATACOPY
00000db7: RETURNDATASIZE
00000db8: PUSH1 0x00
00000dba: REVERT
00000dbb: JUMPDEST
00000dbc: POP
00000dbd: POP
00000dbe: POP
00000dbf: POP
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: RETURNDATASIZE
00000dc4: PUSH1 0x1f
00000dc6: NOT
00000dc7: PUSH1 0x1f
00000dc9: DUP3
00000dca: ADD
00000dcb: AND
00000dcc: DUP3
00000dcd: ADD
00000dce: DUP1
00000dcf: PUSH1 0x40
00000dd1: MSTORE
00000dd2: POP
00000dd3: DUP2
00000dd4: ADD
00000dd5: SWAP1
00000dd6: PUSH2 0x0ddf
00000dd9: SWAP2
00000dda: SWAP1
00000ddb: PUSH2 0x19bf
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: SWAP1
00000de1: POP
00000de2: DUP1
00000de3: PUSH2 0x0e16
00000de6: JUMPI
00000de7: PUSH1 0x40
00000de9: MLOAD
00000dea: DUP1
00000deb: PUSH1 0x80
00000ded: ADD
00000dee: PUSH1 0x40
00000df0: MSTORE
00000df1: DUP1
00000df2: PUSH1 0x00
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: ADD
00000df9: PUSH1 0x00
00000dfb: DUP2
00000dfc: MSTORE
00000dfd: PUSH1 0x20
00000dff: ADD
00000e00: PUSH1 0x00
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: PUSH1 0x00
00000e09: DUP2
00000e0a: MSTORE
00000e0b: POP
00000e0c: SWAP5
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: POP
00000e11: POP
00000e12: PUSH2 0x0a25
00000e15: JUMP
00000e16: JUMPDEST
00000e17: PUSH1 0x01
00000e19: PUSH1 0x01
00000e1b: PUSH1 0xa0
00000e1d: SHL
00000e1e: SUB
00000e1f: DUP8
00000e20: AND
00000e21: PUSH1 0x00
00000e23: SWAP1
00000e24: DUP2
00000e25: MSTORE
00000e26: PUSH1 0x99
00000e28: PUSH1 0x20
00000e2a: MSTORE
00000e2b: PUSH1 0x40
00000e2d: SWAP1
00000e2e: KECCAK256
00000e2f: SLOAD
00000e30: DUP1
00000e31: PUSH2 0x0e48
00000e34: JUMPI
00000e35: PUSH2 0x0e41
00000e38: DUP9
00000e39: PUSH1 0x97
00000e3b: SLOAD
00000e3c: DUP5
00000e3d: PUSH2 0x174f
00000e40: JUMP
00000e41: JUMPDEST
00000e42: SWAP4
00000e43: POP
00000e44: PUSH2 0x0e64
00000e47: JUMP
00000e48: JUMPDEST
00000e49: PUSH1 0x01
00000e4b: PUSH1 0x01
00000e4d: PUSH1 0xa0
00000e4f: SHL
00000e50: SUB
00000e51: DUP9
00000e52: AND
00000e53: PUSH1 0x00
00000e55: SWAP1
00000e56: DUP2
00000e57: MSTORE
00000e58: PUSH1 0x9a
00000e5a: PUSH1 0x20
00000e5c: MSTORE
00000e5d: PUSH1 0x40
00000e5f: SWAP1
00000e60: KECCAK256
00000e61: SLOAD
00000e62: SWAP4
00000e63: POP
00000e64: JUMPDEST
00000e65: DUP4
00000e66: PUSH2 0x0e6e
00000e69: JUMPI
00000e6a: PUSH1 0x01
00000e6c: SWAP4
00000e6d: POP
00000e6e: JUMPDEST
00000e6f: PUSH1 0xa0
00000e71: SLOAD
00000e72: PUSH1 0x40
00000e74: MLOAD
00000e75: PUSH4 0x321ed7ef
00000e7a: PUSH1 0xe1
00000e7c: SHL
00000e7d: DUP2
00000e7e: MSTORE
00000e7f: PUSH1 0x01
00000e81: PUSH1 0x01
00000e83: PUSH1 0xa0
00000e85: SHL
00000e86: SUB
00000e87: DUP11
00000e88: DUP2
00000e89: AND
00000e8a: PUSH1 0x04
00000e8c: DUP4
00000e8d: ADD
00000e8e: MSTORE
00000e8f: PUSH1 0x24
00000e91: DUP3
00000e92: ADD
00000e93: DUP8
00000e94: SWAP1
00000e95: MSTORE
00000e96: PUSH1 0x00
00000e98: SWAP3
00000e99: AND
00000e9a: SWAP1
00000e9b: PUSH4 0x643dafde
00000ea0: SWAP1
00000ea1: PUSH1 0x44
00000ea3: ADD
00000ea4: PUSH1 0x80
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: DUP1
00000eaa: DUP4
00000eab: SUB
00000eac: DUP2
00000ead: DUP7
00000eae: DUP1
00000eaf: EXTCODESIZE
00000eb0: ISZERO
00000eb1: DUP1
00000eb2: ISZERO
00000eb3: PUSH2 0x0ebb
00000eb6: JUMPI
00000eb7: PUSH1 0x00
00000eb9: DUP1
00000eba: REVERT
00000ebb: JUMPDEST
00000ebc: POP
00000ebd: GAS
00000ebe: STATICCALL
00000ebf: ISZERO
00000ec0: DUP1
00000ec1: ISZERO
00000ec2: PUSH2 0x0ecf
00000ec5: JUMPI
00000ec6: RETURNDATASIZE
00000ec7: PUSH1 0x00
00000ec9: DUP1
00000eca: RETURNDATACOPY
00000ecb: RETURNDATASIZE
00000ecc: PUSH1 0x00
00000ece: REVERT
00000ecf: JUMPDEST
00000ed0: POP
00000ed1: POP
00000ed2: POP
00000ed3: POP
00000ed4: PUSH1 0x40
00000ed6: MLOAD
00000ed7: RETURNDATASIZE
00000ed8: PUSH1 0x1f
00000eda: NOT
00000edb: PUSH1 0x1f
00000edd: DUP3
00000ede: ADD
00000edf: AND
00000ee0: DUP3
00000ee1: ADD
00000ee2: DUP1
00000ee3: PUSH1 0x40
00000ee5: MSTORE
00000ee6: POP
00000ee7: DUP2
00000ee8: ADD
00000ee9: SWAP1
00000eea: PUSH2 0x0ef3
00000eed: SWAP2
00000eee: SWAP1
00000eef: PUSH2 0x1936
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: SWAP1
00000ef5: POP
00000ef6: DUP2
00000ef7: PUSH2 0x0f35
00000efa: JUMPI
00000efb: PUSH3 0x093a80
00000eff: DUP1
00000f00: PUSH1 0x01
00000f02: PUSH3 0x093a80
00000f06: DUP5
00000f07: PUSH1 0x40
00000f09: ADD
00000f0a: MLOAD
00000f0b: PUSH2 0x0f14
00000f0e: SWAP2
00000f0f: SWAP1
00000f10: PUSH2 0x1a7c
00000f13: JUMP
00000f14: JUMPDEST
00000f15: PUSH2 0x0f1e
00000f18: SWAP2
00000f19: SWAP1
00000f1a: PUSH2 0x1b95
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH2 0x0f28
00000f22: SWAP2
00000f23: SWAP1
00000f24: PUSH2 0x1a94
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH2 0x0f32
00000f2c: SWAP2
00000f2d: SWAP1
00000f2e: PUSH2 0x1b37
00000f31: JUMP
00000f32: JUMPDEST
00000f33: SWAP2
00000f34: POP
00000f35: JUMPDEST
00000f36: DUP6
00000f37: DUP3
00000f38: LT
00000f39: PUSH2 0x0f68
00000f3c: JUMPI
00000f3d: POP
00000f3e: PUSH1 0x40
00000f40: DUP1
00000f41: MLOAD
00000f42: PUSH1 0x80
00000f44: DUP2
00000f45: ADD
00000f46: DUP3
00000f47: MSTORE
00000f48: PUSH1 0x00
00000f4a: DUP2
00000f4b: MSTORE
00000f4c: PUSH1 0x20
00000f4e: DUP2
00000f4f: ADD
00000f50: SWAP6
00000f51: SWAP1
00000f52: SWAP6
00000f53: MSTORE
00000f54: DUP5
00000f55: ADD
00000f56: SWAP2
00000f57: SWAP1
00000f58: SWAP2
00000f59: MSTORE
00000f5a: PUSH1 0x60
00000f5c: DUP4
00000f5d: ADD
00000f5e: MSTORE
00000f5f: POP
00000f60: SWAP2
00000f61: POP
00000f62: PUSH2 0x0a25
00000f65: SWAP1
00000f66: POP
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH1 0x97
00000f6b: SLOAD
00000f6c: DUP3
00000f6d: LT
00000f6e: ISZERO
00000f6f: PUSH2 0x0f78
00000f72: JUMPI
00000f73: PUSH1 0x97
00000f75: SLOAD
00000f76: SWAP2
00000f77: POP
00000f78: JUMPDEST
00000f79: PUSH2 0x0fa3
00000f7c: PUSH1 0x40
00000f7e: MLOAD
00000f7f: DUP1
00000f80: PUSH1 0x80
00000f82: ADD
00000f83: PUSH1 0x40
00000f85: MSTORE
00000f86: DUP1
00000f87: PUSH1 0x00
00000f89: DUP2
00000f8a: MSTORE
00000f8b: PUSH1 0x20
00000f8d: ADD
00000f8e: PUSH1 0x00
00000f90: DUP2
00000f91: MSTORE
00000f92: PUSH1 0x20
00000f94: ADD
00000f95: PUSH1 0x00
00000f97: DUP2
00000f98: MSTORE
00000f99: PUSH1 0x20
00000f9b: ADD
00000f9c: PUSH1 0x00
00000f9e: DUP2
00000f9f: MSTORE
00000fa0: POP
00000fa1: SWAP1
00000fa2: JUMP
00000fa3: JUMPDEST
00000fa4: PUSH1 0x00
00000fa6: JUMPDEST
00000fa7: PUSH1 0xff
00000fa9: DUP2
00000faa: LT
00000fab: ISZERO
00000fac: PUSH2 0x1178
00000faf: JUMPI
00000fb0: DUP8
00000fb1: DUP5
00000fb2: LT
00000fb3: PUSH2 0x0fbb
00000fb6: JUMPI
00000fb7: PUSH2 0x1178
00000fba: JUMP
00000fbb: JUMPDEST
00000fbc: DUP3
00000fbd: PUSH1 0x40
00000fbf: ADD
00000fc0: MLOAD
00000fc1: DUP5
00000fc2: LT
00000fc3: ISZERO
00000fc4: DUP1
00000fc5: ISZERO
00000fc6: PUSH2 0x0fcf
00000fc9: JUMPI
00000fca: POP
00000fcb: DUP5
00000fcc: DUP8
00000fcd: GT
00000fce: ISZERO
00000fcf: JUMPDEST
00000fd0: ISZERO
00000fd1: PUSH2 0x10a2
00000fd4: JUMPI
00000fd5: PUSH2 0x0fdf
00000fd8: PUSH1 0x01
00000fda: DUP9
00000fdb: PUSH2 0x1a7c
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: SWAP7
00000fe1: POP
00000fe2: DUP3
00000fe3: SWAP2
00000fe4: POP
00000fe5: DUP5
00000fe6: DUP8
00000fe7: GT
00000fe8: ISZERO
00000fe9: PUSH2 0x101e
00000fec: JUMPI
00000fed: PUSH2 0x1017
00000ff0: PUSH1 0x40
00000ff2: MLOAD
00000ff3: DUP1
00000ff4: PUSH1 0x80
00000ff6: ADD
00000ff7: PUSH1 0x40
00000ff9: MSTORE
00000ffa: DUP1
00000ffb: PUSH1 0x00
00000ffd: DUP2
00000ffe: MSTORE
00000fff: PUSH1 0x20
00001001: ADD
00001002: PUSH1 0x00
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x20
00001008: ADD
00001009: PUSH1 0x00
0000100b: DUP2
0000100c: MSTORE
0000100d: PUSH1 0x20
0000100f: ADD
00001010: PUSH1 0x00
00001012: DUP2
00001013: MSTORE
00001014: POP
00001015: SWAP1
00001016: JUMP
00001017: JUMPDEST
00001018: SWAP3
00001019: POP
0000101a: PUSH2 0x1166
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH1 0xa0
00001021: SLOAD
00001022: PUSH1 0x40
00001024: MLOAD
00001025: PUSH4 0x321ed7ef
0000102a: PUSH1 0xe1
0000102c: SHL
0000102d: DUP2
0000102e: MSTORE
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0xa0
00001035: SHL
00001036: SUB
00001037: DUP14
00001038: DUP2
00001039: AND
0000103a: PUSH1 0x04
0000103c: DUP4
0000103d: ADD
0000103e: MSTORE
0000103f: PUSH1 0x24
00001041: DUP3
00001042: ADD
00001043: DUP11
00001044: SWAP1
00001045: MSTORE
00001046: SWAP1
00001047: SWAP2
00001048: AND
00001049: SWAP1
0000104a: PUSH4 0x643dafde
0000104f: SWAP1
00001050: PUSH1 0x44
00001052: ADD
00001053: PUSH1 0x80
00001055: PUSH1 0x40
00001057: MLOAD
00001058: DUP1
00001059: DUP4
0000105a: SUB
0000105b: DUP2
0000105c: DUP7
0000105d: DUP1
0000105e: EXTCODESIZE
0000105f: ISZERO
00001060: DUP1
00001061: ISZERO
00001062: PUSH2 0x106a
00001065: JUMPI
00001066: PUSH1 0x00
00001068: DUP1
00001069: REVERT
0000106a: JUMPDEST
0000106b: POP
0000106c: GAS
0000106d: STATICCALL
0000106e: ISZERO
0000106f: DUP1
00001070: ISZERO
00001071: PUSH2 0x107e
00001074: JUMPI
00001075: RETURNDATASIZE
00001076: PUSH1 0x00
00001078: DUP1
00001079: RETURNDATACOPY
0000107a: RETURNDATASIZE
0000107b: PUSH1 0x00
0000107d: REVERT
0000107e: JUMPDEST
0000107f: POP
00001080: POP
00001081: POP
00001082: POP
00001083: PUSH1 0x40
00001085: MLOAD
00001086: RETURNDATASIZE
00001087: PUSH1 0x1f
00001089: NOT
0000108a: PUSH1 0x1f
0000108c: DUP3
0000108d: ADD
0000108e: AND
0000108f: DUP3
00001090: ADD
00001091: DUP1
00001092: PUSH1 0x40
00001094: MSTORE
00001095: POP
00001096: DUP2
00001097: ADD
00001098: SWAP1
00001099: PUSH2 0x1017
0000109c: SWAP2
0000109d: SWAP1
0000109e: PUSH2 0x1936
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x00
000010a5: DUP3
000010a6: PUSH1 0x40
000010a8: ADD
000010a9: MLOAD
000010aa: DUP6
000010ab: PUSH2 0x10b4
000010ae: SWAP2
000010af: SWAP1
000010b0: PUSH2 0x1b95
000010b3: JUMP
000010b4: JUMPDEST
000010b5: SWAP1
000010b6: POP
000010b7: PUSH1 0x00
000010b9: DUP4
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: MLOAD
000010be: DUP3
000010bf: PUSH2 0x10c8
000010c2: SWAP2
000010c3: SWAP1
000010c4: PUSH2 0x1ab4
000010c7: JUMP
000010c8: JUMPDEST
000010c9: DUP5
000010ca: MLOAD
000010cb: PUSH2 0x10d4
000010ce: SWAP2
000010cf: SWAP1
000010d0: PUSH2 0x1b56
000010d3: JUMP
000010d4: JUMPDEST
000010d5: SWAP1
000010d6: POP
000010d7: PUSH1 0x00
000010d9: DUP1
000010da: DUP3
000010db: SGT
000010dc: ISZERO
000010dd: PUSH2 0x10e3
000010e0: JUMPI
000010e1: POP
000010e2: DUP1
000010e3: JUMPDEST
000010e4: DUP1
000010e5: ISZERO
000010e6: DUP1
000010e7: ISZERO
000010e8: PUSH2 0x10f0
000010eb: JUMPI
000010ec: POP
000010ed: DUP8
000010ee: DUP11
000010ef: GT
000010f0: JUMPDEST
000010f1: ISZERO
000010f2: PUSH2 0x10fd
000010f5: JUMPI
000010f6: POP
000010f7: POP
000010f8: POP
000010f9: PUSH2 0x1178
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH1 0x00
00001100: DUP8
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x9e
00001105: PUSH1 0x20
00001107: MSTORE
00001108: PUSH1 0x40
0000110a: SWAP1
0000110b: KECCAK256
0000110c: SLOAD
0000110d: DUP2
0000110e: ISZERO
0000110f: DUP1
00001110: ISZERO
00001111: SWAP1
00001112: PUSH2 0x111b
00001115: JUMPI
00001116: POP
00001117: PUSH1 0x00
00001119: DUP2
0000111a: GT
0000111b: JUMPDEST
0000111c: ISZERO
0000111d: PUSH2 0x1152
00001120: JUMPI
00001121: PUSH1 0x00
00001123: DUP9
00001124: DUP2
00001125: MSTORE
00001126: PUSH1 0x9c
00001128: PUSH1 0x20
0000112a: MSTORE
0000112b: PUSH1 0x40
0000112d: SWAP1
0000112e: KECCAK256
0000112f: SLOAD
00001130: DUP2
00001131: SWAP1
00001132: PUSH2 0x113b
00001135: SWAP1
00001136: DUP5
00001137: PUSH2 0x1b37
0000113a: JUMP
0000113b: JUMPDEST
0000113c: PUSH2 0x1145
0000113f: SWAP2
00001140: SWAP1
00001141: PUSH2 0x1a94
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH2 0x114f
00001149: SWAP1
0000114a: DUP12
0000114b: PUSH2 0x1a7c
0000114e: JUMP
0000114f: JUMPDEST
00001150: SWAP10
00001151: POP
00001152: JUMPDEST
00001153: PUSH2 0x115f
00001156: PUSH3 0x093a80
0000115a: DUP10
0000115b: PUSH2 0x1a7c
0000115e: JUMP
0000115f: JUMPDEST
00001160: SWAP8
00001161: POP
00001162: POP
00001163: POP
00001164: POP
00001165: POP
00001166: JUMPDEST
00001167: DUP1
00001168: PUSH2 0x1170
0000116b: DUP2
0000116c: PUSH2 0x1bac
0000116f: JUMP
00001170: JUMPDEST
00001171: SWAP2
00001172: POP
00001173: POP
00001174: PUSH2 0x0fa6
00001177: JUMP
00001178: JUMPDEST
00001179: POP
0000117a: PUSH2 0x118d
0000117d: DUP5
0000117e: PUSH2 0x1188
00001181: PUSH1 0x01
00001183: DUP10
00001184: PUSH2 0x1b95
00001187: JUMP
00001188: JUMPDEST
00001189: PUSH2 0x185a
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x40
00001190: DUP1
00001191: MLOAD
00001192: PUSH1 0x80
00001194: DUP2
00001195: ADD
00001196: DUP3
00001197: MSTORE
00001198: SWAP7
00001199: DUP8
0000119a: MSTORE
0000119b: PUSH1 0x20
0000119d: DUP8
0000119e: ADD
0000119f: SWAP2
000011a0: SWAP1
000011a1: SWAP2
000011a2: MSTORE
000011a3: DUP6
000011a4: ADD
000011a5: SWAP4
000011a6: SWAP1
000011a7: SWAP4
000011a8: MSTORE
000011a9: POP
000011aa: PUSH1 0x60
000011ac: DUP4
000011ad: ADD
000011ae: MSTORE
000011af: POP
000011b0: SWAP6
000011b1: SWAP5
000011b2: POP
000011b3: POP
000011b4: POP
000011b5: POP
000011b6: POP
000011b7: JUMP
000011b8: JUMPDEST
000011b9: PUSH1 0x40
000011bb: DUP1
000011bc: MLOAD
000011bd: PUSH1 0x00
000011bf: DUP1
000011c0: DUP3
000011c1: MSTORE
000011c2: PUSH1 0x20
000011c4: DUP3
000011c5: ADD
000011c6: SWAP1
000011c7: SWAP3
000011c8: MSTORE
000011c9: PUSH1 0x01
000011cb: PUSH1 0x01
000011cd: PUSH1 0xa0
000011cf: SHL
000011d0: SUB
000011d1: DUP5
000011d2: AND
000011d3: SWAP1
000011d4: DUP4
000011d5: SWAP1
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: PUSH2 0x11e2
000011dc: SWAP2
000011dd: SWAP1
000011de: PUSH2 0x19f8
000011e1: JUMP
000011e2: JUMPDEST
000011e3: PUSH1 0x00
000011e5: PUSH1 0x40
000011e7: MLOAD
000011e8: DUP1
000011e9: DUP4
000011ea: SUB
000011eb: DUP2
000011ec: DUP6
000011ed: DUP8
000011ee: GAS
000011ef: CALL
000011f0: SWAP3
000011f1: POP
000011f2: POP
000011f3: POP
000011f4: RETURNDATASIZE
000011f5: DUP1
000011f6: PUSH1 0x00
000011f8: DUP2
000011f9: EQ
000011fa: PUSH2 0x121f
000011fd: JUMPI
000011fe: PUSH1 0x40
00001200: MLOAD
00001201: SWAP2
00001202: POP
00001203: PUSH1 0x1f
00001205: NOT
00001206: PUSH1 0x3f
00001208: RETURNDATASIZE
00001209: ADD
0000120a: AND
0000120b: DUP3
0000120c: ADD
0000120d: PUSH1 0x40
0000120f: MSTORE
00001210: RETURNDATASIZE
00001211: DUP3
00001212: MSTORE
00001213: RETURNDATASIZE
00001214: PUSH1 0x00
00001216: PUSH1 0x20
00001218: DUP5
00001219: ADD
0000121a: RETURNDATACOPY
0000121b: PUSH2 0x1224
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x60
00001222: SWAP2
00001223: POP
00001224: JUMPDEST
00001225: POP
00001226: POP
00001227: SWAP1
00001228: POP
00001229: DUP1
0000122a: PUSH2 0x126b
0000122d: JUMPI
0000122e: PUSH1 0x40
00001230: MLOAD
00001231: PUSH3 0x461bcd
00001235: PUSH1 0xe5
00001237: SHL
00001238: DUP2
00001239: MSTORE
0000123a: PUSH1 0x20
0000123c: PUSH1 0x04
0000123e: DUP3
0000123f: ADD
00001240: MSTORE
00001241: PUSH1 0x13
00001243: PUSH1 0x24
00001245: DUP3
00001246: ADD
00001247: MSTORE
00001248: PUSH19 0x11551217d514905394d1915497d19052531151
0000125c: PUSH1 0x6a
0000125e: SHL
0000125f: PUSH1 0x44
00001261: DUP3
00001262: ADD
00001263: MSTORE
00001264: PUSH1 0x64
00001266: ADD
00001267: PUSH2 0x020c
0000126a: JUMP
0000126b: JUMPDEST
0000126c: POP
0000126d: POP
0000126e: POP
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x65
00001273: SLOAD
00001274: PUSH1 0x01
00001276: PUSH1 0x01
00001278: PUSH1 0xa0
0000127a: SHL
0000127b: SUB
0000127c: AND
0000127d: CALLER
0000127e: EQ
0000127f: PUSH2 0x09a9
00001282: JUMPI
00001283: PUSH1 0x40
00001285: MLOAD
00001286: PUSH3 0x461bcd
0000128a: PUSH1 0xe5
0000128c: SHL
0000128d: DUP2
0000128e: MSTORE
0000128f: PUSH1 0x20
00001291: PUSH1 0x04
00001293: DUP3
00001294: ADD
00001295: DUP2
00001296: SWAP1
00001297: MSTORE
00001298: PUSH1 0x24
0000129a: DUP3
0000129b: ADD
0000129c: MSTORE
0000129d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000012be: PUSH1 0x44
000012c0: DUP3
000012c1: ADD
000012c2: MSTORE
000012c3: PUSH1 0x64
000012c5: ADD
000012c6: PUSH2 0x020c
000012c9: JUMP
000012ca: JUMPDEST
000012cb: PUSH1 0x65
000012cd: DUP1
000012ce: SLOAD
000012cf: PUSH1 0x01
000012d1: PUSH1 0x01
000012d3: PUSH1 0xa0
000012d5: SHL
000012d6: SUB
000012d7: DUP4
000012d8: DUP2
000012d9: AND
000012da: PUSH1 0x01
000012dc: PUSH1 0x01
000012de: PUSH1 0xa0
000012e0: SHL
000012e1: SUB
000012e2: NOT
000012e3: DUP4
000012e4: AND
000012e5: DUP2
000012e6: OR
000012e7: SWAP1
000012e8: SWAP4
000012e9: SSTORE
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: SWAP2
000012ee: AND
000012ef: SWAP2
000012f0: SWAP1
000012f1: DUP3
000012f2: SWAP1
000012f3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001314: SWAP1
00001315: PUSH1 0x00
00001317: SWAP1
00001318: LOG3
00001319: POP
0000131a: POP
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x00
0000131f: SLOAD
00001320: PUSH2 0x0100
00001323: SWAP1
00001324: DIV
00001325: PUSH1 0xff
00001327: AND
00001328: PUSH2 0x1343
0000132b: JUMPI
0000132c: PUSH1 0x40
0000132e: MLOAD
0000132f: PUSH3 0x461bcd
00001333: PUSH1 0xe5
00001335: SHL
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x04
0000133a: ADD
0000133b: PUSH2 0x020c
0000133e: SWAP1
0000133f: PUSH2 0x1a31
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH2 0x09a9
00001347: CALLER
00001348: PUSH2 0x12ca
0000134b: JUMP
0000134c: JUMPDEST
0000134d: PUSH1 0x00
0000134f: SLOAD
00001350: PUSH2 0x0100
00001353: SWAP1
00001354: DIV
00001355: PUSH1 0xff
00001357: AND
00001358: PUSH2 0x1373
0000135b: JUMPI
0000135c: PUSH1 0x40
0000135e: MLOAD
0000135f: PUSH3 0x461bcd
00001363: PUSH1 0xe5
00001365: SHL
00001366: DUP2
00001367: MSTORE
00001368: PUSH1 0x04
0000136a: ADD
0000136b: PUSH2 0x020c
0000136e: SWAP1
0000136f: PUSH2 0x1a31
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x01
00001376: DUP1
00001377: SSTORE
00001378: JUMP
00001379: JUMPDEST
0000137a: PUSH1 0x00
0000137c: DUP1
0000137d: PUSH1 0x00
0000137f: SWAP1
00001380: POP
00001381: PUSH1 0x00
00001383: PUSH1 0xa0
00001385: PUSH1 0x00
00001387: SWAP1
00001388: SLOAD
00001389: SWAP1
0000138a: PUSH2 0x0100
0000138d: EXP
0000138e: SWAP1
0000138f: DIV
00001390: PUSH1 0x01
00001392: PUSH1 0x01
00001394: PUSH1 0xa0
00001396: SHL
00001397: SUB
00001398: AND
00001399: PUSH1 0x01
0000139b: PUSH1 0x01
0000139d: PUSH1 0xa0
0000139f: SHL
000013a0: SUB
000013a1: AND
000013a2: PUSH4 0x900cf0cf
000013a7: PUSH1 0x40
000013a9: MLOAD
000013aa: DUP2
000013ab: PUSH4 0xffffffff
000013b0: AND
000013b1: PUSH1 0xe0
000013b3: SHL
000013b4: DUP2
000013b5: MSTORE
000013b6: PUSH1 0x04
000013b8: ADD
000013b9: PUSH1 0x20
000013bb: PUSH1 0x40
000013bd: MLOAD
000013be: DUP1
000013bf: DUP4
000013c0: SUB
000013c1: DUP2
000013c2: DUP7
000013c3: DUP1
000013c4: EXTCODESIZE
000013c5: ISZERO
000013c6: DUP1
000013c7: ISZERO
000013c8: PUSH2 0x13d0
000013cb: JUMPI
000013cc: PUSH1 0x00
000013ce: DUP1
000013cf: REVERT
000013d0: JUMPDEST
000013d1: POP
000013d2: GAS
000013d3: STATICCALL
000013d4: ISZERO
000013d5: DUP1
000013d6: ISZERO
000013d7: PUSH2 0x13e4
000013da: JUMPI
000013db: RETURNDATASIZE
000013dc: PUSH1 0x00
000013de: DUP1
000013df: RETURNDATACOPY
000013e0: RETURNDATASIZE
000013e1: PUSH1 0x00
000013e3: REVERT
000013e4: JUMPDEST
000013e5: POP
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: RETURNDATASIZE
000013ed: PUSH1 0x1f
000013ef: NOT
000013f0: PUSH1 0x1f
000013f2: DUP3
000013f3: ADD
000013f4: AND
000013f5: DUP3
000013f6: ADD
000013f7: DUP1
000013f8: PUSH1 0x40
000013fa: MSTORE
000013fb: POP
000013fc: DUP2
000013fd: ADD
000013fe: SWAP1
000013ff: PUSH2 0x1408
00001402: SWAP2
00001403: SWAP1
00001404: PUSH2 0x19bf
00001407: JUMP
00001408: JUMPDEST
00001409: SWAP1
0000140a: POP
0000140b: PUSH1 0x00
0000140d: JUMPDEST
0000140e: PUSH1 0x80
00001410: DUP2
00001411: LT
00001412: ISZERO
00001413: PUSH2 0x14ff
00001416: JUMPI
00001417: DUP2
00001418: DUP4
00001419: LT
0000141a: PUSH2 0x1422
0000141d: JUMPI
0000141e: PUSH2 0x14ff
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x00
00001425: PUSH1 0x02
00001427: PUSH2 0x1430
0000142a: DUP5
0000142b: DUP7
0000142c: PUSH2 0x1a7c
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH2 0x143b
00001434: SWAP1
00001435: PUSH1 0x02
00001437: PUSH2 0x1a7c
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH2 0x1445
0000143f: SWAP2
00001440: SWAP1
00001441: PUSH2 0x1a94
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH1 0xa0
00001448: SLOAD
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: PUSH4 0x06b0f1b1
00001451: PUSH1 0xe3
00001453: SHL
00001454: DUP2
00001455: MSTORE
00001456: PUSH1 0x04
00001458: DUP2
00001459: ADD
0000145a: DUP4
0000145b: SWAP1
0000145c: MSTORE
0000145d: SWAP2
0000145e: SWAP3
0000145f: POP
00001460: PUSH1 0x00
00001462: SWAP2
00001463: PUSH1 0x01
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: SHL
0000146a: SUB
0000146b: SWAP1
0000146c: SWAP2
0000146d: AND
0000146e: SWAP1
0000146f: PUSH4 0x35878d88
00001474: SWAP1
00001475: PUSH1 0x24
00001477: ADD
00001478: PUSH1 0x80
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: DUP1
0000147e: DUP4
0000147f: SUB
00001480: DUP2
00001481: DUP7
00001482: DUP1
00001483: EXTCODESIZE
00001484: ISZERO
00001485: DUP1
00001486: ISZERO
00001487: PUSH2 0x148f
0000148a: JUMPI
0000148b: PUSH1 0x00
0000148d: DUP1
0000148e: REVERT
0000148f: JUMPDEST
00001490: POP
00001491: GAS
00001492: STATICCALL
00001493: ISZERO
00001494: DUP1
00001495: ISZERO
00001496: PUSH2 0x14a3
00001499: JUMPI
0000149a: RETURNDATASIZE
0000149b: PUSH1 0x00
0000149d: DUP1
0000149e: RETURNDATACOPY
0000149f: RETURNDATASIZE
000014a0: PUSH1 0x00
000014a2: REVERT
000014a3: JUMPDEST
000014a4: POP
000014a5: POP
000014a6: POP
000014a7: POP
000014a8: PUSH1 0x40
000014aa: MLOAD
000014ab: RETURNDATASIZE
000014ac: PUSH1 0x1f
000014ae: NOT
000014af: PUSH1 0x1f
000014b1: DUP3
000014b2: ADD
000014b3: AND
000014b4: DUP3
000014b5: ADD
000014b6: DUP1
000014b7: PUSH1 0x40
000014b9: MSTORE
000014ba: POP
000014bb: DUP2
000014bc: ADD
000014bd: SWAP1
000014be: PUSH2 0x14c7
000014c1: SWAP2
000014c2: SWAP1
000014c3: PUSH2 0x1936
000014c6: JUMP
000014c7: JUMPDEST
000014c8: SWAP1
000014c9: POP
000014ca: DUP7
000014cb: DUP2
000014cc: PUSH1 0x40
000014ce: ADD
000014cf: MLOAD
000014d0: GT
000014d1: PUSH2 0x14dc
000014d4: JUMPI
000014d5: DUP2
000014d6: SWAP5
000014d7: POP
000014d8: PUSH2 0x14ea
000014db: JUMP
000014dc: JUMPDEST
000014dd: PUSH2 0x14e7
000014e0: PUSH1 0x01
000014e2: DUP4
000014e3: PUSH2 0x1b95
000014e6: JUMP
000014e7: JUMPDEST
000014e8: SWAP4
000014e9: POP
000014ea: JUMPDEST
000014eb: POP
000014ec: POP
000014ed: DUP1
000014ee: DUP1
000014ef: PUSH2 0x14f7
000014f2: SWAP1
000014f3: PUSH2 0x1bac
000014f6: JUMP
000014f7: JUMPDEST
000014f8: SWAP2
000014f9: POP
000014fa: POP
000014fb: PUSH2 0x140d
000014fe: JUMP
000014ff: JUMPDEST
00001500: POP
00001501: SWAP1
00001502: SWAP4
00001503: SWAP3
00001504: POP
00001505: POP
00001506: POP
00001507: JUMP
00001508: JUMPDEST
00001509: PUSH1 0xa1
0000150b: SLOAD
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: PUSH4 0x70a08231
00001514: PUSH1 0xe0
00001516: SHL
00001517: DUP2
00001518: MSTORE
00001519: ADDRESS
0000151a: PUSH1 0x04
0000151c: DUP3
0000151d: ADD
0000151e: MSTORE
0000151f: PUSH1 0x00
00001521: SWAP2
00001522: PUSH1 0x01
00001524: PUSH1 0x01
00001526: PUSH1 0xa0
00001528: SHL
00001529: SUB
0000152a: AND
0000152b: SWAP1
0000152c: PUSH4 0x70a08231
00001531: SWAP1
00001532: PUSH1 0x24
00001534: ADD
00001535: PUSH1 0x20
00001537: PUSH1 0x40
00001539: MLOAD
0000153a: DUP1
0000153b: DUP4
0000153c: SUB
0000153d: DUP2
0000153e: DUP7
0000153f: DUP1
00001540: EXTCODESIZE
00001541: ISZERO
00001542: DUP1
00001543: ISZERO
00001544: PUSH2 0x154c
00001547: JUMPI
00001548: PUSH1 0x00
0000154a: DUP1
0000154b: REVERT
0000154c: JUMPDEST
0000154d: POP
0000154e: GAS
0000154f: STATICCALL
00001550: ISZERO
00001551: DUP1
00001552: ISZERO
00001553: PUSH2 0x1560
00001556: JUMPI
00001557: RETURNDATASIZE
00001558: PUSH1 0x00
0000155a: DUP1
0000155b: RETURNDATACOPY
0000155c: RETURNDATASIZE
0000155d: PUSH1 0x00
0000155f: REVERT
00001560: JUMPDEST
00001561: POP
00001562: POP
00001563: POP
00001564: POP
00001565: PUSH1 0x40
00001567: MLOAD
00001568: RETURNDATASIZE
00001569: PUSH1 0x1f
0000156b: NOT
0000156c: PUSH1 0x1f
0000156e: DUP3
0000156f: ADD
00001570: AND
00001571: DUP3
00001572: ADD
00001573: DUP1
00001574: PUSH1 0x40
00001576: MSTORE
00001577: POP
00001578: DUP2
00001579: ADD
0000157a: SWAP1
0000157b: PUSH2 0x1584
0000157e: SWAP2
0000157f: SWAP1
00001580: PUSH2 0x19bf
00001583: JUMP
00001584: JUMPDEST
00001585: SWAP1
00001586: POP
00001587: PUSH1 0x00
00001589: PUSH1 0x9d
0000158b: SLOAD
0000158c: DUP3
0000158d: PUSH2 0x1596
00001590: SWAP2
00001591: SWAP1
00001592: PUSH2 0x1b95
00001595: JUMP
00001596: JUMPDEST
00001597: SWAP1
00001598: POP
00001599: DUP1
0000159a: PUSH1 0xa5
0000159c: PUSH1 0x00
0000159e: DUP3
0000159f: DUP3
000015a0: SLOAD
000015a1: PUSH2 0x15aa
000015a4: SWAP2
000015a5: SWAP1
000015a6: PUSH2 0x1a7c
000015a9: JUMP
000015aa: JUMPDEST
000015ab: SWAP1
000015ac: SWAP2
000015ad: SSTORE
000015ae: POP
000015af: POP
000015b0: PUSH1 0x9d
000015b2: DUP3
000015b3: SWAP1
000015b4: SSTORE
000015b5: PUSH1 0x9b
000015b7: SLOAD
000015b8: PUSH1 0x00
000015ba: PUSH2 0x15c3
000015bd: DUP3
000015be: TIMESTAMP
000015bf: PUSH2 0x1b95
000015c2: JUMP
000015c3: JUMPDEST
000015c4: TIMESTAMP
000015c5: PUSH1 0x9b
000015c7: SSTORE
000015c8: SWAP1
000015c9: POP
000015ca: PUSH1 0x00
000015cc: PUSH3 0x093a80
000015d0: PUSH2 0x15d9
000015d3: DUP2
000015d4: DUP6
000015d5: PUSH2 0x1a94
000015d8: JUMP
000015d9: JUMPDEST
000015da: PUSH2 0x15e3
000015dd: SWAP2
000015de: SWAP1
000015df: PUSH2 0x1b37
000015e2: JUMP
000015e3: JUMPDEST
000015e4: SWAP1
000015e5: POP
000015e6: PUSH1 0x00
000015e8: DUP1
000015e9: JUMPDEST
000015ea: PUSH1 0x34
000015ec: DUP2
000015ed: LT
000015ee: ISZERO
000015ef: PUSH2 0x1718
000015f2: JUMPI
000015f3: PUSH2 0x15ff
000015f6: PUSH3 0x093a80
000015fa: DUP5
000015fb: PUSH2 0x1a7c
000015fe: JUMP
000015ff: JUMPDEST
00001600: SWAP2
00001601: POP
00001602: DUP2
00001603: TIMESTAMP
00001604: LT
00001605: ISZERO
00001606: PUSH2 0x1681
00001609: JUMPI
0000160a: DUP4
0000160b: ISZERO
0000160c: DUP1
0000160d: ISZERO
0000160e: PUSH2 0x1616
00001611: JUMPI
00001612: POP
00001613: DUP5
00001614: TIMESTAMP
00001615: EQ
00001616: JUMPDEST
00001617: ISZERO
00001618: PUSH2 0x1644
0000161b: JUMPI
0000161c: PUSH1 0x00
0000161e: DUP4
0000161f: DUP2
00001620: MSTORE
00001621: PUSH1 0x9c
00001623: PUSH1 0x20
00001625: MSTORE
00001626: PUSH1 0x40
00001628: DUP2
00001629: KECCAK256
0000162a: DUP1
0000162b: SLOAD
0000162c: DUP9
0000162d: SWAP3
0000162e: SWAP1
0000162f: PUSH2 0x1639
00001632: SWAP1
00001633: DUP5
00001634: SWAP1
00001635: PUSH2 0x1a7c
00001638: JUMP
00001639: JUMPDEST
0000163a: SWAP1
0000163b: SWAP2
0000163c: SSTORE
0000163d: POP
0000163e: PUSH2 0x1718
00001641: SWAP1
00001642: POP
00001643: JUMP
00001644: JUMPDEST
00001645: DUP4
00001646: PUSH2 0x164f
00001649: DUP7
0000164a: TIMESTAMP
0000164b: PUSH2 0x1b95
0000164e: JUMP
0000164f: JUMPDEST
00001650: PUSH2 0x1659
00001653: SWAP1
00001654: DUP9
00001655: PUSH2 0x1b37
00001658: JUMP
00001659: JUMPDEST
0000165a: PUSH2 0x1663
0000165d: SWAP2
0000165e: SWAP1
0000165f: PUSH2 0x1a94
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH1 0x00
00001666: DUP5
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x9c
0000166b: PUSH1 0x20
0000166d: MSTORE
0000166e: PUSH1 0x40
00001670: DUP2
00001671: KECCAK256
00001672: DUP1
00001673: SLOAD
00001674: SWAP1
00001675: SWAP2
00001676: SWAP1
00001677: PUSH2 0x1639
0000167a: SWAP1
0000167b: DUP5
0000167c: SWAP1
0000167d: PUSH2 0x1a7c
00001680: JUMP
00001681: JUMPDEST
00001682: DUP4
00001683: ISZERO
00001684: DUP1
00001685: ISZERO
00001686: PUSH2 0x168e
00001689: JUMPI
0000168a: POP
0000168b: DUP5
0000168c: DUP3
0000168d: EQ
0000168e: JUMPDEST
0000168f: ISZERO
00001690: PUSH2 0x16bc
00001693: JUMPI
00001694: PUSH1 0x00
00001696: DUP4
00001697: DUP2
00001698: MSTORE
00001699: PUSH1 0x9c
0000169b: PUSH1 0x20
0000169d: MSTORE
0000169e: PUSH1 0x40
000016a0: DUP2
000016a1: KECCAK256
000016a2: DUP1
000016a3: SLOAD
000016a4: DUP9
000016a5: SWAP3
000016a6: SWAP1
000016a7: PUSH2 0x16b1
000016aa: SWAP1
000016ab: DUP5
000016ac: SWAP1
000016ad: PUSH2 0x1a7c
000016b0: JUMP
000016b1: JUMPDEST
000016b2: SWAP1
000016b3: SWAP2
000016b4: SSTORE
000016b5: POP
000016b6: PUSH2 0x16ff
000016b9: SWAP1
000016ba: POP
000016bb: JUMP
000016bc: JUMPDEST
000016bd: DUP4
000016be: PUSH2 0x16c7
000016c1: DUP7
000016c2: DUP5
000016c3: PUSH2 0x1b95
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH2 0x16d1
000016cb: SWAP1
000016cc: DUP9
000016cd: PUSH2 0x1b37
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH2 0x16db
000016d5: SWAP2
000016d6: SWAP1
000016d7: PUSH2 0x1a94
000016da: JUMP
000016db: JUMPDEST
000016dc: PUSH1 0x00
000016de: DUP5
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x9c
000016e3: PUSH1 0x20
000016e5: MSTORE
000016e6: PUSH1 0x40
000016e8: DUP2
000016e9: KECCAK256
000016ea: DUP1
000016eb: SLOAD
000016ec: SWAP1
000016ed: SWAP2
000016ee: SWAP1
000016ef: PUSH2 0x16f9
000016f2: SWAP1
000016f3: DUP5
000016f4: SWAP1
000016f5: PUSH2 0x1a7c
000016f8: JUMP
000016f9: JUMPDEST
000016fa: SWAP1
000016fb: SWAP2
000016fc: SSTORE
000016fd: POP
000016fe: POP
000016ff: JUMPDEST
00001700: DUP2
00001701: SWAP5
00001702: POP
00001703: DUP2
00001704: SWAP3
00001705: POP
00001706: DUP1
00001707: DUP1
00001708: PUSH2 0x1710
0000170b: SWAP1
0000170c: PUSH2 0x1bac
0000170f: JUMP
00001710: JUMPDEST
00001711: SWAP2
00001712: POP
00001713: POP
00001714: PUSH2 0x15e9
00001717: JUMP
00001718: JUMPDEST
00001719: POP
0000171a: PUSH1 0x40
0000171c: DUP1
0000171d: MLOAD
0000171e: TIMESTAMP
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x20
00001723: DUP2
00001724: ADD
00001725: DUP8
00001726: SWAP1
00001727: MSTORE
00001728: PUSH32 0x97791d3ac1343e05805a2f905fa80b249c2ca58cf9fef455d4fa7ec13ce58321
00001749: SWAP2
0000174a: ADD
0000174b: PUSH2 0x071e
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH1 0x00
00001752: DUP1
00001753: DUP3
00001754: DUP2
00001755: JUMPDEST
00001756: PUSH1 0x80
00001758: DUP2
00001759: LT
0000175a: ISZERO
0000175b: PUSH2 0x184f
0000175e: JUMPI
0000175f: DUP2
00001760: DUP4
00001761: LT
00001762: PUSH2 0x176a
00001765: JUMPI
00001766: PUSH2 0x184f
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH1 0x00
0000176d: PUSH1 0x02
0000176f: PUSH2 0x1778
00001772: DUP5
00001773: DUP7
00001774: PUSH2 0x1a7c
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH2 0x1783
0000177c: SWAP1
0000177d: PUSH1 0x02
0000177f: PUSH2 0x1a7c
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH2 0x178d
00001787: SWAP2
00001788: SWAP1
00001789: PUSH2 0x1a94
0000178c: JUMP
0000178d: JUMPDEST
0000178e: PUSH1 0xa0
00001790: SLOAD
00001791: PUSH1 0x40
00001793: MLOAD
00001794: PUSH4 0x321ed7ef
00001799: PUSH1 0xe1
0000179b: SHL
0000179c: DUP2
0000179d: MSTORE
0000179e: PUSH1 0x01
000017a0: PUSH1 0x01
000017a2: PUSH1 0xa0
000017a4: SHL
000017a5: SUB
000017a6: DUP12
000017a7: DUP2
000017a8: AND
000017a9: PUSH1 0x04
000017ab: DUP4
000017ac: ADD
000017ad: MSTORE
000017ae: PUSH1 0x24
000017b0: DUP3
000017b1: ADD
000017b2: DUP5
000017b3: SWAP1
000017b4: MSTORE
000017b5: SWAP3
000017b6: SWAP4
000017b7: POP
000017b8: PUSH1 0x00
000017ba: SWAP3
000017bb: SWAP1
000017bc: SWAP2
000017bd: AND
000017be: SWAP1
000017bf: PUSH4 0x643dafde
000017c4: SWAP1
000017c5: PUSH1 0x44
000017c7: ADD
000017c8: PUSH1 0x80
000017ca: PUSH1 0x40
000017cc: MLOAD
000017cd: DUP1
000017ce: DUP4
000017cf: SUB
000017d0: DUP2
000017d1: DUP7
000017d2: DUP1
000017d3: EXTCODESIZE
000017d4: ISZERO
000017d5: DUP1
000017d6: ISZERO
000017d7: PUSH2 0x17df
000017da: JUMPI
000017db: PUSH1 0x00
000017dd: DUP1
000017de: REVERT
000017df: JUMPDEST
000017e0: POP
000017e1: GAS
000017e2: STATICCALL
000017e3: ISZERO
000017e4: DUP1
000017e5: ISZERO
000017e6: PUSH2 0x17f3
000017e9: JUMPI
000017ea: RETURNDATASIZE
000017eb: PUSH1 0x00
000017ed: DUP1
000017ee: RETURNDATACOPY
000017ef: RETURNDATASIZE
000017f0: PUSH1 0x00
000017f2: REVERT
000017f3: JUMPDEST
000017f4: POP
000017f5: POP
000017f6: POP
000017f7: POP
000017f8: PUSH1 0x40
000017fa: MLOAD
000017fb: RETURNDATASIZE
000017fc: PUSH1 0x1f
000017fe: NOT
000017ff: PUSH1 0x1f
00001801: DUP3
00001802: ADD
00001803: AND
00001804: DUP3
00001805: ADD
00001806: DUP1
00001807: PUSH1 0x40
00001809: MSTORE
0000180a: POP
0000180b: DUP2
0000180c: ADD
0000180d: SWAP1
0000180e: PUSH2 0x1817
00001811: SWAP2
00001812: SWAP1
00001813: PUSH2 0x1936
00001816: JUMP
00001817: JUMPDEST
00001818: SWAP1
00001819: POP
0000181a: DUP8
0000181b: DUP2
0000181c: PUSH1 0x40
0000181e: ADD
0000181f: MLOAD
00001820: GT
00001821: PUSH2 0x182c
00001824: JUMPI
00001825: DUP2
00001826: SWAP5
00001827: POP
00001828: PUSH2 0x183a
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH2 0x1837
00001830: PUSH1 0x01
00001832: DUP4
00001833: PUSH2 0x1b95
00001836: JUMP
00001837: JUMPDEST
00001838: SWAP4
00001839: POP
0000183a: JUMPDEST
0000183b: POP
0000183c: POP
0000183d: DUP1
0000183e: DUP1
0000183f: PUSH2 0x1847
00001842: SWAP1
00001843: PUSH2 0x1bac
00001846: JUMP
00001847: JUMPDEST
00001848: SWAP2
00001849: POP
0000184a: POP
0000184b: PUSH2 0x1755
0000184e: JUMP
0000184f: JUMPDEST
00001850: POP
00001851: SWAP1
00001852: SWAP6
00001853: SWAP5
00001854: POP
00001855: POP
00001856: POP
00001857: POP
00001858: POP
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x00
0000185d: DUP2
0000185e: DUP4
0000185f: LT
00001860: PUSH2 0x1869
00001863: JUMPI
00001864: DUP2
00001865: PUSH2 0x186b
00001868: JUMP
00001869: JUMPDEST
0000186a: DUP3
0000186b: JUMPDEST
0000186c: SWAP4
0000186d: SWAP3
0000186e: POP
0000186f: POP
00001870: POP
00001871: JUMP
00001872: JUMPDEST
00001873: PUSH1 0x00
00001875: PUSH1 0x20
00001877: DUP3
00001878: DUP5
00001879: SUB
0000187a: SLT
0000187b: ISZERO
0000187c: PUSH2 0x1883
0000187f: JUMPI
00001880: DUP1
00001881: DUP2
00001882: REVERT
00001883: JUMPDEST
00001884: DUP2
00001885: CALLDATALOAD
00001886: PUSH2 0x186b
00001889: DUP2
0000188a: PUSH2 0x1bdd
0000188d: JUMP
0000188e: JUMPDEST
0000188f: PUSH1 0x00
00001891: PUSH1 0x20
00001893: DUP3
00001894: DUP5
00001895: SUB
00001896: SLT
00001897: ISZERO
00001898: PUSH2 0x189f
0000189b: JUMPI
0000189c: DUP1
0000189d: DUP2
0000189e: REVERT
0000189f: JUMPDEST
000018a0: DUP2
000018a1: CALLDATALOAD
000018a2: PUSH2 0x186b
000018a5: DUP2
000018a6: PUSH2 0x1bf2
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x00
000018ad: PUSH1 0x20
000018af: DUP3
000018b0: DUP5
000018b1: SUB
000018b2: SLT
000018b3: ISZERO
000018b4: PUSH2 0x18bb
000018b7: JUMPI
000018b8: DUP1
000018b9: DUP2
000018ba: REVERT
000018bb: JUMPDEST
000018bc: DUP2
000018bd: MLOAD
000018be: PUSH2 0x186b
000018c1: DUP2
000018c2: PUSH2 0x1bf2
000018c5: JUMP
000018c6: JUMPDEST
000018c7: PUSH1 0x00
000018c9: DUP1
000018ca: PUSH1 0x00
000018cc: DUP1
000018cd: PUSH1 0x00
000018cf: PUSH1 0xa0
000018d1: DUP7
000018d2: DUP9
000018d3: SUB
000018d4: SLT
000018d5: ISZERO
000018d6: PUSH2 0x18dd
000018d9: JUMPI
000018da: DUP1
000018db: DUP2
000018dc: REVERT
000018dd: JUMPDEST
000018de: DUP6
000018df: CALLDATALOAD
000018e0: PUSH2 0x18e8
000018e3: DUP2
000018e4: PUSH2 0x1bdd
000018e7: JUMP
000018e8: JUMPDEST
000018e9: SWAP5
000018ea: POP
000018eb: PUSH1 0x20
000018ed: DUP7
000018ee: ADD
000018ef: CALLDATALOAD
000018f0: PUSH2 0x18f8
000018f3: DUP2
000018f4: PUSH2 0x1bdd
000018f7: JUMP
000018f8: JUMPDEST
000018f9: SWAP4
000018fa: POP
000018fb: PUSH1 0x40
000018fd: DUP7
000018fe: ADD
000018ff: CALLDATALOAD
00001900: PUSH2 0x1908
00001903: DUP2
00001904: PUSH2 0x1bdd
00001907: JUMP
00001908: JUMPDEST
00001909: SWAP3
0000190a: POP
0000190b: PUSH1 0x60
0000190d: DUP7
0000190e: ADD
0000190f: CALLDATALOAD
00001910: PUSH2 0x1918
00001913: DUP2
00001914: PUSH2 0x1bdd
00001917: JUMP
00001918: JUMPDEST
00001919: SWAP2
0000191a: POP
0000191b: PUSH1 0x80
0000191d: DUP7
0000191e: ADD
0000191f: CALLDATALOAD
00001920: PUSH2 0x1928
00001923: DUP2
00001924: PUSH2 0x1bdd
00001927: JUMP
00001928: JUMPDEST
00001929: DUP1
0000192a: SWAP2
0000192b: POP
0000192c: POP
0000192d: SWAP3
0000192e: SWAP6
0000192f: POP
00001930: SWAP3
00001931: SWAP6
00001932: SWAP1
00001933: SWAP4
00001934: POP
00001935: JUMP
00001936: JUMPDEST
00001937: PUSH1 0x00
00001939: PUSH1 0x80
0000193b: DUP3
0000193c: DUP5
0000193d: SUB
0000193e: SLT
0000193f: ISZERO
00001940: PUSH2 0x1947
00001943: JUMPI
00001944: DUP1
00001945: DUP2
00001946: REVERT
00001947: JUMPDEST
00001948: PUSH1 0x40
0000194a: MLOAD
0000194b: PUSH1 0x80
0000194d: DUP2
0000194e: ADD
0000194f: DUP2
00001950: DUP2
00001951: LT
00001952: PUSH8 0xffffffffffffffff
0000195b: DUP3
0000195c: GT
0000195d: OR
0000195e: ISZERO
0000195f: PUSH2 0x1976
00001962: JUMPI
00001963: PUSH4 0x4e487b71
00001968: PUSH1 0xe0
0000196a: SHL
0000196b: DUP4
0000196c: MSTORE
0000196d: PUSH1 0x41
0000196f: PUSH1 0x04
00001971: MSTORE
00001972: PUSH1 0x24
00001974: DUP4
00001975: REVERT
00001976: JUMPDEST
00001977: DUP1
00001978: PUSH1 0x40
0000197a: MSTORE
0000197b: POP
0000197c: DUP3
0000197d: MLOAD
0000197e: DUP2
0000197f: MSTORE
00001980: PUSH1 0x20
00001982: DUP4
00001983: ADD
00001984: MLOAD
00001985: PUSH1 0x20
00001987: DUP3
00001988: ADD
00001989: MSTORE
0000198a: PUSH1 0x40
0000198c: DUP4
0000198d: ADD
0000198e: MLOAD
0000198f: PUSH1 0x40
00001991: DUP3
00001992: ADD
00001993: MSTORE
00001994: PUSH1 0x60
00001996: DUP4
00001997: ADD
00001998: MLOAD
00001999: PUSH1 0x60
0000199b: DUP3
0000199c: ADD
0000199d: MSTORE
0000199e: DUP1
0000199f: SWAP2
000019a0: POP
000019a1: POP
000019a2: SWAP3
000019a3: SWAP2
000019a4: POP
000019a5: POP
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x00
000019aa: PUSH1 0x20
000019ac: DUP3
000019ad: DUP5
000019ae: SUB
000019af: SLT
000019b0: ISZERO
000019b1: PUSH2 0x19b8
000019b4: JUMPI
000019b5: DUP1
000019b6: DUP2
000019b7: REVERT
000019b8: JUMPDEST
000019b9: POP
000019ba: CALLDATALOAD
000019bb: SWAP2
000019bc: SWAP1
000019bd: POP
000019be: JUMP
000019bf: JUMPDEST
000019c0: PUSH1 0x00
000019c2: PUSH1 0x20
000019c4: DUP3
000019c5: DUP5
000019c6: SUB
000019c7: SLT
000019c8: ISZERO
000019c9: PUSH2 0x19d0
000019cc: JUMPI
000019cd: DUP1
000019ce: DUP2
000019cf: REVERT
000019d0: JUMPDEST
000019d1: POP
000019d2: MLOAD
000019d3: SWAP2
000019d4: SWAP1
000019d5: POP
000019d6: JUMP
000019d7: JUMPDEST
000019d8: PUSH1 0x00
000019da: DUP1
000019db: PUSH1 0x40
000019dd: DUP4
000019de: DUP6
000019df: SUB
000019e0: SLT
000019e1: ISZERO
000019e2: PUSH2 0x19e9
000019e5: JUMPI
000019e6: DUP2
000019e7: DUP3
000019e8: REVERT
000019e9: JUMPDEST
000019ea: POP
000019eb: POP
000019ec: DUP1
000019ed: CALLDATALOAD
000019ee: SWAP3
000019ef: PUSH1 0x20
000019f1: SWAP1
000019f2: SWAP2
000019f3: ADD
000019f4: CALLDATALOAD
000019f5: SWAP2
000019f6: POP
000019f7: JUMP
000019f8: JUMPDEST
000019f9: PUSH1 0x00
000019fb: DUP3
000019fc: MLOAD
000019fd: DUP2
000019fe: JUMPDEST
000019ff: DUP2
00001a00: DUP2
00001a01: LT
00001a02: ISZERO
00001a03: PUSH2 0x1a18
00001a06: JUMPI
00001a07: PUSH1 0x20
00001a09: DUP2
00001a0a: DUP7
00001a0b: ADD
00001a0c: DUP2
00001a0d: ADD
00001a0e: MLOAD
00001a0f: DUP6
00001a10: DUP4
00001a11: ADD
00001a12: MSTORE
00001a13: ADD
00001a14: PUSH2 0x19fe
00001a17: JUMP
00001a18: JUMPDEST
00001a19: DUP2
00001a1a: DUP2
00001a1b: GT
00001a1c: ISZERO
00001a1d: PUSH2 0x1a26
00001a20: JUMPI
00001a21: DUP3
00001a22: DUP3
00001a23: DUP6
00001a24: ADD
00001a25: MSTORE
00001a26: JUMPDEST
00001a27: POP
00001a28: SWAP2
00001a29: SWAP1
00001a2a: SWAP2
00001a2b: ADD
00001a2c: SWAP3
00001a2d: SWAP2
00001a2e: POP
00001a2f: POP
00001a30: JUMP
00001a31: JUMPDEST
00001a32: PUSH1 0x20
00001a34: DUP1
00001a35: DUP3
00001a36: MSTORE
00001a37: PUSH1 0x2b
00001a39: SWAP1
00001a3a: DUP3
00001a3b: ADD
00001a3c: MSTORE
00001a3d: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00001a5e: PUSH1 0x40
00001a60: DUP3
00001a61: ADD
00001a62: MSTORE
00001a63: PUSH11 0x6e697469616c697a696e67
00001a6f: PUSH1 0xa8
00001a71: SHL
00001a72: PUSH1 0x60
00001a74: DUP3
00001a75: ADD
00001a76: MSTORE
00001a77: PUSH1 0x80
00001a79: ADD
00001a7a: SWAP1
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: PUSH1 0x00
00001a7f: DUP3
00001a80: NOT
00001a81: DUP3
00001a82: GT
00001a83: ISZERO
00001a84: PUSH2 0x1a8f
00001a87: JUMPI
00001a88: PUSH2 0x1a8f
00001a8b: PUSH2 0x1bc7
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: POP
00001a91: ADD
00001a92: SWAP1
00001a93: JUMP
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: DUP3
00001a98: PUSH2 0x1aaf
00001a9b: JUMPI
00001a9c: PUSH4 0x4e487b71
00001aa1: PUSH1 0xe0
00001aa3: SHL
00001aa4: DUP2
00001aa5: MSTORE
00001aa6: PUSH1 0x12
00001aa8: PUSH1 0x04
00001aaa: MSTORE
00001aab: PUSH1 0x24
00001aad: DUP2
00001aae: REVERT
00001aaf: JUMPDEST
00001ab0: POP
00001ab1: DIV
00001ab2: SWAP1
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: PUSH1 0x00
00001ab7: PUSH1 0x01
00001ab9: PUSH1 0x01
00001abb: PUSH1 0xff
00001abd: SHL
00001abe: SUB
00001abf: DUP2
00001ac0: DUP5
00001ac1: SGT
00001ac2: DUP3
00001ac3: DUP5
00001ac4: SGT
00001ac5: DUP1
00001ac6: DUP3
00001ac7: AND
00001ac8: DUP7
00001ac9: DUP5
00001aca: DIV
00001acb: DUP7
00001acc: GT
00001acd: AND
00001ace: ISZERO
00001acf: PUSH2 0x1ada
00001ad2: JUMPI
00001ad3: PUSH2 0x1ada
00001ad6: PUSH2 0x1bc7
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x01
00001add: PUSH1 0xff
00001adf: SHL
00001ae0: DUP5
00001ae1: DUP8
00001ae2: SLT
00001ae3: DUP3
00001ae4: DUP2
00001ae5: AND
00001ae6: DUP8
00001ae7: DUP4
00001ae8: SDIV
00001ae9: DUP10
00001aea: SLT
00001aeb: AND
00001aec: ISZERO
00001aed: PUSH2 0x1af8
00001af0: JUMPI
00001af1: PUSH2 0x1af8
00001af4: PUSH2 0x1bc7
00001af7: JUMP
00001af8: JUMPDEST
00001af9: DUP6
00001afa: DUP8
00001afb: SLT
00001afc: SWAP3
00001afd: POP
00001afe: DUP8
00001aff: DUP3
00001b00: SDIV
00001b01: DUP8
00001b02: SLT
00001b03: DUP5
00001b04: DUP5
00001b05: AND
00001b06: AND
00001b07: ISZERO
00001b08: PUSH2 0x1b13
00001b0b: JUMPI
00001b0c: PUSH2 0x1b13
00001b0f: PUSH2 0x1bc7
00001b12: JUMP
00001b13: JUMPDEST
00001b14: DUP8
00001b15: DUP6
00001b16: SDIV
00001b17: DUP8
00001b18: SLT
00001b19: DUP2
00001b1a: DUP5
00001b1b: AND
00001b1c: AND
00001b1d: ISZERO
00001b1e: PUSH2 0x1b29
00001b21: JUMPI
00001b22: PUSH2 0x1b29
00001b25: PUSH2 0x1bc7
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: POP
00001b2b: POP
00001b2c: POP
00001b2d: SWAP3
00001b2e: SWAP1
00001b2f: SWAP4
00001b30: MUL
00001b31: SWAP4
00001b32: SWAP3
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: JUMP
00001b37: JUMPDEST
00001b38: PUSH1 0x00
00001b3a: DUP2
00001b3b: PUSH1 0x00
00001b3d: NOT
00001b3e: DIV
00001b3f: DUP4
00001b40: GT
00001b41: DUP3
00001b42: ISZERO
00001b43: ISZERO
00001b44: AND
00001b45: ISZERO
00001b46: PUSH2 0x1b51
00001b49: JUMPI
00001b4a: PUSH2 0x1b51
00001b4d: PUSH2 0x1bc7
00001b50: JUMP
00001b51: JUMPDEST
00001b52: POP
00001b53: MUL
00001b54: SWAP1
00001b55: JUMP
00001b56: JUMPDEST
00001b57: PUSH1 0x00
00001b59: DUP1
00001b5a: DUP4
00001b5b: SLT
00001b5c: DUP1
00001b5d: ISZERO
00001b5e: PUSH1 0x01
00001b60: PUSH1 0xff
00001b62: SHL
00001b63: DUP6
00001b64: ADD
00001b65: DUP5
00001b66: SLT
00001b67: AND
00001b68: ISZERO
00001b69: PUSH2 0x1b74
00001b6c: JUMPI
00001b6d: PUSH2 0x1b74
00001b70: PUSH2 0x1bc7
00001b73: JUMP
00001b74: JUMPDEST
00001b75: PUSH1 0x01
00001b77: PUSH1 0x01
00001b79: PUSH1 0xff
00001b7b: SHL
00001b7c: SUB
00001b7d: DUP5
00001b7e: ADD
00001b7f: DUP4
00001b80: SGT
00001b81: DUP2
00001b82: AND
00001b83: ISZERO
00001b84: PUSH2 0x1b8f
00001b87: JUMPI
00001b88: PUSH2 0x1b8f
00001b8b: PUSH2 0x1bc7
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: POP
00001b91: POP
00001b92: SUB
00001b93: SWAP1
00001b94: JUMP
00001b95: JUMPDEST
00001b96: PUSH1 0x00
00001b98: DUP3
00001b99: DUP3
00001b9a: LT
00001b9b: ISZERO
00001b9c: PUSH2 0x1ba7
00001b9f: JUMPI
00001ba0: PUSH2 0x1ba7
00001ba3: PUSH2 0x1bc7
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: POP
00001ba9: SUB
00001baa: SWAP1
00001bab: JUMP
00001bac: JUMPDEST
00001bad: PUSH1 0x00
00001baf: PUSH1 0x00
00001bb1: NOT
00001bb2: DUP3
00001bb3: EQ
00001bb4: ISZERO
00001bb5: PUSH2 0x1bc0
00001bb8: JUMPI
00001bb9: PUSH2 0x1bc0
00001bbc: PUSH2 0x1bc7
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: POP
00001bc2: PUSH1 0x01
00001bc4: ADD
00001bc5: SWAP1
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: PUSH4 0x4e487b71
00001bcd: PUSH1 0xe0
00001bcf: SHL
00001bd0: PUSH1 0x00
00001bd2: MSTORE
00001bd3: PUSH1 0x11
00001bd5: PUSH1 0x04
00001bd7: MSTORE
00001bd8: PUSH1 0x24
00001bda: PUSH1 0x00
00001bdc: REVERT
00001bdd: JUMPDEST
00001bde: PUSH1 0x01
00001be0: PUSH1 0x01
00001be2: PUSH1 0xa0
00001be4: SHL
00001be5: SUB
00001be6: DUP2
00001be7: AND
00001be8: DUP2
00001be9: EQ
00001bea: PUSH2 0x0ad8
00001bed: JUMPI
00001bee: PUSH1 0x00
00001bf0: DUP1
00001bf1: REVERT
00001bf2: JUMPDEST
00001bf3: DUP1
00001bf4: ISZERO
00001bf5: ISZERO
00001bf6: DUP2
00001bf7: EQ
00001bf8: PUSH2 0x0ad8
00001bfb: JUMPI
00001bfc: PUSH1 0x00
00001bfe: DUP1
00001bff: REVERT
00001c00: INVALID
00001c01: LOG2
00001c02: PUSH5 0x6970667358
00001c08: UNKNOWN(0x22)
00001c09: SLT
00001c0a: KECCAK256
00001c0b: UNKNOWN(0xCB)
00001c0c: UNKNOWN(0xBE)
00001c0d: UNKNOWN(0xBE)
00001c0e: GASPRICE
00001c0f: UNKNOWN(0x26)
00001c10: UNKNOWN(0x2D)
00001c11: UNKNOWN(0xAA)
00001c12: UNKNOWN(0xA6)
00001c13: STOP
00001c14: UNKNOWN(0xDC)
00001c15: UNKNOWN(0xD1)
00001c16: PUSH18 0x8382f1add404b7f6076f36d24e0278c93045
00001c29: EXTCODECOPY
00001c2a: PUSH23