019b477e-c6bc-73d1-a3c4-f33e13d4ed5f
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 |
|---|---|---|---|---|
| 25829 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25830 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69250 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69251 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69252 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69253 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0181 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x811e539c 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc14e50ce 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd95b18eb 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd95b18eb 0000003a: EQ 0000003b: PUSH2 0x0487 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xea62f554 00000045: EQ 00000046: PUSH2 0x04a7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x04c7 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf8d61444 0000005b: EQ 0000005c: PUSH2 0x04e7 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc14e50ce 0000006b: EQ 0000006c: PUSH2 0x0427 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xcd25ca54 00000076: EQ 00000077: PUSH2 0x0447 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd86c8cfd 00000081: EQ 00000082: PUSH2 0x0467 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x811e539c 00000091: EQ 00000092: PUSH2 0x0332 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x87d57025 0000009c: EQ 0000009d: PUSH2 0x0383 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x89702850 000000a7: EQ 000000a8: PUSH2 0x0399 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x03c9 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa93c34e5 000000bd: EQ 000000be: PUSH2 0x03e7 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xbcd0ad2b 000000c8: EQ 000000c9: PUSH2 0x0407 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x5c975abb 000000d8: GT 000000d9: PUSH2 0x013e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x715018a6 000000e3: GT 000000e4: PUSH2 0x0118 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x715018a6 000000ee: EQ 000000ef: PUSH2 0x02d4 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x7362377b 000000f9: EQ 000000fa: PUSH2 0x02e9 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x75184dd6 00000104: EQ 00000105: PUSH2 0x02f1 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x75edbf46 0000010f: EQ 00000110: PUSH2 0x031f 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x5c975abb 0000011f: EQ 00000120: PUSH2 0x0269 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x662fa38f 0000012a: EQ 0000012b: PUSH2 0x0294 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x6e9f6529 00000135: EQ 00000136: PUSH2 0x02b4 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x0f43dd90 00000145: EQ 00000146: PUSH2 0x0186 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x162df20c 00000150: EQ 00000151: PUSH2 0x01b9 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x19045a25 0000015b: EQ 0000015c: PUSH2 0x01ce 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x23a24a94 00000166: EQ 00000167: PUSH2 0x0206 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x2d11ecf2 00000171: EQ 00000172: PUSH2 0x021c 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x36977d9b 0000017c: EQ 0000017d: PUSH2 0x0249 00000180: JUMPI 00000181: JUMPDEST 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: CALLVALUE 00000188: DUP1 00000189: ISZERO 0000018a: PUSH2 0x0192 0000018d: JUMPI 0000018e: PUSH1 0x00 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x01a6 00000197: PUSH2 0x01a1 0000019a: CALLDATASIZE 0000019b: PUSH1 0x04 0000019d: PUSH2 0x163c 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x0507 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: PUSH2 0x01cc 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x15d2 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x0555 000001cb: JUMP 000001cc: JUMPDEST 000001cd: STOP 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: DUP1 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: POP 000001dc: PUSH2 0x01ee 000001df: PUSH2 0x01e9 000001e2: CALLDATASIZE 000001e3: PUSH1 0x04 000001e5: PUSH2 0x16a6 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH2 0x07bb 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: PUSH1 0x01 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: SHL 000001f9: SUB 000001fa: SWAP1 000001fb: SWAP2 000001fc: AND 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x20 00000201: ADD 00000202: PUSH2 0x01b0 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x01a6 00000217: PUSH1 0x09 00000219: SLOAD 0000021a: DUP2 0000021b: JUMP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x01a6 0000022d: PUSH2 0x0237 00000230: CALLDATASIZE 00000231: PUSH1 0x04 00000233: PUSH2 0x168d 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x00 0000023a: SWAP1 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x0b 0000023f: PUSH1 0x20 00000241: MSTORE 00000242: PUSH1 0x40 00000244: SWAP1 00000245: KECCAK256 00000246: SLOAD 00000247: SWAP1 00000248: JUMP 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: DUP1 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x01cc 0000025a: PUSH2 0x0264 0000025d: CALLDATASIZE 0000025e: PUSH1 0x04 00000260: PUSH2 0x1796 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x07da 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0275 00000270: JUMPI 00000271: PUSH1 0x00 00000273: DUP1 00000274: REVERT 00000275: JUMPDEST 00000276: POP 00000277: PUSH1 0x00 00000279: SLOAD 0000027a: PUSH1 0x01 0000027c: PUSH1 0xa0 0000027e: SHL 0000027f: SWAP1 00000280: DIV 00000281: PUSH1 0xff 00000283: AND 00000284: JUMPDEST 00000285: PUSH1 0x40 00000287: MLOAD 00000288: SWAP1 00000289: ISZERO 0000028a: ISZERO 0000028b: DUP2 0000028c: MSTORE 0000028d: PUSH1 0x20 0000028f: ADD 00000290: PUSH2 0x01b0 00000293: JUMP 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: POP 000002a2: PUSH2 0x01cc 000002a5: PUSH2 0x02af 000002a8: CALLDATASIZE 000002a9: PUSH1 0x04 000002ab: PUSH2 0x1761 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH2 0x088e 000002b3: JUMP 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH1 0x04 000002c4: SLOAD 000002c5: PUSH2 0x01ee 000002c8: SWAP1 000002c9: PUSH1 0x01 000002cb: PUSH1 0x01 000002cd: PUSH1 0xa0 000002cf: SHL 000002d0: SUB 000002d1: AND 000002d2: DUP2 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: PUSH2 0x01cc 000002e5: PUSH2 0x08d8 000002e8: JUMP 000002e9: JUMPDEST 000002ea: PUSH2 0x01cc 000002ed: PUSH2 0x090e 000002f0: JUMP 000002f1: JUMPDEST 000002f2: CALLVALUE 000002f3: DUP1 000002f4: ISZERO 000002f5: PUSH2 0x02fd 000002f8: JUMPI 000002f9: PUSH1 0x00 000002fb: DUP1 000002fc: REVERT 000002fd: JUMPDEST 000002fe: POP 000002ff: PUSH1 0x08 00000301: SLOAD 00000302: PUSH2 0x030c 00000305: SWAP1 00000306: PUSH2 0xffff 00000309: AND 0000030a: DUP2 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: PUSH2 0xffff 00000313: SWAP1 00000314: SWAP2 00000315: AND 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x20 0000031a: ADD 0000031b: PUSH2 0x01b0 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH2 0x01cc 00000323: PUSH2 0x032d 00000326: CALLDATASIZE 00000327: PUSH1 0x04 00000329: PUSH2 0x154d 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x0967 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: DUP1 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: POP 00000340: PUSH1 0x01 00000342: SLOAD 00000343: PUSH2 0x035f 00000346: SWAP1 00000347: PUSH1 0xff 00000349: DUP1 0000034a: DUP3 0000034b: AND 0000034c: SWAP2 0000034d: PUSH2 0x0100 00000350: DUP2 00000351: DIV 00000352: DUP3 00000353: AND 00000354: SWAP2 00000355: PUSH3 0x010000 00000359: SWAP1 0000035a: SWAP2 0000035b: DIV 0000035c: AND 0000035d: DUP4 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x40 00000362: DUP1 00000363: MLOAD 00000364: PUSH1 0xff 00000366: SWAP5 00000367: DUP6 00000368: AND 00000369: DUP2 0000036a: MSTORE 0000036b: SWAP3 0000036c: DUP5 0000036d: AND 0000036e: PUSH1 0x20 00000370: DUP5 00000371: ADD 00000372: MSTORE 00000373: SWAP3 00000374: AND 00000375: SWAP2 00000376: DUP2 00000377: ADD 00000378: SWAP2 00000379: SWAP1 0000037a: SWAP2 0000037b: MSTORE 0000037c: PUSH1 0x60 0000037e: ADD 0000037f: PUSH2 0x01b0 00000382: JUMP 00000383: JUMPDEST 00000384: CALLVALUE 00000385: DUP1 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: POP 00000391: PUSH2 0x01a6 00000394: PUSH1 0x06 00000396: SLOAD 00000397: DUP2 00000398: JUMP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x0284 000003aa: PUSH2 0x03b4 000003ad: CALLDATASIZE 000003ae: PUSH1 0x04 000003b0: PUSH2 0x168d 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH1 0x02 000003b7: PUSH1 0x20 000003b9: MSTORE 000003ba: PUSH1 0x00 000003bc: SWAP1 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x40 000003c1: SWAP1 000003c2: KECCAK256 000003c3: SLOAD 000003c4: PUSH1 0xff 000003c6: AND 000003c7: DUP2 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH1 0x00 000003d9: SLOAD 000003da: PUSH1 0x01 000003dc: PUSH1 0x01 000003de: PUSH1 0xa0 000003e0: SHL 000003e1: SUB 000003e2: AND 000003e3: PUSH2 0x01ee 000003e6: JUMP 000003e7: JUMPDEST 000003e8: CALLVALUE 000003e9: DUP1 000003ea: ISZERO 000003eb: PUSH2 0x03f3 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: POP 000003f5: PUSH2 0x030c 000003f8: PUSH2 0x0402 000003fb: CALLDATASIZE 000003fc: PUSH1 0x04 000003fe: PUSH2 0x1708 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH2 0x0b81 00000406: JUMP 00000407: JUMPDEST 00000408: CALLVALUE 00000409: DUP1 0000040a: ISZERO 0000040b: PUSH2 0x0413 0000040e: JUMPI 0000040f: PUSH1 0x00 00000411: DUP1 00000412: REVERT 00000413: JUMPDEST 00000414: POP 00000415: PUSH2 0x01cc 00000418: PUSH2 0x0422 0000041b: CALLDATASIZE 0000041c: PUSH1 0x04 0000041e: PUSH2 0x16ed 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH2 0x0bd2 00000426: JUMP 00000427: JUMPDEST 00000428: CALLVALUE 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0433 0000042e: JUMPI 0000042f: PUSH1 0x00 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: POP 00000435: PUSH2 0x01cc 00000438: PUSH2 0x0442 0000043b: CALLDATASIZE 0000043c: PUSH1 0x04 0000043e: PUSH2 0x1529 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH2 0x0c14 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x01cc 00000458: PUSH2 0x0462 0000045b: CALLDATASIZE 0000045c: PUSH1 0x04 0000045e: PUSH2 0x168d 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH2 0x0c60 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: DUP1 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH2 0x0284 00000478: PUSH2 0x0482 0000047b: CALLDATASIZE 0000047c: PUSH1 0x04 0000047e: PUSH2 0x16a6 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH2 0x0cc5 00000486: JUMP 00000487: JUMPDEST 00000488: CALLVALUE 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: PUSH1 0x03 00000497: SLOAD 00000498: PUSH2 0x01ee 0000049b: SWAP1 0000049c: PUSH1 0x01 0000049e: PUSH1 0x01 000004a0: PUSH1 0xa0 000004a2: SHL 000004a3: SUB 000004a4: AND 000004a5: DUP2 000004a6: JUMP 000004a7: JUMPDEST 000004a8: CALLVALUE 000004a9: DUP1 000004aa: ISZERO 000004ab: PUSH2 0x04b3 000004ae: JUMPI 000004af: PUSH1 0x00 000004b1: DUP1 000004b2: REVERT 000004b3: JUMPDEST 000004b4: POP 000004b5: PUSH2 0x01cc 000004b8: PUSH2 0x04c2 000004bb: CALLDATASIZE 000004bc: PUSH1 0x04 000004be: PUSH2 0x168d 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH2 0x0d3f 000004c6: JUMP 000004c7: JUMPDEST 000004c8: CALLVALUE 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d3 000004ce: JUMPI 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: REVERT 000004d3: JUMPDEST 000004d4: POP 000004d5: PUSH2 0x01cc 000004d8: PUSH2 0x04e2 000004db: CALLDATASIZE 000004dc: PUSH1 0x04 000004de: PUSH2 0x1529 000004e1: JUMP 000004e2: JUMPDEST 000004e3: PUSH2 0x0d6e 000004e6: JUMP 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH1 0x05 000004f7: SLOAD 000004f8: PUSH2 0x01ee 000004fb: SWAP1 000004fc: PUSH1 0x01 000004fe: PUSH1 0x01 00000500: PUSH1 0xa0 00000502: SHL 00000503: SUB 00000504: AND 00000505: DUP2 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x40 0000050a: DUP1 0000050b: MLOAD 0000050c: PUSH1 0x01 0000050e: PUSH1 0x01 00000510: PUSH1 0xa0 00000512: SHL 00000513: SUB 00000514: SWAP6 00000515: DUP7 00000516: AND 00000517: PUSH1 0x20 00000519: DUP1 0000051a: DUP4 0000051b: ADD 0000051c: SWAP2 0000051d: SWAP1 0000051e: SWAP2 0000051f: MSTORE 00000520: SWAP5 00000521: SWAP1 00000522: SWAP6 00000523: AND 00000524: DUP6 00000525: DUP3 00000526: ADD 00000527: MSTORE 00000528: PUSH1 0x60 0000052a: DUP6 0000052b: ADD 0000052c: SWAP3 0000052d: SWAP1 0000052e: SWAP3 0000052f: MSTORE 00000530: PUSH2 0xffff 00000533: AND 00000534: PUSH1 0x80 00000536: DUP1 00000537: DUP6 00000538: ADD 00000539: SWAP2 0000053a: SWAP1 0000053b: SWAP2 0000053c: MSTORE 0000053d: DUP2 0000053e: MLOAD 0000053f: DUP1 00000540: DUP6 00000541: SUB 00000542: SWAP1 00000543: SWAP2 00000544: ADD 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0xa0 00000549: SWAP1 0000054a: SWAP4 0000054b: ADD 0000054c: SWAP1 0000054d: MSTORE 0000054e: DUP2 0000054f: MLOAD 00000550: SWAP2 00000551: ADD 00000552: KECCAK256 00000553: SWAP1 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH2 0x2710 00000559: PUSH1 0x06 0000055b: SLOAD 0000055c: PUSH1 0x09 0000055e: SLOAD 0000055f: DUP6 00000560: PUSH2 0x0569 00000563: SWAP2 00000564: SWAP1 00000565: PUSH2 0x18d9 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH2 0x0573 0000056d: SWAP2 0000056e: SWAP1 0000056f: PUSH2 0x18d9 00000572: JUMP 00000573: JUMPDEST 00000574: GT 00000575: ISZERO 00000576: PUSH2 0x05bd 00000579: JUMPI 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: PUSH3 0x461bcd 00000581: PUSH1 0xe5 00000583: SHL 00000584: DUP2 00000585: MSTORE 00000586: PUSH1 0x20 00000588: PUSH1 0x04 0000058a: DUP3 0000058b: ADD 0000058c: MSTORE 0000058d: PUSH1 0x14 0000058f: PUSH1 0x24 00000591: DUP3 00000592: ADD 00000593: MSTORE 00000594: PUSH20 0x496e76616c696420626173697320706f696e7473 000005a9: PUSH1 0x60 000005ab: SHL 000005ac: PUSH1 0x44 000005ae: DUP3 000005af: ADD 000005b0: MSTORE 000005b1: PUSH1 0x64 000005b3: ADD 000005b4: JUMPDEST 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: DUP1 000005b9: SWAP2 000005ba: SUB 000005bb: SWAP1 000005bc: REVERT 000005bd: JUMPDEST 000005be: CALLVALUE 000005bf: PUSH1 0x00 000005c1: SWAP1 000005c2: DUP2 000005c3: MSTORE 000005c4: PUSH1 0x02 000005c6: PUSH1 0x20 000005c8: MSTORE 000005c9: PUSH1 0x40 000005cb: SWAP1 000005cc: KECCAK256 000005cd: SLOAD 000005ce: PUSH1 0xff 000005d0: AND 000005d1: PUSH2 0x0610 000005d4: JUMPI 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH3 0x461bcd 000005dc: PUSH1 0xe5 000005de: SHL 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: PUSH1 0x04 000005e5: DUP3 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH1 0x11 000005ea: PUSH1 0x24 000005ec: DUP3 000005ed: ADD 000005ee: MSTORE 000005ef: PUSH17 0x496e76616c6964206d73672e76616c7565 00000601: PUSH1 0x78 00000603: SHL 00000604: PUSH1 0x44 00000606: DUP3 00000607: ADD 00000608: MSTORE 00000609: PUSH1 0x64 0000060b: ADD 0000060c: PUSH2 0x05b4 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH2 0x0625 00000614: PUSH2 0x061f 00000617: CALLER 00000618: DUP7 00000619: DUP7 0000061a: DUP7 0000061b: PUSH2 0x0507 0000061e: JUMP 0000061f: JUMPDEST 00000620: DUP3 00000621: PUSH2 0x0cc5 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH2 0x0665 00000629: JUMPI 0000062a: PUSH1 0x40 0000062c: MLOAD 0000062d: PUSH3 0x461bcd 00000631: PUSH1 0xe5 00000633: SHL 00000634: DUP2 00000635: MSTORE 00000636: PUSH1 0x20 00000638: PUSH1 0x04 0000063a: DUP3 0000063b: ADD 0000063c: MSTORE 0000063d: PUSH1 0x11 0000063f: PUSH1 0x24 00000641: DUP3 00000642: ADD 00000643: MSTORE 00000644: PUSH17 0x496e76616c6964207369676e6174757265 00000656: PUSH1 0x78 00000658: SHL 00000659: PUSH1 0x44 0000065b: DUP3 0000065c: ADD 0000065d: MSTORE 0000065e: PUSH1 0x64 00000660: ADD 00000661: PUSH2 0x05b4 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH1 0x01 00000668: DUP1 00000669: SLOAD 0000066a: PUSH1 0xff 0000066c: AND 0000066d: SWAP1 0000066e: CALLVALUE 0000066f: SWAP1 00000670: PUSH1 0x00 00000672: SWAP1 00000673: DUP2 00000674: SWAP1 00000675: DUP5 00000676: EQ 00000677: DUP1 00000678: PUSH2 0x0684 0000067b: JUMPI 0000067c: POP 0000067d: PUSH1 0xff 0000067f: DUP5 00000680: AND 00000681: PUSH1 0x04 00000683: EQ 00000684: JUMPDEST 00000685: ISZERO 00000686: PUSH2 0x071e 00000689: JUMPI 0000068a: PUSH1 0x08 0000068c: SLOAD 0000068d: PUSH1 0x07 0000068f: SLOAD 00000690: PUSH2 0x069e 00000693: SWAP2 00000694: PUSH2 0xffff 00000697: AND 00000698: SWAP1 00000699: CALLER 0000069a: PUSH2 0x0b81 0000069d: JUMP 0000069e: JUMPDEST 0000069f: PUSH2 0xffff 000006a2: AND 000006a3: PUSH2 0x06c8 000006a6: JUMPI 000006a7: PUSH1 0x00 000006a9: PUSH2 0x06b4 000006ac: CALLER 000006ad: PUSH1 0x09 000006af: SLOAD 000006b0: PUSH2 0x0e06 000006b3: JUMP 000006b4: JUMPDEST 000006b5: SWAP1 000006b6: POP 000006b7: PUSH2 0x06c0 000006ba: DUP2 000006bb: DUP6 000006bc: PUSH2 0x1924 000006bf: JUMP 000006c0: JUMPDEST 000006c1: SWAP4 000006c2: POP 000006c3: POP 000006c4: PUSH2 0x0704 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH1 0x01 000006cb: SLOAD 000006cc: PUSH2 0x0100 000006cf: SWAP1 000006d0: DIV 000006d1: PUSH1 0xff 000006d3: AND 000006d4: SWAP4 000006d5: POP 000006d6: PUSH2 0x06df 000006d9: DUP9 000006da: DUP9 000006db: PUSH2 0x0e61 000006de: JUMP 000006df: JUMPDEST 000006e0: SWAP2 000006e1: POP 000006e2: PUSH2 0x06ea 000006e5: DUP7 000006e6: PUSH2 0x0e9d 000006e9: JUMP 000006ea: JUMPDEST 000006eb: SWAP1 000006ec: POP 000006ed: DUP1 000006ee: PUSH2 0x06f7 000006f1: DUP4 000006f2: CALLVALUE 000006f3: PUSH2 0x1924 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH2 0x0701 000006fb: SWAP2 000006fc: SWAP1 000006fd: PUSH2 0x1924 00000700: JUMP 00000701: JUMPDEST 00000702: SWAP3 00000703: POP 00000704: JUMPDEST 00000705: PUSH1 0x07 00000707: DUP1 00000708: SLOAD 00000709: SWAP1 0000070a: PUSH1 0x00 0000070c: PUSH2 0x0714 0000070f: DUP4 00000710: PUSH2 0x193b 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP2 00000716: SWAP1 00000717: POP 00000718: SSTORE 00000719: POP 0000071a: PUSH2 0x074d 0000071d: JUMP 0000071e: JUMPDEST 0000071f: PUSH2 0x0728 00000722: DUP9 00000723: DUP9 00000724: PUSH2 0x0e61 00000727: JUMP 00000728: JUMPDEST 00000729: SWAP2 0000072a: POP 0000072b: PUSH2 0x0733 0000072e: DUP7 0000072f: PUSH2 0x0e9d 00000732: JUMP 00000733: JUMPDEST 00000734: SWAP1 00000735: POP 00000736: DUP1 00000737: PUSH2 0x0740 0000073a: DUP4 0000073b: CALLVALUE 0000073c: PUSH2 0x1924 0000073f: JUMP 00000740: JUMPDEST 00000741: PUSH2 0x074a 00000744: SWAP2 00000745: SWAP1 00000746: PUSH2 0x1924 00000749: JUMP 0000074a: JUMPDEST 0000074b: SWAP3 0000074c: POP 0000074d: JUMPDEST 0000074e: PUSH1 0x40 00000750: DUP1 00000751: MLOAD 00000752: PUSH1 0xff 00000754: DUP7 00000755: AND 00000756: DUP2 00000757: MSTORE 00000758: CALLVALUE 00000759: PUSH1 0x20 0000075b: DUP3 0000075c: ADD 0000075d: MSTORE 0000075e: SWAP1 0000075f: DUP2 00000760: ADD 00000761: DUP4 00000762: SWAP1 00000763: MSTORE 00000764: PUSH1 0x60 00000766: DUP2 00000767: ADD 00000768: DUP3 00000769: SWAP1 0000076a: MSTORE 0000076b: PUSH1 0x80 0000076d: DUP2 0000076e: ADD 0000076f: DUP5 00000770: SWAP1 00000771: MSTORE 00000772: PUSH2 0xffff 00000775: DUP8 00000776: AND 00000777: SWAP1 00000778: PUSH1 0x01 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: SHL 0000077f: SUB 00000780: DUP11 00000781: AND 00000782: SWAP1 00000783: CALLER 00000784: SWAP1 00000785: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5 000007a6: SWAP1 000007a7: PUSH1 0xa0 000007a9: ADD 000007aa: PUSH1 0x40 000007ac: MLOAD 000007ad: DUP1 000007ae: SWAP2 000007af: SUB 000007b0: SWAP1 000007b1: LOG4 000007b2: POP 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: POP 000007b9: POP 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: PUSH2 0x07d0 000007c2: PUSH2 0x07ca 000007c5: DUP6 000007c6: PUSH2 0x0fff 000007c9: JUMP 000007ca: JUMPDEST 000007cb: DUP5 000007cc: PUSH2 0x1052 000007cf: JUMP 000007d0: JUMPDEST 000007d1: SWAP2 000007d2: POP 000007d3: POP 000007d4: JUMPDEST 000007d5: SWAP3 000007d6: SWAP2 000007d7: POP 000007d8: POP 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x00 000007dd: SLOAD 000007de: PUSH1 0x01 000007e0: PUSH1 0x01 000007e2: PUSH1 0xa0 000007e4: SHL 000007e5: SUB 000007e6: AND 000007e7: CALLER 000007e8: EQ 000007e9: PUSH2 0x0804 000007ec: JUMPI 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: PUSH3 0x461bcd 000007f4: PUSH1 0xe5 000007f6: SHL 000007f7: DUP2 000007f8: MSTORE 000007f9: PUSH1 0x04 000007fb: ADD 000007fc: PUSH2 0x05b4 000007ff: SWAP1 00000800: PUSH2 0x18a4 00000803: JUMP 00000804: JUMPDEST 00000805: PUSH1 0x40 00000807: DUP1 00000808: MLOAD 00000809: PUSH1 0x60 0000080b: DUP1 0000080c: DUP3 0000080d: ADD 0000080e: DUP4 0000080f: MSTORE 00000810: PUSH1 0xff 00000812: DUP7 00000813: DUP2 00000814: AND 00000815: DUP1 00000816: DUP5 00000817: MSTORE 00000818: DUP7 00000819: DUP3 0000081a: AND 0000081b: PUSH1 0x20 0000081d: DUP1 0000081e: DUP7 0000081f: ADD 00000820: DUP3 00000821: SWAP1 00000822: MSTORE 00000823: SWAP3 00000824: DUP8 00000825: AND 00000826: SWAP5 00000827: DUP7 00000828: ADD 00000829: DUP6 0000082a: SWAP1 0000082b: MSTORE 0000082c: PUSH1 0x01 0000082e: DUP1 0000082f: SLOAD 00000830: PUSH2 0xffff 00000833: NOT 00000834: AND 00000835: DUP4 00000836: OR 00000837: PUSH2 0x0100 0000083a: DUP4 0000083b: MUL 0000083c: OR 0000083d: PUSH3 0xff0000 00000841: NOT 00000842: AND 00000843: PUSH3 0x010000 00000847: DUP8 00000848: MUL 00000849: OR 0000084a: SWAP1 0000084b: SSTORE 0000084c: DUP6 0000084d: MLOAD 0000084e: SWAP2 0000084f: DUP3 00000850: MSTORE 00000851: SWAP2 00000852: DUP2 00000853: ADD 00000854: SWAP2 00000855: SWAP1 00000856: SWAP2 00000857: MSTORE 00000858: SWAP3 00000859: DUP4 0000085a: ADD 0000085b: SWAP2 0000085c: SWAP1 0000085d: SWAP2 0000085e: MSTORE 0000085f: PUSH32 0xe49bc7af060cc5d9279e2e61607f66121d7982a25145a843a953c6467b54a855 00000880: SWAP2 00000881: ADD 00000882: PUSH1 0x40 00000884: MLOAD 00000885: DUP1 00000886: SWAP2 00000887: SUB 00000888: SWAP1 00000889: LOG1 0000088a: POP 0000088b: POP 0000088c: POP 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH1 0x00 00000891: SLOAD 00000892: PUSH1 0x01 00000894: PUSH1 0x01 00000896: PUSH1 0xa0 00000898: SHL 00000899: SUB 0000089a: AND 0000089b: CALLER 0000089c: EQ 0000089d: PUSH2 0x08b8 000008a0: JUMPI 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: PUSH3 0x461bcd 000008a8: PUSH1 0xe5 000008aa: SHL 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x04 000008af: ADD 000008b0: PUSH2 0x05b4 000008b3: SWAP1 000008b4: PUSH2 0x18a4 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x00 000008bb: SWAP2 000008bc: DUP3 000008bd: MSTORE 000008be: PUSH1 0x02 000008c0: PUSH1 0x20 000008c2: MSTORE 000008c3: PUSH1 0x40 000008c5: SWAP1 000008c6: SWAP2 000008c7: KECCAK256 000008c8: DUP1 000008c9: SLOAD 000008ca: PUSH1 0xff 000008cc: NOT 000008cd: AND 000008ce: SWAP2 000008cf: ISZERO 000008d0: ISZERO 000008d1: SWAP2 000008d2: SWAP1 000008d3: SWAP2 000008d4: OR 000008d5: SWAP1 000008d6: SSTORE 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: SLOAD 000008dc: PUSH1 0x01 000008de: PUSH1 0x01 000008e0: PUSH1 0xa0 000008e2: SHL 000008e3: SUB 000008e4: AND 000008e5: CALLER 000008e6: EQ 000008e7: PUSH2 0x0902 000008ea: JUMPI 000008eb: PUSH1 0x40 000008ed: MLOAD 000008ee: PUSH3 0x461bcd 000008f2: PUSH1 0xe5 000008f4: SHL 000008f5: DUP2 000008f6: MSTORE 000008f7: PUSH1 0x04 000008f9: ADD 000008fa: PUSH2 0x05b4 000008fd: SWAP1 000008fe: PUSH2 0x18a4 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH2 0x090c 00000906: PUSH1 0x00 00000908: PUSH2 0x106e 0000090b: JUMP 0000090c: JUMPDEST 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH1 0x00 00000911: SLOAD 00000912: PUSH1 0x01 00000914: PUSH1 0x01 00000916: PUSH1 0xa0 00000918: SHL 00000919: SUB 0000091a: AND 0000091b: CALLER 0000091c: EQ 0000091d: PUSH2 0x0938 00000920: JUMPI 00000921: PUSH1 0x40 00000923: MLOAD 00000924: PUSH3 0x461bcd 00000928: PUSH1 0xe5 0000092a: SHL 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x04 0000092f: ADD 00000930: PUSH2 0x05b4 00000933: SWAP1 00000934: PUSH2 0x18a4 00000937: JUMP 00000938: JUMPDEST 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: CALLER 0000093d: SWAP1 0000093e: SELFBALANCE 0000093f: DUP1 00000940: ISZERO 00000941: PUSH2 0x08fc 00000944: MUL 00000945: SWAP2 00000946: PUSH1 0x00 00000948: DUP2 00000949: DUP2 0000094a: DUP2 0000094b: DUP6 0000094c: DUP9 0000094d: DUP9 0000094e: CALL 0000094f: SWAP4 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: ISZERO 00000955: DUP1 00000956: ISZERO 00000957: PUSH2 0x0964 0000095a: JUMPI 0000095b: RETURNDATASIZE 0000095c: PUSH1 0x00 0000095e: DUP1 0000095f: RETURNDATACOPY 00000960: RETURNDATASIZE 00000961: PUSH1 0x00 00000963: REVERT 00000964: JUMPDEST 00000965: POP 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH1 0x00 0000096a: SLOAD 0000096b: PUSH1 0x01 0000096d: PUSH1 0xa0 0000096f: SHL 00000970: SWAP1 00000971: DIV 00000972: PUSH1 0xff 00000974: AND 00000975: ISZERO 00000976: PUSH2 0x09b4 00000979: JUMPI 0000097a: PUSH1 0x40 0000097c: MLOAD 0000097d: PUSH3 0x461bcd 00000981: PUSH1 0xe5 00000983: SHL 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x20 00000988: PUSH1 0x04 0000098a: DUP3 0000098b: ADD 0000098c: MSTORE 0000098d: PUSH1 0x10 0000098f: PUSH1 0x24 00000991: DUP3 00000992: ADD 00000993: MSTORE 00000994: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000009a5: PUSH1 0x82 000009a7: SHL 000009a8: PUSH1 0x44 000009aa: DUP3 000009ab: ADD 000009ac: MSTORE 000009ad: PUSH1 0x64 000009af: ADD 000009b0: PUSH2 0x05b4 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH2 0x2710 000009b8: PUSH1 0x06 000009ba: SLOAD 000009bb: PUSH1 0x09 000009bd: SLOAD 000009be: DUP7 000009bf: PUSH2 0x09c8 000009c2: SWAP2 000009c3: SWAP1 000009c4: PUSH2 0x18d9 000009c7: JUMP 000009c8: JUMPDEST 000009c9: PUSH2 0x09d2 000009cc: SWAP2 000009cd: SWAP1 000009ce: PUSH2 0x18d9 000009d1: JUMP 000009d2: JUMPDEST 000009d3: GT 000009d4: ISZERO 000009d5: PUSH2 0x0a17 000009d8: JUMPI 000009d9: PUSH1 0x40 000009db: MLOAD 000009dc: PUSH3 0x461bcd 000009e0: PUSH1 0xe5 000009e2: SHL 000009e3: DUP2 000009e4: MSTORE 000009e5: PUSH1 0x20 000009e7: PUSH1 0x04 000009e9: DUP3 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH1 0x14 000009ee: PUSH1 0x24 000009f0: DUP3 000009f1: ADD 000009f2: MSTORE 000009f3: PUSH20 0x496e76616c696420626173697320706f696e7473 00000a08: PUSH1 0x60 00000a0a: SHL 00000a0b: PUSH1 0x44 00000a0d: DUP3 00000a0e: ADD 00000a0f: MSTORE 00000a10: PUSH1 0x64 00000a12: ADD 00000a13: PUSH2 0x05b4 00000a16: JUMP 00000a17: JUMPDEST 00000a18: CALLVALUE 00000a19: PUSH1 0x00 00000a1b: SWAP1 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x02 00000a20: PUSH1 0x20 00000a22: MSTORE 00000a23: PUSH1 0x40 00000a25: SWAP1 00000a26: KECCAK256 00000a27: SLOAD 00000a28: PUSH1 0xff 00000a2a: AND 00000a2b: PUSH2 0x0a6a 00000a2e: JUMPI 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: PUSH3 0x461bcd 00000a36: PUSH1 0xe5 00000a38: SHL 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH1 0x20 00000a3d: PUSH1 0x04 00000a3f: DUP3 00000a40: ADD 00000a41: MSTORE 00000a42: PUSH1 0x11 00000a44: PUSH1 0x24 00000a46: DUP3 00000a47: ADD 00000a48: MSTORE 00000a49: PUSH17 0x496e76616c6964206d73672e76616c7565 00000a5b: PUSH1 0x78 00000a5d: SHL 00000a5e: PUSH1 0x44 00000a60: DUP3 00000a61: ADD 00000a62: MSTORE 00000a63: PUSH1 0x64 00000a65: ADD 00000a66: PUSH2 0x05b4 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH2 0x0a7f 00000a6e: PUSH2 0x0a79 00000a71: DUP8 00000a72: DUP8 00000a73: DUP8 00000a74: DUP8 00000a75: PUSH2 0x0507 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: DUP4 00000a7b: PUSH2 0x0cc5 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH2 0x0abf 00000a83: JUMPI 00000a84: PUSH1 0x40 00000a86: MLOAD 00000a87: PUSH3 0x461bcd 00000a8b: PUSH1 0xe5 00000a8d: SHL 00000a8e: DUP2 00000a8f: MSTORE 00000a90: PUSH1 0x20 00000a92: PUSH1 0x04 00000a94: DUP3 00000a95: ADD 00000a96: MSTORE 00000a97: PUSH1 0x11 00000a99: PUSH1 0x24 00000a9b: DUP3 00000a9c: ADD 00000a9d: MSTORE 00000a9e: PUSH17 0x496e76616c6964207369676e6174757265 00000ab0: PUSH1 0x78 00000ab2: SHL 00000ab3: PUSH1 0x44 00000ab5: DUP3 00000ab6: ADD 00000ab7: MSTORE 00000ab8: PUSH1 0x64 00000aba: ADD 00000abb: PUSH2 0x05b4 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: DUP1 00000ac1: ISZERO 00000ac2: PUSH2 0x0ace 00000ac5: JUMPI 00000ac6: PUSH2 0x0ace 00000ac9: DUP2 00000aca: PUSH2 0x10be 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH1 0x01 00000ad1: SLOAD 00000ad2: PUSH3 0x010000 00000ad6: SWAP1 00000ad7: DIV 00000ad8: PUSH1 0xff 00000ada: AND 00000adb: CALLVALUE 00000adc: PUSH1 0x00 00000ade: PUSH2 0x0ae7 00000ae1: DUP9 00000ae2: DUP9 00000ae3: PUSH2 0x0e61 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: SWAP1 00000ae9: POP 00000aea: PUSH1 0x00 00000aec: PUSH2 0x0af4 00000aef: DUP8 00000af0: PUSH2 0x0e9d 00000af3: JUMP 00000af4: JUMPDEST 00000af5: SWAP1 00000af6: POP 00000af7: DUP1 00000af8: PUSH2 0x0b01 00000afb: DUP4 00000afc: CALLVALUE 00000afd: PUSH2 0x1924 00000b00: JUMP 00000b01: JUMPDEST 00000b02: PUSH2 0x0b0b 00000b05: SWAP2 00000b06: SWAP1 00000b07: PUSH2 0x1924 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: PUSH1 0x40 00000b0e: DUP1 00000b0f: MLOAD 00000b10: PUSH1 0xff 00000b12: DUP8 00000b13: AND 00000b14: DUP2 00000b15: MSTORE 00000b16: CALLVALUE 00000b17: PUSH1 0x20 00000b19: DUP3 00000b1a: ADD 00000b1b: MSTORE 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: ADD 00000b1f: DUP5 00000b20: SWAP1 00000b21: MSTORE 00000b22: PUSH1 0x60 00000b24: DUP2 00000b25: ADD 00000b26: DUP4 00000b27: SWAP1 00000b28: MSTORE 00000b29: PUSH1 0x80 00000b2b: DUP2 00000b2c: ADD 00000b2d: DUP3 00000b2e: SWAP1 00000b2f: MSTORE 00000b30: SWAP1 00000b31: SWAP4 00000b32: POP 00000b33: PUSH2 0xffff 00000b36: DUP9 00000b37: AND 00000b38: SWAP1 00000b39: PUSH1 0x01 00000b3b: PUSH1 0x01 00000b3d: PUSH1 0xa0 00000b3f: SHL 00000b40: SUB 00000b41: DUP1 00000b42: DUP13 00000b43: AND 00000b44: SWAP2 00000b45: SWAP1 00000b46: DUP14 00000b47: AND 00000b48: SWAP1 00000b49: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5 00000b6a: SWAP1 00000b6b: PUSH1 0xa0 00000b6d: ADD 00000b6e: PUSH1 0x40 00000b70: MLOAD 00000b71: DUP1 00000b72: SWAP2 00000b73: SUB 00000b74: SWAP1 00000b75: LOG4 00000b76: POP 00000b77: POP 00000b78: POP 00000b79: POP 00000b7a: POP 00000b7b: POP 00000b7c: POP 00000b7d: POP 00000b7e: POP 00000b7f: POP 00000b80: JUMP 00000b81: JUMPDEST 00000b82: PUSH1 0x00 00000b84: DUP4 00000b85: PUSH2 0x0b8f 00000b88: PUSH1 0x01 00000b8a: NUMBER 00000b8b: PUSH2 0x1924 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: BLOCKHASH 00000b91: DUP4 00000b92: DUP6 00000b93: PUSH1 0x0a 00000b95: PUSH1 0x40 00000b97: MLOAD 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: PUSH2 0x0ba7 00000b9e: SWAP5 00000b9f: SWAP4 00000ba0: SWAP3 00000ba1: SWAP2 00000ba2: SWAP1 00000ba3: PUSH2 0x17d9 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x40 00000baa: MLOAD 00000bab: PUSH1 0x20 00000bad: DUP2 00000bae: DUP4 00000baf: SUB 00000bb0: SUB 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: SWAP1 00000bb4: PUSH1 0x40 00000bb6: MSTORE 00000bb7: DUP1 00000bb8: MLOAD 00000bb9: SWAP1 00000bba: PUSH1 0x20 00000bbc: ADD 00000bbd: KECCAK256 00000bbe: PUSH1 0xf0 00000bc0: SHR 00000bc1: PUSH2 0x0bca 00000bc4: SWAP2 00000bc5: SWAP1 00000bc6: PUSH2 0x1956 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: SWAP5 00000bcc: SWAP4 00000bcd: POP 00000bce: POP 00000bcf: POP 00000bd0: POP 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x00 00000bd5: SLOAD 00000bd6: PUSH1 0x01 00000bd8: PUSH1 0x01 00000bda: PUSH1 0xa0 00000bdc: SHL 00000bdd: SUB 00000bde: AND 00000bdf: CALLER 00000be0: EQ 00000be1: PUSH2 0x0bfc 00000be4: JUMPI 00000be5: PUSH1 0x40 00000be7: MLOAD 00000be8: PUSH3 0x461bcd 00000bec: PUSH1 0xe5 00000bee: SHL 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x04 00000bf3: ADD 00000bf4: PUSH2 0x05b4 00000bf7: SWAP1 00000bf8: PUSH2 0x18a4 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x08 00000bff: DUP1 00000c00: SLOAD 00000c01: PUSH2 0xffff 00000c04: NOT 00000c05: AND 00000c06: PUSH2 0xffff 00000c09: SWAP3 00000c0a: SWAP1 00000c0b: SWAP3 00000c0c: AND 00000c0d: SWAP2 00000c0e: SWAP1 00000c0f: SWAP2 00000c10: OR 00000c11: SWAP1 00000c12: SSTORE 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x00 00000c17: SLOAD 00000c18: PUSH1 0x01 00000c1a: PUSH1 0x01 00000c1c: PUSH1 0xa0 00000c1e: SHL 00000c1f: SUB 00000c20: AND 00000c21: CALLER 00000c22: EQ 00000c23: PUSH2 0x0c3e 00000c26: JUMPI 00000c27: PUSH1 0x40 00000c29: MLOAD 00000c2a: PUSH3 0x461bcd 00000c2e: PUSH1 0xe5 00000c30: SHL 00000c31: DUP2 00000c32: MSTORE 00000c33: PUSH1 0x04 00000c35: ADD 00000c36: PUSH2 0x05b4 00000c39: SWAP1 00000c3a: PUSH2 0x18a4 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: PUSH1 0x03 00000c41: DUP1 00000c42: SLOAD 00000c43: PUSH1 0x01 00000c45: PUSH1 0x01 00000c47: PUSH1 0xa0 00000c49: SHL 00000c4a: SUB 00000c4b: NOT 00000c4c: AND 00000c4d: PUSH1 0x01 00000c4f: PUSH1 0x01 00000c51: PUSH1 0xa0 00000c53: SHL 00000c54: SUB 00000c55: SWAP3 00000c56: SWAP1 00000c57: SWAP3 00000c58: AND 00000c59: SWAP2 00000c5a: SWAP1 00000c5b: SWAP2 00000c5c: OR 00000c5d: SWAP1 00000c5e: SSTORE 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x00 00000c63: SLOAD 00000c64: PUSH1 0x01 00000c66: PUSH1 0x01 00000c68: PUSH1 0xa0 00000c6a: SHL 00000c6b: SUB 00000c6c: AND 00000c6d: CALLER 00000c6e: EQ 00000c6f: PUSH2 0x0c8a 00000c72: JUMPI 00000c73: PUSH1 0x40 00000c75: MLOAD 00000c76: PUSH3 0x461bcd 00000c7a: PUSH1 0xe5 00000c7c: SHL 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x04 00000c81: ADD 00000c82: PUSH2 0x05b4 00000c85: SWAP1 00000c86: PUSH2 0x18a4 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: PUSH1 0x06 00000c8d: DUP2 00000c8e: SWAP1 00000c8f: SSTORE 00000c90: PUSH1 0x40 00000c92: MLOAD 00000c93: DUP2 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH32 0xddd285af8d9630a6ea010440c8512806893e826a4b45e39eadb38049406f6195 00000cb7: SWAP1 00000cb8: PUSH1 0x20 00000cba: ADD 00000cbb: PUSH1 0x40 00000cbd: MLOAD 00000cbe: DUP1 00000cbf: SWAP2 00000cc0: SUB 00000cc1: SWAP1 00000cc2: LOG1 00000cc3: POP 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: PUSH1 0x03 00000cc8: SLOAD 00000cc9: PUSH1 0x00 00000ccb: SWAP1 00000ccc: PUSH1 0x01 00000cce: PUSH1 0x01 00000cd0: PUSH1 0xa0 00000cd2: SHL 00000cd3: SUB 00000cd4: AND 00000cd5: PUSH2 0x0d18 00000cd8: JUMPI 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: PUSH3 0x461bcd 00000ce0: PUSH1 0xe5 00000ce2: SHL 00000ce3: DUP2 00000ce4: MSTORE 00000ce5: PUSH1 0x20 00000ce7: PUSH1 0x04 00000ce9: DUP3 00000cea: ADD 00000ceb: MSTORE 00000cec: PUSH1 0x15 00000cee: PUSH1 0x24 00000cf0: DUP3 00000cf1: ADD 00000cf2: MSTORE 00000cf3: PUSH21 0x1d985b1a59185d195c881b5d5cdd081899481cd95d 00000d09: PUSH1 0x5a 00000d0b: SHL 00000d0c: PUSH1 0x44 00000d0e: DUP3 00000d0f: ADD 00000d10: MSTORE 00000d11: PUSH1 0x64 00000d13: ADD 00000d14: PUSH2 0x05b4 00000d17: JUMP 00000d18: JUMPDEST 00000d19: PUSH1 0x00 00000d1b: PUSH2 0x0d26 00000d1e: PUSH2 0x07ca 00000d21: DUP6 00000d22: PUSH2 0x0fff 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH1 0x03 00000d29: SLOAD 00000d2a: PUSH1 0x01 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: SHL 00000d31: SUB 00000d32: SWAP1 00000d33: DUP2 00000d34: AND 00000d35: SWAP2 00000d36: AND 00000d37: EQ 00000d38: SWAP5 00000d39: SWAP4 00000d3a: POP 00000d3b: POP 00000d3c: POP 00000d3d: POP 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x00 00000d42: SLOAD 00000d43: PUSH1 0x01 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: SHL 00000d4a: SUB 00000d4b: AND 00000d4c: CALLER 00000d4d: EQ 00000d4e: PUSH2 0x0d69 00000d51: JUMPI 00000d52: PUSH1 0x40 00000d54: MLOAD 00000d55: PUSH3 0x461bcd 00000d59: PUSH1 0xe5 00000d5b: SHL 00000d5c: DUP2 00000d5d: MSTORE 00000d5e: PUSH1 0x04 00000d60: ADD 00000d61: PUSH2 0x05b4 00000d64: SWAP1 00000d65: PUSH2 0x18a4 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: PUSH1 0x09 00000d6c: SSTORE 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x00 00000d71: SLOAD 00000d72: PUSH1 0x01 00000d74: PUSH1 0x01 00000d76: PUSH1 0xa0 00000d78: SHL 00000d79: SUB 00000d7a: AND 00000d7b: CALLER 00000d7c: EQ 00000d7d: PUSH2 0x0d98 00000d80: JUMPI 00000d81: PUSH1 0x40 00000d83: MLOAD 00000d84: PUSH3 0x461bcd 00000d88: PUSH1 0xe5 00000d8a: SHL 00000d8b: DUP2 00000d8c: MSTORE 00000d8d: PUSH1 0x04 00000d8f: ADD 00000d90: PUSH2 0x05b4 00000d93: SWAP1 00000d94: PUSH2 0x18a4 00000d97: JUMP 00000d98: JUMPDEST 00000d99: PUSH1 0x01 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0xa0 00000d9f: SHL 00000da0: SUB 00000da1: DUP2 00000da2: AND 00000da3: PUSH2 0x0dfd 00000da6: JUMPI 00000da7: PUSH1 0x40 00000da9: MLOAD 00000daa: PUSH3 0x461bcd 00000dae: PUSH1 0xe5 00000db0: SHL 00000db1: DUP2 00000db2: MSTORE 00000db3: PUSH1 0x20 00000db5: PUSH1 0x04 00000db7: DUP3 00000db8: ADD 00000db9: MSTORE 00000dba: PUSH1 0x26 00000dbc: PUSH1 0x24 00000dbe: DUP3 00000dbf: ADD 00000dc0: MSTORE 00000dc1: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000de2: PUSH1 0x44 00000de4: DUP3 00000de5: ADD 00000de6: MSTORE 00000de7: PUSH6 0x646472657373 00000dee: PUSH1 0xd0 00000df0: SHL 00000df1: PUSH1 0x64 00000df3: DUP3 00000df4: ADD 00000df5: MSTORE 00000df6: PUSH1 0x84 00000df8: ADD 00000df9: PUSH2 0x05b4 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: PUSH2 0x0964 00000e01: DUP2 00000e02: PUSH2 0x106e 00000e05: JUMP 00000e06: JUMPDEST 00000e07: PUSH1 0x00 00000e09: DUP1 00000e0a: PUSH2 0x2710 00000e0d: PUSH2 0x0e16 00000e10: DUP5 00000e11: CALLVALUE 00000e12: PUSH2 0x1905 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH2 0x0e20 00000e1a: SWAP2 00000e1b: SWAP1 00000e1c: PUSH2 0x18f1 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x40 00000e23: MLOAD 00000e24: SWAP1 00000e25: SWAP2 00000e26: POP 00000e27: PUSH1 0x01 00000e29: PUSH1 0x01 00000e2b: PUSH1 0xa0 00000e2d: SHL 00000e2e: SUB 00000e2f: DUP6 00000e30: AND 00000e31: SWAP1 00000e32: DUP3 00000e33: ISZERO 00000e34: PUSH2 0x08fc 00000e37: MUL 00000e38: SWAP1 00000e39: DUP4 00000e3a: SWAP1 00000e3b: PUSH1 0x00 00000e3d: DUP2 00000e3e: DUP2 00000e3f: DUP2 00000e40: DUP6 00000e41: DUP9 00000e42: DUP9 00000e43: CALL 00000e44: SWAP4 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: POP 00000e49: ISZERO 00000e4a: DUP1 00000e4b: ISZERO 00000e4c: PUSH2 0x0e59 00000e4f: JUMPI 00000e50: RETURNDATASIZE 00000e51: PUSH1 0x00 00000e53: DUP1 00000e54: RETURNDATACOPY 00000e55: RETURNDATASIZE 00000e56: PUSH1 0x00 00000e58: REVERT 00000e59: JUMPDEST 00000e5a: POP 00000e5b: SWAP4 00000e5c: SWAP3 00000e5d: POP 00000e5e: POP 00000e5f: POP 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH1 0x00 00000e64: PUSH1 0x01 00000e66: PUSH1 0x01 00000e68: PUSH1 0xa0 00000e6a: SHL 00000e6b: SUB 00000e6c: DUP4 00000e6d: AND 00000e6e: ISZERO 00000e6f: DUP1 00000e70: PUSH2 0x0e81 00000e73: JUMPI 00000e74: POP 00000e75: PUSH1 0x01 00000e77: PUSH1 0x01 00000e79: PUSH1 0xa0 00000e7b: SHL 00000e7c: SUB 00000e7d: DUP4 00000e7e: AND 00000e7f: CALLER 00000e80: EQ 00000e81: JUMPDEST 00000e82: ISZERO 00000e83: PUSH2 0x0e8e 00000e86: JUMPI 00000e87: POP 00000e88: PUSH1 0x00 00000e8a: PUSH2 0x07d4 00000e8d: JUMP 00000e8e: JUMPDEST 00000e8f: PUSH1 0x00 00000e91: PUSH2 0x2710 00000e94: PUSH2 0x0e16 00000e97: DUP5 00000e98: CALLVALUE 00000e99: PUSH2 0x1905 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x00 00000ea0: PUSH2 0xffff 00000ea3: DUP3 00000ea4: AND 00000ea5: PUSH2 0x0eb0 00000ea8: JUMPI 00000ea9: POP 00000eaa: PUSH1 0x00 00000eac: SWAP2 00000ead: SWAP1 00000eae: POP 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH1 0x04 00000eb3: DUP1 00000eb4: SLOAD 00000eb5: PUSH1 0x40 00000eb7: MLOAD 00000eb8: PUSH4 0x7ddd3db1 00000ebd: PUSH1 0xe1 00000ebf: SHL 00000ec0: DUP2 00000ec1: MSTORE 00000ec2: PUSH2 0xffff 00000ec5: DUP6 00000ec6: AND 00000ec7: SWAP3 00000ec8: DUP2 00000ec9: ADD 00000eca: SWAP3 00000ecb: SWAP1 00000ecc: SWAP3 00000ecd: MSTORE 00000ece: PUSH1 0x01 00000ed0: PUSH1 0x01 00000ed2: PUSH1 0xa0 00000ed4: SHL 00000ed5: SUB 00000ed6: AND 00000ed7: SWAP1 00000ed8: PUSH4 0xfbba7b62 00000edd: SWAP1 00000ede: PUSH1 0x24 00000ee0: ADD 00000ee1: PUSH1 0x20 00000ee3: PUSH1 0x40 00000ee5: MLOAD 00000ee6: DUP1 00000ee7: DUP4 00000ee8: SUB 00000ee9: DUP2 00000eea: DUP7 00000eeb: DUP1 00000eec: EXTCODESIZE 00000eed: ISZERO 00000eee: DUP1 00000eef: ISZERO 00000ef0: PUSH2 0x0ef8 00000ef3: JUMPI 00000ef4: PUSH1 0x00 00000ef6: DUP1 00000ef7: REVERT 00000ef8: JUMPDEST 00000ef9: POP 00000efa: GAS 00000efb: STATICCALL 00000efc: ISZERO 00000efd: DUP1 00000efe: ISZERO 00000eff: PUSH2 0x0f0c 00000f02: JUMPI 00000f03: RETURNDATASIZE 00000f04: PUSH1 0x00 00000f06: DUP1 00000f07: RETURNDATACOPY 00000f08: RETURNDATASIZE 00000f09: PUSH1 0x00 00000f0b: REVERT 00000f0c: JUMPDEST 00000f0d: POP 00000f0e: POP 00000f0f: POP 00000f10: POP 00000f11: PUSH1 0x40 00000f13: MLOAD 00000f14: RETURNDATASIZE 00000f15: PUSH1 0x1f 00000f17: NOT 00000f18: PUSH1 0x1f 00000f1a: DUP3 00000f1b: ADD 00000f1c: AND 00000f1d: DUP3 00000f1e: ADD 00000f1f: DUP1 00000f20: PUSH1 0x40 00000f22: MSTORE 00000f23: POP 00000f24: DUP2 00000f25: ADD 00000f26: SWAP1 00000f27: PUSH2 0x0f30 00000f2a: SWAP2 00000f2b: SWAP1 00000f2c: PUSH2 0x1748 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH2 0x0f71 00000f34: JUMPI 00000f35: PUSH1 0x40 00000f37: MLOAD 00000f38: PUSH3 0x461bcd 00000f3c: PUSH1 0xe5 00000f3e: SHL 00000f3f: DUP2 00000f40: MSTORE 00000f41: PUSH1 0x20 00000f43: PUSH1 0x04 00000f45: DUP3 00000f46: ADD 00000f47: MSTORE 00000f48: PUSH1 0x12 00000f4a: PUSH1 0x24 00000f4c: DUP3 00000f4d: ADD 00000f4e: MSTORE 00000f4f: PUSH18 0x496e76616c6964205f6775696c6454797065 00000f62: PUSH1 0x70 00000f64: SHL 00000f65: PUSH1 0x44 00000f67: DUP3 00000f68: ADD 00000f69: MSTORE 00000f6a: PUSH1 0x64 00000f6c: ADD 00000f6d: PUSH2 0x05b4 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x00 00000f74: PUSH2 0x2710 00000f77: PUSH1 0x06 00000f79: SLOAD 00000f7a: CALLVALUE 00000f7b: PUSH2 0x0f84 00000f7e: SWAP2 00000f7f: SWAP1 00000f80: PUSH2 0x1905 00000f83: JUMP 00000f84: JUMPDEST 00000f85: PUSH2 0x0f8e 00000f88: SWAP2 00000f89: SWAP1 00000f8a: PUSH2 0x18f1 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x05 00000f91: SLOAD 00000f92: PUSH1 0x40 00000f94: MLOAD 00000f95: PUSH4 0x7039d7b9 00000f9a: PUSH1 0xe1 00000f9c: SHL 00000f9d: DUP2 00000f9e: MSTORE 00000f9f: PUSH2 0xffff 00000fa2: DUP7 00000fa3: AND 00000fa4: PUSH1 0x04 00000fa6: DUP3 00000fa7: ADD 00000fa8: MSTORE 00000fa9: CALLER 00000faa: PUSH1 0x24 00000fac: DUP3 00000fad: ADD 00000fae: MSTORE 00000faf: SWAP2 00000fb0: SWAP3 00000fb1: POP 00000fb2: PUSH1 0x01 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0xa0 00000fb8: SHL 00000fb9: SUB 00000fba: AND 00000fbb: SWAP1 00000fbc: PUSH4 0xe073af72 00000fc1: SWAP1 00000fc2: DUP4 00000fc3: SWAP1 00000fc4: PUSH1 0x44 00000fc6: ADD 00000fc7: PUSH1 0x00 00000fc9: PUSH1 0x40 00000fcb: MLOAD 00000fcc: DUP1 00000fcd: DUP4 00000fce: SUB 00000fcf: DUP2 00000fd0: DUP6 00000fd1: DUP9 00000fd2: DUP1 00000fd3: EXTCODESIZE 00000fd4: ISZERO 00000fd5: DUP1 00000fd6: ISZERO 00000fd7: PUSH2 0x0fdf 00000fda: JUMPI 00000fdb: PUSH1 0x00 00000fdd: DUP1 00000fde: REVERT 00000fdf: JUMPDEST 00000fe0: POP 00000fe1: GAS 00000fe2: CALL 00000fe3: ISZERO 00000fe4: DUP1 00000fe5: ISZERO 00000fe6: PUSH2 0x0ff3 00000fe9: JUMPI 00000fea: RETURNDATASIZE 00000feb: PUSH1 0x00 00000fed: DUP1 00000fee: RETURNDATACOPY 00000fef: RETURNDATASIZE 00000ff0: PUSH1 0x00 00000ff2: REVERT 00000ff3: JUMPDEST 00000ff4: POP 00000ff5: SWAP4 00000ff6: SWAP7 00000ff7: SWAP6 00000ff8: POP 00000ff9: POP 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: POP 00000ffe: JUMP 00000fff: JUMPDEST 00001000: PUSH1 0x40 00001002: MLOAD 00001003: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00001024: PUSH1 0x20 00001026: DUP3 00001027: ADD 00001028: MSTORE 00001029: PUSH1 0x3c 0000102b: DUP2 0000102c: ADD 0000102d: DUP3 0000102e: SWAP1 0000102f: MSTORE 00001030: PUSH1 0x00 00001032: SWAP1 00001033: PUSH1 0x5c 00001035: ADD 00001036: PUSH1 0x40 00001038: MLOAD 00001039: PUSH1 0x20 0000103b: DUP2 0000103c: DUP4 0000103d: SUB 0000103e: SUB 0000103f: DUP2 00001040: MSTORE 00001041: SWAP1 00001042: PUSH1 0x40 00001044: MSTORE 00001045: DUP1 00001046: MLOAD 00001047: SWAP1 00001048: PUSH1 0x20 0000104a: ADD 0000104b: KECCAK256 0000104c: SWAP1 0000104d: POP 0000104e: SWAP2 0000104f: SWAP1 00001050: POP 00001051: JUMP 00001052: JUMPDEST 00001053: PUSH1 0x00 00001055: DUP1 00001056: PUSH1 0x00 00001058: PUSH2 0x1061 0000105b: DUP6 0000105c: DUP6 0000105d: PUSH2 0x112d 00001060: JUMP 00001061: JUMPDEST 00001062: SWAP2 00001063: POP 00001064: SWAP2 00001065: POP 00001066: PUSH2 0x0e59 00001069: DUP2 0000106a: PUSH2 0x119d 0000106d: JUMP 0000106e: JUMPDEST 0000106f: PUSH1 0x00 00001071: DUP1 00001072: SLOAD 00001073: PUSH1 0x01 00001075: PUSH1 0x01 00001077: PUSH1 0xa0 00001079: SHL 0000107a: SUB 0000107b: DUP4 0000107c: DUP2 0000107d: AND 0000107e: PUSH1 0x01 00001080: PUSH1 0x01 00001082: PUSH1 0xa0 00001084: SHL 00001085: SUB 00001086: NOT 00001087: DUP4 00001088: AND 00001089: DUP2 0000108a: OR 0000108b: DUP5 0000108c: SSTORE 0000108d: PUSH1 0x40 0000108f: MLOAD 00001090: SWAP2 00001091: SWAP1 00001092: SWAP3 00001093: AND 00001094: SWAP3 00001095: DUP4 00001096: SWAP2 00001097: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010b8: SWAP2 000010b9: SWAP1 000010ba: LOG3 000010bb: POP 000010bc: POP 000010bd: JUMP 000010be: JUMPDEST 000010bf: PUSH1 0x00 000010c1: DUP2 000010c2: DUP2 000010c3: MSTORE 000010c4: PUSH1 0x0b 000010c6: PUSH1 0x20 000010c8: MSTORE 000010c9: PUSH1 0x40 000010cb: SWAP1 000010cc: KECCAK256 000010cd: SLOAD 000010ce: ISZERO 000010cf: PUSH2 0x111a 000010d2: JUMPI 000010d3: PUSH1 0x40 000010d5: MLOAD 000010d6: PUSH3 0x461bcd 000010da: PUSH1 0xe5 000010dc: SHL 000010dd: DUP2 000010de: MSTORE 000010df: PUSH1 0x20 000010e1: PUSH1 0x04 000010e3: DUP3 000010e4: ADD 000010e5: MSTORE 000010e6: PUSH1 0x1e 000010e8: PUSH1 0x24 000010ea: DUP3 000010eb: ADD 000010ec: MSTORE 000010ed: PUSH32 0x546865206861736820697320616c7265616479207472616e7361637465640000 0000110e: PUSH1 0x44 00001110: DUP3 00001111: ADD 00001112: MSTORE 00001113: PUSH1 0x64 00001115: ADD 00001116: PUSH2 0x05b4 00001119: JUMP 0000111a: JUMPDEST 0000111b: PUSH1 0x00 0000111d: SWAP1 0000111e: DUP2 0000111f: MSTORE 00001120: PUSH1 0x0b 00001122: PUSH1 0x20 00001124: MSTORE 00001125: PUSH1 0x40 00001127: SWAP1 00001128: KECCAK256 00001129: NUMBER 0000112a: SWAP1 0000112b: SSTORE 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH1 0x00 00001130: DUP1 00001131: DUP3 00001132: MLOAD 00001133: PUSH1 0x41 00001135: EQ 00001136: ISZERO 00001137: PUSH2 0x1164 0000113a: JUMPI 0000113b: PUSH1 0x20 0000113d: DUP4 0000113e: ADD 0000113f: MLOAD 00001140: PUSH1 0x40 00001142: DUP5 00001143: ADD 00001144: MLOAD 00001145: PUSH1 0x60 00001147: DUP6 00001148: ADD 00001149: MLOAD 0000114a: PUSH1 0x00 0000114c: BYTE 0000114d: PUSH2 0x1158 00001150: DUP8 00001151: DUP3 00001152: DUP6 00001153: DUP6 00001154: PUSH2 0x1358 00001157: JUMP 00001158: JUMPDEST 00001159: SWAP5 0000115a: POP 0000115b: SWAP5 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: POP 00001160: PUSH2 0x1196 00001163: JUMP 00001164: JUMPDEST 00001165: DUP3 00001166: MLOAD 00001167: PUSH1 0x40 00001169: EQ 0000116a: ISZERO 0000116b: PUSH2 0x118e 0000116e: JUMPI 0000116f: PUSH1 0x20 00001171: DUP4 00001172: ADD 00001173: MLOAD 00001174: PUSH1 0x40 00001176: DUP5 00001177: ADD 00001178: MLOAD 00001179: PUSH2 0x1183 0000117c: DUP7 0000117d: DUP4 0000117e: DUP4 0000117f: PUSH2 0x1445 00001182: JUMP 00001183: JUMPDEST 00001184: SWAP4 00001185: POP 00001186: SWAP4 00001187: POP 00001188: POP 00001189: POP 0000118a: PUSH2 0x1196 0000118d: JUMP 0000118e: JUMPDEST 0000118f: POP 00001190: PUSH1 0x00 00001192: SWAP1 00001193: POP 00001194: PUSH1 0x02 00001196: JUMPDEST 00001197: SWAP3 00001198: POP 00001199: SWAP3 0000119a: SWAP1 0000119b: POP 0000119c: JUMP 0000119d: JUMPDEST 0000119e: PUSH1 0x00 000011a0: DUP2 000011a1: PUSH1 0x04 000011a3: DUP2 000011a4: GT 000011a5: ISZERO 000011a6: PUSH2 0x11b1 000011a9: JUMPI 000011aa: PUSH2 0x11b1 000011ad: PUSH2 0x19a3 000011b0: JUMP 000011b1: JUMPDEST 000011b2: EQ 000011b3: ISZERO 000011b4: PUSH2 0x11ba 000011b7: JUMPI 000011b8: POP 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x01 000011bd: DUP2 000011be: PUSH1 0x04 000011c0: DUP2 000011c1: GT 000011c2: ISZERO 000011c3: PUSH2 0x11ce 000011c6: JUMPI 000011c7: PUSH2 0x11ce 000011ca: PUSH2 0x19a3 000011cd: JUMP 000011ce: JUMPDEST 000011cf: EQ 000011d0: ISZERO 000011d1: PUSH2 0x121c 000011d4: JUMPI 000011d5: PUSH1 0x40 000011d7: MLOAD 000011d8: PUSH3 0x461bcd 000011dc: PUSH1 0xe5 000011de: SHL 000011df: DUP2 000011e0: MSTORE 000011e1: PUSH1 0x20 000011e3: PUSH1 0x04 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: PUSH1 0x18 000011ea: PUSH1 0x24 000011ec: DUP3 000011ed: ADD 000011ee: MSTORE 000011ef: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00001210: PUSH1 0x44 00001212: DUP3 00001213: ADD 00001214: MSTORE 00001215: PUSH1 0x64 00001217: ADD 00001218: PUSH2 0x05b4 0000121b: JUMP 0000121c: JUMPDEST 0000121d: PUSH1 0x02 0000121f: DUP2 00001220: PUSH1 0x04 00001222: DUP2 00001223: GT 00001224: ISZERO 00001225: PUSH2 0x1230 00001228: JUMPI 00001229: PUSH2 0x1230 0000122c: PUSH2 0x19a3 0000122f: JUMP 00001230: JUMPDEST 00001231: EQ 00001232: ISZERO 00001233: PUSH2 0x127e 00001236: JUMPI 00001237: PUSH1 0x40 00001239: MLOAD 0000123a: PUSH3 0x461bcd 0000123e: PUSH1 0xe5 00001240: SHL 00001241: DUP2 00001242: MSTORE 00001243: PUSH1 0x20 00001245: PUSH1 0x04 00001247: DUP3 00001248: ADD 00001249: MSTORE 0000124a: PUSH1 0x1f 0000124c: PUSH1 0x24 0000124e: DUP3 0000124f: ADD 00001250: MSTORE 00001251: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00001272: PUSH1 0x44 00001274: DUP3 00001275: ADD 00001276: MSTORE 00001277: PUSH1 0x64 00001279: ADD 0000127a: PUSH2 0x05b4 0000127d: JUMP 0000127e: JUMPDEST 0000127f: PUSH1 0x03 00001281: DUP2 00001282: PUSH1 0x04 00001284: DUP2 00001285: GT 00001286: ISZERO 00001287: PUSH2 0x1292 0000128a: JUMPI 0000128b: PUSH2 0x1292 0000128e: PUSH2 0x19a3 00001291: JUMP 00001292: JUMPDEST 00001293: EQ 00001294: ISZERO 00001295: PUSH2 0x12eb 00001298: JUMPI 00001299: PUSH1 0x40 0000129b: MLOAD 0000129c: PUSH3 0x461bcd 000012a0: PUSH1 0xe5 000012a2: SHL 000012a3: DUP2 000012a4: MSTORE 000012a5: PUSH1 0x20 000012a7: PUSH1 0x04 000012a9: DUP3 000012aa: ADD 000012ab: MSTORE 000012ac: PUSH1 0x22 000012ae: PUSH1 0x24 000012b0: DUP3 000012b1: ADD 000012b2: MSTORE 000012b3: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 000012d4: PUSH1 0x44 000012d6: DUP3 000012d7: ADD 000012d8: MSTORE 000012d9: PUSH2 0x7565 000012dc: PUSH1 0xf0 000012de: SHL 000012df: PUSH1 0x64 000012e1: DUP3 000012e2: ADD 000012e3: MSTORE 000012e4: PUSH1 0x84 000012e6: ADD 000012e7: PUSH2 0x05b4 000012ea: JUMP 000012eb: JUMPDEST 000012ec: PUSH1 0x04 000012ee: DUP2 000012ef: PUSH1 0x04 000012f1: DUP2 000012f2: GT 000012f3: ISZERO 000012f4: PUSH2 0x12ff 000012f7: JUMPI 000012f8: PUSH2 0x12ff 000012fb: PUSH2 0x19a3 000012fe: JUMP 000012ff: JUMPDEST 00001300: EQ 00001301: ISZERO 00001302: PUSH2 0x0964 00001305: JUMPI 00001306: PUSH1 0x40 00001308: MLOAD 00001309: PUSH3 0x461bcd 0000130d: PUSH1 0xe5 0000130f: SHL 00001310: DUP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: PUSH1 0x04 00001316: DUP3 00001317: ADD 00001318: MSTORE 00001319: PUSH1 0x22 0000131b: PUSH1 0x24 0000131d: DUP3 0000131e: ADD 0000131f: MSTORE 00001320: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c 00001341: PUSH1 0x44 00001343: DUP3 00001344: ADD 00001345: MSTORE 00001346: PUSH2 0x7565 00001349: PUSH1 0xf0 0000134b: SHL 0000134c: PUSH1 0x64 0000134e: DUP3 0000134f: ADD 00001350: MSTORE 00001351: PUSH1 0x84 00001353: ADD 00001354: PUSH2 0x05b4 00001357: JUMP 00001358: JUMPDEST 00001359: PUSH1 0x00 0000135b: DUP1 0000135c: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 0000137d: DUP4 0000137e: GT 0000137f: ISZERO 00001380: PUSH2 0x138f 00001383: JUMPI 00001384: POP 00001385: PUSH1 0x00 00001387: SWAP1 00001388: POP 00001389: PUSH1 0x03 0000138b: PUSH2 0x143c 0000138e: JUMP 0000138f: JUMPDEST 00001390: DUP5 00001391: PUSH1 0xff 00001393: AND 00001394: PUSH1 0x1b 00001396: EQ 00001397: ISZERO 00001398: DUP1 00001399: ISZERO 0000139a: PUSH2 0x13a7 0000139d: JUMPI 0000139e: POP 0000139f: DUP5 000013a0: PUSH1 0xff 000013a2: AND 000013a3: PUSH1 0x1c 000013a5: EQ 000013a6: ISZERO 000013a7: JUMPDEST 000013a8: ISZERO 000013a9: PUSH2 0x13b8 000013ac: JUMPI 000013ad: POP 000013ae: PUSH1 0x00 000013b0: SWAP1 000013b1: POP 000013b2: PUSH1 0x04 000013b4: PUSH2 0x143c 000013b7: JUMP 000013b8: JUMPDEST 000013b9: PUSH1 0x40 000013bb: DUP1 000013bc: MLOAD 000013bd: PUSH1 0x00 000013bf: DUP1 000013c0: DUP3 000013c1: MSTORE 000013c2: PUSH1 0x20 000013c4: DUP3 000013c5: ADD 000013c6: DUP1 000013c7: DUP5 000013c8: MSTORE 000013c9: DUP10 000013ca: SWAP1 000013cb: MSTORE 000013cc: PUSH1 0xff 000013ce: DUP9 000013cf: AND 000013d0: SWAP3 000013d1: DUP3 000013d2: ADD 000013d3: SWAP3 000013d4: SWAP1 000013d5: SWAP3 000013d6: MSTORE 000013d7: PUSH1 0x60 000013d9: DUP2 000013da: ADD 000013db: DUP7 000013dc: SWAP1 000013dd: MSTORE 000013de: PUSH1 0x80 000013e0: DUP2 000013e1: ADD 000013e2: DUP6 000013e3: SWAP1 000013e4: MSTORE 000013e5: PUSH1 0x01 000013e7: SWAP1 000013e8: PUSH1 0xa0 000013ea: ADD 000013eb: PUSH1 0x20 000013ed: PUSH1 0x40 000013ef: MLOAD 000013f0: PUSH1 0x20 000013f2: DUP2 000013f3: SUB 000013f4: SWAP1 000013f5: DUP1 000013f6: DUP5 000013f7: SUB 000013f8: SWAP1 000013f9: DUP6 000013fa: GAS 000013fb: STATICCALL 000013fc: ISZERO 000013fd: DUP1 000013fe: ISZERO 000013ff: PUSH2 0x140c 00001402: JUMPI 00001403: RETURNDATASIZE 00001404: PUSH1 0x00 00001406: DUP1 00001407: RETURNDATACOPY 00001408: RETURNDATASIZE 00001409: PUSH1 0x00 0000140b: REVERT 0000140c: JUMPDEST 0000140d: POP 0000140e: POP 0000140f: PUSH1 0x40 00001411: MLOAD 00001412: PUSH1 0x1f 00001414: NOT 00001415: ADD 00001416: MLOAD 00001417: SWAP2 00001418: POP 00001419: POP 0000141a: PUSH1 0x01 0000141c: PUSH1 0x01 0000141e: PUSH1 0xa0 00001420: SHL 00001421: SUB 00001422: DUP2 00001423: AND 00001424: PUSH2 0x1435 00001427: JUMPI 00001428: PUSH1 0x00 0000142a: PUSH1 0x01 0000142c: SWAP3 0000142d: POP 0000142e: SWAP3 0000142f: POP 00001430: POP 00001431: PUSH2 0x143c 00001434: JUMP 00001435: JUMPDEST 00001436: SWAP2 00001437: POP 00001438: PUSH1 0x00 0000143a: SWAP1 0000143b: POP 0000143c: JUMPDEST 0000143d: SWAP5 0000143e: POP 0000143f: SWAP5 00001440: SWAP3 00001441: POP 00001442: POP 00001443: POP 00001444: JUMP 00001445: JUMPDEST 00001446: PUSH1 0x00 00001448: DUP1 00001449: PUSH1 0x01 0000144b: PUSH1 0x01 0000144d: PUSH1 0xff 0000144f: SHL 00001450: SUB 00001451: DUP4 00001452: AND 00001453: PUSH1 0xff 00001455: DUP5 00001456: SWAP1 00001457: SHR 00001458: PUSH1 0x1b 0000145a: ADD 0000145b: PUSH2 0x1466 0000145e: DUP8 0000145f: DUP3 00001460: DUP9 00001461: DUP6 00001462: PUSH2 0x1358 00001465: JUMP 00001466: JUMPDEST 00001467: SWAP4 00001468: POP 00001469: SWAP4 0000146a: POP 0000146b: POP 0000146c: POP 0000146d: SWAP4 0000146e: POP 0000146f: SWAP4 00001470: SWAP2 00001471: POP 00001472: POP 00001473: JUMP 00001474: JUMPDEST 00001475: PUSH1 0x00 00001477: DUP3 00001478: PUSH1 0x1f 0000147a: DUP4 0000147b: ADD 0000147c: SLT 0000147d: PUSH2 0x1485 00001480: JUMPI 00001481: PUSH1 0x00 00001483: DUP1 00001484: REVERT 00001485: JUMPDEST 00001486: DUP2 00001487: CALLDATALOAD 00001488: PUSH8 0xffffffffffffffff 00001491: DUP1 00001492: DUP3 00001493: GT 00001494: ISZERO 00001495: PUSH2 0x14a0 00001498: JUMPI 00001499: PUSH2 0x14a0 0000149c: PUSH2 0x19b9 0000149f: JUMP 000014a0: JUMPDEST 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: PUSH1 0x1f 000014a6: DUP4 000014a7: ADD 000014a8: PUSH1 0x1f 000014aa: NOT 000014ab: SWAP1 000014ac: DUP2 000014ad: AND 000014ae: PUSH1 0x3f 000014b0: ADD 000014b1: AND 000014b2: DUP2 000014b3: ADD 000014b4: SWAP1 000014b5: DUP3 000014b6: DUP3 000014b7: GT 000014b8: DUP2 000014b9: DUP4 000014ba: LT 000014bb: OR 000014bc: ISZERO 000014bd: PUSH2 0x14c8 000014c0: JUMPI 000014c1: PUSH2 0x14c8 000014c4: PUSH2 0x19b9 000014c7: JUMP 000014c8: JUMPDEST 000014c9: DUP2 000014ca: PUSH1 0x40 000014cc: MSTORE 000014cd: DUP4 000014ce: DUP2 000014cf: MSTORE 000014d0: DUP7 000014d1: PUSH1 0x20 000014d3: DUP6 000014d4: DUP9 000014d5: ADD 000014d6: ADD 000014d7: GT 000014d8: ISZERO 000014d9: PUSH2 0x14e1 000014dc: JUMPI 000014dd: PUSH1 0x00 000014df: DUP1 000014e0: REVERT 000014e1: JUMPDEST 000014e2: DUP4 000014e3: PUSH1 0x20 000014e5: DUP8 000014e6: ADD 000014e7: PUSH1 0x20 000014e9: DUP4 000014ea: ADD 000014eb: CALLDATACOPY 000014ec: PUSH1 0x00 000014ee: PUSH1 0x20 000014f0: DUP6 000014f1: DUP4 000014f2: ADD 000014f3: ADD 000014f4: MSTORE 000014f5: DUP1 000014f6: SWAP5 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: SWAP3 000014fd: SWAP2 000014fe: POP 000014ff: POP 00001500: JUMP 00001501: JUMPDEST 00001502: DUP1 00001503: CALLDATALOAD 00001504: PUSH2 0xffff 00001507: DUP2 00001508: AND 00001509: DUP2 0000150a: EQ 0000150b: PUSH2 0x1513 0000150e: JUMPI 0000150f: PUSH1 0x00 00001511: DUP1 00001512: REVERT 00001513: JUMPDEST 00001514: SWAP2 00001515: SWAP1 00001516: POP 00001517: JUMP 00001518: JUMPDEST 00001519: DUP1 0000151a: CALLDATALOAD 0000151b: PUSH1 0xff 0000151d: DUP2 0000151e: AND 0000151f: DUP2 00001520: EQ 00001521: PUSH2 0x1513 00001524: JUMPI 00001525: PUSH1 0x00 00001527: DUP1 00001528: REVERT 00001529: JUMPDEST 0000152a: PUSH1 0x00 0000152c: PUSH1 0x20 0000152e: DUP3 0000152f: DUP5 00001530: SUB 00001531: SLT 00001532: ISZERO 00001533: PUSH2 0x153b 00001536: JUMPI 00001537: PUSH1 0x00 00001539: DUP1 0000153a: REVERT 0000153b: JUMPDEST 0000153c: DUP2 0000153d: CALLDATALOAD 0000153e: PUSH2 0x1546 00001541: DUP2 00001542: PUSH2 0x19cf 00001545: JUMP 00001546: JUMPDEST 00001547: SWAP4 00001548: SWAP3 00001549: POP 0000154a: POP 0000154b: POP 0000154c: JUMP 0000154d: JUMPDEST 0000154e: PUSH1 0x00 00001550: DUP1 00001551: PUSH1 0x00 00001553: DUP1 00001554: PUSH1 0x00 00001556: DUP1 00001557: PUSH1 0xc0 00001559: DUP8 0000155a: DUP10 0000155b: SUB 0000155c: SLT 0000155d: ISZERO 0000155e: PUSH2 0x1566 00001561: JUMPI 00001562: PUSH1 0x00 00001564: DUP1 00001565: REVERT 00001566: JUMPDEST 00001567: DUP7 00001568: CALLDATALOAD 00001569: PUSH2 0x1571 0000156c: DUP2 0000156d: PUSH2 0x19cf 00001570: JUMP 00001571: JUMPDEST 00001572: SWAP6 00001573: POP 00001574: PUSH1 0x20 00001576: DUP8 00001577: ADD 00001578: CALLDATALOAD 00001579: PUSH2 0x1581 0000157c: DUP2 0000157d: PUSH2 0x19cf 00001580: JUMP 00001581: JUMPDEST 00001582: SWAP5 00001583: POP 00001584: PUSH1 0x40 00001586: DUP8 00001587: ADD 00001588: CALLDATALOAD 00001589: SWAP4 0000158a: POP 0000158b: PUSH2 0x1596 0000158e: PUSH1 0x60 00001590: DUP9 00001591: ADD 00001592: PUSH2 0x1501 00001595: JUMP 00001596: JUMPDEST 00001597: SWAP3 00001598: POP 00001599: PUSH1 0x80 0000159b: DUP8 0000159c: ADD 0000159d: CALLDATALOAD 0000159e: PUSH8 0xffffffffffffffff 000015a7: DUP2 000015a8: GT 000015a9: ISZERO 000015aa: PUSH2 0x15b2 000015ad: JUMPI 000015ae: PUSH1 0x00 000015b0: DUP1 000015b1: REVERT 000015b2: JUMPDEST 000015b3: PUSH2 0x15be 000015b6: DUP10 000015b7: DUP3 000015b8: DUP11 000015b9: ADD 000015ba: PUSH2 0x1474 000015bd: JUMP 000015be: JUMPDEST 000015bf: SWAP3 000015c0: POP 000015c1: POP 000015c2: PUSH1 0xa0 000015c4: DUP8 000015c5: ADD 000015c6: CALLDATALOAD 000015c7: SWAP1 000015c8: POP 000015c9: SWAP3 000015ca: SWAP6 000015cb: POP 000015cc: SWAP3 000015cd: SWAP6 000015ce: POP 000015cf: SWAP3 000015d0: SWAP6 000015d1: JUMP 000015d2: JUMPDEST 000015d3: PUSH1 0x00 000015d5: DUP1 000015d6: PUSH1 0x00 000015d8: DUP1 000015d9: PUSH1 0x80 000015db: DUP6 000015dc: DUP8 000015dd: SUB 000015de: SLT 000015df: ISZERO 000015e0: PUSH2 0x15e8 000015e3: JUMPI 000015e4: PUSH1 0x00 000015e6: DUP1 000015e7: REVERT 000015e8: JUMPDEST 000015e9: DUP5 000015ea: CALLDATALOAD 000015eb: PUSH2 0x15f3 000015ee: DUP2 000015ef: PUSH2 0x19cf 000015f2: JUMP 000015f3: JUMPDEST 000015f4: SWAP4 000015f5: POP 000015f6: PUSH1 0x20 000015f8: DUP6 000015f9: ADD 000015fa: CALLDATALOAD 000015fb: SWAP3 000015fc: POP 000015fd: PUSH2 0x1608 00001600: PUSH1 0x40 00001602: DUP7 00001603: ADD 00001604: PUSH2 0x1501 00001607: JUMP 00001608: JUMPDEST 00001609: SWAP2 0000160a: POP 0000160b: PUSH1 0x60 0000160d: DUP6 0000160e: ADD 0000160f: CALLDATALOAD 00001610: PUSH8 0xffffffffffffffff 00001619: DUP2 0000161a: GT 0000161b: ISZERO 0000161c: PUSH2 0x1624 0000161f: JUMPI 00001620: PUSH1 0x00 00001622: DUP1 00001623: REVERT 00001624: JUMPDEST 00001625: PUSH2 0x1630 00001628: DUP8 00001629: DUP3 0000162a: DUP9 0000162b: ADD 0000162c: PUSH2 0x1474 0000162f: JUMP 00001630: JUMPDEST 00001631: SWAP2 00001632: POP 00001633: POP 00001634: SWAP3 00001635: SWAP6 00001636: SWAP2 00001637: SWAP5 00001638: POP 00001639: SWAP3 0000163a: POP 0000163b: JUMP 0000163c: JUMPDEST 0000163d: PUSH1 0x00 0000163f: DUP1 00001640: PUSH1 0x00 00001642: DUP1 00001643: PUSH1 0x80 00001645: DUP6 00001646: DUP8 00001647: SUB 00001648: SLT 00001649: ISZERO 0000164a: PUSH2 0x1652 0000164d: JUMPI 0000164e: PUSH1 0x00 00001650: DUP1 00001651: REVERT 00001652: JUMPDEST 00001653: DUP5 00001654: CALLDATALOAD 00001655: PUSH2 0x165d 00001658: DUP2 00001659: PUSH2 0x19cf 0000165c: JUMP 0000165d: JUMPDEST 0000165e: SWAP4 0000165f: POP 00001660: PUSH1 0x20 00001662: DUP6 00001663: ADD 00001664: CALLDATALOAD 00001665: PUSH2 0x166d 00001668: DUP2 00001669: PUSH2 0x19cf 0000166c: JUMP 0000166d: JUMPDEST 0000166e: SWAP3 0000166f: POP 00001670: PUSH1 0x40 00001672: DUP6 00001673: ADD 00001674: CALLDATALOAD 00001675: SWAP2 00001676: POP 00001677: PUSH2 0x1682 0000167a: PUSH1 0x60 0000167c: DUP7 0000167d: ADD 0000167e: PUSH2 0x1501 00001681: JUMP 00001682: JUMPDEST 00001683: SWAP1 00001684: POP 00001685: SWAP3 00001686: SWAP6 00001687: SWAP2 00001688: SWAP5 00001689: POP 0000168a: SWAP3 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH1 0x00 00001690: PUSH1 0x20 00001692: DUP3 00001693: DUP5 00001694: SUB 00001695: SLT 00001696: ISZERO 00001697: PUSH2 0x169f 0000169a: JUMPI 0000169b: PUSH1 0x00 0000169d: DUP1 0000169e: REVERT 0000169f: JUMPDEST 000016a0: POP 000016a1: CALLDATALOAD 000016a2: SWAP2 000016a3: SWAP1 000016a4: POP 000016a5: JUMP 000016a6: JUMPDEST 000016a7: PUSH1 0x00 000016a9: DUP1 000016aa: PUSH1 0x40 000016ac: DUP4 000016ad: DUP6 000016ae: SUB 000016af: SLT 000016b0: ISZERO 000016b1: PUSH2 0x16b9 000016b4: JUMPI 000016b5: PUSH1 0x00 000016b7: DUP1 000016b8: REVERT 000016b9: JUMPDEST 000016ba: DUP3 000016bb: CALLDATALOAD 000016bc: SWAP2 000016bd: POP 000016be: PUSH1 0x20 000016c0: DUP4 000016c1: ADD 000016c2: CALLDATALOAD 000016c3: PUSH8 0xffffffffffffffff 000016cc: DUP2 000016cd: GT 000016ce: ISZERO 000016cf: PUSH2 0x16d7 000016d2: JUMPI 000016d3: PUSH1 0x00 000016d5: DUP1 000016d6: REVERT 000016d7: JUMPDEST 000016d8: PUSH2 0x16e3 000016db: DUP6 000016dc: DUP3 000016dd: DUP7 000016de: ADD 000016df: PUSH2 0x1474 000016e2: JUMP 000016e3: JUMPDEST 000016e4: SWAP2 000016e5: POP 000016e6: POP 000016e7: SWAP3 000016e8: POP 000016e9: SWAP3 000016ea: SWAP1 000016eb: POP 000016ec: JUMP 000016ed: JUMPDEST 000016ee: PUSH1 0x00 000016f0: PUSH1 0x20 000016f2: DUP3 000016f3: DUP5 000016f4: SUB 000016f5: SLT 000016f6: ISZERO 000016f7: PUSH2 0x16ff 000016fa: JUMPI 000016fb: PUSH1 0x00 000016fd: DUP1 000016fe: REVERT 000016ff: JUMPDEST 00001700: PUSH2 0x1546 00001703: DUP3 00001704: PUSH2 0x1501 00001707: JUMP 00001708: JUMPDEST 00001709: PUSH1 0x00 0000170b: DUP1 0000170c: PUSH1 0x00 0000170e: PUSH1 0x60 00001710: DUP5 00001711: DUP7 00001712: SUB 00001713: SLT 00001714: ISZERO 00001715: PUSH2 0x171d 00001718: JUMPI 00001719: PUSH1 0x00 0000171b: DUP1 0000171c: REVERT 0000171d: JUMPDEST 0000171e: PUSH2 0x1726 00001721: DUP5 00001722: PUSH2 0x1501 00001725: JUMP 00001726: JUMPDEST 00001727: SWAP3 00001728: POP 00001729: PUSH1 0x20 0000172b: DUP5 0000172c: ADD 0000172d: CALLDATALOAD 0000172e: SWAP2 0000172f: POP 00001730: PUSH1 0x40 00001732: DUP5 00001733: ADD 00001734: CALLDATALOAD 00001735: PUSH2 0x173d 00001738: DUP2 00001739: PUSH2 0x19cf 0000173c: JUMP 0000173d: JUMPDEST 0000173e: DUP1 0000173f: SWAP2 00001740: POP 00001741: POP 00001742: SWAP3 00001743: POP 00001744: SWAP3 00001745: POP 00001746: SWAP3 00001747: JUMP 00001748: JUMPDEST 00001749: PUSH1 0x00 0000174b: PUSH1 0x20 0000174d: DUP3 0000174e: DUP5 0000174f: SUB 00001750: SLT 00001751: ISZERO 00001752: PUSH2 0x175a 00001755: JUMPI 00001756: PUSH1 0x00 00001758: DUP1 00001759: REVERT 0000175a: JUMPDEST 0000175b: POP 0000175c: MLOAD 0000175d: SWAP2 0000175e: SWAP1 0000175f: POP 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH1 0x00 00001764: DUP1 00001765: PUSH1 0x40 00001767: DUP4 00001768: DUP6 00001769: SUB 0000176a: SLT 0000176b: ISZERO 0000176c: PUSH2 0x1774 0000176f: JUMPI 00001770: PUSH1 0x00 00001772: DUP1 00001773: REVERT 00001774: JUMPDEST 00001775: DUP3 00001776: CALLDATALOAD 00001777: SWAP2 00001778: POP 00001779: PUSH1 0x20 0000177b: DUP4 0000177c: ADD 0000177d: CALLDATALOAD 0000177e: DUP1 0000177f: ISZERO 00001780: ISZERO 00001781: DUP2 00001782: EQ 00001783: PUSH2 0x178b 00001786: JUMPI 00001787: PUSH1 0x00 00001789: DUP1 0000178a: REVERT 0000178b: JUMPDEST 0000178c: DUP1 0000178d: SWAP2 0000178e: POP 0000178f: POP 00001790: SWAP3 00001791: POP 00001792: SWAP3 00001793: SWAP1 00001794: POP 00001795: JUMP 00001796: JUMPDEST 00001797: PUSH1 0x00 00001799: DUP1 0000179a: PUSH1 0x00 0000179c: PUSH1 0x60 0000179e: DUP5 0000179f: DUP7 000017a0: SUB 000017a1: SLT 000017a2: ISZERO 000017a3: PUSH2 0x17ab 000017a6: JUMPI 000017a7: PUSH1 0x00 000017a9: DUP1 000017aa: REVERT 000017ab: JUMPDEST 000017ac: PUSH2 0x17b4 000017af: DUP5 000017b0: PUSH2 0x1518 000017b3: JUMP 000017b4: JUMPDEST 000017b5: SWAP3 000017b6: POP 000017b7: PUSH2 0x17c2 000017ba: PUSH1 0x20 000017bc: DUP6 000017bd: ADD 000017be: PUSH2 0x1518 000017c1: JUMP 000017c2: JUMPDEST 000017c3: SWAP2 000017c4: POP 000017c5: PUSH2 0x17d0 000017c8: PUSH1 0x40 000017ca: DUP6 000017cb: ADD 000017cc: PUSH2 0x1518 000017cf: JUMP 000017d0: JUMPDEST 000017d1: SWAP1 000017d2: POP 000017d3: SWAP3 000017d4: POP 000017d5: SWAP3 000017d6: POP 000017d7: SWAP3 000017d8: JUMP 000017d9: JUMPDEST 000017da: DUP5 000017db: DUP2 000017dc: MSTORE 000017dd: PUSH1 0x00 000017df: PUSH1 0x20 000017e1: PUSH12 0xffffffffffffffffffffffff 000017ee: NOT 000017ef: DUP7 000017f0: PUSH1 0x60 000017f2: SHL 000017f3: AND 000017f4: DUP2 000017f5: DUP5 000017f6: ADD 000017f7: MSTORE 000017f8: DUP5 000017f9: PUSH1 0x34 000017fb: DUP5 000017fc: ADD 000017fd: MSTORE 000017fe: PUSH1 0x54 00001800: PUSH1 0x00 00001802: DUP6 00001803: SLOAD 00001804: DUP2 00001805: PUSH1 0x01 00001807: DUP3 00001808: DUP2 00001809: SHR 0000180a: SWAP2 0000180b: POP 0000180c: DUP1 0000180d: DUP4 0000180e: AND 0000180f: DUP1 00001810: PUSH2 0x181a 00001813: JUMPI 00001814: PUSH1 0x7f 00001816: DUP4 00001817: AND 00001818: SWAP3 00001819: POP 0000181a: JUMPDEST 0000181b: DUP7 0000181c: DUP4 0000181d: LT 0000181e: DUP2 0000181f: EQ 00001820: ISZERO 00001821: PUSH2 0x1838 00001824: JUMPI 00001825: PUSH4 0x4e487b71 0000182a: PUSH1 0xe0 0000182c: SHL 0000182d: DUP6 0000182e: MSTORE 0000182f: PUSH1 0x22 00001831: PUSH1 0x04 00001833: MSTORE 00001834: PUSH1 0x24 00001836: DUP6 00001837: REVERT 00001838: JUMPDEST 00001839: DUP1 0000183a: DUP1 0000183b: ISZERO 0000183c: PUSH2 0x184c 0000183f: JUMPI 00001840: PUSH1 0x01 00001842: DUP2 00001843: EQ 00001844: PUSH2 0x1861 00001847: JUMPI 00001848: PUSH2 0x1892 0000184b: JUMP 0000184c: JUMPDEST 0000184d: PUSH1 0xff 0000184f: NOT 00001850: DUP6 00001851: AND 00001852: DUP11 00001853: DUP9 00001854: ADD 00001855: MSTORE 00001856: DUP4 00001857: DUP11 00001858: ADD 00001859: DUP8 0000185a: ADD 0000185b: SWAP6 0000185c: POP 0000185d: PUSH2 0x1892 00001860: JUMP 00001861: JUMPDEST 00001862: PUSH1 0x00 00001864: DUP12 00001865: DUP2 00001866: MSTORE 00001867: PUSH1 0x20 00001869: SWAP1 0000186a: KECCAK256 0000186b: PUSH1 0x00 0000186d: JUMPDEST 0000186e: DUP6 0000186f: DUP2 00001870: LT 00001871: ISZERO 00001872: PUSH2 0x1888 00001875: JUMPI 00001876: DUP2 00001877: SLOAD 00001878: DUP13 00001879: DUP3 0000187a: ADD 0000187b: DUP11 0000187c: ADD 0000187d: MSTORE 0000187e: SWAP1 0000187f: DUP5 00001880: ADD 00001881: SWAP1 00001882: DUP10 00001883: ADD 00001884: PUSH2 0x186d 00001887: JUMP 00001888: JUMPDEST 00001889: POP 0000188a: POP 0000188b: DUP7 0000188c: DUP5 0000188d: DUP12 0000188e: ADD 0000188f: ADD 00001890: SWAP6 00001891: POP 00001892: JUMPDEST 00001893: POP 00001894: SWAP4 00001895: SWAP13 00001896: SWAP12 00001897: POP 00001898: POP 00001899: POP 0000189a: POP 0000189b: POP 0000189c: POP 0000189d: POP 0000189e: POP 0000189f: POP 000018a0: POP 000018a1: POP 000018a2: POP 000018a3: JUMP 000018a4: JUMPDEST 000018a5: PUSH1 0x20 000018a7: DUP1 000018a8: DUP3 000018a9: MSTORE 000018aa: DUP2 000018ab: DUP2 000018ac: ADD 000018ad: MSTORE 000018ae: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000018cf: PUSH1 0x40 000018d1: DUP3 000018d2: ADD 000018d3: MSTORE 000018d4: PUSH1 0x60 000018d6: ADD 000018d7: SWAP1 000018d8: JUMP 000018d9: JUMPDEST 000018da: PUSH1 0x00 000018dc: DUP3 000018dd: NOT 000018de: DUP3 000018df: GT 000018e0: ISZERO 000018e1: PUSH2 0x18ec 000018e4: JUMPI 000018e5: PUSH2 0x18ec 000018e8: PUSH2 0x1977 000018eb: JUMP 000018ec: JUMPDEST 000018ed: POP 000018ee: ADD 000018ef: SWAP1 000018f0: JUMP 000018f1: JUMPDEST 000018f2: PUSH1 0x00 000018f4: DUP3 000018f5: PUSH2 0x1900 000018f8: JUMPI 000018f9: PUSH2 0x1900 000018fc: PUSH2 0x198d 000018ff: JUMP 00001900: JUMPDEST 00001901: POP 00001902: DIV 00001903: SWAP1 00001904: JUMP 00001905: JUMPDEST 00001906: PUSH1 0x00 00001908: DUP2 00001909: PUSH1 0x00 0000190b: NOT 0000190c: DIV 0000190d: DUP4 0000190e: GT 0000190f: DUP3 00001910: ISZERO 00001911: ISZERO 00001912: AND 00001913: ISZERO 00001914: PUSH2 0x191f 00001917: JUMPI 00001918: PUSH2 0x191f 0000191b: PUSH2 0x1977 0000191e: JUMP 0000191f: JUMPDEST 00001920: POP 00001921: MUL 00001922: SWAP1 00001923: JUMP 00001924: JUMPDEST 00001925: PUSH1 0x00 00001927: DUP3 00001928: DUP3 00001929: LT 0000192a: ISZERO 0000192b: PUSH2 0x1936 0000192e: JUMPI 0000192f: PUSH2 0x1936 00001932: PUSH2 0x1977 00001935: JUMP 00001936: JUMPDEST 00001937: POP 00001938: SUB 00001939: SWAP1 0000193a: JUMP 0000193b: JUMPDEST 0000193c: PUSH1 0x00 0000193e: PUSH1 0x00 00001940: NOT 00001941: DUP3 00001942: EQ 00001943: ISZERO 00001944: PUSH2 0x194f 00001947: JUMPI 00001948: PUSH2 0x194f 0000194b: PUSH2 0x1977 0000194e: JUMP 0000194f: JUMPDEST 00001950: POP 00001951: PUSH1 0x01 00001953: ADD 00001954: SWAP1 00001955: JUMP 00001956: JUMPDEST 00001957: PUSH1 0x00 00001959: PUSH2 0xffff 0000195c: DUP1 0000195d: DUP5 0000195e: AND 0000195f: DUP1 00001960: PUSH2 0x196b 00001963: JUMPI 00001964: PUSH2 0x196b 00001967: PUSH2 0x198d 0000196a: JUMP 0000196b: JUMPDEST 0000196c: SWAP3 0000196d: AND 0000196e: SWAP2 0000196f: SWAP1 00001970: SWAP2 00001971: MOD 00001972: SWAP3 00001973: SWAP2 00001974: POP 00001975: POP 00001976: JUMP 00001977: JUMPDEST 00001978: PUSH4 0x4e487b71 0000197d: PUSH1 0xe0 0000197f: SHL 00001980: PUSH1 0x00 00001982: MSTORE 00001983: PUSH1 0x11 00001985: PUSH1 0x04 00001987: MSTORE 00001988: PUSH1 0x24 0000198a: PUSH1 0x00 0000198c: REVERT 0000198d: JUMPDEST 0000198e: PUSH4 0x4e487b71 00001993: PUSH1 0xe0 00001995: SHL 00001996: PUSH1 0x00 00001998: MSTORE 00001999: PUSH1 0x12 0000199b: PUSH1 0x04 0000199d: MSTORE 0000199e: PUSH1 0x24 000019a0: PUSH1 0x00 000019a2: REVERT 000019a3: JUMPDEST 000019a4: PUSH4 0x4e487b71 000019a9: PUSH1 0xe0 000019ab: SHL 000019ac: PUSH1 0x00 000019ae: MSTORE 000019af: PUSH1 0x21 000019b1: PUSH1 0x04 000019b3: MSTORE 000019b4: PUSH1 0x24 000019b6: PUSH1 0x00 000019b8: REVERT 000019b9: JUMPDEST 000019ba: PUSH4 0x4e487b71 000019bf: PUSH1 0xe0 000019c1: SHL 000019c2: PUSH1 0x00 000019c4: MSTORE 000019c5: PUSH1 0x41 000019c7: PUSH1 0x04 000019c9: MSTORE 000019ca: PUSH1 0x24 000019cc: PUSH1 0x00 000019ce: REVERT 000019cf: JUMPDEST 000019d0: PUSH1 0x01 000019d2: PUSH1 0x01 000019d4: PUSH1 0xa0 000019d6: SHL 000019d7: SUB 000019d8: DUP2 000019d9: AND 000019da: DUP2 000019db: EQ 000019dc: PUSH2 0x0964 000019df: JUMPI 000019e0: PUSH1 0x00 000019e2: DUP1 000019e3: REVERT 000019e4: INVALID 000019e5: LOG2 000019e6: PUSH5 0x6970667358 000019ec: UNKNOWN(0x22) 000019ed: SLT 000019ee: KECCAK256 000019ef: UNKNOWN(0x26) 000019f0: DUP4 000019f1: CREATE 000019f2: UNKNOWN(0xAF) 000019f3: PUSH5 0xa097c95990 000019f9: UNKNOWN(0x1F) 000019fa: DIV 000019fb: LOG2 000019fc: SWAP15 000019fd: MSTORE8 000019fe: UNKNOWN(0xC1) 000019ff: LOG0 00001a00: SWAP2 00001a01: PUSH4 0x5dc1705a 00001a06: BALANCE 00001a07: UNKNOWN(0x27) 00001a08: STOP 00001a09: SWAP10 00001a0a: UNKNOWN(0x29) 00001a0b: DUP1 00001a0c: UNKNOWN(0x26) 00001a0d: MUL 00001a0e: UNKNOWN(0xC7) 00001a0f: PUSH5 0x736f6c6343 00001a15: STOP 00001a16: ADDMOD 00001a17: MOD 00001a18: STOP 00001a19: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xed1cd37b36ef69a0083bea5fd9e78ae3751c6846b3971e2e7ab4bbae81a4d5a2
call_targets:
0x49f743c2d3ba45fadf2768ba30844d0ecd548bc6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed1cd37b36ef69a0083bea5fd9e78ae3751c6846b3971e2e7ab4bbae81a4d5a2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x49f743c2d3ba45fadf2768ba30844d0ecd548bc6"
],
"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": "0xd95b18eb",
"selector": "0xd95b18eb",
"calldata_variants": [
"0xd95b18eb",
"0xd95b18eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea62f554",
"selector": "0xea62f554",
"calldata_variants": [
"0xea62f554",
"0xea62f5540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8d61444",
"selector": "0xf8d61444",
"calldata_variants": [
"0xf8d61444",
"0xf8d614440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd25ca54",
"selector": "0xcd25ca54",
"calldata_variants": [
"0xcd25ca54",
"0xcd25ca540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd86c8cfd",
"selector": "0xd86c8cfd",
"calldata_variants": [
"0xd86c8cfd",
"0xd86c8cfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x811e539c",
"selector": "0x811e539c",
"calldata_variants": [
"0x811e539c",
"0x811e539c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2382,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3651,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4066,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xed1cd37b36ef69a0083bea5fd9e78ae3751c6846b3971e2e7ab4bbae81a4d5a2
call_targets:
0x49f743c2d3ba45fadf2768ba30844d0ecd548bc6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xed1cd37b36ef69a0083bea5fd9e78ae3751c6846b3971e2e7ab4bbae81a4d5a2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x49f743c2d3ba45fadf2768ba30844d0ecd548bc6"
],
"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": "0xd95b18eb",
"selector": "0xd95b18eb",
"calldata_variants": [
"0xd95b18eb",
"0xd95b18eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea62f554",
"selector": "0xea62f554",
"calldata_variants": [
"0xea62f554",
"0xea62f5540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8d61444",
"selector": "0xf8d61444",
"calldata_variants": [
"0xf8d61444",
"0xf8d614440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd25ca54",
"selector": "0xcd25ca54",
"calldata_variants": [
"0xcd25ca54",
"0xcd25ca540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd86c8cfd",
"selector": "0xd86c8cfd",
"calldata_variants": [
"0xd86c8cfd",
"0xd86c8cfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x811e539c",
"selector": "0x811e539c",
"calldata_variants": [
"0x811e539c",
"0x811e539c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2382,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3651,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4066,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x7192cec25b7435c2154891f33f8bf80ba9caf50965191bd0170f1872cfaa3792
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x7192cec25b7435c2154891f33f8bf80ba9caf50965191bd0170f1872cfaa3792",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd95b18eb",
"selector": "0xd95b18eb",
"calldata_variants": [
"0xd95b18eb",
"0xd95b18eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea62f554",
"selector": "0xea62f554",
"calldata_variants": [
"0xea62f554",
"0xea62f5540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8d61444",
"selector": "0xf8d61444",
"calldata_variants": [
"0xf8d61444",
"0xf8d614440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcd25ca54",
"selector": "0xcd25ca54",
"calldata_variants": [
"0xcd25ca54",
"0xcd25ca540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd86c8cfd",
"selector": "0xd86c8cfd",
"calldata_variants": [
"0xd86c8cfd",
"0xd86c8cfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x811e539c",
"selector": "0x811e539c",
"calldata_variants": [
"0x811e539c",
"0x811e539c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|