Analysis Run

[codex:276516] OpenAI Codex v0.77.0 (research preview)
[codex:276516] --------
[codex:276516] workdir: /tmp/codex-multi-tuboeca5
[codex:276516] model: gpt-5.2-codex
[codex:276516] provider: openai
[codex:276516] approval: never
[codex:276516] sandbox: read-only
[codex:276516] reasoning effort: xhigh
[codex:276516] reasoning summaries: auto
[codex:276516] session id: 019b8c6a-2267-75b0-879b-8334d7a37f5c
[codex:276516] --------
[codex:276516] user
[codex:276516] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:276516] 
[codex:276516] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:276516] 
[codex:276516] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:276516] - Gas inefficiency, code quality, naming, or best practices
[codex:276516] - Theoretical vulnerabilities without a clear extraction path
[codex:276516] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:276516] - Front-running unless it enables theft beyond MEV
[codex:276516] - DoS, griefing, or issues that don't result in attacker profit
[codex:276516] - Missing events, view function issues, or informational findings
[codex:276516] 
[codex:276516] HIGH-VALUE PATTERNS TO HUNT:
[codex:276516] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:276516] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:276516] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:276516] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:276516] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:276516] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:276516] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:276516] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:276516] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:276516] 
[codex:276516] For each finding, you MUST provide:
[codex:276516] 1. Exact file and line numbers of vulnerable code
[codex:276516] 2. Step-by-step exploit transaction sequence
[codex:276516] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:276516] 
[codex:276516] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:276516] 
[codex:276516] Output MUST be valid JSON matching the provided schema.
[codex:276516] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:276516] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:276516] mcp startup: no servers
[codex:276516] 
[codex:276516] thinking
[codex:276516] **Reading audit bundle instructions**
[codex:276516] exec
[codex:276516] /bin/bash -lc ls in /tmp/codex-multi-tuboeca5 succeeded in 5ms:
[codex:276516] AUDIT_BUNDLE.txt
[codex:276516] codex-output-schema.json
[codex:276516] contracts
[codex:276516] exec
[codex:276516] /bin/bash -lc 'rg --files' in /tmp/codex-multi-tuboeca5 succeeded in 10ms:
[codex:276516] codex-output-schema.json
[codex:276516] AUDIT_BUNDLE.txt
[codex:276516] contracts/Contract.sol
[codex:276516] exec
[codex:276516] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-tuboeca5 succeeded in 5ms:
[codex:276516] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:276516] 
[codex:276516] ================================================================================
[codex:276516] FILE: contracts/Contract.sol
[codex:276516] ================================================================================
[codex:276516] pragma solidity ^0.4.18;
[codex:276516] 
[codex:276516] contract Ownable {
[codex:276516]     address public owner;
[codex:276516] 
[codex:276516]     function Ownable() public {
[codex:276516]         owner = msg.sender;
[codex:276516]     }
[codex:276516] 
[codex:276516]     modifier onlyOwner() {
[codex:276516]         require(msg.sender == owner);
[codex:276516]         _;
[codex:276516]     }
[codex:276516] 
[codex:276516]     function transferOwnership(address newOwner) public onlyOwner {
[codex:276516] 
[codex:276516] 
[codex:276516] 
[codex:276516] 
[codex:276516] 
[codex:276516] 
[codex:276516] thinking
[codex:276516] **Analyzing potential vulnerabilities and logic flaws**
[codex:276516] 
[codex:276516] I'm examining the exchange's contract functions deeply to identify exploitable weaknesses or profit opportunities, focusing on reentrancy, signature verification, nonce usage, rounding errors, and trade logic. There are several subtle behaviors around nonce reuse, signature checks, rounding in fee calculations, and the ordering of checks vs. state updates that might hint at edge cases but no straightforward profit exploits yet. I'm also considering token callback risks and integer underflow protections to ensure safety from common attack vectors.
[codex:276516] thinking
[codex:276516] **Investigating orderHash owner omission implications**
[codex:276516] 
[codex:276516] I'm exploring how excluding the order owner from the orderHash allows identical order parameters by different owners to share the same hash, which might let a server-signed trade for one owner be replayed with another owner’s matching order. This could bypass intended matching controls, although it doesn't directly yield profit since valid owner signatures are still required. The interplay between duplicate hashes and trade authorization is subtle and worth considering further.
[codex:276516] thinking
[codex:276516] **Analyzing token deposit and trade rounding risks**
[codex:276516] 
[codex:276516] I'm digging into how malicious or non-standard tokens could let an attacker credit internal balances without real transfers, possibly enabling trades that shift value unfairly. Also, the rounding in price calculations might let tiny trades execute at zero cost if the trade amount is very small, which could let an attacker accumulate tokens for free if the server signs such trades. This subtle rounding edge and token handling quirks could be concerning if the server doesn't enforce trade minimums strictly.
[codex:276516] thinking
[codex:276516] **Examining signature binding and token transfer quirks**
[codex:276516] 
[codex:276516] I'm exploring how the missing owner in order hashing interacts with signature verification, confirming signatures are still uniquely tied to signers. Also, the handling of deflationary or malicious tokens can lead to internal balance mismatches, allowing attackers to trade tokens they don't fully back with real tokens, creating withdrawal failures for others while extracting Ether. These nuances hint at complex edge cases around token standards and signature bindings that could impact trading safety.
[codex:276516] thinking
[codex:276516] **Assessing signer configuration and reentrancy risks**
[codex:276516] 
[codex:276516] I'm analyzing the implications of a zero-address signer that could cause signature checks to accept any signature, though this would stem from misconfiguration rather than an intrinsic contract bug. I’m also looking at possible reentrancy vectors involving ERC20 token callbacks during deposits and the safety of Ether transfers with fallback gas limits. After careful review, these scenarios don't present concrete exploit paths under the assumptions given.
[codex:276516] thinking
[codex:276516] **Preparing final JSON audit report**
[codex:276516] 
[codex:276516] I'm wrapping up by formatting a valid JSON response that confirms no concrete, exploitable profit paths were found, following the required schema with no findings and a concise summary.
[codex:276516] codex
[codex:276516] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}
[codex:276516] tokens used
[codex:276516] 32,058
[codex:276516] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T04:34:32.456274+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01c8
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH3 0x991d8e
00000020: DUP2
00000021: EQ
00000022: PUSH2 0x0262
00000025: JUMPI
00000026: DUP1
00000027: PUSH4 0x01ab9806
0000002c: EQ
0000002d: PUSH2 0x027a
00000030: JUMPI
00000031: DUP1
00000032: PUSH4 0x13d8f3e4
00000037: EQ
00000038: PUSH2 0x029f
0000003b: JUMPI
0000003c: DUP1
0000003d: PUSH4 0x154d6e12
00000042: EQ
00000043: PUSH2 0x02d5
00000046: JUMPI
00000047: DUP1
00000048: PUSH4 0x181aa1fd
0000004d: EQ
0000004e: PUSH2 0x02ef
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0x1f4848ef
00000058: EQ
00000059: PUSH2 0x0302
0000005c: JUMPI
0000005d: DUP1
0000005e: PUSH4 0x205730fd
00000063: EQ
00000064: PUSH2 0x0318
00000067: JUMPI
00000068: DUP1
00000069: PUSH4 0x20c8651b
0000006e: EQ
0000006f: PUSH2 0x032b
00000072: JUMPI
00000073: DUP1
00000074: PUSH4 0x238ac933
00000079: EQ
0000007a: PUSH2 0x033e
0000007d: JUMPI
0000007e: DUP1
0000007f: PUSH4 0x26aebfac
00000084: EQ
00000085: PUSH2 0x036d
00000088: JUMPI
00000089: DUP1
0000008a: PUSH4 0x27e235e3
0000008f: EQ
00000090: PUSH2 0x0392
00000093: JUMPI
00000094: DUP1
00000095: PUSH4 0x28619814
0000009a: EQ
0000009b: PUSH2 0x03b1
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x2a77b4af
000000a5: EQ
000000a6: PUSH2 0x0480
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x338b5dea
000000b0: EQ
000000b1: PUSH2 0x0493
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x3bed33ce
000000bb: EQ
000000bc: PUSH2 0x04b5
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x3f4ba83a
000000c6: EQ
000000c7: PUSH2 0x04cb
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x44263f66
000000d1: EQ
000000d2: PUSH2 0x04de
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0x4edefd31
000000dc: EQ
000000dd: PUSH2 0x0519
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0x508493bc
000000e7: EQ
000000e8: PUSH2 0x052f
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0x5c975abb
000000f2: EQ
000000f3: PUSH2 0x0554
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0x5e885c63
000000fd: EQ
000000fe: PUSH2 0x0567
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0x6c19e783
00000108: EQ
00000109: PUSH2 0x058c
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0x79cad619
00000113: EQ
00000114: PUSH2 0x05ab
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x8456cb59
0000011e: EQ
0000011f: PUSH2 0x05cd
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x895678a2
00000129: EQ
0000012a: PUSH2 0x05e0
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x8da5cb5b
00000134: EQ
00000135: PUSH2 0x05f3
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x98ea5fca
0000013f: EQ
00000140: PUSH2 0x0606
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x9e281a98
0000014a: EQ
0000014b: PUSH2 0x060e
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xa42dce80
00000155: EQ
00000156: PUSH2 0x0630
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0xb84c1392
00000160: EQ
00000161: PUSH2 0x064f
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xbc063e1a
0000016b: EQ
0000016c: PUSH2 0x0665
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0xc3f186d3
00000176: EQ
00000177: PUSH2 0x0678
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0xc415b95c
00000181: EQ
00000182: PUSH2 0x06bc
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0xd3d77f98
0000018c: EQ
0000018d: PUSH2 0x06cf
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0xe2595235
00000197: EQ
00000198: PUSH2 0x0701
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0xeacf7d8a
000001a2: EQ
000001a3: PUSH2 0x0729
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0xf2fde38b
000001ad: EQ
000001ae: PUSH2 0x073c
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0xf68e63e3
000001b8: EQ
000001b9: PUSH2 0x075b
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0xf797f7b6
000001c3: EQ
000001c4: PUSH2 0x076e
000001c7: JUMPI
000001c8: JUMPDEST
000001c9: PUSH1 0x01
000001cb: PUSH1 0xa0
000001cd: PUSH1 0x02
000001cf: EXP
000001d0: SUB
000001d1: CALLER
000001d2: AND
000001d3: PUSH1 0x00
000001d5: SWAP1
000001d6: DUP2
000001d7: MSTORE
000001d8: PUSH1 0x06
000001da: PUSH1 0x20
000001dc: MSTORE
000001dd: PUSH1 0x40
000001df: SWAP1
000001e0: KECCAK256
000001e1: SLOAD
000001e2: PUSH2 0x01eb
000001e5: SWAP1
000001e6: CALLVALUE
000001e7: PUSH2 0x0781
000001ea: JUMP
000001eb: JUMPDEST
000001ec: CALLER
000001ed: PUSH1 0x01
000001ef: PUSH1 0xa0
000001f1: PUSH1 0x02
000001f3: EXP
000001f4: SUB
000001f5: DUP2
000001f6: AND
000001f7: PUSH1 0x00
000001f9: SWAP1
000001fa: DUP2
000001fb: MSTORE
000001fc: PUSH1 0x06
000001fe: PUSH1 0x20
00000200: MSTORE
00000201: PUSH1 0x40
00000203: SWAP1
00000204: DUP2
00000205: SWAP1
00000206: KECCAK256
00000207: DUP4
00000208: SWAP1
00000209: SSTORE
0000020a: PUSH32 0x20d6bac8359f33d79581bfd2b0457cb189fda6d90fed287ddc9f2ba3eb124b67
0000022b: SWAP3
0000022c: CALLVALUE
0000022d: SWAP2
0000022e: MLOAD
0000022f: DUP1
00000230: DUP5
00000231: PUSH1 0x01
00000233: PUSH1 0xa0
00000235: PUSH1 0x02
00000237: EXP
00000238: SUB
00000239: AND
0000023a: PUSH1 0x01
0000023c: PUSH1 0xa0
0000023e: PUSH1 0x02
00000240: EXP
00000241: SUB
00000242: AND
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: ADD
00000248: DUP4
00000249: DUP2
0000024a: MSTORE
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: DUP3
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP4
00000255: POP
00000256: POP
00000257: POP
00000258: POP
00000259: PUSH1 0x40
0000025b: MLOAD
0000025c: DUP1
0000025d: SWAP2
0000025e: SUB
0000025f: SWAP1
00000260: LOG1
00000261: STOP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: ISZERO
00000265: PUSH2 0x026d
00000268: JUMPI
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: PUSH2 0x0278
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: PUSH2 0x079b
00000277: JUMP
00000278: JUMPDEST
00000279: STOP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: PUSH2 0x028d
00000289: PUSH2 0x0800
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: SWAP1
00000292: DUP2
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: SWAP2
0000029c: SUB
0000029d: SWAP1
0000029e: RETURN
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: PUSH2 0x02c1
000002ae: PUSH1 0x01
000002b0: PUSH1 0xa0
000002b2: PUSH1 0x02
000002b4: EXP
000002b5: SUB
000002b6: PUSH1 0x04
000002b8: CALLDATALOAD
000002b9: AND
000002ba: PUSH1 0x24
000002bc: CALLDATALOAD
000002bd: PUSH2 0x0805
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: SWAP1
000002c6: ISZERO
000002c7: ISZERO
000002c8: DUP2
000002c9: MSTORE
000002ca: PUSH1 0x20
000002cc: ADD
000002cd: PUSH1 0x40
000002cf: MLOAD
000002d0: DUP1
000002d1: SWAP2
000002d2: SUB
000002d3: SWAP1
000002d4: RETURN
000002d5: JUMPDEST
000002d6: PUSH2 0x0278
000002d9: PUSH1 0xff
000002db: PUSH1 0x04
000002dd: CALLDATALOAD
000002de: AND
000002df: PUSH1 0x01
000002e1: PUSH1 0x80
000002e3: PUSH1 0x02
000002e5: EXP
000002e6: SUB
000002e7: PUSH1 0x24
000002e9: CALLDATALOAD
000002ea: AND
000002eb: PUSH2 0x0825
000002ee: JUMP
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: PUSH2 0x028d
000002fe: PUSH2 0x08e4
00000301: JUMP
00000302: JUMPDEST
00000303: CALLVALUE
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: PUSH2 0x0278
00000311: PUSH1 0x04
00000313: CALLDATALOAD
00000314: PUSH2 0x08ea
00000317: JUMP
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: PUSH2 0x028d
00000327: PUSH2 0x094f
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: ISZERO
0000032e: PUSH2 0x0336
00000331: JUMPI
00000332: PUSH1 0x00
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: PUSH2 0x028d
0000033a: PUSH2 0x0954
0000033d: JUMP
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: ISZERO
00000341: PUSH2 0x0349
00000344: JUMPI
00000345: PUSH1 0x00
00000347: DUP1
00000348: REVERT
00000349: JUMPDEST
0000034a: PUSH2 0x0351
0000034d: PUSH2 0x095a
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x40
00000354: MLOAD
00000355: PUSH1 0x01
00000357: PUSH1 0xa0
00000359: PUSH1 0x02
0000035b: EXP
0000035c: SUB
0000035d: SWAP1
0000035e: SWAP2
0000035f: AND
00000360: DUP2
00000361: MSTORE
00000362: PUSH1 0x20
00000364: ADD
00000365: PUSH1 0x40
00000367: MLOAD
00000368: DUP1
00000369: SWAP2
0000036a: SUB
0000036b: SWAP1
0000036c: RETURN
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: PUSH2 0x0278
0000037c: PUSH1 0xff
0000037e: PUSH1 0x04
00000380: CALLDATALOAD
00000381: AND
00000382: PUSH1 0x01
00000384: PUSH1 0x80
00000386: PUSH1 0x02
00000388: EXP
00000389: SUB
0000038a: PUSH1 0x24
0000038c: CALLDATALOAD
0000038d: AND
0000038e: PUSH2 0x0969
00000391: JUMP
00000392: JUMPDEST
00000393: CALLVALUE
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: PUSH2 0x028d
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: PUSH1 0x02
000003a7: EXP
000003a8: SUB
000003a9: PUSH1 0x04
000003ab: CALLDATALOAD
000003ac: AND
000003ad: PUSH2 0x09a3
000003b0: JUMP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: PUSH2 0x0278
000003c0: PUSH1 0x04
000003c2: PUSH1 0x24
000003c4: DUP2
000003c5: CALLDATALOAD
000003c6: DUP2
000003c7: DUP2
000003c8: ADD
000003c9: SWAP1
000003ca: DUP4
000003cb: ADD
000003cc: CALLDATALOAD
000003cd: DUP1
000003ce: PUSH1 0x20
000003d0: DUP2
000003d1: DUP2
000003d2: MUL
000003d3: ADD
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: SWAP1
000003d8: DUP2
000003d9: ADD
000003da: PUSH1 0x40
000003dc: MSTORE
000003dd: DUP1
000003de: SWAP4
000003df: SWAP3
000003e0: SWAP2
000003e1: SWAP1
000003e2: DUP2
000003e3: DUP2
000003e4: MSTORE
000003e5: PUSH1 0x20
000003e7: ADD
000003e8: DUP4
000003e9: DUP4
000003ea: PUSH1 0x20
000003ec: MUL
000003ed: DUP1
000003ee: DUP3
000003ef: DUP5
000003f0: CALLDATACOPY
000003f1: DUP3
000003f2: ADD
000003f3: SWAP2
000003f4: POP
000003f5: POP
000003f6: POP
000003f7: POP
000003f8: POP
000003f9: POP
000003fa: SWAP2
000003fb: SWAP1
000003fc: DUP1
000003fd: CALLDATALOAD
000003fe: SWAP1
000003ff: PUSH1 0x20
00000401: ADD
00000402: SWAP1
00000403: DUP3
00000404: ADD
00000405: DUP1
00000406: CALLDATALOAD
00000407: SWAP1
00000408: PUSH1 0x20
0000040a: ADD
0000040b: SWAP1
0000040c: DUP1
0000040d: DUP1
0000040e: PUSH1 0x20
00000410: MUL
00000411: PUSH1 0x20
00000413: ADD
00000414: PUSH1 0x40
00000416: MLOAD
00000417: SWAP1
00000418: DUP2
00000419: ADD
0000041a: PUSH1 0x40
0000041c: MSTORE
0000041d: DUP1
0000041e: SWAP4
0000041f: SWAP3
00000420: SWAP2
00000421: SWAP1
00000422: DUP2
00000423: DUP2
00000424: MSTORE
00000425: PUSH1 0x20
00000427: ADD
00000428: DUP4
00000429: DUP4
0000042a: PUSH1 0x20
0000042c: MUL
0000042d: DUP1
0000042e: DUP3
0000042f: DUP5
00000430: CALLDATACOPY
00000431: DUP3
00000432: ADD
00000433: SWAP2
00000434: POP
00000435: POP
00000436: POP
00000437: POP
00000438: POP
00000439: POP
0000043a: SWAP2
0000043b: SWAP1
0000043c: DUP1
0000043d: CALLDATALOAD
0000043e: SWAP1
0000043f: PUSH1 0x20
00000441: ADD
00000442: SWAP1
00000443: DUP3
00000444: ADD
00000445: DUP1
00000446: CALLDATALOAD
00000447: SWAP1
00000448: PUSH1 0x20
0000044a: ADD
0000044b: SWAP1
0000044c: DUP1
0000044d: DUP1
0000044e: PUSH1 0x20
00000450: MUL
00000451: PUSH1 0x20
00000453: ADD
00000454: PUSH1 0x40
00000456: MLOAD
00000457: SWAP1
00000458: DUP2
00000459: ADD
0000045a: PUSH1 0x40
0000045c: MSTORE
0000045d: DUP1
0000045e: SWAP4
0000045f: SWAP3
00000460: SWAP2
00000461: SWAP1
00000462: DUP2
00000463: DUP2
00000464: MSTORE
00000465: PUSH1 0x20
00000467: ADD
00000468: DUP4
00000469: DUP4
0000046a: PUSH1 0x20
0000046c: MUL
0000046d: DUP1
0000046e: DUP3
0000046f: DUP5
00000470: CALLDATACOPY
00000471: POP
00000472: SWAP5
00000473: SWAP7
00000474: POP
00000475: PUSH2 0x09b5
00000478: SWAP6
00000479: POP
0000047a: POP
0000047b: POP
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: JUMP
00000480: JUMPDEST
00000481: CALLVALUE
00000482: ISZERO
00000483: PUSH2 0x048b
00000486: JUMPI
00000487: PUSH1 0x00
00000489: DUP1
0000048a: REVERT
0000048b: JUMPDEST
0000048c: PUSH2 0x028d
0000048f: PUSH2 0x0be1
00000492: JUMP
00000493: JUMPDEST
00000494: CALLVALUE
00000495: ISZERO
00000496: PUSH2 0x049e
00000499: JUMPI
0000049a: PUSH1 0x00
0000049c: DUP1
0000049d: REVERT
0000049e: JUMPDEST
0000049f: PUSH2 0x0278
000004a2: PUSH1 0x01
000004a4: PUSH1 0xa0
000004a6: PUSH1 0x02
000004a8: EXP
000004a9: SUB
000004aa: PUSH1 0x04
000004ac: CALLDATALOAD
000004ad: AND
000004ae: PUSH1 0x24
000004b0: CALLDATALOAD
000004b1: PUSH2 0x0be7
000004b4: JUMP
000004b5: JUMPDEST
000004b6: CALLVALUE
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: PUSH2 0x0278
000004c4: PUSH1 0x04
000004c6: CALLDATALOAD
000004c7: PUSH2 0x0d2f
000004ca: JUMP
000004cb: JUMPDEST
000004cc: CALLVALUE
000004cd: ISZERO
000004ce: PUSH2 0x04d6
000004d1: JUMPI
000004d2: PUSH1 0x00
000004d4: DUP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: PUSH2 0x0278
000004da: PUSH2 0x0e19
000004dd: JUMP
000004de: JUMPDEST
000004df: CALLVALUE
000004e0: ISZERO
000004e1: PUSH2 0x04e9
000004e4: JUMPI
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: REVERT
000004e9: JUMPDEST
000004ea: PUSH2 0x0278
000004ed: PUSH1 0xff
000004ef: PUSH1 0x04
000004f1: CALLDATALOAD
000004f2: AND
000004f3: PUSH1 0x01
000004f5: PUSH1 0xa0
000004f7: PUSH1 0x02
000004f9: EXP
000004fa: SUB
000004fb: PUSH1 0x24
000004fd: CALLDATALOAD
000004fe: AND
000004ff: PUSH1 0x44
00000501: CALLDATALOAD
00000502: PUSH1 0x64
00000504: CALLDATALOAD
00000505: PUSH1 0x84
00000507: CALLDATALOAD
00000508: PUSH1 0xa4
0000050a: CALLDATALOAD
0000050b: PUSH1 0xc4
0000050d: CALLDATALOAD
0000050e: PUSH1 0xe4
00000510: CALLDATALOAD
00000511: PUSH2 0x0104
00000514: CALLDATALOAD
00000515: PUSH2 0x0e98
00000518: JUMP
00000519: JUMPDEST
0000051a: CALLVALUE
0000051b: ISZERO
0000051c: PUSH2 0x0524
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: REVERT
00000524: JUMPDEST
00000525: PUSH2 0x0278
00000528: PUSH1 0x04
0000052a: CALLDATALOAD
0000052b: PUSH2 0x0f81
0000052e: JUMP
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: PUSH2 0x028d
0000053e: PUSH1 0x01
00000540: PUSH1 0xa0
00000542: PUSH1 0x02
00000544: EXP
00000545: SUB
00000546: PUSH1 0x04
00000548: CALLDATALOAD
00000549: DUP2
0000054a: AND
0000054b: SWAP1
0000054c: PUSH1 0x24
0000054e: CALLDATALOAD
0000054f: AND
00000550: PUSH2 0x0fb0
00000553: JUMP
00000554: JUMPDEST
00000555: CALLVALUE
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: PUSH2 0x02c1
00000563: PUSH2 0x0fcd
00000566: JUMP
00000567: JUMPDEST
00000568: CALLVALUE
00000569: ISZERO
0000056a: PUSH2 0x0572
0000056d: JUMPI
0000056e: PUSH1 0x00
00000570: DUP1
00000571: REVERT
00000572: JUMPDEST
00000573: PUSH2 0x028d
00000576: PUSH1 0xff
00000578: PUSH1 0x04
0000057a: CALLDATALOAD
0000057b: AND
0000057c: PUSH1 0x01
0000057e: PUSH1 0x80
00000580: PUSH1 0x02
00000582: EXP
00000583: SUB
00000584: PUSH1 0x24
00000586: CALLDATALOAD
00000587: AND
00000588: PUSH2 0x0fdd
0000058b: JUMP
0000058c: JUMPDEST
0000058d: CALLVALUE
0000058e: ISZERO
0000058f: PUSH2 0x0597
00000592: JUMPI
00000593: PUSH1 0x00
00000595: DUP1
00000596: REVERT
00000597: JUMPDEST
00000598: PUSH2 0x0278
0000059b: PUSH1 0x01
0000059d: PUSH1 0xa0
0000059f: PUSH1 0x02
000005a1: EXP
000005a2: SUB
000005a3: PUSH1 0x04
000005a5: CALLDATALOAD
000005a6: AND
000005a7: PUSH2 0x1001
000005aa: JUMP
000005ab: JUMPDEST
000005ac: CALLVALUE
000005ad: ISZERO
000005ae: PUSH2 0x05b6
000005b1: JUMPI
000005b2: PUSH1 0x00
000005b4: DUP1
000005b5: REVERT
000005b6: JUMPDEST
000005b7: PUSH2 0x028d
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: PUSH1 0x02
000005c0: EXP
000005c1: SUB
000005c2: PUSH1 0x04
000005c4: CALLDATALOAD
000005c5: AND
000005c6: PUSH1 0x24
000005c8: CALLDATALOAD
000005c9: PUSH2 0x104b
000005cc: JUMP
000005cd: JUMPDEST
000005ce: CALLVALUE
000005cf: ISZERO
000005d0: PUSH2 0x05d8
000005d3: JUMPI
000005d4: PUSH1 0x00
000005d6: DUP1
000005d7: REVERT
000005d8: JUMPDEST
000005d9: PUSH2 0x0278
000005dc: PUSH2 0x1068
000005df: JUMP
000005e0: JUMPDEST
000005e1: CALLVALUE
000005e2: ISZERO
000005e3: PUSH2 0x05eb
000005e6: JUMPI
000005e7: PUSH1 0x00
000005e9: DUP1
000005ea: REVERT
000005eb: JUMPDEST
000005ec: PUSH2 0x028d
000005ef: PUSH2 0x10ec
000005f2: JUMP
000005f3: JUMPDEST
000005f4: CALLVALUE
000005f5: ISZERO
000005f6: PUSH2 0x05fe
000005f9: JUMPI
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: REVERT
000005fe: JUMPDEST
000005ff: PUSH2 0x0351
00000602: PUSH2 0x10f2
00000605: JUMP
00000606: JUMPDEST
00000607: PUSH2 0x0278
0000060a: PUSH2 0x1101
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: ISZERO
00000611: PUSH2 0x0619
00000614: JUMPI
00000615: PUSH1 0x00
00000617: DUP1
00000618: REVERT
00000619: JUMPDEST
0000061a: PUSH2 0x0278
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: PUSH1 0x02
00000623: EXP
00000624: SUB
00000625: PUSH1 0x04
00000627: CALLDATALOAD
00000628: AND
00000629: PUSH1 0x24
0000062b: CALLDATALOAD
0000062c: PUSH2 0x119b
0000062f: JUMP
00000630: JUMPDEST
00000631: CALLVALUE
00000632: ISZERO
00000633: PUSH2 0x063b
00000636: JUMPI
00000637: PUSH1 0x00
00000639: DUP1
0000063a: REVERT
0000063b: JUMPDEST
0000063c: PUSH2 0x0278
0000063f: PUSH1 0x01
00000641: PUSH1 0xa0
00000643: PUSH1 0x02
00000645: EXP
00000646: SUB
00000647: PUSH1 0x04
00000649: CALLDATALOAD
0000064a: AND
0000064b: PUSH2 0x12f6
0000064e: JUMP
0000064f: JUMPDEST
00000650: CALLVALUE
00000651: ISZERO
00000652: PUSH2 0x065a
00000655: JUMPI
00000656: PUSH1 0x00
00000658: DUP1
00000659: REVERT
0000065a: JUMPDEST
0000065b: PUSH2 0x028d
0000065e: PUSH1 0x04
00000660: CALLDATALOAD
00000661: PUSH2 0x1340
00000664: JUMP
00000665: JUMPDEST
00000666: CALLVALUE
00000667: ISZERO
00000668: PUSH2 0x0670
0000066b: JUMPI
0000066c: PUSH1 0x00
0000066e: DUP1
0000066f: REVERT
00000670: JUMPDEST
00000671: PUSH2 0x028d
00000674: PUSH2 0x1352
00000677: JUMP
00000678: JUMPDEST
00000679: CALLVALUE
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: PUSH2 0x0697
00000687: PUSH1 0x01
00000689: PUSH1 0xa0
0000068b: PUSH1 0x02
0000068d: EXP
0000068e: SUB
0000068f: PUSH1 0x04
00000691: CALLDATALOAD
00000692: AND
00000693: PUSH2 0x1358
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: PUSH1 0xff
0000069d: SWAP1
0000069e: SWAP3
0000069f: AND
000006a0: DUP3
000006a1: MSTORE
000006a2: PUSH1 0x01
000006a4: PUSH1 0x80
000006a6: PUSH1 0x02
000006a8: EXP
000006a9: SUB
000006aa: AND
000006ab: PUSH1 0x20
000006ad: DUP3
000006ae: ADD
000006af: MSTORE
000006b0: PUSH1 0x40
000006b2: SWAP1
000006b3: DUP2
000006b4: ADD
000006b5: SWAP1
000006b6: MLOAD
000006b7: DUP1
000006b8: SWAP2
000006b9: SUB
000006ba: SWAP1
000006bb: RETURN
000006bc: JUMPDEST
000006bd: CALLVALUE
000006be: ISZERO
000006bf: PUSH2 0x06c7
000006c2: JUMPI
000006c3: PUSH1 0x00
000006c5: DUP1
000006c6: REVERT
000006c7: JUMPDEST
000006c8: PUSH2 0x0351
000006cb: PUSH2 0x137d
000006ce: JUMP
000006cf: JUMPDEST
000006d0: CALLVALUE
000006d1: ISZERO
000006d2: PUSH2 0x06da
000006d5: JUMPI
000006d6: PUSH1 0x00
000006d8: DUP1
000006d9: REVERT
000006da: JUMPDEST
000006db: PUSH2 0x0278
000006de: PUSH1 0xff
000006e0: PUSH1 0x04
000006e2: CALLDATALOAD
000006e3: DUP2
000006e4: AND
000006e5: SWAP1
000006e6: PUSH1 0x01
000006e8: PUSH1 0x80
000006ea: PUSH1 0x02
000006ec: EXP
000006ed: SUB
000006ee: PUSH1 0x24
000006f0: CALLDATALOAD
000006f1: AND
000006f2: SWAP1
000006f3: PUSH1 0x44
000006f5: CALLDATALOAD
000006f6: AND
000006f7: PUSH1 0x64
000006f9: CALLDATALOAD
000006fa: PUSH1 0x84
000006fc: CALLDATALOAD
000006fd: PUSH2 0x138c
00000700: JUMP
00000701: JUMPDEST
00000702: CALLVALUE
00000703: ISZERO
00000704: PUSH2 0x070c
00000707: JUMPI
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: REVERT
0000070c: JUMPDEST
0000070d: PUSH2 0x0278
00000710: PUSH1 0xff
00000712: PUSH1 0x04
00000714: CALLDATALOAD
00000715: AND
00000716: PUSH1 0x01
00000718: PUSH1 0x80
0000071a: PUSH1 0x02
0000071c: EXP
0000071d: SUB
0000071e: PUSH1 0x24
00000720: CALLDATALOAD
00000721: AND
00000722: PUSH1 0x44
00000724: CALLDATALOAD
00000725: PUSH2 0x14df
00000728: JUMP
00000729: JUMPDEST
0000072a: CALLVALUE
0000072b: ISZERO
0000072c: PUSH2 0x0734
0000072f: JUMPI
00000730: PUSH1 0x00
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: PUSH2 0x028d
00000738: PUSH2 0x154f
0000073b: JUMP
0000073c: JUMPDEST
0000073d: CALLVALUE
0000073e: ISZERO
0000073f: PUSH2 0x0747
00000742: JUMPI
00000743: PUSH1 0x00
00000745: DUP1
00000746: REVERT
00000747: JUMPDEST
00000748: PUSH2 0x0278
0000074b: PUSH1 0x01
0000074d: PUSH1 0xa0
0000074f: PUSH1 0x02
00000751: EXP
00000752: SUB
00000753: PUSH1 0x04
00000755: CALLDATALOAD
00000756: AND
00000757: PUSH2 0x1555
0000075a: JUMP
0000075b: JUMPDEST
0000075c: CALLVALUE
0000075d: ISZERO
0000075e: PUSH2 0x0766
00000761: JUMPI
00000762: PUSH1 0x00
00000764: DUP1
00000765: REVERT
00000766: JUMPDEST
00000767: PUSH2 0x028d
0000076a: PUSH2 0x15ab
0000076d: JUMP
0000076e: JUMPDEST
0000076f: CALLVALUE
00000770: ISZERO
00000771: PUSH2 0x0779
00000774: JUMPI
00000775: PUSH1 0x00
00000777: DUP1
00000778: REVERT
00000779: JUMPDEST
0000077a: PUSH2 0x028d
0000077d: PUSH2 0x15b7
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH1 0x00
00000784: DUP3
00000785: DUP3
00000786: ADD
00000787: DUP4
00000788: DUP2
00000789: LT
0000078a: ISZERO
0000078b: PUSH2 0x0790
0000078e: JUMPI
0000078f: INVALID
00000790: JUMPDEST
00000791: DUP1
00000792: SWAP2
00000793: POP
00000794: JUMPDEST
00000795: POP
00000796: SWAP3
00000797: SWAP2
00000798: POP
00000799: POP
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH1 0x00
0000079e: SLOAD
0000079f: CALLER
000007a0: PUSH1 0x01
000007a2: PUSH1 0xa0
000007a4: PUSH1 0x02
000007a6: EXP
000007a7: SUB
000007a8: SWAP1
000007a9: DUP2
000007aa: AND
000007ab: SWAP2
000007ac: AND
000007ad: EQ
000007ae: PUSH2 0x07b6
000007b1: JUMPI
000007b2: PUSH1 0x00
000007b4: DUP1
000007b5: REVERT
000007b6: JUMPDEST
000007b7: PUSH2 0x1388
000007ba: DUP2
000007bb: GT
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: PUSH1 0x04
000007c8: DUP2
000007c9: SWAP1
000007ca: SSTORE
000007cb: PUSH32 0xc51714effcf5a6965cea410eabdd683d0c063bfa70f8addbfe16a7230359e419
000007ec: DUP2
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: SWAP1
000007f1: DUP2
000007f2: MSTORE
000007f3: PUSH1 0x20
000007f5: ADD
000007f6: PUSH1 0x40
000007f8: MLOAD
000007f9: DUP1
000007fa: SWAP2
000007fb: SUB
000007fc: SWAP1
000007fd: LOG1
000007fe: POP
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH1 0x01
00000803: DUP2
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH1 0x09
00000808: PUSH1 0x20
0000080a: SWAP1
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x00
0000080f: SWAP3
00000810: DUP4
00000811: MSTORE
00000812: PUSH1 0x40
00000814: DUP1
00000815: DUP5
00000816: KECCAK256
00000817: SWAP1
00000818: SWAP2
00000819: MSTORE
0000081a: SWAP1
0000081b: DUP3
0000081c: MSTORE
0000081d: SWAP1
0000081e: KECCAK256
0000081f: SLOAD
00000820: PUSH1 0xff
00000822: AND
00000823: DUP2
00000824: JUMP
00000825: JUMPDEST
00000826: CALLER
00000827: PUSH1 0x01
00000829: PUSH1 0xa0
0000082b: PUSH1 0x02
0000082d: EXP
0000082e: SUB
0000082f: AND
00000830: PUSH1 0x00
00000832: SWAP1
00000833: DUP2
00000834: MSTORE
00000835: PUSH1 0x0b
00000837: PUSH1 0x20
00000839: MSTORE
0000083a: PUSH1 0x40
0000083c: DUP2
0000083d: KECCAK256
0000083e: SLOAD
0000083f: DUP2
00000840: SWAP1
00000841: PUSH2 0x0100
00000844: SWAP1
00000845: DIV
00000846: PUSH1 0x01
00000848: PUSH1 0x80
0000084a: PUSH1 0x02
0000084c: EXP
0000084d: SUB
0000084e: AND
0000084f: TIMESTAMP
00000850: LT
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: PUSH2 0x0864
0000085e: DUP5
0000085f: DUP5
00000860: PUSH2 0x15db
00000863: JUMP
00000864: JUMPDEST
00000865: PUSH1 0x00
00000867: DUP2
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x0c
0000086c: PUSH1 0x20
0000086e: MSTORE
0000086f: PUSH1 0x40
00000871: DUP2
00000872: KECCAK256
00000873: SLOAD
00000874: SWAP2
00000875: SWAP4
00000876: POP
00000877: SWAP1
00000878: SWAP2
00000879: POP
0000087a: DUP2
0000087b: GT
0000087c: PUSH2 0x0884
0000087f: JUMPI
00000880: PUSH1 0x00
00000882: DUP1
00000883: REVERT
00000884: JUMPDEST
00000885: CALLVALUE
00000886: DUP2
00000887: EQ
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: PUSH2 0x089e
00000894: CALLER
00000895: DUP6
00000896: DUP6
00000897: TIMESTAMP
00000898: ADD
00000899: DUP5
0000089a: PUSH2 0x15f5
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH1 0x03
000008a1: SLOAD
000008a2: PUSH1 0x01
000008a4: PUSH1 0xa0
000008a6: PUSH1 0x02
000008a8: EXP
000008a9: SUB
000008aa: AND
000008ab: PUSH1 0x00
000008ad: SWAP1
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x06
000008b2: PUSH1 0x20
000008b4: MSTORE
000008b5: PUSH1 0x40
000008b7: SWAP1
000008b8: KECCAK256
000008b9: SLOAD
000008ba: PUSH2 0x08c3
000008bd: SWAP1
000008be: CALLVALUE
000008bf: PUSH2 0x0781
000008c2: JUMP
000008c3: JUMPDEST
000008c4: PUSH1 0x03
000008c6: SLOAD
000008c7: PUSH1 0x01
000008c9: PUSH1 0xa0
000008cb: PUSH1 0x02
000008cd: EXP
000008ce: SUB
000008cf: AND
000008d0: PUSH1 0x00
000008d2: SWAP1
000008d3: DUP2
000008d4: MSTORE
000008d5: PUSH1 0x06
000008d7: PUSH1 0x20
000008d9: MSTORE
000008da: PUSH1 0x40
000008dc: SWAP1
000008dd: KECCAK256
000008de: SSTORE
000008df: POP
000008e0: POP
000008e1: POP
000008e2: POP
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH1 0x05
000008e7: SLOAD
000008e8: DUP2
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x00
000008ed: SLOAD
000008ee: CALLER
000008ef: PUSH1 0x01
000008f1: PUSH1 0xa0
000008f3: PUSH1 0x02
000008f5: EXP
000008f6: SUB
000008f7: SWAP1
000008f8: DUP2
000008f9: AND
000008fa: SWAP2
000008fb: AND
000008fc: EQ
000008fd: PUSH2 0x0905
00000900: JUMPI
00000901: PUSH1 0x00
00000903: DUP1
00000904: REVERT
00000905: JUMPDEST
00000906: PUSH2 0x1388
00000909: DUP2
0000090a: GT
0000090b: ISZERO
0000090c: PUSH2 0x0914
0000090f: JUMPI
00000910: PUSH1 0x00
00000912: DUP1
00000913: REVERT
00000914: JUMPDEST
00000915: PUSH1 0x05
00000917: DUP2
00000918: SWAP1
00000919: SSTORE
0000091a: PUSH32 0xade97beaa63b5665cd19e65b7f8442edacb3e0f0d4159c8377ed8c8779338154
0000093b: DUP2
0000093c: PUSH1 0x40
0000093e: MLOAD
0000093f: SWAP1
00000940: DUP2
00000941: MSTORE
00000942: PUSH1 0x20
00000944: ADD
00000945: PUSH1 0x40
00000947: MLOAD
00000948: DUP1
00000949: SWAP2
0000094a: SUB
0000094b: SWAP1
0000094c: LOG1
0000094d: POP
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH1 0x00
00000952: DUP2
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH1 0x04
00000957: SLOAD
00000958: DUP2
00000959: JUMP
0000095a: JUMPDEST
0000095b: PUSH1 0x0a
0000095d: SLOAD
0000095e: PUSH1 0x01
00000960: PUSH1 0xa0
00000962: PUSH1 0x02
00000964: EXP
00000965: SUB
00000966: AND
00000967: DUP2
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: SLOAD
0000096e: CALLER
0000096f: PUSH1 0x01
00000971: PUSH1 0xa0
00000973: PUSH1 0x02
00000975: EXP
00000976: SUB
00000977: SWAP1
00000978: DUP2
00000979: AND
0000097a: SWAP2
0000097b: AND
0000097c: EQ
0000097d: PUSH2 0x0985
00000980: JUMPI
00000981: PUSH1 0x00
00000983: DUP1
00000984: REVERT
00000985: JUMPDEST
00000986: PUSH2 0x098f
00000989: DUP4
0000098a: DUP4
0000098b: PUSH2 0x15db
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x00
00000992: SWAP1
00000993: DUP2
00000994: MSTORE
00000995: PUSH1 0x0c
00000997: PUSH1 0x20
00000999: MSTORE
0000099a: PUSH1 0x40
0000099c: DUP2
0000099d: KECCAK256
0000099e: SSTORE
0000099f: POP
000009a0: POP
000009a1: POP
000009a2: JUMP
000009a3: JUMPDEST
000009a4: PUSH1 0x06
000009a6: PUSH1 0x20
000009a8: MSTORE
000009a9: PUSH1 0x00
000009ab: SWAP1
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x40
000009b0: SWAP1
000009b1: KECCAK256
000009b2: SLOAD
000009b3: DUP2
000009b4: JUMP
000009b5: JUMPDEST
000009b6: PUSH1 0x00
000009b8: DUP1
000009b9: SLOAD
000009ba: DUP2
000009bb: SWAP1
000009bc: DUP2
000009bd: SWAP1
000009be: DUP2
000009bf: SWAP1
000009c0: PUSH1 0xa0
000009c2: PUSH1 0x02
000009c4: EXP
000009c5: SWAP1
000009c6: DIV
000009c7: PUSH1 0xff
000009c9: AND
000009ca: ISZERO
000009cb: PUSH2 0x09d3
000009ce: JUMPI
000009cf: PUSH1 0x00
000009d1: DUP1
000009d2: REVERT
000009d3: JUMPDEST
000009d4: PUSH1 0x01
000009d6: DUP7
000009d7: MLOAD
000009d8: SUB
000009d9: SWAP4
000009da: POP
000009db: DUP4
000009dc: PUSH1 0x06
000009de: MUL
000009df: PUSH1 0x04
000009e1: ADD
000009e2: DUP8
000009e3: MLOAD
000009e4: EQ
000009e5: PUSH2 0x09ed
000009e8: JUMPI
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: REVERT
000009ed: JUMPDEST
000009ee: DUP4
000009ef: PUSH1 0x02
000009f1: MUL
000009f2: PUSH1 0x02
000009f4: ADD
000009f5: DUP6
000009f6: MLOAD
000009f7: EQ
000009f8: PUSH2 0x0a00
000009fb: JUMPI
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: REVERT
00000a00: JUMPDEST
00000a01: PUSH1 0x01
00000a03: DUP8
00000a04: PUSH1 0x00
00000a06: DUP2
00000a07: MLOAD
00000a08: DUP2
00000a09: LT
00000a0a: PUSH2 0x0a0f
00000a0d: JUMPI
00000a0e: INVALID
00000a0f: JUMPDEST
00000a10: SWAP1
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: SWAP1
00000a15: PUSH1 0x20
00000a17: MUL
00000a18: ADD
00000a19: MLOAD
00000a1a: EQ
00000a1b: DUP1
00000a1c: PUSH2 0x0a3b
00000a1f: JUMPI
00000a20: POP
00000a21: PUSH1 0x00
00000a23: DUP8
00000a24: PUSH1 0x00
00000a26: DUP2
00000a27: MLOAD
00000a28: DUP2
00000a29: LT
00000a2a: PUSH2 0x0a2f
00000a2d: JUMPI
00000a2e: INVALID
00000a2f: JUMPDEST
00000a30: SWAP1
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: SWAP1
00000a35: PUSH1 0x20
00000a37: MUL
00000a38: ADD
00000a39: MLOAD
00000a3a: EQ
00000a3b: JUMPDEST
00000a3c: ISZERO
00000a3d: ISZERO
00000a3e: PUSH2 0x0a46
00000a41: JUMPI
00000a42: PUSH1 0x00
00000a44: DUP1
00000a45: REVERT
00000a46: JUMPDEST
00000a47: PUSH2 0x0a65
00000a4a: DUP8
00000a4b: PUSH1 0x01
00000a4d: DUP2
00000a4e: MLOAD
00000a4f: DUP2
00000a50: LT
00000a51: PUSH2 0x0a56
00000a54: JUMPI
00000a55: INVALID
00000a56: JUMPDEST
00000a57: SWAP1
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP1
00000a5c: PUSH1 0x20
00000a5e: MUL
00000a5f: ADD
00000a60: MLOAD
00000a61: PUSH2 0x16dc
00000a64: JUMP
00000a65: JUMPDEST
00000a66: DUP7
00000a67: PUSH1 0x03
00000a69: DUP2
00000a6a: MLOAD
00000a6b: DUP2
00000a6c: LT
00000a6d: PUSH2 0x0a72
00000a70: JUMPI
00000a71: INVALID
00000a72: JUMPDEST
00000a73: SWAP1
00000a74: PUSH1 0x20
00000a76: ADD
00000a77: SWAP1
00000a78: PUSH1 0x20
00000a7a: MUL
00000a7b: ADD
00000a7c: MLOAD
00000a7d: TIMESTAMP
00000a7e: GT
00000a7f: ISZERO
00000a80: PUSH2 0x0a88
00000a83: JUMPI
00000a84: PUSH1 0x00
00000a86: DUP1
00000a87: REVERT
00000a88: JUMPDEST
00000a89: ADDRESS
00000a8a: CALLER
00000a8b: DUP9
00000a8c: PUSH1 0x00
00000a8e: DUP2
00000a8f: MLOAD
00000a90: DUP2
00000a91: LT
00000a92: PUSH2 0x0a97
00000a95: JUMPI
00000a96: INVALID
00000a97: JUMPDEST
00000a98: SWAP1
00000a99: PUSH1 0x20
00000a9b: ADD
00000a9c: SWAP1
00000a9d: PUSH1 0x20
00000a9f: MUL
00000aa0: ADD
00000aa1: MLOAD
00000aa2: DUP9
00000aa3: PUSH1 0x00
00000aa5: DUP2
00000aa6: MLOAD
00000aa7: DUP2
00000aa8: LT
00000aa9: PUSH2 0x0aae
00000aac: JUMPI
00000aad: INVALID
00000aae: JUMPDEST
00000aaf: SWAP1
00000ab0: PUSH1 0x20
00000ab2: ADD
00000ab3: SWAP1
00000ab4: PUSH1 0x20
00000ab6: MUL
00000ab7: ADD
00000ab8: MLOAD
00000ab9: DUP11
00000aba: PUSH1 0x01
00000abc: DUP2
00000abd: MLOAD
00000abe: DUP2
00000abf: LT
00000ac0: PUSH2 0x0ac5
00000ac3: JUMPI
00000ac4: INVALID
00000ac5: JUMPDEST
00000ac6: SWAP1
00000ac7: PUSH1 0x20
00000ac9: ADD
00000aca: SWAP1
00000acb: PUSH1 0x20
00000acd: MUL
00000ace: ADD
00000acf: MLOAD
00000ad0: DUP12
00000ad1: PUSH1 0x03
00000ad3: DUP2
00000ad4: MLOAD
00000ad5: DUP2
00000ad6: LT
00000ad7: PUSH2 0x0adc
00000ada: JUMPI
00000adb: INVALID
00000adc: JUMPDEST
00000add: SWAP1
00000ade: PUSH1 0x20
00000ae0: ADD
00000ae1: SWAP1
00000ae2: PUSH1 0x20
00000ae4: MUL
00000ae5: ADD
00000ae6: MLOAD
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: PUSH1 0x02
00000af0: EXP
00000af1: SUB
00000af2: SWAP7
00000af3: DUP8
00000af4: AND
00000af5: PUSH13 0x01000000000000000000000000
00000b03: SWAP1
00000b04: DUP2
00000b05: MUL
00000b06: DUP3
00000b07: MSTORE
00000b08: SWAP6
00000b09: DUP8
00000b0a: AND
00000b0b: DUP7
00000b0c: MUL
00000b0d: PUSH1 0x14
00000b0f: DUP3
00000b10: ADD
00000b11: MSTORE
00000b12: PUSH1 0xff
00000b14: SWAP5
00000b15: SWAP1
00000b16: SWAP5
00000b17: AND
00000b18: PUSH1 0xf8
00000b1a: PUSH1 0x02
00000b1c: EXP
00000b1d: MUL
00000b1e: PUSH1 0x28
00000b20: DUP6
00000b21: ADD
00000b22: MSTORE
00000b23: SWAP2
00000b24: SWAP1
00000b25: SWAP5
00000b26: AND
00000b27: SWAP1
00000b28: SWAP3
00000b29: MUL
00000b2a: PUSH1 0x29
00000b2c: DUP3
00000b2d: ADD
00000b2e: MSTORE
00000b2f: PUSH1 0x3d
00000b31: DUP2
00000b32: ADD
00000b33: SWAP3
00000b34: SWAP1
00000b35: SWAP3
00000b36: MSTORE
00000b37: PUSH1 0x5d
00000b39: DUP3
00000b3a: ADD
00000b3b: MSTORE
00000b3c: PUSH1 0x7d
00000b3e: ADD
00000b3f: PUSH1 0x40
00000b41: MLOAD
00000b42: DUP1
00000b43: SWAP2
00000b44: SUB
00000b45: SWAP1
00000b46: KECCAK256
00000b47: SWAP3
00000b48: POP
00000b49: PUSH1 0x00
00000b4b: SWAP1
00000b4c: POP
00000b4d: JUMPDEST
00000b4e: DUP4
00000b4f: DUP2
00000b50: LT
00000b51: ISZERO
00000b52: PUSH2 0x0bc3
00000b55: JUMPI
00000b56: PUSH2 0x0b5f
00000b59: DUP2
00000b5a: DUP9
00000b5b: PUSH2 0x173c
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH2 0x0b6b
00000b63: DUP2
00000b64: DUP9
00000b65: DUP9
00000b66: DUP9
00000b67: PUSH2 0x176c
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: SWAP2
00000b6d: POP
00000b6e: DUP3
00000b6f: DUP3
00000b70: DUP9
00000b71: DUP4
00000b72: PUSH1 0x06
00000b74: MUL
00000b75: PUSH1 0x09
00000b77: ADD
00000b78: DUP2
00000b79: MLOAD
00000b7a: DUP2
00000b7b: LT
00000b7c: PUSH2 0x0b81
00000b7f: JUMPI
00000b80: INVALID
00000b81: JUMPDEST
00000b82: SWAP1
00000b83: PUSH1 0x20
00000b85: ADD
00000b86: SWAP1
00000b87: PUSH1 0x20
00000b89: MUL
00000b8a: ADD
00000b8b: MLOAD
00000b8c: PUSH1 0x40
00000b8e: MLOAD
00000b8f: SWAP3
00000b90: DUP4
00000b91: MSTORE
00000b92: PUSH1 0x20
00000b94: DUP4
00000b95: ADD
00000b96: SWAP2
00000b97: SWAP1
00000b98: SWAP2
00000b99: MSTORE
00000b9a: PUSH1 0x40
00000b9c: DUP1
00000b9d: DUP4
00000b9e: ADD
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: SWAP2
00000ba2: MSTORE
00000ba3: PUSH1 0x60
00000ba5: SWAP1
00000ba6: SWAP2
00000ba7: ADD
00000ba8: SWAP1
00000ba9: MLOAD
00000baa: DUP1
00000bab: SWAP2
00000bac: SUB
00000bad: SWAP1
00000bae: KECCAK256
00000baf: SWAP3
00000bb0: POP
00000bb1: PUSH2 0x0bbb
00000bb4: DUP2
00000bb5: DUP9
00000bb6: DUP9
00000bb7: PUSH2 0x18d2
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: PUSH1 0x01
00000bbe: ADD
00000bbf: PUSH2 0x0b4d
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH2 0x0bce
00000bc7: DUP4
00000bc8: DUP9
00000bc9: DUP8
00000bca: PUSH2 0x1996
00000bcd: JUMP
00000bce: JUMPDEST
00000bcf: PUSH2 0x0bd8
00000bd2: DUP8
00000bd3: DUP8
00000bd4: PUSH2 0x1a65
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: POP
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: POP
00000bde: POP
00000bdf: POP
00000be0: JUMP
00000be1: JUMPDEST
00000be2: PUSH1 0x01
00000be4: SLOAD
00000be5: DUP2
00000be6: JUMP
00000be7: JUMPDEST
00000be8: DUP2
00000be9: PUSH1 0x01
00000beb: PUSH1 0xa0
00000bed: PUSH1 0x02
00000bef: EXP
00000bf0: SUB
00000bf1: AND
00000bf2: PUSH4 0x23b872dd
00000bf7: CALLER
00000bf8: ADDRESS
00000bf9: DUP5
00000bfa: PUSH1 0x00
00000bfc: PUSH1 0x40
00000bfe: MLOAD
00000bff: PUSH1 0x20
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH1 0x40
00000c05: MLOAD
00000c06: PUSH1 0xe0
00000c08: PUSH1 0x02
00000c0a: EXP
00000c0b: PUSH4 0xffffffff
00000c10: DUP7
00000c11: AND
00000c12: MUL
00000c13: DUP2
00000c14: MSTORE
00000c15: PUSH1 0x01
00000c17: PUSH1 0xa0
00000c19: PUSH1 0x02
00000c1b: EXP
00000c1c: SUB
00000c1d: SWAP4
00000c1e: DUP5
00000c1f: AND
00000c20: PUSH1 0x04
00000c22: DUP3
00000c23: ADD
00000c24: MSTORE
00000c25: SWAP2
00000c26: SWAP1
00000c27: SWAP3
00000c28: AND
00000c29: PUSH1 0x24
00000c2b: DUP3
00000c2c: ADD
00000c2d: MSTORE
00000c2e: PUSH1 0x44
00000c30: DUP2
00000c31: ADD
00000c32: SWAP2
00000c33: SWAP1
00000c34: SWAP2
00000c35: MSTORE
00000c36: PUSH1 0x64
00000c38: ADD
00000c39: PUSH1 0x20
00000c3b: PUSH1 0x40
00000c3d: MLOAD
00000c3e: DUP1
00000c3f: DUP4
00000c40: SUB
00000c41: DUP2
00000c42: PUSH1 0x00
00000c44: DUP8
00000c45: DUP1
00000c46: EXTCODESIZE
00000c47: ISZERO
00000c48: ISZERO
00000c49: PUSH2 0x0c51
00000c4c: JUMPI
00000c4d: PUSH1 0x00
00000c4f: DUP1
00000c50: REVERT
00000c51: JUMPDEST
00000c52: PUSH2 0x02c6
00000c55: GAS
00000c56: SUB
00000c57: CALL
00000c58: ISZERO
00000c59: ISZERO
00000c5a: PUSH2 0x0c62
00000c5d: JUMPI
00000c5e: PUSH1 0x00
00000c60: DUP1
00000c61: REVERT
00000c62: JUMPDEST
00000c63: POP
00000c64: POP
00000c65: POP
00000c66: PUSH1 0x40
00000c68: MLOAD
00000c69: DUP1
00000c6a: MLOAD
00000c6b: SWAP1
00000c6c: POP
00000c6d: ISZERO
00000c6e: ISZERO
00000c6f: PUSH2 0x0c77
00000c72: JUMPI
00000c73: PUSH1 0x00
00000c75: DUP1
00000c76: REVERT
00000c77: JUMPDEST
00000c78: PUSH1 0x01
00000c7a: PUSH1 0xa0
00000c7c: PUSH1 0x02
00000c7e: EXP
00000c7f: SUB
00000c80: CALLER
00000c81: DUP2
00000c82: AND
00000c83: PUSH1 0x00
00000c85: SWAP1
00000c86: DUP2
00000c87: MSTORE
00000c88: PUSH1 0x07
00000c8a: PUSH1 0x20
00000c8c: SWAP1
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: PUSH1 0x40
00000c91: DUP1
00000c92: DUP4
00000c93: KECCAK256
00000c94: SWAP4
00000c95: DUP7
00000c96: AND
00000c97: DUP4
00000c98: MSTORE
00000c99: SWAP3
00000c9a: SWAP1
00000c9b: MSTORE
00000c9c: KECCAK256
00000c9d: SLOAD
00000c9e: PUSH2 0x0ca7
00000ca1: SWAP1
00000ca2: DUP3
00000ca3: PUSH2 0x0781
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: CALLER
00000ca9: PUSH1 0x01
00000cab: PUSH1 0xa0
00000cad: PUSH1 0x02
00000caf: EXP
00000cb0: SUB
00000cb1: DUP2
00000cb2: DUP2
00000cb3: AND
00000cb4: PUSH1 0x00
00000cb6: SWAP1
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x07
00000cbb: PUSH1 0x20
00000cbd: SWAP1
00000cbe: DUP2
00000cbf: MSTORE
00000cc0: PUSH1 0x40
00000cc2: DUP1
00000cc3: DUP4
00000cc4: KECCAK256
00000cc5: SWAP4
00000cc6: DUP9
00000cc7: AND
00000cc8: DUP4
00000cc9: MSTORE
00000cca: SWAP3
00000ccb: SWAP1
00000ccc: MSTORE
00000ccd: DUP2
00000cce: SWAP1
00000ccf: KECCAK256
00000cd0: DUP4
00000cd1: SWAP1
00000cd2: SSTORE
00000cd3: PUSH32 0xbb01c612a93e37305a5f1f7b8ed63ea61211be444f722915b9dc827c0bdbffcc
00000cf4: SWAP3
00000cf5: DUP6
00000cf6: SWAP2
00000cf7: DUP6
00000cf8: SWAP2
00000cf9: SWAP1
00000cfa: MLOAD
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0xa0
00000cff: PUSH1 0x02
00000d01: EXP
00000d02: SUB
00000d03: SWAP5
00000d04: DUP6
00000d05: AND
00000d06: DUP2
00000d07: MSTORE
00000d08: SWAP3
00000d09: SWAP1
00000d0a: SWAP4
00000d0b: AND
00000d0c: PUSH1 0x20
00000d0e: DUP4
00000d0f: ADD
00000d10: MSTORE
00000d11: PUSH1 0x40
00000d13: DUP1
00000d14: DUP4
00000d15: ADD
00000d16: SWAP2
00000d17: SWAP1
00000d18: SWAP2
00000d19: MSTORE
00000d1a: PUSH1 0x60
00000d1c: DUP3
00000d1d: ADD
00000d1e: SWAP3
00000d1f: SWAP1
00000d20: SWAP3
00000d21: MSTORE
00000d22: PUSH1 0x80
00000d24: ADD
00000d25: SWAP1
00000d26: MLOAD
00000d27: DUP1
00000d28: SWAP2
00000d29: SUB
00000d2a: SWAP1
00000d2b: LOG1
00000d2c: POP
00000d2d: POP
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH1 0x01
00000d32: PUSH1 0xa0
00000d34: PUSH1 0x02
00000d36: EXP
00000d37: SUB
00000d38: CALLER
00000d39: AND
00000d3a: PUSH1 0x00
00000d3c: SWAP1
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: PUSH1 0x06
00000d41: PUSH1 0x20
00000d43: MSTORE
00000d44: PUSH1 0x40
00000d46: SWAP1
00000d47: KECCAK256
00000d48: SLOAD
00000d49: PUSH2 0x0d52
00000d4c: SWAP1
00000d4d: DUP3
00000d4e: PUSH2 0x1b8a
00000d51: JUMP
00000d52: JUMPDEST
00000d53: PUSH1 0x01
00000d55: PUSH1 0xa0
00000d57: PUSH1 0x02
00000d59: EXP
00000d5a: SUB
00000d5b: CALLER
00000d5c: AND
00000d5d: PUSH1 0x00
00000d5f: DUP2
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x06
00000d64: PUSH1 0x20
00000d66: MSTORE
00000d67: PUSH1 0x40
00000d69: SWAP1
00000d6a: DUP2
00000d6b: SWAP1
00000d6c: KECCAK256
00000d6d: SWAP3
00000d6e: SWAP1
00000d6f: SWAP3
00000d70: SSTORE
00000d71: SWAP1
00000d72: DUP3
00000d73: ISZERO
00000d74: PUSH2 0x08fc
00000d77: MUL
00000d78: SWAP1
00000d79: DUP4
00000d7a: SWAP1
00000d7b: MLOAD
00000d7c: PUSH1 0x00
00000d7e: PUSH1 0x40
00000d80: MLOAD
00000d81: DUP1
00000d82: DUP4
00000d83: SUB
00000d84: DUP2
00000d85: DUP6
00000d86: DUP9
00000d87: DUP9
00000d88: CALL
00000d89: SWAP4
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: POP
00000d8e: ISZERO
00000d8f: ISZERO
00000d90: PUSH2 0x0d98
00000d93: JUMPI
00000d94: PUSH1 0x00
00000d96: DUP1
00000d97: REVERT
00000d98: JUMPDEST
00000d99: PUSH32 0xfd68f27313402be52d2f46b6d391b7b8657000a3062853a4be930f1281072a01
00000dba: CALLER
00000dbb: DUP3
00000dbc: PUSH1 0x06
00000dbe: PUSH1 0x00
00000dc0: CALLER
00000dc1: PUSH1 0x01
00000dc3: PUSH1 0xa0
00000dc5: PUSH1 0x02
00000dc7: EXP
00000dc8: SUB
00000dc9: AND
00000dca: PUSH1 0x01
00000dcc: PUSH1 0xa0
00000dce: PUSH1 0x02
00000dd0: EXP
00000dd1: SUB
00000dd2: AND
00000dd3: DUP2
00000dd4: MSTORE
00000dd5: PUSH1 0x20
00000dd7: ADD
00000dd8: SWAP1
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH1 0x20
00000ddd: ADD
00000dde: PUSH1 0x00
00000de0: KECCAK256
00000de1: SLOAD
00000de2: PUSH1 0x40
00000de4: MLOAD
00000de5: DUP1
00000de6: DUP5
00000de7: PUSH1 0x01
00000de9: PUSH1 0xa0
00000deb: PUSH1 0x02
00000ded: EXP
00000dee: SUB
00000def: AND
00000df0: PUSH1 0x01
00000df2: PUSH1 0xa0
00000df4: PUSH1 0x02
00000df6: EXP
00000df7: SUB
00000df8: AND
00000df9: DUP2
00000dfa: MSTORE
00000dfb: PUSH1 0x20
00000dfd: ADD
00000dfe: DUP4
00000dff: DUP2
00000e00: MSTORE
00000e01: PUSH1 0x20
00000e03: ADD
00000e04: DUP3
00000e05: DUP2
00000e06: MSTORE
00000e07: PUSH1 0x20
00000e09: ADD
00000e0a: SWAP4
00000e0b: POP
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: PUSH1 0x40
00000e11: MLOAD
00000e12: DUP1
00000e13: SWAP2
00000e14: SUB
00000e15: SWAP1
00000e16: LOG1
00000e17: POP
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: PUSH1 0x00
00000e1c: SLOAD
00000e1d: CALLER
00000e1e: PUSH1 0x01
00000e20: PUSH1 0xa0
00000e22: PUSH1 0x02
00000e24: EXP
00000e25: SUB
00000e26: SWAP1
00000e27: DUP2
00000e28: AND
00000e29: SWAP2
00000e2a: AND
00000e2b: EQ
00000e2c: PUSH2 0x0e34
00000e2f: JUMPI
00000e30: PUSH1 0x00
00000e32: DUP1
00000e33: REVERT
00000e34: JUMPDEST
00000e35: PUSH1 0x00
00000e37: SLOAD
00000e38: PUSH1 0xa0
00000e3a: PUSH1 0x02
00000e3c: EXP
00000e3d: SWAP1
00000e3e: DIV
00000e3f: PUSH1 0xff
00000e41: AND
00000e42: ISZERO
00000e43: ISZERO
00000e44: PUSH2 0x0e4c
00000e47: JUMPI
00000e48: PUSH1 0x00
00000e4a: DUP1
00000e4b: REVERT
00000e4c: JUMPDEST
00000e4d: PUSH1 0x00
00000e4f: DUP1
00000e50: SLOAD
00000e51: PUSH21 0xff0000000000000000000000000000000000000000
00000e67: NOT
00000e68: AND
00000e69: SWAP1
00000e6a: SSTORE
00000e6b: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
00000e8c: PUSH1 0x40
00000e8e: MLOAD
00000e8f: PUSH1 0x40
00000e91: MLOAD
00000e92: DUP1
00000e93: SWAP2
00000e94: SUB
00000e95: SWAP1
00000e96: LOG1
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x01
00000e9b: DUP10
00000e9c: PUSH1 0xff
00000e9e: AND
00000e9f: EQ
00000ea0: DUP1
00000ea1: PUSH2 0x0eab
00000ea4: JUMPI
00000ea5: POP
00000ea6: PUSH1 0xff
00000ea8: DUP10
00000ea9: AND
00000eaa: ISZERO
00000eab: JUMPDEST
00000eac: ISZERO
00000ead: ISZERO
00000eae: PUSH2 0x0eb6
00000eb1: JUMPI
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: REVERT
00000eb6: JUMPDEST
00000eb7: PUSH1 0x02
00000eb9: SLOAD
00000eba: DUP5
00000ebb: ADD
00000ebc: TIMESTAMP
00000ebd: GT
00000ebe: ISZERO
00000ebf: PUSH2 0x0ec7
00000ec2: JUMPI
00000ec3: PUSH2 0x0f76
00000ec6: JUMP
00000ec7: JUMPDEST
00000ec8: PUSH2 0x0ed9
00000ecb: CALLER
00000ecc: DUP11
00000ecd: DUP11
00000ece: DUP11
00000ecf: DUP11
00000ed0: DUP11
00000ed1: DUP11
00000ed2: DUP11
00000ed3: DUP11
00000ed4: DUP11
00000ed5: PUSH2 0x1b9c
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: POP
00000edb: CALLER
00000edc: PUSH1 0x01
00000ede: PUSH1 0xa0
00000ee0: PUSH1 0x02
00000ee2: EXP
00000ee3: SUB
00000ee4: DUP2
00000ee5: AND
00000ee6: PUSH1 0x00
00000ee8: SWAP1
00000ee9: DUP2
00000eea: MSTORE
00000eeb: PUSH1 0x08
00000eed: PUSH1 0x20
00000eef: SWAP1
00000ef0: DUP2
00000ef1: MSTORE
00000ef2: PUSH1 0x40
00000ef4: DUP1
00000ef5: DUP4
00000ef6: KECCAK256
00000ef7: DUP12
00000ef8: DUP5
00000ef9: MSTORE
00000efa: SWAP1
00000efb: SWAP2
00000efc: MSTORE
00000efd: SWAP1
00000efe: DUP2
00000eff: SWAP1
00000f00: KECCAK256
00000f01: DUP8
00000f02: SWAP1
00000f03: SSTORE
00000f04: PUSH32 0x2f21c988da7a0be25ef59d2d641cfe9fa04686d1e87d5133500ce90bc31c5b0a
00000f25: SWAP2
00000f26: DUP12
00000f27: SWAP2
00000f28: DUP11
00000f29: SWAP1
00000f2a: DUP13
00000f2b: SWAP1
00000f2c: DUP12
00000f2d: SWAP1
00000f2e: DUP12
00000f2f: SWAP1
00000f30: MLOAD
00000f31: PUSH1 0xff
00000f33: SWAP1
00000f34: SWAP7
00000f35: AND
00000f36: DUP7
00000f37: MSTORE
00000f38: PUSH1 0x01
00000f3a: PUSH1 0xa0
00000f3c: PUSH1 0x02
00000f3e: EXP
00000f3f: SUB
00000f40: SWAP5
00000f41: DUP6
00000f42: AND
00000f43: PUSH1 0x20
00000f45: DUP8
00000f46: ADD
00000f47: MSTORE
00000f48: PUSH1 0x40
00000f4a: DUP1
00000f4b: DUP8
00000f4c: ADD
00000f4d: SWAP5
00000f4e: SWAP1
00000f4f: SWAP5
00000f50: MSTORE
00000f51: SWAP2
00000f52: SWAP1
00000f53: SWAP4
00000f54: AND
00000f55: PUSH1 0x60
00000f57: DUP6
00000f58: ADD
00000f59: MSTORE
00000f5a: PUSH1 0x80
00000f5c: DUP5
00000f5d: ADD
00000f5e: SWAP3
00000f5f: SWAP1
00000f60: SWAP3
00000f61: MSTORE
00000f62: PUSH1 0xa0
00000f64: DUP4
00000f65: ADD
00000f66: SWAP2
00000f67: SWAP1
00000f68: SWAP2
00000f69: MSTORE
00000f6a: PUSH1 0xc0
00000f6c: SWAP1
00000f6d: SWAP2
00000f6e: ADD
00000f6f: SWAP1
00000f70: MLOAD
00000f71: DUP1
00000f72: SWAP2
00000f73: SUB
00000f74: SWAP1
00000f75: LOG1
00000f76: JUMPDEST
00000f77: POP
00000f78: POP
00000f79: POP
00000f7a: POP
00000f7b: POP
00000f7c: POP
00000f7d: POP
00000f7e: POP
00000f7f: POP
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH1 0x00
00000f84: SLOAD
00000f85: CALLER
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: PUSH1 0x02
00000f8c: EXP
00000f8d: SUB
00000f8e: SWAP1
00000f8f: DUP2
00000f90: AND
00000f91: SWAP2
00000f92: AND
00000f93: EQ
00000f94: PUSH2 0x0f9c
00000f97: JUMPI
00000f98: PUSH1 0x00
00000f9a: DUP1
00000f9b: REVERT
00000f9c: JUMPDEST
00000f9d: PUSH2 0x0258
00000fa0: DUP2
00000fa1: GT
00000fa2: ISZERO
00000fa3: PUSH2 0x0fab
00000fa6: JUMPI
00000fa7: PUSH1 0x00
00000fa9: DUP1
00000faa: REVERT
00000fab: JUMPDEST
00000fac: PUSH1 0x02
00000fae: SSTORE
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x07
00000fb3: PUSH1 0x20
00000fb5: SWAP1
00000fb6: DUP2
00000fb7: MSTORE
00000fb8: PUSH1 0x00
00000fba: SWAP3
00000fbb: DUP4
00000fbc: MSTORE
00000fbd: PUSH1 0x40
00000fbf: DUP1
00000fc0: DUP5
00000fc1: KECCAK256
00000fc2: SWAP1
00000fc3: SWAP2
00000fc4: MSTORE
00000fc5: SWAP1
00000fc6: DUP3
00000fc7: MSTORE
00000fc8: SWAP1
00000fc9: KECCAK256
00000fca: SLOAD
00000fcb: DUP2
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: PUSH1 0x00
00000fd0: SLOAD
00000fd1: PUSH1 0xa0
00000fd3: PUSH1 0x02
00000fd5: EXP
00000fd6: SWAP1
00000fd7: DIV
00000fd8: PUSH1 0xff
00000fda: AND
00000fdb: DUP2
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: PUSH1 0x00
00000fe0: DUP1
00000fe1: PUSH2 0x0fea
00000fe4: DUP5
00000fe5: DUP5
00000fe6: PUSH2 0x15db
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH1 0x00
00000fed: SWAP1
00000fee: DUP2
00000fef: MSTORE
00000ff0: PUSH1 0x0c
00000ff2: PUSH1 0x20
00000ff4: MSTORE
00000ff5: PUSH1 0x40
00000ff7: SWAP1
00000ff8: KECCAK256
00000ff9: SLOAD
00000ffa: SWAP5
00000ffb: SWAP4
00000ffc: POP
00000ffd: POP
00000ffe: POP
00000fff: POP
00001000: JUMP
00001001: JUMPDEST
00001002: PUSH1 0x00
00001004: SLOAD
00001005: CALLER
00001006: PUSH1 0x01
00001008: PUSH1 0xa0
0000100a: PUSH1 0x02
0000100c: EXP
0000100d: SUB
0000100e: SWAP1
0000100f: DUP2
00001010: AND
00001011: SWAP2
00001012: AND
00001013: EQ
00001014: PUSH2 0x101c
00001017: JUMPI
00001018: PUSH1 0x00
0000101a: DUP1
0000101b: REVERT
0000101c: JUMPDEST
0000101d: PUSH1 0x0a
0000101f: DUP1
00001020: SLOAD
00001021: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001036: NOT
00001037: AND
00001038: PUSH1 0x01
0000103a: PUSH1 0xa0
0000103c: PUSH1 0x02
0000103e: EXP
0000103f: SUB
00001040: SWAP3
00001041: SWAP1
00001042: SWAP3
00001043: AND
00001044: SWAP2
00001045: SWAP1
00001046: SWAP2
00001047: OR
00001048: SWAP1
00001049: SSTORE
0000104a: JUMP
0000104b: JUMPDEST
0000104c: PUSH1 0x08
0000104e: PUSH1 0x20
00001050: SWAP1
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x00
00001055: SWAP3
00001056: DUP4
00001057: MSTORE
00001058: PUSH1 0x40
0000105a: DUP1
0000105b: DUP5
0000105c: KECCAK256
0000105d: SWAP1
0000105e: SWAP2
0000105f: MSTORE
00001060: SWAP1
00001061: DUP3
00001062: MSTORE
00001063: SWAP1
00001064: KECCAK256
00001065: SLOAD
00001066: DUP2
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x00
0000106b: SLOAD
0000106c: CALLER
0000106d: PUSH1 0x01
0000106f: PUSH1 0xa0
00001071: PUSH1 0x02
00001073: EXP
00001074: SUB
00001075: SWAP1
00001076: DUP2
00001077: AND
00001078: SWAP2
00001079: AND
0000107a: EQ
0000107b: PUSH2 0x1083
0000107e: JUMPI
0000107f: PUSH1 0x00
00001081: DUP1
00001082: REVERT
00001083: JUMPDEST
00001084: PUSH1 0x00
00001086: SLOAD
00001087: PUSH1 0xa0
00001089: PUSH1 0x02
0000108b: EXP
0000108c: SWAP1
0000108d: DIV
0000108e: PUSH1 0xff
00001090: AND
00001091: ISZERO
00001092: PUSH2 0x109a
00001095: JUMPI
00001096: PUSH1 0x00
00001098: DUP1
00001099: REVERT
0000109a: JUMPDEST
0000109b: PUSH1 0x00
0000109d: DUP1
0000109e: SLOAD
0000109f: PUSH21 0xff0000000000000000000000000000000000000000
000010b5: NOT
000010b6: AND
000010b7: PUSH1 0xa0
000010b9: PUSH1 0x02
000010bb: EXP
000010bc: OR
000010bd: SWAP1
000010be: SSTORE
000010bf: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: PUSH1 0x40
000010e5: MLOAD
000010e6: DUP1
000010e7: SWAP2
000010e8: SUB
000010e9: SWAP1
000010ea: LOG1
000010eb: JUMP
000010ec: JUMPDEST
000010ed: PUSH1 0x02
000010ef: SLOAD
000010f0: DUP2
000010f1: JUMP
000010f2: JUMPDEST
000010f3: PUSH1 0x00
000010f5: SLOAD
000010f6: PUSH1 0x01
000010f8: PUSH1 0xa0
000010fa: PUSH1 0x02
000010fc: EXP
000010fd: SUB
000010fe: AND
000010ff: DUP2
00001100: JUMP
00001101: JUMPDEST
00001102: PUSH1 0x01
00001104: PUSH1 0xa0
00001106: PUSH1 0x02
00001108: EXP
00001109: SUB
0000110a: CALLER
0000110b: AND
0000110c: PUSH1 0x00
0000110e: SWAP1
0000110f: DUP2
00001110: MSTORE
00001111: PUSH1 0x06
00001113: PUSH1 0x20
00001115: MSTORE
00001116: PUSH1 0x40
00001118: SWAP1
00001119: KECCAK256
0000111a: SLOAD
0000111b: PUSH2 0x1124
0000111e: SWAP1
0000111f: CALLVALUE
00001120: PUSH2 0x0781
00001123: JUMP
00001124: JUMPDEST
00001125: CALLER
00001126: PUSH1 0x01
00001128: PUSH1 0xa0
0000112a: PUSH1 0x02
0000112c: EXP
0000112d: SUB
0000112e: DUP2
0000112f: AND
00001130: PUSH1 0x00
00001132: SWAP1
00001133: DUP2
00001134: MSTORE
00001135: PUSH1 0x06
00001137: PUSH1 0x20
00001139: MSTORE
0000113a: PUSH1 0x40
0000113c: SWAP1
0000113d: DUP2
0000113e: SWAP1
0000113f: KECCAK256
00001140: DUP4
00001141: SWAP1
00001142: SSTORE
00001143: PUSH32 0x20d6bac8359f33d79581bfd2b0457cb189fda6d90fed287ddc9f2ba3eb124b67
00001164: SWAP3
00001165: CALLVALUE
00001166: SWAP2
00001167: MLOAD
00001168: DUP1
00001169: DUP5
0000116a: PUSH1 0x01
0000116c: PUSH1 0xa0
0000116e: PUSH1 0x02
00001170: EXP
00001171: SUB
00001172: AND
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: PUSH1 0x02
00001179: EXP
0000117a: SUB
0000117b: AND
0000117c: DUP2
0000117d: MSTORE
0000117e: PUSH1 0x20
00001180: ADD
00001181: DUP4
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x20
00001186: ADD
00001187: DUP3
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: SWAP4
0000118e: POP
0000118f: POP
00001190: POP
00001191: POP
00001192: PUSH1 0x40
00001194: MLOAD
00001195: DUP1
00001196: SWAP2
00001197: SUB
00001198: SWAP1
00001199: LOG1
0000119a: JUMP
0000119b: JUMPDEST
0000119c: PUSH1 0x01
0000119e: PUSH1 0xa0
000011a0: PUSH1 0x02
000011a2: EXP
000011a3: SUB
000011a4: CALLER
000011a5: DUP2
000011a6: AND
000011a7: PUSH1 0x00
000011a9: SWAP1
000011aa: DUP2
000011ab: MSTORE
000011ac: PUSH1 0x07
000011ae: PUSH1 0x20
000011b0: SWAP1
000011b1: DUP2
000011b2: MSTORE
000011b3: PUSH1 0x40
000011b5: DUP1
000011b6: DUP4
000011b7: KECCAK256
000011b8: SWAP4
000011b9: DUP7
000011ba: AND
000011bb: DUP4
000011bc: MSTORE
000011bd: SWAP3
000011be: SWAP1
000011bf: MSTORE
000011c0: KECCAK256
000011c1: SLOAD
000011c2: PUSH2 0x11cb
000011c5: SWAP1
000011c6: DUP3
000011c7: PUSH2 0x1b8a
000011ca: JUMP
000011cb: JUMPDEST
000011cc: PUSH1 0x01
000011ce: PUSH1 0xa0
000011d0: PUSH1 0x02
000011d2: EXP
000011d3: SUB
000011d4: CALLER
000011d5: DUP2
000011d6: DUP2
000011d7: AND
000011d8: PUSH1 0x00
000011da: SWAP1
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x07
000011df: PUSH1 0x20
000011e1: SWAP1
000011e2: DUP2
000011e3: MSTORE
000011e4: PUSH1 0x40
000011e6: DUP1
000011e7: DUP4
000011e8: KECCAK256
000011e9: SWAP5
000011ea: DUP9
000011eb: AND
000011ec: DUP1
000011ed: DUP5
000011ee: MSTORE
000011ef: SWAP5
000011f0: SWAP1
000011f1: SWAP2
000011f2: MSTORE
000011f3: DUP1
000011f4: DUP3
000011f5: KECCAK256
000011f6: SWAP5
000011f7: SWAP1
000011f8: SWAP5
000011f9: SSTORE
000011fa: SWAP2
000011fb: SWAP3
000011fc: PUSH4 0xa9059cbb
00001201: SWAP3
00001202: DUP6
00001203: SWAP2
00001204: MLOAD
00001205: PUSH1 0x20
00001207: ADD
00001208: MSTORE
00001209: PUSH1 0x40
0000120b: MLOAD
0000120c: PUSH1 0xe0
0000120e: PUSH1 0x02
00001210: EXP
00001211: PUSH4 0xffffffff
00001216: DUP6
00001217: AND
00001218: MUL
00001219: DUP2
0000121a: MSTORE
0000121b: PUSH1 0x01
0000121d: PUSH1 0xa0
0000121f: PUSH1 0x02
00001221: EXP
00001222: SUB
00001223: SWAP1
00001224: SWAP3
00001225: AND
00001226: PUSH1 0x04
00001228: DUP4
00001229: ADD
0000122a: MSTORE
0000122b: PUSH1 0x24
0000122d: DUP3
0000122e: ADD
0000122f: MSTORE
00001230: PUSH1 0x44
00001232: ADD
00001233: PUSH1 0x20
00001235: PUSH1 0x40
00001237: MLOAD
00001238: DUP1
00001239: DUP4
0000123a: SUB
0000123b: DUP2
0000123c: PUSH1 0x00
0000123e: DUP8
0000123f: DUP1
00001240: EXTCODESIZE
00001241: ISZERO
00001242: ISZERO
00001243: PUSH2 0x124b
00001246: JUMPI
00001247: PUSH1 0x00
00001249: DUP1
0000124a: REVERT
0000124b: JUMPDEST
0000124c: PUSH2 0x02c6
0000124f: GAS
00001250: SUB
00001251: CALL
00001252: ISZERO
00001253: ISZERO
00001254: PUSH2 0x125c
00001257: JUMPI
00001258: PUSH1 0x00
0000125a: DUP1
0000125b: REVERT
0000125c: JUMPDEST
0000125d: POP
0000125e: POP
0000125f: POP
00001260: PUSH1 0x40
00001262: MLOAD
00001263: DUP1
00001264: MLOAD
00001265: SWAP1
00001266: POP
00001267: ISZERO
00001268: ISZERO
00001269: PUSH2 0x1271
0000126c: JUMPI
0000126d: PUSH1 0x00
0000126f: DUP1
00001270: REVERT
00001271: JUMPDEST
00001272: PUSH1 0x01
00001274: PUSH1 0xa0
00001276: PUSH1 0x02
00001278: EXP
00001279: SUB
0000127a: CALLER
0000127b: DUP2
0000127c: DUP2
0000127d: AND
0000127e: PUSH1 0x00
00001280: SWAP1
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x07
00001285: PUSH1 0x20
00001287: SWAP1
00001288: DUP2
00001289: MSTORE
0000128a: PUSH1 0x40
0000128c: DUP1
0000128d: DUP4
0000128e: KECCAK256
0000128f: SWAP5
00001290: DUP8
00001291: AND
00001292: DUP4
00001293: MSTORE
00001294: SWAP4
00001295: SWAP1
00001296: MSTORE
00001297: DUP3
00001298: SWAP1
00001299: KECCAK256
0000129a: SLOAD
0000129b: PUSH32 0xa69fc39b702a6e8195370ae2252cc11b4445837cc4abe15ac39123f2f2d8770d
000012bc: SWAP3
000012bd: DUP6
000012be: SWAP2
000012bf: DUP6
000012c0: SWAP2
000012c1: MLOAD
000012c2: PUSH1 0x01
000012c4: PUSH1 0xa0
000012c6: PUSH1 0x02
000012c8: EXP
000012c9: SUB
000012ca: SWAP5
000012cb: DUP6
000012cc: AND
000012cd: DUP2
000012ce: MSTORE
000012cf: SWAP3
000012d0: SWAP1
000012d1: SWAP4
000012d2: AND
000012d3: PUSH1 0x20
000012d5: DUP4
000012d6: ADD
000012d7: MSTORE
000012d8: PUSH1 0x40
000012da: DUP1
000012db: DUP4
000012dc: ADD
000012dd: SWAP2
000012de: SWAP1
000012df: SWAP2
000012e0: MSTORE
000012e1: PUSH1 0x60
000012e3: DUP3
000012e4: ADD
000012e5: SWAP3
000012e6: SWAP1
000012e7: SWAP3
000012e8: MSTORE
000012e9: PUSH1 0x80
000012eb: ADD
000012ec: SWAP1
000012ed: MLOAD
000012ee: DUP1
000012ef: SWAP2
000012f0: SUB
000012f1: SWAP1
000012f2: LOG1
000012f3: POP
000012f4: POP
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH1 0x00
000012f9: SLOAD
000012fa: CALLER
000012fb: PUSH1 0x01
000012fd: PUSH1 0xa0
000012ff: PUSH1 0x02
00001301: EXP
00001302: SUB
00001303: SWAP1
00001304: DUP2
00001305: AND
00001306: SWAP2
00001307: AND
00001308: EQ
00001309: PUSH2 0x1311
0000130c: JUMPI
0000130d: PUSH1 0x00
0000130f: DUP1
00001310: REVERT
00001311: JUMPDEST
00001312: PUSH1 0x03
00001314: DUP1
00001315: SLOAD
00001316: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000132b: NOT
0000132c: AND
0000132d: PUSH1 0x01
0000132f: PUSH1 0xa0
00001331: PUSH1 0x02
00001333: EXP
00001334: SUB
00001335: SWAP3
00001336: SWAP1
00001337: SWAP3
00001338: AND
00001339: SWAP2
0000133a: SWAP1
0000133b: SWAP2
0000133c: OR
0000133d: SWAP1
0000133e: SSTORE
0000133f: JUMP
00001340: JUMPDEST
00001341: PUSH1 0x0c
00001343: PUSH1 0x20
00001345: MSTORE
00001346: PUSH1 0x00
00001348: SWAP1
00001349: DUP2
0000134a: MSTORE
0000134b: PUSH1 0x40
0000134d: SWAP1
0000134e: KECCAK256
0000134f: SLOAD
00001350: DUP2
00001351: JUMP
00001352: JUMPDEST
00001353: PUSH2 0x1388
00001356: DUP2
00001357: JUMP
00001358: JUMPDEST
00001359: PUSH1 0x0b
0000135b: PUSH1 0x20
0000135d: MSTORE
0000135e: PUSH1 0x00
00001360: SWAP1
00001361: DUP2
00001362: MSTORE
00001363: PUSH1 0x40
00001365: SWAP1
00001366: KECCAK256
00001367: SLOAD
00001368: PUSH1 0xff
0000136a: DUP2
0000136b: AND
0000136c: SWAP1
0000136d: PUSH2 0x0100
00001370: SWAP1
00001371: DIV
00001372: PUSH1 0x01
00001374: PUSH1 0x80
00001376: PUSH1 0x02
00001378: EXP
00001379: SUB
0000137a: AND
0000137b: DUP3
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x03
00001380: SLOAD
00001381: PUSH1 0x01
00001383: PUSH1 0xa0
00001385: PUSH1 0x02
00001387: EXP
00001388: SUB
00001389: AND
0000138a: DUP2
0000138b: JUMP
0000138c: JUMPDEST
0000138d: PUSH1 0x00
0000138f: ADDRESS
00001390: CALLER
00001391: DUP8
00001392: DUP8
00001393: PUSH1 0x40
00001395: MLOAD
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: PUSH1 0x02
0000139c: EXP
0000139d: SUB
0000139e: SWAP5
0000139f: DUP6
000013a0: AND
000013a1: PUSH13 0x01000000000000000000000000
000013af: SWAP1
000013b0: DUP2
000013b1: MUL
000013b2: DUP3
000013b3: MSTORE
000013b4: SWAP4
000013b5: SWAP1
000013b6: SWAP5
000013b7: AND
000013b8: SWAP1
000013b9: SWAP3
000013ba: MUL
000013bb: PUSH1 0x14
000013bd: DUP5
000013be: ADD
000013bf: MSTORE
000013c0: PUSH1 0xff
000013c2: AND
000013c3: PUSH1 0xf8
000013c5: PUSH1 0x02
000013c7: EXP
000013c8: MUL
000013c9: PUSH1 0x28
000013cb: DUP4
000013cc: ADD
000013cd: MSTORE
000013ce: PUSH1 0x01
000013d0: PUSH1 0x80
000013d2: PUSH1 0x02
000013d4: EXP
000013d5: SUB
000013d6: AND
000013d7: PUSH17 0x0100000000000000000000000000000000
000013e9: MUL
000013ea: PUSH1 0x29
000013ec: DUP3
000013ed: ADD
000013ee: MSTORE
000013ef: PUSH1 0x39
000013f1: ADD
000013f2: PUSH1 0x40
000013f4: MLOAD
000013f5: SWAP1
000013f6: DUP2
000013f7: SWAP1
000013f8: SUB
000013f9: SWAP1
000013fa: KECCAK256
000013fb: PUSH1 0x0a
000013fd: SLOAD
000013fe: SWAP1
000013ff: SWAP2
00001400: POP
00001401: PUSH1 0x01
00001403: PUSH1 0xa0
00001405: PUSH1 0x02
00001407: EXP
00001408: SUB
00001409: AND
0000140a: PUSH1 0x01
0000140c: DUP3
0000140d: DUP7
0000140e: DUP7
0000140f: DUP7
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH1 0x00
00001415: DUP2
00001416: MSTORE
00001417: PUSH1 0x20
00001419: ADD
0000141a: PUSH1 0x40
0000141c: MSTORE
0000141d: PUSH1 0x00
0000141f: PUSH1 0x40
00001421: MLOAD
00001422: PUSH1 0x20
00001424: ADD
00001425: MSTORE
00001426: PUSH1 0x40
00001428: MLOAD
00001429: SWAP4
0000142a: DUP5
0000142b: MSTORE
0000142c: PUSH1 0xff
0000142e: SWAP1
0000142f: SWAP3
00001430: AND
00001431: PUSH1 0x20
00001433: DUP1
00001434: DUP6
00001435: ADD
00001436: SWAP2
00001437: SWAP1
00001438: SWAP2
00001439: MSTORE
0000143a: PUSH1 0x40
0000143c: DUP1
0000143d: DUP6
0000143e: ADD
0000143f: SWAP3
00001440: SWAP1
00001441: SWAP3
00001442: MSTORE
00001443: PUSH1 0x60
00001445: DUP5
00001446: ADD
00001447: SWAP3
00001448: SWAP1
00001449: SWAP3
0000144a: MSTORE
0000144b: PUSH1 0x80
0000144d: SWAP1
0000144e: SWAP3
0000144f: ADD
00001450: SWAP2
00001451: MLOAD
00001452: PUSH1 0x20
00001454: DUP2
00001455: SUB
00001456: SWAP1
00001457: DUP1
00001458: DUP5
00001459: SUB
0000145a: SWAP1
0000145b: PUSH1 0x00
0000145d: DUP7
0000145e: PUSH2 0x646e
00001461: GAS
00001462: SUB
00001463: CALL
00001464: ISZERO
00001465: ISZERO
00001466: PUSH2 0x146e
00001469: JUMPI
0000146a: PUSH1 0x00
0000146c: DUP1
0000146d: REVERT
0000146e: JUMPDEST
0000146f: POP
00001470: POP
00001471: PUSH1 0x20
00001473: PUSH1 0x40
00001475: MLOAD
00001476: SUB
00001477: MLOAD
00001478: PUSH1 0x01
0000147a: PUSH1 0xa0
0000147c: PUSH1 0x02
0000147e: EXP
0000147f: SUB
00001480: AND
00001481: EQ
00001482: PUSH2 0x148a
00001485: JUMPI
00001486: PUSH1 0x00
00001488: DUP1
00001489: REVERT
0000148a: JUMPDEST
0000148b: PUSH1 0x64
0000148d: PUSH1 0xff
0000148f: DUP8
00001490: AND
00001491: LT
00001492: PUSH2 0x149a
00001495: JUMPI
00001496: PUSH1 0x00
00001498: DUP1
00001499: REVERT
0000149a: JUMPDEST
0000149b: TIMESTAMP
0000149c: PUSH1 0x01
0000149e: PUSH1 0x80
000014a0: PUSH1 0x02
000014a2: EXP
000014a3: SUB
000014a4: DUP7
000014a5: AND
000014a6: GT
000014a7: PUSH2 0x14af
000014aa: JUMPI
000014ab: PUSH1 0x00
000014ad: DUP1
000014ae: REVERT
000014af: JUMPDEST
000014b0: PUSH3 0x2e2480
000014b4: TIMESTAMP
000014b5: ADD
000014b6: PUSH1 0x01
000014b8: PUSH1 0x80
000014ba: PUSH1 0x02
000014bc: EXP
000014bd: SUB
000014be: DUP7
000014bf: AND
000014c0: GT
000014c1: ISZERO
000014c2: PUSH2 0x14ca
000014c5: JUMPI
000014c6: PUSH1 0x00
000014c8: DUP1
000014c9: REVERT
000014ca: JUMPDEST
000014cb: PUSH2 0x14d7
000014ce: CALLER
000014cf: DUP8
000014d0: DUP8
000014d1: PUSH1 0x00
000014d3: PUSH2 0x15f5
000014d6: JUMP
000014d7: JUMPDEST
000014d8: POP
000014d9: POP
000014da: POP
000014db: POP
000014dc: POP
000014dd: POP
000014de: JUMP
000014df: JUMPDEST
000014e0: PUSH1 0x00
000014e2: DUP1
000014e3: SLOAD
000014e4: CALLER
000014e5: PUSH1 0x01
000014e7: PUSH1 0xa0
000014e9: PUSH1 0x02
000014eb: EXP
000014ec: SUB
000014ed: SWAP1
000014ee: DUP2
000014ef: AND
000014f0: SWAP2
000014f1: AND
000014f2: EQ
000014f3: PUSH2 0x14fb
000014f6: JUMPI
000014f7: PUSH1 0x00
000014f9: DUP1
000014fa: REVERT
000014fb: JUMPDEST
000014fc: PUSH1 0x64
000014fe: PUSH1 0xff
00001500: DUP6
00001501: AND
00001502: LT
00001503: PUSH2 0x150b
00001506: JUMPI
00001507: PUSH1 0x00
00001509: DUP1
0000150a: REVERT
0000150b: JUMPDEST
0000150c: PUSH1 0x00
0000150e: PUSH1 0x01
00001510: PUSH1 0x80
00001512: PUSH1 0x02
00001514: EXP
00001515: SUB
00001516: DUP5
00001517: AND
00001518: GT
00001519: PUSH2 0x1521
0000151c: JUMPI
0000151d: PUSH1 0x00
0000151f: DUP1
00001520: REVERT
00001521: JUMPDEST
00001522: PUSH1 0x00
00001524: DUP3
00001525: GT
00001526: PUSH2 0x152e
00001529: JUMPI
0000152a: PUSH1 0x00
0000152c: DUP1
0000152d: REVERT
0000152e: JUMPDEST
0000152f: PUSH2 0x1538
00001532: DUP5
00001533: DUP5
00001534: PUSH2 0x15db
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH1 0x00
0000153b: SWAP1
0000153c: DUP2
0000153d: MSTORE
0000153e: PUSH1 0x0c
00001540: PUSH1 0x20
00001542: MSTORE
00001543: PUSH1 0x40
00001545: SWAP1
00001546: KECCAK256
00001547: SWAP2
00001548: SWAP1
00001549: SWAP2
0000154a: SSTORE
0000154b: POP
0000154c: POP
0000154d: POP
0000154e: JUMP
0000154f: JUMPDEST
00001550: PUSH2 0x0258
00001553: DUP2
00001554: JUMP
00001555: JUMPDEST
00001556: PUSH1 0x00
00001558: SLOAD
00001559: CALLER
0000155a: PUSH1 0x01
0000155c: PUSH1 0xa0
0000155e: PUSH1 0x02
00001560: EXP
00001561: SUB
00001562: SWAP1
00001563: DUP2
00001564: AND
00001565: SWAP2
00001566: AND
00001567: EQ
00001568: PUSH2 0x1570
0000156b: JUMPI
0000156c: PUSH1 0x00
0000156e: DUP1
0000156f: REVERT
00001570: JUMPDEST
00001571: PUSH1 0x01
00001573: PUSH1 0xa0
00001575: PUSH1 0x02
00001577: EXP
00001578: SUB
00001579: DUP2
0000157a: AND
0000157b: ISZERO
0000157c: PUSH2 0x15a8
0000157f: JUMPI
00001580: PUSH1 0x00
00001582: DUP1
00001583: SLOAD
00001584: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001599: NOT
0000159a: AND
0000159b: PUSH1 0x01
0000159d: PUSH1 0xa0
0000159f: PUSH1 0x02
000015a1: EXP
000015a2: SUB
000015a3: DUP4
000015a4: AND
000015a5: OR
000015a6: SWAP1
000015a7: SSTORE
000015a8: JUMPDEST
000015a9: POP
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH8 0x0de0b6b3a7640000
000015b5: DUP2
000015b6: JUMP
000015b7: JUMPDEST
000015b8: PUSH32 0x3da4a05d8449a7bc291302cce8a490cf367b98ec37200076c3f13f1f2308fd74
000015d9: DUP2
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH2 0x0100
000015df: PUSH1 0x01
000015e1: PUSH1 0x80
000015e3: PUSH1 0x02
000015e5: EXP
000015e6: SUB
000015e7: DUP3
000015e8: AND
000015e9: MUL
000015ea: PUSH1 0xff
000015ec: DUP4
000015ed: AND
000015ee: ADD
000015ef: JUMPDEST
000015f0: SWAP3
000015f1: SWAP2
000015f2: POP
000015f3: POP
000015f4: JUMP
000015f5: JUMPDEST
000015f6: PUSH1 0x40
000015f8: DUP1
000015f9: MLOAD
000015fa: SWAP1
000015fb: DUP2
000015fc: ADD
000015fd: PUSH1 0x40
000015ff: SWAP1
00001600: DUP2
00001601: MSTORE
00001602: PUSH1 0xff
00001604: DUP6
00001605: AND
00001606: DUP3
00001607: MSTORE
00001608: PUSH1 0x01
0000160a: PUSH1 0x80
0000160c: PUSH1 0x02
0000160e: EXP
0000160f: SUB
00001610: DUP5
00001611: AND
00001612: PUSH1 0x20
00001614: DUP1
00001615: DUP5
00001616: ADD
00001617: SWAP2
00001618: SWAP1
00001619: SWAP2
0000161a: MSTORE
0000161b: PUSH1 0x01
0000161d: PUSH1 0xa0
0000161f: PUSH1 0x02
00001621: EXP
00001622: SUB
00001623: DUP8
00001624: AND
00001625: PUSH1 0x00
00001627: SWAP1
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x0b
0000162c: SWAP1
0000162d: SWAP2
0000162e: MSTORE
0000162f: KECCAK256
00001630: DUP2
00001631: MLOAD
00001632: DUP2
00001633: SLOAD
00001634: PUSH1 0xff
00001636: NOT
00001637: AND
00001638: PUSH1 0xff
0000163a: SWAP2
0000163b: SWAP1
0000163c: SWAP2
0000163d: AND
0000163e: OR
0000163f: DUP2
00001640: SSTORE
00001641: PUSH1 0x20
00001643: DUP3
00001644: ADD
00001645: MLOAD
00001646: DUP2
00001647: SLOAD
00001648: PUSH1 0x01
0000164a: PUSH1 0x80
0000164c: PUSH1 0x02
0000164e: EXP
0000164f: SUB
00001650: SWAP2
00001651: SWAP1
00001652: SWAP2
00001653: AND
00001654: PUSH2 0x0100
00001657: MUL
00001658: PUSH17 0xffffffffffffffffffffffffffffffff00
0000166a: NOT
0000166b: SWAP1
0000166c: SWAP2
0000166d: AND
0000166e: OR
0000166f: SWAP1
00001670: SSTORE
00001671: POP
00001672: PUSH32 0x0b9ed8798ce889acd8779436736d269415d869d25c5de987a3e7d9f66f71cac1
00001693: DUP5
00001694: DUP5
00001695: DUP5
00001696: DUP5
00001697: PUSH1 0x40
00001699: MLOAD
0000169a: PUSH1 0x01
0000169c: PUSH1 0xa0
0000169e: PUSH1 0x02
000016a0: EXP
000016a1: SUB
000016a2: SWAP1
000016a3: SWAP5
000016a4: AND
000016a5: DUP5
000016a6: MSTORE
000016a7: PUSH1 0xff
000016a9: SWAP1
000016aa: SWAP3
000016ab: AND
000016ac: PUSH1 0x20
000016ae: DUP5
000016af: ADD
000016b0: MSTORE
000016b1: PUSH1 0x01
000016b3: PUSH1 0x80
000016b5: PUSH1 0x02
000016b7: EXP
000016b8: SUB
000016b9: AND
000016ba: PUSH1 0x40
000016bc: DUP1
000016bd: DUP5
000016be: ADD
000016bf: SWAP2
000016c0: SWAP1
000016c1: SWAP2
000016c2: MSTORE
000016c3: PUSH1 0x60
000016c5: DUP4
000016c6: ADD
000016c7: SWAP2
000016c8: SWAP1
000016c9: SWAP2
000016ca: MSTORE
000016cb: PUSH1 0x80
000016cd: SWAP1
000016ce: SWAP2
000016cf: ADD
000016d0: SWAP1
000016d1: MLOAD
000016d2: DUP1
000016d3: SWAP2
000016d4: SUB
000016d5: SWAP1
000016d6: LOG1
000016d7: POP
000016d8: POP
000016d9: POP
000016da: POP
000016db: JUMP
000016dc: JUMPDEST
000016dd: PUSH1 0x01
000016df: PUSH1 0xa0
000016e1: PUSH1 0x02
000016e3: EXP
000016e4: SUB
000016e5: CALLER
000016e6: AND
000016e7: PUSH1 0x00
000016e9: SWAP1
000016ea: DUP2
000016eb: MSTORE
000016ec: PUSH1 0x09
000016ee: PUSH1 0x20
000016f0: SWAP1
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x40
000016f5: DUP1
000016f6: DUP4
000016f7: KECCAK256
000016f8: DUP5
000016f9: DUP5
000016fa: MSTORE
000016fb: SWAP1
000016fc: SWAP2
000016fd: MSTORE
000016fe: SWAP1
000016ff: KECCAK256
00001700: SLOAD
00001701: PUSH1 0xff
00001703: AND
00001704: ISZERO
00001705: PUSH2 0x170d
00001708: JUMPI
00001709: PUSH1 0x00
0000170b: DUP1
0000170c: REVERT
0000170d: JUMPDEST
0000170e: PUSH1 0x01
00001710: PUSH1 0xa0
00001712: PUSH1 0x02
00001714: EXP
00001715: SUB
00001716: CALLER
00001717: AND
00001718: PUSH1 0x00
0000171a: SWAP1
0000171b: DUP2
0000171c: MSTORE
0000171d: PUSH1 0x09
0000171f: PUSH1 0x20
00001721: SWAP1
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x40
00001726: DUP1
00001727: DUP4
00001728: KECCAK256
00001729: SWAP4
0000172a: DUP4
0000172b: MSTORE
0000172c: SWAP3
0000172d: SWAP1
0000172e: MSTORE
0000172f: KECCAK256
00001730: DUP1
00001731: SLOAD
00001732: PUSH1 0xff
00001734: NOT
00001735: AND
00001736: PUSH1 0x01
00001738: OR
00001739: SWAP1
0000173a: SSTORE
0000173b: JUMP
0000173c: JUMPDEST
0000173d: PUSH1 0x02
0000173f: SLOAD
00001740: DUP2
00001741: DUP4
00001742: PUSH1 0x06
00001744: MUL
00001745: PUSH1 0x07
00001747: ADD
00001748: DUP2
00001749: MLOAD
0000174a: DUP2
0000174b: LT
0000174c: PUSH2 0x1751
0000174f: JUMPI
00001750: INVALID
00001751: JUMPDEST
00001752: SWAP1
00001753: PUSH1 0x20
00001755: ADD
00001756: SWAP1
00001757: PUSH1 0x20
00001759: MUL
0000175a: ADD
0000175b: MLOAD
0000175c: ADD
0000175d: TIMESTAMP
0000175e: GT
0000175f: ISZERO
00001760: PUSH2 0x1768
00001763: JUMPI
00001764: PUSH1 0x00
00001766: DUP1
00001767: REVERT
00001768: JUMPDEST
00001769: POP
0000176a: POP
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x00
0000176f: DUP1
00001770: PUSH1 0x00
00001772: DUP1
00001773: PUSH1 0x00
00001775: DUP1
00001776: PUSH1 0x00
00001778: DUP1
00001779: PUSH1 0x00
0000177b: DUP1
0000177c: PUSH1 0x00
0000177e: PUSH1 0x01
00001780: DUP15
00001781: PUSH1 0x00
00001783: DUP2
00001784: MLOAD
00001785: DUP2
00001786: LT
00001787: PUSH2 0x178c
0000178a: JUMPI
0000178b: INVALID
0000178c: JUMPDEST
0000178d: SWAP1
0000178e: PUSH1 0x20
00001790: ADD
00001791: SWAP1
00001792: PUSH1 0x20
00001794: MUL
00001795: ADD
00001796: MLOAD
00001797: EQ
00001798: PUSH2 0x17a2
0000179b: JUMPI
0000179c: PUSH1 0x01
0000179e: PUSH2 0x17a5
000017a1: JUMP
000017a2: JUMPDEST
000017a3: PUSH1 0x00
000017a5: JUMPDEST
000017a6: SWAP10
000017a7: POP
000017a8: DUP13
000017a9: DUP16
000017aa: PUSH1 0x01
000017ac: ADD
000017ad: DUP2
000017ae: MLOAD
000017af: DUP2
000017b0: LT
000017b1: PUSH2 0x17b6
000017b4: JUMPI
000017b5: INVALID
000017b6: JUMPDEST
000017b7: SWAP1
000017b8: PUSH1 0x20
000017ba: ADD
000017bb: SWAP1
000017bc: PUSH1 0x20
000017be: MUL
000017bf: ADD
000017c0: MLOAD
000017c1: SWAP9
000017c2: POP
000017c3: DUP13
000017c4: PUSH1 0x00
000017c6: DUP2
000017c7: MLOAD
000017c8: DUP2
000017c9: LT
000017ca: PUSH2 0x17cf
000017cd: JUMPI
000017ce: INVALID
000017cf: JUMPDEST
000017d0: SWAP1
000017d1: PUSH1 0x20
000017d3: ADD
000017d4: SWAP1
000017d5: PUSH1 0x20
000017d7: MUL
000017d8: ADD
000017d9: MLOAD
000017da: SWAP8
000017db: POP
000017dc: DUP14
000017dd: DUP16
000017de: PUSH1 0x06
000017e0: MUL
000017e1: PUSH1 0x04
000017e3: ADD
000017e4: DUP2
000017e5: MLOAD
000017e6: DUP2
000017e7: LT
000017e8: PUSH2 0x17ed
000017eb: JUMPI
000017ec: INVALID
000017ed: JUMPDEST
000017ee: SWAP1
000017ef: PUSH1 0x20
000017f1: ADD
000017f2: SWAP1
000017f3: PUSH1 0x20
000017f5: MUL
000017f6: ADD
000017f7: MLOAD
000017f8: SWAP7
000017f9: POP
000017fa: DUP14
000017fb: DUP16
000017fc: PUSH1 0x06
000017fe: MUL
000017ff: PUSH1 0x05
00001801: ADD
00001802: DUP2
00001803: MLOAD
00001804: DUP2
00001805: LT
00001806: PUSH2 0x180b
00001809: JUMPI
0000180a: INVALID
0000180b: JUMPDEST
0000180c: SWAP1
0000180d: PUSH1 0x20
0000180f: ADD
00001810: SWAP1
00001811: PUSH1 0x20
00001813: MUL
00001814: ADD
00001815: MLOAD
00001816: SWAP6
00001817: POP
00001818: DUP14
00001819: DUP16
0000181a: PUSH1 0x06
0000181c: MUL
0000181d: PUSH1 0x06
0000181f: ADD
00001820: DUP2
00001821: MLOAD
00001822: DUP2
00001823: LT
00001824: PUSH2 0x1829
00001827: JUMPI
00001828: INVALID
00001829: JUMPDEST
0000182a: SWAP1
0000182b: PUSH1 0x20
0000182d: ADD
0000182e: SWAP1
0000182f: PUSH1 0x20
00001831: MUL
00001832: ADD
00001833: MLOAD
00001834: SWAP5
00001835: POP
00001836: DUP14
00001837: DUP16
00001838: PUSH1 0x06
0000183a: MUL
0000183b: PUSH1 0x07
0000183d: ADD
0000183e: DUP2
0000183f: MLOAD
00001840: DUP2
00001841: LT
00001842: PUSH2 0x1847
00001845: JUMPI
00001846: INVALID
00001847: JUMPDEST
00001848: SWAP1
00001849: PUSH1 0x20
0000184b: ADD
0000184c: SWAP1
0000184d: PUSH1 0x20
0000184f: MUL
00001850: ADD
00001851: MLOAD
00001852: SWAP4
00001853: POP
00001854: DUP14
00001855: DUP16
00001856: PUSH1 0x06
00001858: MUL
00001859: PUSH1 0x08
0000185b: ADD
0000185c: DUP2
0000185d: MLOAD
0000185e: DUP2
0000185f: LT
00001860: PUSH2 0x1865
00001863: JUMPI
00001864: INVALID
00001865: JUMPDEST
00001866: SWAP1
00001867: PUSH1 0x20
00001869: ADD
0000186a: SWAP1
0000186b: PUSH1 0x20
0000186d: MUL
0000186e: ADD
0000186f: MLOAD
00001870: SWAP3
00001871: POP
00001872: DUP12
00001873: DUP16
00001874: PUSH1 0x02
00001876: MUL
00001877: PUSH1 0x02
00001879: ADD
0000187a: DUP2
0000187b: MLOAD
0000187c: DUP2
0000187d: LT
0000187e: PUSH2 0x1883
00001881: JUMPI
00001882: INVALID
00001883: JUMPDEST
00001884: SWAP1
00001885: PUSH1 0x20
00001887: ADD
00001888: SWAP1
00001889: PUSH1 0x20
0000188b: MUL
0000188c: ADD
0000188d: MLOAD
0000188e: SWAP2
0000188f: POP
00001890: DUP12
00001891: DUP16
00001892: PUSH1 0x02
00001894: MUL
00001895: PUSH1 0x03
00001897: ADD
00001898: DUP2
00001899: MLOAD
0000189a: DUP2
0000189b: LT
0000189c: PUSH2 0x18a1
0000189f: JUMPI
000018a0: INVALID
000018a1: JUMPDEST
000018a2: SWAP1
000018a3: PUSH1 0x20
000018a5: ADD
000018a6: SWAP1
000018a7: PUSH1 0x20
000018a9: MUL
000018aa: ADD
000018ab: MLOAD
000018ac: SWAP1
000018ad: POP
000018ae: PUSH2 0x18bf
000018b1: DUP10
000018b2: DUP12
000018b3: DUP11
000018b4: DUP11
000018b5: DUP11
000018b6: DUP11
000018b7: DUP11
000018b8: DUP11
000018b9: DUP11
000018ba: DUP11
000018bb: PUSH2 0x1b9c
000018be: JUMP
000018bf: JUMPDEST
000018c0: SWAP16
000018c1: SWAP15
000018c2: POP
000018c3: POP
000018c4: POP
000018c5: POP
000018c6: POP
000018c7: POP
000018c8: POP
000018c9: POP
000018ca: POP
000018cb: POP
000018cc: POP
000018cd: POP
000018ce: POP
000018cf: POP
000018d0: POP
000018d1: JUMP
000018d2: JUMPDEST
000018d3: PUSH2 0x1991
000018d6: DUP3
000018d7: PUSH1 0x00
000018d9: DUP2
000018da: MLOAD
000018db: DUP2
000018dc: LT
000018dd: PUSH2 0x18e2
000018e0: JUMPI
000018e1: INVALID
000018e2: JUMPDEST
000018e3: SWAP1
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: SWAP1
000018e8: PUSH1 0x20
000018ea: MUL
000018eb: ADD
000018ec: MLOAD
000018ed: DUP3
000018ee: PUSH1 0x00
000018f0: DUP2
000018f1: MLOAD
000018f2: DUP2
000018f3: LT
000018f4: PUSH2 0x18f9
000018f7: JUMPI
000018f8: INVALID
000018f9: JUMPDEST
000018fa: SWAP1
000018fb: PUSH1 0x20
000018fd: ADD
000018fe: SWAP1
000018ff: PUSH1 0x20
00001901: MUL
00001902: ADD
00001903: MLOAD
00001904: DUP4
00001905: DUP7
00001906: PUSH1 0x01
00001908: ADD
00001909: DUP2
0000190a: MLOAD
0000190b: DUP2
0000190c: LT
0000190d: PUSH2 0x1912
00001910: JUMPI
00001911: INVALID
00001912: JUMPDEST
00001913: SWAP1
00001914: PUSH1 0x20
00001916: ADD
00001917: SWAP1
00001918: PUSH1 0x20
0000191a: MUL
0000191b: ADD
0000191c: MLOAD
0000191d: DUP6
0000191e: DUP8
0000191f: PUSH1 0x06
00001921: MUL
00001922: PUSH1 0x04
00001924: ADD
00001925: DUP2
00001926: MLOAD
00001927: DUP2
00001928: LT
00001929: PUSH2 0x192e
0000192c: JUMPI
0000192d: INVALID
0000192e: JUMPDEST
0000192f: SWAP1
00001930: PUSH1 0x20
00001932: ADD
00001933: SWAP1
00001934: PUSH1 0x20
00001936: MUL
00001937: ADD
00001938: MLOAD
00001939: DUP7
0000193a: DUP9
0000193b: PUSH1 0x06
0000193d: MUL
0000193e: PUSH1 0x05
00001940: ADD
00001941: DUP2
00001942: MLOAD
00001943: DUP2
00001944: LT
00001945: PUSH2 0x194a
00001948: JUMPI
00001949: INVALID
0000194a: JUMPDEST
0000194b: SWAP1
0000194c: PUSH1 0x20
0000194e: ADD
0000194f: SWAP1
00001950: PUSH1 0x20
00001952: MUL
00001953: ADD
00001954: MLOAD
00001955: DUP8
00001956: DUP10
00001957: PUSH1 0x06
00001959: MUL
0000195a: PUSH1 0x06
0000195c: ADD
0000195d: DUP2
0000195e: MLOAD
0000195f: DUP2
00001960: LT
00001961: PUSH2 0x1966
00001964: JUMPI
00001965: INVALID
00001966: JUMPDEST
00001967: SWAP1
00001968: PUSH1 0x20
0000196a: ADD
0000196b: SWAP1
0000196c: PUSH1 0x20
0000196e: MUL
0000196f: ADD
00001970: MLOAD
00001971: DUP9
00001972: DUP11
00001973: PUSH1 0x06
00001975: MUL
00001976: PUSH1 0x09
00001978: ADD
00001979: DUP2
0000197a: MLOAD
0000197b: DUP2
0000197c: LT
0000197d: PUSH2 0x1982
00001980: JUMPI
00001981: INVALID
00001982: JUMPDEST
00001983: SWAP1
00001984: PUSH1 0x20
00001986: ADD
00001987: SWAP1
00001988: PUSH1 0x20
0000198a: MUL
0000198b: ADD
0000198c: MLOAD
0000198d: PUSH2 0x1cf5
00001990: JUMP
00001991: JUMPDEST
00001992: POP
00001993: POP
00001994: POP
00001995: JUMP
00001996: JUMPDEST
00001997: PUSH1 0x0a
00001999: SLOAD
0000199a: PUSH1 0x01
0000199c: PUSH1 0xa0
0000199e: PUSH1 0x02
000019a0: EXP
000019a1: SUB
000019a2: AND
000019a3: PUSH1 0x01
000019a5: DUP5
000019a6: DUP5
000019a7: PUSH1 0x02
000019a9: DUP2
000019aa: MLOAD
000019ab: DUP2
000019ac: LT
000019ad: PUSH2 0x19b2
000019b0: JUMPI
000019b1: INVALID
000019b2: JUMPDEST
000019b3: SWAP1
000019b4: PUSH1 0x20
000019b6: ADD
000019b7: SWAP1
000019b8: PUSH1 0x20
000019ba: MUL
000019bb: ADD
000019bc: MLOAD
000019bd: DUP5
000019be: PUSH1 0x00
000019c0: DUP2
000019c1: MLOAD
000019c2: DUP2
000019c3: LT
000019c4: PUSH2 0x19c9
000019c7: JUMPI
000019c8: INVALID
000019c9: JUMPDEST
000019ca: SWAP1
000019cb: PUSH1 0x20
000019cd: ADD
000019ce: SWAP1
000019cf: PUSH1 0x20
000019d1: MUL
000019d2: ADD
000019d3: MLOAD
000019d4: DUP6
000019d5: PUSH1 0x01
000019d7: DUP2
000019d8: MLOAD
000019d9: DUP2
000019da: LT
000019db: PUSH2 0x19e0
000019de: JUMPI
000019df: INVALID
000019e0: JUMPDEST
000019e1: SWAP1
000019e2: PUSH1 0x20
000019e4: ADD
000019e5: SWAP1
000019e6: PUSH1 0x20
000019e8: MUL
000019e9: ADD
000019ea: MLOAD
000019eb: PUSH1 0x40
000019ed: MLOAD
000019ee: PUSH1 0x00
000019f0: DUP2
000019f1: MSTORE
000019f2: PUSH1 0x20
000019f4: ADD
000019f5: PUSH1 0x40
000019f7: MSTORE
000019f8: PUSH1 0x00
000019fa: PUSH1 0x40
000019fc: MLOAD
000019fd: PUSH1 0x20
000019ff: ADD
00001a00: MSTORE
00001a01: PUSH1 0x40
00001a03: MLOAD
00001a04: SWAP4
00001a05: DUP5
00001a06: MSTORE
00001a07: PUSH1 0xff
00001a09: SWAP1
00001a0a: SWAP3
00001a0b: AND
00001a0c: PUSH1 0x20
00001a0e: DUP1
00001a0f: DUP6
00001a10: ADD
00001a11: SWAP2
00001a12: SWAP1
00001a13: SWAP2
00001a14: MSTORE
00001a15: PUSH1 0x40
00001a17: DUP1
00001a18: DUP6
00001a19: ADD
00001a1a: SWAP3
00001a1b: SWAP1
00001a1c: SWAP3
00001a1d: MSTORE
00001a1e: PUSH1 0x60
00001a20: DUP5
00001a21: ADD
00001a22: SWAP3
00001a23: SWAP1
00001a24: SWAP3
00001a25: MSTORE
00001a26: PUSH1 0x80
00001a28: SWAP1
00001a29: SWAP3
00001a2a: ADD
00001a2b: SWAP2
00001a2c: MLOAD
00001a2d: PUSH1 0x20
00001a2f: DUP2
00001a30: SUB
00001a31: SWAP1
00001a32: DUP1
00001a33: DUP5
00001a34: SUB
00001a35: SWAP1
00001a36: PUSH1 0x00
00001a38: DUP7
00001a39: PUSH2 0x646e
00001a3c: GAS
00001a3d: SUB
00001a3e: CALL
00001a3f: ISZERO
00001a40: ISZERO
00001a41: PUSH2 0x1a49
00001a44: JUMPI
00001a45: PUSH1 0x00
00001a47: DUP1
00001a48: REVERT
00001a49: JUMPDEST
00001a4a: POP
00001a4b: POP
00001a4c: PUSH1 0x20
00001a4e: PUSH1 0x40
00001a50: MLOAD
00001a51: SUB
00001a52: MLOAD
00001a53: PUSH1 0x01
00001a55: PUSH1 0xa0
00001a57: PUSH1 0x02
00001a59: EXP
00001a5a: SUB
00001a5b: AND
00001a5c: EQ
00001a5d: PUSH2 0x1991
00001a60: JUMPI
00001a61: PUSH1 0x00
00001a63: DUP1
00001a64: REVERT
00001a65: JUMPDEST
00001a66: PUSH32 0xee7e85974085b8a74acdea8330a9e8c09680dccea6f6df360491edf22a27cc3b
00001a87: CALLER
00001a88: DUP4
00001a89: PUSH1 0x01
00001a8b: DUP2
00001a8c: MLOAD
00001a8d: DUP2
00001a8e: LT
00001a8f: PUSH2 0x1a94
00001a92: JUMPI
00001a93: INVALID
00001a94: JUMPDEST
00001a95: SWAP1
00001a96: PUSH1 0x20
00001a98: ADD
00001a99: SWAP1
00001a9a: PUSH1 0x20
00001a9c: MUL
00001a9d: ADD
00001a9e: MLOAD
00001a9f: DUP5
00001aa0: PUSH1 0x00
00001aa2: DUP2
00001aa3: MLOAD
00001aa4: DUP2
00001aa5: LT
00001aa6: PUSH2 0x1aab
00001aa9: JUMPI
00001aaa: INVALID
00001aab: JUMPDEST
00001aac: SWAP1
00001aad: PUSH1 0x20
00001aaf: ADD
00001ab0: SWAP1
00001ab1: PUSH1 0x20
00001ab3: MUL
00001ab4: ADD
00001ab5: MLOAD
00001ab6: DUP5
00001ab7: PUSH1 0x00
00001ab9: DUP2
00001aba: MLOAD
00001abb: DUP2
00001abc: LT
00001abd: PUSH2 0x1ac2
00001ac0: JUMPI
00001ac1: INVALID
00001ac2: JUMPDEST
00001ac3: SWAP1
00001ac4: PUSH1 0x20
00001ac6: ADD
00001ac7: SWAP1
00001ac8: PUSH1 0x20
00001aca: MUL
00001acb: ADD
00001acc: MLOAD
00001acd: PUSH1 0x01
00001acf: PUSH1 0xa0
00001ad1: PUSH1 0x02
00001ad3: EXP
00001ad4: SUB
00001ad5: CALLER
00001ad6: AND
00001ad7: PUSH1 0x00
00001ad9: SWAP1
00001ada: DUP2
00001adb: MSTORE
00001adc: PUSH1 0x07
00001ade: PUSH1 0x20
00001ae0: MSTORE
00001ae1: PUSH1 0x40
00001ae3: DUP2
00001ae4: KECCAK256
00001ae5: SWAP1
00001ae6: DUP8
00001ae7: DUP2
00001ae8: DUP2
00001ae9: MLOAD
00001aea: DUP2
00001aeb: LT
00001aec: PUSH2 0x1af1
00001aef: JUMPI
00001af0: INVALID
00001af1: JUMPDEST
00001af2: SWAP1
00001af3: PUSH1 0x20
00001af5: ADD
00001af6: SWAP1
00001af7: PUSH1 0x20
00001af9: MUL
00001afa: ADD
00001afb: MLOAD
00001afc: PUSH1 0x01
00001afe: PUSH1 0xa0
00001b00: PUSH1 0x02
00001b02: EXP
00001b03: SUB
00001b04: AND
00001b05: PUSH1 0x01
00001b07: PUSH1 0xa0
00001b09: PUSH1 0x02
00001b0b: EXP
00001b0c: SUB
00001b0d: AND
00001b0e: DUP2
00001b0f: MSTORE
00001b10: PUSH1 0x20
00001b12: ADD
00001b13: SWAP1
00001b14: DUP2
00001b15: MSTORE
00001b16: PUSH1 0x20
00001b18: ADD
00001b19: PUSH1 0x00
00001b1b: KECCAK256
00001b1c: SLOAD
00001b1d: PUSH1 0x06
00001b1f: PUSH1 0x00
00001b21: CALLER
00001b22: PUSH1 0x01
00001b24: PUSH1 0xa0
00001b26: PUSH1 0x02
00001b28: EXP
00001b29: SUB
00001b2a: AND
00001b2b: PUSH1 0x01
00001b2d: PUSH1 0xa0
00001b2f: PUSH1 0x02
00001b31: EXP
00001b32: SUB
00001b33: AND
00001b34: DUP2
00001b35: MSTORE
00001b36: PUSH1 0x20
00001b38: ADD
00001b39: SWAP1
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x20
00001b3e: ADD
00001b3f: PUSH1 0x00
00001b41: KECCAK256
00001b42: SLOAD
00001b43: PUSH1 0x40
00001b45: MLOAD
00001b46: PUSH1 0x01
00001b48: PUSH1 0xa0
00001b4a: PUSH1 0x02
00001b4c: EXP
00001b4d: SUB
00001b4e: SWAP7
00001b4f: DUP8
00001b50: AND
00001b51: DUP2
00001b52: MSTORE
00001b53: PUSH1 0x20
00001b55: DUP2
00001b56: ADD
00001b57: SWAP6
00001b58: SWAP1
00001b59: SWAP6
00001b5a: MSTORE
00001b5b: PUSH1 0x40
00001b5d: DUP1
00001b5e: DUP7
00001b5f: ADD
00001b60: SWAP5
00001b61: SWAP1
00001b62: SWAP5
00001b63: MSTORE
00001b64: SWAP2
00001b65: SWAP1
00001b66: SWAP5
00001b67: AND
00001b68: PUSH1 0x60
00001b6a: DUP5
00001b6b: ADD
00001b6c: MSTORE
00001b6d: PUSH1 0x80
00001b6f: DUP4
00001b70: ADD
00001b71: SWAP4
00001b72: SWAP1
00001b73: SWAP4
00001b74: MSTORE
00001b75: PUSH1 0xa0
00001b77: DUP3
00001b78: ADD
00001b79: SWAP3
00001b7a: SWAP1
00001b7b: SWAP3
00001b7c: MSTORE
00001b7d: PUSH1 0xc0
00001b7f: ADD
00001b80: SWAP1
00001b81: MLOAD
00001b82: DUP1
00001b83: SWAP2
00001b84: SUB
00001b85: SWAP1
00001b86: LOG1
00001b87: POP
00001b88: POP
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: PUSH1 0x00
00001b8d: DUP3
00001b8e: DUP3
00001b8f: GT
00001b90: ISZERO
00001b91: PUSH2 0x1b96
00001b94: JUMPI
00001b95: INVALID
00001b96: JUMPDEST
00001b97: POP
00001b98: SWAP1
00001b99: SUB
00001b9a: SWAP1
00001b9b: JUMP
00001b9c: JUMPDEST
00001b9d: PUSH1 0x00
00001b9f: PUSH2 0x03e8
00001ba2: DUP5
00001ba3: LT
00001ba4: ISZERO
00001ba5: PUSH2 0x1c48
00001ba8: JUMPI
00001ba9: PUSH2 0x1bb6
00001bac: DUP11
00001bad: DUP11
00001bae: DUP11
00001baf: DUP11
00001bb0: DUP11
00001bb1: DUP11
00001bb2: PUSH2 0x1e0a
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: SWAP1
00001bb8: POP
00001bb9: DUP11
00001bba: PUSH1 0x01
00001bbc: PUSH1 0xa0
00001bbe: PUSH1 0x02
00001bc0: EXP
00001bc1: SUB
00001bc2: AND
00001bc3: PUSH1 0x01
00001bc5: DUP3
00001bc6: DUP7
00001bc7: DUP7
00001bc8: DUP7
00001bc9: PUSH1 0x40
00001bcb: MLOAD
00001bcc: PUSH1 0x00
00001bce: DUP2
00001bcf: MSTORE
00001bd0: PUSH1 0x20
00001bd2: ADD
00001bd3: PUSH1 0x40
00001bd5: MSTORE
00001bd6: PUSH1 0x00
00001bd8: PUSH1 0x40
00001bda: MLOAD
00001bdb: PUSH1 0x20
00001bdd: ADD
00001bde: MSTORE
00001bdf: PUSH1 0x40
00001be1: MLOAD
00001be2: SWAP4
00001be3: DUP5
00001be4: MSTORE
00001be5: PUSH1 0xff
00001be7: SWAP1
00001be8: SWAP3
00001be9: AND
00001bea: PUSH1 0x20
00001bec: DUP1
00001bed: DUP6
00001bee: ADD
00001bef: SWAP2
00001bf0: SWAP1
00001bf1: SWAP2
00001bf2: MSTORE
00001bf3: PUSH1 0x40
00001bf5: DUP1
00001bf6: DUP6
00001bf7: ADD
00001bf8: SWAP3
00001bf9: SWAP1
00001bfa: SWAP3
00001bfb: MSTORE
00001bfc: PUSH1 0x60
00001bfe: DUP5
00001bff: ADD
00001c00: SWAP3
00001c01: SWAP1
00001c02: SWAP3
00001c03: MSTORE
00001c04: PUSH1 0x80
00001c06: SWAP1
00001c07: SWAP3
00001c08: ADD
00001c09: SWAP2
00001c0a: MLOAD
00001c0b: PUSH1 0x20
00001c0d: DUP2
00001c0e: SUB
00001c0f: SWAP1
00001c10: DUP1
00001c11: DUP5
00001c12: SUB
00001c13: SWAP1
00001c14: PUSH1 0x00
00001c16: DUP7
00001c17: PUSH2 0x646e
00001c1a: GAS
00001c1b: SUB
00001c1c: CALL
00001c1d: ISZERO
00001c1e: ISZERO
00001c1f: PUSH2 0x1c27
00001c22: JUMPI
00001c23: PUSH1 0x00
00001c25: DUP1
00001c26: REVERT
00001c27: JUMPDEST
00001c28: POP
00001c29: POP
00001c2a: PUSH1 0x20
00001c2c: PUSH1 0x40
00001c2e: MLOAD
00001c2f: SUB
00001c30: MLOAD
00001c31: PUSH1 0x01
00001c33: PUSH1 0xa0
00001c35: PUSH1 0x02
00001c37: EXP
00001c38: SUB
00001c39: AND
00001c3a: EQ
00001c3b: PUSH2 0x1c43
00001c3e: JUMPI
00001c3f: PUSH1 0x00
00001c41: DUP1
00001c42: REVERT
00001c43: JUMPDEST
00001c44: PUSH2 0x1ce7
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH2 0x1c56
00001c4c: DUP11
00001c4d: DUP11
00001c4e: DUP11
00001c4f: DUP11
00001c50: DUP11
00001c51: DUP11
00001c52: PUSH2 0x1fa2
00001c55: JUMP
00001c56: JUMPDEST
00001c57: SWAP1
00001c58: POP
00001c59: DUP11
00001c5a: PUSH1 0x01
00001c5c: PUSH1 0xa0
00001c5e: PUSH1 0x02
00001c60: EXP
00001c61: SUB
00001c62: AND
00001c63: PUSH1 0x01
00001c65: DUP3
00001c66: PUSH2 0x03e8
00001c69: DUP8
00001c6a: SUB
00001c6b: DUP7
00001c6c: DUP7
00001c6d: PUSH1 0x40
00001c6f: MLOAD
00001c70: PUSH1 0x00
00001c72: DUP2
00001c73: MSTORE
00001c74: PUSH1 0x20
00001c76: ADD
00001c77: PUSH1 0x40
00001c79: MSTORE
00001c7a: PUSH1 0x00
00001c7c: PUSH1 0x40
00001c7e: MLOAD
00001c7f: PUSH1 0x20
00001c81: ADD
00001c82: MSTORE
00001c83: PUSH1 0x40
00001c85: MLOAD
00001c86: SWAP4
00001c87: DUP5
00001c88: MSTORE
00001c89: PUSH1 0xff
00001c8b: SWAP1
00001c8c: SWAP3
00001c8d: AND
00001c8e: PUSH1 0x20
00001c90: DUP1
00001c91: DUP6
00001c92: ADD
00001c93: SWAP2
00001c94: SWAP1
00001c95: SWAP2
00001c96: MSTORE
00001c97: PUSH1 0x40
00001c99: DUP1
00001c9a: DUP6
00001c9b: ADD
00001c9c: SWAP3
00001c9d: SWAP1
00001c9e: SWAP3
00001c9f: MSTORE
00001ca0: PUSH1 0x60
00001ca2: DUP5
00001ca3: ADD
00001ca4: SWAP3
00001ca5: SWAP1
00001ca6: SWAP3
00001ca7: MSTORE
00001ca8: PUSH1 0x80
00001caa: SWAP1
00001cab: SWAP3
00001cac: ADD
00001cad: SWAP2
00001cae: MLOAD
00001caf: PUSH1 0x20
00001cb1: DUP2
00001cb2: SUB
00001cb3: SWAP1
00001cb4: DUP1
00001cb5: DUP5
00001cb6: SUB
00001cb7: SWAP1
00001cb8: PUSH1 0x00
00001cba: DUP7
00001cbb: PUSH2 0x646e
00001cbe: GAS
00001cbf: SUB
00001cc0: CALL
00001cc1: ISZERO
00001cc2: ISZERO
00001cc3: PUSH2 0x1ccb
00001cc6: JUMPI
00001cc7: PUSH1 0x00
00001cc9: DUP1
00001cca: REVERT
00001ccb: JUMPDEST
00001ccc: POP
00001ccd: POP
00001cce: PUSH1 0x20
00001cd0: PUSH1 0x40
00001cd2: MLOAD
00001cd3: SUB
00001cd4: MLOAD
00001cd5: PUSH1 0x01
00001cd7: PUSH1 0xa0
00001cd9: PUSH1 0x02
00001cdb: EXP
00001cdc: SUB
00001cdd: AND
00001cde: EQ
00001cdf: PUSH2 0x1ce7
00001ce2: JUMPI
00001ce3: PUSH1 0x00
00001ce5: DUP1
00001ce6: REVERT
00001ce7: JUMPDEST
00001ce8: SWAP11
00001ce9: SWAP10
00001cea: POP
00001ceb: POP
00001cec: POP
00001ced: POP
00001cee: POP
00001cef: POP
00001cf0: POP
00001cf1: POP
00001cf2: POP
00001cf3: POP
00001cf4: JUMP
00001cf5: JUMPDEST
00001cf6: PUSH1 0x00
00001cf8: DUP1
00001cf9: PUSH1 0x00
00001cfb: DUP1
00001cfc: PUSH2 0x1d0a
00001cff: DUP12
00001d00: DUP12
00001d01: DUP12
00001d02: DUP12
00001d03: DUP12
00001d04: DUP12
00001d05: DUP12
00001d06: PUSH2 0x2056
00001d09: JUMP
00001d0a: JUMPDEST
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0xa0
00001d0f: PUSH1 0x02
00001d11: EXP
00001d12: SUB
00001d13: DUP12
00001d14: AND
00001d15: PUSH1 0x00
00001d17: SWAP1
00001d18: DUP2
00001d19: MSTORE
00001d1a: PUSH1 0x08
00001d1c: PUSH1 0x20
00001d1e: SWAP1
00001d1f: DUP2
00001d20: MSTORE
00001d21: PUSH1 0x40
00001d23: DUP1
00001d24: DUP4
00001d25: KECCAK256
00001d26: DUP14
00001d27: DUP5
00001d28: MSTORE
00001d29: SWAP1
00001d2a: SWAP2
00001d2b: MSTORE
00001d2c: SWAP1
00001d2d: KECCAK256
00001d2e: SLOAD
00001d2f: SWAP2
00001d30: SWAP6
00001d31: POP
00001d32: SWAP4
00001d33: POP
00001d34: PUSH2 0x1d3d
00001d37: SWAP1
00001d38: DUP6
00001d39: PUSH2 0x0781
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH1 0x01
00001d40: PUSH1 0xa0
00001d42: PUSH1 0x02
00001d44: EXP
00001d45: SUB
00001d46: DUP11
00001d47: AND
00001d48: PUSH1 0x00
00001d4a: SWAP1
00001d4b: DUP2
00001d4c: MSTORE
00001d4d: PUSH1 0x08
00001d4f: PUSH1 0x20
00001d51: SWAP1
00001d52: DUP2
00001d53: MSTORE
00001d54: PUSH1 0x40
00001d56: DUP1
00001d57: DUP4
00001d58: KECCAK256
00001d59: DUP13
00001d5a: DUP5
00001d5b: MSTORE
00001d5c: SWAP1
00001d5d: SWAP2
00001d5e: MSTORE
00001d5f: SWAP1
00001d60: KECCAK256
00001d61: DUP2
00001d62: SWAP1
00001d63: SSTORE
00001d64: DUP7
00001d65: SWAP1
00001d66: GT
00001d67: ISZERO
00001d68: PUSH2 0x1d70
00001d6b: JUMPI
00001d6c: PUSH1 0x00
00001d6e: DUP1
00001d6f: REVERT
00001d70: JUMPDEST
00001d71: PUSH2 0x1d7d
00001d74: DUP4
00001d75: PUSH1 0x04
00001d77: SLOAD
00001d78: DUP12
00001d79: PUSH2 0x23fb
00001d7c: JUMP
00001d7d: JUMPDEST
00001d7e: SWAP2
00001d7f: POP
00001d80: PUSH2 0x1d8c
00001d83: DUP4
00001d84: PUSH1 0x05
00001d86: SLOAD
00001d87: CALLER
00001d88: PUSH2 0x23fb
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: SWAP1
00001d8e: POP
00001d8f: PUSH2 0x1d9d
00001d92: DUP12
00001d93: DUP12
00001d94: DUP12
00001d95: DUP8
00001d96: DUP8
00001d97: DUP8
00001d98: DUP8
00001d99: PUSH2 0x2423
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: PUSH1 0x03
00001da0: SLOAD
00001da1: PUSH1 0x01
00001da3: PUSH1 0xa0
00001da5: PUSH1 0x02
00001da7: EXP
00001da8: SUB
00001da9: AND
00001daa: PUSH1 0x00
00001dac: SWAP1
00001dad: DUP2
00001dae: MSTORE
00001daf: PUSH1 0x06
00001db1: PUSH1 0x20
00001db3: MSTORE
00001db4: PUSH1 0x40
00001db6: SWAP1
00001db7: KECCAK256
00001db8: SLOAD
00001db9: PUSH2 0x1dcb
00001dbc: SWAP1
00001dbd: PUSH2 0x1dc6
00001dc0: DUP4
00001dc1: DUP6
00001dc2: PUSH2 0x0781
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: PUSH2 0x0781
00001dca: JUMP
00001dcb: JUMPDEST
00001dcc: PUSH1 0x03
00001dce: SLOAD
00001dcf: PUSH1 0x01
00001dd1: PUSH1 0xa0
00001dd3: PUSH1 0x02
00001dd5: EXP
00001dd6: SUB
00001dd7: AND
00001dd8: PUSH1 0x00
00001dda: SWAP1
00001ddb: DUP2
00001ddc: MSTORE
00001ddd: PUSH1 0x06
00001ddf: PUSH1 0x20
00001de1: MSTORE
00001de2: PUSH1 0x40
00001de4: SWAP1
00001de5: KECCAK256
00001de6: SSTORE
00001de7: PUSH2 0x1dfd
00001dea: DUP10
00001deb: DUP10
00001dec: DUP10
00001ded: DUP8
00001dee: DUP15
00001def: PUSH2 0x1df8
00001df2: DUP8
00001df3: DUP10
00001df4: PUSH2 0x0781
00001df7: JUMP
00001df8: JUMPDEST
00001df9: PUSH2 0x2657
00001dfc: JUMP
00001dfd: JUMPDEST
00001dfe: POP
00001dff: POP
00001e00: POP
00001e01: POP
00001e02: POP
00001e03: POP
00001e04: POP
00001e05: POP
00001e06: POP
00001e07: POP
00001e08: POP
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x00
00001e0d: PUSH1 0x01
00001e0f: DUP8
00001e10: PUSH1 0xff
00001e12: AND
00001e13: EQ
00001e14: DUP1
00001e15: PUSH2 0x1e1f
00001e18: JUMPI
00001e19: POP
00001e1a: PUSH1 0xff
00001e1c: DUP8
00001e1d: AND
00001e1e: ISZERO
00001e1f: JUMPDEST
00001e20: ISZERO
00001e21: ISZERO
00001e22: PUSH2 0x1e2a
00001e25: JUMPI
00001e26: PUSH1 0x00
00001e28: DUP1
00001e29: REVERT
00001e2a: JUMPDEST
00001e2b: PUSH32 0x3da4a05d8449a7bc291302cce8a490cf367b98ec37200076c3f13f1f2308fd74
00001e4c: ADDRESS
00001e4d: PUSH1 0xff
00001e4f: DUP10
00001e50: AND
00001e51: PUSH1 0x01
00001e53: EQ
00001e54: PUSH2 0x1e90
00001e57: JUMPI
00001e58: PUSH1 0x40
00001e5a: DUP1
00001e5b: MLOAD
00001e5c: SWAP1
00001e5d: DUP2
00001e5e: ADD
00001e5f: PUSH1 0x40
00001e61: MSTORE
00001e62: PUSH1 0x04
00001e64: DUP2
00001e65: MSTORE
00001e66: PUSH32 0x53454c4c00000000000000000000000000000000000000000000000000000000
00001e87: PUSH1 0x20
00001e89: DUP3
00001e8a: ADD
00001e8b: MSTORE
00001e8c: PUSH2 0x1ec5
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: PUSH1 0x40
00001e93: DUP1
00001e94: MLOAD
00001e95: SWAP1
00001e96: DUP2
00001e97: ADD
00001e98: PUSH1 0x40
00001e9a: MSTORE
00001e9b: PUSH1 0x03
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH32 0x4255590000000000000000000000000000000000000000000000000000000000
00001ec0: PUSH1 0x20
00001ec2: DUP3
00001ec3: ADD
00001ec4: MSTORE
00001ec5: JUMPDEST
00001ec6: DUP9
00001ec7: DUP9
00001ec8: DUP9
00001ec9: DUP9
00001eca: DUP9
00001ecb: PUSH1 0x40
00001ecd: MLOAD
00001ece: PUSH13 0x01000000000000000000000000
00001edc: PUSH1 0x01
00001ede: PUSH1 0xa0
00001ee0: PUSH1 0x02
00001ee2: EXP
00001ee3: SUB
00001ee4: DUP10
00001ee5: AND
00001ee6: MUL
00001ee7: DUP2
00001ee8: MSTORE
00001ee9: PUSH1 0x14
00001eeb: DUP2
00001eec: ADD
00001eed: DUP8
00001eee: DUP1
00001eef: MLOAD
00001ef0: SWAP1
00001ef1: PUSH1 0x20
00001ef3: ADD
00001ef4: SWAP1
00001ef5: DUP1
00001ef6: DUP4
00001ef7: DUP4
00001ef8: JUMPDEST
00001ef9: PUSH1 0x20
00001efb: DUP4
00001efc: LT
00001efd: PUSH2 0x1f17
00001f00: JUMPI
00001f01: DUP1
00001f02: MLOAD
00001f03: DUP3
00001f04: MSTORE
00001f05: PUSH1 0x1f
00001f07: NOT
00001f08: SWAP1
00001f09: SWAP3
00001f0a: ADD
00001f0b: SWAP2
00001f0c: PUSH1 0x20
00001f0e: SWAP2
00001f0f: DUP3
00001f10: ADD
00001f11: SWAP2
00001f12: ADD
00001f13: PUSH2 0x1ef8
00001f16: JUMP
00001f17: JUMPDEST
00001f18: PUSH1 0x01
00001f1a: DUP4
00001f1b: PUSH1 0x20
00001f1d: SUB
00001f1e: PUSH2 0x0100
00001f21: EXP
00001f22: SUB
00001f23: DUP1
00001f24: NOT
00001f25: DUP3
00001f26: MLOAD
00001f27: AND
00001f28: DUP2
00001f29: DUP5
00001f2a: MLOAD
00001f2b: AND
00001f2c: OR
00001f2d: SWAP1
00001f2e: SWAP3
00001f2f: MSTORE
00001f30: POP
00001f31: POP
00001f32: POP
00001f33: PUSH1 0x01
00001f35: PUSH1 0xa0
00001f37: PUSH1 0x02
00001f39: EXP
00001f3a: SUB
00001f3b: SWAP9
00001f3c: SWAP1
00001f3d: SWAP9
00001f3e: AND
00001f3f: PUSH13 0x01000000000000000000000000
00001f4d: MUL
00001f4e: SWAP2
00001f4f: SWAP1
00001f50: SWAP8
00001f51: ADD
00001f52: SWAP1
00001f53: DUP2
00001f54: MSTORE
00001f55: PUSH1 0x14
00001f57: DUP2
00001f58: ADD
00001f59: SWAP6
00001f5a: SWAP1
00001f5b: SWAP6
00001f5c: MSTORE
00001f5d: POP
00001f5e: PUSH1 0x34
00001f60: DUP5
00001f61: ADD
00001f62: SWAP3
00001f63: SWAP1
00001f64: SWAP3
00001f65: MSTORE
00001f66: PUSH1 0x54
00001f68: DUP4
00001f69: ADD
00001f6a: MSTORE
00001f6b: PUSH1 0x74
00001f6d: DUP3
00001f6e: ADD
00001f6f: MSTORE
00001f70: PUSH1 0x94
00001f72: ADD
00001f73: SWAP3
00001f74: POP
00001f75: PUSH1 0x40
00001f77: SWAP2
00001f78: POP
00001f79: POP
00001f7a: MLOAD
00001f7b: DUP1
00001f7c: SWAP2
00001f7d: SUB
00001f7e: SWAP1
00001f7f: KECCAK256
00001f80: PUSH1 0x40
00001f82: MLOAD
00001f83: SWAP2
00001f84: DUP3
00001f85: MSTORE
00001f86: PUSH1 0x20
00001f88: DUP3
00001f89: ADD
00001f8a: MSTORE
00001f8b: PUSH1 0x40
00001f8d: SWAP1
00001f8e: DUP2
00001f8f: ADD
00001f90: SWAP1
00001f91: MLOAD
00001f92: DUP1
00001f93: SWAP2
00001f94: SUB
00001f95: SWAP1
00001f96: KECCAK256
00001f97: SWAP1
00001f98: POP
00001f99: SWAP7
00001f9a: SWAP6
00001f9b: POP
00001f9c: POP
00001f9d: POP
00001f9e: POP
00001f9f: POP
00001fa0: POP
00001fa1: JUMP
00001fa2: JUMPDEST
00001fa3: PUSH1 0x00
00001fa5: ADDRESS
00001fa6: DUP8
00001fa7: DUP8
00001fa8: DUP8
00001fa9: DUP8
00001faa: DUP8
00001fab: DUP8
00001fac: PUSH1 0x40
00001fae: MLOAD
00001faf: PUSH1 0x01
00001fb1: PUSH1 0xa0
00001fb3: PUSH1 0x02
00001fb5: EXP
00001fb6: SUB
00001fb7: SWAP8
00001fb8: DUP9
00001fb9: AND
00001fba: PUSH13 0x01000000000000000000000000
00001fc8: SWAP1
00001fc9: DUP2
00001fca: MUL
00001fcb: DUP3
00001fcc: MSTORE
00001fcd: PUSH1 0xff
00001fcf: SWAP8
00001fd0: SWAP1
00001fd1: SWAP8
00001fd2: AND
00001fd3: PUSH1 0xf8
00001fd5: PUSH1 0x02
00001fd7: EXP
00001fd8: MUL
00001fd9: PUSH1 0x14
00001fdb: DUP3
00001fdc: ADD
00001fdd: MSTORE
00001fde: SWAP5
00001fdf: SWAP1
00001fe0: SWAP7
00001fe1: AND
00001fe2: SWAP1
00001fe3: SWAP5
00001fe4: MUL
00001fe5: PUSH1 0x15
00001fe7: DUP5
00001fe8: ADD
00001fe9: MSTORE
00001fea: PUSH1 0x29
00001fec: DUP4
00001fed: ADD
00001fee: SWAP2
00001fef: SWAP1
00001ff0: SWAP2
00001ff1: MSTORE
00001ff2: PUSH1 0x49
00001ff4: DUP3
00001ff5: ADD
00001ff6: MSTORE
00001ff7: PUSH1 0x69
00001ff9: DUP2
00001ffa: ADD
00001ffb: SWAP2
00001ffc: SWAP1
00001ffd: SWAP2
00001ffe: MSTORE
00001fff: PUSH1 0x89
00002001: DUP2
00002002: ADD
00002003: SWAP2
00002004: SWAP1
00002005: SWAP2
00002006: MSTORE
00002007: PUSH1 0xa9
00002009: ADD
0000200a: PUSH1 0x40
0000200c: MLOAD
0000200d: DUP1
0000200e: SWAP2
0000200f: SUB
00002010: SWAP1
00002011: KECCAK256
00002012: PUSH1 0x40
00002014: MLOAD
00002015: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00002036: DUP2
00002037: MSTORE
00002038: PUSH1 0x1c
0000203a: DUP2
0000203b: ADD
0000203c: SWAP2
0000203d: SWAP1
0000203e: SWAP2
0000203f: MSTORE
00002040: PUSH1 0x3c
00002042: ADD
00002043: PUSH1 0x40
00002045: MLOAD
00002046: DUP1
00002047: SWAP2
00002048: SUB
00002049: SWAP1
0000204a: KECCAK256
0000204b: SWAP1
0000204c: POP
0000204d: SWAP7
0000204e: SWAP6
0000204f: POP
00002050: POP
00002051: POP
00002052: POP
00002053: POP
00002054: POP
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0x01
00002059: PUSH1 0xa0
0000205b: PUSH1 0x02
0000205d: EXP
0000205e: SUB
0000205f: DUP6
00002060: AND
00002061: PUSH1 0x00
00002063: SWAP1
00002064: DUP2
00002065: MSTORE
00002066: PUSH1 0x08
00002068: PUSH1 0x20
0000206a: SWAP1
0000206b: DUP2
0000206c: MSTORE
0000206d: PUSH1 0x40
0000206f: DUP1
00002070: DUP4
00002071: KECCAK256
00002072: DUP8
00002073: DUP5
00002074: MSTORE
00002075: SWAP1
00002076: SWAP2
00002077: MSTORE
00002078: DUP2
00002079: KECCAK256
0000207a: SLOAD
0000207b: DUP2
0000207c: SWAP1
0000207d: DUP2
0000207e: SWAP1
0000207f: DUP2
00002080: SWAP1
00002081: PUSH2 0x208b
00002084: SWAP1
00002085: DUP8
00002086: SWAP1
00002087: PUSH2 0x1b8a
0000208a: JUMP
0000208b: JUMPDEST
0000208c: SWAP4
0000208d: POP
0000208e: DUP5
0000208f: DUP5
00002090: GT
00002091: ISZERO
00002092: PUSH2 0x2099
00002095: JUMPI
00002096: DUP5
00002097: SWAP4
00002098: POP
00002099: JUMPDEST
0000209a: PUSH1 0x01
0000209c: DUP12
0000209d: EQ
0000209e: ISZERO
0000209f: PUSH2 0x2180
000020a2: JUMPI
000020a3: PUSH1 0x01
000020a5: PUSH1 0xa0
000020a7: PUSH1 0x02
000020a9: EXP
000020aa: SUB
000020ab: DUP1
000020ac: DUP11
000020ad: AND
000020ae: PUSH1 0x00
000020b0: SWAP1
000020b1: DUP2
000020b2: MSTORE
000020b3: PUSH1 0x07
000020b5: PUSH1 0x20
000020b7: SWAP1
000020b8: DUP2
000020b9: MSTORE
000020ba: PUSH1 0x40
000020bc: DUP1
000020bd: DUP4
000020be: KECCAK256
000020bf: SWAP4
000020c0: DUP15
000020c1: AND
000020c2: DUP4
000020c3: MSTORE
000020c4: SWAP3
000020c5: SWAP1
000020c6: MSTORE
000020c7: KECCAK256
000020c8: SLOAD
000020c9: DUP5
000020ca: GT
000020cb: ISZERO
000020cc: PUSH2 0x217b
000020cf: JUMPI
000020d0: PUSH1 0x01
000020d2: PUSH1 0xa0
000020d4: PUSH1 0x02
000020d6: EXP
000020d7: SUB
000020d8: DUP1
000020d9: DUP11
000020da: AND
000020db: PUSH1 0x00
000020dd: SWAP1
000020de: DUP2
000020df: MSTORE
000020e0: PUSH1 0x07
000020e2: PUSH1 0x20
000020e4: SWAP1
000020e5: DUP2
000020e6: MSTORE
000020e7: PUSH1 0x40
000020e9: DUP1
000020ea: DUP4
000020eb: KECCAK256
000020ec: SWAP4
000020ed: DUP15
000020ee: AND
000020ef: DUP4
000020f0: MSTORE
000020f1: SWAP3
000020f2: SWAP1
000020f3: MSTORE
000020f4: DUP2
000020f5: SWAP1
000020f6: KECCAK256
000020f7: SLOAD
000020f8: PUSH32 0xb6062bc730d991f3ca3c29f9901ce89c12b5689a273411b114f16c01ca816807
00002119: SWAP2
0000211a: DUP12
0000211b: SWAP2
0000211c: DUP14
0000211d: SWAP2
0000211e: DUP9
0000211f: SWAP2
00002120: SWAP1
00002121: MLOAD
00002122: PUSH1 0x01
00002124: PUSH1 0xa0
00002126: PUSH1 0x02
00002128: EXP
00002129: SUB
0000212a: SWAP5
0000212b: DUP6
0000212c: AND
0000212d: DUP2
0000212e: MSTORE
0000212f: SWAP3
00002130: SWAP1
00002131: SWAP4
00002132: AND
00002133: PUSH1 0x20
00002135: DUP4
00002136: ADD
00002137: MSTORE
00002138: PUSH1 0x40
0000213a: DUP1
0000213b: DUP4
0000213c: ADD
0000213d: SWAP2
0000213e: SWAP1
0000213f: SWAP2
00002140: MSTORE
00002141: PUSH1 0x60
00002143: DUP3
00002144: ADD
00002145: SWAP3
00002146: SWAP1
00002147: SWAP3
00002148: MSTORE
00002149: PUSH1 0x80
0000214b: ADD
0000214c: SWAP1
0000214d: MLOAD
0000214e: DUP1
0000214f: SWAP2
00002150: SUB
00002151: SWAP1
00002152: LOG1
00002153: PUSH1 0x01
00002155: PUSH1 0xa0
00002157: PUSH1 0x02
00002159: EXP
0000215a: SUB
0000215b: DUP1
0000215c: DUP11
0000215d: AND
0000215e: PUSH1 0x00
00002160: SWAP1
00002161: DUP2
00002162: MSTORE
00002163: PUSH1 0x07
00002165: PUSH1 0x20
00002167: SWAP1
00002168: DUP2
00002169: MSTORE
0000216a: PUSH1 0x40
0000216c: DUP1
0000216d: DUP4
0000216e: KECCAK256
0000216f: SWAP4
00002170: DUP15
00002171: AND
00002172: DUP4
00002173: MSTORE
00002174: SWAP3
00002175: SWAP1
00002176: MSTORE
00002177: KECCAK256
00002178: SLOAD
00002179: SWAP4
0000217a: POP
0000217b: JUMPDEST
0000217c: PUSH2 0x2257
0000217f: JUMP
00002180: JUMPDEST
00002181: PUSH1 0x01
00002183: PUSH1 0xa0
00002185: PUSH1 0x02
00002187: EXP
00002188: SUB
00002189: CALLER
0000218a: DUP2
0000218b: AND
0000218c: PUSH1 0x00
0000218e: SWAP1
0000218f: DUP2
00002190: MSTORE
00002191: PUSH1 0x07
00002193: PUSH1 0x20
00002195: SWAP1
00002196: DUP2
00002197: MSTORE
00002198: PUSH1 0x40
0000219a: DUP1
0000219b: DUP4
0000219c: KECCAK256
0000219d: SWAP4
0000219e: DUP15
0000219f: AND
000021a0: DUP4
000021a1: MSTORE
000021a2: SWAP3
000021a3: SWAP1
000021a4: MSTORE
000021a5: KECCAK256
000021a6: SLOAD
000021a7: DUP5
000021a8: GT
000021a9: ISZERO
000021aa: PUSH2 0x2257
000021ad: JUMPI
000021ae: PUSH1 0x01
000021b0: PUSH1 0xa0
000021b2: PUSH1 0x02
000021b4: EXP
000021b5: SUB
000021b6: CALLER
000021b7: DUP2
000021b8: DUP2
000021b9: AND
000021ba: PUSH1 0x00
000021bc: SWAP1
000021bd: DUP2
000021be: MSTORE
000021bf: PUSH1 0x07
000021c1: PUSH1 0x20
000021c3: SWAP1
000021c4: DUP2
000021c5: MSTORE
000021c6: PUSH1 0x40
000021c8: DUP1
000021c9: DUP4
000021ca: KECCAK256
000021cb: SWAP5
000021cc: DUP16
000021cd: AND
000021ce: DUP4
000021cf: MSTORE
000021d0: SWAP4
000021d1: SWAP1
000021d2: MSTORE
000021d3: DUP3
000021d4: SWAP1
000021d5: KECCAK256
000021d6: SLOAD
000021d7: PUSH32 0xb6062bc730d991f3ca3c29f9901ce89c12b5689a273411b114f16c01ca816807
000021f8: SWAP3
000021f9: DUP14
000021fa: SWAP2
000021fb: DUP9
000021fc: SWAP2
000021fd: MLOAD
000021fe: PUSH1 0x01
00002200: PUSH1 0xa0
00002202: PUSH1 0x02
00002204: EXP
00002205: SUB
00002206: SWAP5
00002207: DUP6
00002208: AND
00002209: DUP2
0000220a: MSTORE
0000220b: SWAP3
0000220c: SWAP1
0000220d: SWAP4
0000220e: AND
0000220f: PUSH1 0x20
00002211: DUP4
00002212: ADD
00002213: MSTORE
00002214: PUSH1 0x40
00002216: DUP1
00002217: DUP4
00002218: ADD
00002219: SWAP2
0000221a: SWAP1
0000221b: SWAP2
0000221c: MSTORE
0000221d: PUSH1 0x60
0000221f: DUP3
00002220: ADD
00002221: SWAP3
00002222: SWAP1
00002223: SWAP3
00002224: MSTORE
00002225: PUSH1 0x80
00002227: ADD
00002228: SWAP1
00002229: MLOAD
0000222a: DUP1
0000222b: SWAP2
0000222c: SUB
0000222d: SWAP1
0000222e: LOG1
0000222f: PUSH1 0x01
00002231: PUSH1 0xa0
00002233: PUSH1 0x02
00002235: EXP
00002236: SUB
00002237: CALLER
00002238: DUP2
00002239: AND
0000223a: PUSH1 0x00
0000223c: SWAP1
0000223d: DUP2
0000223e: MSTORE
0000223f: PUSH1 0x07
00002241: PUSH1 0x20
00002243: SWAP1
00002244: DUP2
00002245: MSTORE
00002246: PUSH1 0x40
00002248: DUP1
00002249: DUP4
0000224a: KECCAK256
0000224b: SWAP4
0000224c: DUP15
0000224d: AND
0000224e: DUP4
0000224f: MSTORE
00002250: SWAP3
00002251: SWAP1
00002252: MSTORE
00002253: KECCAK256
00002254: SLOAD
00002255: SWAP4
00002256: POP
00002257: JUMPDEST
00002258: PUSH2 0x2261
0000225b: DUP5
0000225c: DUP9
0000225d: PUSH2 0x2723
00002260: JUMP
00002261: JUMPDEST
00002262: SWAP2
00002263: POP
00002264: PUSH1 0x01
00002266: DUP12
00002267: EQ
00002268: ISZERO
00002269: PUSH2 0x22a3
0000226c: JUMPI
0000226d: CALLER
0000226e: PUSH1 0x01
00002270: PUSH1 0xa0
00002272: PUSH1 0x02
00002274: EXP
00002275: SUB
00002276: DUP2
00002277: AND
00002278: PUSH1 0x00
0000227a: SWAP1
0000227b: DUP2
0000227c: MSTORE
0000227d: PUSH1 0x06
0000227f: PUSH1 0x20
00002281: MSTORE
00002282: PUSH1 0x40
00002284: SWAP1
00002285: KECCAK256
00002286: SLOAD
00002287: PUSH1 0x05
00002289: SLOAD
0000228a: PUSH2 0x229c
0000228d: SWAP3
0000228e: PUSH2 0x2297
00002291: SWAP2
00002292: SWAP1
00002293: PUSH2 0x2747
00002296: JUMP
00002297: JUMPDEST
00002298: PUSH2 0x27ad
0000229b: JUMP
0000229c: JUMPDEST
0000229d: SWAP1
0000229e: POP
0000229f: PUSH2 0x22d1
000022a2: JUMP
000022a3: JUMPDEST
000022a4: PUSH1 0x01
000022a6: PUSH1 0xa0
000022a8: PUSH1 0x02
000022aa: EXP
000022ab: SUB
000022ac: DUP10
000022ad: AND
000022ae: PUSH1 0x00
000022b0: SWAP1
000022b1: DUP2
000022b2: MSTORE
000022b3: PUSH1 0x06
000022b5: PUSH1 0x20
000022b7: MSTORE
000022b8: PUSH1 0x40
000022ba: SWAP1
000022bb: KECCAK256
000022bc: SLOAD
000022bd: PUSH1 0x04
000022bf: SLOAD
000022c0: PUSH2 0x22ce
000022c3: SWAP2
000022c4: SWAP1
000022c5: PUSH2 0x2297
000022c8: SWAP1
000022c9: DUP13
000022ca: PUSH2 0x2747
000022cd: JUMP
000022ce: JUMPDEST
000022cf: SWAP1
000022d0: POP
000022d1: JUMPDEST
000022d2: DUP1
000022d3: DUP3
000022d4: GT
000022d5: PUSH2 0x22e0
000022d8: JUMPI
000022d9: DUP2
000022da: SWAP3
000022db: POP
000022dc: PUSH2 0x23ed
000022df: JUMP
000022e0: JUMPDEST
000022e1: PUSH2 0x22fb
000022e4: PUSH2 0x22f5
000022e7: DUP3
000022e8: PUSH8 0x0de0b6b3a7640000
000022f1: PUSH2 0x27cf
000022f4: JUMP
000022f5: JUMPDEST
000022f6: DUP9
000022f7: PUSH2 0x27fa
000022fa: JUMP
000022fb: JUMPDEST
000022fc: SWAP4
000022fd: POP
000022fe: PUSH2 0x2307
00002301: DUP5
00002302: DUP9
00002303: PUSH2 0x2723
00002306: JUMP
00002307: JUMPDEST
00002308: SWAP3
00002309: POP
0000230a: PUSH1 0x01
0000230c: DUP12
0000230d: EQ
0000230e: ISZERO
0000230f: PUSH2 0x2384
00002312: JUMPI
00002313: PUSH32 0x76702d836838aed23a1498f8752f1f24753aeea589d155407c29c7634f12cec8
00002334: CALLER
00002335: PUSH2 0x2349
00002338: DUP5
00002339: PUSH2 0x2344
0000233c: PUSH1 0x05
0000233e: SLOAD
0000233f: CALLER
00002340: PUSH2 0x2747
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH2 0x2811
00002348: JUMP
00002349: JUMPDEST
0000234a: DUP6
0000234b: PUSH1 0x40
0000234d: MLOAD
0000234e: DUP1
0000234f: DUP5
00002350: PUSH1 0x01
00002352: PUSH1 0xa0
00002354: PUSH1 0x02
00002356: EXP
00002357: SUB
00002358: AND
00002359: PUSH1 0x01
0000235b: PUSH1 0xa0
0000235d: PUSH1 0x02
0000235f: EXP
00002360: SUB
00002361: AND
00002362: DUP2
00002363: MSTORE
00002364: PUSH1 0x20
00002366: ADD
00002367: DUP4
00002368: DUP2
00002369: MSTORE
0000236a: PUSH1 0x20
0000236c: ADD
0000236d: DUP3
0000236e: DUP2
0000236f: MSTORE
00002370: PUSH1 0x20
00002372: ADD
00002373: SWAP4
00002374: POP
00002375: POP
00002376: POP
00002377: POP
00002378: PUSH1 0x40
0000237a: MLOAD
0000237b: DUP1
0000237c: SWAP2
0000237d: SUB
0000237e: SWAP1
0000237f: LOG1
00002380: PUSH2 0x23ed
00002383: JUMP
00002384: JUMPDEST
00002385: PUSH32 0x76702d836838aed23a1498f8752f1f24753aeea589d155407c29c7634f12cec8
000023a6: DUP10
000023a7: PUSH2 0x23b6
000023aa: DUP5
000023ab: PUSH2 0x2344
000023ae: PUSH1 0x04
000023b0: SLOAD
000023b1: DUP15
000023b2: PUSH2 0x2747
000023b5: JUMP
000023b6: JUMPDEST
000023b7: DUP6
000023b8: PUSH1 0x40
000023ba: MLOAD
000023bb: DUP1
000023bc: DUP5
000023bd: PUSH1 0x01
000023bf: PUSH1 0xa0
000023c1: PUSH1 0x02
000023c3: EXP
000023c4: SUB
000023c5: AND
000023c6: PUSH1 0x01
000023c8: PUSH1 0xa0
000023ca: PUSH1 0x02
000023cc: EXP
000023cd: SUB
000023ce: AND
000023cf: DUP2
000023d0: MSTORE
000023d1: PUSH1 0x20
000023d3: ADD
000023d4: DUP4
000023d5: DUP2
000023d6: MSTORE
000023d7: PUSH1 0x20
000023d9: ADD
000023da: DUP3
000023db: DUP2
000023dc: MSTORE
000023dd: PUSH1 0x20
000023df: ADD
000023e0: SWAP4
000023e1: POP
000023e2: POP
000023e3: POP
000023e4: POP
000023e5: PUSH1 0x40
000023e7: MLOAD
000023e8: DUP1
000023e9: SWAP2
000023ea: SUB
000023eb: SWAP1
000023ec: LOG1
000023ed: JUMPDEST
000023ee: POP
000023ef: POP
000023f0: SWAP8
000023f1: POP
000023f2: SWAP8
000023f3: SWAP6
000023f4: POP
000023f5: POP
000023f6: POP
000023f7: POP
000023f8: POP
000023f9: POP
000023fa: JUMP
000023fb: JUMPDEST
000023fc: PUSH1 0x00
000023fe: PUSH2 0x241b
00002401: PUSH2 0x2413
00002404: DUP6
00002405: PUSH2 0x240e
00002408: DUP7
00002409: DUP7
0000240a: PUSH2 0x2747
0000240d: JUMP
0000240e: JUMPDEST
0000240f: PUSH2 0x27cf
00002412: JUMP
00002413: JUMPDEST
00002414: PUSH1 0x01
00002416: SLOAD
00002417: PUSH2 0x27fa
0000241a: JUMP
0000241b: JUMPDEST
0000241c: SWAP5
0000241d: SWAP4
0000241e: POP
0000241f: POP
00002420: POP
00002421: POP
00002422: JUMP
00002423: JUMPDEST
00002424: PUSH1 0x01
00002426: DUP8
00002427: EQ
00002428: ISZERO
00002429: PUSH2 0x2542
0000242c: JUMPI
0000242d: PUSH1 0x01
0000242f: PUSH1 0xa0
00002431: PUSH1 0x02
00002433: EXP
00002434: SUB
00002435: CALLER
00002436: DUP2
00002437: AND
00002438: PUSH1 0x00
0000243a: SWAP1
0000243b: DUP2
0000243c: MSTORE
0000243d: PUSH1 0x07
0000243f: PUSH1 0x20
00002441: SWAP1
00002442: DUP2
00002443: MSTORE
00002444: PUSH1 0x40
00002446: DUP1
00002447: DUP4
00002448: KECCAK256
00002449: SWAP4
0000244a: DUP11
0000244b: AND
0000244c: DUP4
0000244d: MSTORE
0000244e: SWAP3
0000244f: SWAP1
00002450: MSTORE
00002451: KECCAK256
00002452: SLOAD
00002453: PUSH2 0x245c
00002456: SWAP1
00002457: DUP6
00002458: PUSH2 0x0781
0000245b: JUMP
0000245c: JUMPDEST
0000245d: PUSH1 0x01
0000245f: PUSH1 0xa0
00002461: PUSH1 0x02
00002463: EXP
00002464: SUB
00002465: CALLER
00002466: DUP2
00002467: AND
00002468: PUSH1 0x00
0000246a: SWAP1
0000246b: DUP2
0000246c: MSTORE
0000246d: PUSH1 0x07
0000246f: PUSH1 0x20
00002471: DUP2
00002472: DUP2
00002473: MSTORE
00002474: PUSH1 0x40
00002476: DUP1
00002477: DUP5
00002478: KECCAK256
00002479: DUP13
0000247a: DUP7
0000247b: AND
0000247c: DUP1
0000247d: DUP7
0000247e: MSTORE
0000247f: SWAP1
00002480: DUP4
00002481: MSTORE
00002482: DUP2
00002483: DUP6
00002484: KECCAK256
00002485: SWAP7
00002486: SWAP1
00002487: SWAP7
00002488: SSTORE
00002489: SWAP4
0000248a: DUP11
0000248b: AND
0000248c: DUP4
0000248d: MSTORE
0000248e: SWAP1
0000248f: DUP2
00002490: MSTORE
00002491: DUP3
00002492: DUP3
00002493: KECCAK256
00002494: SWAP4
00002495: DUP3
00002496: MSTORE
00002497: SWAP3
00002498: SWAP1
00002499: SWAP3
0000249a: MSTORE
0000249b: SWAP1
0000249c: KECCAK256
0000249d: SLOAD
0000249e: PUSH2 0x24a7
000024a1: SWAP1
000024a2: DUP6
000024a3: PUSH2 0x1b8a
000024a6: JUMP
000024a7: JUMPDEST
000024a8: PUSH1 0x01
000024aa: PUSH1 0xa0
000024ac: PUSH1 0x02
000024ae: EXP
000024af: SUB
000024b0: DUP1
000024b1: DUP8
000024b2: AND
000024b3: PUSH1 0x00
000024b5: SWAP1
000024b6: DUP2
000024b7: MSTORE
000024b8: PUSH1 0x07
000024ba: PUSH1 0x20
000024bc: SWAP1
000024bd: DUP2
000024be: MSTORE
000024bf: PUSH1 0x40
000024c1: DUP1
000024c2: DUP4
000024c3: KECCAK256
000024c4: DUP12
000024c5: DUP6
000024c6: AND
000024c7: DUP5
000024c8: MSTORE
000024c9: DUP3
000024ca: MSTORE
000024cb: DUP1
000024cc: DUP4
000024cd: KECCAK256
000024ce: SWAP5
000024cf: SWAP1
000024d0: SWAP5
000024d1: SSTORE
000024d2: CALLER
000024d3: SWAP1
000024d4: SWAP3
000024d5: AND
000024d6: DUP2
000024d7: MSTORE
000024d8: PUSH1 0x06
000024da: SWAP1
000024db: SWAP2
000024dc: MSTORE
000024dd: KECCAK256
000024de: SLOAD
000024df: PUSH2 0x24f1
000024e2: SWAP1
000024e3: PUSH2 0x24ec
000024e6: DUP6
000024e7: DUP5
000024e8: PUSH2 0x0781
000024eb: JUMP
000024ec: JUMPDEST
000024ed: PUSH2 0x1b8a
000024f0: JUMP
000024f1: JUMPDEST
000024f2: PUSH1 0x01
000024f4: PUSH1 0xa0
000024f6: PUSH1 0x02
000024f8: EXP
000024f9: SUB
000024fa: CALLER
000024fb: DUP2
000024fc: AND
000024fd: PUSH1 0x00
000024ff: SWAP1
00002500: DUP2
00002501: MSTORE
00002502: PUSH1 0x06
00002504: PUSH1 0x20
00002506: MSTORE
00002507: PUSH1 0x40
00002509: DUP1
0000250a: DUP3
0000250b: KECCAK256
0000250c: SWAP4
0000250d: SWAP1
0000250e: SWAP4
0000250f: SSTORE
00002510: SWAP1
00002511: DUP8
00002512: AND
00002513: DUP2
00002514: MSTORE
00002515: KECCAK256
00002516: SLOAD
00002517: PUSH2 0x2524
0000251a: SWAP1
0000251b: PUSH2 0x1dc6
0000251e: DUP6
0000251f: DUP6
00002520: PUSH2 0x1b8a
00002523: JUMP
00002524: JUMPDEST
00002525: PUSH1 0x01
00002527: PUSH1 0xa0
00002529: PUSH1 0x02
0000252b: EXP
0000252c: SUB
0000252d: DUP7
0000252e: AND
0000252f: PUSH1 0x00
00002531: SWAP1
00002532: DUP2
00002533: MSTORE
00002534: PUSH1 0x06
00002536: PUSH1 0x20
00002538: MSTORE
00002539: PUSH1 0x40
0000253b: SWAP1
0000253c: KECCAK256
0000253d: SSTORE
0000253e: PUSH2 0x0bd8
00002541: JUMP
00002542: JUMPDEST
00002543: PUSH1 0x01
00002545: PUSH1 0xa0
00002547: PUSH1 0x02
00002549: EXP
0000254a: SUB
0000254b: CALLER
0000254c: DUP2
0000254d: AND
0000254e: PUSH1 0x00
00002550: SWAP1
00002551: DUP2
00002552: MSTORE
00002553: PUSH1 0x07
00002555: PUSH1 0x20
00002557: SWAP1
00002558: DUP2
00002559: MSTORE
0000255a: PUSH1 0x40
0000255c: DUP1
0000255d: DUP4
0000255e: KECCAK256
0000255f: SWAP4
00002560: DUP11
00002561: AND
00002562: DUP4
00002563: MSTORE
00002564: SWAP3
00002565: SWAP1
00002566: MSTORE
00002567: KECCAK256
00002568: SLOAD
00002569: PUSH2 0x2572
0000256c: SWAP1
0000256d: DUP6
0000256e: PUSH2 0x1b8a
00002571: JUMP
00002572: JUMPDEST
00002573: PUSH1 0x01
00002575: PUSH1 0xa0
00002577: PUSH1 0x02
00002579: EXP
0000257a: SUB
0000257b: CALLER
0000257c: DUP2
0000257d: AND
0000257e: PUSH1 0x00
00002580: SWAP1
00002581: DUP2
00002582: MSTORE
00002583: PUSH1 0x07
00002585: PUSH1 0x20
00002587: DUP2
00002588: DUP2
00002589: MSTORE
0000258a: PUSH1 0x40
0000258c: DUP1
0000258d: DUP5
0000258e: KECCAK256
0000258f: DUP13
00002590: DUP7
00002591: AND
00002592: DUP1
00002593: DUP7
00002594: MSTORE
00002595: SWAP1
00002596: DUP4
00002597: MSTORE
00002598: DUP2
00002599: DUP6
0000259a: KECCAK256
0000259b: SWAP7
0000259c: SWAP1
0000259d: SWAP7
0000259e: SSTORE
0000259f: SWAP4
000025a0: DUP11
000025a1: AND
000025a2: DUP4
000025a3: MSTORE
000025a4: SWAP1
000025a5: DUP2
000025a6: MSTORE
000025a7: DUP3
000025a8: DUP3
000025a9: KECCAK256
000025aa: SWAP4
000025ab: DUP3
000025ac: MSTORE
000025ad: SWAP3
000025ae: SWAP1
000025af: SWAP3
000025b0: MSTORE
000025b1: SWAP1
000025b2: KECCAK256
000025b3: SLOAD
000025b4: PUSH2 0x25bd
000025b7: SWAP1
000025b8: DUP6
000025b9: PUSH2 0x0781
000025bc: JUMP
000025bd: JUMPDEST
000025be: PUSH1 0x01
000025c0: PUSH1 0xa0
000025c2: PUSH1 0x02
000025c4: EXP
000025c5: SUB
000025c6: DUP1
000025c7: DUP8
000025c8: AND
000025c9: PUSH1 0x00
000025cb: SWAP1
000025cc: DUP2
000025cd: MSTORE
000025ce: PUSH1 0x07
000025d0: PUSH1 0x20
000025d2: SWAP1
000025d3: DUP2
000025d4: MSTORE
000025d5: PUSH1 0x40
000025d7: DUP1
000025d8: DUP4
000025d9: KECCAK256
000025da: DUP12
000025db: DUP6
000025dc: AND
000025dd: DUP5
000025de: MSTORE
000025df: DUP3
000025e0: MSTORE
000025e1: DUP1
000025e2: DUP4
000025e3: KECCAK256
000025e4: SWAP5
000025e5: SWAP1
000025e6: SWAP5
000025e7: SSTORE
000025e8: CALLER
000025e9: SWAP1
000025ea: SWAP3
000025eb: AND
000025ec: DUP2
000025ed: MSTORE
000025ee: PUSH1 0x06
000025f0: SWAP1
000025f1: SWAP2
000025f2: MSTORE
000025f3: KECCAK256
000025f4: SLOAD
000025f5: PUSH2 0x2602
000025f8: SWAP1
000025f9: PUSH2 0x1dc6
000025fc: DUP6
000025fd: DUP5
000025fe: PUSH2 0x1b8a
00002601: JUMP
00002602: JUMPDEST
00002603: PUSH1 0x01
00002605: PUSH1 0xa0
00002607: PUSH1 0x02
00002609: EXP
0000260a: SUB
0000260b: CALLER
0000260c: DUP2
0000260d: AND
0000260e: PUSH1 0x00
00002610: SWAP1
00002611: DUP2
00002612: MSTORE
00002613: PUSH1 0x06
00002615: PUSH1 0x20
00002617: MSTORE
00002618: PUSH1 0x40
0000261a: DUP1
0000261b: DUP3
0000261c: KECCAK256
0000261d: SWAP4
0000261e: SWAP1
0000261f: SWAP4
00002620: SSTORE
00002621: SWAP1
00002622: DUP8
00002623: AND
00002624: DUP2
00002625: MSTORE
00002626: KECCAK256
00002627: SLOAD
00002628: PUSH2 0x2635
0000262b: SWAP1
0000262c: PUSH2 0x24ec
0000262f: DUP6
00002630: DUP6
00002631: PUSH2 0x0781
00002634: JUMP
00002635: JUMPDEST
00002636: PUSH1 0x01
00002638: PUSH1 0xa0
0000263a: PUSH1 0x02
0000263c: EXP
0000263d: SUB
0000263e: DUP7
0000263f: AND
00002640: PUSH1 0x00
00002642: SWAP1
00002643: DUP2
00002644: MSTORE
00002645: PUSH1 0x06
00002647: PUSH1 0x20
00002649: MSTORE
0000264a: PUSH1 0x40
0000264c: SWAP1
0000264d: KECCAK256
0000264e: SSTORE
0000264f: POP
00002650: POP
00002651: POP
00002652: POP
00002653: POP
00002654: POP
00002655: POP
00002656: JUMP
00002657: JUMPDEST
00002658: PUSH1 0x01
0000265a: PUSH1 0xa0
0000265c: PUSH1 0x02
0000265e: EXP
0000265f: SUB
00002660: DUP1
00002661: DUP8
00002662: AND
00002663: PUSH1 0x00
00002665: DUP2
00002666: DUP2
00002667: MSTORE
00002668: PUSH1 0x08
0000266a: PUSH1 0x20
0000266c: SWAP1
0000266d: DUP2
0000266e: MSTORE
0000266f: PUSH1 0x40
00002671: DUP1
00002672: DUP4
00002673: KECCAK256
00002674: DUP11
00002675: DUP5
00002676: MSTORE
00002677: DUP3
00002678: MSTORE
00002679: DUP1
0000267a: DUP4
0000267b: KECCAK256
0000267c: SLOAD
0000267d: DUP5
0000267e: DUP5
0000267f: MSTORE
00002680: PUSH1 0x07
00002682: DUP4
00002683: MSTORE
00002684: DUP2
00002685: DUP5
00002686: KECCAK256
00002687: SWAP6
00002688: DUP9
00002689: AND
0000268a: DUP5
0000268b: MSTORE
0000268c: SWAP5
0000268d: DUP3
0000268e: MSTORE
0000268f: DUP1
00002690: DUP4
00002691: KECCAK256
00002692: SLOAD
00002693: SWAP4
00002694: DUP4
00002695: MSTORE
00002696: PUSH1 0x06
00002698: SWAP1
00002699: SWAP2
0000269a: MSTORE
0000269b: SWAP1
0000269c: DUP2
0000269d: SWAP1
0000269e: KECCAK256
0000269f: SLOAD
000026a0: PUSH32 0x165223f17116d321e4ef371cbdb122aa350ce59db46ff8f575874758c14a3ef0
000026c1: SWAP4
000026c2: DUP11
000026c3: SWAP4
000026c4: DUP11
000026c5: SWAP4
000026c6: DUP11
000026c7: SWAP4
000026c8: DUP11
000026c9: SWAP4
000026ca: SWAP3
000026cb: SWAP2
000026cc: DUP10
000026cd: SWAP1
000026ce: MLOAD
000026cf: PUSH1 0x01
000026d1: PUSH1 0xa0
000026d3: PUSH1 0x02
000026d5: EXP
000026d6: SUB
000026d7: SWAP1
000026d8: SWAP9
000026d9: AND
000026da: DUP9
000026db: MSTORE
000026dc: PUSH1 0x20
000026de: DUP9
000026df: ADD
000026e0: SWAP7
000026e1: SWAP1
000026e2: SWAP7
000026e3: MSTORE
000026e4: PUSH1 0x40
000026e6: DUP1
000026e7: DUP9
000026e8: ADD
000026e9: SWAP6
000026ea: SWAP1
000026eb: SWAP6
000026ec: MSTORE
000026ed: PUSH1 0x60
000026ef: DUP8
000026f0: ADD
000026f1: SWAP4
000026f2: SWAP1
000026f3: SWAP4
000026f4: MSTORE
000026f5: PUSH1 0x80
000026f7: DUP7
000026f8: ADD
000026f9: SWAP2
000026fa: SWAP1
000026fb: SWAP2
000026fc: MSTORE
000026fd: PUSH1 0xa0
000026ff: DUP6
00002700: ADD
00002701: MSTORE
00002702: PUSH1 0xc0
00002704: DUP5
00002705: ADD
00002706: MSTORE
00002707: PUSH1 0xe0
00002709: DUP4
0000270a: ADD
0000270b: SWAP2
0000270c: SWAP1
0000270d: SWAP2
0000270e: MSTORE
0000270f: PUSH2 0x0100
00002712: SWAP1
00002713: SWAP2
00002714: ADD
00002715: SWAP1
00002716: MLOAD
00002717: DUP1
00002718: SWAP2
00002719: SUB
0000271a: SWAP1
0000271b: LOG1
0000271c: POP
0000271d: POP
0000271e: POP
0000271f: POP
00002720: POP
00002721: POP
00002722: JUMP
00002723: JUMPDEST
00002724: PUSH1 0x00
00002726: PUSH2 0x2740
00002729: PUSH2 0x2732
0000272c: DUP5
0000272d: DUP5
0000272e: PUSH2 0x27cf
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH8 0x0de0b6b3a7640000
0000273c: PUSH2 0x27fa
0000273f: JUMP
00002740: JUMPDEST
00002741: SWAP4
00002742: SWAP3
00002743: POP
00002744: POP
00002745: POP
00002746: JUMP
00002747: JUMPDEST
00002748: PUSH1 0x01
0000274a: PUSH1 0xa0
0000274c: PUSH1 0x02
0000274e: EXP
0000274f: SUB
00002750: DUP2
00002751: AND
00002752: PUSH1 0x00
00002754: SWAP1
00002755: DUP2
00002756: MSTORE
00002757: PUSH1 0x0b
00002759: PUSH1 0x20
0000275b: MSTORE
0000275c: PUSH1 0x40
0000275e: DUP2
0000275f: KECCAK256
00002760: SLOAD
00002761: PUSH2 0x0100
00002764: SWAP1
00002765: DIV
00002766: PUSH1 0x01
00002768: PUSH1 0x80
0000276a: PUSH1 0x02
0000276c: EXP
0000276d: SUB
0000276e: AND
0000276f: TIMESTAMP
00002770: LT
00002771: PUSH2 0x277b
00002774: JUMPI
00002775: POP
00002776: DUP2
00002777: PUSH2 0x15ef
0000277a: JUMP
0000277b: JUMPDEST
0000277c: PUSH1 0x01
0000277e: PUSH1 0xa0
00002780: PUSH1 0x02
00002782: EXP
00002783: SUB
00002784: DUP3
00002785: AND
00002786: PUSH1 0x00
00002788: SWAP1
00002789: DUP2
0000278a: MSTORE
0000278b: PUSH1 0x0b
0000278d: PUSH1 0x20
0000278f: MSTORE
00002790: PUSH1 0x40
00002792: SWAP1
00002793: KECCAK256
00002794: SLOAD
00002795: PUSH2 0x2740
00002798: SWAP1
00002799: PUSH2 0x27a6
0000279c: SWAP1
0000279d: DUP6
0000279e: SWAP1
0000279f: PUSH1 0xff
000027a1: AND
000027a2: PUSH2 0x27cf
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH1 0x64
000027a9: PUSH2 0x27fa
000027ac: JUMP
000027ad: JUMPDEST
000027ae: PUSH1 0x00
000027b0: PUSH2 0x2740
000027b3: PUSH2 0x27be
000027b6: DUP5
000027b7: PUSH1 0x01
000027b9: SLOAD
000027ba: PUSH2 0x27cf
000027bd: JUMP
000027be: JUMPDEST
000027bf: PUSH2 0x27ca
000027c2: PUSH1 0x01
000027c4: SLOAD
000027c5: DUP6
000027c6: PUSH2 0x0781
000027c9: JUMP
000027ca: JUMPDEST
000027cb: PUSH2 0x27fa
000027ce: JUMP
000027cf: JUMPDEST
000027d0: PUSH1 0x00
000027d2: DUP1
000027d3: DUP4
000027d4: ISZERO
000027d5: ISZERO
000027d6: PUSH2 0x27e2
000027d9: JUMPI
000027da: PUSH1 0x00
000027dc: SWAP2
000027dd: POP
000027de: PUSH2 0x0794
000027e1: JUMP
000027e2: JUMPDEST
000027e3: POP
000027e4: DUP3
000027e5: DUP3
000027e6: MUL
000027e7: DUP3
000027e8: DUP5
000027e9: DUP3
000027ea: DUP2
000027eb: ISZERO
000027ec: ISZERO
000027ed: PUSH2 0x27f2
000027f0: JUMPI
000027f1: INVALID
000027f2: JUMPDEST
000027f3: DIV
000027f4: EQ
000027f5: PUSH2 0x0790
000027f8: JUMPI
000027f9: INVALID
000027fa: JUMPDEST
000027fb: PUSH1 0x00
000027fd: DUP1
000027fe: DUP3
000027ff: DUP5
00002800: DUP2
00002801: ISZERO
00002802: ISZERO
00002803: PUSH2 0x2808
00002806: JUMPI
00002807: INVALID
00002808: JUMPDEST
00002809: DIV
0000280a: SWAP5
0000280b: SWAP4
0000280c: POP
0000280d: POP
0000280e: POP
0000280f: POP
00002810: JUMP
00002811: JUMPDEST
00002812: PUSH1 0x00
00002814: PUSH2 0x2740
00002817: PUSH2 0x2413
0000281a: DUP5
0000281b: PUSH2 0x240e
0000281e: PUSH1 0x01
00002820: SLOAD
00002821: DUP7
00002822: PUSH2 0x0781
00002825: JUMP
00002826: STOP
00002827: LOG1
00002828: PUSH6 0x627a7a723058
0000282f: KECCAK256
00002830: PUSH8 0x9290352a07b8b2a8
00002839: UNKNOWN(0xBE)
0000283a: PUSH7 0x968734ca34dc34
00002842: GASLIMIT
00002843: UNKNOWN(0xD9)
00002844: UNKNOWN(0x1F)
00002845: UNKNOWN(0x2F)
00002846: CODESIZE
00002847: UNKNOWN(0xFB)
00002848: DUP2
00002849: UNKNOWN(0xDC)
0000284a: PUSH5 0x9992decd53
00002850: STOP
00002851: UNKNOWN(0x29)