Analysis Run

019bb004-7af8-72e8-b6c4-6b17a2944eaa

complete

Chain ID

1

Address

0x5d42bc90d11538c91606c31f3cd00711a94f31c3

Block Number

—

Created

Mon, Jan 12, 2026 2:24 AM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Present

Best current signal

Authorization based on tx.origin

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
39346	artifact.fetch	complete	1 / 3	3 months ago
39347	proxy.resolve	complete	1 / 3	3 months ago
39348	tool.cast_disasm	complete	1 / 3	3 months ago
39349	analysis.bundle	complete	1 / 3	3 months ago
39350	capability.graph	complete	1 / 3	3 months ago
39351	detector.run	complete	1 / 3	3 months ago
39352	validation.fork	complete	1 / 3	3 months ago
39479	report.consolidate	complete	1 / 6	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: no

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

1

No findings?

no

Summary

Detected a likely authorization guard using tx.origin at pc:5875; mapping to specific function(s) is unclear from bytecode, so impact depends on whether this gate protects privileged actions.

View stdout

{"no_findings":false,"summary":"Detected a likely authorization guard using tx.origin at pc:5875; mapping to specific function(s) is unclear from bytecode, so impact depends on whether this gate protects privileged actions.","findings":[{"severity":"medium","category":"auth","title":"Authorization appears to rely on tx.origin","exploit_scenario":"If any privileged path checks tx.origin instead of msg.sender, a phishing-style attack can succeed: an attacker deploys a malicious contract and tricks an authorized EOA into calling it; the malicious contract then invokes the protected function, and tx.origin still equals the victim EOA, bypassing intended access control. Because only a tx.origin check was detected without a mapped sink, this scenario is plausible but unconfirmed for a specific selector.","recommendation":"Replace tx.origin-based authorization with msg.sender checks and explicit role/owner storage. If EOA-only access is required, use msg.sender == tx.origin in addition to proper access control, not as a substitute.","evidence":"Detector reports a tx.origin guard at pc 5875 (no sink mapping available), indicating authorization logic likely uses tx.origin.","locations":["pc:5875"]}]}

View stderr

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

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

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

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

thinking
**Reading BYTECODE_BUNDLE.json file**
exec
/bin/bash -lc ls in /tmp/codex-syyf_fev succeeded in 6ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-syyf_fev succeeded in 8ms:
{
  "analysis_artifact": {
    "address": "0x5d42bc90d11538c91606c31f3cd00711a94f31c3",
    "artifact_hash": "0xb8552552de3b39d5cc0b04d5d7d89fcda9a2a109ee7ed2b7447654f935c4f973",
    "artifact_json": {
      "auth": {
        "guards": [
          {
            "pc": 5875,
            "type": "tx_origin_used"
          }
        ]
      },
      "basic_blocks": [
        {
          "end_pc": 10,
          "hash": "0x479d5afae54978008b1b20509a2d762148e837ae56b6b1fa55aa160c81a0a986",
          "opcodes": [
            "PUSH1",
            "PUSH1",

thinking
**Parsing security findings and evaluating evidence**
exec
/bin/bash -lc 'rg -n "storage|slot|proxy|eip1967|beacon" BYTECODE_BUNDLE.json' in /tmp/codex-syyf_fev succeeded in 17ms:
9793:          "storage": {
9795:            "slots": [
9799:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000017"
9804:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000a"
9809:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000015"
9814:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000014"
9819:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000a"
9824:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000c"
9829:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000017"
9834:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000c"
9839:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000016"
9844:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000015"
9849:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000007"
9854:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000008"
9859:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000009"
9864:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000015"
9869:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000e"
9874:                "slot": "0x000000000000000000000000000000000000000000000000000000000000000f"
9879:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000010"
9884:                "slot": "0x0000000000000000000000000000000000000000000000000000000000000011"

thinking
**Summarizing potential auth vulnerability**
codex
{"no_findings":false,"summary":"Detected a likely authorization guard using tx.origin at pc:5875; mapping to specific function(s) is unclear from bytecode, so impact depends on whether this gate protects privileged actions.","findings":[{"severity":"medium","category":"auth","title":"Authorization appears to rely on tx.origin","exploit_scenario":"If any privileged path checks tx.origin instead of msg.sender, a phishing-style attack can succeed: an attacker deploys a malicious contract and tricks an authorized EOA into calling it; the malicious contract then invokes the protected function, and tx.origin still equals the victim EOA, bypassing intended access control. Because only a tx.origin check was detected without a mapped sink, this scenario is plausible but unconfirmed for a specific selector.","recommendation":"Replace tx.origin-based authorization with msg.sender checks and explicit role/owner storage. If EOA-only access is required, use msg.sender == tx.origin in addition to proper access control, not as a substitute.","evidence":"Detector reports a tx.origin guard at pc 5875 (no sink mapping available), indicating authorization logic likely uses tx.origin.","locations":["pc:5875"]}]}
tokens used
34,096

Metadata

{
    "codex": {
        "ran_at": "2026-01-12T02:56:59.801703+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 11820,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Detected a likely authorization guard using tx.origin at pc:5875; mapping to specific function(s) is unclear from bytecode, so impact depends on whether this gate protects privileged actions.",
    "raw_final": {
        "summary": "Detected a likely authorization guard using tx.origin at pc:5875; mapping to specific function(s) is unclear from bytecode, so impact depends on whether this gate protects privileged actions.",
        "findings": [
            {
                "title": "Authorization appears to rely on tx.origin",
                "category": "auth",
                "evidence": "Detector reports a tx.origin guard at pc 5875 (no sink mapping available), indicating authorization logic likely uses tx.origin.",
                "severity": "medium",
                "locations": [
                    "pc:5875"
                ],
                "recommendation": "Replace tx.origin-based authorization with msg.sender checks and explicit role/owner storage. If EOA-only access is required, use msg.sender == tx.origin in addition to proper access control, not as a substitute.",
                "exploit_scenario": "If any privileged path checks tx.origin instead of msg.sender, a phishing-style attack can succeed: an attacker deploys a malicious contract and tricks an authorized EOA into calling it; the malicious contract then invokes the protected function, and tx.origin still equals the victim EOA, bypassing intended access control. Because only a tx.origin check was detected without a mapped sink, this scenario is plausible but unconfirmed for a specific selector."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

9

EXT*/BALANCE

8

Total opcodes

4082

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00bf
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0d15fd77
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x00d2
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x2e6dbdf9
0000002b: EQ
0000002c: PUSH2 0x00f7
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x2e854433
00000036: EQ
00000037: PUSH2 0x010c
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x47799092
00000041: EQ
00000042: PUSH2 0x0121
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x4783c35b
0000004c: EQ
0000004d: PUSH2 0x0139
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x4b60ce77
00000057: EQ
00000058: PUSH2 0x0168
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x4fb2e45d
00000062: EQ
00000063: PUSH2 0x0197
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x5afb6ba5
0000006d: EQ
0000006e: PUSH2 0x01b8
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x750142e6
00000078: EQ
00000079: PUSH2 0x0202
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x81f4be5e
00000083: EQ
00000084: PUSH2 0x0227
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x84bcefd4
0000008e: EQ
0000008f: PUSH2 0x0256
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x8da5cb5b
00000099: EQ
0000009a: PUSH2 0x027b
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x96c82e57
000000a4: EQ
000000a5: PUSH2 0x02aa
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xa0684251
000000af: EQ
000000b0: PUSH2 0x02cf
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xe3bce10e
000000ba: EQ
000000bb: PUSH2 0x02f4
000000be: JUMPI
000000bf: JUMPDEST
000000c0: JUMPDEST
000000c1: PUSH2 0x00cc
000000c4: PUSH1 0x17
000000c6: SLOAD
000000c7: CALLVALUE
000000c8: PUSH2 0x0309
000000cb: JUMP
000000cc: JUMPDEST
000000cd: PUSH1 0x17
000000cf: SSTORE
000000d0: JUMPDEST
000000d1: STOP
000000d2: JUMPDEST
000000d3: CALLVALUE
000000d4: ISZERO
000000d5: PUSH2 0x00dd
000000d8: JUMPI
000000d9: PUSH1 0x00
000000db: DUP1
000000dc: REVERT
000000dd: JUMPDEST
000000de: PUSH2 0x00e5
000000e1: PUSH2 0x0331
000000e4: JUMP
000000e5: JUMPDEST
000000e6: PUSH1 0x40
000000e8: MLOAD
000000e9: SWAP1
000000ea: DUP2
000000eb: MSTORE
000000ec: PUSH1 0x20
000000ee: ADD
000000ef: PUSH1 0x40
000000f1: MLOAD
000000f2: DUP1
000000f3: SWAP2
000000f4: SUB
000000f5: SWAP1
000000f6: RETURN
000000f7: JUMPDEST
000000f8: CALLVALUE
000000f9: ISZERO
000000fa: PUSH2 0x0102
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: PUSH2 0x00d0
00000106: PUSH2 0x0337
00000109: JUMP
0000010a: JUMPDEST
0000010b: STOP
0000010c: JUMPDEST
0000010d: CALLVALUE
0000010e: ISZERO
0000010f: PUSH2 0x0117
00000112: JUMPI
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: PUSH2 0x00d0
0000011b: PUSH2 0x053f
0000011e: JUMP
0000011f: JUMPDEST
00000120: STOP
00000121: JUMPDEST
00000122: CALLVALUE
00000123: ISZERO
00000124: PUSH2 0x012c
00000127: JUMPI
00000128: PUSH1 0x00
0000012a: DUP1
0000012b: REVERT
0000012c: JUMPDEST
0000012d: PUSH2 0x00d0
00000130: PUSH1 0x04
00000132: CALLDATALOAD
00000133: PUSH2 0x07d1
00000136: JUMP
00000137: JUMPDEST
00000138: STOP
00000139: JUMPDEST
0000013a: CALLVALUE
0000013b: ISZERO
0000013c: PUSH2 0x0144
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: PUSH2 0x014c
00000148: PUSH2 0x0a92
0000014b: JUMP
0000014c: JUMPDEST
0000014d: PUSH1 0x40
0000014f: MLOAD
00000150: PUSH1 0x01
00000152: PUSH1 0xa0
00000154: PUSH1 0x02
00000156: EXP
00000157: SUB
00000158: SWAP1
00000159: SWAP2
0000015a: AND
0000015b: DUP2
0000015c: MSTORE
0000015d: PUSH1 0x20
0000015f: ADD
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: SWAP2
00000165: SUB
00000166: SWAP1
00000167: RETURN
00000168: JUMPDEST
00000169: CALLVALUE
0000016a: ISZERO
0000016b: PUSH2 0x0173
0000016e: JUMPI
0000016f: PUSH1 0x00
00000171: DUP1
00000172: REVERT
00000173: JUMPDEST
00000174: PUSH2 0x014c
00000177: PUSH2 0x0aa1
0000017a: JUMP
0000017b: JUMPDEST
0000017c: PUSH1 0x40
0000017e: MLOAD
0000017f: PUSH1 0x01
00000181: PUSH1 0xa0
00000183: PUSH1 0x02
00000185: EXP
00000186: SUB
00000187: SWAP1
00000188: SWAP2
00000189: AND
0000018a: DUP2
0000018b: MSTORE
0000018c: PUSH1 0x20
0000018e: ADD
0000018f: PUSH1 0x40
00000191: MLOAD
00000192: DUP1
00000193: SWAP2
00000194: SUB
00000195: SWAP1
00000196: RETURN
00000197: JUMPDEST
00000198: CALLVALUE
00000199: ISZERO
0000019a: PUSH2 0x01a2
0000019d: JUMPI
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: PUSH2 0x00d0
000001a6: PUSH1 0x01
000001a8: PUSH1 0xa0
000001aa: PUSH1 0x02
000001ac: EXP
000001ad: SUB
000001ae: PUSH1 0x04
000001b0: CALLDATALOAD
000001b1: AND
000001b2: PUSH2 0x0ab0
000001b5: JUMP
000001b6: JUMPDEST
000001b7: STOP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: PUSH2 0x01d7
000001c7: PUSH1 0x01
000001c9: PUSH1 0xa0
000001cb: PUSH1 0x02
000001cd: EXP
000001ce: SUB
000001cf: PUSH1 0x04
000001d1: CALLDATALOAD
000001d2: AND
000001d3: PUSH2 0x0b05
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: DUP1
000001dc: DUP4
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: ADD
000001e2: DUP3
000001e3: PUSH1 0x02
000001e5: DUP2
000001e6: GT
000001e7: ISZERO
000001e8: PUSH2 0x01ed
000001eb: JUMPI
000001ec: INVALID
000001ed: JUMPDEST
000001ee: PUSH1 0xff
000001f0: AND
000001f1: DUP2
000001f2: MSTORE
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP3
000001f7: POP
000001f8: POP
000001f9: POP
000001fa: PUSH1 0x40
000001fc: MLOAD
000001fd: DUP1
000001fe: SWAP2
000001ff: SUB
00000200: SWAP1
00000201: RETURN
00000202: JUMPDEST
00000203: CALLVALUE
00000204: ISZERO
00000205: PUSH2 0x020d
00000208: JUMPI
00000209: PUSH1 0x00
0000020b: DUP1
0000020c: REVERT
0000020d: JUMPDEST
0000020e: PUSH2 0x00e5
00000211: PUSH2 0x0b8c
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x40
00000218: MLOAD
00000219: SWAP1
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: PUSH1 0x40
00000221: MLOAD
00000222: DUP1
00000223: SWAP2
00000224: SUB
00000225: SWAP1
00000226: RETURN
00000227: JUMPDEST
00000228: CALLVALUE
00000229: ISZERO
0000022a: PUSH2 0x0232
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: PUSH2 0x014c
00000236: PUSH2 0x0b92
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH1 0x40
0000023d: MLOAD
0000023e: PUSH1 0x01
00000240: PUSH1 0xa0
00000242: PUSH1 0x02
00000244: EXP
00000245: SUB
00000246: SWAP1
00000247: SWAP2
00000248: AND
00000249: DUP2
0000024a: MSTORE
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: PUSH1 0x40
00000250: MLOAD
00000251: DUP1
00000252: SWAP2
00000253: SUB
00000254: SWAP1
00000255: RETURN
00000256: JUMPDEST
00000257: CALLVALUE
00000258: ISZERO
00000259: PUSH2 0x0261
0000025c: JUMPI
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: PUSH2 0x00e5
00000265: PUSH2 0x0ba1
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: SWAP1
0000026e: DUP2
0000026f: MSTORE
00000270: PUSH1 0x20
00000272: ADD
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: SWAP2
00000278: SUB
00000279: SWAP1
0000027a: RETURN
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: PUSH2 0x014c
0000028a: PUSH2 0x0ba7
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: PUSH1 0x01
00000294: PUSH1 0xa0
00000296: PUSH1 0x02
00000298: EXP
00000299: SUB
0000029a: SWAP1
0000029b: SWAP2
0000029c: AND
0000029d: DUP2
0000029e: MSTORE
0000029f: PUSH1 0x20
000002a1: ADD
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: SWAP2
000002a7: SUB
000002a8: SWAP1
000002a9: RETURN
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: ISZERO
000002ad: PUSH2 0x02b5
000002b0: JUMPI
000002b1: PUSH1 0x00
000002b3: DUP1
000002b4: REVERT
000002b5: JUMPDEST
000002b6: PUSH2 0x00e5
000002b9: PUSH2 0x0bb6
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x40
000002c0: MLOAD
000002c1: SWAP1
000002c2: DUP2
000002c3: MSTORE
000002c4: PUSH1 0x20
000002c6: ADD
000002c7: PUSH1 0x40
000002c9: MLOAD
000002ca: DUP1
000002cb: SWAP2
000002cc: SUB
000002cd: SWAP1
000002ce: RETURN
000002cf: JUMPDEST
000002d0: CALLVALUE
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: PUSH2 0x00e5
000002de: PUSH2 0x0bbc
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: SWAP1
000002e7: DUP2
000002e8: MSTORE
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: PUSH1 0x40
000002ee: MLOAD
000002ef: DUP1
000002f0: SWAP2
000002f1: SUB
000002f2: SWAP1
000002f3: RETURN
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: PUSH2 0x00d0
00000303: PUSH2 0x0bc2
00000306: JUMP
00000307: JUMPDEST
00000308: STOP
00000309: JUMPDEST
0000030a: PUSH1 0x00
0000030c: DUP3
0000030d: DUP3
0000030e: ADD
0000030f: PUSH2 0x0326
00000312: DUP5
00000313: DUP3
00000314: LT
00000315: DUP1
00000316: ISZERO
00000317: SWAP1
00000318: PUSH2 0x0321
0000031b: JUMPI
0000031c: POP
0000031d: DUP4
0000031e: DUP3
0000031f: LT
00000320: ISZERO
00000321: JUMPDEST
00000322: PUSH2 0x0d2c
00000325: JUMP
00000326: JUMPDEST
00000327: DUP1
00000328: SWAP2
00000329: POP
0000032a: JUMPDEST
0000032b: POP
0000032c: SWAP3
0000032d: SWAP2
0000032e: POP
0000032f: POP
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH1 0x0a
00000334: SLOAD
00000335: DUP2
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x033f
0000033b: PUSH2 0x1576
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x15
00000342: SLOAD
00000343: PUSH1 0x00
00000345: SWAP1
00000346: DUP2
00000347: SWAP1
00000348: DUP2
00000349: SWAP1
0000034a: DUP2
0000034b: SWAP1
0000034c: PUSH1 0xa0
0000034e: PUSH1 0x02
00000350: EXP
00000351: SWAP1
00000352: DIV
00000353: PUSH1 0xff
00000355: AND
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: PUSH1 0x14
00000362: SLOAD
00000363: PUSH1 0x01
00000365: PUSH1 0xa0
00000367: PUSH1 0x02
00000369: EXP
0000036a: SUB
0000036b: AND
0000036c: PUSH4 0xa620fcc7
00000371: PUSH1 0x00
00000373: PUSH1 0x40
00000375: MLOAD
00000376: PUSH1 0x20
00000378: ADD
00000379: MSTORE
0000037a: PUSH1 0x40
0000037c: MLOAD
0000037d: DUP2
0000037e: PUSH4 0xffffffff
00000383: AND
00000384: PUSH1 0xe0
00000386: PUSH1 0x02
00000388: EXP
00000389: MUL
0000038a: DUP2
0000038b: MSTORE
0000038c: PUSH1 0x04
0000038e: ADD
0000038f: PUSH1 0x20
00000391: PUSH1 0x40
00000393: MLOAD
00000394: DUP1
00000395: DUP4
00000396: SUB
00000397: DUP2
00000398: PUSH1 0x00
0000039a: DUP8
0000039b: DUP1
0000039c: EXTCODESIZE
0000039d: ISZERO
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: PUSH2 0x02c6
000003ab: GAS
000003ac: SUB
000003ad: CALL
000003ae: ISZERO
000003af: ISZERO
000003b0: PUSH2 0x03b8
000003b3: JUMPI
000003b4: PUSH1 0x00
000003b6: DUP1
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: POP
000003bb: POP
000003bc: PUSH1 0x40
000003be: MLOAD
000003bf: DUP1
000003c0: MLOAD
000003c1: PUSH1 0x0a
000003c3: SLOAD
000003c4: EQ
000003c5: SWAP1
000003c6: POP
000003c7: PUSH2 0x03cf
000003ca: JUMPI
000003cb: PUSH1 0x00
000003cd: DUP1
000003ce: REVERT
000003cf: JUMPDEST
000003d0: PUSH1 0x0c
000003d2: SLOAD
000003d3: PUSH1 0x17
000003d5: SLOAD
000003d6: LT
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: PUSH2 0x03ee
000003e4: PUSH1 0x0c
000003e6: SLOAD
000003e7: PUSH1 0x16
000003e9: SLOAD
000003ea: PUSH2 0x0d3c
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x15
000003f1: SLOAD
000003f2: PUSH1 0x01
000003f4: PUSH1 0xa0
000003f6: PUSH1 0x02
000003f8: EXP
000003f9: SUB
000003fa: AND
000003fb: PUSH4 0x70a08231
00000400: ADDRESS
00000401: PUSH1 0x00
00000403: PUSH1 0x40
00000405: MLOAD
00000406: PUSH1 0x20
00000408: ADD
00000409: MSTORE
0000040a: PUSH1 0x40
0000040c: MLOAD
0000040d: PUSH1 0xe0
0000040f: PUSH1 0x02
00000411: EXP
00000412: PUSH4 0xffffffff
00000417: DUP5
00000418: AND
00000419: MUL
0000041a: DUP2
0000041b: MSTORE
0000041c: PUSH1 0x01
0000041e: PUSH1 0xa0
00000420: PUSH1 0x02
00000422: EXP
00000423: SUB
00000424: SWAP1
00000425: SWAP2
00000426: AND
00000427: PUSH1 0x04
00000429: DUP3
0000042a: ADD
0000042b: MSTORE
0000042c: PUSH1 0x24
0000042e: ADD
0000042f: PUSH1 0x20
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP1
00000435: DUP4
00000436: SUB
00000437: DUP2
00000438: PUSH1 0x00
0000043a: DUP8
0000043b: DUP1
0000043c: EXTCODESIZE
0000043d: ISZERO
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: PUSH2 0x02c6
0000044b: GAS
0000044c: SUB
0000044d: CALL
0000044e: ISZERO
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: POP
0000045b: POP
0000045c: PUSH1 0x40
0000045e: MLOAD
0000045f: DUP1
00000460: MLOAD
00000461: SWAP1
00000462: POP
00000463: LT
00000464: ISZERO
00000465: ISZERO
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: PUSH2 0x0477
00000473: PUSH2 0x0d6b
00000476: JUMP
00000477: JUMPDEST
00000478: SWAP5
00000479: POP
0000047a: PUSH1 0x07
0000047c: SLOAD
0000047d: SWAP4
0000047e: POP
0000047f: JUMPDEST
00000480: PUSH1 0x08
00000482: SLOAD
00000483: DUP5
00000484: GT
00000485: PUSH2 0x04ac
00000488: JUMPI
00000489: PUSH2 0x0494
0000048c: DUP4
0000048d: PUSH1 0x09
0000048f: SLOAD
00000490: PUSH2 0x0309
00000493: JUMP
00000494: JUMPDEST
00000495: SWAP3
00000496: POP
00000497: PUSH2 0x04a2
0000049a: DUP6
0000049b: DUP6
0000049c: DUP6
0000049d: DUP6
0000049e: PUSH2 0x0f12
000004a1: JUMP
000004a2: JUMPDEST
000004a3: SWAP2
000004a4: POP
000004a5: DUP3
000004a6: SWAP4
000004a7: POP
000004a8: PUSH2 0x047f
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH2 0x04b4
000004b0: PUSH2 0x10fe
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x0d
000004b7: SSTORE
000004b8: PUSH1 0x15
000004ba: DUP1
000004bb: SLOAD
000004bc: PUSH21 0xff0000000000000000000000000000000000000000
000004d2: NOT
000004d3: AND
000004d4: PUSH1 0xa0
000004d6: PUSH1 0x02
000004d8: EXP
000004d9: OR
000004da: SWAP1
000004db: SSTORE
000004dc: PUSH1 0x0e
000004de: SLOAD
000004df: PUSH1 0x0f
000004e1: SLOAD
000004e2: PUSH1 0x10
000004e4: SLOAD
000004e5: PUSH1 0x11
000004e7: SLOAD
000004e8: PUSH32 0x23ab3fd308ef0e085d61939ed6d3e141f21837614a02ed448da4dce240245344
00000509: SWAP4
0000050a: SWAP3
0000050b: SWAP2
0000050c: SWAP1
0000050d: PUSH1 0x40
0000050f: MLOAD
00000510: DUP1
00000511: DUP6
00000512: DUP2
00000513: MSTORE
00000514: PUSH1 0x20
00000516: ADD
00000517: DUP5
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: DUP4
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x20
00000522: ADD
00000523: DUP3
00000524: DUP2
00000525: MSTORE
00000526: PUSH1 0x20
00000528: ADD
00000529: SWAP5
0000052a: POP
0000052b: POP
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: DUP1
00000533: SWAP2
00000534: SUB
00000535: SWAP1
00000536: LOG1
00000537: JUMPDEST
00000538: JUMPDEST
00000539: POP
0000053a: POP
0000053b: POP
0000053c: POP
0000053d: POP
0000053e: JUMP
0000053f: JUMPDEST
00000540: PUSH1 0x15
00000542: SLOAD
00000543: PUSH1 0x00
00000545: SWAP1
00000546: DUP2
00000547: SWAP1
00000548: PUSH1 0x01
0000054a: SWAP1
0000054b: PUSH1 0xa0
0000054d: PUSH1 0x02
0000054f: EXP
00000550: SWAP1
00000551: DIV
00000552: PUSH1 0xff
00000554: AND
00000555: ISZERO
00000556: ISZERO
00000557: DUP2
00000558: EQ
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: CALLER
00000563: PUSH1 0x01
00000565: JUMPDEST
00000566: PUSH1 0x01
00000568: PUSH1 0xa0
0000056a: PUSH1 0x02
0000056c: EXP
0000056d: SUB
0000056e: DUP3
0000056f: AND
00000570: PUSH1 0x00
00000572: SWAP1
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x12
00000577: PUSH1 0x20
00000579: MSTORE
0000057a: PUSH1 0x40
0000057c: SWAP1
0000057d: KECCAK256
0000057e: PUSH1 0x02
00000580: SWAP1
00000581: DUP2
00000582: ADD
00000583: SLOAD
00000584: PUSH1 0xff
00000586: AND
00000587: SWAP1
00000588: DUP2
00000589: GT
0000058a: ISZERO
0000058b: PUSH2 0x0590
0000058e: JUMPI
0000058f: INVALID
00000590: JUMPDEST
00000591: EQ
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: PUSH1 0x15
0000059d: SLOAD
0000059e: PUSH22 0x01000000000000000000000000000000000000000000
000005b5: SWAP1
000005b6: DIV
000005b7: PUSH1 0xff
000005b9: AND
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: PUSH1 0x15
000005c6: DUP1
000005c7: SLOAD
000005c8: PUSH22 0xff000000000000000000000000000000000000000000
000005df: NOT
000005e0: AND
000005e1: PUSH22 0x01000000000000000000000000000000000000000000
000005f8: OR
000005f9: SWAP1
000005fa: SSTORE
000005fb: PUSH1 0x01
000005fd: PUSH1 0xa0
000005ff: PUSH1 0x02
00000601: EXP
00000602: SUB
00000603: CALLER
00000604: AND
00000605: PUSH1 0x00
00000607: SWAP1
00000608: DUP2
00000609: MSTORE
0000060a: PUSH1 0x12
0000060c: PUSH1 0x20
0000060e: SWAP1
0000060f: DUP2
00000610: MSTORE
00000611: PUSH1 0x40
00000613: DUP1
00000614: DUP4
00000615: KECCAK256
00000616: DUP1
00000617: SLOAD
00000618: DUP5
00000619: MSTORE
0000061a: PUSH1 0x06
0000061c: SWAP1
0000061d: SWAP3
0000061e: MSTORE
0000061f: SWAP1
00000620: SWAP2
00000621: KECCAK256
00000622: PUSH1 0x01
00000624: SWAP1
00000625: DUP2
00000626: ADD
00000627: SLOAD
00000628: SWAP1
00000629: DUP3
0000062a: ADD
0000062b: SLOAD
0000062c: SWAP2
0000062d: SWAP6
0000062e: POP
0000062f: PUSH2 0x0641
00000632: SWAP2
00000633: PUSH2 0x0100
00000636: SWAP1
00000637: SWAP2
00000638: DIV
00000639: PUSH1 0xff
0000063b: AND
0000063c: SWAP1
0000063d: PUSH2 0x129b
00000640: JUMP
00000641: JUMPDEST
00000642: SWAP3
00000643: POP
00000644: PUSH1 0x00
00000646: PUSH1 0x0d
00000648: SLOAD
00000649: GT
0000064a: ISZERO
0000064b: PUSH2 0x0662
0000064e: JUMPI
0000064f: PUSH2 0x065a
00000652: DUP4
00000653: PUSH1 0x0d
00000655: SLOAD
00000656: PUSH2 0x0309
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH1 0x00
0000065d: PUSH1 0x0d
0000065f: SSTORE
00000660: SWAP3
00000661: POP
00000662: JUMPDEST
00000663: PUSH2 0x066e
00000666: PUSH1 0x17
00000668: SLOAD
00000669: DUP5
0000066a: PUSH2 0x1339
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x17
00000671: SSTORE
00000672: PUSH1 0x01
00000674: PUSH1 0xa0
00000676: PUSH1 0x02
00000678: EXP
00000679: SUB
0000067a: CALLER
0000067b: AND
0000067c: PUSH1 0x00
0000067e: SWAP1
0000067f: DUP2
00000680: MSTORE
00000681: PUSH1 0x12
00000683: PUSH1 0x20
00000685: MSTORE
00000686: PUSH1 0x40
00000688: SWAP1
00000689: KECCAK256
0000068a: PUSH1 0x02
0000068c: SWAP1
0000068d: DUP2
0000068e: ADD
0000068f: DUP1
00000690: SLOAD
00000691: PUSH1 0xff
00000693: NOT
00000694: AND
00000695: PUSH1 0x01
00000697: DUP4
00000698: JUMPDEST
00000699: MUL
0000069a: OR
0000069b: SWAP1
0000069c: SSTORE
0000069d: POP
0000069e: PUSH1 0x15
000006a0: SLOAD
000006a1: PUSH1 0x16
000006a3: SLOAD
000006a4: PUSH1 0x01
000006a6: PUSH1 0xa0
000006a8: PUSH1 0x02
000006aa: EXP
000006ab: SUB
000006ac: SWAP1
000006ad: SWAP2
000006ae: AND
000006af: SWAP1
000006b0: PUSH4 0xa9059cbb
000006b5: SWAP1
000006b6: CALLER
000006b7: SWAP1
000006b8: PUSH2 0x06c2
000006bb: SWAP1
000006bc: DUP8
000006bd: SWAP1
000006be: PUSH2 0x0d3c
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH1 0x00
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: PUSH1 0x20
000006ca: ADD
000006cb: MSTORE
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: PUSH1 0xe0
000006d1: PUSH1 0x02
000006d3: EXP
000006d4: PUSH4 0xffffffff
000006d9: DUP6
000006da: AND
000006db: MUL
000006dc: DUP2
000006dd: MSTORE
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: PUSH1 0x02
000006e4: EXP
000006e5: SUB
000006e6: SWAP1
000006e7: SWAP3
000006e8: AND
000006e9: PUSH1 0x04
000006eb: DUP4
000006ec: ADD
000006ed: MSTORE
000006ee: PUSH1 0x24
000006f0: DUP3
000006f1: ADD
000006f2: MSTORE
000006f3: PUSH1 0x44
000006f5: ADD
000006f6: PUSH1 0x20
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: DUP4
000006fd: SUB
000006fe: DUP2
000006ff: PUSH1 0x00
00000701: DUP8
00000702: DUP1
00000703: EXTCODESIZE
00000704: ISZERO
00000705: ISZERO
00000706: PUSH2 0x070e
00000709: JUMPI
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: REVERT
0000070e: JUMPDEST
0000070f: PUSH2 0x02c6
00000712: GAS
00000713: SUB
00000714: CALL
00000715: ISZERO
00000716: ISZERO
00000717: PUSH2 0x071f
0000071a: JUMPI
0000071b: PUSH1 0x00
0000071d: DUP1
0000071e: REVERT
0000071f: JUMPDEST
00000720: POP
00000721: POP
00000722: POP
00000723: PUSH1 0x40
00000725: MLOAD
00000726: DUP1
00000727: MLOAD
00000728: SWAP1
00000729: POP
0000072a: ISZERO
0000072b: ISZERO
0000072c: PUSH2 0x0734
0000072f: JUMPI
00000730: PUSH1 0x00
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: PUSH1 0x01
00000737: PUSH1 0xa0
00000739: PUSH1 0x02
0000073b: EXP
0000073c: SUB
0000073d: CALLER
0000073e: AND
0000073f: DUP4
00000740: ISZERO
00000741: PUSH2 0x08fc
00000744: MUL
00000745: DUP5
00000746: PUSH1 0x40
00000748: MLOAD
00000749: PUSH1 0x00
0000074b: PUSH1 0x40
0000074d: MLOAD
0000074e: DUP1
0000074f: DUP4
00000750: SUB
00000751: DUP2
00000752: DUP6
00000753: DUP9
00000754: DUP9
00000755: CALL
00000756: SWAP4
00000757: POP
00000758: POP
00000759: POP
0000075a: POP
0000075b: ISZERO
0000075c: ISZERO
0000075d: PUSH2 0x0765
00000760: JUMPI
00000761: PUSH1 0x00
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: PUSH1 0x15
00000768: DUP1
00000769: SLOAD
0000076a: PUSH22 0xff000000000000000000000000000000000000000000
00000781: NOT
00000782: AND
00000783: SWAP1
00000784: SSTORE
00000785: PUSH32 0x5bf2177ec82333d646ddac9ef13ddd7f57260091072d459309fe1a9ee531e2ca
000007a6: CALLER
000007a7: DUP5
000007a8: PUSH1 0x40
000007aa: MLOAD
000007ab: PUSH1 0x01
000007ad: PUSH1 0xa0
000007af: PUSH1 0x02
000007b1: EXP
000007b2: SUB
000007b3: SWAP1
000007b4: SWAP3
000007b5: AND
000007b6: DUP3
000007b7: MSTORE
000007b8: PUSH1 0x20
000007ba: DUP3
000007bb: ADD
000007bc: MSTORE
000007bd: PUSH1 0x40
000007bf: SWAP1
000007c0: DUP2
000007c1: ADD
000007c2: SWAP1
000007c3: MLOAD
000007c4: DUP1
000007c5: SWAP2
000007c6: SUB
000007c7: SWAP1
000007c8: LOG1
000007c9: JUMPDEST
000007ca: JUMPDEST
000007cb: POP
000007cc: JUMPDEST
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: PUSH1 0x00
000007d7: DUP1
000007d8: PUSH1 0x00
000007da: DUP1
000007db: PUSH1 0x00
000007dd: DUP1
000007de: PUSH1 0x00
000007e0: DUP1
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: SWAP1
000007e5: SLOAD
000007e6: SWAP1
000007e7: PUSH2 0x0100
000007ea: EXP
000007eb: SWAP1
000007ec: DIV
000007ed: PUSH1 0x01
000007ef: PUSH1 0xa0
000007f1: PUSH1 0x02
000007f3: EXP
000007f4: SUB
000007f5: AND
000007f6: PUSH1 0x01
000007f8: PUSH1 0xa0
000007fa: PUSH1 0x02
000007fc: EXP
000007fd: SUB
000007fe: AND
000007ff: CALLER
00000800: PUSH1 0x01
00000802: PUSH1 0xa0
00000804: PUSH1 0x02
00000806: EXP
00000807: SUB
00000808: AND
00000809: EQ
0000080a: ISZERO
0000080b: PUSH2 0x0a84
0000080e: JUMPI
0000080f: PUSH1 0x15
00000811: SLOAD
00000812: PUSH1 0x00
00000814: SWAP1
00000815: PUSH1 0xa0
00000817: PUSH1 0x02
00000819: EXP
0000081a: SWAP1
0000081b: DIV
0000081c: PUSH1 0xff
0000081e: AND
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: PUSH1 0x14
0000082b: SLOAD
0000082c: PUSH1 0x01
0000082e: PUSH1 0xa0
00000830: PUSH1 0x02
00000832: EXP
00000833: SUB
00000834: AND
00000835: PUSH4 0xa620fcc7
0000083a: PUSH1 0x00
0000083c: PUSH1 0x40
0000083e: MLOAD
0000083f: PUSH1 0x20
00000841: ADD
00000842: MSTORE
00000843: PUSH1 0x40
00000845: MLOAD
00000846: DUP2
00000847: PUSH4 0xffffffff
0000084c: AND
0000084d: PUSH1 0xe0
0000084f: PUSH1 0x02
00000851: EXP
00000852: MUL
00000853: DUP2
00000854: MSTORE
00000855: PUSH1 0x04
00000857: ADD
00000858: PUSH1 0x20
0000085a: PUSH1 0x40
0000085c: MLOAD
0000085d: DUP1
0000085e: DUP4
0000085f: SUB
00000860: DUP2
00000861: PUSH1 0x00
00000863: DUP8
00000864: DUP1
00000865: EXTCODESIZE
00000866: ISZERO
00000867: ISZERO
00000868: PUSH2 0x0870
0000086b: JUMPI
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: REVERT
00000870: JUMPDEST
00000871: PUSH2 0x02c6
00000874: GAS
00000875: SUB
00000876: CALL
00000877: ISZERO
00000878: ISZERO
00000879: PUSH2 0x0881
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: REVERT
00000881: JUMPDEST
00000882: POP
00000883: POP
00000884: POP
00000885: PUSH1 0x40
00000887: MLOAD
00000888: DUP1
00000889: MLOAD
0000088a: SWAP7
0000088b: POP
0000088c: POP
0000088d: DUP6
0000088e: DUP13
0000088f: LT
00000890: PUSH2 0x0898
00000893: JUMPI
00000894: PUSH1 0x00
00000896: DUP1
00000897: REVERT
00000898: JUMPDEST
00000899: PUSH1 0x0a
0000089b: SLOAD
0000089c: DUP7
0000089d: SWAP1
0000089e: LT
0000089f: PUSH2 0x08a7
000008a2: JUMPI
000008a3: PUSH1 0x00
000008a5: DUP1
000008a6: REVERT
000008a7: JUMPDEST
000008a8: PUSH2 0x08b0
000008ab: DUP13
000008ac: PUSH2 0x1352
000008af: JUMP
000008b0: JUMPDEST
000008b1: SWAP4
000008b2: SWAP15
000008b3: POP
000008b4: SWAP2
000008b5: SWAP13
000008b6: POP
000008b7: SWAP11
000008b8: POP
000008b9: SWAP9
000008ba: POP
000008bb: SWAP7
000008bc: POP
000008bd: PUSH1 0x01
000008bf: PUSH1 0xa0
000008c1: PUSH1 0x02
000008c3: EXP
000008c4: SUB
000008c5: DUP12
000008c6: AND
000008c7: ISZERO
000008c8: ISZERO
000008c9: PUSH2 0x08d1
000008cc: JUMPI
000008cd: PUSH1 0x00
000008cf: DUP1
000008d0: REVERT
000008d1: JUMPDEST
000008d2: PUSH1 0x00
000008d4: JUMPDEST
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: PUSH1 0x02
000008db: EXP
000008dc: SUB
000008dd: DUP13
000008de: AND
000008df: PUSH1 0x00
000008e1: SWAP1
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x12
000008e6: PUSH1 0x20
000008e8: MSTORE
000008e9: PUSH1 0x40
000008eb: SWAP1
000008ec: KECCAK256
000008ed: PUSH1 0x02
000008ef: SWAP1
000008f0: DUP2
000008f1: ADD
000008f2: SLOAD
000008f3: PUSH1 0xff
000008f5: AND
000008f6: SWAP1
000008f7: DUP2
000008f8: GT
000008f9: ISZERO
000008fa: PUSH2 0x08ff
000008fd: JUMPI
000008fe: INVALID
000008ff: JUMPDEST
00000900: EQ
00000901: PUSH2 0x0909
00000904: JUMPI
00000905: PUSH1 0x00
00000907: DUP1
00000908: REVERT
00000909: JUMPDEST
0000090a: PUSH1 0x09
0000090c: SLOAD
0000090d: DUP11
0000090e: DUP2
0000090f: ISZERO
00000910: ISZERO
00000911: PUSH2 0x0916
00000914: JUMPI
00000915: INVALID
00000916: JUMPDEST
00000917: MOD
00000918: SWAP5
00000919: POP
0000091a: PUSH1 0x07
0000091c: SLOAD
0000091d: DUP11
0000091e: LT
0000091f: ISZERO
00000920: PUSH2 0x092d
00000923: JUMPI
00000924: PUSH1 0x07
00000926: SLOAD
00000927: SWAP4
00000928: POP
00000929: PUSH2 0x096f
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x08
00000930: SLOAD
00000931: DUP11
00000932: GT
00000933: ISZERO
00000934: PUSH2 0x0941
00000937: JUMPI
00000938: PUSH1 0x08
0000093a: SLOAD
0000093b: SWAP4
0000093c: POP
0000093d: PUSH2 0x096f
00000940: JUMP
00000941: JUMPDEST
00000942: DUP10
00000943: SWAP4
00000944: POP
00000945: DUP5
00000946: ISZERO
00000947: PUSH2 0x096f
0000094a: JUMPI
0000094b: PUSH2 0x0954
0000094e: DUP11
0000094f: DUP7
00000950: PUSH2 0x1339
00000953: JUMP
00000954: JUMPDEST
00000955: SWAP4
00000956: POP
00000957: PUSH1 0x01
00000959: SLOAD
0000095a: DUP5
0000095b: LT
0000095c: ISZERO
0000095d: PUSH2 0x096f
00000960: JUMPI
00000961: PUSH2 0x096c
00000964: DUP5
00000965: PUSH1 0x09
00000967: SLOAD
00000968: PUSH2 0x0309
0000096b: JUMP
0000096c: JUMPDEST
0000096d: SWAP4
0000096e: POP
0000096f: JUMPDEST
00000970: JUMPDEST
00000971: JUMPDEST
00000972: JUMPDEST
00000973: PUSH1 0x00
00000975: DUP5
00000976: DUP2
00000977: MSTORE
00000978: PUSH1 0x06
0000097a: PUSH1 0x20
0000097c: MSTORE
0000097d: PUSH1 0x40
0000097f: SWAP1
00000980: KECCAK256
00000981: PUSH1 0x01
00000983: DUP2
00000984: ADD
00000985: SLOAD
00000986: SWAP1
00000987: SWAP4
00000988: POP
00000989: PUSH3 0x010000
0000098d: SWAP1
0000098e: DIV
0000098f: PUSH1 0xff
00000991: AND
00000992: ISZERO
00000993: ISZERO
00000994: PUSH2 0x099c
00000997: JUMPI
00000998: PUSH1 0x00
0000099a: DUP1
0000099b: REVERT
0000099c: JUMPDEST
0000099d: PUSH2 0x09a6
000009a0: DUP10
000009a1: DUP9
000009a2: PUSH2 0x140e
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x00
000009a9: DUP6
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x06
000009ae: PUSH1 0x20
000009b0: MSTORE
000009b1: PUSH1 0x40
000009b3: SWAP1
000009b4: KECCAK256
000009b5: SLOAD
000009b6: SWAP1
000009b7: SWAP3
000009b8: POP
000009b9: PUSH2 0x09c2
000009bc: SWAP1
000009bd: DUP4
000009be: PUSH2 0x0309
000009c1: JUMP
000009c2: JUMPDEST
000009c3: PUSH1 0x00
000009c5: DUP6
000009c6: DUP2
000009c7: MSTORE
000009c8: PUSH1 0x06
000009ca: PUSH1 0x20
000009cc: MSTORE
000009cd: PUSH1 0x40
000009cf: SWAP1
000009d0: KECCAK256
000009d1: SSTORE
000009d2: PUSH1 0x0b
000009d4: SLOAD
000009d5: PUSH2 0x09de
000009d8: SWAP1
000009d9: DUP4
000009da: PUSH2 0x0309
000009dd: JUMP
000009de: JUMPDEST
000009df: PUSH1 0x0b
000009e1: SSTORE
000009e2: PUSH1 0x0a
000009e4: DUP1
000009e5: SLOAD
000009e6: PUSH1 0x01
000009e8: SWAP1
000009e9: DUP2
000009ea: ADD
000009eb: SWAP1
000009ec: SWAP2
000009ed: SSTORE
000009ee: PUSH1 0x01
000009f0: PUSH1 0xa0
000009f2: PUSH1 0x02
000009f4: EXP
000009f5: SUB
000009f6: DUP13
000009f7: AND
000009f8: PUSH1 0x00
000009fa: SWAP1
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x12
000009ff: PUSH1 0x20
00000a01: MSTORE
00000a02: PUSH1 0x40
00000a04: SWAP1
00000a05: KECCAK256
00000a06: DUP6
00000a07: DUP2
00000a08: SSTORE
00000a09: DUP1
00000a0a: DUP3
00000a0b: ADD
00000a0c: DUP5
00000a0d: SWAP1
00000a0e: SSTORE
00000a0f: PUSH1 0x02
00000a11: ADD
00000a12: DUP1
00000a13: SLOAD
00000a14: PUSH1 0xff
00000a16: NOT
00000a17: AND
00000a18: DUP3
00000a19: DUP1
00000a1a: JUMPDEST
00000a1b: MUL
00000a1c: OR
00000a1d: SWAP1
00000a1e: SSTORE
00000a1f: POP
00000a20: PUSH32 0x9ec97c382d56b4d35b4d7057460ea7f57ff800af60a182833c33dc3e9b65726e
00000a41: DUP12
00000a42: DUP12
00000a43: DUP7
00000a44: DUP6
00000a45: PUSH1 0x40
00000a47: MLOAD
00000a48: DUP1
00000a49: DUP6
00000a4a: PUSH1 0x01
00000a4c: PUSH1 0xa0
00000a4e: PUSH1 0x02
00000a50: EXP
00000a51: SUB
00000a52: AND
00000a53: PUSH1 0x01
00000a55: PUSH1 0xa0
00000a57: PUSH1 0x02
00000a59: EXP
00000a5a: SUB
00000a5b: AND
00000a5c: DUP2
00000a5d: MSTORE
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: DUP5
00000a62: DUP2
00000a63: MSTORE
00000a64: PUSH1 0x20
00000a66: ADD
00000a67: DUP4
00000a68: DUP2
00000a69: MSTORE
00000a6a: PUSH1 0x20
00000a6c: ADD
00000a6d: DUP3
00000a6e: DUP2
00000a6f: MSTORE
00000a70: PUSH1 0x20
00000a72: ADD
00000a73: SWAP5
00000a74: POP
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: PUSH1 0x40
00000a7b: MLOAD
00000a7c: DUP1
00000a7d: SWAP2
00000a7e: SUB
00000a7f: SWAP1
00000a80: LOG1
00000a81: JUMPDEST
00000a82: JUMPDEST
00000a83: POP
00000a84: JUMPDEST
00000a85: JUMPDEST
00000a86: POP
00000a87: POP
00000a88: POP
00000a89: POP
00000a8a: POP
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: POP
00000a91: JUMP
00000a92: JUMPDEST
00000a93: PUSH1 0x13
00000a95: SLOAD
00000a96: PUSH1 0x01
00000a98: PUSH1 0xa0
00000a9a: PUSH1 0x02
00000a9c: EXP
00000a9d: SUB
00000a9e: AND
00000a9f: DUP2
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH1 0x15
00000aa4: SLOAD
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0xa0
00000aa9: PUSH1 0x02
00000aab: EXP
00000aac: SUB
00000aad: AND
00000aae: DUP2
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x00
00000ab3: SLOAD
00000ab4: CALLER
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0xa0
00000ab9: PUSH1 0x02
00000abb: EXP
00000abc: SUB
00000abd: SWAP1
00000abe: DUP2
00000abf: AND
00000ac0: SWAP2
00000ac1: AND
00000ac2: EQ
00000ac3: ISZERO
00000ac4: PUSH2 0x0aff
00000ac7: JUMPI
00000ac8: PUSH1 0x01
00000aca: PUSH1 0xa0
00000acc: PUSH1 0x02
00000ace: EXP
00000acf: SUB
00000ad0: DUP2
00000ad1: AND
00000ad2: ISZERO
00000ad3: PUSH2 0x0aff
00000ad6: JUMPI
00000ad7: PUSH1 0x00
00000ad9: DUP1
00000ada: SLOAD
00000adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af0: NOT
00000af1: AND
00000af2: PUSH1 0x01
00000af4: PUSH1 0xa0
00000af6: PUSH1 0x02
00000af8: EXP
00000af9: SUB
00000afa: DUP4
00000afb: AND
00000afc: OR
00000afd: SWAP1
00000afe: SSTORE
00000aff: JUMPDEST
00000b00: JUMPDEST
00000b01: JUMPDEST
00000b02: JUMPDEST
00000b03: POP
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH1 0x15
00000b08: SLOAD
00000b09: PUSH1 0x00
00000b0b: SWAP1
00000b0c: DUP2
00000b0d: SWAP1
00000b0e: DUP2
00000b0f: SWAP1
00000b10: DUP2
00000b11: SWAP1
00000b12: PUSH1 0x01
00000b14: SWAP1
00000b15: PUSH1 0xa0
00000b17: PUSH1 0x02
00000b19: EXP
00000b1a: SWAP1
00000b1b: DIV
00000b1c: PUSH1 0xff
00000b1e: AND
00000b1f: ISZERO
00000b20: ISZERO
00000b21: DUP2
00000b22: EQ
00000b23: PUSH2 0x0b2b
00000b26: JUMPI
00000b27: PUSH1 0x00
00000b29: DUP1
00000b2a: REVERT
00000b2b: JUMPDEST
00000b2c: PUSH1 0x01
00000b2e: PUSH1 0xa0
00000b30: PUSH1 0x02
00000b32: EXP
00000b33: SUB
00000b34: DUP7
00000b35: AND
00000b36: PUSH1 0x00
00000b38: SWAP1
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x12
00000b3d: PUSH1 0x20
00000b3f: SWAP1
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x40
00000b44: DUP1
00000b45: DUP4
00000b46: KECCAK256
00000b47: DUP1
00000b48: SLOAD
00000b49: DUP5
00000b4a: MSTORE
00000b4b: PUSH1 0x06
00000b4d: SWAP1
00000b4e: SWAP3
00000b4f: MSTORE
00000b50: SWAP1
00000b51: SWAP2
00000b52: KECCAK256
00000b53: PUSH1 0x01
00000b55: SWAP1
00000b56: DUP2
00000b57: ADD
00000b58: SLOAD
00000b59: SWAP1
00000b5a: DUP3
00000b5b: ADD
00000b5c: SLOAD
00000b5d: SWAP2
00000b5e: SWAP5
00000b5f: POP
00000b60: PUSH2 0x0b72
00000b63: SWAP2
00000b64: PUSH2 0x0100
00000b67: SWAP1
00000b68: SWAP2
00000b69: DIV
00000b6a: PUSH1 0xff
00000b6c: AND
00000b6d: SWAP1
00000b6e: PUSH2 0x129b
00000b71: JUMP
00000b72: JUMPDEST
00000b73: PUSH1 0x02
00000b75: DUP5
00000b76: ADD
00000b77: SLOAD
00000b78: SWAP1
00000b79: SWAP6
00000b7a: POP
00000b7b: PUSH1 0xff
00000b7d: AND
00000b7e: SWAP4
00000b7f: POP
00000b80: DUP5
00000b81: SWAP2
00000b82: POP
00000b83: JUMPDEST
00000b84: JUMPDEST
00000b85: POP
00000b86: POP
00000b87: POP
00000b88: SWAP2
00000b89: POP
00000b8a: SWAP2
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH1 0x0c
00000b8f: SLOAD
00000b90: DUP2
00000b91: JUMP
00000b92: JUMPDEST
00000b93: PUSH1 0x14
00000b95: SLOAD
00000b96: PUSH1 0x01
00000b98: PUSH1 0xa0
00000b9a: PUSH1 0x02
00000b9c: EXP
00000b9d: SUB
00000b9e: AND
00000b9f: DUP2
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: PUSH1 0x01
00000ba4: SLOAD
00000ba5: DUP2
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x00
00000baa: SLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: PUSH1 0x02
00000bb1: EXP
00000bb2: SUB
00000bb3: AND
00000bb4: DUP2
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x0b
00000bb9: SLOAD
00000bba: DUP2
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: PUSH1 0x0d
00000bbf: SLOAD
00000bc0: DUP2
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: PUSH1 0x13
00000bc5: SLOAD
00000bc6: PUSH1 0x00
00000bc8: SWAP1
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0xa0
00000bcd: PUSH1 0x02
00000bcf: EXP
00000bd0: SUB
00000bd1: AND
00000bd2: ISZERO
00000bd3: ISZERO
00000bd4: PUSH2 0x0bdc
00000bd7: JUMPI
00000bd8: PUSH1 0x00
00000bda: DUP1
00000bdb: REVERT
00000bdc: JUMPDEST
00000bdd: PUSH1 0x13
00000bdf: SLOAD
00000be0: CALLER
00000be1: PUSH1 0x01
00000be3: PUSH1 0xa0
00000be5: PUSH1 0x02
00000be7: EXP
00000be8: SUB
00000be9: SWAP1
00000bea: DUP2
00000beb: AND
00000bec: SWAP2
00000bed: AND
00000bee: EQ
00000bef: PUSH2 0x0bf7
00000bf2: JUMPI
00000bf3: PUSH1 0x00
00000bf5: DUP1
00000bf6: REVERT
00000bf7: JUMPDEST
00000bf8: PUSH1 0x15
00000bfa: SLOAD
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0xa0
00000bff: PUSH1 0x02
00000c01: EXP
00000c02: SUB
00000c03: AND
00000c04: PUSH4 0x70a08231
00000c09: ADDRESS
00000c0a: PUSH1 0x00
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: PUSH1 0x20
00000c11: ADD
00000c12: MSTORE
00000c13: PUSH1 0x40
00000c15: MLOAD
00000c16: PUSH1 0xe0
00000c18: PUSH1 0x02
00000c1a: EXP
00000c1b: PUSH4 0xffffffff
00000c20: DUP5
00000c21: AND
00000c22: MUL
00000c23: DUP2
00000c24: MSTORE
00000c25: PUSH1 0x01
00000c27: PUSH1 0xa0
00000c29: PUSH1 0x02
00000c2b: EXP
00000c2c: SUB
00000c2d: SWAP1
00000c2e: SWAP2
00000c2f: AND
00000c30: PUSH1 0x04
00000c32: DUP3
00000c33: ADD
00000c34: MSTORE
00000c35: PUSH1 0x24
00000c37: ADD
00000c38: PUSH1 0x20
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: DUP1
00000c3e: DUP4
00000c3f: SUB
00000c40: DUP2
00000c41: PUSH1 0x00
00000c43: DUP8
00000c44: DUP1
00000c45: EXTCODESIZE
00000c46: ISZERO
00000c47: ISZERO
00000c48: PUSH2 0x0c50
00000c4b: JUMPI
00000c4c: PUSH1 0x00
00000c4e: DUP1
00000c4f: REVERT
00000c50: JUMPDEST
00000c51: PUSH2 0x02c6
00000c54: GAS
00000c55: SUB
00000c56: CALL
00000c57: ISZERO
00000c58: ISZERO
00000c59: PUSH2 0x0c61
00000c5c: JUMPI
00000c5d: PUSH1 0x00
00000c5f: DUP1
00000c60: REVERT
00000c61: JUMPDEST
00000c62: POP
00000c63: POP
00000c64: POP
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: DUP1
00000c69: MLOAD
00000c6a: PUSH1 0x13
00000c6c: SLOAD
00000c6d: SWAP1
00000c6e: SWAP3
00000c6f: POP
00000c70: PUSH1 0x01
00000c72: PUSH1 0xa0
00000c74: PUSH1 0x02
00000c76: EXP
00000c77: SUB
00000c78: SWAP1
00000c79: DUP2
00000c7a: AND
00000c7b: SWAP2
00000c7c: POP
00000c7d: ADDRESS
00000c7e: AND
00000c7f: BALANCE
00000c80: DUP1
00000c81: ISZERO
00000c82: PUSH2 0x08fc
00000c85: MUL
00000c86: SWAP1
00000c87: PUSH1 0x40
00000c89: MLOAD
00000c8a: PUSH1 0x00
00000c8c: PUSH1 0x40
00000c8e: MLOAD
00000c8f: DUP1
00000c90: DUP4
00000c91: SUB
00000c92: DUP2
00000c93: DUP6
00000c94: DUP9
00000c95: DUP9
00000c96: CALL
00000c97: SWAP4
00000c98: POP
00000c99: POP
00000c9a: POP
00000c9b: POP
00000c9c: ISZERO
00000c9d: ISZERO
00000c9e: PUSH2 0x0ca6
00000ca1: JUMPI
00000ca2: PUSH1 0x00
00000ca4: DUP1
00000ca5: REVERT
00000ca6: JUMPDEST
00000ca7: PUSH1 0x15
00000ca9: SLOAD
00000caa: PUSH1 0x13
00000cac: SLOAD
00000cad: PUSH1 0x01
00000caf: PUSH1 0xa0
00000cb1: PUSH1 0x02
00000cb3: EXP
00000cb4: SUB
00000cb5: SWAP2
00000cb6: DUP3
00000cb7: AND
00000cb8: SWAP2
00000cb9: PUSH4 0xa9059cbb
00000cbe: SWAP2
00000cbf: AND
00000cc0: DUP4
00000cc1: PUSH1 0x00
00000cc3: PUSH1 0x40
00000cc5: MLOAD
00000cc6: PUSH1 0x20
00000cc8: ADD
00000cc9: MSTORE
00000cca: PUSH1 0x40
00000ccc: MLOAD
00000ccd: PUSH1 0xe0
00000ccf: PUSH1 0x02
00000cd1: EXP
00000cd2: PUSH4 0xffffffff
00000cd7: DUP6
00000cd8: AND
00000cd9: MUL
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x01
00000cde: PUSH1 0xa0
00000ce0: PUSH1 0x02
00000ce2: EXP
00000ce3: SUB
00000ce4: SWAP1
00000ce5: SWAP3
00000ce6: AND
00000ce7: PUSH1 0x04
00000ce9: DUP4
00000cea: ADD
00000ceb: MSTORE
00000cec: PUSH1 0x24
00000cee: DUP3
00000cef: ADD
00000cf0: MSTORE
00000cf1: PUSH1 0x44
00000cf3: ADD
00000cf4: PUSH1 0x20
00000cf6: PUSH1 0x40
00000cf8: MLOAD
00000cf9: DUP1
00000cfa: DUP4
00000cfb: SUB
00000cfc: DUP2
00000cfd: PUSH1 0x00
00000cff: DUP8
00000d00: DUP1
00000d01: EXTCODESIZE
00000d02: ISZERO
00000d03: ISZERO
00000d04: PUSH2 0x0d0c
00000d07: JUMPI
00000d08: PUSH1 0x00
00000d0a: DUP1
00000d0b: REVERT
00000d0c: JUMPDEST
00000d0d: PUSH2 0x02c6
00000d10: GAS
00000d11: SUB
00000d12: CALL
00000d13: ISZERO
00000d14: ISZERO
00000d15: PUSH2 0x0d1d
00000d18: JUMPI
00000d19: PUSH1 0x00
00000d1b: DUP1
00000d1c: REVERT
00000d1d: JUMPDEST
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP1
00000d25: MLOAD
00000d26: POP
00000d27: POP
00000d28: JUMPDEST
00000d29: JUMPDEST
00000d2a: POP
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: DUP1
00000d2e: ISZERO
00000d2f: ISZERO
00000d30: PUSH2 0x0aff
00000d33: JUMPI
00000d34: PUSH1 0x00
00000d36: DUP1
00000d37: REVERT
00000d38: JUMPDEST
00000d39: JUMPDEST
00000d3a: POP
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x00
00000d3f: DUP3
00000d40: DUP3
00000d41: MUL
00000d42: PUSH2 0x0326
00000d45: DUP5
00000d46: ISZERO
00000d47: DUP1
00000d48: PUSH2 0x0321
00000d4b: JUMPI
00000d4c: POP
00000d4d: DUP4
00000d4e: DUP6
00000d4f: DUP4
00000d50: DUP2
00000d51: ISZERO
00000d52: ISZERO
00000d53: PUSH2 0x0d58
00000d56: JUMPI
00000d57: INVALID
00000d58: JUMPDEST
00000d59: DIV
00000d5a: EQ
00000d5b: JUMPDEST
00000d5c: PUSH2 0x0d2c
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: DUP1
00000d62: SWAP2
00000d63: POP
00000d64: JUMPDEST
00000d65: POP
00000d66: SWAP3
00000d67: SWAP2
00000d68: POP
00000d69: POP
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH2 0x0d73
00000d6f: PUSH2 0x1576
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH1 0x00
00000d76: DUP1
00000d77: PUSH2 0x0d81
00000d7a: PUSH1 0x02
00000d7c: SLOAD
00000d7d: PUSH2 0x1500
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0xc0
00000d84: DUP6
00000d85: ADD
00000d86: MSTORE
00000d87: PUSH1 0xa0
00000d89: DUP5
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH1 0x03
00000d8e: SLOAD
00000d8f: PUSH2 0x0d97
00000d92: SWAP1
00000d93: PUSH2 0x1500
00000d96: JUMP
00000d97: JUMPDEST
00000d98: PUSH1 0xe0
00000d9a: DUP6
00000d9b: ADD
00000d9c: SWAP1
00000d9d: DUP2
00000d9e: MSTORE
00000d9f: PUSH1 0x80
00000da1: DUP6
00000da2: ADD
00000da3: SWAP2
00000da4: SWAP1
00000da5: SWAP2
00000da6: MSTORE
00000da7: PUSH2 0x0db3
00000daa: SWAP1
00000dab: MLOAD
00000dac: PUSH1 0x01
00000dae: SLOAD
00000daf: PUSH2 0x1339
00000db2: JUMP
00000db3: JUMPDEST
00000db4: SWAP2
00000db5: POP
00000db6: PUSH2 0x0dd7
00000db9: PUSH1 0x01
00000dbb: SLOAD
00000dbc: PUSH1 0x04
00000dbe: PUSH2 0x0dc8
00000dc1: DUP6
00000dc2: PUSH1 0x05
00000dc4: PUSH2 0x0d3c
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: DUP2
00000dca: ISZERO
00000dcb: ISZERO
00000dcc: PUSH2 0x0dd1
00000dcf: JUMPI
00000dd0: INVALID
00000dd1: JUMPDEST
00000dd2: DIV
00000dd3: PUSH2 0x0309
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH2 0x0100
00000ddb: DUP5
00000ddc: ADD
00000ddd: MSTORE
00000dde: PUSH1 0x01
00000de0: SLOAD
00000de1: PUSH2 0x0e00
00000de4: SWAP1
00000de5: PUSH1 0x03
00000de7: PUSH2 0x0dc8
00000dea: DUP6
00000deb: PUSH1 0x04
00000ded: PUSH2 0x0d3c
00000df0: JUMP
00000df1: JUMPDEST
00000df2: DUP2
00000df3: ISZERO
00000df4: ISZERO
00000df5: PUSH2 0x0dd1
00000df8: JUMPI
00000df9: INVALID
00000dfa: JUMPDEST
00000dfb: DIV
00000dfc: PUSH2 0x0309
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH2 0x0120
00000e04: DUP5
00000e05: ADD
00000e06: MSTORE
00000e07: PUSH1 0x01
00000e09: SLOAD
00000e0a: PUSH2 0x0e29
00000e0d: SWAP1
00000e0e: PUSH1 0x02
00000e10: PUSH2 0x0dc8
00000e13: DUP6
00000e14: PUSH1 0x03
00000e16: PUSH2 0x0d3c
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: DUP2
00000e1c: ISZERO
00000e1d: ISZERO
00000e1e: PUSH2 0x0dd1
00000e21: JUMPI
00000e22: INVALID
00000e23: JUMPDEST
00000e24: DIV
00000e25: PUSH2 0x0309
00000e28: JUMP
00000e29: JUMPDEST
00000e2a: PUSH2 0x0140
00000e2d: DUP5
00000e2e: ADD
00000e2f: MSTORE
00000e30: PUSH1 0x01
00000e32: SLOAD
00000e33: PUSH2 0x0e46
00000e36: SWAP1
00000e37: PUSH2 0x0e41
00000e3a: DUP5
00000e3b: PUSH1 0x02
00000e3d: PUSH2 0x0d3c
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH2 0x0309
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH2 0x0160
00000e4a: DUP5
00000e4b: ADD
00000e4c: MSTORE
00000e4d: PUSH1 0x01
00000e4f: SLOAD
00000e50: PUSH2 0x0e5d
00000e53: SWAP1
00000e54: PUSH1 0x80
00000e56: DUP6
00000e57: ADD
00000e58: MLOAD
00000e59: PUSH2 0x1339
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: SWAP2
00000e5f: POP
00000e60: PUSH1 0x04
00000e62: PUSH2 0x0e6c
00000e65: DUP4
00000e66: PUSH1 0x05
00000e68: PUSH2 0x0d3c
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: DUP2
00000e6e: ISZERO
00000e6f: ISZERO
00000e70: PUSH2 0x0e75
00000e73: JUMPI
00000e74: INVALID
00000e75: JUMPDEST
00000e76: DIV
00000e77: SWAP1
00000e78: POP
00000e79: PUSH1 0x01
00000e7b: SLOAD
00000e7c: DUP2
00000e7d: LT
00000e7e: ISZERO
00000e7f: PUSH2 0x0f09
00000e82: JUMPI
00000e83: PUSH1 0x01
00000e85: SLOAD
00000e86: DUP2
00000e87: SWAP1
00000e88: SUB
00000e89: PUSH1 0x60
00000e8b: DUP5
00000e8c: ADD
00000e8d: MSTORE
00000e8e: PUSH1 0x03
00000e90: PUSH2 0x0e9a
00000e93: DUP4
00000e94: PUSH1 0x04
00000e96: PUSH2 0x0d3c
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: DUP2
00000e9c: ISZERO
00000e9d: ISZERO
00000e9e: PUSH2 0x0ea3
00000ea1: JUMPI
00000ea2: INVALID
00000ea3: JUMPDEST
00000ea4: DIV
00000ea5: SWAP1
00000ea6: POP
00000ea7: PUSH1 0x01
00000ea9: SLOAD
00000eaa: DUP2
00000eab: LT
00000eac: ISZERO
00000ead: PUSH2 0x0f09
00000eb0: JUMPI
00000eb1: PUSH1 0x01
00000eb3: SLOAD
00000eb4: DUP2
00000eb5: SWAP1
00000eb6: SUB
00000eb7: PUSH1 0x40
00000eb9: DUP5
00000eba: ADD
00000ebb: MSTORE
00000ebc: PUSH1 0x02
00000ebe: PUSH2 0x0ec8
00000ec1: DUP4
00000ec2: PUSH1 0x03
00000ec4: PUSH2 0x0d3c
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: DUP2
00000eca: ISZERO
00000ecb: ISZERO
00000ecc: PUSH2 0x0ed1
00000ecf: JUMPI
00000ed0: INVALID
00000ed1: JUMPDEST
00000ed2: DIV
00000ed3: SWAP1
00000ed4: POP
00000ed5: PUSH1 0x01
00000ed7: SLOAD
00000ed8: DUP2
00000ed9: LT
00000eda: ISZERO
00000edb: PUSH2 0x0f09
00000ede: JUMPI
00000edf: PUSH1 0x01
00000ee1: SLOAD
00000ee2: DUP2
00000ee3: SWAP1
00000ee4: SUB
00000ee5: PUSH1 0x20
00000ee7: DUP5
00000ee8: ADD
00000ee9: MSTORE
00000eea: PUSH2 0x0ef4
00000eed: DUP3
00000eee: PUSH1 0x02
00000ef0: PUSH2 0x0d3c
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: SWAP1
00000ef6: POP
00000ef7: PUSH1 0x01
00000ef9: SLOAD
00000efa: DUP2
00000efb: LT
00000efc: ISZERO
00000efd: PUSH2 0x0f09
00000f00: JUMPI
00000f01: PUSH1 0x01
00000f03: SLOAD
00000f04: DUP2
00000f05: SWAP1
00000f06: SUB
00000f07: DUP4
00000f08: MSTORE
00000f09: JUMPDEST
00000f0a: JUMPDEST
00000f0b: JUMPDEST
00000f0c: JUMPDEST
00000f0d: JUMPDEST
00000f0e: POP
00000f0f: POP
00000f10: SWAP1
00000f11: JUMP
00000f12: JUMPDEST
00000f13: PUSH1 0x00
00000f15: DUP1
00000f16: PUSH1 0x00
00000f18: PUSH1 0x01
00000f1a: SLOAD
00000f1b: DUP7
00000f1c: GT
00000f1d: ISZERO
00000f1e: DUP1
00000f1f: ISZERO
00000f20: PUSH2 0x0f33
00000f23: JUMPI
00000f24: POP
00000f25: PUSH1 0x01
00000f27: SLOAD
00000f28: DUP6
00000f29: LT
00000f2a: ISZERO
00000f2b: DUP1
00000f2c: PUSH2 0x0f33
00000f2f: JUMPI
00000f30: POP
00000f31: DUP5
00000f32: ISZERO
00000f33: JUMPDEST
00000f34: JUMPDEST
00000f35: ISZERO
00000f36: PUSH2 0x0f61
00000f39: JUMPI
00000f3a: POP
00000f3b: POP
00000f3c: POP
00000f3d: PUSH1 0x00
00000f3f: DUP4
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x06
00000f44: PUSH1 0x20
00000f46: DUP2
00000f47: SWAP1
00000f48: MSTORE
00000f49: PUSH1 0x40
00000f4b: SWAP1
00000f4c: SWAP2
00000f4d: KECCAK256
00000f4e: SLOAD
00000f4f: PUSH1 0x11
00000f51: DUP1
00000f52: SLOAD
00000f53: SWAP1
00000f54: SWAP2
00000f55: ADD
00000f56: SWAP1
00000f57: SSTORE
00000f58: PUSH1 0x01
00000f5a: SWAP1
00000f5b: PUSH1 0x04
00000f5d: PUSH2 0x10bf
00000f60: JUMP
00000f61: JUMPDEST
00000f62: DUP4
00000f63: ISZERO
00000f64: PUSH2 0x0f8b
00000f67: JUMPI
00000f68: POP
00000f69: POP
00000f6a: POP
00000f6b: PUSH1 0x00
00000f6d: DUP4
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x06
00000f72: PUSH1 0x20
00000f74: DUP2
00000f75: SWAP1
00000f76: MSTORE
00000f77: PUSH1 0x40
00000f79: DUP3
00000f7a: KECCAK256
00000f7b: SLOAD
00000f7c: PUSH1 0x11
00000f7e: DUP1
00000f7f: SLOAD
00000f80: SWAP1
00000f81: SWAP2
00000f82: ADD
00000f83: SWAP1
00000f84: SSTORE
00000f85: PUSH1 0x04
00000f87: PUSH2 0x10bf
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: DUP7
00000f8d: MLOAD
00000f8e: DUP7
00000f8f: LT
00000f90: ISZERO
00000f91: DUP1
00000f92: ISZERO
00000f93: PUSH2 0x0fa1
00000f96: JUMPI
00000f97: POP
00000f98: DUP7
00000f99: PUSH2 0x0160
00000f9c: ADD
00000f9d: MLOAD
00000f9e: DUP7
00000f9f: GT
00000fa0: ISZERO
00000fa1: JUMPDEST
00000fa2: ISZERO
00000fa3: PUSH2 0x10bf
00000fa6: JUMPI
00000fa7: DUP7
00000fa8: PUSH1 0x20
00000faa: ADD
00000fab: MLOAD
00000fac: DUP7
00000fad: LT
00000fae: ISZERO
00000faf: DUP1
00000fb0: ISZERO
00000fb1: PUSH2 0x0fbf
00000fb4: JUMPI
00000fb5: POP
00000fb6: DUP7
00000fb7: PUSH2 0x0140
00000fba: ADD
00000fbb: MLOAD
00000fbc: DUP7
00000fbd: GT
00000fbe: ISZERO
00000fbf: JUMPDEST
00000fc0: ISZERO
00000fc1: PUSH2 0x10ba
00000fc4: JUMPI
00000fc5: DUP7
00000fc6: PUSH1 0x40
00000fc8: ADD
00000fc9: MLOAD
00000fca: DUP7
00000fcb: LT
00000fcc: ISZERO
00000fcd: DUP1
00000fce: ISZERO
00000fcf: PUSH2 0x0fdd
00000fd2: JUMPI
00000fd3: POP
00000fd4: DUP7
00000fd5: PUSH2 0x0120
00000fd8: ADD
00000fd9: MLOAD
00000fda: DUP7
00000fdb: GT
00000fdc: ISZERO
00000fdd: JUMPDEST
00000fde: ISZERO
00000fdf: PUSH2 0x10b0
00000fe2: JUMPI
00000fe3: DUP7
00000fe4: PUSH1 0x60
00000fe6: ADD
00000fe7: MLOAD
00000fe8: DUP7
00000fe9: LT
00000fea: ISZERO
00000feb: DUP1
00000fec: ISZERO
00000fed: PUSH2 0x0ffb
00000ff0: JUMPI
00000ff1: POP
00000ff2: DUP7
00000ff3: PUSH2 0x0100
00000ff6: ADD
00000ff7: MLOAD
00000ff8: DUP7
00000ff9: GT
00000ffa: ISZERO
00000ffb: JUMPDEST
00000ffc: ISZERO
00000ffd: PUSH2 0x10a6
00001000: JUMPI
00001001: DUP7
00001002: PUSH1 0x80
00001004: ADD
00001005: MLOAD
00001006: DUP7
00001007: LT
00001008: ISZERO
00001009: DUP1
0000100a: ISZERO
0000100b: PUSH2 0x1018
0000100e: JUMPI
0000100f: POP
00001010: DUP7
00001011: PUSH1 0xe0
00001013: ADD
00001014: MLOAD
00001015: DUP7
00001016: GT
00001017: ISZERO
00001018: JUMPDEST
00001019: ISZERO
0000101a: PUSH2 0x1082
0000101d: JUMPI
0000101e: DUP7
0000101f: PUSH1 0xa0
00001021: ADD
00001022: MLOAD
00001023: DUP7
00001024: LT
00001025: ISZERO
00001026: DUP1
00001027: ISZERO
00001028: PUSH2 0x1035
0000102b: JUMPI
0000102c: POP
0000102d: DUP7
0000102e: PUSH1 0xc0
00001030: ADD
00001031: MLOAD
00001032: DUP7
00001033: GT
00001034: ISZERO
00001035: JUMPDEST
00001036: ISZERO
00001037: PUSH2 0x105e
0000103a: JUMPI
0000103b: POP
0000103c: POP
0000103d: PUSH1 0x00
0000103f: DUP5
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x06
00001044: PUSH1 0x20
00001046: DUP2
00001047: SWAP1
00001048: MSTORE
00001049: PUSH1 0x40
0000104b: SWAP1
0000104c: SWAP2
0000104d: KECCAK256
0000104e: SLOAD
0000104f: PUSH1 0x10
00001051: DUP1
00001052: SLOAD
00001053: SWAP1
00001054: SWAP2
00001055: ADD
00001056: SWAP1
00001057: SSTORE
00001058: PUSH1 0x03
0000105a: PUSH2 0x107d
0000105d: JUMP
0000105e: JUMPDEST
0000105f: POP
00001060: POP
00001061: PUSH1 0x00
00001063: DUP5
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x06
00001068: PUSH1 0x20
0000106a: MSTORE
0000106b: PUSH1 0x40
0000106d: SWAP1
0000106e: KECCAK256
0000106f: SLOAD
00001070: PUSH1 0x0f
00001072: DUP1
00001073: SLOAD
00001074: SWAP1
00001075: SWAP2
00001076: ADD
00001077: SWAP1
00001078: SSTORE
00001079: PUSH1 0x05
0000107b: PUSH1 0x02
0000107d: JUMPDEST
0000107e: PUSH2 0x10a1
00001081: JUMP
00001082: JUMPDEST
00001083: POP
00001084: POP
00001085: PUSH1 0x00
00001087: DUP5
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x06
0000108c: PUSH1 0x20
0000108e: MSTORE
0000108f: PUSH1 0x40
00001091: SWAP1
00001092: KECCAK256
00001093: SLOAD
00001094: PUSH1 0x0e
00001096: DUP1
00001097: SLOAD
00001098: SWAP1
00001099: SWAP2
0000109a: ADD
0000109b: SWAP1
0000109c: SSTORE
0000109d: PUSH1 0x04
0000109f: PUSH1 0x01
000010a1: JUMPDEST
000010a2: PUSH2 0x10ab
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH1 0x03
000010a9: SWAP2
000010aa: POP
000010ab: JUMPDEST
000010ac: PUSH2 0x10b5
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH1 0x02
000010b3: SWAP2
000010b4: POP
000010b5: JUMPDEST
000010b6: PUSH2 0x10bf
000010b9: JUMP
000010ba: JUMPDEST
000010bb: PUSH1 0x01
000010bd: SWAP2
000010be: POP
000010bf: JUMPDEST
000010c0: JUMPDEST
000010c1: JUMPDEST
000010c2: JUMPDEST
000010c3: PUSH1 0x00
000010c5: DUP7
000010c6: DUP2
000010c7: MSTORE
000010c8: PUSH1 0x06
000010ca: PUSH1 0x20
000010cc: MSTORE
000010cd: PUSH1 0x40
000010cf: SWAP1
000010d0: KECCAK256
000010d1: PUSH1 0x01
000010d3: ADD
000010d4: DUP1
000010d5: SLOAD
000010d6: PUSH1 0xff
000010d8: DUP4
000010d9: DUP2
000010da: AND
000010db: PUSH2 0x0100
000010de: MUL
000010df: PUSH2 0xff00
000010e2: NOT
000010e3: SWAP2
000010e4: DUP7
000010e5: AND
000010e6: PUSH1 0xff
000010e8: NOT
000010e9: SWAP1
000010ea: SWAP4
000010eb: AND
000010ec: SWAP3
000010ed: SWAP1
000010ee: SWAP3
000010ef: OR
000010f0: AND
000010f1: OR
000010f2: SWAP1
000010f3: SSTORE
000010f4: JUMPDEST
000010f5: POP
000010f6: POP
000010f7: SWAP5
000010f8: SWAP4
000010f9: POP
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x00
00001101: DUP1
00001102: PUSH1 0x00
00001104: DUP1
00001105: PUSH1 0x00
00001107: DUP1
00001108: PUSH2 0x1115
0000110b: PUSH1 0x10
0000110d: SLOAD
0000110e: PUSH1 0x11
00001110: SLOAD
00001111: PUSH2 0x0309
00001114: JUMP
00001115: JUMPDEST
00001116: PUSH1 0x10
00001118: DUP2
00001119: SWAP1
0000111a: SSTORE
0000111b: PUSH1 0x0f
0000111d: SLOAD
0000111e: PUSH2 0x1126
00001121: SWAP2
00001122: PUSH2 0x0309
00001125: JUMP
00001126: JUMPDEST
00001127: PUSH1 0x0f
00001129: DUP2
0000112a: SWAP1
0000112b: SSTORE
0000112c: PUSH1 0x0e
0000112e: SLOAD
0000112f: PUSH2 0x1137
00001132: SWAP2
00001133: PUSH2 0x0309
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH1 0x0e
0000113a: DUP2
0000113b: SWAP1
0000113c: SSTORE
0000113d: ISZERO
0000113e: ISZERO
0000113f: PUSH2 0x114f
00001142: JUMPI
00001143: PUSH1 0x0c
00001145: SLOAD
00001146: SWAP5
00001147: POP
00001148: DUP5
00001149: SWAP6
0000114a: POP
0000114b: PUSH2 0x1293
0000114e: JUMP
0000114f: JUMPDEST
00001150: PUSH1 0x0c
00001152: SLOAD
00001153: PUSH1 0x0a
00001155: SWAP1
00001156: JUMPDEST
00001157: DIV
00001158: SWAP4
00001159: POP
0000115a: PUSH2 0x1164
0000115d: DUP5
0000115e: PUSH1 0x02
00001160: PUSH2 0x0d3c
00001163: JUMP
00001164: JUMPDEST
00001165: SWAP3
00001166: POP
00001167: DUP3
00001168: SWAP2
00001169: POP
0000116a: PUSH2 0x1175
0000116d: PUSH1 0x0c
0000116f: SLOAD
00001170: DUP4
00001171: PUSH2 0x1339
00001174: JUMP
00001175: JUMPDEST
00001176: SWAP1
00001177: POP
00001178: PUSH2 0x1181
0000117b: DUP2
0000117c: DUP5
0000117d: PUSH2 0x1339
00001180: JUMP
00001181: JUMPDEST
00001182: SWAP1
00001183: POP
00001184: PUSH2 0x118d
00001187: DUP2
00001188: DUP6
00001189: PUSH2 0x1339
0000118c: JUMP
0000118d: JUMPDEST
0000118e: SWAP1
0000118f: POP
00001190: PUSH1 0x0e
00001192: SLOAD
00001193: DUP2
00001194: DUP2
00001195: ISZERO
00001196: ISZERO
00001197: PUSH2 0x119c
0000119a: JUMPI
0000119b: INVALID
0000119c: JUMPDEST
0000119d: MOD
0000119e: SWAP5
0000119f: POP
000011a0: PUSH1 0x0e
000011a2: SLOAD
000011a3: DUP2
000011a4: DUP2
000011a5: ISZERO
000011a6: ISZERO
000011a7: PUSH2 0x11ac
000011aa: JUMPI
000011ab: INVALID
000011ac: JUMPDEST
000011ad: DIV
000011ae: PUSH1 0x0e
000011b0: SSTORE
000011b1: PUSH1 0x0f
000011b3: SLOAD
000011b4: PUSH1 0x00
000011b6: SWAP1
000011b7: GT
000011b8: ISZERO
000011b9: PUSH2 0x11ee
000011bc: JUMPI
000011bd: PUSH2 0x11c6
000011c0: DUP3
000011c1: DUP7
000011c2: PUSH2 0x0309
000011c5: JUMP
000011c6: JUMPDEST
000011c7: SWAP2
000011c8: POP
000011c9: PUSH1 0x0f
000011cb: SLOAD
000011cc: DUP3
000011cd: DUP2
000011ce: ISZERO
000011cf: ISZERO
000011d0: PUSH2 0x11d5
000011d3: JUMPI
000011d4: INVALID
000011d5: JUMPDEST
000011d6: MOD
000011d7: SWAP5
000011d8: POP
000011d9: PUSH1 0x0f
000011db: SLOAD
000011dc: DUP3
000011dd: DUP2
000011de: ISZERO
000011df: ISZERO
000011e0: PUSH2 0x11e5
000011e3: JUMPI
000011e4: INVALID
000011e5: JUMPDEST
000011e6: DIV
000011e7: PUSH1 0x0f
000011e9: SSTORE
000011ea: PUSH2 0x11fb
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH2 0x11f8
000011f2: DUP6
000011f3: DUP4
000011f4: PUSH2 0x0309
000011f7: JUMP
000011f8: JUMPDEST
000011f9: SWAP5
000011fa: POP
000011fb: JUMPDEST
000011fc: PUSH1 0x00
000011fe: PUSH1 0x10
00001200: SLOAD
00001201: GT
00001202: ISZERO
00001203: PUSH2 0x1238
00001206: JUMPI
00001207: PUSH2 0x1210
0000120a: DUP4
0000120b: DUP7
0000120c: PUSH2 0x0309
0000120f: JUMP
00001210: JUMPDEST
00001211: SWAP3
00001212: POP
00001213: PUSH1 0x10
00001215: SLOAD
00001216: DUP4
00001217: DUP2
00001218: ISZERO
00001219: ISZERO
0000121a: PUSH2 0x121f
0000121d: JUMPI
0000121e: INVALID
0000121f: JUMPDEST
00001220: MOD
00001221: SWAP5
00001222: POP
00001223: PUSH1 0x10
00001225: SLOAD
00001226: DUP4
00001227: DUP2
00001228: ISZERO
00001229: ISZERO
0000122a: PUSH2 0x122f
0000122d: JUMPI
0000122e: INVALID
0000122f: JUMPDEST
00001230: DIV
00001231: PUSH1 0x10
00001233: SSTORE
00001234: PUSH2 0x1245
00001237: JUMP
00001238: JUMPDEST
00001239: PUSH2 0x1242
0000123c: DUP6
0000123d: DUP5
0000123e: PUSH2 0x0309
00001241: JUMP
00001242: JUMPDEST
00001243: SWAP5
00001244: POP
00001245: JUMPDEST
00001246: PUSH1 0x00
00001248: PUSH1 0x11
0000124a: SLOAD
0000124b: GT
0000124c: ISZERO
0000124d: PUSH2 0x1282
00001250: JUMPI
00001251: PUSH2 0x125a
00001254: DUP5
00001255: DUP7
00001256: PUSH2 0x0309
00001259: JUMP
0000125a: JUMPDEST
0000125b: SWAP4
0000125c: POP
0000125d: PUSH1 0x11
0000125f: SLOAD
00001260: DUP5
00001261: DUP2
00001262: ISZERO
00001263: ISZERO
00001264: PUSH2 0x1269
00001267: JUMPI
00001268: INVALID
00001269: JUMPDEST
0000126a: MOD
0000126b: SWAP5
0000126c: POP
0000126d: PUSH1 0x11
0000126f: SLOAD
00001270: DUP5
00001271: DUP2
00001272: ISZERO
00001273: ISZERO
00001274: PUSH2 0x1279
00001277: JUMPI
00001278: INVALID
00001279: JUMPDEST
0000127a: DIV
0000127b: PUSH1 0x11
0000127d: SSTORE
0000127e: PUSH2 0x128f
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH2 0x128c
00001286: DUP6
00001287: DUP6
00001288: PUSH2 0x0309
0000128b: JUMP
0000128c: JUMPDEST
0000128d: SWAP5
0000128e: POP
0000128f: JUMPDEST
00001290: DUP5
00001291: SWAP6
00001292: POP
00001293: JUMPDEST
00001294: POP
00001295: POP
00001296: POP
00001297: POP
00001298: POP
00001299: SWAP1
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH1 0x00
0000129e: DUP1
0000129f: PUSH1 0xff
000012a1: DUP5
000012a2: AND
000012a3: DUP2
000012a4: SWAP1
000012a5: GT
000012a6: ISZERO
000012a7: PUSH2 0x12c2
000012aa: JUMPI
000012ab: PUSH2 0x12bf
000012ae: DUP2
000012af: PUSH2 0x0e41
000012b2: DUP6
000012b3: PUSH1 0x0e
000012b5: SLOAD
000012b6: PUSH2 0x0d3c
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH2 0x0309
000012be: JUMP
000012bf: JUMPDEST
000012c0: SWAP1
000012c1: POP
000012c2: JUMPDEST
000012c3: PUSH1 0x01
000012c5: DUP5
000012c6: PUSH1 0xff
000012c8: AND
000012c9: GT
000012ca: ISZERO
000012cb: PUSH2 0x12e6
000012ce: JUMPI
000012cf: PUSH2 0x12e3
000012d2: DUP2
000012d3: PUSH2 0x0e41
000012d6: DUP6
000012d7: PUSH1 0x0f
000012d9: SLOAD
000012da: PUSH2 0x0d3c
000012dd: JUMP
000012de: JUMPDEST
000012df: PUSH2 0x0309
000012e2: JUMP
000012e3: JUMPDEST
000012e4: SWAP1
000012e5: POP
000012e6: JUMPDEST
000012e7: PUSH1 0x02
000012e9: DUP5
000012ea: PUSH1 0xff
000012ec: AND
000012ed: GT
000012ee: ISZERO
000012ef: PUSH2 0x130a
000012f2: JUMPI
000012f3: PUSH2 0x1307
000012f6: DUP2
000012f7: PUSH2 0x0e41
000012fa: DUP6
000012fb: PUSH1 0x10
000012fd: SLOAD
000012fe: PUSH2 0x0d3c
00001301: JUMP
00001302: JUMPDEST
00001303: PUSH2 0x0309
00001306: JUMP
00001307: JUMPDEST
00001308: SWAP1
00001309: POP
0000130a: JUMPDEST
0000130b: PUSH1 0x03
0000130d: DUP5
0000130e: PUSH1 0xff
00001310: AND
00001311: GT
00001312: ISZERO
00001313: PUSH2 0x0326
00001316: JUMPI
00001317: PUSH2 0x132b
0000131a: DUP2
0000131b: PUSH2 0x0e41
0000131e: DUP6
0000131f: PUSH1 0x11
00001321: SLOAD
00001322: PUSH2 0x0d3c
00001325: JUMP
00001326: JUMPDEST
00001327: PUSH2 0x0309
0000132a: JUMP
0000132b: JUMPDEST
0000132c: SWAP1
0000132d: POP
0000132e: JUMPDEST
0000132f: DUP1
00001330: SWAP2
00001331: POP
00001332: JUMPDEST
00001333: POP
00001334: SWAP3
00001335: SWAP2
00001336: POP
00001337: POP
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH1 0x00
0000133c: PUSH2 0x1347
0000133f: DUP4
00001340: DUP4
00001341: GT
00001342: ISZERO
00001343: PUSH2 0x0d2c
00001346: JUMP
00001347: JUMPDEST
00001348: POP
00001349: DUP1
0000134a: DUP3
0000134b: SUB
0000134c: JUMPDEST
0000134d: SWAP3
0000134e: SWAP2
0000134f: POP
00001350: POP
00001351: JUMP
00001352: JUMPDEST
00001353: PUSH1 0x14
00001355: SLOAD
00001356: PUSH1 0x00
00001358: SWAP1
00001359: DUP2
0000135a: SWAP1
0000135b: DUP2
0000135c: SWAP1
0000135d: DUP2
0000135e: SWAP1
0000135f: DUP2
00001360: SWAP1
00001361: DUP2
00001362: SWAP1
00001363: DUP2
00001364: SWAP1
00001365: PUSH1 0x01
00001367: PUSH1 0xa0
00001369: PUSH1 0x02
0000136b: EXP
0000136c: SUB
0000136d: AND
0000136e: PUSH4 0x9507d39a
00001373: DUP10
00001374: DUP4
00001375: PUSH1 0x40
00001377: MLOAD
00001378: PUSH1 0xe0
0000137a: ADD
0000137b: MSTORE
0000137c: PUSH1 0x40
0000137e: MLOAD
0000137f: PUSH1 0xe0
00001381: PUSH1 0x02
00001383: EXP
00001384: PUSH4 0xffffffff
00001389: DUP5
0000138a: AND
0000138b: MUL
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x04
00001390: DUP2
00001391: ADD
00001392: SWAP2
00001393: SWAP1
00001394: SWAP2
00001395: MSTORE
00001396: PUSH1 0x24
00001398: ADD
00001399: PUSH1 0xe0
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: DUP1
0000139f: DUP4
000013a0: SUB
000013a1: DUP2
000013a2: PUSH1 0x00
000013a4: DUP8
000013a5: DUP1
000013a6: EXTCODESIZE
000013a7: ISZERO
000013a8: ISZERO
000013a9: PUSH2 0x13b1
000013ac: JUMPI
000013ad: PUSH1 0x00
000013af: DUP1
000013b0: REVERT
000013b1: JUMPDEST
000013b2: PUSH2 0x02c6
000013b5: GAS
000013b6: SUB
000013b7: CALL
000013b8: ISZERO
000013b9: ISZERO
000013ba: PUSH2 0x13c2
000013bd: JUMPI
000013be: PUSH1 0x00
000013c0: DUP1
000013c1: REVERT
000013c2: JUMPDEST
000013c3: POP
000013c4: POP
000013c5: POP
000013c6: PUSH1 0x40
000013c8: MLOAD
000013c9: DUP1
000013ca: MLOAD
000013cb: SWAP1
000013cc: PUSH1 0x20
000013ce: ADD
000013cf: DUP1
000013d0: MLOAD
000013d1: SWAP1
000013d2: PUSH1 0x20
000013d4: ADD
000013d5: DUP1
000013d6: MLOAD
000013d7: SWAP1
000013d8: PUSH1 0x20
000013da: ADD
000013db: DUP1
000013dc: MLOAD
000013dd: SWAP1
000013de: PUSH1 0x20
000013e0: ADD
000013e1: DUP1
000013e2: MLOAD
000013e3: SWAP1
000013e4: PUSH1 0x20
000013e6: ADD
000013e7: DUP1
000013e8: MLOAD
000013e9: SWAP1
000013ea: PUSH1 0x20
000013ec: ADD
000013ed: DUP1
000013ee: MLOAD
000013ef: SWAP14
000013f0: POP
000013f1: SWAP6
000013f2: SWAP12
000013f3: POP
000013f4: SWAP2
000013f5: SWAP10
000013f6: POP
000013f7: SWAP3
000013f8: SWAP8
000013f9: POP
000013fa: SWAP1
000013fb: SWAP6
000013fc: POP
000013fd: SWAP1
000013fe: SWAP4
000013ff: POP
00001400: SWAP2
00001401: POP
00001402: POP
00001403: JUMPDEST
00001404: POP
00001405: POP
00001406: SWAP2
00001407: SWAP4
00001408: SWAP6
00001409: SWAP1
0000140a: SWAP3
0000140b: SWAP5
0000140c: POP
0000140d: JUMP
0000140e: JUMPDEST
0000140f: PUSH1 0x00
00001411: DUP1
00001412: PUSH1 0x00
00001414: PUSH1 0x04
00001416: SLOAD
00001417: DUP5
00001418: LT
00001419: ISZERO
0000141a: ISZERO
0000141b: ISZERO
0000141c: PUSH2 0x1424
0000141f: JUMPI
00001420: PUSH1 0x00
00001422: DUP1
00001423: REVERT
00001424: JUMPDEST
00001425: PUSH1 0x05
00001427: SLOAD
00001428: PUSH1 0x04
0000142a: SLOAD
0000142b: ADD
0000142c: DUP5
0000142d: GT
0000142e: ISZERO
0000142f: PUSH2 0x1437
00001432: JUMPI
00001433: PUSH1 0x00
00001435: DUP1
00001436: REVERT
00001437: JUMPDEST
00001438: PUSH1 0x64
0000143a: PUSH2 0x144f
0000143d: PUSH8 0x0de0b6b3a7640000
00001446: DUP8
00001447: JUMPDEST
00001448: DIV
00001449: PUSH1 0x64
0000144b: PUSH2 0x0309
0000144e: JUMP
0000144f: JUMPDEST
00001450: DUP2
00001451: ISZERO
00001452: ISZERO
00001453: PUSH2 0x1458
00001456: JUMPI
00001457: INVALID
00001458: JUMPDEST
00001459: DIV
0000145a: SWAP2
0000145b: POP
0000145c: PUSH1 0x05
0000145e: SLOAD
0000145f: PUSH2 0x147f
00001462: PUSH1 0x96
00001464: PUSH2 0x147a
00001467: PUSH1 0x05
00001469: SLOAD
0000146a: PUSH2 0x1475
0000146d: DUP10
0000146e: PUSH1 0x04
00001470: SLOAD
00001471: PUSH2 0x1339
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH2 0x1339
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH2 0x0d3c
0000147e: JUMP
0000147f: JUMPDEST
00001480: DUP2
00001481: ISZERO
00001482: ISZERO
00001483: PUSH2 0x1488
00001486: JUMPI
00001487: INVALID
00001488: JUMPDEST
00001489: DIV
0000148a: SWAP1
0000148b: POP
0000148c: PUSH2 0x1497
0000148f: DUP2
00001490: PUSH2 0x03e8
00001493: PUSH2 0x0309
00001496: JUMP
00001497: JUMPDEST
00001498: SWAP1
00001499: POP
0000149a: PUSH2 0x14a3
0000149d: DUP3
0000149e: DUP3
0000149f: PUSH2 0x0d3c
000014a2: JUMP
000014a3: JUMPDEST
000014a4: SWAP2
000014a5: POP
000014a6: PUSH2 0x03e8
000014a9: DUP3
000014aa: JUMPDEST
000014ab: DIV
000014ac: SWAP2
000014ad: POP
000014ae: PUSH32 0xfd3605c3334acd84c29f8601e62dfa6e1c6b3a489b07b4838025f3cf91560450
000014cf: DUP6
000014d0: DUP4
000014d1: DUP4
000014d2: PUSH1 0x40
000014d4: MLOAD
000014d5: DUP1
000014d6: DUP5
000014d7: DUP2
000014d8: MSTORE
000014d9: PUSH1 0x20
000014db: ADD
000014dc: DUP4
000014dd: DUP2
000014de: MSTORE
000014df: PUSH1 0x20
000014e1: ADD
000014e2: DUP3
000014e3: DUP2
000014e4: MSTORE
000014e5: PUSH1 0x20
000014e7: ADD
000014e8: SWAP4
000014e9: POP
000014ea: POP
000014eb: POP
000014ec: POP
000014ed: PUSH1 0x40
000014ef: MLOAD
000014f0: DUP1
000014f1: SWAP2
000014f2: SUB
000014f3: SWAP1
000014f4: LOG1
000014f5: DUP2
000014f6: SWAP3
000014f7: POP
000014f8: JUMPDEST
000014f9: POP
000014fa: POP
000014fb: SWAP3
000014fc: SWAP2
000014fd: POP
000014fe: POP
000014ff: JUMP
00001500: JUMPDEST
00001501: PUSH1 0x00
00001503: DUP1
00001504: PUSH1 0x00
00001506: DUP1
00001507: PUSH2 0x1512
0000150a: PUSH2 0x03e8
0000150d: DUP7
0000150e: PUSH2 0x1339
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP2
00001514: POP
00001515: PUSH2 0x03e8
00001518: PUSH2 0x1523
0000151b: PUSH1 0x01
0000151d: SLOAD
0000151e: DUP5
0000151f: PUSH2 0x0d3c
00001522: JUMP
00001523: JUMPDEST
00001524: DUP2
00001525: ISZERO
00001526: ISZERO
00001527: PUSH2 0x152c
0000152a: JUMPI
0000152b: INVALID
0000152c: JUMPDEST
0000152d: DIV
0000152e: SWAP4
0000152f: POP
00001530: DUP2
00001531: PUSH2 0x153c
00001534: PUSH2 0x03e8
00001537: DUP8
00001538: PUSH2 0x0d3c
0000153b: JUMP
0000153c: JUMPDEST
0000153d: DUP2
0000153e: ISZERO
0000153f: ISZERO
00001540: PUSH2 0x1545
00001543: JUMPI
00001544: INVALID
00001545: JUMPDEST
00001546: DIV
00001547: SWAP1
00001548: POP
00001549: PUSH2 0x03e8
0000154c: PUSH2 0x1562
0000154f: PUSH1 0x01
00001551: SLOAD
00001552: PUSH2 0x147a
00001555: PUSH2 0x03e8
00001558: DUP6
00001559: PUSH2 0x0309
0000155c: JUMP
0000155d: JUMPDEST
0000155e: PUSH2 0x0d3c
00001561: JUMP
00001562: JUMPDEST
00001563: DUP2
00001564: ISZERO
00001565: ISZERO
00001566: PUSH2 0x156b
00001569: JUMPI
0000156a: INVALID
0000156b: JUMPDEST
0000156c: DIV
0000156d: SWAP3
0000156e: POP
0000156f: JUMPDEST
00001570: POP
00001571: POP
00001572: SWAP2
00001573: POP
00001574: SWAP2
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH2 0x0180
0000157a: PUSH1 0x40
0000157c: MLOAD
0000157d: SWAP1
0000157e: DUP2
0000157f: ADD
00001580: PUSH1 0x40
00001582: MSTORE
00001583: DUP1
00001584: PUSH1 0x00
00001586: DUP2
00001587: MSTORE
00001588: PUSH1 0x20
0000158a: ADD
0000158b: PUSH1 0x00
0000158d: DUP2
0000158e: MSTORE
0000158f: PUSH1 0x20
00001591: ADD
00001592: PUSH1 0x00
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH1 0x00
0000159b: DUP2
0000159c: MSTORE
0000159d: PUSH1 0x20
0000159f: ADD
000015a0: PUSH1 0x00
000015a2: DUP2
000015a3: MSTORE
000015a4: PUSH1 0x20
000015a6: ADD
000015a7: PUSH1 0x00
000015a9: DUP2
000015aa: MSTORE
000015ab: PUSH1 0x20
000015ad: ADD
000015ae: PUSH1 0x00
000015b0: DUP2
000015b1: MSTORE
000015b2: PUSH1 0x20
000015b4: ADD
000015b5: PUSH1 0x00
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x20
000015bb: ADD
000015bc: PUSH1 0x00
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: ADD
000015c3: PUSH1 0x00
000015c5: DUP2
000015c6: MSTORE
000015c7: PUSH1 0x20
000015c9: ADD
000015ca: PUSH1 0x00
000015cc: DUP2
000015cd: MSTORE
000015ce: PUSH1 0x20
000015d0: ADD
000015d1: PUSH1 0x00
000015d3: DUP2
000015d4: MSTORE
000015d5: POP
000015d6: SWAP1
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: DUP4
000015dc: ISZERO
000015dd: ISZERO
000015de: PUSH2 0x15e6
000015e1: JUMPI
000015e2: PUSH1 0x00
000015e4: DUP1
000015e5: REVERT
000015e6: JUMPDEST
000015e7: DUP4
000015e8: DUP4
000015e9: GT
000015ea: PUSH2 0x15f2
000015ed: JUMPI
000015ee: PUSH1 0x00
000015f0: DUP1
000015f1: REVERT
000015f2: JUMPDEST
000015f3: DUP2
000015f4: ISZERO
000015f5: ISZERO
000015f6: PUSH2 0x15fe
000015f9: JUMPI
000015fa: PUSH1 0x00
000015fc: DUP1
000015fd: REVERT
000015fe: JUMPDEST
000015ff: DUP2
00001600: DUP5
00001601: DUP2
00001602: ISZERO
00001603: ISZERO
00001604: PUSH2 0x1609
00001607: JUMPI
00001608: INVALID
00001609: JUMPDEST
0000160a: MOD
0000160b: ISZERO
0000160c: PUSH2 0x1614
0000160f: JUMPI
00001610: PUSH1 0x00
00001612: DUP1
00001613: REVERT
00001614: JUMPDEST
00001615: DUP2
00001616: DUP4
00001617: DUP2
00001618: ISZERO
00001619: ISZERO
0000161a: PUSH2 0x161f
0000161d: JUMPI
0000161e: INVALID
0000161f: JUMPDEST
00001620: MOD
00001621: ISZERO
00001622: PUSH2 0x162a
00001625: JUMPI
00001626: PUSH1 0x00
00001628: DUP1
00001629: REVERT
0000162a: JUMPDEST
0000162b: POP
0000162c: PUSH1 0x07
0000162e: DUP4
0000162f: SWAP1
00001630: SSTORE
00001631: PUSH1 0x08
00001633: DUP3
00001634: SWAP1
00001635: SSTORE
00001636: PUSH1 0x09
00001638: DUP2
00001639: SWAP1
0000163a: SSTORE
0000163b: DUP3
0000163c: JUMPDEST
0000163d: DUP3
0000163e: DUP2
0000163f: GT
00001640: PUSH2 0x07c9
00001643: JUMPI
00001644: PUSH1 0x00
00001646: DUP2
00001647: DUP2
00001648: MSTORE
00001649: PUSH1 0x06
0000164b: PUSH1 0x20
0000164d: MSTORE
0000164e: PUSH1 0x40
00001650: SWAP1
00001651: KECCAK256
00001652: PUSH1 0x01
00001654: ADD
00001655: DUP1
00001656: SLOAD
00001657: PUSH3 0xff0000
0000165b: NOT
0000165c: AND
0000165d: PUSH3 0x010000
00001661: OR
00001662: SWAP1
00001663: SSTORE
00001664: JUMPDEST
00001665: DUP2
00001666: ADD
00001667: PUSH2 0x163c
0000166a: JUMP
0000166b: JUMPDEST
0000166c: JUMPDEST
0000166d: POP
0000166e: POP
0000166f: POP
00001670: POP
00001671: JUMP
00001672: JUMPDEST
00001673: PUSH1 0x00
00001675: DUP6
00001676: GT
00001677: PUSH2 0x167f
0000167a: JUMPI
0000167b: PUSH1 0x00
0000167d: DUP1
0000167e: REVERT
0000167f: JUMPDEST
00001680: PUSH1 0x00
00001682: DUP5
00001683: GT
00001684: DUP1
00001685: ISZERO
00001686: PUSH2 0x1690
00001689: JUMPI
0000168a: POP
0000168b: PUSH2 0x03e8
0000168e: DUP5
0000168f: LT
00001690: JUMPDEST
00001691: DUP1
00001692: ISZERO
00001693: PUSH2 0x169c
00001696: JUMPI
00001697: POP
00001698: DUP4
00001699: DUP4
0000169a: LT
0000169b: ISZERO
0000169c: JUMPDEST
0000169d: DUP1
0000169e: ISZERO
0000169f: PUSH2 0x16a9
000016a2: JUMPI
000016a3: POP
000016a4: PUSH2 0x03e8
000016a7: DUP4
000016a8: LT
000016a9: JUMPDEST
000016aa: ISZERO
000016ab: ISZERO
000016ac: PUSH2 0x16b4
000016af: JUMPI
000016b0: PUSH1 0x00
000016b2: DUP1
000016b3: REVERT
000016b4: JUMPDEST
000016b5: DUP1
000016b6: DUP3
000016b7: LT
000016b8: PUSH2 0x16c0
000016bb: JUMPI
000016bc: PUSH1 0x00
000016be: DUP1
000016bf: REVERT
000016c0: JUMPDEST
000016c1: PUSH1 0x01
000016c3: DUP6
000016c4: SWAP1
000016c5: SSTORE
000016c6: PUSH1 0x02
000016c8: DUP5
000016c9: SWAP1
000016ca: SSTORE
000016cb: PUSH1 0x03
000016cd: DUP4
000016ce: SWAP1
000016cf: SSTORE
000016d0: PUSH1 0x04
000016d2: DUP3
000016d3: SWAP1
000016d4: SSTORE
000016d5: PUSH2 0x16de
000016d8: DUP2
000016d9: DUP4
000016da: PUSH2 0x1339
000016dd: JUMP
000016de: JUMPDEST
000016df: PUSH1 0x05
000016e1: SSTORE
000016e2: JUMPDEST
000016e3: POP
000016e4: POP
000016e5: POP
000016e6: POP
000016e7: POP
000016e8: JUMP
000016e9: STOP
000016ea: LOG1
000016eb: PUSH6 0x627a7a723058
000016f2: KECCAK256
000016f3: ORIGIN
000016f4: INVALID
000016f5: AND
000016f6: UNKNOWN(0xE4)
000016f7: UNKNOWN(0xD7)
000016f8: UNKNOWN(0xBE)
000016f9: UNKNOWN(0xAB)
000016fa: UNKNOWN(0xC3)
000016fb: UNKNOWN(0x4D)
000016fc: UNKNOWN(0x24)
000016fd: UNKNOWN(0xC3)
000016fe: UNKNOWN(0xAA)
000016ff: SWAP9
00001700: CALLER
00001701: UNKNOWN(0xBE)
00001702: CALLVALUE
00001703: STOP
00001704: NUMBER
00001705: PUSH27

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0d15fd77", "selector": "0x0d15fd77", "calldata_variants": [ "0x0d15fd77", "0x0d15fd770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e6dbdf9", "selector": "0x2e6dbdf9", "calldata_variants": [ "0x2e6dbdf9", "0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e854433", "selector": "0x2e854433", "calldata_variants": [ "0x2e854433", "0x2e8544330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47799092", "selector": "0x47799092", "calldata_variants": [ "0x47799092", "0x477990920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4783c35b", "selector": "0x4783c35b", "calldata_variants": [ "0x4783c35b", "0x4783c35b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b60ce77", "selector": "0x4b60ce77", "calldata_variants": [ "0x4b60ce77", "0x4b60ce770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb2e45d", "selector": "0x4fb2e45d", "calldata_variants": [ "0x4fb2e45d", "0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5afb6ba5", "selector": "0x5afb6ba5", "calldata_variants": [ "0x5afb6ba5", "0x5afb6ba50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 5875, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x0039230b88a0f934bf9d0d65da812264b004b43eb9108802b657fc0e82bcf6c5 call_targets: 0x5d42bc90d11538c91606c31f3cd00711a94f31c3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0039230b88a0f934bf9d0d65da812264b004b43eb9108802b657fc0e82bcf6c5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5d42bc90d11538c91606c31f3cd00711a94f31c3" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0d15fd77", "selector": "0x0d15fd77", "calldata_variants": [ "0x0d15fd77", "0x0d15fd770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e6dbdf9", "selector": "0x2e6dbdf9", "calldata_variants": [ "0x2e6dbdf9", "0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e854433", "selector": "0x2e854433", "calldata_variants": [ "0x2e854433", "0x2e8544330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47799092", "selector": "0x47799092", "calldata_variants": [ "0x47799092", "0x477990920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4783c35b", "selector": "0x4783c35b", "calldata_variants": [ "0x4783c35b", "0x4783c35b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b60ce77", "selector": "0x4b60ce77", "calldata_variants": [ "0x4b60ce77", "0x4b60ce770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb2e45d", "selector": "0x4fb2e45d", "calldata_variants": [ "0x4fb2e45d", "0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5afb6ba5", "selector": "0x5afb6ba5", "calldata_variants": [ "0x5afb6ba5", "0x5afb6ba50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 941, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1101, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1812, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [ { "pc": 5875, "type": "tx_origin_used" } ], "untrusted_call_count": 9 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x0039230b88a0f934bf9d0d65da812264b004b43eb9108802b657fc0e82bcf6c5 call_targets: 0x5d42bc90d11538c91606c31f3cd00711a94f31c3 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0039230b88a0f934bf9d0d65da812264b004b43eb9108802b657fc0e82bcf6c5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x5d42bc90d11538c91606c31f3cd00711a94f31c3" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0d15fd77", "selector": "0x0d15fd77", "calldata_variants": [ "0x0d15fd77", "0x0d15fd770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e6dbdf9", "selector": "0x2e6dbdf9", "calldata_variants": [ "0x2e6dbdf9", "0x2e6dbdf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2e854433", "selector": "0x2e854433", "calldata_variants": [ "0x2e854433", "0x2e8544330000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x47799092", "selector": "0x47799092", "calldata_variants": [ "0x47799092", "0x477990920000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4783c35b", "selector": "0x4783c35b", "calldata_variants": [ "0x4783c35b", "0x4783c35b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b60ce77", "selector": "0x4b60ce77", "calldata_variants": [ "0x4b60ce77", "0x4b60ce770000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4fb2e45d", "selector": "0x4fb2e45d", "calldata_variants": [ "0x4fb2e45d", "0x4fb2e45d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5afb6ba5", "selector": "0x5afb6ba5", "calldata_variants": [ "0x5afb6ba5", "0x5afb6ba50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 941, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1101, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1812, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [ { "pc": 5875, "type": "tx_origin_used" } ] }
medium	auth	codex	Authorization appears to rely on tx.origin	75	no	—	view evidence_json { "evidence": "Detector reports a tx.origin guard at pc 5875 (no sink mapping available), indicating authorization logic likely uses tx.origin.", "locations": [ "pc:5875" ], "recommendation": "Replace tx.origin-based authorization with msg.sender checks and explicit role/owner storage. If EOA-only access is required, use msg.sender == tx.origin in addition to proper access control, not as a substitute.", "exploit_scenario": "If any privileged path checks tx.origin instead of msg.sender, a phishing-style attack can succeed: an attacker deploys a malicious contract and tricks an authorized EOA into calling it; the malicious contract then invokes the protected function, and tx.origin still equals the victim EOA, bypassing intended access control. Because only a tx.origin check was detected without a mapped sink, this scenario is plausible but unconfirmed for a specific selector." }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 8 }