Analysis Run

{"no_findings":false,"summary":"Bytecode shows 25 CALL sites with computed targets/values. Detectors flag untrusted CALLs and ETH transfer capability, but validation traced only a constant (self) target, so risk depends on whether call targets are mutable or user-controlled.","findings":[{"severity":"low","category":"reentrancy","title":"Computed external CALLs with value and no detected guards (conditional reentrancy/ETH loss risk)","exploit_scenario":"If any CALL target or value is derived from calldata or mutable storage that an attacker can influence, they could redirect value-bearing calls to a malicious contract and reenter before state updates, potentially draining funds or corrupting accounting. The validation trace observed only the contract address as the target, so this is conditional and uncertain.","recommendation":"Constrain CALL targets to trusted addresses, guard any target-updating functions with explicit access control, and apply checks-effects-interactions or reentrancy guards around value-bearing external calls; ensure failed CALLs revert.","evidence":"25 CALL sites have target/value marked as computed with returndata checking unknown; no guards detected in artifacts. Detector findings report 'Untrusted CALL target/value reachable' and 'ETH value transfer possible' (both unvalidated; trace saw constant target).","locations":["pc:0x0d92","pc:0x0ef1","pc:0x11c2","pc:0x1231","pc:0x12ca","pc:0x1c4e"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-8zmuu3ci
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bab7b-596a-7f30-95fb-fe5522043be8
--------
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
**Checking for bytecode bundle**
exec
/bin/bash -lc ls in /tmp/codex-8zmuu3ci succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json

thinking
**Reading bytecode bundle**
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-8zmuu3ci succeeded in 17ms:
{
  "analysis_artifact": {
    "address": "0xd838f9c9792bf8398e1f5fbfbd3b43c5a86445aa",
    "artifact_hash": "0x9420d1ae2669205b1f3f05a67d1086ed70351fb6f6a68fbfcaa33fb3e0622877",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 10,
          "hash": "0xc504fd185112107956327a7e3c5c0d0536048e885796058dd8f0e232dbb22b7a",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "CALLDATASIZE",
            "ISZERO",
            "PUSH2",
            "JUMPI"

thinking
**Parsing JSON for callsite evidence**
exec
/bin/bash -lc "jq 'keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 48ms:
[
  "analysis_artifact",
  "analysis_run",
  "artifact",
  "capability_graph",
  "detector_findings",
  "heuristics_summary"
]

thinking
**Inspecting JSON keys**
exec
/bin/bash -lc "jq '.artifact | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 104ms:
[
  "codehash",
  "compiler_json",
  "implementation_address",
  "is_proxy",
  "runtime_bytecode",
  "verified_source"
]

thinking
**Inspecting analysis_run keys**
exec
/bin/bash -lc "jq '.analysis_run | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 51ms:
[
  "address",
  "block_number",
  "chain_id",
  "child_links",
  "created_at",
  "id",
  "parent_links",
  "status",
  "updated_at"
]

thinking
**Checking term meaning**
exec
/bin/bash -lc "jq '.capability_graph | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 53ms:
[
  "address",
  "block_number",
  "chain_id",
  "codehash",
  "created_at",
  "graph_hash",
  "graph_json",
  "id",
  "updated_at",
  "version"
]

thinking
**Inspecting graph_json keys**
exec
/bin/bash -lc "jq '.capability_graph.graph_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 46ms:
[
  "edges",
  "nodes",
  "version"
]

thinking
**Analyzing node types in artifacts**
exec
/bin/bash -lc "jq '[.capability_graph.graph_json.nodes[].type] | unique' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 46ms:
[
  "basic_block",
  "callsite",
  "function",
  "sink"
]

thinking
**Investigating storage slot data**
exec
/bin/bash -lc 'rg "storage" BYTECODE_BUNDLE.json' in /tmp/codex-8zmuu3ci succeeded in 21ms:
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {
          "storage": {

thinking
**Exploring storage references**
exec
/bin/bash -lc 'rg -n "storage" -m 1 BYTECODE_BUNDLE.json' in /tmp/codex-8zmuu3ci succeeded in 17ms:
13821:          "storage": {
exec
/bin/bash -lc "sed -n '13800,13880p' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 7ms:
          "entry_pc": 4222368081,
          "selector": "0xf8c80d26"
        },
        {
          "entry_pc": 2635,
          "selector": "0xfbac3951"
        }
      ],
      "functions": [
        {
          "auth": {
            "guards": []
          },
          "entry_pc": null,
          "selector": "0x013cf08b",
          "sinks": {
            "call": 25,
            "delegatecall": 0,
            "selfdestruct": 0,
            "staticcall": 0

thinking
**Inspecting functions list context**
exec
/bin/bash -lc "sed -n '13740,13820p' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 30ms:
          "entry_pc": 2715430841,
          "selector": "0x96d7f3f5"
        },
        {
          "entry_pc": 2744200904,
          "selector": "0xa1da2fb9"
        },
        {
          "entry_pc": 2835717307,
          "selector": "0xa3912ec8"
        },
        {
          "entry_pc": 3082562692,
          "selector": "0xa9059cbb"
        },
        {
          "entry_pc": 3131855616,
          "selector": "0xb7bc2c84"
        },
        {

thinking
**Identifying top-level key**
exec
/bin/bash -lc "sed -n '13680,13710p' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 10ms:
          "entry_pc": 1309721582,
          "selector": "0x4df6d6cc"
        },
        {
          "entry_pc": 1494096611,
          "selector": "0x4e10c3ee"
        },
        {
          "entry_pc": 1630422435,
          "selector": "0x590e1ae3"
        },
        {
          "entry_pc": 1681882333,
          "selector": "0x612e45a3"
        },
        {
          "entry_pc": 1733218406,
          "selector": "0x643f7cdd"
        },
        {

thinking
**Searching for functions key path**
exec
/bin/bash -lc "jq -c 'paths | select(.[-1]==\"functions\")' BYTECODE_BUNDLE.json | head -n 5" in /tmp/codex-8zmuu3ci succeeded in 157ms:
["analysis_artifact","artifact_json","functions"]

thinking
**Examining contract function selectors and callsites**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.functions[] | select(.selector==\"0x013cf08b\")' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 89ms:
{
  "auth": {
    "guards": []
  },
  "entry_pc": null,
  "selector": "0x013cf08b",
  "sinks": {
    "call": 25,
    "delegatecall": 0,
    "selfdestruct": 0,
    "staticcall": 0
  },
  "storage": {
    "reads": 245,
    "slots": [
      {
        "op": "SLOAD",
        "pc": 532,
        "slot": "0x000000000000000000000000000000000000000000000000000000000000000f"
      },

thinking
**Examining function calls and sinks**
exec
/bin/bash -lc "jq '[.analysis_artifact.artifact_json.functions[] | {selector, entry_pc, sinks}] | map(select(.sinks.call>0 or .sinks.delegatecall>0 or .sinks.staticcall>0 or .sinks.selfdestruct>0))' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 54ms:
[
  {
    "selector": "0x013cf08b",
    "entry_pc": null,
    "sinks": {
      "call": 25,
      "delegatecall": 0,
      "selfdestruct": 0,
      "staticcall": 0
    }
  },
  {
    "selector": "0x095ea7b3",
    "entry_pc": 205224854,
    "sinks": {
      "call": 25,
      "delegatecall": 0,
      "selfdestruct": 0,
      "staticcall": 0
    }

thinking
**Investigating suspicious call counts**
exec
/bin/bash -lc "jq '.artifact.is_proxy, .artifact.implementation_address' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 112ms:
false
null

thinking
**Inspecting callsite details for analysis**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 74ms:
[
  "auth",
  "basic_blocks",
  "callsites",
  "cfg_edges",
  "cfg_hash",
  "dispatcher_type",
  "function_entries",
  "functions",
  "selectors",
  "sinks",
  "storage",
  "version"
]

thinking
**Inspecting callsites in artifact JSON**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.callsites' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 80ms:
[
  {
    "opcode": "CALL",
    "pc": 3474,
    "returndata_checked": null,
    "target_expression_category": "computed",
    "value_expression_category": "computed"
  },
  {
    "opcode": "CALL",
    "pc": 3825,
    "returndata_checked": null,
    "target_expression_category": "computed",
    "value_expression_category": "computed"
  },
  {
    "opcode": "CALL",
    "pc": 4546,
    "returndata_checked": null,
    "target_expression_category": "computed",

thinking
**Assessing external call risks and reentrancy potential**

I'm weighing the evidence around computed external calls that lack return data checks and reentrancy guards, trying to gauge risk levels carefully despite uncertainties in guard detection and return-data handling. I’m focusing on highlighting possible medium-severity issues related to unchecked ETH transfers and reentrancy exposure, while noting ambiguous or missing context that limits firm conclusions.
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.sinks' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 49ms:
{
  "call": 25,
  "create": 0,
  "create2": 0,
  "delegatecall": 0,
  "selfdestruct": 0,
  "staticcall": 0,
  "upgrade_slot_write_suspected": false
}

thinking
**Investigating function selectors and upgradeability**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.dispatcher_type' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 47ms:
"selector_jump_table"

thinking
**Searching for function guards**
exec
/bin/bash -lc "jq '[.analysis_artifact.artifact_json.functions[] | {selector, guards: .auth.guards}] | map(select(.guards|length>0))' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 48ms:
[]

thinking
**Assessing guard presence and storage**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.storage | keys' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 82ms:
[
  "keccak_count",
  "reads",
  "slots",
  "writes"
]

thinking
**Inspecting storage slots for proxy patterns**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.storage | {reads, writes, keccak_count, slot_count:(.slots|length)}' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 59ms:
{
  "reads": 245,
  "writes": 82,
  "keccak_count": 101,
  "slot_count": 80
}

thinking
**Inspecting detector findings for CALL patterns**
exec
/bin/bash -lc "jq '.detector_findings' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 48ms:
[
  {
    "confidence": 60,
    "evidence_json": {
      "call_count": 25,
      "examples": [
        {
          "opcode": "CALL",
          "pc": 3474,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },
        {
          "opcode": "CALL",
          "pc": 3825,
          "returndata_checked": null,
          "target_expression_category": "computed",
          "value_expression_category": "computed"
        },

thinking
**Analyzing external call risks and detection evidence**
exec
/bin/bash -lc "jq '.analysis_artifact.artifact_json.basic_blocks[] | select(.opcodes[]? == \"CALL\") | {start_pc, end_pc, opcodes}' BYTECODE_BUNDLE.json" in /tmp/codex-8zmuu3ci succeeded in 50ms:
{
  "start_pc": 3298,
  "end_pc": 3479,
  "opcodes": [
    "PUSH2",
    "OP_86",
    "PUSH1",
    "MLOAD",
    "PUSH1",
    "OP_90",
    "PUSH1",
    "PUSH1",
    "PUSH1",
    "EXP",
    "SUB",
    "OP_83",
    "AND",
    "OP_90",
    "PUSH32",
    "OP_90",

thinking
**Analyzing computed external CALL vulnerabilities**

I'm reviewing bytecode that has about 25 external CALLs with computed targets and ETH values, but the detector flags these as potentially untrusted since guards aren't detected. Some evidence shows the target might be the contract itself, but since the target could be externally influenced, there's risk for reentrancy or fund loss. I'll focus the finding on cautious severity and clearly state the uncertainty while providing example callsite locations and recommendations to guard against attacks.
codex
{"no_findings":false,"summary":"Bytecode shows 25 CALL sites with computed targets/values. Detectors flag untrusted CALLs and ETH transfer capability, but validation traced only a constant (self) target, so risk depends on whether call targets are mutable or user-controlled.","findings":[{"severity":"low","category":"reentrancy","title":"Computed external CALLs with value and no detected guards (conditional reentrancy/ETH loss risk)","exploit_scenario":"If any CALL target or value is derived from calldata or mutable storage that an attacker can influence, they could redirect value-bearing calls to a malicious contract and reenter before state updates, potentially draining funds or corrupting accounting. The validation trace observed only the contract address as the target, so this is conditional and uncertain.","recommendation":"Constrain CALL targets to trusted addresses, guard any target-updating functions with explicit access control, and apply checks-effects-interactions or reentrancy guards around value-bearing external calls; ensure failed CALLs revert.","evidence":"25 CALL sites have target/value marked as computed with returndata checking unknown; no guards detected in artifacts. Detector findings report 'Untrusted CALL target/value reachable' and 'ETH value transfer possible' (both unvalidated; trace saw constant target).","locations":["pc:0x0d92","pc:0x0ef1","pc:0x11c2","pc:0x1231","pc:0x12ca","pc:0x1c4e"]}]}
tokens used
75,348

{
    "codex": {
        "ran_at": "2026-01-11T05:18:28.478472+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 21748,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode shows 25 CALL sites with computed targets/values. Detectors flag untrusted CALLs and ETH transfer capability, but validation traced only a constant (self) target, so risk depends on whether call targets are mutable or user-controlled.",
    "raw_final": {
        "summary": "Bytecode shows 25 CALL sites with computed targets/values. Detectors flag untrusted CALLs and ETH transfer capability, but validation traced only a constant (self) target, so risk depends on whether call targets are mutable or user-controlled.",
        "findings": [
            {
                "title": "Computed external CALLs with value and no detected guards (conditional reentrancy/ETH loss risk)",
                "category": "reentrancy",
                "evidence": "25 CALL sites have target/value marked as computed with returndata checking unknown; no guards detected in artifacts. Detector findings report 'Untrusted CALL target/value reachable' and 'ETH value transfer possible' (both unvalidated; trace saw constant target).",
                "severity": "low",
                "locations": [
                    "pc:0x0d92",
                    "pc:0x0ef1",
                    "pc:0x11c2",
                    "pc:0x1231",
                    "pc:0x12ca",
                    "pc:0x1c4e"
                ],
                "recommendation": "Constrain CALL targets to trusted addresses, guard any target-updating functions with explicit access control, and apply checks-effects-interactions or reentrancy guards around value-bearing external calls; ensure failed CALLs revert.",
                "exploit_scenario": "If any CALL target or value is derived from calldata or mutable storage that an attacker can influence, they could redirect value-bearing calls to a malicious contract and reenter before state updates, potentially draining funds or corrupting accounting. The validation trace observed only the contract address as the target, so this is conditional and uncertain."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x020e
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x013cf08b
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x022c
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x095ea7b3
00000025: EQ
00000026: PUSH2 0x03e8
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x0c3b7b96
00000030: EQ
00000031: PUSH2 0x045c
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x0e708203
0000003b: EQ
0000003c: PUSH2 0x0465
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x149acf9a
00000046: EQ
00000047: PUSH2 0x0477
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x18160ddd
00000051: EQ
00000052: PUSH2 0x0489
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1f2dc5ef
0000005c: EQ
0000005d: PUSH2 0x0492
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x21b5b8dd
00000067: EQ
00000068: PUSH2 0x04b2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x234693d3
00000072: EQ
00000073: PUSH2 0x04c4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x237e9492
0000007d: EQ
0000007e: PUSH2 0x052a
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x23b872dd
00000088: EQ
00000089: PUSH2 0x058b
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x34145808
00000093: EQ
00000094: PUSH2 0x05be
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x39d1f908
0000009e: EQ
0000009f: PUSH2 0x05c7
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4b6753bc
000000a9: EQ
000000aa: PUSH2 0x05df
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4df6d6cc
000000b4: EQ
000000b5: PUSH2 0x05e8
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x4e10c3ee
000000bf: EQ
000000c0: PUSH2 0x0603
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x590e1ae3
000000ca: EQ
000000cb: PUSH2 0x0616
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x612e45a3
000000d5: EQ
000000d6: PUSH2 0x0627
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x643f7cdd
000000e0: EQ
000000e1: PUSH2 0x06c6
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x674ed066
000000eb: EQ
000000ec: PUSH2 0x06de
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x6837ff1e
000000f6: EQ
000000f7: PUSH2 0x06e7
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x70a08231
00000101: EQ
00000102: PUSH2 0x0731
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x749f9889
0000010c: EQ
0000010d: PUSH2 0x0757
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x78524b2e
00000117: EQ
00000118: PUSH2 0x0770
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x81f03fcb
00000122: EQ
00000123: PUSH2 0x079d
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x82661dc4
0000012d: EQ
0000012e: PUSH2 0x07b5
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x82bf6464
00000138: EQ
00000139: PUSH2 0x07d6
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x8b15a605
00000143: EQ
00000144: PUSH2 0x07e8
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x8d7af473
0000014e: EQ
0000014f: PUSH2 0x07f1
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x96d7f3f5
00000159: EQ
0000015a: PUSH2 0x0800
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa1da2fb9
00000164: EQ
00000165: PUSH2 0x0809
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xa3912ec8
0000016f: EQ
00000170: PUSH2 0x0823
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xa9059cbb
0000017a: EQ
0000017b: PUSH2 0x082e
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xb7bc2c84
00000185: EQ
00000186: PUSH2 0x085e
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xbaac5300
00000190: EQ
00000191: PUSH2 0x086a
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xc9d27afe
0000019b: EQ
0000019c: PUSH2 0x08ce
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xcc9ae3f6
000001a6: EQ
000001a7: PUSH2 0x08e4
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xcdef91d0
000001b1: EQ
000001b2: PUSH2 0x08f8
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xdbde1988
000001bc: EQ
000001bd: PUSH2 0x0910
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xdd62ed3e
000001c7: EQ
000001c8: PUSH2 0x0935
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xe33734fd
000001d2: EQ
000001d3: PUSH2 0x0969
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xe5962195
000001dd: EQ
000001de: PUSH2 0x097d
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xe66f53b7
000001e8: EQ
000001e9: PUSH2 0x0995
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xeceb2945
000001f3: EQ
000001f4: PUSH2 0x09a7
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xf8c80d26
000001fe: EQ
000001ff: PUSH2 0x0a06
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xfbac3951
00000209: EQ
0000020a: PUSH2 0x0a1d
0000020d: JUMPI
0000020e: JUMPDEST
0000020f: PUSH2 0x0a4b
00000212: PUSH1 0x0f
00000214: SLOAD
00000215: PUSH1 0x00
00000217: SWAP1
00000218: PUSH3 0x34bc00
0000021c: ADD
0000021d: TIMESTAMP
0000021e: LT
0000021f: ISZERO
00000220: PUSH2 0x0a5d
00000223: JUMPI
00000224: PUSH2 0x0a65
00000227: CALLER
00000228: PUSH2 0x0871
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH2 0x0a6b
00000230: PUSH1 0x04
00000232: CALLDATALOAD
00000233: PUSH1 0x00
00000235: DUP1
00000236: SLOAD
00000237: DUP3
00000238: SWAP1
00000239: DUP2
0000023a: LT
0000023b: ISZERO
0000023c: PUSH2 0x0002
0000023f: JUMPI
00000240: POP
00000241: DUP1
00000242: MSTORE
00000243: PUSH1 0x0e
00000245: MUL
00000246: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e567
00000267: DUP2
00000268: ADD
00000269: SLOAD
0000026a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e569
0000028b: DUP3
0000028c: ADD
0000028d: SLOAD
0000028e: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
000002af: DUP4
000002b0: ADD
000002b1: SLOAD
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: MLOAD
000002b6: PUSH1 0x20
000002b8: PUSH2 0x2a59
000002bb: DUP4
000002bc: CODECOPY
000002bd: DUP2
000002be: MLOAD
000002bf: SWAP2
000002c0: MSTORE
000002c1: DUP5
000002c2: ADD
000002c3: SLOAD
000002c4: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564
000002e5: DUP6
000002e6: ADD
000002e7: SLOAD
000002e8: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e568
00000309: DUP7
0000030a: ADD
0000030b: SLOAD
0000030c: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56a
0000032d: DUP8
0000032e: ADD
0000032f: SLOAD
00000330: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56c
00000351: DUP9
00000352: ADD
00000353: SLOAD
00000354: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56d
00000375: DUP10
00000376: ADD
00000377: SLOAD
00000378: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e570
00000399: DUP11
0000039a: ADD
0000039b: SLOAD
0000039c: PUSH1 0x01
0000039e: PUSH1 0xa0
000003a0: PUSH1 0x02
000003a2: EXP
000003a3: SUB
000003a4: SWAP7
000003a5: DUP8
000003a6: AND
000003a7: SWAP11
000003a8: SWAP6
000003a9: SWAP10
000003aa: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e565
000003cb: SWAP7
000003cc: SWAP1
000003cd: SWAP7
000003ce: ADD
000003cf: SWAP9
000003d0: PUSH1 0xff
000003d2: DUP8
000003d3: DUP2
000003d4: AND
000003d5: SWAP9
000003d6: PUSH2 0x0100
000003d9: SWAP1
000003da: SWAP9
000003db: DIV
000003dc: DUP2
000003dd: AND
000003de: SWAP8
000003df: SWAP2
000003e0: SWAP6
000003e1: AND
000003e2: SWAP4
000003e3: SWAP3
000003e4: SWAP2
000003e5: AND
000003e6: DUP13
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH2 0x0a4b
000003ec: PUSH1 0x04
000003ee: CALLDATALOAD
000003ef: PUSH1 0x24
000003f1: CALLDATALOAD
000003f2: PUSH1 0x01
000003f4: PUSH1 0xa0
000003f6: PUSH1 0x02
000003f8: EXP
000003f9: SUB
000003fa: CALLER
000003fb: DUP2
000003fc: AND
000003fd: PUSH1 0x00
000003ff: DUP2
00000400: DUP2
00000401: MSTORE
00000402: PUSH1 0x15
00000404: PUSH1 0x20
00000406: SWAP1
00000407: DUP2
00000408: MSTORE
00000409: PUSH1 0x40
0000040b: DUP1
0000040c: DUP4
0000040d: KECCAK256
0000040e: SWAP5
0000040f: DUP8
00000410: AND
00000411: DUP1
00000412: DUP5
00000413: MSTORE
00000414: SWAP5
00000415: DUP3
00000416: MSTORE
00000417: DUP1
00000418: DUP4
00000419: KECCAK256
0000041a: DUP7
0000041b: SWAP1
0000041c: SSTORE
0000041d: DUP1
0000041e: MLOAD
0000041f: DUP7
00000420: DUP2
00000421: MSTORE
00000422: SWAP1
00000423: MLOAD
00000424: SWAP3
00000425: SWAP5
00000426: SWAP4
00000427: SWAP3
00000428: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000449: SWAP3
0000044a: SWAP2
0000044b: DUP2
0000044c: SWAP1
0000044d: SUB
0000044e: SWAP1
0000044f: SWAP2
00000450: ADD
00000451: SWAP1
00000452: LOG3
00000453: POP
00000454: PUSH1 0x01
00000456: JUMPDEST
00000457: SWAP3
00000458: SWAP2
00000459: POP
0000045a: POP
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH2 0x0a4b
00000460: PUSH1 0x10
00000462: SLOAD
00000463: DUP2
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x0b62
00000469: PUSH1 0x07
0000046b: SLOAD
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: PUSH1 0x02
00000472: EXP
00000473: SUB
00000474: AND
00000475: DUP2
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH2 0x0b62
0000047b: PUSH1 0x0e
0000047d: SLOAD
0000047e: PUSH1 0x01
00000480: PUSH1 0xa0
00000482: PUSH1 0x02
00000484: EXP
00000485: SUB
00000486: AND
00000487: DUP2
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH2 0x0a4b
0000048d: PUSH1 0x16
0000048f: SLOAD
00000490: DUP2
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0a4b
00000496: JUMPDEST
00000497: PUSH1 0x00
00000499: TIMESTAMP
0000049a: PUSH3 0x127500
0000049e: PUSH1 0x0f
000004a0: PUSH1 0x00
000004a2: POP
000004a3: SLOAD
000004a4: SUB
000004a5: GT
000004a6: ISZERO
000004a7: PUSH2 0x2470
000004aa: JUMPI
000004ab: POP
000004ac: PUSH1 0x14
000004ae: PUSH2 0x0a68
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x0b62
000004b6: PUSH1 0x12
000004b8: SLOAD
000004b9: PUSH1 0x01
000004bb: PUSH1 0xa0
000004bd: PUSH1 0x02
000004bf: EXP
000004c0: SUB
000004c1: AND
000004c2: DUP2
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH2 0x0b62
000004c8: PUSH1 0x04
000004ca: CALLDATALOAD
000004cb: PUSH1 0x00
000004cd: PUSH1 0x00
000004cf: PUSH1 0x00
000004d1: POP
000004d2: DUP3
000004d3: DUP2
000004d4: SLOAD
000004d5: DUP2
000004d6: LT
000004d7: ISZERO
000004d8: PUSH2 0x0002
000004db: JUMPI
000004dc: POP
000004dd: POP
000004de: DUP1
000004df: DUP1
000004e0: MSTORE
000004e1: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56b
00000502: PUSH1 0x0e
00000504: DUP4
00000505: MUL
00000506: ADD
00000507: DUP1
00000508: SLOAD
00000509: DUP3
0000050a: SWAP1
0000050b: DUP2
0000050c: LT
0000050d: ISZERO
0000050e: PUSH2 0x0002
00000511: JUMPI
00000512: POP
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x20
00000517: SWAP1
00000518: KECCAK256
00000519: PUSH1 0x03
0000051b: ADD
0000051c: SLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0xa0
00000521: PUSH1 0x02
00000523: EXP
00000524: SUB
00000525: AND
00000526: PUSH2 0x0752
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x40
0000052d: DUP1
0000052e: MLOAD
0000052f: PUSH1 0x20
00000531: PUSH1 0x24
00000533: DUP1
00000534: CALLDATALOAD
00000535: PUSH1 0x04
00000537: DUP2
00000538: DUP2
00000539: ADD
0000053a: CALLDATALOAD
0000053b: PUSH1 0x1f
0000053d: DUP2
0000053e: ADD
0000053f: DUP6
00000540: SWAP1
00000541: DIV
00000542: DUP6
00000543: MUL
00000544: DUP7
00000545: ADD
00000546: DUP6
00000547: ADD
00000548: SWAP1
00000549: SWAP7
0000054a: MSTORE
0000054b: DUP6
0000054c: DUP6
0000054d: MSTORE
0000054e: PUSH2 0x0a4b
00000551: SWAP6
00000552: DUP2
00000553: CALLDATALOAD
00000554: SWAP6
00000555: SWAP2
00000556: SWAP5
00000557: PUSH1 0x44
00000559: SWAP5
0000055a: SWAP3
0000055b: SWAP4
0000055c: SWAP1
0000055d: SWAP3
0000055e: ADD
0000055f: SWAP2
00000560: DUP2
00000561: SWAP1
00000562: DUP5
00000563: ADD
00000564: DUP4
00000565: DUP3
00000566: DUP1
00000567: DUP3
00000568: DUP5
00000569: CALLDATACOPY
0000056a: POP
0000056b: SWAP5
0000056c: SWAP7
0000056d: POP
0000056e: POP
0000056f: POP
00000570: POP
00000571: POP
00000572: POP
00000573: POP
00000574: PUSH1 0x00
00000576: PUSH1 0x00
00000578: PUSH1 0x00
0000057a: PUSH1 0x00
0000057c: PUSH1 0x00
0000057e: PUSH1 0x00
00000580: CALLVALUE
00000581: GT
00000582: ISZERO
00000583: PUSH2 0x1701
00000586: JUMPI
00000587: PUSH2 0x0002
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH2 0x0a4b
0000058f: PUSH1 0x04
00000591: CALLDATALOAD
00000592: PUSH1 0x24
00000594: CALLDATALOAD
00000595: PUSH1 0x44
00000597: CALLDATALOAD
00000598: JUMPDEST
00000599: PUSH1 0x11
0000059b: SLOAD
0000059c: PUSH1 0x00
0000059e: SWAP1
0000059f: PUSH1 0xff
000005a1: AND
000005a2: DUP1
000005a3: ISZERO
000005a4: PUSH2 0x05ae
000005a7: JUMPI
000005a8: POP
000005a9: PUSH1 0x0f
000005ab: SLOAD
000005ac: TIMESTAMP
000005ad: GT
000005ae: JUMPDEST
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x250a
000005b4: JUMPI
000005b5: POP
000005b6: PUSH2 0x2508
000005b9: DUP5
000005ba: PUSH2 0x0a24
000005bd: JUMP
000005be: JUMPDEST
000005bf: PUSH2 0x0a4b
000005c2: PUSH1 0x06
000005c4: SLOAD
000005c5: DUP2
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x0a4b
000005cb: JUMPDEST
000005cc: PUSH1 0x0d
000005ce: SLOAD
000005cf: ADDRESS
000005d0: PUSH1 0x01
000005d2: PUSH1 0xa0
000005d4: PUSH1 0x02
000005d6: EXP
000005d7: SUB
000005d8: AND
000005d9: BALANCE
000005da: SUB
000005db: PUSH2 0x0a68
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH2 0x0a4b
000005e3: PUSH1 0x0f
000005e5: SLOAD
000005e6: DUP2
000005e7: JUMP
000005e8: JUMPDEST
000005e9: PUSH2 0x0a4b
000005ec: PUSH1 0x04
000005ee: CALLDATALOAD
000005ef: PUSH1 0x04
000005f1: PUSH1 0x20
000005f3: MSTORE
000005f4: PUSH1 0x00
000005f6: SWAP1
000005f7: DUP2
000005f8: MSTORE
000005f9: PUSH1 0x40
000005fb: SWAP1
000005fc: KECCAK256
000005fd: SLOAD
000005fe: PUSH1 0xff
00000600: AND
00000601: DUP2
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH2 0x0a4b
00000607: PUSH1 0x04
00000609: CALLDATALOAD
0000060a: PUSH1 0x24
0000060c: CALLDATALOAD
0000060d: PUSH1 0x00
0000060f: PUSH2 0x24ec
00000612: PUSH2 0x08e8
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH2 0x0b7f
0000061a: PUSH1 0x00
0000061c: CALLVALUE
0000061d: GT
0000061e: ISZERO
0000061f: PUSH2 0x229a
00000622: JUMPI
00000623: PUSH2 0x0002
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x40
0000062a: DUP1
0000062b: MLOAD
0000062c: PUSH1 0x20
0000062e: PUSH1 0x44
00000630: CALLDATALOAD
00000631: PUSH1 0x04
00000633: DUP2
00000634: DUP2
00000635: ADD
00000636: CALLDATALOAD
00000637: PUSH1 0x1f
00000639: DUP2
0000063a: ADD
0000063b: DUP5
0000063c: SWAP1
0000063d: DIV
0000063e: DUP5
0000063f: MUL
00000640: DUP6
00000641: ADD
00000642: DUP5
00000643: ADD
00000644: SWAP1
00000645: SWAP6
00000646: MSTORE
00000647: DUP5
00000648: DUP5
00000649: MSTORE
0000064a: PUSH2 0x0a4b
0000064d: SWAP5
0000064e: DUP2
0000064f: CALLDATALOAD
00000650: SWAP5
00000651: PUSH1 0x24
00000653: DUP1
00000654: CALLDATALOAD
00000655: SWAP6
00000656: SWAP4
00000657: SWAP5
00000658: PUSH1 0x64
0000065a: SWAP5
0000065b: SWAP3
0000065c: SWAP4
0000065d: SWAP2
0000065e: ADD
0000065f: SWAP2
00000660: DUP2
00000661: SWAP1
00000662: DUP5
00000663: ADD
00000664: DUP4
00000665: DUP3
00000666: DUP1
00000667: DUP3
00000668: DUP5
00000669: CALLDATACOPY
0000066a: POP
0000066b: POP
0000066c: PUSH1 0x40
0000066e: DUP1
0000066f: MLOAD
00000670: PUSH1 0x20
00000672: SWAP8
00000673: CALLDATALOAD
00000674: DUP1
00000675: DUP11
00000676: ADD
00000677: CALLDATALOAD
00000678: PUSH1 0x1f
0000067a: DUP2
0000067b: ADD
0000067c: DUP11
0000067d: SWAP1
0000067e: DIV
0000067f: DUP11
00000680: MUL
00000681: DUP4
00000682: ADD
00000683: DUP11
00000684: ADD
00000685: SWAP1
00000686: SWAP4
00000687: MSTORE
00000688: DUP3
00000689: DUP3
0000068a: MSTORE
0000068b: SWAP7
0000068c: SWAP9
0000068d: SWAP8
0000068e: PUSH1 0x84
00000690: SWAP8
00000691: SWAP2
00000692: SWAP7
00000693: POP
00000694: PUSH1 0x24
00000696: SWAP2
00000697: SWAP1
00000698: SWAP2
00000699: ADD
0000069a: SWAP5
0000069b: POP
0000069c: SWAP1
0000069d: SWAP3
0000069e: POP
0000069f: DUP3
000006a0: SWAP2
000006a1: POP
000006a2: DUP5
000006a3: ADD
000006a4: DUP4
000006a5: DUP3
000006a6: DUP1
000006a7: DUP3
000006a8: DUP5
000006a9: CALLDATACOPY
000006aa: POP
000006ab: SWAP5
000006ac: SWAP7
000006ad: POP
000006ae: POP
000006af: SWAP4
000006b0: CALLDATALOAD
000006b1: SWAP4
000006b2: POP
000006b3: POP
000006b4: PUSH1 0xa4
000006b6: CALLDATALOAD
000006b7: SWAP2
000006b8: POP
000006b9: POP
000006ba: PUSH1 0x00
000006bc: PUSH1 0x00
000006be: PUSH2 0x1daa
000006c1: CALLER
000006c2: PUSH2 0x0738
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH2 0x0a4b
000006ca: PUSH1 0x04
000006cc: CALLDATALOAD
000006cd: PUSH1 0x09
000006cf: PUSH1 0x20
000006d1: MSTORE
000006d2: PUSH1 0x00
000006d4: SWAP1
000006d5: DUP2
000006d6: MSTORE
000006d7: PUSH1 0x40
000006d9: SWAP1
000006da: KECCAK256
000006db: SLOAD
000006dc: DUP2
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH2 0x0a4b
000006e2: PUSH1 0x01
000006e4: SLOAD
000006e5: DUP2
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH2 0x0b7f
000006eb: PUSH1 0x04
000006ed: CALLDATALOAD
000006ee: ADDRESS
000006ef: PUSH1 0x01
000006f1: PUSH1 0xa0
000006f3: PUSH1 0x02
000006f5: EXP
000006f6: SUB
000006f7: AND
000006f8: CALLER
000006f9: PUSH1 0x01
000006fb: PUSH1 0xa0
000006fd: PUSH1 0x02
000006ff: EXP
00000700: SUB
00000701: AND
00000702: EQ
00000703: ISZERO
00000704: DUP1
00000705: PUSH2 0x0727
00000708: JUMPI
00000709: POP
0000070a: PUSH1 0x01
0000070c: PUSH1 0xa0
0000070e: PUSH1 0x02
00000710: EXP
00000711: SUB
00000712: DUP2
00000713: AND
00000714: PUSH1 0x00
00000716: SWAP1
00000717: DUP2
00000718: MSTORE
00000719: PUSH1 0x04
0000071b: PUSH1 0x20
0000071d: MSTORE
0000071e: PUSH1 0x40
00000720: SWAP1
00000721: KECCAK256
00000722: SLOAD
00000723: PUSH1 0xff
00000725: AND
00000726: ISZERO
00000727: JUMPDEST
00000728: ISZERO
00000729: PUSH2 0x11a0
0000072c: JUMPI
0000072d: PUSH2 0x119d
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH2 0x0a4b
00000735: PUSH1 0x04
00000737: CALLDATALOAD
00000738: JUMPDEST
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: PUSH1 0x02
0000073f: EXP
00000740: SUB
00000741: DUP2
00000742: AND
00000743: PUSH1 0x00
00000745: SWAP1
00000746: DUP2
00000747: MSTORE
00000748: PUSH1 0x14
0000074a: PUSH1 0x20
0000074c: MSTORE
0000074d: PUSH1 0x40
0000074f: SWAP1
00000750: KECCAK256
00000751: SLOAD
00000752: JUMPDEST
00000753: SWAP2
00000754: SWAP1
00000755: POP
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH2 0x0a4b
0000075b: PUSH1 0x04
0000075d: CALLDATALOAD
0000075e: PUSH1 0x24
00000760: CALLDATALOAD
00000761: PUSH1 0x00
00000763: PUSH1 0x00
00000765: CALLVALUE
00000766: GT
00000767: ISZERO
00000768: PUSH2 0x25ba
0000076b: JUMPI
0000076c: PUSH2 0x0002
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH2 0x0a4b
00000774: PUSH1 0x00
00000776: PUSH4 0x01dfe200
0000077b: TIMESTAMP
0000077c: SUB
0000077d: PUSH1 0x02
0000077f: PUSH1 0x00
00000781: POP
00000782: SLOAD
00000783: LT
00000784: ISZERO
00000785: PUSH2 0x2636
00000788: JUMPI
00000789: POP
0000078a: TIMESTAMP
0000078b: PUSH1 0x02
0000078d: SWAP1
0000078e: DUP2
0000078f: SSTORE
00000790: PUSH1 0x01
00000792: DUP1
00000793: SLOAD
00000794: SWAP1
00000795: SWAP2
00000796: MUL
00000797: DUP2
00000798: SSTORE
00000799: PUSH2 0x0a68
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH2 0x0a4b
000007a1: PUSH1 0x04
000007a3: CALLDATALOAD
000007a4: PUSH1 0x0a
000007a6: PUSH1 0x20
000007a8: MSTORE
000007a9: PUSH1 0x00
000007ab: SWAP1
000007ac: DUP2
000007ad: MSTORE
000007ae: PUSH1 0x40
000007b0: SWAP1
000007b1: KECCAK256
000007b2: SLOAD
000007b3: DUP2
000007b4: JUMP
000007b5: JUMPDEST
000007b6: PUSH2 0x0a4b
000007b9: PUSH1 0x04
000007bb: CALLDATALOAD
000007bc: PUSH1 0x24
000007be: CALLDATALOAD
000007bf: PUSH1 0x00
000007c1: PUSH1 0x00
000007c3: PUSH1 0x00
000007c5: PUSH1 0x00
000007c7: PUSH1 0x00
000007c9: PUSH1 0x00
000007cb: CALLVALUE
000007cc: GT
000007cd: ISZERO
000007ce: PUSH2 0x0bc3
000007d1: JUMPI
000007d2: PUSH2 0x0002
000007d5: JUMP
000007d6: JUMPDEST
000007d7: PUSH2 0x0b62
000007da: PUSH1 0x08
000007dc: SLOAD
000007dd: PUSH1 0x01
000007df: PUSH1 0xa0
000007e1: PUSH1 0x02
000007e3: EXP
000007e4: SUB
000007e5: AND
000007e6: DUP2
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH2 0x0a4b
000007ec: PUSH1 0x0c
000007ee: SLOAD
000007ef: DUP2
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH2 0x0a4b
000007f5: PUSH1 0x00
000007f7: SLOAD
000007f8: PUSH1 0x00
000007fa: NOT
000007fb: ADD
000007fc: PUSH2 0x0a68
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH2 0x0a4b
00000804: PUSH1 0x02
00000806: SLOAD
00000807: DUP2
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH2 0x0a4b
0000080d: PUSH1 0x04
0000080f: CALLDATALOAD
00000810: PUSH1 0x00
00000812: PUSH1 0x00
00000814: PUSH1 0x00
00000816: PUSH1 0x00
00000818: CALLVALUE
00000819: GT
0000081a: ISZERO
0000081b: PUSH2 0x11d1
0000081e: JUMPI
0000081f: PUSH2 0x0002
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH2 0x0a4b
00000827: JUMPDEST
00000828: PUSH1 0x01
0000082a: PUSH2 0x0a68
0000082d: JUMP
0000082e: JUMPDEST
0000082f: PUSH2 0x0a4b
00000832: PUSH1 0x04
00000834: CALLDATALOAD
00000835: PUSH1 0x24
00000837: CALLDATALOAD
00000838: JUMPDEST
00000839: PUSH1 0x11
0000083b: SLOAD
0000083c: PUSH1 0x00
0000083e: SWAP1
0000083f: PUSH1 0xff
00000841: AND
00000842: DUP1
00000843: ISZERO
00000844: PUSH2 0x084e
00000847: JUMPI
00000848: POP
00000849: PUSH1 0x0f
0000084b: SLOAD
0000084c: TIMESTAMP
0000084d: GT
0000084e: JUMPDEST
0000084f: DUP1
00000850: ISZERO
00000851: PUSH2 0x24a8
00000854: JUMPI
00000855: POP
00000856: PUSH2 0x24a6
00000859: CALLER
0000085a: PUSH2 0x0a24
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH2 0x0a4b
00000862: PUSH1 0x11
00000864: SLOAD
00000865: PUSH1 0xff
00000867: AND
00000868: DUP2
00000869: JUMP
0000086a: JUMPDEST
0000086b: PUSH2 0x0a4b
0000086e: PUSH1 0x04
00000870: CALLDATALOAD
00000871: JUMPDEST
00000872: PUSH1 0x00
00000874: PUSH1 0x00
00000876: PUSH1 0x0f
00000878: PUSH1 0x00
0000087a: POP
0000087b: SLOAD
0000087c: TIMESTAMP
0000087d: LT
0000087e: DUP1
0000087f: ISZERO
00000880: PUSH2 0x0889
00000883: JUMPI
00000884: POP
00000885: PUSH1 0x00
00000887: CALLVALUE
00000888: GT
00000889: JUMPDEST
0000088a: DUP1
0000088b: ISZERO
0000088c: PUSH2 0x08c1
0000088f: JUMPI
00000890: POP
00000891: PUSH1 0x11
00000893: SLOAD
00000894: PUSH2 0x0100
00000897: SWAP1
00000898: DIV
00000899: PUSH1 0x01
0000089b: PUSH1 0xa0
0000089d: PUSH1 0x02
0000089f: EXP
000008a0: SUB
000008a1: AND
000008a2: PUSH1 0x00
000008a4: EQ
000008a5: DUP1
000008a6: PUSH2 0x08c1
000008a9: JUMPI
000008aa: POP
000008ab: PUSH1 0x11
000008ad: SLOAD
000008ae: PUSH1 0x01
000008b0: PUSH1 0xa0
000008b2: PUSH1 0x02
000008b4: EXP
000008b5: SUB
000008b6: CALLER
000008b7: DUP2
000008b8: AND
000008b9: PUSH2 0x0100
000008bc: SWAP1
000008bd: SWAP3
000008be: DIV
000008bf: AND
000008c0: EQ
000008c1: JUMPDEST
000008c2: ISZERO
000008c3: PUSH2 0x1da5
000008c6: JUMPI
000008c7: PUSH2 0x1ca2
000008ca: PUSH2 0x0496
000008cd: JUMP
000008ce: JUMPDEST
000008cf: PUSH2 0x0a4b
000008d2: PUSH1 0x04
000008d4: CALLDATALOAD
000008d5: PUSH1 0x24
000008d7: CALLDATALOAD
000008d8: PUSH1 0x00
000008da: PUSH1 0x00
000008dc: PUSH2 0x14ea
000008df: CALLER
000008e0: PUSH2 0x0738
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH2 0x0a4b
000008e8: JUMPDEST
000008e9: PUSH1 0x00
000008eb: PUSH1 0x00
000008ed: CALLVALUE
000008ee: GT
000008ef: ISZERO
000008f0: PUSH2 0x1452
000008f3: JUMPI
000008f4: PUSH2 0x0002
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH2 0x0a4b
000008fc: PUSH1 0x04
000008fe: CALLDATALOAD
000008ff: PUSH1 0x05
00000901: PUSH1 0x20
00000903: MSTORE
00000904: PUSH1 0x00
00000906: SWAP1
00000907: DUP2
00000908: MSTORE
00000909: PUSH1 0x40
0000090b: SWAP1
0000090c: KECCAK256
0000090d: SLOAD
0000090e: DUP2
0000090f: JUMP
00000910: JUMPDEST
00000911: PUSH2 0x0a4b
00000914: PUSH1 0x04
00000916: CALLDATALOAD
00000917: PUSH1 0x24
00000919: CALLDATALOAD
0000091a: PUSH1 0x44
0000091c: CALLDATALOAD
0000091d: PUSH1 0x00
0000091f: PUSH2 0x2550
00000922: DUP5
00000923: JUMPDEST
00000924: PUSH1 0x00
00000926: PUSH1 0x00
00000928: PUSH1 0x00
0000092a: CALLVALUE
0000092b: GT
0000092c: ISZERO
0000092d: PUSH2 0x26a9
00000930: JUMPI
00000931: PUSH2 0x0002
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH2 0x0a4b
00000939: PUSH1 0x04
0000093b: CALLDATALOAD
0000093c: PUSH1 0x24
0000093e: CALLDATALOAD
0000093f: PUSH1 0x01
00000941: PUSH1 0xa0
00000943: PUSH1 0x02
00000945: EXP
00000946: SUB
00000947: DUP3
00000948: DUP2
00000949: AND
0000094a: PUSH1 0x00
0000094c: SWAP1
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x15
00000951: PUSH1 0x20
00000953: SWAP1
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x40
00000958: DUP1
00000959: DUP4
0000095a: KECCAK256
0000095b: SWAP4
0000095c: DUP6
0000095d: AND
0000095e: DUP4
0000095f: MSTORE
00000960: SWAP3
00000961: SWAP1
00000962: MSTORE
00000963: KECCAK256
00000964: SLOAD
00000965: PUSH2 0x0456
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH2 0x0b7f
0000096d: PUSH1 0x04
0000096f: CALLDATALOAD
00000970: PUSH1 0x00
00000972: CALLVALUE
00000973: GT
00000974: ISZERO
00000975: PUSH2 0x2566
00000978: JUMPI
00000979: PUSH2 0x0002
0000097c: JUMP
0000097d: JUMPDEST
0000097e: PUSH2 0x0a4b
00000981: PUSH1 0x04
00000983: CALLDATALOAD
00000984: PUSH1 0x0b
00000986: PUSH1 0x20
00000988: MSTORE
00000989: PUSH1 0x00
0000098b: SWAP1
0000098c: DUP2
0000098d: MSTORE
0000098e: PUSH1 0x40
00000990: SWAP1
00000991: KECCAK256
00000992: SLOAD
00000993: DUP2
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH2 0x0b62
00000999: PUSH1 0x03
0000099b: SLOAD
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: AND
000009a5: DUP2
000009a6: JUMP
000009a7: JUMPDEST
000009a8: PUSH1 0x40
000009aa: DUP1
000009ab: MLOAD
000009ac: PUSH1 0x20
000009ae: PUSH1 0x64
000009b0: CALLDATALOAD
000009b1: PUSH1 0x04
000009b3: DUP2
000009b4: DUP2
000009b5: ADD
000009b6: CALLDATALOAD
000009b7: PUSH1 0x1f
000009b9: DUP2
000009ba: ADD
000009bb: DUP5
000009bc: SWAP1
000009bd: DIV
000009be: DUP5
000009bf: MUL
000009c0: DUP6
000009c1: ADD
000009c2: DUP5
000009c3: ADD
000009c4: SWAP1
000009c5: SWAP6
000009c6: MSTORE
000009c7: DUP5
000009c8: DUP5
000009c9: MSTORE
000009ca: PUSH2 0x0a4b
000009cd: SWAP5
000009ce: DUP2
000009cf: CALLDATALOAD
000009d0: SWAP5
000009d1: PUSH1 0x24
000009d3: DUP1
000009d4: CALLDATALOAD
000009d5: SWAP6
000009d6: PUSH1 0x44
000009d8: CALLDATALOAD
000009d9: SWAP6
000009da: PUSH1 0x84
000009dc: SWAP5
000009dd: SWAP3
000009de: ADD
000009df: SWAP2
000009e0: SWAP1
000009e1: DUP2
000009e2: SWAP1
000009e3: DUP5
000009e4: ADD
000009e5: DUP4
000009e6: DUP3
000009e7: DUP1
000009e8: DUP3
000009e9: DUP5
000009ea: CALLDATACOPY
000009eb: POP
000009ec: SWAP5
000009ed: SWAP7
000009ee: POP
000009ef: POP
000009f0: POP
000009f1: POP
000009f2: POP
000009f3: POP
000009f4: POP
000009f5: PUSH1 0x00
000009f7: PUSH1 0x00
000009f9: PUSH1 0x00
000009fb: CALLVALUE
000009fc: GT
000009fd: ISZERO
000009fe: PUSH2 0x145b
00000a01: JUMPI
00000a02: PUSH2 0x0002
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH2 0x0b62
00000a0a: PUSH1 0x11
00000a0c: SLOAD
00000a0d: PUSH2 0x0100
00000a10: SWAP1
00000a11: DIV
00000a12: PUSH1 0x01
00000a14: PUSH1 0xa0
00000a16: PUSH1 0x02
00000a18: EXP
00000a19: SUB
00000a1a: AND
00000a1b: DUP2
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH2 0x0a4b
00000a21: PUSH1 0x04
00000a23: CALLDATALOAD
00000a24: JUMPDEST
00000a25: PUSH1 0x01
00000a27: PUSH1 0xa0
00000a29: PUSH1 0x02
00000a2b: EXP
00000a2c: SUB
00000a2d: DUP2
00000a2e: AND
00000a2f: PUSH1 0x00
00000a31: SWAP1
00000a32: DUP2
00000a33: MSTORE
00000a34: PUSH1 0x0b
00000a36: PUSH1 0x20
00000a38: MSTORE
00000a39: PUSH1 0x40
00000a3b: DUP2
00000a3c: KECCAK256
00000a3d: SLOAD
00000a3e: DUP2
00000a3f: SWAP1
00000a40: DUP2
00000a41: EQ
00000a42: ISZERO
00000a43: PUSH2 0x263e
00000a46: JUMPI
00000a47: PUSH2 0x1d9f
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x40
00000a4e: DUP1
00000a4f: MLOAD
00000a50: SWAP2
00000a51: DUP3
00000a52: MSTORE
00000a53: MLOAD
00000a54: SWAP1
00000a55: DUP2
00000a56: SWAP1
00000a57: SUB
00000a58: PUSH1 0x20
00000a5a: ADD
00000a5b: SWAP1
00000a5c: RETURN
00000a5d: JUMPDEST
00000a5e: PUSH2 0x0a65
00000a61: PUSH2 0x0827
00000a64: JUMP
00000a65: JUMPDEST
00000a66: SWAP1
00000a67: POP
00000a68: JUMPDEST
00000a69: SWAP1
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH1 0x40
00000a6e: MLOAD
00000a6f: DUP1
00000a70: DUP14
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: PUSH1 0x02
00000a77: EXP
00000a78: SUB
00000a79: AND
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x20
00000a7e: ADD
00000a7f: DUP13
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: DUP1
00000a86: PUSH1 0x20
00000a88: ADD
00000a89: DUP12
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x20
00000a8e: ADD
00000a8f: DUP11
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: DUP10
00000a96: DUP2
00000a97: MSTORE
00000a98: PUSH1 0x20
00000a9a: ADD
00000a9b: DUP9
00000a9c: DUP2
00000a9d: MSTORE
00000a9e: PUSH1 0x20
00000aa0: ADD
00000aa1: DUP8
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x20
00000aa6: ADD
00000aa7: DUP7
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x20
00000aac: ADD
00000aad: DUP6
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: ADD
00000ab3: DUP5
00000ab4: DUP2
00000ab5: MSTORE
00000ab6: PUSH1 0x20
00000ab8: ADD
00000ab9: DUP4
00000aba: PUSH1 0x01
00000abc: PUSH1 0xa0
00000abe: PUSH1 0x02
00000ac0: EXP
00000ac1: SUB
00000ac2: AND
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: PUSH1 0x20
00000ac7: ADD
00000ac8: DUP3
00000ac9: DUP2
00000aca: SUB
00000acb: DUP3
00000acc: MSTORE
00000acd: DUP13
00000ace: DUP2
00000acf: DUP2
00000ad0: SLOAD
00000ad1: PUSH1 0x01
00000ad3: DUP2
00000ad4: PUSH1 0x01
00000ad6: AND
00000ad7: ISZERO
00000ad8: PUSH2 0x0100
00000adb: MUL
00000adc: SUB
00000add: AND
00000ade: PUSH1 0x02
00000ae0: SWAP1
00000ae1: DIV
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x20
00000ae6: ADD
00000ae7: SWAP2
00000ae8: POP
00000ae9: DUP1
00000aea: SLOAD
00000aeb: PUSH1 0x01
00000aed: DUP2
00000aee: PUSH1 0x01
00000af0: AND
00000af1: ISZERO
00000af2: PUSH2 0x0100
00000af5: MUL
00000af6: SUB
00000af7: AND
00000af8: PUSH1 0x02
00000afa: SWAP1
00000afb: DIV
00000afc: DUP1
00000afd: ISZERO
00000afe: PUSH2 0x0b48
00000b01: JUMPI
00000b02: DUP1
00000b03: PUSH1 0x1f
00000b05: LT
00000b06: PUSH2 0x0b1d
00000b09: JUMPI
00000b0a: PUSH2 0x0100
00000b0d: DUP1
00000b0e: DUP4
00000b0f: SLOAD
00000b10: DIV
00000b11: MUL
00000b12: DUP4
00000b13: MSTORE
00000b14: SWAP2
00000b15: PUSH1 0x20
00000b17: ADD
00000b18: SWAP2
00000b19: PUSH2 0x0b48
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: DUP3
00000b1f: ADD
00000b20: SWAP2
00000b21: SWAP1
00000b22: PUSH1 0x00
00000b24: MSTORE
00000b25: PUSH1 0x20
00000b27: PUSH1 0x00
00000b29: KECCAK256
00000b2a: SWAP1
00000b2b: JUMPDEST
00000b2c: DUP2
00000b2d: SLOAD
00000b2e: DUP2
00000b2f: MSTORE
00000b30: SWAP1
00000b31: PUSH1 0x01
00000b33: ADD
00000b34: SWAP1
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: DUP1
00000b39: DUP4
00000b3a: GT
00000b3b: PUSH2 0x0b2b
00000b3e: JUMPI
00000b3f: DUP3
00000b40: SWAP1
00000b41: SUB
00000b42: PUSH1 0x1f
00000b44: AND
00000b45: DUP3
00000b46: ADD
00000b47: SWAP2
00000b48: JUMPDEST
00000b49: POP
00000b4a: POP
00000b4b: SWAP14
00000b4c: POP
00000b4d: POP
00000b4e: POP
00000b4f: POP
00000b50: POP
00000b51: POP
00000b52: POP
00000b53: POP
00000b54: POP
00000b55: POP
00000b56: POP
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: PUSH1 0x40
00000b5c: MLOAD
00000b5d: DUP1
00000b5e: SWAP2
00000b5f: SUB
00000b60: SWAP1
00000b61: RETURN
00000b62: JUMPDEST
00000b63: PUSH1 0x40
00000b65: DUP1
00000b66: MLOAD
00000b67: PUSH1 0x01
00000b69: PUSH1 0xa0
00000b6b: PUSH1 0x02
00000b6d: EXP
00000b6e: SUB
00000b6f: SWAP3
00000b70: SWAP1
00000b71: SWAP3
00000b72: AND
00000b73: DUP3
00000b74: MSTORE
00000b75: MLOAD
00000b76: SWAP1
00000b77: DUP2
00000b78: SWAP1
00000b79: SUB
00000b7a: PUSH1 0x20
00000b7c: ADD
00000b7d: SWAP1
00000b7e: RETURN
00000b7f: JUMPDEST
00000b80: STOP
00000b81: JUMPDEST
00000b82: POP
00000b83: PUSH1 0x01
00000b85: PUSH1 0xa0
00000b87: PUSH1 0x02
00000b89: EXP
00000b8a: SUB
00000b8b: CALLER
00000b8c: AND
00000b8d: PUSH1 0x00
00000b8f: SWAP1
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x14
00000b94: PUSH1 0x20
00000b96: SWAP1
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x40
00000b9b: DUP1
00000b9c: DUP4
00000b9d: KECCAK256
00000b9e: DUP1
00000b9f: SLOAD
00000ba0: PUSH1 0x16
00000ba2: DUP1
00000ba3: SLOAD
00000ba4: SWAP2
00000ba5: SWAP1
00000ba6: SWAP2
00000ba7: SUB
00000ba8: SWAP1
00000ba9: SSTORE
00000baa: DUP4
00000bab: SWAP1
00000bac: SSTORE
00000bad: PUSH1 0x0a
00000baf: SWAP1
00000bb0: SWAP2
00000bb1: MSTORE
00000bb2: DUP2
00000bb3: KECCAK256
00000bb4: SSTORE
00000bb5: PUSH1 0x01
00000bb7: SWAP5
00000bb8: POP
00000bb9: JUMPDEST
00000bba: POP
00000bbb: POP
00000bbc: POP
00000bbd: POP
00000bbe: SWAP3
00000bbf: SWAP2
00000bc0: POP
00000bc1: POP
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH2 0x0bcc
00000bc7: CALLER
00000bc8: PUSH2 0x0738
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: PUSH1 0x00
00000bcf: EQ
00000bd0: ISZERO
00000bd1: PUSH2 0x0bd9
00000bd4: JUMPI
00000bd5: PUSH2 0x0002
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: SLOAD
00000bde: DUP9
00000bdf: SWAP1
00000be0: DUP2
00000be1: LT
00000be2: ISZERO
00000be3: PUSH2 0x0002
00000be6: JUMPI
00000be7: POP
00000be8: DUP1
00000be9: MSTORE
00000bea: PUSH1 0x0e
00000bec: DUP8
00000bed: MUL
00000bee: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
00000c0f: DUP2
00000c10: ADD
00000c11: SLOAD
00000c12: PUSH1 0x00
00000c14: DUP1
00000c15: MLOAD
00000c16: PUSH1 0x20
00000c18: PUSH2 0x2a59
00000c1b: DUP4
00000c1c: CODECOPY
00000c1d: DUP2
00000c1e: MLOAD
00000c1f: SWAP2
00000c20: MSTORE
00000c21: SWAP2
00000c22: SWAP1
00000c23: SWAP2
00000c24: ADD
00000c25: SWAP5
00000c26: POP
00000c27: TIMESTAMP
00000c28: LT
00000c29: DUP1
00000c2a: PUSH2 0x0c3b
00000c2d: JUMPI
00000c2e: POP
00000c2f: PUSH1 0x03
00000c31: DUP5
00000c32: ADD
00000c33: SLOAD
00000c34: PUSH3 0x239880
00000c38: ADD
00000c39: TIMESTAMP
00000c3a: GT
00000c3b: JUMPDEST
00000c3c: DUP1
00000c3d: PUSH2 0x0c54
00000c40: JUMPI
00000c41: POP
00000c42: DUP4
00000c43: SLOAD
00000c44: PUSH1 0x01
00000c46: PUSH1 0xa0
00000c48: PUSH1 0x02
00000c4a: EXP
00000c4b: SUB
00000c4c: SWAP1
00000c4d: DUP2
00000c4e: AND
00000c4f: SWAP1
00000c50: DUP8
00000c51: AND
00000c52: EQ
00000c53: ISZERO
00000c54: JUMPDEST
00000c55: DUP1
00000c56: PUSH2 0x0c64
00000c59: JUMPI
00000c5a: POP
00000c5b: PUSH1 0x07
00000c5d: DUP5
00000c5e: ADD
00000c5f: SLOAD
00000c60: PUSH1 0xff
00000c62: AND
00000c63: ISZERO
00000c64: JUMPDEST
00000c65: DUP1
00000c66: PUSH2 0x0c8a
00000c69: JUMPI
00000c6a: POP
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0xa0
00000c6f: PUSH1 0x02
00000c71: EXP
00000c72: SUB
00000c73: CALLER
00000c74: AND
00000c75: PUSH1 0x00
00000c77: SWAP1
00000c78: DUP2
00000c79: MSTORE
00000c7a: PUSH1 0x0b
00000c7c: DUP6
00000c7d: ADD
00000c7e: PUSH1 0x20
00000c80: MSTORE
00000c81: PUSH1 0x40
00000c83: SWAP1
00000c84: KECCAK256
00000c85: SLOAD
00000c86: PUSH1 0xff
00000c88: AND
00000c89: ISZERO
00000c8a: JUMPDEST
00000c8b: DUP1
00000c8c: PUSH2 0x0cad
00000c8f: JUMPI
00000c90: POP
00000c91: PUSH1 0x01
00000c93: PUSH1 0xa0
00000c95: PUSH1 0x02
00000c97: EXP
00000c98: SUB
00000c99: CALLER
00000c9a: AND
00000c9b: PUSH1 0x00
00000c9d: SWAP1
00000c9e: DUP2
00000c9f: MSTORE
00000ca0: PUSH1 0x0b
00000ca2: PUSH1 0x20
00000ca4: MSTORE
00000ca5: PUSH1 0x40
00000ca7: SWAP1
00000ca8: KECCAK256
00000ca9: SLOAD
00000caa: DUP8
00000cab: EQ
00000cac: ISZERO
00000cad: JUMPDEST
00000cae: ISZERO
00000caf: PUSH2 0x0cb7
00000cb2: JUMPI
00000cb3: PUSH2 0x0002
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x08
00000cba: DUP5
00000cbb: ADD
00000cbc: DUP1
00000cbd: SLOAD
00000cbe: PUSH1 0x00
00000cc0: SWAP1
00000cc1: DUP2
00000cc2: LT
00000cc3: ISZERO
00000cc4: PUSH2 0x0002
00000cc7: JUMPI
00000cc8: SWAP1
00000cc9: DUP2
00000cca: MSTORE
00000ccb: PUSH1 0x20
00000ccd: DUP2
00000cce: KECCAK256
00000ccf: PUSH1 0x03
00000cd1: ADD
00000cd2: SLOAD
00000cd3: PUSH1 0x01
00000cd5: PUSH1 0xa0
00000cd7: PUSH1 0x02
00000cd9: EXP
00000cda: SUB
00000cdb: AND
00000cdc: EQ
00000cdd: ISZERO
00000cde: PUSH2 0x0e23
00000ce1: JUMPI
00000ce2: PUSH2 0x0f0d
00000ce5: DUP7
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: PUSH1 0x00
00000ceb: SWAP1
00000cec: PUSH1 0x01
00000cee: PUSH1 0xa0
00000cf0: PUSH1 0x02
00000cf2: EXP
00000cf3: SUB
00000cf4: DUP4
00000cf5: AND
00000cf6: SWAP1
00000cf7: PUSH32 0x9046fefd66f538ab35263248a44217dcb70e2eb2cd136629e141b8b8f9f03b60
00000d18: SWAP1
00000d19: DUP4
00000d1a: SWAP1
00000d1b: LOG2
00000d1c: PUSH1 0x40
00000d1e: DUP1
00000d1f: MLOAD
00000d20: PUSH1 0x0e
00000d22: SLOAD
00000d23: PUSH32 0xe2faf04400000000000000000000000000000000000000000000000000000000
00000d44: DUP3
00000d45: MSTORE
00000d46: PUSH1 0x01
00000d48: PUSH1 0xa0
00000d4a: PUSH1 0x02
00000d4c: EXP
00000d4d: SUB
00000d4e: DUP6
00000d4f: DUP2
00000d50: AND
00000d51: PUSH1 0x04
00000d53: DUP5
00000d54: ADD
00000d55: MSTORE
00000d56: PUSH1 0x24
00000d58: DUP4
00000d59: ADD
00000d5a: DUP6
00000d5b: SWAP1
00000d5c: MSTORE
00000d5d: PUSH1 0x44
00000d5f: DUP4
00000d60: ADD
00000d61: DUP6
00000d62: SWAP1
00000d63: MSTORE
00000d64: PUSH3 0x239880
00000d68: TIMESTAMP
00000d69: ADD
00000d6a: PUSH1 0x64
00000d6c: DUP5
00000d6d: ADD
00000d6e: MSTORE
00000d6f: SWAP3
00000d70: MLOAD
00000d71: SWAP3
00000d72: AND
00000d73: SWAP2
00000d74: PUSH4 0xe2faf044
00000d79: SWAP2
00000d7a: PUSH1 0x84
00000d7c: DUP1
00000d7d: DUP3
00000d7e: ADD
00000d7f: SWAP3
00000d80: PUSH1 0x20
00000d82: SWAP3
00000d83: SWAP1
00000d84: SWAP2
00000d85: SWAP1
00000d86: DUP3
00000d87: SWAP1
00000d88: SUB
00000d89: ADD
00000d8a: DUP2
00000d8b: DUP8
00000d8c: DUP8
00000d8d: PUSH2 0x61da
00000d90: GAS
00000d91: SUB
00000d92: CALL
00000d93: ISZERO
00000d94: PUSH2 0x0002
00000d97: JUMPI
00000d98: POP
00000d99: POP
00000d9a: PUSH1 0x40
00000d9c: MLOAD
00000d9d: MLOAD
00000d9e: SWAP2
00000d9f: POP
00000da0: PUSH2 0x0752
00000da3: SWAP1
00000da4: POP
00000da5: JUMP
00000da6: JUMPDEST
00000da7: PUSH1 0x08
00000da9: DUP6
00000daa: ADD
00000dab: DUP1
00000dac: SLOAD
00000dad: PUSH1 0x00
00000daf: SWAP1
00000db0: DUP2
00000db1: LT
00000db2: ISZERO
00000db3: PUSH2 0x0002
00000db6: JUMPI
00000db7: DUP2
00000db8: DUP2
00000db9: MSTORE
00000dba: PUSH1 0x20
00000dbc: DUP1
00000dbd: DUP3
00000dbe: KECCAK256
00000dbf: SWAP4
00000dc0: SWAP1
00000dc1: SWAP4
00000dc2: SSTORE
00000dc3: ADDRESS
00000dc4: PUSH1 0x01
00000dc6: PUSH1 0xa0
00000dc8: PUSH1 0x02
00000dca: EXP
00000dcb: SUB
00000dcc: AND
00000dcd: DUP2
00000dce: MSTORE
00000dcf: PUSH1 0x05
00000dd1: SWAP1
00000dd2: SWAP3
00000dd3: MSTORE
00000dd4: PUSH1 0x40
00000dd6: DUP3
00000dd7: KECCAK256
00000dd8: SLOAD
00000dd9: DUP2
00000dda: SLOAD
00000ddb: SWAP1
00000ddc: SWAP3
00000ddd: SWAP1
00000dde: DUP2
00000ddf: LT
00000de0: ISZERO
00000de1: PUSH2 0x0002
00000de4: JUMPI
00000de5: SWAP1
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x20
00000dea: DUP2
00000deb: KECCAK256
00000dec: SWAP1
00000ded: POP
00000dee: PUSH1 0x02
00000df0: ADD
00000df1: SSTORE
00000df2: PUSH1 0x16
00000df4: SLOAD
00000df5: PUSH1 0x08
00000df7: DUP6
00000df8: ADD
00000df9: DUP1
00000dfa: SLOAD
00000dfb: PUSH1 0x00
00000dfd: SWAP1
00000dfe: DUP2
00000dff: LT
00000e00: ISZERO
00000e01: PUSH2 0x0002
00000e04: JUMPI
00000e05: SWAP1
00000e06: DUP2
00000e07: MSTORE
00000e08: PUSH1 0x20
00000e0a: DUP2
00000e0b: KECCAK256
00000e0c: SWAP1
00000e0d: POP
00000e0e: PUSH1 0x01
00000e10: ADD
00000e11: SSTORE
00000e12: PUSH1 0x04
00000e14: DUP5
00000e15: ADD
00000e16: DUP1
00000e17: SLOAD
00000e18: PUSH2 0xff00
00000e1b: NOT
00000e1c: AND
00000e1d: PUSH2 0x0100
00000e20: OR
00000e21: SWAP1
00000e22: SSTORE
00000e23: JUMPDEST
00000e24: PUSH1 0x08
00000e26: DUP5
00000e27: ADD
00000e28: DUP1
00000e29: SLOAD
00000e2a: PUSH1 0x00
00000e2c: SWAP1
00000e2d: DUP2
00000e2e: LT
00000e2f: ISZERO
00000e30: PUSH2 0x0002
00000e33: JUMPI
00000e34: DUP2
00000e35: SLOAD
00000e36: DUP3
00000e37: DUP3
00000e38: MSTORE
00000e39: PUSH1 0x20
00000e3b: DUP3
00000e3c: KECCAK256
00000e3d: PUSH1 0x01
00000e3f: ADD
00000e40: SLOAD
00000e41: SWAP3
00000e42: SWAP2
00000e43: SWAP1
00000e44: DUP2
00000e45: LT
00000e46: ISZERO
00000e47: PUSH2 0x0002
00000e4a: JUMPI
00000e4b: SWAP1
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x20
00000e50: DUP2
00000e51: KECCAK256
00000e52: SWAP1
00000e53: POP
00000e54: SLOAD
00000e55: PUSH1 0x01
00000e57: PUSH1 0xa0
00000e59: PUSH1 0x02
00000e5b: EXP
00000e5c: SUB
00000e5d: CALLER
00000e5e: AND
00000e5f: PUSH1 0x00
00000e61: SWAP1
00000e62: DUP2
00000e63: MSTORE
00000e64: PUSH1 0x14
00000e66: PUSH1 0x20
00000e68: MSTORE
00000e69: PUSH1 0x40
00000e6b: DUP2
00000e6c: KECCAK256
00000e6d: SLOAD
00000e6e: PUSH1 0x08
00000e70: DUP9
00000e71: ADD
00000e72: DUP1
00000e73: SLOAD
00000e74: SWAP4
00000e75: SWAP1
00000e76: SWAP2
00000e77: MUL
00000e78: SWAP4
00000e79: SWAP1
00000e7a: SWAP4
00000e7b: DIV
00000e7c: SWAP6
00000e7d: POP
00000e7e: SWAP1
00000e7f: DUP2
00000e80: LT
00000e81: ISZERO
00000e82: PUSH2 0x0002
00000e85: JUMPI
00000e86: SWAP1
00000e87: DUP2
00000e88: MSTORE
00000e89: PUSH1 0x20
00000e8b: DUP2
00000e8c: KECCAK256
00000e8d: SWAP1
00000e8e: POP
00000e8f: PUSH1 0x40
00000e91: DUP1
00000e92: MLOAD
00000e93: PUSH1 0x03
00000e95: SWAP1
00000e96: SWAP3
00000e97: ADD
00000e98: SLOAD
00000e99: PUSH32 0xbaac530000000000000000000000000000000000000000000000000000000000
00000eba: DUP4
00000ebb: MSTORE
00000ebc: PUSH1 0x01
00000ebe: PUSH1 0xa0
00000ec0: PUSH1 0x02
00000ec2: EXP
00000ec3: SUB
00000ec4: CALLER
00000ec5: DUP2
00000ec6: AND
00000ec7: PUSH1 0x04
00000ec9: DUP6
00000eca: ADD
00000ecb: MSTORE
00000ecc: SWAP2
00000ecd: MLOAD
00000ece: SWAP2
00000ecf: AND
00000ed0: SWAP2
00000ed1: PUSH4 0xbaac5300
00000ed6: SWAP2
00000ed7: DUP7
00000ed8: SWAP2
00000ed9: PUSH1 0x24
00000edb: DUP1
00000edc: DUP3
00000edd: ADD
00000ede: SWAP3
00000edf: PUSH1 0x20
00000ee1: SWAP3
00000ee2: SWAP1
00000ee3: SWAP2
00000ee4: SWAP1
00000ee5: DUP3
00000ee6: SWAP1
00000ee7: SUB
00000ee8: ADD
00000ee9: DUP2
00000eea: DUP6
00000eeb: DUP9
00000eec: PUSH2 0x8502
00000eef: GAS
00000ef0: SUB
00000ef1: CALL
00000ef2: ISZERO
00000ef3: PUSH2 0x0002
00000ef6: JUMPI
00000ef7: POP
00000ef8: POP
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: MLOAD
00000efd: PUSH1 0x00
00000eff: EQ
00000f00: ISZERO
00000f01: SWAP2
00000f02: POP
00000f03: PUSH2 0x0f89
00000f06: SWAP1
00000f07: POP
00000f08: JUMPI
00000f09: PUSH2 0x0002
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: PUSH1 0x08
00000f10: DUP6
00000f11: ADD
00000f12: DUP1
00000f13: SLOAD
00000f14: PUSH1 0x00
00000f16: SWAP1
00000f17: DUP2
00000f18: LT
00000f19: ISZERO
00000f1a: PUSH2 0x0002
00000f1d: JUMPI
00000f1e: DUP2
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x20
00000f23: DUP2
00000f24: KECCAK256
00000f25: PUSH1 0x03
00000f27: ADD
00000f28: DUP1
00000f29: SLOAD
00000f2a: PUSH1 0x01
00000f2c: PUSH1 0xa0
00000f2e: PUSH1 0x02
00000f30: EXP
00000f31: SUB
00000f32: NOT
00000f33: AND
00000f34: SWAP1
00000f35: SWAP4
00000f36: OR
00000f37: SWAP1
00000f38: SWAP3
00000f39: SSTORE
00000f3a: DUP1
00000f3b: SLOAD
00000f3c: SWAP1
00000f3d: SWAP2
00000f3e: SWAP1
00000f3f: DUP2
00000f40: LT
00000f41: ISZERO
00000f42: PUSH2 0x0002
00000f45: JUMPI
00000f46: SWAP1
00000f47: DUP2
00000f48: MSTORE
00000f49: PUSH1 0x20
00000f4b: DUP2
00000f4c: KECCAK256
00000f4d: SWAP1
00000f4e: POP
00000f4f: PUSH1 0x03
00000f51: ADD
00000f52: SLOAD
00000f53: PUSH1 0x01
00000f55: PUSH1 0xa0
00000f57: PUSH1 0x02
00000f59: EXP
00000f5a: SUB
00000f5b: AND
00000f5c: PUSH1 0x00
00000f5e: EQ
00000f5f: ISZERO
00000f60: PUSH2 0x0f68
00000f63: JUMPI
00000f64: PUSH2 0x0002
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH1 0x0d
00000f6b: SLOAD
00000f6c: ADDRESS
00000f6d: PUSH1 0x01
00000f6f: PUSH1 0xa0
00000f71: PUSH1 0x02
00000f73: EXP
00000f74: SUB
00000f75: AND
00000f76: BALANCE
00000f77: LT
00000f78: ISZERO
00000f79: PUSH2 0x0f81
00000f7c: JUMPI
00000f7d: PUSH2 0x0002
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH2 0x0da6
00000f85: PUSH2 0x05cb
00000f88: JUMP
00000f89: JUMPDEST
00000f8a: PUSH1 0x08
00000f8c: DUP5
00000f8d: ADD
00000f8e: DUP1
00000f8f: SLOAD
00000f90: PUSH1 0x00
00000f92: SWAP1
00000f93: DUP2
00000f94: LT
00000f95: ISZERO
00000f96: PUSH2 0x0002
00000f99: JUMPI
00000f9a: DUP2
00000f9b: SLOAD
00000f9c: DUP3
00000f9d: DUP3
00000f9e: MSTORE
00000f9f: PUSH1 0x20
00000fa1: DUP3
00000fa2: KECCAK256
00000fa3: PUSH1 0x01
00000fa5: ADD
00000fa6: SLOAD
00000fa7: SWAP3
00000fa8: SWAP2
00000fa9: SWAP1
00000faa: DUP2
00000fab: LT
00000fac: ISZERO
00000fad: PUSH2 0x0002
00000fb0: JUMPI
00000fb1: SWAP1
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: PUSH1 0x20
00000fb6: DUP2
00000fb7: KECCAK256
00000fb8: SWAP1
00000fb9: POP
00000fba: PUSH1 0x02
00000fbc: ADD
00000fbd: SLOAD
00000fbe: PUSH1 0x01
00000fc0: PUSH1 0xa0
00000fc2: PUSH1 0x02
00000fc4: EXP
00000fc5: SUB
00000fc6: CALLER
00000fc7: DUP2
00000fc8: AND
00000fc9: PUSH1 0x00
00000fcb: SWAP1
00000fcc: DUP2
00000fcd: MSTORE
00000fce: PUSH1 0x14
00000fd0: PUSH1 0x20
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x40
00000fd7: DUP1
00000fd8: DUP4
00000fd9: KECCAK256
00000fda: SLOAD
00000fdb: ADDRESS
00000fdc: SWAP1
00000fdd: SWAP5
00000fde: AND
00000fdf: DUP4
00000fe0: MSTORE
00000fe1: PUSH1 0x05
00000fe3: DUP1
00000fe4: DUP4
00000fe5: MSTORE
00000fe6: DUP2
00000fe7: DUP5
00000fe8: KECCAK256
00000fe9: SLOAD
00000fea: PUSH1 0x09
00000fec: SWAP1
00000fed: SWAP4
00000fee: MSTORE
00000fef: SWAP1
00000ff0: DUP4
00000ff1: KECCAK256
00000ff2: SLOAD
00000ff3: PUSH1 0x08
00000ff5: DUP12
00000ff6: ADD
00000ff7: DUP1
00000ff8: SLOAD
00000ff9: SWAP7
00000ffa: SWAP1
00000ffb: SWAP6
00000ffc: MUL
00000ffd: SWAP7
00000ffe: SWAP1
00000fff: SWAP7
00001000: DIV
00001001: SWAP8
00001002: POP
00001003: SWAP5
00001004: DUP8
00001005: MUL
00001006: DIV
00001007: SWAP5
00001008: POP
00001009: DUP6
0000100a: SWAP4
0000100b: SWAP3
0000100c: SWAP1
0000100d: SWAP2
0000100e: SWAP1
0000100f: DUP3
00001010: SWAP1
00001011: DUP2
00001012: LT
00001013: ISZERO
00001014: PUSH2 0x0002
00001017: JUMPI
00001018: MSTORE
00001019: PUSH1 0x20
0000101b: DUP2
0000101c: KECCAK256
0000101d: DUP2
0000101e: POP
0000101f: PUSH1 0x03
00001021: ADD
00001022: SLOAD
00001023: PUSH1 0x01
00001025: PUSH1 0xa0
00001027: PUSH1 0x02
00001029: EXP
0000102a: SUB
0000102b: SWAP1
0000102c: DUP2
0000102d: AND
0000102e: DUP3
0000102f: MSTORE
00001030: PUSH1 0x20
00001032: DUP3
00001033: DUP2
00001034: ADD
00001035: SWAP4
00001036: SWAP1
00001037: SWAP4
00001038: MSTORE
00001039: PUSH1 0x40
0000103b: SWAP2
0000103c: DUP3
0000103d: ADD
0000103e: PUSH1 0x00
00001040: SWAP1
00001041: DUP2
00001042: KECCAK256
00001043: DUP1
00001044: SLOAD
00001045: SWAP1
00001046: SWAP6
00001047: ADD
00001048: SWAP1
00001049: SWAP5
0000104a: SSTORE
0000104b: ADDRESS
0000104c: AND
0000104d: DUP4
0000104e: MSTORE
0000104f: PUSH1 0x05
00001051: SWAP1
00001052: SWAP2
00001053: MSTORE
00001054: SWAP1
00001055: KECCAK256
00001056: SLOAD
00001057: DUP3
00001058: SWAP1
00001059: LT
0000105a: ISZERO
0000105b: PUSH2 0x1063
0000105e: JUMPI
0000105f: PUSH2 0x0002
00001062: JUMP
00001063: JUMPDEST
00001064: ADDRESS
00001065: PUSH1 0x01
00001067: PUSH1 0xa0
00001069: PUSH1 0x02
0000106b: EXP
0000106c: SUB
0000106d: AND
0000106e: PUSH1 0x00
00001070: SWAP1
00001071: DUP2
00001072: MSTORE
00001073: PUSH1 0x05
00001075: PUSH1 0x20
00001077: MSTORE
00001078: PUSH1 0x40
0000107a: DUP2
0000107b: KECCAK256
0000107c: DUP1
0000107d: SLOAD
0000107e: DUP5
0000107f: SWAP1
00001080: SUB
00001081: SWAP1
00001082: SSTORE
00001083: PUSH1 0x08
00001085: DUP6
00001086: ADD
00001087: DUP1
00001088: SLOAD
00001089: DUP4
0000108a: SWAP3
0000108b: PUSH1 0x09
0000108d: SWAP3
0000108e: SWAP1
0000108f: SWAP2
00001090: DUP3
00001091: SWAP1
00001092: DUP2
00001093: LT
00001094: ISZERO
00001095: PUSH2 0x0002
00001098: JUMPI
00001099: POP
0000109a: DUP2
0000109b: MSTORE
0000109c: PUSH1 0x20
0000109e: DUP1
0000109f: DUP3
000010a0: KECCAK256
000010a1: PUSH1 0x03
000010a3: ADD
000010a4: SLOAD
000010a5: PUSH1 0x01
000010a7: PUSH1 0xa0
000010a9: PUSH1 0x02
000010ab: EXP
000010ac: SUB
000010ad: SWAP1
000010ae: DUP2
000010af: AND
000010b0: DUP4
000010b1: MSTORE
000010b2: SWAP3
000010b3: SWAP1
000010b4: MSTORE
000010b5: PUSH1 0x40
000010b7: DUP1
000010b8: DUP3
000010b9: KECCAK256
000010ba: DUP1
000010bb: SLOAD
000010bc: SWAP1
000010bd: SWAP5
000010be: ADD
000010bf: SWAP1
000010c0: SWAP4
000010c1: SSTORE
000010c2: ADDRESS
000010c3: SWAP1
000010c4: SWAP2
000010c5: AND
000010c6: DUP2
000010c7: MSTORE
000010c8: KECCAK256
000010c9: SLOAD
000010ca: DUP2
000010cb: SWAP1
000010cc: LT
000010cd: ISZERO
000010ce: PUSH2 0x10d6
000010d1: JUMPI
000010d2: PUSH2 0x0002
000010d5: JUMP
000010d6: JUMPDEST
000010d7: ADDRESS
000010d8: PUSH1 0x01
000010da: PUSH1 0xa0
000010dc: PUSH1 0x02
000010de: EXP
000010df: SUB
000010e0: SWAP1
000010e1: DUP2
000010e2: AND
000010e3: PUSH1 0x00
000010e5: SWAP1
000010e6: DUP2
000010e7: MSTORE
000010e8: PUSH1 0x09
000010ea: PUSH1 0x20
000010ec: SWAP1
000010ed: DUP2
000010ee: MSTORE
000010ef: PUSH1 0x40
000010f1: DUP1
000010f2: DUP4
000010f3: KECCAK256
000010f4: DUP1
000010f5: SLOAD
000010f6: DUP7
000010f7: SWAP1
000010f8: SUB
000010f9: SWAP1
000010fa: SSTORE
000010fb: CALLER
000010fc: SWAP4
000010fd: SWAP1
000010fe: SWAP4
000010ff: AND
00001100: DUP1
00001101: DUP4
00001102: MSTORE
00001103: PUSH1 0x14
00001105: DUP3
00001106: MSTORE
00001107: DUP4
00001108: DUP4
00001109: KECCAK256
0000110a: SLOAD
0000110b: DUP5
0000110c: MLOAD
0000110d: SWAP1
0000110e: DUP2
0000110f: MSTORE
00001110: SWAP4
00001111: MLOAD
00001112: SWAP3
00001113: SWAP4
00001114: SWAP1
00001115: SWAP3
00001116: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001137: SWAP3
00001138: SWAP2
00001139: DUP2
0000113a: SWAP1
0000113b: SUB
0000113c: SWAP1
0000113d: SWAP2
0000113e: ADD
0000113f: SWAP1
00001140: LOG3
00001141: PUSH2 0x0b81
00001144: CALLER
00001145: PUSH2 0x0923
00001148: JUMP
00001149: JUMPDEST
0000114a: ADDRESS
0000114b: PUSH1 0x01
0000114d: PUSH1 0xa0
0000114f: PUSH1 0x02
00001151: EXP
00001152: SUB
00001153: SWAP1
00001154: DUP2
00001155: AND
00001156: PUSH1 0x00
00001158: DUP2
00001159: DUP2
0000115a: MSTORE
0000115b: PUSH1 0x05
0000115d: PUSH1 0x20
0000115f: SWAP1
00001160: DUP2
00001161: MSTORE
00001162: PUSH1 0x40
00001164: DUP1
00001165: DUP4
00001166: KECCAK256
00001167: DUP1
00001168: SLOAD
00001169: SWAP6
0000116a: DUP8
0000116b: AND
0000116c: DUP1
0000116d: DUP6
0000116e: MSTORE
0000116f: DUP3
00001170: DUP6
00001171: KECCAK256
00001172: DUP1
00001173: SLOAD
00001174: SWAP1
00001175: SWAP8
00001176: ADD
00001177: SWAP1
00001178: SWAP7
00001179: SSTORE
0000117a: DUP5
0000117b: DUP5
0000117c: MSTORE
0000117d: DUP4
0000117e: SWAP1
0000117f: SSTORE
00001180: PUSH1 0x09
00001182: SWAP1
00001183: SWAP2
00001184: MSTORE
00001185: DUP1
00001186: DUP3
00001187: KECCAK256
00001188: DUP1
00001189: SLOAD
0000118a: SWAP5
0000118b: DUP4
0000118c: MSTORE
0000118d: SWAP1
0000118e: DUP3
0000118f: KECCAK256
00001190: DUP1
00001191: SLOAD
00001192: SWAP1
00001193: SWAP5
00001194: ADD
00001195: SWAP1
00001196: SWAP4
00001197: SSTORE
00001198: SWAP1
00001199: DUP2
0000119a: MSTORE
0000119b: SWAP1
0000119c: SSTORE
0000119d: JUMPDEST
0000119e: POP
0000119f: JUMP
000011a0: JUMPDEST
000011a1: PUSH1 0x40
000011a3: MLOAD
000011a4: PUSH1 0x01
000011a6: PUSH1 0xa0
000011a8: PUSH1 0x02
000011aa: EXP
000011ab: SUB
000011ac: DUP3
000011ad: DUP2
000011ae: AND
000011af: SWAP2
000011b0: ADDRESS
000011b1: SWAP1
000011b2: SWAP2
000011b3: AND
000011b4: BALANCE
000011b5: SWAP1
000011b6: PUSH1 0x00
000011b8: DUP2
000011b9: DUP2
000011ba: DUP2
000011bb: DUP6
000011bc: DUP8
000011bd: PUSH2 0x8502
000011c0: GAS
000011c1: SUB
000011c2: CALL
000011c3: SWAP3
000011c4: POP
000011c5: POP
000011c6: POP
000011c7: ISZERO
000011c8: ISZERO
000011c9: PUSH2 0x1149
000011cc: JUMPI
000011cd: PUSH2 0x0002
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x01
000011d4: PUSH1 0xa0
000011d6: PUSH1 0x02
000011d8: EXP
000011d9: SUB
000011da: CALLER
000011db: DUP2
000011dc: DUP2
000011dd: AND
000011de: PUSH1 0x00
000011e0: SWAP1
000011e1: DUP2
000011e2: MSTORE
000011e3: PUSH1 0x09
000011e5: PUSH1 0x20
000011e7: SWAP1
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x40
000011ec: DUP1
000011ed: DUP4
000011ee: KECCAK256
000011ef: SLOAD
000011f0: DUP2
000011f1: MLOAD
000011f2: PUSH1 0x06
000011f4: SLOAD
000011f5: PUSH1 0x08
000011f7: SLOAD
000011f8: PUSH1 0xe0
000011fa: PUSH1 0x02
000011fc: EXP
000011fd: PUSH4 0xd2cc718f
00001202: MUL
00001203: DUP4
00001204: MSTORE
00001205: SWAP4
00001206: MLOAD
00001207: SWAP7
00001208: SWAP10
00001209: POP
0000120a: SWAP2
0000120b: SWAP7
0000120c: SWAP2
0000120d: SWAP6
0000120e: SWAP3
0000120f: SWAP1
00001210: SWAP2
00001211: AND
00001212: SWAP4
00001213: PUSH4 0xd2cc718f
00001218: SWAP4
00001219: PUSH1 0x04
0000121b: DUP4
0000121c: DUP2
0000121d: ADD
0000121e: SWAP5
0000121f: SWAP2
00001220: SWAP4
00001221: SWAP2
00001222: SWAP3
00001223: SWAP2
00001224: DUP4
00001225: SWAP1
00001226: SUB
00001227: ADD
00001228: SWAP1
00001229: DUP3
0000122a: SWAP1
0000122b: DUP8
0000122c: PUSH2 0x61da
0000122f: GAS
00001230: SUB
00001231: CALL
00001232: ISZERO
00001233: PUSH2 0x0002
00001236: JUMPI
00001237: POP
00001238: POP
00001239: POP
0000123a: PUSH1 0x40
0000123c: MLOAD
0000123d: DUP1
0000123e: MLOAD
0000123f: SWAP1
00001240: PUSH1 0x20
00001242: ADD
00001243: POP
00001244: PUSH1 0x05
00001246: PUSH1 0x00
00001248: POP
00001249: PUSH1 0x00
0000124b: CALLER
0000124c: PUSH1 0x01
0000124e: PUSH1 0xa0
00001250: PUSH1 0x02
00001252: EXP
00001253: SUB
00001254: AND
00001255: DUP2
00001256: MSTORE
00001257: PUSH1 0x20
00001259: ADD
0000125a: SWAP1
0000125b: DUP2
0000125c: MSTORE
0000125d: PUSH1 0x20
0000125f: ADD
00001260: PUSH1 0x00
00001262: KECCAK256
00001263: PUSH1 0x00
00001265: POP
00001266: SLOAD
00001267: MUL
00001268: DIV
00001269: LT
0000126a: ISZERO
0000126b: PUSH2 0x1273
0000126e: JUMPI
0000126f: PUSH2 0x0002
00001272: JUMP
00001273: JUMPDEST
00001274: PUSH1 0x01
00001276: PUSH1 0xa0
00001278: PUSH1 0x02
0000127a: EXP
0000127b: SUB
0000127c: CALLER
0000127d: DUP2
0000127e: AND
0000127f: PUSH1 0x00
00001281: SWAP1
00001282: DUP2
00001283: MSTORE
00001284: PUSH1 0x09
00001286: PUSH1 0x20
00001288: SWAP1
00001289: DUP2
0000128a: MSTORE
0000128b: PUSH1 0x40
0000128d: DUP1
0000128e: DUP4
0000128f: KECCAK256
00001290: SLOAD
00001291: DUP2
00001292: MLOAD
00001293: PUSH1 0x06
00001295: SLOAD
00001296: PUSH1 0x08
00001298: SLOAD
00001299: PUSH1 0xe0
0000129b: PUSH1 0x02
0000129d: EXP
0000129e: PUSH4 0xd2cc718f
000012a3: MUL
000012a4: DUP4
000012a5: MSTORE
000012a6: SWAP4
000012a7: MLOAD
000012a8: SWAP3
000012a9: SWAP7
000012aa: SWAP1
000012ab: SWAP6
000012ac: SWAP4
000012ad: AND
000012ae: SWAP4
000012af: PUSH4 0xd2cc718f
000012b4: SWAP4
000012b5: PUSH1 0x04
000012b7: DUP4
000012b8: DUP2
000012b9: ADD
000012ba: SWAP5
000012bb: SWAP3
000012bc: SWAP4
000012bd: DUP4
000012be: SWAP1
000012bf: SUB
000012c0: ADD
000012c1: SWAP1
000012c2: DUP3
000012c3: SWAP1
000012c4: DUP8
000012c5: PUSH2 0x61da
000012c8: GAS
000012c9: SUB
000012ca: CALL
000012cb: ISZERO
000012cc: PUSH2 0x0002
000012cf: JUMPI
000012d0: POP
000012d1: POP
000012d2: POP
000012d3: PUSH1 0x40
000012d5: MLOAD
000012d6: DUP1
000012d7: MLOAD
000012d8: SWAP1
000012d9: PUSH1 0x20
000012db: ADD
000012dc: POP
000012dd: PUSH1 0x05
000012df: PUSH1 0x00
000012e1: POP
000012e2: PUSH1 0x00
000012e4: CALLER
000012e5: PUSH1 0x01
000012e7: PUSH1 0xa0
000012e9: PUSH1 0x02
000012eb: EXP
000012ec: SUB
000012ed: AND
000012ee: DUP2
000012ef: MSTORE
000012f0: PUSH1 0x20
000012f2: ADD
000012f3: SWAP1
000012f4: DUP2
000012f5: MSTORE
000012f6: PUSH1 0x20
000012f8: ADD
000012f9: PUSH1 0x00
000012fb: KECCAK256
000012fc: PUSH1 0x00
000012fe: POP
000012ff: SLOAD
00001300: MUL
00001301: DIV
00001302: SUB
00001303: SWAP1
00001304: POP
00001305: DUP4
00001306: ISZERO
00001307: PUSH2 0x13c2
0000130a: JUMPI
0000130b: PUSH1 0x08
0000130d: PUSH1 0x00
0000130f: SWAP1
00001310: SLOAD
00001311: SWAP1
00001312: PUSH2 0x0100
00001315: EXP
00001316: SWAP1
00001317: DIV
00001318: PUSH1 0x01
0000131a: PUSH1 0xa0
0000131c: PUSH1 0x02
0000131e: EXP
0000131f: SUB
00001320: AND
00001321: PUSH1 0x01
00001323: PUSH1 0xa0
00001325: PUSH1 0x02
00001327: EXP
00001328: SUB
00001329: AND
0000132a: PUSH4 0x0221038a
0000132f: DUP4
00001330: PUSH1 0x01
00001332: PUSH1 0xa0
00001334: PUSH1 0x02
00001336: EXP
00001337: SUB
00001338: AND
00001339: PUSH4 0x0e708203
0000133e: PUSH1 0x40
00001340: MLOAD
00001341: DUP2
00001342: PUSH1 0xe0
00001344: PUSH1 0x02
00001346: EXP
00001347: MUL
00001348: DUP2
00001349: MSTORE
0000134a: PUSH1 0x04
0000134c: ADD
0000134d: DUP1
0000134e: SWAP1
0000134f: POP
00001350: PUSH1 0x20
00001352: PUSH1 0x40
00001354: MLOAD
00001355: DUP1
00001356: DUP4
00001357: SUB
00001358: DUP2
00001359: PUSH1 0x00
0000135b: DUP8
0000135c: PUSH2 0x61da
0000135f: GAS
00001360: SUB
00001361: CALL
00001362: ISZERO
00001363: PUSH2 0x0002
00001366: JUMPI
00001367: POP
00001368: POP
00001369: PUSH1 0x40
0000136b: DUP1
0000136c: MLOAD
0000136d: DUP1
0000136e: MLOAD
0000136f: PUSH1 0xe1
00001371: PUSH1 0x02
00001373: EXP
00001374: PUSH4 0x011081c5
00001379: MUL
0000137a: DUP3
0000137b: MSTORE
0000137c: PUSH1 0x01
0000137e: PUSH1 0xa0
00001380: PUSH1 0x02
00001382: EXP
00001383: SUB
00001384: AND
00001385: PUSH1 0x04
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: PUSH1 0x24
0000138c: DUP2
0000138d: ADD
0000138e: DUP7
0000138f: SWAP1
00001390: MSTORE
00001391: SWAP1
00001392: MLOAD
00001393: PUSH1 0x44
00001395: DUP1
00001396: DUP4
00001397: ADD
00001398: SWAP4
00001399: POP
0000139a: PUSH1 0x20
0000139c: SWAP3
0000139d: DUP3
0000139e: SWAP1
0000139f: SUB
000013a0: ADD
000013a1: DUP2
000013a2: PUSH1 0x00
000013a4: DUP8
000013a5: PUSH2 0x61da
000013a8: GAS
000013a9: SUB
000013aa: CALL
000013ab: ISZERO
000013ac: PUSH2 0x0002
000013af: JUMPI
000013b0: POP
000013b1: POP
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: MLOAD
000013b6: ISZERO
000013b7: ISZERO
000013b8: SWAP1
000013b9: POP
000013ba: PUSH2 0x142a
000013bd: JUMPI
000013be: PUSH2 0x0002
000013c1: JUMP
000013c2: JUMPDEST
000013c3: PUSH1 0x40
000013c5: DUP1
000013c6: MLOAD
000013c7: PUSH1 0x08
000013c9: SLOAD
000013ca: PUSH1 0xe1
000013cc: PUSH1 0x02
000013ce: EXP
000013cf: PUSH4 0x011081c5
000013d4: MUL
000013d5: DUP3
000013d6: MSTORE
000013d7: PUSH1 0x01
000013d9: PUSH1 0xa0
000013db: PUSH1 0x02
000013dd: EXP
000013de: SUB
000013df: DUP6
000013e0: DUP2
000013e1: AND
000013e2: PUSH1 0x04
000013e4: DUP5
000013e5: ADD
000013e6: MSTORE
000013e7: PUSH1 0x24
000013e9: DUP4
000013ea: ADD
000013eb: DUP6
000013ec: SWAP1
000013ed: MSTORE
000013ee: SWAP3
000013ef: MLOAD
000013f0: SWAP3
000013f1: AND
000013f2: SWAP2
000013f3: PUSH4 0x0221038a
000013f8: SWAP2
000013f9: PUSH1 0x44
000013fb: DUP1
000013fc: DUP3
000013fd: ADD
000013fe: SWAP3
000013ff: PUSH1 0x20
00001401: SWAP3
00001402: SWAP1
00001403: SWAP2
00001404: SWAP1
00001405: DUP3
00001406: SWAP1
00001407: SUB
00001408: ADD
00001409: DUP2
0000140a: PUSH1 0x00
0000140c: DUP8
0000140d: PUSH2 0x61da
00001410: GAS
00001411: SUB
00001412: CALL
00001413: ISZERO
00001414: PUSH2 0x0002
00001417: JUMPI
00001418: POP
00001419: POP
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: MLOAD
0000141e: ISZERO
0000141f: ISZERO
00001420: SWAP1
00001421: POP
00001422: PUSH2 0x142a
00001425: JUMPI
00001426: PUSH2 0x0002
00001429: JUMP
0000142a: JUMPDEST
0000142b: PUSH1 0x01
0000142d: PUSH1 0xa0
0000142f: PUSH1 0x02
00001431: EXP
00001432: SUB
00001433: CALLER
00001434: AND
00001435: PUSH1 0x00
00001437: SWAP1
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x09
0000143c: PUSH1 0x20
0000143e: MSTORE
0000143f: PUSH1 0x40
00001441: SWAP1
00001442: KECCAK256
00001443: DUP1
00001444: SLOAD
00001445: SWAP1
00001446: SWAP2
00001447: ADD
00001448: SWAP1
00001449: SSTORE
0000144a: POP
0000144b: PUSH1 0x01
0000144d: SWAP3
0000144e: SWAP2
0000144f: POP
00001450: POP
00001451: JUMP
00001452: JUMPDEST
00001453: PUSH2 0x0a65
00001456: CALLER
00001457: PUSH2 0x0923
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH1 0x00
0000145e: DUP1
0000145f: SLOAD
00001460: DUP8
00001461: SWAP1
00001462: DUP2
00001463: LT
00001464: ISZERO
00001465: PUSH2 0x0002
00001468: JUMPI
00001469: POP
0000146a: DUP1
0000146b: DUP1
0000146c: MSTORE
0000146d: PUSH1 0x0e
0000146f: DUP8
00001470: MUL
00001471: PUSH1 0x00
00001473: DUP1
00001474: MLOAD
00001475: PUSH1 0x20
00001477: PUSH2 0x2a59
0000147a: DUP4
0000147b: CODECOPY
0000147c: DUP2
0000147d: MLOAD
0000147e: SWAP2
0000147f: MSTORE
00001480: ADD
00001481: SWAP1
00001482: POP
00001483: SWAP1
00001484: POP
00001485: DUP5
00001486: DUP5
00001487: DUP5
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: DUP1
0000148c: DUP5
0000148d: PUSH1 0x01
0000148f: PUSH1 0xa0
00001491: PUSH1 0x02
00001493: EXP
00001494: SUB
00001495: AND
00001496: PUSH1 0x60
00001498: PUSH1 0x02
0000149a: EXP
0000149b: MUL
0000149c: DUP2
0000149d: MSTORE
0000149e: PUSH1 0x14
000014a0: ADD
000014a1: DUP4
000014a2: DUP2
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: ADD
000014a7: DUP3
000014a8: DUP1
000014a9: MLOAD
000014aa: SWAP1
000014ab: PUSH1 0x20
000014ad: ADD
000014ae: SWAP1
000014af: DUP1
000014b0: DUP4
000014b1: DUP4
000014b2: DUP3
000014b3: SWAP1
000014b4: PUSH1 0x00
000014b6: PUSH1 0x04
000014b8: PUSH1 0x20
000014ba: DUP5
000014bb: PUSH1 0x1f
000014bd: ADD
000014be: DIV
000014bf: PUSH1 0x0f
000014c1: MUL
000014c2: PUSH1 0x03
000014c4: ADD
000014c5: CALL
000014c6: POP
000014c7: SWAP1
000014c8: POP
000014c9: ADD
000014ca: SWAP4
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: POP
000014cf: PUSH1 0x40
000014d1: MLOAD
000014d2: DUP1
000014d3: SWAP2
000014d4: SUB
000014d5: SWAP1
000014d6: KECCAK256
000014d7: DUP2
000014d8: PUSH1 0x05
000014da: ADD
000014db: PUSH1 0x00
000014dd: POP
000014de: SLOAD
000014df: EQ
000014e0: SWAP2
000014e1: POP
000014e2: POP
000014e3: SWAP5
000014e4: SWAP4
000014e5: POP
000014e6: POP
000014e7: POP
000014e8: POP
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH1 0x00
000014ed: EQ
000014ee: ISZERO
000014ef: PUSH2 0x14f7
000014f2: JUMPI
000014f3: PUSH2 0x0002
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x00
000014fa: CALLVALUE
000014fb: GT
000014fc: ISZERO
000014fd: PUSH2 0x1505
00001500: JUMPI
00001501: PUSH2 0x0002
00001504: JUMP
00001505: JUMPDEST
00001506: PUSH1 0x00
00001508: DUP1
00001509: SLOAD
0000150a: DUP6
0000150b: SWAP1
0000150c: DUP2
0000150d: LT
0000150e: ISZERO
0000150f: PUSH2 0x0002
00001512: JUMPI
00001513: POP
00001514: PUSH1 0x01
00001516: PUSH1 0xa0
00001518: PUSH1 0x02
0000151a: EXP
0000151b: SUB
0000151c: CALLER
0000151d: AND
0000151e: DUP2
0000151f: MSTORE
00001520: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e56e
00001541: PUSH1 0x0e
00001543: DUP7
00001544: MUL
00001545: SWAP1
00001546: DUP2
00001547: ADD
00001548: PUSH1 0x20
0000154a: MSTORE
0000154b: PUSH1 0x40
0000154d: SWAP1
0000154e: SWAP2
0000154f: KECCAK256
00001550: SLOAD
00001551: PUSH1 0x00
00001553: DUP1
00001554: MLOAD
00001555: PUSH1 0x20
00001557: PUSH2 0x2a59
0000155a: DUP4
0000155b: CODECOPY
0000155c: DUP2
0000155d: MLOAD
0000155e: SWAP2
0000155f: MSTORE
00001560: SWAP2
00001561: SWAP1
00001562: SWAP2
00001563: ADD
00001564: SWAP2
00001565: POP
00001566: PUSH1 0xff
00001568: AND
00001569: DUP1
0000156a: PUSH2 0x157f
0000156d: JUMPI
0000156e: POP
0000156f: PUSH1 0x0c
00001571: DUP2
00001572: ADD
00001573: PUSH1 0x20
00001575: MSTORE
00001576: PUSH1 0x40
00001578: PUSH1 0x00
0000157a: KECCAK256
0000157b: SLOAD
0000157c: PUSH1 0xff
0000157e: AND
0000157f: JUMPDEST
00001580: DUP1
00001581: PUSH2 0x158e
00001584: JUMPI
00001585: POP
00001586: PUSH1 0x03
00001588: DUP2
00001589: ADD
0000158a: SLOAD
0000158b: TIMESTAMP
0000158c: LT
0000158d: ISZERO
0000158e: JUMPDEST
0000158f: ISZERO
00001590: PUSH2 0x1598
00001593: JUMPI
00001594: PUSH2 0x0002
00001597: JUMP
00001598: JUMPDEST
00001599: DUP3
0000159a: ISZERO
0000159b: PUSH2 0x15de
0000159e: JUMPI
0000159f: PUSH1 0x01
000015a1: PUSH1 0xa0
000015a3: PUSH1 0x02
000015a5: EXP
000015a6: SUB
000015a7: CALLER
000015a8: AND
000015a9: PUSH1 0x00
000015ab: SWAP1
000015ac: DUP2
000015ad: MSTORE
000015ae: PUSH1 0x14
000015b0: PUSH1 0x20
000015b2: SWAP1
000015b3: DUP2
000015b4: MSTORE
000015b5: PUSH1 0x40
000015b7: DUP1
000015b8: DUP4
000015b9: KECCAK256
000015ba: SLOAD
000015bb: PUSH1 0x09
000015bd: DUP6
000015be: ADD
000015bf: DUP1
000015c0: SLOAD
000015c1: SWAP1
000015c2: SWAP2
000015c3: ADD
000015c4: SWAP1
000015c5: SSTORE
000015c6: PUSH1 0x0b
000015c8: DUP5
000015c9: ADD
000015ca: SWAP1
000015cb: SWAP2
000015cc: MSTORE
000015cd: SWAP1
000015ce: KECCAK256
000015cf: DUP1
000015d0: SLOAD
000015d1: PUSH1 0xff
000015d3: NOT
000015d4: AND
000015d5: PUSH1 0x01
000015d7: OR
000015d8: SWAP1
000015d9: SSTORE
000015da: PUSH2 0x161a
000015dd: JUMP
000015de: JUMPDEST
000015df: PUSH1 0x01
000015e1: PUSH1 0xa0
000015e3: PUSH1 0x02
000015e5: EXP
000015e6: SUB
000015e7: CALLER
000015e8: AND
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: DUP2
000015ed: MSTORE
000015ee: PUSH1 0x14
000015f0: PUSH1 0x20
000015f2: SWAP1
000015f3: DUP2
000015f4: MSTORE
000015f5: PUSH1 0x40
000015f7: DUP1
000015f8: DUP4
000015f9: KECCAK256
000015fa: SLOAD
000015fb: PUSH1 0x0a
000015fd: DUP6
000015fe: ADD
000015ff: DUP1
00001600: SLOAD
00001601: SWAP1
00001602: SWAP2
00001603: ADD
00001604: SWAP1
00001605: SSTORE
00001606: PUSH1 0x0c
00001608: DUP5
00001609: ADD
0000160a: SWAP1
0000160b: SWAP2
0000160c: MSTORE
0000160d: SWAP1
0000160e: KECCAK256
0000160f: DUP1
00001610: SLOAD
00001611: PUSH1 0xff
00001613: NOT
00001614: AND
00001615: PUSH1 0x01
00001617: OR
00001618: SWAP1
00001619: SSTORE
0000161a: JUMPDEST
0000161b: PUSH1 0x01
0000161d: PUSH1 0xa0
0000161f: PUSH1 0x02
00001621: EXP
00001622: SUB
00001623: CALLER
00001624: AND
00001625: PUSH1 0x00
00001627: SWAP1
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x0b
0000162c: PUSH1 0x20
0000162e: MSTORE
0000162f: PUSH1 0x40
00001631: DUP2
00001632: KECCAK256
00001633: SLOAD
00001634: EQ
00001635: ISZERO
00001636: PUSH2 0x1646
00001639: JUMPI
0000163a: PUSH1 0x40
0000163c: PUSH1 0x00
0000163e: KECCAK256
0000163f: DUP5
00001640: SWAP1
00001641: SSTORE
00001642: PUSH2 0x16ba
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x01
00001649: PUSH1 0xa0
0000164b: PUSH1 0x02
0000164d: EXP
0000164e: SUB
0000164f: CALLER
00001650: AND
00001651: PUSH1 0x00
00001653: SWAP1
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x0b
00001658: PUSH1 0x20
0000165a: MSTORE
0000165b: PUSH1 0x40
0000165d: DUP2
0000165e: KECCAK256
0000165f: SLOAD
00001660: DUP2
00001661: SLOAD
00001662: DUP2
00001663: LT
00001664: ISZERO
00001665: PUSH2 0x0002
00001668: JUMPI
00001669: SWAP1
0000166a: DUP1
0000166b: MSTORE
0000166c: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e566
0000168d: PUSH1 0x0e
0000168f: SWAP1
00001690: SWAP2
00001691: MUL
00001692: ADD
00001693: SLOAD
00001694: PUSH1 0x03
00001696: DUP3
00001697: ADD
00001698: SLOAD
00001699: GT
0000169a: ISZERO
0000169b: PUSH2 0x16ba
0000169e: JUMPI
0000169f: PUSH1 0x01
000016a1: PUSH1 0xa0
000016a3: PUSH1 0x02
000016a5: EXP
000016a6: SUB
000016a7: CALLER
000016a8: AND
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x0b
000016b0: PUSH1 0x20
000016b2: MSTORE
000016b3: PUSH1 0x40
000016b5: SWAP1
000016b6: KECCAK256
000016b7: DUP5
000016b8: SWAP1
000016b9: SSTORE
000016ba: JUMPDEST
000016bb: PUSH1 0x40
000016bd: DUP1
000016be: MLOAD
000016bf: DUP5
000016c0: DUP2
000016c1: MSTORE
000016c2: SWAP1
000016c3: MLOAD
000016c4: PUSH1 0x01
000016c6: PUSH1 0xa0
000016c8: PUSH1 0x02
000016ca: EXP
000016cb: SUB
000016cc: CALLER
000016cd: AND
000016ce: SWAP2
000016cf: DUP7
000016d0: SWAP2
000016d1: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0
000016f2: SWAP2
000016f3: DUP2
000016f4: SWAP1
000016f5: SUB
000016f6: PUSH1 0x20
000016f8: ADD
000016f9: SWAP1
000016fa: LOG3
000016fb: POP
000016fc: SWAP3
000016fd: SWAP2
000016fe: POP
000016ff: POP
00001700: JUMP
00001701: JUMPDEST
00001702: PUSH1 0x00
00001704: DUP1
00001705: SLOAD
00001706: DUP9
00001707: SWAP1
00001708: DUP2
00001709: LT
0000170a: ISZERO
0000170b: PUSH2 0x0002
0000170e: JUMPI
0000170f: POP
00001710: DUP1
00001711: DUP1
00001712: MSTORE
00001713: PUSH1 0x0e
00001715: DUP9
00001716: MUL
00001717: PUSH1 0x00
00001719: DUP1
0000171a: MLOAD
0000171b: PUSH1 0x20
0000171d: PUSH2 0x2a59
00001720: DUP4
00001721: CODECOPY
00001722: DUP2
00001723: MLOAD
00001724: SWAP2
00001725: MSTORE
00001726: ADD
00001727: SWAP1
00001728: POP
00001729: PUSH1 0x07
0000172b: DUP2
0000172c: ADD
0000172d: SLOAD
0000172e: SWAP1
0000172f: SWAP5
00001730: POP
00001731: PUSH1 0xff
00001733: AND
00001734: PUSH2 0x1740
00001737: JUMPI
00001738: PUSH3 0x0d2f00
0000173c: PUSH2 0x1745
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH3 0x239880
00001745: JUMPDEST
00001746: PUSH1 0x04
00001748: DUP6
00001749: ADD
0000174a: SLOAD
0000174b: SWAP1
0000174c: SWAP4
0000174d: POP
0000174e: PUSH1 0xff
00001750: AND
00001751: DUP1
00001752: ISZERO
00001753: PUSH2 0x1761
00001756: JUMPI
00001757: POP
00001758: PUSH1 0x03
0000175a: DUP5
0000175b: ADD
0000175c: SLOAD
0000175d: DUP4
0000175e: ADD
0000175f: TIMESTAMP
00001760: GT
00001761: JUMPDEST
00001762: ISZERO
00001763: PUSH2 0x176f
00001766: JUMPI
00001767: PUSH2 0x1801
0000176a: DUP8
0000176b: PUSH2 0x1810
0000176e: JUMP
0000176f: JUMPDEST
00001770: PUSH1 0x03
00001772: DUP5
00001773: ADD
00001774: SLOAD
00001775: TIMESTAMP
00001776: LT
00001777: DUP1
00001778: PUSH2 0x1786
0000177b: JUMPI
0000177c: POP
0000177d: PUSH1 0x04
0000177f: DUP5
00001780: ADD
00001781: SLOAD
00001782: PUSH1 0xff
00001784: AND
00001785: ISZERO
00001786: JUMPDEST
00001787: DUP1
00001788: PUSH2 0x17f7
0000178b: JUMPI
0000178c: POP
0000178d: PUSH1 0x40
0000178f: MLOAD
00001790: PUSH1 0x01
00001792: DUP6
00001793: ADD
00001794: SLOAD
00001795: DUP6
00001796: SLOAD
00001797: PUSH1 0x01
00001799: PUSH1 0xa0
0000179b: PUSH1 0x02
0000179d: EXP
0000179e: SUB
0000179f: AND
000017a0: PUSH1 0x60
000017a2: PUSH1 0x02
000017a4: EXP
000017a5: DUP2
000017a6: MUL
000017a7: DUP4
000017a8: MSTORE
000017a9: PUSH1 0x14
000017ab: DUP4
000017ac: ADD
000017ad: DUP3
000017ae: SWAP1
000017af: MSTORE
000017b0: DUP9
000017b1: MLOAD
000017b2: SWAP1
000017b3: SWAP3
000017b4: DUP10
000017b5: SWAP2
000017b6: PUSH1 0x34
000017b8: DUP3
000017b9: ADD
000017ba: SWAP1
000017bb: PUSH1 0x20
000017bd: DUP5
000017be: DUP2
000017bf: ADD
000017c0: SWAP2
000017c1: SWAP1
000017c2: DUP2
000017c3: SWAP1
000017c4: DUP5
000017c5: SWAP1
000017c6: DUP3
000017c7: SWAP1
000017c8: DUP6
000017c9: SWAP1
000017ca: PUSH1 0x00
000017cc: SWAP1
000017cd: PUSH1 0x04
000017cf: SWAP1
000017d0: PUSH1 0x1f
000017d2: DUP6
000017d3: ADD
000017d4: DIV
000017d5: PUSH1 0x0f
000017d7: MUL
000017d8: PUSH1 0x03
000017da: ADD
000017db: CALL
000017dc: POP
000017dd: SWAP1
000017de: POP
000017df: ADD
000017e0: SWAP4
000017e1: POP
000017e2: POP
000017e3: POP
000017e4: POP
000017e5: PUSH1 0x40
000017e7: MLOAD
000017e8: DUP1
000017e9: SWAP2
000017ea: SUB
000017eb: SWAP1
000017ec: KECCAK256
000017ed: DUP5
000017ee: PUSH1 0x05
000017f0: ADD
000017f1: PUSH1 0x00
000017f3: POP
000017f4: SLOAD
000017f5: EQ
000017f6: ISZERO
000017f7: JUMPDEST
000017f8: ISZERO
000017f9: PUSH2 0x1865
000017fc: JUMPI
000017fd: PUSH2 0x0002
00001800: JUMP
00001801: JUMPDEST
00001802: PUSH2 0x0bb9
00001805: JUMP
00001806: JUMPDEST
00001807: TIMESTAMP
00001808: PUSH1 0x02
0000180a: SSTORE
0000180b: JUMPDEST
0000180c: PUSH2 0x1c5e
0000180f: DUP8
00001810: JUMPDEST
00001811: PUSH1 0x00
00001813: PUSH1 0x00
00001815: PUSH1 0x00
00001817: POP
00001818: DUP3
00001819: DUP2
0000181a: SLOAD
0000181b: DUP2
0000181c: LT
0000181d: ISZERO
0000181e: PUSH2 0x0002
00001821: JUMPI
00001822: SWAP1
00001823: DUP1
00001824: MSTORE
00001825: PUSH1 0x0e
00001827: MUL
00001828: PUSH1 0x00
0000182a: DUP1
0000182b: MLOAD
0000182c: PUSH1 0x20
0000182e: PUSH2 0x2a59
00001831: DUP4
00001832: CODECOPY
00001833: DUP2
00001834: MLOAD
00001835: SWAP2
00001836: MSTORE
00001837: ADD
00001838: DUP2
00001839: POP
0000183a: PUSH1 0x04
0000183c: DUP2
0000183d: ADD
0000183e: SLOAD
0000183f: SWAP1
00001840: SWAP2
00001841: POP
00001842: PUSH1 0xff
00001844: AND
00001845: ISZERO
00001846: PUSH2 0x1857
00001849: JUMPI
0000184a: PUSH1 0x0d
0000184c: DUP1
0000184d: SLOAD
0000184e: PUSH1 0x06
00001850: DUP4
00001851: ADD
00001852: SLOAD
00001853: SWAP1
00001854: SUB
00001855: SWAP1
00001856: SSTORE
00001857: JUMPDEST
00001858: PUSH1 0x04
0000185a: ADD
0000185b: DUP1
0000185c: SLOAD
0000185d: PUSH1 0xff
0000185f: NOT
00001860: AND
00001861: SWAP1
00001862: SSTORE
00001863: POP
00001864: JUMP
00001865: JUMPDEST
00001866: DUP4
00001867: SLOAD
00001868: PUSH2 0x1916
0000186b: SWAP1
0000186c: PUSH1 0x01
0000186e: PUSH1 0xa0
00001870: PUSH1 0x02
00001872: EXP
00001873: SUB
00001874: AND
00001875: JUMPDEST
00001876: PUSH1 0x01
00001878: PUSH1 0xa0
0000187a: PUSH1 0x02
0000187c: EXP
0000187d: SUB
0000187e: DUP2
0000187f: AND
00001880: PUSH1 0x00
00001882: SWAP1
00001883: DUP2
00001884: MSTORE
00001885: PUSH1 0x04
00001887: PUSH1 0x20
00001889: MSTORE
0000188a: PUSH1 0x40
0000188c: DUP2
0000188d: KECCAK256
0000188e: SLOAD
0000188f: PUSH1 0xff
00001891: AND
00001892: DUP1
00001893: PUSH2 0x1909
00001896: JUMPI
00001897: POP
00001898: PUSH1 0x12
0000189a: SLOAD
0000189b: PUSH1 0x01
0000189d: PUSH1 0xa0
0000189f: PUSH1 0x02
000018a1: EXP
000018a2: SUB
000018a3: DUP4
000018a4: DUP2
000018a5: AND
000018a6: SWAP2
000018a7: AND
000018a8: EQ
000018a9: DUP1
000018aa: ISZERO
000018ab: PUSH2 0x1909
000018ae: JUMPI
000018af: POP
000018b0: PUSH1 0x12
000018b2: PUSH1 0x00
000018b4: SWAP1
000018b5: SLOAD
000018b6: SWAP1
000018b7: PUSH2 0x0100
000018ba: EXP
000018bb: SWAP1
000018bc: DIV
000018bd: PUSH1 0x01
000018bf: PUSH1 0xa0
000018c1: PUSH1 0x02
000018c3: EXP
000018c4: SUB
000018c5: AND
000018c6: PUSH1 0x01
000018c8: PUSH1 0xa0
000018ca: PUSH1 0x02
000018cc: EXP
000018cd: SUB
000018ce: AND
000018cf: PUSH4 0xd2cc718f
000018d4: PUSH1 0x40
000018d6: MLOAD
000018d7: DUP2
000018d8: PUSH1 0xe0
000018da: PUSH1 0x02
000018dc: EXP
000018dd: MUL
000018de: DUP2
000018df: MSTORE
000018e0: PUSH1 0x04
000018e2: ADD
000018e3: DUP1
000018e4: SWAP1
000018e5: POP
000018e6: PUSH1 0x20
000018e8: PUSH1 0x40
000018ea: MLOAD
000018eb: DUP1
000018ec: DUP4
000018ed: SUB
000018ee: DUP2
000018ef: PUSH1 0x00
000018f1: DUP8
000018f2: PUSH2 0x61da
000018f5: GAS
000018f6: SUB
000018f7: CALL
000018f8: ISZERO
000018f9: PUSH2 0x0002
000018fc: JUMPI
000018fd: POP
000018fe: POP
000018ff: PUSH1 0x40
00001901: MLOAD
00001902: MLOAD
00001903: PUSH1 0x06
00001905: SLOAD
00001906: GT
00001907: SWAP1
00001908: POP
00001909: JUMPDEST
0000190a: ISZERO
0000190b: PUSH2 0x2a2f
0000190e: JUMPI
0000190f: POP
00001910: PUSH1 0x01
00001912: PUSH2 0x0752
00001915: JUMP
00001916: JUMPDEST
00001917: ISZERO
00001918: DUP1
00001919: ISZERO
0000191a: PUSH2 0x1927
0000191d: JUMPI
0000191e: POP
0000191f: PUSH1 0x04
00001921: DUP5
00001922: ADD
00001923: SLOAD
00001924: PUSH1 0xff
00001926: AND
00001927: JUMPDEST
00001928: ISZERO
00001929: PUSH2 0x1935
0000192c: JUMPI
0000192d: PUSH2 0x1941
00001930: DUP8
00001931: PUSH2 0x1810
00001934: JUMP
00001935: JUMPDEST
00001936: PUSH1 0x01
00001938: SWAP2
00001939: POP
0000193a: PUSH2 0x1972
0000193d: PUSH2 0x05cb
00001940: JUMP
00001941: JUMPDEST
00001942: PUSH1 0x40
00001944: MLOAD
00001945: PUSH1 0x0d
00001947: DUP6
00001948: ADD
00001949: SLOAD
0000194a: PUSH1 0x06
0000194c: DUP7
0000194d: ADD
0000194e: SLOAD
0000194f: PUSH1 0x01
00001951: PUSH1 0xa0
00001953: PUSH1 0x02
00001955: EXP
00001956: SUB
00001957: SWAP2
00001958: SWAP1
00001959: SWAP2
0000195a: AND
0000195b: SWAP2
0000195c: PUSH1 0x00
0000195e: SWAP2
0000195f: SWAP1
00001960: DUP3
00001961: DUP2
00001962: DUP2
00001963: DUP2
00001964: DUP6
00001965: DUP9
00001966: DUP4
00001967: CALL
00001968: SWAP4
00001969: POP
0000196a: POP
0000196b: POP
0000196c: POP
0000196d: POP
0000196e: PUSH2 0x0bb9
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH1 0x01
00001975: DUP6
00001976: ADD
00001977: SLOAD
00001978: GT
00001979: ISZERO
0000197a: PUSH2 0x1982
0000197d: JUMPI
0000197e: PUSH1 0x00
00001980: SWAP2
00001981: POP
00001982: JUMPDEST
00001983: POP
00001984: PUSH1 0x0a
00001986: DUP4
00001987: ADD
00001988: SLOAD
00001989: PUSH1 0x09
0000198b: DUP5
0000198c: ADD
0000198d: SLOAD
0000198e: DUP7
0000198f: MLOAD
00001990: SWAP2
00001991: ADD
00001992: SWAP1
00001993: PUSH1 0x04
00001995: SWAP1
00001996: LT
00001997: DUP1
00001998: ISZERO
00001999: SWAP1
0000199a: PUSH2 0x19c7
0000199d: JUMPI
0000199e: POP
0000199f: DUP6
000019a0: PUSH1 0x00
000019a2: DUP2
000019a3: MLOAD
000019a4: DUP2
000019a5: LT
000019a6: ISZERO
000019a7: PUSH2 0x0002
000019aa: JUMPI
000019ab: SWAP1
000019ac: PUSH1 0x20
000019ae: ADD
000019af: ADD
000019b0: MLOAD
000019b1: PUSH1 0xf8
000019b3: PUSH1 0x02
000019b5: EXP
000019b6: SWAP1
000019b7: DIV
000019b8: PUSH1 0xf8
000019ba: PUSH1 0x02
000019bc: EXP
000019bd: MUL
000019be: PUSH1 0x68
000019c0: PUSH1 0xf8
000019c2: PUSH1 0x02
000019c4: EXP
000019c5: MUL
000019c6: EQ
000019c7: JUMPDEST
000019c8: DUP1
000019c9: ISZERO
000019ca: PUSH2 0x19f7
000019cd: JUMPI
000019ce: POP
000019cf: DUP6
000019d0: PUSH1 0x01
000019d2: DUP2
000019d3: MLOAD
000019d4: DUP2
000019d5: LT
000019d6: ISZERO
000019d7: PUSH2 0x0002
000019da: JUMPI
000019db: SWAP1
000019dc: PUSH1 0x20
000019de: ADD
000019df: ADD
000019e0: MLOAD
000019e1: PUSH1 0xf8
000019e3: PUSH1 0x02
000019e5: EXP
000019e6: SWAP1
000019e7: DIV
000019e8: PUSH1 0xf8
000019ea: PUSH1 0x02
000019ec: EXP
000019ed: MUL
000019ee: PUSH1 0x37
000019f0: PUSH1 0xf8
000019f2: PUSH1 0x02
000019f4: EXP
000019f5: MUL
000019f6: EQ
000019f7: JUMPDEST
000019f8: DUP1
000019f9: ISZERO
000019fa: PUSH2 0x1a27
000019fd: JUMPI
000019fe: POP
000019ff: DUP6
00001a00: PUSH1 0x02
00001a02: DUP2
00001a03: MLOAD
00001a04: DUP2
00001a05: LT
00001a06: ISZERO
00001a07: PUSH2 0x0002
00001a0a: JUMPI
00001a0b: SWAP1
00001a0c: PUSH1 0x20
00001a0e: ADD
00001a0f: ADD
00001a10: MLOAD
00001a11: PUSH1 0xf8
00001a13: PUSH1 0x02
00001a15: EXP
00001a16: SWAP1
00001a17: DIV
00001a18: PUSH1 0xf8
00001a1a: PUSH1 0x02
00001a1c: EXP
00001a1d: MUL
00001a1e: PUSH1 0xff
00001a20: PUSH1 0xf8
00001a22: PUSH1 0x02
00001a24: EXP
00001a25: MUL
00001a26: EQ
00001a27: JUMPDEST
00001a28: DUP1
00001a29: ISZERO
00001a2a: PUSH2 0x1a57
00001a2d: JUMPI
00001a2e: POP
00001a2f: DUP6
00001a30: PUSH1 0x03
00001a32: DUP2
00001a33: MLOAD
00001a34: DUP2
00001a35: LT
00001a36: ISZERO
00001a37: PUSH2 0x0002
00001a3a: JUMPI
00001a3b: SWAP1
00001a3c: PUSH1 0x20
00001a3e: ADD
00001a3f: ADD
00001a40: MLOAD
00001a41: PUSH1 0xf8
00001a43: PUSH1 0x02
00001a45: EXP
00001a46: SWAP1
00001a47: DIV
00001a48: PUSH1 0xf8
00001a4a: PUSH1 0x02
00001a4c: EXP
00001a4d: MUL
00001a4e: PUSH1 0x1e
00001a50: PUSH1 0xf8
00001a52: PUSH1 0x02
00001a54: EXP
00001a55: MUL
00001a56: EQ
00001a57: JUMPDEST
00001a58: DUP1
00001a59: ISZERO
00001a5a: PUSH2 0x1a86
00001a5d: JUMPI
00001a5e: POP
00001a5f: ADDRESS
00001a60: PUSH1 0x01
00001a62: PUSH1 0xa0
00001a64: PUSH1 0x02
00001a66: EXP
00001a67: SUB
00001a68: AND
00001a69: PUSH1 0x00
00001a6b: SWAP1
00001a6c: DUP2
00001a6d: MSTORE
00001a6e: PUSH1 0x05
00001a70: PUSH1 0x20
00001a72: MSTORE
00001a73: PUSH1 0x40
00001a75: SWAP1
00001a76: KECCAK256
00001a77: SLOAD
00001a78: PUSH2 0x1a83
00001a7b: SWAP1
00001a7c: PUSH2 0x1a9e
00001a7f: PUSH2 0x05cb
00001a82: JUMP
00001a83: JUMPDEST
00001a84: DUP2
00001a85: LT
00001a86: JUMPDEST
00001a87: ISZERO
00001a88: PUSH2 0x1a90
00001a8b: JUMPI
00001a8c: PUSH1 0x00
00001a8e: SWAP2
00001a8f: POP
00001a90: JUMPDEST
00001a91: PUSH1 0x01
00001a93: DUP5
00001a94: ADD
00001a95: SLOAD
00001a96: PUSH2 0x1ac1
00001a99: SWAP1
00001a9a: PUSH2 0x1aa0
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: ADD
00001aa0: JUMPDEST
00001aa1: ADDRESS
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0xa0
00001aa6: PUSH1 0x02
00001aa8: EXP
00001aa9: SUB
00001aaa: AND
00001aab: PUSH1 0x00
00001aad: SWAP1
00001aae: DUP2
00001aaf: MSTORE
00001ab0: PUSH1 0x05
00001ab2: PUSH1 0x20
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: DUP2
00001ab8: KECCAK256
00001ab9: SLOAD
00001aba: PUSH2 0x2a37
00001abd: PUSH2 0x05cb
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: DUP2
00001ac3: LT
00001ac4: ISZERO
00001ac5: DUP1
00001ac6: ISZERO
00001ac7: PUSH2 0x1ad8
00001aca: JUMPI
00001acb: POP
00001acc: PUSH1 0x09
00001ace: DUP5
00001acf: ADD
00001ad0: SLOAD
00001ad1: PUSH1 0x0a
00001ad3: DUP6
00001ad4: ADD
00001ad5: SLOAD
00001ad6: SWAP1
00001ad7: GT
00001ad8: JUMPDEST
00001ad9: DUP1
00001ada: ISZERO
00001adb: PUSH2 0x1ae1
00001ade: JUMPI
00001adf: POP
00001ae0: DUP2
00001ae1: JUMPDEST
00001ae2: ISZERO
00001ae3: PUSH2 0x1b1c
00001ae6: JUMPI
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: PUSH1 0x0d
00001aec: DUP6
00001aed: ADD
00001aee: SLOAD
00001aef: PUSH1 0x06
00001af1: DUP7
00001af2: ADD
00001af3: SLOAD
00001af4: PUSH1 0x01
00001af6: PUSH1 0xa0
00001af8: PUSH1 0x02
00001afa: EXP
00001afb: SUB
00001afc: SWAP2
00001afd: SWAP1
00001afe: SWAP2
00001aff: AND
00001b00: SWAP2
00001b01: PUSH1 0x00
00001b03: SWAP2
00001b04: SWAP1
00001b05: DUP3
00001b06: DUP2
00001b07: DUP2
00001b08: DUP2
00001b09: DUP6
00001b0a: DUP9
00001b0b: DUP4
00001b0c: CALL
00001b0d: SWAP4
00001b0e: POP
00001b0f: POP
00001b10: POP
00001b11: POP
00001b12: ISZERO
00001b13: ISZERO
00001b14: PUSH2 0x1b2a
00001b17: JUMPI
00001b18: PUSH2 0x0002
00001b1b: JUMP
00001b1c: JUMPDEST
00001b1d: PUSH1 0x01
00001b1f: DUP5
00001b20: ADD
00001b21: SLOAD
00001b22: PUSH2 0x1c03
00001b25: SWAP1
00001b26: PUSH2 0x1aa0
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: TIMESTAMP
00001b2c: PUSH1 0x02
00001b2e: SSTORE
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: PUSH1 0x01
00001b34: DUP6
00001b35: ADD
00001b36: SLOAD
00001b37: DUP6
00001b38: SLOAD
00001b39: DUP9
00001b3a: MLOAD
00001b3b: PUSH1 0x01
00001b3d: PUSH1 0xa0
00001b3f: PUSH1 0x02
00001b41: EXP
00001b42: SUB
00001b43: SWAP2
00001b44: SWAP1
00001b45: SWAP2
00001b46: AND
00001b47: SWAP3
00001b48: DUP10
00001b49: SWAP2
00001b4a: DUP2
00001b4b: SWAP1
00001b4c: PUSH1 0x20
00001b4e: DUP5
00001b4f: DUP2
00001b50: ADD
00001b51: SWAP2
00001b52: SWAP1
00001b53: DUP2
00001b54: SWAP1
00001b55: DUP5
00001b56: SWAP1
00001b57: DUP3
00001b58: SWAP1
00001b59: DUP6
00001b5a: SWAP1
00001b5b: PUSH1 0x00
00001b5d: SWAP1
00001b5e: PUSH1 0x04
00001b60: SWAP1
00001b61: PUSH1 0x1f
00001b63: DUP6
00001b64: ADD
00001b65: DIV
00001b66: PUSH1 0x0f
00001b68: MUL
00001b69: PUSH1 0x03
00001b6b: ADD
00001b6c: CALL
00001b6d: POP
00001b6e: SWAP1
00001b6f: POP
00001b70: SWAP1
00001b71: DUP2
00001b72: ADD
00001b73: SWAP1
00001b74: PUSH1 0x1f
00001b76: AND
00001b77: DUP1
00001b78: ISZERO
00001b79: PUSH2 0x1b96
00001b7c: JUMPI
00001b7d: DUP1
00001b7e: DUP3
00001b7f: SUB
00001b80: DUP1
00001b81: MLOAD
00001b82: PUSH1 0x01
00001b84: DUP4
00001b85: PUSH1 0x20
00001b87: SUB
00001b88: PUSH2 0x0100
00001b8b: EXP
00001b8c: SUB
00001b8d: NOT
00001b8e: AND
00001b8f: DUP2
00001b90: MSTORE
00001b91: PUSH1 0x20
00001b93: ADD
00001b94: SWAP2
00001b95: POP
00001b96: JUMPDEST
00001b97: POP
00001b98: SWAP2
00001b99: POP
00001b9a: POP
00001b9b: PUSH1 0x00
00001b9d: PUSH1 0x40
00001b9f: MLOAD
00001ba0: DUP1
00001ba1: DUP4
00001ba2: SUB
00001ba3: DUP2
00001ba4: DUP6
00001ba5: DUP8
00001ba6: PUSH2 0x8502
00001ba9: GAS
00001baa: SUB
00001bab: CALL
00001bac: SWAP3
00001bad: POP
00001bae: POP
00001baf: POP
00001bb0: ISZERO
00001bb1: ISZERO
00001bb2: PUSH2 0x1bba
00001bb5: JUMPI
00001bb6: PUSH2 0x0002
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH1 0x04
00001bbd: DUP5
00001bbe: ADD
00001bbf: DUP1
00001bc0: SLOAD
00001bc1: PUSH2 0xff00
00001bc4: NOT
00001bc5: AND
00001bc6: PUSH2 0x0100
00001bc9: OR
00001bca: SWAP1
00001bcb: SSTORE
00001bcc: PUSH1 0x01
00001bce: DUP5
00001bcf: DUP2
00001bd0: ADD
00001bd1: DUP1
00001bd2: SLOAD
00001bd3: ADDRESS
00001bd4: PUSH1 0x01
00001bd6: PUSH1 0xa0
00001bd8: PUSH1 0x02
00001bda: EXP
00001bdb: SUB
00001bdc: AND
00001bdd: PUSH1 0x00
00001bdf: SWAP1
00001be0: DUP2
00001be1: MSTORE
00001be2: PUSH1 0x05
00001be4: PUSH1 0x20
00001be6: MSTORE
00001be7: PUSH1 0x40
00001be9: SWAP1
00001bea: KECCAK256
00001beb: DUP1
00001bec: SLOAD
00001bed: SWAP1
00001bee: SWAP2
00001bef: ADD
00001bf0: SWAP1
00001bf1: SSTORE
00001bf2: PUSH1 0x06
00001bf4: DUP1
00001bf5: SLOAD
00001bf6: SWAP2
00001bf7: SLOAD
00001bf8: SWAP1
00001bf9: SWAP2
00001bfa: ADD
00001bfb: SWAP1
00001bfc: SSTORE
00001bfd: SWAP5
00001bfe: POP
00001bff: PUSH2 0x180b
00001c02: JUMP
00001c03: JUMPDEST
00001c04: DUP2
00001c05: LT
00001c06: ISZERO
00001c07: DUP1
00001c08: ISZERO
00001c09: PUSH2 0x1c1a
00001c0c: JUMPI
00001c0d: POP
00001c0e: PUSH1 0x09
00001c10: DUP5
00001c11: ADD
00001c12: SLOAD
00001c13: PUSH1 0x0a
00001c15: DUP6
00001c16: ADD
00001c17: SLOAD
00001c18: LT
00001c19: ISZERO
00001c1a: JUMPDEST
00001c1b: DUP1
00001c1c: PUSH2 0x1c23
00001c1f: JUMPI
00001c20: POP
00001c21: DUP2
00001c22: ISZERO
00001c23: JUMPDEST
00001c24: ISZERO
00001c25: PUSH2 0x180b
00001c28: JUMPI
00001c29: PUSH1 0x40
00001c2b: MLOAD
00001c2c: PUSH1 0x0d
00001c2e: DUP6
00001c2f: ADD
00001c30: SLOAD
00001c31: PUSH1 0x06
00001c33: DUP7
00001c34: ADD
00001c35: SLOAD
00001c36: PUSH1 0x01
00001c38: PUSH1 0xa0
00001c3a: PUSH1 0x02
00001c3c: EXP
00001c3d: SUB
00001c3e: SWAP2
00001c3f: SWAP1
00001c40: SWAP2
00001c41: AND
00001c42: SWAP2
00001c43: PUSH1 0x00
00001c45: SWAP2
00001c46: SWAP1
00001c47: DUP3
00001c48: DUP2
00001c49: DUP2
00001c4a: DUP2
00001c4b: DUP6
00001c4c: DUP9
00001c4d: DUP4
00001c4e: CALL
00001c4f: SWAP4
00001c50: POP
00001c51: POP
00001c52: POP
00001c53: POP
00001c54: ISZERO
00001c55: ISZERO
00001c56: PUSH2 0x1806
00001c59: JUMPI
00001c5a: PUSH2 0x0002
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: PUSH1 0x40
00001c61: DUP1
00001c62: MLOAD
00001c63: DUP7
00001c64: DUP2
00001c65: MSTORE
00001c66: PUSH1 0x20
00001c68: DUP2
00001c69: ADD
00001c6a: DUP4
00001c6b: SWAP1
00001c6c: MSTORE
00001c6d: DUP2
00001c6e: MLOAD
00001c6f: DUP10
00001c70: SWAP3
00001c71: PUSH32 0xdfc78bdca8e3e0b18c16c5c99323c6cb9eb5e00afde190b4e7273f5158702b07
00001c92: SWAP3
00001c93: DUP3
00001c94: SWAP1
00001c95: SUB
00001c96: ADD
00001c97: SWAP1
00001c98: LOG2
00001c99: POP
00001c9a: POP
00001c9b: POP
00001c9c: POP
00001c9d: SWAP3
00001c9e: SWAP2
00001c9f: POP
00001ca0: POP
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: PUSH1 0x40
00001ca5: MLOAD
00001ca6: PUSH1 0x12
00001ca8: SLOAD
00001ca9: PUSH1 0x14
00001cab: CALLVALUE
00001cac: SWAP1
00001cad: DUP2
00001cae: MUL
00001caf: SWAP4
00001cb0: SWAP1
00001cb1: SWAP4
00001cb2: DIV
00001cb3: SWAP4
00001cb4: POP
00001cb5: PUSH1 0x01
00001cb7: PUSH1 0xa0
00001cb9: PUSH1 0x02
00001cbb: EXP
00001cbc: SUB
00001cbd: AND
00001cbe: SWAP2
00001cbf: DUP4
00001cc0: SWAP1
00001cc1: SUB
00001cc2: SWAP1
00001cc3: PUSH1 0x00
00001cc5: DUP2
00001cc6: DUP2
00001cc7: DUP2
00001cc8: DUP6
00001cc9: DUP8
00001cca: PUSH2 0x8502
00001ccd: GAS
00001cce: SUB
00001ccf: CALL
00001cd0: POP
00001cd1: POP
00001cd2: POP
00001cd3: POP
00001cd4: PUSH1 0x01
00001cd6: PUSH1 0xa0
00001cd8: PUSH1 0x02
00001cda: EXP
00001cdb: SUB
00001cdc: DUP4
00001cdd: AND
00001cde: PUSH1 0x00
00001ce0: DUP2
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x14
00001ce5: PUSH1 0x20
00001ce7: SWAP1
00001ce8: DUP2
00001ce9: MSTORE
00001cea: PUSH1 0x40
00001cec: DUP1
00001ced: DUP4
00001cee: KECCAK256
00001cef: DUP1
00001cf0: SLOAD
00001cf1: DUP7
00001cf2: ADD
00001cf3: SWAP1
00001cf4: SSTORE
00001cf5: PUSH1 0x16
00001cf7: DUP1
00001cf8: SLOAD
00001cf9: DUP7
00001cfa: ADD
00001cfb: SWAP1
00001cfc: SSTORE
00001cfd: PUSH1 0x13
00001cff: DUP3
00001d00: MSTORE
00001d01: SWAP2
00001d02: DUP3
00001d03: SWAP1
00001d04: KECCAK256
00001d05: DUP1
00001d06: SLOAD
00001d07: CALLVALUE
00001d08: ADD
00001d09: SWAP1
00001d0a: SSTORE
00001d0b: DUP2
00001d0c: MLOAD
00001d0d: DUP5
00001d0e: DUP2
00001d0f: MSTORE
00001d10: SWAP2
00001d11: MLOAD
00001d12: PUSH32 0xdbccb92686efceafb9bb7e0394df7f58f71b954061b81afb57109bf247d3d75a
00001d33: SWAP3
00001d34: DUP2
00001d35: SWAP1
00001d36: SUB
00001d37: SWAP1
00001d38: SWAP2
00001d39: ADD
00001d3a: SWAP1
00001d3b: LOG2
00001d3c: PUSH1 0x10
00001d3e: SLOAD
00001d3f: PUSH1 0x16
00001d41: SLOAD
00001d42: LT
00001d43: DUP1
00001d44: ISZERO
00001d45: SWAP1
00001d46: PUSH2 0x1d52
00001d49: JUMPI
00001d4a: POP
00001d4b: PUSH1 0x11
00001d4d: SLOAD
00001d4e: PUSH1 0xff
00001d50: AND
00001d51: ISZERO
00001d52: JUMPDEST
00001d53: ISZERO
00001d54: PUSH2 0x1d9a
00001d57: JUMPI
00001d58: PUSH1 0x11
00001d5a: DUP1
00001d5b: SLOAD
00001d5c: PUSH1 0xff
00001d5e: NOT
00001d5f: AND
00001d60: PUSH1 0x01
00001d62: OR
00001d63: SWAP1
00001d64: SSTORE
00001d65: PUSH1 0x16
00001d67: SLOAD
00001d68: PUSH1 0x40
00001d6a: DUP1
00001d6b: MLOAD
00001d6c: SWAP2
00001d6d: DUP3
00001d6e: MSTORE
00001d6f: MLOAD
00001d70: PUSH32 0xf381a3e2428fdda36615919e8d9c35878d9eb0cf85ac6edf575088e80e4c147e
00001d91: SWAP2
00001d92: DUP2
00001d93: SWAP1
00001d94: SUB
00001d95: PUSH1 0x20
00001d97: ADD
00001d98: SWAP1
00001d99: LOG1
00001d9a: JUMPDEST
00001d9b: PUSH1 0x01
00001d9d: SWAP2
00001d9e: POP
00001d9f: JUMPDEST
00001da0: POP
00001da1: SWAP2
00001da2: SWAP1
00001da3: POP
00001da4: JUMP
00001da5: JUMPDEST
00001da6: PUSH2 0x0002
00001da9: JUMP
00001daa: JUMPDEST
00001dab: PUSH1 0x00
00001dad: EQ
00001dae: ISZERO
00001daf: PUSH2 0x1db7
00001db2: JUMPI
00001db3: PUSH2 0x0002
00001db6: JUMP
00001db7: JUMPDEST
00001db8: DUP3
00001db9: DUP1
00001dba: ISZERO
00001dbb: PUSH2 0x1e01
00001dbe: JUMPI
00001dbf: POP
00001dc0: DUP7
00001dc1: PUSH1 0x00
00001dc3: EQ
00001dc4: ISZERO
00001dc5: DUP1
00001dc6: PUSH2 0x1dd1
00001dc9: JUMPI
00001dca: POP
00001dcb: DUP5
00001dcc: MLOAD
00001dcd: PUSH1 0x00
00001dcf: EQ
00001dd0: ISZERO
00001dd1: JUMPDEST
00001dd2: DUP1
00001dd3: PUSH2 0x1de9
00001dd6: JUMPI
00001dd7: POP
00001dd8: PUSH1 0x03
00001dda: SLOAD
00001ddb: PUSH1 0x01
00001ddd: PUSH1 0xa0
00001ddf: PUSH1 0x02
00001de1: EXP
00001de2: SUB
00001de3: DUP10
00001de4: DUP2
00001de5: AND
00001de6: SWAP2
00001de7: AND
00001de8: EQ
00001de9: JUMPDEST
00001dea: DUP1
00001deb: PUSH2 0x1df4
00001dee: JUMPI
00001def: POP
00001df0: PUSH1 0x00
00001df2: CALLVALUE
00001df3: GT
00001df4: JUMPDEST
00001df5: DUP1
00001df6: PUSH2 0x1e01
00001df9: JUMPI
00001dfa: POP
00001dfb: PUSH3 0x093a80
00001dff: DUP5
00001e00: LT
00001e01: JUMPDEST
00001e02: ISZERO
00001e03: PUSH2 0x1e0b
00001e06: JUMPI
00001e07: PUSH2 0x0002
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: DUP3
00001e0d: ISZERO
00001e0e: DUP1
00001e0f: ISZERO
00001e10: PUSH2 0x1e2b
00001e13: JUMPI
00001e14: POP
00001e15: PUSH2 0x1e1d
00001e18: DUP9
00001e19: PUSH2 0x1875
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: ISZERO
00001e1f: DUP1
00001e20: PUSH2 0x1e2b
00001e23: JUMPI
00001e24: POP
00001e25: PUSH3 0x127500
00001e29: DUP5
00001e2a: LT
00001e2b: JUMPDEST
00001e2c: ISZERO
00001e2d: PUSH2 0x1e35
00001e30: JUMPI
00001e31: PUSH2 0x0002
00001e34: JUMP
00001e35: JUMPDEST
00001e36: PUSH3 0x49d400
00001e3a: DUP5
00001e3b: GT
00001e3c: ISZERO
00001e3d: PUSH2 0x1e45
00001e40: JUMPI
00001e41: PUSH2 0x0002
00001e44: JUMP
00001e45: JUMPDEST
00001e46: PUSH1 0x11
00001e48: SLOAD
00001e49: PUSH1 0xff
00001e4b: AND
00001e4c: ISZERO
00001e4d: DUP1
00001e4e: PUSH2 0x1e58
00001e51: JUMPI
00001e52: POP
00001e53: PUSH1 0x0f
00001e55: SLOAD
00001e56: TIMESTAMP
00001e57: LT
00001e58: JUMPDEST
00001e59: DUP1
00001e5a: PUSH2 0x1e6d
00001e5d: JUMPI
00001e5e: POP
00001e5f: PUSH1 0x0c
00001e61: SLOAD
00001e62: CALLVALUE
00001e63: LT
00001e64: DUP1
00001e65: ISZERO
00001e66: PUSH2 0x1e6d
00001e69: JUMPI
00001e6a: POP
00001e6b: DUP3
00001e6c: ISZERO
00001e6d: JUMPDEST
00001e6e: ISZERO
00001e6f: PUSH2 0x1e77
00001e72: JUMPI
00001e73: PUSH2 0x0002
00001e76: JUMP
00001e77: JUMPDEST
00001e78: TIMESTAMP
00001e79: DUP5
00001e7a: TIMESTAMP
00001e7b: ADD
00001e7c: LT
00001e7d: ISZERO
00001e7e: PUSH2 0x1e86
00001e81: JUMPI
00001e82: PUSH2 0x0002
00001e85: JUMP
00001e86: JUMPDEST
00001e87: ADDRESS
00001e88: PUSH1 0x01
00001e8a: PUSH1 0xa0
00001e8c: PUSH1 0x02
00001e8e: EXP
00001e8f: SUB
00001e90: AND
00001e91: CALLER
00001e92: PUSH1 0x01
00001e94: PUSH1 0xa0
00001e96: PUSH1 0x02
00001e98: EXP
00001e99: SUB
00001e9a: AND
00001e9b: EQ
00001e9c: ISZERO
00001e9d: PUSH2 0x1ea5
00001ea0: JUMPI
00001ea1: PUSH2 0x0002
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: PUSH1 0x00
00001ea8: DUP1
00001ea9: SLOAD
00001eaa: PUSH1 0x01
00001eac: DUP2
00001ead: ADD
00001eae: DUP1
00001eaf: DUP4
00001eb0: SSTORE
00001eb1: SWAP1
00001eb2: SWAP2
00001eb3: SWAP1
00001eb4: DUP3
00001eb5: DUP1
00001eb6: ISZERO
00001eb7: DUP3
00001eb8: SWAP1
00001eb9: GT
00001eba: PUSH2 0x1edc
00001ebd: JUMPI
00001ebe: PUSH1 0x0e
00001ec0: MUL
00001ec1: DUP2
00001ec2: PUSH1 0x0e
00001ec4: MUL
00001ec5: DUP4
00001ec6: PUSH1 0x00
00001ec8: MSTORE
00001ec9: PUSH1 0x20
00001ecb: PUSH1 0x00
00001ecd: KECCAK256
00001ece: SWAP2
00001ecf: DUP3
00001ed0: ADD
00001ed1: SWAP2
00001ed2: ADD
00001ed3: PUSH2 0x1edc
00001ed6: SWAP2
00001ed7: SWAP1
00001ed8: PUSH2 0x1fa1
00001edb: JUMP
00001edc: JUMPDEST
00001edd: POP
00001ede: POP
00001edf: PUSH1 0x00
00001ee1: DUP1
00001ee2: SLOAD
00001ee3: SWAP3
00001ee4: SWAP5
00001ee5: POP
00001ee6: SWAP2
00001ee7: DUP5
00001ee8: SWAP2
00001ee9: POP
00001eea: DUP2
00001eeb: LT
00001eec: ISZERO
00001eed: PUSH2 0x0002
00001ef0: JUMPI
00001ef1: POP
00001ef2: DUP1
00001ef3: DUP1
00001ef4: MSTORE
00001ef5: PUSH1 0x0e
00001ef7: DUP4
00001ef8: MUL
00001ef9: PUSH1 0x00
00001efb: DUP1
00001efc: MLOAD
00001efd: PUSH1 0x20
00001eff: PUSH2 0x2a59
00001f02: DUP4
00001f03: CODECOPY
00001f04: DUP2
00001f05: MLOAD
00001f06: SWAP2
00001f07: MSTORE
00001f08: ADD
00001f09: SWAP1
00001f0a: POP
00001f0b: DUP1
00001f0c: SLOAD
00001f0d: PUSH1 0x01
00001f0f: PUSH1 0xa0
00001f11: PUSH1 0x02
00001f13: EXP
00001f14: SUB
00001f15: NOT
00001f16: AND
00001f17: DUP10
00001f18: OR
00001f19: DUP2
00001f1a: SSTORE
00001f1b: PUSH1 0x01
00001f1d: DUP2
00001f1e: DUP2
00001f1f: ADD
00001f20: DUP10
00001f21: SWAP1
00001f22: SSTORE
00001f23: DUP8
00001f24: MLOAD
00001f25: PUSH1 0x02
00001f27: DUP1
00001f28: DUP5
00001f29: ADD
00001f2a: DUP1
00001f2b: SLOAD
00001f2c: PUSH1 0x00
00001f2e: DUP3
00001f2f: DUP2
00001f30: MSTORE
00001f31: PUSH1 0x20
00001f33: SWAP1
00001f34: DUP2
00001f35: SWAP1
00001f36: KECCAK256
00001f37: SWAP7
00001f38: SWAP8
00001f39: POP
00001f3a: SWAP2
00001f3b: SWAP6
00001f3c: SWAP5
00001f3d: DUP2
00001f3e: AND
00001f3f: ISZERO
00001f40: PUSH2 0x0100
00001f43: MUL
00001f44: PUSH1 0x00
00001f46: NOT
00001f47: ADD
00001f48: AND
00001f49: SWAP2
00001f4a: SWAP1
00001f4b: SWAP2
00001f4c: DIV
00001f4d: PUSH1 0x1f
00001f4f: SWAP1
00001f50: DUP2
00001f51: ADD
00001f52: DUP3
00001f53: SWAP1
00001f54: DIV
00001f55: DUP5
00001f56: ADD
00001f57: SWAP4
00001f58: SWAP2
00001f59: DUP12
00001f5a: ADD
00001f5b: SWAP1
00001f5c: DUP4
00001f5d: SWAP1
00001f5e: LT
00001f5f: PUSH2 0x2099
00001f62: JUMPI
00001f63: DUP1
00001f64: MLOAD
00001f65: PUSH1 0xff
00001f67: NOT
00001f68: AND
00001f69: DUP4
00001f6a: DUP1
00001f6b: ADD
00001f6c: OR
00001f6d: DUP6
00001f6e: SSTORE
00001f6f: JUMPDEST
00001f70: POP
00001f71: PUSH2 0x20c9
00001f74: SWAP3
00001f75: SWAP2
00001f76: POP
00001f77: PUSH2 0x2081
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: POP
00001f7d: POP
00001f7e: PUSH1 0x00
00001f80: PUSH1 0x09
00001f82: DUP3
00001f83: ADD
00001f84: DUP2
00001f85: SWAP1
00001f86: SSTORE
00001f87: PUSH1 0x0a
00001f89: DUP3
00001f8a: ADD
00001f8b: SSTORE
00001f8c: PUSH1 0x0d
00001f8e: DUP2
00001f8f: ADD
00001f90: DUP1
00001f91: SLOAD
00001f92: PUSH1 0x01
00001f94: PUSH1 0xa0
00001f96: PUSH1 0x02
00001f98: EXP
00001f99: SUB
00001f9a: NOT
00001f9b: AND
00001f9c: SWAP1
00001f9d: SSTORE
00001f9e: PUSH1 0x01
00001fa0: ADD
00001fa1: JUMPDEST
00001fa2: DUP1
00001fa3: DUP3
00001fa4: GT
00001fa5: ISZERO
00001fa6: PUSH2 0x2095
00001fa9: JUMPI
00001faa: DUP1
00001fab: SLOAD
00001fac: PUSH1 0x01
00001fae: PUSH1 0xa0
00001fb0: PUSH1 0x02
00001fb2: EXP
00001fb3: SUB
00001fb4: NOT
00001fb5: AND
00001fb6: DUP2
00001fb7: SSTORE
00001fb8: PUSH1 0x00
00001fba: PUSH1 0x01
00001fbc: DUP3
00001fbd: DUP2
00001fbe: ADD
00001fbf: DUP3
00001fc0: SWAP1
00001fc1: SSTORE
00001fc2: PUSH1 0x02
00001fc4: DUP1
00001fc5: DUP5
00001fc6: ADD
00001fc7: DUP1
00001fc8: SLOAD
00001fc9: DUP5
00001fca: DUP3
00001fcb: SSTORE
00001fcc: SWAP1
00001fcd: SWAP3
00001fce: DUP2
00001fcf: AND
00001fd0: ISZERO
00001fd1: PUSH2 0x0100
00001fd4: MUL
00001fd5: PUSH1 0x00
00001fd7: NOT
00001fd8: ADD
00001fd9: AND
00001fda: DIV
00001fdb: PUSH1 0x1f
00001fdd: DUP2
00001fde: SWAP1
00001fdf: LT
00001fe0: PUSH2 0x2067
00001fe3: JUMPI
00001fe4: POP
00001fe5: JUMPDEST
00001fe6: POP
00001fe7: PUSH1 0x00
00001fe9: PUSH1 0x03
00001feb: DUP4
00001fec: ADD
00001fed: DUP2
00001fee: SWAP1
00001fef: SSTORE
00001ff0: PUSH1 0x04
00001ff2: DUP1
00001ff3: DUP5
00001ff4: ADD
00001ff5: DUP1
00001ff6: SLOAD
00001ff7: PUSH2 0xffff
00001ffa: NOT
00001ffb: AND
00001ffc: SWAP1
00001ffd: SSTORE
00001ffe: PUSH1 0x05
00002000: DUP5
00002001: ADD
00002002: DUP3
00002003: SWAP1
00002004: SSTORE
00002005: PUSH1 0x06
00002007: DUP5
00002008: ADD
00002009: DUP3
0000200a: SWAP1
0000200b: SSTORE
0000200c: PUSH1 0x07
0000200e: DUP5
0000200f: ADD
00002010: DUP1
00002011: SLOAD
00002012: PUSH1 0xff
00002014: NOT
00002015: AND
00002016: SWAP1
00002017: SSTORE
00002018: PUSH1 0x08
0000201a: DUP5
0000201b: ADD
0000201c: DUP1
0000201d: SLOAD
0000201e: DUP4
0000201f: DUP3
00002020: SSTORE
00002021: SWAP1
00002022: DUP4
00002023: MSTORE
00002024: PUSH1 0x20
00002026: SWAP1
00002027: SWAP3
00002028: KECCAK256
00002029: PUSH2 0x1f7b
0000202c: SWAP3
0000202d: SWAP1
0000202e: SWAP2
0000202f: MUL
00002030: DUP2
00002031: ADD
00002032: SWAP1
00002033: JUMPDEST
00002034: DUP1
00002035: DUP3
00002036: GT
00002037: ISZERO
00002038: PUSH2 0x2095
0000203b: JUMPI
0000203c: PUSH1 0x00
0000203e: DUP1
0000203f: DUP3
00002040: SSTORE
00002041: PUSH1 0x01
00002043: DUP3
00002044: ADD
00002045: DUP2
00002046: DUP2
00002047: SSTORE
00002048: PUSH1 0x02
0000204a: DUP4
0000204b: ADD
0000204c: SWAP2
0000204d: SWAP1
0000204e: SWAP2
0000204f: SSTORE
00002050: PUSH1 0x03
00002052: SWAP1
00002053: SWAP2
00002054: ADD
00002055: DUP1
00002056: SLOAD
00002057: PUSH1 0x01
00002059: PUSH1 0xa0
0000205b: PUSH1 0x02
0000205d: EXP
0000205e: SUB
0000205f: NOT
00002060: AND
00002061: SWAP1
00002062: SSTORE
00002063: PUSH2 0x2033
00002066: JUMP
00002067: JUMPDEST
00002068: PUSH1 0x1f
0000206a: ADD
0000206b: PUSH1 0x20
0000206d: SWAP1
0000206e: DIV
0000206f: SWAP1
00002070: PUSH1 0x00
00002072: MSTORE
00002073: PUSH1 0x20
00002075: PUSH1 0x00
00002077: KECCAK256
00002078: SWAP1
00002079: DUP2
0000207a: ADD
0000207b: SWAP1
0000207c: PUSH2 0x1fe5
0000207f: SWAP2
00002080: SWAP1
00002081: JUMPDEST
00002082: DUP1
00002083: DUP3
00002084: GT
00002085: ISZERO
00002086: PUSH2 0x2095
00002089: JUMPI
0000208a: PUSH1 0x00
0000208c: DUP2
0000208d: SSTORE
0000208e: PUSH1 0x01
00002090: ADD
00002091: PUSH2 0x2081
00002094: JUMP
00002095: JUMPDEST
00002096: POP
00002097: SWAP1
00002098: JUMP
00002099: JUMPDEST
0000209a: DUP3
0000209b: DUP1
0000209c: ADD
0000209d: PUSH1 0x01
0000209f: ADD
000020a0: DUP6
000020a1: SSTORE
000020a2: DUP3
000020a3: ISZERO
000020a4: PUSH2 0x1f6f
000020a7: JUMPI
000020a8: SWAP2
000020a9: DUP3
000020aa: ADD
000020ab: JUMPDEST
000020ac: DUP3
000020ad: DUP2
000020ae: GT
000020af: ISZERO
000020b0: PUSH2 0x1f6f
000020b3: JUMPI
000020b4: DUP3
000020b5: MLOAD
000020b6: DUP3
000020b7: PUSH1 0x00
000020b9: POP
000020ba: SSTORE
000020bb: SWAP2
000020bc: PUSH1 0x20
000020be: ADD
000020bf: SWAP2
000020c0: SWAP1
000020c1: PUSH1 0x01
000020c3: ADD
000020c4: SWAP1
000020c5: PUSH2 0x20ab
000020c8: JUMP
000020c9: JUMPDEST
000020ca: POP
000020cb: POP
000020cc: DUP8
000020cd: DUP8
000020ce: DUP7
000020cf: PUSH1 0x40
000020d1: MLOAD
000020d2: DUP1
000020d3: DUP5
000020d4: PUSH1 0x01
000020d6: PUSH1 0xa0
000020d8: PUSH1 0x02
000020da: EXP
000020db: SUB
000020dc: AND
000020dd: PUSH1 0x60
000020df: PUSH1 0x02
000020e1: EXP
000020e2: MUL
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x14
000020e7: ADD
000020e8: DUP4
000020e9: DUP2
000020ea: MSTORE
000020eb: PUSH1 0x20
000020ed: ADD
000020ee: DUP3
000020ef: DUP1
000020f0: MLOAD
000020f1: SWAP1
000020f2: PUSH1 0x20
000020f4: ADD
000020f5: SWAP1
000020f6: DUP1
000020f7: DUP4
000020f8: DUP4
000020f9: DUP3
000020fa: SWAP1
000020fb: PUSH1 0x00
000020fd: PUSH1 0x04
000020ff: PUSH1 0x20
00002101: DUP5
00002102: PUSH1 0x1f
00002104: ADD
00002105: DIV
00002106: PUSH1 0x0f
00002108: MUL
00002109: PUSH1 0x03
0000210b: ADD
0000210c: CALL
0000210d: POP
0000210e: SWAP1
0000210f: POP
00002110: ADD
00002111: SWAP4
00002112: POP
00002113: POP
00002114: POP
00002115: POP
00002116: PUSH1 0x40
00002118: MLOAD
00002119: DUP1
0000211a: SWAP2
0000211b: SUB
0000211c: SWAP1
0000211d: KECCAK256
0000211e: DUP2
0000211f: PUSH1 0x05
00002121: ADD
00002122: PUSH1 0x00
00002124: POP
00002125: DUP2
00002126: SWAP1
00002127: SSTORE
00002128: POP
00002129: DUP4
0000212a: TIMESTAMP
0000212b: ADD
0000212c: DUP2
0000212d: PUSH1 0x03
0000212f: ADD
00002130: PUSH1 0x00
00002132: POP
00002133: DUP2
00002134: SWAP1
00002135: SSTORE
00002136: POP
00002137: PUSH1 0x01
00002139: DUP2
0000213a: PUSH1 0x04
0000213c: ADD
0000213d: PUSH1 0x00
0000213f: PUSH2 0x0100
00002142: EXP
00002143: DUP2
00002144: SLOAD
00002145: DUP2
00002146: PUSH1 0xff
00002148: MUL
00002149: NOT
0000214a: AND
0000214b: SWAP1
0000214c: DUP4
0000214d: MUL
0000214e: OR
0000214f: SWAP1
00002150: SSTORE
00002151: POP
00002152: DUP3
00002153: DUP2
00002154: PUSH1 0x07
00002156: ADD
00002157: PUSH1 0x00
00002159: PUSH2 0x0100
0000215c: EXP
0000215d: DUP2
0000215e: SLOAD
0000215f: DUP2
00002160: PUSH1 0xff
00002162: MUL
00002163: NOT
00002164: AND
00002165: SWAP1
00002166: DUP4
00002167: MUL
00002168: OR
00002169: SWAP1
0000216a: SSTORE
0000216b: POP
0000216c: DUP3
0000216d: ISZERO
0000216e: PUSH2 0x21af
00002171: JUMPI
00002172: PUSH1 0x08
00002174: DUP2
00002175: ADD
00002176: DUP1
00002177: SLOAD
00002178: PUSH1 0x01
0000217a: DUP2
0000217b: ADD
0000217c: DUP1
0000217d: DUP4
0000217e: SSTORE
0000217f: SWAP1
00002180: SWAP2
00002181: SWAP1
00002182: DUP3
00002183: DUP1
00002184: ISZERO
00002185: DUP3
00002186: SWAP1
00002187: GT
00002188: PUSH2 0x21aa
0000218b: JUMPI
0000218c: PUSH1 0x04
0000218e: MUL
0000218f: DUP2
00002190: PUSH1 0x04
00002192: MUL
00002193: DUP4
00002194: PUSH1 0x00
00002196: MSTORE
00002197: PUSH1 0x20
00002199: PUSH1 0x00
0000219b: KECCAK256
0000219c: SWAP2
0000219d: DUP3
0000219e: ADD
0000219f: SWAP2
000021a0: ADD
000021a1: PUSH2 0x21aa
000021a4: SWAP2
000021a5: SWAP1
000021a6: PUSH2 0x2033
000021a9: JUMP
000021aa: JUMPDEST
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: POP
000021af: JUMPDEST
000021b0: PUSH1 0x0d
000021b2: DUP1
000021b3: DUP3
000021b4: ADD
000021b5: DUP1
000021b6: SLOAD
000021b7: PUSH1 0x01
000021b9: PUSH1 0xa0
000021bb: PUSH1 0x02
000021bd: EXP
000021be: SUB
000021bf: NOT
000021c0: AND
000021c1: CALLER
000021c2: OR
000021c3: SWAP1
000021c4: SSTORE
000021c5: CALLVALUE
000021c6: PUSH1 0x06
000021c8: DUP4
000021c9: ADD
000021ca: DUP2
000021cb: SWAP1
000021cc: SSTORE
000021cd: DUP2
000021ce: SLOAD
000021cf: ADD
000021d0: SWAP1
000021d1: SSTORE
000021d2: PUSH1 0x40
000021d4: DUP1
000021d5: MLOAD
000021d6: PUSH1 0x01
000021d8: PUSH1 0xa0
000021da: PUSH1 0x02
000021dc: EXP
000021dd: SUB
000021de: DUP11
000021df: AND
000021e0: DUP2
000021e1: MSTORE
000021e2: PUSH1 0x20
000021e4: DUP2
000021e5: DUP2
000021e6: ADD
000021e7: DUP11
000021e8: SWAP1
000021e9: MSTORE
000021ea: SWAP2
000021eb: DUP2
000021ec: ADD
000021ed: DUP6
000021ee: SWAP1
000021ef: MSTORE
000021f0: PUSH1 0x80
000021f2: PUSH1 0x60
000021f4: DUP3
000021f5: ADD
000021f6: DUP2
000021f7: DUP2
000021f8: MSTORE
000021f9: DUP10
000021fa: MLOAD
000021fb: SWAP2
000021fc: DUP4
000021fd: ADD
000021fe: SWAP2
000021ff: SWAP1
00002200: SWAP2
00002201: MSTORE
00002202: DUP9
00002203: MLOAD
00002204: DUP6
00002205: SWAP4
00002206: PUSH32 0x5790de2c279e58269b93b12828f56fd5f2bc8ad15e61ce08572585c81a38756f
00002227: SWAP4
00002228: DUP14
00002229: SWAP4
0000222a: DUP14
0000222b: SWAP4
0000222c: DUP11
0000222d: SWAP4
0000222e: DUP15
0000222f: SWAP4
00002230: SWAP3
00002231: SWAP2
00002232: PUSH1 0xa0
00002234: DUP5
00002235: ADD
00002236: SWAP2
00002237: DUP6
00002238: DUP2
00002239: ADD
0000223a: SWAP2
0000223b: SWAP1
0000223c: DUP2
0000223d: SWAP1
0000223e: DUP5
0000223f: SWAP1
00002240: DUP3
00002241: SWAP1
00002242: DUP6
00002243: SWAP1
00002244: PUSH1 0x00
00002246: SWAP1
00002247: PUSH1 0x04
00002249: SWAP1
0000224a: PUSH1 0x1f
0000224c: DUP6
0000224d: ADD
0000224e: DIV
0000224f: PUSH1 0x0f
00002251: MUL
00002252: PUSH1 0x03
00002254: ADD
00002255: CALL
00002256: POP
00002257: SWAP1
00002258: POP
00002259: SWAP1
0000225a: DUP2
0000225b: ADD
0000225c: SWAP1
0000225d: PUSH1 0x1f
0000225f: AND
00002260: DUP1
00002261: ISZERO
00002262: PUSH2 0x227f
00002265: JUMPI
00002266: DUP1
00002267: DUP3
00002268: SUB
00002269: DUP1
0000226a: MLOAD
0000226b: PUSH1 0x01
0000226d: DUP4
0000226e: PUSH1 0x20
00002270: SUB
00002271: PUSH2 0x0100
00002274: EXP
00002275: SUB
00002276: NOT
00002277: AND
00002278: DUP2
00002279: MSTORE
0000227a: PUSH1 0x20
0000227c: ADD
0000227d: SWAP2
0000227e: POP
0000227f: JUMPDEST
00002280: POP
00002281: SWAP6
00002282: POP
00002283: POP
00002284: POP
00002285: POP
00002286: POP
00002287: POP
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: DUP1
0000228c: SWAP2
0000228d: SUB
0000228e: SWAP1
0000228f: LOG2
00002290: POP
00002291: SWAP7
00002292: SWAP6
00002293: POP
00002294: POP
00002295: POP
00002296: POP
00002297: POP
00002298: POP
00002299: JUMP
0000229a: JUMPDEST
0000229b: PUSH1 0x0f
0000229d: SLOAD
0000229e: TIMESTAMP
0000229f: GT
000022a0: DUP1
000022a1: ISZERO
000022a2: PUSH2 0x22ae
000022a5: JUMPI
000022a6: POP
000022a7: PUSH1 0x11
000022a9: SLOAD
000022aa: PUSH1 0xff
000022ac: AND
000022ad: ISZERO
000022ae: JUMPDEST
000022af: ISZERO
000022b0: PUSH2 0x246e
000022b3: JUMPI
000022b4: PUSH1 0x40
000022b6: DUP1
000022b7: MLOAD
000022b8: PUSH1 0x12
000022ba: SLOAD
000022bb: PUSH1 0xe0
000022bd: PUSH1 0x02
000022bf: EXP
000022c0: PUSH4 0xd2cc718f
000022c5: MUL
000022c6: DUP3
000022c7: MSTORE
000022c8: SWAP2
000022c9: MLOAD
000022ca: PUSH1 0x01
000022cc: PUSH1 0xa0
000022ce: PUSH1 0x02
000022d0: EXP
000022d1: SUB
000022d2: SWAP3
000022d3: SWAP1
000022d4: SWAP3
000022d5: AND
000022d6: SWAP2
000022d7: PUSH4 0x0221038a
000022dc: SWAP2
000022dd: ADDRESS
000022de: SWAP2
000022df: DUP5
000022e0: SWAP2
000022e1: PUSH4 0xd2cc718f
000022e6: SWAP2
000022e7: PUSH1 0x04
000022e9: DUP3
000022ea: DUP2
000022eb: ADD
000022ec: SWAP3
000022ed: PUSH1 0x20
000022ef: SWAP3
000022f0: SWAP2
000022f1: SWAP1
000022f2: DUP3
000022f3: SWAP1
000022f4: SUB
000022f5: ADD
000022f6: DUP2
000022f7: PUSH1 0x00
000022f9: DUP8
000022fa: PUSH2 0x61da
000022fd: GAS
000022fe: SUB
000022ff: CALL
00002300: ISZERO
00002301: PUSH2 0x0002
00002304: JUMPI
00002305: POP
00002306: POP
00002307: PUSH1 0x40
00002309: DUP1
0000230a: MLOAD
0000230b: DUP1
0000230c: MLOAD
0000230d: PUSH1 0xe1
0000230f: PUSH1 0x02
00002311: EXP
00002312: PUSH4 0x011081c5
00002317: MUL
00002318: DUP3
00002319: MSTORE
0000231a: PUSH1 0x01
0000231c: PUSH1 0xa0
0000231e: PUSH1 0x02
00002320: EXP
00002321: SUB
00002322: SWAP5
00002323: SWAP1
00002324: SWAP5
00002325: AND
00002326: PUSH1 0x04
00002328: DUP3
00002329: ADD
0000232a: MSTORE
0000232b: PUSH1 0x24
0000232d: DUP2
0000232e: ADD
0000232f: SWAP4
00002330: SWAP1
00002331: SWAP4
00002332: MSTORE
00002333: MLOAD
00002334: PUSH1 0x44
00002336: DUP4
00002337: DUP2
00002338: ADD
00002339: SWAP4
0000233a: PUSH1 0x20
0000233c: SWAP4
0000233d: POP
0000233e: DUP3
0000233f: SWAP1
00002340: SUB
00002341: ADD
00002342: DUP2
00002343: PUSH1 0x00
00002345: DUP8
00002346: PUSH2 0x61da
00002349: GAS
0000234a: SUB
0000234b: CALL
0000234c: ISZERO
0000234d: PUSH2 0x0002
00002350: JUMPI
00002351: POP
00002352: POP
00002353: PUSH1 0x40
00002355: DUP1
00002356: MLOAD
00002357: PUSH1 0x01
00002359: PUSH1 0xa0
0000235b: PUSH1 0x02
0000235d: EXP
0000235e: SUB
0000235f: CALLER
00002360: AND
00002361: PUSH1 0x00
00002363: DUP2
00002364: DUP2
00002365: MSTORE
00002366: PUSH1 0x13
00002368: PUSH1 0x20
0000236a: MSTORE
0000236b: SWAP3
0000236c: DUP4
0000236d: KECCAK256
0000236e: SLOAD
0000236f: SWAP1
00002370: SWAP4
00002371: POP
00002372: SWAP2
00002373: DUP2
00002374: DUP2
00002375: DUP2
00002376: DUP6
00002377: DUP8
00002378: PUSH2 0x8502
0000237b: GAS
0000237c: SUB
0000237d: CALL
0000237e: SWAP3
0000237f: POP
00002380: POP
00002381: POP
00002382: ISZERO
00002383: PUSH2 0x246e
00002386: JUMPI
00002387: CALLER
00002388: PUSH1 0x01
0000238a: PUSH1 0xa0
0000238c: PUSH1 0x02
0000238e: EXP
0000238f: SUB
00002390: AND
00002391: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d
000023b2: PUSH1 0x13
000023b4: PUSH1 0x00
000023b6: POP
000023b7: PUSH1 0x00
000023b9: CALLER
000023ba: PUSH1 0x01
000023bc: PUSH1 0xa0
000023be: PUSH1 0x02
000023c0: EXP
000023c1: SUB
000023c2: AND
000023c3: DUP2
000023c4: MSTORE
000023c5: PUSH1 0x20
000023c7: ADD
000023c8: SWAP1
000023c9: DUP2
000023ca: MSTORE
000023cb: PUSH1 0x20
000023cd: ADD
000023ce: PUSH1 0x00
000023d0: KECCAK256
000023d1: PUSH1 0x00
000023d3: POP
000023d4: SLOAD
000023d5: PUSH1 0x40
000023d7: MLOAD
000023d8: DUP1
000023d9: DUP3
000023da: DUP2
000023db: MSTORE
000023dc: PUSH1 0x20
000023de: ADD
000023df: SWAP2
000023e0: POP
000023e1: POP
000023e2: PUSH1 0x40
000023e4: MLOAD
000023e5: DUP1
000023e6: SWAP2
000023e7: SUB
000023e8: SWAP1
000023e9: LOG2
000023ea: PUSH1 0x14
000023ec: PUSH1 0x00
000023ee: POP
000023ef: PUSH1 0x00
000023f1: CALLER
000023f2: PUSH1 0x01
000023f4: PUSH1 0xa0
000023f6: PUSH1 0x02
000023f8: EXP
000023f9: SUB
000023fa: AND
000023fb: DUP2
000023fc: MSTORE
000023fd: PUSH1 0x20
000023ff: ADD
00002400: SWAP1
00002401: DUP2
00002402: MSTORE
00002403: PUSH1 0x20
00002405: ADD
00002406: PUSH1 0x00
00002408: KECCAK256
00002409: PUSH1 0x00
0000240b: POP
0000240c: SLOAD
0000240d: PUSH1 0x16
0000240f: PUSH1 0x00
00002411: DUP3
00002412: DUP3
00002413: DUP3
00002414: POP
00002415: SLOAD
00002416: SUB
00002417: SWAP3
00002418: POP
00002419: POP
0000241a: DUP2
0000241b: SWAP1
0000241c: SSTORE
0000241d: POP
0000241e: PUSH1 0x00
00002420: PUSH1 0x14
00002422: PUSH1 0x00
00002424: POP
00002425: PUSH1 0x00
00002427: CALLER
00002428: PUSH1 0x01
0000242a: PUSH1 0xa0
0000242c: PUSH1 0x02
0000242e: EXP
0000242f: SUB
00002430: AND
00002431: DUP2
00002432: MSTORE
00002433: PUSH1 0x20
00002435: ADD
00002436: SWAP1
00002437: DUP2
00002438: MSTORE
00002439: PUSH1 0x20
0000243b: ADD
0000243c: PUSH1 0x00
0000243e: KECCAK256
0000243f: PUSH1 0x00
00002441: POP
00002442: DUP2
00002443: SWAP1
00002444: SSTORE
00002445: POP
00002446: PUSH1 0x00
00002448: PUSH1 0x13
0000244a: PUSH1 0x00
0000244c: POP
0000244d: PUSH1 0x00
0000244f: CALLER
00002450: PUSH1 0x01
00002452: PUSH1 0xa0
00002454: PUSH1 0x02
00002456: EXP
00002457: SUB
00002458: AND
00002459: DUP2
0000245a: MSTORE
0000245b: PUSH1 0x20
0000245d: ADD
0000245e: SWAP1
0000245f: DUP2
00002460: MSTORE
00002461: PUSH1 0x20
00002463: ADD
00002464: PUSH1 0x00
00002466: KECCAK256
00002467: PUSH1 0x00
00002469: POP
0000246a: DUP2
0000246b: SWAP1
0000246c: SSTORE
0000246d: POP
0000246e: JUMPDEST
0000246f: JUMP
00002470: JUMPDEST
00002471: TIMESTAMP
00002472: PUSH3 0x054600
00002476: PUSH1 0x0f
00002478: PUSH1 0x00
0000247a: POP
0000247b: SLOAD
0000247c: SUB
0000247d: GT
0000247e: ISZERO
0000247f: PUSH2 0x249e
00002482: JUMPI
00002483: PUSH3 0x015180
00002487: PUSH3 0x127500
0000248b: PUSH1 0x0f
0000248d: PUSH1 0x00
0000248f: POP
00002490: SLOAD
00002491: SUB
00002492: TIMESTAMP
00002493: SUB
00002494: DIV
00002495: PUSH1 0x14
00002497: ADD
00002498: SWAP1
00002499: POP
0000249a: PUSH2 0x0a68
0000249d: JUMP
0000249e: JUMPDEST
0000249f: POP
000024a0: PUSH1 0x1e
000024a2: PUSH2 0x0a68
000024a5: JUMP
000024a6: JUMPDEST
000024a7: ISZERO
000024a8: JUMPDEST
000024a9: DUP1
000024aa: ISZERO
000024ab: PUSH2 0x24c3
000024ae: JUMPI
000024af: POP
000024b0: PUSH2 0x24c3
000024b3: CALLER
000024b4: DUP5
000024b5: DUP5
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: PUSH1 0x00
000024bb: PUSH2 0x29c8
000024be: DUP6
000024bf: PUSH2 0x0738
000024c2: JUMP
000024c3: JUMPDEST
000024c4: DUP1
000024c5: ISZERO
000024c6: PUSH2 0x24df
000024c9: JUMPI
000024ca: POP
000024cb: PUSH2 0x24df
000024ce: DUP4
000024cf: DUP4
000024d0: PUSH1 0x00
000024d2: PUSH1 0x00
000024d4: CALLVALUE
000024d5: GT
000024d6: ISZERO
000024d7: PUSH2 0x2837
000024da: JUMPI
000024db: PUSH2 0x0002
000024de: JUMP
000024df: JUMPDEST
000024e0: ISZERO
000024e1: PUSH2 0x1da5
000024e4: JUMPI
000024e5: POP
000024e6: PUSH1 0x01
000024e8: PUSH2 0x0456
000024eb: JUMP
000024ec: JUMPDEST
000024ed: ISZERO
000024ee: ISZERO
000024ef: PUSH2 0x24f7
000024f2: JUMPI
000024f3: PUSH2 0x0002
000024f6: JUMP
000024f7: JUMPDEST
000024f8: PUSH2 0x2501
000024fb: DUP4
000024fc: DUP4
000024fd: PUSH2 0x0838
00002500: JUMP
00002501: JUMPDEST
00002502: SWAP1
00002503: POP
00002504: PUSH2 0x0456
00002507: JUMP
00002508: JUMPDEST
00002509: ISZERO
0000250a: JUMPDEST
0000250b: DUP1
0000250c: ISZERO
0000250d: PUSH2 0x251c
00002510: JUMPI
00002511: POP
00002512: PUSH2 0x251c
00002515: DUP5
00002516: DUP5
00002517: DUP5
00002518: PUSH2 0x24b6
0000251b: JUMP
0000251c: JUMPDEST
0000251d: DUP1
0000251e: ISZERO
0000251f: PUSH2 0x2539
00002522: JUMPI
00002523: POP
00002524: PUSH2 0x2539
00002527: DUP5
00002528: DUP5
00002529: DUP5
0000252a: PUSH1 0x00
0000252c: PUSH1 0x00
0000252e: CALLVALUE
0000252f: GT
00002530: ISZERO
00002531: PUSH2 0x28dc
00002534: JUMPI
00002535: PUSH2 0x0002
00002538: JUMP
00002539: JUMPDEST
0000253a: ISZERO
0000253b: PUSH2 0x1da5
0000253e: JUMPI
0000253f: POP
00002540: PUSH1 0x01
00002542: PUSH2 0x2549
00002545: JUMP
00002546: JUMPDEST
00002547: SWAP1
00002548: POP
00002549: JUMPDEST
0000254a: SWAP4
0000254b: SWAP3
0000254c: POP
0000254d: POP
0000254e: POP
0000254f: JUMP
00002550: JUMPDEST
00002551: ISZERO
00002552: ISZERO
00002553: PUSH2 0x255b
00002556: JUMPI
00002557: PUSH2 0x0002
0000255a: JUMP
0000255b: JUMPDEST
0000255c: PUSH2 0x2546
0000255f: DUP5
00002560: DUP5
00002561: DUP5
00002562: PUSH2 0x0598
00002565: JUMP
00002566: JUMPDEST
00002567: ADDRESS
00002568: PUSH1 0x01
0000256a: PUSH1 0xa0
0000256c: PUSH1 0x02
0000256e: EXP
0000256f: SUB
00002570: AND
00002571: CALLER
00002572: PUSH1 0x01
00002574: PUSH1 0xa0
00002576: PUSH1 0x02
00002578: EXP
00002579: SUB
0000257a: AND
0000257b: EQ
0000257c: ISZERO
0000257d: DUP1
0000257e: PUSH2 0x25ab
00002581: JUMPI
00002582: POP
00002583: ADDRESS
00002584: PUSH1 0x01
00002586: PUSH1 0xa0
00002588: PUSH1 0x02
0000258a: EXP
0000258b: SUB
0000258c: AND
0000258d: PUSH1 0x00
0000258f: SWAP1
00002590: DUP2
00002591: MSTORE
00002592: PUSH1 0x05
00002594: PUSH1 0x20
00002596: MSTORE
00002597: PUSH1 0x40
00002599: SWAP1
0000259a: KECCAK256
0000259b: SLOAD
0000259c: PUSH1 0x64
0000259e: SWAP1
0000259f: PUSH2 0x25a6
000025a2: PUSH2 0x05cb
000025a5: JUMP
000025a6: JUMPDEST
000025a7: ADD
000025a8: DIV
000025a9: DUP2
000025aa: GT
000025ab: JUMPDEST
000025ac: ISZERO
000025ad: PUSH2 0x25b5
000025b0: JUMPI
000025b1: PUSH2 0x0002
000025b4: JUMP
000025b5: JUMPDEST
000025b6: PUSH1 0x0c
000025b8: SSTORE
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH1 0x03
000025bd: SLOAD
000025be: PUSH1 0x01
000025c0: PUSH1 0xa0
000025c2: PUSH1 0x02
000025c4: EXP
000025c5: SUB
000025c6: SWAP1
000025c7: DUP2
000025c8: AND
000025c9: CALLER
000025ca: SWAP2
000025cb: SWAP1
000025cc: SWAP2
000025cd: AND
000025ce: EQ
000025cf: PUSH2 0x25d7
000025d2: JUMPI
000025d3: PUSH2 0x0002
000025d6: JUMP
000025d7: JUMPDEST
000025d8: PUSH1 0x01
000025da: PUSH1 0xa0
000025dc: PUSH1 0x02
000025de: EXP
000025df: SUB
000025e0: DUP4
000025e1: AND
000025e2: PUSH1 0x00
000025e4: DUP2
000025e5: DUP2
000025e6: MSTORE
000025e7: PUSH1 0x04
000025e9: PUSH1 0x20
000025eb: SWAP1
000025ec: DUP2
000025ed: MSTORE
000025ee: PUSH1 0x40
000025f0: SWAP2
000025f1: DUP3
000025f2: SWAP1
000025f3: KECCAK256
000025f4: DUP1
000025f5: SLOAD
000025f6: PUSH1 0xff
000025f8: NOT
000025f9: AND
000025fa: DUP7
000025fb: OR
000025fc: SWAP1
000025fd: SSTORE
000025fe: DUP2
000025ff: MLOAD
00002600: DUP6
00002601: DUP2
00002602: MSTORE
00002603: SWAP2
00002604: MLOAD
00002605: PUSH32 0x73ad2a153c8b67991df9459024950b318a609782cee8c7eeda47b905f9baa91f
00002626: SWAP3
00002627: DUP2
00002628: SWAP1
00002629: SUB
0000262a: SWAP1
0000262b: SWAP2
0000262c: ADD
0000262d: SWAP1
0000262e: LOG2
0000262f: POP
00002630: PUSH1 0x01
00002632: PUSH2 0x0456
00002635: JUMP
00002636: JUMPDEST
00002637: POP
00002638: PUSH1 0x00
0000263a: PUSH2 0x0a68
0000263d: JUMP
0000263e: JUMPDEST
0000263f: PUSH1 0x01
00002641: PUSH1 0xa0
00002643: PUSH1 0x02
00002645: EXP
00002646: SUB
00002647: DUP4
00002648: AND
00002649: PUSH1 0x00
0000264b: SWAP1
0000264c: DUP2
0000264d: MSTORE
0000264e: PUSH1 0x0b
00002650: PUSH1 0x20
00002652: MSTORE
00002653: PUSH1 0x40
00002655: DUP2
00002656: KECCAK256
00002657: SLOAD
00002658: DUP2
00002659: SLOAD
0000265a: DUP2
0000265b: LT
0000265c: ISZERO
0000265d: PUSH2 0x0002
00002660: JUMPI
00002661: DUP2
00002662: DUP1
00002663: MSTORE
00002664: PUSH1 0x0e
00002666: MUL
00002667: PUSH1 0x00
00002669: DUP1
0000266a: MLOAD
0000266b: PUSH1 0x20
0000266d: PUSH2 0x2a59
00002670: DUP4
00002671: CODECOPY
00002672: DUP2
00002673: MLOAD
00002674: SWAP2
00002675: MSTORE
00002676: ADD
00002677: SWAP1
00002678: POP
00002679: PUSH1 0x03
0000267b: DUP2
0000267c: ADD
0000267d: SLOAD
0000267e: SWAP1
0000267f: SWAP2
00002680: POP
00002681: TIMESTAMP
00002682: GT
00002683: ISZERO
00002684: PUSH2 0x1d9a
00002687: JUMPI
00002688: PUSH1 0x01
0000268a: PUSH1 0xa0
0000268c: PUSH1 0x02
0000268e: EXP
0000268f: SUB
00002690: DUP4
00002691: AND
00002692: PUSH1 0x00
00002694: SWAP1
00002695: DUP2
00002696: MSTORE
00002697: PUSH1 0x0b
00002699: PUSH1 0x20
0000269b: MSTORE
0000269c: PUSH1 0x40
0000269e: DUP2
0000269f: KECCAK256
000026a0: DUP2
000026a1: SWAP1
000026a2: SSTORE
000026a3: SWAP2
000026a4: POP
000026a5: PUSH2 0x1d9f
000026a8: JUMP
000026a9: JUMPDEST
000026aa: PUSH1 0x01
000026ac: PUSH1 0xa0
000026ae: PUSH1 0x02
000026b0: EXP
000026b1: SUB
000026b2: DUP4
000026b3: DUP2
000026b4: AND
000026b5: PUSH1 0x00
000026b7: SWAP1
000026b8: DUP2
000026b9: MSTORE
000026ba: PUSH1 0x0a
000026bc: PUSH1 0x20
000026be: SWAP1
000026bf: DUP2
000026c0: MSTORE
000026c1: PUSH1 0x40
000026c3: DUP1
000026c4: DUP4
000026c5: KECCAK256
000026c6: SLOAD
000026c7: PUSH1 0x16
000026c9: SLOAD
000026ca: PUSH1 0x07
000026cc: SLOAD
000026cd: DUP4
000026ce: MLOAD
000026cf: PUSH1 0xe0
000026d1: PUSH1 0x02
000026d3: EXP
000026d4: PUSH4 0xd2cc718f
000026d9: MUL
000026da: DUP2
000026db: MSTORE
000026dc: SWAP4
000026dd: MLOAD
000026de: SWAP3
000026df: SWAP7
000026e0: SWAP2
000026e1: SWAP6
000026e2: SWAP2
000026e3: AND
000026e4: SWAP4
000026e5: PUSH4 0xd2cc718f
000026ea: SWAP4
000026eb: PUSH1 0x04
000026ed: DUP2
000026ee: DUP2
000026ef: ADD
000026f0: SWAP5
000026f1: SWAP3
000026f2: SWAP4
000026f3: SWAP2
000026f4: DUP4
000026f5: SWAP1
000026f6: SUB
000026f7: ADD
000026f8: SWAP1
000026f9: DUP3
000026fa: SWAP1
000026fb: DUP8
000026fc: PUSH2 0x61da
000026ff: GAS
00002700: SUB
00002701: CALL
00002702: ISZERO
00002703: PUSH2 0x0002
00002706: JUMPI
00002707: POP
00002708: POP
00002709: PUSH1 0x40
0000270b: MLOAD
0000270c: MLOAD
0000270d: SWAP1
0000270e: POP
0000270f: PUSH2 0x2717
00002712: DUP7
00002713: PUSH2 0x0738
00002716: JUMP
00002717: JUMPDEST
00002718: MUL
00002719: DIV
0000271a: LT
0000271b: ISZERO
0000271c: PUSH2 0x2724
0000271f: JUMPI
00002720: PUSH2 0x0002
00002723: JUMP
00002724: JUMPDEST
00002725: PUSH1 0x01
00002727: PUSH1 0xa0
00002729: PUSH1 0x02
0000272b: EXP
0000272c: SUB
0000272d: DUP4
0000272e: DUP2
0000272f: AND
00002730: PUSH1 0x00
00002732: SWAP1
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x0a
00002737: PUSH1 0x20
00002739: SWAP1
0000273a: DUP2
0000273b: MSTORE
0000273c: PUSH1 0x40
0000273e: DUP1
0000273f: DUP4
00002740: KECCAK256
00002741: SLOAD
00002742: PUSH1 0x16
00002744: SLOAD
00002745: PUSH1 0x07
00002747: SLOAD
00002748: DUP4
00002749: MLOAD
0000274a: PUSH1 0xe0
0000274c: PUSH1 0x02
0000274e: EXP
0000274f: PUSH4 0xd2cc718f
00002754: MUL
00002755: DUP2
00002756: MSTORE
00002757: SWAP4
00002758: MLOAD
00002759: SWAP3
0000275a: SWAP7
0000275b: SWAP2
0000275c: SWAP6
0000275d: SWAP2
0000275e: AND
0000275f: SWAP4
00002760: PUSH4 0xd2cc718f
00002765: SWAP4
00002766: PUSH1 0x04
00002768: DUP2
00002769: DUP2
0000276a: ADD
0000276b: SWAP5
0000276c: SWAP3
0000276d: SWAP4
0000276e: SWAP2
0000276f: DUP4
00002770: SWAP1
00002771: SUB
00002772: ADD
00002773: SWAP1
00002774: DUP3
00002775: SWAP1
00002776: DUP8
00002777: PUSH2 0x61da
0000277a: GAS
0000277b: SUB
0000277c: CALL
0000277d: ISZERO
0000277e: PUSH2 0x0002
00002781: JUMPI
00002782: POP
00002783: POP
00002784: PUSH1 0x40
00002786: MLOAD
00002787: MLOAD
00002788: SWAP1
00002789: POP
0000278a: PUSH2 0x2792
0000278d: DUP7
0000278e: PUSH2 0x0738
00002791: JUMP
00002792: JUMPDEST
00002793: MUL
00002794: DIV
00002795: SUB
00002796: SWAP1
00002797: POP
00002798: PUSH1 0x07
0000279a: PUSH1 0x00
0000279c: SWAP1
0000279d: SLOAD
0000279e: SWAP1
0000279f: PUSH2 0x0100
000027a2: EXP
000027a3: SWAP1
000027a4: DIV
000027a5: PUSH1 0x01
000027a7: PUSH1 0xa0
000027a9: PUSH1 0x02
000027ab: EXP
000027ac: SUB
000027ad: AND
000027ae: PUSH1 0x01
000027b0: PUSH1 0xa0
000027b2: PUSH1 0x02
000027b4: EXP
000027b5: SUB
000027b6: AND
000027b7: PUSH4 0x0221038a
000027bc: DUP5
000027bd: DUP4
000027be: PUSH1 0x40
000027c0: MLOAD
000027c1: DUP4
000027c2: PUSH1 0xe0
000027c4: PUSH1 0x02
000027c6: EXP
000027c7: MUL
000027c8: DUP2
000027c9: MSTORE
000027ca: PUSH1 0x04
000027cc: ADD
000027cd: DUP1
000027ce: DUP4
000027cf: PUSH1 0x01
000027d1: PUSH1 0xa0
000027d3: PUSH1 0x02
000027d5: EXP
000027d6: SUB
000027d7: AND
000027d8: DUP2
000027d9: MSTORE
000027da: PUSH1 0x20
000027dc: ADD
000027dd: DUP3
000027de: DUP2
000027df: MSTORE
000027e0: PUSH1 0x20
000027e2: ADD
000027e3: SWAP3
000027e4: POP
000027e5: POP
000027e6: POP
000027e7: PUSH1 0x20
000027e9: PUSH1 0x40
000027eb: MLOAD
000027ec: DUP1
000027ed: DUP4
000027ee: SUB
000027ef: DUP2
000027f0: PUSH1 0x00
000027f2: DUP8
000027f3: PUSH2 0x61da
000027f6: GAS
000027f7: SUB
000027f8: CALL
000027f9: ISZERO
000027fa: PUSH2 0x0002
000027fd: JUMPI
000027fe: POP
000027ff: POP
00002800: PUSH1 0x40
00002802: MLOAD
00002803: MLOAD
00002804: ISZERO
00002805: ISZERO
00002806: SWAP1
00002807: POP
00002808: PUSH2 0x2810
0000280b: JUMPI
0000280c: PUSH2 0x0002
0000280f: JUMP
00002810: JUMPDEST
00002811: PUSH1 0x01
00002813: PUSH1 0xa0
00002815: PUSH1 0x02
00002817: EXP
00002818: SUB
00002819: DUP4
0000281a: AND
0000281b: PUSH1 0x00
0000281d: SWAP1
0000281e: DUP2
0000281f: MSTORE
00002820: PUSH1 0x0a
00002822: PUSH1 0x20
00002824: MSTORE
00002825: PUSH1 0x40
00002827: SWAP1
00002828: KECCAK256
00002829: DUP1
0000282a: SLOAD
0000282b: DUP3
0000282c: ADD
0000282d: SWAP1
0000282e: SSTORE
0000282f: PUSH1 0x01
00002831: SWAP2
00002832: POP
00002833: PUSH2 0x1d9f
00002836: JUMP
00002837: JUMPDEST
00002838: PUSH1 0x01
0000283a: PUSH1 0xa0
0000283c: PUSH1 0x02
0000283e: EXP
0000283f: SUB
00002840: CALLER
00002841: AND
00002842: PUSH1 0x00
00002844: SWAP1
00002845: DUP2
00002846: MSTORE
00002847: PUSH1 0x14
00002849: PUSH1 0x20
0000284b: MSTORE
0000284c: PUSH1 0x40
0000284e: SWAP1
0000284f: KECCAK256
00002850: SLOAD
00002851: DUP3
00002852: SWAP1
00002853: LT
00002854: DUP1
00002855: ISZERO
00002856: SWAP1
00002857: PUSH2 0x2860
0000285a: JUMPI
0000285b: POP
0000285c: PUSH1 0x00
0000285e: DUP3
0000285f: GT
00002860: JUMPDEST
00002861: ISZERO
00002862: PUSH2 0x28d4
00002865: JUMPI
00002866: PUSH1 0x01
00002868: PUSH1 0xa0
0000286a: PUSH1 0x02
0000286c: EXP
0000286d: SUB
0000286e: CALLER
0000286f: DUP2
00002870: AND
00002871: PUSH1 0x00
00002873: DUP2
00002874: DUP2
00002875: MSTORE
00002876: PUSH1 0x14
00002878: PUSH1 0x20
0000287a: SWAP1
0000287b: DUP2
0000287c: MSTORE
0000287d: PUSH1 0x40
0000287f: DUP1
00002880: DUP4
00002881: KECCAK256
00002882: DUP1
00002883: SLOAD
00002884: DUP9
00002885: SWAP1
00002886: SUB
00002887: SWAP1
00002888: SSTORE
00002889: SWAP4
0000288a: DUP8
0000288b: AND
0000288c: DUP1
0000288d: DUP4
0000288e: MSTORE
0000288f: SWAP2
00002890: DUP5
00002891: SWAP1
00002892: KECCAK256
00002893: DUP1
00002894: SLOAD
00002895: DUP8
00002896: ADD
00002897: SWAP1
00002898: SSTORE
00002899: DUP4
0000289a: MLOAD
0000289b: DUP7
0000289c: DUP2
0000289d: MSTORE
0000289e: SWAP4
0000289f: MLOAD
000028a0: SWAP2
000028a1: SWAP4
000028a2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000028c3: SWAP3
000028c4: SWAP1
000028c5: DUP2
000028c6: SWAP1
000028c7: SUB
000028c8: SWAP1
000028c9: SWAP2
000028ca: ADD
000028cb: SWAP1
000028cc: LOG3
000028cd: POP
000028ce: PUSH1 0x01
000028d0: PUSH2 0x0456
000028d3: JUMP
000028d4: JUMPDEST
000028d5: POP
000028d6: PUSH1 0x00
000028d8: PUSH2 0x0456
000028db: JUMP
000028dc: JUMPDEST
000028dd: PUSH1 0x01
000028df: PUSH1 0xa0
000028e1: PUSH1 0x02
000028e3: EXP
000028e4: SUB
000028e5: DUP5
000028e6: AND
000028e7: PUSH1 0x00
000028e9: SWAP1
000028ea: DUP2
000028eb: MSTORE
000028ec: PUSH1 0x14
000028ee: PUSH1 0x20
000028f0: MSTORE
000028f1: PUSH1 0x40
000028f3: SWAP1
000028f4: KECCAK256
000028f5: SLOAD
000028f6: DUP3
000028f7: SWAP1
000028f8: LT
000028f9: DUP1
000028fa: ISZERO
000028fb: SWAP1
000028fc: PUSH2 0x2925
000028ff: JUMPI
00002900: POP
00002901: PUSH1 0x15
00002903: PUSH1 0x20
00002905: SWAP1
00002906: DUP2
00002907: MSTORE
00002908: PUSH1 0x40
0000290a: PUSH1 0x00
0000290c: DUP2
0000290d: DUP2
0000290e: KECCAK256
0000290f: PUSH1 0x01
00002911: PUSH1 0xa0
00002913: PUSH1 0x02
00002915: EXP
00002916: SUB
00002917: CALLER
00002918: AND
00002919: DUP3
0000291a: MSTORE
0000291b: SWAP1
0000291c: SWAP3
0000291d: MSTORE
0000291e: SWAP1
0000291f: KECCAK256
00002920: SLOAD
00002921: DUP3
00002922: SWAP1
00002923: LT
00002924: ISZERO
00002925: JUMPDEST
00002926: DUP1
00002927: ISZERO
00002928: PUSH2 0x2931
0000292b: JUMPI
0000292c: POP
0000292d: PUSH1 0x00
0000292f: DUP3
00002930: GT
00002931: JUMPDEST
00002932: ISZERO
00002933: PUSH2 0x29c0
00002936: JUMPI
00002937: PUSH1 0x01
00002939: PUSH1 0xa0
0000293b: PUSH1 0x02
0000293d: EXP
0000293e: SUB
0000293f: DUP4
00002940: DUP2
00002941: AND
00002942: PUSH1 0x00
00002944: DUP2
00002945: DUP2
00002946: MSTORE
00002947: PUSH1 0x14
00002949: PUSH1 0x20
0000294b: SWAP1
0000294c: DUP2
0000294d: MSTORE
0000294e: PUSH1 0x40
00002950: DUP1
00002951: DUP4
00002952: KECCAK256
00002953: DUP1
00002954: SLOAD
00002955: DUP9
00002956: ADD
00002957: SWAP1
00002958: SSTORE
00002959: DUP9
0000295a: DUP6
0000295b: AND
0000295c: DUP1
0000295d: DUP5
0000295e: MSTORE
0000295f: DUP2
00002960: DUP5
00002961: KECCAK256
00002962: DUP1
00002963: SLOAD
00002964: DUP10
00002965: SWAP1
00002966: SUB
00002967: SWAP1
00002968: SSTORE
00002969: PUSH1 0x15
0000296b: DUP4
0000296c: MSTORE
0000296d: DUP2
0000296e: DUP5
0000296f: KECCAK256
00002970: CALLER
00002971: SWAP7
00002972: SWAP1
00002973: SWAP7
00002974: AND
00002975: DUP5
00002976: MSTORE
00002977: SWAP5
00002978: DUP3
00002979: MSTORE
0000297a: SWAP2
0000297b: DUP3
0000297c: SWAP1
0000297d: KECCAK256
0000297e: DUP1
0000297f: SLOAD
00002980: DUP8
00002981: SWAP1
00002982: SUB
00002983: SWAP1
00002984: SSTORE
00002985: DUP2
00002986: MLOAD
00002987: DUP7
00002988: DUP2
00002989: MSTORE
0000298a: SWAP2
0000298b: MLOAD
0000298c: SWAP3
0000298d: SWAP4
0000298e: SWAP3
0000298f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000029b0: SWAP3
000029b1: DUP2
000029b2: SWAP1
000029b3: SUB
000029b4: SWAP1
000029b5: SWAP2
000029b6: ADD
000029b7: SWAP1
000029b8: LOG3
000029b9: POP
000029ba: PUSH1 0x01
000029bc: PUSH2 0x2549
000029bf: JUMP
000029c0: JUMPDEST
000029c1: POP
000029c2: PUSH1 0x00
000029c4: PUSH2 0x2549
000029c7: JUMP
000029c8: JUMPDEST
000029c9: PUSH1 0x01
000029cb: PUSH1 0xa0
000029cd: PUSH1 0x02
000029cf: EXP
000029d0: SUB
000029d1: DUP7
000029d2: AND
000029d3: PUSH1 0x00
000029d5: SWAP1
000029d6: DUP2
000029d7: MSTORE
000029d8: PUSH1 0x0a
000029da: PUSH1 0x20
000029dc: MSTORE
000029dd: PUSH1 0x40
000029df: SWAP1
000029e0: KECCAK256
000029e1: SLOAD
000029e2: DUP1
000029e3: DUP6
000029e4: MUL
000029e5: SWAP2
000029e6: SWAP1
000029e7: SWAP2
000029e8: DIV
000029e9: SWAP2
000029ea: POP
000029eb: DUP2
000029ec: GT
000029ed: ISZERO
000029ee: PUSH2 0x29f6
000029f1: JUMPI
000029f2: PUSH2 0x0002
000029f5: JUMP
000029f6: JUMPDEST
000029f7: PUSH1 0x01
000029f9: PUSH1 0xa0
000029fb: PUSH1 0x02
000029fd: EXP
000029fe: SUB
000029ff: DUP6
00002a00: DUP2
00002a01: AND
00002a02: PUSH1 0x00
00002a04: SWAP1
00002a05: DUP2
00002a06: MSTORE
00002a07: PUSH1 0x0a
00002a09: PUSH1 0x20
00002a0b: MSTORE
00002a0c: PUSH1 0x40
00002a0e: DUP1
00002a0f: DUP3
00002a10: KECCAK256
00002a11: DUP1
00002a12: SLOAD
00002a13: DUP6
00002a14: SWAP1
00002a15: SUB
00002a16: SWAP1
00002a17: SSTORE
00002a18: SWAP2
00002a19: DUP7
00002a1a: AND
00002a1b: DUP2
00002a1c: MSTORE
00002a1d: KECCAK256
00002a1e: DUP1
00002a1f: SLOAD
00002a20: DUP3
00002a21: ADD
00002a22: SWAP1
00002a23: SSTORE
00002a24: PUSH1 0x01
00002a26: SWAP2
00002a27: POP
00002a28: POP
00002a29: SWAP4
00002a2a: SWAP3
00002a2b: POP
00002a2c: POP
00002a2d: POP
00002a2e: JUMP
00002a2f: JUMPDEST
00002a30: POP
00002a31: PUSH1 0x00
00002a33: PUSH2 0x0752
00002a36: JUMP
00002a37: JUMPDEST
00002a38: ADD
00002a39: PUSH1 0x03
00002a3b: MUL
00002a3c: PUSH1 0x16
00002a3e: PUSH1 0x00
00002a40: POP
00002a41: SLOAD
00002a42: DUP4
00002a43: MUL
00002a44: DIV
00002a45: PUSH1 0x01
00002a47: PUSH1 0x00
00002a49: POP
00002a4a: SLOAD
00002a4b: PUSH1 0x16
00002a4d: PUSH1 0x00
00002a4f: POP
00002a50: SLOAD
00002a51: DIV
00002a52: ADD
00002a53: SWAP1
00002a54: POP
00002a55: PUSH2 0x0752
00002a58: JUMP
00002a59: UNKNOWN(0x29)
00002a5a: UNKNOWN(0x0D)
00002a5b: UNKNOWN(0xEC)
00002a5c: UNKNOWN(0xD9)
00002a5d: SLOAD
00002a5e: DUP12
00002a5f: PUSH3 0xa8d603
00002a63: GASLIMIT
00002a64: UNKNOWN(0xA9)
00002a65: DUP9
00002a66: CODESIZE
00002a67: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5
00002a78: PUSH4