Analysis Run

{"no_findings":false,"summary":"Bytecode analysis shows two computed CALL sites (potentially value‑transferring) and multiple SELFDESTRUCT opcodes; guard/access control evidence is absent, so reachability and exploitability remain uncertain.","findings":[{"severity":"medium","category":"reentrancy","title":"Computed external CALL(s) with possible ETH value transfer and unclear target control","exploit_scenario":"If the CALL target or value is derived from user‑controlled calldata or mutable storage, an attacker could trigger an external call (possibly with ETH) to an arbitrary address. This may enable reentrancy into other entrypoints or force funds out unexpectedly. The validation trace observed a constant target (this contract) in one run, so the risk depends on actual runtime inputs and may be lower if the target is fixed or access‑controlled.","recommendation":"Confirm the CALL target and value are restricted (owner/whitelist or fixed address). If any user input can affect them, add access control and/or a reentrancy guard, and apply checks‑effects‑interactions. Consider explicit return‑data checks for external calls if not already enforced.","evidence":"Detector findings report two CALL sites with computed target/value and possible ETH transfer: pcs 8122 and 8778; returndata checking is unknown. Validation trace noted constant_target=0xd47b0f5d0a24191fdd6878fcde3f03dd4735adc1 but not confirmed.","locations":["pc:0x1fba","pc:0x224a"]},{"severity":"medium","category":"other","title":"SELFDESTRUCT opcodes present with no detected guards","exploit_scenario":"If any public/external path can reach these SELFDESTRUCT instructions without strict authorization, an attacker could destroy the contract and potentially redirect remaining ETH to a chosen beneficiary, permanently disabling functionality. Reachability is not confirmed by the artifact, so this may be dead code, but the presence of 26 SELFDESTRUCT opcodes is high‑risk if exposed.","recommendation":"Verify reachability of SELFDESTRUCT paths. If intentional, ensure only trusted roles can trigger them and consider removing SELFDESTRUCT in production deployments. If unintentional, remove or gate the code path.","evidence":"Heuristics report selfdestruct_count=26; detector flags SELFDESTRUCT reachable with guards_detected=[], validation status unknown.","locations":["pc:0x28e2","pc:0x28e3","pc:0x28e4","pc:0x28e5","pc:0x28e6"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-tqwrd21h
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bab55-80d2-7b82-8e8e-2286372a633d
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
mcp startup: no servers

thinking
**Reading bytecode bundle**
exec
/bin/bash -lc ls in /tmp/codex-tqwrd21h succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-tqwrd21h succeeded in 12ms:
{
  "analysis_artifact": {
    "address": "0xd47b0f5d0a24191fdd6878fcde3f03dd4735adc1",
    "artifact_hash": "0xedaf4abd627649621827f19d248dfa36f488f6695097bad8a4f5952c38ceb8bf",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 12,
          "hash": "0x33d216bb909adb0ff963205323e28174f13c70a52f8c016bd33c8a12aaab33c8",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "PUSH1",
            "CALLDATASIZE",
            "LT",
            "PUSH2",

thinking
**Searching for evidence details**
exec
/bin/bash -lc 'rg -n "evidence|callsite|storage" BYTECODE_BUNDLE.json | head -n 200' in /tmp/codex-tqwrd21h succeeded in 43ms:
10141:      "callsites": [
12163:          "storage": {
12382:          "storage": {
12601:          "storage": {
12820:          "storage": {
13039:          "storage": {
13258:          "storage": {
13477:          "storage": {
13696:          "storage": {
13915:          "storage": {
14134:          "storage": {
14353:          "storage": {
14572:          "storage": {
14791:          "storage": {
15010:          "storage": {
15229:          "storage": {
15448:          "storage": {
15667:          "storage": {
15886:          "storage": {
16105:          "storage": {

thinking
**Searching relevant callsites**
exec
/bin/bash -lc "sed -n '10090,10260p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 21ms:
            "SELFDESTRUCT"
          ],
          "start_pc": 10467
        },
        {
          "end_pc": 10468,
          "hash": "0x1f1f73d5199658970c1c4baddce0338616ee8a427c30ee560c785fb09e1191f5",
          "opcodes": [
            "SELFDESTRUCT"
          ],
          "start_pc": 10468
        },
        {
          "end_pc": 10469,
          "hash": "0x1f42dbe2dff442648b00f37edf968e71430e6e3e34a9fe4c07f1e72f99dd64e0",
          "opcodes": [
            "SELFDESTRUCT"
          ],
          "start_pc": 10469
        },

thinking
**Checking storage slot information**
exec
/bin/bash -lc "sed -n '19380,19720p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 7ms:
        "0x01e33667",
        "0x14bfd6d0",
        "0x15f2f26c",
        "0x1b9a91a4",
        "0x1e112751",
        "0x22061551",
        "0x373b40d5",
        "0x408a184f",
        "0x4f79f7da",
        "0x59ee1a45",
        "0x5a4ca740",
        "0x5f72cb7f",
        "0x6766804e",
        "0x7464dcc1",
        "0x78bb5164",
        "0x7ebd1b30",
        "0x90fd62bb",
        "0x9705c8be",
        "0xa13d27a6",
        "0xa629af0b",

thinking
**Locating callsites by program counter**
exec
/bin/bash -lc 'rg -n "8122|8778" BYTECODE_BUNDLE.json' in /tmp/codex-tqwrd21h succeeded in 7ms:
3022:          "hash": "0x0dd561efebd90170b3b4f78f9db2ad95143f98778dc854cddfd6e4f754b4c24b",
10144:          "pc": 8122,
10151:          "pc": 8778,
21700:          "to": "call:8122",
21704:          "from": "call:8122",
21710:          "to": "call:8778",
21714:          "from": "call:8778",
23024:          "hash": "0x0dd561efebd90170b3b4f78f9db2ad95143f98778dc854cddfd6e4f754b4c24b",
24409:          "id": "call:8122",
24411:          "pc": 8122,
24415:          "id": "call:8778",
24417:          "pc": 8778,
24637:            "pc": 8122,
24644:            "pc": 8778,
24682:            "pc": 8122,
24689:            "pc": 8778,

thinking
**Inspecting basic block around pc 3000**
exec
/bin/bash -lc "sed -n '2960,3060p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 7ms:
            "PUSH1",
            "EXP",
            "SUB",
            "OP_90",
            "OP_91",
            "AND",
            "OP_90",
            "SSTORE",
            "PUSH2",
            "JUMP"
          ],
          "start_pc": 2364
        },
        {
          "end_pc": 2477,
          "hash": "0x561ad7a1226d2f4f5ac8031bf944d60fd2afdb1bbaf614d720cc541742cf8db4",
          "opcodes": [
            "JUMPDEST",
            "OP_80",
            "SLOAD",

thinking
**Searching for start_pc near 8100**
exec
/bin/bash -lc 'rg -n "start_pc": 81 BYTECODE_BUNDLE.json | head -n 20' in /tmp/codex-tqwrd21h succeeded in 30ms:
rg: 81: No such file or directory (os error 2)

thinking
**Refining pattern for rg search**
exec
/bin/bash -lc "rg -n \"start_pc\":\\ 81 BYTECODE_BUNDLE.json | head -n 20" in /tmp/codex-tqwrd21h succeeded in 20ms:


thinking
**Searching for start_pc values**
exec
/bin/bash -lc "rg -n \"start_pc\":\\ 81[0-9][0-9]\" BYTECODE_BUNDLE.json | head -n 20" in /tmp/codex-tqwrd21h exited 2 in 24ms:
/bin/bash: -c: line 1: unexpected EOF while looking for matching `"'
/bin/bash: -c: line 2: syntax error: unexpected end of file

thinking
**Considering quoting for regex in shell**
exec
/bin/bash -lc "rg -n '\"start_pc\": 81[0-9][0-9]' BYTECODE_BUNDLE.json | head -n 20" in /tmp/codex-tqwrd21h succeeded in 7ms:
7839:          "start_pc": 8115
7855:          "start_pc": 8119
7869:          "start_pc": 8130
7890:          "start_pc": 8139
7900:          "start_pc": 8157
7937:          "start_pc": 8161
23782:          "start_pc": 8115,
23789:          "start_pc": 8119,
23796:          "start_pc": 8130,
23803:          "start_pc": 8139,
23810:          "start_pc": 8157,
23817:          "start_pc": 8161,

thinking
**Editing code block with sed**
exec
/bin/bash -lc "sed -n '7810,7925p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 8ms:
            "POP",
            "POP",
            "PUSH1",
            "PUSH1",
            "MLOAD",
            "OP_80",
            "OP_83",
            "SUB",
            "OP_81",
            "PUSH1",
            "OP_87",
            "OP_80",
            "EXTCODESIZE",
            "ISZERO",
            "OP_80",
            "ISZERO",
            "PUSH2",
            "JUMPI"
          ],
          "start_pc": 7497

thinking
**Examining call blocks near PCs 8119 and 8778**
exec
/bin/bash -lc "rg -n '\"start_pc\": 87[0-9][0-9]' BYTECODE_BUNDLE.json | head -n 20" in /tmp/codex-tqwrd21h succeeded in 40ms:
8401:          "start_pc": 8791
23845:          "start_pc": 8791,

thinking
**Checking call and block start points**
exec
/bin/bash -lc "sed -n '8720,8825p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 37ms:
            "EXP",
            "SUB",
            "NOT",
            "OP_90",
            "OP_91",
            "AND",
            "OP_81",
            "OR",
            "OP_90",
            "OP_91",
            "SSTORE",
            "PUSH1",
            "OP_80",
            "MLOAD",
            "PUSH1",
            "OP_81",
            "ADD",
            "OP_82",
            "MSTORE",
            "OP_93",

thinking
**Continuing to locate function call**
exec
/bin/bash -lc "sed -n '8825,8925p' BYTECODE_BUNDLE.json" in /tmp/codex-tqwrd21h succeeded in 7ms:
            "OP_92",
            "OR",
            "AND",
            "OR",
            "OP_90",
            "SSTORE",
            "PUSH2",
            "JUMP"
          ],
          "start_pc": 9050
        },
        {
          "end_pc": 9333,
          "hash": "0xcfa317cdc754cbf2fd960097fb7ff1962ad50465bf0b80e43cf93ec7c4f1b9c2",
          "opcodes": [
            "JUMPDEST",
            "PUSH1",
            "OP_84",
            "PUSH1",
            "PUSH1",

thinking
**Locating call instruction by program counter**
exec
/bin/bash -lc "python - <<'PY'
import json
import bisect
import sys
from pathlib import Path

with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)

blocks=data['analysis_artifact']['artifact_json']['basic_blocks']

for pc in [8122,8778]:
    b=None
    for blk in blocks:
        if blk['start_pc']<=pc<=blk['end_pc']:
            b=blk
            break
    print('pc',pc,'block',b and (b['start_pc'],b['end_pc'],b['opcodes'][:10]))
PY" in /tmp/codex-tqwrd21h succeeded in 52ms:
pc 8122 block (8119, 8129, ['JUMPDEST', 'POP', 'GAS', 'CALL', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2', 'JUMPI'])
pc 8778 block (8219, 8790, ['JUMPDEST', 'PUSH1', 'PUSH2', 'PUSH1', 'MLOAD', 'OP_90', 'OP_81', 'ADD', 'PUSH1', 'MSTORE'])

thinking
**Investigating CALL opcode within basic block**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# find block containing pc 8778
pc=8778
blk=None
for b in blocks:
    if b['start_pc']<=pc<=b['end_pc']:
        blk=b
        break
print('block start',blk['start_pc'],'end',blk['end_pc'])
ops=blk['opcodes']
# print indices where CALL occurs
for i,op in enumerate(ops):
    if op=='CALL':
        print('CALL at opcode index',i)
# print snippet around call
for i,op in enumerate(ops):
    if op=='CALL':
        start=max(0,i-10); end=min(len(ops), i+10)
        print('snippet',i, ops[start:end])
PY" in /tmp/codex-tqwrd21h succeeded in 88ms:
block start 8219 end 8790
CALL at opcode index 408
snippet 408 ['PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'OP_85', 'OP_88', 'OP_88', 'CALL', 'OP_93', 'POP', 'POP', 'POP', 'POP', 'ISZERO', 'OP_80', 'ISZERO', 'PUSH2']

thinking
**Analyzing SSTORE instructions around CALL**
exec
/bin/bash -lc "python - <<'PY'
import json
with open('BYTECODE_BUNDLE.json','r') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
pc=8778
blk=None
for b in blocks:
    if b['start_pc']<=pc<=b['end_pc']:
        blk=b
        break
ops=blk['opcodes']
for i,op in enumerate(ops):
    if op=='SSTORE':
        print('SSTORE index',i)
# call index
call_idx=[i for i,op in enumerate(ops) if op=='CALL']
print('call idx',call_idx)
PY" in /tmp/codex-tqwrd21h succeeded in 31ms:
SSTORE index 93
SSTORE index 153
SSTORE index 187
SSTORE index 213
SSTORE index 239
SSTORE index 273
SSTORE index 299
SSTORE index 325
SSTORE index 351
SSTORE index 377
call idx [408]

thinking
**Analyzing external calls and selfdestruct risks**
exec
/bin/bash -lc "python - <<'PY'
for pc in [8122,8778,10466,10467,10468,10469,10470]:
    print(pc, hex(pc))
PY" in /tmp/codex-tqwrd21h succeeded in 26ms:
8122 0x1fba
8778 0x224a
10466 0x28e2
10467 0x28e3
10468 0x28e4
10469 0x28e5
10470 0x28e6

thinking
**Composing detailed security findings report**

I’m gathering detector evidence and callsite details to create a clear JSON report. I want to highlight potential untrusted external CALLs with possible ETH transfer and presence of SELFDESTRUCT opcodes, noting uncertainties about reachability and access control. I’ll structure the findings with severity, categories, and recommendations while carefully referencing specific bytecode locations and detector confidences.
codex
{"no_findings":false,"summary":"Bytecode analysis shows two computed CALL sites (potentially value‑transferring) and multiple SELFDESTRUCT opcodes; guard/access control evidence is absent, so reachability and exploitability remain uncertain.","findings":[{"severity":"medium","category":"reentrancy","title":"Computed external CALL(s) with possible ETH value transfer and unclear target control","exploit_scenario":"If the CALL target or value is derived from user‑controlled calldata or mutable storage, an attacker could trigger an external call (possibly with ETH) to an arbitrary address. This may enable reentrancy into other entrypoints or force funds out unexpectedly. The validation trace observed a constant target (this contract) in one run, so the risk depends on actual runtime inputs and may be lower if the target is fixed or access‑controlled.","recommendation":"Confirm the CALL target and value are restricted (owner/whitelist or fixed address). If any user input can affect them, add access control and/or a reentrancy guard, and apply checks‑effects‑interactions. Consider explicit return‑data checks for external calls if not already enforced.","evidence":"Detector findings report two CALL sites with computed target/value and possible ETH transfer: pcs 8122 and 8778; returndata checking is unknown. Validation trace noted constant_target=0xd47b0f5d0a24191fdd6878fcde3f03dd4735adc1 but not confirmed.","locations":["pc:0x1fba","pc:0x224a"]},{"severity":"medium","category":"other","title":"SELFDESTRUCT opcodes present with no detected guards","exploit_scenario":"If any public/external path can reach these SELFDESTRUCT instructions without strict authorization, an attacker could destroy the contract and potentially redirect remaining ETH to a chosen beneficiary, permanently disabling functionality. Reachability is not confirmed by the artifact, so this may be dead code, but the presence of 26 SELFDESTRUCT opcodes is high‑risk if exposed.","recommendation":"Verify reachability of SELFDESTRUCT paths. If intentional, ensure only trusted roles can trigger them and consider removing SELFDESTRUCT in production deployments. If unintentional, remove or gate the code path.","evidence":"Heuristics report selfdestruct_count=26; detector flags SELFDESTRUCT reachable with guards_detected=[], validation status unknown.","locations":["pc:0x28e2","pc:0x28e3","pc:0x28e4","pc:0x28e5","pc:0x28e6"]}]}
tokens used
87,326

{
    "codex": {
        "ran_at": "2026-01-11T04:36:39.346444+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 21030,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode analysis shows two computed CALL sites (potentially value\u2011transferring) and multiple SELFDESTRUCT opcodes; guard/access control evidence is absent, so reachability and exploitability remain uncertain.",
    "raw_final": {
        "summary": "Bytecode analysis shows two computed CALL sites (potentially value\u2011transferring) and multiple SELFDESTRUCT opcodes; guard/access control evidence is absent, so reachability and exploitability remain uncertain.",
        "findings": [
            {
                "title": "Computed external CALL(s) with possible ETH value transfer and unclear target control",
                "category": "reentrancy",
                "evidence": "Detector findings report two CALL sites with computed target/value and possible ETH transfer: pcs 8122 and 8778; returndata checking is unknown. Validation trace noted constant_target=0xd47b0f5d0a24191fdd6878fcde3f03dd4735adc1 but not confirmed.",
                "severity": "medium",
                "locations": [
                    "pc:0x1fba",
                    "pc:0x224a"
                ],
                "recommendation": "Confirm the CALL target and value are restricted (owner/whitelist or fixed address). If any user input can affect them, add access control and/or a reentrancy guard, and apply checks\u2011effects\u2011interactions. Consider explicit return\u2011data checks for external calls if not already enforced.",
                "exploit_scenario": "If the CALL target or value is derived from user\u2011controlled calldata or mutable storage, an attacker could trigger an external call (possibly with ETH) to an arbitrary address. This may enable reentrancy into other entrypoints or force funds out unexpectedly. The validation trace observed a constant target (this contract) in one run, so the risk depends on actual runtime inputs and may be lower if the target is fixed or access\u2011controlled."
            },
            {
                "title": "SELFDESTRUCT opcodes present with no detected guards",
                "category": "other",
                "evidence": "Heuristics report selfdestruct_count=26; detector flags SELFDESTRUCT reachable with guards_detected=[], validation status unknown.",
                "severity": "medium",
                "locations": [
                    "pc:0x28e2",
                    "pc:0x28e3",
                    "pc:0x28e4",
                    "pc:0x28e5",
                    "pc:0x28e6"
                ],
                "recommendation": "Verify reachability of SELFDESTRUCT paths. If intentional, ensure only trusted roles can trigger them and consider removing SELFDESTRUCT in production deployments. If unintentional, remove or gate the code path.",
                "exploit_scenario": "If any public/external path can reach these SELFDESTRUCT instructions without strict authorization, an attacker could destroy the contract and potentially redirect remaining ETH to a chosen beneficiary, permanently disabling functionality. Reachability is not confirmed by the artifact, so this may be dead code, but the presence of 26 SELFDESTRUCT opcodes is high\u2011risk if exposed."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0187
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x01e33667
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x0189
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x14bfd6d0
0000002d: EQ
0000002e: PUSH2 0x01b3
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x15f2f26c
00000038: EQ
00000039: PUSH2 0x01e7
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x1b9a91a4
00000043: EQ
00000044: PUSH2 0x021c
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x1e112751
0000004e: EQ
0000004f: PUSH2 0x0240
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x22061551
00000059: EQ
0000005a: PUSH2 0x0271
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x373b40d5
00000064: EQ
00000065: PUSH2 0x0298
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x408a184f
0000006f: EQ
00000070: PUSH2 0x02b5
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x4f79f7da
0000007a: EQ
0000007b: PUSH2 0x02e0
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x59ee1a45
00000085: EQ
00000086: PUSH2 0x0319
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x5a4ca740
00000090: EQ
00000091: PUSH2 0x0336
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x5f72cb7f
0000009b: EQ
0000009c: PUSH2 0x0361
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x6766804e
000000a6: EQ
000000a7: PUSH2 0x0376
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x7464dcc1
000000b1: EQ
000000b2: PUSH2 0x0397
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x78bb5164
000000bc: EQ
000000bd: PUSH2 0x03b4
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x7ebd1b30
000000c7: EQ
000000c8: PUSH2 0x03c9
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x90fd62bb
000000d2: EQ
000000d3: PUSH2 0x03e1
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x9705c8be
000000dd: EQ
000000de: PUSH2 0x03f6
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa13d27a6
000000e8: EQ
000000e9: PUSH2 0x040b
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xa629af0b
000000f3: EQ
000000f4: PUSH2 0x0420
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xa7a38f0b
000000fe: EQ
000000ff: PUSH2 0x0435
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xbc13d409
00000109: EQ
0000010a: PUSH2 0x02b5
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xc30796ab
00000114: EQ
00000115: PUSH2 0x04bb
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xcf80f763
0000011f: EQ
00000120: PUSH2 0x0506
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xd08110b4
0000012a: EQ
0000012b: PUSH2 0x0523
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xd1d93547
00000135: EQ
00000136: PUSH2 0x0540
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xd8d8fa1e
00000140: EQ
00000141: PUSH2 0x0573
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xe0401c7d
0000014b: EQ
0000014c: PUSH2 0x0588
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0xe25c8c71
00000156: EQ
00000157: PUSH2 0x059d
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0xf08c714f
00000161: EQ
00000162: PUSH2 0x05c3
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0xf0e4a348
0000016c: EQ
0000016d: PUSH2 0x05e7
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0xf1279c8c
00000177: EQ
00000178: PUSH2 0x05fc
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0xf8bfef72
00000182: EQ
00000183: PUSH2 0x0573
00000186: JUMPI
00000187: JUMPDEST
00000188: STOP
00000189: JUMPDEST
0000018a: CALLVALUE
0000018b: DUP1
0000018c: ISZERO
0000018d: PUSH2 0x0195
00000190: JUMPI
00000191: PUSH1 0x00
00000193: DUP1
00000194: REVERT
00000195: JUMPDEST
00000196: POP
00000197: PUSH2 0x0187
0000019a: PUSH1 0x01
0000019c: PUSH1 0xa0
0000019e: PUSH1 0x02
000001a0: EXP
000001a1: SUB
000001a2: PUSH1 0x04
000001a4: CALLDATALOAD
000001a5: DUP2
000001a6: AND
000001a7: SWAP1
000001a8: PUSH1 0x24
000001aa: CALLDATALOAD
000001ab: AND
000001ac: PUSH1 0x44
000001ae: CALLDATALOAD
000001af: PUSH2 0x0611
000001b2: JUMP
000001b3: JUMPDEST
000001b4: CALLVALUE
000001b5: DUP1
000001b6: ISZERO
000001b7: PUSH2 0x01bf
000001ba: JUMPI
000001bb: PUSH1 0x00
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: PUSH2 0x01cb
000001c4: PUSH1 0x04
000001c6: CALLDATALOAD
000001c7: PUSH2 0x063b
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH1 0x40
000001ce: DUP1
000001cf: MLOAD
000001d0: PUSH1 0x01
000001d2: PUSH1 0xa0
000001d4: PUSH1 0x02
000001d6: EXP
000001d7: SUB
000001d8: SWAP1
000001d9: SWAP3
000001da: AND
000001db: DUP3
000001dc: MSTORE
000001dd: MLOAD
000001de: SWAP1
000001df: DUP2
000001e0: SWAP1
000001e1: SUB
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: SWAP1
000001e6: RETURN
000001e7: JUMPDEST
000001e8: CALLVALUE
000001e9: DUP1
000001ea: ISZERO
000001eb: PUSH2 0x01f3
000001ee: JUMPI
000001ef: PUSH1 0x00
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: POP
000001f5: PUSH2 0x0208
000001f8: PUSH1 0x01
000001fa: PUSH1 0xa0
000001fc: PUSH1 0x02
000001fe: EXP
000001ff: SUB
00000200: PUSH1 0x04
00000202: CALLDATALOAD
00000203: AND
00000204: PUSH2 0x0663
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: DUP1
0000020c: MLOAD
0000020d: SWAP2
0000020e: ISZERO
0000020f: ISZERO
00000210: DUP3
00000211: MSTORE
00000212: MLOAD
00000213: SWAP1
00000214: DUP2
00000215: SWAP1
00000216: SUB
00000217: PUSH1 0x20
00000219: ADD
0000021a: SWAP1
0000021b: RETURN
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x0187
0000022d: PUSH1 0x01
0000022f: PUSH1 0xa0
00000231: PUSH1 0x02
00000233: EXP
00000234: SUB
00000235: PUSH1 0x04
00000237: CALLDATALOAD
00000238: AND
00000239: PUSH1 0x24
0000023b: CALLDATALOAD
0000023c: PUSH2 0x0680
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x0187
00000251: PUSH1 0x04
00000253: DUP1
00000254: CALLDATALOAD
00000255: PUSH1 0x01
00000257: PUSH1 0xa0
00000259: PUSH1 0x02
0000025b: EXP
0000025c: SUB
0000025d: AND
0000025e: SWAP1
0000025f: PUSH1 0x24
00000261: DUP1
00000262: CALLDATALOAD
00000263: SWAP2
00000264: PUSH1 0x44
00000266: CALLDATALOAD
00000267: SWAP2
00000268: DUP3
00000269: ADD
0000026a: SWAP2
0000026b: ADD
0000026c: CALLDATALOAD
0000026d: PUSH2 0x06a8
00000270: JUMP
00000271: JUMPDEST
00000272: CALLVALUE
00000273: DUP1
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH2 0x0286
00000282: PUSH2 0x06f2
00000285: JUMP
00000286: JUMPDEST
00000287: PUSH1 0x40
00000289: DUP1
0000028a: MLOAD
0000028b: SWAP2
0000028c: DUP3
0000028d: MSTORE
0000028e: MLOAD
0000028f: SWAP1
00000290: DUP2
00000291: SWAP1
00000292: SUB
00000293: PUSH1 0x20
00000295: ADD
00000296: SWAP1
00000297: RETURN
00000298: JUMPDEST
00000299: CALLVALUE
0000029a: DUP1
0000029b: ISZERO
0000029c: PUSH2 0x02a4
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: POP
000002a6: PUSH2 0x0187
000002a9: PUSH1 0x04
000002ab: CALLDATALOAD
000002ac: PUSH1 0x24
000002ae: CALLDATALOAD
000002af: ISZERO
000002b0: ISZERO
000002b1: PUSH2 0x06f8
000002b4: JUMP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH2 0x02ca
000002c6: PUSH2 0x07fc
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x40
000002cd: DUP1
000002ce: MLOAD
000002cf: PUSH1 0xff
000002d1: SWAP1
000002d2: SWAP3
000002d3: AND
000002d4: DUP3
000002d5: MSTORE
000002d6: MLOAD
000002d7: SWAP1
000002d8: DUP2
000002d9: SWAP1
000002da: SUB
000002db: PUSH1 0x20
000002dd: ADD
000002de: SWAP1
000002df: RETURN
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: POP
000002ee: PUSH2 0x0187
000002f1: PUSH1 0x01
000002f3: PUSH1 0xa0
000002f5: PUSH1 0x02
000002f7: EXP
000002f8: SUB
000002f9: PUSH1 0x04
000002fb: DUP1
000002fc: CALLDATALOAD
000002fd: DUP3
000002fe: AND
000002ff: SWAP2
00000300: PUSH1 0x24
00000302: DUP1
00000303: CALLDATALOAD
00000304: SWAP1
00000305: SWAP2
00000306: AND
00000307: SWAP2
00000308: PUSH1 0x44
0000030a: CALLDATALOAD
0000030b: SWAP2
0000030c: PUSH1 0x64
0000030e: CALLDATALOAD
0000030f: SWAP1
00000310: DUP2
00000311: ADD
00000312: SWAP2
00000313: ADD
00000314: CALLDATALOAD
00000315: PUSH2 0x0801
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x0187
0000032a: PUSH1 0x04
0000032c: CALLDATALOAD
0000032d: PUSH1 0x24
0000032f: CALLDATALOAD
00000330: ISZERO
00000331: ISZERO
00000332: PUSH2 0x084d
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x0187
00000347: PUSH1 0x01
00000349: PUSH1 0xa0
0000034b: PUSH1 0x02
0000034d: EXP
0000034e: SUB
0000034f: PUSH1 0x04
00000351: CALLDATALOAD
00000352: AND
00000353: PUSH1 0x24
00000355: CALLDATALOAD
00000356: ISZERO
00000357: ISZERO
00000358: PUSH1 0x44
0000035a: CALLDATALOAD
0000035b: ISZERO
0000035c: ISZERO
0000035d: PUSH2 0x09cb
00000360: JUMP
00000361: JUMPDEST
00000362: CALLVALUE
00000363: DUP1
00000364: ISZERO
00000365: PUSH2 0x036d
00000368: JUMPI
00000369: PUSH1 0x00
0000036b: DUP1
0000036c: REVERT
0000036d: JUMPDEST
0000036e: POP
0000036f: PUSH2 0x02ca
00000372: PUSH2 0x0bb6
00000375: JUMP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH2 0x0187
00000387: PUSH1 0x01
00000389: PUSH1 0x80
0000038b: PUSH1 0x02
0000038d: EXP
0000038e: SUB
0000038f: PUSH1 0x04
00000391: CALLDATALOAD
00000392: AND
00000393: PUSH2 0x0bbb
00000396: JUMP
00000397: JUMPDEST
00000398: CALLVALUE
00000399: DUP1
0000039a: ISZERO
0000039b: PUSH2 0x03a3
0000039e: JUMPI
0000039f: PUSH1 0x00
000003a1: DUP1
000003a2: REVERT
000003a3: JUMPDEST
000003a4: POP
000003a5: PUSH2 0x0187
000003a8: PUSH1 0x04
000003aa: CALLDATALOAD
000003ab: PUSH1 0x24
000003ad: CALLDATALOAD
000003ae: ISZERO
000003af: ISZERO
000003b0: PUSH2 0x0dce
000003b3: JUMP
000003b4: JUMPDEST
000003b5: CALLVALUE
000003b6: DUP1
000003b7: ISZERO
000003b8: PUSH2 0x03c0
000003bb: JUMPI
000003bc: PUSH1 0x00
000003be: DUP1
000003bf: REVERT
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH2 0x0286
000003c5: PUSH2 0x0f45
000003c8: JUMP
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x01cb
000003da: PUSH1 0x04
000003dc: CALLDATALOAD
000003dd: PUSH2 0x0f4c
000003e0: JUMP
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x02ca
000003f2: PUSH2 0x0f5a
000003f5: JUMP
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x02ca
00000407: PUSH2 0x0f5f
0000040a: JUMP
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: DUP1
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x02ca
0000041c: PUSH2 0x0f64
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x02ca
00000431: PUSH2 0x0f69
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x044d
00000446: PUSH1 0x04
00000448: CALLDATALOAD
00000449: PUSH2 0x0f6e
0000044c: JUMP
0000044d: JUMPDEST
0000044e: PUSH1 0x40
00000450: DUP1
00000451: MLOAD
00000452: PUSH1 0x01
00000454: PUSH1 0xa0
00000456: PUSH1 0x02
00000458: EXP
00000459: SUB
0000045a: SWAP11
0000045b: DUP12
0000045c: AND
0000045d: DUP2
0000045e: MSTORE
0000045f: SWAP9
00000460: SWAP1
00000461: SWAP10
00000462: AND
00000463: PUSH1 0x20
00000465: DUP10
00000466: ADD
00000467: MSTORE
00000468: PUSH1 0xff
0000046a: SWAP7
0000046b: DUP8
0000046c: AND
0000046d: DUP9
0000046e: DUP11
0000046f: ADD
00000470: MSTORE
00000471: SWAP5
00000472: SWAP1
00000473: SWAP6
00000474: AND
00000475: PUSH1 0x60
00000477: DUP8
00000478: ADD
00000479: MSTORE
0000047a: PUSH1 0x01
0000047c: PUSH1 0x80
0000047e: PUSH1 0x02
00000480: EXP
00000481: SUB
00000482: SWAP1
00000483: SWAP3
00000484: AND
00000485: PUSH1 0x80
00000487: DUP7
00000488: ADD
00000489: MSTORE
0000048a: PUSH6 0xffffffffffff
00000491: SWAP1
00000492: DUP2
00000493: AND
00000494: PUSH1 0xa0
00000496: DUP7
00000497: ADD
00000498: MSTORE
00000499: AND
0000049a: PUSH1 0xc0
0000049c: DUP5
0000049d: ADD
0000049e: MSTORE
0000049f: SWAP1
000004a0: ISZERO
000004a1: ISZERO
000004a2: PUSH1 0xe0
000004a4: DUP4
000004a5: ADD
000004a6: MSTORE
000004a7: ISZERO
000004a8: ISZERO
000004a9: PUSH2 0x0100
000004ac: DUP3
000004ad: ADD
000004ae: MSTORE
000004af: SWAP1
000004b0: MLOAD
000004b1: SWAP1
000004b2: DUP2
000004b3: SWAP1
000004b4: SUB
000004b5: PUSH2 0x0120
000004b8: ADD
000004b9: SWAP1
000004ba: RETURN
000004bb: JUMPDEST
000004bc: CALLVALUE
000004bd: DUP1
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: POP
000004c9: PUSH2 0x04dc
000004cc: PUSH1 0x01
000004ce: PUSH1 0xa0
000004d0: PUSH1 0x02
000004d2: EXP
000004d3: SUB
000004d4: PUSH1 0x04
000004d6: CALLDATALOAD
000004d7: AND
000004d8: PUSH2 0x0ffd
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x40
000004df: DUP1
000004e0: MLOAD
000004e1: PUSH1 0x01
000004e3: PUSH1 0x80
000004e5: PUSH1 0x02
000004e7: EXP
000004e8: SUB
000004e9: SWAP1
000004ea: SWAP5
000004eb: AND
000004ec: DUP5
000004ed: MSTORE
000004ee: SWAP2
000004ef: ISZERO
000004f0: ISZERO
000004f1: PUSH1 0x20
000004f3: DUP5
000004f4: ADD
000004f5: MSTORE
000004f6: ISZERO
000004f7: ISZERO
000004f8: DUP3
000004f9: DUP3
000004fa: ADD
000004fb: MSTORE
000004fc: MLOAD
000004fd: SWAP1
000004fe: DUP2
000004ff: SWAP1
00000500: SUB
00000501: PUSH1 0x60
00000503: ADD
00000504: SWAP1
00000505: RETURN
00000506: JUMPDEST
00000507: CALLVALUE
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0512
0000050d: JUMPI
0000050e: PUSH1 0x00
00000510: DUP1
00000511: REVERT
00000512: JUMPDEST
00000513: POP
00000514: PUSH2 0x0187
00000517: PUSH1 0x04
00000519: CALLDATALOAD
0000051a: PUSH1 0x24
0000051c: CALLDATALOAD
0000051d: ISZERO
0000051e: ISZERO
0000051f: PUSH2 0x103c
00000522: JUMP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x0187
00000534: PUSH1 0x04
00000536: CALLDATALOAD
00000537: PUSH1 0x24
00000539: CALLDATALOAD
0000053a: ISZERO
0000053b: ISZERO
0000053c: PUSH2 0x11b4
0000053f: JUMP
00000540: JUMPDEST
00000541: CALLVALUE
00000542: DUP1
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: PUSH2 0x0187
00000551: PUSH1 0x01
00000553: PUSH1 0xa0
00000555: PUSH1 0x02
00000557: EXP
00000558: SUB
00000559: PUSH1 0x04
0000055b: CALLDATALOAD
0000055c: DUP2
0000055d: AND
0000055e: SWAP1
0000055f: PUSH1 0x24
00000561: CALLDATALOAD
00000562: AND
00000563: PUSH1 0x01
00000565: PUSH1 0x80
00000567: PUSH1 0x02
00000569: EXP
0000056a: SUB
0000056b: PUSH1 0x44
0000056d: CALLDATALOAD
0000056e: AND
0000056f: PUSH2 0x139e
00000572: JUMP
00000573: JUMPDEST
00000574: CALLVALUE
00000575: DUP1
00000576: ISZERO
00000577: PUSH2 0x057f
0000057a: JUMPI
0000057b: PUSH1 0x00
0000057d: DUP1
0000057e: REVERT
0000057f: JUMPDEST
00000580: POP
00000581: PUSH2 0x02ca
00000584: PUSH2 0x16a4
00000587: JUMP
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: DUP1
0000058b: ISZERO
0000058c: PUSH2 0x0594
0000058f: JUMPI
00000590: PUSH1 0x00
00000592: DUP1
00000593: REVERT
00000594: JUMPDEST
00000595: POP
00000596: PUSH2 0x0286
00000599: PUSH2 0x16a9
0000059c: JUMP
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: DUP1
000005a0: ISZERO
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: PUSH2 0x0187
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x02
000005b4: EXP
000005b5: SUB
000005b6: PUSH1 0x04
000005b8: CALLDATALOAD
000005b9: AND
000005ba: PUSH1 0x24
000005bc: CALLDATALOAD
000005bd: ISZERO
000005be: ISZERO
000005bf: PUSH2 0x16af
000005c2: JUMP
000005c3: JUMPDEST
000005c4: CALLVALUE
000005c5: DUP1
000005c6: ISZERO
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: POP
000005d1: PUSH2 0x0187
000005d4: PUSH1 0x01
000005d6: PUSH1 0xa0
000005d8: PUSH1 0x02
000005da: EXP
000005db: SUB
000005dc: PUSH1 0x04
000005de: CALLDATALOAD
000005df: AND
000005e0: PUSH1 0x24
000005e2: CALLDATALOAD
000005e3: PUSH2 0x1b07
000005e6: JUMP
000005e7: JUMPDEST
000005e8: CALLVALUE
000005e9: DUP1
000005ea: ISZERO
000005eb: PUSH2 0x05f3
000005ee: JUMPI
000005ef: PUSH1 0x00
000005f1: DUP1
000005f2: REVERT
000005f3: JUMPDEST
000005f4: POP
000005f5: PUSH2 0x02ca
000005f8: PUSH2 0x1cf7
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x0286
0000060d: PUSH2 0x1cfc
00000610: JUMP
00000611: JUMPDEST
00000612: CALLER
00000613: PUSH1 0x00
00000615: SWAP1
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x20
0000061a: DUP2
0000061b: SWAP1
0000061c: MSTORE
0000061d: PUSH1 0x40
0000061f: DUP2
00000620: KECCAK256
00000621: SLOAD
00000622: GT
00000623: PUSH2 0x062b
00000626: JUMPI
00000627: PUSH1 0x00
00000629: DUP1
0000062a: REVERT
0000062b: JUMPDEST
0000062c: PUSH2 0x0636
0000062f: DUP4
00000630: DUP4
00000631: DUP4
00000632: PUSH2 0x1d02
00000635: JUMP
00000636: JUMPDEST
00000637: POP
00000638: POP
00000639: POP
0000063a: JUMP
0000063b: JUMPDEST
0000063c: PUSH1 0x01
0000063e: DUP1
0000063f: SLOAD
00000640: DUP3
00000641: SWAP1
00000642: DUP2
00000643: LT
00000644: PUSH2 0x0649
00000647: JUMPI
00000648: INVALID
00000649: JUMPDEST
0000064a: PUSH1 0x00
0000064c: SWAP2
0000064d: DUP3
0000064e: MSTORE
0000064f: PUSH1 0x20
00000651: SWAP1
00000652: SWAP2
00000653: KECCAK256
00000654: ADD
00000655: SLOAD
00000656: PUSH1 0x01
00000658: PUSH1 0xa0
0000065a: PUSH1 0x02
0000065c: EXP
0000065d: SUB
0000065e: AND
0000065f: SWAP1
00000660: POP
00000661: DUP2
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x01
00000666: PUSH1 0xa0
00000668: PUSH1 0x02
0000066a: EXP
0000066b: SUB
0000066c: AND
0000066d: PUSH1 0x00
0000066f: SWAP1
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x04
00000674: PUSH1 0x20
00000676: MSTORE
00000677: PUSH1 0x40
00000679: SWAP1
0000067a: KECCAK256
0000067b: SLOAD
0000067c: ISZERO
0000067d: ISZERO
0000067e: SWAP1
0000067f: JUMP
00000680: JUMPDEST
00000681: CALLER
00000682: PUSH1 0x00
00000684: SWAP1
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x20
00000689: DUP2
0000068a: SWAP1
0000068b: MSTORE
0000068c: PUSH1 0x40
0000068e: DUP2
0000068f: KECCAK256
00000690: SLOAD
00000691: GT
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: PUSH2 0x06a4
0000069e: DUP3
0000069f: DUP3
000006a0: PUSH2 0x1fe1
000006a3: JUMP
000006a4: JUMPDEST
000006a5: POP
000006a6: POP
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH2 0x06e2
000006ac: DUP5
000006ad: DUP4
000006ae: DUP4
000006af: DUP1
000006b0: DUP1
000006b1: PUSH1 0x1f
000006b3: ADD
000006b4: PUSH1 0x20
000006b6: DUP1
000006b7: SWAP2
000006b8: DIV
000006b9: MUL
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: SWAP1
000006c1: DUP2
000006c2: ADD
000006c3: PUSH1 0x40
000006c5: MSTORE
000006c6: DUP1
000006c7: SWAP4
000006c8: SWAP3
000006c9: SWAP2
000006ca: SWAP1
000006cb: DUP2
000006cc: DUP2
000006cd: MSTORE
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: DUP4
000006d2: DUP4
000006d3: DUP1
000006d4: DUP3
000006d5: DUP5
000006d6: CALLDATACOPY
000006d7: POP
000006d8: PUSH2 0x2260
000006db: SWAP5
000006dc: POP
000006dd: POP
000006de: POP
000006df: POP
000006e0: POP
000006e1: JUMP
000006e2: JUMPDEST
000006e3: PUSH2 0x06ec
000006e6: DUP5
000006e7: DUP5
000006e8: PUSH2 0x1fe1
000006eb: JUMP
000006ec: JUMPDEST
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: POP
000006f1: JUMP
000006f2: JUMPDEST
000006f3: PUSH1 0x0b
000006f5: SLOAD
000006f6: DUP2
000006f7: JUMP
000006f8: JUMPDEST
000006f9: CALLER
000006fa: PUSH1 0x00
000006fc: SWAP1
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x20
00000701: DUP2
00000702: SWAP1
00000703: MSTORE
00000704: PUSH1 0x40
00000706: DUP2
00000707: KECCAK256
00000708: SLOAD
00000709: DUP2
0000070a: LT
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: PUSH1 0x0a
00000716: DUP1
00000717: SLOAD
00000718: DUP5
00000719: SWAP1
0000071a: DUP2
0000071b: LT
0000071c: PUSH2 0x0721
0000071f: JUMPI
00000720: INVALID
00000721: JUMPDEST
00000722: PUSH1 0x00
00000724: SWAP2
00000725: DUP3
00000726: MSTORE
00000727: PUSH1 0x20
00000729: SWAP1
0000072a: SWAP2
0000072b: KECCAK256
0000072c: PUSH1 0x01
0000072e: PUSH1 0x03
00000730: SWAP1
00000731: SWAP3
00000732: MUL
00000733: ADD
00000734: SWAP1
00000735: DUP2
00000736: ADD
00000737: SLOAD
00000738: SWAP1
00000739: SWAP2
0000073a: POP
0000073b: PUSH1 0xa0
0000073d: PUSH1 0x02
0000073f: EXP
00000740: SWAP1
00000741: DIV
00000742: PUSH1 0xff
00000744: AND
00000745: PUSH1 0x06
00000747: EQ
00000748: PUSH2 0x0750
0000074b: JUMPI
0000074c: PUSH1 0x00
0000074e: DUP1
0000074f: REVERT
00000750: JUMPDEST
00000751: PUSH1 0x01
00000753: DUP2
00000754: ADD
00000755: SLOAD
00000756: PUSH1 0xa8
00000758: PUSH1 0x02
0000075a: EXP
0000075b: SWAP1
0000075c: DIV
0000075d: PUSH1 0xff
0000075f: AND
00000760: ISZERO
00000761: PUSH2 0x0769
00000764: JUMPI
00000765: PUSH1 0x00
00000767: DUP1
00000768: REVERT
00000769: JUMPDEST
0000076a: DUP2
0000076b: ISZERO
0000076c: PUSH2 0x078c
0000076f: JUMPI
00000770: PUSH1 0x01
00000772: DUP2
00000773: ADD
00000774: DUP1
00000775: SLOAD
00000776: PUSH1 0xa8
00000778: PUSH1 0x02
0000077a: EXP
0000077b: PUSH1 0xff
0000077d: MUL
0000077e: NOT
0000077f: AND
00000780: PUSH1 0xa9
00000782: PUSH1 0x02
00000784: EXP
00000785: OR
00000786: SWAP1
00000787: SSTORE
00000788: PUSH2 0x0636
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH1 0x02
0000078f: DUP2
00000790: ADD
00000791: SLOAD
00000792: PUSH1 0x00
00000794: PUSH1 0xb0
00000796: PUSH1 0x02
00000798: EXP
00000799: SWAP1
0000079a: SWAP2
0000079b: DIV
0000079c: PUSH6 0xffffffffffff
000007a3: AND
000007a4: GT
000007a5: DUP1
000007a6: ISZERO
000007a7: PUSH2 0x07c3
000007aa: JUMPI
000007ab: POP
000007ac: PUSH1 0x02
000007ae: DUP2
000007af: ADD
000007b0: SLOAD
000007b1: TIMESTAMP
000007b2: PUSH1 0xb0
000007b4: PUSH1 0x02
000007b6: EXP
000007b7: SWAP1
000007b8: SWAP2
000007b9: DIV
000007ba: PUSH6 0xffffffffffff
000007c1: AND
000007c2: LT
000007c3: JUMPDEST
000007c4: ISZERO
000007c5: ISZERO
000007c6: PUSH2 0x07ce
000007c9: JUMPI
000007ca: PUSH1 0x00
000007cc: DUP1
000007cd: REVERT
000007ce: JUMPDEST
000007cf: PUSH1 0x02
000007d1: DUP2
000007d2: ADD
000007d3: SLOAD
000007d4: PUSH1 0x01
000007d6: PUSH1 0x80
000007d8: PUSH1 0x02
000007da: EXP
000007db: SUB
000007dc: AND
000007dd: PUSH1 0x0b
000007df: SSTORE
000007e0: PUSH1 0x01
000007e2: DUP2
000007e3: ADD
000007e4: DUP1
000007e5: SLOAD
000007e6: PUSH1 0xa8
000007e8: PUSH1 0x02
000007ea: EXP
000007eb: PUSH1 0xff
000007ed: MUL
000007ee: NOT
000007ef: AND
000007f0: PUSH1 0xa8
000007f2: PUSH1 0x02
000007f4: EXP
000007f5: OR
000007f6: SWAP1
000007f7: SSTORE
000007f8: POP
000007f9: POP
000007fa: POP
000007fb: JUMP
000007fc: JUMPDEST
000007fd: PUSH1 0x01
000007ff: DUP2
00000800: JUMP
00000801: JUMPDEST
00000802: PUSH2 0x083b
00000805: DUP6
00000806: DUP4
00000807: DUP4
00000808: DUP1
00000809: DUP1
0000080a: PUSH1 0x1f
0000080c: ADD
0000080d: PUSH1 0x20
0000080f: DUP1
00000810: SWAP2
00000811: DIV
00000812: MUL
00000813: PUSH1 0x20
00000815: ADD
00000816: PUSH1 0x40
00000818: MLOAD
00000819: SWAP1
0000081a: DUP2
0000081b: ADD
0000081c: PUSH1 0x40
0000081e: MSTORE
0000081f: DUP1
00000820: SWAP4
00000821: SWAP3
00000822: SWAP2
00000823: SWAP1
00000824: DUP2
00000825: DUP2
00000826: MSTORE
00000827: PUSH1 0x20
00000829: ADD
0000082a: DUP4
0000082b: DUP4
0000082c: DUP1
0000082d: DUP3
0000082e: DUP5
0000082f: CALLDATACOPY
00000830: POP
00000831: PUSH2 0x2260
00000834: SWAP5
00000835: POP
00000836: POP
00000837: POP
00000838: POP
00000839: POP
0000083a: JUMP
0000083b: JUMPDEST
0000083c: PUSH2 0x0846
0000083f: DUP6
00000840: DUP6
00000841: DUP6
00000842: PUSH2 0x1d02
00000845: JUMP
00000846: JUMPDEST
00000847: POP
00000848: POP
00000849: POP
0000084a: POP
0000084b: POP
0000084c: JUMP
0000084d: JUMPDEST
0000084e: CALLER
0000084f: PUSH1 0x00
00000851: SWAP1
00000852: DUP2
00000853: MSTORE
00000854: PUSH1 0x20
00000856: DUP2
00000857: SWAP1
00000858: MSTORE
00000859: PUSH1 0x40
0000085b: DUP2
0000085c: KECCAK256
0000085d: SLOAD
0000085e: DUP2
0000085f: LT
00000860: PUSH2 0x0868
00000863: JUMPI
00000864: PUSH1 0x00
00000866: DUP1
00000867: REVERT
00000868: JUMPDEST
00000869: PUSH1 0x0a
0000086b: DUP1
0000086c: SLOAD
0000086d: DUP5
0000086e: SWAP1
0000086f: DUP2
00000870: LT
00000871: PUSH2 0x0876
00000874: JUMPI
00000875: INVALID
00000876: JUMPDEST
00000877: PUSH1 0x00
00000879: SWAP2
0000087a: DUP3
0000087b: MSTORE
0000087c: PUSH1 0x20
0000087e: SWAP1
0000087f: SWAP2
00000880: KECCAK256
00000881: PUSH1 0x01
00000883: PUSH1 0x03
00000885: SWAP1
00000886: SWAP3
00000887: MUL
00000888: ADD
00000889: SWAP1
0000088a: DUP2
0000088b: ADD
0000088c: SLOAD
0000088d: SWAP1
0000088e: SWAP2
0000088f: POP
00000890: PUSH1 0xa0
00000892: PUSH1 0x02
00000894: EXP
00000895: SWAP1
00000896: DIV
00000897: PUSH1 0xff
00000899: AND
0000089a: PUSH1 0x07
0000089c: EQ
0000089d: PUSH2 0x08a5
000008a0: JUMPI
000008a1: PUSH1 0x00
000008a3: DUP1
000008a4: REVERT
000008a5: JUMPDEST
000008a6: PUSH1 0x01
000008a8: DUP2
000008a9: ADD
000008aa: SLOAD
000008ab: PUSH1 0xa8
000008ad: PUSH1 0x02
000008af: EXP
000008b0: SWAP1
000008b1: DIV
000008b2: PUSH1 0xff
000008b4: AND
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: DUP2
000008c0: ISZERO
000008c1: PUSH2 0x08e1
000008c4: JUMPI
000008c5: PUSH1 0x01
000008c7: DUP2
000008c8: ADD
000008c9: DUP1
000008ca: SLOAD
000008cb: PUSH1 0xa8
000008cd: PUSH1 0x02
000008cf: EXP
000008d0: PUSH1 0xff
000008d2: MUL
000008d3: NOT
000008d4: AND
000008d5: PUSH1 0xa9
000008d7: PUSH1 0x02
000008d9: EXP
000008da: OR
000008db: SWAP1
000008dc: SSTORE
000008dd: PUSH2 0x0636
000008e0: JUMP
000008e1: JUMPDEST
000008e2: PUSH1 0x02
000008e4: DUP2
000008e5: ADD
000008e6: SLOAD
000008e7: PUSH1 0x00
000008e9: PUSH1 0xb0
000008eb: PUSH1 0x02
000008ed: EXP
000008ee: SWAP1
000008ef: SWAP2
000008f0: DIV
000008f1: PUSH6 0xffffffffffff
000008f8: AND
000008f9: GT
000008fa: DUP1
000008fb: ISZERO
000008fc: PUSH2 0x0918
000008ff: JUMPI
00000900: POP
00000901: PUSH1 0x02
00000903: DUP2
00000904: ADD
00000905: SLOAD
00000906: TIMESTAMP
00000907: PUSH1 0xb0
00000909: PUSH1 0x02
0000090b: EXP
0000090c: SWAP1
0000090d: SWAP2
0000090e: DIV
0000090f: PUSH6 0xffffffffffff
00000916: AND
00000917: LT
00000918: JUMPDEST
00000919: ISZERO
0000091a: ISZERO
0000091b: PUSH2 0x0923
0000091e: JUMPI
0000091f: PUSH1 0x00
00000921: DUP1
00000922: REVERT
00000923: JUMPDEST
00000924: PUSH1 0x02
00000926: DUP2
00000927: ADD
00000928: SLOAD
00000929: PUSH1 0x00
0000092b: PUSH1 0x01
0000092d: PUSH1 0x80
0000092f: PUSH1 0x02
00000931: EXP
00000932: SUB
00000933: SWAP1
00000934: SWAP2
00000935: AND
00000936: GT
00000937: ISZERO
00000938: PUSH2 0x097e
0000093b: JUMPI
0000093c: PUSH1 0x02
0000093e: DUP2
0000093f: ADD
00000940: SLOAD
00000941: DUP2
00000942: SLOAD
00000943: PUSH1 0x01
00000945: PUSH1 0xa0
00000947: PUSH1 0x02
00000949: EXP
0000094a: SUB
0000094b: SWAP1
0000094c: DUP2
0000094d: AND
0000094e: PUSH1 0x00
00000950: SWAP1
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x06
00000955: PUSH1 0x20
00000957: SWAP1
00000958: DUP2
00000959: MSTORE
0000095a: PUSH1 0x40
0000095c: DUP1
0000095d: DUP4
0000095e: KECCAK256
0000095f: PUSH1 0x01
00000961: DUP8
00000962: ADD
00000963: SLOAD
00000964: SWAP1
00000965: SWAP5
00000966: AND
00000967: DUP4
00000968: MSTORE
00000969: SWAP3
0000096a: SWAP1
0000096b: MSTORE
0000096c: KECCAK256
0000096d: PUSH1 0x01
0000096f: PUSH1 0x80
00000971: PUSH1 0x02
00000973: EXP
00000974: SUB
00000975: SWAP1
00000976: SWAP2
00000977: AND
00000978: SWAP1
00000979: SSTORE
0000097a: PUSH2 0x09ae
0000097d: JUMP
0000097e: JUMPDEST
0000097f: DUP1
00000980: SLOAD
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: PUSH1 0x02
00000987: EXP
00000988: SUB
00000989: SWAP1
0000098a: DUP2
0000098b: AND
0000098c: PUSH1 0x00
0000098e: SWAP1
0000098f: DUP2
00000990: MSTORE
00000991: PUSH1 0x06
00000993: PUSH1 0x20
00000995: SWAP1
00000996: DUP2
00000997: MSTORE
00000998: PUSH1 0x40
0000099a: DUP1
0000099b: DUP4
0000099c: KECCAK256
0000099d: PUSH1 0x01
0000099f: DUP7
000009a0: ADD
000009a1: SLOAD
000009a2: SWAP1
000009a3: SWAP5
000009a4: AND
000009a5: DUP4
000009a6: MSTORE
000009a7: SWAP3
000009a8: SWAP1
000009a9: MSTORE
000009aa: SWAP1
000009ab: DUP2
000009ac: KECCAK256
000009ad: SSTORE
000009ae: JUMPDEST
000009af: PUSH1 0x01
000009b1: DUP2
000009b2: ADD
000009b3: DUP1
000009b4: SLOAD
000009b5: PUSH1 0xa8
000009b7: PUSH1 0x02
000009b9: EXP
000009ba: PUSH1 0xff
000009bc: MUL
000009bd: NOT
000009be: AND
000009bf: PUSH1 0xa8
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: OR
000009c5: SWAP1
000009c6: SSTORE
000009c7: POP
000009c8: POP
000009c9: POP
000009ca: JUMP
000009cb: JUMPDEST
000009cc: CALLER
000009cd: PUSH1 0x00
000009cf: SWAP1
000009d0: DUP2
000009d1: MSTORE
000009d2: PUSH1 0x20
000009d4: DUP2
000009d5: SWAP1
000009d6: MSTORE
000009d7: PUSH1 0x40
000009d9: DUP2
000009da: KECCAK256
000009db: SLOAD
000009dc: DUP2
000009dd: LT
000009de: PUSH2 0x09e6
000009e1: JUMPI
000009e2: PUSH1 0x00
000009e4: DUP1
000009e5: REVERT
000009e6: JUMPDEST
000009e7: POP
000009e8: PUSH1 0x0b
000009ea: SLOAD
000009eb: PUSH1 0x40
000009ed: DUP1
000009ee: MLOAD
000009ef: PUSH2 0x0120
000009f2: DUP2
000009f3: ADD
000009f4: DUP3
000009f5: MSTORE
000009f6: PUSH1 0x01
000009f8: PUSH1 0xa0
000009fa: PUSH1 0x02
000009fc: EXP
000009fd: SUB
000009fe: SWAP6
000009ff: DUP7
00000a00: AND
00000a01: DUP2
00000a02: MSTORE
00000a03: CALLER
00000a04: PUSH1 0x20
00000a06: DUP3
00000a07: ADD
00000a08: SWAP1
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x05
00000a0d: SWAP3
00000a0e: DUP3
00000a0f: ADD
00000a10: SWAP3
00000a11: DUP4
00000a12: MSTORE
00000a13: PUSH1 0x00
00000a15: PUSH1 0x60
00000a17: DUP4
00000a18: ADD
00000a19: DUP2
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x80
00000a1e: DUP5
00000a1f: ADD
00000a20: DUP3
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH6 0xffffffffffff
00000a2a: TIMESTAMP
00000a2b: DUP2
00000a2c: DUP2
00000a2d: AND
00000a2e: PUSH1 0xa0
00000a30: DUP9
00000a31: ADD
00000a32: SWAP1
00000a33: DUP2
00000a34: MSTORE
00000a35: SWAP9
00000a36: ADD
00000a37: DUP2
00000a38: AND
00000a39: PUSH1 0xc0
00000a3b: DUP8
00000a3c: ADD
00000a3d: SWAP1
00000a3e: DUP2
00000a3f: MSTORE
00000a40: SWAP10
00000a41: ISZERO
00000a42: ISZERO
00000a43: PUSH1 0xe0
00000a45: DUP8
00000a46: ADD
00000a47: SWAP1
00000a48: DUP2
00000a49: MSTORE
00000a4a: SWAP9
00000a4b: ISZERO
00000a4c: ISZERO
00000a4d: PUSH2 0x0100
00000a50: DUP8
00000a51: ADD
00000a52: SWAP1
00000a53: DUP2
00000a54: MSTORE
00000a55: PUSH1 0x0a
00000a57: DUP1
00000a58: SLOAD
00000a59: PUSH1 0x01
00000a5b: DUP2
00000a5c: ADD
00000a5d: DUP3
00000a5e: SSTORE
00000a5f: SWAP6
00000a60: MSTORE
00000a61: SWAP6
00000a62: MLOAD
00000a63: PUSH1 0x03
00000a65: SWAP1
00000a66: SWAP5
00000a67: MUL
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: MLOAD
00000a6c: PUSH1 0x20
00000a6e: PUSH2 0x2887
00000a71: DUP4
00000a72: CODECOPY
00000a73: DUP2
00000a74: MLOAD
00000a75: SWAP2
00000a76: MSTORE
00000a77: DUP2
00000a78: ADD
00000a79: DUP1
00000a7a: SLOAD
00000a7b: SWAP6
00000a7c: DUP14
00000a7d: AND
00000a7e: PUSH1 0x01
00000a80: PUSH1 0xa0
00000a82: PUSH1 0x02
00000a84: EXP
00000a85: SUB
00000a86: NOT
00000a87: SWAP7
00000a88: DUP8
00000a89: AND
00000a8a: OR
00000a8b: SWAP1
00000a8c: SSTORE
00000a8d: SWAP5
00000a8e: MLOAD
00000a8f: PUSH1 0x00
00000a91: DUP1
00000a92: MLOAD
00000a93: PUSH1 0x20
00000a95: PUSH2 0x2867
00000a98: DUP4
00000a99: CODECOPY
00000a9a: DUP2
00000a9b: MLOAD
00000a9c: SWAP2
00000a9d: MSTORE
00000a9e: DUP7
00000a9f: ADD
00000aa0: DUP1
00000aa1: SLOAD
00000aa2: SWAP9
00000aa3: MLOAD
00000aa4: SWAP5
00000aa5: MLOAD
00000aa6: PUSH1 0xff
00000aa8: SWAP1
00000aa9: DUP2
00000aaa: AND
00000aab: PUSH1 0xa8
00000aad: PUSH1 0x02
00000aaf: EXP
00000ab0: MUL
00000ab1: PUSH1 0xa8
00000ab3: PUSH1 0x02
00000ab5: EXP
00000ab6: PUSH1 0xff
00000ab8: MUL
00000ab9: NOT
00000aba: SWAP2
00000abb: SWAP1
00000abc: SWAP7
00000abd: AND
00000abe: PUSH1 0xa0
00000ac0: PUSH1 0x02
00000ac2: EXP
00000ac3: MUL
00000ac4: PUSH21 0xff0000000000000000000000000000000000000000
00000ada: NOT
00000adb: SWAP4
00000adc: SWAP1
00000add: SWAP15
00000ade: AND
00000adf: SWAP10
00000ae0: SWAP1
00000ae1: SWAP7
00000ae2: AND
00000ae3: SWAP9
00000ae4: SWAP1
00000ae5: SWAP9
00000ae6: OR
00000ae7: AND
00000ae8: SWAP11
00000ae9: SWAP1
00000aea: SWAP11
00000aeb: OR
00000aec: SWAP3
00000aed: SWAP1
00000aee: SWAP3
00000aef: AND
00000af0: OR
00000af1: SWAP1
00000af2: SWAP4
00000af3: SSTORE
00000af4: SWAP2
00000af5: MLOAD
00000af6: PUSH1 0x00
00000af8: DUP1
00000af9: MLOAD
00000afa: PUSH1 0x20
00000afc: PUSH2 0x28a7
00000aff: DUP4
00000b00: CODECOPY
00000b01: DUP2
00000b02: MLOAD
00000b03: SWAP2
00000b04: MSTORE
00000b05: SWAP1
00000b06: SWAP3
00000b07: ADD
00000b08: DUP1
00000b09: SLOAD
00000b0a: SWAP4
00000b0b: MLOAD
00000b0c: SWAP6
00000b0d: MLOAD
00000b0e: SWAP5
00000b0f: MLOAD
00000b10: SWAP2
00000b11: MLOAD
00000b12: ISZERO
00000b13: ISZERO
00000b14: PUSH1 0xe8
00000b16: PUSH1 0x02
00000b18: EXP
00000b19: MUL
00000b1a: PUSH1 0xe8
00000b1c: PUSH1 0x02
00000b1e: EXP
00000b1f: PUSH1 0xff
00000b21: MUL
00000b22: NOT
00000b23: SWAP3
00000b24: ISZERO
00000b25: ISZERO
00000b26: PUSH1 0xe0
00000b28: PUSH1 0x02
00000b2a: EXP
00000b2b: MUL
00000b2c: PUSH1 0xe0
00000b2e: PUSH1 0x02
00000b30: EXP
00000b31: PUSH1 0xff
00000b33: MUL
00000b34: NOT
00000b35: SWAP7
00000b36: DUP10
00000b37: AND
00000b38: PUSH1 0xb0
00000b3a: PUSH1 0x02
00000b3c: EXP
00000b3d: MUL
00000b3e: PUSH1 0x00
00000b40: DUP1
00000b41: MLOAD
00000b42: PUSH1 0x20
00000b44: PUSH2 0x28c7
00000b47: DUP4
00000b48: CODECOPY
00000b49: DUP2
00000b4a: MLOAD
00000b4b: SWAP2
00000b4c: MSTORE
00000b4d: SWAP9
00000b4e: SWAP1
00000b4f: SWAP10
00000b50: AND
00000b51: PUSH1 0x80
00000b53: PUSH1 0x02
00000b55: EXP
00000b56: MUL
00000b57: PUSH22 0xffffffffffff00000000000000000000000000000000
00000b6e: NOT
00000b6f: PUSH1 0x01
00000b71: PUSH1 0x80
00000b73: PUSH1 0x02
00000b75: EXP
00000b76: SUB
00000b77: SWAP1
00000b78: SWAP7
00000b79: AND
00000b7a: PUSH16 0xffffffffffffffffffffffffffffffff
00000b8b: NOT
00000b8c: SWAP1
00000b8d: SWAP8
00000b8e: AND
00000b8f: SWAP7
00000b90: SWAP1
00000b91: SWAP7
00000b92: OR
00000b93: SWAP5
00000b94: SWAP1
00000b95: SWAP5
00000b96: AND
00000b97: SWAP5
00000b98: SWAP1
00000b99: SWAP5
00000b9a: OR
00000b9b: SWAP6
00000b9c: SWAP1
00000b9d: SWAP6
00000b9e: AND
00000b9f: SWAP6
00000ba0: SWAP1
00000ba1: SWAP6
00000ba2: OR
00000ba3: SWAP3
00000ba4: SWAP1
00000ba5: SWAP3
00000ba6: AND
00000ba7: SWAP2
00000ba8: SWAP1
00000ba9: SWAP2
00000baa: OR
00000bab: SWAP3
00000bac: SWAP1
00000bad: SWAP3
00000bae: AND
00000baf: SWAP2
00000bb0: SWAP1
00000bb1: SWAP2
00000bb2: OR
00000bb3: SWAP1
00000bb4: SSTORE
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x00
00000bb9: DUP2
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: CALLER
00000bbd: PUSH1 0x00
00000bbf: SWAP1
00000bc0: DUP2
00000bc1: MSTORE
00000bc2: PUSH1 0x20
00000bc4: DUP2
00000bc5: SWAP1
00000bc6: MSTORE
00000bc7: PUSH1 0x40
00000bc9: DUP2
00000bca: KECCAK256
00000bcb: SLOAD
00000bcc: DUP2
00000bcd: LT
00000bce: PUSH2 0x0bd6
00000bd1: JUMPI
00000bd2: PUSH1 0x00
00000bd4: DUP1
00000bd5: REVERT
00000bd6: JUMPDEST
00000bd7: PUSH3 0x015180
00000bdb: DUP3
00000bdc: PUSH1 0x01
00000bde: PUSH1 0x80
00000be0: PUSH1 0x02
00000be2: EXP
00000be3: SUB
00000be4: AND
00000be5: LT
00000be6: ISZERO
00000be7: DUP1
00000be8: ISZERO
00000be9: PUSH2 0x0bfe
00000bec: JUMPI
00000bed: POP
00000bee: PUSH3 0x278d00
00000bf2: DUP3
00000bf3: PUSH1 0x01
00000bf5: PUSH1 0x80
00000bf7: PUSH1 0x02
00000bf9: EXP
00000bfa: SUB
00000bfb: AND
00000bfc: GT
00000bfd: ISZERO
00000bfe: JUMPDEST
00000bff: ISZERO
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: POP
00000c0b: PUSH1 0x0b
00000c0d: SLOAD
00000c0e: PUSH1 0x40
00000c10: DUP1
00000c11: MLOAD
00000c12: PUSH2 0x0120
00000c15: DUP2
00000c16: ADD
00000c17: DUP3
00000c18: MSTORE
00000c19: PUSH1 0x00
00000c1b: DUP1
00000c1c: DUP3
00000c1d: MSTORE
00000c1e: CALLER
00000c1f: PUSH1 0x20
00000c21: DUP4
00000c22: ADD
00000c23: SWAP1
00000c24: DUP2
00000c25: MSTORE
00000c26: PUSH1 0x06
00000c28: SWAP4
00000c29: DUP4
00000c2a: ADD
00000c2b: SWAP4
00000c2c: DUP5
00000c2d: MSTORE
00000c2e: PUSH1 0x60
00000c30: DUP4
00000c31: ADD
00000c32: DUP3
00000c33: DUP2
00000c34: MSTORE
00000c35: PUSH1 0x01
00000c37: PUSH1 0x80
00000c39: PUSH1 0x02
00000c3b: EXP
00000c3c: SUB
00000c3d: SWAP7
00000c3e: DUP8
00000c3f: AND
00000c40: PUSH1 0x80
00000c42: DUP6
00000c43: ADD
00000c44: SWAP1
00000c45: DUP2
00000c46: MSTORE
00000c47: TIMESTAMP
00000c48: PUSH6 0xffffffffffff
00000c4f: DUP2
00000c50: DUP2
00000c51: AND
00000c52: PUSH1 0xa0
00000c54: DUP9
00000c55: ADD
00000c56: SWAP1
00000c57: DUP2
00000c58: MSTORE
00000c59: SWAP2
00000c5a: SWAP1
00000c5b: SWAP9
00000c5c: ADD
00000c5d: DUP9
00000c5e: AND
00000c5f: PUSH1 0xc0
00000c61: DUP8
00000c62: ADD
00000c63: SWAP1
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0xe0
00000c68: DUP8
00000c69: ADD
00000c6a: DUP7
00000c6b: DUP2
00000c6c: MSTORE
00000c6d: PUSH2 0x0100
00000c70: DUP9
00000c71: ADD
00000c72: DUP8
00000c73: DUP2
00000c74: MSTORE
00000c75: PUSH1 0x0a
00000c77: DUP1
00000c78: SLOAD
00000c79: PUSH1 0x01
00000c7b: DUP2
00000c7c: ADD
00000c7d: DUP3
00000c7e: SSTORE
00000c7f: SWAP9
00000c80: MSTORE
00000c81: SWAP8
00000c82: MLOAD
00000c83: PUSH1 0x00
00000c85: DUP1
00000c86: MLOAD
00000c87: PUSH1 0x20
00000c89: PUSH2 0x2887
00000c8c: DUP4
00000c8d: CODECOPY
00000c8e: DUP2
00000c8f: MLOAD
00000c90: SWAP2
00000c91: MSTORE
00000c92: PUSH1 0x03
00000c94: SWAP1
00000c95: SWAP9
00000c96: MUL
00000c97: SWAP8
00000c98: DUP9
00000c99: ADD
00000c9a: DUP1
00000c9b: SLOAD
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0xa0
00000ca0: PUSH1 0x02
00000ca2: EXP
00000ca3: SUB
00000ca4: NOT
00000ca5: SWAP1
00000ca6: DUP2
00000ca7: AND
00000ca8: PUSH1 0x01
00000caa: PUSH1 0xa0
00000cac: PUSH1 0x02
00000cae: EXP
00000caf: SUB
00000cb0: SWAP4
00000cb1: DUP5
00000cb2: AND
00000cb3: OR
00000cb4: SWAP1
00000cb5: SWAP2
00000cb6: SSTORE
00000cb7: SWAP7
00000cb8: MLOAD
00000cb9: PUSH1 0x00
00000cbb: DUP1
00000cbc: MLOAD
00000cbd: PUSH1 0x20
00000cbf: PUSH2 0x2867
00000cc2: DUP4
00000cc3: CODECOPY
00000cc4: DUP2
00000cc5: MLOAD
00000cc6: SWAP2
00000cc7: MSTORE
00000cc8: DUP10
00000cc9: ADD
00000cca: DUP1
00000ccb: SLOAD
00000ccc: SWAP12
00000ccd: MLOAD
00000cce: SWAP8
00000ccf: MLOAD
00000cd0: SWAP12
00000cd1: SWAP1
00000cd2: SWAP9
00000cd3: AND
00000cd4: SWAP2
00000cd5: AND
00000cd6: OR
00000cd7: PUSH21 0xff0000000000000000000000000000000000000000
00000ced: NOT
00000cee: AND
00000cef: PUSH1 0xa0
00000cf1: PUSH1 0x02
00000cf3: EXP
00000cf4: PUSH1 0xff
00000cf6: SWAP7
00000cf7: DUP8
00000cf8: AND
00000cf9: MUL
00000cfa: OR
00000cfb: PUSH1 0xa8
00000cfd: PUSH1 0x02
00000cff: EXP
00000d00: PUSH1 0xff
00000d02: MUL
00000d03: NOT
00000d04: AND
00000d05: PUSH1 0xa8
00000d07: PUSH1 0x02
00000d09: EXP
00000d0a: SWAP6
00000d0b: SWAP1
00000d0c: SWAP10
00000d0d: AND
00000d0e: SWAP5
00000d0f: SWAP1
00000d10: SWAP5
00000d11: MUL
00000d12: SWAP8
00000d13: SWAP1
00000d14: SWAP8
00000d15: OR
00000d16: SWAP1
00000d17: SWAP4
00000d18: SSTORE
00000d19: MLOAD
00000d1a: PUSH1 0x00
00000d1c: DUP1
00000d1d: MLOAD
00000d1e: PUSH1 0x20
00000d20: PUSH2 0x28a7
00000d23: DUP4
00000d24: CODECOPY
00000d25: DUP2
00000d26: MLOAD
00000d27: SWAP2
00000d28: MSTORE
00000d29: SWAP1
00000d2a: SWAP4
00000d2b: ADD
00000d2c: DUP1
00000d2d: SLOAD
00000d2e: SWAP3
00000d2f: MLOAD
00000d30: SWAP6
00000d31: MLOAD
00000d32: SWAP2
00000d33: MLOAD
00000d34: SWAP5
00000d35: MLOAD
00000d36: PUSH16 0xffffffffffffffffffffffffffffffff
00000d47: NOT
00000d48: SWAP1
00000d49: SWAP4
00000d4a: AND
00000d4b: SWAP4
00000d4c: SWAP1
00000d4d: SWAP8
00000d4e: AND
00000d4f: SWAP3
00000d50: SWAP1
00000d51: SWAP3
00000d52: OR
00000d53: PUSH22 0xffffffffffff00000000000000000000000000000000
00000d6a: NOT
00000d6b: AND
00000d6c: PUSH1 0x80
00000d6e: PUSH1 0x02
00000d70: EXP
00000d71: SWAP5
00000d72: DUP7
00000d73: AND
00000d74: SWAP5
00000d75: SWAP1
00000d76: SWAP5
00000d77: MUL
00000d78: SWAP4
00000d79: SWAP1
00000d7a: SWAP4
00000d7b: OR
00000d7c: PUSH1 0x00
00000d7e: DUP1
00000d7f: MLOAD
00000d80: PUSH1 0x20
00000d82: PUSH2 0x28c7
00000d85: DUP4
00000d86: CODECOPY
00000d87: DUP2
00000d88: MLOAD
00000d89: SWAP2
00000d8a: MSTORE
00000d8b: AND
00000d8c: PUSH1 0xb0
00000d8e: PUSH1 0x02
00000d90: EXP
00000d91: SWAP2
00000d92: SWAP1
00000d93: SWAP5
00000d94: AND
00000d95: MUL
00000d96: SWAP3
00000d97: SWAP1
00000d98: SWAP3
00000d99: OR
00000d9a: PUSH1 0xe0
00000d9c: PUSH1 0x02
00000d9e: EXP
00000d9f: PUSH1 0xff
00000da1: MUL
00000da2: NOT
00000da3: AND
00000da4: PUSH1 0xe0
00000da6: PUSH1 0x02
00000da8: EXP
00000da9: SWAP3
00000daa: ISZERO
00000dab: ISZERO
00000dac: SWAP3
00000dad: SWAP1
00000dae: SWAP3
00000daf: MUL
00000db0: SWAP2
00000db1: SWAP1
00000db2: SWAP2
00000db3: OR
00000db4: PUSH1 0xe8
00000db6: PUSH1 0x02
00000db8: EXP
00000db9: PUSH1 0xff
00000dbb: MUL
00000dbc: NOT
00000dbd: AND
00000dbe: PUSH1 0xe8
00000dc0: PUSH1 0x02
00000dc2: EXP
00000dc3: SWAP2
00000dc4: ISZERO
00000dc5: ISZERO
00000dc6: SWAP2
00000dc7: SWAP1
00000dc8: SWAP2
00000dc9: MUL
00000dca: OR
00000dcb: SWAP1
00000dcc: SSTORE
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: CALLER
00000dd0: PUSH1 0x00
00000dd2: SWAP1
00000dd3: DUP2
00000dd4: MSTORE
00000dd5: PUSH1 0x20
00000dd7: DUP2
00000dd8: SWAP1
00000dd9: MSTORE
00000dda: PUSH1 0x40
00000ddc: DUP2
00000ddd: KECCAK256
00000dde: SLOAD
00000ddf: DUP2
00000de0: SWAP1
00000de1: DUP2
00000de2: LT
00000de3: PUSH2 0x0deb
00000de6: JUMPI
00000de7: PUSH1 0x00
00000de9: DUP1
00000dea: REVERT
00000deb: JUMPDEST
00000dec: PUSH1 0x0a
00000dee: DUP1
00000def: SLOAD
00000df0: DUP6
00000df1: SWAP1
00000df2: DUP2
00000df3: LT
00000df4: PUSH2 0x0df9
00000df7: JUMPI
00000df8: INVALID
00000df9: JUMPDEST
00000dfa: PUSH1 0x00
00000dfc: SWAP2
00000dfd: DUP3
00000dfe: MSTORE
00000dff: PUSH1 0x20
00000e01: SWAP1
00000e02: SWAP2
00000e03: KECCAK256
00000e04: PUSH1 0x01
00000e06: PUSH1 0x03
00000e08: SWAP1
00000e09: SWAP3
00000e0a: MUL
00000e0b: ADD
00000e0c: DUP2
00000e0d: DUP2
00000e0e: ADD
00000e0f: SLOAD
00000e10: SWAP1
00000e11: SWAP4
00000e12: POP
00000e13: PUSH1 0xa0
00000e15: PUSH1 0x02
00000e17: EXP
00000e18: SWAP1
00000e19: DIV
00000e1a: PUSH1 0xff
00000e1c: AND
00000e1d: EQ
00000e1e: PUSH2 0x0e26
00000e21: JUMPI
00000e22: PUSH1 0x00
00000e24: DUP1
00000e25: REVERT
00000e26: JUMPDEST
00000e27: PUSH1 0x01
00000e29: DUP3
00000e2a: ADD
00000e2b: SLOAD
00000e2c: PUSH1 0xa8
00000e2e: PUSH1 0x02
00000e30: EXP
00000e31: SWAP1
00000e32: DIV
00000e33: PUSH1 0xff
00000e35: AND
00000e36: ISZERO
00000e37: PUSH2 0x0e3f
00000e3a: JUMPI
00000e3b: PUSH1 0x00
00000e3d: DUP1
00000e3e: REVERT
00000e3f: JUMPDEST
00000e40: DUP3
00000e41: ISZERO
00000e42: PUSH2 0x0e62
00000e45: JUMPI
00000e46: PUSH1 0x01
00000e48: DUP3
00000e49: ADD
00000e4a: DUP1
00000e4b: SLOAD
00000e4c: PUSH1 0xa8
00000e4e: PUSH1 0x02
00000e50: EXP
00000e51: PUSH1 0xff
00000e53: MUL
00000e54: NOT
00000e55: AND
00000e56: PUSH1 0xa9
00000e58: PUSH1 0x02
00000e5a: EXP
00000e5b: OR
00000e5c: SWAP1
00000e5d: SSTORE
00000e5e: PUSH2 0x06ec
00000e61: JUMP
00000e62: JUMPDEST
00000e63: PUSH1 0x02
00000e65: DUP3
00000e66: ADD
00000e67: SLOAD
00000e68: PUSH1 0x00
00000e6a: PUSH1 0xb0
00000e6c: PUSH1 0x02
00000e6e: EXP
00000e6f: SWAP1
00000e70: SWAP2
00000e71: DIV
00000e72: PUSH6 0xffffffffffff
00000e79: AND
00000e7a: GT
00000e7b: DUP1
00000e7c: ISZERO
00000e7d: PUSH2 0x0e99
00000e80: JUMPI
00000e81: POP
00000e82: PUSH1 0x02
00000e84: DUP3
00000e85: ADD
00000e86: SLOAD
00000e87: TIMESTAMP
00000e88: PUSH1 0xb0
00000e8a: PUSH1 0x02
00000e8c: EXP
00000e8d: SWAP1
00000e8e: SWAP2
00000e8f: DIV
00000e90: PUSH6 0xffffffffffff
00000e97: AND
00000e98: LT
00000e99: JUMPDEST
00000e9a: ISZERO
00000e9b: ISZERO
00000e9c: PUSH2 0x0ea4
00000e9f: JUMPI
00000ea0: PUSH1 0x00
00000ea2: DUP1
00000ea3: REVERT
00000ea4: JUMPDEST
00000ea5: POP
00000ea6: PUSH1 0x00
00000ea8: DUP4
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x05
00000ead: PUSH1 0x20
00000eaf: MSTORE
00000eb0: PUSH1 0x40
00000eb2: SWAP1
00000eb3: KECCAK256
00000eb4: SLOAD
00000eb5: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00000ed6: DUP2
00000ed7: EQ
00000ed8: ISZERO
00000ed9: PUSH2 0x0efb
00000edc: JUMPI
00000edd: DUP2
00000ede: SLOAD
00000edf: PUSH1 0x01
00000ee1: PUSH1 0xa0
00000ee3: PUSH1 0x02
00000ee5: EXP
00000ee6: SUB
00000ee7: AND
00000ee8: PUSH1 0x00
00000eea: SWAP1
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x04
00000eef: PUSH1 0x20
00000ef1: MSTORE
00000ef2: PUSH1 0x40
00000ef4: DUP2
00000ef5: KECCAK256
00000ef6: SSTORE
00000ef7: PUSH2 0x0f18
00000efa: JUMP
00000efb: JUMPDEST
00000efc: DUP2
00000efd: SLOAD
00000efe: PUSH1 0x01
00000f00: PUSH1 0xa0
00000f02: PUSH1 0x02
00000f04: EXP
00000f05: SUB
00000f06: AND
00000f07: PUSH1 0x00
00000f09: SWAP1
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: PUSH1 0x04
00000f0e: PUSH1 0x20
00000f10: MSTORE
00000f11: PUSH1 0x40
00000f13: SWAP1
00000f14: KECCAK256
00000f15: DUP2
00000f16: SWAP1
00000f17: SSTORE
00000f18: JUMPDEST
00000f19: PUSH1 0x00
00000f1b: DUP5
00000f1c: DUP2
00000f1d: MSTORE
00000f1e: PUSH1 0x05
00000f20: PUSH1 0x20
00000f22: MSTORE
00000f23: PUSH1 0x40
00000f25: DUP2
00000f26: KECCAK256
00000f27: SSTORE
00000f28: PUSH1 0x01
00000f2a: DUP3
00000f2b: ADD
00000f2c: DUP1
00000f2d: SLOAD
00000f2e: PUSH1 0xa8
00000f30: PUSH1 0x02
00000f32: EXP
00000f33: PUSH1 0xff
00000f35: MUL
00000f36: NOT
00000f37: AND
00000f38: PUSH1 0xa8
00000f3a: PUSH1 0x02
00000f3c: EXP
00000f3d: OR
00000f3e: SWAP1
00000f3f: SSTORE
00000f40: POP
00000f41: POP
00000f42: POP
00000f43: POP
00000f44: JUMP
00000f45: JUMPDEST
00000f46: PUSH1 0x02
00000f48: SLOAD
00000f49: JUMPDEST
00000f4a: SWAP1
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: PUSH1 0x02
00000f4f: DUP1
00000f50: SLOAD
00000f51: DUP3
00000f52: SWAP1
00000f53: DUP2
00000f54: LT
00000f55: PUSH2 0x0649
00000f58: JUMPI
00000f59: INVALID
00000f5a: JUMPDEST
00000f5b: PUSH1 0x07
00000f5d: DUP2
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x06
00000f62: DUP2
00000f63: JUMP
00000f64: JUMPDEST
00000f65: PUSH1 0x04
00000f67: DUP2
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH1 0x03
00000f6c: DUP2
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH1 0x0a
00000f71: DUP1
00000f72: SLOAD
00000f73: DUP3
00000f74: SWAP1
00000f75: DUP2
00000f76: LT
00000f77: PUSH2 0x0f7c
00000f7a: JUMPI
00000f7b: INVALID
00000f7c: JUMPDEST
00000f7d: PUSH1 0x00
00000f7f: SWAP2
00000f80: DUP3
00000f81: MSTORE
00000f82: PUSH1 0x20
00000f84: SWAP1
00000f85: SWAP2
00000f86: KECCAK256
00000f87: PUSH1 0x03
00000f89: SWAP1
00000f8a: SWAP2
00000f8b: MUL
00000f8c: ADD
00000f8d: DUP1
00000f8e: SLOAD
00000f8f: PUSH1 0x01
00000f91: DUP3
00000f92: ADD
00000f93: SLOAD
00000f94: PUSH1 0x02
00000f96: SWAP1
00000f97: SWAP3
00000f98: ADD
00000f99: SLOAD
00000f9a: PUSH1 0x01
00000f9c: PUSH1 0xa0
00000f9e: PUSH1 0x02
00000fa0: EXP
00000fa1: SUB
00000fa2: SWAP2
00000fa3: DUP3
00000fa4: AND
00000fa5: SWAP4
00000fa6: POP
00000fa7: SWAP1
00000fa8: DUP3
00000fa9: AND
00000faa: SWAP2
00000fab: PUSH1 0xff
00000fad: PUSH1 0xa0
00000faf: PUSH1 0x02
00000fb1: EXP
00000fb2: DUP3
00000fb3: DIV
00000fb4: DUP2
00000fb5: AND
00000fb6: SWAP3
00000fb7: PUSH1 0xa8
00000fb9: PUSH1 0x02
00000fbb: EXP
00000fbc: SWAP1
00000fbd: SWAP3
00000fbe: DIV
00000fbf: DUP2
00000fc0: AND
00000fc1: SWAP2
00000fc2: PUSH1 0x01
00000fc4: PUSH1 0x80
00000fc6: PUSH1 0x02
00000fc8: EXP
00000fc9: SUB
00000fca: DUP2
00000fcb: AND
00000fcc: SWAP2
00000fcd: PUSH6 0xffffffffffff
00000fd4: PUSH1 0x80
00000fd6: PUSH1 0x02
00000fd8: EXP
00000fd9: DUP4
00000fda: DIV
00000fdb: DUP2
00000fdc: AND
00000fdd: SWAP3
00000fde: PUSH1 0xb0
00000fe0: PUSH1 0x02
00000fe2: EXP
00000fe3: DUP2
00000fe4: DIV
00000fe5: SWAP1
00000fe6: SWAP2
00000fe7: AND
00000fe8: SWAP2
00000fe9: PUSH1 0xe0
00000feb: PUSH1 0x02
00000fed: EXP
00000fee: DUP3
00000fef: DIV
00000ff0: DUP2
00000ff1: AND
00000ff2: SWAP2
00000ff3: PUSH1 0xe8
00000ff5: PUSH1 0x02
00000ff7: EXP
00000ff8: SWAP1
00000ff9: DIV
00000ffa: AND
00000ffb: DUP10
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x03
00001000: PUSH1 0x20
00001002: MSTORE
00001003: PUSH1 0x00
00001005: SWAP1
00001006: DUP2
00001007: MSTORE
00001008: PUSH1 0x40
0000100a: SWAP1
0000100b: KECCAK256
0000100c: SLOAD
0000100d: PUSH1 0x01
0000100f: PUSH1 0x80
00001011: PUSH1 0x02
00001013: EXP
00001014: SUB
00001015: DUP2
00001016: AND
00001017: SWAP1
00001018: PUSH1 0xff
0000101a: PUSH1 0x80
0000101c: PUSH1 0x02
0000101e: EXP
0000101f: DUP3
00001020: DIV
00001021: DUP2
00001022: AND
00001023: SWAP2
00001024: PUSH18 0x010000000000000000000000000000000000
00001037: SWAP1
00001038: DIV
00001039: AND
0000103a: DUP4
0000103b: JUMP
0000103c: JUMPDEST
0000103d: CALLER
0000103e: PUSH1 0x00
00001040: SWAP1
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: DUP2
00001046: SWAP1
00001047: MSTORE
00001048: PUSH1 0x40
0000104a: DUP2
0000104b: KECCAK256
0000104c: SLOAD
0000104d: DUP2
0000104e: LT
0000104f: PUSH2 0x1057
00001052: JUMPI
00001053: PUSH1 0x00
00001055: DUP1
00001056: REVERT
00001057: JUMPDEST
00001058: PUSH1 0x0a
0000105a: DUP1
0000105b: SLOAD
0000105c: DUP5
0000105d: SWAP1
0000105e: DUP2
0000105f: LT
00001060: PUSH2 0x1065
00001063: JUMPI
00001064: INVALID
00001065: JUMPDEST
00001066: PUSH1 0x00
00001068: SWAP2
00001069: DUP3
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: SWAP1
0000106e: SWAP2
0000106f: KECCAK256
00001070: PUSH1 0x01
00001072: PUSH1 0x03
00001074: SWAP1
00001075: SWAP3
00001076: MUL
00001077: ADD
00001078: SWAP1
00001079: DUP2
0000107a: ADD
0000107b: SLOAD
0000107c: SWAP1
0000107d: SWAP2
0000107e: POP
0000107f: PUSH1 0xa0
00001081: PUSH1 0x02
00001083: EXP
00001084: SWAP1
00001085: DIV
00001086: PUSH1 0xff
00001088: AND
00001089: PUSH1 0x05
0000108b: EQ
0000108c: PUSH2 0x1094
0000108f: JUMPI
00001090: PUSH1 0x00
00001092: DUP1
00001093: REVERT
00001094: JUMPDEST
00001095: PUSH1 0x01
00001097: DUP2
00001098: ADD
00001099: SLOAD
0000109a: PUSH1 0xa8
0000109c: PUSH1 0x02
0000109e: EXP
0000109f: SWAP1
000010a0: DIV
000010a1: PUSH1 0xff
000010a3: AND
000010a4: ISZERO
000010a5: PUSH2 0x10ad
000010a8: JUMPI
000010a9: PUSH1 0x00
000010ab: DUP1
000010ac: REVERT
000010ad: JUMPDEST
000010ae: DUP2
000010af: ISZERO
000010b0: PUSH2 0x10d0
000010b3: JUMPI
000010b4: PUSH1 0x01
000010b6: DUP2
000010b7: ADD
000010b8: DUP1
000010b9: SLOAD
000010ba: PUSH1 0xa8
000010bc: PUSH1 0x02
000010be: EXP
000010bf: PUSH1 0xff
000010c1: MUL
000010c2: NOT
000010c3: AND
000010c4: PUSH1 0xa9
000010c6: PUSH1 0x02
000010c8: EXP
000010c9: OR
000010ca: SWAP1
000010cb: SSTORE
000010cc: PUSH2 0x0636
000010cf: JUMP
000010d0: JUMPDEST
000010d1: PUSH1 0x02
000010d3: DUP2
000010d4: ADD
000010d5: SLOAD
000010d6: PUSH1 0x00
000010d8: PUSH1 0xb0
000010da: PUSH1 0x02
000010dc: EXP
000010dd: SWAP1
000010de: SWAP2
000010df: DIV
000010e0: PUSH6 0xffffffffffff
000010e7: AND
000010e8: GT
000010e9: DUP1
000010ea: ISZERO
000010eb: PUSH2 0x1107
000010ee: JUMPI
000010ef: POP
000010f0: PUSH1 0x02
000010f2: DUP2
000010f3: ADD
000010f4: SLOAD
000010f5: TIMESTAMP
000010f6: PUSH1 0xb0
000010f8: PUSH1 0x02
000010fa: EXP
000010fb: SWAP1
000010fc: SWAP2
000010fd: DIV
000010fe: PUSH6 0xffffffffffff
00001105: AND
00001106: LT
00001107: JUMPDEST
00001108: ISZERO
00001109: PUSH2 0x0636
0000110c: JUMPI
0000110d: PUSH1 0x40
0000110f: DUP1
00001110: MLOAD
00001111: PUSH2 0x0120
00001114: DUP2
00001115: ADD
00001116: DUP3
00001117: MSTORE
00001118: DUP3
00001119: SLOAD
0000111a: PUSH1 0x01
0000111c: PUSH1 0xa0
0000111e: PUSH1 0x02
00001120: EXP
00001121: SUB
00001122: SWAP1
00001123: DUP2
00001124: AND
00001125: DUP3
00001126: MSTORE
00001127: PUSH1 0x01
00001129: DUP5
0000112a: ADD
0000112b: SLOAD
0000112c: SWAP1
0000112d: DUP2
0000112e: AND
0000112f: PUSH1 0x20
00001131: DUP4
00001132: ADD
00001133: MSTORE
00001134: PUSH1 0xff
00001136: PUSH1 0xa0
00001138: PUSH1 0x02
0000113a: EXP
0000113b: DUP3
0000113c: DIV
0000113d: DUP2
0000113e: AND
0000113f: SWAP4
00001140: DUP4
00001141: ADD
00001142: SWAP4
00001143: SWAP1
00001144: SWAP4
00001145: MSTORE
00001146: PUSH1 0xa8
00001148: PUSH1 0x02
0000114a: EXP
0000114b: SWAP1
0000114c: DIV
0000114d: DUP3
0000114e: AND
0000114f: PUSH1 0x60
00001151: DUP3
00001152: ADD
00001153: MSTORE
00001154: PUSH1 0x02
00001156: DUP4
00001157: ADD
00001158: SLOAD
00001159: PUSH1 0x01
0000115b: PUSH1 0x80
0000115d: PUSH1 0x02
0000115f: EXP
00001160: SUB
00001161: DUP2
00001162: AND
00001163: PUSH1 0x80
00001165: DUP4
00001166: ADD
00001167: MSTORE
00001168: PUSH6 0xffffffffffff
0000116f: PUSH1 0x80
00001171: PUSH1 0x02
00001173: EXP
00001174: DUP3
00001175: DIV
00001176: DUP2
00001177: AND
00001178: PUSH1 0xa0
0000117a: DUP5
0000117b: ADD
0000117c: MSTORE
0000117d: PUSH1 0xb0
0000117f: PUSH1 0x02
00001181: EXP
00001182: DUP3
00001183: DIV
00001184: AND
00001185: PUSH1 0xc0
00001187: DUP4
00001188: ADD
00001189: MSTORE
0000118a: PUSH1 0xe0
0000118c: PUSH1 0x02
0000118e: EXP
0000118f: DUP2
00001190: DIV
00001191: DUP4
00001192: AND
00001193: ISZERO
00001194: ISZERO
00001195: PUSH1 0xe0
00001197: DUP4
00001198: ADD
00001199: MSTORE
0000119a: PUSH1 0xe8
0000119c: PUSH1 0x02
0000119e: EXP
0000119f: SWAP1
000011a0: DIV
000011a1: SWAP1
000011a2: SWAP2
000011a3: AND
000011a4: ISZERO
000011a5: ISZERO
000011a6: PUSH2 0x0100
000011a9: DUP3
000011aa: ADD
000011ab: MSTORE
000011ac: PUSH2 0x09ae
000011af: SWAP1
000011b0: PUSH2 0x22f5
000011b3: JUMP
000011b4: JUMPDEST
000011b5: CALLER
000011b6: PUSH1 0x00
000011b8: SWAP1
000011b9: DUP2
000011ba: MSTORE
000011bb: PUSH1 0x20
000011bd: DUP2
000011be: SWAP1
000011bf: MSTORE
000011c0: PUSH1 0x40
000011c2: DUP2
000011c3: KECCAK256
000011c4: SLOAD
000011c5: DUP2
000011c6: SWAP1
000011c7: DUP2
000011c8: SWAP1
000011c9: DUP2
000011ca: LT
000011cb: PUSH2 0x11d3
000011ce: JUMPI
000011cf: PUSH1 0x00
000011d1: DUP1
000011d2: REVERT
000011d3: JUMPDEST
000011d4: PUSH1 0x0a
000011d6: DUP1
000011d7: SLOAD
000011d8: DUP7
000011d9: SWAP1
000011da: DUP2
000011db: LT
000011dc: PUSH2 0x11e1
000011df: JUMPI
000011e0: INVALID
000011e1: JUMPDEST
000011e2: PUSH1 0x00
000011e4: SWAP2
000011e5: DUP3
000011e6: MSTORE
000011e7: PUSH1 0x20
000011e9: SWAP1
000011ea: SWAP2
000011eb: KECCAK256
000011ec: PUSH1 0x01
000011ee: PUSH1 0x03
000011f0: SWAP1
000011f1: SWAP3
000011f2: MUL
000011f3: ADD
000011f4: SWAP1
000011f5: DUP2
000011f6: ADD
000011f7: SLOAD
000011f8: SWAP1
000011f9: SWAP4
000011fa: POP
000011fb: PUSH1 0xa0
000011fd: PUSH1 0x02
000011ff: EXP
00001200: SWAP1
00001201: DIV
00001202: PUSH1 0xff
00001204: AND
00001205: PUSH1 0x02
00001207: EQ
00001208: PUSH2 0x1210
0000120b: JUMPI
0000120c: PUSH1 0x00
0000120e: DUP1
0000120f: REVERT
00001210: JUMPDEST
00001211: PUSH1 0x01
00001213: DUP4
00001214: ADD
00001215: SLOAD
00001216: PUSH1 0xa8
00001218: PUSH1 0x02
0000121a: EXP
0000121b: SWAP1
0000121c: DIV
0000121d: PUSH1 0xff
0000121f: AND
00001220: ISZERO
00001221: PUSH2 0x1229
00001224: JUMPI
00001225: PUSH1 0x00
00001227: DUP1
00001228: REVERT
00001229: JUMPDEST
0000122a: DUP4
0000122b: ISZERO
0000122c: PUSH2 0x124c
0000122f: JUMPI
00001230: PUSH1 0x01
00001232: DUP4
00001233: ADD
00001234: DUP1
00001235: SLOAD
00001236: PUSH1 0xa8
00001238: PUSH1 0x02
0000123a: EXP
0000123b: PUSH1 0xff
0000123d: MUL
0000123e: NOT
0000123f: AND
00001240: PUSH1 0xa9
00001242: PUSH1 0x02
00001244: EXP
00001245: OR
00001246: SWAP1
00001247: SSTORE
00001248: PUSH2 0x0846
0000124b: JUMP
0000124c: JUMPDEST
0000124d: DUP3
0000124e: SLOAD
0000124f: PUSH1 0x01
00001251: PUSH1 0xa0
00001253: PUSH1 0x02
00001255: EXP
00001256: SUB
00001257: AND
00001258: CALLER
00001259: EQ
0000125a: ISZERO
0000125b: PUSH2 0x1263
0000125e: JUMPI
0000125f: PUSH1 0x00
00001261: DUP1
00001262: REVERT
00001263: JUMPDEST
00001264: PUSH1 0x02
00001266: DUP4
00001267: ADD
00001268: SLOAD
00001269: PUSH1 0x00
0000126b: PUSH1 0xb0
0000126d: PUSH1 0x02
0000126f: EXP
00001270: SWAP1
00001271: SWAP2
00001272: DIV
00001273: PUSH6 0xffffffffffff
0000127a: AND
0000127b: GT
0000127c: DUP1
0000127d: ISZERO
0000127e: PUSH2 0x129a
00001281: JUMPI
00001282: POP
00001283: PUSH1 0x02
00001285: DUP4
00001286: ADD
00001287: SLOAD
00001288: TIMESTAMP
00001289: PUSH1 0xb0
0000128b: PUSH1 0x02
0000128d: EXP
0000128e: SWAP1
0000128f: SWAP2
00001290: DIV
00001291: PUSH6 0xffffffffffff
00001298: AND
00001299: LT
0000129a: JUMPDEST
0000129b: ISZERO
0000129c: ISZERO
0000129d: PUSH2 0x12a5
000012a0: JUMPI
000012a1: PUSH1 0x00
000012a3: DUP1
000012a4: REVERT
000012a5: JUMPDEST
000012a6: POP
000012a7: POP
000012a8: PUSH1 0x01
000012aa: DUP1
000012ab: SLOAD
000012ac: DUP3
000012ad: SLOAD
000012ae: PUSH1 0x01
000012b0: PUSH1 0xa0
000012b2: PUSH1 0x02
000012b4: EXP
000012b5: SUB
000012b6: AND
000012b7: PUSH1 0x00
000012b9: SWAP1
000012ba: DUP2
000012bb: MSTORE
000012bc: PUSH1 0x20
000012be: DUP2
000012bf: SWAP1
000012c0: MSTORE
000012c1: PUSH1 0x40
000012c3: DUP2
000012c4: KECCAK256
000012c5: DUP1
000012c6: SLOAD
000012c7: SWAP2
000012c8: SWAP1
000012c9: SSTORE
000012ca: SWAP1
000012cb: SWAP2
000012cc: PUSH1 0x00
000012ce: NOT
000012cf: SWAP1
000012d0: SWAP2
000012d1: ADD
000012d2: SWAP1
000012d3: DUP3
000012d4: GT
000012d5: ISZERO
000012d6: PUSH2 0x1340
000012d9: JUMPI
000012da: PUSH1 0x01
000012dc: DUP1
000012dd: SLOAD
000012de: PUSH1 0x00
000012e0: NOT
000012e1: DUP5
000012e2: ADD
000012e3: SWAP1
000012e4: DUP2
000012e5: LT
000012e6: PUSH2 0x12eb
000012e9: JUMPI
000012ea: INVALID
000012eb: JUMPDEST
000012ec: PUSH1 0x00
000012ee: SWAP2
000012ef: DUP3
000012f0: MSTORE
000012f1: PUSH1 0x20
000012f3: SWAP1
000012f4: SWAP2
000012f5: KECCAK256
000012f6: ADD
000012f7: SLOAD
000012f8: PUSH1 0x01
000012fa: DUP1
000012fb: SLOAD
000012fc: PUSH1 0x01
000012fe: PUSH1 0xa0
00001300: PUSH1 0x02
00001302: EXP
00001303: SUB
00001304: SWAP1
00001305: SWAP3
00001306: AND
00001307: SWAP2
00001308: DUP4
00001309: SWAP1
0000130a: DUP2
0000130b: LT
0000130c: PUSH2 0x1311
0000130f: JUMPI
00001310: INVALID
00001311: JUMPDEST
00001312: SWAP1
00001313: PUSH1 0x00
00001315: MSTORE
00001316: PUSH1 0x20
00001318: PUSH1 0x00
0000131a: KECCAK256
0000131b: ADD
0000131c: PUSH1 0x00
0000131e: PUSH2 0x0100
00001321: EXP
00001322: DUP2
00001323: SLOAD
00001324: DUP2
00001325: PUSH1 0x01
00001327: PUSH1 0xa0
00001329: PUSH1 0x02
0000132b: EXP
0000132c: SUB
0000132d: MUL
0000132e: NOT
0000132f: AND
00001330: SWAP1
00001331: DUP4
00001332: PUSH1 0x01
00001334: PUSH1 0xa0
00001336: PUSH1 0x02
00001338: EXP
00001339: SUB
0000133a: AND
0000133b: MUL
0000133c: OR
0000133d: SWAP1
0000133e: SSTORE
0000133f: POP
00001340: JUMPDEST
00001341: PUSH1 0x01
00001343: DUP1
00001344: SLOAD
00001345: PUSH1 0x00
00001347: NOT
00001348: DUP5
00001349: ADD
0000134a: SWAP1
0000134b: DUP2
0000134c: LT
0000134d: PUSH2 0x1352
00001350: JUMPI
00001351: INVALID
00001352: JUMPDEST
00001353: PUSH1 0x00
00001355: SWAP2
00001356: DUP3
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: SWAP1
0000135b: SWAP2
0000135c: KECCAK256
0000135d: ADD
0000135e: DUP1
0000135f: SLOAD
00001360: PUSH1 0x01
00001362: PUSH1 0xa0
00001364: PUSH1 0x02
00001366: EXP
00001367: SUB
00001368: NOT
00001369: AND
0000136a: SWAP1
0000136b: SSTORE
0000136c: PUSH1 0x01
0000136e: DUP1
0000136f: SLOAD
00001370: SWAP1
00001371: PUSH2 0x137e
00001374: SWAP1
00001375: PUSH1 0x00
00001377: NOT
00001378: DUP4
00001379: ADD
0000137a: PUSH2 0x2804
0000137d: JUMP
0000137e: JUMPDEST
0000137f: POP
00001380: PUSH1 0x01
00001382: DUP4
00001383: ADD
00001384: DUP1
00001385: SLOAD
00001386: PUSH1 0xa8
00001388: PUSH1 0x02
0000138a: EXP
0000138b: PUSH1 0xff
0000138d: MUL
0000138e: NOT
0000138f: AND
00001390: PUSH1 0xa8
00001392: PUSH1 0x02
00001394: EXP
00001395: OR
00001396: SWAP1
00001397: SSTORE
00001398: POP
00001399: POP
0000139a: POP
0000139b: POP
0000139c: POP
0000139d: JUMP
0000139e: JUMPDEST
0000139f: CALLER
000013a0: PUSH1 0x00
000013a2: SWAP1
000013a3: DUP2
000013a4: MSTORE
000013a5: PUSH1 0x20
000013a7: DUP2
000013a8: SWAP1
000013a9: MSTORE
000013aa: PUSH1 0x40
000013ac: DUP2
000013ad: KECCAK256
000013ae: SLOAD
000013af: DUP2
000013b0: LT
000013b1: PUSH2 0x13b9
000013b4: JUMPI
000013b5: PUSH1 0x00
000013b7: DUP1
000013b8: REVERT
000013b9: JUMPDEST
000013ba: PUSH1 0x0b
000013bc: SLOAD
000013bd: TIMESTAMP
000013be: ADD
000013bf: SWAP1
000013c0: POP
000013c1: PUSH1 0x40
000013c3: DUP1
000013c4: MLOAD
000013c5: SWAP1
000013c6: DUP2
000013c7: ADD
000013c8: PUSH1 0x40
000013ca: MSTORE
000013cb: DUP1
000013cc: DUP3
000013cd: PUSH6 0xffffffffffff
000013d4: AND
000013d5: PUSH1 0x01
000013d7: PUSH1 0x80
000013d9: PUSH1 0x02
000013db: EXP
000013dc: SUB
000013dd: AND
000013de: DUP2
000013df: MSTORE
000013e0: PUSH1 0x20
000013e2: ADD
000013e3: DUP4
000013e4: PUSH1 0x01
000013e6: PUSH1 0x80
000013e8: PUSH1 0x02
000013ea: EXP
000013eb: SUB
000013ec: AND
000013ed: DUP2
000013ee: MSTORE
000013ef: POP
000013f0: PUSH1 0x07
000013f2: PUSH1 0x00
000013f4: DUP7
000013f5: PUSH1 0x01
000013f7: PUSH1 0xa0
000013f9: PUSH1 0x02
000013fb: EXP
000013fc: SUB
000013fd: AND
000013fe: PUSH1 0x01
00001400: PUSH1 0xa0
00001402: PUSH1 0x02
00001404: EXP
00001405: SUB
00001406: AND
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x20
0000140b: ADD
0000140c: SWAP1
0000140d: DUP2
0000140e: MSTORE
0000140f: PUSH1 0x20
00001411: ADD
00001412: PUSH1 0x00
00001414: KECCAK256
00001415: PUSH1 0x00
00001417: DUP6
00001418: PUSH1 0x01
0000141a: PUSH1 0xa0
0000141c: PUSH1 0x02
0000141e: EXP
0000141f: SUB
00001420: AND
00001421: PUSH1 0x01
00001423: PUSH1 0xa0
00001425: PUSH1 0x02
00001427: EXP
00001428: SUB
00001429: AND
0000142a: DUP2
0000142b: MSTORE
0000142c: PUSH1 0x20
0000142e: ADD
0000142f: SWAP1
00001430: DUP2
00001431: MSTORE
00001432: PUSH1 0x20
00001434: ADD
00001435: PUSH1 0x00
00001437: KECCAK256
00001438: PUSH1 0x00
0000143a: DUP3
0000143b: ADD
0000143c: MLOAD
0000143d: DUP2
0000143e: PUSH1 0x00
00001440: ADD
00001441: PUSH1 0x00
00001443: PUSH2 0x0100
00001446: EXP
00001447: DUP2
00001448: SLOAD
00001449: DUP2
0000144a: PUSH1 0x01
0000144c: PUSH1 0x80
0000144e: PUSH1 0x02
00001450: EXP
00001451: SUB
00001452: MUL
00001453: NOT
00001454: AND
00001455: SWAP1
00001456: DUP4
00001457: PUSH1 0x01
00001459: PUSH1 0x80
0000145b: PUSH1 0x02
0000145d: EXP
0000145e: SUB
0000145f: AND
00001460: MUL
00001461: OR
00001462: SWAP1
00001463: SSTORE
00001464: POP
00001465: PUSH1 0x20
00001467: DUP3
00001468: ADD
00001469: MLOAD
0000146a: DUP2
0000146b: PUSH1 0x00
0000146d: ADD
0000146e: PUSH1 0x10
00001470: PUSH2 0x0100
00001473: EXP
00001474: DUP2
00001475: SLOAD
00001476: DUP2
00001477: PUSH1 0x01
00001479: PUSH1 0x80
0000147b: PUSH1 0x02
0000147d: EXP
0000147e: SUB
0000147f: MUL
00001480: NOT
00001481: AND
00001482: SWAP1
00001483: DUP4
00001484: PUSH1 0x01
00001486: PUSH1 0x80
00001488: PUSH1 0x02
0000148a: EXP
0000148b: SUB
0000148c: AND
0000148d: MUL
0000148e: OR
0000148f: SWAP1
00001490: SSTORE
00001491: POP
00001492: SWAP1
00001493: POP
00001494: POP
00001495: PUSH1 0x0a
00001497: PUSH2 0x0120
0000149a: PUSH1 0x40
0000149c: MLOAD
0000149d: SWAP1
0000149e: DUP2
0000149f: ADD
000014a0: PUSH1 0x40
000014a2: MSTORE
000014a3: DUP1
000014a4: DUP7
000014a5: PUSH1 0x01
000014a7: PUSH1 0xa0
000014a9: PUSH1 0x02
000014ab: EXP
000014ac: SUB
000014ad: AND
000014ae: DUP2
000014af: MSTORE
000014b0: PUSH1 0x20
000014b2: ADD
000014b3: DUP6
000014b4: PUSH1 0x01
000014b6: PUSH1 0xa0
000014b8: PUSH1 0x02
000014ba: EXP
000014bb: SUB
000014bc: AND
000014bd: DUP2
000014be: MSTORE
000014bf: PUSH1 0x20
000014c1: ADD
000014c2: PUSH1 0x07
000014c4: PUSH1 0xff
000014c6: AND
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x20
000014cb: ADD
000014cc: PUSH1 0x00
000014ce: PUSH1 0xff
000014d0: AND
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: ADD
000014d6: DUP5
000014d7: PUSH1 0x01
000014d9: PUSH1 0x80
000014db: PUSH1 0x02
000014dd: EXP
000014de: SUB
000014df: AND
000014e0: DUP2
000014e1: MSTORE
000014e2: PUSH1 0x20
000014e4: ADD
000014e5: TIMESTAMP
000014e6: PUSH6 0xffffffffffff
000014ed: AND
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: DUP4
000014f4: PUSH6 0xffffffffffff
000014fb: AND
000014fc: DUP2
000014fd: MSTORE
000014fe: PUSH1 0x20
00001500: ADD
00001501: PUSH1 0x00
00001503: ISZERO
00001504: ISZERO
00001505: DUP2
00001506: MSTORE
00001507: PUSH1 0x20
00001509: ADD
0000150a: PUSH1 0x00
0000150c: ISZERO
0000150d: ISZERO
0000150e: DUP2
0000150f: MSTORE
00001510: POP
00001511: SWAP1
00001512: DUP1
00001513: PUSH1 0x01
00001515: DUP2
00001516: SLOAD
00001517: ADD
00001518: DUP1
00001519: DUP3
0000151a: SSTORE
0000151b: DUP1
0000151c: SWAP2
0000151d: POP
0000151e: POP
0000151f: SWAP1
00001520: PUSH1 0x01
00001522: DUP3
00001523: SUB
00001524: SWAP1
00001525: PUSH1 0x00
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: PUSH1 0x00
0000152c: KECCAK256
0000152d: SWAP1
0000152e: PUSH1 0x03
00001530: MUL
00001531: ADD
00001532: PUSH1 0x00
00001534: SWAP1
00001535: SWAP2
00001536: SWAP3
00001537: SWAP1
00001538: SWAP2
00001539: SWAP1
0000153a: SWAP2
0000153b: POP
0000153c: PUSH1 0x00
0000153e: DUP3
0000153f: ADD
00001540: MLOAD
00001541: DUP2
00001542: PUSH1 0x00
00001544: ADD
00001545: PUSH1 0x00
00001547: PUSH2 0x0100
0000154a: EXP
0000154b: DUP2
0000154c: SLOAD
0000154d: DUP2
0000154e: PUSH1 0x01
00001550: PUSH1 0xa0
00001552: PUSH1 0x02
00001554: EXP
00001555: SUB
00001556: MUL
00001557: NOT
00001558: AND
00001559: SWAP1
0000155a: DUP4
0000155b: PUSH1 0x01
0000155d: PUSH1 0xa0
0000155f: PUSH1 0x02
00001561: EXP
00001562: SUB
00001563: AND
00001564: MUL
00001565: OR
00001566: SWAP1
00001567: SSTORE
00001568: POP
00001569: PUSH1 0x20
0000156b: DUP3
0000156c: ADD
0000156d: MLOAD
0000156e: DUP2
0000156f: PUSH1 0x01
00001571: ADD
00001572: PUSH1 0x00
00001574: PUSH2 0x0100
00001577: EXP
00001578: DUP2
00001579: SLOAD
0000157a: DUP2
0000157b: PUSH1 0x01
0000157d: PUSH1 0xa0
0000157f: PUSH1 0x02
00001581: EXP
00001582: SUB
00001583: MUL
00001584: NOT
00001585: AND
00001586: SWAP1
00001587: DUP4
00001588: PUSH1 0x01
0000158a: PUSH1 0xa0
0000158c: PUSH1 0x02
0000158e: EXP
0000158f: SUB
00001590: AND
00001591: MUL
00001592: OR
00001593: SWAP1
00001594: SSTORE
00001595: POP
00001596: PUSH1 0x40
00001598: DUP3
00001599: ADD
0000159a: MLOAD
0000159b: DUP2
0000159c: PUSH1 0x01
0000159e: ADD
0000159f: PUSH1 0x14
000015a1: PUSH2 0x0100
000015a4: EXP
000015a5: DUP2
000015a6: SLOAD
000015a7: DUP2
000015a8: PUSH1 0xff
000015aa: MUL
000015ab: NOT
000015ac: AND
000015ad: SWAP1
000015ae: DUP4
000015af: PUSH1 0xff
000015b1: AND
000015b2: MUL
000015b3: OR
000015b4: SWAP1
000015b5: SSTORE
000015b6: POP
000015b7: PUSH1 0x60
000015b9: DUP3
000015ba: ADD
000015bb: MLOAD
000015bc: DUP2
000015bd: PUSH1 0x01
000015bf: ADD
000015c0: PUSH1 0x15
000015c2: PUSH2 0x0100
000015c5: EXP
000015c6: DUP2
000015c7: SLOAD
000015c8: DUP2
000015c9: PUSH1 0xff
000015cb: MUL
000015cc: NOT
000015cd: AND
000015ce: SWAP1
000015cf: DUP4
000015d0: PUSH1 0xff
000015d2: AND
000015d3: MUL
000015d4: OR
000015d5: SWAP1
000015d6: SSTORE
000015d7: POP
000015d8: PUSH1 0x80
000015da: DUP3
000015db: ADD
000015dc: MLOAD
000015dd: DUP2
000015de: PUSH1 0x02
000015e0: ADD
000015e1: PUSH1 0x00
000015e3: PUSH2 0x0100
000015e6: EXP
000015e7: DUP2
000015e8: SLOAD
000015e9: DUP2
000015ea: PUSH1 0x01
000015ec: PUSH1 0x80
000015ee: PUSH1 0x02
000015f0: EXP
000015f1: SUB
000015f2: MUL
000015f3: NOT
000015f4: AND
000015f5: SWAP1
000015f6: DUP4
000015f7: PUSH1 0x01
000015f9: PUSH1 0x80
000015fb: PUSH1 0x02
000015fd: EXP
000015fe: SUB
000015ff: AND
00001600: MUL
00001601: OR
00001602: SWAP1
00001603: SSTORE
00001604: POP
00001605: PUSH1 0xa0
00001607: DUP3
00001608: ADD
00001609: MLOAD
0000160a: DUP2
0000160b: PUSH1 0x02
0000160d: ADD
0000160e: PUSH1 0x10
00001610: PUSH2 0x0100
00001613: EXP
00001614: DUP2
00001615: SLOAD
00001616: DUP2
00001617: PUSH6 0xffffffffffff
0000161e: MUL
0000161f: NOT
00001620: AND
00001621: SWAP1
00001622: DUP4
00001623: PUSH6 0xffffffffffff
0000162a: AND
0000162b: MUL
0000162c: OR
0000162d: SWAP1
0000162e: SSTORE
0000162f: POP
00001630: PUSH1 0xc0
00001632: DUP3
00001633: ADD
00001634: MLOAD
00001635: DUP2
00001636: PUSH1 0x02
00001638: ADD
00001639: PUSH1 0x16
0000163b: PUSH2 0x0100
0000163e: EXP
0000163f: DUP2
00001640: SLOAD
00001641: DUP2
00001642: PUSH6 0xffffffffffff
00001649: MUL
0000164a: NOT
0000164b: AND
0000164c: SWAP1
0000164d: DUP4
0000164e: PUSH6 0xffffffffffff
00001655: AND
00001656: MUL
00001657: OR
00001658: SWAP1
00001659: SSTORE
0000165a: POP
0000165b: PUSH1 0xe0
0000165d: DUP3
0000165e: ADD
0000165f: MLOAD
00001660: DUP2
00001661: PUSH1 0x02
00001663: ADD
00001664: PUSH1 0x1c
00001666: PUSH2 0x0100
00001669: EXP
0000166a: DUP2
0000166b: SLOAD
0000166c: DUP2
0000166d: PUSH1 0xff
0000166f: MUL
00001670: NOT
00001671: AND
00001672: SWAP1
00001673: DUP4
00001674: ISZERO
00001675: ISZERO
00001676: MUL
00001677: OR
00001678: SWAP1
00001679: SSTORE
0000167a: POP
0000167b: PUSH2 0x0100
0000167e: DUP3
0000167f: ADD
00001680: MLOAD
00001681: DUP2
00001682: PUSH1 0x02
00001684: ADD
00001685: PUSH1 0x1d
00001687: PUSH2 0x0100
0000168a: EXP
0000168b: DUP2
0000168c: SLOAD
0000168d: DUP2
0000168e: PUSH1 0xff
00001690: MUL
00001691: NOT
00001692: AND
00001693: SWAP1
00001694: DUP4
00001695: ISZERO
00001696: ISZERO
00001697: MUL
00001698: OR
00001699: SWAP1
0000169a: SSTORE
0000169b: POP
0000169c: POP
0000169d: POP
0000169e: POP
0000169f: POP
000016a0: POP
000016a1: POP
000016a2: POP
000016a3: JUMP
000016a4: JUMPDEST
000016a5: PUSH1 0x02
000016a7: DUP2
000016a8: JUMP
000016a9: JUMPDEST
000016aa: PUSH1 0x01
000016ac: SLOAD
000016ad: SWAP1
000016ae: JUMP
000016af: JUMPDEST
000016b0: CALLER
000016b1: PUSH1 0x00
000016b3: SWAP1
000016b4: DUP2
000016b5: MSTORE
000016b6: PUSH1 0x20
000016b8: DUP2
000016b9: SWAP1
000016ba: MSTORE
000016bb: PUSH1 0x40
000016bd: DUP2
000016be: KECCAK256
000016bf: SLOAD
000016c0: DUP2
000016c1: LT
000016c2: PUSH2 0x16ca
000016c5: JUMPI
000016c6: PUSH1 0x00
000016c8: DUP1
000016c9: REVERT
000016ca: JUMPDEST
000016cb: PUSH1 0x01
000016cd: PUSH1 0xa0
000016cf: PUSH1 0x02
000016d1: EXP
000016d2: SUB
000016d3: DUP4
000016d4: AND
000016d5: CALLER
000016d6: EQ
000016d7: ISZERO
000016d8: PUSH2 0x16e0
000016db: JUMPI
000016dc: PUSH1 0x00
000016de: DUP1
000016df: REVERT
000016e0: JUMPDEST
000016e1: DUP2
000016e2: DUP1
000016e3: ISZERO
000016e4: PUSH2 0x1703
000016e7: JUMPI
000016e8: POP
000016e9: PUSH1 0x01
000016eb: PUSH1 0xa0
000016ed: PUSH1 0x02
000016ef: EXP
000016f0: SUB
000016f1: DUP4
000016f2: AND
000016f3: PUSH1 0x00
000016f5: SWAP1
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: DUP2
000016fb: SWAP1
000016fc: MSTORE
000016fd: PUSH1 0x40
000016ff: SWAP1
00001700: KECCAK256
00001701: SLOAD
00001702: ISZERO
00001703: JUMPDEST
00001704: ISZERO
00001705: PUSH2 0x1913
00001708: JUMPI
00001709: PUSH1 0x01
0000170b: DUP1
0000170c: SLOAD
0000170d: DUP1
0000170e: DUP3
0000170f: ADD
00001710: DUP3
00001711: SSTORE
00001712: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00001733: ADD
00001734: DUP1
00001735: SLOAD
00001736: PUSH1 0x01
00001738: PUSH1 0xa0
0000173a: PUSH1 0x02
0000173c: EXP
0000173d: SUB
0000173e: NOT
0000173f: SWAP1
00001740: DUP2
00001741: AND
00001742: PUSH1 0x01
00001744: PUSH1 0xa0
00001746: PUSH1 0x02
00001748: EXP
00001749: SUB
0000174a: DUP8
0000174b: DUP2
0000174c: AND
0000174d: SWAP2
0000174e: DUP3
0000174f: OR
00001750: SWAP1
00001751: SWAP4
00001752: SSTORE
00001753: DUP4
00001754: SLOAD
00001755: PUSH1 0x00
00001757: DUP3
00001758: DUP2
00001759: MSTORE
0000175a: PUSH1 0x20
0000175c: DUP2
0000175d: DUP2
0000175e: MSTORE
0000175f: PUSH1 0x40
00001761: DUP1
00001762: DUP4
00001763: KECCAK256
00001764: SWAP4
00001765: SWAP1
00001766: SWAP4
00001767: SSTORE
00001768: DUP3
00001769: MLOAD
0000176a: PUSH2 0x0120
0000176d: DUP2
0000176e: ADD
0000176f: DUP5
00001770: MSTORE
00001771: SWAP4
00001772: DUP5
00001773: MSTORE
00001774: CALLER
00001775: SWAP1
00001776: DUP5
00001777: ADD
00001778: SWAP1
00001779: DUP2
0000177a: MSTORE
0000177b: PUSH1 0x02
0000177d: SWAP3
0000177e: DUP5
0000177f: ADD
00001780: SWAP3
00001781: DUP4
00001782: MSTORE
00001783: PUSH1 0x60
00001785: DUP5
00001786: ADD
00001787: DUP8
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x80
0000178c: DUP6
0000178d: ADD
0000178e: DUP4
0000178f: DUP2
00001790: MSTORE
00001791: TIMESTAMP
00001792: PUSH6 0xffffffffffff
00001799: SWAP1
0000179a: DUP2
0000179b: AND
0000179c: PUSH1 0xa0
0000179e: DUP9
0000179f: ADD
000017a0: SWAP1
000017a1: DUP2
000017a2: MSTORE
000017a3: PUSH1 0xc0
000017a5: DUP9
000017a6: ADD
000017a7: DUP7
000017a8: DUP2
000017a9: MSTORE
000017aa: DUP14
000017ab: ISZERO
000017ac: ISZERO
000017ad: PUSH1 0xe0
000017af: DUP11
000017b0: ADD
000017b1: SWAP1
000017b2: DUP2
000017b3: MSTORE
000017b4: PUSH2 0x0100
000017b7: DUP11
000017b8: ADD
000017b9: DUP9
000017ba: DUP2
000017bb: MSTORE
000017bc: PUSH1 0x0a
000017be: DUP1
000017bf: SLOAD
000017c0: SWAP15
000017c1: DUP16
000017c2: ADD
000017c3: DUP2
000017c4: SSTORE
000017c5: SWAP1
000017c6: SWAP9
000017c7: MSTORE
000017c8: SWAP9
000017c9: MLOAD
000017ca: PUSH1 0x00
000017cc: DUP1
000017cd: MLOAD
000017ce: PUSH1 0x20
000017d0: PUSH2 0x2887
000017d3: DUP4
000017d4: CODECOPY
000017d5: DUP2
000017d6: MLOAD
000017d7: SWAP2
000017d8: MSTORE
000017d9: PUSH1 0x03
000017db: SWAP1
000017dc: SWAP14
000017dd: MUL
000017de: SWAP13
000017df: DUP14
000017e0: ADD
000017e1: DUP1
000017e2: SLOAD
000017e3: DUP13
000017e4: AND
000017e5: SWAP2
000017e6: DUP14
000017e7: AND
000017e8: SWAP2
000017e9: SWAP1
000017ea: SWAP2
000017eb: OR
000017ec: SWAP1
000017ed: SSTORE
000017ee: SWAP5
000017ef: MLOAD
000017f0: PUSH1 0x00
000017f2: DUP1
000017f3: MLOAD
000017f4: PUSH1 0x20
000017f6: PUSH2 0x2867
000017f9: DUP4
000017fa: CODECOPY
000017fb: DUP2
000017fc: MLOAD
000017fd: SWAP2
000017fe: MSTORE
000017ff: DUP13
00001800: ADD
00001801: DUP1
00001802: SLOAD
00001803: SWAP9
00001804: MLOAD
00001805: SWAP6
00001806: MLOAD
00001807: SWAP9
00001808: SWAP1
00001809: SWAP11
0000180a: AND
0000180b: SWAP11
0000180c: AND
0000180d: SWAP10
0000180e: SWAP1
0000180f: SWAP10
00001810: OR
00001811: PUSH21 0xff0000000000000000000000000000000000000000
00001827: NOT
00001828: AND
00001829: PUSH1 0xa0
0000182b: PUSH1 0x02
0000182d: EXP
0000182e: PUSH1 0xff
00001830: SWAP5
00001831: DUP6
00001832: AND
00001833: MUL
00001834: OR
00001835: PUSH1 0xa8
00001837: PUSH1 0x02
00001839: EXP
0000183a: PUSH1 0xff
0000183c: MUL
0000183d: NOT
0000183e: AND
0000183f: PUSH1 0xa8
00001841: PUSH1 0x02
00001843: EXP
00001844: SWAP4
00001845: SWAP1
00001846: SWAP7
00001847: AND
00001848: SWAP3
00001849: SWAP1
0000184a: SWAP3
0000184b: MUL
0000184c: SWAP5
0000184d: SWAP1
0000184e: SWAP5
0000184f: OR
00001850: SWAP1
00001851: SWAP6
00001852: SSTORE
00001853: SWAP2
00001854: MLOAD
00001855: PUSH1 0x00
00001857: DUP1
00001858: MLOAD
00001859: PUSH1 0x20
0000185b: PUSH2 0x28a7
0000185e: DUP4
0000185f: CODECOPY
00001860: DUP2
00001861: MLOAD
00001862: SWAP2
00001863: MSTORE
00001864: SWAP1
00001865: SWAP7
00001866: ADD
00001867: DUP1
00001868: SLOAD
00001869: SWAP6
0000186a: MLOAD
0000186b: SWAP3
0000186c: MLOAD
0000186d: SWAP4
0000186e: MLOAD
0000186f: SWAP2
00001870: MLOAD
00001871: PUSH16 0xffffffffffffffffffffffffffffffff
00001882: NOT
00001883: SWAP1
00001884: SWAP7
00001885: AND
00001886: PUSH1 0x01
00001888: PUSH1 0x80
0000188a: PUSH1 0x02
0000188c: EXP
0000188d: SUB
0000188e: SWAP1
0000188f: SWAP8
00001890: AND
00001891: SWAP7
00001892: SWAP1
00001893: SWAP7
00001894: OR
00001895: PUSH22 0xffffffffffff00000000000000000000000000000000
000018ac: NOT
000018ad: AND
000018ae: PUSH1 0x80
000018b0: PUSH1 0x02
000018b2: EXP
000018b3: SWAP3
000018b4: DUP6
000018b5: AND
000018b6: SWAP3
000018b7: SWAP1
000018b8: SWAP3
000018b9: MUL
000018ba: SWAP2
000018bb: SWAP1
000018bc: SWAP2
000018bd: OR
000018be: PUSH1 0x00
000018c0: DUP1
000018c1: MLOAD
000018c2: PUSH1 0x20
000018c4: PUSH2 0x28c7
000018c7: DUP4
000018c8: CODECOPY
000018c9: DUP2
000018ca: MLOAD
000018cb: SWAP2
000018cc: MSTORE
000018cd: AND
000018ce: PUSH1 0xb0
000018d0: PUSH1 0x02
000018d2: EXP
000018d3: SWAP3
000018d4: SWAP1
000018d5: SWAP4
000018d6: AND
000018d7: SWAP2
000018d8: SWAP1
000018d9: SWAP2
000018da: MUL
000018db: SWAP2
000018dc: SWAP1
000018dd: SWAP2
000018de: OR
000018df: PUSH1 0xe0
000018e1: PUSH1 0x02
000018e3: EXP
000018e4: PUSH1 0xff
000018e6: MUL
000018e7: NOT
000018e8: AND
000018e9: PUSH1 0xe0
000018eb: PUSH1 0x02
000018ed: EXP
000018ee: SWAP2
000018ef: ISZERO
000018f0: ISZERO
000018f1: SWAP2
000018f2: SWAP1
000018f3: SWAP2
000018f4: MUL
000018f5: OR
000018f6: PUSH1 0xe8
000018f8: PUSH1 0x02
000018fa: EXP
000018fb: PUSH1 0xff
000018fd: MUL
000018fe: NOT
000018ff: AND
00001900: PUSH1 0xe8
00001902: PUSH1 0x02
00001904: EXP
00001905: SWAP2
00001906: ISZERO
00001907: ISZERO
00001908: SWAP2
00001909: SWAP1
0000190a: SWAP2
0000190b: MUL
0000190c: OR
0000190d: SWAP1
0000190e: SSTORE
0000190f: PUSH2 0x0636
00001912: JUMP
00001913: JUMPDEST
00001914: DUP2
00001915: ISZERO
00001916: DUP1
00001917: ISZERO
00001918: PUSH2 0x1937
0000191b: JUMPI
0000191c: POP
0000191d: PUSH1 0x01
0000191f: PUSH1 0xa0
00001921: PUSH1 0x02
00001923: EXP
00001924: SUB
00001925: DUP4
00001926: AND
00001927: PUSH1 0x00
00001929: SWAP1
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x20
0000192e: DUP2
0000192f: SWAP1
00001930: MSTORE
00001931: PUSH1 0x40
00001933: DUP2
00001934: KECCAK256
00001935: SLOAD
00001936: GT
00001937: JUMPDEST
00001938: ISZERO
00001939: PUSH2 0x0636
0000193c: JUMPI
0000193d: POP
0000193e: POP
0000193f: PUSH1 0x0b
00001941: SLOAD
00001942: PUSH1 0x40
00001944: DUP1
00001945: MLOAD
00001946: PUSH2 0x0120
00001949: DUP2
0000194a: ADD
0000194b: DUP3
0000194c: MSTORE
0000194d: PUSH1 0x01
0000194f: PUSH1 0xa0
00001951: PUSH1 0x02
00001953: EXP
00001954: SUB
00001955: SWAP4
00001956: DUP5
00001957: AND
00001958: DUP2
00001959: MSTORE
0000195a: CALLER
0000195b: PUSH1 0x20
0000195d: DUP3
0000195e: ADD
0000195f: SWAP1
00001960: DUP2
00001961: MSTORE
00001962: PUSH1 0x02
00001964: SWAP3
00001965: DUP3
00001966: ADD
00001967: SWAP3
00001968: DUP4
00001969: MSTORE
0000196a: PUSH1 0x00
0000196c: PUSH1 0x60
0000196e: DUP4
0000196f: ADD
00001970: DUP2
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x80
00001975: DUP5
00001976: ADD
00001977: DUP3
00001978: DUP2
00001979: MSTORE
0000197a: PUSH6 0xffffffffffff
00001981: TIMESTAMP
00001982: DUP2
00001983: DUP2
00001984: AND
00001985: PUSH1 0xa0
00001987: DUP9
00001988: ADD
00001989: SWAP1
0000198a: DUP2
0000198b: MSTORE
0000198c: SWAP9
0000198d: ADD
0000198e: DUP2
0000198f: AND
00001990: PUSH1 0xc0
00001992: DUP8
00001993: ADD
00001994: SWAP1
00001995: DUP2
00001996: MSTORE
00001997: PUSH1 0xe0
00001999: DUP8
0000199a: ADD
0000199b: DUP6
0000199c: DUP2
0000199d: MSTORE
0000199e: PUSH2 0x0100
000019a1: DUP9
000019a2: ADD
000019a3: DUP7
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x0a
000019a8: DUP1
000019a9: SLOAD
000019aa: PUSH1 0x01
000019ac: DUP2
000019ad: ADD
000019ae: DUP3
000019af: SSTORE
000019b0: SWAP8
000019b1: MSTORE
000019b2: SWAP8
000019b3: MLOAD
000019b4: PUSH1 0x03
000019b6: SWAP1
000019b7: SWAP7
000019b8: MUL
000019b9: PUSH1 0x00
000019bb: DUP1
000019bc: MLOAD
000019bd: PUSH1 0x20
000019bf: PUSH2 0x2887
000019c2: DUP4
000019c3: CODECOPY
000019c4: DUP2
000019c5: MLOAD
000019c6: SWAP2
000019c7: MSTORE
000019c8: DUP2
000019c9: ADD
000019ca: DUP1
000019cb: SLOAD
000019cc: SWAP8
000019cd: DUP14
000019ce: AND
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: PUSH1 0x02
000019d5: EXP
000019d6: SUB
000019d7: NOT
000019d8: SWAP9
000019d9: DUP10
000019da: AND
000019db: OR
000019dc: SWAP1
000019dd: SSTORE
000019de: SWAP7
000019df: MLOAD
000019e0: PUSH1 0x00
000019e2: DUP1
000019e3: MLOAD
000019e4: PUSH1 0x20
000019e6: PUSH2 0x2867
000019e9: DUP4
000019ea: CODECOPY
000019eb: DUP2
000019ec: MLOAD
000019ed: SWAP2
000019ee: MSTORE
000019ef: DUP9
000019f0: ADD
000019f1: DUP1
000019f2: SLOAD
000019f3: SWAP11
000019f4: MLOAD
000019f5: SWAP7
000019f6: MLOAD
000019f7: PUSH1 0xff
000019f9: SWAP1
000019fa: DUP2
000019fb: AND
000019fc: PUSH1 0xa8
000019fe: PUSH1 0x02
00001a00: EXP
00001a01: MUL
00001a02: PUSH1 0xa8
00001a04: PUSH1 0x02
00001a06: EXP
00001a07: PUSH1 0xff
00001a09: MUL
00001a0a: NOT
00001a0b: SWAP2
00001a0c: SWAP1
00001a0d: SWAP9
00001a0e: AND
00001a0f: PUSH1 0xa0
00001a11: PUSH1 0x02
00001a13: EXP
00001a14: MUL
00001a15: PUSH21 0xff0000000000000000000000000000000000000000
00001a2b: NOT
00001a2c: SWAP4
00001a2d: SWAP1
00001a2e: SWAP15
00001a2f: AND
00001a30: SWAP12
00001a31: SWAP1
00001a32: SWAP9
00001a33: AND
00001a34: SWAP11
00001a35: SWAP1
00001a36: SWAP11
00001a37: OR
00001a38: AND
00001a39: SWAP11
00001a3a: SWAP1
00001a3b: SWAP11
00001a3c: OR
00001a3d: SWAP5
00001a3e: SWAP1
00001a3f: SWAP5
00001a40: AND
00001a41: SWAP3
00001a42: SWAP1
00001a43: SWAP3
00001a44: OR
00001a45: SWAP1
00001a46: SWAP6
00001a47: SSTORE
00001a48: SWAP4
00001a49: MLOAD
00001a4a: PUSH1 0x00
00001a4c: DUP1
00001a4d: MLOAD
00001a4e: PUSH1 0x20
00001a50: PUSH2 0x28a7
00001a53: DUP4
00001a54: CODECOPY
00001a55: DUP2
00001a56: MLOAD
00001a57: SWAP2
00001a58: MSTORE
00001a59: SWAP1
00001a5a: SWAP3
00001a5b: ADD
00001a5c: DUP1
00001a5d: SLOAD
00001a5e: SWAP6
00001a5f: MLOAD
00001a60: SWAP2
00001a61: MLOAD
00001a62: SWAP7
00001a63: MLOAD
00001a64: SWAP4
00001a65: MLOAD
00001a66: ISZERO
00001a67: ISZERO
00001a68: PUSH1 0xe8
00001a6a: PUSH1 0x02
00001a6c: EXP
00001a6d: MUL
00001a6e: PUSH1 0xe8
00001a70: PUSH1 0x02
00001a72: EXP
00001a73: PUSH1 0xff
00001a75: MUL
00001a76: NOT
00001a77: SWAP5
00001a78: ISZERO
00001a79: ISZERO
00001a7a: PUSH1 0xe0
00001a7c: PUSH1 0x02
00001a7e: EXP
00001a7f: MUL
00001a80: PUSH1 0xe0
00001a82: PUSH1 0x02
00001a84: EXP
00001a85: PUSH1 0xff
00001a87: MUL
00001a88: NOT
00001a89: SWAP9
00001a8a: DUP8
00001a8b: AND
00001a8c: PUSH1 0xb0
00001a8e: PUSH1 0x02
00001a90: EXP
00001a91: MUL
00001a92: PUSH1 0x00
00001a94: DUP1
00001a95: MLOAD
00001a96: PUSH1 0x20
00001a98: PUSH2 0x28c7
00001a9b: DUP4
00001a9c: CODECOPY
00001a9d: DUP2
00001a9e: MLOAD
00001a9f: SWAP2
00001aa0: MSTORE
00001aa1: SWAP5
00001aa2: SWAP1
00001aa3: SWAP8
00001aa4: AND
00001aa5: PUSH1 0x80
00001aa7: PUSH1 0x02
00001aa9: EXP
00001aaa: MUL
00001aab: PUSH22 0xffffffffffff00000000000000000000000000000000
00001ac2: NOT
00001ac3: PUSH1 0x01
00001ac5: PUSH1 0x80
00001ac7: PUSH1 0x02
00001ac9: EXP
00001aca: SUB
00001acb: SWAP1
00001acc: SWAP7
00001acd: AND
00001ace: PUSH16 0xffffffffffffffffffffffffffffffff
00001adf: NOT
00001ae0: SWAP1
00001ae1: SWAP10
00001ae2: AND
00001ae3: SWAP9
00001ae4: SWAP1
00001ae5: SWAP9
00001ae6: OR
00001ae7: SWAP5
00001ae8: SWAP1
00001ae9: SWAP5
00001aea: AND
00001aeb: SWAP7
00001aec: SWAP1
00001aed: SWAP7
00001aee: OR
00001aef: SWAP2
00001af0: SWAP1
00001af1: SWAP2
00001af2: AND
00001af3: SWAP4
00001af4: SWAP1
00001af5: SWAP4
00001af6: OR
00001af7: SWAP5
00001af8: SWAP1
00001af9: SWAP5
00001afa: AND
00001afb: SWAP4
00001afc: SWAP1
00001afd: SWAP4
00001afe: OR
00001aff: SWAP3
00001b00: SWAP1
00001b01: SWAP3
00001b02: AND
00001b03: OR
00001b04: SWAP1
00001b05: SSTORE
00001b06: JUMP
00001b07: JUMPDEST
00001b08: CALLER
00001b09: PUSH1 0x00
00001b0b: SWAP1
00001b0c: DUP2
00001b0d: MSTORE
00001b0e: PUSH1 0x20
00001b10: DUP2
00001b11: SWAP1
00001b12: MSTORE
00001b13: PUSH1 0x40
00001b15: DUP2
00001b16: KECCAK256
00001b17: SLOAD
00001b18: DUP2
00001b19: LT
00001b1a: PUSH2 0x1b22
00001b1d: JUMPI
00001b1e: PUSH1 0x00
00001b20: DUP1
00001b21: REVERT
00001b22: JUMPDEST
00001b23: POP
00001b24: PUSH1 0x0b
00001b26: SLOAD
00001b27: PUSH1 0x0a
00001b29: DUP1
00001b2a: SLOAD
00001b2b: PUSH1 0x00
00001b2d: SWAP1
00001b2e: DUP2
00001b2f: MSTORE
00001b30: PUSH1 0x05
00001b32: PUSH1 0x20
00001b34: SWAP1
00001b35: DUP2
00001b36: MSTORE
00001b37: PUSH1 0x40
00001b39: DUP1
00001b3a: DUP4
00001b3b: KECCAK256
00001b3c: DUP7
00001b3d: SWAP1
00001b3e: SSTORE
00001b3f: DUP1
00001b40: MLOAD
00001b41: PUSH2 0x0120
00001b44: DUP2
00001b45: ADD
00001b46: DUP3
00001b47: MSTORE
00001b48: PUSH1 0x01
00001b4a: PUSH1 0xa0
00001b4c: PUSH1 0x02
00001b4e: EXP
00001b4f: SUB
00001b50: SWAP8
00001b51: DUP9
00001b52: AND
00001b53: DUP2
00001b54: MSTORE
00001b55: CALLER
00001b56: SWAP3
00001b57: DUP2
00001b58: ADD
00001b59: SWAP3
00001b5a: DUP4
00001b5b: MSTORE
00001b5c: PUSH1 0x01
00001b5e: SWAP2
00001b5f: DUP2
00001b60: ADD
00001b61: DUP3
00001b62: DUP2
00001b63: MSTORE
00001b64: PUSH1 0x60
00001b66: DUP3
00001b67: ADD
00001b68: DUP6
00001b69: DUP2
00001b6a: MSTORE
00001b6b: PUSH1 0x80
00001b6d: DUP4
00001b6e: ADD
00001b6f: DUP7
00001b70: DUP2
00001b71: MSTORE
00001b72: TIMESTAMP
00001b73: PUSH6 0xffffffffffff
00001b7a: DUP2
00001b7b: DUP2
00001b7c: AND
00001b7d: PUSH1 0xa0
00001b7f: DUP8
00001b80: ADD
00001b81: SWAP1
00001b82: DUP2
00001b83: MSTORE
00001b84: SWAP2
00001b85: SWAP1
00001b86: SWAP11
00001b87: ADD
00001b88: DUP11
00001b89: AND
00001b8a: PUSH1 0xc0
00001b8c: DUP7
00001b8d: ADD
00001b8e: SWAP1
00001b8f: DUP2
00001b90: MSTORE
00001b91: SWAP11
00001b92: ISZERO
00001b93: ISZERO
00001b94: PUSH1 0xe0
00001b96: DUP7
00001b97: ADD
00001b98: SWAP1
00001b99: DUP2
00001b9a: MSTORE
00001b9b: PUSH2 0x0100
00001b9e: DUP7
00001b9f: ADD
00001ba0: DUP10
00001ba1: DUP2
00001ba2: MSTORE
00001ba3: DUP11
00001ba4: SLOAD
00001ba5: SWAP8
00001ba6: DUP9
00001ba7: ADD
00001ba8: DUP12
00001ba9: SSTORE
00001baa: SWAP10
00001bab: SWAP1
00001bac: SWAP9
00001bad: MSTORE
00001bae: SWAP4
00001baf: MLOAD
00001bb0: PUSH1 0x00
00001bb2: DUP1
00001bb3: MLOAD
00001bb4: PUSH1 0x20
00001bb6: PUSH2 0x2887
00001bb9: DUP4
00001bba: CODECOPY
00001bbb: DUP2
00001bbc: MLOAD
00001bbd: SWAP2
00001bbe: MSTORE
00001bbf: PUSH1 0x03
00001bc1: SWAP1
00001bc2: SWAP7
00001bc3: MUL
00001bc4: SWAP6
00001bc5: DUP7
00001bc6: ADD
00001bc7: DUP1
00001bc8: SLOAD
00001bc9: PUSH1 0x01
00001bcb: PUSH1 0xa0
00001bcd: PUSH1 0x02
00001bcf: EXP
00001bd0: SUB
00001bd1: NOT
00001bd2: SWAP1
00001bd3: DUP2
00001bd4: AND
00001bd5: SWAP3
00001bd6: DUP15
00001bd7: AND
00001bd8: SWAP3
00001bd9: SWAP1
00001bda: SWAP3
00001bdb: OR
00001bdc: SWAP1
00001bdd: SSTORE
00001bde: SWAP6
00001bdf: MLOAD
00001be0: PUSH1 0x00
00001be2: DUP1
00001be3: MLOAD
00001be4: PUSH1 0x20
00001be6: PUSH2 0x2867
00001be9: DUP4
00001bea: CODECOPY
00001beb: DUP2
00001bec: MLOAD
00001bed: SWAP2
00001bee: MSTORE
00001bef: DUP7
00001bf0: ADD
00001bf1: DUP1
00001bf2: SLOAD
00001bf3: SWAP5
00001bf4: MLOAD
00001bf5: SWAP4
00001bf6: MLOAD
00001bf7: SWAP5
00001bf8: SWAP1
00001bf9: SWAP8
00001bfa: AND
00001bfb: SWAP12
00001bfc: AND
00001bfd: SWAP11
00001bfe: SWAP1
00001bff: SWAP11
00001c00: OR
00001c01: PUSH21 0xff0000000000000000000000000000000000000000
00001c17: NOT
00001c18: AND
00001c19: PUSH1 0xa0
00001c1b: PUSH1 0x02
00001c1d: EXP
00001c1e: PUSH1 0xff
00001c20: SWAP3
00001c21: DUP4
00001c22: AND
00001c23: MUL
00001c24: OR
00001c25: PUSH1 0xa8
00001c27: PUSH1 0x02
00001c29: EXP
00001c2a: PUSH1 0xff
00001c2c: MUL
00001c2d: NOT
00001c2e: AND
00001c2f: PUSH1 0xa8
00001c31: PUSH1 0x02
00001c33: EXP
00001c34: SWAP2
00001c35: SWAP1
00001c36: SWAP3
00001c37: AND
00001c38: MUL
00001c39: OR
00001c3a: SWAP1
00001c3b: SWAP3
00001c3c: SSTORE
00001c3d: SWAP6
00001c3e: MLOAD
00001c3f: PUSH1 0x00
00001c41: DUP1
00001c42: MLOAD
00001c43: PUSH1 0x20
00001c45: PUSH2 0x28a7
00001c48: DUP4
00001c49: CODECOPY
00001c4a: DUP2
00001c4b: MLOAD
00001c4c: SWAP2
00001c4d: MSTORE
00001c4e: SWAP1
00001c4f: SWAP7
00001c50: ADD
00001c51: DUP1
00001c52: SLOAD
00001c53: SWAP2
00001c54: MLOAD
00001c55: SWAP6
00001c56: MLOAD
00001c57: SWAP3
00001c58: MLOAD
00001c59: SWAP4
00001c5a: MLOAD
00001c5b: PUSH16 0xffffffffffffffffffffffffffffffff
00001c6c: NOT
00001c6d: SWAP1
00001c6e: SWAP3
00001c6f: AND
00001c70: PUSH1 0x01
00001c72: PUSH1 0x80
00001c74: PUSH1 0x02
00001c76: EXP
00001c77: SUB
00001c78: SWAP1
00001c79: SWAP8
00001c7a: AND
00001c7b: SWAP7
00001c7c: SWAP1
00001c7d: SWAP7
00001c7e: OR
00001c7f: PUSH22 0xffffffffffff00000000000000000000000000000000
00001c96: NOT
00001c97: AND
00001c98: PUSH1 0x80
00001c9a: PUSH1 0x02
00001c9c: EXP
00001c9d: SWAP6
00001c9e: DUP6
00001c9f: AND
00001ca0: SWAP6
00001ca1: SWAP1
00001ca2: SWAP6
00001ca3: MUL
00001ca4: SWAP5
00001ca5: SWAP1
00001ca6: SWAP5
00001ca7: OR
00001ca8: PUSH1 0x00
00001caa: DUP1
00001cab: MLOAD
00001cac: PUSH1 0x20
00001cae: PUSH2 0x28c7
00001cb1: DUP4
00001cb2: CODECOPY
00001cb3: DUP2
00001cb4: MLOAD
00001cb5: SWAP2
00001cb6: MSTORE
00001cb7: AND
00001cb8: PUSH1 0xb0
00001cba: PUSH1 0x02
00001cbc: EXP
00001cbd: SWAP2
00001cbe: SWAP1
00001cbf: SWAP4
00001cc0: AND
00001cc1: MUL
00001cc2: SWAP2
00001cc3: SWAP1
00001cc4: SWAP2
00001cc5: OR
00001cc6: PUSH1 0xe0
00001cc8: PUSH1 0x02
00001cca: EXP
00001ccb: PUSH1 0xff
00001ccd: MUL
00001cce: NOT
00001ccf: AND
00001cd0: PUSH1 0xe0
00001cd2: PUSH1 0x02
00001cd4: EXP
00001cd5: SWAP2
00001cd6: ISZERO
00001cd7: ISZERO
00001cd8: SWAP2
00001cd9: SWAP1
00001cda: SWAP2
00001cdb: MUL
00001cdc: OR
00001cdd: PUSH1 0xe8
00001cdf: PUSH1 0x02
00001ce1: EXP
00001ce2: PUSH1 0xff
00001ce4: MUL
00001ce5: NOT
00001ce6: AND
00001ce7: PUSH1 0xe8
00001ce9: PUSH1 0x02
00001ceb: EXP
00001cec: SWAP2
00001ced: ISZERO
00001cee: ISZERO
00001cef: SWAP2
00001cf0: SWAP1
00001cf1: SWAP2
00001cf2: MUL
00001cf3: OR
00001cf4: SWAP1
00001cf5: SSTORE
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x05
00001cfa: DUP2
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x0a
00001cff: SLOAD
00001d00: SWAP1
00001d01: JUMP
00001d02: JUMPDEST
00001d03: PUSH1 0x01
00001d05: PUSH1 0xa0
00001d07: PUSH1 0x02
00001d09: EXP
00001d0a: SUB
00001d0b: DUP4
00001d0c: AND
00001d0d: PUSH1 0x00
00001d0f: SWAP1
00001d10: DUP2
00001d11: MSTORE
00001d12: PUSH1 0x03
00001d14: PUSH1 0x20
00001d16: MSTORE
00001d17: PUSH1 0x40
00001d19: SWAP1
00001d1a: KECCAK256
00001d1b: SLOAD
00001d1c: PUSH18 0x010000000000000000000000000000000000
00001d2f: SWAP1
00001d30: DIV
00001d31: PUSH1 0xff
00001d33: AND
00001d34: ISZERO
00001d35: ISZERO
00001d36: PUSH2 0x1d3e
00001d39: JUMPI
00001d3a: PUSH1 0x00
00001d3c: DUP1
00001d3d: REVERT
00001d3e: JUMPDEST
00001d3f: PUSH2 0x1d49
00001d42: DUP4
00001d43: DUP4
00001d44: DUP4
00001d45: PUSH2 0x26d1
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: PUSH1 0x0a
00001d4c: PUSH2 0x0120
00001d4f: PUSH1 0x40
00001d51: MLOAD
00001d52: SWAP1
00001d53: DUP2
00001d54: ADD
00001d55: PUSH1 0x40
00001d57: MSTORE
00001d58: DUP1
00001d59: DUP6
00001d5a: PUSH1 0x01
00001d5c: PUSH1 0xa0
00001d5e: PUSH1 0x02
00001d60: EXP
00001d61: SUB
00001d62: AND
00001d63: DUP2
00001d64: MSTORE
00001d65: PUSH1 0x20
00001d67: ADD
00001d68: DUP5
00001d69: PUSH1 0x01
00001d6b: PUSH1 0xa0
00001d6d: PUSH1 0x02
00001d6f: EXP
00001d70: SUB
00001d71: AND
00001d72: DUP2
00001d73: MSTORE
00001d74: PUSH1 0x20
00001d76: ADD
00001d77: PUSH1 0x03
00001d79: PUSH1 0xff
00001d7b: AND
00001d7c: DUP2
00001d7d: MSTORE
00001d7e: PUSH1 0x20
00001d80: ADD
00001d81: PUSH1 0x01
00001d83: PUSH1 0xff
00001d85: AND
00001d86: DUP2
00001d87: MSTORE
00001d88: PUSH1 0x20
00001d8a: ADD
00001d8b: DUP4
00001d8c: PUSH1 0x01
00001d8e: PUSH1 0x80
00001d90: PUSH1 0x02
00001d92: EXP
00001d93: SUB
00001d94: AND
00001d95: DUP2
00001d96: MSTORE
00001d97: PUSH1 0x20
00001d99: ADD
00001d9a: TIMESTAMP
00001d9b: PUSH6 0xffffffffffff
00001da2: AND
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x20
00001da7: ADD
00001da8: PUSH1 0x00
00001daa: PUSH6 0xffffffffffff
00001db1: AND
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: ADD
00001db7: PUSH1 0x00
00001db9: ISZERO
00001dba: ISZERO
00001dbb: DUP2
00001dbc: MSTORE
00001dbd: PUSH1 0x20
00001dbf: ADD
00001dc0: PUSH1 0x00
00001dc2: ISZERO
00001dc3: ISZERO
00001dc4: DUP2
00001dc5: MSTORE
00001dc6: POP
00001dc7: SWAP1
00001dc8: DUP1
00001dc9: PUSH1 0x01
00001dcb: DUP2
00001dcc: SLOAD
00001dcd: ADD
00001dce: DUP1
00001dcf: DUP3
00001dd0: SSTORE
00001dd1: DUP1
00001dd2: SWAP2
00001dd3: POP
00001dd4: POP
00001dd5: SWAP1
00001dd6: PUSH1 0x01
00001dd8: DUP3
00001dd9: SUB
00001dda: SWAP1
00001ddb: PUSH1 0x00
00001ddd: MSTORE
00001dde: PUSH1 0x20
00001de0: PUSH1 0x00
00001de2: KECCAK256
00001de3: SWAP1
00001de4: PUSH1 0x03
00001de6: MUL
00001de7: ADD
00001de8: PUSH1 0x00
00001dea: SWAP1
00001deb: SWAP2
00001dec: SWAP3
00001ded: SWAP1
00001dee: SWAP2
00001def: SWAP1
00001df0: SWAP2
00001df1: POP
00001df2: PUSH1 0x00
00001df4: DUP3
00001df5: ADD
00001df6: MLOAD
00001df7: DUP2
00001df8: PUSH1 0x00
00001dfa: ADD
00001dfb: PUSH1 0x00
00001dfd: PUSH2 0x0100
00001e00: EXP
00001e01: DUP2
00001e02: SLOAD
00001e03: DUP2
00001e04: PUSH1 0x01
00001e06: PUSH1 0xa0
00001e08: PUSH1 0x02
00001e0a: EXP
00001e0b: SUB
00001e0c: MUL
00001e0d: NOT
00001e0e: AND
00001e0f: SWAP1
00001e10: DUP4
00001e11: PUSH1 0x01
00001e13: PUSH1 0xa0
00001e15: PUSH1 0x02
00001e17: EXP
00001e18: SUB
00001e19: AND
00001e1a: MUL
00001e1b: OR
00001e1c: SWAP1
00001e1d: SSTORE
00001e1e: POP
00001e1f: PUSH1 0x20
00001e21: DUP3
00001e22: ADD
00001e23: MLOAD
00001e24: DUP2
00001e25: PUSH1 0x01
00001e27: ADD
00001e28: PUSH1 0x00
00001e2a: PUSH2 0x0100
00001e2d: EXP
00001e2e: DUP2
00001e2f: SLOAD
00001e30: DUP2
00001e31: PUSH1 0x01
00001e33: PUSH1 0xa0
00001e35: PUSH1 0x02
00001e37: EXP
00001e38: SUB
00001e39: MUL
00001e3a: NOT
00001e3b: AND
00001e3c: SWAP1
00001e3d: DUP4
00001e3e: PUSH1 0x01
00001e40: PUSH1 0xa0
00001e42: PUSH1 0x02
00001e44: EXP
00001e45: SUB
00001e46: AND
00001e47: MUL
00001e48: OR
00001e49: SWAP1
00001e4a: SSTORE
00001e4b: POP
00001e4c: PUSH1 0x40
00001e4e: DUP3
00001e4f: ADD
00001e50: MLOAD
00001e51: DUP2
00001e52: PUSH1 0x01
00001e54: ADD
00001e55: PUSH1 0x14
00001e57: PUSH2 0x0100
00001e5a: EXP
00001e5b: DUP2
00001e5c: SLOAD
00001e5d: DUP2
00001e5e: PUSH1 0xff
00001e60: MUL
00001e61: NOT
00001e62: AND
00001e63: SWAP1
00001e64: DUP4
00001e65: PUSH1 0xff
00001e67: AND
00001e68: MUL
00001e69: OR
00001e6a: SWAP1
00001e6b: SSTORE
00001e6c: POP
00001e6d: PUSH1 0x60
00001e6f: DUP3
00001e70: ADD
00001e71: MLOAD
00001e72: DUP2
00001e73: PUSH1 0x01
00001e75: ADD
00001e76: PUSH1 0x15
00001e78: PUSH2 0x0100
00001e7b: EXP
00001e7c: DUP2
00001e7d: SLOAD
00001e7e: DUP2
00001e7f: PUSH1 0xff
00001e81: MUL
00001e82: NOT
00001e83: AND
00001e84: SWAP1
00001e85: DUP4
00001e86: PUSH1 0xff
00001e88: AND
00001e89: MUL
00001e8a: OR
00001e8b: SWAP1
00001e8c: SSTORE
00001e8d: POP
00001e8e: PUSH1 0x80
00001e90: DUP3
00001e91: ADD
00001e92: MLOAD
00001e93: DUP2
00001e94: PUSH1 0x02
00001e96: ADD
00001e97: PUSH1 0x00
00001e99: PUSH2 0x0100
00001e9c: EXP
00001e9d: DUP2
00001e9e: SLOAD
00001e9f: DUP2
00001ea0: PUSH1 0x01
00001ea2: PUSH1 0x80
00001ea4: PUSH1 0x02
00001ea6: EXP
00001ea7: SUB
00001ea8: MUL
00001ea9: NOT
00001eaa: AND
00001eab: SWAP1
00001eac: DUP4
00001ead: PUSH1 0x01
00001eaf: PUSH1 0x80
00001eb1: PUSH1 0x02
00001eb3: EXP
00001eb4: SUB
00001eb5: AND
00001eb6: MUL
00001eb7: OR
00001eb8: SWAP1
00001eb9: SSTORE
00001eba: POP
00001ebb: PUSH1 0xa0
00001ebd: DUP3
00001ebe: ADD
00001ebf: MLOAD
00001ec0: DUP2
00001ec1: PUSH1 0x02
00001ec3: ADD
00001ec4: PUSH1 0x10
00001ec6: PUSH2 0x0100
00001ec9: EXP
00001eca: DUP2
00001ecb: SLOAD
00001ecc: DUP2
00001ecd: PUSH6 0xffffffffffff
00001ed4: MUL
00001ed5: NOT
00001ed6: AND
00001ed7: SWAP1
00001ed8: DUP4
00001ed9: PUSH6 0xffffffffffff
00001ee0: AND
00001ee1: MUL
00001ee2: OR
00001ee3: SWAP1
00001ee4: SSTORE
00001ee5: POP
00001ee6: PUSH1 0xc0
00001ee8: DUP3
00001ee9: ADD
00001eea: MLOAD
00001eeb: DUP2
00001eec: PUSH1 0x02
00001eee: ADD
00001eef: PUSH1 0x16
00001ef1: PUSH2 0x0100
00001ef4: EXP
00001ef5: DUP2
00001ef6: SLOAD
00001ef7: DUP2
00001ef8: PUSH6 0xffffffffffff
00001eff: MUL
00001f00: NOT
00001f01: AND
00001f02: SWAP1
00001f03: DUP4
00001f04: PUSH6 0xffffffffffff
00001f0b: AND
00001f0c: MUL
00001f0d: OR
00001f0e: SWAP1
00001f0f: SSTORE
00001f10: POP
00001f11: PUSH1 0xe0
00001f13: DUP3
00001f14: ADD
00001f15: MLOAD
00001f16: DUP2
00001f17: PUSH1 0x02
00001f19: ADD
00001f1a: PUSH1 0x1c
00001f1c: PUSH2 0x0100
00001f1f: EXP
00001f20: DUP2
00001f21: SLOAD
00001f22: DUP2
00001f23: PUSH1 0xff
00001f25: MUL
00001f26: NOT
00001f27: AND
00001f28: SWAP1
00001f29: DUP4
00001f2a: ISZERO
00001f2b: ISZERO
00001f2c: MUL
00001f2d: OR
00001f2e: SWAP1
00001f2f: SSTORE
00001f30: POP
00001f31: PUSH2 0x0100
00001f34: DUP3
00001f35: ADD
00001f36: MLOAD
00001f37: DUP2
00001f38: PUSH1 0x02
00001f3a: ADD
00001f3b: PUSH1 0x1d
00001f3d: PUSH2 0x0100
00001f40: EXP
00001f41: DUP2
00001f42: SLOAD
00001f43: DUP2
00001f44: PUSH1 0xff
00001f46: MUL
00001f47: NOT
00001f48: AND
00001f49: SWAP1
00001f4a: DUP4
00001f4b: ISZERO
00001f4c: ISZERO
00001f4d: MUL
00001f4e: OR
00001f4f: SWAP1
00001f50: SSTORE
00001f51: POP
00001f52: POP
00001f53: POP
00001f54: POP
00001f55: DUP2
00001f56: PUSH1 0x01
00001f58: PUSH1 0xa0
00001f5a: PUSH1 0x02
00001f5c: EXP
00001f5d: SUB
00001f5e: AND
00001f5f: PUSH4 0xa9059cbb
00001f64: DUP5
00001f65: DUP4
00001f66: PUSH1 0x40
00001f68: MLOAD
00001f69: DUP4
00001f6a: PUSH4 0xffffffff
00001f6f: AND
00001f70: PUSH1 0xe0
00001f72: PUSH1 0x02
00001f74: EXP
00001f75: MUL
00001f76: DUP2
00001f77: MSTORE
00001f78: PUSH1 0x04
00001f7a: ADD
00001f7b: DUP1
00001f7c: DUP4
00001f7d: PUSH1 0x01
00001f7f: PUSH1 0xa0
00001f81: PUSH1 0x02
00001f83: EXP
00001f84: SUB
00001f85: AND
00001f86: PUSH1 0x01
00001f88: PUSH1 0xa0
00001f8a: PUSH1 0x02
00001f8c: EXP
00001f8d: SUB
00001f8e: AND
00001f8f: DUP2
00001f90: MSTORE
00001f91: PUSH1 0x20
00001f93: ADD
00001f94: DUP3
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x20
00001f99: ADD
00001f9a: SWAP3
00001f9b: POP
00001f9c: POP
00001f9d: POP
00001f9e: PUSH1 0x20
00001fa0: PUSH1 0x40
00001fa2: MLOAD
00001fa3: DUP1
00001fa4: DUP4
00001fa5: SUB
00001fa6: DUP2
00001fa7: PUSH1 0x00
00001fa9: DUP8
00001faa: DUP1
00001fab: EXTCODESIZE
00001fac: ISZERO
00001fad: DUP1
00001fae: ISZERO
00001faf: PUSH2 0x1fb7
00001fb2: JUMPI
00001fb3: PUSH1 0x00
00001fb5: DUP1
00001fb6: REVERT
00001fb7: JUMPDEST
00001fb8: POP
00001fb9: GAS
00001fba: CALL
00001fbb: ISZERO
00001fbc: DUP1
00001fbd: ISZERO
00001fbe: PUSH2 0x1fcb
00001fc1: JUMPI
00001fc2: RETURNDATASIZE
00001fc3: PUSH1 0x00
00001fc5: DUP1
00001fc6: RETURNDATACOPY
00001fc7: RETURNDATASIZE
00001fc8: PUSH1 0x00
00001fca: REVERT
00001fcb: JUMPDEST
00001fcc: POP
00001fcd: POP
00001fce: POP
00001fcf: POP
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: RETURNDATASIZE
00001fd4: PUSH1 0x20
00001fd6: DUP2
00001fd7: LT
00001fd8: ISZERO
00001fd9: PUSH2 0x0846
00001fdc: JUMPI
00001fdd: PUSH1 0x00
00001fdf: DUP1
00001fe0: REVERT
00001fe1: JUMPDEST
00001fe2: PUSH1 0x01
00001fe4: PUSH1 0xa0
00001fe6: PUSH1 0x02
00001fe8: EXP
00001fe9: SUB
00001fea: DUP3
00001feb: AND
00001fec: PUSH1 0x00
00001fee: SWAP1
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x03
00001ff3: PUSH1 0x20
00001ff5: MSTORE
00001ff6: PUSH1 0x40
00001ff8: SWAP1
00001ff9: KECCAK256
00001ffa: SLOAD
00001ffb: PUSH1 0x80
00001ffd: PUSH1 0x02
00001fff: EXP
00002000: SWAP1
00002001: DIV
00002002: PUSH1 0xff
00002004: AND
00002005: ISZERO
00002006: ISZERO
00002007: PUSH2 0x200f
0000200a: JUMPI
0000200b: PUSH1 0x00
0000200d: DUP1
0000200e: REVERT
0000200f: JUMPDEST
00002010: PUSH2 0x201b
00002013: DUP3
00002014: PUSH1 0x00
00002016: DUP4
00002017: PUSH2 0x26d1
0000201a: JUMP
0000201b: JUMPDEST
0000201c: PUSH1 0x0a
0000201e: PUSH2 0x0120
00002021: PUSH1 0x40
00002023: MLOAD
00002024: SWAP1
00002025: DUP2
00002026: ADD
00002027: PUSH1 0x40
00002029: MSTORE
0000202a: DUP1
0000202b: DUP5
0000202c: PUSH1 0x01
0000202e: PUSH1 0xa0
00002030: PUSH1 0x02
00002032: EXP
00002033: SUB
00002034: AND
00002035: DUP2
00002036: MSTORE
00002037: PUSH1 0x20
00002039: ADD
0000203a: PUSH1 0x00
0000203c: PUSH1 0x01
0000203e: PUSH1 0xa0
00002040: PUSH1 0x02
00002042: EXP
00002043: SUB
00002044: AND
00002045: DUP2
00002046: MSTORE
00002047: PUSH1 0x20
00002049: ADD
0000204a: PUSH1 0x04
0000204c: PUSH1 0xff
0000204e: AND
0000204f: DUP2
00002050: MSTORE
00002051: PUSH1 0x20
00002053: ADD
00002054: PUSH1 0x01
00002056: PUSH1 0xff
00002058: AND
00002059: DUP2
0000205a: MSTORE
0000205b: PUSH1 0x20
0000205d: ADD
0000205e: DUP4
0000205f: PUSH1 0x01
00002061: PUSH1 0x80
00002063: PUSH1 0x02
00002065: EXP
00002066: SUB
00002067: AND
00002068: DUP2
00002069: MSTORE
0000206a: PUSH1 0x20
0000206c: ADD
0000206d: TIMESTAMP
0000206e: PUSH6 0xffffffffffff
00002075: AND
00002076: DUP2
00002077: MSTORE
00002078: PUSH1 0x20
0000207a: ADD
0000207b: PUSH1 0x00
0000207d: PUSH6 0xffffffffffff
00002084: AND
00002085: DUP2
00002086: MSTORE
00002087: PUSH1 0x20
00002089: ADD
0000208a: PUSH1 0x00
0000208c: ISZERO
0000208d: ISZERO
0000208e: DUP2
0000208f: MSTORE
00002090: PUSH1 0x20
00002092: ADD
00002093: PUSH1 0x00
00002095: ISZERO
00002096: ISZERO
00002097: DUP2
00002098: MSTORE
00002099: POP
0000209a: SWAP1
0000209b: DUP1
0000209c: PUSH1 0x01
0000209e: DUP2
0000209f: SLOAD
000020a0: ADD
000020a1: DUP1
000020a2: DUP3
000020a3: SSTORE
000020a4: DUP1
000020a5: SWAP2
000020a6: POP
000020a7: POP
000020a8: SWAP1
000020a9: PUSH1 0x01
000020ab: DUP3
000020ac: SUB
000020ad: SWAP1
000020ae: PUSH1 0x00
000020b0: MSTORE
000020b1: PUSH1 0x20
000020b3: PUSH1 0x00
000020b5: KECCAK256
000020b6: SWAP1
000020b7: PUSH1 0x03
000020b9: MUL
000020ba: ADD
000020bb: PUSH1 0x00
000020bd: SWAP1
000020be: SWAP2
000020bf: SWAP3
000020c0: SWAP1
000020c1: SWAP2
000020c2: SWAP1
000020c3: SWAP2
000020c4: POP
000020c5: PUSH1 0x00
000020c7: DUP3
000020c8: ADD
000020c9: MLOAD
000020ca: DUP2
000020cb: PUSH1 0x00
000020cd: ADD
000020ce: PUSH1 0x00
000020d0: PUSH2 0x0100
000020d3: EXP
000020d4: DUP2
000020d5: SLOAD
000020d6: DUP2
000020d7: PUSH1 0x01
000020d9: PUSH1 0xa0
000020db: PUSH1 0x02
000020dd: EXP
000020de: SUB
000020df: MUL
000020e0: NOT
000020e1: AND
000020e2: SWAP1
000020e3: DUP4
000020e4: PUSH1 0x01
000020e6: PUSH1 0xa0
000020e8: PUSH1 0x02
000020ea: EXP
000020eb: SUB
000020ec: AND
000020ed: MUL
000020ee: OR
000020ef: SWAP1
000020f0: SSTORE
000020f1: POP
000020f2: PUSH1 0x20
000020f4: DUP3
000020f5: ADD
000020f6: MLOAD
000020f7: DUP2
000020f8: PUSH1 0x01
000020fa: ADD
000020fb: PUSH1 0x00
000020fd: PUSH2 0x0100
00002100: EXP
00002101: DUP2
00002102: SLOAD
00002103: DUP2
00002104: PUSH1 0x01
00002106: PUSH1 0xa0
00002108: PUSH1 0x02
0000210a: EXP
0000210b: SUB
0000210c: MUL
0000210d: NOT
0000210e: AND
0000210f: SWAP1
00002110: DUP4
00002111: PUSH1 0x01
00002113: PUSH1 0xa0
00002115: PUSH1 0x02
00002117: EXP
00002118: SUB
00002119: AND
0000211a: MUL
0000211b: OR
0000211c: SWAP1
0000211d: SSTORE
0000211e: POP
0000211f: PUSH1 0x40
00002121: DUP3
00002122: ADD
00002123: MLOAD
00002124: DUP2
00002125: PUSH1 0x01
00002127: ADD
00002128: PUSH1 0x14
0000212a: PUSH2 0x0100
0000212d: EXP
0000212e: DUP2
0000212f: SLOAD
00002130: DUP2
00002131: PUSH1 0xff
00002133: MUL
00002134: NOT
00002135: AND
00002136: SWAP1
00002137: DUP4
00002138: PUSH1 0xff
0000213a: AND
0000213b: MUL
0000213c: OR
0000213d: SWAP1
0000213e: SSTORE
0000213f: POP
00002140: PUSH1 0x60
00002142: DUP3
00002143: ADD
00002144: MLOAD
00002145: DUP2
00002146: PUSH1 0x01
00002148: ADD
00002149: PUSH1 0x15
0000214b: PUSH2 0x0100
0000214e: EXP
0000214f: DUP2
00002150: SLOAD
00002151: DUP2
00002152: PUSH1 0xff
00002154: MUL
00002155: NOT
00002156: AND
00002157: SWAP1
00002158: DUP4
00002159: PUSH1 0xff
0000215b: AND
0000215c: MUL
0000215d: OR
0000215e: SWAP1
0000215f: SSTORE
00002160: POP
00002161: PUSH1 0x80
00002163: DUP3
00002164: ADD
00002165: MLOAD
00002166: DUP2
00002167: PUSH1 0x02
00002169: ADD
0000216a: PUSH1 0x00
0000216c: PUSH2 0x0100
0000216f: EXP
00002170: DUP2
00002171: SLOAD
00002172: DUP2
00002173: PUSH1 0x01
00002175: PUSH1 0x80
00002177: PUSH1 0x02
00002179: EXP
0000217a: SUB
0000217b: MUL
0000217c: NOT
0000217d: AND
0000217e: SWAP1
0000217f: DUP4
00002180: PUSH1 0x01
00002182: PUSH1 0x80
00002184: PUSH1 0x02
00002186: EXP
00002187: SUB
00002188: AND
00002189: MUL
0000218a: OR
0000218b: SWAP1
0000218c: SSTORE
0000218d: POP
0000218e: PUSH1 0xa0
00002190: DUP3
00002191: ADD
00002192: MLOAD
00002193: DUP2
00002194: PUSH1 0x02
00002196: ADD
00002197: PUSH1 0x10
00002199: PUSH2 0x0100
0000219c: EXP
0000219d: DUP2
0000219e: SLOAD
0000219f: DUP2
000021a0: PUSH6 0xffffffffffff
000021a7: MUL
000021a8: NOT
000021a9: AND
000021aa: SWAP1
000021ab: DUP4
000021ac: PUSH6 0xffffffffffff
000021b3: AND
000021b4: MUL
000021b5: OR
000021b6: SWAP1
000021b7: SSTORE
000021b8: POP
000021b9: PUSH1 0xc0
000021bb: DUP3
000021bc: ADD
000021bd: MLOAD
000021be: DUP2
000021bf: PUSH1 0x02
000021c1: ADD
000021c2: PUSH1 0x16
000021c4: PUSH2 0x0100
000021c7: EXP
000021c8: DUP2
000021c9: SLOAD
000021ca: DUP2
000021cb: PUSH6 0xffffffffffff
000021d2: MUL
000021d3: NOT
000021d4: AND
000021d5: SWAP1
000021d6: DUP4
000021d7: PUSH6 0xffffffffffff
000021de: AND
000021df: MUL
000021e0: OR
000021e1: SWAP1
000021e2: SSTORE
000021e3: POP
000021e4: PUSH1 0xe0
000021e6: DUP3
000021e7: ADD
000021e8: MLOAD
000021e9: DUP2
000021ea: PUSH1 0x02
000021ec: ADD
000021ed: PUSH1 0x1c
000021ef: PUSH2 0x0100
000021f2: EXP
000021f3: DUP2
000021f4: SLOAD
000021f5: DUP2
000021f6: PUSH1 0xff
000021f8: MUL
000021f9: NOT
000021fa: AND
000021fb: SWAP1
000021fc: DUP4
000021fd: ISZERO
000021fe: ISZERO
000021ff: MUL
00002200: OR
00002201: SWAP1
00002202: SSTORE
00002203: POP
00002204: PUSH2 0x0100
00002207: DUP3
00002208: ADD
00002209: MLOAD
0000220a: DUP2
0000220b: PUSH1 0x02
0000220d: ADD
0000220e: PUSH1 0x1d
00002210: PUSH2 0x0100
00002213: EXP
00002214: DUP2
00002215: SLOAD
00002216: DUP2
00002217: PUSH1 0xff
00002219: MUL
0000221a: NOT
0000221b: AND
0000221c: SWAP1
0000221d: DUP4
0000221e: ISZERO
0000221f: ISZERO
00002220: MUL
00002221: OR
00002222: SWAP1
00002223: SSTORE
00002224: POP
00002225: POP
00002226: POP
00002227: POP
00002228: DUP2
00002229: PUSH1 0x01
0000222b: PUSH1 0xa0
0000222d: PUSH1 0x02
0000222f: EXP
00002230: SUB
00002231: AND
00002232: PUSH2 0x08fc
00002235: DUP3
00002236: SWAP1
00002237: DUP2
00002238: ISZERO
00002239: MUL
0000223a: SWAP1
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: PUSH1 0x00
00002240: PUSH1 0x40
00002242: MLOAD
00002243: DUP1
00002244: DUP4
00002245: SUB
00002246: DUP2
00002247: DUP6
00002248: DUP9
00002249: DUP9
0000224a: CALL
0000224b: SWAP4
0000224c: POP
0000224d: POP
0000224e: POP
0000224f: POP
00002250: ISZERO
00002251: DUP1
00002252: ISZERO
00002253: PUSH2 0x0636
00002256: JUMPI
00002257: RETURNDATASIZE
00002258: PUSH1 0x00
0000225a: DUP1
0000225b: RETURNDATACOPY
0000225c: RETURNDATASIZE
0000225d: PUSH1 0x00
0000225f: REVERT
00002260: JUMPDEST
00002261: PUSH1 0x01
00002263: PUSH1 0xa0
00002265: PUSH1 0x02
00002267: EXP
00002268: SUB
00002269: DUP3
0000226a: AND
0000226b: PUSH1 0x00
0000226d: SWAP1
0000226e: DUP2
0000226f: MSTORE
00002270: PUSH1 0x04
00002272: PUSH1 0x20
00002274: MSTORE
00002275: PUSH1 0x40
00002277: SWAP1
00002278: KECCAK256
00002279: SLOAD
0000227a: DUP1
0000227b: ISZERO
0000227c: ISZERO
0000227d: PUSH2 0x2285
00002280: JUMPI
00002281: PUSH1 0x00
00002283: DUP1
00002284: REVERT
00002285: JUMPDEST
00002286: PUSH1 0x40
00002288: MLOAD
00002289: DUP3
0000228a: MLOAD
0000228b: DUP3
0000228c: SWAP2
0000228d: DUP5
0000228e: SWAP2
0000228f: DUP2
00002290: SWAP1
00002291: PUSH1 0x20
00002293: DUP5
00002294: ADD
00002295: SWAP1
00002296: DUP1
00002297: DUP4
00002298: DUP4
00002299: JUMPDEST
0000229a: PUSH1 0x20
0000229c: DUP4
0000229d: LT
0000229e: PUSH2 0x22b8
000022a1: JUMPI
000022a2: DUP1
000022a3: MLOAD
000022a4: DUP3
000022a5: MSTORE
000022a6: PUSH1 0x1f
000022a8: NOT
000022a9: SWAP1
000022aa: SWAP3
000022ab: ADD
000022ac: SWAP2
000022ad: PUSH1 0x20
000022af: SWAP2
000022b0: DUP3
000022b1: ADD
000022b2: SWAP2
000022b3: ADD
000022b4: PUSH2 0x2299
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH1 0x01
000022bb: DUP4
000022bc: PUSH1 0x20
000022be: SUB
000022bf: PUSH2 0x0100
000022c2: EXP
000022c3: SUB
000022c4: DUP1
000022c5: NOT
000022c6: DUP3
000022c7: MLOAD
000022c8: AND
000022c9: DUP2
000022ca: DUP5
000022cb: MLOAD
000022cc: AND
000022cd: DUP1
000022ce: DUP3
000022cf: OR
000022d0: DUP6
000022d1: MSTORE
000022d2: POP
000022d3: POP
000022d4: POP
000022d5: POP
000022d6: POP
000022d7: POP
000022d8: SWAP1
000022d9: POP
000022da: ADD
000022db: SWAP2
000022dc: POP
000022dd: POP
000022de: PUSH1 0x40
000022e0: MLOAD
000022e1: DUP1
000022e2: SWAP2
000022e3: SUB
000022e4: SWAP1
000022e5: KECCAK256
000022e6: PUSH1 0x00
000022e8: NOT
000022e9: AND
000022ea: EQ
000022eb: ISZERO
000022ec: ISZERO
000022ed: PUSH2 0x0636
000022f0: JUMPI
000022f1: PUSH1 0x00
000022f3: DUP1
000022f4: REVERT
000022f5: JUMPDEST
000022f6: PUSH1 0x00
000022f8: DUP1
000022f9: PUSH1 0x00
000022fb: PUSH2 0x2302
000022fe: PUSH2 0x2828
00002301: JUMP
00002302: JUMPDEST
00002303: DUP5
00002304: MLOAD
00002305: PUSH1 0x01
00002307: PUSH1 0xa0
00002309: PUSH1 0x02
0000230b: EXP
0000230c: SUB
0000230d: DUP2
0000230e: AND
0000230f: PUSH1 0x00
00002311: SWAP1
00002312: DUP2
00002313: MSTORE
00002314: PUSH1 0x03
00002316: PUSH1 0x20
00002318: MSTORE
00002319: PUSH1 0x40
0000231b: DUP2
0000231c: KECCAK256
0000231d: SLOAD
0000231e: PUSH1 0xe0
00002320: DUP9
00002321: ADD
00002322: MLOAD
00002323: SWAP3
00002324: SWAP7
00002325: POP
00002326: PUSH1 0x01
00002328: PUSH1 0x80
0000232a: PUSH1 0x02
0000232c: EXP
0000232d: SUB
0000232e: AND
0000232f: SWAP5
00002330: POP
00002331: SWAP1
00002332: DUP1
00002333: PUSH2 0x233e
00002336: JUMPI
00002337: POP
00002338: DUP6
00002339: PUSH2 0x0100
0000233c: ADD
0000233d: MLOAD
0000233e: JUMPDEST
0000233f: SWAP3
00002340: POP
00002341: PUSH1 0x01
00002343: PUSH1 0x80
00002345: PUSH1 0x02
00002347: EXP
00002348: SUB
00002349: DUP5
0000234a: AND
0000234b: ISZERO
0000234c: DUP1
0000234d: ISZERO
0000234e: PUSH2 0x2354
00002351: JUMPI
00002352: POP
00002353: DUP3
00002354: JUMPDEST
00002355: ISZERO
00002356: PUSH2 0x2463
00002359: JUMPI
0000235a: PUSH1 0x02
0000235c: DUP1
0000235d: SLOAD
0000235e: PUSH1 0x01
00002360: DUP2
00002361: ADD
00002362: DUP3
00002363: SSTORE
00002364: PUSH1 0x00
00002366: DUP3
00002367: DUP2
00002368: MSTORE
00002369: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace
0000238a: SWAP1
0000238b: SWAP2
0000238c: ADD
0000238d: DUP1
0000238e: SLOAD
0000238f: PUSH1 0x01
00002391: PUSH1 0xa0
00002393: PUSH1 0x02
00002395: EXP
00002396: SUB
00002397: DUP10
00002398: AND
00002399: PUSH1 0x01
0000239b: PUSH1 0xa0
0000239d: PUSH1 0x02
0000239f: EXP
000023a0: SUB
000023a1: NOT
000023a2: SWAP1
000023a3: SWAP2
000023a4: AND
000023a5: DUP2
000023a6: OR
000023a7: SWAP1
000023a8: SWAP2
000023a9: SSTORE
000023aa: PUSH1 0x40
000023ac: DUP1
000023ad: MLOAD
000023ae: PUSH1 0x60
000023b0: DUP2
000023b1: ADD
000023b2: DUP3
000023b3: MSTORE
000023b4: SWAP4
000023b5: SLOAD
000023b6: PUSH1 0x01
000023b8: PUSH1 0x80
000023ba: PUSH1 0x02
000023bc: EXP
000023bd: SUB
000023be: SWAP1
000023bf: DUP2
000023c0: AND
000023c1: DUP6
000023c2: MSTORE
000023c3: PUSH1 0xe0
000023c5: DUP12
000023c6: ADD
000023c7: MLOAD
000023c8: ISZERO
000023c9: ISZERO
000023ca: PUSH1 0x20
000023cc: DUP7
000023cd: DUP2
000023ce: ADD
000023cf: SWAP2
000023d0: DUP3
000023d1: MSTORE
000023d2: PUSH2 0x0100
000023d5: DUP14
000023d6: ADD
000023d7: MLOAD
000023d8: ISZERO
000023d9: ISZERO
000023da: DUP8
000023db: DUP6
000023dc: ADD
000023dd: SWAP1
000023de: DUP2
000023df: MSTORE
000023e0: SWAP5
000023e1: DUP7
000023e2: MSTORE
000023e3: PUSH1 0x03
000023e5: SWAP1
000023e6: MSTORE
000023e7: SWAP2
000023e8: SWAP1
000023e9: SWAP4
000023ea: KECCAK256
000023eb: SWAP4
000023ec: MLOAD
000023ed: DUP5
000023ee: SLOAD
000023ef: SWAP2
000023f0: MLOAD
000023f1: SWAP3
000023f2: MLOAD
000023f3: ISZERO
000023f4: ISZERO
000023f5: PUSH18 0x010000000000000000000000000000000000
00002408: MUL
00002409: PUSH18 0xff0000000000000000000000000000000000
0000241c: NOT
0000241d: SWAP4
0000241e: ISZERO
0000241f: ISZERO
00002420: PUSH1 0x80
00002422: PUSH1 0x02
00002424: EXP
00002425: MUL
00002426: PUSH17 0xff00000000000000000000000000000000
00002438: NOT
00002439: SWAP3
0000243a: SWAP1
0000243b: SWAP6
0000243c: AND
0000243d: PUSH16 0xffffffffffffffffffffffffffffffff
0000244e: NOT
0000244f: SWAP1
00002450: SWAP4
00002451: AND
00002452: SWAP3
00002453: SWAP1
00002454: SWAP3
00002455: OR
00002456: AND
00002457: SWAP3
00002458: SWAP1
00002459: SWAP3
0000245a: OR
0000245b: AND
0000245c: OR
0000245d: SWAP1
0000245e: SSTORE
0000245f: PUSH2 0x26c9
00002462: JUMP
00002463: JUMPDEST
00002464: PUSH1 0x00
00002466: DUP5
00002467: PUSH1 0x01
00002469: PUSH1 0x80
0000246b: PUSH1 0x02
0000246d: EXP
0000246e: SUB
0000246f: AND
00002470: GT
00002471: ISZERO
00002472: PUSH2 0x26c9
00002475: JUMPI
00002476: DUP3
00002477: ISZERO
00002478: PUSH2 0x25d7
0000247b: JUMPI
0000247c: PUSH1 0x03
0000247e: PUSH1 0x00
00002480: DUP7
00002481: PUSH1 0x01
00002483: PUSH1 0xa0
00002485: PUSH1 0x02
00002487: EXP
00002488: SUB
00002489: AND
0000248a: PUSH1 0x01
0000248c: PUSH1 0xa0
0000248e: PUSH1 0x02
00002490: EXP
00002491: SUB
00002492: AND
00002493: DUP2
00002494: MSTORE
00002495: PUSH1 0x20
00002497: ADD
00002498: SWAP1
00002499: DUP2
0000249a: MSTORE
0000249b: PUSH1 0x20
0000249d: ADD
0000249e: PUSH1 0x00
000024a0: KECCAK256
000024a1: PUSH1 0x60
000024a3: PUSH1 0x40
000024a5: MLOAD
000024a6: SWAP1
000024a7: DUP2
000024a8: ADD
000024a9: PUSH1 0x40
000024ab: MSTORE
000024ac: SWAP1
000024ad: DUP2
000024ae: PUSH1 0x00
000024b0: DUP3
000024b1: ADD
000024b2: PUSH1 0x00
000024b4: SWAP1
000024b5: SLOAD
000024b6: SWAP1
000024b7: PUSH2 0x0100
000024ba: EXP
000024bb: SWAP1
000024bc: DIV
000024bd: PUSH1 0x01
000024bf: PUSH1 0x80
000024c1: PUSH1 0x02
000024c3: EXP
000024c4: SUB
000024c5: AND
000024c6: PUSH1 0x01
000024c8: PUSH1 0x80
000024ca: PUSH1 0x02
000024cc: EXP
000024cd: SUB
000024ce: AND
000024cf: PUSH1 0x01
000024d1: PUSH1 0x80
000024d3: PUSH1 0x02
000024d5: EXP
000024d6: SUB
000024d7: AND
000024d8: DUP2
000024d9: MSTORE
000024da: PUSH1 0x20
000024dc: ADD
000024dd: PUSH1 0x00
000024df: DUP3
000024e0: ADD
000024e1: PUSH1 0x10
000024e3: SWAP1
000024e4: SLOAD
000024e5: SWAP1
000024e6: PUSH2 0x0100
000024e9: EXP
000024ea: SWAP1
000024eb: DIV
000024ec: PUSH1 0xff
000024ee: AND
000024ef: ISZERO
000024f0: ISZERO
000024f1: ISZERO
000024f2: ISZERO
000024f3: DUP2
000024f4: MSTORE
000024f5: PUSH1 0x20
000024f7: ADD
000024f8: PUSH1 0x00
000024fa: DUP3
000024fb: ADD
000024fc: PUSH1 0x11
000024fe: SWAP1
000024ff: SLOAD
00002500: SWAP1
00002501: PUSH2 0x0100
00002504: EXP
00002505: SWAP1
00002506: DIV
00002507: PUSH1 0xff
00002509: AND
0000250a: ISZERO
0000250b: ISZERO
0000250c: ISZERO
0000250d: ISZERO
0000250e: DUP2
0000250f: MSTORE
00002510: POP
00002511: POP
00002512: SWAP2
00002513: POP
00002514: DUP6
00002515: PUSH1 0xe0
00002517: ADD
00002518: MLOAD
00002519: DUP3
0000251a: PUSH1 0x20
0000251c: ADD
0000251d: SWAP1
0000251e: ISZERO
0000251f: ISZERO
00002520: SWAP1
00002521: DUP2
00002522: ISZERO
00002523: ISZERO
00002524: DUP2
00002525: MSTORE
00002526: POP
00002527: POP
00002528: DUP6
00002529: PUSH2 0x0100
0000252c: ADD
0000252d: MLOAD
0000252e: DUP3
0000252f: PUSH1 0x40
00002531: ADD
00002532: SWAP1
00002533: ISZERO
00002534: ISZERO
00002535: SWAP1
00002536: DUP2
00002537: ISZERO
00002538: ISZERO
00002539: DUP2
0000253a: MSTORE
0000253b: POP
0000253c: POP
0000253d: DUP2
0000253e: PUSH1 0x03
00002540: PUSH1 0x00
00002542: DUP8
00002543: PUSH1 0x01
00002545: PUSH1 0xa0
00002547: PUSH1 0x02
00002549: EXP
0000254a: SUB
0000254b: AND
0000254c: PUSH1 0x01
0000254e: PUSH1 0xa0
00002550: PUSH1 0x02
00002552: EXP
00002553: SUB
00002554: AND
00002555: DUP2
00002556: MSTORE
00002557: PUSH1 0x20
00002559: ADD
0000255a: SWAP1
0000255b: DUP2
0000255c: MSTORE
0000255d: PUSH1 0x20
0000255f: ADD
00002560: PUSH1 0x00
00002562: KECCAK256
00002563: PUSH1 0x00
00002565: DUP3
00002566: ADD
00002567: MLOAD
00002568: DUP2
00002569: PUSH1 0x00
0000256b: ADD
0000256c: PUSH1 0x00
0000256e: PUSH2 0x0100
00002571: EXP
00002572: DUP2
00002573: SLOAD
00002574: DUP2
00002575: PUSH1 0x01
00002577: PUSH1 0x80
00002579: PUSH1 0x02
0000257b: EXP
0000257c: SUB
0000257d: MUL
0000257e: NOT
0000257f: AND
00002580: SWAP1
00002581: DUP4
00002582: PUSH1 0x01
00002584: PUSH1 0x80
00002586: PUSH1 0x02
00002588: EXP
00002589: SUB
0000258a: AND
0000258b: MUL
0000258c: OR
0000258d: SWAP1
0000258e: SSTORE
0000258f: POP
00002590: PUSH1 0x20
00002592: DUP3
00002593: ADD
00002594: MLOAD
00002595: DUP2
00002596: PUSH1 0x00
00002598: ADD
00002599: PUSH1 0x10
0000259b: PUSH2 0x0100
0000259e: EXP
0000259f: DUP2
000025a0: SLOAD
000025a1: DUP2
000025a2: PUSH1 0xff
000025a4: MUL
000025a5: NOT
000025a6: AND
000025a7: SWAP1
000025a8: DUP4
000025a9: ISZERO
000025aa: ISZERO
000025ab: MUL
000025ac: OR
000025ad: SWAP1
000025ae: SSTORE
000025af: POP
000025b0: PUSH1 0x40
000025b2: DUP3
000025b3: ADD
000025b4: MLOAD
000025b5: DUP2
000025b6: PUSH1 0x00
000025b8: ADD
000025b9: PUSH1 0x11
000025bb: PUSH2 0x0100
000025be: EXP
000025bf: DUP2
000025c0: SLOAD
000025c1: DUP2
000025c2: PUSH1 0xff
000025c4: MUL
000025c5: NOT
000025c6: AND
000025c7: SWAP1
000025c8: DUP4
000025c9: ISZERO
000025ca: ISZERO
000025cb: MUL
000025cc: OR
000025cd: SWAP1
000025ce: SSTORE
000025cf: POP
000025d0: SWAP1
000025d1: POP
000025d2: POP
000025d3: PUSH2 0x26c9
000025d6: JUMP
000025d7: JUMPDEST
000025d8: POP
000025d9: PUSH1 0x02
000025db: SLOAD
000025dc: PUSH1 0x01
000025de: PUSH1 0xa0
000025e0: PUSH1 0x02
000025e2: EXP
000025e3: SUB
000025e4: DUP6
000025e5: AND
000025e6: PUSH1 0x00
000025e8: SWAP1
000025e9: DUP2
000025ea: MSTORE
000025eb: PUSH1 0x03
000025ed: PUSH1 0x20
000025ef: MSTORE
000025f0: PUSH1 0x40
000025f2: SWAP1
000025f3: KECCAK256
000025f4: DUP1
000025f5: SLOAD
000025f6: PUSH18 0xffffffffffffffffffffffffffffffffffff
00002609: NOT
0000260a: AND
0000260b: SWAP1
0000260c: SSTORE
0000260d: PUSH1 0x01
0000260f: DUP2
00002610: GT
00002611: ISZERO
00002612: PUSH2 0x2689
00002615: JUMPI
00002616: PUSH1 0x02
00002618: DUP1
00002619: SLOAD
0000261a: PUSH1 0x00
0000261c: NOT
0000261d: DUP4
0000261e: ADD
0000261f: SWAP1
00002620: DUP2
00002621: LT
00002622: PUSH2 0x2627
00002625: JUMPI
00002626: INVALID
00002627: JUMPDEST
00002628: PUSH1 0x00
0000262a: SWAP2
0000262b: DUP3
0000262c: MSTORE
0000262d: PUSH1 0x20
0000262f: SWAP1
00002630: SWAP2
00002631: KECCAK256
00002632: ADD
00002633: SLOAD
00002634: PUSH1 0x02
00002636: DUP1
00002637: SLOAD
00002638: PUSH1 0x01
0000263a: PUSH1 0xa0
0000263c: PUSH1 0x02
0000263e: EXP
0000263f: SUB
00002640: SWAP1
00002641: SWAP3
00002642: AND
00002643: SWAP2
00002644: PUSH1 0x01
00002646: PUSH1 0x80
00002648: PUSH1 0x02
0000264a: EXP
0000264b: SUB
0000264c: PUSH1 0x00
0000264e: NOT
0000264f: DUP9
00002650: ADD
00002651: AND
00002652: SWAP1
00002653: DUP2
00002654: LT
00002655: PUSH2 0x265a
00002658: JUMPI
00002659: INVALID
0000265a: JUMPDEST
0000265b: SWAP1
0000265c: PUSH1 0x00
0000265e: MSTORE
0000265f: PUSH1 0x20
00002661: PUSH1 0x00
00002663: KECCAK256
00002664: ADD
00002665: PUSH1 0x00
00002667: PUSH2 0x0100
0000266a: EXP
0000266b: DUP2
0000266c: SLOAD
0000266d: DUP2
0000266e: PUSH1 0x01
00002670: PUSH1 0xa0
00002672: PUSH1 0x02
00002674: EXP
00002675: SUB
00002676: MUL
00002677: NOT
00002678: AND
00002679: SWAP1
0000267a: DUP4
0000267b: PUSH1 0x01
0000267d: PUSH1 0xa0
0000267f: PUSH1 0x02
00002681: EXP
00002682: SUB
00002683: AND
00002684: MUL
00002685: OR
00002686: SWAP1
00002687: SSTORE
00002688: POP
00002689: JUMPDEST
0000268a: PUSH1 0x02
0000268c: DUP1
0000268d: SLOAD
0000268e: PUSH1 0x00
00002690: NOT
00002691: DUP4
00002692: ADD
00002693: SWAP1
00002694: DUP2
00002695: LT
00002696: PUSH2 0x269b
00002699: JUMPI
0000269a: INVALID
0000269b: JUMPDEST
0000269c: PUSH1 0x00
0000269e: SWAP2
0000269f: DUP3
000026a0: MSTORE
000026a1: PUSH1 0x20
000026a3: SWAP1
000026a4: SWAP2
000026a5: KECCAK256
000026a6: ADD
000026a7: DUP1
000026a8: SLOAD
000026a9: PUSH1 0x01
000026ab: PUSH1 0xa0
000026ad: PUSH1 0x02
000026af: EXP
000026b0: SUB
000026b1: NOT
000026b2: AND
000026b3: SWAP1
000026b4: SSTORE
000026b5: PUSH1 0x02
000026b7: DUP1
000026b8: SLOAD
000026b9: SWAP1
000026ba: PUSH2 0x26c7
000026bd: SWAP1
000026be: PUSH1 0x00
000026c0: NOT
000026c1: DUP4
000026c2: ADD
000026c3: PUSH2 0x2804
000026c6: JUMP
000026c7: JUMPDEST
000026c8: POP
000026c9: JUMPDEST
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: POP
000026ce: POP
000026cf: POP
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH1 0x00
000026d4: DUP1
000026d5: PUSH1 0x01
000026d7: PUSH1 0x80
000026d9: PUSH1 0x02
000026db: EXP
000026dc: SUB
000026dd: DUP4
000026de: AND
000026df: DUP4
000026e0: EQ
000026e1: PUSH2 0x26e9
000026e4: JUMPI
000026e5: PUSH1 0x00
000026e7: DUP1
000026e8: REVERT
000026e9: JUMPDEST
000026ea: PUSH1 0x01
000026ec: PUSH1 0xa0
000026ee: PUSH1 0x02
000026f0: EXP
000026f1: SUB
000026f2: DUP1
000026f3: DUP7
000026f4: AND
000026f5: PUSH1 0x00
000026f7: SWAP1
000026f8: DUP2
000026f9: MSTORE
000026fa: PUSH1 0x06
000026fc: PUSH1 0x20
000026fe: SWAP1
000026ff: DUP2
00002700: MSTORE
00002701: PUSH1 0x40
00002703: DUP1
00002704: DUP4
00002705: KECCAK256
00002706: SWAP4
00002707: DUP9
00002708: AND
00002709: DUP4
0000270a: MSTORE
0000270b: SWAP3
0000270c: SWAP1
0000270d: MSTORE
0000270e: SWAP1
0000270f: DUP2
00002710: KECCAK256
00002711: SLOAD
00002712: SWAP3
00002713: POP
00002714: DUP3
00002715: GT
00002716: ISZERO
00002717: PUSH2 0x0846
0000271a: JUMPI
0000271b: PUSH1 0x01
0000271d: PUSH1 0xa0
0000271f: PUSH1 0x02
00002721: EXP
00002722: SUB
00002723: DUP1
00002724: DUP7
00002725: AND
00002726: PUSH1 0x00
00002728: SWAP1
00002729: DUP2
0000272a: MSTORE
0000272b: PUSH1 0x08
0000272d: PUSH1 0x20
0000272f: SWAP1
00002730: DUP2
00002731: MSTORE
00002732: PUSH1 0x40
00002734: DUP1
00002735: DUP4
00002736: KECCAK256
00002737: SWAP4
00002738: DUP9
00002739: AND
0000273a: DUP4
0000273b: MSTORE
0000273c: SWAP3
0000273d: SWAP1
0000273e: MSTORE
0000273f: KECCAK256
00002740: SLOAD
00002741: TIMESTAMP
00002742: GT
00002743: ISZERO
00002744: PUSH2 0x279f
00002747: JUMPI
00002748: DUP2
00002749: DUP4
0000274a: GT
0000274b: ISZERO
0000274c: PUSH2 0x2754
0000274f: JUMPI
00002750: PUSH1 0x00
00002752: DUP1
00002753: REVERT
00002754: JUMPDEST
00002755: PUSH1 0x01
00002757: PUSH1 0xa0
00002759: PUSH1 0x02
0000275b: EXP
0000275c: SUB
0000275d: DUP1
0000275e: DUP7
0000275f: AND
00002760: PUSH1 0x00
00002762: DUP2
00002763: DUP2
00002764: MSTORE
00002765: PUSH1 0x08
00002767: PUSH1 0x20
00002769: SWAP1
0000276a: DUP2
0000276b: MSTORE
0000276c: PUSH1 0x40
0000276e: DUP1
0000276f: DUP4
00002770: KECCAK256
00002771: SWAP5
00002772: DUP10
00002773: AND
00002774: DUP1
00002775: DUP5
00002776: MSTORE
00002777: SWAP5
00002778: DUP3
00002779: MSTORE
0000277a: DUP1
0000277b: DUP4
0000277c: KECCAK256
0000277d: PUSH3 0x015180
00002781: TIMESTAMP
00002782: ADD
00002783: SWAP1
00002784: SSTORE
00002785: SWAP3
00002786: DUP3
00002787: MSTORE
00002788: PUSH1 0x09
0000278a: DUP2
0000278b: MSTORE
0000278c: DUP3
0000278d: DUP3
0000278e: KECCAK256
0000278f: SWAP4
00002790: DUP3
00002791: MSTORE
00002792: SWAP3
00002793: SWAP1
00002794: SWAP3
00002795: MSTORE
00002796: SWAP1
00002797: KECCAK256
00002798: DUP4
00002799: SWAP1
0000279a: SSTORE
0000279b: PUSH2 0x0846
0000279e: JUMP
0000279f: JUMPDEST
000027a0: POP
000027a1: PUSH1 0x01
000027a3: PUSH1 0xa0
000027a5: PUSH1 0x02
000027a7: EXP
000027a8: SUB
000027a9: DUP1
000027aa: DUP6
000027ab: AND
000027ac: PUSH1 0x00
000027ae: SWAP1
000027af: DUP2
000027b0: MSTORE
000027b1: PUSH1 0x09
000027b3: PUSH1 0x20
000027b5: SWAP1
000027b6: DUP2
000027b7: MSTORE
000027b8: PUSH1 0x40
000027ba: DUP1
000027bb: DUP4
000027bc: KECCAK256
000027bd: SWAP4
000027be: DUP8
000027bf: AND
000027c0: DUP4
000027c1: MSTORE
000027c2: SWAP3
000027c3: SWAP1
000027c4: MSTORE
000027c5: KECCAK256
000027c6: SLOAD
000027c7: DUP3
000027c8: ADD
000027c9: DUP2
000027ca: DUP2
000027cb: GT
000027cc: ISZERO
000027cd: PUSH2 0x27d5
000027d0: JUMPI
000027d1: PUSH1 0x00
000027d3: DUP1
000027d4: REVERT
000027d5: JUMPDEST
000027d6: PUSH1 0x01
000027d8: PUSH1 0xa0
000027da: PUSH1 0x02
000027dc: EXP
000027dd: SUB
000027de: DUP1
000027df: DUP7
000027e0: AND
000027e1: PUSH1 0x00
000027e3: SWAP1
000027e4: DUP2
000027e5: MSTORE
000027e6: PUSH1 0x09
000027e8: PUSH1 0x20
000027ea: SWAP1
000027eb: DUP2
000027ec: MSTORE
000027ed: PUSH1 0x40
000027ef: DUP1
000027f0: DUP4
000027f1: KECCAK256
000027f2: SWAP4
000027f3: DUP9
000027f4: AND
000027f5: DUP4
000027f6: MSTORE
000027f7: SWAP3
000027f8: SWAP1
000027f9: MSTORE
000027fa: KECCAK256
000027fb: DUP2
000027fc: SWAP1
000027fd: SSTORE
000027fe: POP
000027ff: POP
00002800: POP
00002801: POP
00002802: POP
00002803: JUMP
00002804: JUMPDEST
00002805: DUP2
00002806: SLOAD
00002807: DUP2
00002808: DUP4
00002809: SSTORE
0000280a: DUP2
0000280b: DUP2
0000280c: GT
0000280d: ISZERO
0000280e: PUSH2 0x0636
00002811: JUMPI
00002812: PUSH1 0x00
00002814: DUP4
00002815: DUP2
00002816: MSTORE
00002817: PUSH1 0x20
00002819: SWAP1
0000281a: KECCAK256
0000281b: PUSH2 0x0636
0000281e: SWAP2
0000281f: DUP2
00002820: ADD
00002821: SWAP1
00002822: DUP4
00002823: ADD
00002824: PUSH2 0x2848
00002827: JUMP
00002828: JUMPDEST
00002829: PUSH1 0x40
0000282b: DUP1
0000282c: MLOAD
0000282d: PUSH1 0x60
0000282f: DUP2
00002830: ADD
00002831: DUP3
00002832: MSTORE
00002833: PUSH1 0x00
00002835: DUP1
00002836: DUP3
00002837: MSTORE
00002838: PUSH1 0x20
0000283a: DUP3
0000283b: ADD
0000283c: DUP2
0000283d: SWAP1
0000283e: MSTORE
0000283f: SWAP2
00002840: DUP2
00002841: ADD
00002842: SWAP2
00002843: SWAP1
00002844: SWAP2
00002845: MSTORE
00002846: SWAP1
00002847: JUMP
00002848: JUMPDEST
00002849: PUSH2 0x0f49
0000284c: SWAP2
0000284d: SWAP1
0000284e: JUMPDEST
0000284f: DUP1
00002850: DUP3
00002851: GT
00002852: ISZERO
00002853: PUSH2 0x2862
00002856: JUMPI
00002857: PUSH1 0x00
00002859: DUP2
0000285a: SSTORE
0000285b: PUSH1 0x01
0000285d: ADD
0000285e: PUSH2 0x284e
00002861: JUMP
00002862: JUMPDEST
00002863: POP
00002864: SWAP1
00002865: JUMP
00002866: STOP
00002867: UNKNOWN(0xC6)
00002868: GAS
00002869: PUSH28 0xb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2
00002886: UNKNOWN(0xA9)
00002887: UNKNOWN(0xC6)
00002888: GAS
00002889: PUSH28 0xb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2
000028a6: UNKNOWN(0xA8)
000028a7: UNKNOWN(0xC6)
000028a8: GAS
000028a9: PUSH28 0xb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2
000028c6: UNKNOWN(0xAA)
000028c7: SELFDESTRUCT
000028c8: SELFDESTRUCT
000028c9: SELFDESTRUCT
000028ca: SELFDESTRUCT
000028cb: STOP
000028cc: STOP
000028cd: STOP
000028ce: STOP
000028cf: STOP
000028d0: STOP
000028d1: SELFDESTRUCT
000028d2: SELFDESTRUCT
000028d3: SELFDESTRUCT
000028d4: SELFDESTRUCT
000028d5: SELFDESTRUCT
000028d6: SELFDESTRUCT
000028d7: SELFDESTRUCT
000028d8: SELFDESTRUCT
000028d9: SELFDESTRUCT
000028da: SELFDESTRUCT
000028db: SELFDESTRUCT
000028dc: SELFDESTRUCT
000028dd: SELFDESTRUCT
000028de: SELFDESTRUCT
000028df: SELFDESTRUCT
000028e0: SELFDESTRUCT
000028e1: SELFDESTRUCT
000028e2: SELFDESTRUCT
000028e3: SELFDESTRUCT
000028e4: SELFDESTRUCT
000028e5: SELFDESTRUCT
000028e6: SELFDESTRUCT
000028e7: LOG1
000028e8: PUSH6 0x627a7a723058
000028ef: KECCAK256
000028f0: STOP
000028f1: DUP15
000028f2: UNKNOWN(0x0F)
000028f3: PUSH29 0x409ff8de25249d1adaec287d2adc95de4ef3786d018f2b115dd1291500
00002911: UNKNOWN(0x29)