019b477e-b3d0-72d6-b1b0-6d04e3ab0246
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 |
|---|---|---|---|---|
| 22621 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22622 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89649 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 89650 | capability.graph | complete | 1 / 3 | 1 week ago |
| 89651 | detector.run | complete | 1 / 3 | 1 week ago |
| 89652 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113764 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-kqybw9h1 model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c9d-e531-7a80-a2ef-ea32207948cf -------- 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. warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime. ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM. ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
{
"codex": {
"ran_at": "2026-04-05T07:49:06.617967+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 7890,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011b 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0xcfc247 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0120 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x24600fc3 00000045: EQ 00000046: PUSH2 0x013d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x2b63c4fb 00000050: EQ 00000051: PUSH2 0x0152 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x3bed33ce 0000005b: EQ 0000005c: PUSH2 0x018b 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x5395b702 00000066: EQ 00000067: PUSH2 0x01a3 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x545b1e98 00000071: EQ 00000072: PUSH2 0x01b8 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x5c627935 0000007c: EQ 0000007d: PUSH2 0x01e1 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x715018a6 00000087: EQ 00000088: PUSH2 0x0200 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x79d77110 00000092: EQ 00000093: PUSH2 0x0215 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x8701fe3d 0000009d: EQ 0000009e: PUSH2 0x0220 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x8da5cb5b 000000a8: EQ 000000a9: PUSH2 0x0238 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x8f32d59b 000000b3: EQ 000000b4: PUSH2 0x0269 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x919747fb 000000be: EQ 000000bf: PUSH2 0x027e 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xbe580955 000000c9: EQ 000000ca: PUSH2 0x0292 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xce23f3ce 000000d4: EQ 000000d5: PUSH2 0x02a7 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xd16987f9 000000df: EQ 000000e0: PUSH2 0x02c2 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xd579ee65 000000ea: EQ 000000eb: PUSH2 0x02da 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xd6d11c7f 000000f5: EQ 000000f6: PUSH2 0x02e2 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xe0dba60f 00000100: EQ 00000101: PUSH2 0x0303 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xe2c76d30 0000010b: EQ 0000010c: PUSH2 0x0329 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xf2fde38b 00000116: EQ 00000117: PUSH2 0x0347 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: PUSH1 0x00 0000011e: DUP1 0000011f: REVERT 00000120: JUMPDEST 00000121: CALLVALUE 00000122: DUP1 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: POP 0000012e: PUSH2 0x013b 00000131: PUSH1 0x04 00000133: CALLDATALOAD 00000134: PUSH1 0x24 00000136: CALLDATALOAD 00000137: PUSH2 0x0368 0000013a: JUMP 0000013b: JUMPDEST 0000013c: STOP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: DUP1 00000140: ISZERO 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: PUSH2 0x013b 0000014e: PUSH2 0x03d0 00000151: JUMP 00000152: JUMPDEST 00000153: CALLVALUE 00000154: DUP1 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: POP 00000160: PUSH2 0x0179 00000163: PUSH1 0x04 00000165: CALLDATALOAD 00000166: PUSH1 0x01 00000168: PUSH1 0xa0 0000016a: PUSH1 0x02 0000016c: EXP 0000016d: SUB 0000016e: PUSH1 0x24 00000170: CALLDATALOAD 00000171: AND 00000172: PUSH1 0x44 00000174: CALLDATALOAD 00000175: PUSH2 0x0411 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH1 0x40 0000017c: DUP1 0000017d: MLOAD 0000017e: SWAP2 0000017f: DUP3 00000180: MSTORE 00000181: MLOAD 00000182: SWAP1 00000183: DUP2 00000184: SWAP1 00000185: SUB 00000186: PUSH1 0x20 00000188: ADD 00000189: SWAP1 0000018a: RETURN 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x013b 0000019c: PUSH1 0x04 0000019e: CALLDATALOAD 0000019f: PUSH2 0x04da 000001a2: JUMP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x0179 000001b4: PUSH2 0x0561 000001b7: JUMP 000001b8: JUMPDEST 000001b9: CALLVALUE 000001ba: DUP1 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: POP 000001c6: PUSH2 0x01cd 000001c9: PUSH2 0x0568 000001cc: JUMP 000001cd: JUMPDEST 000001ce: PUSH1 0x40 000001d0: DUP1 000001d1: MLOAD 000001d2: SWAP2 000001d3: ISZERO 000001d4: ISZERO 000001d5: DUP3 000001d6: MSTORE 000001d7: MLOAD 000001d8: SWAP1 000001d9: DUP2 000001da: SWAP1 000001db: SUB 000001dc: PUSH1 0x20 000001de: ADD 000001df: SWAP1 000001e0: RETURN 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH2 0x013b 000001f2: PUSH1 0x04 000001f4: CALLDATALOAD 000001f5: ISZERO 000001f6: ISZERO 000001f7: PUSH1 0x24 000001f9: CALLDATALOAD 000001fa: ISZERO 000001fb: ISZERO 000001fc: PUSH2 0x05a8 000001ff: JUMP 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x013b 00000211: PUSH2 0x05d7 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x013b 00000219: PUSH1 0x04 0000021b: CALLDATALOAD 0000021c: PUSH2 0x0641 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0179 00000231: PUSH1 0x04 00000233: CALLDATALOAD 00000234: PUSH2 0x06a5 00000237: JUMP 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: DUP1 0000023b: ISZERO 0000023c: PUSH2 0x0244 0000023f: JUMPI 00000240: PUSH1 0x00 00000242: DUP1 00000243: REVERT 00000244: JUMPDEST 00000245: POP 00000246: PUSH2 0x024d 00000249: PUSH2 0x06b7 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x40 00000250: DUP1 00000251: MLOAD 00000252: PUSH1 0x01 00000254: PUSH1 0xa0 00000256: PUSH1 0x02 00000258: EXP 00000259: SUB 0000025a: SWAP1 0000025b: SWAP3 0000025c: AND 0000025d: DUP3 0000025e: MSTORE 0000025f: MLOAD 00000260: SWAP1 00000261: DUP2 00000262: SWAP1 00000263: SUB 00000264: PUSH1 0x20 00000266: ADD 00000267: SWAP1 00000268: RETURN 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH2 0x01cd 0000027a: PUSH2 0x06c6 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH2 0x013b 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: PUSH1 0x04 0000028c: CALLDATALOAD 0000028d: AND 0000028e: PUSH2 0x06d7 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x013b 000002a3: PUSH2 0x0744 000002a6: JUMP 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: PUSH2 0x024d 000002b8: PUSH1 0xff 000002ba: PUSH1 0x04 000002bc: CALLDATALOAD 000002bd: AND 000002be: PUSH2 0x080b 000002c1: JUMP 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x013b 000002d3: PUSH1 0x04 000002d5: CALLDATALOAD 000002d6: PUSH2 0x083a 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x013b 000002de: PUSH2 0x0870 000002e1: JUMP 000002e2: JUMPDEST 000002e3: CALLVALUE 000002e4: DUP1 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: POP 000002f0: PUSH2 0x0179 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: PUSH1 0x02 000002f9: EXP 000002fa: SUB 000002fb: PUSH1 0x04 000002fd: CALLDATALOAD 000002fe: AND 000002ff: PUSH2 0x08d8 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x013b 00000314: PUSH1 0x01 00000316: PUSH1 0xa0 00000318: PUSH1 0x02 0000031a: EXP 0000031b: SUB 0000031c: PUSH1 0x04 0000031e: CALLDATALOAD 0000031f: AND 00000320: PUSH1 0x24 00000322: CALLDATALOAD 00000323: ISZERO 00000324: ISZERO 00000325: PUSH2 0x08f3 00000328: JUMP 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: DUP1 0000032c: ISZERO 0000032d: PUSH2 0x0335 00000330: JUMPI 00000331: PUSH1 0x00 00000333: DUP1 00000334: REVERT 00000335: JUMPDEST 00000336: POP 00000337: PUSH2 0x013b 0000033a: PUSH1 0x04 0000033c: CALLDATALOAD 0000033d: PUSH1 0x24 0000033f: CALLDATALOAD 00000340: PUSH1 0x44 00000342: CALLDATALOAD 00000343: PUSH2 0x0af9 00000346: JUMP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH2 0x013b 00000358: PUSH1 0x01 0000035a: PUSH1 0xa0 0000035c: PUSH1 0x02 0000035e: EXP 0000035f: SUB 00000360: PUSH1 0x04 00000362: CALLDATALOAD 00000363: AND 00000364: PUSH2 0x0c26 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH2 0x0370 0000036c: PUSH2 0x0568 0000036f: JUMP 00000370: JUMPDEST 00000371: DUP1 00000372: ISZERO 00000373: PUSH2 0x037e 00000376: JUMPI 00000377: POP 00000378: PUSH1 0x03 0000037a: SLOAD 0000037b: PUSH1 0xff 0000037d: AND 0000037e: JUMPDEST 0000037f: ISZERO 00000380: ISZERO 00000381: PUSH2 0x03c2 00000384: JUMPI 00000385: PUSH1 0x40 00000387: DUP1 00000388: MLOAD 00000389: PUSH1 0xe5 0000038b: PUSH1 0x02 0000038d: EXP 0000038e: PUSH3 0x461bcd 00000392: MUL 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x20 00000397: PUSH1 0x04 00000399: DUP3 0000039a: ADD 0000039b: MSTORE 0000039c: PUSH1 0x19 0000039e: PUSH1 0x24 000003a0: DUP3 000003a1: ADD 000003a2: MSTORE 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: MLOAD 000003a7: PUSH1 0x20 000003a9: PUSH2 0x0f1d 000003ac: DUP4 000003ad: CODECOPY 000003ae: DUP2 000003af: MLOAD 000003b0: SWAP2 000003b1: MSTORE 000003b2: PUSH1 0x44 000003b4: DUP3 000003b5: ADD 000003b6: MSTORE 000003b7: SWAP1 000003b8: MLOAD 000003b9: SWAP1 000003ba: DUP2 000003bb: SWAP1 000003bc: SUB 000003bd: PUSH1 0x64 000003bf: ADD 000003c0: SWAP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: PUSH2 0x03cc 000003c6: DUP3 000003c7: DUP3 000003c8: PUSH2 0x0c42 000003cb: JUMP 000003cc: JUMPDEST 000003cd: POP 000003ce: POP 000003cf: JUMP 000003d0: JUMPDEST 000003d1: CALLER 000003d2: PUSH2 0x08fc 000003d5: PUSH2 0x03e6 000003d8: DUP3 000003d9: PUSH2 0x03e1 000003dc: DUP2 000003dd: PUSH2 0x08d8 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH2 0x0ca6 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH1 0x40 000003e9: MLOAD 000003ea: DUP2 000003eb: ISZERO 000003ec: SWAP1 000003ed: SWAP3 000003ee: MUL 000003ef: SWAP2 000003f0: PUSH1 0x00 000003f2: DUP2 000003f3: DUP2 000003f4: DUP2 000003f5: DUP6 000003f6: DUP9 000003f7: DUP9 000003f8: CALL 000003f9: SWAP4 000003fa: POP 000003fb: POP 000003fc: POP 000003fd: POP 000003fe: ISZERO 000003ff: DUP1 00000400: ISZERO 00000401: PUSH2 0x040e 00000404: JUMPI 00000405: RETURNDATASIZE 00000406: PUSH1 0x00 00000408: DUP1 00000409: RETURNDATACOPY 0000040a: RETURNDATASIZE 0000040b: PUSH1 0x00 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH1 0x00 00000414: DUP1 00000415: PUSH2 0x041c 00000418: PUSH2 0x0568 0000041b: JUMP 0000041c: JUMPDEST 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x042a 00000422: JUMPI 00000423: POP 00000424: PUSH1 0x03 00000426: SLOAD 00000427: PUSH1 0xff 00000429: AND 0000042a: JUMPDEST 0000042b: ISZERO 0000042c: ISZERO 0000042d: PUSH2 0x046e 00000430: JUMPI 00000431: PUSH1 0x40 00000433: DUP1 00000434: MLOAD 00000435: PUSH1 0xe5 00000437: PUSH1 0x02 00000439: EXP 0000043a: PUSH3 0x461bcd 0000043e: MUL 0000043f: DUP2 00000440: MSTORE 00000441: PUSH1 0x20 00000443: PUSH1 0x04 00000445: DUP3 00000446: ADD 00000447: MSTORE 00000448: PUSH1 0x19 0000044a: PUSH1 0x24 0000044c: DUP3 0000044d: ADD 0000044e: MSTORE 0000044f: PUSH1 0x00 00000451: DUP1 00000452: MLOAD 00000453: PUSH1 0x20 00000455: PUSH2 0x0f1d 00000458: DUP4 00000459: CODECOPY 0000045a: DUP2 0000045b: MLOAD 0000045c: SWAP2 0000045d: MSTORE 0000045e: PUSH1 0x44 00000460: DUP3 00000461: ADD 00000462: MSTORE 00000463: SWAP1 00000464: MLOAD 00000465: SWAP1 00000466: DUP2 00000467: SWAP1 00000468: SUB 00000469: PUSH1 0x64 0000046b: ADD 0000046c: SWAP1 0000046d: REVERT 0000046e: JUMPDEST 0000046f: PUSH2 0x0478 00000472: DUP6 00000473: DUP5 00000474: PUSH2 0x0ca6 00000477: JUMP 00000478: JUMPDEST 00000479: SWAP1 0000047a: POP 0000047b: PUSH1 0x01 0000047d: PUSH1 0xa0 0000047f: PUSH1 0x02 00000481: EXP 00000482: SUB 00000483: DUP5 00000484: AND 00000485: ISZERO 00000486: PUSH2 0x04c1 00000489: JUMPI 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: PUSH1 0x01 0000048f: PUSH1 0xa0 00000491: PUSH1 0x02 00000493: EXP 00000494: SUB 00000495: DUP6 00000496: AND 00000497: SWAP1 00000498: DUP3 00000499: ISZERO 0000049a: PUSH2 0x08fc 0000049d: MUL 0000049e: SWAP1 0000049f: DUP4 000004a0: SWAP1 000004a1: PUSH1 0x00 000004a3: DUP2 000004a4: DUP2 000004a5: DUP2 000004a6: DUP6 000004a7: DUP9 000004a8: DUP9 000004a9: CALL 000004aa: SWAP4 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: POP 000004af: ISZERO 000004b0: DUP1 000004b1: ISZERO 000004b2: PUSH2 0x04bf 000004b5: JUMPI 000004b6: RETURNDATASIZE 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: RETURNDATACOPY 000004bb: RETURNDATASIZE 000004bc: PUSH1 0x00 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: JUMPDEST 000004c2: PUSH2 0x04d1 000004c5: DUP4 000004c6: DUP3 000004c7: PUSH4 0xffffffff 000004cc: PUSH2 0x0d92 000004cf: AND 000004d0: JUMP 000004d1: JUMPDEST 000004d2: SWAP6 000004d3: SWAP5 000004d4: POP 000004d5: POP 000004d6: POP 000004d7: POP 000004d8: POP 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH2 0x04e2 000004de: PUSH2 0x0568 000004e1: JUMP 000004e2: JUMPDEST 000004e3: DUP1 000004e4: ISZERO 000004e5: PUSH2 0x04f0 000004e8: JUMPI 000004e9: POP 000004ea: PUSH1 0x03 000004ec: SLOAD 000004ed: PUSH1 0xff 000004ef: AND 000004f0: JUMPDEST 000004f1: ISZERO 000004f2: ISZERO 000004f3: PUSH2 0x0534 000004f6: JUMPI 000004f7: PUSH1 0x40 000004f9: DUP1 000004fa: MLOAD 000004fb: PUSH1 0xe5 000004fd: PUSH1 0x02 000004ff: EXP 00000500: PUSH3 0x461bcd 00000504: MUL 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: PUSH1 0x04 0000050b: DUP3 0000050c: ADD 0000050d: MSTORE 0000050e: PUSH1 0x19 00000510: PUSH1 0x24 00000512: DUP3 00000513: ADD 00000514: MSTORE 00000515: PUSH1 0x00 00000517: DUP1 00000518: MLOAD 00000519: PUSH1 0x20 0000051b: PUSH2 0x0f1d 0000051e: DUP4 0000051f: CODECOPY 00000520: DUP2 00000521: MLOAD 00000522: SWAP2 00000523: MSTORE 00000524: PUSH1 0x44 00000526: DUP3 00000527: ADD 00000528: MSTORE 00000529: SWAP1 0000052a: MLOAD 0000052b: SWAP1 0000052c: DUP2 0000052d: SWAP1 0000052e: SUB 0000052f: PUSH1 0x64 00000531: ADD 00000532: SWAP1 00000533: REVERT 00000534: JUMPDEST 00000535: PUSH1 0x40 00000537: MLOAD 00000538: CALLER 00000539: SWAP1 0000053a: DUP3 0000053b: ISZERO 0000053c: PUSH2 0x08fc 0000053f: MUL 00000540: SWAP1 00000541: DUP4 00000542: SWAP1 00000543: PUSH1 0x00 00000545: DUP2 00000546: DUP2 00000547: DUP2 00000548: DUP6 00000549: DUP9 0000054a: DUP9 0000054b: CALL 0000054c: SWAP4 0000054d: POP 0000054e: POP 0000054f: POP 00000550: POP 00000551: ISZERO 00000552: DUP1 00000553: ISZERO 00000554: PUSH2 0x03cc 00000557: JUMPI 00000558: RETURNDATASIZE 00000559: PUSH1 0x00 0000055b: DUP1 0000055c: RETURNDATACOPY 0000055d: RETURNDATASIZE 0000055e: PUSH1 0x00 00000560: REVERT 00000561: JUMPDEST 00000562: PUSH1 0x02 00000564: SLOAD 00000565: JUMPDEST 00000566: SWAP1 00000567: JUMP 00000568: JUMPDEST 00000569: CALLER 0000056a: PUSH1 0x00 0000056c: SWAP1 0000056d: DUP2 0000056e: MSTORE 0000056f: PUSH1 0x01 00000571: PUSH1 0x20 00000573: DUP2 00000574: SWAP1 00000575: MSTORE 00000576: PUSH1 0x40 00000578: DUP3 00000579: KECCAK256 0000057a: SLOAD 0000057b: PUSH1 0xff 0000057d: AND 0000057e: ISZERO 0000057f: ISZERO 00000580: EQ 00000581: DUP1 00000582: PUSH2 0x05a3 00000585: JUMPI 00000586: POP 00000587: PUSH2 0x058e 0000058a: PUSH2 0x06b7 0000058d: JUMP 0000058e: JUMPDEST 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: PUSH1 0x02 00000595: EXP 00000596: SUB 00000597: AND 00000598: CALLER 00000599: PUSH1 0x01 0000059b: PUSH1 0xa0 0000059d: PUSH1 0x02 0000059f: EXP 000005a0: SUB 000005a1: AND 000005a2: EQ 000005a3: JUMPDEST 000005a4: SWAP1 000005a5: POP 000005a6: SWAP1 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH2 0x05b0 000005ac: PUSH2 0x06c6 000005af: JUMP 000005b0: JUMPDEST 000005b1: ISZERO 000005b2: ISZERO 000005b3: PUSH2 0x05bb 000005b6: JUMPI 000005b7: PUSH1 0x00 000005b9: DUP1 000005ba: REVERT 000005bb: JUMPDEST 000005bc: PUSH1 0x03 000005be: DUP1 000005bf: SLOAD 000005c0: PUSH1 0xff 000005c2: NOT 000005c3: AND 000005c4: DUP4 000005c5: ISZERO 000005c6: ISZERO 000005c7: OR 000005c8: SWAP1 000005c9: SSTORE 000005ca: DUP1 000005cb: ISZERO 000005cc: PUSH2 0x03cc 000005cf: JUMPI 000005d0: PUSH2 0x03cc 000005d3: PUSH2 0x0744 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH2 0x05df 000005db: PUSH2 0x06c6 000005de: JUMP 000005df: JUMPDEST 000005e0: ISZERO 000005e1: ISZERO 000005e2: PUSH2 0x05ea 000005e5: JUMPI 000005e6: PUSH1 0x00 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: PUSH1 0x00 000005ed: DUP1 000005ee: SLOAD 000005ef: PUSH1 0x40 000005f1: MLOAD 000005f2: PUSH1 0x01 000005f4: PUSH1 0xa0 000005f6: PUSH1 0x02 000005f8: EXP 000005f9: SUB 000005fa: SWAP1 000005fb: SWAP2 000005fc: AND 000005fd: SWAP1 000005fe: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000061f: SWAP1 00000620: DUP4 00000621: SWAP1 00000622: LOG3 00000623: PUSH1 0x00 00000625: DUP1 00000626: SLOAD 00000627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063c: NOT 0000063d: AND 0000063e: SWAP1 0000063f: SSTORE 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH2 0x0649 00000645: PUSH2 0x0568 00000648: JUMP 00000649: JUMPDEST 0000064a: DUP1 0000064b: ISZERO 0000064c: PUSH2 0x0657 0000064f: JUMPI 00000650: POP 00000651: PUSH1 0x03 00000653: SLOAD 00000654: PUSH1 0xff 00000656: AND 00000657: JUMPDEST 00000658: ISZERO 00000659: ISZERO 0000065a: PUSH2 0x069b 0000065d: JUMPI 0000065e: PUSH1 0x40 00000660: DUP1 00000661: MLOAD 00000662: PUSH1 0xe5 00000664: PUSH1 0x02 00000666: EXP 00000667: PUSH3 0x461bcd 0000066b: MUL 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: PUSH1 0x04 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: PUSH1 0x19 00000677: PUSH1 0x24 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: PUSH1 0x00 0000067e: DUP1 0000067f: MLOAD 00000680: PUSH1 0x20 00000682: PUSH2 0x0f1d 00000685: DUP4 00000686: CODECOPY 00000687: DUP2 00000688: MLOAD 00000689: SWAP2 0000068a: MSTORE 0000068b: PUSH1 0x44 0000068d: DUP3 0000068e: ADD 0000068f: MSTORE 00000690: SWAP1 00000691: MLOAD 00000692: SWAP1 00000693: DUP2 00000694: SWAP1 00000695: SUB 00000696: PUSH1 0x64 00000698: ADD 00000699: SWAP1 0000069a: REVERT 0000069b: JUMPDEST 0000069c: PUSH2 0x040e 0000069f: DUP2 000006a0: CALLVALUE 000006a1: PUSH2 0x0c42 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x00 000006a8: SWAP1 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x04 000006ad: PUSH1 0x20 000006af: MSTORE 000006b0: PUSH1 0x40 000006b2: SWAP1 000006b3: KECCAK256 000006b4: SLOAD 000006b5: SWAP1 000006b6: JUMP 000006b7: JUMPDEST 000006b8: PUSH1 0x00 000006ba: SLOAD 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: AND 000006c4: SWAP1 000006c5: JUMP 000006c6: JUMPDEST 000006c7: PUSH1 0x00 000006c9: SLOAD 000006ca: PUSH1 0x01 000006cc: PUSH1 0xa0 000006ce: PUSH1 0x02 000006d0: EXP 000006d1: SUB 000006d2: AND 000006d3: CALLER 000006d4: EQ 000006d5: SWAP1 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH2 0x06df 000006db: PUSH2 0x0568 000006de: JUMP 000006df: JUMPDEST 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06ed 000006e5: JUMPI 000006e6: POP 000006e7: PUSH1 0x03 000006e9: SLOAD 000006ea: PUSH1 0xff 000006ec: AND 000006ed: JUMPDEST 000006ee: ISZERO 000006ef: ISZERO 000006f0: PUSH2 0x0731 000006f3: JUMPI 000006f4: PUSH1 0x40 000006f6: DUP1 000006f7: MLOAD 000006f8: PUSH1 0xe5 000006fa: PUSH1 0x02 000006fc: EXP 000006fd: PUSH3 0x461bcd 00000701: MUL 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x20 00000706: PUSH1 0x04 00000708: DUP3 00000709: ADD 0000070a: MSTORE 0000070b: PUSH1 0x19 0000070d: PUSH1 0x24 0000070f: DUP3 00000710: ADD 00000711: MSTORE 00000712: PUSH1 0x00 00000714: DUP1 00000715: MLOAD 00000716: PUSH1 0x20 00000718: PUSH2 0x0f1d 0000071b: DUP4 0000071c: CODECOPY 0000071d: DUP2 0000071e: MLOAD 0000071f: SWAP2 00000720: MSTORE 00000721: PUSH1 0x44 00000723: DUP3 00000724: ADD 00000725: MSTORE 00000726: SWAP1 00000727: MLOAD 00000728: SWAP1 00000729: DUP2 0000072a: SWAP1 0000072b: SUB 0000072c: PUSH1 0x64 0000072e: ADD 0000072f: SWAP1 00000730: REVERT 00000731: JUMPDEST 00000732: PUSH2 0x040e 00000735: DUP2 00000736: PUSH1 0x01 00000738: PUSH1 0xa0 0000073a: PUSH1 0x02 0000073c: EXP 0000073d: SUB 0000073e: AND 0000073f: CALLVALUE 00000740: PUSH2 0x0c42 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH1 0x00 00000747: PUSH2 0x074e 0000074a: PUSH2 0x0568 0000074d: JUMP 0000074e: JUMPDEST 0000074f: DUP1 00000750: ISZERO 00000751: PUSH2 0x075c 00000754: JUMPI 00000755: POP 00000756: PUSH1 0x03 00000758: SLOAD 00000759: PUSH1 0xff 0000075b: AND 0000075c: JUMPDEST 0000075d: ISZERO 0000075e: ISZERO 0000075f: PUSH2 0x07a0 00000762: JUMPI 00000763: PUSH1 0x40 00000765: DUP1 00000766: MLOAD 00000767: PUSH1 0xe5 00000769: PUSH1 0x02 0000076b: EXP 0000076c: PUSH3 0x461bcd 00000770: MUL 00000771: DUP2 00000772: MSTORE 00000773: PUSH1 0x20 00000775: PUSH1 0x04 00000777: DUP3 00000778: ADD 00000779: MSTORE 0000077a: PUSH1 0x19 0000077c: PUSH1 0x24 0000077e: DUP3 0000077f: ADD 00000780: MSTORE 00000781: PUSH1 0x00 00000783: DUP1 00000784: MLOAD 00000785: PUSH1 0x20 00000787: PUSH2 0x0f1d 0000078a: DUP4 0000078b: CODECOPY 0000078c: DUP2 0000078d: MLOAD 0000078e: SWAP2 0000078f: MSTORE 00000790: PUSH1 0x44 00000792: DUP3 00000793: ADD 00000794: MSTORE 00000795: SWAP1 00000796: MLOAD 00000797: SWAP1 00000798: DUP2 00000799: SWAP1 0000079a: SUB 0000079b: PUSH1 0x64 0000079d: ADD 0000079e: SWAP1 0000079f: REVERT 000007a0: JUMPDEST 000007a1: POP 000007a2: PUSH1 0x00 000007a4: JUMPDEST 000007a5: PUSH1 0x02 000007a7: SLOAD 000007a8: DUP2 000007a9: LT 000007aa: ISZERO 000007ab: PUSH2 0x07ff 000007ae: JUMPI 000007af: PUSH1 0x00 000007b1: PUSH1 0x01 000007b3: PUSH1 0x00 000007b5: PUSH1 0x02 000007b7: DUP5 000007b8: DUP2 000007b9: SLOAD 000007ba: DUP2 000007bb: LT 000007bc: ISZERO 000007bd: ISZERO 000007be: PUSH2 0x07c3 000007c1: JUMPI 000007c2: INVALID 000007c3: JUMPDEST 000007c4: PUSH1 0x00 000007c6: SWAP2 000007c7: DUP3 000007c8: MSTORE 000007c9: PUSH1 0x20 000007cb: DUP1 000007cc: DUP4 000007cd: KECCAK256 000007ce: SWAP2 000007cf: SWAP1 000007d0: SWAP2 000007d1: ADD 000007d2: SLOAD 000007d3: PUSH1 0x01 000007d5: PUSH1 0xa0 000007d7: PUSH1 0x02 000007d9: EXP 000007da: SUB 000007db: AND 000007dc: DUP4 000007dd: MSTORE 000007de: DUP3 000007df: ADD 000007e0: SWAP3 000007e1: SWAP1 000007e2: SWAP3 000007e3: MSTORE 000007e4: PUSH1 0x40 000007e6: ADD 000007e7: SWAP1 000007e8: KECCAK256 000007e9: DUP1 000007ea: SLOAD 000007eb: PUSH1 0xff 000007ed: NOT 000007ee: AND 000007ef: SWAP2 000007f0: ISZERO 000007f1: ISZERO 000007f2: SWAP2 000007f3: SWAP1 000007f4: SWAP2 000007f5: OR 000007f6: SWAP1 000007f7: SSTORE 000007f8: PUSH1 0x01 000007fa: ADD 000007fb: PUSH2 0x07a4 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH2 0x040e 00000803: PUSH1 0x02 00000805: PUSH1 0x00 00000807: PUSH2 0x0ea0 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x00 0000080e: PUSH1 0x02 00000810: DUP3 00000811: PUSH1 0xff 00000813: AND 00000814: DUP2 00000815: SLOAD 00000816: DUP2 00000817: LT 00000818: ISZERO 00000819: ISZERO 0000081a: PUSH2 0x081f 0000081d: JUMPI 0000081e: INVALID 0000081f: JUMPDEST 00000820: PUSH1 0x00 00000822: SWAP2 00000823: DUP3 00000824: MSTORE 00000825: PUSH1 0x20 00000827: SWAP1 00000828: SWAP2 00000829: KECCAK256 0000082a: ADD 0000082b: SLOAD 0000082c: PUSH1 0x01 0000082e: PUSH1 0xa0 00000830: PUSH1 0x02 00000832: EXP 00000833: SUB 00000834: AND 00000835: SWAP3 00000836: SWAP2 00000837: POP 00000838: POP 00000839: JUMP 0000083a: JUMPDEST 0000083b: CALLER 0000083c: PUSH2 0x08fc 0000083f: PUSH2 0x0848 00000842: DUP3 00000843: DUP5 00000844: PUSH2 0x0ca6 00000847: JUMP 00000848: JUMPDEST 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: DUP2 0000084d: ISZERO 0000084e: SWAP1 0000084f: SWAP3 00000850: MUL 00000851: SWAP2 00000852: PUSH1 0x00 00000854: DUP2 00000855: DUP2 00000856: DUP2 00000857: DUP6 00000858: DUP9 00000859: DUP9 0000085a: CALL 0000085b: SWAP4 0000085c: POP 0000085d: POP 0000085e: POP 0000085f: POP 00000860: ISZERO 00000861: DUP1 00000862: ISZERO 00000863: PUSH2 0x03cc 00000866: JUMPI 00000867: RETURNDATASIZE 00000868: PUSH1 0x00 0000086a: DUP1 0000086b: RETURNDATACOPY 0000086c: RETURNDATASIZE 0000086d: PUSH1 0x00 0000086f: REVERT 00000870: JUMPDEST 00000871: PUSH1 0x03 00000873: SLOAD 00000874: PUSH1 0xff 00000876: AND 00000877: ISZERO 00000878: ISZERO 00000879: PUSH2 0x08cc 0000087c: JUMPI 0000087d: PUSH1 0x40 0000087f: DUP1 00000880: MLOAD 00000881: PUSH1 0xe5 00000883: PUSH1 0x02 00000885: EXP 00000886: PUSH3 0x461bcd 0000088a: MUL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x20 0000088f: PUSH1 0x04 00000891: DUP3 00000892: ADD 00000893: MSTORE 00000894: PUSH1 0x14 00000896: PUSH1 0x24 00000898: DUP3 00000899: ADD 0000089a: MSTORE 0000089b: PUSH32 0x436f6e7472616374206e6f7420656e61626c6564000000000000000000000000 000008bc: PUSH1 0x44 000008be: DUP3 000008bf: ADD 000008c0: MSTORE 000008c1: SWAP1 000008c2: MLOAD 000008c3: SWAP1 000008c4: DUP2 000008c5: SWAP1 000008c6: SUB 000008c7: PUSH1 0x64 000008c9: ADD 000008ca: SWAP1 000008cb: REVERT 000008cc: JUMPDEST 000008cd: PUSH2 0x08d6 000008d0: CALLER 000008d1: CALLVALUE 000008d2: PUSH2 0x0c42 000008d5: JUMP 000008d6: JUMPDEST 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: PUSH1 0x02 000008df: EXP 000008e0: SUB 000008e1: AND 000008e2: PUSH1 0x00 000008e4: SWAP1 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x04 000008e9: PUSH1 0x20 000008eb: MSTORE 000008ec: PUSH1 0x40 000008ee: SWAP1 000008ef: KECCAK256 000008f0: SLOAD 000008f1: SWAP1 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x00 000008f6: PUSH2 0x08fd 000008f9: PUSH2 0x0568 000008fc: JUMP 000008fd: JUMPDEST 000008fe: DUP1 000008ff: ISZERO 00000900: PUSH2 0x090b 00000903: JUMPI 00000904: POP 00000905: PUSH1 0x03 00000907: SLOAD 00000908: PUSH1 0xff 0000090a: AND 0000090b: JUMPDEST 0000090c: ISZERO 0000090d: ISZERO 0000090e: PUSH2 0x094f 00000911: JUMPI 00000912: PUSH1 0x40 00000914: DUP1 00000915: MLOAD 00000916: PUSH1 0xe5 00000918: PUSH1 0x02 0000091a: EXP 0000091b: PUSH3 0x461bcd 0000091f: MUL 00000920: DUP2 00000921: MSTORE 00000922: PUSH1 0x20 00000924: PUSH1 0x04 00000926: DUP3 00000927: ADD 00000928: MSTORE 00000929: PUSH1 0x19 0000092b: PUSH1 0x24 0000092d: DUP3 0000092e: ADD 0000092f: MSTORE 00000930: PUSH1 0x00 00000932: DUP1 00000933: MLOAD 00000934: PUSH1 0x20 00000936: PUSH2 0x0f1d 00000939: DUP4 0000093a: CODECOPY 0000093b: DUP2 0000093c: MLOAD 0000093d: SWAP2 0000093e: MSTORE 0000093f: PUSH1 0x44 00000941: DUP3 00000942: ADD 00000943: MSTORE 00000944: SWAP1 00000945: MLOAD 00000946: SWAP1 00000947: DUP2 00000948: SWAP1 00000949: SUB 0000094a: PUSH1 0x64 0000094c: ADD 0000094d: SWAP1 0000094e: REVERT 0000094f: JUMPDEST 00000950: PUSH1 0x01 00000952: PUSH1 0xa0 00000954: PUSH1 0x02 00000956: EXP 00000957: SUB 00000958: DUP4 00000959: AND 0000095a: PUSH1 0x00 0000095c: SWAP1 0000095d: DUP2 0000095e: MSTORE 0000095f: PUSH1 0x01 00000961: PUSH1 0x20 00000963: MSTORE 00000964: PUSH1 0x40 00000966: SWAP1 00000967: KECCAK256 00000968: DUP1 00000969: SLOAD 0000096a: PUSH1 0xff 0000096c: NOT 0000096d: AND 0000096e: DUP4 0000096f: ISZERO 00000970: DUP1 00000971: ISZERO 00000972: SWAP2 00000973: SWAP1 00000974: SWAP2 00000975: OR 00000976: SWAP1 00000977: SWAP2 00000978: SSTORE 00000979: PUSH2 0x09d9 0000097c: JUMPI 0000097d: PUSH1 0x02 0000097f: DUP1 00000980: SLOAD 00000981: PUSH1 0x01 00000983: DUP2 00000984: ADD 00000985: DUP3 00000986: SSTORE 00000987: PUSH1 0x00 00000989: SWAP2 0000098a: SWAP1 0000098b: SWAP2 0000098c: MSTORE 0000098d: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace 000009ae: ADD 000009af: DUP1 000009b0: SLOAD 000009b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c6: NOT 000009c7: AND 000009c8: PUSH1 0x01 000009ca: PUSH1 0xa0 000009cc: PUSH1 0x02 000009ce: EXP 000009cf: SUB 000009d0: DUP6 000009d1: AND 000009d2: OR 000009d3: SWAP1 000009d4: SSTORE 000009d5: PUSH2 0x0af4 000009d8: JUMP 000009d9: JUMPDEST 000009da: POP 000009db: PUSH1 0x00 000009dd: JUMPDEST 000009de: PUSH1 0x02 000009e0: SLOAD 000009e1: PUSH4 0xffffffff 000009e6: DUP3 000009e7: AND 000009e8: LT 000009e9: ISZERO 000009ea: PUSH2 0x0af4 000009ed: JUMPI 000009ee: DUP3 000009ef: PUSH1 0x01 000009f1: PUSH1 0xa0 000009f3: PUSH1 0x02 000009f5: EXP 000009f6: SUB 000009f7: AND 000009f8: PUSH1 0x02 000009fa: DUP3 000009fb: PUSH4 0xffffffff 00000a00: AND 00000a01: DUP2 00000a02: SLOAD 00000a03: DUP2 00000a04: LT 00000a05: ISZERO 00000a06: ISZERO 00000a07: PUSH2 0x0a0c 00000a0a: JUMPI 00000a0b: INVALID 00000a0c: JUMPDEST 00000a0d: PUSH1 0x00 00000a0f: SWAP2 00000a10: DUP3 00000a11: MSTORE 00000a12: PUSH1 0x20 00000a14: SWAP1 00000a15: SWAP2 00000a16: KECCAK256 00000a17: ADD 00000a18: SLOAD 00000a19: PUSH1 0x01 00000a1b: PUSH1 0xa0 00000a1d: PUSH1 0x02 00000a1f: EXP 00000a20: SUB 00000a21: AND 00000a22: EQ 00000a23: ISZERO 00000a24: PUSH2 0x0aec 00000a27: JUMPI 00000a28: PUSH1 0x02 00000a2a: DUP1 00000a2b: SLOAD 00000a2c: PUSH1 0x00 00000a2e: NOT 00000a2f: DUP2 00000a30: ADD 00000a31: SWAP1 00000a32: DUP2 00000a33: LT 00000a34: PUSH2 0x0a39 00000a37: JUMPI 00000a38: INVALID 00000a39: JUMPDEST 00000a3a: PUSH1 0x00 00000a3c: SWAP2 00000a3d: DUP3 00000a3e: MSTORE 00000a3f: PUSH1 0x20 00000a41: SWAP1 00000a42: SWAP2 00000a43: KECCAK256 00000a44: ADD 00000a45: SLOAD 00000a46: PUSH1 0x02 00000a48: DUP1 00000a49: SLOAD 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: PUSH1 0x02 00000a50: EXP 00000a51: SUB 00000a52: SWAP1 00000a53: SWAP3 00000a54: AND 00000a55: SWAP2 00000a56: PUSH4 0xffffffff 00000a5b: DUP5 00000a5c: AND 00000a5d: SWAP1 00000a5e: DUP2 00000a5f: LT 00000a60: PUSH2 0x0a65 00000a63: JUMPI 00000a64: INVALID 00000a65: JUMPDEST 00000a66: PUSH1 0x00 00000a68: SWAP2 00000a69: DUP3 00000a6a: MSTORE 00000a6b: PUSH1 0x20 00000a6d: SWAP1 00000a6e: SWAP2 00000a6f: KECCAK256 00000a70: ADD 00000a71: DUP1 00000a72: SLOAD 00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a88: NOT 00000a89: AND 00000a8a: PUSH1 0x01 00000a8c: PUSH1 0xa0 00000a8e: PUSH1 0x02 00000a90: EXP 00000a91: SUB 00000a92: SWAP3 00000a93: SWAP1 00000a94: SWAP3 00000a95: AND 00000a96: SWAP2 00000a97: SWAP1 00000a98: SWAP2 00000a99: OR 00000a9a: SWAP1 00000a9b: SSTORE 00000a9c: PUSH1 0x02 00000a9e: DUP1 00000a9f: SLOAD 00000aa0: PUSH1 0x00 00000aa2: NOT 00000aa3: DUP2 00000aa4: ADD 00000aa5: SWAP1 00000aa6: DUP2 00000aa7: LT 00000aa8: PUSH2 0x0aad 00000aab: JUMPI 00000aac: INVALID 00000aad: JUMPDEST 00000aae: PUSH1 0x00 00000ab0: SWAP2 00000ab1: DUP3 00000ab2: MSTORE 00000ab3: PUSH1 0x20 00000ab5: SWAP1 00000ab6: SWAP2 00000ab7: KECCAK256 00000ab8: ADD 00000ab9: DUP1 00000aba: SLOAD 00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad0: NOT 00000ad1: AND 00000ad2: SWAP1 00000ad3: SSTORE 00000ad4: PUSH1 0x02 00000ad6: DUP1 00000ad7: SLOAD 00000ad8: SWAP1 00000ad9: PUSH2 0x0ae6 00000adc: SWAP1 00000add: PUSH1 0x00 00000adf: NOT 00000ae0: DUP4 00000ae1: ADD 00000ae2: PUSH2 0x0ebe 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: POP 00000ae8: PUSH2 0x0af4 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x01 00000aef: ADD 00000af0: PUSH2 0x09dd 00000af3: JUMP 00000af4: JUMPDEST 00000af5: POP 00000af6: POP 00000af7: POP 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: DUP1 00000afd: PUSH2 0x0b04 00000b00: PUSH2 0x0568 00000b03: JUMP 00000b04: JUMPDEST 00000b05: DUP1 00000b06: ISZERO 00000b07: PUSH2 0x0b12 00000b0a: JUMPI 00000b0b: POP 00000b0c: PUSH1 0x03 00000b0e: SLOAD 00000b0f: PUSH1 0xff 00000b11: AND 00000b12: JUMPDEST 00000b13: ISZERO 00000b14: ISZERO 00000b15: PUSH2 0x0b56 00000b18: JUMPI 00000b19: PUSH1 0x40 00000b1b: DUP1 00000b1c: MLOAD 00000b1d: PUSH1 0xe5 00000b1f: PUSH1 0x02 00000b21: EXP 00000b22: PUSH3 0x461bcd 00000b26: MUL 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x20 00000b2b: PUSH1 0x04 00000b2d: DUP3 00000b2e: ADD 00000b2f: MSTORE 00000b30: PUSH1 0x19 00000b32: PUSH1 0x24 00000b34: DUP3 00000b35: ADD 00000b36: MSTORE 00000b37: PUSH1 0x00 00000b39: DUP1 00000b3a: MLOAD 00000b3b: PUSH1 0x20 00000b3d: PUSH2 0x0f1d 00000b40: DUP4 00000b41: CODECOPY 00000b42: DUP2 00000b43: MLOAD 00000b44: SWAP2 00000b45: MSTORE 00000b46: PUSH1 0x44 00000b48: DUP3 00000b49: ADD 00000b4a: MSTORE 00000b4b: SWAP1 00000b4c: MLOAD 00000b4d: SWAP1 00000b4e: DUP2 00000b4f: SWAP1 00000b50: SUB 00000b51: PUSH1 0x64 00000b53: ADD 00000b54: SWAP1 00000b55: REVERT 00000b56: JUMPDEST 00000b57: POP 00000b58: POP 00000b59: PUSH1 0x00 00000b5b: DUP4 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x04 00000b60: PUSH1 0x20 00000b62: MSTORE 00000b63: PUSH1 0x40 00000b65: DUP1 00000b66: DUP3 00000b67: KECCAK256 00000b68: SLOAD 00000b69: DUP5 00000b6a: DUP4 00000b6b: MSTORE 00000b6c: SWAP2 00000b6d: KECCAK256 00000b6e: SLOAD 00000b6f: PUSH2 0x0b7e 00000b72: DUP3 00000b73: DUP5 00000b74: PUSH4 0xffffffff 00000b79: PUSH2 0x0d92 00000b7c: AND 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: PUSH1 0x00 00000b81: DUP7 00000b82: DUP2 00000b83: MSTORE 00000b84: PUSH1 0x04 00000b86: PUSH1 0x20 00000b88: MSTORE 00000b89: PUSH1 0x40 00000b8b: SWAP1 00000b8c: KECCAK256 00000b8d: SSTORE 00000b8e: PUSH2 0x0b9d 00000b91: DUP2 00000b92: DUP5 00000b93: PUSH4 0xffffffff 00000b98: PUSH2 0x0df4 00000b9b: AND 00000b9c: JUMP 00000b9d: JUMPDEST 00000b9e: PUSH1 0x00 00000ba0: DUP6 00000ba1: DUP2 00000ba2: MSTORE 00000ba3: PUSH1 0x04 00000ba5: PUSH1 0x20 00000ba7: SWAP1 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x40 00000bac: DUP1 00000bad: DUP4 00000bae: KECCAK256 00000baf: SWAP4 00000bb0: SWAP1 00000bb1: SWAP4 00000bb2: SSTORE 00000bb3: DUP8 00000bb4: DUP3 00000bb5: MSTORE 00000bb6: SWAP1 00000bb7: DUP3 00000bb8: SWAP1 00000bb9: KECCAK256 00000bba: SLOAD 00000bbb: DUP3 00000bbc: MLOAD 00000bbd: DUP9 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: SWAP2 00000bc1: DUP3 00000bc2: ADD 00000bc3: DUP6 00000bc4: SWAP1 00000bc5: MSTORE 00000bc6: DUP2 00000bc7: DUP4 00000bc8: ADD 00000bc9: MSTORE 00000bca: SWAP1 00000bcb: MLOAD 00000bcc: PUSH1 0x00 00000bce: DUP1 00000bcf: MLOAD 00000bd0: PUSH1 0x20 00000bd2: PUSH2 0x0efd 00000bd5: DUP4 00000bd6: CODECOPY 00000bd7: DUP2 00000bd8: MLOAD 00000bd9: SWAP2 00000bda: MSTORE 00000bdb: SWAP2 00000bdc: DUP2 00000bdd: SWAP1 00000bde: SUB 00000bdf: PUSH1 0x60 00000be1: ADD 00000be2: SWAP1 00000be3: LOG1 00000be4: PUSH1 0x00 00000be6: DUP5 00000be7: DUP2 00000be8: MSTORE 00000be9: PUSH1 0x04 00000beb: PUSH1 0x20 00000bed: SWAP1 00000bee: DUP2 00000bef: MSTORE 00000bf0: PUSH1 0x40 00000bf2: SWAP2 00000bf3: DUP3 00000bf4: SWAP1 00000bf5: KECCAK256 00000bf6: SLOAD 00000bf7: DUP3 00000bf8: MLOAD 00000bf9: DUP8 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: SWAP2 00000bfd: DUP3 00000bfe: ADD 00000bff: DUP5 00000c00: SWAP1 00000c01: MSTORE 00000c02: DUP2 00000c03: DUP4 00000c04: ADD 00000c05: MSTORE 00000c06: SWAP1 00000c07: MLOAD 00000c08: PUSH1 0x00 00000c0a: DUP1 00000c0b: MLOAD 00000c0c: PUSH1 0x20 00000c0e: PUSH2 0x0efd 00000c11: DUP4 00000c12: CODECOPY 00000c13: DUP2 00000c14: MLOAD 00000c15: SWAP2 00000c16: MSTORE 00000c17: SWAP2 00000c18: DUP2 00000c19: SWAP1 00000c1a: SUB 00000c1b: PUSH1 0x60 00000c1d: ADD 00000c1e: SWAP1 00000c1f: LOG1 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH2 0x0c2e 00000c2a: PUSH2 0x06c6 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: ISZERO 00000c30: ISZERO 00000c31: PUSH2 0x0c39 00000c34: JUMPI 00000c35: PUSH1 0x00 00000c37: DUP1 00000c38: REVERT 00000c39: JUMPDEST 00000c3a: PUSH2 0x040e 00000c3d: DUP2 00000c3e: PUSH2 0x0e0d 00000c41: JUMP 00000c42: JUMPDEST 00000c43: PUSH1 0x00 00000c45: DUP3 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x04 00000c4a: PUSH1 0x20 00000c4c: MSTORE 00000c4d: PUSH1 0x40 00000c4f: SWAP1 00000c50: KECCAK256 00000c51: SLOAD 00000c52: PUSH2 0x0c61 00000c55: DUP2 00000c56: DUP4 00000c57: PUSH4 0xffffffff 00000c5c: PUSH2 0x0df4 00000c5f: AND 00000c60: JUMP 00000c61: JUMPDEST 00000c62: PUSH1 0x00 00000c64: DUP5 00000c65: DUP2 00000c66: MSTORE 00000c67: PUSH1 0x04 00000c69: PUSH1 0x20 00000c6b: SWAP1 00000c6c: DUP2 00000c6d: MSTORE 00000c6e: PUSH1 0x40 00000c70: SWAP2 00000c71: DUP3 00000c72: SWAP1 00000c73: KECCAK256 00000c74: DUP4 00000c75: SWAP1 00000c76: SSTORE 00000c77: DUP2 00000c78: MLOAD 00000c79: DUP7 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: SWAP1 00000c7d: DUP2 00000c7e: ADD 00000c7f: DUP5 00000c80: SWAP1 00000c81: MSTORE 00000c82: DUP1 00000c83: DUP3 00000c84: ADD 00000c85: SWAP3 00000c86: SWAP1 00000c87: SWAP3 00000c88: MSTORE 00000c89: MLOAD 00000c8a: PUSH1 0x00 00000c8c: DUP1 00000c8d: MLOAD 00000c8e: PUSH1 0x20 00000c90: PUSH2 0x0efd 00000c93: DUP4 00000c94: CODECOPY 00000c95: DUP2 00000c96: MLOAD 00000c97: SWAP2 00000c98: MSTORE 00000c99: SWAP2 00000c9a: DUP2 00000c9b: SWAP1 00000c9c: SUB 00000c9d: PUSH1 0x60 00000c9f: ADD 00000ca0: SWAP1 00000ca1: LOG1 00000ca2: POP 00000ca3: POP 00000ca4: POP 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x03 00000ca9: SLOAD 00000caa: PUSH1 0x00 00000cac: SWAP1 00000cad: DUP2 00000cae: SWAP1 00000caf: DUP2 00000cb0: SWAP1 00000cb1: PUSH1 0xff 00000cb3: AND 00000cb4: ISZERO 00000cb5: ISZERO 00000cb6: PUSH2 0x0d09 00000cb9: JUMPI 00000cba: PUSH1 0x40 00000cbc: DUP1 00000cbd: MLOAD 00000cbe: PUSH1 0xe5 00000cc0: PUSH1 0x02 00000cc2: EXP 00000cc3: PUSH3 0x461bcd 00000cc7: MUL 00000cc8: DUP2 00000cc9: MSTORE 00000cca: PUSH1 0x20 00000ccc: PUSH1 0x04 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: PUSH1 0x14 00000cd3: PUSH1 0x24 00000cd5: DUP3 00000cd6: ADD 00000cd7: MSTORE 00000cd8: PUSH32 0x436f6e7472616374206e6f7420656e61626c6564000000000000000000000000 00000cf9: PUSH1 0x44 00000cfb: DUP3 00000cfc: ADD 00000cfd: MSTORE 00000cfe: SWAP1 00000cff: MLOAD 00000d00: SWAP1 00000d01: DUP2 00000d02: SWAP1 00000d03: SUB 00000d04: PUSH1 0x64 00000d06: ADD 00000d07: SWAP1 00000d08: REVERT 00000d09: JUMPDEST 00000d0a: PUSH1 0x00 00000d0c: DUP6 00000d0d: DUP2 00000d0e: MSTORE 00000d0f: PUSH1 0x04 00000d11: PUSH1 0x20 00000d13: MSTORE 00000d14: PUSH1 0x40 00000d16: SWAP1 00000d17: KECCAK256 00000d18: SLOAD 00000d19: SWAP2 00000d1a: POP 00000d1b: PUSH2 0x0d24 00000d1e: DUP3 00000d1f: DUP6 00000d20: PUSH2 0x0e8a 00000d23: JUMP 00000d24: JUMPDEST 00000d25: SWAP1 00000d26: POP 00000d27: DUP1 00000d28: ISZERO 00000d29: ISZERO 00000d2a: PUSH2 0x0d36 00000d2d: JUMPI 00000d2e: PUSH1 0x00 00000d30: SWAP3 00000d31: POP 00000d32: PUSH2 0x0d8a 00000d35: JUMP 00000d36: JUMPDEST 00000d37: PUSH2 0x0d46 00000d3a: DUP3 00000d3b: DUP3 00000d3c: PUSH4 0xffffffff 00000d41: PUSH2 0x0d92 00000d44: AND 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH1 0x00 00000d49: DUP7 00000d4a: DUP2 00000d4b: MSTORE 00000d4c: PUSH1 0x04 00000d4e: PUSH1 0x20 00000d50: SWAP1 00000d51: DUP2 00000d52: MSTORE 00000d53: PUSH1 0x40 00000d55: SWAP2 00000d56: DUP3 00000d57: SWAP1 00000d58: KECCAK256 00000d59: DUP4 00000d5a: SWAP1 00000d5b: SSTORE 00000d5c: DUP2 00000d5d: MLOAD 00000d5e: DUP9 00000d5f: DUP2 00000d60: MSTORE 00000d61: SWAP1 00000d62: DUP2 00000d63: ADD 00000d64: DUP6 00000d65: SWAP1 00000d66: MSTORE 00000d67: DUP1 00000d68: DUP3 00000d69: ADD 00000d6a: SWAP3 00000d6b: SWAP1 00000d6c: SWAP3 00000d6d: MSTORE 00000d6e: MLOAD 00000d6f: PUSH1 0x00 00000d71: DUP1 00000d72: MLOAD 00000d73: PUSH1 0x20 00000d75: PUSH2 0x0efd 00000d78: DUP4 00000d79: CODECOPY 00000d7a: DUP2 00000d7b: MLOAD 00000d7c: SWAP2 00000d7d: MSTORE 00000d7e: SWAP2 00000d7f: DUP2 00000d80: SWAP1 00000d81: SUB 00000d82: PUSH1 0x60 00000d84: ADD 00000d85: SWAP1 00000d86: LOG1 00000d87: DUP1 00000d88: SWAP3 00000d89: POP 00000d8a: JUMPDEST 00000d8b: POP 00000d8c: POP 00000d8d: SWAP3 00000d8e: SWAP2 00000d8f: POP 00000d90: POP 00000d91: JUMP 00000d92: JUMPDEST 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: DUP4 00000d97: DUP4 00000d98: GT 00000d99: ISZERO 00000d9a: PUSH2 0x0ded 00000d9d: JUMPI 00000d9e: PUSH1 0x40 00000da0: DUP1 00000da1: MLOAD 00000da2: PUSH1 0xe5 00000da4: PUSH1 0x02 00000da6: EXP 00000da7: PUSH3 0x461bcd 00000dab: MUL 00000dac: DUP2 00000dad: MSTORE 00000dae: PUSH1 0x20 00000db0: PUSH1 0x04 00000db2: DUP3 00000db3: ADD 00000db4: MSTORE 00000db5: PUSH1 0x03 00000db7: PUSH1 0x24 00000db9: DUP3 00000dba: ADD 00000dbb: MSTORE 00000dbc: PUSH32 0x7375620000000000000000000000000000000000000000000000000000000000 00000ddd: PUSH1 0x44 00000ddf: DUP3 00000de0: ADD 00000de1: MSTORE 00000de2: SWAP1 00000de3: MLOAD 00000de4: SWAP1 00000de5: DUP2 00000de6: SWAP1 00000de7: SUB 00000de8: PUSH1 0x64 00000dea: ADD 00000deb: SWAP1 00000dec: REVERT 00000ded: JUMPDEST 00000dee: POP 00000def: POP 00000df0: SWAP1 00000df1: SUB 00000df2: SWAP1 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH1 0x00 00000df7: DUP3 00000df8: DUP3 00000df9: ADD 00000dfa: DUP4 00000dfb: DUP2 00000dfc: LT 00000dfd: ISZERO 00000dfe: PUSH2 0x0e06 00000e01: JUMPI 00000e02: PUSH1 0x00 00000e04: DUP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: SWAP4 00000e08: SWAP3 00000e09: POP 00000e0a: POP 00000e0b: POP 00000e0c: JUMP 00000e0d: JUMPDEST 00000e0e: PUSH1 0x01 00000e10: PUSH1 0xa0 00000e12: PUSH1 0x02 00000e14: EXP 00000e15: SUB 00000e16: DUP2 00000e17: AND 00000e18: ISZERO 00000e19: ISZERO 00000e1a: PUSH2 0x0e22 00000e1d: JUMPI 00000e1e: PUSH1 0x00 00000e20: DUP1 00000e21: REVERT 00000e22: JUMPDEST 00000e23: PUSH1 0x00 00000e25: DUP1 00000e26: SLOAD 00000e27: PUSH1 0x40 00000e29: MLOAD 00000e2a: PUSH1 0x01 00000e2c: PUSH1 0xa0 00000e2e: PUSH1 0x02 00000e30: EXP 00000e31: SUB 00000e32: DUP1 00000e33: DUP6 00000e34: AND 00000e35: SWAP4 00000e36: SWAP3 00000e37: AND 00000e38: SWAP2 00000e39: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e5a: SWAP2 00000e5b: LOG3 00000e5c: PUSH1 0x00 00000e5e: DUP1 00000e5f: SLOAD 00000e60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e75: NOT 00000e76: AND 00000e77: PUSH1 0x01 00000e79: PUSH1 0xa0 00000e7b: PUSH1 0x02 00000e7d: EXP 00000e7e: SUB 00000e7f: SWAP3 00000e80: SWAP1 00000e81: SWAP3 00000e82: AND 00000e83: SWAP2 00000e84: SWAP1 00000e85: SWAP2 00000e86: OR 00000e87: SWAP1 00000e88: SSTORE 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: PUSH1 0x00 00000e8d: DUP2 00000e8e: DUP4 00000e8f: LT 00000e90: PUSH2 0x0e99 00000e93: JUMPI 00000e94: DUP2 00000e95: PUSH2 0x0e06 00000e98: JUMP 00000e99: JUMPDEST 00000e9a: POP 00000e9b: SWAP1 00000e9c: SWAP2 00000e9d: SWAP1 00000e9e: POP 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: POP 00000ea2: DUP1 00000ea3: SLOAD 00000ea4: PUSH1 0x00 00000ea6: DUP3 00000ea7: SSTORE 00000ea8: SWAP1 00000ea9: PUSH1 0x00 00000eab: MSTORE 00000eac: PUSH1 0x20 00000eae: PUSH1 0x00 00000eb0: KECCAK256 00000eb1: SWAP1 00000eb2: DUP2 00000eb3: ADD 00000eb4: SWAP1 00000eb5: PUSH2 0x040e 00000eb8: SWAP2 00000eb9: SWAP1 00000eba: PUSH2 0x0ede 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: DUP2 00000ec0: SLOAD 00000ec1: DUP2 00000ec2: DUP4 00000ec3: SSTORE 00000ec4: DUP2 00000ec5: DUP2 00000ec6: GT 00000ec7: ISZERO 00000ec8: PUSH2 0x0af4 00000ecb: JUMPI 00000ecc: PUSH1 0x00 00000ece: DUP4 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x20 00000ed3: SWAP1 00000ed4: KECCAK256 00000ed5: PUSH2 0x0af4 00000ed8: SWAP2 00000ed9: DUP2 00000eda: ADD 00000edb: SWAP1 00000edc: DUP4 00000edd: ADD 00000ede: JUMPDEST 00000edf: PUSH2 0x0565 00000ee2: SWAP2 00000ee3: SWAP1 00000ee4: JUMPDEST 00000ee5: DUP1 00000ee6: DUP3 00000ee7: GT 00000ee8: ISZERO 00000ee9: PUSH2 0x0ef8 00000eec: JUMPI 00000eed: PUSH1 0x00 00000eef: DUP2 00000ef0: SSTORE 00000ef1: PUSH1 0x01 00000ef3: ADD 00000ef4: PUSH2 0x0ee4 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: POP 00000efa: SWAP1 00000efb: JUMP 00000efc: STOP 00000efd: DUP2 00000efe: UNKNOWN(0xEB) 00000eff: SUB 00000f00: UNKNOWN(0xE2) 00000f01: UNKNOWN(0xB0) 00000f02: DUP8 00000f03: UNKNOWN(0xE7) 00000f04: UNKNOWN(0x4E) 00000f05: CALLDATALOAD 00000f06: UNKNOWN(0xEC) 00000f07: TIMESTAMP 00000f08: UNKNOWN(0xC1) 00000f09: UNKNOWN(0xEA) 00000f0a: JUMPI 00000f0b: LOG3 00000f0c: UNKNOWN(0xB8) 00000f0d: UNKNOWN(0x4E) 00000f0e: SELFBALANCE 00000f0f: UNKNOWN(0xAA) 00000f10: UNKNOWN(0x4E) 00000f11: KECCAK256 00000f12: UNKNOWN(0xE2) 00000f13: UNKNOWN(0xCD) 00000f14: BYTE 00000f15: UNKNOWN(0x2A) 00000f16: UNKNOWN(0xB1) 00000f17: ADDRESS 00000f18: UNKNOWN(0xC9) 00000f19: UNKNOWN(0xD0) 00000f1a: UNKNOWN(0xD8) 00000f1b: NOT 00000f1c: UNKNOWN(0xEE) 00000f1d: SSTORE 00000f1e: PUSH20 0x657220646f65736e2774206861766520636f6e74 00000f33: PUSH19 0x6f6c00000000000000a165627a7a72305820ab 00000f47: MUL 00000f48: UNKNOWN(0xC8) 00000f49: SHR 00000f4a: UNKNOWN(0xF8) 00000f4b: LOG4 00000f4c: UNKNOWN(0xE6) 00000f4d: DUP11 00000f4e: UNKNOWN(0x4F) 00000f4f: CALLER 00000f50: UNKNOWN(0x22) 00000f51: SELFBALANCE 00000f52: DUP13 00000f53: BLOCKHASH 00000f54: DUP14 00000f55: UNKNOWN(0xDD) 00000f56: BLOCKHASH 00000f57: PUSH9 0xfb4021c6a9c25d8888 00000f61: UNKNOWN(0xCA) 00000f62: UNKNOWN(0xEC) 00000f63: UNKNOWN(0xF9) 00000f64: UNKNOWN(0x2C) 00000f65: PC 00000f66: STOP 00000f67: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0xc01e495cf5cca0d3aa2aec6fbfde26a143fdda81b54ed5b8a55592226f1cde3f
call_targets:
0x0000000000000000000000000000000000000001, 0x90ee4cc808c150e9f661f386f7be03a05e0a50c7
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc01e495cf5cca0d3aa2aec6fbfde26a143fdda81b54ed5b8a55592226f1cde3f",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x90ee4cc808c150e9f661f386f7be03a05e0a50c7"
],
"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": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b63c4fb",
"selector": "0x2b63c4fb",
"calldata_variants": [
"0x2b63c4fb",
"0x2b63c4fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bed33ce",
"selector": "0x3bed33ce",
"calldata_variants": [
"0x3bed33ce",
"0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5395b702",
"selector": "0x5395b702",
"calldata_variants": [
"0x5395b702",
"0x5395b7020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x545b1e98",
"selector": "0x545b1e98",
"calldata_variants": [
"0x545b1e98",
"0x545b1e980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c627935",
"selector": "0x5c627935",
"calldata_variants": [
"0x5c627935",
"0x5c6279350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79d77110",
"selector": "0x79d77110",
"calldata_variants": [
"0x79d77110",
"0x79d771100000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1016,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1193,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0xc01e495cf5cca0d3aa2aec6fbfde26a143fdda81b54ed5b8a55592226f1cde3f
call_targets:
0x0000000000000000000000000000000000000001, 0x90ee4cc808c150e9f661f386f7be03a05e0a50c7
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0xc01e495cf5cca0d3aa2aec6fbfde26a143fdda81b54ed5b8a55592226f1cde3f",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x90ee4cc808c150e9f661f386f7be03a05e0a50c7"
],
"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": "0x24600fc3",
"selector": "0x24600fc3",
"calldata_variants": [
"0x24600fc3",
"0x24600fc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b63c4fb",
"selector": "0x2b63c4fb",
"calldata_variants": [
"0x2b63c4fb",
"0x2b63c4fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bed33ce",
"selector": "0x3bed33ce",
"calldata_variants": [
"0x3bed33ce",
"0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5395b702",
"selector": "0x5395b702",
"calldata_variants": [
"0x5395b702",
"0x5395b7020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x545b1e98",
"selector": "0x545b1e98",
"calldata_variants": [
"0x545b1e98",
"0x545b1e980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c627935",
"selector": "0x5c627935",
"calldata_variants": [
"0x5c627935",
"0x5c6279350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79d77110",
"selector": "0x79d77110",
"calldata_variants": [
"0x79d77110",
"0x79d771100000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1016,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1193,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1355,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|