019b3836-5d0e-715d-9414-53d573e826c9
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 |
|---|---|---|---|---|
| 9273 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 9274 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 83184 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 83185 | capability.graph | complete | 1 / 3 | 1 week ago |
| 83186 | detector.run | complete | 1 / 3 | 1 week ago |
| 83187 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113681 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-xyr5o6og model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c9b-6f88-7e31-af9c-682051dfae33 -------- 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:46:25.400236+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 9772,
"bytecode_truncated": false,
"capability_graph_present": true,
"analysis_artifact_present": true
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0124 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x06fdde03 00000034: EQ 00000035: PUSH2 0x012d 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x095ea7b3 0000003f: EQ 00000040: PUSH2 0x01a8 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x171f34a6 0000004a: EQ 0000004b: PUSH2 0x01df 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x1720ea55 00000055: EQ 00000056: PUSH2 0x020b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x18160ddd 00000060: EQ 00000061: PUSH2 0x0239 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x23b872dd 0000006b: EQ 0000006c: PUSH2 0x025c 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x313ce567 00000076: EQ 00000077: PUSH2 0x029c 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x354dace2 00000081: EQ 00000082: PUSH2 0x02c2 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x5a3b7e42 0000008c: EQ 0000008d: PUSH2 0x02ee 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x70a08231 00000097: EQ 00000098: PUSH2 0x0369 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x72689e4d 000000a2: EQ 000000a3: PUSH2 0x0395 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0x836a1e23 000000ad: EQ 000000ae: PUSH2 0x03ce 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0x8da5cb5b 000000b8: EQ 000000b9: PUSH2 0x03dd 000000bc: JUMPI 000000bd: DUP1 000000be: PUSH4 0x95d89b41 000000c3: EQ 000000c4: PUSH2 0x0416 000000c7: JUMPI 000000c8: DUP1 000000c9: PUSH4 0xa9059cbb 000000ce: EQ 000000cf: PUSH2 0x0491 000000d2: JUMPI 000000d3: DUP1 000000d4: PUSH4 0xb0987c03 000000d9: EQ 000000da: PUSH2 0x04b2 000000dd: JUMPI 000000de: DUP1 000000df: PUSH4 0xb6db8973 000000e4: EQ 000000e5: PUSH2 0x04eb 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0xc03945f7 000000ef: EQ 000000f0: PUSH2 0x050e 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0xcae9ca51 000000fa: EQ 000000fb: PUSH2 0x051d 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0xdd62ed3e 00000105: EQ 00000106: PUSH2 0x059b 00000109: JUMPI 0000010a: DUP1 0000010b: PUSH4 0xecf09417 00000110: EQ 00000111: PUSH2 0x05d0 00000114: JUMPI 00000115: DUP1 00000116: PUSH4 0xf8b2cb4f 0000011b: EQ 0000011c: PUSH2 0x05f3 0000011f: JUMPI 00000120: PUSH2 0x0124 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH2 0x012b 00000128: JUMPDEST 00000129: JUMPDEST 0000012a: JUMP 0000012b: JUMPDEST 0000012c: STOP 0000012d: JUMPDEST 0000012e: PUSH2 0x013a 00000131: PUSH1 0x04 00000133: DUP1 00000134: POP 00000135: POP 00000136: PUSH2 0x061f 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: DUP1 0000013f: DUP1 00000140: PUSH1 0x20 00000142: ADD 00000143: DUP3 00000144: DUP2 00000145: SUB 00000146: DUP3 00000147: MSTORE 00000148: DUP4 00000149: DUP2 0000014a: DUP2 0000014b: MLOAD 0000014c: DUP2 0000014d: MSTORE 0000014e: PUSH1 0x20 00000150: ADD 00000151: SWAP2 00000152: POP 00000153: DUP1 00000154: MLOAD 00000155: SWAP1 00000156: PUSH1 0x20 00000158: ADD 00000159: SWAP1 0000015a: DUP1 0000015b: DUP4 0000015c: DUP4 0000015d: DUP3 0000015e: SWAP1 0000015f: PUSH1 0x00 00000161: PUSH1 0x04 00000163: PUSH1 0x20 00000165: DUP5 00000166: PUSH1 0x1f 00000168: ADD 00000169: DIV 0000016a: PUSH1 0x03 0000016c: MUL 0000016d: PUSH1 0x0f 0000016f: ADD 00000170: CALL 00000171: POP 00000172: SWAP1 00000173: POP 00000174: SWAP1 00000175: DUP2 00000176: ADD 00000177: SWAP1 00000178: PUSH1 0x1f 0000017a: AND 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x019a 00000180: JUMPI 00000181: DUP1 00000182: DUP3 00000183: SUB 00000184: DUP1 00000185: MLOAD 00000186: PUSH1 0x01 00000188: DUP4 00000189: PUSH1 0x20 0000018b: SUB 0000018c: PUSH2 0x0100 0000018f: EXP 00000190: SUB 00000191: NOT 00000192: AND 00000193: DUP2 00000194: MSTORE 00000195: PUSH1 0x20 00000197: ADD 00000198: SWAP2 00000199: POP 0000019a: JUMPDEST 0000019b: POP 0000019c: SWAP3 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: SWAP2 000001a5: SUB 000001a6: SWAP1 000001a7: RETURN 000001a8: JUMPDEST 000001a9: PUSH2 0x01c7 000001ac: PUSH1 0x04 000001ae: DUP1 000001af: DUP1 000001b0: CALLDATALOAD 000001b1: SWAP1 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: SWAP1 000001b6: SWAP2 000001b7: SWAP1 000001b8: DUP1 000001b9: CALLDATALOAD 000001ba: SWAP1 000001bb: PUSH1 0x20 000001bd: ADD 000001be: SWAP1 000001bf: SWAP2 000001c0: SWAP1 000001c1: POP 000001c2: POP 000001c3: PUSH2 0x06c0 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: DUP1 000001cc: DUP3 000001cd: ISZERO 000001ce: ISZERO 000001cf: DUP2 000001d0: MSTORE 000001d1: PUSH1 0x20 000001d3: ADD 000001d4: SWAP2 000001d5: POP 000001d6: POP 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: DUP1 000001db: SWAP2 000001dc: SUB 000001dd: SWAP1 000001de: RETURN 000001df: JUMPDEST 000001e0: PUSH2 0x01f5 000001e3: PUSH1 0x04 000001e5: DUP1 000001e6: DUP1 000001e7: CALLDATALOAD 000001e8: SWAP1 000001e9: PUSH1 0x20 000001eb: ADD 000001ec: SWAP1 000001ed: SWAP2 000001ee: SWAP1 000001ef: POP 000001f0: POP 000001f1: PUSH2 0x072f 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: DUP1 000001fa: DUP3 000001fb: DUP2 000001fc: MSTORE 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP2 00000201: POP 00000202: POP 00000203: PUSH1 0x40 00000205: MLOAD 00000206: DUP1 00000207: SWAP2 00000208: SUB 00000209: SWAP1 0000020a: RETURN 0000020b: JUMPDEST 0000020c: PUSH2 0x0221 0000020f: PUSH1 0x04 00000211: DUP1 00000212: DUP1 00000213: CALLDATALOAD 00000214: SWAP1 00000215: PUSH1 0x20 00000217: ADD 00000218: SWAP1 00000219: SWAP2 0000021a: SWAP1 0000021b: POP 0000021c: POP 0000021d: PUSH2 0x074a 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH1 0x40 00000224: MLOAD 00000225: DUP1 00000226: DUP3 00000227: ISZERO 00000228: ISZERO 00000229: DUP2 0000022a: MSTORE 0000022b: PUSH1 0x20 0000022d: ADD 0000022e: SWAP2 0000022f: POP 00000230: POP 00000231: PUSH1 0x40 00000233: MLOAD 00000234: DUP1 00000235: SWAP2 00000236: SUB 00000237: SWAP1 00000238: RETURN 00000239: JUMPDEST 0000023a: PUSH2 0x0246 0000023d: PUSH1 0x04 0000023f: DUP1 00000240: POP 00000241: POP 00000242: PUSH2 0x0965 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: DUP3 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP2 00000252: POP 00000253: POP 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: SWAP2 00000259: SUB 0000025a: SWAP1 0000025b: RETURN 0000025c: JUMPDEST 0000025d: PUSH2 0x0284 00000260: PUSH1 0x04 00000262: DUP1 00000263: DUP1 00000264: CALLDATALOAD 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP2 0000026b: SWAP1 0000026c: DUP1 0000026d: CALLDATALOAD 0000026e: SWAP1 0000026f: PUSH1 0x20 00000271: ADD 00000272: SWAP1 00000273: SWAP2 00000274: SWAP1 00000275: DUP1 00000276: CALLDATALOAD 00000277: SWAP1 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP1 0000027c: SWAP2 0000027d: SWAP1 0000027e: POP 0000027f: POP 00000280: PUSH2 0x096e 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH1 0x40 00000287: MLOAD 00000288: DUP1 00000289: DUP3 0000028a: ISZERO 0000028b: ISZERO 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x20 00000290: ADD 00000291: SWAP2 00000292: POP 00000293: POP 00000294: PUSH1 0x40 00000296: MLOAD 00000297: DUP1 00000298: SWAP2 00000299: SUB 0000029a: SWAP1 0000029b: RETURN 0000029c: JUMPDEST 0000029d: PUSH2 0x02a9 000002a0: PUSH1 0x04 000002a2: DUP1 000002a3: POP 000002a4: POP 000002a5: PUSH2 0x0bd2 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: DUP3 000002af: PUSH1 0xff 000002b1: AND 000002b2: DUP2 000002b3: MSTORE 000002b4: PUSH1 0x20 000002b6: ADD 000002b7: SWAP2 000002b8: POP 000002b9: POP 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: DUP1 000002be: SWAP2 000002bf: SUB 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: PUSH2 0x02d8 000002c6: PUSH1 0x04 000002c8: DUP1 000002c9: DUP1 000002ca: CALLDATALOAD 000002cb: SWAP1 000002cc: PUSH1 0x20 000002ce: ADD 000002cf: SWAP1 000002d0: SWAP2 000002d1: SWAP1 000002d2: POP 000002d3: POP 000002d4: PUSH2 0x0be5 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: DUP3 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP2 000002e4: POP 000002e5: POP 000002e6: PUSH1 0x40 000002e8: MLOAD 000002e9: DUP1 000002ea: SWAP2 000002eb: SUB 000002ec: SWAP1 000002ed: RETURN 000002ee: JUMPDEST 000002ef: PUSH2 0x02fb 000002f2: PUSH1 0x04 000002f4: DUP1 000002f5: POP 000002f6: POP 000002f7: PUSH2 0x0c00 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: DUP1 00000300: DUP1 00000301: PUSH1 0x20 00000303: ADD 00000304: DUP3 00000305: DUP2 00000306: SUB 00000307: DUP3 00000308: MSTORE 00000309: DUP4 0000030a: DUP2 0000030b: DUP2 0000030c: MLOAD 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x20 00000311: ADD 00000312: SWAP2 00000313: POP 00000314: DUP1 00000315: MLOAD 00000316: SWAP1 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP1 0000031b: DUP1 0000031c: DUP4 0000031d: DUP4 0000031e: DUP3 0000031f: SWAP1 00000320: PUSH1 0x00 00000322: PUSH1 0x04 00000324: PUSH1 0x20 00000326: DUP5 00000327: PUSH1 0x1f 00000329: ADD 0000032a: DIV 0000032b: PUSH1 0x03 0000032d: MUL 0000032e: PUSH1 0x0f 00000330: ADD 00000331: CALL 00000332: POP 00000333: SWAP1 00000334: POP 00000335: SWAP1 00000336: DUP2 00000337: ADD 00000338: SWAP1 00000339: PUSH1 0x1f 0000033b: AND 0000033c: DUP1 0000033d: ISZERO 0000033e: PUSH2 0x035b 00000341: JUMPI 00000342: DUP1 00000343: DUP3 00000344: SUB 00000345: DUP1 00000346: MLOAD 00000347: PUSH1 0x01 00000349: DUP4 0000034a: PUSH1 0x20 0000034c: SUB 0000034d: PUSH2 0x0100 00000350: EXP 00000351: SUB 00000352: NOT 00000353: AND 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x20 00000358: ADD 00000359: SWAP2 0000035a: POP 0000035b: JUMPDEST 0000035c: POP 0000035d: SWAP3 0000035e: POP 0000035f: POP 00000360: POP 00000361: PUSH1 0x40 00000363: MLOAD 00000364: DUP1 00000365: SWAP2 00000366: SUB 00000367: SWAP1 00000368: RETURN 00000369: JUMPDEST 0000036a: PUSH2 0x037f 0000036d: PUSH1 0x04 0000036f: DUP1 00000370: DUP1 00000371: CALLDATALOAD 00000372: SWAP1 00000373: PUSH1 0x20 00000375: ADD 00000376: SWAP1 00000377: SWAP2 00000378: SWAP1 00000379: POP 0000037a: POP 0000037b: PUSH2 0x0ca1 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: MLOAD 00000383: DUP1 00000384: DUP3 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x20 00000389: ADD 0000038a: SWAP2 0000038b: POP 0000038c: POP 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: DUP1 00000391: SWAP2 00000392: SUB 00000393: SWAP1 00000394: RETURN 00000395: JUMPDEST 00000396: PUSH2 0x03a2 00000399: PUSH1 0x04 0000039b: DUP1 0000039c: POP 0000039d: POP 0000039e: PUSH2 0x0cbc 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: DUP3 000003a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bd: AND 000003be: DUP2 000003bf: MSTORE 000003c0: PUSH1 0x20 000003c2: ADD 000003c3: SWAP2 000003c4: POP 000003c5: POP 000003c6: PUSH1 0x40 000003c8: MLOAD 000003c9: DUP1 000003ca: SWAP2 000003cb: SUB 000003cc: SWAP1 000003cd: RETURN 000003ce: JUMPDEST 000003cf: PUSH2 0x03db 000003d2: PUSH1 0x04 000003d4: DUP1 000003d5: POP 000003d6: POP 000003d7: PUSH2 0x0ce2 000003da: JUMP 000003db: JUMPDEST 000003dc: STOP 000003dd: JUMPDEST 000003de: PUSH2 0x03ea 000003e1: PUSH1 0x04 000003e3: DUP1 000003e4: POP 000003e5: POP 000003e6: PUSH2 0x0dad 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: DUP3 000003f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000405: AND 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: POP 0000040e: PUSH1 0x40 00000410: MLOAD 00000411: DUP1 00000412: SWAP2 00000413: SUB 00000414: SWAP1 00000415: RETURN 00000416: JUMPDEST 00000417: PUSH2 0x0423 0000041a: PUSH1 0x04 0000041c: DUP1 0000041d: POP 0000041e: POP 0000041f: PUSH2 0x0dd3 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH1 0x40 00000426: MLOAD 00000427: DUP1 00000428: DUP1 00000429: PUSH1 0x20 0000042b: ADD 0000042c: DUP3 0000042d: DUP2 0000042e: SUB 0000042f: DUP3 00000430: MSTORE 00000431: DUP4 00000432: DUP2 00000433: DUP2 00000434: MLOAD 00000435: DUP2 00000436: MSTORE 00000437: PUSH1 0x20 00000439: ADD 0000043a: SWAP2 0000043b: POP 0000043c: DUP1 0000043d: MLOAD 0000043e: SWAP1 0000043f: PUSH1 0x20 00000441: ADD 00000442: SWAP1 00000443: DUP1 00000444: DUP4 00000445: DUP4 00000446: DUP3 00000447: SWAP1 00000448: PUSH1 0x00 0000044a: PUSH1 0x04 0000044c: PUSH1 0x20 0000044e: DUP5 0000044f: PUSH1 0x1f 00000451: ADD 00000452: DIV 00000453: PUSH1 0x03 00000455: MUL 00000456: PUSH1 0x0f 00000458: ADD 00000459: CALL 0000045a: POP 0000045b: SWAP1 0000045c: POP 0000045d: SWAP1 0000045e: DUP2 0000045f: ADD 00000460: SWAP1 00000461: PUSH1 0x1f 00000463: AND 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x0483 00000469: JUMPI 0000046a: DUP1 0000046b: DUP3 0000046c: SUB 0000046d: DUP1 0000046e: MLOAD 0000046f: PUSH1 0x01 00000471: DUP4 00000472: PUSH1 0x20 00000474: SUB 00000475: PUSH2 0x0100 00000478: EXP 00000479: SUB 0000047a: NOT 0000047b: AND 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH1 0x20 00000480: ADD 00000481: SWAP2 00000482: POP 00000483: JUMPDEST 00000484: POP 00000485: SWAP3 00000486: POP 00000487: POP 00000488: POP 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: SWAP2 0000048e: SUB 0000048f: SWAP1 00000490: RETURN 00000491: JUMPDEST 00000492: PUSH2 0x04b0 00000495: PUSH1 0x04 00000497: DUP1 00000498: DUP1 00000499: CALLDATALOAD 0000049a: SWAP1 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: SWAP1 0000049f: SWAP2 000004a0: SWAP1 000004a1: DUP1 000004a2: CALLDATALOAD 000004a3: SWAP1 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: SWAP2 000004a9: SWAP1 000004aa: POP 000004ab: POP 000004ac: PUSH2 0x0e74 000004af: JUMP 000004b0: JUMPDEST 000004b1: STOP 000004b2: JUMPDEST 000004b3: PUSH2 0x04bf 000004b6: PUSH1 0x04 000004b8: DUP1 000004b9: POP 000004ba: POP 000004bb: PUSH2 0x0fff 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: DUP1 000004c4: DUP3 000004c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004da: AND 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP2 000004e1: POP 000004e2: POP 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: DUP1 000004e7: SWAP2 000004e8: SUB 000004e9: SWAP1 000004ea: RETURN 000004eb: JUMPDEST 000004ec: PUSH2 0x04f8 000004ef: PUSH1 0x04 000004f1: DUP1 000004f2: POP 000004f3: POP 000004f4: PUSH2 0x1025 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: DUP1 000004fd: DUP3 000004fe: DUP2 000004ff: MSTORE 00000500: PUSH1 0x20 00000502: ADD 00000503: SWAP2 00000504: POP 00000505: POP 00000506: PUSH1 0x40 00000508: MLOAD 00000509: DUP1 0000050a: SWAP2 0000050b: SUB 0000050c: SWAP1 0000050d: RETURN 0000050e: JUMPDEST 0000050f: PUSH2 0x051b 00000512: PUSH1 0x04 00000514: DUP1 00000515: POP 00000516: POP 00000517: PUSH2 0x102e 0000051a: JUMP 0000051b: JUMPDEST 0000051c: STOP 0000051d: JUMPDEST 0000051e: PUSH2 0x0583 00000521: PUSH1 0x04 00000523: DUP1 00000524: DUP1 00000525: CALLDATALOAD 00000526: SWAP1 00000527: PUSH1 0x20 00000529: ADD 0000052a: SWAP1 0000052b: SWAP2 0000052c: SWAP1 0000052d: DUP1 0000052e: CALLDATALOAD 0000052f: SWAP1 00000530: PUSH1 0x20 00000532: ADD 00000533: SWAP1 00000534: SWAP2 00000535: SWAP1 00000536: DUP1 00000537: CALLDATALOAD 00000538: SWAP1 00000539: PUSH1 0x20 0000053b: ADD 0000053c: SWAP1 0000053d: DUP3 0000053e: ADD 0000053f: DUP1 00000540: CALLDATALOAD 00000541: SWAP1 00000542: PUSH1 0x20 00000544: ADD 00000545: SWAP2 00000546: SWAP2 00000547: SWAP1 00000548: DUP1 00000549: DUP1 0000054a: PUSH1 0x1f 0000054c: ADD 0000054d: PUSH1 0x20 0000054f: DUP1 00000550: SWAP2 00000551: DIV 00000552: MUL 00000553: PUSH1 0x20 00000555: ADD 00000556: PUSH1 0x40 00000558: MLOAD 00000559: SWAP1 0000055a: DUP2 0000055b: ADD 0000055c: PUSH1 0x40 0000055e: MSTORE 0000055f: DUP1 00000560: SWAP4 00000561: SWAP3 00000562: SWAP2 00000563: SWAP1 00000564: DUP2 00000565: DUP2 00000566: MSTORE 00000567: PUSH1 0x20 00000569: ADD 0000056a: DUP4 0000056b: DUP4 0000056c: DUP1 0000056d: DUP3 0000056e: DUP5 0000056f: CALLDATACOPY 00000570: DUP3 00000571: ADD 00000572: SWAP2 00000573: POP 00000574: POP 00000575: POP 00000576: POP 00000577: POP 00000578: POP 00000579: SWAP1 0000057a: SWAP1 0000057b: SWAP2 0000057c: SWAP1 0000057d: POP 0000057e: POP 0000057f: PUSH2 0x10c8 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x40 00000586: MLOAD 00000587: DUP1 00000588: DUP3 00000589: ISZERO 0000058a: ISZERO 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: SWAP2 00000591: POP 00000592: POP 00000593: PUSH1 0x40 00000595: MLOAD 00000596: DUP1 00000597: SWAP2 00000598: SUB 00000599: SWAP1 0000059a: RETURN 0000059b: JUMPDEST 0000059c: PUSH2 0x05ba 0000059f: PUSH1 0x04 000005a1: DUP1 000005a2: DUP1 000005a3: CALLDATALOAD 000005a4: SWAP1 000005a5: PUSH1 0x20 000005a7: ADD 000005a8: SWAP1 000005a9: SWAP2 000005aa: SWAP1 000005ab: DUP1 000005ac: CALLDATALOAD 000005ad: SWAP1 000005ae: PUSH1 0x20 000005b0: ADD 000005b1: SWAP1 000005b2: SWAP2 000005b3: SWAP1 000005b4: POP 000005b5: POP 000005b6: PUSH2 0x11f5 000005b9: JUMP 000005ba: JUMPDEST 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP3 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x20 000005c4: ADD 000005c5: SWAP2 000005c6: POP 000005c7: POP 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: DUP1 000005cc: SWAP2 000005cd: SUB 000005ce: SWAP1 000005cf: RETURN 000005d0: JUMPDEST 000005d1: PUSH2 0x05dd 000005d4: PUSH1 0x04 000005d6: DUP1 000005d7: POP 000005d8: POP 000005d9: PUSH2 0x1220 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: DUP1 000005e2: DUP3 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: SWAP2 000005e9: POP 000005ea: POP 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: SWAP2 000005f0: SUB 000005f1: SWAP1 000005f2: RETURN 000005f3: JUMPDEST 000005f4: PUSH2 0x0609 000005f7: PUSH1 0x04 000005f9: DUP1 000005fa: DUP1 000005fb: CALLDATALOAD 000005fc: SWAP1 000005fd: PUSH1 0x20 000005ff: ADD 00000600: SWAP1 00000601: SWAP2 00000602: SWAP1 00000603: POP 00000604: POP 00000605: PUSH2 0x1229 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH1 0x40 0000060c: MLOAD 0000060d: DUP1 0000060e: DUP3 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x20 00000613: ADD 00000614: SWAP2 00000615: POP 00000616: POP 00000617: PUSH1 0x40 00000619: MLOAD 0000061a: DUP1 0000061b: SWAP2 0000061c: SUB 0000061d: SWAP1 0000061e: RETURN 0000061f: JUMPDEST 00000620: PUSH1 0x01 00000622: PUSH1 0x00 00000624: POP 00000625: DUP1 00000626: SLOAD 00000627: PUSH1 0x01 00000629: DUP2 0000062a: PUSH1 0x01 0000062c: AND 0000062d: ISZERO 0000062e: PUSH2 0x0100 00000631: MUL 00000632: SUB 00000633: AND 00000634: PUSH1 0x02 00000636: SWAP1 00000637: DIV 00000638: DUP1 00000639: PUSH1 0x1f 0000063b: ADD 0000063c: PUSH1 0x20 0000063e: DUP1 0000063f: SWAP2 00000640: DIV 00000641: MUL 00000642: PUSH1 0x20 00000644: ADD 00000645: PUSH1 0x40 00000647: MLOAD 00000648: SWAP1 00000649: DUP2 0000064a: ADD 0000064b: PUSH1 0x40 0000064d: MSTORE 0000064e: DUP1 0000064f: SWAP3 00000650: SWAP2 00000651: SWAP1 00000652: DUP2 00000653: DUP2 00000654: MSTORE 00000655: PUSH1 0x20 00000657: ADD 00000658: DUP3 00000659: DUP1 0000065a: SLOAD 0000065b: PUSH1 0x01 0000065d: DUP2 0000065e: PUSH1 0x01 00000660: AND 00000661: ISZERO 00000662: PUSH2 0x0100 00000665: MUL 00000666: SUB 00000667: AND 00000668: PUSH1 0x02 0000066a: SWAP1 0000066b: DIV 0000066c: DUP1 0000066d: ISZERO 0000066e: PUSH2 0x06b8 00000671: JUMPI 00000672: DUP1 00000673: PUSH1 0x1f 00000675: LT 00000676: PUSH2 0x068d 00000679: JUMPI 0000067a: PUSH2 0x0100 0000067d: DUP1 0000067e: DUP4 0000067f: SLOAD 00000680: DIV 00000681: MUL 00000682: DUP4 00000683: MSTORE 00000684: SWAP2 00000685: PUSH1 0x20 00000687: ADD 00000688: SWAP2 00000689: PUSH2 0x06b8 0000068c: JUMP 0000068d: JUMPDEST 0000068e: DUP3 0000068f: ADD 00000690: SWAP2 00000691: SWAP1 00000692: PUSH1 0x00 00000694: MSTORE 00000695: PUSH1 0x20 00000697: PUSH1 0x00 00000699: KECCAK256 0000069a: SWAP1 0000069b: JUMPDEST 0000069c: DUP2 0000069d: SLOAD 0000069e: DUP2 0000069f: MSTORE 000006a0: SWAP1 000006a1: PUSH1 0x01 000006a3: ADD 000006a4: SWAP1 000006a5: PUSH1 0x20 000006a7: ADD 000006a8: DUP1 000006a9: DUP4 000006aa: GT 000006ab: PUSH2 0x069b 000006ae: JUMPI 000006af: DUP3 000006b0: SWAP1 000006b1: SUB 000006b2: PUSH1 0x1f 000006b4: AND 000006b5: DUP3 000006b6: ADD 000006b7: SWAP2 000006b8: JUMPDEST 000006b9: POP 000006ba: POP 000006bb: POP 000006bc: POP 000006bd: POP 000006be: DUP2 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x00 000006c3: DUP2 000006c4: PUSH1 0x07 000006c6: PUSH1 0x00 000006c8: POP 000006c9: PUSH1 0x00 000006cb: CALLER 000006cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e1: AND 000006e2: DUP2 000006e3: MSTORE 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP1 000006e8: DUP2 000006e9: MSTORE 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: PUSH1 0x00 000006ef: KECCAK256 000006f0: PUSH1 0x00 000006f2: POP 000006f3: PUSH1 0x00 000006f5: DUP6 000006f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070b: AND 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x20 00000710: ADD 00000711: SWAP1 00000712: DUP2 00000713: MSTORE 00000714: PUSH1 0x20 00000716: ADD 00000717: PUSH1 0x00 00000719: KECCAK256 0000071a: PUSH1 0x00 0000071c: POP 0000071d: DUP2 0000071e: SWAP1 0000071f: SSTORE 00000720: POP 00000721: PUSH1 0x01 00000723: SWAP1 00000724: POP 00000725: PUSH2 0x0729 00000728: JUMP 00000729: JUMPDEST 0000072a: SWAP3 0000072b: SWAP2 0000072c: POP 0000072d: POP 0000072e: JUMP 0000072f: JUMPDEST 00000730: PUSH1 0x0b 00000732: PUSH1 0x00 00000734: POP 00000735: PUSH1 0x20 00000737: MSTORE 00000738: DUP1 00000739: PUSH1 0x00 0000073b: MSTORE 0000073c: PUSH1 0x40 0000073e: PUSH1 0x00 00000740: KECCAK256 00000741: PUSH1 0x00 00000743: SWAP2 00000744: POP 00000745: SWAP1 00000746: POP 00000747: SLOAD 00000748: DUP2 00000749: JUMP 0000074a: JUMPDEST 0000074b: PUSH1 0x00 0000074d: PUSH1 0x00 0000074f: DUP3 00000750: PUSH1 0x0b 00000752: PUSH1 0x00 00000754: POP 00000755: PUSH1 0x00 00000757: CALLER 00000758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076d: AND 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x20 00000772: ADD 00000773: SWAP1 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x20 00000778: ADD 00000779: PUSH1 0x00 0000077b: KECCAK256 0000077c: PUSH1 0x00 0000077e: POP 0000077f: SLOAD 00000780: LT 00000781: ISZERO 00000782: PUSH2 0x078a 00000785: JUMPI 00000786: PUSH2 0x0002 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x0e 0000078d: PUSH1 0x00 0000078f: POP 00000790: SLOAD 00000791: PUSH1 0x0a 00000793: PUSH1 0x00 00000795: SWAP1 00000796: SLOAD 00000797: SWAP1 00000798: PUSH2 0x0100 0000079b: EXP 0000079c: SWAP1 0000079d: DIV 0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b3: AND 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: AND 000007ca: PUSH4 0xf8b2cb4f 000007cf: CALLER 000007d0: PUSH1 0x40 000007d2: MLOAD 000007d3: DUP3 000007d4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000007f2: MUL 000007f3: DUP2 000007f4: MSTORE 000007f5: PUSH1 0x04 000007f7: ADD 000007f8: DUP1 000007f9: DUP3 000007fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080f: AND 00000810: DUP2 00000811: MSTORE 00000812: PUSH1 0x20 00000814: ADD 00000815: SWAP2 00000816: POP 00000817: POP 00000818: PUSH1 0x20 0000081a: PUSH1 0x40 0000081c: MLOAD 0000081d: DUP1 0000081e: DUP4 0000081f: SUB 00000820: DUP2 00000821: PUSH1 0x00 00000823: DUP8 00000824: PUSH2 0x61da 00000827: GAS 00000828: SUB 00000829: CALL 0000082a: ISZERO 0000082b: PUSH2 0x0002 0000082e: JUMPI 0000082f: POP 00000830: POP 00000831: POP 00000832: PUSH1 0x40 00000834: MLOAD 00000835: DUP1 00000836: MLOAD 00000837: SWAP1 00000838: PUSH1 0x20 0000083a: ADD 0000083b: POP 0000083c: GT 0000083d: ISZERO 0000083e: PUSH2 0x087d 00000841: JUMPI 00000842: CALLER 00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000858: AND 00000859: PUSH1 0x00 0000085b: DUP5 0000085c: PUSH1 0x40 0000085e: MLOAD 0000085f: DUP1 00000860: SWAP1 00000861: POP 00000862: PUSH1 0x00 00000864: PUSH1 0x40 00000866: MLOAD 00000867: DUP1 00000868: DUP4 00000869: SUB 0000086a: DUP2 0000086b: DUP6 0000086c: DUP9 0000086d: DUP9 0000086e: CALL 0000086f: SWAP4 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: POP 00000875: PUSH1 0x01 00000877: SWAP2 00000878: POP 00000879: PUSH2 0x095f 0000087c: JUMP 0000087d: JUMPDEST 0000087e: PUSH1 0x0d 00000880: PUSH1 0x00 00000882: POP 00000883: SLOAD 00000884: DUP4 00000885: DIV 00000886: SWAP1 00000887: POP 00000888: PUSH1 0x01 0000088a: ISZERO 0000088b: ISZERO 0000088c: CALLER 0000088d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a2: AND 000008a3: PUSH1 0x00 000008a5: DUP6 000008a6: PUSH1 0x40 000008a8: MLOAD 000008a9: DUP1 000008aa: SWAP1 000008ab: POP 000008ac: PUSH1 0x00 000008ae: PUSH1 0x40 000008b0: MLOAD 000008b1: DUP1 000008b2: DUP4 000008b3: SUB 000008b4: DUP2 000008b5: DUP6 000008b6: DUP9 000008b7: DUP9 000008b8: CALL 000008b9: SWAP4 000008ba: POP 000008bb: POP 000008bc: POP 000008bd: POP 000008be: ISZERO 000008bf: ISZERO 000008c0: EQ 000008c1: ISZERO 000008c2: PUSH2 0x0955 000008c5: JUMPI 000008c6: DUP3 000008c7: PUSH1 0x0b 000008c9: PUSH1 0x00 000008cb: POP 000008cc: PUSH1 0x00 000008ce: CALLER 000008cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e4: AND 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x20 000008e9: ADD 000008ea: SWAP1 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x20 000008ef: ADD 000008f0: PUSH1 0x00 000008f2: KECCAK256 000008f3: PUSH1 0x00 000008f5: DUP3 000008f6: DUP3 000008f7: DUP3 000008f8: POP 000008f9: SLOAD 000008fa: SUB 000008fb: SWAP3 000008fc: POP 000008fd: POP 000008fe: DUP2 000008ff: SWAP1 00000900: SSTORE 00000901: POP 00000902: DUP1 00000903: PUSH1 0x0c 00000905: PUSH1 0x00 00000907: POP 00000908: PUSH1 0x00 0000090a: CALLER 0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000920: AND 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: ADD 00000926: SWAP1 00000927: DUP2 00000928: MSTORE 00000929: PUSH1 0x20 0000092b: ADD 0000092c: PUSH1 0x00 0000092e: KECCAK256 0000092f: PUSH1 0x00 00000931: DUP3 00000932: DUP3 00000933: DUP3 00000934: POP 00000935: SLOAD 00000936: SUB 00000937: SWAP3 00000938: POP 00000939: POP 0000093a: DUP2 0000093b: SWAP1 0000093c: SSTORE 0000093d: POP 0000093e: PUSH2 0x0948 00000941: PUSH1 0x01 00000943: CALLER 00000944: PUSH2 0x1267 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x01 0000094b: SWAP2 0000094c: POP 0000094d: PUSH2 0x095f 00000950: JUMP 00000951: PUSH2 0x095e 00000954: JUMP 00000955: JUMPDEST 00000956: PUSH1 0x00 00000958: SWAP2 00000959: POP 0000095a: PUSH2 0x095f 0000095d: JUMP 0000095e: JUMPDEST 0000095f: JUMPDEST 00000960: POP 00000961: SWAP2 00000962: SWAP1 00000963: POP 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x04 00000968: PUSH1 0x00 0000096a: POP 0000096b: SLOAD 0000096c: DUP2 0000096d: JUMP 0000096e: JUMPDEST 0000096f: PUSH1 0x00 00000971: DUP2 00000972: PUSH1 0x06 00000974: PUSH1 0x00 00000976: POP 00000977: PUSH1 0x00 00000979: DUP7 0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098f: AND 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x20 00000994: ADD 00000995: SWAP1 00000996: DUP2 00000997: MSTORE 00000998: PUSH1 0x20 0000099a: ADD 0000099b: PUSH1 0x00 0000099d: KECCAK256 0000099e: PUSH1 0x00 000009a0: POP 000009a1: SLOAD 000009a2: LT 000009a3: ISZERO 000009a4: PUSH2 0x09ac 000009a7: JUMPI 000009a8: PUSH2 0x0002 000009ab: JUMP 000009ac: JUMPDEST 000009ad: PUSH1 0x06 000009af: PUSH1 0x00 000009b1: POP 000009b2: PUSH1 0x00 000009b4: DUP5 000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ca: AND 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x20 000009cf: ADD 000009d0: SWAP1 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x20 000009d5: ADD 000009d6: PUSH1 0x00 000009d8: KECCAK256 000009d9: PUSH1 0x00 000009db: POP 000009dc: SLOAD 000009dd: DUP3 000009de: PUSH1 0x06 000009e0: PUSH1 0x00 000009e2: POP 000009e3: PUSH1 0x00 000009e5: DUP7 000009e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009fb: AND 000009fc: DUP2 000009fd: MSTORE 000009fe: PUSH1 0x20 00000a00: ADD 00000a01: SWAP1 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x20 00000a06: ADD 00000a07: PUSH1 0x00 00000a09: KECCAK256 00000a0a: PUSH1 0x00 00000a0c: POP 00000a0d: SLOAD 00000a0e: ADD 00000a0f: LT 00000a10: ISZERO 00000a11: PUSH2 0x0a19 00000a14: JUMPI 00000a15: PUSH2 0x0002 00000a18: JUMP 00000a19: JUMPDEST 00000a1a: PUSH1 0x07 00000a1c: PUSH1 0x00 00000a1e: POP 00000a1f: PUSH1 0x00 00000a21: DUP6 00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a37: AND 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: PUSH1 0x00 00000a45: KECCAK256 00000a46: PUSH1 0x00 00000a48: POP 00000a49: PUSH1 0x00 00000a4b: CALLER 00000a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a61: AND 00000a62: DUP2 00000a63: MSTORE 00000a64: PUSH1 0x20 00000a66: ADD 00000a67: SWAP1 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x20 00000a6c: ADD 00000a6d: PUSH1 0x00 00000a6f: KECCAK256 00000a70: PUSH1 0x00 00000a72: POP 00000a73: SLOAD 00000a74: DUP3 00000a75: GT 00000a76: ISZERO 00000a77: PUSH2 0x0a7f 00000a7a: JUMPI 00000a7b: PUSH2 0x0002 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: DUP2 00000a81: PUSH1 0x06 00000a83: PUSH1 0x00 00000a85: POP 00000a86: PUSH1 0x00 00000a88: DUP7 00000a89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9e: AND 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: PUSH1 0x20 00000aa3: ADD 00000aa4: SWAP1 00000aa5: DUP2 00000aa6: MSTORE 00000aa7: PUSH1 0x20 00000aa9: ADD 00000aaa: PUSH1 0x00 00000aac: KECCAK256 00000aad: PUSH1 0x00 00000aaf: DUP3 00000ab0: DUP3 00000ab1: DUP3 00000ab2: POP 00000ab3: SLOAD 00000ab4: SUB 00000ab5: SWAP3 00000ab6: POP 00000ab7: POP 00000ab8: DUP2 00000ab9: SWAP1 00000aba: SSTORE 00000abb: POP 00000abc: DUP2 00000abd: PUSH1 0x06 00000abf: PUSH1 0x00 00000ac1: POP 00000ac2: PUSH1 0x00 00000ac4: DUP6 00000ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ada: AND 00000adb: DUP2 00000adc: MSTORE 00000add: PUSH1 0x20 00000adf: ADD 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x20 00000ae5: ADD 00000ae6: PUSH1 0x00 00000ae8: KECCAK256 00000ae9: PUSH1 0x00 00000aeb: DUP3 00000aec: DUP3 00000aed: DUP3 00000aee: POP 00000aef: SLOAD 00000af0: ADD 00000af1: SWAP3 00000af2: POP 00000af3: POP 00000af4: DUP2 00000af5: SWAP1 00000af6: SSTORE 00000af7: POP 00000af8: DUP2 00000af9: PUSH1 0x07 00000afb: PUSH1 0x00 00000afd: POP 00000afe: PUSH1 0x00 00000b00: DUP7 00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b16: AND 00000b17: DUP2 00000b18: MSTORE 00000b19: PUSH1 0x20 00000b1b: ADD 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH1 0x00 00000b24: KECCAK256 00000b25: PUSH1 0x00 00000b27: POP 00000b28: PUSH1 0x00 00000b2a: CALLER 00000b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b40: AND 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: SWAP1 00000b47: DUP2 00000b48: MSTORE 00000b49: PUSH1 0x20 00000b4b: ADD 00000b4c: PUSH1 0x00 00000b4e: KECCAK256 00000b4f: PUSH1 0x00 00000b51: DUP3 00000b52: DUP3 00000b53: DUP3 00000b54: POP 00000b55: SLOAD 00000b56: SUB 00000b57: SWAP3 00000b58: POP 00000b59: POP 00000b5a: DUP2 00000b5b: SWAP1 00000b5c: SSTORE 00000b5d: POP 00000b5e: DUP3 00000b5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b74: AND 00000b75: DUP5 00000b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8b: AND 00000b8c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000bad: DUP5 00000bae: PUSH1 0x40 00000bb0: MLOAD 00000bb1: DUP1 00000bb2: DUP3 00000bb3: DUP2 00000bb4: MSTORE 00000bb5: PUSH1 0x20 00000bb7: ADD 00000bb8: SWAP2 00000bb9: POP 00000bba: POP 00000bbb: PUSH1 0x40 00000bbd: MLOAD 00000bbe: DUP1 00000bbf: SWAP2 00000bc0: SUB 00000bc1: SWAP1 00000bc2: LOG3 00000bc3: PUSH1 0x01 00000bc5: SWAP1 00000bc6: POP 00000bc7: PUSH2 0x0bcb 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: SWAP4 00000bcd: SWAP3 00000bce: POP 00000bcf: POP 00000bd0: POP 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x03 00000bd5: PUSH1 0x00 00000bd7: SWAP1 00000bd8: SLOAD 00000bd9: SWAP1 00000bda: PUSH2 0x0100 00000bdd: EXP 00000bde: SWAP1 00000bdf: DIV 00000be0: PUSH1 0xff 00000be2: AND 00000be3: DUP2 00000be4: JUMP 00000be5: JUMPDEST 00000be6: PUSH1 0x0c 00000be8: PUSH1 0x00 00000bea: POP 00000beb: PUSH1 0x20 00000bed: MSTORE 00000bee: DUP1 00000bef: PUSH1 0x00 00000bf1: MSTORE 00000bf2: PUSH1 0x40 00000bf4: PUSH1 0x00 00000bf6: KECCAK256 00000bf7: PUSH1 0x00 00000bf9: SWAP2 00000bfa: POP 00000bfb: SWAP1 00000bfc: POP 00000bfd: SLOAD 00000bfe: DUP2 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x00 00000c03: PUSH1 0x00 00000c05: POP 00000c06: DUP1 00000c07: SLOAD 00000c08: PUSH1 0x01 00000c0a: DUP2 00000c0b: PUSH1 0x01 00000c0d: AND 00000c0e: ISZERO 00000c0f: PUSH2 0x0100 00000c12: MUL 00000c13: SUB 00000c14: AND 00000c15: PUSH1 0x02 00000c17: SWAP1 00000c18: DIV 00000c19: DUP1 00000c1a: PUSH1 0x1f 00000c1c: ADD 00000c1d: PUSH1 0x20 00000c1f: DUP1 00000c20: SWAP2 00000c21: DIV 00000c22: MUL 00000c23: PUSH1 0x20 00000c25: ADD 00000c26: PUSH1 0x40 00000c28: MLOAD 00000c29: SWAP1 00000c2a: DUP2 00000c2b: ADD 00000c2c: PUSH1 0x40 00000c2e: MSTORE 00000c2f: DUP1 00000c30: SWAP3 00000c31: SWAP2 00000c32: SWAP1 00000c33: DUP2 00000c34: DUP2 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: ADD 00000c39: DUP3 00000c3a: DUP1 00000c3b: SLOAD 00000c3c: PUSH1 0x01 00000c3e: DUP2 00000c3f: PUSH1 0x01 00000c41: AND 00000c42: ISZERO 00000c43: PUSH2 0x0100 00000c46: MUL 00000c47: SUB 00000c48: AND 00000c49: PUSH1 0x02 00000c4b: SWAP1 00000c4c: DIV 00000c4d: DUP1 00000c4e: ISZERO 00000c4f: PUSH2 0x0c99 00000c52: JUMPI 00000c53: DUP1 00000c54: PUSH1 0x1f 00000c56: LT 00000c57: PUSH2 0x0c6e 00000c5a: JUMPI 00000c5b: PUSH2 0x0100 00000c5e: DUP1 00000c5f: DUP4 00000c60: SLOAD 00000c61: DIV 00000c62: MUL 00000c63: DUP4 00000c64: MSTORE 00000c65: SWAP2 00000c66: PUSH1 0x20 00000c68: ADD 00000c69: SWAP2 00000c6a: PUSH2 0x0c99 00000c6d: JUMP 00000c6e: JUMPDEST 00000c6f: DUP3 00000c70: ADD 00000c71: SWAP2 00000c72: SWAP1 00000c73: PUSH1 0x00 00000c75: MSTORE 00000c76: PUSH1 0x20 00000c78: PUSH1 0x00 00000c7a: KECCAK256 00000c7b: SWAP1 00000c7c: JUMPDEST 00000c7d: DUP2 00000c7e: SLOAD 00000c7f: DUP2 00000c80: MSTORE 00000c81: SWAP1 00000c82: PUSH1 0x01 00000c84: ADD 00000c85: SWAP1 00000c86: PUSH1 0x20 00000c88: ADD 00000c89: DUP1 00000c8a: DUP4 00000c8b: GT 00000c8c: PUSH2 0x0c7c 00000c8f: JUMPI 00000c90: DUP3 00000c91: SWAP1 00000c92: SUB 00000c93: PUSH1 0x1f 00000c95: AND 00000c96: DUP3 00000c97: ADD 00000c98: SWAP2 00000c99: JUMPDEST 00000c9a: POP 00000c9b: POP 00000c9c: POP 00000c9d: POP 00000c9e: POP 00000c9f: DUP2 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH1 0x06 00000ca4: PUSH1 0x00 00000ca6: POP 00000ca7: PUSH1 0x20 00000ca9: MSTORE 00000caa: DUP1 00000cab: PUSH1 0x00 00000cad: MSTORE 00000cae: PUSH1 0x40 00000cb0: PUSH1 0x00 00000cb2: KECCAK256 00000cb3: PUSH1 0x00 00000cb5: SWAP2 00000cb6: POP 00000cb7: SWAP1 00000cb8: POP 00000cb9: SLOAD 00000cba: DUP2 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH1 0x0a 00000cbf: PUSH1 0x00 00000cc1: SWAP1 00000cc2: SLOAD 00000cc3: SWAP1 00000cc4: PUSH2 0x0100 00000cc7: EXP 00000cc8: SWAP1 00000cc9: DIV 00000cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdf: AND 00000ce0: DUP2 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: PUSH1 0x08 00000ce5: PUSH1 0x00 00000ce7: SWAP1 00000ce8: SLOAD 00000ce9: SWAP1 00000cea: PUSH2 0x0100 00000ced: EXP 00000cee: SWAP1 00000cef: DIV 00000cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d05: AND 00000d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1b: AND 00000d1c: CALLER 00000d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d32: AND 00000d33: EQ 00000d34: ISZERO 00000d35: PUSH2 0x0daa 00000d38: JUMPI 00000d39: PUSH1 0x08 00000d3b: PUSH1 0x00 00000d3d: SWAP1 00000d3e: SLOAD 00000d3f: SWAP1 00000d40: PUSH2 0x0100 00000d43: EXP 00000d44: SWAP1 00000d45: DIV 00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5b: AND 00000d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d71: AND 00000d72: PUSH1 0x00 00000d74: PUSH3 0x200b20 00000d78: ADDRESS 00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8e: AND 00000d8f: BALANCE 00000d90: SUB 00000d91: PUSH1 0x40 00000d93: MLOAD 00000d94: DUP1 00000d95: SWAP1 00000d96: POP 00000d97: PUSH1 0x00 00000d99: PUSH1 0x40 00000d9b: MLOAD 00000d9c: DUP1 00000d9d: DUP4 00000d9e: SUB 00000d9f: DUP2 00000da0: DUP6 00000da1: DUP9 00000da2: DUP9 00000da3: CALL 00000da4: SWAP4 00000da5: POP 00000da6: POP 00000da7: POP 00000da8: POP 00000da9: POP 00000daa: JUMPDEST 00000dab: JUMPDEST 00000dac: JUMP 00000dad: JUMPDEST 00000dae: PUSH1 0x08 00000db0: PUSH1 0x00 00000db2: SWAP1 00000db3: SLOAD 00000db4: SWAP1 00000db5: PUSH2 0x0100 00000db8: EXP 00000db9: SWAP1 00000dba: DIV 00000dbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd0: AND 00000dd1: DUP2 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: PUSH1 0x02 00000dd6: PUSH1 0x00 00000dd8: POP 00000dd9: DUP1 00000dda: SLOAD 00000ddb: PUSH1 0x01 00000ddd: DUP2 00000dde: PUSH1 0x01 00000de0: AND 00000de1: ISZERO 00000de2: PUSH2 0x0100 00000de5: MUL 00000de6: SUB 00000de7: AND 00000de8: PUSH1 0x02 00000dea: SWAP1 00000deb: DIV 00000dec: DUP1 00000ded: PUSH1 0x1f 00000def: ADD 00000df0: PUSH1 0x20 00000df2: DUP1 00000df3: SWAP2 00000df4: DIV 00000df5: MUL 00000df6: PUSH1 0x20 00000df8: ADD 00000df9: PUSH1 0x40 00000dfb: MLOAD 00000dfc: SWAP1 00000dfd: DUP2 00000dfe: ADD 00000dff: PUSH1 0x40 00000e01: MSTORE 00000e02: DUP1 00000e03: SWAP3 00000e04: SWAP2 00000e05: SWAP1 00000e06: DUP2 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x20 00000e0b: ADD 00000e0c: DUP3 00000e0d: DUP1 00000e0e: SLOAD 00000e0f: PUSH1 0x01 00000e11: DUP2 00000e12: PUSH1 0x01 00000e14: AND 00000e15: ISZERO 00000e16: PUSH2 0x0100 00000e19: MUL 00000e1a: SUB 00000e1b: AND 00000e1c: PUSH1 0x02 00000e1e: SWAP1 00000e1f: DIV 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e6c 00000e25: JUMPI 00000e26: DUP1 00000e27: PUSH1 0x1f 00000e29: LT 00000e2a: PUSH2 0x0e41 00000e2d: JUMPI 00000e2e: PUSH2 0x0100 00000e31: DUP1 00000e32: DUP4 00000e33: SLOAD 00000e34: DIV 00000e35: MUL 00000e36: DUP4 00000e37: MSTORE 00000e38: SWAP2 00000e39: PUSH1 0x20 00000e3b: ADD 00000e3c: SWAP2 00000e3d: PUSH2 0x0e6c 00000e40: JUMP 00000e41: JUMPDEST 00000e42: DUP3 00000e43: ADD 00000e44: SWAP2 00000e45: SWAP1 00000e46: PUSH1 0x00 00000e48: MSTORE 00000e49: PUSH1 0x20 00000e4b: PUSH1 0x00 00000e4d: KECCAK256 00000e4e: SWAP1 00000e4f: JUMPDEST 00000e50: DUP2 00000e51: SLOAD 00000e52: DUP2 00000e53: MSTORE 00000e54: SWAP1 00000e55: PUSH1 0x01 00000e57: ADD 00000e58: SWAP1 00000e59: PUSH1 0x20 00000e5b: ADD 00000e5c: DUP1 00000e5d: DUP4 00000e5e: GT 00000e5f: PUSH2 0x0e4f 00000e62: JUMPI 00000e63: DUP3 00000e64: SWAP1 00000e65: SUB 00000e66: PUSH1 0x1f 00000e68: AND 00000e69: DUP3 00000e6a: ADD 00000e6b: SWAP2 00000e6c: JUMPDEST 00000e6d: POP 00000e6e: POP 00000e6f: POP 00000e70: POP 00000e71: POP 00000e72: DUP2 00000e73: JUMP 00000e74: JUMPDEST 00000e75: DUP1 00000e76: PUSH1 0x06 00000e78: PUSH1 0x00 00000e7a: POP 00000e7b: PUSH1 0x00 00000e7d: CALLER 00000e7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e93: AND 00000e94: DUP2 00000e95: MSTORE 00000e96: PUSH1 0x20 00000e98: ADD 00000e99: SWAP1 00000e9a: DUP2 00000e9b: MSTORE 00000e9c: PUSH1 0x20 00000e9e: ADD 00000e9f: PUSH1 0x00 00000ea1: KECCAK256 00000ea2: PUSH1 0x00 00000ea4: POP 00000ea5: SLOAD 00000ea6: LT 00000ea7: ISZERO 00000ea8: PUSH2 0x0eb0 00000eab: JUMPI 00000eac: PUSH2 0x0002 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH1 0x06 00000eb3: PUSH1 0x00 00000eb5: POP 00000eb6: PUSH1 0x00 00000eb8: DUP4 00000eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ece: AND 00000ecf: DUP2 00000ed0: MSTORE 00000ed1: PUSH1 0x20 00000ed3: ADD 00000ed4: SWAP1 00000ed5: DUP2 00000ed6: MSTORE 00000ed7: PUSH1 0x20 00000ed9: ADD 00000eda: PUSH1 0x00 00000edc: KECCAK256 00000edd: PUSH1 0x00 00000edf: POP 00000ee0: SLOAD 00000ee1: DUP2 00000ee2: PUSH1 0x06 00000ee4: PUSH1 0x00 00000ee6: POP 00000ee7: PUSH1 0x00 00000ee9: DUP6 00000eea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eff: AND 00000f00: DUP2 00000f01: MSTORE 00000f02: PUSH1 0x20 00000f04: ADD 00000f05: SWAP1 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x20 00000f0a: ADD 00000f0b: PUSH1 0x00 00000f0d: KECCAK256 00000f0e: PUSH1 0x00 00000f10: POP 00000f11: SLOAD 00000f12: ADD 00000f13: LT 00000f14: ISZERO 00000f15: PUSH2 0x0f1d 00000f18: JUMPI 00000f19: PUSH2 0x0002 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: DUP1 00000f1f: PUSH1 0x06 00000f21: PUSH1 0x00 00000f23: POP 00000f24: PUSH1 0x00 00000f26: CALLER 00000f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3c: AND 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x20 00000f41: ADD 00000f42: SWAP1 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: ADD 00000f48: PUSH1 0x00 00000f4a: KECCAK256 00000f4b: PUSH1 0x00 00000f4d: DUP3 00000f4e: DUP3 00000f4f: DUP3 00000f50: POP 00000f51: SLOAD 00000f52: SUB 00000f53: SWAP3 00000f54: POP 00000f55: POP 00000f56: DUP2 00000f57: SWAP1 00000f58: SSTORE 00000f59: POP 00000f5a: DUP1 00000f5b: PUSH1 0x06 00000f5d: PUSH1 0x00 00000f5f: POP 00000f60: PUSH1 0x00 00000f62: DUP5 00000f63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f78: AND 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH1 0x20 00000f7d: ADD 00000f7e: SWAP1 00000f7f: DUP2 00000f80: MSTORE 00000f81: PUSH1 0x20 00000f83: ADD 00000f84: PUSH1 0x00 00000f86: KECCAK256 00000f87: PUSH1 0x00 00000f89: DUP3 00000f8a: DUP3 00000f8b: DUP3 00000f8c: POP 00000f8d: SLOAD 00000f8e: ADD 00000f8f: SWAP3 00000f90: POP 00000f91: POP 00000f92: DUP2 00000f93: SWAP1 00000f94: SSTORE 00000f95: POP 00000f96: DUP2 00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fac: AND 00000fad: CALLER 00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc3: AND 00000fc4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fe5: DUP4 00000fe6: PUSH1 0x40 00000fe8: MLOAD 00000fe9: DUP1 00000fea: DUP3 00000feb: DUP2 00000fec: MSTORE 00000fed: PUSH1 0x20 00000fef: ADD 00000ff0: SWAP2 00000ff1: POP 00000ff2: POP 00000ff3: PUSH1 0x40 00000ff5: MLOAD 00000ff6: DUP1 00000ff7: SWAP2 00000ff8: SUB 00000ff9: SWAP1 00000ffa: LOG3 00000ffb: JUMPDEST 00000ffc: POP 00000ffd: POP 00000ffe: JUMP 00000fff: JUMPDEST 00001000: PUSH1 0x09 00001002: PUSH1 0x00 00001004: SWAP1 00001005: SLOAD 00001006: SWAP1 00001007: PUSH2 0x0100 0000100a: EXP 0000100b: SWAP1 0000100c: DIV 0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001022: AND 00001023: DUP2 00001024: JUMP 00001025: JUMPDEST 00001026: PUSH1 0x0d 00001028: PUSH1 0x00 0000102a: POP 0000102b: SLOAD 0000102c: DUP2 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x0d 00001031: PUSH1 0x00 00001033: POP 00001034: SLOAD 00001035: CALLVALUE 00001036: LT 00001037: ISZERO 00001038: ISZERO 00001039: PUSH2 0x10c0 0000103c: JUMPI 0000103d: CALLVALUE 0000103e: PUSH1 0x0b 00001040: PUSH1 0x00 00001042: POP 00001043: PUSH1 0x00 00001045: CALLER 00001046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105b: AND 0000105c: DUP2 0000105d: MSTORE 0000105e: PUSH1 0x20 00001060: ADD 00001061: SWAP1 00001062: DUP2 00001063: MSTORE 00001064: PUSH1 0x20 00001066: ADD 00001067: PUSH1 0x00 00001069: KECCAK256 0000106a: PUSH1 0x00 0000106c: DUP3 0000106d: DUP3 0000106e: DUP3 0000106f: POP 00001070: SLOAD 00001071: ADD 00001072: SWAP3 00001073: POP 00001074: POP 00001075: DUP2 00001076: SWAP1 00001077: SSTORE 00001078: POP 00001079: PUSH1 0x0d 0000107b: PUSH1 0x00 0000107d: POP 0000107e: SLOAD 0000107f: CALLVALUE 00001080: DIV 00001081: PUSH1 0x0c 00001083: PUSH1 0x00 00001085: POP 00001086: PUSH1 0x00 00001088: CALLER 00001089: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109e: AND 0000109f: DUP2 000010a0: MSTORE 000010a1: PUSH1 0x20 000010a3: ADD 000010a4: SWAP1 000010a5: DUP2 000010a6: MSTORE 000010a7: PUSH1 0x20 000010a9: ADD 000010aa: PUSH1 0x00 000010ac: KECCAK256 000010ad: PUSH1 0x00 000010af: DUP3 000010b0: DUP3 000010b1: DUP3 000010b2: POP 000010b3: SLOAD 000010b4: ADD 000010b5: SWAP3 000010b6: POP 000010b7: POP 000010b8: DUP2 000010b9: SWAP1 000010ba: SSTORE 000010bb: POP 000010bc: PUSH2 0x10c5 000010bf: JUMP 000010c0: JUMPDEST 000010c1: PUSH2 0x0002 000010c4: JUMP 000010c5: JUMPDEST 000010c6: JUMPDEST 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH1 0x00 000010cb: PUSH1 0x00 000010cd: DUP5 000010ce: SWAP1 000010cf: POP 000010d0: PUSH2 0x10d9 000010d3: DUP6 000010d4: DUP6 000010d5: PUSH2 0x06c0 000010d8: JUMP 000010d9: JUMPDEST 000010da: ISZERO 000010db: PUSH2 0x11ec 000010de: JUMPI 000010df: DUP1 000010e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f5: AND 000010f6: PUSH4 0x8f4ffcb1 000010fb: CALLER 000010fc: DUP7 000010fd: ADDRESS 000010fe: DUP8 000010ff: PUSH1 0x40 00001101: MLOAD 00001102: DUP6 00001103: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001121: MUL 00001122: DUP2 00001123: MSTORE 00001124: PUSH1 0x04 00001126: ADD 00001127: DUP1 00001128: DUP6 00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113e: AND 0000113f: DUP2 00001140: MSTORE 00001141: PUSH1 0x20 00001143: ADD 00001144: DUP5 00001145: DUP2 00001146: MSTORE 00001147: PUSH1 0x20 00001149: ADD 0000114a: DUP4 0000114b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001160: AND 00001161: DUP2 00001162: MSTORE 00001163: PUSH1 0x20 00001165: ADD 00001166: DUP1 00001167: PUSH1 0x20 00001169: ADD 0000116a: DUP3 0000116b: DUP2 0000116c: SUB 0000116d: DUP3 0000116e: MSTORE 0000116f: DUP4 00001170: DUP2 00001171: DUP2 00001172: MLOAD 00001173: DUP2 00001174: MSTORE 00001175: PUSH1 0x20 00001177: ADD 00001178: SWAP2 00001179: POP 0000117a: DUP1 0000117b: MLOAD 0000117c: SWAP1 0000117d: PUSH1 0x20 0000117f: ADD 00001180: SWAP1 00001181: DUP1 00001182: DUP4 00001183: DUP4 00001184: DUP3 00001185: SWAP1 00001186: PUSH1 0x00 00001188: PUSH1 0x04 0000118a: PUSH1 0x20 0000118c: DUP5 0000118d: PUSH1 0x1f 0000118f: ADD 00001190: DIV 00001191: PUSH1 0x03 00001193: MUL 00001194: PUSH1 0x0f 00001196: ADD 00001197: CALL 00001198: POP 00001199: SWAP1 0000119a: POP 0000119b: SWAP1 0000119c: DUP2 0000119d: ADD 0000119e: SWAP1 0000119f: PUSH1 0x1f 000011a1: AND 000011a2: DUP1 000011a3: ISZERO 000011a4: PUSH2 0x11c1 000011a7: JUMPI 000011a8: DUP1 000011a9: DUP3 000011aa: SUB 000011ab: DUP1 000011ac: MLOAD 000011ad: PUSH1 0x01 000011af: DUP4 000011b0: PUSH1 0x20 000011b2: SUB 000011b3: PUSH2 0x0100 000011b6: EXP 000011b7: SUB 000011b8: NOT 000011b9: AND 000011ba: DUP2 000011bb: MSTORE 000011bc: PUSH1 0x20 000011be: ADD 000011bf: SWAP2 000011c0: POP 000011c1: JUMPDEST 000011c2: POP 000011c3: SWAP6 000011c4: POP 000011c5: POP 000011c6: POP 000011c7: POP 000011c8: POP 000011c9: POP 000011ca: PUSH1 0x00 000011cc: PUSH1 0x40 000011ce: MLOAD 000011cf: DUP1 000011d0: DUP4 000011d1: SUB 000011d2: DUP2 000011d3: PUSH1 0x00 000011d5: DUP8 000011d6: PUSH2 0x61da 000011d9: GAS 000011da: SUB 000011db: CALL 000011dc: ISZERO 000011dd: PUSH2 0x0002 000011e0: JUMPI 000011e1: POP 000011e2: POP 000011e3: POP 000011e4: PUSH1 0x01 000011e6: SWAP2 000011e7: POP 000011e8: PUSH2 0x11ed 000011eb: JUMP 000011ec: JUMPDEST 000011ed: JUMPDEST 000011ee: POP 000011ef: SWAP4 000011f0: SWAP3 000011f1: POP 000011f2: POP 000011f3: POP 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH1 0x07 000011f8: PUSH1 0x00 000011fa: POP 000011fb: PUSH1 0x20 000011fd: MSTORE 000011fe: DUP2 000011ff: PUSH1 0x00 00001201: MSTORE 00001202: PUSH1 0x40 00001204: PUSH1 0x00 00001206: KECCAK256 00001207: PUSH1 0x00 00001209: POP 0000120a: PUSH1 0x20 0000120c: MSTORE 0000120d: DUP1 0000120e: PUSH1 0x00 00001210: MSTORE 00001211: PUSH1 0x40 00001213: PUSH1 0x00 00001215: KECCAK256 00001216: PUSH1 0x00 00001218: SWAP2 00001219: POP 0000121a: SWAP2 0000121b: POP 0000121c: POP 0000121d: SLOAD 0000121e: DUP2 0000121f: JUMP 00001220: JUMPDEST 00001221: PUSH1 0x0e 00001223: PUSH1 0x00 00001225: POP 00001226: SLOAD 00001227: DUP2 00001228: JUMP 00001229: JUMPDEST 0000122a: PUSH1 0x00 0000122c: PUSH1 0x06 0000122e: PUSH1 0x00 00001230: POP 00001231: PUSH1 0x00 00001233: DUP4 00001234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001249: AND 0000124a: DUP2 0000124b: MSTORE 0000124c: PUSH1 0x20 0000124e: ADD 0000124f: SWAP1 00001250: DUP2 00001251: MSTORE 00001252: PUSH1 0x20 00001254: ADD 00001255: PUSH1 0x00 00001257: KECCAK256 00001258: PUSH1 0x00 0000125a: POP 0000125b: SLOAD 0000125c: SWAP1 0000125d: POP 0000125e: PUSH2 0x1262 00001261: JUMP 00001262: JUMPDEST 00001263: SWAP2 00001264: SWAP1 00001265: POP 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH1 0x0a 0000126a: PUSH1 0x00 0000126c: SWAP1 0000126d: SLOAD 0000126e: SWAP1 0000126f: PUSH2 0x0100 00001272: EXP 00001273: SWAP1 00001274: DIV 00001275: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128a: AND 0000128b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a0: AND 000012a1: PUSH4 0xa9059cbb 000012a6: DUP3 000012a7: DUP5 000012a8: PUSH1 0x40 000012aa: MLOAD 000012ab: DUP4 000012ac: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000012ca: MUL 000012cb: DUP2 000012cc: MSTORE 000012cd: PUSH1 0x04 000012cf: ADD 000012d0: DUP1 000012d1: DUP4 000012d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e7: AND 000012e8: DUP2 000012e9: MSTORE 000012ea: PUSH1 0x20 000012ec: ADD 000012ed: DUP3 000012ee: DUP2 000012ef: MSTORE 000012f0: PUSH1 0x20 000012f2: ADD 000012f3: SWAP3 000012f4: POP 000012f5: POP 000012f6: POP 000012f7: PUSH1 0x00 000012f9: PUSH1 0x40 000012fb: MLOAD 000012fc: DUP1 000012fd: DUP4 000012fe: SUB 000012ff: DUP2 00001300: PUSH1 0x00 00001302: DUP8 00001303: PUSH2 0x61da 00001306: GAS 00001307: SUB 00001308: CALL 00001309: ISZERO 0000130a: PUSH2 0x0002 0000130d: JUMPI 0000130e: POP 0000130f: POP 00001310: POP 00001311: JUMPDEST 00001312: POP 00001313: POP 00001314: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0x710426c24f34d0e9ed5cb7c3dc34a654ac248c59fe14d0c36b46e01af8da7111
call_targets:
0x0000000000000000000000000000000000000004, 0x6d39c349983248912f311d68126d85e9b9681d00
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x710426c24f34d0e9ed5cb7c3dc34a654ac248c59fe14d0c36b46e01af8da7111",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x6d39c349983248912f311d68126d85e9b9681d00"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x171f34a6",
"selector": "0x171f34a6",
"calldata_variants": [
"0x171f34a6",
"0x171f34a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1720ea55",
"selector": "0x1720ea55",
"calldata_variants": [
"0x1720ea55",
"0x1720ea550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x354dace2",
"selector": "0x354dace2",
"calldata_variants": [
"0x354dace2",
"0x354dace20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 368,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 817,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 3356,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x710426c24f34d0e9ed5cb7c3dc34a654ac248c59fe14d0c36b46e01af8da7111
call_targets:
0x0000000000000000000000000000000000000004, 0x6d39c349983248912f311d68126d85e9b9681d00
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x710426c24f34d0e9ed5cb7c3dc34a654ac248c59fe14d0c36b46e01af8da7111",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0x6d39c349983248912f311d68126d85e9b9681d00"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x171f34a6",
"selector": "0x171f34a6",
"calldata_variants": [
"0x171f34a6",
"0x171f34a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1720ea55",
"selector": "0x1720ea55",
"calldata_variants": [
"0x1720ea55",
"0x1720ea550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x354dace2",
"selector": "0x354dace2",
"calldata_variants": [
"0x354dace2",
"0x354dace20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 368,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 817,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 3356,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|