019b3836-373b-70d2-b470-13801780e3fb
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 |
|---|---|---|---|---|
| 3721 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3722 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 104917 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104918 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104919 | detector.run | complete | 1 / 3 | 1 week ago |
| 104920 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113895 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-tw9xksxx model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5ca2-2317-7a60-b685-afe4be3cf753 -------- 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:53:44.830586+00:00",
"returncode": 1
},
"project": {
"mode": "bytecode",
"bytecode_length": 9666,
"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 0x00ab 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x31c2bd0b 00000034: EQ 00000035: PUSH2 0x0187 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x5a9b0b89 0000003f: EQ 00000040: PUSH2 0x0203 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x7e1db2a1 0000004a: EQ 0000004b: PUSH2 0x023b 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0xa230c524 00000055: EQ 00000056: PUSH2 0x025c 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xba0179b5 00000060: EQ 00000061: PUSH2 0x0288 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xc2205ee1 0000006b: EQ 0000006c: PUSH2 0x02b4 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc7d6faf1 00000076: EQ 00000077: PUSH2 0x02ed 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xca6d56dc 00000081: EQ 00000082: PUSH2 0x0322 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xd551f601 0000008c: EQ 0000008d: PUSH2 0x033a 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xed684cc6 00000097: EQ 00000098: PUSH2 0x035d 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xf6d5959b 000000a2: EQ 000000a3: PUSH2 0x0375 000000a6: JUMPI 000000a7: PUSH2 0x00ab 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0185 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: CALLDATASIZE 000000b3: PUSH1 0x08 000000b5: PUSH1 0x00 000000b7: POP 000000b8: PUSH1 0x00 000000ba: CALLER 000000bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d0: AND 000000d1: DUP2 000000d2: MSTORE 000000d3: PUSH1 0x20 000000d5: ADD 000000d6: SWAP1 000000d7: DUP2 000000d8: MSTORE 000000d9: PUSH1 0x20 000000db: ADD 000000dc: PUSH1 0x00 000000de: KECCAK256 000000df: PUSH1 0x00 000000e1: POP 000000e2: SWAP2 000000e3: SWAP1 000000e4: DUP3 000000e5: DUP1 000000e6: SLOAD 000000e7: PUSH1 0x01 000000e9: DUP2 000000ea: PUSH1 0x01 000000ec: AND 000000ed: ISZERO 000000ee: PUSH2 0x0100 000000f1: MUL 000000f2: SUB 000000f3: AND 000000f4: PUSH1 0x02 000000f6: SWAP1 000000f7: DIV 000000f8: SWAP1 000000f9: PUSH1 0x00 000000fb: MSTORE 000000fc: PUSH1 0x20 000000fe: PUSH1 0x00 00000100: KECCAK256 00000101: SWAP1 00000102: PUSH1 0x1f 00000104: ADD 00000105: PUSH1 0x20 00000107: SWAP1 00000108: DIV 00000109: DUP2 0000010a: ADD 0000010b: SWAP3 0000010c: DUP3 0000010d: PUSH1 0x1f 0000010f: LT 00000110: PUSH2 0x0124 00000113: JUMPI 00000114: DUP1 00000115: CALLDATALOAD 00000116: PUSH1 0xff 00000118: NOT 00000119: AND 0000011a: DUP4 0000011b: DUP1 0000011c: ADD 0000011d: OR 0000011e: DUP6 0000011f: SSTORE 00000120: PUSH2 0x0155 00000123: JUMP 00000124: JUMPDEST 00000125: DUP3 00000126: DUP1 00000127: ADD 00000128: PUSH1 0x01 0000012a: ADD 0000012b: DUP6 0000012c: SSTORE 0000012d: DUP3 0000012e: ISZERO 0000012f: PUSH2 0x0155 00000132: JUMPI 00000133: SWAP2 00000134: DUP3 00000135: ADD 00000136: JUMPDEST 00000137: DUP3 00000138: DUP2 00000139: GT 0000013a: ISZERO 0000013b: PUSH2 0x0154 0000013e: JUMPI 0000013f: DUP3 00000140: CALLDATALOAD 00000141: DUP3 00000142: PUSH1 0x00 00000144: POP 00000145: SSTORE 00000146: SWAP2 00000147: PUSH1 0x20 00000149: ADD 0000014a: SWAP2 0000014b: SWAP1 0000014c: PUSH1 0x01 0000014e: ADD 0000014f: SWAP1 00000150: PUSH2 0x0136 00000153: JUMP 00000154: JUMPDEST 00000155: JUMPDEST 00000156: POP 00000157: SWAP1 00000158: POP 00000159: PUSH2 0x0180 0000015c: SWAP2 0000015d: SWAP1 0000015e: PUSH2 0x0162 00000161: JUMP 00000162: JUMPDEST 00000163: DUP1 00000164: DUP3 00000165: GT 00000166: ISZERO 00000167: PUSH2 0x017c 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP2 0000016e: DUP2 0000016f: POP 00000170: PUSH1 0x00 00000172: SWAP1 00000173: SSTORE 00000174: POP 00000175: PUSH1 0x01 00000177: ADD 00000178: PUSH2 0x0162 0000017b: JUMP 0000017c: JUMPDEST 0000017d: POP 0000017e: SWAP1 0000017f: JUMP 00000180: JUMPDEST 00000181: POP 00000182: POP 00000183: JUMPDEST 00000184: JUMP 00000185: JUMPDEST 00000186: STOP 00000187: JUMPDEST 00000188: PUSH2 0x01ed 0000018b: PUSH1 0x04 0000018d: DUP1 0000018e: DUP1 0000018f: CALLDATALOAD 00000190: SWAP1 00000191: PUSH1 0x20 00000193: ADD 00000194: SWAP1 00000195: SWAP2 00000196: SWAP1 00000197: DUP1 00000198: CALLDATALOAD 00000199: SWAP1 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: SWAP1 0000019e: DUP3 0000019f: ADD 000001a0: DUP1 000001a1: CALLDATALOAD 000001a2: SWAP1 000001a3: PUSH1 0x20 000001a5: ADD 000001a6: SWAP2 000001a7: SWAP2 000001a8: SWAP1 000001a9: DUP1 000001aa: DUP1 000001ab: PUSH1 0x1f 000001ad: ADD 000001ae: PUSH1 0x20 000001b0: DUP1 000001b1: SWAP2 000001b2: DIV 000001b3: MUL 000001b4: PUSH1 0x20 000001b6: ADD 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: SWAP1 000001bb: DUP2 000001bc: ADD 000001bd: PUSH1 0x40 000001bf: MSTORE 000001c0: DUP1 000001c1: SWAP4 000001c2: SWAP3 000001c3: SWAP2 000001c4: SWAP1 000001c5: DUP2 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP4 000001cc: DUP4 000001cd: DUP1 000001ce: DUP3 000001cf: DUP5 000001d0: CALLDATACOPY 000001d1: DUP3 000001d2: ADD 000001d3: SWAP2 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: SWAP1 000001db: SWAP1 000001dc: SWAP2 000001dd: SWAP1 000001de: DUP1 000001df: CALLDATALOAD 000001e0: SWAP1 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: SWAP1 000001e5: SWAP2 000001e6: SWAP1 000001e7: POP 000001e8: POP 000001e9: PUSH2 0x0728 000001ec: JUMP 000001ed: JUMPDEST 000001ee: PUSH1 0x40 000001f0: MLOAD 000001f1: DUP1 000001f2: DUP3 000001f3: DUP2 000001f4: MSTORE 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: SWAP2 000001f9: POP 000001fa: POP 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: DUP1 000001ff: SWAP2 00000200: SUB 00000201: SWAP1 00000202: RETURN 00000203: JUMPDEST 00000204: PUSH2 0x0210 00000207: PUSH1 0x04 00000209: DUP1 0000020a: POP 0000020b: POP 0000020c: PUSH2 0x05bc 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH1 0x40 00000213: MLOAD 00000214: DUP1 00000215: DUP6 00000216: DUP2 00000217: MSTORE 00000218: PUSH1 0x20 0000021a: ADD 0000021b: DUP5 0000021c: DUP2 0000021d: MSTORE 0000021e: PUSH1 0x20 00000220: ADD 00000221: DUP4 00000222: DUP2 00000223: MSTORE 00000224: PUSH1 0x20 00000226: ADD 00000227: DUP3 00000228: DUP2 00000229: MSTORE 0000022a: PUSH1 0x20 0000022c: ADD 0000022d: SWAP5 0000022e: POP 0000022f: POP 00000230: POP 00000231: POP 00000232: POP 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: PUSH2 0x025a 0000023f: PUSH1 0x04 00000241: DUP1 00000242: DUP1 00000243: CALLDATALOAD 00000244: SWAP1 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP1 00000249: SWAP2 0000024a: SWAP1 0000024b: DUP1 0000024c: CALLDATALOAD 0000024d: SWAP1 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP1 00000252: SWAP2 00000253: SWAP1 00000254: POP 00000255: POP 00000256: PUSH2 0x03af 00000259: JUMP 0000025a: JUMPDEST 0000025b: STOP 0000025c: JUMPDEST 0000025d: PUSH2 0x0272 00000260: PUSH1 0x04 00000262: DUP1 00000263: DUP1 00000264: CALLDATALOAD 00000265: SWAP1 00000266: PUSH1 0x20 00000268: ADD 00000269: SWAP1 0000026a: SWAP2 0000026b: SWAP1 0000026c: POP 0000026d: POP 0000026e: PUSH2 0x0574 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: MLOAD 00000276: DUP1 00000277: DUP3 00000278: DUP2 00000279: MSTORE 0000027a: PUSH1 0x20 0000027c: ADD 0000027d: SWAP2 0000027e: POP 0000027f: POP 00000280: PUSH1 0x40 00000282: MLOAD 00000283: DUP1 00000284: SWAP2 00000285: SUB 00000286: SWAP1 00000287: RETURN 00000288: JUMPDEST 00000289: PUSH2 0x029e 0000028c: PUSH1 0x04 0000028e: DUP1 0000028f: DUP1 00000290: CALLDATALOAD 00000291: SWAP1 00000292: PUSH1 0x20 00000294: ADD 00000295: SWAP1 00000296: SWAP2 00000297: SWAP1 00000298: POP 00000299: POP 0000029a: PUSH2 0x09cf 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: DUP3 000002a4: DUP2 000002a5: MSTORE 000002a6: PUSH1 0x20 000002a8: ADD 000002a9: SWAP2 000002aa: POP 000002ab: POP 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: DUP1 000002b0: SWAP2 000002b1: SUB 000002b2: SWAP1 000002b3: RETURN 000002b4: JUMPDEST 000002b5: PUSH2 0x02c1 000002b8: PUSH1 0x04 000002ba: DUP1 000002bb: POP 000002bc: POP 000002bd: PUSH2 0x1081 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH1 0x40 000002c4: MLOAD 000002c5: DUP1 000002c6: DUP3 000002c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dc: AND 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x20 000002e1: ADD 000002e2: SWAP2 000002e3: POP 000002e4: POP 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: DUP1 000002e9: SWAP2 000002ea: SUB 000002eb: SWAP1 000002ec: RETURN 000002ed: JUMPDEST 000002ee: PUSH2 0x030c 000002f1: PUSH1 0x04 000002f3: DUP1 000002f4: DUP1 000002f5: CALLDATALOAD 000002f6: SWAP1 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP1 000002fb: SWAP2 000002fc: SWAP1 000002fd: DUP1 000002fe: CALLDATALOAD 000002ff: SWAP1 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: SWAP2 00000305: SWAP1 00000306: POP 00000307: POP 00000308: PUSH2 0x0647 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: DUP1 00000311: DUP3 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: SWAP2 00000318: POP 00000319: POP 0000031a: PUSH1 0x40 0000031c: MLOAD 0000031d: DUP1 0000031e: SWAP2 0000031f: SUB 00000320: SWAP1 00000321: RETURN 00000322: JUMPDEST 00000323: PUSH2 0x0338 00000326: PUSH1 0x04 00000328: DUP1 00000329: DUP1 0000032a: CALLDATALOAD 0000032b: SWAP1 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP1 00000330: SWAP2 00000331: SWAP1 00000332: POP 00000333: POP 00000334: PUSH2 0x0455 00000337: JUMP 00000338: JUMPDEST 00000339: STOP 0000033a: JUMPDEST 0000033b: PUSH2 0x0347 0000033e: PUSH1 0x04 00000340: DUP1 00000341: POP 00000342: POP 00000343: PUSH2 0x106e 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH1 0x40 0000034a: MLOAD 0000034b: DUP1 0000034c: DUP3 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x20 00000351: ADD 00000352: SWAP2 00000353: POP 00000354: POP 00000355: PUSH1 0x40 00000357: MLOAD 00000358: DUP1 00000359: SWAP2 0000035a: SUB 0000035b: SWAP1 0000035c: RETURN 0000035d: JUMPDEST 0000035e: PUSH2 0x0373 00000361: PUSH1 0x04 00000363: DUP1 00000364: DUP1 00000365: CALLDATALOAD 00000366: SWAP1 00000367: PUSH1 0x20 00000369: ADD 0000036a: SWAP1 0000036b: SWAP2 0000036c: SWAP1 0000036d: POP 0000036e: POP 0000036f: PUSH2 0x0d2a 00000372: JUMP 00000373: JUMPDEST 00000374: STOP 00000375: JUMPDEST 00000376: PUSH2 0x038b 00000379: PUSH1 0x04 0000037b: DUP1 0000037c: DUP1 0000037d: CALLDATALOAD 0000037e: SWAP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP1 00000383: SWAP2 00000384: SWAP1 00000385: POP 00000386: POP 00000387: PUSH2 0x05ef 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: DUP5 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x20 00000395: ADD 00000396: DUP4 00000397: DUP2 00000398: MSTORE 00000399: PUSH1 0x20 0000039b: ADD 0000039c: DUP3 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: SWAP4 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: DUP1 000003ab: SWAP2 000003ac: SUB 000003ad: SWAP1 000003ae: RETURN 000003af: JUMPDEST 000003b0: PUSH2 0x03b7 000003b3: PUSH2 0x10a7 000003b6: JUMP 000003b7: JUMPDEST 000003b8: ISZERO 000003b9: PUSH2 0x044b 000003bc: JUMPI 000003bd: DUP2 000003be: PUSH1 0x00 000003c0: PUSH1 0x01 000003c2: PUSH2 0x0100 000003c5: EXP 000003c6: DUP2 000003c7: SLOAD 000003c8: DUP2 000003c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003de: MUL 000003df: NOT 000003e0: AND 000003e1: SWAP1 000003e2: DUP4 000003e3: MUL 000003e4: OR 000003e5: SWAP1 000003e6: SSTORE 000003e7: POP 000003e8: DUP1 000003e9: PUSH1 0x00 000003eb: PUSH1 0x00 000003ed: PUSH2 0x0100 000003f0: EXP 000003f1: DUP2 000003f2: SLOAD 000003f3: DUP2 000003f4: PUSH1 0xff 000003f6: MUL 000003f7: NOT 000003f8: AND 000003f9: SWAP1 000003fa: DUP4 000003fb: MUL 000003fc: OR 000003fd: SWAP1 000003fe: SSTORE 000003ff: POP 00000400: DUP1 00000401: DUP3 00000402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000417: AND 00000418: PUSH32 0xb96a5204da93e5d7ddd5b0c2616fd5f76322b9c383c5010b94fdc3df11b7be52 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: DUP1 0000043d: SWAP1 0000043e: POP 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: SWAP2 00000444: SUB 00000445: SWAP1 00000446: LOG3 00000447: PUSH2 0x0450 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH2 0x0002 0000044f: JUMP 00000450: JUMPDEST 00000451: JUMPDEST 00000452: POP 00000453: POP 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH2 0x045d 00000459: PUSH2 0x10a7 0000045c: JUMP 0000045d: JUMPDEST 0000045e: ISZERO 0000045f: PUSH2 0x056b 00000462: JUMPI 00000463: PUSH1 0x09 00000465: PUSH1 0x00 00000467: POP 00000468: PUSH1 0x00 0000046a: DUP3 0000046b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000480: AND 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x20 00000485: ADD 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x20 0000048b: ADD 0000048c: PUSH1 0x00 0000048e: KECCAK256 0000048f: PUSH1 0x00 00000491: SWAP1 00000492: SLOAD 00000493: SWAP1 00000494: PUSH2 0x0100 00000497: EXP 00000498: SWAP1 00000499: DIV 0000049a: PUSH1 0xff 0000049c: AND 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH2 0x0002 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x01 000004a9: PUSH1 0x09 000004ab: PUSH1 0x00 000004ad: POP 000004ae: PUSH1 0x00 000004b0: DUP4 000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c6: AND 000004c7: DUP2 000004c8: MSTORE 000004c9: PUSH1 0x20 000004cb: ADD 000004cc: SWAP1 000004cd: DUP2 000004ce: MSTORE 000004cf: PUSH1 0x20 000004d1: ADD 000004d2: PUSH1 0x00 000004d4: KECCAK256 000004d5: PUSH1 0x00 000004d7: PUSH2 0x0100 000004da: EXP 000004db: DUP2 000004dc: SLOAD 000004dd: DUP2 000004de: PUSH1 0xff 000004e0: MUL 000004e1: NOT 000004e2: AND 000004e3: SWAP1 000004e4: DUP4 000004e5: MUL 000004e6: OR 000004e7: SWAP1 000004e8: SSTORE 000004e9: POP 000004ea: PUSH32 0xb251eb052afc73ffd02ffe85ad79990a8b3fed60d76dbc2fa2fdd7123dffd914 0000050b: DUP2 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: DUP3 00000511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000526: AND 00000527: DUP2 00000528: MSTORE 00000529: PUSH1 0x20 0000052b: ADD 0000052c: SWAP2 0000052d: POP 0000052e: POP 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: SWAP2 00000534: SUB 00000535: SWAP1 00000536: LOG1 00000537: PUSH1 0x03 00000539: PUSH1 0x00 0000053b: DUP2 0000053c: DUP2 0000053d: POP 0000053e: SLOAD 0000053f: DUP1 00000540: SWAP3 00000541: SWAP2 00000542: SWAP1 00000543: PUSH1 0x01 00000545: SWAP1 00000546: SUB 00000547: SWAP2 00000548: SWAP1 00000549: POP 0000054a: SSTORE 0000054b: POP 0000054c: PUSH1 0x00 0000054e: PUSH1 0x03 00000550: PUSH1 0x00 00000552: POP 00000553: SLOAD 00000554: EQ 00000555: ISZERO 00000556: PUSH2 0x0566 00000559: JUMPI 0000055a: PUSH2 0x0565 0000055d: PUSH1 0x00 0000055f: PUSH1 0x00 00000561: PUSH2 0x03af 00000564: JUMP 00000565: JUMPDEST 00000566: JUMPDEST 00000567: PUSH2 0x0570 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH2 0x0002 0000056f: JUMP 00000570: JUMPDEST 00000571: JUMPDEST 00000572: POP 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: PUSH1 0x09 00000579: PUSH1 0x00 0000057b: POP 0000057c: PUSH1 0x00 0000057e: DUP4 0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000594: AND 00000595: DUP2 00000596: MSTORE 00000597: PUSH1 0x20 00000599: ADD 0000059a: SWAP1 0000059b: DUP2 0000059c: MSTORE 0000059d: PUSH1 0x20 0000059f: ADD 000005a0: PUSH1 0x00 000005a2: KECCAK256 000005a3: PUSH1 0x00 000005a5: SWAP1 000005a6: SLOAD 000005a7: SWAP1 000005a8: PUSH2 0x0100 000005ab: EXP 000005ac: SWAP1 000005ad: DIV 000005ae: PUSH1 0xff 000005b0: AND 000005b1: SWAP1 000005b2: POP 000005b3: PUSH2 0x05b7 000005b6: JUMP 000005b7: JUMPDEST 000005b8: SWAP2 000005b9: SWAP1 000005ba: POP 000005bb: JUMP 000005bc: JUMPDEST 000005bd: PUSH1 0x00 000005bf: PUSH1 0x00 000005c1: PUSH1 0x00 000005c3: PUSH1 0x00 000005c5: PUSH1 0x01 000005c7: PUSH1 0x00 000005c9: POP 000005ca: SLOAD 000005cb: PUSH1 0x02 000005cd: PUSH1 0x00 000005cf: POP 000005d0: SLOAD 000005d1: PUSH1 0x04 000005d3: PUSH1 0x00 000005d5: POP 000005d6: SLOAD 000005d7: PUSH1 0x05 000005d9: PUSH1 0x00 000005db: POP 000005dc: SLOAD 000005dd: SWAP4 000005de: POP 000005df: SWAP4 000005e0: POP 000005e1: SWAP4 000005e2: POP 000005e3: SWAP4 000005e4: POP 000005e5: PUSH2 0x05e9 000005e8: JUMP 000005e9: JUMPDEST 000005ea: SWAP1 000005eb: SWAP2 000005ec: SWAP3 000005ed: SWAP4 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x00 000005f2: PUSH1 0x00 000005f4: PUSH1 0x00 000005f6: PUSH1 0x00 000005f8: PUSH1 0x06 000005fa: PUSH1 0x00 000005fc: POP 000005fd: PUSH1 0x00 000005ff: DUP7 00000600: DUP2 00000601: MSTORE 00000602: PUSH1 0x20 00000604: ADD 00000605: SWAP1 00000606: DUP2 00000607: MSTORE 00000608: PUSH1 0x20 0000060a: ADD 0000060b: PUSH1 0x00 0000060d: KECCAK256 0000060e: PUSH1 0x00 00000610: POP 00000611: SWAP1 00000612: POP 00000613: DUP1 00000614: PUSH1 0x03 00000616: ADD 00000617: PUSH1 0x00 00000619: POP 0000061a: SLOAD 0000061b: DUP2 0000061c: PUSH1 0x04 0000061e: ADD 0000061f: PUSH1 0x00 00000621: POP 00000622: SLOAD 00000623: DUP3 00000624: PUSH1 0x05 00000626: ADD 00000627: PUSH1 0x00 00000629: SWAP1 0000062a: SLOAD 0000062b: SWAP1 0000062c: PUSH2 0x0100 0000062f: EXP 00000630: SWAP1 00000631: DIV 00000632: PUSH1 0xff 00000634: AND 00000635: SWAP4 00000636: POP 00000637: SWAP4 00000638: POP 00000639: SWAP4 0000063a: POP 0000063b: PUSH2 0x063f 0000063e: JUMP 0000063f: JUMPDEST 00000640: POP 00000641: SWAP2 00000642: SWAP4 00000643: SWAP1 00000644: SWAP3 00000645: POP 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH1 0x00 0000064a: PUSH2 0x071b 0000064d: DUP4 0000064e: PUSH1 0x08 00000650: PUSH1 0x00 00000652: POP 00000653: PUSH1 0x00 00000655: CALLER 00000656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066b: AND 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: ADD 00000671: SWAP1 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x20 00000676: ADD 00000677: PUSH1 0x00 00000679: KECCAK256 0000067a: PUSH1 0x00 0000067c: POP 0000067d: DUP1 0000067e: SLOAD 0000067f: PUSH1 0x01 00000681: DUP2 00000682: PUSH1 0x01 00000684: AND 00000685: ISZERO 00000686: PUSH2 0x0100 00000689: MUL 0000068a: SUB 0000068b: AND 0000068c: PUSH1 0x02 0000068e: SWAP1 0000068f: DIV 00000690: DUP1 00000691: PUSH1 0x1f 00000693: ADD 00000694: PUSH1 0x20 00000696: DUP1 00000697: SWAP2 00000698: DIV 00000699: MUL 0000069a: PUSH1 0x20 0000069c: ADD 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: SWAP1 000006a1: DUP2 000006a2: ADD 000006a3: PUSH1 0x40 000006a5: MSTORE 000006a6: DUP1 000006a7: SWAP3 000006a8: SWAP2 000006a9: SWAP1 000006aa: DUP2 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x20 000006af: ADD 000006b0: DUP3 000006b1: DUP1 000006b2: SLOAD 000006b3: PUSH1 0x01 000006b5: DUP2 000006b6: PUSH1 0x01 000006b8: AND 000006b9: ISZERO 000006ba: PUSH2 0x0100 000006bd: MUL 000006be: SUB 000006bf: AND 000006c0: PUSH1 0x02 000006c2: SWAP1 000006c3: DIV 000006c4: DUP1 000006c5: ISZERO 000006c6: PUSH2 0x0710 000006c9: JUMPI 000006ca: DUP1 000006cb: PUSH1 0x1f 000006cd: LT 000006ce: PUSH2 0x06e5 000006d1: JUMPI 000006d2: PUSH2 0x0100 000006d5: DUP1 000006d6: DUP4 000006d7: SLOAD 000006d8: DIV 000006d9: MUL 000006da: DUP4 000006db: MSTORE 000006dc: SWAP2 000006dd: PUSH1 0x20 000006df: ADD 000006e0: SWAP2 000006e1: PUSH2 0x0710 000006e4: JUMP 000006e5: JUMPDEST 000006e6: DUP3 000006e7: ADD 000006e8: SWAP2 000006e9: SWAP1 000006ea: PUSH1 0x00 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: PUSH1 0x00 000006f1: KECCAK256 000006f2: SWAP1 000006f3: JUMPDEST 000006f4: DUP2 000006f5: SLOAD 000006f6: DUP2 000006f7: MSTORE 000006f8: SWAP1 000006f9: PUSH1 0x01 000006fb: ADD 000006fc: SWAP1 000006fd: PUSH1 0x20 000006ff: ADD 00000700: DUP1 00000701: DUP4 00000702: GT 00000703: PUSH2 0x06f3 00000706: JUMPI 00000707: DUP3 00000708: SWAP1 00000709: SUB 0000070a: PUSH1 0x1f 0000070c: AND 0000070d: DUP3 0000070e: ADD 0000070f: SWAP2 00000710: JUMPDEST 00000711: POP 00000712: POP 00000713: POP 00000714: POP 00000715: POP 00000716: DUP5 00000717: PUSH2 0x0728 0000071a: JUMP 0000071b: JUMPDEST 0000071c: SWAP1 0000071d: POP 0000071e: PUSH2 0x0722 00000721: JUMP 00000722: JUMPDEST 00000723: SWAP3 00000724: SWAP2 00000725: POP 00000726: POP 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x00 0000072b: PUSH1 0xc0 0000072d: PUSH1 0x40 0000072f: MLOAD 00000730: SWAP1 00000731: DUP2 00000732: ADD 00000733: PUSH1 0x40 00000735: MSTORE 00000736: DUP1 00000737: PUSH1 0x00 00000739: DUP2 0000073a: MSTORE 0000073b: PUSH1 0x20 0000073d: ADD 0000073e: PUSH1 0x20 00000740: PUSH1 0x40 00000742: MLOAD 00000743: SWAP1 00000744: DUP2 00000745: ADD 00000746: PUSH1 0x40 00000748: MSTORE 00000749: DUP1 0000074a: PUSH1 0x00 0000074c: DUP2 0000074d: MSTORE 0000074e: PUSH1 0x20 00000750: ADD 00000751: POP 00000752: DUP2 00000753: MSTORE 00000754: PUSH1 0x20 00000756: ADD 00000757: PUSH1 0x00 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x20 0000075d: ADD 0000075e: PUSH1 0x00 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x20 00000764: ADD 00000765: PUSH1 0x00 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x20 0000076b: ADD 0000076c: PUSH1 0x00 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x20 00000772: ADD 00000773: POP 00000774: DUP5 00000775: DUP2 00000776: PUSH1 0x00 00000778: ADD 00000779: SWAP1 0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078f: AND 00000790: SWAP1 00000791: DUP2 00000792: DUP2 00000793: MSTORE 00000794: PUSH1 0x20 00000796: ADD 00000797: POP 00000798: POP 00000799: DUP4 0000079a: DUP2 0000079b: PUSH1 0x20 0000079d: ADD 0000079e: DUP2 0000079f: SWAP1 000007a0: MSTORE 000007a1: POP 000007a2: DUP3 000007a3: DUP2 000007a4: PUSH1 0x40 000007a6: ADD 000007a7: SWAP1 000007a8: SWAP1 000007a9: DUP2 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x20 000007ae: ADD 000007af: POP 000007b0: POP 000007b1: PUSH1 0x04 000007b3: PUSH1 0x00 000007b5: POP 000007b6: SLOAD 000007b7: TIMESTAMP 000007b8: ADD 000007b9: DUP2 000007ba: PUSH1 0x80 000007bc: ADD 000007bd: SWAP1 000007be: SWAP1 000007bf: DUP2 000007c0: DUP2 000007c1: MSTORE 000007c2: PUSH1 0x20 000007c4: ADD 000007c5: POP 000007c6: POP 000007c7: PUSH1 0x05 000007c9: PUSH1 0x00 000007cb: DUP2 000007cc: DUP2 000007cd: POP 000007ce: SLOAD 000007cf: DUP1 000007d0: SWAP3 000007d1: SWAP2 000007d2: SWAP1 000007d3: PUSH1 0x01 000007d5: ADD 000007d6: SWAP2 000007d7: SWAP1 000007d8: POP 000007d9: SSTORE 000007da: POP 000007db: DUP1 000007dc: PUSH1 0x06 000007de: PUSH1 0x00 000007e0: POP 000007e1: PUSH1 0x00 000007e3: PUSH1 0x05 000007e5: PUSH1 0x00 000007e7: POP 000007e8: SLOAD 000007e9: DUP2 000007ea: MSTORE 000007eb: PUSH1 0x20 000007ed: ADD 000007ee: SWAP1 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: PUSH1 0x00 000007f6: KECCAK256 000007f7: PUSH1 0x00 000007f9: POP 000007fa: PUSH1 0x00 000007fc: DUP3 000007fd: ADD 000007fe: MLOAD 000007ff: DUP2 00000800: PUSH1 0x00 00000802: ADD 00000803: PUSH1 0x00 00000805: PUSH2 0x0100 00000808: EXP 00000809: DUP2 0000080a: SLOAD 0000080b: DUP2 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: MUL 00000822: NOT 00000823: AND 00000824: SWAP1 00000825: DUP4 00000826: MUL 00000827: OR 00000828: SWAP1 00000829: SSTORE 0000082a: POP 0000082b: PUSH1 0x20 0000082d: DUP3 0000082e: ADD 0000082f: MLOAD 00000830: DUP2 00000831: PUSH1 0x01 00000833: ADD 00000834: PUSH1 0x00 00000836: POP 00000837: SWAP1 00000838: DUP1 00000839: MLOAD 0000083a: SWAP1 0000083b: PUSH1 0x20 0000083d: ADD 0000083e: SWAP1 0000083f: DUP3 00000840: DUP1 00000841: SLOAD 00000842: PUSH1 0x01 00000844: DUP2 00000845: PUSH1 0x01 00000847: AND 00000848: ISZERO 00000849: PUSH2 0x0100 0000084c: MUL 0000084d: SUB 0000084e: AND 0000084f: PUSH1 0x02 00000851: SWAP1 00000852: DIV 00000853: SWAP1 00000854: PUSH1 0x00 00000856: MSTORE 00000857: PUSH1 0x20 00000859: PUSH1 0x00 0000085b: KECCAK256 0000085c: SWAP1 0000085d: PUSH1 0x1f 0000085f: ADD 00000860: PUSH1 0x20 00000862: SWAP1 00000863: DIV 00000864: DUP2 00000865: ADD 00000866: SWAP3 00000867: DUP3 00000868: PUSH1 0x1f 0000086a: LT 0000086b: PUSH2 0x087f 0000086e: JUMPI 0000086f: DUP1 00000870: MLOAD 00000871: PUSH1 0xff 00000873: NOT 00000874: AND 00000875: DUP4 00000876: DUP1 00000877: ADD 00000878: OR 00000879: DUP6 0000087a: SSTORE 0000087b: PUSH2 0x08b0 0000087e: JUMP 0000087f: JUMPDEST 00000880: DUP3 00000881: DUP1 00000882: ADD 00000883: PUSH1 0x01 00000885: ADD 00000886: DUP6 00000887: SSTORE 00000888: DUP3 00000889: ISZERO 0000088a: PUSH2 0x08b0 0000088d: JUMPI 0000088e: SWAP2 0000088f: DUP3 00000890: ADD 00000891: JUMPDEST 00000892: DUP3 00000893: DUP2 00000894: GT 00000895: ISZERO 00000896: PUSH2 0x08af 00000899: JUMPI 0000089a: DUP3 0000089b: MLOAD 0000089c: DUP3 0000089d: PUSH1 0x00 0000089f: POP 000008a0: SSTORE 000008a1: SWAP2 000008a2: PUSH1 0x20 000008a4: ADD 000008a5: SWAP2 000008a6: SWAP1 000008a7: PUSH1 0x01 000008a9: ADD 000008aa: SWAP1 000008ab: PUSH2 0x0891 000008ae: JUMP 000008af: JUMPDEST 000008b0: JUMPDEST 000008b1: POP 000008b2: SWAP1 000008b3: POP 000008b4: PUSH2 0x08db 000008b7: SWAP2 000008b8: SWAP1 000008b9: PUSH2 0x08bd 000008bc: JUMP 000008bd: JUMPDEST 000008be: DUP1 000008bf: DUP3 000008c0: GT 000008c1: ISZERO 000008c2: PUSH2 0x08d7 000008c5: JUMPI 000008c6: PUSH1 0x00 000008c8: DUP2 000008c9: DUP2 000008ca: POP 000008cb: PUSH1 0x00 000008cd: SWAP1 000008ce: SSTORE 000008cf: POP 000008d0: PUSH1 0x01 000008d2: ADD 000008d3: PUSH2 0x08bd 000008d6: JUMP 000008d7: JUMPDEST 000008d8: POP 000008d9: SWAP1 000008da: JUMP 000008db: JUMPDEST 000008dc: POP 000008dd: POP 000008de: PUSH1 0x40 000008e0: DUP3 000008e1: ADD 000008e2: MLOAD 000008e3: DUP2 000008e4: PUSH1 0x02 000008e6: ADD 000008e7: PUSH1 0x00 000008e9: POP 000008ea: SSTORE 000008eb: PUSH1 0x60 000008ed: DUP3 000008ee: ADD 000008ef: MLOAD 000008f0: DUP2 000008f1: PUSH1 0x03 000008f3: ADD 000008f4: PUSH1 0x00 000008f6: POP 000008f7: SSTORE 000008f8: PUSH1 0x80 000008fa: DUP3 000008fb: ADD 000008fc: MLOAD 000008fd: DUP2 000008fe: PUSH1 0x04 00000900: ADD 00000901: PUSH1 0x00 00000903: POP 00000904: SSTORE 00000905: PUSH1 0xa0 00000907: DUP3 00000908: ADD 00000909: MLOAD 0000090a: DUP2 0000090b: PUSH1 0x05 0000090d: ADD 0000090e: PUSH1 0x00 00000910: PUSH2 0x0100 00000913: EXP 00000914: DUP2 00000915: SLOAD 00000916: DUP2 00000917: PUSH1 0xff 00000919: MUL 0000091a: NOT 0000091b: AND 0000091c: SWAP1 0000091d: DUP4 0000091e: MUL 0000091f: OR 00000920: SWAP1 00000921: SSTORE 00000922: POP 00000923: SWAP1 00000924: POP 00000925: POP 00000926: PUSH1 0x05 00000928: PUSH1 0x00 0000092a: POP 0000092b: SLOAD 0000092c: PUSH32 0x2c9c30f6e09e4fa68cd8d1f88a745cdfcd8d05a9c5729eb5e7f4bf0078db0044 0000094d: DUP6 0000094e: PUSH1 0x40 00000950: MLOAD 00000951: DUP1 00000952: DUP1 00000953: PUSH1 0x20 00000955: ADD 00000956: DUP3 00000957: DUP2 00000958: SUB 00000959: DUP3 0000095a: MSTORE 0000095b: DUP4 0000095c: DUP2 0000095d: DUP2 0000095e: MLOAD 0000095f: DUP2 00000960: MSTORE 00000961: PUSH1 0x20 00000963: ADD 00000964: SWAP2 00000965: POP 00000966: DUP1 00000967: MLOAD 00000968: SWAP1 00000969: PUSH1 0x20 0000096b: ADD 0000096c: SWAP1 0000096d: DUP1 0000096e: DUP4 0000096f: DUP4 00000970: DUP3 00000971: SWAP1 00000972: PUSH1 0x00 00000974: PUSH1 0x04 00000976: PUSH1 0x20 00000978: DUP5 00000979: PUSH1 0x1f 0000097b: ADD 0000097c: DIV 0000097d: PUSH1 0x0f 0000097f: MUL 00000980: PUSH1 0x03 00000982: ADD 00000983: CALL 00000984: POP 00000985: SWAP1 00000986: POP 00000987: SWAP1 00000988: DUP2 00000989: ADD 0000098a: SWAP1 0000098b: PUSH1 0x1f 0000098d: AND 0000098e: DUP1 0000098f: ISZERO 00000990: PUSH2 0x09ad 00000993: JUMPI 00000994: DUP1 00000995: DUP3 00000996: SUB 00000997: DUP1 00000998: MLOAD 00000999: PUSH1 0x01 0000099b: DUP4 0000099c: PUSH1 0x20 0000099e: SUB 0000099f: PUSH2 0x0100 000009a2: EXP 000009a3: SUB 000009a4: NOT 000009a5: AND 000009a6: DUP2 000009a7: MSTORE 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: SWAP2 000009ac: POP 000009ad: JUMPDEST 000009ae: POP 000009af: SWAP3 000009b0: POP 000009b1: POP 000009b2: POP 000009b3: PUSH1 0x40 000009b5: MLOAD 000009b6: DUP1 000009b7: SWAP2 000009b8: SUB 000009b9: SWAP1 000009ba: LOG2 000009bb: PUSH1 0x05 000009bd: PUSH1 0x00 000009bf: POP 000009c0: SLOAD 000009c1: SWAP2 000009c2: POP 000009c3: PUSH2 0x09c7 000009c6: JUMP 000009c7: JUMPDEST 000009c8: POP 000009c9: SWAP4 000009ca: SWAP3 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: JUMP 000009cf: JUMPDEST 000009d0: PUSH1 0x00 000009d2: PUSH1 0x00 000009d4: PUSH1 0x00 000009d6: PUSH1 0x09 000009d8: PUSH1 0x00 000009da: POP 000009db: PUSH1 0x00 000009dd: CALLER 000009de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f3: AND 000009f4: DUP2 000009f5: MSTORE 000009f6: PUSH1 0x20 000009f8: ADD 000009f9: SWAP1 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x20 000009fe: ADD 000009ff: PUSH1 0x00 00000a01: KECCAK256 00000a02: PUSH1 0x00 00000a04: SWAP1 00000a05: SLOAD 00000a06: SWAP1 00000a07: PUSH2 0x0100 00000a0a: EXP 00000a0b: SWAP1 00000a0c: DIV 00000a0d: PUSH1 0xff 00000a0f: AND 00000a10: ISZERO 00000a11: ISZERO 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: PUSH2 0x0002 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH1 0x07 00000a1d: PUSH1 0x00 00000a1f: POP 00000a20: PUSH1 0x00 00000a22: DUP6 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x20 00000a27: ADD 00000a28: SWAP1 00000a29: DUP2 00000a2a: MSTORE 00000a2b: PUSH1 0x20 00000a2d: ADD 00000a2e: PUSH1 0x00 00000a30: KECCAK256 00000a31: PUSH1 0x00 00000a33: POP 00000a34: PUSH1 0x00 00000a36: CALLER 00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4c: AND 00000a4d: DUP2 00000a4e: MSTORE 00000a4f: PUSH1 0x20 00000a51: ADD 00000a52: SWAP1 00000a53: DUP2 00000a54: MSTORE 00000a55: PUSH1 0x20 00000a57: ADD 00000a58: PUSH1 0x00 00000a5a: KECCAK256 00000a5b: PUSH1 0x00 00000a5d: SWAP1 00000a5e: SLOAD 00000a5f: SWAP1 00000a60: PUSH2 0x0100 00000a63: EXP 00000a64: SWAP1 00000a65: DIV 00000a66: PUSH1 0xff 00000a68: AND 00000a69: ISZERO 00000a6a: PUSH2 0x0a72 00000a6d: JUMPI 00000a6e: PUSH2 0x0002 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH1 0x05 00000a75: PUSH1 0x00 00000a77: POP 00000a78: SLOAD 00000a79: DUP5 00000a7a: GT 00000a7b: ISZERO 00000a7c: PUSH2 0x0a84 00000a7f: JUMPI 00000a80: PUSH2 0x0002 00000a83: JUMP 00000a84: JUMPDEST 00000a85: PUSH1 0x06 00000a87: PUSH1 0x00 00000a89: POP 00000a8a: PUSH1 0x00 00000a8c: DUP6 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: SWAP1 00000a93: DUP2 00000a94: MSTORE 00000a95: PUSH1 0x20 00000a97: ADD 00000a98: PUSH1 0x00 00000a9a: KECCAK256 00000a9b: PUSH1 0x00 00000a9d: POP 00000a9e: SWAP2 00000a9f: POP 00000aa0: DUP2 00000aa1: PUSH1 0x04 00000aa3: ADD 00000aa4: PUSH1 0x00 00000aa6: POP 00000aa7: SLOAD 00000aa8: TIMESTAMP 00000aa9: GT 00000aaa: ISZERO 00000aab: PUSH2 0x0ab3 00000aae: JUMPI 00000aaf: PUSH2 0x0002 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: DUP2 00000ab5: PUSH1 0x05 00000ab7: ADD 00000ab8: PUSH1 0x00 00000aba: SWAP1 00000abb: SLOAD 00000abc: SWAP1 00000abd: PUSH2 0x0100 00000ac0: EXP 00000ac1: SWAP1 00000ac2: DIV 00000ac3: PUSH1 0xff 00000ac5: AND 00000ac6: ISZERO 00000ac7: PUSH2 0x0acf 00000aca: JUMPI 00000acb: PUSH2 0x0002 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x07 00000ad4: PUSH1 0x00 00000ad6: POP 00000ad7: PUSH1 0x00 00000ad9: DUP7 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: SWAP1 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x20 00000ae4: ADD 00000ae5: PUSH1 0x00 00000ae7: KECCAK256 00000ae8: PUSH1 0x00 00000aea: POP 00000aeb: PUSH1 0x00 00000aed: CALLER 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: ADD 00000b09: SWAP1 00000b0a: DUP2 00000b0b: MSTORE 00000b0c: PUSH1 0x20 00000b0e: ADD 00000b0f: PUSH1 0x00 00000b11: KECCAK256 00000b12: PUSH1 0x00 00000b14: PUSH2 0x0100 00000b17: EXP 00000b18: DUP2 00000b19: SLOAD 00000b1a: DUP2 00000b1b: PUSH1 0xff 00000b1d: MUL 00000b1e: NOT 00000b1f: AND 00000b20: SWAP1 00000b21: DUP4 00000b22: MUL 00000b23: OR 00000b24: SWAP1 00000b25: SSTORE 00000b26: POP 00000b27: DUP2 00000b28: PUSH1 0x03 00000b2a: ADD 00000b2b: PUSH1 0x00 00000b2d: POP 00000b2e: SLOAD 00000b2f: SWAP1 00000b30: POP 00000b31: PUSH1 0x01 00000b33: DUP3 00000b34: PUSH1 0x03 00000b36: ADD 00000b37: PUSH1 0x00 00000b39: POP 00000b3a: SLOAD 00000b3b: ADD 00000b3c: DUP3 00000b3d: PUSH1 0x03 00000b3f: ADD 00000b40: PUSH1 0x00 00000b42: POP 00000b43: DUP2 00000b44: SWAP1 00000b45: SSTORE 00000b46: POP 00000b47: DUP2 00000b48: PUSH1 0x06 00000b4a: PUSH1 0x00 00000b4c: POP 00000b4d: PUSH1 0x00 00000b4f: DUP7 00000b50: DUP2 00000b51: MSTORE 00000b52: PUSH1 0x20 00000b54: ADD 00000b55: SWAP1 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: PUSH1 0x00 00000b5d: KECCAK256 00000b5e: PUSH1 0x00 00000b60: POP 00000b61: PUSH1 0x00 00000b63: DUP3 00000b64: ADD 00000b65: PUSH1 0x00 00000b67: SWAP1 00000b68: SLOAD 00000b69: SWAP1 00000b6a: PUSH2 0x0100 00000b6d: EXP 00000b6e: SWAP1 00000b6f: DIV 00000b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b85: AND 00000b86: DUP2 00000b87: PUSH1 0x00 00000b89: ADD 00000b8a: PUSH1 0x00 00000b8c: PUSH2 0x0100 00000b8f: EXP 00000b90: DUP2 00000b91: SLOAD 00000b92: DUP2 00000b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba8: MUL 00000ba9: NOT 00000baa: AND 00000bab: SWAP1 00000bac: DUP4 00000bad: MUL 00000bae: OR 00000baf: SWAP1 00000bb0: SSTORE 00000bb1: POP 00000bb2: PUSH1 0x01 00000bb4: DUP3 00000bb5: ADD 00000bb6: PUSH1 0x00 00000bb8: POP 00000bb9: DUP2 00000bba: PUSH1 0x01 00000bbc: ADD 00000bbd: PUSH1 0x00 00000bbf: POP 00000bc0: SWAP1 00000bc1: DUP1 00000bc2: SLOAD 00000bc3: PUSH1 0x01 00000bc5: DUP2 00000bc6: PUSH1 0x01 00000bc8: AND 00000bc9: ISZERO 00000bca: PUSH2 0x0100 00000bcd: MUL 00000bce: SUB 00000bcf: AND 00000bd0: PUSH1 0x02 00000bd2: SWAP1 00000bd3: DIV 00000bd4: DUP3 00000bd5: DUP1 00000bd6: SLOAD 00000bd7: PUSH1 0x01 00000bd9: DUP2 00000bda: PUSH1 0x01 00000bdc: AND 00000bdd: ISZERO 00000bde: PUSH2 0x0100 00000be1: MUL 00000be2: SUB 00000be3: AND 00000be4: PUSH1 0x02 00000be6: SWAP1 00000be7: DIV 00000be8: SWAP1 00000be9: PUSH1 0x00 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: PUSH1 0x00 00000bf0: KECCAK256 00000bf1: SWAP1 00000bf2: PUSH1 0x1f 00000bf4: ADD 00000bf5: PUSH1 0x20 00000bf7: SWAP1 00000bf8: DIV 00000bf9: DUP2 00000bfa: ADD 00000bfb: SWAP3 00000bfc: DUP3 00000bfd: PUSH1 0x1f 00000bff: LT 00000c00: PUSH2 0x0c0c 00000c03: JUMPI 00000c04: DUP1 00000c05: SLOAD 00000c06: DUP6 00000c07: SSTORE 00000c08: PUSH2 0x0c49 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: DUP3 00000c0e: DUP1 00000c0f: ADD 00000c10: PUSH1 0x01 00000c12: ADD 00000c13: DUP6 00000c14: SSTORE 00000c15: DUP3 00000c16: ISZERO 00000c17: PUSH2 0x0c49 00000c1a: JUMPI 00000c1b: PUSH1 0x00 00000c1d: MSTORE 00000c1e: PUSH1 0x20 00000c20: PUSH1 0x00 00000c22: KECCAK256 00000c23: SWAP2 00000c24: PUSH1 0x1f 00000c26: ADD 00000c27: PUSH1 0x20 00000c29: SWAP1 00000c2a: DIV 00000c2b: DUP3 00000c2c: ADD 00000c2d: JUMPDEST 00000c2e: DUP3 00000c2f: DUP2 00000c30: GT 00000c31: ISZERO 00000c32: PUSH2 0x0c48 00000c35: JUMPI 00000c36: DUP3 00000c37: SLOAD 00000c38: DUP3 00000c39: SSTORE 00000c3a: SWAP2 00000c3b: PUSH1 0x01 00000c3d: ADD 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: PUSH1 0x01 00000c42: ADD 00000c43: SWAP1 00000c44: PUSH2 0x0c2d 00000c47: JUMP 00000c48: JUMPDEST 00000c49: JUMPDEST 00000c4a: POP 00000c4b: SWAP1 00000c4c: POP 00000c4d: PUSH2 0x0c74 00000c50: SWAP2 00000c51: SWAP1 00000c52: PUSH2 0x0c56 00000c55: JUMP 00000c56: JUMPDEST 00000c57: DUP1 00000c58: DUP3 00000c59: GT 00000c5a: ISZERO 00000c5b: PUSH2 0x0c70 00000c5e: JUMPI 00000c5f: PUSH1 0x00 00000c61: DUP2 00000c62: DUP2 00000c63: POP 00000c64: PUSH1 0x00 00000c66: SWAP1 00000c67: SSTORE 00000c68: POP 00000c69: PUSH1 0x01 00000c6b: ADD 00000c6c: PUSH2 0x0c56 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: POP 00000c72: SWAP1 00000c73: JUMP 00000c74: JUMPDEST 00000c75: POP 00000c76: POP 00000c77: PUSH1 0x02 00000c79: DUP3 00000c7a: ADD 00000c7b: PUSH1 0x00 00000c7d: POP 00000c7e: SLOAD 00000c7f: DUP2 00000c80: PUSH1 0x02 00000c82: ADD 00000c83: PUSH1 0x00 00000c85: POP 00000c86: SSTORE 00000c87: PUSH1 0x03 00000c89: DUP3 00000c8a: ADD 00000c8b: PUSH1 0x00 00000c8d: POP 00000c8e: SLOAD 00000c8f: DUP2 00000c90: PUSH1 0x03 00000c92: ADD 00000c93: PUSH1 0x00 00000c95: POP 00000c96: SSTORE 00000c97: PUSH1 0x04 00000c99: DUP3 00000c9a: ADD 00000c9b: PUSH1 0x00 00000c9d: POP 00000c9e: SLOAD 00000c9f: DUP2 00000ca0: PUSH1 0x04 00000ca2: ADD 00000ca3: PUSH1 0x00 00000ca5: POP 00000ca6: SSTORE 00000ca7: PUSH1 0x05 00000ca9: DUP3 00000caa: ADD 00000cab: PUSH1 0x00 00000cad: SWAP1 00000cae: SLOAD 00000caf: SWAP1 00000cb0: PUSH2 0x0100 00000cb3: EXP 00000cb4: SWAP1 00000cb5: DIV 00000cb6: PUSH1 0xff 00000cb8: AND 00000cb9: DUP2 00000cba: PUSH1 0x05 00000cbc: ADD 00000cbd: PUSH1 0x00 00000cbf: PUSH2 0x0100 00000cc2: EXP 00000cc3: DUP2 00000cc4: SLOAD 00000cc5: DUP2 00000cc6: PUSH1 0xff 00000cc8: MUL 00000cc9: NOT 00000cca: AND 00000ccb: SWAP1 00000ccc: DUP4 00000ccd: MUL 00000cce: OR 00000ccf: SWAP1 00000cd0: SSTORE 00000cd1: POP 00000cd2: SWAP1 00000cd3: POP 00000cd4: POP 00000cd5: DUP4 00000cd6: PUSH32 0x6f220d98c15dbd07fdc24781b682ea34f92411fc61b83c761dd927afbe02d3fd 00000cf7: CALLER 00000cf8: PUSH1 0x40 00000cfa: MLOAD 00000cfb: DUP1 00000cfc: DUP3 00000cfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d12: AND 00000d13: DUP2 00000d14: MSTORE 00000d15: PUSH1 0x20 00000d17: ADD 00000d18: SWAP2 00000d19: POP 00000d1a: POP 00000d1b: PUSH1 0x40 00000d1d: MLOAD 00000d1e: DUP1 00000d1f: SWAP2 00000d20: SUB 00000d21: SWAP1 00000d22: LOG2 00000d23: JUMPDEST 00000d24: POP 00000d25: POP 00000d26: SWAP2 00000d27: SWAP1 00000d28: POP 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: PUSH1 0x06 00000d2f: PUSH1 0x00 00000d31: POP 00000d32: PUSH1 0x00 00000d34: DUP4 00000d35: DUP2 00000d36: MSTORE 00000d37: PUSH1 0x20 00000d39: ADD 00000d3a: SWAP1 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x20 00000d3f: ADD 00000d40: PUSH1 0x00 00000d42: KECCAK256 00000d43: PUSH1 0x00 00000d45: POP 00000d46: SWAP1 00000d47: POP 00000d48: PUSH1 0x01 00000d4a: PUSH1 0x00 00000d4c: POP 00000d4d: SLOAD 00000d4e: DUP2 00000d4f: PUSH1 0x03 00000d51: ADD 00000d52: PUSH1 0x00 00000d54: POP 00000d55: SLOAD 00000d56: LT 00000d57: ISZERO 00000d58: PUSH2 0x0d60 00000d5b: JUMPI 00000d5c: PUSH2 0x0002 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: DUP1 00000d62: PUSH1 0x04 00000d64: ADD 00000d65: PUSH1 0x00 00000d67: POP 00000d68: SLOAD 00000d69: TIMESTAMP 00000d6a: GT 00000d6b: ISZERO 00000d6c: PUSH2 0x0d74 00000d6f: JUMPI 00000d70: PUSH2 0x0002 00000d73: JUMP 00000d74: JUMPDEST 00000d75: DUP1 00000d76: PUSH1 0x05 00000d78: ADD 00000d79: PUSH1 0x00 00000d7b: SWAP1 00000d7c: SLOAD 00000d7d: SWAP1 00000d7e: PUSH2 0x0100 00000d81: EXP 00000d82: SWAP1 00000d83: DIV 00000d84: PUSH1 0xff 00000d86: AND 00000d87: ISZERO 00000d88: PUSH2 0x0d90 00000d8b: JUMPI 00000d8c: PUSH2 0x0002 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: DUP1 00000d92: PUSH1 0x02 00000d94: ADD 00000d95: PUSH1 0x00 00000d97: POP 00000d98: SLOAD 00000d99: ADDRESS 00000d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daf: AND 00000db0: BALANCE 00000db1: LT 00000db2: ISZERO 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH2 0x0002 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH1 0x01 00000dbe: DUP2 00000dbf: PUSH1 0x05 00000dc1: ADD 00000dc2: PUSH1 0x00 00000dc4: PUSH2 0x0100 00000dc7: EXP 00000dc8: DUP2 00000dc9: SLOAD 00000dca: DUP2 00000dcb: PUSH1 0xff 00000dcd: MUL 00000dce: NOT 00000dcf: AND 00000dd0: SWAP1 00000dd1: DUP4 00000dd2: MUL 00000dd3: OR 00000dd4: SWAP1 00000dd5: SSTORE 00000dd6: POP 00000dd7: PUSH2 0x0eab 00000dda: DUP2 00000ddb: PUSH1 0x00 00000ddd: ADD 00000dde: PUSH1 0x00 00000de0: SWAP1 00000de1: SLOAD 00000de2: SWAP1 00000de3: PUSH2 0x0100 00000de6: EXP 00000de7: SWAP1 00000de8: DIV 00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfe: AND 00000dff: DUP3 00000e00: PUSH1 0x01 00000e02: ADD 00000e03: PUSH1 0x00 00000e05: POP 00000e06: DUP1 00000e07: SLOAD 00000e08: PUSH1 0x01 00000e0a: DUP2 00000e0b: PUSH1 0x01 00000e0d: AND 00000e0e: ISZERO 00000e0f: PUSH2 0x0100 00000e12: MUL 00000e13: SUB 00000e14: AND 00000e15: PUSH1 0x02 00000e17: SWAP1 00000e18: DIV 00000e19: DUP1 00000e1a: PUSH1 0x1f 00000e1c: ADD 00000e1d: PUSH1 0x20 00000e1f: DUP1 00000e20: SWAP2 00000e21: DIV 00000e22: MUL 00000e23: PUSH1 0x20 00000e25: ADD 00000e26: PUSH1 0x40 00000e28: MLOAD 00000e29: SWAP1 00000e2a: DUP2 00000e2b: ADD 00000e2c: PUSH1 0x40 00000e2e: MSTORE 00000e2f: DUP1 00000e30: SWAP3 00000e31: SWAP2 00000e32: SWAP1 00000e33: DUP2 00000e34: DUP2 00000e35: MSTORE 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: DUP3 00000e3a: DUP1 00000e3b: SLOAD 00000e3c: PUSH1 0x01 00000e3e: DUP2 00000e3f: PUSH1 0x01 00000e41: AND 00000e42: ISZERO 00000e43: PUSH2 0x0100 00000e46: MUL 00000e47: SUB 00000e48: AND 00000e49: PUSH1 0x02 00000e4b: SWAP1 00000e4c: DIV 00000e4d: DUP1 00000e4e: ISZERO 00000e4f: PUSH2 0x0e99 00000e52: JUMPI 00000e53: DUP1 00000e54: PUSH1 0x1f 00000e56: LT 00000e57: PUSH2 0x0e6e 00000e5a: JUMPI 00000e5b: PUSH2 0x0100 00000e5e: DUP1 00000e5f: DUP4 00000e60: SLOAD 00000e61: DIV 00000e62: MUL 00000e63: DUP4 00000e64: MSTORE 00000e65: SWAP2 00000e66: PUSH1 0x20 00000e68: ADD 00000e69: SWAP2 00000e6a: PUSH2 0x0e99 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: DUP3 00000e70: ADD 00000e71: SWAP2 00000e72: SWAP1 00000e73: PUSH1 0x00 00000e75: MSTORE 00000e76: PUSH1 0x20 00000e78: PUSH1 0x00 00000e7a: KECCAK256 00000e7b: SWAP1 00000e7c: JUMPDEST 00000e7d: DUP2 00000e7e: SLOAD 00000e7f: DUP2 00000e80: MSTORE 00000e81: SWAP1 00000e82: PUSH1 0x01 00000e84: ADD 00000e85: SWAP1 00000e86: PUSH1 0x20 00000e88: ADD 00000e89: DUP1 00000e8a: DUP4 00000e8b: GT 00000e8c: PUSH2 0x0e7c 00000e8f: JUMPI 00000e90: DUP3 00000e91: SWAP1 00000e92: SUB 00000e93: PUSH1 0x1f 00000e95: AND 00000e96: DUP3 00000e97: ADD 00000e98: SWAP2 00000e99: JUMPDEST 00000e9a: POP 00000e9b: POP 00000e9c: POP 00000e9d: POP 00000e9e: POP 00000e9f: DUP4 00000ea0: PUSH1 0x02 00000ea2: ADD 00000ea3: PUSH1 0x00 00000ea5: POP 00000ea6: SLOAD 00000ea7: PUSH2 0x1235 00000eaa: JUMP 00000eab: JUMPDEST 00000eac: DUP1 00000ead: PUSH1 0x06 00000eaf: PUSH1 0x00 00000eb1: POP 00000eb2: PUSH1 0x00 00000eb4: DUP5 00000eb5: DUP2 00000eb6: MSTORE 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: SWAP1 00000ebb: DUP2 00000ebc: MSTORE 00000ebd: PUSH1 0x20 00000ebf: ADD 00000ec0: PUSH1 0x00 00000ec2: KECCAK256 00000ec3: PUSH1 0x00 00000ec5: POP 00000ec6: PUSH1 0x00 00000ec8: DUP3 00000ec9: ADD 00000eca: PUSH1 0x00 00000ecc: SWAP1 00000ecd: SLOAD 00000ece: SWAP1 00000ecf: PUSH2 0x0100 00000ed2: EXP 00000ed3: SWAP1 00000ed4: DIV 00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eea: AND 00000eeb: DUP2 00000eec: PUSH1 0x00 00000eee: ADD 00000eef: PUSH1 0x00 00000ef1: PUSH2 0x0100 00000ef4: EXP 00000ef5: DUP2 00000ef6: SLOAD 00000ef7: DUP2 00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0d: MUL 00000f0e: NOT 00000f0f: AND 00000f10: SWAP1 00000f11: DUP4 00000f12: MUL 00000f13: OR 00000f14: SWAP1 00000f15: SSTORE 00000f16: POP 00000f17: PUSH1 0x01 00000f19: DUP3 00000f1a: ADD 00000f1b: PUSH1 0x00 00000f1d: POP 00000f1e: DUP2 00000f1f: PUSH1 0x01 00000f21: ADD 00000f22: PUSH1 0x00 00000f24: POP 00000f25: SWAP1 00000f26: DUP1 00000f27: SLOAD 00000f28: PUSH1 0x01 00000f2a: DUP2 00000f2b: PUSH1 0x01 00000f2d: AND 00000f2e: ISZERO 00000f2f: PUSH2 0x0100 00000f32: MUL 00000f33: SUB 00000f34: AND 00000f35: PUSH1 0x02 00000f37: SWAP1 00000f38: DIV 00000f39: DUP3 00000f3a: DUP1 00000f3b: SLOAD 00000f3c: PUSH1 0x01 00000f3e: DUP2 00000f3f: PUSH1 0x01 00000f41: AND 00000f42: ISZERO 00000f43: PUSH2 0x0100 00000f46: MUL 00000f47: SUB 00000f48: AND 00000f49: PUSH1 0x02 00000f4b: SWAP1 00000f4c: DIV 00000f4d: SWAP1 00000f4e: PUSH1 0x00 00000f50: MSTORE 00000f51: PUSH1 0x20 00000f53: PUSH1 0x00 00000f55: KECCAK256 00000f56: SWAP1 00000f57: PUSH1 0x1f 00000f59: ADD 00000f5a: PUSH1 0x20 00000f5c: SWAP1 00000f5d: DIV 00000f5e: DUP2 00000f5f: ADD 00000f60: SWAP3 00000f61: DUP3 00000f62: PUSH1 0x1f 00000f64: LT 00000f65: PUSH2 0x0f71 00000f68: JUMPI 00000f69: DUP1 00000f6a: SLOAD 00000f6b: DUP6 00000f6c: SSTORE 00000f6d: PUSH2 0x0fae 00000f70: JUMP 00000f71: JUMPDEST 00000f72: DUP3 00000f73: DUP1 00000f74: ADD 00000f75: PUSH1 0x01 00000f77: ADD 00000f78: DUP6 00000f79: SSTORE 00000f7a: DUP3 00000f7b: ISZERO 00000f7c: PUSH2 0x0fae 00000f7f: JUMPI 00000f80: PUSH1 0x00 00000f82: MSTORE 00000f83: PUSH1 0x20 00000f85: PUSH1 0x00 00000f87: KECCAK256 00000f88: SWAP2 00000f89: PUSH1 0x1f 00000f8b: ADD 00000f8c: PUSH1 0x20 00000f8e: SWAP1 00000f8f: DIV 00000f90: DUP3 00000f91: ADD 00000f92: JUMPDEST 00000f93: DUP3 00000f94: DUP2 00000f95: GT 00000f96: ISZERO 00000f97: PUSH2 0x0fad 00000f9a: JUMPI 00000f9b: DUP3 00000f9c: SLOAD 00000f9d: DUP3 00000f9e: SSTORE 00000f9f: SWAP2 00000fa0: PUSH1 0x01 00000fa2: ADD 00000fa3: SWAP2 00000fa4: SWAP1 00000fa5: PUSH1 0x01 00000fa7: ADD 00000fa8: SWAP1 00000fa9: PUSH2 0x0f92 00000fac: JUMP 00000fad: JUMPDEST 00000fae: JUMPDEST 00000faf: POP 00000fb0: SWAP1 00000fb1: POP 00000fb2: PUSH2 0x0fd9 00000fb5: SWAP2 00000fb6: SWAP1 00000fb7: PUSH2 0x0fbb 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: DUP1 00000fbd: DUP3 00000fbe: GT 00000fbf: ISZERO 00000fc0: PUSH2 0x0fd5 00000fc3: JUMPI 00000fc4: PUSH1 0x00 00000fc6: DUP2 00000fc7: DUP2 00000fc8: POP 00000fc9: PUSH1 0x00 00000fcb: SWAP1 00000fcc: SSTORE 00000fcd: POP 00000fce: PUSH1 0x01 00000fd0: ADD 00000fd1: PUSH2 0x0fbb 00000fd4: JUMP 00000fd5: JUMPDEST 00000fd6: POP 00000fd7: SWAP1 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: POP 00000fdb: POP 00000fdc: PUSH1 0x02 00000fde: DUP3 00000fdf: ADD 00000fe0: PUSH1 0x00 00000fe2: POP 00000fe3: SLOAD 00000fe4: DUP2 00000fe5: PUSH1 0x02 00000fe7: ADD 00000fe8: PUSH1 0x00 00000fea: POP 00000feb: SSTORE 00000fec: PUSH1 0x03 00000fee: DUP3 00000fef: ADD 00000ff0: PUSH1 0x00 00000ff2: POP 00000ff3: SLOAD 00000ff4: DUP2 00000ff5: PUSH1 0x03 00000ff7: ADD 00000ff8: PUSH1 0x00 00000ffa: POP 00000ffb: SSTORE 00000ffc: PUSH1 0x04 00000ffe: DUP3 00000fff: ADD 00001000: PUSH1 0x00 00001002: POP 00001003: SLOAD 00001004: DUP2 00001005: PUSH1 0x04 00001007: ADD 00001008: PUSH1 0x00 0000100a: POP 0000100b: SSTORE 0000100c: PUSH1 0x05 0000100e: DUP3 0000100f: ADD 00001010: PUSH1 0x00 00001012: SWAP1 00001013: SLOAD 00001014: SWAP1 00001015: PUSH2 0x0100 00001018: EXP 00001019: SWAP1 0000101a: DIV 0000101b: PUSH1 0xff 0000101d: AND 0000101e: DUP2 0000101f: PUSH1 0x05 00001021: ADD 00001022: PUSH1 0x00 00001024: PUSH2 0x0100 00001027: EXP 00001028: DUP2 00001029: SLOAD 0000102a: DUP2 0000102b: PUSH1 0xff 0000102d: MUL 0000102e: NOT 0000102f: AND 00001030: SWAP1 00001031: DUP4 00001032: MUL 00001033: OR 00001034: SWAP1 00001035: SSTORE 00001036: POP 00001037: SWAP1 00001038: POP 00001039: POP 0000103a: DUP2 0000103b: PUSH32 0xcdeba0448cafa891383055f46f2fec420e049fab5171b5b30b5458c0320f68fb 0000105c: PUSH1 0x40 0000105e: MLOAD 0000105f: DUP1 00001060: SWAP1 00001061: POP 00001062: PUSH1 0x40 00001064: MLOAD 00001065: DUP1 00001066: SWAP2 00001067: SUB 00001068: SWAP1 00001069: LOG2 0000106a: JUMPDEST 0000106b: POP 0000106c: POP 0000106d: JUMP 0000106e: JUMPDEST 0000106f: PUSH1 0x00 00001071: PUSH1 0x00 00001073: SWAP1 00001074: SLOAD 00001075: SWAP1 00001076: PUSH2 0x0100 00001079: EXP 0000107a: SWAP1 0000107b: DIV 0000107c: PUSH1 0xff 0000107e: AND 0000107f: DUP2 00001080: JUMP 00001081: JUMPDEST 00001082: PUSH1 0x00 00001084: PUSH1 0x01 00001086: SWAP1 00001087: SLOAD 00001088: SWAP1 00001089: PUSH2 0x0100 0000108c: EXP 0000108d: SWAP1 0000108e: DIV 0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a4: AND 000010a5: DUP2 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH1 0x00 000010aa: PUSH1 0x00 000010ac: PUSH1 0x00 000010ae: PUSH1 0x00 000010b0: SWAP1 000010b1: SLOAD 000010b2: SWAP1 000010b3: PUSH2 0x0100 000010b6: EXP 000010b7: SWAP1 000010b8: DIV 000010b9: PUSH1 0xff 000010bb: AND 000010bc: EQ 000010bd: ISZERO 000010be: PUSH2 0x1119 000010c1: JUMPI 000010c2: PUSH1 0x00 000010c4: PUSH1 0x01 000010c6: SWAP1 000010c7: SLOAD 000010c8: SWAP1 000010c9: PUSH2 0x0100 000010cc: EXP 000010cd: SWAP1 000010ce: DIV 000010cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e4: AND 000010e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fa: AND 000010fb: CALLER 000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001111: AND 00001112: EQ 00001113: SWAP1 00001114: POP 00001115: PUSH2 0x1232 00001118: JUMP 00001119: JUMPDEST 0000111a: PUSH1 0x01 0000111c: PUSH1 0x00 0000111e: PUSH1 0x00 00001120: SWAP1 00001121: SLOAD 00001122: SWAP1 00001123: PUSH2 0x0100 00001126: EXP 00001127: SWAP1 00001128: DIV 00001129: PUSH1 0xff 0000112b: AND 0000112c: EQ 0000112d: ISZERO 0000112e: PUSH2 0x122d 00001131: JUMPI 00001132: PUSH1 0x00 00001134: PUSH1 0x01 00001136: SWAP1 00001137: SLOAD 00001138: SWAP1 00001139: PUSH2 0x0100 0000113c: EXP 0000113d: SWAP1 0000113e: DIV 0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001154: AND 00001155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116a: AND 0000116b: PUSH4 0xb7009613 00001170: CALLER 00001171: ADDRESS 00001172: PUSH1 0x00 00001174: CALLDATALOAD 00001175: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001196: AND 00001197: PUSH1 0x40 00001199: MLOAD 0000119a: DUP5 0000119b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000011b9: MUL 000011ba: DUP2 000011bb: MSTORE 000011bc: PUSH1 0x04 000011be: ADD 000011bf: DUP1 000011c0: DUP5 000011c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d6: AND 000011d7: DUP2 000011d8: MSTORE 000011d9: PUSH1 0x20 000011db: ADD 000011dc: DUP4 000011dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f2: AND 000011f3: DUP2 000011f4: MSTORE 000011f5: PUSH1 0x20 000011f7: ADD 000011f8: DUP3 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x20 000011fd: ADD 000011fe: SWAP4 000011ff: POP 00001200: POP 00001201: POP 00001202: POP 00001203: PUSH1 0x20 00001205: PUSH1 0x40 00001207: MLOAD 00001208: DUP1 00001209: DUP4 0000120a: SUB 0000120b: DUP2 0000120c: PUSH1 0x00 0000120e: DUP8 0000120f: PUSH2 0x61da 00001212: GAS 00001213: SUB 00001214: CALL 00001215: ISZERO 00001216: PUSH2 0x0002 00001219: JUMPI 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: PUSH1 0x40 0000121f: MLOAD 00001220: DUP1 00001221: MLOAD 00001222: SWAP1 00001223: PUSH1 0x20 00001225: ADD 00001226: POP 00001227: SWAP1 00001228: POP 00001229: PUSH2 0x1232 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH2 0x0002 00001231: JUMP 00001232: JUMPDEST 00001233: SWAP1 00001234: JUMP 00001235: JUMPDEST 00001236: PUSH2 0x1240 00001239: DUP4 0000123a: DUP4 0000123b: DUP4 0000123c: PUSH2 0x1251 0000123f: JUMP 00001240: JUMPDEST 00001241: ISZERO 00001242: ISZERO 00001243: PUSH2 0x124b 00001246: JUMPI 00001247: PUSH2 0x0002 0000124a: JUMP 0000124b: JUMPDEST 0000124c: JUMPDEST 0000124d: POP 0000124e: POP 0000124f: POP 00001250: JUMP 00001251: JUMPDEST 00001252: PUSH1 0x00 00001254: DUP4 00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126a: AND 0000126b: DUP3 0000126c: DUP5 0000126d: PUSH1 0x40 0000126f: MLOAD 00001270: DUP1 00001271: DUP3 00001272: DUP1 00001273: MLOAD 00001274: SWAP1 00001275: PUSH1 0x20 00001277: ADD 00001278: SWAP1 00001279: DUP1 0000127a: DUP4 0000127b: DUP4 0000127c: DUP3 0000127d: SWAP1 0000127e: PUSH1 0x00 00001280: PUSH1 0x04 00001282: PUSH1 0x20 00001284: DUP5 00001285: PUSH1 0x1f 00001287: ADD 00001288: DIV 00001289: PUSH1 0x0f 0000128b: MUL 0000128c: PUSH1 0x03 0000128e: ADD 0000128f: CALL 00001290: POP 00001291: SWAP1 00001292: POP 00001293: SWAP1 00001294: DUP2 00001295: ADD 00001296: SWAP1 00001297: PUSH1 0x1f 00001299: AND 0000129a: DUP1 0000129b: ISZERO 0000129c: PUSH2 0x12b9 0000129f: JUMPI 000012a0: DUP1 000012a1: DUP3 000012a2: SUB 000012a3: DUP1 000012a4: MLOAD 000012a5: PUSH1 0x01 000012a7: DUP4 000012a8: PUSH1 0x20 000012aa: SUB 000012ab: PUSH2 0x0100 000012ae: EXP 000012af: SUB 000012b0: NOT 000012b1: AND 000012b2: DUP2 000012b3: MSTORE 000012b4: PUSH1 0x20 000012b6: ADD 000012b7: SWAP2 000012b8: POP 000012b9: JUMPDEST 000012ba: POP 000012bb: SWAP2 000012bc: POP 000012bd: POP 000012be: PUSH1 0x00 000012c0: PUSH1 0x40 000012c2: MLOAD 000012c3: DUP1 000012c4: DUP4 000012c5: SUB 000012c6: DUP2 000012c7: DUP6 000012c8: DUP8 000012c9: PUSH2 0x8502 000012cc: GAS 000012cd: SUB 000012ce: CALL 000012cf: SWAP3 000012d0: POP 000012d1: POP 000012d2: POP 000012d3: SWAP1 000012d4: POP 000012d5: PUSH2 0x12d9 000012d8: JUMP 000012d9: JUMPDEST 000012da: SWAP4 000012db: SWAP3 000012dc: POP 000012dd: POP 000012de: POP 000012df: 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: 0x6e1407a63a466d0cbcff64f05c743283eb64f2e58830b0cea42b2672194b0510
call_targets:
0x0000000000000000000000000000000000000004, 0xe02640be68df835aa3327ea6473c02c8f6c3815a
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x6e1407a63a466d0cbcff64f05c743283eb64f2e58830b0cea42b2672194b0510",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe02640be68df835aa3327ea6473c02c8f6c3815a"
],
"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": "0x31c2bd0b",
"selector": "0x31c2bd0b",
"calldata_variants": [
"0x31c2bd0b",
"0x31c2bd0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9b0b89",
"selector": "0x5a9b0b89",
"calldata_variants": [
"0x5a9b0b89",
"0x5a9b0b890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e1db2a1",
"selector": "0x7e1db2a1",
"calldata_variants": [
"0x7e1db2a1",
"0x7e1db2a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa230c524",
"selector": "0xa230c524",
"calldata_variants": [
"0xa230c524",
"0xa230c5240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba0179b5",
"selector": "0xba0179b5",
"calldata_variants": [
"0xba0179b5",
"0xba0179b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2205ee1",
"selector": "0xc2205ee1",
"calldata_variants": [
"0xc2205ee1",
"0xc2205ee10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7d6faf1",
"selector": "0xc7d6faf1",
"calldata_variants": [
"0xc7d6faf1",
"0xc7d6faf10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca6d56dc",
"selector": "0xca6d56dc",
"calldata_variants": [
"0xca6d56dc",
"0xca6d56dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4628,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4751,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 4347,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x6e1407a63a466d0cbcff64f05c743283eb64f2e58830b0cea42b2672194b0510
call_targets:
0x0000000000000000000000000000000000000004, 0xe02640be68df835aa3327ea6473c02c8f6c3815a
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x6e1407a63a466d0cbcff64f05c743283eb64f2e58830b0cea42b2672194b0510",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000004",
"0xe02640be68df835aa3327ea6473c02c8f6c3815a"
],
"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": "0x31c2bd0b",
"selector": "0x31c2bd0b",
"calldata_variants": [
"0x31c2bd0b",
"0x31c2bd0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a9b0b89",
"selector": "0x5a9b0b89",
"calldata_variants": [
"0x5a9b0b89",
"0x5a9b0b890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e1db2a1",
"selector": "0x7e1db2a1",
"calldata_variants": [
"0x7e1db2a1",
"0x7e1db2a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa230c524",
"selector": "0xa230c524",
"calldata_variants": [
"0xa230c524",
"0xa230c5240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba0179b5",
"selector": "0xba0179b5",
"calldata_variants": [
"0xba0179b5",
"0xba0179b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2205ee1",
"selector": "0xc2205ee1",
"calldata_variants": [
"0xc2205ee1",
"0xc2205ee10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7d6faf1",
"selector": "0xc7d6faf1",
"calldata_variants": [
"0xc7d6faf1",
"0xc7d6faf10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca6d56dc",
"selector": "0xca6d56dc",
"calldata_variants": [
"0xca6d56dc",
"0xca6d56dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4628,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4751,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 4347,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|