019bab3b-ac74-7341-b8b6-2be009b2500f
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 38765 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 38766 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 38767 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 38768 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 38769 | capability.graph | complete | 1 / 3 | 3 months ago |
| 38770 | detector.run | complete | 1 / 3 | 3 months ago |
| 38771 | validation.fork | complete | 1 / 3 | 3 months ago |
| 39170 | report.consolidate | complete | 1 / 6 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"Bytecode-only review indicates tx.origin-based authorization checks, multiple computed external CALLs that can transfer ETH, and a SELFDESTRUCT opcode that may be reachable; all findings are based on heuristics and should be treated with uncertainty.","findings":[{"severity":"medium","category":"auth","title":"Authorization uses tx.origin (phishable / bypassable via intermediary contracts)","exploit_scenario":"If privileged checks rely on `tx.origin`, a malicious contract can trick the authorized EOA into calling it and then invoke the privileged function with `tx.origin` preserved, bypassing intended access control. This is inferred from multiple tx.origin guard sites and may not cover all paths.","recommendation":"Replace tx.origin-based checks with msg.sender-based role checks (e.g., owner/role mappings). If EOA-only behavior is intended, use EIP-1271 or explicit signature checks instead of tx.origin.","evidence":"Detector flagged multiple tx.origin guard sites (no sink mapping). Bytecode guards detected at several PCs indicating tx.origin is used in authorization logic.","locations":["pc:0x18e","pc:0x3b4","pc:0x452","pc:0x5bc","pc:0x603","pc:0x66f","pc:0x71e","pc:0x9ec","pc:0xbc1","pc:0xdb2","pc:0xf84","pc:0x129f","pc:0x14db"]},{"severity":"medium","category":"other","title":"Computed external CALLs with ETH value; potential arbitrary call/value transfers and reentrancy risk","exploit_scenario":"The contract performs many external CALLs where the target and/or value appear computed. If any of these parameters are influenced by user input or mutable storage, an attacker could direct ETH to arbitrary addresses or invoke untrusted contracts that reenter into this contract. Bytecode-only analysis cannot confirm gating or state-update order.","recommendation":"Restrict call targets and value via allowlists or immutable config, apply checks-effects-interactions and/or a reentrancy guard around external calls, and verify/handle CALL return data explicitly.","evidence":"Detector confirmed 37 CALL sites with computed targets and possible nonzero value; validation indicates targets can vary. Return-data checking is unknown.","locations":["pc:0x1c2","pc:0x260","pc:0x2c8","pc:0x3e0","pc:0x486","pc:0x68d","pc:0x757","pc:0x8b9","pc:0x9ad","pc:0xa2d","pc:0xace","pc:0xb93","pc:0xd4e","pc:0xf6a","pc:0x1276","pc:0x135d","pc:0x155b","pc:0x17fd","pc:0x187e"]},{"severity":"low","category":"other","title":"SELFDESTRUCT opcode present; reachability unclear","exploit_scenario":"If a callable path reaches SELFDESTRUCT, an attacker or compromised admin could permanently destroy the contract and redirect remaining ETH to a beneficiary. The detector could not confirm a reachable sink, so this remains uncertain.","recommendation":"Remove SELFDESTRUCT if not strictly required, or tightly gate it with robust access control and time delays. Consider a kill-switch pattern without SELFDESTRUCT if funds must remain recoverable.","evidence":"Heuristics flagged a SELFDESTRUCT opcode (count: 1); detector could not validate a concrete sink path.","locations":["pc:unknown"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-pzjrmuvz
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019babe9-4e25-75e2-8282-c1364c8f1d9e
--------
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
**Locating BYTECODE_BUNDLE.json file**
exec
/bin/bash -lc ls in /tmp/codex-pzjrmuvz succeeded in 5ms:
BYTECODE_BUNDLE.json
codex-output-schema.json
exec
/bin/bash -lc 'cat BYTECODE_BUNDLE.json' in /tmp/codex-pzjrmuvz succeeded in 7ms:
{
"analysis_artifact": {
"address": "0x2cac6e4b11d6b58f6d3c1c9d5fe8faa89f60e5a2",
"artifact_hash": "0x59f455fbf819bae483dd9298daa1e6b4a5194701576d83174e1c2f5cfc081337",
"artifact_json": {
"auth": {
"guards": [
{
"pc": 398,
"type": "tx_origin_used"
},
{
"pc": 948,
"type": "tx_origin_used"
},
{
"pc": 1106,
"type": "tx_origin_used"
},
{
thinking
**Analyzing detector findings for JSON schema**
I'm working through the detector findings from the bytecode bundle to create a conservative JSON schema summarizing three main issues: tx.origin-based authorization (auth), untrusted external CALL with value (reentrancy/other), and a potentially reachable SELFDESTRUCT (other). I’m carefully weighing severity levels with uncertainty and preparing evidence in hex-formatted program counters for each finding, while noting no delegatecall or upgradeability concerns. This summary will capture key risks, recommendations, and the limits of our analysis given bytecode-only data.
codex
{"no_findings":false,"summary":"Bytecode-only review indicates tx.origin-based authorization checks, multiple computed external CALLs that can transfer ETH, and a SELFDESTRUCT opcode that may be reachable; all findings are based on heuristics and should be treated with uncertainty.","findings":[{"severity":"medium","category":"auth","title":"Authorization uses tx.origin (phishable / bypassable via intermediary contracts)","exploit_scenario":"If privileged checks rely on `tx.origin`, a malicious contract can trick the authorized EOA into calling it and then invoke the privileged function with `tx.origin` preserved, bypassing intended access control. This is inferred from multiple tx.origin guard sites and may not cover all paths.","recommendation":"Replace tx.origin-based checks with msg.sender-based role checks (e.g., owner/role mappings). If EOA-only behavior is intended, use EIP-1271 or explicit signature checks instead of tx.origin.","evidence":"Detector flagged multiple tx.origin guard sites (no sink mapping). Bytecode guards detected at several PCs indicating tx.origin is used in authorization logic.","locations":["pc:0x18e","pc:0x3b4","pc:0x452","pc:0x5bc","pc:0x603","pc:0x66f","pc:0x71e","pc:0x9ec","pc:0xbc1","pc:0xdb2","pc:0xf84","pc:0x129f","pc:0x14db"]},{"severity":"medium","category":"other","title":"Computed external CALLs with ETH value; potential arbitrary call/value transfers and reentrancy risk","exploit_scenario":"The contract performs many external CALLs where the target and/or value appear computed. If any of these parameters are influenced by user input or mutable storage, an attacker could direct ETH to arbitrary addresses or invoke untrusted contracts that reenter into this contract. Bytecode-only analysis cannot confirm gating or state-update order.","recommendation":"Restrict call targets and value via allowlists or immutable config, apply checks-effects-interactions and/or a reentrancy guard around external calls, and verify/handle CALL return data explicitly.","evidence":"Detector confirmed 37 CALL sites with computed targets and possible nonzero value; validation indicates targets can vary. Return-data checking is unknown.","locations":["pc:0x1c2","pc:0x260","pc:0x2c8","pc:0x3e0","pc:0x486","pc:0x68d","pc:0x757","pc:0x8b9","pc:0x9ad","pc:0xa2d","pc:0xace","pc:0xb93","pc:0xd4e","pc:0xf6a","pc:0x1276","pc:0x135d","pc:0x155b","pc:0x17fd","pc:0x187e"]},{"severity":"low","category":"other","title":"SELFDESTRUCT opcode present; reachability unclear","exploit_scenario":"If a callable path reaches SELFDESTRUCT, an attacker or compromised admin could permanently destroy the contract and redirect remaining ETH to a beneficiary. The detector could not confirm a reachable sink, so this remains uncertain.","recommendation":"Remove SELFDESTRUCT if not strictly required, or tightly gate it with robust access control and time delays. Consider a kill-switch pattern without SELFDESTRUCT if funds must remain recoverable.","evidence":"Heuristics flagged a SELFDESTRUCT opcode (count: 1); detector could not validate a concrete sink path.","locations":["pc:unknown"]}]}
tokens used
19,218
{
"codex": {
"ran_at": "2026-01-11T07:16:34.776520+00:00",
"returncode": 0
},
"project": {
"mode": "bytecode",
"bytecode_length": 13172,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": "Bytecode-only review indicates tx.origin-based authorization checks, multiple computed external CALLs that can transfer ETH, and a SELFDESTRUCT opcode that may be reachable; all findings are based on heuristics and should be treated with uncertainty.",
"raw_final": {
"summary": "Bytecode-only review indicates tx.origin-based authorization checks, multiple computed external CALLs that can transfer ETH, and a SELFDESTRUCT opcode that may be reachable; all findings are based on heuristics and should be treated with uncertainty.",
"findings": [
{
"title": "Authorization uses tx.origin (phishable / bypassable via intermediary contracts)",
"category": "auth",
"evidence": "Detector flagged multiple tx.origin guard sites (no sink mapping). Bytecode guards detected at several PCs indicating tx.origin is used in authorization logic.",
"severity": "medium",
"locations": [
"pc:0x18e",
"pc:0x3b4",
"pc:0x452",
"pc:0x5bc",
"pc:0x603",
"pc:0x66f",
"pc:0x71e",
"pc:0x9ec",
"pc:0xbc1",
"pc:0xdb2",
"pc:0xf84",
"pc:0x129f",
"pc:0x14db"
],
"recommendation": "Replace tx.origin-based checks with msg.sender-based role checks (e.g., owner/role mappings). If EOA-only behavior is intended, use EIP-1271 or explicit signature checks instead of tx.origin.",
"exploit_scenario": "If privileged checks rely on `tx.origin`, a malicious contract can trick the authorized EOA into calling it and then invoke the privileged function with `tx.origin` preserved, bypassing intended access control. This is inferred from multiple tx.origin guard sites and may not cover all paths."
},
{
"title": "Computed external CALLs with ETH value; potential arbitrary call/value transfers and reentrancy risk",
"category": "other",
"evidence": "Detector confirmed 37 CALL sites with computed targets and possible nonzero value; validation indicates targets can vary. Return-data checking is unknown.",
"severity": "medium",
"locations": [
"pc:0x1c2",
"pc:0x260",
"pc:0x2c8",
"pc:0x3e0",
"pc:0x486",
"pc:0x68d",
"pc:0x757",
"pc:0x8b9",
"pc:0x9ad",
"pc:0xa2d",
"pc:0xace",
"pc:0xb93",
"pc:0xd4e",
"pc:0xf6a",
"pc:0x1276",
"pc:0x135d",
"pc:0x155b",
"pc:0x17fd",
"pc:0x187e"
],
"recommendation": "Restrict call targets and value via allowlists or immutable config, apply checks-effects-interactions and/or a reentrancy guard around external calls, and verify/handle CALL return data explicitly.",
"exploit_scenario": "The contract performs many external CALLs where the target and/or value appear computed. If any of these parameters are influenced by user input or mutable storage, an attacker could direct ETH to arbitrary addresses or invoke untrusted contracts that reenter into this contract. Bytecode-only analysis cannot confirm gating or state-update order."
},
{
"title": "SELFDESTRUCT opcode present; reachability unclear",
"category": "other",
"evidence": "Heuristics flagged a SELFDESTRUCT opcode (count: 1); detector could not validate a concrete sink path.",
"severity": "low",
"locations": [
"pc:unknown"
],
"recommendation": "Remove SELFDESTRUCT if not strictly required, or tightly gate it with robust access control and time delays. Consider a kill-switch pattern without SELFDESTRUCT if funds must remain recoverable.",
"exploit_scenario": "If a callable path reaches SELFDESTRUCT, an attacker or compromised admin could permanently destroy the contract and redirect remaining ETH to a beneficiary. The detector could not confirm a reachable sink, so this remains uncertain."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x015e 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x021b03b9 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0160 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0cd40fea 00000025: EQ 00000026: PUSH2 0x02d5 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1d2ae79c 00000030: EQ 00000031: PUSH2 0x02dd 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x21c03a97 0000003b: EQ 0000003c: PUSH2 0x0383 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2cb0d48a 00000046: EQ 00000047: PUSH2 0x0427 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x32454dbb 00000051: EQ 00000052: PUSH2 0x04a8 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x3c06ae68 0000005c: EQ 0000005d: PUSH2 0x04be 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x41c0e1b5 00000067: EQ 00000068: PUSH2 0x0594 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4fb764c9 00000072: EQ 00000073: PUSH2 0x060e 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x56a060a2 0000007d: EQ 0000007e: PUSH2 0x0620 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x5d0e6672 00000088: EQ 00000089: PUSH2 0x0633 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x5da05e2e 00000093: EQ 00000094: PUSH2 0x063e 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x6a751710 0000009e: EQ 0000009f: PUSH2 0x0700 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x72883492 000000a9: EQ 000000aa: PUSH2 0x0849 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x76ad3abf 000000b4: EQ 000000b5: PUSH2 0x09ba 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x7a9e5410 000000bf: EQ 000000c0: PUSH2 0x0ad0 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x7fb106a9 000000ca: EQ 000000cb: PUSH2 0x0ad8 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x825db5f7 000000d5: EQ 000000d6: PUSH2 0x0b85 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x87a65513 000000e0: EQ 000000e1: PUSH2 0x0b8d 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x9d0f8763 000000eb: EQ 000000ec: PUSH2 0x0ba3 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x9d45d077 000000f6: EQ 000000f7: PUSH2 0x0c82 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xa51687df 00000101: EQ 00000102: PUSH2 0x0d4b 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa5de3619 0000010c: EQ 0000010d: PUSH2 0x0d62 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xb4da4e37 00000117: EQ 00000118: PUSH2 0x0d74 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xdb85bd78 00000122: EQ 00000123: PUSH2 0x0d80 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xdbff4182 0000012d: EQ 0000012e: PUSH2 0x0f0a 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xddbdf242 00000138: EQ 00000139: PUSH2 0x11cc 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe35ca326 00000143: EQ 00000144: PUSH2 0x11de 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf04fd2f3 0000014e: EQ 0000014f: PUSH2 0x1338 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xf147ddfa 00000159: EQ 0000015a: PUSH2 0x14a6 0000015d: JUMPI 0000015e: JUMPDEST 0000015f: STOP 00000160: JUMPDEST 00000161: PUSH2 0x015e 00000164: PUSH1 0x04 00000166: CALLDATALOAD 00000167: PUSH1 0x24 00000169: CALLDATALOAD 0000016a: PUSH1 0x00 0000016c: PUSH1 0x01 0000016e: SWAP1 0000016f: SLOAD 00000170: SWAP1 00000171: PUSH2 0x0100 00000174: EXP 00000175: SWAP1 00000176: DIV 00000177: PUSH1 0x01 00000179: PUSH1 0xa0 0000017b: PUSH1 0x02 0000017d: EXP 0000017e: SUB 0000017f: AND 00000180: PUSH1 0x01 00000182: PUSH1 0xa0 00000184: PUSH1 0x02 00000186: EXP 00000187: SUB 00000188: AND 00000189: PUSH4 0x3ca8b002 0000018e: ORIGIN 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: DUP3 00000193: PUSH1 0xe0 00000195: PUSH1 0x02 00000197: EXP 00000198: MUL 00000199: DUP2 0000019a: MSTORE 0000019b: PUSH1 0x04 0000019d: ADD 0000019e: DUP1 0000019f: DUP3 000001a0: PUSH1 0x01 000001a2: PUSH1 0xa0 000001a4: PUSH1 0x02 000001a6: EXP 000001a7: SUB 000001a8: AND 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: POP 000001b1: PUSH1 0x20 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: DUP4 000001b8: SUB 000001b9: DUP2 000001ba: PUSH1 0x00 000001bc: DUP8 000001bd: PUSH2 0x61da 000001c0: GAS 000001c1: SUB 000001c2: CALL 000001c3: ISZERO 000001c4: PUSH2 0x0002 000001c7: JUMPI 000001c8: POP 000001c9: POP 000001ca: PUSH1 0x40 000001cc: MLOAD 000001cd: MLOAD 000001ce: ISZERO 000001cf: SWAP1 000001d0: POP 000001d1: PUSH2 0x02d1 000001d4: JUMPI 000001d5: PUSH1 0x40 000001d7: DUP1 000001d8: MLOAD 000001d9: PUSH1 0x02 000001db: DUP1 000001dc: SLOAD 000001dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f2: NOT 000001f3: SWAP1 000001f4: DUP2 000001f5: AND 000001f6: DUP7 000001f7: OR 000001f8: SWAP2 000001f9: DUP3 000001fa: SWAP1 000001fb: SSTORE 000001fc: PUSH1 0x03 000001fe: DUP1 000001ff: SLOAD 00000200: SWAP2 00000201: SWAP1 00000202: SWAP2 00000203: AND 00000204: DUP6 00000205: OR 00000206: SWAP1 00000207: DUP2 00000208: SWAP1 00000209: SSTORE 0000020a: PUSH32 0xa283f90700000000000000000000000000000000000000000000000000000000 0000022b: DUP4 0000022c: MSTORE 0000022d: PUSH1 0x01 0000022f: PUSH1 0xa0 00000231: PUSH1 0x02 00000233: EXP 00000234: SUB 00000235: SWAP1 00000236: DUP2 00000237: AND 00000238: PUSH1 0x04 0000023a: DUP5 0000023b: ADD 0000023c: MSTORE 0000023d: SWAP3 0000023e: MLOAD 0000023f: SWAP3 00000240: AND 00000241: SWAP2 00000242: PUSH4 0xa283f907 00000247: SWAP2 00000248: PUSH1 0x24 0000024a: DUP2 0000024b: DUP2 0000024c: ADD 0000024d: SWAP3 0000024e: PUSH1 0x00 00000250: SWAP3 00000251: SWAP1 00000252: SWAP2 00000253: SWAP1 00000254: DUP3 00000255: SWAP1 00000256: SUB 00000257: ADD 00000258: DUP2 00000259: DUP4 0000025a: DUP8 0000025b: PUSH2 0x61da 0000025e: GAS 0000025f: SUB 00000260: CALL 00000261: ISZERO 00000262: PUSH2 0x0002 00000265: JUMPI 00000266: POP 00000267: POP 00000268: PUSH1 0x40 0000026a: DUP1 0000026b: MLOAD 0000026c: PUSH1 0x02 0000026e: SLOAD 0000026f: PUSH1 0x03 00000271: SLOAD 00000272: PUSH32 0x54c3539100000000000000000000000000000000000000000000000000000000 00000293: DUP4 00000294: MSTORE 00000295: PUSH1 0x01 00000297: PUSH1 0xa0 00000299: PUSH1 0x02 0000029b: EXP 0000029c: SUB 0000029d: SWAP2 0000029e: DUP3 0000029f: AND 000002a0: PUSH1 0x04 000002a2: DUP5 000002a3: ADD 000002a4: MSTORE 000002a5: SWAP3 000002a6: MLOAD 000002a7: SWAP3 000002a8: AND 000002a9: SWAP3 000002aa: POP 000002ab: PUSH4 0x54c35391 000002b0: SWAP2 000002b1: PUSH1 0x24 000002b3: DUP3 000002b4: DUP2 000002b5: ADD 000002b6: SWAP3 000002b7: PUSH1 0x00 000002b9: SWAP3 000002ba: SWAP2 000002bb: SWAP1 000002bc: DUP3 000002bd: SWAP1 000002be: SUB 000002bf: ADD 000002c0: DUP2 000002c1: DUP4 000002c2: DUP8 000002c3: PUSH2 0x61da 000002c6: GAS 000002c7: SUB 000002c8: CALL 000002c9: ISZERO 000002ca: PUSH2 0x0002 000002cd: JUMPI 000002ce: POP 000002cf: POP 000002d0: POP 000002d1: JUMPDEST 000002d2: POP 000002d3: POP 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH2 0x1633 000002d9: PUSH1 0x01 000002db: DUP2 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH2 0x015e 000002e1: PUSH1 0x04 000002e3: CALLDATALOAD 000002e4: PUSH1 0x24 000002e6: CALLDATALOAD 000002e7: PUSH1 0x44 000002e9: CALLDATALOAD 000002ea: PUSH1 0x64 000002ec: CALLDATALOAD 000002ed: PUSH1 0x84 000002ef: CALLDATALOAD 000002f0: PUSH1 0xa4 000002f2: CALLDATALOAD 000002f3: PUSH1 0xc4 000002f5: CALLDATALOAD 000002f6: PUSH1 0xe4 000002f8: CALLDATALOAD 000002f9: PUSH1 0x03 000002fb: SLOAD 000002fc: PUSH1 0x01 000002fe: PUSH1 0xa0 00000300: PUSH1 0x02 00000302: EXP 00000303: SUB 00000304: SWAP1 00000305: DUP2 00000306: AND 00000307: CALLER 00000308: SWAP1 00000309: SWAP2 0000030a: AND 0000030b: EQ 0000030c: ISZERO 0000030d: PUSH2 0x1778 00000310: JUMPI 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x170f 00000316: JUMPI 00000317: PUSH1 0x40 00000319: DUP1 0000031a: MLOAD 0000031b: PUSH1 0x01 0000031d: PUSH1 0xa0 0000031f: PUSH1 0x02 00000321: EXP 00000322: SUB 00000323: DUP11 00000324: AND 00000325: DUP2 00000326: MSTORE 00000327: PUSH1 0x20 00000329: DUP2 0000032a: ADD 0000032b: DUP10 0000032c: SWAP1 0000032d: MSTORE 0000032e: DUP1 0000032f: DUP3 00000330: ADD 00000331: DUP9 00000332: SWAP1 00000333: MSTORE 00000334: PUSH1 0x60 00000336: DUP2 00000337: ADD 00000338: DUP8 00000339: SWAP1 0000033a: MSTORE 0000033b: PUSH1 0x80 0000033d: DUP2 0000033e: ADD 0000033f: DUP7 00000340: SWAP1 00000341: MSTORE 00000342: PUSH1 0xa0 00000344: DUP2 00000345: ADD 00000346: DUP6 00000347: SWAP1 00000348: MSTORE 00000349: PUSH1 0x13 0000034b: DUP5 0000034c: SWAP1 0000034d: SIGNEXTEND 0000034e: PUSH1 0xc0 00000350: DUP3 00000351: ADD 00000352: MSTORE 00000353: SWAP1 00000354: MLOAD 00000355: PUSH32 0x76c456d0bcda16cea720809b0d48e30fd6194034d72b81ecec74eac8933b2028 00000376: SWAP2 00000377: DUP2 00000378: SWAP1 00000379: SUB 0000037a: PUSH1 0xe0 0000037c: ADD 0000037d: SWAP1 0000037e: LOG1 0000037f: PUSH2 0x1778 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH2 0x015e 00000387: PUSH1 0x04 00000389: CALLDATALOAD 0000038a: PUSH1 0x00 0000038c: SLOAD 0000038d: PUSH1 0xff 0000038f: AND 00000390: PUSH1 0x01 00000392: EQ 00000393: ISZERO 00000394: PUSH2 0x04a5 00000397: JUMPI 00000398: PUSH1 0x40 0000039a: DUP1 0000039b: MLOAD 0000039c: PUSH1 0x01 0000039e: SLOAD 0000039f: PUSH1 0xe2 000003a1: PUSH1 0x02 000003a3: EXP 000003a4: PUSH4 0x0935e01b 000003a9: MUL 000003aa: DUP3 000003ab: MSTORE 000003ac: PUSH1 0x01 000003ae: PUSH1 0xa0 000003b0: PUSH1 0x02 000003b2: EXP 000003b3: SUB 000003b4: ORIGIN 000003b5: DUP2 000003b6: AND 000003b7: PUSH1 0x04 000003b9: DUP5 000003ba: ADD 000003bb: MSTORE 000003bc: SWAP3 000003bd: MLOAD 000003be: SWAP3 000003bf: AND 000003c0: SWAP2 000003c1: PUSH4 0x24d7806c 000003c6: SWAP2 000003c7: PUSH1 0x24 000003c9: DUP2 000003ca: DUP2 000003cb: ADD 000003cc: SWAP3 000003cd: PUSH1 0x20 000003cf: SWAP3 000003d0: SWAP1 000003d1: SWAP2 000003d2: SWAP1 000003d3: DUP3 000003d4: SWAP1 000003d5: SUB 000003d6: ADD 000003d7: DUP2 000003d8: PUSH1 0x00 000003da: DUP8 000003db: PUSH2 0x61da 000003de: GAS 000003df: SUB 000003e0: CALL 000003e1: ISZERO 000003e2: PUSH2 0x0002 000003e5: JUMPI 000003e6: POP 000003e7: POP 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: MLOAD 000003ec: ISZERO 000003ed: SWAP1 000003ee: POP 000003ef: PUSH2 0x04a5 000003f2: JUMPI 000003f3: PUSH1 0x03 000003f5: DUP1 000003f6: SLOAD 000003f7: PUSH1 0xe0 000003f9: PUSH1 0x02 000003fb: EXP 000003fc: DUP4 000003fd: MUL 000003fe: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000041f: SWAP1 00000420: SWAP2 00000421: AND 00000422: OR 00000423: SWAP1 00000424: SSTORE 00000425: POP 00000426: JUMP 00000427: JUMPDEST 00000428: PUSH2 0x015e 0000042b: PUSH1 0x04 0000042d: CALLDATALOAD 0000042e: PUSH1 0x00 00000430: PUSH1 0x01 00000432: SWAP1 00000433: SLOAD 00000434: SWAP1 00000435: PUSH2 0x0100 00000438: EXP 00000439: SWAP1 0000043a: DIV 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: PUSH1 0x02 00000441: EXP 00000442: SUB 00000443: AND 00000444: PUSH1 0x01 00000446: PUSH1 0xa0 00000448: PUSH1 0x02 0000044a: EXP 0000044b: SUB 0000044c: AND 0000044d: PUSH4 0x3ca8b002 00000452: ORIGIN 00000453: PUSH1 0x40 00000455: MLOAD 00000456: DUP3 00000457: PUSH1 0xe0 00000459: PUSH1 0x02 0000045b: EXP 0000045c: MUL 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x04 00000461: ADD 00000462: DUP1 00000463: DUP3 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: PUSH1 0x02 0000046a: EXP 0000046b: SUB 0000046c: AND 0000046d: DUP2 0000046e: MSTORE 0000046f: PUSH1 0x20 00000471: ADD 00000472: SWAP2 00000473: POP 00000474: POP 00000475: PUSH1 0x20 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: DUP4 0000047c: SUB 0000047d: DUP2 0000047e: PUSH1 0x00 00000480: DUP8 00000481: PUSH2 0x61da 00000484: GAS 00000485: SUB 00000486: CALL 00000487: ISZERO 00000488: PUSH2 0x0002 0000048b: JUMPI 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: MLOAD 00000492: ISZERO 00000493: SWAP1 00000494: POP 00000495: PUSH2 0x04a5 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: SLOAD 0000049d: PUSH1 0xff 0000049f: NOT 000004a0: AND 000004a1: DUP3 000004a2: OR 000004a3: SWAP1 000004a4: SSTORE 000004a5: JUMPDEST 000004a6: POP 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH2 0x164a 000004ac: PUSH1 0x03 000004ae: SLOAD 000004af: PUSH1 0xc0 000004b1: PUSH1 0x02 000004b3: EXP 000004b4: SWAP1 000004b5: DIV 000004b6: PUSH4 0xffffffff 000004bb: AND 000004bc: DUP2 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH2 0x015e 000004c2: PUSH1 0x04 000004c4: CALLDATALOAD 000004c5: PUSH1 0x24 000004c7: CALLDATALOAD 000004c8: PUSH1 0x44 000004ca: CALLDATALOAD 000004cb: PUSH1 0x64 000004cd: CALLDATALOAD 000004ce: PUSH1 0x84 000004d0: CALLDATALOAD 000004d1: PUSH1 0xa4 000004d3: CALLDATALOAD 000004d4: PUSH1 0xc4 000004d6: CALLDATALOAD 000004d7: PUSH1 0xe4 000004d9: CALLDATALOAD 000004da: PUSH2 0x0104 000004dd: CALLDATALOAD 000004de: PUSH2 0x0124 000004e1: CALLDATALOAD 000004e2: PUSH2 0x0144 000004e5: CALLDATALOAD 000004e6: PUSH1 0x03 000004e8: SLOAD 000004e9: PUSH1 0x01 000004eb: PUSH1 0xa0 000004ed: PUSH1 0x02 000004ef: EXP 000004f0: SUB 000004f1: SWAP1 000004f2: DUP2 000004f3: AND 000004f4: CALLER 000004f5: SWAP1 000004f6: SWAP2 000004f7: AND 000004f8: EQ 000004f9: ISZERO 000004fa: PUSH2 0x0587 000004fd: JUMPI 000004fe: PUSH1 0x40 00000500: DUP1 00000501: MLOAD 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: PUSH1 0x02 00000508: EXP 00000509: SUB 0000050a: DUP13 0000050b: DUP2 0000050c: AND 0000050d: DUP3 0000050e: MSTORE 0000050f: DUP14 00000510: AND 00000511: PUSH1 0x20 00000513: DUP3 00000514: ADD 00000515: MSTORE 00000516: DUP1 00000517: DUP3 00000518: ADD 00000519: DUP12 0000051a: SWAP1 0000051b: MSTORE 0000051c: PUSH1 0x60 0000051e: DUP2 0000051f: ADD 00000520: DUP11 00000521: SWAP1 00000522: MSTORE 00000523: PUSH1 0x80 00000525: DUP2 00000526: ADD 00000527: DUP10 00000528: SWAP1 00000529: MSTORE 0000052a: PUSH1 0xa0 0000052c: DUP2 0000052d: ADD 0000052e: DUP9 0000052f: SWAP1 00000530: MSTORE 00000531: PUSH1 0xc0 00000533: DUP2 00000534: ADD 00000535: DUP8 00000536: SWAP1 00000537: MSTORE 00000538: PUSH1 0xe0 0000053a: DUP2 0000053b: ADD 0000053c: DUP7 0000053d: SWAP1 0000053e: MSTORE 0000053f: PUSH2 0x0100 00000542: DUP2 00000543: ADD 00000544: DUP6 00000545: SWAP1 00000546: MSTORE 00000547: PUSH2 0x0120 0000054a: DUP2 0000054b: ADD 0000054c: DUP5 0000054d: SWAP1 0000054e: MSTORE 0000054f: PUSH1 0x13 00000551: DUP4 00000552: SWAP1 00000553: SIGNEXTEND 00000554: PUSH2 0x0140 00000557: DUP3 00000558: ADD 00000559: MSTORE 0000055a: SWAP1 0000055b: MLOAD 0000055c: PUSH32 0x61a43b8785d66f3a53c7b8ab814b4c2e4ff15a1a6f8d24d08818e1f426e13906 0000057d: SWAP2 0000057e: DUP2 0000057f: SWAP1 00000580: SUB 00000581: PUSH2 0x0160 00000584: ADD 00000585: SWAP1 00000586: LOG1 00000587: JUMPDEST 00000588: POP 00000589: POP 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: POP 0000058e: POP 0000058f: POP 00000590: POP 00000591: POP 00000592: POP 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH2 0x015e 00000598: PUSH1 0x00 0000059a: PUSH1 0x01 0000059c: SWAP1 0000059d: SLOAD 0000059e: SWAP1 0000059f: PUSH2 0x0100 000005a2: EXP 000005a3: SWAP1 000005a4: DIV 000005a5: PUSH1 0x01 000005a7: PUSH1 0xa0 000005a9: PUSH1 0x02 000005ab: EXP 000005ac: SUB 000005ad: AND 000005ae: PUSH1 0x01 000005b0: PUSH1 0xa0 000005b2: PUSH1 0x02 000005b4: EXP 000005b5: SUB 000005b6: AND 000005b7: PUSH4 0x3ca8b002 000005bc: ORIGIN 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: DUP3 000005c1: PUSH1 0xe0 000005c3: PUSH1 0x02 000005c5: EXP 000005c6: MUL 000005c7: DUP2 000005c8: MSTORE 000005c9: PUSH1 0x04 000005cb: ADD 000005cc: DUP1 000005cd: DUP3 000005ce: PUSH1 0x01 000005d0: PUSH1 0xa0 000005d2: PUSH1 0x02 000005d4: EXP 000005d5: SUB 000005d6: AND 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: ADD 000005dc: SWAP2 000005dd: POP 000005de: POP 000005df: PUSH1 0x20 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: DUP1 000005e5: DUP4 000005e6: SUB 000005e7: DUP2 000005e8: PUSH1 0x00 000005ea: DUP8 000005eb: PUSH2 0x61da 000005ee: GAS 000005ef: SUB 000005f0: CALL 000005f1: ISZERO 000005f2: PUSH2 0x0002 000005f5: JUMPI 000005f6: POP 000005f7: POP 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: MLOAD 000005fc: ISZERO 000005fd: SWAP1 000005fe: POP 000005ff: PUSH2 0x1782 00000602: JUMPI 00000603: ORIGIN 00000604: PUSH1 0x01 00000606: PUSH1 0xa0 00000608: PUSH1 0x02 0000060a: EXP 0000060b: SUB 0000060c: AND 0000060d: SELFDESTRUCT 0000060e: JUMPDEST 0000060f: PUSH2 0x1664 00000612: PUSH1 0x03 00000614: SLOAD 00000615: PUSH1 0x01 00000617: PUSH1 0xa0 00000619: PUSH1 0x02 0000061b: EXP 0000061c: SUB 0000061d: AND 0000061e: DUP2 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH2 0x1681 00000624: PUSH1 0x03 00000626: SLOAD 00000627: PUSH1 0xe0 00000629: PUSH1 0x02 0000062b: EXP 0000062c: SWAP1 0000062d: DIV 0000062e: PUSH1 0xff 00000630: AND 00000631: DUP2 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH2 0x164a 00000637: PUSH4 0x047868c0 0000063c: DUP2 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH2 0x015e 00000642: PUSH1 0x04 00000644: CALLDATALOAD 00000645: PUSH1 0x00 00000647: SLOAD 00000648: PUSH1 0xff 0000064a: AND 0000064b: PUSH1 0x01 0000064d: EQ 0000064e: ISZERO 0000064f: PUSH2 0x04a5 00000652: JUMPI 00000653: PUSH1 0x40 00000655: DUP1 00000656: MLOAD 00000657: PUSH1 0x01 00000659: SLOAD 0000065a: PUSH1 0xe2 0000065c: PUSH1 0x02 0000065e: EXP 0000065f: PUSH4 0x0935e01b 00000664: MUL 00000665: DUP3 00000666: MSTORE 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: PUSH1 0x02 0000066d: EXP 0000066e: SUB 0000066f: ORIGIN 00000670: DUP2 00000671: AND 00000672: PUSH1 0x04 00000674: DUP5 00000675: ADD 00000676: MSTORE 00000677: SWAP3 00000678: MLOAD 00000679: SWAP3 0000067a: AND 0000067b: SWAP2 0000067c: PUSH4 0x24d7806c 00000681: SWAP2 00000682: PUSH1 0x24 00000684: DUP2 00000685: DUP2 00000686: ADD 00000687: SWAP3 00000688: PUSH1 0x20 0000068a: SWAP3 0000068b: SWAP1 0000068c: SWAP2 0000068d: SWAP1 0000068e: DUP3 0000068f: SWAP1 00000690: SUB 00000691: ADD 00000692: DUP2 00000693: PUSH1 0x00 00000695: DUP8 00000696: PUSH2 0x61da 00000699: GAS 0000069a: SUB 0000069b: CALL 0000069c: ISZERO 0000069d: PUSH2 0x0002 000006a0: JUMPI 000006a1: POP 000006a2: POP 000006a3: PUSH1 0x40 000006a5: MLOAD 000006a6: MLOAD 000006a7: ISZERO 000006a8: SWAP1 000006a9: POP 000006aa: PUSH2 0x04a5 000006ad: JUMPI 000006ae: PUSH1 0x00 000006b0: DUP2 000006b1: PUSH4 0xffffffff 000006b6: AND 000006b7: GT 000006b8: DUP1 000006b9: ISZERO 000006ba: PUSH2 0x06cd 000006bd: JUMPI 000006be: POP 000006bf: PUSH4 0x047868c0 000006c4: PUSH4 0xffffffff 000006c9: DUP3 000006ca: AND 000006cb: GT 000006cc: ISZERO 000006cd: JUMPDEST 000006ce: ISZERO 000006cf: PUSH2 0x04a5 000006d2: JUMPI 000006d3: PUSH1 0x03 000006d5: DUP1 000006d6: SLOAD 000006d7: PUSH1 0xa0 000006d9: PUSH1 0x02 000006db: EXP 000006dc: DUP4 000006dd: MUL 000006de: PUSH24 0xffffffff0000000000000000000000000000000000000000 000006f7: NOT 000006f8: SWAP1 000006f9: SWAP2 000006fa: AND 000006fb: OR 000006fc: SWAP1 000006fd: SSTORE 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH2 0x015e 00000704: PUSH1 0x04 00000706: CALLDATALOAD 00000707: PUSH1 0x24 00000709: CALLDATALOAD 0000070a: PUSH1 0x01 0000070c: SLOAD 0000070d: PUSH1 0x40 0000070f: DUP1 00000710: MLOAD 00000711: PUSH1 0xe2 00000713: PUSH1 0x02 00000715: EXP 00000716: PUSH4 0x0935e01b 0000071b: MUL 0000071c: DUP2 0000071d: MSTORE 0000071e: ORIGIN 0000071f: PUSH1 0x01 00000721: PUSH1 0xa0 00000723: PUSH1 0x02 00000725: EXP 00000726: SUB 00000727: SWAP1 00000728: DUP2 00000729: AND 0000072a: PUSH1 0x04 0000072c: DUP4 0000072d: ADD 0000072e: MSTORE 0000072f: SWAP2 00000730: MLOAD 00000731: PUSH1 0x00 00000733: SWAP4 00000734: DUP5 00000735: SWAP4 00000736: AND 00000737: SWAP2 00000738: PUSH4 0x24d7806c 0000073d: SWAP2 0000073e: PUSH1 0x24 00000740: DUP3 00000741: DUP2 00000742: ADD 00000743: SWAP3 00000744: PUSH1 0x20 00000746: SWAP3 00000747: SWAP2 00000748: SWAP1 00000749: DUP3 0000074a: SWAP1 0000074b: SUB 0000074c: ADD 0000074d: DUP2 0000074e: DUP8 0000074f: DUP8 00000750: PUSH2 0x61da 00000753: GAS 00000754: SUB 00000755: CALL 00000756: ISZERO 00000757: PUSH2 0x0002 0000075a: JUMPI 0000075b: POP 0000075c: POP 0000075d: PUSH1 0x40 0000075f: MLOAD 00000760: MLOAD 00000761: ISZERO 00000762: SWAP1 00000763: POP 00000764: PUSH2 0x11c6 00000767: JUMPI 00000768: DUP1 00000769: SLOAD 0000076a: PUSH1 0xff 0000076c: AND 0000076d: PUSH1 0x01 0000076f: EQ 00000770: ISZERO 00000771: PUSH2 0x11c6 00000774: JUMPI 00000775: PUSH1 0x40 00000777: DUP1 00000778: MLOAD 00000779: PUSH1 0x02 0000077b: SLOAD 0000077c: PUSH1 0xe3 0000077e: PUSH1 0x02 00000780: EXP 00000781: PUSH4 0x0bb7c8fd 00000786: MUL 00000787: DUP3 00000788: MSTORE 00000789: PUSH1 0x01 0000078b: PUSH1 0xa0 0000078d: PUSH1 0x02 0000078f: EXP 00000790: SUB 00000791: DUP8 00000792: DUP2 00000793: AND 00000794: PUSH1 0x04 00000796: DUP5 00000797: ADD 00000798: MSTORE 00000799: SWAP3 0000079a: MLOAD 0000079b: SWAP3 0000079c: AND 0000079d: SWAP2 0000079e: PUSH4 0x5dbe47e8 000007a3: SWAP2 000007a4: PUSH1 0x24 000007a6: DUP2 000007a7: DUP2 000007a8: ADD 000007a9: SWAP3 000007aa: PUSH1 0x20 000007ac: SWAP3 000007ad: SWAP1 000007ae: SWAP2 000007af: SWAP1 000007b0: DUP3 000007b1: SWAP1 000007b2: SUB 000007b3: ADD 000007b4: DUP2 000007b5: DUP8 000007b6: DUP8 000007b7: PUSH2 0x61da 000007ba: GAS 000007bb: SUB 000007bc: CALL 000007bd: ISZERO 000007be: PUSH2 0x0002 000007c1: JUMPI 000007c2: POP 000007c3: POP 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: MLOAD 000007c8: SWAP1 000007c9: POP 000007ca: DUP1 000007cb: ISZERO 000007cc: PUSH2 0x07df 000007cf: JUMPI 000007d0: POP 000007d1: DUP3 000007d2: PUSH1 0x01 000007d4: PUSH1 0xa0 000007d6: PUSH1 0x02 000007d8: EXP 000007d9: SUB 000007da: AND 000007db: PUSH1 0x00 000007dd: EQ 000007de: ISZERO 000007df: JUMPDEST 000007e0: ISZERO 000007e1: PUSH2 0x11c6 000007e4: JUMPI 000007e5: PUSH1 0x40 000007e7: DUP1 000007e8: MLOAD 000007e9: PUSH1 0x02 000007eb: SLOAD 000007ec: PUSH1 0xe3 000007ee: PUSH1 0x02 000007f0: EXP 000007f1: PUSH4 0x0bb7c8fd 000007f6: MUL 000007f7: DUP3 000007f8: MSTORE 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: PUSH1 0x02 000007ff: EXP 00000800: SUB 00000801: DUP7 00000802: DUP2 00000803: AND 00000804: PUSH1 0x04 00000806: DUP5 00000807: ADD 00000808: MSTORE 00000809: SWAP3 0000080a: MLOAD 0000080b: SWAP3 0000080c: AND 0000080d: SWAP2 0000080e: PUSH4 0x5dbe47e8 00000813: SWAP2 00000814: PUSH1 0x24 00000816: DUP2 00000817: DUP2 00000818: ADD 00000819: SWAP3 0000081a: PUSH1 0x20 0000081c: SWAP3 0000081d: SWAP1 0000081e: SWAP2 0000081f: SWAP1 00000820: DUP3 00000821: SWAP1 00000822: SUB 00000823: ADD 00000824: DUP2 00000825: PUSH1 0x00 00000827: DUP8 00000828: PUSH2 0x61da 0000082b: GAS 0000082c: SUB 0000082d: CALL 0000082e: ISZERO 0000082f: PUSH2 0x0002 00000832: JUMPI 00000833: POP 00000834: POP 00000835: PUSH1 0x40 00000837: MLOAD 00000838: MLOAD 00000839: ISZERO 0000083a: ISZERO 0000083b: SWAP1 0000083c: POP 0000083d: PUSH2 0x1784 00000840: JUMPI 00000841: PUSH2 0x1784 00000844: DUP4 00000845: PUSH2 0x0d87 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH2 0x015e 0000084d: PUSH1 0x04 0000084f: CALLDATALOAD 00000850: PUSH1 0x24 00000852: CALLDATALOAD 00000853: PUSH1 0x44 00000855: CALLDATALOAD 00000856: PUSH1 0x00 00000858: PUSH1 0x00 0000085a: GAS 0000085b: PUSH1 0x02 0000085d: SLOAD 0000085e: PUSH1 0x40 00000860: DUP1 00000861: MLOAD 00000862: PUSH1 0xe3 00000864: PUSH1 0x02 00000866: EXP 00000867: PUSH4 0x0bb7c8fd 0000086c: MUL 0000086d: DUP2 0000086e: MSTORE 0000086f: CALLER 00000870: PUSH1 0x01 00000872: PUSH1 0xa0 00000874: PUSH1 0x02 00000876: EXP 00000877: SUB 00000878: SWAP1 00000879: DUP2 0000087a: AND 0000087b: PUSH1 0x04 0000087d: DUP4 0000087e: ADD 0000087f: MSTORE 00000880: SWAP2 00000881: MLOAD 00000882: SWAP4 00000883: SWAP6 00000884: POP 00000885: SWAP2 00000886: AND 00000887: SWAP2 00000888: PUSH4 0x5dbe47e8 0000088d: SWAP2 0000088e: PUSH1 0x24 00000890: DUP2 00000891: DUP2 00000892: ADD 00000893: SWAP3 00000894: PUSH1 0x20 00000896: SWAP3 00000897: SWAP1 00000898: SWAP2 00000899: SWAP1 0000089a: DUP3 0000089b: SWAP1 0000089c: SUB 0000089d: ADD 0000089e: DUP2 0000089f: DUP8 000008a0: DUP8 000008a1: PUSH2 0x61da 000008a4: GAS 000008a5: SUB 000008a6: CALL 000008a7: ISZERO 000008a8: PUSH2 0x0002 000008ab: JUMPI 000008ac: POP 000008ad: POP 000008ae: PUSH1 0x40 000008b0: MLOAD 000008b1: MLOAD 000008b2: ISZERO 000008b3: SWAP1 000008b4: POP 000008b5: PUSH2 0x09b3 000008b8: JUMPI 000008b9: PUSH1 0x03 000008bb: SLOAD 000008bc: PUSH1 0xe0 000008be: PUSH1 0x02 000008c0: EXP 000008c1: SWAP1 000008c2: DIV 000008c3: PUSH1 0xff 000008c5: AND 000008c6: ISZERO 000008c7: PUSH2 0x0952 000008ca: JUMPI 000008cb: DUP1 000008cc: SLOAD 000008cd: PUSH1 0xff 000008cf: AND 000008d0: PUSH1 0x01 000008d2: EQ 000008d3: ISZERO 000008d4: PUSH2 0x0952 000008d7: JUMPI 000008d8: PUSH1 0x40 000008da: DUP1 000008db: MLOAD 000008dc: PUSH1 0x03 000008de: SLOAD 000008df: PUSH32 0x7288349200000000000000000000000000000000000000000000000000000000 00000900: DUP3 00000901: MSTORE 00000902: PUSH4 0xffffffff 00000907: DUP9 00000908: DUP2 00000909: AND 0000090a: PUSH1 0x04 0000090c: DUP5 0000090d: ADD 0000090e: MSTORE 0000090f: DUP8 00000910: AND 00000911: PUSH1 0x24 00000913: DUP4 00000914: ADD 00000915: MSTORE 00000916: PUSH1 0x44 00000918: DUP3 00000919: ADD 0000091a: DUP7 0000091b: SWAP1 0000091c: MSTORE 0000091d: SWAP2 0000091e: MLOAD 0000091f: PUSH1 0x01 00000921: PUSH1 0xa0 00000923: PUSH1 0x02 00000925: EXP 00000926: SUB 00000927: SWAP3 00000928: SWAP1 00000929: SWAP3 0000092a: AND 0000092b: SWAP2 0000092c: PUSH4 0x72883492 00000931: SWAP2 00000932: PUSH1 0x64 00000934: DUP2 00000935: DUP2 00000936: ADD 00000937: SWAP3 00000938: DUP7 00000939: SWAP3 0000093a: SWAP1 0000093b: SWAP2 0000093c: SWAP1 0000093d: DUP3 0000093e: SWAP1 0000093f: SUB 00000940: ADD 00000941: DUP2 00000942: DUP4 00000943: DUP8 00000944: PUSH2 0x61da 00000947: GAS 00000948: SUB 00000949: CALL 0000094a: ISZERO 0000094b: PUSH2 0x0002 0000094e: JUMPI 0000094f: POP 00000950: POP 00000951: POP 00000952: JUMPDEST 00000953: GAS 00000954: PUSH1 0x40 00000956: DUP1 00000957: MLOAD 00000958: SWAP2 00000959: DUP5 0000095a: SUB 0000095b: PUSH2 0x7364 0000095e: ADD 0000095f: GASPRICE 00000960: MUL 00000961: DUP1 00000962: DUP4 00000963: MSTORE 00000964: SWAP1 00000965: MLOAD 00000966: SWAP1 00000967: SWAP3 00000968: POP 00000969: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1 0000098a: SWAP2 0000098b: DUP2 0000098c: SWAP1 0000098d: SUB 0000098e: PUSH1 0x20 00000990: ADD 00000991: SWAP1 00000992: LOG1 00000993: PUSH1 0x40 00000995: MLOAD 00000996: CALLER 00000997: PUSH1 0x01 00000999: PUSH1 0xa0 0000099b: PUSH1 0x02 0000099d: EXP 0000099e: SUB 0000099f: AND 000009a0: SWAP1 000009a1: PUSH1 0x00 000009a3: SWAP1 000009a4: DUP4 000009a5: SWAP1 000009a6: DUP3 000009a7: DUP2 000009a8: DUP2 000009a9: DUP2 000009aa: DUP6 000009ab: DUP9 000009ac: DUP4 000009ad: CALL 000009ae: POP 000009af: POP 000009b0: POP 000009b1: POP 000009b2: POP 000009b3: JUMPDEST 000009b4: POP 000009b5: POP 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: JUMP 000009ba: JUMPDEST 000009bb: PUSH2 0x015e 000009be: PUSH1 0x04 000009c0: CALLDATALOAD 000009c1: JUMPDEST 000009c2: PUSH1 0x00 000009c4: SLOAD 000009c5: PUSH1 0xff 000009c7: AND 000009c8: PUSH1 0x01 000009ca: EQ 000009cb: ISZERO 000009cc: PUSH2 0x04a5 000009cf: JUMPI 000009d0: PUSH1 0x40 000009d2: DUP1 000009d3: MLOAD 000009d4: PUSH1 0x01 000009d6: SLOAD 000009d7: PUSH1 0xe2 000009d9: PUSH1 0x02 000009db: EXP 000009dc: PUSH4 0x0935e01b 000009e1: MUL 000009e2: DUP3 000009e3: MSTORE 000009e4: PUSH1 0x01 000009e6: PUSH1 0xa0 000009e8: PUSH1 0x02 000009ea: EXP 000009eb: SUB 000009ec: ORIGIN 000009ed: DUP2 000009ee: AND 000009ef: PUSH1 0x04 000009f1: DUP5 000009f2: ADD 000009f3: MSTORE 000009f4: SWAP3 000009f5: MLOAD 000009f6: SWAP3 000009f7: AND 000009f8: SWAP2 000009f9: PUSH4 0x24d7806c 000009fe: SWAP2 000009ff: PUSH1 0x24 00000a01: DUP2 00000a02: DUP2 00000a03: ADD 00000a04: SWAP3 00000a05: PUSH1 0x20 00000a07: SWAP3 00000a08: SWAP1 00000a09: SWAP2 00000a0a: SWAP1 00000a0b: DUP3 00000a0c: SWAP1 00000a0d: SUB 00000a0e: ADD 00000a0f: DUP2 00000a10: PUSH1 0x00 00000a12: DUP8 00000a13: PUSH2 0x61da 00000a16: GAS 00000a17: SUB 00000a18: CALL 00000a19: ISZERO 00000a1a: PUSH2 0x0002 00000a1d: JUMPI 00000a1e: POP 00000a1f: POP 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: MLOAD 00000a24: ISZERO 00000a25: SWAP1 00000a26: POP 00000a27: PUSH2 0x04a5 00000a2a: JUMPI 00000a2b: PUSH1 0x40 00000a2d: DUP1 00000a2e: MLOAD 00000a2f: PUSH1 0x02 00000a31: SLOAD 00000a32: PUSH32 0x29092d0e00000000000000000000000000000000000000000000000000000000 00000a53: DUP3 00000a54: MSTORE 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: PUSH1 0x02 00000a5b: EXP 00000a5c: SUB 00000a5d: DUP5 00000a5e: DUP2 00000a5f: AND 00000a60: PUSH1 0x04 00000a62: DUP5 00000a63: ADD 00000a64: MSTORE 00000a65: SWAP3 00000a66: MLOAD 00000a67: SWAP3 00000a68: AND 00000a69: SWAP2 00000a6a: PUSH4 0x29092d0e 00000a6f: SWAP2 00000a70: PUSH1 0x24 00000a72: DUP2 00000a73: DUP2 00000a74: ADD 00000a75: SWAP3 00000a76: PUSH1 0x00 00000a78: SWAP3 00000a79: SWAP1 00000a7a: SWAP2 00000a7b: SWAP1 00000a7c: DUP3 00000a7d: SWAP1 00000a7e: SUB 00000a7f: ADD 00000a80: DUP2 00000a81: DUP4 00000a82: DUP8 00000a83: PUSH2 0x61da 00000a86: GAS 00000a87: SUB 00000a88: CALL 00000a89: ISZERO 00000a8a: PUSH2 0x0002 00000a8d: JUMPI 00000a8e: POP 00000a8f: POP 00000a90: PUSH1 0x40 00000a92: DUP1 00000a93: MLOAD 00000a94: PUSH1 0x01 00000a96: PUSH1 0xa0 00000a98: PUSH1 0x02 00000a9a: EXP 00000a9b: SUB 00000a9c: DUP5 00000a9d: AND 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: SWAP1 00000aa1: MLOAD 00000aa2: PUSH32 0x984b558696eec355172c301d97f89185bfc9bb2d7933193fad1beb7825ed4c2e 00000ac3: SWAP3 00000ac4: POP 00000ac5: SWAP1 00000ac6: DUP2 00000ac7: SWAP1 00000ac8: SUB 00000ac9: PUSH1 0x20 00000acb: ADD 00000acc: SWAP1 00000acd: LOG1 00000ace: POP 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH2 0x1633 00000ad4: PUSH1 0x02 00000ad6: DUP2 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH2 0x015e 00000adc: PUSH1 0x04 00000ade: CALLDATALOAD 00000adf: PUSH1 0x24 00000ae1: CALLDATALOAD 00000ae2: PUSH1 0x44 00000ae4: CALLDATALOAD 00000ae5: PUSH1 0x64 00000ae7: CALLDATALOAD 00000ae8: PUSH1 0x84 00000aea: CALLDATALOAD 00000aeb: PUSH1 0xa4 00000aed: CALLDATALOAD 00000aee: PUSH1 0xc4 00000af0: CALLDATALOAD 00000af1: PUSH1 0x03 00000af3: SLOAD 00000af4: PUSH1 0x01 00000af6: PUSH1 0xa0 00000af8: PUSH1 0x02 00000afa: EXP 00000afb: SUB 00000afc: SWAP1 00000afd: DUP2 00000afe: AND 00000aff: CALLER 00000b00: SWAP1 00000b01: SWAP2 00000b02: AND 00000b03: EQ 00000b04: ISZERO 00000b05: PUSH2 0x1706 00000b08: JUMPI 00000b09: DUP1 00000b0a: ISZERO 00000b0b: PUSH2 0x1693 00000b0e: JUMPI 00000b0f: PUSH1 0x40 00000b11: DUP1 00000b12: MLOAD 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: PUSH1 0x02 00000b19: EXP 00000b1a: SUB 00000b1b: DUP10 00000b1c: AND 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH4 0xffffffff 00000b24: DUP9 00000b25: DUP2 00000b26: AND 00000b27: PUSH1 0x20 00000b29: DUP4 00000b2a: ADD 00000b2b: MSTORE 00000b2c: DUP8 00000b2d: AND 00000b2e: DUP2 00000b2f: DUP4 00000b30: ADD 00000b31: MSTORE 00000b32: PUSH10 0xffffffffffffffffffff 00000b3d: DUP7 00000b3e: AND 00000b3f: PUSH1 0x60 00000b41: DUP3 00000b42: ADD 00000b43: MSTORE 00000b44: PUSH1 0x80 00000b46: DUP2 00000b47: ADD 00000b48: DUP6 00000b49: SWAP1 00000b4a: MSTORE 00000b4b: PUSH1 0x13 00000b4d: DUP5 00000b4e: SWAP1 00000b4f: SIGNEXTEND 00000b50: PUSH1 0xa0 00000b52: DUP3 00000b53: ADD 00000b54: MSTORE 00000b55: SWAP1 00000b56: MLOAD 00000b57: PUSH32 0xa8061486280834731cc1ef340255cc5d9880ad748d20cb766f43cb7562ec2c16 00000b78: SWAP2 00000b79: DUP2 00000b7a: SWAP1 00000b7b: SUB 00000b7c: PUSH1 0xc0 00000b7e: ADD 00000b7f: SWAP1 00000b80: LOG1 00000b81: PUSH2 0x1706 00000b84: JUMP 00000b85: JUMPDEST 00000b86: PUSH2 0x1633 00000b89: PUSH1 0x04 00000b8b: DUP2 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: PUSH2 0x164a 00000b91: PUSH1 0x03 00000b93: SLOAD 00000b94: PUSH1 0xa0 00000b96: PUSH1 0x02 00000b98: EXP 00000b99: SWAP1 00000b9a: DIV 00000b9b: PUSH4 0xffffffff 00000ba0: AND 00000ba1: DUP2 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH2 0x015e 00000ba7: PUSH1 0x04 00000ba9: CALLDATALOAD 00000baa: PUSH1 0x24 00000bac: CALLDATALOAD 00000bad: PUSH1 0x01 00000baf: SLOAD 00000bb0: PUSH1 0x40 00000bb2: DUP1 00000bb3: MLOAD 00000bb4: PUSH1 0xe2 00000bb6: PUSH1 0x02 00000bb8: EXP 00000bb9: PUSH4 0x0935e01b 00000bbe: MUL 00000bbf: DUP2 00000bc0: MSTORE 00000bc1: ORIGIN 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0xa0 00000bc6: PUSH1 0x02 00000bc8: EXP 00000bc9: SUB 00000bca: SWAP1 00000bcb: DUP2 00000bcc: AND 00000bcd: PUSH1 0x04 00000bcf: DUP4 00000bd0: ADD 00000bd1: MSTORE 00000bd2: SWAP2 00000bd3: MLOAD 00000bd4: SWAP2 00000bd5: SWAP1 00000bd6: SWAP3 00000bd7: AND 00000bd8: SWAP2 00000bd9: PUSH4 0x24d7806c 00000bde: SWAP2 00000bdf: PUSH1 0x24 00000be1: DUP3 00000be2: DUP2 00000be3: ADD 00000be4: SWAP3 00000be5: PUSH1 0x20 00000be7: SWAP3 00000be8: SWAP2 00000be9: SWAP1 00000bea: DUP3 00000beb: SWAP1 00000bec: SUB 00000bed: ADD 00000bee: DUP2 00000bef: PUSH1 0x00 00000bf1: DUP8 00000bf2: PUSH2 0x61da 00000bf5: GAS 00000bf6: SUB 00000bf7: CALL 00000bf8: ISZERO 00000bf9: PUSH2 0x0002 00000bfc: JUMPI 00000bfd: POP 00000bfe: POP 00000bff: PUSH1 0x40 00000c01: MLOAD 00000c02: MLOAD 00000c03: ISZERO 00000c04: SWAP1 00000c05: POP 00000c06: PUSH2 0x02d1 00000c09: JUMPI 00000c0a: PUSH1 0x00 00000c0c: SLOAD 00000c0d: PUSH1 0xff 00000c0f: AND 00000c10: PUSH1 0x01 00000c12: EQ 00000c13: ISZERO 00000c14: PUSH2 0x02d1 00000c17: JUMPI 00000c18: PUSH1 0x40 00000c1a: DUP1 00000c1b: MLOAD 00000c1c: PUSH1 0x03 00000c1e: SLOAD 00000c1f: PUSH1 0xe0 00000c21: PUSH1 0x02 00000c23: EXP 00000c24: PUSH4 0x033173b7 00000c29: MUL 00000c2a: DUP3 00000c2b: MSTORE 00000c2c: PUSH10 0xffffffffffffffffffff 00000c37: DUP6 00000c38: AND 00000c39: PUSH1 0x04 00000c3b: DUP4 00000c3c: ADD 00000c3d: MSTORE 00000c3e: PUSH1 0x24 00000c40: DUP3 00000c41: ADD 00000c42: DUP5 00000c43: SWAP1 00000c44: MSTORE 00000c45: PUSH1 0x00 00000c47: PUSH1 0x44 00000c49: DUP4 00000c4a: ADD 00000c4b: DUP2 00000c4c: SWAP1 00000c4d: MSTORE 00000c4e: SWAP3 00000c4f: MLOAD 00000c50: PUSH1 0x01 00000c52: PUSH1 0xa0 00000c54: PUSH1 0x02 00000c56: EXP 00000c57: SUB 00000c58: SWAP2 00000c59: SWAP1 00000c5a: SWAP2 00000c5b: AND 00000c5c: SWAP3 00000c5d: PUSH4 0x033173b7 00000c62: SWAP3 00000c63: PUSH1 0x64 00000c65: DUP2 00000c66: DUP2 00000c67: ADD 00000c68: SWAP4 00000c69: SWAP2 00000c6a: DUP3 00000c6b: SWAP1 00000c6c: SUB 00000c6d: ADD 00000c6e: DUP2 00000c6f: DUP4 00000c70: DUP8 00000c71: PUSH2 0x61da 00000c74: GAS 00000c75: SUB 00000c76: CALL 00000c77: ISZERO 00000c78: PUSH2 0x0002 00000c7b: JUMPI 00000c7c: POP 00000c7d: POP 00000c7e: POP 00000c7f: POP 00000c80: POP 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH2 0x015e 00000c86: PUSH1 0x04 00000c88: CALLDATALOAD 00000c89: PUSH1 0x24 00000c8b: CALLDATALOAD 00000c8c: PUSH1 0x44 00000c8e: CALLDATALOAD 00000c8f: PUSH1 0x64 00000c91: CALLDATALOAD 00000c92: PUSH1 0x84 00000c94: CALLDATALOAD 00000c95: PUSH1 0xa4 00000c97: CALLDATALOAD 00000c98: PUSH1 0xc4 00000c9a: CALLDATALOAD 00000c9b: PUSH1 0xe4 00000c9d: CALLDATALOAD 00000c9e: PUSH2 0x0104 00000ca1: CALLDATALOAD 00000ca2: PUSH2 0x0124 00000ca5: CALLDATALOAD 00000ca6: PUSH1 0x03 00000ca8: SLOAD 00000ca9: PUSH1 0x01 00000cab: PUSH1 0xa0 00000cad: PUSH1 0x02 00000caf: EXP 00000cb0: SUB 00000cb1: SWAP1 00000cb2: DUP2 00000cb3: AND 00000cb4: CALLER 00000cb5: SWAP1 00000cb6: SWAP2 00000cb7: AND 00000cb8: EQ 00000cb9: ISZERO 00000cba: PUSH2 0x0d3f 00000cbd: JUMPI 00000cbe: PUSH1 0x40 00000cc0: DUP1 00000cc1: MLOAD 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0xa0 00000cc6: PUSH1 0x02 00000cc8: EXP 00000cc9: SUB 00000cca: DUP13 00000ccb: DUP2 00000ccc: AND 00000ccd: DUP3 00000cce: MSTORE 00000ccf: DUP12 00000cd0: AND 00000cd1: PUSH1 0x20 00000cd3: DUP3 00000cd4: ADD 00000cd5: MSTORE 00000cd6: DUP1 00000cd7: DUP3 00000cd8: ADD 00000cd9: DUP11 00000cda: SWAP1 00000cdb: MSTORE 00000cdc: PUSH1 0x60 00000cde: DUP2 00000cdf: ADD 00000ce0: DUP10 00000ce1: SWAP1 00000ce2: MSTORE 00000ce3: PUSH1 0x80 00000ce5: DUP2 00000ce6: ADD 00000ce7: DUP9 00000ce8: SWAP1 00000ce9: MSTORE 00000cea: PUSH1 0xa0 00000cec: DUP2 00000ced: ADD 00000cee: DUP8 00000cef: SWAP1 00000cf0: MSTORE 00000cf1: PUSH1 0xc0 00000cf3: DUP2 00000cf4: ADD 00000cf5: DUP7 00000cf6: SWAP1 00000cf7: MSTORE 00000cf8: PUSH1 0xe0 00000cfa: DUP2 00000cfb: ADD 00000cfc: DUP6 00000cfd: SWAP1 00000cfe: MSTORE 00000cff: PUSH2 0x0100 00000d02: DUP2 00000d03: ADD 00000d04: DUP5 00000d05: SWAP1 00000d06: MSTORE 00000d07: PUSH1 0x13 00000d09: DUP4 00000d0a: SWAP1 00000d0b: SIGNEXTEND 00000d0c: PUSH2 0x0120 00000d0f: DUP3 00000d10: ADD 00000d11: MSTORE 00000d12: SWAP1 00000d13: MLOAD 00000d14: PUSH32 0x68a83b20dde5c87dee07cc8d46d46e2fda6f176227f8b1f20dcb93752557df0e 00000d35: SWAP2 00000d36: DUP2 00000d37: SWAP1 00000d38: SUB 00000d39: PUSH2 0x0140 00000d3c: ADD 00000d3d: SWAP1 00000d3e: LOG1 00000d3f: JUMPDEST 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: POP 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: POP 00000d49: POP 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: PUSH2 0x1664 00000d4f: PUSH1 0x00 00000d51: SLOAD 00000d52: PUSH2 0x0100 00000d55: SWAP1 00000d56: DIV 00000d57: PUSH1 0x01 00000d59: PUSH1 0xa0 00000d5b: PUSH1 0x02 00000d5d: EXP 00000d5e: SUB 00000d5f: AND 00000d60: DUP2 00000d61: JUMP 00000d62: JUMPDEST 00000d63: PUSH2 0x1664 00000d66: PUSH1 0x01 00000d68: SLOAD 00000d69: PUSH1 0x01 00000d6b: PUSH1 0xa0 00000d6d: PUSH1 0x02 00000d6f: EXP 00000d70: SUB 00000d71: AND 00000d72: DUP2 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH2 0x1681 00000d78: PUSH1 0x00 00000d7a: SLOAD 00000d7b: PUSH1 0xff 00000d7d: AND 00000d7e: DUP2 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH2 0x015e 00000d84: PUSH1 0x04 00000d86: CALLDATALOAD 00000d87: JUMPDEST 00000d88: PUSH1 0x00 00000d8a: SLOAD 00000d8b: PUSH1 0xff 00000d8d: AND 00000d8e: PUSH1 0x01 00000d90: EQ 00000d91: ISZERO 00000d92: PUSH2 0x04a5 00000d95: JUMPI 00000d96: PUSH1 0x40 00000d98: DUP1 00000d99: MLOAD 00000d9a: PUSH1 0x01 00000d9c: SLOAD 00000d9d: PUSH1 0xe2 00000d9f: PUSH1 0x02 00000da1: EXP 00000da2: PUSH4 0x0935e01b 00000da7: MUL 00000da8: DUP3 00000da9: MSTORE 00000daa: PUSH1 0x01 00000dac: PUSH1 0xa0 00000dae: PUSH1 0x02 00000db0: EXP 00000db1: SUB 00000db2: ORIGIN 00000db3: DUP2 00000db4: AND 00000db5: PUSH1 0x04 00000db7: DUP5 00000db8: ADD 00000db9: MSTORE 00000dba: SWAP3 00000dbb: MLOAD 00000dbc: SWAP3 00000dbd: AND 00000dbe: SWAP2 00000dbf: PUSH4 0x24d7806c 00000dc4: SWAP2 00000dc5: PUSH1 0x24 00000dc7: DUP2 00000dc8: DUP2 00000dc9: ADD 00000dca: SWAP3 00000dcb: PUSH1 0x20 00000dcd: SWAP3 00000dce: SWAP1 00000dcf: SWAP2 00000dd0: SWAP1 00000dd1: DUP3 00000dd2: SWAP1 00000dd3: SUB 00000dd4: ADD 00000dd5: DUP2 00000dd6: PUSH1 0x00 00000dd8: DUP8 00000dd9: PUSH2 0x61da 00000ddc: GAS 00000ddd: SUB 00000dde: CALL 00000ddf: ISZERO 00000de0: PUSH2 0x0002 00000de3: JUMPI 00000de4: POP 00000de5: POP 00000de6: PUSH1 0x40 00000de8: MLOAD 00000de9: MLOAD 00000dea: ISZERO 00000deb: SWAP1 00000dec: POP 00000ded: PUSH2 0x04a5 00000df0: JUMPI 00000df1: PUSH1 0x40 00000df3: DUP1 00000df4: MLOAD 00000df5: PUSH1 0x02 00000df7: SLOAD 00000df8: PUSH1 0xe3 00000dfa: PUSH1 0x02 00000dfc: EXP 00000dfd: PUSH4 0x0bb7c8fd 00000e02: MUL 00000e03: DUP3 00000e04: MSTORE 00000e05: PUSH1 0x01 00000e07: PUSH1 0xa0 00000e09: PUSH1 0x02 00000e0b: EXP 00000e0c: SUB 00000e0d: DUP5 00000e0e: DUP2 00000e0f: AND 00000e10: PUSH1 0x04 00000e12: DUP5 00000e13: ADD 00000e14: MSTORE 00000e15: SWAP3 00000e16: MLOAD 00000e17: SWAP3 00000e18: AND 00000e19: SWAP2 00000e1a: PUSH4 0x5dbe47e8 00000e1f: SWAP2 00000e20: PUSH1 0x24 00000e22: DUP2 00000e23: DUP2 00000e24: ADD 00000e25: SWAP3 00000e26: PUSH1 0x20 00000e28: SWAP3 00000e29: SWAP1 00000e2a: SWAP2 00000e2b: SWAP1 00000e2c: DUP3 00000e2d: SWAP1 00000e2e: SUB 00000e2f: ADD 00000e30: DUP2 00000e31: PUSH1 0x00 00000e33: DUP8 00000e34: PUSH2 0x61da 00000e37: GAS 00000e38: SUB 00000e39: CALL 00000e3a: ISZERO 00000e3b: PUSH2 0x0002 00000e3e: JUMPI 00000e3f: POP 00000e40: POP 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: MLOAD 00000e45: ISZERO 00000e46: ISZERO 00000e47: SWAP1 00000e48: POP 00000e49: PUSH2 0x04a5 00000e4c: JUMPI 00000e4d: PUSH1 0x40 00000e4f: DUP1 00000e50: MLOAD 00000e51: PUSH1 0x02 00000e53: SLOAD 00000e54: PUSH32 0x0a3b0a4f00000000000000000000000000000000000000000000000000000000 00000e75: DUP3 00000e76: MSTORE 00000e77: PUSH1 0x01 00000e79: PUSH1 0xa0 00000e7b: PUSH1 0x02 00000e7d: EXP 00000e7e: SUB 00000e7f: DUP5 00000e80: DUP2 00000e81: AND 00000e82: PUSH1 0x04 00000e84: DUP5 00000e85: ADD 00000e86: MSTORE 00000e87: SWAP3 00000e88: MLOAD 00000e89: SWAP3 00000e8a: AND 00000e8b: SWAP2 00000e8c: PUSH4 0x0a3b0a4f 00000e91: SWAP2 00000e92: PUSH1 0x24 00000e94: DUP2 00000e95: DUP2 00000e96: ADD 00000e97: SWAP3 00000e98: PUSH1 0x00 00000e9a: SWAP3 00000e9b: SWAP1 00000e9c: SWAP2 00000e9d: SWAP1 00000e9e: DUP3 00000e9f: SWAP1 00000ea0: SUB 00000ea1: ADD 00000ea2: DUP2 00000ea3: DUP4 00000ea4: DUP8 00000ea5: PUSH2 0x61da 00000ea8: GAS 00000ea9: SUB 00000eaa: CALL 00000eab: ISZERO 00000eac: PUSH2 0x0002 00000eaf: JUMPI 00000eb0: POP 00000eb1: POP 00000eb2: PUSH1 0x40 00000eb4: MLOAD 00000eb5: PUSH1 0x01 00000eb7: PUSH1 0xa0 00000eb9: PUSH1 0x02 00000ebb: EXP 00000ebc: SUB 00000ebd: DUP4 00000ebe: AND 00000ebf: SWAP2 00000ec0: POP 00000ec1: PUSH1 0x00 00000ec3: SWAP1 00000ec4: PUSH7 0xb1a2bc2ec50000 00000ecc: SWAP1 00000ecd: DUP3 00000ece: DUP2 00000ecf: DUP2 00000ed0: DUP2 00000ed1: DUP6 00000ed2: DUP9 00000ed3: DUP4 00000ed4: CALL 00000ed5: POP 00000ed6: SWAP3 00000ed7: DUP4 00000ed8: MSTORE 00000ed9: POP 00000eda: POP 00000edb: PUSH1 0x40 00000edd: MLOAD 00000ede: PUSH32 0x09c9f097217c9a4a99ade5a6396765182e60e3f9d99856d934cc324eb79d11c2 00000eff: SWAP2 00000f00: DUP2 00000f01: SWAP1 00000f02: SUB 00000f03: PUSH1 0x20 00000f05: ADD 00000f06: SWAP1 00000f07: LOG1 00000f08: POP 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: PUSH1 0x40 00000f0d: DUP1 00000f0e: MLOAD 00000f0f: PUSH1 0x20 00000f11: PUSH1 0x44 00000f13: CALLDATALOAD 00000f14: PUSH1 0x04 00000f16: DUP2 00000f17: DUP2 00000f18: ADD 00000f19: CALLDATALOAD 00000f1a: PUSH1 0x1f 00000f1c: DUP2 00000f1d: ADD 00000f1e: DUP5 00000f1f: SWAP1 00000f20: DIV 00000f21: DUP5 00000f22: MUL 00000f23: DUP6 00000f24: ADD 00000f25: DUP5 00000f26: ADD 00000f27: SWAP1 00000f28: SWAP6 00000f29: MSTORE 00000f2a: DUP5 00000f2b: DUP5 00000f2c: MSTORE 00000f2d: PUSH2 0x015e 00000f30: SWAP5 00000f31: DUP2 00000f32: CALLDATALOAD 00000f33: SWAP5 00000f34: PUSH1 0x24 00000f36: DUP1 00000f37: CALLDATALOAD 00000f38: SWAP6 00000f39: SWAP4 00000f3a: SWAP5 00000f3b: PUSH1 0x64 00000f3d: SWAP5 00000f3e: SWAP3 00000f3f: SWAP4 00000f40: SWAP2 00000f41: ADD 00000f42: SWAP2 00000f43: DUP2 00000f44: SWAP1 00000f45: DUP5 00000f46: ADD 00000f47: DUP4 00000f48: DUP3 00000f49: DUP1 00000f4a: DUP3 00000f4b: DUP5 00000f4c: CALLDATACOPY 00000f4d: POP 00000f4e: SWAP5 00000f4f: SWAP7 00000f50: POP 00000f51: POP 00000f52: SWAP4 00000f53: CALLDATALOAD 00000f54: SWAP4 00000f55: POP 00000f56: POP 00000f57: POP 00000f58: POP 00000f59: JUMPDEST 00000f5a: PUSH1 0x00 00000f5c: SLOAD 00000f5d: PUSH1 0xff 00000f5f: AND 00000f60: PUSH1 0x01 00000f62: EQ 00000f63: ISZERO 00000f64: PUSH2 0x11c6 00000f67: JUMPI 00000f68: PUSH1 0x01 00000f6a: SLOAD 00000f6b: PUSH1 0x40 00000f6d: DUP1 00000f6e: MLOAD 00000f6f: PUSH1 0xe2 00000f71: PUSH1 0x02 00000f73: EXP 00000f74: PUSH4 0x0935e01b 00000f79: MUL 00000f7a: DUP2 00000f7b: MSTORE 00000f7c: PUSH1 0x01 00000f7e: PUSH1 0xa0 00000f80: PUSH1 0x02 00000f82: EXP 00000f83: SUB 00000f84: ORIGIN 00000f85: DUP2 00000f86: AND 00000f87: PUSH1 0x04 00000f89: DUP4 00000f8a: ADD 00000f8b: MSTORE 00000f8c: SWAP2 00000f8d: MLOAD 00000f8e: SWAP3 00000f8f: SWAP1 00000f90: SWAP2 00000f91: AND 00000f92: SWAP2 00000f93: PUSH4 0x24d7806c 00000f98: SWAP2 00000f99: PUSH1 0x24 00000f9b: DUP2 00000f9c: DUP2 00000f9d: ADD 00000f9e: SWAP3 00000f9f: PUSH1 0x20 00000fa1: SWAP3 00000fa2: SWAP1 00000fa3: SWAP2 00000fa4: SWAP1 00000fa5: DUP3 00000fa6: SWAP1 00000fa7: SUB 00000fa8: ADD 00000fa9: DUP2 00000faa: PUSH1 0x00 00000fac: DUP8 00000fad: PUSH2 0x61da 00000fb0: GAS 00000fb1: SUB 00000fb2: CALL 00000fb3: ISZERO 00000fb4: PUSH2 0x0002 00000fb7: JUMPI 00000fb8: POP 00000fb9: POP 00000fba: PUSH1 0x40 00000fbc: MLOAD 00000fbd: MLOAD 00000fbe: ISZERO 00000fbf: SWAP1 00000fc0: POP 00000fc1: PUSH2 0x11c6 00000fc4: JUMPI 00000fc5: PUSH1 0x03 00000fc7: SLOAD 00000fc8: PUSH1 0x00 00000fca: PUSH1 0xa0 00000fcc: PUSH1 0x02 00000fce: EXP 00000fcf: SWAP1 00000fd0: SWAP2 00000fd1: DIV 00000fd2: PUSH4 0xffffffff 00000fd7: AND 00000fd8: GT 00000fd9: DUP1 00000fda: ISZERO 00000fdb: PUSH2 0x1001 00000fde: JUMPI 00000fdf: POP 00000fe0: PUSH1 0x03 00000fe2: SLOAD 00000fe3: PUSH1 0xa0 00000fe5: PUSH1 0x02 00000fe7: EXP 00000fe8: DUP2 00000fe9: DIV 00000fea: PUSH4 0xffffffff 00000fef: SWAP1 00000ff0: DUP2 00000ff1: AND 00000ff2: PUSH1 0xc0 00000ff4: PUSH1 0x02 00000ff6: EXP 00000ff7: SWAP1 00000ff8: SWAP3 00000ff9: DIV 00000ffa: DUP2 00000ffb: AND 00000ffc: DUP6 00000ffd: ADD 00000ffe: AND 00000fff: GT 00001000: ISZERO 00001001: JUMPDEST 00001002: DUP1 00001003: ISZERO 00001004: PUSH2 0x1017 00001007: JUMPI 00001008: POP 00001009: DUP4 0000100a: PUSH1 0x01 0000100c: PUSH1 0xa0 0000100e: PUSH1 0x02 00001010: EXP 00001011: SUB 00001012: AND 00001013: PUSH1 0x00 00001015: EQ 00001016: ISZERO 00001017: JUMPDEST 00001018: DUP1 00001019: ISZERO 0000101a: PUSH2 0x1075 0000101d: JUMPI 0000101e: POP 0000101f: PUSH1 0x40 00001021: DUP1 00001022: MLOAD 00001023: PUSH1 0x02 00001025: SLOAD 00001026: PUSH1 0xe3 00001028: PUSH1 0x02 0000102a: EXP 0000102b: PUSH4 0x0bb7c8fd 00001030: MUL 00001031: DUP3 00001032: MSTORE 00001033: PUSH1 0x01 00001035: PUSH1 0xa0 00001037: PUSH1 0x02 00001039: EXP 0000103a: SUB 0000103b: DUP8 0000103c: DUP2 0000103d: AND 0000103e: PUSH1 0x04 00001040: DUP5 00001041: ADD 00001042: MSTORE 00001043: SWAP3 00001044: MLOAD 00001045: SWAP3 00001046: AND 00001047: SWAP2 00001048: PUSH4 0x5dbe47e8 0000104d: SWAP2 0000104e: PUSH1 0x24 00001050: DUP2 00001051: DUP2 00001052: ADD 00001053: SWAP3 00001054: PUSH1 0x20 00001056: SWAP3 00001057: SWAP1 00001058: SWAP2 00001059: SWAP1 0000105a: DUP3 0000105b: SWAP1 0000105c: SUB 0000105d: ADD 0000105e: DUP2 0000105f: PUSH1 0x00 00001061: DUP8 00001062: PUSH2 0x61da 00001065: GAS 00001066: SUB 00001067: CALL 00001068: ISZERO 00001069: PUSH2 0x0002 0000106c: JUMPI 0000106d: POP 0000106e: POP 0000106f: PUSH1 0x40 00001071: MLOAD 00001072: MLOAD 00001073: SWAP1 00001074: POP 00001075: JUMPDEST 00001076: ISZERO 00001077: PUSH2 0x11c6 0000107a: JUMPI 0000107b: PUSH1 0x40 0000107d: DUP1 0000107e: MLOAD 0000107f: PUSH1 0x02 00001081: SLOAD 00001082: PUSH32 0x665f09fa00000000000000000000000000000000000000000000000000000000 000010a3: DUP3 000010a4: MSTORE 000010a5: PUSH1 0x01 000010a7: PUSH1 0xa0 000010a9: PUSH1 0x02 000010ab: EXP 000010ac: SUB 000010ad: DUP8 000010ae: DUP2 000010af: AND 000010b0: PUSH1 0x04 000010b2: DUP5 000010b3: ADD 000010b4: MSTORE 000010b5: PUSH4 0xffffffff 000010ba: DUP8 000010bb: AND 000010bc: PUSH1 0x24 000010be: DUP5 000010bf: ADD 000010c0: MSTORE 000010c1: SWAP3 000010c2: MLOAD 000010c3: SWAP3 000010c4: AND 000010c5: SWAP2 000010c6: PUSH4 0x665f09fa 000010cb: SWAP2 000010cc: PUSH1 0x44 000010ce: DUP2 000010cf: DUP2 000010d0: ADD 000010d1: SWAP3 000010d2: PUSH1 0x00 000010d4: SWAP3 000010d5: SWAP1 000010d6: SWAP2 000010d7: SWAP1 000010d8: DUP3 000010d9: SWAP1 000010da: SUB 000010db: ADD 000010dc: DUP2 000010dd: DUP4 000010de: DUP8 000010df: PUSH2 0x61da 000010e2: GAS 000010e3: SUB 000010e4: CALL 000010e5: ISZERO 000010e6: PUSH2 0x0002 000010e9: JUMPI 000010ea: POP 000010eb: POP 000010ec: PUSH1 0x03 000010ee: DUP1 000010ef: SLOAD 000010f0: PUSH1 0xc0 000010f2: PUSH1 0x02 000010f4: EXP 000010f5: DUP1 000010f6: DUP3 000010f7: DIV 000010f8: PUSH4 0xffffffff 000010fd: AND 000010fe: DUP8 000010ff: ADD 00001100: MUL 00001101: PUSH1 0xc0 00001103: PUSH1 0x02 00001105: EXP 00001106: PUSH4 0xffffffff 0000110b: MUL 0000110c: NOT 0000110d: SWAP2 0000110e: SWAP1 0000110f: SWAP2 00001110: AND 00001111: OR 00001112: SWAP1 00001113: SSTORE 00001114: POP 00001115: PUSH1 0x02 00001117: SLOAD 00001118: PUSH1 0x40 0000111a: DUP1 0000111b: MLOAD 0000111c: PUSH1 0xe2 0000111e: PUSH1 0x02 00001120: EXP 00001121: PUSH4 0x3eaf7a03 00001126: MUL 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x01 0000112b: PUSH1 0xa0 0000112d: PUSH1 0x02 0000112f: EXP 00001130: SUB 00001131: DUP8 00001132: DUP2 00001133: AND 00001134: PUSH1 0x04 00001136: DUP4 00001137: ADD 00001138: MSTORE 00001139: SWAP2 0000113a: MLOAD 0000113b: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb 0000115c: SWAP4 0000115d: DUP9 0000115e: SWAP4 0000115f: DUP9 00001160: SWAP4 00001161: SWAP2 00001162: AND 00001163: SWAP2 00001164: PUSH4 0xfabde80c 00001169: SWAP2 0000116a: PUSH1 0x24 0000116c: DUP2 0000116d: DUP2 0000116e: ADD 0000116f: SWAP3 00001170: PUSH1 0x20 00001172: SWAP3 00001173: SWAP1 00001174: SWAP2 00001175: SWAP1 00001176: DUP3 00001177: SWAP1 00001178: SUB 00001179: ADD 0000117a: DUP2 0000117b: PUSH1 0x00 0000117d: DUP8 0000117e: PUSH2 0x61da 00001181: GAS 00001182: SUB 00001183: CALL 00001184: ISZERO 00001185: PUSH2 0x0002 00001188: JUMPI 00001189: POP 0000118a: POP 0000118b: PUSH1 0x40 0000118d: DUP1 0000118e: MLOAD 0000118f: DUP1 00001190: MLOAD 00001191: PUSH1 0x01 00001193: PUSH1 0xa0 00001195: PUSH1 0x02 00001197: EXP 00001198: SUB 00001199: SWAP6 0000119a: SWAP1 0000119b: SWAP6 0000119c: AND 0000119d: DUP2 0000119e: MSTORE 0000119f: PUSH4 0xffffffff 000011a4: SWAP4 000011a5: DUP5 000011a6: AND 000011a7: PUSH1 0x20 000011a9: DUP3 000011aa: ADD 000011ab: MSTORE 000011ac: SWAP4 000011ad: SWAP1 000011ae: SWAP3 000011af: AND 000011b0: DUP4 000011b1: DUP4 000011b2: ADD 000011b3: MSTORE 000011b4: POP 000011b5: PUSH1 0x60 000011b7: DUP3 000011b8: ADD 000011b9: DUP5 000011ba: SWAP1 000011bb: MSTORE 000011bc: MLOAD 000011bd: SWAP1 000011be: DUP2 000011bf: SWAP1 000011c0: SUB 000011c1: PUSH1 0x80 000011c3: ADD 000011c4: SWAP1 000011c5: LOG1 000011c6: JUMPDEST 000011c7: POP 000011c8: POP 000011c9: POP 000011ca: POP 000011cb: JUMP 000011cc: JUMPDEST 000011cd: PUSH2 0x1664 000011d0: PUSH1 0x02 000011d2: SLOAD 000011d3: PUSH1 0x01 000011d5: PUSH1 0xa0 000011d7: PUSH1 0x02 000011d9: EXP 000011da: SUB 000011db: AND 000011dc: DUP2 000011dd: JUMP 000011de: JUMPDEST 000011df: PUSH2 0x015e 000011e2: PUSH1 0x04 000011e4: CALLDATALOAD 000011e5: PUSH1 0x24 000011e7: CALLDATALOAD 000011e8: PUSH1 0x00 000011ea: PUSH1 0x00 000011ec: GAS 000011ed: PUSH1 0x02 000011ef: SLOAD 000011f0: PUSH1 0x40 000011f2: DUP1 000011f3: MLOAD 000011f4: PUSH1 0xe3 000011f6: PUSH1 0x02 000011f8: EXP 000011f9: PUSH4 0x0bb7c8fd 000011fe: MUL 000011ff: DUP2 00001200: MSTORE 00001201: CALLER 00001202: PUSH1 0x01 00001204: PUSH1 0xa0 00001206: PUSH1 0x02 00001208: EXP 00001209: SUB 0000120a: SWAP1 0000120b: DUP2 0000120c: AND 0000120d: PUSH1 0x04 0000120f: DUP4 00001210: ADD 00001211: MSTORE 00001212: SWAP2 00001213: MLOAD 00001214: SWAP4 00001215: SWAP6 00001216: POP 00001217: SWAP2 00001218: AND 00001219: SWAP2 0000121a: PUSH4 0x5dbe47e8 0000121f: SWAP2 00001220: PUSH1 0x24 00001222: DUP2 00001223: DUP2 00001224: ADD 00001225: SWAP3 00001226: PUSH1 0x20 00001228: SWAP3 00001229: SWAP1 0000122a: SWAP2 0000122b: SWAP1 0000122c: DUP3 0000122d: SWAP1 0000122e: SUB 0000122f: ADD 00001230: DUP2 00001231: DUP8 00001232: DUP8 00001233: PUSH2 0x61da 00001236: GAS 00001237: SUB 00001238: CALL 00001239: ISZERO 0000123a: PUSH2 0x0002 0000123d: JUMPI 0000123e: POP 0000123f: POP 00001240: PUSH1 0x40 00001242: MLOAD 00001243: MLOAD 00001244: ISZERO 00001245: SWAP1 00001246: POP 00001247: PUSH2 0x11c6 0000124a: JUMPI 0000124b: PUSH1 0x03 0000124d: SLOAD 0000124e: PUSH1 0xe0 00001250: PUSH1 0x02 00001252: EXP 00001253: SWAP1 00001254: DIV 00001255: PUSH1 0xff 00001257: AND 00001258: ISZERO 00001259: PUSH2 0x12d2 0000125c: JUMPI 0000125d: DUP1 0000125e: SLOAD 0000125f: PUSH1 0xff 00001261: AND 00001262: PUSH1 0x01 00001264: EQ 00001265: ISZERO 00001266: PUSH2 0x12d2 00001269: JUMPI 0000126a: PUSH1 0x40 0000126c: DUP1 0000126d: MLOAD 0000126e: PUSH1 0x03 00001270: SLOAD 00001271: PUSH1 0xe0 00001273: PUSH1 0x02 00001275: EXP 00001276: PUSH4 0x033173b7 0000127b: MUL 0000127c: DUP3 0000127d: MSTORE 0000127e: PUSH10 0xffffffffffffffffffff 00001289: DUP8 0000128a: AND 0000128b: PUSH1 0x04 0000128d: DUP4 0000128e: ADD 0000128f: MSTORE 00001290: PUSH1 0x24 00001292: DUP3 00001293: ADD 00001294: DUP7 00001295: SWAP1 00001296: MSTORE 00001297: PUSH1 0x01 00001299: PUSH1 0xa0 0000129b: PUSH1 0x02 0000129d: EXP 0000129e: SUB 0000129f: ORIGIN 000012a0: DUP2 000012a1: AND 000012a2: PUSH1 0x44 000012a4: DUP5 000012a5: ADD 000012a6: MSTORE 000012a7: SWAP3 000012a8: MLOAD 000012a9: SWAP3 000012aa: AND 000012ab: SWAP2 000012ac: PUSH4 0x033173b7 000012b1: SWAP2 000012b2: PUSH1 0x64 000012b4: DUP2 000012b5: DUP2 000012b6: ADD 000012b7: SWAP3 000012b8: DUP7 000012b9: SWAP3 000012ba: SWAP1 000012bb: SWAP2 000012bc: SWAP1 000012bd: DUP3 000012be: SWAP1 000012bf: SUB 000012c0: ADD 000012c1: DUP2 000012c2: DUP4 000012c3: DUP8 000012c4: PUSH2 0x61da 000012c7: GAS 000012c8: SUB 000012c9: CALL 000012ca: ISZERO 000012cb: PUSH2 0x0002 000012ce: JUMPI 000012cf: POP 000012d0: POP 000012d1: POP 000012d2: JUMPDEST 000012d3: GAS 000012d4: PUSH1 0x40 000012d6: DUP1 000012d7: MLOAD 000012d8: SWAP2 000012d9: DUP5 000012da: SUB 000012db: PUSH2 0x7364 000012de: ADD 000012df: GASPRICE 000012e0: MUL 000012e1: DUP1 000012e2: DUP4 000012e3: MSTORE 000012e4: SWAP1 000012e5: MLOAD 000012e6: SWAP1 000012e7: SWAP3 000012e8: POP 000012e9: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1 0000130a: SWAP2 0000130b: DUP2 0000130c: SWAP1 0000130d: SUB 0000130e: PUSH1 0x20 00001310: ADD 00001311: SWAP1 00001312: LOG1 00001313: PUSH1 0x40 00001315: MLOAD 00001316: CALLER 00001317: PUSH1 0x01 00001319: PUSH1 0xa0 0000131b: PUSH1 0x02 0000131d: EXP 0000131e: SUB 0000131f: AND 00001320: SWAP1 00001321: PUSH1 0x00 00001323: SWAP1 00001324: DUP4 00001325: SWAP1 00001326: DUP3 00001327: DUP2 00001328: DUP2 00001329: DUP2 0000132a: DUP6 0000132b: DUP9 0000132c: DUP4 0000132d: CALL 0000132e: SWAP4 0000132f: POP 00001330: POP 00001331: POP 00001332: POP 00001333: POP 00001334: PUSH2 0x11c6 00001337: JUMP 00001338: JUMPDEST 00001339: PUSH2 0x015e 0000133c: PUSH1 0x04 0000133e: CALLDATALOAD 0000133f: PUSH1 0x24 00001341: CALLDATALOAD 00001342: PUSH1 0x44 00001344: CALLDATALOAD 00001345: PUSH1 0x00 00001347: PUSH1 0x00 00001349: GAS 0000134a: PUSH1 0x02 0000134c: SLOAD 0000134d: PUSH1 0x40 0000134f: DUP1 00001350: MLOAD 00001351: PUSH1 0xe3 00001353: PUSH1 0x02 00001355: EXP 00001356: PUSH4 0x0bb7c8fd 0000135b: MUL 0000135c: DUP2 0000135d: MSTORE 0000135e: CALLER 0000135f: PUSH1 0x01 00001361: PUSH1 0xa0 00001363: PUSH1 0x02 00001365: EXP 00001366: SUB 00001367: SWAP1 00001368: DUP2 00001369: AND 0000136a: PUSH1 0x04 0000136c: DUP4 0000136d: ADD 0000136e: MSTORE 0000136f: SWAP2 00001370: MLOAD 00001371: SWAP4 00001372: SWAP6 00001373: POP 00001374: SWAP2 00001375: AND 00001376: SWAP2 00001377: PUSH4 0x5dbe47e8 0000137c: SWAP2 0000137d: PUSH1 0x24 0000137f: DUP2 00001380: DUP2 00001381: ADD 00001382: SWAP3 00001383: PUSH1 0x20 00001385: SWAP3 00001386: SWAP1 00001387: SWAP2 00001388: SWAP1 00001389: DUP3 0000138a: SWAP1 0000138b: SUB 0000138c: ADD 0000138d: DUP2 0000138e: DUP8 0000138f: DUP8 00001390: PUSH2 0x61da 00001393: GAS 00001394: SUB 00001395: CALL 00001396: ISZERO 00001397: PUSH2 0x0002 0000139a: JUMPI 0000139b: POP 0000139c: POP 0000139d: PUSH1 0x40 0000139f: MLOAD 000013a0: MLOAD 000013a1: ISZERO 000013a2: SWAP1 000013a3: POP 000013a4: PUSH2 0x09b3 000013a7: JUMPI 000013a8: PUSH1 0x03 000013aa: SLOAD 000013ab: PUSH1 0xe0 000013ad: PUSH1 0x02 000013af: EXP 000013b0: SWAP1 000013b1: DIV 000013b2: PUSH1 0xff 000013b4: AND 000013b5: ISZERO 000013b6: PUSH2 0x0952 000013b9: JUMPI 000013ba: DUP1 000013bb: SLOAD 000013bc: PUSH1 0xff 000013be: AND 000013bf: PUSH1 0x01 000013c1: EQ 000013c2: ISZERO 000013c3: PUSH2 0x0952 000013c6: JUMPI 000013c7: PUSH1 0x40 000013c9: DUP1 000013ca: MLOAD 000013cb: PUSH1 0x03 000013cd: SLOAD 000013ce: PUSH32 0xf04fd2f300000000000000000000000000000000000000000000000000000000 000013ef: DUP3 000013f0: MSTORE 000013f1: PUSH4 0xffffffff 000013f6: DUP9 000013f7: DUP2 000013f8: AND 000013f9: PUSH1 0x04 000013fb: DUP5 000013fc: ADD 000013fd: MSTORE 000013fe: DUP8 000013ff: AND 00001400: PUSH1 0x24 00001402: DUP4 00001403: ADD 00001404: MSTORE 00001405: PUSH1 0x44 00001407: DUP3 00001408: ADD 00001409: DUP7 0000140a: SWAP1 0000140b: MSTORE 0000140c: SWAP2 0000140d: MLOAD 0000140e: PUSH1 0x01 00001410: PUSH1 0xa0 00001412: PUSH1 0x02 00001414: EXP 00001415: SUB 00001416: SWAP3 00001417: SWAP1 00001418: SWAP3 00001419: AND 0000141a: SWAP2 0000141b: PUSH4 0xf04fd2f3 00001420: SWAP2 00001421: PUSH1 0x64 00001423: DUP2 00001424: DUP2 00001425: ADD 00001426: SWAP3 00001427: DUP7 00001428: SWAP3 00001429: SWAP1 0000142a: SWAP2 0000142b: SWAP1 0000142c: DUP3 0000142d: SWAP1 0000142e: SUB 0000142f: ADD 00001430: DUP2 00001431: DUP4 00001432: DUP8 00001433: PUSH2 0x61da 00001436: GAS 00001437: SUB 00001438: CALL 00001439: ISZERO 0000143a: PUSH2 0x0002 0000143d: JUMPI 0000143e: POP 0000143f: POP 00001440: POP 00001441: GAS 00001442: PUSH1 0x40 00001444: DUP1 00001445: MLOAD 00001446: SWAP2 00001447: DUP5 00001448: SUB 00001449: PUSH2 0x7364 0000144c: ADD 0000144d: GASPRICE 0000144e: MUL 0000144f: DUP1 00001450: DUP4 00001451: MSTORE 00001452: SWAP1 00001453: MLOAD 00001454: SWAP1 00001455: SWAP3 00001456: POP 00001457: PUSH32 0x8f22ef5ca888de3e246c690a13b066ad49cbf2768b0449441dd6f5bae826a1b1 00001478: SWAP2 00001479: DUP2 0000147a: SWAP1 0000147b: SUB 0000147c: PUSH1 0x20 0000147e: ADD 0000147f: SWAP1 00001480: LOG1 00001481: PUSH1 0x40 00001483: MLOAD 00001484: CALLER 00001485: PUSH1 0x01 00001487: PUSH1 0xa0 00001489: PUSH1 0x02 0000148b: EXP 0000148c: SUB 0000148d: AND 0000148e: SWAP1 0000148f: PUSH1 0x00 00001491: SWAP1 00001492: DUP4 00001493: SWAP1 00001494: DUP3 00001495: DUP2 00001496: DUP2 00001497: DUP2 00001498: DUP6 00001499: DUP9 0000149a: DUP4 0000149b: CALL 0000149c: SWAP4 0000149d: POP 0000149e: POP 0000149f: POP 000014a0: POP 000014a1: POP 000014a2: PUSH2 0x09b3 000014a5: JUMP 000014a6: JUMPDEST 000014a7: PUSH2 0x015e 000014aa: PUSH1 0x04 000014ac: CALLDATALOAD 000014ad: PUSH1 0x24 000014af: CALLDATALOAD 000014b0: JUMPDEST 000014b1: PUSH1 0x00 000014b3: SLOAD 000014b4: PUSH1 0xff 000014b6: AND 000014b7: PUSH1 0x01 000014b9: EQ 000014ba: ISZERO 000014bb: PUSH2 0x02d1 000014be: JUMPI 000014bf: PUSH1 0x40 000014c1: DUP1 000014c2: MLOAD 000014c3: PUSH1 0x01 000014c5: SLOAD 000014c6: PUSH1 0xe2 000014c8: PUSH1 0x02 000014ca: EXP 000014cb: PUSH4 0x0935e01b 000014d0: MUL 000014d1: DUP3 000014d2: MSTORE 000014d3: PUSH1 0x01 000014d5: PUSH1 0xa0 000014d7: PUSH1 0x02 000014d9: EXP 000014da: SUB 000014db: ORIGIN 000014dc: DUP2 000014dd: AND 000014de: PUSH1 0x04 000014e0: DUP5 000014e1: ADD 000014e2: MSTORE 000014e3: SWAP3 000014e4: MLOAD 000014e5: SWAP3 000014e6: AND 000014e7: SWAP2 000014e8: PUSH4 0x24d7806c 000014ed: SWAP2 000014ee: PUSH1 0x24 000014f0: DUP2 000014f1: DUP2 000014f2: ADD 000014f3: SWAP3 000014f4: PUSH1 0x20 000014f6: SWAP3 000014f7: SWAP1 000014f8: SWAP2 000014f9: SWAP1 000014fa: DUP3 000014fb: SWAP1 000014fc: SUB 000014fd: ADD 000014fe: DUP2 000014ff: PUSH1 0x00 00001501: DUP8 00001502: PUSH2 0x61da 00001505: GAS 00001506: SUB 00001507: CALL 00001508: ISZERO 00001509: PUSH2 0x0002 0000150c: JUMPI 0000150d: POP 0000150e: POP 0000150f: PUSH1 0x40 00001511: MLOAD 00001512: MLOAD 00001513: ISZERO 00001514: SWAP1 00001515: POP 00001516: PUSH2 0x02d1 00001519: JUMPI 0000151a: PUSH1 0x40 0000151c: DUP1 0000151d: MLOAD 0000151e: PUSH1 0x02 00001520: SLOAD 00001521: PUSH32 0x2198e78000000000000000000000000000000000000000000000000000000000 00001542: DUP3 00001543: MSTORE 00001544: PUSH1 0x01 00001546: PUSH1 0xa0 00001548: PUSH1 0x02 0000154a: EXP 0000154b: SUB 0000154c: DUP6 0000154d: DUP2 0000154e: AND 0000154f: PUSH1 0x04 00001551: DUP5 00001552: ADD 00001553: MSTORE 00001554: PUSH1 0x13 00001556: DUP6 00001557: SWAP1 00001558: SIGNEXTEND 00001559: PUSH1 0x24 0000155b: DUP5 0000155c: ADD 0000155d: MSTORE 0000155e: SWAP3 0000155f: MLOAD 00001560: SWAP3 00001561: AND 00001562: SWAP2 00001563: PUSH4 0x2198e780 00001568: SWAP2 00001569: PUSH1 0x44 0000156b: DUP2 0000156c: DUP2 0000156d: ADD 0000156e: SWAP3 0000156f: PUSH1 0x00 00001571: SWAP3 00001572: SWAP1 00001573: SWAP2 00001574: SWAP1 00001575: DUP3 00001576: SWAP1 00001577: SUB 00001578: ADD 00001579: DUP2 0000157a: DUP4 0000157b: DUP8 0000157c: PUSH2 0x61da 0000157f: GAS 00001580: SUB 00001581: CALL 00001582: ISZERO 00001583: PUSH2 0x0002 00001586: JUMPI 00001587: POP 00001588: POP 00001589: PUSH1 0x40 0000158b: DUP1 0000158c: MLOAD 0000158d: PUSH1 0x02 0000158f: SLOAD 00001590: PUSH1 0xe1 00001592: PUSH1 0x02 00001594: EXP 00001595: PUSH4 0x2010ac0d 0000159a: MUL 0000159b: DUP3 0000159c: MSTORE 0000159d: PUSH1 0x01 0000159f: PUSH1 0xa0 000015a1: PUSH1 0x02 000015a3: EXP 000015a4: SUB 000015a5: DUP7 000015a6: DUP2 000015a7: AND 000015a8: PUSH1 0x04 000015aa: DUP5 000015ab: ADD 000015ac: MSTORE 000015ad: SWAP3 000015ae: MLOAD 000015af: PUSH32 0xe94fd0d37480bbf316cfa85ccb130d11f35f4b8e280296196bff10e17855e7f3 000015d0: SWAP5 000015d1: POP 000015d2: DUP7 000015d3: SWAP4 000015d4: DUP7 000015d5: SWAP4 000015d6: SWAP3 000015d7: AND 000015d8: SWAP2 000015d9: PUSH4 0x4021581a 000015de: SWAP2 000015df: PUSH1 0x24 000015e1: DUP3 000015e2: DUP2 000015e3: ADD 000015e4: SWAP3 000015e5: PUSH1 0x20 000015e7: SWAP3 000015e8: SWAP2 000015e9: SWAP1 000015ea: DUP3 000015eb: SWAP1 000015ec: SUB 000015ed: ADD 000015ee: DUP2 000015ef: PUSH1 0x00 000015f1: DUP8 000015f2: PUSH2 0x61da 000015f5: GAS 000015f6: SUB 000015f7: CALL 000015f8: ISZERO 000015f9: PUSH2 0x0002 000015fc: JUMPI 000015fd: POP 000015fe: POP 000015ff: PUSH1 0x40 00001601: DUP1 00001602: MLOAD 00001603: DUP1 00001604: MLOAD 00001605: PUSH1 0x01 00001607: PUSH1 0xa0 00001609: PUSH1 0x02 0000160b: EXP 0000160c: SUB 0000160d: SWAP6 0000160e: SWAP1 0000160f: SWAP6 00001610: AND 00001611: DUP2 00001612: MSTORE 00001613: PUSH1 0x13 00001615: SWAP4 00001616: DUP5 00001617: SIGNEXTEND 00001618: PUSH1 0x20 0000161a: DUP3 0000161b: ADD 0000161c: MSTORE 0000161d: SWAP4 0000161e: SWAP1 0000161f: SWAP3 00001620: SIGNEXTEND 00001621: DUP4 00001622: DUP4 00001623: ADD 00001624: MSTORE 00001625: POP 00001626: MLOAD 00001627: SWAP1 00001628: DUP2 00001629: SWAP1 0000162a: SUB 0000162b: PUSH1 0x60 0000162d: ADD 0000162e: SWAP1 0000162f: LOG1 00001630: POP 00001631: POP 00001632: JUMP 00001633: JUMPDEST 00001634: PUSH1 0x40 00001636: DUP1 00001637: MLOAD 00001638: PUSH1 0xff 0000163a: SWAP3 0000163b: SWAP1 0000163c: SWAP3 0000163d: AND 0000163e: DUP3 0000163f: MSTORE 00001640: MLOAD 00001641: SWAP1 00001642: DUP2 00001643: SWAP1 00001644: SUB 00001645: PUSH1 0x20 00001647: ADD 00001648: SWAP1 00001649: RETURN 0000164a: JUMPDEST 0000164b: PUSH1 0x40 0000164d: DUP1 0000164e: MLOAD 0000164f: PUSH4 0xffffffff 00001654: SWAP3 00001655: SWAP1 00001656: SWAP3 00001657: AND 00001658: DUP3 00001659: MSTORE 0000165a: MLOAD 0000165b: SWAP1 0000165c: DUP2 0000165d: SWAP1 0000165e: SUB 0000165f: PUSH1 0x20 00001661: ADD 00001662: SWAP1 00001663: RETURN 00001664: JUMPDEST 00001665: PUSH1 0x40 00001667: DUP1 00001668: MLOAD 00001669: PUSH1 0x01 0000166b: PUSH1 0xa0 0000166d: PUSH1 0x02 0000166f: EXP 00001670: SUB 00001671: SWAP3 00001672: SWAP1 00001673: SWAP3 00001674: AND 00001675: DUP3 00001676: MSTORE 00001677: MLOAD 00001678: SWAP1 00001679: DUP2 0000167a: SWAP1 0000167b: SUB 0000167c: PUSH1 0x20 0000167e: ADD 0000167f: SWAP1 00001680: RETURN 00001681: JUMPDEST 00001682: PUSH1 0x40 00001684: DUP1 00001685: MLOAD 00001686: SWAP2 00001687: DUP3 00001688: MSTORE 00001689: MLOAD 0000168a: SWAP1 0000168b: DUP2 0000168c: SWAP1 0000168d: SUB 0000168e: PUSH1 0x20 00001690: ADD 00001691: SWAP1 00001692: RETURN 00001693: JUMPDEST 00001694: PUSH1 0x40 00001696: DUP1 00001697: MLOAD 00001698: PUSH1 0x01 0000169a: PUSH1 0xa0 0000169c: PUSH1 0x02 0000169e: EXP 0000169f: SUB 000016a0: DUP10 000016a1: AND 000016a2: DUP2 000016a3: MSTORE 000016a4: PUSH4 0xffffffff 000016a9: DUP9 000016aa: DUP2 000016ab: AND 000016ac: PUSH1 0x20 000016ae: DUP4 000016af: ADD 000016b0: MSTORE 000016b1: DUP8 000016b2: AND 000016b3: DUP2 000016b4: DUP4 000016b5: ADD 000016b6: MSTORE 000016b7: PUSH10 0xffffffffffffffffffff 000016c2: DUP7 000016c3: AND 000016c4: PUSH1 0x60 000016c6: DUP3 000016c7: ADD 000016c8: MSTORE 000016c9: PUSH1 0x80 000016cb: DUP2 000016cc: ADD 000016cd: DUP6 000016ce: SWAP1 000016cf: MSTORE 000016d0: PUSH1 0x13 000016d2: DUP5 000016d3: SWAP1 000016d4: SIGNEXTEND 000016d5: PUSH1 0xa0 000016d7: DUP3 000016d8: ADD 000016d9: MSTORE 000016da: SWAP1 000016db: MLOAD 000016dc: PUSH32 0xc471ac038c94409267ac6cbfd1f7e96b4e97a909be26595ad9dea2a47436e4f1 000016fd: SWAP2 000016fe: DUP2 000016ff: SWAP1 00001700: SUB 00001701: PUSH1 0xc0 00001703: ADD 00001704: SWAP1 00001705: LOG1 00001706: JUMPDEST 00001707: POP 00001708: POP 00001709: POP 0000170a: POP 0000170b: POP 0000170c: POP 0000170d: POP 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH1 0x40 00001712: DUP1 00001713: MLOAD 00001714: PUSH1 0x01 00001716: PUSH1 0xa0 00001718: PUSH1 0x02 0000171a: EXP 0000171b: SUB 0000171c: DUP11 0000171d: AND 0000171e: DUP2 0000171f: MSTORE 00001720: PUSH1 0x20 00001722: DUP2 00001723: ADD 00001724: DUP10 00001725: SWAP1 00001726: MSTORE 00001727: DUP1 00001728: DUP3 00001729: ADD 0000172a: DUP9 0000172b: SWAP1 0000172c: MSTORE 0000172d: PUSH1 0x60 0000172f: DUP2 00001730: ADD 00001731: DUP8 00001732: SWAP1 00001733: MSTORE 00001734: PUSH1 0x80 00001736: DUP2 00001737: ADD 00001738: DUP7 00001739: SWAP1 0000173a: MSTORE 0000173b: PUSH1 0xa0 0000173d: DUP2 0000173e: ADD 0000173f: DUP6 00001740: SWAP1 00001741: MSTORE 00001742: PUSH1 0x13 00001744: DUP5 00001745: SWAP1 00001746: SIGNEXTEND 00001747: PUSH1 0xc0 00001749: DUP3 0000174a: ADD 0000174b: MSTORE 0000174c: SWAP1 0000174d: MLOAD 0000174e: PUSH32 0xd88cf2fd5f56b8a4aff9f4bded90f026b3000bcef95516eb50d53891ab7fb09a 0000176f: SWAP2 00001770: DUP2 00001771: SWAP1 00001772: SUB 00001773: PUSH1 0xe0 00001775: ADD 00001776: SWAP1 00001777: LOG1 00001778: JUMPDEST 00001779: POP 0000177a: POP 0000177b: POP 0000177c: POP 0000177d: POP 0000177e: POP 0000177f: POP 00001780: POP 00001781: JUMP 00001782: JUMPDEST 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH1 0x40 00001787: DUP1 00001788: MLOAD 00001789: PUSH1 0x02 0000178b: SLOAD 0000178c: PUSH1 0xe2 0000178e: PUSH1 0x02 00001790: EXP 00001791: PUSH4 0x3eaf7a03 00001796: MUL 00001797: DUP3 00001798: MSTORE 00001799: PUSH1 0x01 0000179b: PUSH1 0xa0 0000179d: PUSH1 0x02 0000179f: EXP 000017a0: SUB 000017a1: DUP8 000017a2: DUP2 000017a3: AND 000017a4: PUSH1 0x04 000017a6: DUP5 000017a7: ADD 000017a8: MSTORE 000017a9: SWAP3 000017aa: MLOAD 000017ab: SWAP3 000017ac: AND 000017ad: SWAP2 000017ae: PUSH4 0xfabde80c 000017b3: SWAP2 000017b4: PUSH1 0x24 000017b6: DUP2 000017b7: DUP2 000017b8: ADD 000017b9: SWAP3 000017ba: PUSH1 0x20 000017bc: SWAP3 000017bd: SWAP1 000017be: SWAP2 000017bf: SWAP1 000017c0: DUP3 000017c1: SWAP1 000017c2: SUB 000017c3: ADD 000017c4: DUP2 000017c5: PUSH1 0x00 000017c7: DUP8 000017c8: PUSH2 0x61da 000017cb: GAS 000017cc: SUB 000017cd: CALL 000017ce: ISZERO 000017cf: PUSH2 0x0002 000017d2: JUMPI 000017d3: POP 000017d4: POP 000017d5: PUSH1 0x40 000017d7: DUP1 000017d8: MLOAD 000017d9: DUP1 000017da: MLOAD 000017db: PUSH1 0x03 000017dd: DUP1 000017de: SLOAD 000017df: PUSH1 0xc0 000017e1: PUSH1 0x02 000017e3: EXP 000017e4: DUP1 000017e5: DUP3 000017e6: DIV 000017e7: PUSH4 0xffffffff 000017ec: AND 000017ed: DUP5 000017ee: SWAP1 000017ef: SUB 000017f0: MUL 000017f1: PUSH1 0xc0 000017f3: PUSH1 0x02 000017f5: EXP 000017f6: PUSH4 0xffffffff 000017fb: MUL 000017fc: NOT 000017fd: SWAP2 000017fe: SWAP1 000017ff: SWAP2 00001800: AND 00001801: OR 00001802: SWAP1 00001803: SSTORE 00001804: PUSH1 0x02 00001806: SLOAD 00001807: PUSH32 0x82ee27cc00000000000000000000000000000000000000000000000000000000 00001828: DUP4 00001829: MSTORE 0000182a: PUSH1 0x01 0000182c: PUSH1 0xa0 0000182e: PUSH1 0x02 00001830: EXP 00001831: SUB 00001832: DUP10 00001833: DUP2 00001834: AND 00001835: PUSH1 0x04 00001837: DUP6 00001838: ADD 00001839: MSTORE 0000183a: PUSH1 0x00 0000183c: PUSH1 0x24 0000183e: DUP6 0000183f: ADD 00001840: DUP2 00001841: SWAP1 00001842: MSTORE 00001843: SWAP5 00001844: MLOAD 00001845: SWAP3 00001846: SWAP8 00001847: POP 00001848: AND 00001849: SWAP4 0000184a: POP 0000184b: PUSH4 0x82ee27cc 00001850: SWAP3 00001851: PUSH1 0x44 00001853: DUP4 00001854: DUP2 00001855: ADD 00001856: SWAP4 00001857: SWAP2 00001858: SWAP3 00001859: SWAP2 0000185a: DUP3 0000185b: SWAP1 0000185c: SUB 0000185d: ADD 0000185e: DUP2 0000185f: DUP4 00001860: DUP8 00001861: PUSH2 0x61da 00001864: GAS 00001865: SUB 00001866: CALL 00001867: ISZERO 00001868: PUSH2 0x0002 0000186b: JUMPI 0000186c: POP 0000186d: POP 0000186e: POP 0000186f: PUSH32 0x12c18955dac644495b5585b0366b5f13ad0dd73a3becd947d9cd5ca7e0e6f3eb 00001890: DUP5 00001891: DUP4 00001892: PUSH4 0xffffffff 00001897: AND 00001898: PUSH1 0x00 0000189a: SUB 0000189b: PUSH1 0x00 0000189d: PUSH1 0x00 0000189f: PUSH1 0x40 000018a1: MLOAD 000018a2: DUP1 000018a3: DUP6 000018a4: PUSH1 0x01 000018a6: PUSH1 0xa0 000018a8: PUSH1 0x02 000018aa: EXP 000018ab: SUB 000018ac: AND 000018ad: DUP2 000018ae: MSTORE 000018af: PUSH1 0x20 000018b1: ADD 000018b2: DUP5 000018b3: PUSH1 0x04 000018b5: SIGNEXTEND 000018b6: DUP2 000018b7: MSTORE 000018b8: PUSH1 0x20 000018ba: ADD 000018bb: DUP4 000018bc: DUP2 000018bd: MSTORE 000018be: PUSH1 0x20 000018c0: ADD 000018c1: DUP3 000018c2: DUP2 000018c3: MSTORE 000018c4: PUSH1 0x20 000018c6: ADD 000018c7: SWAP5 000018c8: POP 000018c9: POP 000018ca: POP 000018cb: POP 000018cc: POP 000018cd: PUSH1 0x40 000018cf: MLOAD 000018d0: DUP1 000018d1: SWAP2 000018d2: SUB 000018d3: SWAP1 000018d4: LOG1 000018d5: PUSH2 0x1940 000018d8: DUP4 000018d9: DUP4 000018da: PUSH1 0x60 000018dc: PUSH1 0x40 000018de: MLOAD 000018df: SWAP1 000018e0: DUP2 000018e1: ADD 000018e2: PUSH1 0x40 000018e4: MSTORE 000018e5: DUP1 000018e6: PUSH1 0x2c 000018e8: DUP2 000018e9: MSTORE 000018ea: PUSH1 0x20 000018ec: ADD 000018ed: PUSH32 0x5472616e736665722062616c616e63652066726f6d206f6e65206163636f756e 0000190e: DUP2 0000190f: MSTORE 00001910: PUSH1 0x20 00001912: ADD 00001913: PUSH32 0x7420746f20616e6f746865720000000000000000000000000000000000000000 00001934: DUP2 00001935: MSTORE 00001936: PUSH1 0x20 00001938: ADD 00001939: POP 0000193a: PUSH1 0x00 0000193c: PUSH2 0x0f59 0000193f: JUMP 00001940: JUMPDEST 00001941: PUSH1 0x40 00001943: DUP1 00001944: MLOAD 00001945: PUSH1 0x02 00001947: SLOAD 00001948: PUSH1 0xe1 0000194a: PUSH1 0x02 0000194c: EXP 0000194d: PUSH4 0x2010ac0d 00001952: MUL 00001953: DUP3 00001954: MSTORE 00001955: PUSH1 0x01 00001957: PUSH1 0xa0 00001959: PUSH1 0x02 0000195b: EXP 0000195c: SUB 0000195d: DUP8 0000195e: DUP2 0000195f: AND 00001960: PUSH1 0x04 00001962: DUP5 00001963: ADD 00001964: MSTORE 00001965: SWAP3 00001966: MLOAD 00001967: SWAP3 00001968: AND 00001969: SWAP2 0000196a: PUSH4 0x4021581a 0000196f: SWAP2 00001970: PUSH1 0x24 00001972: DUP2 00001973: DUP2 00001974: ADD 00001975: SWAP3 00001976: PUSH1 0x20 00001978: SWAP3 00001979: SWAP1 0000197a: SWAP2 0000197b: SWAP1 0000197c: DUP3 0000197d: SWAP1 0000197e: SUB 0000197f: ADD 00001980: DUP2 00001981: PUSH1 0x00 00001983: DUP8 00001984: PUSH2 0x61da 00001987: GAS 00001988: SUB 00001989: CALL 0000198a: ISZERO 0000198b: PUSH2 0x0002 0000198e: JUMPI 0000198f: POP 00001990: POP 00001991: PUSH1 0x40 00001993: MLOAD 00001994: MLOAD 00001995: SWAP2 00001996: POP 00001997: PUSH2 0x19a6 0000199a: SWAP1 0000199b: POP 0000199c: DUP5 0000199d: PUSH1 0x00 0000199f: DUP4 000019a0: SWAP1 000019a1: SUB 000019a2: PUSH2 0x14b0 000019a5: JUMP 000019a6: JUMPDEST 000019a7: PUSH2 0x19b0 000019aa: DUP4 000019ab: DUP3 000019ac: PUSH2 0x14b0 000019af: JUMP 000019b0: JUMPDEST 000019b1: PUSH2 0x11c6 000019b4: DUP5 000019b5: PUSH2 0x09c1 000019b8: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_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 | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x021b03b9",
"selector": "0x021b03b9",
"calldata_variants": [
"0x021b03b9",
"0x021b03b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 398,
"type": "tx_origin_used"
},
{
"pc": 948,
"type": "tx_origin_used"
},
{
"pc": 1106,
"type": "tx_origin_used"
},
{
"pc": 1468,
"type": "tx_origin_used"
},
{
"pc": 1539,
"type": "tx_origin_used"
},
{
"pc": 1647,
"type": "tx_origin_used"
},
{
"pc": 1822,
"type": "tx_origin_used"
},
{
"pc": 2540,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3506,
"type": "tx_origin_used"
},
{
"pc": 3972,
"type": "tx_origin_used"
},
{
"pc": 4767,
"type": "tx_origin_used"
},
{
"pc": 5339,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x140cb0b0e80fb78d7ec4988fae3844ab05aa738dbd4c6f042b01474d99f05346
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x140cb0b0e80fb78d7ec4988fae3844ab05aa738dbd4c6f042b01474d99f05346",
"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": "0x021b03b9",
"selector": "0x021b03b9",
"calldata_variants": [
"0x021b03b9",
"0x021b03b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 398,
"type": "tx_origin_used"
},
{
"pc": 948,
"type": "tx_origin_used"
},
{
"pc": 1106,
"type": "tx_origin_used"
},
{
"pc": 1468,
"type": "tx_origin_used"
},
{
"pc": 1539,
"type": "tx_origin_used"
},
{
"pc": 1647,
"type": "tx_origin_used"
},
{
"pc": 1822,
"type": "tx_origin_used"
},
{
"pc": 2540,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3506,
"type": "tx_origin_used"
},
{
"pc": 3972,
"type": "tx_origin_used"
},
{
"pc": 4767,
"type": "tx_origin_used"
},
{
"pc": 5339,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0x01ea369f55ac0f07783f82a2f74d14b16a2e8b485ccde254d616c13da9f5bfd5
call_targets:
0x21ee88ee5352f4f76df55a877cacd40ae59bd3cf, 0x2cac6e4b11d6b58f6d3c1c9d5fe8faa89f60e5a2, 0xdaaa189226c00fcb171ef22fda7737d9c4eee709
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x01ea369f55ac0f07783f82a2f74d14b16a2e8b485ccde254d616c13da9f5bfd5",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x21ee88ee5352f4f76df55a877cacd40ae59bd3cf",
"0x2cac6e4b11d6b58f6d3c1c9d5fe8faa89f60e5a2",
"0xdaaa189226c00fcb171ef22fda7737d9c4eee709"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x021b03b9",
"selector": "0x021b03b9",
"calldata_variants": [
"0x021b03b9",
"0x021b03b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 450,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 712,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 37,
"guards_detected": [
{
"pc": 398,
"type": "tx_origin_used"
},
{
"pc": 948,
"type": "tx_origin_used"
},
{
"pc": 1106,
"type": "tx_origin_used"
},
{
"pc": 1468,
"type": "tx_origin_used"
},
{
"pc": 1539,
"type": "tx_origin_used"
},
{
"pc": 1647,
"type": "tx_origin_used"
},
{
"pc": 1822,
"type": "tx_origin_used"
},
{
"pc": 2540,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3506,
"type": "tx_origin_used"
},
{
"pc": 3972,
"type": "tx_origin_used"
},
{
"pc": 4767,
"type": "tx_origin_used"
},
{
"pc": 5339,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 37
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x01ea369f55ac0f07783f82a2f74d14b16a2e8b485ccde254d616c13da9f5bfd5
call_targets:
0x21ee88ee5352f4f76df55a877cacd40ae59bd3cf, 0x2cac6e4b11d6b58f6d3c1c9d5fe8faa89f60e5a2, 0xdaaa189226c00fcb171ef22fda7737d9c4eee709
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x01ea369f55ac0f07783f82a2f74d14b16a2e8b485ccde254d616c13da9f5bfd5",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x21ee88ee5352f4f76df55a877cacd40ae59bd3cf",
"0x2cac6e4b11d6b58f6d3c1c9d5fe8faa89f60e5a2",
"0xdaaa189226c00fcb171ef22fda7737d9c4eee709"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x021b03b9",
"selector": "0x021b03b9",
"calldata_variants": [
"0x021b03b9",
"0x021b03b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 450,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 712,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 37,
"guards_detected": [
{
"pc": 398,
"type": "tx_origin_used"
},
{
"pc": 948,
"type": "tx_origin_used"
},
{
"pc": 1106,
"type": "tx_origin_used"
},
{
"pc": 1468,
"type": "tx_origin_used"
},
{
"pc": 1539,
"type": "tx_origin_used"
},
{
"pc": 1647,
"type": "tx_origin_used"
},
{
"pc": 1822,
"type": "tx_origin_used"
},
{
"pc": 2540,
"type": "tx_origin_used"
},
{
"pc": 3009,
"type": "tx_origin_used"
},
{
"pc": 3506,
"type": "tx_origin_used"
},
{
"pc": 3972,
"type": "tx_origin_used"
},
{
"pc": 4767,
"type": "tx_origin_used"
},
{
"pc": 5339,
"type": "tx_origin_used"
}
]
}
|
| medium | auth | codex | Authorization uses tx.origin (phishable / bypassable via intermediary contracts) | 75 | no | — |
viewevidence_json{
"evidence": "Detector flagged multiple tx.origin guard sites (no sink mapping). Bytecode guards detected at several PCs indicating tx.origin is used in authorization logic.",
"locations": [
"pc:0x18e",
"pc:0x3b4",
"pc:0x452",
"pc:0x5bc",
"pc:0x603",
"pc:0x66f",
"pc:0x71e",
"pc:0x9ec",
"pc:0xbc1",
"pc:0xdb2",
"pc:0xf84",
"pc:0x129f",
"pc:0x14db"
],
"recommendation": "Replace tx.origin-based checks with msg.sender-based role checks (e.g., owner/role mappings). If EOA-only behavior is intended, use EIP-1271 or explicit signature checks instead of tx.origin.",
"exploit_scenario": "If privileged checks rely on `tx.origin`, a malicious contract can trick the authorized EOA into calling it and then invoke the privileged function with `tx.origin` preserved, bypassing intended access control. This is inferred from multiple tx.origin guard sites and may not cover all paths."
}
|
| medium | other | codex | Computed external CALLs with ETH value; potential arbitrary call/value transfers and reentrancy risk | 75 | no | — |
viewevidence_json{
"evidence": "Detector confirmed 37 CALL sites with computed targets and possible nonzero value; validation indicates targets can vary. Return-data checking is unknown.",
"locations": [
"pc:0x1c2",
"pc:0x260",
"pc:0x2c8",
"pc:0x3e0",
"pc:0x486",
"pc:0x68d",
"pc:0x757",
"pc:0x8b9",
"pc:0x9ad",
"pc:0xa2d",
"pc:0xace",
"pc:0xb93",
"pc:0xd4e",
"pc:0xf6a",
"pc:0x1276",
"pc:0x135d",
"pc:0x155b",
"pc:0x17fd",
"pc:0x187e"
],
"recommendation": "Restrict call targets and value via allowlists or immutable config, apply checks-effects-interactions and/or a reentrancy guard around external calls, and verify/handle CALL return data explicitly.",
"exploit_scenario": "The contract performs many external CALLs where the target and/or value appear computed. If any of these parameters are influenced by user input or mutable storage, an attacker could direct ETH to arbitrary addresses or invoke untrusted contracts that reenter into this contract. Bytecode-only analysis cannot confirm gating or state-update order."
}
|
| low | other | codex | SELFDESTRUCT opcode present; reachability unclear | 65 | no | — |
viewevidence_json{
"evidence": "Heuristics flagged a SELFDESTRUCT opcode (count: 1); detector could not validate a concrete sink path.",
"locations": [
"pc:unknown"
],
"recommendation": "Remove SELFDESTRUCT if not strictly required, or tightly gate it with robust access control and time delays. Consider a kill-switch pattern without SELFDESTRUCT if funds must remain recoverable.",
"exploit_scenario": "If a callable path reaches SELFDESTRUCT, an attacker or compromised admin could permanently destroy the contract and redirect remaining ETH to a beneficiary. The detector could not confirm a reachable sink, so this remains uncertain."
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 37
}
|