Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019bb2d5-fd9c-70c1-9455-bdd1d8f6cc86

complete

Chain ID

Address

0xb233cb2f0dce57a56bf732767f45ffc8650186c5

Block Number

—

Created

Mon, Jan 12, 2026 3:32 PM

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

Validated

Source

Bytecode only

Review Backing

Present

Best current signal

SELFDESTRUCT present

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
39650	artifact.fetch	complete	1 / 3	3 months ago
39651	proxy.resolve	complete	1 / 3	3 months ago
39652	tool.cast_disasm	complete	1 / 3	3 months ago
39653	analysis.bundle	complete	1 / 3	3 months ago
39654	capability.graph	complete	1 / 3	3 months ago
39655	detector.run	complete	1 / 3	3 months ago
39656	validation.fork	complete	1 / 3	3 months ago
39747	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

No findings?

Summary

Bytecode shows widespread tx.origin-based guard checks, a SELFDESTRUCT path using tx.origin as beneficiary, and a CREATE2 opcode; no DELEGATECALL detected in the artifact.

View stdout

{"no_findings":false,"summary":"Bytecode shows widespread tx.origin-based guard checks, a SELFDESTRUCT path using tx.origin as beneficiary, and a CREATE2 opcode; no DELEGATECALL detected in the artifact.","findings":[{"severity":"high","category":"access_control","title":"Authorization uses tx.origin (phishing/bypass risk)","exploit_scenario":"An attacker deploys a malicious contract that a victim EOA interacts with. If privileged functions rely on tx.origin, the check passes because tx.origin is the victim, allowing the attacker contract to invoke sensitive logic and potentially drain funds or change critical state.","recommendation":"Replace tx.origin-based checks with msg.sender and explicit role/owner validation; if EOAs must be enforced, use allowlists and EIP-1271 signature verification where appropriate.","evidence":"Detector and auth guards indicate tx.origin checks at multiple PCs (e.g., 597, 755, 1117, 1188, 1366, 1487, 1568, 1918, 2635, 2810, 3510, 3979, 4463, 4864, 5330, 6125, 6660).","locations":["pc:0x255","pc:0x2f3","pc:0x45d","pc:0x4a4","pc:0x556","pc:0x5cf","pc:0x620","pc:0x77e","pc:0xa4b","pc:0xafa","pc:0xdb6","pc:0xf8b","pc:0x116f","pc:0x1300","pc:0x14d2","pc:0x17ed","pc:0x1a04"]},{"severity":"medium","category":"other","title":"SELFDESTRUCT present; beneficiary uses tx.origin (reachability uncertain)","exploit_scenario":"If this path is reachable by untrusted callers or via a bypassable guard, an attacker can permanently destroy the contract and redirect any remaining ETH to an EOA (tx.origin), causing loss of funds and service.","recommendation":"Remove SELFDESTRUCT if not strictly required. If required, gate it behind robust access control (msg.sender-based owner/role) and consider timelocks or multisig approval.","evidence":"Basic block at start_pc 1188 includes opcodes ORIGIN ... SELFDESTRUCT; detector shows selfdestruct_count=1 but reachability is unknown from the artifact.","locations":["pc:0x4a4"]},{"severity":"low","category":"other","title":"CREATE2 opcode present; deployment authorization unclear","exploit_scenario":"If unguarded, a caller could deploy arbitrary bytecode via CREATE2, potentially creating attacker-controlled contracts at deterministic addresses and enabling abuse or confusion in downstream integrations.","recommendation":"Ensure CREATE2 is only callable by trusted roles and validate init code and salts; consider emitting events for deployments.","evidence":"Basic block at start_pc 7885 includes CREATE2; detector shows create2_count=1 with unknown reachability.","locations":["pc:0x1ecd"]}]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-dv8bw690
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb307-002d-7da2-a510-e9d686c21bfa
--------
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
**Preparing to read BYTECODE_BUNDLE.json**
exec
/bin/bash -lc ls in /tmp/codex-dv8bw690 succeeded in 8ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-dv8bw690 succeeded in 25ms:
{
  "analysis_artifact": {
    "address": "0xb233cb2f0dce57a56bf732767f45ffc8650186c5",
    "artifact_hash": "0x85dcd1bdc25bef2d7d1bd85d2f17fafb5b4ace194144459875dc2bcb79ea4ccc",
    "artifact_json": {
      "auth": {
        "guards": [
          {
            "pc": 597,
            "type": "tx_origin_used"
          },
          {
            "pc": 755,
            "type": "tx_origin_used"
          },
          {
            "pc": 1117,
            "type": "tx_origin_used"
          },
          {

thinking
**Analyzing security evidence and call patterns**
exec
/bin/bash -lc "python - <<'PY'
pcs=[597,755,1117,1188,1366,1487,1568,1918,2635,2810,3510,3979,4463,4864,5330,6125,6660]
print([hex(p) for p in pcs])
PY" in /tmp/codex-dv8bw690 succeeded in 17ms:
['0x255', '0x2f3', '0x45d', '0x4a4', '0x556', '0x5cf', '0x620', '0x77e', '0xa4b', '0xafa', '0xdb6', '0xf8b', '0x116f', '0x1300', '0x14d2', '0x17ed', '0x1a04']

thinking
**Searching for SELFDESTRUCT references**
exec
/bin/bash -lc 'rg -n "SELFDESTRUCT" BYTECODE_BUNDLE.json' in /tmp/codex-dv8bw690 succeeded in 27ms:
1155:            "SELFDESTRUCT"
28240:        "sink": "SELFDESTRUCT"
28243:      "title": "SELFDESTRUCT reachable",
28252:        "sink": "SELFDESTRUCT",

thinking
**Searching for selfdestruct opcode location**
exec
/bin/bash -lc "sed -n '1135,1165p' BYTECODE_BUNDLE.json" in /tmp/codex-dv8bw690 succeeded in 10ms:
            "MLOAD",
            "ISZERO",
            "OP_90",
            "POP",
            "PUSH2",
            "JUMPI"
          ],
          "start_pc": 1175
        },
        {
          "end_pc": 1198,
          "hash": "0xe062b9c50f2396dffe1ceb00a2238dedc7e9c822c845ab25f00df89e599cf9eb",
          "opcodes": [
            "ORIGIN",
            "PUSH1",
            "PUSH1",
            "PUSH1",
            "EXP",
            "SUB",
            "AND",

thinking
**Analyzing selfdestruct and origin usage**
exec
/bin/bash -lc 'rg -n "CREATE2" BYTECODE_BUNDLE.json' in /tmp/codex-dv8bw690 succeeded in 31ms:
6562:            "CREATE2",
28269:      "title": "CREATE/CREATE2 reachable",
exec
/bin/bash -lc "sed -n '6545,6575p' BYTECODE_BUNDLE.json" in /tmp/codex-dv8bw690 succeeded in 7ms:
        {
          "end_pc": 7916,
          "hash": "0x7ff6eddbb19713271f95b70b35371e8ab891a8c51c3242aeaf7a98646c02ec61",
          "opcodes": [
            "OP_8F",
            "OP_22",
            "OP_EF",
            "OP_5C",
            "OP_A8",
            "OP_88",
            "OP_DE",
            "RETURNDATACOPY",
            "OP_24",
            "PUSH13",
            "DIFFICULTY",
            "SAR",
            "OP_D6",
            "CREATE2",
            "OP_BA",
            "OP_E8",

thinking
**Analyzing CREATE2 instruction location**
exec
/bin/bash -lc "python - <<'PY'
print(hex(7885))
PY" in /tmp/codex-dv8bw690 succeeded in 23ms:
0x1ecd

thinking
**Analyzing external callsites risks**
exec
/bin/bash -lc "python - <<'PY'
for p in [641,807,1169]:
    print(p, hex(p))
PY" in /tmp/codex-dv8bw690 succeeded in 16ms:
641 0x281
807 0x327
1169 0x491

thinking
**Composing detailed security findings JSON**

I'm working through crafting a JSON output with a summary and three specific findings about access control, selfdestruct, and CREATE2 usage, carefully balancing severity, categories, and evidence details. I want to make sure the JSON complies with the schema and clearly presents the risks and recommendations while acknowledging uncertainties and detection limitations.
codex
{"no_findings":false,"summary":"Bytecode shows widespread tx.origin-based guard checks, a SELFDESTRUCT path using tx.origin as beneficiary, and a CREATE2 opcode; no DELEGATECALL detected in the artifact.","findings":[{"severity":"high","category":"access_control","title":"Authorization uses tx.origin (phishing/bypass risk)","exploit_scenario":"An attacker deploys a malicious contract that a victim EOA interacts with. If privileged functions rely on tx.origin, the check passes because tx.origin is the victim, allowing the attacker contract to invoke sensitive logic and potentially drain funds or change critical state.","recommendation":"Replace tx.origin-based checks with msg.sender and explicit role/owner validation; if EOAs must be enforced, use allowlists and EIP-1271 signature verification where appropriate.","evidence":"Detector and auth guards indicate tx.origin checks at multiple PCs (e.g., 597, 755, 1117, 1188, 1366, 1487, 1568, 1918, 2635, 2810, 3510, 3979, 4463, 4864, 5330, 6125, 6660).","locations":["pc:0x255","pc:0x2f3","pc:0x45d","pc:0x4a4","pc:0x556","pc:0x5cf","pc:0x620","pc:0x77e","pc:0xa4b","pc:0xafa","pc:0xdb6","pc:0xf8b","pc:0x116f","pc:0x1300","pc:0x14d2","pc:0x17ed","pc:0x1a04"]},{"severity":"medium","category":"other","title":"SELFDESTRUCT present; beneficiary uses tx.origin (reachability uncertain)","exploit_scenario":"If this path is reachable by untrusted callers or via a bypassable guard, an attacker can permanently destroy the contract and redirect any remaining ETH to an EOA (tx.origin), causing loss of funds and service.","recommendation":"Remove SELFDESTRUCT if not strictly required. If required, gate it behind robust access control (msg.sender-based owner/role) and consider timelocks or multisig approval.","evidence":"Basic block at start_pc 1188 includes opcodes ORIGIN ... SELFDESTRUCT; detector shows selfdestruct_count=1 but reachability is unknown from the artifact.","locations":["pc:0x4a4"]},{"severity":"low","category":"other","title":"CREATE2 opcode present; deployment authorization unclear","exploit_scenario":"If unguarded, a caller could deploy arbitrary bytecode via CREATE2, potentially creating attacker-controlled contracts at deterministic addresses and enabling abuse or confusion in downstream integrations.","recommendation":"Ensure CREATE2 is only callable by trusted roles and validate init code and salts; consider emitting events for deployments.","evidence":"Basic block at start_pc 7885 includes CREATE2; detector shows create2_count=1 with unknown reachability.","locations":["pc:0x1ecd"]}]}
tokens used
22,080

Metadata

{
    "codex": {
        "ran_at": "2026-01-12T16:26:58.251893+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 15836,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": "Bytecode shows widespread tx.origin-based guard checks, a SELFDESTRUCT path using tx.origin as beneficiary, and a CREATE2 opcode; no DELEGATECALL detected in the artifact.",
    "raw_final": {
        "summary": "Bytecode shows widespread tx.origin-based guard checks, a SELFDESTRUCT path using tx.origin as beneficiary, and a CREATE2 opcode; no DELEGATECALL detected in the artifact.",
        "findings": [
            {
                "title": "Authorization uses tx.origin (phishing/bypass risk)",
                "category": "access_control",
                "evidence": "Detector and auth guards indicate tx.origin checks at multiple PCs (e.g., 597, 755, 1117, 1188, 1366, 1487, 1568, 1918, 2635, 2810, 3510, 3979, 4463, 4864, 5330, 6125, 6660).",
                "severity": "high",
                "locations": [
                    "pc:0x255",
                    "pc:0x2f3",
                    "pc:0x45d",
                    "pc:0x4a4",
                    "pc:0x556",
                    "pc:0x5cf",
                    "pc:0x620",
                    "pc:0x77e",
                    "pc:0xa4b",
                    "pc:0xafa",
                    "pc:0xdb6",
                    "pc:0xf8b",
                    "pc:0x116f",
                    "pc:0x1300",
                    "pc:0x14d2",
                    "pc:0x17ed",
                    "pc:0x1a04"
                ],
                "recommendation": "Replace tx.origin-based checks with msg.sender and explicit role/owner validation; if EOAs must be enforced, use allowlists and EIP-1271 signature verification where appropriate.",
                "exploit_scenario": "An attacker deploys a malicious contract that a victim EOA interacts with. If privileged functions rely on tx.origin, the check passes because tx.origin is the victim, allowing the attacker contract to invoke sensitive logic and potentially drain funds or change critical state."
            },
            {
                "title": "SELFDESTRUCT present; beneficiary uses tx.origin (reachability uncertain)",
                "category": "other",
                "evidence": "Basic block at start_pc 1188 includes opcodes ORIGIN ... SELFDESTRUCT; detector shows selfdestruct_count=1 but reachability is unknown from the artifact.",
                "severity": "medium",
                "locations": [
                    "pc:0x4a4"
                ],
                "recommendation": "Remove SELFDESTRUCT if not strictly required. If required, gate it behind robust access control (msg.sender-based owner/role) and consider timelocks or multisig approval.",
                "exploit_scenario": "If this path is reachable by untrusted callers or via a bypassable guard, an attacker can permanently destroy the contract and redirect any remaining ETH to an EOA (tx.origin), causing loss of funds and service."
            },
            {
                "title": "CREATE2 opcode present; deployment authorization unclear",
                "category": "other",
                "evidence": "Basic block at start_pc 7885 includes CREATE2; detector shows create2_count=1 with unknown reachability.",
                "severity": "low",
                "locations": [
                    "pc:0x1ecd"
                ],
                "recommendation": "Ensure CREATE2 is only callable by trusted roles and validate init code and salts; consider emitting events for deployments.",
                "exploit_scenario": "If unguarded, a caller could deploy arbitrary bytecode via CREATE2, potentially creating attacker-controlled contracts at deterministic addresses and enabling abuse or confusion in downstream integrations."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

5120

Flags

selfdestruct_present create_opcodes_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0174
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x0cd40fea
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0176
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1d2ae79c
00000025: EQ
00000026: PUSH2 0x017e
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x21c03a97
00000030: EQ
00000031: PUSH2 0x0224
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x2cb0d48a
0000003b: EQ
0000003c: PUSH2 0x02c8
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x32454dbb
00000046: EQ
00000047: PUSH2 0x0349
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x3c06ae68
00000051: EQ
00000052: PUSH2 0x035f
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x41c0e1b5
0000005c: EQ
0000005d: PUSH2 0x0435
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x4278e3ef
00000067: EQ
00000068: PUSH2 0x04af
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x48417750
00000072: EQ
00000073: PUSH2 0x0706
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x4fb764c9
0000007d: EQ
0000007e: PUSH2 0x09ea
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x56a060a2
00000088: EQ
00000089: PUSH2 0x09fc
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x5d0e6672
00000093: EQ
00000094: PUSH2 0x0a0f
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x5da05e2e
0000009e: EQ
0000009f: PUSH2 0x0a1a
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x6a751710
000000a9: EQ
000000aa: PUSH2 0x0adc
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x72883492
000000b4: EQ
000000b5: PUSH2 0x0c25
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x76ad3abf
000000bf: EQ
000000c0: PUSH2 0x0d84
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x7a9e5410
000000ca: EQ
000000cb: PUSH2 0x0e9a
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x7fb106a9
000000d5: EQ
000000d6: PUSH2 0x0ea2
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x825db5f7
000000e0: EQ
000000e1: PUSH2 0x0f4f
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x87a65513
000000eb: EQ
000000ec: PUSH2 0x0f57
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9d0f8763
000000f6: EQ
000000f7: PUSH2 0x0f6d
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x9d45d077
00000101: EQ
00000102: PUSH2 0x104c
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xa51687df
0000010c: EQ
0000010d: PUSH2 0x1115
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa5de3619
00000117: EQ
00000118: PUSH2 0x112c
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xb3066d49
00000122: EQ
00000123: PUSH2 0x113e
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xb4da4e37
0000012d: EQ
0000012e: PUSH2 0x12c2
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xdb85bd78
00000138: EQ
00000139: PUSH2 0x12ce
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xdbff4182
00000143: EQ
00000144: PUSH2 0x1458
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xddbdf242
0000014e: EQ
0000014f: PUSH2 0x171a
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xe35ca326
00000159: EQ
0000015a: PUSH2 0x172c
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xf04fd2f3
00000164: EQ
00000165: PUSH2 0x1873
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xf147ddfa
0000016f: EQ
00000170: PUSH2 0x19cf
00000173: JUMPI
00000174: JUMPDEST
00000175: STOP
00000176: JUMPDEST
00000177: PUSH2 0x1b5d
0000017a: PUSH1 0x01
0000017c: DUP2
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x0174
00000182: PUSH1 0x04
00000184: CALLDATALOAD
00000185: PUSH1 0x24
00000187: CALLDATALOAD
00000188: PUSH1 0x44
0000018a: CALLDATALOAD
0000018b: PUSH1 0x64
0000018d: CALLDATALOAD
0000018e: PUSH1 0x84
00000190: CALLDATALOAD
00000191: PUSH1 0xa4
00000193: CALLDATALOAD
00000194: PUSH1 0xc4
00000196: CALLDATALOAD
00000197: PUSH1 0xe4
00000199: CALLDATALOAD
0000019a: PUSH1 0x03
0000019c: SLOAD
0000019d: PUSH1 0x01
0000019f: PUSH1 0xa0
000001a1: PUSH1 0x02
000001a3: EXP
000001a4: SUB
000001a5: SWAP1
000001a6: DUP2
000001a7: AND
000001a8: CALLER
000001a9: SWAP1
000001aa: SWAP2
000001ab: AND
000001ac: EQ
000001ad: ISZERO
000001ae: PUSH2 0x1ca2
000001b1: JUMPI
000001b2: DUP1
000001b3: ISZERO
000001b4: PUSH2 0x1c39
000001b7: JUMPI
000001b8: PUSH1 0x40
000001ba: DUP1
000001bb: MLOAD
000001bc: PUSH1 0x01
000001be: PUSH1 0xa0
000001c0: PUSH1 0x02
000001c2: EXP
000001c3: SUB
000001c4: DUP11
000001c5: AND
000001c6: DUP2
000001c7: MSTORE
000001c8: PUSH1 0x20
000001ca: DUP2
000001cb: ADD
000001cc: DUP10
000001cd: SWAP1
000001ce: MSTORE
000001cf: DUP1
000001d0: DUP3
000001d1: ADD
000001d2: DUP9
000001d3: SWAP1
000001d4: MSTORE
000001d5: PUSH1 0x60
000001d7: DUP2
000001d8: ADD
000001d9: DUP8
000001da: SWAP1
000001db: MSTORE
000001dc: PUSH1 0x80
000001de: DUP2
000001df: ADD
000001e0: DUP7
000001e1: SWAP1
000001e2: MSTORE
000001e3: PUSH1 0xa0
000001e5: DUP2
000001e6: ADD
000001e7: DUP6
000001e8: SWAP1
000001e9: MSTORE
000001ea: PUSH1 0x13
000001ec: DUP5
000001ed: SWAP1
000001ee: SIGNEXTEND
000001ef: PUSH1 0xc0
000001f1: DUP3
000001f2: ADD
000001f3: MSTORE
000001f4: SWAP1
000001f5: MLOAD
000001f6: PUSH32 0x76c456d0bcda16cea720809b0d48e30fd6194034d72b81ecec74eac8933b2028
00000217: SWAP2
00000218: DUP2
00000219: SWAP1
0000021a: SUB
0000021b: PUSH1 0xe0
0000021d: ADD
0000021e: SWAP1
0000021f: LOG1
00000220: PUSH2 0x1ca2
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH2 0x0174
00000228: PUSH1 0x04
0000022a: CALLDATALOAD
0000022b: PUSH1 0x00
0000022d: SLOAD
0000022e: PUSH1 0xff
00000230: AND
00000231: PUSH1 0x01
00000233: EQ
00000234: ISZERO
00000235: PUSH2 0x0346
00000238: JUMPI
00000239: PUSH1 0x40
0000023b: DUP1
0000023c: MLOAD
0000023d: PUSH1 0x01
0000023f: SLOAD
00000240: PUSH1 0xe2
00000242: PUSH1 0x02
00000244: EXP
00000245: PUSH4 0x0935e01b
0000024a: MUL
0000024b: DUP3
0000024c: MSTORE
0000024d: PUSH1 0x01
0000024f: PUSH1 0xa0
00000251: PUSH1 0x02
00000253: EXP
00000254: SUB
00000255: ORIGIN
00000256: DUP2
00000257: AND
00000258: PUSH1 0x04
0000025a: DUP5
0000025b: ADD
0000025c: MSTORE
0000025d: SWAP3
0000025e: MLOAD
0000025f: SWAP3
00000260: AND
00000261: SWAP2
00000262: PUSH4 0x24d7806c
00000267: SWAP2
00000268: PUSH1 0x24
0000026a: DUP2
0000026b: DUP2
0000026c: ADD
0000026d: SWAP3
0000026e: PUSH1 0x20
00000270: SWAP3
00000271: SWAP1
00000272: SWAP2
00000273: SWAP1
00000274: DUP3
00000275: SWAP1
00000276: SUB
00000277: ADD
00000278: DUP2
00000279: PUSH1 0x00
0000027b: DUP8
0000027c: PUSH2 0x61da
0000027f: GAS
00000280: SUB
00000281: CALL
00000282: ISZERO
00000283: PUSH2 0x0002
00000286: JUMPI
00000287: POP
00000288: POP
00000289: PUSH1 0x40
0000028b: MLOAD
0000028c: MLOAD
0000028d: ISZERO
0000028e: SWAP1
0000028f: POP
00000290: PUSH2 0x0346
00000293: JUMPI
00000294: PUSH1 0x03
00000296: DUP1
00000297: SLOAD
00000298: PUSH1 0xe0
0000029a: PUSH1 0x02
0000029c: EXP
0000029d: DUP4
0000029e: MUL
0000029f: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000002c0: SWAP1
000002c1: SWAP2
000002c2: AND
000002c3: OR
000002c4: SWAP1
000002c5: SSTORE
000002c6: POP
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH2 0x0174
000002cc: PUSH1 0x04
000002ce: CALLDATALOAD
000002cf: PUSH1 0x00
000002d1: PUSH1 0x01
000002d3: SWAP1
000002d4: SLOAD
000002d5: SWAP1
000002d6: PUSH2 0x0100
000002d9: EXP
000002da: SWAP1
000002db: DIV
000002dc: PUSH1 0x01
000002de: PUSH1 0xa0
000002e0: PUSH1 0x02
000002e2: EXP
000002e3: SUB
000002e4: AND
000002e5: PUSH1 0x01
000002e7: PUSH1 0xa0
000002e9: PUSH1 0x02
000002eb: EXP
000002ec: SUB
000002ed: AND
000002ee: PUSH4 0x3ca8b002
000002f3: ORIGIN
000002f4: PUSH1 0x40
000002f6: MLOAD
000002f7: DUP3
000002f8: PUSH1 0xe0
000002fa: PUSH1 0x02
000002fc: EXP
000002fd: MUL
000002fe: DUP2
000002ff: MSTORE
00000300: PUSH1 0x04
00000302: ADD
00000303: DUP1
00000304: DUP3
00000305: PUSH1 0x01
00000307: PUSH1 0xa0
00000309: PUSH1 0x02
0000030b: EXP
0000030c: SUB
0000030d: AND
0000030e: DUP2
0000030f: MSTORE
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP2
00000314: POP
00000315: POP
00000316: PUSH1 0x20
00000318: PUSH1 0x40
0000031a: MLOAD
0000031b: DUP1
0000031c: DUP4
0000031d: SUB
0000031e: DUP2
0000031f: PUSH1 0x00
00000321: DUP8
00000322: PUSH2 0x61da
00000325: GAS
00000326: SUB
00000327: CALL
00000328: ISZERO
00000329: PUSH2 0x0002
0000032c: JUMPI
0000032d: POP
0000032e: POP
0000032f: PUSH1 0x40
00000331: MLOAD
00000332: MLOAD
00000333: ISZERO
00000334: SWAP1
00000335: POP
00000336: PUSH2 0x0346
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: SLOAD
0000033e: PUSH1 0xff
00000340: NOT
00000341: AND
00000342: DUP3
00000343: OR
00000344: SWAP1
00000345: SSTORE
00000346: JUMPDEST
00000347: POP
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x1b74
0000034d: PUSH1 0x03
0000034f: SLOAD
00000350: PUSH1 0xc0
00000352: PUSH1 0x02
00000354: EXP
00000355: SWAP1
00000356: DIV
00000357: PUSH4 0xffffffff
0000035c: AND
0000035d: DUP2
0000035e: JUMP
0000035f: JUMPDEST
00000360: PUSH2 0x0174
00000363: PUSH1 0x04
00000365: CALLDATALOAD
00000366: PUSH1 0x24
00000368: CALLDATALOAD
00000369: PUSH1 0x44
0000036b: CALLDATALOAD
0000036c: PUSH1 0x64
0000036e: CALLDATALOAD
0000036f: PUSH1 0x84
00000371: CALLDATALOAD
00000372: PUSH1 0xa4
00000374: CALLDATALOAD
00000375: PUSH1 0xc4
00000377: CALLDATALOAD
00000378: PUSH1 0xe4
0000037a: CALLDATALOAD
0000037b: PUSH2 0x0104
0000037e: CALLDATALOAD
0000037f: PUSH2 0x0124
00000382: CALLDATALOAD
00000383: PUSH2 0x0144
00000386: CALLDATALOAD
00000387: PUSH1 0x03
00000389: SLOAD
0000038a: PUSH1 0x01
0000038c: PUSH1 0xa0
0000038e: PUSH1 0x02
00000390: EXP
00000391: SUB
00000392: SWAP1
00000393: DUP2
00000394: AND
00000395: CALLER
00000396: SWAP1
00000397: SWAP2
00000398: AND
00000399: EQ
0000039a: ISZERO
0000039b: PUSH2 0x0428
0000039e: JUMPI
0000039f: PUSH1 0x40
000003a1: DUP1
000003a2: MLOAD
000003a3: PUSH1 0x01
000003a5: PUSH1 0xa0
000003a7: PUSH1 0x02
000003a9: EXP
000003aa: SUB
000003ab: DUP13
000003ac: DUP2
000003ad: AND
000003ae: DUP3
000003af: MSTORE
000003b0: DUP14
000003b1: AND
000003b2: PUSH1 0x20
000003b4: DUP3
000003b5: ADD
000003b6: MSTORE
000003b7: DUP1
000003b8: DUP3
000003b9: ADD
000003ba: DUP12
000003bb: SWAP1
000003bc: MSTORE
000003bd: PUSH1 0x60
000003bf: DUP2
000003c0: ADD
000003c1: DUP11
000003c2: SWAP1
000003c3: MSTORE
000003c4: PUSH1 0x80
000003c6: DUP2
000003c7: ADD
000003c8: DUP10
000003c9: SWAP1
000003ca: MSTORE
000003cb: PUSH1 0xa0
000003cd: DUP2
000003ce: ADD
000003cf: DUP9
000003d0: SWAP1
000003d1: MSTORE
000003d2: PUSH1 0xc0
000003d4: DUP2
000003d5: ADD
000003d6: DUP8
000003d7: SWAP1
000003d8: MSTORE
000003d9: PUSH1 0xe0
000003db: DUP2
000003dc: ADD
000003dd: DUP7
000003de: SWAP1
000003df: MSTORE
000003e0: PUSH2 0x0100
000003e3: DUP2
000003e4: ADD
000003e5: DUP6
000003e6: SWAP1
000003e7: MSTORE
000003e8: PUSH2 0x0120
000003eb: DUP2
000003ec: ADD
000003ed: DUP5
000003ee: SWAP1
000003ef: MSTORE
000003f0: PUSH1 0x13
000003f2: DUP4
000003f3: SWAP1
000003f4: SIGNEXTEND
000003f5: PUSH2 0x0140
000003f8: DUP3
000003f9: ADD
000003fa: MSTORE
000003fb: SWAP1
000003fc: MLOAD
000003fd: PUSH32 0x61a43b8785d66f3a53c7b8ab814b4c2e4ff15a1a6f8d24d08818e1f426e13906
0000041e: SWAP2
0000041f: DUP2
00000420: SWAP1
00000421: SUB
00000422: PUSH2 0x0160
00000425: ADD
00000426: SWAP1
00000427: LOG1
00000428: JUMPDEST
00000429: POP
0000042a: POP
0000042b: POP
0000042c: POP
0000042d: POP
0000042e: POP
0000042f: POP
00000430: POP
00000431: POP
00000432: POP
00000433: POP
00000434: JUMP
00000435: JUMPDEST
00000436: PUSH2 0x0174
00000439: PUSH1 0x00
0000043b: PUSH1 0x01
0000043d: SWAP1
0000043e: SLOAD
0000043f: SWAP1
00000440: PUSH2 0x0100
00000443: EXP
00000444: SWAP1
00000445: DIV
00000446: PUSH1 0x01
00000448: PUSH1 0xa0
0000044a: PUSH1 0x02
0000044c: EXP
0000044d: SUB
0000044e: AND
0000044f: PUSH1 0x01
00000451: PUSH1 0xa0
00000453: PUSH1 0x02
00000455: EXP
00000456: SUB
00000457: AND
00000458: PUSH4 0x3ca8b002
0000045d: ORIGIN
0000045e: PUSH1 0x40
00000460: MLOAD
00000461: DUP3
00000462: PUSH1 0xe0
00000464: PUSH1 0x02
00000466: EXP
00000467: MUL
00000468: DUP2
00000469: MSTORE
0000046a: PUSH1 0x04
0000046c: ADD
0000046d: DUP1
0000046e: DUP3
0000046f: PUSH1 0x01
00000471: PUSH1 0xa0
00000473: PUSH1 0x02
00000475: EXP
00000476: SUB
00000477: AND
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP2
0000047e: POP
0000047f: POP
00000480: PUSH1 0x20
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: DUP4
00000487: SUB
00000488: DUP2
00000489: PUSH1 0x00
0000048b: DUP8
0000048c: PUSH2 0x61da
0000048f: GAS
00000490: SUB
00000491: CALL
00000492: ISZERO
00000493: PUSH2 0x0002
00000496: JUMPI
00000497: POP
00000498: POP
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: MLOAD
0000049d: ISZERO
0000049e: SWAP1
0000049f: POP
000004a0: PUSH2 0x1cac
000004a3: JUMPI
000004a4: ORIGIN
000004a5: PUSH1 0x01
000004a7: PUSH1 0xa0
000004a9: PUSH1 0x02
000004ab: EXP
000004ac: SUB
000004ad: AND
000004ae: SELFDESTRUCT
000004af: JUMPDEST
000004b0: PUSH2 0x0174
000004b3: PUSH1 0x04
000004b5: CALLDATALOAD
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: SLOAD
000004ba: PUSH1 0xff
000004bc: AND
000004bd: PUSH1 0x01
000004bf: EQ
000004c0: ISZERO
000004c1: PUSH2 0x1b59
000004c4: JUMPI
000004c5: PUSH1 0x00
000004c7: PUSH1 0x00
000004c9: GAS
000004ca: PUSH1 0x02
000004cc: SLOAD
000004cd: PUSH1 0x40
000004cf: DUP1
000004d0: MLOAD
000004d1: PUSH1 0xe3
000004d3: PUSH1 0x02
000004d5: EXP
000004d6: PUSH4 0x0bb7c8fd
000004db: MUL
000004dc: DUP2
000004dd: MSTORE
000004de: CALLER
000004df: PUSH1 0x01
000004e1: PUSH1 0xa0
000004e3: PUSH1 0x02
000004e5: EXP
000004e6: SUB
000004e7: SWAP1
000004e8: DUP2
000004e9: AND
000004ea: PUSH1 0x04
000004ec: DUP4
000004ed: ADD
000004ee: MSTORE
000004ef: SWAP2
000004f0: MLOAD
000004f1: SWAP4
000004f2: SWAP6
000004f3: POP
000004f4: SWAP2
000004f5: AND
000004f6: SWAP2
000004f7: PUSH4 0x5dbe47e8
000004fc: SWAP2
000004fd: PUSH1 0x24
000004ff: DUP2
00000500: DUP2
00000501: ADD
00000502: SWAP3
00000503: PUSH1 0x20
00000505: SWAP3
00000506: SWAP1
00000507: SWAP2
00000508: SWAP1
00000509: DUP3
0000050a: SWAP1
0000050b: SUB
0000050c: ADD
0000050d: DUP2
0000050e: DUP8
0000050f: DUP8
00000510: PUSH2 0x61da
00000513: GAS
00000514: SUB
00000515: CALL
00000516: ISZERO
00000517: PUSH2 0x0002
0000051a: JUMPI
0000051b: POP
0000051c: POP
0000051d: PUSH1 0x40
0000051f: MLOAD
00000520: MLOAD
00000521: ISZERO
00000522: SWAP1
00000523: POP
00000524: PUSH2 0x1714
00000527: JUMPI
00000528: PUSH1 0x03
0000052a: SLOAD
0000052b: PUSH1 0xe0
0000052d: PUSH1 0x02
0000052f: EXP
00000530: SWAP1
00000531: DIV
00000532: PUSH1 0xff
00000534: AND
00000535: ISZERO
00000536: PUSH2 0x06b2
00000539: JUMPI
0000053a: PUSH1 0x40
0000053c: DUP1
0000053d: MLOAD
0000053e: PUSH1 0x02
00000540: SLOAD
00000541: PUSH1 0xe1
00000543: PUSH1 0x02
00000545: EXP
00000546: PUSH4 0x2010ac0d
0000054b: MUL
0000054c: DUP3
0000054d: MSTORE
0000054e: PUSH1 0x01
00000550: PUSH1 0xa0
00000552: PUSH1 0x02
00000554: EXP
00000555: SUB
00000556: ORIGIN
00000557: DUP2
00000558: AND
00000559: PUSH1 0x04
0000055b: DUP5
0000055c: ADD
0000055d: MSTORE
0000055e: SWAP3
0000055f: MLOAD
00000560: SWAP3
00000561: AND
00000562: SWAP2
00000563: PUSH4 0x4021581a
00000568: SWAP2
00000569: PUSH1 0x24
0000056b: DUP2
0000056c: DUP2
0000056d: ADD
0000056e: SWAP3
0000056f: PUSH1 0x20
00000571: SWAP3
00000572: SWAP1
00000573: SWAP2
00000574: SWAP1
00000575: DUP3
00000576: SWAP1
00000577: SUB
00000578: ADD
00000579: DUP2
0000057a: DUP8
0000057b: DUP8
0000057c: PUSH2 0x61da
0000057f: GAS
00000580: SUB
00000581: CALL
00000582: ISZERO
00000583: PUSH2 0x0002
00000586: JUMPI
00000587: POP
00000588: POP
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: MLOAD
0000058d: SWAP4
0000058e: POP
0000058f: POP
00000590: DUP4
00000591: DUP4
00000592: SUB
00000593: PUSH1 0x13
00000595: SIGNEXTEND
00000596: DUP2
00000597: SWAP1
00000598: SLT
00000599: PUSH2 0x06b2
0000059c: JUMPI
0000059d: PUSH1 0x40
0000059f: DUP1
000005a0: MLOAD
000005a1: PUSH1 0x02
000005a3: SLOAD
000005a4: PUSH32 0x59dc6d5c00000000000000000000000000000000000000000000000000000000
000005c5: DUP3
000005c6: MSTORE
000005c7: PUSH1 0x01
000005c9: PUSH1 0xa0
000005cb: PUSH1 0x02
000005cd: EXP
000005ce: SUB
000005cf: ORIGIN
000005d0: DUP2
000005d1: AND
000005d2: PUSH1 0x04
000005d4: DUP5
000005d5: ADD
000005d6: MSTORE
000005d7: DUP8
000005d8: DUP8
000005d9: SUB
000005da: PUSH1 0x13
000005dc: SIGNEXTEND
000005dd: PUSH1 0x24
000005df: DUP5
000005e0: ADD
000005e1: MSTORE
000005e2: SWAP3
000005e3: MLOAD
000005e4: SWAP3
000005e5: AND
000005e6: SWAP2
000005e7: PUSH4 0x59dc6d5c
000005ec: SWAP2
000005ed: PUSH1 0x44
000005ef: DUP2
000005f0: DUP2
000005f1: ADD
000005f2: SWAP3
000005f3: DUP7
000005f4: SWAP3
000005f5: SWAP1
000005f6: SWAP2
000005f7: SWAP1
000005f8: DUP3
000005f9: SWAP1
000005fa: SUB
000005fb: ADD
000005fc: DUP2
000005fd: DUP4
000005fe: DUP8
000005ff: PUSH2 0x61da
00000602: GAS
00000603: SUB
00000604: CALL
00000605: ISZERO
00000606: PUSH2 0x0002
00000609: JUMPI
0000060a: POP
0000060b: POP
0000060c: PUSH1 0x40
0000060e: DUP1
0000060f: MLOAD
00000610: PUSH1 0x02
00000612: SLOAD
00000613: PUSH1 0xe1
00000615: PUSH1 0x02
00000617: EXP
00000618: PUSH4 0x2010ac0d
0000061d: MUL
0000061e: DUP3
0000061f: MSTORE
00000620: ORIGIN
00000621: PUSH1 0x01
00000623: PUSH1 0xa0
00000625: PUSH1 0x02
00000627: EXP
00000628: SUB
00000629: DUP2
0000062a: DUP2
0000062b: AND
0000062c: PUSH1 0x04
0000062e: DUP6
0000062f: ADD
00000630: MSTORE
00000631: SWAP4
00000632: MLOAD
00000633: PUSH32 0xc27d1404f1f832bd824e282a55f04b6ea0a657c485a13d7b78cd48058259edc7
00000654: SWAP6
00000655: POP
00000656: SWAP1
00000657: SWAP4
00000658: DUP10
00000659: SWAP4
0000065a: SWAP3
0000065b: AND
0000065c: SWAP2
0000065d: PUSH4 0x4021581a
00000662: SWAP2
00000663: PUSH1 0x24
00000665: DUP3
00000666: DUP2
00000667: ADD
00000668: SWAP3
00000669: PUSH1 0x20
0000066b: SWAP3
0000066c: SWAP2
0000066d: SWAP1
0000066e: DUP3
0000066f: SWAP1
00000670: SUB
00000671: ADD
00000672: DUP2
00000673: DUP11
00000674: DUP8
00000675: PUSH2 0x61da
00000678: GAS
00000679: SUB
0000067a: CALL
0000067b: ISZERO
0000067c: PUSH2 0x0002
0000067f: JUMPI
00000680: POP
00000681: POP
00000682: PUSH1 0x40
00000684: DUP1
00000685: MLOAD
00000686: DUP1
00000687: MLOAD
00000688: PUSH1 0x01
0000068a: PUSH1 0xa0
0000068c: PUSH1 0x02
0000068e: EXP
0000068f: SUB
00000690: SWAP1
00000691: SWAP6
00000692: AND
00000693: DUP2
00000694: MSTORE
00000695: PUSH1 0x13
00000697: SWAP4
00000698: DUP5
00000699: SIGNEXTEND
0000069a: PUSH1 0x20
0000069c: DUP3
0000069d: ADD
0000069e: MSTORE
0000069f: SWAP4
000006a0: SWAP1
000006a1: SWAP3
000006a2: SIGNEXTEND
000006a3: DUP4
000006a4: DUP4
000006a5: ADD
000006a6: MSTORE
000006a7: POP
000006a8: MLOAD
000006a9: SWAP1
000006aa: DUP2
000006ab: SWAP1
000006ac: SUB
000006ad: PUSH1 0x60
000006af: ADD
000006b0: SWAP1
000006b1: LOG1
000006b2: JUMPDEST
000006b3: GAS
000006b4: PUSH1 0x40
000006b6: DUP1
000006b7: MLOAD
000006b8: SWAP2
000006b9: DUP5
000006ba: SUB
000006bb: PUSH2 0x7364
000006be: ADD
000006bf: GASPRICE
000006c0: MUL
000006c1: DUP1
000006c2: DUP4
000006c3: MSTORE
000006c4: SWAP1
000006c5: MLOAD
000006c6: SWAP1
000006c7: SWAP3
000006c8: POP
000006c9: PUSH1 0x00
000006cb: DUP1
000006cc: MLOAD
000006cd: PUSH1 0x20
000006cf: PUSH2 0x1ecd
000006d2: DUP4
000006d3: CODECOPY
000006d4: DUP2
000006d5: MLOAD
000006d6: SWAP2
000006d7: MSTORE
000006d8: SWAP2
000006d9: DUP2
000006da: SWAP1
000006db: SUB
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP1
000006e0: LOG1
000006e1: PUSH1 0x40
000006e3: MLOAD
000006e4: CALLER
000006e5: PUSH1 0x01
000006e7: PUSH1 0xa0
000006e9: PUSH1 0x02
000006eb: EXP
000006ec: SUB
000006ed: AND
000006ee: SWAP1
000006ef: PUSH1 0x00
000006f1: SWAP1
000006f2: DUP4
000006f3: SWAP1
000006f4: DUP3
000006f5: DUP2
000006f6: DUP2
000006f7: DUP2
000006f8: DUP6
000006f9: DUP9
000006fa: DUP4
000006fb: CALL
000006fc: SWAP4
000006fd: POP
000006fe: POP
000006ff: POP
00000700: POP
00000701: POP
00000702: PUSH2 0x1714
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH1 0x40
00000709: DUP1
0000070a: MLOAD
0000070b: PUSH1 0x20
0000070d: PUSH1 0x44
0000070f: CALLDATALOAD
00000710: PUSH1 0x04
00000712: DUP2
00000713: DUP2
00000714: ADD
00000715: CALLDATALOAD
00000716: PUSH1 0x1f
00000718: DUP2
00000719: ADD
0000071a: DUP5
0000071b: SWAP1
0000071c: DIV
0000071d: DUP5
0000071e: MUL
0000071f: DUP6
00000720: ADD
00000721: DUP5
00000722: ADD
00000723: SWAP1
00000724: SWAP6
00000725: MSTORE
00000726: DUP5
00000727: DUP5
00000728: MSTORE
00000729: PUSH2 0x0174
0000072c: SWAP5
0000072d: DUP2
0000072e: CALLDATALOAD
0000072f: SWAP5
00000730: PUSH1 0x24
00000732: DUP1
00000733: CALLDATALOAD
00000734: SWAP6
00000735: SWAP4
00000736: SWAP5
00000737: PUSH1 0x64
00000739: SWAP5
0000073a: SWAP3
0000073b: SWAP4
0000073c: SWAP2
0000073d: ADD
0000073e: SWAP2
0000073f: DUP2
00000740: SWAP1
00000741: DUP5
00000742: ADD
00000743: DUP4
00000744: DUP3
00000745: DUP1
00000746: DUP3
00000747: DUP5
00000748: CALLDATACOPY
00000749: POP
0000074a: SWAP5
0000074b: SWAP7
0000074c: POP
0000074d: POP
0000074e: POP
0000074f: POP
00000750: POP
00000751: POP
00000752: POP
00000753: PUSH1 0x00
00000755: DUP1
00000756: SLOAD
00000757: PUSH1 0xff
00000759: AND
0000075a: PUSH1 0x01
0000075c: EQ
0000075d: ISZERO
0000075e: PUSH2 0x1714
00000761: JUMPI
00000762: PUSH1 0x40
00000764: DUP1
00000765: MLOAD
00000766: PUSH1 0x01
00000768: SLOAD
00000769: PUSH1 0xe2
0000076b: PUSH1 0x02
0000076d: EXP
0000076e: PUSH4 0x0935e01b
00000773: MUL
00000774: DUP3
00000775: MSTORE
00000776: PUSH1 0x01
00000778: PUSH1 0xa0
0000077a: PUSH1 0x02
0000077c: EXP
0000077d: SUB
0000077e: ORIGIN
0000077f: DUP2
00000780: AND
00000781: PUSH1 0x04
00000783: DUP5
00000784: ADD
00000785: MSTORE
00000786: SWAP3
00000787: MLOAD
00000788: SWAP3
00000789: AND
0000078a: SWAP2
0000078b: PUSH4 0x24d7806c
00000790: SWAP2
00000791: PUSH1 0x24
00000793: DUP2
00000794: DUP2
00000795: ADD
00000796: SWAP3
00000797: PUSH1 0x20
00000799: SWAP3
0000079a: SWAP1
0000079b: SWAP2
0000079c: SWAP1
0000079d: DUP3
0000079e: SWAP1
0000079f: SUB
000007a0: ADD
000007a1: DUP2
000007a2: DUP8
000007a3: DUP8
000007a4: PUSH2 0x61da
000007a7: GAS
000007a8: SUB
000007a9: CALL
000007aa: ISZERO
000007ab: PUSH2 0x0002
000007ae: JUMPI
000007af: POP
000007b0: POP
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: MLOAD
000007b5: ISZERO
000007b6: SWAP1
000007b7: POP
000007b8: PUSH2 0x1714
000007bb: JUMPI
000007bc: PUSH1 0x03
000007be: SLOAD
000007bf: PUSH1 0xa0
000007c1: PUSH1 0x02
000007c3: EXP
000007c4: SWAP1
000007c5: DIV
000007c6: PUSH4 0xffffffff
000007cb: AND
000007cc: DUP2
000007cd: SWAP1
000007ce: GT
000007cf: DUP1
000007d0: ISZERO
000007d1: PUSH2 0x07e4
000007d4: JUMPI
000007d5: POP
000007d6: DUP4
000007d7: PUSH1 0x01
000007d9: PUSH1 0xa0
000007db: PUSH1 0x02
000007dd: EXP
000007de: SUB
000007df: AND
000007e0: PUSH1 0x00
000007e2: EQ
000007e3: ISZERO
000007e4: JUMPDEST
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x0844
000007ea: JUMPI
000007eb: POP
000007ec: PUSH1 0x02
000007ee: SLOAD
000007ef: PUSH1 0x40
000007f1: DUP1
000007f2: MLOAD
000007f3: PUSH1 0xe3
000007f5: PUSH1 0x02
000007f7: EXP
000007f8: PUSH4 0x0bb7c8fd
000007fd: MUL
000007fe: DUP2
000007ff: MSTORE
00000800: PUSH1 0x01
00000802: PUSH1 0xa0
00000804: PUSH1 0x02
00000806: EXP
00000807: SUB
00000808: DUP8
00000809: DUP2
0000080a: AND
0000080b: PUSH1 0x04
0000080d: DUP4
0000080e: ADD
0000080f: MSTORE
00000810: SWAP2
00000811: MLOAD
00000812: SWAP3
00000813: SWAP1
00000814: SWAP2
00000815: AND
00000816: SWAP2
00000817: PUSH4 0x5dbe47e8
0000081c: SWAP2
0000081d: PUSH1 0x24
0000081f: DUP2
00000820: DUP2
00000821: ADD
00000822: SWAP3
00000823: PUSH1 0x20
00000825: SWAP3
00000826: SWAP1
00000827: SWAP2
00000828: SWAP1
00000829: DUP3
0000082a: SWAP1
0000082b: SUB
0000082c: ADD
0000082d: DUP2
0000082e: PUSH1 0x00
00000830: DUP8
00000831: PUSH2 0x61da
00000834: GAS
00000835: SUB
00000836: CALL
00000837: ISZERO
00000838: PUSH2 0x0002
0000083b: JUMPI
0000083c: POP
0000083d: POP
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: MLOAD
00000842: SWAP1
00000843: POP
00000844: JUMPDEST
00000845: ISZERO
00000846: PUSH2 0x1714
00000849: JUMPI
0000084a: PUSH1 0x02
0000084c: SLOAD
0000084d: PUSH1 0x40
0000084f: DUP1
00000850: MLOAD
00000851: PUSH1 0xe2
00000853: PUSH1 0x02
00000855: EXP
00000856: PUSH4 0x3eaf7a03
0000085b: MUL
0000085c: DUP2
0000085d: MSTORE
0000085e: PUSH1 0x01
00000860: PUSH1 0xa0
00000862: PUSH1 0x02
00000864: EXP
00000865: SUB
00000866: DUP8
00000867: DUP2
00000868: AND
00000869: PUSH1 0x04
0000086b: DUP4
0000086c: ADD
0000086d: MSTORE
0000086e: SWAP2
0000086f: MLOAD
00000870: SWAP3
00000871: SWAP1
00000872: SWAP2
00000873: AND
00000874: SWAP2
00000875: PUSH4 0xfabde80c
0000087a: SWAP2
0000087b: PUSH1 0x24
0000087d: DUP2
0000087e: DUP2
0000087f: ADD
00000880: SWAP3
00000881: PUSH1 0x20
00000883: SWAP3
00000884: SWAP1
00000885: SWAP2
00000886: SWAP1
00000887: DUP3
00000888: SWAP1
00000889: SUB
0000088a: ADD
0000088b: DUP2
0000088c: PUSH1 0x00
0000088e: DUP8
0000088f: PUSH2 0x61da
00000892: GAS
00000893: SUB
00000894: CALL
00000895: ISZERO
00000896: PUSH2 0x0002
00000899: JUMPI
0000089a: POP
0000089b: POP
0000089c: PUSH1 0x40
0000089e: MLOAD
0000089f: MLOAD
000008a0: SWAP2
000008a1: POP
000008a2: POP
000008a3: PUSH4 0xffffffff
000008a8: DUP2
000008a9: DUP2
000008aa: AND
000008ab: SWAP1
000008ac: DUP5
000008ad: AND
000008ae: GT
000008af: PUSH2 0x1714
000008b2: JUMPI
000008b3: PUSH1 0x40
000008b5: DUP1
000008b6: MLOAD
000008b7: PUSH1 0x02
000008b9: SLOAD
000008ba: PUSH1 0xe2
000008bc: PUSH1 0x02
000008be: EXP
000008bf: PUSH4 0x20bb89f3
000008c4: MUL
000008c5: DUP3
000008c6: MSTORE
000008c7: PUSH1 0x01
000008c9: PUSH1 0xa0
000008cb: PUSH1 0x02
000008cd: EXP
000008ce: SUB
000008cf: DUP8
000008d0: DUP2
000008d1: AND
000008d2: PUSH1 0x04
000008d4: DUP5
000008d5: ADD
000008d6: MSTORE
000008d7: DUP7
000008d8: DUP6
000008d9: SUB
000008da: PUSH4 0xffffffff
000008df: AND
000008e0: PUSH1 0x24
000008e2: DUP5
000008e3: ADD
000008e4: MSTORE
000008e5: SWAP3
000008e6: MLOAD
000008e7: SWAP3
000008e8: AND
000008e9: SWAP2
000008ea: PUSH4 0x82ee27cc
000008ef: SWAP2
000008f0: PUSH1 0x44
000008f2: DUP2
000008f3: DUP2
000008f4: ADD
000008f5: SWAP3
000008f6: PUSH1 0x00
000008f8: SWAP3
000008f9: SWAP1
000008fa: SWAP2
000008fb: SWAP1
000008fc: DUP3
000008fd: SWAP1
000008fe: SUB
000008ff: ADD
00000900: DUP2
00000901: DUP4
00000902: DUP8
00000903: PUSH2 0x61da
00000906: GAS
00000907: SUB
00000908: CALL
00000909: ISZERO
0000090a: PUSH2 0x0002
0000090d: JUMPI
0000090e: POP
0000090f: POP
00000910: PUSH1 0x03
00000912: DUP1
00000913: SLOAD
00000914: PUSH1 0xc0
00000916: PUSH1 0x02
00000918: EXP
00000919: DUP1
0000091a: DUP3
0000091b: DIV
0000091c: PUSH4 0xffffffff
00000921: AND
00000922: DUP8
00000923: SWAP1
00000924: SUB
00000925: MUL
00000926: PUSH1 0xc0
00000928: PUSH1 0x02
0000092a: EXP
0000092b: PUSH4 0xffffffff
00000930: MUL
00000931: NOT
00000932: SWAP1
00000933: SWAP2
00000934: AND
00000935: OR
00000936: SWAP1
00000937: SSTORE
00000938: POP
00000939: PUSH1 0x40
0000093b: DUP1
0000093c: MLOAD
0000093d: PUSH1 0x02
0000093f: SLOAD
00000940: PUSH1 0xe2
00000942: PUSH1 0x02
00000944: EXP
00000945: PUSH4 0x3eaf7a03
0000094a: MUL
0000094b: DUP3
0000094c: MSTORE
0000094d: PUSH1 0x01
0000094f: PUSH1 0xa0
00000951: PUSH1 0x02
00000953: EXP
00000954: SUB
00000955: DUP8
00000956: DUP2
00000957: AND
00000958: PUSH1 0x04
0000095a: DUP5
0000095b: ADD
0000095c: MSTORE
0000095d: SWAP3
0000095e: MLOAD
0000095f: PUSH32 0x744122e59fae084e6680a74113df6a72dedcfbb3dbf32bb8baae0fbb675ad45d
00000980: SWAP4
00000981: DUP9
00000982: SWAP4
00000983: DUP9
00000984: SWAP4
00000985: SWAP1
00000986: SWAP2
00000987: AND
00000988: SWAP2
00000989: PUSH4 0xfabde80c
0000098e: SWAP2
0000098f: PUSH1 0x24
00000991: DUP2
00000992: DUP2
00000993: ADD
00000994: SWAP3
00000995: PUSH1 0x20
00000997: SWAP3
00000998: SWAP1
00000999: SWAP2
0000099a: SWAP1
0000099b: DUP3
0000099c: SWAP1
0000099d: SUB
0000099e: ADD
0000099f: DUP2
000009a0: PUSH1 0x00
000009a2: DUP8
000009a3: PUSH2 0x61da
000009a6: GAS
000009a7: SUB
000009a8: CALL
000009a9: ISZERO
000009aa: PUSH2 0x0002
000009ad: JUMPI
000009ae: POP
000009af: POP
000009b0: PUSH1 0x40
000009b2: DUP1
000009b3: MLOAD
000009b4: DUP1
000009b5: MLOAD
000009b6: PUSH1 0x01
000009b8: PUSH1 0xa0
000009ba: PUSH1 0x02
000009bc: EXP
000009bd: SUB
000009be: SWAP6
000009bf: SWAP1
000009c0: SWAP6
000009c1: AND
000009c2: DUP2
000009c3: MSTORE
000009c4: PUSH4 0xffffffff
000009c9: SWAP4
000009ca: DUP5
000009cb: AND
000009cc: PUSH1 0x20
000009ce: DUP3
000009cf: ADD
000009d0: MSTORE
000009d1: SWAP3
000009d2: SWAP1
000009d3: SWAP4
000009d4: AND
000009d5: DUP3
000009d6: DUP5
000009d7: ADD
000009d8: MSTORE
000009d9: POP
000009da: SWAP1
000009db: MLOAD
000009dc: SWAP1
000009dd: DUP2
000009de: SWAP1
000009df: SUB
000009e0: PUSH1 0x60
000009e2: ADD
000009e3: SWAP1
000009e4: LOG1
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: JUMP
000009ea: JUMPDEST
000009eb: PUSH2 0x1b8e
000009ee: PUSH1 0x03
000009f0: SLOAD
000009f1: PUSH1 0x01
000009f3: PUSH1 0xa0
000009f5: PUSH1 0x02
000009f7: EXP
000009f8: SUB
000009f9: AND
000009fa: DUP2
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH2 0x1bab
00000a00: PUSH1 0x03
00000a02: SLOAD
00000a03: PUSH1 0xe0
00000a05: PUSH1 0x02
00000a07: EXP
00000a08: SWAP1
00000a09: DIV
00000a0a: PUSH1 0xff
00000a0c: AND
00000a0d: DUP2
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH2 0x1b74
00000a13: PUSH4 0x047868c0
00000a18: DUP2
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: PUSH2 0x0174
00000a1e: PUSH1 0x04
00000a20: CALLDATALOAD
00000a21: PUSH1 0x00
00000a23: SLOAD
00000a24: PUSH1 0xff
00000a26: AND
00000a27: PUSH1 0x01
00000a29: EQ
00000a2a: ISZERO
00000a2b: PUSH2 0x0346
00000a2e: JUMPI
00000a2f: PUSH1 0x40
00000a31: DUP1
00000a32: MLOAD
00000a33: PUSH1 0x01
00000a35: SLOAD
00000a36: PUSH1 0xe2
00000a38: PUSH1 0x02
00000a3a: EXP
00000a3b: PUSH4 0x0935e01b
00000a40: MUL
00000a41: DUP3
00000a42: MSTORE
00000a43: PUSH1 0x01
00000a45: PUSH1 0xa0
00000a47: PUSH1 0x02
00000a49: EXP
00000a4a: SUB
00000a4b: ORIGIN
00000a4c: DUP2
00000a4d: AND
00000a4e: PUSH1 0x04
00000a50: DUP5
00000a51: ADD
00000a52: MSTORE
00000a53: SWAP3
00000a54: MLOAD
00000a55: SWAP3
00000a56: AND
00000a57: SWAP2
00000a58: PUSH4 0x24d7806c
00000a5d: SWAP2
00000a5e: PUSH1 0x24
00000a60: DUP2
00000a61: DUP2
00000a62: ADD
00000a63: SWAP3
00000a64: PUSH1 0x20
00000a66: SWAP3
00000a67: SWAP1
00000a68: SWAP2
00000a69: SWAP1
00000a6a: DUP3
00000a6b: SWAP1
00000a6c: SUB
00000a6d: ADD
00000a6e: DUP2
00000a6f: PUSH1 0x00
00000a71: DUP8
00000a72: PUSH2 0x61da
00000a75: GAS
00000a76: SUB
00000a77: CALL
00000a78: ISZERO
00000a79: PUSH2 0x0002
00000a7c: JUMPI
00000a7d: POP
00000a7e: POP
00000a7f: PUSH1 0x40
00000a81: MLOAD
00000a82: MLOAD
00000a83: ISZERO
00000a84: SWAP1
00000a85: POP
00000a86: PUSH2 0x0346
00000a89: JUMPI
00000a8a: PUSH1 0x00
00000a8c: DUP2
00000a8d: PUSH4 0xffffffff
00000a92: AND
00000a93: GT
00000a94: DUP1
00000a95: ISZERO
00000a96: PUSH2 0x0aa9
00000a99: JUMPI
00000a9a: POP
00000a9b: PUSH4 0x047868c0
00000aa0: PUSH4 0xffffffff
00000aa5: DUP3
00000aa6: AND
00000aa7: GT
00000aa8: ISZERO
00000aa9: JUMPDEST
00000aaa: ISZERO
00000aab: PUSH2 0x0346
00000aae: JUMPI
00000aaf: PUSH1 0x03
00000ab1: DUP1
00000ab2: SLOAD
00000ab3: PUSH1 0xa0
00000ab5: PUSH1 0x02
00000ab7: EXP
00000ab8: DUP4
00000ab9: MUL
00000aba: PUSH24 0xffffffff0000000000000000000000000000000000000000
00000ad3: NOT
00000ad4: SWAP1
00000ad5: SWAP2
00000ad6: AND
00000ad7: OR
00000ad8: SWAP1
00000ad9: SSTORE
00000ada: POP
00000adb: JUMP
00000adc: JUMPDEST
00000add: PUSH2 0x0174
00000ae0: PUSH1 0x04
00000ae2: CALLDATALOAD
00000ae3: PUSH1 0x24
00000ae5: CALLDATALOAD
00000ae6: PUSH1 0x01
00000ae8: SLOAD
00000ae9: PUSH1 0x40
00000aeb: DUP1
00000aec: MLOAD
00000aed: PUSH1 0xe2
00000aef: PUSH1 0x02
00000af1: EXP
00000af2: PUSH4 0x0935e01b
00000af7: MUL
00000af8: DUP2
00000af9: MSTORE
00000afa: ORIGIN
00000afb: PUSH1 0x01
00000afd: PUSH1 0xa0
00000aff: PUSH1 0x02
00000b01: EXP
00000b02: SUB
00000b03: SWAP1
00000b04: DUP2
00000b05: AND
00000b06: PUSH1 0x04
00000b08: DUP4
00000b09: ADD
00000b0a: MSTORE
00000b0b: SWAP2
00000b0c: MLOAD
00000b0d: PUSH1 0x00
00000b0f: SWAP4
00000b10: DUP5
00000b11: SWAP4
00000b12: AND
00000b13: SWAP2
00000b14: PUSH4 0x24d7806c
00000b19: SWAP2
00000b1a: PUSH1 0x24
00000b1c: DUP3
00000b1d: DUP2
00000b1e: ADD
00000b1f: SWAP3
00000b20: PUSH1 0x20
00000b22: SWAP3
00000b23: SWAP2
00000b24: SWAP1
00000b25: DUP3
00000b26: SWAP1
00000b27: SUB
00000b28: ADD
00000b29: DUP2
00000b2a: DUP8
00000b2b: DUP8
00000b2c: PUSH2 0x61da
00000b2f: GAS
00000b30: SUB
00000b31: CALL
00000b32: ISZERO
00000b33: PUSH2 0x0002
00000b36: JUMPI
00000b37: POP
00000b38: POP
00000b39: PUSH1 0x40
00000b3b: MLOAD
00000b3c: MLOAD
00000b3d: ISZERO
00000b3e: SWAP1
00000b3f: POP
00000b40: PUSH2 0x1714
00000b43: JUMPI
00000b44: DUP1
00000b45: SLOAD
00000b46: PUSH1 0xff
00000b48: AND
00000b49: PUSH1 0x01
00000b4b: EQ
00000b4c: ISZERO
00000b4d: PUSH2 0x1714
00000b50: JUMPI
00000b51: PUSH1 0x40
00000b53: DUP1
00000b54: MLOAD
00000b55: PUSH1 0x02
00000b57: SLOAD
00000b58: PUSH1 0xe3
00000b5a: PUSH1 0x02
00000b5c: EXP
00000b5d: PUSH4 0x0bb7c8fd
00000b62: MUL
00000b63: DUP3
00000b64: MSTORE
00000b65: PUSH1 0x01
00000b67: PUSH1 0xa0
00000b69: PUSH1 0x02
00000b6b: EXP
00000b6c: SUB
00000b6d: DUP8
00000b6e: DUP2
00000b6f: AND
00000b70: PUSH1 0x04
00000b72: DUP5
00000b73: ADD
00000b74: MSTORE
00000b75: SWAP3
00000b76: MLOAD
00000b77: SWAP3
00000b78: AND
00000b79: SWAP2
00000b7a: PUSH4 0x5dbe47e8
00000b7f: SWAP2
00000b80: PUSH1 0x24
00000b82: DUP2
00000b83: DUP2
00000b84: ADD
00000b85: SWAP3
00000b86: PUSH1 0x20
00000b88: SWAP3
00000b89: SWAP1
00000b8a: SWAP2
00000b8b: SWAP1
00000b8c: DUP3
00000b8d: SWAP1
00000b8e: SUB
00000b8f: ADD
00000b90: DUP2
00000b91: DUP8
00000b92: DUP8
00000b93: PUSH2 0x61da
00000b96: GAS
00000b97: SUB
00000b98: CALL
00000b99: ISZERO
00000b9a: PUSH2 0x0002
00000b9d: JUMPI
00000b9e: POP
00000b9f: POP
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: MLOAD
00000ba4: SWAP1
00000ba5: POP
00000ba6: DUP1
00000ba7: ISZERO
00000ba8: PUSH2 0x0bbb
00000bab: JUMPI
00000bac: POP
00000bad: DUP3
00000bae: PUSH1 0x01
00000bb0: PUSH1 0xa0
00000bb2: PUSH1 0x02
00000bb4: EXP
00000bb5: SUB
00000bb6: AND
00000bb7: PUSH1 0x00
00000bb9: EQ
00000bba: ISZERO
00000bbb: JUMPDEST
00000bbc: ISZERO
00000bbd: PUSH2 0x1714
00000bc0: JUMPI
00000bc1: PUSH1 0x40
00000bc3: DUP1
00000bc4: MLOAD
00000bc5: PUSH1 0x02
00000bc7: SLOAD
00000bc8: PUSH1 0xe3
00000bca: PUSH1 0x02
00000bcc: EXP
00000bcd: PUSH4 0x0bb7c8fd
00000bd2: MUL
00000bd3: DUP3
00000bd4: MSTORE
00000bd5: PUSH1 0x01
00000bd7: PUSH1 0xa0
00000bd9: PUSH1 0x02
00000bdb: EXP
00000bdc: SUB
00000bdd: DUP7
00000bde: DUP2
00000bdf: AND
00000be0: PUSH1 0x04
00000be2: DUP5
00000be3: ADD
00000be4: MSTORE
00000be5: SWAP3
00000be6: MLOAD
00000be7: SWAP3
00000be8: AND
00000be9: SWAP2
00000bea: PUSH4 0x5dbe47e8
00000bef: SWAP2
00000bf0: PUSH1 0x24
00000bf2: DUP2
00000bf3: DUP2
00000bf4: ADD
00000bf5: SWAP3
00000bf6: PUSH1 0x20
00000bf8: SWAP3
00000bf9: SWAP1
00000bfa: SWAP2
00000bfb: SWAP1
00000bfc: DUP3
00000bfd: SWAP1
00000bfe: SUB
00000bff: ADD
00000c00: DUP2
00000c01: PUSH1 0x00
00000c03: DUP8
00000c04: PUSH2 0x61da
00000c07: GAS
00000c08: SUB
00000c09: CALL
00000c0a: ISZERO
00000c0b: PUSH2 0x0002
00000c0e: JUMPI
00000c0f: POP
00000c10: POP
00000c11: PUSH1 0x40
00000c13: MLOAD
00000c14: MLOAD
00000c15: ISZERO
00000c16: ISZERO
00000c17: SWAP1
00000c18: POP
00000c19: PUSH2 0x1cae
00000c1c: JUMPI
00000c1d: PUSH2 0x1cae
00000c20: DUP4
00000c21: PUSH2 0x12d5
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH2 0x0174
00000c29: PUSH1 0x04
00000c2b: CALLDATALOAD
00000c2c: PUSH1 0x24
00000c2e: CALLDATALOAD
00000c2f: PUSH1 0x44
00000c31: CALLDATALOAD
00000c32: PUSH1 0x00
00000c34: PUSH1 0x00
00000c36: GAS
00000c37: PUSH1 0x02
00000c39: SLOAD
00000c3a: PUSH1 0x40
00000c3c: DUP1
00000c3d: MLOAD
00000c3e: PUSH1 0xe3
00000c40: PUSH1 0x02
00000c42: EXP
00000c43: PUSH4 0x0bb7c8fd
00000c48: MUL
00000c49: DUP2
00000c4a: MSTORE
00000c4b: CALLER
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0xa0
00000c50: PUSH1 0x02
00000c52: EXP
00000c53: SUB
00000c54: SWAP1
00000c55: DUP2
00000c56: AND
00000c57: PUSH1 0x04
00000c59: DUP4
00000c5a: ADD
00000c5b: MSTORE
00000c5c: SWAP2
00000c5d: MLOAD
00000c5e: SWAP4
00000c5f: SWAP6
00000c60: POP
00000c61: SWAP2
00000c62: AND
00000c63: SWAP2
00000c64: PUSH4 0x5dbe47e8
00000c69: SWAP2
00000c6a: PUSH1 0x24
00000c6c: DUP2
00000c6d: DUP2
00000c6e: ADD
00000c6f: SWAP3
00000c70: PUSH1 0x20
00000c72: SWAP3
00000c73: SWAP1
00000c74: SWAP2
00000c75: SWAP1
00000c76: DUP3
00000c77: SWAP1
00000c78: SUB
00000c79: ADD
00000c7a: DUP2
00000c7b: DUP8
00000c7c: DUP8
00000c7d: PUSH2 0x61da
00000c80: GAS
00000c81: SUB
00000c82: CALL
00000c83: ISZERO
00000c84: PUSH2 0x0002
00000c87: JUMPI
00000c88: POP
00000c89: POP
00000c8a: PUSH1 0x40
00000c8c: MLOAD
00000c8d: MLOAD
00000c8e: ISZERO
00000c8f: SWAP1
00000c90: POP
00000c91: PUSH2 0x0d7d
00000c94: JUMPI
00000c95: PUSH1 0x03
00000c97: SLOAD
00000c98: PUSH1 0xe0
00000c9a: PUSH1 0x02
00000c9c: EXP
00000c9d: SWAP1
00000c9e: DIV
00000c9f: PUSH1 0xff
00000ca1: AND
00000ca2: ISZERO
00000ca3: PUSH2 0x0d2e
00000ca6: JUMPI
00000ca7: DUP1
00000ca8: SLOAD
00000ca9: PUSH1 0xff
00000cab: AND
00000cac: PUSH1 0x01
00000cae: EQ
00000caf: ISZERO
00000cb0: PUSH2 0x0d2e
00000cb3: JUMPI
00000cb4: PUSH1 0x40
00000cb6: DUP1
00000cb7: MLOAD
00000cb8: PUSH1 0x03
00000cba: SLOAD
00000cbb: PUSH32 0x7288349200000000000000000000000000000000000000000000000000000000
00000cdc: DUP3
00000cdd: MSTORE
00000cde: PUSH4 0xffffffff
00000ce3: DUP9
00000ce4: DUP2
00000ce5: AND
00000ce6: PUSH1 0x04
00000ce8: DUP5
00000ce9: ADD
00000cea: MSTORE
00000ceb: DUP8
00000cec: AND
00000ced: PUSH1 0x24
00000cef: DUP4
00000cf0: ADD
00000cf1: MSTORE
00000cf2: PUSH1 0x44
00000cf4: DUP3
00000cf5: ADD
00000cf6: DUP7
00000cf7: SWAP1
00000cf8: MSTORE
00000cf9: SWAP2
00000cfa: MLOAD
00000cfb: PUSH1 0x01
00000cfd: PUSH1 0xa0
00000cff: PUSH1 0x02
00000d01: EXP
00000d02: SUB
00000d03: SWAP3
00000d04: SWAP1
00000d05: SWAP3
00000d06: AND
00000d07: SWAP2
00000d08: PUSH4 0x72883492
00000d0d: SWAP2
00000d0e: PUSH1 0x64
00000d10: DUP2
00000d11: DUP2
00000d12: ADD
00000d13: SWAP3
00000d14: DUP7
00000d15: SWAP3
00000d16: SWAP1
00000d17: SWAP2
00000d18: SWAP1
00000d19: DUP3
00000d1a: SWAP1
00000d1b: SUB
00000d1c: ADD
00000d1d: DUP2
00000d1e: DUP4
00000d1f: DUP8
00000d20: PUSH2 0x61da
00000d23: GAS
00000d24: SUB
00000d25: CALL
00000d26: ISZERO
00000d27: PUSH2 0x0002
00000d2a: JUMPI
00000d2b: POP
00000d2c: POP
00000d2d: POP
00000d2e: JUMPDEST
00000d2f: GAS
00000d30: PUSH1 0x40
00000d32: DUP1
00000d33: MLOAD
00000d34: SWAP2
00000d35: DUP5
00000d36: SUB
00000d37: PUSH2 0x7364
00000d3a: ADD
00000d3b: GASPRICE
00000d3c: MUL
00000d3d: DUP1
00000d3e: DUP4
00000d3f: MSTORE
00000d40: SWAP1
00000d41: MLOAD
00000d42: SWAP1
00000d43: SWAP3
00000d44: POP
00000d45: PUSH1 0x00
00000d47: DUP1
00000d48: MLOAD
00000d49: PUSH1 0x20
00000d4b: PUSH2 0x1ecd
00000d4e: DUP4
00000d4f: CODECOPY
00000d50: DUP2
00000d51: MLOAD
00000d52: SWAP2
00000d53: MSTORE
00000d54: SWAP2
00000d55: DUP2
00000d56: SWAP1
00000d57: SUB
00000d58: PUSH1 0x20
00000d5a: ADD
00000d5b: SWAP1
00000d5c: LOG1
00000d5d: PUSH1 0x40
00000d5f: MLOAD
00000d60: CALLER
00000d61: PUSH1 0x01
00000d63: PUSH1 0xa0
00000d65: PUSH1 0x02
00000d67: EXP
00000d68: SUB
00000d69: AND
00000d6a: SWAP1
00000d6b: PUSH1 0x00
00000d6d: SWAP1
00000d6e: DUP4
00000d6f: SWAP1
00000d70: DUP3
00000d71: DUP2
00000d72: DUP2
00000d73: DUP2
00000d74: DUP6
00000d75: DUP9
00000d76: DUP4
00000d77: CALL
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: POP
00000d7c: POP
00000d7d: JUMPDEST
00000d7e: POP
00000d7f: POP
00000d80: POP
00000d81: POP
00000d82: POP
00000d83: JUMP
00000d84: JUMPDEST
00000d85: PUSH2 0x0174
00000d88: PUSH1 0x04
00000d8a: CALLDATALOAD
00000d8b: JUMPDEST
00000d8c: PUSH1 0x00
00000d8e: SLOAD
00000d8f: PUSH1 0xff
00000d91: AND
00000d92: PUSH1 0x01
00000d94: EQ
00000d95: ISZERO
00000d96: PUSH2 0x0346
00000d99: JUMPI
00000d9a: PUSH1 0x40
00000d9c: DUP1
00000d9d: MLOAD
00000d9e: PUSH1 0x01
00000da0: SLOAD
00000da1: PUSH1 0xe2
00000da3: PUSH1 0x02
00000da5: EXP
00000da6: PUSH4 0x0935e01b
00000dab: MUL
00000dac: DUP3
00000dad: MSTORE
00000dae: PUSH1 0x01
00000db0: PUSH1 0xa0
00000db2: PUSH1 0x02
00000db4: EXP
00000db5: SUB
00000db6: ORIGIN
00000db7: DUP2
00000db8: AND
00000db9: PUSH1 0x04
00000dbb: DUP5
00000dbc: ADD
00000dbd: MSTORE
00000dbe: SWAP3
00000dbf: MLOAD
00000dc0: SWAP3
00000dc1: AND
00000dc2: SWAP2
00000dc3: PUSH4 0x24d7806c
00000dc8: SWAP2
00000dc9: PUSH1 0x24
00000dcb: DUP2
00000dcc: DUP2
00000dcd: ADD
00000dce: SWAP3
00000dcf: PUSH1 0x20
00000dd1: SWAP3
00000dd2: SWAP1
00000dd3: SWAP2
00000dd4: SWAP1
00000dd5: DUP3
00000dd6: SWAP1
00000dd7: SUB
00000dd8: ADD
00000dd9: DUP2
00000dda: PUSH1 0x00
00000ddc: DUP8
00000ddd: PUSH2 0x61da
00000de0: GAS
00000de1: SUB
00000de2: CALL
00000de3: ISZERO
00000de4: PUSH2 0x0002
00000de7: JUMPI
00000de8: POP
00000de9: POP
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: MLOAD
00000dee: ISZERO
00000def: SWAP1
00000df0: POP
00000df1: PUSH2 0x0346
00000df4: JUMPI
00000df5: PUSH1 0x40
00000df7: DUP1
00000df8: MLOAD
00000df9: PUSH1 0x02
00000dfb: SLOAD
00000dfc: PUSH32 0x29092d0e00000000000000000000000000000000000000000000000000000000
00000e1d: DUP3
00000e1e: MSTORE
00000e1f: PUSH1 0x01
00000e21: PUSH1 0xa0
00000e23: PUSH1 0x02
00000e25: EXP
00000e26: SUB
00000e27: DUP5
00000e28: DUP2
00000e29: AND
00000e2a: PUSH1 0x04
00000e2c: DUP5
00000e2d: ADD
00000e2e: MSTORE
00000e2f: SWAP3
00000e30: MLOAD
00000e31: SWAP3
00000e32: AND
00000e33: SWAP2
00000e34: PUSH4 0x29092d0e
00000e39: SWAP2
00000e3a: PUSH1 0x24
00000e3c: DUP2
00000e3d: DUP2
00000e3e: ADD
00000e3f: SWAP3
00000e40: PUSH1 0x00
00000e42: SWAP3
00000e43: SWAP1
00000e44: SWAP2
00000e45: SWAP1
00000e46: DUP3
00000e47: SWAP1
00000e48: SUB
00000e49: ADD
00000e4a: DUP2
00000e4b: DUP4
00000e4c: DUP8
00000e4d: PUSH2 0x61da
00000e50: GAS
00000e51: SUB
00000e52: CALL
00000e53: ISZERO
00000e54: PUSH2 0x0002
00000e57: JUMPI
00000e58: POP
00000e59: POP
00000e5a: PUSH1 0x40
00000e5c: DUP1
00000e5d: MLOAD
00000e5e: PUSH1 0x01
00000e60: PUSH1 0xa0
00000e62: PUSH1 0x02
00000e64: EXP
00000e65: SUB
00000e66: DUP5
00000e67: AND
00000e68: DUP2
00000e69: MSTORE
00000e6a: SWAP1
00000e6b: MLOAD
00000e6c: PUSH32 0x984b558696eec355172c301d97f89185bfc9bb2d7933193fad1beb7825ed4c2e
00000e8d: SWAP3
00000e8e: POP
00000e8f: SWAP1
00000e90: DUP2
00000e91: SWAP1
00000e92: SUB
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: LOG1
00000e98: POP
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH2 0x1b5d
00000e9e: PUSH1 0x05
00000ea0: DUP2
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: PUSH2 0x0174
00000ea6: PUSH1 0x04
00000ea8: CALLDATALOAD
00000ea9: PUSH1 0x24
00000eab: CALLDATALOAD
00000eac: PUSH1 0x44
00000eae: CALLDATALOAD
00000eaf: PUSH1 0x64
00000eb1: CALLDATALOAD
00000eb2: PUSH1 0x84
00000eb4: CALLDATALOAD
00000eb5: PUSH1 0xa4
00000eb7: CALLDATALOAD
00000eb8: PUSH1 0xc4
00000eba: CALLDATALOAD
00000ebb: PUSH1 0x03
00000ebd: SLOAD
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0xa0
00000ec2: PUSH1 0x02
00000ec4: EXP
00000ec5: SUB
00000ec6: SWAP1
00000ec7: DUP2
00000ec8: AND
00000ec9: CALLER
00000eca: SWAP1
00000ecb: SWAP2
00000ecc: AND
00000ecd: EQ
00000ece: ISZERO
00000ecf: PUSH2 0x1c30
00000ed2: JUMPI
00000ed3: DUP1
00000ed4: ISZERO
00000ed5: PUSH2 0x1bbd
00000ed8: JUMPI
00000ed9: PUSH1 0x40
00000edb: DUP1
00000edc: MLOAD
00000edd: PUSH1 0x01
00000edf: PUSH1 0xa0
00000ee1: PUSH1 0x02
00000ee3: EXP
00000ee4: SUB
00000ee5: DUP10
00000ee6: AND
00000ee7: DUP2
00000ee8: MSTORE
00000ee9: PUSH4 0xffffffff
00000eee: DUP9
00000eef: DUP2
00000ef0: AND
00000ef1: PUSH1 0x20
00000ef3: DUP4
00000ef4: ADD
00000ef5: MSTORE
00000ef6: DUP8
00000ef7: AND
00000ef8: DUP2
00000ef9: DUP4
00000efa: ADD
00000efb: MSTORE
00000efc: PUSH10 0xffffffffffffffffffff
00000f07: DUP7
00000f08: AND
00000f09: PUSH1 0x60
00000f0b: DUP3
00000f0c: ADD
00000f0d: MSTORE
00000f0e: PUSH1 0x80
00000f10: DUP2
00000f11: ADD
00000f12: DUP6
00000f13: SWAP1
00000f14: MSTORE
00000f15: PUSH1 0x13
00000f17: DUP5
00000f18: SWAP1
00000f19: SIGNEXTEND
00000f1a: PUSH1 0xa0
00000f1c: DUP3
00000f1d: ADD
00000f1e: MSTORE
00000f1f: SWAP1
00000f20: MLOAD
00000f21: PUSH32 0xa8061486280834731cc1ef340255cc5d9880ad748d20cb766f43cb7562ec2c16
00000f42: SWAP2
00000f43: DUP2
00000f44: SWAP1
00000f45: SUB
00000f46: PUSH1 0xc0
00000f48: ADD
00000f49: SWAP1
00000f4a: LOG1
00000f4b: PUSH2 0x1c30
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH2 0x1b5d
00000f53: PUSH1 0x02
00000f55: DUP2
00000f56: JUMP
00000f57: JUMPDEST
00000f58: PUSH2 0x1b74
00000f5b: PUSH1 0x03
00000f5d: SLOAD
00000f5e: PUSH1 0xa0
00000f60: PUSH1 0x02
00000f62: EXP
00000f63: SWAP1
00000f64: DIV
00000f65: PUSH4 0xffffffff
00000f6a: AND
00000f6b: DUP2
00000f6c: JUMP
00000f6d: JUMPDEST
00000f6e: PUSH2 0x0174
00000f71: PUSH1 0x04
00000f73: CALLDATALOAD
00000f74: PUSH1 0x24
00000f76: CALLDATALOAD
00000f77: PUSH1 0x01
00000f79: SLOAD
00000f7a: PUSH1 0x40
00000f7c: DUP1
00000f7d: MLOAD
00000f7e: PUSH1 0xe2
00000f80: PUSH1 0x02
00000f82: EXP
00000f83: PUSH4 0x0935e01b
00000f88: MUL
00000f89: DUP2
00000f8a: MSTORE
00000f8b: ORIGIN
00000f8c: PUSH1 0x01
00000f8e: PUSH1 0xa0
00000f90: PUSH1 0x02
00000f92: EXP
00000f93: SUB
00000f94: SWAP1
00000f95: DUP2
00000f96: AND
00000f97: PUSH1 0x04
00000f99: DUP4
00000f9a: ADD
00000f9b: MSTORE
00000f9c: SWAP2
00000f9d: MLOAD
00000f9e: SWAP2
00000f9f: SWAP1
00000fa0: SWAP3
00000fa1: AND
00000fa2: SWAP2
00000fa3: PUSH4 0x24d7806c
00000fa8: SWAP2
00000fa9: PUSH1 0x24
00000fab: DUP3
00000fac: DUP2
00000fad: ADD
00000fae: SWAP3
00000faf: PUSH1 0x20
00000fb1: SWAP3
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: DUP3
00000fb5: SWAP1
00000fb6: SUB
00000fb7: ADD
00000fb8: DUP2
00000fb9: PUSH1 0x00
00000fbb: DUP8
00000fbc: PUSH2 0x61da
00000fbf: GAS
00000fc0: SUB
00000fc1: CALL
00000fc2: ISZERO
00000fc3: PUSH2 0x0002
00000fc6: JUMPI
00000fc7: POP
00000fc8: POP
00000fc9: PUSH1 0x40
00000fcb: MLOAD
00000fcc: MLOAD
00000fcd: ISZERO
00000fce: SWAP1
00000fcf: POP
00000fd0: PUSH2 0x1b59
00000fd3: JUMPI
00000fd4: PUSH1 0x00
00000fd6: SLOAD
00000fd7: PUSH1 0xff
00000fd9: AND
00000fda: PUSH1 0x01
00000fdc: EQ
00000fdd: ISZERO
00000fde: PUSH2 0x1b59
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: DUP1
00000fe5: MLOAD
00000fe6: PUSH1 0x03
00000fe8: SLOAD
00000fe9: PUSH1 0xe0
00000feb: PUSH1 0x02
00000fed: EXP
00000fee: PUSH4 0x033173b7
00000ff3: MUL
00000ff4: DUP3
00000ff5: MSTORE
00000ff6: PUSH10 0xffffffffffffffffffff
00001001: DUP6
00001002: AND
00001003: PUSH1 0x04
00001005: DUP4
00001006: ADD
00001007: MSTORE
00001008: PUSH1 0x24
0000100a: DUP3
0000100b: ADD
0000100c: DUP5
0000100d: SWAP1
0000100e: MSTORE
0000100f: PUSH1 0x00
00001011: PUSH1 0x44
00001013: DUP4
00001014: ADD
00001015: DUP2
00001016: SWAP1
00001017: MSTORE
00001018: SWAP3
00001019: MLOAD
0000101a: PUSH1 0x01
0000101c: PUSH1 0xa0
0000101e: PUSH1 0x02
00001020: EXP
00001021: SUB
00001022: SWAP2
00001023: SWAP1
00001024: SWAP2
00001025: AND
00001026: SWAP3
00001027: PUSH4 0x033173b7
0000102c: SWAP3
0000102d: PUSH1 0x64
0000102f: DUP2
00001030: DUP2
00001031: ADD
00001032: SWAP4
00001033: SWAP2
00001034: DUP3
00001035: SWAP1
00001036: SUB
00001037: ADD
00001038: DUP2
00001039: DUP4
0000103a: DUP8
0000103b: PUSH2 0x61da
0000103e: GAS
0000103f: SUB
00001040: CALL
00001041: ISZERO
00001042: PUSH2 0x0002
00001045: JUMPI
00001046: POP
00001047: POP
00001048: POP
00001049: POP
0000104a: POP
0000104b: JUMP
0000104c: JUMPDEST
0000104d: PUSH2 0x0174
00001050: PUSH1 0x04
00001052: CALLDATALOAD
00001053: PUSH1 0x24
00001055: CALLDATALOAD
00001056: PUSH1 0x44
00001058: CALLDATALOAD
00001059: PUSH1 0x64
0000105b: CALLDATALOAD
0000105c: PUSH1 0x84
0000105e: CALLDATALOAD
0000105f: PUSH1 0xa4
00001061: CALLDATALOAD
00001062: PUSH1 0xc4
00001064: CALLDATALOAD
00001065: PUSH1 0xe4
00001067: CALLDATALOAD
00001068: PUSH2 0x0104
0000106b: CALLDATALOAD
0000106c: PUSH2 0x0124
0000106f: CALLDATALOAD
00001070: PUSH1 0x03
00001072: SLOAD
00001073: PUSH1 0x01
00001075: PUSH1 0xa0
00001077: PUSH1 0x02
00001079: EXP
0000107a: SUB
0000107b: SWAP1
0000107c: DUP2
0000107d: AND
0000107e: CALLER
0000107f: SWAP1
00001080: SWAP2
00001081: AND
00001082: EQ
00001083: ISZERO
00001084: PUSH2 0x1109
00001087: JUMPI
00001088: PUSH1 0x40
0000108a: DUP1
0000108b: MLOAD
0000108c: PUSH1 0x01
0000108e: PUSH1 0xa0
00001090: PUSH1 0x02
00001092: EXP
00001093: SUB
00001094: DUP13
00001095: DUP2
00001096: AND
00001097: DUP3
00001098: MSTORE
00001099: DUP12
0000109a: AND
0000109b: PUSH1 0x20
0000109d: DUP3
0000109e: ADD
0000109f: MSTORE
000010a0: DUP1
000010a1: DUP3
000010a2: ADD
000010a3: DUP11
000010a4: SWAP1
000010a5: MSTORE
000010a6: PUSH1 0x60
000010a8: DUP2
000010a9: ADD
000010aa: DUP10
000010ab: SWAP1
000010ac: MSTORE
000010ad: PUSH1 0x80
000010af: DUP2
000010b0: ADD
000010b1: DUP9
000010b2: SWAP1
000010b3: MSTORE
000010b4: PUSH1 0xa0
000010b6: DUP2
000010b7: ADD
000010b8: DUP8
000010b9: SWAP1
000010ba: MSTORE
000010bb: PUSH1 0xc0
000010bd: DUP2
000010be: ADD
000010bf: DUP7
000010c0: SWAP1
000010c1: MSTORE
000010c2: PUSH1 0xe0
000010c4: DUP2
000010c5: ADD
000010c6: DUP6
000010c7: SWAP1
000010c8: MSTORE
000010c9: PUSH2 0x0100
000010cc: DUP2
000010cd: ADD
000010ce: DUP5
000010cf: SWAP1
000010d0: MSTORE
000010d1: PUSH1 0x13
000010d3: DUP4
000010d4: SWAP1
000010d5: SIGNEXTEND
000010d6: PUSH2 0x0120
000010d9: DUP3
000010da: ADD
000010db: MSTORE
000010dc: SWAP1
000010dd: MLOAD
000010de: PUSH32 0x68a83b20dde5c87dee07cc8d46d46e2fda6f176227f8b1f20dcb93752557df0e
000010ff: SWAP2
00001100: DUP2
00001101: SWAP1
00001102: SUB
00001103: PUSH2 0x0140
00001106: ADD
00001107: SWAP1
00001108: LOG1
00001109: JUMPDEST
0000110a: POP
0000110b: POP
0000110c: POP
0000110d: POP
0000110e: POP
0000110f: POP
00001110: POP
00001111: POP
00001112: POP
00001113: POP
00001114: JUMP
00001115: JUMPDEST
00001116: PUSH2 0x1b8e
00001119: PUSH1 0x00
0000111b: SLOAD
0000111c: PUSH2 0x0100
0000111f: SWAP1
00001120: DIV
00001121: PUSH1 0x01
00001123: PUSH1 0xa0
00001125: PUSH1 0x02
00001127: EXP
00001128: SUB
00001129: AND
0000112a: DUP2
0000112b: JUMP
0000112c: JUMPDEST
0000112d: PUSH2 0x1b8e
00001130: PUSH1 0x01
00001132: SLOAD
00001133: PUSH1 0x01
00001135: PUSH1 0xa0
00001137: PUSH1 0x02
00001139: EXP
0000113a: SUB
0000113b: AND
0000113c: DUP2
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH2 0x0174
00001142: PUSH1 0x04
00001144: CALLDATALOAD
00001145: PUSH1 0x24
00001147: CALLDATALOAD
00001148: PUSH1 0x44
0000114a: CALLDATALOAD
0000114b: PUSH1 0x00
0000114d: PUSH1 0x01
0000114f: SWAP1
00001150: SLOAD
00001151: SWAP1
00001152: PUSH2 0x0100
00001155: EXP
00001156: SWAP1
00001157: DIV
00001158: PUSH1 0x01
0000115a: PUSH1 0xa0
0000115c: PUSH1 0x02
0000115e: EXP
0000115f: SUB
00001160: AND
00001161: PUSH1 0x01
00001163: PUSH1 0xa0
00001165: PUSH1 0x02
00001167: EXP
00001168: SUB
00001169: AND
0000116a: PUSH4 0x3ca8b002
0000116f: ORIGIN
00001170: PUSH1 0x40
00001172: MLOAD
00001173: DUP3
00001174: PUSH1 0xe0
00001176: PUSH1 0x02
00001178: EXP
00001179: MUL
0000117a: DUP2
0000117b: MSTORE
0000117c: PUSH1 0x04
0000117e: ADD
0000117f: DUP1
00001180: DUP3
00001181: PUSH1 0x01
00001183: PUSH1 0xa0
00001185: PUSH1 0x02
00001187: EXP
00001188: SUB
00001189: AND
0000118a: DUP2
0000118b: MSTORE
0000118c: PUSH1 0x20
0000118e: ADD
0000118f: SWAP2
00001190: POP
00001191: POP
00001192: PUSH1 0x20
00001194: PUSH1 0x40
00001196: MLOAD
00001197: DUP1
00001198: DUP4
00001199: SUB
0000119a: DUP2
0000119b: PUSH1 0x00
0000119d: DUP8
0000119e: PUSH2 0x61da
000011a1: GAS
000011a2: SUB
000011a3: CALL
000011a4: ISZERO
000011a5: PUSH2 0x0002
000011a8: JUMPI
000011a9: POP
000011aa: POP
000011ab: PUSH1 0x40
000011ad: MLOAD
000011ae: MLOAD
000011af: ISZERO
000011b0: SWAP1
000011b1: POP
000011b2: PUSH2 0x12bd
000011b5: JUMPI
000011b6: PUSH1 0x40
000011b8: DUP1
000011b9: MLOAD
000011ba: PUSH1 0x01
000011bc: DUP1
000011bd: SLOAD
000011be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d3: NOT
000011d4: SWAP1
000011d5: DUP2
000011d6: AND
000011d7: DUP8
000011d8: OR
000011d9: SWAP1
000011da: SWAP2
000011db: SSTORE
000011dc: PUSH1 0x02
000011de: DUP1
000011df: SLOAD
000011e0: DUP3
000011e1: AND
000011e2: DUP7
000011e3: OR
000011e4: SWAP1
000011e5: DUP2
000011e6: SWAP1
000011e7: SSTORE
000011e8: PUSH1 0x03
000011ea: DUP1
000011eb: SLOAD
000011ec: SWAP3
000011ed: SWAP1
000011ee: SWAP3
000011ef: AND
000011f0: DUP6
000011f1: OR
000011f2: SWAP2
000011f3: DUP3
000011f4: SWAP1
000011f5: SSTORE
000011f6: PUSH32 0xa283f90700000000000000000000000000000000000000000000000000000000
00001217: DUP4
00001218: MSTORE
00001219: PUSH1 0x01
0000121b: PUSH1 0xa0
0000121d: PUSH1 0x02
0000121f: EXP
00001220: SUB
00001221: SWAP2
00001222: DUP3
00001223: AND
00001224: PUSH1 0x04
00001226: DUP5
00001227: ADD
00001228: MSTORE
00001229: SWAP3
0000122a: MLOAD
0000122b: SWAP3
0000122c: AND
0000122d: SWAP2
0000122e: PUSH4 0xa283f907
00001233: SWAP2
00001234: PUSH1 0x24
00001236: DUP2
00001237: DUP2
00001238: ADD
00001239: SWAP3
0000123a: PUSH1 0x00
0000123c: SWAP3
0000123d: SWAP1
0000123e: SWAP2
0000123f: SWAP1
00001240: DUP3
00001241: SWAP1
00001242: SUB
00001243: ADD
00001244: DUP2
00001245: DUP4
00001246: DUP8
00001247: PUSH2 0x61da
0000124a: GAS
0000124b: SUB
0000124c: CALL
0000124d: ISZERO
0000124e: PUSH2 0x0002
00001251: JUMPI
00001252: POP
00001253: POP
00001254: PUSH1 0x40
00001256: DUP1
00001257: MLOAD
00001258: PUSH1 0x03
0000125a: SLOAD
0000125b: PUSH1 0x02
0000125d: SLOAD
0000125e: PUSH32 0x54c3539100000000000000000000000000000000000000000000000000000000
0000127f: DUP4
00001280: MSTORE
00001281: PUSH1 0x01
00001283: PUSH1 0xa0
00001285: PUSH1 0x02
00001287: EXP
00001288: SUB
00001289: SWAP1
0000128a: DUP2
0000128b: AND
0000128c: PUSH1 0x04
0000128e: DUP5
0000128f: ADD
00001290: MSTORE
00001291: SWAP3
00001292: MLOAD
00001293: SWAP3
00001294: AND
00001295: SWAP3
00001296: POP
00001297: PUSH4 0x54c35391
0000129c: SWAP2
0000129d: PUSH1 0x24
0000129f: DUP3
000012a0: DUP2
000012a1: ADD
000012a2: SWAP3
000012a3: PUSH1 0x00
000012a5: SWAP3
000012a6: SWAP2
000012a7: SWAP1
000012a8: DUP3
000012a9: SWAP1
000012aa: SUB
000012ab: ADD
000012ac: DUP2
000012ad: DUP4
000012ae: DUP8
000012af: PUSH2 0x61da
000012b2: GAS
000012b3: SUB
000012b4: CALL
000012b5: ISZERO
000012b6: PUSH2 0x0002
000012b9: JUMPI
000012ba: POP
000012bb: POP
000012bc: POP
000012bd: JUMPDEST
000012be: POP
000012bf: POP
000012c0: POP
000012c1: JUMP
000012c2: JUMPDEST
000012c3: PUSH2 0x1bab
000012c6: PUSH1 0x00
000012c8: SLOAD
000012c9: PUSH1 0xff
000012cb: AND
000012cc: DUP2
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH2 0x0174
000012d2: PUSH1 0x04
000012d4: CALLDATALOAD
000012d5: JUMPDEST
000012d6: PUSH1 0x00
000012d8: SLOAD
000012d9: PUSH1 0xff
000012db: AND
000012dc: PUSH1 0x01
000012de: EQ
000012df: ISZERO
000012e0: PUSH2 0x0346
000012e3: JUMPI
000012e4: PUSH1 0x40
000012e6: DUP1
000012e7: MLOAD
000012e8: PUSH1 0x01
000012ea: SLOAD
000012eb: PUSH1 0xe2
000012ed: PUSH1 0x02
000012ef: EXP
000012f0: PUSH4 0x0935e01b
000012f5: MUL
000012f6: DUP3
000012f7: MSTORE
000012f8: PUSH1 0x01
000012fa: PUSH1 0xa0
000012fc: PUSH1 0x02
000012fe: EXP
000012ff: SUB
00001300: ORIGIN
00001301: DUP2
00001302: AND
00001303: PUSH1 0x04
00001305: DUP5
00001306: ADD
00001307: MSTORE
00001308: SWAP3
00001309: MLOAD
0000130a: SWAP3
0000130b: AND
0000130c: SWAP2
0000130d: PUSH4 0x24d7806c
00001312: SWAP2
00001313: PUSH1 0x24
00001315: DUP2
00001316: DUP2
00001317: ADD
00001318: SWAP3
00001319: PUSH1 0x20
0000131b: SWAP3
0000131c: SWAP1
0000131d: SWAP2
0000131e: SWAP1
0000131f: DUP3
00001320: SWAP1
00001321: SUB
00001322: ADD
00001323: DUP2
00001324: PUSH1 0x00
00001326: DUP8
00001327: PUSH2 0x61da
0000132a: GAS
0000132b: SUB
0000132c: CALL
0000132d: ISZERO
0000132e: PUSH2 0x0002
00001331: JUMPI
00001332: POP
00001333: POP
00001334: PUSH1 0x40
00001336: MLOAD
00001337: MLOAD
00001338: ISZERO
00001339: SWAP1
0000133a: POP
0000133b: PUSH2 0x0346
0000133e: JUMPI
0000133f: PUSH1 0x40
00001341: DUP1
00001342: MLOAD
00001343: PUSH1 0x02
00001345: SLOAD
00001346: PUSH1 0xe3
00001348: PUSH1 0x02
0000134a: EXP
0000134b: PUSH4 0x0bb7c8fd
00001350: MUL
00001351: DUP3
00001352: MSTORE
00001353: PUSH1 0x01
00001355: PUSH1 0xa0
00001357: PUSH1 0x02
00001359: EXP
0000135a: SUB
0000135b: DUP5
0000135c: DUP2
0000135d: AND
0000135e: PUSH1 0x04
00001360: DUP5
00001361: ADD
00001362: MSTORE
00001363: SWAP3
00001364: MLOAD
00001365: SWAP3
00001366: AND
00001367: SWAP2
00001368: PUSH4 0x5dbe47e8
0000136d: SWAP2
0000136e: PUSH1 0x24
00001370: DUP2
00001371: DUP2
00001372: ADD
00001373: SWAP3
00001374: PUSH1 0x20
00001376: SWAP3
00001377: SWAP1
00001378: SWAP2
00001379: SWAP1
0000137a: DUP3
0000137b: SWAP1
0000137c: SUB
0000137d: ADD
0000137e: DUP2
0000137f: PUSH1 0x00
00001381: DUP8
00001382: PUSH2 0x61da
00001385: GAS
00001386: SUB
00001387: CALL
00001388: ISZERO
00001389: PUSH2 0x0002
0000138c: JUMPI
0000138d: POP
0000138e: POP
0000138f: PUSH1 0x40
00001391: MLOAD
00001392: MLOAD
00001393: ISZERO
00001394: ISZERO
00001395: SWAP1
00001396: POP
00001397: PUSH2 0x0346
0000139a: JUMPI
0000139b: PUSH1 0x40
0000139d: DUP1
0000139e: MLOAD
0000139f: PUSH1 0x02
000013a1: SLOAD
000013a2: PUSH32 0x0a3b0a4f00000000000000000000000000000000000000000000000000000000
000013c3: DUP3
000013c4: MSTORE
000013c5: PUSH1 0x01
000013c7: PUSH1 0xa0
000013c9: PUSH1 0x02
000013cb: EXP
000013cc: SUB
000013cd: DUP5
000013ce: DUP2
000013cf: AND
000013d0: PUSH1 0x04
000013d2: DUP5
000013d3: ADD
000013d4: MSTORE
000013d5: SWAP3
000013d6: MLOAD
000013d7: SWAP3
000013d8: AND
000013d9: SWAP2
000013da: PUSH4 0x0a3b0a4f
000013df: SWAP2
000013e0: PUSH1 0x24
000013e2: DUP2
000013e3: DUP2
000013e4: ADD
000013e5: SWAP3
000013e6: PUSH1 0x00
000013e8: SWAP3
000013e9: SWAP1
000013ea: SWAP2
000013eb: SWAP1
000013ec: DUP3
000013ed: SWAP1
000013ee: SUB
000013ef: ADD
000013f0: DUP2
000013f1: DUP4
000013f2: DUP8
000013f3: PUSH2 0x61da
000013f6: GAS
000013f7: SUB
000013f8: CALL
000013f9: ISZERO
000013fa: PUSH2 0x0002
000013fd: JUMPI
000013fe: POP
000013ff: POP
00001400: PUSH1 0x40
00001402: MLOAD
00001403: PUSH1 0x01
00001405: PUSH1 0xa0
00001407: PUSH1 0x02
00001409: EXP
0000140a: SUB
0000140b: DUP4
0000140c: AND
0000140d: SWAP2
0000140e: POP
0000140f: PUSH1 0x00
00001411: SWAP1
00001412: PUSH7 0xb1a2bc2ec50000
0000141a: SWAP1
0000141b: DUP3
0000141c: DUP2
0000141d: DUP2
0000141e: DUP2
0000141f: DUP6
00001420: DUP9
00001421: DUP4
00001422: CALL
00001423: POP
00001424: SWAP3
00001425: DUP4
00001426: MSTORE
00001427: POP
00001428: POP
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: PUSH32 0x09c9f097217c9a4a99ade5a6396765182e60e3f9d99856d934cc324eb79d11c2
0000144d: SWAP2
0000144e: DUP2
0000144f: SWAP1
00001450: SUB
00001451: PUSH1 0x20
00001453: ADD
00001454: SWAP1
00001455: LOG1
00001456: POP
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0x40
0000145b: DUP1
0000145c: MLOAD
0000145d: PUSH1 0x20
0000145f: PUSH1 0x44
00001461: CALLDATALOAD
00001462: PUSH1 0x04
00001464: DUP2
00001465: DUP2
00001466: ADD
00001467: CALLDATALOAD
00001468: PUSH1 0x1f
0000146a: DUP2
0000146b: ADD
0000146c: DUP5
0000146d: SWAP1
0000146e: DIV
0000146f: DUP5
00001470: MUL
00001471: DUP6
00001472: ADD
00001473: DUP5
00001474: ADD
00001475: SWAP1
00001476: SWAP6
00001477: MSTORE
00001478: DUP5
00001479: DUP5
0000147a: MSTORE
0000147b: PUSH2 0x0174
0000147e: SWAP5
0000147f: DUP2
00001480: CALLDATALOAD
00001481: SWAP5
00001482: PUSH1 0x24
00001484: DUP1
00001485: CALLDATALOAD
00001486: SWAP6
00001487: SWAP4
00001488: SWAP5
00001489: PUSH1 0x64
0000148b: SWAP5
0000148c: SWAP3
0000148d: SWAP4
0000148e: SWAP2
0000148f: ADD
00001490: SWAP2
00001491: DUP2
00001492: SWAP1
00001493: DUP5
00001494: ADD
00001495: DUP4
00001496: DUP3
00001497: DUP1
00001498: DUP3
00001499: DUP5
0000149a: CALLDATACOPY
0000149b: POP
0000149c: SWAP5
0000149d: SWAP7
0000149e: POP
0000149f: POP
000014a0: SWAP4
000014a1: CALLDATALOAD
000014a2: SWAP4
000014a3: POP
000014a4: POP
000014a5: POP
000014a6: POP
000014a7: JUMPDEST
000014a8: PUSH1 0x00
000014aa: SLOAD
000014ab: PUSH1 0xff
000014ad: AND
000014ae: PUSH1 0x01
000014b0: EQ
000014b1: ISZERO
000014b2: PUSH2 0x1714
000014b5: JUMPI
000014b6: PUSH1 0x01
000014b8: SLOAD
000014b9: PUSH1 0x40
000014bb: DUP1
000014bc: MLOAD
000014bd: PUSH1 0xe2
000014bf: PUSH1 0x02
000014c1: EXP
000014c2: PUSH4 0x0935e01b
000014c7: MUL
000014c8: DUP2
000014c9: MSTORE
000014ca: PUSH1 0x01
000014cc: PUSH1 0xa0
000014ce: PUSH1 0x02
000014d0: EXP
000014d1: SUB
000014d2: ORIGIN
000014d3: DUP2
000014d4: AND
000014d5: PUSH1 0x04
000014d7: DUP4
000014d8: ADD
000014d9: MSTORE
000014da: SWAP2
000014db: MLOAD
000014dc: SWAP3
000014dd: SWAP1
000014de: SWAP2
000014df: AND
000014e0: SWAP2
000014e1: PUSH4 0x24d7806c
000014e6: SWAP2
000014e7: PUSH1 0x24
000014e9: DUP2
000014ea: DUP2
000014eb: ADD
000014ec: SWAP3
000014ed: PUSH1 0x20
000014ef: SWAP3
000014f0: SWAP1
000014f1: SWAP2
000014f2: SWAP1
000014f3: DUP3
000014f4: SWAP1
000014f5: SUB
000014f6: ADD
000014f7: DUP2
000014f8: PUSH1 0x00
000014fa: DUP8
000014fb: PUSH2 0x61da
000014fe: GAS
000014ff: SUB
00001500: CALL
00001501: ISZERO
00001502: PUSH2 0x0002
00001505: JUMPI
00001506: POP
00001507: POP
00001508: PUSH1 0x40
0000150a: MLOAD
0000150b: MLOAD
0000150c: ISZERO
0000150d: SWAP1
0000150e: POP
0000150f: PUSH2 0x1714
00001512: JUMPI
00001513: PUSH1 0x03
00001515: SLOAD
00001516: PUSH1 0x00
00001518: PUSH1 0xa0
0000151a: PUSH1 0x02
0000151c: EXP
0000151d: SWAP1
0000151e: SWAP2
0000151f: DIV
00001520: PUSH4 0xffffffff
00001525: AND
00001526: GT
00001527: DUP1
00001528: ISZERO
00001529: PUSH2 0x154f
0000152c: JUMPI
0000152d: POP
0000152e: PUSH1 0x03
00001530: SLOAD
00001531: PUSH1 0xa0
00001533: PUSH1 0x02
00001535: EXP
00001536: DUP2
00001537: DIV
00001538: PUSH4 0xffffffff
0000153d: SWAP1
0000153e: DUP2
0000153f: AND
00001540: PUSH1 0xc0
00001542: PUSH1 0x02
00001544: EXP
00001545: SWAP1
00001546: SWAP3
00001547: DIV
00001548: DUP2
00001549: AND
0000154a: DUP6
0000154b: ADD
0000154c: AND
0000154d: GT
0000154e: ISZERO
0000154f: JUMPDEST
00001550: DUP1
00001551: ISZERO
00001552: PUSH2 0x1565
00001555: JUMPI
00001556: POP
00001557: DUP4
00001558: PUSH1 0x01
0000155a: PUSH1 0xa0
0000155c: PUSH1 0x02
0000155e: EXP
0000155f: SUB
00001560: AND
00001561: PUSH1 0x00
00001563: EQ
00001564: ISZERO
00001565: JUMPDEST
00001566: DUP1
00001567: ISZERO
00001568: PUSH2 0x15c3
0000156b: JUMPI
0000156c: POP
0000156d: PUSH1 0x40
0000156f: DUP1
00001570: MLOAD
00001571: PUSH1 0x02
00001573: SLOAD
00001574: PUSH1 0xe3
00001576: PUSH1 0x02
00001578: EXP
00001579: PUSH4 0x0bb7c8fd
0000157e: MUL
0000157f: DUP3
00001580: MSTORE
00001581: PUSH1 0x01
00001583: PUSH1 0xa0
00001585: PUSH1 0x02
00001587: EXP
00001588: SUB
00001589: DUP8
0000158a: DUP2
0000158b: AND
0000158c: PUSH1 0x04
0000158e: DUP5
0000158f: ADD
00001590: MSTORE
00001591: SWAP3
00001592: MLOAD
00001593: SWAP3
00001594: AND
00001595: SWAP2
00001596: PUSH4 0x5dbe47e8
0000159b: SWAP2
0000159c: PUSH1 0x24
0000159e: DUP2
0000159f: DUP2
000015a0: ADD
000015a1: SWAP3
000015a2: PUSH1 0x20
000015a4: SWAP3
000015a5: SWAP1
000015a6: SWAP2
000015a7: SWAP1
000015a8: DUP3
000015a9: SWAP1
000015aa: SUB
000015ab: ADD
000015ac: DUP2
000015ad: PUSH1 0x00
000015af: DUP8
000015b0: PUSH2 0x61da
000015b3: GAS
000015b4: SUB
000015b5: CALL
000015b6: ISZERO
000015b7: PUSH2 0x0002
000015ba: JUMPI
000015bb: POP
000015bc: POP
000015bd: PUSH1 0x40
000015bf: MLOAD
000015c0: MLOAD
000015c1: SWAP1
000015c2: POP
000015c3: JUMPDEST
000015c4: ISZERO
000015c5: PUSH2 0x1714
000015c8: JUMPI
000015c9: PUSH1 0x40
000015cb: DUP1
000015cc: MLOAD
000015cd: PUSH1 0x02
000015cf: SLOAD
000015d0: PUSH32 0x665f09fa00000000000000000000000000000000000000000000000000000000
000015f1: DUP3
000015f2: MSTORE
000015f3: PUSH1 0x01
000015f5: PUSH1 0xa0
000015f7: PUSH1 0x02
000015f9: EXP
000015fa: SUB
000015fb: DUP8
000015fc: DUP2
000015fd: AND
000015fe: PUSH1 0x04
00001600: DUP5
00001601: ADD
00001602: MSTORE
00001603: PUSH4 0xffffffff
00001608: DUP8
00001609: AND
0000160a: PUSH1 0x24
0000160c: DUP5
0000160d: ADD
0000160e: MSTORE
0000160f: SWAP3
00001610: MLOAD
00001611: SWAP3
00001612: AND
00001613: SWAP2
00001614: PUSH4 0x665f09fa
00001619: SWAP2
0000161a: PUSH1 0x44
0000161c: DUP2
0000161d: DUP2
0000161e: ADD
0000161f: SWAP3
00001620: PUSH1 0x00
00001622: SWAP3
00001623: SWAP1
00001624: SWAP2
00001625: SWAP1
00001626: DUP3
00001627: SWAP1
00001628: SUB
00001629: ADD
0000162a: DUP2
0000162b: DUP4
0000162c: DUP8
0000162d: PUSH2 0x61da
00001630: GAS
00001631: SUB
00001632: CALL
00001633: ISZERO
00001634: PUSH2 0x0002
00001637: JUMPI
00001638: POP
00001639: POP
0000163a: PUSH1 0x03
0000163c: DUP1
0000163d: SLOAD
0000163e: PUSH1 0xc0
00001640: PUSH1 0x02
00001642: EXP
00001643: DUP1
00001644: DUP3
00001645: DIV
00001646: PUSH4 0xffffffff
0000164b: AND
0000164c: DUP8
0000164d: ADD
0000164e: MUL
0000164f: PUSH1 0xc0
00001651: PUSH1 0x02
00001653: EXP
00001654: PUSH4 0xffffffff
00001659: MUL
0000165a: NOT
0000165b: SWAP2
0000165c: SWAP1
0000165d: SWAP2
0000165e: AND
0000165f: OR
00001660: SWAP1
00001661: SSTORE
00001662: POP
00001663: PUSH1 0x02
00001665: SLOAD
00001666: PUSH1 0x40
00001668: DUP1
00001669: MLOAD
0000166a: PUSH1 0xe2
0000166c: PUSH1 0x02
0000166e: EXP
0000166f: PUSH4 0x3eaf7a03
00001674: MUL
00001675: DUP2
00001676: MSTORE
00001677: PUSH1 0x01
00001679: PUSH1 0xa0
0000167b: PUSH1 0x02
0000167d: EXP
0000167e: SUB
0000167f: DUP8
00001680: DUP2
00001681: AND
00001682: PUSH1 0x04
00001684: DUP4
00001685: ADD
00001686: MSTORE
00001687: SWAP2
00001688: MLOAD
00001689: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb
000016aa: SWAP4
000016ab: DUP9
000016ac: SWAP4
000016ad: DUP9
000016ae: SWAP4
000016af: SWAP2
000016b0: AND
000016b1: SWAP2
000016b2: PUSH4 0xfabde80c
000016b7: SWAP2
000016b8: PUSH1 0x24
000016ba: DUP2
000016bb: DUP2
000016bc: ADD
000016bd: SWAP3
000016be: PUSH1 0x20
000016c0: SWAP3
000016c1: SWAP1
000016c2: SWAP2
000016c3: SWAP1
000016c4: DUP3
000016c5: SWAP1
000016c6: SUB
000016c7: ADD
000016c8: DUP2
000016c9: PUSH1 0x00
000016cb: DUP8
000016cc: PUSH2 0x61da
000016cf: GAS
000016d0: SUB
000016d1: CALL
000016d2: ISZERO
000016d3: PUSH2 0x0002
000016d6: JUMPI
000016d7: POP
000016d8: POP
000016d9: PUSH1 0x40
000016db: DUP1
000016dc: MLOAD
000016dd: DUP1
000016de: MLOAD
000016df: PUSH1 0x01
000016e1: PUSH1 0xa0
000016e3: PUSH1 0x02
000016e5: EXP
000016e6: SUB
000016e7: SWAP6
000016e8: SWAP1
000016e9: SWAP6
000016ea: AND
000016eb: DUP2
000016ec: MSTORE
000016ed: PUSH4 0xffffffff
000016f2: SWAP4
000016f3: DUP5
000016f4: AND
000016f5: PUSH1 0x20
000016f7: DUP3
000016f8: ADD
000016f9: MSTORE
000016fa: SWAP4
000016fb: SWAP1
000016fc: SWAP3
000016fd: AND
000016fe: DUP4
000016ff: DUP4
00001700: ADD
00001701: MSTORE
00001702: POP
00001703: PUSH1 0x60
00001705: DUP3
00001706: ADD
00001707: DUP5
00001708: SWAP1
00001709: MSTORE
0000170a: MLOAD
0000170b: SWAP1
0000170c: DUP2
0000170d: SWAP1
0000170e: SUB
0000170f: PUSH1 0x80
00001711: ADD
00001712: SWAP1
00001713: LOG1
00001714: JUMPDEST
00001715: POP
00001716: POP
00001717: POP
00001718: POP
00001719: JUMP
0000171a: JUMPDEST
0000171b: PUSH2 0x1b8e
0000171e: PUSH1 0x02
00001720: SLOAD
00001721: PUSH1 0x01
00001723: PUSH1 0xa0
00001725: PUSH1 0x02
00001727: EXP
00001728: SUB
00001729: AND
0000172a: DUP2
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH2 0x0174
00001730: PUSH1 0x04
00001732: CALLDATALOAD
00001733: PUSH1 0x24
00001735: CALLDATALOAD
00001736: PUSH1 0x00
00001738: PUSH1 0x00
0000173a: GAS
0000173b: PUSH1 0x02
0000173d: SLOAD
0000173e: PUSH1 0x40
00001740: DUP1
00001741: MLOAD
00001742: PUSH1 0xe3
00001744: PUSH1 0x02
00001746: EXP
00001747: PUSH4 0x0bb7c8fd
0000174c: MUL
0000174d: DUP2
0000174e: MSTORE
0000174f: CALLER
00001750: PUSH1 0x01
00001752: PUSH1 0xa0
00001754: PUSH1 0x02
00001756: EXP
00001757: SUB
00001758: SWAP1
00001759: DUP2
0000175a: AND
0000175b: PUSH1 0x04
0000175d: DUP4
0000175e: ADD
0000175f: MSTORE
00001760: SWAP2
00001761: MLOAD
00001762: SWAP4
00001763: SWAP6
00001764: POP
00001765: SWAP2
00001766: AND
00001767: SWAP2
00001768: PUSH4 0x5dbe47e8
0000176d: SWAP2
0000176e: PUSH1 0x24
00001770: DUP2
00001771: DUP2
00001772: ADD
00001773: SWAP3
00001774: PUSH1 0x20
00001776: SWAP3
00001777: SWAP1
00001778: SWAP2
00001779: SWAP1
0000177a: DUP3
0000177b: SWAP1
0000177c: SUB
0000177d: ADD
0000177e: DUP2
0000177f: DUP8
00001780: DUP8
00001781: PUSH2 0x61da
00001784: GAS
00001785: SUB
00001786: CALL
00001787: ISZERO
00001788: PUSH2 0x0002
0000178b: JUMPI
0000178c: POP
0000178d: POP
0000178e: PUSH1 0x40
00001790: MLOAD
00001791: MLOAD
00001792: ISZERO
00001793: SWAP1
00001794: POP
00001795: PUSH2 0x1714
00001798: JUMPI
00001799: PUSH1 0x03
0000179b: SLOAD
0000179c: PUSH1 0xe0
0000179e: PUSH1 0x02
000017a0: EXP
000017a1: SWAP1
000017a2: DIV
000017a3: PUSH1 0xff
000017a5: AND
000017a6: ISZERO
000017a7: PUSH2 0x06b2
000017aa: JUMPI
000017ab: DUP1
000017ac: SLOAD
000017ad: PUSH1 0xff
000017af: AND
000017b0: PUSH1 0x01
000017b2: EQ
000017b3: ISZERO
000017b4: PUSH2 0x06b2
000017b7: JUMPI
000017b8: PUSH1 0x40
000017ba: DUP1
000017bb: MLOAD
000017bc: PUSH1 0x03
000017be: SLOAD
000017bf: PUSH1 0xe0
000017c1: PUSH1 0x02
000017c3: EXP
000017c4: PUSH4 0x033173b7
000017c9: MUL
000017ca: DUP3
000017cb: MSTORE
000017cc: PUSH10 0xffffffffffffffffffff
000017d7: DUP8
000017d8: AND
000017d9: PUSH1 0x04
000017db: DUP4
000017dc: ADD
000017dd: MSTORE
000017de: PUSH1 0x24
000017e0: DUP3
000017e1: ADD
000017e2: DUP7
000017e3: SWAP1
000017e4: MSTORE
000017e5: PUSH1 0x01
000017e7: PUSH1 0xa0
000017e9: PUSH1 0x02
000017eb: EXP
000017ec: SUB
000017ed: ORIGIN
000017ee: DUP2
000017ef: AND
000017f0: PUSH1 0x44
000017f2: DUP5
000017f3: ADD
000017f4: MSTORE
000017f5: SWAP3
000017f6: MLOAD
000017f7: SWAP3
000017f8: AND
000017f9: SWAP2
000017fa: PUSH4 0x033173b7
000017ff: SWAP2
00001800: PUSH1 0x64
00001802: DUP2
00001803: DUP2
00001804: ADD
00001805: SWAP3
00001806: DUP7
00001807: SWAP3
00001808: SWAP1
00001809: SWAP2
0000180a: SWAP1
0000180b: DUP3
0000180c: SWAP1
0000180d: SUB
0000180e: ADD
0000180f: DUP2
00001810: DUP4
00001811: DUP8
00001812: PUSH2 0x61da
00001815: GAS
00001816: SUB
00001817: CALL
00001818: ISZERO
00001819: PUSH2 0x0002
0000181c: JUMPI
0000181d: POP
0000181e: POP
0000181f: POP
00001820: GAS
00001821: PUSH1 0x40
00001823: DUP1
00001824: MLOAD
00001825: SWAP2
00001826: DUP5
00001827: SUB
00001828: PUSH2 0x7364
0000182b: ADD
0000182c: GASPRICE
0000182d: MUL
0000182e: DUP1
0000182f: DUP4
00001830: MSTORE
00001831: SWAP1
00001832: MLOAD
00001833: SWAP1
00001834: SWAP3
00001835: POP
00001836: PUSH1 0x00
00001838: DUP1
00001839: MLOAD
0000183a: PUSH1 0x20
0000183c: PUSH2 0x1ecd
0000183f: DUP4
00001840: CODECOPY
00001841: DUP2
00001842: MLOAD
00001843: SWAP2
00001844: MSTORE
00001845: SWAP2
00001846: DUP2
00001847: SWAP1
00001848: SUB
00001849: PUSH1 0x20
0000184b: ADD
0000184c: SWAP1
0000184d: LOG1
0000184e: PUSH1 0x40
00001850: MLOAD
00001851: CALLER
00001852: PUSH1 0x01
00001854: PUSH1 0xa0
00001856: PUSH1 0x02
00001858: EXP
00001859: SUB
0000185a: AND
0000185b: SWAP1
0000185c: PUSH1 0x00
0000185e: SWAP1
0000185f: DUP4
00001860: SWAP1
00001861: DUP3
00001862: DUP2
00001863: DUP2
00001864: DUP2
00001865: DUP6
00001866: DUP9
00001867: DUP4
00001868: CALL
00001869: SWAP4
0000186a: POP
0000186b: POP
0000186c: POP
0000186d: POP
0000186e: POP
0000186f: PUSH2 0x1714
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH2 0x0174
00001877: PUSH1 0x04
00001879: CALLDATALOAD
0000187a: PUSH1 0x24
0000187c: CALLDATALOAD
0000187d: PUSH1 0x44
0000187f: CALLDATALOAD
00001880: PUSH1 0x00
00001882: PUSH1 0x00
00001884: GAS
00001885: PUSH1 0x02
00001887: SLOAD
00001888: PUSH1 0x40
0000188a: DUP1
0000188b: MLOAD
0000188c: PUSH1 0xe3
0000188e: PUSH1 0x02
00001890: EXP
00001891: PUSH4 0x0bb7c8fd
00001896: MUL
00001897: DUP2
00001898: MSTORE
00001899: CALLER
0000189a: PUSH1 0x01
0000189c: PUSH1 0xa0
0000189e: PUSH1 0x02
000018a0: EXP
000018a1: SUB
000018a2: SWAP1
000018a3: DUP2
000018a4: AND
000018a5: PUSH1 0x04
000018a7: DUP4
000018a8: ADD
000018a9: MSTORE
000018aa: SWAP2
000018ab: MLOAD
000018ac: SWAP4
000018ad: SWAP6
000018ae: POP
000018af: SWAP2
000018b0: AND
000018b1: SWAP2
000018b2: PUSH4 0x5dbe47e8
000018b7: SWAP2
000018b8: PUSH1 0x24
000018ba: DUP2
000018bb: DUP2
000018bc: ADD
000018bd: SWAP3
000018be: PUSH1 0x20
000018c0: SWAP3
000018c1: SWAP1
000018c2: SWAP2
000018c3: SWAP1
000018c4: DUP3
000018c5: SWAP1
000018c6: SUB
000018c7: ADD
000018c8: DUP2
000018c9: DUP8
000018ca: DUP8
000018cb: PUSH2 0x61da
000018ce: GAS
000018cf: SUB
000018d0: CALL
000018d1: ISZERO
000018d2: PUSH2 0x0002
000018d5: JUMPI
000018d6: POP
000018d7: POP
000018d8: PUSH1 0x40
000018da: MLOAD
000018db: MLOAD
000018dc: ISZERO
000018dd: SWAP1
000018de: POP
000018df: PUSH2 0x0d7d
000018e2: JUMPI
000018e3: PUSH1 0x03
000018e5: SLOAD
000018e6: PUSH1 0xe0
000018e8: PUSH1 0x02
000018ea: EXP
000018eb: SWAP1
000018ec: DIV
000018ed: PUSH1 0xff
000018ef: AND
000018f0: ISZERO
000018f1: PUSH2 0x0d2e
000018f4: JUMPI
000018f5: DUP1
000018f6: SLOAD
000018f7: PUSH1 0xff
000018f9: AND
000018fa: PUSH1 0x01
000018fc: EQ
000018fd: ISZERO
000018fe: PUSH2 0x0d2e
00001901: JUMPI
00001902: PUSH1 0x40
00001904: DUP1
00001905: MLOAD
00001906: PUSH1 0x03
00001908: SLOAD
00001909: PUSH32 0xf04fd2f300000000000000000000000000000000000000000000000000000000
0000192a: DUP3
0000192b: MSTORE
0000192c: PUSH4 0xffffffff
00001931: DUP9
00001932: DUP2
00001933: AND
00001934: PUSH1 0x04
00001936: DUP5
00001937: ADD
00001938: MSTORE
00001939: DUP8
0000193a: AND
0000193b: PUSH1 0x24
0000193d: DUP4
0000193e: ADD
0000193f: MSTORE
00001940: PUSH1 0x44
00001942: DUP3
00001943: ADD
00001944: DUP7
00001945: SWAP1
00001946: MSTORE
00001947: SWAP2
00001948: MLOAD
00001949: PUSH1 0x01
0000194b: PUSH1 0xa0
0000194d: PUSH1 0x02
0000194f: EXP
00001950: SUB
00001951: SWAP3
00001952: SWAP1
00001953: SWAP3
00001954: AND
00001955: SWAP2
00001956: PUSH4 0xf04fd2f3
0000195b: SWAP2
0000195c: PUSH1 0x64
0000195e: DUP2
0000195f: DUP2
00001960: ADD
00001961: SWAP3
00001962: DUP7
00001963: SWAP3
00001964: SWAP1
00001965: SWAP2
00001966: SWAP1
00001967: DUP3
00001968: SWAP1
00001969: SUB
0000196a: ADD
0000196b: DUP2
0000196c: DUP4
0000196d: DUP8
0000196e: PUSH2 0x61da
00001971: GAS
00001972: SUB
00001973: CALL
00001974: ISZERO
00001975: PUSH2 0x0002
00001978: JUMPI
00001979: POP
0000197a: POP
0000197b: POP
0000197c: GAS
0000197d: PUSH1 0x40
0000197f: DUP1
00001980: MLOAD
00001981: SWAP2
00001982: DUP5
00001983: SUB
00001984: PUSH2 0x7364
00001987: ADD
00001988: GASPRICE
00001989: MUL
0000198a: DUP1
0000198b: DUP4
0000198c: MSTORE
0000198d: SWAP1
0000198e: MLOAD
0000198f: SWAP1
00001990: SWAP3
00001991: POP
00001992: PUSH1 0x00
00001994: DUP1
00001995: MLOAD
00001996: PUSH1 0x20
00001998: PUSH2 0x1ecd
0000199b: DUP4
0000199c: CODECOPY
0000199d: DUP2
0000199e: MLOAD
0000199f: SWAP2
000019a0: MSTORE
000019a1: SWAP2
000019a2: DUP2
000019a3: SWAP1
000019a4: SUB
000019a5: PUSH1 0x20
000019a7: ADD
000019a8: SWAP1
000019a9: LOG1
000019aa: PUSH1 0x40
000019ac: MLOAD
000019ad: CALLER
000019ae: PUSH1 0x01
000019b0: PUSH1 0xa0
000019b2: PUSH1 0x02
000019b4: EXP
000019b5: SUB
000019b6: AND
000019b7: SWAP1
000019b8: PUSH1 0x00
000019ba: SWAP1
000019bb: DUP4
000019bc: SWAP1
000019bd: DUP3
000019be: DUP2
000019bf: DUP2
000019c0: DUP2
000019c1: DUP6
000019c2: DUP9
000019c3: DUP4
000019c4: CALL
000019c5: SWAP4
000019c6: POP
000019c7: POP
000019c8: POP
000019c9: POP
000019ca: POP
000019cb: PUSH2 0x0d7d
000019ce: JUMP
000019cf: JUMPDEST
000019d0: PUSH2 0x0174
000019d3: PUSH1 0x04
000019d5: CALLDATALOAD
000019d6: PUSH1 0x24
000019d8: CALLDATALOAD
000019d9: JUMPDEST
000019da: PUSH1 0x00
000019dc: SLOAD
000019dd: PUSH1 0xff
000019df: AND
000019e0: PUSH1 0x01
000019e2: EQ
000019e3: ISZERO
000019e4: PUSH2 0x1b59
000019e7: JUMPI
000019e8: PUSH1 0x40
000019ea: DUP1
000019eb: MLOAD
000019ec: PUSH1 0x01
000019ee: SLOAD
000019ef: PUSH1 0xe2
000019f1: PUSH1 0x02
000019f3: EXP
000019f4: PUSH4 0x0935e01b
000019f9: MUL
000019fa: DUP3
000019fb: MSTORE
000019fc: PUSH1 0x01
000019fe: PUSH1 0xa0
00001a00: PUSH1 0x02
00001a02: EXP
00001a03: SUB
00001a04: ORIGIN
00001a05: DUP2
00001a06: AND
00001a07: PUSH1 0x04
00001a09: DUP5
00001a0a: ADD
00001a0b: MSTORE
00001a0c: SWAP3
00001a0d: MLOAD
00001a0e: SWAP3
00001a0f: AND
00001a10: SWAP2
00001a11: PUSH4 0x24d7806c
00001a16: SWAP2
00001a17: PUSH1 0x24
00001a19: DUP2
00001a1a: DUP2
00001a1b: ADD
00001a1c: SWAP3
00001a1d: PUSH1 0x20
00001a1f: SWAP3
00001a20: SWAP1
00001a21: SWAP2
00001a22: SWAP1
00001a23: DUP3
00001a24: SWAP1
00001a25: SUB
00001a26: ADD
00001a27: DUP2
00001a28: PUSH1 0x00
00001a2a: DUP8
00001a2b: PUSH2 0x61da
00001a2e: GAS
00001a2f: SUB
00001a30: CALL
00001a31: ISZERO
00001a32: PUSH2 0x0002
00001a35: JUMPI
00001a36: POP
00001a37: POP
00001a38: PUSH1 0x40
00001a3a: MLOAD
00001a3b: MLOAD
00001a3c: ISZERO
00001a3d: SWAP1
00001a3e: POP
00001a3f: PUSH2 0x1b59
00001a42: JUMPI
00001a43: PUSH1 0x40
00001a45: DUP1
00001a46: MLOAD
00001a47: PUSH1 0x02
00001a49: SLOAD
00001a4a: PUSH32 0x2198e78000000000000000000000000000000000000000000000000000000000
00001a6b: DUP3
00001a6c: MSTORE
00001a6d: PUSH1 0x01
00001a6f: PUSH1 0xa0
00001a71: PUSH1 0x02
00001a73: EXP
00001a74: SUB
00001a75: DUP6
00001a76: DUP2
00001a77: AND
00001a78: PUSH1 0x04
00001a7a: DUP5
00001a7b: ADD
00001a7c: MSTORE
00001a7d: PUSH1 0x13
00001a7f: DUP6
00001a80: SWAP1
00001a81: SIGNEXTEND
00001a82: PUSH1 0x24
00001a84: DUP5
00001a85: ADD
00001a86: MSTORE
00001a87: SWAP3
00001a88: MLOAD
00001a89: SWAP3
00001a8a: AND
00001a8b: SWAP2
00001a8c: PUSH4 0x2198e780
00001a91: SWAP2
00001a92: PUSH1 0x44
00001a94: DUP2
00001a95: DUP2
00001a96: ADD
00001a97: SWAP3
00001a98: PUSH1 0x00
00001a9a: SWAP3
00001a9b: SWAP1
00001a9c: SWAP2
00001a9d: SWAP1
00001a9e: DUP3
00001a9f: SWAP1
00001aa0: SUB
00001aa1: ADD
00001aa2: DUP2
00001aa3: DUP4
00001aa4: DUP8
00001aa5: PUSH2 0x61da
00001aa8: GAS
00001aa9: SUB
00001aaa: CALL
00001aab: ISZERO
00001aac: PUSH2 0x0002
00001aaf: JUMPI
00001ab0: POP
00001ab1: POP
00001ab2: PUSH1 0x40
00001ab4: DUP1
00001ab5: MLOAD
00001ab6: PUSH1 0x02
00001ab8: SLOAD
00001ab9: PUSH1 0xe1
00001abb: PUSH1 0x02
00001abd: EXP
00001abe: PUSH4 0x2010ac0d
00001ac3: MUL
00001ac4: DUP3
00001ac5: MSTORE
00001ac6: PUSH1 0x01
00001ac8: PUSH1 0xa0
00001aca: PUSH1 0x02
00001acc: EXP
00001acd: SUB
00001ace: DUP7
00001acf: DUP2
00001ad0: AND
00001ad1: PUSH1 0x04
00001ad3: DUP5
00001ad4: ADD
00001ad5: MSTORE
00001ad6: SWAP3
00001ad7: MLOAD
00001ad8: PUSH32 0xe94fd0d37480bbf316cfa85ccb130d11f35f4b8e280296196bff10e17855e7f3
00001af9: SWAP5
00001afa: POP
00001afb: DUP7
00001afc: SWAP4
00001afd: DUP7
00001afe: SWAP4
00001aff: SWAP3
00001b00: AND
00001b01: SWAP2
00001b02: PUSH4 0x4021581a
00001b07: SWAP2
00001b08: PUSH1 0x24
00001b0a: DUP3
00001b0b: DUP2
00001b0c: ADD
00001b0d: SWAP3
00001b0e: PUSH1 0x20
00001b10: SWAP3
00001b11: SWAP2
00001b12: SWAP1
00001b13: DUP3
00001b14: SWAP1
00001b15: SUB
00001b16: ADD
00001b17: DUP2
00001b18: PUSH1 0x00
00001b1a: DUP8
00001b1b: PUSH2 0x61da
00001b1e: GAS
00001b1f: SUB
00001b20: CALL
00001b21: ISZERO
00001b22: PUSH2 0x0002
00001b25: JUMPI
00001b26: POP
00001b27: POP
00001b28: PUSH1 0x40
00001b2a: DUP1
00001b2b: MLOAD
00001b2c: DUP1
00001b2d: MLOAD
00001b2e: PUSH1 0x01
00001b30: PUSH1 0xa0
00001b32: PUSH1 0x02
00001b34: EXP
00001b35: SUB
00001b36: SWAP6
00001b37: SWAP1
00001b38: SWAP6
00001b39: AND
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x13
00001b3e: SWAP4
00001b3f: DUP5
00001b40: SIGNEXTEND
00001b41: PUSH1 0x20
00001b43: DUP3
00001b44: ADD
00001b45: MSTORE
00001b46: SWAP4
00001b47: SWAP1
00001b48: SWAP3
00001b49: SIGNEXTEND
00001b4a: DUP4
00001b4b: DUP4
00001b4c: ADD
00001b4d: MSTORE
00001b4e: POP
00001b4f: MLOAD
00001b50: SWAP1
00001b51: DUP2
00001b52: SWAP1
00001b53: SUB
00001b54: PUSH1 0x60
00001b56: ADD
00001b57: SWAP1
00001b58: LOG1
00001b59: JUMPDEST
00001b5a: POP
00001b5b: POP
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x40
00001b60: DUP1
00001b61: MLOAD
00001b62: PUSH1 0xff
00001b64: SWAP3
00001b65: SWAP1
00001b66: SWAP3
00001b67: AND
00001b68: DUP3
00001b69: MSTORE
00001b6a: MLOAD
00001b6b: SWAP1
00001b6c: DUP2
00001b6d: SWAP1
00001b6e: SUB
00001b6f: PUSH1 0x20
00001b71: ADD
00001b72: SWAP1
00001b73: RETURN
00001b74: JUMPDEST
00001b75: PUSH1 0x40
00001b77: DUP1
00001b78: MLOAD
00001b79: PUSH4 0xffffffff
00001b7e: SWAP3
00001b7f: SWAP1
00001b80: SWAP3
00001b81: AND
00001b82: DUP3
00001b83: MSTORE
00001b84: MLOAD
00001b85: SWAP1
00001b86: DUP2
00001b87: SWAP1
00001b88: SUB
00001b89: PUSH1 0x20
00001b8b: ADD
00001b8c: SWAP1
00001b8d: RETURN
00001b8e: JUMPDEST
00001b8f: PUSH1 0x40
00001b91: DUP1
00001b92: MLOAD
00001b93: PUSH1 0x01
00001b95: PUSH1 0xa0
00001b97: PUSH1 0x02
00001b99: EXP
00001b9a: SUB
00001b9b: SWAP3
00001b9c: SWAP1
00001b9d: SWAP3
00001b9e: AND
00001b9f: DUP3
00001ba0: MSTORE
00001ba1: MLOAD
00001ba2: SWAP1
00001ba3: DUP2
00001ba4: SWAP1
00001ba5: SUB
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: SWAP1
00001baa: RETURN
00001bab: JUMPDEST
00001bac: PUSH1 0x40
00001bae: DUP1
00001baf: MLOAD
00001bb0: SWAP2
00001bb1: DUP3
00001bb2: MSTORE
00001bb3: MLOAD
00001bb4: SWAP1
00001bb5: DUP2
00001bb6: SWAP1
00001bb7: SUB
00001bb8: PUSH1 0x20
00001bba: ADD
00001bbb: SWAP1
00001bbc: RETURN
00001bbd: JUMPDEST
00001bbe: PUSH1 0x40
00001bc0: DUP1
00001bc1: MLOAD
00001bc2: PUSH1 0x01
00001bc4: PUSH1 0xa0
00001bc6: PUSH1 0x02
00001bc8: EXP
00001bc9: SUB
00001bca: DUP10
00001bcb: AND
00001bcc: DUP2
00001bcd: MSTORE
00001bce: PUSH4 0xffffffff
00001bd3: DUP9
00001bd4: DUP2
00001bd5: AND
00001bd6: PUSH1 0x20
00001bd8: DUP4
00001bd9: ADD
00001bda: MSTORE
00001bdb: DUP8
00001bdc: AND
00001bdd: DUP2
00001bde: DUP4
00001bdf: ADD
00001be0: MSTORE
00001be1: PUSH10 0xffffffffffffffffffff
00001bec: DUP7
00001bed: AND
00001bee: PUSH1 0x60
00001bf0: DUP3
00001bf1: ADD
00001bf2: MSTORE
00001bf3: PUSH1 0x80
00001bf5: DUP2
00001bf6: ADD
00001bf7: DUP6
00001bf8: SWAP1
00001bf9: MSTORE
00001bfa: PUSH1 0x13
00001bfc: DUP5
00001bfd: SWAP1
00001bfe: SIGNEXTEND
00001bff: PUSH1 0xa0
00001c01: DUP3
00001c02: ADD
00001c03: MSTORE
00001c04: SWAP1
00001c05: MLOAD
00001c06: PUSH32 0xc471ac038c94409267ac6cbfd1f7e96b4e97a909be26595ad9dea2a47436e4f1
00001c27: SWAP2
00001c28: DUP2
00001c29: SWAP1
00001c2a: SUB
00001c2b: PUSH1 0xc0
00001c2d: ADD
00001c2e: SWAP1
00001c2f: LOG1
00001c30: JUMPDEST
00001c31: POP
00001c32: POP
00001c33: POP
00001c34: POP
00001c35: POP
00001c36: POP
00001c37: POP
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH1 0x40
00001c3c: DUP1
00001c3d: MLOAD
00001c3e: PUSH1 0x01
00001c40: PUSH1 0xa0
00001c42: PUSH1 0x02
00001c44: EXP
00001c45: SUB
00001c46: DUP11
00001c47: AND
00001c48: DUP2
00001c49: MSTORE
00001c4a: PUSH1 0x20
00001c4c: DUP2
00001c4d: ADD
00001c4e: DUP10
00001c4f: SWAP1
00001c50: MSTORE
00001c51: DUP1
00001c52: DUP3
00001c53: ADD
00001c54: DUP9
00001c55: SWAP1
00001c56: MSTORE
00001c57: PUSH1 0x60
00001c59: DUP2
00001c5a: ADD
00001c5b: DUP8
00001c5c: SWAP1
00001c5d: MSTORE
00001c5e: PUSH1 0x80
00001c60: DUP2
00001c61: ADD
00001c62: DUP7
00001c63: SWAP1
00001c64: MSTORE
00001c65: PUSH1 0xa0
00001c67: DUP2
00001c68: ADD
00001c69: DUP6
00001c6a: SWAP1
00001c6b: MSTORE
00001c6c: PUSH1 0x13
00001c6e: DUP5
00001c6f: SWAP1
00001c70: SIGNEXTEND
00001c71: PUSH1 0xc0
00001c73: DUP3
00001c74: ADD
00001c75: MSTORE
00001c76: SWAP1
00001c77: MLOAD
00001c78: PUSH32 0xd88cf2fd5f56b8a4aff9f4bded90f026b3000bcef95516eb50d53891ab7fb09a
00001c99: SWAP2
00001c9a: DUP2
00001c9b: SWAP1
00001c9c: SUB
00001c9d: PUSH1 0xe0
00001c9f: ADD
00001ca0: SWAP1
00001ca1: LOG1
00001ca2: JUMPDEST
00001ca3: POP
00001ca4: POP
00001ca5: POP
00001ca6: POP
00001ca7: POP
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: JUMP
00001cac: JUMPDEST
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x40
00001cb1: DUP1
00001cb2: MLOAD
00001cb3: PUSH1 0x02
00001cb5: SLOAD
00001cb6: PUSH1 0xe2
00001cb8: PUSH1 0x02
00001cba: EXP
00001cbb: PUSH4 0x3eaf7a03
00001cc0: MUL
00001cc1: DUP3
00001cc2: MSTORE
00001cc3: PUSH1 0x01
00001cc5: PUSH1 0xa0
00001cc7: PUSH1 0x02
00001cc9: EXP
00001cca: SUB
00001ccb: DUP8
00001ccc: DUP2
00001ccd: AND
00001cce: PUSH1 0x04
00001cd0: DUP5
00001cd1: ADD
00001cd2: MSTORE
00001cd3: SWAP3
00001cd4: MLOAD
00001cd5: SWAP3
00001cd6: AND
00001cd7: SWAP2
00001cd8: PUSH4 0xfabde80c
00001cdd: SWAP2
00001cde: PUSH1 0x24
00001ce0: DUP2
00001ce1: DUP2
00001ce2: ADD
00001ce3: SWAP3
00001ce4: PUSH1 0x20
00001ce6: SWAP3
00001ce7: SWAP1
00001ce8: SWAP2
00001ce9: SWAP1
00001cea: DUP3
00001ceb: SWAP1
00001cec: SUB
00001ced: ADD
00001cee: DUP2
00001cef: PUSH1 0x00
00001cf1: DUP8
00001cf2: PUSH2 0x61da
00001cf5: GAS
00001cf6: SUB
00001cf7: CALL
00001cf8: ISZERO
00001cf9: PUSH2 0x0002
00001cfc: JUMPI
00001cfd: POP
00001cfe: POP
00001cff: PUSH1 0x40
00001d01: DUP1
00001d02: MLOAD
00001d03: DUP1
00001d04: MLOAD
00001d05: PUSH1 0x03
00001d07: DUP1
00001d08: SLOAD
00001d09: PUSH1 0xc0
00001d0b: PUSH1 0x02
00001d0d: EXP
00001d0e: DUP1
00001d0f: DUP3
00001d10: DIV
00001d11: PUSH4 0xffffffff
00001d16: AND
00001d17: DUP5
00001d18: SWAP1
00001d19: SUB
00001d1a: MUL
00001d1b: PUSH1 0xc0
00001d1d: PUSH1 0x02
00001d1f: EXP
00001d20: PUSH4 0xffffffff
00001d25: MUL
00001d26: NOT
00001d27: SWAP2
00001d28: SWAP1
00001d29: SWAP2
00001d2a: AND
00001d2b: OR
00001d2c: SWAP1
00001d2d: SSTORE
00001d2e: PUSH1 0x02
00001d30: SLOAD
00001d31: PUSH1 0xe2
00001d33: PUSH1 0x02
00001d35: EXP
00001d36: PUSH4 0x20bb89f3
00001d3b: MUL
00001d3c: DUP4
00001d3d: MSTORE
00001d3e: PUSH1 0x01
00001d40: PUSH1 0xa0
00001d42: PUSH1 0x02
00001d44: EXP
00001d45: SUB
00001d46: DUP10
00001d47: DUP2
00001d48: AND
00001d49: PUSH1 0x04
00001d4b: DUP6
00001d4c: ADD
00001d4d: MSTORE
00001d4e: PUSH1 0x00
00001d50: PUSH1 0x24
00001d52: DUP6
00001d53: ADD
00001d54: DUP2
00001d55: SWAP1
00001d56: MSTORE
00001d57: SWAP5
00001d58: MLOAD
00001d59: SWAP3
00001d5a: SWAP8
00001d5b: POP
00001d5c: AND
00001d5d: SWAP4
00001d5e: POP
00001d5f: PUSH4 0x82ee27cc
00001d64: SWAP3
00001d65: PUSH1 0x44
00001d67: DUP4
00001d68: DUP2
00001d69: ADD
00001d6a: SWAP4
00001d6b: SWAP2
00001d6c: SWAP3
00001d6d: SWAP2
00001d6e: DUP3
00001d6f: SWAP1
00001d70: SUB
00001d71: ADD
00001d72: DUP2
00001d73: DUP4
00001d74: DUP8
00001d75: PUSH2 0x61da
00001d78: GAS
00001d79: SUB
00001d7a: CALL
00001d7b: ISZERO
00001d7c: PUSH2 0x0002
00001d7f: JUMPI
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb
00001da4: DUP5
00001da5: DUP4
00001da6: PUSH4 0xffffffff
00001dab: AND
00001dac: PUSH1 0x00
00001dae: SUB
00001daf: PUSH1 0x00
00001db1: PUSH1 0x00
00001db3: PUSH1 0x40
00001db5: MLOAD
00001db6: DUP1
00001db7: DUP6
00001db8: PUSH1 0x01
00001dba: PUSH1 0xa0
00001dbc: PUSH1 0x02
00001dbe: EXP
00001dbf: SUB
00001dc0: AND
00001dc1: DUP2
00001dc2: MSTORE
00001dc3: PUSH1 0x20
00001dc5: ADD
00001dc6: DUP5
00001dc7: PUSH1 0x04
00001dc9: SIGNEXTEND
00001dca: DUP2
00001dcb: MSTORE
00001dcc: PUSH1 0x20
00001dce: ADD
00001dcf: DUP4
00001dd0: DUP2
00001dd1: MSTORE
00001dd2: PUSH1 0x20
00001dd4: ADD
00001dd5: DUP3
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: PUSH1 0x20
00001dda: ADD
00001ddb: SWAP5
00001ddc: POP
00001ddd: POP
00001dde: POP
00001ddf: POP
00001de0: POP
00001de1: PUSH1 0x40
00001de3: MLOAD
00001de4: DUP1
00001de5: SWAP2
00001de6: SUB
00001de7: SWAP1
00001de8: LOG1
00001de9: PUSH2 0x1e54
00001dec: DUP4
00001ded: DUP4
00001dee: PUSH1 0x60
00001df0: PUSH1 0x40
00001df2: MLOAD
00001df3: SWAP1
00001df4: DUP2
00001df5: ADD
00001df6: PUSH1 0x40
00001df8: MSTORE
00001df9: DUP1
00001dfa: PUSH1 0x2c
00001dfc: DUP2
00001dfd: MSTORE
00001dfe: PUSH1 0x20
00001e00: ADD
00001e01: PUSH32 0x5472616e736665722062616c616e63652066726f6d206f6e65206163636f756e
00001e22: DUP2
00001e23: MSTORE
00001e24: PUSH1 0x20
00001e26: ADD
00001e27: PUSH32 0x7420746f20616e6f746865720000000000000000000000000000000000000000
00001e48: DUP2
00001e49: MSTORE
00001e4a: PUSH1 0x20
00001e4c: ADD
00001e4d: POP
00001e4e: PUSH1 0x00
00001e50: PUSH2 0x14a7
00001e53: JUMP
00001e54: JUMPDEST
00001e55: PUSH1 0x40
00001e57: DUP1
00001e58: MLOAD
00001e59: PUSH1 0x02
00001e5b: SLOAD
00001e5c: PUSH1 0xe1
00001e5e: PUSH1 0x02
00001e60: EXP
00001e61: PUSH4 0x2010ac0d
00001e66: MUL
00001e67: DUP3
00001e68: MSTORE
00001e69: PUSH1 0x01
00001e6b: PUSH1 0xa0
00001e6d: PUSH1 0x02
00001e6f: EXP
00001e70: SUB
00001e71: DUP8
00001e72: DUP2
00001e73: AND
00001e74: PUSH1 0x04
00001e76: DUP5
00001e77: ADD
00001e78: MSTORE
00001e79: SWAP3
00001e7a: MLOAD
00001e7b: SWAP3
00001e7c: AND
00001e7d: SWAP2
00001e7e: PUSH4 0x4021581a
00001e83: SWAP2
00001e84: PUSH1 0x24
00001e86: DUP2
00001e87: DUP2
00001e88: ADD
00001e89: SWAP3
00001e8a: PUSH1 0x20
00001e8c: SWAP3
00001e8d: SWAP1
00001e8e: SWAP2
00001e8f: SWAP1
00001e90: DUP3
00001e91: SWAP1
00001e92: SUB
00001e93: ADD
00001e94: DUP2
00001e95: PUSH1 0x00
00001e97: DUP8
00001e98: PUSH2 0x61da
00001e9b: GAS
00001e9c: SUB
00001e9d: CALL
00001e9e: ISZERO
00001e9f: PUSH2 0x0002
00001ea2: JUMPI
00001ea3: POP
00001ea4: POP
00001ea5: PUSH1 0x40
00001ea7: MLOAD
00001ea8: MLOAD
00001ea9: SWAP2
00001eaa: POP
00001eab: PUSH2 0x1eba
00001eae: SWAP1
00001eaf: POP
00001eb0: DUP5
00001eb1: PUSH1 0x00
00001eb3: DUP4
00001eb4: SWAP1
00001eb5: SUB
00001eb6: PUSH2 0x19d9
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH2 0x1ec4
00001ebe: DUP4
00001ebf: DUP3
00001ec0: PUSH2 0x19d9
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH2 0x1714
00001ec8: DUP5
00001ec9: PUSH2 0x0d8b
00001ecc: JUMP
00001ecd: DUP16
00001ece: UNKNOWN(0x22)
00001ecf: UNKNOWN(0xEF)
00001ed0: TLOAD
00001ed1: UNKNOWN(0xA8)
00001ed2: DUP9
00001ed3: UNKNOWN(0xDE)
00001ed4: RETURNDATACOPY
00001ed5: UNKNOWN(0x24)
00001ed6: PUSH13 0x690a13b066ad49cbf2768b0449
00001ee4: DIFFICULTY
00001ee5: SAR
00001ee6: UNKNOWN(0xD6)
00001ee7: CREATE2
00001ee8: UNKNOWN(0xBA)
00001ee9: UNKNOWN(0xE8)
00001eea: UNKNOWN(0x26)
00001eeb: LOG1
00001eec: UNKNOWN(0xB1)

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	cast	SELFDESTRUCT present	85	no	—	view evidence_json { "notes": "selfdestruct can remove contract code and send funds; review reachability", "selfdestruct_count": 1 }
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": "0x0cd40fea", "selector": "0x0cd40fea", "calldata_variants": [ "0x0cd40fea", "0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d2ae79c", "selector": "0x1d2ae79c", "calldata_variants": [ "0x1d2ae79c", "0x1d2ae79c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c03a97", "selector": "0x21c03a97", "calldata_variants": [ "0x21c03a97", "0x21c03a970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2cb0d48a", "selector": "0x2cb0d48a", "calldata_variants": [ "0x2cb0d48a", "0x2cb0d48a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32454dbb", "selector": "0x32454dbb", "calldata_variants": [ "0x32454dbb", "0x32454dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c06ae68", "selector": "0x3c06ae68", "calldata_variants": [ "0x3c06ae68", "0x3c06ae680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4278e3ef", "selector": "0x4278e3ef", "calldata_variants": [ "0x4278e3ef", "0x4278e3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 597, "type": "tx_origin_used" }, { "pc": 755, "type": "tx_origin_used" }, { "pc": 1117, "type": "tx_origin_used" }, { "pc": 1188, "type": "tx_origin_used" }, { "pc": 1366, "type": "tx_origin_used" }, { "pc": 1487, "type": "tx_origin_used" }, { "pc": 1568, "type": "tx_origin_used" }, { "pc": 1918, "type": "tx_origin_used" }, { "pc": 2635, "type": "tx_origin_used" }, { "pc": 2810, "type": "tx_origin_used" }, { "pc": 3510, "type": "tx_origin_used" }, { "pc": 3979, "type": "tx_origin_used" }, { "pc": 4463, "type": "tx_origin_used" }, { "pc": 4864, "type": "tx_origin_used" }, { "pc": 5330, "type": "tx_origin_used" }, { "pc": 6125, "type": "tx_origin_used" }, { "pc": 6660, "type": "tx_origin_used" } ] }
high	access_control	codex	Authorization uses tx.origin (phishing/bypass risk)	85	no	—	view evidence_json { "evidence": "Detector and auth guards indicate tx.origin checks at multiple PCs (e.g., 597, 755, 1117, 1188, 1366, 1487, 1568, 1918, 2635, 2810, 3510, 3979, 4463, 4864, 5330, 6125, 6660).", "locations": [ "pc:0x255", "pc:0x2f3", "pc:0x45d", "pc:0x4a4", "pc:0x556", "pc:0x5cf", "pc:0x620", "pc:0x77e", "pc:0xa4b", "pc:0xafa", "pc:0xdb6", "pc:0xf8b", "pc:0x116f", "pc:0x1300", "pc:0x14d2", "pc:0x17ed", "pc:0x1a04" ], "recommendation": "Replace tx.origin-based checks with msg.sender and explicit role/owner validation; if EOAs must be enforced, use allowlists and EIP-1271 signature verification where appropriate.", "exploit_scenario": "An attacker deploys a malicious contract that a victim EOA interacts with. If privileged functions rely on tx.origin, the check passes because tx.origin is the victim, allowing the attacker contract to invoke sensitive logic and potentially drain funds or change critical state." }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x80a880fc18cc899e7c98287259fb02b0b10a528abf8f270e6665cc2509449dca call_targets: 0xb233cb2f0dce57a56bf732767f45ffc8650186c5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x80a880fc18cc899e7c98287259fb02b0b10a528abf8f270e6665cc2509449dca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb233cb2f0dce57a56bf732767f45ffc8650186c5" ], "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": "0x0cd40fea", "selector": "0x0cd40fea", "calldata_variants": [ "0x0cd40fea", "0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d2ae79c", "selector": "0x1d2ae79c", "calldata_variants": [ "0x1d2ae79c", "0x1d2ae79c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c03a97", "selector": "0x21c03a97", "calldata_variants": [ "0x21c03a97", "0x21c03a970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2cb0d48a", "selector": "0x2cb0d48a", "calldata_variants": [ "0x2cb0d48a", "0x2cb0d48a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32454dbb", "selector": "0x32454dbb", "calldata_variants": [ "0x32454dbb", "0x32454dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c06ae68", "selector": "0x3c06ae68", "calldata_variants": [ "0x3c06ae68", "0x3c06ae680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4278e3ef", "selector": "0x4278e3ef", "calldata_variants": [ "0x4278e3ef", "0x4278e3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 641, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 807, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 47, "guards_detected": [ { "pc": 597, "type": "tx_origin_used" }, { "pc": 755, "type": "tx_origin_used" }, { "pc": 1117, "type": "tx_origin_used" }, { "pc": 1188, "type": "tx_origin_used" }, { "pc": 1366, "type": "tx_origin_used" }, { "pc": 1487, "type": "tx_origin_used" }, { "pc": 1568, "type": "tx_origin_used" }, { "pc": 1918, "type": "tx_origin_used" }, { "pc": 2635, "type": "tx_origin_used" }, { "pc": 2810, "type": "tx_origin_used" }, { "pc": 3510, "type": "tx_origin_used" }, { "pc": 3979, "type": "tx_origin_used" }, { "pc": 4463, "type": "tx_origin_used" }, { "pc": 4864, "type": "tx_origin_used" }, { "pc": 5330, "type": "tx_origin_used" }, { "pc": 6125, "type": "tx_origin_used" }, { "pc": 6660, "type": "tx_origin_used" } ], "untrusted_call_count": 47 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x80a880fc18cc899e7c98287259fb02b0b10a528abf8f270e6665cc2509449dca call_targets: 0xb233cb2f0dce57a56bf732767f45ffc8650186c5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x80a880fc18cc899e7c98287259fb02b0b10a528abf8f270e6665cc2509449dca", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb233cb2f0dce57a56bf732767f45ffc8650186c5" ], "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": "0x0cd40fea", "selector": "0x0cd40fea", "calldata_variants": [ "0x0cd40fea", "0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d2ae79c", "selector": "0x1d2ae79c", "calldata_variants": [ "0x1d2ae79c", "0x1d2ae79c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c03a97", "selector": "0x21c03a97", "calldata_variants": [ "0x21c03a97", "0x21c03a970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2cb0d48a", "selector": "0x2cb0d48a", "calldata_variants": [ "0x2cb0d48a", "0x2cb0d48a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32454dbb", "selector": "0x32454dbb", "calldata_variants": [ "0x32454dbb", "0x32454dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c06ae68", "selector": "0x3c06ae68", "calldata_variants": [ "0x3c06ae68", "0x3c06ae680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4278e3ef", "selector": "0x4278e3ef", "calldata_variants": [ "0x4278e3ef", "0x4278e3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 641, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 807, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 47, "guards_detected": [ { "pc": 597, "type": "tx_origin_used" }, { "pc": 755, "type": "tx_origin_used" }, { "pc": 1117, "type": "tx_origin_used" }, { "pc": 1188, "type": "tx_origin_used" }, { "pc": 1366, "type": "tx_origin_used" }, { "pc": 1487, "type": "tx_origin_used" }, { "pc": 1568, "type": "tx_origin_used" }, { "pc": 1918, "type": "tx_origin_used" }, { "pc": 2635, "type": "tx_origin_used" }, { "pc": 2810, "type": "tx_origin_used" }, { "pc": 3510, "type": "tx_origin_used" }, { "pc": 3979, "type": "tx_origin_used" }, { "pc": 4463, "type": "tx_origin_used" }, { "pc": 4864, "type": "tx_origin_used" }, { "pc": 5330, "type": "tx_origin_used" }, { "pc": 6125, "type": "tx_origin_used" }, { "pc": 6660, "type": "tx_origin_used" } ] }
medium	other	detector	SELFDESTRUCT reachable	45	no	no	view trace_id: 0xad944f4a689e700d718136f9ad069cea87fc1a426597b0ef179c150b63ee1a2f validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xad944f4a689e700d718136f9ad069cea87fc1a426597b0ef179c150b63ee1a2f", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0cd40fea", "selector": "0x0cd40fea", "calldata_variants": [ "0x0cd40fea", "0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d2ae79c", "selector": "0x1d2ae79c", "calldata_variants": [ "0x1d2ae79c", "0x1d2ae79c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c03a97", "selector": "0x21c03a97", "calldata_variants": [ "0x21c03a97", "0x21c03a970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2cb0d48a", "selector": "0x2cb0d48a", "calldata_variants": [ "0x2cb0d48a", "0x2cb0d48a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32454dbb", "selector": "0x32454dbb", "calldata_variants": [ "0x32454dbb", "0x32454dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c06ae68", "selector": "0x3c06ae68", "calldata_variants": [ "0x3c06ae68", "0x3c06ae680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4278e3ef", "selector": "0x4278e3ef", "calldata_variants": [ "0x4278e3ef", "0x4278e3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 597, "type": "tx_origin_used" }, { "pc": 755, "type": "tx_origin_used" }, { "pc": 1117, "type": "tx_origin_used" }, { "pc": 1188, "type": "tx_origin_used" }, { "pc": 1366, "type": "tx_origin_used" }, { "pc": 1487, "type": "tx_origin_used" }, { "pc": 1568, "type": "tx_origin_used" }, { "pc": 1918, "type": "tx_origin_used" }, { "pc": 2635, "type": "tx_origin_used" }, { "pc": 2810, "type": "tx_origin_used" }, { "pc": 3510, "type": "tx_origin_used" }, { "pc": 3979, "type": "tx_origin_used" }, { "pc": 4463, "type": "tx_origin_used" }, { "pc": 4864, "type": "tx_origin_used" }, { "pc": 5330, "type": "tx_origin_used" }, { "pc": 6125, "type": "tx_origin_used" }, { "pc": 6660, "type": "tx_origin_used" } ], "selfdestruct_count": 1 }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xad944f4a689e700d718136f9ad069cea87fc1a426597b0ef179c150b63ee1a2f validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xad944f4a689e700d718136f9ad069cea87fc1a426597b0ef179c150b63ee1a2f", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0cd40fea", "selector": "0x0cd40fea", "calldata_variants": [ "0x0cd40fea", "0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1d2ae79c", "selector": "0x1d2ae79c", "calldata_variants": [ "0x1d2ae79c", "0x1d2ae79c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x21c03a97", "selector": "0x21c03a97", "calldata_variants": [ "0x21c03a97", "0x21c03a970000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2cb0d48a", "selector": "0x2cb0d48a", "calldata_variants": [ "0x2cb0d48a", "0x2cb0d48a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x32454dbb", "selector": "0x32454dbb", "calldata_variants": [ "0x32454dbb", "0x32454dbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3c06ae68", "selector": "0x3c06ae68", "calldata_variants": [ "0x3c06ae68", "0x3c06ae680000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4278e3ef", "selector": "0x4278e3ef", "calldata_variants": [ "0x4278e3ef", "0x4278e3ef0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }
medium	other	codex	SELFDESTRUCT present; beneficiary uses tx.origin (reachability uncertain)	75	no	—	view evidence_json { "evidence": "Basic block at start_pc 1188 includes opcodes ORIGIN ... SELFDESTRUCT; detector shows selfdestruct_count=1 but reachability is unknown from the artifact.", "locations": [ "pc:0x4a4" ], "recommendation": "Remove SELFDESTRUCT if not strictly required. If required, gate it behind robust access control (msg.sender-based owner/role) and consider timelocks or multisig approval.", "exploit_scenario": "If this path is reachable by untrusted callers or via a bypassable guard, an attacker can permanently destroy the contract and redirect any remaining ETH to an EOA (tx.origin), causing loss of funds and service." }
low	other	codex	CREATE2 opcode present; deployment authorization unclear	65	no	—	view evidence_json { "evidence": "Basic block at start_pc 7885 includes CREATE2; detector shows create2_count=1 with unknown reachability.", "locations": [ "pc:0x1ecd" ], "recommendation": "Ensure CREATE2 is only callable by trusted roles and validate init code and salts; consider emitting events for deployments.", "exploit_scenario": "If unguarded, a caller could deploy arbitrary bytecode via CREATE2, potentially creating attacker-controlled contracts at deterministic addresses and enabling abuse or confusion in downstream integrations." }
low	other	cast	Contract creation opcode present	60	no	—	view evidence_json { "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2", "create_count": 0, "create2_count": 1 }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 47 }