019ba929-0023-7203-9ca0-a3802cdde056
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 |
|---|---|---|---|---|
| 35235 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35236 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35237 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35238 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35239 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35240 | detector.run | complete | 1 / 3 | 3 months ago |
| 35241 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00b5 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7f46ddb2 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8f601f66 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8f601f66 0000002f: EQ 00000030: PUSH2 0x0264 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x927ede2d 0000003a: EQ 0000003b: PUSH2 0x02a7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe11013dd 00000045: EQ 00000046: PUSH2 0x02db 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x7f46ddb2 00000055: EQ 00000056: PUSH2 0x01eb 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x87087623 00000060: EQ 00000061: PUSH2 0x0244 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x1635f5fd 00000070: GT 00000071: PUSH2 0x009a 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x1635f5fd 0000007b: EQ 0000007c: PUSH2 0x018d 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x540abf73 00000086: EQ 00000087: PUSH2 0x01a0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x54fd4d50 00000091: EQ 00000092: PUSH2 0x01c0 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: DUP1 0000009c: PUSH4 0x0166a07a 000000a1: EQ 000000a2: PUSH2 0x015a 000000a5: JUMPI 000000a6: DUP1 000000a7: PUSH4 0x09fc8843 000000ac: EQ 000000ad: PUSH2 0x017a 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: CALLDATASIZE 000000b7: PUSH2 0x0155 000000ba: JUMPI 000000bb: CALLER 000000bc: EXTCODESIZE 000000bd: ISZERO 000000be: PUSH2 0x0134 000000c1: JUMPI 000000c2: PUSH1 0x40 000000c4: MLOAD 000000c5: PUSH3 0x461bcd 000000c9: PUSH1 0xe5 000000cb: SHL 000000cc: DUP2 000000cd: MSTORE 000000ce: PUSH1 0x20 000000d0: PUSH1 0x04 000000d2: DUP3 000000d3: ADD 000000d4: MSTORE 000000d5: PUSH1 0x37 000000d7: PUSH1 0x24 000000d9: DUP3 000000da: ADD 000000db: MSTORE 000000dc: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 000000fd: PUSH1 0x44 000000ff: DUP3 00000100: ADD 00000101: MSTORE 00000102: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000123: PUSH1 0x64 00000125: DUP3 00000126: ADD 00000127: MSTORE 00000128: PUSH1 0x84 0000012a: ADD 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: DUP1 00000130: SWAP2 00000131: SUB 00000132: SWAP1 00000133: REVERT 00000134: JUMPDEST 00000135: PUSH2 0x0153 00000138: CALLER 00000139: CALLER 0000013a: CALLVALUE 0000013b: PUSH3 0x030d40 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: DUP1 00000143: PUSH1 0x20 00000145: ADD 00000146: PUSH1 0x40 00000148: MSTORE 00000149: DUP1 0000014a: PUSH1 0x00 0000014c: DUP2 0000014d: MSTORE 0000014e: POP 0000014f: PUSH2 0x02ee 00000152: JUMP 00000153: JUMPDEST 00000154: STOP 00000155: JUMPDEST 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: CALLVALUE 0000015c: DUP1 0000015d: ISZERO 0000015e: PUSH2 0x0166 00000161: JUMPI 00000162: PUSH1 0x00 00000164: DUP1 00000165: REVERT 00000166: JUMPDEST 00000167: POP 00000168: PUSH2 0x0153 0000016b: PUSH2 0x0175 0000016e: CALLDATASIZE 0000016f: PUSH1 0x04 00000171: PUSH2 0x1b82 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH2 0x0513 00000179: JUMP 0000017a: JUMPDEST 0000017b: PUSH2 0x0153 0000017e: PUSH2 0x0188 00000181: CALLDATASIZE 00000182: PUSH1 0x04 00000184: PUSH2 0x1c33 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH2 0x090f 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH2 0x0153 00000191: PUSH2 0x019b 00000194: CALLDATASIZE 00000195: PUSH1 0x04 00000197: PUSH2 0x1c86 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH2 0x09cc 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x0153 000001b1: PUSH2 0x01bb 000001b4: CALLDATASIZE 000001b5: PUSH1 0x04 000001b7: PUSH2 0x1cf9 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0e46 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: DUP1 000001c3: ISZERO 000001c4: PUSH2 0x01cc 000001c7: JUMPI 000001c8: PUSH1 0x00 000001ca: DUP1 000001cb: REVERT 000001cc: JUMPDEST 000001cd: POP 000001ce: PUSH2 0x01d5 000001d1: PUSH2 0x0e94 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: PUSH2 0x01e2 000001dc: SWAP2 000001dd: SWAP1 000001de: PUSH2 0x1de6 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x40 000001e5: MLOAD 000001e6: DUP1 000001e7: SWAP2 000001e8: SUB 000001e9: SWAP1 000001ea: RETURN 000001eb: JUMPDEST 000001ec: CALLVALUE 000001ed: DUP1 000001ee: ISZERO 000001ef: PUSH2 0x01f7 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: POP 000001f9: PUSH2 0x021f 000001fc: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000009 0000021d: DUP2 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH1 0x40 00000222: MLOAD 00000223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000238: SWAP1 00000239: SWAP2 0000023a: AND 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x20 0000023f: ADD 00000240: PUSH2 0x01e2 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x0153 00000255: PUSH2 0x025f 00000258: CALLDATASIZE 00000259: PUSH1 0x04 0000025b: PUSH2 0x1df9 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH2 0x0f37 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x0299 00000275: PUSH2 0x027f 00000278: CALLDATASIZE 00000279: PUSH1 0x04 0000027b: PUSH2 0x1e7c 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH1 0x00 00000282: PUSH1 0x20 00000284: DUP2 00000285: DUP2 00000286: MSTORE 00000287: SWAP3 00000288: DUP2 00000289: MSTORE 0000028a: PUSH1 0x40 0000028c: DUP1 0000028d: DUP3 0000028e: KECCAK256 0000028f: SWAP1 00000290: SWAP4 00000291: MSTORE 00000292: SWAP1 00000293: DUP2 00000294: MSTORE 00000295: KECCAK256 00000296: SLOAD 00000297: DUP2 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: SWAP1 0000029e: DUP2 0000029f: MSTORE 000002a0: PUSH1 0x20 000002a2: ADD 000002a3: PUSH2 0x01e2 000002a6: JUMP 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: PUSH2 0x021f 000002b8: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 000002d9: DUP2 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH2 0x0153 000002df: PUSH2 0x02e9 000002e2: CALLDATASIZE 000002e3: PUSH1 0x04 000002e5: PUSH2 0x1eb5 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH2 0x0ff1 000002ed: JUMP 000002ee: JUMPDEST 000002ef: DUP3 000002f0: CALLVALUE 000002f1: EQ 000002f2: PUSH2 0x0363 000002f5: JUMPI 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: PUSH3 0x461bcd 000002fd: PUSH1 0xe5 000002ff: SHL 00000300: DUP2 00000301: MSTORE 00000302: PUSH1 0x20 00000304: PUSH1 0x04 00000306: DUP3 00000307: ADD 00000308: MSTORE 00000309: PUSH1 0x3e 0000030b: PUSH1 0x24 0000030d: DUP3 0000030e: ADD 0000030f: MSTORE 00000310: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573 00000331: PUSH1 0x44 00000333: DUP3 00000334: ADD 00000335: MSTORE 00000336: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000 00000357: PUSH1 0x64 00000359: DUP3 0000035a: ADD 0000035b: MSTORE 0000035c: PUSH1 0x84 0000035e: ADD 0000035f: PUSH2 0x012b 00000362: JUMP 00000363: JUMPDEST 00000364: DUP4 00000365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037a: AND 0000037b: DUP6 0000037c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000391: AND 00000392: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5 000003b3: DUP6 000003b4: DUP5 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: PUSH2 0x03c2 000003bb: SWAP3 000003bc: SWAP2 000003bd: SWAP1 000003be: PUSH2 0x1f18 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: SWAP2 000003c8: SUB 000003c9: SWAP1 000003ca: LOG3 000003cb: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 000003ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000401: AND 00000402: PUSH4 0x3dbb202b 00000407: DUP5 00000408: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000009 00000429: PUSH4 0x1635f5fd 0000042e: PUSH1 0xe0 00000430: SHL 00000431: DUP10 00000432: DUP10 00000433: DUP10 00000434: DUP9 00000435: PUSH1 0x40 00000437: MLOAD 00000438: PUSH1 0x24 0000043a: ADD 0000043b: PUSH2 0x0447 0000043e: SWAP5 0000043f: SWAP4 00000440: SWAP3 00000441: SWAP2 00000442: SWAP1 00000443: PUSH2 0x1f31 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x40 0000044a: DUP1 0000044b: MLOAD 0000044c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000046d: DUP2 0000046e: DUP5 0000046f: SUB 00000470: ADD 00000471: DUP2 00000472: MSTORE 00000473: SWAP2 00000474: DUP2 00000475: MSTORE 00000476: PUSH1 0x20 00000478: DUP3 00000479: ADD 0000047a: DUP1 0000047b: MLOAD 0000047c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000499: AND 0000049a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000004bb: SWAP5 000004bc: DUP6 000004bd: AND 000004be: OR 000004bf: SWAP1 000004c0: MSTORE 000004c1: MLOAD 000004c2: PUSH1 0xe0 000004c4: DUP7 000004c5: SWAP1 000004c6: SHL 000004c7: SWAP1 000004c8: SWAP3 000004c9: AND 000004ca: DUP3 000004cb: MSTORE 000004cc: PUSH2 0x04da 000004cf: SWAP3 000004d0: SWAP2 000004d1: DUP9 000004d2: SWAP1 000004d3: PUSH1 0x04 000004d5: ADD 000004d6: PUSH2 0x1f7a 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH1 0x00 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: DUP1 000004e1: DUP4 000004e2: SUB 000004e3: DUP2 000004e4: DUP6 000004e5: DUP9 000004e6: DUP1 000004e7: EXTCODESIZE 000004e8: ISZERO 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: GAS 000004f6: CALL 000004f7: ISZERO 000004f8: DUP1 000004f9: ISZERO 000004fa: PUSH2 0x0507 000004fd: JUMPI 000004fe: RETURNDATASIZE 000004ff: PUSH1 0x00 00000501: DUP1 00000502: RETURNDATACOPY 00000503: RETURNDATASIZE 00000504: PUSH1 0x00 00000506: REVERT 00000507: JUMPDEST 00000508: POP 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: POP 0000050f: POP 00000510: POP 00000511: POP 00000512: JUMP 00000513: JUMPDEST 00000514: CALLER 00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052a: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 0000054b: AND 0000054c: EQ 0000054d: DUP1 0000054e: ISZERO 0000054f: PUSH2 0x0631 00000552: JUMPI 00000553: POP 00000554: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000009 00000575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058a: AND 0000058b: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 000005ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c1: AND 000005c2: PUSH4 0x6e296e45 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: DUP2 000005cb: PUSH4 0xffffffff 000005d0: AND 000005d1: PUSH1 0xe0 000005d3: SHL 000005d4: DUP2 000005d5: MSTORE 000005d6: PUSH1 0x04 000005d8: ADD 000005d9: PUSH1 0x20 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: DUP1 000005df: DUP4 000005e0: SUB 000005e1: DUP2 000005e2: DUP7 000005e3: GAS 000005e4: STATICCALL 000005e5: ISZERO 000005e6: DUP1 000005e7: ISZERO 000005e8: PUSH2 0x05f5 000005eb: JUMPI 000005ec: RETURNDATASIZE 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: RETURNDATACOPY 000005f1: RETURNDATASIZE 000005f2: PUSH1 0x00 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: POP 000005f8: POP 000005f9: POP 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: RETURNDATASIZE 000005fe: PUSH1 0x1f 00000600: NOT 00000601: PUSH1 0x1f 00000603: DUP3 00000604: ADD 00000605: AND 00000606: DUP3 00000607: ADD 00000608: DUP1 00000609: PUSH1 0x40 0000060b: MSTORE 0000060c: POP 0000060d: DUP2 0000060e: ADD 0000060f: SWAP1 00000610: PUSH2 0x0619 00000613: SWAP2 00000614: SWAP1 00000615: PUSH2 0x1fbf 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062f: AND 00000630: EQ 00000631: JUMPDEST 00000632: PUSH2 0x06c9 00000635: JUMPI 00000636: PUSH1 0x40 00000638: MLOAD 00000639: PUSH3 0x461bcd 0000063d: PUSH1 0xe5 0000063f: SHL 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x20 00000644: PUSH1 0x04 00000646: DUP3 00000647: ADD 00000648: MSTORE 00000649: PUSH1 0x41 0000064b: PUSH1 0x24 0000064d: DUP3 0000064e: ADD 0000064f: MSTORE 00000650: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000671: PUSH1 0x44 00000673: DUP3 00000674: ADD 00000675: MSTORE 00000676: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 00000697: PUSH1 0x64 00000699: DUP3 0000069a: ADD 0000069b: MSTORE 0000069c: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 000006bd: PUSH1 0x84 000006bf: DUP3 000006c0: ADD 000006c1: MSTORE 000006c2: PUSH1 0xa4 000006c4: ADD 000006c5: PUSH2 0x012b 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH2 0x06d2 000006cd: DUP8 000006ce: PUSH2 0x103a 000006d1: JUMP 000006d2: JUMPDEST 000006d3: ISZERO 000006d4: PUSH2 0x0806 000006d7: JUMPI 000006d8: PUSH2 0x06e1 000006db: DUP8 000006dc: DUP8 000006dd: PUSH2 0x106c 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH2 0x0779 000006e5: JUMPI 000006e6: PUSH1 0x40 000006e8: MLOAD 000006e9: PUSH3 0x461bcd 000006ed: PUSH1 0xe5 000006ef: SHL 000006f0: DUP2 000006f1: MSTORE 000006f2: PUSH1 0x20 000006f4: PUSH1 0x04 000006f6: DUP3 000006f7: ADD 000006f8: MSTORE 000006f9: PUSH1 0x47 000006fb: PUSH1 0x24 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 00000721: PUSH1 0x44 00000723: DUP3 00000724: ADD 00000725: MSTORE 00000726: PUSH32 0x656e20666f72204b726f6d61204d696e7461626c65204552433230206c6f6361 00000747: PUSH1 0x64 00000749: DUP3 0000074a: ADD 0000074b: MSTORE 0000074c: PUSH32 0x6c20746f6b656e00000000000000000000000000000000000000000000000000 0000076d: PUSH1 0x84 0000076f: DUP3 00000770: ADD 00000771: MSTORE 00000772: PUSH1 0xa4 00000774: ADD 00000775: PUSH2 0x012b 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 0000079e: DUP2 0000079f: MSTORE 000007a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b5: DUP6 000007b6: DUP2 000007b7: AND 000007b8: PUSH1 0x04 000007ba: DUP4 000007bb: ADD 000007bc: MSTORE 000007bd: PUSH1 0x24 000007bf: DUP3 000007c0: ADD 000007c1: DUP6 000007c2: SWAP1 000007c3: MSTORE 000007c4: DUP9 000007c5: AND 000007c6: SWAP1 000007c7: PUSH4 0x40c10f19 000007cc: SWAP1 000007cd: PUSH1 0x44 000007cf: ADD 000007d0: PUSH1 0x00 000007d2: PUSH1 0x40 000007d4: MLOAD 000007d5: DUP1 000007d6: DUP4 000007d7: SUB 000007d8: DUP2 000007d9: PUSH1 0x00 000007db: DUP8 000007dc: DUP1 000007dd: EXTCODESIZE 000007de: ISZERO 000007df: DUP1 000007e0: ISZERO 000007e1: PUSH2 0x07e9 000007e4: JUMPI 000007e5: PUSH1 0x00 000007e7: DUP1 000007e8: REVERT 000007e9: JUMPDEST 000007ea: POP 000007eb: GAS 000007ec: CALL 000007ed: ISZERO 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x07fd 000007f3: JUMPI 000007f4: RETURNDATASIZE 000007f5: PUSH1 0x00 000007f7: DUP1 000007f8: RETURNDATACOPY 000007f9: RETURNDATASIZE 000007fa: PUSH1 0x00 000007fc: REVERT 000007fd: JUMPDEST 000007fe: POP 000007ff: POP 00000800: POP 00000801: POP 00000802: PUSH2 0x0884 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081c: DUP1 0000081d: DUP9 0000081e: AND 0000081f: PUSH1 0x00 00000821: SWAP1 00000822: DUP2 00000823: MSTORE 00000824: PUSH1 0x20 00000826: DUP2 00000827: DUP2 00000828: MSTORE 00000829: PUSH1 0x40 0000082b: DUP1 0000082c: DUP4 0000082d: KECCAK256 0000082e: SWAP4 0000082f: DUP11 00000830: AND 00000831: DUP4 00000832: MSTORE 00000833: SWAP3 00000834: SWAP1 00000835: MSTORE 00000836: KECCAK256 00000837: SLOAD 00000838: PUSH2 0x0842 0000083b: SWAP1 0000083c: DUP5 0000083d: SWAP1 0000083e: PUSH2 0x200b 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000858: DUP1 00000859: DUP10 0000085a: AND 0000085b: PUSH1 0x00 0000085d: DUP2 0000085e: DUP2 0000085f: MSTORE 00000860: PUSH1 0x20 00000862: DUP2 00000863: DUP2 00000864: MSTORE 00000865: PUSH1 0x40 00000867: DUP1 00000868: DUP4 00000869: KECCAK256 0000086a: SWAP5 0000086b: DUP13 0000086c: AND 0000086d: DUP4 0000086e: MSTORE 0000086f: SWAP4 00000870: SWAP1 00000871: MSTORE 00000872: SWAP2 00000873: SWAP1 00000874: SWAP2 00000875: KECCAK256 00000876: SWAP2 00000877: SWAP1 00000878: SWAP2 00000879: SSTORE 0000087a: PUSH2 0x0884 0000087d: SWAP1 0000087e: DUP6 0000087f: DUP6 00000880: PUSH2 0x1113 00000883: JUMP 00000884: JUMPDEST 00000885: DUP5 00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089b: AND 0000089c: DUP7 0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b2: AND 000008b3: DUP9 000008b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c9: AND 000008ca: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd 000008eb: DUP8 000008ec: DUP8 000008ed: DUP8 000008ee: DUP8 000008ef: PUSH1 0x40 000008f1: MLOAD 000008f2: PUSH2 0x08fe 000008f5: SWAP5 000008f6: SWAP4 000008f7: SWAP3 000008f8: SWAP2 000008f9: SWAP1 000008fa: PUSH2 0x206b 000008fd: JUMP 000008fe: JUMPDEST 000008ff: PUSH1 0x40 00000901: MLOAD 00000902: DUP1 00000903: SWAP2 00000904: SUB 00000905: SWAP1 00000906: LOG4 00000907: POP 00000908: POP 00000909: POP 0000090a: POP 0000090b: POP 0000090c: POP 0000090d: POP 0000090e: JUMP 0000090f: JUMPDEST 00000910: CALLER 00000911: EXTCODESIZE 00000912: ISZERO 00000913: PUSH2 0x0984 00000916: JUMPI 00000917: PUSH1 0x40 00000919: MLOAD 0000091a: PUSH3 0x461bcd 0000091e: PUSH1 0xe5 00000920: SHL 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x20 00000925: PUSH1 0x04 00000927: DUP3 00000928: ADD 00000929: MSTORE 0000092a: PUSH1 0x37 0000092c: PUSH1 0x24 0000092e: DUP3 0000092f: ADD 00000930: MSTORE 00000931: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000952: PUSH1 0x44 00000954: DUP3 00000955: ADD 00000956: MSTORE 00000957: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000978: PUSH1 0x64 0000097a: DUP3 0000097b: ADD 0000097c: MSTORE 0000097d: PUSH1 0x84 0000097f: ADD 00000980: PUSH2 0x012b 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH2 0x09c7 00000988: CALLER 00000989: CALLER 0000098a: CALLVALUE 0000098b: DUP7 0000098c: DUP7 0000098d: DUP7 0000098e: DUP1 0000098f: DUP1 00000990: PUSH1 0x1f 00000992: ADD 00000993: PUSH1 0x20 00000995: DUP1 00000996: SWAP2 00000997: DIV 00000998: MUL 00000999: PUSH1 0x20 0000099b: ADD 0000099c: PUSH1 0x40 0000099e: MLOAD 0000099f: SWAP1 000009a0: DUP2 000009a1: ADD 000009a2: PUSH1 0x40 000009a4: MSTORE 000009a5: DUP1 000009a6: SWAP4 000009a7: SWAP3 000009a8: SWAP2 000009a9: SWAP1 000009aa: DUP2 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: ADD 000009b0: DUP4 000009b1: DUP4 000009b2: DUP1 000009b3: DUP3 000009b4: DUP5 000009b5: CALLDATACOPY 000009b6: PUSH1 0x00 000009b8: SWAP3 000009b9: ADD 000009ba: SWAP2 000009bb: SWAP1 000009bc: SWAP2 000009bd: MSTORE 000009be: POP 000009bf: PUSH2 0x02ee 000009c2: SWAP3 000009c3: POP 000009c4: POP 000009c5: POP 000009c6: JUMP 000009c7: JUMPDEST 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: CALLER 000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e3: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 00000a04: AND 00000a05: EQ 00000a06: DUP1 00000a07: ISZERO 00000a08: PUSH2 0x0aea 00000a0b: JUMPI 00000a0c: POP 00000a0d: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000009 00000a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a43: AND 00000a44: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 00000a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7a: AND 00000a7b: PUSH4 0x6e296e45 00000a80: PUSH1 0x40 00000a82: MLOAD 00000a83: DUP2 00000a84: PUSH4 0xffffffff 00000a89: AND 00000a8a: PUSH1 0xe0 00000a8c: SHL 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x04 00000a91: ADD 00000a92: PUSH1 0x20 00000a94: PUSH1 0x40 00000a96: MLOAD 00000a97: DUP1 00000a98: DUP4 00000a99: SUB 00000a9a: DUP2 00000a9b: DUP7 00000a9c: GAS 00000a9d: STATICCALL 00000a9e: ISZERO 00000a9f: DUP1 00000aa0: ISZERO 00000aa1: PUSH2 0x0aae 00000aa4: JUMPI 00000aa5: RETURNDATASIZE 00000aa6: PUSH1 0x00 00000aa8: DUP1 00000aa9: RETURNDATACOPY 00000aaa: RETURNDATASIZE 00000aab: PUSH1 0x00 00000aad: REVERT 00000aae: JUMPDEST 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: PUSH1 0x40 00000ab5: MLOAD 00000ab6: RETURNDATASIZE 00000ab7: PUSH1 0x1f 00000ab9: NOT 00000aba: PUSH1 0x1f 00000abc: DUP3 00000abd: ADD 00000abe: AND 00000abf: DUP3 00000ac0: ADD 00000ac1: DUP1 00000ac2: PUSH1 0x40 00000ac4: MSTORE 00000ac5: POP 00000ac6: DUP2 00000ac7: ADD 00000ac8: SWAP1 00000ac9: PUSH2 0x0ad2 00000acc: SWAP2 00000acd: SWAP1 00000ace: PUSH2 0x1fbf 00000ad1: JUMP 00000ad2: JUMPDEST 00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae8: AND 00000ae9: EQ 00000aea: JUMPDEST 00000aeb: PUSH2 0x0b82 00000aee: JUMPI 00000aef: PUSH1 0x40 00000af1: MLOAD 00000af2: PUSH3 0x461bcd 00000af6: PUSH1 0xe5 00000af8: SHL 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: PUSH1 0x04 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: PUSH1 0x41 00000b04: PUSH1 0x24 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000b2a: PUSH1 0x44 00000b2c: DUP3 00000b2d: ADD 00000b2e: MSTORE 00000b2f: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467 00000b50: PUSH1 0x64 00000b52: DUP3 00000b53: ADD 00000b54: MSTORE 00000b55: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00000b76: PUSH1 0x84 00000b78: DUP3 00000b79: ADD 00000b7a: MSTORE 00000b7b: PUSH1 0xa4 00000b7d: ADD 00000b7e: PUSH2 0x012b 00000b81: JUMP 00000b82: JUMPDEST 00000b83: DUP3 00000b84: CALLVALUE 00000b85: EQ 00000b86: PUSH2 0x0bf7 00000b89: JUMPI 00000b8a: PUSH1 0x40 00000b8c: MLOAD 00000b8d: PUSH3 0x461bcd 00000b91: PUSH1 0xe5 00000b93: SHL 00000b94: DUP2 00000b95: MSTORE 00000b96: PUSH1 0x20 00000b98: PUSH1 0x04 00000b9a: DUP3 00000b9b: ADD 00000b9c: MSTORE 00000b9d: PUSH1 0x3a 00000b9f: PUSH1 0x24 00000ba1: DUP3 00000ba2: ADD 00000ba3: MSTORE 00000ba4: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573 00000bc5: PUSH1 0x44 00000bc7: DUP3 00000bc8: ADD 00000bc9: MSTORE 00000bca: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000 00000beb: PUSH1 0x64 00000bed: DUP3 00000bee: ADD 00000bef: MSTORE 00000bf0: PUSH1 0x84 00000bf2: ADD 00000bf3: PUSH2 0x012b 00000bf6: JUMP 00000bf7: JUMPDEST 00000bf8: ADDRESS 00000bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0e: DUP6 00000c0f: AND 00000c10: SUB 00000c11: PUSH2 0x0c82 00000c14: JUMPI 00000c15: PUSH1 0x40 00000c17: MLOAD 00000c18: PUSH3 0x461bcd 00000c1c: PUSH1 0xe5 00000c1e: SHL 00000c1f: DUP2 00000c20: MSTORE 00000c21: PUSH1 0x20 00000c23: PUSH1 0x04 00000c25: DUP3 00000c26: ADD 00000c27: MSTORE 00000c28: PUSH1 0x23 00000c2a: PUSH1 0x24 00000c2c: DUP3 00000c2d: ADD 00000c2e: MSTORE 00000c2f: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073 00000c50: PUSH1 0x44 00000c52: DUP3 00000c53: ADD 00000c54: MSTORE 00000c55: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000 00000c76: PUSH1 0x64 00000c78: DUP3 00000c79: ADD 00000c7a: MSTORE 00000c7b: PUSH1 0x84 00000c7d: ADD 00000c7e: PUSH2 0x012b 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 00000ca4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb9: AND 00000cba: DUP5 00000cbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd0: AND 00000cd1: SUB 00000cd2: PUSH2 0x0d43 00000cd5: JUMPI 00000cd6: PUSH1 0x40 00000cd8: MLOAD 00000cd9: PUSH3 0x461bcd 00000cdd: PUSH1 0xe5 00000cdf: SHL 00000ce0: DUP2 00000ce1: MSTORE 00000ce2: PUSH1 0x20 00000ce4: PUSH1 0x04 00000ce6: DUP3 00000ce7: ADD 00000ce8: MSTORE 00000ce9: PUSH1 0x28 00000ceb: PUSH1 0x24 00000ced: DUP3 00000cee: ADD 00000cef: MSTORE 00000cf0: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d 00000d11: PUSH1 0x44 00000d13: DUP3 00000d14: ADD 00000d15: MSTORE 00000d16: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000 00000d37: PUSH1 0x64 00000d39: DUP3 00000d3a: ADD 00000d3b: MSTORE 00000d3c: PUSH1 0x84 00000d3e: ADD 00000d3f: PUSH2 0x012b 00000d42: JUMP 00000d43: JUMPDEST 00000d44: DUP4 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: AND 00000d5b: DUP6 00000d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d71: AND 00000d72: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d 00000d93: DUP6 00000d94: DUP6 00000d95: DUP6 00000d96: PUSH1 0x40 00000d98: MLOAD 00000d99: PUSH2 0x0da4 00000d9c: SWAP4 00000d9d: SWAP3 00000d9e: SWAP2 00000d9f: SWAP1 00000da0: PUSH2 0x20a1 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x40 00000da7: MLOAD 00000da8: DUP1 00000da9: SWAP2 00000daa: SUB 00000dab: SWAP1 00000dac: LOG3 00000dad: PUSH1 0x00 00000daf: PUSH2 0x0dc9 00000db2: DUP6 00000db3: GAS 00000db4: DUP7 00000db5: PUSH1 0x40 00000db7: MLOAD 00000db8: DUP1 00000db9: PUSH1 0x20 00000dbb: ADD 00000dbc: PUSH1 0x40 00000dbe: MSTORE 00000dbf: DUP1 00000dc0: PUSH1 0x00 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: POP 00000dc5: PUSH2 0x11e7 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: SWAP1 00000dcb: POP 00000dcc: DUP1 00000dcd: PUSH2 0x0e3e 00000dd0: JUMPI 00000dd1: PUSH1 0x40 00000dd3: MLOAD 00000dd4: PUSH3 0x461bcd 00000dd8: PUSH1 0xe5 00000dda: SHL 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x20 00000ddf: PUSH1 0x04 00000de1: DUP3 00000de2: ADD 00000de3: MSTORE 00000de4: PUSH1 0x23 00000de6: PUSH1 0x24 00000de8: DUP3 00000de9: ADD 00000dea: MSTORE 00000deb: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169 00000e0c: PUSH1 0x44 00000e0e: DUP3 00000e0f: ADD 00000e10: MSTORE 00000e11: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000 00000e32: PUSH1 0x64 00000e34: DUP3 00000e35: ADD 00000e36: MSTORE 00000e37: PUSH1 0x84 00000e39: ADD 00000e3a: PUSH2 0x012b 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: POP 00000e44: POP 00000e45: JUMP 00000e46: JUMPDEST 00000e47: PUSH2 0x0e8b 00000e4a: DUP8 00000e4b: DUP8 00000e4c: CALLER 00000e4d: DUP9 00000e4e: DUP9 00000e4f: DUP9 00000e50: DUP9 00000e51: DUP9 00000e52: DUP1 00000e53: DUP1 00000e54: PUSH1 0x1f 00000e56: ADD 00000e57: PUSH1 0x20 00000e59: DUP1 00000e5a: SWAP2 00000e5b: DIV 00000e5c: MUL 00000e5d: PUSH1 0x20 00000e5f: ADD 00000e60: PUSH1 0x40 00000e62: MLOAD 00000e63: SWAP1 00000e64: DUP2 00000e65: ADD 00000e66: PUSH1 0x40 00000e68: MSTORE 00000e69: DUP1 00000e6a: SWAP4 00000e6b: SWAP3 00000e6c: SWAP2 00000e6d: SWAP1 00000e6e: DUP2 00000e6f: DUP2 00000e70: MSTORE 00000e71: PUSH1 0x20 00000e73: ADD 00000e74: DUP4 00000e75: DUP4 00000e76: DUP1 00000e77: DUP3 00000e78: DUP5 00000e79: CALLDATACOPY 00000e7a: PUSH1 0x00 00000e7c: SWAP3 00000e7d: ADD 00000e7e: SWAP2 00000e7f: SWAP1 00000e80: SWAP2 00000e81: MSTORE 00000e82: POP 00000e83: PUSH2 0x1203 00000e86: SWAP3 00000e87: POP 00000e88: POP 00000e89: POP 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: POP 00000e8d: POP 00000e8e: POP 00000e8f: POP 00000e90: POP 00000e91: POP 00000e92: POP 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH1 0x60 00000e97: PUSH2 0x0ebf 00000e9a: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000ebb: PUSH2 0x159e 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: PUSH2 0x0ee8 00000ec3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 00000ee4: PUSH2 0x159e 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH2 0x0f11 00000eec: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 00000f0d: PUSH2 0x159e 00000f10: JUMP 00000f11: JUMPDEST 00000f12: PUSH1 0x40 00000f14: MLOAD 00000f15: PUSH1 0x20 00000f17: ADD 00000f18: PUSH2 0x0f23 00000f1b: SWAP4 00000f1c: SWAP3 00000f1d: SWAP2 00000f1e: SWAP1 00000f1f: PUSH2 0x20c4 00000f22: JUMP 00000f23: JUMPDEST 00000f24: PUSH1 0x40 00000f26: MLOAD 00000f27: PUSH1 0x20 00000f29: DUP2 00000f2a: DUP4 00000f2b: SUB 00000f2c: SUB 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: SWAP1 00000f30: PUSH1 0x40 00000f32: MSTORE 00000f33: SWAP1 00000f34: POP 00000f35: SWAP1 00000f36: JUMP 00000f37: JUMPDEST 00000f38: CALLER 00000f39: EXTCODESIZE 00000f3a: ISZERO 00000f3b: PUSH2 0x0fac 00000f3e: JUMPI 00000f3f: PUSH1 0x40 00000f41: MLOAD 00000f42: PUSH3 0x461bcd 00000f46: PUSH1 0xe5 00000f48: SHL 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: PUSH1 0x04 00000f4f: DUP3 00000f50: ADD 00000f51: MSTORE 00000f52: PUSH1 0x37 00000f54: PUSH1 0x24 00000f56: DUP3 00000f57: ADD 00000f58: MSTORE 00000f59: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c 00000f7a: PUSH1 0x44 00000f7c: DUP3 00000f7d: ADD 00000f7e: MSTORE 00000f7f: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000 00000fa0: PUSH1 0x64 00000fa2: DUP3 00000fa3: ADD 00000fa4: MSTORE 00000fa5: PUSH1 0x84 00000fa7: ADD 00000fa8: PUSH2 0x012b 00000fab: JUMP 00000fac: JUMPDEST 00000fad: PUSH2 0x0e3e 00000fb0: DUP7 00000fb1: DUP7 00000fb2: CALLER 00000fb3: CALLER 00000fb4: DUP9 00000fb5: DUP9 00000fb6: DUP9 00000fb7: DUP9 00000fb8: DUP1 00000fb9: DUP1 00000fba: PUSH1 0x1f 00000fbc: ADD 00000fbd: PUSH1 0x20 00000fbf: DUP1 00000fc0: SWAP2 00000fc1: DIV 00000fc2: MUL 00000fc3: PUSH1 0x20 00000fc5: ADD 00000fc6: PUSH1 0x40 00000fc8: MLOAD 00000fc9: SWAP1 00000fca: DUP2 00000fcb: ADD 00000fcc: PUSH1 0x40 00000fce: MSTORE 00000fcf: DUP1 00000fd0: SWAP4 00000fd1: SWAP3 00000fd2: SWAP2 00000fd3: SWAP1 00000fd4: DUP2 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x20 00000fd9: ADD 00000fda: DUP4 00000fdb: DUP4 00000fdc: DUP1 00000fdd: DUP3 00000fde: DUP5 00000fdf: CALLDATACOPY 00000fe0: PUSH1 0x00 00000fe2: SWAP3 00000fe3: ADD 00000fe4: SWAP2 00000fe5: SWAP1 00000fe6: SWAP2 00000fe7: MSTORE 00000fe8: POP 00000fe9: PUSH2 0x1203 00000fec: SWAP3 00000fed: POP 00000fee: POP 00000fef: POP 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH2 0x1034 00000ff5: CALLER 00000ff6: DUP6 00000ff7: CALLVALUE 00000ff8: DUP7 00000ff9: DUP7 00000ffa: DUP7 00000ffb: DUP1 00000ffc: DUP1 00000ffd: PUSH1 0x1f 00000fff: ADD 00001000: PUSH1 0x20 00001002: DUP1 00001003: SWAP2 00001004: DIV 00001005: MUL 00001006: PUSH1 0x20 00001008: ADD 00001009: PUSH1 0x40 0000100b: MLOAD 0000100c: SWAP1 0000100d: DUP2 0000100e: ADD 0000100f: PUSH1 0x40 00001011: MSTORE 00001012: DUP1 00001013: SWAP4 00001014: SWAP3 00001015: SWAP2 00001016: SWAP1 00001017: DUP2 00001018: DUP2 00001019: MSTORE 0000101a: PUSH1 0x20 0000101c: ADD 0000101d: DUP4 0000101e: DUP4 0000101f: DUP1 00001020: DUP3 00001021: DUP5 00001022: CALLDATACOPY 00001023: PUSH1 0x00 00001025: SWAP3 00001026: ADD 00001027: SWAP2 00001028: SWAP1 00001029: SWAP2 0000102a: MSTORE 0000102b: POP 0000102c: PUSH2 0x02ee 0000102f: SWAP3 00001030: POP 00001031: POP 00001032: POP 00001033: JUMP 00001034: JUMPDEST 00001035: POP 00001036: POP 00001037: POP 00001038: POP 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x00 0000103d: PUSH2 0x1066 00001040: DUP3 00001041: PUSH32 0x30a0c5a900000000000000000000000000000000000000000000000000000000 00001062: PUSH2 0x165c 00001065: JUMP 00001066: JUMPDEST 00001067: SWAP3 00001068: SWAP2 00001069: POP 0000106a: POP 0000106b: JUMP 0000106c: JUMPDEST 0000106d: PUSH1 0x00 0000106f: DUP3 00001070: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001085: AND 00001086: PUSH4 0x033964be 0000108b: PUSH1 0x40 0000108d: MLOAD 0000108e: DUP2 0000108f: PUSH4 0xffffffff 00001094: AND 00001095: PUSH1 0xe0 00001097: SHL 00001098: DUP2 00001099: MSTORE 0000109a: PUSH1 0x04 0000109c: ADD 0000109d: PUSH1 0x20 0000109f: PUSH1 0x40 000010a1: MLOAD 000010a2: DUP1 000010a3: DUP4 000010a4: SUB 000010a5: DUP2 000010a6: DUP7 000010a7: GAS 000010a8: STATICCALL 000010a9: ISZERO 000010aa: DUP1 000010ab: ISZERO 000010ac: PUSH2 0x10b9 000010af: JUMPI 000010b0: RETURNDATASIZE 000010b1: PUSH1 0x00 000010b3: DUP1 000010b4: RETURNDATACOPY 000010b5: RETURNDATASIZE 000010b6: PUSH1 0x00 000010b8: REVERT 000010b9: JUMPDEST 000010ba: POP 000010bb: POP 000010bc: POP 000010bd: POP 000010be: PUSH1 0x40 000010c0: MLOAD 000010c1: RETURNDATASIZE 000010c2: PUSH1 0x1f 000010c4: NOT 000010c5: PUSH1 0x1f 000010c7: DUP3 000010c8: ADD 000010c9: AND 000010ca: DUP3 000010cb: ADD 000010cc: DUP1 000010cd: PUSH1 0x40 000010cf: MSTORE 000010d0: POP 000010d1: DUP2 000010d2: ADD 000010d3: SWAP1 000010d4: PUSH2 0x10dd 000010d7: SWAP2 000010d8: SWAP1 000010d9: PUSH2 0x1fbf 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f3: AND 000010f4: DUP3 000010f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110a: AND 0000110b: EQ 0000110c: SWAP1 0000110d: POP 0000110e: SWAP3 0000110f: SWAP2 00001110: POP 00001111: POP 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x40 00001116: MLOAD 00001117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112c: DUP4 0000112d: AND 0000112e: PUSH1 0x24 00001130: DUP3 00001131: ADD 00001132: MSTORE 00001133: PUSH1 0x44 00001135: DUP2 00001136: ADD 00001137: DUP3 00001138: SWAP1 00001139: MSTORE 0000113a: PUSH2 0x09c7 0000113d: SWAP1 0000113e: DUP5 0000113f: SWAP1 00001140: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001161: SWAP1 00001162: PUSH1 0x64 00001164: ADD 00001165: JUMPDEST 00001166: PUSH1 0x40 00001168: DUP1 00001169: MLOAD 0000116a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000118b: DUP2 0000118c: DUP5 0000118d: SUB 0000118e: ADD 0000118f: DUP2 00001190: MSTORE 00001191: SWAP2 00001192: SWAP1 00001193: MSTORE 00001194: PUSH1 0x20 00001196: DUP2 00001197: ADD 00001198: DUP1 00001199: MLOAD 0000119a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011b7: AND 000011b8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000011d9: SWAP1 000011da: SWAP4 000011db: AND 000011dc: SWAP3 000011dd: SWAP1 000011de: SWAP3 000011df: OR 000011e0: SWAP1 000011e1: SWAP2 000011e2: MSTORE 000011e3: PUSH2 0x167f 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x00 000011ea: DUP1 000011eb: PUSH1 0x00 000011ed: DUP1 000011ee: DUP5 000011ef: MLOAD 000011f0: PUSH1 0x20 000011f2: DUP7 000011f3: ADD 000011f4: DUP8 000011f5: DUP11 000011f6: DUP11 000011f7: CALL 000011f8: SWAP2 000011f9: POP 000011fa: POP 000011fb: JUMPDEST 000011fc: SWAP5 000011fd: SWAP4 000011fe: POP 000011ff: POP 00001200: POP 00001201: POP 00001202: JUMP 00001203: JUMPDEST 00001204: PUSH2 0x120c 00001207: DUP8 00001208: PUSH2 0x103a 0000120b: JUMP 0000120c: JUMPDEST 0000120d: ISZERO 0000120e: PUSH2 0x1340 00001211: JUMPI 00001212: PUSH2 0x121b 00001215: DUP8 00001216: DUP8 00001217: PUSH2 0x106c 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH2 0x12b3 0000121f: JUMPI 00001220: PUSH1 0x40 00001222: MLOAD 00001223: PUSH3 0x461bcd 00001227: PUSH1 0xe5 00001229: SHL 0000122a: DUP2 0000122b: MSTORE 0000122c: PUSH1 0x20 0000122e: PUSH1 0x04 00001230: DUP3 00001231: ADD 00001232: MSTORE 00001233: PUSH1 0x47 00001235: PUSH1 0x24 00001237: DUP3 00001238: ADD 00001239: MSTORE 0000123a: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b 0000125b: PUSH1 0x44 0000125d: DUP3 0000125e: ADD 0000125f: MSTORE 00001260: PUSH32 0x656e20666f72204b726f6d61204d696e7461626c65204552433230206c6f6361 00001281: PUSH1 0x64 00001283: DUP3 00001284: ADD 00001285: MSTORE 00001286: PUSH32 0x6c20746f6b656e00000000000000000000000000000000000000000000000000 000012a7: PUSH1 0x84 000012a9: DUP3 000012aa: ADD 000012ab: MSTORE 000012ac: PUSH1 0xa4 000012ae: ADD 000012af: PUSH2 0x012b 000012b2: JUMP 000012b3: JUMPDEST 000012b4: PUSH1 0x40 000012b6: MLOAD 000012b7: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000 000012d8: DUP2 000012d9: MSTORE 000012da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ef: DUP7 000012f0: DUP2 000012f1: AND 000012f2: PUSH1 0x04 000012f4: DUP4 000012f5: ADD 000012f6: MSTORE 000012f7: PUSH1 0x24 000012f9: DUP3 000012fa: ADD 000012fb: DUP6 000012fc: SWAP1 000012fd: MSTORE 000012fe: DUP9 000012ff: AND 00001300: SWAP1 00001301: PUSH4 0x9dc29fac 00001306: SWAP1 00001307: PUSH1 0x44 00001309: ADD 0000130a: PUSH1 0x00 0000130c: PUSH1 0x40 0000130e: MLOAD 0000130f: DUP1 00001310: DUP4 00001311: SUB 00001312: DUP2 00001313: PUSH1 0x00 00001315: DUP8 00001316: DUP1 00001317: EXTCODESIZE 00001318: ISZERO 00001319: DUP1 0000131a: ISZERO 0000131b: PUSH2 0x1323 0000131e: JUMPI 0000131f: PUSH1 0x00 00001321: DUP1 00001322: REVERT 00001323: JUMPDEST 00001324: POP 00001325: GAS 00001326: CALL 00001327: ISZERO 00001328: DUP1 00001329: ISZERO 0000132a: PUSH2 0x1337 0000132d: JUMPI 0000132e: RETURNDATASIZE 0000132f: PUSH1 0x00 00001331: DUP1 00001332: RETURNDATACOPY 00001333: RETURNDATASIZE 00001334: PUSH1 0x00 00001336: REVERT 00001337: JUMPDEST 00001338: POP 00001339: POP 0000133a: POP 0000133b: POP 0000133c: PUSH2 0x13d0 0000133f: JUMP 00001340: JUMPDEST 00001341: PUSH2 0x1362 00001344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001359: DUP9 0000135a: AND 0000135b: DUP7 0000135c: ADDRESS 0000135d: DUP7 0000135e: PUSH2 0x1774 00001361: JUMP 00001362: JUMPDEST 00001363: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001378: DUP1 00001379: DUP9 0000137a: AND 0000137b: PUSH1 0x00 0000137d: SWAP1 0000137e: DUP2 0000137f: MSTORE 00001380: PUSH1 0x20 00001382: DUP2 00001383: DUP2 00001384: MSTORE 00001385: PUSH1 0x40 00001387: DUP1 00001388: DUP4 00001389: KECCAK256 0000138a: SWAP4 0000138b: DUP11 0000138c: AND 0000138d: DUP4 0000138e: MSTORE 0000138f: SWAP3 00001390: SWAP1 00001391: MSTORE 00001392: KECCAK256 00001393: SLOAD 00001394: PUSH2 0x139e 00001397: SWAP1 00001398: DUP5 00001399: SWAP1 0000139a: PUSH2 0x213a 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b4: DUP1 000013b5: DUP10 000013b6: AND 000013b7: PUSH1 0x00 000013b9: SWAP1 000013ba: DUP2 000013bb: MSTORE 000013bc: PUSH1 0x20 000013be: DUP2 000013bf: DUP2 000013c0: MSTORE 000013c1: PUSH1 0x40 000013c3: DUP1 000013c4: DUP4 000013c5: KECCAK256 000013c6: SWAP4 000013c7: DUP12 000013c8: AND 000013c9: DUP4 000013ca: MSTORE 000013cb: SWAP3 000013cc: SWAP1 000013cd: MSTORE 000013ce: KECCAK256 000013cf: SSTORE 000013d0: JUMPDEST 000013d1: DUP5 000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e7: AND 000013e8: DUP7 000013e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fe: AND 000013ff: DUP9 00001400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001415: AND 00001416: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf 00001437: DUP8 00001438: DUP8 00001439: DUP7 0000143a: PUSH1 0x40 0000143c: MLOAD 0000143d: PUSH2 0x1448 00001440: SWAP4 00001441: SWAP3 00001442: SWAP2 00001443: SWAP1 00001444: PUSH2 0x2152 00001447: JUMP 00001448: JUMPDEST 00001449: PUSH1 0x40 0000144b: MLOAD 0000144c: DUP1 0000144d: SWAP2 0000144e: SUB 0000144f: SWAP1 00001450: LOG4 00001451: PUSH32 0x00000000000000000000000046b8bb4c5dd27bb42807db477af4d1a7c8a5b746 00001472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001487: AND 00001488: PUSH4 0x3dbb202b 0000148d: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000009 000014ae: PUSH4 0x0166a07a 000014b3: PUSH1 0xe0 000014b5: SHL 000014b6: DUP10 000014b7: DUP12 000014b8: DUP11 000014b9: DUP11 000014ba: DUP11 000014bb: DUP10 000014bc: PUSH1 0x40 000014be: MLOAD 000014bf: PUSH1 0x24 000014c1: ADD 000014c2: PUSH2 0x14d0 000014c5: SWAP7 000014c6: SWAP6 000014c7: SWAP5 000014c8: SWAP4 000014c9: SWAP3 000014ca: SWAP2 000014cb: SWAP1 000014cc: PUSH2 0x2187 000014cf: JUMP 000014d0: JUMPDEST 000014d1: PUSH1 0x40 000014d3: DUP1 000014d4: MLOAD 000014d5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000014f6: DUP2 000014f7: DUP5 000014f8: SUB 000014f9: ADD 000014fa: DUP2 000014fb: MSTORE 000014fc: SWAP2 000014fd: DUP2 000014fe: MSTORE 000014ff: PUSH1 0x20 00001501: DUP3 00001502: ADD 00001503: DUP1 00001504: MLOAD 00001505: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001522: AND 00001523: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001544: SWAP5 00001545: DUP6 00001546: AND 00001547: OR 00001548: SWAP1 00001549: MSTORE 0000154a: MLOAD 0000154b: PUSH1 0xe0 0000154d: DUP6 0000154e: SWAP1 0000154f: SHL 00001550: SWAP1 00001551: SWAP3 00001552: AND 00001553: DUP3 00001554: MSTORE 00001555: PUSH2 0x1563 00001558: SWAP3 00001559: SWAP2 0000155a: DUP8 0000155b: SWAP1 0000155c: PUSH1 0x04 0000155e: ADD 0000155f: PUSH2 0x1f7a 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH1 0x00 00001566: PUSH1 0x40 00001568: MLOAD 00001569: DUP1 0000156a: DUP4 0000156b: SUB 0000156c: DUP2 0000156d: PUSH1 0x00 0000156f: DUP8 00001570: DUP1 00001571: EXTCODESIZE 00001572: ISZERO 00001573: DUP1 00001574: ISZERO 00001575: PUSH2 0x157d 00001578: JUMPI 00001579: PUSH1 0x00 0000157b: DUP1 0000157c: REVERT 0000157d: JUMPDEST 0000157e: POP 0000157f: GAS 00001580: CALL 00001581: ISZERO 00001582: DUP1 00001583: ISZERO 00001584: PUSH2 0x1591 00001587: JUMPI 00001588: RETURNDATASIZE 00001589: PUSH1 0x00 0000158b: DUP1 0000158c: RETURNDATACOPY 0000158d: RETURNDATASIZE 0000158e: PUSH1 0x00 00001590: REVERT 00001591: JUMPDEST 00001592: POP 00001593: POP 00001594: POP 00001595: POP 00001596: POP 00001597: POP 00001598: POP 00001599: POP 0000159a: POP 0000159b: POP 0000159c: POP 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH1 0x60 000015a1: PUSH1 0x00 000015a3: PUSH2 0x15ab 000015a6: DUP4 000015a7: PUSH2 0x17d2 000015aa: JUMP 000015ab: JUMPDEST 000015ac: PUSH1 0x01 000015ae: ADD 000015af: SWAP1 000015b0: POP 000015b1: PUSH1 0x00 000015b3: DUP2 000015b4: PUSH8 0xffffffffffffffff 000015bd: DUP2 000015be: GT 000015bf: ISZERO 000015c0: PUSH2 0x15cb 000015c3: JUMPI 000015c4: PUSH2 0x15cb 000015c7: PUSH2 0x21e2 000015ca: JUMP 000015cb: JUMPDEST 000015cc: PUSH1 0x40 000015ce: MLOAD 000015cf: SWAP1 000015d0: DUP1 000015d1: DUP3 000015d2: MSTORE 000015d3: DUP1 000015d4: PUSH1 0x1f 000015d6: ADD 000015d7: PUSH1 0x1f 000015d9: NOT 000015da: AND 000015db: PUSH1 0x20 000015dd: ADD 000015de: DUP3 000015df: ADD 000015e0: PUSH1 0x40 000015e2: MSTORE 000015e3: DUP1 000015e4: ISZERO 000015e5: PUSH2 0x15f5 000015e8: JUMPI 000015e9: PUSH1 0x20 000015eb: DUP3 000015ec: ADD 000015ed: DUP2 000015ee: DUP1 000015ef: CALLDATASIZE 000015f0: DUP4 000015f1: CALLDATACOPY 000015f2: ADD 000015f3: SWAP1 000015f4: POP 000015f5: JUMPDEST 000015f6: POP 000015f7: SWAP1 000015f8: POP 000015f9: DUP2 000015fa: DUP2 000015fb: ADD 000015fc: PUSH1 0x20 000015fe: ADD 000015ff: JUMPDEST 00001600: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001621: ADD 00001622: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 00001643: PUSH1 0x0a 00001645: DUP7 00001646: MOD 00001647: BYTE 00001648: DUP2 00001649: MSTORE8 0000164a: PUSH1 0x0a 0000164c: DUP6 0000164d: DIV 0000164e: SWAP5 0000164f: POP 00001650: DUP5 00001651: PUSH2 0x15ff 00001654: JUMPI 00001655: POP 00001656: SWAP4 00001657: SWAP3 00001658: POP 00001659: POP 0000165a: POP 0000165b: JUMP 0000165c: JUMPDEST 0000165d: PUSH1 0x00 0000165f: PUSH2 0x1667 00001662: DUP4 00001663: PUSH2 0x18b4 00001666: JUMP 00001667: JUMPDEST 00001668: DUP1 00001669: ISZERO 0000166a: PUSH2 0x1678 0000166d: JUMPI 0000166e: POP 0000166f: PUSH2 0x1678 00001672: DUP4 00001673: DUP4 00001674: PUSH2 0x1918 00001677: JUMP 00001678: JUMPDEST 00001679: SWAP4 0000167a: SWAP3 0000167b: POP 0000167c: POP 0000167d: POP 0000167e: JUMP 0000167f: JUMPDEST 00001680: PUSH1 0x00 00001682: PUSH2 0x16e1 00001685: DUP3 00001686: PUSH1 0x40 00001688: MLOAD 00001689: DUP1 0000168a: PUSH1 0x40 0000168c: ADD 0000168d: PUSH1 0x40 0000168f: MSTORE 00001690: DUP1 00001691: PUSH1 0x20 00001693: DUP2 00001694: MSTORE 00001695: PUSH1 0x20 00001697: ADD 00001698: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000016b9: DUP2 000016ba: MSTORE 000016bb: POP 000016bc: DUP6 000016bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d2: AND 000016d3: PUSH2 0x19e7 000016d6: SWAP1 000016d7: SWAP3 000016d8: SWAP2 000016d9: SWAP1 000016da: PUSH4 0xffffffff 000016df: AND 000016e0: JUMP 000016e1: JUMPDEST 000016e2: SWAP1 000016e3: POP 000016e4: DUP1 000016e5: MLOAD 000016e6: PUSH1 0x00 000016e8: EQ 000016e9: DUP1 000016ea: PUSH2 0x1702 000016ed: JUMPI 000016ee: POP 000016ef: DUP1 000016f0: DUP1 000016f1: PUSH1 0x20 000016f3: ADD 000016f4: SWAP1 000016f5: MLOAD 000016f6: DUP2 000016f7: ADD 000016f8: SWAP1 000016f9: PUSH2 0x1702 000016fc: SWAP2 000016fd: SWAP1 000016fe: PUSH2 0x2211 00001701: JUMP 00001702: JUMPDEST 00001703: PUSH2 0x09c7 00001706: JUMPI 00001707: PUSH1 0x40 00001709: MLOAD 0000170a: PUSH3 0x461bcd 0000170e: PUSH1 0xe5 00001710: SHL 00001711: DUP2 00001712: MSTORE 00001713: PUSH1 0x20 00001715: PUSH1 0x04 00001717: DUP3 00001718: ADD 00001719: MSTORE 0000171a: PUSH1 0x2a 0000171c: PUSH1 0x24 0000171e: DUP3 0000171f: ADD 00001720: MSTORE 00001721: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001742: PUSH1 0x44 00001744: DUP3 00001745: ADD 00001746: MSTORE 00001747: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00001768: PUSH1 0x64 0000176a: DUP3 0000176b: ADD 0000176c: MSTORE 0000176d: PUSH1 0x84 0000176f: ADD 00001770: PUSH2 0x012b 00001773: JUMP 00001774: JUMPDEST 00001775: PUSH1 0x40 00001777: MLOAD 00001778: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178d: DUP1 0000178e: DUP6 0000178f: AND 00001790: PUSH1 0x24 00001792: DUP4 00001793: ADD 00001794: MSTORE 00001795: DUP4 00001796: AND 00001797: PUSH1 0x44 00001799: DUP3 0000179a: ADD 0000179b: MSTORE 0000179c: PUSH1 0x64 0000179e: DUP2 0000179f: ADD 000017a0: DUP3 000017a1: SWAP1 000017a2: MSTORE 000017a3: PUSH2 0x1034 000017a6: SWAP1 000017a7: DUP6 000017a8: SWAP1 000017a9: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000017ca: SWAP1 000017cb: PUSH1 0x84 000017cd: ADD 000017ce: PUSH2 0x1165 000017d1: JUMP 000017d2: JUMPDEST 000017d3: PUSH1 0x00 000017d5: DUP1 000017d6: PUSH27 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000 000017f2: DUP4 000017f3: LT 000017f4: PUSH2 0x181b 000017f7: JUMPI 000017f8: PUSH27 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000 00001814: DUP4 00001815: DIV 00001816: SWAP3 00001817: POP 00001818: PUSH1 0x40 0000181a: ADD 0000181b: JUMPDEST 0000181c: PUSH14 0x04ee2d6d415b85acef8100000000 0000182b: DUP4 0000182c: LT 0000182d: PUSH2 0x1847 00001830: JUMPI 00001831: PUSH14 0x04ee2d6d415b85acef8100000000 00001840: DUP4 00001841: DIV 00001842: SWAP3 00001843: POP 00001844: PUSH1 0x20 00001846: ADD 00001847: JUMPDEST 00001848: PUSH7 0x2386f26fc10000 00001850: DUP4 00001851: LT 00001852: PUSH2 0x1865 00001855: JUMPI 00001856: PUSH7 0x2386f26fc10000 0000185e: DUP4 0000185f: DIV 00001860: SWAP3 00001861: POP 00001862: PUSH1 0x10 00001864: ADD 00001865: JUMPDEST 00001866: PUSH4 0x05f5e100 0000186b: DUP4 0000186c: LT 0000186d: PUSH2 0x187d 00001870: JUMPI 00001871: PUSH4 0x05f5e100 00001876: DUP4 00001877: DIV 00001878: SWAP3 00001879: POP 0000187a: PUSH1 0x08 0000187c: ADD 0000187d: JUMPDEST 0000187e: PUSH2 0x2710 00001881: DUP4 00001882: LT 00001883: PUSH2 0x1891 00001886: JUMPI 00001887: PUSH2 0x2710 0000188a: DUP4 0000188b: DIV 0000188c: SWAP3 0000188d: POP 0000188e: PUSH1 0x04 00001890: ADD 00001891: JUMPDEST 00001892: PUSH1 0x64 00001894: DUP4 00001895: LT 00001896: PUSH2 0x18a3 00001899: JUMPI 0000189a: PUSH1 0x64 0000189c: DUP4 0000189d: DIV 0000189e: SWAP3 0000189f: POP 000018a0: PUSH1 0x02 000018a2: ADD 000018a3: JUMPDEST 000018a4: PUSH1 0x0a 000018a6: DUP4 000018a7: LT 000018a8: PUSH2 0x1066 000018ab: JUMPI 000018ac: PUSH1 0x01 000018ae: ADD 000018af: SWAP3 000018b0: SWAP2 000018b1: POP 000018b2: POP 000018b3: JUMP 000018b4: JUMPDEST 000018b5: PUSH1 0x00 000018b7: PUSH2 0x18e0 000018ba: DUP3 000018bb: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000018dc: PUSH2 0x1918 000018df: JUMP 000018e0: JUMPDEST 000018e1: DUP1 000018e2: ISZERO 000018e3: PUSH2 0x1066 000018e6: JUMPI 000018e7: POP 000018e8: PUSH2 0x1911 000018eb: DUP3 000018ec: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000190d: PUSH2 0x1918 00001910: JUMP 00001911: JUMPDEST 00001912: ISZERO 00001913: SWAP3 00001914: SWAP2 00001915: POP 00001916: POP 00001917: JUMP 00001918: JUMPDEST 00001919: PUSH1 0x40 0000191b: DUP1 0000191c: MLOAD 0000191d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 0000193e: DUP4 0000193f: AND 00001940: PUSH1 0x24 00001942: DUP1 00001943: DUP4 00001944: ADD 00001945: SWAP2 00001946: SWAP1 00001947: SWAP2 00001948: MSTORE 00001949: DUP3 0000194a: MLOAD 0000194b: DUP1 0000194c: DUP4 0000194d: SUB 0000194e: SWAP1 0000194f: SWAP2 00001950: ADD 00001951: DUP2 00001952: MSTORE 00001953: PUSH1 0x44 00001955: SWAP1 00001956: SWAP2 00001957: ADD 00001958: SWAP1 00001959: SWAP2 0000195a: MSTORE 0000195b: PUSH1 0x20 0000195d: DUP1 0000195e: DUP3 0000195f: ADD 00001960: DUP1 00001961: MLOAD 00001962: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000197f: AND 00001980: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000019a1: OR 000019a2: DUP2 000019a3: MSTORE 000019a4: DUP3 000019a5: MLOAD 000019a6: PUSH1 0x00 000019a8: SWAP4 000019a9: SWAP3 000019aa: DUP5 000019ab: SWAP3 000019ac: DUP4 000019ad: SWAP3 000019ae: DUP4 000019af: SWAP3 000019b0: SWAP2 000019b1: DUP4 000019b2: SWAP2 000019b3: SWAP1 000019b4: DUP11 000019b5: PUSH2 0x7530 000019b8: STATICCALL 000019b9: SWAP3 000019ba: POP 000019bb: RETURNDATASIZE 000019bc: SWAP2 000019bd: POP 000019be: PUSH1 0x00 000019c0: MLOAD 000019c1: SWAP1 000019c2: POP 000019c3: DUP3 000019c4: DUP1 000019c5: ISZERO 000019c6: PUSH2 0x19d0 000019c9: JUMPI 000019ca: POP 000019cb: PUSH1 0x20 000019cd: DUP3 000019ce: LT 000019cf: ISZERO 000019d0: JUMPDEST 000019d1: DUP1 000019d2: ISZERO 000019d3: PUSH2 0x19dc 000019d6: JUMPI 000019d7: POP 000019d8: PUSH1 0x00 000019da: DUP2 000019db: GT 000019dc: JUMPDEST 000019dd: SWAP8 000019de: SWAP7 000019df: POP 000019e0: POP 000019e1: POP 000019e2: POP 000019e3: POP 000019e4: POP 000019e5: POP 000019e6: JUMP 000019e7: JUMPDEST 000019e8: PUSH1 0x60 000019ea: PUSH2 0x11fb 000019ed: DUP5 000019ee: DUP5 000019ef: PUSH1 0x00 000019f1: DUP6 000019f2: DUP6 000019f3: PUSH1 0x00 000019f5: DUP1 000019f6: DUP7 000019f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0c: AND 00001a0d: DUP6 00001a0e: DUP8 00001a0f: PUSH1 0x40 00001a11: MLOAD 00001a12: PUSH2 0x1a1b 00001a15: SWAP2 00001a16: SWAP1 00001a17: PUSH2 0x2233 00001a1a: JUMP 00001a1b: JUMPDEST 00001a1c: PUSH1 0x00 00001a1e: PUSH1 0x40 00001a20: MLOAD 00001a21: DUP1 00001a22: DUP4 00001a23: SUB 00001a24: DUP2 00001a25: DUP6 00001a26: DUP8 00001a27: GAS 00001a28: CALL 00001a29: SWAP3 00001a2a: POP 00001a2b: POP 00001a2c: POP 00001a2d: RETURNDATASIZE 00001a2e: DUP1 00001a2f: PUSH1 0x00 00001a31: DUP2 00001a32: EQ 00001a33: PUSH2 0x1a58 00001a36: JUMPI 00001a37: PUSH1 0x40 00001a39: MLOAD 00001a3a: SWAP2 00001a3b: POP 00001a3c: PUSH1 0x1f 00001a3e: NOT 00001a3f: PUSH1 0x3f 00001a41: RETURNDATASIZE 00001a42: ADD 00001a43: AND 00001a44: DUP3 00001a45: ADD 00001a46: PUSH1 0x40 00001a48: MSTORE 00001a49: RETURNDATASIZE 00001a4a: DUP3 00001a4b: MSTORE 00001a4c: RETURNDATASIZE 00001a4d: PUSH1 0x00 00001a4f: PUSH1 0x20 00001a51: DUP5 00001a52: ADD 00001a53: RETURNDATACOPY 00001a54: PUSH2 0x1a5d 00001a57: JUMP 00001a58: JUMPDEST 00001a59: PUSH1 0x60 00001a5b: SWAP2 00001a5c: POP 00001a5d: JUMPDEST 00001a5e: POP 00001a5f: SWAP2 00001a60: POP 00001a61: SWAP2 00001a62: POP 00001a63: PUSH2 0x19dc 00001a66: DUP8 00001a67: DUP4 00001a68: DUP4 00001a69: DUP8 00001a6a: PUSH1 0x60 00001a6c: DUP4 00001a6d: ISZERO 00001a6e: PUSH2 0x1ae5 00001a71: JUMPI 00001a72: DUP3 00001a73: MLOAD 00001a74: PUSH1 0x00 00001a76: SUB 00001a77: PUSH2 0x1ade 00001a7a: JUMPI 00001a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a90: DUP6 00001a91: AND 00001a92: EXTCODESIZE 00001a93: PUSH2 0x1ade 00001a96: JUMPI 00001a97: PUSH1 0x40 00001a99: MLOAD 00001a9a: PUSH3 0x461bcd 00001a9e: PUSH1 0xe5 00001aa0: SHL 00001aa1: DUP2 00001aa2: MSTORE 00001aa3: PUSH1 0x20 00001aa5: PUSH1 0x04 00001aa7: DUP3 00001aa8: ADD 00001aa9: MSTORE 00001aaa: PUSH1 0x1d 00001aac: PUSH1 0x24 00001aae: DUP3 00001aaf: ADD 00001ab0: MSTORE 00001ab1: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001ad2: PUSH1 0x44 00001ad4: DUP3 00001ad5: ADD 00001ad6: MSTORE 00001ad7: PUSH1 0x64 00001ad9: ADD 00001ada: PUSH2 0x012b 00001add: JUMP 00001ade: JUMPDEST 00001adf: POP 00001ae0: DUP2 00001ae1: PUSH2 0x11fb 00001ae4: JUMP 00001ae5: JUMPDEST 00001ae6: PUSH2 0x11fb 00001ae9: DUP4 00001aea: DUP4 00001aeb: DUP2 00001aec: MLOAD 00001aed: ISZERO 00001aee: PUSH2 0x1afa 00001af1: JUMPI 00001af2: DUP2 00001af3: MLOAD 00001af4: DUP1 00001af5: DUP4 00001af6: PUSH1 0x20 00001af8: ADD 00001af9: REVERT 00001afa: JUMPDEST 00001afb: DUP1 00001afc: PUSH1 0x40 00001afe: MLOAD 00001aff: PUSH3 0x461bcd 00001b03: PUSH1 0xe5 00001b05: SHL 00001b06: DUP2 00001b07: MSTORE 00001b08: PUSH1 0x04 00001b0a: ADD 00001b0b: PUSH2 0x012b 00001b0e: SWAP2 00001b0f: SWAP1 00001b10: PUSH2 0x1de6 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2a: DUP2 00001b2b: AND 00001b2c: DUP2 00001b2d: EQ 00001b2e: PUSH2 0x1b36 00001b31: JUMPI 00001b32: PUSH1 0x00 00001b34: DUP1 00001b35: REVERT 00001b36: JUMPDEST 00001b37: POP 00001b38: JUMP 00001b39: JUMPDEST 00001b3a: PUSH1 0x00 00001b3c: DUP1 00001b3d: DUP4 00001b3e: PUSH1 0x1f 00001b40: DUP5 00001b41: ADD 00001b42: SLT 00001b43: PUSH2 0x1b4b 00001b46: JUMPI 00001b47: PUSH1 0x00 00001b49: DUP1 00001b4a: REVERT 00001b4b: JUMPDEST 00001b4c: POP 00001b4d: DUP2 00001b4e: CALLDATALOAD 00001b4f: PUSH8 0xffffffffffffffff 00001b58: DUP2 00001b59: GT 00001b5a: ISZERO 00001b5b: PUSH2 0x1b63 00001b5e: JUMPI 00001b5f: PUSH1 0x00 00001b61: DUP1 00001b62: REVERT 00001b63: JUMPDEST 00001b64: PUSH1 0x20 00001b66: DUP4 00001b67: ADD 00001b68: SWAP2 00001b69: POP 00001b6a: DUP4 00001b6b: PUSH1 0x20 00001b6d: DUP3 00001b6e: DUP6 00001b6f: ADD 00001b70: ADD 00001b71: GT 00001b72: ISZERO 00001b73: PUSH2 0x1b7b 00001b76: JUMPI 00001b77: PUSH1 0x00 00001b79: DUP1 00001b7a: REVERT 00001b7b: JUMPDEST 00001b7c: SWAP3 00001b7d: POP 00001b7e: SWAP3 00001b7f: SWAP1 00001b80: POP 00001b81: JUMP 00001b82: JUMPDEST 00001b83: PUSH1 0x00 00001b85: DUP1 00001b86: PUSH1 0x00 00001b88: DUP1 00001b89: PUSH1 0x00 00001b8b: DUP1 00001b8c: PUSH1 0x00 00001b8e: PUSH1 0xc0 00001b90: DUP9 00001b91: DUP11 00001b92: SUB 00001b93: SLT 00001b94: ISZERO 00001b95: PUSH2 0x1b9d 00001b98: JUMPI 00001b99: PUSH1 0x00 00001b9b: DUP1 00001b9c: REVERT 00001b9d: JUMPDEST 00001b9e: DUP8 00001b9f: CALLDATALOAD 00001ba0: PUSH2 0x1ba8 00001ba3: DUP2 00001ba4: PUSH2 0x1b14 00001ba7: JUMP 00001ba8: JUMPDEST 00001ba9: SWAP7 00001baa: POP 00001bab: PUSH1 0x20 00001bad: DUP9 00001bae: ADD 00001baf: CALLDATALOAD 00001bb0: PUSH2 0x1bb8 00001bb3: DUP2 00001bb4: PUSH2 0x1b14 00001bb7: JUMP 00001bb8: JUMPDEST 00001bb9: SWAP6 00001bba: POP 00001bbb: PUSH1 0x40 00001bbd: DUP9 00001bbe: ADD 00001bbf: CALLDATALOAD 00001bc0: PUSH2 0x1bc8 00001bc3: DUP2 00001bc4: PUSH2 0x1b14 00001bc7: JUMP 00001bc8: JUMPDEST 00001bc9: SWAP5 00001bca: POP 00001bcb: PUSH1 0x60 00001bcd: DUP9 00001bce: ADD 00001bcf: CALLDATALOAD 00001bd0: PUSH2 0x1bd8 00001bd3: DUP2 00001bd4: PUSH2 0x1b14 00001bd7: JUMP 00001bd8: JUMPDEST 00001bd9: SWAP4 00001bda: POP 00001bdb: PUSH1 0x80 00001bdd: DUP9 00001bde: ADD 00001bdf: CALLDATALOAD 00001be0: SWAP3 00001be1: POP 00001be2: PUSH1 0xa0 00001be4: DUP9 00001be5: ADD 00001be6: CALLDATALOAD 00001be7: PUSH8 0xffffffffffffffff 00001bf0: DUP2 00001bf1: GT 00001bf2: ISZERO 00001bf3: PUSH2 0x1bfb 00001bf6: JUMPI 00001bf7: PUSH1 0x00 00001bf9: DUP1 00001bfa: REVERT 00001bfb: JUMPDEST 00001bfc: PUSH2 0x1c07 00001bff: DUP11 00001c00: DUP3 00001c01: DUP12 00001c02: ADD 00001c03: PUSH2 0x1b39 00001c06: JUMP 00001c07: JUMPDEST 00001c08: SWAP9 00001c09: SWAP12 00001c0a: SWAP8 00001c0b: SWAP11 00001c0c: POP 00001c0d: SWAP6 00001c0e: SWAP9 00001c0f: POP 00001c10: SWAP4 00001c11: SWAP7 00001c12: SWAP3 00001c13: SWAP6 00001c14: SWAP3 00001c15: SWAP4 00001c16: POP 00001c17: POP 00001c18: POP 00001c19: JUMP 00001c1a: JUMPDEST 00001c1b: DUP1 00001c1c: CALLDATALOAD 00001c1d: PUSH4 0xffffffff 00001c22: DUP2 00001c23: AND 00001c24: DUP2 00001c25: EQ 00001c26: PUSH2 0x1c2e 00001c29: JUMPI 00001c2a: PUSH1 0x00 00001c2c: DUP1 00001c2d: REVERT 00001c2e: JUMPDEST 00001c2f: SWAP2 00001c30: SWAP1 00001c31: POP 00001c32: JUMP 00001c33: JUMPDEST 00001c34: PUSH1 0x00 00001c36: DUP1 00001c37: PUSH1 0x00 00001c39: PUSH1 0x40 00001c3b: DUP5 00001c3c: DUP7 00001c3d: SUB 00001c3e: SLT 00001c3f: ISZERO 00001c40: PUSH2 0x1c48 00001c43: JUMPI 00001c44: PUSH1 0x00 00001c46: DUP1 00001c47: REVERT 00001c48: JUMPDEST 00001c49: PUSH2 0x1c51 00001c4c: DUP5 00001c4d: PUSH2 0x1c1a 00001c50: JUMP 00001c51: JUMPDEST 00001c52: SWAP3 00001c53: POP 00001c54: PUSH1 0x20 00001c56: DUP5 00001c57: ADD 00001c58: CALLDATALOAD 00001c59: PUSH8 0xffffffffffffffff 00001c62: DUP2 00001c63: GT 00001c64: ISZERO 00001c65: PUSH2 0x1c6d 00001c68: JUMPI 00001c69: PUSH1 0x00 00001c6b: DUP1 00001c6c: REVERT 00001c6d: JUMPDEST 00001c6e: PUSH2 0x1c79 00001c71: DUP7 00001c72: DUP3 00001c73: DUP8 00001c74: ADD 00001c75: PUSH2 0x1b39 00001c78: JUMP 00001c79: JUMPDEST 00001c7a: SWAP5 00001c7b: SWAP8 00001c7c: SWAP1 00001c7d: SWAP7 00001c7e: POP 00001c7f: SWAP4 00001c80: SWAP5 00001c81: POP 00001c82: POP 00001c83: POP 00001c84: POP 00001c85: JUMP 00001c86: JUMPDEST 00001c87: PUSH1 0x00 00001c89: DUP1 00001c8a: PUSH1 0x00 00001c8c: DUP1 00001c8d: PUSH1 0x00 00001c8f: PUSH1 0x80 00001c91: DUP7 00001c92: DUP9 00001c93: SUB 00001c94: SLT 00001c95: ISZERO 00001c96: PUSH2 0x1c9e 00001c99: JUMPI 00001c9a: PUSH1 0x00 00001c9c: DUP1 00001c9d: REVERT 00001c9e: JUMPDEST 00001c9f: DUP6 00001ca0: CALLDATALOAD 00001ca1: PUSH2 0x1ca9 00001ca4: DUP2 00001ca5: PUSH2 0x1b14 00001ca8: JUMP 00001ca9: JUMPDEST 00001caa: SWAP5 00001cab: POP 00001cac: PUSH1 0x20 00001cae: DUP7 00001caf: ADD 00001cb0: CALLDATALOAD 00001cb1: PUSH2 0x1cb9 00001cb4: DUP2 00001cb5: PUSH2 0x1b14 00001cb8: JUMP 00001cb9: JUMPDEST 00001cba: SWAP4 00001cbb: POP 00001cbc: PUSH1 0x40 00001cbe: DUP7 00001cbf: ADD 00001cc0: CALLDATALOAD 00001cc1: SWAP3 00001cc2: POP 00001cc3: PUSH1 0x60 00001cc5: DUP7 00001cc6: ADD 00001cc7: CALLDATALOAD 00001cc8: PUSH8 0xffffffffffffffff 00001cd1: DUP2 00001cd2: GT 00001cd3: ISZERO 00001cd4: PUSH2 0x1cdc 00001cd7: JUMPI 00001cd8: PUSH1 0x00 00001cda: DUP1 00001cdb: REVERT 00001cdc: JUMPDEST 00001cdd: PUSH2 0x1ce8 00001ce0: DUP9 00001ce1: DUP3 00001ce2: DUP10 00001ce3: ADD 00001ce4: PUSH2 0x1b39 00001ce7: JUMP 00001ce8: JUMPDEST 00001ce9: SWAP7 00001cea: SWAP10 00001ceb: SWAP6 00001cec: SWAP9 00001ced: POP 00001cee: SWAP4 00001cef: SWAP7 00001cf0: POP 00001cf1: SWAP3 00001cf2: SWAP5 00001cf3: SWAP4 00001cf4: SWAP3 00001cf5: POP 00001cf6: POP 00001cf7: POP 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: PUSH1 0x00 00001cfc: DUP1 00001cfd: PUSH1 0x00 00001cff: DUP1 00001d00: PUSH1 0x00 00001d02: DUP1 00001d03: PUSH1 0x00 00001d05: PUSH1 0xc0 00001d07: DUP9 00001d08: DUP11 00001d09: SUB 00001d0a: SLT 00001d0b: ISZERO 00001d0c: PUSH2 0x1d14 00001d0f: JUMPI 00001d10: PUSH1 0x00 00001d12: DUP1 00001d13: REVERT 00001d14: JUMPDEST 00001d15: DUP8 00001d16: CALLDATALOAD 00001d17: PUSH2 0x1d1f 00001d1a: DUP2 00001d1b: PUSH2 0x1b14 00001d1e: JUMP 00001d1f: JUMPDEST 00001d20: SWAP7 00001d21: POP 00001d22: PUSH1 0x20 00001d24: DUP9 00001d25: ADD 00001d26: CALLDATALOAD 00001d27: PUSH2 0x1d2f 00001d2a: DUP2 00001d2b: PUSH2 0x1b14 00001d2e: JUMP 00001d2f: JUMPDEST 00001d30: SWAP6 00001d31: POP 00001d32: PUSH1 0x40 00001d34: DUP9 00001d35: ADD 00001d36: CALLDATALOAD 00001d37: PUSH2 0x1d3f 00001d3a: DUP2 00001d3b: PUSH2 0x1b14 00001d3e: JUMP 00001d3f: JUMPDEST 00001d40: SWAP5 00001d41: POP 00001d42: PUSH1 0x60 00001d44: DUP9 00001d45: ADD 00001d46: CALLDATALOAD 00001d47: SWAP4 00001d48: POP 00001d49: PUSH2 0x1d54 00001d4c: PUSH1 0x80 00001d4e: DUP10 00001d4f: ADD 00001d50: PUSH2 0x1c1a 00001d53: JUMP 00001d54: JUMPDEST 00001d55: SWAP3 00001d56: POP 00001d57: PUSH1 0xa0 00001d59: DUP9 00001d5a: ADD 00001d5b: CALLDATALOAD 00001d5c: PUSH8 0xffffffffffffffff 00001d65: DUP2 00001d66: GT 00001d67: ISZERO 00001d68: PUSH2 0x1bfb 00001d6b: JUMPI 00001d6c: PUSH1 0x00 00001d6e: DUP1 00001d6f: REVERT 00001d70: JUMPDEST 00001d71: PUSH1 0x00 00001d73: JUMPDEST 00001d74: DUP4 00001d75: DUP2 00001d76: LT 00001d77: ISZERO 00001d78: PUSH2 0x1d8b 00001d7b: JUMPI 00001d7c: DUP2 00001d7d: DUP2 00001d7e: ADD 00001d7f: MLOAD 00001d80: DUP4 00001d81: DUP3 00001d82: ADD 00001d83: MSTORE 00001d84: PUSH1 0x20 00001d86: ADD 00001d87: PUSH2 0x1d73 00001d8a: JUMP 00001d8b: JUMPDEST 00001d8c: DUP4 00001d8d: DUP2 00001d8e: GT 00001d8f: ISZERO 00001d90: PUSH2 0x1034 00001d93: JUMPI 00001d94: POP 00001d95: POP 00001d96: PUSH1 0x00 00001d98: SWAP2 00001d99: ADD 00001d9a: MSTORE 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: PUSH1 0x00 00001d9f: DUP2 00001da0: MLOAD 00001da1: DUP1 00001da2: DUP5 00001da3: MSTORE 00001da4: PUSH2 0x1db4 00001da7: DUP2 00001da8: PUSH1 0x20 00001daa: DUP7 00001dab: ADD 00001dac: PUSH1 0x20 00001dae: DUP7 00001daf: ADD 00001db0: PUSH2 0x1d70 00001db3: JUMP 00001db4: JUMPDEST 00001db5: PUSH1 0x1f 00001db7: ADD 00001db8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001dd9: AND 00001dda: SWAP3 00001ddb: SWAP1 00001ddc: SWAP3 00001ddd: ADD 00001dde: PUSH1 0x20 00001de0: ADD 00001de1: SWAP3 00001de2: SWAP2 00001de3: POP 00001de4: POP 00001de5: JUMP 00001de6: JUMPDEST 00001de7: PUSH1 0x20 00001de9: DUP2 00001dea: MSTORE 00001deb: PUSH1 0x00 00001ded: PUSH2 0x1678 00001df0: PUSH1 0x20 00001df2: DUP4 00001df3: ADD 00001df4: DUP5 00001df5: PUSH2 0x1d9c 00001df8: JUMP 00001df9: JUMPDEST 00001dfa: PUSH1 0x00 00001dfc: DUP1 00001dfd: PUSH1 0x00 00001dff: DUP1 00001e00: PUSH1 0x00 00001e02: DUP1 00001e03: PUSH1 0xa0 00001e05: DUP8 00001e06: DUP10 00001e07: SUB 00001e08: SLT 00001e09: ISZERO 00001e0a: PUSH2 0x1e12 00001e0d: JUMPI 00001e0e: PUSH1 0x00 00001e10: DUP1 00001e11: REVERT 00001e12: JUMPDEST 00001e13: DUP7 00001e14: CALLDATALOAD 00001e15: PUSH2 0x1e1d 00001e18: DUP2 00001e19: PUSH2 0x1b14 00001e1c: JUMP 00001e1d: JUMPDEST 00001e1e: SWAP6 00001e1f: POP 00001e20: PUSH1 0x20 00001e22: DUP8 00001e23: ADD 00001e24: CALLDATALOAD 00001e25: PUSH2 0x1e2d 00001e28: DUP2 00001e29: PUSH2 0x1b14 00001e2c: JUMP 00001e2d: JUMPDEST 00001e2e: SWAP5 00001e2f: POP 00001e30: PUSH1 0x40 00001e32: DUP8 00001e33: ADD 00001e34: CALLDATALOAD 00001e35: SWAP4 00001e36: POP 00001e37: PUSH2 0x1e42 00001e3a: PUSH1 0x60 00001e3c: DUP9 00001e3d: ADD 00001e3e: PUSH2 0x1c1a 00001e41: JUMP 00001e42: JUMPDEST 00001e43: SWAP3 00001e44: POP 00001e45: PUSH1 0x80 00001e47: DUP8 00001e48: ADD 00001e49: CALLDATALOAD 00001e4a: PUSH8 0xffffffffffffffff 00001e53: DUP2 00001e54: GT 00001e55: ISZERO 00001e56: PUSH2 0x1e5e 00001e59: JUMPI 00001e5a: PUSH1 0x00 00001e5c: DUP1 00001e5d: REVERT 00001e5e: JUMPDEST 00001e5f: PUSH2 0x1e6a 00001e62: DUP10 00001e63: DUP3 00001e64: DUP11 00001e65: ADD 00001e66: PUSH2 0x1b39 00001e69: JUMP 00001e6a: JUMPDEST 00001e6b: SWAP8 00001e6c: SWAP11 00001e6d: SWAP7 00001e6e: SWAP10 00001e6f: POP 00001e70: SWAP5 00001e71: SWAP8 00001e72: POP 00001e73: SWAP3 00001e74: SWAP6 00001e75: SWAP4 00001e76: SWAP5 00001e77: SWAP3 00001e78: POP 00001e79: POP 00001e7a: POP 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: PUSH1 0x00 00001e7f: DUP1 00001e80: PUSH1 0x40 00001e82: DUP4 00001e83: DUP6 00001e84: SUB 00001e85: SLT 00001e86: ISZERO 00001e87: PUSH2 0x1e8f 00001e8a: JUMPI 00001e8b: PUSH1 0x00 00001e8d: DUP1 00001e8e: REVERT 00001e8f: JUMPDEST 00001e90: DUP3 00001e91: CALLDATALOAD 00001e92: PUSH2 0x1e9a 00001e95: DUP2 00001e96: PUSH2 0x1b14 00001e99: JUMP 00001e9a: JUMPDEST 00001e9b: SWAP2 00001e9c: POP 00001e9d: PUSH1 0x20 00001e9f: DUP4 00001ea0: ADD 00001ea1: CALLDATALOAD 00001ea2: PUSH2 0x1eaa 00001ea5: DUP2 00001ea6: PUSH2 0x1b14 00001ea9: JUMP 00001eaa: JUMPDEST 00001eab: DUP1 00001eac: SWAP2 00001ead: POP 00001eae: POP 00001eaf: SWAP3 00001eb0: POP 00001eb1: SWAP3 00001eb2: SWAP1 00001eb3: POP 00001eb4: JUMP 00001eb5: JUMPDEST 00001eb6: PUSH1 0x00 00001eb8: DUP1 00001eb9: PUSH1 0x00 00001ebb: DUP1 00001ebc: PUSH1 0x60 00001ebe: DUP6 00001ebf: DUP8 00001ec0: SUB 00001ec1: SLT 00001ec2: ISZERO 00001ec3: PUSH2 0x1ecb 00001ec6: JUMPI 00001ec7: PUSH1 0x00 00001ec9: DUP1 00001eca: REVERT 00001ecb: JUMPDEST 00001ecc: DUP5 00001ecd: CALLDATALOAD 00001ece: PUSH2 0x1ed6 00001ed1: DUP2 00001ed2: PUSH2 0x1b14 00001ed5: JUMP 00001ed6: JUMPDEST 00001ed7: SWAP4 00001ed8: POP 00001ed9: PUSH2 0x1ee4 00001edc: PUSH1 0x20 00001ede: DUP7 00001edf: ADD 00001ee0: PUSH2 0x1c1a 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: SWAP3 00001ee6: POP 00001ee7: PUSH1 0x40 00001ee9: DUP6 00001eea: ADD 00001eeb: CALLDATALOAD 00001eec: PUSH8 0xffffffffffffffff 00001ef5: DUP2 00001ef6: GT 00001ef7: ISZERO 00001ef8: PUSH2 0x1f00 00001efb: JUMPI 00001efc: PUSH1 0x00 00001efe: DUP1 00001eff: REVERT 00001f00: JUMPDEST 00001f01: PUSH2 0x1f0c 00001f04: DUP8 00001f05: DUP3 00001f06: DUP9 00001f07: ADD 00001f08: PUSH2 0x1b39 00001f0b: JUMP 00001f0c: JUMPDEST 00001f0d: SWAP6 00001f0e: SWAP9 00001f0f: SWAP5 00001f10: SWAP8 00001f11: POP 00001f12: SWAP6 00001f13: POP 00001f14: POP 00001f15: POP 00001f16: POP 00001f17: JUMP 00001f18: JUMPDEST 00001f19: DUP3 00001f1a: DUP2 00001f1b: MSTORE 00001f1c: PUSH1 0x40 00001f1e: PUSH1 0x20 00001f20: DUP3 00001f21: ADD 00001f22: MSTORE 00001f23: PUSH1 0x00 00001f25: PUSH2 0x11fb 00001f28: PUSH1 0x40 00001f2a: DUP4 00001f2b: ADD 00001f2c: DUP5 00001f2d: PUSH2 0x1d9c 00001f30: JUMP 00001f31: JUMPDEST 00001f32: PUSH1 0x00 00001f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f49: DUP1 00001f4a: DUP8 00001f4b: AND 00001f4c: DUP4 00001f4d: MSTORE 00001f4e: DUP1 00001f4f: DUP7 00001f50: AND 00001f51: PUSH1 0x20 00001f53: DUP5 00001f54: ADD 00001f55: MSTORE 00001f56: POP 00001f57: DUP4 00001f58: PUSH1 0x40 00001f5a: DUP4 00001f5b: ADD 00001f5c: MSTORE 00001f5d: PUSH1 0x80 00001f5f: PUSH1 0x60 00001f61: DUP4 00001f62: ADD 00001f63: MSTORE 00001f64: PUSH2 0x1f70 00001f67: PUSH1 0x80 00001f69: DUP4 00001f6a: ADD 00001f6b: DUP5 00001f6c: PUSH2 0x1d9c 00001f6f: JUMP 00001f70: JUMPDEST 00001f71: SWAP7 00001f72: SWAP6 00001f73: POP 00001f74: POP 00001f75: POP 00001f76: POP 00001f77: POP 00001f78: POP 00001f79: JUMP 00001f7a: JUMPDEST 00001f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f90: DUP5 00001f91: AND 00001f92: DUP2 00001f93: MSTORE 00001f94: PUSH1 0x60 00001f96: PUSH1 0x20 00001f98: DUP3 00001f99: ADD 00001f9a: MSTORE 00001f9b: PUSH1 0x00 00001f9d: PUSH2 0x1fa9 00001fa0: PUSH1 0x60 00001fa2: DUP4 00001fa3: ADD 00001fa4: DUP6 00001fa5: PUSH2 0x1d9c 00001fa8: JUMP 00001fa9: JUMPDEST 00001faa: SWAP1 00001fab: POP 00001fac: PUSH4 0xffffffff 00001fb1: DUP4 00001fb2: AND 00001fb3: PUSH1 0x40 00001fb5: DUP4 00001fb6: ADD 00001fb7: MSTORE 00001fb8: SWAP5 00001fb9: SWAP4 00001fba: POP 00001fbb: POP 00001fbc: POP 00001fbd: POP 00001fbe: JUMP 00001fbf: JUMPDEST 00001fc0: PUSH1 0x00 00001fc2: PUSH1 0x20 00001fc4: DUP3 00001fc5: DUP5 00001fc6: SUB 00001fc7: SLT 00001fc8: ISZERO 00001fc9: PUSH2 0x1fd1 00001fcc: JUMPI 00001fcd: PUSH1 0x00 00001fcf: DUP1 00001fd0: REVERT 00001fd1: JUMPDEST 00001fd2: DUP2 00001fd3: MLOAD 00001fd4: PUSH2 0x1678 00001fd7: DUP2 00001fd8: PUSH2 0x1b14 00001fdb: JUMP 00001fdc: JUMPDEST 00001fdd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001ffe: PUSH1 0x00 00002000: MSTORE 00002001: PUSH1 0x11 00002003: PUSH1 0x04 00002005: MSTORE 00002006: PUSH1 0x24 00002008: PUSH1 0x00 0000200a: REVERT 0000200b: JUMPDEST 0000200c: PUSH1 0x00 0000200e: DUP3 0000200f: DUP3 00002010: LT 00002011: ISZERO 00002012: PUSH2 0x201d 00002015: JUMPI 00002016: PUSH2 0x201d 00002019: PUSH2 0x1fdc 0000201c: JUMP 0000201d: JUMPDEST 0000201e: POP 0000201f: SUB 00002020: SWAP1 00002021: JUMP 00002022: JUMPDEST 00002023: DUP2 00002024: DUP4 00002025: MSTORE 00002026: DUP2 00002027: DUP2 00002028: PUSH1 0x20 0000202a: DUP6 0000202b: ADD 0000202c: CALLDATACOPY 0000202d: POP 0000202e: PUSH1 0x00 00002030: PUSH1 0x20 00002032: DUP3 00002033: DUP5 00002034: ADD 00002035: ADD 00002036: MSTORE 00002037: PUSH1 0x00 00002039: PUSH1 0x20 0000203b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000205c: PUSH1 0x1f 0000205e: DUP5 0000205f: ADD 00002060: AND 00002061: DUP5 00002062: ADD 00002063: ADD 00002064: SWAP1 00002065: POP 00002066: SWAP3 00002067: SWAP2 00002068: POP 00002069: POP 0000206a: JUMP 0000206b: JUMPDEST 0000206c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002081: DUP6 00002082: AND 00002083: DUP2 00002084: MSTORE 00002085: DUP4 00002086: PUSH1 0x20 00002088: DUP3 00002089: ADD 0000208a: MSTORE 0000208b: PUSH1 0x60 0000208d: PUSH1 0x40 0000208f: DUP3 00002090: ADD 00002091: MSTORE 00002092: PUSH1 0x00 00002094: PUSH2 0x1f70 00002097: PUSH1 0x60 00002099: DUP4 0000209a: ADD 0000209b: DUP5 0000209c: DUP7 0000209d: PUSH2 0x2022 000020a0: JUMP 000020a1: JUMPDEST 000020a2: DUP4 000020a3: DUP2 000020a4: MSTORE 000020a5: PUSH1 0x40 000020a7: PUSH1 0x20 000020a9: DUP3 000020aa: ADD 000020ab: MSTORE 000020ac: PUSH1 0x00 000020ae: PUSH2 0x20bb 000020b1: PUSH1 0x40 000020b3: DUP4 000020b4: ADD 000020b5: DUP5 000020b6: DUP7 000020b7: PUSH2 0x2022 000020ba: JUMP 000020bb: JUMPDEST 000020bc: SWAP6 000020bd: SWAP5 000020be: POP 000020bf: POP 000020c0: POP 000020c1: POP 000020c2: POP 000020c3: JUMP 000020c4: JUMPDEST 000020c5: PUSH1 0x00 000020c7: DUP5 000020c8: MLOAD 000020c9: PUSH2 0x20d6 000020cc: DUP2 000020cd: DUP5 000020ce: PUSH1 0x20 000020d0: DUP10 000020d1: ADD 000020d2: PUSH2 0x1d70 000020d5: JUMP 000020d6: JUMPDEST 000020d7: DUP1 000020d8: DUP4 000020d9: ADD 000020da: SWAP1 000020db: POP 000020dc: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000020fd: DUP1 000020fe: DUP3 000020ff: MSTORE 00002100: DUP6 00002101: MLOAD 00002102: PUSH2 0x2112 00002105: DUP2 00002106: PUSH1 0x01 00002108: DUP6 00002109: ADD 0000210a: PUSH1 0x20 0000210c: DUP11 0000210d: ADD 0000210e: PUSH2 0x1d70 00002111: JUMP 00002112: JUMPDEST 00002113: PUSH1 0x01 00002115: SWAP3 00002116: ADD 00002117: SWAP2 00002118: DUP3 00002119: ADD 0000211a: MSTORE 0000211b: DUP4 0000211c: MLOAD 0000211d: PUSH2 0x212d 00002120: DUP2 00002121: PUSH1 0x02 00002123: DUP5 00002124: ADD 00002125: PUSH1 0x20 00002127: DUP9 00002128: ADD 00002129: PUSH2 0x1d70 0000212c: JUMP 0000212d: JUMPDEST 0000212e: ADD 0000212f: PUSH1 0x02 00002131: ADD 00002132: SWAP6 00002133: SWAP5 00002134: POP 00002135: POP 00002136: POP 00002137: POP 00002138: POP 00002139: JUMP 0000213a: JUMPDEST 0000213b: PUSH1 0x00 0000213d: DUP3 0000213e: NOT 0000213f: DUP3 00002140: GT 00002141: ISZERO 00002142: PUSH2 0x214d 00002145: JUMPI 00002146: PUSH2 0x214d 00002149: PUSH2 0x1fdc 0000214c: JUMP 0000214d: JUMPDEST 0000214e: POP 0000214f: ADD 00002150: SWAP1 00002151: JUMP 00002152: JUMPDEST 00002153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002168: DUP5 00002169: AND 0000216a: DUP2 0000216b: MSTORE 0000216c: DUP3 0000216d: PUSH1 0x20 0000216f: DUP3 00002170: ADD 00002171: MSTORE 00002172: PUSH1 0x60 00002174: PUSH1 0x40 00002176: DUP3 00002177: ADD 00002178: MSTORE 00002179: PUSH1 0x00 0000217b: PUSH2 0x20bb 0000217e: PUSH1 0x60 00002180: DUP4 00002181: ADD 00002182: DUP5 00002183: PUSH2 0x1d9c 00002186: JUMP 00002187: JUMPDEST 00002188: PUSH1 0x00 0000218a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000219f: DUP1 000021a0: DUP10 000021a1: AND 000021a2: DUP4 000021a3: MSTORE 000021a4: DUP1 000021a5: DUP9 000021a6: AND 000021a7: PUSH1 0x20 000021a9: DUP5 000021aa: ADD 000021ab: MSTORE 000021ac: DUP1 000021ad: DUP8 000021ae: AND 000021af: PUSH1 0x40 000021b1: DUP5 000021b2: ADD 000021b3: MSTORE 000021b4: DUP1 000021b5: DUP7 000021b6: AND 000021b7: PUSH1 0x60 000021b9: DUP5 000021ba: ADD 000021bb: MSTORE 000021bc: POP 000021bd: DUP4 000021be: PUSH1 0x80 000021c0: DUP4 000021c1: ADD 000021c2: MSTORE 000021c3: PUSH1 0xc0 000021c5: PUSH1 0xa0 000021c7: DUP4 000021c8: ADD 000021c9: MSTORE 000021ca: PUSH2 0x21d6 000021cd: PUSH1 0xc0 000021cf: DUP4 000021d0: ADD 000021d1: DUP5 000021d2: PUSH2 0x1d9c 000021d5: JUMP 000021d6: JUMPDEST 000021d7: SWAP9 000021d8: SWAP8 000021d9: POP 000021da: POP 000021db: POP 000021dc: POP 000021dd: POP 000021de: POP 000021df: POP 000021e0: POP 000021e1: JUMP 000021e2: JUMPDEST 000021e3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002204: PUSH1 0x00 00002206: MSTORE 00002207: PUSH1 0x41 00002209: PUSH1 0x04 0000220b: MSTORE 0000220c: PUSH1 0x24 0000220e: PUSH1 0x00 00002210: REVERT 00002211: JUMPDEST 00002212: PUSH1 0x00 00002214: PUSH1 0x20 00002216: DUP3 00002217: DUP5 00002218: SUB 00002219: SLT 0000221a: ISZERO 0000221b: PUSH2 0x2223 0000221e: JUMPI 0000221f: PUSH1 0x00 00002221: DUP1 00002222: REVERT 00002223: JUMPDEST 00002224: DUP2 00002225: MLOAD 00002226: DUP1 00002227: ISZERO 00002228: ISZERO 00002229: DUP2 0000222a: EQ 0000222b: PUSH2 0x1678 0000222e: JUMPI 0000222f: PUSH1 0x00 00002231: DUP1 00002232: REVERT 00002233: JUMPDEST 00002234: PUSH1 0x00 00002236: DUP3 00002237: MLOAD 00002238: PUSH2 0x2245 0000223b: DUP2 0000223c: DUP5 0000223d: PUSH1 0x20 0000223f: DUP8 00002240: ADD 00002241: PUSH2 0x1d70 00002244: JUMP 00002245: JUMPDEST 00002246: SWAP2 00002247: SWAP1 00002248: SWAP2 00002249: ADD 0000224a: SWAP3 0000224b: SWAP2 0000224c: POP 0000224d: POP 0000224e: JUMP 0000224f: INVALID 00002250: LOG1 00002251: PUSH5 0x736f6c6343 00002257: STOP 00002258: ADDMOD 00002259: UNKNOWN(0x0F) 0000225a: STOP 0000225b: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x58264813afb0865d9cc2be93b13322440f84881d9976c238417acca1f0a3d923
call_targets:
0x404133edf24f56b7dd9c6d89fb56bb35244461b4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x58264813afb0865d9cc2be93b13322440f84881d9976c238417acca1f0a3d923",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x404133edf24f56b7dd9c6d89fb56bb35244461b4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x927ede2d",
"selector": "0x927ede2d",
"calldata_variants": [
"0x927ede2d",
"0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1635f5fd",
"selector": "0x1635f5fd",
"calldata_variants": [
"0x1635f5fd",
"0x1635f5fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x540abf73",
"selector": "0x540abf73",
"calldata_variants": [
"0x540abf73",
"0x540abf730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1270,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2028,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4599,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1300,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2509,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x58264813afb0865d9cc2be93b13322440f84881d9976c238417acca1f0a3d923
call_targets:
0x404133edf24f56b7dd9c6d89fb56bb35244461b4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x58264813afb0865d9cc2be93b13322440f84881d9976c238417acca1f0a3d923",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x404133edf24f56b7dd9c6d89fb56bb35244461b4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8f601f66",
"selector": "0x8f601f66",
"calldata_variants": [
"0x8f601f66",
"0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x927ede2d",
"selector": "0x927ede2d",
"calldata_variants": [
"0x927ede2d",
"0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe11013dd",
"selector": "0xe11013dd",
"calldata_variants": [
"0xe11013dd",
"0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7f46ddb2",
"selector": "0x7f46ddb2",
"calldata_variants": [
"0x7f46ddb2",
"0x7f46ddb20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x87087623",
"selector": "0x87087623",
"calldata_variants": [
"0x87087623",
"0x870876230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1635f5fd",
"selector": "0x1635f5fd",
"calldata_variants": [
"0x1635f5fd",
"0x1635f5fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x540abf73",
"selector": "0x540abf73",
"calldata_variants": [
"0x540abf73",
"0x540abf730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1270,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2028,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4599,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1300,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2509,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 8
}
|