019b477e-b21d-7293-b2e5-f2053525779b
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 |
|---|---|---|---|---|
| 22273 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22274 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65998 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 65999 | capability.graph | complete | 1 / 3 | 1 week ago |
| 66000 | detector.run | complete | 1 / 3 | 1 week ago |
| 66001 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113515 | report.consolidate | complete | 1 / 6 | 1 week ago |
No slither job recorded yet.
OpenAI Codex v0.118.0 (research preview) -------- workdir: /tmp/codex-_vvpqina model: gpt-5.4 provider: openai approval: never sandbox: read-only reasoning effort: high reasoning summaries: none session id: 019d5c96-4ab3-7333-a691-6b9ca360b8bc -------- user You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities. Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall. Scope rules: - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace. - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code. - If there are only dependency files and no first-party sources, set no_findings=true and explain in summary. 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 and file/line locations when possible. Output constraints (IMPORTANT): - severity MUST be exactly one of: info, low, medium, high, critical (lowercase). - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other. Keep summary short and concrete. 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:40:48.390429+00:00",
"returncode": 1
},
"project": {
"mode": "source",
"file_count": 1,
"import_count": 0,
"first_party_contracts_count": 1
},
"summary": null,
"no_findings": null,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x011d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x015f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x01ed 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x0e38e573 00000052: EQ 00000053: PUSH2 0x0247 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x025c 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x0285 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x02fe 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x386304e4 0000007e: EQ 0000007f: PUSH2 0x032d 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x45e05f43 00000089: EQ 0000008a: PUSH2 0x0337 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x57db989f 00000094: EQ 00000095: PUSH2 0x038c 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x58a1cabf 0000009f: EQ 000000a0: PUSH2 0x03b9 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x63f76f1b 000000aa: EQ 000000ab: PUSH2 0x03e2 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x70a08231 000000b5: EQ 000000b6: PUSH2 0x03f7 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x8c281b15 000000c0: EQ 000000c1: PUSH2 0x0444 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x8da5cb5b 000000cb: EQ 000000cc: PUSH2 0x046d 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x95d89b41 000000d6: EQ 000000d7: PUSH2 0x04c2 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x9a71f55c 000000e1: EQ 000000e2: PUSH2 0x0550 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xa9059cbb 000000ec: EQ 000000ed: PUSH2 0x0579 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xc6aa0522 000000f7: EQ 000000f8: PUSH2 0x05d3 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xdd62ed3e 00000102: EQ 00000103: PUSH2 0x05e8 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xde3bcb97 0000010d: EQ 0000010e: PUSH2 0x0654 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xfdb985f1 00000118: EQ 00000119: PUSH2 0x0669 0000011c: JUMPI 0000011d: JUMPDEST 0000011e: CALLER 0000011f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000134: AND 00000135: PUSH2 0x08fc 00000138: CALLVALUE 00000139: SWAP1 0000013a: DUP2 0000013b: ISZERO 0000013c: MUL 0000013d: SWAP1 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: PUSH1 0x00 00000143: PUSH1 0x40 00000145: MLOAD 00000146: DUP1 00000147: DUP4 00000148: SUB 00000149: DUP2 0000014a: DUP6 0000014b: DUP9 0000014c: DUP9 0000014d: CALL 0000014e: SWAP4 0000014f: POP 00000150: POP 00000151: POP 00000152: POP 00000153: ISZERO 00000154: ISZERO 00000155: PUSH2 0x015d 00000158: JUMPI 00000159: PUSH1 0x00 0000015b: DUP1 0000015c: REVERT 0000015d: JUMPDEST 0000015e: STOP 0000015f: JUMPDEST 00000160: CALLVALUE 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: PUSH2 0x0172 0000016e: PUSH2 0x06a2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: DUP1 00000177: DUP1 00000178: PUSH1 0x20 0000017a: ADD 0000017b: DUP3 0000017c: DUP2 0000017d: SUB 0000017e: DUP3 0000017f: MSTORE 00000180: DUP4 00000181: DUP2 00000182: DUP2 00000183: MLOAD 00000184: DUP2 00000185: MSTORE 00000186: PUSH1 0x20 00000188: ADD 00000189: SWAP2 0000018a: POP 0000018b: DUP1 0000018c: MLOAD 0000018d: SWAP1 0000018e: PUSH1 0x20 00000190: ADD 00000191: SWAP1 00000192: DUP1 00000193: DUP4 00000194: DUP4 00000195: PUSH1 0x00 00000197: JUMPDEST 00000198: DUP4 00000199: DUP2 0000019a: LT 0000019b: ISZERO 0000019c: PUSH2 0x01b2 0000019f: JUMPI 000001a0: DUP1 000001a1: DUP3 000001a2: ADD 000001a3: MLOAD 000001a4: DUP2 000001a5: DUP5 000001a6: ADD 000001a7: MSTORE 000001a8: PUSH1 0x20 000001aa: DUP2 000001ab: ADD 000001ac: SWAP1 000001ad: POP 000001ae: PUSH2 0x0197 000001b1: JUMP 000001b2: JUMPDEST 000001b3: POP 000001b4: POP 000001b5: POP 000001b6: POP 000001b7: SWAP1 000001b8: POP 000001b9: SWAP1 000001ba: DUP2 000001bb: ADD 000001bc: SWAP1 000001bd: PUSH1 0x1f 000001bf: AND 000001c0: DUP1 000001c1: ISZERO 000001c2: PUSH2 0x01df 000001c5: JUMPI 000001c6: DUP1 000001c7: DUP3 000001c8: SUB 000001c9: DUP1 000001ca: MLOAD 000001cb: PUSH1 0x01 000001cd: DUP4 000001ce: PUSH1 0x20 000001d0: SUB 000001d1: PUSH2 0x0100 000001d4: EXP 000001d5: SUB 000001d6: NOT 000001d7: AND 000001d8: DUP2 000001d9: MSTORE 000001da: PUSH1 0x20 000001dc: ADD 000001dd: SWAP2 000001de: POP 000001df: JUMPDEST 000001e0: POP 000001e1: SWAP3 000001e2: POP 000001e3: POP 000001e4: POP 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: DUP1 000001e9: SWAP2 000001ea: SUB 000001eb: SWAP1 000001ec: RETURN 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: ISZERO 000001f0: PUSH2 0x01f8 000001f3: JUMPI 000001f4: PUSH1 0x00 000001f6: DUP1 000001f7: REVERT 000001f8: JUMPDEST 000001f9: PUSH2 0x022d 000001fc: PUSH1 0x04 000001fe: DUP1 000001ff: DUP1 00000200: CALLDATALOAD 00000201: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000216: AND 00000217: SWAP1 00000218: PUSH1 0x20 0000021a: ADD 0000021b: SWAP1 0000021c: SWAP2 0000021d: SWAP1 0000021e: DUP1 0000021f: CALLDATALOAD 00000220: SWAP1 00000221: PUSH1 0x20 00000223: ADD 00000224: SWAP1 00000225: SWAP2 00000226: SWAP1 00000227: POP 00000228: POP 00000229: PUSH2 0x06db 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: DUP1 00000232: DUP3 00000233: ISZERO 00000234: ISZERO 00000235: ISZERO 00000236: ISZERO 00000237: DUP2 00000238: MSTORE 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP2 0000023d: POP 0000023e: POP 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: SWAP2 00000244: SUB 00000245: SWAP1 00000246: RETURN 00000247: JUMPDEST 00000248: CALLVALUE 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH2 0x025a 00000256: PUSH2 0x07cd 00000259: JUMP 0000025a: JUMPDEST 0000025b: STOP 0000025c: JUMPDEST 0000025d: CALLVALUE 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: PUSH2 0x026f 0000026b: PUSH2 0x093a 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH1 0x40 00000272: MLOAD 00000273: DUP1 00000274: DUP3 00000275: DUP2 00000276: MSTORE 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP2 0000027b: POP 0000027c: POP 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: DUP1 00000281: SWAP2 00000282: SUB 00000283: SWAP1 00000284: RETURN 00000285: JUMPDEST 00000286: CALLVALUE 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: PUSH2 0x02e4 00000294: PUSH1 0x04 00000296: DUP1 00000297: DUP1 00000298: CALLDATALOAD 00000299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ae: AND 000002af: SWAP1 000002b0: PUSH1 0x20 000002b2: ADD 000002b3: SWAP1 000002b4: SWAP2 000002b5: SWAP1 000002b6: DUP1 000002b7: CALLDATALOAD 000002b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cd: AND 000002ce: SWAP1 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: SWAP1 000002d3: SWAP2 000002d4: SWAP1 000002d5: DUP1 000002d6: CALLDATALOAD 000002d7: SWAP1 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP1 000002dc: SWAP2 000002dd: SWAP1 000002de: POP 000002df: POP 000002e0: PUSH2 0x0943 000002e3: JUMP 000002e4: JUMPDEST 000002e5: PUSH1 0x40 000002e7: MLOAD 000002e8: DUP1 000002e9: DUP3 000002ea: ISZERO 000002eb: ISZERO 000002ec: ISZERO 000002ed: ISZERO 000002ee: DUP2 000002ef: MSTORE 000002f0: PUSH1 0x20 000002f2: ADD 000002f3: SWAP2 000002f4: POP 000002f5: POP 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: DUP1 000002fa: SWAP2 000002fb: SUB 000002fc: SWAP1 000002fd: RETURN 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: ISZERO 00000301: PUSH2 0x0309 00000304: JUMPI 00000305: PUSH1 0x00 00000307: DUP1 00000308: REVERT 00000309: JUMPDEST 0000030a: PUSH2 0x0311 0000030d: PUSH2 0x0c46 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH1 0x40 00000314: MLOAD 00000315: DUP1 00000316: DUP3 00000317: PUSH1 0xff 00000319: AND 0000031a: PUSH1 0xff 0000031c: AND 0000031d: DUP2 0000031e: MSTORE 0000031f: PUSH1 0x20 00000321: ADD 00000322: SWAP2 00000323: POP 00000324: POP 00000325: PUSH1 0x40 00000327: MLOAD 00000328: DUP1 00000329: SWAP2 0000032a: SUB 0000032b: SWAP1 0000032c: RETURN 0000032d: JUMPDEST 0000032e: PUSH2 0x0335 00000331: PUSH2 0x0c4b 00000334: JUMP 00000335: JUMPDEST 00000336: STOP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: ISZERO 0000033a: PUSH2 0x0342 0000033d: JUMPI 0000033e: PUSH1 0x00 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH2 0x034a 00000346: PUSH2 0x0cb8 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: DUP3 00000350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000365: AND 00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037b: AND 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x20 00000380: ADD 00000381: SWAP2 00000382: POP 00000383: POP 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: SWAP2 00000389: SUB 0000038a: SWAP1 0000038b: RETURN 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: PUSH2 0x039f 0000039b: PUSH2 0x0cde 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: DUP1 000003a4: DUP3 000003a5: ISZERO 000003a6: ISZERO 000003a7: ISZERO 000003a8: ISZERO 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x20 000003ad: ADD 000003ae: SWAP2 000003af: POP 000003b0: POP 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: DUP1 000003b5: SWAP2 000003b6: SUB 000003b7: SWAP1 000003b8: RETURN 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: PUSH2 0x03cc 000003c8: PUSH2 0x0cf1 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: DUP1 000003d1: DUP3 000003d2: DUP2 000003d3: MSTORE 000003d4: PUSH1 0x20 000003d6: ADD 000003d7: SWAP2 000003d8: POP 000003d9: POP 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: DUP1 000003de: SWAP2 000003df: SUB 000003e0: SWAP1 000003e1: RETURN 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: ISZERO 000003e5: PUSH2 0x03ed 000003e8: JUMPI 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: REVERT 000003ed: JUMPDEST 000003ee: PUSH2 0x03f5 000003f1: PUSH2 0x0cf7 000003f4: JUMP 000003f5: JUMPDEST 000003f6: STOP 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: PUSH2 0x042e 00000406: PUSH1 0x04 00000408: DUP1 00000409: DUP1 0000040a: CALLDATALOAD 0000040b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000420: AND 00000421: SWAP1 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: SWAP2 00000427: SWAP1 00000428: POP 00000429: POP 0000042a: PUSH2 0x0e37 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: DUP1 00000433: DUP3 00000434: DUP2 00000435: MSTORE 00000436: PUSH1 0x20 00000438: ADD 00000439: SWAP2 0000043a: POP 0000043b: POP 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: DUP1 00000440: SWAP2 00000441: SUB 00000442: SWAP1 00000443: RETURN 00000444: JUMPDEST 00000445: CALLVALUE 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: PUSH2 0x0457 00000453: PUSH2 0x0e80 00000456: JUMP 00000457: JUMPDEST 00000458: PUSH1 0x40 0000045a: MLOAD 0000045b: DUP1 0000045c: DUP3 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x20 00000461: ADD 00000462: SWAP2 00000463: POP 00000464: POP 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: SWAP2 0000046a: SUB 0000046b: SWAP1 0000046c: RETURN 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: ISZERO 00000470: PUSH2 0x0478 00000473: JUMPI 00000474: PUSH1 0x00 00000476: DUP1 00000477: REVERT 00000478: JUMPDEST 00000479: PUSH2 0x0480 0000047c: PUSH2 0x0e86 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: DUP3 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: AND 0000049c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b1: AND 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: ADD 000004b7: SWAP2 000004b8: POP 000004b9: POP 000004ba: PUSH1 0x40 000004bc: MLOAD 000004bd: DUP1 000004be: SWAP2 000004bf: SUB 000004c0: SWAP1 000004c1: RETURN 000004c2: JUMPDEST 000004c3: CALLVALUE 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: PUSH2 0x04d5 000004d1: PUSH2 0x0eac 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: DUP1 000004db: PUSH1 0x20 000004dd: ADD 000004de: DUP3 000004df: DUP2 000004e0: SUB 000004e1: DUP3 000004e2: MSTORE 000004e3: DUP4 000004e4: DUP2 000004e5: DUP2 000004e6: MLOAD 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x20 000004eb: ADD 000004ec: SWAP2 000004ed: POP 000004ee: DUP1 000004ef: MLOAD 000004f0: SWAP1 000004f1: PUSH1 0x20 000004f3: ADD 000004f4: SWAP1 000004f5: DUP1 000004f6: DUP4 000004f7: DUP4 000004f8: PUSH1 0x00 000004fa: JUMPDEST 000004fb: DUP4 000004fc: DUP2 000004fd: LT 000004fe: ISZERO 000004ff: PUSH2 0x0515 00000502: JUMPI 00000503: DUP1 00000504: DUP3 00000505: ADD 00000506: MLOAD 00000507: DUP2 00000508: DUP5 00000509: ADD 0000050a: MSTORE 0000050b: PUSH1 0x20 0000050d: DUP2 0000050e: ADD 0000050f: SWAP1 00000510: POP 00000511: PUSH2 0x04fa 00000514: JUMP 00000515: JUMPDEST 00000516: POP 00000517: POP 00000518: POP 00000519: POP 0000051a: SWAP1 0000051b: POP 0000051c: SWAP1 0000051d: DUP2 0000051e: ADD 0000051f: SWAP1 00000520: PUSH1 0x1f 00000522: AND 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x0542 00000528: JUMPI 00000529: DUP1 0000052a: DUP3 0000052b: SUB 0000052c: DUP1 0000052d: MLOAD 0000052e: PUSH1 0x01 00000530: DUP4 00000531: PUSH1 0x20 00000533: SUB 00000534: PUSH2 0x0100 00000537: EXP 00000538: SUB 00000539: NOT 0000053a: AND 0000053b: DUP2 0000053c: MSTORE 0000053d: PUSH1 0x20 0000053f: ADD 00000540: SWAP2 00000541: POP 00000542: JUMPDEST 00000543: POP 00000544: SWAP3 00000545: POP 00000546: POP 00000547: POP 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: DUP1 0000054c: SWAP2 0000054d: SUB 0000054e: SWAP1 0000054f: RETURN 00000550: JUMPDEST 00000551: CALLVALUE 00000552: ISZERO 00000553: PUSH2 0x055b 00000556: JUMPI 00000557: PUSH1 0x00 00000559: DUP1 0000055a: REVERT 0000055b: JUMPDEST 0000055c: PUSH2 0x0563 0000055f: PUSH2 0x0ee5 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH1 0x40 00000566: MLOAD 00000567: DUP1 00000568: DUP3 00000569: DUP2 0000056a: MSTORE 0000056b: PUSH1 0x20 0000056d: ADD 0000056e: SWAP2 0000056f: POP 00000570: POP 00000571: PUSH1 0x40 00000573: MLOAD 00000574: DUP1 00000575: SWAP2 00000576: SUB 00000577: SWAP1 00000578: RETURN 00000579: JUMPDEST 0000057a: CALLVALUE 0000057b: ISZERO 0000057c: PUSH2 0x0584 0000057f: JUMPI 00000580: PUSH1 0x00 00000582: DUP1 00000583: REVERT 00000584: JUMPDEST 00000585: PUSH2 0x05b9 00000588: PUSH1 0x04 0000058a: DUP1 0000058b: DUP1 0000058c: CALLDATALOAD 0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a2: AND 000005a3: SWAP1 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: SWAP1 000005a8: SWAP2 000005a9: SWAP1 000005aa: DUP1 000005ab: CALLDATALOAD 000005ac: SWAP1 000005ad: PUSH1 0x20 000005af: ADD 000005b0: SWAP1 000005b1: SWAP2 000005b2: SWAP1 000005b3: POP 000005b4: POP 000005b5: PUSH2 0x0eeb 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: DUP1 000005be: DUP3 000005bf: ISZERO 000005c0: ISZERO 000005c1: ISZERO 000005c2: ISZERO 000005c3: DUP2 000005c4: MSTORE 000005c5: PUSH1 0x20 000005c7: ADD 000005c8: SWAP2 000005c9: POP 000005ca: POP 000005cb: PUSH1 0x40 000005cd: MLOAD 000005ce: DUP1 000005cf: SWAP2 000005d0: SUB 000005d1: SWAP1 000005d2: RETURN 000005d3: JUMPDEST 000005d4: CALLVALUE 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: PUSH2 0x05e6 000005e2: PUSH2 0x10de 000005e5: JUMP 000005e6: JUMPDEST 000005e7: STOP 000005e8: JUMPDEST 000005e9: CALLVALUE 000005ea: ISZERO 000005eb: PUSH2 0x05f3 000005ee: JUMPI 000005ef: PUSH1 0x00 000005f1: DUP1 000005f2: REVERT 000005f3: JUMPDEST 000005f4: PUSH2 0x063e 000005f7: PUSH1 0x04 000005f9: DUP1 000005fa: DUP1 000005fb: CALLDATALOAD 000005fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000611: AND 00000612: SWAP1 00000613: PUSH1 0x20 00000615: ADD 00000616: SWAP1 00000617: SWAP2 00000618: SWAP1 00000619: DUP1 0000061a: CALLDATALOAD 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: AND 00000631: SWAP1 00000632: PUSH1 0x20 00000634: ADD 00000635: SWAP1 00000636: SWAP2 00000637: SWAP1 00000638: POP 00000639: POP 0000063a: PUSH2 0x1238 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: DUP1 00000643: DUP3 00000644: DUP2 00000645: MSTORE 00000646: PUSH1 0x20 00000648: ADD 00000649: SWAP2 0000064a: POP 0000064b: POP 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: DUP1 00000650: SWAP2 00000651: SUB 00000652: SWAP1 00000653: RETURN 00000654: JUMPDEST 00000655: CALLVALUE 00000656: ISZERO 00000657: PUSH2 0x065f 0000065a: JUMPI 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: REVERT 0000065f: JUMPDEST 00000660: PUSH2 0x0667 00000663: PUSH2 0x12bf 00000666: JUMP 00000667: JUMPDEST 00000668: STOP 00000669: JUMPDEST 0000066a: CALLVALUE 0000066b: ISZERO 0000066c: PUSH2 0x0674 0000066f: JUMPI 00000670: PUSH1 0x00 00000672: DUP1 00000673: REVERT 00000674: JUMPDEST 00000675: PUSH2 0x06a0 00000678: PUSH1 0x04 0000067a: DUP1 0000067b: DUP1 0000067c: CALLDATALOAD 0000067d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000692: AND 00000693: SWAP1 00000694: PUSH1 0x20 00000696: ADD 00000697: SWAP1 00000698: SWAP2 00000699: SWAP1 0000069a: POP 0000069b: POP 0000069c: PUSH2 0x13cc 0000069f: JUMP 000006a0: JUMPDEST 000006a1: STOP 000006a2: JUMPDEST 000006a3: PUSH1 0x40 000006a5: DUP1 000006a6: MLOAD 000006a7: SWAP1 000006a8: DUP2 000006a9: ADD 000006aa: PUSH1 0x40 000006ac: MSTORE 000006ad: DUP1 000006ae: PUSH1 0x16 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x20 000006b4: ADD 000006b5: PUSH32 0x466f7274756e697479204f776e65727320546f6b656e00000000000000000000 000006d6: DUP2 000006d7: MSTORE 000006d8: POP 000006d9: DUP2 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH1 0x00 000006de: DUP2 000006df: PUSH1 0x02 000006e1: PUSH1 0x00 000006e3: CALLER 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: SWAP1 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: ADD 0000071b: PUSH1 0x00 0000071d: KECCAK256 0000071e: PUSH1 0x00 00000720: DUP6 00000721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000736: AND 00000737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074c: AND 0000074d: DUP2 0000074e: MSTORE 0000074f: PUSH1 0x20 00000751: ADD 00000752: SWAP1 00000753: DUP2 00000754: MSTORE 00000755: PUSH1 0x20 00000757: ADD 00000758: PUSH1 0x00 0000075a: KECCAK256 0000075b: DUP2 0000075c: SWAP1 0000075d: SSTORE 0000075e: POP 0000075f: DUP3 00000760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000775: AND 00000776: CALLER 00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078c: AND 0000078d: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000007ae: DUP5 000007af: PUSH1 0x40 000007b1: MLOAD 000007b2: DUP1 000007b3: DUP3 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: SWAP2 000007ba: POP 000007bb: POP 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP1 000007c0: SWAP2 000007c1: SUB 000007c2: SWAP1 000007c3: LOG3 000007c4: PUSH1 0x01 000007c6: SWAP1 000007c7: POP 000007c8: SWAP3 000007c9: SWAP2 000007ca: POP 000007cb: POP 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x03 000007d0: PUSH1 0x00 000007d2: SWAP1 000007d3: SLOAD 000007d4: SWAP1 000007d5: PUSH2 0x0100 000007d8: EXP 000007d9: SWAP1 000007da: DIV 000007db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f0: AND 000007f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000806: AND 00000807: CALLER 00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081d: AND 0000081e: EQ 0000081f: DUP1 00000820: PUSH2 0x0876 00000823: JUMPI 00000824: POP 00000825: PUSH1 0x04 00000827: PUSH1 0x00 00000829: SWAP1 0000082a: SLOAD 0000082b: SWAP1 0000082c: PUSH2 0x0100 0000082f: EXP 00000830: SWAP1 00000831: DIV 00000832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000847: AND 00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085d: AND 0000085e: CALLER 0000085f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000874: AND 00000875: EQ 00000876: JUMPDEST 00000877: ISZERO 00000878: ISZERO 00000879: PUSH2 0x0881 0000087c: JUMPI 0000087d: PUSH1 0x00 0000087f: DUP1 00000880: REVERT 00000881: JUMPDEST 00000882: PUSH1 0x06 00000884: PUSH1 0x00 00000886: SWAP1 00000887: SLOAD 00000888: SWAP1 00000889: PUSH2 0x0100 0000088c: EXP 0000088d: SWAP1 0000088e: DIV 0000088f: PUSH1 0xff 00000891: AND 00000892: ISZERO 00000893: ISZERO 00000894: ISZERO 00000895: PUSH2 0x089d 00000898: JUMPI 00000899: PUSH1 0x00 0000089b: DUP1 0000089c: REVERT 0000089d: JUMPDEST 0000089e: PUSH1 0x01 000008a0: PUSH1 0x05 000008a2: PUSH1 0x00 000008a4: DUP3 000008a5: DUP3 000008a6: SLOAD 000008a7: ADD 000008a8: SWAP3 000008a9: POP 000008aa: POP 000008ab: DUP2 000008ac: SWAP1 000008ad: SSTORE 000008ae: POP 000008af: PUSH1 0x01 000008b1: PUSH1 0x06 000008b3: PUSH1 0x00 000008b5: PUSH2 0x0100 000008b8: EXP 000008b9: DUP2 000008ba: SLOAD 000008bb: DUP2 000008bc: PUSH1 0xff 000008be: MUL 000008bf: NOT 000008c0: AND 000008c1: SWAP1 000008c2: DUP4 000008c3: ISZERO 000008c4: ISZERO 000008c5: MUL 000008c6: OR 000008c7: SWAP1 000008c8: SSTORE 000008c9: POP 000008ca: ADDRESS 000008cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e0: AND 000008e1: BALANCE 000008e2: PUSH1 0x07 000008e4: DUP2 000008e5: SWAP1 000008e6: SSTORE 000008e7: POP 000008e8: TIMESTAMP 000008e9: PUSH1 0x08 000008eb: DUP2 000008ec: SWAP1 000008ed: SSTORE 000008ee: POP 000008ef: PUSH32 0xf5fad918241914eb73c80ac06d757e5bc23a193d092bec88b3443218162ca02f 00000910: PUSH1 0x06 00000912: PUSH1 0x00 00000914: SWAP1 00000915: SLOAD 00000916: SWAP1 00000917: PUSH2 0x0100 0000091a: EXP 0000091b: SWAP1 0000091c: DIV 0000091d: PUSH1 0xff 0000091f: AND 00000920: PUSH1 0x40 00000922: MLOAD 00000923: DUP1 00000924: DUP3 00000925: ISZERO 00000926: ISZERO 00000927: ISZERO 00000928: ISZERO 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: SWAP2 0000092f: POP 00000930: POP 00000931: PUSH1 0x40 00000933: MLOAD 00000934: DUP1 00000935: SWAP2 00000936: SUB 00000937: SWAP1 00000938: LOG1 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x00 0000093d: DUP1 0000093e: SLOAD 0000093f: SWAP1 00000940: POP 00000941: SWAP1 00000942: JUMP 00000943: JUMPDEST 00000944: PUSH1 0x00 00000946: PUSH1 0x06 00000948: PUSH1 0x00 0000094a: SWAP1 0000094b: SLOAD 0000094c: SWAP1 0000094d: PUSH2 0x0100 00000950: EXP 00000951: SWAP1 00000952: DIV 00000953: PUSH1 0xff 00000955: AND 00000956: ISZERO 00000957: ISZERO 00000958: ISZERO 00000959: PUSH2 0x0961 0000095c: JUMPI 0000095d: PUSH1 0x00 0000095f: DUP1 00000960: REVERT 00000961: JUMPDEST 00000962: PUSH1 0x00 00000964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000979: AND 0000097a: DUP4 0000097b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000990: AND 00000991: EQ 00000992: ISZERO 00000993: ISZERO 00000994: ISZERO 00000995: PUSH2 0x099d 00000998: JUMPI 00000999: PUSH1 0x00 0000099b: DUP1 0000099c: REVERT 0000099d: JUMPDEST 0000099e: PUSH2 0x09ef 000009a1: DUP3 000009a2: PUSH1 0x01 000009a4: PUSH1 0x00 000009a6: DUP8 000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bc: AND 000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d2: AND 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x20 000009d7: ADD 000009d8: SWAP1 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: PUSH1 0x00 000009e0: KECCAK256 000009e1: SLOAD 000009e2: PUSH2 0x1500 000009e5: SWAP1 000009e6: SWAP2 000009e7: SWAP1 000009e8: PUSH4 0xffffffff 000009ed: AND 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH1 0x01 000009f2: PUSH1 0x00 000009f4: DUP7 000009f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0a: AND 00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a20: AND 00000a21: DUP2 00000a22: MSTORE 00000a23: PUSH1 0x20 00000a25: ADD 00000a26: SWAP1 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: ADD 00000a2c: PUSH1 0x00 00000a2e: KECCAK256 00000a2f: DUP2 00000a30: SWAP1 00000a31: SSTORE 00000a32: POP 00000a33: PUSH2 0x0ac1 00000a36: DUP3 00000a37: PUSH1 0x02 00000a39: PUSH1 0x00 00000a3b: DUP8 00000a3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a51: AND 00000a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a67: AND 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x20 00000a6c: ADD 00000a6d: SWAP1 00000a6e: DUP2 00000a6f: MSTORE 00000a70: PUSH1 0x20 00000a72: ADD 00000a73: PUSH1 0x00 00000a75: KECCAK256 00000a76: PUSH1 0x00 00000a78: CALLER 00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8e: AND 00000a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa4: AND 00000aa5: DUP2 00000aa6: MSTORE 00000aa7: PUSH1 0x20 00000aa9: ADD 00000aaa: SWAP1 00000aab: DUP2 00000aac: MSTORE 00000aad: PUSH1 0x20 00000aaf: ADD 00000ab0: PUSH1 0x00 00000ab2: KECCAK256 00000ab3: SLOAD 00000ab4: PUSH2 0x1500 00000ab7: SWAP1 00000ab8: SWAP2 00000ab9: SWAP1 00000aba: PUSH4 0xffffffff 00000abf: AND 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH1 0x02 00000ac4: PUSH1 0x00 00000ac6: DUP7 00000ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adc: AND 00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af2: AND 00000af3: DUP2 00000af4: MSTORE 00000af5: PUSH1 0x20 00000af7: ADD 00000af8: SWAP1 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: ADD 00000afe: PUSH1 0x00 00000b00: KECCAK256 00000b01: PUSH1 0x00 00000b03: CALLER 00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b19: AND 00000b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2f: AND 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x20 00000b34: ADD 00000b35: SWAP1 00000b36: DUP2 00000b37: MSTORE 00000b38: PUSH1 0x20 00000b3a: ADD 00000b3b: PUSH1 0x00 00000b3d: KECCAK256 00000b3e: DUP2 00000b3f: SWAP1 00000b40: SSTORE 00000b41: POP 00000b42: PUSH2 0x0b93 00000b45: DUP3 00000b46: PUSH1 0x01 00000b48: PUSH1 0x00 00000b4a: DUP7 00000b4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b60: AND 00000b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b76: AND 00000b77: DUP2 00000b78: MSTORE 00000b79: PUSH1 0x20 00000b7b: ADD 00000b7c: SWAP1 00000b7d: DUP2 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: ADD 00000b82: PUSH1 0x00 00000b84: KECCAK256 00000b85: SLOAD 00000b86: PUSH2 0x151c 00000b89: SWAP1 00000b8a: SWAP2 00000b8b: SWAP1 00000b8c: PUSH4 0xffffffff 00000b91: AND 00000b92: JUMP 00000b93: JUMPDEST 00000b94: PUSH1 0x01 00000b96: PUSH1 0x00 00000b98: DUP6 00000b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bae: AND 00000baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc4: AND 00000bc5: DUP2 00000bc6: MSTORE 00000bc7: PUSH1 0x20 00000bc9: ADD 00000bca: SWAP1 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: PUSH1 0x00 00000bd2: KECCAK256 00000bd3: DUP2 00000bd4: SWAP1 00000bd5: SSTORE 00000bd6: POP 00000bd7: DUP3 00000bd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bed: AND 00000bee: DUP5 00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c04: AND 00000c05: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000c26: DUP5 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: DUP1 00000c2b: DUP3 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: SWAP2 00000c32: POP 00000c33: POP 00000c34: PUSH1 0x40 00000c36: MLOAD 00000c37: DUP1 00000c38: SWAP2 00000c39: SUB 00000c3a: SWAP1 00000c3b: LOG3 00000c3c: PUSH1 0x01 00000c3e: SWAP1 00000c3f: POP 00000c40: SWAP4 00000c41: SWAP3 00000c42: POP 00000c43: POP 00000c44: POP 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x12 00000c49: DUP2 00000c4a: JUMP 00000c4b: JUMPDEST 00000c4c: PUSH32 0x85177f287940f2f05425a4029951af0e047a7f9c4eaa9a6e6917bcd869f86695 00000c6d: CALLER 00000c6e: CALLVALUE 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: DUP1 00000c73: DUP4 00000c74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c89: AND 00000c8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9f: AND 00000ca0: DUP2 00000ca1: MSTORE 00000ca2: PUSH1 0x20 00000ca4: ADD 00000ca5: DUP3 00000ca6: DUP2 00000ca7: MSTORE 00000ca8: PUSH1 0x20 00000caa: ADD 00000cab: SWAP3 00000cac: POP 00000cad: POP 00000cae: POP 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: DUP1 00000cb3: SWAP2 00000cb4: SUB 00000cb5: SWAP1 00000cb6: LOG1 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x04 00000cbb: PUSH1 0x00 00000cbd: SWAP1 00000cbe: SLOAD 00000cbf: SWAP1 00000cc0: PUSH2 0x0100 00000cc3: EXP 00000cc4: SWAP1 00000cc5: DIV 00000cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdb: AND 00000cdc: DUP2 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: PUSH1 0x06 00000ce1: PUSH1 0x00 00000ce3: SWAP1 00000ce4: SLOAD 00000ce5: SWAP1 00000ce6: PUSH2 0x0100 00000ce9: EXP 00000cea: SWAP1 00000ceb: DIV 00000cec: PUSH1 0xff 00000cee: AND 00000cef: DUP2 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH1 0x08 00000cf4: SLOAD 00000cf5: DUP2 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: PUSH1 0x03 00000cfa: PUSH1 0x00 00000cfc: SWAP1 00000cfd: SLOAD 00000cfe: SWAP1 00000cff: PUSH2 0x0100 00000d02: EXP 00000d03: SWAP1 00000d04: DIV 00000d05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1a: AND 00000d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d30: AND 00000d31: CALLER 00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d47: AND 00000d48: EQ 00000d49: DUP1 00000d4a: PUSH2 0x0da0 00000d4d: JUMPI 00000d4e: POP 00000d4f: PUSH1 0x04 00000d51: PUSH1 0x00 00000d53: SWAP1 00000d54: SLOAD 00000d55: SWAP1 00000d56: PUSH2 0x0100 00000d59: EXP 00000d5a: SWAP1 00000d5b: DIV 00000d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d71: AND 00000d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d87: AND 00000d88: CALLER 00000d89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9e: AND 00000d9f: EQ 00000da0: JUMPDEST 00000da1: ISZERO 00000da2: ISZERO 00000da3: PUSH2 0x0dab 00000da6: JUMPI 00000da7: PUSH1 0x00 00000da9: DUP1 00000daa: REVERT 00000dab: JUMPDEST 00000dac: PUSH2 0x0dc1 00000daf: PUSH3 0x093a80 00000db3: TIMESTAMP 00000db4: PUSH2 0x151c 00000db7: SWAP1 00000db8: SWAP2 00000db9: SWAP1 00000dba: PUSH4 0xffffffff 00000dbf: AND 00000dc0: JUMP 00000dc1: JUMPDEST 00000dc2: PUSH1 0x08 00000dc4: SLOAD 00000dc5: LT 00000dc6: ISZERO 00000dc7: ISZERO 00000dc8: PUSH2 0x0dd0 00000dcb: JUMPI 00000dcc: PUSH1 0x00 00000dce: DUP1 00000dcf: REVERT 00000dd0: JUMPDEST 00000dd1: PUSH1 0x00 00000dd3: PUSH1 0x06 00000dd5: PUSH1 0x00 00000dd7: PUSH2 0x0100 00000dda: EXP 00000ddb: DUP2 00000ddc: SLOAD 00000ddd: DUP2 00000dde: PUSH1 0xff 00000de0: MUL 00000de1: NOT 00000de2: AND 00000de3: SWAP1 00000de4: DUP4 00000de5: ISZERO 00000de6: ISZERO 00000de7: MUL 00000de8: OR 00000de9: SWAP1 00000dea: SSTORE 00000deb: POP 00000dec: PUSH32 0xf5fad918241914eb73c80ac06d757e5bc23a193d092bec88b3443218162ca02f 00000e0d: PUSH1 0x06 00000e0f: PUSH1 0x00 00000e11: SWAP1 00000e12: SLOAD 00000e13: SWAP1 00000e14: PUSH2 0x0100 00000e17: EXP 00000e18: SWAP1 00000e19: DIV 00000e1a: PUSH1 0xff 00000e1c: AND 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: DUP1 00000e21: DUP3 00000e22: ISZERO 00000e23: ISZERO 00000e24: ISZERO 00000e25: ISZERO 00000e26: DUP2 00000e27: MSTORE 00000e28: PUSH1 0x20 00000e2a: ADD 00000e2b: SWAP2 00000e2c: POP 00000e2d: POP 00000e2e: PUSH1 0x40 00000e30: MLOAD 00000e31: DUP1 00000e32: SWAP2 00000e33: SUB 00000e34: SWAP1 00000e35: LOG1 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x00 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0x00 00000e3e: DUP4 00000e3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e54: AND 00000e55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6a: AND 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: SWAP1 00000e71: DUP2 00000e72: MSTORE 00000e73: PUSH1 0x20 00000e75: ADD 00000e76: PUSH1 0x00 00000e78: KECCAK256 00000e79: SLOAD 00000e7a: SWAP1 00000e7b: POP 00000e7c: SWAP2 00000e7d: SWAP1 00000e7e: POP 00000e7f: JUMP 00000e80: JUMPDEST 00000e81: PUSH1 0x07 00000e83: SLOAD 00000e84: DUP2 00000e85: JUMP 00000e86: JUMPDEST 00000e87: PUSH1 0x03 00000e89: PUSH1 0x00 00000e8b: SWAP1 00000e8c: SLOAD 00000e8d: SWAP1 00000e8e: PUSH2 0x0100 00000e91: EXP 00000e92: SWAP1 00000e93: DIV 00000e94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea9: AND 00000eaa: DUP2 00000eab: JUMP 00000eac: JUMPDEST 00000ead: PUSH1 0x40 00000eaf: DUP1 00000eb0: MLOAD 00000eb1: SWAP1 00000eb2: DUP2 00000eb3: ADD 00000eb4: PUSH1 0x40 00000eb6: MSTORE 00000eb7: DUP1 00000eb8: PUSH1 0x03 00000eba: DUP2 00000ebb: MSTORE 00000ebc: PUSH1 0x20 00000ebe: ADD 00000ebf: PUSH32 0x4658540000000000000000000000000000000000000000000000000000000000 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: POP 00000ee3: DUP2 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: PUSH1 0x05 00000ee8: SLOAD 00000ee9: DUP2 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH1 0x00 00000eee: PUSH1 0x06 00000ef0: PUSH1 0x00 00000ef2: SWAP1 00000ef3: SLOAD 00000ef4: SWAP1 00000ef5: PUSH2 0x0100 00000ef8: EXP 00000ef9: SWAP1 00000efa: DIV 00000efb: PUSH1 0xff 00000efd: AND 00000efe: ISZERO 00000eff: ISZERO 00000f00: ISZERO 00000f01: PUSH2 0x0f09 00000f04: JUMPI 00000f05: PUSH1 0x00 00000f07: DUP1 00000f08: REVERT 00000f09: JUMPDEST 00000f0a: PUSH1 0x00 00000f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f21: AND 00000f22: DUP4 00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f38: AND 00000f39: EQ 00000f3a: ISZERO 00000f3b: ISZERO 00000f3c: ISZERO 00000f3d: PUSH2 0x0f45 00000f40: JUMPI 00000f41: PUSH1 0x00 00000f43: DUP1 00000f44: REVERT 00000f45: JUMPDEST 00000f46: PUSH2 0x0f97 00000f49: DUP3 00000f4a: PUSH1 0x01 00000f4c: PUSH1 0x00 00000f4e: CALLER 00000f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f64: AND 00000f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7a: AND 00000f7b: DUP2 00000f7c: MSTORE 00000f7d: PUSH1 0x20 00000f7f: ADD 00000f80: SWAP1 00000f81: DUP2 00000f82: MSTORE 00000f83: PUSH1 0x20 00000f85: ADD 00000f86: PUSH1 0x00 00000f88: KECCAK256 00000f89: SLOAD 00000f8a: PUSH2 0x1500 00000f8d: SWAP1 00000f8e: SWAP2 00000f8f: SWAP1 00000f90: PUSH4 0xffffffff 00000f95: AND 00000f96: JUMP 00000f97: JUMPDEST 00000f98: PUSH1 0x01 00000f9a: PUSH1 0x00 00000f9c: CALLER 00000f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb2: AND 00000fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc8: AND 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: ADD 00000fce: SWAP1 00000fcf: DUP2 00000fd0: MSTORE 00000fd1: PUSH1 0x20 00000fd3: ADD 00000fd4: PUSH1 0x00 00000fd6: KECCAK256 00000fd7: DUP2 00000fd8: SWAP1 00000fd9: SSTORE 00000fda: POP 00000fdb: PUSH2 0x102c 00000fde: DUP3 00000fdf: PUSH1 0x01 00000fe1: PUSH1 0x00 00000fe3: DUP7 00000fe4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff9: AND 00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100f: AND 00001010: DUP2 00001011: MSTORE 00001012: PUSH1 0x20 00001014: ADD 00001015: SWAP1 00001016: DUP2 00001017: MSTORE 00001018: PUSH1 0x20 0000101a: ADD 0000101b: PUSH1 0x00 0000101d: KECCAK256 0000101e: SLOAD 0000101f: PUSH2 0x151c 00001022: SWAP1 00001023: SWAP2 00001024: SWAP1 00001025: PUSH4 0xffffffff 0000102a: AND 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x01 0000102f: PUSH1 0x00 00001031: DUP6 00001032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001047: AND 00001048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105d: AND 0000105e: DUP2 0000105f: MSTORE 00001060: PUSH1 0x20 00001062: ADD 00001063: SWAP1 00001064: DUP2 00001065: MSTORE 00001066: PUSH1 0x20 00001068: ADD 00001069: PUSH1 0x00 0000106b: KECCAK256 0000106c: DUP2 0000106d: SWAP1 0000106e: SSTORE 0000106f: POP 00001070: DUP3 00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001086: AND 00001087: CALLER 00001088: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109d: AND 0000109e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010bf: DUP5 000010c0: PUSH1 0x40 000010c2: MLOAD 000010c3: DUP1 000010c4: DUP3 000010c5: DUP2 000010c6: MSTORE 000010c7: PUSH1 0x20 000010c9: ADD 000010ca: SWAP2 000010cb: POP 000010cc: POP 000010cd: PUSH1 0x40 000010cf: MLOAD 000010d0: DUP1 000010d1: SWAP2 000010d2: SUB 000010d3: SWAP1 000010d4: LOG3 000010d5: PUSH1 0x01 000010d7: SWAP1 000010d8: POP 000010d9: SWAP3 000010da: SWAP2 000010db: POP 000010dc: POP 000010dd: JUMP 000010de: JUMPDEST 000010df: PUSH1 0x06 000010e1: PUSH1 0x00 000010e3: SWAP1 000010e4: SLOAD 000010e5: SWAP1 000010e6: PUSH2 0x0100 000010e9: EXP 000010ea: SWAP1 000010eb: DIV 000010ec: PUSH1 0xff 000010ee: AND 000010ef: ISZERO 000010f0: ISZERO 000010f1: PUSH2 0x10f9 000010f4: JUMPI 000010f5: PUSH1 0x00 000010f7: DUP1 000010f8: REVERT 000010f9: JUMPDEST 000010fa: PUSH1 0x05 000010fc: SLOAD 000010fd: PUSH1 0x09 000010ff: PUSH1 0x00 00001101: CALLER 00001102: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001117: AND 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: AND 0000112e: DUP2 0000112f: MSTORE 00001130: PUSH1 0x20 00001132: ADD 00001133: SWAP1 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x20 00001138: ADD 00001139: PUSH1 0x00 0000113b: KECCAK256 0000113c: SLOAD 0000113d: EQ 0000113e: ISZERO 0000113f: ISZERO 00001140: ISZERO 00001141: PUSH2 0x1149 00001144: JUMPI 00001145: PUSH1 0x00 00001147: DUP1 00001148: REVERT 00001149: JUMPDEST 0000114a: PUSH1 0x05 0000114c: SLOAD 0000114d: PUSH1 0x09 0000114f: PUSH1 0x00 00001151: CALLER 00001152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001167: AND 00001168: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000117d: AND 0000117e: DUP2 0000117f: MSTORE 00001180: PUSH1 0x20 00001182: ADD 00001183: SWAP1 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x20 00001188: ADD 00001189: PUSH1 0x00 0000118b: KECCAK256 0000118c: DUP2 0000118d: SWAP1 0000118e: SSTORE 0000118f: POP 00001190: CALLER 00001191: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a6: AND 000011a7: PUSH2 0x08fc 000011aa: PUSH2 0x1211 000011ad: PUSH1 0x00 000011af: SLOAD 000011b0: PUSH2 0x1203 000011b3: PUSH1 0x01 000011b5: PUSH1 0x00 000011b7: CALLER 000011b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011cd: AND 000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e3: AND 000011e4: DUP2 000011e5: MSTORE 000011e6: PUSH1 0x20 000011e8: ADD 000011e9: SWAP1 000011ea: DUP2 000011eb: MSTORE 000011ec: PUSH1 0x20 000011ee: ADD 000011ef: PUSH1 0x00 000011f1: KECCAK256 000011f2: SLOAD 000011f3: PUSH1 0x07 000011f5: SLOAD 000011f6: PUSH2 0x1538 000011f9: SWAP1 000011fa: SWAP2 000011fb: SWAP1 000011fc: PUSH4 0xffffffff 00001201: AND 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH2 0x1569 00001207: SWAP1 00001208: SWAP2 00001209: SWAP1 0000120a: PUSH4 0xffffffff 0000120f: AND 00001210: JUMP 00001211: JUMPDEST 00001212: SWAP1 00001213: DUP2 00001214: ISZERO 00001215: MUL 00001216: SWAP1 00001217: PUSH1 0x40 00001219: MLOAD 0000121a: PUSH1 0x00 0000121c: PUSH1 0x40 0000121e: MLOAD 0000121f: DUP1 00001220: DUP4 00001221: SUB 00001222: DUP2 00001223: DUP6 00001224: DUP9 00001225: DUP9 00001226: CALL 00001227: SWAP4 00001228: POP 00001229: POP 0000122a: POP 0000122b: POP 0000122c: ISZERO 0000122d: ISZERO 0000122e: PUSH2 0x1236 00001231: JUMPI 00001232: PUSH1 0x00 00001234: DUP1 00001235: REVERT 00001236: JUMPDEST 00001237: JUMP 00001238: JUMPDEST 00001239: PUSH1 0x00 0000123b: PUSH1 0x02 0000123d: PUSH1 0x00 0000123f: DUP5 00001240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001255: AND 00001256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126b: AND 0000126c: DUP2 0000126d: MSTORE 0000126e: PUSH1 0x20 00001270: ADD 00001271: SWAP1 00001272: DUP2 00001273: MSTORE 00001274: PUSH1 0x20 00001276: ADD 00001277: PUSH1 0x00 00001279: KECCAK256 0000127a: PUSH1 0x00 0000127c: DUP4 0000127d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001292: AND 00001293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a8: AND 000012a9: DUP2 000012aa: MSTORE 000012ab: PUSH1 0x20 000012ad: ADD 000012ae: SWAP1 000012af: DUP2 000012b0: MSTORE 000012b1: PUSH1 0x20 000012b3: ADD 000012b4: PUSH1 0x00 000012b6: KECCAK256 000012b7: SLOAD 000012b8: SWAP1 000012b9: POP 000012ba: SWAP3 000012bb: SWAP2 000012bc: POP 000012bd: POP 000012be: JUMP 000012bf: JUMPDEST 000012c0: PUSH1 0x03 000012c2: PUSH1 0x00 000012c4: SWAP1 000012c5: SLOAD 000012c6: SWAP1 000012c7: PUSH2 0x0100 000012ca: EXP 000012cb: SWAP1 000012cc: DIV 000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e2: AND 000012e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f8: AND 000012f9: CALLER 000012fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000130f: AND 00001310: EQ 00001311: DUP1 00001312: PUSH2 0x1368 00001315: JUMPI 00001316: POP 00001317: PUSH1 0x04 00001319: PUSH1 0x00 0000131b: SWAP1 0000131c: SLOAD 0000131d: SWAP1 0000131e: PUSH2 0x0100 00001321: EXP 00001322: SWAP1 00001323: DIV 00001324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001339: AND 0000133a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134f: AND 00001350: CALLER 00001351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001366: AND 00001367: EQ 00001368: JUMPDEST 00001369: ISZERO 0000136a: ISZERO 0000136b: PUSH2 0x1373 0000136e: JUMPI 0000136f: PUSH1 0x00 00001371: DUP1 00001372: REVERT 00001373: JUMPDEST 00001374: CALLER 00001375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138a: AND 0000138b: PUSH2 0x08fc 0000138e: ADDRESS 0000138f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a4: AND 000013a5: BALANCE 000013a6: SWAP1 000013a7: DUP2 000013a8: ISZERO 000013a9: MUL 000013aa: SWAP1 000013ab: PUSH1 0x40 000013ad: MLOAD 000013ae: PUSH1 0x00 000013b0: PUSH1 0x40 000013b2: MLOAD 000013b3: DUP1 000013b4: DUP4 000013b5: SUB 000013b6: DUP2 000013b7: DUP6 000013b8: DUP9 000013b9: DUP9 000013ba: CALL 000013bb: SWAP4 000013bc: POP 000013bd: POP 000013be: POP 000013bf: POP 000013c0: ISZERO 000013c1: ISZERO 000013c2: PUSH2 0x13ca 000013c5: JUMPI 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: JUMP 000013cc: JUMPDEST 000013cd: PUSH1 0x03 000013cf: PUSH1 0x00 000013d1: SWAP1 000013d2: SLOAD 000013d3: SWAP1 000013d4: PUSH2 0x0100 000013d7: EXP 000013d8: SWAP1 000013d9: DIV 000013da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ef: AND 000013f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001405: AND 00001406: CALLER 00001407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141c: AND 0000141d: EQ 0000141e: DUP1 0000141f: PUSH2 0x1475 00001422: JUMPI 00001423: POP 00001424: PUSH1 0x04 00001426: PUSH1 0x00 00001428: SWAP1 00001429: SLOAD 0000142a: SWAP1 0000142b: PUSH2 0x0100 0000142e: EXP 0000142f: SWAP1 00001430: DIV 00001431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001446: AND 00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145c: AND 0000145d: CALLER 0000145e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001473: AND 00001474: EQ 00001475: JUMPDEST 00001476: ISZERO 00001477: ISZERO 00001478: PUSH2 0x1480 0000147b: JUMPI 0000147c: PUSH1 0x00 0000147e: DUP1 0000147f: REVERT 00001480: JUMPDEST 00001481: PUSH1 0x00 00001483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001498: AND 00001499: DUP2 0000149a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014af: AND 000014b0: EQ 000014b1: ISZERO 000014b2: ISZERO 000014b3: ISZERO 000014b4: PUSH2 0x14bc 000014b7: JUMPI 000014b8: PUSH1 0x00 000014ba: DUP1 000014bb: REVERT 000014bc: JUMPDEST 000014bd: DUP1 000014be: PUSH1 0x04 000014c0: PUSH1 0x00 000014c2: PUSH2 0x0100 000014c5: EXP 000014c6: DUP2 000014c7: SLOAD 000014c8: DUP2 000014c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014de: MUL 000014df: NOT 000014e0: AND 000014e1: SWAP1 000014e2: DUP4 000014e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f8: AND 000014f9: MUL 000014fa: OR 000014fb: SWAP1 000014fc: SSTORE 000014fd: POP 000014fe: POP 000014ff: JUMP 00001500: JUMPDEST 00001501: PUSH1 0x00 00001503: DUP3 00001504: DUP3 00001505: GT 00001506: ISZERO 00001507: ISZERO 00001508: ISZERO 00001509: PUSH2 0x1511 0000150c: JUMPI 0000150d: PUSH1 0x00 0000150f: DUP1 00001510: REVERT 00001511: JUMPDEST 00001512: DUP2 00001513: DUP4 00001514: SUB 00001515: SWAP1 00001516: POP 00001517: SWAP3 00001518: SWAP2 00001519: POP 0000151a: POP 0000151b: JUMP 0000151c: JUMPDEST 0000151d: PUSH1 0x00 0000151f: DUP2 00001520: DUP4 00001521: ADD 00001522: SWAP1 00001523: POP 00001524: DUP3 00001525: DUP2 00001526: LT 00001527: ISZERO 00001528: ISZERO 00001529: ISZERO 0000152a: PUSH2 0x1532 0000152d: JUMPI 0000152e: PUSH1 0x00 00001530: DUP1 00001531: REVERT 00001532: JUMPDEST 00001533: SWAP3 00001534: SWAP2 00001535: POP 00001536: POP 00001537: JUMP 00001538: JUMPDEST 00001539: PUSH1 0x00 0000153b: DUP2 0000153c: DUP4 0000153d: MUL 0000153e: SWAP1 0000153f: POP 00001540: PUSH1 0x00 00001542: DUP4 00001543: EQ 00001544: DUP1 00001545: PUSH2 0x1558 00001548: JUMPI 00001549: POP 0000154a: DUP2 0000154b: DUP4 0000154c: DUP3 0000154d: DUP2 0000154e: ISZERO 0000154f: ISZERO 00001550: PUSH2 0x1555 00001553: JUMPI 00001554: INVALID 00001555: JUMPDEST 00001556: DIV 00001557: EQ 00001558: JUMPDEST 00001559: ISZERO 0000155a: ISZERO 0000155b: PUSH2 0x1563 0000155e: JUMPI 0000155f: PUSH1 0x00 00001561: DUP1 00001562: REVERT 00001563: JUMPDEST 00001564: SWAP3 00001565: SWAP2 00001566: POP 00001567: POP 00001568: JUMP 00001569: JUMPDEST 0000156a: PUSH1 0x00 0000156c: DUP1 0000156d: DUP3 0000156e: GT 0000156f: ISZERO 00001570: ISZERO 00001571: PUSH2 0x1579 00001574: JUMPI 00001575: PUSH1 0x00 00001577: DUP1 00001578: REVERT 00001579: JUMPDEST 0000157a: DUP2 0000157b: DUP4 0000157c: DUP2 0000157d: ISZERO 0000157e: ISZERO 0000157f: PUSH2 0x1584 00001582: JUMPI 00001583: INVALID 00001584: JUMPDEST 00001585: DIV 00001586: SWAP1 00001587: POP 00001588: SWAP3 00001589: SWAP2 0000158a: POP 0000158b: POP 0000158c: JUMP 0000158d: STOP 0000158e: LOG1 0000158f: PUSH6 0x627a7a723058 00001596: KECCAK256 00001597: UNKNOWN(0x2A) 00001598: UNKNOWN(0xD5) 00001599: BALANCE 0000159a: DUP5 0000159b: UNKNOWN(0xDB) 0000159c: PUSH24 0x7a18e539ee045a6b2768b44d9bc80d96c661c3ee8f9d54d5 000015b5: RETURN 000015b6: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | yes | yes |
viewtrace_id: 0x9bfce377eff844d14cf5654b53d5da4756b03a8a8b0881f2eb7187170fce53b0
call_targets:
0x0000000000000000000000000000000000000001, 0xf0e3da53ea68e2bb71d5c52c9202c358f40898a0
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x9bfce377eff844d14cf5654b53d5da4756b03a8a8b0881f2eb7187170fce53b0",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0xf0e3da53ea68e2bb71d5c52c9202c358f40898a0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e38e573",
"selector": "0x0e38e573",
"calldata_variants": [
"0x0e38e573",
"0x0e38e5730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x386304e4",
"selector": "0x386304e4",
"calldata_variants": [
"0x386304e4",
"0x386304e40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4646,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5050,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2055,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2142,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3377,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3464,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5126,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5213,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | yes | yes |
viewtrace_id: 0x9bfce377eff844d14cf5654b53d5da4756b03a8a8b0881f2eb7187170fce53b0
call_targets:
0x0000000000000000000000000000000000000001, 0xf0e3da53ea68e2bb71d5c52c9202c358f40898a0
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x9bfce377eff844d14cf5654b53d5da4756b03a8a8b0881f2eb7187170fce53b0",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0xf0e3da53ea68e2bb71d5c52c9202c358f40898a0"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e38e573",
"selector": "0x0e38e573",
"calldata_variants": [
"0x0e38e573",
"0x0e38e5730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x386304e4",
"selector": "0x386304e4",
"calldata_variants": [
"0x386304e4",
"0x386304e40000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4646,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5050,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2055,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2142,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3377,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3464,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4857,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5126,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5213,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|