019b477e-b8e6-71bc-aa4a-e48e50b32142
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 |
|---|---|---|---|---|
| 23513 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23514 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107737 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107738 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107739 | detector.run | complete | 1 / 3 | 1 week ago |
| 107740 | validation.fork | complete | 1 / 3 | 1 week ago |
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 0x0102 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x99c6d2de 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdcec3294 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdcec3294 0000002f: EQ 00000030: PUSH2 0x06b0 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xde0c4d2e 0000003a: EQ 0000003b: PUSH2 0x072b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe86dea4a 00000045: EQ 00000046: PUSH2 0x07be 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf4f876a6 00000050: EQ 00000051: PUSH2 0x07e9 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf6a3bcad 0000005b: EQ 0000005c: PUSH2 0x0852 0000005f: JUMPI 00000060: PUSH2 0x0174 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x99c6d2de 0000006b: EQ 0000006c: PUSH2 0x043a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9e281a98 00000076: EQ 00000077: PUSH2 0x0492 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xace55fec 00000081: EQ 00000082: PUSH2 0x04ed 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb9b6ac05 0000008c: EQ 0000008d: PUSH2 0x0544 00000090: JUMPI 00000091: PUSH2 0x0174 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8b4ebb43 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8b4ebb43 000000a7: EQ 000000a8: PUSH2 0x0279 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x030f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x93dcd021 000000bd: EQ 000000be: PUSH2 0x0366 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x99a5d747 000000c8: EQ 000000c9: PUSH2 0x03eb 000000cc: JUMPI 000000cd: PUSH2 0x0174 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x180b0d7e 000000d8: EQ 000000d9: PUSH2 0x0179 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x21babba7 000000e3: EQ 000000e4: PUSH2 0x01a4 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x22843f95 000000ee: EQ 000000ef: PUSH2 0x01cf 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x2740c197 000000f9: EQ 000000fa: PUSH2 0x0234 000000fd: JUMPI 000000fe: PUSH2 0x0174 00000101: JUMP 00000102: JUMPDEST 00000103: CALLDATASIZE 00000104: PUSH2 0x0174 00000107: JUMPI 00000108: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 00000129: CALLER 0000012a: CALLVALUE 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: DUP1 0000012f: DUP4 00000130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000145: AND 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: DUP2 0000015d: MSTORE 0000015e: PUSH1 0x20 00000160: ADD 00000161: DUP3 00000162: DUP2 00000163: MSTORE 00000164: PUSH1 0x20 00000166: ADD 00000167: SWAP3 00000168: POP 00000169: POP 0000016a: POP 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: DUP1 0000016f: SWAP2 00000170: SUB 00000171: SWAP1 00000172: LOG1 00000173: STOP 00000174: JUMPDEST 00000175: PUSH1 0x00 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x018e 0000018a: PUSH2 0x08c8 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: DUP1 00000193: DUP3 00000194: DUP2 00000195: MSTORE 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP2 0000019a: POP 0000019b: POP 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: DUP1 000001a0: SWAP2 000001a1: SUB 000001a2: SWAP1 000001a3: RETURN 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x01b9 000001b5: PUSH2 0x08ce 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: DUP1 000001be: DUP3 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: SWAP2 000001c5: POP 000001c6: POP 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x021e 000001e0: PUSH1 0x04 000001e2: DUP1 000001e3: CALLDATASIZE 000001e4: SUB 000001e5: PUSH1 0x20 000001e7: DUP2 000001e8: LT 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: DUP2 000001f4: ADD 000001f5: SWAP1 000001f6: DUP1 000001f7: DUP1 000001f8: CALLDATALOAD 000001f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020e: AND 0000020f: SWAP1 00000210: PUSH1 0x20 00000212: ADD 00000213: SWAP1 00000214: SWAP3 00000215: SWAP2 00000216: SWAP1 00000217: POP 00000218: POP 00000219: POP 0000021a: PUSH2 0x08db 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: DUP1 00000223: DUP3 00000224: DUP2 00000225: MSTORE 00000226: PUSH1 0x20 00000228: ADD 00000229: SWAP2 0000022a: POP 0000022b: POP 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: SWAP2 00000231: SUB 00000232: SWAP1 00000233: RETURN 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0277 00000245: PUSH1 0x04 00000247: DUP1 00000248: CALLDATASIZE 00000249: SUB 0000024a: PUSH1 0x40 0000024c: DUP2 0000024d: LT 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: DUP2 00000259: ADD 0000025a: SWAP1 0000025b: DUP1 0000025c: DUP1 0000025d: CALLDATALOAD 0000025e: SWAP1 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP1 00000263: SWAP3 00000264: SWAP2 00000265: SWAP1 00000266: DUP1 00000267: CALLDATALOAD 00000268: SWAP1 00000269: PUSH1 0x20 0000026b: ADD 0000026c: SWAP1 0000026d: SWAP3 0000026e: SWAP2 0000026f: SWAP1 00000270: POP 00000271: POP 00000272: POP 00000273: PUSH2 0x092f 00000276: JUMP 00000277: JUMPDEST 00000278: STOP 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x02f2 0000028a: PUSH1 0x04 0000028c: DUP1 0000028d: CALLDATASIZE 0000028e: SUB 0000028f: PUSH1 0x60 00000291: DUP2 00000292: LT 00000293: ISZERO 00000294: PUSH2 0x029c 00000297: JUMPI 00000298: PUSH1 0x00 0000029a: DUP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: DUP2 0000029e: ADD 0000029f: SWAP1 000002a0: DUP1 000002a1: DUP1 000002a2: CALLDATALOAD 000002a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b8: AND 000002b9: SWAP1 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: SWAP1 000002be: SWAP3 000002bf: SWAP2 000002c0: SWAP1 000002c1: DUP1 000002c2: CALLDATALOAD 000002c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d8: AND 000002d9: SWAP1 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: SWAP3 000002df: SWAP2 000002e0: SWAP1 000002e1: DUP1 000002e2: CALLDATALOAD 000002e3: SWAP1 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: SWAP1 000002e8: SWAP3 000002e9: SWAP2 000002ea: SWAP1 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: PUSH2 0x0a04 000002f1: JUMP 000002f2: JUMPDEST 000002f3: PUSH1 0x40 000002f5: MLOAD 000002f6: DUP1 000002f7: DUP4 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: DUP3 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP3 00000304: POP 00000305: POP 00000306: POP 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP1 0000030b: SWAP2 0000030c: SUB 0000030d: SWAP1 0000030e: RETURN 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x0324 00000320: PUSH2 0x0abf 00000323: JUMP 00000324: JUMPDEST 00000325: PUSH1 0x40 00000327: MLOAD 00000328: DUP1 00000329: DUP3 0000032a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033f: AND 00000340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000355: AND 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP2 0000035c: POP 0000035d: POP 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: DUP1 00000362: SWAP2 00000363: SUB 00000364: SWAP1 00000365: RETURN 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0372 0000036d: JUMPI 0000036e: PUSH1 0x00 00000370: DUP1 00000371: REVERT 00000372: JUMPDEST 00000373: POP 00000374: PUSH2 0x03d5 00000377: PUSH1 0x04 00000379: DUP1 0000037a: CALLDATASIZE 0000037b: SUB 0000037c: PUSH1 0x40 0000037e: DUP2 0000037f: LT 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: DUP2 0000038b: ADD 0000038c: SWAP1 0000038d: DUP1 0000038e: DUP1 0000038f: CALLDATALOAD 00000390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a5: AND 000003a6: SWAP1 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: SWAP1 000003ab: SWAP3 000003ac: SWAP2 000003ad: SWAP1 000003ae: DUP1 000003af: CALLDATALOAD 000003b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c5: AND 000003c6: SWAP1 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP1 000003cb: SWAP3 000003cc: SWAP2 000003cd: SWAP1 000003ce: POP 000003cf: POP 000003d0: POP 000003d1: PUSH2 0x0ae5 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: DUP1 000003da: DUP3 000003db: DUP2 000003dc: MSTORE 000003dd: PUSH1 0x20 000003df: ADD 000003e0: SWAP2 000003e1: POP 000003e2: POP 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: DUP1 000003e7: SWAP2 000003e8: SUB 000003e9: SWAP1 000003ea: RETURN 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x0424 000003fc: PUSH1 0x04 000003fe: DUP1 000003ff: CALLDATASIZE 00000400: SUB 00000401: PUSH1 0x20 00000403: DUP2 00000404: LT 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: DUP2 00000410: ADD 00000411: SWAP1 00000412: DUP1 00000413: DUP1 00000414: CALLDATALOAD 00000415: SWAP1 00000416: PUSH1 0x20 00000418: ADD 00000419: SWAP1 0000041a: SWAP3 0000041b: SWAP2 0000041c: SWAP1 0000041d: POP 0000041e: POP 0000041f: POP 00000420: PUSH2 0x0bff 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x40 00000427: MLOAD 00000428: DUP1 00000429: DUP3 0000042a: DUP2 0000042b: MSTORE 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP2 00000430: POP 00000431: POP 00000432: PUSH1 0x40 00000434: MLOAD 00000435: DUP1 00000436: SWAP2 00000437: SUB 00000438: SWAP1 00000439: RETURN 0000043a: JUMPDEST 0000043b: PUSH2 0x0490 0000043e: PUSH1 0x04 00000440: DUP1 00000441: CALLDATASIZE 00000442: SUB 00000443: PUSH1 0x60 00000445: DUP2 00000446: LT 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: DUP2 00000452: ADD 00000453: SWAP1 00000454: DUP1 00000455: DUP1 00000456: CALLDATALOAD 00000457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046c: AND 0000046d: SWAP1 0000046e: PUSH1 0x20 00000470: ADD 00000471: SWAP1 00000472: SWAP3 00000473: SWAP2 00000474: SWAP1 00000475: DUP1 00000476: CALLDATALOAD 00000477: SWAP1 00000478: PUSH1 0x20 0000047a: ADD 0000047b: SWAP1 0000047c: SWAP3 0000047d: SWAP2 0000047e: SWAP1 0000047f: DUP1 00000480: CALLDATALOAD 00000481: SWAP1 00000482: PUSH1 0x20 00000484: ADD 00000485: SWAP1 00000486: SWAP3 00000487: SWAP2 00000488: SWAP1 00000489: POP 0000048a: POP 0000048b: POP 0000048c: PUSH2 0x0ce1 0000048f: JUMP 00000490: JUMPDEST 00000491: STOP 00000492: JUMPDEST 00000493: CALLVALUE 00000494: DUP1 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: POP 000004a0: PUSH2 0x04eb 000004a3: PUSH1 0x04 000004a5: DUP1 000004a6: CALLDATASIZE 000004a7: SUB 000004a8: PUSH1 0x40 000004aa: DUP2 000004ab: LT 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: DUP2 000004b7: ADD 000004b8: SWAP1 000004b9: DUP1 000004ba: DUP1 000004bb: CALLDATALOAD 000004bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d1: AND 000004d2: SWAP1 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: SWAP1 000004d7: SWAP3 000004d8: SWAP2 000004d9: SWAP1 000004da: DUP1 000004db: CALLDATALOAD 000004dc: SWAP1 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP1 000004e1: SWAP3 000004e2: SWAP2 000004e3: SWAP1 000004e4: POP 000004e5: POP 000004e6: POP 000004e7: PUSH2 0x1569 000004ea: JUMP 000004eb: JUMPDEST 000004ec: STOP 000004ed: JUMPDEST 000004ee: CALLVALUE 000004ef: DUP1 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: POP 000004fb: PUSH2 0x0502 000004fe: PUSH2 0x186c 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH1 0x40 00000505: MLOAD 00000506: DUP1 00000507: DUP3 00000508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051d: AND 0000051e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000533: AND 00000534: DUP2 00000535: MSTORE 00000536: PUSH1 0x20 00000538: ADD 00000539: SWAP2 0000053a: POP 0000053b: POP 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: DUP1 00000540: SWAP2 00000541: SUB 00000542: SWAP1 00000543: RETURN 00000544: JUMPDEST 00000545: PUSH2 0x06ae 00000548: PUSH1 0x04 0000054a: DUP1 0000054b: CALLDATASIZE 0000054c: SUB 0000054d: PUSH1 0x60 0000054f: DUP2 00000550: LT 00000551: ISZERO 00000552: PUSH2 0x055a 00000555: JUMPI 00000556: PUSH1 0x00 00000558: DUP1 00000559: REVERT 0000055a: JUMPDEST 0000055b: DUP2 0000055c: ADD 0000055d: SWAP1 0000055e: DUP1 0000055f: DUP1 00000560: CALLDATALOAD 00000561: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000576: AND 00000577: SWAP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: SWAP1 0000057c: SWAP3 0000057d: SWAP2 0000057e: SWAP1 0000057f: DUP1 00000580: CALLDATALOAD 00000581: SWAP1 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP1 00000586: PUSH5 0x0100000000 0000058c: DUP2 0000058d: GT 0000058e: ISZERO 0000058f: PUSH2 0x0597 00000592: JUMPI 00000593: PUSH1 0x00 00000595: DUP1 00000596: REVERT 00000597: JUMPDEST 00000598: DUP3 00000599: ADD 0000059a: DUP4 0000059b: PUSH1 0x20 0000059d: DUP3 0000059e: ADD 0000059f: GT 000005a0: ISZERO 000005a1: PUSH2 0x05a9 000005a4: JUMPI 000005a5: PUSH1 0x00 000005a7: DUP1 000005a8: REVERT 000005a9: JUMPDEST 000005aa: DUP1 000005ab: CALLDATALOAD 000005ac: SWAP1 000005ad: PUSH1 0x20 000005af: ADD 000005b0: SWAP2 000005b1: DUP5 000005b2: PUSH1 0x20 000005b4: DUP4 000005b5: MUL 000005b6: DUP5 000005b7: ADD 000005b8: GT 000005b9: PUSH5 0x0100000000 000005bf: DUP4 000005c0: GT 000005c1: OR 000005c2: ISZERO 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: SWAP2 000005cd: SWAP1 000005ce: DUP1 000005cf: DUP1 000005d0: PUSH1 0x20 000005d2: MUL 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: PUSH1 0x40 000005d8: MLOAD 000005d9: SWAP1 000005da: DUP2 000005db: ADD 000005dc: PUSH1 0x40 000005de: MSTORE 000005df: DUP1 000005e0: SWAP4 000005e1: SWAP3 000005e2: SWAP2 000005e3: SWAP1 000005e4: DUP2 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x20 000005e9: ADD 000005ea: DUP4 000005eb: DUP4 000005ec: PUSH1 0x20 000005ee: MUL 000005ef: DUP1 000005f0: DUP3 000005f1: DUP5 000005f2: CALLDATACOPY 000005f3: PUSH1 0x00 000005f5: DUP2 000005f6: DUP5 000005f7: ADD 000005f8: MSTORE 000005f9: PUSH1 0x1f 000005fb: NOT 000005fc: PUSH1 0x1f 000005fe: DUP3 000005ff: ADD 00000600: AND 00000601: SWAP1 00000602: POP 00000603: DUP1 00000604: DUP4 00000605: ADD 00000606: SWAP3 00000607: POP 00000608: POP 00000609: POP 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: SWAP2 0000060f: SWAP3 00000610: SWAP2 00000611: SWAP3 00000612: SWAP1 00000613: DUP1 00000614: CALLDATALOAD 00000615: SWAP1 00000616: PUSH1 0x20 00000618: ADD 00000619: SWAP1 0000061a: PUSH5 0x0100000000 00000620: DUP2 00000621: GT 00000622: ISZERO 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: DUP3 0000062d: ADD 0000062e: DUP4 0000062f: PUSH1 0x20 00000631: DUP3 00000632: ADD 00000633: GT 00000634: ISZERO 00000635: PUSH2 0x063d 00000638: JUMPI 00000639: PUSH1 0x00 0000063b: DUP1 0000063c: REVERT 0000063d: JUMPDEST 0000063e: DUP1 0000063f: CALLDATALOAD 00000640: SWAP1 00000641: PUSH1 0x20 00000643: ADD 00000644: SWAP2 00000645: DUP5 00000646: PUSH1 0x20 00000648: DUP4 00000649: MUL 0000064a: DUP5 0000064b: ADD 0000064c: GT 0000064d: PUSH5 0x0100000000 00000653: DUP4 00000654: GT 00000655: OR 00000656: ISZERO 00000657: PUSH2 0x065f 0000065a: JUMPI 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: REVERT 0000065f: JUMPDEST 00000660: SWAP2 00000661: SWAP1 00000662: DUP1 00000663: DUP1 00000664: PUSH1 0x20 00000666: MUL 00000667: PUSH1 0x20 00000669: ADD 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: SWAP1 0000066e: DUP2 0000066f: ADD 00000670: PUSH1 0x40 00000672: MSTORE 00000673: DUP1 00000674: SWAP4 00000675: SWAP3 00000676: SWAP2 00000677: SWAP1 00000678: DUP2 00000679: DUP2 0000067a: MSTORE 0000067b: PUSH1 0x20 0000067d: ADD 0000067e: DUP4 0000067f: DUP4 00000680: PUSH1 0x20 00000682: MUL 00000683: DUP1 00000684: DUP3 00000685: DUP5 00000686: CALLDATACOPY 00000687: PUSH1 0x00 00000689: DUP2 0000068a: DUP5 0000068b: ADD 0000068c: MSTORE 0000068d: PUSH1 0x1f 0000068f: NOT 00000690: PUSH1 0x1f 00000692: DUP3 00000693: ADD 00000694: AND 00000695: SWAP1 00000696: POP 00000697: DUP1 00000698: DUP4 00000699: ADD 0000069a: SWAP3 0000069b: POP 0000069c: POP 0000069d: POP 0000069e: POP 0000069f: POP 000006a0: POP 000006a1: POP 000006a2: SWAP2 000006a3: SWAP3 000006a4: SWAP2 000006a5: SWAP3 000006a6: SWAP1 000006a7: POP 000006a8: POP 000006a9: POP 000006aa: PUSH2 0x1892 000006ad: JUMP 000006ae: JUMPDEST 000006af: STOP 000006b0: JUMPDEST 000006b1: CALLVALUE 000006b2: DUP1 000006b3: ISZERO 000006b4: PUSH2 0x06bc 000006b7: JUMPI 000006b8: PUSH1 0x00 000006ba: DUP1 000006bb: REVERT 000006bc: JUMPDEST 000006bd: POP 000006be: PUSH2 0x06e9 000006c1: PUSH1 0x04 000006c3: DUP1 000006c4: CALLDATASIZE 000006c5: SUB 000006c6: PUSH1 0x20 000006c8: DUP2 000006c9: LT 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: DUP2 000006d5: ADD 000006d6: SWAP1 000006d7: DUP1 000006d8: DUP1 000006d9: CALLDATALOAD 000006da: SWAP1 000006db: PUSH1 0x20 000006dd: ADD 000006de: SWAP1 000006df: SWAP3 000006e0: SWAP2 000006e1: SWAP1 000006e2: POP 000006e3: POP 000006e4: POP 000006e5: PUSH2 0x193f 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH1 0x40 000006ec: MLOAD 000006ed: DUP1 000006ee: DUP3 000006ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000704: AND 00000705: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071a: AND 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x20 0000071f: ADD 00000720: SWAP2 00000721: POP 00000722: POP 00000723: PUSH1 0x40 00000725: MLOAD 00000726: DUP1 00000727: SWAP2 00000728: SUB 00000729: SWAP1 0000072a: RETURN 0000072b: JUMPDEST 0000072c: CALLVALUE 0000072d: DUP1 0000072e: ISZERO 0000072f: PUSH2 0x0737 00000732: JUMPI 00000733: PUSH1 0x00 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: PUSH2 0x079a 0000073c: PUSH1 0x04 0000073e: DUP1 0000073f: CALLDATASIZE 00000740: SUB 00000741: PUSH1 0x40 00000743: DUP2 00000744: LT 00000745: ISZERO 00000746: PUSH2 0x074e 00000749: JUMPI 0000074a: PUSH1 0x00 0000074c: DUP1 0000074d: REVERT 0000074e: JUMPDEST 0000074f: DUP2 00000750: ADD 00000751: SWAP1 00000752: DUP1 00000753: DUP1 00000754: CALLDATALOAD 00000755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076a: AND 0000076b: SWAP1 0000076c: PUSH1 0x20 0000076e: ADD 0000076f: SWAP1 00000770: SWAP3 00000771: SWAP2 00000772: SWAP1 00000773: DUP1 00000774: CALLDATALOAD 00000775: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078a: AND 0000078b: SWAP1 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: SWAP1 00000790: SWAP3 00000791: SWAP2 00000792: SWAP1 00000793: POP 00000794: POP 00000795: POP 00000796: PUSH2 0x197b 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: DUP1 0000079f: DUP5 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: DUP4 000007a6: DUP2 000007a7: MSTORE 000007a8: PUSH1 0x20 000007aa: ADD 000007ab: DUP3 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: SWAP4 000007b2: POP 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: PUSH1 0x40 000007b8: MLOAD 000007b9: DUP1 000007ba: SWAP2 000007bb: SUB 000007bc: SWAP1 000007bd: RETURN 000007be: JUMPDEST 000007bf: CALLVALUE 000007c0: DUP1 000007c1: ISZERO 000007c2: PUSH2 0x07ca 000007c5: JUMPI 000007c6: PUSH1 0x00 000007c8: DUP1 000007c9: REVERT 000007ca: JUMPDEST 000007cb: POP 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x1a30 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x40 000007d6: MLOAD 000007d7: DUP1 000007d8: DUP3 000007d9: DUP2 000007da: MSTORE 000007db: PUSH1 0x20 000007dd: ADD 000007de: SWAP2 000007df: POP 000007e0: POP 000007e1: PUSH1 0x40 000007e3: MLOAD 000007e4: DUP1 000007e5: SWAP2 000007e6: SUB 000007e7: SWAP1 000007e8: RETURN 000007e9: JUMPDEST 000007ea: CALLVALUE 000007eb: DUP1 000007ec: ISZERO 000007ed: PUSH2 0x07f5 000007f0: JUMPI 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: REVERT 000007f5: JUMPDEST 000007f6: POP 000007f7: PUSH2 0x0838 000007fa: PUSH1 0x04 000007fc: DUP1 000007fd: CALLDATASIZE 000007fe: SUB 000007ff: PUSH1 0x20 00000801: DUP2 00000802: LT 00000803: ISZERO 00000804: PUSH2 0x080c 00000807: JUMPI 00000808: PUSH1 0x00 0000080a: DUP1 0000080b: REVERT 0000080c: JUMPDEST 0000080d: DUP2 0000080e: ADD 0000080f: SWAP1 00000810: DUP1 00000811: DUP1 00000812: CALLDATALOAD 00000813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000828: AND 00000829: SWAP1 0000082a: PUSH1 0x20 0000082c: ADD 0000082d: SWAP1 0000082e: SWAP3 0000082f: SWAP2 00000830: SWAP1 00000831: POP 00000832: POP 00000833: POP 00000834: PUSH2 0x1a36 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x40 0000083b: MLOAD 0000083c: DUP1 0000083d: DUP3 0000083e: ISZERO 0000083f: ISZERO 00000840: ISZERO 00000841: ISZERO 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x20 00000846: ADD 00000847: SWAP2 00000848: POP 00000849: POP 0000084a: PUSH1 0x40 0000084c: MLOAD 0000084d: DUP1 0000084e: SWAP2 0000084f: SUB 00000850: SWAP1 00000851: RETURN 00000852: JUMPDEST 00000853: CALLVALUE 00000854: DUP1 00000855: ISZERO 00000856: PUSH2 0x085e 00000859: JUMPI 0000085a: PUSH1 0x00 0000085c: DUP1 0000085d: REVERT 0000085e: JUMPDEST 0000085f: POP 00000860: PUSH2 0x08ab 00000863: PUSH1 0x04 00000865: DUP1 00000866: CALLDATASIZE 00000867: SUB 00000868: PUSH1 0x40 0000086a: DUP2 0000086b: LT 0000086c: ISZERO 0000086d: PUSH2 0x0875 00000870: JUMPI 00000871: PUSH1 0x00 00000873: DUP1 00000874: REVERT 00000875: JUMPDEST 00000876: DUP2 00000877: ADD 00000878: SWAP1 00000879: DUP1 0000087a: DUP1 0000087b: CALLDATALOAD 0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000891: AND 00000892: SWAP1 00000893: PUSH1 0x20 00000895: ADD 00000896: SWAP1 00000897: SWAP3 00000898: SWAP2 00000899: SWAP1 0000089a: DUP1 0000089b: CALLDATALOAD 0000089c: SWAP1 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: SWAP1 000008a1: SWAP3 000008a2: SWAP2 000008a3: SWAP1 000008a4: POP 000008a5: POP 000008a6: POP 000008a7: PUSH2 0x1a56 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: DUP1 000008b0: DUP4 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x20 000008b5: ADD 000008b6: DUP3 000008b7: DUP2 000008b8: MSTORE 000008b9: PUSH1 0x20 000008bb: ADD 000008bc: SWAP3 000008bd: POP 000008be: POP 000008bf: POP 000008c0: PUSH1 0x40 000008c2: MLOAD 000008c3: DUP1 000008c4: SWAP2 000008c5: SUB 000008c6: SWAP1 000008c7: RETURN 000008c8: JUMPDEST 000008c9: PUSH1 0x05 000008cb: SLOAD 000008cc: DUP2 000008cd: JUMP 000008ce: JUMPDEST 000008cf: PUSH1 0x00 000008d1: PUSH1 0x03 000008d3: DUP1 000008d4: SLOAD 000008d5: SWAP1 000008d6: POP 000008d7: SWAP1 000008d8: POP 000008d9: SWAP1 000008da: JUMP 000008db: JUMPDEST 000008dc: PUSH1 0x00 000008de: DUP1 000008df: PUSH1 0x01 000008e1: PUSH1 0x00 000008e3: DUP5 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: AND 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: SWAP1 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x20 0000091a: ADD 0000091b: PUSH1 0x00 0000091d: KECCAK256 0000091e: SWAP1 0000091f: POP 00000920: DUP1 00000921: PUSH1 0x00 00000923: ADD 00000924: DUP1 00000925: SLOAD 00000926: SWAP1 00000927: POP 00000928: SWAP2 00000929: POP 0000092a: POP 0000092b: SWAP2 0000092c: SWAP1 0000092d: POP 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH1 0x07 00000932: PUSH1 0x00 00000934: SWAP1 00000935: SLOAD 00000936: SWAP1 00000937: PUSH2 0x0100 0000093a: EXP 0000093b: SWAP1 0000093c: DIV 0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000952: AND 00000953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000968: AND 00000969: CALLER 0000096a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097f: AND 00000980: EQ 00000981: PUSH2 0x09f2 00000984: JUMPI 00000985: PUSH1 0x40 00000987: MLOAD 00000988: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009a9: DUP2 000009aa: MSTORE 000009ab: PUSH1 0x04 000009ad: ADD 000009ae: DUP1 000009af: DUP1 000009b0: PUSH1 0x20 000009b2: ADD 000009b3: DUP3 000009b4: DUP2 000009b5: SUB 000009b6: DUP3 000009b7: MSTORE 000009b8: PUSH1 0x15 000009ba: DUP2 000009bb: MSTORE 000009bc: PUSH1 0x20 000009be: ADD 000009bf: DUP1 000009c0: PUSH32 0x596f7520617265206e6f7420746865206f776e65720000000000000000000000 000009e1: DUP2 000009e2: MSTORE 000009e3: POP 000009e4: PUSH1 0x20 000009e6: ADD 000009e7: SWAP2 000009e8: POP 000009e9: POP 000009ea: PUSH1 0x40 000009ec: MLOAD 000009ed: DUP1 000009ee: SWAP2 000009ef: SUB 000009f0: SWAP1 000009f1: REVERT 000009f2: JUMPDEST 000009f3: DUP2 000009f4: PUSH1 0x04 000009f6: DUP2 000009f7: SWAP1 000009f8: SSTORE 000009f9: POP 000009fa: DUP1 000009fb: PUSH1 0x05 000009fd: DUP2 000009fe: SWAP1 000009ff: SSTORE 00000a00: POP 00000a01: POP 00000a02: POP 00000a03: JUMP 00000a04: JUMPDEST 00000a05: PUSH1 0x00 00000a07: DUP1 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: PUSH1 0x00 00000a0d: DUP8 00000a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a23: AND 00000a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a39: AND 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x20 00000a3e: ADD 00000a3f: SWAP1 00000a40: DUP2 00000a41: MSTORE 00000a42: PUSH1 0x20 00000a44: ADD 00000a45: PUSH1 0x00 00000a47: KECCAK256 00000a48: PUSH1 0x00 00000a4a: DUP7 00000a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a60: AND 00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a76: AND 00000a77: DUP2 00000a78: MSTORE 00000a79: PUSH1 0x20 00000a7b: ADD 00000a7c: SWAP1 00000a7d: DUP2 00000a7e: MSTORE 00000a7f: PUSH1 0x20 00000a81: ADD 00000a82: PUSH1 0x00 00000a84: KECCAK256 00000a85: SWAP1 00000a86: POP 00000a87: PUSH1 0x00 00000a89: DUP2 00000a8a: PUSH1 0x02 00000a8c: ADD 00000a8d: DUP6 00000a8e: DUP2 00000a8f: SLOAD 00000a90: DUP2 00000a91: LT 00000a92: PUSH2 0x0a97 00000a95: JUMPI 00000a96: INVALID 00000a97: JUMPDEST 00000a98: SWAP1 00000a99: PUSH1 0x00 00000a9b: MSTORE 00000a9c: PUSH1 0x20 00000a9e: PUSH1 0x00 00000aa0: KECCAK256 00000aa1: SWAP1 00000aa2: PUSH1 0x02 00000aa4: MUL 00000aa5: ADD 00000aa6: SWAP1 00000aa7: POP 00000aa8: DUP1 00000aa9: PUSH1 0x00 00000aab: ADD 00000aac: SLOAD 00000aad: DUP2 00000aae: PUSH1 0x01 00000ab0: ADD 00000ab1: SLOAD 00000ab2: SWAP4 00000ab3: POP 00000ab4: SWAP4 00000ab5: POP 00000ab6: POP 00000ab7: POP 00000ab8: SWAP4 00000ab9: POP 00000aba: SWAP4 00000abb: SWAP2 00000abc: POP 00000abd: POP 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH1 0x07 00000ac2: PUSH1 0x00 00000ac4: SWAP1 00000ac5: SLOAD 00000ac6: SWAP1 00000ac7: PUSH2 0x0100 00000aca: EXP 00000acb: SWAP1 00000acc: DIV 00000acd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae2: AND 00000ae3: DUP2 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x00 00000ae8: DUP1 00000ae9: PUSH1 0x00 00000aeb: DUP1 00000aec: DUP6 00000aed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b02: AND 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: AND 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: SWAP1 00000b1f: DUP2 00000b20: MSTORE 00000b21: PUSH1 0x20 00000b23: ADD 00000b24: PUSH1 0x00 00000b26: KECCAK256 00000b27: PUSH1 0x00 00000b29: DUP5 00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3f: AND 00000b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b55: AND 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: SWAP1 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: PUSH1 0x00 00000b63: KECCAK256 00000b64: SWAP1 00000b65: POP 00000b66: PUSH1 0x00 00000b68: DUP2 00000b69: PUSH1 0x02 00000b6b: ADD 00000b6c: DUP1 00000b6d: SLOAD 00000b6e: SWAP1 00000b6f: POP 00000b70: SWAP1 00000b71: POP 00000b72: PUSH1 0x00 00000b74: DUP1 00000b75: SWAP1 00000b76: POP 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: SWAP1 00000b7b: POP 00000b7c: JUMPDEST 00000b7d: DUP3 00000b7e: DUP2 00000b7f: LT 00000b80: ISZERO 00000b81: PUSH2 0x0bd9 00000b84: JUMPI 00000b85: PUSH1 0x00 00000b87: DUP5 00000b88: PUSH1 0x02 00000b8a: ADD 00000b8b: DUP3 00000b8c: DUP2 00000b8d: SLOAD 00000b8e: DUP2 00000b8f: LT 00000b90: PUSH2 0x0b95 00000b93: JUMPI 00000b94: INVALID 00000b95: JUMPDEST 00000b96: SWAP1 00000b97: PUSH1 0x00 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: PUSH1 0x00 00000b9e: KECCAK256 00000b9f: SWAP1 00000ba0: PUSH1 0x02 00000ba2: MUL 00000ba3: ADD 00000ba4: SWAP1 00000ba5: POP 00000ba6: TIMESTAMP 00000ba7: DUP2 00000ba8: PUSH1 0x00 00000baa: ADD 00000bab: SLOAD 00000bac: LT 00000bad: ISZERO 00000bae: PUSH2 0x0bcb 00000bb1: JUMPI 00000bb2: PUSH2 0x0bc8 00000bb5: DUP2 00000bb6: PUSH1 0x01 00000bb8: ADD 00000bb9: SLOAD 00000bba: DUP5 00000bbb: PUSH2 0x1ae4 00000bbe: SWAP1 00000bbf: SWAP2 00000bc0: SWAP1 00000bc1: PUSH4 0xffffffff 00000bc6: AND 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: SWAP3 00000bca: POP 00000bcb: JUMPDEST 00000bcc: POP 00000bcd: DUP1 00000bce: DUP1 00000bcf: PUSH1 0x01 00000bd1: ADD 00000bd2: SWAP2 00000bd3: POP 00000bd4: POP 00000bd5: PUSH2 0x0b7c 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: POP 00000bdb: PUSH2 0x0bf1 00000bde: DUP4 00000bdf: PUSH1 0x01 00000be1: ADD 00000be2: SLOAD 00000be3: DUP3 00000be4: PUSH2 0x1b6c 00000be7: SWAP1 00000be8: SWAP2 00000be9: SWAP1 00000bea: PUSH4 0xffffffff 00000bef: AND 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: SWAP1 00000bf3: POP 00000bf4: DUP1 00000bf5: SWAP4 00000bf6: POP 00000bf7: POP 00000bf8: POP 00000bf9: POP 00000bfa: SWAP3 00000bfb: SWAP2 00000bfc: POP 00000bfd: POP 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: PUSH1 0x00 00000c02: PUSH1 0x05 00000c04: SLOAD 00000c05: DUP3 00000c06: LT 00000c07: ISZERO 00000c08: PUSH2 0x0c79 00000c0b: JUMPI 00000c0c: PUSH1 0x40 00000c0e: MLOAD 00000c0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH1 0x04 00000c34: ADD 00000c35: DUP1 00000c36: DUP1 00000c37: PUSH1 0x20 00000c39: ADD 00000c3a: DUP3 00000c3b: DUP2 00000c3c: SUB 00000c3d: DUP3 00000c3e: MSTORE 00000c3f: PUSH1 0x14 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x20 00000c45: ADD 00000c46: DUP1 00000c47: PUSH32 0x4465706f73697420697320746f6f20736d616c6c000000000000000000000000 00000c68: DUP2 00000c69: MSTORE 00000c6a: POP 00000c6b: PUSH1 0x20 00000c6d: ADD 00000c6e: SWAP2 00000c6f: POP 00000c70: POP 00000c71: PUSH1 0x40 00000c73: MLOAD 00000c74: DUP1 00000c75: SWAP2 00000c76: SUB 00000c77: SWAP1 00000c78: REVERT 00000c79: JUMPDEST 00000c7a: PUSH1 0x00 00000c7c: PUSH2 0x0ca4 00000c7f: PUSH2 0x0c95 00000c82: PUSH1 0x04 00000c84: SLOAD 00000c85: PUSH1 0x05 00000c87: SLOAD 00000c88: PUSH2 0x1b6c 00000c8b: SWAP1 00000c8c: SWAP2 00000c8d: SWAP1 00000c8e: PUSH4 0xffffffff 00000c93: AND 00000c94: JUMP 00000c95: JUMPDEST 00000c96: DUP5 00000c97: PUSH2 0x1bb6 00000c9a: SWAP1 00000c9b: SWAP2 00000c9c: SWAP1 00000c9d: PUSH4 0xffffffff 00000ca2: AND 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: SWAP1 00000ca6: POP 00000ca7: PUSH1 0x00 00000ca9: PUSH2 0x0cbd 00000cac: PUSH1 0x05 00000cae: SLOAD 00000caf: DUP4 00000cb0: PUSH2 0x1c3c 00000cb3: SWAP1 00000cb4: SWAP2 00000cb5: SWAP1 00000cb6: PUSH4 0xffffffff 00000cbb: AND 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: SWAP1 00000cbf: POP 00000cc0: PUSH1 0x00 00000cc2: PUSH2 0x0cd4 00000cc5: DUP3 00000cc6: DUP7 00000cc7: PUSH2 0x1b6c 00000cca: SWAP1 00000ccb: SWAP2 00000ccc: SWAP1 00000ccd: PUSH4 0xffffffff 00000cd2: AND 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: SWAP1 00000cd6: POP 00000cd7: DUP1 00000cd8: SWAP4 00000cd9: POP 00000cda: POP 00000cdb: POP 00000cdc: POP 00000cdd: SWAP2 00000cde: SWAP1 00000cdf: POP 00000ce0: JUMP 00000ce1: JUMPDEST 00000ce2: PUSH5 0x02540be400 00000ce8: DUP2 00000ce9: LT 00000cea: PUSH2 0x0d3e 00000ced: JUMPI 00000cee: PUSH1 0x40 00000cf0: MLOAD 00000cf1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x04 00000d16: ADD 00000d17: DUP1 00000d18: DUP1 00000d19: PUSH1 0x20 00000d1b: ADD 00000d1c: DUP3 00000d1d: DUP2 00000d1e: SUB 00000d1f: DUP3 00000d20: MSTORE 00000d21: PUSH1 0x33 00000d23: DUP2 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: ADD 00000d28: DUP1 00000d29: PUSH2 0x1e0d 00000d2c: PUSH1 0x33 00000d2e: SWAP2 00000d2f: CODECOPY 00000d30: PUSH1 0x40 00000d32: ADD 00000d33: SWAP2 00000d34: POP 00000d35: POP 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: DUP1 00000d3a: SWAP2 00000d3b: SUB 00000d3c: SWAP1 00000d3d: REVERT 00000d3e: JUMPDEST 00000d3f: PUSH1 0x00 00000d41: DUP3 00000d42: GT 00000d43: PUSH2 0x0d97 00000d46: JUMPI 00000d47: PUSH1 0x40 00000d49: MLOAD 00000d4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d6b: DUP2 00000d6c: MSTORE 00000d6d: PUSH1 0x04 00000d6f: ADD 00000d70: DUP1 00000d71: DUP1 00000d72: PUSH1 0x20 00000d74: ADD 00000d75: DUP3 00000d76: DUP2 00000d77: SUB 00000d78: DUP3 00000d79: MSTORE 00000d7a: PUSH1 0x23 00000d7c: DUP2 00000d7d: MSTORE 00000d7e: PUSH1 0x20 00000d80: ADD 00000d81: DUP1 00000d82: PUSH2 0x1e40 00000d85: PUSH1 0x23 00000d87: SWAP2 00000d88: CODECOPY 00000d89: PUSH1 0x40 00000d8b: ADD 00000d8c: SWAP2 00000d8d: POP 00000d8e: POP 00000d8f: PUSH1 0x40 00000d91: MLOAD 00000d92: DUP1 00000d93: SWAP2 00000d94: SUB 00000d95: SWAP1 00000d96: REVERT 00000d97: JUMPDEST 00000d98: PUSH1 0x00 00000d9a: DUP4 00000d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db0: AND 00000db1: PUSH4 0xdd62ed3e 00000db6: CALLER 00000db7: ADDRESS 00000db8: PUSH1 0x40 00000dba: MLOAD 00000dbb: DUP4 00000dbc: PUSH4 0xffffffff 00000dc1: AND 00000dc2: PUSH1 0xe0 00000dc4: SHL 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x04 00000dc9: ADD 00000dca: DUP1 00000dcb: DUP4 00000dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de1: AND 00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df7: AND 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x20 00000dfc: ADD 00000dfd: DUP3 00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e13: AND 00000e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e29: AND 00000e2a: DUP2 00000e2b: MSTORE 00000e2c: PUSH1 0x20 00000e2e: ADD 00000e2f: SWAP3 00000e30: POP 00000e31: POP 00000e32: POP 00000e33: PUSH1 0x20 00000e35: PUSH1 0x40 00000e37: MLOAD 00000e38: DUP1 00000e39: DUP4 00000e3a: SUB 00000e3b: DUP2 00000e3c: DUP7 00000e3d: DUP1 00000e3e: EXTCODESIZE 00000e3f: ISZERO 00000e40: DUP1 00000e41: ISZERO 00000e42: PUSH2 0x0e4a 00000e45: JUMPI 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: REVERT 00000e4a: JUMPDEST 00000e4b: POP 00000e4c: GAS 00000e4d: STATICCALL 00000e4e: ISZERO 00000e4f: DUP1 00000e50: ISZERO 00000e51: PUSH2 0x0e5e 00000e54: JUMPI 00000e55: RETURNDATASIZE 00000e56: PUSH1 0x00 00000e58: DUP1 00000e59: RETURNDATACOPY 00000e5a: RETURNDATASIZE 00000e5b: PUSH1 0x00 00000e5d: REVERT 00000e5e: JUMPDEST 00000e5f: POP 00000e60: POP 00000e61: POP 00000e62: POP 00000e63: PUSH1 0x40 00000e65: MLOAD 00000e66: RETURNDATASIZE 00000e67: PUSH1 0x20 00000e69: DUP2 00000e6a: LT 00000e6b: ISZERO 00000e6c: PUSH2 0x0e74 00000e6f: JUMPI 00000e70: PUSH1 0x00 00000e72: DUP1 00000e73: REVERT 00000e74: JUMPDEST 00000e75: DUP2 00000e76: ADD 00000e77: SWAP1 00000e78: DUP1 00000e79: DUP1 00000e7a: MLOAD 00000e7b: SWAP1 00000e7c: PUSH1 0x20 00000e7e: ADD 00000e7f: SWAP1 00000e80: SWAP3 00000e81: SWAP2 00000e82: SWAP1 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: SWAP1 00000e87: POP 00000e88: DUP3 00000e89: DUP2 00000e8a: LT 00000e8b: ISZERO 00000e8c: PUSH2 0x0ee0 00000e8f: JUMPI 00000e90: PUSH1 0x40 00000e92: MLOAD 00000e93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb4: DUP2 00000eb5: MSTORE 00000eb6: PUSH1 0x04 00000eb8: ADD 00000eb9: DUP1 00000eba: DUP1 00000ebb: PUSH1 0x20 00000ebd: ADD 00000ebe: DUP3 00000ebf: DUP2 00000ec0: SUB 00000ec1: DUP3 00000ec2: MSTORE 00000ec3: PUSH1 0x22 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x20 00000ec9: ADD 00000eca: DUP1 00000ecb: PUSH2 0x1e63 00000ece: PUSH1 0x22 00000ed0: SWAP2 00000ed1: CODECOPY 00000ed2: PUSH1 0x40 00000ed4: ADD 00000ed5: SWAP2 00000ed6: POP 00000ed7: POP 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: DUP1 00000edc: SWAP2 00000edd: SUB 00000ede: SWAP1 00000edf: REVERT 00000ee0: JUMPDEST 00000ee1: PUSH1 0x00 00000ee3: PUSH2 0x0eeb 00000ee6: DUP5 00000ee7: PUSH2 0x0bff 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: SWAP1 00000eed: POP 00000eee: PUSH1 0x00 00000ef0: PUSH2 0x0f02 00000ef3: DUP3 00000ef4: DUP7 00000ef5: PUSH2 0x1b6c 00000ef8: SWAP1 00000ef9: SWAP2 00000efa: SWAP1 00000efb: PUSH4 0xffffffff 00000f00: AND 00000f01: JUMP 00000f02: JUMPDEST 00000f03: SWAP1 00000f04: POP 00000f05: DUP6 00000f06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1b: AND 00000f1c: PUSH4 0x23b872dd 00000f21: CALLER 00000f22: ADDRESS 00000f23: DUP5 00000f24: PUSH1 0x40 00000f26: MLOAD 00000f27: DUP5 00000f28: PUSH4 0xffffffff 00000f2d: AND 00000f2e: PUSH1 0xe0 00000f30: SHL 00000f31: DUP2 00000f32: MSTORE 00000f33: PUSH1 0x04 00000f35: ADD 00000f36: DUP1 00000f37: DUP5 00000f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4d: AND 00000f4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f63: AND 00000f64: DUP2 00000f65: MSTORE 00000f66: PUSH1 0x20 00000f68: ADD 00000f69: DUP4 00000f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7f: AND 00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f95: AND 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: ADD 00000f9b: DUP3 00000f9c: DUP2 00000f9d: MSTORE 00000f9e: PUSH1 0x20 00000fa0: ADD 00000fa1: SWAP4 00000fa2: POP 00000fa3: POP 00000fa4: POP 00000fa5: POP 00000fa6: PUSH1 0x20 00000fa8: PUSH1 0x40 00000faa: MLOAD 00000fab: DUP1 00000fac: DUP4 00000fad: SUB 00000fae: DUP2 00000faf: PUSH1 0x00 00000fb1: DUP8 00000fb2: DUP1 00000fb3: EXTCODESIZE 00000fb4: ISZERO 00000fb5: DUP1 00000fb6: ISZERO 00000fb7: PUSH2 0x0fbf 00000fba: JUMPI 00000fbb: PUSH1 0x00 00000fbd: DUP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: POP 00000fc1: GAS 00000fc2: CALL 00000fc3: ISZERO 00000fc4: DUP1 00000fc5: ISZERO 00000fc6: PUSH2 0x0fd3 00000fc9: JUMPI 00000fca: RETURNDATASIZE 00000fcb: PUSH1 0x00 00000fcd: DUP1 00000fce: RETURNDATACOPY 00000fcf: RETURNDATASIZE 00000fd0: PUSH1 0x00 00000fd2: REVERT 00000fd3: JUMPDEST 00000fd4: POP 00000fd5: POP 00000fd6: POP 00000fd7: POP 00000fd8: PUSH1 0x40 00000fda: MLOAD 00000fdb: RETURNDATASIZE 00000fdc: PUSH1 0x20 00000fde: DUP2 00000fdf: LT 00000fe0: ISZERO 00000fe1: PUSH2 0x0fe9 00000fe4: JUMPI 00000fe5: PUSH1 0x00 00000fe7: DUP1 00000fe8: REVERT 00000fe9: JUMPDEST 00000fea: DUP2 00000feb: ADD 00000fec: SWAP1 00000fed: DUP1 00000fee: DUP1 00000fef: MLOAD 00000ff0: SWAP1 00000ff1: PUSH1 0x20 00000ff3: ADD 00000ff4: SWAP1 00000ff5: SWAP3 00000ff6: SWAP2 00000ff7: SWAP1 00000ff8: POP 00000ff9: POP 00000ffa: POP 00000ffb: PUSH2 0x106c 00000ffe: JUMPI 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001023: DUP2 00001024: MSTORE 00001025: PUSH1 0x04 00001027: ADD 00001028: DUP1 00001029: DUP1 0000102a: PUSH1 0x20 0000102c: ADD 0000102d: DUP3 0000102e: DUP2 0000102f: SUB 00001030: DUP3 00001031: MSTORE 00001032: PUSH1 0x0f 00001034: DUP2 00001035: MSTORE 00001036: PUSH1 0x20 00001038: ADD 00001039: DUP1 0000103a: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 0000105b: DUP2 0000105c: MSTORE 0000105d: POP 0000105e: PUSH1 0x20 00001060: ADD 00001061: SWAP2 00001062: POP 00001063: POP 00001064: PUSH1 0x40 00001066: MLOAD 00001067: DUP1 00001068: SWAP2 00001069: SUB 0000106a: SWAP1 0000106b: REVERT 0000106c: JUMPDEST 0000106d: DUP6 0000106e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001083: AND 00001084: PUSH4 0x23b872dd 00001089: CALLER 0000108a: PUSH1 0x06 0000108c: PUSH1 0x00 0000108e: SWAP1 0000108f: SLOAD 00001090: SWAP1 00001091: PUSH2 0x0100 00001094: EXP 00001095: SWAP1 00001096: DIV 00001097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ac: AND 000010ad: DUP6 000010ae: PUSH1 0x40 000010b0: MLOAD 000010b1: DUP5 000010b2: PUSH4 0xffffffff 000010b7: AND 000010b8: PUSH1 0xe0 000010ba: SHL 000010bb: DUP2 000010bc: MSTORE 000010bd: PUSH1 0x04 000010bf: ADD 000010c0: DUP1 000010c1: DUP5 000010c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d7: AND 000010d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ed: AND 000010ee: DUP2 000010ef: MSTORE 000010f0: PUSH1 0x20 000010f2: ADD 000010f3: DUP4 000010f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001109: AND 0000110a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000111f: AND 00001120: DUP2 00001121: MSTORE 00001122: PUSH1 0x20 00001124: ADD 00001125: DUP3 00001126: DUP2 00001127: MSTORE 00001128: PUSH1 0x20 0000112a: ADD 0000112b: SWAP4 0000112c: POP 0000112d: POP 0000112e: POP 0000112f: POP 00001130: PUSH1 0x20 00001132: PUSH1 0x40 00001134: MLOAD 00001135: DUP1 00001136: DUP4 00001137: SUB 00001138: DUP2 00001139: PUSH1 0x00 0000113b: DUP8 0000113c: DUP1 0000113d: EXTCODESIZE 0000113e: ISZERO 0000113f: DUP1 00001140: ISZERO 00001141: PUSH2 0x1149 00001144: JUMPI 00001145: PUSH1 0x00 00001147: DUP1 00001148: REVERT 00001149: JUMPDEST 0000114a: POP 0000114b: GAS 0000114c: CALL 0000114d: ISZERO 0000114e: DUP1 0000114f: ISZERO 00001150: PUSH2 0x115d 00001153: JUMPI 00001154: RETURNDATASIZE 00001155: PUSH1 0x00 00001157: DUP1 00001158: RETURNDATACOPY 00001159: RETURNDATASIZE 0000115a: PUSH1 0x00 0000115c: REVERT 0000115d: JUMPDEST 0000115e: POP 0000115f: POP 00001160: POP 00001161: POP 00001162: PUSH1 0x40 00001164: MLOAD 00001165: RETURNDATASIZE 00001166: PUSH1 0x20 00001168: DUP2 00001169: LT 0000116a: ISZERO 0000116b: PUSH2 0x1173 0000116e: JUMPI 0000116f: PUSH1 0x00 00001171: DUP1 00001172: REVERT 00001173: JUMPDEST 00001174: DUP2 00001175: ADD 00001176: SWAP1 00001177: DUP1 00001178: DUP1 00001179: MLOAD 0000117a: SWAP1 0000117b: PUSH1 0x20 0000117d: ADD 0000117e: SWAP1 0000117f: SWAP3 00001180: SWAP2 00001181: SWAP1 00001182: POP 00001183: POP 00001184: POP 00001185: PUSH2 0x11f6 00001188: JUMPI 00001189: PUSH1 0x40 0000118b: MLOAD 0000118c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011ad: DUP2 000011ae: MSTORE 000011af: PUSH1 0x04 000011b1: ADD 000011b2: DUP1 000011b3: DUP1 000011b4: PUSH1 0x20 000011b6: ADD 000011b7: DUP3 000011b8: DUP2 000011b9: SUB 000011ba: DUP3 000011bb: MSTORE 000011bc: PUSH1 0x0f 000011be: DUP2 000011bf: MSTORE 000011c0: PUSH1 0x20 000011c2: ADD 000011c3: DUP1 000011c4: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 000011e5: DUP2 000011e6: MSTORE 000011e7: POP 000011e8: PUSH1 0x20 000011ea: ADD 000011eb: SWAP2 000011ec: POP 000011ed: POP 000011ee: PUSH1 0x40 000011f0: MLOAD 000011f1: DUP1 000011f2: SWAP2 000011f3: SUB 000011f4: SWAP1 000011f5: REVERT 000011f6: JUMPDEST 000011f7: PUSH1 0x02 000011f9: PUSH1 0x00 000011fb: DUP8 000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001211: AND 00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001227: AND 00001228: DUP2 00001229: MSTORE 0000122a: PUSH1 0x20 0000122c: ADD 0000122d: SWAP1 0000122e: DUP2 0000122f: MSTORE 00001230: PUSH1 0x20 00001232: ADD 00001233: PUSH1 0x00 00001235: KECCAK256 00001236: PUSH1 0x00 00001238: SWAP1 00001239: SLOAD 0000123a: SWAP1 0000123b: PUSH2 0x0100 0000123e: EXP 0000123f: SWAP1 00001240: DIV 00001241: PUSH1 0xff 00001243: AND 00001244: PUSH2 0x1303 00001247: JUMPI 00001248: PUSH1 0x03 0000124a: DUP7 0000124b: SWAP1 0000124c: DUP1 0000124d: PUSH1 0x01 0000124f: DUP2 00001250: SLOAD 00001251: ADD 00001252: DUP1 00001253: DUP3 00001254: SSTORE 00001255: DUP1 00001256: SWAP2 00001257: POP 00001258: POP 00001259: PUSH1 0x01 0000125b: SWAP1 0000125c: SUB 0000125d: SWAP1 0000125e: PUSH1 0x00 00001260: MSTORE 00001261: PUSH1 0x20 00001263: PUSH1 0x00 00001265: KECCAK256 00001266: ADD 00001267: PUSH1 0x00 00001269: SWAP1 0000126a: SWAP2 0000126b: SWAP1 0000126c: SWAP2 0000126d: SWAP1 0000126e: SWAP2 0000126f: PUSH2 0x0100 00001272: EXP 00001273: DUP2 00001274: SLOAD 00001275: DUP2 00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128b: MUL 0000128c: NOT 0000128d: AND 0000128e: SWAP1 0000128f: DUP4 00001290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a5: AND 000012a6: MUL 000012a7: OR 000012a8: SWAP1 000012a9: SSTORE 000012aa: POP 000012ab: PUSH1 0x01 000012ad: PUSH1 0x02 000012af: PUSH1 0x00 000012b1: DUP9 000012b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c7: AND 000012c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012dd: AND 000012de: DUP2 000012df: MSTORE 000012e0: PUSH1 0x20 000012e2: ADD 000012e3: SWAP1 000012e4: DUP2 000012e5: MSTORE 000012e6: PUSH1 0x20 000012e8: ADD 000012e9: PUSH1 0x00 000012eb: KECCAK256 000012ec: PUSH1 0x00 000012ee: PUSH2 0x0100 000012f1: EXP 000012f2: DUP2 000012f3: SLOAD 000012f4: DUP2 000012f5: PUSH1 0xff 000012f7: MUL 000012f8: NOT 000012f9: AND 000012fa: SWAP1 000012fb: DUP4 000012fc: ISZERO 000012fd: ISZERO 000012fe: MUL 000012ff: OR 00001300: SWAP1 00001301: SSTORE 00001302: POP 00001303: JUMPDEST 00001304: PUSH1 0x00 00001306: PUSH1 0x01 00001308: PUSH1 0x00 0000130a: DUP9 0000130b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001320: AND 00001321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001336: AND 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: ADD 0000133c: SWAP1 0000133d: DUP2 0000133e: MSTORE 0000133f: PUSH1 0x20 00001341: ADD 00001342: PUSH1 0x00 00001344: KECCAK256 00001345: SWAP1 00001346: POP 00001347: PUSH1 0x00 00001349: DUP2 0000134a: PUSH1 0x01 0000134c: ADD 0000134d: PUSH1 0x00 0000134f: DUP8 00001350: DUP2 00001351: MSTORE 00001352: PUSH1 0x20 00001354: ADD 00001355: SWAP1 00001356: DUP2 00001357: MSTORE 00001358: PUSH1 0x20 0000135a: ADD 0000135b: PUSH1 0x00 0000135d: KECCAK256 0000135e: SLOAD 0000135f: GT 00001360: ISZERO 00001361: PUSH2 0x13aa 00001364: JUMPI 00001365: PUSH2 0x138c 00001368: DUP3 00001369: DUP3 0000136a: PUSH1 0x01 0000136c: ADD 0000136d: PUSH1 0x00 0000136f: DUP9 00001370: DUP2 00001371: MSTORE 00001372: PUSH1 0x20 00001374: ADD 00001375: SWAP1 00001376: DUP2 00001377: MSTORE 00001378: PUSH1 0x20 0000137a: ADD 0000137b: PUSH1 0x00 0000137d: KECCAK256 0000137e: SLOAD 0000137f: PUSH2 0x1ae4 00001382: SWAP1 00001383: SWAP2 00001384: SWAP1 00001385: PUSH4 0xffffffff 0000138a: AND 0000138b: JUMP 0000138c: JUMPDEST 0000138d: DUP2 0000138e: PUSH1 0x01 00001390: ADD 00001391: PUSH1 0x00 00001393: DUP8 00001394: DUP2 00001395: MSTORE 00001396: PUSH1 0x20 00001398: ADD 00001399: SWAP1 0000139a: DUP2 0000139b: MSTORE 0000139c: PUSH1 0x20 0000139e: ADD 0000139f: PUSH1 0x00 000013a1: KECCAK256 000013a2: DUP2 000013a3: SWAP1 000013a4: SSTORE 000013a5: POP 000013a6: PUSH2 0x13f0 000013a9: JUMP 000013aa: JUMPDEST 000013ab: DUP1 000013ac: PUSH1 0x00 000013ae: ADD 000013af: DUP6 000013b0: SWAP1 000013b1: DUP1 000013b2: PUSH1 0x01 000013b4: DUP2 000013b5: SLOAD 000013b6: ADD 000013b7: DUP1 000013b8: DUP3 000013b9: SSTORE 000013ba: DUP1 000013bb: SWAP2 000013bc: POP 000013bd: POP 000013be: PUSH1 0x01 000013c0: SWAP1 000013c1: SUB 000013c2: SWAP1 000013c3: PUSH1 0x00 000013c5: MSTORE 000013c6: PUSH1 0x20 000013c8: PUSH1 0x00 000013ca: KECCAK256 000013cb: ADD 000013cc: PUSH1 0x00 000013ce: SWAP1 000013cf: SWAP2 000013d0: SWAP1 000013d1: SWAP2 000013d2: SWAP1 000013d3: SWAP2 000013d4: POP 000013d5: SSTORE 000013d6: DUP2 000013d7: DUP2 000013d8: PUSH1 0x01 000013da: ADD 000013db: PUSH1 0x00 000013dd: DUP8 000013de: DUP2 000013df: MSTORE 000013e0: PUSH1 0x20 000013e2: ADD 000013e3: SWAP1 000013e4: DUP2 000013e5: MSTORE 000013e6: PUSH1 0x20 000013e8: ADD 000013e9: PUSH1 0x00 000013eb: KECCAK256 000013ec: DUP2 000013ed: SWAP1 000013ee: SSTORE 000013ef: POP 000013f0: JUMPDEST 000013f1: PUSH1 0x00 000013f3: DUP1 000013f4: PUSH1 0x00 000013f6: DUP10 000013f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140c: AND 0000140d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001422: AND 00001423: DUP2 00001424: MSTORE 00001425: PUSH1 0x20 00001427: ADD 00001428: SWAP1 00001429: DUP2 0000142a: MSTORE 0000142b: PUSH1 0x20 0000142d: ADD 0000142e: PUSH1 0x00 00001430: KECCAK256 00001431: PUSH1 0x00 00001433: CALLER 00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001449: AND 0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145f: AND 00001460: DUP2 00001461: MSTORE 00001462: PUSH1 0x20 00001464: ADD 00001465: SWAP1 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x20 0000146a: ADD 0000146b: PUSH1 0x00 0000146d: KECCAK256 0000146e: SWAP1 0000146f: POP 00001470: PUSH2 0x1486 00001473: DUP4 00001474: DUP3 00001475: PUSH1 0x00 00001477: ADD 00001478: SLOAD 00001479: PUSH2 0x1ae4 0000147c: SWAP1 0000147d: SWAP2 0000147e: SWAP1 0000147f: PUSH4 0xffffffff 00001484: AND 00001485: JUMP 00001486: JUMPDEST 00001487: DUP2 00001488: PUSH1 0x00 0000148a: ADD 0000148b: DUP2 0000148c: SWAP1 0000148d: SSTORE 0000148e: POP 0000148f: PUSH1 0x00 00001491: DUP2 00001492: PUSH1 0x02 00001494: ADD 00001495: SWAP1 00001496: POP 00001497: DUP1 00001498: PUSH1 0x40 0000149a: MLOAD 0000149b: DUP1 0000149c: PUSH1 0x40 0000149e: ADD 0000149f: PUSH1 0x40 000014a1: MSTORE 000014a2: DUP1 000014a3: DUP10 000014a4: DUP2 000014a5: MSTORE 000014a6: PUSH1 0x20 000014a8: ADD 000014a9: DUP7 000014aa: DUP2 000014ab: MSTORE 000014ac: POP 000014ad: SWAP1 000014ae: DUP1 000014af: PUSH1 0x01 000014b1: DUP2 000014b2: SLOAD 000014b3: ADD 000014b4: DUP1 000014b5: DUP3 000014b6: SSTORE 000014b7: DUP1 000014b8: SWAP2 000014b9: POP 000014ba: POP 000014bb: PUSH1 0x01 000014bd: SWAP1 000014be: SUB 000014bf: SWAP1 000014c0: PUSH1 0x00 000014c2: MSTORE 000014c3: PUSH1 0x20 000014c5: PUSH1 0x00 000014c7: KECCAK256 000014c8: SWAP1 000014c9: PUSH1 0x02 000014cb: MUL 000014cc: ADD 000014cd: PUSH1 0x00 000014cf: SWAP1 000014d0: SWAP2 000014d1: SWAP1 000014d2: SWAP2 000014d3: SWAP1 000014d4: SWAP2 000014d5: POP 000014d6: PUSH1 0x00 000014d8: DUP3 000014d9: ADD 000014da: MLOAD 000014db: DUP2 000014dc: PUSH1 0x00 000014de: ADD 000014df: SSTORE 000014e0: PUSH1 0x20 000014e2: DUP3 000014e3: ADD 000014e4: MLOAD 000014e5: DUP2 000014e6: PUSH1 0x01 000014e8: ADD 000014e9: SSTORE 000014ea: POP 000014eb: POP 000014ec: PUSH32 0xd6bbc989766039cda6ca06b473aabd4d296527497aadc6808e640e053427d2b3 0000150d: DUP10 0000150e: DUP10 0000150f: DUP10 00001510: PUSH1 0x40 00001512: MLOAD 00001513: DUP1 00001514: DUP5 00001515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152a: AND 0000152b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001540: AND 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x20 00001545: ADD 00001546: DUP4 00001547: DUP2 00001548: MSTORE 00001549: PUSH1 0x20 0000154b: ADD 0000154c: DUP3 0000154d: DUP2 0000154e: MSTORE 0000154f: PUSH1 0x20 00001551: ADD 00001552: SWAP4 00001553: POP 00001554: POP 00001555: POP 00001556: POP 00001557: PUSH1 0x40 00001559: MLOAD 0000155a: DUP1 0000155b: SWAP2 0000155c: SUB 0000155d: SWAP1 0000155e: LOG1 0000155f: POP 00001560: POP 00001561: POP 00001562: POP 00001563: POP 00001564: POP 00001565: POP 00001566: POP 00001567: POP 00001568: JUMP 00001569: JUMPDEST 0000156a: PUSH1 0x00 0000156c: DUP2 0000156d: GT 0000156e: PUSH2 0x15c2 00001571: JUMPI 00001572: PUSH1 0x40 00001574: MLOAD 00001575: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001596: DUP2 00001597: MSTORE 00001598: PUSH1 0x04 0000159a: ADD 0000159b: DUP1 0000159c: DUP1 0000159d: PUSH1 0x20 0000159f: ADD 000015a0: DUP3 000015a1: DUP2 000015a2: SUB 000015a3: DUP3 000015a4: MSTORE 000015a5: PUSH1 0x24 000015a7: DUP2 000015a8: MSTORE 000015a9: PUSH1 0x20 000015ab: ADD 000015ac: DUP1 000015ad: PUSH2 0x1ed3 000015b0: PUSH1 0x24 000015b2: SWAP2 000015b3: CODECOPY 000015b4: PUSH1 0x40 000015b6: ADD 000015b7: SWAP2 000015b8: POP 000015b9: POP 000015ba: PUSH1 0x40 000015bc: MLOAD 000015bd: DUP1 000015be: SWAP2 000015bf: SUB 000015c0: SWAP1 000015c1: REVERT 000015c2: JUMPDEST 000015c3: PUSH1 0x00 000015c5: PUSH2 0x15ce 000015c8: DUP4 000015c9: CALLER 000015ca: PUSH2 0x0ae5 000015cd: JUMP 000015ce: JUMPDEST 000015cf: SWAP1 000015d0: POP 000015d1: PUSH1 0x00 000015d3: DUP1 000015d4: PUSH1 0x00 000015d6: DUP6 000015d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ec: AND 000015ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001602: AND 00001603: DUP2 00001604: MSTORE 00001605: PUSH1 0x20 00001607: ADD 00001608: SWAP1 00001609: DUP2 0000160a: MSTORE 0000160b: PUSH1 0x20 0000160d: ADD 0000160e: PUSH1 0x00 00001610: KECCAK256 00001611: PUSH1 0x00 00001613: CALLER 00001614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001629: AND 0000162a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163f: AND 00001640: DUP2 00001641: MSTORE 00001642: PUSH1 0x20 00001644: ADD 00001645: SWAP1 00001646: DUP2 00001647: MSTORE 00001648: PUSH1 0x20 0000164a: ADD 0000164b: PUSH1 0x00 0000164d: KECCAK256 0000164e: SWAP1 0000164f: POP 00001650: PUSH2 0x1666 00001653: DUP4 00001654: DUP3 00001655: PUSH1 0x01 00001657: ADD 00001658: SLOAD 00001659: PUSH2 0x1ae4 0000165c: SWAP1 0000165d: SWAP2 0000165e: SWAP1 0000165f: PUSH4 0xffffffff 00001664: AND 00001665: JUMP 00001666: JUMPDEST 00001667: DUP2 00001668: PUSH1 0x01 0000166a: ADD 0000166b: DUP2 0000166c: SWAP1 0000166d: SSTORE 0000166e: POP 0000166f: DUP2 00001670: DUP4 00001671: GT 00001672: ISZERO 00001673: PUSH2 0x16c7 00001676: JUMPI 00001677: PUSH1 0x40 00001679: MLOAD 0000167a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000169b: DUP2 0000169c: MSTORE 0000169d: PUSH1 0x04 0000169f: ADD 000016a0: DUP1 000016a1: DUP1 000016a2: PUSH1 0x20 000016a4: ADD 000016a5: DUP3 000016a6: DUP2 000016a7: SUB 000016a8: DUP3 000016a9: MSTORE 000016aa: PUSH1 0x38 000016ac: DUP2 000016ad: MSTORE 000016ae: PUSH1 0x20 000016b0: ADD 000016b1: DUP1 000016b2: PUSH2 0x1ef7 000016b5: PUSH1 0x38 000016b7: SWAP2 000016b8: CODECOPY 000016b9: PUSH1 0x40 000016bb: ADD 000016bc: SWAP2 000016bd: POP 000016be: POP 000016bf: PUSH1 0x40 000016c1: MLOAD 000016c2: DUP1 000016c3: SWAP2 000016c4: SUB 000016c5: SWAP1 000016c6: REVERT 000016c7: JUMPDEST 000016c8: DUP4 000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016de: AND 000016df: PUSH4 0xa9059cbb 000016e4: CALLER 000016e5: DUP6 000016e6: PUSH1 0x40 000016e8: MLOAD 000016e9: DUP4 000016ea: PUSH4 0xffffffff 000016ef: AND 000016f0: PUSH1 0xe0 000016f2: SHL 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x04 000016f7: ADD 000016f8: DUP1 000016f9: DUP4 000016fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170f: AND 00001710: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001725: AND 00001726: DUP2 00001727: MSTORE 00001728: PUSH1 0x20 0000172a: ADD 0000172b: DUP3 0000172c: DUP2 0000172d: MSTORE 0000172e: PUSH1 0x20 00001730: ADD 00001731: SWAP3 00001732: POP 00001733: POP 00001734: POP 00001735: PUSH1 0x20 00001737: PUSH1 0x40 00001739: MLOAD 0000173a: DUP1 0000173b: DUP4 0000173c: SUB 0000173d: DUP2 0000173e: PUSH1 0x00 00001740: DUP8 00001741: DUP1 00001742: EXTCODESIZE 00001743: ISZERO 00001744: DUP1 00001745: ISZERO 00001746: PUSH2 0x174e 00001749: JUMPI 0000174a: PUSH1 0x00 0000174c: DUP1 0000174d: REVERT 0000174e: JUMPDEST 0000174f: POP 00001750: GAS 00001751: CALL 00001752: ISZERO 00001753: DUP1 00001754: ISZERO 00001755: PUSH2 0x1762 00001758: JUMPI 00001759: RETURNDATASIZE 0000175a: PUSH1 0x00 0000175c: DUP1 0000175d: RETURNDATACOPY 0000175e: RETURNDATASIZE 0000175f: PUSH1 0x00 00001761: REVERT 00001762: JUMPDEST 00001763: POP 00001764: POP 00001765: POP 00001766: POP 00001767: PUSH1 0x40 00001769: MLOAD 0000176a: RETURNDATASIZE 0000176b: PUSH1 0x20 0000176d: DUP2 0000176e: LT 0000176f: ISZERO 00001770: PUSH2 0x1778 00001773: JUMPI 00001774: PUSH1 0x00 00001776: DUP1 00001777: REVERT 00001778: JUMPDEST 00001779: DUP2 0000177a: ADD 0000177b: SWAP1 0000177c: DUP1 0000177d: DUP1 0000177e: MLOAD 0000177f: SWAP1 00001780: PUSH1 0x20 00001782: ADD 00001783: SWAP1 00001784: SWAP3 00001785: SWAP2 00001786: SWAP1 00001787: POP 00001788: POP 00001789: POP 0000178a: PUSH2 0x17fb 0000178d: JUMPI 0000178e: PUSH1 0x40 00001790: MLOAD 00001791: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017b2: DUP2 000017b3: MSTORE 000017b4: PUSH1 0x04 000017b6: ADD 000017b7: DUP1 000017b8: DUP1 000017b9: PUSH1 0x20 000017bb: ADD 000017bc: DUP3 000017bd: DUP2 000017be: SUB 000017bf: DUP3 000017c0: MSTORE 000017c1: PUSH1 0x0f 000017c3: DUP2 000017c4: MSTORE 000017c5: PUSH1 0x20 000017c7: ADD 000017c8: DUP1 000017c9: PUSH32 0x5472616e73666572206661696c65640000000000000000000000000000000000 000017ea: DUP2 000017eb: MSTORE 000017ec: POP 000017ed: PUSH1 0x20 000017ef: ADD 000017f0: SWAP2 000017f1: POP 000017f2: POP 000017f3: PUSH1 0x40 000017f5: MLOAD 000017f6: DUP1 000017f7: SWAP2 000017f8: SUB 000017f9: SWAP1 000017fa: REVERT 000017fb: JUMPDEST 000017fc: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 0000181d: DUP5 0000181e: DUP5 0000181f: PUSH1 0x40 00001821: MLOAD 00001822: DUP1 00001823: DUP4 00001824: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001839: AND 0000183a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184f: AND 00001850: DUP2 00001851: MSTORE 00001852: PUSH1 0x20 00001854: ADD 00001855: DUP3 00001856: DUP2 00001857: MSTORE 00001858: PUSH1 0x20 0000185a: ADD 0000185b: SWAP3 0000185c: POP 0000185d: POP 0000185e: POP 0000185f: PUSH1 0x40 00001861: MLOAD 00001862: DUP1 00001863: SWAP2 00001864: SUB 00001865: SWAP1 00001866: LOG1 00001867: POP 00001868: POP 00001869: POP 0000186a: POP 0000186b: JUMP 0000186c: JUMPDEST 0000186d: PUSH1 0x06 0000186f: PUSH1 0x00 00001871: SWAP1 00001872: SLOAD 00001873: SWAP1 00001874: PUSH2 0x0100 00001877: EXP 00001878: SWAP1 00001879: DIV 0000187a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188f: AND 00001890: DUP2 00001891: JUMP 00001892: JUMPDEST 00001893: DUP1 00001894: MLOAD 00001895: DUP3 00001896: MLOAD 00001897: EQ 00001898: PUSH2 0x18ec 0000189b: JUMPI 0000189c: PUSH1 0x40 0000189e: MLOAD 0000189f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018c0: DUP2 000018c1: MSTORE 000018c2: PUSH1 0x04 000018c4: ADD 000018c5: DUP1 000018c6: DUP1 000018c7: PUSH1 0x20 000018c9: ADD 000018ca: DUP3 000018cb: DUP2 000018cc: SUB 000018cd: DUP3 000018ce: MSTORE 000018cf: PUSH1 0x2d 000018d1: DUP2 000018d2: MSTORE 000018d3: PUSH1 0x20 000018d5: ADD 000018d6: DUP1 000018d7: PUSH2 0x1e85 000018da: PUSH1 0x2d 000018dc: SWAP2 000018dd: CODECOPY 000018de: PUSH1 0x40 000018e0: ADD 000018e1: SWAP2 000018e2: POP 000018e3: POP 000018e4: PUSH1 0x40 000018e6: MLOAD 000018e7: DUP1 000018e8: SWAP2 000018e9: SUB 000018ea: SWAP1 000018eb: REVERT 000018ec: JUMPDEST 000018ed: PUSH1 0x00 000018ef: DUP1 000018f0: SWAP1 000018f1: POP 000018f2: JUMPDEST 000018f3: DUP3 000018f4: MLOAD 000018f5: DUP2 000018f6: LT 000018f7: ISZERO 000018f8: PUSH2 0x1939 000018fb: JUMPI 000018fc: PUSH2 0x192c 000018ff: DUP5 00001900: DUP5 00001901: DUP4 00001902: DUP2 00001903: MLOAD 00001904: DUP2 00001905: LT 00001906: PUSH2 0x190b 00001909: JUMPI 0000190a: INVALID 0000190b: JUMPDEST 0000190c: PUSH1 0x20 0000190e: MUL 0000190f: PUSH1 0x20 00001911: ADD 00001912: ADD 00001913: MLOAD 00001914: DUP5 00001915: DUP5 00001916: DUP2 00001917: MLOAD 00001918: DUP2 00001919: LT 0000191a: PUSH2 0x191f 0000191d: JUMPI 0000191e: INVALID 0000191f: JUMPDEST 00001920: PUSH1 0x20 00001922: MUL 00001923: PUSH1 0x20 00001925: ADD 00001926: ADD 00001927: MLOAD 00001928: PUSH2 0x0ce1 0000192b: JUMP 0000192c: JUMPDEST 0000192d: DUP1 0000192e: DUP1 0000192f: PUSH1 0x01 00001931: ADD 00001932: SWAP2 00001933: POP 00001934: POP 00001935: PUSH2 0x18f2 00001938: JUMP 00001939: JUMPDEST 0000193a: POP 0000193b: POP 0000193c: POP 0000193d: POP 0000193e: JUMP 0000193f: JUMPDEST 00001940: PUSH1 0x03 00001942: DUP2 00001943: DUP2 00001944: SLOAD 00001945: DUP2 00001946: LT 00001947: PUSH2 0x194c 0000194a: JUMPI 0000194b: INVALID 0000194c: JUMPDEST 0000194d: SWAP1 0000194e: PUSH1 0x00 00001950: MSTORE 00001951: PUSH1 0x20 00001953: PUSH1 0x00 00001955: KECCAK256 00001956: ADD 00001957: PUSH1 0x00 00001959: SWAP2 0000195a: POP 0000195b: SLOAD 0000195c: SWAP1 0000195d: PUSH2 0x0100 00001960: EXP 00001961: SWAP1 00001962: DIV 00001963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001978: AND 00001979: DUP2 0000197a: JUMP 0000197b: JUMPDEST 0000197c: PUSH1 0x00 0000197e: DUP1 0000197f: PUSH1 0x00 00001981: DUP1 00001982: PUSH1 0x00 00001984: DUP1 00001985: DUP8 00001986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199b: AND 0000199c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b1: AND 000019b2: DUP2 000019b3: MSTORE 000019b4: PUSH1 0x20 000019b6: ADD 000019b7: SWAP1 000019b8: DUP2 000019b9: MSTORE 000019ba: PUSH1 0x20 000019bc: ADD 000019bd: PUSH1 0x00 000019bf: KECCAK256 000019c0: PUSH1 0x00 000019c2: DUP7 000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d8: AND 000019d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ee: AND 000019ef: DUP2 000019f0: MSTORE 000019f1: PUSH1 0x20 000019f3: ADD 000019f4: SWAP1 000019f5: DUP2 000019f6: MSTORE 000019f7: PUSH1 0x20 000019f9: ADD 000019fa: PUSH1 0x00 000019fc: KECCAK256 000019fd: SWAP1 000019fe: POP 000019ff: PUSH1 0x00 00001a01: DUP2 00001a02: PUSH1 0x00 00001a04: ADD 00001a05: SLOAD 00001a06: SWAP1 00001a07: POP 00001a08: PUSH1 0x00 00001a0a: DUP3 00001a0b: PUSH1 0x01 00001a0d: ADD 00001a0e: SLOAD 00001a0f: SWAP1 00001a10: POP 00001a11: PUSH1 0x00 00001a13: DUP4 00001a14: PUSH1 0x02 00001a16: ADD 00001a17: DUP1 00001a18: SLOAD 00001a19: SWAP1 00001a1a: POP 00001a1b: SWAP1 00001a1c: POP 00001a1d: DUP3 00001a1e: DUP3 00001a1f: DUP3 00001a20: SWAP7 00001a21: POP 00001a22: SWAP7 00001a23: POP 00001a24: SWAP7 00001a25: POP 00001a26: POP 00001a27: POP 00001a28: POP 00001a29: POP 00001a2a: SWAP3 00001a2b: POP 00001a2c: SWAP3 00001a2d: POP 00001a2e: SWAP3 00001a2f: JUMP 00001a30: JUMPDEST 00001a31: PUSH1 0x04 00001a33: SLOAD 00001a34: DUP2 00001a35: JUMP 00001a36: JUMPDEST 00001a37: PUSH1 0x02 00001a39: PUSH1 0x20 00001a3b: MSTORE 00001a3c: DUP1 00001a3d: PUSH1 0x00 00001a3f: MSTORE 00001a40: PUSH1 0x40 00001a42: PUSH1 0x00 00001a44: KECCAK256 00001a45: PUSH1 0x00 00001a47: SWAP2 00001a48: POP 00001a49: SLOAD 00001a4a: SWAP1 00001a4b: PUSH2 0x0100 00001a4e: EXP 00001a4f: SWAP1 00001a50: DIV 00001a51: PUSH1 0xff 00001a53: AND 00001a54: DUP2 00001a55: JUMP 00001a56: JUMPDEST 00001a57: PUSH1 0x00 00001a59: DUP1 00001a5a: PUSH1 0x00 00001a5c: PUSH1 0x01 00001a5e: PUSH1 0x00 00001a60: DUP7 00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a76: AND 00001a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a8c: AND 00001a8d: DUP2 00001a8e: MSTORE 00001a8f: PUSH1 0x20 00001a91: ADD 00001a92: SWAP1 00001a93: DUP2 00001a94: MSTORE 00001a95: PUSH1 0x20 00001a97: ADD 00001a98: PUSH1 0x00 00001a9a: KECCAK256 00001a9b: SWAP1 00001a9c: POP 00001a9d: PUSH1 0x00 00001a9f: DUP2 00001aa0: PUSH1 0x00 00001aa2: ADD 00001aa3: DUP6 00001aa4: DUP2 00001aa5: SLOAD 00001aa6: DUP2 00001aa7: LT 00001aa8: PUSH2 0x1aad 00001aab: JUMPI 00001aac: INVALID 00001aad: JUMPDEST 00001aae: SWAP1 00001aaf: PUSH1 0x00 00001ab1: MSTORE 00001ab2: PUSH1 0x20 00001ab4: PUSH1 0x00 00001ab6: KECCAK256 00001ab7: ADD 00001ab8: SLOAD 00001ab9: SWAP1 00001aba: POP 00001abb: PUSH1 0x00 00001abd: DUP3 00001abe: PUSH1 0x01 00001ac0: ADD 00001ac1: PUSH1 0x00 00001ac3: DUP4 00001ac4: DUP2 00001ac5: MSTORE 00001ac6: PUSH1 0x20 00001ac8: ADD 00001ac9: SWAP1 00001aca: DUP2 00001acb: MSTORE 00001acc: PUSH1 0x20 00001ace: ADD 00001acf: PUSH1 0x00 00001ad1: KECCAK256 00001ad2: SLOAD 00001ad3: SWAP1 00001ad4: POP 00001ad5: DUP2 00001ad6: DUP2 00001ad7: SWAP5 00001ad8: POP 00001ad9: SWAP5 00001ada: POP 00001adb: POP 00001adc: POP 00001add: POP 00001ade: SWAP3 00001adf: POP 00001ae0: SWAP3 00001ae1: SWAP1 00001ae2: POP 00001ae3: JUMP 00001ae4: JUMPDEST 00001ae5: PUSH1 0x00 00001ae7: DUP1 00001ae8: DUP3 00001ae9: DUP5 00001aea: ADD 00001aeb: SWAP1 00001aec: POP 00001aed: DUP4 00001aee: DUP2 00001aef: LT 00001af0: ISZERO 00001af1: PUSH2 0x1b62 00001af4: JUMPI 00001af5: PUSH1 0x40 00001af7: MLOAD 00001af8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b19: DUP2 00001b1a: MSTORE 00001b1b: PUSH1 0x04 00001b1d: ADD 00001b1e: DUP1 00001b1f: DUP1 00001b20: PUSH1 0x20 00001b22: ADD 00001b23: DUP3 00001b24: DUP2 00001b25: SUB 00001b26: DUP3 00001b27: MSTORE 00001b28: PUSH1 0x1b 00001b2a: DUP2 00001b2b: MSTORE 00001b2c: PUSH1 0x20 00001b2e: ADD 00001b2f: DUP1 00001b30: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001b51: DUP2 00001b52: MSTORE 00001b53: POP 00001b54: PUSH1 0x20 00001b56: ADD 00001b57: SWAP2 00001b58: POP 00001b59: POP 00001b5a: PUSH1 0x40 00001b5c: MLOAD 00001b5d: DUP1 00001b5e: SWAP2 00001b5f: SUB 00001b60: SWAP1 00001b61: REVERT 00001b62: JUMPDEST 00001b63: DUP1 00001b64: SWAP2 00001b65: POP 00001b66: POP 00001b67: SWAP3 00001b68: SWAP2 00001b69: POP 00001b6a: POP 00001b6b: JUMP 00001b6c: JUMPDEST 00001b6d: PUSH1 0x00 00001b6f: PUSH2 0x1bae 00001b72: DUP4 00001b73: DUP4 00001b74: PUSH1 0x40 00001b76: MLOAD 00001b77: DUP1 00001b78: PUSH1 0x40 00001b7a: ADD 00001b7b: PUSH1 0x40 00001b7d: MSTORE 00001b7e: DUP1 00001b7f: PUSH1 0x1e 00001b81: DUP2 00001b82: MSTORE 00001b83: PUSH1 0x20 00001b85: ADD 00001b86: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001ba7: DUP2 00001ba8: MSTORE 00001ba9: POP 00001baa: PUSH2 0x1c86 00001bad: JUMP 00001bae: JUMPDEST 00001baf: SWAP1 00001bb0: POP 00001bb1: SWAP3 00001bb2: SWAP2 00001bb3: POP 00001bb4: POP 00001bb5: JUMP 00001bb6: JUMPDEST 00001bb7: PUSH1 0x00 00001bb9: DUP1 00001bba: DUP4 00001bbb: EQ 00001bbc: ISZERO 00001bbd: PUSH2 0x1bc9 00001bc0: JUMPI 00001bc1: PUSH1 0x00 00001bc3: SWAP1 00001bc4: POP 00001bc5: PUSH2 0x1c36 00001bc8: JUMP 00001bc9: JUMPDEST 00001bca: PUSH1 0x00 00001bcc: DUP3 00001bcd: DUP5 00001bce: MUL 00001bcf: SWAP1 00001bd0: POP 00001bd1: DUP3 00001bd2: DUP5 00001bd3: DUP3 00001bd4: DUP2 00001bd5: PUSH2 0x1bda 00001bd8: JUMPI 00001bd9: INVALID 00001bda: JUMPDEST 00001bdb: DIV 00001bdc: EQ 00001bdd: PUSH2 0x1c31 00001be0: JUMPI 00001be1: PUSH1 0x40 00001be3: MLOAD 00001be4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c05: DUP2 00001c06: MSTORE 00001c07: PUSH1 0x04 00001c09: ADD 00001c0a: DUP1 00001c0b: DUP1 00001c0c: PUSH1 0x20 00001c0e: ADD 00001c0f: DUP3 00001c10: DUP2 00001c11: SUB 00001c12: DUP3 00001c13: MSTORE 00001c14: PUSH1 0x21 00001c16: DUP2 00001c17: MSTORE 00001c18: PUSH1 0x20 00001c1a: ADD 00001c1b: DUP1 00001c1c: PUSH2 0x1eb2 00001c1f: PUSH1 0x21 00001c21: SWAP2 00001c22: CODECOPY 00001c23: PUSH1 0x40 00001c25: ADD 00001c26: SWAP2 00001c27: POP 00001c28: POP 00001c29: PUSH1 0x40 00001c2b: MLOAD 00001c2c: DUP1 00001c2d: SWAP2 00001c2e: SUB 00001c2f: SWAP1 00001c30: REVERT 00001c31: JUMPDEST 00001c32: DUP1 00001c33: SWAP2 00001c34: POP 00001c35: POP 00001c36: JUMPDEST 00001c37: SWAP3 00001c38: SWAP2 00001c39: POP 00001c3a: POP 00001c3b: JUMP 00001c3c: JUMPDEST 00001c3d: PUSH1 0x00 00001c3f: PUSH2 0x1c7e 00001c42: DUP4 00001c43: DUP4 00001c44: PUSH1 0x40 00001c46: MLOAD 00001c47: DUP1 00001c48: PUSH1 0x40 00001c4a: ADD 00001c4b: PUSH1 0x40 00001c4d: MSTORE 00001c4e: DUP1 00001c4f: PUSH1 0x1a 00001c51: DUP2 00001c52: MSTORE 00001c53: PUSH1 0x20 00001c55: ADD 00001c56: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001c77: DUP2 00001c78: MSTORE 00001c79: POP 00001c7a: PUSH2 0x1d46 00001c7d: JUMP 00001c7e: JUMPDEST 00001c7f: SWAP1 00001c80: POP 00001c81: SWAP3 00001c82: SWAP2 00001c83: POP 00001c84: POP 00001c85: JUMP 00001c86: JUMPDEST 00001c87: PUSH1 0x00 00001c89: DUP4 00001c8a: DUP4 00001c8b: GT 00001c8c: ISZERO 00001c8d: DUP3 00001c8e: SWAP1 00001c8f: PUSH2 0x1d33 00001c92: JUMPI 00001c93: PUSH1 0x40 00001c95: MLOAD 00001c96: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001cb7: DUP2 00001cb8: MSTORE 00001cb9: PUSH1 0x04 00001cbb: ADD 00001cbc: DUP1 00001cbd: DUP1 00001cbe: PUSH1 0x20 00001cc0: ADD 00001cc1: DUP3 00001cc2: DUP2 00001cc3: SUB 00001cc4: DUP3 00001cc5: MSTORE 00001cc6: DUP4 00001cc7: DUP2 00001cc8: DUP2 00001cc9: MLOAD 00001cca: DUP2 00001ccb: MSTORE 00001ccc: PUSH1 0x20 00001cce: ADD 00001ccf: SWAP2 00001cd0: POP 00001cd1: DUP1 00001cd2: MLOAD 00001cd3: SWAP1 00001cd4: PUSH1 0x20 00001cd6: ADD 00001cd7: SWAP1 00001cd8: DUP1 00001cd9: DUP4 00001cda: DUP4 00001cdb: PUSH1 0x00 00001cdd: JUMPDEST 00001cde: DUP4 00001cdf: DUP2 00001ce0: LT 00001ce1: ISZERO 00001ce2: PUSH2 0x1cf8 00001ce5: JUMPI 00001ce6: DUP1 00001ce7: DUP3 00001ce8: ADD 00001ce9: MLOAD 00001cea: DUP2 00001ceb: DUP5 00001cec: ADD 00001ced: MSTORE 00001cee: PUSH1 0x20 00001cf0: DUP2 00001cf1: ADD 00001cf2: SWAP1 00001cf3: POP 00001cf4: PUSH2 0x1cdd 00001cf7: JUMP 00001cf8: JUMPDEST 00001cf9: POP 00001cfa: POP 00001cfb: POP 00001cfc: POP 00001cfd: SWAP1 00001cfe: POP 00001cff: SWAP1 00001d00: DUP2 00001d01: ADD 00001d02: SWAP1 00001d03: PUSH1 0x1f 00001d05: AND 00001d06: DUP1 00001d07: ISZERO 00001d08: PUSH2 0x1d25 00001d0b: JUMPI 00001d0c: DUP1 00001d0d: DUP3 00001d0e: SUB 00001d0f: DUP1 00001d10: MLOAD 00001d11: PUSH1 0x01 00001d13: DUP4 00001d14: PUSH1 0x20 00001d16: SUB 00001d17: PUSH2 0x0100 00001d1a: EXP 00001d1b: SUB 00001d1c: NOT 00001d1d: AND 00001d1e: DUP2 00001d1f: MSTORE 00001d20: PUSH1 0x20 00001d22: ADD 00001d23: SWAP2 00001d24: POP 00001d25: JUMPDEST 00001d26: POP 00001d27: SWAP3 00001d28: POP 00001d29: POP 00001d2a: POP 00001d2b: PUSH1 0x40 00001d2d: MLOAD 00001d2e: DUP1 00001d2f: SWAP2 00001d30: SUB 00001d31: SWAP1 00001d32: REVERT 00001d33: JUMPDEST 00001d34: POP 00001d35: PUSH1 0x00 00001d37: DUP4 00001d38: DUP6 00001d39: SUB 00001d3a: SWAP1 00001d3b: POP 00001d3c: DUP1 00001d3d: SWAP2 00001d3e: POP 00001d3f: POP 00001d40: SWAP4 00001d41: SWAP3 00001d42: POP 00001d43: POP 00001d44: POP 00001d45: JUMP 00001d46: JUMPDEST 00001d47: PUSH1 0x00 00001d49: DUP1 00001d4a: DUP4 00001d4b: GT 00001d4c: DUP3 00001d4d: SWAP1 00001d4e: PUSH2 0x1df2 00001d51: JUMPI 00001d52: PUSH1 0x40 00001d54: MLOAD 00001d55: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d76: DUP2 00001d77: MSTORE 00001d78: PUSH1 0x04 00001d7a: ADD 00001d7b: DUP1 00001d7c: DUP1 00001d7d: PUSH1 0x20 00001d7f: ADD 00001d80: DUP3 00001d81: DUP2 00001d82: SUB 00001d83: DUP3 00001d84: MSTORE 00001d85: DUP4 00001d86: DUP2 00001d87: DUP2 00001d88: MLOAD 00001d89: DUP2 00001d8a: MSTORE 00001d8b: PUSH1 0x20 00001d8d: ADD 00001d8e: SWAP2 00001d8f: POP 00001d90: DUP1 00001d91: MLOAD 00001d92: SWAP1 00001d93: PUSH1 0x20 00001d95: ADD 00001d96: SWAP1 00001d97: DUP1 00001d98: DUP4 00001d99: DUP4 00001d9a: PUSH1 0x00 00001d9c: JUMPDEST 00001d9d: DUP4 00001d9e: DUP2 00001d9f: LT 00001da0: ISZERO 00001da1: PUSH2 0x1db7 00001da4: JUMPI 00001da5: DUP1 00001da6: DUP3 00001da7: ADD 00001da8: MLOAD 00001da9: DUP2 00001daa: DUP5 00001dab: ADD 00001dac: MSTORE 00001dad: PUSH1 0x20 00001daf: DUP2 00001db0: ADD 00001db1: SWAP1 00001db2: POP 00001db3: PUSH2 0x1d9c 00001db6: JUMP 00001db7: JUMPDEST 00001db8: POP 00001db9: POP 00001dba: POP 00001dbb: POP 00001dbc: SWAP1 00001dbd: POP 00001dbe: SWAP1 00001dbf: DUP2 00001dc0: ADD 00001dc1: SWAP1 00001dc2: PUSH1 0x1f 00001dc4: AND 00001dc5: DUP1 00001dc6: ISZERO 00001dc7: PUSH2 0x1de4 00001dca: JUMPI 00001dcb: DUP1 00001dcc: DUP3 00001dcd: SUB 00001dce: DUP1 00001dcf: MLOAD 00001dd0: PUSH1 0x01 00001dd2: DUP4 00001dd3: PUSH1 0x20 00001dd5: SUB 00001dd6: PUSH2 0x0100 00001dd9: EXP 00001dda: SUB 00001ddb: NOT 00001ddc: AND 00001ddd: DUP2 00001dde: MSTORE 00001ddf: PUSH1 0x20 00001de1: ADD 00001de2: SWAP2 00001de3: POP 00001de4: JUMPDEST 00001de5: POP 00001de6: SWAP3 00001de7: POP 00001de8: POP 00001de9: POP 00001dea: PUSH1 0x40 00001dec: MLOAD 00001ded: DUP1 00001dee: SWAP2 00001def: SUB 00001df0: SWAP1 00001df1: REVERT 00001df2: JUMPDEST 00001df3: POP 00001df4: PUSH1 0x00 00001df6: DUP4 00001df7: DUP6 00001df8: DUP2 00001df9: PUSH2 0x1dfe 00001dfc: JUMPI 00001dfd: INVALID 00001dfe: JUMPDEST 00001dff: DIV 00001e00: SWAP1 00001e01: POP 00001e02: DUP1 00001e03: SWAP2 00001e04: POP 00001e05: POP 00001e06: SWAP4 00001e07: SWAP3 00001e08: POP 00001e09: POP 00001e0a: POP 00001e0b: JUMP 00001e0c: INVALID 00001e0d: GASLIMIT 00001e0e: PUSH15 0x74657220616e20756e69782074696d 00001e1e: PUSH6 0x7374616d7020 00001e25: PUSH10 0x6e207365636f6e64732c 00001e30: KECCAK256 00001e31: PUSH15 0x6f74206d696c697365636f6e647359 00001e41: PUSH16 0x757220617474656d7074696e6720746f 00001e52: KECCAK256 00001e53: PUSH21 0x726173666572203020746f6b656e73596f75206e65 00001e69: PUSH6 0x6420746f2073 00001e70: PUSH6 0x742061206869 00001e77: PUSH8 0x68657220616c6c6f 00001e80: PUSH24 0x616e6365416d6f756e7420616e6420646174652061727261 00001e99: PUSH26 0x73206861766520646966666572696e67206c656e677468735361 00001eb4: PUSH7 0x654d6174683a20 00001ebc: PUSH14 0x756c7469706c69636174696f6e20 00001ecb: PUSH16 0x766572666c6f77596f75722061747465 00001edc: PUSH14 0x7074696e6720746f207769746864 00001eeb: PUSH19 0x6177203020746f6b656e73596f757220617474 00001eff: PUSH6 0x6d7074696e67 00001f06: KECCAK256 00001f07: PUSH21 0x6f207769746864726177206d6f7265207468616e20 00001f1d: PUSH26 0x6f75206861766520617661696c61626c65a26469706673582212 00001f38: KECCAK256 00001f39: DELEGATECALL 00001f3a: CALLVALUE 00001f3b: UNKNOWN(0xB1) 00001f3c: XOR 00001f3d: UNKNOWN(0xEC) 00001f3e: CODESIZE 00001f3f: GAS 00001f40: MSTORE 00001f41: BLOBHASH 00001f42: UNKNOWN(0xC2) 00001f43: UNKNOWN(0x23) 00001f44: UNKNOWN(0xD3) 00001f45: PUSH15 0x955551f0955402f1488ac1aada89cb 00001f55: SWAP7 00001f56: UNKNOWN(0x1F) 00001f57: UNKNOWN(0x4F) 00001f58: STATICCALL 00001f59: PUSH5 0x736f6c6343 00001f5f: STOP 00001f60: MOD 00001f61: SIGNEXTEND 00001f62: STOP 00001f63: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x47a3bdf8f33033ae8159b9c1ec788e588ec401909263fc5900f4c9d13004559b
call_targets:
0x17e00383a843a9922bca3b280c0ade9f8ba48449
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x47a3bdf8f33033ae8159b9c1ec788e588ec401909263fc5900f4c9d13004559b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x17e00383a843a9922bca3b280c0ade9f8ba48449"
],
"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": "0xdcec3294",
"selector": "0xdcec3294",
"calldata_variants": [
"0xdcec3294",
"0xdcec32940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde0c4d2e",
"selector": "0xde0c4d2e",
"calldata_variants": [
"0xde0c4d2e",
"0xde0c4d2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe86dea4a",
"selector": "0xe86dea4a",
"calldata_variants": [
"0xe86dea4a",
"0xe86dea4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4f876a6",
"selector": "0xf4f876a6",
"calldata_variants": [
"0xf4f876a6",
"0xf4f876a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6a3bcad",
"selector": "0xf6a3bcad",
"calldata_variants": [
"0xf6a3bcad",
"0xf6a3bcad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99c6d2de",
"selector": "0x99c6d2de",
"calldata_variants": [
"0x99c6d2de",
"0x99c6d2de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e281a98",
"selector": "0x9e281a98",
"calldata_variants": [
"0x9e281a98",
"0x9e281a980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xace55fec",
"selector": "0xace55fec",
"calldata_variants": [
"0xace55fec",
"0xace55fec0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4034,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5969,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2409,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x47a3bdf8f33033ae8159b9c1ec788e588ec401909263fc5900f4c9d13004559b
call_targets:
0x17e00383a843a9922bca3b280c0ade9f8ba48449
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x47a3bdf8f33033ae8159b9c1ec788e588ec401909263fc5900f4c9d13004559b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x17e00383a843a9922bca3b280c0ade9f8ba48449"
],
"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": "0xdcec3294",
"selector": "0xdcec3294",
"calldata_variants": [
"0xdcec3294",
"0xdcec32940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde0c4d2e",
"selector": "0xde0c4d2e",
"calldata_variants": [
"0xde0c4d2e",
"0xde0c4d2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe86dea4a",
"selector": "0xe86dea4a",
"calldata_variants": [
"0xe86dea4a",
"0xe86dea4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4f876a6",
"selector": "0xf4f876a6",
"calldata_variants": [
"0xf4f876a6",
"0xf4f876a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6a3bcad",
"selector": "0xf6a3bcad",
"calldata_variants": [
"0xf6a3bcad",
"0xf6a3bcad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99c6d2de",
"selector": "0x99c6d2de",
"calldata_variants": [
"0x99c6d2de",
"0x99c6d2de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e281a98",
"selector": "0x9e281a98",
"calldata_variants": [
"0x9e281a98",
"0x9e281a980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xace55fec",
"selector": "0xace55fec",
"calldata_variants": [
"0xace55fec",
"0xace55fec0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4034,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4428,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5969,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2409,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|