Analysis Run

{"no_findings":false,"summary":"Bytecode shows a low-level CALL with computed target/value and proxy metadata indicating an EIP-1967 implementation mismatch; both need verification given bytecode-only context.","findings":[{"severity":"medium","category":"reentrancy","title":"Low-level CALL with computed target/value (potential untrusted external call with ETH)","exploit_scenario":"If the call target/value or calldata are derived from user input, an attacker could direct ETH to an arbitrary contract and potentially reenter the caller (if any sensitive state is modified before the call). The validation trace shows a constant target equal to the contract itself, so this may be a false positive or only reachable in some paths.","recommendation":"Confirm whether the CALL target/value are user-controlled. If so, enforce an allowlist, apply checks-effects-interactions or a reentrancy guard, and ensure return values are handled explicitly.","evidence":"CALL at pc 8052 with target_expression_category/value_expression_category = \"computed\" and returndata_checked = null; block 8039–8066 contains GAS CALL. Detector findings flag \"Untrusted CALL target/value reachable\" and \"ETH value transfer possible\"; validation trace indicates a constant target (0x36d7…5d1b) but not confirmed.","locations":["pc:0x8052"]},{"severity":"low","category":"upgradeability","title":"Proxy implementation metadata conflict (EIP-1967)","exploit_scenario":"If the proxy at 0xd6a07…1074 points to a different implementation than expected (etherscan_impl vs onchain_impl), users may be interacting with unexpected code or an unintended upgrade may have occurred.","recommendation":"Verify the EIP-1967 implementation slot on the proxy and reconcile with the expected implementation address; ensure upgrade admin controls are audited and monitored.","evidence":"analysis_run.parent_links meta_json shows onchain_method=\"eip1967\" with onchain_impl=0x36d7b81f…5d1b and etherscan_impl=0x23556f8f…7cab, status=\"conflict\".","locations":["address:0xd6a07b8065f9e8386a9a5bba6a754a10a9cd1074"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-tew_6hcy
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0fab-2dd4-7a02-aada-0d6c13031d5f
--------
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
exec
/bin/bash -lc ls in /tmp/codex-tew_6hcy succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-tew_6hcy succeeded in 9ms:
{
  "analysis_artifact": {
    "address": "0x36d7b81fa45e6453d9a3f9be0829817c8a5f5d1b",
    "artifact_hash": "0xf71148b90cb110c00c1ffd984a6d9b66bf92b68b4aa481a8be3bb96704ff591e",
    "artifact_json": {
      "auth": {
        "guards": []
      },
      "basic_blocks": [
        {
          "end_pc": 11,
          "hash": "0x7ba4403ad8c2da27f36a99883d9bd6831f00a99722adb0e607c72478344873a4",
          "opcodes": [
            "PUSH1",
            "PUSH1",
            "MSTORE",
            "CALLVALUE",
            "OP_80",
            "ISZERO",
            "PUSH2",
exec
/bin/bash -lc 'rg -n "8052|call:8052|CALL" BYTECODE_BUNDLE.json | head -n 50' in /tmp/codex-tew_6hcy succeeded in 9ms:
17:            "CALLVALUE",
42:            "CALLDATASIZE",
54:            "CALLDATALOAD",
533:            "CALLDATASIZE",
566:            "CALLDATASIZE",
631:            "CALLDATASIZE",
733:            "CALLDATASIZE",
757:            "CALLDATASIZE",
833:            "CALLDATASIZE",
868:            "CALLDATASIZE",
892:            "CALLDATASIZE",
916:            "CALLDATASIZE",
966:            "CALLDATASIZE",
1033:            "CALLDATASIZE",
1087:            "CALLDATASIZE",
1148:            "CALLDATASIZE",
1207:            "CALLDATASIZE",
1231:            "CALLDATASIZE",
1278:            "CALLDATASIZE",
1302:            "CALLDATASIZE",
Reconnecting... 1/5
Reconnecting... 2/5
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
art=data['analysis_artifact']['artifact_json']
# locate callsite entry
callsite=None
for node in art.get('nodes',[]) if 'nodes' in art else art.get('cfg',[]):
    pass
# artifact_json appears to have 'basic_blocks' list and maybe 'nodes' list? Use keys.
print(art.keys())
PY" in /tmp/codex-tew_6hcy succeeded in 36ms:
dict_keys(['auth', 'basic_blocks', 'callsites', 'cfg_edges', 'cfg_hash', 'dispatcher_type', 'function_entries', 'functions', 'selectors', 'sinks', 'storage', 'version'])
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
art=data['analysis_artifact']['artifact_json']
cs=[c for c in art.get('callsites',[]) if c.get('pc')==8052]
print(cs)
PY" in /tmp/codex-tew_6hcy succeeded in 37ms:
[{'opcode': 'CALL', 'pc': 8052, 'returndata_checked': None, 'target_expression_category': 'computed', 'value_expression_category': 'computed'}]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# blocks are huge; find those with start<=8052<=end
hits=[b for b in blocks if b.get('start_pc')<=8052<=b.get('end_pc')]
print(len(hits))
if hits:
    b=hits[0]
    print('block',b['start_pc'],b['end_pc'])
    print(b.get('opcodes')[:50])
PY" in /tmp/codex-tew_6hcy succeeded in 36ms:
1
block 8039 8066
['JUMPDEST', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'OP_85', 'OP_87', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'RETURNDATASIZE', 'OP_80', 'PUSH1', 'OP_81', 'EQ', 'PUSH2', 'JUMPI']
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
art=data['analysis_artifact']['artifact_json']
print('selectors',art.get('selectors')[:10], 'count', len(art.get('selectors',[])))
print('functions count', len(art.get('functions',[])))
print('function_entries', art.get('function_entries')[:10])
print('storage entries', art.get('storage')[:10])
PY" in /tmp/codex-tew_6hcy exited 1 in 49ms:
selectors ['0xf2fde38b', '0xf430cf0d', '0xfa31a89c', '0xffd47db9', '0xb3944d52', '0xc5f879dc', '0xe2bbb158', '0x93c335ad', '0x9d888e86', '0xa87f884e'] count 27
functions count 27
function_entries [{'entry_pc': 4076725131, 'selector': '0xf2fde38b'}, {'entry_pc': 4197558428, 'selector': '0xf430cf0d'}, {'entry_pc': 4292115897, 'selector': '0xfa31a89c'}, {'entry_pc': None, 'selector': '0xffd47db9'}, {'entry_pc': 3321395676, 'selector': '0xb3944d52'}, {'entry_pc': 3803951448, 'selector': '0xc5f879dc'}, {'entry_pc': None, 'selector': '0xe2bbb158'}, {'entry_pc': 2479044013, 'selector': '0x93c335ad'}, {'entry_pc': 2826930254, 'selector': '0x9d888e86'}, {'entry_pc': 2920716880, 'selector': '0xa87f884e'}]
Traceback (most recent call last):
  File "<stdin>", line 8, in <module>
KeyError: slice(None, 10, None)
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
art=data['analysis_artifact']['artifact_json']
storage=art.get('storage')
print(type(storage))
print(storage.keys() if isinstance(storage, dict) else storage)
PY" in /tmp/codex-tew_6hcy succeeded in 35ms:
<class 'dict'>
dict_keys(['keccak_count', 'reads', 'slots', 'writes'])
exec
/bin/bash -lc "python3 - <<'PY'
import json
from pprint import pprint
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
storage=data['analysis_artifact']['artifact_json']['storage']
print('slots count', len(storage.get('slots',[])))
# show first few slots
pprint(storage.get('slots',[])[:10])
print('reads count', len(storage.get('reads',[])))
print('writes count', len(storage.get('writes',[])))
PY" in /tmp/codex-tew_6hcy exited 1 in 50ms:
slots count 62
[{'op': 'SLOAD',
  'pc': 945,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000033'},
 {'op': 'SLOAD',
  'pc': 1018,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000068'},
 {'op': 'SLOAD',
  'pc': 1062,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000065'},
 {'op': 'SLOAD',
  'pc': 1173,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000065'},
 {'op': 'SLOAD',
  'pc': 1219,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000065'},
 {'op': 'SLOAD',
  'pc': 1714,
  'slot': '0x0000000000000000000000000000000000000000000000000000000000000065'},
 {'op': 'SLOAD',
exec
/bin/bash -lc 'rg -n "360894|eip1967|1967" BYTECODE_BUNDLE.json' in /tmp/codex-tew_6hcy succeeded in 7ms:
21850:          "onchain_method": "eip1967",
exec
/bin/bash -lc "sed -n '21830,21870p' BYTECODE_BUNDLE.json" in /tmp/codex-tew_6hcy succeeded in 10ms:
    "chain_id": 1,
    "child_links": [],
    "created_at": "2026-01-30T11:29:05.000000Z",
    "id": "019c0ea9-f67b-73b7-80e6-a5d6cba42ff4",
    "parent_links": [
      {
        "child_run_id": "019c0ea9-f67b-73b7-80e6-a5d6cba42ff4",
        "created_at": "2026-01-30T11:29:05.000000Z",
        "id": 216,
        "link_type": "implementation",
        "meta_json": {
          "etherscan_hint": {
            "etherscan": {
              "implementation": "0x23556f8fdc3a5967e6ee1ac98023ae0763247cab",
              "proxy_flag": true
            },
            "source": "etherscan"
          },
          "etherscan_impl": "0x23556f8fdc3a5967e6ee1ac98023ae0763247cab",
          "onchain_impl": "0x36d7b81fa45e6453d9a3f9be0829817c8a5f5d1b",
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# find block around 8039
block=[b for b in blocks if b.get('start_pc')==8039][0]
print('block', block['start_pc'], block['end_pc'])
print(block['opcodes'])
# find block that jumps to 8039 by cfg_edges maybe
edges=data['analysis_artifact']['artifact_json'].get('cfg_edges',[])
# edges list maybe dicts with src/dst? check sample
print('edge sample', edges[:5])
# find predecessor blocks to 8039
pred=[e for e in edges if e.get('to')==8039 or e.get('dst')==8039 or e.get('target')==8039]
print('pred count', len(pred))
print(pred[:5])
PY" in /tmp/codex-tew_6hcy succeeded in 32ms:
block 8039 8066
['JUMPDEST', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'OP_85', 'OP_87', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'RETURNDATASIZE', 'OP_80', 'PUSH1', 'OP_81', 'EQ', 'PUSH2', 'JUMPI']
edge sample [{'from': 'bb:0', 'to': 'bb:16', 'type': 'control_flow'}, {'from': 'bb:0', 'to': 'bb:12', 'type': 'control_flow_fallthrough'}, {'from': 'bb:16', 'to': 'bb:425', 'type': 'control_flow'}, {'from': 'bb:16', 'to': 'bb:26', 'type': 'control_flow_fallthrough'}, {'from': 'bb:26', 'to': 'bb:249', 'type': 'control_flow'}]
pred count 0
[]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
slots=set()
for s in data['analysis_artifact']['artifact_json']['storage']['slots']:
    slots.add(s['slot'])
# show sorted small ones
small=sorted([int(x,16) for x in slots])
print('slot ints', small[:20])
print('max', max(small))
PY" in /tmp/codex-tew_6hcy succeeded in 33ms:
slot ints [0, 1, 2, 51, 101, 103, 104, 105]
max 105
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# list blocks with start_pc between 7980 and 8070
for b in blocks:
    sp=b.get('start_pc')
    if sp is not None and 7980<=sp<=8070:
        print('block', sp, b.get('end_pc'))
        print(b.get('opcodes'))
        print('---')
PY" in /tmp/codex-tew_6hcy succeeded in 45ms:
block 8011 8038
['JUMPDEST', 'PUSH1', 'OP_80', 'OP_86', 'PUSH1', 'PUSH1', 'PUSH1', 'SHL', 'SUB', 'AND', 'OP_85', 'OP_87', 'PUSH1', 'MLOAD', 'PUSH2', 'OP_91', 'OP_90', 'PUSH2', 'JUMP']
---
block 8039 8066
['JUMPDEST', 'PUSH1', 'PUSH1', 'MLOAD', 'OP_80', 'OP_83', 'SUB', 'OP_81', 'OP_85', 'OP_87', 'GAS', 'CALL', 'OP_92', 'POP', 'POP', 'POP', 'RETURNDATASIZE', 'OP_80', 'PUSH1', 'OP_81', 'EQ', 'PUSH2', 'JUMPI']
---
block 8067 8099
['PUSH1', 'MLOAD', 'OP_91', 'POP', 'PUSH1', 'NOT', 'PUSH1', 'RETURNDATASIZE', 'ADD', 'AND', 'OP_82', 'ADD', 'PUSH1', 'MSTORE', 'RETURNDATASIZE', 'OP_82', 'MSTORE', 'RETURNDATASIZE', 'PUSH1', 'PUSH1', 'OP_84', 'ADD', 'RETURNDATACOPY', 'PUSH2', 'JUMP']
---
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
print(data.keys())
PY" in /tmp/codex-tew_6hcy succeeded in 40ms:
dict_keys(['analysis_artifact', 'analysis_run', 'artifact', 'capability_graph', 'detector_findings', 'heuristics_summary'])
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']
print(cap.keys())
PY" in /tmp/codex-tew_6hcy succeeded in 34ms:
dict_keys(['address', 'block_number', 'chain_id', 'codehash', 'created_at', 'graph_hash', 'graph_json', 'id', 'updated_at', 'version'])
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
print(data['capability_graph']['graph_json'].keys())
PY" in /tmp/codex-tew_6hcy succeeded in 42ms:
dict_keys(['edges', 'nodes', 'version'])
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
# find node with id 'call:8052'
for n in cap['nodes']:
    if n.get('id')=='call:8052':
        print(n)
        break
else:
    print('not found')
PY" in /tmp/codex-tew_6hcy succeeded in 40ms:
{'id': 'call:8052', 'opcode': 'CALL', 'pc': 8052, 'type': 'callsite'}
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
edges=cap['edges']
# find incoming edges to call:8052
incoming=[e for e in edges if e.get('to')=='call:8052']
print('incoming', len(incoming))
print(incoming[:10])
# find outgoing edges from call:8052
out=[e for e in edges if e.get('from')=='call:8052']
print('out', len(out))
print(out[:10])
PY" in /tmp/codex-tew_6hcy succeeded in 35ms:
incoming 1
[{'from': 'bb:8039', 'to': 'call:8052', 'type': 'contains'}]
out 1
[{'from': 'call:8052', 'to': 'sink:call', 'type': 'capability'}]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
edges=cap['edges']
# incoming to bb:8039
incoming=[e for e in edges if e.get('to')=='bb:8039']
print('incoming', len(incoming))
print(incoming[:20])
PY" in /tmp/codex-tew_6hcy succeeded in 36ms:
incoming 0
[]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
edges=cap['edges']
# edges referencing bb:8039
edges_ref=[e for e in edges if e.get('from')=='bb:8039' or e.get('to')=='bb:8039']
print(edges_ref[:20])
PY" in /tmp/codex-tew_6hcy succeeded in 64ms:
[{'from': 'bb:8039', 'to': 'bb:8100', 'type': 'control_flow'}, {'from': 'bb:8039', 'to': 'bb:8067', 'type': 'control_flow_fallthrough'}, {'from': 'bb:8039', 'to': 'call:8052', 'type': 'contains'}]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
node=[n for n in cap['nodes'] if n.get('id')=='bb:8039']
print(node)
PY" in /tmp/codex-tew_6hcy succeeded in 35ms:
[{'end_pc': 8066, 'hash': '0x940328fdbc6aaa29926e869ed2c9ab59fccc710a87748356d138d1fc89d5e8ff', 'id': 'bb:8039', 'start_pc': 8039, 'type': 'basic_block'}]
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
cap=data['capability_graph']['graph_json']
edges=cap['edges']
# edges from function nodes
func_edges=[e for e in edges if isinstance(e.get('from'),str) and e['from'].startswith('fn:')]
print('func edges', len(func_edges))
print(func_edges[:20])
# filter edges to bb:8039
fe=[e for e in func_edges if e.get('to')=='bb:8039']
print('edges to bb:8039', fe)
PY" in /tmp/codex-tew_6hcy succeeded in 32ms:
func edges 21
[{'from': 'fn:0xf2fde38b', 'to': 'bb:4076725131', 'type': 'entry'}, {'from': 'fn:0xf430cf0d', 'to': 'bb:4197558428', 'type': 'entry'}, {'from': 'fn:0xfa31a89c', 'to': 'bb:4292115897', 'type': 'entry'}, {'from': 'fn:0xb3944d52', 'to': 'bb:3321395676', 'type': 'entry'}, {'from': 'fn:0xc5f879dc', 'to': 'bb:3803951448', 'type': 'entry'}, {'from': 'fn:0x93c335ad', 'to': 'bb:2479044013', 'type': 'entry'}, {'from': 'fn:0x9d888e86', 'to': 'bb:2826930254', 'type': 'entry'}, {'from': 'fn:0xa87f884e', 'to': 'bb:2920716880', 'type': 'entry'}, {'from': 'fn:0x77300089', 'to': 'bb:2167012380', 'type': 'entry'}, {'from': 'fn:0x8129fc1c', 'to': 'bb:2376452955', 'type': 'entry'}, {'from': 'fn:0x673a2a1f', 'to': 'bb:1731865119', 'type': 'entry'}, {'from': 'fn:0x6968ff72', 'to': 'bb:1901074598', 'type': 'entry'}, {'from': 'fn:0x715018a6', 'to': 'bb:1994932815', 'type': 'entry'}, {'from': 'fn:0x441a3e70', 'to': 'bb:1374356902', 'type': 'entry'}, {'from': 'fn:0x51eb05a6', 'to': 'bb:1393748622', 'type': 'entry'}, {'from': 'fn:0x03c23e2f', 'to': 'bb:159321873', 'type': 'entry'}, {'from': 'fn:0x097f0f11', 'to': 'bb:354876967', 'type': 'entry'}, {'from': 'fn:0x1526fe27', 'to': 'bb:558547702', 'type': 'entry'}, {'from': 'fn:0x214ac2f6', 'to': 'bb:567185821', 'type': 'entry'}, {'from': 'fn:0x21ce919d', 'to': 'bb:999968003', 'type': 'entry'}]
edges to bb:8039 []
exec
/bin/bash -lc "python3 - <<'PY'
import json
with open('BYTECODE_BUNDLE.json') as f:
    data=json.load(f)
blocks=data['analysis_artifact']['artifact_json']['basic_blocks']
# find blocks with start_pc between 7900 and 8200 that contain SSTORE
for b in blocks:
    sp=b.get('start_pc')
    if sp is not None and 7900<=sp<=8200:
        if 'SSTORE' in b.get('opcodes',[]):
            print('block', sp, b.get('end_pc'))
            print(b.get('opcodes'))
            print('---')
PY" in /tmp/codex-tew_6hcy succeeded in 30ms:

codex
{"no_findings":false,"summary":"Bytecode shows a low-level CALL with computed target/value and proxy metadata indicating an EIP-1967 implementation mismatch; both need verification given bytecode-only context.","findings":[{"severity":"medium","category":"reentrancy","title":"Low-level CALL with computed target/value (potential untrusted external call with ETH)","exploit_scenario":"If the call target/value or calldata are derived from user input, an attacker could direct ETH to an arbitrary contract and potentially reenter the caller (if any sensitive state is modified before the call). The validation trace shows a constant target equal to the contract itself, so this may be a false positive or only reachable in some paths.","recommendation":"Confirm whether the CALL target/value are user-controlled. If so, enforce an allowlist, apply checks-effects-interactions or a reentrancy guard, and ensure return values are handled explicitly.","evidence":"CALL at pc 8052 with target_expression_category/value_expression_category = \"computed\" and returndata_checked = null; block 8039–8066 contains GAS CALL. Detector findings flag \"Untrusted CALL target/value reachable\" and \"ETH value transfer possible\"; validation trace indicates a constant target (0x36d7…5d1b) but not confirmed.","locations":["pc:0x8052"]},{"severity":"low","category":"upgradeability","title":"Proxy implementation metadata conflict (EIP-1967)","exploit_scenario":"If the proxy at 0xd6a07…1074 points to a different implementation than expected (etherscan_impl vs onchain_impl), users may be interacting with unexpected code or an unintended upgrade may have occurred.","recommendation":"Verify the EIP-1967 implementation slot on the proxy and reconcile with the expected implementation address; ensure upgrade admin controls are audited and monitored.","evidence":"analysis_run.parent_links meta_json shows onchain_method=\"eip1967\" with onchain_impl=0x36d7b81f…5d1b and etherscan_impl=0x23556f8f…7cab, status=\"conflict\".","locations":["address:0xd6a07b8065f9e8386a9a5bba6a754a10a9cd1074"]}]}
tokens used
43,326

{
    "codex": {
        "ran_at": "2026-01-30T16:14:46.335155+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 19020,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode shows a low-level CALL with computed target/value and proxy metadata indicating an EIP-1967 implementation mismatch; both need verification given bytecode-only context.",
    "raw_final": {
        "summary": "Bytecode shows a low-level CALL with computed target/value and proxy metadata indicating an EIP-1967 implementation mismatch; both need verification given bytecode-only context.",
        "findings": [
            {
                "title": "Low-level CALL with computed target/value (potential untrusted external call with ETH)",
                "category": "reentrancy",
                "evidence": "CALL at pc 8052 with target_expression_category/value_expression_category = \"computed\" and returndata_checked = null; block 8039\u20138066 contains GAS CALL. Detector findings flag \"Untrusted CALL target/value reachable\" and \"ETH value transfer possible\"; validation trace indicates a constant target (0x36d7\u20265d1b) but not confirmed.",
                "severity": "medium",
                "locations": [
                    "pc:0x8052"
                ],
                "recommendation": "Confirm whether the CALL target/value are user-controlled. If so, enforce an allowlist, apply checks-effects-interactions or a reentrancy guard, and ensure return values are handled explicitly.",
                "exploit_scenario": "If the call target/value or calldata are derived from user input, an attacker could direct ETH to an arbitrary contract and potentially reenter the caller (if any sensitive state is modified before the call). The validation trace shows a constant target equal to the contract itself, so this may be a false positive or only reachable in some paths."
            },
            {
                "title": "Proxy implementation metadata conflict (EIP-1967)",
                "category": "upgradeability",
                "evidence": "analysis_run.parent_links meta_json shows onchain_method=\"eip1967\" with onchain_impl=0x36d7b81f\u20265d1b and etherscan_impl=0x23556f8f\u20267cab, status=\"conflict\".",
                "severity": "low",
                "locations": [
                    "address:0xd6a07b8065f9e8386a9a5bba6a754a10a9cd1074"
                ],
                "recommendation": "Verify the EIP-1967 implementation slot on the proxy and reconcile with the expected implementation address; ensure upgrade admin controls are audited and monitored.",
                "exploit_scenario": "If the proxy at 0xd6a07\u20261074 points to a different implementation than expected (etherscan_impl vs onchain_impl), users may be interacting with unexpected code or an unintended upgrade may have occurred."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01a9
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x77300089
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb3944d52
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xf2fde38b
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf2fde38b
00000047: EQ
00000048: PUSH2 0x0446
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf430cf0d
00000052: EQ
00000053: PUSH2 0x0459
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xfa31a89c
0000005d: EQ
0000005e: PUSH2 0x046c
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xffd47db9
00000068: EQ
00000069: PUSH2 0x047f
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xb3944d52
00000078: EQ
00000079: PUSH2 0x0423
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xc5f879dc
00000083: EQ
00000084: PUSH2 0x042b
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xe2bbb158
0000008e: EQ
0000008f: PUSH2 0x0433
00000092: JUMPI
00000093: PUSH1 0x00
00000095: DUP1
00000096: REVERT
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x93c335ad
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x93c335ad
000000a9: EQ
000000aa: PUSH2 0x03c9
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x9d888e86
000000b4: EQ
000000b5: PUSH2 0x03f4
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa87f884e
000000bf: EQ
000000c0: PUSH2 0x03fd
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xae169a50
000000ca: EQ
000000cb: PUSH2 0x0410
000000ce: JUMPI
000000cf: PUSH1 0x00
000000d1: DUP1
000000d2: REVERT
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x77300089
000000da: EQ
000000db: PUSH2 0x0393
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x8129fc1c
000000e5: EQ
000000e6: PUSH2 0x03a6
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8da5cb5b
000000f0: EQ
000000f1: PUSH2 0x03ae
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: REVERT
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x441a3e70
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x673a2a1f
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x673a2a1f
00000116: EQ
00000117: PUSH2 0x0315
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x6968ff72
00000121: EQ
00000122: PUSH2 0x032a
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x715018a6
0000012c: EQ
0000012d: PUSH2 0x035d
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x76e8424f
00000137: EQ
00000138: PUSH2 0x0365
0000013b: JUMPI
0000013c: PUSH1 0x00
0000013e: DUP1
0000013f: REVERT
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x441a3e70
00000147: EQ
00000148: PUSH2 0x02dc
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x51eb05a6
00000152: EQ
00000153: PUSH2 0x02ef
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x5312ea8e
0000015d: EQ
0000015e: PUSH2 0x0302
00000161: JUMPI
00000162: PUSH1 0x00
00000164: DUP1
00000165: REVERT
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x03c23e2f
0000016d: EQ
0000016e: PUSH2 0x01ae
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x097f0f11
00000178: EQ
00000179: PUSH2 0x01c3
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x1526fe27
00000183: EQ
00000184: PUSH2 0x01f6
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x214ac2f6
0000018e: EQ
0000018f: PUSH2 0x0262
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x21ce919d
00000199: EQ
0000019a: PUSH2 0x0275
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x3b9a4d03
000001a4: EQ
000001a5: PUSH2 0x02bc
000001a8: JUMPI
000001a9: JUMPDEST
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: PUSH2 0x01c1
000001b2: PUSH2 0x01bc
000001b5: CALLDATASIZE
000001b6: PUSH1 0x04
000001b8: PUSH2 0x1ffd
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x0492
000001c0: JUMP
000001c1: JUMPDEST
000001c2: STOP
000001c3: JUMPDEST
000001c4: PUSH2 0x01e3
000001c7: PUSH2 0x01d1
000001ca: CALLDATASIZE
000001cb: PUSH1 0x04
000001cd: PUSH2 0x201f
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x6b
000001d4: PUSH1 0x20
000001d6: MSTORE
000001d7: PUSH1 0x00
000001d9: SWAP1
000001da: DUP2
000001db: MSTORE
000001dc: PUSH1 0x40
000001de: SWAP1
000001df: KECCAK256
000001e0: SLOAD
000001e1: DUP2
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x40
000001e6: MLOAD
000001e7: SWAP1
000001e8: DUP2
000001e9: MSTORE
000001ea: PUSH1 0x20
000001ec: ADD
000001ed: JUMPDEST
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: DUP1
000001f2: SWAP2
000001f3: SUB
000001f4: SWAP1
000001f5: RETURN
000001f6: JUMPDEST
000001f7: PUSH2 0x0209
000001fa: PUSH2 0x0204
000001fd: CALLDATASIZE
000001fe: PUSH1 0x04
00000200: PUSH2 0x201f
00000203: JUMP
00000204: JUMPDEST
00000205: PUSH2 0x06ad
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH1 0x40
0000020c: DUP1
0000020d: MLOAD
0000020e: PUSH1 0x01
00000210: PUSH1 0x01
00000212: PUSH1 0xa0
00000214: SHL
00000215: SUB
00000216: SWAP12
00000217: DUP13
00000218: AND
00000219: DUP2
0000021a: MSTORE
0000021b: SWAP10
0000021c: DUP12
0000021d: AND
0000021e: PUSH1 0x20
00000220: DUP12
00000221: ADD
00000222: MSTORE
00000223: DUP10
00000224: ADD
00000225: SWAP8
00000226: SWAP1
00000227: SWAP8
00000228: MSTORE
00000229: PUSH1 0x60
0000022b: DUP9
0000022c: ADD
0000022d: SWAP6
0000022e: SWAP1
0000022f: SWAP6
00000230: MSTORE
00000231: PUSH1 0x80
00000233: DUP8
00000234: ADD
00000235: SWAP4
00000236: SWAP1
00000237: SWAP4
00000238: MSTORE
00000239: PUSH1 0xa0
0000023b: DUP7
0000023c: ADD
0000023d: SWAP2
0000023e: SWAP1
0000023f: SWAP2
00000240: MSTORE
00000241: PUSH1 0xc0
00000243: DUP6
00000244: ADD
00000245: MSTORE
00000246: PUSH1 0xe0
00000248: DUP5
00000249: ADD
0000024a: MSTORE
0000024b: PUSH2 0x0100
0000024e: DUP4
0000024f: ADD
00000250: MSTORE
00000251: SWAP1
00000252: SWAP2
00000253: AND
00000254: PUSH2 0x0120
00000257: DUP3
00000258: ADD
00000259: MSTORE
0000025a: PUSH2 0x0140
0000025d: ADD
0000025e: PUSH2 0x01ed
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x01c1
00000266: PUSH2 0x0270
00000269: CALLDATASIZE
0000026a: PUSH1 0x04
0000026c: PUSH2 0x1ffd
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x071f
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x02a7
00000279: PUSH2 0x0283
0000027c: CALLDATASIZE
0000027d: PUSH1 0x04
0000027f: PUSH2 0x204f
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x66
00000286: PUSH1 0x20
00000288: SWAP1
00000289: DUP2
0000028a: MSTORE
0000028b: PUSH1 0x00
0000028d: SWAP3
0000028e: DUP4
0000028f: MSTORE
00000290: PUSH1 0x40
00000292: DUP1
00000293: DUP5
00000294: KECCAK256
00000295: SWAP1
00000296: SWAP2
00000297: MSTORE
00000298: SWAP1
00000299: DUP3
0000029a: MSTORE
0000029b: SWAP1
0000029c: KECCAK256
0000029d: DUP1
0000029e: SLOAD
0000029f: PUSH1 0x01
000002a1: SWAP1
000002a2: SWAP2
000002a3: ADD
000002a4: SLOAD
000002a5: DUP3
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x40
000002aa: DUP1
000002ab: MLOAD
000002ac: SWAP3
000002ad: DUP4
000002ae: MSTORE
000002af: PUSH1 0x20
000002b1: DUP4
000002b2: ADD
000002b3: SWAP2
000002b4: SWAP1
000002b5: SWAP2
000002b6: MSTORE
000002b7: ADD
000002b8: PUSH2 0x01ed
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x01e3
000002c0: PUSH2 0x02ca
000002c3: CALLDATASIZE
000002c4: PUSH1 0x04
000002c6: PUSH2 0x201f
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x6c
000002cd: PUSH1 0x20
000002cf: MSTORE
000002d0: PUSH1 0x00
000002d2: SWAP1
000002d3: DUP2
000002d4: MSTORE
000002d5: PUSH1 0x40
000002d7: SWAP1
000002d8: KECCAK256
000002d9: SLOAD
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH2 0x01c1
000002e0: PUSH2 0x02ea
000002e3: CALLDATASIZE
000002e4: PUSH1 0x04
000002e6: PUSH2 0x1ffd
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH2 0x0891
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH2 0x01c1
000002f3: PUSH2 0x02fd
000002f6: CALLDATASIZE
000002f7: PUSH1 0x04
000002f9: PUSH2 0x201f
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH2 0x0b15
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x01c1
00000306: PUSH2 0x0310
00000309: CALLDATASIZE
0000030a: PUSH1 0x04
0000030c: PUSH2 0x201f
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH2 0x0c3a
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x031d
00000319: PUSH2 0x0d82
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH1 0x40
00000320: MLOAD
00000321: PUSH2 0x01ed
00000324: SWAP2
00000325: SWAP1
00000326: PUSH2 0x2079
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH2 0x034d
0000032e: PUSH2 0x0338
00000331: CALLDATASIZE
00000332: PUSH1 0x04
00000334: PUSH2 0x201f
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH1 0x6a
0000033b: PUSH1 0x20
0000033d: MSTORE
0000033e: PUSH1 0x00
00000340: SWAP1
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x40
00000345: SWAP1
00000346: KECCAK256
00000347: SLOAD
00000348: PUSH1 0xff
0000034a: AND
0000034b: DUP2
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: SWAP1
00000352: ISZERO
00000353: ISZERO
00000354: DUP2
00000355: MSTORE
00000356: PUSH1 0x20
00000358: ADD
00000359: PUSH2 0x01ed
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH2 0x01c1
00000361: PUSH2 0x0e52
00000364: JUMP
00000365: JUMPDEST
00000366: PUSH2 0x0378
00000369: PUSH2 0x0373
0000036c: CALLDATASIZE
0000036d: PUSH1 0x04
0000036f: PUSH2 0x204f
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH2 0x0e88
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH1 0x40
0000037b: DUP1
0000037c: MLOAD
0000037d: DUP3
0000037e: MLOAD
0000037f: DUP2
00000380: MSTORE
00000381: PUSH1 0x20
00000383: SWAP3
00000384: DUP4
00000385: ADD
00000386: MLOAD
00000387: SWAP3
00000388: DUP2
00000389: ADD
0000038a: SWAP3
0000038b: SWAP1
0000038c: SWAP3
0000038d: MSTORE
0000038e: ADD
0000038f: PUSH2 0x01ed
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x01c1
00000397: PUSH2 0x03a1
0000039a: CALLDATASIZE
0000039b: PUSH1 0x04
0000039d: PUSH2 0x201f
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH2 0x0ed4
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH2 0x01c1
000003aa: PUSH2 0x1061
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH1 0x33
000003b1: SLOAD
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: PUSH1 0x01
000003b7: PUSH1 0x01
000003b9: PUSH1 0xa0
000003bb: SHL
000003bc: SUB
000003bd: SWAP1
000003be: SWAP2
000003bf: AND
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: PUSH2 0x01ed
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x01e3
000003cd: PUSH2 0x03d7
000003d0: CALLDATASIZE
000003d1: PUSH1 0x04
000003d3: PUSH2 0x204f
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x6d
000003da: PUSH1 0x20
000003dc: SWAP1
000003dd: DUP2
000003de: MSTORE
000003df: PUSH1 0x00
000003e1: SWAP3
000003e2: DUP4
000003e3: MSTORE
000003e4: PUSH1 0x40
000003e6: DUP1
000003e7: DUP5
000003e8: KECCAK256
000003e9: SWAP1
000003ea: SWAP2
000003eb: MSTORE
000003ec: SWAP1
000003ed: DUP3
000003ee: MSTORE
000003ef: SWAP1
000003f0: KECCAK256
000003f1: SLOAD
000003f2: DUP2
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH2 0x01e3
000003f8: PUSH1 0x68
000003fa: SLOAD
000003fb: DUP2
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x01c1
00000401: PUSH2 0x040b
00000404: CALLDATASIZE
00000405: PUSH1 0x04
00000407: PUSH2 0x201f
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH2 0x10e0
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH2 0x01c1
00000414: PUSH2 0x041e
00000417: CALLDATASIZE
00000418: PUSH1 0x04
0000041a: PUSH2 0x201f
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x110f
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x65
00000426: SLOAD
00000427: PUSH2 0x01e3
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH2 0x01c1
0000042f: PUSH2 0x129f
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH2 0x01c1
00000437: PUSH2 0x0441
0000043a: CALLDATASIZE
0000043b: PUSH1 0x04
0000043d: PUSH2 0x1ffd
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH2 0x1303
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH2 0x01c1
0000044a: PUSH2 0x0454
0000044d: CALLDATASIZE
0000044e: PUSH1 0x04
00000450: PUSH2 0x214e
00000453: JUMP
00000454: JUMPDEST
00000455: PUSH2 0x153b
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH2 0x01e3
0000045d: PUSH2 0x0467
00000460: CALLDATASIZE
00000461: PUSH1 0x04
00000463: PUSH2 0x204f
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH2 0x15d3
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH2 0x01c1
00000470: PUSH2 0x047a
00000473: CALLDATASIZE
00000474: PUSH1 0x04
00000476: PUSH2 0x2169
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH2 0x1781
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH2 0x01c1
00000483: PUSH2 0x048d
00000486: CALLDATASIZE
00000487: PUSH1 0x04
00000489: PUSH2 0x204f
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x1a2b
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH1 0x65
00000495: SLOAD
00000496: DUP3
00000497: LT
00000498: PUSH2 0x04bc
0000049b: JUMPI
0000049c: PUSH1 0x40
0000049e: MLOAD
0000049f: PUSH4 0x1e657b1d
000004a4: PUSH1 0xe0
000004a6: SHL
000004a7: DUP2
000004a8: MSTORE
000004a9: PUSH1 0x04
000004ab: DUP2
000004ac: ADD
000004ad: DUP4
000004ae: SWAP1
000004af: MSTORE
000004b0: PUSH1 0x24
000004b2: ADD
000004b3: JUMPDEST
000004b4: PUSH1 0x40
000004b6: MLOAD
000004b7: DUP1
000004b8: SWAP2
000004b9: SUB
000004ba: SWAP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: PUSH1 0x00
000004bf: PUSH1 0x65
000004c1: DUP4
000004c2: DUP2
000004c3: SLOAD
000004c4: DUP2
000004c5: LT
000004c6: PUSH2 0x04d1
000004c9: JUMPI
000004ca: PUSH2 0x04d1
000004cd: PUSH2 0x21be
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH1 0x00
000004d4: SWAP2
000004d5: DUP3
000004d6: MSTORE
000004d7: PUSH1 0x20
000004d9: SWAP1
000004da: SWAP2
000004db: KECCAK256
000004dc: PUSH1 0x0a
000004de: SWAP1
000004df: SWAP2
000004e0: MUL
000004e1: ADD
000004e2: PUSH1 0x09
000004e4: DUP2
000004e5: ADD
000004e6: SLOAD
000004e7: SWAP1
000004e8: SWAP2
000004e9: POP
000004ea: PUSH1 0x01
000004ec: PUSH1 0x01
000004ee: PUSH1 0xa0
000004f0: SHL
000004f1: SUB
000004f2: AND
000004f3: CALLER
000004f4: DUP2
000004f5: EQ
000004f6: PUSH2 0x0523
000004f9: JUMPI
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: PUSH4 0x15a39f35
00000502: PUSH1 0xe0
00000504: SHL
00000505: DUP2
00000506: MSTORE
00000507: PUSH1 0x01
00000509: PUSH1 0x01
0000050b: PUSH1 0xa0
0000050d: SHL
0000050e: SUB
0000050f: DUP3
00000510: AND
00000511: PUSH1 0x04
00000513: DUP3
00000514: ADD
00000515: MSTORE
00000516: CALLER
00000517: PUSH1 0x24
00000519: DUP3
0000051a: ADD
0000051b: MSTORE
0000051c: PUSH1 0x44
0000051e: ADD
0000051f: PUSH2 0x04b3
00000522: JUMP
00000523: JUMPDEST
00000524: DUP3
00000525: PUSH1 0x00
00000527: SUB
00000528: PUSH2 0x0544
0000052b: JUMPI
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: PUSH4 0x589efd73
00000534: PUSH1 0xe0
00000536: SHL
00000537: DUP2
00000538: MSTORE
00000539: PUSH1 0x04
0000053b: ADD
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: DUP1
00000540: SWAP2
00000541: SUB
00000542: SWAP1
00000543: REVERT
00000544: JUMPDEST
00000545: TIMESTAMP
00000546: DUP3
00000547: PUSH1 0x05
00000549: ADD
0000054a: SLOAD
0000054b: GT
0000054c: PUSH2 0x0568
0000054f: JUMPI
00000550: PUSH1 0x40
00000552: MLOAD
00000553: PUSH4 0x2e95ae41
00000558: PUSH1 0xe2
0000055a: SHL
0000055b: DUP2
0000055c: MSTORE
0000055d: PUSH1 0x04
0000055f: ADD
00000560: PUSH1 0x40
00000562: MLOAD
00000563: DUP1
00000564: SWAP2
00000565: SUB
00000566: SWAP1
00000567: REVERT
00000568: JUMPDEST
00000569: PUSH1 0x00
0000056b: TIMESTAMP
0000056c: DUP4
0000056d: PUSH1 0x05
0000056f: ADD
00000570: SLOAD
00000571: PUSH2 0x057a
00000574: SWAP2
00000575: SWAP1
00000576: PUSH2 0x21ea
00000579: JUMP
0000057a: JUMPDEST
0000057b: SWAP1
0000057c: POP
0000057d: PUSH2 0x0e10
00000580: DUP2
00000581: LT
00000582: ISZERO
00000583: PUSH2 0x05a2
00000586: JUMPI
00000587: PUSH1 0x40
00000589: MLOAD
0000058a: PUSH4 0x3e1f7dd9
0000058f: PUSH1 0xe0
00000591: SHL
00000592: DUP2
00000593: MSTORE
00000594: PUSH1 0x04
00000596: DUP2
00000597: ADD
00000598: DUP3
00000599: SWAP1
0000059a: MSTORE
0000059b: PUSH1 0x24
0000059d: ADD
0000059e: PUSH2 0x04b3
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH2 0x05ab
000005a6: DUP6
000005a7: PUSH2 0x0b15
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH1 0x00
000005ae: DUP4
000005af: PUSH1 0x04
000005b1: ADD
000005b2: SLOAD
000005b3: DUP5
000005b4: PUSH1 0x05
000005b6: ADD
000005b7: SLOAD
000005b8: PUSH2 0x05c1
000005bb: SWAP2
000005bc: SWAP1
000005bd: PUSH2 0x21ea
000005c0: JUMP
000005c1: JUMPDEST
000005c2: SWAP1
000005c3: POP
000005c4: PUSH1 0x00
000005c6: DUP2
000005c7: PUSH2 0x05d0
000005ca: DUP8
000005cb: DUP6
000005cc: PUSH2 0x21fd
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x05da
000005d4: SWAP2
000005d5: SWAP1
000005d6: PUSH2 0x2214
000005d9: JUMP
000005da: JUMPDEST
000005db: PUSH1 0x01
000005dd: DUP7
000005de: ADD
000005df: SLOAD
000005e0: SWAP1
000005e1: SWAP2
000005e2: POP
000005e3: PUSH1 0x01
000005e5: PUSH1 0x01
000005e7: PUSH1 0xa0
000005e9: SHL
000005ea: SUB
000005eb: AND
000005ec: PUSH1 0x00
000005ee: PUSH2 0x05f7
000005f1: DUP3
000005f2: DUP5
000005f3: PUSH2 0x1a9b
000005f6: JUMP
000005f7: JUMPDEST
000005f8: SWAP1
000005f9: POP
000005fa: DUP3
000005fb: DUP2
000005fc: EQ
000005fd: PUSH2 0x0619
00000600: JUMPI
00000601: PUSH1 0x40
00000603: MLOAD
00000604: PUSH4 0x2209cf9b
00000609: PUSH1 0xe0
0000060b: SHL
0000060c: DUP2
0000060d: MSTORE
0000060e: PUSH1 0x04
00000610: ADD
00000611: PUSH1 0x40
00000613: MLOAD
00000614: DUP1
00000615: SWAP2
00000616: SUB
00000617: SWAP1
00000618: REVERT
00000619: JUMPDEST
0000061a: PUSH1 0x00
0000061c: DUP9
0000061d: DUP9
0000061e: PUSH1 0x08
00000620: ADD
00000621: SLOAD
00000622: PUSH2 0x062b
00000625: SWAP2
00000626: SWAP1
00000627: PUSH2 0x2236
0000062a: JUMP
0000062b: JUMPDEST
0000062c: SWAP1
0000062d: POP
0000062e: DUP8
0000062f: PUSH1 0x08
00000631: ADD
00000632: SLOAD
00000633: DUP2
00000634: LT
00000635: ISZERO
00000636: PUSH2 0x0652
00000639: JUMPI
0000063a: PUSH1 0x40
0000063c: MLOAD
0000063d: PUSH4 0x1a93c689
00000642: PUSH1 0xe1
00000644: SHL
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x04
00000649: ADD
0000064a: PUSH1 0x40
0000064c: MLOAD
0000064d: DUP1
0000064e: SWAP2
0000064f: SUB
00000650: SWAP1
00000651: REVERT
00000652: JUMPDEST
00000653: PUSH1 0x08
00000655: DUP9
00000656: ADD
00000657: DUP2
00000658: SWAP1
00000659: SSTORE
0000065a: PUSH1 0x40
0000065c: DUP1
0000065d: MLOAD
0000065e: DUP12
0000065f: DUP2
00000660: MSTORE
00000661: PUSH1 0x20
00000663: DUP2
00000664: ADD
00000665: DUP7
00000666: SWAP1
00000667: MSTORE
00000668: PUSH1 0x01
0000066a: PUSH1 0x01
0000066c: PUSH1 0xa0
0000066e: SHL
0000066f: SUB
00000670: DUP6
00000671: AND
00000672: DUP2
00000673: DUP4
00000674: ADD
00000675: MSTORE
00000676: SWAP1
00000677: MLOAD
00000678: PUSH32 0x373ba8b12aa5d4e47cdadd1193c682ebbd51f00ecf395e4179926426c41a7938
00000699: SWAP2
0000069a: DUP2
0000069b: SWAP1
0000069c: SUB
0000069d: PUSH1 0x60
0000069f: ADD
000006a0: SWAP1
000006a1: LOG1
000006a2: POP
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: POP
000006a9: POP
000006aa: POP
000006ab: POP
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH1 0x65
000006b0: DUP2
000006b1: DUP2
000006b2: SLOAD
000006b3: DUP2
000006b4: LT
000006b5: PUSH2 0x06bd
000006b8: JUMPI
000006b9: PUSH1 0x00
000006bb: DUP1
000006bc: REVERT
000006bd: JUMPDEST
000006be: PUSH1 0x00
000006c0: SWAP2
000006c1: DUP3
000006c2: MSTORE
000006c3: PUSH1 0x20
000006c5: SWAP1
000006c6: SWAP2
000006c7: KECCAK256
000006c8: PUSH1 0x0a
000006ca: SWAP1
000006cb: SWAP2
000006cc: MUL
000006cd: ADD
000006ce: DUP1
000006cf: SLOAD
000006d0: PUSH1 0x01
000006d2: DUP3
000006d3: ADD
000006d4: SLOAD
000006d5: PUSH1 0x02
000006d7: DUP4
000006d8: ADD
000006d9: SLOAD
000006da: PUSH1 0x03
000006dc: DUP5
000006dd: ADD
000006de: SLOAD
000006df: PUSH1 0x04
000006e1: DUP6
000006e2: ADD
000006e3: SLOAD
000006e4: PUSH1 0x05
000006e6: DUP7
000006e7: ADD
000006e8: SLOAD
000006e9: PUSH1 0x06
000006eb: DUP8
000006ec: ADD
000006ed: SLOAD
000006ee: PUSH1 0x07
000006f0: DUP9
000006f1: ADD
000006f2: SLOAD
000006f3: PUSH1 0x08
000006f5: DUP10
000006f6: ADD
000006f7: SLOAD
000006f8: PUSH1 0x09
000006fa: SWAP1
000006fb: SWAP10
000006fc: ADD
000006fd: SLOAD
000006fe: PUSH1 0x01
00000700: PUSH1 0x01
00000702: PUSH1 0xa0
00000704: SHL
00000705: SUB
00000706: SWAP9
00000707: DUP10
00000708: AND
00000709: SWAP11
0000070a: POP
0000070b: SWAP7
0000070c: DUP9
0000070d: AND
0000070e: SWAP9
0000070f: SWAP6
00000710: SWAP8
00000711: SWAP5
00000712: SWAP7
00000713: SWAP4
00000714: SWAP6
00000715: SWAP3
00000716: SWAP5
00000717: SWAP2
00000718: SWAP4
00000719: SWAP1
0000071a: SWAP3
0000071b: SWAP2
0000071c: AND
0000071d: DUP11
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x65
00000722: SLOAD
00000723: DUP3
00000724: LT
00000725: PUSH2 0x0744
00000728: JUMPI
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: PUSH4 0x1e657b1d
00000731: PUSH1 0xe0
00000733: SHL
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x04
00000738: DUP2
00000739: ADD
0000073a: DUP4
0000073b: SWAP1
0000073c: MSTORE
0000073d: PUSH1 0x24
0000073f: ADD
00000740: PUSH2 0x04b3
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH1 0x00
00000747: PUSH1 0x65
00000749: DUP4
0000074a: DUP2
0000074b: SLOAD
0000074c: DUP2
0000074d: LT
0000074e: PUSH2 0x0759
00000751: JUMPI
00000752: PUSH2 0x0759
00000755: PUSH2 0x21be
00000758: JUMP
00000759: JUMPDEST
0000075a: PUSH1 0x00
0000075c: SWAP2
0000075d: DUP3
0000075e: MSTORE
0000075f: PUSH1 0x20
00000761: SWAP2
00000762: DUP3
00000763: SWAP1
00000764: KECCAK256
00000765: PUSH1 0x40
00000767: DUP1
00000768: MLOAD
00000769: PUSH2 0x0140
0000076c: DUP2
0000076d: ADD
0000076e: DUP3
0000076f: MSTORE
00000770: PUSH1 0x0a
00000772: SWAP1
00000773: SWAP4
00000774: MUL
00000775: SWAP1
00000776: SWAP2
00000777: ADD
00000778: DUP1
00000779: SLOAD
0000077a: PUSH1 0x01
0000077c: PUSH1 0x01
0000077e: PUSH1 0xa0
00000780: SHL
00000781: SUB
00000782: SWAP1
00000783: DUP2
00000784: AND
00000785: DUP5
00000786: MSTORE
00000787: PUSH1 0x01
00000789: DUP3
0000078a: ADD
0000078b: SLOAD
0000078c: DUP2
0000078d: AND
0000078e: SWAP5
0000078f: DUP5
00000790: ADD
00000791: SWAP5
00000792: SWAP1
00000793: SWAP5
00000794: MSTORE
00000795: PUSH1 0x02
00000797: DUP2
00000798: ADD
00000799: SLOAD
0000079a: SWAP2
0000079b: DUP4
0000079c: ADD
0000079d: SWAP2
0000079e: SWAP1
0000079f: SWAP2
000007a0: MSTORE
000007a1: PUSH1 0x03
000007a3: DUP2
000007a4: ADD
000007a5: SLOAD
000007a6: PUSH1 0x60
000007a8: DUP4
000007a9: ADD
000007aa: MSTORE
000007ab: PUSH1 0x04
000007ad: DUP2
000007ae: ADD
000007af: SLOAD
000007b0: PUSH1 0x80
000007b2: DUP4
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH1 0x05
000007b7: DUP2
000007b8: ADD
000007b9: SLOAD
000007ba: PUSH1 0xa0
000007bc: DUP4
000007bd: ADD
000007be: MSTORE
000007bf: PUSH1 0x06
000007c1: DUP2
000007c2: ADD
000007c3: SLOAD
000007c4: PUSH1 0xc0
000007c6: DUP4
000007c7: ADD
000007c8: MSTORE
000007c9: PUSH1 0x07
000007cb: DUP2
000007cc: ADD
000007cd: SLOAD
000007ce: PUSH1 0xe0
000007d0: DUP4
000007d1: ADD
000007d2: MSTORE
000007d3: PUSH1 0x08
000007d5: DUP2
000007d6: ADD
000007d7: SLOAD
000007d8: PUSH2 0x0100
000007db: DUP4
000007dc: ADD
000007dd: MSTORE
000007de: PUSH1 0x09
000007e0: ADD
000007e1: SLOAD
000007e2: SWAP1
000007e3: SWAP2
000007e4: AND
000007e5: PUSH2 0x0120
000007e8: DUP3
000007e9: ADD
000007ea: DUP2
000007eb: SWAP1
000007ec: MSTORE
000007ed: SWAP1
000007ee: SWAP2
000007ef: POP
000007f0: CALLER
000007f1: EQ
000007f2: PUSH2 0x0826
000007f5: JUMPI
000007f6: PUSH2 0x0120
000007f9: DUP2
000007fa: ADD
000007fb: MLOAD
000007fc: PUSH1 0x40
000007fe: MLOAD
000007ff: PUSH4 0x15a39f35
00000804: PUSH1 0xe0
00000806: SHL
00000807: DUP2
00000808: MSTORE
00000809: PUSH1 0x01
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: SHL
00000810: SUB
00000811: SWAP1
00000812: SWAP2
00000813: AND
00000814: PUSH1 0x04
00000816: DUP3
00000817: ADD
00000818: MSTORE
00000819: CALLER
0000081a: PUSH1 0x24
0000081c: DUP3
0000081d: ADD
0000081e: MSTORE
0000081f: PUSH1 0x44
00000821: ADD
00000822: PUSH2 0x04b3
00000825: JUMP
00000826: JUMPDEST
00000827: DUP1
00000828: PUSH1 0xa0
0000082a: ADD
0000082b: MLOAD
0000082c: TIMESTAMP
0000082d: LT
0000082e: PUSH2 0x084a
00000831: JUMPI
00000832: PUSH1 0x40
00000834: MLOAD
00000835: PUSH4 0x2e95ae41
0000083a: PUSH1 0xe2
0000083c: SHL
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x04
00000841: ADD
00000842: PUSH1 0x40
00000844: MLOAD
00000845: DUP1
00000846: SWAP2
00000847: SUB
00000848: SWAP1
00000849: REVERT
0000084a: JUMPDEST
0000084b: DUP2
0000084c: DUP2
0000084d: PUSH1 0xe0
0000084f: ADD
00000850: MLOAD
00000851: LT
00000852: PUSH2 0x087e
00000855: JUMPI
00000856: PUSH1 0xe0
00000858: DUP2
00000859: ADD
0000085a: MLOAD
0000085b: PUSH1 0x40
0000085d: MLOAD
0000085e: PUSH4 0xbc4fada1
00000863: PUSH1 0xe0
00000865: SHL
00000866: DUP2
00000867: MSTORE
00000868: PUSH1 0x04
0000086a: DUP2
0000086b: ADD
0000086c: SWAP2
0000086d: SWAP1
0000086e: SWAP2
0000086f: MSTORE
00000870: PUSH1 0x24
00000872: DUP2
00000873: ADD
00000874: DUP4
00000875: SWAP1
00000876: MSTORE
00000877: PUSH1 0x44
00000879: ADD
0000087a: PUSH2 0x04b3
0000087d: JUMP
0000087e: JUMPDEST
0000087f: POP
00000880: PUSH1 0x00
00000882: SWAP2
00000883: DUP3
00000884: MSTORE
00000885: PUSH1 0x6c
00000887: PUSH1 0x20
00000889: MSTORE
0000088a: PUSH1 0x40
0000088c: SWAP1
0000088d: SWAP2
0000088e: KECCAK256
0000088f: SSTORE
00000890: JUMP
00000891: JUMPDEST
00000892: PUSH1 0x02
00000894: PUSH1 0x67
00000896: SLOAD
00000897: SUB
00000898: PUSH2 0x08b3
0000089b: JUMPI
0000089c: PUSH1 0x40
0000089e: MLOAD
0000089f: PUSH3 0x461bcd
000008a3: PUSH1 0xe5
000008a5: SHL
000008a6: DUP2
000008a7: MSTORE
000008a8: PUSH1 0x04
000008aa: ADD
000008ab: PUSH2 0x04b3
000008ae: SWAP1
000008af: PUSH2 0x2249
000008b2: JUMP
000008b3: JUMPDEST
000008b4: PUSH1 0x02
000008b6: PUSH1 0x67
000008b8: SSTORE
000008b9: PUSH1 0x00
000008bb: DUP3
000008bc: SWAP1
000008bd: SUB
000008be: PUSH2 0x08da
000008c1: JUMPI
000008c2: PUSH1 0x40
000008c4: MLOAD
000008c5: PUSH4 0x10eb483f
000008ca: PUSH1 0xe2
000008cc: SHL
000008cd: DUP2
000008ce: MSTORE
000008cf: PUSH1 0x04
000008d1: ADD
000008d2: PUSH1 0x40
000008d4: MLOAD
000008d5: DUP1
000008d6: SWAP2
000008d7: SUB
000008d8: SWAP1
000008d9: REVERT
000008da: JUMPDEST
000008db: PUSH1 0x65
000008dd: SLOAD
000008de: DUP2
000008df: LT
000008e0: PUSH2 0x08ff
000008e3: JUMPI
000008e4: PUSH1 0x40
000008e6: MLOAD
000008e7: PUSH4 0x1e657b1d
000008ec: PUSH1 0xe0
000008ee: SHL
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x04
000008f3: DUP2
000008f4: ADD
000008f5: DUP3
000008f6: SWAP1
000008f7: MSTORE
000008f8: PUSH1 0x24
000008fa: ADD
000008fb: PUSH2 0x04b3
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x00
00000902: PUSH1 0x65
00000904: DUP3
00000905: DUP2
00000906: SLOAD
00000907: DUP2
00000908: LT
00000909: PUSH2 0x0914
0000090c: JUMPI
0000090d: PUSH2 0x0914
00000910: PUSH2 0x21be
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x00
00000917: SWAP2
00000918: DUP3
00000919: MSTORE
0000091a: PUSH1 0x20
0000091c: DUP1
0000091d: DUP4
0000091e: KECCAK256
0000091f: CALLER
00000920: DUP5
00000921: MSTORE
00000922: PUSH1 0x66
00000924: DUP3
00000925: MSTORE
00000926: PUSH1 0x40
00000928: DUP1
00000929: DUP6
0000092a: KECCAK256
0000092b: DUP8
0000092c: DUP7
0000092d: MSTORE
0000092e: SWAP1
0000092f: SWAP3
00000930: MSTORE
00000931: SWAP1
00000932: DUP4
00000933: KECCAK256
00000934: DUP1
00000935: SLOAD
00000936: PUSH1 0x0a
00000938: SWAP1
00000939: SWAP4
0000093a: MUL
0000093b: SWAP1
0000093c: SWAP2
0000093d: ADD
0000093e: SWAP4
0000093f: POP
00000940: SWAP2
00000941: PUSH2 0x094a
00000944: DUP7
00000945: DUP4
00000946: PUSH2 0x21ea
00000949: JUMP
0000094a: JUMPDEST
0000094b: SWAP1
0000094c: POP
0000094d: PUSH2 0x0955
00000950: DUP6
00000951: PUSH2 0x0b15
00000954: JUMP
00000955: JUMPDEST
00000956: PUSH1 0x03
00000958: DUP5
00000959: ADD
0000095a: SLOAD
0000095b: PUSH1 0x06
0000095d: DUP6
0000095e: ADD
0000095f: SLOAD
00000960: CALLER
00000961: PUSH1 0x00
00000963: SWAP1
00000964: DUP2
00000965: MSTORE
00000966: PUSH1 0x6d
00000968: PUSH1 0x20
0000096a: SWAP1
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x40
0000096f: DUP1
00000970: DUP4
00000971: KECCAK256
00000972: DUP11
00000973: DUP5
00000974: MSTORE
00000975: SWAP1
00000976: SWAP2
00000977: MSTORE
00000978: DUP2
00000979: KECCAK256
0000097a: SLOAD
0000097b: PUSH1 0x01
0000097d: DUP8
0000097e: ADD
0000097f: SLOAD
00000980: DUP4
00000981: PUSH2 0x098a
00000984: DUP7
00000985: DUP10
00000986: PUSH2 0x21fd
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH2 0x0994
0000098e: SWAP2
0000098f: SWAP1
00000990: PUSH2 0x2214
00000993: JUMP
00000994: JUMPDEST
00000995: PUSH2 0x099e
00000998: SWAP2
00000999: SWAP1
0000099a: PUSH2 0x21ea
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH2 0x09a8
000009a2: SWAP2
000009a3: SWAP1
000009a4: PUSH2 0x2236
000009a7: JUMP
000009a8: JUMPDEST
000009a9: CALLER
000009aa: PUSH1 0x00
000009ac: SWAP1
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x6d
000009b1: PUSH1 0x20
000009b3: SWAP1
000009b4: DUP2
000009b5: MSTORE
000009b6: PUSH1 0x40
000009b8: DUP1
000009b9: DUP4
000009ba: KECCAK256
000009bb: DUP13
000009bc: DUP5
000009bd: MSTORE
000009be: SWAP1
000009bf: SWAP2
000009c0: MSTORE
000009c1: DUP2
000009c2: KECCAK256
000009c3: DUP2
000009c4: SWAP1
000009c5: SSTORE
000009c6: DUP6
000009c7: DUP9
000009c8: SSTORE
000009c9: PUSH1 0x07
000009cb: DUP10
000009cc: ADD
000009cd: DUP1
000009ce: SLOAD
000009cf: SWAP3
000009d0: SWAP4
000009d1: POP
000009d2: DUP12
000009d3: SWAP3
000009d4: SWAP1
000009d5: SWAP2
000009d6: SWAP1
000009d7: PUSH2 0x09e1
000009da: SWAP1
000009db: DUP5
000009dc: SWAP1
000009dd: PUSH2 0x21ea
000009e0: JUMP
000009e1: JUMPDEST
000009e2: SWAP1
000009e3: SWAP2
000009e4: SSTORE
000009e5: POP
000009e6: DUP3
000009e7: SWAP1
000009e8: POP
000009e9: PUSH2 0x09f2
000009ec: DUP5
000009ed: DUP7
000009ee: PUSH2 0x21fd
000009f1: JUMP
000009f2: JUMPDEST
000009f3: PUSH2 0x09fc
000009f6: SWAP2
000009f7: SWAP1
000009f8: PUSH2 0x2214
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x01
000009ff: DUP8
00000a00: ADD
00000a01: SSTORE
00000a02: PUSH1 0x00
00000a04: DUP2
00000a05: SWAP1
00000a06: SUB
00000a07: PUSH2 0x0a25
00000a0a: JUMPI
00000a0b: DUP7
00000a0c: SLOAD
00000a0d: PUSH2 0x0a20
00000a10: SWAP1
00000a11: PUSH1 0x01
00000a13: PUSH1 0x01
00000a15: PUSH1 0xa0
00000a17: SHL
00000a18: SUB
00000a19: AND
00000a1a: CALLER
00000a1b: DUP12
00000a1c: PUSH2 0x1b9f
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: PUSH2 0x0aca
00000a24: JUMP
00000a25: JUMPDEST
00000a26: DUP7
00000a27: SLOAD
00000a28: PUSH1 0x01
00000a2a: DUP9
00000a2b: ADD
00000a2c: SLOAD
00000a2d: PUSH1 0x01
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: SHL
00000a34: SUB
00000a35: SWAP2
00000a36: DUP3
00000a37: AND
00000a38: SWAP2
00000a39: AND
00000a3a: DUP1
00000a3b: DUP3
00000a3c: SUB
00000a3d: PUSH2 0x0a64
00000a40: JUMPI
00000a41: PUSH2 0x0a5f
00000a44: CALLER
00000a45: PUSH2 0x0a4e
00000a48: DUP6
00000a49: DUP15
00000a4a: PUSH2 0x2236
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH1 0x01
00000a51: PUSH1 0x01
00000a53: PUSH1 0xa0
00000a55: SHL
00000a56: SUB
00000a57: DUP6
00000a58: AND
00000a59: SWAP2
00000a5a: SWAP1
00000a5b: PUSH2 0x1b9f
00000a5e: JUMP
00000a5f: JUMPDEST
00000a60: PUSH2 0x0a8c
00000a63: JUMP
00000a64: JUMPDEST
00000a65: PUSH2 0x0a78
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: DUP3
00000a71: AND
00000a72: CALLER
00000a73: DUP6
00000a74: PUSH2 0x1b9f
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH2 0x0a8c
00000a7c: PUSH1 0x01
00000a7e: PUSH1 0x01
00000a80: PUSH1 0xa0
00000a82: SHL
00000a83: SUB
00000a84: DUP4
00000a85: AND
00000a86: CALLER
00000a87: DUP14
00000a88: PUSH2 0x1b9f
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH1 0x40
00000a8f: DUP1
00000a90: MLOAD
00000a91: DUP5
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: DUP2
00000a97: ADD
00000a98: DUP13
00000a99: SWAP1
00000a9a: MSTORE
00000a9b: CALLER
00000a9c: SWAP2
00000a9d: PUSH32 0x34fcbac0073d7c3d388e51312faf357774904998eeb8fca628b9e6f65ee1cbf7
00000abe: SWAP2
00000abf: ADD
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: DUP1
00000ac4: SWAP2
00000ac5: SUB
00000ac6: SWAP1
00000ac7: LOG2
00000ac8: POP
00000ac9: POP
00000aca: JUMPDEST
00000acb: PUSH1 0x40
00000acd: DUP1
00000ace: MLOAD
00000acf: DUP11
00000ad0: DUP2
00000ad1: MSTORE
00000ad2: PUSH1 0x20
00000ad4: DUP2
00000ad5: ADD
00000ad6: DUP11
00000ad7: SWAP1
00000ad8: MSTORE
00000ad9: CALLER
00000ada: SWAP2
00000adb: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568
00000afc: SWAP2
00000afd: ADD
00000afe: PUSH1 0x40
00000b00: MLOAD
00000b01: DUP1
00000b02: SWAP2
00000b03: SUB
00000b04: SWAP1
00000b05: LOG2
00000b06: POP
00000b07: POP
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x67
00000b0c: SSTORE
00000b0d: POP
00000b0e: POP
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x65
00000b18: SLOAD
00000b19: DUP2
00000b1a: LT
00000b1b: PUSH2 0x0b3a
00000b1e: JUMPI
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH4 0x1e657b1d
00000b27: PUSH1 0xe0
00000b29: SHL
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x04
00000b2e: DUP2
00000b2f: ADD
00000b30: DUP3
00000b31: SWAP1
00000b32: MSTORE
00000b33: PUSH1 0x24
00000b35: ADD
00000b36: PUSH2 0x04b3
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH1 0x00
00000b3d: PUSH1 0x65
00000b3f: DUP3
00000b40: DUP2
00000b41: SLOAD
00000b42: DUP2
00000b43: LT
00000b44: PUSH2 0x0b4f
00000b47: JUMPI
00000b48: PUSH2 0x0b4f
00000b4b: PUSH2 0x21be
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: SWAP1
00000b51: PUSH1 0x00
00000b53: MSTORE
00000b54: PUSH1 0x20
00000b56: PUSH1 0x00
00000b58: KECCAK256
00000b59: SWAP1
00000b5a: PUSH1 0x0a
00000b5c: MUL
00000b5d: ADD
00000b5e: SWAP1
00000b5f: POP
00000b60: PUSH1 0x00
00000b62: DUP2
00000b63: PUSH1 0x02
00000b65: ADD
00000b66: SLOAD
00000b67: SWAP1
00000b68: POP
00000b69: DUP1
00000b6a: TIMESTAMP
00000b6b: GT
00000b6c: PUSH2 0x0b74
00000b6f: JUMPI
00000b70: POP
00000b71: POP
00000b72: POP
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH1 0x07
00000b77: DUP3
00000b78: ADD
00000b79: SLOAD
00000b7a: PUSH1 0x04
00000b7c: DUP4
00000b7d: ADD
00000b7e: SLOAD
00000b7f: DUP2
00000b80: ISZERO
00000b81: DUP1
00000b82: PUSH2 0x0b8a
00000b85: JUMPI
00000b86: POP
00000b87: TIMESTAMP
00000b88: DUP2
00000b89: GT
00000b8a: JUMPDEST
00000b8b: ISZERO
00000b8c: PUSH2 0x0b9f
00000b8f: JUMPI
00000b90: TIMESTAMP
00000b91: DUP5
00000b92: PUSH1 0x02
00000b94: ADD
00000b95: DUP2
00000b96: SWAP1
00000b97: SSTORE
00000b98: POP
00000b99: POP
00000b9a: POP
00000b9b: POP
00000b9c: POP
00000b9d: POP
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: PUSH1 0x05
00000ba2: DUP5
00000ba3: ADD
00000ba4: SLOAD
00000ba5: DUP1
00000ba6: DUP5
00000ba7: GT
00000ba8: ISZERO
00000ba9: PUSH2 0x0bb4
00000bac: JUMPI
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x00
00000bb7: PUSH2 0x0bc0
00000bba: DUP4
00000bbb: DUP4
00000bbc: PUSH2 0x21ea
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: DUP7
00000bc2: PUSH1 0x08
00000bc4: ADD
00000bc5: SLOAD
00000bc6: PUSH2 0x0bcf
00000bc9: DUP6
00000bca: DUP9
00000bcb: PUSH2 0x1c07
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH2 0x0bd9
00000bd3: TIMESTAMP
00000bd4: DUP7
00000bd5: PUSH2 0x1c1f
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH2 0x0be3
00000bdd: SWAP2
00000bde: SWAP1
00000bdf: PUSH2 0x21ea
00000be2: JUMP
00000be3: JUMPDEST
00000be4: PUSH2 0x0bed
00000be7: SWAP2
00000be8: SWAP1
00000be9: PUSH2 0x21fd
00000bec: JUMP
00000bed: JUMPDEST
00000bee: PUSH2 0x0bf7
00000bf1: SWAP2
00000bf2: SWAP1
00000bf3: PUSH2 0x2214
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: SWAP1
00000bf9: POP
00000bfa: DUP4
00000bfb: DUP7
00000bfc: PUSH1 0x06
00000bfe: ADD
00000bff: SLOAD
00000c00: DUP3
00000c01: PUSH2 0x0c0a
00000c04: SWAP2
00000c05: SWAP1
00000c06: PUSH2 0x21fd
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: PUSH2 0x0c14
00000c0e: SWAP2
00000c0f: SWAP1
00000c10: PUSH2 0x2214
00000c13: JUMP
00000c14: JUMPDEST
00000c15: DUP7
00000c16: PUSH1 0x03
00000c18: ADD
00000c19: SLOAD
00000c1a: PUSH2 0x0c23
00000c1d: SWAP2
00000c1e: SWAP1
00000c1f: PUSH2 0x2236
00000c22: JUMP
00000c23: JUMPDEST
00000c24: PUSH1 0x03
00000c26: DUP8
00000c27: ADD
00000c28: SSTORE
00000c29: POP
00000c2a: POP
00000c2b: TIMESTAMP
00000c2c: PUSH1 0x02
00000c2e: SWAP1
00000c2f: SWAP5
00000c30: ADD
00000c31: SWAP4
00000c32: SWAP1
00000c33: SWAP4
00000c34: SSTORE
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: POP
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x02
00000c3d: PUSH1 0x67
00000c3f: SLOAD
00000c40: SUB
00000c41: PUSH2 0x0c5c
00000c44: JUMPI
00000c45: PUSH1 0x40
00000c47: MLOAD
00000c48: PUSH3 0x461bcd
00000c4c: PUSH1 0xe5
00000c4e: SHL
00000c4f: DUP2
00000c50: MSTORE
00000c51: PUSH1 0x04
00000c53: ADD
00000c54: PUSH2 0x04b3
00000c57: SWAP1
00000c58: PUSH2 0x2249
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x02
00000c5f: PUSH1 0x67
00000c61: SSTORE
00000c62: PUSH1 0x65
00000c64: SLOAD
00000c65: DUP2
00000c66: LT
00000c67: PUSH2 0x0c86
00000c6a: JUMPI
00000c6b: PUSH1 0x40
00000c6d: MLOAD
00000c6e: PUSH4 0x1e657b1d
00000c73: PUSH1 0xe0
00000c75: SHL
00000c76: DUP2
00000c77: MSTORE
00000c78: PUSH1 0x04
00000c7a: DUP2
00000c7b: ADD
00000c7c: DUP3
00000c7d: SWAP1
00000c7e: MSTORE
00000c7f: PUSH1 0x24
00000c81: ADD
00000c82: PUSH2 0x04b3
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x00
00000c89: PUSH1 0x65
00000c8b: DUP3
00000c8c: DUP2
00000c8d: SLOAD
00000c8e: DUP2
00000c8f: LT
00000c90: PUSH2 0x0c9b
00000c93: JUMPI
00000c94: PUSH2 0x0c9b
00000c97: PUSH2 0x21be
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH1 0x00
00000c9e: SWAP2
00000c9f: DUP3
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: DUP1
00000ca4: DUP4
00000ca5: KECCAK256
00000ca6: CALLER
00000ca7: DUP5
00000ca8: MSTORE
00000ca9: PUSH1 0x66
00000cab: DUP3
00000cac: MSTORE
00000cad: PUSH1 0x40
00000caf: DUP1
00000cb0: DUP6
00000cb1: KECCAK256
00000cb2: DUP8
00000cb3: DUP7
00000cb4: MSTORE
00000cb5: SWAP1
00000cb6: SWAP3
00000cb7: MSTORE
00000cb8: SWAP1
00000cb9: DUP4
00000cba: KECCAK256
00000cbb: DUP1
00000cbc: SLOAD
00000cbd: PUSH1 0x0a
00000cbf: SWAP1
00000cc0: SWAP4
00000cc1: MUL
00000cc2: SWAP1
00000cc3: SWAP2
00000cc4: ADD
00000cc5: SWAP4
00000cc6: POP
00000cc7: SWAP2
00000cc8: DUP2
00000cc9: SWAP1
00000cca: SUB
00000ccb: PUSH2 0x0ce7
00000cce: JUMPI
00000ccf: PUSH1 0x40
00000cd1: MLOAD
00000cd2: PUSH4 0x10eb483f
00000cd7: PUSH1 0xe2
00000cd9: SHL
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x04
00000cde: ADD
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: DUP1
00000ce3: SWAP2
00000ce4: SUB
00000ce5: SWAP1
00000ce6: REVERT
00000ce7: JUMPDEST
00000ce8: DUP2
00000ce9: SLOAD
00000cea: PUSH1 0x07
00000cec: DUP5
00000ced: ADD
00000cee: DUP1
00000cef: SLOAD
00000cf0: PUSH1 0x00
00000cf2: SWAP1
00000cf3: PUSH2 0x0cfd
00000cf6: SWAP1
00000cf7: DUP5
00000cf8: SWAP1
00000cf9: PUSH2 0x21ea
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: SWAP1
00000cff: SWAP2
00000d00: SSTORE
00000d01: POP
00000d02: POP
00000d03: PUSH1 0x00
00000d05: DUP1
00000d06: DUP4
00000d07: SSTORE
00000d08: PUSH1 0x01
00000d0a: DUP4
00000d0b: ADD
00000d0c: DUP2
00000d0d: SWAP1
00000d0e: SSTORE
00000d0f: CALLER
00000d10: DUP1
00000d11: DUP3
00000d12: MSTORE
00000d13: PUSH1 0x6d
00000d15: PUSH1 0x20
00000d17: SWAP1
00000d18: DUP2
00000d19: MSTORE
00000d1a: PUSH1 0x40
00000d1c: DUP1
00000d1d: DUP5
00000d1e: KECCAK256
00000d1f: DUP9
00000d20: DUP6
00000d21: MSTORE
00000d22: SWAP1
00000d23: SWAP2
00000d24: MSTORE
00000d25: DUP3
00000d26: KECCAK256
00000d27: SWAP2
00000d28: SWAP1
00000d29: SWAP2
00000d2a: SSTORE
00000d2b: DUP4
00000d2c: SLOAD
00000d2d: PUSH2 0x0d42
00000d30: SWAP2
00000d31: PUSH1 0x01
00000d33: PUSH1 0x01
00000d35: PUSH1 0xa0
00000d37: SHL
00000d38: SUB
00000d39: SWAP1
00000d3a: SWAP2
00000d3b: AND
00000d3c: SWAP1
00000d3d: DUP4
00000d3e: PUSH2 0x1b9f
00000d41: JUMP
00000d42: JUMPDEST
00000d43: PUSH1 0x40
00000d45: MLOAD
00000d46: DUP2
00000d47: DUP2
00000d48: MSTORE
00000d49: CALLER
00000d4a: SWAP1
00000d4b: PUSH32 0x5fafa99d0643513820be26656b45130b01e1c03062e1266bf36f88cbd3bd9695
00000d6c: SWAP1
00000d6d: PUSH1 0x20
00000d6f: ADD
00000d70: PUSH1 0x40
00000d72: MLOAD
00000d73: DUP1
00000d74: SWAP2
00000d75: SUB
00000d76: SWAP1
00000d77: LOG2
00000d78: POP
00000d79: POP
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0x67
00000d7e: SSTORE
00000d7f: POP
00000d80: POP
00000d81: JUMP
00000d82: JUMPDEST
00000d83: PUSH1 0x60
00000d85: PUSH1 0x65
00000d87: DUP1
00000d88: SLOAD
00000d89: DUP1
00000d8a: PUSH1 0x20
00000d8c: MUL
00000d8d: PUSH1 0x20
00000d8f: ADD
00000d90: PUSH1 0x40
00000d92: MLOAD
00000d93: SWAP1
00000d94: DUP2
00000d95: ADD
00000d96: PUSH1 0x40
00000d98: MSTORE
00000d99: DUP1
00000d9a: SWAP3
00000d9b: SWAP2
00000d9c: SWAP1
00000d9d: DUP2
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: PUSH1 0x00
00000da5: SWAP1
00000da6: JUMPDEST
00000da7: DUP3
00000da8: DUP3
00000da9: LT
00000daa: ISZERO
00000dab: PUSH2 0x0e49
00000dae: JUMPI
00000daf: PUSH1 0x00
00000db1: DUP5
00000db2: DUP2
00000db3: MSTORE
00000db4: PUSH1 0x20
00000db6: SWAP1
00000db7: DUP2
00000db8: SWAP1
00000db9: KECCAK256
00000dba: PUSH1 0x40
00000dbc: DUP1
00000dbd: MLOAD
00000dbe: PUSH2 0x0140
00000dc1: DUP2
00000dc2: ADD
00000dc3: DUP3
00000dc4: MSTORE
00000dc5: PUSH1 0x0a
00000dc7: DUP7
00000dc8: MUL
00000dc9: SWAP1
00000dca: SWAP3
00000dcb: ADD
00000dcc: DUP1
00000dcd: SLOAD
00000dce: PUSH1 0x01
00000dd0: PUSH1 0x01
00000dd2: PUSH1 0xa0
00000dd4: SHL
00000dd5: SUB
00000dd6: SWAP1
00000dd7: DUP2
00000dd8: AND
00000dd9: DUP5
00000dda: MSTORE
00000ddb: PUSH1 0x01
00000ddd: DUP1
00000dde: DUP4
00000ddf: ADD
00000de0: SLOAD
00000de1: DUP3
00000de2: AND
00000de3: DUP6
00000de4: DUP8
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH1 0x02
00000de9: DUP4
00000dea: ADD
00000deb: SLOAD
00000dec: SWAP4
00000ded: DUP6
00000dee: ADD
00000def: SWAP4
00000df0: SWAP1
00000df1: SWAP4
00000df2: MSTORE
00000df3: PUSH1 0x03
00000df5: DUP3
00000df6: ADD
00000df7: SLOAD
00000df8: PUSH1 0x60
00000dfa: DUP6
00000dfb: ADD
00000dfc: MSTORE
00000dfd: PUSH1 0x04
00000dff: DUP3
00000e00: ADD
00000e01: SLOAD
00000e02: PUSH1 0x80
00000e04: DUP6
00000e05: ADD
00000e06: MSTORE
00000e07: PUSH1 0x05
00000e09: DUP3
00000e0a: ADD
00000e0b: SLOAD
00000e0c: PUSH1 0xa0
00000e0e: DUP6
00000e0f: ADD
00000e10: MSTORE
00000e11: PUSH1 0x06
00000e13: DUP3
00000e14: ADD
00000e15: SLOAD
00000e16: PUSH1 0xc0
00000e18: DUP6
00000e19: ADD
00000e1a: MSTORE
00000e1b: PUSH1 0x07
00000e1d: DUP3
00000e1e: ADD
00000e1f: SLOAD
00000e20: PUSH1 0xe0
00000e22: DUP6
00000e23: ADD
00000e24: MSTORE
00000e25: PUSH1 0x08
00000e27: DUP3
00000e28: ADD
00000e29: SLOAD
00000e2a: PUSH2 0x0100
00000e2d: DUP6
00000e2e: ADD
00000e2f: MSTORE
00000e30: PUSH1 0x09
00000e32: SWAP1
00000e33: SWAP2
00000e34: ADD
00000e35: SLOAD
00000e36: AND
00000e37: PUSH2 0x0120
00000e3a: DUP4
00000e3b: ADD
00000e3c: MSTORE
00000e3d: SWAP1
00000e3e: DUP4
00000e3f: MSTORE
00000e40: SWAP1
00000e41: SWAP3
00000e42: ADD
00000e43: SWAP2
00000e44: ADD
00000e45: PUSH2 0x0da6
00000e48: JUMP
00000e49: JUMPDEST
00000e4a: POP
00000e4b: POP
00000e4c: POP
00000e4d: POP
00000e4e: SWAP1
00000e4f: POP
00000e50: SWAP1
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH1 0x33
00000e55: SLOAD
00000e56: PUSH1 0x01
00000e58: PUSH1 0x01
00000e5a: PUSH1 0xa0
00000e5c: SHL
00000e5d: SUB
00000e5e: AND
00000e5f: CALLER
00000e60: EQ
00000e61: PUSH2 0x0e7c
00000e64: JUMPI
00000e65: PUSH1 0x40
00000e67: MLOAD
00000e68: PUSH3 0x461bcd
00000e6c: PUSH1 0xe5
00000e6e: SHL
00000e6f: DUP2
00000e70: MSTORE
00000e71: PUSH1 0x04
00000e73: ADD
00000e74: PUSH2 0x04b3
00000e77: SWAP1
00000e78: PUSH2 0x2280
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH2 0x0e86
00000e80: PUSH1 0x00
00000e82: PUSH2 0x1c2e
00000e85: JUMP
00000e86: JUMPDEST
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x40
00000e8b: DUP1
00000e8c: MLOAD
00000e8d: DUP1
00000e8e: DUP3
00000e8f: ADD
00000e90: DUP3
00000e91: MSTORE
00000e92: PUSH1 0x00
00000e94: DUP1
00000e95: DUP3
00000e96: MSTORE
00000e97: PUSH1 0x20
00000e99: SWAP2
00000e9a: DUP3
00000e9b: ADD
00000e9c: DUP2
00000e9d: SWAP1
00000e9e: MSTORE
00000e9f: PUSH1 0x01
00000ea1: PUSH1 0x01
00000ea3: PUSH1 0xa0
00000ea5: SHL
00000ea6: SUB
00000ea7: DUP6
00000ea8: AND
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x66
00000ead: DUP3
00000eae: MSTORE
00000eaf: DUP3
00000eb0: DUP2
00000eb1: KECCAK256
00000eb2: DUP5
00000eb3: DUP3
00000eb4: MSTORE
00000eb5: DUP3
00000eb6: MSTORE
00000eb7: DUP3
00000eb8: SWAP1
00000eb9: KECCAK256
00000eba: DUP3
00000ebb: MLOAD
00000ebc: DUP1
00000ebd: DUP5
00000ebe: ADD
00000ebf: SWAP1
00000ec0: SWAP4
00000ec1: MSTORE
00000ec2: DUP1
00000ec3: SLOAD
00000ec4: DUP4
00000ec5: MSTORE
00000ec6: PUSH1 0x01
00000ec8: ADD
00000ec9: SLOAD
00000eca: SWAP1
00000ecb: DUP3
00000ecc: ADD
00000ecd: MSTORE
00000ece: JUMPDEST
00000ecf: SWAP3
00000ed0: SWAP2
00000ed1: POP
00000ed2: POP
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH1 0x02
00000ed7: PUSH1 0x67
00000ed9: SLOAD
00000eda: SUB
00000edb: PUSH2 0x0ef6
00000ede: JUMPI
00000edf: PUSH1 0x40
00000ee1: MLOAD
00000ee2: PUSH3 0x461bcd
00000ee6: PUSH1 0xe5
00000ee8: SHL
00000ee9: DUP2
00000eea: MSTORE
00000eeb: PUSH1 0x04
00000eed: ADD
00000eee: PUSH2 0x04b3
00000ef1: SWAP1
00000ef2: PUSH2 0x2249
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x02
00000ef9: PUSH1 0x67
00000efb: SSTORE
00000efc: PUSH2 0x0f04
00000eff: DUP2
00000f00: PUSH2 0x0b15
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x00
00000f07: PUSH1 0x65
00000f09: DUP3
00000f0a: DUP2
00000f0b: SLOAD
00000f0c: DUP2
00000f0d: LT
00000f0e: PUSH2 0x0f19
00000f11: JUMPI
00000f12: PUSH2 0x0f19
00000f15: PUSH2 0x21be
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: PUSH1 0x00
00000f1c: SWAP2
00000f1d: DUP3
00000f1e: MSTORE
00000f1f: PUSH1 0x20
00000f21: SWAP1
00000f22: SWAP2
00000f23: KECCAK256
00000f24: PUSH1 0x0a
00000f26: SWAP1
00000f27: SWAP2
00000f28: MUL
00000f29: ADD
00000f2a: PUSH1 0x09
00000f2c: DUP2
00000f2d: ADD
00000f2e: SLOAD
00000f2f: SWAP1
00000f30: SWAP2
00000f31: POP
00000f32: PUSH1 0x01
00000f34: PUSH1 0x01
00000f36: PUSH1 0xa0
00000f38: SHL
00000f39: SUB
00000f3a: AND
00000f3b: CALLER
00000f3c: DUP2
00000f3d: EQ
00000f3e: PUSH2 0x0f6b
00000f41: JUMPI
00000f42: PUSH1 0x40
00000f44: MLOAD
00000f45: PUSH4 0x15a39f35
00000f4a: PUSH1 0xe0
00000f4c: SHL
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: PUSH1 0x01
00000f51: PUSH1 0x01
00000f53: PUSH1 0xa0
00000f55: SHL
00000f56: SUB
00000f57: DUP3
00000f58: AND
00000f59: PUSH1 0x04
00000f5b: DUP3
00000f5c: ADD
00000f5d: MSTORE
00000f5e: CALLER
00000f5f: PUSH1 0x24
00000f61: DUP3
00000f62: ADD
00000f63: MSTORE
00000f64: PUSH1 0x44
00000f66: ADD
00000f67: PUSH2 0x04b3
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH1 0x05
00000f6e: DUP3
00000f6f: ADD
00000f70: SLOAD
00000f71: TIMESTAMP
00000f72: DUP2
00000f73: GT
00000f74: PUSH2 0x0f90
00000f77: JUMPI
00000f78: PUSH1 0x40
00000f7a: MLOAD
00000f7b: PUSH4 0x2e95ae41
00000f80: PUSH1 0xe2
00000f82: SHL
00000f83: DUP2
00000f84: MSTORE
00000f85: PUSH1 0x04
00000f87: ADD
00000f88: PUSH1 0x40
00000f8a: MLOAD
00000f8b: DUP1
00000f8c: SWAP2
00000f8d: SUB
00000f8e: SWAP1
00000f8f: REVERT
00000f90: JUMPDEST
00000f91: PUSH1 0x04
00000f93: DUP4
00000f94: ADD
00000f95: SLOAD
00000f96: TIMESTAMP
00000f97: DUP2
00000f98: LT
00000f99: DUP1
00000f9a: ISZERO
00000f9b: PUSH2 0x0fae
00000f9e: JUMPI
00000f9f: POP
00000fa0: PUSH2 0x0e10
00000fa3: PUSH2 0x0fac
00000fa6: DUP3
00000fa7: DUP5
00000fa8: PUSH2 0x21ea
00000fab: JUMP
00000fac: JUMPDEST
00000fad: LT
00000fae: JUMPDEST
00000faf: ISZERO
00000fb0: PUSH2 0x0fcc
00000fb3: JUMPI
00000fb4: PUSH1 0x40
00000fb6: MLOAD
00000fb7: PUSH4 0x165de065
00000fbc: PUSH1 0xe3
00000fbe: SHL
00000fbf: DUP2
00000fc0: MSTORE
00000fc1: PUSH1 0x04
00000fc3: ADD
00000fc4: PUSH1 0x40
00000fc6: MLOAD
00000fc7: DUP1
00000fc8: SWAP2
00000fc9: SUB
00000fca: SWAP1
00000fcb: REVERT
00000fcc: JUMPDEST
00000fcd: TIMESTAMP
00000fce: PUSH1 0x05
00000fd0: DUP6
00000fd1: ADD
00000fd2: SSTORE
00000fd3: PUSH2 0x1022
00000fd6: DUP4
00000fd7: PUSH2 0x0fe0
00000fda: DUP4
00000fdb: DUP6
00000fdc: PUSH2 0x21ea
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: DUP7
00000fe2: PUSH1 0x08
00000fe4: ADD
00000fe5: SLOAD
00000fe6: PUSH2 0x0fef
00000fe9: TIMESTAMP
00000fea: DUP7
00000feb: PUSH2 0x1c07
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: PUSH2 0x0ff9
00000ff3: SWAP1
00000ff4: DUP8
00000ff5: PUSH2 0x21ea
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: PUSH2 0x1003
00000ffd: SWAP2
00000ffe: SWAP1
00000fff: PUSH2 0x21fd
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH2 0x100d
00001007: SWAP2
00001008: SWAP1
00001009: PUSH2 0x2214
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH1 0x01
00001010: DUP8
00001011: ADD
00001012: SLOAD
00001013: PUSH1 0x01
00001015: PUSH1 0x01
00001017: PUSH1 0xa0
00001019: SHL
0000101a: SUB
0000101b: AND
0000101c: SWAP2
0000101d: SWAP1
0000101e: PUSH2 0x1b9f
00001021: JUMP
00001022: JUMPDEST
00001023: PUSH1 0x40
00001025: MLOAD
00001026: DUP6
00001027: DUP2
00001028: MSTORE
00001029: PUSH32 0xc2c6bc4b1942f09f130e276e73f6b1242d5ee60f65446bdc726ae019e13a4821
0000104a: SWAP1
0000104b: PUSH1 0x20
0000104d: ADD
0000104e: PUSH1 0x40
00001050: MLOAD
00001051: DUP1
00001052: SWAP2
00001053: SUB
00001054: SWAP1
00001055: LOG1
00001056: POP
00001057: POP
00001058: PUSH1 0x01
0000105a: PUSH1 0x67
0000105c: SSTORE
0000105d: POP
0000105e: POP
0000105f: POP
00001060: JUMP
00001061: JUMPDEST
00001062: PUSH1 0x00
00001064: PUSH2 0x106d
00001067: PUSH1 0x01
00001069: PUSH2 0x1c80
0000106c: JUMP
0000106d: JUMPDEST
0000106e: SWAP1
0000106f: POP
00001070: DUP1
00001071: ISZERO
00001072: PUSH2 0x1085
00001075: JUMPI
00001076: PUSH1 0x00
00001078: DUP1
00001079: SLOAD
0000107a: PUSH2 0xff00
0000107d: NOT
0000107e: AND
0000107f: PUSH2 0x0100
00001082: OR
00001083: SWAP1
00001084: SSTORE
00001085: JUMPDEST
00001086: PUSH2 0x108d
00001089: PUSH2 0x1d0d
0000108c: JUMP
0000108d: JUMPDEST
0000108e: PUSH1 0x01
00001090: PUSH1 0x67
00001092: SSTORE
00001093: PUSH1 0x02
00001095: PUSH1 0x68
00001097: SSTORE
00001098: DUP1
00001099: ISZERO
0000109a: PUSH2 0x10dd
0000109d: JUMPI
0000109e: PUSH1 0x00
000010a0: DUP1
000010a1: SLOAD
000010a2: PUSH2 0xff00
000010a5: NOT
000010a6: AND
000010a7: SWAP1
000010a8: SSTORE
000010a9: PUSH1 0x40
000010ab: MLOAD
000010ac: PUSH1 0x01
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
000010d1: SWAP1
000010d2: PUSH1 0x20
000010d4: ADD
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: DUP1
000010d9: SWAP2
000010da: SUB
000010db: SWAP1
000010dc: LOG1
000010dd: JUMPDEST
000010de: POP
000010df: JUMP
000010e0: JUMPDEST
000010e1: PUSH1 0x33
000010e3: SLOAD
000010e4: PUSH1 0x01
000010e6: PUSH1 0x01
000010e8: PUSH1 0xa0
000010ea: SHL
000010eb: SUB
000010ec: AND
000010ed: CALLER
000010ee: EQ
000010ef: PUSH2 0x110a
000010f2: JUMPI
000010f3: PUSH1 0x40
000010f5: MLOAD
000010f6: PUSH3 0x461bcd
000010fa: PUSH1 0xe5
000010fc: SHL
000010fd: DUP2
000010fe: MSTORE
000010ff: PUSH1 0x04
00001101: ADD
00001102: PUSH2 0x04b3
00001105: SWAP1
00001106: PUSH2 0x2280
00001109: JUMP
0000110a: JUMPDEST
0000110b: PUSH1 0x68
0000110d: SSTORE
0000110e: JUMP
0000110f: JUMPDEST
00001110: PUSH1 0x02
00001112: PUSH1 0x67
00001114: SLOAD
00001115: SUB
00001116: PUSH2 0x1131
00001119: JUMPI
0000111a: PUSH1 0x40
0000111c: MLOAD
0000111d: PUSH3 0x461bcd
00001121: PUSH1 0xe5
00001123: SHL
00001124: DUP2
00001125: MSTORE
00001126: PUSH1 0x04
00001128: ADD
00001129: PUSH2 0x04b3
0000112c: SWAP1
0000112d: PUSH2 0x2249
00001130: JUMP
00001131: JUMPDEST
00001132: PUSH1 0x02
00001134: PUSH1 0x67
00001136: SSTORE
00001137: PUSH1 0x65
00001139: SLOAD
0000113a: DUP2
0000113b: LT
0000113c: PUSH2 0x115b
0000113f: JUMPI
00001140: PUSH1 0x40
00001142: MLOAD
00001143: PUSH4 0x1e657b1d
00001148: PUSH1 0xe0
0000114a: SHL
0000114b: DUP2
0000114c: MSTORE
0000114d: PUSH1 0x04
0000114f: DUP2
00001150: ADD
00001151: DUP3
00001152: SWAP1
00001153: MSTORE
00001154: PUSH1 0x24
00001156: ADD
00001157: PUSH2 0x04b3
0000115a: JUMP
0000115b: JUMPDEST
0000115c: PUSH1 0x00
0000115e: PUSH1 0x65
00001160: DUP3
00001161: DUP2
00001162: SLOAD
00001163: DUP2
00001164: LT
00001165: PUSH2 0x1170
00001168: JUMPI
00001169: PUSH2 0x1170
0000116c: PUSH2 0x21be
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH1 0x00
00001173: SWAP2
00001174: DUP3
00001175: MSTORE
00001176: PUSH1 0x20
00001178: DUP1
00001179: DUP4
0000117a: KECCAK256
0000117b: CALLER
0000117c: DUP5
0000117d: MSTORE
0000117e: PUSH1 0x66
00001180: DUP3
00001181: MSTORE
00001182: PUSH1 0x40
00001184: DUP1
00001185: DUP6
00001186: KECCAK256
00001187: DUP8
00001188: DUP7
00001189: MSTORE
0000118a: SWAP1
0000118b: SWAP3
0000118c: MSTORE
0000118d: SWAP3
0000118e: KECCAK256
0000118f: PUSH1 0x0a
00001191: SWAP1
00001192: SWAP2
00001193: MUL
00001194: SWAP1
00001195: SWAP2
00001196: ADD
00001197: SWAP2
00001198: POP
00001199: PUSH2 0x11a1
0000119c: DUP4
0000119d: PUSH2 0x0b15
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x03
000011a4: DUP3
000011a5: ADD
000011a6: SLOAD
000011a7: CALLER
000011a8: PUSH1 0x00
000011aa: SWAP1
000011ab: DUP2
000011ac: MSTORE
000011ad: PUSH1 0x6d
000011af: PUSH1 0x20
000011b1: SWAP1
000011b2: DUP2
000011b3: MSTORE
000011b4: PUSH1 0x40
000011b6: DUP1
000011b7: DUP4
000011b8: KECCAK256
000011b9: DUP8
000011ba: DUP5
000011bb: MSTORE
000011bc: SWAP1
000011bd: SWAP2
000011be: MSTORE
000011bf: DUP2
000011c0: KECCAK256
000011c1: SLOAD
000011c2: PUSH1 0x01
000011c4: DUP5
000011c5: ADD
000011c6: SLOAD
000011c7: PUSH1 0x06
000011c9: DUP7
000011ca: ADD
000011cb: SLOAD
000011cc: DUP6
000011cd: SLOAD
000011ce: PUSH2 0x11d8
000011d1: SWAP1
000011d2: DUP7
000011d3: SWAP1
000011d4: PUSH2 0x21fd
000011d7: JUMP
000011d8: JUMPDEST
000011d9: PUSH2 0x11e2
000011dc: SWAP2
000011dd: SWAP1
000011de: PUSH2 0x2214
000011e1: JUMP
000011e2: JUMPDEST
000011e3: PUSH2 0x11ec
000011e6: SWAP2
000011e7: SWAP1
000011e8: PUSH2 0x21ea
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH2 0x11f6
000011f0: SWAP2
000011f1: SWAP1
000011f2: PUSH2 0x2236
000011f5: JUMP
000011f6: JUMPDEST
000011f7: SWAP1
000011f8: POP
000011f9: DUP4
000011fa: PUSH1 0x06
000011fc: ADD
000011fd: SLOAD
000011fe: DUP3
000011ff: DUP5
00001200: PUSH1 0x00
00001202: ADD
00001203: SLOAD
00001204: PUSH2 0x120d
00001207: SWAP2
00001208: SWAP1
00001209: PUSH2 0x21fd
0000120c: JUMP
0000120d: JUMPDEST
0000120e: PUSH2 0x1217
00001211: SWAP2
00001212: SWAP1
00001213: PUSH2 0x2214
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH1 0x01
0000121a: DUP5
0000121b: ADD
0000121c: SSTORE
0000121d: CALLER
0000121e: PUSH1 0x00
00001220: SWAP1
00001221: DUP2
00001222: MSTORE
00001223: PUSH1 0x6d
00001225: PUSH1 0x20
00001227: SWAP1
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x40
0000122c: DUP1
0000122d: DUP4
0000122e: KECCAK256
0000122f: DUP9
00001230: DUP5
00001231: MSTORE
00001232: SWAP1
00001233: SWAP2
00001234: MSTORE
00001235: DUP2
00001236: KECCAK256
00001237: SSTORE
00001238: DUP1
00001239: ISZERO
0000123a: PUSH2 0x1293
0000123d: JUMPI
0000123e: PUSH1 0x01
00001240: DUP5
00001241: ADD
00001242: SLOAD
00001243: PUSH2 0x1256
00001246: SWAP1
00001247: PUSH1 0x01
00001249: PUSH1 0x01
0000124b: PUSH1 0xa0
0000124d: SHL
0000124e: SUB
0000124f: AND
00001250: CALLER
00001251: DUP4
00001252: PUSH2 0x1b9f
00001255: JUMP
00001256: JUMPDEST
00001257: PUSH1 0x40
00001259: DUP1
0000125a: MLOAD
0000125b: DUP3
0000125c: DUP2
0000125d: MSTORE
0000125e: PUSH1 0x20
00001260: DUP2
00001261: ADD
00001262: DUP8
00001263: SWAP1
00001264: MSTORE
00001265: CALLER
00001266: SWAP2
00001267: PUSH32 0x34fcbac0073d7c3d388e51312faf357774904998eeb8fca628b9e6f65ee1cbf7
00001288: SWAP2
00001289: ADD
0000128a: JUMPDEST
0000128b: PUSH1 0x40
0000128d: MLOAD
0000128e: DUP1
0000128f: SWAP2
00001290: SUB
00001291: SWAP1
00001292: LOG2
00001293: JUMPDEST
00001294: POP
00001295: POP
00001296: PUSH1 0x01
00001298: PUSH1 0x67
0000129a: SSTORE
0000129b: POP
0000129c: POP
0000129d: POP
0000129e: JUMP
0000129f: JUMPDEST
000012a0: PUSH1 0x69
000012a2: SLOAD
000012a3: PUSH1 0xff
000012a5: AND
000012a6: ISZERO
000012a7: PUSH2 0x12e9
000012aa: JUMPI
000012ab: PUSH1 0x40
000012ad: MLOAD
000012ae: PUSH3 0x461bcd
000012b2: PUSH1 0xe5
000012b4: SHL
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x20
000012b9: PUSH1 0x04
000012bb: DUP3
000012bc: ADD
000012bd: MSTORE
000012be: PUSH1 0x14
000012c0: PUSH1 0x24
000012c2: DUP3
000012c3: ADD
000012c4: MSTORE
000012c5: PUSH20 0x20b63932b0b23c9024b73a34b0b634bd32b22b19
000012da: PUSH1 0x61
000012dc: SHL
000012dd: PUSH1 0x44
000012df: DUP3
000012e0: ADD
000012e1: MSTORE
000012e2: PUSH1 0x64
000012e4: ADD
000012e5: PUSH2 0x04b3
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x69
000012ec: DUP1
000012ed: SLOAD
000012ee: PUSH1 0xff
000012f0: NOT
000012f1: AND
000012f2: PUSH1 0x01
000012f4: SWAP1
000012f5: DUP2
000012f6: OR
000012f7: SWAP1
000012f8: SWAP2
000012f9: SSTORE
000012fa: PUSH1 0x02
000012fc: PUSH1 0x68
000012fe: SSTORE
000012ff: PUSH1 0x67
00001301: SSTORE
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x02
00001306: PUSH1 0x67
00001308: SLOAD
00001309: SUB
0000130a: PUSH2 0x1325
0000130d: JUMPI
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: PUSH3 0x461bcd
00001315: PUSH1 0xe5
00001317: SHL
00001318: DUP2
00001319: MSTORE
0000131a: PUSH1 0x04
0000131c: ADD
0000131d: PUSH2 0x04b3
00001320: SWAP1
00001321: PUSH2 0x2249
00001324: JUMP
00001325: JUMPDEST
00001326: PUSH1 0x02
00001328: PUSH1 0x67
0000132a: SSTORE
0000132b: PUSH1 0x00
0000132d: DUP3
0000132e: SWAP1
0000132f: SUB
00001330: PUSH2 0x134c
00001333: JUMPI
00001334: PUSH1 0x40
00001336: MLOAD
00001337: PUSH4 0x10eb483f
0000133c: PUSH1 0xe2
0000133e: SHL
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x04
00001343: ADD
00001344: PUSH1 0x40
00001346: MLOAD
00001347: DUP1
00001348: SWAP2
00001349: SUB
0000134a: SWAP1
0000134b: REVERT
0000134c: JUMPDEST
0000134d: PUSH1 0x65
0000134f: SLOAD
00001350: DUP2
00001351: LT
00001352: PUSH2 0x1371
00001355: JUMPI
00001356: PUSH1 0x40
00001358: MLOAD
00001359: PUSH4 0x1e657b1d
0000135e: PUSH1 0xe0
00001360: SHL
00001361: DUP2
00001362: MSTORE
00001363: PUSH1 0x04
00001365: DUP2
00001366: ADD
00001367: DUP3
00001368: SWAP1
00001369: MSTORE
0000136a: PUSH1 0x24
0000136c: ADD
0000136d: PUSH2 0x04b3
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x00
00001374: PUSH1 0x65
00001376: DUP3
00001377: DUP2
00001378: SLOAD
00001379: DUP2
0000137a: LT
0000137b: PUSH2 0x1386
0000137e: JUMPI
0000137f: PUSH2 0x1386
00001382: PUSH2 0x21be
00001385: JUMP
00001386: JUMPDEST
00001387: SWAP1
00001388: PUSH1 0x00
0000138a: MSTORE
0000138b: PUSH1 0x20
0000138d: PUSH1 0x00
0000138f: KECCAK256
00001390: SWAP1
00001391: PUSH1 0x0a
00001393: MUL
00001394: ADD
00001395: SWAP1
00001396: POP
00001397: PUSH1 0x6c
00001399: PUSH1 0x00
0000139b: DUP4
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: SWAP1
000013a2: DUP2
000013a3: MSTORE
000013a4: PUSH1 0x20
000013a6: ADD
000013a7: PUSH1 0x00
000013a9: KECCAK256
000013aa: SLOAD
000013ab: DUP4
000013ac: DUP3
000013ad: PUSH1 0x07
000013af: ADD
000013b0: SLOAD
000013b1: PUSH2 0x13ba
000013b4: SWAP2
000013b5: SWAP1
000013b6: PUSH2 0x2236
000013b9: JUMP
000013ba: JUMPDEST
000013bb: GT
000013bc: DUP1
000013bd: ISZERO
000013be: PUSH2 0x13d4
000013c1: JUMPI
000013c2: POP
000013c3: PUSH1 0x00
000013c5: DUP3
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x6c
000013ca: PUSH1 0x20
000013cc: MSTORE
000013cd: PUSH1 0x40
000013cf: SWAP1
000013d0: KECCAK256
000013d1: SLOAD
000013d2: ISZERO
000013d3: ISZERO
000013d4: JUMPDEST
000013d5: ISZERO
000013d6: PUSH2 0x1406
000013d9: JUMPI
000013da: PUSH1 0x00
000013dc: DUP3
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x6c
000013e1: PUSH1 0x20
000013e3: MSTORE
000013e4: PUSH1 0x40
000013e6: SWAP1
000013e7: DUP2
000013e8: SWAP1
000013e9: KECCAK256
000013ea: SLOAD
000013eb: SWAP1
000013ec: MLOAD
000013ed: PUSH4 0x8c5402b5
000013f2: PUSH1 0xe0
000013f4: SHL
000013f5: DUP2
000013f6: MSTORE
000013f7: PUSH1 0x04
000013f9: DUP2
000013fa: ADD
000013fb: SWAP2
000013fc: SWAP1
000013fd: SWAP2
000013fe: MSTORE
000013ff: PUSH1 0x24
00001401: ADD
00001402: PUSH2 0x04b3
00001405: JUMP
00001406: JUMPDEST
00001407: CALLER
00001408: PUSH1 0x00
0000140a: SWAP1
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x66
0000140f: PUSH1 0x20
00001411: SWAP1
00001412: DUP2
00001413: MSTORE
00001414: PUSH1 0x40
00001416: DUP1
00001417: DUP4
00001418: KECCAK256
00001419: DUP6
0000141a: DUP5
0000141b: MSTORE
0000141c: SWAP1
0000141d: SWAP2
0000141e: MSTORE
0000141f: SWAP1
00001420: KECCAK256
00001421: PUSH2 0x1429
00001424: DUP4
00001425: PUSH2 0x0b15
00001428: JUMP
00001429: JUMPDEST
0000142a: DUP1
0000142b: SLOAD
0000142c: ISZERO
0000142d: PUSH2 0x148f
00001430: JUMPI
00001431: PUSH1 0x01
00001433: DUP2
00001434: ADD
00001435: SLOAD
00001436: PUSH1 0x06
00001438: DUP4
00001439: ADD
0000143a: SLOAD
0000143b: PUSH1 0x03
0000143d: DUP5
0000143e: ADD
0000143f: SLOAD
00001440: DUP4
00001441: SLOAD
00001442: PUSH2 0x144b
00001445: SWAP2
00001446: SWAP1
00001447: PUSH2 0x21fd
0000144a: JUMP
0000144b: JUMPDEST
0000144c: PUSH2 0x1455
0000144f: SWAP2
00001450: SWAP1
00001451: PUSH2 0x2214
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH2 0x145f
00001459: SWAP2
0000145a: SWAP1
0000145b: PUSH2 0x21ea
0000145e: JUMP
0000145f: JUMPDEST
00001460: CALLER
00001461: PUSH1 0x00
00001463: SWAP1
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x6d
00001468: PUSH1 0x20
0000146a: SWAP1
0000146b: DUP2
0000146c: MSTORE
0000146d: PUSH1 0x40
0000146f: DUP1
00001470: DUP4
00001471: KECCAK256
00001472: DUP8
00001473: DUP5
00001474: MSTORE
00001475: SWAP1
00001476: SWAP2
00001477: MSTORE
00001478: DUP2
00001479: KECCAK256
0000147a: DUP1
0000147b: SLOAD
0000147c: SWAP1
0000147d: SWAP2
0000147e: SWAP1
0000147f: PUSH2 0x1489
00001482: SWAP1
00001483: DUP5
00001484: SWAP1
00001485: PUSH2 0x2236
00001488: JUMP
00001489: JUMPDEST
0000148a: SWAP1
0000148b: SWAP2
0000148c: SSTORE
0000148d: POP
0000148e: POP
0000148f: JUMPDEST
00001490: DUP2
00001491: SLOAD
00001492: PUSH1 0x00
00001494: SWAP1
00001495: PUSH2 0x14a7
00001498: SWAP1
00001499: PUSH1 0x01
0000149b: PUSH1 0x01
0000149d: PUSH1 0xa0
0000149f: SHL
000014a0: SUB
000014a1: AND
000014a2: DUP7
000014a3: PUSH2 0x1a9b
000014a6: JUMP
000014a7: JUMPDEST
000014a8: SWAP1
000014a9: POP
000014aa: DUP1
000014ab: DUP3
000014ac: PUSH1 0x00
000014ae: ADD
000014af: PUSH1 0x00
000014b1: DUP3
000014b2: DUP3
000014b3: SLOAD
000014b4: PUSH2 0x14bd
000014b7: SWAP2
000014b8: SWAP1
000014b9: PUSH2 0x2236
000014bc: JUMP
000014bd: JUMPDEST
000014be: SWAP1
000014bf: SWAP2
000014c0: SSTORE
000014c1: POP
000014c2: POP
000014c3: PUSH1 0x06
000014c5: DUP4
000014c6: ADD
000014c7: SLOAD
000014c8: PUSH1 0x03
000014ca: DUP5
000014cb: ADD
000014cc: SLOAD
000014cd: DUP4
000014ce: SLOAD
000014cf: PUSH2 0x14d8
000014d2: SWAP2
000014d3: SWAP1
000014d4: PUSH2 0x21fd
000014d7: JUMP
000014d8: JUMPDEST
000014d9: PUSH2 0x14e2
000014dc: SWAP2
000014dd: SWAP1
000014de: PUSH2 0x2214
000014e1: JUMP
000014e2: JUMPDEST
000014e3: DUP3
000014e4: PUSH1 0x01
000014e6: ADD
000014e7: DUP2
000014e8: SWAP1
000014e9: SSTORE
000014ea: POP
000014eb: DUP1
000014ec: DUP4
000014ed: PUSH1 0x07
000014ef: ADD
000014f0: PUSH1 0x00
000014f2: DUP3
000014f3: DUP3
000014f4: SLOAD
000014f5: PUSH2 0x14fe
000014f8: SWAP2
000014f9: SWAP1
000014fa: PUSH2 0x2236
000014fd: JUMP
000014fe: JUMPDEST
000014ff: SWAP1
00001500: SWAP2
00001501: SSTORE
00001502: POP
00001503: POP
00001504: PUSH1 0x40
00001506: DUP1
00001507: MLOAD
00001508: DUP3
00001509: DUP2
0000150a: MSTORE
0000150b: PUSH1 0x20
0000150d: DUP2
0000150e: ADD
0000150f: DUP7
00001510: SWAP1
00001511: MSTORE
00001512: CALLER
00001513: SWAP2
00001514: PUSH32 0x90890809c654f11d6e72a28fa60149770a0d11ec6c92319d6ceb2bb0a4ea1a15
00001535: SWAP2
00001536: ADD
00001537: PUSH2 0x128a
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH1 0x33
0000153e: SLOAD
0000153f: PUSH1 0x01
00001541: PUSH1 0x01
00001543: PUSH1 0xa0
00001545: SHL
00001546: SUB
00001547: AND
00001548: CALLER
00001549: EQ
0000154a: PUSH2 0x1565
0000154d: JUMPI
0000154e: PUSH1 0x40
00001550: MLOAD
00001551: PUSH3 0x461bcd
00001555: PUSH1 0xe5
00001557: SHL
00001558: DUP2
00001559: MSTORE
0000155a: PUSH1 0x04
0000155c: ADD
0000155d: PUSH2 0x04b3
00001560: SWAP1
00001561: PUSH2 0x2280
00001564: JUMP
00001565: JUMPDEST
00001566: PUSH1 0x01
00001568: PUSH1 0x01
0000156a: PUSH1 0xa0
0000156c: SHL
0000156d: SUB
0000156e: DUP2
0000156f: AND
00001570: PUSH2 0x15ca
00001573: JUMPI
00001574: PUSH1 0x40
00001576: MLOAD
00001577: PUSH3 0x461bcd
0000157b: PUSH1 0xe5
0000157d: SHL
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x20
00001582: PUSH1 0x04
00001584: DUP3
00001585: ADD
00001586: MSTORE
00001587: PUSH1 0x26
00001589: PUSH1 0x24
0000158b: DUP3
0000158c: ADD
0000158d: MSTORE
0000158e: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000015af: PUSH1 0x44
000015b1: DUP3
000015b2: ADD
000015b3: MSTORE
000015b4: PUSH6 0x646472657373
000015bb: PUSH1 0xd0
000015bd: SHL
000015be: PUSH1 0x64
000015c0: DUP3
000015c1: ADD
000015c2: MSTORE
000015c3: PUSH1 0x84
000015c5: ADD
000015c6: PUSH2 0x04b3
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH2 0x10dd
000015ce: DUP2
000015cf: PUSH2 0x1c2e
000015d2: JUMP
000015d3: JUMPDEST
000015d4: PUSH1 0x00
000015d6: DUP1
000015d7: PUSH1 0x65
000015d9: DUP4
000015da: DUP2
000015db: SLOAD
000015dc: DUP2
000015dd: LT
000015de: PUSH2 0x15e9
000015e1: JUMPI
000015e2: PUSH2 0x15e9
000015e5: PUSH2 0x21be
000015e8: JUMP
000015e9: JUMPDEST
000015ea: PUSH1 0x00
000015ec: SWAP2
000015ed: DUP3
000015ee: MSTORE
000015ef: PUSH1 0x20
000015f1: DUP1
000015f2: DUP4
000015f3: KECCAK256
000015f4: PUSH1 0x01
000015f6: PUSH1 0x01
000015f8: PUSH1 0xa0
000015fa: SHL
000015fb: SUB
000015fc: DUP9
000015fd: AND
000015fe: DUP1
000015ff: DUP6
00001600: MSTORE
00001601: PUSH1 0x66
00001603: DUP4
00001604: MSTORE
00001605: PUSH1 0x40
00001607: DUP1
00001608: DUP7
00001609: KECCAK256
0000160a: DUP10
0000160b: DUP8
0000160c: MSTORE
0000160d: DUP5
0000160e: MSTORE
0000160f: DUP1
00001610: DUP7
00001611: KECCAK256
00001612: PUSH1 0x0a
00001614: SWAP6
00001615: SWAP1
00001616: SWAP6
00001617: MUL
00001618: SWAP1
00001619: SWAP3
0000161a: ADD
0000161b: PUSH1 0x03
0000161d: DUP2
0000161e: ADD
0000161f: SLOAD
00001620: PUSH1 0x07
00001622: DUP3
00001623: ADD
00001624: SLOAD
00001625: PUSH1 0x06
00001627: DUP4
00001628: ADD
00001629: SLOAD
0000162a: PUSH1 0x02
0000162c: DUP5
0000162d: ADD
0000162e: SLOAD
0000162f: PUSH1 0x04
00001631: DUP6
00001632: ADD
00001633: SLOAD
00001634: PUSH1 0x05
00001636: DUP7
00001637: ADD
00001638: SLOAD
00001639: SWAP7
0000163a: DUP12
0000163b: MSTORE
0000163c: PUSH1 0x6d
0000163e: DUP10
0000163f: MSTORE
00001640: DUP8
00001641: DUP12
00001642: KECCAK256
00001643: DUP15
00001644: DUP13
00001645: MSTORE
00001646: SWAP1
00001647: SWAP9
00001648: MSTORE
00001649: SWAP6
0000164a: SWAP1
0000164b: SWAP9
0000164c: KECCAK256
0000164d: SLOAD
0000164e: SWAP3
0000164f: SWAP9
00001650: POP
00001651: SWAP6
00001652: SWAP7
00001653: SWAP1
00001654: SWAP6
00001655: SWAP5
00001656: SWAP1
00001657: SWAP4
00001658: SWAP3
00001659: SWAP1
0000165a: SWAP2
0000165b: DUP2
0000165c: DUP5
0000165d: GT
0000165e: DUP1
0000165f: ISZERO
00001660: PUSH2 0x1668
00001663: JUMPI
00001664: POP
00001665: DUP6
00001666: ISZERO
00001667: ISZERO
00001668: JUMPDEST
00001669: ISZERO
0000166a: PUSH2 0x16b2
0000166d: JUMPI
0000166e: DUP1
0000166f: DUP9
00001670: PUSH1 0x01
00001672: ADD
00001673: SLOAD
00001674: DUP7
00001675: DUP10
00001676: DUP12
00001677: PUSH1 0x00
00001679: ADD
0000167a: SLOAD
0000167b: PUSH2 0x1684
0000167e: SWAP2
0000167f: SWAP1
00001680: PUSH2 0x21fd
00001683: JUMP
00001684: JUMPDEST
00001685: PUSH2 0x168e
00001688: SWAP2
00001689: SWAP1
0000168a: PUSH2 0x2214
0000168d: JUMP
0000168e: JUMPDEST
0000168f: PUSH2 0x1698
00001692: SWAP2
00001693: SWAP1
00001694: PUSH2 0x21ea
00001697: JUMP
00001698: JUMPDEST
00001699: PUSH2 0x16a2
0000169c: SWAP2
0000169d: SWAP1
0000169e: PUSH2 0x2236
000016a1: JUMP
000016a2: JUMPDEST
000016a3: SWAP10
000016a4: POP
000016a5: POP
000016a6: POP
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: PUSH2 0x0ece
000016b1: JUMP
000016b2: JUMPDEST
000016b3: DUP4
000016b4: TIMESTAMP
000016b5: GT
000016b6: DUP1
000016b7: ISZERO
000016b8: PUSH2 0x16c0
000016bb: JUMPI
000016bc: POP
000016bd: DUP6
000016be: ISZERO
000016bf: ISZERO
000016c0: JUMPDEST
000016c1: DUP1
000016c2: ISZERO
000016c3: PUSH2 0x16cf
000016c6: JUMPI
000016c7: POP
000016c8: DUP9
000016c9: PUSH1 0x04
000016cb: ADD
000016cc: SLOAD
000016cd: TIMESTAMP
000016ce: GT
000016cf: JUMPDEST
000016d0: ISZERO
000016d1: PUSH2 0x173c
000016d4: JUMPI
000016d5: PUSH1 0x00
000016d7: PUSH2 0x16e0
000016da: DUP5
000016db: DUP5
000016dc: PUSH2 0x21ea
000016df: JUMP
000016e0: JUMPDEST
000016e1: DUP11
000016e2: PUSH1 0x08
000016e4: ADD
000016e5: SLOAD
000016e6: PUSH2 0x16ef
000016e9: DUP7
000016ea: DUP9
000016eb: PUSH2 0x1c07
000016ee: JUMP
000016ef: JUMPDEST
000016f0: PUSH2 0x16f9
000016f3: TIMESTAMP
000016f4: DUP8
000016f5: PUSH2 0x1c1f
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH2 0x1703
000016fd: SWAP2
000016fe: SWAP1
000016ff: PUSH2 0x21ea
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH2 0x170d
00001707: SWAP2
00001708: SWAP1
00001709: PUSH2 0x21fd
0000170c: JUMP
0000170d: JUMPDEST
0000170e: PUSH2 0x1717
00001711: SWAP2
00001712: SWAP1
00001713: PUSH2 0x2214
00001716: JUMP
00001717: JUMPDEST
00001718: SWAP1
00001719: POP
0000171a: DUP7
0000171b: PUSH2 0x1724
0000171e: DUP8
0000171f: DUP4
00001720: PUSH2 0x21fd
00001723: JUMP
00001724: JUMPDEST
00001725: PUSH2 0x172e
00001728: SWAP2
00001729: SWAP1
0000172a: PUSH2 0x2214
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH2 0x1738
00001732: SWAP1
00001733: DUP10
00001734: PUSH2 0x2236
00001737: JUMP
00001738: JUMPDEST
00001739: SWAP8
0000173a: POP
0000173b: POP
0000173c: JUMPDEST
0000173d: DUP1
0000173e: DUP9
0000173f: PUSH1 0x01
00001741: ADD
00001742: SLOAD
00001743: DUP7
00001744: DUP10
00001745: DUP12
00001746: PUSH1 0x00
00001748: ADD
00001749: SLOAD
0000174a: PUSH2 0x1753
0000174d: SWAP2
0000174e: SWAP1
0000174f: PUSH2 0x21fd
00001752: JUMP
00001753: JUMPDEST
00001754: PUSH2 0x175d
00001757: SWAP2
00001758: SWAP1
00001759: PUSH2 0x2214
0000175c: JUMP
0000175d: JUMPDEST
0000175e: PUSH2 0x1767
00001761: SWAP2
00001762: SWAP1
00001763: PUSH2 0x21ea
00001766: JUMP
00001767: JUMPDEST
00001768: PUSH2 0x1771
0000176b: SWAP2
0000176c: SWAP1
0000176d: PUSH2 0x2236
00001770: JUMP
00001771: JUMPDEST
00001772: SWAP13
00001773: SWAP12
00001774: POP
00001775: POP
00001776: POP
00001777: POP
00001778: POP
00001779: POP
0000177a: POP
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: POP
0000177f: POP
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x02
00001784: PUSH1 0x67
00001786: SLOAD
00001787: SUB
00001788: PUSH2 0x17a3
0000178b: JUMPI
0000178c: PUSH1 0x40
0000178e: MLOAD
0000178f: PUSH3 0x461bcd
00001793: PUSH1 0xe5
00001795: SHL
00001796: DUP2
00001797: MSTORE
00001798: PUSH1 0x04
0000179a: ADD
0000179b: PUSH2 0x04b3
0000179e: SWAP1
0000179f: PUSH2 0x2249
000017a2: JUMP
000017a3: JUMPDEST
000017a4: PUSH1 0x02
000017a6: PUSH1 0x67
000017a8: SSTORE
000017a9: DUP5
000017aa: PUSH1 0x00
000017ac: DUP3
000017ad: SWAP1
000017ae: SUB
000017af: PUSH2 0x17cb
000017b2: JUMPI
000017b3: PUSH1 0x40
000017b5: MLOAD
000017b6: PUSH4 0x589efd73
000017bb: PUSH1 0xe0
000017bd: SHL
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x04
000017c2: ADD
000017c3: PUSH1 0x40
000017c5: MLOAD
000017c6: DUP1
000017c7: SWAP2
000017c8: SUB
000017c9: SWAP1
000017ca: REVERT
000017cb: JUMPDEST
000017cc: TIMESTAMP
000017cd: DUP6
000017ce: LT
000017cf: DUP1
000017d0: PUSH2 0x17d8
000017d3: JUMPI
000017d4: POP
000017d5: TIMESTAMP
000017d6: DUP5
000017d7: LT
000017d8: JUMPDEST
000017d9: ISZERO
000017da: PUSH2 0x17f6
000017dd: JUMPI
000017de: PUSH1 0x40
000017e0: MLOAD
000017e1: PUSH4 0x04b632c7
000017e6: PUSH1 0xe2
000017e8: SHL
000017e9: DUP2
000017ea: MSTORE
000017eb: PUSH1 0x04
000017ed: ADD
000017ee: PUSH1 0x40
000017f0: MLOAD
000017f1: DUP1
000017f2: SWAP2
000017f3: SUB
000017f4: SWAP1
000017f5: REVERT
000017f6: JUMPDEST
000017f7: PUSH1 0x06
000017f9: DUP4
000017fa: LT
000017fb: DUP1
000017fc: PUSH2 0x1805
000017ff: JUMPI
00001800: POP
00001801: PUSH1 0x24
00001803: DUP4
00001804: GT
00001805: JUMPDEST
00001806: ISZERO
00001807: PUSH2 0x1823
0000180a: JUMPI
0000180b: PUSH1 0x40
0000180d: MLOAD
0000180e: PUSH4 0xaa8828e7
00001813: PUSH1 0xe0
00001815: SHL
00001816: DUP2
00001817: MSTORE
00001818: PUSH1 0x04
0000181a: ADD
0000181b: PUSH1 0x40
0000181d: MLOAD
0000181e: DUP1
0000181f: SWAP2
00001820: SUB
00001821: SWAP1
00001822: REVERT
00001823: JUMPDEST
00001824: DUP4
00001825: DUP6
00001826: LT
00001827: PUSH2 0x1843
0000182a: JUMPI
0000182b: PUSH1 0x40
0000182d: MLOAD
0000182e: PUSH4 0x77eb2f17
00001833: PUSH1 0xe0
00001835: SHL
00001836: DUP2
00001837: MSTORE
00001838: PUSH1 0x04
0000183a: ADD
0000183b: PUSH1 0x40
0000183d: MLOAD
0000183e: DUP1
0000183f: SWAP2
00001840: SUB
00001841: SWAP1
00001842: REVERT
00001843: JUMPDEST
00001844: PUSH4 0x09660180
00001849: PUSH2 0x1852
0000184c: DUP7
0000184d: DUP7
0000184e: PUSH2 0x21ea
00001851: JUMP
00001852: JUMPDEST
00001853: GT
00001854: ISZERO
00001855: PUSH2 0x1871
00001858: JUMPI
00001859: PUSH1 0x40
0000185b: MLOAD
0000185c: PUSH4 0x77eb2f17
00001861: PUSH1 0xe0
00001863: SHL
00001864: DUP2
00001865: MSTORE
00001866: PUSH1 0x04
00001868: ADD
00001869: PUSH1 0x40
0000186b: MLOAD
0000186c: DUP1
0000186d: SWAP2
0000186e: SUB
0000186f: SWAP1
00001870: REVERT
00001871: JUMPDEST
00001872: PUSH1 0x00
00001874: PUSH2 0x187d
00001877: DUP3
00001878: DUP5
00001879: PUSH2 0x1a9b
0000187c: JUMP
0000187d: JUMPDEST
0000187e: SWAP1
0000187f: POP
00001880: PUSH1 0x65
00001882: PUSH1 0x40
00001884: MLOAD
00001885: DUP1
00001886: PUSH2 0x0140
00001889: ADD
0000188a: PUSH1 0x40
0000188c: MSTORE
0000188d: DUP1
0000188e: DUP11
0000188f: PUSH1 0x01
00001891: PUSH1 0x01
00001893: PUSH1 0xa0
00001895: SHL
00001896: SUB
00001897: AND
00001898: DUP2
00001899: MSTORE
0000189a: PUSH1 0x20
0000189c: ADD
0000189d: DUP5
0000189e: PUSH1 0x01
000018a0: PUSH1 0x01
000018a2: PUSH1 0xa0
000018a4: SHL
000018a5: SUB
000018a6: AND
000018a7: DUP2
000018a8: MSTORE
000018a9: PUSH1 0x20
000018ab: ADD
000018ac: PUSH1 0x00
000018ae: DUP2
000018af: MSTORE
000018b0: PUSH1 0x20
000018b2: ADD
000018b3: PUSH1 0x00
000018b5: DUP2
000018b6: MSTORE
000018b7: PUSH1 0x20
000018b9: ADD
000018ba: DUP9
000018bb: DUP2
000018bc: MSTORE
000018bd: PUSH1 0x20
000018bf: ADD
000018c0: DUP8
000018c1: DUP2
000018c2: MSTORE
000018c3: PUSH1 0x20
000018c5: ADD
000018c6: DUP7
000018c7: PUSH1 0x0a
000018c9: PUSH2 0x18d2
000018cc: SWAP2
000018cd: SWAP1
000018ce: PUSH2 0x239c
000018d1: JUMP
000018d2: JUMPDEST
000018d3: DUP2
000018d4: MSTORE
000018d5: PUSH1 0x00
000018d7: PUSH1 0x20
000018d9: DUP1
000018da: DUP4
000018db: ADD
000018dc: DUP3
000018dd: SWAP1
000018de: MSTORE
000018df: PUSH1 0x40
000018e1: DUP1
000018e2: DUP5
000018e3: ADD
000018e4: DUP8
000018e5: SWAP1
000018e6: MSTORE
000018e7: CALLER
000018e8: PUSH1 0x60
000018ea: SWAP5
000018eb: DUP6
000018ec: ADD
000018ed: MSTORE
000018ee: DUP6
000018ef: SLOAD
000018f0: PUSH1 0x01
000018f2: DUP2
000018f3: DUP2
000018f4: ADD
000018f5: DUP9
000018f6: SSTORE
000018f7: SWAP7
000018f8: DUP5
000018f9: MSTORE
000018fa: DUP3
000018fb: DUP5
000018fc: KECCAK256
000018fd: DUP7
000018fe: MLOAD
000018ff: PUSH1 0x0a
00001901: SWAP1
00001902: SWAP3
00001903: MUL
00001904: ADD
00001905: DUP1
00001906: SLOAD
00001907: PUSH1 0x01
00001909: PUSH1 0x01
0000190b: PUSH1 0xa0
0000190d: SHL
0000190e: SUB
0000190f: SWAP3
00001910: DUP4
00001911: AND
00001912: PUSH1 0x01
00001914: PUSH1 0x01
00001916: PUSH1 0xa0
00001918: SHL
00001919: SUB
0000191a: NOT
0000191b: SWAP2
0000191c: DUP3
0000191d: AND
0000191e: OR
0000191f: DUP3
00001920: SSTORE
00001921: SWAP4
00001922: DUP8
00001923: ADD
00001924: MLOAD
00001925: DUP2
00001926: DUP10
00001927: ADD
00001928: DUP1
00001929: SLOAD
0000192a: SWAP2
0000192b: DUP5
0000192c: AND
0000192d: SWAP2
0000192e: DUP7
0000192f: AND
00001930: SWAP2
00001931: SWAP1
00001932: SWAP2
00001933: OR
00001934: SWAP1
00001935: SSTORE
00001936: SWAP2
00001937: DUP7
00001938: ADD
00001939: MLOAD
0000193a: PUSH1 0x02
0000193c: DUP4
0000193d: ADD
0000193e: SSTORE
0000193f: SWAP4
00001940: DUP6
00001941: ADD
00001942: MLOAD
00001943: PUSH1 0x03
00001945: DUP3
00001946: ADD
00001947: SSTORE
00001948: PUSH1 0x80
0000194a: DUP6
0000194b: ADD
0000194c: MLOAD
0000194d: PUSH1 0x04
0000194f: DUP3
00001950: ADD
00001951: SSTORE
00001952: PUSH1 0xa0
00001954: DUP6
00001955: ADD
00001956: MLOAD
00001957: PUSH1 0x05
00001959: DUP3
0000195a: ADD
0000195b: SSTORE
0000195c: PUSH1 0xc0
0000195e: DUP6
0000195f: ADD
00001960: MLOAD
00001961: PUSH1 0x06
00001963: DUP3
00001964: ADD
00001965: SSTORE
00001966: PUSH1 0xe0
00001968: DUP6
00001969: ADD
0000196a: MLOAD
0000196b: PUSH1 0x07
0000196d: DUP3
0000196e: ADD
0000196f: SSTORE
00001970: PUSH2 0x0100
00001973: DUP6
00001974: ADD
00001975: MLOAD
00001976: PUSH1 0x08
00001978: DUP3
00001979: ADD
0000197a: SSTORE
0000197b: PUSH2 0x0120
0000197e: SWAP1
0000197f: SWAP5
00001980: ADD
00001981: MLOAD
00001982: PUSH1 0x09
00001984: SWAP1
00001985: SWAP5
00001986: ADD
00001987: DUP1
00001988: SLOAD
00001989: SWAP5
0000198a: SWAP1
0000198b: SWAP4
0000198c: AND
0000198d: SWAP4
0000198e: AND
0000198f: SWAP3
00001990: SWAP1
00001991: SWAP3
00001992: OR
00001993: SWAP1
00001994: SSTORE
00001995: PUSH1 0x68
00001997: SLOAD
00001998: PUSH1 0x65
0000199a: SLOAD
0000199b: SWAP1
0000199c: SWAP3
0000199d: PUSH1 0x6b
0000199f: SWAP3
000019a0: SWAP2
000019a1: PUSH2 0x19aa
000019a4: SWAP2
000019a5: SWAP1
000019a6: PUSH2 0x21ea
000019a9: JUMP
000019aa: JUMPDEST
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x20
000019af: DUP2
000019b0: ADD
000019b1: SWAP2
000019b2: SWAP1
000019b3: SWAP2
000019b4: MSTORE
000019b5: PUSH1 0x40
000019b7: ADD
000019b8: PUSH1 0x00
000019ba: KECCAK256
000019bb: SSTORE
000019bc: PUSH1 0x01
000019be: PUSH1 0x01
000019c0: PUSH1 0xa0
000019c2: SHL
000019c3: SUB
000019c4: DUP1
000019c5: DUP9
000019c6: AND
000019c7: SWAP1
000019c8: DUP10
000019c9: AND
000019ca: PUSH32 0x3da36bae0e345f496aff0cfa4df201a3a21b5bc0f04efa5f1f55d27b51c5fa32
000019eb: DUP9
000019ec: DUP9
000019ed: PUSH2 0x19f7
000019f0: DUP10
000019f1: PUSH1 0x0a
000019f3: PUSH2 0x239c
000019f6: JUMP
000019f7: JUMPDEST
000019f8: PUSH1 0x40
000019fa: DUP1
000019fb: MLOAD
000019fc: SWAP4
000019fd: DUP5
000019fe: MSTORE
000019ff: PUSH1 0x20
00001a01: DUP5
00001a02: ADD
00001a03: SWAP3
00001a04: SWAP1
00001a05: SWAP3
00001a06: MSTORE
00001a07: SWAP1
00001a08: DUP3
00001a09: ADD
00001a0a: MSTORE
00001a0b: PUSH1 0x60
00001a0d: DUP2
00001a0e: ADD
00001a0f: DUP6
00001a10: SWAP1
00001a11: MSTORE
00001a12: PUSH1 0x80
00001a14: ADD
00001a15: PUSH1 0x40
00001a17: MLOAD
00001a18: DUP1
00001a19: SWAP2
00001a1a: SUB
00001a1b: SWAP1
00001a1c: LOG3
00001a1d: POP
00001a1e: POP
00001a1f: PUSH1 0x01
00001a21: PUSH1 0x67
00001a23: SSTORE
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: POP
00001a28: POP
00001a29: POP
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x33
00001a2e: SLOAD
00001a2f: PUSH1 0x01
00001a31: PUSH1 0x01
00001a33: PUSH1 0xa0
00001a35: SHL
00001a36: SUB
00001a37: AND
00001a38: CALLER
00001a39: EQ
00001a3a: PUSH2 0x1a55
00001a3d: JUMPI
00001a3e: PUSH1 0x40
00001a40: MLOAD
00001a41: PUSH3 0x461bcd
00001a45: PUSH1 0xe5
00001a47: SHL
00001a48: DUP2
00001a49: MSTORE
00001a4a: PUSH1 0x04
00001a4c: ADD
00001a4d: PUSH2 0x04b3
00001a50: SWAP1
00001a51: PUSH2 0x2280
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH1 0x02
00001a58: PUSH1 0x67
00001a5a: SLOAD
00001a5b: SUB
00001a5c: PUSH2 0x1a77
00001a5f: JUMPI
00001a60: PUSH1 0x40
00001a62: MLOAD
00001a63: PUSH3 0x461bcd
00001a67: PUSH1 0xe5
00001a69: SHL
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: PUSH1 0x04
00001a6e: ADD
00001a6f: PUSH2 0x04b3
00001a72: SWAP1
00001a73: PUSH2 0x2249
00001a76: JUMP
00001a77: JUMPDEST
00001a78: PUSH1 0x02
00001a7a: PUSH1 0x67
00001a7c: SSTORE
00001a7d: DUP2
00001a7e: PUSH2 0x1a91
00001a81: PUSH1 0x01
00001a83: PUSH1 0x01
00001a85: PUSH1 0xa0
00001a87: SHL
00001a88: SUB
00001a89: DUP3
00001a8a: AND
00001a8b: CALLER
00001a8c: DUP5
00001a8d: PUSH2 0x1b9f
00001a90: JUMP
00001a91: JUMPDEST
00001a92: POP
00001a93: POP
00001a94: PUSH1 0x01
00001a96: PUSH1 0x67
00001a98: SSTORE
00001a99: POP
00001a9a: JUMP
00001a9b: JUMPDEST
00001a9c: PUSH1 0x40
00001a9e: MLOAD
00001a9f: PUSH4 0x70a08231
00001aa4: PUSH1 0xe0
00001aa6: SHL
00001aa7: DUP2
00001aa8: MSTORE
00001aa9: ADDRESS
00001aaa: PUSH1 0x04
00001aac: DUP3
00001aad: ADD
00001aae: MSTORE
00001aaf: PUSH1 0x00
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: SWAP1
00001ab4: PUSH1 0x01
00001ab6: PUSH1 0x01
00001ab8: PUSH1 0xa0
00001aba: SHL
00001abb: SUB
00001abc: DUP6
00001abd: AND
00001abe: SWAP1
00001abf: PUSH4 0x70a08231
00001ac4: SWAP1
00001ac5: PUSH1 0x24
00001ac7: ADD
00001ac8: PUSH1 0x20
00001aca: PUSH1 0x40
00001acc: MLOAD
00001acd: DUP1
00001ace: DUP4
00001acf: SUB
00001ad0: DUP2
00001ad1: DUP7
00001ad2: GAS
00001ad3: STATICCALL
00001ad4: ISZERO
00001ad5: DUP1
00001ad6: ISZERO
00001ad7: PUSH2 0x1ae4
00001ada: JUMPI
00001adb: RETURNDATASIZE
00001adc: PUSH1 0x00
00001ade: DUP1
00001adf: RETURNDATACOPY
00001ae0: RETURNDATASIZE
00001ae1: PUSH1 0x00
00001ae3: REVERT
00001ae4: JUMPDEST
00001ae5: POP
00001ae6: POP
00001ae7: POP
00001ae8: POP
00001ae9: PUSH1 0x40
00001aeb: MLOAD
00001aec: RETURNDATASIZE
00001aed: PUSH1 0x1f
00001aef: NOT
00001af0: PUSH1 0x1f
00001af2: DUP3
00001af3: ADD
00001af4: AND
00001af5: DUP3
00001af6: ADD
00001af7: DUP1
00001af8: PUSH1 0x40
00001afa: MSTORE
00001afb: POP
00001afc: DUP2
00001afd: ADD
00001afe: SWAP1
00001aff: PUSH2 0x1b08
00001b02: SWAP2
00001b03: SWAP1
00001b04: PUSH2 0x23a8
00001b07: JUMP
00001b08: JUMPDEST
00001b09: SWAP1
00001b0a: POP
00001b0b: PUSH2 0x1b1f
00001b0e: PUSH1 0x01
00001b10: PUSH1 0x01
00001b12: PUSH1 0xa0
00001b14: SHL
00001b15: SUB
00001b16: DUP6
00001b17: AND
00001b18: CALLER
00001b19: ADDRESS
00001b1a: DUP7
00001b1b: PUSH2 0x1d3c
00001b1e: JUMP
00001b1f: JUMPDEST
00001b20: PUSH1 0x40
00001b22: MLOAD
00001b23: PUSH4 0x70a08231
00001b28: PUSH1 0xe0
00001b2a: SHL
00001b2b: DUP2
00001b2c: MSTORE
00001b2d: ADDRESS
00001b2e: PUSH1 0x04
00001b30: DUP3
00001b31: ADD
00001b32: MSTORE
00001b33: PUSH1 0x00
00001b35: SWAP1
00001b36: PUSH1 0x01
00001b38: PUSH1 0x01
00001b3a: PUSH1 0xa0
00001b3c: SHL
00001b3d: SUB
00001b3e: DUP7
00001b3f: AND
00001b40: SWAP1
00001b41: PUSH4 0x70a08231
00001b46: SWAP1
00001b47: PUSH1 0x24
00001b49: ADD
00001b4a: PUSH1 0x20
00001b4c: PUSH1 0x40
00001b4e: MLOAD
00001b4f: DUP1
00001b50: DUP4
00001b51: SUB
00001b52: DUP2
00001b53: DUP7
00001b54: GAS
00001b55: STATICCALL
00001b56: ISZERO
00001b57: DUP1
00001b58: ISZERO
00001b59: PUSH2 0x1b66
00001b5c: JUMPI
00001b5d: RETURNDATASIZE
00001b5e: PUSH1 0x00
00001b60: DUP1
00001b61: RETURNDATACOPY
00001b62: RETURNDATASIZE
00001b63: PUSH1 0x00
00001b65: REVERT
00001b66: JUMPDEST
00001b67: POP
00001b68: POP
00001b69: POP
00001b6a: POP
00001b6b: PUSH1 0x40
00001b6d: MLOAD
00001b6e: RETURNDATASIZE
00001b6f: PUSH1 0x1f
00001b71: NOT
00001b72: PUSH1 0x1f
00001b74: DUP3
00001b75: ADD
00001b76: AND
00001b77: DUP3
00001b78: ADD
00001b79: DUP1
00001b7a: PUSH1 0x40
00001b7c: MSTORE
00001b7d: POP
00001b7e: DUP2
00001b7f: ADD
00001b80: SWAP1
00001b81: PUSH2 0x1b8a
00001b84: SWAP2
00001b85: SWAP1
00001b86: PUSH2 0x23a8
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP1
00001b8c: POP
00001b8d: PUSH2 0x1b96
00001b90: DUP3
00001b91: DUP3
00001b92: PUSH2 0x21ea
00001b95: JUMP
00001b96: JUMPDEST
00001b97: SWAP6
00001b98: SWAP5
00001b99: POP
00001b9a: POP
00001b9b: POP
00001b9c: POP
00001b9d: POP
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: PUSH1 0x40
00001ba2: MLOAD
00001ba3: PUSH1 0x01
00001ba5: PUSH1 0x01
00001ba7: PUSH1 0xa0
00001ba9: SHL
00001baa: SUB
00001bab: DUP4
00001bac: AND
00001bad: PUSH1 0x24
00001baf: DUP3
00001bb0: ADD
00001bb1: MSTORE
00001bb2: PUSH1 0x44
00001bb4: DUP2
00001bb5: ADD
00001bb6: DUP3
00001bb7: SWAP1
00001bb8: MSTORE
00001bb9: PUSH2 0x1c02
00001bbc: SWAP1
00001bbd: DUP5
00001bbe: SWAP1
00001bbf: PUSH4 0xa9059cbb
00001bc4: PUSH1 0xe0
00001bc6: SHL
00001bc7: SWAP1
00001bc8: PUSH1 0x64
00001bca: ADD
00001bcb: JUMPDEST
00001bcc: PUSH1 0x40
00001bce: DUP1
00001bcf: MLOAD
00001bd0: PUSH1 0x1f
00001bd2: NOT
00001bd3: DUP2
00001bd4: DUP5
00001bd5: SUB
00001bd6: ADD
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: SWAP2
00001bda: SWAP1
00001bdb: MSTORE
00001bdc: PUSH1 0x20
00001bde: DUP2
00001bdf: ADD
00001be0: DUP1
00001be1: MLOAD
00001be2: PUSH1 0x01
00001be4: PUSH1 0x01
00001be6: PUSH1 0xe0
00001be8: SHL
00001be9: SUB
00001bea: AND
00001beb: PUSH1 0x01
00001bed: PUSH1 0x01
00001bef: PUSH1 0xe0
00001bf1: SHL
00001bf2: SUB
00001bf3: NOT
00001bf4: SWAP1
00001bf5: SWAP4
00001bf6: AND
00001bf7: SWAP3
00001bf8: SWAP1
00001bf9: SWAP3
00001bfa: OR
00001bfb: SWAP1
00001bfc: SWAP2
00001bfd: MSTORE
00001bfe: PUSH2 0x1d7a
00001c01: JUMP
00001c02: JUMPDEST
00001c03: POP
00001c04: POP
00001c05: POP
00001c06: JUMP
00001c07: JUMPDEST
00001c08: PUSH1 0x00
00001c0a: DUP2
00001c0b: DUP4
00001c0c: GT
00001c0d: PUSH2 0x1c16
00001c10: JUMPI
00001c11: DUP2
00001c12: PUSH2 0x1c18
00001c15: JUMP
00001c16: JUMPDEST
00001c17: DUP3
00001c18: JUMPDEST
00001c19: SWAP4
00001c1a: SWAP3
00001c1b: POP
00001c1c: POP
00001c1d: POP
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: PUSH1 0x00
00001c22: DUP2
00001c23: DUP4
00001c24: LT
00001c25: PUSH2 0x1c16
00001c28: JUMPI
00001c29: DUP2
00001c2a: PUSH2 0x1c18
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: PUSH1 0x33
00001c31: DUP1
00001c32: SLOAD
00001c33: PUSH1 0x01
00001c35: PUSH1 0x01
00001c37: PUSH1 0xa0
00001c39: SHL
00001c3a: SUB
00001c3b: DUP4
00001c3c: DUP2
00001c3d: AND
00001c3e: PUSH1 0x01
00001c40: PUSH1 0x01
00001c42: PUSH1 0xa0
00001c44: SHL
00001c45: SUB
00001c46: NOT
00001c47: DUP4
00001c48: AND
00001c49: DUP2
00001c4a: OR
00001c4b: SWAP1
00001c4c: SWAP4
00001c4d: SSTORE
00001c4e: PUSH1 0x40
00001c50: MLOAD
00001c51: SWAP2
00001c52: AND
00001c53: SWAP2
00001c54: SWAP1
00001c55: DUP3
00001c56: SWAP1
00001c57: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001c78: SWAP1
00001c79: PUSH1 0x00
00001c7b: SWAP1
00001c7c: LOG3
00001c7d: POP
00001c7e: POP
00001c7f: JUMP
00001c80: JUMPDEST
00001c81: PUSH1 0x00
00001c83: DUP1
00001c84: SLOAD
00001c85: PUSH2 0x0100
00001c88: SWAP1
00001c89: DIV
00001c8a: PUSH1 0xff
00001c8c: AND
00001c8d: ISZERO
00001c8e: PUSH2 0x1cc7
00001c91: JUMPI
00001c92: DUP2
00001c93: PUSH1 0xff
00001c95: AND
00001c96: PUSH1 0x01
00001c98: EQ
00001c99: DUP1
00001c9a: ISZERO
00001c9b: PUSH2 0x1ca3
00001c9e: JUMPI
00001c9f: POP
00001ca0: ADDRESS
00001ca1: EXTCODESIZE
00001ca2: ISZERO
00001ca3: JUMPDEST
00001ca4: PUSH2 0x1cbf
00001ca7: JUMPI
00001ca8: PUSH1 0x40
00001caa: MLOAD
00001cab: PUSH3 0x461bcd
00001caf: PUSH1 0xe5
00001cb1: SHL
00001cb2: DUP2
00001cb3: MSTORE
00001cb4: PUSH1 0x04
00001cb6: ADD
00001cb7: PUSH2 0x04b3
00001cba: SWAP1
00001cbb: PUSH2 0x23c1
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: POP
00001cc1: PUSH1 0x00
00001cc3: SWAP2
00001cc4: SWAP1
00001cc5: POP
00001cc6: JUMP
00001cc7: JUMPDEST
00001cc8: PUSH1 0x00
00001cca: SLOAD
00001ccb: PUSH1 0xff
00001ccd: DUP1
00001cce: DUP5
00001ccf: AND
00001cd0: SWAP2
00001cd1: AND
00001cd2: LT
00001cd3: PUSH2 0x1cee
00001cd6: JUMPI
00001cd7: PUSH1 0x40
00001cd9: MLOAD
00001cda: PUSH3 0x461bcd
00001cde: PUSH1 0xe5
00001ce0: SHL
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x04
00001ce5: ADD
00001ce6: PUSH2 0x04b3
00001ce9: SWAP1
00001cea: PUSH2 0x23c1
00001ced: JUMP
00001cee: JUMPDEST
00001cef: POP
00001cf0: PUSH1 0x00
00001cf2: DUP1
00001cf3: SLOAD
00001cf4: PUSH1 0xff
00001cf6: NOT
00001cf7: AND
00001cf8: PUSH1 0xff
00001cfa: SWAP3
00001cfb: SWAP1
00001cfc: SWAP3
00001cfd: AND
00001cfe: SWAP2
00001cff: SWAP1
00001d00: SWAP2
00001d01: OR
00001d02: SWAP1
00001d03: SSTORE
00001d04: PUSH1 0x01
00001d06: SWAP1
00001d07: JUMP
00001d08: JUMPDEST
00001d09: SWAP2
00001d0a: SWAP1
00001d0b: POP
00001d0c: JUMP
00001d0d: JUMPDEST
00001d0e: PUSH1 0x00
00001d10: SLOAD
00001d11: PUSH2 0x0100
00001d14: SWAP1
00001d15: DIV
00001d16: PUSH1 0xff
00001d18: AND
00001d19: PUSH2 0x1d34
00001d1c: JUMPI
00001d1d: PUSH1 0x40
00001d1f: MLOAD
00001d20: PUSH3 0x461bcd
00001d24: PUSH1 0xe5
00001d26: SHL
00001d27: DUP2
00001d28: MSTORE
00001d29: PUSH1 0x04
00001d2b: ADD
00001d2c: PUSH2 0x04b3
00001d2f: SWAP1
00001d30: PUSH2 0x240f
00001d33: JUMP
00001d34: JUMPDEST
00001d35: PUSH2 0x0e86
00001d38: PUSH2 0x1e4c
00001d3b: JUMP
00001d3c: JUMPDEST
00001d3d: PUSH1 0x40
00001d3f: MLOAD
00001d40: PUSH1 0x01
00001d42: PUSH1 0x01
00001d44: PUSH1 0xa0
00001d46: SHL
00001d47: SUB
00001d48: DUP1
00001d49: DUP6
00001d4a: AND
00001d4b: PUSH1 0x24
00001d4d: DUP4
00001d4e: ADD
00001d4f: MSTORE
00001d50: DUP4
00001d51: AND
00001d52: PUSH1 0x44
00001d54: DUP3
00001d55: ADD
00001d56: MSTORE
00001d57: PUSH1 0x64
00001d59: DUP2
00001d5a: ADD
00001d5b: DUP3
00001d5c: SWAP1
00001d5d: MSTORE
00001d5e: PUSH2 0x1d74
00001d61: SWAP1
00001d62: DUP6
00001d63: SWAP1
00001d64: PUSH4 0x23b872dd
00001d69: PUSH1 0xe0
00001d6b: SHL
00001d6c: SWAP1
00001d6d: PUSH1 0x84
00001d6f: ADD
00001d70: PUSH2 0x1bcb
00001d73: JUMP
00001d74: JUMPDEST
00001d75: POP
00001d76: POP
00001d77: POP
00001d78: POP
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH1 0x00
00001d7d: PUSH2 0x1dcf
00001d80: DUP3
00001d81: PUSH1 0x40
00001d83: MLOAD
00001d84: DUP1
00001d85: PUSH1 0x40
00001d87: ADD
00001d88: PUSH1 0x40
00001d8a: MSTORE
00001d8b: DUP1
00001d8c: PUSH1 0x20
00001d8e: DUP2
00001d8f: MSTORE
00001d90: PUSH1 0x20
00001d92: ADD
00001d93: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001db4: DUP2
00001db5: MSTORE
00001db6: POP
00001db7: DUP6
00001db8: PUSH1 0x01
00001dba: PUSH1 0x01
00001dbc: PUSH1 0xa0
00001dbe: SHL
00001dbf: SUB
00001dc0: AND
00001dc1: PUSH2 0x1e7c
00001dc4: SWAP1
00001dc5: SWAP3
00001dc6: SWAP2
00001dc7: SWAP1
00001dc8: PUSH4 0xffffffff
00001dcd: AND
00001dce: JUMP
00001dcf: JUMPDEST
00001dd0: DUP1
00001dd1: MLOAD
00001dd2: SWAP1
00001dd3: SWAP2
00001dd4: POP
00001dd5: ISZERO
00001dd6: PUSH2 0x1c02
00001dd9: JUMPI
00001dda: DUP1
00001ddb: DUP1
00001ddc: PUSH1 0x20
00001dde: ADD
00001ddf: SWAP1
00001de0: MLOAD
00001de1: DUP2
00001de2: ADD
00001de3: SWAP1
00001de4: PUSH2 0x1ded
00001de7: SWAP2
00001de8: SWAP1
00001de9: PUSH2 0x245a
00001dec: JUMP
00001ded: JUMPDEST
00001dee: PUSH2 0x1c02
00001df1: JUMPI
00001df2: PUSH1 0x40
00001df4: MLOAD
00001df5: PUSH3 0x461bcd
00001df9: PUSH1 0xe5
00001dfb: SHL
00001dfc: DUP2
00001dfd: MSTORE
00001dfe: PUSH1 0x20
00001e00: PUSH1 0x04
00001e02: DUP3
00001e03: ADD
00001e04: MSTORE
00001e05: PUSH1 0x2a
00001e07: PUSH1 0x24
00001e09: DUP3
00001e0a: ADD
00001e0b: MSTORE
00001e0c: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001e2d: PUSH1 0x44
00001e2f: DUP3
00001e30: ADD
00001e31: MSTORE
00001e32: PUSH10 0x1bdd081cdd58d8d95959
00001e3d: PUSH1 0xb2
00001e3f: SHL
00001e40: PUSH1 0x64
00001e42: DUP3
00001e43: ADD
00001e44: MSTORE
00001e45: PUSH1 0x84
00001e47: ADD
00001e48: PUSH2 0x04b3
00001e4b: JUMP
00001e4c: JUMPDEST
00001e4d: PUSH1 0x00
00001e4f: SLOAD
00001e50: PUSH2 0x0100
00001e53: SWAP1
00001e54: DIV
00001e55: PUSH1 0xff
00001e57: AND
00001e58: PUSH2 0x1e73
00001e5b: JUMPI
00001e5c: PUSH1 0x40
00001e5e: MLOAD
00001e5f: PUSH3 0x461bcd
00001e63: PUSH1 0xe5
00001e65: SHL
00001e66: DUP2
00001e67: MSTORE
00001e68: PUSH1 0x04
00001e6a: ADD
00001e6b: PUSH2 0x04b3
00001e6e: SWAP1
00001e6f: PUSH2 0x240f
00001e72: JUMP
00001e73: JUMPDEST
00001e74: PUSH2 0x0e86
00001e77: CALLER
00001e78: PUSH2 0x1c2e
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH1 0x60
00001e7f: PUSH2 0x1e8b
00001e82: DUP5
00001e83: DUP5
00001e84: PUSH1 0x00
00001e86: DUP6
00001e87: PUSH2 0x1e93
00001e8a: JUMP
00001e8b: JUMPDEST
00001e8c: SWAP5
00001e8d: SWAP4
00001e8e: POP
00001e8f: POP
00001e90: POP
00001e91: POP
00001e92: JUMP
00001e93: JUMPDEST
00001e94: PUSH1 0x60
00001e96: DUP3
00001e97: SELFBALANCE
00001e98: LT
00001e99: ISZERO
00001e9a: PUSH2 0x1ef4
00001e9d: JUMPI
00001e9e: PUSH1 0x40
00001ea0: MLOAD
00001ea1: PUSH3 0x461bcd
00001ea5: PUSH1 0xe5
00001ea7: SHL
00001ea8: DUP2
00001ea9: MSTORE
00001eaa: PUSH1 0x20
00001eac: PUSH1 0x04
00001eae: DUP3
00001eaf: ADD
00001eb0: MSTORE
00001eb1: PUSH1 0x26
00001eb3: PUSH1 0x24
00001eb5: DUP3
00001eb6: ADD
00001eb7: MSTORE
00001eb8: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001ed9: PUSH1 0x44
00001edb: DUP3
00001edc: ADD
00001edd: MSTORE
00001ede: PUSH6 0x1c8818d85b1b
00001ee5: PUSH1 0xd2
00001ee7: SHL
00001ee8: PUSH1 0x64
00001eea: DUP3
00001eeb: ADD
00001eec: MSTORE
00001eed: PUSH1 0x84
00001eef: ADD
00001ef0: PUSH2 0x04b3
00001ef3: JUMP
00001ef4: JUMPDEST
00001ef5: PUSH1 0x01
00001ef7: PUSH1 0x01
00001ef9: PUSH1 0xa0
00001efb: SHL
00001efc: SUB
00001efd: DUP6
00001efe: AND
00001eff: EXTCODESIZE
00001f00: PUSH2 0x1f4b
00001f03: JUMPI
00001f04: PUSH1 0x40
00001f06: MLOAD
00001f07: PUSH3 0x461bcd
00001f0b: PUSH1 0xe5
00001f0d: SHL
00001f0e: DUP2
00001f0f: MSTORE
00001f10: PUSH1 0x20
00001f12: PUSH1 0x04
00001f14: DUP3
00001f15: ADD
00001f16: MSTORE
00001f17: PUSH1 0x1d
00001f19: PUSH1 0x24
00001f1b: DUP3
00001f1c: ADD
00001f1d: MSTORE
00001f1e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001f3f: PUSH1 0x44
00001f41: DUP3
00001f42: ADD
00001f43: MSTORE
00001f44: PUSH1 0x64
00001f46: ADD
00001f47: PUSH2 0x04b3
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: PUSH1 0x00
00001f4e: DUP1
00001f4f: DUP7
00001f50: PUSH1 0x01
00001f52: PUSH1 0x01
00001f54: PUSH1 0xa0
00001f56: SHL
00001f57: SUB
00001f58: AND
00001f59: DUP6
00001f5a: DUP8
00001f5b: PUSH1 0x40
00001f5d: MLOAD
00001f5e: PUSH2 0x1f67
00001f61: SWAP2
00001f62: SWAP1
00001f63: PUSH2 0x24a0
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x00
00001f6a: PUSH1 0x40
00001f6c: MLOAD
00001f6d: DUP1
00001f6e: DUP4
00001f6f: SUB
00001f70: DUP2
00001f71: DUP6
00001f72: DUP8
00001f73: GAS
00001f74: CALL
00001f75: SWAP3
00001f76: POP
00001f77: POP
00001f78: POP
00001f79: RETURNDATASIZE
00001f7a: DUP1
00001f7b: PUSH1 0x00
00001f7d: DUP2
00001f7e: EQ
00001f7f: PUSH2 0x1fa4
00001f82: JUMPI
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: SWAP2
00001f87: POP
00001f88: PUSH1 0x1f
00001f8a: NOT
00001f8b: PUSH1 0x3f
00001f8d: RETURNDATASIZE
00001f8e: ADD
00001f8f: AND
00001f90: DUP3
00001f91: ADD
00001f92: PUSH1 0x40
00001f94: MSTORE
00001f95: RETURNDATASIZE
00001f96: DUP3
00001f97: MSTORE
00001f98: RETURNDATASIZE
00001f99: PUSH1 0x00
00001f9b: PUSH1 0x20
00001f9d: DUP5
00001f9e: ADD
00001f9f: RETURNDATACOPY
00001fa0: PUSH2 0x1fa9
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: PUSH1 0x60
00001fa7: SWAP2
00001fa8: POP
00001fa9: JUMPDEST
00001faa: POP
00001fab: SWAP2
00001fac: POP
00001fad: SWAP2
00001fae: POP
00001faf: PUSH2 0x1fb9
00001fb2: DUP3
00001fb3: DUP3
00001fb4: DUP7
00001fb5: PUSH2 0x1fc4
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: SWAP8
00001fbb: SWAP7
00001fbc: POP
00001fbd: POP
00001fbe: POP
00001fbf: POP
00001fc0: POP
00001fc1: POP
00001fc2: POP
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: PUSH1 0x60
00001fc7: DUP4
00001fc8: ISZERO
00001fc9: PUSH2 0x1fd3
00001fcc: JUMPI
00001fcd: POP
00001fce: DUP2
00001fcf: PUSH2 0x1c18
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: DUP3
00001fd5: MLOAD
00001fd6: ISZERO
00001fd7: PUSH2 0x1fe3
00001fda: JUMPI
00001fdb: DUP3
00001fdc: MLOAD
00001fdd: DUP1
00001fde: DUP5
00001fdf: PUSH1 0x20
00001fe1: ADD
00001fe2: REVERT
00001fe3: JUMPDEST
00001fe4: DUP2
00001fe5: PUSH1 0x40
00001fe7: MLOAD
00001fe8: PUSH3 0x461bcd
00001fec: PUSH1 0xe5
00001fee: SHL
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x04
00001ff3: ADD
00001ff4: PUSH2 0x04b3
00001ff7: SWAP2
00001ff8: SWAP1
00001ff9: PUSH2 0x24bc
00001ffc: JUMP
00001ffd: JUMPDEST
00001ffe: PUSH1 0x00
00002000: DUP1
00002001: PUSH1 0x40
00002003: DUP4
00002004: DUP6
00002005: SUB
00002006: SLT
00002007: ISZERO
00002008: PUSH2 0x2010
0000200b: JUMPI
0000200c: PUSH1 0x00
0000200e: DUP1
0000200f: REVERT
00002010: JUMPDEST
00002011: POP
00002012: POP
00002013: DUP1
00002014: CALLDATALOAD
00002015: SWAP3
00002016: PUSH1 0x20
00002018: SWAP1
00002019: SWAP2
0000201a: ADD
0000201b: CALLDATALOAD
0000201c: SWAP2
0000201d: POP
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH1 0x00
00002022: PUSH1 0x20
00002024: DUP3
00002025: DUP5
00002026: SUB
00002027: SLT
00002028: ISZERO
00002029: PUSH2 0x2031
0000202c: JUMPI
0000202d: PUSH1 0x00
0000202f: DUP1
00002030: REVERT
00002031: JUMPDEST
00002032: POP
00002033: CALLDATALOAD
00002034: SWAP2
00002035: SWAP1
00002036: POP
00002037: JUMP
00002038: JUMPDEST
00002039: DUP1
0000203a: CALLDATALOAD
0000203b: PUSH1 0x01
0000203d: PUSH1 0x01
0000203f: PUSH1 0xa0
00002041: SHL
00002042: SUB
00002043: DUP2
00002044: AND
00002045: DUP2
00002046: EQ
00002047: PUSH2 0x1d08
0000204a: JUMPI
0000204b: PUSH1 0x00
0000204d: DUP1
0000204e: REVERT
0000204f: JUMPDEST
00002050: PUSH1 0x00
00002052: DUP1
00002053: PUSH1 0x40
00002055: DUP4
00002056: DUP6
00002057: SUB
00002058: SLT
00002059: ISZERO
0000205a: PUSH2 0x2062
0000205d: JUMPI
0000205e: PUSH1 0x00
00002060: DUP1
00002061: REVERT
00002062: JUMPDEST
00002063: PUSH2 0x206b
00002066: DUP4
00002067: PUSH2 0x2038
0000206a: JUMP
0000206b: JUMPDEST
0000206c: SWAP5
0000206d: PUSH1 0x20
0000206f: SWAP4
00002070: SWAP1
00002071: SWAP4
00002072: ADD
00002073: CALLDATALOAD
00002074: SWAP4
00002075: POP
00002076: POP
00002077: POP
00002078: JUMP
00002079: JUMPDEST
0000207a: PUSH1 0x20
0000207c: DUP1
0000207d: DUP3
0000207e: MSTORE
0000207f: DUP3
00002080: MLOAD
00002081: DUP3
00002082: DUP3
00002083: ADD
00002084: DUP2
00002085: SWAP1
00002086: MSTORE
00002087: PUSH1 0x00
00002089: SWAP2
0000208a: DUP5
0000208b: ADD
0000208c: SWAP1
0000208d: PUSH1 0x40
0000208f: DUP5
00002090: ADD
00002091: SWAP1
00002092: DUP4
00002093: JUMPDEST
00002094: DUP2
00002095: DUP2
00002096: LT
00002097: ISZERO
00002098: PUSH2 0x2143
0000209b: JUMPI
0000209c: DUP4
0000209d: MLOAD
0000209e: DUP1
0000209f: MLOAD
000020a0: PUSH1 0x01
000020a2: PUSH1 0x01
000020a4: PUSH1 0xa0
000020a6: SHL
000020a7: SUB
000020a8: AND
000020a9: DUP5
000020aa: MSTORE
000020ab: PUSH1 0x20
000020ad: DUP2
000020ae: ADD
000020af: MLOAD
000020b0: PUSH2 0x20c4
000020b3: PUSH1 0x20
000020b5: DUP7
000020b6: ADD
000020b7: DUP3
000020b8: PUSH1 0x01
000020ba: PUSH1 0x01
000020bc: PUSH1 0xa0
000020be: SHL
000020bf: SUB
000020c0: AND
000020c1: SWAP1
000020c2: MSTORE
000020c3: JUMP
000020c4: JUMPDEST
000020c5: POP
000020c6: PUSH1 0x40
000020c8: DUP2
000020c9: ADD
000020ca: MLOAD
000020cb: PUSH1 0x40
000020cd: DUP6
000020ce: ADD
000020cf: MSTORE
000020d0: PUSH1 0x60
000020d2: DUP2
000020d3: ADD
000020d4: MLOAD
000020d5: PUSH1 0x60
000020d7: DUP6
000020d8: ADD
000020d9: MSTORE
000020da: PUSH1 0x80
000020dc: DUP2
000020dd: ADD
000020de: MLOAD
000020df: PUSH1 0x80
000020e1: DUP6
000020e2: ADD
000020e3: MSTORE
000020e4: PUSH1 0xa0
000020e6: DUP2
000020e7: ADD
000020e8: MLOAD
000020e9: PUSH1 0xa0
000020eb: DUP6
000020ec: ADD
000020ed: MSTORE
000020ee: PUSH1 0xc0
000020f0: DUP2
000020f1: ADD
000020f2: MLOAD
000020f3: PUSH1 0xc0
000020f5: DUP6
000020f6: ADD
000020f7: MSTORE
000020f8: PUSH1 0xe0
000020fa: DUP2
000020fb: ADD
000020fc: MLOAD
000020fd: PUSH1 0xe0
000020ff: DUP6
00002100: ADD
00002101: MSTORE
00002102: PUSH2 0x0100
00002105: DUP2
00002106: ADD
00002107: MLOAD
00002108: PUSH2 0x0100
0000210b: DUP6
0000210c: ADD
0000210d: MSTORE
0000210e: PUSH2 0x0120
00002111: DUP2
00002112: ADD
00002113: MLOAD
00002114: SWAP1
00002115: POP
00002116: PUSH2 0x212b
00002119: PUSH2 0x0120
0000211c: DUP6
0000211d: ADD
0000211e: DUP3
0000211f: PUSH1 0x01
00002121: PUSH1 0x01
00002123: PUSH1 0xa0
00002125: SHL
00002126: SUB
00002127: AND
00002128: SWAP1
00002129: MSTORE
0000212a: JUMP
0000212b: JUMPDEST
0000212c: POP
0000212d: PUSH1 0x20
0000212f: SWAP4
00002130: SWAP1
00002131: SWAP4
00002132: ADD
00002133: SWAP3
00002134: PUSH2 0x0140
00002137: SWAP3
00002138: SWAP1
00002139: SWAP3
0000213a: ADD
0000213b: SWAP2
0000213c: PUSH1 0x01
0000213e: ADD
0000213f: PUSH2 0x2093
00002142: JUMP
00002143: JUMPDEST
00002144: POP
00002145: SWAP1
00002146: SWAP6
00002147: SWAP5
00002148: POP
00002149: POP
0000214a: POP
0000214b: POP
0000214c: POP
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH1 0x00
00002151: PUSH1 0x20
00002153: DUP3
00002154: DUP5
00002155: SUB
00002156: SLT
00002157: ISZERO
00002158: PUSH2 0x2160
0000215b: JUMPI
0000215c: PUSH1 0x00
0000215e: DUP1
0000215f: REVERT
00002160: JUMPDEST
00002161: PUSH2 0x1c18
00002164: DUP3
00002165: PUSH2 0x2038
00002168: JUMP
00002169: JUMPDEST
0000216a: PUSH1 0x00
0000216c: DUP1
0000216d: PUSH1 0x00
0000216f: DUP1
00002170: PUSH1 0x00
00002172: DUP1
00002173: PUSH1 0xc0
00002175: DUP8
00002176: DUP10
00002177: SUB
00002178: SLT
00002179: ISZERO
0000217a: PUSH2 0x2182
0000217d: JUMPI
0000217e: PUSH1 0x00
00002180: DUP1
00002181: REVERT
00002182: JUMPDEST
00002183: PUSH2 0x218b
00002186: DUP8
00002187: PUSH2 0x2038
0000218a: JUMP
0000218b: JUMPDEST
0000218c: SWAP6
0000218d: POP
0000218e: PUSH2 0x2199
00002191: PUSH1 0x20
00002193: DUP9
00002194: ADD
00002195: PUSH2 0x2038
00002198: JUMP
00002199: JUMPDEST
0000219a: SWAP6
0000219b: SWAP9
0000219c: SWAP6
0000219d: SWAP8
0000219e: POP
0000219f: POP
000021a0: POP
000021a1: POP
000021a2: PUSH1 0x40
000021a4: DUP5
000021a5: ADD
000021a6: CALLDATALOAD
000021a7: SWAP4
000021a8: PUSH1 0x60
000021aa: DUP2
000021ab: ADD
000021ac: CALLDATALOAD
000021ad: SWAP4
000021ae: PUSH1 0x80
000021b0: DUP3
000021b1: ADD
000021b2: CALLDATALOAD
000021b3: SWAP4
000021b4: POP
000021b5: PUSH1 0xa0
000021b7: SWAP1
000021b8: SWAP2
000021b9: ADD
000021ba: CALLDATALOAD
000021bb: SWAP2
000021bc: POP
000021bd: JUMP
000021be: JUMPDEST
000021bf: PUSH4 0x4e487b71
000021c4: PUSH1 0xe0
000021c6: SHL
000021c7: PUSH1 0x00
000021c9: MSTORE
000021ca: PUSH1 0x32
000021cc: PUSH1 0x04
000021ce: MSTORE
000021cf: PUSH1 0x24
000021d1: PUSH1 0x00
000021d3: REVERT
000021d4: JUMPDEST
000021d5: PUSH4 0x4e487b71
000021da: PUSH1 0xe0
000021dc: SHL
000021dd: PUSH1 0x00
000021df: MSTORE
000021e0: PUSH1 0x11
000021e2: PUSH1 0x04
000021e4: MSTORE
000021e5: PUSH1 0x24
000021e7: PUSH1 0x00
000021e9: REVERT
000021ea: JUMPDEST
000021eb: DUP2
000021ec: DUP2
000021ed: SUB
000021ee: DUP2
000021ef: DUP2
000021f0: GT
000021f1: ISZERO
000021f2: PUSH2 0x0ece
000021f5: JUMPI
000021f6: PUSH2 0x0ece
000021f9: PUSH2 0x21d4
000021fc: JUMP
000021fd: JUMPDEST
000021fe: DUP1
000021ff: DUP3
00002200: MUL
00002201: DUP2
00002202: ISZERO
00002203: DUP3
00002204: DUP3
00002205: DIV
00002206: DUP5
00002207: EQ
00002208: OR
00002209: PUSH2 0x0ece
0000220c: JUMPI
0000220d: PUSH2 0x0ece
00002210: PUSH2 0x21d4
00002213: JUMP
00002214: JUMPDEST
00002215: PUSH1 0x00
00002217: DUP3
00002218: PUSH2 0x2231
0000221b: JUMPI
0000221c: PUSH4 0x4e487b71
00002221: PUSH1 0xe0
00002223: SHL
00002224: PUSH1 0x00
00002226: MSTORE
00002227: PUSH1 0x12
00002229: PUSH1 0x04
0000222b: MSTORE
0000222c: PUSH1 0x24
0000222e: PUSH1 0x00
00002230: REVERT
00002231: JUMPDEST
00002232: POP
00002233: DIV
00002234: SWAP1
00002235: JUMP
00002236: JUMPDEST
00002237: DUP1
00002238: DUP3
00002239: ADD
0000223a: DUP1
0000223b: DUP3
0000223c: GT
0000223d: ISZERO
0000223e: PUSH2 0x0ece
00002241: JUMPI
00002242: PUSH2 0x0ece
00002245: PUSH2 0x21d4
00002248: JUMP
00002249: JUMPDEST
0000224a: PUSH1 0x20
0000224c: DUP1
0000224d: DUP3
0000224e: MSTORE
0000224f: PUSH1 0x1f
00002251: SWAP1
00002252: DUP3
00002253: ADD
00002254: MSTORE
00002255: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002276: PUSH1 0x40
00002278: DUP3
00002279: ADD
0000227a: MSTORE
0000227b: PUSH1 0x60
0000227d: ADD
0000227e: SWAP1
0000227f: JUMP
00002280: JUMPDEST
00002281: PUSH1 0x20
00002283: DUP1
00002284: DUP3
00002285: MSTORE
00002286: DUP2
00002287: DUP2
00002288: ADD
00002289: MSTORE
0000228a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000022ab: PUSH1 0x40
000022ad: DUP3
000022ae: ADD
000022af: MSTORE
000022b0: PUSH1 0x60
000022b2: ADD
000022b3: SWAP1
000022b4: JUMP
000022b5: JUMPDEST
000022b6: PUSH1 0x01
000022b8: DUP2
000022b9: JUMPDEST
000022ba: PUSH1 0x01
000022bc: DUP5
000022bd: GT
000022be: ISZERO
000022bf: PUSH2 0x22f0
000022c2: JUMPI
000022c3: DUP1
000022c4: DUP6
000022c5: DIV
000022c6: DUP2
000022c7: GT
000022c8: ISZERO
000022c9: PUSH2 0x22d4
000022cc: JUMPI
000022cd: PUSH2 0x22d4
000022d0: PUSH2 0x21d4
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH1 0x01
000022d7: DUP5
000022d8: AND
000022d9: ISZERO
000022da: PUSH2 0x22e2
000022dd: JUMPI
000022de: SWAP1
000022df: DUP2
000022e0: MUL
000022e1: SWAP1
000022e2: JUMPDEST
000022e3: PUSH1 0x01
000022e5: SWAP4
000022e6: SWAP1
000022e7: SWAP4
000022e8: SHR
000022e9: SWAP3
000022ea: DUP1
000022eb: MUL
000022ec: PUSH2 0x22b9
000022ef: JUMP
000022f0: JUMPDEST
000022f1: SWAP4
000022f2: POP
000022f3: SWAP4
000022f4: SWAP2
000022f5: POP
000022f6: POP
000022f7: JUMP
000022f8: JUMPDEST
000022f9: PUSH1 0x00
000022fb: DUP3
000022fc: PUSH2 0x2307
000022ff: JUMPI
00002300: POP
00002301: PUSH1 0x01
00002303: PUSH2 0x0ece
00002306: JUMP
00002307: JUMPDEST
00002308: DUP2
00002309: PUSH2 0x2314
0000230c: JUMPI
0000230d: POP
0000230e: PUSH1 0x00
00002310: PUSH2 0x0ece
00002313: JUMP
00002314: JUMPDEST
00002315: DUP2
00002316: PUSH1 0x01
00002318: DUP2
00002319: EQ
0000231a: PUSH2 0x232a
0000231d: JUMPI
0000231e: PUSH1 0x02
00002320: DUP2
00002321: EQ
00002322: PUSH2 0x2334
00002325: JUMPI
00002326: PUSH2 0x2350
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH1 0x01
0000232d: SWAP2
0000232e: POP
0000232f: POP
00002330: PUSH2 0x0ece
00002333: JUMP
00002334: JUMPDEST
00002335: PUSH1 0xff
00002337: DUP5
00002338: GT
00002339: ISZERO
0000233a: PUSH2 0x2345
0000233d: JUMPI
0000233e: PUSH2 0x2345
00002341: PUSH2 0x21d4
00002344: JUMP
00002345: JUMPDEST
00002346: POP
00002347: POP
00002348: PUSH1 0x01
0000234a: DUP3
0000234b: SHL
0000234c: PUSH2 0x0ece
0000234f: JUMP
00002350: JUMPDEST
00002351: POP
00002352: PUSH1 0x20
00002354: DUP4
00002355: LT
00002356: PUSH2 0x0133
00002359: DUP4
0000235a: LT
0000235b: AND
0000235c: PUSH1 0x4e
0000235e: DUP5
0000235f: LT
00002360: PUSH1 0x0b
00002362: DUP5
00002363: LT
00002364: AND
00002365: OR
00002366: ISZERO
00002367: PUSH2 0x2373
0000236a: JUMPI
0000236b: POP
0000236c: DUP2
0000236d: DUP2
0000236e: EXP
0000236f: PUSH2 0x0ece
00002372: JUMP
00002373: JUMPDEST
00002374: PUSH2 0x2380
00002377: PUSH1 0x00
00002379: NOT
0000237a: DUP5
0000237b: DUP5
0000237c: PUSH2 0x22b5
0000237f: JUMP
00002380: JUMPDEST
00002381: DUP1
00002382: PUSH1 0x00
00002384: NOT
00002385: DIV
00002386: DUP3
00002387: GT
00002388: ISZERO
00002389: PUSH2 0x2394
0000238c: JUMPI
0000238d: PUSH2 0x2394
00002390: PUSH2 0x21d4
00002393: JUMP
00002394: JUMPDEST
00002395: MUL
00002396: SWAP4
00002397: SWAP3
00002398: POP
00002399: POP
0000239a: POP
0000239b: JUMP
0000239c: JUMPDEST
0000239d: PUSH1 0x00
0000239f: PUSH2 0x1c18
000023a2: DUP4
000023a3: DUP4
000023a4: PUSH2 0x22f8
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH1 0x00
000023ab: PUSH1 0x20
000023ad: DUP3
000023ae: DUP5
000023af: SUB
000023b0: SLT
000023b1: ISZERO
000023b2: PUSH2 0x23ba
000023b5: JUMPI
000023b6: PUSH1 0x00
000023b8: DUP1
000023b9: REVERT
000023ba: JUMPDEST
000023bb: POP
000023bc: MLOAD
000023bd: SWAP2
000023be: SWAP1
000023bf: POP
000023c0: JUMP
000023c1: JUMPDEST
000023c2: PUSH1 0x20
000023c4: DUP1
000023c5: DUP3
000023c6: MSTORE
000023c7: PUSH1 0x2e
000023c9: SWAP1
000023ca: DUP3
000023cb: ADD
000023cc: MSTORE
000023cd: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000023ee: PUSH1 0x40
000023f0: DUP3
000023f1: ADD
000023f2: MSTORE
000023f3: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00002402: PUSH1 0x92
00002404: SHL
00002405: PUSH1 0x60
00002407: DUP3
00002408: ADD
00002409: MSTORE
0000240a: PUSH1 0x80
0000240c: ADD
0000240d: SWAP1
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH1 0x20
00002412: DUP1
00002413: DUP3
00002414: MSTORE
00002415: PUSH1 0x2b
00002417: SWAP1
00002418: DUP3
00002419: ADD
0000241a: MSTORE
0000241b: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
0000243c: PUSH1 0x40
0000243e: DUP3
0000243f: ADD
00002440: MSTORE
00002441: PUSH11 0x6e697469616c697a696e67
0000244d: PUSH1 0xa8
0000244f: SHL
00002450: PUSH1 0x60
00002452: DUP3
00002453: ADD
00002454: MSTORE
00002455: PUSH1 0x80
00002457: ADD
00002458: SWAP1
00002459: JUMP
0000245a: JUMPDEST
0000245b: PUSH1 0x00
0000245d: PUSH1 0x20
0000245f: DUP3
00002460: DUP5
00002461: SUB
00002462: SLT
00002463: ISZERO
00002464: PUSH2 0x246c
00002467: JUMPI
00002468: PUSH1 0x00
0000246a: DUP1
0000246b: REVERT
0000246c: JUMPDEST
0000246d: DUP2
0000246e: MLOAD
0000246f: DUP1
00002470: ISZERO
00002471: ISZERO
00002472: DUP2
00002473: EQ
00002474: PUSH2 0x1c18
00002477: JUMPI
00002478: PUSH1 0x00
0000247a: DUP1
0000247b: REVERT
0000247c: JUMPDEST
0000247d: PUSH1 0x00
0000247f: JUMPDEST
00002480: DUP4
00002481: DUP2
00002482: LT
00002483: ISZERO
00002484: PUSH2 0x2497
00002487: JUMPI
00002488: DUP2
00002489: DUP2
0000248a: ADD
0000248b: MLOAD
0000248c: DUP4
0000248d: DUP3
0000248e: ADD
0000248f: MSTORE
00002490: PUSH1 0x20
00002492: ADD
00002493: PUSH2 0x247f
00002496: JUMP
00002497: JUMPDEST
00002498: POP
00002499: POP
0000249a: PUSH1 0x00
0000249c: SWAP2
0000249d: ADD
0000249e: MSTORE
0000249f: JUMP
000024a0: JUMPDEST
000024a1: PUSH1 0x00
000024a3: DUP3
000024a4: MLOAD
000024a5: PUSH2 0x24b2
000024a8: DUP2
000024a9: DUP5
000024aa: PUSH1 0x20
000024ac: DUP8
000024ad: ADD
000024ae: PUSH2 0x247c
000024b1: JUMP
000024b2: JUMPDEST
000024b3: SWAP2
000024b4: SWAP1
000024b5: SWAP2
000024b6: ADD
000024b7: SWAP3
000024b8: SWAP2
000024b9: POP
000024ba: POP
000024bb: JUMP
000024bc: JUMPDEST
000024bd: PUSH1 0x20
000024bf: DUP2
000024c0: MSTORE
000024c1: PUSH1 0x00
000024c3: DUP3
000024c4: MLOAD
000024c5: DUP1
000024c6: PUSH1 0x20
000024c8: DUP5
000024c9: ADD
000024ca: MSTORE
000024cb: PUSH2 0x24db
000024ce: DUP2
000024cf: PUSH1 0x40
000024d1: DUP6
000024d2: ADD
000024d3: PUSH1 0x20
000024d5: DUP8
000024d6: ADD
000024d7: PUSH2 0x247c
000024da: JUMP
000024db: JUMPDEST
000024dc: PUSH1 0x1f
000024de: ADD
000024df: PUSH1 0x1f
000024e1: NOT
000024e2: AND
000024e3: SWAP2
000024e4: SWAP1
000024e5: SWAP2
000024e6: ADD
000024e7: PUSH1 0x40
000024e9: ADD
000024ea: SWAP3
000024eb: SWAP2
000024ec: POP
000024ed: POP
000024ee: JUMP
000024ef: INVALID
000024f0: LOG2
000024f1: PUSH5 0x6970667358
000024f7: UNKNOWN(0x22)
000024f8: SLT
000024f9: KECCAK256
000024fa: UNKNOWN(0xEA)
000024fb: PUSH7 0xd039aa14134374
00002503: UNKNOWN(0x22)
00002504: ISZERO
00002505: UNKNOWN(0xFC)
00002506: UNKNOWN(0xFC)
00002507: PUSH18 0x2207093cee6814767b374259b4f51ad477bd
0000251a: PUSH5 0x736f6c6343
00002520: STOP
00002521: ADDMOD
00002522: BYTE
00002523: STOP
00002524: CALLER